0.00/0.58	c 464 1059 0 0 0 0 0 0
0.00/0.58	c 64 ~x512+32 ~x511+16 ~x510+8 ~x509+4 ~x508+2 ~x507+1 ~x506+64 ~x464+32 ~x463+16 ~x462+8 ~x461+4 ~x460+2 ~x459+1 ~x458-0=244
0.00/0.58	c 4 ~x9368+2 ~x9367+1 ~x9366+4 x343+2 x342+1 x341+4 ~x340+2 ~x339+1 ~x338+6 ~x2-0=14
0.00/0.58	c 4 ~x9569+2 ~x9568+1 ~x9567+4 x346+2 x345+1 x344+4 ~x340+2 ~x339+1 ~x338+6 ~x3-0=14
0.00/0.60	c 4 ~x9770+2 ~x9769+1 ~x9768+4 x349+2 x348+1 x347+4 ~x340+2 ~x339+1 ~x338+6 ~x4-0=14
0.00/0.60	c 4 ~x9971+2 ~x9970+1 ~x9969+4 x352+2 x351+1 x350+4 ~x340+2 ~x339+1 ~x338+6 ~x5-0=14
0.00/0.60	c 4 ~x10172+2 ~x10171+1 ~x10170+4 x355+2 x354+1 x353+4 ~x340+2 ~x339+1 ~x338+6 ~x6-0=14
0.00/0.62	c 4 ~x10373+2 ~x10372+1 ~x10371+4 x358+2 x357+1 x356+4 ~x340+2 ~x339+1 ~x338+6 ~x7-0=14
0.00/0.62	c 4 ~x10574+2 ~x10573+1 ~x10572+4 x346+2 x345+1 x344+4 ~x343+2 ~x342+1 ~x341+6 ~x8-0=14
0.00/0.62	c 4 ~x10775+2 ~x10774+1 ~x10773+4 x349+2 x348+1 x347+4 ~x343+2 ~x342+1 ~x341+6 ~x9-0=14
0.00/0.63	c 4 ~x10976+2 ~x10975+1 ~x10974+4 x352+2 x351+1 x350+4 ~x343+2 ~x342+1 ~x341+6 ~x10-0=14
0.00/0.63	c 4 ~x11177+2 ~x11176+1 ~x11175+4 x355+2 x354+1 x353+4 ~x343+2 ~x342+1 ~x341+6 ~x11-0=14
0.00/0.63	c 4 ~x11378+2 ~x11377+1 ~x11376+4 x358+2 x357+1 x356+4 ~x343+2 ~x342+1 ~x341+6 ~x12-0=14
0.00/0.64	c 4 ~x11579+2 ~x11578+1 ~x11577+4 x349+2 x348+1 x347+4 ~x346+2 ~x345+1 ~x344+6 ~x13-0=14
0.00/0.64	c 4 ~x11780+2 ~x11779+1 ~x11778+4 x352+2 x351+1 x350+4 ~x346+2 ~x345+1 ~x344+6 ~x14-0=14
0.00/0.66	c 4 ~x11981+2 ~x11980+1 ~x11979+4 x355+2 x354+1 x353+4 ~x346+2 ~x345+1 ~x344+6 ~x15-0=14
0.00/0.66	c 4 ~x12182+2 ~x12181+1 ~x12180+4 x358+2 x357+1 x356+4 ~x346+2 ~x345+1 ~x344+6 ~x16-0=14
0.00/0.66	c 4 ~x12383+2 ~x12382+1 ~x12381+4 x352+2 x351+1 x350+4 ~x349+2 ~x348+1 ~x347+6 ~x17-0=14
0.00/0.68	c 4 ~x12584+2 ~x12583+1 ~x12582+4 x355+2 x354+1 x353+4 ~x349+2 ~x348+1 ~x347+6 ~x18-0=14
0.00/0.68	c 4 ~x12785+2 ~x12784+1 ~x12783+4 x358+2 x357+1 x356+4 ~x349+2 ~x348+1 ~x347+6 ~x19-0=14
0.00/0.68	c 4 ~x12986+2 ~x12985+1 ~x12984+4 x355+2 x354+1 x353+4 ~x352+2 ~x351+1 ~x350+6 ~x20-0=14
0.00/0.70	c 4 ~x13187+2 ~x13186+1 ~x13185+4 x358+2 x357+1 x356+4 ~x352+2 ~x351+1 ~x350+6 ~x21-0=14
0.00/0.70	c 4 ~x13388+2 ~x13387+1 ~x13386+4 x358+2 x357+1 x356+4 ~x355+2 ~x354+1 ~x353+6 ~x22-0=14
0.00/0.70	c 4 ~x13589+2 ~x13588+1 ~x13587+4 x376+2 x375+1 x374+4 ~x373+2 ~x372+1 ~x371+6 ~x23-0=14
0.00/0.71	c 4 ~x13790+2 ~x13789+1 ~x13788+4 x379+2 x378+1 x377+4 ~x373+2 ~x372+1 ~x371+6 ~x24-0=14
0.00/0.71	c 4 ~x13991+2 ~x13990+1 ~x13989+4 x382+2 x381+1 x380+4 ~x373+2 ~x372+1 ~x371+6 ~x25-0=14
0.00/0.71	c 4 ~x14192+2 ~x14191+1 ~x14190+4 x385+2 x384+1 x383+4 ~x373+2 ~x372+1 ~x371+6 ~x26-0=14
0.00/0.73	c 4 ~x14393+2 ~x14392+1 ~x14391+4 x388+2 x387+1 x386+4 ~x373+2 ~x372+1 ~x371+6 ~x27-0=14
0.00/0.73	c 4 ~x14594+2 ~x14593+1 ~x14592+4 x391+2 x390+1 x389+4 ~x373+2 ~x372+1 ~x371+6 ~x28-0=14
0.00/0.73	c 4 ~x14795+2 ~x14794+1 ~x14793+4 x379+2 x378+1 x377+4 ~x376+2 ~x375+1 ~x374+6 ~x29-0=14
0.00/0.75	c 4 ~x14996+2 ~x14995+1 ~x14994+4 x382+2 x381+1 x380+4 ~x376+2 ~x375+1 ~x374+6 ~x30-0=14
0.00/0.75	c 4 ~x15197+2 ~x15196+1 ~x15195+4 x385+2 x384+1 x383+4 ~x376+2 ~x375+1 ~x374+6 ~x31-0=14
0.00/0.75	c 4 ~x15398+2 ~x15397+1 ~x15396+4 x388+2 x387+1 x386+4 ~x376+2 ~x375+1 ~x374+6 ~x32-0=14
0.00/0.76	c 4 ~x15599+2 ~x15598+1 ~x15597+4 x391+2 x390+1 x389+4 ~x376+2 ~x375+1 ~x374+6 ~x33-0=14
0.00/0.76	c 4 ~x15800+2 ~x15799+1 ~x15798+4 x382+2 x381+1 x380+4 ~x379+2 ~x378+1 ~x377+6 ~x34-0=14
0.00/0.76	c 4 ~x16001+2 ~x16000+1 ~x15999+4 x385+2 x384+1 x383+4 ~x379+2 ~x378+1 ~x377+6 ~x35-0=14
0.00/0.78	c 4 ~x16202+2 ~x16201+1 ~x16200+4 x388+2 x387+1 x386+4 ~x379+2 ~x378+1 ~x377+6 ~x36-0=14
0.00/0.78	c 4 ~x16403+2 ~x16402+1 ~x16401+4 x391+2 x390+1 x389+4 ~x379+2 ~x378+1 ~x377+6 ~x37-0=14
0.00/0.79	c 4 ~x16604+2 ~x16603+1 ~x16602+4 x385+2 x384+1 x383+4 ~x382+2 ~x381+1 ~x380+6 ~x38-0=14
0.00/0.79	c 4 ~x16805+2 ~x16804+1 ~x16803+4 x388+2 x387+1 x386+4 ~x382+2 ~x381+1 ~x380+6 ~x39-0=14
0.00/0.79	c 4 ~x17006+2 ~x17005+1 ~x17004+4 x391+2 x390+1 x389+4 ~x382+2 ~x381+1 ~x380+6 ~x40-0=14
0.00/0.81	c 4 ~x17207+2 ~x17206+1 ~x17205+4 x388+2 x387+1 x386+4 ~x385+2 ~x384+1 ~x383+6 ~x41-0=14
0.00/0.81	c 4 ~x17408+2 ~x17407+1 ~x17406+4 x391+2 x390+1 x389+4 ~x385+2 ~x384+1 ~x383+6 ~x42-0=14
0.00/0.81	c 4 ~x17609+2 ~x17608+1 ~x17607+4 x391+2 x390+1 x389+4 ~x388+2 ~x387+1 ~x386+6 ~x43-0=14
0.00/0.83	c 4 ~x17810+2 ~x17809+1 ~x17808+4 x409+2 x408+1 x407+4 ~x406+2 ~x405+1 ~x404+6 ~x44-0=14
0.00/0.83	c 4 ~x18011+2 ~x18010+1 ~x18009+4 x412+2 x411+1 x410+4 ~x406+2 ~x405+1 ~x404+6 ~x45-0=14
0.00/0.83	c 4 ~x18212+2 ~x18211+1 ~x18210+4 x415+2 x414+1 x413+4 ~x406+2 ~x405+1 ~x404+6 ~x46-0=14
0.00/0.85	c 4 ~x18413+2 ~x18412+1 ~x18411+4 x418+2 x417+1 x416+4 ~x406+2 ~x405+1 ~x404+6 ~x47-0=14
0.00/0.85	c 4 ~x18614+2 ~x18613+1 ~x18612+4 x421+2 x420+1 x419+4 ~x406+2 ~x405+1 ~x404+6 ~x48-0=14
0.00/0.85	c 4 ~x18815+2 ~x18814+1 ~x18813+4 x424+2 x423+1 x422+4 ~x406+2 ~x405+1 ~x404+6 ~x49-0=14
0.00/0.86	c 4 ~x19016+2 ~x19015+1 ~x19014+4 x412+2 x411+1 x410+4 ~x409+2 ~x408+1 ~x407+6 ~x50-0=14
0.00/0.86	c 4 ~x19217+2 ~x19216+1 ~x19215+4 x415+2 x414+1 x413+4 ~x409+2 ~x408+1 ~x407+6 ~x51-0=14
0.00/0.86	c 4 ~x19418+2 ~x19417+1 ~x19416+4 x418+2 x417+1 x416+4 ~x409+2 ~x408+1 ~x407+6 ~x52-0=14
0.00/0.88	c 4 ~x19619+2 ~x19618+1 ~x19617+4 x421+2 x420+1 x419+4 ~x409+2 ~x408+1 ~x407+6 ~x53-0=14
0.00/0.88	c 4 ~x19820+2 ~x19819+1 ~x19818+4 x424+2 x423+1 x422+4 ~x409+2 ~x408+1 ~x407+6 ~x54-0=14
0.00/0.88	c 4 ~x20021+2 ~x20020+1 ~x20019+4 x415+2 x414+1 x413+4 ~x412+2 ~x411+1 ~x410+6 ~x55-0=14
0.00/0.90	c 4 ~x20222+2 ~x20221+1 ~x20220+4 x418+2 x417+1 x416+4 ~x412+2 ~x411+1 ~x410+6 ~x56-0=14
0.00/0.90	c 4 ~x20423+2 ~x20422+1 ~x20421+4 x421+2 x420+1 x419+4 ~x412+2 ~x411+1 ~x410+6 ~x57-0=14
0.00/0.90	c 4 ~x20624+2 ~x20623+1 ~x20622+4 x424+2 x423+1 x422+4 ~x412+2 ~x411+1 ~x410+6 ~x58-0=14
0.00/0.91	c 4 ~x20825+2 ~x20824+1 ~x20823+4 x418+2 x417+1 x416+4 ~x415+2 ~x414+1 ~x413+6 ~x59-0=14
0.00/0.91	c 4 ~x21026+2 ~x21025+1 ~x21024+4 x421+2 x420+1 x419+4 ~x415+2 ~x414+1 ~x413+6 ~x60-0=14
0.00/0.92	c 4 ~x21227+2 ~x21226+1 ~x21225+4 x424+2 x423+1 x422+4 ~x415+2 ~x414+1 ~x413+6 ~x61-0=14
0.00/0.92	c 4 ~x21428+2 ~x21427+1 ~x21426+4 x421+2 x420+1 x419+4 ~x418+2 ~x417+1 ~x416+6 ~x62-0=14
0.00/0.92	c 4 ~x21629+2 ~x21628+1 ~x21627+4 x424+2 x423+1 x422+4 ~x418+2 ~x417+1 ~x416+6 ~x63-0=14
0.00/0.94	c 4 ~x21830+2 ~x21829+1 ~x21828+4 x424+2 x423+1 x422+4 ~x421+2 ~x420+1 ~x419+6 ~x64-0=14
0.00/0.94	c 4 ~x22031+2 ~x22030+1 ~x22029+4 x442+2 x441+1 x440+4 ~x439+2 ~x438+1 ~x437+6 ~x65-0=14
0.00/0.94	c 4 ~x22232+2 ~x22231+1 ~x22230+4 x445+2 x444+1 x443+4 ~x439+2 ~x438+1 ~x437+6 ~x66-0=14
0.00/0.96	c 4 ~x22433+2 ~x22432+1 ~x22431+4 x448+2 x447+1 x446+4 ~x439+2 ~x438+1 ~x437+6 ~x67-0=14
0.00/0.96	c 4 ~x22634+2 ~x22633+1 ~x22632+4 x451+2 x450+1 x449+4 ~x439+2 ~x438+1 ~x437+6 ~x68-0=14
0.00/0.96	c 4 ~x22835+2 ~x22834+1 ~x22833+4 x454+2 x453+1 x452+4 ~x439+2 ~x438+1 ~x437+6 ~x69-0=14
0.00/0.97	c 4 ~x23036+2 ~x23035+1 ~x23034+4 x457+2 x456+1 x455+4 ~x439+2 ~x438+1 ~x437+6 ~x70-0=14
0.00/0.97	c 4 ~x23237+2 ~x23236+1 ~x23235+4 x445+2 x444+1 x443+4 ~x442+2 ~x441+1 ~x440+6 ~x71-0=14
0.00/0.97	c 4 ~x23438+2 ~x23437+1 ~x23436+4 x448+2 x447+1 x446+4 ~x442+2 ~x441+1 ~x440+6 ~x72-0=14
0.00/0.99	c 4 ~x23639+2 ~x23638+1 ~x23637+4 x451+2 x450+1 x449+4 ~x442+2 ~x441+1 ~x440+6 ~x73-0=14
0.00/0.99	c 4 ~x23840+2 ~x23839+1 ~x23838+4 x454+2 x453+1 x452+4 ~x442+2 ~x441+1 ~x440+6 ~x74-0=14
0.00/0.99	c 4 ~x24041+2 ~x24040+1 ~x24039+4 x457+2 x456+1 x455+4 ~x442+2 ~x441+1 ~x440+6 ~x75-0=14
0.98/1.01	c 4 ~x24242+2 ~x24241+1 ~x24240+4 x448+2 x447+1 x446+4 ~x445+2 ~x444+1 ~x443+6 ~x76-0=14
0.98/1.01	c 4 ~x24443+2 ~x24442+1 ~x24441+4 x451+2 x450+1 x449+4 ~x445+2 ~x444+1 ~x443+6 ~x77-0=14
0.98/1.01	c 4 ~x24644+2 ~x24643+1 ~x24642+4 x454+2 x453+1 x452+4 ~x445+2 ~x444+1 ~x443+6 ~x78-0=14
0.98/1.03	c 4 ~x24845+2 ~x24844+1 ~x24843+4 x457+2 x456+1 x455+4 ~x445+2 ~x444+1 ~x443+6 ~x79-0=14
0.98/1.03	c 4 ~x25046+2 ~x25045+1 ~x25044+4 x451+2 x450+1 x449+4 ~x448+2 ~x447+1 ~x446+6 ~x80-0=14
0.98/1.03	c 4 ~x25247+2 ~x25246+1 ~x25245+4 x454+2 x453+1 x452+4 ~x448+2 ~x447+1 ~x446+6 ~x81-0=14
0.98/1.04	c 4 ~x25448+2 ~x25447+1 ~x25446+4 x457+2 x456+1 x455+4 ~x448+2 ~x447+1 ~x446+6 ~x82-0=14
0.98/1.04	c 4 ~x25649+2 ~x25648+1 ~x25647+4 x454+2 x453+1 x452+4 ~x451+2 ~x450+1 ~x449+6 ~x83-0=14
0.98/1.06	c 4 ~x25850+2 ~x25849+1 ~x25848+4 x457+2 x456+1 x455+4 ~x451+2 ~x450+1 ~x449+6 ~x84-0=14
0.98/1.06	c 4 ~x26051+2 ~x26050+1 ~x26049+4 x457+2 x456+1 x455+4 ~x454+2 ~x453+1 ~x452+6 ~x85-0=14
0.98/1.06	c 8 ~x26253+4 ~x26252+2 ~x26251+1 ~x26250+4 ~x343+2 ~x342+1 ~x341+4 x340+2 x339+1 x338+7 x2-0=23
0.98/1.09	c 8 ~x26567+4 ~x26566+2 ~x26565+1 ~x26564+4 ~x346+2 ~x345+1 ~x344+4 x340+2 x339+1 x338+7 x3-0=23
0.98/1.09	c 8 ~x26881+4 ~x26880+2 ~x26879+1 ~x26878+4 ~x349+2 ~x348+1 ~x347+4 x340+2 x339+1 x338+7 x4-0=23
0.98/1.09	c 8 ~x27195+4 ~x27194+2 ~x27193+1 ~x27192+4 ~x352+2 ~x351+1 ~x350+4 x340+2 x339+1 x338+7 x5-0=23
1.09/1.11	c 8 ~x27509+4 ~x27508+2 ~x27507+1 ~x27506+4 ~x355+2 ~x354+1 ~x353+4 x340+2 x339+1 x338+7 x6-0=23
1.09/1.11	c 8 ~x27823+4 ~x27822+2 ~x27821+1 ~x27820+4 ~x358+2 ~x357+1 ~x356+4 x340+2 x339+1 x338+7 x7-0=23
1.09/1.11	c 8 ~x28137+4 ~x28136+2 ~x28135+1 ~x28134+4 ~x346+2 ~x345+1 ~x344+4 x343+2 x342+1 x341+7 x8-0=23
1.09/1.13	c 8 ~x28451+4 ~x28450+2 ~x28449+1 ~x28448+4 ~x349+2 ~x348+1 ~x347+4 x343+2 x342+1 x341+7 x9-0=23
1.09/1.13	c 8 ~x28765+4 ~x28764+2 ~x28763+1 ~x28762+4 ~x352+2 ~x351+1 ~x350+4 x343+2 x342+1 x341+7 x10-0=23
1.09/1.16	c 8 ~x29079+4 ~x29078+2 ~x29077+1 ~x29076+4 ~x355+2 ~x354+1 ~x353+4 x343+2 x342+1 x341+7 x11-0=23
1.09/1.16	c 8 ~x29393+4 ~x29392+2 ~x29391+1 ~x29390+4 ~x358+2 ~x357+1 ~x356+4 x343+2 x342+1 x341+7 x12-0=23
1.09/1.16	c 8 ~x29707+4 ~x29706+2 ~x29705+1 ~x29704+4 ~x349+2 ~x348+1 ~x347+4 x346+2 x345+1 x344+7 x13-0=23
1.09/1.18	c 8 ~x30021+4 ~x30020+2 ~x30019+1 ~x30018+4 ~x352+2 ~x351+1 ~x350+4 x346+2 x345+1 x344+7 x14-0=23
1.09/1.18	c 8 ~x30335+4 ~x30334+2 ~x30333+1 ~x30332+4 ~x355+2 ~x354+1 ~x353+4 x346+2 x345+1 x344+7 x15-0=23
1.18/1.20	c 8 ~x30649+4 ~x30648+2 ~x30647+1 ~x30646+4 ~x358+2 ~x357+1 ~x356+4 x346+2 x345+1 x344+7 x16-0=23
1.18/1.20	c 8 ~x30963+4 ~x30962+2 ~x30961+1 ~x30960+4 ~x352+2 ~x351+1 ~x350+4 x349+2 x348+1 x347+7 x17-0=23
1.18/1.20	c 8 ~x31277+4 ~x31276+2 ~x31275+1 ~x31274+4 ~x355+2 ~x354+1 ~x353+4 x349+2 x348+1 x347+7 x18-0=23
1.18/1.23	c 8 ~x31591+4 ~x31590+2 ~x31589+1 ~x31588+4 ~x358+2 ~x357+1 ~x356+4 x349+2 x348+1 x347+7 x19-0=23
1.18/1.23	c 8 ~x31905+4 ~x31904+2 ~x31903+1 ~x31902+4 ~x355+2 ~x354+1 ~x353+4 x352+2 x351+1 x350+7 x20-0=23
1.18/1.23	c 8 ~x32219+4 ~x32218+2 ~x32217+1 ~x32216+4 ~x358+2 ~x357+1 ~x356+4 x352+2 x351+1 x350+7 x21-0=23
1.18/1.25	c 8 ~x32533+4 ~x32532+2 ~x32531+1 ~x32530+4 ~x358+2 ~x357+1 ~x356+4 x355+2 x354+1 x353+7 x22-0=23
1.18/1.25	c 8 ~x32847+4 ~x32846+2 ~x32845+1 ~x32844+4 ~x376+2 ~x375+1 ~x374+4 x373+2 x372+1 x371+7 x23-0=23
1.18/1.28	c 8 ~x33161+4 ~x33160+2 ~x33159+1 ~x33158+4 ~x379+2 ~x378+1 ~x377+4 x373+2 x372+1 x371+7 x24-0=23
1.18/1.28	c 8 ~x33475+4 ~x33474+2 ~x33473+1 ~x33472+4 ~x382+2 ~x381+1 ~x380+4 x373+2 x372+1 x371+7 x25-0=23
1.18/1.28	c 8 ~x33789+4 ~x33788+2 ~x33787+1 ~x33786+4 ~x385+2 ~x384+1 ~x383+4 x373+2 x372+1 x371+7 x26-0=23
1.18/1.30	c 8 ~x34103+4 ~x34102+2 ~x34101+1 ~x34100+4 ~x388+2 ~x387+1 ~x386+4 x373+2 x372+1 x371+7 x27-0=23
1.18/1.30	c 8 ~x34417+4 ~x34416+2 ~x34415+1 ~x34414+4 ~x391+2 ~x390+1 ~x389+4 x373+2 x372+1 x371+7 x28-0=23
1.28/1.32	c 8 ~x34731+4 ~x34730+2 ~x34729+1 ~x34728+4 ~x379+2 ~x378+1 ~x377+4 x376+2 x375+1 x374+7 x29-0=23
1.28/1.32	c 8 ~x35045+4 ~x35044+2 ~x35043+1 ~x35042+4 ~x382+2 ~x381+1 ~x380+4 x376+2 x375+1 x374+7 x30-0=23
1.28/1.32	c 8 ~x35359+4 ~x35358+2 ~x35357+1 ~x35356+4 ~x385+2 ~x384+1 ~x383+4 x376+2 x375+1 x374+7 x31-0=23
1.28/1.35	c 8 ~x35673+4 ~x35672+2 ~x35671+1 ~x35670+4 ~x388+2 ~x387+1 ~x386+4 x376+2 x375+1 x374+7 x32-0=23
1.28/1.35	c 8 ~x35987+4 ~x35986+2 ~x35985+1 ~x35984+4 ~x391+2 ~x390+1 ~x389+4 x376+2 x375+1 x374+7 x33-0=23
1.28/1.35	c 8 ~x36301+4 ~x36300+2 ~x36299+1 ~x36298+4 ~x382+2 ~x381+1 ~x380+4 x379+2 x378+1 x377+7 x34-0=23
1.28/1.37	c 8 ~x36615+4 ~x36614+2 ~x36613+1 ~x36612+4 ~x385+2 ~x384+1 ~x383+4 x379+2 x378+1 x377+7 x35-0=23
1.28/1.37	c 8 ~x36929+4 ~x36928+2 ~x36927+1 ~x36926+4 ~x388+2 ~x387+1 ~x386+4 x379+2 x378+1 x377+7 x36-0=23
1.38/1.40	c 8 ~x37243+4 ~x37242+2 ~x37241+1 ~x37240+4 ~x391+2 ~x390+1 ~x389+4 x379+2 x378+1 x377+7 x37-0=23
1.38/1.40	c 8 ~x37557+4 ~x37556+2 ~x37555+1 ~x37554+4 ~x385+2 ~x384+1 ~x383+4 x382+2 x381+1 x380+7 x38-0=23
1.38/1.40	c 8 ~x37871+4 ~x37870+2 ~x37869+1 ~x37868+4 ~x388+2 ~x387+1 ~x386+4 x382+2 x381+1 x380+7 x39-0=23
1.38/1.42	c 8 ~x38185+4 ~x38184+2 ~x38183+1 ~x38182+4 ~x391+2 ~x390+1 ~x389+4 x382+2 x381+1 x380+7 x40-0=23
1.38/1.42	c 8 ~x38499+4 ~x38498+2 ~x38497+1 ~x38496+4 ~x388+2 ~x387+1 ~x386+4 x385+2 x384+1 x383+7 x41-0=23
1.38/1.42	c 8 ~x38813+4 ~x38812+2 ~x38811+1 ~x38810+4 ~x391+2 ~x390+1 ~x389+4 x385+2 x384+1 x383+7 x42-0=23
1.38/1.44	c 8 ~x39127+4 ~x39126+2 ~x39125+1 ~x39124+4 ~x391+2 ~x390+1 ~x389+4 x388+2 x387+1 x386+7 x43-0=23
1.38/1.44	c 8 ~x39441+4 ~x39440+2 ~x39439+1 ~x39438+4 ~x409+2 ~x408+1 ~x407+4 x406+2 x405+1 x404+7 x44-0=23
1.38/1.47	c 8 ~x39755+4 ~x39754+2 ~x39753+1 ~x39752+4 ~x412+2 ~x411+1 ~x410+4 x406+2 x405+1 x404+7 x45-0=23
1.38/1.47	c 8 ~x40069+4 ~x40068+2 ~x40067+1 ~x40066+4 ~x415+2 ~x414+1 ~x413+4 x406+2 x405+1 x404+7 x46-0=23
1.38/1.47	c 8 ~x40383+4 ~x40382+2 ~x40381+1 ~x40380+4 ~x418+2 ~x417+1 ~x416+4 x406+2 x405+1 x404+7 x47-0=23
1.38/1.49	c 8 ~x40697+4 ~x40696+2 ~x40695+1 ~x40694+4 ~x421+2 ~x420+1 ~x419+4 x406+2 x405+1 x404+7 x48-0=23
1.38/1.49	c 8 ~x41011+4 ~x41010+2 ~x41009+1 ~x41008+4 ~x424+2 ~x423+1 ~x422+4 x406+2 x405+1 x404+7 x49-0=23
1.48/1.52	c 8 ~x41325+4 ~x41324+2 ~x41323+1 ~x41322+4 ~x412+2 ~x411+1 ~x410+4 x409+2 x408+1 x407+7 x50-0=23
1.48/1.52	c 8 ~x41639+4 ~x41638+2 ~x41637+1 ~x41636+4 ~x415+2 ~x414+1 ~x413+4 x409+2 x408+1 x407+7 x51-0=23
1.48/1.52	c 8 ~x41953+4 ~x41952+2 ~x41951+1 ~x41950+4 ~x418+2 ~x417+1 ~x416+4 x409+2 x408+1 x407+7 x52-0=23
1.48/1.54	c 8 ~x42267+4 ~x42266+2 ~x42265+1 ~x42264+4 ~x421+2 ~x420+1 ~x419+4 x409+2 x408+1 x407+7 x53-0=23
1.48/1.54	c 8 ~x42581+4 ~x42580+2 ~x42579+1 ~x42578+4 ~x424+2 ~x423+1 ~x422+4 x409+2 x408+1 x407+7 x54-0=23
1.48/1.54	c 8 ~x42895+4 ~x42894+2 ~x42893+1 ~x42892+4 ~x415+2 ~x414+1 ~x413+4 x412+2 x411+1 x410+7 x55-0=23
1.48/1.56	c 8 ~x43209+4 ~x43208+2 ~x43207+1 ~x43206+4 ~x418+2 ~x417+1 ~x416+4 x412+2 x411+1 x410+7 x56-0=23
1.48/1.56	c 8 ~x43523+4 ~x43522+2 ~x43521+1 ~x43520+4 ~x421+2 ~x420+1 ~x419+4 x412+2 x411+1 x410+7 x57-0=23
1.48/1.59	c 8 ~x43837+4 ~x43836+2 ~x43835+1 ~x43834+4 ~x424+2 ~x423+1 ~x422+4 x412+2 x411+1 x410+7 x58-0=23
1.48/1.59	c 8 ~x44151+4 ~x44150+2 ~x44149+1 ~x44148+4 ~x418+2 ~x417+1 ~x416+4 x415+2 x414+1 x413+7 x59-0=23
1.48/1.59	c 8 ~x44465+4 ~x44464+2 ~x44463+1 ~x44462+4 ~x421+2 ~x420+1 ~x419+4 x415+2 x414+1 x413+7 x60-0=23
1.58/1.61	c 8 ~x44779+4 ~x44778+2 ~x44777+1 ~x44776+4 ~x424+2 ~x423+1 ~x422+4 x415+2 x414+1 x413+7 x61-0=23
1.58/1.61	c 8 ~x45093+4 ~x45092+2 ~x45091+1 ~x45090+4 ~x421+2 ~x420+1 ~x419+4 x418+2 x417+1 x416+7 x62-0=23
1.58/1.63	c 8 ~x45407+4 ~x45406+2 ~x45405+1 ~x45404+4 ~x424+2 ~x423+1 ~x422+4 x418+2 x417+1 x416+7 x63-0=23
1.58/1.63	c 8 ~x45721+4 ~x45720+2 ~x45719+1 ~x45718+4 ~x424+2 ~x423+1 ~x422+4 x421+2 x420+1 x419+7 x64-0=23
1.58/1.63	c 8 ~x46035+4 ~x46034+2 ~x46033+1 ~x46032+4 ~x442+2 ~x441+1 ~x440+4 x439+2 x438+1 x437+7 x65-0=23
1.58/1.66	c 8 ~x46349+4 ~x46348+2 ~x46347+1 ~x46346+4 ~x445+2 ~x444+1 ~x443+4 x439+2 x438+1 x437+7 x66-0=23
1.58/1.66	c 8 ~x46663+4 ~x46662+2 ~x46661+1 ~x46660+4 ~x448+2 ~x447+1 ~x446+4 x439+2 x438+1 x437+7 x67-0=23
1.58/1.66	c 8 ~x46977+4 ~x46976+2 ~x46975+1 ~x46974+4 ~x451+2 ~x450+1 ~x449+4 x439+2 x438+1 x437+7 x68-0=23
1.58/1.68	c 8 ~x47291+4 ~x47290+2 ~x47289+1 ~x47288+4 ~x454+2 ~x453+1 ~x452+4 x439+2 x438+1 x437+7 x69-0=23
1.58/1.68	c 8 ~x47605+4 ~x47604+2 ~x47603+1 ~x47602+4 ~x457+2 ~x456+1 ~x455+4 x439+2 x438+1 x437+7 x70-0=23
1.68/1.71	c 8 ~x47919+4 ~x47918+2 ~x47917+1 ~x47916+4 ~x445+2 ~x444+1 ~x443+4 x442+2 x441+1 x440+7 x71-0=23
1.68/1.71	c 8 ~x48233+4 ~x48232+2 ~x48231+1 ~x48230+4 ~x448+2 ~x447+1 ~x446+4 x442+2 x441+1 x440+7 x72-0=23
1.68/1.71	c 8 ~x48547+4 ~x48546+2 ~x48545+1 ~x48544+4 ~x451+2 ~x450+1 ~x449+4 x442+2 x441+1 x440+7 x73-0=23
1.68/1.73	c 8 ~x48861+4 ~x48860+2 ~x48859+1 ~x48858+4 ~x454+2 ~x453+1 ~x452+4 x442+2 x441+1 x440+7 x74-0=23
1.68/1.73	c 8 ~x49175+4 ~x49174+2 ~x49173+1 ~x49172+4 ~x457+2 ~x456+1 ~x455+4 x442+2 x441+1 x440+7 x75-0=23
1.68/1.75	c 8 ~x49489+4 ~x49488+2 ~x49487+1 ~x49486+4 ~x448+2 ~x447+1 ~x446+4 x445+2 x444+1 x443+7 x76-0=23
1.68/1.75	c 8 ~x49803+4 ~x49802+2 ~x49801+1 ~x49800+4 ~x451+2 ~x450+1 ~x449+4 x445+2 x444+1 x443+7 x77-0=23
1.68/1.75	c 8 ~x50117+4 ~x50116+2 ~x50115+1 ~x50114+4 ~x454+2 ~x453+1 ~x452+4 x445+2 x444+1 x443+7 x78-0=23
1.68/1.78	c 8 ~x50431+4 ~x50430+2 ~x50429+1 ~x50428+4 ~x457+2 ~x456+1 ~x455+4 x445+2 x444+1 x443+7 x79-0=23
1.68/1.78	c 8 ~x50745+4 ~x50744+2 ~x50743+1 ~x50742+4 ~x451+2 ~x450+1 ~x449+4 x448+2 x447+1 x446+7 x80-0=23
1.68/1.78	c 8 ~x51059+4 ~x51058+2 ~x51057+1 ~x51056+4 ~x454+2 ~x453+1 ~x452+4 x448+2 x447+1 x446+7 x81-0=23
1.78/1.80	c 8 ~x51373+4 ~x51372+2 ~x51371+1 ~x51370+4 ~x457+2 ~x456+1 ~x455+4 x448+2 x447+1 x446+7 x82-0=23
1.78/1.80	c 8 ~x51687+4 ~x51686+2 ~x51685+1 ~x51684+4 ~x454+2 ~x453+1 ~x452+4 x451+2 x450+1 x449+7 x83-0=23
1.78/1.83	c 8 ~x52001+4 ~x52000+2 ~x51999+1 ~x51998+4 ~x457+2 ~x456+1 ~x455+4 x451+2 x450+1 x449+7 x84-0=23
1.78/1.83	c 8 ~x52315+4 ~x52314+2 ~x52313+1 ~x52312+4 ~x457+2 ~x456+1 ~x455+4 x454+2 x453+1 x452+7 x85-0=23
1.78/1.83	c 4 ~x52628+2 ~x52627+1 ~x52626+4 ~x343+2 ~x342+1 ~x341+4 x340+2 x339+1 x338+6 ~x86-0=14
1.78/1.84	c 4 ~x52829+2 ~x52828+1 ~x52827+4 ~x346+2 ~x345+1 ~x344+4 x340+2 x339+1 x338+6 ~x87-0=14
1.78/1.84	c 4 ~x53030+2 ~x53029+1 ~x53028+4 ~x349+2 ~x348+1 ~x347+4 x340+2 x339+1 x338+6 ~x88-0=14
1.78/1.84	c 4 ~x53231+2 ~x53230+1 ~x53229+4 ~x352+2 ~x351+1 ~x350+4 x340+2 x339+1 x338+6 ~x89-0=14
1.78/1.86	c 4 ~x53432+2 ~x53431+1 ~x53430+4 ~x355+2 ~x354+1 ~x353+4 x340+2 x339+1 x338+6 ~x90-0=14
1.78/1.86	c 4 ~x53633+2 ~x53632+1 ~x53631+4 ~x358+2 ~x357+1 ~x356+4 x340+2 x339+1 x338+6 ~x91-0=14
1.78/1.86	c 4 ~x53834+2 ~x53833+1 ~x53832+4 ~x346+2 ~x345+1 ~x344+4 x343+2 x342+1 x341+6 ~x92-0=14
1.78/1.88	c 4 ~x54035+2 ~x54034+1 ~x54033+4 ~x349+2 ~x348+1 ~x347+4 x343+2 x342+1 x341+6 ~x93-0=14
1.78/1.88	c 4 ~x54236+2 ~x54235+1 ~x54234+4 ~x352+2 ~x351+1 ~x350+4 x343+2 x342+1 x341+6 ~x94-0=14
1.78/1.88	c 4 ~x54437+2 ~x54436+1 ~x54435+4 ~x355+2 ~x354+1 ~x353+4 x343+2 x342+1 x341+6 ~x95-0=14
1.78/1.89	c 4 ~x54638+2 ~x54637+1 ~x54636+4 ~x358+2 ~x357+1 ~x356+4 x343+2 x342+1 x341+6 ~x96-0=14
1.78/1.89	c 4 ~x54839+2 ~x54838+1 ~x54837+4 ~x349+2 ~x348+1 ~x347+4 x346+2 x345+1 x344+6 ~x97-0=14
1.89/1.91	c 4 ~x55040+2 ~x55039+1 ~x55038+4 ~x352+2 ~x351+1 ~x350+4 x346+2 x345+1 x344+6 ~x98-0=14
1.89/1.91	c 4 ~x55241+2 ~x55240+1 ~x55239+4 ~x355+2 ~x354+1 ~x353+4 x346+2 x345+1 x344+6 ~x99-0=14
1.89/1.91	c 4 ~x55442+2 ~x55441+1 ~x55440+4 ~x358+2 ~x357+1 ~x356+4 x346+2 x345+1 x344+6 ~x100-0=14
1.89/1.93	c 4 ~x55643+2 ~x55642+1 ~x55641+4 ~x352+2 ~x351+1 ~x350+4 x349+2 x348+1 x347+6 ~x101-0=14
1.89/1.93	c 4 ~x55844+2 ~x55843+1 ~x55842+4 ~x355+2 ~x354+1 ~x353+4 x349+2 x348+1 x347+6 ~x102-0=14
1.89/1.93	c 4 ~x56045+2 ~x56044+1 ~x56043+4 ~x358+2 ~x357+1 ~x356+4 x349+2 x348+1 x347+6 ~x103-0=14
1.89/1.94	c 4 ~x56246+2 ~x56245+1 ~x56244+4 ~x355+2 ~x354+1 ~x353+4 x352+2 x351+1 x350+6 ~x104-0=14
1.89/1.94	c 4 ~x56447+2 ~x56446+1 ~x56445+4 ~x358+2 ~x357+1 ~x356+4 x352+2 x351+1 x350+6 ~x105-0=14
1.89/1.94	c 4 ~x56648+2 ~x56647+1 ~x56646+4 ~x358+2 ~x357+1 ~x356+4 x355+2 x354+1 x353+6 ~x106-0=14
1.89/1.96	c 4 ~x56849+2 ~x56848+1 ~x56847+4 ~x376+2 ~x375+1 ~x374+4 x373+2 x372+1 x371+6 ~x107-0=14
1.89/1.96	c 4 ~x57050+2 ~x57049+1 ~x57048+4 ~x379+2 ~x378+1 ~x377+4 x373+2 x372+1 x371+6 ~x108-0=14
1.89/1.96	c 4 ~x57251+2 ~x57250+1 ~x57249+4 ~x382+2 ~x381+1 ~x380+4 x373+2 x372+1 x371+6 ~x109-0=14
1.89/1.98	c 4 ~x57452+2 ~x57451+1 ~x57450+4 ~x385+2 ~x384+1 ~x383+4 x373+2 x372+1 x371+6 ~x110-0=14
1.89/1.98	c 4 ~x57653+2 ~x57652+1 ~x57651+4 ~x388+2 ~x387+1 ~x386+4 x373+2 x372+1 x371+6 ~x111-0=14
1.89/1.98	c 4 ~x57854+2 ~x57853+1 ~x57852+4 ~x391+2 ~x390+1 ~x389+4 x373+2 x372+1 x371+6 ~x112-0=14
1.98/2.00	c 4 ~x58055+2 ~x58054+1 ~x58053+4 ~x379+2 ~x378+1 ~x377+4 x376+2 x375+1 x374+6 ~x113-0=14
1.98/2.00	c 4 ~x58256+2 ~x58255+1 ~x58254+4 ~x382+2 ~x381+1 ~x380+4 x376+2 x375+1 x374+6 ~x114-0=14
1.98/2.00	c 4 ~x58457+2 ~x58456+1 ~x58455+4 ~x385+2 ~x384+1 ~x383+4 x376+2 x375+1 x374+6 ~x115-0=14
1.98/2.01	c 4 ~x58658+2 ~x58657+1 ~x58656+4 ~x388+2 ~x387+1 ~x386+4 x376+2 x375+1 x374+6 ~x116-0=14
1.98/2.01	c 4 ~x58859+2 ~x58858+1 ~x58857+4 ~x391+2 ~x390+1 ~x389+4 x376+2 x375+1 x374+6 ~x117-0=14
1.98/2.03	c 4 ~x59060+2 ~x59059+1 ~x59058+4 ~x382+2 ~x381+1 ~x380+4 x379+2 x378+1 x377+6 ~x118-0=14
1.98/2.03	c 4 ~x59261+2 ~x59260+1 ~x59259+4 ~x385+2 ~x384+1 ~x383+4 x379+2 x378+1 x377+6 ~x119-0=14
1.98/2.03	c 4 ~x59462+2 ~x59461+1 ~x59460+4 ~x388+2 ~x387+1 ~x386+4 x379+2 x378+1 x377+6 ~x120-0=14
1.98/2.05	c 4 ~x59663+2 ~x59662+1 ~x59661+4 ~x391+2 ~x390+1 ~x389+4 x379+2 x378+1 x377+6 ~x121-0=14
1.98/2.05	c 4 ~x59864+2 ~x59863+1 ~x59862+4 ~x385+2 ~x384+1 ~x383+4 x382+2 x381+1 x380+6 ~x122-0=14
1.98/2.05	c 4 ~x60065+2 ~x60064+1 ~x60063+4 ~x388+2 ~x387+1 ~x386+4 x382+2 x381+1 x380+6 ~x123-0=14
1.98/2.06	c 4 ~x60266+2 ~x60265+1 ~x60264+4 ~x391+2 ~x390+1 ~x389+4 x382+2 x381+1 x380+6 ~x124-0=14
1.98/2.06	c 4 ~x60467+2 ~x60466+1 ~x60465+4 ~x388+2 ~x387+1 ~x386+4 x385+2 x384+1 x383+6 ~x125-0=14
1.98/2.06	c 4 ~x60668+2 ~x60667+1 ~x60666+4 ~x391+2 ~x390+1 ~x389+4 x385+2 x384+1 x383+6 ~x126-0=14
1.98/2.08	c 4 ~x60869+2 ~x60868+1 ~x60867+4 ~x391+2 ~x390+1 ~x389+4 x388+2 x387+1 x386+6 ~x127-0=14
1.98/2.08	c 4 ~x61070+2 ~x61069+1 ~x61068+4 ~x409+2 ~x408+1 ~x407+4 x406+2 x405+1 x404+6 ~x128-0=14
1.98/2.08	c 4 ~x61271+2 ~x61270+1 ~x61269+4 ~x412+2 ~x411+1 ~x410+4 x406+2 x405+1 x404+6 ~x129-0=14
2.09/2.10	c 4 ~x61472+2 ~x61471+1 ~x61470+4 ~x415+2 ~x414+1 ~x413+4 x406+2 x405+1 x404+6 ~x130-0=14
2.09/2.10	c 4 ~x61673+2 ~x61672+1 ~x61671+4 ~x418+2 ~x417+1 ~x416+4 x406+2 x405+1 x404+6 ~x131-0=14
2.09/2.10	c 4 ~x61874+2 ~x61873+1 ~x61872+4 ~x421+2 ~x420+1 ~x419+4 x406+2 x405+1 x404+6 ~x132-0=14
2.09/2.11	c 4 ~x62075+2 ~x62074+1 ~x62073+4 ~x424+2 ~x423+1 ~x422+4 x406+2 x405+1 x404+6 ~x133-0=14
2.09/2.11	c 4 ~x62276+2 ~x62275+1 ~x62274+4 ~x412+2 ~x411+1 ~x410+4 x409+2 x408+1 x407+6 ~x134-0=14
2.09/2.13	c 4 ~x62477+2 ~x62476+1 ~x62475+4 ~x415+2 ~x414+1 ~x413+4 x409+2 x408+1 x407+6 ~x135-0=14
2.09/2.13	c 4 ~x62678+2 ~x62677+1 ~x62676+4 ~x418+2 ~x417+1 ~x416+4 x409+2 x408+1 x407+6 ~x136-0=14
2.09/2.13	c 4 ~x62879+2 ~x62878+1 ~x62877+4 ~x421+2 ~x420+1 ~x419+4 x409+2 x408+1 x407+6 ~x137-0=14
2.09/2.15	c 4 ~x63080+2 ~x63079+1 ~x63078+4 ~x424+2 ~x423+1 ~x422+4 x409+2 x408+1 x407+6 ~x138-0=14
2.09/2.15	c 4 ~x63281+2 ~x63280+1 ~x63279+4 ~x415+2 ~x414+1 ~x413+4 x412+2 x411+1 x410+6 ~x139-0=14
2.09/2.15	c 4 ~x63482+2 ~x63481+1 ~x63480+4 ~x418+2 ~x417+1 ~x416+4 x412+2 x411+1 x410+6 ~x140-0=14
2.09/2.16	c 4 ~x63683+2 ~x63682+1 ~x63681+4 ~x421+2 ~x420+1 ~x419+4 x412+2 x411+1 x410+6 ~x141-0=14
2.09/2.16	c 4 ~x63884+2 ~x63883+1 ~x63882+4 ~x424+2 ~x423+1 ~x422+4 x412+2 x411+1 x410+6 ~x142-0=14
2.09/2.16	c 4 ~x64085+2 ~x64084+1 ~x64083+4 ~x418+2 ~x417+1 ~x416+4 x415+2 x414+1 x413+6 ~x143-0=14
2.09/2.18	c 4 ~x64286+2 ~x64285+1 ~x64284+4 ~x421+2 ~x420+1 ~x419+4 x415+2 x414+1 x413+6 ~x144-0=14
2.09/2.18	c 4 ~x64487+2 ~x64486+1 ~x64485+4 ~x424+2 ~x423+1 ~x422+4 x415+2 x414+1 x413+6 ~x145-0=14
2.09/2.18	c 4 ~x64688+2 ~x64687+1 ~x64686+4 ~x421+2 ~x420+1 ~x419+4 x418+2 x417+1 x416+6 ~x146-0=14
2.09/2.20	c 4 ~x64889+2 ~x64888+1 ~x64887+4 ~x424+2 ~x423+1 ~x422+4 x418+2 x417+1 x416+6 ~x147-0=14
2.09/2.20	c 4 ~x65090+2 ~x65089+1 ~x65088+4 ~x424+2 ~x423+1 ~x422+4 x421+2 x420+1 x419+6 ~x148-0=14
2.09/2.20	c 4 ~x65291+2 ~x65290+1 ~x65289+4 ~x442+2 ~x441+1 ~x440+4 x439+2 x438+1 x437+6 ~x149-0=14
2.19/2.22	c 4 ~x65492+2 ~x65491+1 ~x65490+4 ~x445+2 ~x444+1 ~x443+4 x439+2 x438+1 x437+6 ~x150-0=14
2.19/2.22	c 4 ~x65693+2 ~x65692+1 ~x65691+4 ~x448+2 ~x447+1 ~x446+4 x439+2 x438+1 x437+6 ~x151-0=14
2.19/2.22	c 4 ~x65894+2 ~x65893+1 ~x65892+4 ~x451+2 ~x450+1 ~x449+4 x439+2 x438+1 x437+6 ~x152-0=14
2.19/2.23	c 4 ~x66095+2 ~x66094+1 ~x66093+4 ~x454+2 ~x453+1 ~x452+4 x439+2 x438+1 x437+6 ~x153-0=14
2.19/2.23	c 4 ~x66296+2 ~x66295+1 ~x66294+4 ~x457+2 ~x456+1 ~x455+4 x439+2 x438+1 x437+6 ~x154-0=14
2.19/2.25	c 4 ~x66497+2 ~x66496+1 ~x66495+4 ~x445+2 ~x444+1 ~x443+4 x442+2 x441+1 x440+6 ~x155-0=14
2.19/2.25	c 4 ~x66698+2 ~x66697+1 ~x66696+4 ~x448+2 ~x447+1 ~x446+4 x442+2 x441+1 x440+6 ~x156-0=14
2.19/2.25	c 4 ~x66899+2 ~x66898+1 ~x66897+4 ~x451+2 ~x450+1 ~x449+4 x442+2 x441+1 x440+6 ~x157-0=14
2.19/2.26	c 4 ~x67100+2 ~x67099+1 ~x67098+4 ~x454+2 ~x453+1 ~x452+4 x442+2 x441+1 x440+6 ~x158-0=14
2.19/2.26	c 4 ~x67301+2 ~x67300+1 ~x67299+4 ~x457+2 ~x456+1 ~x455+4 x442+2 x441+1 x440+6 ~x159-0=14
2.19/2.26	c 4 ~x67502+2 ~x67501+1 ~x67500+4 ~x448+2 ~x447+1 ~x446+4 x445+2 x444+1 x443+6 ~x160-0=14
2.19/2.28	c 4 ~x67703+2 ~x67702+1 ~x67701+4 ~x451+2 ~x450+1 ~x449+4 x445+2 x444+1 x443+6 ~x161-0=14
2.19/2.28	c 4 ~x67904+2 ~x67903+1 ~x67902+4 ~x454+2 ~x453+1 ~x452+4 x445+2 x444+1 x443+6 ~x162-0=14
2.19/2.28	c 4 ~x68105+2 ~x68104+1 ~x68103+4 ~x457+2 ~x456+1 ~x455+4 x445+2 x444+1 x443+6 ~x163-0=14
2.28/2.30	c 4 ~x68306+2 ~x68305+1 ~x68304+4 ~x451+2 ~x450+1 ~x449+4 x448+2 x447+1 x446+6 ~x164-0=14
2.28/2.30	c 4 ~x68507+2 ~x68506+1 ~x68505+4 ~x454+2 ~x453+1 ~x452+4 x448+2 x447+1 x446+6 ~x165-0=14
2.28/2.30	c 4 ~x68708+2 ~x68707+1 ~x68706+4 ~x457+2 ~x456+1 ~x455+4 x448+2 x447+1 x446+6 ~x166-0=14
2.28/2.32	c 4 ~x68909+2 ~x68908+1 ~x68907+4 ~x454+2 ~x453+1 ~x452+4 x451+2 x450+1 x449+6 ~x167-0=14
2.28/2.32	c 4 ~x69110+2 ~x69109+1 ~x69108+4 ~x457+2 ~x456+1 ~x455+4 x451+2 x450+1 x449+6 ~x168-0=14
2.28/2.32	c 4 ~x69311+2 ~x69310+1 ~x69309+4 ~x457+2 ~x456+1 ~x455+4 x454+2 x453+1 x452+6 ~x169-0=14
2.28/2.33	c 8 ~x69513+4 ~x69512+2 ~x69511+1 ~x69510+4 x343+2 x342+1 x341+4 ~x340+2 ~x339+1 ~x338+7 x86-0=23
2.28/2.33	c 8 ~x69827+4 ~x69826+2 ~x69825+1 ~x69824+4 x346+2 x345+1 x344+4 ~x340+2 ~x339+1 ~x338+7 x87-0=23
2.28/2.36	c 8 ~x70141+4 ~x70140+2 ~x70139+1 ~x70138+4 x349+2 x348+1 x347+4 ~x340+2 ~x339+1 ~x338+7 x88-0=23
2.28/2.36	c 8 ~x70455+4 ~x70454+2 ~x70453+1 ~x70452+4 x352+2 x351+1 x350+4 ~x340+2 ~x339+1 ~x338+7 x89-0=23
2.28/2.36	c 8 ~x70769+4 ~x70768+2 ~x70767+1 ~x70766+4 x355+2 x354+1 x353+4 ~x340+2 ~x339+1 ~x338+7 x90-0=23
2.28/2.39	c 8 ~x71083+4 ~x71082+2 ~x71081+1 ~x71080+4 x358+2 x357+1 x356+4 ~x340+2 ~x339+1 ~x338+7 x91-0=23
2.28/2.39	c 8 ~x71397+4 ~x71396+2 ~x71395+1 ~x71394+4 x346+2 x345+1 x344+4 ~x343+2 ~x342+1 ~x341+7 x92-0=23
2.28/2.39	c 8 ~x71711+4 ~x71710+2 ~x71709+1 ~x71708+4 x349+2 x348+1 x347+4 ~x343+2 ~x342+1 ~x341+7 x93-0=23
2.38/2.41	c 8 ~x72025+4 ~x72024+2 ~x72023+1 ~x72022+4 x352+2 x351+1 x350+4 ~x343+2 ~x342+1 ~x341+7 x94-0=23
2.38/2.41	c 8 ~x72339+4 ~x72338+2 ~x72337+1 ~x72336+4 x355+2 x354+1 x353+4 ~x343+2 ~x342+1 ~x341+7 x95-0=23
2.38/2.43	c 8 ~x72653+4 ~x72652+2 ~x72651+1 ~x72650+4 x358+2 x357+1 x356+4 ~x343+2 ~x342+1 ~x341+7 x96-0=23
2.38/2.43	c 8 ~x72967+4 ~x72966+2 ~x72965+1 ~x72964+4 x349+2 x348+1 x347+4 ~x346+2 ~x345+1 ~x344+7 x97-0=23
2.38/2.43	c 8 ~x73281+4 ~x73280+2 ~x73279+1 ~x73278+4 x352+2 x351+1 x350+4 ~x346+2 ~x345+1 ~x344+7 x98-0=23
2.38/2.45	c 8 ~x73595+4 ~x73594+2 ~x73593+1 ~x73592+4 x355+2 x354+1 x353+4 ~x346+2 ~x345+1 ~x344+7 x99-0=23
2.38/2.45	c 8 ~x73909+4 ~x73908+2 ~x73907+1 ~x73906+4 x358+2 x357+1 x356+4 ~x346+2 ~x345+1 ~x344+7 x100-0=23
2.38/2.48	c 8 ~x74223+4 ~x74222+2 ~x74221+1 ~x74220+4 x352+2 x351+1 x350+4 ~x349+2 ~x348+1 ~x347+7 x101-0=23
2.38/2.48	c 8 ~x74537+4 ~x74536+2 ~x74535+1 ~x74534+4 x355+2 x354+1 x353+4 ~x349+2 ~x348+1 ~x347+7 x102-0=23
2.38/2.48	c 8 ~x74851+4 ~x74850+2 ~x74849+1 ~x74848+4 x358+2 x357+1 x356+4 ~x349+2 ~x348+1 ~x347+7 x103-0=23
2.48/2.51	c 8 ~x75165+4 ~x75164+2 ~x75163+1 ~x75162+4 x355+2 x354+1 x353+4 ~x352+2 ~x351+1 ~x350+7 x104-0=23
2.48/2.51	c 8 ~x75479+4 ~x75478+2 ~x75477+1 ~x75476+4 x358+2 x357+1 x356+4 ~x352+2 ~x351+1 ~x350+7 x105-0=23
2.48/2.51	c 8 ~x75793+4 ~x75792+2 ~x75791+1 ~x75790+4 x358+2 x357+1 x356+4 ~x355+2 ~x354+1 ~x353+7 x106-0=23
2.48/2.52	c 8 ~x76107+4 ~x76106+2 ~x76105+1 ~x76104+4 x376+2 x375+1 x374+4 ~x373+2 ~x372+1 ~x371+7 x107-0=23
2.48/2.52	c 8 ~x76421+4 ~x76420+2 ~x76419+1 ~x76418+4 x379+2 x378+1 x377+4 ~x373+2 ~x372+1 ~x371+7 x108-0=23
2.48/2.55	c 8 ~x76735+4 ~x76734+2 ~x76733+1 ~x76732+4 x382+2 x381+1 x380+4 ~x373+2 ~x372+1 ~x371+7 x109-0=23
2.48/2.55	c 8 ~x77049+4 ~x77048+2 ~x77047+1 ~x77046+4 x385+2 x384+1 x383+4 ~x373+2 ~x372+1 ~x371+7 x110-0=23
2.48/2.55	c 8 ~x77363+4 ~x77362+2 ~x77361+1 ~x77360+4 x388+2 x387+1 x386+4 ~x373+2 ~x372+1 ~x371+7 x111-0=23
2.48/2.57	c 8 ~x77677+4 ~x77676+2 ~x77675+1 ~x77674+4 x391+2 x390+1 x389+4 ~x373+2 ~x372+1 ~x371+7 x112-0=23
2.48/2.57	c 8 ~x77991+4 ~x77990+2 ~x77989+1 ~x77988+4 x379+2 x378+1 x377+4 ~x376+2 ~x375+1 ~x374+7 x113-0=23
2.58/2.60	c 8 ~x78305+4 ~x78304+2 ~x78303+1 ~x78302+4 x382+2 x381+1 x380+4 ~x376+2 ~x375+1 ~x374+7 x114-0=23
2.58/2.60	c 8 ~x78619+4 ~x78618+2 ~x78617+1 ~x78616+4 x385+2 x384+1 x383+4 ~x376+2 ~x375+1 ~x374+7 x115-0=23
2.58/2.60	c 8 ~x78933+4 ~x78932+2 ~x78931+1 ~x78930+4 x388+2 x387+1 x386+4 ~x376+2 ~x375+1 ~x374+7 x116-0=23
2.58/2.62	c 8 ~x79247+4 ~x79246+2 ~x79245+1 ~x79244+4 x391+2 x390+1 x389+4 ~x376+2 ~x375+1 ~x374+7 x117-0=23
2.58/2.62	c 8 ~x79561+4 ~x79560+2 ~x79559+1 ~x79558+4 x382+2 x381+1 x380+4 ~x379+2 ~x378+1 ~x377+7 x118-0=23
2.58/2.64	c 8 ~x79875+4 ~x79874+2 ~x79873+1 ~x79872+4 x385+2 x384+1 x383+4 ~x379+2 ~x378+1 ~x377+7 x119-0=23
2.58/2.64	c 8 ~x80189+4 ~x80188+2 ~x80187+1 ~x80186+4 x388+2 x387+1 x386+4 ~x379+2 ~x378+1 ~x377+7 x120-0=23
2.58/2.64	c 8 ~x80503+4 ~x80502+2 ~x80501+1 ~x80500+4 x391+2 x390+1 x389+4 ~x379+2 ~x378+1 ~x377+7 x121-0=23
2.58/2.67	c 8 ~x80817+4 ~x80816+2 ~x80815+1 ~x80814+4 x385+2 x384+1 x383+4 ~x382+2 ~x381+1 ~x380+7 x122-0=23
2.58/2.67	c 8 ~x81131+4 ~x81130+2 ~x81129+1 ~x81128+4 x388+2 x387+1 x386+4 ~x382+2 ~x381+1 ~x380+7 x123-0=23
2.58/2.67	c 8 ~x81445+4 ~x81444+2 ~x81443+1 ~x81442+4 x391+2 x390+1 x389+4 ~x382+2 ~x381+1 ~x380+7 x124-0=23
2.58/2.69	c 8 ~x81759+4 ~x81758+2 ~x81757+1 ~x81756+4 x388+2 x387+1 x386+4 ~x385+2 ~x384+1 ~x383+7 x125-0=23
2.58/2.69	c 8 ~x82073+4 ~x82072+2 ~x82071+1 ~x82070+4 x391+2 x390+1 x389+4 ~x385+2 ~x384+1 ~x383+7 x126-0=23
2.69/2.72	c 8 ~x82387+4 ~x82386+2 ~x82385+1 ~x82384+4 x391+2 x390+1 x389+4 ~x388+2 ~x387+1 ~x386+7 x127-0=23
2.69/2.72	c 8 ~x82701+4 ~x82700+2 ~x82699+1 ~x82698+4 x409+2 x408+1 x407+4 ~x406+2 ~x405+1 ~x404+7 x128-0=23
2.69/2.72	c 8 ~x83015+4 ~x83014+2 ~x83013+1 ~x83012+4 x412+2 x411+1 x410+4 ~x406+2 ~x405+1 ~x404+7 x129-0=23
2.69/2.73	c 8 ~x83329+4 ~x83328+2 ~x83327+1 ~x83326+4 x415+2 x414+1 x413+4 ~x406+2 ~x405+1 ~x404+7 x130-0=23
2.69/2.73	c 8 ~x83643+4 ~x83642+2 ~x83641+1 ~x83640+4 x418+2 x417+1 x416+4 ~x406+2 ~x405+1 ~x404+7 x131-0=23
2.69/2.76	c 8 ~x83957+4 ~x83956+2 ~x83955+1 ~x83954+4 x421+2 x420+1 x419+4 ~x406+2 ~x405+1 ~x404+7 x132-0=23
2.69/2.76	c 8 ~x84271+4 ~x84270+2 ~x84269+1 ~x84268+4 x424+2 x423+1 x422+4 ~x406+2 ~x405+1 ~x404+7 x133-0=23
2.69/2.76	c 8 ~x84585+4 ~x84584+2 ~x84583+1 ~x84582+4 x412+2 x411+1 x410+4 ~x409+2 ~x408+1 ~x407+7 x134-0=23
2.69/2.79	c 8 ~x84899+4 ~x84898+2 ~x84897+1 ~x84896+4 x415+2 x414+1 x413+4 ~x409+2 ~x408+1 ~x407+7 x135-0=23
2.69/2.79	c 8 ~x85213+4 ~x85212+2 ~x85211+1 ~x85210+4 x418+2 x417+1 x416+4 ~x409+2 ~x408+1 ~x407+7 x136-0=23
2.69/2.79	c 8 ~x85527+4 ~x85526+2 ~x85525+1 ~x85524+4 x421+2 x420+1 x419+4 ~x409+2 ~x408+1 ~x407+7 x137-0=23
2.78/2.81	c 8 ~x85841+4 ~x85840+2 ~x85839+1 ~x85838+4 x424+2 x423+1 x422+4 ~x409+2 ~x408+1 ~x407+7 x138-0=23
2.78/2.81	c 8 ~x86155+4 ~x86154+2 ~x86153+1 ~x86152+4 x415+2 x414+1 x413+4 ~x412+2 ~x411+1 ~x410+7 x139-0=23
2.78/2.84	c 8 ~x86469+4 ~x86468+2 ~x86467+1 ~x86466+4 x418+2 x417+1 x416+4 ~x412+2 ~x411+1 ~x410+7 x140-0=23
2.78/2.84	c 8 ~x86783+4 ~x86782+2 ~x86781+1 ~x86780+4 x421+2 x420+1 x419+4 ~x412+2 ~x411+1 ~x410+7 x141-0=23
2.78/2.84	c 8 ~x87097+4 ~x87096+2 ~x87095+1 ~x87094+4 x424+2 x423+1 x422+4 ~x412+2 ~x411+1 ~x410+7 x142-0=23
2.78/2.85	c 8 ~x87411+4 ~x87410+2 ~x87409+1 ~x87408+4 x418+2 x417+1 x416+4 ~x415+2 ~x414+1 ~x413+7 x143-0=23
2.78/2.85	c 8 ~x87725+4 ~x87724+2 ~x87723+1 ~x87722+4 x421+2 x420+1 x419+4 ~x415+2 ~x414+1 ~x413+7 x144-0=23
2.78/2.88	c 8 ~x88039+4 ~x88038+2 ~x88037+1 ~x88036+4 x424+2 x423+1 x422+4 ~x415+2 ~x414+1 ~x413+7 x145-0=23
2.78/2.88	c 8 ~x88353+4 ~x88352+2 ~x88351+1 ~x88350+4 x421+2 x420+1 x419+4 ~x418+2 ~x417+1 ~x416+7 x146-0=23
2.78/2.88	c 8 ~x88667+4 ~x88666+2 ~x88665+1 ~x88664+4 x424+2 x423+1 x422+4 ~x418+2 ~x417+1 ~x416+7 x147-0=23
2.88/2.90	c 8 ~x88981+4 ~x88980+2 ~x88979+1 ~x88978+4 x424+2 x423+1 x422+4 ~x421+2 ~x420+1 ~x419+7 x148-0=23
2.88/2.90	c 8 ~x89295+4 ~x89294+2 ~x89293+1 ~x89292+4 x442+2 x441+1 x440+4 ~x439+2 ~x438+1 ~x437+7 x149-0=23
2.88/2.93	c 8 ~x89609+4 ~x89608+2 ~x89607+1 ~x89606+4 x445+2 x444+1 x443+4 ~x439+2 ~x438+1 ~x437+7 x150-0=23
2.88/2.93	c 8 ~x89923+4 ~x89922+2 ~x89921+1 ~x89920+4 x448+2 x447+1 x446+4 ~x439+2 ~x438+1 ~x437+7 x151-0=23
2.88/2.93	c 8 ~x90237+4 ~x90236+2 ~x90235+1 ~x90234+4 x451+2 x450+1 x449+4 ~x439+2 ~x438+1 ~x437+7 x152-0=23
2.88/2.95	c 8 ~x90551+4 ~x90550+2 ~x90549+1 ~x90548+4 x454+2 x453+1 x452+4 ~x439+2 ~x438+1 ~x437+7 x153-0=23
2.88/2.95	c 8 ~x90865+4 ~x90864+2 ~x90863+1 ~x90862+4 x457+2 x456+1 x455+4 ~x439+2 ~x438+1 ~x437+7 x154-0=23
2.88/2.95	c 8 ~x91179+4 ~x91178+2 ~x91177+1 ~x91176+4 x445+2 x444+1 x443+4 ~x442+2 ~x441+1 ~x440+7 x155-0=23
2.88/2.97	c 8 ~x91493+4 ~x91492+2 ~x91491+1 ~x91490+4 x448+2 x447+1 x446+4 ~x442+2 ~x441+1 ~x440+7 x156-0=23
2.88/2.97	c 8 ~x91807+4 ~x91806+2 ~x91805+1 ~x91804+4 x451+2 x450+1 x449+4 ~x442+2 ~x441+1 ~x440+7 x157-0=23
2.98/3.00	c 8 ~x92121+4 ~x92120+2 ~x92119+1 ~x92118+4 x454+2 x453+1 x452+4 ~x442+2 ~x441+1 ~x440+7 x158-0=23
2.98/3.00	c 8 ~x92435+4 ~x92434+2 ~x92433+1 ~x92432+4 x457+2 x456+1 x455+4 ~x442+2 ~x441+1 ~x440+7 x159-0=23
2.98/3.00	c 8 ~x92749+4 ~x92748+2 ~x92747+1 ~x92746+4 x448+2 x447+1 x446+4 ~x445+2 ~x444+1 ~x443+7 x160-0=23
2.98/3.02	c 8 ~x93063+4 ~x93062+2 ~x93061+1 ~x93060+4 x451+2 x450+1 x449+4 ~x445+2 ~x444+1 ~x443+7 x161-0=23
2.98/3.02	c 8 ~x93377+4 ~x93376+2 ~x93375+1 ~x93374+4 x454+2 x453+1 x452+4 ~x445+2 ~x444+1 ~x443+7 x162-0=23
2.98/3.05	c 8 ~x93691+4 ~x93690+2 ~x93689+1 ~x93688+4 x457+2 x456+1 x455+4 ~x445+2 ~x444+1 ~x443+7 x163-0=23
2.98/3.05	c 8 ~x94005+4 ~x94004+2 ~x94003+1 ~x94002+4 x451+2 x450+1 x449+4 ~x448+2 ~x447+1 ~x446+7 x164-0=23
2.98/3.05	c 8 ~x94319+4 ~x94318+2 ~x94317+1 ~x94316+4 x454+2 x453+1 x452+4 ~x448+2 ~x447+1 ~x446+7 x165-0=23
2.98/3.07	c 8 ~x94633+4 ~x94632+2 ~x94631+1 ~x94630+4 x457+2 x456+1 x455+4 ~x448+2 ~x447+1 ~x446+7 x166-0=23
2.98/3.07	c 8 ~x94947+4 ~x94946+2 ~x94945+1 ~x94944+4 x454+2 x453+1 x452+4 ~x451+2 ~x450+1 ~x449+7 x167-0=23
2.98/3.07	c 8 ~x95261+4 ~x95260+2 ~x95259+1 ~x95258+4 x457+2 x456+1 x455+4 ~x451+2 ~x450+1 ~x449+7 x168-0=23
3.08/3.12	c 8 ~x95575+4 ~x95574+2 ~x95573+1 ~x95572+4 x457+2 x456+1 x455+4 ~x454+2 ~x453+1 ~x452+7 x169-0=23
3.08/3.12	c 4 ~x96056+2 ~x96055+1 ~x96054+4 x361+2 x360+1 x359+4 ~x340+2 ~x339+1 ~x338+6 ~x170-0=14
3.08/3.14	c 4 ~x96257+2 ~x96256+1 ~x96255+4 x373+2 x372+1 x371+4 ~x340+2 ~x339+1 ~x338+6 ~x171-0=14
3.08/3.14	c 4 ~x96458+2 ~x96457+1 ~x96456+4 x394+2 x393+1 x392+4 ~x340+2 ~x339+1 ~x338+6 ~x172-0=14
3.08/3.14	c 4 ~x96659+2 ~x96658+1 ~x96657+4 x406+2 x405+1 x404+4 ~x340+2 ~x339+1 ~x338+6 ~x173-0=14
3.08/3.15	c 4 ~x96860+2 ~x96859+1 ~x96858+4 x427+2 x426+1 x425+4 ~x340+2 ~x339+1 ~x338+6 ~x174-0=14
3.08/3.15	c 4 ~x97061+2 ~x97060+1 ~x97059+4 x439+2 x438+1 x437+4 ~x340+2 ~x339+1 ~x338+6 ~x175-0=14
3.08/3.15	c 4 ~x97262+2 ~x97261+1 ~x97260+4 x373+2 x372+1 x371+4 ~x361+2 ~x360+1 ~x359+6 ~x176-0=14
3.08/3.17	c 4 ~x97463+2 ~x97462+1 ~x97461+4 x394+2 x393+1 x392+4 ~x361+2 ~x360+1 ~x359+6 ~x177-0=14
3.08/3.17	c 4 ~x97664+2 ~x97663+1 ~x97662+4 x406+2 x405+1 x404+4 ~x361+2 ~x360+1 ~x359+6 ~x178-0=14
3.08/3.17	c 4 ~x97865+2 ~x97864+1 ~x97863+4 x427+2 x426+1 x425+4 ~x361+2 ~x360+1 ~x359+6 ~x179-0=14
3.08/3.19	c 4 ~x98066+2 ~x98065+1 ~x98064+4 x439+2 x438+1 x437+4 ~x361+2 ~x360+1 ~x359+6 ~x180-0=14
3.08/3.19	c 4 ~x98267+2 ~x98266+1 ~x98265+4 x394+2 x393+1 x392+4 ~x373+2 ~x372+1 ~x371+6 ~x181-0=14
3.08/3.19	c 4 ~x98468+2 ~x98467+1 ~x98466+4 x406+2 x405+1 x404+4 ~x373+2 ~x372+1 ~x371+6 ~x182-0=14
3.19/3.20	c 4 ~x98669+2 ~x98668+1 ~x98667+4 x427+2 x426+1 x425+4 ~x373+2 ~x372+1 ~x371+6 ~x183-0=14
3.19/3.20	c 4 ~x98870+2 ~x98869+1 ~x98868+4 x439+2 x438+1 x437+4 ~x373+2 ~x372+1 ~x371+6 ~x184-0=14
3.19/3.22	c 4 ~x99071+2 ~x99070+1 ~x99069+4 x406+2 x405+1 x404+4 ~x394+2 ~x393+1 ~x392+6 ~x185-0=14
3.19/3.22	c 4 ~x99272+2 ~x99271+1 ~x99270+4 x427+2 x426+1 x425+4 ~x394+2 ~x393+1 ~x392+6 ~x186-0=14
3.19/3.22	c 4 ~x99473+2 ~x99472+1 ~x99471+4 x439+2 x438+1 x437+4 ~x394+2 ~x393+1 ~x392+6 ~x187-0=14
3.19/3.24	c 4 ~x99674+2 ~x99673+1 ~x99672+4 x427+2 x426+1 x425+4 ~x406+2 ~x405+1 ~x404+6 ~x188-0=14
3.19/3.24	c 4 ~x99875+2 ~x99874+1 ~x99873+4 x439+2 x438+1 x437+4 ~x406+2 ~x405+1 ~x404+6 ~x189-0=14
3.19/3.24	c 4 ~x100076+2 ~x100075+1 ~x100074+4 x439+2 x438+1 x437+4 ~x427+2 ~x426+1 ~x425+6 ~x190-0=14
3.19/3.26	c 4 ~x100277+2 ~x100276+1 ~x100275+4 x364+2 x363+1 x362+4 ~x346+2 ~x345+1 ~x344+6 ~x191-0=14
3.19/3.26	c 4 ~x100478+2 ~x100477+1 ~x100476+4 x379+2 x378+1 x377+4 ~x346+2 ~x345+1 ~x344+6 ~x192-0=14
3.19/3.26	c 4 ~x100679+2 ~x100678+1 ~x100677+4 x397+2 x396+1 x395+4 ~x346+2 ~x345+1 ~x344+6 ~x193-0=14
3.19/3.28	c 4 ~x100880+2 ~x100879+1 ~x100878+4 x412+2 x411+1 x410+4 ~x346+2 ~x345+1 ~x344+6 ~x194-0=14
3.19/3.28	c 4 ~x101081+2 ~x101080+1 ~x101079+4 x430+2 x429+1 x428+4 ~x346+2 ~x345+1 ~x344+6 ~x195-0=14
3.19/3.28	c 4 ~x101282+2 ~x101281+1 ~x101280+4 x445+2 x444+1 x443+4 ~x346+2 ~x345+1 ~x344+6 ~x196-0=14
3.19/3.29	c 4 ~x101483+2 ~x101482+1 ~x101481+4 x379+2 x378+1 x377+4 ~x364+2 ~x363+1 ~x362+6 ~x197-0=14
3.19/3.29	c 4 ~x101684+2 ~x101683+1 ~x101682+4 x397+2 x396+1 x395+4 ~x364+2 ~x363+1 ~x362+6 ~x198-0=14
3.29/3.31	c 4 ~x101885+2 ~x101884+1 ~x101883+4 x412+2 x411+1 x410+4 ~x364+2 ~x363+1 ~x362+6 ~x199-0=14
3.29/3.31	c 4 ~x102086+2 ~x102085+1 ~x102084+4 x430+2 x429+1 x428+4 ~x364+2 ~x363+1 ~x362+6 ~x200-0=14
3.29/3.31	c 4 ~x102287+2 ~x102286+1 ~x102285+4 x445+2 x444+1 x443+4 ~x364+2 ~x363+1 ~x362+6 ~x201-0=14
3.29/3.33	c 4 ~x102488+2 ~x102487+1 ~x102486+4 x397+2 x396+1 x395+4 ~x379+2 ~x378+1 ~x377+6 ~x202-0=14
3.29/3.33	c 4 ~x102689+2 ~x102688+1 ~x102687+4 x412+2 x411+1 x410+4 ~x379+2 ~x378+1 ~x377+6 ~x203-0=14
3.29/3.33	c 4 ~x102890+2 ~x102889+1 ~x102888+4 x430+2 x429+1 x428+4 ~x379+2 ~x378+1 ~x377+6 ~x204-0=14
3.29/3.35	c 4 ~x103091+2 ~x103090+1 ~x103089+4 x445+2 x444+1 x443+4 ~x379+2 ~x378+1 ~x377+6 ~x205-0=14
3.29/3.35	c 4 ~x103292+2 ~x103291+1 ~x103290+4 x412+2 x411+1 x410+4 ~x397+2 ~x396+1 ~x395+6 ~x206-0=14
3.29/3.35	c 4 ~x103493+2 ~x103492+1 ~x103491+4 x430+2 x429+1 x428+4 ~x397+2 ~x396+1 ~x395+6 ~x207-0=14
3.29/3.36	c 4 ~x103694+2 ~x103693+1 ~x103692+4 x445+2 x444+1 x443+4 ~x397+2 ~x396+1 ~x395+6 ~x208-0=14
3.29/3.36	c 4 ~x103895+2 ~x103894+1 ~x103893+4 x430+2 x429+1 x428+4 ~x412+2 ~x411+1 ~x410+6 ~x209-0=14
3.29/3.38	c 4 ~x104096+2 ~x104095+1 ~x104094+4 x445+2 x444+1 x443+4 ~x412+2 ~x411+1 ~x410+6 ~x210-0=14
3.29/3.38	c 4 ~x104297+2 ~x104296+1 ~x104295+4 x445+2 x444+1 x443+4 ~x430+2 ~x429+1 ~x428+6 ~x211-0=14
3.29/3.38	c 4 ~x104498+2 ~x104497+1 ~x104496+4 x367+2 x366+1 x365+4 ~x352+2 ~x351+1 ~x350+6 ~x212-0=14
3.38/3.40	c 4 ~x104699+2 ~x104698+1 ~x104697+4 x385+2 x384+1 x383+4 ~x352+2 ~x351+1 ~x350+6 ~x213-0=14
3.38/3.40	c 4 ~x104900+2 ~x104899+1 ~x104898+4 x400+2 x399+1 x398+4 ~x352+2 ~x351+1 ~x350+6 ~x214-0=14
3.38/3.40	c 4 ~x105101+2 ~x105100+1 ~x105099+4 x418+2 x417+1 x416+4 ~x352+2 ~x351+1 ~x350+6 ~x215-0=14
3.38/3.42	c 4 ~x105302+2 ~x105301+1 ~x105300+4 x433+2 x432+1 x431+4 ~x352+2 ~x351+1 ~x350+6 ~x216-0=14
3.38/3.42	c 4 ~x105503+2 ~x105502+1 ~x105501+4 x451+2 x450+1 x449+4 ~x352+2 ~x351+1 ~x350+6 ~x217-0=14
3.38/3.42	c 4 ~x105704+2 ~x105703+1 ~x105702+4 x385+2 x384+1 x383+4 ~x367+2 ~x366+1 ~x365+6 ~x218-0=14
3.38/3.43	c 4 ~x105905+2 ~x105904+1 ~x105903+4 x400+2 x399+1 x398+4 ~x367+2 ~x366+1 ~x365+6 ~x219-0=14
3.38/3.43	c 4 ~x106106+2 ~x106105+1 ~x106104+4 x418+2 x417+1 x416+4 ~x367+2 ~x366+1 ~x365+6 ~x220-0=14
3.38/3.45	c 4 ~x106307+2 ~x106306+1 ~x106305+4 x433+2 x432+1 x431+4 ~x367+2 ~x366+1 ~x365+6 ~x221-0=14
3.38/3.45	c 4 ~x106508+2 ~x106507+1 ~x106506+4 x451+2 x450+1 x449+4 ~x367+2 ~x366+1 ~x365+6 ~x222-0=14
3.38/3.45	c 4 ~x106709+2 ~x106708+1 ~x106707+4 x400+2 x399+1 x398+4 ~x385+2 ~x384+1 ~x383+6 ~x223-0=14
3.38/3.47	c 4 ~x106910+2 ~x106909+1 ~x106908+4 x418+2 x417+1 x416+4 ~x385+2 ~x384+1 ~x383+6 ~x224-0=14
3.38/3.47	c 4 ~x107111+2 ~x107110+1 ~x107109+4 x433+2 x432+1 x431+4 ~x385+2 ~x384+1 ~x383+6 ~x225-0=14
3.38/3.47	c 4 ~x107312+2 ~x107311+1 ~x107310+4 x451+2 x450+1 x449+4 ~x385+2 ~x384+1 ~x383+6 ~x226-0=14
3.38/3.49	c 4 ~x107513+2 ~x107512+1 ~x107511+4 x418+2 x417+1 x416+4 ~x400+2 ~x399+1 ~x398+6 ~x227-0=14
3.38/3.49	c 4 ~x107714+2 ~x107713+1 ~x107712+4 x433+2 x432+1 x431+4 ~x400+2 ~x399+1 ~x398+6 ~x228-0=14
3.38/3.49	c 4 ~x107915+2 ~x107914+1 ~x107913+4 x451+2 x450+1 x449+4 ~x400+2 ~x399+1 ~x398+6 ~x229-0=14
3.48/3.50	c 4 ~x108116+2 ~x108115+1 ~x108114+4 x433+2 x432+1 x431+4 ~x418+2 ~x417+1 ~x416+6 ~x230-0=14
3.48/3.50	c 4 ~x108317+2 ~x108316+1 ~x108315+4 x451+2 x450+1 x449+4 ~x418+2 ~x417+1 ~x416+6 ~x231-0=14
3.48/3.52	c 4 ~x108518+2 ~x108517+1 ~x108516+4 x451+2 x450+1 x449+4 ~x433+2 ~x432+1 ~x431+6 ~x232-0=14
3.48/3.52	c 4 ~x108719+2 ~x108718+1 ~x108717+4 x370+2 x369+1 x368+4 ~x358+2 ~x357+1 ~x356+6 ~x233-0=14
3.48/3.52	c 4 ~x108920+2 ~x108919+1 ~x108918+4 x391+2 x390+1 x389+4 ~x358+2 ~x357+1 ~x356+6 ~x234-0=14
3.48/3.54	c 4 ~x109121+2 ~x109120+1 ~x109119+4 x403+2 x402+1 x401+4 ~x358+2 ~x357+1 ~x356+6 ~x235-0=14
3.48/3.54	c 4 ~x109322+2 ~x109321+1 ~x109320+4 x424+2 x423+1 x422+4 ~x358+2 ~x357+1 ~x356+6 ~x236-0=14
3.48/3.54	c 4 ~x109523+2 ~x109522+1 ~x109521+4 x436+2 x435+1 x434+4 ~x358+2 ~x357+1 ~x356+6 ~x237-0=14
3.48/3.56	c 4 ~x109724+2 ~x109723+1 ~x109722+4 x457+2 x456+1 x455+4 ~x358+2 ~x357+1 ~x356+6 ~x238-0=14
3.48/3.56	c 4 ~x109925+2 ~x109924+1 ~x109923+4 x391+2 x390+1 x389+4 ~x370+2 ~x369+1 ~x368+6 ~x239-0=14
3.48/3.56	c 4 ~x110126+2 ~x110125+1 ~x110124+4 x403+2 x402+1 x401+4 ~x370+2 ~x369+1 ~x368+6 ~x240-0=14
3.48/3.57	c 4 ~x110327+2 ~x110326+1 ~x110325+4 x424+2 x423+1 x422+4 ~x370+2 ~x369+1 ~x368+6 ~x241-0=14
3.48/3.57	c 4 ~x110528+2 ~x110527+1 ~x110526+4 x436+2 x435+1 x434+4 ~x370+2 ~x369+1 ~x368+6 ~x242-0=14
3.48/3.58	c 4 ~x110729+2 ~x110728+1 ~x110727+4 x457+2 x456+1 x455+4 ~x370+2 ~x369+1 ~x368+6 ~x243-0=14
3.48/3.58	c 4 ~x110930+2 ~x110929+1 ~x110928+4 x403+2 x402+1 x401+4 ~x391+2 ~x390+1 ~x389+6 ~x244-0=14
3.48/3.58	c 4 ~x111131+2 ~x111130+1 ~x111129+4 x424+2 x423+1 x422+4 ~x391+2 ~x390+1 ~x389+6 ~x245-0=14
3.58/3.60	c 4 ~x111332+2 ~x111331+1 ~x111330+4 x436+2 x435+1 x434+4 ~x391+2 ~x390+1 ~x389+6 ~x246-0=14
3.58/3.60	c 4 ~x111533+2 ~x111532+1 ~x111531+4 x457+2 x456+1 x455+4 ~x391+2 ~x390+1 ~x389+6 ~x247-0=14
3.58/3.60	c 4 ~x111734+2 ~x111733+1 ~x111732+4 x424+2 x423+1 x422+4 ~x403+2 ~x402+1 ~x401+6 ~x248-0=14
3.58/3.62	c 4 ~x111935+2 ~x111934+1 ~x111933+4 x436+2 x435+1 x434+4 ~x403+2 ~x402+1 ~x401+6 ~x249-0=14
3.58/3.62	c 4 ~x112136+2 ~x112135+1 ~x112134+4 x457+2 x456+1 x455+4 ~x403+2 ~x402+1 ~x401+6 ~x250-0=14
3.58/3.62	c 4 ~x112337+2 ~x112336+1 ~x112335+4 x436+2 x435+1 x434+4 ~x424+2 ~x423+1 ~x422+6 ~x251-0=14
3.58/3.63	c 4 ~x112538+2 ~x112537+1 ~x112536+4 x457+2 x456+1 x455+4 ~x424+2 ~x423+1 ~x422+6 ~x252-0=14
3.58/3.63	c 4 ~x112739+2 ~x112738+1 ~x112737+4 x457+2 x456+1 x455+4 ~x436+2 ~x435+1 ~x434+6 ~x253-0=14
3.58/3.66	c 8 ~x112941+4 ~x112940+2 ~x112939+1 ~x112938+4 ~x361+2 ~x360+1 ~x359+4 x340+2 x339+1 x338+7 x170-0=23
3.58/3.66	c 8 ~x113255+4 ~x113254+2 ~x113253+1 ~x113252+4 ~x373+2 ~x372+1 ~x371+4 x340+2 x339+1 x338+7 x171-0=23
3.58/3.66	c 8 ~x113569+4 ~x113568+2 ~x113567+1 ~x113566+4 ~x394+2 ~x393+1 ~x392+4 x340+2 x339+1 x338+7 x172-0=23
3.58/3.67	c 8 ~x113883+4 ~x113882+2 ~x113881+1 ~x113880+4 ~x406+2 ~x405+1 ~x404+4 x340+2 x339+1 x338+7 x173-0=23
3.58/3.67	c 8 ~x114197+4 ~x114196+2 ~x114195+1 ~x114194+4 ~x427+2 ~x426+1 ~x425+4 x340+2 x339+1 x338+7 x174-0=23
3.68/3.70	c 8 ~x114511+4 ~x114510+2 ~x114509+1 ~x114508+4 ~x439+2 ~x438+1 ~x437+4 x340+2 x339+1 x338+7 x175-0=23
3.68/3.70	c 8 ~x114825+4 ~x114824+2 ~x114823+1 ~x114822+4 ~x373+2 ~x372+1 ~x371+4 x361+2 x360+1 x359+7 x176-0=23
3.68/3.70	c 8 ~x115139+4 ~x115138+2 ~x115137+1 ~x115136+4 ~x394+2 ~x393+1 ~x392+4 x361+2 x360+1 x359+7 x177-0=23
3.68/3.72	c 8 ~x115453+4 ~x115452+2 ~x115451+1 ~x115450+4 ~x406+2 ~x405+1 ~x404+4 x361+2 x360+1 x359+7 x178-0=23
3.68/3.72	c 8 ~x115767+4 ~x115766+2 ~x115765+1 ~x115764+4 ~x427+2 ~x426+1 ~x425+4 x361+2 x360+1 x359+7 x179-0=23
3.68/3.75	c 8 ~x116081+4 ~x116080+2 ~x116079+1 ~x116078+4 ~x439+2 ~x438+1 ~x437+4 x361+2 x360+1 x359+7 x180-0=23
3.68/3.75	c 8 ~x116395+4 ~x116394+2 ~x116393+1 ~x116392+4 ~x394+2 ~x393+1 ~x392+4 x373+2 x372+1 x371+7 x181-0=23
3.68/3.75	c 8 ~x116709+4 ~x116708+2 ~x116707+1 ~x116706+4 ~x406+2 ~x405+1 ~x404+4 x373+2 x372+1 x371+7 x182-0=23
3.68/3.77	c 8 ~x117023+4 ~x117022+2 ~x117021+1 ~x117020+4 ~x427+2 ~x426+1 ~x425+4 x373+2 x372+1 x371+7 x183-0=23
3.68/3.77	c 8 ~x117337+4 ~x117336+2 ~x117335+1 ~x117334+4 ~x439+2 ~x438+1 ~x437+4 x373+2 x372+1 x371+7 x184-0=23
3.68/3.79	c 8 ~x117651+4 ~x117650+2 ~x117649+1 ~x117648+4 ~x406+2 ~x405+1 ~x404+4 x394+2 x393+1 x392+7 x185-0=23
3.68/3.79	c 8 ~x117965+4 ~x117964+2 ~x117963+1 ~x117962+4 ~x427+2 ~x426+1 ~x425+4 x394+2 x393+1 x392+7 x186-0=23
3.68/3.79	c 8 ~x118279+4 ~x118278+2 ~x118277+1 ~x118276+4 ~x439+2 ~x438+1 ~x437+4 x394+2 x393+1 x392+7 x187-0=23
3.78/3.81	c 8 ~x118593+4 ~x118592+2 ~x118591+1 ~x118590+4 ~x427+2 ~x426+1 ~x425+4 x406+2 x405+1 x404+7 x188-0=23
3.78/3.81	c 8 ~x118907+4 ~x118906+2 ~x118905+1 ~x118904+4 ~x439+2 ~x438+1 ~x437+4 x406+2 x405+1 x404+7 x189-0=23
3.78/3.84	c 8 ~x119221+4 ~x119220+2 ~x119219+1 ~x119218+4 ~x439+2 ~x438+1 ~x437+4 x427+2 x426+1 x425+7 x190-0=23
3.78/3.84	c 8 ~x119535+4 ~x119534+2 ~x119533+1 ~x119532+4 ~x364+2 ~x363+1 ~x362+4 x346+2 x345+1 x344+7 x191-0=23
3.78/3.84	c 8 ~x119849+4 ~x119848+2 ~x119847+1 ~x119846+4 ~x379+2 ~x378+1 ~x377+4 x346+2 x345+1 x344+7 x192-0=23
3.78/3.86	c 8 ~x120163+4 ~x120162+2 ~x120161+1 ~x120160+4 ~x397+2 ~x396+1 ~x395+4 x346+2 x345+1 x344+7 x193-0=23
3.78/3.86	c 8 ~x120477+4 ~x120476+2 ~x120475+1 ~x120474+4 ~x412+2 ~x411+1 ~x410+4 x346+2 x345+1 x344+7 x194-0=23
3.78/3.88	c 8 ~x120791+4 ~x120790+2 ~x120789+1 ~x120788+4 ~x430+2 ~x429+1 ~x428+4 x346+2 x345+1 x344+7 x195-0=23
3.78/3.88	c 8 ~x121105+4 ~x121104+2 ~x121103+1 ~x121102+4 ~x445+2 ~x444+1 ~x443+4 x346+2 x345+1 x344+7 x196-0=23
3.78/3.88	c 8 ~x121419+4 ~x121418+2 ~x121417+1 ~x121416+4 ~x379+2 ~x378+1 ~x377+4 x364+2 x363+1 x362+7 x197-0=23
3.88/3.90	c 8 ~x121733+4 ~x121732+2 ~x121731+1 ~x121730+4 ~x397+2 ~x396+1 ~x395+4 x364+2 x363+1 x362+7 x198-0=23
3.88/3.90	c 8 ~x122047+4 ~x122046+2 ~x122045+1 ~x122044+4 ~x412+2 ~x411+1 ~x410+4 x364+2 x363+1 x362+7 x199-0=23
3.88/3.93	c 8 ~x122361+4 ~x122360+2 ~x122359+1 ~x122358+4 ~x430+2 ~x429+1 ~x428+4 x364+2 x363+1 x362+7 x200-0=23
3.88/3.93	c 8 ~x122675+4 ~x122674+2 ~x122673+1 ~x122672+4 ~x445+2 ~x444+1 ~x443+4 x364+2 x363+1 x362+7 x201-0=23
3.88/3.93	c 8 ~x122989+4 ~x122988+2 ~x122987+1 ~x122986+4 ~x397+2 ~x396+1 ~x395+4 x379+2 x378+1 x377+7 x202-0=23
3.88/3.95	c 8 ~x123303+4 ~x123302+2 ~x123301+1 ~x123300+4 ~x412+2 ~x411+1 ~x410+4 x379+2 x378+1 x377+7 x203-0=23
3.88/3.95	c 8 ~x123617+4 ~x123616+2 ~x123615+1 ~x123614+4 ~x430+2 ~x429+1 ~x428+4 x379+2 x378+1 x377+7 x204-0=23
3.88/3.98	c 8 ~x123931+4 ~x123930+2 ~x123929+1 ~x123928+4 ~x445+2 ~x444+1 ~x443+4 x379+2 x378+1 x377+7 x205-0=23
3.88/3.98	c 8 ~x124245+4 ~x124244+2 ~x124243+1 ~x124242+4 ~x412+2 ~x411+1 ~x410+4 x397+2 x396+1 x395+7 x206-0=23
3.88/3.98	c 8 ~x124559+4 ~x124558+2 ~x124557+1 ~x124556+4 ~x430+2 ~x429+1 ~x428+4 x397+2 x396+1 x395+7 x207-0=23
3.88/3.99	c 8 ~x124873+4 ~x124872+2 ~x124871+1 ~x124870+4 ~x445+2 ~x444+1 ~x443+4 x397+2 x396+1 x395+7 x208-0=23
3.88/3.99	c 8 ~x125187+4 ~x125186+2 ~x125185+1 ~x125184+4 ~x430+2 ~x429+1 ~x428+4 x412+2 x411+1 x410+7 x209-0=23
3.98/4.02	c 8 ~x125501+4 ~x125500+2 ~x125499+1 ~x125498+4 ~x445+2 ~x444+1 ~x443+4 x412+2 x411+1 x410+7 x210-0=23
3.98/4.02	c 8 ~x125815+4 ~x125814+2 ~x125813+1 ~x125812+4 ~x445+2 ~x444+1 ~x443+4 x430+2 x429+1 x428+7 x211-0=23
3.98/4.02	c 8 ~x126129+4 ~x126128+2 ~x126127+1 ~x126126+4 ~x367+2 ~x366+1 ~x365+4 x352+2 x351+1 x350+7 x212-0=23
3.98/4.04	c 8 ~x126443+4 ~x126442+2 ~x126441+1 ~x126440+4 ~x385+2 ~x384+1 ~x383+4 x352+2 x351+1 x350+7 x213-0=23
3.98/4.04	c 8 ~x126757+4 ~x126756+2 ~x126755+1 ~x126754+4 ~x400+2 ~x399+1 ~x398+4 x352+2 x351+1 x350+7 x214-0=23
3.98/4.07	c 8 ~x127071+4 ~x127070+2 ~x127069+1 ~x127068+4 ~x418+2 ~x417+1 ~x416+4 x352+2 x351+1 x350+7 x215-0=23
3.98/4.07	c 8 ~x127385+4 ~x127384+2 ~x127383+1 ~x127382+4 ~x433+2 ~x432+1 ~x431+4 x352+2 x351+1 x350+7 x216-0=23
3.98/4.07	c 8 ~x127699+4 ~x127698+2 ~x127697+1 ~x127696+4 ~x451+2 ~x450+1 ~x449+4 x352+2 x351+1 x350+7 x217-0=23
3.98/4.09	c 8 ~x128013+4 ~x128012+2 ~x128011+1 ~x128010+4 ~x385+2 ~x384+1 ~x383+4 x367+2 x366+1 x365+7 x218-0=23
3.98/4.09	c 8 ~x128327+4 ~x128326+2 ~x128325+1 ~x128324+4 ~x400+2 ~x399+1 ~x398+4 x367+2 x366+1 x365+7 x219-0=23
4.08/4.11	c 8 ~x128641+4 ~x128640+2 ~x128639+1 ~x128638+4 ~x418+2 ~x417+1 ~x416+4 x367+2 x366+1 x365+7 x220-0=23
4.08/4.11	c 8 ~x128955+4 ~x128954+2 ~x128953+1 ~x128952+4 ~x433+2 ~x432+1 ~x431+4 x367+2 x366+1 x365+7 x221-0=23
4.08/4.11	c 8 ~x129269+4 ~x129268+2 ~x129267+1 ~x129266+4 ~x451+2 ~x450+1 ~x449+4 x367+2 x366+1 x365+7 x222-0=23
4.08/4.13	c 8 ~x129583+4 ~x129582+2 ~x129581+1 ~x129580+4 ~x400+2 ~x399+1 ~x398+4 x385+2 x384+1 x383+7 x223-0=23
4.08/4.13	c 8 ~x129897+4 ~x129896+2 ~x129895+1 ~x129894+4 ~x418+2 ~x417+1 ~x416+4 x385+2 x384+1 x383+7 x224-0=23
4.08/4.16	c 8 ~x130211+4 ~x130210+2 ~x130209+1 ~x130208+4 ~x433+2 ~x432+1 ~x431+4 x385+2 x384+1 x383+7 x225-0=23
4.08/4.16	c 8 ~x130525+4 ~x130524+2 ~x130523+1 ~x130522+4 ~x451+2 ~x450+1 ~x449+4 x385+2 x384+1 x383+7 x226-0=23
4.08/4.16	c 8 ~x130839+4 ~x130838+2 ~x130837+1 ~x130836+4 ~x418+2 ~x417+1 ~x416+4 x400+2 x399+1 x398+7 x227-0=23
4.08/4.18	c 8 ~x131153+4 ~x131152+2 ~x131151+1 ~x131150+4 ~x433+2 ~x432+1 ~x431+4 x400+2 x399+1 x398+7 x228-0=23
4.08/4.18	c 8 ~x131467+4 ~x131466+2 ~x131465+1 ~x131464+4 ~x451+2 ~x450+1 ~x449+4 x400+2 x399+1 x398+7 x229-0=23
4.18/4.20	c 8 ~x131781+4 ~x131780+2 ~x131779+1 ~x131778+4 ~x433+2 ~x432+1 ~x431+4 x418+2 x417+1 x416+7 x230-0=23
4.18/4.20	c 8 ~x132095+4 ~x132094+2 ~x132093+1 ~x132092+4 ~x451+2 ~x450+1 ~x449+4 x418+2 x417+1 x416+7 x231-0=23
4.18/4.20	c 8 ~x132409+4 ~x132408+2 ~x132407+1 ~x132406+4 ~x451+2 ~x450+1 ~x449+4 x433+2 x432+1 x431+7 x232-0=23
4.18/4.22	c 8 ~x132723+4 ~x132722+2 ~x132721+1 ~x132720+4 ~x370+2 ~x369+1 ~x368+4 x358+2 x357+1 x356+7 x233-0=23
4.18/4.22	c 8 ~x133037+4 ~x133036+2 ~x133035+1 ~x133034+4 ~x391+2 ~x390+1 ~x389+4 x358+2 x357+1 x356+7 x234-0=23
4.18/4.25	c 8 ~x133351+4 ~x133350+2 ~x133349+1 ~x133348+4 ~x403+2 ~x402+1 ~x401+4 x358+2 x357+1 x356+7 x235-0=23
4.18/4.25	c 8 ~x133665+4 ~x133664+2 ~x133663+1 ~x133662+4 ~x424+2 ~x423+1 ~x422+4 x358+2 x357+1 x356+7 x236-0=23
4.18/4.25	c 8 ~x133979+4 ~x133978+2 ~x133977+1 ~x133976+4 ~x436+2 ~x435+1 ~x434+4 x358+2 x357+1 x356+7 x237-0=23
4.18/4.27	c 8 ~x134293+4 ~x134292+2 ~x134291+1 ~x134290+4 ~x457+2 ~x456+1 ~x455+4 x358+2 x357+1 x356+7 x238-0=23
4.18/4.27	c 8 ~x134607+4 ~x134606+2 ~x134605+1 ~x134604+4 ~x391+2 ~x390+1 ~x389+4 x370+2 x369+1 x368+7 x239-0=23
4.29/4.30	c 8 ~x134921+4 ~x134920+2 ~x134919+1 ~x134918+4 ~x403+2 ~x402+1 ~x401+4 x370+2 x369+1 x368+7 x240-0=23
4.29/4.30	c 8 ~x135235+4 ~x135234+2 ~x135233+1 ~x135232+4 ~x424+2 ~x423+1 ~x422+4 x370+2 x369+1 x368+7 x241-0=23
4.29/4.30	c 8 ~x135549+4 ~x135548+2 ~x135547+1 ~x135546+4 ~x436+2 ~x435+1 ~x434+4 x370+2 x369+1 x368+7 x242-0=23
4.29/4.32	c 8 ~x135863+4 ~x135862+2 ~x135861+1 ~x135860+4 ~x457+2 ~x456+1 ~x455+4 x370+2 x369+1 x368+7 x243-0=23
4.29/4.32	c 8 ~x136177+4 ~x136176+2 ~x136175+1 ~x136174+4 ~x403+2 ~x402+1 ~x401+4 x391+2 x390+1 x389+7 x244-0=23
4.29/4.35	c 8 ~x136491+4 ~x136490+2 ~x136489+1 ~x136488+4 ~x424+2 ~x423+1 ~x422+4 x391+2 x390+1 x389+7 x245-0=23
4.29/4.35	c 8 ~x136805+4 ~x136804+2 ~x136803+1 ~x136802+4 ~x436+2 ~x435+1 ~x434+4 x391+2 x390+1 x389+7 x246-0=23
4.29/4.36	c 8 ~x137119+4 ~x137118+2 ~x137117+1 ~x137116+4 ~x457+2 ~x456+1 ~x455+4 x391+2 x390+1 x389+7 x247-0=23
4.29/4.36	c 8 ~x137433+4 ~x137432+2 ~x137431+1 ~x137430+4 ~x424+2 ~x423+1 ~x422+4 x403+2 x402+1 x401+7 x248-0=23
4.29/4.36	c 8 ~x137747+4 ~x137746+2 ~x137745+1 ~x137744+4 ~x436+2 ~x435+1 ~x434+4 x403+2 x402+1 x401+7 x249-0=23
4.29/4.38	c 8 ~x138061+4 ~x138060+2 ~x138059+1 ~x138058+4 ~x457+2 ~x456+1 ~x455+4 x403+2 x402+1 x401+7 x250-0=23
4.29/4.38	c 8 ~x138375+4 ~x138374+2 ~x138373+1 ~x138372+4 ~x436+2 ~x435+1 ~x434+4 x424+2 x423+1 x422+7 x251-0=23
4.39/4.41	c 8 ~x138689+4 ~x138688+2 ~x138687+1 ~x138686+4 ~x457+2 ~x456+1 ~x455+4 x424+2 x423+1 x422+7 x252-0=23
4.39/4.41	c 8 ~x139003+4 ~x139002+2 ~x139001+1 ~x139000+4 ~x457+2 ~x456+1 ~x455+4 x436+2 x435+1 x434+7 x253-0=23
4.39/4.41	c 4 ~x139316+2 ~x139315+1 ~x139314+4 ~x361+2 ~x360+1 ~x359+4 x340+2 x339+1 x338+6 ~x254-0=14
4.39/4.43	c 4 ~x139517+2 ~x139516+1 ~x139515+4 ~x373+2 ~x372+1 ~x371+4 x340+2 x339+1 x338+6 ~x255-0=14
4.39/4.43	c 4 ~x139718+2 ~x139717+1 ~x139716+4 ~x394+2 ~x393+1 ~x392+4 x340+2 x339+1 x338+6 ~x256-0=14
4.39/4.43	c 4 ~x139919+2 ~x139918+1 ~x139917+4 ~x406+2 ~x405+1 ~x404+4 x340+2 x339+1 x338+6 ~x257-0=14
4.39/4.44	c 4 ~x140120+2 ~x140119+1 ~x140118+4 ~x427+2 ~x426+1 ~x425+4 x340+2 x339+1 x338+6 ~x258-0=14
4.39/4.44	c 4 ~x140321+2 ~x140320+1 ~x140319+4 ~x439+2 ~x438+1 ~x437+4 x340+2 x339+1 x338+6 ~x259-0=14
4.39/4.44	c 4 ~x140522+2 ~x140521+1 ~x140520+4 ~x373+2 ~x372+1 ~x371+4 x361+2 x360+1 x359+6 ~x260-0=14
4.39/4.46	c 4 ~x140723+2 ~x140722+1 ~x140721+4 ~x394+2 ~x393+1 ~x392+4 x361+2 x360+1 x359+6 ~x261-0=14
4.39/4.46	c 4 ~x140924+2 ~x140923+1 ~x140922+4 ~x406+2 ~x405+1 ~x404+4 x361+2 x360+1 x359+6 ~x262-0=14
4.39/4.47	c 4 ~x141125+2 ~x141124+1 ~x141123+4 ~x427+2 ~x426+1 ~x425+4 x361+2 x360+1 x359+6 ~x263-0=14
4.39/4.47	c 4 ~x141326+2 ~x141325+1 ~x141324+4 ~x439+2 ~x438+1 ~x437+4 x361+2 x360+1 x359+6 ~x264-0=14
4.39/4.47	c 4 ~x141527+2 ~x141526+1 ~x141525+4 ~x394+2 ~x393+1 ~x392+4 x373+2 x372+1 x371+6 ~x265-0=14
4.39/4.49	c 4 ~x141728+2 ~x141727+1 ~x141726+4 ~x406+2 ~x405+1 ~x404+4 x373+2 x372+1 x371+6 ~x266-0=14
4.39/4.49	c 4 ~x141929+2 ~x141928+1 ~x141927+4 ~x427+2 ~x426+1 ~x425+4 x373+2 x372+1 x371+6 ~x267-0=14
4.39/4.49	c 4 ~x142130+2 ~x142129+1 ~x142128+4 ~x439+2 ~x438+1 ~x437+4 x373+2 x372+1 x371+6 ~x268-0=14
4.48/4.51	c 4 ~x142331+2 ~x142330+1 ~x142329+4 ~x406+2 ~x405+1 ~x404+4 x394+2 x393+1 x392+6 ~x269-0=14
4.48/4.51	c 4 ~x142532+2 ~x142531+1 ~x142530+4 ~x427+2 ~x426+1 ~x425+4 x394+2 x393+1 x392+6 ~x270-0=14
4.48/4.51	c 4 ~x142733+2 ~x142732+1 ~x142731+4 ~x439+2 ~x438+1 ~x437+4 x394+2 x393+1 x392+6 ~x271-0=14
4.48/4.52	c 4 ~x142934+2 ~x142933+1 ~x142932+4 ~x427+2 ~x426+1 ~x425+4 x406+2 x405+1 x404+6 ~x272-0=14
4.48/4.52	c 4 ~x143135+2 ~x143134+1 ~x143133+4 ~x439+2 ~x438+1 ~x437+4 x406+2 x405+1 x404+6 ~x273-0=14
4.48/4.54	c 4 ~x143336+2 ~x143335+1 ~x143334+4 ~x439+2 ~x438+1 ~x437+4 x427+2 x426+1 x425+6 ~x274-0=14
4.48/4.54	c 4 ~x143537+2 ~x143536+1 ~x143535+4 ~x364+2 ~x363+1 ~x362+4 x346+2 x345+1 x344+6 ~x275-0=14
4.48/4.54	c 4 ~x143738+2 ~x143737+1 ~x143736+4 ~x379+2 ~x378+1 ~x377+4 x346+2 x345+1 x344+6 ~x276-0=14
4.48/4.56	c 4 ~x143939+2 ~x143938+1 ~x143937+4 ~x397+2 ~x396+1 ~x395+4 x346+2 x345+1 x344+6 ~x277-0=14
4.48/4.56	c 4 ~x144140+2 ~x144139+1 ~x144138+4 ~x412+2 ~x411+1 ~x410+4 x346+2 x345+1 x344+6 ~x278-0=14
4.48/4.56	c 4 ~x144341+2 ~x144340+1 ~x144339+4 ~x430+2 ~x429+1 ~x428+4 x346+2 x345+1 x344+6 ~x279-0=14
4.48/4.57	c 4 ~x144542+2 ~x144541+1 ~x144540+4 ~x445+2 ~x444+1 ~x443+4 x346+2 x345+1 x344+6 ~x280-0=14
4.48/4.57	c 4 ~x144743+2 ~x144742+1 ~x144741+4 ~x379+2 ~x378+1 ~x377+4 x364+2 x363+1 x362+6 ~x281-0=14
4.48/4.57	c 4 ~x144944+2 ~x144943+1 ~x144942+4 ~x397+2 ~x396+1 ~x395+4 x364+2 x363+1 x362+6 ~x282-0=14
4.48/4.59	c 4 ~x145145+2 ~x145144+1 ~x145143+4 ~x412+2 ~x411+1 ~x410+4 x364+2 x363+1 x362+6 ~x283-0=14
4.48/4.59	c 4 ~x145346+2 ~x145345+1 ~x145344+4 ~x430+2 ~x429+1 ~x428+4 x364+2 x363+1 x362+6 ~x284-0=14
4.58/4.60	c 4 ~x145547+2 ~x145546+1 ~x145545+4 ~x445+2 ~x444+1 ~x443+4 x364+2 x363+1 x362+6 ~x285-0=14
4.58/4.60	c 4 ~x145748+2 ~x145747+1 ~x145746+4 ~x397+2 ~x396+1 ~x395+4 x379+2 x378+1 x377+6 ~x286-0=14
4.58/4.60	c 4 ~x145949+2 ~x145948+1 ~x145947+4 ~x412+2 ~x411+1 ~x410+4 x379+2 x378+1 x377+6 ~x287-0=14
4.58/4.62	c 4 ~x146150+2 ~x146149+1 ~x146148+4 ~x430+2 ~x429+1 ~x428+4 x379+2 x378+1 x377+6 ~x288-0=14
4.58/4.62	c 4 ~x146351+2 ~x146350+1 ~x146349+4 ~x445+2 ~x444+1 ~x443+4 x379+2 x378+1 x377+6 ~x289-0=14
4.58/4.62	c 4 ~x146552+2 ~x146551+1 ~x146550+4 ~x412+2 ~x411+1 ~x410+4 x397+2 x396+1 x395+6 ~x290-0=14
4.58/4.64	c 4 ~x146753+2 ~x146752+1 ~x146751+4 ~x430+2 ~x429+1 ~x428+4 x397+2 x396+1 x395+6 ~x291-0=14
4.58/4.64	c 4 ~x146954+2 ~x146953+1 ~x146952+4 ~x445+2 ~x444+1 ~x443+4 x397+2 x396+1 x395+6 ~x292-0=14
4.58/4.64	c 4 ~x147155+2 ~x147154+1 ~x147153+4 ~x430+2 ~x429+1 ~x428+4 x412+2 x411+1 x410+6 ~x293-0=14
4.58/4.65	c 4 ~x147356+2 ~x147355+1 ~x147354+4 ~x445+2 ~x444+1 ~x443+4 x412+2 x411+1 x410+6 ~x294-0=14
4.58/4.65	c 4 ~x147557+2 ~x147556+1 ~x147555+4 ~x445+2 ~x444+1 ~x443+4 x430+2 x429+1 x428+6 ~x295-0=14
4.58/4.67	c 4 ~x147758+2 ~x147757+1 ~x147756+4 ~x367+2 ~x366+1 ~x365+4 x352+2 x351+1 x350+6 ~x296-0=14
4.58/4.67	c 4 ~x147959+2 ~x147958+1 ~x147957+4 ~x385+2 ~x384+1 ~x383+4 x352+2 x351+1 x350+6 ~x297-0=14
4.58/4.67	c 4 ~x148160+2 ~x148159+1 ~x148158+4 ~x400+2 ~x399+1 ~x398+4 x352+2 x351+1 x350+6 ~x298-0=14
4.58/4.69	c 4 ~x148361+2 ~x148360+1 ~x148359+4 ~x418+2 ~x417+1 ~x416+4 x352+2 x351+1 x350+6 ~x299-0=14
4.58/4.69	c 4 ~x148562+2 ~x148561+1 ~x148560+4 ~x433+2 ~x432+1 ~x431+4 x352+2 x351+1 x350+6 ~x300-0=14
4.58/4.69	c 4 ~x148763+2 ~x148762+1 ~x148761+4 ~x451+2 ~x450+1 ~x449+4 x352+2 x351+1 x350+6 ~x301-0=14
4.68/4.70	c 4 ~x148964+2 ~x148963+1 ~x148962+4 ~x385+2 ~x384+1 ~x383+4 x367+2 x366+1 x365+6 ~x302-0=14
4.68/4.70	c 4 ~x149165+2 ~x149164+1 ~x149163+4 ~x400+2 ~x399+1 ~x398+4 x367+2 x366+1 x365+6 ~x303-0=14
4.68/4.70	c 4 ~x149366+2 ~x149365+1 ~x149364+4 ~x418+2 ~x417+1 ~x416+4 x367+2 x366+1 x365+6 ~x304-0=14
4.68/4.72	c 4 ~x149567+2 ~x149566+1 ~x149565+4 ~x433+2 ~x432+1 ~x431+4 x367+2 x366+1 x365+6 ~x305-0=14
4.68/4.72	c 4 ~x149768+2 ~x149767+1 ~x149766+4 ~x451+2 ~x450+1 ~x449+4 x367+2 x366+1 x365+6 ~x306-0=14
4.68/4.73	c 4 ~x149969+2 ~x149968+1 ~x149967+4 ~x400+2 ~x399+1 ~x398+4 x385+2 x384+1 x383+6 ~x307-0=14
4.68/4.73	c 4 ~x150170+2 ~x150169+1 ~x150168+4 ~x418+2 ~x417+1 ~x416+4 x385+2 x384+1 x383+6 ~x308-0=14
4.68/4.73	c 4 ~x150371+2 ~x150370+1 ~x150369+4 ~x433+2 ~x432+1 ~x431+4 x385+2 x384+1 x383+6 ~x309-0=14
4.68/4.75	c 4 ~x150572+2 ~x150571+1 ~x150570+4 ~x451+2 ~x450+1 ~x449+4 x385+2 x384+1 x383+6 ~x310-0=14
4.68/4.75	c 4 ~x150773+2 ~x150772+1 ~x150771+4 ~x418+2 ~x417+1 ~x416+4 x400+2 x399+1 x398+6 ~x311-0=14
4.68/4.75	c 4 ~x150974+2 ~x150973+1 ~x150972+4 ~x433+2 ~x432+1 ~x431+4 x400+2 x399+1 x398+6 ~x312-0=14
4.68/4.77	c 4 ~x151175+2 ~x151174+1 ~x151173+4 ~x451+2 ~x450+1 ~x449+4 x400+2 x399+1 x398+6 ~x313-0=14
4.68/4.77	c 4 ~x151376+2 ~x151375+1 ~x151374+4 ~x433+2 ~x432+1 ~x431+4 x418+2 x417+1 x416+6 ~x314-0=14
4.68/4.77	c 4 ~x151577+2 ~x151576+1 ~x151575+4 ~x451+2 ~x450+1 ~x449+4 x418+2 x417+1 x416+6 ~x315-0=14
4.68/4.78	c 4 ~x151778+2 ~x151777+1 ~x151776+4 ~x451+2 ~x450+1 ~x449+4 x433+2 x432+1 x431+6 ~x316-0=14
4.68/4.78	c 4 ~x151979+2 ~x151978+1 ~x151977+4 ~x370+2 ~x369+1 ~x368+4 x358+2 x357+1 x356+6 ~x317-0=14
4.78/4.80	c 4 ~x152180+2 ~x152179+1 ~x152178+4 ~x391+2 ~x390+1 ~x389+4 x358+2 x357+1 x356+6 ~x318-0=14
4.78/4.80	c 4 ~x152381+2 ~x152380+1 ~x152379+4 ~x403+2 ~x402+1 ~x401+4 x358+2 x357+1 x356+6 ~x319-0=14
4.78/4.80	c 4 ~x152582+2 ~x152581+1 ~x152580+4 ~x424+2 ~x423+1 ~x422+4 x358+2 x357+1 x356+6 ~x320-0=14
4.78/4.82	c 4 ~x152783+2 ~x152782+1 ~x152781+4 ~x436+2 ~x435+1 ~x434+4 x358+2 x357+1 x356+6 ~x321-0=14
4.78/4.82	c 4 ~x152984+2 ~x152983+1 ~x152982+4 ~x457+2 ~x456+1 ~x455+4 x358+2 x357+1 x356+6 ~x322-0=14
4.78/4.82	c 4 ~x153185+2 ~x153184+1 ~x153183+4 ~x391+2 ~x390+1 ~x389+4 x370+2 x369+1 x368+6 ~x323-0=14
4.78/4.83	c 4 ~x153386+2 ~x153385+1 ~x153384+4 ~x403+2 ~x402+1 ~x401+4 x370+2 x369+1 x368+6 ~x324-0=14
4.78/4.83	c 4 ~x153587+2 ~x153586+1 ~x153585+4 ~x424+2 ~x423+1 ~x422+4 x370+2 x369+1 x368+6 ~x325-0=14
4.78/4.83	c 4 ~x153788+2 ~x153787+1 ~x153786+4 ~x436+2 ~x435+1 ~x434+4 x370+2 x369+1 x368+6 ~x326-0=14
4.78/4.85	c 4 ~x153989+2 ~x153988+1 ~x153987+4 ~x457+2 ~x456+1 ~x455+4 x370+2 x369+1 x368+6 ~x327-0=14
4.78/4.85	c 4 ~x154190+2 ~x154189+1 ~x154188+4 ~x403+2 ~x402+1 ~x401+4 x391+2 x390+1 x389+6 ~x328-0=14
4.78/4.86	c 4 ~x154391+2 ~x154390+1 ~x154389+4 ~x424+2 ~x423+1 ~x422+4 x391+2 x390+1 x389+6 ~x329-0=14
4.78/4.86	c 4 ~x154592+2 ~x154591+1 ~x154590+4 ~x436+2 ~x435+1 ~x434+4 x391+2 x390+1 x389+6 ~x330-0=14
4.78/4.86	c 4 ~x154793+2 ~x154792+1 ~x154791+4 ~x457+2 ~x456+1 ~x455+4 x391+2 x390+1 x389+6 ~x331-0=14
4.78/4.88	c 4 ~x154994+2 ~x154993+1 ~x154992+4 ~x424+2 ~x423+1 ~x422+4 x403+2 x402+1 x401+6 ~x332-0=14
4.78/4.88	c 4 ~x155195+2 ~x155194+1 ~x155193+4 ~x436+2 ~x435+1 ~x434+4 x403+2 x402+1 x401+6 ~x333-0=14
4.78/4.88	c 4 ~x155396+2 ~x155395+1 ~x155394+4 ~x457+2 ~x456+1 ~x455+4 x403+2 x402+1 x401+6 ~x334-0=14
4.88/4.90	c 4 ~x155597+2 ~x155596+1 ~x155595+4 ~x436+2 ~x435+1 ~x434+4 x424+2 x423+1 x422+6 ~x335-0=14
4.88/4.90	c 4 ~x155798+2 ~x155797+1 ~x155796+4 ~x457+2 ~x456+1 ~x455+4 x424+2 x423+1 x422+6 ~x336-0=14
4.88/4.90	c 4 ~x155999+2 ~x155998+1 ~x155997+4 ~x457+2 ~x456+1 ~x455+4 x436+2 x435+1 x434+6 ~x337-0=14
4.88/4.91	c 8 ~x156201+4 ~x156200+2 ~x156199+1 ~x156198+4 x361+2 x360+1 x359+4 ~x340+2 ~x339+1 ~x338+7 x254-0=23
4.88/4.91	c 8 ~x156515+4 ~x156514+2 ~x156513+1 ~x156512+4 x373+2 x372+1 x371+4 ~x340+2 ~x339+1 ~x338+7 x255-0=23
4.88/4.94	c 8 ~x156829+4 ~x156828+2 ~x156827+1 ~x156826+4 x394+2 x393+1 x392+4 ~x340+2 ~x339+1 ~x338+7 x256-0=23
4.88/4.94	c 8 ~x157143+4 ~x157142+2 ~x157141+1 ~x157140+4 x406+2 x405+1 x404+4 ~x340+2 ~x339+1 ~x338+7 x257-0=23
4.88/4.94	c 8 ~x157457+4 ~x157456+2 ~x157455+1 ~x157454+4 x427+2 x426+1 x425+4 ~x340+2 ~x339+1 ~x338+7 x258-0=23
4.88/4.96	c 8 ~x157771+4 ~x157770+2 ~x157769+1 ~x157768+4 x439+2 x438+1 x437+4 ~x340+2 ~x339+1 ~x338+7 x259-0=23
4.88/4.96	c 8 ~x158085+4 ~x158084+2 ~x158083+1 ~x158082+4 x373+2 x372+1 x371+4 ~x361+2 ~x360+1 ~x359+7 x260-0=23
4.88/4.99	c 8 ~x158399+4 ~x158398+2 ~x158397+1 ~x158396+4 x394+2 x393+1 x392+4 ~x361+2 ~x360+1 ~x359+7 x261-0=23
4.88/4.99	c 8 ~x158713+4 ~x158712+2 ~x158711+1 ~x158710+4 x406+2 x405+1 x404+4 ~x361+2 ~x360+1 ~x359+7 x262-0=23
4.88/4.99	c 8 ~x159027+4 ~x159026+2 ~x159025+1 ~x159024+4 x427+2 x426+1 x425+4 ~x361+2 ~x360+1 ~x359+7 x263-0=23
4.98/5.01	c 8 ~x159341+4 ~x159340+2 ~x159339+1 ~x159338+4 x439+2 x438+1 x437+4 ~x361+2 ~x360+1 ~x359+7 x264-0=23
4.98/5.01	c 8 ~x159655+4 ~x159654+2 ~x159653+1 ~x159652+4 x394+2 x393+1 x392+4 ~x373+2 ~x372+1 ~x371+7 x265-0=23
4.98/5.03	c 8 ~x159969+4 ~x159968+2 ~x159967+1 ~x159966+4 x406+2 x405+1 x404+4 ~x373+2 ~x372+1 ~x371+7 x266-0=23
4.98/5.03	c 8 ~x160283+4 ~x160282+2 ~x160281+1 ~x160280+4 x427+2 x426+1 x425+4 ~x373+2 ~x372+1 ~x371+7 x267-0=23
4.98/5.03	c 8 ~x160597+4 ~x160596+2 ~x160595+1 ~x160594+4 x439+2 x438+1 x437+4 ~x373+2 ~x372+1 ~x371+7 x268-0=23
4.98/5.05	c 8 ~x160911+4 ~x160910+2 ~x160909+1 ~x160908+4 x406+2 x405+1 x404+4 ~x394+2 ~x393+1 ~x392+7 x269-0=23
4.98/5.05	c 8 ~x161225+4 ~x161224+2 ~x161223+1 ~x161222+4 x427+2 x426+1 x425+4 ~x394+2 ~x393+1 ~x392+7 x270-0=23
4.98/5.08	c 8 ~x161539+4 ~x161538+2 ~x161537+1 ~x161536+4 x439+2 x438+1 x437+4 ~x394+2 ~x393+1 ~x392+7 x271-0=23
4.98/5.08	c 8 ~x161853+4 ~x161852+2 ~x161851+1 ~x161850+4 x427+2 x426+1 x425+4 ~x406+2 ~x405+1 ~x404+7 x272-0=23
4.98/5.08	c 8 ~x162167+4 ~x162166+2 ~x162165+1 ~x162164+4 x439+2 x438+1 x437+4 ~x406+2 ~x405+1 ~x404+7 x273-0=23
5.08/5.10	c 8 ~x162481+4 ~x162480+2 ~x162479+1 ~x162478+4 x439+2 x438+1 x437+4 ~x427+2 ~x426+1 ~x425+7 x274-0=23
5.08/5.10	c 8 ~x162795+4 ~x162794+2 ~x162793+1 ~x162792+4 x364+2 x363+1 x362+4 ~x346+2 ~x345+1 ~x344+7 x275-0=23
5.08/5.12	c 8 ~x163109+4 ~x163108+2 ~x163107+1 ~x163106+4 x379+2 x378+1 x377+4 ~x346+2 ~x345+1 ~x344+7 x276-0=23
5.08/5.12	c 8 ~x163423+4 ~x163422+2 ~x163421+1 ~x163420+4 x397+2 x396+1 x395+4 ~x346+2 ~x345+1 ~x344+7 x277-0=23
5.08/5.12	c 8 ~x163737+4 ~x163736+2 ~x163735+1 ~x163734+4 x412+2 x411+1 x410+4 ~x346+2 ~x345+1 ~x344+7 x278-0=23
5.08/5.14	c 8 ~x164051+4 ~x164050+2 ~x164049+1 ~x164048+4 x430+2 x429+1 x428+4 ~x346+2 ~x345+1 ~x344+7 x279-0=23
5.08/5.14	c 8 ~x164365+4 ~x164364+2 ~x164363+1 ~x164362+4 x445+2 x444+1 x443+4 ~x346+2 ~x345+1 ~x344+7 x280-0=23
5.08/5.17	c 8 ~x164679+4 ~x164678+2 ~x164677+1 ~x164676+4 x379+2 x378+1 x377+4 ~x364+2 ~x363+1 ~x362+7 x281-0=23
5.08/5.17	c 8 ~x164993+4 ~x164992+2 ~x164991+1 ~x164990+4 x397+2 x396+1 x395+4 ~x364+2 ~x363+1 ~x362+7 x282-0=23
5.08/5.19	c 8 ~x165307+4 ~x165306+2 ~x165305+1 ~x165304+4 x412+2 x411+1 x410+4 ~x364+2 ~x363+1 ~x362+7 x283-0=23
5.08/5.19	c 8 ~x165621+4 ~x165620+2 ~x165619+1 ~x165618+4 x430+2 x429+1 x428+4 ~x364+2 ~x363+1 ~x362+7 x284-0=23
5.08/5.19	c 8 ~x165935+4 ~x165934+2 ~x165933+1 ~x165932+4 x445+2 x444+1 x443+4 ~x364+2 ~x363+1 ~x362+7 x285-0=23
5.18/5.21	c 8 ~x166249+4 ~x166248+2 ~x166247+1 ~x166246+4 x397+2 x396+1 x395+4 ~x379+2 ~x378+1 ~x377+7 x286-0=23
5.18/5.21	c 8 ~x166563+4 ~x166562+2 ~x166561+1 ~x166560+4 x412+2 x411+1 x410+4 ~x379+2 ~x378+1 ~x377+7 x287-0=23
5.18/5.23	c 8 ~x166877+4 ~x166876+2 ~x166875+1 ~x166874+4 x430+2 x429+1 x428+4 ~x379+2 ~x378+1 ~x377+7 x288-0=23
5.18/5.23	c 8 ~x167191+4 ~x167190+2 ~x167189+1 ~x167188+4 x445+2 x444+1 x443+4 ~x379+2 ~x378+1 ~x377+7 x289-0=23
5.18/5.23	c 8 ~x167505+4 ~x167504+2 ~x167503+1 ~x167502+4 x412+2 x411+1 x410+4 ~x397+2 ~x396+1 ~x395+7 x290-0=23
5.18/5.25	c 8 ~x167819+4 ~x167818+2 ~x167817+1 ~x167816+4 x430+2 x429+1 x428+4 ~x397+2 ~x396+1 ~x395+7 x291-0=23
5.18/5.25	c 8 ~x168133+4 ~x168132+2 ~x168131+1 ~x168130+4 x445+2 x444+1 x443+4 ~x397+2 ~x396+1 ~x395+7 x292-0=23
5.18/5.28	c 8 ~x168447+4 ~x168446+2 ~x168445+1 ~x168444+4 x430+2 x429+1 x428+4 ~x412+2 ~x411+1 ~x410+7 x293-0=23
5.18/5.28	c 8 ~x168761+4 ~x168760+2 ~x168759+1 ~x168758+4 x445+2 x444+1 x443+4 ~x412+2 ~x411+1 ~x410+7 x294-0=23
5.18/5.28	c 8 ~x169075+4 ~x169074+2 ~x169073+1 ~x169072+4 x445+2 x444+1 x443+4 ~x430+2 ~x429+1 ~x428+7 x295-0=23
5.28/5.30	c 8 ~x169389+4 ~x169388+2 ~x169387+1 ~x169386+4 x367+2 x366+1 x365+4 ~x352+2 ~x351+1 ~x350+7 x296-0=23
5.28/5.30	c 8 ~x169703+4 ~x169702+2 ~x169701+1 ~x169700+4 x385+2 x384+1 x383+4 ~x352+2 ~x351+1 ~x350+7 x297-0=23
5.28/5.33	c 8 ~x170017+4 ~x170016+2 ~x170015+1 ~x170014+4 x400+2 x399+1 x398+4 ~x352+2 ~x351+1 ~x350+7 x298-0=23
5.28/5.33	c 8 ~x170331+4 ~x170330+2 ~x170329+1 ~x170328+4 x418+2 x417+1 x416+4 ~x352+2 ~x351+1 ~x350+7 x299-0=23
5.28/5.33	c 8 ~x170645+4 ~x170644+2 ~x170643+1 ~x170642+4 x433+2 x432+1 x431+4 ~x352+2 ~x351+1 ~x350+7 x300-0=23
5.28/5.35	c 8 ~x170959+4 ~x170958+2 ~x170957+1 ~x170956+4 x451+2 x450+1 x449+4 ~x352+2 ~x351+1 ~x350+7 x301-0=23
5.28/5.35	c 8 ~x171273+4 ~x171272+2 ~x171271+1 ~x171270+4 x385+2 x384+1 x383+4 ~x367+2 ~x366+1 ~x365+7 x302-0=23
5.28/5.38	c 8 ~x171587+4 ~x171586+2 ~x171585+1 ~x171584+4 x400+2 x399+1 x398+4 ~x367+2 ~x366+1 ~x365+7 x303-0=23
5.28/5.38	c 8 ~x171901+4 ~x171900+2 ~x171899+1 ~x171898+4 x418+2 x417+1 x416+4 ~x367+2 ~x366+1 ~x365+7 x304-0=23
5.28/5.38	c 8 ~x172215+4 ~x172214+2 ~x172213+1 ~x172212+4 x433+2 x432+1 x431+4 ~x367+2 ~x366+1 ~x365+7 x305-0=23
5.28/5.39	c 8 ~x172529+4 ~x172528+2 ~x172527+1 ~x172526+4 x451+2 x450+1 x449+4 ~x367+2 ~x366+1 ~x365+7 x306-0=23
5.28/5.39	c 8 ~x172843+4 ~x172842+2 ~x172841+1 ~x172840+4 x400+2 x399+1 x398+4 ~x385+2 ~x384+1 ~x383+7 x307-0=23
5.38/5.42	c 8 ~x173157+4 ~x173156+2 ~x173155+1 ~x173154+4 x418+2 x417+1 x416+4 ~x385+2 ~x384+1 ~x383+7 x308-0=23
5.38/5.42	c 8 ~x173471+4 ~x173470+2 ~x173469+1 ~x173468+4 x433+2 x432+1 x431+4 ~x385+2 ~x384+1 ~x383+7 x309-0=23
5.38/5.42	c 8 ~x173785+4 ~x173784+2 ~x173783+1 ~x173782+4 x451+2 x450+1 x449+4 ~x385+2 ~x384+1 ~x383+7 x310-0=23
5.38/5.44	c 8 ~x174099+4 ~x174098+2 ~x174097+1 ~x174096+4 x418+2 x417+1 x416+4 ~x400+2 ~x399+1 ~x398+7 x311-0=23
5.38/5.44	c 8 ~x174413+4 ~x174412+2 ~x174411+1 ~x174410+4 x433+2 x432+1 x431+4 ~x400+2 ~x399+1 ~x398+7 x312-0=23
5.38/5.47	c 8 ~x174727+4 ~x174726+2 ~x174725+1 ~x174724+4 x451+2 x450+1 x449+4 ~x400+2 ~x399+1 ~x398+7 x313-0=23
5.38/5.47	c 8 ~x175041+4 ~x175040+2 ~x175039+1 ~x175038+4 x433+2 x432+1 x431+4 ~x418+2 ~x417+1 ~x416+7 x314-0=23
5.38/5.47	c 8 ~x175355+4 ~x175354+2 ~x175353+1 ~x175352+4 x451+2 x450+1 x449+4 ~x418+2 ~x417+1 ~x416+7 x315-0=23
5.38/5.49	c 8 ~x175669+4 ~x175668+2 ~x175667+1 ~x175666+4 x451+2 x450+1 x449+4 ~x433+2 ~x432+1 ~x431+7 x316-0=23
5.38/5.49	c 8 ~x175983+4 ~x175982+2 ~x175981+1 ~x175980+4 x370+2 x369+1 x368+4 ~x358+2 ~x357+1 ~x356+7 x317-0=23
5.48/5.51	c 8 ~x176297+4 ~x176296+2 ~x176295+1 ~x176294+4 x391+2 x390+1 x389+4 ~x358+2 ~x357+1 ~x356+7 x318-0=23
5.48/5.51	c 8 ~x176611+4 ~x176610+2 ~x176609+1 ~x176608+4 x403+2 x402+1 x401+4 ~x358+2 ~x357+1 ~x356+7 x319-0=23
5.48/5.51	c 8 ~x176925+4 ~x176924+2 ~x176923+1 ~x176922+4 x424+2 x423+1 x422+4 ~x358+2 ~x357+1 ~x356+7 x320-0=23
5.48/5.53	c 8 ~x177239+4 ~x177238+2 ~x177237+1 ~x177236+4 x436+2 x435+1 x434+4 ~x358+2 ~x357+1 ~x356+7 x321-0=23
5.48/5.53	c 8 ~x177553+4 ~x177552+2 ~x177551+1 ~x177550+4 x457+2 x456+1 x455+4 ~x358+2 ~x357+1 ~x356+7 x322-0=23
5.48/5.56	c 8 ~x177867+4 ~x177866+2 ~x177865+1 ~x177864+4 x391+2 x390+1 x389+4 ~x370+2 ~x369+1 ~x368+7 x323-0=23
5.48/5.56	c 8 ~x178181+4 ~x178180+2 ~x178179+1 ~x178178+4 x403+2 x402+1 x401+4 ~x370+2 ~x369+1 ~x368+7 x324-0=23
5.48/5.56	c 8 ~x178495+4 ~x178494+2 ~x178493+1 ~x178492+4 x424+2 x423+1 x422+4 ~x370+2 ~x369+1 ~x368+7 x325-0=23
5.48/5.58	c 8 ~x178809+4 ~x178808+2 ~x178807+1 ~x178806+4 x436+2 x435+1 x434+4 ~x370+2 ~x369+1 ~x368+7 x326-0=23
5.48/5.58	c 8 ~x179123+4 ~x179122+2 ~x179121+1 ~x179120+4 x457+2 x456+1 x455+4 ~x370+2 ~x369+1 ~x368+7 x327-0=23
5.58/5.60	c 8 ~x179437+4 ~x179436+2 ~x179435+1 ~x179434+4 x403+2 x402+1 x401+4 ~x391+2 ~x390+1 ~x389+7 x328-0=23
5.58/5.60	c 8 ~x179751+4 ~x179750+2 ~x179749+1 ~x179748+4 x424+2 x423+1 x422+4 ~x391+2 ~x390+1 ~x389+7 x329-0=23
5.58/5.60	c 8 ~x180065+4 ~x180064+2 ~x180063+1 ~x180062+4 x436+2 x435+1 x434+4 ~x391+2 ~x390+1 ~x389+7 x330-0=23
5.58/5.62	c 8 ~x180379+4 ~x180378+2 ~x180377+1 ~x180376+4 x457+2 x456+1 x455+4 ~x391+2 ~x390+1 ~x389+7 x331-0=23
5.58/5.62	c 8 ~x180693+4 ~x180692+2 ~x180691+1 ~x180690+4 x424+2 x423+1 x422+4 ~x403+2 ~x402+1 ~x401+7 x332-0=23
5.58/5.65	c 8 ~x181007+4 ~x181006+2 ~x181005+1 ~x181004+4 x436+2 x435+1 x434+4 ~x403+2 ~x402+1 ~x401+7 x333-0=23
5.58/5.65	c 8 ~x181321+4 ~x181320+2 ~x181319+1 ~x181318+4 x457+2 x456+1 x455+4 ~x403+2 ~x402+1 ~x401+7 x334-0=23
5.58/5.65	c 8 ~x181635+4 ~x181634+2 ~x181633+1 ~x181632+4 x436+2 x435+1 x434+4 ~x424+2 ~x423+1 ~x422+7 x335-0=23
5.58/5.67	c 8 ~x181949+4 ~x181948+2 ~x181947+1 ~x181946+4 x457+2 x456+1 x455+4 ~x424+2 ~x423+1 ~x422+7 x336-0=23
5.58/5.67	c 8 ~x182263+4 ~x182262+2 ~x182261+1 ~x182260+4 x457+2 x456+1 x455+4 ~

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-2674040-1276792598/watcher-2674040-1276792598 -o /tmp/evaluation-result-2674040-1276792598/solver-2674040-1276792598 -C 1800 -W 2000 -M 1800 run HOME/instance-2674040-1276792598.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: 1.00 1.00 1.00 3/106 17348
/proc/meminfo: memFree=1826220/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0

[startup+0.0999119 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17348
/proc/meminfo: memFree=1826220/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100902 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17348
/proc/meminfo: memFree=1826220/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300929 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17348
/proc/meminfo: memFree=1826220/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70096 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17348
/proc/meminfo: memFree=1826220/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17351
/proc/meminfo: memFree=1735312/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=102860 CPUtime=1.48
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 24941 0 0 0 124 24 0 0 25 0 1 0 54861141 105328640 24821 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063838 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 25715 24821 262 96 0 24927 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 111560

[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17351
/proc/meminfo: memFree=1718944/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=126224 CPUtime=3.08
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 30656 0 0 0 282 26 0 0 25 0 1 0 54861141 129253376 30464 1992294400 134512640 134902295 4293521392 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 31556 30464 262 96 0 30768 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 134924

[startup+6.30047 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17351
/proc/meminfo: memFree=1670584/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=167956 CPUtime=6.28
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 43008 0 0 0 597 31 0 0 25 0 1 0 54861141 171986944 40768 1992294400 134512640 134902295 4293521392 18446744073709551615 4160052350 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 41989 40768 262 96 0 41201 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 176656

[startup+12.7021 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17351
/proc/meminfo: memFree=1662772/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=168208 CPUtime=12.68
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 43065 0 0 0 1237 31 0 0 25 0 1 0 54861141 172244992 40825 1992294400 134512640 134902295 4293521392 18446744073709551615 4160057081 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 42052 40825 269 96 0 41264 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 176908

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17353
/proc/meminfo: memFree=1662152/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=168888 CPUtime=25.48
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 43214 0 0 0 2517 31 0 0 25 0 1 0 54861141 172941312 40974 1992294400 134512640 134902295 4293521392 18446744073709551615 4160052057 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 42222 40974 269 96 0 41434 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 177588

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17353
/proc/meminfo: memFree=1661036/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=170124 CPUtime=51.07
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 43530 0 0 0 5076 31 0 0 25 0 1 0 54861141 174206976 41290 1992294400 134512640 134902295 4293521392 18446744073709551615 4160068962 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 42531 41290 269 96 0 41743 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 178824

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17355
/proc/meminfo: memFree=1658184/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=172960 CPUtime=102.26
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 44187 0 0 0 10194 32 0 0 25 0 1 0 54861141 177111040 41947 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063965 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 43240 41947 269 96 0 42452 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 181660

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17355
/proc/meminfo: memFree=1655828/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=175268 CPUtime=162.24
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 44753 0 0 0 16192 32 0 0 25 0 1 0 54861141 179474432 42513 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063970 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 43817 42513 269 96 0 43029 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 183968

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17357
/proc/meminfo: memFree=1653348/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=177496 CPUtime=222.23
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 45325 0 0 0 22190 33 0 0 25 0 1 0 54861141 181755904 43085 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 44374 43085 269 96 0 43586 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 186196

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17359
/proc/meminfo: memFree=1651488/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=179600 CPUtime=282.21
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 45821 0 0 0 28188 33 0 0 25 0 1 0 54861141 183910400 43581 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 44900 43581 269 96 0 44112 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 188300

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17361
/proc/meminfo: memFree=1649008/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=182076 CPUtime=342.19
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 46426 0 0 0 34185 34 0 0 25 0 1 0 54861141 186445824 44186 1992294400 134512640 134902295 4293521392 18446744073709551615 4160064365 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 45519 44186 269 96 0 44731 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 190776

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17363
/proc/meminfo: memFree=1646900/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=184024 CPUtime=402.18
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 46919 0 0 0 40183 35 0 0 25 0 1 0 54861141 188440576 44679 1992294400 134512640 134902295 4293521392 18446744073709551615 4160068607 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 46006 44679 269 96 0 45218 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 192724

[startup+462.301 s]

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

/proc/17350/statm: 51126 49564 269 96 0 50338 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 213204

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17385
/proc/meminfo: memFree=1625076/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=205828 CPUtime=1241.97
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 52181 0 0 0 124157 40 0 0 25 0 1 0 54861141 210767872 49941 1992294400 134512640 134902295 4293521392 18446744073709551615 4160045547 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 51457 49941 269 96 0 50669 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 214528

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17387
/proc/meminfo: memFree=1623464/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=207476 CPUtime=1301.97
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 52553 0 0 0 130156 41 0 0 25 0 1 0 54861141 212455424 50313 1992294400 134512640 134902295 4293521392 18446744073709551615 4160066448 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 51869 50313 269 96 0 51081 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 216176

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17387
/proc/meminfo: memFree=1622100/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=208780 CPUtime=1361.95
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 52888 0 0 0 136153 42 0 0 25 0 1 0 54861141 213790720 50648 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 52195 50648 269 96 0 51407 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 217480

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17389
/proc/meminfo: memFree=1620736/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=210128 CPUtime=1421.94
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 53231 0 0 0 142152 42 0 0 25 0 1 0 54861141 215171072 50991 1992294400 134512640 134902295 4293521392 18446744073709551615 4160033391 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 52532 50991 269 96 0 51744 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 218828

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17400
/proc/meminfo: memFree=1618752/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=211348 CPUtime=1481.9
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 53547 0 0 0 148148 42 0 0 25 0 1 0 54861141 216420352 51307 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063757 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 52837 51307 269 96 0 52049 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 220048

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17402
/proc/meminfo: memFree=1618008/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=212392 CPUtime=1541.89
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 53827 0 0 0 154146 43 0 0 25 0 1 0 54861141 217489408 51587 1992294400 134512640 134902295 4293521392 18446744073709551615 4160052102 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 53098 51587 269 96 0 52310 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 221092

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 17404
/proc/meminfo: memFree=1616644/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=213728 CPUtime=1601.87
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 54161 0 0 0 160144 43 0 0 25 0 1 0 54861141 218857472 51921 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 53432 51921 269 96 0 52644 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 222428

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17404
/proc/meminfo: memFree=1615528/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=214944 CPUtime=1661.86
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 54461 0 0 0 166143 43 0 0 25 0 1 0 54861141 220102656 52221 1992294400 134512640 134902295 4293521392 18446744073709551615 4160052329 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 53736 52221 269 96 0 52948 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 223644

[startup+1722.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 17406
/proc/meminfo: memFree=1614412/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=216136 CPUtime=1721.84
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 54735 0 0 0 172141 43 0 0 25 0 1 0 54861141 221323264 52495 1992294400 134512640 134902295 4293521392 18446744073709551615 4160066557 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 54034 52495 269 96 0 53246 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 224836

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 17408
/proc/meminfo: memFree=1613048/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=217388 CPUtime=1781.83
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 55057 0 0 0 178139 44 0 0 25 0 1 0 54861141 222605312 52817 1992294400 134512640 134902295 4293521392 18446744073709551615 4160052220 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 54347 52817 269 96 0 53559 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 226088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 17408
/proc/meminfo: memFree=1612800/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=217652 CPUtime=1800.03
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 55128 0 0 0 179959 44 0 0 25 0 1 0 54861141 222875648 52888 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 54413 52888 269 96 0 53625 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 226352

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

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

[startup+1800.5 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 17408
/proc/meminfo: memFree=1612800/2059040 swapFree=4135436/4192956
[pid=17348] ppid=17346 vsize=8700 CPUtime=0
/proc/17348/stat : 17348 (run) S 17346 17348 16845 0 -1 4202496 391 134 0 0 0 0 0 0 18 0 1 0 54861141 8908800 251 1992294400 4194304 4922060 140736537875616 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17348/statm: 2175 251 211 178 0 68 0
[pid=17350] ppid=17348 vsize=217652 CPUtime=1800.03
/proc/17350/stat : 17350 (PBPASSolver) R 17348 17348 16845 0 -1 4202496 55128 0 0 0 179959 44 0 0 25 0 1 0 54861141 222875648 52888 1992294400 134512640 134902295 4293521392 18446744073709551615 4160063614 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17350/statm: 54413 52888 269 96 0 53625 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 226352

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.52
CPU time (s): 1800.03
CPU user time (s): 1799.59
CPU system time (s): 0.44
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 226352

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

runsolver used 2.91056 second user time and 8.58569 second system time

The end

Begin job on node015 at 2010-06-17 18:36:38
IDJOB=2674040
IDBENCH=1844
IDSOLVER=1174
FILE ID=node015/2674040-1276792598
PBS_JOBID= 11176575
Free space on /tmp= 62580 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-neos16.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674040-1276792598/watcher-2674040-1276792598 -o /tmp/evaluation-result-2674040-1276792598/solver-2674040-1276792598 -C 1800 -W 2000 -M 1800  run HOME/instance-2674040-1276792598.opb

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

MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731
RANDOM SEED=995704679

node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1826616 kB
Buffers:         54344 kB
Cached:          85636 kB
SwapCached:      10552 kB
Active:          68672 kB
Inactive:        84776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1826616 kB
SwapTotal:     4192956 kB
SwapFree:      4135436 kB
Dirty:             764 kB
Writeback:           4 kB
AnonPages:       11992 kB
Mapped:           9124 kB
Slab:            57096 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182768 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node015 at 2010-06-17 19:06:41