1.68/1.77	c 4600 310 0 0 0 0 0 0
1.68/1.77	c 131072 ~x4619+65536 ~x4618+32768 ~x4617+16384 ~x4616+8192 ~x4615+4096 ~x4614+2048 ~x4613+1024 ~x4612+512 ~x4611+256 ~x4610+128 ~x4609+64 ~x4608+32 ~x4607+16 ~x4606+8 ~x4605+4 ~x4604+2 ~x4603+1 ~x4602+131072 ~x499+65536 ~x498+32768 ~x497+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=428030
1.89/1.94	c 131072 ~x11101+65536 ~x11100+32768 ~x11099+16384 ~x11098+8192 ~x11097+4096 ~x11096+2048 ~x11095+1024 ~x11094+512 ~x11093+256 ~x11092+128 ~x11091+64 ~x11090+32 ~x11089+16 ~x11088+8 ~x11087+4 ~x11086+2 ~x11085+1 ~x11084+131072 ~x518+65536 ~x517+32768 ~x516+16384 ~x515+8192 ~x514+4096 ~x513+2048 ~x512+1024 ~x511+512 ~x510+256 ~x509+128 ~x508+64 ~x507+32 ~x506+16 ~x505+8 ~x504+4 ~x503+2 ~x502+1 ~x501-0=428030
1.99/2.09	c 131072 ~x17583+65536 ~x17582+32768 ~x17581+16384 ~x17580+8192 ~x17579+4096 ~x17578+2048 ~x17577+1024 ~x17576+512 ~x17575+256 ~x17574+128 ~x17573+64 ~x17572+32 ~x17571+16 ~x17570+8 ~x17569+4 ~x17568+2 ~x17567+1 ~x17566+131072 ~x537+65536 ~x536+32768 ~x535+16384 ~x534+8192 ~x533+4096 ~x532+2048 ~x531+1024 ~x530+512 ~x529+256 ~x528+128 ~x527+64 ~x526+32 ~x525+16 ~x524+8 ~x523+4 ~x522+2 ~x521+1 ~x520-0=428030
2.19/2.25	c 65536 ~x24064+32768 ~x24063+16384 ~x24062+8192 ~x24061+4096 ~x24060+2048 ~x24059+1024 ~x24058+512 ~x24057+256 ~x24056+128 ~x24055+64 ~x24054+32 ~x24053+16 ~x24052+8 ~x24051+4 ~x24050+2 ~x24049+1 ~x24048+65536 ~x555+32768 ~x554+16384 ~x553+8192 ~x552+4096 ~x551+2048 ~x550+1024 ~x549+512 ~x548+256 ~x547+128 ~x546+64 ~x545+32 ~x544+16 ~x543+8 ~x542+4 ~x541+2 ~x540+1 ~x539-0=245758
2.28/2.36	c 65536 ~x29010+32768 ~x29009+16384 ~x29008+8192 ~x29007+4096 ~x29006+2048 ~x29005+1024 ~x29004+512 ~x29003+256 ~x29002+128 ~x29001+64 ~x29000+32 ~x28999+16 ~x28998+8 ~x28997+4 ~x28996+2 ~x28995+1 ~x28994+65536 ~x574+32768 ~x573+16384 ~x572+8192 ~x571+4096 ~x570+2048 ~x569+1024 ~x568+512 ~x567+256 ~x566+128 ~x565+64 ~x564+32 ~x563+16 ~x562+8 ~x561+4 ~x560+2 ~x559+1 ~x558-0=245758
2.38/2.48	c 65536 ~x33956+32768 ~x33955+16384 ~x33954+8192 ~x33953+4096 ~x33952+2048 ~x33951+1024 ~x33950+512 ~x33949+256 ~x33948+128 ~x33947+64 ~x33946+32 ~x33945+16 ~x33944+8 ~x33943+4 ~x33942+2 ~x33941+1 ~x33940+65536 ~x593+32768 ~x592+16384 ~x591+8192 ~x590+4096 ~x589+2048 ~x588+1024 ~x587+512 ~x586+256 ~x585+128 ~x584+64 ~x583+32 ~x582+16 ~x581+8 ~x580+4 ~x579+2 ~x578+1 ~x577-0=245758
2.58/2.60	c 65536 ~x38902+32768 ~x38901+16384 ~x38900+8192 ~x38899+4096 ~x38898+2048 ~x38897+1024 ~x38896+512 ~x38895+256 ~x38894+128 ~x38893+64 ~x38892+32 ~x38891+16 ~x38890+8 ~x38889+4 ~x38888+2 ~x38887+1 ~x38886+65536 ~x612+32768 ~x611+16384 ~x610+8192 ~x609+4096 ~x608+2048 ~x607+1024 ~x606+512 ~x605+256 ~x604+128 ~x603+64 ~x602+32 ~x601+16 ~x600+8 ~x599+4 ~x598+2 ~x597+1 ~x596-0=245758
2.68/2.71	c 65536 ~x43848+32768 ~x43847+16384 ~x43846+8192 ~x43845+4096 ~x43844+2048 ~x43843+1024 ~x43842+512 ~x43841+256 ~x43840+128 ~x43839+64 ~x43838+32 ~x43837+16 ~x43836+8 ~x43835+4 ~x43834+2 ~x43833+1 ~x43832+65536 ~x661+32768 ~x660+16384 ~x659+8192 ~x658+4096 ~x657+2048 ~x656+1024 ~x655+512 ~x654+256 ~x653+128 ~x652+64 ~x651+32 ~x650+16 ~x649+8 ~x648+4 ~x647+2 ~x646+1 ~x645-0=225278
2.78/2.83	c 8192 ~x48791+4096 ~x48790+2048 ~x48789+1024 ~x48788+512 ~x48787+256 ~x48786+128 ~x48785+64 ~x48784+32 ~x48783+16 ~x48782+8 ~x48781+4 ~x48780+2 ~x48779+1 ~x48778+8192 ~x677+4096 ~x676+2048 ~x675+1024 ~x674+512 ~x673+256 ~x672+128 ~x671+64 ~x670+32 ~x669+16 ~x668+8 ~x667+4 ~x666+2 ~x665+1 ~x664-0=32766
2.88/2.92	c 8192 ~x52349+4096 ~x52348+2048 ~x52347+1024 ~x52346+512 ~x52345+256 ~x52344+128 ~x52343+64 ~x52342+32 ~x52341+16 ~x52340+8 ~x52339+4 ~x52338+2 ~x52337+1 ~x52336+8192 ~x695+4096 ~x694+2048 ~x693+1024 ~x692+512 ~x691+256 ~x690+128 ~x689+64 ~x688+32 ~x687+16 ~x686+8 ~x685+4 ~x684+2 ~x683+1 ~x682-0=32766
2.98/3.01	c 8192 ~x55907+4096 ~x55906+2048 ~x55905+1024 ~x55904+512 ~x55903+256 ~x55902+128 ~x55901+64 ~x55900+32 ~x55899+16 ~x55898+8 ~x55897+4 ~x55896+2 ~x55895+1 ~x55894+8192 ~x713+4096 ~x712+2048 ~x711+1024 ~x710+512 ~x709+256 ~x708+128 ~x707+64 ~x706+32 ~x705+16 ~x704+8 ~x703+4 ~x702+2 ~x701+1 ~x700-0=32766
2.98/3.09	c 8192 ~x59465+4096 ~x59464+2048 ~x59463+1024 ~x59462+512 ~x59461+256 ~x59460+128 ~x59459+64 ~x59458+32 ~x59457+16 ~x59456+8 ~x59455+4 ~x59454+2 ~x59453+1 ~x59452+8192 ~x731+4096 ~x730+2048 ~x729+1024 ~x728+512 ~x727+256 ~x726+128 ~x725+64 ~x724+32 ~x723+16 ~x722+8 ~x721+4 ~x720+2 ~x719+1 ~x718-0=32766
3.09/3.18	c 8192 ~x63023+4096 ~x63022+2048 ~x63021+1024 ~x63020+512 ~x63019+256 ~x63018+128 ~x63017+64 ~x63016+32 ~x63015+16 ~x63014+8 ~x63013+4 ~x63012+2 ~x63011+1 ~x63010+8192 ~x749+4096 ~x748+2048 ~x747+1024 ~x746+512 ~x745+256 ~x744+128 ~x743+64 ~x742+32 ~x741+16 ~x740+8 ~x739+4 ~x738+2 ~x737+1 ~x736-0=32766
3.19/3.27	c 8192 ~x66581+4096 ~x66580+2048 ~x66579+1024 ~x66578+512 ~x66577+256 ~x66576+128 ~x66575+64 ~x66574+32 ~x66573+16 ~x66572+8 ~x66571+4 ~x66570+2 ~x66569+1 ~x66568+8192 ~x767+4096 ~x766+2048 ~x765+1024 ~x764+512 ~x763+256 ~x762+128 ~x761+64 ~x760+32 ~x759+16 ~x758+8 ~x757+4 ~x756+2 ~x755+1 ~x754-0=32766
3.29/3.35	c 8192 ~x70139+4096 ~x70138+2048 ~x70137+1024 ~x70136+512 ~x70135+256 ~x70134+128 ~x70133+64 ~x70132+32 ~x70131+16 ~x70130+8 ~x70129+4 ~x70128+2 ~x70127+1 ~x70126+8192 ~x785+4096 ~x784+2048 ~x783+1024 ~x782+512 ~x781+256 ~x780+128 ~x779+64 ~x778+32 ~x777+16 ~x776+8 ~x775+4 ~x774+2 ~x773+1 ~x772-0=32766
3.38/3.44	c 8192 ~x73697+4096 ~x73696+2048 ~x73695+1024 ~x73694+512 ~x73693+256 ~x73692+128 ~x73691+64 ~x73690+32 ~x73689+16 ~x73688+8 ~x73687+4 ~x73686+2 ~x73685+1 ~x73684+8192 ~x803+4096 ~x802+2048 ~x801+1024 ~x800+512 ~x799+256 ~x798+128 ~x797+64 ~x796+32 ~x795+16 ~x794+8 ~x793+4 ~x792+2 ~x791+1 ~x790-0=32766
3.48/3.53	c 131072 ~x77259+65536 ~x77258+32768 ~x77257+16384 ~x77256+8192 ~x77255+4096 ~x77254+2048 ~x77253+1024 ~x77252+512 ~x77251+256 ~x77250+128 ~x77249+64 ~x77248+32 ~x77247+16 ~x77246+8 ~x77245+4 ~x77244+2 ~x77243+1 ~x77242+131072 ~x825+65536 ~x824+32768 ~x823+16384 ~x822+8192 ~x821+4096 ~x820+2048 ~x819+1024 ~x818+512 ~x817+256 ~x816+128 ~x815+64 ~x814+32 ~x813+16 ~x812+8 ~x811+4 ~x810+2 ~x809+1 ~x808-0=428030
3.68/3.72	c 131072 ~x83741+65536 ~x83740+32768 ~x83739+16384 ~x83738+8192 ~x83737+4096 ~x83736+2048 ~x83735+1024 ~x83734+512 ~x83733+256 ~x83732+128 ~x83731+64 ~x83730+32 ~x83729+16 ~x83728+8 ~x83727+4 ~x83726+2 ~x83725+1 ~x83724+131072 ~x874+65536 ~x873+32768 ~x872+16384 ~x871+8192 ~x870+4096 ~x869+2048 ~x868+1024 ~x867+512 ~x866+256 ~x865+128 ~x864+64 ~x863+32 ~x862+16 ~x861+8 ~x860+4 ~x859+2 ~x858+1 ~x857-0=428030
3.78/3.88	c 131072 ~x90223+65536 ~x90222+32768 ~x90221+16384 ~x90220+8192 ~x90219+4096 ~x90218+2048 ~x90217+1024 ~x90216+512 ~x90215+256 ~x90214+128 ~x90213+64 ~x90212+32 ~x90211+16 ~x90210+8 ~x90209+4 ~x90208+2 ~x90207+1 ~x90206+131072 ~x893+65536 ~x892+32768 ~x891+16384 ~x890+8192 ~x889+4096 ~x888+2048 ~x887+1024 ~x886+512 ~x885+256 ~x884+128 ~x883+64 ~x882+32 ~x881+16 ~x880+8 ~x879+4 ~x878+2 ~x877+1 ~x876-0=428030
3.99/4.04	c 65536 ~x96704+32768 ~x96703+16384 ~x96702+8192 ~x96701+4096 ~x96700+2048 ~x96699+1024 ~x96698+512 ~x96697+256 ~x96696+128 ~x96695+64 ~x96694+32 ~x96693+16 ~x96692+8 ~x96691+4 ~x96690+2 ~x96689+1 ~x96688+65536 ~x911+32768 ~x910+16384 ~x909+8192 ~x908+4096 ~x907+2048 ~x906+1024 ~x905+512 ~x904+256 ~x903+128 ~x902+64 ~x901+32 ~x900+16 ~x899+8 ~x898+4 ~x897+2 ~x896+1 ~x895-0=245758
4.08/4.15	c 65536 ~x101650+32768 ~x101649+16384 ~x101648+8192 ~x101647+4096 ~x101646+2048 ~x101645+1024 ~x101644+512 ~x101643+256 ~x101642+128 ~x101641+64 ~x101640+32 ~x101639+16 ~x101638+8 ~x101637+4 ~x101636+2 ~x101635+1 ~x101634+65536 ~x930+32768 ~x929+16384 ~x928+8192 ~x927+4096 ~x926+2048 ~x925+1024 ~x924+512 ~x923+256 ~x922+128 ~x921+64 ~x920+32 ~x919+16 ~x918+8 ~x917+4 ~x916+2 ~x915+1 ~x914-0=245758
4.18/4.27	c 65536 ~x106596+32768 ~x106595+16384 ~x106594+8192 ~x106593+4096 ~x106592+2048 ~x106591+1024 ~x106590+512 ~x106589+256 ~x106588+128 ~x106587+64 ~x106586+32 ~x106585+16 ~x106584+8 ~x106583+4 ~x106582+2 ~x106581+1 ~x106580+65536 ~x949+32768 ~x948+16384 ~x947+8192 ~x946+4096 ~x945+2048 ~x944+1024 ~x943+512 ~x942+256 ~x941+128 ~x940+64 ~x939+32 ~x938+16 ~x937+8 ~x936+4 ~x935+2 ~x934+1 ~x933-0=245758
4.29/4.39	c 65536 ~x111542+32768 ~x111541+16384 ~x111540+8192 ~x111539+4096 ~x111538+2048 ~x111537+1024 ~x111536+512 ~x111535+256 ~x111534+128 ~x111533+64 ~x111532+32 ~x111531+16 ~x111530+8 ~x111529+4 ~x111528+2 ~x111527+1 ~x111526+65536 ~x968+32768 ~x967+16384 ~x966+8192 ~x965+4096 ~x964+2048 ~x963+1024 ~x962+512 ~x961+256 ~x960+128 ~x959+64 ~x958+32 ~x957+16 ~x956+8 ~x955+4 ~x954+2 ~x953+1 ~x952-0=245758
4.48/4.51	c 8192 ~x116485+4096 ~x116484+2048 ~x116483+1024 ~x116482+512 ~x116481+256 ~x116480+128 ~x116479+64 ~x116478+32 ~x116477+16 ~x116476+8 ~x116475+4 ~x116474+2 ~x116473+1 ~x116472+8192 ~x984+4096 ~x983+2048 ~x982+1024 ~x981+512 ~x980+256 ~x979+128 ~x978+64 ~x977+32 ~x976+16 ~x975+8 ~x974+4 ~x973+2 ~x972+1 ~x971-0=28670
4.48/4.59	c 131072 ~x120047+65536 ~x120046+32768 ~x120045+16384 ~x120044+8192 ~x120043+4096 ~x120042+2048 ~x120041+1024 ~x120040+512 ~x120039+256 ~x120038+128 ~x120037+64 ~x120036+32 ~x120035+16 ~x120034+8 ~x120033+4 ~x120032+2 ~x120031+1 ~x120030+131072 ~x1007+65536 ~x1006+32768 ~x1005+16384 ~x1004+8192 ~x1003+4096 ~x1002+2048 ~x1001+1024 ~x1000+512 ~x999+256 ~x998+128 ~x997+64 ~x996+32 ~x995+16 ~x994+8 ~x993+4 ~x992+2 ~x991+1 ~x990-0=428030
4.68/4.75	c 131072 ~x126529+65536 ~x126528+32768 ~x126527+16384 ~x126526+8192 ~x126525+4096 ~x126524+2048 ~x126523+1024 ~x126522+512 ~x126521+256 ~x126520+128 ~x126519+64 ~x126518+32 ~x126517+16 ~x126516+8 ~x126515+4 ~x126514+2 ~x126513+1 ~x126512+131072 ~x1026+65536 ~x1025+32768 ~x1024+16384 ~x1023+8192 ~x1022+4096 ~x1021+2048 ~x1020+1024 ~x1019+512 ~x1018+256 ~x1017+128 ~x1016+64 ~x1015+32 ~x1014+16 ~x1013+8 ~x1012+4 ~x1011+2 ~x1010+1 ~x1009-0=428030
4.88/4.90	c 131072 ~x133011+65536 ~x133010+32768 ~x133009+16384 ~x133008+8192 ~x133007+4096 ~x133006+2048 ~x133005+1024 ~x133004+512 ~x133003+256 ~x133002+128 ~x133001+64 ~x133000+32 ~x132999+16 ~x132998+8 ~x132997+4 ~x132996+2 ~x132995+1 ~x132994+131072 ~x1045+65536 ~x1044+32768 ~x1043+16384 ~x1042+8192 ~x1041+4096 ~x1040+2048 ~x1039+1024 ~x1038+512 ~x1037+256 ~x1036+128 ~x1035+64 ~x1034+32 ~x1033+16 ~x1032+8 ~x1031+4 ~x1030+2 ~x1029+1 ~x1028-0=428030
4.98/5.06	c 65536 ~x139492+32768 ~x139491+16384 ~x139490+8192 ~x139489+4096 ~x139488+2048 ~x139487+1024 ~x139486+512 ~x139485+256 ~x139484+128 ~x139483+64 ~x139482+32 ~x139481+16 ~x139480+8 ~x139479+4 ~x139478+2 ~x139477+1 ~x139476+65536 ~x1093+32768 ~x1092+16384 ~x1091+8192 ~x1090+4096 ~x1089+2048 ~x1088+1024 ~x1087+512 ~x1086+256 ~x1085+128 ~x1084+64 ~x1083+32 ~x1082+16 ~x1081+8 ~x1080+4 ~x1079+2 ~x1078+1 ~x1077-0=245758
5.08/5.18	c 65536 ~x144438+32768 ~x144437+16384 ~x144436+8192 ~x144435+4096 ~x144434+2048 ~x144433+1024 ~x144432+512 ~x144431+256 ~x144430+128 ~x144429+64 ~x144428+32 ~x144427+16 ~x144426+8 ~x144425+4 ~x144424+2 ~x144423+1 ~x144422+65536 ~x1112+32768 ~x1111+16384 ~x1110+8192 ~x1109+4096 ~x1108+2048 ~x1107+1024 ~x1106+512 ~x1105+256 ~x1104+128 ~x1103+64 ~x1102+32 ~x1101+16 ~x1100+8 ~x1099+4 ~x1098+2 ~x1097+1 ~x1096-0=245758
5.18/5.29	c 65536 ~x149384+32768 ~x149383+16384 ~x149382+8192 ~x149381+4096 ~x149380+2048 ~x149379+1024 ~x149378+512 ~x149377+256 ~x149376+128 ~x149375+64 ~x149374+32 ~x149373+16 ~x149372+8 ~x149371+4 ~x149370+2 ~x149369+1 ~x149368+65536 ~x1131+32768 ~x1130+16384 ~x1129+8192 ~x1128+4096 ~x1127+2048 ~x1126+1024 ~x1125+512 ~x1124+256 ~x1123+128 ~x1122+64 ~x1121+32 ~x1120+16 ~x1119+8 ~x1118+4 ~x1117+2 ~x1116+1 ~x1115-0=245758
5.39/5.41	c 65536 ~x154330+32768 ~x154329+16384 ~x154328+8192 ~x154327+4096 ~x154326+2048 ~x154325+1024 ~x154324+512 ~x154323+256 ~x154322+128 ~x154321+64 ~x154320+32 ~x154319+16 ~x154318+8 ~x154317+4 ~x154316+2 ~x154315+1 ~x154314+65536 ~x1150+32768 ~x1149+16384 ~x1148+8192 ~x1147+4096 ~x1146+2048 ~x1145+1024 ~x1144+512 ~x1143+256 ~x1142+128 ~x1141+64 ~x1140+32 ~x1139+16 ~x1138+8 ~x1137+4 ~x1136+2 ~x1135+1 ~x1134-0=245758
5.49/5.53	c 8192 ~x159273+4096 ~x159272+2048 ~x159271+1024 ~x159270+512 ~x159269+256 ~x159268+128 ~x159267+64 ~x159266+32 ~x159265+16 ~x159264+8 ~x159263+4 ~x159262+2 ~x159261+1 ~x159260+8192 ~x1166+4096 ~x1165+2048 ~x1164+1024 ~x1163+512 ~x1162+256 ~x1161+128 ~x1160+64 ~x1159+32 ~x1158+16 ~x1157+8 ~x1156+4 ~x1155+2 ~x1154+1 ~x1153-0=28670
5.58/5.62	c 65536 ~x162834+32768 ~x162833+16384 ~x162832+8192 ~x162831+4096 ~x162830+2048 ~x162829+1024 ~x162828+512 ~x162827+256 ~x162826+128 ~x162825+64 ~x162824+32 ~x162823+16 ~x162822+8 ~x162821+4 ~x162820+2 ~x162819+1 ~x162818+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=229374
5.68/5.73	c 65536 ~x167780+32768 ~x167779+16384 ~x167778+8192 ~x167777+4096 ~x167776+2048 ~x167775+1024 ~x167774+512 ~x167773+256 ~x167772+128 ~x167771+64 ~x167770+32 ~x167769+16 ~x167768+8 ~x167767+4 ~x167766+2 ~x167765+1 ~x167764+65536 ~x1206+32768 ~x1205+16384 ~x1204+8192 ~x1203+4096 ~x1202+2048 ~x1201+1024 ~x1200+512 ~x1199+256 ~x1198+128 ~x1197+64 ~x1196+32 ~x1195+16 ~x1194+8 ~x1193+4 ~x1192+2 ~x1191+1 ~x1190-0=229374
5.79/5.85	c 65536 ~x172726+32768 ~x172725+16384 ~x172724+8192 ~x172723+4096 ~x172722+2048 ~x172721+1024 ~x172720+512 ~x172719+256 ~x172718+128 ~x172717+64 ~x172716+32 ~x172715+16 ~x172714+8 ~x172713+4 ~x172712+2 ~x172711+1 ~x172710+65536 ~x1224+32768 ~x1223+16384 ~x1222+8192 ~x1221+4096 ~x1220+2048 ~x1219+1024 ~x1218+512 ~x1217+256 ~x1216+128 ~x1215+64 ~x1214+32 ~x1213+16 ~x1212+8 ~x1211+4 ~x1210+2 ~x1209+1 ~x1208-0=229374
5.88/5.97	c 65536 ~x177672+32768 ~x177671+16384 ~x177670+8192 ~x177669+4096 ~x177668+2048 ~x177667+1024 ~x177666+512 ~x177665+256 ~x177664+128 ~x177663+64 ~x177662+32 ~x177661+16 ~x177660+8 ~x177659+4 ~x177658+2 ~x177657+1 ~x177656+65536 ~x1242+32768 ~x1241+16384 ~x1240+8192 ~x1239+4096 ~x1238+2048 ~x1237+1024 ~x1236+512 ~x1235+256 ~x1234+128 ~x1233+64 ~x1232+32 ~x1231+16 ~x1230+8 ~x1229+4 ~x1228+2 ~x1227+1 ~x1226-0=229374
5.98/6.09	c 65536 ~x182618+32768 ~x182617+16384 ~x182616+8192 ~x182615+4096 ~x182614+2048 ~x182613+1024 ~x182612+512 ~x182611+256 ~x182610+128 ~x182609+64 ~x182608+32 ~x182607+16 ~x182606+8 ~x182605+4 ~x182604+2 ~x182603+1 ~x182602+65536 ~x1260+32768 ~x1259+16384 ~x1258+8192 ~x1257+4096 ~x1256+2048 ~x1255+1024 ~x1254+512 ~x1253+256 ~x1252+128 ~x1251+64 ~x1250+32 ~x1249+16 ~x1248+8 ~x1247+4 ~x1246+2 ~x1245+1 ~x1244-0=229374
6.18/6.21	c 65536 ~x187564+32768 ~x187563+16384 ~x187562+8192 ~x187561+4096 ~x187560+2048 ~x187559+1024 ~x187558+512 ~x187557+256 ~x187556+128 ~x187555+64 ~x187554+32 ~x187553+16 ~x187552+8 ~x187551+4 ~x187550+2 ~x187549+1 ~x187548+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=229374
6.28/6.32	c 65536 ~x192510+32768 ~x192509+16384 ~x192508+8192 ~x192507+4096 ~x192506+2048 ~x192505+1024 ~x192504+512 ~x192503+256 ~x192502+128 ~x192501+64 ~x192500+32 ~x192499+16 ~x192498+8 ~x192497+4 ~x192496+2 ~x192495+1 ~x192494+65536 ~x1326+32768 ~x1325+16384 ~x1324+8192 ~x1323+4096 ~x1322+2048 ~x1321+1024 ~x1320+512 ~x1319+256 ~x1318+128 ~x1317+64 ~x1316+32 ~x1315+16 ~x1314+8 ~x1313+4 ~x1312+2 ~x1311+1 ~x1310-0=229374
6.39/6.44	c 65536 ~x197456+32768 ~x197455+16384 ~x197454+8192 ~x197453+4096 ~x197452+2048 ~x197451+1024 ~x197450+512 ~x197449+256 ~x197448+128 ~x197447+64 ~x197446+32 ~x197445+16 ~x197444+8 ~x197443+4 ~x197442+2 ~x197441+1 ~x197440+65536 ~x1344+32768 ~x1343+16384 ~x1342+8192 ~x1341+4096 ~x1340+2048 ~x1339+1024 ~x1338+512 ~x1337+256 ~x1336+128 ~x1335+64 ~x1334+32 ~x1333+16 ~x1332+8 ~x1331+4 ~x1330+2 ~x1329+1 ~x1328-0=229374
6.49/6.56	c 131072 ~x202403+65536 ~x202402+32768 ~x202401+16384 ~x202400+8192 ~x202399+4096 ~x202398+2048 ~x202397+1024 ~x202396+512 ~x202395+256 ~x202394+128 ~x202393+64 ~x202392+32 ~x202391+16 ~x202390+8 ~x202389+4 ~x202388+2 ~x202387+1 ~x202386+131072 ~x1363+65536 ~x1362+32768 ~x1361+16384 ~x1360+8192 ~x1359+4096 ~x1358+2048 ~x1357+1024 ~x1356+512 ~x1355+256 ~x1354+128 ~x1353+64 ~x1352+32 ~x1351+16 ~x1350+8 ~x1349+4 ~x1348+2 ~x1347+1 ~x1346-0=428030
6.68/6.72	c 131072 ~x208885+65536 ~x208884+32768 ~x208883+16384 ~x208882+8192 ~x208881+4096 ~x208880+2048 ~x208879+1024 ~x208878+512 ~x208877+256 ~x208876+128 ~x208875+64 ~x208874+32 ~x208873+16 ~x208872+8 ~x208871+4 ~x208870+2 ~x208869+1 ~x208868+131072 ~x1382+65536 ~x1381+32768 ~x1380+16384 ~x1379+8192 ~x1378+4096 ~x1377+2048 ~x1376+1024 ~x1375+512 ~x1374+256 ~x1373+128 ~x1372+64 ~x1371+32 ~x1370+16 ~x1369+8 ~x1368+4 ~x1367+2 ~x1366+1 ~x1365-0=428030
6.79/6.87	c 131072 ~x215367+65536 ~x215366+32768 ~x215365+16384 ~x215364+8192 ~x215363+4096 ~x215362+2048 ~x215361+1024 ~x215360+512 ~x215359+256 ~x215358+128 ~x215357+64 ~x215356+32 ~x215355+16 ~x215354+8 ~x215353+4 ~x215352+2 ~x215351+1 ~x215350+131072 ~x1401+65536 ~x1400+32768 ~x1399+16384 ~x1398+8192 ~x1397+4096 ~x1396+2048 ~x1395+1024 ~x1394+512 ~x1393+256 ~x1392+128 ~x1391+64 ~x1390+32 ~x1389+16 ~x1388+8 ~x1387+4 ~x1386+2 ~x1385+1 ~x1384-0=428030
6.98/7.03	c 65536 ~x221848+32768 ~x221847+16384 ~x221846+8192 ~x221845+4096 ~x221844+2048 ~x221843+1024 ~x221842+512 ~x221841+256 ~x221840+128 ~x221839+64 ~x221838+32 ~x221837+16 ~x221836+8 ~x221835+4 ~x221834+2 ~x221833+1 ~x221832+65536 ~x1419+32768 ~x1418+16384 ~x1417+8192 ~x1416+4096 ~x1415+2048 ~x1414+1024 ~x1413+512 ~x1412+256 ~x1411+128 ~x1410+64 ~x1409+32 ~x1408+16 ~x1407+8 ~x1406+4 ~x1405+2 ~x1404+1 ~x1403-0=245758
7.08/7.15	c 65536 ~x226794+32768 ~x226793+16384 ~x226792+8192 ~x226791+4096 ~x226790+2048 ~x226789+1024 ~x226788+512 ~x226787+256 ~x226786+128 ~x226785+64 ~x226784+32 ~x226783+16 ~x226782+8 ~x226781+4 ~x226780+2 ~x226779+1 ~x226778+65536 ~x1438+32768 ~x1437+16384 ~x1436+8192 ~x1435+4096 ~x1434+2048 ~x1433+1024 ~x1432+512 ~x1431+256 ~x1430+128 ~x1429+64 ~x1428+32 ~x1427+16 ~x1426+8 ~x1425+4 ~x1424+2 ~x1423+1 ~x1422-0=245758
7.18/7.26	c 65536 ~x231740+32768 ~x231739+16384 ~x231738+8192 ~x231737+4096 ~x231736+2048 ~x231735+1024 ~x231734+512 ~x231733+256 ~x231732+128 ~x231731+64 ~x231730+32 ~x231729+16 ~x231728+8 ~x231727+4 ~x231726+2 ~x231725+1 ~x231724+65536 ~x1457+32768 ~x1456+16384 ~x1455+8192 ~x1454+4096 ~x1453+2048 ~x1452+1024 ~x1451+512 ~x1450+256 ~x1449+128 ~x1448+64 ~x1447+32 ~x1446+16 ~x1445+8 ~x1444+4 ~x1443+2 ~x1442+1 ~x1441-0=245758
7.28/7.38	c 65536 ~x236686+32768 ~x236685+16384 ~x236684+8192 ~x236683+4096 ~x236682+2048 ~x236681+1024 ~x236680+512 ~x236679+256 ~x236678+128 ~x236677+64 ~x236676+32 ~x236675+16 ~x236674+8 ~x236673+4 ~x236672+2 ~x236671+1 ~x236670+65536 ~x1476+32768 ~x1475+16384 ~x1474+8192 ~x1473+4096 ~x1472+2048 ~x1471+1024 ~x1470+512 ~x1469+256 ~x1468+128 ~x1467+64 ~x1466+32 ~x1465+16 ~x1464+8 ~x1463+4 ~x1462+2 ~x1461+1 ~x1460-0=245758
7.48/7.50	c 65536 ~x241632+32768 ~x241631+16384 ~x241630+8192 ~x241629+4096 ~x241628+2048 ~x241627+1024 ~x241626+512 ~x241625+256 ~x241624+128 ~x241623+64 ~x241622+32 ~x241621+16 ~x241620+8 ~x241619+4 ~x241618+2 ~x241617+1 ~x241616+65536 ~x1525+32768 ~x1524+16384 ~x1523+8192 ~x1522+4096 ~x1521+2048 ~x1520+1024 ~x1519+512 ~x1518+256 ~x1517+128 ~x1516+64 ~x1515+32 ~x1514+16 ~x1513+8 ~x1512+4 ~x1511+2 ~x1510+1 ~x1509-0=245758
7.59/7.62	c 8192 ~x246575+4096 ~x246574+2048 ~x246573+1024 ~x246572+512 ~x246571+256 ~x246570+128 ~x246569+64 ~x246568+32 ~x246567+16 ~x246566+8 ~x246565+4 ~x246564+2 ~x246563+1 ~x246562+8192 ~x1541+4096 ~x1540+2048 ~x1539+1024 ~x1538+512 ~x1537+256 ~x1536+128 ~x1535+64 ~x1534+32 ~x1533+16 ~x1532+8 ~x1531+4 ~x1530+2 ~x1529+1 ~x1528-0=32766
7.59/7.70	c 8192 ~x250133+4096 ~x250132+2048 ~x250131+1024 ~x250130+512 ~x250129+256 ~x250128+128 ~x250127+64 ~x250126+32 ~x250125+16 ~x250124+8 ~x250123+4 ~x250122+2 ~x250121+1 ~x250120+8192 ~x1559+4096 ~x1558+2048 ~x1557+1024 ~x1556+512 ~x1555+256 ~x1554+128 ~x1553+64 ~x1552+32 ~x1551+16 ~x1550+8 ~x1549+4 ~x1548+2 ~x1547+1 ~x1546-0=32766
7.68/7.79	c 8192 ~x253691+4096 ~x253690+2048 ~x253689+1024 ~x253688+512 ~x253687+256 ~x253686+128 ~x253685+64 ~x253684+32 ~x253683+16 ~x253682+8 ~x253681+4 ~x253680+2 ~x253679+1 ~x253678+8192 ~x1577+4096 ~x1576+2048 ~x1575+1024 ~x1574+512 ~x1573+256 ~x1572+128 ~x1571+64 ~x1570+32 ~x1569+16 ~x1568+8 ~x1567+4 ~x1566+2 ~x1565+1 ~x1564-0=32766
7.79/7.88	c 8192 ~x257249+4096 ~x257248+2048 ~x257247+1024 ~x257246+512 ~x257245+256 ~x257244+128 ~x257243+64 ~x257242+32 ~x257241+16 ~x257240+8 ~x257239+4 ~x257238+2 ~x257237+1 ~x257236+8192 ~x1595+4096 ~x1594+2048 ~x1593+1024 ~x1592+512 ~x1591+256 ~x1590+128 ~x1589+64 ~x1588+32 ~x1587+16 ~x1586+8 ~x1585+4 ~x1584+2 ~x1583+1 ~x1582-0=32766
7.88/7.97	c 8192 ~x260807+4096 ~x260806+2048 ~x260805+1024 ~x260804+512 ~x260803+256 ~x260802+128 ~x260801+64 ~x260800+32 ~x260799+16 ~x260798+8 ~x260797+4 ~x260796+2 ~x260795+1 ~x260794+8192 ~x1613+4096 ~x1612+2048 ~x1611+1024 ~x1610+512 ~x1609+256 ~x1608+128 ~x1607+64 ~x1606+32 ~x1605+16 ~x1604+8 ~x1603+4 ~x1602+2 ~x1601+1 ~x1600-0=32766
7.98/8.05	c 8192 ~x264365+4096 ~x264364+2048 ~x264363+1024 ~x264362+512 ~x264361+256 ~x264360+128 ~x264359+64 ~x264358+32 ~x264357+16 ~x264356+8 ~x264355+4 ~x264354+2 ~x264353+1 ~x264352+8192 ~x1631+4096 ~x1630+2048 ~x1629+1024 ~x1628+512 ~x1627+256 ~x1626+128 ~x1625+64 ~x1624+32 ~x1623+16 ~x1622+8 ~x1621+4 ~x1620+2 ~x1619+1 ~x1618-0=32766
8.08/8.15	c 8192 ~x267923+4096 ~x267922+2048 ~x267921+1024 ~x267920+512 ~x267919+256 ~x267918+128 ~x267917+64 ~x267916+32 ~x267915+16 ~x267914+8 ~x267913+4 ~x267912+2 ~x267911+1 ~x267910+8192 ~x1649+4096 ~x1648+2048 ~x1647+1024 ~x1646+512 ~x1645+256 ~x1644+128 ~x1643+64 ~x1642+32 ~x1641+16 ~x1640+8 ~x1639+4 ~x1638+2 ~x1637+1 ~x1636-0=32766
8.19/8.23	c 8192 ~x271481+4096 ~x271480+2048 ~x271479+1024 ~x271478+512 ~x271477+256 ~x271476+128 ~x271475+64 ~x271474+32 ~x271473+16 ~x271472+8 ~x271471+4 ~x271470+2 ~x271469+1 ~x271468+8192 ~x1667+4096 ~x1666+2048 ~x1665+1024 ~x1664+512 ~x1663+256 ~x1662+128 ~x1661+64 ~x1660+32 ~x1659+16 ~x1658+8 ~x1657+4 ~x1656+2 ~x1655+1 ~x1654-0=32766
8.28/8.32	c 16384 ~x275040+8192 ~x275039+4096 ~x275038+2048 ~x275037+1024 ~x275036+512 ~x275035+256 ~x275034+128 ~x275033+64 ~x275032+32 ~x275031+16 ~x275030+8 ~x275029+4 ~x275028+2 ~x275027+1 ~x275026+16384 ~x1686+8192 ~x1685+4096 ~x1684+2048 ~x1683+1024 ~x1682+512 ~x1681+256 ~x1680+128 ~x1679+64 ~x1678+32 ~x1677+16 ~x1676+8 ~x1675+4 ~x1674+2 ~x1673+1 ~x1672-0=61438
8.38/8.42	c 16384 ~x278917+8192 ~x278916+4096 ~x278915+2048 ~x278914+1024 ~x278913+512 ~x278912+256 ~x278911+128 ~x278910+64 ~x278909+32 ~x278908+16 ~x278907+8 ~x278906+4 ~x278905+2 ~x278904+1 ~x278903+16384 ~x1733+8192 ~x1732+4096 ~x1731+2048 ~x1730+1024 ~x1729+512 ~x1728+256 ~x1727+128 ~x1726+64 ~x1725+32 ~x1724+16 ~x1723+8 ~x1722+4 ~x1721+2 ~x1720+1 ~x1719-0=61438
8.48/8.51	c 16384 ~x282794+8192 ~x282793+4096 ~x282792+2048 ~x282791+1024 ~x282790+512 ~x282789+256 ~x282788+128 ~x282787+64 ~x282786+32 ~x282785+16 ~x282784+8 ~x282783+4 ~x282782+2 ~x282781+1 ~x282780+16384 ~x1750+8192 ~x1749+4096 ~x1748+2048 ~x1747+1024 ~x1746+512 ~x1745+256 ~x1744+128 ~x1743+64 ~x1742+32 ~x1741+16 ~x1740+8 ~x1739+4 ~x1738+2 ~x1737+1 ~x1736-0=61438
8.58/8.61	c 16384 ~x286671+8192 ~x286670+4096 ~x286669+2048 ~x286668+1024 ~x286667+512 ~x286666+256 ~x286665+128 ~x286664+64 ~x286663+32 ~x286662+16 ~x286661+8 ~x286660+4 ~x286659+2 ~x286658+1 ~x286657+16384 ~x1767+8192 ~x1766+4096 ~x1765+2048 ~x1764+1024 ~x1763+512 ~x1762+256 ~x1761+128 ~x1760+64 ~x1759+32 ~x1758+16 ~x1757+8 ~x1756+4 ~x1755+2 ~x1754+1 ~x1753-0=61438
8.68/8.70	c 16384 ~x290548+8192 ~x290547+4096 ~x290546+2048 ~x290545+1024 ~x290544+512 ~x290543+256 ~x290542+128 ~x290541+64 ~x290540+32 ~x290539+16 ~x290538+8 ~x290537+4 ~x290536+2 ~x290535+1 ~x290534+16384 ~x1784+8192 ~x1783+4096 ~x1782+2048 ~x1781+1024 ~x1780+512 ~x1779+256 ~x1778+128 ~x1777+64 ~x1776+32 ~x1775+16 ~x1774+8 ~x1773+4 ~x1772+2 ~x1771+1 ~x1770-0=61438
8.68/8.80	c 16384 ~x294425+8192 ~x294424+4096 ~x294423+2048 ~x294422+1024 ~x294421+512 ~x294420+256 ~x294419+128 ~x294418+64 ~x294417+32 ~x294416+16 ~x294415+8 ~x294414+4 ~x294413+2 ~x294412+1 ~x294411+16384 ~x1801+8192 ~x1800+4096 ~x1799+2048 ~x1798+1024 ~x1797+512 ~x1796+256 ~x1795+128 ~x1794+64 ~x1793+32 ~x1792+16 ~x1791+8 ~x1790+4 ~x1789+2 ~x1788+1 ~x1787-0=61438
8.79/8.89	c 16384 ~x298302+8192 ~x298301+4096 ~x298300+2048 ~x298299+1024 ~x298298+512 ~x298297+256 ~x298296+128 ~x298295+64 ~x298294+32 ~x298293+16 ~x298292+8 ~x298291+4 ~x298290+2 ~x298289+1 ~x298288+16384 ~x1818+8192 ~x1817+4096 ~x1816+2048 ~x1815+1024 ~x1814+512 ~x1813+256 ~x1812+128 ~x1811+64 ~x1810+32 ~x1809+16 ~x1808+8 ~x1807+4 ~x1806+2 ~x1805+1 ~x1804-0=61438
8.88/8.99	c 16384 ~x302179+8192 ~x302178+4096 ~x302177+2048 ~x302176+1024 ~x302175+512 ~x302174+256 ~x302173+128 ~x302172+64 ~x302171+32 ~x302170+16 ~x302169+8 ~x302168+4 ~x302167+2 ~x302166+1 ~x302165+16384 ~x1835+8192 ~x1834+4096 ~x1833+2048 ~x1832+1024 ~x1831+512 ~x1830+256 ~x1829+128 ~x1828+64 ~x1827+32 ~x1826+16 ~x1825+8 ~x1824+4 ~x1823+2 ~x1822+1 ~x1821-0=61438
10.78/10.88	c 262144 ~x385845+131072 ~x385844+65536 ~x385843+32768 ~x385842+16384 ~x385841+8192 ~x385840+4096 ~x385839+2048 ~x385838+1024 ~x385837+512 ~x385836+256 ~x385835+128 ~x385834+64 ~x385833+32 ~x385832+16 ~x385831+8 ~x385830+4 ~x385829+2 ~x385828+1 ~x385827+409600 x1985+262144 ~x1095+131072 ~x1094+65536 ~x1093+32768 ~x1092+16384 ~x1091+8192 ~x1090+4096 ~x1089+2048 ~x1088+1024 ~x1087+512 ~x1086+256 ~x1085+128 ~x1084+64 ~x1083+32 ~x1082+16 ~x1081+8 ~x1080+4 ~x1079+2 ~x1078+1 ~x1077-0=1048574
10.99/11.05	c 262144 ~x392975+131072 ~x392974+65536 ~x392973+32768 ~x392972+16384 ~x392971+8192 ~x392970+4096 ~x392969+2048 ~x392968+1024 ~x392967+512 ~x392966+256 ~x392965+128 ~x392964+64 ~x392963+32 ~x392962+16 ~x392961+8 ~x392960+4 ~x392959+2 ~x392958+1 ~x392957+409600 x1986+262144 ~x1114+131072 ~x1113+65536 ~x1112+32768 ~x1111+16384 ~x1110+8192 ~x1109+4096 ~x1108+2048 ~x1107+1024 ~x1106+512 ~x1105+256 ~x1104+128 ~x1103+64 ~x1102+32 ~x1101+16 ~x1100+8 ~x1099+4 ~x1098+2 ~x1097+1 ~x1096-0=1048574
11.18/11.22	c 262144 ~x400105+131072 ~x400104+65536 ~x400103+32768 ~x400102+16384 ~x400101+8192 ~x400100+4096 ~x400099+2048 ~x400098+1024 ~x400097+512 ~x400096+256 ~x400095+128 ~x400094+64 ~x400093+32 ~x400092+16 ~x400091+8 ~x400090+4 ~x400089+2 ~x400088+1 ~x400087+409600 x1987+262144 ~x1133+131072 ~x1132+65536 ~x1131+32768 ~x1130+16384 ~x1129+8192 ~x1128+4096 ~x1127+2048 ~x1126+1024 ~x1125+512 ~x1124+256 ~x1123+128 ~x1122+64 ~x1121+32 ~x1120+16 ~x1119+8 ~x1118+4 ~x1117+2 ~x1116+1 ~x1115-0=1048574
11.28/11.39	c 262144 ~x407235+131072 ~x407234+65536 ~x407233+32768 ~x407232+16384 ~x407231+8192 ~x407230+4096 ~x407229+2048 ~x407228+1024 ~x407227+512 ~x407226+256 ~x407225+128 ~x407224+64 ~x407223+32 ~x407222+16 ~x407221+8 ~x407220+4 ~x407219+2 ~x407218+1 ~x407217+409600 x1988+262144 ~x1152+131072 ~x1151+65536 ~x1150+32768 ~x1149+16384 ~x1148+8192 ~x1147+4096 ~x1146+2048 ~x1145+1024 ~x1144+512 ~x1143+256 ~x1142+128 ~x1141+64 ~x1140+32 ~x1139+16 ~x1138+8 ~x1137+4 ~x1136+2 ~x1135+1 ~x1134-0=1048574
11.48/11.57	c 262144 ~x414365+131072 ~x414364+65536 ~x414363+32768 ~x414362+16384 ~x414361+8192 ~x414360+4096 ~x414359+2048 ~x414358+1024 ~x414357+512 ~x414356+256 ~x414355+128 ~x414354+64 ~x414353+32 ~x414352+16 ~x414351+8 ~x414350+4 ~x414349+2 ~x414348+1 ~x414347+512000 x1989+262144 ~x1171+131072 ~x1170+65536 ~x1169+32768 ~x1168+16384 ~x1167+8192 ~x1166+4096 ~x1165+2048 ~x1164+1024 ~x1163+512 ~x1162+256 ~x1161+128 ~x1160+64 ~x1159+32 ~x1158+16 ~x1157+8 ~x1156+4 ~x1155+2 ~x1154+1 ~x1153-0=1048574
11.68/11.74	c 131072 ~x421494+65536 ~x421493+32768 ~x421492+16384 ~x421491+8192 ~x421490+4096 ~x421489+2048 ~x421488+1024 ~x421487+512 ~x421486+256 ~x421485+128 ~x421484+64 ~x421483+32 ~x421482+16 ~x421481+8 ~x421480+4 ~x421479+2 ~x421478+1 ~x421477+163840 x1990+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=524286
11.88/11.90	c 131072 ~x428191+65536 ~x428190+32768 ~x428189+16384 ~x428188+8192 ~x428187+4096 ~x428186+2048 ~x428185+1024 ~x428184+512 ~x428183+256 ~x428182+128 ~x428181+64 ~x428180+32 ~x428179+16 ~x428178+8 ~x428177+4 ~x428176+2 ~x428175+1 ~x428174+163840 x2021+131072 ~x1207+65536 ~x1206+32768 ~x1205+16384 ~x1204+8192 ~x1203+4096 ~x1202+2048 ~x1201+1024 ~x1200+512 ~x1199+256 ~x1198+128 ~x1197+64 ~x1196+32 ~x1195+16 ~x1194+8 ~x1193+4 ~x1192+2 ~x1191+1 ~x1190-0=524286
11.99/12.06	c 131072 ~x434888+65536 ~x434887+32768 ~x434886+16384 ~x434885+8192 ~x434884+4096 ~x434883+2048 ~x434882+1024 ~x434881+512 ~x434880+256 ~x434879+128 ~x434878+64 ~x434877+32 ~x434876+16 ~x434875+8 ~x434874+4 ~x434873+2 ~x434872+1 ~x434871+163840 x2022+131072 ~x1225+65536 ~x1224+32768 ~x1223+16384 ~x1222+8192 ~x1221+4096 ~x1220+2048 ~x1219+1024 ~x1218+512 ~x1217+256 ~x1216+128 ~x1215+64 ~x1214+32 ~x1213+16 ~x1212+8 ~x1211+4 ~x1210+2 ~x1209+1 ~x1208-0=524286
12.18/12.22	c 131072 ~x441585+65536 ~x441584+32768 ~x441583+16384 ~x441582+8192 ~x441581+4096 ~x441580+2048 ~x441579+1024 ~x441578+512 ~x441577+256 ~x441576+128 ~x441575+64 ~x441574+32 ~x441573+16 ~x441572+8 ~x441571+4 ~x441570+2 ~x441569+1 ~x441568+163840 x2023+131072 ~x1243+65536 ~x1242+32768 ~x1241+16384 ~x1240+8192 ~x1239+4096 ~x1238+2048 ~x1237+1024 ~x1236+512 ~x1235+256 ~x1234+128 ~x1233+64 ~x1232+32 ~x1231+16 ~x1230+8 ~x1229+4 ~x1228+2 ~x1227+1 ~x1226-0=524286
12.28/12.38	c 131072 ~x448282+65536 ~x448281+32768 ~x448280+16384 ~x448279+8192 ~x448278+4096 ~x448277+2048 ~x448276+1024 ~x448275+512 ~x448274+256 ~x448273+128 ~x448272+64 ~x448271+32 ~x448270+16 ~x448269+8 ~x448268+4 ~x448267+2 ~x448266+1 ~x448265+163840 x2024+131072 ~x1261+65536 ~x1260+32768 ~x1259+16384 ~x1258+8192 ~x1257+4096 ~x1256+2048 ~x1255+1024 ~x1254+512 ~x1253+256 ~x1252+128 ~x1251+64 ~x1250+32 ~x1249+16 ~x1248+8 ~x1247+4 ~x1246+2 ~x1245+1 ~x1244-0=524286
13.68/13.75	c 131072 ~x508924+65536 ~x508923+32768 ~x508922+16384 ~x508921+8192 ~x508920+4096 ~x508919+2048 ~x508918+1024 ~x508917+512 ~x508916+256 ~x508915+128 ~x508914+64 ~x508913+32 ~x508912+16 ~x508911+8 ~x508910+4 ~x508909+2 ~x508908+1 ~x508907+163840 x2025+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=524286
13.88/13.91	c 131072 ~x515621+65536 ~x515620+32768 ~x515619+16384 ~x515618+8192 ~x515617+4096 ~x515616+2048 ~x515615+1024 ~x515614+512 ~x515613+256 ~x515612+128 ~x515611+64 ~x515610+32 ~x515609+16 ~x515608+8 ~x515607+4 ~x515606+2 ~x515605+1 ~x515604+163840 x2026+131072 ~x1327+65536 ~x1326+32768 ~x1325+16384 ~x1324+8192 ~x1323+4096 ~x1322+2048 ~x1321+1024 ~x1320+512 ~x1319+256 ~x1318+128 ~x1317+64 ~x1316+32 ~x1315+16 ~x1314+8 ~x1313+4 ~x1312+2 ~x1311+1 ~x1310-0=524286
13.97/14.07	c 131072 ~x522318+65536 ~x522317+32768 ~x522316+16384 ~x522315+8192 ~x522314+4096 ~x522313+2048 ~x522312+1024 ~x522311+512 ~x522310+256 ~x522309+128 ~x522308+64 ~x522307+32 ~x522306+16 ~x522305+8 ~x522304+4 ~x522303+2 ~x522302+1 ~x522301+163840 x2027+131072 ~x1345+65536 ~x1344+32768 ~x1343+16384 ~x1342+8192 ~x1341+4096 ~x1340+2048 ~x1339+1024 ~x1338+512 ~x1337+256 ~x1336+128 ~x1335+64 ~x1334+32 ~x1333+16 ~x1332+8 ~x1331+4 ~x1330+2 ~x1329+1 ~x1328-0=524286
14.18/14.23	c 262144 ~x529016+131072 ~x529015+65536 ~x529014+32768 ~x529013+16384 ~x529012+8192 ~x529011+4096 ~x529010+2048 ~x529009+1024 ~x529008+512 ~x529007+256 ~x529006+128 ~x529005+64 ~x529004+32 ~x529003+16 ~x529002+8 ~x529001+4 ~x529000+2 ~x528999+1 ~x528998+358400 x2028+262144 ~x1364+131072 ~x1363+65536 ~x1362+32768 ~x1361+16384 ~x1360+8192 ~x1359+4096 ~x1358+2048 ~x1357+1024 ~x1356+512 ~x1355+256 ~x1354+128 ~x1353+64 ~x1352+32 ~x1351+16 ~x1350+8 ~x1349+4 ~x1348+2 ~x1347+1 ~x1346-0=1048574
14.38/14.40	c 262144 ~x536146+131072 ~x536145+65536 ~x536144+32768 ~x536143+16384 ~x536142+8192 ~x536141+4096 ~x536140+2048 ~x536139+1024 ~x536138+512 ~x536137+256 ~x536136+128 ~x536135+64 ~x536134+32 ~x536133+16 ~x536132+8 ~x536131+4 ~x536130+2 ~x536129+1 ~x536128+358400 x2029+262144 ~x1383+131072 ~x1382+65536 ~x1381+32768 ~x1380+16384 ~x1379+8192 ~x1378+4096 ~x1377+2048 ~x1376+1024 ~x1375+512 ~x1374+256 ~x1373+128 ~x1372+64 ~x1371+32 ~x1370+16 ~x1369+8 ~x1368+4 ~x1367+2 ~x1366+1 ~x1365-0=1048574
14.48/14.57	c 262144 ~x543276+131072 ~x543275+65536 ~x543274+32768 ~x543273+16384 ~x543272+8192 ~x543271+4096 ~x543270+2048 ~x543269+1024 ~x543268+512 ~x543267+256 ~x543266+128 ~x543265+64 ~x543264+32 ~x543263+16 ~x543262+8 ~x543261+4 ~x543260+2 ~x543259+1 ~x543258+358400 x2030+262144 ~x1402+131072 ~x1401+65536 ~x1400+32768 ~x1399+16384 ~x1398+8192 ~x1397+4096 ~x1396+2048 ~x1395+1024 ~x1394+512 ~x1393+256 ~x1392+128 ~x1391+64 ~x1390+32 ~x1389+16 ~x1388+8 ~x1387+4 ~x1386+2 ~x1385+1 ~x1384-0=1048574
14.68/14.74	c 262144 ~x550406+131072 ~x550405+65536 ~x550404+32768 ~x550403+16384 ~x550402+8192 ~x550401+4096 ~x550400+2048 ~x550399+1024 ~x550398+512 ~x550397+256 ~x550396+128 ~x550395+64 ~x550394+32 ~x550393+16 ~x550392+8 ~x550391+4 ~x550390+2 ~x550389+1 ~x550388+409600 x2061+262144 ~x1421+131072 ~x1420+65536 ~x1419+32768 ~x1418+16384 ~x1417+8192 ~x1416+4096 ~x1415+2048 ~x1414+1024 ~x1413+512 ~x1412+256 ~x1411+128 ~x1410+64 ~x1409+32 ~x1408+16 ~x1407+8 ~x1406+4 ~x1405+2 ~x1404+1 ~x1403-0=1048574
14.88/14.91	c 262144 ~x557536+131072 ~x557535+65536 ~x557534+32768 ~x557533+16384 ~x557532+8192 ~x557531+4096 ~x557530+2048 ~x557529+1024 ~x557528+512 ~x557527+256 ~x557526+128 ~x557525+64 ~x557524+32 ~x557523+16 ~x557522+8 ~x557521+4 ~x557520+2 ~x557519+1 ~x557518+409600 x2062+262144 ~x1440+131072 ~x1439+65536 ~x1438+32768 ~x1437+16384 ~x1436+8192 ~x1435+4096 ~x1434+2048 ~x1433+1024 ~x1432+512 ~x1431+256 ~x1430+128 ~x1429+64 ~x1428+32 ~x1427+16 ~x1426+8 ~x1425+4 ~x1424+2 ~x1423+1 ~x1422-0=1048574
14.98/15.08	c 262144 ~x564666+131072 ~x564665+65536 ~x564664+32768 ~x564663+16384 ~x564662+8192 ~x564661+4096 ~x564660+2048 ~x564659+1024 ~x564658+512 ~x564657+256 ~x564656+128 ~x564655+64 ~x564654+32 ~x564653+16 ~x564652+8 ~x564651+4 ~x564650+2 ~x564649+1 ~x564648+409600 x2063+262144 ~x1459+131072 ~x1458+65536 ~x1457+32768 ~x1456+16384 ~x1455+8192 ~x1454+4096 ~x1453+2048 ~x1452+1024 ~x1451+512 ~x1450+256 ~x1449+128 ~x1448+64 ~x1447+32 ~x1446+16 ~x1445+8 ~x1444+4 ~x1443+2 ~x1442+1 ~x1441-0=1048574
15.18/15.25	c 262144 ~x571796+131072 ~x571795+65536 ~x571794+32768 ~x571793+16384 ~x571792+8192 ~x571791+4096 ~x571790+2048 ~x571789+1024 ~x571788+512 ~x571787+256 ~x571786+128 ~x571785+64 ~x571784+32 ~x571783+16 ~x571782+8 ~x571781+4 ~x571780+2 ~x571779+1 ~x571778+409600 x2064+262144 ~x1478+131072 ~x1477+65536 ~x1476+32768 ~x1475+16384 ~x1474+8192 ~x1473+4096 ~x1472+2048 ~x1471+1024 ~x1470+512 ~x1469+256 ~x1468+128 ~x1467+64 ~x1466+32 ~x1465+16 ~x1464+8 ~x1463+4 ~x1462+2 ~x1461+1 ~x1460-0=1048574
16.58/16.63	c 262144 ~x632871+131072 ~x632870+65536 ~x632869+32768 ~x632868+16384 ~x632867+8192 ~x632866+4096 ~x632865+2048 ~x632864+1024 ~x632863+512 ~x632862+256 ~x632861+128 ~x632860+64 ~x632859+32 ~x632858+16 ~x632857+8 ~x632856+4 ~x632855+2 ~x632854+1 ~x632853+409600 x2065+262144 ~x1527+131072 ~x1526+65536 ~x1525+32768 ~x1524+16384 ~x1523+8192 ~x1522+4096 ~x1521+2048 ~x1520+1024 ~x1519+512 ~x1518+256 ~x1517+128 ~x1516+64 ~x1515+32 ~x1514+16 ~x1513+8 ~x1512+4 ~x1511+2 ~x1510+1 ~x1509-0=1048574
16.78/16.80	c 131072 ~x640000+65536 ~x639999+32768 ~x639998+16384 ~x639997+8192 ~x639996+4096 ~x639995+2048 ~x639994+1024 ~x639993+512 ~x639992+256 ~x639991+128 ~x639990+64 ~x639989+32 ~x639988+16 ~x639987+8 ~x639986+4 ~x639985+2 ~x639984+1 ~x639983+245760 x2066+131072 ~x1545+65536 ~x1544+32768 ~x1543+16384 ~x1542+8192 ~x1541+4096 ~x1540+2048 ~x1539+1024 ~x1538+512 ~x1537+256 ~x1536+128 ~x1535+64 ~x1534+32 ~x1533+16 ~x1532+8 ~x1531+4 ~x1530+2 ~x1529+1 ~x1528-0=524286
16.88/16.97	c 131072 ~x646697+65536 ~x646696+32768 ~x646695+16384 ~x646694+8192 ~x646693+4096 ~x646692+2048 ~x646691+1024 ~x646690+512 ~x646689+256 ~x646688+128 ~x646687+64 ~x646686+32 ~x646685+16 ~x646684+8 ~x646683+4 ~x646682+2 ~x646681+1 ~x646680+245760 x2067+131072 ~x1563+65536 ~x1562+32768 ~x1561+16384 ~x1560+8192 ~x1559+4096 ~x1558+2048 ~x1557+1024 ~x1556+512 ~x1555+256 ~x1554+128 ~x1553+64 ~x1552+32 ~x1551+16 ~x1550+8 ~x1549+4 ~x1548+2 ~x1547+1 ~x1546-0=524286
17.08/17.13	c 131072 ~x653394+65536 ~x653393+32768 ~x653392+16384 ~x653391+8192 ~x653390+4096 ~x653389+2048 ~x653388+1024 ~x653387+512 ~x653386+256 ~x653385+128 ~x653384+64 ~x653383+32 ~x653382+16 ~x653381+8 ~x653380+4 ~x653379+2 ~x653378+1 ~x653377+245760 x2068+131072 ~x1581+65536 ~x1580+32768 ~x1579+16384 ~x1578+8192 ~x1577+4096 ~x1576+2048 ~x1575+1024 ~x1574+512 ~x1573+256 ~x1572+128 ~x1571+64 ~x1570+32 ~x1569+16 ~x1568+8 ~x1567+4 ~x1566+2 ~x1565+1 ~x1564-0=524286
17.18/17.29	c 131072 ~x660091+65536 ~x660090+32768 ~x660089+16384 ~x660088+8192 ~x660087+4096 ~x660086+2048 ~x660085+1024 ~x660084+512 ~x660083+256 ~x660082+128 ~x660081+64 ~x660080+32 ~x660079+16 ~x660078+8 ~x660077+4 ~x660076+2 ~x660075+1 ~x660074+245760 x2069+131072 ~x1599+65536 ~x1598+32768 ~x1597+16384 ~x1596+8192 ~x1595+4096 ~x1594+2048 ~x1593+1024 ~x1592+512 ~x1591+256 ~x1590+128 ~x1589+64 ~x1588+32 ~x1587+16 ~x1586+8 ~x1585+4 ~x1584+2 ~x1583+1 ~x1582-0=524286
17.37/17.45	c 131072 ~x666788+65536 ~x666787+32768 ~x666786+16384 ~x666785+8192 ~x666784+4096 ~x666783+2048 ~x666782+1024 ~x666781+512 ~x666780+256 ~x666779+128 ~x666778+64 ~x666777+32 ~x666776+16 ~x666775+8 ~x666774+4 ~x666773+2 ~x666772+1 ~x666771+245760 x2070+131072 ~x1617+65536 ~x1616+32768 ~x1615+16384 ~x1614+8192 ~x1613+4096 ~x1612+2048 ~x1611+1024 ~x1610+512 ~x1609+256 ~x1608+128 ~x1607+64 ~x1606+32 ~x1605+16 ~x1604+8 ~x1603+4 ~x1602+2 ~x1601+1 ~x1600-0=524286
17.59/17.61	c 131072 ~x673485+65536 ~x673484+32768 ~x673483+16384 ~x673482+8192 ~x673481+4096 ~x673480+2048 ~x673479+1024 ~x673478+512 ~x673477+256 ~x673476+128 ~x673475+64 ~x673474+32 ~x673473+16 ~x673472+8 ~x673471+4 ~x673470+2 ~x673469+1 ~x673468+245760 x2101+131072 ~x1635+65536 ~x1634+32768 ~x1633+16384 ~x1632+8192 ~x1631+4096 ~x1630+2048 ~x1629+1024 ~x1628+512 ~x1627+256 ~x1626+128 ~x1625+64 ~x1624+32 ~x1623+16 ~x1622+8 ~x1621+4 ~x1620+2 ~x1619+1 ~x1618-0=524286
17.68/17.77	c 131072 ~x680182+65536 ~x680181+32768 ~x680180+16384 ~x680179+8192 ~x680178+4096 ~x680177+2048 ~x680176+1024 ~x680175+512 ~x680174+256 ~x680173+128 ~x680172+64 ~x680171+32 ~x680170+16 ~x680169+8 ~x680168+4 ~x680167+2 ~x680166+1 ~x680165+245760 x2102+131072 ~x1653+65536 ~x1652+32768 ~x1651+16384 ~x1650+8192 ~x1649+4096 ~x1648+2048 ~x1647+1024 ~x1646+512 ~x1645+256 ~x1644+128 ~x1643+64 ~x1642+32 ~x1641+16 ~x1640+8 ~x1639+4 ~x1638+2 ~x1637+1 ~x1636-0=524286
17.88/17.93	c 131072 ~x686879+65536 ~x686878+32768 ~x686877+16384 ~x686876+8192 ~x686875+4096 ~x686874+2048 ~x686873+1024 ~x686872+512 ~x686871+256 ~x686870+128 ~x686869+64 ~x686868+32 ~x686867+16 ~x686866+8 ~x686865+4 ~x686864+2 ~x686863+1 ~x686862+245760 x2103+131072 ~x1671+65536 ~x1670+32768 ~x1669+16384 ~x1668+8192 ~x1667+4096 ~x1666+2048 ~x1665+1024 ~x1664+512 ~x1663+256 ~x1662+128 ~x1661+64 ~x1660+32 ~x1659+16 ~x1658+8 ~x1657+4 ~x1656+2 ~x1655+1 ~x1654-0=524286
17.98/18.09	c 65536 ~x693575+32768 ~x693574+16384 ~x693573+8192 ~x693572+4096 ~x693571+2048 ~x693570+1024 ~x693569+512 ~x693568+256 ~x693567+128 ~x693566+64 ~x693565+32 ~x693564+16 ~x693563+8 ~x693562+4 ~x693561+2 ~x693560+1 ~x693559+102400 x2104+65536 ~x1688+32768 ~x1687+16384 ~x1686+8192 ~x1685+4096 ~x1684+2048 ~x1683+1024 ~x1682+512 ~x1681+256 ~x1680+128 ~x1679+64 ~x1678+32 ~x1677+16 ~x1676+8 ~x1675+4 ~x1674+2 ~x1673+1 ~x1672-0=262142
19.37/19.42	c 65536 ~x752639+32768 ~x752638+16384 ~x752637+8192 ~x752636+4096 ~x752635+2048 ~x752634+1024 ~x752633+512 ~x752632+256 ~x752631+128 ~x752630+64 ~x752629+32 ~x752628+16 ~x752627+8 ~x752626+4 ~x752625+2 ~x752624+1 ~x752623+102400 x2105+65536 ~x1735+32768 ~x1734+16384 ~x1733+8192 ~x1732+4096 ~x1731+2048 ~x1730+1024 ~x1729+512 ~x1728+256 ~x1727+128 ~x1726+64 ~x1725+32 ~x1724+16 ~x1723+8 ~x1722+4 ~x1721+2 ~x1720+1 ~x1719-0=262142
19.47/19.55	c 65536 ~x757758+32768 ~x757757+16384 ~x757756+8192 ~x757755+4096 ~x757754+2048 ~x757753+1024 ~x757752+512 ~x757751+256 ~x757750+128 ~x757749+64 ~x757748+32 ~x757747+16 ~x757746+8 ~x757745+4 ~x757744+2 ~x757743+1 ~x757742+102400 x2106+65536 ~x1752+32768 ~x1751+16384 ~x1750+8192 ~x1749+4096 ~x1748+2048 ~x1747+1024 ~x1746+512 ~x1745+256 ~x1744+128 ~x1743+64 ~x1742+32 ~x1741+16 ~x1740+8 ~x1739+4 ~x1738+2 ~x1737+1 ~x1736-0=262142
19.58/19.67	c 65536 ~x762877+32768 ~x762876+16384 ~x762875+8192 ~x762874+4096 ~x762873+2048 ~x762872+1024 ~x762871+512 ~x762870+256 ~x762869+128 ~x762868+64 ~x762867+32 ~x762866+16 ~x762865+8 ~x762864+4 ~x762863+2 ~x762862+1 ~x762861+102400 x2107+65536 ~x1769+32768 ~x1768+16384 ~x1767+8192 ~x1766+4096 ~x1765+2048 ~x1764+1024 ~x1763+512 ~x1762+256 ~x1761+128 ~x1760+64 ~x1759+32 ~x1758+16 ~x1757+8 ~x1756+4 ~x1755+2 ~x1754+1 ~x1753-0=262142
19.69/19.79	c 65536 ~x767996+32768 ~x767995+16384 ~x767994+8192 ~x767993+4096 ~x767992+2048 ~x767991+1024 ~x767990+512 ~x767989+256 ~x767988+128 ~x767987+64 ~x767986+32 ~x767985+16 ~x767984+8 ~x767983+4 ~x767982+2 ~x767981+1 ~x767980+102400 x2108+65536 ~x1786+32768 ~x1785+16384 ~x1784+8192 ~x1783+4096 ~x1782+2048 ~x1781+1024 ~x1780+512 ~x1779+256 ~x1778+128 ~x1777+64 ~x1776+32 ~x1775+16 ~x1774+8 ~x1773+4 ~x1772+2 ~x1771+1 ~x1770-0=262142
19.87/19.91	c 65536 ~x773115+32768 ~x773114+16384 ~x773113+8192 ~x773112+4096 ~x773111+2048 ~x773110+1024 ~x773109+512 ~x773108+256 ~x773107+128 ~x773106+64 ~x773105+32 ~x773104+16 ~x773103+8 ~x773102+4 ~x773101+2 ~x773100+1 ~x773099+102400 x2109+65536 ~x1803+32768 ~x1802+16384 ~x1801+8192 ~x1800+4096 ~x1799+2048 ~x1798+1024 ~x1797+512 ~x1796+256 ~x1795+128 ~x1794+64 ~x1793+32 ~x1792+16 ~x1791+8 ~x1790+4 ~x1789+2 ~x1788+1 ~x1787-0=262142
19.98/20.03	c 65536 ~x778234+32768 ~x778233+16384 ~x778232+8192 ~x778231+4096 ~x778230+2048 ~x778229+1024 ~x778228+512 ~x778227+256 ~x778226+128 ~x778225+64 ~x778224+32 ~x778223+16 ~x778222+8 ~x778221+4 ~x778220+2 ~x778219+1 ~x778218+102400 x2110+65536 ~x1820+32768 ~x1819+16384 ~x1818+8192 ~x1817+4096 ~x1816+2048 ~x1815+1024 ~x1814+512 ~x1813+256 ~x1812+128 ~x1811+64 ~x1810+32 ~x1809+16 ~x1808+8 ~x1807+4 ~x1806+2 ~x1805+1 ~x1804-0=262142
20.08/20.15	c 65536 ~x783353+32768 ~x783352+16384 ~x783351+8192 ~x783350+4096 ~x783349+2048 ~x783348+1024 ~x783347+512 ~x783346+256 ~x783345+128 ~x783344+64 ~x783343+32 ~x783342+16 ~x783341+8 ~x783340+4 ~x783339+2 ~x783338+1 ~x783337+102400 x2141+65536 ~x1837+32768 ~x1836+16384 ~x1835+8192 ~x1834+4096 ~x1833+2048 ~x1832+1024 ~x1831+512 ~x1830+256 ~x1829+128 ~x1828+64 ~x1827+32 ~x1826+16 ~x1825+8 ~x1824+4 ~x1823+2 ~x1822+1 ~x1821-0=262142
20.18/20.28	c 65536 ~x788472+32768 ~x788471+16384 ~x788470+8192 ~x788469+4096 ~x788468+2048 ~x788467+1024 ~x788466+512 ~x788465+256 ~x788464+128 ~x788463+64 ~x788462+32 ~x788461+16 ~x788460+8 ~x788459+4 ~x788458+2 ~x788457+1 ~x788456+65536 x3238+32768 x3237+16384 x3236+8192 x3235+4096 x3234+2048 x3233+1024 x3232+512 x3231+256 x3230+128 x3229+64 x3228+32 x3227+16 x3226+8 x3225+4 x3224+2 x3223+1 x3222+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=202751
20.38/20.46	c 262144 ~x796378+131072 ~x796377+65536 ~x796376+32768 ~x796375+16384 ~x796374+8192 ~x796373+4096 ~x796372+2048 ~x796371+1024 ~x796370+512 ~x796369+256 ~x796368+128 ~x796367+64 ~x796366+32 ~x796365+16 ~x796364+8 ~x796363+4 ~x796362+2 ~x796361+1 ~x796360+262144 x3210+131072 x3209+65536 x3208+32768 x3207+16384 x3206+8192 x3205+4096 x3204+2048 x3203+1024 x3202+512 x3201+256 x3200+128 x3199+64 x3198+32 x3197+16 x3196+8 x3195+4 x3194+2 x3193+1 x3192+262144 x1939+131072 x1938+65536 x1937+32768 x1936+16384 x1935+8192 x1934+4096 x1933+2048 x1932+1024 x1931+512 x1930+256 x1929+128 x1928+64 x1927+32 x1926+16 x1925+8 x1924+4 x1923+2 x1922+1 x1921+71680 x1839+262144 ~x519+131072 ~x518+65536 ~x517+32768 ~x516+16384 ~x515+8192 ~x514+4096 ~x513+2048 ~x512+1024 ~x511+512 ~x510+256 ~x509+128 ~x508+64 ~x507+32 ~x506+16 ~x505+8 ~x504+4 ~x503+2 ~x502+1 ~x501-0=1048574
20.78/20.84	c 32768 ~x812385+16384 ~x812384+8192 ~x812383+4096 ~x812382+2048 ~x812381+1024 ~x812380+512 ~x812379+256 ~x812378+128 ~x812377+64 ~x812376+32 ~x812375+16 ~x812374+8 ~x812373+4 ~x812372+2 ~x812371+1 ~x812370+32768 x3267+16384 x3266+8192 x3265+4096 x3264+2048 x3263+1024 x3262+512 x3261+256 x3260+128 x3259+64 x3258+32 x3257+16 x3256+8 x3255+4 x3254+2 x3253+1 x3252+32768 x1936+16384 x1935+8192 x1934+4096 x1933+2048 x1932+1024 x1931+512 x1930+256 x1929+128 x1928+64 x1927+32 x1926+16 x1925+8 x1924+4 x1923+2 x1922+1 x1921-0=116735
22.18/22.21	c 262144 ~x873483+131072 ~x873482+65536 ~x873481+32768 ~x873480+16384 ~x873479+8192 ~x873478+4096 ~x873477+2048 ~x873476+1024 ~x873475+512 ~x873474+256 ~x873473+128 ~x873472+64 ~x873471+32 ~x873470+16 ~x873469+8 ~x873468+4 ~x873467+2 ~x873466+1 ~x873465+262144 x3240+131072 x3239+65536 x3238+32768 x3237+16384 x3236+8192 x3235+4096 x3234+2048 x3233+1024 x3232+512 x3231+256 x3230+128 x3229+64 x3228+32 x3227+16 x3226+8 x3225+4 x3224+2 x3223+1 x3222+262144 x2310+131072 x2309+65536 x2308+32768 x2307+16384 x2306+8192 x2305+4096 x2304+2048 x2303+1024 x2302+512 x2301+256 x2300+128 x2299+64 x2298+32 x2297+16 x2296+8 x2295+4 x2294+2 x2293+1 x2292+51200 x1840+262144 ~x538+131072 ~x537+65536 ~x536+32768 ~x535+16384 ~x534+8192 ~x533+4096 ~x532+2048 ~x531+1024 ~x530+512 ~x529+256 ~x528+128 ~x527+64 ~x526+32 ~x525+16 ~x524+8 ~x523+4 ~x522+2 ~x521+1 ~x520-0=1048574
22.47/22.58	c 65536 ~x889491+32768 ~x889490+16384 ~x889489+8192 ~x889488+4096 ~x889487+2048 ~x889486+1024 ~x889485+512 ~x889484+256 ~x889483+128 ~x889482+64 ~x889481+32 ~x889480+16 ~x889479+8 ~x889478+4 ~x889477+2 ~x889476+1 ~x889475+65536 x3328+32768 x3327+16384 x3326+8192 x3325+4096 x3324+2048 x3323+1024 x3322+512 x3321+256 x3320+128 x3319+64 x3318+32 x3317+16 x3316+8 x3315+4 x3314+2 x3313+1 x3312+65536 x2308+32768 x2307+16384 x2306+8192 x2305+4096 x2304+2048 x2303+1024 x2302+512 x2301+256 x2300+128 x2299+64 x2298+32 x2297+16 x2296+8 x2295+4 x2294+2 x2293+1 x2292-0=233471
22.68/22.76	c 262144 ~x897397+131072 ~x897396+65536 ~x897395+32768 ~x897394+16384 ~x897393+8192 ~x897392+4096 ~x897391+2048 ~x897390+1024 ~x897389+512 ~x897388+256 ~x897387+128 ~x897386+64 ~x897385+32 ~x897384+16 ~x897383+8 ~x897382+4 ~x897381+2 ~x897380+1 ~x897379+262144 x3270+131072 x3269+65536 x3268+32768 x3267+16384 x3266+8192 x3265+4096 x3264+2048 x3263+1024 x3262+512 x3261+256 x3260+128 x3259+64 x3258+32 x3257+16 x3256+8 x3255+4 x3254+2 x3253+1 x3252+262144 x2640+131072 x2639+65536 x2638+32768 x2637+16384 x2636+8192 x2635+4096 x2634+2048 x2633+1024 x2632+512 x2631+256 x2630+128 x2629+64 x2628+32 x2627+16 x2626+8 x2625+4 x2624+2 x2623+1 x2622+102400 x1871+262144 ~x557+131072 ~x556+65536 ~x555+32768 ~x554+16384 ~x553+8192 ~x552+4096 ~x551+2048 ~x550+1024 ~x549+512 ~x548+256 ~x547+128 ~x546+64 ~x545+32 ~x544+16 ~x543+8 ~x542+4 ~x541+2 ~x540+1 ~x539-0=1048574
23.08/23.13	c 16384 ~x913403+8192 ~x913402+4096 ~x913401+2048 ~x913400+1024 ~x913399+512 ~x913398+256 ~x913397+128 ~x913396+64 ~x913395+32 ~x913394+16 ~x913393+8 ~x913392+4 ~x913391+2 ~x913390+1 ~x913389+16384 x3356+8192 x3355+4096 x3354+2048 x3353+1024 x3352+512 x3351+256 x3350+128 x3349+64 x3348+32 x3347+16 x3346+8 x3345+4 x3344+2 x3343+1 x3342+16384 x2636+8192 x2635+4096 x2634+2048 x2633+1024 x2632+512 x2631+256 x2630+128 x2629+64 x2628+32 x2627+16 x2626+8 x2625+4 x2624+2 x2623+1 x2622-0=53247
23.18/23.29	c 262144 ~x920052+131072 ~x920051+65536 ~x920050+32768 ~x920049+16384 ~x920048+8192 ~x920047+4096 ~x920046+2048 ~x920045+1024 ~x920044+512 ~x920043+256 ~x920042+128 ~x920041+64 ~x920040+32 ~x920039+16 ~x920038+8 ~x920037+4 ~x920036+2 ~x920035+1 ~x920034+262144 x3330+131072 x3329+65536 x3328+32768 x3327+16384 x3326+8192 x3325+4096 x3324+2048 x3323+1024 x3322+512 x3321+256 x3320+128 x3319+64 x3318+32 x3317+16 x3316+8 x3315+4 x3314+2 x3313+1 x3312+262144 x2970+131072 x2969+65536 x2968+32768 x2967+16384 x2966+8192 x2965+4096 x2964+2048 x2963+1024 x2962+512 x2961+256 x2960+128 x2959+64 x2958+32 x2957+16 x2956+8 x2955+4 x2954+2 x2953+1 x2952+20480 x1872+262144 ~x576+131072 ~x575+65536 ~x574+32768 ~x573+16384 ~x572+8192 ~x571+4096 ~x570+2048 ~x569+1024 ~x568+512 ~x567+256 ~x566+128 ~x565+64 ~x564+32 ~x563+16 ~x562+8 ~x561+4 ~x560+2 ~x559+1 ~x558-0=1048574
23.58/23.65	c 65536 ~x936060+32768 ~x936059+16384 ~x936058+8192 ~x936057+4096 ~x936056+2048 ~x936055+1024 ~x936054+512 ~x936053+256 ~x936052+128 ~x936051+64 ~x936050+32 ~x936049+16 ~x936048+8 ~x936047+4 ~x936046+2 ~x936045+1 ~x936044+65536 x3388+32768 x3387+16384 x3386+8192 x3385+4096 x3384+2048 x3383+1024 x3382+512 x3381+256 x3380+128 x3379+64 x3378+32 x3377+16 x3376+8 x3375+4 x3374+2 x3373+1 x3372+65536 x2968+32768 x2967+16384 x2966+8192 x2965+4096 x2964+2048 x2963+1024 x2962+512 x2961+256 x2960+128 x2959+64 x2958+32 x2957+16 x2956+8 x2955+4 x2954+2 x2953+1 x2952-0=212991
23.78/23.84	c 262144 ~x943966+131072 ~x943965+65536 ~x943964+32768 ~x943963+16384 ~x943962+8192 ~x943961+4096 ~x943960+2048 ~x943959+1024 ~x943958+512 ~x943957+256 ~x943956+128 ~x943955+64 ~x943954+32 ~x943953+16 ~x943952+8 ~x943951+4 ~x943950+2 ~x943949+1 ~x943948+262144 x3360+131072 x3359+65536 x3358+32768 x3357+16384 x3356+8192 x3355+4096 x3354+2048 x3353+1024 x3352+512 x3351+256 x3350+128 x3349+64 x3348+32 x3347+16 x3346+8 x3345+4 x3344+2 x3343+1 x3342+262144 x3300+131072 x3299+65536 x3298+32768 x3297+16384 x3296+8192 x3295+4096 x3294+2048 x3293+1024 x3292+512 x3291+256 x3290+128 x3289+64 x3288+32 x3287+16 x3286+8 x3285+4 x3284+2 x3283+1 x3282+81920 x1873+262144 ~x595+131072 ~x594+65536 ~x593+32768 ~x592+16384 ~x591+8192 ~x590+4096 ~x589+2048 ~x588+1024 ~x587+512 ~x586+256 ~x585+128 ~x584+64 ~x583+32 ~x582+16 ~x581+8 ~x580+4 ~x579+2 ~x578+1 ~x577-0=1048574
24.08/24.20	c 65536 ~x959974+32768 ~x959973+16384 ~x959972+8192 ~x959971+4096 ~x959970+2048 ~x959969+1024 ~x959968+512 ~x959967+256 ~x959966+128 ~x959965+64 ~x959964+32 ~x959963+16 ~x959962+8 ~x959961+4 ~x959960+2 ~x959959+1 ~x959958+65536 x3628+32768 x3627+16384 x3626+8192 x3625+4096 x3624+2048 x3623+1024 x3622+512 x3621+256 x3620+128 x3619+64 x3618+32 x3617+16 x3616+8 x3615+4 x3614+2 x3613+1 x3612-0=233471
24.28/24.32	c 262144 ~x964922+131072 ~x964921+65536 ~x964920+32768 ~x964919+16384 ~x964918+8192 ~x964917+4096 ~x964916+2048 ~x964915+1024 ~x964914+512 ~x964913+256 ~x964912+128 ~x964911+64 ~x964910+32 ~x964909+16 ~x964908+8 ~x964907+4 ~x964906+2 ~x964905+1 ~x964904+262144 x3420+131072 x3419+65536 x3418+32768 x3417+16384 x3416+8192 x3415+4096 x3414+2048 x3413+1024 x3412+512 x3411+256 x3410+128 x3409+64 x3408+32 x3407+16 x3406+8 x3405+4 x3404+2 x3403+1 x3402+102400 x1875+262144 ~x663+131072 ~x662+65536 ~x661+32768 ~x660+16384 ~x659+8192 ~x658+4096 ~x657+2048 ~x656+1024 ~x655+512 ~x654+256 ~x653+128 ~x652+64 ~x651+32 ~x650+16 ~x649+8 ~x648+4 ~x647+2 ~x646+1 ~x645-0=1048574
24.48/24.59	c 16384 ~x976653+8192 ~x976652+4096 ~x976651+2048 ~x976650+1024 ~x976649+512 ~x976648+256 ~x976647+128 ~x976646+64 ~x976645+32 ~x976644+16 ~x976643+8 ~x976642+4 ~x976641+2 ~x976640+1 ~x976639+16384 x3446+8192 x3445+4096 x3444+2048 x3443+1024 x3442+512 x3441+256 x3440+128 x3439+64 x3438+32 x3437+16 x3436+8 x3435+4 x3434+2 x3433+1 x3432-0=53247
25.87/25.91	c 131072 ~x1034478+65536 ~x1034477+32768 ~x1034476+16384 ~x1034475+8192 ~x1034474+4096 ~x1034473+2048 ~x1034472+1024 ~x1034471+512 ~x1034470+256 ~x1034469+128 ~x1034468+64 ~x1034467+32 ~x1034466+16 ~x1034465+8 ~x1034464+4 ~x1034463+2 ~x1034462+1 ~x1034461+131072 x3959+65536 x3958+32768 x3957+16384 x3956+8192 x3955+4096 x3954+2048 x3953+1024 x3952+512 x3951+256 x3950+128 x3949+64 x3948+32 x3947+16 x3946+8 x3945+4 x3944+2 x3943+1 x3942+20480 x1876+131072 ~x681+65536 ~x680+32768 ~x679+16384 ~x678+8192 ~x677+4096 ~x676+2048 ~x675+1024 ~x674+512 ~x673+256 ~x672+128 ~x671+64 ~x670+32 ~x669+16 ~x668+8 ~x667+4 ~x666+2 ~x665+1 ~x664-0=524286
26.07/26.15	c 32768 ~x1045062+16384 ~x1045061+8192 ~x1045060+4096 ~x1045059+2048 ~x1045058+1024 ~x1045057+512 ~x1045056+256 ~x1045055+128 ~x1045054+64 ~x1045053+32 ~x1045052+16 ~x1045051+8 ~x1045050+4 ~x1045049+2 ~x1045048+1 ~x1045047+32768 x3957+16384 x3956+8192 x3955+4096 x3954+2048 x3953+1024 x3952+512 x3951+256 x3950+128 x3949+64 x3948+32 x3947+16 x3946+8 x3945+4 x3944+2 x3943+1 x3942+32768 x3477+16384 x3476+8192 x3475+4096 x3474+2048 x3473+1024 x3472+512 x3471+256 x3470+128 x3469+64 x3468+32 x3467+16 x3466+8 x3465+4 x3464+2 x3463+1 x3462-0=106495
26.28/26.32	c 131072 ~x1052214+65536 ~x1052213+32768 ~x1052212+16384 ~x1052211+8192 ~x1052210+4096 ~x1052209+2048 ~x1052208+1024 ~x1052207+512 ~x1052206+256 ~x1052205+128 ~x1052204+64 ~x1052203+32 ~x1052202+16 ~x1052201+8 ~x1052200+4 ~x1052199+2 ~x1052198+1 ~x1052197+131072 x4289+65536 x4288+32768 x4287+16384 x4286+8192 x4285+4096 x4284+2048 x4283+1024 x4282+512 x4281+256 x4280+128 x4279+64 x4278+32 x4277+16 x4276+8 x4275+4 x4274+2 x4273+1 x4272+131072 x3449+65536 x3448+32768 x3447+16384 x3446+8192 x3445+4096 x3444+2048 x3443+1024 x3442+512 x3441+256 x3440+128 x3439+64 x3438+32 x3437+16 x3436+8 x3435+4 x3434+2 x3433+1 x3432+40960 x1877+131072 ~x699+65536 ~x698+32768 ~x697+16384 ~x696+8192 ~x695+4096 ~x694+2048 ~x693+1024 ~x692+512 ~x691+256 ~x690+128 ~x689+64 ~x688+32 ~x687+16 ~x686+8 ~x685+4 ~x684+2 ~x683+1 ~x682-0=524286
26.57/26.66	c 32768 ~x1066686+16384 ~x1066685+8192 ~x1066684+4096 ~x1066683+2048 ~x1066682+1024 ~x1066681+512 ~x1066680+256 ~x1066679+128 ~x1066678+64 ~x1066677+32 ~x1066676+16 ~x1066675+8 ~x1066674+4 ~x1066673+2 ~x1066672+1 ~x1066671+32768 x4287+16384 x4286+8192 x4285+4096 x4284+2048 x4283+1024 x4282+512 x4281+256 x4280+128 x4279+64 x4278+32 x4277+16 x4276+8 x4275+4 x4274+2 x4273+1 x4272+32768 x3507+16384 x3506+8192 x3505+4096 x3504+2048 x3503+1024 x3502+512 x3501+256 x3500+128 x3499+64 x3498+32 x3497+16 x3496+8 x3495+4 x3494+2 x3493+1 x3492-0=116735
26.77/26.82	c 131072 ~x1073838+65536 ~x1073837+32768 ~x1073836+16384 ~x1073835+8192 ~x1073834+4096 ~x1073833+2048 ~x1073832+1024 ~x1073831+512 ~x1073830+256 ~x1073829+128 ~x1073828+64 ~x1073827+32 ~x1073826+16 ~x1073825+8 ~x1073824+4 ~x1073823+2 ~x1073822+1 ~x1073821+131072 x3479+65536 x3478+32768 x3477+16384 x3476+8192 x3475+4096 x3474+2048 x3473+1024 x3472+512 x3471+256 x3470+128 x3469+64 x3468+32 x3467+16 x3466+8 x3465+4 x3464+2 x3463+1 x3462+51200 x1878+131072 ~x717+65536 ~x716+32768 ~x715+16384 ~x714+8192 ~x713+4096 ~x712+2048 ~x711+1024 ~x710+512 ~x709+256 ~x708+128 ~x707+64 ~x706+32 ~x705+16 ~x704+8 ~x703+4 ~x702+2 ~x701+1 ~x700+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=524286
27.08/27.15	c 16384 ~x1088309+8192 ~x1088308+4096 ~x1088307+2048 ~x1088306+1024 ~x1088305+512 ~x1088304+256 ~x1088303+128 ~x1088302+64 ~x1088301+32 ~x1088300+16 ~x1088299+8 ~x1088298+4 ~x1088297+2 ~x1088296+1 ~x1088295+16384 x3566+8192 x3565+4096 x3564+2048 x3563+1024 x3562+512 x3561+256 x3560+128 x3559+64 x3558+32 x3557+16 x3556+8 x3555+4 x3554+2 x3553+1 x3552+16384 x376+8192 x375+4096 x374+2048 x373+1024 x372+512 x371+256 x370+128 x369+64 x368+32 x367+16 x366+8 x365+4 x364+2 x363+1 x362-0=63487
27.27/27.31	c 131072 ~x1094957+65536 ~x1094956+32768 ~x1094955+16384 ~x1094954+8192 ~x1094953+4096 ~x1094952+2048 ~x1094951+1024 ~x1094950+512 ~x1094949+256 ~x1094948+128 ~x1094947+64 ~x1094946+32 ~x1094945+16 ~x1094944+8 ~x1094943+4 ~x1094942+2 ~x1094941+1 ~x1094940+131072 x3539+65536 x3538+32768 x3537+16384 x3536+8192 x3535+4096 x3534+2048 x3533+1024 x3532+512 x3531+256 x3530+128 x3529+64 x3528+32 x3527+16 x3526+8 x3525+4 x3524+2 x3523+1 x3522+30720 x1880+131072 ~x753+65536 ~x752+32768 ~x751+16384 ~x750+8192 ~x749+4096 ~x748+2048 ~x747+1024 ~x746+512 ~x745+256 ~x744+128 ~x743+64 ~x742+32 ~x741+16 ~x740+8 ~x739+4 ~x738+2 ~x737+1 ~x736+131072 x632+65536 x631+32768 x630+16384 x629+8192 x628+4096 x627+2048 x626+1024 x625+512 x624+256 x623+128 x622+64 x621+32 x620+16 x619+8 x618+4 x617+2 x616+1 x615-0=524286
27.58/27.64	c 8192 ~x1109427+4096 ~x1109426+2048 ~x1109425+1024 ~x1109424+512 ~x1109423+256 ~x1109422+128 ~x1109421+64 ~x1109420+32 ~x1109419+16 ~x1109418+8 ~x1109417+4 ~x1109416+2 ~x1109415+1 ~x1109414+8192 x3535+4096 x3534+2048 x3533+1024 x3532+512 x3531+256 x3530+128 x3529+64 x3528+32 x3527+16 x3526+8 x3525+4 x3524+2 x3523+1 x3522+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=26623
27.68/27.78	c 131072 ~x1115215+65536 ~x1115214+32768 ~x1115213+16384 ~x1115212+8192 ~x1115211+4096 ~x1115210+2048 ~x1115209+1024 ~x1115208+512 ~x1115207+256 ~x1115206+128 ~x1115205+64 ~x1115204+32 ~x1115203+16 ~x1115202+8 ~x1115201+4 ~x1115200+2 ~x1115199+1 ~x1115198+131072 x3509+65536 x3508+32768 x3507+16384 x3506+8192 x3505+4096 x3504+2048 x3503+1024 x3502+512 x3501+256 x3500+128 x3499+64 x3498+32 x3497+16 x3496+8 x3495+4 x3494+2 x3493+1 x3492+10240 x1879+131072 ~x735+65536 ~x734+32768 ~x733+16384 ~x732+8192 ~x731+4096 ~x730+2048 ~x729+1024 ~x728+512 ~x727+256 ~x726+128 ~x725+64 ~x724+32 ~x723+16 ~x722+8 ~x721+4 ~x720+2 ~x719+1 ~x718+131072 x379+65536 x378+32768 x377+16384 x376+8192 x375+4096 x374+2048 x373+1024 x372+512 x371+256 x370+128 x369+64 x368+32 x367+16 x366+8 x365+4 x364+2 x363+1 x362-0=524286
28.08/28.11	c 32768 ~x1129687+16384 ~x1129686+8192 ~x1129685+4096 ~x1129684+2048 ~x1129683+1024 ~x1129682+512 ~x1129681+256 ~x1129680+128 ~x1129679+64 ~x1129678+32 ~x1129677+16 ~x1129676+8 ~x1129675+4 ~x1129674+2 ~x1129673+1 ~x1129672+32768 x3657+16384 x3656+8192 x3655+4096 x3654+2048 x3653+1024 x3652+512 x3651+256 x3650+128 x3649+64 x3648+32 x3647+16 x3646+8 x3645+4 x3644+2 x3643+1 x3642+32768 x842+16384 x841+8192 x840+4096 x839+2048 x838+1024 x837+512 x836+256 x835+128 x834+64 x833+32 x832+16 x831+8 x830+4 x829+2 x828+1 x827-0=106495
28.77/28.85	c 131072 ~x1162322+65536 ~x1162321+32768 ~x1162320+16384 ~x1162319+8192 ~x1162318+4096 ~x1162317+2048 ~x1162316+1024 ~x1162315+512 ~x1162314+256 ~x1162313+128 ~x1162312+64 ~x1162311+32 ~x1162310+16 ~x1162309+8 ~x1162308+4 ~x1162307+2 ~x1162306+1 ~x1162305+131072 x3599+65536 x3598+32768 x3597+16384 x3596+8192 x3595+4096 x3594+2048 x3593+1024 x3592+512 x3591+256 x3590+128 x3589+64 x3588+32 x3587+16 x3586+8 x3585+4 x3584+2 x3583+1 x3582+40960 x1912+131072 x1064+65536 x1063+32768 x1062+16384 x1061+8192 x1060+4096 x1059+2048 x1058+1024 x1057+512 x1056+256 x1055+128 x1054+64 x1053+32 x1052+16 x1051+8 x1050+4 x1049+2 x1048+1 x1047+131072 ~x789+65536 ~x788+32768 ~x787+16384 ~x786+8192 ~x785+4096 ~x784+2048 ~x783+1024 ~x782+512 ~x781+256 ~x780+128 ~x779+64 ~x778+32 ~x777+16 ~x776+8 ~x775+4 ~x774+2 ~x773+1 ~x772-0=524286
29.08/29.18	c 32768 ~x1176794+16384 ~x1176793+8192 ~x1176792+4096 ~x1176791+2048 ~x1176790+1024 ~x1176789+512 ~x1176788+256 ~x1176787+128 ~x1176786+64 ~x1176785+32 ~x1176784+16 ~x1176783+8 ~x1176782+4 ~x1176781+2 ~x1176780+1 ~x1176779+32768 x1062+16384 x1061+8192 x1060+4096 x1059+2048 x1058+1024 x1057+512 x1056+256 x1055+128 x1054+64 x1053+32 x1052+16 x1051+8 x1050+4 x1049+2 x1048+1 x1047-0=116735
29.18/29.29	c 131072 ~x1181258+65536 ~x1181257+32768 ~x1181256+16384 ~x1181255+8192 ~x1181254+4096 ~x1181253+2048 ~x1181252+1024 ~x1181251+512 ~x1181250+256 ~x1181249+128 ~x1181248+64 ~x1181247+32 ~x1181246+16 ~x1181245+8 ~x1181244+4 ~x1181243+2 ~x1181242+1 ~x1181241+131072 x3659+65536 x3658+32768 x3657+16384 x3656+8192 x3655+4096 x3654+2048 x3653+1024 x3652+512 x3651+256 x3650+128 x3649+64 x3648+32 x3647+16 x3646+8 x3645+4 x3644+2 x3643+1 x3642+51200 x1913+131072 ~x807+65536 ~x806+32768 ~x805+16384 ~x804+8192 ~x803+4096 ~x802+2048 ~x801+1024 ~x800+512 ~x799+256 ~x798+128 ~x797+64 ~x796+32 ~x795+16 ~x794+8 ~x793+4 ~x792+2 ~x791+1 ~x790-0=524286
29.47/29.54	c 32768 ~x1191842+16384 ~x1191841+8192 ~x1191840+4096 ~x1191839+2048 ~x1191838+1024 ~x1191837+512 ~x1191836+256 ~x1191835+128 ~x1191834+64 ~x1191833+32 ~x1191832+16 ~x1191831+8 ~x1191830+4 ~x1191829+2 ~x1191828+1 ~x1191827+32768 x3687+16384 x3686+8192 x3685+4096 x3684+2048 x3683+1024 x3682+512 x3681+256 x3680+128 x3679+64 x3678+32 x3677+16 x3676+8 x3675+4 x3674+2 x3673+1 x3672-0=106495
29.58/29.65	c 262144 ~x1196307+131072 ~x1196306+65536 ~x1196305+32768 ~x1196304+16384 ~x1196303+8192 ~x1196302+4096 ~x1196301+2048 ~x1196300+1024 ~x1196299+512 ~x1196298+256 ~x1196297+128 ~x1196296+64 ~x1196295+32 ~x1196294+16 ~x1196293+8 ~x1196292+4 ~x1196291+2 ~x1196290+1 ~x1196289+40960 x1914+262144 x1280+131072 x1279+65536 x1278+32768 x1277+16384 x1276+8192 x1275+4096 x1274+2048 x1273+1024 x1272+512 x1271+256 x1270+128 x1269+64 x1268+32 x1267+16 x1266+8 x1265+4 x1264+2 x1263+1 x1262+262144 ~x826+131072 ~x825+65536 ~x824+32768 ~x823+16384 ~x822+8192 ~x821+4096 ~x820+2048 ~x819+1024 ~x818+512 ~x817+256 ~x816+128 ~x815+64 ~x814+32 ~x813+16 ~x812+8 ~x811+4 ~x810+2 ~x809+1 ~x808-0=1048574
29.87/29.91	c 32768 ~x1207539+16384 ~x1207538+8192 ~x1207537+4096 ~x1207536+2048 ~x1207535+1024 ~x1207534+512 ~x1207533+256 ~x1207532+128 ~x1207531+64 ~x1207530+32 ~x1207529+16 ~x1207528+8 ~x1207527+4 ~x1207526+2 ~x1207525+1 ~x1207524+32768 x3717+16384 x3716+8192 x3715+4096 x3714+2048 x3713+1024 x3712+512 x3711+256 x3710+128 x3709+64 x3708+32 x3707+16 x3706+8 x3705+4 x3704+2 x3703+1 x3702+32768 x1277+16384 x1276+8192 x1275+4096 x1274+2048 x1273+1024 x1272+512 x1271+256 x1270+128 x1269+64 x1268+32 x1267+16 x1266+8 x1265+4 x1264+2 x1263+1 x1262-0=116735
29.97/30.08	c 262144 ~x1214692+131072 ~x1214691+65536 ~x1214690+32768 ~x1214689+16384 ~x1214688+8192 ~x1214687+4096 ~x1214686+2048 ~x1214685+1024 ~x1214684+512 ~x1214683+256 ~x1214682+128 ~x1214681+64 ~x1214680+32 ~x1214679+16 ~x1214678+8 ~x1214677+4 ~x1214676+2 ~x1214675+1 ~x1214674+262144 x3690+131072 x3689+65536 x3688+32768 x3687+16384 x3686+8192 x3685+4096 x3684+2048 x3683+1024 x3682+512 x3681+256 x3680+128 x3679+64 x3678+32 x3677+16 x3676+8 x3675+4 x3674+2 x3673+1 x3672+51200 x1915+262144 x1497+131072 x1496+65536 x1495+32768 x1494+16384 x1493+8192 x1492+4096 x1491+2048 x1490+1024 x1489+512 x1488+256 x1487+128 x1486+64 x1485+32 x1484+16 x1483+8 x1482+4 x1481+2 x1480+1 x1479+262144 ~x875+131072 ~x874+65536 ~x873+32768 ~x872+16384 ~x871+8192 ~x870+4096 ~x869+2048 ~x868+1024 ~x867+512 ~x866+256 ~x865+128 ~x864+64 ~x863+32 ~x862+16 ~x861+8 ~x860+4 ~x859+2 ~x858+1 ~x857-0=1048574
30.37/30.45	c 65536 ~x1230700+32768 ~x1230699+16384 ~x1230698+8192 ~x1230697+4096 ~x1230696+2048 ~x1230695+1024 ~x1230694+512 ~x1230693+256 ~x1230692+128 ~x1230691+64 ~x1230690+32 ~x1230689+16 ~x1230688+8 ~x1230687+4 ~x1230686+2 ~x1230685+1 ~x1230684+65536 x3778+32768 x3777+16384 x3776+8192 x3775+4096 x3774+2048 x3773+1024 x3772+512 x3771+256 x3770+128 x3769+64 x3768+32 x3767+16 x3766+8 x3765+4 x3764+2 x3763+1 x3762+65536 x1705+32768 x1704+16384 x1703+8192 x1702+4096 x1701+2048 x1700+1024 x1699+512 x1698+256 x1697+128 x1696+64 x1695+32 x1694+16 x1693+8 x1692+4 x1691+2 x1690+1 x1689-0=233471
30.57/30.63	c 262144 ~x1238606+131072 ~x1238605+65536 ~x1238604+32768 ~x1238603+16384 ~x1238602+8192 ~x1238601+4096 ~x1238600+2048 ~x1238599+1024 ~x1238598+512 ~x1238597+256 ~x1238596+128 ~x1238595+64 ~x1238594+32 ~x1238593+16 ~x1238592+8 ~x1238591+4 ~x1238590+2 ~x1238589+1 ~x1238588+262144 x3750+131072 x3749+65536 x3748+32768 x3747+16384 x3746+8192 x3745+4096 x3744+2048 x3743+1024 x3742+512 x3741+256 x3740+128 x3739+64 x3738+32 x3737+16 x3736+8 x3735+4 x3734+2 x3733+1 x3732+102400 x1917+262144 x1859+131072 x1858+65536 x1857+32768 x1856+16384 x1855+8192 x1854+4096 x1853+2048 x1852+1024 x1851+512 x1850+256 x1849+128 x1848+64 x1847+32 x1846+16 x1845+8 x1844+4 x1843+2 x1842+1 x1841+262144 ~x913+131072 ~x912+65536 ~x911+32768 ~x910+16384 ~x909+8192 ~x908+4096 ~x907+2048 ~x906+1024 ~x905+512 ~x904+256 ~x903+128 ~x902+64 ~x901+32 ~x900+16 ~x899+8 ~x898+4 ~x897+2 ~x896+1 ~x895-0=1048574
30.98/31.02	c 32768 ~x1254613+16384 ~x1254612+8192 ~x1254611+4096 ~x1254610+2048 ~x1254609+1024 ~x1254608+512 ~x1254607+256 ~x1254606+128 ~x1254605+64 ~x1254604+32 ~x1254603+16 ~x1254602+8 ~x1254601+4 ~x1254600+2 ~x1254599+1 ~x1254598+32768 x3807+16384 x3806+8192 x3805+4096 x3804+2048 x3803+1024 x3802+512 x3801+256 x3800+128 x3799+64 x3798+32 x3797+16 x3796+8 x3795+4 x3794+2 x3793+1 x3792+32768 x1856+16384 x1855+8192 x1854+4096 x1853+2048 x1852+1024 x1851+512 x1850+256 x1849+128 x1848+64 x1847+32 x1846+16 x1845+8 x1844+4 x1843+2 x1842+1 x1841-0=106495
31.67/31.76	c 262144 ~x1287606+131072 ~x1287605+65536 ~x1287604+32768 ~x1287603+16384 ~x1287602+8192 ~x1287601+4096 ~x1287600+2048 ~x1287599+1024 ~x1287598+512 ~x1287597+256 ~x1287596+128 ~x1287595+64 ~x1287594+32 ~x1287593+16 ~x1287592+8 ~x1287591+4 ~x1287590+2 ~x1287589+1 ~x1287588+262144 x3780+131072 x3779+65536 x3778+32768 x3777+16384 x3776+8192 x3775+4096 x3774+2048 x3773+1024 x3772+512 x3771+256 x3770+128 x3769+64 x3768+32 x3767+16 x3766+8 x3765+4 x3764+2 x3763+1 x3762+40960 x1918+262144 x1899+131072 x1898+65536 x1897+32768 x1896+16384 x1895+8192 x1894+4096 x1893+2048 x1892+1024 x1891+512 x1890+256 x1889+128 x1888+64 x1887+32 x1886+16 x1885+8 x1884+4 x1883+2 x1882+1 x1881+262144 ~x932+131072 ~x931+65536 ~x930+32768 ~x929+16384 ~x928+8192 ~x927+4096 ~x926+2048 ~x925+1024 ~x924+512 ~x923+256 ~x922+128 ~x921+64 ~x920+32 ~x919+16 ~x918+8 ~x917+4 ~x916+2 ~x915+1 ~x914-0=1048574
32.08/32.13	c 65536 ~x1303614+32768 ~x1303613+16384 ~x1303612+8192 ~x1303611+4096 ~x1303610+2048 ~x1303609+1024 ~x1303608+512 ~x1303607+256 ~x1303606+128 ~x1303605+64 ~x1303604+32 ~x1303603+16 ~x1303602+8 ~x1303601+4 ~x1303600+2 ~x1303599+1 ~x1303598+65536 x3838+32768 x3837+16384 x3836+8192 x3835+4096 x3834+2048 x3833+1024 x3832+512 x3831+256 x3830+128 x3829+64 x3828+32 x3827+16 x3826+8 x3825+4 x3824+2 x3823+1 x3822+65536 x1897+32768 x1896+16384 x1895+8192 x1894+4096 x1893+2048 x1892+1024 x1891+512 x1890+256 x1889+128 x1888+64 x1887+32 x1886+16 x1885+8 x1884+4 x1883+2 x1882+1 x1881-0=212991
32.28/32.31	c 262144 ~x1311520+131072 ~x1311519+65536 ~x1311518+32768 ~x1311517+16384 ~x1311516+8192 ~x1311515+4096 ~x1311514+2048 ~x1311513+1024 ~x1311512+512 ~x1311511+256 ~x1311510+128 ~x1311509+64 ~x1311508+32 ~x1311507+16 ~x1311506+8 ~x1311505+4 ~x1311504+2 ~x1311503+1 ~x1311502+262144 x3810+131072 x3809+65536 x3808+32768 x3807+16384 x3806+8192 x3805+4096 x3804+2048 x3803+1024 x3802+512 x3801+256 x3800+128 x3799+64 x3798+32 x3797+16 x3796+8 x3795+4 x3794+2 x3793+1 x3792+262144 x1969+131072 x1968+65536 x1967+32768 x1966+16384 x1965+8192 x1964+4096 x1963+2048 x1962+1024 x1961+512 x1960+256 x1959+128 x1958+64 x1957+32 x1956+16 x1955+8 x1954+4 x1953+2 x1952+1 x1951+81920 x1919+262144 ~x951+131072 ~x950+65536 ~x949+32768 ~x948+16384 ~x947+8192 ~x946+4096 ~x945+2048 ~x944+1024 ~x943+512 ~x942+256 ~x941+128 ~x940+64 ~x939+32 ~x938+16 ~x937+8 ~x936+4 ~x935+2 ~x934+1 ~x933-0=1048574
32.57/32.68	c 65536 ~x1327528+32768 ~x1327527+16384 ~x1327526+8192 ~x1327525+4096 ~x1327524+2048 ~x1327523+1024 ~x1327522+512 ~x1327521+256 ~x1327520+128 ~x1327519+64 ~x1327518+32 ~x1327517+16 ~x1327516+8 ~x1327515+4 ~x1327514+2 ~x1327513+1 ~x1327512+65536 x3868+32768 x3867+16384 x3866+8192 x3865+4096 x3864+2048 x3863+1024 x3862+512 x3861+256 x3860+128 x3859+64 x3858+32 x3857+16 x3856+8 x3855+4 x3854+2 x3853+1 x3852+65536 x1967+32768 x1966+16384 x1965+8192 x1964+4096 x1963+2048 x1962+1024 x1961+512 x1960+256 x1959+128 x1958+64 x1957+32 x1956+16 x1955+8 x1954+4 x1953+2 x1952+1 x1951-0=223231
32.77/32.86	c 262144 ~x1335434+131072 ~x1335433+65536 ~x1335432+32768 ~x1335431+16384 ~x1335430+8192 ~x1335429+4096 ~x1335428+2048 ~x1335427+1024 ~x1335426+512 ~x1335425+256 ~x1335424+128 ~x1335423+64 ~x1335422+32 ~x1335421+16 ~x1335420+8 ~x1335419+4 ~x1335418+2 ~x1335417+1 ~x1335416+262144 x3840+131072 x3839+65536 x3838+32768 x3837+16384 x3836+8192 x3835+4096 x3834+2048 x3833+1024 x3832+512 x3831+256 x3830+128 x3829+64 x3828+32 x3827+16 x3826+8 x3825+4 x3824+2 x3823+1 x3822+262144 x2009+131072 x2008+65536 x2007+32768 x2006+16384 x2005+8192 x2004+4096 x2003+2048 x2002+1024 x2001+512 x2000+256 x1999+128 x1998+64 x1997+32 x1996+16 x1995+8 x1994+4 x1993+2 x1992+1 x1991+92160 x1920+262144 ~x970+131072 ~x969+65536 ~x968+32768 ~x967+16384 ~x966+8192 ~x965+4096 ~x964+2048 ~x963+1024 ~x962+512 ~x961+256 ~x960+128 ~x959+64 ~x958+32 ~x957+16 ~x956+8 ~x955+4 ~x954+2 ~x953+1 ~x952-0=1048574
33.17/33.23	c 131072 ~x1351443+65536 ~x1351442+32768 ~x1351441+16384 ~x1351440+8192 ~x1351439+4096 ~x1351438+2048 ~x1351437+1024 ~x1351436+512 ~x1351435+256 ~x1351434+128 ~x1351433+64 ~x1351432+32 ~x1351431+16 ~x1351430+8 ~x1351429+4 ~x1351428+2 ~x1351427+1 ~x1351426+131072 x2008+65536 x2007+32768 x2006+16384 x2005+8192 x2004+4096 x2003+2048 x2002+1024 x2001+512 x2000+256 x1999+128 x1998+64 x1997+32 x1996+16 x1995+8 x1994+4 x1993+2 x1992+1 x1991-0=425983
33.27/33.39	c 262144 ~x1357926+131072 ~x1357925+65536 ~x1357924+32768 ~x1357923+16384 ~x1357922+8192 ~x1357921+4096 ~x1357920+2048 ~x1357919+1024 ~x1357918+512 ~x1357917+256 ~x1357916+128 ~x1357915+64 ~x1357914+32 ~x1357913+16 ~x1357912+8 ~x1357911+4 ~x1357910+2 ~x1357909+1 ~x1357908+262144 x3870+131072 x3869+65536 x3868+32768 x3867+16384 x3866+8192 x3865+4096 x3864+2048 x3863+1024 x3862+512 x3861+256 x3860+128 x3859+64 x3858+32 x3857+16 x3856+8 x3855+4 x3854+2 x3853+1 x3852+163840 x1981+262144 ~x989+131072 ~x988+65536 ~x987+32768 ~x986+16384 ~x985+8192 ~x984+4096 ~x983+2048 ~x982+1024 ~x981+512 ~x980+256 ~x979+128 ~x978+64 ~x977+32 ~x976+16 ~x975+8 ~x974+4 ~x973+2 ~x972+1 ~x971-0=1048574
33.57/33.66	c 65536 ~x1369659+32768 ~x1369658+16384 ~x1369657+8192 ~x1369656+4096 ~x1369655+2048 ~x1369654+1024 ~x1369653+512 ~x1369652+256 ~x1369651+128 ~x1369650+64 ~x1369649+32 ~x1369648+16 ~x1369647+8 ~x1369646+4 ~x1369645+2 ~x1369644+1 ~x1369643+65536 x3928+32768 x3927+16384 x3926+8192 x3925+4096 x3924+2048 x3923+1024 x3922+512 x3921+256 x3920+128 x3919+64 x3918+32 x3917+16 x3916+8 x3915+4 x3914+2 x3913+1 x3912+65536 x2047+32768 x2046+16384 x2045+8192 x2044+4096 x2043+2048 x2042+1024 x2041+512 x2040+256 x2039+128 x2038+64 x2037+32 x2036+16 x2035+8 x2034+4 x2033+2 x2032+1 x2031-0=233471
33.78/33.84	c 262144 ~x1377565+131072 ~x1377564+65536 ~x1377563+32768 ~x1377562+16384 ~x1377561+8192 ~x1377560+4096 ~x1377559+2048 ~x1377558+1024 ~x1377557+512 ~x1377556+256 ~x1377555+128 ~x1377554+64 ~x1377553+32 ~x1377552+16 ~x1377551+8 ~x1377550+4 ~x1377549+2 ~x1377548+1 ~x1377547+262144 x3900+131072 x3899+65536 x3898+32768 x3897+16384 x3896+8192 x3895+4096 x3894+2048 x3893+1024 x3892+512 x3891+256 x3890+128 x3889+64 x3888+32 x3887+16 x3886+8 x3885+4 x3884+2 x3883+1 x3882+262144 x2089+131072 x2088+65536 x2087+32768 x2086+16384 x2085+8192 x2084+4096 x2083+2048 x2082+1024 x2081+512 x2080+256 x2079+128 x2078+64 x2077+32 x2076+16 x2075+8 x2074+4 x2073+2 x2072+1 x2071+102400 x1983+262144 ~x1027+131072 ~x1026+65536 ~x1025+32768 ~x1024+16384 ~x1023+8192 ~x1022+4096 ~x1021+2048 ~x1020+1024 ~x1019+512 ~x1018+256 ~x1017+128 ~x1016+64 ~x1015+32 ~x1014+16 ~x1013+8 ~x1012+4 ~x1011+2 ~x1010+1 ~x1009-0=1048574
34.17/34.21	c 65536 ~x1393573+32768 ~x1393572+16384 ~x1393571+8192 ~x1393570+4096 ~x1393569+2048 ~x1393568+1024 ~x1393567+512 ~x1393566+256 ~x1393565+128 ~x1393564+64 ~x1393563+32 ~x1393562+16 ~x1393561+8 ~x1393560+4 ~x1393559+2 ~x1393558+1 ~x1393557+65536 x3988+32768 x3987+16384 x3986+8192 x3985+4096 x3984+2048 x3983+1024 x3982+512 x3981+256 x3980+128 x3979+64 x3978+32 x3977+16 x3976+8 x3975+4 x3974+2 x3973+1 x3972+65536 x2087+32768 x2086+16384 x2085+8192 x2084+4096 x2083+2048 x2082+1024 x2081+512 x2080+256 x2079+128 x2078+64 x2077+32 x2076+16 x2075+8 x2074+4 x2073+2 x2072+1 x2071-0=233471
35.57/35.61	c 262144 ~x1455835+131072 ~x1455834+65536 ~x1455833+32768 ~x1455832+16384 ~x1455831+8192 ~x1455830+4096 ~x1455829+2048 ~x1455828+1024 ~x1455827+512 ~x1455826+256 ~x1455825+128 ~x1455824+64 ~x1455823+32 ~x1455822+16 ~x1455821+8 ~x1455820+4 ~x1455819+2 ~x1455818+1 ~x1455817+262144 x3930+131072 x3929+65536 x3928+32768 x3927+16384 x3926+8192 x3925+4096 x3924+2048 x3923+1024 x3922+512 x3921+256 x3920+128 x3919+64 x3918+32 x3917+16 x3916+8 x3915+4 x3914+2 x3913+1 x3912+262144 x2129+131072 x2128+65536 x2127+32768 x2126+16384 x2125+8192 x2124+4096 x2123+2048 x2122+1024 x2121+512 x2120+256 x2119+128 x2118+64 x2117+32 x2116+16 x2115+8 x2114+4 x2113+2 x2112+1 x2111+102400 x1984+262144 ~x1046+131072 ~x1045+65536 ~x1044+32768 ~x1043+16384 ~x1042+8192 ~x1041+4096 ~x1040+2048 ~x1039+1024 ~x1038+512 ~x1037+256 ~x1036+128 ~x1035+64 ~x1034+32 ~x1033+16 ~x1032+8 ~x1031+4 ~x1030+2 ~x1029+1 ~x1028-0=1048574
35.87/35.98	c 131072 ~x1471844+65536 ~x1471843+32768 ~x1471842+16384 ~x1471841+8192 ~x1471840+4096 ~x1471839+2048 ~x1471838+1024 ~x1471837+512 ~x1471836+256 ~x1471835+128 ~x1471834+64 ~x1471833+32 ~x1471832+16 ~x1471831+8 ~x1471830+4 ~x1471829+2 ~x1471828+1 ~x1471827+131072 x4019+65536 x4018+32768 x4017+16384 x4016+8192 x4015+4096 x4014+2048 x4013+1024 x4012+512 x4011+256 x4010+128 x4009+64 x4008+32 x4007+16 x4006+8 x4005+4 x4004+2 x4003+1 x4002+131072 x2128+65536 x2127+32768 x2126+16384 x2125+8192 x2124+4096 x2123+2048 x2122+1024 x2121+512 x2120+256 x2119+128 x2118+64 x2117+32 x2116+16 x2115+8 x2114+4 x2113+2 x2112+1 x2111-0=415743
36.18/36.22	c 262144 ~x1482215+131072 ~x1482214+65536 ~x1482213+32768 ~x1482212+16384 ~x1482211+8192 ~x1482210+4096 ~x1482209+2048 ~x1482208+1024 ~x1482207+512 ~x1482206+256 ~x1482205+128 ~x1482204+64 ~x1482203+32 ~x1482202+16 ~x1482201+8 ~x1482200+4 ~x1482199+2 ~x1482198+1 ~x1482197+262144 x3990+131072 x3989+65536 x3988+32768 x3987+16384 x3986+8192 x3985+4096 x3984+2048 x3983+1024 x3982+512 x3981+256 x3980+128 x3979+64 x3978+32 x3977+16 x3976+8 x3975+4 x3974+2 x3973+1 x3972+262144 x2160+131072 x2159+65536 x2158+32768 x2157+16384 x2156+8192 x2155+4096 x2154+2048 x2153+1024 x2152+512 x2151+256 x2150+128 x2149+64 x2148+32 x2147+16 x2146+8 x2145+4 x2144+2 x2143+1 x2142+153600 x1985+262144 ~x1095+131072 ~x1094+65536 ~x1093+32768 ~x1092+16384 ~x1091+8192 ~x1090+4096 ~x1089+2048 ~x1088+1024 ~x1087+512 ~x1086+256 ~x1085+128 ~x1084+64 ~x1083+32 ~x1082+16 ~x1081+8 ~x1080+4 ~x1079+2 ~x1078+1 ~x1077-0=1048574
36.47/36.59	c 131072 ~x1498224+65536 ~x1498223+32768 ~x1498222+16384 ~x1498221+8192 ~x1498220+4096 ~x1498219+2048 ~x1498218+1024 ~x1498217+512 ~x1498216+256 ~x1498215+128 ~x1498214+64 ~x1498213+32 ~x1498212+16 ~x1498211+8 ~x1498210+4 ~x1498209+2 ~x1498208+1 ~x1498207+131072 x4049+65536 x4048+32768 x4047+16384 x4046+8192 x4045+4096 x4044+2048 x4043+1024 x4042+512 x4041+256 x4040+128 x4039+64 x4038+32 x4037+16 x4036+8 x4035+4 x4034+2 x4033+1 x4032+131072 x2159+65536 x2158+32768 x2157+16384 x2156+8192 x2155+4096 x2154+2048 x2153+1024 x2152+512 x2151+256 x2150+128 x2149+64 x2148+32 x2147+16 x2146+8 x2145+4 x2144+2 x2143+1 x2142-0=425983
36.78/36.83	c 262144 ~x1508595+131072 ~x1508594+65536 ~x1508593+32768 ~x1508592+16384 ~x1508591+8192 ~x1508590+4096 ~x1508589+2048 ~x1508588+1024 ~x1508587+512 ~x1508586+256 ~x1508585+128 ~x1508584+64 ~x1508583+32 ~x1508582+16 ~x1508581+8 ~x1508580+4 ~x1508579+2 ~x1508578+1 ~x1508577+262144 x4020+131072 x4019+65536 x4018+32768 x4017+16384 x4016+8192 x4015+4096 x4014+2048 x4013+1024 x4012+512 x4011+256 x4010+128 x4009+64 x4008+32 x4007+16 x4006+8 x4005+4 x4004+2 x4003+1 x4002+262144 x2190+131072 x2189+65536 x2188+32768 x2187+16384 x2186+8192 x2185+4096 x2184+2048 x2183+1024 x2182+512 x2181+256 x2180+128 x2179+64 x2178+32 x2177+16 x2176+8 x2175+4 x2174+2 x2173+1 x2172+163840 x1986+262144 ~x1114+131072 ~x1113+65536 ~x1112+32768 ~x1111+16384 ~x1110+8192 ~x1109+4096 ~x1108+2048 ~x1107+1024 ~x1106+512 ~x1105+256 ~x1104+128 ~x1103+64 ~x1102+32 ~x1101+16 ~x1100+8 ~x1099+4 ~x1098+2 ~x1097+1 ~x1096-0=1048574
37.18/37.20	c 65536 ~x1524603+32768 ~x1524602+16384 ~x1524601+8192 ~x1524600+4096 ~x1524599+2048 ~x1524598+1024 ~x1524597+512 ~x1524596+256 ~x1524595+128 ~x1524594+64 ~x1524593+32 ~x1524592+16 ~x1524591+8 ~x1524590+4 ~x1524589+2 ~x1524588+1 ~x1524587+65536 x4078+32768 x4077+16384 x4076+8192 x4075+4096 x4074+2048 x4073+1024 x4072+512 x4071+256 x4070+128 x4069+64 x4068+32 x4067+16 x4066+8 x4065+4 x4064+2 x4063+1 x4062+65536 x2188+32768 x2187+16384 x2186+8192 x2185+4096 x2184+2048 x2183+1024 x2182+512 x2181+256 x2180+128 x2179+64 x2178+32 x2177+16 x2176+8 x2175+4 x2174+2 x2173+1 x2172-0=223231
37.28/37.38	c 262144 ~x1532509+131072 ~x1532508+65536 ~x1532507+32768 ~x1532506+16384 ~x1532505+8192 ~x1532504+4096 ~x1532503+2048 ~x1532502+1024 ~x1532501+512 ~x1532500+256 ~x1532499+128 ~x1532498+64 ~x1532497+32 ~x1532496+16 ~x1532495+8 ~x1532494+4 ~x1532493+2 ~x1532492+1 ~x1532491+262144 x4050+131072 x4049+65536 x4048+32768 x4047+16384 x4046+8192 x4045+4096 x4044+2048 x4043+1024 x4042+512 x4041+256 x4040+128 x4039+64 x4038+32 x4037+16 x4036+8 x4035+4 x4034+2 x4033+1 x4032+262144 x2220+131072 x2219+65536 x2218+32768 x2217+16384 x2216+8192 x2215+4096 x2214+2048 x2213+1024 x2212+512 x2211+256 x2210+128 x2209+64 x2208+32 x2207+16 x2206+8 x2205+4 x2204+2 x2203+1 x2202+92160 x1987+262144 ~x1133+131072 ~x1132+65536 ~x1131+32768 ~x1130+16384 ~x1129+8192 ~x1128+4096 ~x1127+2048 ~x1126+1024 ~x1125+512 ~x1124+256 ~x1123+128 ~x1122+64 ~x1121+32 ~x1120+16 ~x1119+8 ~x1118+4 ~x1117+2 ~x1116+1 ~x1115-0=1048574
37.67/37.75	c 65536 ~x1548517+32768 ~x1548516+16384 ~x1548515+8192 ~x1548514+4096 ~x1548513+2048 ~x1548512+1024 ~x1548511+512 ~x1548510+256 ~x1548509+128 ~x1548508+64 ~x1548507+32 ~x1548506+16 ~x1548505+8 ~x1548504+4 ~x1548503+2 ~x1548502+1 ~x1548501+65536 x4108+32768 x4107+16384 x4106+8192 x4105+4096 x4104+2048 x4103+1024 x4102+512 x4101+256 x4100+128 x4099+64 x4098+32 x4097+16 x4096+8 x4095+4 x4094+2 x4093+1 x4092+65536 x2218+32768 x2217+16384 x2216+8192 x2215+4096 x2214+2048 x2213+1024 x2212+512 x2211+256 x2210+128 x2209+64 x2208+32 x2207+16 x2206+8 x2205+4 x2204+2 x2203+1 x2202-0=233471
37.87/37.94	c 262144 ~x1556423+131072 ~x1556422+65536 ~x1556421+32768 ~x1556420+16384 ~x1556419+8192 ~x1556418+4096 ~x1556417+2048 ~x1556416+1024 ~x1556415+512 ~x1556414+256 ~x1556413+128 ~x1556412+64 ~x1556411+32 ~x1556410+16 ~x1556409+8 ~x1556408+4 ~x1556407+2 ~x1556406+1 ~x1556405+262144 x4080+131072 x4079+65536 x4078+32768 x4077+16384 x4076+8192 x4075+4096 x4074+2048 x4073+1024 x4072+512 x4071+256 x4070+128 x4069+64 x4068+32 x4067+16 x4066+8 x4065+4 x4064+2 x4063+1 x4062+262144 x2250+131072 x2249+65536 x2248+32768 x2247+16384 x2246+8192 x2245+4096 x2244+2048 x2243+1024 x2242+512 x2241+256 x2240+128 x2239+64 x2238+32 x2237+16 x2236+8 x2235+4 x2234+2 x2233+1 x2232+102400 x1988+262144 ~x1152+131072 ~x1151+65536 ~x1150+32768 ~x1149+16384 ~x1148+8192 ~x1147+4096 ~x1146+2048 ~x1145+1024 ~x1144+512 ~x1143+256 ~x1142+128 ~x1141+64 ~x1140+32 ~x1139+16 ~x1138+8 ~x1137+4 ~x1136+2 ~x1135+1 ~x1134-0=1048574
38.27/38.32	c 65536 ~x1572431+32768 ~x1572430+16384 ~x1572429+8192 ~x1572428+4096 ~x1572427+2048 ~x1572426+1024 ~x1572425+512 ~x1572424+256 ~x1572423+128 ~x1572422+64 ~x1572421+32 ~x1572420+16 ~x1572419+8 ~x1572418+4 ~x1572417+2 ~x1572416+1 ~x1572415+65536 x2248+32768 x2247+16384 x2246+8192 x2245+4096 x2244+2048 x2243+1024 x2242+512 x2241+256 x2240+128 x2239+64 x2238+32 x2237+16 x2236+8 x2235+4 x2234+2 x2233+1 x2232-0=233471
39.57/39.65	c 262144 ~x1631735+131072 ~x1631734+65536 ~x1631733+32768 ~x1631732+16384 ~x1631731+8192 ~x1631730+4096 ~x1631729+2048 ~x1631728+1024 ~x1631727+512 ~x1631726+256 ~x1631725+128 ~x1631724+64 ~x1631723+32 ~x1631722+16 ~x1631721+8 ~x1631720+4 ~x1631719+2 ~x1631718+1 ~x1631717+262144 x4110+131072 x4109+65536 x4108+32768 x4107+16384 x4106+8192 x4105+4096 x4104+2048 x4103+1024 x4102+512 x4101+256 x4100+128 x4099+64 x4098+32 x4097+16 x4096+8 x4095+4 x4094+2 x4093+1 x4092+102400 x1989+262144 ~x1171+131072 ~x1170+65536 ~x1169+32768 ~x1168+16384 ~x1167+8192 ~x1166+4096 ~x1165+2048 ~x1164+1024 ~x1163+512 ~x1162+256 ~x1161+128 ~x1160+64 ~x1159+32 ~x1158+16 ~x1157+8 ~x1156+4 ~x1155+2 ~x1154+1 ~x1153-0=1048574
39.87/39.92	c 32768 ~x1643467+16384 ~x1643466+8192 ~x1643465+4096 ~x1643464+2048 ~x1643463+1024 ~x1643462+512 ~x1643461+256 ~x1643460+128 ~x1643459+64 ~x1643458+32 ~x1643457+16 ~x1643456+8 ~x1643455+4 ~x1643454+2 ~x1643453+1 ~x1643452+32768 x4137+16384 x4136+8192 x4135+4096 x4134+2048 x4133+1024 x4132+512 x4131+256 x4130+128 x4129+64 x4128+32 x4127+16 x4126+8 x4125+4 x4124+2 x4123+1 x4122-0=116735
39.97/40.03	c 131072 ~x1647931+65536 ~x1647930+32768 ~x1647929+16384 ~x1647928+8192 ~x1647927+4096 ~x1647926+2048 ~x1647925+1024 ~x1647924+512 ~x1647923+256 ~x1647922+128 ~x1647921+64 ~x1647920+32 ~x1647919+16 ~x1647918+8 ~x1647917+4 ~x1647916+2 ~x1647915+1 ~x1647914+131072 x2279+65536 x2278+32768 x2277+16384 x2276+8192 x2275+4096 x2274+2048 x2273+1024 x2272+512 x2271+256 x2270+128 x2269+64 x2268+32 x2267+16 x2266+8 x2265+4 x2264+2 x2263+1 x2262+51200 x1990+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=524286
40.17/40.28	c 16384 ~x1658514+8192 ~x1658513+4096 ~x1658512+2048 ~x1658511+1024 ~x1658510+512 ~x1658509+256 ~x1658508+128 ~x1658507+64 ~x1658506+32 ~x1658505+16 ~x1658504+8 ~x1658503+4 ~x1658502+2 ~x1658501+1 ~x1658500+16384 x4196+8192 x4195+4096 x4194+2048 x4193+1024 x4192+512 x4191+256 x4190+128 x4189+64 x4188+32 x4187+16 x4186+8 x4185+4 x4184+2 x4183+1 x4182+16384 x2336+8192 x2335+4096 x2334+2048 x2333+1024 x2332+512 x2331+256 x2330+128 x2329+64 x2328+32 x2327+16 x2326+8 x2325+4 x2324+2 x2323+1 x2322-0=53247
40.37/40.43	c 131072 ~x1665162+65536 ~x1665161+32768 ~x1665160+16384 ~x1665159+8192 ~x1665158+4096 ~x1665157+2048 ~x1665156+1024 ~x1665155+512 ~x1665154+256 ~x1665153+128 ~x1665152+64 ~x1665151+32 ~x1665150+16 ~x1665149+8 ~x1665148+4 ~x1665147+2 ~x1665146+1 ~x1665145+131072 x4169+65536 x4168+32768 x4167+16384 x4166+8192 x4165+4096 x4164+2048 x4163+1024 x4162+512 x4161+256 x4160+128 x4159+64 x4158+32 x4157+16 x4156+8 x4155+4 x4154+2 x4153+1 x4152+131072 x2369+65536 x2368+32768 x2367+16384 x2366+8192 x2365+4096 x2364+2048 x2363+1024 x2362+512 x2361+256 x2360+128 x2359+64 x2358+32 x2357+16 x2356+8 x2355+4 x2354+2 x2353+1 x2352+20480 x2022+131072 ~x1225+65536 ~x1224+32768 ~x1223+16384 ~x1222+8192 ~x1221+4096 ~x1220+2048 ~x1219+1024 ~x1218+512 ~x1217+256 ~x1216+128 ~x1215+64 ~x1214+32 ~x1213+16 ~x1212+8 ~x1211+4 ~x1210+2 ~x1209+1 ~x1208-0=524286
40.68/40.77	c 32768 ~x1679634+16384 ~x1679633+8192 ~x1679632+4096 ~x1679631+2048 ~x1679630+1024 ~x1679629+512 ~x1679628+256 ~x1679627+128 ~x1679626+64 ~x1679625+32 ~x1679624+16 ~x1679623+8 ~x1679622+4 ~x1679621+2 ~x1679620+1 ~x1679619+32768 x4227+16384 x4226+8192 x4225+4096 x4224+2048 x4223+1024 x4222+512 x4221+256 x4220+128 x4219+64 x4218+32 x4217+16 x4216+8 x4215+4 x4214+2 x4213+1 x4212+32768 x2367+16384 x2366+8192 x2365+4096 x2364+2048 x2363+1024 x2362+512 x2361+256 x2360+128 x2359+64 x2358+32 x2357+16 x2356+8 x2355+4 x2354+2 x2353+1 x2352-0=106495
40.87/40.94	c 131072 ~x1686786+65536 ~x1686785+32768 ~x1686784+16384 ~x1686783+8192 ~x1686782+4096 ~x1686781+2048 ~x1686780+1024 ~x1686779+512 ~x1686778+256 ~x1686777+128 ~x1686776+64 ~x1686775+32 ~x1686774+16 ~x1686773+8 ~x1686772+4 ~x1686771+2 ~x1686770+1 ~x1686769+131072 x4199+65536 x4198+32768 x4197+16384 x4196+8192 x4195+4096 x4194+2048 x4193+1024 x4192+512 x4191+256 x4190+128 x4189+64 x4188+32 x4187+16 x4186+8 x4185+4 x4184+2 x4183+1 x4182+131072 x2399+65536 x2398+32768 x2397+16384 x2396+8192 x2395+4096 x2394+2048 x2393+1024 x2392+512 x2391+256 x2390+128 x2389+64 x2388+32 x2387+16 x2386+8 x2385+4 x2384+2 x2383+1 x2382+40960 x2023+131072 ~x1243+65536 ~x1242+32768 ~x1241+16384 ~x1240+8192 ~x1239+4096 ~x1238+2048 ~x1237+1024 ~x1236+512 ~x1235+256 ~x1234+128 ~x1233+64 ~x1232+32 ~x1231+16 ~x1230+8 ~x1229+4 ~x1228+2 ~x1227+1 ~x1226-0=524286
41.17/41.27	c 8192 ~x1701256+4096 ~x1701255+2048 ~x1701254+1024 ~x1701253+512 ~x1701252+256 ~x1701251+128 ~x1701250+64 ~x1701249+32 ~x1701248+16 ~x1701247+8 ~x1701246+4 ~x1701245+2 ~x1701244+1 ~x1701243+8192 x4255+4096 x4254+2048 x4253+1024 x4252+512 x4251+256 x4250+128 x4249+64 x4248+32 x4247+16 x4246+8 x4245+4 x4244+2 x4243+1 x4242+8192 x2395+4096 x2394+2048 x2393+1024 x2392+512 x2391+256 x2390+128 x2389+64 x2388+32 x2387+16 x2386+8 x2385+4 x2384+2 x2383+1 x2382-0=26623
41.37/41.41	c 131072 ~x1707044+65536 ~x1707043+32768 ~x1707042+16384 ~x1707041+8192 ~x1707040+4096 ~x1707039+2048 ~x1707038+1024 ~x1707037+512 ~x1707036+256 ~x1707035+128 ~x1707034+64 ~x1707033+32 ~x1707032+16 ~x1707031+8 ~x1707030+4 ~x1707029+2 ~x1707028+1 ~x1707027+131072 x4229+65536 x4228+32768 x4227+16384 x4226+8192 x4225+4096 x4224+2048 x4223+1024 x4222+512 x4221+256 x4220+128 x4219+64 x4218+32 x4217+16 x4216+8 x4215+4 x4214+2 x4213+1 x4212+131072 x2429+65536 x2428+32768 x2427+16384 x2426+8192 x2425+4096 x2424+2048 x2423+1024 x2422+512 x2421+256 x2420+128 x2419+64 x2418+32 x2417+16 x2416+8 x2415+4 x2414+2 x2413+1 x2412+10240 x2024+131072 ~x1261+65536 ~x1260+32768 ~x1259+16384 ~x1258+8192 ~x1257+4096 ~x1256+2048 ~x1255+1024 ~x1254+512 ~x1253+256 ~x1252+128 ~x1251+64 ~x1250+32 ~x1249+16 ~x1248+8 ~x1247+4 ~x1246+2 ~x1245+1 ~x1244-0=524286
41.68/41.74	c 8192 ~x1721514+4096 ~x1721513+2048 ~x1721512+1024 ~x1721511+512 ~x1721510+256 ~x1721509+128 ~x1721508+64 ~x1721507+32 ~x1721506+16 ~x1721505+8 ~x1721504+4 ~x1721503+2 ~x1721502+1 ~x1721501+8192 x4315+4096 x4314+2048 x4313+1024 x4312+512 x4311+256 x4310+128 x4309+64 x4308+32 x4307+16 x4306+8 x4305+4 x4304+2 x4303+1 x4302+8192 x2425+4096 x2424+2048 x2423+1024 x2422+512 x2421+256 x2420+128 x2419+64 x2418+32 x2417+16 x2416+8 x2415+4 x2414+2 x2413+1 x2412-0=26623
44.27/44.32	c 131072 ~x1836014+65536 ~x1836013+32768 ~x1836012+16384 ~x1836011+8192 ~x1836010+4096 ~x1836009+2048 ~x1836008+1024 ~x1836007+512 ~x1836006+256 ~x1836005+128 ~x1836004+64 ~x1836003+32 ~x1836002+16 ~x1836001+8 ~x1836000+4 ~x1835999+2 ~x1835998+1 ~x1835997+131072 x4259+65536 x4258+32768 x4257+16384 x4256+8192 x4255+4096 x4254+2048 x4253+1024 x4252+512 x4251+256 x4250+128 x4249+64 x4248+32 x4247+16 x4246+8 x4245+4 x4244+2 x4243+1 x4242+131072 x2459+65536 x2458+32768 x2457+16384 x2456+8192 x2455+4096 x2454+2048 x2453+1024 x2452+512 x2451+256 x2450+128 x2449+64 x2448+32 x2447+16 x2446+8 x2445+4 x2444+2 x2443+1 x2442+10240 x2025+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=524286
44.57/44.65	c 16384 ~x1850485+8192 ~x1850484+4096 ~x1850483+2048 ~x1850482+1024 ~x1850481+512 ~x1850480+256 ~x1850479+128 ~x1850478+64 ~x1850477+32 ~x1850476+16 ~x1850475+8 ~x1850474+4 ~x1850473+2 ~x1850472+1 ~x1850471+16384 x4346+8192 x4345+4096 x4344+2048 x4343+1024 x4342+512 x4341+256 x4340+128 x4339+64 x4338+32 x4337+16 x4336+8 x4335+4 x4334+2 x4333+1 x4332+16384 x2456+8192 x2455+4096 x2454+2048 x2453+1024 x2452+512 x2451+256 x2450+128 x2449+64 x2448+32 x2447+16 x2446+8 x2445+4 x2444+2 x2443+1 x2442-0=53247
44.77/44.81	c 131072 ~x1857133+65536 ~x1857132+32768 ~x1857131+16384 ~x1857130+8192 ~x1857129+4096 ~x1857128+2048 ~x1857127+1024 ~x1857126+512 ~x1857125+256 ~x1857124+128 ~x1857123+64 ~x1857122+32 ~x1857121+16 ~x1857120+8 ~x1857119+4 ~x1857118+2 ~x1857117+1 ~x1857116+131072 x4319+65536 x4318+32768 x4317+16384 x4316+8192 x4315+4096 x4314+2048 x4313+1024 x4312+512 x4311+256 x4310+128 x4309+64 x4308+32 x4307+16 x4306+8 x4305+4 x4304+2 x4303+1 x4302+131072 x2489+65536 x2488+32768 x2487+16384 x2486+8192 x2485+4096 x2484+2048 x2483+1024 x2482+512 x2481+256 x2480+128 x2479+64 x2478+32 x2477+16 x2476+8 x2475+4 x2474+2 x2473+1 x2472+20480 x2026+131072 ~x1327+65536 ~x1326+32768 ~x1325+16384 ~x1324+8192 ~x1323+4096 ~x1322+2048 ~x1321+1024 ~x1320+512 ~x1319+256 ~x1318+128 ~x1317+64 ~x1316+32 ~x1315+16 ~x1314+8 ~x1313+4 ~x1312+2 ~x1311+1 ~x1310-0=524286
45.08/45.14	c 8192 ~x1871603+4096 ~x1871602+2048 ~x1871601+1024 ~x1871600+512 ~x1871599+256 ~x1871598+128 ~x1871597+64 ~x1871596+32 ~x1871595+16 ~x1871594+8 ~x1871593+4 ~x1871592+2 ~x1871591+1 ~x1871590+8192 x2485+4096 x2484+2048 x2483+1024 x2482+512 x2481+256 x2480+128 x2479+64 x2478+32 x2477+16 x2476+8 x2475+4 x2474+2 x2473+1 x2472-0=26623
45.17/45.23	c 131072 ~x1875165+65536 ~x1875164+32768 ~x1875163+16384 ~x1875162+8192 ~x1875161+4096 ~x1875160+2048 ~x1875159+1024 ~x1875158+512 ~x1875157+256 ~x1875156+128 ~x1875155+64 ~x1875154+32 ~x1875153+16 ~x1875152+8 ~x1875151+4 ~x1875150+2 ~x1875149+1 ~x1875148+131072 x4349+65536 x4348+32768 x4347+16384 x4346+8192 x4345+4096 x4344+2048 x4343+1024 x4342+512 x4341+256 x4340+128 x4339+64 x4338+32 x4337+16 x4336+8 x4335+4 x4334+2 x4333+1 x4332+10240 x2027+131072 ~x1345+65536 ~x1344+32768 ~x1343+16384 ~x1342+8192 ~x1341+4096 ~x1340+2048 ~x1339+1024 ~x1338+512 ~x1337+256 ~x1336+128 ~x1335+64 ~x1334+32 ~x1333+16 ~x1332+8 ~x1331+4 ~x1330+2 ~x1329+1 ~x1328-0=524286
45.37/45.47	c 65536 ~x1885750+32768 ~x1885749+16384 ~x1885748+8192 ~x1885747+4096 ~x1885746+2048 ~x1885745+1024 ~x1885744+512 ~x1885743+256 ~x1885742+128 ~x1885741+64 ~x1885740+32 ~x1885739+16 ~x1885738+8 ~x1885737+4 ~x1885736+2 ~x1885735+1 ~x1885734+65536 x4378+32768 x4377+16384 x4376+8192 x4375+4096 x4374+2048 x4373+1024 x4372+512 x4371+256 x4370+128 x4369+64 x4368+32 x4367+16 x4366+8 x4365+4 x4364+2 x4363+1 x4362-0=202751
45.47/45.59	c 262144 ~x1890698+131072 ~x1890697+65536 ~x1890696+32768 ~x1890695+16384 ~x1890694+8192 ~x1890693+4096 ~x1890692+2048 ~x1890691+1024 ~x1890690+512 ~x1890689+256 ~x1890688+128 ~x1890687+64 ~x1890686+32 ~x1890685+16 ~x1890684+8 ~x1890683+4 ~x1890682+2 ~x1890681+1 ~x1890680+262144 x2520+131072 x2519+65536 x2518+32768 x2517+16384 x2516+8192 x2515+4096 x2514+2048 x2513+1024 x2512+512 x2511+256 x2510+128 x2509+64 x2508+32 x2507+16 x2506+8 x2505+4 x2504+2 x2503+1 x2502+71680 x2028+262144 ~x1364+131072 ~x1363+65536 ~x1362+32768 ~x1361+16384 ~x1360+8192 ~x1359+4096 ~x1358+2048 ~x1357+1024 ~x1356+512 ~x1355+256 ~x1354+128 ~x1353+64 ~x1352+32 ~x1351+16 ~x1350+8 ~x1349+4 ~x1348+2 ~x1347+1 ~x1346-0=1048574
45.77/45.86	c 32768 ~x1902430+16384 ~x1902429+8192 ~x1902428+4096 ~x1902427+2048 ~x1902426+1024 ~x1902425+512 ~x1902424+256 ~x1902423+128 ~x1902422+64 ~x1902421+32 ~x1902420+16 ~x1902419+8 ~x1902418+4 ~x1902417+2 ~x1902416+1 ~x1902415+32768 x4407+16384 x4406+8192 x4405+4096 x4404+2048 x4403+1024 x4402+512 x4401+256 x4400+128 x4399+64 x4398+32 x4397+16 x4396+8 x4395+4 x4394+2 x4393+1 x4392+32768 x2517+16384 x2516+8192 x2515+4096 x2514+2048 x2513+1024 x2512+512 x2511+256 x2510+128 x2509+64 x2508+32 x2507+16 x2506+8 x2505+4 x2504+2 x2503+1 x2502-0=106495
45.97/46.03	c 262144 ~x1909583+131072 ~x1909582+65536 ~x1909581+32768 ~x1909580+16384 ~x1909579+8192 ~x1909578+4096 ~x1909577+2048 ~x1909576+1024 ~x1909575+512 ~x1909574+256 ~x1909573+128 ~x1909572+64 ~x1909571+32 ~x1909570+16 ~x1909569+8 ~x1909568+4 ~x1909567+2 ~x1909566+1 ~x1909565+262144 x4380+131072 x4379+65536 x4378+32768 x4377+16384 x4376+8192 x4375+4096 x4374+2048 x4373+1024 x4372+512 x4371+256 x4370+128 x4369+64 x4368+32 x4367+16 x4366+8 x4365+4 x4364+2 x4363+1 x4362+262144 x2550+131072 x2549+65536 x2548+32768 x2547+16384 x2546+8192 x2545+4096 x2544+2048 x2543+1024 x2542+512 x2541+256 x2540+128 x2539+64 x2538+32 x2537+16 x2536+8 x2535+4 x2534+2 x2533+1 x2532+40960 x2029+262144 ~x1383+131072 ~x1382+65536 ~x1381+32768 ~x1380+16384 ~x1379+8192 ~x1378+4096 ~x1377+2048 ~x1376+1024 ~x1375+512 ~x1374+256 ~x1373+128 ~x1372+64 ~x1371+32 ~x1370+16 ~x1369+8 ~x1368+4 ~x1367+2 ~x1366+1 ~x1365-0=1048574
46.37/46.40	c 32768 ~x1925590+16384 ~x1925589+8192 ~x1925588+4096 ~x1925587+2048 ~x1925586+1024 ~x1925585+512 ~x1925584+256 ~x1925583+128 ~x1925582+64 ~x1925581+32 ~x1925580+16 ~x1925579+8 ~x1925578+4 ~x1925577+2 ~x1925576+1 ~x1925575+32768 x4437+16384 x4436+8192 x4435+4096 x4434+2048 x4433+1024 x4432+512 x4431+256 x4430+128 x4429+64 x4428+32 x4427+16 x4426+8 x4425+4 x4424+2 x4423+1 x4422+32768 x2547+16384 x2546+8192 x2545+4096 x2544+2048 x2543+1024 x2542+512 x2541+256 x2540+128 x2539+64 x2538+32 x2537+16 x2536+8 x2535+4 x2534+2 x2533+1 x2532-0=106495
47.77/47.81	c 262144 ~x1987099+131072 ~x1987098+65536 ~x1987097+32768 ~x1987096+16384 ~x1987095+8192 ~x1987094+4096 ~x1987093+2048 ~x1987092+1024 ~x1987091+512 ~x1987090+256 ~x1987089+128 ~x1987088+64 ~x1987087+32 ~x1987086+16 ~x1987085+8 ~x1987084+4 ~x1987083+2 ~x1987082+1 ~x1987081+262144 x4410+131072 x4409+65536 x4408+32768 x4407+16384 x4406+8192 x4405+4096 x4404+2048 x4403+1024 x4402+512 x4401+256 x4400+128 x4399+64 x4398+32 x4397+16 x4396+8 x4395+4 x4394+2 x4393+1 x4392+262144 x2580+131072 x2579+65536 x2578+32768 x2577+16384 x2576+8192 x2575+4096 x2574+2048 x2573+1024 x2572+512 x2571+256 x2570+128 x2569+64 x2568+32 x2567+16 x2566+8 x2565+4 x2564+2 x2563+1 x2562+40960 x2030+262144 ~x1402+131072 ~x1401+65536 ~x1400+32768 ~x1399+16384 ~x1398+8192 ~x1397+4096 ~x1396+2048 ~x1395+1024 ~x1394+512 ~x1393+256 ~x1392+128 ~x1391+64 ~x1390+32 ~x1389+16 ~x1388+8 ~x1387+4 ~x1386+2 ~x1385+1 ~x1384-0=1048574
48.07/48.17	c 32768 ~x2003106+16384 ~x2003105+8192 ~x2003104+4096 ~x2003103+2048 ~x2003102+1024 ~x2003101+512 ~x2003100+256 ~x2003099+128 ~x2003098+64 ~x2003097+32 ~x2003096+16 ~x2003095+8 ~x2003094+4 ~x2003093+2 ~x2003092+1 ~x2003091+32768 x4467+16384 x4466+8192 x4465+4096 x4464+2048 x4463+1024 x4462+512 x4461+256 x4460+128 x4459+64 x4458+32 x4457+16 x4456+8 x4455+4 x4454+2 x4453+1 x4452+32768 x2577+16384 x2576+8192 x2575+4096 x2574+2048 x2573+1024 x2572+512 x2571+256 x2570+128 x2569+64 x2568+32 x2567+16 x2566+8 x2565+4 x2564+2 x2563+1 x2562-0=106495
48.27/48.34	c 262144 ~x2010259+131072 ~x2010258+65536 ~x2010257+32768 ~x2010256+16384 ~x2010255+8192 ~x2010254+4096 ~x2010253+2048 ~x2010252+1024 ~x2010251+512 ~x2010250+256 ~x2010249+128 ~x2010248+64 ~x2010247+32 ~x2010246+16 ~x2010245+8 ~x2010244+4 ~x2010243+2 ~x2010242+1 ~x2010241+262144 x4440+131072 x4439+65536 x4438+32768 x4437+16384 x4436+8192 x4435+4096 x4434+2048 x4433+1024 x4432+512 x4431+256 x4430+128 x4429+64 x4428+32 x4427+16 x4426+8 x4425+4 x4424+2 x4423+1 x4422+262144 x2610+131072 x2609+65536 x2608+32768 x2607+16384 x2606+8192 x2605+4096 x2604+2048 x2603+1024 x2602+512 x2601+256 x2600+128 x2599+64 x2598+32 x2597+16 x2596+8 x2595+4 x2594+2 x2593+1 x2592+40960 x2061+262144 ~x1421+131072 ~x1420+65536 ~x1419+32768 ~x1418+16384 ~x1417+8192 ~x1416+4096 ~x1415+2048 ~x1414+1024 ~x1413+512 ~x1412+256 ~x1411+128 ~x1410+64 ~x1409+32 ~x1408+16 ~x1407+8 ~x1406+4 ~x1405+2 ~x1404+1 ~x1403-0=1048574
48.67/48.71	c 65536 ~x2026267+32768 ~x2026266+16384 ~x2026265+8192 ~x2026264+4096 ~x2026263+2048 ~x2026262+1024 ~x2026261+512 ~x2026260+256 ~x2026259+128 ~x2026258+64 ~x2026257+32 ~x2026256+16 ~x2026255+8 ~x2026254+4 ~x2026253+2 ~x2026252+1 ~x2026251+65536 x4498+32768 x4497+16384 x4496+8192 x4495+4096 x4494+2048 x4493+1024 x4492+512 x4491+256 x4490+128 x4489+64 x4488+32 x4487+16 x4486+8 x4485+4 x4484+2 x4483+1 x4482+65536 x2608+32768 x2607+16384 x2606+8192 x2605+4096 x2604+2048 x2603+1024 x2602+512 x2601+256 x2600+128 x2599+64 x2598+32 x2597+16 x2596+8 x2595+4 x2594+2 x2593+1 x2592-0=233471
48.76/48.89	c 262144 ~x2034173+131072 ~x2034172+65536 ~x2034171+32768 ~x2034170+16384 ~x2034169+8192 ~x2034168+4096 ~x2034167+2048 ~x2034166+1024 ~x2034165+512 ~x2034164+256 ~x2034163+128 ~x2034162+64 ~x2034161+32 ~x2034160+16 ~x2034159+8 ~x2034158+4 ~x2034157+2 ~x2034156+1 ~x2034155+262144 x4470+131072 x4469+65536 x4468+32768 x4467+16384 x4466+8192 x4465+4096 x4464+2048 x4463+1024 x4462+512 x4461+256 x4460+128 x4459+64 x4458+32 x4457+16 x4456+8 x4455+4 x4454+2 x4453+1 x4452+262144 x2670+131072 x2669+65536 x2668+32768 x2667+16384 x2666+8192 x2665+4096 x2664+2048 x2663+1024 x2662+512 x2661+256 x2660+128 x2659+64 x2658+32 x2657+16 x2656+8 x2655+4 x2654+2 x2653+1 x2652+102400 x2062+262144 ~x1440+131072 ~x1439+65536 ~x1438+32768 ~x1437+16384 ~x1436+8192 ~x1435+4096 ~x1434+2048 ~x1433+1024 ~x1432+512 ~x1431+256 ~x1430+128 ~x1429+64 ~x1428+32 ~x1427+16 ~x1426+8 ~x1425+4 ~x1424+2 ~x1423+1 ~x1422-0=1048574
49.17/49.25	c 16384 ~x2050179+8192 ~x2050178+4096 ~x2050177+2048 ~x2050176+1024 ~x2050175+512 ~x2050174+256 ~x2050173+128 ~x2050172+64 ~x2050171+32 ~x2050170+16 ~x2050169+8 ~x2050168+4 ~x2050167+2 ~x2050166+1 ~x2050165+16384 x4526+8192 x4525+4096 x4524+2048 x4523+1024 x4522+512 x4521+256 x4520+128 x4519+64 x4518+32 x4517+16 x4516+8 x4515+4 x4514+2 x4513+1 x4512+16384 x2666+8192 x2665+4096 x2664+2048 x2663+1024 x2662+512 x2661+256 x2660+128 x2659+64 x2658+32 x2657+16 x2656+8 x2655+4 x2654+2 x2653+1 x2652-0=53247
49.38/49.41	c 262144 ~x2056828+131072 ~x2056827+65536 ~x2056826+32768 ~x2056825+16384 ~x2056824+8192 ~x2056823+4096 ~x2056822+2048 ~x2056821+1024 ~x2056820+512 ~x2056819+256 ~x2056818+128 ~x2056817+64 ~x2056816+32 ~x2056815+16 ~x2056814+8 ~x2056813+4 ~x2056812+2 ~x2056811+1 ~x2056810+262144 x4500+131072 x4499+65536 x4498+32768 x4497+16384 x4496+8192 x4495+4096 x4494+2048 x4493+1024 x4492+512 x4491+256 x4490+128 x4489+64 x4488+32 x4487+16 x4486+8 x4485+4 x4484+2 x4483+1 x4482+262144 x2700+131072 x2699+65536 x2698+32768 x2697+16384 x2696+8192 x2695+4096 x2694+2048 x2693+1024 x2692+512 x2691+256 x2690+128 x2689+64 x2688+32 x2687+16 x2686+8 x2685+4 x2684+2 x2683+1 x2682+20480 x2063+262144 ~x1459+131072 ~x1458+65536 ~x1457+32768 ~x1456+16384 ~x1455+8192 ~x1454+4096 ~x1453+2048 ~x1452+1024 ~x1451+512 ~x1450+256 ~x1449+128 ~x1448+64 ~x1447+32 ~x1446+16 ~x1445+8 ~x1444+4 ~x1443+2 ~x1442+1 ~x1441-0=1048574
49.67/49.78	c 32768 ~x2072835+16384 ~x2072834+8192 ~x2072833+4096 ~x2072832+2048 ~x2072831+1024 ~x2072830+512 ~x2072829+256 ~x2072828+128 ~x2072827+64 ~x2072826+32 ~x2072825+16 ~x2072824+8 ~x2072823+4 ~x2072822+2 ~x2072821+1 ~x2072820+32768 x4557+16384 x4556+8192 x4555+4096 x4554+2048 x4553+1024 x4552+512 x4551+256 x4550+128 x4549+64 x4548+32 x4547+16 x4546+8 x4545+4 x4544+2 x4543+1 x4542+32768 x2697+16384 x2696+8192 x2695+4096 x2694+2048 x2693+1024 x2692+512 x2691+256 x2690+128 x2689+64 x2688+32 x2687+16 x2686+8 x2685+4 x2684+2 x2683+1 x2682-0=106495
49.86/49.95	c 262144 ~x2079988+131072 ~x2079987+65536 ~x2079986+32768 ~x2079985+16384 ~x2079984+8192 ~x2079983+4096 ~x2079982+2048 ~x2079981+1024 ~x2079980+512 ~x2079979+256 ~x2079978+128 ~x2079977+64 ~x2079976+32 ~x2079975+16 ~x2079974+8 ~x2079973+4 ~x2079972+2 ~x2079971+1 ~x2079970+262144 x4530+131072 x4529+65536 x4528+32768 x4527+16384 x4526+8192 x4525+4096 x4524+2048 x4523+1024 x4522+512 x4521+256 x4520+128 x4519+64 x4518+32 x4517+16 x4516+8 x4515+4 x4514+2 x4513+1 x4512+262144 x2730+131072 x2729+65536 x2728+32768 x2727+16384 x2726+8192 x2725+4096 x2724+2048 x2723+1024 x2722+512 x2721+256 x2720+128 x2719+64 x2718+32 x2717+16 x2716+8 x2715+4 x2714+2 x2713+1 x2712+40960 x2064+262144 ~x1478+131072 ~x1477+65536 ~x1476+32768 ~x1475+16384 ~x1474+8192 ~x1473+4096 ~x1472+2048 ~x1471+1024 ~x1470+512 ~x1469+256 ~x1468+128 ~x1467+64 ~x1466+32 ~x1465+16 ~x1464+8 ~x1463+4 ~x1462+2 ~x1461+1 ~x1460-0=1048574
50.26/50.31	c 32768 ~x2095995+16384 ~x2095994+8192 ~x2095993+4096 ~x2095992+2048 ~x2095991+1024 ~x2095990+512 ~x2095989+256 ~x2095988+128 ~x2095987+64 ~x2095986+32 ~x2095985+16 ~x2095984+8 ~x2095983+4 ~x2095982+2 ~x2095981+1 ~x2095980+32768 x2727+16384 x2726+8192 x2725+4096 x2724+2048 x2723+1024 x2722+512 x2721+256 x2720+128 x2719+64 x2718+32 x2717+16 x2716+8 x2715+4 x2714+2 x2713+1 x2712-0=116735
51.58/51.63	c 262144 ~x2154816+131072 ~x2154815+65536 ~x2154814+32768 ~x2154813+16384 ~x2154812+8192 ~x2154811+4096 ~x2154810+2048 ~x2154809+1024 ~x2154808+512 ~x2154807+256 ~x2154806+128 ~x2154805+64 ~x2154804+32 ~x2154803+16 ~x2154802+8 ~x2154801+4 ~x2154800+2 ~x2154799+1 ~x2154798+262144 x4560+131072 x4559+65536 x4558+32768 x4557+16384 x4556+8192 x4555+4096 x4554+2048 x4553+1024 x4552+512 x4551+256 x4550+128 x4549+64 x4548+32 x4547+16 x4546+8 x4545+4 x4544+2 x4543+1 x4542+51200 x2065+262144 ~x1527+131072 ~x1526+65536 ~x1525+32768 ~x1524+16384 ~x1523+8192 ~x1522+4096 ~x1521+2048 ~x1520+1024 ~x1519+512 ~x1518+256 ~x1517+128 ~x1516+64 ~x1515+32 ~x1514+16 ~x1513+8 ~x1512+4 ~x1511+2 ~x1510+1 ~x1509-0=1048574
51.87/51.90	c 16384 ~x2166547+8192 ~x2166546+4096 ~x2166545+2048 ~x2166544+1024 ~x2166543+512 ~x2166542+256 ~x2166541+128 ~x2166540+64 ~x2166539+32 ~x2166538+16 ~x2166537+8 ~x2166536+4 ~x2166535+2 ~x2166534+1 ~x2166533+16384 x2756+8192 x2755+4096 x2754+2048 x2753+1024 x2752+512 x2751+256 x2750+128 x2749+64 x2748+32 x2747+16 x2746+8 x2745+4 x2744+2 x2743+1 x2742+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62-0=53247
51.97/52.06	c 131072 ~x2173195+65536 ~x2173194+32768 ~x2173193+16384 ~x2173192+8192 ~x2173191+4096 ~x2173190+2048 ~x2173189+1024 ~x2173188+512 ~x2173187+256 ~x2173186+128 ~x2173185+64 ~x2173184+32 ~x2173183+16 ~x2173182+8 ~x2173181+4 ~x2173180+2 ~x2173179+1 ~x2173178+131072 x4589+65536 x4588+32768 x4587+16384 x4586+8192 x4585+4096 x4584+2048 x4583+1024 x4582+512 x4581+256 x4580+128 x4579+64 x4578+32 x4577+16 x4576+8 x4575+4 x4574+2 x4573+1 x4572+131072 x2789+65536 x2788+32768 x2787+16384 x2786+8192 x2785+4096 x2784+2048 x2783+1024 x2782+512 x2781+256 x2780+128 x2779+64 x2778+32 x2777+16 x2776+8 x2775+4 x2774+2 x2773+1 x2772+20480 x2067+131072 ~x1563+65536 ~x1562+32768 ~x1561+16384 ~x1560+8192 ~x1559+4096 ~x1558+2048 ~x1557+1024 ~x1556+512 ~x1555+256 ~x1554+128 ~x1553+64 ~x1552+32 ~x1551+16 ~x1550+8 ~x1549+4 ~x1548+2 ~x1547+1 ~x1546-0=524286
52.27/52.39	c 32768 ~x2187667+16384 ~x2187666+8192 ~x2187665+4096 ~x2187664+2048 ~x2187663+1024 ~x2187662+512 ~x2187661+256 ~x2187660+128 ~x2187659+64 ~x2187658+32 ~x2187657+16 ~x2187656+8 ~x2187655+4 ~x2187654+2 ~x2187653+1 ~x2187652+32768 x2787+16384 x2786+8192 x2785+4096 x2784+2048 x2783+1024 x2782+512 x2781+256 x2780+128 x2779+64 x2778+32 x2777+16 x2776+8 x2775+4 x2774+2 x2773+1 x2772+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92-0=116735
52.47/52.56	c 131072 ~x2194819+65536 ~x2194818+32768 ~x2194817+16384 ~x2194816+8192 ~x2194815+4096 ~x2194814+2048 ~x2194813+1024 ~x2194812+512 ~x2194811+256 ~x2194810+128 ~x2194809+64 ~x2194808+32 ~x2194807+16 ~x2194806+8 ~x2194805+4 ~x2194804+2 ~x2194803+1 ~x2194802+131072 x2819+65536 x2818+32768 x2817+16384 x2816+8192 x2815+4096 x2814+2048 x2813+1024 x2812+512 x2811+256 x2810+128 x2809+64 x2808+32 x2807+16 x2806+8 x2805+4 x2804+2 x2803+1 x2802+51200 x2068+131072 ~x1581+65536 ~x1580+32768 ~x1579+16384 ~x1578+8192 ~x1577+4096 ~x1576+2048 ~x1575+1024 ~x1574+512 ~x1573+256 ~x1572+128 ~x1571+64 ~x1570+32 ~x1569+16 ~x1568+8 ~x1567+4 ~x1566+2 ~x1565+1 ~x1564+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62-0=524286
52.77/52.89	c 8192 ~x2209289+4096 ~x2209288+2048 ~x2209287+1024 ~x2209286+512 ~x2209285+256 ~x2209284+128 ~x2209283+64 ~x2209282+32 ~x2209281+16 ~x2209280+8 ~x2209279+4 ~x2209278+2 ~x2209277+1 ~x2209276+8192 x2815+4096 x2814+2048 x2813+1024 x2812+512 x2811+256 x2810+128 x2809+64 x2808+32 x2807+16 x2806+8 x2805+4 x2804+2 x2803+1 x2802+8192 x135+4096 x134+2048 x133+1024 x132+512 x131+256 x130+128 x129+64 x128+32 x127+16 x126+8 x125+4 x124+2 x123+1 x122-0=26623
52.97/53.03	c 131072 ~x2215077+65536 ~x2215076+32768 ~x2215075+16384 ~x2215074+8192 ~x2215073+4096 ~x2215072+2048 ~x2215071+1024 ~x2215070+512 ~x2215069+256 ~x2215068+128 ~x2215067+64 ~x2215066+32 ~x2215065+16 ~x2215064+8 ~x2215063+4 ~x2215062+2 ~x2215061+1 ~x2215060+131072 x2849+65536 x2848+32768 x2847+16384 x2846+8192 x2845+4096 x2844+2048 x2843+1024 x2842+512 x2841+256 x2840+128 x2839+64 x2838+32 x2837+16 x2836+8 x2835+4 x2834+2 x2833+1 x2832+10240 x2069+131072 ~x1599+65536 ~x1598+32768 ~x1597+16384 ~x1596+8192 ~x1595+4096 ~x1594+2048 ~x1593+1024 ~x1592+512 ~x1591+256 ~x1590+128 ~x1589+64 ~x1588+32 ~x1587+16 ~x1586+8 ~x1585+4 ~x1584+2 ~x1583+1 ~x1582+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92-0=524286
53.26/53.36	c 16384 ~x2229548+8192 ~x2229547+4096 ~x2229546+2048 ~x2229545+1024 ~x2229544+512 ~x2229543+256 ~x2229542+128 ~x2229541+64 ~x2229540+32 ~x2229539+16 ~x2229538+8 ~x2229537+4 ~x2229536+2 ~x2229535+1 ~x2229534+16384 x2846+8192 x2845+4096 x2844+2048 x2843+1024 x2842+512 x2841+256 x2840+128 x2839+64 x2838+32 x2837+16 x2836+8 x2835+4 x2834+2 x2833+1 x2832+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=53247
53.46/53.52	c 131072 ~x2236196+65536 ~x2236195+32768 ~x2236194+16384 ~x2236193+8192 ~x2236192+4096 ~x2236191+2048 ~x2236190+1024 ~x2236189+512 ~x2236188+256 ~x2236187+128 ~x2236186+64 ~x2236185+32 ~x2236184+16 ~x2236183+8 ~x2236182+4 ~x2236181+2 ~x2236180+1 ~x2236179+131072 x2879+65536 x2878+32768 x2877+16384 x2876+8192 x2875+4096 x2874+2048 x2873+1024 x2872+512 x2871+256 x2870+128 x2869+64 x2868+32 x2867+16 x2866+8 x2865+4 x2864+2 x2863+1 x2862+20480 x2070+131072 ~x1617+65536 ~x1616+32768 ~x1615+16384 ~x1614+8192 ~x1613+4096 ~x1612+2048 ~x1611+1024 ~x1610+512 ~x1609+256 ~x1608+128 ~x1607+64 ~x1606+32 ~x1605+16 ~x1604+8 ~x1603+4 ~x1602+2 ~x1601+1 ~x1600+131072 x139+65536 x138+32768 x137+16384 x136+8192 x135+4096 x134+2048 x133+1024 x132+512 x131+256 x130+128 x129+64 x128+32 x127+16 x126+8 x125+4 x124+2 x123+1 x122-0=524286
53.77/53.86	c 32768 ~x2250668+16384 ~x2250667+8192 ~x2250666+4096 ~x2250665+2048 ~x2250664+1024 ~x2250663+512 ~x2250662+256 ~x2250661+128 ~x2250660+64 ~x2250659+32 ~x2250658+16 ~x2250657+8 ~x2250656+4 ~x2250655+2 ~x2250654+1 ~x2250653+32768 x2877+16384 x2876+8192 x2875+4096 x2874+2048 x2873+1024 x2872+512 x2871+256 x2870+128 x2869+64 x2868+32 x2867+16 x2866+8 x2865+4 x2864+2 x2863+1 x2862+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=126975
55.16/55.24	c 131072 ~x2312176+65536 ~x2312175+32768 ~x2312174+16384 ~x2312173+8192 ~x2312172+4096 ~x2312171+2048 ~x2312170+1024 ~x2312169+512 ~x2312168+256 ~x2312167+128 ~x2312166+64 ~x2312165+32 ~x2312164+16 ~x2312163+8 ~x2312162+4 ~x2312161+2 ~x2312160+1 ~x2312159+131072 x2909+65536 x2908+32768 x2907+16384 x2906+8192 x2905+4096 x2904+2048 x2903+1024 x2902+512 x2901+256 x2900+128 x2899+64 x2898+32 x2897+16 x2896+8 x2895+4 x2894+2 x2893+1 x2892+61440 x2101+131072 ~x1635+65536 ~x1634+32768 ~x1633+16384 ~x1632+8192 ~x1631+4096 ~x1630+2048 ~x1629+1024 ~x1628+512 ~x1627+256 ~x1626+128 ~x1625+64 ~x1624+32 ~x1623+16 ~x1622+8 ~x1621+4 ~x1620+2 ~x1619+1 ~x1618+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=524286
55.46/55.58	c 32768 ~x2326648+16384 ~x2326647+8192 ~x2326646+4096 ~x2326645+2048 ~x2326644+1024 ~x2326643+512 ~x2326642+256 ~x2326641+128 ~x2326640+64 ~x2326639+32 ~x2326638+16 ~x2326637+8 ~x2326636+4 ~x2326635+2 ~x2326634+1 ~x2326633+32768 x2907+16384 x2906+8192 x2905+4096 x2904+2048 x2903+1024 x2902+512 x2901+256 x2900+128 x2899+64 x2898+32 x2897+16 x2896+8 x2895+4 x2894+2 x2893+1 x2892+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=106495
55.67/55.75	c 131072 ~x2333800+65536 ~x2333799+32768 ~x2333798+16384 ~x2333797+8192 ~x2333796+4096 ~x2333795+2048 ~x2333794+1024 ~x2333793+512 ~x2333792+256 ~x2333791+128 ~x2333790+64 ~x2333789+32 ~x2333788+16 ~x2333787+8 ~x2333786+4 ~x2333785+2 ~x2333784+1 ~x2333783+131072 x2939+65536 x2938+32768 x2937+16384 x2936+8192 x2935+4096 x2934+2048 x2933+1024 x2932+512 x2931+256 x2930+128 x2929+64 x2928+32 x2927+16 x2926+8 x2925+4 x2924+2 x2923+1 x2922+40960 x2102+131072 ~x1653+65536 ~x1652+32768 ~x1651+16384 ~x1650+8192 ~x1649+4096 ~x1648+2048 ~x1647+1024 ~x1646+512 ~x1645+256 ~x1644+128 ~x1643+64 ~x1642+32 ~x1641+16 ~x1640+8 ~x1639+4 ~x1638+2 ~x1637+1 ~x1636+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=524286
55.97/56.08	c 32768 ~x2348272+16384 ~x2348271+8192 ~x2348270+4096 ~x2348269+2048 ~x2348268+1024 ~x2348267+512 ~x2348266+256 ~x2348265+128 ~x2348264+64 ~x2348263+32 ~x2348262+16 ~x2348261+8 ~x2348260+4 ~x2348259+2 ~x2348258+1 ~x2348257+32768 x2937+16384 x2936+8192 x2935+4096 x2934+2048 x2933+1024 x2932+512 x2931+256 x2930+128 x2929+64 x2928+32 x2927+16 x2926+8 x2925+4 x2924+2 x2923+1 x2922-0=106495
56.07/56.19	c 131072 ~x2352736+65536 ~x2352735+32768 ~x2352734+16384 ~x2352733+8192 ~x2352732+4096 ~x2352731+2048 ~x2352730+1024 ~x2352729+512 ~x2352728+256 ~x2352727+128 ~x2352726+64 ~x2352725+32 ~x2352724+16 ~x2352723+8 ~x2352722+4 ~x2352721+2 ~x2352720+1 ~x2352719+40960 x2103+131072 ~x1671+65536 ~x1670+32768 ~x1669+16384 ~x1668+8192 ~x1667+4096 ~x1666+2048 ~x1665+1024 ~x1664+512 ~x1663+256 ~x1662+128 ~x1661+64 ~x1660+32 ~x1659+16 ~x1658+8 ~x1657+4 ~x1656+2 ~x1655+1 ~x1654+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=524286
56.36/56.44	c 8192 ~x2363318+4096 ~x2363317+2048 ~x2363316+1024 ~x2363315+512 ~x2363314+256 ~x2363313+128 ~x2363312+64 ~x2363311+32 ~x2363310+16 ~x2363309+8 ~x2363308+4 ~x2363307+2 ~x2363306+1 ~x2363305+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242-0=26623
56.47/56.53	c 65536 ~x2366879+32768 ~x2366878+16384 ~x2366877+8192 ~x2366876+4096 ~x2366875+2048 ~x2366874+1024 ~x2366873+512 ~x2366872+256 ~x2366871+128 ~x2366870+64 ~x2366869+32 ~x2366868+16 ~x2366867+8 ~x2366866+4 ~x2366865+2 ~x2366864+1 ~x2366863+65536 x2998+32768 x2997+16384 x2996+8192 x2995+4096 x2994+2048 x2993+1024 x2992+512 x2991+256 x2990+128 x2989+64 x2988+32 x2987+16 x2986+8 x2985+4 x2984+2 x2983+1 x2982+10240 x2104+65536 ~x1688+32768 ~x1687+16384 ~x1686+8192 ~x1685+4096 ~x1684+2048 ~x1683+1024 ~x1682+512 ~x1681+256 ~x1680+128 ~x1679+64 ~x1678+32 ~x1677+16 ~x1676+8 ~x1675+4 ~x1674+2 ~x1673+1 ~x1672-0=262142
56.66/56.71	c 16384 ~x2374955+8192 ~x2374954+4096 ~x2374953+2048 ~x2374952+1024 ~x2374951+512 ~x2374950+256 ~x2374949+128 ~x2374948+64 ~x2374947+32 ~x2374946+16 ~x2374945+8 ~x2374944+4 ~x2374943+2 ~x2374942+1 ~x2374941+16384 x2996+8192 x2995+4096 x2994+2048 x2993+1024 x2992+512 x2991+256 x2990+128 x2989+64 x2988+32 x2987+16 x2986+8 x2985+4 x2984+2 x2983+1 x2982+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272-0=53247
56.76/56.87	c 65536 ~x2381602+32768 ~x2381601+16384 ~x2381600+8192 ~x2381599+4096 ~x2381598+2048 ~x2381597+1024 ~x2381596+512 ~x2381595+256 ~x2381594+128 ~x2381593+64 ~x2381592+32 ~x2381591+16 ~x2381590+8 ~x2381589+4 ~x2381588+2 ~x2381587+1 ~x2381586+65536 x3028+32768 x3027+16384 x3026+8192 x3025+4096 x3024+2048 x3023+1024 x3022+512 x3021+256 x3020+128 x3019+64 x3018+32 x3017+16 x3016+8 x3015+4 x3014+2 x3013+1 x3012+20480 x2105+65536 ~x1735+32768 ~x1734+16384 ~x1733+8192 ~x1732+4096 ~x1731+2048 ~x1730+1024 ~x1729+512 ~x1728+256 ~x1727+128 ~x1726+64 ~x1725+32 ~x1724+16 ~x1723+8 ~x1722+4 ~x1721+2 ~x1720+1 ~x1719+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242-0=262142
57.07/57.18	c 8192 ~x2395208+4096 ~x2395207+2048 ~x2395206+1024 ~x2395205+512 ~x2395204+256 ~x2395203+128 ~x2395202+64 ~x2395201+32 ~x2395200+16 ~x2395199+8 ~x2395198+4 ~x2395197+2 ~x2395196+1 ~x2395195+8192 x3085+4096 x3084+2048 x3083+1024 x3082+512 x3081+256 x3080+128 x3079+64 x3078+32 x3077+16 x3076+8 x3075+4 x3074+2 x3073+1 x3072+8192 x405+4096 x404+2048 x403+1024 x402+512 x401+256 x400+128 x399+64 x398+32 x397+16 x396+8 x395+4 x394+2 x393+1 x392-0=26623
57.87/57.90	c 65536 ~x2426835+32768 ~x2426834+16384 ~x2426833+8192 ~x2426832+4096 ~x2426831+2048 ~x2426830+1024 ~x2426829+512 ~x2426828+256 ~x2426827+128 ~x2426826+64 ~x2426825+32 ~x2426824+16 ~x2426823+8 ~x2426822+4 ~x2426821+2 ~x2426820+1 ~x2426819+65536 x3118+32768 x3117+16384 x3116+8192 x3115+4096 x3114+2048 x3113+1024 x3112+512 x3111+256 x3110+128 x3109+64 x3108+32 x3107+16 x3106+8 x3105+4 x3104+2 x3103+1 x3102+10240 x2108+65536 ~x1786+32768 ~x1785+16384 ~x1784+8192 ~x1783+4096 ~x1782+2048 ~x1781+1024 ~x1780+512 ~x1779+256 ~x1778+128 ~x1777+64 ~x1776+32 ~x1775+16 ~x1774+8 ~x1773+4 ~x1772+2 ~x1771+1 ~x1770+65536 x348+32768 x347+16384 x346+8192 x345+4096 x344+2048 x343+1024 x342+512 x341+256 x340+128 x339+64 x338+32 x337+16 x336+8 x335+4 x334+2 x333+1 x332-0=262142
58.17/58.25	c 8192 ~x2440441+4096 ~x2440440+2048 ~x2440439+1024 ~x2440438+512 ~x2440437+256 ~x2440436+128 ~x2440435+64 ~x2440434+32 ~x2440433+16 ~x2440432+8 ~x2440431+4 ~x2440430+2 ~x2440429+1 ~x2440428+8192 x3115+4096 x3114+2048 x3113+1024 x3112+512 x3111+256 x3110+128 x3109+64 x3108+32 x3107+16 x3106+8 x3105+4 x3104+2 x3103+1 x3102+8192 x435+4096 x434+2048 x433+1024 x432+512 x431+256 x430+128 x429+64 x428+32 x427+16 x426+8 x425+4 x424+2 x423+1 x422-0=26623
58.28/58.39	c 65536 ~x2446228+32768 ~x2446227+16384 ~x2446226+8192 ~x2446225+4096 ~x2446224+2048 ~x2446223+1024 ~x2446222+512 ~x2446221+256 ~x2446220+128 ~x2446219+64 ~x2446218+32 ~x2446217+16 ~x2446216+8 ~x2446215+4 ~x2446214+2 ~x2446213+1 ~x2446212+65536 x3148+32768 x3147+16384 x3146+8192 x3145+4096 x3144+2048 x3143+1024 x3142+512 x3141+256 x3140+128 x3139+64 x3138+32 x3137+16 x3136+8 x3135+4 x3134+2 x3133+1 x3132+10240 x2109+65536 ~x1803+32768 ~x1802+16384 ~x1801+8192 ~x1800+4096 ~x1799+2048 ~x1798+1024 ~x1797+512 ~x1796+256 ~x1795+128 ~x1794+64 ~x1793+32 ~x1792+16 ~x1791+8 ~x1790+4 ~x1789+2 ~x1788+1 ~x1787+65536 x408+32768 x407+16384 x406+8192 x405+4096 x404+2048 x403+1024 x402+512 x401+256 x400+128 x399+64 x398+32 x397+16 x396+8 x395+4 x394+2 x393+1 x392-0=262142
58.66/58.71	c 16384 ~x2459835+8192 ~x2459834+4096 ~x2459833+2048 ~x2459832+1024 ~x2459831+512 ~x2459830+256 ~x2459829+128 ~x2459828+64 ~x2459827+32 ~x2459826+16 ~x2459825+8 ~x2459824+4 ~x2459823+2 ~x2459822+1 ~x2459821+16384 x3146+8192 x3145+4096 x3144+2048 x3143+1024 x3142+512 x3141+256 x3140+128 x3139+64 x3138+32 x3137+16 x3136+8 x3135+4 x3134+2 x3133+1 x3132+16384 x466+8192 x465+4096 x464+2048 x463+1024 x462+512 x461+256 x460+128 x459+64 x458+32 x457+16 x456+8 x455+4 x454+2 x453+1 x452-0=53247
58.77/58.86	c 65536 ~x2466482+32768 ~x2466481+16384 ~x2466480+8192 ~x2466479+4096 ~x2466478+2048 ~x2466477+1024 ~x2466476+512 ~x2466475+256 ~x2466474+128 ~x2466473+64 ~x2466472+32 ~x2466471+16 ~x2466470+8 ~x2466469+4 ~x2466468+2 ~x2466467+1 ~x2466466+65536 x3178+32768 x3177+16384 x3176+8192 x3175+4096 x3174+2048 x3173+1024 x3172+512 x3171+256 x3170+128 x3169+64 x3168+32 x3167+16 x3166+8 x3165+4 x3164+2 x3163+1 x3162+20480 x2110+65536 ~x1820+32768 ~x1819+16384 ~x1818+8192 ~x1817+4096 ~x1816+2048 ~x1815+1024 ~x1814+512 ~x1813+256 ~x1812+128 ~x1811+64 ~x1810+32 ~x1809+16 ~x1808+8 ~x1807+4 ~x1806+2 ~x1805+1 ~x1804+65536 x438+32768 x437+16384 x436+8192 x435+4096 x434+2048 x433+1024 x432+512 x431+256 x430+128 x429+64 x428+32 x427+16 x426+8 x425+4 x424+2 x423+1 x422-0=262142
59.07/59.17	c 16384 ~x2480089+8192 ~x2480088+4096 ~x2480087+2048 ~x2480086+1024 ~x2480085+512 ~x2480084+256 ~x2480083+128 ~x2480082+64 ~x2480081+32 ~x2480080+16 ~x2480079+8 ~x2480078+4 ~x2480077+2 ~x2480076+1 ~x2480075+16384 x3176+8192 x3175+4096 x3174+2048 x3173+1024 x3172+512 x3171+256 x3170+128 x3169+64 x3168+32 x3167+16 x3166+8 x3165+4 x3164+2 x3163+1 x3162-0=63487
59.16/59.27	c 65536 ~x2483968+32768 ~x2483967+16384 ~x2483966+8192 ~x2483965+4096 ~x2483964+2048 ~x2483963+1024 ~x2483962+512 ~x2483961+256 ~x2483960+128 ~x2483959+64 ~x2483958+32 ~x2483957+16 ~x2483956+8 ~x2483955+4 ~x2483954+2 ~x2483953+1 ~x2483952+30720 x2141+65536 ~x1837+32768 ~x1836+16384 ~x1835+8192 ~x1834+4096 ~x1833+2048 ~x1832+1024 ~x1831+512 ~x1830+256 ~x1829+128 ~x1828+64 ~x1827+32 ~x1826+16 ~x1825+8 ~x1824+4 ~x1823+2 ~x1822+1 ~x1821+65536 x468+32768 x467+16384 x466+8192 x465+4096 x464+2048 x463+1024 x462+512 x461+256 x460+128 x459+64 x458+32 x457+16 x45

ERROR: no interpretation found !

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673795-1276800682/watcher-2673795-1276800682 -o /tmp/evaluation-result-2673795-1276800682/solver-2673795-1276800682 -C 1800 -W 2000 -M 1800 run HOME/instance-2673795-1276800682.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16680
/proc/meminfo: memFree=1941496/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0

[startup+0.08468 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16680
/proc/meminfo: memFree=1941496/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101681 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16680
/proc/meminfo: memFree=1941496/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301703 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16680
/proc/meminfo: memFree=1941496/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700749 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 16680
/proc/meminfo: memFree=1941496/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50084 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16683
/proc/meminfo: memFree=1776188/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=225636 CPUtime=1.48
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 56044 0 0 0 69 79 0 0 25 0 1 0 55671906 231051264 55854 1992294400 134512640 134902295 4286773808 18446744073709551615 134893911 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 56409 55854 259 96 0 55621 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 234336

[startup+3.10102 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16683
/proc/meminfo: memFree=1711584/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=248688 CPUtime=3.09
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 70539 0 0 0 224 85 0 0 25 0 1 0 55671906 254656512 61451 1992294400 134512640 134902295 4286773808 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 62172 61451 262 96 0 61384 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 257388

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16683
/proc/meminfo: memFree=1656528/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=305424 CPUtime=6.28
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 86829 0 0 0 538 90 0 0 25 0 1 0 55671906 312754176 75203 1992294400 134512640 134902295 4286773808 18446744073709551615 4160418633 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 76356 75203 262 96 0 75568 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 314124

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16685
/proc/meminfo: memFree=1536248/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=420808 CPUtime=12.68
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 118356 0 0 0 1163 105 0 0 25 0 1 0 55671906 430907392 103858 1992294400 134512640 134902295 4286773808 18446744073709551615 134565230 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 105202 103858 262 96 0 104414 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 429508

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16685
/proc/meminfo: memFree=1300772/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=656844 CPUtime=25.47
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 181606 0 0 0 2415 132 0 0 25 0 1 0 55671906 672608256 161214 1992294400 134512640 134902295 4286773808 18446744073709551615 9254396 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 164211 161214 262 96 0 163423 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 665544

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16685
/proc/meminfo: memFree=833912/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=1146560 CPUtime=51.07
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 304107 0 0 0 4921 186 0 0 25 0 1 0 55671906 1174077440 278947 1992294400 134512640 134902295 4286773808 18446744073709551615 9252736 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 286648 278948 262 96 0 285860 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1155260



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+88.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16687
/proc/meminfo: memFree=156252/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=1871404 CPUtime=88.67
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 483666 0 0 0 8602 265 0 0 25 0 1 0 55671906 1916317696 446834 1992294400 134512640 134902295 4286773808 18446744073709551615 134519664 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 467851 446842 262 96 0 467063 0
Current children cumulated CPU time (s) 88.67
Current children cumulated vsize (KiB) 1880104

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+88.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16687
/proc/meminfo: memFree=156252/2059040 swapFree=4138932/4192956
[pid=16680] ppid=16678 vsize=8700 CPUtime=0
/proc/16680/stat : 16680 (run) S 16678 16680 16364 0 -1 4202496 390 135 0 0 0 0 0 0 20 0 1 0 55671906 8908800 251 1992294400 4194304 4922060 140734358423536 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16680/statm: 2175 251 211 178 0 68 0
[pid=16682] ppid=16680 vsize=1871404 CPUtime=88.67
/proc/16682/stat : 16682 (PBPASSolver) R 16680 16680 16364 0 -1 4202496 483666 0 0 0 8602 265 0 0 25 0 1 0 55671906 1916317696 446834 1992294400 134512640 134902295 4286773808 18446744073709551615 134519664 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16682/statm: 467851 446842 262 96 0 467063 0
Current children cumulated CPU time (s) 88.67
Current children cumulated vsize (KiB) 1880104

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16680 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 88.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 88.7138
CPU time (s): 88.67
CPU user time (s): 86.02
CPU system time (s): 2.65
CPU usage (%): 99.9506
Max. virtual memory (cumulated for all children) (KiB): 1880104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3

runsolver used 0.137979 second user time and 0.450931 second system time

The end

Begin job on node005 at 2010-06-17 20:51:22
IDJOB=2673795
IDBENCH=2534
IDSOLVER=1174
FILE ID=node005/2673795-1276800682
PBS_JOBID= 11176636
Free space on /tmp= 62564 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673795-1276800682/watcher-2673795-1276800682 -o /tmp/evaluation-result-2673795-1276800682/solver-2673795-1276800682 -C 1800 -W 2000 -M 1800  run HOME/instance-2673795-1276800682.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c346de7e1ba29a95ee9f392619231545
RANDOM SEED=482835732

node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.246
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1942016 kB
Buffers:          1052 kB
Cached:          28072 kB
SwapCached:       4408 kB
Active:          26620 kB
Inactive:        12812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1942016 kB
SwapTotal:     4192956 kB
SwapFree:      4138932 kB
Dirty:            1204 kB
Writeback:           0 kB
AnonPages:       10100 kB
Mapped:          12920 kB
Slab:            55896 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181112 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62564 MiB
End job on node005 at 2010-06-17 20:52:53