32.33/32.40	c 7812 285 0 0 0 0 0 0
32.33/32.40	c 2048 ~x1345730+1024 ~x1345729+512 ~x1345728+256 ~x1345727+128 ~x1345726+64 ~x1345725+32 ~x1345724+16 ~x1345723+8 ~x1345722+4 ~x1345721+2 ~x1345720+1 ~x1345719+2048 x7562+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=8190
32.33/32.46	c 8192 ~x1348080+4096 ~x1348079+2048 ~x1348078+1024 ~x1348077+512 ~x1348076+256 ~x1348075+128 ~x1348074+64 ~x1348073+32 ~x1348072+16 ~x1348071+8 ~x1348070+4 ~x1348069+2 ~x1348068+1 ~x1348067+8192 x7563+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=32766
32.43/32.54	c 2048 ~x1351794+1024 ~x1351793+512 ~x1351792+256 ~x1351791+128 ~x1351790+64 ~x1351789+32 ~x1351788+16 ~x1351787+8 ~x1351786+4 ~x1351785+2 ~x1351784+1 ~x1351783+3072 x7564+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=8190
32.52/32.60	c 8192 ~x1354144+4096 ~x1354143+2048 ~x1354142+1024 ~x1354141+512 ~x1354140+256 ~x1354139+128 ~x1354138+64 ~x1354137+32 ~x1354136+16 ~x1354135+8 ~x1354134+4 ~x1354133+2 ~x1354132+1 ~x1354131+9216 x7565+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=32766
32.52/32.69	c 4096 ~x1357859+2048 ~x1357858+1024 ~x1357857+512 ~x1357856+256 ~x1357855+128 ~x1357854+64 ~x1357853+32 ~x1357852+16 ~x1357851+8 ~x1357850+4 ~x1357849+2 ~x1357848+1 ~x1357847+7168 x7566+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=16382
32.62/32.75	c 16384 ~x1360561+8192 ~x1360560+4096 ~x1360559+2048 ~x1360558+1024 ~x1360557+512 ~x1360556+256 ~x1360555+128 ~x1360554+64 ~x1360553+32 ~x1360552+16 ~x1360551+8 ~x1360550+4 ~x1360549+2 ~x1360548+1 ~x1360547+26624 x7567+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=65534
32.72/32.85	c 4096 ~x1364851+2048 ~x1364850+1024 ~x1364849+512 ~x1364848+256 ~x1364847+128 ~x1364846+64 ~x1364845+32 ~x1364844+16 ~x1364843+8 ~x1364842+4 ~x1364841+2 ~x1364840+1 ~x1364839+7168 x7568+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=16382
32.83/32.92	c 16384 ~x1367553+8192 ~x1367552+4096 ~x1367551+2048 ~x1367550+1024 ~x1367549+512 ~x1367548+256 ~x1367547+128 ~x1367546+64 ~x1367545+32 ~x1367544+16 ~x1367543+8 ~x1367542+4 ~x1367541+2 ~x1367540+1 ~x1367539+26624 x7569+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=65534
32.93/33.01	c 2048 ~x1371842+1024 ~x1371841+512 ~x1371840+256 ~x1371839+128 ~x1371838+64 ~x1371837+32 ~x1371836+16 ~x1371835+8 ~x1371834+4 ~x1371833+2 ~x1371832+1 ~x1371831+2048 x7570+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=8190
32.93/33.07	c 8192 ~x1374192+4096 ~x1374191+2048 ~x1374190+1024 ~x1374189+512 ~x1374188+256 ~x1374187+128 ~x1374186+64 ~x1374185+32 ~x1374184+16 ~x1374183+8 ~x1374182+4 ~x1374181+2 ~x1374180+1 ~x1374179+8192 x7571+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=32766
33.02/33.16	c 2048 ~x1377906+1024 ~x1377905+512 ~x1377904+256 ~x1377903+128 ~x1377902+64 ~x1377901+32 ~x1377900+16 ~x1377899+8 ~x1377898+4 ~x1377897+2 ~x1377896+1 ~x1377895+2048 x7572+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=8190
33.13/33.22	c 2048 ~x1380254+1024 ~x1380253+512 ~x1380252+256 ~x1380251+128 ~x1380250+64 ~x1380249+32 ~x1380248+16 ~x1380247+8 ~x1380246+4 ~x1380245+2 ~x1380244+1 ~x1380243+3072 x7573+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=8190
33.13/33.27	c 8192 ~x1382604+4096 ~x1382603+2048 ~x1382602+1024 ~x1382601+512 ~x1382600+256 ~x1382599+128 ~x1382598+64 ~x1382597+32 ~x1382596+16 ~x1382595+8 ~x1382594+4 ~x1382593+2 ~x1382592+1 ~x1382591+14336 x7574+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=32766
33.23/33.36	c 16384 ~x1386321+8192 ~x1386320+4096 ~x1386319+2048 ~x1386318+1024 ~x1386317+512 ~x1386316+256 ~x1386315+128 ~x1386314+64 ~x1386313+32 ~x1386312+16 ~x1386311+8 ~x1386310+4 ~x1386309+2 ~x1386308+1 ~x1386307+21504 x7575+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=65534
33.33/33.46	c 4096 ~x1390611+2048 ~x1390610+1024 ~x1390609+512 ~x1390608+256 ~x1390607+128 ~x1390606+64 ~x1390605+32 ~x1390604+16 ~x1390603+8 ~x1390602+4 ~x1390601+2 ~x1390600+1 ~x1390599+5120 x7576+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=16382
33.43/33.52	c 8192 ~x1393312+4096 ~x1393311+2048 ~x1393310+1024 ~x1393309+512 ~x1393308+256 ~x1393307+128 ~x1393306+64 ~x1393305+32 ~x1393304+16 ~x1393303+8 ~x1393302+4 ~x1393301+2 ~x1393300+1 ~x1393299+14336 x7577+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=32766
33.52/33.61	c 8192 ~x1397028+4096 ~x1397027+2048 ~x1397026+1024 ~x1397025+512 ~x1397024+256 ~x1397023+128 ~x1397022+64 ~x1397021+32 ~x1397020+16 ~x1397019+8 ~x1397018+4 ~x1397017+2 ~x1397016+1 ~x1397015+14336 x7578+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=32766
33.52/33.70	c 8192 ~x1400744+4096 ~x1400743+2048 ~x1400742+1024 ~x1400741+512 ~x1400740+256 ~x1400739+128 ~x1400738+64 ~x1400737+32 ~x1400736+16 ~x1400735+8 ~x1400734+4 ~x1400733+2 ~x1400732+1 ~x1400731+14336 x7579+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=32766
33.62/33.78	c 8192 ~x1404460+4096 ~x1404459+2048 ~x1404458+1024 ~x1404457+512 ~x1404456+256 ~x1404455+128 ~x1404454+64 ~x1404453+32 ~x1404452+16 ~x1404451+8 ~x1404450+4 ~x1404449+2 ~x1404448+1 ~x1404447+9216 x7580+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=32766
33.73/33.87	c 2048 ~x1408174+1024 ~x1408173+512 ~x1408172+256 ~x1408171+128 ~x1408170+64 ~x1408169+32 ~x1408168+16 ~x1408167+8 ~x1408166+4 ~x1408165+2 ~x1408164+1 ~x1408163+3072 x7581+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=8190
33.83/33.93	c 8192 ~x1410524+4096 ~x1410523+2048 ~x1410522+1024 ~x1410521+512 ~x1410520+256 ~x1410519+128 ~x1410518+64 ~x1410517+32 ~x1410516+16 ~x1410515+8 ~x1410514+4 ~x1410513+2 ~x1410512+1 ~x1410511+14336 x7582+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=32766
33.93/34.02	c 2048 ~x1414238+1024 ~x1414237+512 ~x1414236+256 ~x1414235+128 ~x1414234+64 ~x1414233+32 ~x1414232+16 ~x1414231+8 ~x1414230+4 ~x1414229+2 ~x1414228+1 ~x1414227+2048 x7583+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=8190
33.93/34.07	c 8192 ~x1416588+4096 ~x1416587+2048 ~x1416586+1024 ~x1416585+512 ~x1416584+256 ~x1416583+128 ~x1416582+64 ~x1416581+32 ~x1416580+16 ~x1416579+8 ~x1416578+4 ~x1416577+2 ~x1416576+1 ~x1416575+14336 x7584+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=32766
34.03/34.16	c 4096 ~x1420303+2048 ~x1420302+1024 ~x1420301+512 ~x1420300+256 ~x1420299+128 ~x1420298+64 ~x1420297+32 ~x1420296+16 ~x1420295+8 ~x1420294+4 ~x1420293+2 ~x1420292+1 ~x1420291+5120 x7585+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=16382
34.12/34.22	c 2048 ~x1423002+1024 ~x1423001+512 ~x1423000+256 ~x1422999+128 ~x1422998+64 ~x1422997+32 ~x1422996+16 ~x1422995+8 ~x1422994+4 ~x1422993+2 ~x1422992+1 ~x1422991+2048 x7586+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=8190
34.12/34.28	c 8192 ~x1425352+4096 ~x1425351+2048 ~x1425350+1024 ~x1425349+512 ~x1425348+256 ~x1425347+128 ~x1425346+64 ~x1425345+32 ~x1425344+16 ~x1425343+8 ~x1425342+4 ~x1425341+2 ~x1425340+1 ~x1425339+14336 x7587+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=32766
34.22/34.37	c 8192 ~x1429068+4096 ~x1429067+2048 ~x1429066+1024 ~x1429065+512 ~x1429064+256 ~x1429063+128 ~x1429062+64 ~x1429061+32 ~x1429060+16 ~x1429059+8 ~x1429058+4 ~x1429057+2 ~x1429056+1 ~x1429055+9216 x7588+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=32766
34.32/34.46	c 4096 ~x1432783+2048 ~x1432782+1024 ~x1432781+512 ~x1432780+256 ~x1432779+128 ~x1432778+64 ~x1432777+32 ~x1432776+16 ~x1432775+8 ~x1432774+4 ~x1432773+2 ~x1432772+1 ~x1432771+7168 x7589+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=16382
34.42/34.52	c 8192 ~x1435484+4096 ~x1435483+2048 ~x1435482+1024 ~x1435481+512 ~x1435480+256 ~x1435479+128 ~x1435478+64 ~x1435477+32 ~x1435476+16 ~x1435475+8 ~x1435474+4 ~x1435473+2 ~x1435472+1 ~x1435471+14336 x7590+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=32766
34.53/34.61	c 4096 ~x1439199+2048 ~x1439198+1024 ~x1439197+512 ~x1439196+256 ~x1439195+128 ~x1439194+64 ~x1439193+32 ~x1439192+16 ~x1439191+8 ~x1439190+4 ~x1439189+2 ~x1439188+1 ~x1439187+7168 x7591+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=16382
34.53/34.67	c 8192 ~x1441900+4096 ~x1441899+2048 ~x1441898+1024 ~x1441897+512 ~x1441896+256 ~x1441895+128 ~x1441894+64 ~x1441893+32 ~x1441892+16 ~x1441891+8 ~x1441890+4 ~x1441889+2 ~x1441888+1 ~x1441887+14336 x7592+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=32766
34.63/34.76	c 2048 ~x1445614+1024 ~x1445613+512 ~x1445612+256 ~x1445611+128 ~x1445610+64 ~x1445609+32 ~x1445608+16 ~x1445607+8 ~x1445606+4 ~x1445605+2 ~x1445604+1 ~x1445603+2048 x7593+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=8190
34.73/34.82	c 8192 ~x1447964+4096 ~x1447963+2048 ~x1447962+1024 ~x1447961+512 ~x1447960+256 ~x1447959+128 ~x1447958+64 ~x1447957+32 ~x1447956+16 ~x1447955+8 ~x1447954+4 ~x1447953+2 ~x1447952+1 ~x1447951+8192 x7594+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=32766
34.82/34.90	c 2048 ~x1451678+1024 ~x1451677+512 ~x1451676+256 ~x1451675+128 ~x1451674+64 ~x1451673+32 ~x1451672+16 ~x1451671+8 ~x1451670+4 ~x1451669+2 ~x1451668+1 ~x1451667+2048 x7595+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=8190
34.82/34.96	c 2048 ~x1454026+1024 ~x1454025+512 ~x1454024+256 ~x1454023+128 ~x1454022+64 ~x1454021+32 ~x1454020+16 ~x1454019+8 ~x1454018+4 ~x1454017+2 ~x1454016+1 ~x1454015+3072 x7596+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=8190
34.92/35.02	c 16384 ~x1456377+8192 ~x1456376+4096 ~x1456375+2048 ~x1456374+1024 ~x1456373+512 ~x1456372+256 ~x1456371+128 ~x1456370+64 ~x1456369+32 ~x1456368+16 ~x1456367+8 ~x1456366+4 ~x1456365+2 ~x1456364+1 ~x1456363+24576 x7597+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=65534
35.03/35.12	c 16384 ~x1460669+8192 ~x1460668+4096 ~x1460667+2048 ~x1460666+1024 ~x1460665+512 ~x1460664+256 ~x1460663+128 ~x1460662+64 ~x1460661+32 ~x1460660+16 ~x1460659+8 ~x1460658+4 ~x1460657+2 ~x1460656+1 ~x1460655+19456 x7598+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=65534
35.13/35.21	c 4096 ~x1464702+2048 ~x1464701+1024 ~x1464700+512 ~x1464699+256 ~x1464698+128 ~x1464697+64 ~x1464696+32 ~x1464695+16 ~x1464694+8 ~x1464693+4 ~x1464692+2 ~x1464691+1 ~x1464690+5120 x7599+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=16382
35.13/35.27	c 8192 ~x1467403+4096 ~x1467402+2048 ~x1467401+1024 ~x1467400+512 ~x1467399+256 ~x1467398+128 ~x1467397+64 ~x1467396+32 ~x1467395+16 ~x1467394+8 ~x1467393+4 ~x1467392+2 ~x1467391+1 ~x1467390+15360 x7600+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=32766
35.23/35.36	c 16384 ~x1471120+8192 ~x1471119+4096 ~x1471118+2048 ~x1471117+1024 ~x1471116+512 ~x1471115+256 ~x1471114+128 ~x1471113+64 ~x1471112+32 ~x1471111+16 ~x1471110+8 ~x1471109+4 ~x1471108+2 ~x1471107+1 ~x1471106+23552 x7601+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=65534
35.32/35.46	c 16384 ~x1475412+8192 ~x1475411+4096 ~x1475410+2048 ~x1475409+1024 ~x1475408+512 ~x1475407+256 ~x1475406+128 ~x1475405+64 ~x1475404+32 ~x1475403+16 ~x1475402+8 ~x1475401+4 ~x1475400+2 ~x1475399+1 ~x1475398+23552 x7602+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=65534
35.42/35.56	c 8192 ~x1479703+4096 ~x1479702+2048 ~x1479701+1024 ~x1479700+512 ~x1479699+256 ~x1479698+128 ~x1479697+64 ~x1479696+32 ~x1479695+16 ~x1479694+8 ~x1479693+4 ~x1479692+2 ~x1479691+1 ~x1479690+9216 x7603+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=32766
35.52/35.65	c 2048 ~x1483417+1024 ~x1483416+512 ~x1483415+256 ~x1483414+128 ~x1483413+64 ~x1483412+32 ~x1483411+16 ~x1483410+8 ~x1483409+4 ~x1483408+2 ~x1483407+1 ~x1483406+3072 x7604+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=8190
35.62/35.71	c 16384 ~x1485768+8192 ~x1485767+4096 ~x1485766+2048 ~x1485765+1024 ~x1485764+512 ~x1485763+256 ~x1485762+128 ~x1485761+64 ~x1485760+32 ~x1485759+16 ~x1485758+8 ~x1485757+4 ~x1485756+2 ~x1485755+1 ~x1485754+21504 x7605+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=65534
35.72/35.80	c 2048 ~x1490057+1024 ~x1490056+512 ~x1490055+256 ~x1490054+128 ~x1490053+64 ~x1490052+32 ~x1490051+16 ~x1490050+8 ~x1490049+4 ~x1490048+2 ~x1490047+1 ~x1490046+2048 x7606+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=8190
35.72/35.86	c 16384 ~x1492408+8192 ~x1492407+4096 ~x1492406+2048 ~x1492405+1024 ~x1492404+512 ~x1492403+256 ~x1492402+128 ~x1492401+64 ~x1492400+32 ~x1492399+16 ~x1492398+8 ~x1492397+4 ~x1492396+2 ~x1492395+1 ~x1492394+23552 x7607+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=65534
35.82/35.96	c 4096 ~x1496698+2048 ~x1496697+1024 ~x1496696+512 ~x1496695+256 ~x1496694+128 ~x1496693+64 ~x1496692+32 ~x1496691+16 ~x1496690+8 ~x1496689+4 ~x1496688+2 ~x1496687+1 ~x1496686+5120 x7608+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=16382
35.92/36.03	c 4096 ~x1499398+2048 ~x1499397+1024 ~x1499396+512 ~x1499395+256 ~x1499394+128 ~x1499393+64 ~x1499392+32 ~x1499391+16 ~x1499390+8 ~x1499389+4 ~x1499388+2 ~x1499387+1 ~x1499386+5120 x7609+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=16382
35.92/36.09	c 16384 ~x1502100+8192 ~x1502099+4096 ~x1502098+2048 ~x1502097+1024 ~x1502096+512 ~x1502095+256 ~x1502094+128 ~x1502093+64 ~x1502092+32 ~x1502091+16 ~x1502090+8 ~x1502089+4 ~x1502088+2 ~x1502087+1 ~x1502086+23552 x7610+16384 ~x1456+8192 ~x1455+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=65534
36.02/36.19	c 8192 ~x1506391+4096 ~x1506390+2048 ~x1506389+1024 ~x1506388+512 ~x1506387+256 ~x1506386+128 ~x1506385+64 ~x1506384+32 ~x1506383+16 ~x1506382+8 ~x1506381+4 ~x1506380+2 ~x1506379+1 ~x1506378+9216 x7611+8192 ~x1485+4096 ~x1484+2048 ~x1483+1024 ~x1482+512 ~x1481+256 ~x1480+128 ~x1479+64 ~x1478+32 ~x1477+16 ~x1476+8 ~x1475+4 ~x1474+2 ~x1473+1 ~x1472-0=32766
36.13/36.28	c 4096 ~x1510106+2048 ~x1510105+1024 ~x1510104+512 ~x1510103+256 ~x1510102+128 ~x1510101+64 ~x1510100+32 ~x1510099+16 ~x1510098+8 ~x1510097+4 ~x1510096+2 ~x1510095+1 ~x1510094+7168 x7612+4096 ~x1514+2048 ~x1513+1024 ~x1512+512 ~x1511+256 ~x1510+128 ~x1509+64 ~x1508+32 ~x1507+16 ~x1506+8 ~x1505+4 ~x1504+2 ~x1503+1 ~x1502-0=16382
36.23/36.34	c 16384 ~x1512808+8192 ~x1512807+4096 ~x1512806+2048 ~x1512805+1024 ~x1512804+512 ~x1512803+256 ~x1512802+128 ~x1512801+64 ~x1512800+32 ~x1512799+16 ~x1512798+8 ~x1512797+4 ~x1512796+2 ~x1512795+1 ~x1512794+23552 x7613+16384 ~x1546+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=65534
36.32/36.44	c 4096 ~x1517098+2048 ~x1517097+1024 ~x1517096+512 ~x1517095+256 ~x1517094+128 ~x1517093+64 ~x1517092+32 ~x1517091+16 ~x1517090+8 ~x1517089+4 ~x1517088+2 ~x1517087+1 ~x1517086+7168 x7614+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=16382
36.42/36.50	c 16384 ~x1519800+8192 ~x1519799+4096 ~x1519798+2048 ~x1519797+1024 ~x1519796+512 ~x1519795+256 ~x1519794+128 ~x1519793+64 ~x1519792+32 ~x1519791+16 ~x1519790+8 ~x1519789+4 ~x1519788+2 ~x1519787+1 ~x1519786+23552 x7615+16384 ~x1606+8192 ~x1605+4096 ~x1604+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=65534
36.52/36.60	c 2048 ~x1524089+1024 ~x1524088+512 ~x1524087+256 ~x1524086+128 ~x1524085+64 ~x1524084+32 ~x1524083+16 ~x1524082+8 ~x1524081+4 ~x1524080+2 ~x1524079+1 ~x1524078+2048 x7616+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=8190
36.52/36.66	c 8192 ~x1526439+4096 ~x1526438+2048 ~x1526437+1024 ~x1526436+512 ~x1526435+256 ~x1526434+128 ~x1526433+64 ~x1526432+32 ~x1526431+16 ~x1526430+8 ~x1526429+4 ~x1526428+2 ~x1526427+1 ~x1526426+8192 x7617+8192 ~x1665+4096 ~x1664+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=32766
36.62/36.75	c 2048 ~x1530153+1024 ~x1530152+512 ~x1530151+256 ~x1530150+128 ~x1530149+64 ~x1530148+32 ~x1530147+16 ~x1530146+8 ~x1530145+4 ~x1530144+2 ~x1530143+1 ~x1530142+2048 x7618+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=8190
36.72/36.80	c 16384 ~x1532504+8192 ~x1532503+4096 ~x1532502+2048 ~x1532501+1024 ~x1532500+512 ~x1532499+256 ~x1532498+128 ~x1532497+64 ~x1532496+32 ~x1532495+16 ~x1532494+8 ~x1532493+4 ~x1532492+2 ~x1532491+1 ~x1532490+24576 x7619+16384 ~x1726+8192 ~x1725+4096 ~x1724+2048 ~x1723+1024 ~x1722+512 ~x1721+256 ~x1720+128 ~x1719+64 ~x1718+32 ~x1717+16 ~x1716+8 ~x1715+4 ~x1714+2 ~x1713+1 ~x1712-0=65534
36.82/36.90	c 2048 ~x1536793+1024 ~x1536792+512 ~x1536791+256 ~x1536790+128 ~x1536789+64 ~x1536788+32 ~x1536787+16 ~x1536786+8 ~x1536785+4 ~x1536784+2 ~x1536783+1 ~x1536782+3072 x7620+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=8190
36.82/36.96	c 16384 ~x1539144+8192 ~x1539143+4096 ~x1539142+2048 ~x1539141+1024 ~x1539140+512 ~x1539139+256 ~x1539138+128 ~x1539137+64 ~x1539136+32 ~x1539135+16 ~x1539134+8 ~x1539133+4 ~x1539132+2 ~x1539131+1 ~x1539130+19456 x7621+16384 ~x1786+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=65534
36.92/37.05	c 4096 ~x1543177+2048 ~x1543176+1024 ~x1543175+512 ~x1543174+256 ~x1543173+128 ~x1543172+64 ~x1543171+32 ~x1543170+16 ~x1543169+8 ~x1543168+4 ~x1543167+2 ~x1543166+1 ~x1543165+5120 x7622+4096 ~x1814+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=16382
37.02/37.12	c 8192 ~x1545878+4096 ~x1545877+2048 ~x1545876+1024 ~x1545875+512 ~x1545874+256 ~x1545873+128 ~x1545872+64 ~x1545871+32 ~x1545870+16 ~x1545869+8 ~x1545868+4 ~x1545867+2 ~x1545866+1 ~x1545865+15360 x7623+8192 ~x1845+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=32766
37.12/37.21	c 16384 ~x1549595+8192 ~x1549594+4096 ~x1549593+2048 ~x1549592+1024 ~x1549591+512 ~x1549590+256 ~x1549589+128 ~x1549588+64 ~x1549587+32 ~x1549586+16 ~x1549585+8 ~x1549584+4 ~x1549583+2 ~x1549582+1 ~x1549581+20480 x7624+16384 ~x1876+8192 ~x1875+4096 ~x1874+2048 ~x1873+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=65534
37.22/37.31	c 16384 ~x1553887+8192 ~x1553886+4096 ~x1553885+2048 ~x1553884+1024 ~x1553883+512 ~x1553882+256 ~x1553881+128 ~x1553880+64 ~x1553879+32 ~x1553878+16 ~x1553877+8 ~x1553876+4 ~x1553875+2 ~x1553874+1 ~x1553873+20480 x7625+16384 ~x1906+8192 ~x1905+4096 ~x1904+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=65534
37.33/37.41	c 8192 ~x1558178+4096 ~x1558177+2048 ~x1558176+1024 ~x1558175+512 ~x1558174+256 ~x1558173+128 ~x1558172+64 ~x1558171+32 ~x1558170+16 ~x1558169+8 ~x1558168+4 ~x1558167+2 ~x1558166+1 ~x1558165+9216 x7626+8192 ~x1935+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=32766
37.42/37.52	c 2048 ~x1561892+1024 ~x1561891+512 ~x1561890+256 ~x1561889+128 ~x1561888+64 ~x1561887+32 ~x1561886+16 ~x1561885+8 ~x1561884+4 ~x1561883+2 ~x1561882+1 ~x1561881+3072 x7627+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=8190
37.42/37.57	c 16384 ~x1564243+8192 ~x1564242+4096 ~x1564241+2048 ~x1564240+1024 ~x1564239+512 ~x1564238+256 ~x1564237+128 ~x1564236+64 ~x1564235+32 ~x1564234+16 ~x1564233+8 ~x1564232+4 ~x1564231+2 ~x1564230+1 ~x1564229+20480 x7628+16384 ~x1996+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=65534
37.52/37.67	c 2048 ~x1568532+1024 ~x1568531+512 ~x1568530+256 ~x1568529+128 ~x1568528+64 ~x1568527+32 ~x1568526+16 ~x1568525+8 ~x1568524+4 ~x1568523+2 ~x1568522+1 ~x1568521+2048 x7629+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=8190
37.62/37.73	c 8192 ~x1570882+4096 ~x1570881+2048 ~x1570880+1024 ~x1570879+512 ~x1570878+256 ~x1570877+128 ~x1570876+64 ~x1570875+32 ~x1570874+16 ~x1570873+8 ~x1570872+4 ~x1570871+2 ~x1570870+1 ~x1570869+9216 x7630+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=32766
37.72/37.82	c 16384 ~x1574599+8192 ~x1574598+4096 ~x1574597+2048 ~x1574596+1024 ~x1574595+512 ~x1574594+256 ~x1574593+128 ~x1574592+64 ~x1574591+32 ~x1574590+16 ~x1574589+8 ~x1574588+4 ~x1574587+2 ~x1574586+1 ~x1574585+20480 x7631+16384 ~x2086+8192 ~x2085+4096 ~x2084+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=65534
37.82/37.92	c 4096 ~x1578889+2048 ~x1578888+1024 ~x1578887+512 ~x1578886+256 ~x1578885+128 ~x1578884+64 ~x1578883+32 ~x1578882+16 ~x1578881+8 ~x1578880+4 ~x1578879+2 ~x1578878+1 ~x1578877+5120 x7632+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=16382
37.82/37.99	c 16384 ~x1581591+8192 ~x1581590+4096 ~x1581589+2048 ~x1581588+1024 ~x1581587+512 ~x1581586+256 ~x1581585+128 ~x1581584+64 ~x1581583+32 ~x1581582+16 ~x1581581+8 ~x1581580+4 ~x1581579+2 ~x1581578+1 ~x1581577+20480 x7633+16384 ~x2146+8192 ~x2145+4096 ~x2144+2048 ~x2143+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=65534
37.92/38.08	c 8192 ~x1585882+4096 ~x1585881+2048 ~x1585880+1024 ~x1585879+512 ~x1585878+256 ~x1585877+128 ~x1585876+64 ~x1585875+32 ~x1585874+16 ~x1585873+8 ~x1585872+4 ~x1585871+2 ~x1585870+1 ~x1585869+9216 x7634+8192 ~x2175+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=32766
38.01/38.17	c 4096 ~x1589597+2048 ~x1589596+1024 ~x1589595+512 ~x1589594+256 ~x1589593+128 ~x1589592+64 ~x1589591+32 ~x1589590+16 ~x1589589+8 ~x1589588+4 ~x1589587+2 ~x1589586+1 ~x1589585+7168 x7635+4096 ~x2204+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=16382
38.12/38.23	c 16384 ~x1592299+8192 ~x1592298+4096 ~x1592297+2048 ~x1592296+1024 ~x1592295+512 ~x1592294+256 ~x1592293+128 ~x1592292+64 ~x1592291+32 ~x1592290+16 ~x1592289+8 ~x1592288+4 ~x1592287+2 ~x1592286+1 ~x1592285+20480 x7636+16384 ~x2236+8192 ~x2235+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=65534
38.22/38.33	c 4096 ~x1596589+2048 ~x1596588+1024 ~x1596587+512 ~x1596586+256 ~x1596585+128 ~x1596584+64 ~x1596583+32 ~x1596582+16 ~x1596581+8 ~x1596580+4 ~x1596579+2 ~x1596578+1 ~x1596577+7168 x7637+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=16382
38.22/38.40	c 16384 ~x1599291+8192 ~x1599290+4096 ~x1599289+2048 ~x1599288+1024 ~x1599287+512 ~x1599286+256 ~x1599285+128 ~x1599284+64 ~x1599283+32 ~x1599282+16 ~x1599281+8 ~x1599280+4 ~x1599279+2 ~x1599278+1 ~x1599277+20480 x7638+16384 ~x2296+8192 ~x2295+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=65534
38.33/38.50	c 2048 ~x1603580+1024 ~x1603579+512 ~x1603578+256 ~x1603577+128 ~x1603576+64 ~x1603575+32 ~x1603574+16 ~x1603573+8 ~x1603572+4 ~x1603571+2 ~x1603570+1 ~x1603569+2048 x7639+2048 ~x2323+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=8190
38.42/38.55	c 8192 ~x1605930+4096 ~x1605929+2048 ~x1605928+1024 ~x1605927+512 ~x1605926+256 ~x1605925+128 ~x1605924+64 ~x1605923+32 ~x1605922+16 ~x1605921+8 ~x1605920+4 ~x1605919+2 ~x1605918+1 ~x1605917+8192 x7640+8192 ~x2355+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=32766
38.51/38.64	c 4096 ~x1609645+2048 ~x1609644+1024 ~x1609643+512 ~x1609642+256 ~x1609641+128 ~x1609640+64 ~x1609639+32 ~x1609638+16 ~x1609637+8 ~x1609636+4 ~x1609635+2 ~x1609634+1 ~x1609633+7168 x7641+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=16382
38.62/38.70	c 2048 ~x1612344+1024 ~x1612343+512 ~x1612342+256 ~x1612341+128 ~x1612340+64 ~x1612339+32 ~x1612338+16 ~x1612337+8 ~x1612336+4 ~x1612335+2 ~x1612334+1 ~x1612333+2048 x7642+2048 ~x2413+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=8190
38.62/38.76	c 2048 ~x1614692+1024 ~x1614691+512 ~x1614690+256 ~x1614689+128 ~x1614688+64 ~x1614687+32 ~x1614686+16 ~x1614685+8 ~x1614684+4 ~x1614683+2 ~x1614682+1 ~x1614681+3072 x7643+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=8190
38.72/38.82	c 16384 ~x1617043+8192 ~x1617042+4096 ~x1617041+2048 ~x1617040+1024 ~x1617039+512 ~x1617038+256 ~x1617037+128 ~x1617036+64 ~x1617035+32 ~x1617034+16 ~x1617033+8 ~x1617032+4 ~x1617031+2 ~x1617030+1 ~x1617029+19456 x7644+16384 ~x2476+8192 ~x2475+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=65534
38.82/38.91	c 4096 ~x1621076+2048 ~x1621075+1024 ~x1621074+512 ~x1621073+256 ~x1621072+128 ~x1621071+64 ~x1621070+32 ~x1621069+16 ~x1621068+8 ~x1621067+4 ~x1621066+2 ~x1621065+1 ~x1621064+5120 x7645+4096 ~x2504+2048 ~x2503+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=16382
38.82/38.97	c 8192 ~x1623777+4096 ~x1623776+2048 ~x1623775+1024 ~x1623774+512 ~x1623773+256 ~x1623772+128 ~x1623771+64 ~x1623770+32 ~x1623769+16 ~x1623768+8 ~x1623767+4 ~x1623766+2 ~x1623765+1 ~x1623764+15360 x7646+8192 ~x2535+4096 ~x2534+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=32766
38.91/39.06	c 32768 ~x1627495+16384 ~x1627494+8192 ~x1627493+4096 ~x1627492+2048 ~x1627491+1024 ~x1627490+512 ~x1627489+256 ~x1627488+128 ~x1627487+64 ~x1627486+32 ~x1627485+16 ~x1627484+8 ~x1627483+4 ~x1627482+2 ~x1627481+1 ~x1627480+38912 x7647+32768 ~x2567+16384 ~x2566+8192 ~x2565+4096 ~x2564+2048 ~x2563+1024 ~x2562+512 ~x2561+256 ~x2560+128 ~x2559+64 ~x2558+32 ~x2557+16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552-0=131070
39.01/39.17	c 32768 ~x1632124+16384 ~x1632123+8192 ~x1632122+4096 ~x1632121+2048 ~x1632120+1024 ~x1632119+512 ~x1632118+256 ~x1632117+128 ~x1632116+64 ~x1632115+32 ~x1632114+16 ~x1632113+8 ~x1632112+4 ~x1632111+2 ~x1632110+1 ~x1632109+32768 x7648+32768 ~x2597+16384 ~x2596+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=131070
39.11/39.27	c 8192 ~x1636751+4096 ~x1636750+2048 ~x1636749+1024 ~x1636748+512 ~x1636747+256 ~x1636746+128 ~x1636745+64 ~x1636744+32 ~x1636743+16 ~x1636742+8 ~x1636741+4 ~x1636740+2 ~x1636739+1 ~x1636738+9216 x7649+8192 ~x2625+4096 ~x2624+2048 ~x2623+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=32766
39.22/39.36	c 2048 ~x1640465+1024 ~x1640464+512 ~x1640463+256 ~x1640462+128 ~x1640461+64 ~x1640460+32 ~x1640459+16 ~x1640458+8 ~x1640457+4 ~x1640456+2 ~x1640455+1 ~x1640454+3072 x7650+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=8190
39.32/39.42	c 16384 ~x1642816+8192 ~x1642815+4096 ~x1642814+2048 ~x1642813+1024 ~x1642812+512 ~x1642811+256 ~x1642810+128 ~x1642809+64 ~x1642808+32 ~x1642807+16 ~x1642806+8 ~x1642805+4 ~x1642804+2 ~x1642803+1 ~x1642802+21504 x7651+16384 ~x2686+8192 ~x2685+4096 ~x2684+2048 ~x2683+1024 ~x2682+512 ~x2681+256 ~x2680+128 ~x2679+64 ~x2678+32 ~x2677+16 ~x2676+8 ~x2675+4 ~x2674+2 ~x2673+1 ~x2672-0=65534
39.42/39.52	c 16384 ~x1647108+8192 ~x1647107+4096 ~x1647106+2048 ~x1647105+1024 ~x1647104+512 ~x1647103+256 ~x1647102+128 ~x1647101+64 ~x1647100+32 ~x1647099+16 ~x1647098+8 ~x1647097+4 ~x1647096+2 ~x1647095+1 ~x1647094+24576 x7652+16384 ~x2716+8192 ~x2715+4096 ~x2714+2048 ~x2713+1024 ~x2712+512 ~x2711+256 ~x2710+128 ~x2709+64 ~x2708+32 ~x2707+16 ~x2706+8 ~x2705+4 ~x2704+2 ~x2703+1 ~x2702-0=65534
39.52/39.62	c 2048 ~x1651397+1024 ~x1651396+512 ~x1651395+256 ~x1651394+128 ~x1651393+64 ~x1651392+32 ~x1651391+16 ~x1651390+8 ~x1651389+4 ~x1651388+2 ~x1651387+1 ~x1651386+2048 x7653+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=8190
39.52/39.68	c 16384 ~x1653748+8192 ~x1653747+4096 ~x1653746+2048 ~x1653745+1024 ~x1653744+512 ~x1653743+256 ~x1653742+128 ~x1653741+64 ~x1653740+32 ~x1653739+16 ~x1653738+8 ~x1653737+4 ~x1653736+2 ~x1653735+1 ~x1653734+29696 x7654+16384 ~x2776+8192 ~x2775+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=65534
39.61/39.79	c 4096 ~x1658038+2048 ~x1658037+1024 ~x1658036+512 ~x1658035+256 ~x1658034+128 ~x1658033+64 ~x1658032+32 ~x1658031+16 ~x1658030+8 ~x1658029+4 ~x1658028+2 ~x1658027+1 ~x1658026+5120 x7655+4096 ~x2804+2048 ~x2803+1024 ~x2802+512 ~x2801+256 ~x2800+128 ~x2799+64 ~x2798+32 ~x2797+16 ~x2796+8 ~x2795+4 ~x2794+2 ~x2793+1 ~x2792-0=16382
39.71/39.86	c 32768 ~x1660741+16384 ~x1660740+8192 ~x1660739+4096 ~x1660738+2048 ~x1660737+1024 ~x1660736+512 ~x1660735+256 ~x1660734+128 ~x1660733+64 ~x1660732+32 ~x1660731+16 ~x1660730+8 ~x1660729+4 ~x1660728+2 ~x1660727+1 ~x1660726+51200 x7656+32768 ~x2837+16384 ~x2836+8192 ~x2835+4096 ~x2834+2048 ~x2833+1024 ~x2832+512 ~x2831+256 ~x2830+128 ~x2829+64 ~x2828+32 ~x2827+16 ~x2826+8 ~x2825+4 ~x2824+2 ~x2823+1 ~x2822-0=131070
39.82/39.97	c 8192 ~x1665368+4096 ~x1665367+2048 ~x1665366+1024 ~x1665365+512 ~x1665364+256 ~x1665363+128 ~x1665362+64 ~x1665361+32 ~x1665360+16 ~x1665359+8 ~x1665358+4 ~x1665357+2 ~x1665356+1 ~x1665355+9216 x7657+8192 ~x2865+4096 ~x2864+2048 ~x2863+1024 ~x2862+512 ~x2861+256 ~x2860+128 ~x2859+64 ~x2858+32 ~x2857+16 ~x2856+8 ~x2855+4 ~x2854+2 ~x2853+1 ~x2852-0=32766
39.92/40.06	c 4096 ~x1669083+2048 ~x1669082+1024 ~x1669081+512 ~x1669080+256 ~x1669079+128 ~x1669078+64 ~x1669077+32 ~x1669076+16 ~x1669075+8 ~x1669074+4 ~x1669073+2 ~x1669072+1 ~x1669071+7168 x7658+4096 ~x2894+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=16382
40.02/40.13	c 16384 ~x1671785+8192 ~x1671784+4096 ~x1671783+2048 ~x1671782+1024 ~x1671781+512 ~x1671780+256 ~x1671779+128 ~x1671778+64 ~x1671777+32 ~x1671776+16 ~x1671775+8 ~x1671774+4 ~x1671773+2 ~x1671772+1 ~x1671771+27648 x7659+16384 ~x2926+8192 ~x2925+4096 ~x2924+2048 ~x2923+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912-0=65534
40.11/40.24	c 4096 ~x1676075+2048 ~x1676074+1024 ~x1676073+512 ~x1676072+256 ~x1676071+128 ~x1676070+64 ~x1676069+32 ~x1676068+16 ~x1676067+8 ~x1676066+4 ~x1676065+2 ~x1676064+1 ~x1676063+7168 x7660+4096 ~x2954+2048 ~x2953+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942-0=16382
40.21/40.30	c 16384 ~x1678777+8192 ~x1678776+4096 ~x1678775+2048 ~x1678774+1024 ~x1678773+512 ~x1678772+256 ~x1678771+128 ~x1678770+64 ~x1678769+32 ~x1678768+16 ~x1678767+8 ~x1678766+4 ~x1678765+2 ~x1678764+1 ~x1678763+27648 x7661+16384 ~x2986+8192 ~x2985+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=65534
40.31/40.41	c 2048 ~x1683066+1024 ~x1683065+512 ~x1683064+256 ~x1683063+128 ~x1683062+64 ~x1683061+32 ~x1683060+16 ~x1683059+8 ~x1683058+4 ~x1683057+2 ~x1683056+1 ~x1683055+2048 x7662+2048 ~x3013+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=8190
40.31/40.47	c 4096 ~x1685415+2048 ~x1685414+1024 ~x1685413+512 ~x1685412+256 ~x1685411+128 ~x1685410+64 ~x1685409+32 ~x1685408+16 ~x1685407+8 ~x1685406+4 ~x1685405+2 ~x1685404+1 ~x1685403+7168 x7663+4096 ~x3044+2048 ~x3043+1024 ~x3042+512 ~x3041+256 ~x3040+128 ~x3039+64 ~x3038+32 ~x3037+16 ~x3036+8 ~x3035+4 ~x3034+2 ~x3033+1 ~x3032-0=16382
40.42/40.54	c 8192 ~x1688116+4096 ~x1688115+2048 ~x1688114+1024 ~x1688113+512 ~x1688112+256 ~x1688111+128 ~x1688110+64 ~x1688109+32 ~x1688108+16 ~x1688107+8 ~x1688106+4 ~x1688105+2 ~x1688104+1 ~x1688103+8192 x7664+8192 ~x3075+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=32766
40.52/40.63	c 2048 ~x1691830+1024 ~x1691829+512 ~x1691828+256 ~x1691827+128 ~x1691826+64 ~x1691825+32 ~x1691824+16 ~x1691823+8 ~x1691822+4 ~x1691821+2 ~x1691820+1 ~x1691819+2048 x7665+2048 ~x3103+1024 ~x3102+512 ~x3101+256 ~x3100+128 ~x3099+64 ~x3098+32 ~x3097+16 ~x3096+8 ~x3095+4 ~x3094+2 ~x3093+1 ~x3092-0=8190
40.52/40.69	c 2048 ~x1694178+1024 ~x1694177+512 ~x1694176+256 ~x1694175+128 ~x1694174+64 ~x1694173+32 ~x1694172+16 ~x1694171+8 ~x1694170+4 ~x1694169+2 ~x1694168+1 ~x1694167+3072 x7666+2048 ~x3133+1024 ~x3132+512 ~x3131+256 ~x3130+128 ~x3129+64 ~x3128+32 ~x3127+16 ~x3126+8 ~x3125+4 ~x3124+2 ~x3123+1 ~x3122-0=8190
40.62/40.75	c 8192 ~x1696528+4096 ~x1696527+2048 ~x1696526+1024 ~x1696525+512 ~x1696524+256 ~x1696523+128 ~x1696522+64 ~x1696521+32 ~x1696520+16 ~x1696519+8 ~x1696518+4 ~x1696517+2 ~x1696516+1 ~x1696515+13312 x7667+8192 ~x3165+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=32766
40.71/40.83	c 4096 ~x1700243+2048 ~x1700242+1024 ~x1700241+512 ~x1700240+256 ~x1700239+128 ~x1700238+64 ~x1700237+32 ~x1700236+16 ~x1700235+8 ~x1700234+4 ~x1700233+2 ~x1700232+1 ~x1700231+5120 x7668+4096 ~x3194+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=16382
40.81/40.90	c 8192 ~x1702944+4096 ~x1702943+2048 ~x1702942+1024 ~x1702941+512 ~x1702940+256 ~x1702939+128 ~x1702938+64 ~x1702937+32 ~x1702936+16 ~x1702935+8 ~x1702934+4 ~x1702933+2 ~x1702932+1 ~x1702931+13312 x7669+8192 ~x3225+4096 ~x3224+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=32766
40.81/40.98	c 8192 ~x1706660+4096 ~x1706659+2048 ~x1706658+1024 ~x1706657+512 ~x1706656+256 ~x1706655+128 ~x1706654+64 ~x1706653+32 ~x1706652+16 ~x1706651+8 ~x1706650+4 ~x1706649+2 ~x1706648+1 ~x1706647+13312 x7670+8192 ~x3255+4096 ~x3254+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=32766
40.91/41.07	c 8192 ~x1710376+4096 ~x1710375+2048 ~x1710374+1024 ~x1710373+512 ~x1710372+256 ~x1710371+128 ~x1710370+64 ~x1710369+32 ~x1710368+16 ~x1710367+8 ~x1710366+4 ~x1710365+2 ~x1710364+1 ~x1710363+13312 x7671+8192 ~x3285+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=32766
41.01/41.16	c 8192 ~x1714092+4096 ~x1714091+2048 ~x1714090+1024 ~x1714089+512 ~x1714088+256 ~x1714087+128 ~x1714086+64 ~x1714085+32 ~x1714084+16 ~x1714083+8 ~x1714082+4 ~x1714081+2 ~x1714080+1 ~x1714079+9216 x7672+8192 ~x3315+4096 ~x3314+2048 ~x3313+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302-0=32766
41.11/41.25	c 2048 ~x1717806+1024 ~x1717805+512 ~x1717804+256 ~x1717803+128 ~x1717802+64 ~x1717801+32 ~x1717800+16 ~x1717799+8 ~x1717798+4 ~x1717797+2 ~x1717796+1 ~x1717795+3072 x7673+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332-0=8190
41.21/41.30	c 2048 ~x1720154+1024 ~x1720153+512 ~x1720152+256 ~x1720151+128 ~x1720150+64 ~x1720149+32 ~x1720148+16 ~x1720147+8 ~x1720146+4 ~x1720145+2 ~x1720144+1 ~x1720143+2048 x7674+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=8190
41.21/41.36	c 16384 ~x1722505+8192 ~x1722504+4096 ~x1722503+2048 ~x1722502+1024 ~x1722501+512 ~x1722500+256 ~x1722499+128 ~x1722498+64 ~x1722497+32 ~x1722496+16 ~x1722495+8 ~x1722494+4 ~x1722493+2 ~x1722492+1 ~x1722491+24576 x7675+16384 ~x3406+8192 ~x3405+4096 ~x3404+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=65534
41.31/41.46	c 8192 ~x1726796+4096 ~x1726795+2048 ~x1726794+1024 ~x1726793+512 ~x1726792+256 ~x1726791+128 ~x1726790+64 ~x1726789+32 ~x1726788+16 ~x1726787+8 ~x1726786+4 ~x1726785+2 ~x1726784+1 ~x1726783+13312 x7676+8192 ~x3435+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=32766
41.41/41.55	c 2048 ~x1730510+1024 ~x1730509+512 ~x1730508+256 ~x1730507+128 ~x1730506+64 ~x1730505+32 ~x1730504+16 ~x1730503+8 ~x1730502+4 ~x1730501+2 ~x1730500+1 ~x1730499+2048 x7677+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452-0=8190
41.51/41.60	c 8192 ~x1732860+4096 ~x1732859+2048 ~x1732858+1024 ~x1732857+512 ~x1732856+256 ~x1732855+128 ~x1732854+64 ~x1732853+32 ~x1732852+16 ~x1732851+8 ~x1732850+4 ~x1732849+2 ~x1732848+1 ~x1732847+13312 x7678+8192 ~x3495+4096 ~x3494+2048 ~x3493+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482-0=32766
41.51/41.69	c 4096 ~x1736575+2048 ~x1736574+1024 ~x1736573+512 ~x1736572+256 ~x1736571+128 ~x1736570+64 ~x1736569+32 ~x1736568+16 ~x1736567+8 ~x1736566+4 ~x1736565+2 ~x1736564+1 ~x1736563+5120 x7679+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=16382
41.61/41.76	c 8192 ~x1739276+4096 ~x1739275+2048 ~x1739274+1024 ~x1739273+512 ~x1739272+256 ~x1739271+128 ~x1739270+64 ~x1739269+32 ~x1739268+16 ~x1739267+8 ~x1739266+4 ~x1739265+2 ~x1739264+1 ~x1739263+13312 x7680+8192 ~x3555+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=32766
41.71/41.84	c 8192 ~x1742992+4096 ~x1742991+2048 ~x1742990+1024 ~x1742989+512 ~x1742988+256 ~x1742987+128 ~x1742986+64 ~x1742985+32 ~x1742984+16 ~x1742983+8 ~x1742982+4 ~x1742981+2 ~x1742980+1 ~x1742979+9216 x7681+8192 ~x3585+4096 ~x3584+2048 ~x3583+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572-0=32766
41.81/41.93	c 4096 ~x1746707+2048 ~x1746706+1024 ~x1746705+512 ~x1746704+256 ~x1746703+128 ~x1746702+64 ~x1746701+32 ~x1746700+16 ~x1746699+8 ~x1746698+4 ~x1746697+2 ~x1746696+1 ~x1746695+7168 x7682+4096 ~x3614+2048 ~x3613+1024 ~x3612+512 ~x3611+256 ~x3610+128 ~x3609+64 ~x3608+32 ~x3607+16 ~x3606+8 ~x3605+4 ~x3604+2 ~x3603+1 ~x3602-0=16382
41.81/41.99	c 8192 ~x1749408+4096 ~x1749407+2048 ~x1749406+1024 ~x1749405+512 ~x1749404+256 ~x1749403+128 ~x1749402+64 ~x1749401+32 ~x1749400+16 ~x1749399+8 ~x1749398+4 ~x1749397+2 ~x1749396+1 ~x1749395+13312 x7683+8192 ~x3645+4096 ~x3644+2048 ~x3643+1024 ~x3642+512 ~x3641+256 ~x3640+128 ~x3639+64 ~x3638+32 ~x3637+16 ~x3636+8 ~x3635+4 ~x3634+2 ~x3633+1 ~x3632-0=32766
41.91/42.08	c 4096 ~x1753123+2048 ~x1753122+1024 ~x1753121+512 ~x1753120+256 ~x1753119+128 ~x1753118+64 ~x1753117+32 ~x1753116+16 ~x1753115+8 ~x1753114+4 ~x1753113+2 ~x1753112+1 ~x1753111+7168 x7684+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662-0=16382
42.01/42.15	c 8192 ~x1755824+4096 ~x1755823+2048 ~x1755822+1024 ~x1755821+512 ~x1755820+256 ~x1755819+128 ~x1755818+64 ~x1755817+32 ~x1755816+16 ~x1755815+8 ~x1755814+4 ~x1755813+2 ~x1755812+1 ~x1755811+13312 x7685+8192 ~x3705+4096 ~x3704+2048 ~x3703+1024 ~x3702+512 ~x3701+256 ~x3700+128 ~x3699+64 ~x3698+32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692-0=32766
42.11/42.23	c 2048 ~x1759538+1024 ~x1759537+512 ~x1759536+256 ~x1759535+128 ~x1759534+64 ~x1759533+32 ~x1759532+16 ~x1759531+8 ~x1759530+4 ~x1759529+2 ~x1759528+1 ~x1759527+2048 x7686+2048 ~x3733+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=8190
42.11/42.29	c 2048 ~x1761886+1024 ~x1761885+512 ~x1761884+256 ~x1761883+128 ~x1761882+64 ~x1761881+32 ~x1761880+16 ~x1761879+8 ~x1761878+4 ~x1761877+2 ~x1761876+1 ~x1761875+2048 x7687+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752-0=8190
42.20/42.35	c 8192 ~x1764236+4096 ~x1764235+2048 ~x1764234+1024 ~x1764233+512 ~x1764232+256 ~x1764231+128 ~x1764230+64 ~x1764229+32 ~x1764228+16 ~x1764227+8 ~x1764226+4 ~x1764225+2 ~x1764224+1 ~x1764223+8192 x7688+8192 ~x3795+4096 ~x3794+2048 ~x3793+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782-0=32766
42.30/42.43	c 2048 ~x1767950+1024 ~x1767949+512 ~x1767948+256 ~x1767947+128 ~x1767946+64 ~x1767945+32 ~x1767944+16 ~x1767943+8 ~x1767942+4 ~x1767941+2 ~x1767940+1 ~x1767939+2048 x7689+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812-0=8190
42.30/42.49	c 2048 ~x1770298+1024 ~x1770297+512 ~x1770296+256 ~x1770295+128 ~x1770294+64 ~x1770293+32 ~x1770292+16 ~x1770291+8 ~x1770290+4 ~x1770289+2 ~x1770288+1 ~x1770287+3072 x7690+2048 ~x3853+1024 ~x3852+512 ~x3851+256 ~x3850+128 ~x3849+64 ~x3848+32 ~x3847+16 ~x3846+8 ~x3845+4 ~x3844+2 ~x3843+1 ~x3842-0=8190
42.40/42.55	c 16384 ~x1772649+8192 ~x1772648+4096 ~x1772647+2048 ~x1772646+1024 ~x1772645+512 ~x1772644+256 ~x1772643+128 ~x1772642+64 ~x1772641+32 ~x1772640+16 ~x1772639+8 ~x1772638+4 ~x1772637+2 ~x1772636+1 ~x1772635+19456 x7691+16384 ~x3886+8192 ~x3885+4096 ~x3884+2048 ~x3883+1024 ~x3882+512 ~x3881+256 ~x3880+128 ~x3879+64 ~x3878+32 ~x3877+16 ~x3876+8 ~x3875+4 ~x3874+2 ~x3873+1 ~x3872-0=65534
42.51/42.65	c 4096 ~x1776682+2048 ~x1776681+1024 ~x1776680+512 ~x1776679+256 ~x1776678+128 ~x1776677+64 ~x1776676+32 ~x1776675+16 ~x1776674+8 ~x1776673+4 ~x1776672+2 ~x1776671+1 ~x1776670+5120 x7692+4096 ~x3914+2048 ~x3913+1024 ~x3912+512 ~x3911+256 ~x3910+128 ~x3909+64 ~x3908+32 ~x3907+16 ~x3906+8 ~x3905+4 ~x3904+2 ~x3903+1 ~x3902-0=16382
42.60/42.71	c 8192 ~x1779383+4096 ~x1779382+2048 ~x1779381+1024 ~x1779380+512 ~x1779379+256 ~x1779378+128 ~x1779377+64 ~x1779376+32 ~x1779375+16 ~x1779374+8 ~x1779373+4 ~x1779372+2 ~x1779371+1 ~x1779370+15360 x7693+8192 ~x3945+4096 ~x3944+2048 ~x3943+1024 ~x3942+512 ~x3941+256 ~x3940+128 ~x3939+64 ~x3938+32 ~x3937+16 ~x3936+8 ~x3935+4 ~x3934+2 ~x3933+1 ~x3932-0=32766
42.60/42.80	c 32768 ~x1783101+16384 ~x1783100+8192 ~x1783099+4096 ~x1783098+2048 ~x1783097+1024 ~x1783096+512 ~x1783095+256 ~x1783094+128 ~x1783093+64 ~x1783092+32 ~x1783091+16 ~x1783090+8 ~x1783089+4 ~x1783088+2 ~x1783087+1 ~x1783086+32768 x7694+32768 ~x3977+16384 ~x3976+8192 ~x3975+4096 ~x3974+2048 ~x3973+1024 ~x3972+512 ~x3971+256 ~x3970+128 ~x3969+64 ~x3968+32 ~x3967+16 ~x3966+8 ~x3965+4 ~x3964+2 ~x3963+1 ~x3962-0=131070
42.81/42.90	c 32768 ~x1787730+16384 ~x1787729+8192 ~x1787728+4096 ~x1787727+2048 ~x1787726+1024 ~x1787725+512 ~x1787724+256 ~x1787723+128 ~x1787722+64 ~x1787721+32 ~x1787720+16 ~x1787719+8 ~x1787718+4 ~x1787717+2 ~x1787716+1 ~x1787715+32768 x7695+32768 ~x4007+16384 ~x4006+8192 ~x4005+4096 ~x4004+2048 ~x4003+1024 ~x4002+512 ~x4001+256 ~x4000+128 ~x3999+64 ~x3998+32 ~x3997+16 ~x3996+8 ~x3995+4 ~x3994+2 ~x3993+1 ~x3992-0=131070
42.90/43.01	c 8192 ~x1792357+4096 ~x1792356+2048 ~x1792355+1024 ~x1792354+512 ~x1792353+256 ~x1792352+128 ~x1792351+64 ~x1792350+32 ~x1792349+16 ~x1792348+8 ~x1792347+4 ~x1792346+2 ~x1792345+1 ~x1792344+9216 x7696+8192 ~x4035+4096 ~x4034+2048 ~x4033+1024 ~x4032+512 ~x4031+256 ~x4030+128 ~x4029+64 ~x4028+32 ~x4027+16 ~x4026+8 ~x4025+4 ~x4024+2 ~x4023+1 ~x4022-0=32766
43.00/43.10	c 8192 ~x1796073+4096 ~x1796072+2048 ~x1796071+1024 ~x1796070+512 ~x1796069+256 ~x1796068+128 ~x1796067+64 ~x1796066+32 ~x1796065+16 ~x1796064+8 ~x1796063+4 ~x1796062+2 ~x1796061+1 ~x1796060+8192 x7697+8192 ~x4065+4096 ~x4064+2048 ~x4063+1024 ~x4062+512 ~x4061+256 ~x4060+128 ~x4059+64 ~x4058+32 ~x4057+16 ~x4056+8 ~x4055+4 ~x4054+2 ~x4053+1 ~x4052-0=32766
43.00/43.18	c 2048 ~x1799787+1024 ~x1799786+512 ~x1799785+256 ~x1799784+128 ~x1799783+64 ~x1799782+32 ~x1799781+16 ~x1799780+8 ~x1799779+4 ~x1799778+2 ~x1799777+1 ~x1799776+3072 x7698+2048 ~x4093+1024 ~x4092+512 ~x4091+256 ~x4090+128 ~x4089+64 ~x4088+32 ~x4087+16 ~x4086+8 ~x4085+4 ~x4084+2 ~x4083+1 ~x4082-0=8190
43.11/43.24	c 16384 ~x1802138+8192 ~x1802137+4096 ~x1802136+2048 ~x1802135+1024 ~x1802134+512 ~x1802133+256 ~x1802132+128 ~x1802131+64 ~x1802130+32 ~x1802129+16 ~x1802128+8 ~x1802127+4 ~x1802126+2 ~x1802125+1 ~x1802124+21504 x7699+16384 ~x4126+8192 ~x4125+4096 ~x4124+2048 ~x4123+1024 ~x4122+512 ~x4121+256 ~x4120+128 ~x4119+64 ~x4118+32 ~x4117+16 ~x4116+8 ~x4115+4 ~x4114+2 ~x4113+1 ~x4112-0=65534
43.20/43.34	c 2048 ~x1806427+1024 ~x1806426+512 ~x1806425+256 ~x1806424+128 ~x1806423+64 ~x1806422+32 ~x1806421+16 ~x1806420+8 ~x1806419+4 ~x1806418+2 ~x1806417+1 ~x1806416+2048 x7700+2048 ~x4153+1024 ~x4152+512 ~x4151+256 ~x4150+128 ~x4149+64 ~x4148+32 ~x4147+16 ~x4146+8 ~x4145+4 ~x4144+2 ~x4143+1 ~x4142-0=8190
43.30/43.40	c 16384 ~x1808778+8192 ~x1808777+4096 ~x1808776+2048 ~x1808775+1024 ~x1808774+512 ~x1808773+256 ~x1808772+128 ~x1808771+64 ~x1808770+32 ~x1808769+16 ~x1808768+8 ~x1808767+4 ~x1808766+2 ~x1808765+1 ~x1808764+29696 x7701+16384 ~x4186+8192 ~x4185+4096 ~x4184+2048 ~x4183+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=65534
43.30/43.50	c 4096 ~x1813068+2048 ~x1813067+1024 ~x1813066+512 ~x1813065+256 ~x1813064+128 ~x1813063+64 ~x1813062+32 ~x1813061+16 ~x1813060+8 ~x1813059+4 ~x1813058+2 ~x1813057+1 ~x1813056+5120 x7702+4096 ~x4214+2048 ~x4213+1024 ~x4212+512 ~x4211+256 ~x4210+128 ~x4209+64 ~x4208+32 ~x4207+16 ~x4206+8 ~x4205+4 ~x4204+2 ~x4203+1 ~x4202-0=16382
43.40/43.56	c 32768 ~x1815771+16384 ~x1815770+8192 ~x1815769+4096 ~x1815768+2048 ~x1815767+1024 ~x1815766+512 ~x1815765+256 ~x1815764+128 ~x1815763+64 ~x1815762+32 ~x1815761+16 ~x1815760+8 ~x1815759+4 ~x1815758+2 ~x1815757+1 ~x1815756+32768 x7703+32768 ~x4247+16384 ~x4246+8192 ~x4245+4096 ~x4244+2048 ~x4243+1024 ~x4242+512 ~x4241+256 ~x4240+128 ~x4239+64 ~x4238+32 ~x4237+16 ~x4236+8 ~x4235+4 ~x4234+2 ~x4233+1 ~x4232-0=131070
43.50/43.67	c 8192 ~x1820398+4096 ~x1820397+2048 ~x1820396+1024 ~x1820395+512 ~x1820394+256 ~x1820393+128 ~x1820392+64 ~x1820391+32 ~x1820390+16 ~x1820389+8 ~x1820388+4 ~x1820387+2 ~x1820386+1 ~x1820385+9216 x7704+8192 ~x4275+4096 ~x4274+2048 ~x4273+1024 ~x4272+512 ~x4271+256 ~x4270+128 ~x4269+64 ~x4268+32 ~x4267+16 ~x4266+8 ~x4265+4 ~x4264+2 ~x4263+1 ~x4262-0=32766
43.60/43.75	c 4096 ~x1824113+2048 ~x1824112+1024 ~x1824111+512 ~x1824110+256 ~x1824109+128 ~x1824108+64 ~x1824107+32 ~x1824106+16 ~x1824105+8 ~x1824104+4 ~x1824103+2 ~x1824102+1 ~x1824101+7168 x7705+4096 ~x4304+2048 ~x4303+1024 ~x4302+512 ~x4301+256 ~x4300+128 ~x4299+64 ~x4298+32 ~x4297+16 ~x4296+8 ~x4295+4 ~x4294+2 ~x4293+1 ~x4292-0=16382
43.71/43.82	c 16384 ~x1826815+8192 ~x1826814+4096 ~x1826813+2048 ~x1826812+1024 ~x1826811+512 ~x1826810+256 ~x1826809+128 ~x1826808+64 ~x1826807+32 ~x1826806+16 ~x1826805+8 ~x1826804+4 ~x1826803+2 ~x1826802+1 ~x1826801+27648 x7706+16384 ~x4336+8192 ~x4335+4096 ~x4334+2048 ~x4333+1024 ~x4332+512 ~x4331+256 ~x4330+128 ~x4329+64 ~x4328+32 ~x4327+16 ~x4326+8 ~x4325+4 ~x4324+2 ~x4323+1 ~x4322-0=65534
43.81/43.92	c 4096 ~x1831105+2048 ~x1831104+1024 ~x1831103+512 ~x1831102+256 ~x1831101+128 ~x1831100+64 ~x1831099+32 ~x1831098+16 ~x1831097+8 ~x1831096+4 ~x1831095+2 ~x1831094+1 ~x1831093+7168 x7707+4096 ~x4364+2048 ~x4363+1024 ~x4362+512 ~x4361+256 ~x4360+128 ~x4359+64 ~x4358+32 ~x4357+16 ~x4356+8 ~x4355+4 ~x4354+2 ~x4353+1 ~x4352-0=16382
43.81/43.98	c 2048 ~x1833804+1024 ~x1833803+512 ~x1833802+256 ~x1833801+128 ~x1833800+64 ~x1833799+32 ~x1833798+16 ~x1833797+8 ~x1833796+4 ~x1833795+2 ~x1833794+1 ~x1833793+2048 x7708+2048 ~x4393+1024 ~x4392+512 ~x4391+256 ~x4390+128 ~x4389+64 ~x4388+32 ~x4387+16 ~x4386+8 ~x4385+4 ~x4384+2 ~x4383+1 ~x4382-0=8190
43.91/44.04	c 16384 ~x1836155+8192 ~x1836154+4096 ~x1836153+2048 ~x1836152+1024 ~x1836151+512 ~x1836150+256 ~x1836149+128 ~x1836148+64 ~x1836147+32 ~x1836146+16 ~x1836145+8 ~x1836144+4 ~x1836143+2 ~x1836142+1 ~x1836141+27648 x7709+16384 ~x4426+8192 ~x4425+4096 ~x4424+2048 ~x4423+1024 ~x4422+512 ~x4421+256 ~x4420+128 ~x4419+64 ~x4418+32 ~x4417+16 ~x4416+8 ~x4415+4 ~x4414+2 ~x4413+1 ~x4412-0=65534
44.00/44.14	c 2048 ~x1840444+1024 ~x1840443+512 ~x1840442+256 ~x1840441+128 ~x1840440+64 ~x1840439+32 ~x1840438+16 ~x1840437+8 ~x1840436+4 ~x1840435+2 ~x1840434+1 ~x1840433+2048 x7710+2048 ~x4453+1024 ~x4452+512 ~x4451+256 ~x4450+128 ~x4449+64 ~x4448+32 ~x4447+16 ~x4446+8 ~x4445+4 ~x4444+2 ~x4443+1 ~x4442-0=8190
44.00/44.19	c 8192 ~x1842794+4096 ~x1842793+2048 ~x1842792+1024 ~x1842791+512 ~x1842790+256 ~x1842789+128 ~x1842788+64 ~x1842787+32 ~x1842786+16 ~x1842785+8 ~x1842784+4 ~x1842783+2 ~x1842782+1 ~x1842781+8192 x7711+8192 ~x4485+4096 ~x4484+2048 ~x4483+1024 ~x4482+512 ~x4481+256 ~x4480+128 ~x4479+64 ~x4478+32 ~x4477+16 ~x4476+8 ~x4475+4 ~x4474+2 ~x4473+1 ~x4472-0=32766
44.10/44.28	c 2048 ~x1846508+1024 ~x1846507+512 ~x1846506+256 ~x1846505+128 ~x1846504+64 ~x1846503+32 ~x1846502+16 ~x1846501+8 ~x1846500+4 ~x1846499+2 ~x1846498+1 ~x1846497+2048 x7712+2048 ~x4513+1024 ~x4512+512 ~x4511+256 ~x4510+128 ~x4509+64 ~x4508+32 ~x4507+16 ~x4506+8 ~x4505+4 ~x4504+2 ~x4503+1 ~x4502-0=8190
44.20/44.34	c 2048 ~x1848856+1024 ~x1848855+512 ~x1848854+256 ~x1848853+128 ~x1848852+64 ~x1848851+32 ~x1848850+16 ~x1848849+8 ~x1848848+4 ~x1848847+2 ~x1848846+1 ~x1848845+3072 x7713+2048 ~x4543+1024 ~x4542+512 ~x4541+256 ~x4540+128 ~x4539+64 ~x4538+32 ~x4537+16 ~x4536+8 ~x4535+4 ~x4534+2 ~x4533+1 ~x4532-0=8190
44.20/44.39	c 16384 ~x1851207+8192 ~x1851206+4096 ~x1851205+2048 ~x1851204+1024 ~x1851203+512 ~x1851202+256 ~x1851201+128 ~x1851200+64 ~x1851199+32 ~x1851198+16 ~x1851197+8 ~x1851196+4 ~x1851195+2 ~x1851194+1 ~x1851193+19456 x7714+16384 ~x4576+8192 ~x4575+4096 ~x4574+2048 ~x4573+1024 ~x4572+512 ~x4571+256 ~x4570+128 ~x4569+64 ~x4568+32 ~x4567+16 ~x4566+8 ~x4565+4 ~x4564+2 ~x4563+1 ~x4562-0=65534
44.31/44.49	c 4096 ~x1855240+2048 ~x1855239+1024 ~x1855238+512 ~x1855237+256 ~x1855236+128 ~x1855235+64 ~x1855234+32 ~x1855233+16 ~x1855232+8 ~x1855231+4 ~x1855230+2 ~x1855229+1 ~x1855228+5120 x7715+4096 ~x4604+2048 ~x4603+1024 ~x4602+512 ~x4601+256 ~x4600+128 ~x4599+64 ~x4598+32 ~x4597+16 ~x4596+8 ~x4595+4 ~x4594+2 ~x4593+1 ~x4592-0=16382
44.40/44.55	c 8192 ~x1857941+4096 ~x1857940+2048 ~x1857939+1024 ~x1857938+512 ~x1857937+256 ~x1857936+128 ~x1857935+64 ~x1857934+32 ~x1857933+16 ~x1857932+8 ~x1857931+4 ~x1857930+2 ~x1857929+1 ~x1857928+15360 x7716+8192 ~x4635+4096 ~x4634+2048 ~x4633+1024 ~x4632+512 ~x4631+256 ~x4630+128 ~x4629+64 ~x4628+32 ~x4627+16 ~x4626+8 ~x4625+4 ~x4624+2 ~x4623+1 ~x4622-0=32766
44.50/44.64	c 16384 ~x1861658+8192 ~x1861657+4096 ~x1861656+2048 ~x1861655+1024 ~x1861654+512 ~x1861653+256 ~x1861652+128 ~x1861651+64 ~x1861650+32 ~x1861649+16 ~x1861648+8 ~x1861647+4 ~x1861646+2 ~x1861645+1 ~x1861644+25600 x7717+16384 ~x4666+8192 ~x4665+4096 ~x4664+2048 ~x4663+1024 ~x4662+512 ~x4661+256 ~x4660+128 ~x4659+64 ~x4658+32 ~x4657+16 ~x4656+8 ~x4655+4 ~x4654+2 ~x4653+1 ~x4652-0=65534
44.60/44.74	c 16384 ~x1865950+8192 ~x1865949+4096 ~x1865948+2048 ~x1865947+1024 ~x1865946+512 ~x1865945+256 ~x1865944+128 ~x1865943+64 ~x1865942+32 ~x1865941+16 ~x1865940+8 ~x1865939+4 ~x1865938+2 ~x1865937+1 ~x1865936+25600 x7718+16384 ~x4696+8192 ~x4695+4096 ~x4694+2048 ~x4693+1024 ~x4692+512 ~x4691+256 ~x4690+128 ~x4689+64 ~x4688+32 ~x4687+16 ~x4686+8 ~x4685+4 ~x4684+2 ~x4683+1 ~x4682-0=65534
44.70/44.84	c 2048 ~x1870239+1024 ~x1870238+512 ~x1870237+256 ~x1870236+128 ~x1870235+64 ~x1870234+32 ~x1870233+16 ~x1870232+8 ~x1870231+4 ~x1870230+2 ~x1870229+1 ~x1870228+3072 x7719+2048 ~x4723+1024 ~x4722+512 ~x4721+256 ~x4720+128 ~x4719+64 ~x4718+32 ~x4717+16 ~x4716+8 ~x4715+4 ~x4714+2 ~x4713+1 ~x4712-0=8190
44.70/44.89	c 8192 ~x1872589+4096 ~x1872588+2048 ~x1872587+1024 ~x1872586+512 ~x1872585+256 ~x1872584+128 ~x1872583+64 ~x1872582+32 ~x1872581+16 ~x1872580+8 ~x1872579+4 ~x1872578+2 ~x1872577+1 ~x1872576+9216 x7720+8192 ~x4755+4096 ~x4754+2048 ~x4753+1024 ~x4752+512 ~x4751+256 ~x4750+128 ~x4749+64 ~x4748+32 ~x4747+16 ~x4746+8 ~x4745+4 ~x4744+2 ~x4743+1 ~x4742-0=32766
44.80/44.98	c 2048 ~x1876303+1024 ~x1876302+512 ~x1876301+256 ~x1876300+128 ~x1876299+64 ~x1876298+32 ~x1876297+16 ~x1876296+8 ~x1876295+4 ~x1876294+2 ~x1876293+1 ~x1876292+3072 x7721+2048 ~x4783+1024 ~x4782+512 ~x4781+256 ~x4780+128 ~x4779+64 ~x4778+32 ~x4777+16 ~x4776+8 ~x4775+4 ~x4774+2 ~x4773+1 ~x4772-0=8190
44.91/45.04	c 16384 ~x1878654+8192 ~x1878653+4096 ~x1878652+2048 ~x1878651+1024 ~x1878650+512 ~x1878649+256 ~x1878648+128 ~x1878647+64 ~x1878646+32 ~x1878645+16 ~x1878644+8 ~x1878643+4 ~x1878642+2 ~x1878641+1 ~x1878640+21504 x7722+16384 ~x4816+8192 ~x4815+4096 ~x4814+2048 ~x4813+1024 ~x4812+512 ~x4811+256 ~x4810+128 ~x4809+64 ~x4808+32 ~x4807+16 ~x4806+8 ~x4805+4 ~x4804+2 ~x4803+1 ~x4802-0=65534
45.01/45.14	c 2048 ~x1882943+1024 ~x1882942+512 ~x1882941+256 ~x1882940+128 ~x1882939+64 ~x1882938+32 ~x1882937+16 ~x1882936+8 ~x1882935+4 ~x1882934+2 ~x1882933+1 ~x1882932+2048 x7723+2048 ~x4843+1024 ~x4842+512 ~x4841+256 ~x4840+128 ~x4839+64 ~x4838+32 ~x4837+16 ~x4836+8 ~x4835+4 ~x4834+2 ~x4833+1 ~x4832-0=8190
45.01/45.19	c 16384 ~x1885294+8192 ~x1885293+4096 ~x1885292+2048 ~x1885291+1024 ~x1885290+512 ~x1885289+256 ~x1885288+128 ~x1885287+64 ~x1885286+32 ~x1885285+16 ~x1885284+8 ~x1885283+4 ~x1885282+2 ~x1885281+1 ~x1885280+25600 x7724+16384 ~x4876+8192 ~x4875+4096 ~x4874+2048 ~x4873+1024 ~x4872+512 ~x4871+256 ~x4870+128 ~x4869+64 ~x4868+32 ~x4867+16 ~x4866+8 ~x4865+4 ~x4864+2 ~x4863+1 ~x4862-0=65534
45.10/45.29	c 4096 ~x1889584+2048 ~x1889583+1024 ~x1889582+512 ~x1889581+256 ~x1889580+128 ~x1889579+64 ~x1889578+32 ~x1889577+16 ~x1889576+8 ~x1889575+4 ~x1889574+2 ~x1889573+1 ~x1889572+5120 x7725+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892-0=16382
45.20/45.36	c 16384 ~x1892286+8192 ~x1892285+4096 ~x1892284+2048 ~x1892283+1024 ~x1892282+512 ~x1892281+256 ~x1892280+128 ~x1892279+64 ~x1892278+32 ~x1892277+16 ~x1892276+8 ~x1892275+4 ~x1892274+2 ~x1892273+1 ~x1892272+25600 x7726+16384 ~x4936+8192 ~x4935+4096 ~x4934+2048 ~x4933+1024 ~x4932+512 ~x4931+256 ~x4930+128 ~x4929+64 ~x4928+32 ~x4927+16 ~x4926+8 ~x4925+4 ~x4924+2 ~x4923+1 ~x4922-0=65534
45.30/45.45	c 8192 ~x1896577+4096 ~x1896576+2048 ~x1896575+1024 ~x1896574+512 ~x1896573+256 ~x1896572+128 ~x1896571+64 ~x1896570+32 ~x1896569+16 ~x1896568+8 ~x1896567+4 ~x1896566+2 ~x1896565+1 ~x1896564+9216 x7727+8192 ~x4965+4096 ~x4964+2048 ~x4963+1024 ~x4962+512 ~x4961+256 ~x4960+128 ~x4959+64 ~x4958+32 ~x4957+16 ~x4956+8 ~x4955+4 ~x4954+2 ~x4953+1 ~x4952-0=32766
45.39/45.54	c 4096 ~x1900292+2048 ~x1900291+1024 ~x1900290+512 ~x1900289+256 ~x1900288+128 ~x1900287+64 ~x1900286+32 ~x1900285+16 ~x1900284+8 ~x1900283+4 ~x1900282+2 ~x1900281+1 ~x1900280+7168 x7728+4096 ~x4994+2048 ~x4993+1024 ~x4992+512 ~x4991+256 ~x4990+128 ~x4989+64 ~x4988+32 ~x4987+16 ~x4986+8 ~x4985+4 ~x4984+2 ~x4983+1 ~x4982-0=16382
45.50/45.61	c 16384 ~x1902994+8192 ~x1902993+4096 ~x1902992+2048 ~x1902991+1024 ~x1902990+512 ~x1902989+256 ~x1902988+128 ~x1902987+64 ~x1902986+32 ~x1902985+16 ~x1902984+8 ~x1902983+4 ~x1902982+2 ~x1902981+1 ~x1902980+25600 x7729+16384 ~x5026+8192 ~x5025+4096 ~x5024+2048 ~x5023+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=65534
45.60/45.70	c 16384 ~x1907286+8192 ~x1907285+4096 ~x1907284+2048 ~x1907283+1024 ~x1907282+512 ~x1907281+256 ~x1907280+128 ~x1907279+64 ~x1907278+32 ~x1907277+16 ~x1907276+8 ~x1907275+4 ~x1907274+2 ~x1907273+1 ~x1907272+19456 x7730+16384 ~x5056+8192 ~x5055+4096 ~x5054+2048 ~x5053+1024 ~x5052+512 ~x5051+256 ~x5050+128 ~x5049+64 ~x5048+32 ~x5047+16 ~x5046+8 ~x5045+4 ~x5044+2 ~x5043+1 ~x5042-0=65534
45.70/45.80	c 4096 ~x1911319+2048 ~x1911318+1024 ~x1911317+512 ~x1911316+256 ~x1911315+128 ~x1911314+64 ~x1911313+32 ~x1911312+16 ~x1911311+8 ~x1911310+4 ~x1911309+2 ~x1911308+1 ~x1911307+7168 x7731+4096 ~x5084+2048 ~x5083+1024 ~x5082+512 ~x5081+256 ~x5080+128 ~x5079+64 ~x5078+32 ~x5077+16 ~x5076+8 ~x5075+4 ~x5074+2 ~x5073+1 ~x5072-0=16382
45.70/45.86	c 16384 ~x1914021+8192 ~x1914020+4096 ~x1914019+2048 ~x1914018+1024 ~x1914017+512 ~x1914016+256 ~x1914015+128 ~x1914014+64 ~x1914013+32 ~x1914012+16 ~x1914011+8 ~x1914010+4 ~x1914009+2 ~x1914008+1 ~x1914007+25600 x7732+16384 ~x5116+8192 ~x5115+4096 ~x5114+2048 ~x5113+1024 ~x5112+512 ~x5111+256 ~x5110+128 ~x5109+64 ~x5108+32 ~x5107+16 ~x5106+8 ~x5105+4 ~x5104+2 ~x5103+1 ~x5102-0=65534
45.79/45.96	c 4096 ~x1918311+2048 ~x1918310+1024 ~x1918309+512 ~x1918308+256 ~x1918307+128 ~x1918306+64 ~x1918305+32 ~x1918304+16 ~x1918303+8 ~x1918302+4 ~x1918301+2 ~x1918300+1 ~x1918299+5120 x7733+4096 ~x5144+2048 ~x5143+1024 ~x5142+512 ~x5141+256 ~x5140+128 ~x5139+64 ~x5138+32 ~x5137+16 ~x5136+8 ~x5135+4 ~x5134+2 ~x5133+1 ~x5132-0=16382
45.90/46.03	c 8192 ~x1921012+4096 ~x1921011+2048 ~x1921010+1024 ~x1921009+512 ~x1921008+256 ~x1921007+128 ~x1921006+64 ~x1921005+32 ~x1921004+16 ~x1921003+8 ~x1921002+4 ~x1921001+2 ~x1921000+1 ~x1920999+15360 x7734+8192 ~x5175+4096 ~x5174+2048 ~x5173+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=32766
46.00/46.11	c 16384 ~x1924729+8192 ~x1924728+4096 ~x1924727+2048 ~x1924726+1024 ~x1924725+512 ~x1924724+256 ~x1924723+128 ~x1924722+64 ~x1924721+32 ~x1924720+16 ~x1924719+8 ~x1924718+4 ~x1924717+2 ~x1924716+1 ~x1924715+19456 x7735+16384 ~x5206+8192 ~x5205+4096 ~x5204+2048 ~x5203+1024 ~x5202+512 ~x5201+256 ~x5200+128 ~x5199+64 ~x5198+32 ~x5197+16 ~x5196+8 ~x5195+4 ~x5194+2 ~x5193+1 ~x5192-0=65534
46.10/46.21	c 16384 ~x1928764+8192 ~x1928763+4096 ~x1928762+2048 ~x1928761+1024 ~x1928760+512 ~x1928759+256 ~x1928758+128 ~x1928757+64 ~x1928756+32 ~x1928755+16 ~x1928754+8 ~x1928753+4 ~x1928752+2 ~x1928751+1 ~x1928750+19456 x7736+16384 ~x5236+8192 ~x5235+4096 ~x5234+2048 ~x5233+1024 ~x5232+512 ~x5231+256 ~x5230+128 ~x5229+64 ~x5228+32 ~x5227+16 ~x5226+8 ~x5225+4 ~x5224+2 ~x5223+1 ~x5222-0=65534
46.20/46.30	c 2048 ~x1932796+1024 ~x1932795+512 ~x1932794+256 ~x1932793+128 ~x1932792+64 ~x1932791+32 ~x1932790+16 ~x1932789+8 ~x1932788+4 ~x1932787+2 ~x1932786+1 ~x1932785+3072 x7737+2048 ~x5263+1024 ~x5262+512 ~x5261+256 ~x5260+128 ~x5259+64 ~x5258+32 ~x5257+16 ~x5256+8 ~x5255+4 ~x5254+2 ~x5253+1 ~x5252-0=8190
46.20/46.36	c 8192 ~x1935146+4096 ~x1935145+2048 ~x1935144+1024 ~x1935143+512 ~x1935142+256 ~x1935141+128 ~x1935140+64 ~x1935139+32 ~x1935138+16 ~x1935137+8 ~x1935136+4 ~x1935135+2 ~x1935134+1 ~x1935133+9216 x7738+8192 ~x5295+4096 ~x5294+2048 ~x5293+1024 ~x5292+512 ~x5291+256 ~x5290+128 ~x5289+64 ~x5288+32 ~x5287+16 ~x5286+8 ~x5285+4 ~x5284+2 ~x5283+1 ~x5282-0=32766
46.30/46.45	c 2048 ~x1938860+1024 ~x1938859+512 ~x1938858+256 ~x1938857+128 ~x1938856+64 ~x1938855+32 ~x1938854+16 ~x1938853+8 ~x1938852+4 ~x1938851+2 ~x1938850+1 ~x1938849+3072 x7739+2048 ~x5323+1024 ~x5322+512 ~x5321+256 ~x5320+128 ~x5319+64 ~x5318+32 ~x5317+16 ~x5316+8 ~x5315+4 ~x5314+2 ~x5313+1 ~x5312-0=8190
46.40/46.51	c 16384 ~x1941211+8192 ~x1941210+4096 ~x1941209+2048 ~x1941208+1024 ~x1941207+512 ~x1941206+256 ~x1941205+128 ~x1941204+64 ~x1941203+32 ~x1941202+16 ~x1941201+8 ~x1941200+4 ~x1941199+2 ~x1941198+1 ~x1941197+19456 x7740+16384 ~x5356+8192 ~x5355+4096 ~x5354+2048 ~x5353+1024 ~x5352+512 ~x5351+256 ~x5350+128 ~x5349+64 ~x5348+32 ~x5347+16 ~x5346+8 ~x5345+4 ~x5344+2 ~x5343+1 ~x5342-0=65534
46.50/46.60	c 2048 ~x1945243+1024 ~x1945242+512 ~x1945241+256 ~x1945240+128 ~x1945239+64 ~x1945238+32 ~x1945237+16 ~x1945236+8 ~x1945235+4 ~x1945234+2 ~x1945233+1 ~x1945232+2048 x7741+2048 ~x5383+1024 ~x5382+512 ~x5381+256 ~x5380+128 ~x5379+64 ~x5378+32 ~x5377+16 ~x5376+8 ~x5375+4 ~x5374+2 ~x5373+1 ~x5372-0=8190
46.50/46.66	c 16384 ~x1947594+8192 ~x1947593+4096 ~x1947592+2048 ~x1947591+1024 ~x1947590+512 ~x1947589+256 ~x1947588+128 ~x1947587+64 ~x1947586+32 ~x1947585+16 ~x1947584+8 ~x1947583+4 ~x1947582+2 ~x1947581+1 ~x1947580+19456 x7742+16384 ~x5416+8192 ~x5415+4096 ~x5414+2048 ~x5413+1024 ~x5412+512 ~x5411+256 ~x5410+128 ~x5409+64 ~x5408+32 ~x5407+16 ~x5406+8 ~x5405+4 ~x5404+2 ~x5403+1 ~x5402-0=65534
46.60/46.78	c 4096 ~x1951627+2048 ~x1951626+1024 ~x1951625+512 ~x1951624+256 ~x1951623+128 ~x1951622+64 ~x1951621+32 ~x1951620+16 ~x1951619+8 ~x1951618+4 ~x1951617+2 ~x1951616+1 ~x1951615+5120 x7743+4096 ~x5444+2048 ~x5443+1024 ~x5442+512 ~x5441+256 ~x5440+128 ~x5439+64 ~x5438+32 ~x5437+16 ~x5436+8 ~x5435+4 ~x5434+2 ~x5433+1 ~x5432-0=16382
46.70/46.85	c 16384 ~x1954329+8192 ~x1954328+4096 ~x1954327+2048 ~x1954326+1024 ~x1954325+512 ~x1954324+256 ~x1954323+128 ~x1954322+64 ~x1954321+32 ~x1954320+16 ~x1954319+8 ~x1954318+4 ~x1954317+2 ~x1954316+1 ~x1954315+19456 x7744+16384 ~x5476+8192 ~x5475+4096 ~x5474+2048 ~x5473+1024 ~x5472+512 ~x5471+256 ~x5470+128 ~x5469+64 ~x5468+32 ~x5467+16 ~x5466+8 ~x5465+4 ~x5464+2 ~x5463+1 ~x5462-0=65534
46.80/46.94	c 8192 ~x1958363+4096 ~x1958362+2048 ~x1958361+1024 ~x1958360+512 ~x1958359+256 ~x1958358+128 ~x1958357+64 ~x1958356+32 ~x1958355+16 ~x1958354+8 ~x1958353+4 ~x1958352+2 ~x1958351+1 ~x1958350+9216 x7745+8192 ~x5505+4096 ~x5504+2048 ~x5503+1024 ~x5502+512 ~x5501+256 ~x5500+128 ~x5499+64 ~x5498+32 ~x5497+16 ~x5496+8 ~x5495+4 ~x5494+2 ~x5493+1 ~x5492-0=32766
46.90/47.03	c 4096 ~x1962078+2048 ~x1962077+1024 ~x1962076+512 ~x1962075+256 ~x1962074+128 ~x1962073+64 ~x1962072+32 ~x1962071+16 ~x1962070+8 ~x1962069+4 ~x1962068+2 ~x1962067+1 ~x1962066+7168 x7746+4096 ~x5534+2048 ~x5533+1024 ~x5532+512 ~x5531+256 ~x5530+128 ~x5529+64 ~x5528+32 ~x5527+16 ~x5526+8 ~x5525+4 ~x5524+2 ~x5523+1 ~x5522-0=16382
46.90/47.09	c 16384 ~x1964780+8192 ~x1964779+4096 ~x1964778+2048 ~x1964777+1024 ~x1964776+512 ~x1964775+256 ~x1964774+128 ~x1964773+64 ~x1964772+32 ~x1964771+16 ~x1964770+8 ~x1964769+4 ~x1964768+2 ~x1964767+1 ~x1964766+19456 x7747+16384 ~x5566+8192 ~x5565+4096 ~x5564+2048 ~x5563+1024 ~x5562+512 ~x5561+256 ~x5560+128 ~x5559+64 ~x5558+32 ~x5557+16 ~x5556+8 ~x5555+4 ~x5554+2 ~x5553+1 ~x5552-0=65534
47.00/47.19	c 16384 ~x1968815+8192 ~x1968814+4096 ~x1968813+2048 ~x1968812+1024 ~x1968811+512 ~x1968810+256 ~x1968809+128 ~x1968808+64 ~x1968807+32 ~x1968806+16 ~x1968805+8 ~x1968804+4 ~x1968803+2 ~x1968802+1 ~x1968801+19456 x7748+16384 ~x5596+8192 ~x5595+4096 ~x5594+2048 ~x5593+1024 ~x5592+512 ~x5591+256 ~x5590+128 ~x5589+64 ~x5588+32 ~x5587+16 ~x5586+8 ~x5585+4 ~x5584+2 ~x5583+1 ~x5582-0=65534
47.10/47.28	c 4096 ~x1972848+2048 ~x1972847+1024 ~x1972846+512 ~x1972845+256 ~x1972844+128 ~x1972843+64 ~x1972842+32 ~x1972841+16 ~x1972840+8 ~x1972839+4 ~x1972838+2 ~x1972837+1 ~x1972836+7168 x7749+4096 ~x5624+2048 ~x5623+1024 ~x5622+512 ~x5621+256 ~x5620+128 ~x5619+64 ~x5618+32 ~x5617+16 ~x5616+8 ~x5615+4 ~x5614+2 ~x5613+1 ~x5612-0=16382
47.20/47.34	c 16384 ~x1975550+8192 ~x1975549+4096 ~x1975548+2048 ~x1975547+1024 ~x1975546+512 ~x1975545+256 ~x1975544+128 ~x1975543+64 ~x1975542+32 ~x1975541+16 ~x1975540+8 ~x1975539+4 ~x1975538+2 ~x1975537+1 ~x1975536+19456 x7750+16384 ~x5656+8192 ~x5655+4096 ~x5654+2048 ~x5653+1024 ~x5652+512 ~x5651+256 ~x5650+128 ~x5649+64 ~x5648+32 ~x5647+16 ~x5646+8 ~x5645+4 ~x5644+2 ~x5643+1 ~x5642-0=65534
47.30/47.44	c 2048 ~x1979582+1024 ~x1979581+512 ~x1979580+256 ~x1979579+128 ~x1979578+64 ~x1979577+32 ~x1979576+16 ~x1979575+8 ~x1979574+4 ~x1979573+2 ~x1979572+1 ~x1979571+2048 x7751+2048 ~x5683+1024 ~x5682+512 ~x5681+256 ~x5680+128 ~x5679+64 ~x5678+32 ~x5677+16 ~x5676+8 ~x5675+4 ~x5674+2 ~x5673+1 ~x5672-0=8190
47.30/47.49	c 8192 ~x1981932+4096 ~x1981931+2048 ~x1981930+1024 ~x1981929+512 ~x1981928+256 ~x1981927+128 ~x1981926+64 ~x1981925+32 ~x1981924+16 ~x1981923+8 ~x1981922+4 ~x1981921+2 ~x1981920+1 ~x1981919+8192 x7752+8192 ~x5715+4096 ~x5714+2048 ~x5713+1024 ~x5712+512 ~x5711+256 ~x5710+128 ~x5709+64 ~x5708+32 ~x5707+16 ~x5706+8 ~x5705+4 ~x5704+2 ~x5703+1 ~x5702-0=32766
47.40/47.58	c 2048 ~x1985646+1024 ~x1985645+512 ~x1985644+256 ~x1985643+128 ~x1985642+64 ~x1985641+32 ~x1985640+16 ~x1985639+8 ~x1985638+4 ~x1985637+2 ~x1985636+1 ~x1985635+2048 x7753+2048 ~x5743+1024 ~x5742+512 ~x5741+256 ~x5740+128 ~x5739+64 ~x5738+32 ~x5737+16 ~x5736+8 ~x5735+4 ~x5734+2 ~x5733+1 ~x5732-0=8190
47.50/47.64	c 2048 ~x1987994+1024 ~x1987993+512 ~x1987992+256 ~x1987991+128 ~x1987990+64 ~x1987989+32 ~x1987988+16 ~x1987987+8 ~x1987986+4 ~x1987985+2 ~x1987984+1 ~x1987983+3072 x7754+2048 ~x5773+1024 ~x5772+512 ~x5771+256 ~x5770+128 ~x5769+64 ~x5768+32 ~x5767+16 ~x5766+8 ~x5765+4 ~x5764+2 ~x5763+1 ~x5762-0=8190
47.50/47.70	c 16384 ~x1990345+8192 ~x1990344+4096 ~x1990343+2048 ~x1990342+1024 ~x1990341+512 ~x1990340+256 ~x1990339+128 ~x1990338+64 ~x1990337+32 ~x1990336+16 ~x1990335+8 ~x1990334+4 ~x1990333+2 ~x1990332+1 ~x1990331+19456 x7755+16384 ~x5806+8192 ~x5805+4096 ~x5804+2048 ~x5803+1024 ~x5802+512 ~x5801+256 ~x5800+128 ~x5799+64 ~x5798+32 ~x5797+16 ~x5796+8 ~x5795+4 ~x5794+2 ~x5793+1 ~x5792-0=65534
47.60/47.79	c 4096 ~x1994378+2048 ~x1994377+1024 ~x1994376+512 ~x1994375+256 ~x1994374+128 ~x1994373+64 ~x1994372+32 ~x1994371+16 ~x1994370+8 ~x1994369+4 ~x1994368+2 ~x1994367+1 ~x1994366+5120 x7756+4096 ~x5834+2048 ~x5833+1024 ~x5832+512 ~x5831+256 ~x5830+128 ~x5829+64 ~x5828+32 ~x5827+16 ~x5826+8 ~x5825+4 ~x5824+2 ~x5823+1 ~x5822-0=16382
47.70/47.85	c 8192 ~x1997079+4096 ~x1997078+2048 ~x1997077+1024 ~x1997076+512 ~x1997075+256 ~x1997074+128 ~x1997073+64 ~x1997072+32 ~x1997071+16 ~x1997070+8 ~x1997069+4 ~x1997068+2 ~x1997067+1 ~x1997066+15360 x7757+8192 ~x5865+4096 ~x5864+2048 ~x5863+1024 ~x5862+512 ~x5861+256 ~x5860+128 ~x5859+64 ~x5858+32 ~x5857+16 ~x5856+8 ~x5855+4 ~x5854+2 ~x5853+1 ~x5852-0=32766
47.80/47.94	c 16384 ~x2000796+8192 ~x2000795+4096 ~x2000794+2048 ~x2000793+1024 ~x2000792+512 ~x2000791+256 ~x2000790+128 ~x2000789+64 ~x2000788+32 ~x2000787+16 ~x2000786+8 ~x2000785+4 ~x2000784+2 ~x2000783+1 ~x2000782+31744 x7758+16384 ~x5896+8192 ~x5895+4096 ~x5894+2048 ~x5893+1024 ~x5892+512 ~x5891+256 ~x5890+128 ~x5889+64 ~x5888+32 ~x5887+16 ~x5886+8 ~x5885+4 ~x5884+2 ~x5883+1 ~x5882-0=65534
47.89/48.04	c 4096 ~x2005086+2048 ~x2005085+1024 ~x2005084+512 ~x2005083+256 ~x2005082+128 ~x2005081+64 ~x2005080+32 ~x2005079+16 ~x2005078+8 ~x2005077+4 ~x2005076+2 ~x2005075+1 ~x2005074+5120 x7759+4096 ~x5924+2048 ~x5923+1024 ~x5922+512 ~x5921+256 ~x5920+128 ~x5919+64 ~x5918+32 ~x5917+16 ~x5916+8 ~x5915+4 ~x5914+2 ~x5913+1 ~x5912-0=16382
48.00/48.10	c 16384 ~x2007788+8192 ~x2007787+4096 ~x2007786+2048 ~x2007785+1024 ~x2007784+512 ~x2007783+256 ~x2007782+128 ~x2007781+64 ~x2007780+32 ~x2007779+16 ~x2007778+8 ~x2007777+4 ~x2007776+2 ~x2007775+1 ~x2007774+31744 x7760+16384 ~x5956+8192 ~x5955+4096 ~x5954+2048 ~x5953+1024 ~x5952+512 ~x5951+256 ~x5950+128 ~x5949+64 ~x5948+32 ~x5947+16 ~x5946+8 ~x5945+4 ~x5944+2 ~x5943+1 ~x5942-0=65534
48.10/48.20	c 8192 ~x2012079+4096 ~x2012078+2048 ~x2012077+1024 ~x2012076+512 ~x2012075+256 ~x2012074+128 ~x2012073+64 ~x2012072+32 ~x2012071+16 ~x2012070+8 ~x2012069+4 ~x2012068+2 ~x2012067+1 ~x2012066+9216 x7761+8192 ~x5985+4096 ~x5984+2048 ~x5983+1024 ~x5982+512 ~x5981+256 ~x5980+128 ~x5979+64 ~x5978+32 ~x5977+16 ~x5976+8 ~x5975+4 ~x5974+2 ~x5973+1 ~x5972-0=32766
48.10/48.29	c 2048 ~x2015793+1024 ~x2015792+512 ~x2015791+256 ~x2015790+128 ~x2015789+64 ~x2015788+32 ~x2015787+16 ~x2015786+8 ~x2015785+4 ~x2015784+2 ~x2015783+1 ~x2015782+3072 x7762+2048 ~x6013+1024 ~x6012+512 ~x6011+256 ~x6010+128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002-0=8190
48.21/48.35	c 16384 ~x2018144+8192 ~x2018143+4096 ~x2018142+2048 ~x2018141+1024 ~x2018140+512 ~x2018139+256 ~x2018138+128 ~x2018137+64 ~x2018136+32 ~x2018135+16 ~x2018134+8 ~x2018133+4 ~x2018132+2 ~x2018131+1 ~x2018130+21504 x7763+16384 ~x6046+8192 ~x6045+4096 ~x6044+2048 ~x6043+1024 ~x6042+512 ~x6041+256 ~x6040+128 ~x6039+64 ~x6038+32 ~x6037+16 ~x6036+8 ~x6035+4 ~x6034+2 ~x6033+1 ~x6032-0=65534
48.30/48.44	c 2048 ~x2022433+1024 ~x2022432+512 ~x2022431+256 ~x2022430+128 ~x2022429+64 ~x2022428+32 ~x2022427+16 ~x2022426+8 ~x2022425+4 ~x2022424+2 ~x2022423+1 ~x2022422+2048 x7764+2048 ~x6073+1024 ~x6072+512 ~x6071+256 ~x6070+128 ~x6069+64 ~x6068+32 ~x6067+16 ~x6066+8 ~x6065+4 ~x6064+2 ~x6063+1 ~x6062-0=8190
48.39/48.50	c 16384 ~x2024784+8192 ~x2024783+4096 ~x2024782+2048 ~x2024781+1024 ~x2024780+512 ~x2024779+256 ~x2024778+128 ~x2024777+64 ~x2024776+32 ~x2024775+16 ~x2024774+8 ~x2024773+4 ~x2024772+2 ~x2024771+1 ~x2024770+29696 x7765+16384 ~x6106+8192 ~x6105+4096 ~x6104+2048 ~x6103+1024 ~x6102+512 ~x6101+256 ~x6100+128 ~x6099+64 ~x6098+32 ~x6097+16 ~x6096+8 ~x6095+4 ~x6094+2 ~x6093+1 ~x6092-0=65534
48.50/48.60	c 4096 ~x2029074+2048 ~x2029073+1024 ~x2029072+512 ~x2029071+256 ~x2029070+128 ~x2029069+64 ~x2029068+32 ~x2029067+16 ~x2029066+8 ~x2029065+4 ~x2029064+2 ~x2029063+1 ~x2029062+5120 x7766+4096 ~x6134+2048 ~x6133+1024 ~x6132+512 ~x6131+256 ~x6130+128 ~x6129+64 ~x6128+32 ~x6127+16 ~x6126+8 ~x6125+4 ~x6124+2 ~x6123+1 ~x6122-0=16382
48.50/48.66	c 16384 ~x2031776+8192 ~x2031775+4096 ~x2031774+2048 ~x2031773+1024 ~x2031772+512 ~x2031771+256 ~x2031770+128 ~x2031769+64 ~x2031768+32 ~x2031767+16 ~x2031766+8 ~x2031765+4 ~x2031764+2 ~x2031763+1 ~x2031762+31744 x7767+16384 ~x6166+8192 ~x6165+4096 ~x6164+2048 ~x6163+1024 ~x6162+512 ~x6161+256 ~x6160+128 ~x6159+64 ~x6158+32 ~x6157+16 ~x6156+8 ~x6155+4 ~x6154+2 ~x6153+1 ~x6152-0=65534
48.60/48.76	c 8192 ~x2036067+4096 ~x2036066+2048 ~x2036065+1024 ~x2036064+512 ~x2036063+256 ~x2036062+128 ~x2036061+64 ~x2036060+32 ~x2036059+16 ~x2036058+8 ~x2036057+4 ~x2036056+2 ~x2036055+1 ~x2036054+9216 x7768+8192 ~x6195+4096 ~x6194+2048 ~x6193+1024 ~x6192+512 ~x6191+256 ~x6190+128 ~x6189+64 ~x6188+32 ~x6187+16 ~x6186+8 ~x6185+4 ~x6184+2 ~x6183+1 ~x6182-0=32766
48.70/48.85	c 4096 ~x2039782+2048 ~x2039781+1024 ~x2039780+512 ~x2039779+256 ~x2039778+128 ~x2039777+64 ~x2039776+32 ~x2039775+16 ~x2039774+8 ~x2039773+4 ~x2039772+2 ~x2039771+1 ~x2039770+7168 x7769+4096 ~x6224+2048 ~x6223+1024 ~x6222+512 ~x6221+256 ~x6220+128 ~x6219+64 ~x6218+32 ~x6217+16 ~x6216+8 ~x6215+4 ~x6214+2 ~x6213+1 ~x6212-0=16382
48.80/48.91	c 8192 ~x2042483+4096 ~x2042482+2048 ~x2042481+1024 ~x2042480+512 ~x2042479+256 ~x2042478+128 ~x2042477+64 ~x2042476+32 ~x2042475+16 ~x2042474+8 ~x2042473+4 ~x2042472+2 ~x2042471+1 ~x2042470+15360 x7770+8192 ~x6255+4096 ~x6254+2048 ~x6253+1024 ~x6252+512 ~x6251+256 ~x6250+128 ~x6249+64 ~x6248+32 ~x6247+16 ~x6246+8 ~x6245+4 ~x6244+2 ~x6243+1 ~x6242-0=32766
48.89/49.00	c 16384 ~x2046200+8192 ~x2046199+4096 ~x2046198+2048 ~x2046197+1024 ~x2046196+512 ~x2046195+256 ~x2046194+128 ~x2046193+64 ~x2046192+32 ~x2046191+16 ~x2046190+8 ~x2046189+4 ~x2046188+2 ~x2046187+1 ~x2046186+27648 x7771+16384 ~x6286+8192 ~x6285+4096 ~x6284+2048 ~x6283+1024 ~x6282+512 ~x6281+256 ~x6280+128 ~x6279+64 ~x6278+32 ~x6277+16 ~x6276+8 ~x6275+4 ~x6274+2 ~x6273+1 ~x6272-0=65534
48.99/49.10	c 4096 ~x2050490+2048 ~x2050489+1024 ~x2050488+512 ~x2050487+256 ~x2050486+128 ~x2050485+64 ~x2050484+32 ~x2050483+16 ~x2050482+8 ~x2050481+4 ~x2050480+2 ~x2050479+1 ~x2050478+7168 x7772+4096 ~x6314+2048 ~x6313+1024 ~x6312+512 ~x6311+256 ~x6310+128 ~x6309+64 ~x6308+32 ~x6307+16 ~x6306+8 ~x6305+4 ~x6304+2 ~x6303+1 ~x6302-0=16382
48.99/49.16	c 16384 ~x2053192+8192 ~x2053191+4096 ~x2053190+2048 ~x2053189+1024 ~x2053188+512 ~x2053187+256 ~x2053186+128 ~x2053185+64 ~x2053184+32 ~x2053183+16 ~x2053182+8 ~x2053181+4 ~x2053180+2 ~x2053179+1 ~x2053178+27648 x7773+16384 ~x6346+8192 ~x6345+4096 ~x6344+2048 ~x6343+1024 ~x6342+512 ~x6341+256 ~x6340+128 ~x6339+64 ~x6338+32 ~x6337+16 ~x6336+8 ~x6335+4 ~x6334+2 ~x6333+1 ~x6332-0=65534
49.10/49.26	c 2048 ~x2057481+1024 ~x2057480+512 ~x2057479+256 ~x2057478+128 ~x2057477+64 ~x2057476+32 ~x2057475+16 ~x2057474+8 ~x2057473+4 ~x2057472+2 ~x2057471+1 ~x2057470+2048 x7774+2048 ~x6373+1024 ~x6372+512 ~x6371+256 ~x6370+128 ~x6369+64 ~x6368+32 ~x6367+16 ~x6366+8 ~x6365+4 ~x6364+2 ~x6363+1 ~x6362-0=8190
49.20/49.32	c 8192 ~x2059831+4096 ~x2059830+2048 ~x2059829+1024 ~x2059828+512 ~x2059827+256 ~x2059826+128 ~x2059825+64 ~x2059824+32 ~x2059823+16 ~x2059822+8 ~x2059821+4 ~x2059820+2 ~x2059819+1 ~x2059818+8192 x7775+8192 ~x6405+4096 ~x6404+2048 ~x6403+1024 ~x6402+512 ~x6401+256 ~x6400+128 ~x6399+64 ~x6398+32 ~x6397+16 ~x6396+8 ~x6395+4 ~x6394+2 ~x6393+1 ~x6392-0=32766
49.31/49.40	c 2048 ~x2063545+1024 ~x2063544+512 ~x2063543+256 ~x2063542+128 ~x2063541+64 ~x2063540+32 ~x2063539+16 ~x2063538+8 ~x2063537+4 ~x2063536+2 ~x2063535+1 ~x2063534+2048 x7776+2048 ~x6433+1024 ~x6432+512 ~x6431+256 ~x6430+128 ~x6429+64 ~x6428+32 ~x6427+16 ~x6426+8 ~x6425+4 ~x6424+2 ~x6423+1 ~x6422-0=8190
49.31/49.46	c 2048 ~x2065893+1024 ~x2065892+512 ~x2065891+256 ~x2065890+128 ~x2065889+64 ~x2065888+32 ~x2065887+16 ~x2065886+8 ~x2065885+4 ~x2065884+2 ~x2065883+1 ~x2065882+3072 x7777+2048 ~x6463+1024 ~x6462+512 ~x6461+256 ~x6460+128 ~x6459+64 ~x6458+32 ~x6457+16 ~x6456+8 ~x6455+4 ~x6454+2 ~x6453+1 ~x6452-0=8190
49.41/49.52	c 16384 ~x2068244+8192 ~x2068243+4096 ~x2068242+2048 ~x2068241+1024 ~x2068240+512 ~x2068239+256 ~x2068238+128 ~x2068237+64 ~x2068236+32 ~x2068235+16 ~x2068234+8 ~x2068233+4 ~x2068232+2 ~x2068231+1 ~x2068230+19456 x7778+16384 ~x6496+8192 ~x6495+4096 ~x6494+2048 ~x6493+1024 ~x6492+512 ~x6491+256 ~x6490+128 ~x6489+64 ~x6488+32 ~x6487+16 ~x6486+8 ~x6485+4 ~x6484+2 ~x6483+1 ~x6482-0=65534
49.50/49.61	c 4096 ~x2072277+2048 ~x2072276+1024 ~x2072275+512 ~x2072274+256 ~x2072273+128 ~x2072272+64 ~x2072271+32 ~x2072270+16 ~x2072269+8 ~x2072268+4 ~x2072267+2 ~x2072266+1 ~x2072265+5120 x7779+4096 ~x6524+2048 ~x6523+1024 ~x6522+512 ~x6521+256 ~x6520+128 ~x6519+64 ~x6518+32 ~x6517+16 ~x6516+8 ~x6515+4 ~x6514+2 ~x6513+1 ~x6512-0=16382
49.50/49.67	c 8192 ~x2074978+4096 ~x2074977+2048 ~x2074976+1024 ~x2074975+512 ~x2074974+256 ~x2074973+128 ~x2074972+64 ~x2074971+32 ~x2074970+16 ~x2074969+8 ~x2074968+4 ~x2074967+2 ~x2074966+1 ~x2074965+15360 x7780+8192 ~x6555+4096 ~x6554+2048 ~x6553+1024 ~x6552+512 ~x6551+256 ~x6550+128 ~x6549+64 ~x6548+32 ~x6547+16 ~x6546+8 ~x6545+4 ~x6544+2 ~x6543+1 ~x6542-0=32766
49.59/49.76	c 16384 ~x2078695+8192 ~x2078694+4096 ~x2078693+2048 ~x2078692+1024 ~x2078691+512 ~x2078690+256 ~x2078689+128 ~x2078688+64 ~x2078687+32 ~x2078686+16 ~x2078685+8 ~x2078684+4 ~x2078683+2 ~x2078682+1 ~x2078681+24576 x7781+16384 ~x6586+8192 ~x6585+4096 ~x6584+2048 ~x6583+1024 ~x6582+512 ~x6581+256 ~x6580+128 ~x6579+64 ~x6578+32 ~x6577+16 ~x6576+8 ~x6575+4 ~x6574+2 ~x6573+1 ~x6572-0=65534
49.69/49.86	c 16384 ~x2082987+8192 ~x2082986+4096 ~x2082985+2048 ~x2082984+1024 ~x2082983+512 ~x2082982+256 ~x2082981+128 ~x2082980+64 ~x2082979+32 ~x2082978+16 ~x2082977+8 ~x2082976+4 ~x2082975+2 ~x2082974+1 ~x2082973+30720 x7782+16384 ~x6616+8192 ~x6615+4096 ~x6614+2048 ~x6613+1024 ~x6612+512 ~x6611+256 ~x6610+128 ~x6609+64 ~x6608+32 ~x6607+16 ~x6606+8 ~x6605+4 ~x6604+2 ~x6603+1 ~x6602-0=65534
49.79/49.96	c 16384 ~x2087279+8192 ~x2087278+4096 ~x2087277+2048 ~x2087276+1024 ~x2087275+512 ~x2087274+256 ~x2087273+128 ~x2087272+64 ~x2087271+32 ~x2087270+16 ~x2087269+8 ~x2087268+4 ~x2087267+2 ~x2087266+1 ~x2087265+30720 x7783+16384 ~x6646+8192 ~x6645+4096 ~x6644+2048 ~x6643+1024 ~x6642+512 ~x6641+256 ~x6640+128 ~x6639+64 ~x6638+32 ~x6637+16 ~x6636+8 ~x6635+4 ~x6634+2 ~x6633+1 ~x6632-0=65534
49.90/50.06	c 8192 ~x2091570+4096 ~x2091569+2048 ~x2091568+1024 ~x2091567+512 ~x2091566+256 ~x2091565+128 ~x2091564+64 ~x2091563+32 ~x2091562+16 ~x2091561+8 ~x2091560+4 ~x2091559+2 ~x2091558+1 ~x2091557+9216 x7784+8192 ~x6675+4096 ~x6674+2048 ~x6673+1024 ~x6672+512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662-0=32766
50.00/50.15	c 2048 ~x2095284+1024 ~x2095283+512 ~x2095282+256 ~x2095281+128 ~x2095280+64 ~x2095279+32 ~x2095278+16 ~x2095277+8 ~x2095276+4 ~x2095275+2 ~x2095274+1 ~x2095273+3072 x7785+2048 ~x6703+1024 ~x6702+512 ~x6701+256 ~x6700+128 ~x6699+64 ~x6698+32 ~x6697+16 ~x6696+8 ~x6695+4 ~x6694+2 ~x6693+1 ~x6692-0=8190
50.10/50.21	c 16384 ~x2097635+8192 ~x2097634+4096 ~x2097633+2048 ~x2097632+1024 ~x2097631+512 ~x2097630+256 ~x2097629+128 ~x2097628+64 ~x2097627+32 ~x2097626+16 ~x2097625+8 ~x2097624+4 ~x2097623+2 ~x2097622+1 ~x2097621+21504 x7786+16384 ~x6736+8192 ~x6735+4096 ~x6734+2048 ~x6733+1024 ~x6732+512 ~x6731+256 ~x6730+128 ~x6729+64 ~x6728+32 ~x6727+16 ~x6726+8 ~x6725+4 ~x6724+2 ~x6723+1 ~x6722-0=65534
50.20/50.30	c 2048 ~x2101924+1024 ~x2101923+512 ~x2101922+256 ~x2101921+128 ~x2101920+64 ~x2101919+32 ~x2101918+16 ~x2101917+8 ~x2101916+4 ~x2101915+2 ~x2101914+1 ~x2101913+2048 x7787+2048 ~x6763+1024 ~x6762+512 ~x6761+256 ~x6760+128 ~x6759+64 ~x6758+32 ~x6757+16 ~x6756+8 ~x6755+4 ~x6754+2 ~x6753+1 ~x6752-0=8190
50.20/50.36	c 16384 ~x2104275+8192 ~x2104274+4096 ~x2104273+2048 ~x2104272+1024 ~x2104271+512 ~x2104270+256 ~x2104269+128 ~x2104268+64 ~x2104267+32 ~x2104266+16 ~x2104265+8 ~x2104264+4 ~x2104263+2 ~x2104262+1 ~x2104261+29696 x7788+16384 ~x6796+8192 ~x6795+4096 ~x6794+2048 ~x6793+1024 ~x6792+512 ~x6791+256 ~x6790+128 ~x6789+64 ~x6788+32 ~x6787+16 ~x6786+8 ~x6785+4 ~x6784+2 ~x6783+1 ~x6782-0=65534
50.30/50.46	c 4096 ~x2108565+2048 ~x2108564+1024 ~x2108563+512 ~x2108562+256 ~x2108561+128 ~x2108560+64 ~x2108559+32 ~x2108558+16 ~x2108557+8 ~x2108556+4 ~x2108555+2 ~x2108554+1 ~x2108553+5120 x7789+4096 ~x6824+2048 ~x6823+1024 ~x6822+512 ~x6821+256 ~x6820+128 ~x6819+64 ~x6818+32 ~x6817+16 ~x6816+8 ~x6815+4 ~x6814+2 ~x6813+1 ~x6812-0=16382
50.40/50.52	c 16384 ~x2111267+8192 ~x2111266+4096 ~x2111265+2048 ~x2111264+1024 ~x2111263+512 ~x2111262+256 ~x2111261+128 ~x2111260+64 ~x2111259+32 ~x2111258+16 ~x2111257+8 ~x2111256+4 ~x2111255+2 ~x2111254+1 ~x2111253+30720 x7790+16384 ~x6856+8192 ~x6855+4096 ~x6854+2048 ~x6853+1024 ~x6852+512 ~x6851+256 ~x6850+128 ~x6849+64 ~x6848+32 ~x6847+16 ~x6846+8 ~x6845+4 ~x6844+2 ~x6843+1 ~x6842-0=65534
50.50/50.62	c 8192 ~x2115558+4096 ~x2115557+2048 ~x2115556+1024 ~x2115555+512 ~x2115554+256 ~x2115553+128 ~x2115552+64 ~x2115551+32 ~x2115550+16 ~x2115549+8 ~x2115548+4 ~x2115547+2 ~x2115546+1 ~x2115545+9216 x7791+8192 ~x6885+4096 ~x6884+2048 ~x6883+1024 ~x6882+512 ~x6881+256 ~x6880+128 ~x6879+64 ~x6878+32 ~x6877+16 ~x6876+8 ~x6875+4 ~x6874+2 ~x6873+1 ~x6872-0=32766
50.59/50.71	c 16384 ~x2119275+8192 ~x2119274+4096 ~x2119273+2048 ~x2119272+1024 ~x2119271+512 ~x2119270+256 ~x2119269+128 ~x2119268+64 ~x2119267+32 ~x2119266+16 ~x2119265+8 ~x2119264+4 ~x2119263+2 ~x2119262+1 ~x2119261+24576 x7792+16384 ~x6916+8192 ~x6915+4096 ~x6914+2048 ~x6913+1024 ~x6912+512 ~x6911+256 ~x6910+128 ~x6909+64 ~x6908+32 ~x6907+16 ~x6906+8 ~x6905+4 ~x6904+2 ~x6903+1 ~x6902-0=65534
50.69/50.81	c 4096 ~x2123565+2048 ~x2123564+1024 ~x2123563+512 ~x2123562+256 ~x2123561+128 ~x2123560+64 ~x2123559+32 ~x2123558+16 ~x2123557+8 ~x2123556+4 ~x2123555+2 ~x2123554+1 ~x2123553+7168 x7793+4096 ~x6944+2048 ~x6943+1024 ~x6942+512 ~x6941+256 ~x6940+128 ~x6939+64 ~x6938+32 ~x6937+16 ~x6936+8 ~x6935+4 ~x6934+2 ~x6933+1 ~x6932-0=16382
50.69/50.87	c 16384 ~x2126267+8192 ~x2126266+4096 ~x2126265+2048 ~x2126264+1024 ~x2126263+512 ~x2126262+256 ~x2126261+128 ~x2126260+64 ~x2126259+32 ~x2126258+16 ~x2126257+8 ~x2126256+4 ~x2126255+2 ~x2126254+1 ~x2126253+27648 x7794+16384 ~x6976+8192 ~x6975+4096 ~x6974+2048 ~x6973+1024 ~x6972+512 ~x6971+256 ~x6970+128 ~x6969+64 ~x6968+32 ~x6967+16 ~x6966+8 ~x6965+4 ~x6964+2 ~x6963+1 ~x6962-0=65534
50.80/50.97	c 4096 ~x2130557+2048 ~x2130556+1024 ~x2130555+512 ~x2130554+256 ~x2130553+128 ~x2130552+64 ~x2130551+32 ~x2130550+16 ~x2130549+8 ~x2130548+4 ~x2130547+2 ~x2130546+1 ~x2130545+7168 x7795+4096 ~x7004+2048 ~x7003+1024 ~x7002+512 ~x7001+256 ~x7000+128 ~x6999+64 ~x6998+32 ~x6997+16 ~x6996+8 ~x6995+4 ~x6994+2 ~x6993+1 ~x6992-0=16382
50.90/51.04	c 16384 ~x2133259+8192 ~x2133258+4096 ~x2133257+2048 ~x2133256+1024 ~x2133255+512 ~x2133254+256 ~x2133253+128 ~x2133252+64 ~x2133251+32 ~x2133250+16 ~x2133249+8 ~x2133248+4 ~x2133247+2 ~x2133246+1 ~x2133245+27648 x7796+16384 ~x7036+8192 ~x7035+4096 ~x7034+2048 ~x7033+1024 ~x7032+512 ~x7031+256 ~x7030+128 ~x7029+64 ~x7028+32 ~x7027+16 ~x7026+8 ~x7025+4 ~x7024+2 ~x7023+1 ~x7022-0=65534
51.00/51.13	c 2048 ~x2137548+1024 ~x2137547+512 ~x2137546+256 ~x2137545+128 ~x2137544+64 ~x2137543+32 ~x2137542+16 ~x2137541+8 ~x2137540+4 ~x2137539+2 ~x2137538+1 ~x2137537+2048 x7797+2048 ~x7063+1024 ~x7062+512 ~x7061+256 ~x7060+128 ~x7059+64 ~x7058+32 ~x7057+16 ~x7056+8 ~x7055+4 ~x7054+2 ~x7053+1 ~x7052-0=8190
51.00/51.19	c 8192 ~x2139898+4096 ~x2139897+2048 ~x2139896+1024 ~x2139895+512 ~x2139894+256 ~x2139893+128 ~x2139892+64 ~x2139891+32 ~x2139890+16 ~x2139889+8 ~x2139888+4 ~x2139887+2 ~x2139886+1 ~x2139885+8192 x7798+8192 ~x7095+4096 ~x7094+2048 ~x7093+1024 ~x7092+512 ~x7091+256 ~x7090+128 ~x7089+64 ~x7088+32 ~x7087+16 ~x7086+8 ~x7085+4 ~x7084+2 ~x7083+1 ~x7082-0=32766
51.10/51.28	c 2048 ~x2143612+1024 ~x2143611+512 ~x2143610+256 ~x2143609+128 ~x2143608+64 ~x2143607+32 ~x2143606+16 ~x2143605+8 ~x2143604+4 ~x2143603+2 ~x2143602+1 ~x2143601+2048 x7799+2048 ~x7123+1024 ~x7122+512 ~x7121+256 ~x7120+128 ~x7119+64 ~x7118+32 ~x7117+16 ~x7116+8 ~x7115+4 ~x7114+2 ~x7113+1 ~x7112-0=8190
51.19/51.34	c 2048 ~x2145960+1024 ~x2145959+512 ~x2145958+256 ~x2145957+128 ~x2145956+64 ~x2145955+32 ~x2145954+16 ~x2145953+8 ~x2145952+4 ~x2145951+2 ~x2145950+1 ~x2145949+3072 x7800+2048 ~x7153+1024 ~x7152+512 ~x7151+256 ~x7150+128 ~x7149+64 ~x7148+32 ~x7147+16 ~x7146+8 ~x7145+4 ~x7144+2 ~x7143+1 ~x7142-0=8190
51.19/51.39	c 16384 ~x2148311+8192 ~x2148310+4096 ~x2148309+2048 ~x2148308+1024 ~x2148307+512 ~x2148306+256 ~x2148305+128 ~x2148304+64 ~x2148303+32 ~x2148302+16 ~x2148301+8 ~x2148300+4 ~x2148299+2 ~x2148298+1 ~x2148297+19456 x7801+16384 ~x7186+8192 ~x7185+4096 ~x7184+2048 ~x7183+1024 ~x7182+512 ~x7181+256 ~x7180+128 ~x7179+64 ~x7178+32 ~x7177+16 ~x7176+8 ~x7175+4 ~x7174+2 ~x7173+1 ~x7172-0=65534
51.30/51.49	c 4096 ~x2152344+2048 ~x2152343+1024 ~x2152342+512 ~x2152341+256 ~x2152340+128 ~x2152339+64 ~x2152338+32 ~x2152337+16 ~x2152336+8 ~x2152335+4 ~x2152334+2 ~x2152333+1 ~x2152332+5120 x7802+4096 ~x7214+2048 ~x7213+1024 ~x7212+512 ~x7211+256 ~x7210+128 ~x7209+64 ~x7208+32 ~x7207+16 ~x7206+8 ~x7205+4 ~x7204+2 ~x7203+1 ~x7202-0=16382
51.40/51.55	c 8192 ~x2155045+4096 ~x2155044+2048 ~x2155043+1024 ~x2155042+512 ~x2155041+256 ~x2155040+128 ~x2155039+64 ~x2155038+32 ~x2155037+16 ~x2155036+8 ~x2155035+4 ~x2155034+2 ~x2155033+1 ~x2155032+9216 x7803+8192 ~x7245+4096 ~x7244+2048 ~x7243+1024 ~x7242+512 ~x7241+256 ~x7240+128 ~x7239+64 ~x7238+32 ~x7237+16 ~x7236+8 ~x7235+4 ~x7234+2 ~x7233+1 ~x7232-0=32766
51.50/51.64	c 8192 ~x2158761+4096 ~x2158760+2048 ~x2158759+1024 ~x2158758+512 ~x2158757+256 ~x2158756+128 ~x2158755+64 ~x2158754+32 ~x2158753+16 ~x2158752+8 ~x2158751+4 ~x2158750+2 ~x2158749+1 ~x2158748+15360 x7804+8192 ~x7275+4096 ~x7274+2048 ~x7273+1024 ~x7272+512 ~x7271+256 ~x7270+128 ~x7269+64 ~x7268+32 ~x7267+16 ~x7266+8 ~x7265+4 ~x7264+2 ~x7263+1 ~x7262-0=32766
51.61/51.73	c 16384 ~x2162478+8192 ~x2162477+4096 ~x2162476+2048 ~x2162475+1024 ~x2162474+512 ~x2162473+256 ~x2162472+128 ~x2162471+64 ~x2162470+32 ~x2162469+16 ~x2162468+8 ~x2162467+4 ~x2162466+2 ~x2162465+1 ~x2162464+26624 x7805+16384 ~x7306+8192 ~x7305+4096 ~x7304+2048 ~x7303+1024 ~x7302+512 ~x7301+256 ~x7300+128 ~x7299+64 ~x7298+32 ~x7297+16 ~x7296+8 ~x7295+4 ~x7294+2 ~x7293+1 ~x7292-0=65534
51.70/51.83	c 16384 ~x2166770+8192 ~x2166769+4096 ~x2166768+2048 ~x2166767+1024 ~x2166766+512 ~x2166765+256 ~x2166764+128 ~x2166763+64 ~x2166762+32 ~x2166761+16 ~x2166760+8 ~x2166759+4 ~x2166758+2 ~x2166757+1 ~x2166756+26624 x7806+16384 ~x7336+8192 ~x7335+4096 ~x7334+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322-0=65534
51.79/51.92	c 8192 ~x2171061+4096 ~x2171060+2048 ~x2171059+1024 ~x2171058+512 ~x2171057+256 ~x2171056+128 ~x2171055+64 ~x2171054+32 ~x2171053+16 ~x2171052+8 ~x2171051+4 ~x2171050+2 ~x2171049+1 ~x2171048+9216 x7807+8192 ~x7365+4096 ~x7364+2048 ~x7363+1024 ~x7362+512 ~x7361+256 ~x7360+128 ~x7359+64 ~x7358+32 ~x7357+16 ~x7356+8 ~x7355+4 ~x7354+2 ~x7353+1 ~x7352-0=32766
51.89/52.01	c 2048 ~x2174775+1024 ~x2174774+512 ~x2174773+256 ~x2174772+128 ~x2174771+64 ~x2174770+32 ~x2174769+16 ~x2174768+8 ~x2174767+4 ~x2174766+2 ~x2174765+1 ~x2174764+3072 x7808+2048 ~x7393+1024 ~x7392+512 ~x7391+256 ~x7390+128 ~x7389+64 ~x7388+32 ~x7387+16 ~x7386+8 ~x7385+4 ~x7384+2 ~x7383+1 ~x7382-0=8190
51.89/52.07	c 16384 ~x2177126+8192 ~x2177125+4096 ~x2177124+2048 ~x2177123+1024 ~x2177122+512 ~x2177121+256 ~x2177120+128 ~x2177119+64 ~x2177118+32 ~x2177117+16 ~x2177116+8 ~x2177115+4 ~x2177114+2 ~x2177113+1 ~x2177112+21504 x7809+16384 ~x7426+8192 ~x7425+4096 ~x7424+2048 ~x7423+1024 ~x7422+512 ~x7421+256 ~x7420+128 ~x7419+64 ~x7418+32 ~x7417+16 ~x7416+8 ~x7415+4 ~x7414+2 ~x7413+1 ~x7412-0=65534
51.99/52.17	c 2048 ~x2181415+1024 ~x2181414+512 ~x2181413+256 ~x2181412+128 ~x2181411+64 ~x2181410+32 ~x2181409+16 ~x2181408+8 ~x2181407+4 ~x2181406+2 ~x2181405+1 ~x2181404+2048 x7810+2048 ~x7453+1024 ~x7452+512 ~x7451+256 ~x7450+128 ~x7449+64 ~x7448+32 ~x7447+16 ~x7446+8 ~x7445+4 ~x7444+2 ~x7443+1 ~x7442-0=8190
52.09/52.23	c 16384 ~x2183766+8192 ~x2183765+4096 ~x2183764+2048 ~x2183763+1024 ~x2183762+512 ~x2183761+256 ~x2183760+128 ~x2183759+64 ~x2183758+32 ~x2183757+16 ~x2183756+8 ~x2183755+4 ~x2183754+2 ~x2183753+1 ~x2183752+26624 x7811+16384 ~x7486+8192 ~x7485+4096 ~x7484+2048 ~x7483+1024 ~x7482+512 ~x7481+256 ~x7480+128 ~x7479+64 ~x7478+32 ~x7477+16 ~x7476+8 ~x7475+4 ~x7474+2 ~x7473+1 ~x7472-0=65534
52.20/52.32	c 4096 ~x2188056+2048 ~x2188055+1024 ~x2188054+512 ~x2188053+256 ~x2188052+128 ~x2188051+64 ~x2188050+32 ~x2188049+16 ~x2188048+8 ~x2188047+4 ~x2188046+2 ~x2188045+1 ~x2188044+5120 x7812+4096 ~x7514+2048 ~x7513+1024 ~x7512+512 ~x7511+256 ~x7510+128 ~x7509+64 ~x7508+32 ~x7507+16 ~x7506+8 ~x7505+4 ~x7504+2 ~x7503+1 ~x7502-0=16382
52.20/52.39	c 16384 ~x2190758+8192 ~x2190757+4096 ~x2190756+2048 ~x2190755+1024 ~x2190754+512 ~x2190753+256 ~x2190752+128 ~x2190751+64 ~x2190750+32 ~x2190749+16 ~x2190748+8 ~x2190747+4 ~x2190746+2 ~x

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-2674107-1276798958/watcher-2674107-1276798958 -o /tmp/evaluation-result-2674107-1276798958/solver-2674107-1276798958 -C 1800 -W 2000 -M 1800 run HOME/instance-2674107-1276798958.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: 0.81 0.95 0.98 2/106 17406
/proc/meminfo: memFree=1852112/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0

[startup+0.0825029 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 17406
/proc/meminfo: memFree=1852112/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100503 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 17406
/proc/meminfo: memFree=1852112/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300501 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 17406
/proc/meminfo: memFree=1852112/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700497 s]
/proc/loadavg: 0.81 0.95 0.98 2/106 17406
/proc/meminfo: memFree=1852112/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50049 s]
/proc/loadavg: 0.81 0.95 0.98 2/108 17409
/proc/meminfo: memFree=1690676/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=246180 CPUtime=1.44
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 61338 0 5 0 55 89 0 0 19 0 1 0 53552114 252088320 60921 1992294400 134512640 134902295 4292850016 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 61545 60921 256 96 0 60757 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 254880

[startup+3.10147 s]
/proc/loadavg: 0.81 0.95 0.98 2/108 17409
/proc/meminfo: memFree=1540140/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=390980 CPUtime=3.03
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 97495 0 5 0 183 120 0 0 25 0 1 0 53552114 400363520 97078 1992294400 134512640 134902295 4292850016 18446744073709551615 134893911 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 97745 97078 259 96 0 96957 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 399680

[startup+6.30044 s]
/proc/loadavg: 0.82 0.95 0.98 2/108 17409
/proc/meminfo: memFree=1506908/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=365556 CPUtime=6.23
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 110488 0 5 0 494 129 0 0 25 0 1 0 53552114 374329344 90345 1992294400 134512640 134902295 4292850016 18446744073709551615 4160193264 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 91389 90345 262 96 0 90601 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 374256

[startup+12.7014 s]
/proc/loadavg: 0.84 0.95 0.98 2/108 17411
/proc/meminfo: memFree=1390348/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=485780 CPUtime=12.63
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 143099 0 5 0 1121 142 0 0 25 0 1 0 53552114 497438720 119379 1992294400 134512640 134902295 4292850016 18446744073709551615 4160232127 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 121445 119379 262 96 0 120657 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 494480

[startup+25.5002 s]
/proc/loadavg: 0.87 0.95 0.98 2/108 17411
/proc/meminfo: memFree=1144456/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=723360 CPUtime=25.43
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 208007 0 5 0 2372 171 0 0 25 0 1 0 53552114 740720640 177885 1992294400 134512640 134902295 4292850016 18446744073709551615 134565222 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 180840 177885 262 96 0 180052 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 732060

[startup+51.101 s]
/proc/loadavg: 1.00 0.97 0.99 2/108 17411
/proc/meminfo: memFree=677968/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1212200 CPUtime=51
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 329910 0 5 0 4882 218 0 0 25 0 1 0 53552114 1241292800 295324 1992294400 134512640 134902295 4292850016 18446744073709551615 4160226314 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 303050 295325 262 96 0 302262 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 1220900

[startup+102.308 s]
/proc/loadavg: 1.00 0.97 0.99 2/108 17413
/proc/meminfo: memFree=635560/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1240500 CPUtime=102.18
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 338461 0 5 0 9995 223 0 0 25 0 1 0 53552114 1270272000 303475 1992294400 134512640 134902295 4292850016 18446744073709551615 4160226301 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 310125 303475 269 96 0 309337 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 1249200

[startup+162.301 s]
/proc/loadavg: 1.11 1.01 1.00 2/108 17415
/proc/meminfo: memFree=625268/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1250796 CPUtime=162.15
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 341028 0 5 0 15988 227 0 0 25 0 1 0 53552114 1280815104 306042 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223358 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 312699 306042 269 96 0 311911 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 1259496

[startup+222.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/108 17415
/proc/meminfo: memFree=618944/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1257056 CPUtime=222.11
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 342591 0 5 0 21981 230 0 0 25 0 1 0 53552114 1287225344 307605 1992294400 134512640 134902295 4292850016 18446744073709551615 4160193267 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 314264 307605 269 96 0 313476 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 1265756

[startup+282.302 s]
/proc/loadavg: 1.11 1.03 1.00 2/108 17417
/proc/meminfo: memFree=608900/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1267728 CPUtime=282.09
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 345101 0 5 0 27975 234 0 0 25 0 1 0 53552114 1298153472 310115 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223544 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 316932 310115 269 96 0 316144 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 1276428

[startup+342.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/108 17419
/proc/meminfo: memFree=604188/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1272268 CPUtime=342.06
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 346274 0 5 0 33969 237 0 0 25 0 1 0 53552114 1302802432 311288 1992294400 134512640 134902295 4292850016 18446744073709551615 4160226193 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 318067 311288 269 96 0 317279 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 1280968

[startup+402.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 17421
/proc/meminfo: memFree=600468/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1275924 CPUtime=402.02
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 347186 0 5 0 39963 239 0 0 25 0 1 0 53552114 1306546176 312200 1992294400 134512640 134902295 4292850016 18446744073709551615 4160212141 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 318981 312200 269 96 0 318193 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 1284624

[startup+462.301 s]

################
# More data... #
################

/proc/17408/statm: 330182 323233 269 96 0 329394 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 1329428

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 17444
/proc/meminfo: memFree=512472/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1322852 CPUtime=1181.64
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 358759 0 5 0 117889 275 0 0 25 0 1 0 53552114 1354600448 323773 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223358 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 330713 323773 269 96 0 329925 0
Current children cumulated CPU time (s) 1181.64
Current children cumulated vsize (KiB) 1331552

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17446
/proc/meminfo: memFree=510736/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1324512 CPUtime=1241.61
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 359159 0 5 0 123885 276 0 0 25 0 1 0 53552114 1356300288 324173 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223358 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 331128 324173 269 96 0 330340 0
Current children cumulated CPU time (s) 1241.61
Current children cumulated vsize (KiB) 1333212

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17448
/proc/meminfo: memFree=509124/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1325996 CPUtime=1301.58
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 359550 0 5 0 129881 277 0 0 25 0 1 0 53552114 1357819904 324564 1992294400 134512640 134902295 4292850016 18446744073709551615 4160193144 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 331499 324564 269 96 0 330711 0
Current children cumulated CPU time (s) 1301.58
Current children cumulated vsize (KiB) 1334696

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17450
/proc/meminfo: memFree=507388/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1327724 CPUtime=1361.55
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 359989 0 5 0 135876 279 0 0 25 0 1 0 53552114 1359589376 325003 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223358 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 331931 325003 269 96 0 331143 0
Current children cumulated CPU time (s) 1361.55
Current children cumulated vsize (KiB) 1336424

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17450
/proc/meminfo: memFree=505900/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1329252 CPUtime=1421.53
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 360365 0 5 0 141873 280 0 0 25 0 1 0 53552114 1361154048 325379 1992294400 134512640 134902295 4292850016 18446744073709551615 4160193171 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 332313 325379 269 96 0 331525 0
Current children cumulated CPU time (s) 1421.53
Current children cumulated vsize (KiB) 1337952

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17452
/proc/meminfo: memFree=504288/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1330888 CPUtime=1481.49
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 360743 0 5 0 147868 281 0 0 25 0 1 0 53552114 1362829312 325757 1992294400 134512640 134902295 4292850016 18446744073709551615 4160212141 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 332722 325757 269 96 0 331934 0
Current children cumulated CPU time (s) 1481.49
Current children cumulated vsize (KiB) 1339588

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17454
/proc/meminfo: memFree=502180/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1332832 CPUtime=1541.46
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 361259 0 5 0 153863 283 0 0 25 0 1 0 53552114 1364819968 326273 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223358 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 333208 326273 269 96 0 332420 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 1341532

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17456
/proc/meminfo: memFree=494368/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1341572 CPUtime=1601.43
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 363236 0 5 0 159857 286 0 0 25 0 1 0 53552114 1373769728 328250 1992294400 134512640 134902295 4292850016 18446744073709551615 4160226298 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 335393 328250 269 96 0 334605 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 1350272

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17458
/proc/meminfo: memFree=486804/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1349012 CPUtime=1661.4
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 365119 0 5 0 165850 290 0 0 25 0 1 0 53552114 1381388288 330133 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223358 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 337253 330133 269 96 0 336465 0
Current children cumulated CPU time (s) 1661.4
Current children cumulated vsize (KiB) 1357712

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17458
/proc/meminfo: memFree=480976/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1354732 CPUtime=1721.38
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 366566 0 5 0 171844 294 0 0 25 0 1 0 53552114 1387245568 331580 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223532 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 338683 331580 269 96 0 337895 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 1363432

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17460
/proc/meminfo: memFree=477008/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1358392 CPUtime=1781.35
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 367469 0 5 0 177838 297 0 0 25 0 1 0 53552114 1390993408 332483 1992294400 134512640 134902295 4292850016 18446744073709551615 4160211532 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 339598 332483 269 96 0 338810 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 1367092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17460
/proc/meminfo: memFree=476140/2059040 swapFree=4140352/4192956
[pid=17406] ppid=17404 vsize=8700 CPUtime=0
/proc/17406/stat : 17406 (run) S 17404 17406 17351 0 -1 4202496 389 134 0 0 0 0 0 0 23 0 1 0 53552114 8908800 250 1992294400 4194304 4922060 140736945807056 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17406/statm: 2175 250 211 178 0 68 0
[pid=17408] ppid=17406 vsize=1359380 CPUtime=1800.04
/proc/17408/stat : 17408 (PBPASSolver) R 17406 17406 17351 0 -1 4202496 367715 0 5 0 179706 298 0 0 25 0 1 0 53552114 1392005120 332729 1992294400 134512640 134902295 4292850016 18446744073709551615 4160223358 0 0 4096 17608 0 0 0 17 0 0 0 4
/proc/17408/statm: 339845 332729 269 96 0 339057 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1368080

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1801.02
CPU time (s): 1800.04
CPU user time (s): 1797.06
CPU system time (s): 2.98
CPU usage (%): 99.9458
Max. virtual memory (cumulated for all children) (KiB): 1368080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523
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 3.18052 second user time and 8.5327 second system time

The end

Begin job on node019 at 2010-06-17 20:22:38
IDJOB=2674107
IDBENCH=2297
IDSOLVER=1174
FILE ID=node019/2674107-1276798958
PBS_JOBID= 11176653
Free space on /tmp= 62392 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674107-1276798958/watcher-2674107-1276798958 -o /tmp/evaluation-result-2674107-1276798958/solver-2674107-1276798958 -C 1800 -W 2000 -M 1800  run HOME/instance-2674107-1276798958.opb

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

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=80864963

node019.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.264
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.52
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.264
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1853168 kB
Buffers:         44592 kB
Cached:          70476 kB
SwapCached:       5932 kB
Active:          28668 kB
Inactive:        99588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1853168 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            1060 kB
Writeback:           0 kB
AnonPages:       11604 kB
Mapped:          13128 kB
Slab:            55840 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181100 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= 62392 MiB
End job on node019 at 2010-06-17 20:52:41