0.00/0.63	c 2754 444 0 0 0 0 0 0
0.00/0.63	c 512 ~x2765+256 ~x2764+128 ~x2763+64 ~x2762+32 ~x2761+16 ~x2760+8 ~x2759+4 ~x2758+2 ~x2757+1 ~x2756+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=2046
0.00/0.63	c 512 ~x4067+256 ~x4066+128 ~x4065+64 ~x4064+32 ~x4063+16 ~x4062+8 ~x4061+4 ~x4060+2 ~x4059+1 ~x4058+512 ~x922+256 ~x921+128 ~x920+64 ~x919+32 ~x918+16 ~x917+8 ~x916+4 ~x915+2 ~x914+1 ~x913-0=2046
0.00/0.66	c 512 ~x5369+256 ~x5368+128 ~x5367+64 ~x5366+32 ~x5365+16 ~x5364+8 ~x5363+4 ~x5362+2 ~x5361+1 ~x5360+512 ~x1143+256 ~x1142+128 ~x1141+64 ~x1140+32 ~x1139+16 ~x1138+8 ~x1137+4 ~x1136+2 ~x1135+1 ~x1134-0=2046
0.00/0.70	c 512 ~x6671+256 ~x6670+128 ~x6669+64 ~x6668+32 ~x6667+16 ~x6666+8 ~x6665+4 ~x6664+2 ~x6663+1 ~x6662+512 ~x2039+256 ~x2038+128 ~x2037+64 ~x2036+32 ~x2035+16 ~x2034+8 ~x2033+4 ~x2032+2 ~x2031+1 ~x2030-0=2046
0.00/0.76	c 512 ~x7973+256 ~x7972+128 ~x7971+64 ~x7970+32 ~x7969+16 ~x7968+8 ~x7967+4 ~x7966+2 ~x7965+1 ~x7964+512 ~x2160+256 ~x2159+128 ~x2158+64 ~x2157+32 ~x2156+16 ~x2155+8 ~x2154+4 ~x2153+2 ~x2152+1 ~x2151-0=2046
0.00/0.76	c 512 ~x9275+256 ~x9274+128 ~x9273+64 ~x9272+32 ~x9271+16 ~x9270+8 ~x9269+4 ~x9268+2 ~x9267+1 ~x9266+512 ~x2281+256 ~x2280+128 ~x2279+64 ~x2278+32 ~x2277+16 ~x2276+8 ~x2275+4 ~x2274+2 ~x2273+1 ~x2272-0=2046
0.00/0.79	c 512 ~x10577+256 ~x10576+128 ~x10575+64 ~x10574+32 ~x10573+16 ~x10572+8 ~x10571+4 ~x10570+2 ~x10569+1 ~x10568+512 ~x2402+256 ~x2401+128 ~x2400+64 ~x2399+32 ~x2398+16 ~x2397+8 ~x2396+4 ~x2395+2 ~x2394+1 ~x2393-0=2046
0.00/0.83	c 512 ~x11879+256 ~x11878+128 ~x11877+64 ~x11876+32 ~x11875+16 ~x11874+8 ~x11873+4 ~x11872+2 ~x11871+1 ~x11870+512 ~x2523+256 ~x2522+128 ~x2521+64 ~x2520+32 ~x2519+16 ~x2518+8 ~x2517+4 ~x2516+2 ~x2515+1 ~x2514-0=2046
0.00/0.86	c 512 ~x13181+256 ~x13180+128 ~x13179+64 ~x13178+32 ~x13177+16 ~x13176+8 ~x13175+4 ~x13174+2 ~x13173+1 ~x13172+512 ~x2644+256 ~x2643+128 ~x2642+64 ~x2641+32 ~x2640+16 ~x2639+8 ~x2638+4 ~x2637+2 ~x2636+1 ~x2635-0=2046
0.00/0.90	c 512 ~x14483+256 ~x14482+128 ~x14481+64 ~x14480+32 ~x14479+16 ~x14478+8 ~x14477+4 ~x14476+2 ~x14475+1 ~x14474+512 ~x22+256 ~x21+128 ~x20+64 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=2046
0.00/0.96	c 512 ~x15785+256 ~x15784+128 ~x15783+64 ~x15782+32 ~x15781+16 ~x15780+8 ~x15779+4 ~x15778+2 ~x15777+1 ~x15776+512 ~x143+256 ~x142+128 ~x141+64 ~x140+32 ~x139+16 ~x138+8 ~x137+4 ~x136+2 ~x135+1 ~x134-0=2046
0.00/0.96	c 512 ~x17087+256 ~x17086+128 ~x17085+64 ~x17084+32 ~x17083+16 ~x17082+8 ~x17081+4 ~x17080+2 ~x17079+1 ~x17078+512 ~x264+256 ~x263+128 ~x262+64 ~x261+32 ~x260+16 ~x259+8 ~x258+4 ~x257+2 ~x256+1 ~x255-0=2046
0.00/1.00	c 512 ~x18389+256 ~x18388+128 ~x18387+64 ~x18386+32 ~x18385+16 ~x18384+8 ~x18383+4 ~x18382+2 ~x18381+1 ~x18380+512 ~x385+256 ~x384+128 ~x383+64 ~x382+32 ~x381+16 ~x380+8 ~x379+4 ~x378+2 ~x377+1 ~x376-0=2046
1.00/1.03	c 512 ~x19691+256 ~x19690+128 ~x19689+64 ~x19688+32 ~x19687+16 ~x19686+8 ~x19685+4 ~x19684+2 ~x19683+1 ~x19682+512 ~x506+256 ~x505+128 ~x504+64 ~x503+32 ~x502+16 ~x501+8 ~x500+4 ~x499+2 ~x498+1 ~x497-0=2046
1.00/1.06	c 512 ~x20993+256 ~x20992+128 ~x20991+64 ~x20990+32 ~x20989+16 ~x20988+8 ~x20987+4 ~x20986+2 ~x20985+1 ~x20984+512 ~x627+256 ~x626+128 ~x625+64 ~x624+32 ~x623+16 ~x622+8 ~x621+4 ~x620+2 ~x619+1 ~x618-0=2046
1.10/1.13	c 512 ~x22295+256 ~x22294+128 ~x22293+64 ~x22292+32 ~x22291+16 ~x22290+8 ~x22289+4 ~x22288+2 ~x22287+1 ~x22286+512 ~x748+256 ~x747+128 ~x746+64 ~x745+32 ~x744+16 ~x743+8 ~x742+4 ~x741+2 ~x740+1 ~x739-0=2046
1.10/1.13	c 512 ~x23597+256 ~x23596+128 ~x23595+64 ~x23594+32 ~x23593+16 ~x23592+8 ~x23591+4 ~x23590+2 ~x23589+1 ~x23588+512 ~x859+256 ~x858+128 ~x857+64 ~x856+32 ~x855+16 ~x854+8 ~x853+4 ~x852+2 ~x851+1 ~x850-0=2046
1.10/1.16	c 512 ~x24899+256 ~x24898+128 ~x24897+64 ~x24896+32 ~x24895+16 ~x24894+8 ~x24893+4 ~x24892+2 ~x24891+1 ~x24890+512 ~x880+256 ~x879+128 ~x878+64 ~x877+32 ~x876+16 ~x875+8 ~x874+4 ~x873+2 ~x872+1 ~x871-0=2046
1.10/1.19	c 512 ~x26201+256 ~x26200+128 ~x26199+64 ~x26198+32 ~x26197+16 ~x26196+8 ~x26195+4 ~x26194+2 ~x26193+1 ~x26192+512 ~x901+256 ~x900+128 ~x899+64 ~x898+32 ~x897+16 ~x896+8 ~x895+4 ~x894+2 ~x893+1 ~x892-0=2046
1.19/1.23	c 512 ~x27503+256 ~x27502+128 ~x27501+64 ~x27500+32 ~x27499+16 ~x27498+8 ~x27497+4 ~x27496+2 ~x27495+1 ~x27494+512 ~x933+256 ~x932+128 ~x931+64 ~x930+32 ~x929+16 ~x928+8 ~x927+4 ~x926+2 ~x925+1 ~x924-0=2046
1.19/1.29	c 512 ~x28805+256 ~x28804+128 ~x28803+64 ~x28802+32 ~x28801+16 ~x28800+8 ~x28799+4 ~x28798+2 ~x28797+1 ~x28796+512 ~x954+256 ~x953+128 ~x952+64 ~x951+32 ~x950+16 ~x949+8 ~x948+4 ~x947+2 ~x946+1 ~x945-0=2046
1.28/1.32	c 512 ~x30107+256 ~x30106+128 ~x30105+64 ~x30104+32 ~x30103+16 ~x30102+8 ~x30101+4 ~x30100+2 ~x30099+1 ~x30098+512 ~x975+256 ~x974+128 ~x973+64 ~x972+32 ~x971+16 ~x970+8 ~x969+4 ~x968+2 ~x967+1 ~x966-0=2046
1.28/1.32	c 512 ~x31409+256 ~x31408+128 ~x31407+64 ~x31406+32 ~x31405+16 ~x31404+8 ~x31403+4 ~x31402+2 ~x31401+1 ~x31400+512 ~x996+256 ~x995+128 ~x994+64 ~x993+32 ~x992+16 ~x991+8 ~x990+4 ~x989+2 ~x988+1 ~x987-0=2046
1.28/1.36	c 512 ~x32711+256 ~x32710+128 ~x32709+64 ~x32708+32 ~x32707+16 ~x32706+8 ~x32705+4 ~x32704+2 ~x32703+1 ~x32702+512 ~x1017+256 ~x1016+128 ~x1015+64 ~x1014+32 ~x1013+16 ~x1012+8 ~x1011+4 ~x1010+2 ~x1009+1 ~x1008-0=2046
1.28/1.39	c 512 ~x34013+256 ~x34012+128 ~x34011+64 ~x34010+32 ~x34009+16 ~x34008+8 ~x34007+4 ~x34006+2 ~x34005+1 ~x34004+512 ~x1038+256 ~x1037+128 ~x1036+64 ~x1035+32 ~x1034+16 ~x1033+8 ~x1032+4 ~x1031+2 ~x1030+1 ~x1029-0=2046
1.38/1.42	c 512 ~x35315+256 ~x35314+128 ~x35313+64 ~x35312+32 ~x35311+16 ~x35310+8 ~x35309+4 ~x35308+2 ~x35307+1 ~x35306+512 ~x1059+256 ~x1058+128 ~x1057+64 ~x1056+32 ~x1055+16 ~x1054+8 ~x1053+4 ~x1052+2 ~x1051+1 ~x1050-0=2046
1.38/1.45	c 512 ~x36617+256 ~x36616+128 ~x36615+64 ~x36614+32 ~x36613+16 ~x36612+8 ~x36611+4 ~x36610+2 ~x36609+1 ~x36608+512 ~x1080+256 ~x1079+128 ~x1078+64 ~x1077+32 ~x1076+16 ~x1075+8 ~x1074+4 ~x1073+2 ~x1072+1 ~x1071-0=2046
1.49/1.52	c 512 ~x37919+256 ~x37918+128 ~x37917+64 ~x37916+32 ~x37915+16 ~x37914+8 ~x37913+4 ~x37912+2 ~x37911+1 ~x37910+512 ~x1101+256 ~x1100+128 ~x1099+64 ~x1098+32 ~x1097+16 ~x1096+8 ~x1095+4 ~x1094+2 ~x1093+1 ~x1092-0=2046
1.49/1.52	c 512 ~x39221+256 ~x39220+128 ~x39219+64 ~x39218+32 ~x39217+16 ~x39216+8 ~x39215+4 ~x39214+2 ~x39213+1 ~x39212+512 ~x1122+256 ~x1121+128 ~x1120+64 ~x1119+32 ~x1118+16 ~x1117+8 ~x1116+4 ~x1115+2 ~x1114+1 ~x1113-0=2046
1.49/1.55	c 512 ~x40523+256 ~x40522+128 ~x40521+64 ~x40520+32 ~x40519+16 ~x40518+8 ~x40517+4 ~x40516+2 ~x40515+1 ~x40514+512 ~x1154+256 ~x1153+128 ~x1152+64 ~x1151+32 ~x1150+16 ~x1149+8 ~x1148+4 ~x1147+2 ~x1146+1 ~x1145-0=2046
1.49/1.59	c 512 ~x41825+256 ~x41824+128 ~x41823+64 ~x41822+32 ~x41821+16 ~x41820+8 ~x41819+4 ~x41818+2 ~x41817+1 ~x41816+512 ~x1175+256 ~x1174+128 ~x1173+64 ~x1172+32 ~x1171+16 ~x1170+8 ~x1169+4 ~x1168+2 ~x1167+1 ~x1166-0=2046
1.59/1.62	c 512 ~x43127+256 ~x43126+128 ~x43125+64 ~x43124+32 ~x43123+16 ~x43122+8 ~x43121+4 ~x43120+2 ~x43119+1 ~x43118+512 ~x1196+256 ~x1195+128 ~x1194+64 ~x1193+32 ~x1192+16 ~x1191+8 ~x1190+4 ~x1189+2 ~x1188+1 ~x1187-0=2046
1.59/1.65	c 512 ~x44429+256 ~x44428+128 ~x44427+64 ~x44426+32 ~x44425+16 ~x44424+8 ~x44423+4 ~x44422+2 ~x44421+1 ~x44420+512 ~x1217+256 ~x1216+128 ~x1215+64 ~x1214+32 ~x1213+16 ~x1212+8 ~x1211+4 ~x1210+2 ~x1209+1 ~x1208-0=2046
1.69/1.72	c 512 ~x45731+256 ~x45730+128 ~x45729+64 ~x45728+32 ~x45727+16 ~x45726+8 ~x45725+4 ~x45724+2 ~x45723+1 ~x45722+512 ~x1289+256 ~x1288+128 ~x1287+64 ~x1286+32 ~x1285+16 ~x1284+8 ~x1283+4 ~x1282+2 ~x1281+1 ~x1280-0=2046
1.69/1.72	c 512 ~x47033+256 ~x47032+128 ~x47031+64 ~x47030+32 ~x47029+16 ~x47028+8 ~x47027+4 ~x47026+2 ~x47025+1 ~x47024+512 ~x1479+256 ~x1478+128 ~x1477+64 ~x1476+32 ~x1475+16 ~x1474+8 ~x1473+4 ~x1472+2 ~x1471+1 ~x1470-0=2046
1.69/1.75	c 512 ~x48335+256 ~x48334+128 ~x48333+64 ~x48332+32 ~x48331+16 ~x48330+8 ~x48329+4 ~x48328+2 ~x48327+1 ~x48326+512 ~x1660+256 ~x1659+128 ~x1658+64 ~x1657+32 ~x1656+16 ~x1655+8 ~x1654+4 ~x1653+2 ~x1652+1 ~x1651-0=2046
1.69/1.78	c 512 ~x49637+256 ~x49636+128 ~x49635+64 ~x49634+32 ~x49633+16 ~x49632+8 ~x49631+4 ~x49630+2 ~x49629+1 ~x49628+512 ~x1853+256 ~x1852+128 ~x1851+64 ~x1850+32 ~x1849+16 ~x1848+8 ~x1847+4 ~x1846+2 ~x1845+1 ~x1844-0=2046
1.79/1.82	c 512 ~x50939+256 ~x50938+128 ~x50937+64 ~x50936+32 ~x50935+16 ~x50934+8 ~x50933+4 ~x50932+2 ~x50931+1 ~x50930+512 ~x2017+256 ~x2016+128 ~x2015+64 ~x2014+32 ~x2013+16 ~x2012+8 ~x2011+4 ~x2010+2 ~x2009+1 ~x2008-0=2046
1.79/1.85	c 512 ~x52241+256 ~x52240+128 ~x52239+64 ~x52238+32 ~x52237+16 ~x52236+8 ~x52235+4 ~x52234+2 ~x52233+1 ~x52232+512 ~x2028+256 ~x2027+128 ~x2026+64 ~x2025+32 ~x2024+16 ~x2023+8 ~x2022+4 ~x2021+2 ~x2020+1 ~x2019-0=2046
1.79/1.88	c 512 ~x53543+256 ~x53542+128 ~x53541+64 ~x53540+32 ~x53539+16 ~x53538+8 ~x53537+4 ~x53536+2 ~x53535+1 ~x53534+512 ~x2050+256 ~x2049+128 ~x2048+64 ~x2047+32 ~x2046+16 ~x2045+8 ~x2044+4 ~x2043+2 ~x2042+1 ~x2041-0=2046
1.88/1.95	c 512 ~x54845+256 ~x54844+128 ~x54843+64 ~x54842+32 ~x54841+16 ~x54840+8 ~x54839+4 ~x54838+2 ~x54837+1 ~x54836+512 ~x2061+256 ~x2060+128 ~x2059+64 ~x2058+32 ~x2057+16 ~x2056+8 ~x2055+4 ~x2054+2 ~x2053+1 ~x2052-0=2046
1.88/1.95	c 512 ~x56147+256 ~x56146+128 ~x56145+64 ~x56144+32 ~x56143+16 ~x56142+8 ~x56141+4 ~x56140+2 ~x56139+1 ~x56138+512 ~x2072+256 ~x2071+128 ~x2070+64 ~x2069+32 ~x2068+16 ~x2067+8 ~x2066+4 ~x2065+2 ~x2064+1 ~x2063-0=2046
1.88/1.98	c 512 ~x57449+256 ~x57448+128 ~x57447+64 ~x57446+32 ~x57445+16 ~x57444+8 ~x57443+4 ~x57442+2 ~x57441+1 ~x57440+512 ~x2083+256 ~x2082+128 ~x2081+64 ~x2080+32 ~x2079+16 ~x2078+8 ~x2077+4 ~x2076+2 ~x2075+1 ~x2074-0=2046
1.99/2.01	c 512 ~x58751+256 ~x58750+128 ~x58749+64 ~x58748+32 ~x58747+16 ~x58746+8 ~x58745+4 ~x58744+2 ~x58743+1 ~x58742+512 ~x2094+256 ~x2093+128 ~x2092+64 ~x2091+32 ~x2090+16 ~x2089+8 ~x2088+4 ~x2087+2 ~x2086+1 ~x2085-0=2046
1.99/2.05	c 512 ~x60053+256 ~x60052+128 ~x60051+64 ~x60050+32 ~x60049+16 ~x60048+8 ~x60047+4 ~x60046+2 ~x60045+1 ~x60044+512 ~x2105+256 ~x2104+128 ~x2103+64 ~x2102+32 ~x2101+16 ~x2100+8 ~x2099+4 ~x2098+2 ~x2097+1 ~x2096-0=2046
1.99/2.08	c 512 ~x61355+256 ~x61354+128 ~x61353+64 ~x61352+32 ~x61351+16 ~x61350+8 ~x61349+4 ~x61348+2 ~x61347+1 ~x61346+512 ~x2116+256 ~x2115+128 ~x2114+64 ~x2113+32 ~x2112+16 ~x2111+8 ~x2110+4 ~x2109+2 ~x2108+1 ~x2107-0=2046
2.10/2.15	c 512 ~x62657+256 ~x62656+128 ~x62655+64 ~x62654+32 ~x62653+16 ~x62652+8 ~x62651+4 ~x62650+2 ~x62649+1 ~x62648+512 ~x2127+256 ~x2126+128 ~x2125+64 ~x2124+32 ~x2123+16 ~x2122+8 ~x2121+4 ~x2120+2 ~x2119+1 ~x2118-0=2046
2.10/2.15	c 512 ~x63959+256 ~x63958+128 ~x63957+64 ~x63956+32 ~x63955+16 ~x63954+8 ~x63953+4 ~x63952+2 ~x63951+1 ~x63950+512 ~x2138+256 ~x2137+128 ~x2136+64 ~x2135+32 ~x2134+16 ~x2133+8 ~x2132+4 ~x2131+2 ~x2130+1 ~x2129-0=2046
2.10/2.18	c 512 ~x65261+256 ~x65260+128 ~x65259+64 ~x65258+32 ~x65257+16 ~x65256+8 ~x65255+4 ~x65254+2 ~x65253+1 ~x65252+512 ~x2149+256 ~x2148+128 ~x2147+64 ~x2146+32 ~x2145+16 ~x2144+8 ~x2143+4 ~x2142+2 ~x2141+1 ~x2140-0=2046
2.19/2.22	c 512 ~x66563+256 ~x66562+128 ~x66561+64 ~x66560+32 ~x66559+16 ~x66558+8 ~x66557+4 ~x66556+2 ~x66555+1 ~x66554+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=2046
2.19/2.25	c 512 ~x67865+256 ~x67864+128 ~x67863+64 ~x67862+32 ~x67861+16 ~x67860+8 ~x67859+4 ~x67858+2 ~x67857+1 ~x67856+512 ~x2182+256 ~x2181+128 ~x2180+64 ~x2179+32 ~x2178+16 ~x2177+8 ~x2176+4 ~x2175+2 ~x2174+1 ~x2173-0=2046
2.19/2.28	c 512 ~x69167+256 ~x69166+128 ~x69165+64 ~x69164+32 ~x69163+16 ~x69162+8 ~x69161+4 ~x69160+2 ~x69159+1 ~x69158+512 ~x2193+256 ~x2192+128 ~x2191+64 ~x2190+32 ~x2189+16 ~x2188+8 ~x2187+4 ~x2186+2 ~x2185+1 ~x2184-0=2046
2.28/2.31	c 512 ~x70469+256 ~x70468+128 ~x70467+64 ~x70466+32 ~x70465+16 ~x70464+8 ~x70463+4 ~x70462+2 ~x70461+1 ~x70460+512 ~x2204+256 ~x2203+128 ~x2202+64 ~x2201+32 ~x2200+16 ~x2199+8 ~x2198+4 ~x2197+2 ~x2196+1 ~x2195-0=2046
2.28/2.38	c 512 ~x71771+256 ~x71770+128 ~x71769+64 ~x71768+32 ~x71767+16 ~x71766+8 ~x71765+4 ~x71764+2 ~x71763+1 ~x71762+512 ~x2215+256 ~x2214+128 ~x2213+64 ~x2212+32 ~x2211+16 ~x2210+8 ~x2209+4 ~x2208+2 ~x2207+1 ~x2206-0=2046
2.28/2.38	c 512 ~x73073+256 ~x73072+128 ~x73071+64 ~x73070+32 ~x73069+16 ~x73068+8 ~x73067+4 ~x73066+2 ~x73065+1 ~x73064+512 ~x2226+256 ~x2225+128 ~x2224+64 ~x2223+32 ~x2222+16 ~x2221+8 ~x2220+4 ~x2219+2 ~x2218+1 ~x2217-0=2046
2.38/2.41	c 512 ~x74375+256 ~x74374+128 ~x74373+64 ~x74372+32 ~x74371+16 ~x74370+8 ~x74369+4 ~x74368+2 ~x74367+1 ~x74366+512 ~x2237+256 ~x2236+128 ~x2235+64 ~x2234+32 ~x2233+16 ~x2232+8 ~x2231+4 ~x2230+2 ~x2229+1 ~x2228-0=2046
2.38/2.45	c 512 ~x75677+256 ~x75676+128 ~x75675+64 ~x75674+32 ~x75673+16 ~x75672+8 ~x75671+4 ~x75670+2 ~x75669+1 ~x75668+512 ~x2248+256 ~x2247+128 ~x2246+64 ~x2245+32 ~x2244+16 ~x2243+8 ~x2242+4 ~x2241+2 ~x2240+1 ~x2239-0=2046
2.38/2.48	c 512 ~x76979+256 ~x76978+128 ~x76977+64 ~x76976+32 ~x76975+16 ~x76974+8 ~x76973+4 ~x76972+2 ~x76971+1 ~x76970+512 ~x2259+256 ~x2258+128 ~x2257+64 ~x2256+32 ~x2255+16 ~x2254+8 ~x2253+4 ~x2252+2 ~x2251+1 ~x2250-0=2046
2.49/2.51	c 512 ~x78281+256 ~x78280+128 ~x78279+64 ~x78278+32 ~x78277+16 ~x78276+8 ~x78275+4 ~x78274+2 ~x78273+1 ~x78272+512 ~x2270+256 ~x2269+128 ~x2268+64 ~x2267+32 ~x2266+16 ~x2265+8 ~x2264+4 ~x2263+2 ~x2262+1 ~x2261-0=2046
2.49/2.58	c 512 ~x79583+256 ~x79582+128 ~x79581+64 ~x79580+32 ~x79579+16 ~x79578+8 ~x79577+4 ~x79576+2 ~x79575+1 ~x79574+512 ~x2292+256 ~x2291+128 ~x2290+64 ~x2289+32 ~x2288+16 ~x2287+8 ~x2286+4 ~x2285+2 ~x2284+1 ~x2283-0=2046
2.49/2.58	c 512 ~x80885+256 ~x80884+128 ~x80883+64 ~x80882+32 ~x80881+16 ~x80880+8 ~x80879+4 ~x80878+2 ~x80877+1 ~x80876+512 ~x2303+256 ~x2302+128 ~x2301+64 ~x2300+32 ~x2299+16 ~x2298+8 ~x2297+4 ~x2296+2 ~x2295+1 ~x2294-0=2046
2.59/2.61	c 512 ~x82187+256 ~x82186+128 ~x82185+64 ~x82184+32 ~x82183+16 ~x82182+8 ~x82181+4 ~x82180+2 ~x82179+1 ~x82178+512 ~x2314+256 ~x2313+128 ~x2312+64 ~x2311+32 ~x2310+16 ~x2309+8 ~x2308+4 ~x2307+2 ~x2306+1 ~x2305-0=2046
2.59/2.64	c 512 ~x83489+256 ~x83488+128 ~x83487+64 ~x83486+32 ~x83485+16 ~x83484+8 ~x83483+4 ~x83482+2 ~x83481+1 ~x83480+512 ~x2325+256 ~x2324+128 ~x2323+64 ~x2322+32 ~x2321+16 ~x2320+8 ~x2319+4 ~x2318+2 ~x2317+1 ~x2316-0=2046
2.59/2.68	c 512 ~x84791+256 ~x84790+128 ~x84789+64 ~x84788+32 ~x84787+16 ~x84786+8 ~x84785+4 ~x84784+2 ~x84783+1 ~x84782+512 ~x2336+256 ~x2335+128 ~x2334+64 ~x2333+32 ~x2332+16 ~x2331+8 ~x2330+4 ~x2329+2 ~x2328+1 ~x2327-0=2046
2.69/2.71	c 512 ~x86093+256 ~x86092+128 ~x86091+64 ~x86090+32 ~x86089+16 ~x86088+8 ~x86087+4 ~x86086+2 ~x86085+1 ~x86084+512 ~x2347+256 ~x2346+128 ~x2345+64 ~x2344+32 ~x2343+16 ~x2342+8 ~x2341+4 ~x2340+2 ~x2339+1 ~x2338-0=2046
2.69/2.74	c 512 ~x87395+256 ~x87394+128 ~x87393+64 ~x87392+32 ~x87391+16 ~x87390+8 ~x87389+4 ~x87388+2 ~x87387+1 ~x87386+512 ~x2358+256 ~x2357+128 ~x2356+64 ~x2355+32 ~x2354+16 ~x2353+8 ~x2352+4 ~x2351+2 ~x2350+1 ~x2349-0=2046
2.78/2.81	c 512 ~x88697+256 ~x88696+128 ~x88695+64 ~x88694+32 ~x88693+16 ~x88692+8 ~x88691+4 ~x88690+2 ~x88689+1 ~x88688+512 ~x2369+256 ~x2368+128 ~x2367+64 ~x2366+32 ~x2365+16 ~x2364+8 ~x2363+4 ~x2362+2 ~x2361+1 ~x2360-0=2046
2.78/2.81	c 512 ~x89999+256 ~x89998+128 ~x89997+64 ~x89996+32 ~x89995+16 ~x89994+8 ~x89993+4 ~x89992+2 ~x89991+1 ~x89990+512 ~x2380+256 ~x2379+128 ~x2378+64 ~x2377+32 ~x2376+16 ~x2375+8 ~x2374+4 ~x2373+2 ~x2372+1 ~x2371-0=2046
2.78/2.84	c 512 ~x91301+256 ~x91300+128 ~x91299+64 ~x91298+32 ~x91297+16 ~x91296+8 ~x91295+4 ~x91294+2 ~x91293+1 ~x91292+512 ~x2391+256 ~x2390+128 ~x2389+64 ~x2388+32 ~x2387+16 ~x2386+8 ~x2385+4 ~x2384+2 ~x2383+1 ~x2382-0=2046
2.78/2.88	c 512 ~x92603+256 ~x92602+128 ~x92601+64 ~x92600+32 ~x92599+16 ~x92598+8 ~x92597+4 ~x92596+2 ~x92595+1 ~x92594+512 ~x2413+256 ~x2412+128 ~x2411+64 ~x2410+32 ~x2409+16 ~x2408+8 ~x2407+4 ~x2406+2 ~x2405+1 ~x2404-0=2046
2.89/2.91	c 512 ~x93905+256 ~x93904+128 ~x93903+64 ~x93902+32 ~x93901+16 ~x93900+8 ~x93899+4 ~x93898+2 ~x93897+1 ~x93896+512 ~x2424+256 ~x2423+128 ~x2422+64 ~x2421+32 ~x2420+16 ~x2419+8 ~x2418+4 ~x2417+2 ~x2416+1 ~x2415-0=2046
2.89/2.94	c 512 ~x95207+256 ~x95206+128 ~x95205+64 ~x95204+32 ~x95203+16 ~x95202+8 ~x95201+4 ~x95200+2 ~x95199+1 ~x95198+512 ~x2435+256 ~x2434+128 ~x2433+64 ~x2432+32 ~x2431+16 ~x2430+8 ~x2429+4 ~x2428+2 ~x2427+1 ~x2426-0=2046
2.99/3.01	c 512 ~x96509+256 ~x96508+128 ~x96507+64 ~x96506+32 ~x96505+16 ~x96504+8 ~x96503+4 ~x96502+2 ~x96501+1 ~x96500+512 ~x2446+256 ~x2445+128 ~x2444+64 ~x2443+32 ~x2442+16 ~x2441+8 ~x2440+4 ~x2439+2 ~x2438+1 ~x2437-0=2046
2.99/3.04	c 512 ~x97811+256 ~x97810+128 ~x97809+64 ~x97808+32 ~x97807+16 ~x97806+8 ~x97805+4 ~x97804+2 ~x97803+1 ~x97802+512 ~x2457+256 ~x2456+128 ~x2455+64 ~x2454+32 ~x2453+16 ~x2452+8 ~x2451+4 ~x2450+2 ~x2449+1 ~x2448-0=2046
2.99/3.04	c 512 ~x99113+256 ~x99112+128 ~x99111+64 ~x99110+32 ~x99109+16 ~x99108+8 ~x99107+4 ~x99106+2 ~x99105+1 ~x99104+512 ~x2468+256 ~x2467+128 ~x2466+64 ~x2465+32 ~x2464+16 ~x2463+8 ~x2462+4 ~x2461+2 ~x2460+1 ~x2459-0=2046
2.99/3.07	c 512 ~x100415+256 ~x100414+128 ~x100413+64 ~x100412+32 ~x100411+16 ~x100410+8 ~x100409+4 ~x100408+2 ~x100407+1 ~x100406+512 ~x2479+256 ~x2478+128 ~x2477+64 ~x2476+32 ~x2475+16 ~x2474+8 ~x2473+4 ~x2472+2 ~x2471+1 ~x2470-0=2046
3.09/3.10	c 512 ~x101717+256 ~x101716+128 ~x101715+64 ~x101714+32 ~x101713+16 ~x101712+8 ~x101711+4 ~x101710+2 ~x101709+1 ~x101708+512 ~x2490+256 ~x2489+128 ~x2488+64 ~x2487+32 ~x2486+16 ~x2485+8 ~x2484+4 ~x2483+2 ~x2482+1 ~x2481-0=2046
3.09/3.14	c 512 ~x103019+256 ~x103018+128 ~x103017+64 ~x103016+32 ~x103015+16 ~x103014+8 ~x103013+4 ~x103012+2 ~x103011+1 ~x103010+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=2046
3.09/3.17	c 512 ~x104321+256 ~x104320+128 ~x104319+64 ~x104318+32 ~x104317+16 ~x104316+8 ~x104315+4 ~x104314+2 ~x104313+1 ~x104312+512 ~x2512+256 ~x2511+128 ~x2510+64 ~x2509+32 ~x2508+16 ~x2507+8 ~x2506+4 ~x2505+2 ~x2504+1 ~x2503-0=2046
3.19/3.20	c 512 ~x105623+256 ~x105622+128 ~x105621+64 ~x105620+32 ~x105619+16 ~x105618+8 ~x105617+4 ~x105616+2 ~x105615+1 ~x105614+512 ~x2534+256 ~x2533+128 ~x2532+64 ~x2531+32 ~x2530+16 ~x2529+8 ~x2528+4 ~x2527+2 ~x2526+1 ~x2525-0=2046
3.19/3.24	c 512 ~x106925+256 ~x106924+128 ~x106923+64 ~x106922+32 ~x106921+16 ~x106920+8 ~x106919+4 ~x106918+2 ~x106917+1 ~x106916+512 ~x2545+256 ~x2544+128 ~x2543+64 ~x2542+32 ~x2541+16 ~x2540+8 ~x2539+4 ~x2538+2 ~x2537+1 ~x2536-0=2046
3.19/3.30	c 512 ~x108227+256 ~x108226+128 ~x108225+64 ~x108224+32 ~x108223+16 ~x108222+8 ~x108221+4 ~x108220+2 ~x108219+1 ~x108218+512 ~x2556+256 ~x2555+128 ~x2554+64 ~x2553+32 ~x2552+16 ~x2551+8 ~x2550+4 ~x2549+2 ~x2548+1 ~x2547-0=2046
3.19/3.30	c 512 ~x109529+256 ~x109528+128 ~x109527+64 ~x109526+32 ~x109525+16 ~x109524+8 ~x109523+4 ~x109522+2 ~x109521+1 ~x109520+512 ~x2567+256 ~x2566+128 ~x2565+64 ~x2564+32 ~x2563+16 ~x2562+8 ~x2561+4 ~x2560+2 ~x2559+1 ~x2558-0=2046
3.29/3.34	c 512 ~x110831+256 ~x110830+128 ~x110829+64 ~x110828+32 ~x110827+16 ~x110826+8 ~x110825+4 ~x110824+2 ~x110823+1 ~x110822+512 ~x2578+256 ~x2577+128 ~x2576+64 ~x2575+32 ~x2574+16 ~x2573+8 ~x2572+4 ~x2571+2 ~x2570+1 ~x2569-0=2046
3.29/3.37	c 512 ~x112133+256 ~x112132+128 ~x112131+64 ~x112130+32 ~x112129+16 ~x112128+8 ~x112127+4 ~x112126+2 ~x112125+1 ~x112124+512 ~x2589+256 ~x2588+128 ~x2587+64 ~x2586+32 ~x2585+16 ~x2584+8 ~x2583+4 ~x2582+2 ~x2581+1 ~x2580-0=2046
3.39/3.40	c 512 ~x113435+256 ~x113434+128 ~x113433+64 ~x113432+32 ~x113431+16 ~x113430+8 ~x113429+4 ~x113428+2 ~x113427+1 ~x113426+512 ~x2600+256 ~x2599+128 ~x2598+64 ~x2597+32 ~x2596+16 ~x2595+8 ~x2594+4 ~x2593+2 ~x2592+1 ~x2591-0=2046
3.39/3.43	c 512 ~x114737+256 ~x114736+128 ~x114735+64 ~x114734+32 ~x114733+16 ~x114732+8 ~x114731+4 ~x114730+2 ~x114729+1 ~x114728+512 ~x2611+256 ~x2610+128 ~x2609+64 ~x2608+32 ~x2607+16 ~x2606+8 ~x2605+4 ~x2604+2 ~x2603+1 ~x2602-0=2046
3.39/3.47	c 512 ~x116039+256 ~x116038+128 ~x116037+64 ~x116036+32 ~x116035+16 ~x116034+8 ~x116033+4 ~x116032+2 ~x116031+1 ~x116030+512 ~x2622+256 ~x2621+128 ~x2620+64 ~x2619+32 ~x2618+16 ~x2617+8 ~x2616+4 ~x2615+2 ~x2614+1 ~x2613-0=2046
3.49/3.50	c 512 ~x117341+256 ~x117340+128 ~x117339+64 ~x117338+32 ~x117337+16 ~x117336+8 ~x117335+4 ~x117334+2 ~x117333+1 ~x117332+512 ~x2633+256 ~x2632+128 ~x2631+64 ~x2630+32 ~x2629+16 ~x2628+8 ~x2627+4 ~x2626+2 ~x2625+1 ~x2624-0=2046
3.49/3.56	c 512 ~x118643+256 ~x118642+128 ~x118641+64 ~x118640+32 ~x118639+16 ~x118638+8 ~x118637+4 ~x118636+2 ~x118635+1 ~x118634+512 ~x2655+256 ~x2654+128 ~x2653+64 ~x2652+32 ~x2651+16 ~x2650+8 ~x2649+4 ~x2648+2 ~x2647+1 ~x2646-0=2046
3.49/3.56	c 512 ~x119945+256 ~x119944+128 ~x119943+64 ~x119942+32 ~x119941+16 ~x119940+8 ~x119939+4 ~x119938+2 ~x119937+1 ~x119936+512 ~x2666+256 ~x2665+128 ~x2664+64 ~x2663+32 ~x2662+16 ~x2661+8 ~x2660+4 ~x2659+2 ~x2658+1 ~x2657-0=2046
3.59/3.60	c 512 ~x121247+256 ~x121246+128 ~x121245+64 ~x121244+32 ~x121243+16 ~x121242+8 ~x121241+4 ~x121240+2 ~x121239+1 ~x121238+512 ~x2677+256 ~x2676+128 ~x2675+64 ~x2674+32 ~x2673+16 ~x2672+8 ~x2671+4 ~x2670+2 ~x2669+1 ~x2668-0=2046
3.59/3.63	c 512 ~x122549+256 ~x122548+128 ~x122547+64 ~x122546+32 ~x122545+16 ~x122544+8 ~x122543+4 ~x122542+2 ~x122541+1 ~x122540+512 ~x2688+256 ~x2687+128 ~x2686+64 ~x2685+32 ~x2684+16 ~x2683+8 ~x2682+4 ~x2681+2 ~x2680+1 ~x2679-0=2046
3.59/3.66	c 512 ~x123851+256 ~x123850+128 ~x123849+64 ~x123848+32 ~x123847+16 ~x123846+8 ~x123845+4 ~x123844+2 ~x123843+1 ~x123842+512 ~x2699+256 ~x2698+128 ~x2697+64 ~x2696+32 ~x2695+16 ~x2694+8 ~x2693+4 ~x2692+2 ~x2691+1 ~x2690-0=2046
3.59/3.70	c 512 ~x125153+256 ~x125152+128 ~x125151+64 ~x125150+32 ~x125149+16 ~x125148+8 ~x125147+4 ~x125146+2 ~x125145+1 ~x125144+512 ~x2710+256 ~x2709+128 ~x2708+64 ~x2707+32 ~x2706+16 ~x2705+8 ~x2704+4 ~x2703+2 ~x2702+1 ~x2701-0=2046
3.69/3.73	c 512 ~x126455+256 ~x126454+128 ~x126453+64 ~x126452+32 ~x126451+16 ~x126450+8 ~x126449+4 ~x126448+2 ~x126447+1 ~x126446+512 ~x2721+256 ~x2720+128 ~x2719+64 ~x2718+32 ~x2717+16 ~x2716+8 ~x2715+4 ~x2714+2 ~x2713+1 ~x2712-0=2046
3.69/3.76	c 512 ~x127757+256 ~x127756+128 ~x127755+64 ~x127754+32 ~x127753+16 ~x127752+8 ~x127751+4 ~x127750+2 ~x127749+1 ~x127748+512 ~x2732+256 ~x2731+128 ~x2730+64 ~x2729+32 ~x2728+16 ~x2727+8 ~x2726+4 ~x2725+2 ~x2724+1 ~x2723-0=2046
3.78/3.80	c 512 ~x129059+256 ~x129058+128 ~x129057+64 ~x129056+32 ~x129055+16 ~x129054+8 ~x129053+4 ~x129052+2 ~x129051+1 ~x129050+512 ~x2743+256 ~x2742+128 ~x2741+64 ~x2740+32 ~x2739+16 ~x2738+8 ~x2737+4 ~x2736+2 ~x2735+1 ~x2734-0=2046
3.78/3.87	c 512 ~x130361+256 ~x130360+128 ~x130359+64 ~x130358+32 ~x130357+16 ~x130356+8 ~x130355+4 ~x130354+2 ~x130353+1 ~x130352+512 ~x2754+256 ~x2753+128 ~x2752+64 ~x2751+32 ~x2750+16 ~x2749+8 ~x2748+4 ~x2747+2 ~x2746+1 ~x2745-0=2046
3.78/3.87	c 512 ~x131663+256 ~x131662+128 ~x131661+64 ~x131660+32 ~x131659+16 ~x131658+8 ~x131657+4 ~x131656+2 ~x131655+1 ~x131654+512 ~x33+256 ~x32+128 ~x31+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+1 ~x24-0=2046
3.89/3.90	c 512 ~x132965+256 ~x132964+128 ~x132963+64 ~x132962+32 ~x132961+16 ~x132960+8 ~x132959+4 ~x132958+2 ~x132957+1 ~x132956+512 ~x44+256 ~x43+128 ~x42+64 ~x41+32 ~x40+16 ~x39+8 ~x38+4 ~x37+2 ~x36+1 ~x35-0=2046
3.89/3.93	c 512 ~x134267+256 ~x134266+128 ~x134265+64 ~x134264+32 ~x134263+16 ~x134262+8 ~x134261+4 ~x134260+2 ~x134259+1 ~x134258+512 ~x55+256 ~x54+128 ~x53+64 ~x52+32 ~x51+16 ~x50+8 ~x49+4 ~x48+2 ~x47+1 ~x46-0=2046
3.89/3.96	c 512 ~x135569+256 ~x135568+128 ~x135567+64 ~x135566+32 ~x135565+16 ~x135564+8 ~x135563+4 ~x135562+2 ~x135561+1 ~x135560+512 ~x66+256 ~x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=2046
3.99/4.00	c 512 ~x136871+256 ~x136870+128 ~x136869+64 ~x136868+32 ~x136867+16 ~x136866+8 ~x136865+4 ~x136864+2 ~x136863+1 ~x136862+512 ~x77+256 ~x76+128 ~x75+64 ~x74+32 ~x73+16 ~x72+8 ~x71+4 ~x70+2 ~x69+1 ~x68-0=2046
3.99/4.07	c 512 ~x138173+256 ~x138172+128 ~x138171+64 ~x138170+32 ~x138169+16 ~x138168+8 ~x138167+4 ~x138166+2 ~x138165+1 ~x138164+512 ~x88+256 ~x87+128 ~x86+64 ~x85+32 ~x84+16 ~x83+8 ~x82+4 ~x81+2 ~x80+1 ~x79-0=2046
3.99/4.07	c 512 ~x139475+256 ~x139474+128 ~x139473+64 ~x139472+32 ~x139471+16 ~x139470+8 ~x139469+4 ~x139468+2 ~x139467+1 ~x139466+512 ~x99+256 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90-0=2046
4.09/4.10	c 512 ~x140777+256 ~x140776+128 ~x140775+64 ~x140774+32 ~x140773+16 ~x140772+8 ~x140771+4 ~x140770+2 ~x140769+1 ~x140768+512 ~x110+256 ~x109+128 ~x108+64 ~x107+32 ~x106+16 ~x105+8 ~x104+4 ~x103+2 ~x102+1 ~x101-0=2046
4.09/4.13	c 512 ~x142079+256 ~x142078+128 ~x142077+64 ~x142076+32 ~x142075+16 ~x142074+8 ~x142073+4 ~x142072+2 ~x142071+1 ~x142070+512 ~x121+256 ~x120+128 ~x119+64 ~x118+32 ~x117+16 ~x116+8 ~x115+4 ~x114+2 ~x113+1 ~x112-0=2046
4.09/4.17	c 512 ~x143381+256 ~x143380+128 ~x143379+64 ~x143378+32 ~x143377+16 ~x143376+8 ~x143375+4 ~x143374+2 ~x143373+1 ~x143372+512 ~x132+256 ~x131+128 ~x130+64 ~x129+32 ~x128+16 ~x127+8 ~x126+4 ~x125+2 ~x124+1 ~x123-0=2046
4.18/4.20	c 512 ~x144683+256 ~x144682+128 ~x144681+64 ~x144680+32 ~x144679+16 ~x144678+8 ~x144677+4 ~x144676+2 ~x144675+1 ~x144674+512 ~x154+256 ~x153+128 ~x152+64 ~x151+32 ~x150+16 ~x149+8 ~x148+4 ~x147+2 ~x146+1 ~x145-0=2046
4.18/4.27	c 512 ~x145985+256 ~x145984+128 ~x145983+64 ~x145982+32 ~x145981+16 ~x145980+8 ~x145979+4 ~x145978+2 ~x145977+1 ~x145976+512 ~x165+256 ~x164+128 ~x163+64 ~x162+32 ~x161+16 ~x160+8 ~x159+4 ~x158+2 ~x157+1 ~x156-0=2046
4.18/4.27	c 512 ~x147287+256 ~x147286+128 ~x147285+64 ~x147284+32 ~x147283+16 ~x147282+8 ~x147281+4 ~x147280+2 ~x147279+1 ~x147278+512 ~x176+256 ~x175+128 ~x174+64 ~x173+32 ~x172+16 ~x171+8 ~x170+4 ~x169+2 ~x168+1 ~x167-0=2046
4.30/4.31	c 512 ~x148589+256 ~x148588+128 ~x148587+64 ~x148586+32 ~x148585+16 ~x148584+8 ~x148583+4 ~x148582+2 ~x148581+1 ~x148580+512 ~x187+256 ~x186+128 ~x185+64 ~x184+32 ~x183+16 ~x182+8 ~x181+4 ~x180+2 ~x179+1 ~x178-0=2046
4.30/4.34	c 512 ~x149891+256 ~x149890+128 ~x149889+64 ~x149888+32 ~x149887+16 ~x149886+8 ~x149885+4 ~x149884+2 ~x149883+1 ~x149882+512 ~x198+256 ~x197+128 ~x196+64 ~x195+32 ~x194+16 ~x193+8 ~x192+4 ~x191+2 ~x190+1 ~x189-0=2046
4.30/4.37	c 512 ~x151193+256 ~x151192+128 ~x151191+64 ~x151190+32 ~x151189+16 ~x151188+8 ~x151187+4 ~x151186+2 ~x151185+1 ~x151184+512 ~x209+256 ~x208+128 ~x207+64 ~x206+32 ~x205+16 ~x204+8 ~x203+4 ~x202+2 ~x201+1 ~x200-0=2046
4.39/4.41	c 512 ~x152495+256 ~x152494+128 ~x152493+64 ~x152492+32 ~x152491+16 ~x152490+8 ~x152489+4 ~x152488+2 ~x152487+1 ~x152486+512 ~x220+256 ~x219+128 ~x218+64 ~x217+32 ~x216+16 ~x215+8 ~x214+4 ~x213+2 ~x212+1 ~x211-0=2046
4.39/4.48	c 512 ~x153797+256 ~x153796+128 ~x153795+64 ~x153794+32 ~x153793+16 ~x153792+8 ~x153791+4 ~x153790+2 ~x153789+1 ~x153788+512 ~x231+256 ~x230+128 ~x229+64 ~x228+32 ~x227+16 ~x226+8 ~x225+4 ~x224+2 ~x223+1 ~x222-0=2046
4.39/4.48	c 512 ~x155099+256 ~x155098+128 ~x155097+64 ~x155096+32 ~x155095+16 ~x155094+8 ~x155093+4 ~x155092+2 ~x155091+1 ~x155090+512 ~x242+256 ~x241+128 ~x240+64 ~x239+32 ~x238+16 ~x237+8 ~x236+4 ~x235+2 ~x234+1 ~x233-0=2046
4.48/4.51	c 512 ~x156401+256 ~x156400+128 ~x156399+64 ~x156398+32 ~x156397+16 ~x156396+8 ~x156395+4 ~x156394+2 ~x156393+1 ~x156392+512 ~x253+256 ~x252+128 ~x251+64 ~x250+32 ~x249+16 ~x248+8 ~x247+4 ~x246+2 ~x245+1 ~x244-0=2046
4.48/4.55	c 512 ~x157703+256 ~x157702+128 ~x157701+64 ~x157700+32 ~x157699+16 ~x157698+8 ~x157697+4 ~x157696+2 ~x157695+1 ~x157694+512 ~x275+256 ~x274+128 ~x273+64 ~x272+32 ~x271+16 ~x270+8 ~x269+4 ~x268+2 ~x267+1 ~x266-0=2046
4.48/4.58	c 512 ~x159005+256 ~x159004+128 ~x159003+64 ~x159002+32 ~x159001+16 ~x159000+8 ~x158999+4 ~x158998+2 ~x158997+1 ~x158996+512 ~x286+256 ~x285+128 ~x284+64 ~x283+32 ~x282+16 ~x281+8 ~x280+4 ~x279+2 ~x278+1 ~x277-0=2046
4.59/4.61	c 512 ~x160307+256 ~x160306+128 ~x160305+64 ~x160304+32 ~x160303+16 ~x160302+8 ~x160301+4 ~x160300+2 ~x160299+1 ~x160298+512 ~x297+256 ~x296+128 ~x295+64 ~x294+32 ~x293+16 ~x292+8 ~x291+4 ~x290+2 ~x289+1 ~x288-0=2046
4.59/4.65	c 512 ~x161609+256 ~x161608+128 ~x161607+64 ~x161606+32 ~x161605+16 ~x161604+8 ~x161603+4 ~x161602+2 ~x161601+1 ~x161600+512 ~x308+256 ~x307+128 ~x306+64 ~x305+32 ~x304+16 ~x303+8 ~x302+4 ~x301+2 ~x300+1 ~x299-0=2046
4.69/4.72	c 512 ~x162911+256 ~x162910+128 ~x162909+64 ~x162908+32 ~x162907+16 ~x162906+8 ~x162905+4 ~x162904+2 ~x162903+1 ~x162902+512 ~x319+256 ~x318+128 ~x317+64 ~x316+32 ~x315+16 ~x314+8 ~x313+4 ~x312+2 ~x311+1 ~x310-0=2046
4.69/4.72	c 512 ~x164213+256 ~x164212+128 ~x164211+64 ~x164210+32 ~x164209+16 ~x164208+8 ~x164207+4 ~x164206+2 ~x164205+1 ~x164204+512 ~x330+256 ~x329+128 ~x328+64 ~x327+32 ~x326+16 ~x325+8 ~x324+4 ~x323+2 ~x322+1 ~x321-0=2046
4.69/4.75	c 512 ~x165515+256 ~x165514+128 ~x165513+64 ~x165512+32 ~x165511+16 ~x165510+8 ~x165509+4 ~x165508+2 ~x165507+1 ~x165506+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=2046
4.69/4.79	c 512 ~x166817+256 ~x166816+128 ~x166815+64 ~x166814+32 ~x166813+16 ~x166812+8 ~x166811+4 ~x166810+2 ~x166809+1 ~x166808+512 ~x352+256 ~x351+128 ~x350+64 ~x349+32 ~x348+16 ~x347+8 ~x346+4 ~x345+2 ~x344+1 ~x343-0=2046
4.79/4.82	c 512 ~x168119+256 ~x168118+128 ~x168117+64 ~x168116+32 ~x168115+16 ~x168114+8 ~x168113+4 ~x168112+2 ~x168111+1 ~x168110+512 ~x363+256 ~x362+128 ~x361+64 ~x360+32 ~x359+16 ~x358+8 ~x357+4 ~x356+2 ~x355+1 ~x354-0=2046
4.79/4.86	c 512 ~x169421+256 ~x169420+128 ~x169419+64 ~x169418+32 ~x169417+16 ~x169416+8 ~x169415+4 ~x169414+2 ~x169413+1 ~x169412+512 ~x374+256 ~x373+128 ~x372+64 ~x371+32 ~x370+16 ~x369+8 ~x368+4 ~x367+2 ~x366+1 ~x365-0=2046
4.88/4.93	c 512 ~x170723+256 ~x170722+128 ~x170721+64 ~x170720+32 ~x170719+16 ~x170718+8 ~x170717+4 ~x170716+2 ~x170715+1 ~x170714+512 ~x396+256 ~x395+128 ~x394+64 ~x393+32 ~x392+16 ~x391+8 ~x390+4 ~x389+2 ~x388+1 ~x387-0=2046
4.88/4.93	c 512 ~x172025+256 ~x172024+128 ~x172023+64 ~x172022+32 ~x172021+16 ~x172020+8 ~x172019+4 ~x172018+2 ~x172017+1 ~x172016+512 ~x407+256 ~x406+128 ~x405+64 ~x404+32 ~x403+16 ~x402+8 ~x401+4 ~x400+2 ~x399+1 ~x398-0=2046
4.88/4.96	c 512 ~x173327+256 ~x173326+128 ~x173325+64 ~x173324+32 ~x173323+16 ~x173322+8 ~x173321+4 ~x173320+2 ~x173319+1 ~x173318+512 ~x418+256 ~x417+128 ~x416+64 ~x415+32 ~x414+16 ~x413+8 ~x412+4 ~x411+2 ~x410+1 ~x409-0=2046
4.88/4.99	c 512 ~x174629+256 ~x174628+128 ~x174627+64 ~x174626+32 ~x174625+16 ~x174624+8 ~x174623+4 ~x174622+2 ~x174621+1 ~x174620+512 ~x429+256 ~x428+128 ~x427+64 ~x426+32 ~x425+16 ~x424+8 ~x423+4 ~x422+2 ~x421+1 ~x420-0=2046
4.98/5.03	c 512 ~x175931+256 ~x175930+128 ~x175929+64 ~x175928+32 ~x175927+16 ~x175926+8 ~x175925+4 ~x175924+2 ~x175923+1 ~x175922+512 ~x440+256 ~x439+128 ~x438+64 ~x437+32 ~x436+16 ~x435+8 ~x434+4 ~x433+2 ~x432+1 ~x431-0=2046
4.98/5.06	c 512 ~x177233+256 ~x177232+128 ~x177231+64 ~x177230+32 ~x177229+16 ~x177228+8 ~x177227+4 ~x177226+2 ~x177225+1 ~x177224+512 ~x451+256 ~x450+128 ~x449+64 ~x448+32 ~x447+16 ~x446+8 ~x445+4 ~x444+2 ~x443+1 ~x442-0=2046
4.98/5.09	c 512 ~x178535+256 ~x178534+128 ~x178533+64 ~x178532+32 ~x178531+16 ~x178530+8 ~x178529+4 ~x178528+2 ~x178527+1 ~x178526+512 ~x462+256 ~x461+128 ~x460+64 ~x459+32 ~x458+16 ~x457+8 ~x456+4 ~x455+2 ~x454+1 ~x453-0=2046
5.08/5.16	c 512 ~x179837+256 ~x179836+128 ~x179835+64 ~x179834+32 ~x179833+16 ~x179832+8 ~x179831+4 ~x179830+2 ~x179829+1 ~x179828+512 ~x473+256 ~x472+128 ~x471+64 ~x470+32 ~x469+16 ~x468+8 ~x467+4 ~x466+2 ~x465+1 ~x464-0=2046
5.08/5.16	c 512 ~x181139+256 ~x181138+128 ~x181137+64 ~x181136+32 ~x181135+16 ~x181134+8 ~x181133+4 ~x181132+2 ~x181131+1 ~x181130+512 ~x484+256 ~x483+128 ~x482+64 ~x481+32 ~x480+16 ~x479+8 ~x478+4 ~x477+2 ~x476+1 ~x475-0=2046
5.08/5.19	c 512 ~x182441+256 ~x182440+128 ~x182439+64 ~x182438+32 ~x182437+16 ~x182436+8 ~x182435+4 ~x182434+2 ~x182433+1 ~x182432+512 ~x495+256 ~x494+128 ~x493+64 ~x492+32 ~x491+16 ~x490+8 ~x489+4 ~x488+2 ~x487+1 ~x486-0=2046
5.19/5.22	c 512 ~x183743+256 ~x183742+128 ~x183741+64 ~x183740+32 ~x183739+16 ~x183738+8 ~x183737+4 ~x183736+2 ~x183735+1 ~x183734+512 ~x517+256 ~x516+128 ~x515+64 ~x514+32 ~x513+16 ~x512+8 ~x511+4 ~x510+2 ~x509+1 ~x508-0=2046
5.19/5.26	c 512 ~x185045+256 ~x185044+128 ~x185043+64 ~x185042+32 ~x185041+16 ~x185040+8 ~x185039+4 ~x185038+2 ~x185037+1 ~x185036+512 ~x528+256 ~x527+128 ~x526+64 ~x525+32 ~x524+16 ~x523+8 ~x522+4 ~x521+2 ~x520+1 ~x519-0=2046
5.19/5.29	c 512 ~x186347+256 ~x186346+128 ~x186345+64 ~x186344+32 ~x186343+16 ~x186342+8 ~x186341+4 ~x186340+2 ~x186339+1 ~x186338+512 ~x539+256 ~x538+128 ~x537+64 ~x536+32 ~x535+16 ~x534+8 ~x533+4 ~x532+2 ~x531+1 ~x530-0=2046
5.29/5.35	c 512 ~x187649+256 ~x187648+128 ~x187647+64 ~x187646+32 ~x187645+16 ~x187644+8 ~x187643+4 ~x187642+2 ~x187641+1 ~x187640+512 ~x550+256 ~x549+128 ~x548+64 ~x547+32 ~x546+16 ~x545+8 ~x544+4 ~x543+2 ~x542+1 ~x541-0=2046
5.29/5.39	c 512 ~x188951+256 ~x188950+128 ~x188949+64 ~x188948+32 ~x188947+16 ~x188946+8 ~x188945+4 ~x188944+2 ~x188943+1 ~x188942+512 ~x561+256 ~x560+128 ~x559+64 ~x558+32 ~x557+16 ~x556+8 ~x555+4 ~x554+2 ~x553+1 ~x552-0=2046
5.29/5.39	c 512 ~x190253+256 ~x190252+128 ~x190251+64 ~x190250+32 ~x190249+16 ~x190248+8 ~x190247+4 ~x190246+2 ~x190245+1 ~x190244+512 ~x572+256 ~x571+128 ~x570+64 ~x569+32 ~x568+16 ~x567+8 ~x566+4 ~x565+2 ~x564+1 ~x563-0=2046
5.39/5.42	c 512 ~x191555+256 ~x191554+128 ~x191553+64 ~x191552+32 ~x191551+16 ~x191550+8 ~x191549+4 ~x191548+2 ~x191547+1 ~x191546+512 ~x583+256 ~x582+128 ~x581+64 ~x580+32 ~x579+16 ~x578+8 ~x577+4 ~x576+2 ~x575+1 ~x574-0=2046
5.39/5.45	c 512 ~x192857+256 ~x192856+128 ~x192855+64 ~x192854+32 ~x192853+16 ~x192852+8 ~x192851+4 ~x192850+2 ~x192849+1 ~x192848+512 ~x594+256 ~x593+128 ~x592+64 ~x591+32 ~x590+16 ~x589+8 ~x588+4 ~x587+2 ~x586+1 ~x585-0=2046
5.39/5.49	c 512 ~x194159+256 ~x194158+128 ~x194157+64 ~x194156+32 ~x194155+16 ~x194154+8 ~x194153+4 ~x194152+2 ~x194151+1 ~x194150+512 ~x605+256 ~x604+128 ~x603+64 ~x602+32 ~x601+16 ~x600+8 ~x599+4 ~x598+2 ~x597+1 ~x596-0=2046
5.49/5.52	c 512 ~x195461+256 ~x195460+128 ~x195459+64 ~x195458+32 ~x195457+16 ~x195456+8 ~x195455+4 ~x195454+2 ~x195453+1 ~x195452+512 ~x616+256 ~x615+128 ~x614+64 ~x613+32 ~x612+16 ~x611+8 ~x610+4 ~x609+2 ~x608+1 ~x607-0=2046
5.49/5.58	c 512 ~x196763+256 ~x196762+128 ~x196761+64 ~x196760+32 ~x196759+16 ~x196758+8 ~x196757+4 ~x196756+2 ~x196755+1 ~x196754+512 ~x638+256 ~x637+128 ~x636+64 ~x635+32 ~x634+16 ~x633+8 ~x632+4 ~x631+2 ~x630+1 ~x629-0=2046
5.49/5.58	c 512 ~x198065+256 ~x198064+128 ~x198063+64 ~x198062+32 ~x198061+16 ~x198060+8 ~x198059+4 ~x198058+2 ~x198057+1 ~x198056+512 ~x649+256 ~x648+128 ~x647+64 ~x646+32 ~x645+16 ~x644+8 ~x643+4 ~x642+2 ~x641+1 ~x640-0=2046
5.58/5.62	c 512 ~x199367+256 ~x199366+128 ~x199365+64 ~x199364+32 ~x199363+16 ~x199362+8 ~x199361+4 ~x199360+2 ~x199359+1 ~x199358+512 ~x660+256 ~x659+128 ~x658+64 ~x657+32 ~x656+16 ~x655+8 ~x654+4 ~x653+2 ~x652+1 ~x651-0=2046
5.58/5.65	c 512 ~x200669+256 ~x200668+128 ~x200667+64 ~x200666+32 ~x200665+16 ~x200664+8 ~x200663+4 ~x200662+2 ~x200661+1 ~x200660+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=2046
5.58/5.68	c 512 ~x201971+256 ~x201970+128 ~x201969+64 ~x201968+32 ~x201967+16 ~x201966+8 ~x201965+4 ~x201964+2 ~x201963+1 ~x201962+512 ~x682+256 ~x681+128 ~x680+64 ~x679+32 ~x678+16 ~x677+8 ~x676+4 ~x675+2 ~x674+1 ~x673-0=2046
5.69/5.71	c 512 ~x203273+256 ~x203272+128 ~x203271+64 ~x203270+32 ~x203269+16 ~x203268+8 ~x203267+4 ~x203266+2 ~x203265+1 ~x203264+512 ~x693+256 ~x692+128 ~x691+64 ~x690+32 ~x689+16 ~x688+8 ~x687+4 ~x686+2 ~x685+1 ~x684-0=2046
5.69/5.75	c 512 ~x204575+256 ~x204574+128 ~x204573+64 ~x204572+32 ~x204571+16 ~x204570+8 ~x204569+4 ~x204568+2 ~x204567+1 ~x204566+512 ~x704+256 ~x703+128 ~x702+64 ~x701+32 ~x700+16 ~x699+8 ~x698+4 ~x697+2 ~x696+1 ~x695-0=2046
5.79/5.81	c 512 ~x205877+256 ~x205876+128 ~x205875+64 ~x205874+32 ~x205873+16 ~x205872+8 ~x205871+4 ~x205870+2 ~x205869+1 ~x205868+512 ~x715+256 ~x714+128 ~x713+64 ~x712+32 ~x711+16 ~x710+8 ~x709+4 ~x708+2 ~x707+1 ~x706-0=2046
5.79/5.81	c 512 ~x207179+256 ~x207178+128 ~x207177+64 ~x207176+32 ~x207175+16 ~x207174+8 ~x207173+4 ~x207172+2 ~x207171+1 ~x207170+512 ~x726+256 ~x725+128 ~x724+64 ~x723+32 ~x722+16 ~x721+8 ~x720+4 ~x719+2 ~x718+1 ~x717-0=2046
5.79/5.85	c 512 ~x208481+256 ~x208480+128 ~x208479+64 ~x208478+32 ~x208477+16 ~x208476+8 ~x208475+4 ~x208474+2 ~x208473+1 ~x208472+512 ~x737+256 ~x736+128 ~x735+64 ~x734+32 ~x733+16 ~x732+8 ~x731+4 ~x730+2 ~x729+1 ~x728-0=2046
5.79/5.88	c 512 ~x209783+256 ~x209782+128 ~x209781+64 ~x209780+32 ~x209779+16 ~x209778+8 ~x209777+4 ~x209776+2 ~x209775+1 ~x209774+512 ~x759+256 ~x758+128 ~x757+64 ~x756+32 ~x755+16 ~x754+8 ~x753+4 ~x752+2 ~x751+1 ~x750-0=2046
5.88/5.91	c 512 ~x211085+256 ~x211084+128 ~x211083+64 ~x211082+32 ~x211081+16 ~x211080+8 ~x211079+4 ~x211078+2 ~x211077+1 ~x211076+512 ~x770+256 ~x769+128 ~x768+64 ~x767+32 ~x766+16 ~x765+8 ~x764+4 ~x763+2 ~x762+1 ~x761-0=2046
5.88/5.94	c 512 ~x212387+256 ~x212386+128 ~x212385+64 ~x212384+32 ~x212383+16 ~x212382+8 ~x212381+4 ~x212380+2 ~x212379+1 ~x212378+512 ~x781+256 ~x780+128 ~x779+64 ~x778+32 ~x777+16 ~x776+8 ~x775+4 ~x774+2 ~x773+1 ~x772-0=2046
5.98/6.01	c 512 ~x213689+256 ~x213688+128 ~x213687+64 ~x213686+32 ~x213685+16 ~x213684+8 ~x213683+4 ~x213682+2 ~x213681+1 ~x213680+512 ~x792+256 ~x791+128 ~x790+64 ~x789+32 ~x788+16 ~x787+8 ~x786+4 ~x785+2 ~x784+1 ~x783-0=2046
5.98/6.01	c 512 ~x214991+256 ~x214990+128 ~x214989+64 ~x214988+32 ~x214987+16 ~x214986+8 ~x214985+4 ~x214984+2 ~x214983+1 ~x214982+512 ~x803+256 ~x802+128 ~x801+64 ~x800+32 ~x799+16 ~x798+8 ~x797+4 ~x796+2 ~x795+1 ~x794-0=2046
5.98/6.05	c 512 ~x216293+256 ~x216292+128 ~x216291+64 ~x216290+32 ~x216289+16 ~x216288+8 ~x216287+4 ~x216286+2 ~x216285+1 ~x216284+512 ~x814+256 ~x813+128 ~x812+64 ~x811+32 ~x810+16 ~x809+8 ~x808+4 ~x807+2 ~x806+1 ~x805-0=2046
5.98/6.08	c 512 ~x217595+256 ~x217594+128 ~x217593+64 ~x217592+32 ~x217591+16 ~x217590+8 ~x217589+4 ~x217588+2 ~x217587+1 ~x217586+512 ~x825+256 ~x824+128 ~x823+64 ~x822+32 ~x821+16 ~x820+8 ~x819+4 ~x818+2 ~x817+1 ~x816-0=2046
6.09/6.11	c 512 ~x218897+256 ~x218896+128 ~x218895+64 ~x218894+32 ~x218893+16 ~x218892+8 ~x218891+4 ~x218890+2 ~x218889+1 ~x218888+512 ~x836+256 ~x835+128 ~x834+64 ~x833+32 ~x832+16 ~x831+8 ~x830+4 ~x829+2 ~x828+1 ~x827-0=2046
6.09/6.14	c 512 ~x220199+256 ~x220198+128 ~x220197+64 ~x220196+32 ~x220195+16 ~x220194+8 ~x220193+4 ~x220192+2 ~x220191+1 ~x220190+512 ~x847+256 ~x846+128 ~x845+64 ~x844+32 ~x843+16 ~x842+8 ~x841+4 ~x840+2 ~x839+1 ~x838-0=2046
6.09/6.18	c 32768 ~x221507+16384 ~x221506+8192 ~x221505+4096 ~x221504+2048 ~x221503+1024 ~x221502+512 ~x221501+256 ~x221500+128 ~x221499+64 ~x221498+32 ~x221497+16 ~x221496+8 ~x221495+4 ~x221494+2 ~x221493+1 ~x221492+32768 ~x1241+16384 ~x1240+8192 ~x1239+4096 ~x1238+2048 ~x1237+1024 ~x1236+512 ~x1235+256 ~x1234+128 ~x1233+64 ~x1232+32 ~x1231+16 ~x1230+8 ~x1229+4 ~x1228+2 ~x1227+1 ~x1226-0=122878
6.19/6.28	c 32768 ~x225549+16384 ~x225548+8192 ~x225547+4096 ~x225546+2048 ~x225545+1024 ~x225544+512 ~x225543+256 ~x225542+128 ~x225541+64 ~x225540+32 ~x225539+16 ~x225538+8 ~x225537+4 ~x225536+2 ~x225535+1 ~x225534+32768 ~x1259+16384 ~x1258+8192 ~x1257+4096 ~x1256+2048 ~x1255+1024 ~x1254+512 ~x1253+256 ~x1252+128 ~x1251+64 ~x1250+32 ~x1249+16 ~x1248+8 ~x1247+4 ~x1246+2 ~x1245+1 ~x1244-0=122878
6.29/6.37	c 32768 ~x229591+16384 ~x229590+8192 ~x229589+4096 ~x229588+2048 ~x229587+1024 ~x229586+512 ~x229585+256 ~x229584+128 ~x229583+64 ~x229582+32 ~x229581+16 ~x229580+8 ~x229579+4 ~x229578+2 ~x229577+1 ~x229576+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=122878
6.38/6.47	c 32768 ~x233633+16384 ~x233632+8192 ~x233631+4096 ~x233630+2048 ~x233629+1024 ~x233628+512 ~x233627+256 ~x233626+128 ~x233625+64 ~x233624+32 ~x233623+16 ~x233622+8 ~x233621+4 ~x233620+2 ~x233619+1 ~x233618+32768 ~x1306+16384 ~x1305+8192 ~x1304+4096 ~x1303+2048 ~x1302+1024 ~x1301+512 ~x1300+256 ~x1299+128 ~x1298+64 ~x1297+32 ~x1296+16 ~x1295+8 ~x1294+4 ~x1293+2 ~x1292+1 ~x1291-0=122878
6.49/6.57	c 32768 ~x237675+16384 ~x237674+8192 ~x237673+4096 ~x237672+2048 ~x237671+1024 ~x237670+512 ~x237669+256 ~x237668+128 ~x237667+64 ~x237666+32 ~x237665+16 ~x237664+8 ~x237663+4 ~x237662+2 ~x237661+1 ~x237660+32768 ~x1324+16384 ~x1323+8192 ~x1322+4096 ~x1321+2048 ~x1320+1024 ~x1319+512 ~x1318+256 ~x1317+128 ~x1316+64 ~x1315+32 ~x1314+16 ~x1313+8 ~x1312+4 ~x1311+2 ~x1310+1 ~x1309-0=122878
6.59/6.67	c 32768 ~x241717+16384 ~x241716+8192 ~x241715+4096 ~x241714+2048 ~x241713+1024 ~x241712+512 ~x241711+256 ~x241710+128 ~x241709+64 ~x241708+32 ~x241707+16 ~x241706+8 ~x241705+4 ~x241704+2 ~x241703+1 ~x241702+32768 ~x1342+16384 ~x1341+8192 ~x1340+4096 ~x1339+2048 ~x1338+1024 ~x1337+512 ~x1336+256 ~x1335+128 ~x1334+64 ~x1333+32 ~x1332+16 ~x1331+8 ~x1330+4 ~x1329+2 ~x1328+1 ~x1327-0=122878
6.68/6.77	c 32768 ~x245759+16384 ~x245758+8192 ~x245757+4096 ~x245756+2048 ~x245755+1024 ~x245754+512 ~x245753+256 ~x245752+128 ~x245751+64 ~x245750+32 ~x245749+16 ~x245748+8 ~x245747+4 ~x245746+2 ~x245745+1 ~x245744+32768 ~x1360+16384 ~x1359+8192 ~x1358+4096 ~x1357+2048 ~x1356+1024 ~x1355+512 ~x1354+256 ~x1353+128 ~x1352+64 ~x1351+32 ~x1350+16 ~x1349+8 ~x1348+4 ~x1347+2 ~x1346+1 ~x1345-0=122878
6.79/6.86	c 32768 ~x249801+16384 ~x249800+8192 ~x249799+4096 ~x249798+2048 ~x249797+1024 ~x249796+512 ~x249795+256 ~x249794+128 ~x249793+64 ~x249792+32 ~x249791+16 ~x249790+8 ~x249789+4 ~x249788+2 ~x249787+1 ~x249786+32768 ~x1378+16384 ~x1377+8192 ~x1376+4096 ~x1375+2048 ~x1374+1024 ~x1373+512 ~x1372+256 ~x1371+128 ~x1370+64 ~x1369+32 ~x1368+16 ~x1367+8 ~x1366+4 ~x1365+2 ~x1364+1 ~x1363-0=122878
6.89/6.96	c 32768 ~x253843+16384 ~x253842+8192 ~x253841+4096 ~x253840+2048 ~x253839+1024 ~x253838+512 ~x253837+256 ~x253836+128 ~x253835+64 ~x253834+32 ~x253833+16 ~x253832+8 ~x253831+4 ~x253830+2 ~x253829+1 ~x253828+32768 ~x1396+16384 ~x1395+8192 ~x1394+4096 ~x1393+2048 ~x1392+1024 ~x1391+512 ~x1390+256 ~x1389+128 ~x1388+64 ~x1387+32 ~x1386+16 ~x1385+8 ~x1384+4 ~x1383+2 ~x1382+1 ~x1381-0=122878
6.98/7.06	c 32768 ~x257885+16384 ~x257884+8192 ~x257883+4096 ~x257882+2048 ~x257881+1024 ~x257880+512 ~x257879+256 ~x257878+128 ~x257877+64 ~x257876+32 ~x257875+16 ~x257874+8 ~x257873+4 ~x257872+2 ~x257871+1 ~x257870+32768 ~x1414+16384 ~x1413+8192 ~x1412+4096 ~x1411+2048 ~x1410+1024 ~x1409+512 ~x1408+256 ~x1407+128 ~x1406+64 ~x1405+32 ~x1404+16 ~x1403+8 ~x1402+4 ~x1401+2 ~x1400+1 ~x1399-0=122878
7.08/7.16	c 32768 ~x261927+16384 ~x261926+8192 ~x261925+4096 ~x261924+2048 ~x261923+1024 ~x261922+512 ~x261921+256 ~x261920+128 ~x261919+64 ~x261918+32 ~x261917+16 ~x261916+8 ~x261915+4 ~x261914+2 ~x261913+1 ~x261912+32768 ~x1432+16384 ~x1431+8192 ~x1430+4096 ~x1429+2048 ~x1428+1024 ~x1427+512 ~x1426+256 ~x1425+128 ~x1424+64 ~x1423+32 ~x1422+16 ~x1421+8 ~x1420+4 ~x1419+2 ~x1418+1 ~x1417-0=122878
7.18/7.26	c 32768 ~x265969+16384 ~x265968+8192 ~x265967+4096 ~x265966+2048 ~x265965+1024 ~x265964+512 ~x265963+256 ~x265962+128 ~x265961+64 ~x265960+32 ~x265959+16 ~x265958+8 ~x265957+4 ~x265956+2 ~x265955+1 ~x265954+32768 ~x1450+16384 ~x1449+8192 ~x1448+4096 ~x1447+2048 ~x1446+1024 ~x1445+512 ~x1444+256 ~x1443+128 ~x1442+64 ~x1441+32 ~x1440+16 ~x1439+8 ~x1438+4 ~x1437+2 ~x1436+1 ~x1435-0=122878
7.29/7.36	c 16384 ~x270010+8192 ~x270009+4096 ~x270008+2048 ~x270007+1024 ~x270006+512 ~x270005+256 ~x270004+128 ~x270003+64 ~x270002+32 ~x270001+16 ~x270000+8 ~x269999+4 ~x269998+2 ~x269997+1 ~x269996+16384 ~x1467+8192 ~x1466+4096 ~x1465+2048 ~x1464+1024 ~x1463+512 ~x1462+256 ~x1461+128 ~x1460+64 ~x1459+32 ~x1458+16 ~x1457+8 ~x1456+4 ~x1455+2 ~x1454+1 ~x1453-0=61438
7.38/7.45	c 16384 ~x273751+8192 ~x273750+4096 ~x273749+2048 ~x273748+1024 ~x273747+512 ~x273746+256 ~x273745+128 ~x273744+64 ~x273743+32 ~x273742+16 ~x273741+8 ~x273740+4 ~x273739+2 ~x273738+1 ~x273737+16384 ~x1495+8192 ~x1494+4096 ~x1493+2048 ~x1492+1024 ~x1491+512 ~x1490+256 ~x1489+128 ~x1488+64 ~x1487+32 ~x1486+16 ~x1485+8 ~x1484+4 ~x1483+2 ~x1482+1 ~x1481-0=61438
7.48/7.54	c 16384 ~x277492+8192 ~x277491+4096 ~x277490+2048 ~x277489+1024 ~x277488+512 ~x277487+256 ~x277486+128 ~x277485+64 ~x277484+32 ~x277483+16 ~x277482+8 ~x277481+4 ~x277480+2 ~x277479+1 ~x277478+16384 ~x1512+8192 ~x1511+4096 ~x1510+2048 ~x1509+1024 ~x1508+512 ~x1507+256 ~x1506+128 ~x1505+64 ~x1504+32 ~x1503+16 ~x1502+8 ~x1501+4 ~x1500+2 ~x1499+1 ~x1498-0=61438
7.59/7.63	c 16384 ~x281233+8192 ~x281232+4096 ~x281231+2048 ~x281230+1024 ~x281229+512 ~x281228+256 ~x281227+128 ~x281226+64 ~x281225+32 ~x281224+16 ~x281223+8 ~x281222+4 ~x281221+2 ~x281220+1 ~x281219+16384 ~x1529+8192 ~x1528+4096 ~x1527+2048 ~x1526+1024 ~x1525+512 ~x1524+256 ~x1523+128 ~x1522+64 ~x1521+32 ~x1520+16 ~x1519+8 ~x1518+4 ~x1517+2 ~x1516+1 ~x1515-0=61438
7.69/7.72	c 16384 ~x284974+8192 ~x284973+4096 ~x284972+2048 ~x284971+1024 ~x284970+512 ~x284969+256 ~x284968+128 ~x284967+64 ~x284966+32 ~x284965+16 ~x284964+8 ~x284963+4 ~x284962+2 ~x284961+1 ~x284960+16384 ~x1546+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=61438
7.79/7.81	c 16384 ~x288715+8192 ~x288714+4096 ~x288713+2048 ~x288712+1024 ~x288711+512 ~x288710+256 ~x288709+128 ~x288708+64 ~x288707+32 ~x288706+16 ~x288705+8 ~x288704+4 ~x288703+2 ~x288702+1 ~x288701+16384 ~x1563+8192 ~x1562+4096 ~x1561+2048 ~x1560+1024 ~x1559+512 ~x1558+256 ~x1557+128 ~x1556+64 ~x1555+32 ~x1554+16 ~x1553+8 ~x1552+4 ~x1551+2 ~x1550+1 ~x1549-0=61438
7.89/7.91	c 16384 ~x292456+8192 ~x292455+4096 ~x292454+2048 ~x292453+1024 ~x292452+512 ~x292451+256 ~x292450+128 ~x292449+64 ~x292448+32 ~x292447+16 ~x292446+8 ~x292445+4 ~x292444+2 ~x292443+1 ~x292442+16384 ~x1580+8192 ~x1579+4096 ~x1578+2048 ~x1577+1024 ~x1576+512 ~x1575+256 ~x1574+128 ~x1573+64 ~x1572+32 ~x1571+16 ~x1570+8 ~x1569+4 ~x1568+2 ~x1567+1 ~x1566-0=61438
7.99/8.00	c 16384 ~x296197+8192 ~x296196+4096 ~x296195+2048 ~x296194+1024 ~x296193+512 ~x296192+256 ~x296191+128 ~x296190+64 ~x296189+32 ~x296188+16 ~x296187+8 ~x296186+4 ~x296185+2 ~x296184+1 ~x296183+16384 ~x1597+8192 ~x1596+4096 ~x1595+2048 ~x1594+1024 ~x1593+512 ~x1592+256 ~x1591+128 ~x1590+64 ~x1589+32 ~x1588+16 ~x1587+8 ~x1586+4 ~x1585+2 ~x1584+1 ~x1583-0=61438
7.99/8.09	c 16384 ~x299938+8192 ~x299937+4096 ~x299936+2048 ~x299935+1024 ~x299934+512 ~x299933+256 ~x299932+128 ~x299931+64 ~x299930+32 ~x299929+16 ~x299928+8 ~x299927+4 ~x299926+2 ~x299925+1 ~x299924+16384 ~x1614+8192 ~x1613+4096 ~x1612+2048 ~x1611+1024 ~x1610+512 ~x1609+256 ~x1608+128 ~x1607+64 ~x1606+32 ~x1605+16 ~x1604+8 ~x1603+4 ~x1602+2 ~x1601+1 ~x1600-0=61438
8.08/8.18	c 16384 ~x303679+8192 ~x303678+4096 ~x303677+2048 ~x303676+1024 ~x303675+512 ~x303674+256 ~x303673+128 ~x303672+64 ~x303671+32 ~x303670+16 ~x303669+8 ~x303668+4 ~x303667+2 ~x303666+1 ~x303665+16384 ~x1631+8192 ~x1630+4096 ~x1629+2048 ~x1628+1024 ~x1627+512 ~x1626+256 ~x1625+128 ~x1624+64 ~x1623+32 ~x1622+16 ~x1621+8 ~x1620+4 ~x1619+2 ~x1618+1 ~x1617-0=61438
8.18/8.27	c 16384 ~x307420+8192 ~x307419+4096 ~x307418+2048 ~x307417+1024 ~x307416+512 ~x307415+256 ~x307414+128 ~x307413+64 ~x307412+32 ~x307411+16 ~x307410+8 ~x307409+4 ~x307408+2 ~x307407+1 ~x307406+16384 ~x1648+8192 ~x1647+4096 ~x1646+2048 ~x1645+1024 ~x1644+512 ~x1643+256 ~x1642+128 ~x1641+64 ~x1640+32 ~x1639+16 ~x1638+8 ~x1637+4 ~x1636+2 ~x1635+1 ~x1634-0=61438
8.29/8.36	c 16384 ~x311161+8192 ~x311160+4096 ~x311159+2048 ~x311158+1024 ~x311157+512 ~x311156+256 ~x311155+128 ~x311154+64 ~x311153+32 ~x311152+16 ~x311151+8 ~x311150+4 ~x311149+2 ~x311148+1 ~x311147+16384 ~x1676+8192 ~x1675+4096 ~x1674+2048 ~x1673+1024 ~x1672+512 ~x1671+256 ~x1670+128 ~x1669+64 ~x1668+32 ~x1667+16 ~x1666+8 ~x1665+4 ~x1664+2 ~x1663+1 ~x1662-0=61438
8.39/8.45	c 131072 ~x314905+65536 ~x314904+32768 ~x314903+16384 ~x314902+8192 ~x314901+4096 ~x314900+2048 ~x314899+1024 ~x314898+512 ~x314897+256 ~x314896+128 ~x314895+64 ~x314894+32 ~x314893+16 ~x314892+8 ~x314891+4 ~x314890+2 ~x314889+1 ~x314888+131072 ~x1696+65536 ~x1695+32768 ~x1694+16384 ~x1693+8192 ~x1692+4096 ~x1691+2048 ~x1690+1024 ~x1689+512 ~x1688+256 ~x1687+128 ~x1686+64 ~x1685+32 ~x1684+16 ~x1683+8 ~x1682+4 ~x1681+2 ~x1680+1 ~x1679-0=479230
8.48/8.59	c 131072 ~x320415+65536 ~x320414+32768 ~x320413+16384 ~x320412+8192 ~x320411+4096 ~x320410+2048 ~x320409+1024 ~x320408+512 ~x320407+256 ~x320406+128 ~x320405+64 ~x320404+32 ~x320403+16 ~x320402+8 ~x320401+4 ~x320400+2 ~x320399+1 ~x320398+131072 ~x1715+65536 ~x1714+32768 ~x1713+16384 ~x1712+8192 ~x1711+4096 ~x1710+2048 ~x1709+1024 ~x1708+512 ~x1707+256 ~x1706+128 ~x1705+64 ~x1704+32 ~x1703+16 ~x1702+8 ~x1701+4 ~x1700+2 ~x1699+1 ~x1698-0=479230
8.70/8.72	c 131072 ~x325925+65536 ~x325924+32768 ~x325923+16384 ~x325922+8192 ~x325921+4096 ~x325920+2048 ~x325919+1024 ~x325918+512 ~x325917+256 ~x325916+128 ~x325915+64 ~x325914+32 ~x325913+16 ~x325912+8 ~x325911+4 ~x325910+2 ~x325909+1 ~x325908+131072 ~x1734+65536 ~x1733+32768 ~x1732+16384 ~x1731+8192 ~x1730+4096 ~x1729+2048 ~x1728+1024 ~x1727+512 ~x1726+256 ~x1725+128 ~x1724+64 ~x1723+32 ~x1722+16 ~x1721+8 ~x1720+4 ~x1719+2 ~x1718+1 ~x1717-0=479230
8.79/8.86	c 131072 ~x331435+65536 ~x331434+32768 ~x331433+16384 ~x331432+8192 ~x331431+4096 ~x331430+2048 ~x331429+1024 ~x331428+512 ~x331427+256 ~x331426+128 ~x331425+64 ~x331424+32 ~x331423+16 ~x331422+8 ~x331421+4 ~x331420+2 ~x331419+1 ~x331418+131072 ~x1753+65536 ~x1752+32768 ~x1751+16384 ~x1750+8192 ~x1749+4096 ~x1748+2048 ~x1747+1024 ~x1746+512 ~x1745+256 ~x1744+128 ~x1743+64 ~x1742+32 ~x1741+16 ~x1740+8 ~x1739+4 ~x1738+2 ~x1737+1 ~x1736-0=479230
8.88/8.99	c 131072 ~x336945+65536 ~x336944+32768 ~x336943+16384 ~x336942+8192 ~x336941+4096 ~x336940+2048 ~x336939+1024 ~x336938+512 ~x336937+256 ~x336936+128 ~x336935+64 ~x336934+32 ~x336933+16 ~x336932+8 ~x336931+4 ~x336930+2 ~x336929+1 ~x336928+131072 ~x1772+65536 ~x1771+32768 ~x1770+16384 ~x1769+8192 ~x1768+4096 ~x1767+2048 ~x1766+1024 ~x1765+512 ~x1764+256 ~x1763+128 ~x1762+64 ~x1761+32 ~x1760+16 ~x1759+8 ~x1758+4 ~x1757+2 ~x1756+1 ~x1755-0=479230
9.09/9.12	c 131072 ~x342455+65536 ~x342454+32768 ~x342453+16384 ~x342452+8192 ~x342451+4096 ~x342450+2048 ~x342449+1024 ~x342448+512 ~x342447+256 ~x342446+128 ~x342445+64 ~x342444+32 ~x342443+16 ~x342442+8 ~x342441+4 ~x342440+2 ~x342439+1 ~x342438+131072 ~x1791+65536 ~x1790+32768 ~x1789+16384 ~x1788+8192 ~x1787+4096 ~x1786+2048 ~x1785+1024 ~x1784+512 ~x1783+256 ~x1782+128 ~x1781+64 ~x1780+32 ~x1779+16 ~x1778+8 ~x1777+4 ~x1776+2 ~x1775+1 ~x1774-0=479230
9.18/9.26	c 16384 ~x347962+8192 ~x347961+4096 ~x347960+2048 ~x347959+1024 ~x347958+512 ~x347957+256 ~x347956+128 ~x347955+64 ~x347954+32 ~x347953+16 ~x347952+8 ~x347951+4 ~x347950+2 ~x347949+1 ~x347948+16384 ~x1807+8192 ~x1806+4096 ~x1805+2048 ~x1804+1024 ~x1803+512 ~x1802+256 ~x1801+128 ~x1800+64 ~x1799+32 ~x1798+16 ~x1797+8 ~x1796+4 ~x1795+2 ~x1794+1 ~x1793-0=61438
9.28/9.35	c 16384 ~x351703+8192 ~x351702+4096 ~x351701+2048 ~x351700+1024 ~x351699+512 ~x351698+256 ~x351697+128 ~x351696+64 ~x351695+32 ~x351694+16 ~x351693+8 ~x351692+4 ~x351691+2 ~x351690+1 ~x351689+16384 ~x1824+8192 ~x1823+4096 ~x1822+2048 ~x1821+1024 ~x1820+512 ~x1819+256 ~x1818+128 ~x1817+64 ~x1816+32 ~x1815+16 ~x1814+8 ~x1813+4 ~x1812+2 ~x1811+1 ~x1810-0=61438
9.39/9.44	c 16384 ~x355444+8192 ~x355443+4096 ~x355442+2048 ~x355441+1024 ~x355440+512 ~x355439+256 ~x355438+128 ~x355437+64 ~x355436+32 ~x355435+16 ~x355434+8 ~x355433+4 ~x355432+2 ~x355431+1 ~x355430+16384 ~x1841+8192 ~x1840+4096 ~x1839+2048 ~x1838+1024 ~x1837+512 ~x1836+256 ~x1835+128 ~x1834+64 ~x1833+32 ~x1832+16 ~x1831+8 ~x1830+4 ~x1829+2 ~x1828+1 ~x1827-0=61438
9.49/9.53	c 16384 ~x359185+8192 ~x359184+4096 ~x359183+2048 ~x359182+1024 ~x359181+512 ~x359180+256 ~x359179+128 ~x359178+64 ~x359177+32 ~x359176+16 ~x359175+8 ~x359174+4 ~x359173+2 ~x359172+1 ~x359171+16384 ~x1869+8192 ~x1868+4096 ~x1867+2048 ~x1866+1024 ~x1865+512 ~x1864+256 ~x1863+128 ~x1862+64 ~x1861+32 ~x1860+16 ~x1859+8 ~x1858+4 ~x1857+2 ~x1856+1 ~x1855-0=61438
9.58/9.62	c 16384 ~x362926+8192 ~x362925+4096 ~x362924+2048 ~x362923+1024 ~x362922+512 ~x362921+256 ~x362920+128 ~x362919+64 ~x362918+32 ~x362917+16 ~x362916+8 ~x362915+4 ~x362914+2 ~x362913+1 ~x362912+16384 ~x1886+8192 ~x1885+4096 ~x1884+2048 ~x1883+1024 ~x1882+512 ~x1881+256 ~x1880+128 ~x1879+64 ~x1878+32 ~x1877+16 ~x1876+8 ~x1875+4 ~x1874+2 ~x1873+1 ~x1872-0=61438
9.69/9.71	c 16384 ~x366667+8192 ~x366666+4096 ~x366665+2048 ~x366664+1024 ~x366663+512 ~x366662+256 ~x366661+128 ~x366660+64 ~x366659+32 ~x366658+16 ~x366657+8 ~x366656+4 ~x366655+2 ~x366654+1 ~x366653+16384 ~x1903+8192 ~x1902+4096 ~x1901+2048 ~x1900+1024 ~x1899+512 ~x1898+256 ~x1897+128 ~x1896+64 ~x1895+32 ~x1894+16 ~x1893+8 ~x1892+4 ~x1891+2 ~x1890+1 ~x1889-0=61438
9.79/9.80	c 16384 ~x370408+8192 ~x370407+4096 ~x370406+2048 ~x370405+1024 ~x370404+512 ~x370403+256 ~x370402+128 ~x370401+64 ~x370400+32 ~x370399+16 ~x370398+8 ~x370397+4 ~x370396+2 ~x370395+1 ~x370394+16384 ~x1920+8192 ~x1919+4096 ~x1918+2048 ~x1917+1024 ~x1916+512 ~x1915+256 ~x1914+128 ~x1913+64 ~x1912+32 ~x1911+16 ~x1910+8 ~x1909+4 ~x1908+2 ~x1907+1 ~x1906-0=61438
9.79/9.90	c 16384 ~x374149+8192 ~x374148+4096 ~x374147+2048 ~x374146+1024 ~x374145+512 ~x374144+256 ~x374143+128 ~x374142+64 ~x374141+32 ~x374140+16 ~x374139+8 ~x374138+4 ~x374137+2 ~x374136+1 ~x374135+16384 ~x1937+8192 ~x1936+4096 ~x1935+2048 ~x1934+1024 ~x1933+512 ~x1932+256 ~x1931+128 ~x1930+64 ~x1929+32 ~x1928+16 ~x1927+8 ~x1926+4 ~x1925+2 ~x1924+1 ~x1923-0=61438
9.89/9.99	c 16384 ~x377890+8192 ~x377889+4096 ~x377888+2048 ~x377887+1024 ~x377886+512 ~x377885+256 ~x377884+128 ~x377883+64 ~x377882+32 ~x377881+16 ~x377880+8 ~x377879+4 ~x377878+2 ~x377877+1 ~x377876+16384 ~x1954+8192 ~x1953+4096 ~x1952+2048 ~x1951+1024 ~x1950+512 ~x1949+256 ~x1948+128 ~x1947+64 ~x1946+32 ~x1945+16 ~x1944+8 ~x1943+4 ~x1942+2 ~x1941+1 ~x1940-0=61438
9.99/10.08	c 16384 ~x381631+8192 ~x381630+4096 ~x381629+2048 ~x381628+1024 ~x381627+512 ~x381626+256 ~x381625+128 ~x381624+64 ~x381623+32 ~x381622+16 ~x381621+8 ~x381620+4 ~x381619+2 ~x381618+1 ~x381617+16384 ~x1971+8192 ~x1970+4096 ~x1969+2048 ~x1968+1024 ~x1967+512 ~x1966+256 ~x1965+128 ~x1964+64 ~x1963+32 ~x1962+16 ~x1961+8 ~x1960+4 ~x1959+2 ~x1958+1 ~x1957-0=61438
10.09/10.17	c 16384 ~x385372+8192 ~x385371+4096 ~x385370+2048 ~x385369+1024 ~x385368+512 ~x385367+256 ~x385366+128 ~x385365+64 ~x385364+32 ~x385363+16 ~x385362+8 ~x385361+4 ~x385360+2 ~x385359+1 ~x385358+16384 ~x1988+8192 ~x1987+4096 ~x1986+2048 ~x1985+1024 ~x1984+512 ~x1983+256 ~x1982+128 ~x1981+64 ~x1980+32 ~x1979+16 ~x1978+8 ~x1977+4 ~x1976+2 ~x1975+1 ~x1974-0=61438
10.19/10.26	c 16384 ~x389113+8192 ~x389112+4096 ~x389111+2048 ~x389110+1024 ~x389109+512 ~x389108+256 ~x389107+128 ~x389106+64 ~x389105+32 ~x389104+16 ~x389103+8 ~x389102+4 ~x389101+2 ~x389100+1 ~x389099+16384 ~x2005+8192 ~x2004+4096 ~x2003+2048 ~x2002+1024 ~x2001+512 ~x2000+256 ~x1999+128 ~x1998+64 ~x1997+32 ~x1996+16 ~x1995+8 ~x1994+4 ~x1993+2 ~x1992+1 ~x1991-0=61438
10.89/10.97	c 1024 ~x419881+512 ~x419880+256 ~x419879+128 ~x419878+64 ~x419877+32 ~x419876+16 ~x419875+8 ~x419874+4 ~x419873+2 ~x419872+1 ~x419871+1024 ~x1290+512 ~x1289+256 ~x1288+128 ~x1287+64 ~x1286+32 ~x1285+16 ~x1284+8 ~x1283+4 ~x1282+2 ~x1281+1 ~x1280+1024 x937-0=4094
10.99/11.02	c 1024 ~x421864+512 ~x421863+256 ~x421862+128 ~x421861+64 ~x421860+32 ~x421859+16 ~x421858+8 ~x421857+4 ~x421856+2 ~x421855+1 ~x421854+1024 ~x1480+512 ~x1479+256 ~x1478+128 ~x1477+64 ~x1476+32 ~x1475+16 ~x1474+8 ~x1473+4 ~x1472+2 ~x1471+1 ~x1470+1024 x938-0=4094
10.99/11.07	c 1024 ~x423847+512 ~x423846+256 ~x423845+128 ~x423844+64 ~x423843+32 ~x423842+16 ~x423841+8 ~x423840+4 ~x423839+2 ~x423838+1 ~x423837+1024 ~x1661+512 ~x1660+256 ~x1659+128 ~x1658+64 ~x1657+32 ~x1656+16 ~x1655+8 ~x1654+4 ~x1653+2 ~x1652+1 ~x1651+1024 x939-0=4094
11.09/11.12	c 1024 ~x425830+512 ~x425829+256 ~x425828+128 ~x425827+64 ~x425826+32 ~x425825+16 ~x425824+8 ~x425823+4 ~x425822+2 ~x425821+1 ~x425820+1024 ~x1854+512 ~x1853+256 ~x1852+128 ~x1851+64 ~x1850+32 ~x1849+16 ~x1848+8 ~x1847+4 ~x1846+2 ~x1845+1 ~x1844+1024 x940-0=4094
11.09/11.17	c 1024 ~x427813+512 ~x427812+256 ~x427811+128 ~x427810+64 ~x427809+32 ~x427808+16 ~x427807+8 ~x427806+4 ~x427805+2 ~x427804+1 ~x427803+1024 ~x2018+512 ~x2017+256 ~x2016+128 ~x2015+64 ~x2014+32 ~x2013+16 ~x2012+8 ~x2011+4 ~x2010+2 ~x2009+1 ~x2008+1024 x941-0=4094
11.19/11.22	c 1024 ~x429796+512 ~x429795+256 ~x429794+128 ~x429793+64 ~x429792+32 ~x429791+16 ~x429790+8 ~x429789+4 ~x429788+2 ~x429787+1 ~x429786+1024 ~x2029+512 ~x2028+256 ~x2027+128 ~x2026+64 ~x2025+32 ~x2024+16 ~x2023+8 ~x2022+4 ~x2021+2 ~x2020+1 ~x2019+1024 x942-0=4094
11.19/11.27	c 1024 ~x431779+512 ~x431778+256 ~x431777+128 ~x431776+64 ~x431775+32 ~x431774+16 ~x431773+8 ~x431772+4 ~x431771+2 ~x431770+1 ~x431769+1024 ~x2051+512 ~x2050+256 ~x2049+128 ~x2048+64 ~x2047+32 ~x2046+16 ~x2045+8 ~x2044+4 ~x2043+2 ~x2042+1 ~x2041+1024 x943-0=4094
11.29/11.32	c 1024 ~x433762+512 ~x433761+256 ~x433760+128 ~x433759+64 ~x433758+32 ~x433757+16 ~x433756+8 ~x433755+4 ~x433754+2 ~x433753+1 ~x433752+1024 ~x2062+512 ~x2061+256 ~x2060+128 ~x2059+64 ~x2058+32 ~x2057+16 ~x2056+8 ~x2055+4 ~x2054+2 ~x2053+1 ~x2052+1024 x944-0=4094
11.29/11.37	c 1024 ~x435745+512 ~x435744+256 ~x435743+128 ~x435742+64 ~x435741+32 ~x435740+16 ~x435739+8 ~x435738+4 ~x435737+2 ~x435736+1 ~x435735+1024 ~x2073+512 ~x2072+256 ~x2071+128 ~x2070+64 ~x2069+32 ~x2068+16 ~x2067+8 ~x2066+4 ~x2065+2 ~x2064+1 ~x2063+1024 x956-0=4094
11.38/11.42	c 1024 ~x437728+512 ~x437727+256 ~x437726+128 ~x437725+64 ~x437724+32 ~x437723+16 ~x437722+8 ~x437721+4 ~x437720+2 ~x437719+1 ~x437718+1024 ~x2084+512 ~x2083+256 ~x2082+128 ~x2081+64 ~x2080+32 ~x2079+16 ~x2078+8 ~x2077+4 ~x2076+2 ~x2075+1 ~x2074+1024 x957-0=4094
11.69/11.73	c 1024 ~x451499+512 ~x451498+256 ~x451497+128 ~x451496+64 ~x451495+32 ~x451494+16 ~x451493+8 ~x451492+4 ~x451491+2 ~x451490+1 ~x451489+1024 ~x2095+512 ~x2094+256 ~x2093+128 ~x2092+64 ~x2091+32 ~x2090+16 ~x2089+8 ~x2088+4 ~x2087+2 ~x2086+1 ~x2085+1024 x958-0=4094
11.69/11.78	c 1024 ~x453482+512 ~x453481+256 ~x453480+128 ~x453479+64 ~x453478+32 ~x453477+16 ~x453476+8 ~x453475+4 ~x453474+2 ~x453473+1 ~x453472+1024 ~x2106+512 ~x2105+256 ~x2104+128 ~x2103+64 ~x2102+32 ~x2101+16 ~x2100+8 ~x2099+4 ~x2098+2 ~x2097+1 ~x2096+1024 x959-0=4094
11.79/11.83	c 1024 ~x455465+512 ~x455464+256 ~x455463+128 ~x455462+64 ~x455461+32 ~x455460+16 ~x455459+8 ~x455458+4 ~x455457+2 ~x455456+1 ~x455455+1024 ~x2117+512 ~x2116+256 ~x2115+128 ~x2114+64 ~x2113+32 ~x2112+16 ~x2111+8 ~x2110+4 ~x2109+2 ~x2108+1 ~x2107+1024 x960-0=4094
11.79/11.88	c 1024 ~x457448+512 ~x457447+256 ~x457446+128 ~x457445+64 ~x457444+32 ~x457443+16 ~x457442+8 ~x457441+4 ~x457440+2 ~x457439+1 ~x457438+1024 ~x2128+512 ~x2127+256 ~x2126+128 ~x2125+64 ~x2124+32 ~x2123+16 ~x2122+8 ~x2121+4 ~x2120+2 ~x2119+1 ~x2118+1024 x961-0=4094
11.89/11.97	c 512 ~x459430+256 ~x459429+128 ~x459428+64 ~x459427+32 ~x459426+16 ~x459425+8 ~x459424+4 ~x459423+2 ~x459422+1 ~x459421+512 ~x2138+256 ~x2137+128 ~x2136+64 ~x2135+32 ~x2134+16 ~x2133+8 ~x2132+4 ~x2131+2 ~x2130+1 ~x2129+1024 x962-0=2046
11.89/11.97	c 1024 ~x461024+512 ~x461023+256 ~x461022+128 ~x461021+64 ~x461020+32 ~x461019+16 ~x461018+8 ~x461017+4 ~x461016+2 ~x461015+1 ~x461014+1024 ~x2150+512 ~x2149+256 ~x2148+128 ~x2147+64 ~x2146+32 ~x2145+16 ~x2144+8 ~x2143+4 ~x2142+2 ~x2141+1 ~x2140+1024 x963-0=4094
11.99/12.02	c 256 ~x463005+128 ~x463004+64 ~x463003+32 ~x463002+16 ~x463001+8 ~x463000+4 ~x462999+2 ~x462998+1 ~x462997+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162+1024 x964-0=1022
11.99/12.05	c 1024 ~x464068+512 ~x464067+256 ~x464066+128 ~x464065+64 ~x464064+32 ~x464063+16 ~x464062+8 ~x464061+4 ~x464060+2 ~x464059+1 ~x464058+1024 ~x2183+512 ~x2182+256 ~x2181+128 ~x2180+64 ~x2179+32 ~x2178+16 ~x2177+8 ~x2176+4 ~x2175+2 ~x2174+1 ~x2173+1024 x965-0=4094
11.99/12.10	c 1024 ~x466051+512 ~x466050+256 ~x466049+128 ~x466048+64 ~x466047+32 ~x466046+16 ~x466045+8 ~x466044+4 ~x466043+2 ~x466042+1 ~x466041+1024 ~x2194+512 ~x2193+256 ~x2192+128 ~x2191+64 ~x2190+32 ~x2189+16 ~x2188+8 ~x2187+4 ~x2186+2 ~x2185+1 ~x2184+1024 x977-0=4094
12.09/12.15	c 1024 ~x468034+512 ~x468033+256 ~x468032+128 ~x468031+64 ~x468030+32 ~x468029+16 ~x468028+8 ~x468027+4 ~x468026+2 ~x468025+1 ~x468024+1024 ~x2205+512 ~x2204+256 ~x2203+128 ~x2202+64 ~x2201+32 ~x2200+16 ~x2199+8 ~x2198+4 ~x2197+2 ~x2196+1 ~x2195+1024 x978-0=4094
12.39/12.47	c 1024 ~x481805+512 ~x481804+256 ~x481803+128 ~x481802+64 ~x481801+32 ~x481800+16 ~x481799+8 ~x481798+4 ~x481797+2 ~x481796+1 ~x481795+1024 ~x2216+512 ~x2215+256 ~x2214+128 ~x2213+64 ~x2212+32 ~x2211+16 ~x2210+8 ~x2209+4 ~x2208+2 ~x2207+1 ~x2206+1024 x979-0=4094
12.49/12.52	c 1024 ~x483788+512 ~x483787+256 ~x483786+128 ~x483785+64 ~x483784+32 ~x483783+16 ~x483782+8 ~x483781+4 ~x483780+2 ~x483779+1 ~x483778+1024 ~x2227+512 ~x2226+256 ~x2225+128 ~x2224+64 ~x2223+32 ~x2222+16 ~x2221+8 ~x2220+4 ~x2219+2 ~x2218+1 ~x2217+1024 x980-0=4094
12.49/12.57	c 256 ~x485769+128 ~x485768+64 ~x485767+32 ~x485766+16 ~x485765+8 ~x485764+4 ~x485763+2 ~x485762+1 ~x485761+256 ~x2236+128 ~x2235+64 ~x2234+32 ~x2233+16 ~x2232+8 ~x2231+4 ~x2230+2 ~x2229+1 ~x2228+1024 x981-0=1022
12.58/12.60	c 256 ~x486830+128 ~x486829+64 ~x486828+32 ~x486827+16 ~x486826+8 ~x486825+4 ~x486824+2 ~x486823+1 ~x486822+256 ~x2247+128 ~x2246+64 ~x2245+32 ~x2244+16 ~x2243+8 ~x2242+4 ~x2241+2 ~x2240+1 ~x2239+1024 x982-0=1022
12.58/12.62	c 1024 ~x487893+512 ~x487892+256 ~x487891+128 ~x487890+64 ~x487889+32 ~x487888+16 ~x487887+8 ~x487886+4 ~x487885+2 ~x487884+1 ~x487883+1024 ~x2260+512 ~x2259+256 ~x2258+128 ~x2257+64 ~x2256+32 ~x2255+16 ~x2254+8 ~x2253+4 ~x2252+2 ~x2251+1 ~x2250+1024 x983-0=4094
12.58/12.67	c 1024 ~x489876+512 ~x489875+256 ~x489874+128 ~x489873+64 ~x489872+32 ~x489871+16 ~x489870+8 ~x489869+4 ~x489868+2 ~x489867+1 ~x489866+1024 ~x2271+512 ~x2270+256 ~x2269+128 ~x2268+64 ~x2267+32 ~x2266+16 ~x2265+8 ~x2264+4 ~x2263+2 ~x2262+1 ~x2261+1024 x984-0=4094
12.68/12.72	c 1024 ~x491859+512 ~x491858+256 ~x491857+128 ~x491856+64 ~x491855+32 ~x491854+16 ~x491853+8 ~x491852+4 ~x491851+2 ~x491850+1 ~x491849+1024 ~x2293+512 ~x2292+256 ~x2291+128 ~x2290+64 ~x2289+32 ~x2288+16 ~x2287+8 ~x2286+4 ~x2285+2 ~x2284+1 ~x2283+1024 x985-0=4094
12.68/12.77	c 1024 ~x493842+512 ~x493841+256 ~x493840+128 ~x493839+64 ~x493838+32 ~x493837+16 ~x493836+8 ~x493835+4 ~x493834+2 ~x493833+1 ~x493832+1024 ~x2304+512 ~x2303+256 ~x2302+128 ~x2301+64 ~x2300+32 ~x2299+16 ~x2298+8 ~x2297+4 ~x2296+2 ~x2295+1 ~x2294+1024 x986-0=4094
12.79/12.82	c 256 ~x495823+128 ~x495822+64 ~x495821+32 ~x495820+16 ~x495819+8 ~x495818+4 ~x495817+2 ~x495816+1 ~x495815+256 ~x2313+128 ~x2312+64 ~x2311+32 ~x2310+16 ~x2309+8 ~x2308+4 ~x2307+2 ~x2306+1 ~x2305+1024 x998-0=1022
12.79/12.85	c 256 ~x496884+128 ~x496883+64 ~x496882+32 ~x496881+16 ~x496880+8 ~x496879+4 ~x496878+2 ~x496877+1 ~x496876+256 ~x2324+128 ~x2323+64 ~x2322+32 ~x2321+16 ~x2320+8 ~x2319+4 ~x2318+2 ~x2317+1 ~x2316+1024 x999-0=1022
13.09/13.18	c 1024 ~x511429+512 ~x511428+256 ~x511427+128 ~x511426+64 ~x511425+32 ~x511424+16 ~x511423+8 ~x511422+4 ~x511421+2 ~x511420+1 ~x511419+1024 ~x2337+512 ~x2336+256 ~x2335+128 ~x2334+64 ~x2333+32 ~x2332+16 ~x2331+8 ~x2330+4 ~x2329+2 ~x2328+1 ~x2327+1024 x1000-0=4094
13.19/13.23	c 1024 ~x513412+512 ~x513411+256 ~x513410+128 ~x513409+64 ~x513408+32 ~x513407+16 ~x513406+8 ~x513405+4 ~x513404+2 ~x513403+1 ~x513402+1024 ~x2348+512 ~x2347+256 ~x2346+128 ~x2345+64 ~x2344+32 ~x2343+16 ~x2342+8 ~x2341+4 ~x2340+2 ~x2339+1 ~x2338+1024 x1001-0=4094
13.19/13.29	c 1024 ~x515395+512 ~x515394+256 ~x515393+128 ~x515392+64 ~x515391+32 ~x515390+16 ~x515389+8 ~x515388+4 ~x515387+2 ~x515386+1 ~x515385+1024 ~x2359+512 ~x2358+256 ~x2357+128 ~x2356+64 ~x2355+32 ~x2354+16 ~x2353+8 ~x2352+4 ~x2351+2 ~x2350+1 ~x2349+1024 x1002-0=4094
13.29/13.34	c 1024 ~x517378+512 ~x517377+256 ~x517376+128 ~x517375+64 ~x517374+32 ~x517373+16 ~x517372+8 ~x517371+4 ~x517370+2 ~x517369+1 ~x517368+1024 ~x2370+512 ~x2369+256 ~x2368+128 ~x2367+64 ~x2366+32 ~x2365+16 ~x2364+8 ~x2363+4 ~x2362+2 ~x2361+1 ~x2360+1024 x1003-0=4094
13.29/13.39	c 256 ~x519359+128 ~x519358+64 ~x519357+32 ~x519356+16 ~x519355+8 ~x519354+4 ~x519353+2 ~x519352+1 ~x519351+256 ~x2379+128 ~x2378+64 ~x2377+32 ~x2376+16 ~x2375+8 ~x2374+4 ~x2373+2 ~x2372+1 ~x2371+1024 x1004-0=1022
13.39/13.42	c 256 ~x520420+128 ~x520419+64 ~x520418+32 ~x520417+16 ~x520416+8 ~x520415+4 ~x520414+2 ~x520413+1 ~x520412+256 ~x2390+128 ~x2389+64 ~x2388+32 ~x2387+16 ~x2386+8 ~x2385+4 ~x2384+2 ~x2383+1 ~x2382+1024 x1005-0=1022
13.39/13.45	c 1024 ~x521483+512 ~x521482+256 ~x521481+128 ~x521480+64 ~x521479+32 ~x521478+16 ~x521477+8 ~x521476+4 ~x521475+2 ~x521474+1 ~x521473+1024 ~x2414+512 ~x2413+256 ~x2412+128 ~x2411+64 ~x2410+32 ~x2409+16 ~x2408+8 ~x2407+4 ~x2406+2 ~x2405+1 ~x2404+1024 x1006-0=4094
13.39/13.50	c 1024 ~x523466+512 ~x523465+256 ~x523464+128 ~x523463+64 ~x523462+32 ~x523461+16 ~x523460+8 ~x523459+4 ~x523458+2 ~x523457+1 ~x523456+1024 ~x2425+512 ~x2424+256 ~x2423+128 ~x2422+64 ~x2421+32 ~x2420+16 ~x2419+8 ~x2418+4 ~x2417+2 ~x2416+1 ~x2415+1024 x1007-0=4094
13.49/13.55	c 1024 ~x525449+512 ~x525448+256 ~x525447+128 ~x525446+64 ~x525445+32 ~x525444+16 ~x525443+8 ~x525442+4 ~x525441+2 ~x525440+1 ~x525439+1024 ~x2436+512 ~x2435+256 ~x2434+128 ~x2433+64 ~x2432+32 ~x2431+16 ~x2430+8 ~x2429+4 ~x2428+2 ~x2427+1 ~x2426+1024 x1019-0=4094
13.49/13.60	c 1024 ~x527432+512 ~x527431+256 ~x527430+128 ~x527429+64 ~x527428+32 ~x527427+16 ~x527426+8 ~x527425+4 ~x527424+2 ~x527423+1 ~x527422+1024 ~x2447+512 ~x2446+256 ~x2445+128 ~x2444+64 ~x2443+32 ~x2442+16 ~x2441+8 ~x2440+4 ~x2439+2 ~x2438+1 ~x2437+1024 x1020-0=4094
13.89/13.95	c 1024 ~x542897+512 ~x542896+256 ~x542895+128 ~x542894+64 ~x542893+32 ~x542892+16 ~x542891+8 ~x542890+4 ~x542889+2 ~x542888+1 ~x542887+1024 ~x2458+512 ~x2457+256 ~x2456+128 ~x2455+64 ~x2454+32 ~x2453+16 ~x2452+8 ~x2451+4 ~x2450+2 ~x2449+1 ~x2448+1024 x1021-0=4094
13.98/14.00	c 1024 ~x544880+512 ~x544879+256 ~x544878+128 ~x544877+64 ~x544876+32 ~x544875+16 ~x544874+8 ~x544873+4 ~x544872+2 ~x544871+1 ~x544870+1024 ~x2469+512 ~x2468+256 ~x2467+128 ~x2466+64 ~x2465+32 ~x2464+16 ~x2463+8 ~x2462+4 ~x2461+2 ~x2460+1 ~x2459+1024 x1022-0=4094
13.98/14.05	c 1024 ~x546863+512 ~x546862+256 ~x546861+128 ~x546860+64 ~x546859+32 ~x546858+16 ~x546857+8 ~x546856+4 ~x546855+2 ~x546854+1 ~x546853+1024 ~x2480+512 ~x2479+256 ~x2478+128 ~x2477+64 ~x2476+32 ~x2475+16 ~x2474+8 ~x2473+4 ~x2472+2 ~x2471+1 ~x2470+1024 x1023-0=4094
14.08/14.10	c 1024 ~x548846+512 ~x548845+256 ~x548844+128 ~x548843+64 ~x548842+32 ~x548841+16 ~x548840+8 ~x548839+4 ~x548838+2 ~x548837+1 ~x548836+1024 ~x2491+512 ~x2490+256 ~x2489+128 ~x2488+64 ~x2487+32 ~x2486+16 ~x2485+8 ~x2484+4 ~x2483+2 ~x2482+1 ~x2481+1024 x1024-0=4094
14.08/14.15	c 1024 ~x550829+512 ~x550828+256 ~x550827+128 ~x550826+64 ~x550825+32 ~x550824+16 ~x550823+8 ~x550822+4 ~x550821+2 ~x550820+1 ~x550819+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492+1024 x1025-0=4094
14.08/14.20	c 1024 ~x552812+512 ~x552811+256 ~x552810+128 ~x552809+64 ~x552808+32 ~x552807+16 ~x552806+8 ~x552805+4 ~x552804+2 ~x552803+1 ~x552802+1024 ~x2513+512 ~x2512+256 ~x2511+128 ~x2510+64 ~x2509+32 ~x2508+16 ~x2507+8 ~x2506+4 ~x2505+2 ~x2504+1 ~x2503+1024 x1026-0=4094
14.19/14.25	c 1024 ~x554795+512 ~x554794+256 ~x554793+128 ~x554792+64 ~x554791+32 ~x554790+16 ~x554789+8 ~x554788+4 ~x554787+2 ~x554786+1 ~x554785+1024 ~x2535+512 ~x2534+256 ~x2533+128 ~x2532+64 ~x2531+32 ~x2530+16 ~x2529+8 ~x2528+4 ~x2527+2 ~x2526+1 ~x2525+1024 x1027-0=4094
14.19/14.30	c 1024 ~x556778+512 ~x556777+256 ~x556776+128 ~x556775+64 ~x556774+32 ~x556773+16 ~x556772+8 ~x556771+4 ~x556770+2 ~x556769+1 ~x556768+1024 ~x2546+512 ~x2545+256 ~x2544+128 ~x2543+64 ~x2542+32 ~x2541+16 ~x2540+8 ~x2539+4 ~x2538+2 ~x2537+1 ~x2536+1024 x1028-0=4094
14.29/14.34	c 1024 ~x558761+512 ~x558760+256 ~x558759+128 ~x558758+64 ~x558757+32 ~x558756+16 ~x558755+8 ~x558754+4 ~x558753+2 ~x558752+1 ~x558751+1024 ~x2557+512 ~x2556+256 ~x2555+128 ~x2554+64 ~x2553+32 ~x2552+16 ~x2551+8 ~x2550+4 ~x2549+2 ~x2548+1 ~x2547+1024 x1040-0=4094
14.29/14.39	c 1024 ~x560744+512 ~x560743+256 ~x560742+128 ~x560741+64 ~x560740+32 ~x560739+16 ~x560738+8 ~x560737+4 ~x560736+2 ~x560735+1 ~x560734+1024 ~x2568+512 ~x2567+256 ~x2566+128 ~x2565+64 ~x2564+32 ~x2563+16 ~x2562+8 ~x2561+4 ~x2560+2 ~x2559+1 ~x2558+1024 x1041-0=4094
14.68/14.71	c 1024 ~x574515+512 ~x574514+256 ~x574513+128 ~x574512+64 ~x574511+32 ~x574510+16 ~x574509+8 ~x574508+4 ~x574507+2 ~x574506+1 ~x574505+1024 ~x2579+512 ~x2578+256 ~x2577+128 ~x2576+64 ~x2575+32 ~x2574+16 ~x2573+8 ~x2572+4 ~x2571+2 ~x2570+1 ~x2569+1024 x1042-0=4094
14.68/14.76	c 1024 ~x576498+512 ~x576497+256 ~x576496+128 ~x576495+64 ~x576494+32 ~x576493+16 ~x576492+8 ~x576491+4 ~x576490+2 ~x576489+1 ~x576488+1024 ~x2590+512 ~x2589+256 ~x2588+128 ~x2587+64 ~x2586+32 ~x2585+16 ~x2584+8 ~x2583+4 ~x2582+2 ~x2581+1 ~x2580+1024 x1043-0=4094
14.78/14.81	c 1024 ~x578481+512 ~x578480+256 ~x578479+128 ~x578478+64 ~x578477+32 ~x578476+16 ~x578475+8 ~x578474+4 ~x578473+2 ~x578472+1 ~x578471+1024 ~x2601+512 ~x2600+256 ~x2599+128 ~x2598+64 ~x2597+32 ~x2596+16 ~x2595+8 ~x2594+4 ~x2593+2 ~x2592+1 ~x2591+1024 x1044-0=4094
14.78/14.86	c 1024 ~x580464+512 ~x580463+256 ~x580462+128 ~x580461+64 ~x580460+32 ~x580459+16 ~x580458+8 ~x580457+4 ~x580456+2 ~x580455+1 ~x580454+1024 ~x2612+512 ~x2611+256 ~x2610+128 ~x2609+64 ~x2608+32 ~x2607+16 ~x2606+8 ~x2605+4 ~x2604+2 ~x2603+1 ~x2602+1024 x1045-0=4094
14.88/14.91	c 1024 ~x582447+512 ~x582446+256 ~x582445+128 ~x582444+64 ~x582443+32 ~x582442+16 ~x582441+8 ~x582440+4 ~x582439+2 ~x582438+1 ~x582437+1024 ~x2623+512 ~x2622+256 ~x2621+128 ~x2620+64 ~x2619+32 ~x2618+16 ~x2617+8 ~x2616+4 ~x2615+2 ~x2614+1 ~x2613+1024 x1046-0=4094
14.88/14.96	c 1024 ~x584430+512 ~x584429+256 ~x584428+128 ~x584427+64 ~x584426+32 ~x584425+16 ~x584424+8 ~x584423+4 ~x584422+2 ~x584421+1 ~x584420+1024 ~x2634+512 ~x2633+256 ~x2632+128 ~x2631+64 ~x2630+32 ~x2629+16 ~x2628+8 ~x2627+4 ~x2626+2 ~x2625+1 ~x2624+1024 x1047-0=4094
14.98/15.01	c 1024 ~x586413+512 ~x586412+256 ~x586411+128 ~x586410+64 ~x586409+32 ~x586408+16 ~x586407+8 ~x586406+4 ~x586405+2 ~x586404+1 ~x586403+1024 ~x2656+512 ~x2655+256 ~x2654+128 ~x2653+64 ~x2652+32 ~x2651+16 ~x2650+8 ~x2649+4 ~x2648+2 ~x2647+1 ~x2646+1024 x1048-0=4094
14.98/15.06	c 1024 ~x588396+512 ~x588395+256 ~x588394+128 ~x588393+64 ~x588392+32 ~x588391+16 ~x588390+8 ~x588389+4 ~x588388+2 ~x588387+1 ~x588386+1024 ~x2667+512 ~x2666+256 ~x2665+128 ~x2664+64 ~x2663+32 ~x2662+16 ~x2661+8 ~x2660+4 ~x2659+2 ~x2658+1 ~x2657+1024 x1049-0=4094
15.08/15.11	c 1024 ~x590379+512 ~x590378+256 ~x590377+128 ~x590376+64 ~x590375+32 ~x590374+16 ~x590373+8 ~x590372+4 ~x590371+2 ~x590370+1 ~x590369+1024 ~x2678+512 ~x2677+256 ~x2676+128 ~x2675+64 ~x2674+32 ~x2673+16 ~x2672+8 ~x2671+4 ~x2670+2 ~x2669+1 ~x2668+1024 x1061-0=4094
15.08/15.16	c 1024 ~x592362+512 ~x592361+256 ~x592360+128 ~x592359+64 ~x592358+32 ~x592357+16 ~x592356+8 ~x592355+4 ~x592354+2 ~x592353+1 ~x592352+1024 ~x2689+512 ~x2688+256 ~x2687+128 ~x2686+64 ~x2685+32 ~x2684+16 ~x2683+8 ~x2682+4 ~x2681+2 ~x2680+1 ~x2679+1024 x1062-0=4094
15.39/15.48	c 1024 ~x606256+512 ~x606255+256 ~x606254+128 ~x606253+64 ~x606252+32 ~x606251+16 ~x606250+8 ~x606249+4 ~x606248+2 ~x606247+1 ~x606246+1024 ~x2700+512 ~x2699+256 ~x2698+128 ~x2697+64 ~x2696+32 ~x2695+16 ~x2694+8 ~x2693+4 ~x2692+2 ~x2691+1 ~x2690+1024 x1063-0=4094
15.48/15.53	c 1024 ~x608239+512 ~x608238+256 ~x608237+128 ~x608236+64 ~x608235+32 ~x608234+16 ~x608233+8 ~x608232+4 ~x608231+2 ~x608230+1 ~x608229+1024 ~x2711+512 ~x2710+256 ~x2709+128 ~x2708+64 ~x2707+32 ~x2706+16 ~x2705+8 ~x2704+4 ~x2703+2 ~x2702+1 ~x2701+1024 x1064-0=4094
15.48/15.58	c 1024 ~x610222+512 ~x610221+256 ~x610220+128 ~x610219+64 ~x610218+32 ~x610217+16 ~x610216+8 ~x610215+4 ~x610214+2 ~x610213+1 ~x610212+1024 ~x2722+512 ~x2721+256 ~x2720+128 ~x2719+64 ~x2718+32 ~x2717+16 ~x2716+8 ~x2715+4 ~x2714+2 ~x2713+1 ~x2712+1024 x1065-0=4094
15.59/15.63	c 1024 ~x612205+512 ~x612204+256 ~x612203+128 ~x612202+64 ~x612201+32 ~x612200+16 ~x612199+8 ~x612198+4 ~x612197+2 ~x612196+1 ~x612195+1024 ~x2733+512 ~x2732+256 ~x2731+128 ~x2730+64 ~x2729+32 ~x2728+16 ~x2727+8 ~x2726+4 ~x2725+2 ~x2724+1 ~x2723+1024 x1066-0=4094
15.59/15.68	c 1024 ~x614188+512 ~x614187+256 ~x614186+128 ~x614185+64 ~x614184+32 ~x614183+16 ~x614182+8 ~x614181+4 ~x614180+2 ~x614179+1 ~x614178+1024 ~x2744+512 ~x2743+256 ~x2742+128 ~x2741+64 ~x2740+32 ~x2739+16 ~x2738+8 ~x2737+4 ~x2736+2 ~x2735+1 ~x2734+1024 x1067-0=4094
15.68/15.73	c 1024 ~x616171+512 ~x616170+256 ~x616169+128 ~x616168+64 ~x616167+32 ~x616166+16 ~x616165+8 ~x616164+4 ~x616163+2 ~x616162+1 ~x616161+1024 ~x2755+512 ~x2754+256 ~x2753+128 ~x2752+64 ~x2751+32 ~x2750+16 ~x2749+8 ~x2748+4 ~x2747+2 ~x2746+1 ~x2745+1024 x1068-0=4094
15.68/15.78	c 1024 ~x618154+512 ~x618153+256 ~x618152+128 ~x618151+64 ~x618150+32 ~x618149+16 ~x618148+8 ~x618147+4 ~x618146+2 ~x618145+1 ~x618144+1024 x1069+1024 ~x34+512 ~x33+256 ~x32+128 ~x31+64 ~x30+32 ~x29+16 ~x28+8 ~x27+4 ~x26+2 ~x25+1 ~x24-0=4094
15.78/15.83	c 1024 ~x620179+512 ~x620178+256 ~x620177+128 ~x620176+64 ~x620175+32 ~x620174+16 ~x620173+8 ~x620172+4 ~x620171+2 ~x620170+1 ~x620169+1024 x1070+1024 ~x45+512 ~x44+256 ~x43+128 ~x42+64 ~x41+32 ~x40+16 ~x39+8 ~x38+4 ~x37+2 ~x36+1 ~x35-0=4094
15.88/15.93	c 1024 ~x622204+512 ~x622203+256 ~x622202+128 ~x622201+64 ~x622200+32 ~x622199+16 ~x622198+8 ~x622197+4 ~x622196+2 ~x622195+1 ~x622194+1024 x1082+1024 ~x56+512 ~x55+256 ~x54+128 ~x53+64 ~x52+32 ~x51+16 ~x50+8 ~x49+4 ~x48+2 ~x47+1 ~x46-0=4094
15.88/15.93	c 1024 ~x624229+512 ~x624228+256 ~x624227+128 ~x624226+64 ~x624225+32 ~x624224+16 ~x624223+8 ~x624222+4 ~x624221+2 ~x624220+1 ~x624219+1024 x1083+1024 ~x67+512 ~x66+256 ~x65+128 ~x64+64 ~x63+32 ~x62+16 ~x61+8 ~x60+4 ~x59+2 ~x58+1 ~x57-0=4094
16.18/16.25	c 1024 ~x638165+512 ~x638164+256 ~x638163+128 ~x638162+64 ~x638161+32 ~x638160+16 ~x638159+8 ~x638158+4 ~x638157+2 ~x638156+1 ~x638155+1024 x1084+1024 ~x78+512 ~x77+256 ~x76+128 ~x75+64 ~x74+32 ~x73+16 ~x72+8 ~x71+4 ~x70+2 ~x69+1 ~x68-0=4094
16.28/16.30	c 1024 ~x640190+512 ~x640189+256 ~x640188+128 ~x640187+64 ~x640186+32 ~x640185+16 ~x640184+8 ~x640183+4 ~x640182+2 ~x640181+1 ~x640180+1024 x1085+1024 ~x89+512 ~x88+256 ~x87+128 ~x86+64 ~x85+32 ~x84+16 ~x83+8 ~x82+4 ~x81+2 ~x80+1 ~x79-0=4094
16.28/16.36	c 1024 ~x642215+512 ~x642214+256 ~x642213+128 ~x642212+64 ~x642211+32 ~x642210+16 ~x642209+8 ~x642208+4 ~x642207+2 ~x642206+1 ~x642205+1024 x1086+1024 ~x100+512 ~x99+256 ~x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90-0=4094
16.39/16.41	c 1024 ~x644240+512 ~x644239+256 ~x644238+128 ~x644237+64 ~x644236+32 ~x644235+16 ~x644234+8 ~x644233+4 ~x644232+2 ~x644231+1 ~x644230+1024 x1087+1024 ~x111+512 ~x110+256 ~x109+128 ~x108+64 ~x107+32 ~x106+16 ~x105+8 ~x104+4 ~x103+2 ~x102+1 ~x101-0=4094
16.39/16.46	c 1024 ~x646265+512 ~x646264+256 ~x646263+128 ~x646262+64 ~x646261+32 ~x646260+16 ~x646259+8 ~x646258+4 ~x646257+2 ~x646256+1 ~x646255+1024 x1088+1024 ~x122+512 ~x121+256 ~x120+128 ~x119+64 ~x118+32 ~x117+16 ~x116+8 ~x115+4 ~x114+2 ~x113+1 ~x112-0=4094
16.49/16.51	c 1024 ~x648290+512 ~x648289+256 ~x648288+128 ~x648287+64 ~x648286+32 ~x648285+16 ~x648284+8 ~x648283+4 ~x648282+2 ~x648281+1 ~x648280+1024 x1089+1024 ~x133+512 ~x132+256 ~x131+128 ~x130+64 ~x129+32 ~x128+16 ~x127+8 ~x126+4 ~x125+2 ~x124+1 ~x123-0=4094
16.49/16.56	c 1024 ~x650315+512 ~x650314+256 ~x650313+128 ~x650312+64 ~x650311+32 ~x650310+16 ~x650309+8 ~x650308+4 ~x650307+2 ~x650306+1 ~x650305+1024 x1090+1024 ~x155+512 ~x154+256 ~x153+128 ~x152+64 ~x151+32 ~x150+16 ~x149+8 ~x148+4 ~x147+2 ~x146+1 ~x145-0=4094
16.59/16.61	c 1024 ~x652340+512 ~x652339+256 ~x652338+128 ~x652337+64 ~x652336+32 ~x652335+16 ~x652334+8 ~x652333+4 ~x652332+2 ~x652331+1 ~x652330+1024 x1091+1024 ~x166+512 ~x165+256 ~x164+128 ~x163+64 ~x162+32 ~x161+16 ~x160+8 ~x159+4 ~x158+2 ~x157+1 ~x156-0=4094
16.59/16.66	c 1024 ~x654365+512 ~x654364+256 ~x654363+128 ~x654362+64 ~x654361+32 ~x654360+16 ~x654359+8 ~x654358+4 ~x654357+2 ~x654356+1 ~x654355+1024 x1103+1024 ~x177+512 ~x176+256 ~x175+128 ~x174+64 ~x173+32 ~x172+16 ~x171+8 ~x170+4 ~x169+2 ~x168+1 ~x167-0=4094
16.68/16.71	c 1024 ~x656390+512 ~x656389+256 ~x656388+128 ~x656387+64 ~x656386+32 ~x656385+16 ~x656384+8 ~x656383+4 ~x656382+2 ~x656381+1 ~x656380+1024 x1104+1024 ~x188+512 ~x187+256 ~x186+128 ~x185+64 ~x184+32 ~x183+16 ~x182+8 ~x181+4 ~x180+2 ~x179+1 ~x178-0=4094
16.98/17.03	c 1024 ~x670326+512 ~x670325+256 ~x670324+128 ~x670323+64 ~x670322+32 ~x670321+16 ~x670320+8 ~x670319+4 ~x670318+2 ~x670317+1 ~x670316+1024 x1105+1024 ~x199+512 ~x198+256 ~x197+128 ~x196+64 ~x195+32 ~x194+16 ~x193+8 ~x192+4 ~x191+2 ~x190+1 ~x189-0=4094
16.98/17.08	c 1024 ~x672351+512 ~x672350+256 ~x672349+128 ~x672348+64 ~x672347+32 ~x672346+16 ~x672345+8 ~x672344+4 ~x672343+2 ~x672342+1 ~x672341+1024 x1106+1024 ~x210+512 ~x209+256 ~x208+128 ~x207+64 ~x206+32 ~x205+16 ~x204+8 ~x203+4 ~x202+2 ~x201+1 ~x200-0=4094
17.09/17.13	c 1024 ~x674376+512 ~x674375+256 ~x674374+128 ~x674373+64 ~x674372+32 ~x674371+16 ~x674370+8 ~x674369+4 ~x674368+2 ~x674367+1 ~x674366+1024 x1107+1024 ~x221+512 ~x220+256 ~x219+128 ~x218+64 ~x217+32 ~x216+16 ~x215+8 ~x214+4 ~x213+2 ~x212+1 ~x211-0=4094
17.09/17.18	c 1024 ~x676401+512 ~x676400+256 ~x676399+128 ~x676398+64 ~x676397+32 ~x676396+16 ~x676395+8 ~x676394+4 ~x676393+2 ~x676392+1 ~x676391+1024 x1108+1024 ~x232+512 ~x231+256 ~x230+128 ~x229+64 ~x228+32 ~x227+16 ~x226+8 ~x225+4 ~x224+2 ~x223+1 ~x222-0=4094
17.18/17.23	c 1024 ~x678426+512 ~x678425+256 ~x678424+128 ~x678423+64 ~x678422+32 ~x678421+16 ~x678420+8 ~x678419+4 ~x678418+2 ~x678417+1 ~x678416+1024 x1109+1024 ~x243+512 ~x242+256 ~x241+128 ~x240+64 ~x239+32 ~x238+16 ~x237+8 ~x236+4 ~x235+2 ~x234+1 ~x233-0=4094
17.18/17.28	c 1024 ~x680451+512 ~x680450+256 ~x680449+128 ~x680448+64 ~x680447+32 ~x680446+16 ~x680445+8 ~x680444+4 ~x680443+2 ~x680442+1 ~x680441+1024 x1110+1024 ~x254+512 ~x253+256 ~x252+128 ~x251+64 ~x250+32 ~x249+16 ~x248+8 ~x247+4 ~x246+2 ~x245+1 ~x244-0=4094
17.28/17.33	c 1024 ~x682476+512 ~x682475+256 ~x682474+128 ~x682473+64 ~x682472+32 ~x682471+16 ~x682470+8 ~x682469+4 ~x682468+2 ~x682467+1 ~x682466+1024 x1111+1024 ~x276+512 ~x275+256 ~x274+128 ~x273+64 ~x272+32 ~x271+16 ~x270+8 ~x269+4 ~x268+2 ~x267+1 ~x266-0=4094
17.28/17.38	c 1024 ~x684501+512 ~x684500+256 ~x684499+128 ~x684498+64 ~x684497+32 ~x684496+16 ~x684495+8 ~x684494+4 ~x684493+2 ~x684492+1 ~x684491+1024 x1112+1024 ~x287+512 ~x286+256 ~x285+128 ~x284+64 ~x283+32 ~x282+16 ~x281+8 ~x280+4 ~x279+2 ~x278+1 ~x277-0=4094
17.38/17.44	c 1024 ~x686526+512 ~x686525+256 ~x686524+128 ~x686523+64 ~x686522+32 ~x686521+16 ~x686520+8 ~x686519+4 ~x686518+2 ~x686517+1 ~x686516+1024 x1124+1024 ~x298+512 ~x297+256 ~x296+128 ~x295+64 ~x294+32 ~x293+16 ~x292+8 ~x291+4 ~x290+2 ~x289+1 ~x288-0=4094
17.38/17.49	c 1024 ~x688551+512 ~x688550+256 ~x688549+128 ~x688548+64 ~x688547+32 ~x688546+16 ~x688545+8 ~x688544+4 ~x688543+2 ~x688542+1 ~x688541+1024 x1125+1024 ~x309+512 ~x308+256 ~x307+128 ~x306+64 ~x305+32 ~x304+16 ~x303+8 ~x302+4 ~x301+2 ~x300+1 ~x299-0=4094
17.79/17.84	c 1024 ~x703992+512 ~x703991+256 ~x703990+128 ~x703989+64 ~x703988+32 ~x703987+16 ~x703986+8 ~x703985+4 ~x703984+2 ~x703983+1 ~x703982+1024 x1126+1024 ~x320+512 ~x319+256 ~x318+128 ~x317+64 ~x316+32 ~x315+16 ~x314+8 ~x313+4 ~x312+2 ~x311+1 ~x310-0=4094
17.79/17.89	c 1024 ~x706017+512 ~x706016+256 ~x706015+128 ~x706014+64 ~x706013+32 ~x706012+16 ~x706011+8 ~x706010+4 ~x706009+2 ~x706008+1 ~x706007+1024 x1127+1024 ~x331+512 ~x330+256 ~x329+128 ~x328+64 ~x327+32 ~x326+16 ~x325+8 ~x324+4 ~x323+2 ~x322+1 ~x321-0=4094
17.88/17.94	c 1024 ~x708042+512 ~x708041+256 ~x708040+128 ~x708039+64 ~x708038+32 ~x708037+16 ~x708036+8 ~x708035+4 ~x708034+2 ~x708033+1 ~x708032+1024 x1128+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=4094
17.88/17.99	c 1024 ~x710067+512 ~x710066+256 ~x710065+128 ~x710064+64 ~x710063+32 ~x710062+16 ~x710061+8 ~x710060+4 ~x710059+2 ~x710058+1 ~x710057+1024 x1129+1024 ~x353+512 ~x352+256 ~x351+128 ~x350+64 ~x349+32 ~x348+16 ~x347+8 ~x346+4 ~x345+2 ~x344+1 ~x343-0=4094
17.98/18.04	c 1024 ~x712092+512 ~x712091+256 ~x712090+128 ~x712089+64 ~x712088+32 ~x712087+16 ~x712086+8 ~x712085+4 ~x712084+2 ~x712083+1 ~x712082+1024 x1130+1024 ~x364+512 ~x363+256 ~x362+128 ~x361+64 ~x360+32 ~x359+16 ~x358+8 ~x357+4 ~x356+2 ~x355+1 ~x354-0=4094
17.98/18.09	c 1024 ~x714117+512 ~x714116+256 ~x714115+128 ~x714114+64 ~x714113+32 ~x714112+16 ~x714111+8 ~x714110+4 ~x714109+2 ~x714108+1 ~x714107+1024 x1131+1024 ~x375+512 ~x374+256 ~x373+128 ~x372+64 ~x371+32 ~x370+16 ~x369+8 ~x368+4 ~x367+2 ~x366+1 ~x365-0=4094
18.09/18.14	c 1024 ~x716142+512 ~x716141+256 ~x716140+128 ~x716139+64 ~x716138+32 ~x716137+16 ~x716136+8 ~x716135+4 ~x716134+2 ~x716133+1 ~x716132+1024 x1132+1024 ~x397+512 ~x396+256 ~x395+128 ~x394+64 ~x393+32 ~x392+16 ~x391+8 ~x390+4 ~x389+2 ~x388+1 ~x387-0=4094
18.09/18.19	c 1024 ~x718167+512 ~x718166+256 ~x718165+128 ~x718164+64 ~x718163+32 ~x718162+16 ~x718161+8 ~x718160+4 ~x718159+2 ~x718158+1 ~x718157+1024 x1133+1024 ~x408+512 ~x407+256 ~x406+128 ~x405+64 ~x404+32 ~x403+16 ~x402+8 ~x401+4 ~x400+2 ~x399+1 ~x398-0=4094
18.18/18.24	c 1024 ~x720192+512 ~x720191+256 ~x720190+128 ~x720189+64 ~x720188+32 ~x720187+16 ~x720186+8 ~x720185+4 ~x720184+2 ~x720183+1 ~x720182+1024 x1156+1024 ~x419+512 ~x418+256 ~x417+128 ~x416+64 ~x415+32 ~x414+16 ~x413+8 ~x412+4 ~x411+2 ~x410+1 ~x409-0=4094
18.18/18.29	c 1024 ~x722217+512 ~x722216+256 ~x722215+128 ~x722214+64 ~x722213+32 ~x722212+16 ~x722211+8 ~x722210+4 ~x722209+2 ~x722208+1 ~x722207+1024 x1157+1024 ~x430+512 ~x429+256 ~x428+128 ~x427+64 ~x426+32 ~x425+16 ~x424+8 ~x423+4 ~x422+2 ~x421+1 ~x420-0=4094
18.88/18.96	c 1024 ~x751461+512 ~x751460+256 ~x751459+128 ~x751458+64 ~x751457+32 ~x751456+16 ~x751455+8 ~x751454+4 ~x751453+2 ~x751452+1 ~x751451+1024 x1158+1024 ~x441+512 ~x440+256 ~x439+128 ~x438+64 ~x437+32 ~x436+16 ~x435+8 ~x434+4 ~x433+2 ~x432+1 ~x431-0=4094
18.98/19.01	c 1024 ~x753486+512 ~x753485+256 ~x753484+128 ~x753483+64 ~x753482+32 ~x753481+16 ~x753480+8 ~x753479+4 ~x753478+2 ~x753477+1 ~x753476+1024 x1159+1024 ~x452+512 ~x451+256 ~x450+128 ~x449+64 ~x448+32 ~x447+16 ~x446+8 ~x445+4 ~x444+2 ~x443+1 ~x442-0=4094
18.98/19.06	c 1024 ~x755511+512 ~x755510+256 ~x755509+128 ~x755508+64 ~x755507+32 ~x755506+16 ~x755505+8 ~x755504+4 ~x755503+2 ~x755502+1 ~x755501+1024 x1160+1024 ~x463+512 ~x462+256 ~x461+128 ~x460+64 ~x459+32 ~x458+16 ~x457+8 ~x456+4 ~x455+2 ~x454+1 ~x453-0=4094
19.08/19.11	c 1024 ~x757536+512 ~x757535+256 ~x757534+128 ~x757533+64 ~x757532+32 ~x757531+16 ~x757530+8 ~x757529+4 ~x757528+2 ~x757527+1 ~x757526+1024 x1161+1024 ~x474+512 ~x473+256 ~x472+128 ~x471+64 ~x470+32 ~x469+16 ~x468+8 ~x467+4 ~x466+2 ~x465+1 ~x464-0=4094
19.08/19.16	c 1024 ~x759561+512 ~x759560+256 ~x759559+128 ~x759558+64 ~x759557+32 ~x759556+16 ~x759555+8 ~x759554+4 ~x759553+2 ~x759552+1 ~x759551+1024 x1162+1024 ~x485+512 ~x484+256 ~x483+128 ~x482+64 ~x481+32 ~x480+16 ~x479+8 ~x478+4 ~x477+2 ~x476+1 ~x475-0=4094
19.18/19.21	c 1024 ~x761586+512 ~x761585+256 ~x761584+128 ~x761583+64 ~x761582+32 ~x761581+16 ~x761580+8 ~x761579+4 ~x761578+2 ~x761577+1 ~x761576+1024 x1163+1024 ~x496+512 ~x495+256 ~x494+128 ~x493+64 ~x492+32 ~x491+16 ~x490+8 ~x489+4 ~x488+2 ~x487+1 ~x486-0=4094
19.18/19.26	c 1024 ~x763611+512 ~x763610+256 ~x763609+128 ~x763608+64 ~x763607+32 ~x763606+16 ~x763605+8 ~x763604+4 ~x763603+2 ~x763602+1 ~x763601+1024 x1164+1024 ~x518+512 ~x517+256 ~x516+128 ~x515+64 ~x514+32 ~x513+16 ~x512+8 ~x511+4 ~x510+2 ~x509+1 ~x508-0=4094
19.29/19.31	c 1024 ~x765636+512 ~x765635+256 ~x765634+128 ~x765633+64 ~x765632+32 ~x765631+16 ~x765630+8 ~x765629+4 ~x765628+2 ~x765627+1 ~x765626+1024 x1165+1024 ~x529+512 ~x528+256 ~x527+128 ~x526+64 ~x525+32 ~x524+16 ~x523+8 ~x522+4 ~x521+2 ~x520+1 ~x519-0=4094
19.29/19.36	c 1024 ~x767661+512 ~x767660+256 ~x767659+128 ~x767658+64 ~x767657+32 ~x767656+16 ~x767655+8 ~x767654+4 ~x767653+2 ~x767652+1 ~x767651+1024 x1177+1024 ~x540+512 ~x539+256 ~x538+128 ~x537+64 ~x536+32 ~x535+16 ~x534+8 ~x533+4 ~x532+2 ~x531+1 ~x530-0=4094
19.39/19.41	c 1024 ~x769686+512 ~x769685+256 ~x769684+128 ~x769683+64 ~x769682+32 ~x769681+16 ~x769680+8 ~x769679+4 ~x769678+2 ~x769677+1 ~x769676+1024 x1178+1024 ~x551+512 ~x550+256 ~x549+128 ~x548+64 ~x547+32 ~x546+16 ~x545+8 ~x544+4 ~x543+2 ~x542+1 ~x541-0=4094
19.69/19.79	c 1024 ~x785967+512 ~x785966+256 ~x785965+128 ~x785964+64 ~x785963+32 ~x785962+16 ~x785961+8 ~x785960+4 ~x785959+2 ~x785958+1 ~x785957+1024 x1179+1024 ~x562+512 ~x561+256 ~x560+128 ~x559+64 ~x558+32 ~x557+16 ~x556+8 ~x555+4 ~x554+2 ~x553+1 ~x552-0=4094
19.79/19.84	c 1024 ~x787992+512 ~x787991+256 ~x787990+128 ~x787989+64 ~x787988+32 ~x787987+16 ~x787986+8 ~x787985+4 ~x787984+2 ~x787983+1 ~x787982+1024 x1180+1024 ~x573+512 ~x572+256 ~x571+128 ~x570+64 ~x569+32 ~x568+16 ~x567+8 ~x566+4 ~x565+2 ~x564+1 ~x563-0=4094
19.79/19.89	c 1024 ~x790017+512 ~x790016+256 ~x790015+128 ~x790014+64 ~x790013+32 ~x790012+16 ~x790011+8 ~x790010+4 ~x790009+2 ~x790008+1 ~x790007+1024 x1181+1024 ~x584+512 ~x583+256 ~x582+128 ~x581+64 ~x580+32 ~x579+16 ~x578+8 ~x577+4 ~x576+2 ~x575+1 ~x574-0=4094
19.88/19.94	c 1024 ~x792042+512 ~x792041+256 ~x792040+128 ~x792039+64 ~x792038+32 ~x792037+16 ~x792036+8 ~x792035+4 ~x792034+2 ~x792033+1 ~x792032+1024 x1182+1024 ~x595+512 ~x594+256 ~x593+128 ~x592+64 ~x591+32 ~x590+16 ~x589+8 ~x588+4 ~x587+2 ~x586+1 ~x585-0=4094
19.88/19.99	c 1024 ~x794067+512 ~x794066+256 ~x794065+128 ~x794064+64 ~x794063+32 ~x794062+16 ~x794061+8 ~x794060+4 ~x794059+2 ~x794058+1 ~x794057+1024 x1183+1024 ~x606+512 ~x605+256 ~x604+128 ~x603+64 ~x602+32 ~x601+16 ~x600+8 ~x599+4 ~x598+2 ~x597+1 ~x596-0=4094
19.98/20.04	c 1024 ~x796092+512 ~x796091+256 ~x796090+128 ~x796089+64 ~x796088+32 ~x796087+16 ~x796086+8 ~x796085+4 ~x796084+2 ~x796083+1 ~x796082+1024 x1184+1024 ~x617+512 ~x616+256 ~x615+128 ~x614+64 ~x613+32 ~x612+16 ~x611+8 ~x610+4 ~x609+2 ~x608+1 ~x607-0=4094
19.98/20.09	c 1024 ~x798117+512 ~x798116+256 ~x798115+128 ~x798114+64 ~x798113+32 ~x798112+16 ~x798111+8 ~x798110+4 ~x798109+2 ~x798108+1 ~x798107+1024 x1185+1024 ~x639+512 ~x638+256 ~x637+128 ~x636+64 ~x635+32 ~x634+16 ~x633+8 ~x632+4 ~x631+2 ~x630+1 ~x629-0=4094
20.09/20.14	c 1024 ~x800142+512 ~x800141+256 ~x800140+128 ~x800139+64 ~x800138+32 ~x800137+16 ~x800136+8 ~x800135+4 ~x800134+2 ~x800133+1 ~x800132+1024 x1186+1024 ~x650+512 ~x649+256 ~x648+128 ~x647+64 ~x646+32 ~x645+16 ~x644+8 ~x643+4 ~x642+2 ~x641+1 ~x640-0=4094
20.19/20.21	c 1024 ~x802167+512 ~x802166+256 ~x802165+128 ~x802164+64 ~x802163+32 ~x802162+16 ~x802161+8 ~x802160+4 ~x802159+2 ~x802158+1 ~x802157+1024 x1198+1024 ~x661+512 ~x660+256 ~x659+128 ~x658+64 ~x657+32 ~x656+16 ~x655+8 ~x654+4 ~x653+2 ~x652+1 ~x651-0=4094
20.19/20.26	c 1024 ~x804192+512 ~x804191+256 ~x804190+128 ~x804189+64 ~x804188+32 ~x804187+16 ~x804186+8 ~x804185+4 ~x804184+2 ~x804183+1 ~x804182+1024 x1199+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=4094
20.59/20.63	c 1024 ~x820473+512 ~x820472+256 ~x820471+128 ~x820470+64 ~x820469+32 ~x820468+16 ~x820467+8 ~x820466+4 ~x820465+2 ~x820464+1 ~x820463+1024 x1200+1024 ~x683+512 ~x682+256 ~x681+128 ~x680+64 ~x679+32 ~x678+16 ~x677+8 ~x676+4 ~x675+2 ~x674+1 ~x673-0=4094
20.59/20.68	c 1024 ~x822498+512 ~x822497+256 ~x822496+128 ~x822495+64 ~x822494+32 ~x822493+16 ~x822492+8 ~x822491+4 ~x822490+2 ~x822489+1 ~x822488+1024 x1201+1024 ~x694+512 ~x693+256 ~x692+128 ~x691+64 ~x690+32 ~x689+16 ~x688+8 ~x687+4 ~x686+2 ~x685+1 ~x684-0=4094
20.69/20.73	c 1024 ~x824523+512 ~x824522+256 ~x824521+128 ~x824520+64 ~x824519+32 ~x824518+16 ~x824517+8 ~x824516+4 ~x824515+2 ~x824514+1 ~x824513+1024 x1202+1024 ~x705+512 ~x704+256 ~x703+128 ~x702+64 ~x701+32 ~x700+16 ~x699+8 ~x698+4 ~x697+2 ~x696+1 ~x695-0=4094
20.69/20.78	c 1024 ~x826548+512 ~x826547+256 ~x826546+128 ~x826545+64 ~x826544+32 ~x826543+16 ~x826542+8 ~x826541+4 ~x826540+2 ~x826539+1 ~x826538+1024 x1203+1024 ~x716+512 ~x715+256 ~x714+128 ~x713+64 ~x712+32 ~x711+16 ~x710+8 ~x709+4 ~x708+2 ~x707+1 ~x706-0=4094
20.79/20.83	c 1024 ~x828573+512 ~x828572+256 ~x828571+128 ~x828570+64 ~x828569+32 ~x828568+16 ~x828567+8 ~x828566+4 ~x828565+2 ~x828564+1 ~x828563+1024 x1204+1024 ~x727+512 ~x726+256 ~x725+128 ~x724+64 ~x723+32 ~x722+16 ~x721+8 ~x720+4 ~x719+2 ~x718+1 ~x717-0=4094
20.79/20.88	c 1024 ~x830598+512 ~x830597+256 ~x830596+128 ~x830595+64 ~x830594+32 ~x830593+16 ~x830592+8 ~x830591+4 ~x830590+2 ~x830589+1 ~x830588+1024 x1205+1024 ~x738+512 ~x737+256 ~x736+128 ~x735+64 ~x734+32 ~x733+16 ~x732+8 ~x731+4 ~x730+2 ~x729+1 ~x728-0=4094
20.89/20.93	c 1024 ~x832623+512 ~x832622+256 ~x832621+128 ~x832620+64 ~x832619+32 ~x832618+16 ~x832617+8 ~x832616+4 ~x832615+2 ~x832614+1 ~x832613+1024 x1206+1024 ~x760+512 ~x759+256 ~x758+128 ~x757+64 ~x756+32 ~x755+16 ~x754+8 ~x753+4 ~x752+2 ~x751+1 ~x750-0=4094
20.89/20.98	c 1024 ~x834648+512 ~x834647+256 ~x834646+128 ~x834645+64 ~x834644+32 ~x834643+16 ~x834642+8 ~x834641+4 ~x834640+2 ~x834639+1 ~x834638+1024 x1207+1024 ~x771+512 ~x770+256 ~x769+128 ~x768+64 ~x767+32 ~x766+16 ~x765+8 ~x764+4 ~x763+2 ~x762+1 ~x761-0=4094
20.98/21.03	c 1024 ~x836673+512 ~x836672+256 ~x836671+128 ~x836670+64 ~x836669+32 ~x836668+16 ~x836667+8 ~x836666+4 ~x836665+2 ~x836664+1 ~x836663+1024 x1219+1024 ~x782+512 ~x781+256 ~x780+128 ~x779+64 ~x778+32 ~x777+16 ~x776+8 ~x775+4 ~x774+2 ~x773+1 ~x772-0=4094
20.98/21.08	c 1024 ~x838698+512 ~x838697+256 ~x838696+128 ~x838695+64 ~x838694+32 ~x838693+16 ~x838692+8 ~x838691+4 ~x838690+2 ~x838689+1 ~x838688+1024 x1220+1024 ~x793+512 ~x792+256 ~x791+128 ~x790+64 ~x789+32 ~x788+16 ~x787+8 ~x786+4 ~x785+2 ~x784+1 ~x783-0=4094
21.38/21.45	c 1024 ~x854979+512 ~x854978+256 ~x854977+128 ~x854976+64 ~x854975+32 ~x854974+16 ~x854973+8 ~x854972+4 ~x854971+2 ~x854970+1 ~x854969+1024 x1221+1024 ~x804+512 ~x803+256 ~x802+128 ~x801+64 ~x800+32 ~x799+16 ~x798+8 ~x797+4 ~x796+2 ~x795+1 ~x794-0=4094
21.48/21.50	c 1024 ~x857004+512 ~x857003+256 ~x857002+128 ~x857001+64 ~x857000+32 ~x856999+16 ~x856998+8 ~x856997+4 ~x856996+2 ~x856995+1 ~x856994+1024 x1222+1024 ~x815+512 ~x814+256 ~x813+128 ~x812+64 ~x811+32 ~x810+16 ~x809+8 ~x808+4 ~x807+2 ~x806+1 ~x805-0=4094
21.48/21.55	c 1024 ~x859029+512 ~x859028+256 ~x859027+128 ~x859026+64 ~x859025+32 ~x859024+16 ~x859023+8 ~x859022+4 ~x859021+2 ~x859020+1 ~x859019+1024 x1223+1024 ~x826+512 ~x825+256 ~x824+128 ~x823+64 ~x822+32 ~x821+16 ~x820+8 ~x819+4 ~x818+2 ~x817+1 ~x816-0=4094
21.58/21.60	c 1024 ~x861054+512 ~x861053+256 ~x861052+128 ~x861051+64 ~x861050+32 ~x861049+16 ~x861048+8 ~x861047+4 ~x861046+2 ~x861045+1 ~x861044+1024 x1224+1024 ~x837+512 ~x836+256 ~x835+128 ~x834+64 ~x833+32 ~x832+16 ~x831+8 ~x830+4 ~x829+2 ~x828+1 ~x827-0=4094
21.58/21.65	c 1024 ~x863079+512 ~x863078+256 ~x863077+128 ~x863076+64 ~x863075+32 ~x863074+16 ~x863073+8 ~x863072+4 ~x863071+2 ~x863070+1 ~x863069+1024 x1225+1024 ~x848+512 ~x847+256 ~x846+128 ~x845+64 ~x844+32 ~x843+16 ~x842+8 ~x841+4 ~x840+2 ~x839+1 ~x838-0=4094
26.88/26.99	c 524288 ~x1095532+262144 ~x1095531+131072 ~x1095530+65536 ~x1095529+32768 ~x1095528+16384 ~x1095527+8192 ~x1095526+4096 ~x1095525+2048 ~x1095524+1024 ~x1095523+512 ~x1095522+256 ~x1095521+128 ~x1095520+64 ~x1095519+32 ~x1095518+16 ~x1095517+8 ~x1095516+4 ~x1095515+2 ~x1095514+1 ~x1095513+128000 ~x2733+64000 ~x2732+32000 ~x2731+16000 ~x2730+8000 ~x2729+4000 ~x2728+2000 ~x2727+1000 ~x2726+500 ~x2725+250 ~x2724+125 ~x2723+8000 ~x2443+4000 ~x2442+2000 ~x2441+1000 ~x2440+500 ~x2439+250 ~x2438+125 ~x2437+8000 ~x2146+4000 ~x2145+2000 ~x2144+1000 ~x2143+500 ~x2142+250 ~x2141+125 ~x2140+2688 ~x1180+2688 ~x1112+2688 ~x1066+16000 ~x1036+8000 ~x1035+4000 ~x1034+2000 ~x1033+1000 ~x1032+500 ~x1031+250 ~x1030+125 ~x1029+2688 ~x1020+2688 ~x963+2688 ~x906+2688 ~x849+4000 ~x568+2000 ~x567+1000 ~x566+500 ~x565+250 ~x564+125 ~x563+128000 ~x287+64000 ~x286+32000 ~x285+16000 ~x284+8000 ~x283+4000 ~x282+2000 ~x281+1000 ~x280+500 ~x279+250 ~x278+125 ~x277+128000 ~x12+64000 ~x11+32000 ~x10+16000 ~x9+8000 ~x8+4000 ~x7+2000 ~x6+1000 ~x5+500 ~x4+250 ~x3+125 ~x2-0=1778516
27.28/27.34	c 1048576 ~x1110832+524288 ~x1110831+262144 ~x1110830+131072 ~x1110829+65536 ~x1110828+32768 ~x1110827+16384 ~x1110826+8192 ~x1110825+4096 ~x1110824+2048 ~x1110823+1024 ~x1110822+512 ~x1110821+256 ~x1110820+128 ~x1110819+64 ~x1110818+32 ~x1110817+16 ~x1110816+8 ~x1110815+4 ~x1110814+2 ~x1110813+1 ~x1110812+128000 ~x2744+64000 ~x2743+32000 ~x2742+16000 ~x2741+8000 ~x2740+4000 ~x2739+2000 ~x2738+1000 ~x2737+500 ~x2736+250 ~x2735+125 ~x2734+32000 ~x2456+16000 ~x2455+8000 ~x2454+4000 ~x2453+2000 ~x2452+1000 ~x2451+500 ~x2450+250 ~x2449+125 ~x2448+32000 ~x2170+16000 ~x2169+8000 ~x2168+4000 ~x2167+2000 ~x2166+1000 ~x2165+500 ~x2164+250 ~x2163+125 ~x2162+2688 ~x1181+2688 ~x1124+2688 ~x1067+128000 ~x1060+64000 ~x1059+32000 ~x1058+16000 ~x1057+8000 ~x1056+4000 ~x1055+2000 ~x1054+1000 ~x1053+500 ~x1052+250 ~x1051+125 ~x1050+2688 ~x1021+128000 ~x923+64000 ~x922+32000 ~x921+16000 ~x920+8000 ~x919+4000 ~x918+2000 ~x917+1000 ~x916+500 ~x915+250 ~x914+125 ~x913+2688 ~x907+2688 ~x861+64000 ~x583+32000 ~x582+16000 ~x581+8000 ~x580+4000 ~x579+2000 ~x578+1000 ~x577+500 ~x576+250 ~x575+125 ~x574+128000 ~x298+64000 ~x297+32000 ~x296+16000 ~x295+8000 ~x294+4000 ~x293+2000 ~x292+1000 ~x291+500 ~x290+250 ~x289+125 ~x288-0=3264404
27.68/27.75	c 1048576 ~x1128721+524288 ~x1128720+262144 ~x1128719+131072 ~x1128718+65536 ~x1128717+32768 ~x1128716+16384 ~x1128715+8192 ~x1128714+4096 ~x1128713+2048 ~x1128712+1024 ~x1128711+512 ~x1128710+256 ~x1128709+128 ~x1128708+64 ~x1128707+32 ~x1128706+16 ~x1128705+8 ~x1128704+4 ~x1128703+2 ~x1128702+1 ~x1128701+128000 ~x2755+64000 ~x2754+32000 ~x2753+16000 ~x2752+8000 ~x2751+4000 ~x2750+2000 ~x2749+1000 ~x2748+500 ~x2747+250 ~x2746+125 ~x2745+32000 ~x2467+16000 ~x2466+8000 ~x2465+4000 ~x2464+2000 ~x2463+1000 ~x2462+500 ~x2461+250 ~x2460+125 ~x2459+32000 ~x2181+16000 ~x2180+8000 ~x2179+4000 ~x2178+2000 ~x2177+1000 ~x2176+500 ~x2175+250 ~x2174+125 ~x2173+2688 ~x1182+128000 ~x1144+64000 ~x1143+32000 ~x1142+16000 ~x1141+8000 ~x1140+4000 ~x1139+2000 ~x1138+1000 ~x1137+500 ~x1136+250 ~x1135+125 ~x1134+2688 ~x1125+128000 ~x1081+64000 ~x1080+32000 ~x1079+16000 ~x1078+8000 ~x1077+4000 ~x1076+2000 ~x1075+1000 ~x1074+500 ~x1073+250 ~x1072+125 ~x1071+2688 ~x1068+2688 ~x1022+2688 ~x965+2688 ~x908+2688 ~x862+128000 ~x595+64000 ~x594+32000 ~x593+16000 ~x592+8000 ~x591+4000 ~x590+2000 ~x589+1000 ~x588+500 ~x587+250 ~x586+125 ~x585+32000 ~x307+16000 ~x306+8000 ~x305+4000 ~x304+2000 ~x303+1000 ~x302+500 ~x301+250 ~x300+125 ~x299-0=3203092
28.08/28.16	c 1048576 ~x1146721+524288 ~x1146720+262144 ~x1146719+131072 ~x1146718+65536 ~x1146717+32768 ~x1146716+16384 ~x1146715+8192 ~x1146714+4096 ~x1146713+2048 ~x1146712+1024 ~x1146711+512 ~x1146710+256 ~x1146709+128 ~x1146708+64 ~x1146707+32 ~x1146706+16 ~x1146705+8 ~x1146704+4 ~x1146703+2 ~x1146702+1 ~x1146701+32000 ~x2478+16000 ~x2477+8000 ~x2476+4000 ~x2475+2000 ~x2474+1000 ~x2473+500 ~x2472+250 ~x2471+125 ~x2470+128000 ~x2194+64000 ~x2193+32000 ~x2192+16000 ~x2191+8000 ~x2190+4000 ~x2189+2000 ~x2188+1000 ~x2187+500 ~x2186+250 ~x2185+125 ~x2184+128000 ~x2040+64000 ~x2039+32000 ~x2038+16000 ~x2037+8000 ~x2036+4000 ~x2035+2000 ~x2034+1000 ~x2033+500 ~x2032+250 ~x2031+125 ~x2030+2688 ~x1183+2688 ~x1126+128000 ~x1102+64000 ~x1101+32000 ~x1100+16000 ~x1099+8000 ~x1098+4000 ~x1097+2000 ~x1096+1000 ~x1095+500 ~x1094+250 ~x1093+125 ~x1092+2688 ~x1069+2688 ~x1023+2688 ~x977+2688 ~x909+2688 ~x863+32000 ~x604+16000 ~x603+8000 ~x602+4000 ~x601+2000 ~x600+1000 ~x599+500 ~x598+250 ~x597+125 ~x596+32000 ~x318+16000 ~x317+8000 ~x316+4000 ~x315+2000 ~x314+1000 ~x313+500 ~x312+250 ~x311+125 ~x310+128000 ~x34+64000 ~x33+32000 ~x32+16000 ~x31+8000 ~x30+4000 ~x29+2000 ~x28+1000 ~x27+500 ~x26+250 ~x25+125 ~x24-0=3203092
28.49/28.57	c 1048576 ~x1164613+524288 ~x1164612+262144 ~x1164611+131072 ~x1164610+65536 ~x1164609+32768 ~x1164608+16384 ~x1164607+8192 ~x1164606+4096 ~x1164605+2048 ~x1164604+1024 ~x1164603+512 ~x1164602+256 ~x1164601+128 ~x1164600+64 ~x1164599+32 ~x1164598+16 ~x1164597+8 ~x1164596+4 ~x1164595+2 ~x1164594+1 ~x1164593+128000 ~x2491+64000 ~x2490+32000 ~x2489+16000 ~x2488+8000 ~x2487+4000 ~x2486+2000 ~x2485+1000 ~x2484+500 ~x2483+250 ~x2482+125 ~x2481+128000 ~x2205+64000 ~x2204+32000 ~x2203+16000 ~x2202+8000 ~x2201+4000 ~x2200+2000 ~x2199+1000 ~x2198+500 ~x2197+250 ~x2196+125 ~x2195+128000 ~x2161+64000 ~x2160+32000 ~x2159+16000 ~x2158+8000 ~x2157+4000 ~x2156+2000 ~x2155+1000 ~x2154+500 ~x2153+250 ~x2152+125 ~x2151+2688 ~x1184+2688 ~x1127+128000 ~x1123+64000 ~x1122+32000 ~x1121+16000 ~x1120+8000 ~x1119+4000 ~x1118+2000 ~x1117+1000 ~x1116+500 ~x1115+250 ~x1114+125 ~x1113+2688 ~x1070+2688 ~x1024+2688 ~x978+2688 ~x910+2688 ~x864+32000 ~x615+16000 ~x614+8000 ~x613+4000 ~x612+2000 ~x611+1000 ~x610+500 ~x609+250 ~x608+125 ~x607+32000 ~x329+16000 ~x328+8000 ~x327+4000 ~x326+2000 ~x325+1000 ~x324+500 ~x323+250 ~x322+125 ~x321+128000 ~x45+64000 ~x44+32000 ~x43+16000 ~x42+8000 ~x41+4000 ~x40+2000 ~x39+1000 ~x38+500 ~x37+250 ~x36+125 ~x35-0=3395092
28.88/28.99	c 524288 ~x1182894+262144 ~x1182893+131072 ~x1182892+65536 ~x1182891+32768 ~x1182890+16384 ~x1182889+8192 ~x1182888+4096 ~x1182887+2048 ~x1182886+1024 ~x1182885+512 ~x1182884+256 ~x1182883+128 ~x1182882+64 ~x1182881+32 ~x1182880+16 ~x1182879+8 ~x1182878+4 ~x1182877+2 ~x1182876+1 ~x1182875+128000 ~x2502+64000 ~x2501+32000 ~x2500+16000 ~x2499+8000 ~x2498+4000 ~x2497+2000 ~x2496+1000 ~x2495+500 ~x2494+250 ~x2493+125 ~x2492+128000 ~x2282+64000 ~x2281+32000 ~x2280+16000 ~x2279+8000 ~x2278+4000 ~x2277+2000 ~x2276+1000 ~x2275+500 ~x2274+250 ~x2273+125 ~x2272+32000 ~x2214+16000 ~x2213+8000 ~x2212+4000 ~x2211+2000 ~x2210+1000 ~x2209+500 ~x2208+250 ~x2207+125 ~x2206+2688 ~x1185+64000 ~x1154+32000 ~x1153+16000 ~x1152+8000 ~x1151+4000 ~x1150+2000 ~x1149+1000 ~x1148+500 ~x1147+250 ~x1146+125 ~x1145+2688 ~x1128+2688 ~x1082+2688 ~x1025+2688 ~x979+2688 ~x911+2688 ~x865+32000 ~x637+16000 ~x636+8000 ~x635+4000 ~x634+2000 ~x633+1000 ~x632+500 ~x631+250 ~x630+125 ~x629+32000 ~x340+16000 ~x339+8000 ~x338+4000 ~x337+2000 ~x336+1000 ~x335+500 ~x334+250 ~x333+125 ~x332+128000 ~x56+64000 ~x55+32000 ~x54+16000 ~x53+8000 ~x52+4000 ~x51+2000 ~x50+1000 ~x49+500 ~x48+250 ~x47+125 ~x46-0=2026516
29.28/29.39	c 16384 ~x1200393+8192 ~x1200392+4096 ~x1200391+2048 ~x1200390+1024 ~x1200389+512 ~x1200388+256 ~x1200387+128 ~x1200386+64 ~x1200385+32 ~x1200384+16 ~x1200383+8 ~x1200382+4 ~x1200381+2 ~x1200380+1 ~x1200379+320 ~x2509+160 ~x2508+80 ~x2507+40 ~x2506+20 ~x2505+10 ~x2504+5 ~x2503+5120 ~x2403+2560 ~x2402+1280 ~x2401+640 ~x2400+320 ~x2399+160 ~x2398+80 ~x2397+40 ~x2396+20 ~x2395+10 ~x2394+5 ~x2393+320 ~x2223+160 ~x2222+80 ~x2221+40 ~x2220+20 ~x2219+10 ~x2218+5 ~x2217+256 ~x1186+1280 ~x1174+640 ~x1173+320 ~x1172+160 ~x1171+80 ~x1170+40 ~x1169+20 ~x1168+10 ~x1167+5 ~x1166+256 ~x1129+256 ~x1083+256 ~x1026+256 ~x980+256 ~x912+256 ~x866+160 ~x645+80 ~x644+40 ~x643+20 ~x642+10 ~x641+5 ~x640+5120 ~x353+2560 ~x352+1280 ~x351+640 ~x350+320 ~x349+160 ~x348+80 ~x347+40 ~x346+20 ~x345+10 ~x344+5 ~x343+5120 ~x67+2560 ~x66+1280 ~x65+640 ~x64+320 ~x63+160 ~x62+80 ~x61+40 ~x60+20 ~x59+10 ~x58+5 ~x57-0=64284
29.88/29.97	c 32768 ~x1225695+16384 ~x1225694+8192 ~x1225693+4096 ~x1225692+2048 ~x1225691+1024 ~x1225690+512 ~x1225689+256 ~x1225688+128 ~x1225687+64 ~x1225686+32 ~x1225685+16 ~x1225684+8 ~x1225683+4 ~x1225682+2 ~x1225681+1 ~x1225680+1280 ~x2533+640 ~x2532+320 ~x2531+160 ~x2530+80 ~x2529+40 ~x2528+20 ~x2527+10 ~x2526+5 ~x2525+5120 ~x2524+2560 ~x2523+1280 ~x2522+640 ~x2521+320 ~x2520+160 ~x2519+80 ~x2518+40 ~x2517+20 ~x2516+10 ~x2515+5 ~x2514+1280 ~x2236+640 ~x2235+320 ~x2234+160 ~x2233+80 ~x2232+40 ~x2231+20 ~x2230+10 ~x2229+5 ~x2228+256 ~x1198+5120 ~x1197+2560 ~x1196+1280 ~x1195+640 ~x1194+320 ~x1193+160 ~x1192+80 ~x1191+40 ~x1190+20 ~x1189+10 ~x1188+5 ~x1187+256 ~x1130+256 ~x1084+256 ~x1027+256 ~x935+256 ~x867+2560 ~x660+1280 ~x659+640 ~x658+320 ~x657+160 ~x656+80 ~x655+40 ~x654+20 ~x653+10 ~x652+5 ~x651+2560 ~x363+1280 ~x362+640 ~x361+320 ~x360+160 ~x359+80 ~x358+40 ~x357+20 ~x356+10 ~x355+5 ~x354+5120 ~x78+2560 ~x77+1280 ~x76+640 ~x75+320 ~x74+160 ~x73+80 ~x72+40 ~x71+20 ~x70+10 ~x69+5 ~x68-0=107996
30.18/30.26	c 32768 ~x1238508+16384 ~x1238507+8192 ~x1238506+4096 ~x1238505+2048 ~x1238504+1024 ~x1238503+512 ~x1238502+256 ~x1238501+128 ~x1238500+64 ~x1238499+32 ~x1238498+16 ~x1238497+8 ~x1238496+4 ~x1238495+2 ~x1238494+1 ~x1238493+5120 ~x2645+2560 ~x2644+1280 ~x2643+640 ~x2642+320 ~x2641+160 ~x2640+80 ~x2639+40 ~x2638+20 ~x2637+10 ~x2636+5 ~x2635+1280 ~x2544+640 ~x2543+320 ~x2542+160 ~x2541+80 ~x2540+40 ~x2539+20 ~x2538+10 ~x2537+5 ~x2536+1280 ~x2247+640 ~x2246+320 ~x2245+160 ~x2244+80 ~x2243+40 ~x2242+20 ~x2241+10 ~x2240+5 ~x2239+5120 ~x1218+2560 ~x1217+1280 ~x1216+640 ~x1215+320 ~x1214+160 ~x1213+80 ~x1212+40 ~x1211+20 ~x1210+10 ~x1209+5 ~x1208+256 ~x1199+256 ~x1131+256 ~x1085+256 ~x1028+256 ~x936+256 ~x868+5120 ~x672+2560 ~x671+1280 ~x670+640 ~x669+320 ~x668+160 ~x667+80 ~x666+40 ~x665+20 ~x664+10 ~x663+5 ~x662+1280 ~x373+640 ~x372+320 ~x371+160 ~x370+80 ~x369+40 ~x368+20 ~x367+10 ~x366+5 ~x365+5120 ~x89+2560 ~x88+1280 ~x87+640 ~x86+320 ~x85+160 ~x84+80 ~x83+40 ~x82+20 ~x81+10 ~x80+5 ~x79-0=110556
30.48/30.58	c 32768 ~x1251321+16384 ~x1251320+8192 ~x1251319+4096 ~x1251318+2048 ~x1251317+1024 ~x1251316+512 ~x1251315+256 ~x1251314+128 ~x1251313+64 ~x1251312+32 ~x1251311+16 ~x1251310+8 ~x1251309+4 ~x1251308+2 ~x1251307+1 ~x1251306+1280 ~x2555+640 ~x2554+320 ~x2553+160 ~x2552+80 ~x2551+40 ~x2550+20 ~x2549+10 ~x2548+5 ~x2547+5120 ~x2260+2560 ~x2259+1280 ~x2258+640 ~x2257+320 ~x2256+160 ~x2255+80 ~x2254+40 ~x2253+20 ~x2252+10 ~x2251+5 ~x2250+5120 ~x1290+2560 ~x1289+1280 ~x1288+640 ~x1287+320 ~x1286+160 ~x1285+80 ~x1284+40 ~x1283+20 ~x1282+10 ~x1281+5 ~x1280+256 ~x1200+256 ~x1132+256 ~x1086+256 ~x1040+256 ~x983+256 ~x937+256 ~x869+1280 ~x681+640 ~x680+320 ~x679+160 ~x678+80 ~x677+40 ~x676+20 ~x675+10 ~x674+5 ~x673+1280 ~x395+640 ~x394+320 ~x393+160 ~x392+80 ~x391+40 ~x390+20 ~x389+10 ~x388+5 ~x387+5120 ~x100+2560 ~x99+1280 ~x98+640 ~x97+320 ~x96+160 ~x95+80 ~x94+40 ~x93+20 ~x92+10 ~x91+5 ~x90+2560 ~x22+1280 ~x21+640 ~x20+320 ~x19+160 ~x18+80 ~x17+40 ~x16+20 ~x15+10 ~x14+5 ~x13-0=105692
30.78/30.87	c 32768 ~x1264038+16384 ~x1264037+8192 ~x1264036+4096 ~x1264035+2048 ~x1264034+1024 ~x1264033+512 ~x1264032+256 ~x1264031+128 ~x1264030+64 ~x1264029+32 ~x1264028+16 ~x1264027+8 ~x1264026+4 ~x1264025+2 ~x1264024+1 ~x1264023+5120 ~x2568+2560 ~x2567+1280 ~x2566+640 ~x2565+320 ~x2564+160 ~x2563+80 ~x2562+40 ~x2561+20 ~x2560+10 ~x2559+5 ~x2558+5120 ~x2271+2560 ~x2270+1280 ~x2269+640 ~x2268+320 ~x2267+160 ~x2266+80 ~x2265+40 ~x2264+20 ~x2263+10 ~x2262+5 ~x2261+5120 ~x1480+2560 ~x1479+1280 ~x1478+640 ~x1477+320 ~x1476+160 ~x1475+80 ~x1474+40 ~x1473+20 ~x1472+10 ~x1471+5 ~x1470+256 ~x1201+256 ~x1133+256 ~x1087+256 ~x1041+256 ~x984+256 ~x938+256 ~x870+1280 ~x692+640 ~x691+320 ~x690+160 ~x689+80 ~x688+40 ~x687+20 ~x686+10 ~x685+5 ~x684+1280 ~x406+640 ~x405+320 ~x404+160 ~x403+80 ~x402+40 ~x401+20 ~x400+10 ~x399+5 ~x398+2560 ~x143+1280 ~x142+640 ~x141+320 ~x140+160 ~x139+80 ~x138+40 ~x137+20 ~x136+10 ~x135+5 ~x134+5120 ~x111+2560 ~x110+1280 ~x109+640 ~x108+320 ~x107+160 ~x106+80 ~x105+40 ~x104+20 ~x103+10 ~x102+5 ~x101-0=113372
31.08/31.17	c 32768 ~x1277055+16384 ~x1277054+8192 ~x1277053+4096 ~x1277052+2048 ~x1277051+1024 ~x1277050+512 ~x1277049+256 ~x1277048+128 ~x1277047+64 ~x1277046+32 ~x1277045+16 ~x1277044+8 ~x1277043+4 ~x1277042+2 ~x1277041+1 ~x1277040+5120 ~x2579+2560 ~x2578+1280 ~x2577+640 ~x2576+320 ~x2575+160 ~x2574+80 ~x2573+40 ~x2572+20 ~x2571+10 ~x2570+5 ~x2569+1280 ~x2291+640 ~x2290+320 ~x2289+160 ~x2288+80 ~x2287+40 ~x2286+20 ~x2285+10 ~x2284+5 ~x2283+5120 ~x1661+2560 ~x1660+1280 ~x1659+640 ~x1658+320 ~x1657+160 ~x1656+80 ~x1655+40 ~x1654+20 ~x1653+10 ~x1652+5 ~x1651+256 ~x1202+256 ~x1156+256 ~x1088+256 ~x1042+256 ~x985+256 ~x939+256 ~x882+1280 ~x703+640 ~x702+320 ~x701+160 ~x700+80 ~x699+40 ~x698+20 ~x697+10 ~x696+5 ~x695+1280 ~x417+640 ~x416+320 ~x415+160 ~x414+80 ~x413+40 ~x412+20 ~x411+10 ~x410+5 ~x409+5120 ~x265+2560 ~x264+1280 ~x263+640 ~x262+320 ~x261+160 ~x260+80 ~x259+40 ~x258+20 ~x257+10 ~x256+5 ~x255+5120 ~x122+2560 ~x121+1280 ~x120+640 ~x119+320 ~x118+160 ~x117+80 ~x116+40 ~x115+20 ~x114+10 ~x113+5 ~x112-0=110812
31.38/31.46	c 32768 ~x1289910+16384 ~x1289909+8192 ~x1289908+4096 ~x1289907+2048 ~x1289906+1024 ~x1289905+512 ~x1289904+256 ~x1289903+128 ~x1289902+64 ~x1289901+32 ~x1289900+16 ~x1289899+8 ~x1289898+4 ~x1289897+2 ~x1289896+1 ~x1289895+640 ~x2587+320 ~x2586+160 ~x2585+80 ~x2584+40 ~x2583+20 ~x2582+10 ~x2581+5 ~x2580+320 ~x2300+160 ~x2299+80 ~x2298+40 ~x2297+20 ~x2296+10 ~x2295+5 ~x2294+2560 ~x1853+1280 ~x1852+640 ~x1851+320 ~x1850+160 ~x1849+80 ~x1848+40 ~x1847+20 ~x1846+10 ~x1845+5 ~x1844+512 ~x1203+512 ~x1157+512 ~x1089+512 ~x1043+512 ~x986+512 ~x940+512 ~x883+320 ~x712+160 ~x711+80 ~x710+40 ~x709+20 ~x708+10 ~x707+5 ~x706+5120 ~x430+2560 ~x429+1280 ~x428+640 ~x427+320 ~x426+160 ~x425+80 ~x424+40 ~x423+20 ~x422+10 ~x421+5 ~x420+5120 ~x386+2560 ~x385+1280 ~x384+640 ~x383+320 ~x382+160 ~x381+80 ~x380+40 ~x379+20 ~x378+10 ~x377+5 ~x376+5120 ~x133+2560 ~x132+1280 ~x131+640 ~x130+320 ~x129+160 ~x128+80 ~x127+40 ~x126+20 ~x125+10 ~x124+5 ~x123-0=102364
31.68/31.74	c 32768 ~x1301865+16384 ~x1301864+8192 ~x1301863+4096 ~x1301862+2048 ~x1301861+1024 ~x1301860+512 ~x1301859+256 ~x1301858+128 ~x1301857+64 ~x1301856+32 ~x1301855+16 ~x1301854+8 ~x1301853+4 ~x1301852+2 ~x1301851+1 ~x1301850+2560 ~x2600+1280 ~x2599+640 ~x2598+320 ~x2597+160 ~x2596+80 ~x2595+40 ~x2594+20 ~x2593+10 ~x2592+5 ~x2591+1280 ~x2313+640 ~x2312+320 ~x2311+160 ~x2310+80 ~x2309+40 ~x2308+20 ~x2307+10 ~x2306+5 ~x2305+5120 ~x2018+2560 ~x2017+1280 ~x2016+640 ~x2015+320 ~x2014+160 ~x2013+80 ~x2012+40 ~x2011+20 ~x2010+10 ~x2009+5 ~x2008+512 ~x1204+512 ~x1158+512 ~x1090+512 ~x1044+512 ~x941+512 ~x884+5120 ~x727+2560 ~x726+1280 ~x725+640 ~x724+320 ~x723+160 ~x722+80 ~x721+40 ~x720+20 ~x719+10 ~x718+5 ~x717+5120 ~x507+2560 ~x506+1280 ~x505+640 ~x504+320 ~x503+160 ~x502+80 ~x501+40 ~x500+20 ~x499+10 ~x498+5 ~x497+2560 ~x440+1280 ~x439+640 ~x438+320 ~x437+160 ~x436+80 ~x435+40 ~x434+20 ~x433+10 ~x432+5 ~x431+5120 ~x155+2560 ~x154+1280 ~x153+640 ~x152+320 ~x151+160 ~x150+80 ~x149+40 ~x148+20 ~x147+10 ~x146+5 ~x145-0=117212
31.98/32.04	c 32768 ~x1314834+16384 ~x1314833+8192 ~x1314832+4096 ~x1314831+2048 ~x1314830+1024 ~x1314829+512 ~x1314828+256 ~x1314827+128 ~x1314826+64 ~x1314825+32 ~x1314824+16 ~x1314823+8 ~x1314822+4 ~x1314821+2 ~x1314820+1 ~x1314819+2560 ~x2611+1280 ~x2610+640 ~x2609+320 ~x2608+160 ~x2607+80 ~x2606+40 ~x2605+20 ~x2604+10 ~x2603+5 ~x2602+1280 ~x2324+640 ~x2323+320 ~x2322+160 ~x2321+80 ~x2320+40 ~x2319+20 ~x2318+10 ~x2317+5 ~x2316+5120 ~x2029+2560 ~x2028+1280 ~x2027+640 ~x2026+320 ~x2025+160 ~x2024+80 ~x2023+40 ~x2022+20 ~x2021+10 ~x2020+5 ~x2019+512 ~x1205+512 ~x1159+512 ~x1091+512 ~x1045+512 ~x942+512 ~x885+5120 ~x738+2560 ~x737+1280 ~x736+640 ~x735+320 ~x734+160 ~x733+80 ~x732+40 ~x731+20 ~x730+10 ~x729+5 ~x728+5120 ~x628+2560 ~x627+1280 ~x626+640 ~x625+320 ~x624+160 ~x623+80 ~x622+40 ~x621+20 ~x620+10 ~x619+5 ~x618+640 ~x449+320 ~x448+160 ~x447+80 ~x446+40 ~x445+20 ~x444+10 ~x443+5 ~x442+5120 ~x166+2560 ~x165+1280 ~x164+640 ~x163+320 ~x162+160 ~x161+80 ~x160+40 ~x159+20 ~x158+10 ~x157+5 ~x156-0=113372
32.28/32.33	c 32768 ~x1327527+16384 ~x1327526+8192 ~x1327525+4096 ~x1327524+2048 ~x1327523+1024 ~x1327522+512 ~x1327521+256 ~x1327520+128 ~x1327519+64 ~x1327518+32 ~x1327517+16 ~x1327516+8 ~x1327515+4 ~x1327514+2 ~x1327513+1 ~x1327512+2560 ~x2622+1280 ~x2621+640 ~x2620+320 ~x2619+160 ~x2618+80 ~x2617+40 ~x2616+20 ~x2615+10 ~x2614+5 ~x2613+5120 ~x2337+2560 ~x2336+1280 ~x2335+640 ~x2334+320 ~x2333+160 ~x2332+80 ~x2331+40 ~x2330+20 ~x2329+10 ~x2328+5 ~x2327+5120 ~x2051+2560 ~x2050+1280 ~x2049+640 ~x2048+320 ~x2047+160 ~x2046+80 ~x2045+40 ~x2044+20 ~x2043+10 ~x2042+5 ~x2041+512 ~x1206+512 ~x1160+512 ~x1103+512 ~x1046+512 ~x1000+512 ~x943+512 ~x886+1280 ~x758+640 ~x757+320 ~x756+160 ~x755+80 ~x754+40 ~x753+20 ~x752+10 ~x751+5 ~x750+2560 ~x748+1280 ~x747+640 ~x746+320 ~x745+160 ~x744+80 ~x743+40 ~x742+20 ~x741+10 ~x740+5 ~x739+640 ~x460+320 ~x459+160 ~x458+80 ~x457+40 ~x456+20 ~x455+10 ~x454+5 ~x453+5120 ~x177+2560 ~x176+1280 ~x175+640 ~x174+320 ~x173+160 ~x172+80 ~x171+40 ~x170+20 ~x169+10 ~x168+5 ~x167-0=108764
32.58/32.62	c 32768 ~x1340256+16384 ~x1340255+8192 ~x1340254+4096 ~x1340253+2048 ~x1340252+1024 ~x1340251+512 ~x1340250+256 ~x1340249+128 ~x1340248+64 ~x1340247+32 ~x1340246+16 ~x1340245+8 ~x1340244+4 ~x1340243+2 ~x1340242+1 ~x1340241+5120 ~x2634+2560 ~x2633+1280 ~x2632+640 ~x2631+320 ~x2630+160 ~x2629+80 ~x2628+40 ~x2627+20 ~x2626+10 ~x2625+5 ~x2624+5120 ~x2348+2560 ~x2347+1280 ~x2346+640 ~x2345+320 ~x2344+160 ~x2343+80 ~x2342+40 ~x2341+20 ~x2340+10 ~x2339+5 ~x2338+5120 ~x2062+2560 ~x2061+1280 ~x2060+640 ~x2059+320 ~x2058+160 ~x2057+80 ~x2056+40 ~x2055+20 ~x2054+10 ~x2053+5 ~x2052+512 ~x1207+512 ~x1161+512 ~x1104+512 ~x1047+512 ~x1001+512 ~x944+512 ~x887+2560 ~x859+1280 ~x858+640 ~x857+320 ~x856+160 ~x855+80 ~x854+40 ~x853+20 ~x852+10 ~x851+5 ~x850+1280 ~x769+640 ~x768+320 ~x767+160 ~x766+80 ~x765+40 ~x764+20 ~x763+10 ~x762+5 ~x761+640 ~x471+320 ~x470+160 ~x469+80 ~x468+40 ~x467+20 ~x466+10 ~x465+5 ~x464+5120 ~x188+2560 ~x187+1280 ~x186+640 ~x185+320 ~x184+160 ~x183+80 ~x182+40 ~x181+20 ~x180+10 ~x179+5 ~x178-0=113884
33.18/33.23	c 32768 ~x1366614+16384 ~x1366613+8192 ~x1366612+4096 ~x1366611+2048 ~x1366610+1024 ~x1366609+512 ~x1366608+256 ~x1366607+128 ~x1366606+64 ~x1366605+32 ~x1366604+16 ~x1366603+8 ~x1366602+4 ~x1366601+2 ~x1366600+1 ~x1366599+5120 ~x2656+2560 ~x2655+1280 ~x2654+640 ~x2653+320 ~x2652+160 ~x2651+80 ~x2650+40 ~x2649+20 ~x2648+10 ~x2647+5 ~x2646+1280 ~x2357+640 ~x2356+320 ~x2355+160 ~x2354+80 ~x2353+40 ~x2352+20 ~x2351+10 ~x2350+5 ~x2349+5120 ~x2073+2560 ~x2072+1280 ~x2071+640 ~x2070+320 ~x2069+160 ~x2068+80 ~x2067+40 ~x2066+20 ~x2065+10 ~x2064+5 ~x2063+512 ~x1219+512 ~x1162+512 ~x1105+512 ~x1048+512 ~x1002+512 ~x956+512 ~x888+5120 ~x881+2560 ~x880+1280 ~x879+640 ~x878+320 ~x877+160 ~x876+80 ~x875+40 ~x874+20 ~x873+10 ~x872+5 ~x871+1280 ~x780+640 ~x779+320 ~x778+160 ~x777+80 ~x776+40 ~x775+20 ~x774+10 ~x773+5 ~x772+640 ~x482+320 ~x481+160 ~x480+80 ~x479+40 ~x478+20 ~x477+10 ~x476+5 ~x475+5120 ~x199+2560 ~x198+1280 ~x197+640 ~x196+320 ~x195+160 ~x194+80 ~x193+40 ~x192+20 ~x191+10 ~x190+5 ~x189-0=111324
33.48/33.52	c 4096 ~x1379328+2048 ~x1379327+1024 ~x1379326+512 ~x1379325+256 ~x1379324+128 ~x1379323+64 ~x1379322+32 ~x1379321+16 ~x1379320+8 ~x1379319+4 ~x1379318+2 ~x1379317+1 ~x1379316+64 ~x2663+32 ~x2662+16 ~x2661+8 ~x2660+4 ~x2659+2 ~x2658+1 ~x2657+64 ~x2366+32 ~x2365+16 ~x2364+8 ~x2363+4 ~x2362+2 ~x2361+1 ~x2360+128 ~x2081+64 ~x2080+32 ~x2079+16 ~x2078+8 ~x2077+4 ~x2076+2 ~x2075+1 ~x2074+128 ~x1220+128 ~x1163+128 ~x1106+128 ~x1049+128 ~x1003+128 ~x957+1024 ~x902+512 ~x901+256 ~x900+128 ~x899+64 ~x898+32 ~x897+16 ~x896+8 ~x895+4 ~x894+2 ~x893+1 ~x892+128 ~x889+32 ~x788+16 ~x787+8 ~x786+4 ~x785+2 ~x784+1 ~x783+1024 ~x496+512 ~x495+256 ~x494+128 ~x493+64 ~x492+32 ~x491+16 ~x490+8 ~x489+4 ~x488+2 ~x487+1 ~x486+1024 ~x210+512 ~x209+256 ~x208+128 ~x207+64 ~x206+32 ~x205+16 ~x204+8 ~x203+4 ~x202+2 ~x201+1 ~x200-0=14776
33.68/33.72	c 8192 ~x1388235+4096 ~x1388234+2048 ~x1388233+1024 ~x1388232+512 ~x1388231+256 ~x1388230+128 ~x1388229+64 ~x1388228+32 ~x1388227+16 ~x1388226+8 ~x1388225+4 ~x1388224+2 ~x1388223+1 ~x1388222+256 ~x2676+128 ~x2675+64 ~x2674+32 ~x2673+16 ~x2672+8 ~x2671+4 ~x2670+2 ~x2669+1 ~x2668+256 ~x2379+128 ~x2378+64 ~x2377+32 ~x2376+16 ~x2375+8 ~x2374+4 ~x2373+2 ~x2372+1 ~x2371+1024 ~x2095+512 ~x2094+256 ~x2093+128 ~x2092+64 ~x2091+32 ~x2090+16 ~x2089+8 ~x2088+4 ~x2087+2 ~x2086+1 ~x2085+128 ~x1221+128 ~x1164+128 ~x1107+128 ~x1061+128 ~x958+1024 ~x934+512 ~x933+256 ~x932+128 ~x931+64 ~x930+32 ~x929+16 ~x928+8 ~x927+4 ~x926+2 ~x925+1 ~x924+128 ~x890+512 ~x803+256 ~x802+128 ~x801+64 ~x800+32 ~x799+16 ~x798+8 ~x797+4 ~x796+2 ~x795+1 ~x794+512 ~x517+256 ~x516+128 ~x515+64 ~x514+32 ~x513+16 ~x512+8 ~x511+4 ~x510+2 ~x509+1 ~x508+1024 ~x221+512 ~x220+256 ~x219+128 ~x218+64 ~x217+32 ~x216+16 ~x215+8 ~x214+4 ~x213+2 ~x212+1 ~x211-0=25336
33.99/34.00	c 8192 ~x1400327+4096 ~x1400326+2048 ~x1400325+1024 ~x1400324+512 ~x1400323+256 ~x1400322+128 ~x1400321+64 ~x1400320+32 ~x1400319+16 ~x1400318+8 ~x1400317+4 ~x1400316+2 ~x1400315+1 ~x1400314+256 ~x2687+128 ~x2686+64 ~x2685+32 ~x2684+16 ~x2683+8 ~x2682+4 ~x2681+2 ~x2680+1 ~x2679+256 ~x2390+128 ~x2389+64 ~x2388+32 ~x2387+16 ~x2386+8 ~x2385+4 ~x2384+2 ~x2383+1 ~x2382+1024 ~x2106+512 ~x2105+256 ~x2104+128 ~x2103+64 ~x2102+32 ~x2101+16 ~x2100+8 ~x2099+4 ~x2098+2 ~x2097+1 ~x2096+128 ~x1222+128 ~x1165+128 ~x1108+128 ~x1062+128 ~x959+1024 ~x955+512 ~x954+256 ~x953+128 ~x952+64 ~x951+32 ~x950+16 ~x949+8 ~x948+4 ~x947+2 ~x946+1 ~x945+128 ~x891+1024 ~x815+512 ~x814+256 ~x813+128 ~x812+64 ~x811+32 ~x810+16 ~x809+8 ~x808+4 ~x807+2 ~x806+1 ~x805+128 ~x526+64 ~x525+32 ~x524+16 ~x523+8 ~x522+4 ~x521+2 ~x520+1 ~x519+1024 ~x232+512 ~x231+256 ~x230+128 ~x229+64 ~x228+32 ~x227+16 ~x226+8 ~x225+4 ~x224+2 ~x223+1 ~x222-0=25592
34.18/34.28	c 4096 ~x1412277+2048 ~x1412276+1024 ~x1412275+512 ~x1412274+256 ~x1412273+128 ~x1412272+64 ~x1412271+32 ~x1412270+16 ~x1412269+8 ~x1412268+4 ~x1412267+2 ~x1412266+1 ~x1412265+256 ~x2698+128 ~x2697+64 ~x2696+32 ~x2695+16 ~x2694+8 ~x2693+4 ~x2692+2 ~x2691+1 ~x2690+1024 ~x2414+512 ~x2413+256 ~x2412+128 ~x2411+64 ~x2410+32 ~x2409+16 ~x2408+8 ~x2407+4 ~x2406+2 ~x2405+1 ~x2404+1024 ~x2117+512 ~x2116+256 ~x2115+128 ~x2114+64 ~x2113+32 ~x2112+16 ~x2111+8 ~x2110+4 ~x2109+2 ~x2108+1 ~x2107+128 ~x1223+128 ~x1177+128 ~x1109+128 ~x1063+128 ~x1006+512 ~x975+256 ~x974+128 ~x973+64 ~x972+32 ~x971+16 ~x970+8 ~x969+4 ~x968+2 ~x967+1 ~x966+128 ~x960+128 ~x903+128 ~x823+64 ~x822+32 ~x821+16 ~x820+8 ~x819+4 ~x818+2 ~x817+1 ~x816+128 ~x537+64 ~x536+32 ~x535+16 ~x534+8 ~x533+4 ~x532+2 ~x531+1 ~x530+1024 ~x243+512 ~x242+256 ~x241+128 ~x240+64 ~x239+32 ~x238+16 ~x237+8 ~x236+4 ~x235+2 ~x234+1 ~x233-0=16248
34.48/34.50	c 8192 ~x1422003+4096 ~x1422002+2048 ~x1422001+1024 ~x1422000+512 ~x1421999+256 ~x1421998+128 ~x1421997+64 ~x1421996+32 ~x1421995+16 ~x1421994+8 ~x1421993+4 ~x1421992+2 ~x1421991+1 ~x1421990+1024 ~x2711+512 ~x2710+256 ~x2709+128 ~x2708+64 ~x2707+32 ~x2706+16 ~x2705+8 ~x2704+4 ~x2703+2 ~x2702+1 ~x2701+1024 ~x2425+512 ~x2424+256 ~x2423+128 ~x2422+64 ~x2421+32 ~x2420+16 ~x2419+8 ~x2418+4 ~x2417+2 ~x2416+1 ~x2415+1024 ~x2128+512 ~x2127+256 ~x2126+128 ~x2125+64 ~x2124+32 ~x2123+16 ~x2122+8 ~x2121+4 ~x2120+2 ~x2119+1 ~x2118+128 ~x1224+128 ~x1178+128 ~x1110+128 ~x1064+128 ~x1007+512 ~x996+256 ~x995+128 ~x994+64 ~x993+32 ~x992+16 ~x991+8 ~x990+4 ~x989+2 ~x988+1 ~x987+128 ~x961+128 ~x904+128 ~x834+64 ~x833+32 ~x832+16 ~x831+8 ~x830+4 ~x829+2 ~x828+1 ~x827+128 ~x548+64 ~x547+32 ~x546+16 ~x545+8 ~x544+4 ~x543+2 ~x542+1 ~x541+1024 ~x254+512 ~x253+256 ~x252+128 ~x251+64 ~x250+32 ~x249+16 ~x248+8 ~x247+4 ~x246+2 ~x245+1 ~x244-0=25976
34.68/34.78	c 4096 ~x1434094+2048 ~x1434093+1024 ~x1434092+512 ~x1434091+256 ~x1434090+128 ~x1434089+64 ~x1434088+32 ~x1434087+16 ~x1434086+8 ~x1434085+4 ~x1434084+2 ~x1434083+1 ~x1434082+1024 ~x2722+512 ~x2721+256 ~x2720+128 ~x2719+64 ~x2718+32 ~x2717+16 ~x2716+8 ~x2715+4 ~x2714+2 ~x2713+1 ~x2712+256 ~x2434+128 ~x2433+64 ~x2432+32 ~x2431+16 ~x2430+8 ~x2429+4 ~x2428+2 ~x2427+1 ~x2426+512 ~x2138+256 ~x2137+128 ~x2136+64 ~x2135+32 ~x2134+16 ~x2133+8 ~x2132+4 ~x2131+2 ~x2130+1 ~x2129+128 ~x1225+128 ~x1179+128 ~x1111+128 ~x1065+128 ~x1019+1024 ~x1018+512 ~x1017+256 ~x1016+128 ~x1015+64 ~x1014+32 ~x1013+16 ~x1012+8 ~x1011+4 ~x1010+2 ~x1009+1 ~x1008+128 ~x962+128 ~x905+128 ~x845+64 ~x844+32 ~x843+16 ~x842+8 ~x841+4 ~x840+2 ~x839+1 ~x838+128 ~x559+64 ~x558+32 ~x557+16 ~x556+8 ~x555+4 ~x554+2 ~x553+1 ~x552+1024 ~x276+512 ~x275+256 ~x274+128 ~x273+64 ~x272+32 ~x271+16 ~x270+8 ~x269+4 ~x268+2 ~x267+1 ~x266-0=16248
34.98/35.01	c 1024 ~x1443817+512 ~x1443816+256 ~x1443815+128 ~x1443814+64 ~x1443813+32 ~x1443812+16 ~x1443811+8 ~x1443810+4 ~x1443809+2 ~x1443808+1 ~x1443807+1024 x849+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=4094
34.98/35.06	c 1024 ~x1445842+512 ~x1445841+256 ~x1445840+128 ~x1445839+64 ~x1445838+32 ~x1445837+16 ~x1445836+8 ~x1445835+4 ~x1445834+2 ~x1445833+1 ~x1445832+1024 ~x923+512 ~x922+256 ~x921+128 ~x920+64 ~x919+32 ~x918+16 ~x917+8 ~x916+4 ~x915+2 ~x914+1 ~x913+1024 x861-0=4094
35.09/35.11	c 1024 ~x1447825+512 ~x1447824+256 ~x1447823+128 ~x1447822+64 ~x1447821+32 ~x1447820+16 ~x1447819+8 ~x1447818+4 ~x1447817+2 ~x1447816+1 ~x1447815+1024 ~x1144+512 ~x1143+256 ~x1142+128 ~x1141+64 ~x1140+32 ~x1139+16 ~x1138+8 ~x1137+4 ~x1136+2 ~x1135+1 ~x1134+1024 x862-0=4094
35.38/35.47	c 1024 ~x1463677+512 ~x1463676+256 ~x1463675+128 ~x1463674+64 ~x1463673+32 ~x1463672+16 ~x1463671+8 ~x1463670+4 ~x1463669+2 ~x1463668+1 ~x1463667+1024 ~x2040+512 ~x2039+256 ~x2038+128 ~x2037+64 ~x2036+32 ~x2035+16 ~x2034+8 ~x2033+4 ~x2032+2 ~x2031+1 ~x2030+1024 x863-0=4094
35.48/35.52	c 1024 ~x1465660+512 ~x1465659+256 ~x1465658+128 ~x1465657+64 ~x1465656+32 ~x1465655+16 ~x1465654+8 ~x1465653+4 ~x1465652+2 ~x1465651+1 ~x1465650+1024 ~x2161+512 ~x2160+256 ~x2159+128 ~x2158+64 ~x2157+32 ~x2156+16 ~x2155+8 ~x2154+4 ~x2153+2 ~x2152+1 ~x2151+1024 x864-0=4094
35.48/35.57	c 1024 ~x1467643+512 ~x1467642+256 ~x1467641+128 ~x1467640+64 ~x1467639+32 ~x1467638+16 ~x1467637+8 ~x1467636+4 ~x1467635+2 ~x1467634+1 ~x1467633+1024 ~x2282+512 ~x2281+256 ~x2280+128 ~x2279+64 ~x2278+32 ~x2277+16 ~x2276+8 ~x2275+4 ~x2274+2 ~x2273+1 ~x2272+1024 x865-0=4094
35.58/35.62	c 1024 ~x1469626+512 ~x1469625+256 ~x1469624+128 ~x1469623+64 ~x1469622+32 ~x1469621+16 ~x1469620+8 ~x1469619+4 ~x1469618+2 ~x1469617+1 ~x1469616+1024 ~x2403+512 ~x2402+256 ~x2401+128 ~x2400+64 ~x2399+32 ~x2398+16 ~x2397+8 ~x2396+4 ~x2395+2 ~x2394+1 ~x2393+1024 x866-0=4094
35.58/35.67	c 1024 ~x1471609+512 ~x1471608+256 ~x1471607+128 ~x1471606+64 ~x1471605+32 ~x1471604+16 ~x1471603+8 ~x1471602+4 ~x1471601+2 ~x1471600+1 ~x1471599+1024 ~x2524+512 ~x2523+256 ~x2522+128 ~x2521+64 ~x2520+32 ~x2519+16 ~x2518+8 ~x2517+4 ~x2516+2 ~x2515+1 ~x2514+1024 x867-0=4094
35.68/35.71	c 1024 ~x1473592+512 ~x1473591+256 ~x1473590+128 ~x1473589+64 ~x1473588+32 ~x1473587+16 ~x1473586+8 ~x1473585+4 ~x1473584+2 ~x1473583+1 ~x1473582+1024 ~x2645+512 ~x2644+256 ~x2643+128 ~x2642+64 ~x2641+32 ~x2640+16 ~x2639+8 ~x2638+4 ~x2637+2 ~x2636+1 ~x2635+1024 x868-0=4094
35.68/35.76	c 512 ~x1475574+256 ~x1475573+128 ~x1475572+64 ~x1475571+32 ~x1475570+16 ~x1475569+8 ~x1475568+4 ~x1475567+2 ~x1475566+1 ~x1475565+1024 x869+512 ~x22+256 ~x21+128 ~x20+64 ~x19+32 ~x18+16 ~x17+8 ~x16+4 ~x15+2 ~x14+1 ~x13-0=2046
35.78/35.81	c 512 ~x1477209+256 ~x1477208+128 ~x1477207+64 ~x1477206+32 ~x1477205+16 ~x1477204+8 ~x1477203+4 ~x1477202+2 ~x1477201+1 ~x1477200+1024 x870+512 ~x143+256 ~x142+128 ~x141+64 ~x140+32 ~x139+16 ~x138+8 ~x137+4 ~x136+2 ~x135+1 ~x134-0=2046
35.78/35.85	c 1024 ~x1478845+512 ~x1478844+256 ~x1478843+128 ~x1478842+64 ~x1478841+32 ~x1478840+16 ~x1478839+8 ~x1478838+4 ~x1478837+2 ~x1478836+1 ~x1478835+1024 x882+1024 ~x265+512 ~x264+256 ~x263+128 ~x262+64 ~x261+32 ~x260+16 ~x259+8 ~x258+4 ~x257+2 ~x256+1 ~x255-0=4094
35.88/35.90	c 1024 ~x1480870+512 ~x1480869+256 ~x1480868+128 ~x1480867+64 ~x1480866+32 ~x1480865+16 ~x1480864+8 ~x1480863+4 ~x1480862+2 ~x1480861+1 ~x1480860+1024 x883+1024 ~x386+512 ~x385+256 ~x384+128 ~x383+64 ~x382+32 ~x381+16 ~x380+8 ~x379+4 ~x378+2 ~x377+1 ~x376-0=4094
36.18/36.26	c 1024 ~x1496764+512 ~x1496763+256 ~x1496762+128 ~x1496761+64 ~x1496760+32 ~x1496759+16 ~x1496758+8 ~x1496757+4 ~x1496756+2 ~x1496755+1 ~x1496754+1024 x884+1024 ~x507+512 ~x506+256 ~x505+128 ~x504+64 ~x503+32 ~x502+16 ~x501+8 ~x500+4 ~x499+2 ~x498+1 ~x497-0=4094
36.28/36.31	c 1024 ~x1498789+512 ~x1498788+256 ~x1498787+128 ~x1498786+64 ~x1498785+32 ~x1498784+16 ~x1498783+8 ~x1498782+4 ~x1498781+2 ~x1498780+1 ~x1498779+1024 x885+1024 ~x628+512 ~x627+256 ~x626+128 ~x625+64 ~x624+32 ~x623+16 ~x622+8 ~x621+4 ~x620+2 ~x619+1 ~x618-0=4094
36.28/36.36	c 512 ~x1500813+256 ~x1500812+128 ~x1500811+64 ~x1500810+32 ~x1500809+16 ~x1500808+8 ~x1500807+4 ~x1500806+2 ~x1500805+1 ~x1500804+1024 x886+512 ~x748+256 ~x747+128 ~x746+64 ~x745+32 ~x744+16 ~x743+8 ~x742+4 ~x741+2 ~x740+1 ~x739-0=2046
36.38/36.40	c 512 ~x1502448+256 ~x1502447+128 ~x1502446+64 ~x1502445+32 ~x1502444+16 ~x1502443+8 ~x1502442+4 ~x1502441+2 ~x1502440+1 ~x1502439+1024 x887+512 ~x859+256 ~x858+128 ~x857+64 ~x856+32 ~x855+16 ~x854+8 ~x853+4 ~x852+2 ~x851+1 ~x850-0=2046
36.38/36.45	c 1024 ~x1504084+512 ~x1504083+256 ~x1504082+128 ~x1504081+64 ~x1504080+32 ~x1504079+16 ~x1504078+8 ~x1504077+4 ~x1504076+2 ~x1504075+1 ~x1504074+1024 x888+1024 ~x881+512 ~x880+256 ~x879+128 ~x878+64 ~x877+32 ~x876+16 ~x875+8 ~x874+4 ~x873+2 ~x872+1 ~x871-0=4094
36.38/36.50	c 1024 ~x1506109+512 ~x1506108+256 ~x1506107+128 ~x1506106+64 ~x1506105+32 ~x1506104+16 ~x1506103+8 ~x1506102+4 ~x1506101+2 ~x1506100+1 ~x1506099+1024 ~x902+512 ~x901+256 ~x900+128 ~x899+64 ~x898+32 ~x897+16 ~x896+8 ~x895+4 ~x894+2 ~x893+1 ~x892+1024 x889-0=4094
36.48/36.55	c 1024 ~x1508092+512 ~x1508091+256 ~x1508090+128 ~x1508089+64 ~x1508088+32 ~x1508087+16 ~x1508086+8 ~x1508085+4 ~x1508084+2 ~x1508083+1 ~x1508082+1024 ~x934+512 ~x933+256 ~x932+128 ~x931+64 ~x930+32 ~x929+16 ~x928+8 ~x927+4 ~x926+2 ~x925+1 ~x924+1024 x890-0=4094
36.48/36.59	c 1024 ~x1510075+512 ~x1510074+256 ~x1510073+128 ~x1510072+64 ~x1510071+32 ~x1510070+16 ~x1510069+8 ~x1510068+4 ~x1510067+2 ~x1510066+1 ~x1510065+1024 ~x955+512 ~x954+256 ~x953+128 ~x952+64 ~x951+32 ~x950+16 ~x949+8 ~x948+4 ~x947+2 ~x946+1 ~x945+1024 x891-0=4094
36.58/36.64	c 512 ~x1512057+256 ~x1512056+128 ~x1512055+64 ~x1512054+32 ~x1512053+16 ~x1512052+8 ~x1512051+4 ~x1512050+2 ~x1512049+1 ~x1512048+512 ~x975+256 ~x974+128 ~x973+64 ~x972+32 ~x971+16 ~x970+8 ~x969+4 ~x968+2 ~x967+1 ~x966+1024 x903-0=2046
36.58/36.69	c 512 ~x1513650+256 ~x1513649+128 ~x1513648+64 ~x1513647+32 ~x1513646+16 ~x1513645+8 ~x1513644+4 ~x1513643+2 ~x1513642+1 ~x1513641+512 ~x996+256 ~x995+128 ~x994+64 ~x993+32 ~x992+16 ~x991+8 ~x990+4 ~x989+2 ~x988+1 ~x987+1024 x904-0=2046
36.98/37.04	c 1024 ~x1529113+512 ~x1529112+256 ~x1529111+128 ~x1529110+64 ~x1529109+32 ~x1529108+16 ~x1529107+8 ~x1529106+4 ~x1529105+2 ~x1529104+1 ~x1529103+1024 ~x1018+512 ~x1017+256 ~x1016+128 ~x1015+64 ~x1014+32 ~x1013+16 ~x1012+8 ~x1011+4 ~x1010+2 ~x1009+1 ~x1008+1024 x905-0=4094
37.08/37.11	c 128 ~x1531093+64 ~x1531092+32 ~x1531091+16 ~x1531090+8 ~x1531089+4 ~x1531088+2 ~x1531087+1 ~x1531086+128 ~x1036+64 ~x1035+32 ~x1034+16 ~x1033+8 ~x1032+4 ~x1031+2 ~x1030+1 ~x1029+1024 x906-0=510
37.08/37.11	c 1024 ~x1532000+512 ~x1531999+256 ~x1531998+128 ~x1531997+64 ~x1531996+32 ~x1531995+16 ~x1531994+8 ~x1531993+4 ~x1531992+2 ~x1531991+1 ~x1531990+1024 ~x1060+512 ~x1059+256 ~x1058+128 ~x1057+64 ~x1056+32 ~x1055+16 ~x1054+8 ~x1053+4 ~x1052+2 ~x1051+1 ~x1050+1024 x907-0=4094
37.08/37.16	c 1024 ~x1533983+512 ~x1533982+256 ~x1533981+128 ~x1533980+64 ~x1533979+32 ~x1533978+16 ~x1533977+8 ~x1533976+4 ~x1533975+2 ~x1533974+1 ~x1533973+1024 ~x1081+512 ~x1080+256 ~x1079+128 ~x1078+64 ~x1077+32 ~x1076+16 ~x1075+8 ~x1074+4 ~x1073+2 ~x1072+1 ~x1071+1024 x908-0=4094
37.18/37.21	c 1024 ~x1535966+512 ~x1535965+256 ~x1535964+128 ~x1535963+64 ~x1535962+32 ~x1535961+16 ~x1535960+8 ~x1535959+4 ~x1535958+2 ~x1535957+1 ~x1535956+1024 ~x1102+512 ~x1101+256 ~x1100+128 ~x1099+64 ~x1098+32 ~x1097+16 ~x1096+8 ~x1095+4 ~x1094+2 ~x1093+1 ~x1092+1024 x909-0=4094
37.18/37.26	c 1024 ~x1537949+512 ~x1537948+256 ~x1537947+128 ~x1537946+64 ~x1537945+32 ~x1537944+16 ~x1537943+8 ~x1537942+4 ~x1537941+2 ~x1537940+1 ~x1537939+1024 ~x1123+512 ~x1122+256 ~x1121+128 ~x1120+64 ~x1119+32 ~x1118+16 ~x1117+8 ~x1116+4 ~x1115+2 ~x1114+1 ~x1113+1024 x910-0=4094
37.29/37.31	c 512 ~x1539931+256 ~x1539930+128 ~x1539929+64 ~x1539928+32 ~x1539927+16 ~x1539926+8 ~x1539925+4 ~x1539924+2 ~x1539923+1 ~x1539922+512 ~x1154+256 ~x1153+128 ~x1152+64 ~x1151+32 ~x1150+16 ~x1149+8 ~x1148+4 ~x1147+2 ~x1146+1 ~x1145+1024 x911-0=2046
37.29/37.35	c 256 ~x1541523+128 ~x1541522+64 ~x1541521+32 ~x1541520+16 ~x1541519+8 ~x1541518+4 ~x1541517+2 ~x1541516+1 ~x1541515+256 ~x1174+128 ~x1173+64 ~x1172+32 ~x1171+16 ~x1170+8 ~x1169+4 ~x1168+2 ~x1167+1 ~x1166+1024 x912-0=1022
37.29/37.38	c 1024 ~x1542586+512 ~x1542585+256 ~x1542584+128 ~x1542583+64 ~x1542582+32 ~x1542581+16 ~x1542580+8 ~x1542579+4 ~x1542578+2 ~x1542577+1 ~x1542576+1024 ~x1197+512 ~x1196+256 ~x1195+128 ~x1194+64 ~x1193+32 ~x1192+16 ~x1191+8 ~x1190+4 ~x1189+2 ~x1188+1 ~x1187+1024 x935-0=4094
37.39/37.43	c 1024 ~x1544569+512 ~x1544568+256 ~x1544567+128 ~x1544566+64 ~x1544565+32 ~x1544564+16 ~x1544563+8 ~x1544562+4 ~x1544561+2 ~x1544560+1 ~x1544559+1024 ~x1218+512 ~x1217+256 ~x1216+128 ~x1215+64 ~x1214+32 ~x121

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-2673707-1276792437/watcher-2673707-1276792437 -o /tmp/evaluation-result-2673707-1276792437/solver-2673707-1276792437 -C 1800 -W 2000 -M 1800 run HOME/instance-2673707-1276792437.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.86 0.97 0.99 3/106 23940
/proc/meminfo: memFree=1856532/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0

[startup+0.071078 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 23940
/proc/meminfo: memFree=1856532/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101078 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 23940
/proc/meminfo: memFree=1856532/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301098 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 23940
/proc/meminfo: memFree=1856532/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701137 s]
/proc/loadavg: 0.86 0.97 0.99 3/106 23940
/proc/meminfo: memFree=1856532/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50121 s]
/proc/loadavg: 0.86 0.97 0.99 2/108 23943
/proc/meminfo: memFree=1740204/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=126996 CPUtime=1.49
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 32149 0 0 0 109 40 0 0 25 0 1 0 20534642 130043904 31065 1992294400 134512640 134902295 4293221664 18446744073709551615 134565222 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 31749 31065 262 96 0 30961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135696

[startup+3.10137 s]
/proc/loadavg: 0.86 0.97 0.99 2/108 23943
/proc/meminfo: memFree=1723712/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=151648 CPUtime=3.09
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 39407 0 0 0 266 43 0 0 25 0 1 0 20534642 155287552 37076 1992294400 134512640 134902295 4293221664 18446744073709551615 4159741223 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 37912 37076 262 96 0 37124 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 160348

[startup+6.30068 s]
/proc/loadavg: 0.87 0.97 0.99 2/108 23943
/proc/meminfo: memFree=1673120/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=204504 CPUtime=6.29
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 56675 0 0 0 579 50 0 0 25 0 1 0 20534642 209412096 49818 1992294400 134512640 134902295 4293221664 18446744073709551615 134635470 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 51126 49818 262 96 0 50338 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 213204

[startup+12.7013 s]
/proc/loadavg: 0.88 0.97 0.99 2/108 23943
/proc/meminfo: memFree=1557676/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=318856 CPUtime=12.68
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 86181 0 0 0 1205 63 0 0 25 0 1 0 20534642 326508544 77364 1992294400 134512640 134902295 4293221664 18446744073709551615 4159739318 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 79714 77364 262 96 0 78926 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 327556

[startup+25.5005 s]
/proc/loadavg: 0.91 0.97 0.99 2/108 23943
/proc/meminfo: memFree=1327656/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=544004 CPUtime=25.48
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 147010 0 0 0 2459 89 0 0 25 0 1 0 20534642 557060096 133339 1992294400 134512640 134902295 4293221664 18446744073709551615 4159705962 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 136001 133339 262 96 0 135213 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 552704

[startup+51.101 s]
/proc/loadavg: 0.94 0.97 0.99 2/108 23943
/proc/meminfo: memFree=1113136/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=753708 CPUtime=51.07
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 199910 0 0 0 4995 112 0 0 25 0 1 0 20534642 771796992 185655 1992294400 134512640 134902295 4293221664 18446744073709551615 4159717864 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 188427 185655 269 96 0 187639 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 762408

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/108 23945
/proc/meminfo: memFree=1105448/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=761104 CPUtime=102.27
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 201740 0 0 0 10112 115 0 0 25 0 1 0 20534642 779370496 187485 1992294400 134512640 134902295 4293221664 18446744073709551615 4159737084 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 190276 187485 269 96 0 189488 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 769804

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 23947
/proc/meminfo: memFree=1099248/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=767296 CPUtime=162.24
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 203314 0 0 0 16107 117 0 0 25 0 1 0 20534642 785711104 189059 1992294400 134512640 134902295 4293221664 18446744073709551615 4159705834 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 191824 189059 269 96 0 191036 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 775996

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 23949
/proc/meminfo: memFree=1091312/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=775180 CPUtime=222.23
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 205226 0 0 0 22104 119 0 0 25 0 1 0 20534642 793784320 190971 1992294400 134512640 134902295 4293221664 18446744073709551615 4159724377 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 193795 190971 269 96 0 193007 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 783880

[startup+282.302 s]
/proc/loadavg: 1.06 0.99 0.99 2/108 23949
/proc/meminfo: memFree=1084244/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=782372 CPUtime=282.22
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 207023 0 0 0 28101 121 0 0 25 0 1 0 20534642 801148928 192768 1992294400 134512640 134902295 4293221664 18446744073709551615 4159705822 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 195593 192768 269 96 0 194805 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 791072

[startup+342.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 23951
/proc/meminfo: memFree=1076928/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=789780 CPUtime=342.2
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 208833 0 0 0 34098 122 0 0 25 0 1 0 20534642 808734720 194578 1992294400 134512640 134902295 4293221664 18446744073709551615 4159735934 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 197445 194578 269 96 0 196657 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 798480

[startup+402.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/108 23953
/proc/meminfo: memFree=1070356/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=796252 CPUtime=402.19
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 210477 0 0 0 40095 124 0 0 25 0 1 0 20534642 815362048 196222 1992294400 134512640 134902295 4293221664 18446744073709551615 4159724804 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 199063 196222 269 96 0 198275 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 804952

[startup+462.301 s]

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

/proc/23942/statm: 212912 209936 269 96 0 212124 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 860348

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23975
/proc/meminfo: memFree=1007364/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=859964 CPUtime=1241.97
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 226074 0 0 0 124057 140 0 0 25 0 1 0 20534642 880603136 211819 1992294400 134512640 134902295 4293221664 18446744073709551615 4159724688 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 214991 211819 269 96 0 214203 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 868664

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23977
/proc/meminfo: memFree=999924/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=867128 CPUtime=1301.96
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 227900 0 0 0 130054 142 0 0 25 0 1 0 20534642 887939072 213645 1992294400 134512640 134902295 4293221664 18446744073709551615 4159705736 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 216782 213645 269 96 0 215994 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 875828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23979
/proc/meminfo: memFree=994220/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=872688 CPUtime=1361.94
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 229314 0 0 0 136050 144 0 0 25 0 1 0 20534642 893632512 215059 1992294400 134512640 134902295 4293221664 18446744073709551615 4159724804 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 218172 215059 269 96 0 217384 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 881388

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23981
/proc/meminfo: memFree=989756/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=877116 CPUtime=1421.94
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 230426 0 0 0 142049 145 0 0 25 0 1 0 20534642 898166784 216171 1992294400 134512640 134902295 4293221664 18446744073709551615 4159736132 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 219279 216171 269 96 0 218491 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 885816

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23981
/proc/meminfo: memFree=985664/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=881308 CPUtime=1481.92
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 231454 0 0 0 148045 147 0 0 25 0 1 0 20534642 902459392 217199 1992294400 134512640 134902295 4293221664 18446744073709551615 4159705830 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 220327 217199 269 96 0 219539 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 890008

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23983
/proc/meminfo: memFree=982564/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=884356 CPUtime=1541.9
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 232220 0 0 0 154042 148 0 0 25 0 1 0 20534642 905580544 217965 1992294400 134512640 134902295 4293221664 18446744073709551615 4159717905 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 221089 217965 269 96 0 220301 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 893056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23985
/proc/meminfo: memFree=977976/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=888888 CPUtime=1601.89
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 233348 0 0 0 160040 149 0 0 25 0 1 0 20534642 910221312 219093 1992294400 134512640 134902295 4293221664 18446744073709551615 4159735934 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 222222 219093 269 96 0 221434 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 897588

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23996
/proc/meminfo: memFree=970412/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=895812 CPUtime=1661.85
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 235087 0 0 0 166035 150 0 0 25 0 1 0 20534642 917311488 220832 1992294400 134512640 134902295 4293221664 18446744073709551615 4159736147 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 223953 220832 269 96 0 223165 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 904512

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23998
/proc/meminfo: memFree=965948/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=900128 CPUtime=1721.83
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 236174 0 0 0 172032 151 0 0 25 0 1 0 20534642 921731072 221919 1992294400 134512640 134902295 4293221664 18446744073709551615 4159737084 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 225032 221919 269 96 0 224244 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 908828

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23998
/proc/meminfo: memFree=963096/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=902980 CPUtime=1781.82
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 236902 0 0 0 178029 153 0 0 25 0 1 0 20534642 924651520 222647 1992294400 134512640 134902295 4293221664 18446744073709551615 4159735934 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 225745 222647 269 96 0 224957 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 911680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24000
/proc/meminfo: memFree=962600/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=903376 CPUtime=1800.02
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 237012 0 0 0 179849 153 0 0 25 0 1 0 20534642 925057024 222757 1992294400 134512640 134902295 4293221664 18446744073709551615 4159724894 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 225844 222757 269 96 0 225056 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 912076

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 24000
/proc/meminfo: memFree=962600/2059040 swapFree=4140368/4192956
[pid=23940] ppid=23938 vsize=8700 CPUtime=0
/proc/23940/stat : 23940 (run) S 23938 23940 23436 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 20534642 8908800 251 1992294400 4194304 4922060 140734757844688 18446744073709551615 222256798853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23940/statm: 2175 251 211 178 0 68 0
[pid=23942] ppid=23940 vsize=903376 CPUtime=1800.02
/proc/23942/stat : 23942 (PBPASSolver) R 23940 23940 23436 0 -1 4202496 237012 0 0 0 179849 153 0 0 25 0 1 0 20534642 925057024 222757 1992294400 134512640 134902295 4293221664 18446744073709551615 4159724894 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23942/statm: 225844 222757 269 96 0 225056 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 912076

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23940 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.49
CPU system time (s): 1.53
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 912076

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

runsolver used 2.88256 second user time and 8.60069 second system time

The end

Begin job on node056 at 2010-06-17 18:33:57
IDJOB=2673707
IDBENCH=1524
IDSOLVER=1174
FILE ID=node056/2673707-1276792437
PBS_JOBID= 11176596
Free space on /tmp= 98612 MiB

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

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

MD5SUM BENCH= f81823d3f3bf1b9e5d936e06c7f51a9c
RANDOM SEED=1696449598

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1856928 kB
Buffers:         24924 kB
Cached:          88036 kB
SwapCached:       5948 kB
Active:           7008 kB
Inactive:       118724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1856928 kB
SwapTotal:     4192956 kB
SwapFree:      4140368 kB
Dirty:            1016 kB
Writeback:           0 kB
AnonPages:       11272 kB
Mapped:          12908 kB
Slab:            54260 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179692 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= 98612 MiB
End job on node056 at 2010-06-17 19:03:59