YES abaxbabxbabxabaxpappbp2.1pbppapbabxabaxabaxbabxpbbppbappabppaapbabxbabxabaxabax2pbppapbabxabaxabaxbabxpbbppbappabppaapbabxbabxabaxabaxbp1pabpbabpap1pbapabapabaxbabxbabpbp1papbap11pbpbabpap1pbapabapabaxbabxbabpbp1pabpbabpbabxbabxbabpap1pbapabapabaxbabxbabpbp1pabpbabpbabxabaxabapap1pbapabapbp1pabpbabpbabxabaxabapap1pbpabp11papabapbp1pabpbabpbabxabaxabapap1pbapabapabaxabaxabapbp1pbpbbpbbpbp1pbbpbbbpbbp11pbpbbbpbp1pbapbbapbbp11papbbapbp1papbapbapbp1pabpbabpbap11pbpbabpbp1paapbaapbap11papbaapbp1pabpbabpabp11papabapabaxbabxbabpbp1papbap11pbpbabpabp11papabapabaxbabxbabpbp1pabpbabpbabxbabxbabpabp11papabapabaxbabxbabpbp1papbap11pbbpbabbpabp11pabpababpabaxbabxbabbpbp1pabpbabp111pbpbabbpabp11pabpababpabaxbabxbabbpbp1papbap11pbapbabapabp11paapabaapabaxbabxbabapbp1pabpbabp111papbabapabp11paapabaapabaxbabxbabapbp1pabpbabpbabxabaxabapabp11papabapbp1pabpbabpbabxabaxabapabp11papabapabaxabaxabapbp1papbap11pbbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1pabpbabp111pbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1papbap11pbpbabp111pbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1pabpbabpbabxbabxbabp111pbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1papbap11pbbpbabbpbabxbabxbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1pabpbabp111pbpbabbpbabxbabxbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1papbap11pbbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpbp1papbap11pbbpbabbpbabxabaxababpaap11pbpaabp111papaabap1abaxbabxababpbp1papbap11pbbpbabbpbabxabaxababpaap11pbapaabap1abaxabaxaabap1abaxbabxababpbp1papbap11pbbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpabaxabaxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbpaabp111papaabap1abaxbabxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbapaabap1abaxabaxaabap1abaxbabxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpabaxabaxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbapaabap1abaxbabxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbpaabp111papaabap1abaxbabxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbapaabap1abaxabaxaabap1abaxbabxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbapaabap1abaxbabxababpabaxabaxababpbp1pabpbabpbabxabaxabap111pbbpababbpaap11pbpaabp111pabpaababp1abaxbabxababbpbp1pabpbabpbabxabaxabap111pbbpababbpaap11pbapaabap1111pbpaababp1abaxbabxababbpbp1pabpbabpbabxabaxabap111pbbpababbpaap11pbapaabap1abaxbabxababp1111pbpababbpbp1pabpbabp111pbbpbabbbpbabxabaxababbpaap11pbpaabp111pabpaababp1abaxbabxababbpbp1pabpbabp111pbbpbabbbpbabxabaxababbpaap11pbapaabap1111pbpaababp1abaxbabxababbpbp1pabpbabp111pbbpbabbbpbabxabaxababbpaap11pbapaabap1abaxbabxababp1111pbpababbpbp1pabpbabpbabxabaxabap111pbapababapaap11pbpaabp111paapaabaap1abaxbabxababapbp1pabpbabpbabxabaxabap111pbapababapaap11pbapaabap1111papaabaap1abaxbabxababapbp1pabpbabpbabxabaxabap111pbapababapaap11pbapaabap1abaxbabxababp1111papababapbp1pabpbabp111pbapbabbapbabxabaxababapaap11pbpaabp111paapaabaap1abaxbabxababapbp1pabpbabp111pbapbabbapbabxabaxababapaap11pbapaabap1111papaabaap1abaxbabxababapbp1pabpbabp111pbapbabbapbabxabaxababapaap11pbapaabap1abaxbabxababp1111papababapap1pbapabapbp1pabpbabpbabxabaxabapap1pbpabp11papabapbp1pabpbabpbabxabaxabapap1pbapabapabaxabaxabapbp1pabpbabpbabxabaxabapap1pbapabapabaxbabxbabpbp1pabpbabpap1pbapabapabaxbabxbabpbp1papbap11pbpbabpap1pbapabapabaxbabxbabpbp1pabpbabpbabxbabxbabpap1pbpabp11paapabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbapabap111papabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbpabp11papabap111papabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbapabapabaxabaxabap111papabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbpabp11paapabaapabaxabaxabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbapabap111papabaapabaxabaxabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbpabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapap1pbpabp11paapabaapabaxbabxbabapbbp11papbbap111pbpbbabp1babxabaxbabapap1pbpabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxbabxbbabp1babxabaxbabapap1pbpabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapbabxbabxbabapap1pbapabap111papabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapap1pbapabap111papabaapabaxbabxbabapbbp11papbbap111pbpbbabp1babxabaxbabapap1pbapabap111papabaapabaxbabxbabapbbp11pabpbbabp1babxbabxbbabp1babxabaxbabapap1pbapabap111papabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapbabxbabxbabapap1pbapabapabaxbabxbabp111papbabapbbp11pabpbbabp1babxabaxbabapap1pbapabapabaxbabxbabp111papbabapbbp11papbbap111pbpbbabp1babxabaxbabapap1pbapabapabaxbabxbabp111papbabapbbp11pabpbbabp1babxbabxbbabp1babxabaxbabapap1pbapabapabaxbabxbabp111papbabapbbp11pabpbbabp1babxabaxbabapbabxbabxbabapap1pbapabapabaxbabxbabp111pabpbababpbbp11papbbap111pbbpbbabbp1babxabaxbababpap1pbapabapabaxbabxbabp111pabpbababpbbp11pabpbbabp1111pbpbbabbp1babxabaxbababpap1pbapabapabaxbabxbabp111pabpbababpbbp11pabpbbabp1babxabaxbabap1111pbpbababpap1pbapabap111pabpabaabpabaxbabxbababpbbp11papbbap111pbbpbbabbp1babxabaxbababpap1pbapabap111pabpabaabpabaxbabxbababpbbp11pabpbbabp1111pbpbbabbp1babxabaxbababpap1pbapabap111pabpabaabpabaxbabxbababpbbp11pabpbbabp1babxabaxbabap1111pbpbababpap1pbapabapabaxbabxbabp111paapbabaapbbp11papbbap111pbapbbabap1babxabaxbabaapap1pbapabapabaxbabxbabp111paapbabaapbbp11pabpbbabp1111papbbabap1babxabaxbabaapap1pbapabapabaxbabxbabp111paapbabaapbbp11pabpbbabp1babxabaxbabap1111papbabaapap1pbapabap111paapabaaapabaxbabxbabaapbbp11papbbap111pbapbbabap1babxabaxbabaapap1pbapabap111paapabaaapabaxbabxbabaapbbp11pabpbbabp1111papbbabap1babxabaxbabaapap1pbapabap111paapabaaapabaxbabxbabaapbbp11pabpbbabp1babxabaxbabap1111papbabaapap1pbapabapbap11pbpbabpbabxabaxabapap1pbpabp11papabapbap11pbpbabpbabxabaxabapap1pbapabapabaxabaxabapbap11pbpbabpbabxabaxabapap1pbpabp11pabpababpbap11pbbpbabbpbabxabaxababpap1pbapabap111pbpababpbap11pbbpbabbpbabxabaxababpap1pbpabp11paapabaapbap11pbapbabapbabxabaxabaapap1pbapabap111papabaapbap11pbapbabapbabxabaxabaapap1pbapabapabaxbabxbabpbap11pbpbabpap1pbapabapabaxbabxbabpbap11pbpbabpbabxbabxbabpap1pbpabpabpap1pbbpabbpabp11pbpabbpap1pbapabapabp11papabapap1papaapaapap1pabpaabpaap11pbpaabpap1paapaaapaap11papaaapbaabax9311abaxbabxbababx93abaabx93abaxbabxbababx93aabax941abaxbabxababx94babbx94babxabaxababx94abaxbabxbabxabaxabaxabaxabaxbabxbabxbabxbaabax96bababx9611babxabaxbaabax96baabax9611abaxbabxbababx96bababx96aabax97ababx971babxabaxaabax97aabax971abaxbabxababx97ababx97bbabx981babxabaxbabax98abaax98abaxbabxbabax98abbabx9911babxabaxababax99babbax99babxabaxababax99bbabx100babax1001abaxbabxbbabx100bbabx1001babxabaxbabax100babax100babxabaxabaxbabxbabxbabxbabxabaxabaxabaxabbabx102ababax10211abaxbabxabbabx102abbabx10211babxabaxababax102ababax102bbpbp1pbpbbpbbp11pbpbbbpbp1pbbpbbbpbbp11papbbapbp1pbapbbapbbp11pabpbbabp1babxabaxbabapap1pbpabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapap1pbapabap111papabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapap1pbapabapabaxbabxbabp111papbabapbbp11papbbap111pbpbbabp1babxabaxbabapap1pbpabp11paapabaapabaxbabxbabapbbp11papbbap111pbpbbabp1babxabaxbabapap1pbapabap111papabaapabaxbabxbabapbbp11papbbap111pbpbbabp1babxabaxbabapap1pbapabapabaxbabxbabp111papbabapbbp11pabpbbabp1babxbabxbbabp1babxabaxbabapap1pbpabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxbabxbbabp1babxabaxbabapap1pbapabap111papabaapabaxbabxbabapbbp11pabpbbabp1babxbabxbbabp1babxabaxbabapap1pbapabapabaxbabxbabp111papbabapbbp11pabpbbabp1babxabaxbabapbabxbabxbabapap1pbpabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapbabxbabxbabapap1pbapabap111papabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapbabxbabxbabapap1pbapabapabaxbabxbabp111papbabapbbp11papbbap111pbbpbbabbp1babxabaxbababpap1pbapabapabaxbabxbabp111pabpbababpbbp11papbbap111pbbpbbabbp1babxabaxbababpap1pbapabap111pabpabaabpabaxbabxbababpbbp11pabpbbabp1111pbpbbabbp1babxabaxbababpap1pbapabapabaxbabxbabp111pabpbababpbbp11pabpbbabp1111pbpbbabbp1babxabaxbababpap1pbapabap111pabpabaabpabaxbabxbababpbbp11pabpbbabp1babxabaxbabap1111pbpbababpap1pbapabapabaxbabxbabp111pabpbababpbbp11pabpbbabp1babxabaxbabap1111pbpbababpap1pbapabap111pabpabaabpabaxbabxbababpbbp11papbbap111pbapbbabap1babxabaxbabaapap1pbapabapabaxbabxbabp111paapbabaapbbp11papbbap111pbapbbabap1babxabaxbabaapap1pbapabap111paapabaaapabaxbabxbabaapbbp11pabpbbabp1111papbbabap1babxabaxbabaapap1pbapabapabaxbabxbabp111paapbabaapbbp11pabpbbabp1111papbbabap1babxabaxbabaapap1pbapabap111paapabaaapabaxbabxbabaapbbp11pabpbbabp1babxabaxbabap1111papbabaapap1pbapabapabaxbabxbabp111paapbabaapbbp11pabpbbabp1babxabaxbabap1111papbabaapap1pbapabap111paapabaaapabaxbabxbabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbpabp11paapabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbapabap111papabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbpabp11papabap111papabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbapabapabaxabaxabap111papabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbpabp11paapabaapabaxabaxabaapbbp11pabpbbabp1babxabaxbabapbabxabaxabaapap1pbapabap111papabaapabaxabaxabaapbbp11pabpbbabpbap11pbapbabap1abaxbabxbbabpbbp11papbbap111pbpbbabpbap11pbapbabap1abaxbabxbbabpbbp11pabpbbabp1babxbabxbbabpbap11pbapbabap1abaxbabxbbabpbbp11pabpbbabp1babxabaxbabapbap11pbapbabapbbp11pabpbbabp1babxabaxbabapbap11pbpbabp111papbabapbbp11pabpbbabp1babxabaxbabapbap11pbapbabapbabxbabxbabapbbp11pabpbbabp1babxabaxbabapabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapbabxabaxabaap1111pbapabaabapaap11pbapaabap1abaxbabxababp1111pabpabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabapbabxabaxabaap1111pbapabaabapaap11pbapaabap1111pabpaabaabp1abaxbabxabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabap1111pbapbababapbabxabaxabaabapaap11pbapaabap1abaxbabxababp1111pabpabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabap1111pbapbababapbabxabaxabaabapaap11pbapaabap1111pabpaabaabp1abaxbabxabababp111babxabaxabaabapbbp11pabpbbabp1111pbapbbabbap1babxabaxbababapbabxabaxabaabapaap11pbapaabap1abaxbabxababp1111pabpabababp111babxabaxabaabapbbp11pabpbbabp1111pbapbbabbap1babxabaxbababapbabxabaxabaabapaap11pbapaabap1111pabpaabaabp1abaxbabxabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabap1111pbapbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababpabaxbabxbabbp1111pabpbabbabpbbp11pabpbbabp1babxabaxbabap1111pbapbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababp1111pabpabababpabaxbabxbabbabpbbp11pabpbbabp1babxabaxbabap1111pbapbababap111abaxbabxbabbabpaap11pbapaabap1111pabpaabaabp1abaxbabxabababpabaxbabxbabbabpbbp11pabpbbabp1111pbapbbabbap1babxabaxbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababpabaxbabxbabbp1111pabpbabbabpbbp11pabpbbabp1111pbapbbabbap1babxabaxbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababp1111pabpabababpabaxbabxbabbabpbbp11pabpbbabp1111pbapbbabbap1babxabaxbababap111abaxbabxbabbabpaap11pbapaabap1111pabpaabaabp1abaxbabxabababpabaxbabxbabbabpbapbp1papbapbap11pbpbabpbp1pabpbabpbap11papbaapbp1paapbaapbap11pbpbabpap1pbapabapabaxbabxbabpbap11pbpbabpbabxbabxbabpap1pbapabapabaxbabxbabpbap11pbpbabpbabxabaxabapap1pbapabapbap11pbpbabpbabxabaxabapap1pbpabp11papabapbap11pbpbabpbabxabaxabapap1pbapabapabaxabaxabapbap11pbbpbabbpbabxabaxababpap1pbpabp11pabpababpbap11pbbpbabbpbabxabaxababpap1pbapabap111pbpababpbap11pbapbabapbabxabaxabaapap1pbpabp11paapabaapbap11pbapbabapbabxabaxabaapap1pbapabap111papabaapbap11pbapbabapbbp11pabpbbabp1babxabaxbabapbap11pbpbabp111papbabapbbp11pabpbbabp1babxabaxbabapbap11pbapbabapbabxbabxbabapbbp11pabpbbabp1babxabaxbabapbap11pbapbabap1abaxbabxbbabpbbp11pabpbbabpbap11pbapbabap1abaxbabxbbabpbbp11papbbap111pbpbbabpbap11pbapbabap1abaxbabxbbabpbbp11pabpbbabp1babxbabxbbabpbap11pbpbabpabp11papabapabaxbabxbabpbap11pbpbabpbabxbabxbabpabp11papabapabaxbabxbabpbap11pbbpbabbpabp11pabpababpabaxbabxbabbpbap11pbpbabp111pbpbabbpabp11pabpababpabaxbabxbabbpbap11pbbpbabbpbabxbabxbabbpabp11pabpababpabaxbabxbabbpbap11pbapbabapabp11paapabaapabaxbabxbabapbap11pbpbabp111papbabapabp11paapabaapabaxbabxbabapbap11pbapbabapbabxbabxbabapabp11paapabaapabaxbabxbabapbap11pbpbabpbabxabaxabapabp11papabapbap11pbpbabpbabxabaxabapabp11papabapabaxabaxabapbap11pbbpbabbpbabxabaxababpabp11pabpababpbap11pbbpbabbpbabxabaxababpabp11papabap111pbpababpbap11pbbpbabbpbabxabaxababpabp11pabpababpabaxabaxababpbap11pbapbabapbabxabaxabaapabp11paapabaapbap11pbapbabapbabxabaxabaapabp11papabap111papabaapbap11pbapbabapbabxabaxabaapabp11paapabaapabaxabaxabaapbap11pbbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpabp11papabapbp1pabpbabpbabxabaxabapabp11papabapabaxabaxabapbp1pabpbabpbabxabaxabapabp11papabapabaxbabxbabpbp1pabpbabpabp11papabapabaxbabxbabpbp1papbap11pbpbabpabp11papabapabaxbabxbabpbp1pabpbabpbabxbabxbabpabp11pabpababpabaxbabxbabbpbp1papbap11pbbpbabbpabp11pabpababpabaxbabxbabbpbp1pabpbabp111pbpbabbpabp11paapabaapabaxbabxbabapbp1papbap11pbapbabapabp11paapabaapabaxbabxbabapbp1pabpbabp111papbabapabpap1pbpabpabp11pbpabbpap1pbbpabbpabp11papabapap1pbapabapabp11paapabaapabaxbabxbabapbbp11pabpbbabp1babxabaxbabapabp11papabapbap11pbpbabpbabxabaxabapabp11papabapabaxabaxabapbap11pbpbabpbabxabaxabapabp11pabpababpbap11pbbpbabbpbabxabaxababpabp11papabap111pbpababpbap11pbbpbabbpbabxabaxababpabp11pabpababpabaxabaxababpbap11pbbpbabbpbabxabaxababpabp11paapabaapbap11pbapbabapbabxabaxabaapabp11papabap111papabaapbap11pbapbabapbabxabaxabaapabp11paapabaapabaxabaxabaapbap11pbapbabapbabxabaxabaapabp11papabapabaxbabxbabpbap11pbpbabpabp11papabapabaxbabxbabpbap11pbpbabpbabxbabxbabpabp11pabpababpabaxbabxbabbpbap11pbbpbabbpabp11pabpababpabaxbabxbabbpbap11pbpbabp111pbpbabbpabp11pabpababpabaxbabxbabbpbap11pbbpbabbpbabxbabxbabbpabp11paapabaapabaxbabxbabapbap11pbapbabapabp11paapabaapabaxbabxbabapbap11pbpbabp111papbabapabp11paapabaapabaxbabxbabapbap11pbapbabapbabxbabxbabapabp11pabpababpaap11pbapaabap1abaxbabxababpabp11papabap111pbpababpaap11pbapaabap1abaxbabxababpabp11pabpababpabaxabaxababpaap11pbapaabap1abaxbabxababpabp11pabpababp1babxabaxaabapaap11pbapaabapabp11pabpababp1babxabaxaabapaap11pbpaabp111papaabapabp11pabpababp1babxabaxaabapaap11pbapaabap1abaxabaxaabapaap11pbapaabap1abaxbabxababpbp1papbap11pbbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbpaabp111papaabap1abaxbabxababpbp1papbap11pbbpbabbpbabxabaxababpaap11pbpaabp111papaabap1abaxbabxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbpaabp111papaabap1abaxbabxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbapaabap1abaxabaxaabap1abaxbabxababpbp1papbap11pbbpbabbpbabxabaxababpaap11pbapaabap1abaxabaxaabap1abaxbabxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbapaabap1abaxabaxaabap1abaxbabxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbapaabap1abaxbabxababpabaxabaxababpbp1papbap11pbbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpabaxabaxababpbp1pabpbabp111pbpbabbpbabxabaxababpaap11pbapaabap1abaxbabxababpabaxabaxababpbp1pabpbabpbabxabaxabap111pbpababpaap11pbpaabp111pabpaababp1abaxbabxababbpbp1pabpbabpbabxabaxabap111pbbpababbpaap11pbpaabp111pabpaababp1abaxbabxababbpbp1pabpbabp111pbbpbabbbpbabxabaxababbpaap11pbapaabap1111pbpaababp1abaxbabxababbpbp1pabpbabpbabxabaxabap111pbbpababbpaap11pbapaabap1111pbpaababp1abaxbabxababbpbp1pabpbabp111pbbpbabbbpbabxabaxababbpaap11pbapaabap1abaxbabxababp1111pbpababbpbp1pabpbabpbabxabaxabap111pbbpababbpaap11pbapaabap1abaxbabxababp1111pbpababbpbp1pabpbabp111pbbpbabbbpbabxabaxababbpaap11pbpaabp111paapaabaap1abaxbabxababapbp1pabpbabpbabxabaxabap111pbapababapaap11pbpaabp111paapaabaap1abaxbabxababapbp1pabpbabp111pbapbabbapbabxabaxababapaap11pbapaabap1111papaabaap1abaxbabxababapbp1pabpbabpbabxabaxabap111pbapababapaap11pbapaabap1111papaabaap1abaxbabxababapbp1pabpbabp111pbapbabbapbabxabaxababapaap11pbapaabap1abaxbabxababp1111papababapbp1pabpbabpbabxabaxabap111pbapababapaap11pbapaabap1abaxbabxababp1111papababapbp1pabpbabp111pbapbabbapbabxabaxababapaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1papbap11pbbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1pabpbabp111pbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1papbap11pbpbabp111pbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1pabpbabpbabxbabxbabp111pbpbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1papbap11pbbpbabbpbabxbabxbabbpaap11pbapaabap1abaxbabxababpabaxbabxbabbpbp1pabpbabp111pbpbabbpbabxbabxbabbpaapap1papaapaap11pbpaabpap1pabpaabpaap11papaaapap1paapaaapaap11pbapaabap1abaxbabxababpabaxbabxbabbp1111pabpbabbabpbbp11pabpbbabp1babxabaxbabap1111pbapbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababpabaxbabxbabbp1111pabpbabbabpbbp11pabpbbabp1111pbapbbabbap1babxabaxbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababp1111pabpabababpabaxbabxbabbabpbbp11pabpbbabp1babxabaxbabap1111pbapbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababp1111pabpabababpabaxbabxbabbabpbbp11pabpbbabp1111pbapbbabbap1babxabaxbababap111abaxbabxbabbabpaap11pbapaabap1111pabpaabaabp1abaxbabxabababpabaxbabxbabbabpbbp11pabpbbabp1babxabaxbabap1111pbapbababap111abaxbabxbabbabpaap11pbapaabap1111pabpaabaabp1abaxbabxabababpabaxbabxbabbabpbbp11pabpbbabp1111pbapbbabbap1babxabaxbababap111abaxbabxbabbabpaap11pbapaabap1abaxbabxababp1111pabpabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabapbabxabaxabaap1111pbapabaabapaap11pbapaabap1abaxbabxababp1111pabpabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabap1111pbapbababapbabxabaxabaabapaap11pbapaabap1abaxbabxababp1111pabpabababp111babxabaxabaabapbbp11pabpbbabp1111pbapbbabbap1babxabaxbababapbabxabaxabaabapaap11pbapaabap1111pabpaabaabp1abaxbabxabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabapbabxabaxabaap1111pbapabaabapaap11pbapaabap1111pabpaabaabp1abaxbabxabababp111babxabaxabaabapbbp11pabpbbabp1babxabaxbabap1111pbapbababapbabxabaxabaabapaap11pbapaabap1111pabpaabaabp1abaxbabxabababp111babxabaxabaabapbbp11pabpbbabp1111pbapbbabbap1babxabaxbababapbabxabaxabaabapaap11pbapaabap1abaxbabxababpbap11pbbpbabbpbabxabaxababpaap11pbapaabapabp11pabpababp1babxabaxaabapaap11pbpaabp111papaabapabp11pabpababp1babxabaxaabapaap11pbapaabap1abaxabaxaabapabp11pabpababp1babxabaxaabapaap11pbapaabap1abaxbabxababpabp11pabpababpaap11pbapaabap1abaxbabxababpabp11papabap111pbpababpaap11pbapaabap1abaxbabxababpabp11pabpababpabaxabaxababpbabxabaxabaxbabxbabxbabxbabxabaxabaxabaxbababx104abaabx104abaxbabxbababx104bababx104babxabaxabaabx104abaabx104ababx105babbx105babxabaxababx105ababx105abaxbabxbabbx105babbx105bababx106bababx106ababx107ababx107babax108abaax108abaxbabxbabax108babax108babxabaxabaax108abaax108abaxbabxbabxabaxabaxabaxabaxbabxbabxbabxababax110babbax110babxabaxababax110ababax110abaxbabxbabbax110babbax110babax111babax111ababax112ababax112csicsi 1.2.5 [hg: unknown](sorted -ms*; ( ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!) || (( (nonconfluence -steps 0 -tcap -fun | nonconfluence -steps 2 -tcap -fun | nonconfluence -steps 25 -width 1 -tcap -fun) || (nonconfluence -steps 2 -tcap -var | nonconfluence -steps 25 -width 1 -tcap -var) || (nonconfluence -steps 0 -tree -cert -fun | nonconfluence -steps 0 -tree -cert -var | nonconfluence -steps 1 -tree -cert -fun | nonconfluence -steps 1 -tree -cert -var | nonconfluence -steps 2 -tree -cert -fun | nonconfluence -steps 2 -tree -cert -var | nonconfluence -steps 25 -tree -cert -fun | nonconfluence -steps 25 -tree -cert -var) )[6] | ((cr -m -1 -force);(redundant -narrowfwd -narrowbwd -size 7)))3*! || (((cr -m -1 -force);(redundant -remove 4)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!))! || (((cr -force -redundant);(redundant)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!)[15]?)3*! || (((cr -m -1 -force -redundant);(redundant -rhs)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!)[15]?)3*! ))[54]