3.68/3.72	c 2112 5020 0 0 0 0 0 0
3.68/3.72	c 8 ~x84257+4 ~x84256+2 ~x84255+1 ~x84254+1 ~x817+1 ~x812+1 ~x807+1 ~x802+1 ~x737+1 ~x732+1 ~x727+1 ~x722+1 ~x97+1 ~x92+1 ~x87+1 ~x82+1 ~x17+1 ~x12+1 ~x7+1 ~x2-0=30
3.68/3.72	c 8 ~x84809+4 ~x84808+2 ~x84807+1 ~x84806+1 ~x818+1 ~x813+1 ~x808+1 ~x803+1 ~x738+1 ~x733+1 ~x728+1 ~x723+1 ~x98+1 ~x93+1 ~x88+1 ~x83+1 ~x18+1 ~x13+1 ~x8+1 ~x3-0=30
3.68/3.75	c 8 ~x85361+4 ~x85360+2 ~x85359+1 ~x85358+1 ~x819+1 ~x814+1 ~x809+1 ~x804+1 ~x739+1 ~x734+1 ~x729+1 ~x724+1 ~x99+1 ~x94+1 ~x89+1 ~x84+1 ~x19+1 ~x14+1 ~x9+1 ~x4-0=30
3.78/3.80	c 8 ~x85913+4 ~x85912+2 ~x85911+1 ~x85910+1 ~x820+1 ~x815+1 ~x810+1 ~x805+1 ~x740+1 ~x735+1 ~x730+1 ~x725+1 ~x100+1 ~x95+1 ~x90+1 ~x85+1 ~x20+1 ~x15+1 ~x10+1 ~x5-0=30
3.78/3.80	c 8 ~x86465+4 ~x86464+2 ~x86463+1 ~x86462+1 ~x821+1 ~x816+1 ~x811+1 ~x806+1 ~x741+1 ~x736+1 ~x731+1 ~x726+1 ~x101+1 ~x96+1 ~x91+1 ~x86+1 ~x21+1 ~x16+1 ~x11+1 ~x6-0=30
3.78/3.84	c 8 ~x87017+4 ~x87016+2 ~x87015+1 ~x87014+1 ~x837+1 ~x832+1 ~x827+1 ~x822+1 ~x757+1 ~x752+1 ~x747+1 ~x742+1 ~x117+1 ~x112+1 ~x107+1 ~x102+1 ~x37+1 ~x32+1 ~x27+1 ~x22-0=30
3.78/3.86	c 8 ~x87569+4 ~x87568+2 ~x87567+1 ~x87566+1 ~x838+1 ~x833+1 ~x828+1 ~x823+1 ~x758+1 ~x753+1 ~x748+1 ~x743+1 ~x118+1 ~x113+1 ~x108+1 ~x103+1 ~x38+1 ~x33+1 ~x28+1 ~x23-0=30
3.78/3.86	c 8 ~x88121+4 ~x88120+2 ~x88119+1 ~x88118+1 ~x839+1 ~x834+1 ~x829+1 ~x824+1 ~x759+1 ~x754+1 ~x749+1 ~x744+1 ~x119+1 ~x114+1 ~x109+1 ~x104+1 ~x39+1 ~x34+1 ~x29+1 ~x24-0=30
3.78/3.87	c 8 ~x88673+4 ~x88672+2 ~x88671+1 ~x88670+1 ~x840+1 ~x835+1 ~x830+1 ~x825+1 ~x760+1 ~x755+1 ~x750+1 ~x745+1 ~x120+1 ~x115+1 ~x110+1 ~x105+1 ~x40+1 ~x35+1 ~x30+1 ~x25-0=30
3.88/3.90	c 8 ~x89225+4 ~x89224+2 ~x89223+1 ~x89222+1 ~x841+1 ~x836+1 ~x831+1 ~x826+1 ~x761+1 ~x756+1 ~x751+1 ~x746+1 ~x121+1 ~x116+1 ~x111+1 ~x106+1 ~x41+1 ~x36+1 ~x31+1 ~x26-0=30
3.88/3.90	c 8 ~x89777+4 ~x89776+2 ~x89775+1 ~x89774+1 ~x857+1 ~x852+1 ~x847+1 ~x842+1 ~x777+1 ~x772+1 ~x767+1 ~x762+1 ~x137+1 ~x132+1 ~x127+1 ~x122+1 ~x57+1 ~x52+1 ~x47+1 ~x42-0=30
3.88/3.92	c 8 ~x90329+4 ~x90328+2 ~x90327+1 ~x90326+1 ~x858+1 ~x853+1 ~x848+1 ~x843+1 ~x778+1 ~x773+1 ~x768+1 ~x763+1 ~x138+1 ~x133+1 ~x128+1 ~x123+1 ~x58+1 ~x53+1 ~x48+1 ~x43-0=30
3.88/3.95	c 8 ~x90881+4 ~x90880+2 ~x90879+1 ~x90878+1 ~x859+1 ~x854+1 ~x849+1 ~x844+1 ~x779+1 ~x774+1 ~x769+1 ~x764+1 ~x139+1 ~x134+1 ~x129+1 ~x124+1 ~x59+1 ~x54+1 ~x49+1 ~x44-0=30
3.88/3.95	c 8 ~x91433+4 ~x91432+2 ~x91431+1 ~x91430+1 ~x860+1 ~x855+1 ~x850+1 ~x845+1 ~x780+1 ~x775+1 ~x770+1 ~x765+1 ~x140+1 ~x135+1 ~x130+1 ~x125+1 ~x60+1 ~x55+1 ~x50+1 ~x45-0=30
3.88/3.97	c 8 ~x91985+4 ~x91984+2 ~x91983+1 ~x91982+1 ~x861+1 ~x856+1 ~x851+1 ~x846+1 ~x781+1 ~x776+1 ~x771+1 ~x766+1 ~x141+1 ~x136+1 ~x131+1 ~x126+1 ~x61+1 ~x56+1 ~x51+1 ~x46-0=30
3.88/4.00	c 8 ~x92537+4 ~x92536+2 ~x92535+1 ~x92534+1 ~x877+1 ~x872+1 ~x867+1 ~x862+1 ~x797+1 ~x792+1 ~x787+1 ~x782+1 ~x157+1 ~x152+1 ~x147+1 ~x142+1 ~x77+1 ~x72+1 ~x67+1 ~x62-0=30
3.88/4.00	c 8 ~x93089+4 ~x93088+2 ~x93087+1 ~x93086+1 ~x878+1 ~x873+1 ~x868+1 ~x863+1 ~x798+1 ~x793+1 ~x788+1 ~x783+1 ~x158+1 ~x153+1 ~x148+1 ~x143+1 ~x78+1 ~x73+1 ~x68+1 ~x63-0=30
3.99/4.01	c 8 ~x93641+4 ~x93640+2 ~x93639+1 ~x93638+1 ~x879+1 ~x874+1 ~x869+1 ~x864+1 ~x799+1 ~x794+1 ~x789+1 ~x784+1 ~x159+1 ~x154+1 ~x149+1 ~x144+1 ~x79+1 ~x74+1 ~x69+1 ~x64-0=30
3.99/4.04	c 8 ~x94193+4 ~x94192+2 ~x94191+1 ~x94190+1 ~x880+1 ~x875+1 ~x870+1 ~x865+1 ~x800+1 ~x795+1 ~x790+1 ~x785+1 ~x160+1 ~x155+1 ~x150+1 ~x145+1 ~x80+1 ~x75+1 ~x70+1 ~x65-0=30
3.99/4.04	c 8 ~x94745+4 ~x94744+2 ~x94743+1 ~x94742+1 ~x881+1 ~x876+1 ~x871+1 ~x866+1 ~x801+1 ~x796+1 ~x791+1 ~x786+1 ~x161+1 ~x156+1 ~x151+1 ~x146+1 ~x81+1 ~x76+1 ~x71+1 ~x66-0=30
3.99/4.07	c 8 ~x95297+4 ~x95296+2 ~x95295+1 ~x95294+1 ~x817+1 ~x812+1 ~x807+1 ~x802+1 ~x737+1 ~x732+1 ~x727+1 ~x722+1 ~x97+1 ~x92+1 ~x87+1 ~x82+1 ~x17+1 ~x12+1 ~x7+1 ~x2-0=30
3.99/4.07	c 8 ~x95849+4 ~x95848+2 ~x95847+1 ~x95846+1 ~x818+1 ~x813+1 ~x808+1 ~x803+1 ~x738+1 ~x733+1 ~x728+1 ~x723+1 ~x98+1 ~x93+1 ~x88+1 ~x83+1 ~x18+1 ~x13+1 ~x8+1 ~x3-0=30
3.99/4.09	c 8 ~x96401+4 ~x96400+2 ~x96399+1 ~x96398+1 ~x819+1 ~x814+1 ~x809+1 ~x804+1 ~x739+1 ~x734+1 ~x729+1 ~x724+1 ~x99+1 ~x94+1 ~x89+1 ~x84+1 ~x19+1 ~x14+1 ~x9+1 ~x4-0=30
4.09/4.12	c 8 ~x96953+4 ~x96952+2 ~x96951+1 ~x96950+1 ~x820+1 ~x815+1 ~x810+1 ~x805+1 ~x740+1 ~x735+1 ~x730+1 ~x725+1 ~x100+1 ~x95+1 ~x90+1 ~x85+1 ~x20+1 ~x15+1 ~x10+1 ~x5-0=30
4.09/4.12	c 8 ~x97505+4 ~x97504+2 ~x97503+1 ~x97502+1 ~x821+1 ~x816+1 ~x811+1 ~x806+1 ~x741+1 ~x736+1 ~x731+1 ~x726+1 ~x101+1 ~x96+1 ~x91+1 ~x86+1 ~x21+1 ~x16+1 ~x11+1 ~x6-0=30
4.09/4.13	c 8 ~x98057+4 ~x98056+2 ~x98055+1 ~x98054+1 ~x837+1 ~x832+1 ~x827+1 ~x822+1 ~x757+1 ~x752+1 ~x747+1 ~x742+1 ~x117+1 ~x112+1 ~x107+1 ~x102+1 ~x37+1 ~x32+1 ~x27+1 ~x22-0=30
4.09/4.16	c 8 ~x98609+4 ~x98608+2 ~x98607+1 ~x98606+1 ~x838+1 ~x833+1 ~x828+1 ~x823+1 ~x758+1 ~x753+1 ~x748+1 ~x743+1 ~x118+1 ~x113+1 ~x108+1 ~x103+1 ~x38+1 ~x33+1 ~x28+1 ~x23-0=30
4.09/4.16	c 8 ~x99161+4 ~x99160+2 ~x99159+1 ~x99158+1 ~x839+1 ~x834+1 ~x829+1 ~x824+1 ~x759+1 ~x754+1 ~x749+1 ~x744+1 ~x119+1 ~x114+1 ~x109+1 ~x104+1 ~x39+1 ~x34+1 ~x29+1 ~x24-0=30
4.09/4.18	c 8 ~x99713+4 ~x99712+2 ~x99711+1 ~x99710+1 ~x840+1 ~x835+1 ~x830+1 ~x825+1 ~x760+1 ~x755+1 ~x750+1 ~x745+1 ~x120+1 ~x115+1 ~x110+1 ~x105+1 ~x40+1 ~x35+1 ~x30+1 ~x25-0=30
4.19/4.21	c 8 ~x100265+4 ~x100264+2 ~x100263+1 ~x100262+1 ~x841+1 ~x836+1 ~x831+1 ~x826+1 ~x761+1 ~x756+1 ~x751+1 ~x746+1 ~x121+1 ~x116+1 ~x111+1 ~x106+1 ~x41+1 ~x36+1 ~x31+1 ~x26-0=30
4.19/4.21	c 8 ~x100817+4 ~x100816+2 ~x100815+1 ~x100814+1 ~x857+1 ~x852+1 ~x847+1 ~x842+1 ~x777+1 ~x772+1 ~x767+1 ~x762+1 ~x137+1 ~x132+1 ~x127+1 ~x122+1 ~x57+1 ~x52+1 ~x47+1 ~x42-0=30
4.19/4.22	c 8 ~x101369+4 ~x101368+2 ~x101367+1 ~x101366+1 ~x858+1 ~x853+1 ~x848+1 ~x843+1 ~x778+1 ~x773+1 ~x768+1 ~x763+1 ~x138+1 ~x133+1 ~x128+1 ~x123+1 ~x58+1 ~x53+1 ~x48+1 ~x43-0=30
4.19/4.25	c 8 ~x101921+4 ~x101920+2 ~x101919+1 ~x101918+1 ~x859+1 ~x854+1 ~x849+1 ~x844+1 ~x779+1 ~x774+1 ~x769+1 ~x764+1 ~x139+1 ~x134+1 ~x129+1 ~x124+1 ~x59+1 ~x54+1 ~x49+1 ~x44-0=30
4.19/4.25	c 8 ~x102473+4 ~x102472+2 ~x102471+1 ~x102470+1 ~x860+1 ~x855+1 ~x850+1 ~x845+1 ~x780+1 ~x775+1 ~x770+1 ~x765+1 ~x140+1 ~x135+1 ~x130+1 ~x125+1 ~x60+1 ~x55+1 ~x50+1 ~x45-0=30
4.19/4.27	c 8 ~x103025+4 ~x103024+2 ~x103023+1 ~x103022+1 ~x861+1 ~x856+1 ~x851+1 ~x846+1 ~x781+1 ~x776+1 ~x771+1 ~x766+1 ~x141+1 ~x136+1 ~x131+1 ~x126+1 ~x61+1 ~x56+1 ~x51+1 ~x46-0=30
4.19/4.28	c 8 ~x103577+4 ~x103576+2 ~x103575+1 ~x103574+1 ~x877+1 ~x872+1 ~x867+1 ~x862+1 ~x797+1 ~x792+1 ~x787+1 ~x782+1 ~x157+1 ~x152+1 ~x147+1 ~x142+1 ~x77+1 ~x72+1 ~x67+1 ~x62-0=30
4.29/4.31	c 8 ~x104129+4 ~x104128+2 ~x104127+1 ~x104126+1 ~x878+1 ~x873+1 ~x868+1 ~x863+1 ~x798+1 ~x793+1 ~x788+1 ~x783+1 ~x158+1 ~x153+1 ~x148+1 ~x143+1 ~x78+1 ~x73+1 ~x68+1 ~x63-0=30
4.29/4.31	c 8 ~x104681+4 ~x104680+2 ~x104679+1 ~x104678+1 ~x879+1 ~x874+1 ~x869+1 ~x864+1 ~x799+1 ~x794+1 ~x789+1 ~x784+1 ~x159+1 ~x154+1 ~x149+1 ~x144+1 ~x79+1 ~x74+1 ~x69+1 ~x64-0=30
4.29/4.33	c 8 ~x105233+4 ~x105232+2 ~x105231+1 ~x105230+1 ~x880+1 ~x875+1 ~x870+1 ~x865+1 ~x800+1 ~x795+1 ~x790+1 ~x785+1 ~x160+1 ~x155+1 ~x150+1 ~x145+1 ~x80+1 ~x75+1 ~x70+1 ~x65-0=30
4.29/4.36	c 8 ~x105785+4 ~x105784+2 ~x105783+1 ~x105782+1 ~x881+1 ~x876+1 ~x871+1 ~x866+1 ~x801+1 ~x796+1 ~x791+1 ~x786+1 ~x161+1 ~x156+1 ~x151+1 ~x146+1 ~x81+1 ~x76+1 ~x71+1 ~x66-0=30
4.29/4.36	c 8 ~x106337+4 ~x106336+2 ~x106335+1 ~x106334+1 ~x917+1 ~x912+1 ~x907+1 ~x902+1 ~x897+1 ~x892+1 ~x887+1 ~x882+1 ~x197+1 ~x192+1 ~x187+1 ~x182+1 ~x177+1 ~x172+1 ~x167+1 ~x162-0=30
4.29/4.37	c 8 ~x106889+4 ~x106888+2 ~x106887+1 ~x106886+1 ~x918+1 ~x913+1 ~x908+1 ~x903+1 ~x898+1 ~x893+1 ~x888+1 ~x883+1 ~x198+1 ~x193+1 ~x188+1 ~x183+1 ~x178+1 ~x173+1 ~x168+1 ~x163-0=30
4.29/4.40	c 8 ~x107441+4 ~x107440+2 ~x107439+1 ~x107438+1 ~x919+1 ~x914+1 ~x909+1 ~x904+1 ~x899+1 ~x894+1 ~x889+1 ~x884+1 ~x199+1 ~x194+1 ~x189+1 ~x184+1 ~x179+1 ~x174+1 ~x169+1 ~x164-0=30
4.29/4.40	c 8 ~x107993+4 ~x107992+2 ~x107991+1 ~x107990+1 ~x920+1 ~x915+1 ~x910+1 ~x905+1 ~x900+1 ~x895+1 ~x890+1 ~x885+1 ~x200+1 ~x195+1 ~x190+1 ~x185+1 ~x180+1 ~x175+1 ~x170+1 ~x165-0=30
4.40/4.42	c 8 ~x108545+4 ~x108544+2 ~x108543+1 ~x108542+1 ~x921+1 ~x916+1 ~x911+1 ~x906+1 ~x901+1 ~x896+1 ~x891+1 ~x886+1 ~x201+1 ~x196+1 ~x191+1 ~x186+1 ~x181+1 ~x176+1 ~x171+1 ~x166-0=30
4.40/4.45	c 8 ~x109097+4 ~x109096+2 ~x109095+1 ~x109094+1 ~x917+1 ~x912+1 ~x907+1 ~x902+1 ~x897+1 ~x892+1 ~x887+1 ~x882+1 ~x197+1 ~x192+1 ~x187+1 ~x182+1 ~x177+1 ~x172+1 ~x167+1 ~x162-0=30
4.40/4.45	c 8 ~x109649+4 ~x109648+2 ~x109647+1 ~x109646+1 ~x918+1 ~x913+1 ~x908+1 ~x903+1 ~x898+1 ~x893+1 ~x888+1 ~x883+1 ~x198+1 ~x193+1 ~x188+1 ~x183+1 ~x178+1 ~x173+1 ~x168+1 ~x163-0=30
4.40/4.46	c 8 ~x110201+4 ~x110200+2 ~x110199+1 ~x110198+1 ~x919+1 ~x914+1 ~x909+1 ~x904+1 ~x899+1 ~x894+1 ~x889+1 ~x884+1 ~x199+1 ~x194+1 ~x189+1 ~x184+1 ~x179+1 ~x174+1 ~x169+1 ~x164-0=30
4.40/4.48	c 8 ~x110753+4 ~x110752+2 ~x110751+1 ~x110750+1 ~x920+1 ~x915+1 ~x910+1 ~x905+1 ~x900+1 ~x895+1 ~x890+1 ~x885+1 ~x200+1 ~x195+1 ~x190+1 ~x185+1 ~x180+1 ~x175+1 ~x170+1 ~x165-0=30
4.49/4.51	c 8 ~x111305+4 ~x111304+2 ~x111303+1 ~x111302+1 ~x921+1 ~x916+1 ~x911+1 ~x906+1 ~x901+1 ~x896+1 ~x891+1 ~x886+1 ~x201+1 ~x196+1 ~x191+1 ~x186+1 ~x181+1 ~x176+1 ~x171+1 ~x166-0=30
4.49/4.51	c 8 ~x111857+4 ~x111856+2 ~x111855+1 ~x111854+1 ~x957+1 ~x952+1 ~x947+1 ~x942+1 ~x937+1 ~x932+1 ~x927+1 ~x922+1 ~x237+1 ~x232+1 ~x227+1 ~x222+1 ~x217+1 ~x212+1 ~x207+1 ~x202-0=30
4.49/4.52	c 8 ~x112409+4 ~x112408+2 ~x112407+1 ~x112406+1 ~x958+1 ~x953+1 ~x948+1 ~x943+1 ~x938+1 ~x933+1 ~x928+1 ~x923+1 ~x238+1 ~x233+1 ~x228+1 ~x223+1 ~x218+1 ~x213+1 ~x208+1 ~x203-0=30
4.49/4.55	c 8 ~x112961+4 ~x112960+2 ~x112959+1 ~x112958+1 ~x959+1 ~x954+1 ~x949+1 ~x944+1 ~x939+1 ~x934+1 ~x929+1 ~x924+1 ~x239+1 ~x234+1 ~x229+1 ~x224+1 ~x219+1 ~x214+1 ~x209+1 ~x204-0=30
4.49/4.55	c 8 ~x113513+4 ~x113512+2 ~x113511+1 ~x113510+1 ~x960+1 ~x955+1 ~x950+1 ~x945+1 ~x940+1 ~x935+1 ~x930+1 ~x925+1 ~x240+1 ~x235+1 ~x230+1 ~x225+1 ~x220+1 ~x215+1 ~x210+1 ~x205-0=30
4.49/4.57	c 8 ~x114065+4 ~x114064+2 ~x114063+1 ~x114062+1 ~x961+1 ~x956+1 ~x951+1 ~x946+1 ~x941+1 ~x936+1 ~x931+1 ~x926+1 ~x241+1 ~x236+1 ~x231+1 ~x226+1 ~x221+1 ~x216+1 ~x211+1 ~x206-0=30
4.59/4.60	c 8 ~x114617+4 ~x114616+2 ~x114615+1 ~x114614+1 ~x957+1 ~x952+1 ~x947+1 ~x942+1 ~x937+1 ~x932+1 ~x927+1 ~x922+1 ~x237+1 ~x232+1 ~x227+1 ~x222+1 ~x217+1 ~x212+1 ~x207+1 ~x202-0=30
4.59/4.60	c 8 ~x115169+4 ~x115168+2 ~x115167+1 ~x115166+1 ~x958+1 ~x953+1 ~x948+1 ~x943+1 ~x938+1 ~x933+1 ~x928+1 ~x923+1 ~x238+1 ~x233+1 ~x228+1 ~x223+1 ~x218+1 ~x213+1 ~x208+1 ~x203-0=30
4.59/4.61	c 8 ~x115721+4 ~x115720+2 ~x115719+1 ~x115718+1 ~x959+1 ~x954+1 ~x949+1 ~x944+1 ~x939+1 ~x934+1 ~x929+1 ~x924+1 ~x239+1 ~x234+1 ~x229+1 ~x224+1 ~x219+1 ~x214+1 ~x209+1 ~x204-0=30
4.59/4.63	c 8 ~x116273+4 ~x116272+2 ~x116271+1 ~x116270+1 ~x960+1 ~x955+1 ~x950+1 ~x945+1 ~x940+1 ~x935+1 ~x930+1 ~x925+1 ~x240+1 ~x235+1 ~x230+1 ~x225+1 ~x220+1 ~x215+1 ~x210+1 ~x205-0=30
4.59/4.66	c 8 ~x116825+4 ~x116824+2 ~x116823+1 ~x116822+1 ~x961+1 ~x956+1 ~x951+1 ~x946+1 ~x941+1 ~x936+1 ~x931+1 ~x926+1 ~x241+1 ~x236+1 ~x231+1 ~x226+1 ~x221+1 ~x216+1 ~x211+1 ~x206-0=30
4.59/4.66	c 8 ~x117377+4 ~x117376+2 ~x117375+1 ~x117374+1 ~x997+1 ~x992+1 ~x987+1 ~x982+1 ~x977+1 ~x972+1 ~x967+1 ~x962+1 ~x277+1 ~x272+1 ~x267+1 ~x262+1 ~x257+1 ~x252+1 ~x247+1 ~x242-0=30
4.59/4.67	c 8 ~x117929+4 ~x117928+2 ~x117927+1 ~x117926+1 ~x998+1 ~x993+1 ~x988+1 ~x983+1 ~x978+1 ~x973+1 ~x968+1 ~x963+1 ~x278+1 ~x273+1 ~x268+1 ~x263+1 ~x258+1 ~x253+1 ~x248+1 ~x243-0=30
4.68/4.70	c 8 ~x118481+4 ~x118480+2 ~x118479+1 ~x118478+1 ~x999+1 ~x994+1 ~x989+1 ~x984+1 ~x979+1 ~x974+1 ~x969+1 ~x964+1 ~x279+1 ~x274+1 ~x269+1 ~x264+1 ~x259+1 ~x254+1 ~x249+1 ~x244-0=30
4.68/4.70	c 8 ~x119033+4 ~x119032+2 ~x119031+1 ~x119030+1 ~x1000+1 ~x995+1 ~x990+1 ~x985+1 ~x980+1 ~x975+1 ~x970+1 ~x965+1 ~x280+1 ~x275+1 ~x270+1 ~x265+1 ~x260+1 ~x255+1 ~x250+1 ~x245-0=30
4.68/4.72	c 8 ~x119585+4 ~x119584+2 ~x119583+1 ~x119582+1 ~x1001+1 ~x996+1 ~x991+1 ~x986+1 ~x981+1 ~x976+1 ~x971+1 ~x966+1 ~x281+1 ~x276+1 ~x271+1 ~x266+1 ~x261+1 ~x256+1 ~x251+1 ~x246-0=30
4.68/4.75	c 8 ~x120137+4 ~x120136+2 ~x120135+1 ~x120134+1 ~x997+1 ~x992+1 ~x987+1 ~x982+1 ~x977+1 ~x972+1 ~x967+1 ~x962+1 ~x277+1 ~x272+1 ~x267+1 ~x262+1 ~x257+1 ~x252+1 ~x247+1 ~x242-0=30
4.68/4.75	c 8 ~x120689+4 ~x120688+2 ~x120687+1 ~x120686+1 ~x998+1 ~x993+1 ~x988+1 ~x983+1 ~x978+1 ~x973+1 ~x968+1 ~x963+1 ~x278+1 ~x273+1 ~x268+1 ~x263+1 ~x258+1 ~x253+1 ~x248+1 ~x243-0=30
4.68/4.76	c 8 ~x121241+4 ~x121240+2 ~x121239+1 ~x121238+1 ~x999+1 ~x994+1 ~x989+1 ~x984+1 ~x979+1 ~x974+1 ~x969+1 ~x964+1 ~x279+1 ~x274+1 ~x269+1 ~x264+1 ~x259+1 ~x254+1 ~x249+1 ~x244-0=30
4.68/4.78	c 8 ~x121793+4 ~x121792+2 ~x121791+1 ~x121790+1 ~x1000+1 ~x995+1 ~x990+1 ~x985+1 ~x980+1 ~x975+1 ~x970+1 ~x965+1 ~x280+1 ~x275+1 ~x270+1 ~x265+1 ~x260+1 ~x255+1 ~x250+1 ~x245-0=30
4.78/4.81	c 8 ~x122345+4 ~x122344+2 ~x122343+1 ~x122342+1 ~x1001+1 ~x996+1 ~x991+1 ~x986+1 ~x981+1 ~x976+1 ~x971+1 ~x966+1 ~x281+1 ~x276+1 ~x271+1 ~x266+1 ~x261+1 ~x256+1 ~x251+1 ~x246-0=30
4.78/4.81	c 8 ~x122897+4 ~x122896+2 ~x122895+1 ~x122894+1 ~x1037+1 ~x1032+1 ~x1027+1 ~x1022+1 ~x1017+1 ~x1012+1 ~x1007+1 ~x1002+1 ~x317+1 ~x312+1 ~x307+1 ~x302+1 ~x297+1 ~x292+1 ~x287+1 ~x282-0=30
4.78/4.83	c 8 ~x123449+4 ~x123448+2 ~x123447+1 ~x123446+1 ~x1038+1 ~x1033+1 ~x1028+1 ~x1023+1 ~x1018+1 ~x1013+1 ~x1008+1 ~x1003+1 ~x318+1 ~x313+1 ~x308+1 ~x303+1 ~x298+1 ~x293+1 ~x288+1 ~x283-0=30
4.78/4.86	c 8 ~x124001+4 ~x124000+2 ~x123999+1 ~x123998+1 ~x1039+1 ~x1034+1 ~x1029+1 ~x1024+1 ~x1019+1 ~x1014+1 ~x1009+1 ~x1004+1 ~x319+1 ~x314+1 ~x309+1 ~x304+1 ~x299+1 ~x294+1 ~x289+1 ~x284-0=30
4.78/4.86	c 8 ~x124553+4 ~x124552+2 ~x124551+1 ~x124550+1 ~x1040+1 ~x1035+1 ~x1030+1 ~x1025+1 ~x1020+1 ~x1015+1 ~x1010+1 ~x1005+1 ~x320+1 ~x315+1 ~x310+1 ~x305+1 ~x300+1 ~x295+1 ~x290+1 ~x285-0=30
4.78/4.87	c 8 ~x125105+4 ~x125104+2 ~x125103+1 ~x125102+1 ~x1041+1 ~x1036+1 ~x1031+1 ~x1026+1 ~x1021+1 ~x1016+1 ~x1011+1 ~x1006+1 ~x321+1 ~x316+1 ~x311+1 ~x306+1 ~x301+1 ~x296+1 ~x291+1 ~x286-0=30
4.78/4.89	c 8 ~x125657+4 ~x125656+2 ~x125655+1 ~x125654+1 ~x1037+1 ~x1032+1 ~x1027+1 ~x1022+1 ~x1017+1 ~x1012+1 ~x1007+1 ~x1002+1 ~x317+1 ~x312+1 ~x307+1 ~x302+1 ~x297+1 ~x292+1 ~x287+1 ~x282-0=30
4.88/4.92	c 8 ~x126209+4 ~x126208+2 ~x126207+1 ~x126206+1 ~x1038+1 ~x1033+1 ~x1028+1 ~x1023+1 ~x1018+1 ~x1013+1 ~x1008+1 ~x1003+1 ~x318+1 ~x313+1 ~x308+1 ~x303+1 ~x298+1 ~x293+1 ~x288+1 ~x283-0=30
4.88/4.92	c 8 ~x126761+4 ~x126760+2 ~x126759+1 ~x126758+1 ~x1039+1 ~x1034+1 ~x1029+1 ~x1024+1 ~x1019+1 ~x1014+1 ~x1009+1 ~x1004+1 ~x319+1 ~x314+1 ~x309+1 ~x304+1 ~x299+1 ~x294+1 ~x289+1 ~x284-0=30
4.88/4.93	c 8 ~x127313+4 ~x127312+2 ~x127311+1 ~x127310+1 ~x1040+1 ~x1035+1 ~x1030+1 ~x1025+1 ~x1020+1 ~x1015+1 ~x1010+1 ~x1005+1 ~x320+1 ~x315+1 ~x310+1 ~x305+1 ~x300+1 ~x295+1 ~x290+1 ~x285-0=30
4.88/4.95	c 8 ~x127865+4 ~x127864+2 ~x127863+1 ~x127862+1 ~x1041+1 ~x1036+1 ~x1031+1 ~x1026+1 ~x1021+1 ~x1016+1 ~x1011+1 ~x1006+1 ~x321+1 ~x316+1 ~x311+1 ~x306+1 ~x301+1 ~x296+1 ~x291+1 ~x286-0=30
4.88/4.98	c 8 ~x128417+4 ~x128416+2 ~x128415+1 ~x128414+1 ~x1077+1 ~x1072+1 ~x1067+1 ~x1062+1 ~x1057+1 ~x1052+1 ~x1047+1 ~x1042+1 ~x357+1 ~x352+1 ~x347+1 ~x342+1 ~x337+1 ~x332+1 ~x327+1 ~x322-0=30
4.88/4.98	c 8 ~x128969+4 ~x128968+2 ~x128967+1 ~x128966+1 ~x1078+1 ~x1073+1 ~x1068+1 ~x1063+1 ~x1058+1 ~x1053+1 ~x1048+1 ~x1043+1 ~x358+1 ~x353+1 ~x348+1 ~x343+1 ~x338+1 ~x333+1 ~x328+1 ~x323-0=30
4.88/4.99	c 8 ~x129521+4 ~x129520+2 ~x129519+1 ~x129518+1 ~x1079+1 ~x1074+1 ~x1069+1 ~x1064+1 ~x1059+1 ~x1054+1 ~x1049+1 ~x1044+1 ~x359+1 ~x354+1 ~x349+1 ~x344+1 ~x339+1 ~x334+1 ~x329+1 ~x324-0=30
4.98/5.02	c 8 ~x130073+4 ~x130072+2 ~x130071+1 ~x130070+1 ~x1080+1 ~x1075+1 ~x1070+1 ~x1065+1 ~x1060+1 ~x1055+1 ~x1050+1 ~x1045+1 ~x360+1 ~x355+1 ~x350+1 ~x345+1 ~x340+1 ~x335+1 ~x330+1 ~x325-0=30
4.98/5.04	c 8 ~x130625+4 ~x130624+2 ~x130623+1 ~x130622+1 ~x1081+1 ~x1076+1 ~x1071+1 ~x1066+1 ~x1061+1 ~x1056+1 ~x1051+1 ~x1046+1 ~x361+1 ~x356+1 ~x351+1 ~x346+1 ~x341+1 ~x336+1 ~x331+1 ~x326-0=30
4.98/5.04	c 8 ~x131177+4 ~x131176+2 ~x131175+1 ~x131174+1 ~x1077+1 ~x1072+1 ~x1067+1 ~x1062+1 ~x1057+1 ~x1052+1 ~x1047+1 ~x1042+1 ~x357+1 ~x352+1 ~x347+1 ~x342+1 ~x337+1 ~x332+1 ~x327+1 ~x322-0=30
4.98/5.05	c 8 ~x131729+4 ~x131728+2 ~x131727+1 ~x131726+1 ~x1078+1 ~x1073+1 ~x1068+1 ~x1063+1 ~x1058+1 ~x1053+1 ~x1048+1 ~x1043+1 ~x358+1 ~x353+1 ~x348+1 ~x343+1 ~x338+1 ~x333+1 ~x328+1 ~x323-0=30
4.98/5.08	c 8 ~x132281+4 ~x132280+2 ~x132279+1 ~x132278+1 ~x1079+1 ~x1074+1 ~x1069+1 ~x1064+1 ~x1059+1 ~x1054+1 ~x1049+1 ~x1044+1 ~x359+1 ~x354+1 ~x349+1 ~x344+1 ~x339+1 ~x334+1 ~x329+1 ~x324-0=30
4.98/5.08	c 8 ~x132833+4 ~x132832+2 ~x132831+1 ~x132830+1 ~x1080+1 ~x1075+1 ~x1070+1 ~x1065+1 ~x1060+1 ~x1055+1 ~x1050+1 ~x1045+1 ~x360+1 ~x355+1 ~x350+1 ~x345+1 ~x340+1 ~x335+1 ~x330+1 ~x325-0=30
5.08/5.10	c 8 ~x133385+4 ~x133384+2 ~x133383+1 ~x133382+1 ~x1081+1 ~x1076+1 ~x1071+1 ~x1066+1 ~x1061+1 ~x1056+1 ~x1051+1 ~x1046+1 ~x361+1 ~x356+1 ~x351+1 ~x346+1 ~x341+1 ~x336+1 ~x331+1 ~x326-0=30
5.08/5.11	c 8 ~x133937+4 ~x133936+2 ~x133935+1 ~x133934+1 ~x1117+1 ~x1112+1 ~x1107+1 ~x1102+1 ~x1097+1 ~x1092+1 ~x1087+1 ~x1082+1 ~x397+1 ~x392+1 ~x387+1 ~x382+1 ~x377+1 ~x372+1 ~x367+1 ~x362-0=30
5.08/5.14	c 8 ~x134489+4 ~x134488+2 ~x134487+1 ~x134486+1 ~x1118+1 ~x1113+1 ~x1108+1 ~x1103+1 ~x1098+1 ~x1093+1 ~x1088+1 ~x1083+1 ~x398+1 ~x393+1 ~x388+1 ~x383+1 ~x378+1 ~x373+1 ~x368+1 ~x363-0=30
5.08/5.14	c 8 ~x135041+4 ~x135040+2 ~x135039+1 ~x135038+1 ~x1119+1 ~x1114+1 ~x1109+1 ~x1104+1 ~x1099+1 ~x1094+1 ~x1089+1 ~x1084+1 ~x399+1 ~x394+1 ~x389+1 ~x384+1 ~x379+1 ~x374+1 ~x369+1 ~x364-0=30
5.08/5.16	c 8 ~x135593+4 ~x135592+2 ~x135591+1 ~x135590+1 ~x1120+1 ~x1115+1 ~x1110+1 ~x1105+1 ~x1100+1 ~x1095+1 ~x1090+1 ~x1085+1 ~x400+1 ~x395+1 ~x390+1 ~x385+1 ~x380+1 ~x375+1 ~x370+1 ~x365-0=30
5.08/5.18	c 8 ~x136145+4 ~x136144+2 ~x136143+1 ~x136142+1 ~x1121+1 ~x1116+1 ~x1111+1 ~x1106+1 ~x1101+1 ~x1096+1 ~x1091+1 ~x1086+1 ~x401+1 ~x396+1 ~x391+1 ~x386+1 ~x381+1 ~x376+1 ~x371+1 ~x366-0=30
5.19/5.21	c 8 ~x136697+4 ~x136696+2 ~x136695+1 ~x136694+1 ~x1117+1 ~x1112+1 ~x1107+1 ~x1102+1 ~x1097+1 ~x1092+1 ~x1087+1 ~x1082+1 ~x397+1 ~x392+1 ~x387+1 ~x382+1 ~x377+1 ~x372+1 ~x367+1 ~x362-0=30
5.19/5.21	c 8 ~x137249+4 ~x137248+2 ~x137247+1 ~x137246+1 ~x1118+1 ~x1113+1 ~x1108+1 ~x1103+1 ~x1098+1 ~x1093+1 ~x1088+1 ~x1083+1 ~x398+1 ~x393+1 ~x388+1 ~x383+1 ~x378+1 ~x373+1 ~x368+1 ~x363-0=30
5.19/5.22	c 8 ~x137801+4 ~x137800+2 ~x137799+1 ~x137798+1 ~x1119+1 ~x1114+1 ~x1109+1 ~x1104+1 ~x1099+1 ~x1094+1 ~x1089+1 ~x1084+1 ~x399+1 ~x394+1 ~x389+1 ~x384+1 ~x379+1 ~x374+1 ~x369+1 ~x364-0=30
5.19/5.25	c 8 ~x138353+4 ~x138352+2 ~x138351+1 ~x138350+1 ~x1120+1 ~x1115+1 ~x1110+1 ~x1105+1 ~x1100+1 ~x1095+1 ~x1090+1 ~x1085+1 ~x400+1 ~x395+1 ~x390+1 ~x385+1 ~x380+1 ~x375+1 ~x370+1 ~x365-0=30
5.19/5.25	c 8 ~x138905+4 ~x138904+2 ~x138903+1 ~x138902+1 ~x1121+1 ~x1116+1 ~x1111+1 ~x1106+1 ~x1101+1 ~x1096+1 ~x1091+1 ~x1086+1 ~x401+1 ~x396+1 ~x391+1 ~x386+1 ~x381+1 ~x376+1 ~x371+1 ~x366-0=30
5.19/5.27	c 8 ~x139457+4 ~x139456+2 ~x139455+1 ~x139454+1 ~x1157+1 ~x1152+1 ~x1147+1 ~x1142+1 ~x1137+1 ~x1132+1 ~x1127+1 ~x1122+1 ~x437+1 ~x432+1 ~x427+1 ~x422+1 ~x417+1 ~x412+1 ~x407+1 ~x402-0=30
5.19/5.28	c 8 ~x140009+4 ~x140008+2 ~x140007+1 ~x140006+1 ~x1158+1 ~x1153+1 ~x1148+1 ~x1143+1 ~x1138+1 ~x1133+1 ~x1128+1 ~x1123+1 ~x438+1 ~x433+1 ~x428+1 ~x423+1 ~x418+1 ~x413+1 ~x408+1 ~x403-0=30
5.29/5.31	c 8 ~x140561+4 ~x140560+2 ~x140559+1 ~x140558+1 ~x1159+1 ~x1154+1 ~x1149+1 ~x1144+1 ~x1139+1 ~x1134+1 ~x1129+1 ~x1124+1 ~x439+1 ~x434+1 ~x429+1 ~x424+1 ~x419+1 ~x414+1 ~x409+1 ~x404-0=30
5.29/5.31	c 8 ~x141113+4 ~x141112+2 ~x141111+1 ~x141110+1 ~x1160+1 ~x1155+1 ~x1150+1 ~x1145+1 ~x1140+1 ~x1135+1 ~x1130+1 ~x1125+1 ~x440+1 ~x435+1 ~x430+1 ~x425+1 ~x420+1 ~x415+1 ~x410+1 ~x405-0=30
5.29/5.33	c 8 ~x141665+4 ~x141664+2 ~x141663+1 ~x141662+1 ~x1161+1 ~x1156+1 ~x1151+1 ~x1146+1 ~x1141+1 ~x1136+1 ~x1131+1 ~x1126+1 ~x441+1 ~x436+1 ~x431+1 ~x426+1 ~x421+1 ~x416+1 ~x411+1 ~x406-0=30
5.29/5.34	c 8 ~x142217+4 ~x142216+2 ~x142215+1 ~x142214+1 ~x1157+1 ~x1152+1 ~x1147+1 ~x1142+1 ~x1137+1 ~x1132+1 ~x1127+1 ~x1122+1 ~x437+1 ~x432+1 ~x427+1 ~x422+1 ~x417+1 ~x412+1 ~x407+1 ~x402-0=30
5.29/5.37	c 8 ~x142769+4 ~x142768+2 ~x142767+1 ~x142766+1 ~x1158+1 ~x1153+1 ~x1148+1 ~x1143+1 ~x1138+1 ~x1133+1 ~x1128+1 ~x1123+1 ~x438+1 ~x433+1 ~x428+1 ~x423+1 ~x418+1 ~x413+1 ~x408+1 ~x403-0=30
5.29/5.37	c 8 ~x143321+4 ~x143320+2 ~x143319+1 ~x143318+1 ~x1159+1 ~x1154+1 ~x1149+1 ~x1144+1 ~x1139+1 ~x1134+1 ~x1129+1 ~x1124+1 ~x439+1 ~x434+1 ~x429+1 ~x424+1 ~x419+1 ~x414+1 ~x409+1 ~x404-0=30
5.29/5.39	c 8 ~x143873+4 ~x143872+2 ~x143871+1 ~x143870+1 ~x1160+1 ~x1155+1 ~x1150+1 ~x1145+1 ~x1140+1 ~x1135+1 ~x1130+1 ~x1125+1 ~x440+1 ~x435+1 ~x430+1 ~x425+1 ~x420+1 ~x415+1 ~x410+1 ~x405-0=30
5.39/5.42	c 8 ~x144425+4 ~x144424+2 ~x144423+1 ~x144422+1 ~x1161+1 ~x1156+1 ~x1151+1 ~x1146+1 ~x1141+1 ~x1136+1 ~x1131+1 ~x1126+1 ~x441+1 ~x436+1 ~x431+1 ~x426+1 ~x421+1 ~x416+1 ~x411+1 ~x406-0=30
5.39/5.42	c 8 ~x144977+4 ~x144976+2 ~x144975+1 ~x144974+1 ~x1197+1 ~x1192+1 ~x1187+1 ~x1182+1 ~x1177+1 ~x1172+1 ~x1167+1 ~x1162+1 ~x477+1 ~x472+1 ~x467+1 ~x462+1 ~x457+1 ~x452+1 ~x447+1 ~x442-0=30
5.39/5.43	c 8 ~x145529+4 ~x145528+2 ~x145527+1 ~x145526+1 ~x1198+1 ~x1193+1 ~x1188+1 ~x1183+1 ~x1178+1 ~x1173+1 ~x1168+1 ~x1163+1 ~x478+1 ~x473+1 ~x468+1 ~x463+1 ~x458+1 ~x453+1 ~x448+1 ~x443-0=30
5.39/5.45	c 8 ~x146081+4 ~x146080+2 ~x146079+1 ~x146078+1 ~x1199+1 ~x1194+1 ~x1189+1 ~x1184+1 ~x1179+1 ~x1174+1 ~x1169+1 ~x1164+1 ~x479+1 ~x474+1 ~x469+1 ~x464+1 ~x459+1 ~x454+1 ~x449+1 ~x444-0=30
5.39/5.48	c 8 ~x146633+4 ~x146632+2 ~x146631+1 ~x146630+1 ~x1200+1 ~x1195+1 ~x1190+1 ~x1185+1 ~x1180+1 ~x1175+1 ~x1170+1 ~x1165+1 ~x480+1 ~x475+1 ~x470+1 ~x465+1 ~x460+1 ~x455+1 ~x450+1 ~x445-0=30
5.39/5.48	c 8 ~x147185+4 ~x147184+2 ~x147183+1 ~x147182+1 ~x1201+1 ~x1196+1 ~x1191+1 ~x1186+1 ~x1181+1 ~x1176+1 ~x1171+1 ~x1166+1 ~x481+1 ~x476+1 ~x471+1 ~x466+1 ~x461+1 ~x456+1 ~x451+1 ~x446-0=30
5.39/5.49	c 8 ~x147737+4 ~x147736+2 ~x147735+1 ~x147734+1 ~x1197+1 ~x1192+1 ~x1187+1 ~x1182+1 ~x1177+1 ~x1172+1 ~x1167+1 ~x1162+1 ~x477+1 ~x472+1 ~x467+1 ~x462+1 ~x457+1 ~x452+1 ~x447+1 ~x442-0=30
5.49/5.51	c 8 ~x148289+4 ~x148288+2 ~x148287+1 ~x148286+1 ~x1198+1 ~x1193+1 ~x1188+1 ~x1183+1 ~x1178+1 ~x1173+1 ~x1168+1 ~x1163+1 ~x478+1 ~x473+1 ~x468+1 ~x463+1 ~x458+1 ~x453+1 ~x448+1 ~x443-0=30
5.49/5.54	c 8 ~x148841+4 ~x148840+2 ~x148839+1 ~x148838+1 ~x1199+1 ~x1194+1 ~x1189+1 ~x1184+1 ~x1179+1 ~x1174+1 ~x1169+1 ~x1164+1 ~x479+1 ~x474+1 ~x469+1 ~x464+1 ~x459+1 ~x454+1 ~x449+1 ~x444-0=30
5.49/5.54	c 8 ~x149393+4 ~x149392+2 ~x149391+1 ~x149390+1 ~x1200+1 ~x1195+1 ~x1190+1 ~x1185+1 ~x1180+1 ~x1175+1 ~x1170+1 ~x1165+1 ~x480+1 ~x475+1 ~x470+1 ~x465+1 ~x460+1 ~x455+1 ~x450+1 ~x445-0=30
5.49/5.55	c 8 ~x149945+4 ~x149944+2 ~x149943+1 ~x149942+1 ~x1201+1 ~x1196+1 ~x1191+1 ~x1186+1 ~x1181+1 ~x1176+1 ~x1171+1 ~x1166+1 ~x481+1 ~x476+1 ~x471+1 ~x466+1 ~x461+1 ~x456+1 ~x451+1 ~x446-0=30
5.49/5.57	c 8 ~x150497+4 ~x150496+2 ~x150495+1 ~x150494+1 ~x1237+1 ~x1232+1 ~x1227+1 ~x1222+1 ~x1217+1 ~x1212+1 ~x1207+1 ~x1202+1 ~x517+1 ~x512+1 ~x507+1 ~x502+1 ~x497+1 ~x492+1 ~x487+1 ~x482-0=30
5.58/5.60	c 8 ~x151049+4 ~x151048+2 ~x151047+1 ~x151046+1 ~x1238+1 ~x1233+1 ~x1228+1 ~x1223+1 ~x1218+1 ~x1213+1 ~x1208+1 ~x1203+1 ~x518+1 ~x513+1 ~x508+1 ~x503+1 ~x498+1 ~x493+1 ~x488+1 ~x483-0=30
5.58/5.60	c 8 ~x151601+4 ~x151600+2 ~x151599+1 ~x151598+1 ~x1239+1 ~x1234+1 ~x1229+1 ~x1224+1 ~x1219+1 ~x1214+1 ~x1209+1 ~x1204+1 ~x519+1 ~x514+1 ~x509+1 ~x504+1 ~x499+1 ~x494+1 ~x489+1 ~x484-0=30
5.58/5.61	c 8 ~x152153+4 ~x152152+2 ~x152151+1 ~x152150+1 ~x1240+1 ~x1235+1 ~x1230+1 ~x1225+1 ~x1220+1 ~x1215+1 ~x1210+1 ~x1205+1 ~x520+1 ~x515+1 ~x510+1 ~x505+1 ~x500+1 ~x495+1 ~x490+1 ~x485-0=30
5.58/5.64	c 8 ~x152705+4 ~x152704+2 ~x152703+1 ~x152702+1 ~x1241+1 ~x1236+1 ~x1231+1 ~x1226+1 ~x1221+1 ~x1216+1 ~x1211+1 ~x1206+1 ~x521+1 ~x516+1 ~x511+1 ~x506+1 ~x501+1 ~x496+1 ~x491+1 ~x486-0=30
5.58/5.64	c 8 ~x153257+4 ~x153256+2 ~x153255+1 ~x153254+1 ~x1237+1 ~x1232+1 ~x1227+1 ~x1222+1 ~x1217+1 ~x1212+1 ~x1207+1 ~x1202+1 ~x517+1 ~x512+1 ~x507+1 ~x502+1 ~x497+1 ~x492+1 ~x487+1 ~x482-0=30
5.58/5.66	c 8 ~x153809+4 ~x153808+2 ~x153807+1 ~x153806+1 ~x1238+1 ~x1233+1 ~x1228+1 ~x1223+1 ~x1218+1 ~x1213+1 ~x1208+1 ~x1203+1 ~x518+1 ~x513+1 ~x508+1 ~x503+1 ~x498+1 ~x493+1 ~x488+1 ~x483-0=30
5.58/5.67	c 8 ~x154361+4 ~x154360+2 ~x154359+1 ~x154358+1 ~x1239+1 ~x1234+1 ~x1229+1 ~x1224+1 ~x1219+1 ~x1214+1 ~x1209+1 ~x1204+1 ~x519+1 ~x514+1 ~x509+1 ~x504+1 ~x499+1 ~x494+1 ~x489+1 ~x484-0=30
5.69/5.70	c 8 ~x154913+4 ~x154912+2 ~x154911+1 ~x154910+1 ~x1240+1 ~x1235+1 ~x1230+1 ~x1225+1 ~x1220+1 ~x1215+1 ~x1210+1 ~x1205+1 ~x520+1 ~x515+1 ~x510+1 ~x505+1 ~x500+1 ~x495+1 ~x490+1 ~x485-0=30
5.69/5.70	c 8 ~x155465+4 ~x155464+2 ~x155463+1 ~x155462+1 ~x1241+1 ~x1236+1 ~x1231+1 ~x1226+1 ~x1221+1 ~x1216+1 ~x1211+1 ~x1206+1 ~x521+1 ~x516+1 ~x511+1 ~x506+1 ~x501+1 ~x496+1 ~x491+1 ~x486-0=30
5.69/5.72	c 8 ~x156017+4 ~x156016+2 ~x156015+1 ~x156014+1 ~x1277+1 ~x1272+1 ~x1267+1 ~x1262+1 ~x1257+1 ~x1252+1 ~x1247+1 ~x1242+1 ~x557+1 ~x552+1 ~x547+1 ~x542+1 ~x537+1 ~x532+1 ~x527+1 ~x522-0=30
5.69/5.74	c 8 ~x156569+4 ~x156568+2 ~x156567+1 ~x156566+1 ~x1278+1 ~x1273+1 ~x1268+1 ~x1263+1 ~x1258+1 ~x1253+1 ~x1248+1 ~x1243+1 ~x558+1 ~x553+1 ~x548+1 ~x543+1 ~x538+1 ~x533+1 ~x528+1 ~x523-0=30
5.69/5.77	c 8 ~x157121+4 ~x157120+2 ~x157119+1 ~x157118+1 ~x1279+1 ~x1274+1 ~x1269+1 ~x1264+1 ~x1259+1 ~x1254+1 ~x1249+1 ~x1244+1 ~x559+1 ~x554+1 ~x549+1 ~x544+1 ~x539+1 ~x534+1 ~x529+1 ~x524-0=30
5.69/5.77	c 8 ~x157673+4 ~x157672+2 ~x157671+1 ~x157670+1 ~x1280+1 ~x1275+1 ~x1270+1 ~x1265+1 ~x1260+1 ~x1255+1 ~x1250+1 ~x1245+1 ~x560+1 ~x555+1 ~x550+1 ~x545+1 ~x540+1 ~x535+1 ~x530+1 ~x525-0=30
5.69/5.78	c 8 ~x158225+4 ~x158224+2 ~x158223+1 ~x158222+1 ~x1281+1 ~x1276+1 ~x1271+1 ~x1266+1 ~x1261+1 ~x1256+1 ~x1251+1 ~x1246+1 ~x561+1 ~x556+1 ~x551+1 ~x546+1 ~x541+1 ~x536+1 ~x531+1 ~x526-0=30
5.78/5.81	c 8 ~x158777+4 ~x158776+2 ~x158775+1 ~x158774+1 ~x1277+1 ~x1272+1 ~x1267+1 ~x1262+1 ~x1257+1 ~x1252+1 ~x1247+1 ~x1242+1 ~x557+1 ~x552+1 ~x547+1 ~x542+1 ~x537+1 ~x532+1 ~x527+1 ~x522-0=30
5.78/5.81	c 8 ~x159329+4 ~x159328+2 ~x159327+1 ~x159326+1 ~x1278+1 ~x1273+1 ~x1268+1 ~x1263+1 ~x1258+1 ~x1253+1 ~x1248+1 ~x1243+1 ~x558+1 ~x553+1 ~x548+1 ~x543+1 ~x538+1 ~x533+1 ~x528+1 ~x523-0=30
5.78/5.83	c 8 ~x159881+4 ~x159880+2 ~x159879+1 ~x159878+1 ~x1279+1 ~x1274+1 ~x1269+1 ~x1264+1 ~x1259+1 ~x1254+1 ~x1249+1 ~x1244+1 ~x559+1 ~x554+1 ~x549+1 ~x544+1 ~x539+1 ~x534+1 ~x529+1 ~x524-0=30
5.78/5.84	c 8 ~x160433+4 ~x160432+2 ~x160431+1 ~x160430+1 ~x1280+1 ~x1275+1 ~x1270+1 ~x1265+1 ~x1260+1 ~x1255+1 ~x1250+1 ~x1245+1 ~x560+1 ~x555+1 ~x550+1 ~x545+1 ~x540+1 ~x535+1 ~x530+1 ~x525-0=30
5.78/5.87	c 8 ~x160985+4 ~x160984+2 ~x160983+1 ~x160982+1 ~x1281+1 ~x1276+1 ~x1271+1 ~x1266+1 ~x1261+1 ~x1256+1 ~x1251+1 ~x1246+1 ~x561+1 ~x556+1 ~x551+1 ~x546+1 ~x541+1 ~x536+1 ~x531+1 ~x526-0=30
5.78/5.87	c 8 ~x161537+4 ~x161536+2 ~x161535+1 ~x161534+1 ~x1317+1 ~x1312+1 ~x1307+1 ~x1302+1 ~x1297+1 ~x1292+1 ~x1287+1 ~x1282+1 ~x597+1 ~x592+1 ~x587+1 ~x582+1 ~x577+1 ~x572+1 ~x567+1 ~x562-0=30
5.78/5.89	c 8 ~x162089+4 ~x162088+2 ~x162087+1 ~x162086+1 ~x1318+1 ~x1313+1 ~x1308+1 ~x1303+1 ~x1298+1 ~x1293+1 ~x1288+1 ~x1283+1 ~x598+1 ~x593+1 ~x588+1 ~x583+1 ~x578+1 ~x573+1 ~x568+1 ~x563-0=30
5.88/5.90	c 8 ~x162641+4 ~x162640+2 ~x162639+1 ~x162638+1 ~x1319+1 ~x1314+1 ~x1309+1 ~x1304+1 ~x1299+1 ~x1294+1 ~x1289+1 ~x1284+1 ~x599+1 ~x594+1 ~x589+1 ~x584+1 ~x579+1 ~x574+1 ~x569+1 ~x564-0=30
5.88/5.93	c 8 ~x163193+4 ~x163192+2 ~x163191+1 ~x163190+1 ~x1320+1 ~x1315+1 ~x1310+1 ~x1305+1 ~x1300+1 ~x1295+1 ~x1290+1 ~x1285+1 ~x600+1 ~x595+1 ~x590+1 ~x585+1 ~x580+1 ~x575+1 ~x570+1 ~x565-0=30
5.88/5.93	c 8 ~x163745+4 ~x163744+2 ~x163743+1 ~x163742+1 ~x1321+1 ~x1316+1 ~x1311+1 ~x1306+1 ~x1301+1 ~x1296+1 ~x1291+1 ~x1286+1 ~x601+1 ~x596+1 ~x591+1 ~x586+1 ~x581+1 ~x576+1 ~x571+1 ~x566-0=30
5.88/5.95	c 8 ~x164297+4 ~x164296+2 ~x164295+1 ~x164294+1 ~x1317+1 ~x1312+1 ~x1307+1 ~x1302+1 ~x1297+1 ~x1292+1 ~x1287+1 ~x1282+1 ~x597+1 ~x592+1 ~x587+1 ~x582+1 ~x577+1 ~x572+1 ~x567+1 ~x562-0=30
5.88/5.96	c 8 ~x164849+4 ~x164848+2 ~x164847+1 ~x164846+1 ~x1318+1 ~x1313+1 ~x1308+1 ~x1303+1 ~x1298+1 ~x1293+1 ~x1288+1 ~x1283+1 ~x598+1 ~x593+1 ~x588+1 ~x583+1 ~x578+1 ~x573+1 ~x568+1 ~x563-0=30
5.88/5.99	c 8 ~x165401+4 ~x165400+2 ~x165399+1 ~x165398+1 ~x1319+1 ~x1314+1 ~x1309+1 ~x1304+1 ~x1299+1 ~x1294+1 ~x1289+1 ~x1284+1 ~x599+1 ~x594+1 ~x589+1 ~x584+1 ~x579+1 ~x574+1 ~x569+1 ~x564-0=30
5.88/5.99	c 8 ~x165953+4 ~x165952+2 ~x165951+1 ~x165950+1 ~x1320+1 ~x1315+1 ~x1310+1 ~x1305+1 ~x1300+1 ~x1295+1 ~x1290+1 ~x1285+1 ~x600+1 ~x595+1 ~x590+1 ~x585+1 ~x580+1 ~x575+1 ~x570+1 ~x565-0=30
5.98/6.01	c 8 ~x166505+4 ~x166504+2 ~x166503+1 ~x166502+1 ~x1321+1 ~x1316+1 ~x1311+1 ~x1306+1 ~x1301+1 ~x1296+1 ~x1291+1 ~x1286+1 ~x601+1 ~x596+1 ~x591+1 ~x586+1 ~x581+1 ~x576+1 ~x571+1 ~x566-0=30
5.98/6.04	c 8 ~x167057+4 ~x167056+2 ~x167055+1 ~x167054+1 ~x1357+1 ~x1352+1 ~x1347+1 ~x1342+1 ~x1337+1 ~x1332+1 ~x1327+1 ~x1322+1 ~x637+1 ~x632+1 ~x627+1 ~x622+1 ~x617+1 ~x612+1 ~x607+1 ~x602-0=30
5.98/6.04	c 8 ~x167609+4 ~x167608+2 ~x167607+1 ~x167606+1 ~x1358+1 ~x1353+1 ~x1348+1 ~x1343+1 ~x1338+1 ~x1333+1 ~x1328+1 ~x1323+1 ~x638+1 ~x633+1 ~x628+1 ~x623+1 ~x618+1 ~x613+1 ~x608+1 ~x603-0=30
5.98/6.05	c 8 ~x168161+4 ~x168160+2 ~x168159+1 ~x168158+1 ~x1359+1 ~x1354+1 ~x1349+1 ~x1344+1 ~x1339+1 ~x1334+1 ~x1329+1 ~x1324+1 ~x639+1 ~x634+1 ~x629+1 ~x624+1 ~x619+1 ~x614+1 ~x609+1 ~x604-0=30
5.98/6.07	c 8 ~x168713+4 ~x168712+2 ~x168711+1 ~x168710+1 ~x1360+1 ~x1355+1 ~x1350+1 ~x1345+1 ~x1340+1 ~x1335+1 ~x1330+1 ~x1325+1 ~x640+1 ~x635+1 ~x630+1 ~x625+1 ~x620+1 ~x615+1 ~x610+1 ~x605-0=30
6.08/6.10	c 8 ~x169265+4 ~x169264+2 ~x169263+1 ~x169262+1 ~x1361+1 ~x1356+1 ~x1351+1 ~x1346+1 ~x1341+1 ~x1336+1 ~x1331+1 ~x1326+1 ~x641+1 ~x636+1 ~x631+1 ~x626+1 ~x621+1 ~x616+1 ~x611+1 ~x606-0=30
6.08/6.10	c 8 ~x169817+4 ~x169816+2 ~x169815+1 ~x169814+1 ~x1357+1 ~x1352+1 ~x1347+1 ~x1342+1 ~x1337+1 ~x1332+1 ~x1327+1 ~x1322+1 ~x637+1 ~x632+1 ~x627+1 ~x622+1 ~x617+1 ~x612+1 ~x607+1 ~x602-0=30
6.08/6.12	c 8 ~x170369+4 ~x170368+2 ~x170367+1 ~x170366+1 ~x1358+1 ~x1353+1 ~x1348+1 ~x1343+1 ~x1338+1 ~x1333+1 ~x1328+1 ~x1323+1 ~x638+1 ~x633+1 ~x628+1 ~x623+1 ~x618+1 ~x613+1 ~x608+1 ~x603-0=30
6.08/6.13	c 8 ~x170921+4 ~x170920+2 ~x170919+1 ~x170918+1 ~x1359+1 ~x1354+1 ~x1349+1 ~x1344+1 ~x1339+1 ~x1334+1 ~x1329+1 ~x1324+1 ~x639+1 ~x634+1 ~x629+1 ~x624+1 ~x619+1 ~x614+1 ~x609+1 ~x604-0=30
6.08/6.16	c 8 ~x171473+4 ~x171472+2 ~x171471+1 ~x171470+1 ~x1360+1 ~x1355+1 ~x1350+1 ~x1345+1 ~x1340+1 ~x1335+1 ~x1330+1 ~x1325+1 ~x640+1 ~x635+1 ~x630+1 ~x625+1 ~x620+1 ~x615+1 ~x610+1 ~x605-0=30
6.08/6.16	c 8 ~x172025+4 ~x172024+2 ~x172023+1 ~x172022+1 ~x1361+1 ~x1356+1 ~x1351+1 ~x1346+1 ~x1341+1 ~x1336+1 ~x1331+1 ~x1326+1 ~x641+1 ~x636+1 ~x631+1 ~x626+1 ~x621+1 ~x616+1 ~x611+1 ~x606-0=30
6.08/6.18	c 8 ~x172577+4 ~x172576+2 ~x172575+1 ~x172574+1 ~x1397+1 ~x1392+1 ~x1387+1 ~x1382+1 ~x1377+1 ~x1372+1 ~x1367+1 ~x1362+1 ~x677+1 ~x672+1 ~x667+1 ~x662+1 ~x657+1 ~x652+1 ~x647+1 ~x642-0=30
6.18/6.21	c 8 ~x173129+4 ~x173128+2 ~x173127+1 ~x173126+1 ~x1398+1 ~x1393+1 ~x1388+1 ~x1383+1 ~x1378+1 ~x1373+1 ~x1368+1 ~x1363+1 ~x678+1 ~x673+1 ~x668+1 ~x663+1 ~x658+1 ~x653+1 ~x648+1 ~x643-0=30
6.18/6.21	c 8 ~x173681+4 ~x173680+2 ~x173679+1 ~x173678+1 ~x1399+1 ~x1394+1 ~x1389+1 ~x1384+1 ~x1379+1 ~x1374+1 ~x1369+1 ~x1364+1 ~x679+1 ~x674+1 ~x669+1 ~x664+1 ~x659+1 ~x654+1 ~x649+1 ~x644-0=30
6.18/6.22	c 8 ~x174233+4 ~x174232+2 ~x174231+1 ~x174230+1 ~x1400+1 ~x1395+1 ~x1390+1 ~x1385+1 ~x1380+1 ~x1375+1 ~x1370+1 ~x1365+1 ~x680+1 ~x675+1 ~x670+1 ~x665+1 ~x660+1 ~x655+1 ~x650+1 ~x645-0=30
6.18/6.24	c 8 ~x174785+4 ~x174784+2 ~x174783+1 ~x174782+1 ~x1401+1 ~x1396+1 ~x1391+1 ~x1386+1 ~x1381+1 ~x1376+1 ~x1371+1 ~x1366+1 ~x681+1 ~x676+1 ~x671+1 ~x666+1 ~x661+1 ~x656+1 ~x651+1 ~x646-0=30
6.18/6.27	c 8 ~x175337+4 ~x175336+2 ~x175335+1 ~x175334+1 ~x1397+1 ~x1392+1 ~x1387+1 ~x1382+1 ~x1377+1 ~x1372+1 ~x1367+1 ~x1362+1 ~x677+1 ~x672+1 ~x667+1 ~x662+1 ~x657+1 ~x652+1 ~x647+1 ~x642-0=30
6.18/6.27	c 8 ~x175889+4 ~x175888+2 ~x175887+1 ~x175886+1 ~x1398+1 ~x1393+1 ~x1388+1 ~x1383+1 ~x1378+1 ~x1373+1 ~x1368+1 ~x1363+1 ~x678+1 ~x673+1 ~x668+1 ~x663+1 ~x658+1 ~x653+1 ~x648+1 ~x643-0=30
6.18/6.28	c 8 ~x176441+4 ~x176440+2 ~x176439+1 ~x176438+1 ~x1399+1 ~x1394+1 ~x1389+1 ~x1384+1 ~x1379+1 ~x1374+1 ~x1369+1 ~x1364+1 ~x679+1 ~x674+1 ~x669+1 ~x664+1 ~x659+1 ~x654+1 ~x649+1 ~x644-0=30
6.28/6.30	c 8 ~x176993+4 ~x176992+2 ~x176991+1 ~x176990+1 ~x1400+1 ~x1395+1 ~x1390+1 ~x1385+1 ~x1380+1 ~x1375+1 ~x1370+1 ~x1365+1 ~x680+1 ~x675+1 ~x670+1 ~x665+1 ~x660+1 ~x655+1 ~x650+1 ~x645-0=30
6.28/6.33	c 8 ~x177545+4 ~x177544+2 ~x177543+1 ~x177542+1 ~x1401+1 ~x1396+1 ~x1391+1 ~x1386+1 ~x1381+1 ~x1376+1 ~x1371+1 ~x1366+1 ~x681+1 ~x676+1 ~x671+1 ~x666+1 ~x661+1 ~x656+1 ~x651+1 ~x646-0=30
6.28/6.33	c 8 ~x178097+4 ~x178096+2 ~x178095+1 ~x178094+1 ~x1437+1 ~x1432+1 ~x1427+1 ~x1422+1 ~x1417+1 ~x1412+1 ~x1407+1 ~x1402+1 ~x717+1 ~x712+1 ~x707+1 ~x702+1 ~x697+1 ~x692+1 ~x687+1 ~x682-0=30
6.28/6.34	c 8 ~x178649+4 ~x178648+2 ~x178647+1 ~x178646+1 ~x1438+1 ~x1433+1 ~x1428+1 ~x1423+1 ~x1418+1 ~x1413+1 ~x1408+1 ~x1403+1 ~x718+1 ~x713+1 ~x708+1 ~x703+1 ~x698+1 ~x693+1 ~x688+1 ~x683-0=30
6.28/6.36	c 8 ~x179201+4 ~x179200+2 ~x179199+1 ~x179198+1 ~x1439+1 ~x1434+1 ~x1429+1 ~x1424+1 ~x1419+1 ~x1414+1 ~x1409+1 ~x1404+1 ~x719+1 ~x714+1 ~x709+1 ~x704+1 ~x699+1 ~x694+1 ~x689+1 ~x684-0=30
6.28/6.39	c 8 ~x179753+4 ~x179752+2 ~x179751+1 ~x179750+1 ~x1440+1 ~x1435+1 ~x1430+1 ~x1425+1 ~x1420+1 ~x1415+1 ~x1410+1 ~x1405+1 ~x720+1 ~x715+1 ~x710+1 ~x705+1 ~x700+1 ~x695+1 ~x690+1 ~x685-0=30
6.28/6.39	c 8 ~x180305+4 ~x180304+2 ~x180303+1 ~x180302+1 ~x1441+1 ~x1436+1 ~x1431+1 ~x1426+1 ~x1421+1 ~x1416+1 ~x1411+1 ~x1406+1 ~x721+1 ~x716+1 ~x711+1 ~x706+1 ~x701+1 ~x696+1 ~x691+1 ~x686-0=30
6.39/6.40	c 8 ~x180857+4 ~x180856+2 ~x180855+1 ~x180854+1 ~x1437+1 ~x1432+1 ~x1427+1 ~x1422+1 ~x1417+1 ~x1412+1 ~x1407+1 ~x1402+1 ~x717+1 ~x712+1 ~x707+1 ~x702+1 ~x697+1 ~x692+1 ~x687+1 ~x682-0=30
6.39/6.43	c 8 ~x181409+4 ~x181408+2 ~x181407+1 ~x181406+1 ~x1438+1 ~x1433+1 ~x1428+1 ~x1423+1 ~x1418+1 ~x1413+1 ~x1408+1 ~x1403+1 ~x718+1 ~x713+1 ~x708+1 ~x703+1 ~x698+1 ~x693+1 ~x688+1 ~x683-0=30
6.39/6.43	c 8 ~x181961+4 ~x181960+2 ~x181959+1 ~x181958+1 ~x1439+1 ~x1434+1 ~x1429+1 ~x1424+1 ~x1419+1 ~x1414+1 ~x1409+1 ~x1404+1 ~x719+1 ~x714+1 ~x709+1 ~x704+1 ~x699+1 ~x694+1 ~x689+1 ~x684-0=30
6.39/6.45	c 8 ~x182513+4 ~x182512+2 ~x182511+1 ~x182510+1 ~x1440+1 ~x1435+1 ~x1430+1 ~x1425+1 ~x1420+1 ~x1415+1 ~x1410+1 ~x1405+1 ~x720+1 ~x715+1 ~x710+1 ~x705+1 ~x700+1 ~x695+1 ~x690+1 ~x685-0=30
6.39/6.47	c 8 ~x183065+4 ~x183064+2 ~x183063+1 ~x183062+1 ~x1441+1 ~x1436+1 ~x1431+1 ~x1426+1 ~x1421+1 ~x1416+1 ~x1411+1 ~x1406+1 ~x721+1 ~x716+1 ~x711+1 ~x706+1 ~x701+1 ~x696+1 ~x691+1 ~x686-0=30
6.39/6.49	c 4 ~x183616+2 ~x183615+1 ~x183614+1 ~x6+1 ~x5+1 ~x4+1 ~x3+1 ~x2-0=12
6.39/6.49	c 4 ~x183731+2 ~x183730+1 ~x183729+1 ~x11+1 ~x10+1 ~x9+1 ~x8+1 ~x7-0=12
6.39/6.49	c 4 ~x183846+2 ~x183845+1 ~x183844+1 ~x16+1 ~x15+1 ~x14+1 ~x13+1 ~x12-0=12
6.39/6.49	c 4 ~x183961+2 ~x183960+1 ~x183959+1 ~x21+1 ~x20+1 ~x19+1 ~x18+1 ~x17-0=12
6.50/6.50	c 4 ~x184076+2 ~x184075+1 ~x184074+1 ~x26+1 ~x25+1 ~x24+1 ~x23+1 ~x22-0=12
6.50/6.50	c 4 ~x184191+2 ~x184190+1 ~x184189+1 ~x31+1 ~x30+1 ~x29+1 ~x28+1 ~x27-0=12
6.50/6.50	c 4 ~x184306+2 ~x184305+1 ~x184304+1 ~x36+1 ~x35+1 ~x34+1 ~x33+1 ~x32-0=12
6.50/6.52	c 4 ~x184421+2 ~x184420+1 ~x184419+1 ~x41+1 ~x40+1 ~x39+1 ~x38+1 ~x37-0=12
6.50/6.52	c 4 ~x184536+2 ~x184535+1 ~x184534+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42-0=12
6.50/6.52	c 4 ~x184651+2 ~x184650+1 ~x184649+1 ~x51+1 ~x50+1 ~x49+1 ~x48+1 ~x47-0=12
6.50/6.53	c 4 ~x184766+2 ~x184765+1 ~x184764+1 ~x56+1 ~x55+1 ~x54+1 ~x53+1 ~x52-0=12
6.50/6.53	c 4 ~x184881+2 ~x184880+1 ~x184879+1 ~x61+1 ~x60+1 ~x59+1 ~x58+1 ~x57-0=12
6.50/6.53	c 4 ~x184996+2 ~x184995+1 ~x184994+1 ~x66+1 ~x65+1 ~x64+1 ~x63+1 ~x62-0=12
6.50/6.53	c 4 ~x185111+2 ~x185110+1 ~x185109+1 ~x71+1 ~x70+1 ~x69+1 ~x68+1 ~x67-0=12
6.50/6.54	c 4 ~x185226+2 ~x185225+1 ~x185224+1 ~x76+1 ~x75+1 ~x74+1 ~x73+1 ~x72-0=12
6.50/6.54	c 4 ~x185341+2 ~x185340+1 ~x185339+1 ~x81+1 ~x80+1 ~x79+1 ~x78+1 ~x77-0=12
6.50/6.54	c 4 ~x185456+2 ~x185455+1 ~x185454+1 ~x86+1 ~x85+1 ~x84+1 ~x83+1 ~x82-0=12
6.50/6.56	c 4 ~x185571+2 ~x185570+1 ~x185569+1 ~x91+1 ~x90+1 ~x89+1 ~x88+1 ~x87-0=12
6.50/6.56	c 4 ~x185686+2 ~x185685+1 ~x185684+1 ~x96+1 ~x95+1 ~x94+1 ~x93+1 ~x92-0=12
6.50/6.56	c 4 ~x185801+2 ~x185800+1 ~x185799+1 ~x101+1 ~x100+1 ~x99+1 ~x98+1 ~x97-0=12
6.50/6.56	c 4 ~x185916+2 ~x185915+1 ~x185914+1 ~x106+1 ~x105+1 ~x104+1 ~x103+1 ~x102-0=12
6.50/6.57	c 4 ~x186031+2 ~x186030+1 ~x186029+1 ~x111+1 ~x110+1 ~x109+1 ~x108+1 ~x107-0=12
6.50/6.57	c 4 ~x186146+2 ~x186145+1 ~x186144+1 ~x116+1 ~x115+1 ~x114+1 ~x113+1 ~x112-0=12
6.50/6.57	c 4 ~x186261+2 ~x186260+1 ~x186259+1 ~x121+1 ~x120+1 ~x119+1 ~x118+1 ~x117-0=12
6.50/6.58	c 4 ~x186376+2 ~x186375+1 ~x186374+1 ~x126+1 ~x125+1 ~x124+1 ~x123+1 ~x122-0=12
6.50/6.58	c 4 ~x186491+2 ~x186490+1 ~x186489+1 ~x131+1 ~x130+1 ~x129+1 ~x128+1 ~x127-0=12
6.50/6.58	c 4 ~x186606+2 ~x186605+1 ~x186604+1 ~x136+1 ~x135+1 ~x134+1 ~x133+1 ~x132-0=12
6.50/6.60	c 4 ~x186721+2 ~x186720+1 ~x186719+1 ~x141+1 ~x140+1 ~x139+1 ~x138+1 ~x137-0=12
6.50/6.60	c 4 ~x186836+2 ~x186835+1 ~x186834+1 ~x146+1 ~x145+1 ~x144+1 ~x143+1 ~x142-0=12
6.50/6.60	c 4 ~x186951+2 ~x186950+1 ~x186949+1 ~x151+1 ~x150+1 ~x149+1 ~x148+1 ~x147-0=12
6.59/6.61	c 4 ~x187066+2 ~x187065+1 ~x187064+1 ~x156+1 ~x155+1 ~x154+1 ~x153+1 ~x152-0=12
6.59/6.61	c 4 ~x187181+2 ~x187180+1 ~x187179+1 ~x161+1 ~x160+1 ~x159+1 ~x158+1 ~x157-0=12
6.59/6.61	c 4 ~x187296+2 ~x187295+1 ~x187294+1 ~x166+1 ~x165+1 ~x164+1 ~x163+1 ~x162-0=12
6.59/6.62	c 4 ~x187411+2 ~x187410+1 ~x187409+1 ~x171+1 ~x170+1 ~x169+1 ~x168+1 ~x167-0=12
6.59/6.62	c 4 ~x187526+2 ~x187525+1 ~x187524+1 ~x176+1 ~x175+1 ~x174+1 ~x173+1 ~x172-0=12
6.59/6.62	c 4 ~x187641+2 ~x187640+1 ~x187639+1 ~x181+1 ~x180+1 ~x179+1 ~x178+1 ~x177-0=12
6.59/6.62	c 4 ~x187756+2 ~x187755+1 ~x187754+1 ~x186+1 ~x185+1 ~x184+1 ~x183+1 ~x182-0=12
6.59/6.64	c 4 ~x187871+2 ~x187870+1 ~x187869+1 ~x191+1 ~x190+1 ~x189+1 ~x188+1 ~x187-0=12
6.59/6.64	c 4 ~x187986+2 ~x187985+1 ~x187984+1 ~x196+1 ~x195+1 ~x194+1 ~x193+1 ~x192-0=12
6.59/6.64	c 4 ~x188101+2 ~x188100+1 ~x188099+1 ~x201+1 ~x200+1 ~x199+1 ~x198+1 ~x197-0=12
6.59/6.65	c 4 ~x188216+2 ~x188215+1 ~x188214+1 ~x206+1 ~x205+1 ~x204+1 ~x203+1 ~x202-0=12
6.59/6.65	c 4 ~x188331+2 ~x188330+1 ~x188329+1 ~x211+1 ~x210+1 ~x209+1 ~x208+1 ~x207-0=12
6.59/6.65	c 4 ~x188446+2 ~x188445+1 ~x188444+1 ~x216+1 ~x215+1 ~x214+1 ~x213+1 ~x212-0=12
6.59/6.66	c 4 ~x188561+2 ~x188560+1 ~x188559+1 ~x221+1 ~x220+1 ~x219+1 ~x218+1 ~x217-0=12
6.59/6.66	c 4 ~x188676+2 ~x188675+1 ~x188674+1 ~x226+1 ~x225+1 ~x224+1 ~x223+1 ~x222-0=12
6.59/6.66	c 4 ~x188791+2 ~x188790+1 ~x188789+1 ~x231+1 ~x230+1 ~x229+1 ~x228+1 ~x227-0=12
6.59/6.67	c 4 ~x188906+2 ~x188905+1 ~x188904+1 ~x236+1 ~x235+1 ~x234+1 ~x233+1 ~x232-0=12
6.59/6.67	c 4 ~x189021+2 ~x189020+1 ~x189019+1 ~x241+1 ~x240+1 ~x239+1 ~x238+1 ~x237-0=12
6.59/6.67	c 4 ~x189136+2 ~x189135+1 ~x189134+1 ~x246+1 ~x245+1 ~x244+1 ~x243+1 ~x242-0=12
6.59/6.69	c 4 ~x189251+2 ~x189250+1 ~x189249+1 ~x251+1 ~x250+1 ~x249+1 ~x248+1 ~x247-0=12
6.59/6.69	c 4 ~x189366+2 ~x189365+1 ~x189364+1 ~x256+1 ~x255+1 ~x254+1 ~x253+1 ~x252-0=12
6.59/6.69	c 4 ~x189481+2 ~x189480+1 ~x189479+1 ~x261+1 ~x260+1 ~x259+1 ~x258+1 ~x257-0=12
6.59/6.69	c 4 ~x189596+2 ~x189595+1 ~x189594+1 ~x266+1 ~x265+1 ~x264+1 ~x263+1 ~x262-0=12
6.68/6.70	c 4 ~x189711+2 ~x189710+1 ~x189709+1 ~x271+1 ~x270+1 ~x269+1 ~x268+1 ~x267-0=12
6.68/6.70	c 4 ~x189826+2 ~x189825+1 ~x189824+1 ~x276+1 ~x275+1 ~x274+1 ~x273+1 ~x272-0=12
6.68/6.70	c 4 ~x189941+2 ~x189940+1 ~x189939+1 ~x281+1 ~x280+1 ~x279+1 ~x278+1 ~x277-0=12
6.68/6.71	c 4 ~x190056+2 ~x190055+1 ~x190054+1 ~x286+1 ~x285+1 ~x284+1 ~x283+1 ~x282-0=12
6.68/6.71	c 4 ~x190171+2 ~x190170+1 ~x190169+1 ~x291+1 ~x290+1 ~x289+1 ~x288+1 ~x287-0=12
6.68/6.71	c 4 ~x190286+2 ~x190285+1 ~x190284+1 ~x296+1 ~x295+1 ~x294+1 ~x293+1 ~x292-0=12
6.68/6.72	c 4 ~x190401+2 ~x190400+1 ~x190399+1 ~x301+1 ~x300+1 ~x299+1 ~x298+1 ~x297-0=12
6.68/6.72	c 4 ~x190516+2 ~x190515+1 ~x190514+1 ~x306+1 ~x305+1 ~x304+1 ~x303+1 ~x302-0=12
6.68/6.72	c 4 ~x190631+2 ~x190630+1 ~x190629+1 ~x311+1 ~x310+1 ~x309+1 ~x308+1 ~x307-0=12
6.68/6.74	c 4 ~x190746+2 ~x190745+1 ~x190744+1 ~x316+1 ~x315+1 ~x314+1 ~x313+1 ~x312-0=12
6.68/6.74	c 4 ~x190861+2 ~x190860+1 ~x190859+1 ~x321+1 ~x320+1 ~x319+1 ~x318+1 ~x317-0=12
6.68/6.74	c 4 ~x190976+2 ~x190975+1 ~x190974+1 ~x326+1 ~x325+1 ~x324+1 ~x323+1 ~x322-0=12
6.68/6.75	c 4 ~x191091+2 ~x191090+1 ~x191089+1 ~x331+1 ~x330+1 ~x329+1 ~x328+1 ~x327-0=12
6.68/6.75	c 4 ~x191206+2 ~x191205+1 ~x191204+1 ~x336+1 ~x335+1 ~x334+1 ~x333+1 ~x332-0=12
6.68/6.75	c 4 ~x191321+2 ~x191320+1 ~x191319+1 ~x341+1 ~x340+1 ~x339+1 ~x338+1 ~x337-0=12
6.68/6.75	c 4 ~x191436+2 ~x191435+1 ~x191434+1 ~x346+1 ~x345+1 ~x344+1 ~x343+1 ~x342-0=12
6.68/6.77	c 4 ~x191551+2 ~x191550+1 ~x191549+1 ~x351+1 ~x350+1 ~x349+1 ~x348+1 ~x347-0=12
6.68/6.77	c 4 ~x191666+2 ~x191665+1 ~x191664+1 ~x356+1 ~x355+1 ~x354+1 ~x353+1 ~x352-0=12
6.68/6.77	c 4 ~x191781+2 ~x191780+1 ~x191779+1 ~x361+1 ~x360+1 ~x359+1 ~x358+1 ~x357-0=12
6.68/6.78	c 4 ~x191896+2 ~x191895+1 ~x191894+1 ~x366+1 ~x365+1 ~x364+1 ~x363+1 ~x362-0=12
6.68/6.78	c 4 ~x192011+2 ~x192010+1 ~x192009+1 ~x371+1 ~x370+1 ~x369+1 ~x368+1 ~x367-0=12
6.68/6.78	c 4 ~x192126+2 ~x192125+1 ~x192124+1 ~x376+1 ~x375+1 ~x374+1 ~x373+1 ~x372-0=12
6.68/6.79	c 4 ~x192241+2 ~x192240+1 ~x192239+1 ~x381+1 ~x380+1 ~x379+1 ~x378+1 ~x377-0=12
6.68/6.79	c 4 ~x192356+2 ~x192355+1 ~x192354+1 ~x386+1 ~x385+1 ~x384+1 ~x383+1 ~x382-0=12
6.68/6.79	c 4 ~x192471+2 ~x192470+1 ~x192469+1 ~x391+1 ~x390+1 ~x389+1 ~x388+1 ~x387-0=12
6.78/6.80	c 4 ~x192586+2 ~x192585+1 ~x192584+1 ~x396+1 ~x395+1 ~x394+1 ~x393+1 ~x392-0=12
6.78/6.80	c 4 ~x192701+2 ~x192700+1 ~x192699+1 ~x401+1 ~x400+1 ~x399+1 ~x398+1 ~x397-0=12
6.78/6.80	c 4 ~x192816+2 ~x192815+1 ~x192814+1 ~x406+1 ~x405+1 ~x404+1 ~x403+1 ~x402-0=12
6.78/6.82	c 4 ~x192931+2 ~x192930+1 ~x192929+1 ~x411+1 ~x410+1 ~x409+1 ~x408+1 ~x407-0=12
6.78/6.82	c 4 ~x193046+2 ~x193045+1 ~x193044+1 ~x416+1 ~x415+1 ~x414+1 ~x413+1 ~x412-0=12
6.78/6.82	c 4 ~x193161+2 ~x193160+1 ~x193159+1 ~x421+1 ~x420+1 ~x419+1 ~x418+1 ~x417-0=12
6.78/6.82	c 4 ~x193276+2 ~x193275+1 ~x193274+1 ~x426+1 ~x425+1 ~x424+1 ~x423+1 ~x422-0=12
6.78/6.83	c 4 ~x193391+2 ~x193390+1 ~x193389+1 ~x431+1 ~x430+1 ~x429+1 ~x428+1 ~x427-0=12
6.78/6.83	c 4 ~x193506+2 ~x193505+1 ~x193504+1 ~x436+1 ~x435+1 ~x434+1 ~x433+1 ~x432-0=12
6.78/6.83	c 4 ~x193621+2 ~x193620+1 ~x193619+1 ~x441+1 ~x440+1 ~x439+1 ~x438+1 ~x437-0=12
6.78/6.84	c 4 ~x193736+2 ~x193735+1 ~x193734+1 ~x446+1 ~x445+1 ~x444+1 ~x443+1 ~x442-0=12
6.78/6.84	c 4 ~x193851+2 ~x193850+1 ~x193849+1 ~x451+1 ~x450+1 ~x449+1 ~x448+1 ~x447-0=12
6.78/6.84	c 4 ~x193966+2 ~x193965+1 ~x193964+1 ~x456+1 ~x455+1 ~x454+1 ~x453+1 ~x452-0=12
6.78/6.85	c 4 ~x194081+2 ~x194080+1 ~x194079+1 ~x461+1 ~x460+1 ~x459+1 ~x458+1 ~x457-0=12
6.78/6.85	c 4 ~x194196+2 ~x194195+1 ~x194194+1 ~x466+1 ~x465+1 ~x464+1 ~x463+1 ~x462-0=12
6.78/6.85	c 4 ~x194311+2 ~x194310+1 ~x194309+1 ~x471+1 ~x470+1 ~x469+1 ~x468+1 ~x467-0=12
6.78/6.87	c 4 ~x194426+2 ~x194425+1 ~x194424+1 ~x476+1 ~x475+1 ~x474+1 ~x473+1 ~x472-0=12
6.78/6.87	c 4 ~x194541+2 ~x194540+1 ~x194539+1 ~x481+1 ~x480+1 ~x479+1 ~x478+1 ~x477-0=12
6.78/6.87	c 4 ~x194656+2 ~x194655+1 ~x194654+1 ~x486+1 ~x485+1 ~x484+1 ~x483+1 ~x482-0=12
6.78/6.88	c 4 ~x194771+2 ~x194770+1 ~x194769+1 ~x491+1 ~x490+1 ~x489+1 ~x488+1 ~x487-0=12
6.78/6.88	c 4 ~x194886+2 ~x194885+1 ~x194884+1 ~x496+1 ~x495+1 ~x494+1 ~x493+1 ~x492-0=12
6.78/6.88	c 4 ~x195001+2 ~x195000+1 ~x194999+1 ~x501+1 ~x500+1 ~x499+1 ~x498+1 ~x497-0=12
6.78/6.88	c 4 ~x195116+2 ~x195115+1 ~x195114+1 ~x506+1 ~x505+1 ~x504+1 ~x503+1 ~x502-0=12
6.78/6.89	c 4 ~x195231+2 ~x195230+1 ~x195229+1 ~x511+1 ~x510+1 ~x509+1 ~x508+1 ~x507-0=12
6.78/6.89	c 4 ~x195346+2 ~x195345+1 ~x195344+1 ~x516+1 ~x515+1 ~x514+1 ~x513+1 ~x512-0=12
6.78/6.89	c 4 ~x195461+2 ~x195460+1 ~x195459+1 ~x521+1 ~x520+1 ~x519+1 ~x518+1 ~x517-0=12
6.88/6.91	c 4 ~x195576+2 ~x195575+1 ~x195574+1 ~x526+1 ~x525+1 ~x524+1 ~x523+1 ~x522-0=12
6.88/6.91	c 4 ~x195691+2 ~x195690+1 ~x195689+1 ~x531+1 ~x530+1 ~x529+1 ~x528+1 ~x527-0=12
6.88/6.91	c 4 ~x195806+2 ~x195805+1 ~x195804+1 ~x536+1 ~x535+1 ~x534+1 ~x533+1 ~x532-0=12
6.88/6.92	c 4 ~x195921+2 ~x195920+1 ~x195919+1 ~x541+1 ~x540+1 ~x539+1 ~x538+1 ~x537-0=12
6.88/6.92	c 4 ~x196036+2 ~x196035+1 ~x196034+1 ~x546+1 ~x545+1 ~x544+1 ~x543+1 ~x542-0=12
6.88/6.92	c 4 ~x196151+2 ~x196150+1 ~x196149+1 ~x551+1 ~x550+1 ~x549+1 ~x548+1 ~x547-0=12
6.88/6.93	c 4 ~x196266+2 ~x196265+1 ~x196264+1 ~x556+1 ~x555+1 ~x554+1 ~x553+1 ~x552-0=12
6.88/6.93	c 4 ~x196381+2 ~x196380+1 ~x196379+1 ~x561+1 ~x560+1 ~x559+1 ~x558+1 ~x557-0=12
6.88/6.93	c 4 ~x196496+2 ~x196495+1 ~x196494+1 ~x566+1 ~x565+1 ~x564+1 ~x563+1 ~x562-0=12
6.88/6.95	c 4 ~x196611+2 ~x196610+1 ~x196609+1 ~x571+1 ~x570+1 ~x569+1 ~x568+1 ~x567-0=12
6.88/6.95	c 4 ~x196726+2 ~x196725+1 ~x196724+1 ~x576+1 ~x575+1 ~x574+1 ~x573+1 ~x572-0=12
6.88/6.95	c 4 ~x196841+2 ~x196840+1 ~x196839+1 ~x581+1 ~x580+1 ~x579+1 ~x578+1 ~x577-0=12
6.88/6.95	c 4 ~x196956+2 ~x196955+1 ~x196954+1 ~x586+1 ~x585+1 ~x584+1 ~x583+1 ~x582-0=12
6.88/6.96	c 4 ~x197071+2 ~x197070+1 ~x197069+1 ~x591+1 ~x590+1 ~x589+1 ~x588+1 ~x587-0=12
6.88/6.96	c 4 ~x197186+2 ~x197185+1 ~x197184+1 ~x596+1 ~x595+1 ~x594+1 ~x593+1 ~x592-0=12
6.88/6.96	c 4 ~x197301+2 ~x197300+1 ~x197299+1 ~x601+1 ~x600+1 ~x599+1 ~x598+1 ~x597-0=12
6.88/6.97	c 4 ~x197416+2 ~x197415+1 ~x197414+1 ~x606+1 ~x605+1 ~x604+1 ~x603+1 ~x602-0=12
6.88/6.97	c 4 ~x197531+2 ~x197530+1 ~x197529+1 ~x611+1 ~x610+1 ~x609+1 ~x608+1 ~x607-0=12
6.88/6.97	c 4 ~x197646+2 ~x197645+1 ~x197644+1 ~x616+1 ~x615+1 ~x614+1 ~x613+1 ~x612-0=12
6.88/6.98	c 4 ~x197761+2 ~x197760+1 ~x197759+1 ~x621+1 ~x620+1 ~x619+1 ~x618+1 ~x617-0=12
6.88/6.98	c 4 ~x197876+2 ~x197875+1 ~x197874+1 ~x626+1 ~x625+1 ~x624+1 ~x623+1 ~x622-0=12
6.88/6.98	c 4 ~x197991+2 ~x197990+1 ~x197989+1 ~x631+1 ~x630+1 ~x629+1 ~x628+1 ~x627-0=12
6.88/6.99	c 4 ~x198106+2 ~x198105+1 ~x198104+1 ~x636+1 ~x635+1 ~x634+1 ~x633+1 ~x632-0=12
6.88/6.99	c 4 ~x198221+2 ~x198220+1 ~x198219+1 ~x641+1 ~x640+1 ~x639+1 ~x638+1 ~x637-0=12
6.88/6.99	c 4 ~x198336+2 ~x198335+1 ~x198334+1 ~x646+1 ~x645+1 ~x644+1 ~x643+1 ~x642-0=12
6.98/7.01	c 4 ~x198451+2 ~x198450+1 ~x198449+1 ~x651+1 ~x650+1 ~x649+1 ~x648+1 ~x647-0=12
6.98/7.01	c 4 ~x198566+2 ~x198565+1 ~x198564+1 ~x656+1 ~x655+1 ~x654+1 ~x653+1 ~x652-0=12
6.98/7.01	c 4 ~x198681+2 ~x198680+1 ~x198679+1 ~x661+1 ~x660+1 ~x659+1 ~x658+1 ~x657-0=12
6.98/7.01	c 4 ~x198796+2 ~x198795+1 ~x198794+1 ~x666+1 ~x665+1 ~x664+1 ~x663+1 ~x662-0=12
6.98/7.02	c 4 ~x198911+2 ~x198910+1 ~x198909+1 ~x671+1 ~x670+1 ~x669+1 ~x668+1 ~x667-0=12
6.98/7.02	c 4 ~x199026+2 ~x199025+1 ~x199024+1 ~x676+1 ~x675+1 ~x674+1 ~x673+1 ~x672-0=12
6.98/7.02	c 4 ~x199141+2 ~x199140+1 ~x199139+1 ~x681+1 ~x680+1 ~x679+1 ~x678+1 ~x677-0=12
6.98/7.03	c 4 ~x199256+2 ~x199255+1 ~x199254+1 ~x686+1 ~x685+1 ~x684+1 ~x683+1 ~x682-0=12
6.98/7.03	c 4 ~x199371+2 ~x199370+1 ~x199369+1 ~x691+1 ~x690+1 ~x689+1 ~x688+1 ~x687-0=12
6.98/7.03	c 4 ~x199486+2 ~x199485+1 ~x199484+1 ~x696+1 ~x695+1 ~x694+1 ~x693+1 ~x692-0=12
6.98/7.05	c 4 ~x199601+2 ~x199600+1 ~x199599+1 ~x701+1 ~x700+1 ~x699+1 ~x698+1 ~x697-0=12
6.98/7.05	c 4 ~x199716+2 ~x199715+1 ~x199714+1 ~x706+1 ~x705+1 ~x704+1 ~x703+1 ~x702-0=12
6.98/7.05	c 4 ~x199831+2 ~x199830+1 ~x199829+1 ~x711+1 ~x710+1 ~x709+1 ~x708+1 ~x707-0=12
6.98/7.09	c 4 ~x199946+2 ~x199945+1 ~x199944+1 ~x716+1 ~x715+1 ~x714+1 ~x713+1 ~x712-0=12
6.98/7.09	c 4 ~x200061+2 ~x200060+1 ~x200059+1 ~x721+1 ~x720+1 ~x719+1 ~x718+1 ~x717-0=12
6.98/7.09	c 4 ~x200320+2 ~x200319+1 ~x200318+3 ~x6+1 ~x5+1 ~x4+3 ~x3+3 ~x2-0=13
6.98/7.09	c 4 ~x200458+2 ~x200457+1 ~x200456+3 ~x11+1 ~x10+1 ~x9+3 ~x8+3 ~x7-0=13
7.09/7.10	c 4 ~x200596+2 ~x200595+1 ~x200594+3 ~x16+1 ~x15+1 ~x14+3 ~x13+3 ~x12-0=13
7.09/7.10	c 4 ~x200734+2 ~x200733+1 ~x200732+3 ~x21+1 ~x20+1 ~x19+3 ~x18+3 ~x17-0=13
7.09/7.10	c 4 ~x200872+2 ~x200871+1 ~x200870+3 ~x26+1 ~x25+1 ~x24+3 ~x23+3 ~x22-0=13
7.09/7.11	c 4 ~x201010+2 ~x201009+1 ~x201008+3 ~x31+1 ~x30+1 ~x29+3 ~x28+3 ~x27-0=13
7.09/7.11	c 4 ~x201148+2 ~x201147+1 ~x201146+3 ~x36+1 ~x35+1 ~x34+3 ~x33+3 ~x32-0=13
7.09/7.11	c 4 ~x201286+2 ~x201285+1 ~x201284+3 ~x41+1 ~x40+1 ~x39+3 ~x38+3 ~x37-0=13
7.09/7.13	c 4 ~x201424+2 ~x201423+1 ~x201422+3 ~x46+1 ~x45+1 ~x44+3 ~x43+3 ~x42-0=13
7.09/7.13	c 4 ~x201562+2 ~x201561+1 ~x201560+3 ~x51+1 ~x50+1 ~x49+3 ~x48+3 ~x47-0=13
7.09/7.13	c 4 ~x201700+2 ~x201699+1 ~x201698+3 ~x56+1 ~x55+1 ~x54+3 ~x53+3 ~x52-0=13
7.09/7.13	c 4 ~x201838+2 ~x201837+1 ~x201836+3 ~x61+1 ~x60+1 ~x59+3 ~x58+3 ~x57-0=13
7.09/7.14	c 4 ~x201976+2 ~x201975+1 ~x201974+3 ~x66+1 ~x65+1 ~x64+3 ~x63+3 ~x62-0=13
7.09/7.14	c 4 ~x202114+2 ~x202113+1 ~x202112+3 ~x71+1 ~x70+1 ~x69+3 ~x68+3 ~x67-0=13
7.09/7.14	c 4 ~x202252+2 ~x202251+1 ~x202250+3 ~x76+1 ~x75+1 ~x74+3 ~x73+3 ~x72-0=13
7.09/7.16	c 4 ~x202390+2 ~x202389+1 ~x202388+3 ~x81+1 ~x80+1 ~x79+3 ~x78+3 ~x77-0=13
7.09/7.16	c 4 ~x202528+2 ~x202527+1 ~x202526+3 ~x86+1 ~x85+1 ~x84+3 ~x83+3 ~x82-0=13
7.09/7.16	c 4 ~x202666+2 ~x202665+1 ~x202664+3 ~x91+1 ~x90+1 ~x89+3 ~x88+3 ~x87-0=13
7.09/7.16	c 4 ~x202804+2 ~x202803+1 ~x202802+3 ~x96+1 ~x95+1 ~x94+3 ~x93+3 ~x92-0=13
7.09/7.18	c 4 ~x202942+2 ~x202941+1 ~x202940+3 ~x101+1 ~x100+1 ~x99+3 ~x98+3 ~x97-0=13
7.09/7.18	c 4 ~x203080+2 ~x203079+1 ~x203078+3 ~x106+1 ~x105+1 ~x104+3 ~x103+3 ~x102-0=13
7.09/7.18	c 4 ~x203218+2 ~x203217+1 ~x203216+3 ~x111+1 ~x110+1 ~x109+3 ~x108+3 ~x107-0=13
7.09/7.19	c 4 ~x203356+2 ~x203355+1 ~x203354+3 ~x116+1 ~x115+1 ~x114+3 ~x113+3 ~x112-0=13
7.09/7.19	c 4 ~x203494+2 ~x203493+1 ~x203492+3 ~x121+1 ~x120+1 ~x119+3 ~x118+3 ~x117-0=13
7.09/7.19	c 4 ~x203632+2 ~x203631+1 ~x203630+3 ~x126+1 ~x125+1 ~x124+3 ~x123+3 ~x122-0=13
7.19/7.20	c 4 ~x203770+2 ~x203769+1 ~x203768+3 ~x131+1 ~x130+1 ~x129+3 ~x128+3 ~x127-0=13
7.19/7.20	c 4 ~x203908+2 ~x203907+1 ~x203906+3 ~x136+1 ~x135+1 ~x134+3 ~x133+3 ~x132-0=13
7.19/7.20	c 4 ~x204046+2 ~x204045+1 ~x204044+3 ~x141+1 ~x140+1 ~x139+3 ~x138+3 ~x137-0=13
7.19/7.22	c 4 ~x204184+2 ~x204183+1 ~x204182+3 ~x146+1 ~x145+1 ~x144+3 ~x143+3 ~x142-0=13
7.19/7.22	c 4 ~x204322+2 ~x204321+1 ~x204320+3 ~x151+1 ~x150+1 ~x149+3 ~x148+3 ~x147-0=13
7.19/7.22	c 4 ~x204460+2 ~x204459+1 ~x204458+3 ~x156+1 ~x155+1 ~x154+3 ~x153+3 ~x152-0=13
7.19/7.22	c 4 ~x204598+2 ~x204597+1 ~x204596+3 ~x161+1 ~x160+1 ~x159+3 ~x158+3 ~x157-0=13
7.19/7.23	c 4 ~x204736+2 ~x204735+1 ~x204734+3 ~x166+1 ~x165+1 ~x164+3 ~x163+3 ~x162-0=13
7.19/7.23	c 4 ~x204874+2 ~x204873+1 ~x204872+3 ~x171+1 ~x170+1 ~x169+3 ~x168+3 ~x167-0=13
7.19/7.23	c 4 ~x205012+2 ~x205011+1 ~x205010+3 ~x176+1 ~x175+1 ~x174+3 ~x173+3 ~x172-0=13
7.19/7.25	c 4 ~x205150+2 ~x205149+1 ~x205148+3 ~x181+1 ~x180+1 ~x179+3 ~x178+3 ~x177-0=13
7.19/7.25	c 4 ~x205288+2 ~x205287+1 ~x205286+3 ~x186+1 ~x185+1 ~x184+3 ~x183+3 ~x182-0=13
7.19/7.25	c 4 ~x205426+2 ~x205425+1 ~x205424+3 ~x191+1 ~x190+1 ~x189+3 ~x188+3 ~x187-0=13
7.19/7.26	c 4 ~x205564+2 ~x205563+1 ~x205562+3 ~x196+1 ~x195+1 ~x194+3 ~x193+3 ~x192-0=13
7.19/7.26	c 4 ~x205702+2 ~x205701+1 ~x205700+3 ~x201+1 ~x200+1 ~x199+3 ~x198+3 ~x197-0=13
7.19/7.26	c 4 ~x205840+2 ~x205839+1 ~x205838+3 ~x206+1 ~x205+1 ~x204+3 ~x203+3 ~x202-0=13
7.19/7.27	c 4 ~x205978+2 ~x205977+1 ~x205976+3 ~x211+1 ~x210+1 ~x209+3 ~x208+3 ~x207-0=13
7.19/7.27	c 4 ~x206116+2 ~x206115+1 ~x206114+3 ~x216+1 ~x215+1 ~x214+3 ~x213+3 ~x212-0=13
7.19/7.27	c 4 ~x206254+2 ~x206253+1 ~x206252+3 ~x221+1 ~x220+1 ~x219+3 ~x218+3 ~x217-0=13
7.19/7.29	c 4 ~x206392+2 ~x206391+1 ~x206390+3 ~x226+1 ~x225+1 ~x224+3 ~x223+3 ~x222-0=13
7.19/7.29	c 4 ~x206530+2 ~x206529+1 ~x206528+3 ~x231+1 ~x230+1 ~x229+3 ~x228+3 ~x227-0=13
7.19/7.29	c 4 ~x206668+2 ~x206667+1 ~x206666+3 ~x236+1 ~x235+1 ~x234+3 ~x233+3 ~x232-0=13
7.19/7.29	c 4 ~x206806+2 ~x206805+1 ~x206804+3 ~x241+1 ~x240+1 ~x239+3 ~x238+3 ~x237-0=13
7.29/7.30	c 4 ~x206944+2 ~x206943+1 ~x206942+3 ~x246+1 ~x245+1 ~x244+3 ~x243+3 ~x242-0=13
7.29/7.30	c 4 ~x207082+2 ~x207081+1 ~x207080+3 ~x251+1 ~x250+1 ~x249+3 ~x248+3 ~x247-0=13
7.29/7.30	c 4 ~x207220+2 ~x207219+1 ~x207218+3 ~x256+1 ~x255+1 ~x254+3 ~x253+3 ~x252-0=13
7.29/7.32	c 4 ~x207358+2 ~x207357+1 ~x207356+3 ~x261+1 ~x260+1 ~x259+3 ~x258+3 ~x257-0=13
7.29/7.32	c 4 ~x207496+2 ~x207495+1 ~x207494+3 ~x266+1 ~x265+1 ~x264+3 ~x263+3 ~x262-0=13
7.29/7.32	c 4 ~x207634+2 ~x207633+1 ~x207632+3 ~x271+1 ~x270+1 ~x269+3 ~x268+3 ~x267-0=13
7.29/7.33	c 4 ~x207772+2 ~x207771+1 ~x207770+3 ~x276+1 ~x275+1 ~x274+3 ~x273+3 ~x272-0=13
7.29/7.33	c 4 ~x207910+2 ~x207909+1 ~x207908+3 ~x281+1 ~x280+1 ~x279+3 ~x278+3 ~x277-0=13
7.29/7.33	c 4 ~x208048+2 ~x208047+1 ~x208046+3 ~x286+1 ~x285+1 ~x284+3 ~x283+3 ~x282-0=13
7.29/7.34	c 4 ~x208186+2 ~x208185+1 ~x208184+3 ~x291+1 ~x290+1 ~x289+3 ~x288+3 ~x287-0=13
7.29/7.34	c 4 ~x208324+2 ~x208323+1 ~x208322+3 ~x296+1 ~x295+1 ~x294+3 ~x293+3 ~x292-0=13
7.29/7.34	c 4 ~x208462+2 ~x208461+1 ~x208460+3 ~x301+1 ~x300+1 ~x299+3 ~x298+3 ~x297-0=13
7.29/7.36	c 4 ~x208600+2 ~x208599+1 ~x208598+3 ~x306+1 ~x305+1 ~x304+3 ~x303+3 ~x302-0=13
7.29/7.36	c 4 ~x208738+2 ~x208737+1 ~x208736+3 ~x311+1 ~x310+1 ~x309+3 ~x308+3 ~x307-0=13
7.29/7.36	c 4 ~x208876+2 ~x208875+1 ~x208874+3 ~x316+1 ~x315+1 ~x314+3 ~x313+3 ~x312-0=13
7.29/7.36	c 4 ~x209014+2 ~x209013+1 ~x209012+3 ~x321+1 ~x320+1 ~x319+3 ~x318+3 ~x317-0=13
7.29/7.38	c 4 ~x209152+2 ~x209151+1 ~x209150+3 ~x326+1 ~x325+1 ~x324+3 ~x323+3 ~x322-0=13
7.29/7.38	c 4 ~x209290+2 ~x209289+1 ~x209288+3 ~x331+1 ~x330+1 ~x329+3 ~x328+3 ~x327-0=13
7.29/7.38	c 4 ~x209428+2 ~x209427+1 ~x209426+3 ~x336+1 ~x335+1 ~x334+3 ~x333+3 ~x332-0=13
7.29/7.39	c 4 ~x209566+2 ~x209565+1 ~x209564+3 ~x341+1 ~x340+1 ~x339+3 ~x338+3 ~x337-0=13
7.29/7.39	c 4 ~x209704+2 ~x209703+1 ~x209702+3 ~x346+1 ~x345+1 ~x344+3 ~x343+3 ~x342-0=13
7.29/7.39	c 4 ~x209842+2 ~x209841+1 ~x209840+3 ~x351+1 ~x350+1 ~x349+3 ~x348+3 ~x347-0=13
7.38/7.40	c 4 ~x209980+2 ~x209979+1 ~x209978+3 ~x356+1 ~x355+1 ~x354+3 ~x353+3 ~x352-0=13
7.38/7.40	c 4 ~x210118+2 ~x210117+1 ~x210116+3 ~x361+1 ~x360+1 ~x359+3 ~x358+3 ~x357-0=13
7.38/7.40	c 4 ~x210256+2 ~x210255+1 ~x210254+3 ~x366+1 ~x365+1 ~x364+3 ~x363+3 ~x362-0=13
7.38/7.41	c 4 ~x210394+2 ~x210393+1 ~x210392+3 ~x371+1 ~x370+1 ~x369+3 ~x368+3 ~x367-0=13
7.38/7.41	c 4 ~x210532+2 ~x210531+1 ~x210530+3 ~x376+1 ~x375+1 ~x374+3 ~x373+3 ~x372-0=13
7.38/7.41	c 4 ~x210670+2 ~x210669+1 ~x210668+3 ~x381+1 ~x380+1 ~x379+3 ~x378+3 ~x377-0=13
7.38/7.43	c 4 ~x210808+2 ~x210807+1 ~x210806+3 ~x386+1 ~x385+1 ~x384+3 ~x383+3 ~x382-0=13
7.38/7.43	c 4 ~x210946+2 ~x210945+1 ~x210944+3 ~x391+1 ~x390+1 ~x389+3 ~x388+3 ~x387-0=13
7.38/7.43	c 4 ~x211084+2 ~x211083+1 ~x211082+3 ~x396+1 ~x395+1 ~x394+3 ~x393+3 ~x392-0=13
7.38/7.43	c 4 ~x211222+2 ~x211221+1 ~x211220+3 ~x401+1 ~x400+1 ~x399+3 ~x398+3 ~x397-0=13
7.38/7.45	c 4 ~x211360+2 ~x211359+1 ~x211358+3 ~x406+1 ~x405+1 ~x404+3 ~x403+3 ~x402-0=13
7.38/7.45	c 4 ~x211498+2 ~x211497+1 ~x211496+3 ~x411+1 ~x410+1 ~x409+3 ~x408+3 ~x407-0=13
7.38/7.45	c 4 ~x211636+2 ~x211635+1 ~x211634+3 ~x416+1 ~x415+1 ~x414+3 ~x413+3 ~x412-0=13
7.38/7.46	c 4 ~x211774+2 ~x211773+1 ~x211772+3 ~x421+1 ~x420+1 ~x419+3 ~x418+3 ~x417-0=13
7.38/7.46	c 4 ~x211912+2 ~x211911+1 ~x211910+3 ~x426+1 ~x425+1 ~x424+3 ~x423+3 ~x422-0=13
7.38/7.46	c 4 ~x212050+2 ~x212049+1 ~x212048+3 ~x431+1 ~x430+1 ~x429+3 ~x428+3 ~x427-0=13
7.38/7.48	c 4 ~x212188+2 ~x212187+1 ~x212186+3 ~x436+1 ~x435+1 ~x434+3 ~x433+3 ~x432-0=13
7.38/7.48	c 4 ~x212326+2 ~x212325+1 ~x212324+3 ~x441+1 ~x440+1 ~x439+3 ~x438+3 ~x437-0=13
7.38/7.48	c 4 ~x212464+2 ~x212463+1 ~x212462+3 ~x446+1 ~x445+1 ~x444+3 ~x443+3 ~x442-0=13
7.38/7.49	c 4 ~x212602+2 ~x212601+1 ~x212600+3 ~x451+1 ~x450+1 ~x449+3 ~x448+3 ~x447-0=13
7.38/7.49	c 4 ~x212740+2 ~x212739+1 ~x212738+3 ~x456+1 ~x455+1 ~x454+3 ~x453+3 ~x452-0=13
7.38/7.49	c 4 ~x212878+2 ~x212877+1 ~x212876+3 ~x461+1 ~x460+1 ~x459+3 ~x458+3 ~x457-0=13
7.48/7.51	c 4 ~x213016+2 ~x213015+1 ~x213014+3 ~x466+1 ~x465+1 ~x464+3 ~x463+3 ~x462-0=13
7.48/7.51	c 4 ~x213154+2 ~x213153+1 ~x213152+3 ~x471+1 ~x470+1 ~x469+3 ~x468+3 ~x467-0=13
7.48/7.51	c 4 ~x213292+2 ~x213291+1 ~x213290+3 ~x476+1 ~x475+1 ~x474+3 ~x473+3 ~x472-0=13
7.48/7.51	c 4 ~x213430+2 ~x213429+1 ~x213428+3 ~x481+1 ~x480+1 ~x479+3 ~x478+3 ~x477-0=13
7.48/7.52	c 4 ~x213568+2 ~x213567+1 ~x213566+3 ~x486+1 ~x485+1 ~x484+3 ~x483+3 ~x482-0=13
7.48/7.52	c 4 ~x213706+2 ~x213705+1 ~x213704+3 ~x491+1 ~x490+1 ~x489+3 ~x488+3 ~x487-0=13
7.48/7.52	c 4 ~x213844+2 ~x213843+1 ~x213842+3 ~x496+1 ~x495+1 ~x494+3 ~x493+3 ~x492-0=13
7.48/7.53	c 4 ~x213982+2 ~x213981+1 ~x213980+3 ~x501+1 ~x500+1 ~x499+3 ~x498+3 ~x497-0=13
7.48/7.53	c 4 ~x214120+2 ~x214119+1 ~x214118+3 ~x506+1 ~x505+1 ~x504+3 ~x503+3 ~x502-0=13
7.48/7.53	c 4 ~x214258+2 ~x214257+1 ~x214256+3 ~x511+1 ~x510+1 ~x509+3 ~x508+3 ~x507-0=13
7.48/7.55	c 4 ~x214396+2 ~x214395+1 ~x214394+3 ~x516+1 ~x515+1 ~x514+3 ~x513+3 ~x512-0=13
7.48/7.55	c 4 ~x214534+2 ~x214533+1 ~x214532+3 ~x521+1 ~x520+1 ~x519+3 ~x518+3 ~x517-0=13
7.48/7.55	c 4 ~x214672+2 ~x214671+1 ~x214670+3 ~x526+1 ~x525+1 ~x524+3 ~x523+3 ~x522-0=13
7.48/7.56	c 4 ~x214810+2 ~x214809+1 ~x214808+3 ~x531+1 ~x530+1 ~x529+3 ~x528+3 ~x527-0=13
7.48/7.56	c 4 ~x214948+2 ~x214947+1 ~x214946+3 ~x536+1 ~x535+1 ~x534+3 ~x533+3 ~x532-0=13
7.48/7.56	c 4 ~x215086+2 ~x215085+1 ~x215084+3 ~x541+1 ~x540+1 ~x539+3 ~x538+3 ~x537-0=13
7.48/7.58	c 4 ~x215224+2 ~x215223+1 ~x215222+3 ~x546+1 ~x545+1 ~x544+3 ~x543+3 ~x542-0=13
7.48/7.58	c 4 ~x215362+2 ~x215361+1 ~x215360+3 ~x551+1 ~x550+1 ~x549+3 ~x548+3 ~x547-0=13
7.48/7.58	c 4 ~x215500+2 ~x215499+1 ~x215498+3 ~x556+1 ~x555+1 ~x554+3 ~x553+3 ~x552-0=13
7.48/7.58	c 4 ~x215638+2 ~x215637+1 ~x215636+3 ~x561+1 ~x560+1 ~x559+3 ~x558+3 ~x557-0=13
7.48/7.59	c 4 ~x215776+2 ~x215775+1 ~x215774+3 ~x566+1 ~x565+1 ~x564+3 ~x563+3 ~x562-0=13
7.48/7.59	c 4 ~x215914+2 ~x215913+1 ~x215912+3 ~x571+1 ~x570+1 ~x569+3 ~x568+3 ~x567-0=13
7.48/7.59	c 4 ~x216052+2 ~x216051+1 ~x216050+3 ~x576+1 ~x575+1 ~x574+3 ~x573+3 ~x572-0=13
7.60/7.61	c 4 ~x216190+2 ~x216189+1 ~x216188+3 ~x581+1 ~x580+1 ~x579+3 ~x578+3 ~x577-0=13
7.60/7.61	c 4 ~x216328+2 ~x216327+1 ~x216326+3 ~x586+1 ~x585+1 ~x584+3 ~x583+3 ~x582-0=13
7.60/7.61	c 4 ~x216466+2 ~x216465+1 ~x216464+3 ~x591+1 ~x590+1 ~x589+3 ~x588+3 ~x587-0=13
7.60/7.62	c 4 ~x216604+2 ~x216603+1 ~x216602+3 ~x596+1 ~x595+1 ~x594+3 ~x593+3 ~x592-0=13
7.60/7.62	c 4 ~x216742+2 ~x216741+1 ~x216740+3 ~x601+1 ~x600+1 ~x599+3 ~x598+3 ~x597-0=13
7.60/7.62	c 4 ~x216880+2 ~x216879+1 ~x216878+3 ~x606+1 ~x605+1 ~x604+3 ~x603+3 ~x602-0=13
7.60/7.63	c 4 ~x217018+2 ~x217017+1 ~x217016+3 ~x611+1 ~x610+1 ~x609+3 ~x608+3 ~x607-0=13
7.60/7.63	c 4 ~x217156+2 ~x217155+1 ~x217154+3 ~x616+1 ~x615+1 ~x614+3 ~x613+3 ~x612-0=13
7.60/7.63	c 4 ~x217294+2 ~x217293+1 ~x217292+3 ~x621+1 ~x620+1 ~x619+3 ~x618+3 ~x617-0=13
7.60/7.65	c 4 ~x217432+2 ~x217431+1 ~x217430+3 ~x626+1 ~x625+1 ~x624+3 ~x623+3 ~x622-0=13
7.60/7.65	c 4 ~x217570+2 ~x217569+1 ~x217568+3 ~x631+1 ~x630+1 ~x629+3 ~x628+3 ~x627-0=13
7.60/7.65	c 4 ~x217708+2 ~x217707+1 ~x217706+3 ~x636+1 ~x635+1 ~x634+3 ~x633+3 ~x632-0=13
7.60/7.65	c 4 ~x217846+2 ~x217845+1 ~x217844+3 ~x641+1 ~x640+1 ~x639+3 ~x638+3 ~x637-0=13
7.60/7.66	c 4 ~x217984+2 ~x217983+1 ~x217982+3 ~x646+1 ~x645+1 ~x644+3 ~x643+3 ~x642-0=13
7.60/7.66	c 4 ~x218122+2 ~x218121+1 ~x218120+3 ~x651+1 ~x650+1 ~x649+3 ~x648+3 ~x647-0=13
7.60/7.66	c 4 ~x218260+2 ~x218259+1 ~x218258+3 ~x656+1 ~x655+1 ~x654+3 ~x653+3 ~x652-0=13
7.60/7.68	c 4 ~x218398+2 ~x218397+1 ~x218396+3 ~x661+1 ~x660+1 ~x659+3 ~x658+3 ~x657-0=13
7.60/7.68	c 4 ~x218536+2 ~x218535+1 ~x218534+3 ~x666+1 ~x665+1 ~x664+3 ~x663+3 ~x662-0=13
7.60/7.68	c 4 ~x218674+2 ~x218673+1 ~x218672+3 ~x671+1 ~x670+1 ~x669+3 ~x668+3 ~x667-0=13
7.60/7.69	c 4 ~x218812+2 ~x218811+1 ~x218810+3 ~x676+1 ~x675+1 ~x674+3 ~x673+3 ~x672-0=13
7.60/7.69	c 4 ~x218950+2 ~x218949+1 ~x218948+3 ~x681+1 ~x680+1 ~x679+3 ~x678+3 ~x677-0=13
7.60/7.69	c 4 ~x219088+2 ~x219087+1 ~x219086+3 ~x686+1 ~x685+1 ~x684+3 ~x683+3 ~x682-0=13
7.60/7.70	c 4 ~x219226+2 ~x219225+1 ~x219224+3 ~x691+1 ~x690+1 ~x689+3 ~x688+3 ~x687-0=13
7.60/7.70	c 4 ~x219364+2 ~x219363+1 ~x219362+3 ~x696+1 ~x695+1 ~x694+3 ~x693+3 ~x692-0=13
7.60/7.70	c 4 ~x219502+2 ~x219501+1 ~x219500+3 ~x701+1 ~x700+1 ~x699+3 ~x698+3 ~x697-0=13
7.69/7.72	c 4 ~x219640+2 ~x219639+1 ~x219638+3 ~x706+1 ~x705+1 ~x704+3 ~x703+3 ~x702-0=13
7.69/7.72	c 4 ~x219778+2 ~x219777+1 ~x219776+3 ~x711+1 ~x710+1 ~x709+3 ~x708+3 ~x707-0=13
7.69/7.72	c 4 ~x219916+2 ~x219915+1 ~x219914+3 ~x716+1 ~x715+1 ~x714+3 ~x713+3 ~x712-0=13
7.69/7.72	c 4 ~x220054+2 ~x220053+1 ~x220052+3 ~x721+1 ~x720+1 ~x719+3 ~x718+3 ~x717-0=13
7.69/7.73	c 4 ~x220192+2 ~x220191+1 ~x220190+3 ~x726+1 ~x725+1 ~x724+3 ~x723+3 ~x722-0=13
7.69/7.73	c 4 ~x220330+2 ~x220329+1 ~x220328+3 ~x731+1 ~x730+1 ~x729+3 ~x728+3 ~x727-0=13
7.69/7.73	c 4 ~x220468+2 ~x220467+1 ~x220466+3 ~x736+1 ~x735+1 ~x734+3 ~x733+3 ~x732-0=13
7.69/7.75	c 4 ~x220606+2 ~x220605+1 ~x220604+3 ~x741+1 ~x740+1 ~x739+3 ~x738+3 ~x737-0=13
7.69/7.75	c 4 ~x220744+2 ~x220743+1 ~x220742+3 ~x746+1 ~x745+1 ~x744+3 ~x743+3 ~x742-0=13
7.69/7.75	c 4 ~x220882+2 ~x220881+1 ~x220880+3 ~x751+1 ~x750+1 ~x749+3 ~x748+3 ~x747-0=13
7.69/7.76	c 4 ~x221020+2 ~x221019+1 ~x221018+3 ~x756+1 ~x755+1 ~x754+3 ~x753+3 ~x752-0=13
7.69/7.76	c 4 ~x221158+2 ~x221157+1 ~x221156+3 ~x761+1 ~x760+1 ~x759+3 ~x758+3 ~x757-0=13
7.69/7.76	c 4 ~x221296+2 ~x221295+1 ~x221294+3 ~x766+1 ~x765+1 ~x764+3 ~x763+3 ~x762-0=13
7.69/7.77	c 4 ~x221434+2 ~x221433+1 ~x221432+3 ~x771+1 ~x770+1 ~x769+3 ~x768+3 ~x767-0=13
7.69/7.77	c 4 ~x221572+2 ~x221571+1 ~x221570+3 ~x776+1 ~x775+1 ~x774+3 ~x773+3 ~x772-0=13
7.69/7.77	c 4 ~x221710+2 ~x221709+1 ~x221708+3 ~x781+1 ~x780+1 ~x779+3 ~x778+3 ~x777-0=13
7.69/7.79	c 4 ~x221848+2 ~x221847+1 ~x221846+3 ~x786+1 ~x785+1 ~x784+3 ~x783+3 ~x782-0=13
7.69/7.79	c 4 ~x221986+2 ~x221985+1 ~x221984+3 ~x791+1 ~x790+1 ~x789+3 ~x788+3 ~x787-0=13
7.69/7.79	c 4 ~x222124+2 ~x222123+1 ~x222122+3 ~x796+1 ~x795+1 ~x794+3 ~x793+3 ~x792-0=13
7.69/7.79	c 4 ~x222262+2 ~x222261+1 ~x222260+3 ~x801+1 ~x800+1 ~x799+3 ~x798+3 ~x797-0=13
7.78/7.80	c 4 ~x222400+2 ~x222399+1 ~x222398+3 ~x806+1 ~x805+1 ~x804+3 ~x803+3 ~x802-0=13
7.78/7.80	c 4 ~x222538+2 ~x222537+1 ~x222536+3 ~x811+1 ~x810+1 ~x809+3 ~x808+3 ~x807-0=13
7.78/7.80	c 4 ~x222676+2 ~x222675+1 ~x222674+3 ~x816+1 ~x815+1 ~x814+3 ~x813+3 ~x812-0=13
7.78/7.82	c 4 ~x222814+2 ~x222813+1 ~x222812+3 ~x821+1 ~x820+1 ~x819+3 ~x818+3 ~x817-0=13
7.78/7.82	c 4 ~x222952+2 ~x222951+1 ~x222950+3 ~x826+1 ~x825+1 ~x824+3 ~x823+3 ~x822-0=13
7.78/7.82	c 4 ~x223090+2 ~x223089+1 ~x223088+3 ~x831+1 ~x830+1 ~x829+3 ~x828+3 ~x827-0=13
7.78/7.83	c 4 ~x223228+2 ~x223227+1 ~x223226+3 ~x836+1 ~x835+1 ~x834+3 ~x833+3 ~x832-0=13
7.78/7.83	c 4 ~x223366+2 ~x223365+1 ~x223364+3 ~x841+1 ~x840+1 ~x839+3 ~x838+3 ~x837-0=13
7.78/7.83	c 4 ~x223504+2 ~x223503+1 ~x223502+3 ~x846+1 ~x845+1 ~x844+3 ~x843+3 ~x842-0=13
7.78/7.84	c 4 ~x223642+2 ~x223641+1 ~x223640+3 ~x851+1 ~x850+1 ~x849+3 ~x848+3 ~x847-0=13
7.78/7.84	c 4 ~x223780+2 ~x223779+1 ~x223778+3 ~x856+1 ~x855+1 ~x854+3 ~x853+3 ~x852-0=13
7.78/7.84	c 4 ~x223918+2 ~x223917+1 ~x223916+3 ~x861+1 ~x860+1 ~x859+3 ~x858+3 ~x857-0=13
7.78/7.86	c 4 ~x224056+2 ~x224055+1 ~x224054+3 ~x866+1 ~x865+1 ~x864+3 ~x863+3 ~x862-0=13
7.78/7.86	c 4 ~x224194+2 ~x224193+1 ~x224192+3 ~x871+1 ~x870+1 ~x869+3 ~x868+3 ~x867-0=13
7.78/7.86	c 4 ~x224332+2 ~x224331+1 ~x224330+3 ~x876+1 ~x875+1 ~x874+3 ~x873+3 ~x872-0=13
7.78/7.86	c 4 ~x224470+2 ~x224469+1 ~x224468+3 ~x881+1 ~x880+1 ~x879+3 ~x878+3 ~x877-0=13
7.78/7.88	c 4 ~x224608+2 ~x224607+1 ~x224606+3 ~x886+1 ~x885+1 ~x884+3 ~x883+3 ~x882-0=13
7.78/7.88	c 4 ~x224746+2 ~x224745+1 ~x224744+3 ~x891+1 ~x890+1 ~x889+3 ~x888+3 ~x887-0=13
7.78/7.88	c 4 ~x224884+2 ~x224883+1 ~x224882+3 ~x896+1 ~x895+1 ~x894+3 ~x893+3 ~x892-0=13
7.78/7.89	c 4 ~x225022+2 ~x225021+1 ~x225020+3 ~x901+1 ~x900+1 ~x899+3 ~x898+3 ~x897-0=13
7.78/7.89	c 4 ~x225160+2 ~x225159+1 ~x225158+3 ~x906+1 ~x905+1 ~x904+3 ~x903+3 ~x902-0=13
7.78/7.89	c 4 ~x225298+2 ~x225297+1 ~x225296+3 ~x911+1 ~x910+1 ~x909+3 ~x908+3 ~x907-0=13
7.89/7.90	c 4 ~x225436+2 ~x225435+1 ~x225434+3 ~x916+1 ~x915+1 ~x914+3 ~x913+3 ~x912-0=13
7.89/7.90	c 4 ~x225574+2 ~x225573+1 ~x225572+3 ~x921+1 ~x920+1 ~x919+3 ~x918+3 ~x917-0=13
7.89/7.90	c 4 ~x225712+2 ~x225711+1 ~x225710+3 ~x926+1 ~x925+1 ~x924+3 ~x923+3 ~x922-0=13
7.89/7.92	c 4 ~x225850+2 ~x225849+1 ~x225848+3 ~x931+1 ~x930+1 ~x929+3 ~x928+3 ~x927-0=13
7.89/7.92	c 4 ~x225988+2 ~x225987+1 ~x225986+3 ~x936+1 ~x935+1 ~x934+3 ~x933+3 ~x932-0=13
7.89/7.92	c 4 ~x226126+2 ~x226125+1 ~x226124+3 ~x941+1 ~x940+1 ~x939+3 ~x938+3 ~x937-0=13
7.89/7.93	c 4 ~x226264+2 ~x226263+1 ~x226262+3 ~x946+1 ~x945+1 ~x944+3 ~x943+3 ~x942-0=13
7.89/7.93	c 4 ~x226402+2 ~x226401+1 ~x226400+3 ~x951+1 ~x950+1 ~x949+3 ~x948+3 ~x947-0=13
7.89/7.93	c 4 ~x226540+2 ~x226539+1 ~x226538+3 ~x956+1 ~x955+1 ~x954+3 ~x953+3 ~x952-0=13
7.89/7.93	c 4 ~x226678+2 ~x226677+1 ~x226676+3 ~x961+1 ~x960+1 ~x959+3 ~x958+3 ~x957-0=13
7.89/7.95	c 4 ~x226816+2 ~x226815+1 ~x226814+3 ~x966+1 ~x965+1 ~x964+3 ~x963+3 ~x962-0=13
7.89/7.95	c 4 ~x226954+2 ~x226953+1 ~x226952+3 ~x971+1 ~x970+1 ~x969+3 ~x968+3 ~x967-0=13
7.89/7.95	c 4 ~x227092+2 ~x227091+1 ~x227090+3 ~x976+1 ~x975+1 ~x974+3 ~x973+3 ~x972-0=13
7.89/7.96	c 4 ~x227230+2 ~x227229+1 ~x227228+3 ~x981+1 ~x980+1 ~x979+3 ~x978+3 ~x977-0=13
7.89/7.96	c 4 ~x227368+2 ~x227367+1 ~x227366+3 ~x986+1 ~x985+1 ~x984+3 ~x983+3 ~x982-0=13
7.89/7.96	c 4 ~x227506+2 ~x227505+1 ~x227504+3 ~x991+1 ~x990+1 ~x989+3 ~x988+3 ~x987-0=13
7.89/7.97	c 4 ~x227644+2 ~x227643+1 ~x227642+3 ~x996+1 ~x995+1 ~x994+3 ~x993+3 ~x992-0=13
7.89/7.97	c 4 ~x227782+2 ~x227781+1 ~x227780+3 ~x1001+1 ~x1000+1 ~x999+3 ~x998+3 ~x997-0=13
7.89/7.97	c 4 ~x227920+2 ~x227919+1 ~x227918+3 ~x1006+1 ~x1005+1 ~x1004+3 ~x1003+3 ~x1002-0=13
7.89/7.99	c 4 ~x228058+2 ~x228057+1 ~x228056+3 ~x1011+1 ~x1010+1 ~x1009+3 ~x1008+3 ~x1007-0=13
7.89/7.99	c 4 ~x228196+2 ~x228195+1 ~x228194+3 ~x1016+1 ~x1015+1 ~x1014+3 ~x1013+3 ~x1012-0=13
7.89/7.99	c 4 ~x228334+2 ~x228333+1 ~x228332+3 ~x1021+1 ~x1020+1 ~x1019+3 ~x1018+3 ~x1017-0=13
7.98/8.00	c 4 ~x228472+2 ~x228471+1 ~x228470+3 ~x1026+1 ~x1025+1 ~x1024+3 ~x1023+3 ~x1022-0=13
7.98/8.00	c 4 ~x228610+2 ~x228609+1 ~x228608+3 ~x1031+1 ~x1030+1 ~x1029+3 ~x1028+3 ~x1027-0=13
7.98/8.00	c 4 ~x228748+2 ~x228747+1 ~x228746+3 ~x1036+1 ~x1035+1 ~x1034+3 ~x1033+3 ~x1032-0=13
7.98/8.01	c 4 ~x228886+2 ~x228885+1 ~x228884+3 ~x1041+1 ~x1040+1 ~x1039+3 ~x1038+3 ~x1037-0=13
7.98/8.01	c 4 ~x229024+2 ~x229023+1 ~x229022+3 ~x1046+1 ~x1045+1 ~x1044+3 ~x1043+3 ~x1042-0=13
7.98/8.01	c 4 ~x229162+2 ~x229161+1 ~x229160+3 ~x1051+1 ~x1050+1 ~x1049+3 ~x1048+3 ~x1047-0=13
7.98/8.03	c 4 ~x229300+2 ~x229299+1 ~x229298+3 ~x1056+1 ~x1055+1 ~x1054+3 ~x1053+3 ~x1052-0=13
7.98/8.03	c 4 ~x229438+2 ~x229437+1 ~x229436+3 ~x1061+1 ~x1060+1 ~x1059+3 ~x1058+3 ~x1057-0=13
7.98/8.03	c 4 ~x229576+2 ~x229575+1 ~x229574+3 ~x1066+1 ~x1065+1 ~x1064+3 ~x1063+3 ~x1062-0=13
7.98/8.04	c 4 ~x229714+2 ~x229713+1 ~x229712+3 ~x1071+1 ~x1070+1 ~x1069+3 ~x1068+3 ~x1067-0=13
7.98/8.04	c 4 ~x229852+2 ~x229851+1 ~x229850+3 ~x1076+1 ~x1075+1 ~x1074+3 ~x1073+3 ~x1072-0=13
7.98/8.04	c 4 ~x229990+2 ~x229989+1 ~x229988+3 ~x1081+1 ~x1080+1 ~x1079+3 ~x1078+3 ~x1077-0=13
7.98/8.05	c 4 ~x230128+2 ~x230127+1 ~x230126+3 ~x1086+1 ~x1085+1 ~x1084+3 ~x1083+3 ~x1082-0=13
7.98/8.05	c 4 ~x230266+2 ~x230265+1 ~x230264+3 ~x1091+1 ~x1090+1 ~x1089+3 ~x1088+3 ~x1087-0=13
7.98/8.05	c 4 ~x230404+2 ~x230403+1 ~x230402+3 ~x1096+1 ~x1095+1 ~x1094+3 ~x1093+3 ~x1092-0=13
7.98/8.07	c 4 ~x230542+2 ~x230541+1 ~x230540+3 ~x1101+1 ~x1100+1 ~x1099+3 ~x1098+3 ~x1097-0=13
7.98/8.07	c 4 ~x230680+2 ~x230679+1 ~x230678+3 ~x1106+1 ~x1105+1 ~x1104+3 ~x1103+3 ~x1102-0=13
7.98/8.07	c 4 ~x230818+2 ~x230817+1 ~x230816+3 ~x1111+1 ~x1110+1 ~x1109+3 ~x1108+3 ~x1107-0=13
7.98/8.08	c 4 ~x230956+2 ~x230955+1 ~x230954+3 ~x1116+1 ~x1115+1 ~x1114+3 ~x1113+3 ~x1112-0=13
7.98/8.08	c 4 ~x231094+2 ~x231093+1 ~x231092+3 ~x1121+1 ~x1120+1 ~x1119+3 ~x1118+3 ~x1117-0=13
7.98/8.08	c 4 ~x231232+2 ~x231231+1 ~x231230+3 ~x1126+1 ~x1125+1 ~x1124+3 ~x1123+3 ~x1122-0=13
7.98/8.09	c 4 ~x231370+2 ~x231369+1 ~x231368+3 ~x1131+1 ~x1130+1 ~x1129+3 ~x1128+3 ~x1127-0=13
7.98/8.09	c 4 ~x231508+2 ~x231507+1 ~x231506+3 ~x1136+1 ~x1135+1 ~x1134+3 ~x1133+3 ~x1132-0=13
7.98/8.09	c 4 ~x231646+2 ~x231645+1 ~x231644+3 ~x1141+1 ~x1140+1 ~x1139+3 ~x1138+3 ~x1137-0=13
8.08/8.11	c 4 ~x231784+2 ~x231783+1 ~x231782+3 ~x1146+1 ~x1145+1 ~x1144+3 ~x1143+3 ~x1142-0=13
8.08/8.11	c 4 ~x231922+2 ~x231921+1 ~x231920+3 ~x1151+1 ~x1150+1 ~x1149+3 ~x1148+3 ~x1147-0=13
8.08/8.11	c 4 ~x232060+2 ~x232059+1 ~x232058+3 ~x1156+1 ~x1155+1 ~x1154+3 ~x1153+3 ~x1152-0=13
8.08/8.12	c 4 ~x232198+2 ~x232197+1 ~x232196+3 ~x1161+1 ~x1160+1 ~x1159+3 ~x1158+3 ~x1157-0=13
8.08/8.12	c 4 ~x232336+2 ~x232335+1 ~x232334+3 ~x1166+1 ~x1165+1 ~x1164+3 ~x1163+3 ~x1162-0=13
8.08/8.12	c 4 ~x232474+2 ~x232473+1 ~x232472+3 ~x1171+1 ~x1170+1 ~x1169+3 ~x1168+3 ~x1167-0=13
8.08/8.13	c 4 ~x232612+2 ~x232611+1 ~x232610+3 ~x1176+1 ~x1175+1 ~x1174+3 ~x1173+3 ~x1172-0=13
8.08/8.13	c 4 ~x232750+2 ~x232749+1 ~x232748+3 ~x1181+1 ~x1180+1 ~x1179+3 ~x1178+3 ~x1177-0=13
8.08/8.13	c 4 ~x232888+2 ~x232887+1 ~x232886+3 ~x1186+1 ~x1185+1 ~x1184+3 ~x1183+3 ~x1182-0=13
8.08/8.15	c 4 ~x233026+2 ~x233025+1 ~x233024+3 ~x1191+1 ~x1190+1 ~x1189+3 ~x1188+3 ~x1187-0=13
8.08/8.15	c 4 ~x233164+2 ~x233163+1 ~x233162+3 ~x1196+1 ~x1195+1 ~x1194+3 ~x1193+3 ~x1192-0=13
8.08/8.15	c 4 ~x233302+2 ~x233301+1 ~x233300+3 ~x1201+1 ~x1200+1 ~x1199+3 ~x1198+3 ~x1197-0=13
8.08/8.16	c 4 ~x233440+2 ~x233439+1 ~x233438+3 ~x1206+1 ~x1205+1 ~x1204+3 ~x1203+3 ~x1202-0=13
8.08/8.16	c 4 ~x233578+2 ~x233577+1 ~x233576+3 ~x1211+1 ~x1210+1 ~x1209+3 ~x1208+3 ~x1207-0=13
8.08/8.16	c 4 ~x233716+2 ~x233715+1 ~x233714+3 ~x1216+1 ~x1215+1 ~x1214+3 ~x1213+3 ~x1212-0=13
8.08/8.17	c 4 ~x233854+2 ~x233853+1 ~x233852+3 ~x1221+1 ~x1220+1 ~x1219+3 ~x1218+3 ~x1217-0=13
8.08/8.17	c 4 ~x233992+2 ~x233991+1 ~x233990+3 ~x1226+1 ~x1225+1 ~x1224+3 ~x1223+3 ~x1222-0=13
8.08/8.17	c 4 ~x234130+2 ~x234129+1 ~x234128+3 ~x1231+1 ~x1230+1 ~x1229+3 ~x1228+3 ~x1227-0=13
8.08/8.19	c 4 ~x234268+2 ~x234267+1 ~x234266+3 ~x1236+1 ~x1235+1 ~x1234+3 ~x1233+3 ~x1232-0=13
8.08/8.19	c 4 ~x234406+2 ~x234405+1 ~x234404+3 ~x1241+1 ~x1240+1 ~x1239+3 ~x1238+3 ~x1237-0=13
8.08/8.19	c 4 ~x234544+2 ~x234543+1 ~x234542+3 ~x1246+1 ~x1245+1 ~x1244+3 ~x1243+3 ~x1242-0=13
8.18/8.20	c 4 ~x234682+2 ~x234681+1 ~x234680+3 ~x1251+1 ~x1250+1 ~x1249+3 ~x1248+3 ~x1247-0=13
8.18/8.20	c 4 ~x234820+2 ~x234819+1 ~x234818+3 ~x1256+1 ~x1255+1 ~x1254+3 ~x1253+3 ~x1252-0=13
8.18/8.20	c 4 ~x234958+2 ~x234957+1 ~x234956+3 ~x1261+1 ~x1260+1 ~x1259+3 ~x1258+3 ~x1257-0=13
8.18/8.21	c 4 ~x235096+2 ~x235095+1 ~x235094+3 ~x1266+1 ~x1265+1 ~x1264+3 ~x1263+3 ~x1262-0=13
8.18/8.21	c 4 ~x235234+2 ~x235233+1 ~x235232+3 ~x1271+1 ~x1270+1 ~x1269+3 ~x1268+3 ~x1267-0=13
8.18/8.21	c 4 ~x235372+2 ~x235371+1 ~x235370+3 ~x1276+1 ~x1275+1 ~x1274+3 ~x1273+3 ~x1272-0=13
8.18/8.23	c 4 ~x235510+2 ~x235509+1 ~x235508+3 ~x1281+1 ~x1280+1 ~x1279+3 ~x1278+3 ~x1277-0=13
8.18/8.23	c 4 ~x235648+2 ~x235647+1 ~x235646+3 ~x1286+1 ~x1285+1 ~x1284+3 ~x1283+3 ~x1282-0=13
8.18/8.23	c 4 ~x235786+2 ~x235785+1 ~x235784+3 ~x1291+1 ~x1290+1 ~x1289+3 ~x1288+3 ~x1287-0=13
8.18/8.24	c 4 ~x235924+2 ~x235923+1 ~x235922+3 ~x1296+1 ~x1295+1 ~x1294+3 ~x1293+3 ~x1292-0=13
8.18/8.24	c 4 ~x236062+2 ~x236061+1 ~x236060+3 ~x1301+1 ~x1300+1 ~x1299+3 ~x1298+3 ~x1297-0=13
8.18/8.24	c 4 ~x236200+2 ~x236199+1 ~x236198+3 ~x1306+1 ~x1305+1 ~x1304+3 ~x1303+3 ~x1302-0=13
8.18/8.25	c 4 ~x236338+2 ~x236337+1 ~x236336+3 ~x1311+1 ~x1310+1 ~x1309+3 ~x1308+3 ~x1307-0=13
8.18/8.25	c 4 ~x236476+2 ~x236475+1 ~x236474+3 ~x1316+1 ~x1315+1 ~x1314+3 ~x1313+3 ~x1312-0=13
8.18/8.25	c 4 ~x236614+2 ~x236613+1 ~x236612+3 ~x1321+1 ~x1320+1 ~x1319+3 ~x1318+3 ~x1317-0=13
8.18/8.27	c 4 ~x236752+2 ~x236751+1 ~x236750+3 ~x1326+1 ~x1325+1 ~x1324+3 ~x1323+3 ~x1322-0=13
8.18/8.27	c 4 ~x236890+2 ~x236889+1 ~x236888+3 ~x1331+1 ~x1330+1 ~x1329+3 ~x1328+3 ~x1327-0=13
8.18/8.27	c 4 ~x237028+2 ~x237027+1 ~x237026+3 ~x1336+1 ~x1335+1 ~x1334+3 ~x1333+3 ~x1332-0=13
8.18/8.28	c 4 ~x237166+2 ~x237165+1 ~x237164+3 ~x1341+1 ~x1340+1 ~x1339+3 ~x1338+3 ~x1337-0=13
8.18/8.28	c 4 ~x237304+2 ~x237303+1 ~x237302+3 ~x1346+1 ~x1345+1 ~x1344+3 ~x1343+3 ~x1342-0=13
8.18/8.28	c 4 ~x237442+2 ~x237441+1 ~x237440+3 ~x1351+1 ~x1350+1 ~x1349+3 ~x1348+3 ~x1347-0=13
8.18/8.29	c 4 ~x237580+2 ~x237579+1 ~x237578+3 ~x1356+1 ~x1355+1 ~x1354+3 ~x1353+3 ~x1352-0=13
8.18/8.29	c 4 ~x237718+2 ~x237717+1 ~x237716+3 ~x1361+1 ~x1360+1 ~x1359+3 ~x1358+3 ~x1357-0=13
8.18/8.29	c 4 ~x237856+2 ~x237855+1 ~x237854+3 ~x1366+1 ~x1365+1 ~x1364+3 ~x1363+3 ~x1362-0=13
8.29/8.31	c 4 ~x237994+2 ~x237993+1 ~x237992+3 ~x1371+1 ~x1370+1 ~x1369+3 ~x1368+3 ~x1367-0=13
8.29/8.31	c 4 ~x238132+2 ~x238131+1 ~x238130+3 ~x1376+1 ~x1375+1 ~x1374+3 ~x1373+3 ~x1372-0=13
8.29/8.31	c 4 ~x238270+2 ~x238269+1 ~x238268+3 ~x1381+1 ~x1380+1 ~x1379+3 ~x1378+3 ~x1377-0=13
8.29/8.32	c 4 ~x238408+2 ~x238407+1 ~x238406+3 ~x1386+1 ~x1385+1 ~x1384+3 ~x1383+3 ~x1382-0=13
8.29/8.32	c 4 ~x238546+2 ~x238545+1 ~x238544+3 ~x1391+1 ~x1390+1 ~x1389+3 ~x1388+3 ~x1387-0=13
8.29/8.32	c 4 ~x238684+2 ~x238683+1 ~x238682+3 ~x1396+1 ~x1395+1 ~x1394+3 ~x1393+3 ~x1392-0=13
8.29/8.33	c 4 ~x238822+2 ~x238821+1 ~x238820+3 ~x1401+1 ~x1400+1 ~x1399+3 ~x1398+3 ~x1397-0=13
8.29/8.33	c 4 ~x238960+2 ~x238959+1 ~x238958+3 ~x1406+1 ~x1405+1 ~x1404+3 ~x1403+3 ~x1402-0=13
8.29/8.33	c 4 ~x239098+2 ~x239097+1 ~x239096+3 ~x1411+1 ~x1410+1 ~x1409+3 ~x1408+3 ~x1407-0=13
8.29/8.35	c 4 ~x239236+2 ~x239235+1 ~x239234+3 ~x1416+1 ~x1415+1 ~x1414+3 ~x1413+3 ~x1412-0=13
8.29/8.35	c 4 ~x239374+2 ~x239373+1 ~x239372+3 ~x1421+1 ~x1420+1 ~x1419+3 ~x1418+3 ~x1417-0=13
8.29/8.35	c 4 ~x239512+2 ~x239511+1 ~x239510+3 ~x1426+1 ~x1425+1 ~x1424+3 ~x1423+3 ~x1422-0=13
8.29/8.36	c 4 ~x239650+2 ~x239649+1 ~x239648+3 ~x1431+1 ~x1430+1 ~x1429+3 ~x1428+3 ~x1427-0=13
8.29/8.36	c 4 ~x239788+2 ~x239787+1 ~x239786+3 ~x1436+1 ~x1435+1 ~x1434+3 ~x1433+3 ~x1432-0=13
8.29/8.36	c 4 ~x239926+2 ~x239925+1 ~x239924+3 ~x1441+1 ~x1440+1 ~x1439+3 ~x1438+3 ~x1437-0=13
8.29/8.38	c 4 ~x240064+2 ~x240063+1 ~x240062+1 ~x726+1 ~x725+1 ~x724+1 ~x723+1 ~x722-0=12
8.29/8.38	c 4 ~x240179+2 ~x240178+1 ~x240177+1 ~x731+1 ~x730+1 ~x729+1 ~x728+1 ~x727-0=12
8.29/8.38	c 4 ~x240294+2 ~x240293+1 ~x240292+1 ~x736+1 ~x735+1 ~x734+1 ~x733+1 ~x732-0=12
8.29/8.38	c 4 ~x240409+2 ~x240408+1 ~x240407+1 ~x741+1 ~x740+1 ~x739+1 ~x738+1 ~x737-0=12
8.29/8.39	c 4 ~x240524+2 ~x240523+1 ~x240522+1 ~x746+1 ~x745+1 ~x744+1 ~x743+1 ~x742-0=12
8.29/8.39	c 4 ~x240639+2 ~x240638+1 ~x240637+1 ~x751+1 ~x750+1 ~x749+1 ~x748+1 ~x747-0=12
8.29/8.39	c 4 ~x240754+2 ~x240753+1 ~x240752+1 ~x756+1 ~x755+1 ~x754+1 ~x753+1 ~x752-0=12
8.39/8.40	c 4 ~x240869+2 ~x240868+1 ~x240867+1 ~x761+1 ~x760+1 ~x759+1 ~x758+1 ~x757-0=12
8.39/8.40	c 4 ~x240984+2 ~x240983+1 ~x240982+1 ~x766+1 ~x765+1 ~x764+1 ~x763+1 ~x762-0=12
8.39/8.40	c 4 ~x241099+2 ~x241098+1 ~x241097+1 ~x771+1 ~x770+1 ~x769+1 ~x768+1 ~x767-0=12
8.39/8.41	c 4 ~x241214+2 ~x241213+1 ~x241212+1 ~x776+1 ~x775+1 ~x774+1 ~x773+1 ~x772-0=12
8.39/8.41	c 4 ~x241329+2 ~x241328+1 ~x241327+1 ~x781+1 ~x780+1 ~x779+1 ~x778+1 ~x777-0=12
8.39/8.41	c 4 ~x241444+2 ~x241443+1 ~x241442+1 ~x786+1 ~x785+1 ~x784+1 ~x783+1 ~x782-0=12
8.39/8.42	c 4 ~x241559+2 ~x241558+1 ~x241557+1 ~x791+1 ~x790+1 ~x789+1 ~x788+1 ~x787-0=12
8.39/8.42	c 4 ~x241674+2 ~x241673+1 ~x241672+1 ~x796+1 ~x795+1 ~x794+1 ~x793+1 ~x792-0=12
8.39/8.42	c 4 ~x241789+2 ~x241788+1 ~x241787+1 ~x801+1 ~x800+1 ~x799+1 ~x798+1 ~x797-0=12
8.39/8.44	c 4 ~x241904+2 ~x241903+1 ~x241902+1 ~x806+1 ~x805+1 ~x804+1 ~x803+1 ~x802-0=12
8.39/8.44	c 4 ~x242019+2 ~x242018+1 ~x242017+1 ~x811+1 ~x810+1 ~x809+1 ~x808+1 ~x807-0=12
8.39/8.44	c 4 ~x242134+2 ~x242133+1 ~x242132+1 ~x816+1 ~x815+1 ~x814+1 ~x813+1 ~x812-0=12
8.39/8.44	c 4 ~x242249+2 ~x242248+1 ~x242247+1 ~x821+1 ~x820+1 ~x819+1 ~x818+1 ~x817-0=12
8.39/8.45	c 4 ~x242364+2 ~x242363+1 ~x242362+1 ~x826+1 ~x825+1 ~x824+1 ~x823+1 ~x822-0=12
8.39/8.45	c 4 ~x242479+2 ~x242478+1 ~x242477+1 ~x831+1 ~x830+1 ~x829+1 ~x828+1 ~x827-0=12
8.39/8.45	c 4 ~x242594+2 ~x242593+1 ~x242592+1 ~x836+1 ~x835+1 ~x834+1 ~x833+1 ~x832-0=12
8.39/8.46	c 4 ~x242709+2 ~x242708+1 ~x242707+1 ~x841+1 ~x840+1 ~x839+1 ~x838+1 ~x837-0=12
8.39/8.46	c 4 ~x242824+2 ~x242823+1 ~x242822+1 ~x846+1 ~x845+1 ~x844+1 ~x843+1 ~x842-0=12
8.39/8.46	c 4 ~x242939+2 ~x242938+1 ~x242937+1 ~x851+1 ~x850+1 ~x849+1 ~x848+1 ~x847-0=12
8.39/8.48	c 4 ~x243054+2 ~x243053+1 ~x243052+1 ~x856+1 ~x855+1 ~x854+1 ~x853+1 ~x852-0=12
8.39/8.48	c 4 ~x243169+2 ~x243168+1 ~x243167+1 ~x861+1 ~x860+1 ~x859+1 ~x858+1 ~x857-0=12
8.39/8.48	c 4 ~x243284+2 ~x243283+1 ~x243282+1 ~x866+1 ~x865+1 ~x864+1 ~x863+1 ~x862-0=12
8.39/8.49	c 4 ~x243399+2 ~x243398+1 ~x243397+1 ~x871+1 ~x870+1 ~x869+1 ~x868+1 ~x867-0=12
8.39/8.49	c 4 ~x243514+2 ~x243513+1 ~x243512+1 ~x876+1 ~x875+1 ~x874+1 ~x873+1 ~x872-0=12
8.39/8.49	c 4 ~x243629+2 ~x243628+1 ~x243627+1 ~x881+1 ~x880+1 ~x879+1 ~x878+1 ~x877-0=12
8.49/8.50	c 4 ~x243744+2 ~x243743+1 ~x243742+1 ~x886+1 ~x885+1 ~x884+1 ~x883+1 ~x882-0=12
8.49/8.50	c 4 ~x243859+2 ~x243858+1 ~x243857+1 ~x891+1 ~x890+1 ~x889+1 ~x888+1 ~x887-0=12
8.49/8.50	c 4 ~x243974+2 ~x243973+1 ~x243972+1 ~x896+1 ~x895+1 ~x894+1 ~x893+1 ~x892-0=12
8.49/8.50	c 4 ~x244089+2 ~x244088+1 ~x244087+1 ~x901+1 ~x900+1 ~x899+1 ~x898+1 ~x897-0=12
8.49/8.52	c 4 ~x244204+2 ~x244203+1 ~x244202+1 ~x906+1 ~x905+1 ~x904+1 ~x903+1 ~x902-0=12
8.49/8.52	c 4 ~x244319+2 ~x244318+1 ~x244317+1 ~x911+1 ~x910+1 ~x909+1 ~x908+1 ~x907-0=12
8.49/8.52	c 4 ~x244434+2 ~x244433+1 ~x244432+1 ~x916+1 ~x915+1 ~x914+1 ~x913+1 ~x912-0=12
8.49/8.53	c 4 ~x244549+2 ~x244548+1 ~x244547+1 ~x921+1 ~x920+1 ~x919+1 ~x918+1 ~x917-0=12
8.49/8.53	c 4 ~x244664+2 ~x244663+1 ~x244662+1 ~x926+1 ~x925+1 ~x924+1 ~x923+1 ~x922-0=12
8.49/8.53	c 4 ~x244779+2 ~x244778+1 ~x244777+1 ~x931+1 ~x930+1 ~x929+1 ~x928+1 ~x927-0=12
8.49/8.54	c 4 ~x244894+2 ~x244893+1 ~x244892+1 ~x936+1 ~x935+1 ~x934+1 ~x933+1 ~x932-0=12
8.49/8.54	c 4 ~x245009+2 ~x245008+1 ~x245007+1 ~x941+1 ~x940+1 ~x939+1 ~x938+1 ~x937-0=12
8.49/8.54	c 4 ~x245124+2 ~x245123+1 ~x245122+1 ~x946+1 ~x945+1 ~x944+1 ~x943+1 ~x942-0=12
8.49/8.55	c 4 ~x245239+2 ~x245238+1 ~x245237+1 ~x951+1 ~x950+1 ~x949+1 ~x948+1 ~x947-0=12
8.49/8.55	c 4 ~x245354+2 ~x245353+1 ~x245352+1 ~x956+1 ~x955+1 ~x954+1 ~x953+1 ~x952-0=12
8.49/8.55	c 4 ~x245469+2 ~x245468+1 ~x245467+1 ~x961+1 ~x960+1 ~x959+1 ~x958+1 ~x957-0=12
8.49/8.57	c 4 ~x245584+2 ~x245583+1 ~x245582+1 ~x966+1 ~x965+1 ~x964+1 ~x963+1 ~x962-0=12
8.49/8.57	c 4 ~x245699+2 ~x245698+1 ~x245697+1 ~x971+1 ~x970+1 ~x969+1 ~x968+1 ~x967-0=12
8.49/8.57	c 4 ~x245814+2 ~x245813+1 ~x245812+1 ~x976+1 ~x975+1 ~x974+1 ~x973+1 ~x972-0=12
8.49/8.57	c 4 ~x245929+2 ~x245928+1 ~x245927+1 ~x981+1 ~x980+1 ~x979+1 ~x978+1 ~x977-0=12
8.49/8.58	c 4 ~x246044+2 ~x246043+1 ~x246042+1 ~x986+1 ~x985+1 ~x984+1 ~x983+1 ~x982-0=12
8.49/8.58	c 4 ~x246159+2 ~x246158+1 ~x246157+1 ~x991+1 ~x990+1 ~x989+1 ~x988+1 ~x987-0=12
8.49/8.58	c 4 ~x246274+2 ~x246273+1 ~x246272+1 ~x996+1 ~x995+1 ~x994+1 ~x993+1 ~x992-0=12
8.49/8.59	c 4 ~x246389+2 ~x246388+1 ~x246387+1 ~x1001+1 ~x1000+1 ~x999+1 ~x998+1 ~x997-0=12
8.49/8.59	c 4 ~x246504+2 ~x246503+1 ~x246502+1 ~x1006+1 ~x1005+1 ~x1004+1 ~x1003+1 ~x1002-0=12
8.49/8.59	c 4 ~x246619+2 ~x246618+1 ~x246617+1 ~x1011+1 ~x1010+1 ~x1009+1 ~x1008+1 ~x1007-0=12
8.58/8.60	c 4 ~x246734+2 ~x246733+1 ~x246732+1 ~x1016+1 ~x1015+1 ~x1014+1 ~x1013+1 ~x1012-0=12
8.58/8.60	c 4 ~x246849+2 ~x246848+1 ~x246847+1 ~x1021+1 ~x1020+1 ~x1019+1 ~x1018+1 ~x1017-0=12
8.58/8.60	c 4 ~x246964+2 ~x246963+1 ~x246962+1 ~x1026+1 ~x1025+1 ~x1024+1 ~x1023+1 ~x1022-0=12
8.58/8.62	c 4 ~x247079+2 ~x247078+1 ~x247077+1 ~x1031+1 ~x1030+1 ~x1029+1 ~x1028+1 ~x1027-0=12
8.58/8.62	c 4 ~x247194+2 ~x247193+1 ~x247192+1 ~x1036+1 ~x1035+1 ~x1034+1 ~x1033+1 ~x1032-0=12
8.58/8.62	c 4 ~x247309+2 ~x247308+1 ~x247307+1 ~x1041+1 ~x1040+1 ~x1039+1 ~x1038+1 ~x1037-0=12
8.58/8.63	c 4 ~x247424+2 ~x247423+1 ~x247422+1 ~x1046+1 ~x1045+1 ~x1044+1 ~x1043+1 ~x1042-0=12
8.58/8.63	c 4 ~x247539+2 ~x247538+1 ~x247537+1 ~x1051+1 ~x1050+1 ~x1049+1 ~x1048+1 ~x1047-0=12
8.58/8.63	c 4 ~x247654+2 ~x247653+1 ~x247652+1 ~x1056+1 ~x1055+1 ~x1054+1 ~x1053+1 ~x1052-0=12
8.58/8.64	c 4 ~x247769+2 ~x247768+1 ~x247767+1 ~x1061+1 ~x1060+1 ~x1059+1 ~x1058+1 ~x1057-0=12
8.58/8.64	c 4 ~x247884+2 ~x247883+1 ~x247882+1 ~x1066+1 ~x1065+1 ~x1064+1 ~x1063+1 ~x1062-0=12
8.58/8.64	c 4 ~x247999+2 ~x247998+1 ~x247997+1 ~x1071+1 ~x1070+1 ~x1069+1 ~x1068+1 ~x1067-0=12
8.58/8.65	c 4 ~x248114+2 ~x248113+1 ~x248112+1 ~x1076+1 ~x1075+1 ~x1074+1 ~x1073+1 ~x1072-0=12
8.58/8.65	c 4 ~x248229+2 ~x248228+1 ~x248227+1 ~x1081+1 ~x1080+1 ~x1079+1 ~x1078+1 ~x1077-0=12
8.58/8.65	c 4 ~x248344+2 ~x248343+1 ~x248342+1 ~x1086+1 ~x1085+1 ~x1084+1 ~x1083+1 ~x1082-0=12
8.58/8.66	c 4 ~x248459+2 ~x248458+1 ~x248457+1 ~x1091+1 ~x1090+1 ~x1089+1 ~x1088+1 ~x1087-0=12
8.58/8.66	c 4 ~x248574+2 ~x248573+1 ~x248572+1 ~x1096+1 ~x1095+1 ~x1094+1 ~x1093+1 ~x1092-0=12
8.58/8.66	c 4 ~x248689+2 ~x248688+1 ~x248687+1 ~x1101+1 ~x1100+1 ~x1099+1 ~x1098+1 ~x1097-0=12
8.58/8.68	c 4 ~x248804+2 ~x248803+1 ~x248802+1 ~x1106+1 ~x1105+1 ~x1104+1 ~x1103+1 ~x1102-0=12
8.58/8.68	c 4 ~x248919+2 ~x248918+1 ~x248917+1 ~x1111+1 ~x1110+1 ~x1109+1 ~x1108+1 ~x1107-0=12
8.58/8.68	c 4 ~x249034+2 ~x249033+1 ~x249032+1 ~x1116+1 ~x1115+1 ~x1114+1 ~x1113+1 ~x1112-0=12
8.58/8.69	c 4 ~x249149+2 ~x249148+1 ~x249147+1 ~x1121+1 ~x1120+1 ~x1119+1 ~x1118+1 ~x1117-0=12
8.58/8.69	c 4 ~x249264+2 ~x249263+1 ~x249262+1 ~x1126+1 ~x1125+1 ~x1124+1 ~x1123+1 ~x1122-0=12
8.58/8.69	c 4 ~x249379+2 ~x249378+1 ~x249377+1 ~x1131+1 ~x1130+1 ~x1129+1 ~x1128+1 ~x1127-0=12
8.69/8.70	c 4 ~x249494+2 ~x249493+1 ~x249492+1 ~x1136+1 ~x1135+1 ~x1134+1 ~x1133+1 ~x1132-0=12
8.69/8.70	c 4 ~x249609+2 ~x249608+1 ~x249607+1 ~x1141+1 ~x1140+1 ~x1139+1 ~x1138+1 ~x1137-0=12
8.69/8.70	c 4 ~x249724+2 ~x249723+1 ~x249722+1 ~x1146+1 ~x1145+1 ~x1144+1 ~x1143+1 ~x1142-0=12
8.69/8.71	c 4 ~x249839+2 ~x249838+1 ~x249837+1 ~x1151+1 ~x1150+1 ~x1149+1 ~x1148+1 ~x1147-0=12
8.69/8.71	c 4 ~x249954+2 ~x249953+1 ~x249952+1 ~x1156+1 ~x1155+1 ~x1154+1 ~x1153+1 ~x1152-0=12
8.69/8.71	c 4 ~x250069+2 ~x250068+1 ~x250067+1 ~x1161+1 ~x1160+1 ~x1159+1 ~x1158+1 ~x1157-0=12
8.69/8.72	c 4 ~x250184+2 ~x250183+1 ~x250182+1 ~x1166+1 ~x1165+1 ~x1164+1 ~x1163+1 ~x1162-0=12
8.69/8.72	c 4 ~x250299+2 ~x250298+1 ~x250297+1 ~x1171+1 ~x1170+1 ~x1169+1 ~x1168+1 ~x1167-0=12
8.69/8.72	c 4 ~x250414+2 ~x250413+1 ~x250412+1 ~x1176+1 ~x1175+1 ~x1174+1 ~x1173+1 ~x1172-0=12
8.69/8.74	c 4 ~x250529+2 ~x250528+1 ~x250527+1 ~x1181+1 ~x1180+1 ~x1179+1 ~x1178+1 ~x1177-0=12
8.69/8.74	c 4 ~x250644+2 ~x250643+1 ~x250642+1 ~x1186+1 ~x1185+1 ~x1184+1 ~x1183+1 ~x1182-0=12
8.69/8.74	c 4 ~x250759+2 ~x250758+1 ~x250757+1 ~x1191+1 ~x1190+1 ~x1189+1 ~x1188+1 ~x1187-0=12
8.69/8.75	c 4 ~x250874+2 ~x250873+1 ~x250872+1 ~x1196+1 ~x1195+1 ~x1194+1 ~x1193+1 ~x1192-0=12
8.69/8.75	c 4 ~x250989+2 ~x250988+1 ~x250987+1 ~x1201+1 ~x1200+1 ~x1199+1 ~x1198+1 ~x1197-0=12
8.69/8.75	c 4 ~x251104+2 ~x251103+1 ~x251102+1 ~x1206+1 ~x1205+1 ~x1204+1 ~x1203+1 ~x1202-0=12
8.69/8.76	c 4 ~x251219+2 ~x251218+1 ~x251217+1 ~x1211+1 ~x1210+1 ~x1209+1 ~x1208+1 ~x1207-0=12
8.69/8.76	c 4 ~x251334+2 ~x251333+1 ~x251332+1 ~x1216+1 ~x1215+1 ~x1214+1 ~x1213+1 ~x1212-0=12
8.69/8.76	c 4 ~x251449+2 ~x251448+1 ~x251447+1 ~x1221+1 ~x1220+1 ~x1219+1 ~x1218+1 ~x1217-0=12
8.69/8.77	c 4 ~x251564+2 ~x251563+1 ~x251562+1 ~x1226+1 ~x1225+1 ~x1224+1 ~x1223+1 ~x1222-0=12
8.69/8.77	c 4 ~x251679+2 ~x251678+1 ~x251677+1 ~x1231+1 ~x1230+1 ~x1229+1 ~x1228+1 ~x1227-0=12
8.69/8.77	c 4 ~x251794+2 ~x251793+1 ~x251792+1 ~x1236+1 ~x1235+1 ~x1234+1 ~x1233+1 ~x1232-0=12
8.69/8.78	c 4 ~x251909+2 ~x251908+1 ~x251907+1 ~x1241+1 ~x1240+1 ~x1239+1 ~x1238+1 ~x1237-0=12
8.69/8.78	c 4 ~x252024+2 ~x252023+1 ~x252022+1 ~x1246+1 ~x1245+1 ~x1244+1 ~x1243+1 ~x1242-0=12
8.69/8.78	c 4 ~x252139+2 ~x252138+1 ~x252137+1 ~x1251+1 ~x1250+1 ~x1249+1 ~x1248+1 ~x1247-0=12
8.69/8.80	c 4 ~x252254+2 ~x252253+1 ~x252252+1 ~x1256+1 ~x1255+1 ~x1254+1 ~x1253+1 ~x1252-0=12
8.69/8.80	c 4 ~x252369+2 ~x252368+1 ~x252367+1 ~x1261+1 ~x1260+1 ~x1259+1 ~x1258+1 ~x1257-0=12
8.69/8.80	c 4 ~x252484+2 ~x252483+1 ~x252482+1 ~x1266+1 ~x1265+1 ~x1264+1 ~x1263+1 ~x1262-0=12
8.79/8.81	c 4 ~x252599+2 ~x252598+1 ~x252597+1 ~x1271+1 ~x1270+1 ~x1269+1 ~x1268+1 ~x1267-0=12
8.79/8.81	c 4 ~x252714+2 ~x252713+1 ~x252712+1 ~x1276+1 ~x1275+1 ~x1274+1 ~x1273+1 ~x1272-0=12
8.79/8.81	c 4 ~x252829+2 ~x252828+1 ~x252827+1 ~x1281+1 ~x1280+1 ~x1279+1 ~x1278+1 ~x1277-0=12
8.79/8.82	c 4 ~x252944+2 ~x252943+1 ~x252942+1 ~x1286+1 ~x1285+1 ~x1284+1 ~x1283+1 ~x1282-0=12
8.79/8.82	c 4 ~x253059+2 ~x253058+1 ~x253057+1 ~x1291+1 ~x1290+1 ~x1289+1 ~x1288+1 ~x1287-0=12
8.79/8.82	c 4 ~x253174+2 ~x253173+1 ~x253172+1 ~x1296+1 ~x1295+1 ~x1294+1 ~x1293+1 ~x1292-0=12
8.79/8.83	c 4 ~x253289+2 ~x253288+1 ~x253287+1 ~x1301+1 ~x1300+1 ~x1299+1 ~x1298+1 ~x1297-0=12
8.79/8.83	c 4 ~x253404+2 ~x253403+1 ~x253402+1 ~x1306+1 ~x1305+1 ~x1304+1 ~x1303+1 ~x1302-0=12
8.79/8.83	c 4 ~x253519+2 ~x253518+1 ~x253517+1 ~x1311+1 ~x1310+1 ~x1309+1 ~x1308+1 ~x1307-0=12
8.79/8.84	c 4 ~x253634+2 ~x253633+1 ~x253632+1 ~x1316+1 ~x1315+1 ~x1314+1 ~x1313+1 ~x1312-0=12
8.79/8.84	c 4 ~x253749+2 ~x253748+1 ~x253747+1 ~x1321+1 ~x1320+1 ~x1319+1 ~x1318+1 ~x1317-0=12
8.79/8.84	c 4 ~x253864+2 ~x253863+1 ~x253862+1 ~x1326+1 ~x1325+1 ~x1324+1 ~x1323+1 ~x1322-0=12
8.79/8.86	c 4 ~x253979+2 ~x253978+1 ~x253977+1 ~x1331+1 ~x1330+1 ~x1329+1 ~x1328+1 ~x1327-0=12
8.79/8.86	c 4 ~x254094+2 ~x254093+1 ~x254092+1 ~x1336+1 ~x1335+1 ~x1334+1 ~x1333+1 ~x1332-0=12
8.79/8.86	c 4 ~x254209+2 ~x254208+1 ~x254207+1 ~x1341+1 ~x1340+1 ~x1339+1 ~x1338+1 ~x1337-0=12
8.79/8.87	c 4 ~x254324+2 ~x254323+1 ~x254322+1 ~x1346+1 ~x1345+1 ~x1344+1 ~x1343+1 ~x1342-0=12
8.79/8.87	c 4 ~x254439+2 ~x254438+1 ~x254437+1 ~x1351+1 ~x1350+1 ~x1349+1 ~x1348+1 ~x1347-0=12
8.79/8.87	c 4 ~x254554+2 ~x254553+1 ~x254552+1 ~x1356+1 ~x1355+1 ~x1354+1 ~x1353+1 ~x1352-0=12
8.79/8.88	c 4 ~x254669+2 ~x254668+1 ~x254667+1 ~x1361+1 ~x1360+1 ~x1359+1 ~x1358+1 ~x1357-0=12
8.79/8.88	c 4 ~x254784+2 ~x254783+1 ~x254782+1 ~x1366+1 ~x1365+1 ~x1364+1 ~x1363+1 ~x1362-0=12
8.79/8.88	c 4 ~x254899+2 ~x254898+1 ~x254897+1 ~x1371+1 ~x1370+1 ~x1369+1 ~x1368+1 ~x1367-0=12
8.79/8.89	c 4 ~x255014+2 ~x255013+1 ~x255012+1 ~x1376+1 ~x1375+1 ~x1374+1 ~x1373+1 ~x1372-0=12
8.79/8.89	c 4 ~x255129+2 ~x255128+1 ~x255127+1 ~x1381+1 ~x1380+1 ~x1379+1 ~x1378+1 ~x1377-0=12
8.79/8.89	c 4 ~x255244+2 ~x255243+1 ~x255242+1 ~x1386+1 ~x1385+1 ~x1384+1 ~x1383+1 ~x1382-0=12
8.88/8.90	c 4 ~x255359+2 ~x255358+1 ~x255357+1 ~x1391+1 ~x1390+1 ~x1389+1 ~x1388+1 ~x1387-0=12
8.88/8.90	c 4 ~x255474+2 ~x255473+1 ~x255472+1 ~x1396+1 ~x1395+1 ~x1394+1 ~x1393+1 ~x1392-0=12
8.88/8.90	c 4 ~x255589+2 ~x255588+1 ~x255587+1 ~x1401+1 ~x1400+1 ~x1399+1 ~x1398+1 ~x1397-0=12
8.88/8.92	c 4 ~x255704+2 ~x255703+1 ~x255702+1 ~x1406+1 ~x1405+1 ~x1404+1 ~x1403+1 ~x1402-0=12
8.88/8.92	c 4 ~x255819+2 ~x255818+1 ~x255817+1 ~x1411+1 ~x1410+1 ~x1409+1 ~x1408+1 ~x1407-0=12
8.88/8.92	c 4 ~x255934+2 ~x255933+1 ~x255932+1 ~x1416+1 ~x1415+1 ~x1414+1 ~x1413+1 ~x1412-0=12
8.88/8.93	c 4 ~x256049+2 ~x256048+1 ~x256047+1 ~x1421+1 ~x1420+1 ~x1419+1 ~x1418+1 ~x1417-0=12
8.88/8.93	c 4 ~x256164+2 ~x256163+1 ~x256162+1 ~x1426+1 ~x1425+1 ~x1424+1 ~x1423+1 ~x1422-0=12
8.88/8.93	c 4 ~x256279+2 ~x256278+1 ~x256277+1 ~x1431+1 ~x1430+1 ~x1429+1 ~x1428+1 ~x1427-0=12
8.88/8.97	c 4 ~x256394+2 ~x256393+1 ~x256392+1 ~x1436+1 ~x1435+1 ~x1434+1 ~x1433+1 ~x1432-0=12
8.88/8.97	c 4 ~x256509+2 ~x256508+1 ~x256507+1 ~x1441+1 ~x1440+1 ~x1439+1 ~x1438+1 ~x1437-0=12
8.88/8.97	c 4 ~x256768+2 ~x256767+1 ~x256766+1 ~x1973+1 ~x1972+1 ~x1971+1 ~x1970+1 ~x1829+1 ~x1828+1 ~x1827+1 ~x1826-0=11
8.88/8.99	c 4 ~x257005+2 ~x257004+1 ~x257003+1 ~x1977+1 ~x1976+1 ~x1975+1 ~x1974+1 ~x1833+1 ~x1832+1 ~x1831+1 ~x1830-0=11
8.88/8.99	c 4 ~x257242+2 ~x257241+1 ~x257240+1 ~x1981+1 ~x1980+1 ~x1979+1 ~x1978+1 ~x1837+1 ~x1836+1 ~x1835+1 ~x1834-0=11
8.99/9.01	c 4 ~x257479+2 ~x257478+1 ~x257477+1 ~x1985+1 ~x1984+1 ~x1983+1 ~x1982+1 ~x1841+1 ~x1840+1 ~x1839+1 ~x1838-0=11
8.99/9.01	c 4 ~x257716+2 ~x257715+1 ~x257714+1 ~x1989+1 ~x1988+1 ~x1987+1 ~x1986+1 ~x1845+1 ~x1844+1 ~x1843+1 ~x1842-0=11
8.99/9.01	c 4 ~x257953+2 ~x257952+1 ~x257951+1 ~x1993+1 ~x1992+1 ~x1991+1 ~x1990+1 ~x1849+1 ~x1848+1 ~x1847+1 ~x1846-0=11
8.99/9.03	c 4 ~x258190+2 ~x258189+1 ~x258188+1 ~x1997+1 ~x1996+1 ~x1995+1 ~x1994+1 ~x1853+1 ~x1852+1 ~x1851+1 ~x1850-0=11
8.99/9.03	c 4 ~x258427+2 ~x258426+1 ~x258425+1 ~x2001+1 ~x2000+1 ~x1999+1 ~x1998+1 ~x1857+1 ~x1856+1 ~x1855+1 ~x1854-0=11
8.99/9.05	c 4 ~x258664+2 ~x258663+1 ~x258662+1 ~x2005+1 ~x2004+1 ~x2003+1 ~x2002+1 ~x1861+1 ~x1860+1 ~x1859+1 ~x1858-0=11
8.99/9.05	c 4 ~x258901+2 ~x258900+1 ~x258899+1 ~x2009+1 ~x2008+1 ~x2007+1 ~x2006+1 ~x1865+1 ~x1864+1 ~x1863+1 ~x1862-0=11
8.99/9.08	c 4 ~x259138+2 ~x259137+1 ~x259136+1 ~x2013+1 ~x2012+1 ~x2011+1 ~x2010+1 ~x1869+1 ~x1868+1 ~x1867+1 ~x1866-0=11
8.99/9.08	c 4 ~x259375+2 ~x259374+1 ~x259373+1 ~x2017+1 ~x2016+1 ~x2015+1 ~x2014+1 ~x1873+1 ~x1872+1 ~x1871+1 ~x1870-0=11
8.99/9.09	c 4 ~x259612+2 ~x259611+1 ~x259610+1 ~x2021+1 ~x2020+1 ~x2019+1 ~x2018+1 ~x1877+1 ~x1876+1 ~x1875+1 ~x1874-0=11
8.99/9.09	c 4 ~x259849+2 ~x259848+1 ~x259847+1 ~x2025+1 ~x2024+1 ~x2023+1 ~x2022+1 ~x1881+1 ~x1880+1 ~x1879+1 ~x1878-0=11
8.99/9.09	c 4 ~x260086+2 ~x260085+1 ~x260084+1 ~x2029+1 ~x2028+1 ~x2027+1 ~x2026+1 ~x1885+1 ~x1884+1 ~x1883+1 ~x1882-0=11
9.09/9.11	c 4 ~x260323+2 ~x260322+1 ~x260321+1 ~x2033+1 ~x2032+1 ~x2031+1 ~x2030+1 ~x1889+1 ~x1888+1 ~x1887+1 ~x1886-0=11
9.09/9.11	c 4 ~x260560+2 ~x260559+1 ~x260558+1 ~x2037+1 ~x2036+1 ~x2035+1 ~x2034+1 ~x1893+1 ~x1892+1 ~x1891+1 ~x1890-0=11
9.09/9.13	c 4 ~x260797+2 ~x260796+1 ~x260795+1 ~x2041+1 ~x2040+1 ~x2039+1 ~x2038+1 ~x1897+1 ~x1896+1 ~x1895+1 ~x1894-0=11
9.09/9.13	c 4 ~x261034+2 ~x261033+1 ~x261032+1 ~x2045+1 ~x2044+1 ~x2043+1 ~x2042+1 ~x1901+1 ~x1900+1 ~x1899+1 ~x1898-0=11
9.09/9.16	c 4 ~x261271+2 ~x261270+1 ~x261269+1 ~x2049+1 ~x2048+1 ~x2047+1 ~x2046+1 ~x1905+1 ~x1904+1 ~x1903+1 ~x1902-0=11
9.09/9.16	c 4 ~x261508+2 ~x261507+1 ~x261506+1 ~x2053+1 ~x2052+1 ~x2051+1 ~x2050+1 ~x1909+1 ~x1908+1 ~x1907+1 ~x1906-0=11
9.09/9.16	c 4 ~x261745+2 ~x261744+1 ~x261743+1 ~x2057+1 ~x2056+1 ~x2055+1 ~x2054+1 ~x1913+1 ~x1912+1 ~x1911+1 ~x1910-0=11
9.09/9.18	c 4 ~x261982+2 ~x261981+1 ~x261980+1 ~x2061+1 ~x2060+1 ~x2059+1 ~x2058+1 ~x1917+1 ~x1916+1 ~x1915+1 ~x1914-0=11
9.09/9.18	c 4 ~x262219+2 ~x262218+1 ~x262217+1 ~x2065+1 ~x2064+1 ~x2063+1 ~x2062+1 ~x1921+1 ~x1920+1 ~x1919+1 ~x1918-0=11
9.18/9.20	c 4 ~x262456+2 ~x262455+1 ~x262454+1 ~x2069+1 ~x2068+1 ~x2067+1 ~x2066+1 ~x1925+1 ~x1924+1 ~x1923+1 ~x1922-0=11
9.18/9.20	c 4 ~x262693+2 ~x262692+1 ~x262691+1 ~x2073+1 ~x2072+1 ~x2071+1 ~x2070+1 ~x1929+1 ~x1928+1 ~x1927+1 ~x1926-0=11
9.18/9.23	c 4 ~x262930+2 ~x262929+1 ~x262928+1 ~x2077+1 ~x2076+1 ~x2075+1 ~x2074+1 ~x1933+1 ~x1932+1 ~x1931+1 ~x1930-0=11
9.18/9.23	c 4 ~x263167+2 ~x263166+1 ~x263165+1 ~x2081+1 ~x2080+1 ~x2079+1 ~x2078+1 ~x1937+1 ~x1936+1 ~x1935+1 ~x1934-0=11
9.18/9.25	c 4 ~x263404+2 ~x263403+1 ~x263402+1 ~x2085+1 ~x2084+1 ~x2083+1 ~x2082+1 ~x1941+1 ~x1940+1 ~x1939+1 ~x1938-0=11
9.18/9.25	c 4 ~x263641+2 ~x263640+1 ~x263639+1 ~x2089+1 ~x2088+1 ~x2087+1 ~x2086+1 ~x1945+1 ~x1944+1 ~x1943+1 ~x1942-0=11
9.18/9.25	c 4 ~x263878+2 ~x263877+1 ~x263876+1 ~x2093+1 ~x2092+1 ~x2091+1 ~x2090+1 ~x1949+1 ~x1948+1 ~x1947+1 ~x1946-0=11
9.18/9.26	c 4 ~x264115+2 ~x264114+1 ~x264113+1 ~x2097+1 ~x2096+1 ~x2095+1 ~x2094+1 ~x1953+1 ~x1952+1 ~x1951+1 ~x1950-0=11
9.18/9.26	c 4 ~x264352+2 ~x264351+1 ~x264350+1 ~x2101+1 ~x2100+1 ~x2099+1 ~x2098+1 ~x1957+1 ~x1956+1 ~x1955+1 ~x1954-0=11
9.18/9.28	c 4 ~x264589+2 ~x264588+1 ~x264587+1 ~x2105+1 ~x2104+1 ~x2103+1 ~x2102+1 ~x1961+1 ~x1960+1 ~x1959+1 ~x1958-0=11
9.18/9.28	c 4 ~x264826+2 ~x264825+1 ~x264824+1 ~x2109+1 ~x2108+1 ~x2107+1 ~x2106+1 ~x1965+1 ~x1964+1 ~x196

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-2674573-1276792673/watcher-2674573-1276792673 -o /tmp/evaluation-result-2674573-1276792673/solver-2674573-1276792673 -C 1800 -W 2000 -M 1800 run HOME/instance-2674573-1276792673.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.99 0.97 0.99 3/106 17146
/proc/meminfo: memFree=1855788/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0

[startup+0.0493691 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 17146
/proc/meminfo: memFree=1855788/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101376 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 17146
/proc/meminfo: memFree=1855788/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301412 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 17146
/proc/meminfo: memFree=1855788/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701485 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 17146
/proc/meminfo: memFree=1855788/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50063 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17149
/proc/meminfo: memFree=1654520/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=298660 CPUtime=1.48
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 74126 0 0 0 59 89 0 0 25 0 1 0 52919191 305827840 74064 1992294400 134512640 134902295 4293545312 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 74665 74067 256 96 0 73877 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 307360

[startup+3.10092 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17149
/proc/meminfo: memFree=1532504/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=342124 CPUtime=3.08
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 85475 0 0 0 210 98 0 0 25 0 1 0 52919191 350334976 84694 1992294400 134512640 134902295 4293545312 18446744073709551615 4160531360 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 85531 84694 262 96 0 84743 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 350824

[startup+6.30051 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17149
/proc/meminfo: memFree=1482408/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=392828 CPUtime=6.28
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 101625 0 0 0 524 104 0 0 25 0 1 0 52919191 402255872 96817 1992294400 134512640 134902295 4293545312 18446744073709551615 3730809 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 98207 96817 262 96 0 97419 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 401528

[startup+12.7007 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17149
/proc/meminfo: memFree=1394120/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=468268 CPUtime=12.69
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 126163 0 0 0 1156 113 0 0 25 0 1 0 52919191 479506432 115323 1992294400 134512640 134902295 4293545312 18446744073709551615 4160504560 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 117067 115323 269 96 0 116279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 476968

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17149
/proc/meminfo: memFree=1391392/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=470832 CPUtime=25.48
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 126814 0 0 0 2435 113 0 0 25 0 1 0 52919191 482131968 115974 1992294400 134512640 134902295 4293545312 18446744073709551615 4160525274 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 117708 115974 269 96 0 116920 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 479532

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 17149
/proc/meminfo: memFree=1388664/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=473772 CPUtime=51.07
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 127515 0 0 0 4993 114 0 0 25 0 1 0 52919191 485142528 116675 1992294400 134512640 134902295 4293545312 18446744073709551615 4160522377 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 118443 116675 269 96 0 117655 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 482472

[startup+102.31 s]
/proc/loadavg: 1.04 0.99 0.99 2/108 17154
/proc/meminfo: memFree=1383828/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=478128 CPUtime=102.26
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 128573 0 0 0 10111 115 0 0 25 0 1 0 52919191 489603072 117733 1992294400 134512640 134902295 4293545312 18446744073709551615 4160522366 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 119532 117733 269 96 0 118744 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 486828

[startup+162.302 s]
/proc/loadavg: 1.01 0.99 0.99 2/108 17156
/proc/meminfo: memFree=1377504/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=484496 CPUtime=162.23
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 130154 0 0 0 16107 116 0 0 25 0 1 0 52919191 496123904 119314 1992294400 134512640 134902295 4293545312 18446744073709551615 4160492080 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 121124 119314 269 96 0 120336 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 493196

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17158
/proc/meminfo: memFree=1370808/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=491272 CPUtime=222.21
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 131831 0 0 0 22104 117 0 0 25 0 1 0 52919191 503062528 120991 1992294400 134512640 134902295 4293545312 18446744073709551615 4160492167 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 122818 120991 269 96 0 122030 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 499972

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17158
/proc/meminfo: memFree=1366344/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=495796 CPUtime=282.2
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 132965 0 0 0 28101 119 0 0 25 0 1 0 52919191 507695104 122125 1992294400 134512640 134902295 4293545312 18446744073709551615 4160510964 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 123949 122125 269 96 0 123161 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 504496

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17160
/proc/meminfo: memFree=1362500/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=499884 CPUtime=342.18
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 133896 0 0 0 34098 120 0 0 25 0 1 0 52919191 511881216 123056 1992294400 134512640 134902295 4293545312 18446744073709551615 4160511040 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 124971 123056 269 96 0 124183 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 508584

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17162
/proc/meminfo: memFree=1356672/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=505660 CPUtime=402.15
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 135382 0 0 0 40094 121 0 0 25 0 1 0 52919191 517795840 124542 1992294400 134512640 134902295 4293545312 18446744073709551615 4160511310 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 126415 124542 269 96 0 125627 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 514360

[startup+462.302 s]

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

/proc/17148/statm: 143423 141355 269 96 0 142635 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 582392

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17184
/proc/meminfo: memFree=1283636/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=578524 CPUtime=1241.87
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 153435 0 0 0 124046 141 0 0 25 0 1 0 52919191 592408576 142595 1992294400 134512640 134902295 4293545312 18446744073709551615 4160511347 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 144631 142595 269 96 0 143843 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 587224

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17186
/proc/meminfo: memFree=1280288/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=581868 CPUtime=1301.86
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 154272 0 0 0 130044 142 0 0 25 0 1 0 52919191 595832832 143432 1992294400 134512640 134902295 4293545312 18446744073709551615 4160510961 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 145467 143432 269 96 0 144679 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 590568

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17188
/proc/meminfo: memFree=1275328/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=586624 CPUtime=1361.83
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 155486 0 0 0 136040 143 0 0 25 0 1 0 52919191 600702976 144646 1992294400 134512640 134902295 4293545312 18446744073709551615 4160504337 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 146656 144646 269 96 0 145868 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 595324

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17199
/proc/meminfo: memFree=1269872/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=591644 CPUtime=1421.81
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 156774 0 0 0 142036 145 0 0 25 0 1 0 52919191 605843456 145934 1992294400 134512640 134902295 4293545312 18446744073709551615 4160514660 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 147911 145934 269 96 0 147123 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 600344

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17199
/proc/meminfo: memFree=1265160/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=596324 CPUtime=1481.77
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 157939 0 0 0 148031 146 0 0 25 0 1 0 52919191 610635776 147099 1992294400 134512640 134902295 4293545312 18446744073709551615 4160492287 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 149081 147099 269 96 0 148293 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 605024

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17201
/proc/meminfo: memFree=1258712/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=604036 CPUtime=1541.76
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 159543 0 0 0 154027 149 0 0 25 0 1 0 52919191 618532864 148703 1992294400 134512640 134902295 4293545312 18446744073709551615 4160522366 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 151009 148703 269 96 0 150221 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 612736

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17203
/proc/meminfo: memFree=1254248/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=608416 CPUtime=1601.74
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 160663 0 0 0 160024 150 0 0 25 0 1 0 52919191 623017984 149823 1992294400 134512640 134902295 4293545312 18446744073709551615 4160522374 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 152104 149823 269 96 0 151316 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 617116

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17205
/proc/meminfo: memFree=1249164/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=613440 CPUtime=1661.72
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 161926 0 0 0 166020 152 0 0 25 0 1 0 52919191 628162560 151086 1992294400 134512640 134902295 4293545312 18446744073709551615 4160523516 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 153360 151086 269 96 0 152572 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 622140

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17207
/proc/meminfo: memFree=1244204/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=618384 CPUtime=1721.7
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 163171 0 0 0 172017 153 0 0 25 0 1 0 52919191 633225216 152331 1992294400 134512640 134902295 4293545312 18446744073709551615 4160522366 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 154596 152331 269 96 0 153808 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 627084

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17207
/proc/meminfo: memFree=1239244/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=623196 CPUtime=1781.68
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 164394 0 0 0 178013 155 0 0 25 0 1 0 52919191 638152704 153554 1992294400 134512640 134902295 4293545312 18446744073709551615 4160492254 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 155799 153554 269 96 0 155011 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 631896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17209
/proc/meminfo: memFree=1238004/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=624388 CPUtime=1800.09
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 164702 0 0 0 179854 155 0 0 25 0 1 0 52919191 639373312 153862 1992294400 134512640 134902295 4293545312 18446744073709551615 4160522366 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 156097 153862 269 96 0 155309 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 633088

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17209
/proc/meminfo: memFree=1238004/2059040 swapFree=4140236/4192956
[pid=17146] ppid=17144 vsize=8700 CPUtime=0
/proc/17146/stat : 17146 (run) S 17144 17146 16575 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 52919191 8908800 250 1992294400 4194304 4922060 140734365986608 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17146/statm: 2175 250 211 178 0 68 0
[pid=17148] ppid=17146 vsize=624388 CPUtime=1800.09
/proc/17148/stat : 17148 (PBPASSolver) R 17146 17146 16575 0 -1 4202496 164702 0 0 0 179854 155 0 0 25 0 1 0 52919191 639373312 153862 1992294400 134512640 134902295 4293545312 18446744073709551615 4160522366 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17148/statm: 156097 153862 269 96 0 155309 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 633088

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1798.54
CPU system time (s): 1.55
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 633088

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

runsolver used 3.71743 second user time and 9.41157 second system time

The end

Begin job on node027 at 2010-06-17 18:37:53
IDJOB=2674573
IDBENCH=1850
IDSOLVER=1174
FILE ID=node027/2674573-1276792673
PBS_JOBID= 11176573
Free space on /tmp= 62460 MiB

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

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=708806004

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1856316 kB
Buffers:         30500 kB
Cached:          75772 kB
SwapCached:       6016 kB
Active:           8756 kB
Inactive:       110840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1856316 kB
SwapTotal:     4192956 kB
SwapFree:      4140236 kB
Dirty:             976 kB
Writeback:           0 kB
AnonPages:       11764 kB
Mapped:          13100 kB
Slab:            61088 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62460 MiB
End job on node027 at 2010-06-17 19:07:56