8.48/8.51	c 4622 12569 0 0 0 0 0 0
8.48/8.51	c 32 ~x16381+16 ~x16380+8 ~x16379+4 ~x16378+2 ~x16377+1 ~x16376+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
8.48/8.51	c 16 ~x17000+8 ~x16999+4 ~x16998+2 ~x16997+1 ~x16996+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
8.48/8.57	c 16 ~x17514+8 ~x17513+4 ~x17512+2 ~x17511+1 ~x17510+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
8.48/8.57	c 16 ~x18028+8 ~x18027+4 ~x18026+2 ~x18025+1 ~x18024+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
8.48/8.57	c 32 ~x18543+16 ~x18542+8 ~x18541+4 ~x18540+2 ~x18539+1 ~x18538+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
8.58/8.60	c 32 ~x19163+16 ~x19162+8 ~x19161+4 ~x19160+2 ~x19159+1 ~x19158+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
8.58/8.60	c 32 ~x19783+16 ~x19782+8 ~x19781+4 ~x19780+2 ~x19779+1 ~x19778+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
8.58/8.63	c 16 ~x20402+8 ~x20401+4 ~x20400+2 ~x20399+1 ~x20398+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
8.58/8.63	c 8 ~x20915+4 ~x20914+2 ~x20913+1 ~x20912+1 ~x30+2 ~x29+4 ~x28+8 ~x27+1 x26+2 x25+4 x24+8 x23-0=30
8.58/8.65	c 8 ~x21293+4 ~x21292+2 ~x21291+1 ~x21290+1 x30+2 x29+4 x28+8 x27+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=30
8.58/8.65	c 16 ~x21672+8 ~x21671+4 ~x21670+2 ~x21669+1 ~x21668+1 x30+2 x29+4 x28+8 x27+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=47
8.58/8.67	c 16 ~x22096+8 ~x22095+4 ~x22094+2 ~x22093+1 ~x22092+1 ~x30+2 ~x29+4 ~x28+8 ~x27+1 x26+2 x25+4 x24+8 x23-0=47
8.58/8.67	c 32 ~x22521+16 ~x22520+8 ~x22519+4 ~x22518+2 ~x22517+1 ~x22516+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
8.69/8.71	c 16 ~x23140+8 ~x23139+4 ~x23138+2 ~x23137+1 ~x23136+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
8.69/8.71	c 8 ~x23653+4 ~x23652+2 ~x23651+1 ~x23650+1 ~x37+2 ~x36+4 ~x35+8 ~x34+1 x30+2 x29+4 x28+8 x27-0=30
8.69/8.71	c 8 ~x24031+4 ~x24030+2 ~x24029+1 ~x24028+1 x37+2 x36+4 x35+8 x34+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
8.69/8.73	c 16 ~x24410+8 ~x24409+4 ~x24408+2 ~x24407+1 ~x24406+1 x37+2 x36+4 x35+8 x34+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
8.69/8.73	c 16 ~x24834+8 ~x24833+4 ~x24832+2 ~x24831+1 ~x24830+1 ~x37+2 ~x36+4 ~x35+8 ~x34+1 x30+2 x29+4 x28+8 x27-0=47
8.69/8.75	c 32 ~x25259+16 ~x25258+8 ~x25257+4 ~x25256+2 ~x25255+1 ~x25254+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
8.69/8.75	c 16 ~x25878+8 ~x25877+4 ~x25876+2 ~x25875+1 ~x25874+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
8.69/8.78	c 16 ~x26392+8 ~x26391+4 ~x26390+2 ~x26389+1 ~x26388+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
8.69/8.78	c 16 ~x26906+8 ~x26905+4 ~x26904+2 ~x26903+1 ~x26902+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
8.79/8.81	c 32 ~x27421+16 ~x27420+8 ~x27419+4 ~x27418+2 ~x27417+1 ~x27416+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
8.79/8.81	c 32 ~x28041+16 ~x28040+8 ~x28039+4 ~x28038+2 ~x28037+1 ~x28036+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
8.79/8.84	c 32 ~x28661+16 ~x28660+8 ~x28659+4 ~x28658+2 ~x28657+1 ~x28656+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x20+2 x19+4 x18+8 x17+16 x16-0=95
8.79/8.84	c 16 ~x29280+8 ~x29279+4 ~x29278+2 ~x29277+1 ~x29276+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16-0=62
8.79/8.87	c 32 ~x29795+16 ~x29794+8 ~x29793+4 ~x29792+2 ~x29791+1 ~x29790+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
8.79/8.87	c 16 ~x30414+8 ~x30413+4 ~x30412+2 ~x30411+1 ~x30410+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
8.79/8.89	c 16 ~x30928+8 ~x30927+4 ~x30926+2 ~x30925+1 ~x30924+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
8.79/8.89	c 32 ~x31443+16 ~x31442+8 ~x31441+4 ~x31440+2 ~x31439+1 ~x31438+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
8.89/8.92	c 32 ~x32063+16 ~x32062+8 ~x32061+4 ~x32060+2 ~x32059+1 ~x32058+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
8.89/8.92	c 16 ~x32682+8 ~x32681+4 ~x32680+2 ~x32679+1 ~x32678+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
8.89/8.96	c 8 ~x33195+4 ~x33194+2 ~x33193+1 ~x33192+1 ~x55+2 ~x54+4 ~x53+8 ~x52+1 x30+2 x29+4 x28+8 x27-0=30
8.89/8.96	c 8 ~x33573+4 ~x33572+2 ~x33571+1 ~x33570+1 x55+2 x54+4 x53+8 x52+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
8.89/8.96	c 16 ~x33952+8 ~x33951+4 ~x33950+2 ~x33949+1 ~x33948+1 x55+2 x54+4 x53+8 x52+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
8.89/8.98	c 16 ~x34376+8 ~x34375+4 ~x34374+2 ~x34373+1 ~x34372+1 ~x55+2 ~x54+4 ~x53+8 ~x52+1 x30+2 x29+4 x28+8 x27-0=47
8.89/8.98	c 8 ~x34799+4 ~x34798+2 ~x34797+1 ~x34796+1 ~x37+2 ~x36+4 ~x35+8 ~x34+1 x26+2 x25+4 x24+8 x23-0=30
8.98/9.01	c 8 ~x35177+4 ~x35176+2 ~x35175+1 ~x35174+1 x37+2 x36+4 x35+8 x34+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=30
8.98/9.01	c 16 ~x35556+8 ~x35555+4 ~x35554+2 ~x35553+1 ~x35552+1 x37+2 x36+4 x35+8 x34+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=47
8.98/9.01	c 16 ~x35980+8 ~x35979+4 ~x35978+2 ~x35977+1 ~x35976+1 ~x37+2 ~x36+4 ~x35+8 ~x34+1 x26+2 x25+4 x24+8 x23-0=47
8.98/9.03	c 8 ~x36403+4 ~x36402+2 ~x36401+1 ~x36400+1 ~x55+2 ~x54+4 ~x53+8 ~x52+1 x26+2 x25+4 x24+8 x23-0=30
8.98/9.03	c 8 ~x36781+4 ~x36780+2 ~x36779+1 ~x36778+1 x55+2 x54+4 x53+8 x52+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=30
8.98/9.05	c 16 ~x37160+8 ~x37159+4 ~x37158+2 ~x37157+1 ~x37156+1 x55+2 x54+4 x53+8 x52+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=47
8.98/9.05	c 16 ~x37584+8 ~x37583+4 ~x37582+2 ~x37581+1 ~x37580+1 ~x55+2 ~x54+4 ~x53+8 ~x52+1 x26+2 x25+4 x24+8 x23-0=47
8.98/9.08	c 8 ~x38007+4 ~x38006+2 ~x38005+1 ~x38004+1 ~x55+2 ~x54+4 ~x53+8 ~x52+1 x37+2 x36+4 x35+8 x34-0=30
8.98/9.08	c 8 ~x38385+4 ~x38384+2 ~x38383+1 ~x38382+1 x55+2 x54+4 x53+8 x52+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=30
8.98/9.08	c 16 ~x38764+8 ~x38763+4 ~x38762+2 ~x38761+1 ~x38760+1 x55+2 x54+4 x53+8 x52+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=47
9.09/9.11	c 16 ~x39188+8 ~x39187+4 ~x39186+2 ~x39185+1 ~x39184+1 ~x55+2 ~x54+4 ~x53+8 ~x52+1 x37+2 x36+4 x35+8 x34-0=47
9.09/9.11	c 32 ~x39613+16 ~x39612+8 ~x39611+4 ~x39610+2 ~x39609+1 ~x39608+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
9.09/9.13	c 16 ~x40232+8 ~x40231+4 ~x40230+2 ~x40229+1 ~x40228+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
9.09/9.13	c 32 ~x40747+16 ~x40746+8 ~x40745+4 ~x40744+2 ~x40743+1 ~x40742+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
9.09/9.16	c 16 ~x41366+8 ~x41365+4 ~x41364+2 ~x41363+1 ~x41362+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
9.09/9.16	c 32 ~x41881+16 ~x41880+8 ~x41879+4 ~x41878+2 ~x41877+1 ~x41876+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
9.09/9.19	c 16 ~x42500+8 ~x42499+4 ~x42498+2 ~x42497+1 ~x42496+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
9.09/9.19	c 16 ~x43014+8 ~x43013+4 ~x43012+2 ~x43011+1 ~x43010+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
9.19/9.22	c 32 ~x43529+16 ~x43528+8 ~x43527+4 ~x43526+2 ~x43525+1 ~x43524+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
9.19/9.22	c 32 ~x44149+16 ~x44148+8 ~x44147+4 ~x44146+2 ~x44145+1 ~x44144+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
9.19/9.27	c 16 ~x44768+8 ~x44767+4 ~x44766+2 ~x44765+1 ~x44764+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
9.19/9.27	c 16 ~x45282+8 ~x45281+4 ~x45280+2 ~x45279+1 ~x45278+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
9.19/9.29	c 32 ~x45797+16 ~x45796+8 ~x45795+4 ~x45794+2 ~x45793+1 ~x45792+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
9.19/9.29	c 32 ~x46417+16 ~x46416+8 ~x46415+4 ~x46414+2 ~x46413+1 ~x46412+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
9.29/9.33	c 16 ~x47036+8 ~x47035+4 ~x47034+2 ~x47033+1 ~x47032+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
9.29/9.33	c 32 ~x47551+16 ~x47550+8 ~x47549+4 ~x47548+2 ~x47547+1 ~x47546+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x20+2 x19+4 x18+8 x17+16 x16-0=95
9.39/9.42	c 16 ~x48170+8 ~x48169+4 ~x48168+2 ~x48167+1 ~x48166+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16-0=62
9.39/9.42	c 32 ~x48685+16 ~x48684+8 ~x48683+4 ~x48682+2 ~x48681+1 ~x48680+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
9.49/9.57	c 16 ~x49304+8 ~x49303+4 ~x49302+2 ~x49301+1 ~x49300+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
9.49/9.57	c 16 ~x49818+8 ~x49817+4 ~x49816+2 ~x49815+1 ~x49814+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
9.49/9.57	c 32 ~x50333+16 ~x50332+8 ~x50331+4 ~x50330+2 ~x50329+1 ~x50328+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
9.59/9.67	c 32 ~x50953+16 ~x50952+8 ~x50951+4 ~x50950+2 ~x50949+1 ~x50948+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
9.59/9.67	c 16 ~x51572+8 ~x51571+4 ~x51570+2 ~x51569+1 ~x51568+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
9.69/9.75	c 8 ~x52085+4 ~x52084+2 ~x52083+1 ~x52082+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x30+2 x29+4 x28+8 x27-0=30
9.69/9.75	c 8 ~x52463+4 ~x52462+2 ~x52461+1 ~x52460+1 x83+2 x82+4 x81+8 x80+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
9.79/9.83	c 16 ~x52842+8 ~x52841+4 ~x52840+2 ~x52839+1 ~x52838+1 x83+2 x82+4 x81+8 x80+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
9.79/9.83	c 16 ~x53266+8 ~x53265+4 ~x53264+2 ~x53263+1 ~x53262+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x30+2 x29+4 x28+8 x27-0=47
9.79/9.87	c 8 ~x53689+4 ~x53688+2 ~x53687+1 ~x53686+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x26+2 x25+4 x24+8 x23-0=30
9.79/9.87	c 8 ~x54067+4 ~x54066+2 ~x54065+1 ~x54064+1 x83+2 x82+4 x81+8 x80+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=30
9.79/9.87	c 16 ~x54446+8 ~x54445+4 ~x54444+2 ~x54443+1 ~x54442+1 x83+2 x82+4 x81+8 x80+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=47
9.79/9.89	c 16 ~x54870+8 ~x54869+4 ~x54868+2 ~x54867+1 ~x54866+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x26+2 x25+4 x24+8 x23-0=47
9.79/9.89	c 8 ~x55293+4 ~x55292+2 ~x55291+1 ~x55290+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x37+2 x36+4 x35+8 x34-0=30
9.89/9.92	c 8 ~x55671+4 ~x55670+2 ~x55669+1 ~x55668+1 x83+2 x82+4 x81+8 x80+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=30
9.89/9.92	c 16 ~x56050+8 ~x56049+4 ~x56048+2 ~x56047+1 ~x56046+1 x83+2 x82+4 x81+8 x80+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=47
9.89/9.92	c 16 ~x56474+8 ~x56473+4 ~x56472+2 ~x56471+1 ~x56470+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x37+2 x36+4 x35+8 x34-0=47
9.89/9.94	c 8 ~x56897+4 ~x56896+2 ~x56895+1 ~x56894+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x55+2 x54+4 x53+8 x52-0=30
9.89/9.94	c 8 ~x57275+4 ~x57274+2 ~x57273+1 ~x57272+1 x83+2 x82+4 x81+8 x80+1 ~x55+2 ~x54+4 ~x53+8 ~x52-0=30
9.89/9.98	c 16 ~x57654+8 ~x57653+4 ~x57652+2 ~x57651+1 ~x57650+1 x83+2 x82+4 x81+8 x80+1 ~x55+2 ~x54+4 ~x53+8 ~x52-0=47
9.89/9.98	c 16 ~x58078+8 ~x58077+4 ~x58076+2 ~x58075+1 ~x58074+1 ~x83+2 ~x82+4 ~x81+8 ~x80+1 x55+2 x54+4 x53+8 x52-0=47
9.89/9.98	c 32 ~x58503+16 ~x58502+8 ~x58501+4 ~x58500+2 ~x58499+1 ~x58498+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
9.89/10.00	c 16 ~x59122+8 ~x59121+4 ~x59120+2 ~x59119+1 ~x59118+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
9.89/10.00	c 32 ~x59637+16 ~x59636+8 ~x59635+4 ~x59634+2 ~x59633+1 ~x59632+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
9.99/10.03	c 16 ~x60256+8 ~x60255+4 ~x60254+2 ~x60253+1 ~x60252+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
9.99/10.03	c 32 ~x60771+16 ~x60770+8 ~x60769+4 ~x60768+2 ~x60767+1 ~x60766+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
9.99/10.06	c 16 ~x61390+8 ~x61389+4 ~x61388+2 ~x61387+1 ~x61386+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
9.99/10.06	c 32 ~x61905+16 ~x61904+8 ~x61903+4 ~x61902+2 ~x61901+1 ~x61900+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
9.99/10.09	c 16 ~x62524+8 ~x62523+4 ~x62522+2 ~x62521+1 ~x62520+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
9.99/10.09	c 16 ~x63038+8 ~x63037+4 ~x63036+2 ~x63035+1 ~x63034+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
10.08/10.12	c 32 ~x63553+16 ~x63552+8 ~x63551+4 ~x63550+2 ~x63549+1 ~x63548+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
10.08/10.12	c 32 ~x64173+16 ~x64172+8 ~x64171+4 ~x64170+2 ~x64169+1 ~x64168+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
10.08/10.14	c 16 ~x64792+8 ~x64791+4 ~x64790+2 ~x64789+1 ~x64788+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
10.08/10.14	c 16 ~x65306+8 ~x65305+4 ~x65304+2 ~x65303+1 ~x65302+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
10.08/10.17	c 32 ~x65821+16 ~x65820+8 ~x65819+4 ~x65818+2 ~x65817+1 ~x65816+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
10.08/10.17	c 32 ~x66441+16 ~x66440+8 ~x66439+4 ~x66438+2 ~x66437+1 ~x66436+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
10.18/10.20	c 16 ~x67060+8 ~x67059+4 ~x67058+2 ~x67057+1 ~x67056+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
10.18/10.20	c 16 ~x67574+8 ~x67573+4 ~x67572+2 ~x67571+1 ~x67570+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
10.18/10.23	c 32 ~x68089+16 ~x68088+8 ~x68087+4 ~x68086+2 ~x68085+1 ~x68084+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
10.18/10.23	c 32 ~x68709+16 ~x68708+8 ~x68707+4 ~x68706+2 ~x68705+1 ~x68704+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
10.18/10.26	c 16 ~x69328+8 ~x69327+4 ~x69326+2 ~x69325+1 ~x69324+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
10.18/10.26	c 32 ~x69843+16 ~x69842+8 ~x69841+4 ~x69840+2 ~x69839+1 ~x69838+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x20+2 x19+4 x18+8 x17+16 x16-0=95
10.18/10.29	c 16 ~x70462+8 ~x70461+4 ~x70460+2 ~x70459+1 ~x70458+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16-0=62
10.18/10.29	c 16 ~x70976+8 ~x70975+4 ~x70974+2 ~x70973+1 ~x70972+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
10.28/10.32	c 16 ~x71490+8 ~x71489+4 ~x71488+2 ~x71487+1 ~x71486+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.28/10.32	c 32 ~x72005+16 ~x72004+8 ~x72003+4 ~x72002+2 ~x72001+1 ~x72000+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
10.28/10.35	c 32 ~x72625+16 ~x72624+8 ~x72623+4 ~x72622+2 ~x72621+1 ~x72620+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.28/10.35	c 16 ~x73244+8 ~x73243+4 ~x73242+2 ~x73241+1 ~x73240+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
10.28/10.37	c 32 ~x73759+16 ~x73758+8 ~x73757+4 ~x73756+2 ~x73755+1 ~x73754+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
10.28/10.37	c 32 ~x74379+16 ~x74378+8 ~x74377+4 ~x74376+2 ~x74375+1 ~x74374+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
10.38/10.40	c 16 ~x74998+8 ~x74997+4 ~x74996+2 ~x74995+1 ~x74994+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
10.38/10.40	c 16 ~x75512+8 ~x75511+4 ~x75510+2 ~x75509+1 ~x75508+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
10.38/10.43	c 32 ~x76027+16 ~x76026+8 ~x76025+4 ~x76024+2 ~x76023+1 ~x76022+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
10.38/10.43	c 32 ~x76647+16 ~x76646+8 ~x76645+4 ~x76644+2 ~x76643+1 ~x76642+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.38/10.46	c 16 ~x77266+8 ~x77265+4 ~x77264+2 ~x77263+1 ~x77262+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.38/10.46	c 16 ~x77780+8 ~x77779+4 ~x77778+2 ~x77777+1 ~x77776+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.38/10.48	c 16 ~x78294+8 ~x78293+4 ~x78292+2 ~x78291+1 ~x78290+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
10.38/10.48	c 32 ~x78809+16 ~x78808+8 ~x78807+4 ~x78806+2 ~x78805+1 ~x78804+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.49/10.51	c 32 ~x79429+16 ~x79428+8 ~x79427+4 ~x79426+2 ~x79425+1 ~x79424+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
10.49/10.51	c 32 ~x80049+16 ~x80048+8 ~x80047+4 ~x80046+2 ~x80045+1 ~x80044+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
10.49/10.54	c 16 ~x80668+8 ~x80667+4 ~x80666+2 ~x80665+1 ~x80664+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
10.49/10.54	c 32 ~x81183+16 ~x81182+8 ~x81181+4 ~x81180+2 ~x81179+1 ~x81178+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.49/10.57	c 16 ~x81802+8 ~x81801+4 ~x81800+2 ~x81799+1 ~x81798+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.49/10.57	c 16 ~x82316+8 ~x82315+4 ~x82314+2 ~x82313+1 ~x82312+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.59/10.60	c 16 ~x82830+8 ~x82829+4 ~x82828+2 ~x82827+1 ~x82826+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
10.59/10.60	c 32 ~x83345+16 ~x83344+8 ~x83343+4 ~x83342+2 ~x83341+1 ~x83340+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.59/10.63	c 32 ~x83965+16 ~x83964+8 ~x83963+4 ~x83962+2 ~x83961+1 ~x83960+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
10.59/10.63	c 32 ~x84585+16 ~x84584+8 ~x84583+4 ~x84582+2 ~x84581+1 ~x84580+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
10.59/10.66	c 16 ~x85204+8 ~x85203+4 ~x85202+2 ~x85201+1 ~x85200+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
10.59/10.66	c 16 ~x85718+8 ~x85717+4 ~x85716+2 ~x85715+1 ~x85714+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=62
10.59/10.69	c 16 ~x86232+8 ~x86231+4 ~x86230+2 ~x86229+1 ~x86228+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x116+2 x115+4 x114+8 x113+16 x112-0=62
10.59/10.69	c 32 ~x86747+16 ~x86746+8 ~x86745+4 ~x86744+2 ~x86743+1 ~x86742+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x116+2 x115+4 x114+8 x113+16 x112-0=95
10.68/10.70	c 32 ~x87367+16 ~x87366+8 ~x87365+4 ~x87364+2 ~x87363+1 ~x87362+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=95
10.68/10.73	c 32 ~x87987+16 ~x87986+8 ~x87985+4 ~x87984+2 ~x87983+1 ~x87982+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.68/10.73	c 16 ~x88606+8 ~x88605+4 ~x88604+2 ~x88603+1 ~x88602+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.68/10.76	c 16 ~x89120+8 ~x89119+4 ~x89118+2 ~x89117+1 ~x89116+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.68/10.76	c 16 ~x89634+8 ~x89633+4 ~x89632+2 ~x89631+1 ~x89630+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
10.68/10.79	c 32 ~x90149+16 ~x90148+8 ~x90147+4 ~x90146+2 ~x90145+1 ~x90144+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.68/10.79	c 32 ~x90769+16 ~x90768+8 ~x90767+4 ~x90766+2 ~x90765+1 ~x90764+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
10.79/10.81	c 16 ~x91388+8 ~x91387+4 ~x91386+2 ~x91385+1 ~x91384+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.79/10.81	c 32 ~x91903+16 ~x91902+8 ~x91901+4 ~x91900+2 ~x91899+1 ~x91898+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.79/10.84	c 16 ~x92522+8 ~x92521+4 ~x92520+2 ~x92519+1 ~x92518+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=62
10.79/10.84	c 16 ~x93036+8 ~x93035+4 ~x93034+2 ~x93033+1 ~x93032+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x116+2 x115+4 x114+8 x113+16 x112-0=62
10.79/10.87	c 32 ~x93551+16 ~x93550+8 ~x93549+4 ~x93548+2 ~x93547+1 ~x93546+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x116+2 x115+4 x114+8 x113+16 x112-0=95
10.79/10.87	c 32 ~x94171+16 ~x94170+8 ~x94169+4 ~x94168+2 ~x94167+1 ~x94166+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=95
10.89/10.90	c 16 ~x94790+8 ~x94789+4 ~x94788+2 ~x94787+1 ~x94786+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=62
10.89/10.90	c 16 ~x95304+8 ~x95303+4 ~x95302+2 ~x95301+1 ~x95300+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x125+2 x124+4 x123+8 x122+16 x121-0=62
10.89/10.93	c 32 ~x95819+16 ~x95818+8 ~x95817+4 ~x95816+2 ~x95815+1 ~x95814+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x125+2 x124+4 x123+8 x122+16 x121-0=95
10.89/10.93	c 32 ~x96439+16 ~x96438+8 ~x96437+4 ~x96436+2 ~x96435+1 ~x96434+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=95
10.89/10.94	c 32 ~x97059+16 ~x97058+8 ~x97057+4 ~x97056+2 ~x97055+1 ~x97054+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.89/10.98	c 16 ~x97678+8 ~x97677+4 ~x97676+2 ~x97675+1 ~x97674+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.89/10.98	c 16 ~x98192+8 ~x98191+4 ~x98190+2 ~x98189+1 ~x98188+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.89/10.98	c 16 ~x98706+8 ~x98705+4 ~x98704+2 ~x98703+1 ~x98702+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
10.89/11.00	c 32 ~x99221+16 ~x99220+8 ~x99219+4 ~x99218+2 ~x99217+1 ~x99216+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.99/11.03	c 32 ~x99841+16 ~x99840+8 ~x99839+4 ~x99838+2 ~x99837+1 ~x99836+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
10.99/11.03	c 16 ~x100460+8 ~x100459+4 ~x100458+2 ~x100457+1 ~x100456+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
10.99/11.05	c 32 ~x100975+16 ~x100974+8 ~x100973+4 ~x100972+2 ~x100971+1 ~x100970+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
10.99/11.05	c 16 ~x101594+8 ~x101593+4 ~x101592+2 ~x101591+1 ~x101590+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=62
10.99/11.08	c 16 ~x102108+8 ~x102107+4 ~x102106+2 ~x102105+1 ~x102104+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x116+2 x115+4 x114+8 x113+16 x112-0=62
10.99/11.08	c 32 ~x102623+16 ~x102622+8 ~x102621+4 ~x102620+2 ~x102619+1 ~x102618+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x116+2 x115+4 x114+8 x113+16 x112-0=95
11.09/11.11	c 32 ~x103243+16 ~x103242+8 ~x103241+4 ~x103240+2 ~x103239+1 ~x103238+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=95
11.09/11.11	c 16 ~x103862+8 ~x103861+4 ~x103860+2 ~x103859+1 ~x103858+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=62
11.09/11.14	c 16 ~x104376+8 ~x104375+4 ~x104374+2 ~x104373+1 ~x104372+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x125+2 x124+4 x123+8 x122+16 x121-0=62
11.09/11.14	c 32 ~x104891+16 ~x104890+8 ~x104889+4 ~x104888+2 ~x104887+1 ~x104886+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x125+2 x124+4 x123+8 x122+16 x121-0=95
11.09/11.15	c 32 ~x105511+16 ~x105510+8 ~x105509+4 ~x105508+2 ~x105507+1 ~x105506+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=95
11.09/11.18	c 16 ~x106130+8 ~x106129+4 ~x106128+2 ~x106127+1 ~x106126+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=62
11.09/11.18	c 16 ~x106644+8 ~x106643+4 ~x106642+2 ~x106641+1 ~x106640+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x136+2 x135+4 x134+8 x133+16 x132-0=62
11.19/11.21	c 32 ~x107159+16 ~x107158+8 ~x107157+4 ~x107156+2 ~x107155+1 ~x107154+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x136+2 x135+4 x134+8 x133+16 x132-0=95
11.19/11.21	c 32 ~x107779+16 ~x107778+8 ~x107777+4 ~x107776+2 ~x107775+1 ~x107774+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=95
11.19/11.23	c 32 ~x108399+16 ~x108398+8 ~x108397+4 ~x108396+2 ~x108395+1 ~x108394+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
11.19/11.26	c 16 ~x109018+8 ~x109017+4 ~x109016+2 ~x109015+1 ~x109014+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
11.19/11.26	c 16 ~x109532+8 ~x109531+4 ~x109530+2 ~x109529+1 ~x109528+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
11.19/11.28	c 16 ~x110046+8 ~x110045+4 ~x110044+2 ~x110043+1 ~x110042+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
11.19/11.28	c 32 ~x110561+16 ~x110560+8 ~x110559+4 ~x110558+2 ~x110557+1 ~x110556+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
11.29/11.31	c 32 ~x111181+16 ~x111180+8 ~x111179+4 ~x111178+2 ~x111177+1 ~x111176+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
11.29/11.31	c 16 ~x111800+8 ~x111799+4 ~x111798+2 ~x111797+1 ~x111796+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
11.29/11.34	c 32 ~x112315+16 ~x112314+8 ~x112313+4 ~x112312+2 ~x112311+1 ~x112310+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
11.29/11.34	c 16 ~x112934+8 ~x112933+4 ~x112932+2 ~x112931+1 ~x112930+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x116+2 x115+4 x114+8 x113+16 x112-0=62
11.29/11.37	c 16 ~x113448+8 ~x113447+4 ~x113446+2 ~x113445+1 ~x113444+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=62
11.29/11.37	c 32 ~x113963+16 ~x113962+8 ~x113961+4 ~x113960+2 ~x113959+1 ~x113958+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=95
11.39/11.40	c 32 ~x114583+16 ~x114582+8 ~x114581+4 ~x114580+2 ~x114579+1 ~x114578+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x116+2 x115+4 x114+8 x113+16 x112-0=95
11.39/11.40	c 16 ~x115202+8 ~x115201+4 ~x115200+2 ~x115199+1 ~x115198+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=62
11.39/11.41	c 16 ~x115716+8 ~x115715+4 ~x115714+2 ~x115713+1 ~x115712+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x125+2 x124+4 x123+8 x122+16 x121-0=62
11.39/11.44	c 32 ~x116231+16 ~x116230+8 ~x116229+4 ~x116228+2 ~x116227+1 ~x116226+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x125+2 x124+4 x123+8 x122+16 x121-0=95
11.39/11.44	c 32 ~x116851+16 ~x116850+8 ~x116849+4 ~x116848+2 ~x116847+1 ~x116846+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=95
11.39/11.47	c 16 ~x117470+8 ~x117469+4 ~x117468+2 ~x117467+1 ~x117466+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x136+2 x135+4 x134+8 x133+16 x132-0=62
11.39/11.47	c 16 ~x117984+8 ~x117983+4 ~x117982+2 ~x117981+1 ~x117980+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=62
11.39/11.49	c 32 ~x118499+16 ~x118498+8 ~x118497+4 ~x118496+2 ~x118495+1 ~x118494+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=95
11.39/11.49	c 32 ~x119119+16 ~x119118+8 ~x119117+4 ~x119116+2 ~x119115+1 ~x119114+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x136+2 x135+4 x134+8 x133+16 x132-0=95
11.48/11.51	c 16 ~x119738+8 ~x119737+4 ~x119736+2 ~x119735+1 ~x119734+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=62
11.48/11.54	c 16 ~x120252+8 ~x120251+4 ~x120250+2 ~x120249+1 ~x120248+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x149+2 x148+4 x147+8 x146+16 x145-0=62
11.48/11.54	c 32 ~x120767+16 ~x120766+8 ~x120765+4 ~x120764+2 ~x120763+1 ~x120762+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x149+2 x148+4 x147+8 x146+16 x145-0=95
11.48/11.57	c 32 ~x121387+16 ~x121386+8 ~x121385+4 ~x121384+2 ~x121383+1 ~x121382+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=95
11.48/11.57	c 32 ~x122007+16 ~x122006+8 ~x122005+4 ~x122004+2 ~x122003+1 ~x122002+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
11.48/11.59	c 16 ~x122626+8 ~x122625+4 ~x122624+2 ~x122623+1 ~x122622+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
11.48/11.59	c 16 ~x123140+8 ~x123139+4 ~x123138+2 ~x123137+1 ~x123136+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
11.58/11.62	c 16 ~x123654+8 ~x123653+4 ~x123652+2 ~x123651+1 ~x123650+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
11.58/11.62	c 32 ~x124169+16 ~x124168+8 ~x124167+4 ~x124166+2 ~x124165+1 ~x124164+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
11.58/11.64	c 32 ~x124789+16 ~x124788+8 ~x124787+4 ~x124786+2 ~x124785+1 ~x124784+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
11.58/11.66	c 16 ~x125408+8 ~x125407+4 ~x125406+2 ~x125405+1 ~x125404+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
11.58/11.66	c 32 ~x125923+16 ~x125922+8 ~x125921+4 ~x125920+2 ~x125919+1 ~x125918+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
11.58/11.69	c 16 ~x126542+8 ~x126541+4 ~x126540+2 ~x126539+1 ~x126538+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x116+2 x115+4 x114+8 x113+16 x112-0=62
11.58/11.69	c 16 ~x127056+8 ~x127055+4 ~x127054+2 ~x127053+1 ~x127052+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=62
11.68/11.72	c 32 ~x127571+16 ~x127570+8 ~x127569+4 ~x127568+2 ~x127567+1 ~x127566+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=95
11.68/11.72	c 32 ~x128191+16 ~x128190+8 ~x128189+4 ~x128188+2 ~x128187+1 ~x128186+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x116+2 x115+4 x114+8 x113+16 x112-0=95
11.68/11.75	c 16 ~x128810+8 ~x128809+4 ~x128808+2 ~x128807+1 ~x128806+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x125+2 x124+4 x123+8 x122+16 x121-0=62
11.68/11.75	c 16 ~x129324+8 ~x129323+4 ~x129322+2 ~x129321+1 ~x129320+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=62
11.68/11.76	c 32 ~x129839+16 ~x129838+8 ~x129837+4 ~x129836+2 ~x129835+1 ~x129834+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=95
11.68/11.79	c 32 ~x130459+16 ~x130458+8 ~x130457+4 ~x130456+2 ~x130455+1 ~x130454+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x125+2 x124+4 x123+8 x122+16 x121-0=95
11.68/11.79	c 16 ~x131078+8 ~x131077+4 ~x131076+2 ~x131075+1 ~x131074+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x136+2 x135+4 x134+8 x133+16 x132-0=62
11.78/11.82	c 16 ~x131592+8 ~x131591+4 ~x131590+2 ~x131589+1 ~x131588+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=62
11.78/11.82	c 32 ~x132107+16 ~x132106+8 ~x132105+4 ~x132104+2 ~x132103+1 ~x132102+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=95
11.78/11.85	c 32 ~x132727+16 ~x132726+8 ~x132725+4 ~x132724+2 ~x132723+1 ~x132722+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x136+2 x135+4 x134+8 x133+16 x132-0=95
11.78/11.85	c 16 ~x133346+8 ~x133345+4 ~x133344+2 ~x133343+1 ~x133342+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x149+2 x148+4 x147+8 x146+16 x145-0=62
11.78/11.87	c 16 ~x133860+8 ~x133859+4 ~x133858+2 ~x133857+1 ~x133856+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=62
11.78/11.89	c 32 ~x134375+16 ~x134374+8 ~x134373+4 ~x134372+2 ~x134371+1 ~x134370+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=95
11.78/11.89	c 32 ~x134995+16 ~x134994+8 ~x134993+4 ~x134992+2 ~x134991+1 ~x134990+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x149+2 x148+4 x147+8 x146+16 x145-0=95
11.89/11.92	c 16 ~x135614+8 ~x135613+4 ~x135612+2 ~x135611+1 ~x135610+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x164+2 x163+4 x162+8 x161+16 x160-0=62
11.89/11.92	c 16 ~x136128+8 ~x136127+4 ~x136126+2 ~x136125+1 ~x136124+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160-0=62
11.89/11.95	c 32 ~x136643+16 ~x136642+8 ~x136641+4 ~x136640+2 ~x136639+1 ~x136638+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160-0=95
11.89/11.95	c 32 ~x137263+16 ~x137262+8 ~x137261+4 ~x137260+2 ~x137259+1 ~x137258+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x164+2 x163+4 x162+8 x161+16 x160-0=95
11.89/11.98	c 8 ~x137881+4 ~x137880+2 ~x137879+1 ~x137878+1 x200+2 x199+4 x198+8 x197+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
11.89/11.98	c 8 ~x138259+4 ~x138258+2 ~x138257+1 ~x138256+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x30+2 x29+4 x28+8 x27-0=30
11.99/12.00	c 16 ~x138638+8 ~x138637+4 ~x138636+2 ~x138635+1 ~x138634+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x30+2 x29+4 x28+8 x27-0=47
11.99/12.00	c 16 ~x139062+8 ~x139061+4 ~x139060+2 ~x139059+1 ~x139058+1 x200+2 x199+4 x198+8 x197+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
11.99/12.02	c 8 ~x139485+4 ~x139484+2 ~x139483+1 ~x139482+1 x200+2 x199+4 x198+8 x197+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=30
11.99/12.02	c 8 ~x139863+4 ~x139862+2 ~x139861+1 ~x139860+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x26+2 x25+4 x24+8 x23-0=30
11.99/12.04	c 16 ~x140242+8 ~x140241+4 ~x140240+2 ~x140239+1 ~x140238+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x26+2 x25+4 x24+8 x23-0=47
11.99/12.04	c 16 ~x140666+8 ~x140665+4 ~x140664+2 ~x140663+1 ~x140662+1 x200+2 x199+4 x198+8 x197+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=47
11.99/12.07	c 8 ~x141089+4 ~x141088+2 ~x141087+1 ~x141086+1 x200+2 x199+4 x198+8 x197+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=30
11.99/12.07	c 8 ~x141467+4 ~x141466+2 ~x141465+1 ~x141464+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x37+2 x36+4 x35+8 x34-0=30
11.99/12.07	c 16 ~x141846+8 ~x141845+4 ~x141844+2 ~x141843+1 ~x141842+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x37+2 x36+4 x35+8 x34-0=47
11.99/12.09	c 16 ~x142270+8 ~x142269+4 ~x142268+2 ~x142267+1 ~x142266+1 x200+2 x199+4 x198+8 x197+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=47
11.99/12.09	c 8 ~x142693+4 ~x142692+2 ~x142691+1 ~x142690+1 x200+2 x199+4 x198+8 x197+1 ~x55+2 ~x54+4 ~x53+8 ~x52-0=30
12.09/12.11	c 8 ~x143071+4 ~x143070+2 ~x143069+1 ~x143068+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x55+2 x54+4 x53+8 x52-0=30
12.09/12.11	c 16 ~x143450+8 ~x143449+4 ~x143448+2 ~x143447+1 ~x143446+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x55+2 x54+4 x53+8 x52-0=47
12.09/12.14	c 16 ~x143874+8 ~x143873+4 ~x143872+2 ~x143871+1 ~x143870+1 x200+2 x199+4 x198+8 x197+1 ~x55+2 ~x54+4 ~x53+8 ~x52-0=47
12.09/12.14	c 8 ~x144297+4 ~x144296+2 ~x144295+1 ~x144294+1 x200+2 x199+4 x198+8 x197+1 ~x83+2 ~x82+4 ~x81+8 ~x80-0=30
12.09/12.14	c 8 ~x144675+4 ~x144674+2 ~x144673+1 ~x144672+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x83+2 x82+4 x81+8 x80-0=30
12.09/12.16	c 16 ~x145054+8 ~x145053+4 ~x145052+2 ~x145051+1 ~x145050+1 ~x200+2 ~x199+4 ~x198+8 ~x197+1 x83+2 x82+4 x81+8 x80-0=47
12.09/12.16	c 16 ~x145478+8 ~x145477+4 ~x145476+2 ~x145475+1 ~x145474+1 x200+2 x199+4 x198+8 x197+1 ~x83+2 ~x82+4 ~x81+8 ~x80-0=47
12.09/12.19	c 32 ~x145903+16 ~x145902+8 ~x145901+4 ~x145900+2 ~x145899+1 ~x145898+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.09/12.19	c 16 ~x146522+8 ~x146521+4 ~x146520+2 ~x146519+1 ~x146518+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.19/12.22	c 32 ~x147037+16 ~x147036+8 ~x147035+4 ~x147034+2 ~x147033+1 ~x147032+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.19/12.22	c 16 ~x147656+8 ~x147655+4 ~x147654+2 ~x147653+1 ~x147652+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.19/12.25	c 32 ~x148171+16 ~x148170+8 ~x148169+4 ~x148168+2 ~x148167+1 ~x148166+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.19/12.25	c 16 ~x148790+8 ~x148789+4 ~x148788+2 ~x148787+1 ~x148786+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.19/12.27	c 16 ~x149304+8 ~x149303+4 ~x149302+2 ~x149301+1 ~x149300+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.19/12.27	c 16 ~x149818+8 ~x149817+4 ~x149816+2 ~x149815+1 ~x149814+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
12.28/12.30	c 32 ~x150333+16 ~x150332+8 ~x150331+4 ~x150330+2 ~x150329+1 ~x150328+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.28/12.30	c 32 ~x150953+16 ~x150952+8 ~x150951+4 ~x150950+2 ~x150949+1 ~x150948+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
12.28/12.33	c 16 ~x151572+8 ~x151571+4 ~x151570+2 ~x151569+1 ~x151568+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.28/12.33	c 16 ~x152086+8 ~x152085+4 ~x152084+2 ~x152083+1 ~x152082+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
12.28/12.36	c 32 ~x152601+16 ~x152600+8 ~x152599+4 ~x152598+2 ~x152597+1 ~x152596+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.28/12.36	c 32 ~x153221+16 ~x153220+8 ~x153219+4 ~x153218+2 ~x153217+1 ~x153216+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
12.28/12.37	c 16 ~x153840+8 ~x153839+4 ~x153838+2 ~x153837+1 ~x153836+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.38/12.40	c 16 ~x154354+8 ~x154353+4 ~x154352+2 ~x154351+1 ~x154350+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
12.38/12.40	c 32 ~x154869+16 ~x154868+8 ~x154867+4 ~x154866+2 ~x154865+1 ~x154864+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.38/12.43	c 32 ~x155489+16 ~x155488+8 ~x155487+4 ~x155486+2 ~x155485+1 ~x155484+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
12.38/12.43	c 32 ~x156109+16 ~x156108+8 ~x156107+4 ~x156106+2 ~x156105+1 ~x156104+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x20+2 x19+4 x18+8 x17+16 x16-0=95
12.38/12.46	c 16 ~x156728+8 ~x156727+4 ~x156726+2 ~x156725+1 ~x156724+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16-0=62
12.38/12.46	c 16 ~x157242+8 ~x157241+4 ~x157240+2 ~x157239+1 ~x157238+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
12.38/12.48	c 16 ~x157756+8 ~x157755+4 ~x157754+2 ~x157753+1 ~x157752+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
12.38/12.48	c 32 ~x158271+16 ~x158270+8 ~x158269+4 ~x158268+2 ~x158267+1 ~x158266+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
12.49/12.51	c 32 ~x158891+16 ~x158890+8 ~x158889+4 ~x158888+2 ~x158887+1 ~x158886+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
12.49/12.51	c 16 ~x159510+8 ~x159509+4 ~x159508+2 ~x159507+1 ~x159506+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
12.49/12.54	c 16 ~x160024+8 ~x160023+4 ~x160022+2 ~x160021+1 ~x160020+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
12.49/12.54	c 32 ~x160539+16 ~x160538+8 ~x160537+4 ~x160536+2 ~x160535+1 ~x160534+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
12.49/12.57	c 32 ~x161159+16 ~x161158+8 ~x161157+4 ~x161156+2 ~x161155+1 ~x161154+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
12.49/12.57	c 16 ~x161778+8 ~x161777+4 ~x161776+2 ~x161775+1 ~x161774+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
12.59/12.60	c 16 ~x162292+8 ~x162291+4 ~x162290+2 ~x162289+1 ~x162288+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
12.59/12.60	c 32 ~x162807+16 ~x162806+8 ~x162805+4 ~x162804+2 ~x162803+1 ~x162802+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
12.59/12.61	c 32 ~x163427+16 ~x163426+8 ~x163425+4 ~x163424+2 ~x163423+1 ~x163422+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
12.59/12.64	c 16 ~x164046+8 ~x164045+4 ~x164044+2 ~x164043+1 ~x164042+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
12.59/12.64	c 16 ~x164560+8 ~x164559+4 ~x164558+2 ~x164557+1 ~x164556+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
12.59/12.67	c 32 ~x165075+16 ~x165074+8 ~x165073+4 ~x165072+2 ~x165071+1 ~x165070+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
12.59/12.67	c 32 ~x165695+16 ~x165694+8 ~x165693+4 ~x165692+2 ~x165691+1 ~x165690+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
12.69/12.70	c 16 ~x166314+8 ~x166313+4 ~x166312+2 ~x166311+1 ~x166310+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
12.69/12.70	c 32 ~x166829+16 ~x166828+8 ~x166827+4 ~x166826+2 ~x166825+1 ~x166824+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.69/12.73	c 32 ~x167449+16 ~x167448+8 ~x167447+4 ~x167446+2 ~x167445+1 ~x167444+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
12.69/12.73	c 16 ~x168068+8 ~x168067+4 ~x168066+2 ~x168065+1 ~x168064+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.69/12.76	c 16 ~x168582+8 ~x168581+4 ~x168580+2 ~x168579+1 ~x168578+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
12.69/12.76	c 32 ~x169097+16 ~x169096+8 ~x169095+4 ~x169094+2 ~x169093+1 ~x169092+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.69/12.79	c 32 ~x169717+16 ~x169716+8 ~x169715+4 ~x169714+2 ~x169713+1 ~x169712+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
12.69/12.79	c 16 ~x170336+8 ~x170335+4 ~x170334+2 ~x170333+1 ~x170332+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.78/12.81	c 16 ~x170850+8 ~x170849+4 ~x170848+2 ~x170847+1 ~x170846+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
12.78/12.81	c 32 ~x171365+16 ~x171364+8 ~x171363+4 ~x171362+2 ~x171361+1 ~x171360+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
12.78/12.84	c 32 ~x171985+16 ~x171984+8 ~x171983+4 ~x171982+2 ~x171981+1 ~x171980+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
12.78/12.84	c 16 ~x172604+8 ~x172603+4 ~x172602+2 ~x172601+1 ~x172600+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
12.78/12.87	c 8 ~x173117+4 ~x173116+2 ~x173115+1 ~x173114+1 ~x243+2 ~x242+4 ~x241+8 ~x240+1 x200+2 x199+4 x198+8 x197-0=30
12.78/12.87	c 8 ~x173495+4 ~x173494+2 ~x173493+1 ~x173492+1 x243+2 x242+4 x241+8 x240+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=30
12.78/12.89	c 16 ~x173874+8 ~x173873+4 ~x173872+2 ~x173871+1 ~x173870+1 x243+2 x242+4 x241+8 x240+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=47
12.78/12.89	c 16 ~x174298+8 ~x174297+4 ~x174296+2 ~x174295+1 ~x174294+1 ~x243+2 ~x242+4 ~x241+8 ~x240+1 x200+2 x199+4 x198+8 x197-0=47
12.88/12.91	c 32 ~x174723+16 ~x174722+8 ~x174721+4 ~x174720+2 ~x174719+1 ~x174718+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
12.88/12.91	c 16 ~x175342+8 ~x175341+4 ~x175340+2 ~x175339+1 ~x175338+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
12.88/12.94	c 16 ~x175856+8 ~x175855+4 ~x175854+2 ~x175853+1 ~x175852+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
12.88/12.94	c 32 ~x176371+16 ~x176370+8 ~x176369+4 ~x176368+2 ~x176367+1 ~x176366+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
12.88/12.97	c 32 ~x176991+16 ~x176990+8 ~x176989+4 ~x176988+2 ~x176987+1 ~x176986+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.88/12.97	c 16 ~x177610+8 ~x177609+4 ~x177608+2 ~x177607+1 ~x177606+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
12.98/13.00	c 16 ~x178124+8 ~x178123+4 ~x178122+2 ~x178121+1 ~x178120+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
12.98/13.00	c 32 ~x178639+16 ~x178638+8 ~x178637+4 ~x178636+2 ~x178635+1 ~x178634+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
12.98/13.03	c 32 ~x179259+16 ~x179258+8 ~x179257+4 ~x179256+2 ~x179255+1 ~x179254+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
12.98/13.03	c 16 ~x179878+8 ~x179877+4 ~x179876+2 ~x179875+1 ~x179874+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
12.98/13.05	c 16 ~x180392+8 ~x180391+4 ~x180390+2 ~x180389+1 ~x180388+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
12.98/13.05	c 32 ~x180907+16 ~x180906+8 ~x180905+4 ~x180904+2 ~x180903+1 ~x180902+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
12.98/13.08	c 32 ~x181527+16 ~x181526+8 ~x181525+4 ~x181524+2 ~x181523+1 ~x181522+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
12.98/13.08	c 16 ~x182146+8 ~x182145+4 ~x182144+2 ~x182143+1 ~x182142+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
13.08/13.11	c 8 ~x182659+4 ~x182658+2 ~x182657+1 ~x182656+1 ~x258+2 ~x257+4 ~x256+8 ~x255+1 x254+2 x253+4 x252+8 x251-0=30
13.08/13.11	c 8 ~x183037+4 ~x183036+2 ~x183035+1 ~x183034+1 x258+2 x257+4 x256+8 x255+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=30
13.08/13.13	c 16 ~x183416+8 ~x183415+4 ~x183414+2 ~x183413+1 ~x183412+1 x258+2 x257+4 x256+8 x255+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=47
13.08/13.13	c 16 ~x183840+8 ~x183839+4 ~x183838+2 ~x183837+1 ~x183836+1 ~x258+2 ~x257+4 ~x256+8 ~x255+1 x254+2 x253+4 x252+8 x251-0=47
13.08/13.15	c 16 ~x184264+8 ~x184263+4 ~x184262+2 ~x184261+1 ~x184260+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
13.08/13.15	c 32 ~x184779+16 ~x184778+8 ~x184777+4 ~x184776+2 ~x184775+1 ~x184774+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
13.08/13.18	c 32 ~x185399+16 ~x185398+8 ~x185397+4 ~x185396+2 ~x185395+1 ~x185394+1 x12+2 x11+4 x10+8 x9+16 x8+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
13.08/13.18	c 16 ~x186018+8 ~x186017+4 ~x186016+2 ~x186015+1 ~x186014+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
13.19/13.20	c 8 ~x186531+4 ~x186530+2 ~x186529+1 ~x186528+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x26+2 x25+4 x24+8 x23-0=30
13.19/13.20	c 8 ~x186909+4 ~x186908+2 ~x186907+1 ~x186906+1 x254+2 x253+4 x252+8 x251+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=30
13.19/13.22	c 16 ~x187288+8 ~x187287+4 ~x187286+2 ~x187285+1 ~x187284+1 x254+2 x253+4 x252+8 x251+1 ~x26+2 ~x25+4 ~x24+8 ~x23-0=47
13.19/13.22	c 16 ~x187712+8 ~x187711+4 ~x187710+2 ~x187709+1 ~x187708+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x26+2 x25+4 x24+8 x23-0=47
13.19/13.26	c 8 ~x188135+4 ~x188134+2 ~x188133+1 ~x188132+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x37+2 x36+4 x35+8 x34-0=30
13.19/13.26	c 8 ~x188513+4 ~x188512+2 ~x188511+1 ~x188510+1 x254+2 x253+4 x252+8 x251+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=30
13.19/13.26	c 16 ~x188892+8 ~x188891+4 ~x188890+2 ~x188889+1 ~x188888+1 x254+2 x253+4 x252+8 x251+1 ~x37+2 ~x36+4 ~x35+8 ~x34-0=47
13.19/13.28	c 16 ~x189316+8 ~x189315+4 ~x189314+2 ~x189313+1 ~x189312+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x37+2 x36+4 x35+8 x34-0=47
13.19/13.28	c 8 ~x189739+4 ~x189738+2 ~x189737+1 ~x189736+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x55+2 x54+4 x53+8 x52-0=30
13.19/13.30	c 8 ~x190117+4 ~x190116+2 ~x190115+1 ~x190114+1 x254+2 x253+4 x252+8 x251+1 ~x55+2 ~x54+4 ~x53+8 ~x52-0=30
13.19/13.30	c 16 ~x190496+8 ~x190495+4 ~x190494+2 ~x190493+1 ~x190492+1 x254+2 x253+4 x252+8 x251+1 ~x55+2 ~x54+4 ~x53+8 ~x52-0=47
13.29/13.32	c 16 ~x190920+8 ~x190919+4 ~x190918+2 ~x190917+1 ~x190916+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x55+2 x54+4 x53+8 x52-0=47
13.29/13.32	c 8 ~x191343+4 ~x191342+2 ~x191341+1 ~x191340+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x83+2 x82+4 x81+8 x80-0=30
13.29/13.35	c 8 ~x191721+4 ~x191720+2 ~x191719+1 ~x191718+1 x254+2 x253+4 x252+8 x251+1 ~x83+2 ~x82+4 ~x81+8 ~x80-0=30
13.29/13.35	c 16 ~x192100+8 ~x192099+4 ~x192098+2 ~x192097+1 ~x192096+1 x254+2 x253+4 x252+8 x251+1 ~x83+2 ~x82+4 ~x81+8 ~x80-0=47
13.29/13.35	c 16 ~x192524+8 ~x192523+4 ~x192522+2 ~x192521+1 ~x192520+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x83+2 x82+4 x81+8 x80-0=47
13.29/13.37	c 16 ~x192948+8 ~x192947+4 ~x192946+2 ~x192945+1 ~x192944+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
13.29/13.37	c 32 ~x193463+16 ~x193462+8 ~x193461+4 ~x193460+2 ~x193459+1 ~x193458+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
13.38/13.40	c 32 ~x194083+16 ~x194082+8 ~x194081+4 ~x194080+2 ~x194079+1 ~x194078+1 x43+2 x42+4 x41+8 x40+16 x39+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
13.38/13.40	c 16 ~x194702+8 ~x194701+4 ~x194700+2 ~x194699+1 ~x194698+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
13.38/13.43	c 16 ~x195216+8 ~x195215+4 ~x195214+2 ~x195213+1 ~x195212+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
13.38/13.43	c 32 ~x195731+16 ~x195730+8 ~x195729+4 ~x195728+2 ~x195727+1 ~x195726+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
13.38/13.46	c 32 ~x196351+16 ~x196350+8 ~x196349+4 ~x196348+2 ~x196347+1 ~x196346+1 x69+2 x68+4 x67+8 x66+16 x65+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
13.38/13.46	c 16 ~x196970+8 ~x196969+4 ~x196968+2 ~x196967+1 ~x196966+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
13.38/13.49	c 16 ~x197484+8 ~x197483+4 ~x197482+2 ~x197481+1 ~x197480+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
13.38/13.49	c 32 ~x197999+16 ~x197998+8 ~x197997+4 ~x197996+2 ~x197995+1 ~x197994+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
13.48/13.50	c 32 ~x198619+16 ~x198618+8 ~x198617+4 ~x198616+2 ~x198615+1 ~x198614+1 x98+2 x97+4 x96+8 x95+16 x94+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
13.48/13.53	c 16 ~x199238+8 ~x199237+4 ~x199236+2 ~x199235+1 ~x199234+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
13.48/13.53	c 16 ~x199752+8 ~x199751+4 ~x199750+2 ~x199749+1 ~x199748+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
13.48/13.56	c 32 ~x200267+16 ~x200266+8 ~x200265+4 ~x200264+2 ~x200263+1 ~x200262+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
13.48/13.56	c 32 ~x200887+16 ~x200886+8 ~x200885+4 ~x200884+2 ~x200883+1 ~x200882+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
13.48/13.59	c 16 ~x201506+8 ~x201505+4 ~x201504+2 ~x201503+1 ~x201502+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
13.48/13.59	c 8 ~x202019+4 ~x202018+2 ~x202017+1 ~x202016+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x243+2 x242+4 x241+8 x240-0=30
13.58/13.62	c 8 ~x202397+4 ~x202396+2 ~x202395+1 ~x202394+1 x254+2 x253+4 x252+8 x251+1 ~x243+2 ~x242+4 ~x241+8 ~x240-0=30
13.58/13.62	c 16 ~x202776+8 ~x202775+4 ~x202774+2 ~x202773+1 ~x202772+1 x254+2 x253+4 x252+8 x251+1 ~x243+2 ~x242+4 ~x241+8 ~x240-0=47
13.58/13.64	c 16 ~x203200+8 ~x203199+4 ~x203198+2 ~x203197+1 ~x203196+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x243+2 x242+4 x241+8 x240-0=47
13.58/13.64	c 8 ~x203623+4 ~x203622+2 ~x203621+1 ~x203620+1 x284+2 x283+4 x282+8 x281+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=30
13.58/13.64	c 8 ~x204001+4 ~x204000+2 ~x203999+1 ~x203998+1 ~x284+2 ~x283+4 ~x282+8 ~x281+1 x254+2 x253+4 x252+8 x251-0=30
13.58/13.66	c 16 ~x204380+8 ~x204379+4 ~x204378+2 ~x204377+1 ~x204376+1 ~x284+2 ~x283+4 ~x282+8 ~x281+1 x254+2 x253+4 x252+8 x251-0=47
13.58/13.66	c 16 ~x204804+8 ~x204803+4 ~x204802+2 ~x204801+1 ~x204800+1 x284+2 x283+4 x282+8 x281+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=47
13.58/13.68	c 32 ~x205229+16 ~x205228+8 ~x205227+4 ~x205226+2 ~x205225+1 ~x205224+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
13.58/13.68	c 16 ~x205848+8 ~x205847+4 ~x205846+2 ~x205845+1 ~x205844+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
13.68/13.71	c 32 ~x206363+16 ~x206362+8 ~x206361+4 ~x206360+2 ~x206359+1 ~x206358+1 x20+2 x19+4 x18+8 x17+16 x16+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
13.68/13.71	c 16 ~x206982+8 ~x206981+4 ~x206980+2 ~x206979+1 ~x206978+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
13.68/13.74	c 16 ~x207496+8 ~x207495+4 ~x207494+2 ~x207493+1 ~x207492+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
13.68/13.74	c 16 ~x208010+8 ~x208009+4 ~x208008+2 ~x208007+1 ~x208006+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
13.68/13.77	c 32 ~x208525+16 ~x208524+8 ~x208523+4 ~x208522+2 ~x208521+1 ~x208520+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
13.68/13.77	c 32 ~x209145+16 ~x209144+8 ~x209143+4 ~x209142+2 ~x209141+1 ~x209140+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
13.68/13.79	c 16 ~x209764+8 ~x209763+4 ~x209762+2 ~x209761+1 ~x209760+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
13.79/13.82	c 16 ~x210278+8 ~x210277+4 ~x210276+2 ~x210275+1 ~x210274+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
13.79/13.82	c 32 ~x210793+16 ~x210792+8 ~x210791+4 ~x210790+2 ~x210789+1 ~x210788+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
13.79/13.85	c 32 ~x211413+16 ~x211412+8 ~x211411+4 ~x211410+2 ~x211409+1 ~x211408+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
13.79/13.85	c 16 ~x212032+8 ~x212031+4 ~x212030+2 ~x212029+1 ~x212028+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
13.79/13.87	c 16 ~x212546+8 ~x212545+4 ~x212544+2 ~x212543+1 ~x212542+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
13.79/13.87	c 32 ~x213061+16 ~x213060+8 ~x213059+4 ~x213058+2 ~x213057+1 ~x213056+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
13.89/13.90	c 32 ~x213681+16 ~x213680+8 ~x213679+4 ~x213678+2 ~x213677+1 ~x213676+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
13.89/13.90	c 16 ~x214300+8 ~x214299+4 ~x214298+2 ~x214297+1 ~x214296+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
13.89/13.93	c 16 ~x214814+8 ~x214813+4 ~x214812+2 ~x214811+1 ~x214810+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
13.89/13.93	c 32 ~x215329+16 ~x215328+8 ~x215327+4 ~x215326+2 ~x215325+1 ~x215324+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
13.89/13.94	c 32 ~x215949+16 ~x215948+8 ~x215947+4 ~x215946+2 ~x215945+1 ~x215944+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
13.89/13.97	c 16 ~x216568+8 ~x216567+4 ~x216566+2 ~x216565+1 ~x216564+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
13.89/13.97	c 16 ~x217082+8 ~x217081+4 ~x217080+2 ~x217079+1 ~x217078+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
13.99/14.00	c 32 ~x217597+16 ~x217596+8 ~x217595+4 ~x217594+2 ~x217593+1 ~x217592+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
13.99/14.00	c 32 ~x218217+16 ~x218216+8 ~x218215+4 ~x218214+2 ~x218213+1 ~x218212+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
13.99/14.03	c 16 ~x218836+8 ~x218835+4 ~x218834+2 ~x218833+1 ~x218832+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
13.99/14.03	c 16 ~x219350+8 ~x219349+4 ~x219348+2 ~x219347+1 ~x219346+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
13.99/14.06	c 32 ~x219865+16 ~x219864+8 ~x219863+4 ~x219862+2 ~x219861+1 ~x219860+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
13.99/14.06	c 32 ~x220485+16 ~x220484+8 ~x220483+4 ~x220482+2 ~x220481+1 ~x220480+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
13.99/14.09	c 32 ~x221105+16 ~x221104+8 ~x221103+4 ~x221102+2 ~x221101+1 ~x221100+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
13.99/14.09	c 16 ~x221724+8 ~x221723+4 ~x221722+2 ~x221721+1 ~x221720+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
14.08/14.11	c 16 ~x222238+8 ~x222237+4 ~x222236+2 ~x222235+1 ~x222234+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
14.08/14.11	c 16 ~x222752+8 ~x222751+4 ~x222750+2 ~x222749+1 ~x222748+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
14.08/14.13	c 32 ~x223267+16 ~x223266+8 ~x223265+4 ~x223264+2 ~x223263+1 ~x223262+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
14.08/14.16	c 32 ~x223887+16 ~x223886+8 ~x223885+4 ~x223884+2 ~x223883+1 ~x223882+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
14.08/14.16	c 32 ~x224507+16 ~x224506+8 ~x224505+4 ~x224504+2 ~x224503+1 ~x224502+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x20+2 x19+4 x18+8 x17+16 x16-0=95
14.08/14.18	c 16 ~x225126+8 ~x225125+4 ~x225124+2 ~x225123+1 ~x225122+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x20+2 ~x19+4 ~x18+8 ~x17+16 ~x16-0=62
14.08/14.18	c 32 ~x225641+16 ~x225640+8 ~x225639+4 ~x225638+2 ~x225637+1 ~x225636+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
14.18/14.21	c 16 ~x226260+8 ~x226259+4 ~x226258+2 ~x226257+1 ~x226256+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
14.18/14.21	c 16 ~x226774+8 ~x226773+4 ~x226772+2 ~x226771+1 ~x226770+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
14.18/14.24	c 32 ~x227289+16 ~x227288+8 ~x227287+4 ~x227286+2 ~x227285+1 ~x227284+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
14.18/14.24	c 32 ~x227909+16 ~x227908+8 ~x227907+4 ~x227906+2 ~x227905+1 ~x227904+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
14.18/14.27	c 16 ~x228528+8 ~x228527+4 ~x228526+2 ~x228525+1 ~x228524+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
14.18/14.27	c 16 ~x229042+8 ~x229041+4 ~x229040+2 ~x229039+1 ~x229038+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
14.18/14.30	c 32 ~x229557+16 ~x229556+8 ~x229555+4 ~x229554+2 ~x229553+1 ~x229552+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
14.18/14.30	c 16 ~x230176+8 ~x230175+4 ~x230174+2 ~x230173+1 ~x230172+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=62
14.29/14.31	c 16 ~x230690+8 ~x230689+4 ~x230688+2 ~x230687+1 ~x230686+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x116+2 x115+4 x114+8 x113+16 x112-0=62
14.29/14.34	c 32 ~x231205+16 ~x231204+8 ~x231203+4 ~x231202+2 ~x231201+1 ~x231200+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x116+2 x115+4 x114+8 x113+16 x112-0=95
14.29/14.34	c 32 ~x231825+16 ~x231824+8 ~x231823+4 ~x231822+2 ~x231821+1 ~x231820+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=95
14.29/14.37	c 16 ~x232444+8 ~x232443+4 ~x232442+2 ~x232441+1 ~x232440+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=62
14.29/14.37	c 16 ~x232958+8 ~x232957+4 ~x232956+2 ~x232955+1 ~x232954+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x125+2 x124+4 x123+8 x122+16 x121-0=62
14.29/14.39	c 32 ~x233473+16 ~x233472+8 ~x233471+4 ~x233470+2 ~x233469+1 ~x233468+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x125+2 x124+4 x123+8 x122+16 x121-0=95
14.29/14.39	c 32 ~x234093+16 ~x234092+8 ~x234091+4 ~x234090+2 ~x234089+1 ~x234088+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=95
14.40/14.41	c 16 ~x234712+8 ~x234711+4 ~x234710+2 ~x234709+1 ~x234708+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=62
14.40/14.44	c 16 ~x235226+8 ~x235225+4 ~x235224+2 ~x235223+1 ~x235222+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x136+2 x135+4 x134+8 x133+16 x132-0=62
14.40/14.44	c 32 ~x235741+16 ~x235740+8 ~x235739+4 ~x235738+2 ~x235737+1 ~x235736+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x136+2 x135+4 x134+8 x133+16 x132-0=95
14.40/14.47	c 32 ~x236361+16 ~x236360+8 ~x236359+4 ~x236358+2 ~x236357+1 ~x236356+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=95
14.40/14.47	c 16 ~x236980+8 ~x236979+4 ~x236978+2 ~x236977+1 ~x236976+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=62
14.40/14.49	c 16 ~x237494+8 ~x237493+4 ~x237492+2 ~x237491+1 ~x237490+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x149+2 x148+4 x147+8 x146+16 x145-0=62
14.40/14.49	c 32 ~x238009+16 ~x238008+8 ~x238007+4 ~x238006+2 ~x238005+1 ~x238004+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x149+2 x148+4 x147+8 x146+16 x145-0=95
14.49/14.51	c 32 ~x238629+16 ~x238628+8 ~x238627+4 ~x238626+2 ~x238625+1 ~x238624+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=95
14.49/14.54	c 16 ~x239248+8 ~x239247+4 ~x239246+2 ~x239245+1 ~x239244+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160-0=62
14.49/14.54	c 16 ~x239762+8 ~x239761+4 ~x239760+2 ~x239759+1 ~x239758+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x164+2 x163+4 x162+8 x161+16 x160-0=62
14.49/14.56	c 32 ~x240277+16 ~x240276+8 ~x240275+4 ~x240274+2 ~x240273+1 ~x240272+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x164+2 x163+4 x162+8 x161+16 x160-0=95
14.49/14.56	c 32 ~x240897+16 ~x240896+8 ~x240895+4 ~x240894+2 ~x240893+1 ~x240892+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160-0=95
14.49/14.59	c 16 ~x241516+8 ~x241515+4 ~x241514+2 ~x241513+1 ~x241512+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177-0=62
14.49/14.59	c 16 ~x242030+8 ~x242029+4 ~x242028+2 ~x242027+1 ~x242026+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x181+2 x180+4 x179+8 x178+16 x177-0=62
14.58/14.60	c 32 ~x242545+16 ~x242544+8 ~x242543+4 ~x242542+2 ~x242541+1 ~x242540+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x181+2 x180+4 x179+8 x178+16 x177-0=95
14.58/14.63	c 32 ~x243165+16 ~x243164+8 ~x243163+4 ~x243162+2 ~x243161+1 ~x243160+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177-0=95
14.58/14.63	c 16 ~x243784+8 ~x243783+4 ~x243782+2 ~x243781+1 ~x243780+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=62
14.58/14.66	c 16 ~x244298+8 ~x244297+4 ~x244296+2 ~x244295+1 ~x244294+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x12+2 x11+4 x10+8 x9+16 x8-0=62
14.58/14.66	c 32 ~x244813+16 ~x244812+8 ~x244811+4 ~x244810+2 ~x244809+1 ~x244808+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x12+2 x11+4 x10+8 x9+16 x8-0=95
14.58/14.69	c 32 ~x245433+16 ~x245432+8 ~x245431+4 ~x245430+2 ~x245429+1 ~x245428+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x12+2 ~x11+4 ~x10+8 ~x9+16 ~x8-0=95
14.58/14.69	c 16 ~x246052+8 ~x246051+4 ~x246050+2 ~x246049+1 ~x246048+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x43+2 x42+4 x41+8 x40+16 x39-0=62
14.68/14.72	c 16 ~x246566+8 ~x246565+4 ~x246564+2 ~x246563+1 ~x246562+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=62
14.68/14.72	c 32 ~x247081+16 ~x247080+8 ~x247079+4 ~x247078+2 ~x247077+1 ~x247076+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=95
14.68/14.75	c 32 ~x247701+16 ~x247700+8 ~x247699+4 ~x247698+2 ~x247697+1 ~x247696+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x43+2 x42+4 x41+8 x40+16 x39-0=95
14.68/14.75	c 16 ~x248320+8 ~x248319+4 ~x248318+2 ~x248317+1 ~x248316+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x69+2 x68+4 x67+8 x66+16 x65-0=62
14.68/14.76	c 16 ~x248834+8 ~x248833+4 ~x248832+2 ~x248831+1 ~x248830+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=62
14.68/14.79	c 32 ~x249349+16 ~x249348+8 ~x249347+4 ~x249346+2 ~x249345+1 ~x249344+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=95
14.68/14.79	c 32 ~x249969+16 ~x249968+8 ~x249967+4 ~x249966+2 ~x249965+1 ~x249964+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x69+2 x68+4 x67+8 x66+16 x65-0=95
14.79/14.82	c 16 ~x250588+8 ~x250587+4 ~x250586+2 ~x250585+1 ~x250584+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x98+2 x97+4 x96+8 x95+16 x94-0=62
14.79/14.82	c 16 ~x251102+8 ~x251101+4 ~x251100+2 ~x251099+1 ~x251098+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=62
14.79/14.84	c 32 ~x251617+16 ~x251616+8 ~x251615+4 ~x251614+2 ~x251613+1 ~x251612+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=95
14.79/14.84	c 32 ~x252237+16 ~x252236+8 ~x252235+4 ~x252234+2 ~x252233+1 ~x252232+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x98+2 x97+4 x96+8 x95+16 x94-0=95
14.79/14.87	c 16 ~x252856+8 ~x252855+4 ~x252854+2 ~x252853+1 ~x252852+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=62
14.79/14.87	c 16 ~x253370+8 ~x253369+4 ~x253368+2 ~x253367+1 ~x253366+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x116+2 x115+4 x114+8 x113+16 x112-0=62
14.79/14.89	c 32 ~x253885+16 ~x253884+8 ~x253883+4 ~x253882+2 ~x253881+1 ~x253880+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x116+2 x115+4 x114+8 x113+16 x112-0=95
14.89/14.92	c 32 ~x254505+16 ~x254504+8 ~x254503+4 ~x254502+2 ~x254501+1 ~x254500+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112-0=95
14.89/14.92	c 16 ~x255124+8 ~x255123+4 ~x255122+2 ~x255121+1 ~x255120+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x43+2 x42+4 x41+8 x40+16 x39-0=62
14.89/14.94	c 16 ~x255638+8 ~x255637+4 ~x255636+2 ~x255635+1 ~x255634+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=62
14.89/14.94	c 32 ~x256153+16 ~x256152+8 ~x256151+4 ~x256150+2 ~x256149+1 ~x256148+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=95
14.89/14.97	c 32 ~x256773+16 ~x256772+8 ~x256771+4 ~x256770+2 ~x256769+1 ~x256768+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x43+2 x42+4 x41+8 x40+16 x39-0=95
14.89/14.97	c 16 ~x257392+8 ~x257391+4 ~x257390+2 ~x257389+1 ~x257388+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x69+2 x68+4 x67+8 x66+16 x65-0=62
14.98/15.00	c 16 ~x257906+8 ~x257905+4 ~x257904+2 ~x257903+1 ~x257902+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=62
14.98/15.00	c 32 ~x258421+16 ~x258420+8 ~x258419+4 ~x258418+2 ~x258417+1 ~x258416+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=95
14.98/15.01	c 32 ~x259041+16 ~x259040+8 ~x259039+4 ~x259038+2 ~x259037+1 ~x259036+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x69+2 x68+4 x67+8 x66+16 x65-0=95
14.98/15.04	c 16 ~x259660+8 ~x259659+4 ~x259658+2 ~x259657+1 ~x259656+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x98+2 x97+4 x96+8 x95+16 x94-0=62
14.98/15.04	c 16 ~x260174+8 ~x260173+4 ~x260172+2 ~x260171+1 ~x260170+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=62
14.98/15.07	c 32 ~x260689+16 ~x260688+8 ~x260687+4 ~x260686+2 ~x260685+1 ~x260684+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=95
14.98/15.07	c 32 ~x261309+16 ~x261308+8 ~x261307+4 ~x261306+2 ~x261305+1 ~x261304+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x98+2 x97+4 x96+8 x95+16 x94-0=95
15.09/15.10	c 16 ~x261928+8 ~x261927+4 ~x261926+2 ~x261925+1 ~x261924+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=62
15.09/15.10	c 16 ~x262442+8 ~x262441+4 ~x262440+2 ~x262439+1 ~x262438+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x125+2 x124+4 x123+8 x122+16 x121-0=62
15.09/15.13	c 32 ~x262957+16 ~x262956+8 ~x262955+4 ~x262954+2 ~x262953+1 ~x262952+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x125+2 x124+4 x123+8 x122+16 x121-0=95
15.09/15.13	c 32 ~x263577+16 ~x263576+8 ~x263575+4 ~x263574+2 ~x263573+1 ~x263572+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121-0=95
15.09/15.15	c 16 ~x264196+8 ~x264195+4 ~x264194+2 ~x264193+1 ~x264192+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x43+2 x42+4 x41+8 x40+16 x39-0=62
15.09/15.17	c 16 ~x264710+8 ~x264709+4 ~x264708+2 ~x264707+1 ~x264706+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=62
15.09/15.17	c 32 ~x265225+16 ~x265224+8 ~x265223+4 ~x265222+2 ~x265221+1 ~x265220+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=95
15.19/15.20	c 32 ~x265845+16 ~x265844+8 ~x265843+4 ~x265842+2 ~x265841+1 ~x265840+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x43+2 x42+4 x41+8 x40+16 x39-0=95
15.19/15.20	c 16 ~x266464+8 ~x266463+4 ~x266462+2 ~x266461+1 ~x266460+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x69+2 x68+4 x67+8 x66+16 x65-0=62
15.19/15.23	c 16 ~x266978+8 ~x266977+4 ~x266976+2 ~x266975+1 ~x266974+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=62
15.19/15.23	c 32 ~x267493+16 ~x267492+8 ~x267491+4 ~x267490+2 ~x267489+1 ~x267488+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=95
15.19/15.26	c 32 ~x268113+16 ~x268112+8 ~x268111+4 ~x268110+2 ~x268109+1 ~x268108+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x69+2 x68+4 x67+8 x66+16 x65-0=95
15.19/15.26	c 16 ~x268732+8 ~x268731+4 ~x268730+2 ~x268729+1 ~x268728+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x98+2 x97+4 x96+8 x95+16 x94-0=62
15.19/15.27	c 16 ~x269246+8 ~x269245+4 ~x269244+2 ~x269243+1 ~x269242+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=62
15.28/15.30	c 32 ~x269761+16 ~x269760+8 ~x269759+4 ~x269758+2 ~x269757+1 ~x269756+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=95
15.28/15.30	c 32 ~x270381+16 ~x270380+8 ~x270379+4 ~x270378+2 ~x270377+1 ~x270376+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x98+2 x97+4 x96+8 x95+16 x94-0=95
15.28/15.33	c 16 ~x271000+8 ~x270999+4 ~x270998+2 ~x270997+1 ~x270996+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=62
15.28/15.33	c 16 ~x271514+8 ~x271513+4 ~x271512+2 ~x271511+1 ~x271510+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x136+2 x135+4 x134+8 x133+16 x132-0=62
15.28/15.36	c 32 ~x272029+16 ~x272028+8 ~x272027+4 ~x272026+2 ~x272025+1 ~x272024+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x136+2 x135+4 x134+8 x133+16 x132-0=95
15.28/15.36	c 32 ~x272649+16 ~x272648+8 ~x272647+4 ~x272646+2 ~x272645+1 ~x272644+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132-0=95
15.28/15.39	c 16 ~x273268+8 ~x273267+4 ~x273266+2 ~x273265+1 ~x273264+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x43+2 x42+4 x41+8 x40+16 x39-0=62
15.28/15.39	c 16 ~x273782+8 ~x273781+4 ~x273780+2 ~x273779+1 ~x273778+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=62
15.39/15.40	c 32 ~x274297+16 ~x274296+8 ~x274295+4 ~x274294+2 ~x274293+1 ~x274292+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=95
15.39/15.43	c 32 ~x274917+16 ~x274916+8 ~x274915+4 ~x274914+2 ~x274913+1 ~x274912+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x43+2 x42+4 x41+8 x40+16 x39-0=95
15.39/15.43	c 16 ~x275536+8 ~x275535+4 ~x275534+2 ~x275533+1 ~x275532+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x69+2 x68+4 x67+8 x66+16 x65-0=62
15.39/15.46	c 16 ~x276050+8 ~x276049+4 ~x276048+2 ~x276047+1 ~x276046+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=62
15.39/15.46	c 32 ~x276565+16 ~x276564+8 ~x276563+4 ~x276562+2 ~x276561+1 ~x276560+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=95
15.39/15.49	c 32 ~x277185+16 ~x277184+8 ~x277183+4 ~x277182+2 ~x277181+1 ~x277180+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x69+2 x68+4 x67+8 x66+16 x65-0=95
15.39/15.49	c 16 ~x277804+8 ~x277803+4 ~x277802+2 ~x277801+1 ~x277800+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x98+2 x97+4 x96+8 x95+16 x94-0=62
15.49/15.51	c 16 ~x278318+8 ~x278317+4 ~x278316+2 ~x278315+1 ~x278314+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=62
15.49/15.51	c 32 ~x278833+16 ~x278832+8 ~x278831+4 ~x278830+2 ~x278829+1 ~x278828+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=95
15.49/15.53	c 32 ~x279453+16 ~x279452+8 ~x279451+4 ~x279450+2 ~x279449+1 ~x279448+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x98+2 x97+4 x96+8 x95+16 x94-0=95
15.49/15.55	c 16 ~x280072+8 ~x280071+4 ~x280070+2 ~x280069+1 ~x280068+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=62
15.49/15.55	c 16 ~x280586+8 ~x280585+4 ~x280584+2 ~x280583+1 ~x280582+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x149+2 x148+4 x147+8 x146+16 x145-0=62
15.49/15.58	c 32 ~x281101+16 ~x281100+8 ~x281099+4 ~x281098+2 ~x281097+1 ~x281096+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x149+2 x148+4 x147+8 x146+16 x145-0=95
15.49/15.58	c 32 ~x281721+16 ~x281720+8 ~x281719+4 ~x281718+2 ~x281717+1 ~x281716+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145-0=95
15.58/15.61	c 16 ~x282340+8 ~x282339+4 ~x282338+2 ~x282337+1 ~x282336+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x43+2 x42+4 x41+8 x40+16 x39-0=62
15.58/15.61	c 16 ~x282854+8 ~x282853+4 ~x282852+2 ~x282851+1 ~x282850+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=62
15.58/15.64	c 32 ~x283369+16 ~x283368+8 ~x283367+4 ~x283366+2 ~x283365+1 ~x283364+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=95
15.58/15.64	c 32 ~x283989+16 ~x283988+8 ~x283987+4 ~x283986+2 ~x283985+1 ~x283984+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x43+2 x42+4 x41+8 x40+16 x39-0=95
15.58/15.65	c 16 ~x284608+8 ~x284607+4 ~x284606+2 ~x284605+1 ~x284604+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x69+2 x68+4 x67+8 x66+16 x65-0=62
15.58/15.68	c 16 ~x285122+8 ~x285121+4 ~x285120+2 ~x285119+1 ~x285118+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=62
15.58/15.68	c 32 ~x285637+16 ~x285636+8 ~x285635+4 ~x285634+2 ~x285633+1 ~x285632+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=95
15.69/15.71	c 32 ~x286257+16 ~x286256+8 ~x286255+4 ~x286254+2 ~x286253+1 ~x286252+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x69+2 x68+4 x67+8 x66+16 x65-0=95
15.69/15.71	c 16 ~x286876+8 ~x286875+4 ~x286874+2 ~x286873+1 ~x286872+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x98+2 x97+4 x96+8 x95+16 x94-0=62
15.69/15.74	c 16 ~x287390+8 ~x287389+4 ~x287388+2 ~x287387+1 ~x287386+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=62
15.69/15.74	c 32 ~x287905+16 ~x287904+8 ~x287903+4 ~x287902+2 ~x287901+1 ~x287900+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=95
15.69/15.77	c 32 ~x288525+16 ~x288524+8 ~x288523+4 ~x288522+2 ~x288521+1 ~x288520+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x98+2 x97+4 x96+8 x95+16 x94-0=95
15.69/15.77	c 16 ~x289144+8 ~x289143+4 ~x289142+2 ~x289141+1 ~x289140+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160-0=62
15.69/15.78	c 16 ~x289658+8 ~x289657+4 ~x289656+2 ~x289655+1 ~x289654+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x164+2 x163+4 x162+8 x161+16 x160-0=62
15.79/15.81	c 32 ~x290173+16 ~x290172+8 ~x290171+4 ~x290170+2 ~x290169+1 ~x290168+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x164+2 x163+4 x162+8 x161+16 x160-0=95
15.79/15.81	c 32 ~x290793+16 ~x290792+8 ~x290791+4 ~x290790+2 ~x290789+1 ~x290788+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160-0=95
15.79/15.84	c 16 ~x291412+8 ~x291411+4 ~x291410+2 ~x291409+1 ~x291408+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x43+2 x42+4 x41+8 x40+16 x39-0=62
15.79/15.84	c 16 ~x291926+8 ~x291925+4 ~x291924+2 ~x291923+1 ~x291922+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=62
15.79/15.86	c 32 ~x292441+16 ~x292440+8 ~x292439+4 ~x292438+2 ~x292437+1 ~x292436+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=95
15.79/15.86	c 32 ~x293061+16 ~x293060+8 ~x293059+4 ~x293058+2 ~x293057+1 ~x293056+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x43+2 x42+4 x41+8 x40+16 x39-0=95
15.79/15.89	c 16 ~x293680+8 ~x293679+4 ~x293678+2 ~x293677+1 ~x293676+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x69+2 x68+4 x67+8 x66+16 x65-0=62
15.79/15.89	c 16 ~x294194+8 ~x294193+4 ~x294192+2 ~x294191+1 ~x294190+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=62
15.89/15.90	c 32 ~x294709+16 ~x294708+8 ~x294707+4 ~x294706+2 ~x294705+1 ~x294704+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=95
15.89/15.93	c 32 ~x295329+16 ~x295328+8 ~x295327+4 ~x295326+2 ~x295325+1 ~x295324+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x69+2 x68+4 x67+8 x66+16 x65-0=95
15.89/15.93	c 16 ~x295948+8 ~x295947+4 ~x295946+2 ~x295945+1 ~x295944+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x98+2 x97+4 x96+8 x95+16 x94-0=62
15.89/15.96	c 16 ~x296462+8 ~x296461+4 ~x296460+2 ~x296459+1 ~x296458+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=62
15.89/15.96	c 32 ~x296977+16 ~x296976+8 ~x296975+4 ~x296974+2 ~x296973+1 ~x296972+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=95
15.89/15.99	c 32 ~x297597+16 ~x297596+8 ~x297595+4 ~x297594+2 ~x297593+1 ~x297592+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x98+2 x97+4 x96+8 x95+16 x94-0=95
15.89/15.99	c 16 ~x298216+8 ~x298215+4 ~x298214+2 ~x298213+1 ~x298212+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177-0=62
15.99/16.02	c 16 ~x298730+8 ~x298729+4 ~x298728+2 ~x298727+1 ~x298726+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x181+2 x180+4 x179+8 x178+16 x177-0=62
15.99/16.02	c 32 ~x299245+16 ~x299244+8 ~x299243+4 ~x299242+2 ~x299241+1 ~x299240+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212+1 x181+2 x180+4 x179+8 x178+16 x177-0=95
15.99/16.03	c 32 ~x299865+16 ~x299864+8 ~x299863+4 ~x299862+2 ~x299861+1 ~x299860+1 x216+2 x215+4 x214+8 x213+16 x212+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177-0=95
15.99/16.06	c 16 ~x300484+8 ~x300483+4 ~x300482+2 ~x300481+1 ~x300480+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=62
15.99/16.06	c 16 ~x300998+8 ~x300997+4 ~x300996+2 ~x300995+1 ~x300994+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x43+2 x42+4 x41+8 x40+16 x39-0=62
15.99/16.09	c 32 ~x301513+16 ~x301512+8 ~x301511+4 ~x301510+2 ~x301509+1 ~x301508+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x43+2 x42+4 x41+8 x40+16 x39-0=95
15.99/16.09	c 32 ~x302133+16 ~x302132+8 ~x302131+4 ~x302130+2 ~x302129+1 ~x302128+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x43+2 ~x42+4 ~x41+8 ~x40+16 ~x39-0=95
16.08/16.12	c 16 ~x302752+8 ~x302751+4 ~x302750+2 ~x302749+1 ~x302748+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=62
16.08/16.12	c 16 ~x303266+8 ~x303265+4 ~x303264+2 ~x303263+1 ~x303262+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x69+2 x68+4 x67+8 x66+16 x65-0=62
16.08/16.14	c 32 ~x303781+16 ~x303780+8 ~x303779+4 ~x303778+2 ~x303777+1 ~x303776+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x69+2 x68+4 x67+8 x66+16 x65-0=95
16.08/16.14	c 32 ~x304401+16 ~x304400+8 ~x304399+4 ~x304398+2 ~x304397+1 ~x304396+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x69+2 ~x68+4 ~x67+8 ~x66+16 ~x65-0=95
16.08/16.16	c 16 ~x305020+8 ~x305019+4 ~x305018+2 ~x305017+1 ~x305016+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=62
16.08/16.19	c 16 ~x305534+8 ~x305533+4 ~x305532+2 ~x305531+1 ~x305530+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x98+2 x97+4 x96+8 x95+16 x94-0=62
16.08/16.19	c 32 ~x306049+16 ~x306048+8 ~x306047+4 ~x306046+2 ~x306045+1 ~x306044+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x98+2 x97+4 x96+8 x95+16 x94-0=95
16.18/16.22	c 32 ~x306669+16 ~x306668+8 ~x306667+4 ~x306666+2 ~x306665+1 ~x306664+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x98+2 ~x97+4 ~x96+8 ~x95+16 ~x94-0=95
16.18/16.22	c 16 ~x307288+8 ~x307287+4 ~x307286+2 ~x307285+1 ~x307284+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212-0=62
16.18/16.24	c 16 ~x307802+8 ~x307801+4 ~x307800+2 ~x307799+1 ~x307798+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x216+2 x215+4 x214+8 x213+16 x212-0=62
16.18/16.24	c 32 ~x308317+16 ~x308316+8 ~x308315+4 ~x308314+2 ~x308313+1 ~x308312+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x216+2 x215+4 x214+8 x213+16 x212-0=95
16.18/16.26	c 32 ~x308937+16 ~x308936+8 ~x308935+4 ~x308934+2 ~x308933+1 ~x308932+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x216+2 ~x215+4 ~x214+8 ~x213+16 ~x212-0=95
16.18/16.28	c 16 ~x309556+8 ~x309555+4 ~x309554+2 ~x309553+1 ~x309552+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.18/16.28	c 32 ~x310071+16 ~x310070+8 ~x310069+4 ~x310068+2 ~x310067+1 ~x310066+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.28/16.32	c 32 ~x310691+16 ~x310690+8 ~x310689+4 ~x310688+2 ~x310687+1 ~x310686+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.28/16.32	c 16 ~x311310+8 ~x311309+4 ~x311308+2 ~x311307+1 ~x311306+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.28/16.34	c 16 ~x311824+8 ~x311823+4 ~x311822+2 ~x311821+1 ~x311820+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.28/16.34	c 32 ~x312339+16 ~x312338+8 ~x312337+4 ~x312336+2 ~x312335+1 ~x312334+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.28/16.37	c 32 ~x312959+16 ~x312958+8 ~x312957+4 ~x312956+2 ~x312955+1 ~x312954+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.28/16.37	c 16 ~x313578+8 ~x313577+4 ~x313576+2 ~x313575+1 ~x313574+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.38/16.40	c 16 ~x314092+8 ~x314091+4 ~x314090+2 ~x314089+1 ~x314088+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.38/16.40	c 32 ~x314607+16 ~x314606+8 ~x314605+4 ~x314604+2 ~x314603+1 ~x314602+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.38/16.43	c 32 ~x315227+16 ~x315226+8 ~x315225+4 ~x315224+2 ~x315223+1 ~x315222+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.38/16.43	c 16 ~x315846+8 ~x315845+4 ~x315844+2 ~x315843+1 ~x315842+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.38/16.45	c 16 ~x316360+8 ~x316359+4 ~x316358+2 ~x316357+1 ~x316356+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.38/16.45	c 32 ~x316875+16 ~x316874+8 ~x316873+4 ~x316872+2 ~x316871+1 ~x316870+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.38/16.47	c 32 ~x317495+16 ~x317494+8 ~x317493+4 ~x317492+2 ~x317491+1 ~x317490+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.49/16.50	c 16 ~x318114+8 ~x318113+4 ~x318112+2 ~x318111+1 ~x318110+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.49/16.50	c 16 ~x318628+8 ~x318627+4 ~x318626+2 ~x318625+1 ~x318624+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.49/16.53	c 32 ~x319143+16 ~x319142+8 ~x319141+4 ~x319140+2 ~x319139+1 ~x319138+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.49/16.53	c 32 ~x319763+16 ~x319762+8 ~x319761+4 ~x319760+2 ~x319759+1 ~x319758+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.49/16.55	c 16 ~x320382+8 ~x320381+4 ~x320380+2 ~x320379+1 ~x320378+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.49/16.55	c 16 ~x320896+8 ~x320895+4 ~x320894+2 ~x320893+1 ~x320892+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.49/16.58	c 32 ~x321411+16 ~x321410+8 ~x321409+4 ~x321408+2 ~x321407+1 ~x321406+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.49/16.58	c 32 ~x322031+16 ~x322030+8 ~x322029+4 ~x322028+2 ~x322027+1 ~x322026+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.59/16.61	c 16 ~x322650+8 ~x322649+4 ~x322648+2 ~x322647+1 ~x322646+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.59/16.61	c 16 ~x323164+8 ~x323163+4 ~x323162+2 ~x323161+1 ~x323160+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x303+2 x302+4 x301+8 x300+16 x299-0=62
16.59/16.64	c 16 ~x323678+8 ~x323677+4 ~x323676+2 ~x323675+1 ~x323674+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=62
16.59/16.64	c 32 ~x324193+16 ~x324192+8 ~x324191+4 ~x324190+2 ~x324189+1 ~x324188+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=95
16.59/16.65	c 32 ~x324813+16 ~x324812+8 ~x324811+4 ~x324810+2 ~x324809+1 ~x324808+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x303+2 x302+4 x301+8 x300+16 x299-0=95
16.59/16.68	c 16 ~x325432+8 ~x325431+4 ~x325430+2 ~x325429+1 ~x325428+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x303+2 x302+4 x301+8 x300+16 x299-0=62
16.59/16.68	c 16 ~x325946+8 ~x325945+4 ~x325944+2 ~x325943+1 ~x325942+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=62
16.68/16.71	c 32 ~x326461+16 ~x326460+8 ~x326459+4 ~x326458+2 ~x326457+1 ~x326456+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=95
16.68/16.71	c 32 ~x327081+16 ~x327080+8 ~x327079+4 ~x327078+2 ~x327077+1 ~x327076+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x303+2 x302+4 x301+8 x300+16 x299-0=95
16.68/16.75	c 16 ~x327700+8 ~x327699+4 ~x327698+2 ~x327697+1 ~x327696+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.68/16.75	c 32 ~x328215+16 ~x328214+8 ~x328213+4 ~x328212+2 ~x328211+1 ~x328210+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.68/16.78	c 32 ~x328835+16 ~x328834+8 ~x328833+4 ~x328832+2 ~x328831+1 ~x328830+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.68/16.78	c 16 ~x329454+8 ~x329453+4 ~x329452+2 ~x329451+1 ~x329450+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.79/16.80	c 16 ~x329968+8 ~x329967+4 ~x329966+2 ~x329965+1 ~x329964+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.79/16.80	c 16 ~x330482+8 ~x330481+4 ~x330480+2 ~x330479+1 ~x330478+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
16.79/16.81	c 32 ~x330997+16 ~x330996+8 ~x330995+4 ~x330994+2 ~x330993+1 ~x330992+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.79/16.85	c 32 ~x331617+16 ~x331616+8 ~x331615+4 ~x331614+2 ~x331613+1 ~x331612+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
16.79/16.85	c 16 ~x332236+8 ~x332235+4 ~x332234+2 ~x332233+1 ~x332232+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.79/16.87	c 32 ~x332751+16 ~x332750+8 ~x332749+4 ~x332748+2 ~x332747+1 ~x332746+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.79/16.87	c 32 ~x333371+16 ~x333370+8 ~x333369+4 ~x333368+2 ~x333367+1 ~x333366+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
16.88/16.90	c 16 ~x333990+8 ~x333989+4 ~x333988+2 ~x333987+1 ~x333986+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.88/16.90	c 16 ~x334504+8 ~x334503+4 ~x334502+2 ~x334501+1 ~x334500+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
16.88/16.93	c 16 ~x335018+8 ~x335017+4 ~x335016+2 ~x335015+1 ~x335014+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
16.88/16.93	c 32 ~x335533+16 ~x335532+8 ~x335531+4 ~x335530+2 ~x335529+1 ~x335528+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
16.88/16.96	c 32 ~x336153+16 ~x336152+8 ~x336151+4 ~x336150+2 ~x336149+1 ~x336148+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
16.88/16.96	c 16 ~x336772+8 ~x336771+4 ~x336770+2 ~x336769+1 ~x336768+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x303+2 x302+4 x301+8 x300+16 x299-0=62
16.88/16.98	c 16 ~x337286+8 ~x337285+4 ~x337284+2 ~x337283+1 ~x337282+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=62
16.88/16.98	c 32 ~x337801+16 ~x337800+8 ~x337799+4 ~x337798+2 ~x337797+1 ~x337796+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=95
16.98/17.00	c 32 ~x338421+16 ~x338420+8 ~x338419+4 ~x338418+2 ~x338417+1 ~x338416+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x303+2 x302+4 x301+8 x300+16 x299-0=95
16.98/17.03	c 16 ~x339040+8 ~x339039+4 ~x339038+2 ~x339037+1 ~x339036+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x303+2 x302+4 x301+8 x300+16 x299-0=62
16.98/17.03	c 16 ~x339554+8 ~x339553+4 ~x339552+2 ~x339551+1 ~x339550+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=62
16.98/17.06	c 32 ~x340069+16 ~x340068+8 ~x340067+4 ~x340066+2 ~x340065+1 ~x340064+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=95
16.98/17.06	c 32 ~x340689+16 ~x340688+8 ~x340687+4 ~x340686+2 ~x340685+1 ~x340684+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x303+2 x302+4 x301+8 x300+16 x299-0=95
16.98/17.08	c 16 ~x341308+8 ~x341307+4 ~x341306+2 ~x341305+1 ~x341304+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
16.98/17.08	c 32 ~x341823+16 ~x341822+8 ~x341821+4 ~x341820+2 ~x341819+1 ~x341818+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
17.08/17.10	c 32 ~x342443+16 ~x342442+8 ~x342441+4 ~x342440+2 ~x342439+1 ~x342438+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.08/17.13	c 16 ~x343062+8 ~x343061+4 ~x343060+2 ~x343059+1 ~x343058+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
17.08/17.13	c 16 ~x343576+8 ~x343575+4 ~x343574+2 ~x343573+1 ~x343572+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
17.08/17.15	c 16 ~x344090+8 ~x344089+4 ~x344088+2 ~x344087+1 ~x344086+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
17.08/17.15	c 32 ~x344605+16 ~x344604+8 ~x344603+4 ~x344602+2 ~x344601+1 ~x344600+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
17.08/17.18	c 32 ~x345225+16 ~x345224+8 ~x345223+4 ~x345222+2 ~x345221+1 ~x345220+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
17.08/17.18	c 16 ~x345844+8 ~x345843+4 ~x345842+2 ~x345841+1 ~x345840+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
17.19/17.21	c 32 ~x346359+16 ~x346358+8 ~x346357+4 ~x346356+2 ~x346355+1 ~x346354+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
17.19/17.21	c 32 ~x346979+16 ~x346978+8 ~x346977+4 ~x346976+2 ~x346975+1 ~x346974+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.19/17.24	c 16 ~x347598+8 ~x347597+4 ~x347596+2 ~x347595+1 ~x347594+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
17.19/17.24	c 16 ~x348112+8 ~x348111+4 ~x348110+2 ~x348109+1 ~x348108+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
17.19/17.27	c 16 ~x348626+8 ~x348625+4 ~x348624+2 ~x348623+1 ~x348622+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
17.19/17.27	c 32 ~x349141+16 ~x349140+8 ~x349139+4 ~x349138+2 ~x349137+1 ~x349136+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
17.19/17.30	c 32 ~x349761+16 ~x349760+8 ~x349759+4 ~x349758+2 ~x349757+1 ~x349756+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
17.19/17.30	c 16 ~x350380+8 ~x350379+4 ~x350378+2 ~x350377+1 ~x350376+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.29/17.32	c 32 ~x350895+16 ~x350894+8 ~x350893+4 ~x350892+2 ~x350891+1 ~x350890+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.29/17.32	c 32 ~x351515+16 ~x351514+8 ~x351513+4 ~x351512+2 ~x351511+1 ~x351510+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.29/17.34	c 16 ~x352134+8 ~x352133+4 ~x352132+2 ~x352131+1 ~x352130+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
17.29/17.37	c 16 ~x352648+8 ~x352647+4 ~x352646+2 ~x352645+1 ~x352644+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.29/17.37	c 32 ~x353163+16 ~x353162+8 ~x353161+4 ~x353160+2 ~x353159+1 ~x353158+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.29/17.40	c 32 ~x353783+16 ~x353782+8 ~x353781+4 ~x353780+2 ~x353779+1 ~x353778+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.29/17.40	c 16 ~x354402+8 ~x354401+4 ~x354400+2 ~x354399+1 ~x354398+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
17.39/17.42	c 16 ~x354916+8 ~x354915+4 ~x354914+2 ~x354913+1 ~x354912+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.39/17.42	c 32 ~x355431+16 ~x355430+8 ~x355429+4 ~x355428+2 ~x355427+1 ~x355426+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.39/17.45	c 32 ~x356051+16 ~x356050+8 ~x356049+4 ~x356048+2 ~x356047+1 ~x356046+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.39/17.45	c 16 ~x356670+8 ~x356669+4 ~x356668+2 ~x356667+1 ~x356666+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
17.39/17.48	c 16 ~x357184+8 ~x357183+4 ~x357182+2 ~x357181+1 ~x357180+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.39/17.48	c 32 ~x357699+16 ~x357698+8 ~x357697+4 ~x357696+2 ~x357695+1 ~x357694+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.48/17.51	c 32 ~x358319+16 ~x358318+8 ~x358317+4 ~x358316+2 ~x358315+1 ~x358314+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.48/17.51	c 16 ~x358938+8 ~x358937+4 ~x358936+2 ~x358935+1 ~x358934+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
17.48/17.53	c 16 ~x359452+8 ~x359451+4 ~x359450+2 ~x359449+1 ~x359448+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.48/17.53	c 32 ~x359967+16 ~x359966+8 ~x359965+4 ~x359964+2 ~x359963+1 ~x359962+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.48/17.55	c 32 ~x360587+16 ~x360586+8 ~x360585+4 ~x360584+2 ~x360583+1 ~x360582+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.48/17.58	c 16 ~x361206+8 ~x361205+4 ~x361204+2 ~x361203+1 ~x361202+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
17.48/17.58	c 16 ~x361720+8 ~x361719+4 ~x361718+2 ~x361717+1 ~x361716+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.59/17.61	c 32 ~x362235+16 ~x362234+8 ~x362233+4 ~x362232+2 ~x362231+1 ~x362230+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
17.59/17.61	c 32 ~x362855+16 ~x362854+8 ~x362853+4 ~x362852+2 ~x362851+1 ~x362850+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.59/17.63	c 16 ~x363474+8 ~x363473+4 ~x363472+2 ~x363471+1 ~x363470+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
17.59/17.63	c 32 ~x363989+16 ~x363988+8 ~x363987+4 ~x363986+2 ~x363985+1 ~x363984+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.59/17.66	c 16 ~x364608+8 ~x364607+4 ~x364606+2 ~x364605+1 ~x364604+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
17.59/17.66	c 16 ~x365122+8 ~x365121+4 ~x365120+2 ~x365119+1 ~x365118+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.59/17.69	c 32 ~x365637+16 ~x365636+8 ~x365635+4 ~x365634+2 ~x365633+1 ~x365632+1 x303+2 x302+4 x301+8 x300+16 x299+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
17.59/17.69	c 16 ~x366256+8 ~x366255+4 ~x366254+2 ~x366253+1 ~x366252+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
17.69/17.72	c 32 ~x366771+16 ~x366770+8 ~x366769+4 ~x366768+2 ~x366767+1 ~x366766+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.69/17.72	c 32 ~x367391+16 ~x367390+8 ~x367389+4 ~x367388+2 ~x367387+1 ~x367386+1 x116+2 x115+4 x114+8 x113+16 x112+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
17.69/17.75	c 16 ~x368010+8 ~x368009+4 ~x368008+2 ~x368007+1 ~x368006+1 ~x116+2 ~x115+4 ~x114+8 ~x113+16 ~x112+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.69/17.75	c 16 ~x368524+8 ~x368523+4 ~x368522+2 ~x368521+1 ~x368520+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
17.69/17.77	c 32 ~x369039+16 ~x369038+8 ~x369037+4 ~x369036+2 ~x369035+1 ~x369034+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.69/17.77	c 32 ~x369659+16 ~x369658+8 ~x369657+4 ~x369656+2 ~x369655+1 ~x369654+1 x125+2 x124+4 x123+8 x122+16 x121+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
17.69/17.79	c 16 ~x370278+8 ~x370277+4 ~x370276+2 ~x370275+1 ~x370274+1 ~x125+2 ~x124+4 ~x123+8 ~x122+16 ~x121+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.78/17.81	c 16 ~x370792+8 ~x370791+4 ~x370790+2 ~x370789+1 ~x370788+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
17.78/17.81	c 32 ~x371307+16 ~x371306+8 ~x371305+4 ~x371304+2 ~x371303+1 ~x371302+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.78/17.84	c 32 ~x371927+16 ~x371926+8 ~x371925+4 ~x371924+2 ~x371923+1 ~x371922+1 x136+2 x135+4 x134+8 x133+16 x132+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
17.78/17.84	c 16 ~x372546+8 ~x372545+4 ~x372544+2 ~x372543+1 ~x372542+1 ~x136+2 ~x135+4 ~x134+8 ~x133+16 ~x132+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.78/17.87	c 16 ~x373060+8 ~x373059+4 ~x373058+2 ~x373057+1 ~x373056+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
17.78/17.87	c 32 ~x373575+16 ~x373574+8 ~x373573+4 ~x373572+2 ~x373571+1 ~x373570+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.88/17.90	c 32 ~x374195+16 ~x374194+8 ~x374193+4 ~x374192+2 ~x374191+1 ~x374190+1 x149+2 x148+4 x147+8 x146+16 x145+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
17.88/17.90	c 16 ~x374814+8 ~x374813+4 ~x374812+2 ~x374811+1 ~x374810+1 ~x149+2 ~x148+4 ~x147+8 ~x146+16 ~x145+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.88/17.93	c 16 ~x375328+8 ~x375327+4 ~x375326+2 ~x375325+1 ~x375324+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
17.88/17.93	c 32 ~x375843+16 ~x375842+8 ~x375841+4 ~x375840+2 ~x375839+1 ~x375838+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.88/17.96	c 32 ~x376463+16 ~x376462+8 ~x376461+4 ~x376460+2 ~x376459+1 ~x376458+1 x164+2 x163+4 x162+8 x161+16 x160+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
17.88/17.96	c 16 ~x377082+8 ~x377081+4 ~x377080+2 ~x377079+1 ~x377078+1 ~x164+2 ~x163+4 ~x162+8 ~x161+16 ~x160+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.88/17.98	c 16 ~x377596+8 ~x377595+4 ~x377594+2 ~x377593+1 ~x377592+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=59
17.88/17.98	c 32 ~x378111+16 ~x378110+8 ~x378109+4 ~x378108+2 ~x378107+1 ~x378106+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
17.99/18.00	c 32 ~x378731+16 ~x378730+8 ~x378729+4 ~x378728+2 ~x378727+1 ~x378726+1 x181+2 x180+4 x179+8 x178+16 x177+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=98
17.99/18.03	c 16 ~x379350+8 ~x379349+4 ~x379348+2 ~x379347+1 ~x379346+1 ~x181+2 ~x180+4 ~x179+8 ~x178+16 ~x177+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
17.99/18.03	c 16 ~x379864+8 ~x379863+4 ~x379862+2 ~x379861+1 ~x379860+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x303+2 x302+4 x301+8 x300+16 x299-0=62
17.99/18.05	c 16 ~x380378+8 ~x380377+4 ~x380376+2 ~x380375+1 ~x380374+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=62
17.99/18.05	c 32 ~x380893+16 ~x380892+8 ~x380891+4 ~x380890+2 ~x380889+1 ~x380888+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=95
17.99/18.08	c 32 ~x381513+16 ~x381512+8 ~x381511+4 ~x381510+2 ~x381509+1 ~x381508+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x303+2 x302+4 x301+8 x300+16 x299-0=95
17.99/18.08	c 16 ~x382132+8 ~x382131+4 ~x382130+2 ~x382129+1 ~x382128+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.09/18.11	c 32 ~x382647+16 ~x382646+8 ~x382645+4 ~x382644+2 ~x382643+1 ~x382642+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.09/18.11	c 32 ~x383267+16 ~x383266+8 ~x383265+4 ~x383264+2 ~x383263+1 ~x383262+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.09/18.14	c 16 ~x383886+8 ~x383885+4 ~x383884+2 ~x383883+1 ~x383882+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.09/18.14	c 16 ~x384400+8 ~x384399+4 ~x384398+2 ~x384397+1 ~x384396+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.09/18.16	c 16 ~x384914+8 ~x384913+4 ~x384912+2 ~x384911+1 ~x384910+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
18.09/18.16	c 32 ~x385429+16 ~x385428+8 ~x385427+4 ~x385426+2 ~x385425+1 ~x385424+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.09/18.18	c 32 ~x386049+16 ~x386048+8 ~x386047+4 ~x386046+2 ~x386045+1 ~x386044+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
18.19/18.21	c 16 ~x386668+8 ~x386667+4 ~x386666+2 ~x386665+1 ~x386664+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
18.19/18.21	c 32 ~x387183+16 ~x387182+8 ~x387181+4 ~x387180+2 ~x387179+1 ~x387178+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.19/18.24	c 32 ~x387803+16 ~x387802+8 ~x387801+4 ~x387800+2 ~x387799+1 ~x387798+1 x399+2 x398+4 x397+8 x396+16 x395+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
18.19/18.24	c 16 ~x388422+8 ~x388421+4 ~x388420+2 ~x388419+1 ~x388418+1 ~x399+2 ~x398+4 ~x397+8 ~x396+16 ~x395+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.19/18.26	c 16 ~x388936+8 ~x388935+4 ~x388934+2 ~x388933+1 ~x388932+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
18.19/18.26	c 32 ~x389451+16 ~x389450+8 ~x389449+4 ~x389448+2 ~x389447+1 ~x389446+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.19/18.29	c 32 ~x390071+16 ~x390070+8 ~x390069+4 ~x390068+2 ~x390067+1 ~x390066+1 x406+2 x405+4 x404+8 x403+16 x402+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
18.19/18.29	c 16 ~x390690+8 ~x390689+4 ~x390688+2 ~x390687+1 ~x390686+1 ~x406+2 ~x405+4 ~x404+8 ~x403+16 ~x402+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.29/18.32	c 16 ~x391204+8 ~x391203+4 ~x391202+2 ~x391201+1 ~x391200+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
18.29/18.32	c 32 ~x391719+16 ~x391718+8 ~x391717+4 ~x391716+2 ~x391715+1 ~x391714+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.29/18.35	c 32 ~x392339+16 ~x392338+8 ~x392337+4 ~x392336+2 ~x392335+1 ~x392334+1 x469+2 x468+4 x467+8 x466+16 x465+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
18.29/18.35	c 16 ~x392958+8 ~x392957+4 ~x392956+2 ~x392955+1 ~x392954+1 ~x469+2 ~x468+4 ~x467+8 ~x466+16 ~x465+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.29/18.38	c 16 ~x393472+8 ~x393471+4 ~x393470+2 ~x393469+1 ~x393468+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x303+2 x302+4 x301+8 x300+16 x299-0=62
18.29/18.38	c 16 ~x393986+8 ~x393985+4 ~x393984+2 ~x393983+1 ~x393982+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=62
18.29/18.39	c 32 ~x394501+16 ~x394500+8 ~x394499+4 ~x394498+2 ~x394497+1 ~x394496+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x303+2 ~x302+4 ~x301+8 ~x300+16 ~x299-0=95
18.38/18.42	c 32 ~x395121+16 ~x395120+8 ~x395119+4 ~x395118+2 ~x395117+1 ~x395116+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x303+2 x302+4 x301+8 x300+16 x299-0=95
18.38/18.42	c 16 ~x395740+8 ~x395739+4 ~x395738+2 ~x395737+1 ~x395736+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.38/18.45	c 32 ~x396255+16 ~x396254+8 ~x396253+4 ~x396252+2 ~x396251+1 ~x396250+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.38/18.45	c 32 ~x396875+16 ~x396874+8 ~x396873+4 ~x396872+2 ~x396871+1 ~x396870+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.38/18.48	c 16 ~x397494+8 ~x397493+4 ~x397492+2 ~x397491+1 ~x397490+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.38/18.48	c 16 ~x398008+8 ~x398007+4 ~x398006+2 ~x398005+1 ~x398004+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.48/18.50	c 16 ~x398522+8 ~x398521+4 ~x398520+2 ~x398519+1 ~x398518+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
18.48/18.50	c 32 ~x399037+16 ~x399036+8 ~x399035+4 ~x399034+2 ~x399033+1 ~x399032+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.48/18.53	c 32 ~x399657+16 ~x399656+8 ~x399655+4 ~x399654+2 ~x399653+1 ~x399652+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
18.48/18.53	c 16 ~x400276+8 ~x400275+4 ~x400274+2 ~x400273+1 ~x400272+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
18.48/18.54	c 32 ~x400791+16 ~x400790+8 ~x400789+4 ~x400788+2 ~x400787+1 ~x400786+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.48/18.57	c 32 ~x401411+16 ~x401410+8 ~x401409+4 ~x401408+2 ~x401407+1 ~x401406+1 x421+2 x420+4 x419+8 x418+16 x417+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
18.48/18.57	c 16 ~x402030+8 ~x402029+4 ~x402028+2 ~x402027+1 ~x402026+1 ~x421+2 ~x420+4 ~x419+8 ~x418+16 ~x417+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.58/18.60	c 16 ~x402544+8 ~x402543+4 ~x402542+2 ~x402541+1 ~x402540+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
18.58/18.60	c 32 ~x403059+16 ~x403058+8 ~x403057+4 ~x403056+2 ~x403055+1 ~x403054+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.58/18.63	c 32 ~x403679+16 ~x403678+8 ~x403677+4 ~x403676+2 ~x403675+1 ~x403674+1 x428+2 x427+4 x426+8 x425+16 x424+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
18.58/18.63	c 16 ~x404298+8 ~x404297+4 ~x404296+2 ~x404295+1 ~x404294+1 ~x428+2 ~x427+4 ~x426+8 ~x425+16 ~x424+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.58/18.66	c 16 ~x404812+8 ~x404811+4 ~x404810+2 ~x404809+1 ~x404808+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x7+2 x6+4 x5+8 x4+16 x3-0=60
18.58/18.66	c 32 ~x405327+16 ~x405326+8 ~x405325+4 ~x405324+2 ~x405323+1 ~x405322+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.58/18.69	c 32 ~x405947+16 ~x405946+8 ~x405945+4 ~x405944+2 ~x405943+1 ~x405942+1 x486+2 x485+4 x484+8 x483+16 x482+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=97
18.58/18.69	c 16 ~x406566+8 ~x406565+4 ~x406564+2 ~x406563+1 ~x406562+1 ~x486+2 ~x485+4 ~x484+8 ~x483+16 ~x482+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.69/18.71	c 8 ~x407079+4 ~x407078+2 ~x407077+1 ~x407076+1 x502+2 x501+4 x500+8 x499+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=30
18.69/18.71	c 8 ~x407457+4 ~x407456+2 ~x407455+1 ~x407454+1 ~x502+2 ~x501+4 ~x500+8 ~x499+1 x254+2 x253+4 x252+8 x251-0=30
18.69/18.73	c 16 ~x407836+8 ~x407835+4 ~x407834+2 ~x407833+1 ~x407832+1 ~x502+2 ~x501+4 ~x500+8 ~x499+1 x254+2 x253+4 x252+8 x251-0=47
18.69/18.73	c 16 ~x408260+8 ~x408259+4 ~x408258+2 ~x408257+1 ~x408256+1 x502+2 x501+4 x500+8 x499+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=47
18.69/18.75	c 8 ~x408683+4 ~x408682+2 ~x408681+1 ~x408680+1 x508+2 x507+4 x506+8 x505+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=30
18.69/18.75	c 8 ~x409061+4 ~x409060+2 ~x409059+1 ~x409058+1 ~x508+2 ~x507+4 ~x506+8 ~x505+1 x254+2 x253+4 x252+8 x251-0=30
18.69/18.79	c 16 ~x409440+8 ~x409439+4 ~x409438+2 ~x409437+1 ~x409436+1 ~x508+2 ~x507+4 ~x506+8 ~x505+1 x254+2 x253+4 x252+8 x251-0=47
18.69/18.79	c 16 ~x409864+8 ~x409863+4 ~x409862+2 ~x409861+1 ~x409860+1 x508+2 x507+4 x506+8 x505+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=47
18.69/18.79	c 8 ~x410287+4 ~x410286+2 ~x410285+1 ~x410284+1 x514+2 x513+4 x512+8 x511+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=30
18.79/18.81	c 8 ~x410665+4 ~x410664+2 ~x410663+1 ~x410662+1 ~x514+2 ~x513+4 ~x512+8 ~x511+1 x254+2 x253+4 x252+8 x251-0=30
18.79/18.81	c 16 ~x411044+8 ~x411043+4 ~x411042+2 ~x411041+1 ~x411040+1 ~x514+2 ~x513+4 ~x512+8 ~x511+1 x254+2 x253+4 x252+8 x251-0=47
18.79/18.84	c 16 ~x411468+8 ~x411467+4 ~x411466+2 ~x411465+1 ~x411464+1 x514+2 x513+4 x512+8 x511+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=47
18.79/18.84	c 16 ~x411892+8 ~x411891+4 ~x411890+2 ~x411889+1 ~x411888+1 ~x521+2 ~x520+4 ~x519+8 ~x518+16 ~x517+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.79/18.86	c 16 ~x412406+8 ~x412405+4 ~x412404+2 ~x412403+1 ~x412402+1 x521+2 x520+4 x519+8 x518+16 x517+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
18.79/18.86	c 32 ~x412921+16 ~x412920+8 ~x412919+4 ~x412918+2 ~x412917+1 ~x412916+1 x521+2 x520+4 x519+8 x518+16 x517+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.79/18.89	c 32 ~x413541+16 ~x413540+8 ~x413539+4 ~x413538+2 ~x413537+1 ~x413536+1 ~x521+2 ~x520+4 ~x519+8 ~x518+16 ~x517+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
18.79/18.89	c 16 ~x414160+8 ~x414159+4 ~x414158+2 ~x414157+1 ~x414156+1 ~x528+2 ~x527+4 ~x526+8 ~x525+16 ~x524+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.88/18.92	c 16 ~x414674+8 ~x414673+4 ~x414672+2 ~x414671+1 ~x414670+1 x528+2 x527+4 x526+8 x525+16 x524+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
18.88/18.92	c 32 ~x415189+16 ~x415188+8 ~x415187+4 ~x415186+2 ~x415185+1 ~x415184+1 x528+2 x527+4 x526+8 x525+16 x524+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.88/18.93	c 32 ~x415809+16 ~x415808+8 ~x415807+4 ~x415806+2 ~x415805+1 ~x415804+1 ~x528+2 ~x527+4 ~x526+8 ~x525+16 ~x524+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
18.88/18.96	c 16 ~x416428+8 ~x416427+4 ~x416426+2 ~x416425+1 ~x416424+1 ~x535+2 ~x534+4 ~x533+8 ~x532+16 ~x531+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.88/18.96	c 16 ~x416942+8 ~x416941+4 ~x416940+2 ~x416939+1 ~x416938+1 x535+2 x534+4 x533+8 x532+16 x531+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
18.88/18.99	c 32 ~x417457+16 ~x417456+8 ~x417455+4 ~x417454+2 ~x417453+1 ~x417452+1 x535+2 x534+4 x533+8 x532+16 x531+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.88/18.99	c 32 ~x418077+16 ~x418076+8 ~x418075+4 ~x418074+2 ~x418073+1 ~x418072+1 ~x535+2 ~x534+4 ~x533+8 ~x532+16 ~x531+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
18.99/19.02	c 16 ~x418696+8 ~x418695+4 ~x418694+2 ~x418693+1 ~x418692+1 ~x521+2 ~x520+4 ~x519+8 ~x518+16 ~x517+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.99/19.02	c 32 ~x419211+16 ~x419210+8 ~x419209+4 ~x419208+2 ~x419207+1 ~x419206+1 x521+2 x520+4 x519+8 x518+16 x517+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
18.99/19.05	c 32 ~x419831+16 ~x419830+8 ~x419829+4 ~x419828+2 ~x419827+1 ~x419826+1 x521+2 x520+4 x519+8 x518+16 x517+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
18.99/19.05	c 16 ~x420450+8 ~x420449+4 ~x420448+2 ~x420447+1 ~x420446+1 ~x521+2 ~x520+4 ~x519+8 ~x518+16 ~x517+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
18.99/19.07	c 16 ~x420964+8 ~x420963+4 ~x420962+2 ~x420961+1 ~x420960+1 ~x535+2 ~x534+4 ~x533+8 ~x532+16 ~x531+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
18.99/19.07	c 32 ~x421479+16 ~x421478+8 ~x421477+4 ~x421476+2 ~x421475+1 ~x421474+1 x535+2 x534+4 x533+8 x532+16 x531+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
19.09/19.10	c 32 ~x422099+16 ~x422098+8 ~x422097+4 ~x422096+2 ~x422095+1 ~x422094+1 x535+2 x534+4 x533+8 x532+16 x531+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
19.09/19.10	c 16 ~x422718+8 ~x422717+4 ~x422716+2 ~x422715+1 ~x422714+1 ~x535+2 ~x534+4 ~x533+8 ~x532+16 ~x531+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
19.09/19.13	c 16 ~x423232+8 ~x423231+4 ~x423230+2 ~x423229+1 ~x423228+1 ~x546+2 ~x545+4 ~x544+8 ~x543+16 ~x542+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
19.09/19.13	c 16 ~x423746+8 ~x423745+4 ~x423744+2 ~x423743+1 ~x423742+1 x546+2 x545+4 x544+8 x543+16 x542+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=62
19.09/19.14	c 32 ~x424261+16 ~x424260+8 ~x424259+4 ~x424258+2 ~x424257+1 ~x424256+1 x546+2 x545+4 x544+8 x543+16 x542+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
19.09/19.17	c 32 ~x424881+16 ~x424880+8 ~x424879+4 ~x424878+2 ~x424877+1 ~x424876+1 ~x546+2 ~x545+4 ~x544+8 ~x543+16 ~x542+1 x7+2 x6+4 x5+8 x4+16 x3-0=95
19.09/19.17	c 16 ~x425500+8 ~x425499+4 ~x425498+2 ~x425497+1 ~x425496+1 ~x528+2 ~x527+4 ~x526+8 ~x525+16 ~x524+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
19.19/19.20	c 32 ~x426015+16 ~x426014+8 ~x426013+4 ~x426012+2 ~x426011+1 ~x426010+1 x528+2 x527+4 x526+8 x525+16 x524+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
19.19/19.20	c 32 ~x426635+16 ~x426634+8 ~x426633+4 ~x426632+2 ~x426631+1 ~x426630+1 x528+2 x527+4 x526+8 x525+16 x524+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
19.19/19.23	c 16 ~x427254+8 ~x427253+4 ~x427252+2 ~x427251+1 ~x427250+1 ~x528+2 ~x527+4 ~x526+8 ~x525+16 ~x524+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
19.19/19.23	c 16 ~x427768+8 ~x427767+4 ~x427766+2 ~x427765+1 ~x427764+1 ~x546+2 ~x545+4 ~x544+8 ~x543+16 ~x542+1 x7+2 x6+4 x5+8 x4+16 x3-0=61
19.19/19.26	c 32 ~x428283+16 ~x428282+8 ~x428281+4 ~x428280+2 ~x428279+1 ~x428278+1 x546+2 x545+4 x544+8 x543+16 x542+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=95
19.19/19.26	c 32 ~x428903+16 ~x428902+8 ~x428901+4 ~x428900+2 ~x428899+1 ~x428898+1 x546+2 x545+4 x544+8 x543+16 x542+1 ~x7+2 ~x6+4 ~x5+8 ~x4+16 ~x3-0=96
19.19/19.29	c 16 ~x429522+8 ~x429521+4 ~x429520+2 ~x429519+1 ~x429518+1 ~x546+2 ~x545+4 ~x544+8 ~x543+16 ~x542+1 x7+2 x6+4 x5+8 x4+16 x3-0=62
19.19/19.29	c 8 ~x430035+4 ~x430034+2 ~x430033+1 ~x430032+1 x556+2 x555+4 x554+8 x553+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=30
19.29/19.31	c 8 ~x430413+4 ~x430412+2 ~x430411+1 ~x430410+1 ~x556+2 ~x555+4 ~x554+8 ~x553+1 x254+2 x253+4 x252+8 x251-0=30
19.29/19.31	c 16 ~x430792+8 ~x430791+4 ~x430790+2 ~x430789+1 ~x430788+1 ~x556+2 ~x555+4 ~x554+8 ~x553+1 x254+2 x253+4 x252+8 x251-0=47
19.29/19.33	c 16 ~x431216+8 ~x431215+4 ~x431214+2 ~x431213+1 ~x431212+1 x556+2 x555+4 x554+8 x553+1 ~x254+2 ~x253+4 ~x252+8 ~x251-0=47
19.29/19.33	c 8 ~x431639+4 ~x431638+2 ~x431637+1 ~x431636+1 ~x243+2 ~x242+4 ~x241+8 ~x240+1 x30+2 x29+4 x28+8 x27-0=30
19.29/19.36	c 8 ~x432017+4 ~x432016+2 ~x432015+1 ~x432014+1 x243+2 x242+4 x241+8 x240+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
19.29/19.36	c 16 ~x432396+8 ~x432395+4 ~x432394+2 ~x432393+1 ~x432392+1 x243+2 x242+4 x241+8 x240+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
19.29/19.36	c 16 ~x432820+8 ~x432819+4 ~x432818+2 ~x432817+1 ~x432816+1 ~x243+2 ~x242+4 ~x241+8 ~x240+1 x30+2 x29+4 x28+8 x27-0=47
19.29/19.38	c 8 ~x433243+4 ~x433242+2 ~x433241+1 ~x433240+1 ~x284+2 ~x283+4 ~x282+8 ~x281+1 x30+2 x29+4 x28+8 x27-0=30
19.29/19.38	c 8 ~x433621+4 ~x433620+2 ~x433619+1 ~x433618+1 x284+2 x283+4 x282+8 x281+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
19.38/19.40	c 16 ~x434000+8 ~x433999+4 ~x433998+2 ~x433997+1 ~x433996+1 x284+2 x283+4 x282+8 x281+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
19.38/19.40	c 16 ~x434424+8 ~x434423+4 ~x434422+2 ~x434421+1 ~x434420+1 ~x284+2 ~x283+4 ~x282+8 ~x281+1 x30+2 x29+4 x28+8 x27-0=47
19.38/19.42	c 8 ~x434847+4 ~x434846+2 ~x434845+1 ~x434844+1 ~x502+2 ~x501+4 ~x500+8 ~x499+1 x30+2 x29+4 x28+8 x27-0=30
19.38/19.42	c 8 ~x435225+4 ~x435224+2 ~x435223+1 ~x435222+1 x502+2 x501+4 x500+8 x499+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
19.38/19.45	c 16 ~x435604+8 ~x435603+4 ~x435602+2 ~x435601+1 ~x435600+1 x502+2 x501+4 x500+8 x499+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
19.38/19.45	c 16 ~x436028+8 ~x436027+4 ~x436026+2 ~x436025+1 ~x436024+1 ~x502+2 ~x501+4 ~x500+8 ~x499+1 x30+2 x29+4 x28+8 x27-0=47
19.38/19.45	c 8 ~x436451+4 ~x436450+2 ~x436449+1 ~x436448+1 ~x508+2 ~x507+4 ~x506+8 ~x505+1 x30+2 x29+4 x28+8 x27-0=30
19.38/19.47	c 8 ~x436829+4 ~x436828+2 ~x436827+1 ~x436826+1 x508+2 x507+4 x506+8 x505+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
19.38/19.47	c 16 ~x437208+8 ~x437207+4 ~x437206+2 ~x437205+1 ~x437204+1 x508+2 x507+4 x506+8 x505+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
19.38/19.49	c 16 ~x437632+8 ~x437631+4 ~x437630+2 ~x437629+1 ~x437628+1 ~x508+2 ~x507+4 ~x506+8 ~x505+1 x30+2 x29+4 x28+8 x27-0=47
19.38/19.49	c 8 ~x438055+4 ~x438054+2 ~x438053+1 ~x438052+1 ~x514+2 ~x513+4 ~x512+8 ~x511+1 x30+2 x29+4 x28+8 x27-0=30
19.48/19.51	c 8 ~x438433+4 ~x438432+2 ~x438431+1 ~x438430+1 x514+2 x513+4 x512+8 x511+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
19.48/19.51	c 16 ~x438812+8 ~x438811+4 ~x438810+2 ~x438809+1 ~x438808+1 x514+2 x513+4 x512+8 x511+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
19.48/19.55	c 16 ~x439236+8 ~x439235+4 ~x439234+2 ~x439233+1 ~x439232+1 ~x514+2 ~x513+4 ~x512+8 ~x511+1 x30+2 x29+4 x28+8 x27-0=47
19.48/19.55	c 8 ~x439659+4 ~x439658+2 ~x439657+1 ~x439656+1 ~x556+2 ~x555+4 ~x554+8 ~x553+1 x30+2 x29+4 x28+8 x27-0=30
19.48/19.55	c 8 ~x440037+4 ~x440036+2 ~x440035+1 ~x440034+1 x556+2 x555+4 x554+8 x553+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
19.48/19.57	c 16 ~x440416+8 ~x440415+4 ~x440414+2 ~x440413+1 ~x440412+1 x556+2 x555+4 x554+8 x553+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
19.48/19.57	c 16 ~x440840+8 ~x440839+4 ~x440838+2 ~x440837+1 ~x440836+1 ~x556+2 ~x555+4 ~x554+8 ~x553+1 x30+2 x29+4 x28+8 x27-0=47
19.48/19.59	c 8 ~x441263+4 ~x441262+2 ~x441261+1 ~x441260+1 ~x284+2 ~x283+4 ~x282+8 ~x281+1 x200+2 x199+4 x198+8 x197-0=30
19.48/19.59	c 8 ~x441641+4 ~x441640+2 ~x441639+1 ~x441638+1 x284+2 x283+4 x282+8 x281+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=30
19.58/19.61	c 16 ~x442020+8 ~x442019+4 ~x442018+2 ~x442017+1 ~x442016+1 x284+2 x283+4 x282+8 x281+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=47
19.58/19.61	c 16 ~x442444+8 ~x442443+4 ~x442442+2 ~x442441+1 ~x442440+1 ~x284+2 ~x283+4 ~x282+8 ~x281+1 x200+2 x199+4 x198+8 x197-0=47
19.58/19.64	c 8 ~x442867+4 ~x442866+2 ~x442865+1 ~x442864+1 ~x502+2 ~x501+4 ~x500+8 ~x499+1 x200+2 x199+4 x198+8 x197-0=30
19.58/19.64	c 8 ~x443245+4 ~x443244+2 ~x443243+1 ~x443242+1 x502+2 x501+4 x500+8 x499+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=30
19.58/19.64	c 16 ~x443624+8 ~x443623+4 ~x443622+2 ~x443621+1 ~x443620+1 x502+2 x501+4 x500+8 x499+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=47
19.58/19.66	c 16 ~x444048+8 ~x444047+4 ~x444046+2 ~x444045+1 ~x444044+1 ~x502+2 ~x501+4 ~x500+8 ~x499+1 x200+2 x199+4 x198+8 x197-0=47
19.58/19.66	c 8 ~x444471+4 ~x444470+2 ~x444469+1 ~x444468+1 ~x508+2 ~x507+4 ~x506+8 ~x505+1 x200+2 x199+4 x198+8 x197-0=30
19.58/19.68	c 8 ~x444849+4 ~x444848+2 ~x444847+1 ~x444846+1 x508+2 x507+4 x506+8 x505+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=30
19.58/19.68	c 16 ~x445228+8 ~x445227+4 ~x445226+2 ~x445225+1 ~x445224+1 x508+2 x507+4 x506+8 x505+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=47
19.69/19.70	c 16 ~x445652+8 ~x445651+4 ~x445650+2 ~x445649+1 ~x445648+1 ~x508+2 ~x507+4 ~x506+8 ~x505+1 x200+2 x199+4 x198+8 x197-0=47
19.69/19.70	c 8 ~x446075+4 ~x446074+2 ~x446073+1 ~x446072+1 ~x514+2 ~x513+4 ~x512+8 ~x511+1 x200+2 x199+4 x198+8 x197-0=30
19.69/19.72	c 8 ~x446453+4 ~x446452+2 ~x446451+1 ~x446450+1 x514+2 x513+4 x512+8 x511+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=30
19.69/19.72	c 16 ~x446832+8 ~x446831+4 ~x446830+2 ~x446829+1 ~x446828+1 x514+2 x513+4 x512+8 x511+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=47
19.69/19.76	c 16 ~x447256+8 ~x447255+4 ~x447254+2 ~x447253+1 ~x447252+1 ~x514+2 ~x513+4 ~x512+8 ~x511+1 x200+2 x199+4 x198+8 x197-0=47
19.69/19.76	c 8 ~x447679+4 ~x447678+2 ~x447677+1 ~x447676+1 ~x556+2 ~x555+4 ~x554+8 ~x553+1 x200+2 x199+4 x198+8 x197-0=30
19.69/19.76	c 8 ~x448057+4 ~x448056+2 ~x448055+1 ~x448054+1 x556+2 x555+4 x554+8 x553+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=30
19.69/19.78	c 16 ~x448436+8 ~x448435+4 ~x448434+2 ~x448433+1 ~x448432+1 x556+2 x555+4 x554+8 x553+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=47
19.69/19.78	c 16 ~x448860+8 ~x448859+4 ~x448858+2 ~x448857+1 ~x448856+1 ~x556+2 ~x555+4 ~x554+8 ~x553+1 x200+2 x199+4 x198+8 x197-0=47
19.69/19.80	c 8 ~x449283+4 ~x449282+2 ~x449281+1 ~x449280+1 x254+2 x253+4 x252+8 x251+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=30
19.69/19.80	c 8 ~x449661+4 ~x449660+2 ~x449659+1 ~x449658+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x30+2 x29+4 x28+8 x27-0=30
19.79/19.82	c 16 ~x450040+8 ~x450039+4 ~x450038+2 ~x450037+1 ~x450036+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x30+2 x29+4 x28+8 x27-0=47
19.79/19.82	c 16 ~x450464+8 ~x450463+4 ~x450462+2 ~x450461+1 ~x450460+1 x254+2 x253+4 x252+8 x251+1 ~x30+2 ~x29+4 ~x28+8 ~x27-0=47
19.79/19.84	c 8 ~x450887+4 ~x450886+2 ~x450885+1 ~x450884+1 x254+2 x253+4 x252+8 x251+1 ~x200+2 ~x199+4 ~x198+8 ~x197-0=30
19.79/19.84	c 8 ~x451265+4 ~x451264+2 ~x451263+1 ~x451262+1 ~x254+2 ~x253+4 ~x252+8 ~x251+1 x200+2 x199+4 x198+8 x197-0=

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-2674533-1276791827/watcher-2674533-1276791827 -o /tmp/evaluation-result-2674533-1276791827/solver-2674533-1276791827 -C 1800 -W 2000 -M 1800 run HOME/instance-2674533-1276791827.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 0.97 0.99 2/105 23960
/proc/meminfo: memFree=1863788/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0

[startup+0.109497 s]
/proc/loadavg: 0.98 0.97 0.99 2/105 23960
/proc/meminfo: memFree=1863788/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201507 s]
/proc/loadavg: 0.98 0.97 0.99 2/105 23960
/proc/meminfo: memFree=1863788/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301518 s]
/proc/loadavg: 0.98 0.97 0.99 2/105 23960
/proc/meminfo: memFree=1863788/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701562 s]
/proc/loadavg: 0.98 0.97 0.99 2/105 23960
/proc/meminfo: memFree=1863788/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50165 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 23963
/proc/meminfo: memFree=1623212/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=322244 CPUtime=1.49
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 79996 0 0 0 65 84 0 0 25 0 1 0 20476214 329977856 79934 1992294400 134512640 134902295 4293913248 18446744073709551615 134586919 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 80561 79936 256 96 0 79773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 330944

[startup+3.10083 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 23963
/proc/meminfo: memFree=1413156/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=607716 CPUtime=3.08
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 151371 0 0 0 146 162 0 0 25 0 1 0 20476214 622301184 151309 1992294400 134512640 134902295 4293913248 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 151929 151309 258 96 0 151141 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 616416

[startup+6.30118 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 23963
/proc/meminfo: memFree=1191444/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=689052 CPUtime=6.29
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 171667 0 0 0 458 171 0 0 25 0 1 0 20476214 705589248 171605 1992294400 134512640 134902295 4293913248 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 172263 171605 261 96 0 171475 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 697752

[startup+12.7009 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 23963
/proc/meminfo: memFree=1088772/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=788468 CPUtime=12.69
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 195991 0 0 0 1089 180 0 0 25 0 1 0 20476214 807391232 195689 1992294400 134512640 134902295 4293913248 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 197117 195689 262 96 0 196329 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 797168

[startup+25.5013 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 23963
/proc/meminfo: memFree=956712/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=911612 CPUtime=25.48
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 226808 0 0 0 2357 191 0 0 25 0 1 0 20476214 933490688 226394 1992294400 134512640 134902295 4293913248 18446744073709551615 4159722091 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 227903 226394 269 96 0 227115 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 920312

[startup+51.1011 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23965
/proc/meminfo: memFree=956092/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=912148 CPUtime=51.07
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 226942 0 0 0 4916 191 0 0 25 0 1 0 20476214 934039552 226528 1992294400 134512640 134902295 4293913248 18446744073709551615 4159740761 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 228037 226528 269 96 0 227249 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 920848

[startup+102.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23965
/proc/meminfo: memFree=955472/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=912676 CPUtime=102.27
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 227086 0 0 0 10036 191 0 0 25 0 1 0 20476214 934580224 226672 1992294400 134512640 134902295 4293913248 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 228169 226672 269 96 0 227381 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 921376

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23967
/proc/meminfo: memFree=954852/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=913220 CPUtime=162.25
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 227208 0 0 0 16033 192 0 0 25 0 1 0 20476214 935137280 226794 1992294400 134512640 134902295 4293913248 18446744073709551615 4159740831 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 228305 226794 269 96 0 227517 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 921920

[startup+222.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23969
/proc/meminfo: memFree=953860/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=914752 CPUtime=222.24
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 227462 0 0 0 22032 192 0 0 25 0 1 0 20476214 936706048 227048 1992294400 134512640 134902295 4293913248 18446744073709551615 4159734648 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 228688 227048 269 96 0 227900 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 923452

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23971
/proc/meminfo: memFree=952372/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=916284 CPUtime=282.21
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 227842 0 0 0 28029 192 0 0 25 0 1 0 20476214 938274816 227428 1992294400 134512640 134902295 4293913248 18446744073709551615 4159734581 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 229071 227428 269 96 0 228283 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 924984

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23973
/proc/meminfo: memFree=951256/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=917344 CPUtime=342.19
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 228098 0 0 0 34027 192 0 0 25 0 1 0 20476214 939360256 227684 1992294400 134512640 134902295 4293913248 18446744073709551615 4159722020 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 229336 227684 269 96 0 228548 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 926044

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23973
/proc/meminfo: memFree=950264/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=918348 CPUtime=402.19
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 228331 0 0 0 40026 193 0 0 25 0 1 0 20476214 940388352 227917 1992294400 134512640 134902295 4293913248 18446744073709551615 4159755208 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 229587 227917 269 96 0 228799 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 927048

[startup+462.301 s]

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

/proc/23962/statm: 232784 231134 269 96 0 231996 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 939836

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 23998
/proc/meminfo: memFree=935264/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=932208 CPUtime=1181.97
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 231828 0 0 0 117999 198 0 0 25 0 1 0 20476214 954580992 231414 1992294400 134512640 134902295 4293913248 18446744073709551615 4159755253 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 233052 231414 269 96 0 232264 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 940908

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24000
/proc/meminfo: memFree=934148/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=933396 CPUtime=1241.96
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 232113 0 0 0 123997 199 0 0 25 0 1 0 20476214 955797504 231699 1992294400 134512640 134902295 4293913248 18446744073709551615 4159755153 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 233349 231699 269 96 0 232561 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 942096

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24000
/proc/meminfo: memFree=933280/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=934212 CPUtime=1301.94
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 232334 0 0 0 129995 199 0 0 25 0 1 0 20476214 956633088 231920 1992294400 134512640 134902295 4293913248 18446744073709551615 4159741552 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 233553 231920 269 96 0 232765 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 942912

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24002
/proc/meminfo: memFree=932412/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=934892 CPUtime=1361.92
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 232526 0 0 0 135993 199 0 0 25 0 1 0 20476214 957329408 232112 1992294400 134512640 134902295 4293913248 18446744073709551615 4159722350 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 233723 232112 269 96 0 232935 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 943592

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24004
/proc/meminfo: memFree=931544/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=935752 CPUtime=1421.92
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 232722 0 0 0 141992 200 0 0 25 0 1 0 20476214 958210048 232308 1992294400 134512640 134902295 4293913248 18446744073709551615 4159755197 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 233938 232308 269 96 0 233150 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 944452

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24006
/proc/meminfo: memFree=930676/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=936544 CPUtime=1481.9
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 232957 0 0 0 147990 200 0 0 25 0 1 0 20476214 959021056 232543 1992294400 134512640 134902295 4293913248 18446744073709551615 4159740761 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 234136 232543 269 96 0 233348 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 945244

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24008
/proc/meminfo: memFree=929808/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=937468 CPUtime=1541.89
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 233165 0 0 0 153988 201 0 0 25 0 1 0 20476214 959967232 232751 1992294400 134512640 134902295 4293913248 18446744073709551615 4159740761 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 234367 232751 269 96 0 233579 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 946168

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24008
/proc/meminfo: memFree=928692/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=938392 CPUtime=1601.87
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 233406 0 0 0 159986 201 0 0 25 0 1 0 20476214 960913408 232992 1992294400 134512640 134902295 4293913248 18446744073709551615 4159740513 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 234598 232992 269 96 0 233810 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 947092

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24010
/proc/meminfo: memFree=927948/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=939052 CPUtime=1661.85
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 233598 0 0 0 165984 201 0 0 25 0 1 0 20476214 961589248 233184 1992294400 134512640 134902295 4293913248 18446744073709551615 4159740823 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 234763 233184 269 96 0 233975 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 947752

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24012
/proc/meminfo: memFree=926956/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=939976 CPUtime=1721.84
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 233838 0 0 0 171982 202 0 0 25 0 1 0 20476214 962535424 233424 1992294400 134512640 134902295 4293913248 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 234994 233424 269 96 0 234206 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 948676

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24014
/proc/meminfo: memFree=925840/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=941436 CPUtime=1781.82
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 234100 0 0 0 177980 202 0 0 25 0 1 0 20476214 964030464 233686 1992294400 134512640 134902295 4293913248 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 235359 233686 269 96 0 234571 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 950136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 24014
/proc/meminfo: memFree=925592/2059040 swapFree=4139740/4192956
[pid=23960] ppid=23958 vsize=8700 CPUtime=0
/proc/23960/stat : 23960 (run) S 23958 23960 23478 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 20476213 8908800 250 1992294400 4194304 4922060 140735526871344 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23960/statm: 2175 250 211 178 0 68 0
[pid=23962] ppid=23960 vsize=941700 CPUtime=1800.02
/proc/23962/stat : 23962 (PBPASSolver) R 23960 23960 23478 0 -1 4202496 234163 0 0 0 179800 202 0 0 25 0 1 0 20476214 964300800 233749 1992294400 134512640 134902295 4293913248 18446744073709551615 4159740761 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23962/statm: 235425 233749 269 96 0 234637 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 950400

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1798
CPU system time (s): 2.02
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 950400

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

runsolver used 3.08453 second user time and 8.39972 second system time

The end

Begin job on node087 at 2010-06-17 18:23:47
IDJOB=2674533
IDBENCH=1467
IDSOLVER=1174
FILE ID=node087/2674533-1276791827
PBS_JOBID= 11176608
Free space on /tmp= 62556 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674533-1276791827/watcher-2674533-1276791827 -o /tmp/evaluation-result-2674533-1276791827/solver-2674533-1276791827 -C 1800 -W 2000 -M 1800  run HOME/instance-2674533-1276791827.opb

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

MD5SUM BENCH= 03090e2b7426cc03a4be73b62ee3d658
RANDOM SEED=137912692

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1864308 kB
Buffers:         24436 kB
Cached:          81412 kB
SwapCached:       5944 kB
Active:          21216 kB
Inactive:        97336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1864308 kB
SwapTotal:     4192956 kB
SwapFree:      4139740 kB
Dirty:            1112 kB
Writeback:           0 kB
AnonPages:       10900 kB
Mapped:          12936 kB
Slab:            54520 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180512 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= 62552 MiB
End job on node087 at 2010-06-17 18:53:49