/export/starexec/sandbox2/solver/bin/starexec_run_tct_rci_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^2)) bool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse<x0False<0SyTrue<SxSy<xy00False0S1True0<2bool2Nat1e14e24e34e44e54e64e74e84equal02gcd2help11l16l106l116l126l136l146l156l166l26l36l46l56l66l76l86l96m14m24m34m44m54monus222.211000<200102False00S1001True00bool2Nat1201e14001024304e24001023344e34001022304e44001021314e54001421304e64501021314e74411122304e84501024324equal0200102gcd202142help11501l160214243444506l1060214203240506l1160214203040516l1260214203040506l1360214203041506l1460214203040516l1560214203041506l1660210213040506l260214213444516l360214203044526l460214203040526l560214203040526l661010213041506l760214203040516l860214203440516l964111203144546m14001022314m24001021304m34221121314m44001020304m54001024304monus200102bool2NatFalse0bool2NatTrueS0e6abrestFalsee7abrestFalsee8abrestreshelp10Falsehelp1S0Falsehelp1SSxTruel6xyrestmpmtmpt0l9resyres'tmpmtmptresm30brestFalsem3S0brestFalsem3SSxbrestTrue<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse11000<200102False00S1001True00bool2Nat1211e14001024304e24001020314e34001020304e44001020314e54121121304e64401124304e74411020314e84201022304equal0200102gcd201112help11501l160111223444506l1060011203440506l1160011203140516l1260011203040546l1360011203042526l1460011203140516l1560011203141516l1660010213040506l260111223144526l360111223143536l460111203142526l560111203040506l664410223040506l760111203040516l860111203440506l961110243140516m14001020304m24001020304m34401021304m44001020314m54011422304monus200102e5abrestTrue<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse11000<200102False00S1001True00bool2Nat1001e14001024314e24001022314e34001020314e44001020314e54211124304e64401022304e74411121324e84041022304equal0200102gcd211142help11501l161114213045506l1061114203040516l1161114203040546l1261014203040506l1361014203042506l1461011203040536l1561011203044526l1660010213040506l261114213044526l361114213042526l461114213040526l561114213040506l661411203040546l761114203040536l861114203440526l962111203241516m14001020324m24001020344m34401020324m44001020304m54001022304monus200102l2xyrestmpmtmpTrueresl5xyrestmpmtmpTrue0l8resyres'Truemtmptres<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2000000102022False000S10110101True001bool2Nat10100001e140303011000120200300004e240302011000020000312004e340200011000020000300014e440200001000020000310004e542222011000020000300004e641200021000220000300004e741000001110220021300004e840120011000021021301204equal02030301100012gcd2002021120222help111103031l1600202112022222123110042222501006l10600202012022200003020240000500006l11600202012022200003020040000520006l12600202012022200003000040000502006l13600000012022200003000041021500006l14600202012021200003000040000500106l15600000012021200003000041022500006l16600000010000210013000040000500006l2600202112022221023100040021501106l3600202112022200023000040011510206l4600202112022210003000040001500006l5600202112022210003000040000500006l6622000110000222003000140000502216l7600202112022210003000040000500206l8600202112022200003200040000500206l9601200210000201003011040000511006m140020201000020211300004m240020201000020211300314m341300111000020000320204m440020201000020000300004m540000001002021001300004monus2002020100002m20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTrue<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2010000100002False000S10000001True001bool2Nat10011001e140102011010020000300004e240102001000020000320004e340102001000020000300004e440102001000020000311004e540122001120220100300004e642022211000020200302004e740211011002020012300104e840200001010021202300004equal02020301102002gcd2001001120012help110200001l1600100112001221023320242112520026l10600100112001200003000140000500006l11600100112001200003000140000520006l12600100112001200003000040000520006l13600100112001200003000041011500006l14600000111001200003000140000522016l15600000011001200003000042000501006l16600000010000210013000040000500006l2600100112001210013200242101502016l3600100112001200013200240001502126l4600100112001210023000240000501106l5600100112001210023000140000500006l6620000010002200003000040000500026l7600100112001200023000040000500006l8600100112001200003200040000500006l9601200210202211023001040100500006m140000001000020002301024m240000001000020002301014m342100001022020000300004m440000001000020002300224m540000001002021002300004monus2000000100002l13xyrestmpTruetl16xygcdS0ytmpTruet<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2010000101002False000S11010001True002bool2Nat12200001e140303021000320202300004e240303001000320002320004e340303001000220002302004e440100001000120002310024e540301111000022022302024e640201221000220000321224e742100001000022000302014e840001001000022222300024equal02030302100032gcd2021001110012help110113211l1602100111001212213003240221502006l10602100111001200003022040000500016l11602000111001200003010040000520006l12602000111001200003010040000502006l13602000111001200003000042121500006l14602000011001200003000040000500226l15602000011001200003000042020500006l16600000010000210013000040010500006l2602100111001210213002040000502126l3602100111001210003000040000500006l4602100111001212123000040000500006l5602100111001202103000040000500006l6620000010100200003010042220500006l7602100111001201003000040000512016l8602100111001200003100040000500016l9621100210000200003220040212500006m140000001000021100300024m240000001000020000300024m341112201000021000300004m440000001000020000322104m540000021002022001300004monus2000000100002l15xyrestmpTruetl16xygcdyS0tmpTruet<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2010000100002False000S10200011True001bool2Nat10000021e140200001020222221321204e240000001000220101310014e340100001000220100300004e440000001000220000311014e542200001020220000301024e640000001011120000300024e740200001000022200301004e840120111000021002320004equal02020002102022gcd2001011110112help110101101l1600101111011211113121242022500026l10600101111011200003132240000500006l11600001111011200003130040000520006l12600001111011200003030040000520006l13600000011011200003000041022520006l14600001011011200003030040000500006l15600000011011200003020041032500006l16600000010000210013000040000500006l2600101111011210013121041011500306l3600101111011200013020041011501226l4600101111011202013000040011500006l5600101111011202003000040000510036l6600201010000220103000040001500006l7600101111011202003000040000520126l8600101111011202003100040000510016l9620211210202202013000240021500006m140000101000020000300004m240000101000020000300014m343300101100020000300004m440000101000020000322104m540000001000021002300004monus2000010100002m4Sx'Sxrestm5Sx'Sxmonusx'xt<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2010000100002False000S11010001True001bool2Nat12300101e140201021010022210300004e240101021010021100320014e340201001010021000300004e440101001010021000322004e541200001000020002300004e640100001210220000300004e741002001020121020300024e840000011020022012300004equal02020102102002gcd2001001120012help110002001l1600100112001212113220241202520216l10600100112001200003321140000500006l11600100112001200003211140000520006l12600100012001200003100140000521006l13600000012001200003000041021500006l14600100111001200003111140000500006l15600000111001200003101041020500006l16600000010000210013000040000500006l2600100112001212113210240102500126l3600100112001210013210240001522206l4600100112001213323000140000500006l5600100112001203203000140000500006l6622000012210200023000040000500016l7600100112001202203000040000500006l8600100112001202203200040000500006l9601210110000202213020240000501006m140010001000020102301204m240010001000020100300134m343321101221220000300004m440010001000020000301204m541000001000221002300004monus2001000100002m5abrestres<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2000000100012False000S10100011True001bool2Nat10200031e140220121000023012300014e240220121000023001310004e340100101000023000300004e440100001000022000320104e540201201000220000310104e642200001000020000302004e740022221112020000300004e840000001021021012321004equal02022012100002gcd2003322133222help111000121l1600331213322222123200242320500006l10600110113322200003120340000500006l11600110013322200003020340000520006l12600010013322200003000040000500006l13600010013322200003000041022500006l14600010013322200003020240000510206l15600000013322200003010041022500006l16600000010000210013000040000500006l2600331213322221013100042220500036l3600331213322220003000041210501006l4600331213322220023000041010501006l5600331213322200003000040010500006l6601000210000200003022141200500006l7600331213322200003000040000502006l8600110113322200003110040000500006l9602202110100200003201042002500006m140000001000020231301014m240000001000020120300014m341100101122020100322104m440000001000020100300004m540000001000022001300004monus2000000100002e4abresTrueTrue<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210010<2200200100002False020S10210111True002bool2Nat12022211e142123011020220022300024e240101011020220000310114e342301001010020000300004e440200001000020000310004e541301201000020022301004e642101211000020202300004e742101001020020000300004e842210001211022002300004equal02212301103032gcd2303001130032help110121001l1620300113003210013001240000500006l10620100113003200003002240000500006l11600000113003200003000040000510006l12600000113003200003000040000512006l13600000013003200003000043231500006l14600000013002200003000040000500026l15600000013002200003000043033500006l16600000010000210013000040000500006l2620300113003210013001240000500006l3620300113003200013000240000500126l4620300113003200303000240000500016l5620300113003200203000240000500006l6611011011000200023020041001500006l7620300113003200003000040000500206l8600100113003200003100040000500006l9601111212200212003000242011502026m140000001000020002300204m240000001000020001300224m342021001010020000300024m440000001000020001300024m540000001000022102300014monus2000000100002l11xyrestmpmtmpFalsel14xyrestmpmtmpFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2100000100012False010S11100011True011bool2Nat10101101e141111001000320020300004e240001001000020020311034e341300001000020020301004e440300001000020000310004e542100001001120000320004e642000001210020000300024e742200001000022002300004e841220201100022002322004equal02111101100032gcd2102001132012help111012221l1610200113201212013002340020500006l10610000113201200223002040000500006l11600000113201200223000040000510006l12600000013201200223000040000500006l13600000013201200203000043202500006l14600000112001200023000040000500006l15600000012001200003000042223500006l16602000010000210013000040000500006l2610200113201210013001240020500006l3610200113201200013000240020500226l4610200113201212223000140000500216l5610200113201210223000040000500006l6600101010000200003000040211520016l7610200113201200223000040000500006l8600100113201200223100040000500006l9601202211220210013000040000520016m140000001000020022300104m240000001000020000300114m341301001000020100302014m440000001000020000300024m540000001000022002300004monus2000000100002l11xyrestmpmtmpTruel12xyrestmpmtmpTruel13xyrestmpFalsetl16xygcd0ytmpFalsetl15xyrestmpFalsetl16xygcdy0tmpFalset<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210001<2100001100002False010S10000011True001bool2Nat10102031e141102211000120002300024e240102001000120002310214e341202001000120001310004e440101001000020001310004e541200001020020000312004e641000001000020110300004e742100001200020000310004e842000001000022011300004equal02110321101022gcd2111021110312help111110001l1610102111031211013002240003500006l10610100011031201003002140000500006l11600000011031200003000140000510006l12600000011031200003000040000500006l13600000011031200003000043233500006l14610000011031200003000040000500006l15610000011021200003000043232500006l16600000010000210013000040000500006l2610102111031211013002040002500006l3610102111031200013001040000500026l4610102111031231003000040000500006l5610102111031221003000040000500016l6602000210021200203000041200500006l7610102111031221003000040000500206l8600100111031201003100040000500006l9600200211110221113000041020500006m140000001000020000300004m240000001000020000300214m342102001000021020300014m440000001000020000300004m540001001010022101300004monus2000000100002e2abresTruee3abresTrue<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2110000100002False010S10010201True011bool2Nat10020221e141200011010020000300004e240000001000020000310024e341100001000020000300014e440100001000020000310004e542100001100020002300004e642000001000120000300024e742220111211220201300004e840100001000022201300024equal02120001101002gcd2102022120222help111110001l1610202212022212223000240010500006l10610202212022200103002040000500006l11600202112022200003001040000510006l12610000112022200003000040000500006l13610000112022200003000042000500006l14600202012022200003001040000500006l15600000012022200003001042010500006l16610000010000210013000040010500006l2610202212022210213000040000500016l3610202212022200013000040000500206l4610202212022220113000040000500006l5610202212022220103000040000500006l6600020210000212003001040000500026l7610202212022220103000040000500006l8600202212022210103100040000500006l9620202210000200003000140000521106m140002001000020002300004m240002001000020001300124m341100001000020000302024m440002001000020000300024m540000211000022001300024monus2000202100002l16xyrestmpmtmptres<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2130000100002False010S10100111True002bool2Nat13202121e142302021020120022300004e241302021020120022310004e341300021010120012300004e440000021010120000310014e540200001100220000310014e641000001000022221300024e741200001000220000300004e840101001002121011302224equal02230303102012gcd2222232122322help112010221l1622223212232211013001140002500006l10612223212232200103002240000500006l11602223212232200003000240000510006l12602223212232200003000140000502006l13602200012232200003000043332500006l14612222212232200003000140000500006l15612220012232200003000141022500006l16600200010000210013000040001500006l2621223212232210013001140002501106l3622223212232210013000040002500226l4622223212232223233000040002500006l5622223212232222223000040002500006l6612002010000221013000040001500006l7622223212232212113000040001500006l8602223212232201103100040001500006l9601200210200200003200042202500006m140000011000020020300004m240000011000020020300204m342020011000220102301024m440000011000020010300014m540000001000022001300004monus2000001100002e2abresFalseFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2100000100022False010S10200111True012bool2Nat11002011e142120001000220013300004e240120001000020013320014e341300001000020002300004e440200001000020001310004e541200201002220000300004e641202001100020000300004e741100201000122102300004e841011001010222202300014equal02212100100022gcd2203001130012help112102001l1620300113001220113003340000500126l10610100113001200003000240000500006l11600100113001200003000140000510006l12610000113001200003000040000500006l13600000013001200003000043101500006l14610100113001200003000040000500226l15610100013001200003000043101500006l16600000010000210013000041100500006l2620300113001220013003240000500216l3620300113001200013003140000500006l4620300113001220023003040000500006l5620300113001220023002040000500026l6601200010000212203112040000500006l7620300113001200003001040000500206l8600100113001200003100040000500106l9620220212000200003000140001520016m140000001000020023300224m240000001000020012300214m341101001000020001300004m440000001000020001300024m540000001000022002300004monus2000000100002l12xyrestmpmtmptl13xyrestmpmonusxyt<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210001<2100002100002False010S10000011True001bool2Nat11320121e141101201010320202300204e240101001000320000310104e341001001000320000300014e440000001000120000310014e540100001102120000300024e641000001000020002300004e742200001121020000300014e840000001020222212300004equal02130121102032gcd2121021110212help112210121l1610102111021212023000240000500006l10610000111021200003000340000500006l11600000111021200003000240000510006l12600000111021200003000040000500006l13600000011021200003000043333500006l14610000111021200003000140000500006l15600000111021200003000043333500006l16600000010000210013000040000500006l2610102111021212023000040000500306l3610102111021200003000040000500006l4610102111021202003000040000500006l5610102111021201003000040000500016l6601000011201200023000140021500006l7610102111021200003000040000500026l8600100111021200003100040000500006l9610201210012200023010140000500006m140000001000020000300004m240000001000020000300114m341100021000020000300004m440000001000020000300004m540000001000022012300004monus2000000100002l14xyrestmpmtmptl15xyrestmpmonusxyt<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210001<2100001100002False010S10000011True001bool2Nat12202201e141200201000020023300004e240100001000020002310204e342100001000020002302004e441100001000020000310004e541221011000020012300004e641212001000022200322004e742200001000020000300004e841102021000022122300004equal02120022100002gcd2111021120212help113200321l1610102112021211013000040011500206l10610000112021200003003140000500016l11600000112021200003003140000510006l12600000012021200003000140000500006l13600000012021200003000043233500006l14610000112021200003000140000500006l15610000112021200003000142232500006l16600000010000210013000040000500006l2610102112021210013000040011500026l3610102112021200013000040000500006l4610102112021221003000040000500006l5610102112021200003000040000500016l6621000010102200013000040000501026l7610102112021200003000040000500016l8600100112021200003100040000500016l9620100112011200013000040002500016m140000001000020000300024m240000001000020000300114m342120001220020000300014m440000001000020000300004m540000001000022012300004monus2000000100002e4abresFalseFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2100000100022False010S11210111True012bool2Nat10000211e141200031020220000300024e240100021020020000310014e341300001000020000300004e440000001000020000312004e542300001000020000300004e642020101000022022320124e741100001000020002300004e840000001000122201300004equal02120003103022gcd2101002110022help112111001l1610100211002220023002140000500006l10610100211002200003001140000500006l11600100211002200003001140000510006l12610100011002200003001140000500006l13600000011002200003000141022500006l14610100211002200003001140000500006l15600000211002200003000041012500006l16600000010000210013000040000500006l2610100211002210023000140000500106l3610100211002200003000040000500206l4610100211002202003000040000500006l5610100211002201003000040000500026l6600201112010200013022240222502026l7610100211002201003000040000500006l8600100211002200003100040000500006l9600201210000200003000040002500006m141010001000020000300004m240010001000020000300114m341200101200022022302014m440010001000020000300024m540000001000021002300004monus2101000100002m1axrestm2axresFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2100000100022False010S10210011True011bool2Nat13201031e141101001030220030300004e240101001020020020310014e341100001020020000300014e440100001020020000310004e542200021000020000320204e642000001000022000300104e741000001000020000302004e841022111202022202300004equal02110202103022gcd2301001110012help112300001l1630100111001211213001240020500006l10620100111001221003002040000500026l11600100111001201003000040000510006l12610000111001201003000040000500006l13610000111001200003000043200500006l14610100111001200003000040000500226l15610100011001200003000042200500006l16600000010000210013000040000500006l2630100111001210013001240010500026l3630100111001200003000140010500026l4630100111001232123000140010500006l5630100111001231013000040010500006l6602000010000220023000040112500026l7630100111001221003000040010500226l8600100111001221003200040000500126l9612200212001200003202041200500106m140102001000020000300014m240102001000020000300104m341000111110220002300004m440102001000020000300224m540000001000022001300004monus2010200100002l10xyrestmpmtmptl11xyrestmpmtmp<xyl7xyrestmpmtmptl8xyresequal0xymtmpt<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210002<2200001100002False020S10000011True012bool2Nat11201011e142000221030320000300004e240000001030320000310224e343000001030320000320004e440000001030020000310034e541200121101221012311004e642200001200020000300004e742020011100020000301104e841000001000022212300014equal02200022103032gcd2222021120212help113300001l1620102112021212013000040020500006l10620100112021211003002140000500016l11600100012021200003000140000510016l12612100012021200003000040000500006l13612000012021200003000043210500006l14610100012021200003000140000500006l15600100012021200003000143321500006l16600000010000210013000040000500006l2620102112021210013000040000500216l3620102112021200003000040000500016l4620102112021223003000040000500006l5620102112021223003000040000500016l6623200210010200003000040000500006l7620102112021212003000040000500026l8600100112021212003100040000500016l9610110210000200003000040000521006m140000001000020000300024m240000001000020000300214m342302001000122122300004m440000001000020000300124m540000001000022001300124monus2000000100002e3abreste4abres<ba<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2100000102002False010S12010001True011bool2Nat13310321e141101031020020022300104e240101031020020010310004e341100021000020000300004e440000021000020000311004e542200021000020000300004e641200001000020002312114e741100021000020110300014e842221111220022001302014equal02110103102002gcd2101001111012help111101001l1610100111101210023000240013500026l10610100011101202013000040000500006l11600100011101200013000040000510006l12610100011101200013000040000500006l13600000011101200003000041022500006l14610100011001200003000040000500116l15600000011001200003000041023500006l16600000010000210013000040001500006l2610100111101210013000040002500016l3610100111101200003000040000500226l4610100111101223013000040000500106l5610100111101212013000040000500026l6601000010001202013000040220502006l7610100111101202013000040000500026l8600100111101202013100040000500006l9600200110020200013000040000500006m140010001000020000300014m240010001000020000300214m343110121000020000301004m440010001000020000300004m541000001000021001300004monus2101000100002monusabm1abFalseFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210001<2200001100002False020S10100011True011bool2Nat10310031e142101201000320000300004e240001001000320000310204e342000001000320000300104e440000001000220000310014e541100001000122000300004e642200001000020010300004e743221201001020000300104e840100001220022102300004equal02210120100032gcd2311021110212help111202121l1630102111021211013000240000500006l10620100111021200003000040000500006l11600100011021200003000040000510006l12610100011021200003000040000500006l13610100011021200003000043332500006l14610100011021200003000040000500006l15610100011021200003000043332500006l16601100010000210013000040100500006l2630102111021210013000240000500016l3630102111021200003000140000500026l4630102111021200003000040000500026l5630102111021200003000040000500016l6602000010020220203220142020500006l7620102111021200003000040000500226l8600100111021200003100040000500026l9610200210000220223000040010500006m140000001000020022300024m240000001000020010300214m340100221000020000320004m440000001000020000300014m540000001000022102300004monus2000000100002l5xyrestmpmtmpFalsel7xyrestmpmtmpFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2110000100002False010S10000001True011bool2Nat10000001e142302011000020000300204e240300011000020000320004e341100011000020000301014e440100011000020000310004e541212121000021001310224e642120221101120000310004e741200001000020000301004e840100001000022102300004equal02230202100002gcd2322021121212help112100001l1632102112121222123002240030500016l10612102112121200223000040000500006l11600002112121200203000040000512006l12612000112121200003000040000500006l13612000012121200003000042200500006l14612001112021200003000040000500006l15612000112021200003000042200500006l16602000010000210013000040000500006l2622102112121210013002240020500006l3622102112121200003000040010500026l4622102112121200333000040010500006l5622102112121200323000040010500326l6601111012001201023000040111502016l7622102112121200323000040000500006l8602102112121200323100040000500006l9620122112000202003000040000500006m140000001000020000300014m240000001000020000300114m342100021000020101300004m440000001000020000300124m540000001000222002300014monus2000000100002l1xyrestmpmtmptl2xyrestmpmtmpFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210002<2210001100002False020S10200011True022bool2Nat10002001e142202021000020000300024e240002001000020000310024e342202001000020000300014e440202001000020000310004e543300001000022000300004e642000001000020002300004e742222021000020000301004e840000011000021102300004equal02220202100002gcd2322001120112help110000111l1630200112011223013000240013500006l10620200112011200003002040000500006l11600200112011200003000040000510006l12620000012011200003000040000500006l13610000012011200003000041300500006l14610000012011200003000040000500106l15610000012001200003000042211500006l16600000010000210013000040000500006l2630200112011212013000040003500106l3630200112011200003000040002500026l4630200112011203003000040001500006l5630200112011202003000040000500026l6622000112200221113000040200522106l7630200112011200003000040000500216l8610200112011200003100040000500206l9600220210000210103122241200500006m140000001000020000300004m240000001000020000300114m343200011000020100320124m440000001000020000300004m540000001000022001300004monus2000000100002l8xyresFalsemtmptl10xyresFalsemtmpt<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2210000100002False020S12000001True021bool2Nat11002211e142202011020120002300024e240202001020120000310004e342102001010120000300014e440100001000120000310004e542201001000220001302014e643000001202021010300004e743000001000220000320204e840010001000121002302004equal02220202102012gcd2301001120012help112100001l1620100112001222213002240012500006l10620100012001200003000040000500106l11600100012001200003000040000510006l12610100012001200003000040000500106l13610100012001200003000042000500006l14610000011001200003000040000500206l15610000011001200003000042021500006l16600000010000210013000040000500006l2600100112001220213002140001510016l3620100112001200003002140000500126l4620100112001202113002040000500006l5620100112001202013000040000500016l6600020010000211103101040002500006l7620100112001200003000040000500126l8600100112001200003100040000500116l9600100210000200003000041001500006m140000001000020011300104m240000001000020001300214m342322201000020000321004m440000001000020001300004m540000011000021002300004monus2000000100002gcdxyl1xy0FalseFalseFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2200000100012False020S12210011True022bool2Nat12001201e142101021010320011300104e240000021010120000310024e342100021010120000300014e440000001000020000310024e542200001000020120300004e643000001000022010320114e742000001000020100321014e840200201000021201300004equal02210102101032gcd2301002110022help112200011l1630100211002222213003240003500006l10620100111002200213000140001500006l11600100111002200103000040001510006l12620100111002200103000040001500006l13610000011002200103000043300500006l14610100111002200003000040000500006l15610000111002200003000042310500006l16602000010000210013000041000500006l2630100111002212213002140002500116l3620100111002211003002040001500026l4620100111002202333001040001500006l5620100111002200323000040001500006l6621000110021200203000042011521206l7620100111002200313000040001500006l8600100111002200313100040001500006l9600202210012220003000240001500006m140001001000020001300004m240001001000020001300104m342101001000020000300004m440001001000020000300224m540200001000021001300014monus2000100100002l2xyrestmpmtmpFalsel3xyrestmpmtmpFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2100000100012False010S10100011True001bool2Nat10122011e142303031000020000300004e241003021000020000310004e341001021000020000300004e440001001000020000310024e542110021010120001300004e641010021200120220300024e742122021000020000300004e840201001000022202300024equal02230303100002gcd2311002110022help111300001l1631100111002220023000140001500006l10610100111002210003000040000500006l11600000111002200003000040000510006l12600000111002200003000040000522006l13600000011002200003000043233501006l14610000111002200003000040000500006l15610000011002200003000042123500006l16600000010000210013000040000500006l2601100111002220013000140001530106l3630100111002200013000140000500006l4620100111002220333000040000500006l5600100111002220233000040000520006l6620010010000200013000040000522006l7620100111002220223000040000500126l8600100111002220023100040000500106l9620100210000200023001141000500006m140000001000020022300014m240000001000020002300124m343100121000022020300024m440000001000020000300004m540000001000022202300004monus2000000100002l3xyrestmpmtmptl4xy0tmpmtmpt<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2100000100022False010S10100111True011bool2Nat12123121e141001001000220202300224e240000001000020002310014e341100001000020000300004e440100001000020000310004e542201001000222002320204e641200001000221001320224e742201011000120200300024e841000001000022122310014equal02120202100022gcd2101211122112help111002101l1610121112211222223000140020500006l10610021112211200003000040000500006l11600021112211200003000040000510006l12610011112211200003000040000500006l13600000012211200003000041011500006l14610021011211200003000040000500006l15600020011211200003000041012500006l16600000010000210013000040000500006l2610121112211221223000140000500006l3610121112211220203000040000500026l4610121112211202033000040000500016l5610121112211200023000040000500006l6600100012000200003000040000520006l7610121112211200013000040000500206l8600121112211200003100040000500006l9612200210002220103000040002501206m141000101000020022300004m241000101000020022300014m343211001020022021300004m440000101000020000300104m540000001000021002300004monus2100010100002m2abresFalsem4abresFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210001<2200001100002False020S10000011True011bool2Nat13201101e142101131000120012300004e240101001000120010310134e342000001000120000302024e440000001000020000310014e541200021000020000300004e642200001000120002302014e742002011221220000300014e840000001210022202300004equal02210113100012gcd2321011120112help111100211l1631101112011222013000140023500006l10621000112011200003000040000500006l11601000012011200003000040000510006l12611000012011200003000040000500006l13610000012011200003000043300500006l14621000011011200003000040000500006l15621000011011200003000042200500006l16600000010000210013000040000500006l2611101112011222013000040023510036l3631101112011200003000040002500006l4631101112011202003000040002500006l5621101112011200003000040000500006l6612000010011200003000040202500006l7621101112011200003000040000500026l8601100112011200003100040000500006l9610201210221200103201240100500006m140300001000020000300104m240300001000020000300204m342100001000020000300004m440300001000020000300004m540000001000021001300004monus2030000100002l4x'xrestmpmtmptl5x'xrestmpmtmpFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210002<2200001100002False020S11000011True002bool2Nat12102221e142103121010220012300014e240103011010220000310114e342100011010120000300014e440000001000020000310014e542200021102120000300014e643200001120120000300004e742200001022020000311014e840101101001022002300004equal02310313102022gcd2321011110112help112112001l1630101111011221013000140001500026l10620100111011201003002040000500006l11600100011011201003000040000510006l12600100011011200003000040000500006l13600100011011200003000043333500006l14620100011011200003000040000500206l15610000011011200003000042333500006l16602000010000210013000040000500006l2610101111011220013000140001510126l3630101111011200013000140001500026l4630101111011232003000040001500006l5610101111011221003000040000510126l6612000010000210023100240100512026l7630101111011221003000040000500006l8600100111011201003100040000500006l9621210210002200003200040020500006m140000001000020022300004m240000001000020021300214m343101211120120000300004m440000001000020001300004m540000001000021002300004monus2000000100002equal0abe1abFalseFalse<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalse210000<2200000101012False020S10210101True022bool2Nat10022101e143300021020220001300004e240300001000020000310024e342300001000020000300024e440300001000020000310004e543210201000220000300104e643200001121020100300004e742010121000020000300004e840010111010021012302104equal02330002103022gcd2301201112022help113221011l1630120111202222313000240003500206l10620100111202220003000040000500106l11600100111202220003000040000510006l12610100111202210003000040000500006l13610100111202200003000041300500006l14610100011202200003000040000500036l15610100011202200003000041201500026l16602000010000210013000040000500006l2610100111202211213000040003510226l3630100111202201213000040003500126l4630100111202223023000040003500006l5630100111202222013000040002500006l6622000110000200003202040000500006l7630100111202222013000040001500126l8600100111202220013100040000500126l9600212210000200213000240001512006m140000001000020000300004m240000001000020000300114m342012001000022102311214m440000001000020000300024m540000001000022002300004monus2000000100002e1abreste2abres<ab<x0False<0SyTrue<SxSy<xybool2NatFalse0bool2NatTrueS0e1abreste2abres<abe2abresFalseFalsee2abresTruee3abresTruee3abreste4abres<bae4abresFalseFalsee4abresTrueTruee5abrestTruee6abrestFalsee7abrestFalsee8abrestresequal0abe1abFalseFalsegcdxyl1xy0FalseFalseFalsehelp10Falsehelp1S0Falsehelp1SSxTruel1xyrestmpmtmptl2xyrestmpmtmpFalsel10xyrestmpmtmptl11xyrestmpmtmp<xyl11xyrestmpmtmpFalsel14xyrestmpmtmpFalsel11xyrestmpmtmpTruel12xyrestmpmtmpTruel12xyrestmpmtmptl13xyrestmpmonusxytl13xyrestmpFalsetl16xygcd0ytmpFalsetl13xyrestmpTruetl16xygcdS0ytmpTruetl14xyrestmpmtmptl15xyrestmpmonusxytl15xyrestmpFalsetl16xygcdy0tmpFalsetl15xyrestmpTruetl16xygcdyS0tmpTruetl16xyrestmpmtmptresl2xyrestmpmtmpFalsel3xyrestmpmtmpFalsel2xyrestmpmtmpTrueresl3xyrestmpmtmptl4xy0tmpmtmptl4x'xrestmpmtmptl5x'xrestmpmtmpFalsel5xyrestmpmtmpFalsel7xyrestmpmtmpFalsel5xyrestmpmtmpTrue0l6xyrestmpmtmpt0l7xyrestmpmtmptl8xyresequal0xymtmptl8resyres'Truemtmptresl8xyresFalsemtmptl10xyresFalsemtmptl9resyres'tmpmtmptresm1axrestm2axresFalsem2abresFalsem4abresFalsem20bresTrueFalsem2S0bresTrueFalsem2SSxbresTrueTruem30brestFalsem3S0brestFalsem3SSxbrestTruem4Sx'Sxrestm5Sx'Sxmonusx'xtm5abrestresmonusabm1abFalseFalseTcT