10.58/10.65	c 4602 30179 0 0 0 0 0 0
10.58/10.65	c 32 ~x4609+16 ~x4608+8 ~x4607+4 ~x4606+2 ~x4605+1 ~x4604+2 ~x25+3 ~x24+4 ~x23+4 ~x22+4 ~x21+4 ~x20+4 ~x19+4 ~x18+2 ~x17+2 ~x16+2 ~x15+2 ~x14+2 ~x13+2 ~x12+2 ~x11+2 ~x10+2 ~x9+3 ~x8+2 ~x7+2 ~x6+2 ~x5+4 ~x4+3 ~x3+2 ~x2-0=124
10.58/10.65	c 32 ~x5942+16 ~x5941+8 ~x5940+4 ~x5939+2 ~x5938+1 ~x5937+2 ~x49+3 ~x48+4 ~x47+4 ~x46+4 ~x45+4 ~x44+4 ~x43+4 ~x42+2 ~x41+2 ~x40+2 ~x39+2 ~x38+2 ~x37+2 ~x36+2 ~x35+2 ~x34+2 ~x33+3 ~x32+2 ~x31+2 ~x30+2 ~x29+4 ~x28+3 ~x27+2 ~x26-0=124
10.58/10.69	c 32 ~x7275+16 ~x7274+8 ~x7273+4 ~x7272+2 ~x7271+1 ~x7270+2 ~x73+3 ~x72+4 ~x71+4 ~x70+4 ~x69+4 ~x68+4 ~x67+4 ~x66+2 ~x65+2 ~x64+2 ~x63+2 ~x62+2 ~x61+2 ~x60+2 ~x59+2 ~x58+2 ~x57+3 ~x56+2 ~x55+2 ~x54+2 ~x53+4 ~x52+3 ~x51+2 ~x50-0=124
10.69/10.72	c 32 ~x8608+16 ~x8607+8 ~x8606+4 ~x8605+2 ~x8604+1 ~x8603+2 ~x97+3 ~x96+4 ~x95+4 ~x94+4 ~x93+4 ~x92+4 ~x91+4 ~x90+2 ~x89+2 ~x88+2 ~x87+2 ~x86+2 ~x85+2 ~x84+2 ~x83+2 ~x82+2 ~x81+3 ~x80+2 ~x79+2 ~x78+2 ~x77+4 ~x76+3 ~x75+2 ~x74-0=124
10.69/10.76	c 32 ~x9941+16 ~x9940+8 ~x9939+4 ~x9938+2 ~x9937+1 ~x9936+2 ~x121+3 ~x120+4 ~x119+4 ~x118+4 ~x117+4 ~x116+4 ~x115+4 ~x114+2 ~x113+2 ~x112+2 ~x111+2 ~x110+2 ~x109+2 ~x108+2 ~x107+2 ~x106+2 ~x105+3 ~x104+2 ~x103+2 ~x102+2 ~x101+4 ~x100+3 ~x99+2 ~x98-0=124
10.69/10.79	c 32 ~x11274+16 ~x11273+8 ~x11272+4 ~x11271+2 ~x11270+1 ~x11269+2 ~x145+3 ~x144+4 ~x143+4 ~x142+4 ~x141+4 ~x140+4 ~x139+4 ~x138+2 ~x137+2 ~x136+2 ~x135+2 ~x134+2 ~x133+2 ~x132+2 ~x131+2 ~x130+2 ~x129+3 ~x128+2 ~x127+2 ~x126+2 ~x125+4 ~x124+3 ~x123+2 ~x122-0=124
10.78/10.83	c 32 ~x12607+16 ~x12606+8 ~x12605+4 ~x12604+2 ~x12603+1 ~x12602+2 ~x169+3 ~x168+4 ~x167+4 ~x166+4 ~x165+4 ~x164+4 ~x163+4 ~x162+2 ~x161+2 ~x160+2 ~x159+2 ~x158+2 ~x157+2 ~x156+2 ~x155+2 ~x154+2 ~x153+3 ~x152+2 ~x151+2 ~x150+2 ~x149+4 ~x148+3 ~x147+2 ~x146-0=124
10.78/10.90	c 32 ~x13940+16 ~x13939+8 ~x13938+4 ~x13937+2 ~x13936+1 ~x13935+2 ~x193+3 ~x192+4 ~x191+4 ~x190+4 ~x189+4 ~x188+4 ~x187+4 ~x186+2 ~x185+2 ~x184+2 ~x183+2 ~x182+2 ~x181+2 ~x180+2 ~x179+2 ~x178+2 ~x177+3 ~x176+2 ~x175+2 ~x174+2 ~x173+4 ~x172+3 ~x171+2 ~x170-0=124
10.89/10.93	c 32 ~x15273+16 ~x15272+8 ~x15271+4 ~x15270+2 ~x15269+1 ~x15268+2 ~x217+3 ~x216+4 ~x215+4 ~x214+4 ~x213+4 ~x212+4 ~x211+4 ~x210+2 ~x209+2 ~x208+2 ~x207+2 ~x206+2 ~x205+2 ~x204+2 ~x203+2 ~x202+2 ~x201+3 ~x200+2 ~x199+2 ~x198+2 ~x197+4 ~x196+3 ~x195+2 ~x194-0=124
10.89/10.96	c 32 ~x16606+16 ~x16605+8 ~x16604+4 ~x16603+2 ~x16602+1 ~x16601+2 ~x241+3 ~x240+4 ~x239+4 ~x238+4 ~x237+4 ~x236+4 ~x235+4 ~x234+2 ~x233+2 ~x232+2 ~x231+2 ~x230+2 ~x229+2 ~x228+2 ~x227+2 ~x226+2 ~x225+3 ~x224+2 ~x223+2 ~x222+2 ~x221+4 ~x220+3 ~x219+2 ~x218-0=124
10.89/11.00	c 32 ~x17939+16 ~x17938+8 ~x17937+4 ~x17936+2 ~x17935+1 ~x17934+2 ~x265+3 ~x264+4 ~x263+4 ~x262+4 ~x261+4 ~x260+4 ~x259+4 ~x258+2 ~x257+2 ~x256+2 ~x255+2 ~x254+2 ~x253+2 ~x252+2 ~x251+2 ~x250+2 ~x249+3 ~x248+2 ~x247+2 ~x246+2 ~x245+4 ~x244+3 ~x243+2 ~x242-0=124
10.99/11.03	c 32 ~x19272+16 ~x19271+8 ~x19270+4 ~x19269+2 ~x19268+1 ~x19267+2 ~x289+3 ~x288+4 ~x287+4 ~x286+4 ~x285+4 ~x284+4 ~x283+4 ~x282+2 ~x281+2 ~x280+2 ~x279+2 ~x278+2 ~x277+2 ~x276+2 ~x275+2 ~x274+2 ~x273+3 ~x272+2 ~x271+2 ~x270+2 ~x269+4 ~x268+3 ~x267+2 ~x266-0=124
10.99/11.06	c 64 ~x20606+32 ~x20605+16 ~x20604+8 ~x20603+4 ~x20602+2 ~x20601+1 ~x20600+2 ~x318+3 ~x317+4 ~x316+5 ~x315+4 ~x314+4 ~x313+5 ~x312+7 ~x311+4 ~x310+4 ~x309+4 ~x308+2 ~x307+2 ~x306+2 ~x305+2 ~x304+2 ~x303+2 ~x302+2 ~x301+5 ~x300+2 ~x299+2 ~x298+3 ~x297+2 ~x296+2 ~x295+6 ~x294+2 ~x293+4 ~x292+3 ~x291+2 ~x290-0=212
11.08/11.12	c 64 ~x22419+32 ~x22418+16 ~x22417+8 ~x22416+4 ~x22415+2 ~x22414+1 ~x22413+2 ~x347+3 ~x346+4 ~x345+5 ~x344+4 ~x343+4 ~x342+5 ~x341+7 ~x340+4 ~x339+4 ~x338+4 ~x337+2 ~x336+2 ~x335+2 ~x334+2 ~x333+2 ~x332+2 ~x331+2 ~x330+5 ~x329+2 ~x328+2 ~x327+3 ~x326+2 ~x325+2 ~x324+6 ~x323+2 ~x322+4 ~x321+3 ~x320+2 ~x319-0=212
11.18/11.21	c 64 ~x24232+32 ~x24231+16 ~x24230+8 ~x24229+4 ~x24228+2 ~x24227+1 ~x24226+2 ~x376+3 ~x375+4 ~x374+5 ~x373+4 ~x372+4 ~x371+5 ~x370+7 ~x369+4 ~x368+4 ~x367+4 ~x366+2 ~x365+2 ~x364+2 ~x363+2 ~x362+2 ~x361+2 ~x360+2 ~x359+5 ~x358+2 ~x357+2 ~x356+3 ~x355+2 ~x354+2 ~x353+6 ~x352+2 ~x351+4 ~x350+3 ~x349+2 ~x348-0=212
11.18/11.25	c 64 ~x26045+32 ~x26044+16 ~x26043+8 ~x26042+4 ~x26041+2 ~x26040+1 ~x26039+2 ~x405+3 ~x404+4 ~x403+5 ~x402+4 ~x401+4 ~x400+5 ~x399+7 ~x398+4 ~x397+4 ~x396+4 ~x395+2 ~x394+2 ~x393+2 ~x392+2 ~x391+2 ~x390+2 ~x389+2 ~x388+5 ~x387+2 ~x386+2 ~x385+3 ~x384+2 ~x383+2 ~x382+6 ~x381+2 ~x380+4 ~x379+3 ~x378+2 ~x377-0=212
11.28/11.30	c 64 ~x27858+32 ~x27857+16 ~x27856+8 ~x27855+4 ~x27854+2 ~x27853+1 ~x27852+2 ~x434+3 ~x433+4 ~x432+5 ~x431+4 ~x430+4 ~x429+5 ~x428+7 ~x427+4 ~x426+4 ~x425+4 ~x424+2 ~x423+2 ~x422+2 ~x421+2 ~x420+2 ~x419+2 ~x418+2 ~x417+5 ~x416+2 ~x415+2 ~x414+3 ~x413+2 ~x412+2 ~x411+6 ~x410+2 ~x409+4 ~x408+3 ~x407+2 ~x406-0=212
11.28/11.34	c 64 ~x29671+32 ~x29670+16 ~x29669+8 ~x29668+4 ~x29667+2 ~x29666+1 ~x29665+2 ~x463+3 ~x462+4 ~x461+5 ~x460+4 ~x459+4 ~x458+5 ~x457+7 ~x456+4 ~x455+4 ~x454+4 ~x453+2 ~x452+2 ~x451+2 ~x450+2 ~x449+2 ~x448+2 ~x447+2 ~x446+5 ~x445+2 ~x444+2 ~x443+3 ~x442+2 ~x441+2 ~x440+6 ~x439+2 ~x438+4 ~x437+3 ~x436+2 ~x435-0=212
11.28/11.39	c 64 ~x31484+32 ~x31483+16 ~x31482+8 ~x31481+4 ~x31480+2 ~x31479+1 ~x31478+2 ~x492+3 ~x491+4 ~x490+5 ~x489+4 ~x488+4 ~x487+5 ~x486+7 ~x485+4 ~x484+4 ~x483+4 ~x482+2 ~x481+2 ~x480+2 ~x479+2 ~x478+2 ~x477+2 ~x476+2 ~x475+5 ~x474+2 ~x473+2 ~x472+3 ~x471+2 ~x470+2 ~x469+6 ~x468+2 ~x467+4 ~x466+3 ~x465+2 ~x464-0=212
11.38/11.43	c 64 ~x33297+32 ~x33296+16 ~x33295+8 ~x33294+4 ~x33293+2 ~x33292+1 ~x33291+2 ~x521+3 ~x520+4 ~x519+5 ~x518+4 ~x517+4 ~x516+5 ~x515+7 ~x514+4 ~x513+4 ~x512+4 ~x511+2 ~x510+2 ~x509+2 ~x508+2 ~x507+2 ~x506+2 ~x505+2 ~x504+5 ~x503+2 ~x502+2 ~x501+3 ~x500+2 ~x499+2 ~x498+6 ~x497+2 ~x496+4 ~x495+3 ~x494+2 ~x493-0=212
11.38/11.48	c 64 ~x35110+32 ~x35109+16 ~x35108+8 ~x35107+4 ~x35106+2 ~x35105+1 ~x35104+2 ~x550+3 ~x549+4 ~x548+5 ~x547+4 ~x546+4 ~x545+5 ~x544+7 ~x543+4 ~x542+4 ~x541+4 ~x540+2 ~x539+2 ~x538+2 ~x537+2 ~x536+2 ~x535+2 ~x534+2 ~x533+5 ~x532+2 ~x531+2 ~x530+3 ~x529+2 ~x528+2 ~x527+6 ~x526+2 ~x525+4 ~x524+3 ~x523+2 ~x522-0=212
11.48/11.52	c 64 ~x36923+32 ~x36922+16 ~x36921+8 ~x36920+4 ~x36919+2 ~x36918+1 ~x36917+2 ~x579+3 ~x578+4 ~x577+5 ~x576+4 ~x575+4 ~x574+5 ~x573+7 ~x572+4 ~x571+4 ~x570+4 ~x569+2 ~x568+2 ~x567+2 ~x566+2 ~x565+2 ~x564+2 ~x563+2 ~x562+5 ~x561+2 ~x560+2 ~x559+3 ~x558+2 ~x557+2 ~x556+6 ~x555+2 ~x554+4 ~x553+3 ~x552+2 ~x551-0=212
11.48/11.57	c 64 ~x38736+32 ~x38735+16 ~x38734+8 ~x38733+4 ~x38732+2 ~x38731+1 ~x38730+2 ~x608+3 ~x607+4 ~x606+5 ~x605+4 ~x604+4 ~x603+5 ~x602+7 ~x601+4 ~x600+4 ~x599+4 ~x598+2 ~x597+2 ~x596+2 ~x595+2 ~x594+2 ~x593+2 ~x592+2 ~x591+5 ~x590+2 ~x589+2 ~x588+3 ~x587+2 ~x586+2 ~x585+6 ~x584+2 ~x583+4 ~x582+3 ~x581+2 ~x580-0=212
11.58/11.61	c 64 ~x40549+32 ~x40548+16 ~x40547+8 ~x40546+4 ~x40545+2 ~x40544+1 ~x40543+2 ~x637+3 ~x636+4 ~x635+5 ~x634+4 ~x633+4 ~x632+5 ~x631+7 ~x630+4 ~x629+4 ~x628+4 ~x627+2 ~x626+2 ~x625+2 ~x624+2 ~x623+2 ~x622+2 ~x621+2 ~x620+5 ~x619+2 ~x618+2 ~x617+3 ~x616+2 ~x615+2 ~x614+6 ~x613+2 ~x612+4 ~x611+3 ~x610+2 ~x609-0=212
11.58/11.66	c 64 ~x42362+32 ~x42361+16 ~x42360+8 ~x42359+4 ~x42358+2 ~x42357+1 ~x42356+2 ~x666+3 ~x665+4 ~x664+5 ~x663+4 ~x662+4 ~x661+5 ~x660+7 ~x659+4 ~x658+4 ~x657+4 ~x656+2 ~x655+2 ~x654+2 ~x653+2 ~x652+2 ~x651+2 ~x650+2 ~x649+5 ~x648+2 ~x647+2 ~x646+3 ~x645+2 ~x644+2 ~x643+6 ~x642+2 ~x641+4 ~x640+3 ~x639+2 ~x638-0=212
11.68/11.71	c 64 ~x44175+32 ~x44174+16 ~x44173+8 ~x44172+4 ~x44171+2 ~x44170+1 ~x44169+2 ~x695+3 ~x694+4 ~x693+5 ~x692+4 ~x691+4 ~x690+5 ~x689+7 ~x688+4 ~x687+4 ~x686+4 ~x685+2 ~x684+2 ~x683+2 ~x682+2 ~x681+2 ~x680+2 ~x679+2 ~x678+5 ~x677+2 ~x676+2 ~x675+3 ~x674+2 ~x673+2 ~x672+6 ~x671+2 ~x670+4 ~x669+3 ~x668+2 ~x667-0=212
11.68/11.75	c 64 ~x45988+32 ~x45987+16 ~x45986+8 ~x45985+4 ~x45984+2 ~x45983+1 ~x45982+2 ~x724+3 ~x723+4 ~x722+5 ~x721+4 ~x720+4 ~x719+5 ~x718+7 ~x717+4 ~x716+4 ~x715+4 ~x714+2 ~x713+2 ~x712+2 ~x711+2 ~x710+2 ~x709+2 ~x708+2 ~x707+5 ~x706+2 ~x705+2 ~x704+3 ~x703+2 ~x702+2 ~x701+6 ~x700+2 ~x699+4 ~x698+3 ~x697+2 ~x696-0=212
11.78/11.80	c 64 ~x47801+32 ~x47800+16 ~x47799+8 ~x47798+4 ~x47797+2 ~x47796+1 ~x47795+2 ~x753+3 ~x752+4 ~x751+5 ~x750+4 ~x749+4 ~x748+5 ~x747+7 ~x746+4 ~x745+4 ~x744+4 ~x743+2 ~x742+2 ~x741+2 ~x740+2 ~x739+2 ~x738+2 ~x737+2 ~x736+5 ~x735+2 ~x734+2 ~x733+3 ~x732+2 ~x731+2 ~x730+6 ~x729+2 ~x728+4 ~x727+3 ~x726+2 ~x725-0=212
11.78/11.84	c 64 ~x49614+32 ~x49613+16 ~x49612+8 ~x49611+4 ~x49610+2 ~x49609+1 ~x49608+2 ~x782+3 ~x781+4 ~x780+5 ~x779+4 ~x778+4 ~x777+5 ~x776+7 ~x775+4 ~x774+4 ~x773+4 ~x772+2 ~x771+2 ~x770+2 ~x769+2 ~x768+2 ~x767+2 ~x766+2 ~x765+5 ~x764+2 ~x763+2 ~x762+3 ~x761+2 ~x760+2 ~x759+6 ~x758+2 ~x757+4 ~x756+3 ~x755+2 ~x754-0=212
11.78/11.89	c 64 ~x51427+32 ~x51426+16 ~x51425+8 ~x51424+4 ~x51423+2 ~x51422+1 ~x51421+2 ~x811+3 ~x810+4 ~x809+5 ~x808+4 ~x807+4 ~x806+5 ~x805+7 ~x804+4 ~x803+4 ~x802+4 ~x801+2 ~x800+2 ~x799+2 ~x798+2 ~x797+2 ~x796+2 ~x795+2 ~x794+5 ~x793+2 ~x792+2 ~x791+3 ~x790+2 ~x789+2 ~x788+6 ~x787+2 ~x786+4 ~x785+3 ~x784+2 ~x783-0=212
11.88/11.93	c 64 ~x53240+32 ~x53239+16 ~x53238+8 ~x53237+4 ~x53236+2 ~x53235+1 ~x53234+2 ~x840+3 ~x839+4 ~x838+5 ~x837+4 ~x836+4 ~x835+5 ~x834+7 ~x833+4 ~x832+4 ~x831+4 ~x830+2 ~x829+2 ~x828+2 ~x827+2 ~x826+2 ~x825+2 ~x824+2 ~x823+5 ~x822+2 ~x821+2 ~x820+3 ~x819+2 ~x818+2 ~x817+6 ~x816+2 ~x815+4 ~x814+3 ~x813+2 ~x812-0=211
11.88/11.98	c 64 ~x55053+32 ~x55052+16 ~x55051+8 ~x55050+4 ~x55049+2 ~x55048+1 ~x55047+2 ~x869+3 ~x868+4 ~x867+5 ~x866+4 ~x865+4 ~x864+5 ~x863+7 ~x862+4 ~x861+4 ~x860+4 ~x859+2 ~x858+2 ~x857+2 ~x856+2 ~x855+2 ~x854+2 ~x853+2 ~x852+5 ~x851+2 ~x850+2 ~x849+3 ~x848+2 ~x847+2 ~x846+6 ~x845+2 ~x844+4 ~x843+3 ~x842+2 ~x841-0=211
11.98/12.02	c 64 ~x56866+32 ~x56865+16 ~x56864+8 ~x56863+4 ~x56862+2 ~x56861+1 ~x56860+2 ~x898+3 ~x897+4 ~x896+5 ~x895+4 ~x894+4 ~x893+5 ~x892+7 ~x891+4 ~x890+4 ~x889+4 ~x888+2 ~x887+2 ~x886+2 ~x885+2 ~x884+2 ~x883+2 ~x882+2 ~x881+5 ~x880+2 ~x879+2 ~x878+3 ~x877+2 ~x876+2 ~x875+6 ~x874+2 ~x873+4 ~x872+3 ~x871+2 ~x870-0=211
11.98/12.07	c 64 ~x58679+32 ~x58678+16 ~x58677+8 ~x58676+4 ~x58675+2 ~x58674+1 ~x58673+2 ~x927+3 ~x926+4 ~x925+5 ~x924+4 ~x923+4 ~x922+5 ~x921+7 ~x920+4 ~x919+4 ~x918+4 ~x917+2 ~x916+2 ~x915+2 ~x914+2 ~x913+2 ~x912+2 ~x911+2 ~x910+5 ~x909+2 ~x908+2 ~x907+3 ~x906+2 ~x905+2 ~x904+6 ~x903+2 ~x902+4 ~x901+3 ~x900+2 ~x899-0=211
12.08/12.11	c 64 ~x60492+32 ~x60491+16 ~x60490+8 ~x60489+4 ~x60488+2 ~x60487+1 ~x60486+2 ~x956+3 ~x955+4 ~x954+5 ~x953+4 ~x952+4 ~x951+5 ~x950+7 ~x949+4 ~x948+4 ~x947+4 ~x946+2 ~x945+2 ~x944+2 ~x943+2 ~x942+2 ~x941+2 ~x940+2 ~x939+5 ~x938+2 ~x937+2 ~x936+3 ~x935+2 ~x934+2 ~x933+6 ~x932+2 ~x931+4 ~x930+3 ~x929+2 ~x928-0=211
12.08/12.16	c 64 ~x62305+32 ~x62304+16 ~x62303+8 ~x62302+4 ~x62301+2 ~x62300+1 ~x62299+2 ~x985+3 ~x984+4 ~x983+5 ~x982+4 ~x981+4 ~x980+5 ~x979+7 ~x978+4 ~x977+4 ~x976+4 ~x975+2 ~x974+2 ~x973+2 ~x972+2 ~x971+2 ~x970+2 ~x969+2 ~x968+5 ~x967+2 ~x966+2 ~x965+3 ~x964+2 ~x963+2 ~x962+6 ~x961+2 ~x960+4 ~x959+3 ~x958+2 ~x957-0=211
12.18/12.21	c 64 ~x64118+32 ~x64117+16 ~x64116+8 ~x64115+4 ~x64114+2 ~x64113+1 ~x64112+2 ~x1014+3 ~x1013+4 ~x1012+5 ~x1011+4 ~x1010+4 ~x1009+5 ~x1008+7 ~x1007+4 ~x1006+4 ~x1005+4 ~x1004+2 ~x1003+2 ~x1002+2 ~x1001+2 ~x1000+2 ~x999+2 ~x998+2 ~x997+5 ~x996+2 ~x995+2 ~x994+3 ~x993+2 ~x992+2 ~x991+6 ~x990+2 ~x989+4 ~x988+3 ~x987+2 ~x986-0=212
12.18/12.25	c 64 ~x65931+32 ~x65930+16 ~x65929+8 ~x65928+4 ~x65927+2 ~x65926+1 ~x65925+2 ~x1043+3 ~x1042+4 ~x1041+5 ~x1040+4 ~x1039+4 ~x1038+5 ~x1037+7 ~x1036+4 ~x1035+4 ~x1034+4 ~x1033+2 ~x1032+2 ~x1031+2 ~x1030+2 ~x1029+2 ~x1028+2 ~x1027+2 ~x1026+5 ~x1025+2 ~x1024+2 ~x1023+3 ~x1022+2 ~x1021+2 ~x1020+6 ~x1019+2 ~x1018+4 ~x1017+3 ~x1016+2 ~x1015-0=212
12.18/12.30	c 64 ~x67744+32 ~x67743+16 ~x67742+8 ~x67741+4 ~x67740+2 ~x67739+1 ~x67738+2 ~x1072+3 ~x1071+4 ~x1070+5 ~x1069+4 ~x1068+4 ~x1067+5 ~x1066+7 ~x1065+4 ~x1064+4 ~x1063+4 ~x1062+2 ~x1061+2 ~x1060+2 ~x1059+2 ~x1058+2 ~x1057+2 ~x1056+2 ~x1055+5 ~x1054+2 ~x1053+2 ~x1052+3 ~x1051+2 ~x1050+2 ~x1049+6 ~x1048+2 ~x1047+4 ~x1046+3 ~x1045+2 ~x1044-0=212
12.28/12.34	c 64 ~x69557+32 ~x69556+16 ~x69555+8 ~x69554+4 ~x69553+2 ~x69552+1 ~x69551+2 ~x1101+3 ~x1100+4 ~x1099+5 ~x1098+4 ~x1097+4 ~x1096+5 ~x1095+7 ~x1094+4 ~x1093+4 ~x1092+4 ~x1091+2 ~x1090+2 ~x1089+2 ~x1088+2 ~x1087+2 ~x1086+2 ~x1085+2 ~x1084+5 ~x1083+2 ~x1082+2 ~x1081+3 ~x1080+2 ~x1079+2 ~x1078+6 ~x1077+2 ~x1076+4 ~x1075+3 ~x1074+2 ~x1073-0=212
12.28/12.39	c 64 ~x71370+32 ~x71369+16 ~x71368+8 ~x71367+4 ~x71366+2 ~x71365+1 ~x71364+2 ~x1130+3 ~x1129+4 ~x1128+5 ~x1127+4 ~x1126+4 ~x1125+5 ~x1124+7 ~x1123+4 ~x1122+4 ~x1121+4 ~x1120+2 ~x1119+2 ~x1118+2 ~x1117+2 ~x1116+2 ~x1115+2 ~x1114+2 ~x1113+5 ~x1112+2 ~x1111+2 ~x1110+3 ~x1109+2 ~x1108+2 ~x1107+6 ~x1106+2 ~x1105+4 ~x1104+3 ~x1103+2 ~x1102-0=212
12.38/12.44	c 64 ~x73183+32 ~x73182+16 ~x73181+8 ~x73180+4 ~x73179+2 ~x73178+1 ~x73177+2 ~x1159+3 ~x1158+4 ~x1157+5 ~x1156+4 ~x1155+4 ~x1154+5 ~x1153+7 ~x1152+4 ~x1151+4 ~x1150+4 ~x1149+2 ~x1148+2 ~x1147+2 ~x1146+2 ~x1145+2 ~x1144+2 ~x1143+2 ~x1142+5 ~x1141+2 ~x1140+2 ~x1139+3 ~x1138+2 ~x1137+2 ~x1136+6 ~x1135+2 ~x1134+4 ~x1133+3 ~x1132+2 ~x1131-0=212
12.38/12.48	c 64 ~x74996+32 ~x74995+16 ~x74994+8 ~x74993+4 ~x74992+2 ~x74991+1 ~x74990+2 ~x1188+3 ~x1187+4 ~x1186+5 ~x1185+4 ~x1184+4 ~x1183+5 ~x1182+7 ~x1181+4 ~x1180+4 ~x1179+4 ~x1178+2 ~x1177+2 ~x1176+2 ~x1175+2 ~x1174+2 ~x1173+2 ~x1172+2 ~x1171+5 ~x1170+2 ~x1169+2 ~x1168+3 ~x1167+2 ~x1166+2 ~x1165+6 ~x1164+2 ~x1163+4 ~x1162+3 ~x1161+2 ~x1160-0=212
12.48/12.53	c 64 ~x76809+32 ~x76808+16 ~x76807+8 ~x76806+4 ~x76805+2 ~x76804+1 ~x76803+2 ~x1217+3 ~x1216+4 ~x1215+5 ~x1214+4 ~x1213+4 ~x1212+5 ~x1211+7 ~x1210+4 ~x1209+4 ~x1208+4 ~x1207+2 ~x1206+2 ~x1205+2 ~x1204+2 ~x1203+2 ~x1202+2 ~x1201+2 ~x1200+5 ~x1199+2 ~x1198+2 ~x1197+3 ~x1196+2 ~x1195+2 ~x1194+6 ~x1193+2 ~x1192+4 ~x1191+3 ~x1190+2 ~x1189-0=212
12.48/12.58	c 64 ~x78622+32 ~x78621+16 ~x78620+8 ~x78619+4 ~x78618+2 ~x78617+1 ~x78616+2 ~x1246+3 ~x1245+4 ~x1244+5 ~x1243+4 ~x1242+4 ~x1241+5 ~x1240+7 ~x1239+4 ~x1238+4 ~x1237+4 ~x1236+2 ~x1235+2 ~x1234+2 ~x1233+2 ~x1232+2 ~x1231+2 ~x1230+2 ~x1229+5 ~x1228+2 ~x1227+2 ~x1226+3 ~x1225+2 ~x1224+2 ~x1223+6 ~x1222+2 ~x1221+4 ~x1220+3 ~x1219+2 ~x1218-0=212
12.58/12.63	c 64 ~x80435+32 ~x80434+16 ~x80433+8 ~x80432+4 ~x80431+2 ~x80430+1 ~x80429+2 ~x1275+3 ~x1274+4 ~x1273+5 ~x1272+4 ~x1271+4 ~x1270+5 ~x1269+7 ~x1268+4 ~x1267+4 ~x1266+4 ~x1265+2 ~x1264+2 ~x1263+2 ~x1262+2 ~x1261+2 ~x1260+2 ~x1259+2 ~x1258+5 ~x1257+2 ~x1256+2 ~x1255+3 ~x1254+2 ~x1253+2 ~x1252+6 ~x1251+2 ~x1250+4 ~x1249+3 ~x1248+2 ~x1247-0=212
12.58/12.67	c 64 ~x82248+32 ~x82247+16 ~x82246+8 ~x82245+4 ~x82244+2 ~x82243+1 ~x82242+2 ~x1304+3 ~x1303+4 ~x1302+5 ~x1301+4 ~x1300+4 ~x1299+5 ~x1298+7 ~x1297+4 ~x1296+4 ~x1295+4 ~x1294+2 ~x1293+2 ~x1292+2 ~x1291+2 ~x1290+2 ~x1289+2 ~x1288+2 ~x1287+5 ~x1286+2 ~x1285+2 ~x1284+3 ~x1283+2 ~x1282+2 ~x1281+6 ~x1280+2 ~x1279+4 ~x1278+3 ~x1277+2 ~x1276-0=212
12.68/12.72	c 64 ~x84061+32 ~x84060+16 ~x84059+8 ~x84058+4 ~x84057+2 ~x84056+1 ~x84055+2 ~x1333+3 ~x1332+4 ~x1331+5 ~x1330+4 ~x1329+4 ~x1328+5 ~x1327+7 ~x1326+4 ~x1325+4 ~x1324+4 ~x1323+2 ~x1322+2 ~x1321+2 ~x1320+2 ~x1319+2 ~x1318+2 ~x1317+2 ~x1316+5 ~x1315+2 ~x1314+2 ~x1313+3 ~x1312+2 ~x1311+2 ~x1310+6 ~x1309+2 ~x1308+4 ~x1307+3 ~x1306+2 ~x1305-0=212
12.68/12.77	c 64 ~x85874+32 ~x85873+16 ~x85872+8 ~x85871+4 ~x85870+2 ~x85869+1 ~x85868+2 ~x1362+3 ~x1361+4 ~x1360+5 ~x1359+4 ~x1358+4 ~x1357+5 ~x1356+7 ~x1355+4 ~x1354+4 ~x1353+4 ~x1352+2 ~x1351+2 ~x1350+2 ~x1349+2 ~x1348+2 ~x1347+2 ~x1346+2 ~x1345+5 ~x1344+2 ~x1343+2 ~x1342+3 ~x1341+2 ~x1340+2 ~x1339+6 ~x1338+2 ~x1337+4 ~x1336+3 ~x1335+2 ~x1334-0=212
12.78/12.82	c 64 ~x87687+32 ~x87686+16 ~x87685+8 ~x87684+4 ~x87683+2 ~x87682+1 ~x87681+2 ~x1391+3 ~x1390+4 ~x1389+5 ~x1388+4 ~x1387+4 ~x1386+5 ~x1385+7 ~x1384+4 ~x1383+4 ~x1382+4 ~x1381+2 ~x1380+2 ~x1379+2 ~x1378+2 ~x1377+2 ~x1376+2 ~x1375+2 ~x1374+5 ~x1373+2 ~x1372+2 ~x1371+3 ~x1370+2 ~x1369+2 ~x1368+6 ~x1367+2 ~x1366+4 ~x1365+3 ~x1364+2 ~x1363-0=212
12.78/12.86	c 64 ~x89500+32 ~x89499+16 ~x89498+8 ~x89497+4 ~x89496+2 ~x89495+1 ~x89494+2 ~x1420+3 ~x1419+4 ~x1418+5 ~x1417+4 ~x1416+4 ~x1415+5 ~x1414+7 ~x1413+4 ~x1412+4 ~x1411+4 ~x1410+2 ~x1409+2 ~x1408+2 ~x1407+2 ~x1406+2 ~x1405+2 ~x1404+2 ~x1403+5 ~x1402+2 ~x1401+2 ~x1400+3 ~x1399+2 ~x1398+2 ~x1397+6 ~x1396+2 ~x1395+4 ~x1394+3 ~x1393+2 ~x1392-0=212
12.88/12.91	c 64 ~x91313+32 ~x91312+16 ~x91311+8 ~x91310+4 ~x91309+2 ~x91308+1 ~x91307+2 ~x1449+3 ~x1448+4 ~x1447+5 ~x1446+4 ~x1445+4 ~x1444+5 ~x1443+7 ~x1442+4 ~x1441+4 ~x1440+4 ~x1439+2 ~x1438+2 ~x1437+2 ~x1436+2 ~x1435+2 ~x1434+2 ~x1433+2 ~x1432+5 ~x1431+2 ~x1430+2 ~x1429+3 ~x1428+2 ~x1427+2 ~x1426+6 ~x1425+2 ~x1424+4 ~x1423+3 ~x1422+2 ~x1421-0=212
12.88/12.96	c 64 ~x93126+32 ~x93125+16 ~x93124+8 ~x93123+4 ~x93122+2 ~x93121+1 ~x93120+2 ~x1478+3 ~x1477+4 ~x1476+5 ~x1475+4 ~x1474+4 ~x1473+5 ~x1472+7 ~x1471+4 ~x1470+4 ~x1469+4 ~x1468+2 ~x1467+2 ~x1466+2 ~x1465+2 ~x1464+2 ~x1463+2 ~x1462+2 ~x1461+5 ~x1460+2 ~x1459+2 ~x1458+3 ~x1457+2 ~x1456+2 ~x1455+6 ~x1454+2 ~x1453+4 ~x1452+3 ~x1451+2 ~x1450-0=212
12.98/13.00	c 64 ~x94939+32 ~x94938+16 ~x94937+8 ~x94936+4 ~x94935+2 ~x94934+1 ~x94933+2 ~x1507+3 ~x1506+4 ~x1505+5 ~x1504+4 ~x1503+4 ~x1502+5 ~x1501+7 ~x1500+4 ~x1499+4 ~x1498+4 ~x1497+2 ~x1496+2 ~x1495+2 ~x1494+2 ~x1493+2 ~x1492+2 ~x1491+2 ~x1490+5 ~x1489+2 ~x1488+2 ~x1487+3 ~x1486+2 ~x1485+2 ~x1484+6 ~x1483+2 ~x1482+4 ~x1481+3 ~x1480+2 ~x1479-0=212
12.98/13.05	c 64 ~x96752+32 ~x96751+16 ~x96750+8 ~x96749+4 ~x96748+2 ~x96747+1 ~x96746+2 ~x1536+3 ~x1535+4 ~x1534+5 ~x1533+4 ~x1532+4 ~x1531+5 ~x1530+7 ~x1529+4 ~x1528+4 ~x1527+4 ~x1526+2 ~x1525+2 ~x1524+2 ~x1523+2 ~x1522+2 ~x1521+2 ~x1520+2 ~x1519+5 ~x1518+2 ~x1517+2 ~x1516+3 ~x1515+2 ~x1514+2 ~x1513+6 ~x1512+2 ~x1511+4 ~x1510+3 ~x1509+2 ~x1508-0=210
12.98/13.09	c 64 ~x98565+32 ~x98564+16 ~x98563+8 ~x98562+4 ~x98561+2 ~x98560+1 ~x98559+2 ~x1565+3 ~x1564+4 ~x1563+5 ~x1562+4 ~x1561+4 ~x1560+5 ~x1559+7 ~x1558+4 ~x1557+4 ~x1556+4 ~x1555+2 ~x1554+2 ~x1553+2 ~x1552+2 ~x1551+2 ~x1550+2 ~x1549+2 ~x1548+5 ~x1547+2 ~x1546+2 ~x1545+3 ~x1544+2 ~x1543+2 ~x1542+6 ~x1541+2 ~x1540+4 ~x1539+3 ~x1538+2 ~x1537-0=210
13.09/13.14	c 64 ~x100378+32 ~x100377+16 ~x100376+8 ~x100375+4 ~x100374+2 ~x100373+1 ~x100372+2 ~x1594+3 ~x1593+4 ~x1592+5 ~x1591+4 ~x1590+4 ~x1589+5 ~x1588+7 ~x1587+4 ~x1586+4 ~x1585+4 ~x1584+2 ~x1583+2 ~x1582+2 ~x1581+2 ~x1580+2 ~x1579+2 ~x1578+2 ~x1577+5 ~x1576+2 ~x1575+2 ~x1574+3 ~x1573+2 ~x1572+2 ~x1571+6 ~x1570+2 ~x1569+4 ~x1568+3 ~x1567+2 ~x1566-0=210
13.09/13.18	c 64 ~x102191+32 ~x102190+16 ~x102189+8 ~x102188+4 ~x102187+2 ~x102186+1 ~x102185+2 ~x1623+3 ~x1622+4 ~x1621+5 ~x1620+4 ~x1619+4 ~x1618+5 ~x1617+7 ~x1616+4 ~x1615+4 ~x1614+4 ~x1613+2 ~x1612+2 ~x1611+2 ~x1610+2 ~x1609+2 ~x1608+2 ~x1607+2 ~x1606+5 ~x1605+2 ~x1604+2 ~x1603+3 ~x1602+2 ~x1601+2 ~x1600+6 ~x1599+2 ~x1598+4 ~x1597+3 ~x1596+2 ~x1595-0=210
13.19/13.23	c 64 ~x104004+32 ~x104003+16 ~x104002+8 ~x104001+4 ~x104000+2 ~x103999+1 ~x103998+2 ~x1652+3 ~x1651+4 ~x1650+5 ~x1649+4 ~x1648+4 ~x1647+5 ~x1646+7 ~x1645+4 ~x1644+4 ~x1643+4 ~x1642+2 ~x1641+2 ~x1640+2 ~x1639+2 ~x1638+2 ~x1637+2 ~x1636+2 ~x1635+5 ~x1634+2 ~x1633+2 ~x1632+3 ~x1631+2 ~x1630+2 ~x1629+6 ~x1628+2 ~x1627+4 ~x1626+3 ~x1625+2 ~x1624-0=210
13.19/13.28	c 64 ~x105817+32 ~x105816+16 ~x105815+8 ~x105814+4 ~x105813+2 ~x105812+1 ~x105811+2 ~x1681+3 ~x1680+4 ~x1679+5 ~x1678+4 ~x1677+4 ~x1676+5 ~x1675+7 ~x1674+4 ~x1673+4 ~x1672+4 ~x1671+2 ~x1670+2 ~x1669+2 ~x1668+2 ~x1667+2 ~x1666+2 ~x1665+2 ~x1664+5 ~x1663+2 ~x1662+2 ~x1661+3 ~x1660+2 ~x1659+2 ~x1658+6 ~x1657+2 ~x1656+4 ~x1655+3 ~x1654+2 ~x1653-0=210
13.28/13.32	c 64 ~x107630+32 ~x107629+16 ~x107628+8 ~x107627+4 ~x107626+2 ~x107625+1 ~x107624+2 ~x1710+3 ~x1709+4 ~x1708+5 ~x1707+4 ~x1706+4 ~x1705+5 ~x1704+7 ~x1703+4 ~x1702+4 ~x1701+4 ~x1700+2 ~x1699+2 ~x1698+2 ~x1697+2 ~x1696+2 ~x1695+2 ~x1694+2 ~x1693+5 ~x1692+2 ~x1691+2 ~x1690+3 ~x1689+2 ~x1688+2 ~x1687+6 ~x1686+2 ~x1685+4 ~x1684+3 ~x1683+2 ~x1682-0=210
13.28/13.37	c 64 ~x109443+32 ~x109442+16 ~x109441+8 ~x109440+4 ~x109439+2 ~x109438+1 ~x109437+2 ~x1739+3 ~x1738+4 ~x1737+5 ~x1736+4 ~x1735+4 ~x1734+5 ~x1733+7 ~x1732+4 ~x1731+4 ~x1730+4 ~x1729+2 ~x1728+2 ~x1727+2 ~x1726+2 ~x1725+2 ~x1724+2 ~x1723+2 ~x1722+5 ~x1721+2 ~x1720+2 ~x1719+3 ~x1718+2 ~x1717+2 ~x1716+6 ~x1715+2 ~x1714+4 ~x1713+3 ~x1712+2 ~x1711-0=210
13.38/13.41	c 64 ~x111256+32 ~x111255+16 ~x111254+8 ~x111253+4 ~x111252+2 ~x111251+1 ~x111250+2 ~x1768+3 ~x1767+4 ~x1766+5 ~x1765+4 ~x1764+4 ~x1763+5 ~x1762+7 ~x1761+4 ~x1760+4 ~x1759+4 ~x1758+2 ~x1757+2 ~x1756+2 ~x1755+2 ~x1754+2 ~x1753+2 ~x1752+2 ~x1751+5 ~x1750+2 ~x1749+2 ~x1748+3 ~x1747+2 ~x1746+2 ~x1745+6 ~x1744+2 ~x1743+4 ~x1742+3 ~x1741+2 ~x1740-0=210
13.38/13.46	c 64 ~x113069+32 ~x113068+16 ~x113067+8 ~x113066+4 ~x113065+2 ~x113064+1 ~x113063+2 ~x1797+3 ~x1796+4 ~x1795+5 ~x1794+4 ~x1793+4 ~x1792+5 ~x1791+7 ~x1790+4 ~x1789+4 ~x1788+4 ~x1787+2 ~x1786+2 ~x1785+2 ~x1784+2 ~x1783+2 ~x1782+2 ~x1781+2 ~x1780+5 ~x1779+2 ~x1778+2 ~x1777+3 ~x1776+2 ~x1775+2 ~x1774+6 ~x1773+2 ~x1772+4 ~x1771+3 ~x1770+2 ~x1769-0=210
13.48/13.51	c 64 ~x114882+32 ~x114881+16 ~x114880+8 ~x114879+4 ~x114878+2 ~x114877+1 ~x114876+2 ~x1826+3 ~x1825+4 ~x1824+5 ~x1823+4 ~x1822+4 ~x1821+5 ~x1820+7 ~x1819+4 ~x1818+4 ~x1817+4 ~x1816+2 ~x1815+2 ~x1814+2 ~x1813+2 ~x1812+2 ~x1811+2 ~x1810+2 ~x1809+5 ~x1808+2 ~x1807+2 ~x1806+3 ~x1805+2 ~x1804+2 ~x1803+6 ~x1802+2 ~x1801+4 ~x1800+3 ~x1799+2 ~x1798-0=210
13.48/13.55	c 64 ~x116695+32 ~x116694+16 ~x116693+8 ~x116692+4 ~x116691+2 ~x116690+1 ~x116689+2 ~x1855+3 ~x1854+4 ~x1853+5 ~x1852+4 ~x1851+4 ~x1850+5 ~x1849+7 ~x1848+4 ~x1847+4 ~x1846+4 ~x1845+2 ~x1844+2 ~x1843+2 ~x1842+2 ~x1841+2 ~x1840+2 ~x1839+2 ~x1838+5 ~x1837+2 ~x1836+2 ~x1835+3 ~x1834+2 ~x1833+2 ~x1832+6 ~x1831+2 ~x1830+4 ~x1829+3 ~x1828+2 ~x1827-0=210
13.48/13.60	c 64 ~x118508+32 ~x118507+16 ~x118506+8 ~x118505+4 ~x118504+2 ~x118503+1 ~x118502+2 ~x1883+3 ~x1882+4 ~x1881+5 ~x1880+4 ~x1879+4 ~x1878+5 ~x1877+4 ~x1876+4 ~x1875+4 ~x1874+2 ~x1873+2 ~x1872+2 ~x1871+2 ~x1870+2 ~x1869+2 ~x1868+2 ~x1867+5 ~x1866+2 ~x1865+2 ~x1864+3 ~x1863+2 ~x1862+2 ~x1861+6 ~x1860+2 ~x1859+4 ~x1858+3 ~x1857+2 ~x1856-0=207
13.58/13.64	c 64 ~x120264+32 ~x120263+16 ~x120262+8 ~x120261+4 ~x120260+2 ~x120259+1 ~x120258+2 ~x1911+3 ~x1910+4 ~x1909+5 ~x1908+4 ~x1907+4 ~x1906+5 ~x1905+4 ~x1904+4 ~x1903+4 ~x1902+2 ~x1901+2 ~x1900+2 ~x1899+2 ~x1898+2 ~x1897+2 ~x1896+2 ~x1895+5 ~x1894+2 ~x1893+2 ~x1892+3 ~x1891+2 ~x1890+2 ~x1889+6 ~x1888+2 ~x1887+4 ~x1886+3 ~x1885+2 ~x1884-0=207
13.58/13.68	c 64 ~x122020+32 ~x122019+16 ~x122018+8 ~x122017+4 ~x122016+2 ~x122015+1 ~x122014+2 ~x1939+3 ~x1938+4 ~x1937+5 ~x1936+4 ~x1935+4 ~x1934+5 ~x1933+4 ~x1932+4 ~x1931+4 ~x1930+2 ~x1929+2 ~x1928+2 ~x1927+2 ~x1926+2 ~x1925+2 ~x1924+2 ~x1923+5 ~x1922+2 ~x1921+2 ~x1920+3 ~x1919+2 ~x1918+2 ~x1917+6 ~x1916+2 ~x1915+4 ~x1914+3 ~x1913+2 ~x1912-0=207
13.68/13.73	c 64 ~x123776+32 ~x123775+16 ~x123774+8 ~x123773+4 ~x123772+2 ~x123771+1 ~x123770+2 ~x1967+3 ~x1966+4 ~x1965+5 ~x1964+4 ~x1963+4 ~x1962+5 ~x1961+4 ~x1960+4 ~x1959+4 ~x1958+2 ~x1957+2 ~x1956+2 ~x1955+2 ~x1954+2 ~x1953+2 ~x1952+2 ~x1951+5 ~x1950+2 ~x1949+2 ~x1948+3 ~x1947+2 ~x1946+2 ~x1945+6 ~x1944+2 ~x1943+4 ~x1942+3 ~x1941+2 ~x1940-0=207
13.68/13.77	c 64 ~x125532+32 ~x125531+16 ~x125530+8 ~x125529+4 ~x125528+2 ~x125527+1 ~x125526+2 ~x1995+3 ~x1994+4 ~x1993+5 ~x1992+4 ~x1991+4 ~x1990+5 ~x1989+4 ~x1988+4 ~x1987+4 ~x1986+2 ~x1985+2 ~x1984+2 ~x1983+2 ~x1982+2 ~x1981+2 ~x1980+2 ~x1979+5 ~x1978+2 ~x1977+2 ~x1976+3 ~x1975+2 ~x1974+2 ~x1973+6 ~x1972+2 ~x1971+4 ~x1970+3 ~x1969+2 ~x1968-0=207
13.78/13.82	c 64 ~x127288+32 ~x127287+16 ~x127286+8 ~x127285+4 ~x127284+2 ~x127283+1 ~x127282+2 ~x2023+3 ~x2022+4 ~x2021+5 ~x2020+4 ~x2019+4 ~x2018+5 ~x2017+4 ~x2016+4 ~x2015+4 ~x2014+2 ~x2013+2 ~x2012+2 ~x2011+2 ~x2010+2 ~x2009+2 ~x2008+2 ~x2007+5 ~x2006+2 ~x2005+2 ~x2004+3 ~x2003+2 ~x2002+2 ~x2001+6 ~x2000+2 ~x1999+4 ~x1998+3 ~x1997+2 ~x1996-0=207
13.78/13.86	c 32 ~x129043+16 ~x129042+8 ~x129041+4 ~x129040+2 ~x129039+1 ~x129038+2 ~x2047+3 ~x2046+4 ~x2045+4 ~x2044+4 ~x2043+4 ~x2042+4 ~x2041+4 ~x2040+2 ~x2039+2 ~x2038+2 ~x2037+2 ~x2036+2 ~x2035+2 ~x2034+2 ~x2033+2 ~x2032+2 ~x2031+3 ~x2030+2 ~x2029+2 ~x2028+2 ~x2027+4 ~x2026+3 ~x2025+2 ~x2024-0=124
13.78/13.89	c 32 ~x130376+16 ~x130375+8 ~x130374+4 ~x130373+2 ~x130372+1 ~x130371+2 ~x2071+3 ~x2070+4 ~x2069+4 ~x2068+4 ~x2067+4 ~x2066+4 ~x2065+4 ~x2064+2 ~x2063+2 ~x2062+2 ~x2061+2 ~x2060+2 ~x2059+2 ~x2058+2 ~x2057+2 ~x2056+2 ~x2055+3 ~x2054+2 ~x2053+2 ~x2052+2 ~x2051+4 ~x2050+3 ~x2049+2 ~x2048-0=124
13.88/13.93	c 32 ~x131709+16 ~x131708+8 ~x131707+4 ~x131706+2 ~x131705+1 ~x131704+2 ~x2095+3 ~x2094+4 ~x2093+4 ~x2092+4 ~x2091+4 ~x2090+4 ~x2089+4 ~x2088+2 ~x2087+2 ~x2086+2 ~x2085+2 ~x2084+2 ~x2083+2 ~x2082+2 ~x2081+2 ~x2080+2 ~x2079+3 ~x2078+2 ~x2077+2 ~x2076+2 ~x2075+4 ~x2074+3 ~x2073+2 ~x2072-0=124
13.88/13.96	c 32 ~x133042+16 ~x133041+8 ~x133040+4 ~x133039+2 ~x133038+1 ~x133037+2 ~x2119+3 ~x2118+4 ~x2117+4 ~x2116+4 ~x2115+4 ~x2114+4 ~x2113+4 ~x2112+2 ~x2111+2 ~x2110+2 ~x2109+2 ~x2108+2 ~x2107+2 ~x2106+2 ~x2105+2 ~x2104+2 ~x2103+3 ~x2102+2 ~x2101+2 ~x2100+2 ~x2099+4 ~x2098+3 ~x2097+2 ~x2096-0=124
13.88/13.99	c 32 ~x134375+16 ~x134374+8 ~x134373+4 ~x134372+2 ~x134371+1 ~x134370+2 ~x2143+3 ~x2142+4 ~x2141+4 ~x2140+4 ~x2139+4 ~x2138+4 ~x2137+4 ~x2136+2 ~x2135+2 ~x2134+2 ~x2133+2 ~x2132+2 ~x2131+2 ~x2130+2 ~x2129+2 ~x2128+2 ~x2127+3 ~x2126+2 ~x2125+2 ~x2124+2 ~x2123+4 ~x2122+3 ~x2121+2 ~x2120-0=124
13.98/14.03	c 32 ~x135708+16 ~x135707+8 ~x135706+4 ~x135705+2 ~x135704+1 ~x135703+2 ~x2167+3 ~x2166+4 ~x2165+4 ~x2164+4 ~x2163+4 ~x2162+4 ~x2161+4 ~x2160+2 ~x2159+2 ~x2158+2 ~x2157+2 ~x2156+2 ~x2155+2 ~x2154+2 ~x2153+2 ~x2152+2 ~x2151+3 ~x2150+2 ~x2149+2 ~x2148+2 ~x2147+4 ~x2146+3 ~x2145+2 ~x2144-0=124
14.98/15.09	c 4 ~x173884+2 ~x173883+1 ~x173882+1 ~x145+1 ~x121+1 ~x97+1 ~x73+1 ~x49+1 ~x25-0=12
14.98/15.09	c 4 ~x174022+2 ~x174021+1 ~x174020+1 ~x144+1 ~x120+1 ~x96+1 ~x72+1 ~x48+1 ~x24-0=12
14.98/15.09	c 4 ~x174160+2 ~x174159+1 ~x174158+1 ~x143+1 ~x119+1 ~x95+1 ~x71+1 ~x47+1 ~x23-0=12
15.08/15.10	c 4 ~x174298+2 ~x174297+1 ~x174296+1 ~x142+1 ~x118+1 ~x94+1 ~x70+1 ~x46+1 ~x22-0=12
15.08/15.10	c 4 ~x174436+2 ~x174435+1 ~x174434+1 ~x141+1 ~x117+1 ~x93+1 ~x69+1 ~x45+1 ~x21-0=12
15.08/15.10	c 4 ~x174574+2 ~x174573+1 ~x174572+1 ~x140+1 ~x116+1 ~x92+1 ~x68+1 ~x44+1 ~x20-0=12
15.08/15.11	c 4 ~x174712+2 ~x174711+1 ~x174710+1 ~x139+1 ~x115+1 ~x91+1 ~x67+1 ~x43+1 ~x19-0=12
15.08/15.11	c 4 ~x174850+2 ~x174849+1 ~x174848+1 ~x138+1 ~x114+1 ~x90+1 ~x66+1 ~x42+1 ~x18-0=12
15.08/15.11	c 4 ~x174988+2 ~x174987+1 ~x174986+1 ~x137+1 ~x113+1 ~x89+1 ~x65+1 ~x41+1 ~x17-0=12
15.08/15.13	c 4 ~x175126+2 ~x175125+1 ~x175124+1 ~x136+1 ~x112+1 ~x88+1 ~x64+1 ~x40+1 ~x16-0=12
15.08/15.13	c 4 ~x175264+2 ~x175263+1 ~x175262+1 ~x135+1 ~x111+1 ~x87+1 ~x63+1 ~x39+1 ~x15-0=12
15.08/15.13	c 4 ~x175402+2 ~x175401+1 ~x175400+1 ~x134+1 ~x110+1 ~x86+1 ~x62+1 ~x38+1 ~x14-0=12
15.08/15.14	c 4 ~x175540+2 ~x175539+1 ~x175538+1 ~x133+1 ~x109+1 ~x85+1 ~x61+1 ~x37+1 ~x13-0=12
15.08/15.14	c 4 ~x175678+2 ~x175677+1 ~x175676+1 ~x132+1 ~x108+1 ~x84+1 ~x60+1 ~x36+1 ~x12-0=12
15.08/15.14	c 4 ~x175816+2 ~x175815+1 ~x175814+1 ~x131+1 ~x107+1 ~x83+1 ~x59+1 ~x35+1 ~x11-0=12
15.08/15.15	c 4 ~x175954+2 ~x175953+1 ~x175952+1 ~x130+1 ~x106+1 ~x82+1 ~x58+1 ~x34+1 ~x10-0=12
15.08/15.15	c 4 ~x176092+2 ~x176091+1 ~x176090+1 ~x129+1 ~x105+1 ~x81+1 ~x57+1 ~x33+1 ~x9-0=12
15.08/15.15	c 4 ~x176230+2 ~x176229+1 ~x176228+1 ~x128+1 ~x104+1 ~x80+1 ~x56+1 ~x32+1 ~x8-0=12
15.08/15.17	c 4 ~x176368+2 ~x176367+1 ~x176366+1 ~x127+1 ~x103+1 ~x79+1 ~x55+1 ~x31+1 ~x7-0=12
15.08/15.17	c 4 ~x176506+2 ~x176505+1 ~x176504+1 ~x126+1 ~x102+1 ~x78+1 ~x54+1 ~x30+1 ~x6-0=12
15.08/15.17	c 4 ~x176644+2 ~x176643+1 ~x176642+1 ~x125+1 ~x101+1 ~x77+1 ~x53+1 ~x29+1 ~x5-0=12
15.08/15.18	c 4 ~x176782+2 ~x176781+1 ~x176780+1 ~x124+1 ~x100+1 ~x76+1 ~x52+1 ~x28+1 ~x4-0=12
15.08/15.18	c 4 ~x176920+2 ~x176919+1 ~x176918+1 ~x123+1 ~x99+1 ~x75+1 ~x51+1 ~x27+1 ~x3-0=12
15.08/15.18	c 4 ~x177058+2 ~x177057+1 ~x177056+1 ~x122+1 ~x98+1 ~x74+1 ~x50+1 ~x26+1 ~x2-0=12
15.08/15.19	c 4 ~x177196+2 ~x177195+1 ~x177194+1 ~x289+1 ~x265+1 ~x241+1 ~x217+1 ~x193+1 ~x169-0=12
15.08/15.19	c 4 ~x177334+2 ~x177333+1 ~x177332+1 ~x288+1 ~x264+1 ~x240+1 ~x216+1 ~x192+1 ~x168-0=12
15.08/15.19	c 4 ~x177472+2 ~x177471+1 ~x177470+1 ~x287+1 ~x263+1 ~x239+1 ~x215+1 ~x191+1 ~x167-0=12
15.18/15.21	c 4 ~x177610+2 ~x177609+1 ~x177608+1 ~x286+1 ~x262+1 ~x238+1 ~x214+1 ~x190+1 ~x166-0=12
15.18/15.21	c 4 ~x177748+2 ~x177747+1 ~x177746+1 ~x285+1 ~x261+1 ~x237+1 ~x213+1 ~x189+1 ~x165-0=12
15.18/15.21	c 4 ~x177886+2 ~x177885+1 ~x177884+1 ~x284+1 ~x260+1 ~x236+1 ~x212+1 ~x188+1 ~x164-0=12
15.18/15.22	c 4 ~x178024+2 ~x178023+1 ~x178022+1 ~x283+1 ~x259+1 ~x235+1 ~x211+1 ~x187+1 ~x163-0=12
15.18/15.22	c 4 ~x178162+2 ~x178161+1 ~x178160+1 ~x282+1 ~x258+1 ~x234+1 ~x210+1 ~x186+1 ~x162-0=12
15.18/15.22	c 4 ~x178300+2 ~x178299+1 ~x178298+1 ~x281+1 ~x257+1 ~x233+1 ~x209+1 ~x185+1 ~x161-0=12
15.18/15.23	c 4 ~x178438+2 ~x178437+1 ~x178436+1 ~x280+1 ~x256+1 ~x232+1 ~x208+1 ~x184+1 ~x160-0=12
15.18/15.23	c 4 ~x178576+2 ~x178575+1 ~x178574+1 ~x279+1 ~x255+1 ~x231+1 ~x207+1 ~x183+1 ~x159-0=12
15.18/15.23	c 4 ~x178714+2 ~x178713+1 ~x178712+1 ~x278+1 ~x254+1 ~x230+1 ~x206+1 ~x182+1 ~x158-0=12
15.18/15.25	c 4 ~x178852+2 ~x178851+1 ~x178850+1 ~x277+1 ~x253+1 ~x229+1 ~x205+1 ~x181+1 ~x157-0=12
15.18/15.25	c 4 ~x178990+2 ~x178989+1 ~x178988+1 ~x276+1 ~x252+1 ~x228+1 ~x204+1 ~x180+1 ~x156-0=12
15.18/15.25	c 4 ~x179128+2 ~x179127+1 ~x179126+1 ~x275+1 ~x251+1 ~x227+1 ~x203+1 ~x179+1 ~x155-0=12
15.18/15.26	c 4 ~x179266+2 ~x179265+1 ~x179264+1 ~x274+1 ~x250+1 ~x226+1 ~x202+1 ~x178+1 ~x154-0=12
15.18/15.26	c 4 ~x179404+2 ~x179403+1 ~x179402+1 ~x273+1 ~x249+1 ~x225+1 ~x201+1 ~x177+1 ~x153-0=12
15.18/15.26	c 4 ~x179542+2 ~x179541+1 ~x179540+1 ~x272+1 ~x248+1 ~x224+1 ~x200+1 ~x176+1 ~x152-0=12
15.18/15.27	c 4 ~x179680+2 ~x179679+1 ~x179678+1 ~x271+1 ~x247+1 ~x223+1 ~x199+1 ~x175+1 ~x151-0=12
15.18/15.27	c 4 ~x179818+2 ~x179817+1 ~x179816+1 ~x270+1 ~x246+1 ~x222+1 ~x198+1 ~x174+1 ~x150-0=12
15.18/15.28	c 4 ~x179956+2 ~x179955+1 ~x179954+1 ~x269+1 ~x245+1 ~x221+1 ~x197+1 ~x173+1 ~x149-0=12
15.18/15.28	c 4 ~x180094+2 ~x180093+1 ~x180092+1 ~x268+1 ~x244+1 ~x220+1 ~x196+1 ~x172+1 ~x148-0=12
15.18/15.28	c 4 ~x180232+2 ~x180231+1 ~x180230+1 ~x267+1 ~x243+1 ~x219+1 ~x195+1 ~x171+1 ~x147-0=12
15.28/15.30	c 4 ~x180370+2 ~x180369+1 ~x180368+1 ~x266+1 ~x242+1 ~x218+1 ~x194+1 ~x170+1 ~x146-0=12
15.28/15.30	c 4 ~x180508+2 ~x180507+1 ~x180506+1 ~x463+1 ~x434+1 ~x405+1 ~x376+1 ~x347+1 ~x318-0=12
15.28/15.30	c 4 ~x180646+2 ~x180645+1 ~x180644+1 ~x462+1 ~x433+1 ~x404+1 ~x375+1 ~x346+1 ~x317-0=12
15.28/15.31	c 4 ~x180784+2 ~x180783+1 ~x180782+1 ~x461+1 ~x432+1 ~x403+1 ~x374+1 ~x345+1 ~x316-0=12
15.28/15.31	c 4 ~x180922+2 ~x180921+1 ~x180920+1 ~x460+1 ~x431+1 ~x402+1 ~x373+1 ~x344+1 ~x315-0=12
15.28/15.31	c 4 ~x181060+2 ~x181059+1 ~x181058+1 ~x459+1 ~x430+1 ~x401+1 ~x372+1 ~x343+1 ~x314-0=12
15.28/15.32	c 4 ~x181198+2 ~x181197+1 ~x181196+1 ~x458+1 ~x429+1 ~x400+1 ~x371+1 ~x342+1 ~x313-0=12
15.28/15.32	c 4 ~x181336+2 ~x181335+1 ~x181334+1 ~x457+1 ~x428+1 ~x399+1 ~x370+1 ~x341+1 ~x312-0=12
15.28/15.32	c 4 ~x181474+2 ~x181473+1 ~x181472+1 ~x456+1 ~x427+1 ~x398+1 ~x369+1 ~x340+1 ~x311-0=12
15.28/15.34	c 4 ~x181612+2 ~x181611+1 ~x181610+1 ~x455+1 ~x426+1 ~x397+1 ~x368+1 ~x339+1 ~x310-0=12
15.28/15.34	c 4 ~x181750+2 ~x181749+1 ~x181748+1 ~x454+1 ~x425+1 ~x396+1 ~x367+1 ~x338+1 ~x309-0=12
15.28/15.34	c 4 ~x181888+2 ~x181887+1 ~x181886+1 ~x453+1 ~x424+1 ~x395+1 ~x366+1 ~x337+1 ~x308-0=12
15.28/15.35	c 4 ~x182026+2 ~x182025+1 ~x182024+1 ~x452+1 ~x423+1 ~x394+1 ~x365+1 ~x336+1 ~x307-0=12
15.28/15.35	c 4 ~x182164+2 ~x182163+1 ~x182162+1 ~x451+1 ~x422+1 ~x393+1 ~x364+1 ~x335+1 ~x306-0=12
15.28/15.35	c 4 ~x182302+2 ~x182301+1 ~x182300+1 ~x450+1 ~x421+1 ~x392+1 ~x363+1 ~x334+1 ~x305-0=12
15.28/15.37	c 4 ~x182440+2 ~x182439+1 ~x182438+1 ~x449+1 ~x420+1 ~x391+1 ~x362+1 ~x333+1 ~x304-0=12
15.28/15.37	c 4 ~x182578+2 ~x182577+1 ~x182576+1 ~x448+1 ~x419+1 ~x390+1 ~x361+1 ~x332+1 ~x303-0=12
15.28/15.37	c 4 ~x182716+2 ~x182715+1 ~x182714+1 ~x447+1 ~x418+1 ~x389+1 ~x360+1 ~x331+1 ~x302-0=12
15.28/15.38	c 4 ~x182854+2 ~x182853+1 ~x182852+1 ~x446+1 ~x417+1 ~x388+1 ~x359+1 ~x330+1 ~x301-0=12
15.28/15.38	c 4 ~x182992+2 ~x182991+1 ~x182990+1 ~x445+1 ~x416+1 ~x387+1 ~x358+1 ~x329+1 ~x300-0=12
15.28/15.38	c 4 ~x183130+2 ~x183129+1 ~x183128+1 ~x444+1 ~x415+1 ~x386+1 ~x357+1 ~x328+1 ~x299-0=12
15.28/15.39	c 4 ~x183268+2 ~x183267+1 ~x183266+1 ~x443+1 ~x414+1 ~x385+1 ~x356+1 ~x327+1 ~x298-0=12
15.28/15.39	c 4 ~x183406+2 ~x183405+1 ~x183404+1 ~x442+1 ~x413+1 ~x384+1 ~x355+1 ~x326+1 ~x297-0=12
15.28/15.39	c 4 ~x183544+2 ~x183543+1 ~x183542+1 ~x441+1 ~x412+1 ~x383+1 ~x354+1 ~x325+1 ~x296-0=12
15.38/15.41	c 4 ~x183682+2 ~x183681+1 ~x183680+1 ~x440+1 ~x411+1 ~x382+1 ~x353+1 ~x324+1 ~x295-0=12
15.38/15.41	c 4 ~x183820+2 ~x183819+1 ~x183818+1 ~x439+1 ~x410+1 ~x381+1 ~x352+1 ~x323+1 ~x294-0=12
15.38/15.41	c 4 ~x183958+2 ~x183957+1 ~x183956+1 ~x438+1 ~x409+1 ~x380+1 ~x351+1 ~x322+1 ~x293-0=12
15.38/15.41	c 4 ~x184096+2 ~x184095+1 ~x184094+1 ~x437+1 ~x408+1 ~x379+1 ~x350+1 ~x321+1 ~x292-0=12
15.38/15.41	c 4 ~x184234+2 ~x184233+1 ~x184232+1 ~x436+1 ~x407+1 ~x378+1 ~x349+1 ~x320+1 ~x291-0=12
15.38/15.43	c 4 ~x184372+2 ~x184371+1 ~x184370+1 ~x435+1 ~x406+1 ~x377+1 ~x348+1 ~x319+1 ~x290-0=12
15.38/15.43	c 4 ~x184510+2 ~x184509+1 ~x184508+1 ~x637+1 ~x608+1 ~x579+1 ~x550+1 ~x521+1 ~x492-0=12
15.38/15.43	c 4 ~x184648+2 ~x184647+1 ~x184646+1 ~x636+1 ~x607+1 ~x578+1 ~x549+1 ~x520+1 ~x491-0=12
15.38/15.44	c 4 ~x184786+2 ~x184785+1 ~x184784+1 ~x635+1 ~x606+1 ~x577+1 ~x548+1 ~x519+1 ~x490-0=12
15.38/15.44	c 4 ~x184924+2 ~x184923+1 ~x184922+1 ~x634+1 ~x605+1 ~x576+1 ~x547+1 ~x518+1 ~x489-0=12
15.38/15.44	c 4 ~x185062+2 ~x185061+1 ~x185060+1 ~x633+1 ~x604+1 ~x575+1 ~x546+1 ~x517+1 ~x488-0=12
15.38/15.46	c 4 ~x185200+2 ~x185199+1 ~x185198+1 ~x632+1 ~x603+1 ~x574+1 ~x545+1 ~x516+1 ~x487-0=12
15.38/15.46	c 4 ~x185338+2 ~x185337+1 ~x185336+1 ~x631+1 ~x602+1 ~x573+1 ~x544+1 ~x515+1 ~x486-0=12
15.38/15.46	c 4 ~x185476+2 ~x185475+1 ~x185474+1 ~x630+1 ~x601+1 ~x572+1 ~x543+1 ~x514+1 ~x485-0=12
15.38/15.47	c 4 ~x185614+2 ~x185613+1 ~x185612+1 ~x629+1 ~x600+1 ~x571+1 ~x542+1 ~x513+1 ~x484-0=12
15.38/15.47	c 4 ~x185752+2 ~x185751+1 ~x185750+1 ~x628+1 ~x599+1 ~x570+1 ~x541+1 ~x512+1 ~x483-0=12
15.38/15.47	c 4 ~x185890+2 ~x185889+1 ~x185888+1 ~x627+1 ~x598+1 ~x569+1 ~x540+1 ~x511+1 ~x482-0=12
15.38/15.48	c 4 ~x186028+2 ~x186027+1 ~x186026+1 ~x626+1 ~x597+1 ~x568+1 ~x539+1 ~x510+1 ~x481-0=12
15.38/15.48	c 4 ~x186166+2 ~x186165+1 ~x186164+1 ~x625+1 ~x596+1 ~x567+1 ~x538+1 ~x509+1 ~x480-0=12
15.38/15.48	c 4 ~x186304+2 ~x186303+1 ~x186302+1 ~x624+1 ~x595+1 ~x566+1 ~x537+1 ~x508+1 ~x479-0=12
15.38/15.50	c 4 ~x186442+2 ~x186441+1 ~x186440+1 ~x623+1 ~x594+1 ~x565+1 ~x536+1 ~x507+1 ~x478-0=12
15.38/15.50	c 4 ~x186580+2 ~x186579+1 ~x186578+1 ~x622+1 ~x593+1 ~x564+1 ~x535+1 ~x506+1 ~x477-0=12
15.38/15.50	c 4 ~x186718+2 ~x186717+1 ~x186716+1 ~x621+1 ~x592+1 ~x563+1 ~x534+1 ~x505+1 ~x476-0=12
15.48/15.51	c 4 ~x186856+2 ~x186855+1 ~x186854+1 ~x620+1 ~x591+1 ~x562+1 ~x533+1 ~x504+1 ~x475-0=12
15.48/15.51	c 4 ~x186994+2 ~x186993+1 ~x186992+1 ~x619+1 ~x590+1 ~x561+1 ~x532+1 ~x503+1 ~x474-0=12
15.48/15.51	c 4 ~x187132+2 ~x187131+1 ~x187130+1 ~x618+1 ~x589+1 ~x560+1 ~x531+1 ~x502+1 ~x473-0=12
15.48/15.52	c 4 ~x187270+2 ~x187269+1 ~x187268+1 ~x617+1 ~x588+1 ~x559+1 ~x530+1 ~x501+1 ~x472-0=12
15.48/15.52	c 4 ~x187408+2 ~x187407+1 ~x187406+1 ~x616+1 ~x587+1 ~x558+1 ~x529+1 ~x500+1 ~x471-0=12
15.48/15.52	c 4 ~x187546+2 ~x187545+1 ~x187544+1 ~x615+1 ~x586+1 ~x557+1 ~x528+1 ~x499+1 ~x470-0=12
15.48/15.54	c 4 ~x187684+2 ~x187683+1 ~x187682+1 ~x614+1 ~x585+1 ~x556+1 ~x527+1 ~x498+1 ~x469-0=12
15.48/15.54	c 4 ~x187822+2 ~x187821+1 ~x187820+1 ~x613+1 ~x584+1 ~x555+1 ~x526+1 ~x497+1 ~x468-0=12
15.48/15.54	c 4 ~x187960+2 ~x187959+1 ~x187958+1 ~x612+1 ~x583+1 ~x554+1 ~x525+1 ~x496+1 ~x467-0=12
15.48/15.55	c 4 ~x188098+2 ~x188097+1 ~x188096+1 ~x611+1 ~x582+1 ~x553+1 ~x524+1 ~x495+1 ~x466-0=12
15.48/15.55	c 4 ~x188236+2 ~x188235+1 ~x188234+1 ~x610+1 ~x581+1 ~x552+1 ~x523+1 ~x494+1 ~x465-0=12
15.48/15.55	c 4 ~x188374+2 ~x188373+1 ~x188372+1 ~x609+1 ~x580+1 ~x551+1 ~x522+1 ~x493+1 ~x464-0=12
15.48/15.56	c 4 ~x188512+2 ~x188511+1 ~x188510+1 ~x811+1 ~x782+1 ~x753+1 ~x724+1 ~x695+1 ~x666-0=12
15.48/15.56	c 4 ~x188650+2 ~x188649+1 ~x188648+1 ~x810+1 ~x781+1 ~x752+1 ~x723+1 ~x694+1 ~x665-0=12
15.48/15.57	c 4 ~x188788+2 ~x188787+1 ~x188786+1 ~x809+1 ~x780+1 ~x751+1 ~x722+1 ~x693+1 ~x664-0=12
15.48/15.57	c 4 ~x188926+2 ~x188925+1 ~x188924+1 ~x808+1 ~x779+1 ~x750+1 ~x721+1 ~x692+1 ~x663-0=12
15.48/15.57	c 4 ~x189064+2 ~x189063+1 ~x189062+1 ~x807+1 ~x778+1 ~x749+1 ~x720+1 ~x691+1 ~x662-0=12
15.48/15.59	c 4 ~x189202+2 ~x189201+1 ~x189200+1 ~x806+1 ~x777+1 ~x748+1 ~x719+1 ~x690+1 ~x661-0=12
15.48/15.59	c 4 ~x189340+2 ~x189339+1 ~x189338+1 ~x805+1 ~x776+1 ~x747+1 ~x718+1 ~x689+1 ~x660-0=12
15.48/15.59	c 4 ~x189478+2 ~x189477+1 ~x189476+1 ~x804+1 ~x775+1 ~x746+1 ~x717+1 ~x688+1 ~x659-0=12
15.58/15.60	c 4 ~x189616+2 ~x189615+1 ~x189614+1 ~x803+1 ~x774+1 ~x745+1 ~x716+1 ~x687+1 ~x658-0=12
15.58/15.60	c 4 ~x189754+2 ~x189753+1 ~x189752+1 ~x802+1 ~x773+1 ~x744+1 ~x715+1 ~x686+1 ~x657-0=12
15.58/15.60	c 4 ~x189892+2 ~x189891+1 ~x189890+1 ~x801+1 ~x772+1 ~x743+1 ~x714+1 ~x685+1 ~x656-0=12
15.58/15.61	c 4 ~x190030+2 ~x190029+1 ~x190028+1 ~x800+1 ~x771+1 ~x742+1 ~x713+1 ~x684+1 ~x655-0=12
15.58/15.61	c 4 ~x190168+2 ~x190167+1 ~x190166+1 ~x799+1 ~x770+1 ~x741+1 ~x712+1 ~x683+1 ~x654-0=12
15.58/15.61	c 4 ~x190306+2 ~x190305+1 ~x190304+1 ~x798+1 ~x769+1 ~x740+1 ~x711+1 ~x682+1 ~x653-0=12
15.58/15.63	c 4 ~x190444+2 ~x190443+1 ~x190442+1 ~x797+1 ~x768+1 ~x739+1 ~x710+1 ~x681+1 ~x652-0=12
15.58/15.63	c 4 ~x190582+2 ~x190581+1 ~x190580+1 ~x796+1 ~x767+1 ~x738+1 ~x709+1 ~x680+1 ~x651-0=12
15.58/15.63	c 4 ~x190720+2 ~x190719+1 ~x190718+1 ~x795+1 ~x766+1 ~x737+1 ~x708+1 ~x679+1 ~x650-0=12
15.58/15.64	c 4 ~x190858+2 ~x190857+1 ~x190856+1 ~x794+1 ~x765+1 ~x736+1 ~x707+1 ~x678+1 ~x649-0=12
15.58/15.64	c 4 ~x190996+2 ~x190995+1 ~x190994+1 ~x793+1 ~x764+1 ~x735+1 ~x706+1 ~x677+1 ~x648-0=12
15.58/15.64	c 4 ~x191134+2 ~x191133+1 ~x191132+1 ~x792+1 ~x763+1 ~x734+1 ~x705+1 ~x676+1 ~x647-0=12
15.58/15.65	c 4 ~x191272+2 ~x191271+1 ~x191270+1 ~x791+1 ~x762+1 ~x733+1 ~x704+1 ~x675+1 ~x646-0=12
15.58/15.65	c 4 ~x191410+2 ~x191409+1 ~x191408+1 ~x790+1 ~x761+1 ~x732+1 ~x703+1 ~x674+1 ~x645-0=12
15.58/15.65	c 4 ~x191548+2 ~x191547+1 ~x191546+1 ~x789+1 ~x760+1 ~x731+1 ~x702+1 ~x673+1 ~x644-0=12
15.58/15.67	c 4 ~x191686+2 ~x191685+1 ~x191684+1 ~x788+1 ~x759+1 ~x730+1 ~x701+1 ~x672+1 ~x643-0=12
15.58/15.67	c 4 ~x191824+2 ~x191823+1 ~x191822+1 ~x787+1 ~x758+1 ~x729+1 ~x700+1 ~x671+1 ~x642-0=12
15.58/15.67	c 4 ~x191962+2 ~x191961+1 ~x191960+1 ~x786+1 ~x757+1 ~x728+1 ~x699+1 ~x670+1 ~x641-0=12
15.58/15.68	c 4 ~x192100+2 ~x192099+1 ~x192098+1 ~x785+1 ~x756+1 ~x727+1 ~x698+1 ~x669+1 ~x640-0=12
15.58/15.68	c 4 ~x192238+2 ~x192237+1 ~x192236+1 ~x784+1 ~x755+1 ~x726+1 ~x697+1 ~x668+1 ~x639-0=12
15.58/15.68	c 4 ~x192376+2 ~x192375+1 ~x192374+1 ~x783+1 ~x754+1 ~x725+1 ~x696+1 ~x667+1 ~x638-0=12
15.58/15.69	c 4 ~x192514+2 ~x192513+1 ~x192512+1 ~x985+1 ~x956+1 ~x927+1 ~x898+1 ~x869+1 ~x840-0=12
15.58/15.69	c 4 ~x192652+2 ~x192651+1 ~x192650+1 ~x984+1 ~x955+1 ~x926+1 ~x897+1 ~x868+1 ~x839-0=12
15.58/15.69	c 4 ~x192790+2 ~x192789+1 ~x192788+1 ~x983+1 ~x954+1 ~x925+1 ~x896+1 ~x867+1 ~x838-0=12
15.68/15.70	c 4 ~x192928+2 ~x192927+1 ~x192926+1 ~x982+1 ~x953+1 ~x924+1 ~x895+1 ~x866+1 ~x837-0=12
15.68/15.70	c 4 ~x193066+2 ~x193065+1 ~x193064+1 ~x981+1 ~x952+1 ~x923+1 ~x894+1 ~x865+1 ~x836-0=12
15.68/15.72	c 4 ~x193204+2 ~x193203+1 ~x193202+1 ~x980+1 ~x951+1 ~x922+1 ~x893+1 ~x864+1 ~x835-0=12
15.68/15.72	c 4 ~x193342+2 ~x193341+1 ~x193340+1 ~x979+1 ~x950+1 ~x921+1 ~x892+1 ~x863+1 ~x834-0=12
15.68/15.72	c 4 ~x193480+2 ~x193479+1 ~x193478+1 ~x978+1 ~x949+1 ~x920+1 ~x891+1 ~x862+1 ~x833-0=12
15.68/15.73	c 4 ~x193618+2 ~x193617+1 ~x193616+1 ~x977+1 ~x948+1 ~x919+1 ~x890+1 ~x861+1 ~x832-0=12
15.68/15.73	c 4 ~x193756+2 ~x193755+1 ~x193754+1 ~x976+1 ~x947+1 ~x918+1 ~x889+1 ~x860+1 ~x831-0=12
15.68/15.73	c 4 ~x193894+2 ~x193893+1 ~x193892+1 ~x975+1 ~x946+1 ~x917+1 ~x888+1 ~x859+1 ~x830-0=12
15.68/15.74	c 4 ~x194032+2 ~x194031+1 ~x194030+1 ~x974+1 ~x945+1 ~x916+1 ~x887+1 ~x858+1 ~x829-0=12
15.68/15.74	c 4 ~x194170+2 ~x194169+1 ~x194168+1 ~x973+1 ~x944+1 ~x915+1 ~x886+1 ~x857+1 ~x828-0=12
15.68/15.74	c 4 ~x194308+2 ~x194307+1 ~x194306+1 ~x972+1 ~x943+1 ~x914+1 ~x885+1 ~x856+1 ~x827-0=12
15.68/15.76	c 4 ~x194446+2 ~x194445+1 ~x194444+1 ~x971+1 ~x942+1 ~x913+1 ~x884+1 ~x855+1 ~x826-0=12
15.68/15.76	c 4 ~x194584+2 ~x194583+1 ~x194582+1 ~x970+1 ~x941+1 ~x912+1 ~x883+1 ~x854+1 ~x825-0=12
15.68/15.76	c 4 ~x194722+2 ~x194721+1 ~x194720+1 ~x969+1 ~x940+1 ~x911+1 ~x882+1 ~x853+1 ~x824-0=12
15.68/15.77	c 4 ~x194860+2 ~x194859+1 ~x194858+1 ~x968+1 ~x939+1 ~x910+1 ~x881+1 ~x852+1 ~x823-0=12
15.68/15.77	c 4 ~x194998+2 ~x194997+1 ~x194996+1 ~x967+1 ~x938+1 ~x909+1 ~x880+1 ~x851+1 ~x822-0=12
15.68/15.77	c 4 ~x195136+2 ~x195135+1 ~x195134+1 ~x966+1 ~x937+1 ~x908+1 ~x879+1 ~x850+1 ~x821-0=12
15.68/15.78	c 4 ~x195274+2 ~x195273+1 ~x195272+1 ~x965+1 ~x936+1 ~x907+1 ~x878+1 ~x849+1 ~x820-0=12
15.68/15.78	c 4 ~x195412+2 ~x195411+1 ~x195410+1 ~x964+1 ~x935+1 ~x906+1 ~x877+1 ~x848+1 ~x819-0=12
15.68/15.78	c 4 ~x195550+2 ~x195549+1 ~x195548+1 ~x963+1 ~x934+1 ~x905+1 ~x876+1 ~x847+1 ~x818-0=12
15.78/15.80	c 4 ~x195688+2 ~x195687+1 ~x195686+1 ~x962+1 ~x933+1 ~x904+1 ~x875+1 ~x846+1 ~x817-0=12
15.78/15.80	c 4 ~x195826+2 ~x195825+1 ~x195824+1 ~x961+1 ~x932+1 ~x903+1 ~x874+1 ~x845+1 ~x816-0=12
15.78/15.80	c 4 ~x195964+2 ~x195963+1 ~x195962+1 ~x960+1 ~x931+1 ~x902+1 ~x873+1 ~x844+1 ~x815-0=12
15.78/15.81	c 4 ~x196102+2 ~x196101+1 ~x196100+1 ~x959+1 ~x930+1 ~x901+1 ~x872+1 ~x843+1 ~x814-0=12
15.78/15.81	c 4 ~x196240+2 ~x196239+1 ~x196238+1 ~x958+1 ~x929+1 ~x900+1 ~x871+1 ~x842+1 ~x813-0=12
15.78/15.81	c 4 ~x196378+2 ~x196377+1 ~x196376+1 ~x957+1 ~x928+1 ~x899+1 ~x870+1 ~x841+1 ~x812-0=12
15.78/15.83	c 4 ~x196516+2 ~x196515+1 ~x196514+1 ~x1159+1 ~x1130+1 ~x1101+1 ~x1072+1 ~x1043+1 ~x1014-0=12
15.78/15.83	c 4 ~x196654+2 ~x196653+1 ~x196652+1 ~x1158+1 ~x1129+1 ~x1100+1 ~x1071+1 ~x1042+1 ~x1013-0=12
15.78/15.83	c 4 ~x196792+2 ~x196791+1 ~x196790+1 ~x1157+1 ~x1128+1 ~x1099+1 ~x1070+1 ~x1041+1 ~x1012-0=12
15.78/15.83	c 4 ~x196930+2 ~x196929+1 ~x196928+1 ~x1156+1 ~x1127+1 ~x1098+1 ~x1069+1 ~x1040+1 ~x1011-0=12
15.78/15.83	c 4 ~x197068+2 ~x197067+1 ~x197066+1 ~x1155+1 ~x1126+1 ~x1097+1 ~x1068+1 ~x1039+1 ~x1010-0=12
15.78/15.85	c 4 ~x197206+2 ~x197205+1 ~x197204+1 ~x1154+1 ~x1125+1 ~x1096+1 ~x1067+1 ~x1038+1 ~x1009-0=12
15.78/15.85	c 4 ~x197344+2 ~x197343+1 ~x197342+1 ~x1153+1 ~x1124+1 ~x1095+1 ~x1066+1 ~x1037+1 ~x1008-0=12
15.78/15.85	c 4 ~x197482+2 ~x197481+1 ~x197480+1 ~x1152+1 ~x1123+1 ~x1094+1 ~x1065+1 ~x1036+1 ~x1007-0=12
15.78/15.86	c 4 ~x197620+2 ~x197619+1 ~x197618+1 ~x1151+1 ~x1122+1 ~x1093+1 ~x1064+1 ~x1035+1 ~x1006-0=12
15.78/15.86	c 4 ~x197758+2 ~x197757+1 ~x197756+1 ~x1150+1 ~x1121+1 ~x1092+1 ~x1063+1 ~x1034+1 ~x1005-0=12
15.78/15.86	c 4 ~x197896+2 ~x197895+1 ~x197894+1 ~x1149+1 ~x1120+1 ~x1091+1 ~x1062+1 ~x1033+1 ~x1004-0=12
15.78/15.87	c 4 ~x198034+2 ~x198033+1 ~x198032+1 ~x1148+1 ~x1119+1 ~x1090+1 ~x1061+1 ~x1032+1 ~x1003-0=12
15.78/15.87	c 4 ~x198172+2 ~x198171+1 ~x198170+1 ~x1147+1 ~x1118+1 ~x1089+1 ~x1060+1 ~x1031+1 ~x1002-0=12
15.78/15.88	c 4 ~x198310+2 ~x198309+1 ~x198308+1 ~x1146+1 ~x1117+1 ~x1088+1 ~x1059+1 ~x1030+1 ~x1001-0=12
15.78/15.88	c 4 ~x198448+2 ~x198447+1 ~x198446+1 ~x1145+1 ~x1116+1 ~x1087+1 ~x1058+1 ~x1029+1 ~x1000-0=12
15.78/15.88	c 4 ~x198586+2 ~x198585+1 ~x198584+1 ~x1144+1 ~x1115+1 ~x1086+1 ~x1057+1 ~x1028+1 ~x999-0=12
15.88/15.90	c 4 ~x198724+2 ~x198723+1 ~x198722+1 ~x1143+1 ~x1114+1 ~x1085+1 ~x1056+1 ~x1027+1 ~x998-0=12
15.88/15.90	c 4 ~x198862+2 ~x198861+1 ~x198860+1 ~x1142+1 ~x1113+1 ~x1084+1 ~x1055+1 ~x1026+1 ~x997-0=12
15.88/15.90	c 4 ~x199000+2 ~x198999+1 ~x198998+1 ~x1141+1 ~x1112+1 ~x1083+1 ~x1054+1 ~x1025+1 ~x996-0=12
15.88/15.91	c 4 ~x199138+2 ~x199137+1 ~x199136+1 ~x1140+1 ~x1111+1 ~x1082+1 ~x1053+1 ~x1024+1 ~x995-0=12
15.88/15.91	c 4 ~x199276+2 ~x199275+1 ~x199274+1 ~x1139+1 ~x1110+1 ~x1081+1 ~x1052+1 ~x1023+1 ~x994-0=12
15.88/15.91	c 4 ~x199414+2 ~x199413+1 ~x199412+1 ~x1138+1 ~x1109+1 ~x1080+1 ~x1051+1 ~x1022+1 ~x993-0=12
15.88/15.92	c 4 ~x199552+2 ~x199551+1 ~x199550+1 ~x1137+1 ~x1108+1 ~x1079+1 ~x1050+1 ~x1021+1 ~x992-0=12
15.88/15.92	c 4 ~x199690+2 ~x199689+1 ~x199688+1 ~x1136+1 ~x1107+1 ~x1078+1 ~x1049+1 ~x1020+1 ~x991-0=12
15.88/15.93	c 4 ~x199828+2 ~x199827+1 ~x199826+1 ~x1135+1 ~x1106+1 ~x1077+1 ~x1048+1 ~x1019+1 ~x990-0=12
15.88/15.93	c 4 ~x199966+2 ~x199965+1 ~x199964+1 ~x1134+1 ~x1105+1 ~x1076+1 ~x1047+1 ~x1018+1 ~x989-0=12
15.88/15.93	c 4 ~x200104+2 ~x200103+1 ~x200102+1 ~x1133+1 ~x1104+1 ~x1075+1 ~x1046+1 ~x1017+1 ~x988-0=12
15.88/15.95	c 4 ~x200242+2 ~x200241+1 ~x200240+1 ~x1132+1 ~x1103+1 ~x1074+1 ~x1045+1 ~x1016+1 ~x987-0=12
15.88/15.95	c 4 ~x200380+2 ~x200379+1 ~x200378+1 ~x1131+1 ~x1102+1 ~x1073+1 ~x1044+1 ~x1015+1 ~x986-0=12
15.88/15.95	c 4 ~x200518+2 ~x200517+1 ~x200516+1 ~x1333+1 ~x1304+1 ~x1275+1 ~x1246+1 ~x1217+1 ~x1188-0=12
15.88/15.96	c 4 ~x200656+2 ~x200655+1 ~x200654+1 ~x1332+1 ~x1303+1 ~x1274+1 ~x1245+1 ~x1216+1 ~x1187-0=12
15.88/15.96	c 4 ~x200794+2 ~x200793+1 ~x200792+1 ~x1331+1 ~x1302+1 ~x1273+1 ~x1244+1 ~x1215+1 ~x1186-0=12
15.88/15.96	c 4 ~x200932+2 ~x200931+1 ~x200930+1 ~x1330+1 ~x1301+1 ~x1272+1 ~x1243+1 ~x1214+1 ~x1185-0=12
15.88/15.97	c 4 ~x201070+2 ~x201069+1 ~x201068+1 ~x1329+1 ~x1300+1 ~x1271+1 ~x1242+1 ~x1213+1 ~x1184-0=12
15.88/15.97	c 4 ~x201208+2 ~x201207+1 ~x201206+1 ~x1328+1 ~x1299+1 ~x1270+1 ~x1241+1 ~x1212+1 ~x1183-0=12
15.88/15.98	c 4 ~x201346+2 ~x201345+1 ~x201344+1 ~x1327+1 ~x1298+1 ~x1269+1 ~x1240+1 ~x1211+1 ~x1182-0=12
15.88/15.98	c 4 ~x201484+2 ~x201483+1 ~x201482+1 ~x1326+1 ~x1297+1 ~x1268+1 ~x1239+1 ~x1210+1 ~x1181-0=12
15.88/15.98	c 4 ~x201622+2 ~x201621+1 ~x201620+1 ~x1325+1 ~x1296+1 ~x1267+1 ~x1238+1 ~x1209+1 ~x1180-0=12
15.88/16.00	c 4 ~x201760+2 ~x201759+1 ~x201758+1 ~x1324+1 ~x1295+1 ~x1266+1 ~x1237+1 ~x1208+1 ~x1179-0=12
15.88/16.00	c 4 ~x201898+2 ~x201897+1 ~x201896+1 ~x1323+1 ~x1294+1 ~x1265+1 ~x1236+1 ~x1207+1 ~x1178-0=12
15.88/16.00	c 4 ~x202036+2 ~x202035+1 ~x202034+1 ~x1322+1 ~x1293+1 ~x1264+1 ~x1235+1 ~x1206+1 ~x1177-0=12
15.98/16.01	c 4 ~x202174+2 ~x202173+1 ~x202172+1 ~x1321+1 ~x1292+1 ~x1263+1 ~x1234+1 ~x1205+1 ~x1176-0=12
15.98/16.01	c 4 ~x202312+2 ~x202311+1 ~x202310+1 ~x1320+1 ~x1291+1 ~x1262+1 ~x1233+1 ~x1204+1 ~x1175-0=12
15.98/16.01	c 4 ~x202450+2 ~x202449+1 ~x202448+1 ~x1319+1 ~x1290+1 ~x1261+1 ~x1232+1 ~x1203+1 ~x1174-0=12
15.98/16.02	c 4 ~x202588+2 ~x202587+1 ~x202586+1 ~x1318+1 ~x1289+1 ~x1260+1 ~x1231+1 ~x1202+1 ~x1173-0=12
15.98/16.02	c 4 ~x202726+2 ~x202725+1 ~x202724+1 ~x1317+1 ~x1288+1 ~x1259+1 ~x1230+1 ~x1201+1 ~x1172-0=12
15.98/16.03	c 4 ~x202864+2 ~x202863+1 ~x202862+1 ~x1316+1 ~x1287+1 ~x1258+1 ~x1229+1 ~x1200+1 ~x1171-0=12
15.98/16.03	c 4 ~x203002+2 ~x203001+1 ~x203000+1 ~x1315+1 ~x1286+1 ~x1257+1 ~x1228+1 ~x1199+1 ~x1170-0=12
15.98/16.03	c 4 ~x203140+2 ~x203139+1 ~x203138+1 ~x1314+1 ~x1285+1 ~x1256+1 ~x1227+1 ~x1198+1 ~x1169-0=12
15.98/16.05	c 4 ~x203278+2 ~x203277+1 ~x203276+1 ~x1313+1 ~x1284+1 ~x1255+1 ~x1226+1 ~x1197+1 ~x1168-0=12
15.98/16.05	c 4 ~x203416+2 ~x203415+1 ~x203414+1 ~x1312+1 ~x1283+1 ~x1254+1 ~x1225+1 ~x1196+1 ~x1167-0=12
15.98/16.05	c 4 ~x203554+2 ~x203553+1 ~x203552+1 ~x1311+1 ~x1282+1 ~x1253+1 ~x1224+1 ~x1195+1 ~x1166-0=12
15.98/16.05	c 4 ~x203692+2 ~x203691+1 ~x203690+1 ~x1310+1 ~x1281+1 ~x1252+1 ~x1223+1 ~x1194+1 ~x1165-0=12
15.98/16.05	c 4 ~x203830+2 ~x203829+1 ~x203828+1 ~x1309+1 ~x1280+1 ~x1251+1 ~x1222+1 ~x1193+1 ~x1164-0=12
15.98/16.07	c 4 ~x203968+2 ~x203967+1 ~x203966+1 ~x1308+1 ~x1279+1 ~x1250+1 ~x1221+1 ~x1192+1 ~x1163-0=12
15.98/16.07	c 4 ~x204106+2 ~x204105+1 ~x204104+1 ~x1307+1 ~x1278+1 ~x1249+1 ~x1220+1 ~x1191+1 ~x1162-0=12
15.98/16.07	c 4 ~x204244+2 ~x204243+1 ~x204242+1 ~x1306+1 ~x1277+1 ~x1248+1 ~x1219+1 ~x1190+1 ~x1161-0=12
15.98/16.08	c 4 ~x204382+2 ~x204381+1 ~x204380+1 ~x1305+1 ~x1276+1 ~x1247+1 ~x1218+1 ~x1189+1 ~x1160-0=12
15.98/16.08	c 4 ~x204520+2 ~x204519+1 ~x204518+1 ~x1507+1 ~x1478+1 ~x1449+1 ~x1420+1 ~x1391+1 ~x1362-0=12
15.98/16.08	c 4 ~x204658+2 ~x204657+1 ~x204656+1 ~x1506+1 ~x1477+1 ~x1448+1 ~x1419+1 ~x1390+1 ~x1361-0=12
15.98/16.10	c 4 ~x204796+2 ~x204795+1 ~x204794+1 ~x1505+1 ~x1476+1 ~x1447+1 ~x1418+1 ~x1389+1 ~x1360-0=12
15.98/16.10	c 4 ~x204934+2 ~x204933+1 ~x204932+1 ~x1504+1 ~x1475+1 ~x1446+1 ~x1417+1 ~x1388+1 ~x1359-0=12
15.98/16.10	c 4 ~x205072+2 ~x205071+1 ~x205070+1 ~x1503+1 ~x1474+1 ~x1445+1 ~x1416+1 ~x1387+1 ~x1358-0=12
16.08/16.10	c 4 ~x205210+2 ~x205209+1 ~x205208+1 ~x1502+1 ~x1473+1 ~x1444+1 ~x1415+1 ~x1386+1 ~x1357-0=12
16.08/16.10	c 4 ~x205348+2 ~x205347+1 ~x205346+1 ~x1501+1 ~x1472+1 ~x1443+1 ~x1414+1 ~x1385+1 ~x1356-0=12
16.08/16.12	c 4 ~x205486+2 ~x205485+1 ~x205484+1 ~x1500+1 ~x1471+1 ~x1442+1 ~x1413+1 ~x1384+1 ~x1355-0=12
16.08/16.12	c 4 ~x205624+2 ~x205623+1 ~x205622+1 ~x1499+1 ~x1470+1 ~x1441+1 ~x1412+1 ~x1383+1 ~x1354-0=12
16.08/16.12	c 4 ~x205762+2 ~x205761+1 ~x205760+1 ~x1498+1 ~x1469+1 ~x1440+1 ~x1411+1 ~x1382+1 ~x1353-0=12
16.08/16.13	c 4 ~x205900+2 ~x205899+1 ~x205898+1 ~x1497+1 ~x1468+1 ~x1439+1 ~x1410+1 ~x1381+1 ~x1352-0=12
16.08/16.13	c 4 ~x206038+2 ~x206037+1 ~x206036+1 ~x1496+1 ~x1467+1 ~x1438+1 ~x1409+1 ~x1380+1 ~x1351-0=12
16.08/16.13	c 4 ~x206176+2 ~x206175+1 ~x206174+1 ~x1495+1 ~x1466+1 ~x1437+1 ~x1408+1 ~x1379+1 ~x1350-0=12
16.08/16.14	c 4 ~x206314+2 ~x206313+1 ~x206312+1 ~x1494+1 ~x1465+1 ~x1436+1 ~x1407+1 ~x1378+1 ~x1349-0=12
16.08/16.14	c 4 ~x206452+2 ~x206451+1 ~x206450+1 ~x1493+1 ~x1464+1 ~x1435+1 ~x1406+1 ~x1377+1 ~x1348-0=12
16.08/16.15	c 4 ~x206590+2 ~x206589+1 ~x206588+1 ~x1492+1 ~x1463+1 ~x1434+1 ~x1405+1 ~x1376+1 ~x1347-0=12
16.08/16.15	c 4 ~x206728+2 ~x206727+1 ~x206726+1 ~x1491+1 ~x1462+1 ~x1433+1 ~x1404+1 ~x1375+1 ~x1346-0=12
16.08/16.15	c 4 ~x206866+2 ~x206865+1 ~x206864+1 ~x1490+1 ~x1461+1 ~x1432+1 ~x1403+1 ~x1374+1 ~x1345-0=12
16.08/16.17	c 4 ~x207004+2 ~x207003+1 ~x207002+1 ~x1489+1 ~x1460+1 ~x1431+1 ~x1402+1 ~x1373+1 ~x1344-0=12
16.08/16.17	c 4 ~x207142+2 ~x207141+1 ~x207140+1 ~x1488+1 ~x1459+1 ~x1430+1 ~x1401+1 ~x1372+1 ~x1343-0=12
16.08/16.17	c 4 ~x207280+2 ~x207279+1 ~x207278+1 ~x1487+1 ~x1458+1 ~x1429+1 ~x1400+1 ~x1371+1 ~x1342-0=12
16.08/16.18	c 4 ~x207418+2 ~x207417+1 ~x207416+1 ~x1486+1 ~x1457+1 ~x1428+1 ~x1399+1 ~x1370+1 ~x1341-0=12
16.08/16.18	c 4 ~x207556+2 ~x207555+1 ~x207554+1 ~x1485+1 ~x1456+1 ~x1427+1 ~x1398+1 ~x1369+1 ~x1340-0=12
16.08/16.18	c 4 ~x207694+2 ~x207693+1 ~x207692+1 ~x1484+1 ~x1455+1 ~x1426+1 ~x1397+1 ~x1368+1 ~x1339-0=12
16.08/16.19	c 4 ~x207832+2 ~x207831+1 ~x207830+1 ~x1483+1 ~x1454+1 ~x1425+1 ~x1396+1 ~x1367+1 ~x1338-0=12
16.08/16.19	c 4 ~x207970+2 ~x207969+1 ~x207968+1 ~x1482+1 ~x1453+1 ~x1424+1 ~x1395+1 ~x1366+1 ~x1337-0=12
16.18/16.20	c 4 ~x208108+2 ~x208107+1 ~x208106+1 ~x1481+1 ~x1452+1 ~x1423+1 ~x1394+1 ~x1365+1 ~x1336-0=12
16.18/16.20	c 4 ~x208246+2 ~x208245+1 ~x208244+1 ~x1480+1 ~x1451+1 ~x1422+1 ~x1393+1 ~x1364+1 ~x1335-0=12
16.18/16.20	c 4 ~x208384+2 ~x208383+1 ~x208382+1 ~x1479+1 ~x1450+1 ~x1421+1 ~x1392+1 ~x1363+1 ~x1334-0=12
16.18/16.22	c 4 ~x208522+2 ~x208521+1 ~x208520+1 ~x1681+1 ~x1652+1 ~x1623+1 ~x1594+1 ~x1565+1 ~x1536-0=12
16.18/16.22	c 4 ~x208660+2 ~x208659+1 ~x208658+1 ~x1680+1 ~x1651+1 ~x1622+1 ~x1593+1 ~x1564+1 ~x1535-0=12
16.18/16.22	c 4 ~x208798+2 ~x208797+1 ~x208796+1 ~x1679+1 ~x1650+1 ~x1621+1 ~x1592+1 ~x1563+1 ~x1534-0=12
16.18/16.23	c 4 ~x208936+2 ~x208935+1 ~x208934+1 ~x1678+1 ~x1649+1 ~x1620+1 ~x1591+1 ~x1562+1 ~x1533-0=12
16.18/16.23	c 4 ~x209074+2 ~x209073+1 ~x209072+1 ~x1677+1 ~x1648+1 ~x1619+1 ~x1590+1 ~x1561+1 ~x1532-0=12
16.18/16.23	c 4 ~x209212+2 ~x209211+1 ~x209210+1 ~x1676+1 ~x1647+1 ~x1618+1 ~x1589+1 ~x1560+1 ~x1531-0=12
16.18/16.24	c 4 ~x209350+2 ~x209349+1 ~x209348+1 ~x1675+1 ~x1646+1 ~x1617+1 ~x1588+1 ~x1559+1 ~x1530-0=12
16.18/16.24	c 4 ~x209488+2 ~x209487+1 ~x209486+1 ~x1674+1 ~x1645+1 ~x1616+1 ~x1587+1 ~x1558+1 ~x1529-0=12
16.18/16.25	c 4 ~x209626+2 ~x209625+1 ~x209624+1 ~x1673+1 ~x1644+1 ~x1615+1 ~x1586+1 ~x1557+1 ~x1528-0=12
16.18/16.25	c 4 ~x209764+2 ~x209763+1 ~x209762+1 ~x1672+1 ~x1643+1 ~x1614+1 ~x1585+1 ~x1556+1 ~x1527-0=12
16.18/16.25	c 4 ~x209902+2 ~x209901+1 ~x209900+1 ~x1671+1 ~x1642+1 ~x1613+1 ~x1584+1 ~x1555+1 ~x1526-0=12
16.18/16.27	c 4 ~x210040+2 ~x210039+1 ~x210038+1 ~x1670+1 ~x1641+1 ~x1612+1 ~x1583+1 ~x1554+1 ~x1525-0=12
16.18/16.27	c 4 ~x210178+2 ~x210177+1 ~x210176+1 ~x1669+1 ~x1640+1 ~x1611+1 ~x1582+1 ~x1553+1 ~x1524-0=12
16.18/16.27	c 4 ~x210316+2 ~x210315+1 ~x210314+1 ~x1668+1 ~x1639+1 ~x1610+1 ~x1581+1 ~x1552+1 ~x1523-0=12
16.18/16.28	c 4 ~x210454+2 ~x210453+1 ~x210452+1 ~x1667+1 ~x1638+1 ~x1609+1 ~x1580+1 ~x1551+1 ~x1522-0=12
16.18/16.28	c 4 ~x210592+2 ~x210591+1 ~x210590+1 ~x1666+1 ~x1637+1 ~x1608+1 ~x1579+1 ~x1550+1 ~x1521-0=12
16.18/16.29	c 4 ~x210730+2 ~x210729+1 ~x210728+1 ~x1665+1 ~x1636+1 ~x1607+1 ~x1578+1 ~x1549+1 ~x1520-0=12
16.18/16.29	c 4 ~x210868+2 ~x210867+1 ~x210866+1 ~x1664+1 ~x1635+1 ~x1606+1 ~x1577+1 ~x1548+1 ~x1519-0=12
16.18/16.29	c 4 ~x211006+2 ~x211005+1 ~x211004+1 ~x1663+1 ~x1634+1 ~x1605+1 ~x1576+1 ~x1547+1 ~x1518-0=12
16.28/16.30	c 4 ~x211144+2 ~x211143+1 ~x211142+1 ~x1662+1 ~x1633+1 ~x1604+1 ~x1575+1 ~x1546+1 ~x1517-0=12
16.28/16.30	c 4 ~x211282+2 ~x211281+1 ~x211280+1 ~x1661+1 ~x1632+1 ~x1603+1 ~x1574+1 ~x1545+1 ~x1516-0=12
16.28/16.30	c 4 ~x211420+2 ~x211419+1 ~x211418+1 ~x1660+1 ~x1631+1 ~x1602+1 ~x1573+1 ~x1544+1 ~x1515-0=12
16.28/16.32	c 4 ~x211558+2 ~x211557+1 ~x211556+1 ~x1659+1 ~x1630+1 ~x1601+1 ~x1572+1 ~x1543+1 ~x1514-0=12
16.28/16.32	c 4 ~x211696+2 ~x211695+1 ~x211694+1 ~x1658+1 ~x1629+1 ~x1600+1 ~x1571+1 ~x1542+1 ~x1513-0=12
16.28/16.32	c 4 ~x211834+2 ~x211833+1 ~x211832+1 ~x1657+1 ~x1628+1 ~x1599+1 ~x1570+1 ~x1541+1 ~x1512-0=12
16.28/16.33	c 4 ~x211972+2 ~x211971+1 ~x211970+1 ~x1656+1 ~x1627+1 ~x1598+1 ~x1569+1 ~x1540+1 ~x1511-0=12
16.28/16.33	c 4 ~x212110+2 ~x212109+1 ~x212108+1 ~x1655+1 ~x1626+1 ~x1597+1 ~x1568+1 ~x1539+1 ~x1510-0=12
16.28/16.34	c 4 ~x212248+2 ~x212247+1 ~x212246+1 ~x1654+1 ~x1625+1 ~x1596+1 ~x1567+1 ~x1538+1 ~x1509-0=12
16.28/16.34	c 4 ~x212386+2 ~x212385+1 ~x212384+1 ~x1653+1 ~x1624+1 ~x1595+1 ~x1566+1 ~x1537+1 ~x1508-0=12
16.28/16.34	c 4 ~x212524+2 ~x212523+1 ~x212522+1 ~x1855+1 ~x1826+1 ~x1797+1 ~x1768+1 ~x1739+1 ~x1710-0=12
16.28/16.35	c 4 ~x212662+2 ~x212661+1 ~x212660+1 ~x1854+1 ~x1825+1 ~x1796+1 ~x1767+1 ~x1738+1 ~x1709-0=12
16.28/16.35	c 4 ~x212800+2 ~x212799+1 ~x212798+1 ~x1853+1 ~x1824+1 ~x1795+1 ~x1766+1 ~x1737+1 ~x1708-0=12
16.28/16.35	c 4 ~x212938+2 ~x212937+1 ~x212936+1 ~x1852+1 ~x1823+1 ~x1794+1 ~x1765+1 ~x1736+1 ~x1707-0=12
16.28/16.36	c 4 ~x213076+2 ~x213075+1 ~x213074+1 ~x1851+1 ~x1822+1 ~x1793+1 ~x1764+1 ~x1735+1 ~x1706-0=12
16.28/16.36	c 4 ~x213214+2 ~x213213+1 ~x213212+1 ~x1850+1 ~x1821+1 ~x1792+1 ~x1763+1 ~x1734+1 ~x1705-0=12
16.28/16.38	c 4 ~x213352+2 ~x213351+1 ~x213350+1 ~x1849+1 ~x1820+1 ~x1791+1 ~x1762+1 ~x1733+1 ~x1704-0=12
16.28/16.38	c 4 ~x213490+2 ~x213489+1 ~x213488+1 ~x1848+1 ~x1819+1 ~x1790+1 ~x1761+1 ~x1732+1 ~x1703-0=12
16.28/16.38	c 4 ~x213628+2 ~x213627+1 ~x213626+1 ~x1847+1 ~x1818+1 ~x1789+1 ~x1760+1 ~x1731+1 ~x1702-0=12
16.28/16.39	c 4 ~x213766+2 ~x213765+1 ~x213764+1 ~x1846+1 ~x1817+1 ~x1788+1 ~x1759+1 ~x1730+1 ~x1701-0=12
16.28/16.39	c 4 ~x213904+2 ~x213903+1 ~x213902+1 ~x1845+1 ~x1816+1 ~x1787+1 ~x1758+1 ~x1729+1 ~x1700-0=12
16.28/16.39	c 4 ~x214042+2 ~x214041+1 ~x214040+1 ~x1844+1 ~x1815+1 ~x1786+1 ~x1757+1 ~x1728+1 ~x1699-0=12
16.39/16.41	c 4 ~x214180+2 ~x214179+1 ~x214178+1 ~x1843+1 ~x1814+1 ~x1785+1 ~x1756+1 ~x1727+1 ~x1698-0=12
16.39/16.41	c 4 ~x214318+2 ~x214317+1 ~x214316+1 ~x1842+1 ~x1813+1 ~x1784+1 ~x1755+1 ~x1726+1 ~x1697-0=12
16.39/16.41	c 4 ~x214456+2 ~x214455+1 ~x214454+1 ~x1841+1 ~x1812+1 ~x1783+1 ~x1754+1 ~x1725+1 ~x1696-0=12
16.39/16.42	c 4 ~x214594+2 ~x214593+1 ~x214592+1 ~x1840+1 ~x1811+1 ~x1782+1 ~x1753+1 ~x1724+1 ~x1695-0=12
16.39/16.42	c 4 ~x214732+2 ~x214731+1 ~x214730+1 ~x1839+1 ~x1810+1 ~x1781+1 ~x1752+1 ~x1723+1 ~x1694-0=12
16.39/16.43	c 4 ~x214870+2 ~x214869+1 ~x214868+1 ~x1838+1 ~x1809+1 ~x1780+1 ~x1751+1 ~x1722+1 ~x1693-0=12
16.39/16.43	c 4 ~x215008+2 ~x215007+1 ~x215006+1 ~x1837+1 ~x1808+1 ~x1779+1 ~x1750+1 ~x1721+1 ~x1692-0=12
16.39/16.43	c 4 ~x215146+2 ~x215145+1 ~x215144+1 ~x1836+1 ~x1807+1 ~x1778+1 ~x1749+1 ~x1720+1 ~x1691-0=12
16.39/16.44	c 4 ~x215284+2 ~x215283+1 ~x215282+1 ~x1835+1 ~x1806+1 ~x1777+1 ~x1748+1 ~x1719+1 ~x1690-0=12
16.39/16.44	c 4 ~x215422+2 ~x215421+1 ~x215420+1 ~x1834+1 ~x1805+1 ~x1776+1 ~x1747+1 ~x1718+1 ~x1689-0=12
16.39/16.44	c 4 ~x215560+2 ~x215559+1 ~x215558+1 ~x1833+1 ~x1804+1 ~x1775+1 ~x1746+1 ~x1717+1 ~x1688-0=12
16.39/16.46	c 4 ~x215698+2 ~x215697+1 ~x215696+1 ~x1832+1 ~x1803+1 ~x1774+1 ~x1745+1 ~x1716+1 ~x1687-0=12
16.39/16.46	c 4 ~x215836+2 ~x215835+1 ~x215834+1 ~x1831+1 ~x1802+1 ~x1773+1 ~x1744+1 ~x1715+1 ~x1686-0=12
16.39/16.46	c 4 ~x215974+2 ~x215973+1 ~x215972+1 ~x1830+1 ~x1801+1 ~x1772+1 ~x1743+1 ~x1714+1 ~x1685-0=12
16.39/16.47	c 4 ~x216112+2 ~x216111+1 ~x216110+1 ~x1829+1 ~x1800+1 ~x1771+1 ~x1742+1 ~x1713+1 ~x1684-0=12
16.39/16.47	c 4 ~x216250+2 ~x216249+1 ~x216248+1 ~x1828+1 ~x1799+1 ~x1770+1 ~x1741+1 ~x1712+1 ~x1683-0=12
16.39/16.48	c 4 ~x216388+2 ~x216387+1 ~x216386+1 ~x1827+1 ~x1798+1 ~x1769+1 ~x1740+1 ~x1711+1 ~x1682-0=12
16.39/16.48	c 4 ~x216526+2 ~x216525+1 ~x216524+1 ~x2023+1 ~x1995+1 ~x1967+1 ~x1939+1 ~x1911+1 ~x1883-0=12
16.39/16.48	c 4 ~x216664+2 ~x216663+1 ~x216662+1 ~x2022+1 ~x1994+1 ~x1966+1 ~x1938+1 ~x1910+1 ~x1882-0=12
16.39/16.49	c 4 ~x216802+2 ~x216801+1 ~x216800+1 ~x2021+1 ~x1993+1 ~x1965+1 ~x1937+1 ~x1909+1 ~x1881-0=12
16.39/16.49	c 4 ~x216940+2 ~x216939+1 ~x216938+1 ~x2020+1 ~x1992+1 ~x1964+1 ~x1936+1 ~x1908+1 ~x1880-0=12
16.39/16.49	c 4 ~x217078+2 ~x217077+1 ~x217076+1 ~x2019+1 ~x1991+1 ~x1963+1 ~x1935+1 ~x1907+1 ~x1879-0=12
16.39/16.50	c 4 ~x217216+2 ~x217215+1 ~x217214+1 ~x2018+1 ~x1990+1 ~x1962+1 ~x1934+1 ~x1906+1 ~x1878-0=12
16.39/16.50	c 4 ~x217354+2 ~x217353+1 ~x217352+1 ~x2017+1 ~x1989+1 ~x1961+1 ~x1933+1 ~x1905+1 ~x1877-0=12
16.49/16.52	c 4 ~x217492+2 ~x217491+1 ~x217490+1 ~x2016+1 ~x1988+1 ~x1960+1 ~x1932+1 ~x1904+1 ~x1876-0=12
16.49/16.52	c 4 ~x217630+2 ~x217629+1 ~x217628+1 ~x2015+1 ~x1987+1 ~x1959+1 ~x1931+1 ~x1903+1 ~x1875-0=12
16.49/16.52	c 4 ~x217768+2 ~x217767+1 ~x217766+1 ~x2014+1 ~x1986+1 ~x1958+1 ~x1930+1 ~x1902+1 ~x1874-0=12
16.49/16.53	c 4 ~x217906+2 ~x217905+1 ~x217904+1 ~x2013+1 ~x1985+1 ~x1957+1 ~x1929+1 ~x1901+1 ~x1873-0=12
16.49/16.53	c 4 ~x218044+2 ~x218043+1 ~x218042+1 ~x2012+1 ~x1984+1 ~x1956+1 ~x1928+1 ~x1900+1 ~x1872-0=12
16.49/16.53	c 4 ~x218182+2 ~x218181+1 ~x218180+1 ~x2011+1 ~x1983+1 ~x1955+1 ~x1927+1 ~x1899+1 ~x1871-0=12
16.49/16.54	c 4 ~x218320+2 ~x218319+1 ~x218318+1 ~x2010+1 ~x1982+1 ~x1954+1 ~x1926+1 ~x1898+1 ~x1870-0=12
16.49/16.54	c 4 ~x218458+2 ~x218457+1 ~x218456+1 ~x2009+1 ~x1981+1 ~x1953+1 ~x1925+1 ~x1897+1 ~x1869-0=12
16.49/16.54	c 4 ~x218596+2 ~x218595+1 ~x218594+1 ~x2008+1 ~x1980+1 ~x1952+1 ~x1924+1 ~x1896+1 ~x1868-0=12
16.49/16.55	c 4 ~x218734+2 ~x218733+1 ~x218732+1 ~x2007+1 ~x1979+1 ~x1951+1 ~x1923+1 ~x1895+1 ~x1867-0=12
16.49/16.55	c 4 ~x218872+2 ~x218871+1 ~x218870+1 ~x2006+1 ~x1978+1 ~x1950+1 ~x1922+1 ~x1894+1 ~x1866-0=12
16.49/16.57	c 4 ~x219010+2 ~x219009+1 ~x219008+1 ~x2005+1 ~x1977+1 ~x1949+1 ~x1921+1 ~x1893+1 ~x1865-0=12
16.49/16.57	c 4 ~x219148+2 ~x219147+1 ~x219146+1 ~x2004+1 ~x1976+1 ~x1948+1 ~x1920+1 ~x1892+1 ~x1864-0=12
16.49/16.57	c 4 ~x219286+2 ~x219285+1 ~x219284+1 ~x2003+1 ~x1975+1 ~x1947+1 ~x1919+1 ~x1891+1 ~x1863-0=12
16.49/16.58	c 4 ~x219424+2 ~x219423+1 ~x219422+1 ~x2002+1 ~x1974+1 ~x1946+1 ~x1918+1 ~x1890+1 ~x1862-0=12
16.49/16.58	c 4 ~x219562+2 ~x219561+1 ~x219560+1 ~x2001+1 ~x1973+1 ~x1945+1 ~x1917+1 ~x1889+1 ~x1861-0=12
16.49/16.58	c 4 ~x219700+2 ~x219699+1 ~x219698+1 ~x2000+1 ~x1972+1 ~x1944+1 ~x1916+1 ~x1888+1 ~x1860-0=12
16.49/16.59	c 4 ~x219838+2 ~x219837+1 ~x219836+1 ~x1999+1 ~x1971+1 ~x1943+1 ~x1915+1 ~x1887+1 ~x1859-0=12
16.49/16.59	c 4 ~x219976+2 ~x219975+1 ~x219974+1 ~x1998+1 ~x1970+1 ~x1942+1 ~x1914+1 ~x1886+1 ~x1858-0=12
16.49/16.59	c 4 ~x220114+2 ~x220113+1 ~x220112+1 ~x1997+1 ~x1969+1 ~x1941+1 ~x1913+1 ~x1885+1 ~x1857-0=12
16.58/16.60	c 4 ~x220252+2 ~x220251+1 ~x220250+1 ~x1996+1 ~x1968+1 ~x1940+1 ~x1912+1 ~x1884+1 ~x1856-0=12
16.58/16.60	c 4 ~x220390+2 ~x220389+1 ~x220388+1 ~x2167+1 ~x2143+1 ~x2119+1 ~x2095+1 ~x2071+1 ~x2047-0=12
16.58/16.62	c 4 ~x220528+2 ~x220527+1 ~x220526+1 ~x2166+1 ~x2142+1 ~x2118+1 ~x2094+1 ~x2070+1 ~x2046-0=12
16.58/16.62	c 4 ~x220666+2 ~x220665+1 ~x220664+1 ~x2165+1 ~x2141+1 ~x2117+1 ~x2093+1 ~x2069+1 ~x2045-0=12
16.58/16.62	c 4 ~x220804+2 ~x220803+1 ~x220802+1 ~x2164+1 ~x2140+1 ~x2116+1 ~x2092+1 ~x2068+1 ~x2044-0=12
16.58/16.63	c 4 ~x220942+2 ~x220941+1 ~x220940+1 ~x2163+1 ~x2139+1 ~x2115+1 ~x2091+1 ~x2067+1 ~x2043-0=12
16.58/16.63	c 4 ~x221080+2 ~x221079+1 ~x221078+1 ~x2162+1 ~x2138+1 ~x2114+1 ~x2090+1 ~x2066+1 ~x2042-0=12
16.58/16.63	c 4 ~x221218+2 ~x221217+1 ~x221216+1 ~x2161+1 ~x2137+1 ~x2113+1 ~x2089+1 ~x2065+1 ~x2041-0=12
16.58/16.64	c 4 ~x221356+2 ~x221355+1 ~x221354+1 ~x2160+1 ~x2136+1 ~x2112+1 ~x2088+1 ~x2064+1 ~x2040-0=12
16.58/16.64	c 4 ~x221494+2 ~x221493+1 ~x221492+1 ~x2159+1 ~x2135+1 ~x2111+1 ~x2087+1 ~x2063+1 ~x2039-0=12
16.58/16.65	c 4 ~x221632+2 ~x221631+1 ~x221630+1 ~x2158+1 ~x2134+1 ~x2110+1 ~x2086+1 ~x2062+1 ~x2038-0=12
16.58/16.65	c 4 ~x221770+2 ~x221769+1 ~x221768+1 ~x2157+1 ~x2133+1 ~x2109+1 ~x2085+1 ~x2061+1 ~x2037-0=12
16.58/16.65	c 4 ~x221908+2 ~x221907+1 ~x221906+1 ~x2156+1 ~x2132+1 ~x2108+1 ~x2084+1 ~x2060+1 ~x2036-0=12
16.58/16.67	c 4 ~x222046+2 ~x222045+1 ~x222044+1 ~x2155+1 ~x2131+1 ~x2107+1 ~x2083+1 ~x2059+1 ~x2035-0=12
16.58/16.67	c 4 ~x222184+2 ~x222183+1 ~x222182+1 ~x2154+1 ~x2130+1 ~x2106+1 ~x2082+1 ~x2058+1 ~x2034-0=12
16.58/16.67	c 4 ~x222322+2 ~x222321+1 ~x222320+1 ~x2153+1 ~x2129+1 ~x2105+1 ~x2081+1 ~x2057+1 ~x2033-0=12
16.58/16.68	c 4 ~x222460+2 ~x222459+1 ~x222458+1 ~x2152+1 ~x2128+1 ~x2104+1 ~x2080+1 ~x2056+1 ~x2032-0=12
16.58/16.68	c 4 ~x222598+2 ~x222597+1 ~x222596+1 ~x2151+1 ~x2127+1 ~x2103+1 ~x2079+1 ~x2055+1 ~x2031-0=12
16.58/16.68	c 4 ~x222736+2 ~x222735+1 ~x222734+1 ~x2150+1 ~x2126+1 ~x2102+1 ~x2078+1 ~x2054+1 ~x2030-0=12
16.58/16.69	c 4 ~x222874+2 ~x222873+1 ~x222872+1 ~x2149+1 ~x2125+1 ~x2101+1 ~x2077+1 ~x2053+1 ~x2029-0=12
16.58/16.69	c 4 ~x223012+2 ~x223011+1 ~x223010+1 ~x2148+1 ~x2124+1 ~x2100+1 ~x2076+1 ~x2052+1 ~x2028-0=12
16.68/16.70	c 4 ~x223150+2 ~x223149+1 ~x223148+1 ~x2147+1 ~x2123+1 ~x2099+1 ~x2075+1 ~x2051+1 ~x2027-0=12
16.68/16.70	c 4 ~x223288+2 ~x223287+1 ~x223286+1 ~x2146+1 ~x2122+1 ~x2098+1 ~x2074+1 ~x2050+1 ~x2026-0=12
16.68/16.70	c 4 ~x223426+2 ~x223425+1 ~x223424+1 ~x2145+1 ~x2

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-2674560-1276792238/watcher-2674560-1276792238 -o /tmp/evaluation-result-2674560-1276792238/solver-2674560-1276792238 -C 1800 -W 2000 -M 1800 run HOME/instance-2674560-1276792238.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.91 0.97 0.99 3/107 16855
/proc/meminfo: memFree=1848520/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0

[startup+0.044868 s]
/proc/loadavg: 0.91 0.97 0.99 3/107 16855
/proc/meminfo: memFree=1848520/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101873 s]
/proc/loadavg: 0.91 0.97 0.99 3/107 16855
/proc/meminfo: memFree=1848520/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300891 s]
/proc/loadavg: 0.91 0.97 0.99 3/107 16855
/proc/meminfo: memFree=1848520/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700927 s]
/proc/loadavg: 0.91 0.97 0.99 3/107 16855
/proc/meminfo: memFree=1848520/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.502 s]
/proc/loadavg: 0.91 0.97 0.99 2/109 16858
/proc/meminfo: memFree=1644400/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
[pid=16857] ppid=16855 vsize=301444 CPUtime=1.49
/proc/16857/stat : 16857 (PBPASSolver) R 16855 16855 16334 0 -1 4202496 74841 0 0 0 63 86 0 0 25 0 1 0 52879571 308678656 74779 1992294400 134512640 134902295 4287778608 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16857/statm: 75361 74779 256 96 0 74573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 310144

[startup+3.10114 s]
/proc/loadavg: 0.91 0.97 0.99 2/109 16858
/proc/meminfo: memFree=1441164/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
[pid=16857] ppid=16855 vsize=577188 CPUtime=3.08
/proc/16857/stat : 16857 (PBPASSolver) R 16855 16855 16334 0 -1 4202496 143793 0 0 0 140 168 0 0 25 0 1 0 52879571 591040512 143731 1992294400 134512640 134902295 4287778608 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16857/statm: 144297 143731 256 96 0 143509 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 585888

[startup+6.30143 s]
/proc/loadavg: 0.92 0.97 0.99 2/109 16858
/proc/meminfo: memFree=928920/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
[pid=16857] ppid=16855 vsize=1041796 CPUtime=6.29
/proc/16857/stat : 16857 (PBPASSolver) R 16855 16855 16334 0 -1 4202496 259940 0 0 0 324 305 0 0 25 0 1 0 52879571 1066799104 259878 1992294400 134512640 134902295 4287778608 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16857/statm: 260449 259878 256 96 0 259661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1050496

[startup+12.701 s]
/proc/loadavg: 0.93 0.97 0.99 2/109 16860
/proc/meminfo: memFree=273332/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
[pid=16857] ppid=16855 vsize=1586080 CPUtime=12.68
/proc/16857/stat : 16857 (PBPASSolver) R 16855 16855 16334 0 -1 4202496 397212 0 0 0 808 460 0 0 25 0 1 0 52879571 1624145920 395639 1992294400 134512640 134902295 4287778608 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16857/statm: 396520 395642 262 96 0 395732 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1594780

[startup+25.5012 s]
/proc/loadavg: 0.94 0.97 0.99 2/109 16860
/proc/meminfo: memFree=91424/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
[pid=16857] ppid=16855 vsize=1765848 CPUtime=25.48
/proc/16857/stat : 16857 (PBPASSolver) R 16855 16855 16334 0 -1 4202496 441174 0 0 0 2071 477 0 0 25 0 1 0 52879571 1808228352 439218 1992294400 134512640 134902295 4287778608 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16857/statm: 441462 439218 262 96 0 440674 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1774548



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+33.6009 s]
/proc/loadavg: 0.95 0.97 0.99 2/109 16860
/proc/meminfo: memFree=18264/2059040 swapFree=4139544/4192956
[pid=16855] ppid=16853 vsize=8700 CPUtime=0
/proc/16855/stat : 16855 (run) S 16853 16855 16334 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 52879571 8908800 250 1992294400 4194304 4922060 140734463521536 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16855/statm: 2175 250 211 178 0 68 0
[pid=16857] ppid=16855 vsize=1835220 CPUtime=33.58
/proc/16857/stat : 16857 (PBPASSolver) R 16855 16855 16334 0 -1 4202496 458676 0 0 0 2875 483 0 0 25 0 1 0 52879571 1879265280 456720 1992294400 134512640 134902295 4287778608 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16857/statm: 458805 456720 262 96 0 458017 0
Current children cumulated CPU time (s) 33.58
Current children cumulated vsize (KiB) 1843920

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 16855 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 33.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 33.6142
CPU time (s): 33.58
CPU user time (s): 28.75
CPU system time (s): 4.83
CPU usage (%): 99.8984
Max. virtual memory (cumulated for all children) (KiB): 1843920

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

The end

Begin job on node025 at 2010-06-17 18:30:38
IDJOB=2674560
IDBENCH=1500
IDSOLVER=1174
FILE ID=node025/2674560-1276792238
PBS_JOBID= 11176607
Free space on /tmp= 62576 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674560-1276792238/watcher-2674560-1276792238 -o /tmp/evaluation-result-2674560-1276792238/solver-2674560-1276792238 -C 1800 -W 2000 -M 1800  run HOME/instance-2674560-1276792238.opb

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

MD5SUM BENCH= d484bc8efed557f17788965b19feafe5
RANDOM SEED=692906924

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848916 kB
Buffers:         31424 kB
Cached:          88796 kB
SwapCached:       6344 kB
Active:          28624 kB
Inactive:       104652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848916 kB
SwapTotal:     4192956 kB
SwapFree:      4139544 kB
Dirty:            1700 kB
Writeback:           0 kB
AnonPages:       11292 kB
Mapped:          12776 kB
Slab:            54912 kB
PageTables:       3972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183668 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= 62576 MiB
End job on node025 at 2010-06-17 18:31:14