6.38/6.43	c 15504 1416 0 0 0 0 0 0
6.38/6.43	c 2 ~x15507+1 ~x15506+2 ~x14931+1 ~x14930-0=6
6.38/6.43	c 2 ~x15535+1 ~x15534+2 ~x15003+1 ~x15002-0=6
6.38/6.43	c 2 ~x15565+1 ~x15564+2 ~x14934+1 ~x14933-0=6
6.38/6.43	c 2 ~x15593+1 ~x15592+2 ~x15006+1 ~x15005-0=6
6.38/6.43	c 2 ~x15623+1 ~x15622+2 ~x14937+1 ~x14936-0=6
6.38/6.43	c 2 ~x15651+1 ~x15650+2 ~x15009+1 ~x15008-0=6
6.38/6.44	c 2 ~x15681+1 ~x15680+2 ~x14940+1 ~x14939-0=6
6.38/6.44	c 2 ~x15709+1 ~x15708+2 ~x15012+1 ~x15011-0=6
6.38/6.44	c 2 ~x15739+1 ~x15738+2 ~x14943+1 ~x14942-0=6
6.38/6.44	c 2 ~x15767+1 ~x15766+2 ~x15015+1 ~x15014-0=6
6.38/6.44	c 2 ~x15797+1 ~x15796+2 ~x14946+1 ~x14945-0=6
6.38/6.45	c 2 ~x15825+1 ~x15824+2 ~x15018+1 ~x15017-0=6
6.38/6.45	c 2 ~x15855+1 ~x15854+2 ~x14949+1 ~x14948-0=6
6.38/6.45	c 2 ~x15883+1 ~x15882+2 ~x15021+1 ~x15020-0=6
6.38/6.45	c 2 ~x15913+1 ~x15912+2 ~x14952+1 ~x14951-0=6
6.38/6.45	c 2 ~x15941+1 ~x15940+2 ~x15024+1 ~x15023-0=6
6.38/6.45	c 2 ~x15971+1 ~x15970+2 ~x14955+1 ~x14954-0=6
6.38/6.47	c 2 ~x15999+1 ~x15998+2 ~x15027+1 ~x15026-0=6
6.38/6.47	c 2 ~x16029+1 ~x16028+2 ~x14958+1 ~x14957-0=6
6.38/6.47	c 2 ~x16057+1 ~x16056+2 ~x15030+1 ~x15029-0=6
6.38/6.47	c 2 ~x16087+1 ~x16086+2 ~x14961+1 ~x14960-0=6
6.38/6.47	c 2 ~x16115+1 ~x16114+2 ~x15033+1 ~x15032-0=6
6.38/6.50	c 2 ~x16145+1 ~x16144+2 ~x14964+1 ~x14963-0=6
6.38/6.50	c 2 ~x16173+1 ~x16172+2 ~x15036+1 ~x15035-0=6
6.38/6.50	c 2 ~x16203+1 ~x16202+2 ~x14967+1 ~x14966-0=6
6.38/6.50	c 2 ~x16231+1 ~x16230+2 ~x15039+1 ~x15038-0=6
6.38/6.50	c 2 ~x16261+1 ~x16260+2 ~x14970+1 ~x14969-0=6
6.38/6.50	c 2 ~x16289+1 ~x16288+2 ~x15042+1 ~x15041-0=6
6.47/6.51	c 2 ~x16319+1 ~x16318+2 ~x14973+1 ~x14972-0=6
6.47/6.51	c 2 ~x16347+1 ~x16346+2 ~x15045+1 ~x15044-0=6
6.47/6.51	c 2 ~x16377+1 ~x16376+2 ~x14976+1 ~x14975-0=6
6.47/6.51	c 2 ~x16405+1 ~x16404+2 ~x15048+1 ~x15047-0=6
6.47/6.51	c 2 ~x16435+1 ~x16434+2 ~x14979+1 ~x14978-0=6
6.47/6.54	c 2 ~x16463+1 ~x16462+2 ~x15051+1 ~x15050-0=6
6.47/6.54	c 2 ~x16493+1 ~x16492+2 ~x14982+1 ~x14981-0=6
6.47/6.54	c 2 ~x16521+1 ~x16520+2 ~x15054+1 ~x15053-0=6
6.47/6.54	c 2 ~x16551+1 ~x16550+2 ~x14985+1 ~x14984-0=6
6.47/6.54	c 2 ~x16579+1 ~x16578+2 ~x15057+1 ~x15056-0=6
6.47/6.54	c 2 ~x16609+1 ~x16608+2 ~x14988+1 ~x14987-0=6
6.47/6.56	c 2 ~x16637+1 ~x16636+2 ~x15060+1 ~x15059-0=6
6.47/6.56	c 2 ~x16667+1 ~x16666+2 ~x14991+1 ~x14990-0=6
6.47/6.56	c 2 ~x16695+1 ~x16694+2 ~x15063+1 ~x15062-0=6
6.47/6.56	c 2 ~x16725+1 ~x16724+2 ~x14994+1 ~x14993-0=6
6.47/6.56	c 2 ~x16753+1 ~x16752+2 ~x15066+1 ~x15065-0=6
6.47/6.59	c 2 ~x16783+1 ~x16782+2 ~x14997+1 ~x14996-0=6
6.47/6.59	c 2 ~x16811+1 ~x16810+2 ~x15069+1 ~x15068-0=6
6.47/6.59	c 2 ~x16841+1 ~x16840+2 ~x15000+1 ~x14999-0=6
6.47/6.59	c 2 ~x16869+1 ~x16868+2 ~x15072+1 ~x15071-0=6
6.47/6.59	c 2 ~x16899+1 ~x16898+2 ~x14427+1 ~x14426-0=6
6.47/6.59	c 2 ~x16927+1 ~x16926+2 ~x14499+1 ~x14498-0=6
6.59/6.62	c 2 ~x16957+1 ~x16956+2 ~x14430+1 ~x14429-0=6
6.59/6.62	c 2 ~x16985+1 ~x16984+2 ~x14502+1 ~x14501-0=6
6.59/6.62	c 2 ~x17015+1 ~x17014+2 ~x14433+1 ~x14432-0=6
6.59/6.62	c 2 ~x17043+1 ~x17042+2 ~x14505+1 ~x14504-0=6
6.59/6.62	c 2 ~x17073+1 ~x17072+2 ~x14436+1 ~x14435-0=6
6.59/6.62	c 2 ~x17101+1 ~x17100+2 ~x14508+1 ~x14507-0=6
6.59/6.63	c 2 ~x17131+1 ~x17130+2 ~x14439+1 ~x14438-0=6
6.59/6.63	c 2 ~x17159+1 ~x17158+2 ~x14511+1 ~x14510-0=6
6.59/6.63	c 2 ~x17189+1 ~x17188+2 ~x14442+1 ~x14441-0=6
6.59/6.63	c 2 ~x17217+1 ~x17216+2 ~x14514+1 ~x14513-0=6
6.59/6.63	c 2 ~x17247+1 ~x17246+2 ~x14445+1 ~x14444-0=6
6.59/6.67	c 2 ~x17275+1 ~x17274+2 ~x14517+1 ~x14516-0=6
6.59/6.67	c 2 ~x17305+1 ~x17304+2 ~x14448+1 ~x14447-0=6
6.59/6.67	c 2 ~x17333+1 ~x17332+2 ~x14520+1 ~x14519-0=6
6.59/6.67	c 2 ~x17363+1 ~x17362+2 ~x14451+1 ~x14450-0=6
6.59/6.67	c 2 ~x17391+1 ~x17390+2 ~x14523+1 ~x14522-0=6
6.59/6.67	c 2 ~x17421+1 ~x17420+2 ~x14454+1 ~x14453-0=6
6.59/6.68	c 2 ~x17449+1 ~x17448+2 ~x14526+1 ~x14525-0=6
6.59/6.68	c 2 ~x17479+1 ~x17478+2 ~x14457+1 ~x14456-0=6
6.59/6.68	c 2 ~x17507+1 ~x17506+2 ~x14529+1 ~x14528-0=6
6.59/6.68	c 2 ~x17537+1 ~x17536+2 ~x14460+1 ~x14459-0=6
6.59/6.68	c 2 ~x17565+1 ~x17564+2 ~x14532+1 ~x14531-0=6
6.69/6.71	c 2 ~x17595+1 ~x17594+2 ~x14463+1 ~x14462-0=6
6.69/6.71	c 2 ~x17623+1 ~x17622+2 ~x14535+1 ~x14534-0=6
6.69/6.71	c 2 ~x17653+1 ~x17652+2 ~x14466+1 ~x14465-0=6
6.69/6.71	c 2 ~x17681+1 ~x17680+2 ~x14538+1 ~x14537-0=6
6.69/6.71	c 2 ~x17711+1 ~x17710+2 ~x14469+1 ~x14468-0=6
6.69/6.71	c 2 ~x17739+1 ~x17738+2 ~x14541+1 ~x14540-0=6
6.69/6.73	c 2 ~x17769+1 ~x17768+2 ~x14472+1 ~x14471-0=6
6.69/6.73	c 2 ~x17797+1 ~x17796+2 ~x14544+1 ~x14543-0=6
6.69/6.73	c 2 ~x17827+1 ~x17826+2 ~x14475+1 ~x14474-0=6
6.69/6.73	c 2 ~x17855+1 ~x17854+2 ~x14547+1 ~x14546-0=6
6.69/6.73	c 2 ~x17885+1 ~x17884+2 ~x14478+1 ~x14477-0=6
6.69/6.75	c 2 ~x17913+1 ~x17912+2 ~x14550+1 ~x14549-0=6
6.69/6.75	c 2 ~x17943+1 ~x17942+2 ~x14481+1 ~x14480-0=6
6.69/6.75	c 2 ~x17971+1 ~x17970+2 ~x14553+1 ~x14552-0=6
6.69/6.75	c 2 ~x18001+1 ~x18000+2 ~x14484+1 ~x14483-0=6
6.69/6.75	c 2 ~x18029+1 ~x18028+2 ~x14556+1 ~x14555-0=6
6.69/6.75	c 2 ~x18059+1 ~x18058+2 ~x14487+1 ~x14486-0=6
6.69/6.78	c 2 ~x18087+1 ~x18086+2 ~x14559+1 ~x14558-0=6
6.69/6.78	c 2 ~x18117+1 ~x18116+2 ~x14490+1 ~x14489-0=6
6.69/6.78	c 2 ~x18145+1 ~x18144+2 ~x14562+1 ~x14561-0=6
6.69/6.78	c 2 ~x18175+1 ~x18174+2 ~x14493+1 ~x14492-0=6
6.69/6.78	c 2 ~x18203+1 ~x18202+2 ~x14565+1 ~x14564-0=6
6.69/6.78	c 2 ~x18233+1 ~x18232+2 ~x14496+1 ~x14495-0=6
6.78/6.83	c 2 ~x18261+1 ~x18260+2 ~x14568+1 ~x14567-0=6
6.78/6.83	c 8 ~x18341+4 ~x18340+2 ~x18339+1 ~x18338+4 ~x15004+2 ~x15003+1 ~x15002+4 x14932+2 x14931+1 x14930+4 ~x14428+2 ~x14427+1 ~x14426-0=29
6.78/6.83	c 8 ~x18763+4 ~x18762+2 ~x18761+1 ~x18760+4 ~x15007+2 ~x15006+1 ~x15005+4 x14935+2 x14934+1 x14933+4 ~x14431+2 ~x14430+1 ~x14429-0=29
6.78/6.86	c 8 ~x19185+4 ~x19184+2 ~x19183+1 ~x19182+4 ~x15010+2 ~x15009+1 ~x15008+4 x14938+2 x14937+1 x14936+4 ~x14434+2 ~x14433+1 ~x14432-0=29
6.78/6.86	c 8 ~x19607+4 ~x19606+2 ~x19605+1 ~x19604+4 ~x15013+2 ~x15012+1 ~x15011+4 x14941+2 x14940+1 x14939+4 ~x14437+2 ~x14436+1 ~x14435-0=29
6.78/6.88	c 8 ~x20029+4 ~x20028+2 ~x20027+1 ~x20026+4 ~x15016+2 ~x15015+1 ~x15014+4 x14944+2 x14943+1 x14942+4 ~x14440+2 ~x14439+1 ~x14438-0=29
6.78/6.88	c 8 ~x20451+4 ~x20450+2 ~x20449+1 ~x20448+4 ~x15019+2 ~x15018+1 ~x15017+4 x14947+2 x14946+1 x14945+4 ~x14443+2 ~x14442+1 ~x14441-0=29
6.78/6.89	c 8 ~x20873+4 ~x20872+2 ~x20871+1 ~x20870+4 ~x15022+2 ~x15021+1 ~x15020+4 x14950+2 x14949+1 x14948+4 ~x14446+2 ~x14445+1 ~x14444-0=29
6.88/6.91	c 8 ~x21295+4 ~x21294+2 ~x21293+1 ~x21292+4 ~x15025+2 ~x15024+1 ~x15023+4 x14953+2 x14952+1 x14951+4 ~x14449+2 ~x14448+1 ~x14447-0=29
6.88/6.91	c 8 ~x21717+4 ~x21716+2 ~x21715+1 ~x21714+4 ~x15028+2 ~x15027+1 ~x15026+4 x14956+2 x14955+1 x14954+4 ~x14452+2 ~x14451+1 ~x14450-0=29
6.88/6.94	c 8 ~x22139+4 ~x22138+2 ~x22137+1 ~x22136+4 ~x15031+2 ~x15030+1 ~x15029+4 x14959+2 x14958+1 x14957+4 ~x14455+2 ~x14454+1 ~x14453-0=29
6.88/6.94	c 8 ~x22561+4 ~x22560+2 ~x22559+1 ~x22558+4 ~x15034+2 ~x15033+1 ~x15032+4 x14962+2 x14961+1 x14960+4 ~x14458+2 ~x14457+1 ~x14456-0=29
6.88/6.97	c 8 ~x22983+4 ~x22982+2 ~x22981+1 ~x22980+4 ~x15037+2 ~x15036+1 ~x15035+4 x14965+2 x14964+1 x14963+4 ~x14461+2 ~x14460+1 ~x14459-0=29
6.88/6.97	c 8 ~x23405+4 ~x23404+2 ~x23403+1 ~x23402+4 ~x15040+2 ~x15039+1 ~x15038+4 x14968+2 x14967+1 x14966+4 ~x14464+2 ~x14463+1 ~x14462-0=29
6.88/6.99	c 8 ~x23827+4 ~x23826+2 ~x23825+1 ~x23824+4 ~x15043+2 ~x15042+1 ~x15041+4 x14971+2 x14970+1 x14969+4 ~x14467+2 ~x14466+1 ~x14465-0=29
6.88/6.99	c 8 ~x24249+4 ~x24248+2 ~x24247+1 ~x24246+4 ~x15046+2 ~x15045+1 ~x15044+4 x14974+2 x14973+1 x14972+4 ~x14470+2 ~x14469+1 ~x14468-0=29
6.97/7.03	c 8 ~x24671+4 ~x24670+2 ~x24669+1 ~x24668+4 ~x15049+2 ~x15048+1 ~x15047+4 x14977+2 x14976+1 x14975+4 ~x14473+2 ~x14472+1 ~x14471-0=29
6.97/7.03	c 8 ~x25093+4 ~x25092+2 ~x25091+1 ~x25090+4 ~x15052+2 ~x15051+1 ~x15050+4 x14980+2 x14979+1 x14978+4 ~x14476+2 ~x14475+1 ~x14474-0=29
6.97/7.08	c 8 ~x25515+4 ~x25514+2 ~x25513+1 ~x25512+4 ~x15055+2 ~x15054+1 ~x15053+4 x14983+2 x14982+1 x14981+4 ~x14479+2 ~x14478+1 ~x14477-0=29
6.97/7.08	c 8 ~x25937+4 ~x25936+2 ~x25935+1 ~x25934+4 ~x15058+2 ~x15057+1 ~x15056+4 x14986+2 x14985+1 x14984+4 ~x14482+2 ~x14481+1 ~x14480-0=29
7.07/7.12	c 8 ~x26359+4 ~x26358+2 ~x26357+1 ~x26356+4 ~x15061+2 ~x15060+1 ~x15059+4 x14989+2 x14988+1 x14987+4 ~x14485+2 ~x14484+1 ~x14483-0=29
7.07/7.12	c 8 ~x26781+4 ~x26780+2 ~x26779+1 ~x26778+4 ~x15064+2 ~x15063+1 ~x15062+4 x14992+2 x14991+1 x14990+4 ~x14488+2 ~x14487+1 ~x14486-0=29
7.07/7.15	c 8 ~x27203+4 ~x27202+2 ~x27201+1 ~x27200+4 ~x15067+2 ~x15066+1 ~x15065+4 x14995+2 x14994+1 x14993+4 ~x14491+2 ~x14490+1 ~x14489-0=29
7.07/7.15	c 8 ~x27625+4 ~x27624+2 ~x27623+1 ~x27622+4 ~x15070+2 ~x15069+1 ~x15068+4 x14998+2 x14997+1 x14996+4 ~x14494+2 ~x14493+1 ~x14492-0=29
7.07/7.19	c 8 ~x28047+4 ~x28046+2 ~x28045+1 ~x28044+4 ~x15073+2 ~x15072+1 ~x15071+4 x15001+2 x15000+1 x14999+4 ~x14497+2 ~x14496+1 ~x14495-0=29
7.07/7.19	c 562949953421312 ~x28515+281474976710656 ~x28514+140737488355328 ~x28513+70368744177664 ~x28512+35184372088832 ~x28511+17592186044416 ~x28510+8796093022208 ~x28509+4398046511104 ~x28508+2199023255552 ~x28507+1099511627776 ~x28506+549755813888 ~x28505+274877906944 ~x28504+137438953472 ~x28503+68719476736 ~x28502+34359738368 ~x28501+17179869184 ~x28500+8589934592 ~x28499+4294967296 ~x28498+2147483648 ~x28497+1073741824 ~x28496+536870912 ~x28495+268435456 ~x28494+134217728 ~x28493+67108864 ~x28492+33554432 ~x28491+16777216 ~x28490+8388608 ~x28489+4194304 ~x28488+2097152 ~x28487+1048576 ~x28486+524288 ~x28485+262144 ~x28484+131072 ~x28483+65536 ~x28482+32768 ~x28481+16384 ~x28480+8192 ~x28479+4096 ~x28478+2048 ~x28477+1024 ~x28476+512 ~x28475+256 ~x28474+128 ~x28473+64 ~x28472+32 ~x28471+16 ~x28470+8 ~x28469+4 ~x28468+2 ~x28467+1 ~x28466+27612688384 x14932+13806344192 x14931+6903172096 x14930+34570788864 ~x14428+17285394432 ~x14427+8642697216 ~x14426+536870912000000 ~x7231+268435456000000 ~x7230+134217728000000 ~x7229+67108864000000 ~x7228+33554432000000 ~x7227+16777216000000 ~x7226+8388608000000 ~x7225+4194304000000 ~x7224+2097152000000 ~x7223+1048576000000 ~x7222+524288000000 ~x7221+262144000000 ~x7220+131072000000 ~x7219+65536000000 ~x7218+32768000000 ~x7217+16384000000 ~x7216+8192000000 ~x7215+4096000000 ~x7214+2048000000 ~x7213+1024000000 ~x7212+512000000 ~x7211+256000000 ~x7210+128000000 ~x7209+64000000 ~x7208+32000000 ~x7207+16000000 ~x7206+8000000 ~x7205+4000000 ~x7204+2000000 ~x7203+1000000 ~x7202+182402429222912 x6511+91201214611456 x6510+45600607305728 x6509+22800303652864 x6508+11400151826432 x6507+5700075913216 x6506+2850037956608 x6505+1425018978304 x6504+712509489152 x6503+356254744576 x6502+178127372288 x6501+89063686144 x6500+44531843072 x6499+22265921536 x6498+11132960768 x6497+5566480384 x6496+2783240192 x6495+1391620096 x6494+695810048 x6493+347905024 x6492+173952512 x6491+86976256 x6490+43488128 x6489+21744064 x6488+10872032 x6487+5436016 x6486+2718008 x6485+1359004 x6484+679502 x6483+339751 x6482-0=2199702228723135
9.07/9.12	c 562949953421312 ~x118594+281474976710656 ~x118593+140737488355328 ~x118592+70368744177664 ~x118591+35184372088832 ~x118590+17592186044416 ~x118589+8796093022208 ~x118588+4398046511104 ~x118587+2199023255552 ~x118586+1099511627776 ~x118585+549755813888 ~x118584+274877906944 ~x118583+137438953472 ~x118582+68719476736 ~x118581+34359738368 ~x118580+17179869184 ~x118579+8589934592 ~x118578+4294967296 ~x118577+2147483648 ~x118576+1073741824 ~x118575+536870912 ~x118574+268435456 ~x118573+134217728 ~x118572+67108864 ~x118571+33554432 ~x118570+16777216 ~x118569+8388608 ~x118568+4194304 ~x118567+2097152 ~x118566+1048576 ~x118565+524288 ~x118564+262144 ~x118563+131072 ~x118562+65536 ~x118561+32768 ~x118560+16384 ~x118559+8192 ~x118558+4096 ~x118557+2048 ~x118556+1024 ~x118555+512 ~x118554+256 ~x118553+128 ~x118552+64 ~x118551+32 ~x118550+16 ~x118549+8 ~x118548+4 ~x118547+2 ~x118546+1 ~x118545+27612688384 x14935+13806344192 x14934+6903172096 x14933+34570788864 ~x14431+17285394432 ~x14430+8642697216 ~x14429+536870912000000 ~x7261+268435456000000 ~x7260+134217728000000 ~x7259+67108864000000 ~x7258+33554432000000 ~x7257+16777216000000 ~x7256+8388608000000 ~x7255+4194304000000 ~x7254+2097152000000 ~x7253+1048576000000 ~x7252+524288000000 ~x7251+262144000000 ~x7250+131072000000 ~x7249+65536000000 ~x7248+32768000000 ~x7247+16384000000 ~x7246+8192000000 ~x7245+4096000000 ~x7244+2048000000 ~x7243+1024000000 ~x7242+512000000 ~x7241+256000000 ~x7240+128000000 ~x7239+64000000 ~x7238+32000000 ~x7237+16000000 ~x7236+8000000 ~x7235+4000000 ~x7234+2000000 ~x7233+1000000 ~x7232+182402429222912 x6541+91201214611456 x6540+45600607305728 x6539+22800303652864 x6538+11400151826432 x6537+5700075913216 x6536+2850037956608 x6535+1425018978304 x6534+712509489152 x6533+356254744576 x6532+178127372288 x6531+89063686144 x6530+44531843072 x6529+22265921536 x6528+11132960768 x6527+5566480384 x6526+2783240192 x6525+1391620096 x6524+695810048 x6523+347905024 x6522+173952512 x6521+86976256 x6520+43488128 x6519+21744064 x6518+10872032 x6517+5436016 x6516+2718008 x6515+1359004 x6514+679502 x6513+339751 x6512-0=2199702228723135
10.98/11.08	c 562949953421312 ~x208673+281474976710656 ~x208672+140737488355328 ~x208671+70368744177664 ~x208670+35184372088832 ~x208669+17592186044416 ~x208668+8796093022208 ~x208667+4398046511104 ~x208666+2199023255552 ~x208665+1099511627776 ~x208664+549755813888 ~x208663+274877906944 ~x208662+137438953472 ~x208661+68719476736 ~x208660+34359738368 ~x208659+17179869184 ~x208658+8589934592 ~x208657+4294967296 ~x208656+2147483648 ~x208655+1073741824 ~x208654+536870912 ~x208653+268435456 ~x208652+134217728 ~x208651+67108864 ~x208650+33554432 ~x208649+16777216 ~x208648+8388608 ~x208647+4194304 ~x208646+2097152 ~x208645+1048576 ~x208644+524288 ~x208643+262144 ~x208642+131072 ~x208641+65536 ~x208640+32768 ~x208639+16384 ~x208638+8192 ~x208637+4096 ~x208636+2048 ~x208635+1024 ~x208634+512 ~x208633+256 ~x208632+128 ~x208631+64 ~x208630+32 ~x208629+16 ~x208628+8 ~x208627+4 ~x208626+2 ~x208625+1 ~x208624+27612688384 x14938+13806344192 x14937+6903172096 x14936+34570788864 ~x14434+17285394432 ~x14433+8642697216 ~x14432+536870912000000 ~x7291+268435456000000 ~x7290+134217728000000 ~x7289+67108864000000 ~x7288+33554432000000 ~x7287+16777216000000 ~x7286+8388608000000 ~x7285+4194304000000 ~x7284+2097152000000 ~x7283+1048576000000 ~x7282+524288000000 ~x7281+262144000000 ~x7280+131072000000 ~x7279+65536000000 ~x7278+32768000000 ~x7277+16384000000 ~x7276+8192000000 ~x7275+4096000000 ~x7274+2048000000 ~x7273+1024000000 ~x7272+512000000 ~x7271+256000000 ~x7270+128000000 ~x7269+64000000 ~x7268+32000000 ~x7267+16000000 ~x7266+8000000 ~x7265+4000000 ~x7264+2000000 ~x7263+1000000 ~x7262+182402429222912 x6571+91201214611456 x6570+45600607305728 x6569+22800303652864 x6568+11400151826432 x6567+5700075913216 x6566+2850037956608 x6565+1425018978304 x6564+712509489152 x6563+356254744576 x6562+178127372288 x6561+89063686144 x6560+44531843072 x6559+22265921536 x6558+11132960768 x6557+5566480384 x6556+2783240192 x6555+1391620096 x6554+695810048 x6553+347905024 x6552+173952512 x6551+86976256 x6550+43488128 x6549+21744064 x6548+10872032 x6547+5436016 x6546+2718008 x6545+1359004 x6544+679502 x6543+339751 x6542-0=2199702228723135
12.97/13.04	c 562949953421312 ~x298752+281474976710656 ~x298751+140737488355328 ~x298750+70368744177664 ~x298749+35184372088832 ~x298748+17592186044416 ~x298747+8796093022208 ~x298746+4398046511104 ~x298745+2199023255552 ~x298744+1099511627776 ~x298743+549755813888 ~x298742+274877906944 ~x298741+137438953472 ~x298740+68719476736 ~x298739+34359738368 ~x298738+17179869184 ~x298737+8589934592 ~x298736+4294967296 ~x298735+2147483648 ~x298734+1073741824 ~x298733+536870912 ~x298732+268435456 ~x298731+134217728 ~x298730+67108864 ~x298729+33554432 ~x298728+16777216 ~x298727+8388608 ~x298726+4194304 ~x298725+2097152 ~x298724+1048576 ~x298723+524288 ~x298722+262144 ~x298721+131072 ~x298720+65536 ~x298719+32768 ~x298718+16384 ~x298717+8192 ~x298716+4096 ~x298715+2048 ~x298714+1024 ~x298713+512 ~x298712+256 ~x298711+128 ~x298710+64 ~x298709+32 ~x298708+16 ~x298707+8 ~x298706+4 ~x298705+2 ~x298704+1 ~x298703+27612688384 x14941+13806344192 x14940+6903172096 x14939+34570788864 ~x14437+17285394432 ~x14436+8642697216 ~x14435+536870912000000 ~x7321+268435456000000 ~x7320+134217728000000 ~x7319+67108864000000 ~x7318+33554432000000 ~x7317+16777216000000 ~x7316+8388608000000 ~x7315+4194304000000 ~x7314+2097152000000 ~x7313+1048576000000 ~x7312+524288000000 ~x7311+262144000000 ~x7310+131072000000 ~x7309+65536000000 ~x7308+32768000000 ~x7307+16384000000 ~x7306+8192000000 ~x7305+4096000000 ~x7304+2048000000 ~x7303+1024000000 ~x7302+512000000 ~x7301+256000000 ~x7300+128000000 ~x7299+64000000 ~x7298+32000000 ~x7297+16000000 ~x7296+8000000 ~x7295+4000000 ~x7294+2000000 ~x7293+1000000 ~x7292+182402429222912 x6601+91201214611456 x6600+45600607305728 x6599+22800303652864 x6598+11400151826432 x6597+5700075913216 x6596+2850037956608 x6595+1425018978304 x6594+712509489152 x6593+356254744576 x6592+178127372288 x6591+89063686144 x6590+44531843072 x6589+22265921536 x6588+11132960768 x6587+5566480384 x6586+2783240192 x6585+1391620096 x6584+695810048 x6583+347905024 x6582+173952512 x6581+86976256 x6580+43488128 x6579+21744064 x6578+10872032 x6577+5436016 x6576+2718008 x6575+1359004 x6574+679502 x6573+339751 x6572-0=2199702228723135
14.87/14.96	c 562949953421312 ~x388831+281474976710656 ~x388830+140737488355328 ~x388829+70368744177664 ~x388828+35184372088832 ~x388827+17592186044416 ~x388826+8796093022208 ~x388825+4398046511104 ~x388824+2199023255552 ~x388823+1099511627776 ~x388822+549755813888 ~x388821+274877906944 ~x388820+137438953472 ~x388819+68719476736 ~x388818+34359738368 ~x388817+17179869184 ~x388816+8589934592 ~x388815+4294967296 ~x388814+2147483648 ~x388813+1073741824 ~x388812+536870912 ~x388811+268435456 ~x388810+134217728 ~x388809+67108864 ~x388808+33554432 ~x388807+16777216 ~x388806+8388608 ~x388805+4194304 ~x388804+2097152 ~x388803+1048576 ~x388802+524288 ~x388801+262144 ~x388800+131072 ~x388799+65536 ~x388798+32768 ~x388797+16384 ~x388796+8192 ~x388795+4096 ~x388794+2048 ~x388793+1024 ~x388792+512 ~x388791+256 ~x388790+128 ~x388789+64 ~x388788+32 ~x388787+16 ~x388786+8 ~x388785+4 ~x388784+2 ~x388783+1 ~x388782+27612688384 x14944+13806344192 x14943+6903172096 x14942+34570788864 ~x14440+17285394432 ~x14439+8642697216 ~x14438+536870912000000 ~x7351+268435456000000 ~x7350+134217728000000 ~x7349+67108864000000 ~x7348+33554432000000 ~x7347+16777216000000 ~x7346+8388608000000 ~x7345+4194304000000 ~x7344+2097152000000 ~x7343+1048576000000 ~x7342+524288000000 ~x7341+262144000000 ~x7340+131072000000 ~x7339+65536000000 ~x7338+32768000000 ~x7337+16384000000 ~x7336+8192000000 ~x7335+4096000000 ~x7334+2048000000 ~x7333+1024000000 ~x7332+512000000 ~x7331+256000000 ~x7330+128000000 ~x7329+64000000 ~x7328+32000000 ~x7327+16000000 ~x7326+8000000 ~x7325+4000000 ~x7324+2000000 ~x7323+1000000 ~x7322+182402429222912 x6631+91201214611456 x6630+45600607305728 x6629+22800303652864 x6628+11400151826432 x6627+5700075913216 x6626+2850037956608 x6625+1425018978304 x6624+712509489152 x6623+356254744576 x6622+178127372288 x6621+89063686144 x6620+44531843072 x6619+22265921536 x6618+11132960768 x6617+5566480384 x6616+2783240192 x6615+1391620096 x6614+695810048 x6613+347905024 x6612+173952512 x6611+86976256 x6610+43488128 x6609+21744064 x6608+10872032 x6607+5436016 x6606+2718008 x6605+1359004 x6604+679502 x6603+339751 x6602-0=2199702228723135
16.76/16.89	c 562949953421312 ~x478910+281474976710656 ~x478909+140737488355328 ~x478908+70368744177664 ~x478907+35184372088832 ~x478906+17592186044416 ~x478905+8796093022208 ~x478904+4398046511104 ~x478903+2199023255552 ~x478902+1099511627776 ~x478901+549755813888 ~x478900+274877906944 ~x478899+137438953472 ~x478898+68719476736 ~x478897+34359738368 ~x478896+17179869184 ~x478895+8589934592 ~x478894+4294967296 ~x478893+2147483648 ~x478892+1073741824 ~x478891+536870912 ~x478890+268435456 ~x478889+134217728 ~x478888+67108864 ~x478887+33554432 ~x478886+16777216 ~x478885+8388608 ~x478884+4194304 ~x478883+2097152 ~x478882+1048576 ~x478881+524288 ~x478880+262144 ~x478879+131072 ~x478878+65536 ~x478877+32768 ~x478876+16384 ~x478875+8192 ~x478874+4096 ~x478873+2048 ~x478872+1024 ~x478871+512 ~x478870+256 ~x478869+128 ~x478868+64 ~x478867+32 ~x478866+16 ~x478865+8 ~x478864+4 ~x478863+2 ~x478862+1 ~x478861+27612688384 x14947+13806344192 x14946+6903172096 x14945+34570788864 ~x14443+17285394432 ~x14442+8642697216 ~x14441+536870912000000 ~x7381+268435456000000 ~x7380+134217728000000 ~x7379+67108864000000 ~x7378+33554432000000 ~x7377+16777216000000 ~x7376+8388608000000 ~x7375+4194304000000 ~x7374+2097152000000 ~x7373+1048576000000 ~x7372+524288000000 ~x7371+262144000000 ~x7370+131072000000 ~x7369+65536000000 ~x7368+32768000000 ~x7367+16384000000 ~x7366+8192000000 ~x7365+4096000000 ~x7364+2048000000 ~x7363+1024000000 ~x7362+512000000 ~x7361+256000000 ~x7360+128000000 ~x7359+64000000 ~x7358+32000000 ~x7357+16000000 ~x7356+8000000 ~x7355+4000000 ~x7354+2000000 ~x7353+1000000 ~x7352+182402429222912 x6661+91201214611456 x6660+45600607305728 x6659+22800303652864 x6658+11400151826432 x6657+5700075913216 x6656+2850037956608 x6655+1425018978304 x6654+712509489152 x6653+356254744576 x6652+178127372288 x6651+89063686144 x6650+44531843072 x6649+22265921536 x6648+11132960768 x6647+5566480384 x6646+2783240192 x6645+1391620096 x6644+695810048 x6643+347905024 x6642+173952512 x6641+86976256 x6640+43488128 x6639+21744064 x6638+10872032 x6637+5436016 x6636+2718008 x6635+1359004 x6634+679502 x6633+339751 x6632-0=2199702228723135
18.78/18.82	c 562949953421312 ~x568989+281474976710656 ~x568988+140737488355328 ~x568987+70368744177664 ~x568986+35184372088832 ~x568985+17592186044416 ~x568984+8796093022208 ~x568983+4398046511104 ~x568982+2199023255552 ~x568981+1099511627776 ~x568980+549755813888 ~x568979+274877906944 ~x568978+137438953472 ~x568977+68719476736 ~x568976+34359738368 ~x568975+17179869184 ~x568974+8589934592 ~x568973+4294967296 ~x568972+2147483648 ~x568971+1073741824 ~x568970+536870912 ~x568969+268435456 ~x568968+134217728 ~x568967+67108864 ~x568966+33554432 ~x568965+16777216 ~x568964+8388608 ~x568963+4194304 ~x568962+2097152 ~x568961+1048576 ~x568960+524288 ~x568959+262144 ~x568958+131072 ~x568957+65536 ~x568956+32768 ~x568955+16384 ~x568954+8192 ~x568953+4096 ~x568952+2048 ~x568951+1024 ~x568950+512 ~x568949+256 ~x568948+128 ~x568947+64 ~x568946+32 ~x568945+16 ~x568944+8 ~x568943+4 ~x568942+2 ~x568941+1 ~x568940+27612688384 x14950+13806344192 x14949+6903172096 x14948+34570788864 ~x14446+17285394432 ~x14445+8642697216 ~x14444+536870912000000 ~x7411+268435456000000 ~x7410+134217728000000 ~x7409+67108864000000 ~x7408+33554432000000 ~x7407+16777216000000 ~x7406+8388608000000 ~x7405+4194304000000 ~x7404+2097152000000 ~x7403+1048576000000 ~x7402+524288000000 ~x7401+262144000000 ~x7400+131072000000 ~x7399+65536000000 ~x7398+32768000000 ~x7397+16384000000 ~x7396+8192000000 ~x7395+4096000000 ~x7394+2048000000 ~x7393+1024000000 ~x7392+512000000 ~x7391+256000000 ~x7390+128000000 ~x7389+64000000 ~x7388+32000000 ~x7387+16000000 ~x7386+8000000 ~x7385+4000000 ~x7384+2000000 ~x7383+1000000 ~x7382+182402429222912 x6691+91201214611456 x6690+45600607305728 x6689+22800303652864 x6688+11400151826432 x6687+5700075913216 x6686+2850037956608 x6685+1425018978304 x6684+712509489152 x6683+356254744576 x6682+178127372288 x6681+89063686144 x6680+44531843072 x6679+22265921536 x6678+11132960768 x6677+5566480384 x6676+2783240192 x6675+1391620096 x6674+695810048 x6673+347905024 x6672+173952512 x6671+86976256 x6670+43488128 x6669+21744064 x6668+10872032 x6667+5436016 x6666+2718008 x6665+1359004 x6664+679502 x6663+339751 x6662-0=2199702228723135
20.67/20.75	c 562949953421312 ~x659068+281474976710656 ~x659067+140737488355328 ~x659066+70368744177664 ~x659065+35184372088832 ~x659064+17592186044416 ~x659063+8796093022208 ~x659062+4398046511104 ~x659061+2199023255552 ~x659060+1099511627776 ~x659059+549755813888 ~x659058+274877906944 ~x659057+137438953472 ~x659056+68719476736 ~x659055+34359738368 ~x659054+17179869184 ~x659053+8589934592 ~x659052+4294967296 ~x659051+2147483648 ~x659050+1073741824 ~x659049+536870912 ~x659048+268435456 ~x659047+134217728 ~x659046+67108864 ~x659045+33554432 ~x659044+16777216 ~x659043+8388608 ~x659042+4194304 ~x659041+2097152 ~x659040+1048576 ~x659039+524288 ~x659038+262144 ~x659037+131072 ~x659036+65536 ~x659035+32768 ~x659034+16384 ~x659033+8192 ~x659032+4096 ~x659031+2048 ~x659030+1024 ~x659029+512 ~x659028+256 ~x659027+128 ~x659026+64 ~x659025+32 ~x659024+16 ~x659023+8 ~x659022+4 ~x659021+2 ~x659020+1 ~x659019+27612688384 x14953+13806344192 x14952+6903172096 x14951+34570788864 ~x14449+17285394432 ~x14448+8642697216 ~x14447+536870912000000 ~x7441+268435456000000 ~x7440+134217728000000 ~x7439+67108864000000 ~x7438+33554432000000 ~x7437+16777216000000 ~x7436+8388608000000 ~x7435+4194304000000 ~x7434+2097152000000 ~x7433+1048576000000 ~x7432+524288000000 ~x7431+262144000000 ~x7430+131072000000 ~x7429+65536000000 ~x7428+32768000000 ~x7427+16384000000 ~x7426+8192000000 ~x7425+4096000000 ~x7424+2048000000 ~x7423+1024000000 ~x7422+512000000 ~x7421+256000000 ~x7420+128000000 ~x7419+64000000 ~x7418+32000000 ~x7417+16000000 ~x7416+8000000 ~x7415+4000000 ~x7414+2000000 ~x7413+1000000 ~x7412+182402429222912 x6721+91201214611456 x6720+45600607305728 x6719+22800303652864 x6718+11400151826432 x6717+5700075913216 x6716+2850037956608 x6715+1425018978304 x6714+712509489152 x6713+356254744576 x6712+178127372288 x6711+89063686144 x6710+44531843072 x6709+22265921536 x6708+11132960768 x6707+5566480384 x6706+2783240192 x6705+1391620096 x6704+695810048 x6703+347905024 x6702+173952512 x6701+86976256 x6700+43488128 x6699+21744064 x6698+10872032 x6697+5436016 x6696+2718008 x6695+1359004 x6694+679502 x6693+339751 x6692-0=2199702228723135
22.57/22.67	c 562949953421312 ~x749147+281474976710656 ~x749146+140737488355328 ~x749145+70368744177664 ~x749144+35184372088832 ~x749143+17592186044416 ~x749142+8796093022208 ~x749141+4398046511104 ~x749140+2199023255552 ~x749139+1099511627776 ~x749138+549755813888 ~x749137+274877906944 ~x749136+137438953472 ~x749135+68719476736 ~x749134+34359738368 ~x749133+17179869184 ~x749132+8589934592 ~x749131+4294967296 ~x749130+2147483648 ~x749129+1073741824 ~x749128+536870912 ~x749127+268435456 ~x749126+134217728 ~x749125+67108864 ~x749124+33554432 ~x749123+16777216 ~x749122+8388608 ~x749121+4194304 ~x749120+2097152 ~x749119+1048576 ~x749118+524288 ~x749117+262144 ~x749116+131072 ~x749115+65536 ~x749114+32768 ~x749113+16384 ~x749112+8192 ~x749111+4096 ~x749110+2048 ~x749109+1024 ~x749108+512 ~x749107+256 ~x749106+128 ~x749105+64 ~x749104+32 ~x749103+16 ~x749102+8 ~x749101+4 ~x749100+2 ~x749099+1 ~x749098+27612688384 x14956+13806344192 x14955+6903172096 x14954+34570788864 ~x14452+17285394432 ~x14451+8642697216 ~x14450+536870912000000 ~x7471+268435456000000 ~x7470+134217728000000 ~x7469+67108864000000 ~x7468+33554432000000 ~x7467+16777216000000 ~x7466+8388608000000 ~x7465+4194304000000 ~x7464+2097152000000 ~x7463+1048576000000 ~x7462+524288000000 ~x7461+262144000000 ~x7460+131072000000 ~x7459+65536000000 ~x7458+32768000000 ~x7457+16384000000 ~x7456+8192000000 ~x7455+4096000000 ~x7454+2048000000 ~x7453+1024000000 ~x7452+512000000 ~x7451+256000000 ~x7450+128000000 ~x7449+64000000 ~x7448+32000000 ~x7447+16000000 ~x7446+8000000 ~x7445+4000000 ~x7444+2000000 ~x7443+1000000 ~x7442+182402429222912 x6751+91201214611456 x6750+45600607305728 x6749+22800303652864 x6748+11400151826432 x6747+5700075913216 x6746+2850037956608 x6745+1425018978304 x6744+712509489152 x6743+356254744576 x6742+178127372288 x6741+89063686144 x6740+44531843072 x6739+22265921536 x6738+11132960768 x6737+5566480384 x6736+2783240192 x6735+1391620096 x6734+695810048 x6733+347905024 x6732+173952512 x6731+86976256 x6730+43488128 x6729+21744064 x6728+10872032 x6727+5436016 x6726+2718008 x6725+1359004 x6724+679502 x6723+339751 x6722-0=2199702228723135
24.56/24.61	c 562949953421312 ~x839226+281474976710656 ~x839225+140737488355328 ~x839224+70368744177664 ~x839223+35184372088832 ~x839222+17592186044416 ~x839221+8796093022208 ~x839220+4398046511104 ~x839219+2199023255552 ~x839218+1099511627776 ~x839217+549755813888 ~x839216+274877906944 ~x839215+137438953472 ~x839214+68719476736 ~x839213+34359738368 ~x839212+17179869184 ~x839211+8589934592 ~x839210+4294967296 ~x839209+2147483648 ~x839208+1073741824 ~x839207+536870912 ~x839206+268435456 ~x839205+134217728 ~x839204+67108864 ~x839203+33554432 ~x839202+16777216 ~x839201+8388608 ~x839200+4194304 ~x839199+2097152 ~x839198+1048576 ~x839197+524288 ~x839196+262144 ~x839195+131072 ~x839194+65536 ~x839193+32768 ~x839192+16384 ~x839191+8192 ~x839190+4096 ~x839189+2048 ~x839188+1024 ~x839187+512 ~x839186+256 ~x839185+128 ~x839184+64 ~x839183+32 ~x839182+16 ~x839181+8 ~x839180+4 ~x839179+2 ~x839178+1 ~x839177+27612688384 x14959+13806344192 x14958+6903172096 x14957+34570788864 ~x14455+17285394432 ~x14454+8642697216 ~x14453+536870912000000 ~x7501+268435456000000 ~x7500+134217728000000 ~x7499+67108864000000 ~x7498+33554432000000 ~x7497+16777216000000 ~x7496+8388608000000 ~x7495+4194304000000 ~x7494+2097152000000 ~x7493+1048576000000 ~x7492+524288000000 ~x7491+262144000000 ~x7490+131072000000 ~x7489+65536000000 ~x7488+32768000000 ~x7487+16384000000 ~x7486+8192000000 ~x7485+4096000000 ~x7484+2048000000 ~x7483+1024000000 ~x7482+512000000 ~x7481+256000000 ~x7480+128000000 ~x7479+64000000 ~x7478+32000000 ~x7477+16000000 ~x7476+8000000 ~x7475+4000000 ~x7474+2000000 ~x7473+1000000 ~x7472+182402429222912 x6781+91201214611456 x6780+45600607305728 x6779+22800303652864 x6778+11400151826432 x6777+5700075913216 x6776+2850037956608 x6775+1425018978304 x6774+712509489152 x6773+356254744576 x6772+178127372288 x6771+89063686144 x6770+44531843072 x6769+22265921536 x6768+11132960768 x6767+5566480384 x6766+2783240192 x6765+1391620096 x6764+695810048 x6763+347905024 x6762+173952512 x6761+86976256 x6760+43488128 x6759+21744064 x6758+10872032 x6757+5436016 x6756+2718008 x6755+1359004 x6754+679502 x6753+339751 x6752-0=2199702228723135
26.48/26.54	c 562949953421312 ~x929305+281474976710656 ~x929304+140737488355328 ~x929303+70368744177664 ~x929302+35184372088832 ~x929301+17592186044416 ~x929300+8796093022208 ~x929299+4398046511104 ~x929298+2199023255552 ~x929297+1099511627776 ~x929296+549755813888 ~x929295+274877906944 ~x929294+137438953472 ~x929293+68719476736 ~x929292+34359738368 ~x929291+17179869184 ~x929290+8589934592 ~x929289+4294967296 ~x929288+2147483648 ~x929287+1073741824 ~x929286+536870912 ~x929285+268435456 ~x929284+134217728 ~x929283+67108864 ~x929282+33554432 ~x929281+16777216 ~x929280+8388608 ~x929279+4194304 ~x929278+2097152 ~x929277+1048576 ~x929276+524288 ~x929275+262144 ~x929274+131072 ~x929273+65536 ~x929272+32768 ~x929271+16384 ~x929270+8192 ~x929269+4096 ~x929268+2048 ~x929267+1024 ~x929266+512 ~x929265+256 ~x929264+128 ~x929263+64 ~x929262+32 ~x929261+16 ~x929260+8 ~x929259+4 ~x929258+2 ~x929257+1 ~x929256+27612688384 x14962+13806344192 x14961+6903172096 x14960+34570788864 ~x14458+17285394432 ~x14457+8642697216 ~x14456+536870912000000 ~x7531+268435456000000 ~x7530+134217728000000 ~x7529+67108864000000 ~x7528+33554432000000 ~x7527+16777216000000 ~x7526+8388608000000 ~x7525+4194304000000 ~x7524+2097152000000 ~x7523+1048576000000 ~x7522+524288000000 ~x7521+262144000000 ~x7520+131072000000 ~x7519+65536000000 ~x7518+32768000000 ~x7517+16384000000 ~x7516+8192000000 ~x7515+4096000000 ~x7514+2048000000 ~x7513+1024000000 ~x7512+512000000 ~x7511+256000000 ~x7510+128000000 ~x7509+64000000 ~x7508+32000000 ~x7507+16000000 ~x7506+8000000 ~x7505+4000000 ~x7504+2000000 ~x7503+1000000 ~x7502+182402429222912 x6811+91201214611456 x6810+45600607305728 x6809+22800303652864 x6808+11400151826432 x6807+5700075913216 x6806+2850037956608 x6805+1425018978304 x6804+712509489152 x6803+356254744576 x6802+178127372288 x6801+89063686144 x6800+44531843072 x6799+22265921536 x6798+11132960768 x6797+5566480384 x6796+2783240192 x6795+1391620096 x6794+695810048 x6793+347905024 x6792+173952512 x6791+86976256 x6790+43488128 x6789+21744064 x6788+10872032 x6787+5436016 x6786+2718008 x6785+1359004 x6784+679502 x6783+339751 x6782-0=2199702228723135
28.36/28.48	c 562949953421312 ~x1019384+281474976710656 ~x1019383+140737488355328 ~x1019382+70368744177664 ~x1019381+35184372088832 ~x1019380+17592186044416 ~x1019379+8796093022208 ~x1019378+4398046511104 ~x1019377+2199023255552 ~x1019376+1099511627776 ~x1019375+549755813888 ~x1019374+274877906944 ~x1019373+137438953472 ~x1019372+68719476736 ~x1019371+34359738368 ~x1019370+17179869184 ~x1019369+8589934592 ~x1019368+4294967296 ~x1019367+2147483648 ~x1019366+1073741824 ~x1019365+536870912 ~x1019364+268435456 ~x1019363+134217728 ~x1019362+67108864 ~x1019361+33554432 ~x1019360+16777216 ~x1019359+8388608 ~x1019358+4194304 ~x1019357+2097152 ~x1019356+1048576 ~x1019355+524288 ~x1019354+262144 ~x1019353+131072 ~x1019352+65536 ~x1019351+32768 ~x1019350+16384 ~x1019349+8192 ~x1019348+4096 ~x1019347+2048 ~x1019346+1024 ~x1019345+512 ~x1019344+256 ~x1019343+128 ~x1019342+64 ~x1019341+32 ~x1019340+16 ~x1019339+8 ~x1019338+4 ~x1019337+2 ~x1019336+1 ~x1019335+27612688384 x14965+13806344192 x14964+6903172096 x14963+34570788864 ~x14461+17285394432 ~x14460+8642697216 ~x14459+536870912000000 ~x7561+268435456000000 ~x7560+134217728000000 ~x7559+67108864000000 ~x7558+33554432000000 ~x7557+16777216000000 ~x7556+8388608000000 ~x7555+4194304000000 ~x7554+2097152000000 ~x7553+1048576000000 ~x7552+524288000000 ~x7551+262144000000 ~x7550+131072000000 ~x7549+65536000000 ~x7548+32768000000 ~x7547+16384000000 ~x7546+8192000000 ~x7545+4096000000 ~x7544+2048000000 ~x7543+1024000000 ~x7542+512000000 ~x7541+256000000 ~x7540+128000000 ~x7539+64000000 ~x7538+32000000 ~x7537+16000000 ~x7536+8000000 ~x7535+4000000 ~x7534+2000000 ~x7533+1000000 ~x7532+182402429222912 x6841+91201214611456 x6840+45600607305728 x6839+22800303652864 x6838+11400151826432 x6837+5700075913216 x6836+2850037956608 x6835+1425018978304 x6834+712509489152 x6833+356254744576 x6832+178127372288 x6831+89063686144 x6830+44531843072 x6829+22265921536 x6828+11132960768 x6827+5566480384 x6826+2783240192 x6825+1391620096 x6824+695810048 x6823+347905024 x6822+173952512 x6821+86976256 x6820+43488128 x6819+21744064 x6818+10872032 x6817+5436016 x6816+2718008 x6815+1359004 x6814+679502 x6813+339751 x6812-0=2199702228723135
30.37/30.40	c 562949953421312 ~x1109463+281474976710656 ~x1109462+140737488355328 ~x1109461+70368744177664 ~x1109460+35184372088832 ~x1109459+17592186044416 ~x1109458+8796093022208 ~x1109457+4398046511104 ~x1109456+2199023255552 ~x1109455+1099511627776 ~x1109454+549755813888 ~x1109453+274877906944 ~x1109452+137438953472 ~x1109451+68719476736 ~x1109450+34359738368 ~x1109449+17179869184 ~x1109448+8589934592 ~x1109447+4294967296 ~x1109446+2147483648 ~x1109445+1073741824 ~x1109444+536870912 ~x1109443+268435456 ~x1109442+134217728 ~x1109441+67108864 ~x1109440+33554432 ~x1109439+16777216 ~x1109438+8388608 ~x1109437+4194304 ~x1109436+2097152 ~x1109435+1048576 ~x1109434+524288 ~x1109433+262144 ~x1109432+131072 ~x1109431+65536 ~x1109430+32768 ~x1109429+16384 ~x1109428+8192 ~x1109427+4096 ~x1109426+2048 ~x1109425+1024 ~x1109424+512 ~x1109423+256 ~x1109422+128 ~x1109421+64 ~x1109420+32 ~x1109419+16 ~x1109418+8 ~x1109417+4 ~x1109416+2 ~x1109415+1 ~x1109414+27612688384 x14968+13806344192 x14967+6903172096 x14966+34570788864 ~x14464+17285394432 ~x14463+8642697216 ~x14462+536870912000000 ~x7591+268435456000000 ~x7590+134217728000000 ~x7589+67108864000000 ~x7588+33554432000000 ~x7587+16777216000000 ~x7586+8388608000000 ~x7585+4194304000000 ~x7584+2097152000000 ~x7583+1048576000000 ~x7582+524288000000 ~x7581+262144000000 ~x7580+131072000000 ~x7579+65536000000 ~x7578+32768000000 ~x7577+16384000000 ~x7576+8192000000 ~x7575+4096000000 ~x7574+2048000000 ~x7573+1024000000 ~x7572+512000000 ~x7571+256000000 ~x7570+128000000 ~x7569+64000000 ~x7568+32000000 ~x7567+16000000 ~x7566+8000000 ~x7565+4000000 ~x7564+2000000 ~x7563+1000000 ~x7562+182402429222912 x6871+91201214611456 x6870+45600607305728 x6869+22800303652864 x6868+11400151826432 x6867+5700075913216 x6866+2850037956608 x6865+1425018978304 x6864+712509489152 x6863+356254744576 x6862+178127372288 x6861+89063686144 x6860+44531843072 x6859+22265921536 x6858+11132960768 x6857+5566480384 x6856+2783240192 x6855+1391620096 x6854+695810048 x6853+347905024 x6852+173952512 x6851+86976256 x6850+43488128 x6849+21744064 x6848+10872032 x6847+5436016 x6846+2718008 x6845+1359004 x6844+679502 x6843+339751 x6842-0=2199702228723135
32.26/32.33	c 562949953421312 ~x1199542+281474976710656 ~x1199541+140737488355328 ~x1199540+70368744177664 ~x1199539+35184372088832 ~x1199538+17592186044416 ~x1199537+8796093022208 ~x1199536+4398046511104 ~x1199535+2199023255552 ~x1199534+1099511627776 ~x1199533+549755813888 ~x1199532+274877906944 ~x1199531+137438953472 ~x1199530+68719476736 ~x1199529+34359738368 ~x1199528+17179869184 ~x1199527+8589934592 ~x1199526+4294967296 ~x1199525+2147483648 ~x1199524+1073741824 ~x1199523+536870912 ~x1199522+268435456 ~x1199521+134217728 ~x1199520+67108864 ~x1199519+33554432 ~x1199518+16777216 ~x1199517+8388608 ~x1199516+4194304 ~x1199515+2097152 ~x1199514+1048576 ~x1199513+524288 ~x1199512+262144 ~x1199511+131072 ~x1199510+65536 ~x1199509+32768 ~x1199508+16384 ~x1199507+8192 ~x1199506+4096 ~x1199505+2048 ~x1199504+1024 ~x1199503+512 ~x1199502+256 ~x1199501+128 ~x1199500+64 ~x1199499+32 ~x1199498+16 ~x1199497+8 ~x1199496+4 ~x1199495+2 ~x1199494+1 ~x1199493+27612688384 x14971+13806344192 x14970+6903172096 x14969+34570788864 ~x14467+17285394432 ~x14466+8642697216 ~x14465+536870912000000 ~x7621+268435456000000 ~x7620+134217728000000 ~x7619+67108864000000 ~x7618+33554432000000 ~x7617+16777216000000 ~x7616+8388608000000 ~x7615+4194304000000 ~x7614+2097152000000 ~x7613+1048576000000 ~x7612+524288000000 ~x7611+262144000000 ~x7610+131072000000 ~x7609+65536000000 ~x7608+32768000000 ~x7607+16384000000 ~x7606+8192000000 ~x7605+4096000000 ~x7604+2048000000 ~x7603+1024000000 ~x7602+512000000 ~x7601+256000000 ~x7600+128000000 ~x7599+64000000 ~x7598+32000000 ~x7597+16000000 ~x7596+8000000 ~x7595+4000000 ~x7594+2000000 ~x7593+1000000 ~x7592+182402429222912 x6901+91201214611456 x6900+45600607305728 x6899+22800303652864 x6898+11400151826432 x6897+5700075913216 x6896+2850037956608 x6895+1425018978304 x6894+712509489152 x6893+356254744576 x6892+178127372288 x6891+89063686144 x6890+44531843072 x6889+22265921536 x6888+11132960768 x6887+5566480384 x6886+2783240192 x6885+1391620096 x6884+695810048 x6883+347905024 x6882+173952512 x6881+86976256 x6880+43488128 x6879+21744064 x6878+10872032 x6877+5436016 x6876+2718008 x6875+1359004 x6874+679502 x6873+339751 x6872-0=2199702228723135
34.17/34.27	c 562949953421312 ~x1289621+281474976710656 ~x1289620+140737488355328 ~x1289619+70368744177664 ~x1289618+35184372088832 ~x1289617+17592186044416 ~x1289616+8796093022208 ~x1289615+4398046511104 ~x1289614+2199023255552 ~x1289613+1099511627776 ~x1289612+549755813888 ~x1289611+274877906944 ~x1289610+137438953472 ~x1289609+68719476736 ~x1289608+34359738368 ~x1289607+17179869184 ~x1289606+8589934592 ~x1289605+4294967296 ~x1289604+2147483648 ~x1289603+1073741824 ~x1289602+536870912 ~x1289601+268435456 ~x1289600+134217728 ~x1289599+67108864 ~x1289598+33554432 ~x1289597+16777216 ~x1289596+8388608 ~x1289595+4194304 ~x1289594+2097152 ~x1289593+1048576 ~x1289592+524288 ~x1289591+262144 ~x1289590+131072 ~x1289589+65536 ~x1289588+32768 ~x1289587+16384 ~x1289586+8192 ~x1289585+4096 ~x1289584+2048 ~x1289583+1024 ~x1289582+512 ~x1289581+256 ~x1289580+128 ~x1289579+64 ~x1289578+32 ~x1289577+16 ~x1289576+8 ~x1289575+4 ~x1289574+2 ~x1289573+1 ~x1289572+27612688384 x14974+13806344192 x14973+6903172096 x14972+34570788864 ~x14470+17285394432 ~x14469+8642697216 ~x14468+536870912000000 ~x7651+268435456000000 ~x7650+134217728000000 ~x7649+67108864000000 ~x7648+33554432000000 ~x7647+16777216000000 ~x7646+8388608000000 ~x7645+4194304000000 ~x7644+2097152000000 ~x7643+1048576000000 ~x7642+524288000000 ~x7641+262144000000 ~x7640+131072000000 ~x7639+65536000000 ~x7638+32768000000 ~x7637+16384000000 ~x7636+8192000000 ~x7635+4096000000 ~x7634+2048000000 ~x7633+1024000000 ~x7632+512000000 ~x7631+256000000 ~x7630+128000000 ~x7629+64000000 ~x7628+32000000 ~x7627+16000000 ~x7626+8000000 ~x7625+4000000 ~x7624+2000000 ~x7623+1000000 ~x7622+182402429222912 x6931+91201214611456 x6930+45600607305728 x6929+22800303652864 x6928+11400151826432 x6927+5700075913216 x6926+2850037956608 x6925+1425018978304 x6924+712509489152 x6923+356254744576 x6922+178127372288 x6921+89063686144 x6920+44531843072 x6919+22265921536 x6918+11132960768 x6917+5566480384 x6916+2783240192 x6915+1391620096 x6914+695810048 x6913+347905024 x6912+173952512 x6911+86976256 x6910+43488128 x6909+21744064 x6908+10872032 x6907+5436016 x6906+2718008 x6905+1359004 x6904+679502 x6903+339751 x6902-0=2199702228723135
36.17/36.20	c 562949953421312 ~x1379700+281474976710656 ~x1379699+140737488355328 ~x1379698+70368744177664 ~x1379697+35184372088832 ~x1379696+17592186044416 ~x1379695+8796093022208 ~x1379694+4398046511104 ~x1379693+2199023255552 ~x1379692+1099511627776 ~x1379691+549755813888 ~x1379690+274877906944 ~x1379689+137438953472 ~x1379688+68719476736 ~x1379687+34359738368 ~x1379686+17179869184 ~x1379685+8589934592 ~x1379684+4294967296 ~x1379683+2147483648 ~x1379682+1073741824 ~x1379681+536870912 ~x1379680+268435456 ~x1379679+134217728 ~x1379678+67108864 ~x1379677+33554432 ~x1379676+16777216 ~x1379675+8388608 ~x1379674+4194304 ~x1379673+2097152 ~x1379672+1048576 ~x1379671+524288 ~x1379670+262144 ~x1379669+131072 ~x1379668+65536 ~x1379667+32768 ~x1379666+16384 ~x1379665+8192 ~x1379664+4096 ~x1379663+2048 ~x1379662+1024 ~x1379661+512 ~x1379660+256 ~x1379659+128 ~x1379658+64 ~x1379657+32 ~x1379656+16 ~x1379655+8 ~x1379654+4 ~x1379653+2 ~x1379652+1 ~x1379651+27612688384 x14977+13806344192 x14976+6903172096 x14975+34570788864 ~x14473+17285394432 ~x14472+8642697216 ~x14471+536870912000000 ~x7681+268435456000000 ~x7680+134217728000000 ~x7679+67108864000000 ~x7678+33554432000000 ~x7677+16777216000000 ~x7676+8388608000000 ~x7675+4194304000000 ~x7674+2097152000000 ~x7673+1048576000000 ~x7672+524288000000 ~x7671+262144000000 ~x7670+131072000000 ~x7669+65536000000 ~x7668+32768000000 ~x7667+16384000000 ~x7666+8192000000 ~x7665+4096000000 ~x7664+2048000000 ~x7663+1024000000 ~x7662+512000000 ~x7661+256000000 ~x7660+128000000 ~x7659+64000000 ~x7658+32000000 ~x7657+16000000 ~x7656+8000000 ~x7655+4000000 ~x7654+2000000 ~x7653+1000000 ~x7652+182402429222912 x6961+91201214611456 x6960+45600607305728 x6959+22800303652864 x6958+11400151826432 x6957+5700075913216 x6956+2850037956608 x6955+1425018978304 x6954+712509489152 x6953+356254744576 x6952+178127372288 x6951+89063686144 x6950+44531843072 x6949+22265921536 x6948+11132960768 x6947+5566480384 x6946+2783240192 x6945+1391620096 x6944+695810048 x6943+347905024 x6942+173952512 x6941+86976256 x6940+43488128 x6939+21744064 x6938+10872032 x6937+5436016 x6936+2718008 x6935+1359004 x6934+679502 x6933+339751 x6932-0=2199702228723135
38.06/38.13	c 562949953421312 ~x1469779+281474976710656 ~x1469778+140737488355328 ~x1469777+70368744177664 ~x1469776+35184372088832 ~x1469775+17592186044416 ~x1469774+8796093022208 ~x1469773+4398046511104 ~x1469772+2199023255552 ~x1469771+1099511627776 ~x1469770+549755813888 ~x1469769+274877906944 ~x1469768+137438953472 ~x1469767+68719476736 ~x1469766+34359738368 ~x1469765+17179869184 ~x1469764+8589934592 ~x1469763+4294967296 ~x1469762+2147483648 ~x1469761+1073741824 ~x1469760+536870912 ~x1469759+268435456 ~x1469758+134217728 ~x1469757+67108864 ~x1469756+33554432 ~x1469755+16777216 ~x1469754+8388608 ~x1469753+4194304 ~x1469752+2097152 ~x1469751+1048576 ~x1469750+524288 ~x1469749+262144 ~x1469748+131072 ~x1469747+65536 ~x1469746+32768 ~x1469745+16384 ~x1469744+8192 ~x1469743+4096 ~x1469742+2048 ~x1469741+1024 ~x1469740+512 ~x1469739+256 ~x1469738+128 ~x1469737+64 ~x1469736+32 ~x1469735+16 ~x1469734+8 ~x1469733+4 ~x1469732+2 ~x1469731+1 ~x1469730+27612688384 x14980+13806344192 x14979+6903172096 x14978+34570788864 ~x14476+17285394432 ~x14475+8642697216 ~x14474+536870912000000 ~x7711+268435456000000 ~x7710+134217728000000 ~x7709+67108864000000 ~x7708+33554432000000 ~x7707+16777216000000 ~x7706+8388608000000 ~x7705+4194304000000 ~x7704+2097152000000 ~x7703+1048576000000 ~x7702+524288000000 ~x7701+262144000000 ~x7700+131072000000 ~x7699+65536000000 ~x7698+32768000000 ~x7697+16384000000 ~x7696+8192000000 ~x7695+4096000000 ~x7694+2048000000 ~x7693+1024000000 ~x7692+512000000 ~x7691+256000000 ~x7690+128000000 ~x7689+64000000 ~x7688+32000000 ~x7687+16000000 ~x7686+8000000 ~x7685+4000000 ~x7684+2000000 ~x7683+1000000 ~x7682+182402429222912 x6991+91201214611456 x6990+45600607305728 x6989+22800303652864 x6988+11400151826432 x6987+5700075913216 x6986+2850037956608 x6985+1425018978304 x6984+712509489152 x6983+356254744576 x6982+178127372288 x6981+89063686144 x6980+44531843072 x6979+22265921536 x6978+11132960768 x6977+5566480384 x6976+2783240192 x6975+1391620096 x6974+695810048 x6973+347905024 x6972+173952512 x6971+86976256 x6970+43488128 x6969+21744064 x6968+10872032 x6967+5436016 x6966+2718008 x6965+1359004 x6964+679502 x6963+339751 x6962-0=2199702228723135
39.96/40.05	c 562949953421312 ~x1559858+281474976710656 ~x1559857+140737488355328 ~x1559856+70368744177664 ~x1559855+35184372088832 ~x1559854+17592186044416 ~x1559853+8796093022208 ~x1559852+4398046511104 ~x1559851+2199023255552 ~x1559850+1099511627776 ~x1559849+549755813888 ~x1559848+274877906944 ~x1559847+137438953472 ~x1559846+68719476736 ~x1559845+34359738368 ~x1559844+17179869184 ~x1559843+8589934592 ~x1559842+4294967296 ~x1559841+2147483648 ~x1559840+1073741824 ~x1559839+536870912 ~x1559838+268435456 ~x1559837+134217728 ~x1559836+67108864 ~x1559835+33554432 ~x1559834+16777216 ~x1559833+8388608 ~x1559832+4194304 ~x1559831+2097152 ~x1559830+1048576 ~x1559829+524288 ~x1559828+262144 ~x1559827+131072 ~x1559826+65536 ~x1559825+32768 ~x1559824+16384 ~x1559823+8192 ~x1559822+4096 ~x1559821+2048 ~x1559820+1024 ~x1559819+512 ~x1559818+256 ~x1559817+128 ~x1559816+64 ~x1559815+32 ~x1559814+16 ~x1559813+8 ~x1559812+4 ~x1559811+2 ~x1559810+1 ~x1559809+27612688384 x14983+13806344192 x14982+6903172096 x14981+34570788864 ~x14479+17285394432 ~x14478+8642697216 ~x14477+536870912000000 ~x7741+268435456000000 ~x7740+134217728000000 ~x7739+67108864000000 ~x7738+33554432000000 ~x7737+16777216000000 ~x7736+8388608000000 ~x7735+4194304000000 ~x7734+2097152000000 ~x7733+1048576000000 ~x7732+524288000000 ~x7731+262144000000 ~x7730+131072000000 ~x7729+65536000000 ~x7728+32768000000 ~x7727+16384000000 ~x7726+8192000000 ~x7725+4096000000 ~x7724+2048000000 ~x7723+1024000000 ~x7722+512000000 ~x7721+256000000 ~x7720+128000000 ~x7719+64000000 ~x7718+32000000 ~x7717+16000000 ~x7716+8000000 ~x7715+4000000 ~x7714+2000000 ~x7713+1000000 ~x7712+182402429222912 x7021+91201214611456 x7020+45600607305728 x7019+22800303652864 x7018+11400151826432 x7017+5700075913216 x7016+2850037956608 x7015+1425018978304 x7014+712509489152 x7013+356254744576 x7012+178127372288 x7011+89063686144 x7010+44531843072 x7009+22265921536 x7008+11132960768 x7007+5566480384 x7006+2783240192 x7005+1391620096 x7004+695810048 x7003+347905024 x7002+173952512 x7001+86976256 x7000+43488128 x6999+21744064 x6998+10872032 x6997+5436016 x6996+2718008 x6995+1359004 x6994+679502 x6993+339751 x6992-0=2199702228723135
41.96/42.00	c 562949953421312 ~x1649937+281474976710656 ~x1649936+140737488355328 ~x1649935+70368744177664 ~x1649934+35184372088832 ~x1649933+17592186044416 ~x1649932+8796093022208 ~x1649931+4398046511104 ~x1649930+2199023255552 ~x1649929+1099511627776 ~x1649928+549755813888 ~x1649927+274877906944 ~x1649926+137438953472 ~x1649925+68719476736 ~x1649924+34359738368 ~x1649923+17179869184 ~x1649922+8589934592 ~x1649921+4294967296 ~x1649920+2147483648 ~x1649919+1073741824 ~x1649918+536870912 ~x1649917+268435456 ~x1649916+134217728 ~x1649915+67108864 ~x1649914+33554432 ~x1649913+16777216 ~x1649912+8388608 ~x1649911+4194304 ~x1649910+2097152 ~x1649909+1048576 ~x1649908+524288 ~x1649907+262144 ~x1649906+131072 ~x1649905+65536 ~x1649904+32768 ~x1649903+16384 ~x1649902+8192 ~x1649901+4096 ~x1649900+2048 ~x1649899+1024 ~x1649898+512 ~x1649897+256 ~x1649896+128 ~x1649895+64 ~x1649894+32 ~x1649893+16 ~x1649892+8 ~x1649891+4 ~x1649890+2 ~x1649889+1 ~x1649888+27612688384 x14986+13806344192 x14985+6903172096 x14984+34570788864 ~x14482+17285394432 ~x14481+8642697216 ~x14480+536870912000000 ~x7771+268435456000000 ~x7770+134217728000000 ~x7769+67108864000000 ~x7768+33554432000000 ~x7767+16777216000000 ~x7766+8388608000000 ~x7765+4194304000000 ~x7764+2097152000000 ~x7763+1048576000000 ~x7762+524288000000 ~x7761+262144000000 ~x7760+131072000000 ~x7759+65536000000 ~x7758+32768000000 ~x7757+16384000000 ~x7756+8192000000 ~x7755+4096000000 ~x7754+2048000000 ~x7753+1024000000 ~x7752+512000000 ~x7751+256000000 ~x7750+128000000 ~x7749+64000000 ~x7748+32000000 ~x7747+16000000 ~x7746+8000000 ~x7745+4000000 ~x7744+2000000 ~x7743+1000000 ~x7742+182402429222912 x7051+91201214611456 x7050+45600607305728 x7049+22800303652864 x7048+11400151826432 x7047+5700075913216 x7046+2850037956608 x7045+1425018978304 x7044+712509489152 x7043+356254744576 x7042+178127372288 x7041+89063686144 x7040+44531843072 x7039+22265921536 x7038+11132960768 x7037+5566480384 x7036+2783240192 x7035+1391620096 x7034+695810048 x7033+347905024 x7032+173952512 x7031+86976256 x7030+43488128 x7029+21744064 x7028+10872032 x7027+5436016 x7026+2718008 x7025+1359004 x7024+679502 x7023+339751 x7022-0=2199702228723135
43.85/43.92	c 562949953421312 ~x1740016+281474976710656 ~x1740015+140737488355328 ~x1740014+70368744177664 ~x1740013+35184372088832 ~x1740012+17592186044416 ~x1740011+8796093022208 ~x1740010+4398046511104 ~x1740009+2199023255552 ~x1740008+1099511627776 ~x1740007+549755813888 ~x1740006+274877906944 ~x1740005+137438953472 ~x1740004+68719476736 ~x1740003+34359738368 ~x1740002+17179869184 ~x1740001+8589934592 ~x1740000+4294967296 ~x1739999+2147483648 ~x1739998+1073741824 ~x1739997+536870912 ~x1739996+268435456 ~x1739995+134217728 ~x1739994+67108864 ~x1739993+33554432 ~x1739992+16777216 ~x1739991+8388608 ~x1739990+4194304 ~x1739989+2097152 ~x1739988+1048576 ~x1739987+524288 ~x1739986+262144 ~x1739985+131072 ~x1739984+65536 ~x1739983+32768 ~x1739982+16384 ~x1739981+8192 ~x1739980+4096 ~x1739979+2048 ~x1739978+1024 ~x1739977+512 ~x1739976+256 ~x1739975+128 ~x1739974+64 ~x1739973+32 ~x1739972+16 ~x1739971+8 ~x1739970+4 ~x1739969+2 ~x1739968+1 ~x1739967+27612688384 x14989+13806344192 x14988+6903172096 x14987+34570788864 ~x14485+17285394432 ~x14484+8642697216 ~x14483+536870912000000 ~x7801+268435456000000 ~x7800+134217728000000 ~x7799+67108864000000 ~x7798+33554432000000 ~x7797+16777216000000 ~x7796+8388608000000 ~x7795+4194304000000 ~x7794+2097152000000 ~x7793+1048576000000 ~x7792+524288000000 ~x7791+262144000000 ~x7790+131072000000 ~x7789+65536000000 ~x7788+32768000000 ~x7787+16384000000 ~x7786+8192000000 ~x7785+4096000000 ~x7784+2048000000 ~x7783+1024000000 ~x7782+512000000 ~x7781+256000000 ~x7780+128000000 ~x7779+64000000 ~x7778+32000000 ~x7777+16000000 ~x7776+8000000 ~x7775+4000000 ~x7774+2000000 ~x7773+1000000 ~x7772+182402429222912 x7081+91201214611456 x7080+45600607305728 x7079+22800303652864 x7078+11400151826432 x7077+5700075913216 x7076+2850037956608 x7075+1425018978304 x7074+712509489152 x7073+356254744576 x7072+178127372288 x7071+89063686144 x7070+44531843072 x7069+22265921536 x7068+11132960768 x7067+5566480384 x7066+2783240192 x7065+1391620096 x7064+695810048 x7063+347905024 x7062+173952512 x7061+86976256 x7060+43488128 x7059+21744064 x7058+10872032 x7057+5436016 x7056+2718008 x7055+1359004 x7054+679502 x7053+339751 x7052-0=2199702228723135
45.76/45.86	c 562949953421312 ~x1830095+281474976710656 ~x1830094+140737488355328 ~x1830093+70368744177664 ~x1830092+35184372088832 ~x1830091+17592186044416 ~x1830090+8796093022208 ~x1830089+4398046511104 ~x1830088+2199023255552 ~x1830087+1099511627776 ~x1830086+549755813888 ~x1830085+274877906944 ~x1830084+137438953472 ~x1830083+68719476736 ~x1830082+34359738368 ~x1830081+17179869184 ~x1830080+8589934592 ~x1830079+4294967296 ~x1830078+2147483648 ~x1830077+1073741824 ~x1830076+536870912 ~x1830075+268435456 ~x1830074+134217728 ~x1830073+67108864 ~x1830072+33554432 ~x1830071+16777216 ~x1830070+8388608 ~x1830069+4194304 ~x1830068+2097152 ~x1830067+1048576 ~x1830066+524288 ~x1830065+262144 ~x1830064+131072 ~x1830063+65536 ~x1830062+32768 ~x1830061+16384 ~x1830060+8192 ~x1830059+4096 ~x1830058+2048 ~x1830057+1024 ~x1830056+512 ~x1830055+256 ~x1830054+128 ~x1830053+64 ~x1830052+32 ~x1830051+16 ~x1830050+8 ~x1830049+4 ~x1830048+2 ~x1830047+1 ~x1830046+27612688384 x14992+13806344192 x14991+6903172096 x14990+34570788864 ~x14488+17285394432 ~x14487+8642697216 ~x14486+536870912000000 ~x7831+268435456000000 ~x7830+134217728000000 ~x7829+67108864000000 ~x7828+33554432000000 ~x7827+16777216000000 ~x7826+8388608000000 ~x7825+4194304000000 ~x7824+2097152000000 ~x7823+1048576000000 ~x7822+524288000000 ~x7821+262144000000 ~x7820+131072000000 ~x7819+65536000000 ~x7818+32768000000 ~x7817+16384000000 ~x7816+8192000000 ~x7815+4096000000 ~x7814+2048000000 ~x7813+1024000000 ~x7812+512000000 ~x7811+256000000 ~x7810+128000000 ~x7809+64000000 ~x7808+32000000 ~x7807+16000000 ~x7806+8000000 ~x7805+4000000 ~x7804+2000000 ~x7803+1000000 ~x7802+182402429222912 x7111+91201214611456 x7110+45600607305728 x7109+22800303652864 x7108+11400151826432 x7107+5700075913216 x7106+2850037956608 x7105+1425018978304 x7104+712509489152 x7103+356254744576 x7102+178127372288 x7101+89063686144 x7100+44531843072 x7099+22265921536 x7098+11132960768 x7097+5566480384 x7096+2783240192 x7095+1391620096 x7094+695810048 x7093+347905024 x7092+173952512 x7091+86976256 x7090+43488128 x7089+21744064 x7088+10872032 x7087+5436016 x7086+2718008 x7085+1359004 x7084+679502 x7083+339751 x7082-0=2199702228723135
47.66/47.78	c 562949953421312 ~x1920174+281474976710656 ~x1920173+140737488355328 ~x1920172+70368744177664 ~x1920171+35184372088832 ~x1920170+17592186044416 ~x1920169+8796093022208 ~x1920168+4398046511104 ~x1920167+2199023255552 ~x1920166+1099511627776 ~x1920165+549755813888 ~x1920164+274877906944 ~x1920163+137438953472 ~x1920162+68719476736 ~x1920161+34359738368 ~x1920160+17179869184 ~x1920159+8589934592 ~x1920158+4294967296 ~x1920157+2147483648 ~x1920156+1073741824 ~x1920155+536870912 ~x1920154+268435456 ~x1920153+134217728 ~x1920152+67108864 ~x1920151+33554432 ~x1920150+16777216 ~x1920149+8388608 ~x1920148+4194304 ~x1920147+2097152 ~x1920146+1048576 ~x1920145+524288 ~x1920144+262144 ~x1920143+131072 ~x1920142+65536 ~x1920141+32768 ~x1920140+16384 ~x1920139+8192 ~x1920138+4096 ~x1920137+2048 ~x1920136+1024 ~x1920135+512 ~x1920134+256 ~x1920133+128 ~x1920132+64 ~x1920131+32 ~x1920130+16 ~x1920129+8 ~x1920128+4 ~x1920127+2 ~x1920126+1 ~x1920125+27612688384 x14995+13806344192 x14994+6903172096 x14993+34570788864 ~x14491+17285394432 ~x14490+8642697216 ~x14489+536870912000000 ~x7861+268435456000000 ~x7860+134217728000000 ~x7859+67108864000000 ~x7858+33554432000000 ~x7857+16777216000000 ~x7856+8388608000000 ~x7855+4194304000000 ~x7854+2097152000000 ~x7853+1048576000000 ~x7852+524288000000 ~x7851+262144000000 ~x7850+131072000000 ~x7849+65536000000 ~x7848+32768000000 ~x7847+16384000000 ~x7846+8192000000 ~x7845+4096000000 ~x7844+2048000000 ~x7843+1024000000 ~x7842+512000000 ~x7841+256000000 ~x7840+128000000 ~x7839+64000000 ~x7838+32000000 ~x7837+16000000 ~x7836+8000000 ~x7835+4000000 ~x7834+2000000 ~x7833+1000000 ~x7832+182402429222912 x7141+91201214611456 x7140+45600607305728 x7139+22800303652864 x7138+11400151826432 x7137+5700075913216 x7136+2850037956608 x7135+1425018978304 x7134+712509489152 x7133+356254744576 x7132+178127372288 x7131+89063686144 x7130+44531843072 x7129+22265921536 x7128+11132960768 x7127+5566480384 x7126+2783240192 x7125+1391620096 x7124+695810048 x7123+347905024 x7122+173952512 x7121+86976256 x7120+43488128 x7119+21744064 x7118+10872032 x7117+5436016 x7116+2718008 x7115+1359004 x7114+679502 x7113+339751 x7112-0=2199702228723135
49.65/49.73	c 562949953421312 ~x2010253+281474976710656 ~x2010252+140737488355328 ~x2010251+70368744177664 ~x2010250+35184372088832 ~x2010249+17592186044416 ~x2010248+8796093022208 ~x2010247+4398046511104 ~x2010246+2199023255552 ~x2010245+1099511627776 ~x2010244+549755813888 ~x2010243+274877906944 ~x2010242+137438953472 ~x2010241+68719476736 ~x2010240+34359738368 ~x2010239+17179869184 ~x2010238+8589934592 ~x2010237+4294967296 ~x2010236+2147483648 ~x2010235+1073741824 ~x2010234+536870912 ~x2010233+268435456 ~x2010232+134217728 ~x2010231+67108864 ~x2010230+33554432 ~x2010229+16777216 ~x2010228+8388608 ~x2010227+4194304 ~x2010226+2097152 ~x2010225+1048576 ~x2010224+524288 ~x2010223+262144 ~x2010222+131072 ~x2010221+65536 ~x2010220+32768 ~x2010219+16384 ~x2010218+8192 ~x2010217+4096 ~x2010216+2048 ~x2010215+1024 ~x2010214+512 ~x2010213+256 ~x2010212+128 ~x2010211+64 ~x2010210+32 ~x2010209+16 ~x2010208+8 ~x2010207+4 ~x2010206+2 ~x2010205+1 ~x2010204+27612688384 x14998+13806344192 x14997+6903172096 x14996+34570788864 ~x14494+17285394432 ~x14493+8642697216 ~x14492+536870912000000 ~x7891+268435456000000 ~x7890+134217728000000 ~x7889+67108864000000 ~x7888+33554432000000 ~x7887+16777216000000 ~x7886+8388608000000 ~x7885+4194304000000 ~x7884+2097152000000 ~x7883+1048576000000 ~x7882+524288000000 ~x7881+262144000000 ~x7880+131072000000 ~x7879+65536000000 ~x7878+32768000000 ~x7877+16384000000 ~x7876+8192000000 ~x7875+4096000000 ~x7874+2048000000 ~x7873+1024000000 ~x7872+512000000 ~x7871+256000000 ~x7870+128000000 ~x7869+64000000 ~x7868+32000000 ~x7867+16000000 ~x7866+8000000 ~x7865+4000000 ~x7864+2000000 ~x7863+1000000 ~x7862+182402429222912 x7171+91201214611456 x7170+45600607305728 x7169+22800303652864 x7168+11400151826432 x7167+5700075913216 x7166+2850037956608 x7165+1425018978304 x7164+712509489152 x7163+356254744576 x7162+178127372288 x7161+89063686144 x7160+44531843072 x7159+22265921536 x7158+11132960768 x7157+5566480384 x7156+2783240192 x7155+1391620096 x7154+695810048 x7153+347905024 x7152+173952512 x7151+86976256 x7150+43488128 x7149+21744064 x7148+10872032 x7147+5436016 x7146+2718008 x7145+1359004 x7144+679502 x7143+339751 x7142-0=2199702228723135
51.55/51.65	c 562949953421312 ~x2100332+281474976710656 ~x2100331+140737488355328 ~x2100330+70368744177664 ~x2100329+35184372088832 ~x2100328+17592186044416 ~x2100327+8796093022208 ~x2100326+4398046511104 ~x2100325+2199023255552 ~x2100324+1099511627776 ~x2100323+549755813888 ~x2100322+274877906944 ~x2100321+137438953472 ~x2100320+68719476736 ~x2100319+34359738368 ~x2100318+17179869184 ~x2100317+8589934592 ~x2100316+4294967296 ~x2100315+2147483648 ~x2100314+1073741824 ~x2100313+536870912 ~x2100312+268435456 ~x2100311+134217728 ~x2100310+67108864 ~x2100309+33554432 ~x2100308+16777216 ~x2100307+8388608 ~x2100306+4194304 ~x2100305+2097152 ~x2100304+1048576 ~x2100303+524288 ~x2100302+262144 ~x2100301+131072 ~x2100300+65536 ~x2100299+32768 ~x2100298+16384 ~x2100297+8192 ~x2100296+4096 ~x2100295+2048 ~x2100294+1024 ~x2100293+512 ~x2100292+256 ~x2100291+128 ~x2100290+64 ~x2100289+32 ~x2100288+16 ~x2100287+8 ~x2100286+4 ~x2100285+2 ~x2100284+1 ~x2100283+27612688384 x15001+13806344192 x15000+6903172096 x14999+34570788864 ~x14497+17285394432 ~x14496+8642697216 ~x14495+536870912000000 ~x7921+268435456000000 ~x7920+134217728000000 ~x7919+67108864000000 ~x7918+33554432000000 ~x7917+16777216000000 ~x7916+8388608000000 ~x7915+4194304000000 ~x7914+2097152000000 ~x7913+1048576000000 ~x7912+524288000000 ~x7911+262144000000 ~x7910+131072000000 ~x7909+65536000000 ~x7908+32768000000 ~x7907+16384000000 ~x7906+8192000000 ~x7905+4096000000 ~x7904+2048000000 ~x7903+1024000000 ~x7902+512000000 ~x7901+256000000 ~x7900+128000000 ~x7899+64000000 ~x7898+32000000 ~x7897+16000000 ~x7896+8000000 ~x7895+4000000 ~x7894+2000000 ~x7893+1000000 ~x7892+182402429222912 x7201+91201214611456 x7200+45600607305728 x7199+22800303652864 x7198+11400151826432 x7197+5700075913216 x7196+2850037956608 x7195+1425018978304 x7194+712509489152 x7193+356254744576 x7192+178127372288 x7191+89063686144 x7190+44531843072 x7189+22265921536 x7188+11132960768 x7187+5566480384 x7186+2783240192 x7185+1391620096 x7184+695810048 x7183+347905024 x7182+173952512 x7181+86976256 x7180+43488128 x7179+21744064 x7178+10872032 x7177+5436016 x7176+2718008 x7175+1359004 x7174+679502 x7173+339751 x7172-0=2199702228723135

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-2673796-1276800693/watcher-2673796-1276800693 -o /tmp/evaluation-result-2673796-1276800693/solver-2673796-1276800693 -C 1800 -W 2000 -M 1800 run HOME/instance-2673796-1276800693.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.98 1.02 0.99 3/105 22955
/proc/meminfo: memFree=1855916/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0

[startup+0.103386 s]
/proc/loadavg: 0.98 1.02 0.99 3/105 22955
/proc/meminfo: memFree=1855916/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201389 s]
/proc/loadavg: 0.98 1.02 0.99 3/105 22955
/proc/meminfo: memFree=1855916/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301398 s]
/proc/loadavg: 0.98 1.02 0.99 3/105 22955
/proc/meminfo: memFree=1855916/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701436 s]
/proc/loadavg: 0.98 1.02 0.99 3/105 22955
/proc/meminfo: memFree=1855916/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50151 s]
/proc/loadavg: 0.98 1.02 0.99 2/107 22958
/proc/meminfo: memFree=1695568/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
[pid=22957] ppid=22955 vsize=217988 CPUtime=1.49
/proc/22957/stat : 22957 (PBPASSolver) R 22955 22955 22785 0 -1 4202496 54390 0 0 0 56 93 0 0 25 0 1 0 21362810 223219712 53912 1992294400 134512640 134902295 4294600688 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22957/statm: 54497 53912 256 96 0 53709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226688

[startup+3.10168 s]
/proc/loadavg: 0.98 1.02 0.99 2/107 22958
/proc/meminfo: memFree=1536972/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
[pid=22957] ppid=22955 vsize=453060 CPUtime=3.08
/proc/22957/stat : 22957 (PBPASSolver) R 22955 22955 22785 0 -1 4202496 113160 0 0 0 128 180 0 0 25 0 1 0 21362810 463933440 112682 1992294400 134512640 134902295 4294600688 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22957/statm: 113265 112682 256 96 0 112477 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 461760

[startup+6.30098 s]
/proc/loadavg: 0.98 1.02 0.99 2/107 22958
/proc/meminfo: memFree=1184068/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
[pid=22957] ppid=22955 vsize=673476 CPUtime=6.28
/proc/22957/stat : 22957 (PBPASSolver) R 22955 22955 22785 0 -1 4202496 168217 0 0 0 392 236 0 0 25 0 1 0 21362810 689639424 167739 1992294400 134512640 134902295 4294600688 18446744073709551615 134893906 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22957/statm: 168369 167739 259 96 0 167581 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 682176

[startup+12.7016 s]
/proc/loadavg: 0.98 1.02 0.99 2/107 22958
/proc/meminfo: memFree=1173404/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
[pid=22957] ppid=22955 vsize=698504 CPUtime=12.67
/proc/22957/stat : 22957 (PBPASSolver) R 22955 22955 22785 0 -1 4202496 199315 0 0 0 1016 251 0 0 25 0 1 0 21362810 715268096 173046 1992294400 134512640 134902295 4294600688 18446744073709551615 5936636 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22957/statm: 174626 173046 262 96 0 173838 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 707204

[startup+25.5008 s]
/proc/loadavg: 0.98 1.02 0.99 2/107 22958
/proc/meminfo: memFree=932100/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
[pid=22957] ppid=22955 vsize=945020 CPUtime=25.47
/proc/22957/stat : 22957 (PBPASSolver) R 22955 22955 22785 0 -1 4202496 264039 0 0 0 2266 281 0 0 25 0 1 0 21362810 967700480 231460 1992294400 134512640 134902295 4294600688 18446744073709551615 134630983 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22957/statm: 236255 231460 262 96 0 235467 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 953720

[startup+51.1013 s]
/proc/loadavg: 0.99 1.02 0.99 2/107 22960
/proc/meminfo: memFree=454080/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
[pid=22957] ppid=22955 vsize=1443300 CPUtime=51.04
/proc/22957/stat : 22957 (PBPASSolver) R 22955 22955 22785 0 -1 4202496 393904 0 0 0 4768 336 0 0 25 0 1 0 21362810 1477939200 352040 1992294400 134512640 134902295 4294600688 18446744073709551615 134791371 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22957/statm: 360825 352040 262 96 0 360037 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 1452000



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+70.7012 s]
/proc/loadavg: 0.99 1.01 0.99 2/107 22960
/proc/meminfo: memFree=70052/2059040 swapFree=4140140/4192956
[pid=22955] ppid=22953 vsize=8700 CPUtime=0
/proc/22955/stat : 22955 (run) S 22953 22955 22785 0 -1 4202496 390 134 0 0 0 0 0 0 25 0 1 0 21362810 8908800 251 1992294400 4194304 4922060 140736078742064 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22955/statm: 2175 251 211 178 0 68 0
[pid=22957] ppid=22955 vsize=1835192 CPUtime=70.65
/proc/22957/stat : 22957 (PBPASSolver) R 22955 22955 22785 0 -1 4202496 488043 0 0 0 6684 381 0 0 25 0 1 0 21362810 1879236608 445667 1992294400 134512640 134902295 4294600688 18446744073709551615 134635627 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/22957/statm: 458798 445668 262 96 0 458010 0
Current children cumulated CPU time (s) 70.65
Current children cumulated vsize (KiB) 1843892

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 22955 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 70.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 70.7145
CPU time (s): 70.65
CPU user time (s): 66.84
CPU system time (s): 3.81
CPU usage (%): 99.9088
Max. virtual memory (cumulated for all children) (KiB): 1843892

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= 524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3

runsolver used 0.120981 second user time and 0.357945 second system time

The end

Begin job on node089 at 2010-06-17 20:51:33
IDJOB=2673796
IDBENCH=2545
IDSOLVER=1174
FILE ID=node089/2673796-1276800693
PBS_JOBID= 11176639
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 65c2bbddd90efb87154e28c84e06f5c3
RANDOM SEED=1170098311

node089.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.244
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.48
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.244
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	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1856312 kB
Buffers:         30584 kB
Cached:          82828 kB
SwapCached:       5700 kB
Active:          62400 kB
Inactive:        63292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1856312 kB
SwapTotal:     4192956 kB
SwapFree:      4140140 kB
Dirty:            1524 kB
Writeback:           0 kB
AnonPages:       10892 kB
Mapped:          12844 kB
Slab:            55388 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180268 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= 62548 MiB
End job on node089 at 2010-06-17 20:52:46