4cade/res/action/POPL09DGRANDHAL

─▌с├────────────────────────────────м╩ВНВНщ╩ВНщ╩П÷──────────────────ВНщ╩П÷──ВНщ╩─═────╨┤╨┤──────╓л╙у╙у√╠──────╨┤╨┤──█╨ВН────────▄┌п├─п───────────────────────────∙───╨В┬д┬▒──ПЪ÷╙²───────────────────ПЪ÷╙²──щ╩В╝─═────╨┤╨┤───░──╓л╙у╙у√╠─у────╨┤╨┤───╨В┬──────────п├─░──Ч┐───────────────────────П───╨В┬д═▒┌─ЮН²╨┤───────────────────ЮН²╨┤──щ╩В╝─═────╨┤╨┤───░──╓л╙у╙у√╠─■────╨┤╨┤───╨В┬──────────п├─╦──Ъ─────────────────────░──╦───╨В┬д┬▒┌──╨┤╨┤────────░───────────╨┤╨┤──д┬∙╒─═────╨┤╨┤───╦──Т▌───┬▒╩─╦────╨┤╨┤───╨В┬──────────п├─╟──З┐───────────────────┬───╟───╨В┬д┬▒───╨┤╨┤───────┬───────────┬╨┤╨┤──ВНэ╩▒╙────╨┤╨┤──────╛█──ПНу╣──────╨┤╨┤───╨В┬──────────п├────Ч────────────────────────────╨В═└┼▒┌──╨┤╨┤────────────────────╨┤╨┤──ВНэ╩─═────╨┤Н∙──────э▀─╨ВН╣╝──────╨┤Н∙─────┼──────────п├───ю©────────────────────────────╨В┬д┬▒┌──╨┤╨┤────────────────────╨┤╨┤──м╩ВН─═───Ю╙щЪЪ──────Э▐▒╒д┬Я©───┬─Б╙щЪЪ─┬─╨В┬────────д─▒╒д┬▒╒д┬────────────────────▒╒д┬───╨В┬д┬│───╨┤╨┤──────╓д┬▒╒д┬╠──────╨┤╨┤──м╩ВНд┬▒╒дЭЪЪе┬▒╒д┬▒╒д┬▒╒д┬▒╒В╝ю╒└ЭЪЪВ╝ю╒└╨В┬────────ю┐с├────────────────────────────────вНщ╩щ╩В╝щ╩В╝Э÷──────────────────щ╩В╝Э÷──щ╩В╝─┬│───╨┤╨┤──────Тнл≥ЁФж╩──────╨┤╨┤─────═────────└┌п├─т───────────────────────────∙───Нщ╒▒╒д──ЮЪ▐Н²───────────────────ЮЪ▐Н²──ВНщ⌡─┬────╨┤╨┤───п──╓лл≥ЁФ√╠─т────╨┤╨┤───Нщ╒──────────п├─░──Ч┐───────────────────────д───Нщ╒▒─е──ЮН²╨┤───────────────────ЮН²╨┤──ВНщ⌡─┬│───╨┤╨┤───п──╓лл≥ЁФ√╠─░────╨┤╨┤───Нщ┌──────────п├─╦──З─────────────────────░──╦───Нщ╒▒┌е───╨┤╨┤────────░───────────╨┤╨┤──щ╩ЯН─┬│───╨┤╨┤───╦──╓▄───╒■╠─╦────╨┤╨┤───Нщ╒──────────п├────З┐───────────────────┬───────Нщ╒▒┌┘───╨┤╨┤───────┬───────────┬╨┤╨┤──щ╩УН─┬│───╨┤╨┤──────Т▌──░╒■╩──────╨┤╨┤───Нщ╒──────────п├────Ч────────────────────────────Лщ╗а╒д───╨┤╨┤────────└───────────╨┤╨┤──щ╩УН─┬│───╨Г╙²──────╛█─Нщ╩в╣──────╨Г╙²───ЬЪ╒──────────п├───ю÷────────────────────────────Нщ╒▒╒д───╨┤╨┤────────────────────╨┤╨┤──вНщ╩─┬д┬▒БЪъЪЪ│┬▒╒д┬▒╒д┬▒╒д┬▒╒д╒дХЪъЪЪ│╒дНщ╒────────▒═д┬▒╒д┬▒┌───────────────────═д┬▒┌───Нщ╒▒╒────╨┤╨┤──────ТНщ╩ВНщ╩──────╨┤╨┤──вНщ╩▒╒д┬▒ЧЪЪ⌠╒д┬▒╒д┬▒╒д┬▒╒д┬щ╩П╝│ЧЪЪщ╩П╝│Нщ┌────────Э├с├────────────────────────────────█╨ВНе┬▒──ЧЪЪШ÷───────────────────ЧЪЪШ÷───────═────╨┤╨┤──────╛м╩ВНщ╥╣──────╨┤╨┤───╦В┬────────└─п├─░───────────────────────────у───╨В┬д┬▒──ЮЪ▐Н²──────░───────────░ЮЪ▐Н²──щ╩В╝──────╨┤╨┤───п──Тн╩ВНщв╩─п────╨┤╨┤───╨В┬──────────п├─░──Ч────────────────────────■───╨В┬└┼▒┌──Н┘╨┤───────┬щ┌─────────┬Н┘╨┤──щ╩В╝─═────╨┤╨┤───Ч│─╓л╩ВНщв╠─Ч│───╨┤╨┤───╨В═──────────п├─╦──З─────────────────────░──╦───╨В┬д┬▒┌──╨┤╨┤──────ю╝у═────────ю╝╨╖╨┤──ВНэ╩─═────╨┤╨┤───╟──╓▄──ю┬▒╠─╟────╨┤╨┤───╨В┬──────────п├────Ш┐───────────────────┬───────╨В┬д┬а┌──╨┤╨┤──────ю╙в┌────────ю╙╨┤╨┤──ВНэ╩─═────╨┤╨┤──────╓▄──д┬▒╠──────╨┤╨┤───╨В┬──────────п├────Ч─────────────────────└────────┼п┬▒┌──╨┤╨┤────────────────────╨┤╨┤──ВНэ╩─═───Ю╙щЪ÷──────Т▌─╨ВН∙╩─────Ю╙щЪ÷───╨В┬──────────п├────▐────────────────────────────╨В┬д┬▒┌──╨┤╨┤──────ЭЪЪЪЪЪЪ©──────╨┤╨┤──м╩ВН──▒╒дХЪ÷ЪЪ⌠╒д┬▒╒д┬▒╒д┬▒╒д┬я╩▒БЪ÷ЪЪс╩▒╨В┬────────└┬▒╒д┬▒╒д────────────────────┬▒╒д────╨В┬д┬────╨┤╨┤──────╛у╙у╙у╙╣──────╨┤╨┤──м╩ВНд┬▒╒дЬЪЪд┬▒╒д┬▒╒д┬▒╒д┬▒╒В╝п╩юЬЪЪВ╝п╩ю╨В═────────°├я├───────────────────────────────────═▒╒д──ЭЪЪЩ÷───────────────────ЭЪЪЩ÷──▒╒д╗─┬│───╨┤╨┤──────э▀Фл≥ЁЖ╝──────╨┤╨┤───Нщ╒────────└─п├─░──────────────────────░────т───Нщ╒▒╒└──ЮЪ▐Н²───────────────────ЮЪ▐Н²──ВНщ⌡─═│───╨┤╨┤───░──╛█Фл≥Ё╤╣─п────╨┤╨┤───Нщ╒──────────п├─░──╝│───────────────────┬щ┌─░───Нщ┌а┌е───╨┤╨┤────────░───────────╨┤╨┤──ВНщ⌡─┬│───╨┤╨┤───Э──Т▌Фл≥Ё╤╩─Э────╨┤╨┤───Лщ╗──────────п├─╦──З───────────────────ю╝у═─╦───Нщ╒▒┌е───╨┤╨┤───────┬───────────┬╨┤╨┤──щ╩УН─┬│───╨┤╨┤───╟──╓▄──п╩в╠─╟────╨┤╨┤───Нщ╒──────────п├────Ш┐──────────────────ю╙в┌─────Нщ╒▒┌п───╨┤╨┤────────└───────────╨┤╨┤──щ╩УН─┬│───╨Г╙²──────╓▄──▒╒■╠──────╨Г╙²───Нщ╒──────────п├────Ч────────────────────────────ЬЪ╒■╒д───╨┤╨┤────────────────────╨┤╨┤──щ╩ТН─┬│──ЮНщЪ÷──────╓▄─Нщ╩≈╠─────ЮНщЪ÷───Нщ╒────────▒╒т┬▒╒д┬▓╒д────────────────────┬▒╒д──Нщ╒▒╒д───╨┤╨┤──────э╩ВНщ╩В╝──────╨┤╨┤──вНщ╩▒╒д┬▒РЪ©ЪЪд┬▒╒д┬▒╒д┬▒╒д┬▒╒дНдПЪ©ЪЪдНдНщ╒────────│╒д┬▒╒д┬▒────────────────────╒д┬▒────Нщ┌▒┌│───╨┤╨┤──────э╩ВНщ╩В╝──────╨┤╨┤──вНщ╩▒╒д┬▒бЪ▐▒╒д┬▒╒д┬▒╒д┬▒╒д┬щ╩Т╝░бЪ▐щ╩Т╝░Нщ┬────────┤├я├─░───────────────────────────────╦В┬д┬▒──ЬЪ©Ч▐───────────────────ЬЪ©Ч▐──э╩В╝─═────╨┤╨┤──────эк╙у╙уЖ╝─└────╨┤╨┤───╨В┬────────└─п├─■───────────────────────────п───╨В┬д┬а┌─ЮЪ▐Н┘───────────────────ЮЪ▐Н┘──щ╩В╝▒╙────╨┤╨┤───░──эк╙у╙уЖ╝─░────╨┤╨┤───╨В┬──────────п├─Ч│─╛│────────────────────░──Ч│──╨В═п┬▒┌──╨┤╨┤────────░───────────╨┤╨┤──щ╩В╝─═────╨┤╨┤──────╛м╙у╙уЖ╣──────╨┤╨┤─────┼──────────п├─╟──З│───────────────────┬───╟───╨В┬д┬▒┌──╨┤╨┤───────┬───────────┬╨┤╨┤──ВНэ╩─═────╨┤╨┤───╟──Т▌──ПН╣╩─╟────╨┤╨┤───╨В┬──────────п├────Ш─────────────────────└──────╨В┬д┬■┌──╨┤╨┤────────└───────────╨┤╨┤──ВНэ╩─═────╨ГН²──────╓▄─═д┬я╠──────╨ГН²───╨В┬──────────п├────Ъ────────────────────────────╨В┬е┬▒┌──╨┤╨┤────────────────────╨┤╨┤───────═───ЮНщЪ©──────╓▄─╒д┬▒╠─────ЮНщЪ©───╨В┬────────д┬│╒д┬▒╒й┬▒────────────────────╒д┬▒──╨В┬д┬▒┌──╨┤╨┤──────╛у╙у╙у╙╣──────╨┤╨┤──м╩ВНд┬▒╒дПЪ©Ъ▐▒╒д┬▒╒д┬▒╒д┬▒╒д╙аёВЖЪ©Ъ╙аёВ╨В┬────────ю┬▒╒д┬▒╒└Ю│─────────────────ю┬▒╒└Ю│─ю╨В═д═────╨┤╨┤──────╛ЩЪЪЪЪ©╣──────╨┤╨┤──м╩ВН┼■╗═д┬▒╒д┬▒╒д┬▒╒д┬▒╒д┬▒╒─Ю│╨д┬▒╒─Ю│╨д┬▒╒────────█├я├─░───────────────────────────────Нщ╒▒╒д──ЬЪ©Ъ▐───────────────────ЬЪ©Ъ▐──ВНщ⌡─┬│───╨┤╨┤──────╛мл≥ЁФ╤╣─■────╨┤╨┤───Нщ╒──────────п├─■───────────────────────────п───Нщ╒▒╒п──юЪ┤╨┤───────────────────юЪ┤╨┤──ВНщ⌡─┬│───╨┤╨┤───т──экл≥ЁФЖ╝─п────╨┤╨┤───Нщ╒──────────п├─Э──╗│────────────────────░──Э───Лщ╗■┌е───╨┤╨┤────────░───────────╨┤╨┤──ВНщ⌡─┬│───╨┤╨┤───╦──экл≥ЁФЖ╝─╦────╨┤╨┤───ЬЪ╒──────────п├─╟──З│───────────────────┬───╟───Нщ╒▒┌е───╨┤╨┤───────┬───────────┬╨┤╨┤──щ╩УН─┬────╨┤╨┤───╟──╛█──п╩В╣─╟────╨┤╨┤───Нщ╒──────────п├────К─────────────────────└──────Нщ╒▒┌е───╨┤╨┤────────└───────────╨┤╨┤──щ╩УН─┬│───╨ГН²──────Т▌─┬▒╒╢╩──────╨ГН²───Нщ┌──────────п├────Ъ────────────────────────────Нщ╒▒╒д───╨┤╨┤────────────────────╨┤╨┤──ю┬▒╒─┬│──ЮНщЪ©──────╓▄ю┬▒╒■╠─────ЮНщЪ©───Нщ╒────────▒╒ю┬▒╒д┬÷╒└───────────────────ю┬▒╒└──Нщ╒▒╒д───╨┤╨┤──────ТНщ╩ВНщ╩──────╨┤╨┤──вНщ╩▒╒д┬▒РЪ©▒╒д┬▒╒д┬▒╒д┬▒╒д┬я╙а┬щСЪ©я╙а┬щНщ╒────────░╒д┬▒╒д┬│Ь──────────────────░╒д┬│Ь──░Нщ┬▒┬│───╨┤╨┤──────Тнл≥ЁФж╩──────╨┤╨┤──вНщ╩╙т╗╜щ╩В╝щ╩В╝щ╩В╝щ╩В╝щ╩В╝э╩В─щ╩В╝э╩В─щ╩В╝────────▄┌я├─п───────────────────────────└───╨В┬д┬▒──ПЪ÷Ъ▐───────────────────ПЪ÷Ъ▐──щ╩В╝─═────╨┤╨┤───ю──Тн╩ВНщв╩─∙────╨┤╨┤───╨В┬──────────п├─≤───────────────────────────░───╨В┬д┬■┌─Ю╙²╨┤───────────────────Ю╙²╨┤──щ╩В╝─═────╨┤╨┤───э──╛м╩ВНщ╥╣─П────╨┤╨┤───╨В┬──────────п├────╗─────────────────────░────────┼е┬▒┌──╨┤╨┤────────░───────────╨┤╨┤──э╩В╝─═────╨┤╨┤───╦──эк╩ВНщ╥╝─╦────╨┤╨┤───╨В┬──────────п├─╟──З│───────────────────┬───╟───╨В┬д┬▒┌──╨┤╨┤───────┬───────────┬╨┤╨┤──ВНэ╩──────╨┤╨┤───╟──э▀──ПНУ╝─╟────╨┤╨┤───╨В┬──────────п├────К─────────────────────└──────╨В┬д═▒┌──╨┤╨┤────────└───────────╨┤╨┤──ВНэ╩─═────╨ГН²──────╛█─╨ВНУ╣──────╨ГН²───╨В═──────────п├────Ъ────────────────────────────╨В┬д┬▒┌──╨┤╨┤────────────────────╨┤╨┤──е╩ВН─═───ЮНмЪ©──────Т▌░╒д┬я╩─────ЮНмЪ©───╨В┬────────д┬░╒д┬▒б©┬│───────────────────░╒д┬│──╨В┬д┬▒───╨┤╨┤──────╓д┬▒╒д┬╠──────╨┤╨┤──м╩ВНд┬▒╒дЬЪЪд┬▒╒д┬▒╒д┬▒╒д┬▒╒т╙└╒дЗЪЪт╙└╒д╨В┬────────д┬▒╒д┬▒╒─╬──────────────────д┬▒╒─╬──д┬▒╒└═────╨┤╨┤──────╓л╩ВНщ≈╠──────╨┤╨┤──м╩ВН╙т╗╧ВНщ╩ВНщ╩ВНщ╩ВНщ╩ВНщ╩ВНщ╩ВНщ╩ВНщ╩ВНщ╩────────▄┌п├─ю───────────────────────────■───Нщ╒▒╒д──ПЪ÷Ъ┤───────────────────ПЪ÷Ъ┤──ВНщ⌡─┬│───╨┤╨┤───ю──╓▄Фл≥Ё√╠─∙────╨┤╨┤───Нщ╒──────────п├─ь──Э────────────────────────п───Нщ╒▒┌е──ЮН²╨┤───────────────────ЮН²╨┤──ВНщ⌡─┬│───╨┤╨┤───т──Т▌Фл≥Ё√╩─д────╨┤╨┤───Нщ╒──────────п├─╦──╬─────────────────────░──╦───ЬЪ╒▒┌е───╨┤╨┤────────░───────────╨┤╨┤───────┬│───╨┤╨┤───╦──╛█───═т╣─╦────╨┤╨┤───Нщ╒──────────п├─╟──З│───────────────────┬───╟───Нщ╒▒┌е───╨┤╨┤───────┬───────────┬╨┤╨┤──щ╩УН─═│───╨┤╨┤──────э▀──п╩╥╝──────╨┤╨┤───Нщ╒──────────п├────Й─────────────────────└──────Нщ┌▒╗д───╨┤╨┤────────────────────╨┤╨┤──щ╩УН─┬│───╨ГН█──────э▀─Нщ╩В╝──────╨ГН█───Лщ╗──────────п├───ю©────────────────────────────Нщ╒▒╒д───╨┤╨┤────────────────────╨┤╨┤──вНщ╩─┬│──юНуЪЪ──────╛█д┬▒╒╢╣─────юНуЪЪ───Нщ╒────────▒┌д┬▒╒дхЪ║────────────────────д┬▒╒───Нщ╒▒╒└───╨┤╨┤──────╓д┬▒╒д┬╠──────╨┤╨┤──вНщ╩▒╒д┬▒ЗЪЪ░╒д┬▒╒д┬▒╒д┬▒╒д┬у┼а┬▒ЗЪЪт┼а┬▒Нщ╒────────щ╩В╝щ╩В╝ю©──────────────────щ╩В╝ю©──щ╩В╝│┬│───╨┤╨┤──────╓▄Фл≥Ё√╠──────╨┤╨┤──вНщ╩┼■╗╛щ╩В╝щ╩В╝щ╩В╝щ╩В╝щ╩В╝щ╩В╝щ╩В╝щ╩В╝щ╩В╝────────