Theoretical Programming Lab, A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Novosibirskaya Oblast’, Russia
Dr. Igor Anureev
Theoretical Programming Lab, A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Novosibirskaya Oblast’, Russia
'%3e%3cpath%20d='M29.5529%2025.4577C28.9763%2024.0918%2028.1395%2022.8511%2027.0891%2021.8047C26.0419%2020.7553%2024.8014%2019.9186%2023.4361%2019.3408C23.4239%2019.3347%2023.4116%2019.3317%2023.3994%2019.3256C25.3039%2017.95%2026.5419%2015.7092%2026.5419%2013.1812C26.5419%208.99325%2023.1487%205.6001%2018.9608%205.6001C14.7729%205.6001%2011.3797%208.99325%2011.3797%2013.1812C11.3797%2015.7092%2012.6177%2017.95%2014.5222%2019.3286C14.51%2019.3347%2014.4977%2019.3378%2014.4855%2019.3439C13.116%2019.9216%2011.8871%2020.7501%2010.8325%2021.8078C9.78311%2022.8549%208.94642%2024.0954%208.36866%2025.4607C7.80106%2026.7974%207.49494%2028.2304%207.46687%2029.6823C7.46606%2029.7149%207.47178%2029.7474%207.4837%2029.7778C7.49563%2029.8082%207.51351%2029.8358%207.5363%2029.8592C7.55909%2029.8826%207.58633%2029.9011%207.6164%2029.9138C7.64648%2029.9265%207.67879%2029.933%207.71142%2029.933H9.54556C9.68007%2029.933%209.78706%2029.826%209.79011%2029.6945C9.85125%2027.3346%2010.7989%2025.1245%2012.4741%2023.4493C14.2073%2021.716%2016.5092%2020.7623%2018.9608%2020.7623C21.4124%2020.7623%2023.7143%2021.716%2025.4475%2023.4493C27.1227%2025.1245%2028.0703%2027.3346%2028.1315%2029.6945C28.1345%2029.829%2028.2415%2029.933%2028.376%2029.933H30.2102C30.2428%2029.933%2030.2751%2029.9265%2030.3052%2029.9138C30.3353%2029.9011%2030.3625%2029.8826%2030.3853%2029.8592C30.4081%2029.8358%2030.426%2029.8082%2030.4379%2029.7778C30.4498%2029.7474%2030.4555%2029.7149%2030.4547%2029.6823C30.4242%2028.2211%2030.1215%2026.7997%2029.5529%2025.4577ZM18.9608%2018.4391C17.5577%2018.4391%2016.2371%2017.8919%2015.2436%2016.8984C14.2501%2015.9049%2013.7029%2014.5843%2013.7029%2013.1812C13.7029%2011.7781%2014.2501%2010.4575%2015.2436%209.46401C16.2371%208.47052%2017.5577%207.92334%2018.9608%207.92334C20.3639%207.92334%2021.6845%208.47052%2022.678%209.46401C23.6715%2010.4575%2024.2187%2011.7781%2024.2187%2013.1812C24.2187%2014.5843%2023.6715%2015.9049%2022.678%2016.8984C21.6845%2017.8919%2020.3639%2018.4391%2018.9608%2018.4391Z'%20fill='white'/%3e%3c/g%3e%3c/svg%3e)
'%3e%3cpath%20d='M22.1642%2019.0924C21.7317%2018.068%2021.1041%2017.1375%2020.3163%2016.3527C19.5309%2015.5656%2018.6006%2014.9381%2017.5766%2014.5048C17.5674%2014.5002%2017.5582%2014.4979%2017.5491%2014.4933C18.9774%2013.4616%2019.9059%2011.7811%2019.9059%209.88504C19.9059%206.74408%2017.3611%204.19922%2014.2201%204.19922C11.0792%204.19922%208.53429%206.74408%208.53429%209.88504C8.53429%2011.7811%209.46282%2013.4616%2010.8912%2014.4956C10.882%2014.5002%2010.8728%2014.5025%2010.8636%2014.5071C9.83652%2014.9404%208.91487%2015.5617%208.1239%2016.355C7.33685%2017.1404%206.70933%2018.0707%206.276%2019.0947C5.85031%2020.0972%205.62072%2021.172%205.59967%2022.2609C5.59905%2022.2853%205.60335%2022.3097%205.61229%2022.3325C5.62123%2022.3553%205.63465%2022.376%205.65174%2022.3935C5.66883%2022.4111%205.68926%2022.425%205.71182%2022.4345C5.73437%2022.444%205.7586%2022.4489%205.78308%2022.4489H7.15868C7.25956%2022.4489%207.3398%2022.3686%207.3421%2022.2701C7.38795%2020.5001%208.09868%2018.8425%209.35506%2017.5861C10.655%2016.2862%2012.3814%2015.5709%2014.2201%2015.5709C16.0588%2015.5709%2017.7852%2016.2862%2019.0852%2017.5861C20.3415%2018.8425%2021.0523%2020.5001%2021.0981%2022.2701C21.1004%2022.3709%2021.1807%2022.4489%2021.2815%2022.4489H22.6571C22.6816%2022.4489%2022.7058%2022.444%2022.7284%2022.4345C22.751%2022.425%2022.7714%2022.4111%2022.7885%2022.3935C22.8056%2022.376%2022.819%2022.3553%2022.8279%2022.3325C22.8369%2022.3097%2022.8412%2022.2853%2022.8406%2022.2609C22.8176%2021.165%2022.5907%2020.0989%2022.1642%2019.0924ZM14.2201%2013.8284C13.1678%2013.8284%2012.1773%2013.418%2011.4322%2012.6729C10.6871%2011.9278%2010.2767%2010.9374%2010.2767%209.88504C10.2767%208.83271%2010.6871%207.84227%2011.4322%207.09715C12.1773%206.35204%2013.1678%205.94165%2014.2201%205.94165C15.2724%205.94165%2016.2629%206.35204%2017.008%207.09715C17.7531%207.84227%2018.1635%208.83271%2018.1635%209.88504C18.1635%2010.9374%2017.7531%2011.9278%2017.008%2012.6729C16.2629%2013.418%2015.2724%2013.8284%2014.2201%2013.8284Z'%20fill='%238590A2'/%3e%3c/g%3e%3c/svg%3e)