19.48/19.56	c 5239 195 0 0 0 0 0 0
19.48/19.56	c 8192 ~x768799+4096 ~x768798+2048 ~x768797+1024 ~x768796+512 ~x768795+256 ~x768794+128 ~x768793+64 ~x768792+32 ~x768791+16 ~x768790+8 ~x768789+4 ~x768788+2 ~x768787+1 ~x768786+14336 x5072+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=32766
19.58/19.66	c 8192 ~x772515+4096 ~x772514+2048 ~x772513+1024 ~x772512+512 ~x772511+256 ~x772510+128 ~x772509+64 ~x772508+32 ~x772507+16 ~x772506+8 ~x772505+4 ~x772504+2 ~x772503+1 ~x772502+14336 x5073+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
19.69/19.75	c 2048 ~x776229+1024 ~x776228+512 ~x776227+256 ~x776226+128 ~x776225+64 ~x776224+32 ~x776223+16 ~x776222+8 ~x776221+4 ~x776220+2 ~x776219+1 ~x776218+2048 x5074+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
19.79/19.81	c 4096 ~x778578+2048 ~x778577+1024 ~x778576+512 ~x778575+256 ~x778574+128 ~x778573+64 ~x778572+32 ~x778571+16 ~x778570+8 ~x778569+4 ~x778568+2 ~x778567+1 ~x778566+7168 x5075+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=16382
19.79/19.88	c 2048 ~x781277+1024 ~x781276+512 ~x781275+256 ~x781274+128 ~x781273+64 ~x781272+32 ~x781271+16 ~x781270+8 ~x781269+4 ~x781268+2 ~x781267+1 ~x781266+2048 x5076+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=8190
19.88/19.94	c 4096 ~x783626+2048 ~x783625+1024 ~x783624+512 ~x783623+256 ~x783622+128 ~x783621+64 ~x783620+32 ~x783619+16 ~x783618+8 ~x783617+4 ~x783616+2 ~x783615+1 ~x783614+7168 x5077+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=16382
19.98/20.01	c 4096 ~x786326+2048 ~x786325+1024 ~x786324+512 ~x786323+256 ~x786322+128 ~x786321+64 ~x786320+32 ~x786319+16 ~x786318+8 ~x786317+4 ~x786316+2 ~x786315+1 ~x786314+5120 x5078+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
19.98/20.08	c 16384 ~x789028+8192 ~x789027+4096 ~x789026+2048 ~x789025+1024 ~x789024+512 ~x789023+256 ~x789022+128 ~x789021+64 ~x789020+32 ~x789019+16 ~x789018+8 ~x789017+4 ~x789016+2 ~x789015+1 ~x789014+18432 x5079+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
20.08/20.18	c 16384 ~x793063+8192 ~x793062+4096 ~x793061+2048 ~x793060+1024 ~x793059+512 ~x793058+256 ~x793057+128 ~x793056+64 ~x793055+32 ~x793054+16 ~x793053+8 ~x793052+4 ~x793051+2 ~x793050+1 ~x793049+18432 x5080+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=65534
20.18/20.28	c 8192 ~x797097+4096 ~x797096+2048 ~x797095+1024 ~x797094+512 ~x797093+256 ~x797092+128 ~x797091+64 ~x797090+32 ~x797089+16 ~x797088+8 ~x797087+4 ~x797086+2 ~x797085+1 ~x797084+13312 x5081+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
20.28/20.39	c 4096 ~x800812+2048 ~x800811+1024 ~x800810+512 ~x800809+256 ~x800808+128 ~x800807+64 ~x800806+32 ~x800805+16 ~x800804+8 ~x800803+4 ~x800802+2 ~x800801+1 ~x800800+6144 x5082+4096 ~x314+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=16382
20.38/20.45	c 2048 ~x803511+1024 ~x803510+512 ~x803509+256 ~x803508+128 ~x803507+64 ~x803506+32 ~x803505+16 ~x803504+8 ~x803503+4 ~x803502+2 ~x803501+1 ~x803500+3072 x5083+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
20.48/20.51	c 16384 ~x805862+8192 ~x805861+4096 ~x805860+2048 ~x805859+1024 ~x805858+512 ~x805857+256 ~x805856+128 ~x805855+64 ~x805854+32 ~x805853+16 ~x805852+8 ~x805851+4 ~x805850+2 ~x805849+1 ~x805848+18432 x5084+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=65534
20.58/20.61	c 8192 ~x809896+4096 ~x809895+2048 ~x809894+1024 ~x809893+512 ~x809892+256 ~x809891+128 ~x809890+64 ~x809889+32 ~x809888+16 ~x809887+8 ~x809886+4 ~x809885+2 ~x809884+1 ~x809883+9216 x5085+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=32766
20.68/20.71	c 4096 ~x813611+2048 ~x813610+1024 ~x813609+512 ~x813608+256 ~x813607+128 ~x813606+64 ~x813605+32 ~x813604+16 ~x813603+8 ~x813602+4 ~x813601+2 ~x813600+1 ~x813599+4096 x5086+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
20.68/20.77	c 1024 ~x816309+512 ~x816308+256 ~x816307+128 ~x816306+64 ~x816305+32 ~x816304+16 ~x816303+8 ~x816302+4 ~x816301+2 ~x816300+1 ~x816299+1024 x5087+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=4094
20.78/20.83	c 16384 ~x818426+8192 ~x818425+4096 ~x818424+2048 ~x818423+1024 ~x818422+512 ~x818421+256 ~x818420+128 ~x818419+64 ~x818418+32 ~x818417+16 ~x818416+8 ~x818415+4 ~x818414+2 ~x818413+1 ~x818412+18432 x5088+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=65534
20.88/20.93	c 16384 ~x822461+8192 ~x822460+4096 ~x822459+2048 ~x822458+1024 ~x822457+512 ~x822456+256 ~x822455+128 ~x822454+64 ~x822453+32 ~x822452+16 ~x822451+8 ~x822450+4 ~x822449+2 ~x822448+1 ~x822447+18432 x5089+16384 ~x526+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=65534
20.98/21.03	c 2048 ~x826493+1024 ~x826492+512 ~x826491+256 ~x826490+128 ~x826489+64 ~x826488+32 ~x826487+16 ~x826486+8 ~x826485+4 ~x826484+2 ~x826483+1 ~x826482+2048 x5090+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=8190
20.98/21.09	c 8192 ~x828843+4096 ~x828842+2048 ~x828841+1024 ~x828840+512 ~x828839+256 ~x828838+128 ~x828837+64 ~x828836+32 ~x828835+16 ~x828834+8 ~x828833+4 ~x828832+2 ~x828831+1 ~x828830+9216 x5091+8192 ~x585+4096 ~x584+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=32766
21.08/21.18	c 4096 ~x832558+2048 ~x832557+1024 ~x832556+512 ~x832555+256 ~x832554+128 ~x832553+64 ~x832552+32 ~x832551+16 ~x832550+8 ~x832549+4 ~x832548+2 ~x832547+1 ~x832546+5120 x5092+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=16382
21.18/21.25	c 8192 ~x835259+4096 ~x835258+2048 ~x835257+1024 ~x835256+512 ~x835255+256 ~x835254+128 ~x835253+64 ~x835252+32 ~x835251+16 ~x835250+8 ~x835249+4 ~x835248+2 ~x835247+1 ~x835246+12288 x5093+8192 ~x645+4096 ~x644+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=32766
21.28/21.34	c 8192 ~x838975+4096 ~x838974+2048 ~x838973+1024 ~x838972+512 ~x838971+256 ~x838970+128 ~x838969+64 ~x838968+32 ~x838967+16 ~x838966+8 ~x838965+4 ~x838964+2 ~x838963+1 ~x838962+12288 x5094+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
21.38/21.43	c 8192 ~x842691+4096 ~x842690+2048 ~x842689+1024 ~x842688+512 ~x842687+256 ~x842686+128 ~x842685+64 ~x842684+32 ~x842683+16 ~x842682+8 ~x842681+4 ~x842680+2 ~x842679+1 ~x842678+12288 x5095+8192 ~x705+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=32766
21.47/21.53	c 4096 ~x846406+2048 ~x846405+1024 ~x846404+512 ~x846403+256 ~x846402+128 ~x846401+64 ~x846400+32 ~x846399+16 ~x846398+8 ~x846397+4 ~x846396+2 ~x846395+1 ~x846394+5120 x5096+4096 ~x734+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=16382
21.47/21.59	c 4096 ~x849106+2048 ~x849105+1024 ~x849104+512 ~x849103+256 ~x849102+128 ~x849101+64 ~x849100+32 ~x849099+16 ~x849098+8 ~x849097+4 ~x849096+2 ~x849095+1 ~x849094+6144 x5097+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=16382
21.58/21.66	c 2048 ~x851805+1024 ~x851804+512 ~x851803+256 ~x851802+128 ~x851801+64 ~x851800+32 ~x851799+16 ~x851798+8 ~x851797+4 ~x851796+2 ~x851795+1 ~x851794+3072 x5098+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=8190
21.68/21.72	c 8192 ~x854155+4096 ~x854154+2048 ~x854153+1024 ~x854152+512 ~x854151+256 ~x854150+128 ~x854149+64 ~x854148+32 ~x854147+16 ~x854146+8 ~x854145+4 ~x854144+2 ~x854143+1 ~x854142+12288 x5099+8192 ~x825+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=32766
21.78/21.81	c 4096 ~x857870+2048 ~x857869+1024 ~x857868+512 ~x857867+256 ~x857866+128 ~x857865+64 ~x857864+32 ~x857863+16 ~x857862+8 ~x857861+4 ~x857860+2 ~x857859+1 ~x857858+4096 x5100+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=16382
21.78/21.88	c 1024 ~x860568+512 ~x860567+256 ~x860566+128 ~x860565+64 ~x860564+32 ~x860563+16 ~x860562+8 ~x860561+4 ~x860560+2 ~x860559+1 ~x860558+1024 x5101+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=4094
21.89/21.94	c 8192 ~x862684+4096 ~x862683+2048 ~x862682+1024 ~x862681+512 ~x862680+256 ~x862679+128 ~x862678+64 ~x862677+32 ~x862676+16 ~x862675+8 ~x862674+4 ~x862673+2 ~x862672+1 ~x862671+12288 x5102+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
21.99/22.03	c 8192 ~x866400+4096 ~x866399+2048 ~x866398+1024 ~x866397+512 ~x866396+256 ~x866395+128 ~x866394+64 ~x866393+32 ~x866392+16 ~x866391+8 ~x866390+4 ~x866389+2 ~x866388+1 ~x866387+12288 x5103+8192 ~x945+4096 ~x944+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=32766
22.08/22.12	c 2048 ~x870114+1024 ~x870113+512 ~x870112+256 ~x870111+128 ~x870110+64 ~x870109+32 ~x870108+16 ~x870107+8 ~x870106+4 ~x870105+2 ~x870104+1 ~x870103+2048 x5104+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=8190
22.08/22.18	c 8192 ~x872464+4096 ~x872463+2048 ~x872462+1024 ~x872461+512 ~x872460+256 ~x872459+128 ~x872458+64 ~x872457+32 ~x872456+16 ~x872455+8 ~x872454+4 ~x872453+2 ~x872452+1 ~x872451+9216 x5105+8192 ~x1005+4096 ~x1004+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=32766
22.18/22.28	c 4096 ~x876179+2048 ~x876178+1024 ~x876177+512 ~x876176+256 ~x876175+128 ~x876174+64 ~x876173+32 ~x876172+16 ~x876171+8 ~x876170+4 ~x876169+2 ~x876168+1 ~x876167+5120 x5106+4096 ~x1034+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=16382
22.28/22.34	c 16384 ~x878881+8192 ~x878880+4096 ~x878879+2048 ~x878878+1024 ~x878877+512 ~x878876+256 ~x878875+128 ~x878874+64 ~x878873+32 ~x878872+16 ~x878871+8 ~x878870+4 ~x878869+2 ~x878868+1 ~x878867+20480 x5107+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
22.38/22.45	c 16384 ~x883173+8192 ~x883172+4096 ~x883171+2048 ~x883170+1024 ~x883169+512 ~x883168+256 ~x883167+128 ~x883166+64 ~x883165+32 ~x883164+16 ~x883163+8 ~x883162+4 ~x883161+2 ~x883160+1 ~x883159+16384 x5108+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
22.48/22.55	c 16384 ~x887208+8192 ~x887207+4096 ~x887206+2048 ~x887205+1024 ~x887204+512 ~x887203+256 ~x887202+128 ~x887201+64 ~x887200+32 ~x887199+16 ~x887198+8 ~x887197+4 ~x887196+2 ~x887195+1 ~x887194+16384 x5109+16384 ~x1126+8192 ~x1125+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=65534
22.58/22.65	c 8192 ~x891242+4096 ~x891241+2048 ~x891240+1024 ~x891239+512 ~x891238+256 ~x891237+128 ~x891236+64 ~x891235+32 ~x891234+16 ~x891233+8 ~x891232+4 ~x891231+2 ~x891230+1 ~x891229+13312 x5110+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
22.68/22.74	c 4096 ~x894957+2048 ~x894956+1024 ~x894955+512 ~x894954+256 ~x894953+128 ~x894952+64 ~x894951+32 ~x894950+16 ~x894949+8 ~x894948+4 ~x894947+2 ~x894946+1 ~x894945+6144 x5111+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=16382
22.78/22.81	c 2048 ~x897656+1024 ~x897655+512 ~x897654+256 ~x897653+128 ~x897652+64 ~x897651+32 ~x897650+16 ~x897649+8 ~x897648+4 ~x897647+2 ~x897646+1 ~x897645+3072 x5112+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=8190
22.78/22.87	c 16384 ~x900007+8192 ~x900006+4096 ~x900005+2048 ~x900004+1024 ~x900003+512 ~x900002+256 ~x900001+128 ~x900000+64 ~x899999+32 ~x899998+16 ~x899997+8 ~x899996+4 ~x899995+2 ~x899994+1 ~x899993+16384 x5113+16384 ~x1246+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=65534
22.87/22.97	c 4096 ~x904040+2048 ~x904039+1024 ~x904038+512 ~x904037+256 ~x904036+128 ~x904035+64 ~x904034+32 ~x904033+16 ~x904032+8 ~x904031+4 ~x904030+2 ~x904029+1 ~x904028+4096 x5114+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=16382
22.99/23.04	c 1024 ~x906738+512 ~x906737+256 ~x906736+128 ~x906735+64 ~x906734+32 ~x906733+16 ~x906732+8 ~x906731+4 ~x906730+2 ~x906729+1 ~x906728+1024 x5115+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=4094
22.99/23.09	c 16384 ~x908855+8192 ~x908854+4096 ~x908853+2048 ~x908852+1024 ~x908851+512 ~x908850+256 ~x908849+128 ~x908848+64 ~x908847+32 ~x908846+16 ~x908845+8 ~x908844+4 ~x908843+2 ~x908842+1 ~x908841+16384 x5116+16384 ~x1336+8192 ~x1335+4096 ~x1334+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=65534
23.09/23.19	c 16384 ~x912890+8192 ~x912889+4096 ~x912888+2048 ~x912887+1024 ~x912886+512 ~x912885+256 ~x912884+128 ~x912883+64 ~x912882+32 ~x912881+16 ~x912880+8 ~x912879+4 ~x912878+2 ~x912877+1 ~x912876+16384 x5117+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
23.18/23.29	c 16384 ~x916925+8192 ~x916924+4096 ~x916923+2048 ~x916922+1024 ~x916921+512 ~x916920+256 ~x916919+128 ~x916918+64 ~x916917+32 ~x916916+16 ~x916915+8 ~x916914+4 ~x916913+2 ~x916912+1 ~x916911+21504 x5118+16384 ~x1396+8192 ~x1395+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=65534
23.38/23.40	c 2048 ~x921214+1024 ~x921213+512 ~x921212+256 ~x921211+128 ~x921210+64 ~x921209+32 ~x921208+16 ~x921207+8 ~x921206+4 ~x921205+2 ~x921204+1 ~x921203+2048 x5119+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=8190
23.38/23.46	c 8192 ~x923564+4096 ~x923563+2048 ~x923562+1024 ~x923561+512 ~x923560+256 ~x923559+128 ~x923558+64 ~x923557+32 ~x923556+16 ~x923555+8 ~x923554+4 ~x923553+2 ~x923552+1 ~x923551+9216 x5120+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=32766
23.48/23.55	c 4096 ~x927279+2048 ~x927278+1024 ~x927277+512 ~x927276+256 ~x927275+128 ~x927274+64 ~x927273+32 ~x927272+16 ~x927271+8 ~x927270+4 ~x927269+2 ~x927268+1 ~x927267+5120 x5121+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=16382
23.57/23.62	c 8192 ~x929980+4096 ~x929979+2048 ~x929978+1024 ~x929977+512 ~x929976+256 ~x929975+128 ~x929974+64 ~x929973+32 ~x929972+16 ~x929971+8 ~x929970+4 ~x929969+2 ~x929968+1 ~x929967+12288 x5122+8192 ~x1515+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=32766
23.68/23.71	c 8192 ~x933696+4096 ~x933695+2048 ~x933694+1024 ~x933693+512 ~x933692+256 ~x933691+128 ~x933690+64 ~x933689+32 ~x933688+16 ~x933687+8 ~x933686+4 ~x933685+2 ~x933684+1 ~x933683+12288 x5123+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=32766
23.78/23.81	c 8192 ~x937412+4096 ~x937411+2048 ~x937410+1024 ~x937409+512 ~x937408+256 ~x937407+128 ~x937406+64 ~x937405+32 ~x937404+16 ~x937403+8 ~x937402+4 ~x937401+2 ~x937400+1 ~x937399+12288 x5124+8192 ~x1575+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=32766
23.88/23.90	c 4096 ~x941127+2048 ~x941126+1024 ~x941125+512 ~x941124+256 ~x941123+128 ~x941122+64 ~x941121+32 ~x941120+16 ~x941119+8 ~x941118+4 ~x941117+2 ~x941116+1 ~x941115+6144 x5125+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=16382
23.88/23.97	c 2048 ~x943826+1024 ~x943825+512 ~x943824+256 ~x943823+128 ~x943822+64 ~x943821+32 ~x943820+16 ~x943819+8 ~x943818+4 ~x943817+2 ~x943816+1 ~x943815+3072 x5126+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
23.98/24.03	c 8192 ~x946176+4096 ~x946175+2048 ~x946174+1024 ~x946173+512 ~x946172+256 ~x946171+128 ~x946170+64 ~x946169+32 ~x946168+16 ~x946167+8 ~x946166+4 ~x946165+2 ~x946164+1 ~x946163+12288 x5127+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
24.09/24.12	c 4096 ~x949891+2048 ~x949890+1024 ~x949889+512 ~x949888+256 ~x949887+128 ~x949886+64 ~x949885+32 ~x949884+16 ~x949883+8 ~x949882+4 ~x949881+2 ~x949880+1 ~x949879+4096 x5128+4096 ~x1694+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=16382
24.09/24.19	c 8192 ~x952592+4096 ~x952591+2048 ~x952590+1024 ~x952589+512 ~x952588+256 ~x952587+128 ~x952586+64 ~x952585+32 ~x952584+16 ~x952583+8 ~x952582+4 ~x952581+2 ~x952580+1 ~x952579+13312 x5129+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=32766
24.19/24.28	c 1024 ~x956305+512 ~x956304+256 ~x956303+128 ~x956302+64 ~x956301+32 ~x956300+16 ~x956299+8 ~x956298+4 ~x956297+2 ~x956296+1 ~x956295+1024 x5130+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=4094
24.28/24.33	c 8192 ~x958421+4096 ~x958420+2048 ~x958419+1024 ~x958418+512 ~x958417+256 ~x958416+128 ~x958415+64 ~x958414+32 ~x958413+16 ~x958412+8 ~x958411+4 ~x958410+2 ~x958409+1 ~x958408+12288 x5131+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=32766
24.38/24.43	c 8192 ~x962137+4096 ~x962136+2048 ~x962135+1024 ~x962134+512 ~x962133+256 ~x962132+128 ~x962131+64 ~x962130+32 ~x962129+16 ~x962128+8 ~x962127+4 ~x962126+2 ~x962125+1 ~x962124+12288 x5132+8192 ~x1815+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=32766
24.48/24.52	c 2048 ~x965851+1024 ~x965850+512 ~x965849+256 ~x965848+128 ~x965847+64 ~x965846+32 ~x965845+16 ~x965844+8 ~x965843+4 ~x965842+2 ~x965841+1 ~x965840+2048 x5133+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=8190
24.48/24.58	c 8192 ~x968201+4096 ~x968200+2048 ~x968199+1024 ~x968198+512 ~x968197+256 ~x968196+128 ~x968195+64 ~x968194+32 ~x968193+16 ~x968192+8 ~x968191+4 ~x968190+2 ~x968189+1 ~x968188+9216 x5134+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=32766
24.58/24.67	c 4096 ~x971916+2048 ~x971915+1024 ~x971914+512 ~x971913+256 ~x971912+128 ~x971911+64 ~x971910+32 ~x971909+16 ~x971908+8 ~x971907+4 ~x971906+2 ~x971905+1 ~x971904+5120 x5135+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=16382
24.68/24.74	c 16384 ~x974618+8192 ~x974617+4096 ~x974616+2048 ~x974615+1024 ~x974614+512 ~x974613+256 ~x974612+128 ~x974611+64 ~x974610+32 ~x974609+16 ~x974608+8 ~x974607+4 ~x974606+2 ~x974605+1 ~x974604+20480 x5136+16384 ~x1936+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=65534
24.78/24.85	c 16384 ~x978910+8192 ~x978909+4096 ~x978908+2048 ~x978907+1024 ~x978906+512 ~x978905+256 ~x978904+128 ~x978903+64 ~x978902+32 ~x978901+16 ~x978900+8 ~x978899+4 ~x978898+2 ~x978897+1 ~x978896+20480 x5137+16384 ~x1966+8192 ~x1965+4096 ~x1964+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=65534
24.87/24.95	c 8192 ~x983201+4096 ~x983200+2048 ~x983199+1024 ~x983198+512 ~x983197+256 ~x983196+128 ~x983195+64 ~x983194+32 ~x983193+16 ~x983192+8 ~x983191+4 ~x983190+2 ~x983189+1 ~x983188+13312 x5138+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=32766
24.97/25.04	c 4096 ~x986916+2048 ~x986915+1024 ~x986914+512 ~x986913+256 ~x986912+128 ~x986911+64 ~x986910+32 ~x986909+16 ~x986908+8 ~x986907+4 ~x986906+2 ~x986905+1 ~x986904+6144 x5139+4096 ~x2024+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=16382
25.08/25.11	c 4096 ~x989616+2048 ~x989615+1024 ~x989614+512 ~x989613+256 ~x989612+128 ~x989611+64 ~x989610+32 ~x989609+16 ~x989608+8 ~x989607+4 ~x989606+2 ~x989605+1 ~x989604+6144 x5140+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=16382
25.08/25.18	c 2048 ~x992315+1024 ~x992314+512 ~x992313+256 ~x992312+128 ~x992311+64 ~x992310+32 ~x992309+16 ~x992308+8 ~x992307+4 ~x992306+2 ~x992305+1 ~x992304+3072 x5141+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=8190
25.19/25.24	c 16384 ~x994666+8192 ~x994665+4096 ~x994664+2048 ~x994663+1024 ~x994662+512 ~x994661+256 ~x994660+128 ~x994659+64 ~x994658+32 ~x994657+16 ~x994656+8 ~x994655+4 ~x994654+2 ~x994653+1 ~x994652+20480 x5142+16384 ~x2116+8192 ~x2115+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=65534
25.29/25.36	c 4096 ~x998956+2048 ~x998955+1024 ~x998954+512 ~x998953+256 ~x998952+128 ~x998951+64 ~x998950+32 ~x998949+16 ~x998948+8 ~x998947+4 ~x998946+2 ~x998945+1 ~x998944+4096 x5143+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=16382
25.38/25.43	c 1024 ~x1001654+512 ~x1001653+256 ~x1001652+128 ~x1001651+64 ~x1001650+32 ~x1001649+16 ~x1001648+8 ~x1001647+4 ~x1001646+2 ~x1001645+1 ~x1001644+1024 x5144+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=4094
25.38/25.48	c 16384 ~x1003771+8192 ~x1003770+4096 ~x1003769+2048 ~x1003768+1024 ~x1003767+512 ~x1003766+256 ~x1003765+128 ~x1003764+64 ~x1003763+32 ~x1003762+16 ~x1003761+8 ~x1003760+4 ~x1003759+2 ~x1003758+1 ~x1003757+20480 x5145+16384 ~x2206+8192 ~x2205+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=65534
25.48/25.59	c 16384 ~x1008063+8192 ~x1008062+4096 ~x1008061+2048 ~x1008060+1024 ~x1008059+512 ~x1008058+256 ~x1008057+128 ~x1008056+64 ~x1008055+32 ~x1008054+16 ~x1008053+8 ~x1008052+4 ~x1008051+2 ~x1008050+1 ~x1008049+20480 x5146+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
25.58/25.69	c 2048 ~x1012352+1024 ~x1012351+512 ~x1012350+256 ~x1012349+128 ~x1012348+64 ~x1012347+32 ~x1012346+16 ~x1012345+8 ~x1012344+4 ~x1012343+2 ~x1012342+1 ~x1012341+2048 x5147+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=8190
25.68/25.75	c 8192 ~x1014702+4096 ~x1014701+2048 ~x1014700+1024 ~x1014699+512 ~x1014698+256 ~x1014697+128 ~x1014696+64 ~x1014695+32 ~x1014694+16 ~x1014693+8 ~x1014692+4 ~x1014691+2 ~x1014690+1 ~x1014689+9216 x5148+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=32766
25.78/25.84	c 4096 ~x1018417+2048 ~x1018416+1024 ~x1018415+512 ~x1018414+256 ~x1018413+128 ~x1018412+64 ~x1018411+32 ~x1018410+16 ~x1018409+8 ~x1018408+4 ~x1018407+2 ~x1018406+1 ~x1018405+5120 x5149+4096 ~x2324+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=16382
25.88/25.91	c 2048 ~x1021116+1024 ~x1021115+512 ~x1021114+256 ~x1021113+128 ~x1021112+64 ~x1021111+32 ~x1021110+16 ~x1021109+8 ~x1021108+4 ~x1021107+2 ~x1021106+1 ~x1021105+3072 x5150+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=8190
25.88/25.97	c 16384 ~x1023467+8192 ~x1023466+4096 ~x1023465+2048 ~x1023464+1024 ~x1023463+512 ~x1023462+256 ~x1023461+128 ~x1023460+64 ~x1023459+32 ~x1023458+16 ~x1023457+8 ~x1023456+4 ~x1023455+2 ~x1023454+1 ~x1023453+21504 x5151+16384 ~x2386+8192 ~x2385+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=65534
25.98/26.07	c 4096 ~x1027757+2048 ~x1027756+1024 ~x1027755+512 ~x1027754+256 ~x1027753+128 ~x1027752+64 ~x1027751+32 ~x1027750+16 ~x1027749+8 ~x1027748+4 ~x1027747+2 ~x1027746+1 ~x1027745+4096 x5152+4096 ~x2414+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=16382
26.07/26.14	c 8192 ~x1030458+4096 ~x1030457+2048 ~x1030456+1024 ~x1030455+512 ~x1030454+256 ~x1030453+128 ~x1030452+64 ~x1030451+32 ~x1030450+16 ~x1030449+8 ~x1030448+4 ~x1030447+2 ~x1030446+1 ~x1030445+13312 x5153+8192 ~x2445+4096 ~x2444+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=32766
26.18/26.23	c 1024 ~x1034171+512 ~x1034170+256 ~x1034169+128 ~x1034168+64 ~x1034167+32 ~x1034166+16 ~x1034165+8 ~x1034164+4 ~x1034163+2 ~x1034162+1 ~x1034161+1024 x5154+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=4094
26.18/26.29	c 16384 ~x1036288+8192 ~x1036287+4096 ~x1036286+2048 ~x1036285+1024 ~x1036284+512 ~x1036283+256 ~x1036282+128 ~x1036281+64 ~x1036280+32 ~x1036279+16 ~x1036278+8 ~x1036277+4 ~x1036276+2 ~x1036275+1 ~x1036274+21504 x5155+16384 ~x2506+8192 ~x2505+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=65534
26.29/26.39	c 16384 ~x1040580+8192 ~x1040579+4096 ~x1040578+2048 ~x1040577+1024 ~x1040576+512 ~x1040575+256 ~x1040574+128 ~x1040573+64 ~x1040572+32 ~x1040571+16 ~x1040570+8 ~x1040569+4 ~x1040568+2 ~x1040567+1 ~x1040566+21504 x5156+16384 ~x2536+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=65534
26.48/26.50	c 2048 ~x1044869+1024 ~x1044868+512 ~x1044867+256 ~x1044866+128 ~x1044865+64 ~x1044864+32 ~x1044863+16 ~x1044862+8 ~x1044861+4 ~x1044860+2 ~x1044859+1 ~x1044858+2048 x5157+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=8190
26.48/26.56	c 8192 ~x1047219+4096 ~x1047218+2048 ~x1047217+1024 ~x1047216+512 ~x1047215+256 ~x1047214+128 ~x1047213+64 ~x1047212+32 ~x1047211+16 ~x1047210+8 ~x1047209+4 ~x1047208+2 ~x1047207+1 ~x1047206+9216 x5158+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=32766
26.58/26.65	c 4096 ~x1050934+2048 ~x1050933+1024 ~x1050932+512 ~x1050931+256 ~x1050930+128 ~x1050929+64 ~x1050928+32 ~x1050927+16 ~x1050926+8 ~x1050925+4 ~x1050924+2 ~x1050923+1 ~x1050922+5120 x5159+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=16382
26.68/26.72	c 8192 ~x1053635+4096 ~x1053634+2048 ~x1053633+1024 ~x1053632+512 ~x1053631+256 ~x1053630+128 ~x1053629+64 ~x1053628+32 ~x1053627+16 ~x1053626+8 ~x1053625+4 ~x1053624+2 ~x1053623+1 ~x1053622+11264 x5160+8192 ~x2655+4096 ~x2654+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=32766
26.78/26.81	c 8192 ~x1057351+4096 ~x1057350+2048 ~x1057349+1024 ~x1057348+512 ~x1057347+256 ~x1057346+128 ~x1057345+64 ~x1057344+32 ~x1057343+16 ~x1057342+8 ~x1057341+4 ~x1057340+2 ~x1057339+1 ~x1057338+11264 x5161+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=32766
26.87/26.91	c 8192 ~x1061067+4096 ~x1061066+2048 ~x1061065+1024 ~x1061064+512 ~x1061063+256 ~x1061062+128 ~x1061061+64 ~x1061060+32 ~x1061059+16 ~x1061058+8 ~x1061057+4 ~x1061056+2 ~x1061055+1 ~x1061054+11264 x5162+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=32766
26.98/27.00	c 4096 ~x1064782+2048 ~x1064781+1024 ~x1064780+512 ~x1064779+256 ~x1064778+128 ~x1064777+64 ~x1064776+32 ~x1064775+16 ~x1064774+8 ~x1064773+4 ~x1064772+2 ~x1064771+1 ~x1064770+6144 x5163+4096 ~x2744+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=16382
26.98/27.07	c 4096 ~x1067482+2048 ~x1067481+1024 ~x1067480+512 ~x1067479+256 ~x1067478+128 ~x1067477+64 ~x1067476+32 ~x1067475+16 ~x1067474+8 ~x1067473+4 ~x1067472+2 ~x1067471+1 ~x1067470+6144 x5164+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=16382
27.08/27.13	c 2048 ~x1070181+1024 ~x1070180+512 ~x1070179+256 ~x1070178+128 ~x1070177+64 ~x1070176+32 ~x1070175+16 ~x1070174+8 ~x1070173+4 ~x1070172+2 ~x1070171+1 ~x1070170+3072 x5165+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=8190
27.08/27.19	c 8192 ~x1072531+4096 ~x1072530+2048 ~x1072529+1024 ~x1072528+512 ~x1072527+256 ~x1072526+128 ~x1072525+64 ~x1072524+32 ~x1072523+16 ~x1072522+8 ~x1072521+4 ~x1072520+2 ~x1072519+1 ~x1072518+11264 x5166+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=32766
27.18/27.29	c 4096 ~x1076246+2048 ~x1076245+1024 ~x1076244+512 ~x1076243+256 ~x1076242+128 ~x1076241+64 ~x1076240+32 ~x1076239+16 ~x1076238+8 ~x1076237+4 ~x1076236+2 ~x1076235+1 ~x1076234+4096 x5167+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=16382
27.28/27.35	c 1024 ~x1078944+512 ~x1078943+256 ~x1078942+128 ~x1078941+64 ~x1078940+32 ~x1078939+16 ~x1078938+8 ~x1078937+4 ~x1078936+2 ~x1078935+1 ~x1078934+1024 x5168+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=4094
27.38/27.41	c 8192 ~x1081060+4096 ~x1081059+2048 ~x1081058+1024 ~x1081057+512 ~x1081056+256 ~x1081055+128 ~x1081054+64 ~x1081053+32 ~x1081052+16 ~x1081051+8 ~x1081050+4 ~x1081049+2 ~x1081048+1 ~x1081047+11264 x5169+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=32766
27.38/27.50	c 8192 ~x1084776+4096 ~x1084775+2048 ~x1084774+1024 ~x1084773+512 ~x1084772+256 ~x1084771+128 ~x1084770+64 ~x1084769+32 ~x1084768+16 ~x1084767+8 ~x1084766+4 ~x1084765+2 ~x1084764+1 ~x1084763+11264 x5170+8192 ~x2955+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=32766
27.48/27.59	c 2048 ~x1088490+1024 ~x1088489+512 ~x1088488+256 ~x1088487+128 ~x1088486+64 ~x1088485+32 ~x1088484+16 ~x1088483+8 ~x1088482+4 ~x1088481+2 ~x1088480+1 ~x1088479+2048 x5171+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=8190
27.58/27.65	c 8192 ~x1090840+4096 ~x1090839+2048 ~x1090838+1024 ~x1090837+512 ~x1090836+256 ~x1090835+128 ~x1090834+64 ~x1090833+32 ~x1090832+16 ~x1090831+8 ~x1090830+4 ~x1090829+2 ~x1090828+1 ~x1090827+9216 x5172+8192 ~x3015+4096 ~x3014+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=32766
27.67/27.75	c 4096 ~x1094555+2048 ~x1094554+1024 ~x1094553+512 ~x1094552+256 ~x1094551+128 ~x1094550+64 ~x1094549+32 ~x1094548+16 ~x1094547+8 ~x1094546+4 ~x1094545+2 ~x1094544+1 ~x1094543+5120 x5173+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
27.78/27.82	c 16384 ~x1097257+8192 ~x1097256+4096 ~x1097255+2048 ~x1097254+1024 ~x1097253+512 ~x1097252+256 ~x1097251+128 ~x1097250+64 ~x1097249+32 ~x1097248+16 ~x1097247+8 ~x1097246+4 ~x1097245+2 ~x1097244+1 ~x1097243+20480 x5174+16384 ~x3076+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=65534
27.88/27.92	c 2048 ~x1101546+1024 ~x1101545+512 ~x1101544+256 ~x1101543+128 ~x1101542+64 ~x1101541+32 ~x1101540+16 ~x1101539+8 ~x1101538+4 ~x1101537+2 ~x1101536+1 ~x1101535+3072 x5175+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
27.88/27.98	c 16384 ~x1103897+8192 ~x1103896+4096 ~x1103895+2048 ~x1103894+1024 ~x1103893+512 ~x1103892+256 ~x1103891+128 ~x1103890+64 ~x1103889+32 ~x1103888+16 ~x1103887+8 ~x1103886+4 ~x1103885+2 ~x1103884+1 ~x1103883+28672 x5176+16384 ~x3136+8192 ~x3135+4096 ~x3134+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=65534
27.98/28.08	c 8192 ~x1108188+4096 ~x1108187+2048 ~x1108186+1024 ~x1108185+512 ~x1108184+256 ~x1108183+128 ~x1108182+64 ~x1108181+32 ~x1108180+16 ~x1108179+8 ~x1108178+4 ~x1108177+2 ~x1108176+1 ~x1108175+13312 x5177+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
28.08/28.18	c 4096 ~x1111903+2048 ~x1111902+1024 ~x1111901+512 ~x1111900+256 ~x1111899+128 ~x1111898+64 ~x1111897+32 ~x1111896+16 ~x1111895+8 ~x1111894+4 ~x1111893+2 ~x1111892+1 ~x1111891+6144 x5178+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
28.18/28.24	c 2048 ~x1114602+1024 ~x1114601+512 ~x1114600+256 ~x1114599+128 ~x1114598+64 ~x1114597+32 ~x1114596+16 ~x1114595+8 ~x1114594+4 ~x1114593+2 ~x1114592+1 ~x1114591+3072 x5179+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=8190
28.28/28.31	c 16384 ~x1116953+8192 ~x1116952+4096 ~x1116951+2048 ~x1116950+1024 ~x1116949+512 ~x1116948+256 ~x1116947+128 ~x1116946+64 ~x1116945+32 ~x1116944+16 ~x1116943+8 ~x1116942+4 ~x1116941+2 ~x1116940+1 ~x1116939+28672 x5180+16384 ~x3256+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=65534
28.37/28.41	c 4096 ~x1121243+2048 ~x1121242+1024 ~x1121241+512 ~x1121240+256 ~x1121239+128 ~x1121238+64 ~x1121237+32 ~x1121236+16 ~x1121235+8 ~x1121234+4 ~x1121233+2 ~x1121232+1 ~x1121231+4096 x5181+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=16382
28.37/28.48	c 1024 ~x1123941+512 ~x1123940+256 ~x1123939+128 ~x1123938+64 ~x1123937+32 ~x1123936+16 ~x1123935+8 ~x1123934+4 ~x1123933+2 ~x1123932+1 ~x1123931+1024 x5182+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302-0=4094
28.48/28.53	c 16384 ~x1126058+8192 ~x1126057+4096 ~x1126056+2048 ~x1126055+1024 ~x1126054+512 ~x1126053+256 ~x1126052+128 ~x1126051+64 ~x1126050+32 ~x1126049+16 ~x1126048+8 ~x1126047+4 ~x1126046+2 ~x1126045+1 ~x1126044+28672 x5183+16384 ~x3346+8192 ~x3345+4096 ~x3344+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=65534
28.58/28.64	c 16384 ~x1130350+8192 ~x1130349+4096 ~x1130348+2048 ~x1130347+1024 ~x1130346+512 ~x1130345+256 ~x1130344+128 ~x1130343+64 ~x1130342+32 ~x1130341+16 ~x1130340+8 ~x1130339+4 ~x1130338+2 ~x1130337+1 ~x1130336+28672 x5184+16384 ~x3376+8192 ~x3375+4096 ~x3374+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=65534
28.67/28.74	c 2048 ~x1134639+1024 ~x1134638+512 ~x1134637+256 ~x1134636+128 ~x1134635+64 ~x1134634+32 ~x1134633+16 ~x1134632+8 ~x1134631+4 ~x1134630+2 ~x1134629+1 ~x1134628+2048 x5185+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=8190
28.78/28.80	c 8192 ~x1136989+4096 ~x1136988+2048 ~x1136987+1024 ~x1136986+512 ~x1136985+256 ~x1136984+128 ~x1136983+64 ~x1136982+32 ~x1136981+16 ~x1136980+8 ~x1136979+4 ~x1136978+2 ~x1136977+1 ~x1136976+14336 x5186+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
28.78/28.89	c 8192 ~x1140705+4096 ~x1140704+2048 ~x1140703+1024 ~x1140702+512 ~x1140701+256 ~x1140700+128 ~x1140699+64 ~x1140698+32 ~x1140697+16 ~x1140696+8 ~x1140695+4 ~x1140694+2 ~x1140693+1 ~x1140692+9216 x5187+8192 ~x3465+4096 ~x3464+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=32766
28.88/28.99	c 4096 ~x1144420+2048 ~x1144419+1024 ~x1144418+512 ~x1144417+256 ~x1144416+128 ~x1144415+64 ~x1144414+32 ~x1144413+16 ~x1144412+8 ~x1144411+4 ~x1144410+2 ~x1144409+1 ~x1144408+5120 x5188+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=16382
28.98/29.05	c 8192 ~x1147121+4096 ~x1147120+2048 ~x1147119+1024 ~x1147118+512 ~x1147117+256 ~x1147116+128 ~x1147115+64 ~x1147114+32 ~x1147113+16 ~x1147112+8 ~x1147111+4 ~x1147110+2 ~x1147109+1 ~x1147108+13312 x5189+8192 ~x3525+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=32766
29.07/29.15	c 8192 ~x1150837+4096 ~x1150836+2048 ~x1150835+1024 ~x1150834+512 ~x1150833+256 ~x1150832+128 ~x1150831+64 ~x1150830+32 ~x1150829+16 ~x1150828+8 ~x1150827+4 ~x1150826+2 ~x1150825+1 ~x1150824+13312 x5190+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
29.17/29.24	c 8192 ~x1154553+4096 ~x1154552+2048 ~x1154551+1024 ~x1154550+512 ~x1154549+256 ~x1154548+128 ~x1154547+64 ~x1154546+32 ~x1154545+16 ~x1154544+8 ~x1154543+4 ~x1154542+2 ~x1154541+1 ~x1154540+13312 x5191+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
29.28/29.33	c 4096 ~x1158268+2048 ~x1158267+1024 ~x1158266+512 ~x1158265+256 ~x1158264+128 ~x1158263+64 ~x1158262+32 ~x1158261+16 ~x1158260+8 ~x1158259+4 ~x1158258+2 ~x1158257+1 ~x1158256+6144 x5192+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
29.38/29.40	c 2048 ~x1160967+1024 ~x1160966+512 ~x1160965+256 ~x1160964+128 ~x1160963+64 ~x1160962+32 ~x1160961+16 ~x1160960+8 ~x1160959+4 ~x1160958+2 ~x1160957+1 ~x1160956+3072 x5193+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=8190
29.38/29.46	c 8192 ~x1163317+4096 ~x1163316+2048 ~x1163315+1024 ~x1163314+512 ~x1163313+256 ~x1163312+128 ~x1163311+64 ~x1163310+32 ~x1163309+16 ~x1163308+8 ~x1163307+4 ~x1163306+2 ~x1163305+1 ~x1163304+13312 x5194+8192 ~x3675+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=32766
29.48/29.55	c 4096 ~x1167032+2048 ~x1167031+1024 ~x1167030+512 ~x1167029+256 ~x1167028+128 ~x1167027+64 ~x1167026+32 ~x1167025+16 ~x1167024+8 ~x1167023+4 ~x1167022+2 ~x1167021+1 ~x1167020+4096 x5195+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=16382
29.59/29.62	c 1024 ~x1169730+512 ~x1169729+256 ~x1169728+128 ~x1169727+64 ~x1169726+32 ~x1169725+16 ~x1169724+8 ~x1169723+4 ~x1169722+2 ~x1169721+1 ~x1169720+1024 x5196+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722-0=4094
29.59/29.68	c 4096 ~x1171845+2048 ~x1171844+1024 ~x1171843+512 ~x1171842+256 ~x1171841+128 ~x1171840+64 ~x1171839+32 ~x1171838+16 ~x1171837+8 ~x1171836+4 ~x1171835+2 ~x1171834+1 ~x1171833+4096 x5197+4096 ~x3764+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=16382
29.69/29.74	c 8192 ~x1174546+4096 ~x1174545+2048 ~x1174544+1024 ~x1174543+512 ~x1174542+256 ~x1174541+128 ~x1174540+64 ~x1174539+32 ~x1174538+16 ~x1174537+8 ~x1174536+4 ~x1174535+2 ~x1174534+1 ~x1174533+13312 x5198+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
29.78/29.84	c 8192 ~x1178262+4096 ~x1178261+2048 ~x1178260+1024 ~x1178259+512 ~x1178258+256 ~x1178257+128 ~x1178256+64 ~x1178255+32 ~x1178254+16 ~x1178253+8 ~x1178252+4 ~x1178251+2 ~x1178250+1 ~x1178249+13312 x5199+8192 ~x3825+4096 ~x3824+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=32766
29.88/29.93	c 2048 ~x1181976+1024 ~x1181975+512 ~x1181974+256 ~x1181973+128 ~x1181972+64 ~x1181971+32 ~x1181970+16 ~x1181969+8 ~x1181968+4 ~x1181967+2 ~x1181966+1 ~x1181965+2048 x5200+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
29.88/29.99	c 8192 ~x1184326+4096 ~x1184325+2048 ~x1184324+1024 ~x1184323+512 ~x1184322+256 ~x1184321+128 ~x1184320+64 ~x1184319+32 ~x1184318+16 ~x1184317+8 ~x1184316+4 ~x1184315+2 ~x1184314+1 ~x1184313+9216 x5201+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=32766
29.97/30.09	c 4096 ~x1188041+2048 ~x1188040+1024 ~x1188039+512 ~x1188038+256 ~x1188037+128 ~x1188036+64 ~x1188035+32 ~x1188034+16 ~x1188033+8 ~x1188032+4 ~x1188031+2 ~x1188030+1 ~x1188029+5120 x5202+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
30.08/30.15	c 4096 ~x1190741+2048 ~x1190740+1024 ~x1190739+512 ~x1190738+256 ~x1190737+128 ~x1190736+64 ~x1190735+32 ~x1190734+16 ~x1190733+8 ~x1190732+4 ~x1190731+2 ~x1190730+1 ~x1190729+7168 x5203+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=16382
30.18/30.22	c 4096 ~x1193441+2048 ~x1193440+1024 ~x1193439+512 ~x1193438+256 ~x1193437+128 ~x1193436+64 ~x1193435+32 ~x1193434+16 ~x1193433+8 ~x1193432+4 ~x1193431+2 ~x1193430+1 ~x1193429+7168 x5204+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=16382
30.18/30.29	c 4096 ~x1196141+2048 ~x1196140+1024 ~x1196139+512 ~x1196138+256 ~x1196137+128 ~x1196136+64 ~x1196135+32 ~x1196134+16 ~x1196133+8 ~x1196132+4 ~x1196131+2 ~x1196130+1 ~x1196129+7168 x5205+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=16382
30.28/30.35	c 4096 ~x1198841+2048 ~x1198840+1024 ~x1198839+512 ~x1198838+256 ~x1198837+128 ~x1198836+64 ~x1198835+32 ~x1198834+16 ~x1198833+8 ~x1198832+4 ~x1198831+2 ~x1198830+1 ~x1198829+6144 x5206+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=16382
30.38/30.42	c 2048 ~x1201540+1024 ~x1201539+512 ~x1201538+256 ~x1201537+128 ~x1201536+64 ~x1201535+32 ~x1201534+16 ~x1201533+8 ~x1201532+4 ~x1201531+2 ~x1201530+1 ~x1201529+3072 x5207+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=8190
30.38/30.48	c 1024 ~x1203887+512 ~x1203886+256 ~x1203885+128 ~x1203884+64 ~x1203883+32 ~x1203882+16 ~x1203881+8 ~x1203880+4 ~x1203879+2 ~x1203878+1 ~x1203877+1024 x5208+1024 ~x4092+512 ~x4091+256 ~x4090+128 ~x4089+64 ~x4088+32 ~x4087+16 ~x4086+8 ~x4085+4 ~x4084+2 ~x4083+1 ~x4082-0=4094
30.47/30.54	c 4096 ~x1206002+2048 ~x1206001+1024 ~x1206000+512 ~x1205999+256 ~x1205998+128 ~x1205997+64 ~x1205996+32 ~x1205995+16 ~x1205994+8 ~x1205993+4 ~x1205992+2 ~x1205991+1 ~x1205990+7168 x5209+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=16382
30.57/30.60	c 4096 ~x1208702+2048 ~x1208701+1024 ~x1208700+512 ~x1208699+256 ~x1208698+128 ~x1208697+64 ~x1208696+32 ~x1208695+16 ~x1208694+8 ~x1208693+4 ~x1208692+2 ~x1208691+1 ~x1208690+4096 x5210+4096 ~x4154+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=16382
30.57/30.67	c 1024 ~x1211400+512 ~x1211399+256 ~x1211398+128 ~x1211397+64 ~x1211396+32 ~x1211395+16 ~x1211394+8 ~x1211393+4 ~x1211392+2 ~x1211391+1 ~x1211390+1024 x5211+1024 ~x4182+512 ~x4181+256 ~x4180+128 ~x4179+64 ~x4178+32 ~x4177+16 ~x4176+8 ~x4175+4 ~x4174+2 ~x4173+1 ~x4172-0=4094
30.69/30.73	c 4096 ~x1213515+2048 ~x1213514+1024 ~x1213513+512 ~x1213512+256 ~x1213511+128 ~x1213510+64 ~x1213509+32 ~x1213508+16 ~x1213507+8 ~x1213506+4 ~x1213505+2 ~x1213504+1 ~x1213503+7168 x5212+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
30.69/30.79	c 4096 ~x1216215+2048 ~x1216214+1024 ~x1216213+512 ~x1216212+256 ~x1216211+128 ~x1216210+64 ~x1216209+32 ~x1216208+16 ~x1216207+8 ~x1216206+4 ~x1216205+2 ~x1216204+1 ~x1216203+7168 x5213+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=16382
30.79/30.86	c 2048 ~x1218914+1024 ~x1218913+512 ~x1218912+256 ~x1218911+128 ~x1218910+64 ~x1218909+32 ~x1218908+16 ~x1218907+8 ~x1218906+4 ~x1218905+2 ~x1218904+1 ~x1218903+2048 x5214+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=8190
30.88/30.92	c 4096 ~x1221263+2048 ~x1221262+1024 ~x1221261+512 ~x1221260+256 ~x1221259+128 ~x1221258+64 ~x1221257+32 ~x1221256+16 ~x1221255+8 ~x1221254+4 ~x1221253+2 ~x1221252+1 ~x1221251+7168 x5215+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
30.88/30.99	c 4096 ~x1223963+2048 ~x1223962+1024 ~x1223961+512 ~x1223960+256 ~x1223959+128 ~x1223958+64 ~x1223957+32 ~x1223956+16 ~x1223955+8 ~x1223954+4 ~x1223953+2 ~x1223952+1 ~x1223951+5120 x5216+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=16382
30.98/31.05	c 16384 ~x1226665+8192 ~x1226664+4096 ~x1226663+2048 ~x1226662+1024 ~x1226661+512 ~x1226660+256 ~x1226659+128 ~x1226658+64 ~x1226657+32 ~x1226656+16 ~x1226655+8 ~x1226654+4 ~x1226653+2 ~x1226652+1 ~x1226651+20480 x5217+16384 ~x4366+8192 ~x4365+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=65534
31.08/31.16	c 16384 ~x1230957+8192 ~x1230956+4096 ~x1230955+2048 ~x1230954+1024 ~x1230953+512 ~x1230952+256 ~x1230951+128 ~x1230950+64 ~x1230949+32 ~x1230948+16 ~x1230947+8 ~x1230946+4 ~x1230945+2 ~x1230944+1 ~x1230943+21504 x5218+16384 ~x4396+8192 ~x4395+4096 ~x4394+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=65534
31.17/31.26	c 8192 ~x1235248+4096 ~x1235247+2048 ~x1235246+1024 ~x1235245+512 ~x1235244+256 ~x1235243+128 ~x1235242+64 ~x1235241+32 ~x1235240+16 ~x1235239+8 ~x1235238+4 ~x1235237+2 ~x1235236+1 ~x1235235+14336 x5219+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=32766
31.28/31.36	c 8192 ~x1238964+4096 ~x1238963+2048 ~x1238962+1024 ~x1238961+512 ~x1238960+256 ~x1238959+128 ~x1238958+64 ~x1238957+32 ~x1238956+16 ~x1238955+8 ~x1238954+4 ~x1238953+2 ~x1238952+1 ~x1238951+13312 x5220+8192 ~x4455+4096 ~x4454+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=32766
31.38/31.45	c 4096 ~x1242679+2048 ~x1242678+1024 ~x1242677+512 ~x1242676+256 ~x1242675+128 ~x1242674+64 ~x1242673+32 ~x1242672+16 ~x1242671+8 ~x1242670+4 ~x1242669+2 ~x1242668+1 ~x1242667+6144 x5221+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=16382
31.48/31.52	c 2048 ~x1245378+1024 ~x1245377+512 ~x1245376+256 ~x1245375+128 ~x1245374+64 ~x1245373+32 ~x1245372+16 ~x1245371+8 ~x1245370+4 ~x1245369+2 ~x1245368+1 ~x1245367+3072 x5222+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
31.57/31.60	c 16384 ~x1247729+8192 ~x1247728+4096 ~x1247727+2048 ~x1247726+1024 ~x1247725+512 ~x1247724+256 ~x1247723+128 ~x1247722+64 ~x1247721+32 ~x1247720+16 ~x1247719+8 ~x1247718+4 ~x1247717+2 ~x1247716+1 ~x1247715+21504 x5223+16384 ~x4546+8192 ~x4545+4096 ~x4544+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=65534
31.67/31.70	c 4096 ~x1252019+2048 ~x1252018+1024 ~x1252017+512 ~x1252016+256 ~x1252015+128 ~x1252014+64 ~x1252013+32 ~x1252012+16 ~x1252011+8 ~x1252010+4 ~x1252009+2 ~x1252008+1 ~x1252007+4096 x5224+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=16382
31.67/31.77	c 1024 ~x1254717+512 ~x1254716+256 ~x1254715+128 ~x1254714+64 ~x1254713+32 ~x1254712+16 ~x1254711+8 ~x1254710+4 ~x1254709+2 ~x1254708+1 ~x1254707+1024 x5225+1024 ~x4602+512 ~x4601+256 ~x4600+128 ~x4599+64 ~x4598+32 ~x4597+16 ~x4596+8 ~x4595+4 ~x4594+2 ~x4593+1 ~x4592-0=4094
31.78/31.82	c 16384 ~x1256834+8192 ~x1256833+4096 ~x1256832+2048 ~x1256831+1024 ~x1256830+512 ~x1256829+256 ~x1256828+128 ~x1256827+64 ~x1256826+32 ~x1256825+16 ~x1256824+8 ~x1256823+4 ~x1256822+2 ~x1256821+1 ~x1256820+21504 x5226+16384 ~x4636+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=65534
31.88/31.93	c 16384 ~x1261126+8192 ~x1261125+4096 ~x1261124+2048 ~x1261123+1024 ~x1261122+512 ~x1261121+256 ~x1261120+128 ~x1261119+64 ~x1261118+32 ~x1261117+16 ~x1261116+8 ~x1261115+4 ~x1261114+2 ~x1261113+1 ~x1261112+21504 x5227+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
31.98/32.03	c 2048 ~x1265415+1024 ~x1265414+512 ~x1265413+256 ~x1265412+128 ~x1265411+64 ~x1265410+32 ~x1265409+16 ~x1265408+8 ~x1265407+4 ~x1265406+2 ~x1265405+1 ~x1265404+2048 x5228+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=8190
31.98/32.09	c 8192 ~x1267765+4096 ~x1267764+2048 ~x1267763+1024 ~x1267762+512 ~x1267761+256 ~x1267760+128 ~x1267759+64 ~x1267758+32 ~x1267757+16 ~x1267756+8 ~x1267755+4 ~x1267754+2 ~x1267753+1 ~x1267752+9216 x5229+8192 ~x4725+4096 ~x4724+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=32766
32.08/32.19	c 8192 ~x1271481+4096 ~x1271480+2048 ~x1271479+1024 ~x1271478+512 ~x1271477+256 ~x1271476+128 ~x1271475+64 ~x1271474+32 ~x1271473+16 ~x1271472+8 ~x1271471+4 ~x1271470+2 ~x1271469+1 ~x1271468+14336 x5230+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
32.18/32.28	c 4096 ~x1275196+2048 ~x1275195+1024 ~x1275194+512 ~x1275193+256 ~x1275192+128 ~x1275191+64 ~x1275190+32 ~x1275189+16 ~x1275188+8 ~x1275187+4 ~x1275186+2 ~x1275185+1 ~x1275184+5120 x5231+4096 ~x4784+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=16382
32.28/32.35	c 4096 ~x1277896+2048 ~x1277895+1024 ~x1277894+512 ~x1277893+256 ~x1277892+128 ~x1277891+64 ~x1277890+32 ~x1277889+16 ~x1277888+8 ~x1277887+4 ~x1277886+2 ~x1277885+1 ~x1277884+7168 x5232+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=16382
32.38/32.41	c 4096 ~x1280596+2048 ~x1280595+1024 ~x1280594+512 ~x1280593+256 ~x1280592+128 ~x1280591+64 ~x1280590+32 ~x1280589+16 ~x1280588+8 ~x1280587+4 ~x1280586+2 ~x1280585+1 ~x1280584+7168 x5233+4096 ~x4844+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=16382
32.38/32.48	c 4096 ~x1283296+2048 ~x1283295+1024 ~x1283294+512 ~x1283293+256 ~x1283292+128 ~x1283291+64 ~x1283290+32 ~x1283289+16 ~x1283288+8 ~x1283287+4 ~x1283286+2 ~x1283285+1 ~x1283284+7168 x5234+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=16382
32.47/32.55	c 4096 ~x1285996+2048 ~x1285995+1024 ~x1285994+512 ~x1285993+256 ~x1285992+128 ~x1285991+64 ~x1285990+32 ~x1285989+16 ~x1285988+8 ~x1285987+4 ~x1285986+2 ~x1285985+1 ~x1285984+6144 x5235+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
32.58/32.61	c 2048 ~x1288695+1024 ~x1288694+512 ~x1288693+256 ~x1288692+128 ~x1288691+64 ~x1288690+32 ~x1288689+16 ~x1288688+8 ~x1288687+4 ~x1288686+2 ~x1288685+1 ~x1288684+3072 x5236+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=8190
32.58/32.67	c 4096 ~x1291044+2048 ~x1291043+1024 ~x1291042+512 ~x1291041+256 ~x1291040+128 ~x1291039+64 ~x1291038+32 ~x1291037+16 ~x1291036+8 ~x1291035+4 ~x1291034+2 ~x1291033+1 ~x1291032+7168 x5237+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=16382
32.68/32.74	c 4096 ~x1293744+2048 ~x1293743+1024 ~x1293742+512 ~x1293741+256 ~x1293740+128 ~x1293739+64 ~x1293738+32 ~x1293737+16 ~x1293736+8 ~x1293735+4 ~x1293734+2 ~x1293733+1 ~x1293732+4096 x5238+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
32.78/32.81	c 1024 ~x1296442+512 ~x1296441+256 ~x1296440+128 ~x1296439+64 ~x1296438+32 ~x1296437+16 ~x1296436+8 ~x1296435+4 ~x1296434+2 ~x1296433+1 ~x1296432+1024 x5239+1024 ~x5022+512 ~x5021+256 ~x5020+128 ~x5019+64 ~x5018+32 ~x5017+16 ~x5016+8 ~x5015+4 ~x5014+2 ~x5013+1 ~x5012-0=4094
32.78/32.86	c 4096 ~x1298557+2048 ~x1298556+1024 ~x1298555+512 ~x1298554+256 ~x1298553+128 ~x1298552+64 ~x1298551+32 ~x1298550+16 ~x1298549+8 ~x1298548+4 ~x1298547+2 ~x1298546+1 ~x1298545+7168 x5240+4096 ~x5054+2048 ~x5053+1024 ~x5052+512 ~x5051+256 ~x5050+12

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-2674109-1276798953/watcher-2674109-1276798953 -o /tmp/evaluation-result-2674109-1276798953/solver-2674109-1276798953 -C 1800 -W 2000 -M 1800 run HOME/instance-2674109-1276798953.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.85 0.97 0.99 3/106 22220
/proc/meminfo: memFree=1537872/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0

[startup+0.025042 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 22220
/proc/meminfo: memFree=1537872/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.102051 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 22220
/proc/meminfo: memFree=1537872/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301067 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 22220
/proc/meminfo: memFree=1537872/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701101 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 22220
/proc/meminfo: memFree=1537872/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50117 s]
/proc/loadavg: 0.85 0.97 0.99 2/108 22223
/proc/meminfo: memFree=1375416/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=211780 CPUtime=1.49
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 52582 0 0 0 71 78 0 0 25 0 1 0 21186083 216862720 52296 1992294400 134512640 134902295 4294237520 18446744073709551615 134891084 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 52945 52296 259 96 0 52157 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 220480

[startup+3.10131 s]
/proc/loadavg: 0.85 0.97 0.99 2/108 22223
/proc/meminfo: memFree=1276712/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=230400 CPUtime=3.08
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 69887 0 0 0 223 85 0 0 25 0 1 0 21186083 235929600 56746 1992294400 134512640 134902295 4294237520 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 57600 56752 262 96 0 56812 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 239100

[startup+6.30159 s]
/proc/loadavg: 0.86 0.97 0.99 2/108 22223
/proc/meminfo: memFree=1269148/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=290432 CPUtime=6.28
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 84824 0 0 0 537 91 0 0 25 0 1 0 21186083 297402368 71375 1992294400 134512640 134902295 4294237520 18446744073709551615 134897397 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 72608 71375 262 96 0 71820 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 299132

[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.99 2/108 22223
/proc/meminfo: memFree=1153456/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=406872 CPUtime=12.68
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 114684 0 0 0 1166 102 0 0 25 0 1 0 21186083 416636928 98885 1992294400 134512640 134902295 4294237520 18446744073709551615 4160430255 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 101718 98885 262 96 0 100930 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 415572

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/108 22223
/proc/meminfo: memFree=922568/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=631428 CPUtime=25.48
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 175484 0 0 0 2417 131 0 0 25 0 1 0 21186083 646582272 154671 1992294400 134512640 134902295 4294237520 18446744073709551615 4160410338 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 157857 154671 262 96 0 157069 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 640128

[startup+51.1015 s]
/proc/loadavg: 0.93 0.97 0.99 2/108 22223
/proc/meminfo: memFree=790012/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=776160 CPUtime=51.08
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 209935 0 0 0 4962 146 0 0 25 0 1 0 21186083 794787840 186674 1992294400 134512640 134902295 4294237520 18446744073709551615 4160398079 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 194040 186674 269 96 0 193252 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 784860

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 0.99 2/108 22225
/proc/meminfo: memFree=780216/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=785860 CPUtime=102.27
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 212324 0 0 0 10080 147 0 0 25 0 1 0 21186083 804720640 189063 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428344 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 196465 189063 269 96 0 195677 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 794560

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 22227
/proc/meminfo: memFree=775132/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=790896 CPUtime=162.24
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 213588 0 0 0 16076 148 0 0 25 0 1 0 21186083 809877504 190327 1992294400 134512640 134902295 4294237520 18446744073709551615 4160431048 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 197724 190327 269 96 0 196936 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 799596

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 22229
/proc/meminfo: memFree=771412/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=794684 CPUtime=222.23
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 214484 0 0 0 22074 149 0 0 25 0 1 0 21186083 813756416 191223 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428158 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 198671 191223 269 96 0 197883 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 803384

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 22231
/proc/meminfo: memFree=763848/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=802136 CPUtime=282.21
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 216382 0 0 0 28070 151 0 0 25 0 1 0 21186083 821387264 193121 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428158 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 200534 193121 269 96 0 199746 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 810836

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 22231
/proc/meminfo: memFree=758268/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=807868 CPUtime=342.2
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 217758 0 0 0 34067 153 0 0 25 0 1 0 21186083 827256832 194497 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428166 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 201967 194497 269 96 0 201179 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 816568

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 22233
/proc/meminfo: memFree=754672/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=811456 CPUtime=402.19
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 218663 0 0 0 40065 154 0 0 25 0 1 0 21186083 830930944 195402 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428311 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 202864 195402 269 96 0 202076 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 820156

[startup+462.301 s]

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

/proc/22222/statm: 223282 215622 269 96 0 222494 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 901828

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/108 22258
/proc/meminfo: memFree=665144/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=900984 CPUtime=1241.99
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 240872 0 0 0 124022 177 0 0 25 0 1 0 21186083 922607616 217611 1992294400 134512640 134902295 4294237520 18446744073709551615 4160431066 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 225246 217611 269 96 0 224458 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 909684

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 22260
/proc/meminfo: memFree=661796/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=904192 CPUtime=1301.98
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 241687 0 0 0 130021 177 0 0 25 0 1 0 21186083 925892608 218426 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428158 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 226048 218426 269 96 0 225260 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 912892

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 22262
/proc/meminfo: memFree=658076/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=907964 CPUtime=1361.96
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 242635 0 0 0 136018 178 0 0 25 0 1 0 21186083 929755136 219374 1992294400 134512640 134902295 4294237520 18446744073709551615 4160416933 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 226991 219374 269 96 0 226203 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 916664

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 22264
/proc/meminfo: memFree=651256/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=914588 CPUtime=1421.95
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 244300 0 0 0 142015 180 0 0 25 0 1 0 21186083 936538112 221039 1992294400 134512640 134902295 4294237520 18446744073709551615 4160430989 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 228647 221039 269 96 0 227859 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 923288

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22266
/proc/meminfo: memFree=647164/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=918636 CPUtime=1481.93
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 245340 0 0 0 148012 181 0 0 25 0 1 0 21186083 940683264 222079 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428158 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 229659 222079 269 96 0 228871 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 927336

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22266
/proc/meminfo: memFree=643444/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=922284 CPUtime=1541.91
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 246253 0 0 0 154009 182 0 0 25 0 1 0 21186083 944418816 222992 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428320 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 230571 222992 269 96 0 229783 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 930984

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22268
/proc/meminfo: memFree=640344/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=925584 CPUtime=1601.91
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 247072 0 0 0 160007 184 0 0 25 0 1 0 21186083 947798016 223811 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428158 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 231396 223811 269 96 0 230608 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 934284

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22270
/proc/meminfo: memFree=635756/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=929876 CPUtime=1661.88
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 248166 0 0 0 166004 184 0 0 25 0 1 0 21186083 952193024 224905 1992294400 134512640 134902295 4294237520 18446744073709551615 4160430992 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 232469 224905 269 96 0 231681 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 938576

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22272
/proc/meminfo: memFree=629928/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=935820 CPUtime=1721.87
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 249658 0 0 0 172001 186 0 0 25 0 1 0 21186083 958279680 226397 1992294400 134512640 134902295 4294237520 18446744073709551615 4160428524 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 233955 226397 269 96 0 233167 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 944520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22274
/proc/meminfo: memFree=624472/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=940996 CPUtime=1781.86
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 251002 0 0 0 177998 188 0 0 25 0 1 0 21186083 963579904 227741 1992294400 134512640 134902295 4294237520 18446744073709551615 4160416654 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 235249 227741 269 96 0 234461 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 949696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 22274
/proc/meminfo: memFree=623232/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=942320 CPUtime=1800.06
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 251308 0 0 0 179818 188 0 0 25 0 1 0 21186083 964935680 228047 1992294400 134512640 134902295 4294237520 18446744073709551615 4160410476 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 235580 228047 269 96 0 234792 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 951020

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

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

[startup+1800.5 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 22274
/proc/meminfo: memFree=623232/2059040 swapFree=4192956/4192956
[pid=22220] ppid=22218 vsize=8700 CPUtime=0
/proc/22220/stat : 22220 (run) S 22218 22220 22195 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 21186082 8908800 250 1992294400 4194304 4922060 140733956143680 18446744073709551615 208159743109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22220/statm: 2175 250 211 178 0 68 0
[pid=22222] ppid=22220 vsize=942320 CPUtime=1800.06
/proc/22222/stat : 22222 (PBPASSolver) R 22220 22220 22195 0 -1 4202496 251308 0 0 0 179818 188 0 0 25 0 1 0 21186083 964935680 228047 1992294400 134512640 134902295 4294237520 18446744073709551615 4160410476 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22222/statm: 235580 228047 269 96 0 234792 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 951020

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22220 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.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.18
CPU system time (s): 1.88
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 951020

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= 522
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 2.97955 second user time and 8.50971 second system time

The end

Begin job on node057 at 2010-06-17 20:22:33
IDJOB=2674109
IDBENCH=2296
IDSOLVER=1174
FILE ID=node057/2674109-1276798953
PBS_JOBID= 11176655
Free space on /tmp= 62532 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-ran13x13.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674109-1276798953/watcher-2674109-1276798953 -o /tmp/evaluation-result-2674109-1276798953/solver-2674109-1276798953 -C 1800 -W 2000 -M 1800  run HOME/instance-2674109-1276798953.opb

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

MD5SUM BENCH= f6afca2947f6ff68bd855d0ea2ea59a9
RANDOM SEED=261159476

node057.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.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
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:       1538392 kB
Buffers:        172700 kB
Cached:         206240 kB
SwapCached:          0 kB
Active:         172740 kB
Inactive:       265420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1538392 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             988 kB
Writeback:           0 kB
AnonPages:       59180 kB
Mapped:          15384 kB
Slab:            60752 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181660 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= 62532 MiB
End job on node057 at 2010-06-17 20:52:35