Trace number 2673877

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (MO) 89.86 89.9145

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-noswot.opb
MD5SUMbea15b769c4cc5d5ccef31ae4b368d84
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-41
Best CPU time to get the best result obtained on this benchmark279.231
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
Optimality of the best value was proved YES
Number of variables1340
Total number of constraints207
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints207
Minimum length of a constraint17
Maximum length of a constraint425
Number of terms in the objective function 425
Biggest coefficient in the objective function 65536
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 3276775
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 41943040000000
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 204183950227182
Number of bits of the biggest sum of numbers48
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.83	c 1340 207 0 0 0 0 0 0
0.00/0.83	c 16384 ~x1356+8192 ~x1355+4096 ~x1354+2048 ~x1353+1024 ~x1352+512 ~x1351+256 ~x1350+128 ~x1349+64 ~x1348+32 ~x1347+16 ~x1346+8 ~x1345+4 ~x1344+2 ~x1343+1 ~x1342+16384 ~x920+8192 ~x919+4096 ~x918+2048 ~x917+1024 ~x916+512 ~x915+256 ~x914+128 ~x913+64 ~x912+32 ~x911+16 ~x910+8 ~x909+4 ~x908+2 ~x907+1 ~x906-0=63838
0.00/0.93	c 16384 ~x5233+8192 ~x5232+4096 ~x5231+2048 ~x5230+1024 ~x5229+512 ~x5228+256 ~x5227+128 ~x5226+64 ~x5225+32 ~x5224+16 ~x5223+8 ~x5222+4 ~x5221+2 ~x5220+1 ~x5219+16384 ~x938+8192 ~x937+4096 ~x936+2048 ~x935+1024 ~x934+512 ~x933+256 ~x932+128 ~x931+64 ~x930+32 ~x929+16 ~x928+8 ~x927+4 ~x926+2 ~x925+1 ~x924-0=63838
1.00/1.02	c 16384 ~x9110+8192 ~x9109+4096 ~x9108+2048 ~x9107+1024 ~x9106+512 ~x9105+256 ~x9104+128 ~x9103+64 ~x9102+32 ~x9101+16 ~x9100+8 ~x9099+4 ~x9098+2 ~x9097+1 ~x9096+16384 ~x956+8192 ~x955+4096 ~x954+2048 ~x953+1024 ~x952+512 ~x951+256 ~x950+128 ~x949+64 ~x948+32 ~x947+16 ~x946+8 ~x945+4 ~x944+2 ~x943+1 ~x942-0=63838
1.09/1.12	c 16384 ~x12987+8192 ~x12986+4096 ~x12985+2048 ~x12984+1024 ~x12983+512 ~x12982+256 ~x12981+128 ~x12980+64 ~x12979+32 ~x12978+16 ~x12977+8 ~x12976+4 ~x12975+2 ~x12974+1 ~x12973+16384 ~x974+8192 ~x973+4096 ~x972+2048 ~x971+1024 ~x970+512 ~x969+256 ~x968+128 ~x967+64 ~x966+32 ~x965+16 ~x964+8 ~x963+4 ~x962+2 ~x961+1 ~x960-0=63838
1.18/1.22	c 16384 ~x16864+8192 ~x16863+4096 ~x16862+2048 ~x16861+1024 ~x16860+512 ~x16859+256 ~x16858+128 ~x16857+64 ~x16856+32 ~x16855+16 ~x16854+8 ~x16853+4 ~x16852+2 ~x16851+1 ~x16850+16384 ~x993+8192 ~x992+4096 ~x991+2048 ~x990+1024 ~x989+512 ~x988+256 ~x987+128 ~x986+64 ~x985+32 ~x984+16 ~x983+8 ~x982+4 ~x981+2 ~x980+1 ~x979-0=63838
1.28/1.31	c 16384 ~x20741+8192 ~x20740+4096 ~x20739+2048 ~x20738+1024 ~x20737+512 ~x20736+256 ~x20735+128 ~x20734+64 ~x20733+32 ~x20732+16 ~x20731+8 ~x20730+4 ~x20729+2 ~x20728+1 ~x20727+16384 ~x1011+8192 ~x1010+4096 ~x1009+2048 ~x1008+1024 ~x1007+512 ~x1006+256 ~x1005+128 ~x1004+64 ~x1003+32 ~x1002+16 ~x1001+8 ~x1000+4 ~x999+2 ~x998+1 ~x997-0=63838
1.38/1.41	c 16384 ~x24618+8192 ~x24617+4096 ~x24616+2048 ~x24615+1024 ~x24614+512 ~x24613+256 ~x24612+128 ~x24611+64 ~x24610+32 ~x24609+16 ~x24608+8 ~x24607+4 ~x24606+2 ~x24605+1 ~x24604+16384 ~x1029+8192 ~x1028+4096 ~x1027+2048 ~x1026+1024 ~x1025+512 ~x1024+256 ~x1023+128 ~x1022+64 ~x1021+32 ~x1020+16 ~x1019+8 ~x1018+4 ~x1017+2 ~x1016+1 ~x1015-0=63838
1.48/1.50	c 16384 ~x28495+8192 ~x28494+4096 ~x28493+2048 ~x28492+1024 ~x28491+512 ~x28490+256 ~x28489+128 ~x28488+64 ~x28487+32 ~x28486+16 ~x28485+8 ~x28484+4 ~x28483+2 ~x28482+1 ~x28481+16384 ~x1047+8192 ~x1046+4096 ~x1045+2048 ~x1044+1024 ~x1043+512 ~x1042+256 ~x1041+128 ~x1040+64 ~x1039+32 ~x1038+16 ~x1037+8 ~x1036+4 ~x1035+2 ~x1034+1 ~x1033-0=63838
1.59/1.60	c 16384 ~x32372+8192 ~x32371+4096 ~x32370+2048 ~x32369+1024 ~x32368+512 ~x32367+256 ~x32366+128 ~x32365+64 ~x32364+32 ~x32363+16 ~x32362+8 ~x32361+4 ~x32360+2 ~x32359+1 ~x32358+16384 ~x1065+8192 ~x1064+4096 ~x1063+2048 ~x1062+1024 ~x1061+512 ~x1060+256 ~x1059+128 ~x1058+64 ~x1057+32 ~x1056+16 ~x1055+8 ~x1054+4 ~x1053+2 ~x1052+1 ~x1051-0=63838
1.59/1.69	c 16384 ~x36249+8192 ~x36248+4096 ~x36247+2048 ~x36246+1024 ~x36245+512 ~x36244+256 ~x36243+128 ~x36242+64 ~x36241+32 ~x36240+16 ~x36239+8 ~x36238+4 ~x36237+2 ~x36236+1 ~x36235+16384 ~x1084+8192 ~x1083+4096 ~x1082+2048 ~x1081+1024 ~x1080+512 ~x1079+256 ~x1078+128 ~x1077+64 ~x1076+32 ~x1075+16 ~x1074+8 ~x1073+4 ~x1072+2 ~x1071+1 ~x1070-0=63838
1.69/1.79	c 16384 ~x40126+8192 ~x40125+4096 ~x40124+2048 ~x40123+1024 ~x40122+512 ~x40121+256 ~x40120+128 ~x40119+64 ~x40118+32 ~x40117+16 ~x40116+8 ~x40115+4 ~x40114+2 ~x40113+1 ~x40112+16384 ~x1102+8192 ~x1101+4096 ~x1100+2048 ~x1099+1024 ~x1098+512 ~x1097+256 ~x1096+128 ~x1095+64 ~x1094+32 ~x1093+16 ~x1092+8 ~x1091+4 ~x1090+2 ~x1089+1 ~x1088-0=63838
1.79/1.88	c 16384 ~x44003+8192 ~x44002+4096 ~x44001+2048 ~x44000+1024 ~x43999+512 ~x43998+256 ~x43997+128 ~x43996+64 ~x43995+32 ~x43994+16 ~x43993+8 ~x43992+4 ~x43991+2 ~x43990+1 ~x43989+16384 ~x1120+8192 ~x1119+4096 ~x1118+2048 ~x1117+1024 ~x1116+512 ~x1115+256 ~x1114+128 ~x1113+64 ~x1112+32 ~x1111+16 ~x1110+8 ~x1109+4 ~x1108+2 ~x1107+1 ~x1106-0=63838
1.88/1.98	c 16384 ~x47880+8192 ~x47879+4096 ~x47878+2048 ~x47877+1024 ~x47876+512 ~x47875+256 ~x47874+128 ~x47873+64 ~x47872+32 ~x47871+16 ~x47870+8 ~x47869+4 ~x47868+2 ~x47867+1 ~x47866+16384 ~x1138+8192 ~x1137+4096 ~x1136+2048 ~x1135+1024 ~x1134+512 ~x1133+256 ~x1132+128 ~x1131+64 ~x1130+32 ~x1129+16 ~x1128+8 ~x1127+4 ~x1126+2 ~x1125+1 ~x1124-0=63838
1.99/2.07	c 16384 ~x51757+8192 ~x51756+4096 ~x51755+2048 ~x51754+1024 ~x51753+512 ~x51752+256 ~x51751+128 ~x51750+64 ~x51749+32 ~x51748+16 ~x51747+8 ~x51746+4 ~x51745+2 ~x51744+1 ~x51743+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=63838
2.09/2.17	c 16384 ~x55634+8192 ~x55633+4096 ~x55632+2048 ~x55631+1024 ~x55630+512 ~x55629+256 ~x55628+128 ~x55627+64 ~x55626+32 ~x55625+16 ~x55624+8 ~x55623+4 ~x55622+2 ~x55621+1 ~x55620+16384 ~x1175+8192 ~x1174+4096 ~x1173+2048 ~x1172+1024 ~x1171+512 ~x1170+256 ~x1169+128 ~x1168+64 ~x1167+32 ~x1166+16 ~x1165+8 ~x1164+4 ~x1163+2 ~x1162+1 ~x1161-0=63838
2.19/2.26	c 16384 ~x59511+8192 ~x59510+4096 ~x59509+2048 ~x59508+1024 ~x59507+512 ~x59506+256 ~x59505+128 ~x59504+64 ~x59503+32 ~x59502+16 ~x59501+8 ~x59500+4 ~x59499+2 ~x59498+1 ~x59497+16384 ~x1193+8192 ~x1192+4096 ~x1191+2048 ~x1190+1024 ~x1189+512 ~x1188+256 ~x1187+128 ~x1186+64 ~x1185+32 ~x1184+16 ~x1183+8 ~x1182+4 ~x1181+2 ~x1180+1 ~x1179-0=63838
2.28/2.36	c 16384 ~x63388+8192 ~x63387+4096 ~x63386+2048 ~x63385+1024 ~x63384+512 ~x63383+256 ~x63382+128 ~x63381+64 ~x63380+32 ~x63379+16 ~x63378+8 ~x63377+4 ~x63376+2 ~x63375+1 ~x63374+16384 ~x1211+8192 ~x1210+4096 ~x1209+2048 ~x1208+1024 ~x1207+512 ~x1206+256 ~x1205+128 ~x1204+64 ~x1203+32 ~x1202+16 ~x1201+8 ~x1200+4 ~x1199+2 ~x1198+1 ~x1197-0=63838
2.39/2.45	c 16384 ~x67265+8192 ~x67264+4096 ~x67263+2048 ~x67262+1024 ~x67261+512 ~x67260+256 ~x67259+128 ~x67258+64 ~x67257+32 ~x67256+16 ~x67255+8 ~x67254+4 ~x67253+2 ~x67252+1 ~x67251+16384 ~x1229+8192 ~x1228+4096 ~x1227+2048 ~x1226+1024 ~x1225+512 ~x1224+256 ~x1223+128 ~x1222+64 ~x1221+32 ~x1220+16 ~x1219+8 ~x1218+4 ~x1217+2 ~x1216+1 ~x1215-0=63838
2.49/2.55	c 16384 ~x71142+8192 ~x71141+4096 ~x71140+2048 ~x71139+1024 ~x71138+512 ~x71137+256 ~x71136+128 ~x71135+64 ~x71134+32 ~x71133+16 ~x71132+8 ~x71131+4 ~x71130+2 ~x71129+1 ~x71128+16384 ~x1247+8192 ~x1246+4096 ~x1245+2048 ~x1244+1024 ~x1243+512 ~x1242+256 ~x1241+128 ~x1240+64 ~x1239+32 ~x1238+16 ~x1237+8 ~x1236+4 ~x1235+2 ~x1234+1 ~x1233-0=63838
2.59/2.65	c 16384 ~x75019+8192 ~x75018+4096 ~x75017+2048 ~x75016+1024 ~x75015+512 ~x75014+256 ~x75013+128 ~x75012+64 ~x75011+32 ~x75010+16 ~x75009+8 ~x75008+4 ~x75007+2 ~x75006+1 ~x75005+16384 ~x1266+8192 ~x1265+4096 ~x1264+2048 ~x1263+1024 ~x1262+512 ~x1261+256 ~x1260+128 ~x1259+64 ~x1258+32 ~x1257+16 ~x1256+8 ~x1255+4 ~x1254+2 ~x1253+1 ~x1252-0=63838
2.68/2.74	c 16384 ~x78896+8192 ~x78895+4096 ~x78894+2048 ~x78893+1024 ~x78892+512 ~x78891+256 ~x78890+128 ~x78889+64 ~x78888+32 ~x78887+16 ~x78886+8 ~x78885+4 ~x78884+2 ~x78883+1 ~x78882+16384 ~x1284+8192 ~x1283+4096 ~x1282+2048 ~x1281+1024 ~x1280+512 ~x1279+256 ~x1278+128 ~x1277+64 ~x1276+32 ~x1275+16 ~x1274+8 ~x1273+4 ~x1272+2 ~x1271+1 ~x1270-0=63838
2.78/2.84	c 16384 ~x82773+8192 ~x82772+4096 ~x82771+2048 ~x82770+1024 ~x82769+512 ~x82768+256 ~x82767+128 ~x82766+64 ~x82765+32 ~x82764+16 ~x82763+8 ~x82762+4 ~x82761+2 ~x82760+1 ~x82759+16384 ~x1302+8192 ~x1301+4096 ~x1300+2048 ~x1299+1024 ~x1298+512 ~x1297+256 ~x1296+128 ~x1295+64 ~x1294+32 ~x1293+16 ~x1292+8 ~x1291+4 ~x1290+2 ~x1289+1 ~x1288-0=63838
2.88/2.95	c 16384 ~x86650+8192 ~x86649+4096 ~x86648+2048 ~x86647+1024 ~x86646+512 ~x86645+256 ~x86644+128 ~x86643+64 ~x86642+32 ~x86641+16 ~x86640+8 ~x86639+4 ~x86638+2 ~x86637+1 ~x86636+16384 ~x1320+8192 ~x1319+4096 ~x1318+2048 ~x1317+1024 ~x1316+512 ~x1315+256 ~x1314+128 ~x1313+64 ~x1312+32 ~x1311+16 ~x1310+8 ~x1309+4 ~x1308+2 ~x1307+1 ~x1306-0=63838
2.99/3.05	c 16384 ~x90527+8192 ~x90526+4096 ~x90525+2048 ~x90524+1024 ~x90523+512 ~x90522+256 ~x90521+128 ~x90520+64 ~x90519+32 ~x90518+16 ~x90517+8 ~x90516+4 ~x90515+2 ~x90514+1 ~x90513+16384 ~x1338+8192 ~x1337+4096 ~x1336+2048 ~x1335+1024 ~x1334+512 ~x1333+256 ~x1332+128 ~x1331+64 ~x1330+32 ~x1329+16 ~x1328+8 ~x1327+4 ~x1326+2 ~x1325+1 ~x1324-0=63838
3.09/3.15	c 16384 ~x94404+8192 ~x94403+4096 ~x94402+2048 ~x94401+1024 ~x94400+512 ~x94399+256 ~x94398+128 ~x94397+64 ~x94396+32 ~x94395+16 ~x94394+8 ~x94393+4 ~x94392+2 ~x94391+1 ~x94390+16384 ~x18+8192 ~x17+4096 ~x16+2048 ~x15+1024 ~x14+512 ~x13+256 ~x12+128 ~x11+64 ~x10+32 ~x9+16 ~x8+8 ~x7+4 ~x6+2 ~x5+1 ~x4-0=63838
3.19/3.26	c 2097152 ~x98288+1048576 ~x98287+524288 ~x98286+262144 ~x98285+131072 ~x98284+65536 ~x98283+32768 ~x98282+16384 ~x98281+8192 ~x98280+4096 ~x98279+2048 ~x98278+1024 ~x98277+512 ~x98276+256 ~x98275+128 ~x98274+64 ~x98273+32 ~x98272+16 ~x98271+8 ~x98270+4 ~x98269+2 ~x98268+1 ~x98267+65536 ~x1340+32768 ~x1339+16384 ~x1338+8192 ~x1337+4096 ~x1336+2048 ~x1335+1024 ~x1334+512 ~x1333+256 ~x1332+128 ~x1331+64 ~x1330+32 ~x1329+16 ~x1328+8 ~x1327+4 ~x1326+2 ~x1325+1 ~x1324+65536 ~x1322+32768 ~x1321+16384 ~x1320+8192 ~x1319+4096 ~x1318+2048 ~x1317+1024 ~x1316+512 ~x1315+256 ~x1314+128 ~x1313+64 ~x1312+32 ~x1311+16 ~x1310+8 ~x1309+4 ~x1308+2 ~x1307+1 ~x1306+65536 ~x1304+32768 ~x1303+16384 ~x1302+8192 ~x1301+4096 ~x1300+2048 ~x1299+1024 ~x1298+512 ~x1297+256 ~x1296+128 ~x1295+64 ~x1294+32 ~x1293+16 ~x1292+8 ~x1291+4 ~x1290+2 ~x1289+1 ~x1288+65536 ~x1286+32768 ~x1285+16384 ~x1284+8192 ~x1283+4096 ~x1282+2048 ~x1281+1024 ~x1280+512 ~x1279+256 ~x1278+128 ~x1277+64 ~x1276+32 ~x1275+16 ~x1274+8 ~x1273+4 ~x1272+2 ~x1271+1 ~x1270+65536 ~x1268+32768 ~x1267+16384 ~x1266+8192 ~x1265+4096 ~x1264+2048 ~x1263+1024 ~x1262+512 ~x1261+256 ~x1260+128 ~x1259+64 ~x1258+32 ~x1257+16 ~x1256+8 ~x1255+4 ~x1254+2 ~x1253+1 ~x1252+65536 ~x1249+32768 ~x1248+16384 ~x1247+8192 ~x1246+4096 ~x1245+2048 ~x1244+1024 ~x1243+512 ~x1242+256 ~x1241+128 ~x1240+64 ~x1239+32 ~x1238+16 ~x1237+8 ~x1236+4 ~x1235+2 ~x1234+1 ~x1233+65536 ~x1231+32768 ~x1230+16384 ~x1229+8192 ~x1228+4096 ~x1227+2048 ~x1226+1024 ~x1225+512 ~x1224+256 ~x1223+128 ~x1222+64 ~x1221+32 ~x1220+16 ~x1219+8 ~x1218+4 ~x1217+2 ~x1216+1 ~x1215+65536 ~x1213+32768 ~x1212+16384 ~x1211+8192 ~x1210+4096 ~x1209+2048 ~x1208+1024 ~x1207+512 ~x1206+256 ~x1205+128 ~x1204+64 ~x1203+32 ~x1202+16 ~x1201+8 ~x1200+4 ~x1199+2 ~x1198+1 ~x1197+65536 ~x1195+32768 ~x1194+16384 ~x1193+8192 ~x1192+4096 ~x1191+2048 ~x1190+1024 ~x1189+512 ~x1188+256 ~x1187+128 ~x1186+64 ~x1185+32 ~x1184+16 ~x1183+8 ~x1182+4 ~x1181+2 ~x1180+1 ~x1179+65536 ~x1177+32768 ~x1176+16384 ~x1175+8192 ~x1174+4096 ~x1173+2048 ~x1172+1024 ~x1171+512 ~x1170+256 ~x1169+128 ~x1168+64 ~x1167+32 ~x1166+16 ~x1165+8 ~x1164+4 ~x1163+2 ~x1162+1 ~x1161+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142+65536 ~x1140+32768 ~x1139+16384 ~x1138+8192 ~x1137+4096 ~x1136+2048 ~x1135+1024 ~x1134+512 ~x1133+256 ~x1132+128 ~x1131+64 ~x1130+32 ~x1129+16 ~x1128+8 ~x1127+4 ~x1126+2 ~x1125+1 ~x1124+65536 ~x1122+32768 ~x1121+16384 ~x1120+8192 ~x1119+4096 ~x1118+2048 ~x1117+1024 ~x1116+512 ~x1115+256 ~x1114+128 ~x1113+64 ~x1112+32 ~x1111+16 ~x1110+8 ~x1109+4 ~x1108+2 ~x1107+1 ~x1106+65536 ~x1104+32768 ~x1103+16384 ~x1102+8192 ~x1101+4096 ~x1100+2048 ~x1099+1024 ~x1098+512 ~x1097+256 ~x1096+128 ~x1095+64 ~x1094+32 ~x1093+16 ~x1092+8 ~x1091+4 ~x1090+2 ~x1089+1 ~x1088+65536 ~x1086+32768 ~x1085+16384 ~x1084+8192 ~x1083+4096 ~x1082+2048 ~x1081+1024 ~x1080+512 ~x1079+256 ~x1078+128 ~x1077+64 ~x1076+32 ~x1075+16 ~x1074+8 ~x1073+4 ~x1072+2 ~x1071+1 ~x1070+65536 ~x1067+32768 ~x1066+16384 ~x1065+8192 ~x1064+4096 ~x1063+2048 ~x1062+1024 ~x1061+512 ~x1060+256 ~x1059+128 ~x1058+64 ~x1057+32 ~x1056+16 ~x1055+8 ~x1054+4 ~x1053+2 ~x1052+1 ~x1051+65536 ~x1049+32768 ~x1048+16384 ~x1047+8192 ~x1046+4096 ~x1045+2048 ~x1044+1024 ~x1043+512 ~x1042+256 ~x1041+128 ~x1040+64 ~x1039+32 ~x1038+16 ~x1037+8 ~x1036+4 ~x1035+2 ~x1034+1 ~x1033+65536 ~x1031+32768 ~x1030+16384 ~x1029+8192 ~x1028+4096 ~x1027+2048 ~x1026+1024 ~x1025+512 ~x1024+256 ~x1023+128 ~x1022+64 ~x1021+32 ~x1020+16 ~x1019+8 ~x1018+4 ~x1017+2 ~x1016+1 ~x1015+65536 ~x1013+32768 ~x1012+16384 ~x1011+8192 ~x1010+4096 ~x1009+2048 ~x1008+1024 ~x1007+512 ~x1006+256 ~x1005+128 ~x1004+64 ~x1003+32 ~x1002+16 ~x1001+8 ~x1000+4 ~x999+2 ~x998+1 ~x997+65536 ~x995+32768 ~x994+16384 ~x993+8192 ~x992+4096 ~x991+2048 ~x990+1024 ~x989+512 ~x988+256 ~x987+128 ~x986+64 ~x985+32 ~x984+16 ~x983+8 ~x982+4 ~x981+2 ~x980+1 ~x979+65536 ~x976+32768 ~x975+16384 ~x974+8192 ~x973+4096 ~x972+2048 ~x971+1024 ~x970+512 ~x969+256 ~x968+128 ~x967+64 ~x966+32 ~x965+16 ~x964+8 ~x963+4 ~x962+2 ~x961+1 ~x960+65536 ~x958+32768 ~x957+16384 ~x956+8192 ~x955+4096 ~x954+2048 ~x953+1024 ~x952+512 ~x951+256 ~x950+128 ~x949+64 ~x948+32 ~x947+16 ~x946+8 ~x945+4 ~x944+2 ~x943+1 ~x942+65536 ~x940+32768 ~x939+16384 ~x938+8192 ~x937+4096 ~x936+2048 ~x935+1024 ~x934+512 ~x933+256 ~x932+128 ~x931+64 ~x930+32 ~x929+16 ~x928+8 ~x927+4 ~x926+2 ~x925+1 ~x924+65536 ~x922+32768 ~x921+16384 ~x920+8192 ~x919+4096 ~x918+2048 ~x917+1024 ~x916+512 ~x915+256 ~x914+128 ~x913+64 ~x912+32 ~x911+16 ~x910+8 ~x909+4 ~x908+2 ~x907+1 ~x906+65536 ~x20+32768 ~x19+16384 ~x18+8192 ~x17+4096 ~x16+2048 ~x15+1024 ~x14+512 ~x13+256 ~x12+128 ~x11+64 ~x10+32 ~x9+16 ~x8+8 ~x7+4 ~x6+2 ~x5+1 ~x4-0=7471035
5.40/5.48	c 274877906944 ~x197557+137438953472 ~x197556+68719476736 ~x197555+34359738368 ~x197554+17179869184 ~x197553+8589934592 ~x197552+4294967296 ~x197551+2147483648 ~x197550+1073741824 ~x197549+536870912 ~x197548+268435456 ~x197547+134217728 ~x197546+67108864 ~x197545+33554432 ~x197544+16777216 ~x197543+8388608 ~x197542+4194304 ~x197541+2097152 ~x197540+1048576 ~x197539+524288 ~x197538+262144 ~x197537+131072 ~x197536+65536 ~x197535+32768 ~x197534+16384 ~x197533+8192 ~x197532+4096 ~x197531+2048 ~x197530+1024 ~x197529+512 ~x197528+256 ~x197527+128 ~x197526+64 ~x197525+32 ~x197524+16 ~x197523+8 ~x197522+4 ~x197521+2 ~x197520+1 ~x197519+163840000000 ~x940+81920000000 ~x939+40960000000 ~x938+20480000000 ~x937+10240000000 ~x936+5120000000 ~x935+2560000000 ~x934+1280000000 ~x933+640000000 ~x932+320000000 ~x931+160000000 ~x930+80000000 ~x929+40000000 ~x928+20000000 ~x927+10000000 ~x926+5000000 ~x925+2500000 ~x924+24000001 x923-0=877433313887
5.99/6.04	c 70368744177664 ~x221601+35184372088832 ~x221600+17592186044416 ~x221599+8796093022208 ~x221598+4398046511104 ~x221597+2199023255552 ~x221596+1099511627776 ~x221595+549755813888 ~x221594+274877906944 ~x221593+137438953472 ~x221592+68719476736 ~x221591+34359738368 ~x221590+17179869184 ~x221589+8589934592 ~x221588+4294967296 ~x221587+2147483648 ~x221586+1073741824 ~x221585+536870912 ~x221584+268435456 ~x221583+134217728 ~x221582+67108864 ~x221581+33554432 ~x221580+16777216 ~x221579+8388608 ~x221578+4194304 ~x221577+2097152 ~x221576+1048576 ~x221575+524288 ~x221574+262144 ~x221573+131072 ~x221572+65536 ~x221571+32768 ~x221570+16384 ~x221569+8192 ~x221568+4096 ~x221567+2048 ~x221566+1024 ~x221565+512 ~x221564+256 ~x221563+128 ~x221562+64 ~x221561+32 ~x221560+16 ~x221559+8 ~x221558+4 ~x221557+2 ~x221556+1 ~x221555+15603859980288 ~x1067+7801929990144 ~x1066+3900964995072 ~x1065+1950482497536 ~x1064+975241248768 ~x1063+487620624384 ~x1062+243810312192 ~x1061+121905156096 ~x1060+60952578048 ~x1059+30476289024 ~x1058+15238144512 ~x1057+7619072256 ~x1056+3809536128 ~x1055+1904768064 ~x1054+952384032 ~x1053+476192016 ~x1052+238096008 ~x1051+53336000 ~x1050+1680000000 ~x886+41943040000000 x742+20971520000000 x741+10485760000000 x740+5242880000000 x739+2621440000000 x738+1310720000000 x737+655360000000 x736+327680000000 x735+163840000000 x734+81920000000 x733+40960000000 x732+20480000000 x731+10240000000 x730+5120000000 x729+2560000000 x728+1280000000 x727+640000000 x726+320000000 x725+160000000 x724+80000000 x723+40000000 x722+20000000 x721+10000000 x720+5000000 x719+2500000 x718+1250000 x717+625000 x716+312500 x715+156250 x714+78125 x713+41943040000000 ~x290+20971520000000 ~x289+10485760000000 ~x288+5242880000000 ~x287+2621440000000 ~x286+1310720000000 ~x285+655360000000 ~x284+327680000000 ~x283+163840000000 ~x282+81920000000 ~x281+40960000000 ~x280+20480000000 ~x279+10240000000 ~x278+5120000000 ~x277+2560000000 ~x276+1280000000 ~x275+640000000 ~x274+320000000 ~x273+160000000 ~x272+80000000 ~x271+40000000 ~x270+20000000 ~x269+10000000 ~x268+5000000 ~x267+2500000 ~x266+1250000 ~x265+625000 ~x264+312500 ~x263+156250 ~x262+78125 ~x261-0=255831103477770
7.69/7.79	c 70368744177664 ~x299691+35184372088832 ~x299690+17592186044416 ~x299689+8796093022208 ~x299688+4398046511104 ~x299687+2199023255552 ~x299686+1099511627776 ~x299685+549755813888 ~x299684+274877906944 ~x299683+137438953472 ~x299682+68719476736 ~x299681+34359738368 ~x299680+17179869184 ~x299679+8589934592 ~x299678+4294967296 ~x299677+2147483648 ~x299676+1073741824 ~x299675+536870912 ~x299674+268435456 ~x299673+134217728 ~x299672+67108864 ~x299671+33554432 ~x299670+16777216 ~x299669+8388608 ~x299668+4194304 ~x299667+2097152 ~x299666+1048576 ~x299665+524288 ~x299664+262144 ~x299663+131072 ~x299662+65536 ~x299661+32768 ~x299660+16384 ~x299659+8192 ~x299658+4096 ~x299657+2048 ~x299656+1024 ~x299655+512 ~x299654+256 ~x299653+128 ~x299652+64 ~x299651+32 ~x299650+16 ~x299649+8 ~x299648+4 ~x299647+2 ~x299646+1 ~x299645+60000000 ~x1341+1680000000 x887+41943040000000 ~x772+20971520000000 ~x771+10485760000000 ~x770+5242880000000 ~x769+2621440000000 ~x768+1310720000000 ~x767+655360000000 ~x766+327680000000 ~x765+163840000000 ~x764+81920000000 ~x763+40960000000 ~x762+20480000000 ~x761+10240000000 ~x760+5120000000 ~x759+2560000000 ~x758+1280000000 ~x757+640000000 ~x756+320000000 ~x755+160000000 ~x754+80000000 ~x753+40000000 ~x752+20000000 ~x751+10000000 ~x750+5000000 ~x749+2500000 ~x748+1250000 ~x747+625000 ~x746+312500 ~x745+156250 ~x744+78125 ~x743+41943040000000 x321+20971520000000 x320+10485760000000 x319+5242880000000 x318+2621440000000 x317+1310720000000 x316+655360000000 x315+327680000000 x314+163840000000 x313+81920000000 x312+40960000000 x311+20480000000 x310+10240000000 x309+5120000000 x308+2560000000 x307+1280000000 x306+640000000 x305+320000000 x304+160000000 x303+80000000 x302+40000000 x301+20000000 x300+10000000 x299+5000000 x298+2500000 x297+1250000 x296+625000 x295+312500 x294+156250 x293+78125 x292+10922492428288 ~x20+5461246214144 ~x19+2730623107072 ~x18+1365311553536 ~x17+682655776768 ~x16+341327888384 ~x15+170663944192 ~x14+85331972096 ~x13+42665986048 ~x12+21332993024 ~x11+10666496512 ~x10+5333248256 ~x9+2666624128 ~x8+1333312064 ~x7+666656032 ~x6+333328016 ~x5+166664008 ~x4-0=246468446469770
9.48/9.56	c 70368744177664 ~x378219+35184372088832 ~x378218+17592186044416 ~x378217+8796093022208 ~x378216+4398046511104 ~x378215+2199023255552 ~x378214+1099511627776 ~x378213+549755813888 ~x378212+274877906944 ~x378211+137438953472 ~x378210+68719476736 ~x378209+34359738368 ~x378208+17179869184 ~x378207+8589934592 ~x378206+4294967296 ~x378205+2147483648 ~x378204+1073741824 ~x378203+536870912 ~x378202+268435456 ~x378201+134217728 ~x378200+67108864 ~x378199+33554432 ~x378198+16777216 ~x378197+8388608 ~x378196+4194304 ~x378195+2097152 ~x378194+1048576 ~x378193+524288 ~x378192+262144 ~x378191+131072 ~x378190+65536 ~x378189+32768 ~x378188+16384 ~x378187+8192 ~x378186+4096 ~x378185+2048 ~x378184+1024 ~x378183+512 ~x378182+256 ~x378181+128 ~x378180+64 ~x378179+32 ~x378178+16 ~x378177+8 ~x378176+4 ~x378175+2 ~x378174+1 ~x378173+15603859980288 ~x1086+7801929990144 ~x1085+3900964995072 ~x1084+1950482497536 ~x1083+975241248768 ~x1082+487620624384 ~x1081+243810312192 ~x1080+121905156096 ~x1079+60952578048 ~x1078+30476289024 ~x1077+15238144512 ~x1076+7619072256 ~x1075+3809536128 ~x1074+1904768064 ~x1073+952384032 ~x1072+476192016 ~x1071+238096008 ~x1070+53336000 ~x1068+1680000000 ~x887+41943040000000 x772+20971520000000 x771+10485760000000 x770+5242880000000 x769+2621440000000 x768+1310720000000 x767+655360000000 x766+327680000000 x765+163840000000 x764+81920000000 x763+40960000000 x762+20480000000 x761+10240000000 x760+5120000000 x759+2560000000 x758+1280000000 x757+640000000 x756+320000000 x755+160000000 x754+80000000 x753+40000000 x752+20000000 x751+10000000 x750+5000000 x749+2500000 x748+1250000 x747+625000 x746+312500 x745+156250 x744+78125 x743+41943040000000 ~x321+20971520000000 ~x320+10485760000000 ~x319+5242880000000 ~x318+2621440000000 ~x317+1310720000000 ~x316+655360000000 ~x315+327680000000 ~x314+163840000000 ~x313+81920000000 ~x312+40960000000 ~x311+20480000000 ~x310+10240000000 ~x309+5120000000 ~x308+2560000000 ~x307+1280000000 ~x306+640000000 ~x305+320000000 ~x304+160000000 ~x303+80000000 ~x302+40000000 ~x301+20000000 ~x300+10000000 ~x299+5000000 ~x298+2500000 ~x297+1250000 ~x296+625000 ~x295+312500 ~x294+156250 ~x293+78125 ~x292-0=255831103477770
11.28/11.32	c 4 ~x456265+2 ~x456264+1 ~x456263+4 x1072+2 x1071+1 x1070+4 x1053+2 x1052+1 x1051+4 x1035+2 x1034+1 x1033+4 x1017+2 x1016+1 x1015+4 x999+2 x998+1 x997-0=12
11.28/11.32	c 524288 ~x456929+262144 ~x456928+131072 ~x456927+65536 ~x456926+32768 ~x456925+16384 ~x456924+8192 ~x456923+4096 ~x456922+2048 ~x456921+1024 ~x456920+512 ~x456919+256 ~x456918+128 ~x456917+64 ~x456916+32 ~x456915+16 ~x456914+8 ~x456913+4 ~x456912+2 ~x456911+1 ~x456910+65536 ~x1086+32768 ~x1085+16384 ~x1084+8192 ~x1083+4096 ~x1082+2048 ~x1081+1024 ~x1080+512 ~x1079+256 ~x1078+128 ~x1077+64 ~x1076+32 ~x1075+16 ~x1074+8 ~x1073+4 ~x1072+2 ~x1071+1 ~x1070+65536 ~x1067+32768 ~x1066+16384 ~x1065+8192 ~x1064+4096 ~x1063+2048 ~x1062+1024 ~x1061+512 ~x1060+256 ~x1059+128 ~x1058+64 ~x1057+32 ~x1056+16 ~x1055+8 ~x1054+4 ~x1053+2 ~x1052+1 ~x1051+65536 ~x1049+32768 ~x1048+16384 ~x1047+8192 ~x1046+4096 ~x1045+2048 ~x1044+1024 ~x1043+512 ~x1042+256 ~x1041+128 ~x1040+64 ~x1039+32 ~x1038+16 ~x1037+8 ~x1036+4 ~x1035+2 ~x1034+1 ~x1033+65536 ~x1031+32768 ~x1030+16384 ~x1029+8192 ~x1028+4096 ~x1027+2048 ~x1026+1024 ~x1025+512 ~x1024+256 ~x1023+128 ~x1022+64 ~x1021+32 ~x1020+16 ~x1019+8 ~x1018+4 ~x1017+2 ~x1016+1 ~x1015+65536 ~x1013+32768 ~x1012+16384 ~x1011+8192 ~x1010+4096 ~x1009+2048 ~x1008+1024 ~x1007+512 ~x1006+256 ~x1005+128 ~x1004+64 ~x1003+32 ~x1002+16 ~x1001+8 ~x1000+4 ~x999+2 ~x998+1 ~x997-0=1703921
11.78/11.82	c 70368744177664 ~x478698+35184372088832 ~x478697+17592186044416 ~x478696+8796093022208 ~x478695+4398046511104 ~x478694+2199023255552 ~x478693+1099511627776 ~x478692+549755813888 ~x478691+274877906944 ~x478690+137438953472 ~x478689+68719476736 ~x478688+34359738368 ~x478687+17179869184 ~x478686+8589934592 ~x478685+4294967296 ~x478684+2147483648 ~x478683+1073741824 ~x478682+536870912 ~x478681+268435456 ~x478680+134217728 ~x478679+67108864 ~x478678+33554432 ~x478677+16777216 ~x478676+8388608 ~x478675+4194304 ~x478674+2097152 ~x478673+1048576 ~x478672+524288 ~x478671+262144 ~x478670+131072 ~x478669+65536 ~x478668+32768 ~x478667+16384 ~x478666+8192 ~x478665+4096 ~x478664+2048 ~x478663+1024 ~x478662+512 ~x478661+256 ~x478660+128 ~x478659+64 ~x478658+32 ~x478657+16 ~x478656+8 ~x478655+4 ~x478654+2 ~x478653+1 ~x478652+18204327411712 ~x1104+9102163705856 ~x1103+4551081852928 ~x1102+2275540926464 ~x1101+1137770463232 ~x1100+568885231616 ~x1099+284442615808 ~x1098+142221307904 ~x1097+71110653952 ~x1096+35555326976 ~x1095+17777663488 ~x1094+8888831744 ~x1093+4444415872 ~x1092+2222207936 ~x1091+1111103968 ~x1090+555551984 ~x1089+277775992 ~x1088+1600000000 x1087+41943040000000 ~x351+20971520000000 ~x350+10485760000000 ~x349+5242880000000 ~x348+2621440000000 ~x347+1310720000000 ~x346+655360000000 ~x345+327680000000 ~x344+163840000000 ~x343+81920000000 ~x342+40960000000 ~x341+20480000000 ~x340+10240000000 ~x339+5120000000 ~x338+2560000000 ~x337+1280000000 ~x336+640000000 ~x335+320000000 ~x334+160000000 ~x333+80000000 ~x332+40000000 ~x331+20000000 ~x330+10000000 ~x329+5000000 ~x328+2500000 ~x327+1250000 ~x326+625000 ~x325+312500 ~x324+156250 ~x323+78125 ~x322-0=261031945324634
13.09/13.12	c 70368744177664 ~x535774+35184372088832 ~x535773+17592186044416 ~x535772+8796093022208 ~x535771+4398046511104 ~x535770+2199023255552 ~x535769+1099511627776 ~x535768+549755813888 ~x535767+274877906944 ~x535766+137438953472 ~x535765+68719476736 ~x535764+34359738368 ~x535763+17179869184 ~x535762+8589934592 ~x535761+4294967296 ~x535760+2147483648 ~x535759+1073741824 ~x535758+536870912 ~x535757+268435456 ~x535756+134217728 ~x535755+67108864 ~x535754+33554432 ~x535753+16777216 ~x535752+8388608 ~x535751+4194304 ~x535750+2097152 ~x535749+1048576 ~x535748+524288 ~x535747+262144 ~x535746+131072 ~x535745+65536 ~x535744+32768 ~x535743+16384 ~x535742+8192 ~x535741+4096 ~x535740+2048 ~x535739+1024 ~x535738+512 ~x535737+256 ~x535736+128 ~x535735+64 ~x535734+32 ~x535733+16 ~x535732+8 ~x535731+4 ~x535730+2 ~x535729+1 ~x535728+18204327411712 ~x1122+9102163705856 ~x1121+4551081852928 ~x1120+2275540926464 ~x1119+1137770463232 ~x1118+568885231616 ~x1117+284442615808 ~x1116+142221307904 ~x1115+71110653952 ~x1114+35555326976 ~x1113+17777663488 ~x1112+8888831744 ~x1111+4444415872 ~x1110+2222207936 ~x1109+1111103968 ~x1108+555551984 ~x1107+277775992 ~x1106+1600000000 x1105+41943040000000 ~x381+20971520000000 ~x380+10485760000000 ~x379+5242880000000 ~x378+2621440000000 ~x377+1310720000000 ~x376+655360000000 ~x375+327680000000 ~x374+163840000000 ~x373+81920000000 ~x372+40960000000 ~x371+20480000000 ~x370+10240000000 ~x369+5120000000 ~x368+2560000000 ~x367+1280000000 ~x366+640000000 ~x365+320000000 ~x364+160000000 ~x363+80000000 ~x362+40000000 ~x361+20000000 ~x360+10000000 ~x359+5000000 ~x358+2500000 ~x357+1250000 ~x356+625000 ~x355+312500 ~x354+156250 ~x353+78125 ~x352-0=261031945324634
14.38/14.42	c 70368744177664 ~x592850+35184372088832 ~x592849+17592186044416 ~x592848+8796093022208 ~x592847+4398046511104 ~x592846+2199023255552 ~x592845+1099511627776 ~x592844+549755813888 ~x592843+274877906944 ~x592842+137438953472 ~x592841+68719476736 ~x592840+34359738368 ~x592839+17179869184 ~x592838+8589934592 ~x592837+4294967296 ~x592836+2147483648 ~x592835+1073741824 ~x592834+536870912 ~x592833+268435456 ~x592832+134217728 ~x592831+67108864 ~x592830+33554432 ~x592829+16777216 ~x592828+8388608 ~x592827+4194304 ~x592826+2097152 ~x592825+1048576 ~x592824+524288 ~x592823+262144 ~x592822+131072 ~x592821+65536 ~x592820+32768 ~x592819+16384 ~x592818+8192 ~x592817+4096 ~x592816+2048 ~x592815+1024 ~x592814+512 ~x592813+256 ~x592812+128 ~x592811+64 ~x592810+32 ~x592809+16 ~x592808+8 ~x592807+4 ~x592806+2 ~x592805+1 ~x592804+18204327411712 ~x1140+9102163705856 ~x1139+4551081852928 ~x1138+2275540926464 ~x1137+1137770463232 ~x1136+568885231616 ~x1135+284442615808 ~x1134+142221307904 ~x1133+71110653952 ~x1132+35555326976 ~x1131+17777663488 ~x1130+8888831744 ~x1129+4444415872 ~x1128+2222207936 ~x1127+1111103968 ~x1126+555551984 ~x1125+277775992 ~x1124+1600000000 x1123+41943040000000 ~x411+20971520000000 ~x410+10485760000000 ~x409+5242880000000 ~x408+2621440000000 ~x407+1310720000000 ~x406+655360000000 ~x405+327680000000 ~x404+163840000000 ~x403+81920000000 ~x402+40960000000 ~x401+20480000000 ~x400+10240000000 ~x399+5120000000 ~x398+2560000000 ~x397+1280000000 ~x396+640000000 ~x395+320000000 ~x394+160000000 ~x393+80000000 ~x392+40000000 ~x391+20000000 ~x390+10000000 ~x389+5000000 ~x388+2500000 ~x387+1250000 ~x386+625000 ~x385+312500 ~x384+156250 ~x383+78125 ~x382-0=261031945324634
15.68/15.72	c 70368744177664 ~x649926+35184372088832 ~x649925+17592186044416 ~x649924+8796093022208 ~x649923+4398046511104 ~x649922+2199023255552 ~x649921+1099511627776 ~x649920+549755813888 ~x649919+274877906944 ~x649918+137438953472 ~x649917+68719476736 ~x649916+34359738368 ~x649915+17179869184 ~x649914+8589934592 ~x649913+4294967296 ~x649912+2147483648 ~x649911+1073741824 ~x649910+536870912 ~x649909+268435456 ~x649908+134217728 ~x649907+67108864 ~x649906+33554432 ~x649905+16777216 ~x649904+8388608 ~x649903+4194304 ~x649902+2097152 ~x649901+1048576 ~x649900+524288 ~x649899+262144 ~x649898+131072 ~x649897+65536 ~x649896+32768 ~x649895+16384 ~x649894+8192 ~x649893+4096 ~x649892+2048 ~x649891+1024 ~x649890+512 ~x649889+256 ~x649888+128 ~x649887+64 ~x649886+32 ~x649885+16 ~x649884+8 ~x649883+4 ~x649882+2 ~x649881+1 ~x649880+18204327411712 ~x1158+9102163705856 ~x1157+4551081852928 ~x1156+2275540926464 ~x1155+1137770463232 ~x1154+568885231616 ~x1153+284442615808 ~x1152+142221307904 ~x1151+71110653952 ~x1150+35555326976 ~x1149+17777663488 ~x1148+8888831744 ~x1147+4444415872 ~x1146+2222207936 ~x1145+1111103968 ~x1144+555551984 ~x1143+277775992 ~x1142+1600000000 x1141+41943040000000 ~x441+20971520000000 ~x440+10485760000000 ~x439+5242880000000 ~x438+2621440000000 ~x437+1310720000000 ~x436+655360000000 ~x435+327680000000 ~x434+163840000000 ~x433+81920000000 ~x432+40960000000 ~x431+20480000000 ~x430+10240000000 ~x429+5120000000 ~x428+2560000000 ~x427+1280000000 ~x426+640000000 ~x425+320000000 ~x424+160000000 ~x423+80000000 ~x422+40000000 ~x421+20000000 ~x420+10000000 ~x419+5000000 ~x418+2500000 ~x417+1250000 ~x416+625000 ~x415+312500 ~x414+156250 ~x413+78125 ~x412-0=261031945324634
16.98/17.01	c 70368744177664 ~x707002+35184372088832 ~x707001+17592186044416 ~x707000+8796093022208 ~x706999+4398046511104 ~x706998+2199023255552 ~x706997+1099511627776 ~x706996+549755813888 ~x706995+274877906944 ~x706994+137438953472 ~x706993+68719476736 ~x706992+34359738368 ~x706991+17179869184 ~x706990+8589934592 ~x706989+4294967296 ~x706988+2147483648 ~x706987+1073741824 ~x706986+536870912 ~x706985+268435456 ~x706984+134217728 ~x706983+67108864 ~x706982+33554432 ~x706981+16777216 ~x706980+8388608 ~x706979+4194304 ~x706978+2097152 ~x706977+1048576 ~x706976+524288 ~x706975+262144 ~x706974+131072 ~x706973+65536 ~x706972+32768 ~x706971+16384 ~x706970+8192 ~x706969+4096 ~x706968+2048 ~x706967+1024 ~x706966+512 ~x706965+256 ~x706964+128 ~x706963+64 ~x706962+32 ~x706961+16 ~x706960+8 ~x706959+4 ~x706958+2 ~x706957+1 ~x706956+18204327411712 ~x1177+9102163705856 ~x1176+4551081852928 ~x1175+2275540926464 ~x1174+1137770463232 ~x1173+568885231616 ~x1172+284442615808 ~x1171+142221307904 ~x1170+71110653952 ~x1169+35555326976 ~x1168+17777663488 ~x1167+8888831744 ~x1166+4444415872 ~x1165+2222207936 ~x1164+1111103968 ~x1163+555551984 ~x1162+277775992 ~x1161+1280000000 x1159+41943040000000 ~x471+20971520000000 ~x470+10485760000000 ~x469+5242880000000 ~x468+2621440000000 ~x467+1310720000000 ~x466+655360000000 ~x465+327680000000 ~x464+163840000000 ~x463+81920000000 ~x462+40960000000 ~x461+20480000000 ~x460+10240000000 ~x459+5120000000 ~x458+2560000000 ~x457+1280000000 ~x456+640000000 ~x455+320000000 ~x454+160000000 ~x453+80000000 ~x452+40000000 ~x451+20000000 ~x450+10000000 ~x449+5000000 ~x448+2500000 ~x447+1250000 ~x446+625000 ~x445+312500 ~x444+156250 ~x443+78125 ~x442-0=261031945324634
18.28/18.31	c 549755813888 ~x764073+274877906944 ~x764072+137438953472 ~x764071+68719476736 ~x764070+34359738368 ~x764069+17179869184 ~x764068+8589934592 ~x764067+4294967296 ~x764066+2147483648 ~x764065+1073741824 ~x764064+536870912 ~x764063+268435456 ~x764062+134217728 ~x764061+67108864 ~x764060+33554432 ~x764059+16777216 ~x764058+8388608 ~x764057+4194304 ~x764056+2097152 ~x764055+1048576 ~x764054+524288 ~x764053+262144 ~x764052+131072 ~x764051+65536 ~x764050+32768 ~x764049+16384 ~x764048+8192 ~x764047+4096 ~x764046+2048 ~x764045+1024 ~x764044+512 ~x764043+256 ~x764042+128 ~x764041+64 ~x764040+32 ~x764039+16 ~x764038+8 ~x764037+4 ~x764036+2 ~x764035+1 ~x764034+327680000000 ~x1104+163840000000 ~x1103+81920000000 ~x1102+40960000000 ~x1101+20480000000 ~x1100+10240000000 ~x1099+5120000000 ~x1098+2560000000 ~x1097+1280000000 ~x1096+640000000 ~x1095+320000000 ~x1094+160000000 ~x1093+80000000 ~x1092+40000000 ~x1091+20000000 ~x1090+10000000 ~x1089+5000000 ~x1088+28800001 x1087-0=1754866627775
18.78/18.88	c 549755813888 ~x788840+274877906944 ~x788839+137438953472 ~x788838+68719476736 ~x788837+34359738368 ~x788836+17179869184 ~x788835+8589934592 ~x788834+4294967296 ~x788833+2147483648 ~x788832+1073741824 ~x788831+536870912 ~x788830+268435456 ~x788829+134217728 ~x788828+67108864 ~x788827+33554432 ~x788826+16777216 ~x788825+8388608 ~x788824+4194304 ~x788823+2097152 ~x788822+1048576 ~x788821+524288 ~x788820+262144 ~x788819+131072 ~x788818+65536 ~x788817+32768 ~x788816+16384 ~x788815+8192 ~x788814+4096 ~x788813+2048 ~x788812+1024 ~x788811+512 ~x788810+256 ~x788809+128 ~x788808+64 ~x788807+32 ~x788806+16 ~x788805+8 ~x788804+4 ~x788803+2 ~x788802+1 ~x788801+327680000000 ~x1122+163840000000 ~x1121+81920000000 ~x1120+40960000000 ~x1119+20480000000 ~x1118+10240000000 ~x1117+5120000000 ~x1116+2560000000 ~x1115+1280000000 ~x1114+640000000 ~x1113+320000000 ~x1112+160000000 ~x1111+80000000 ~x1110+40000000 ~x1109+20000000 ~x1108+10000000 ~x1107+5000000 ~x1106+28800001 x1105-0=1754866627775
19.38/19.45	c 549755813888 ~x813607+274877906944 ~x813606+137438953472 ~x813605+68719476736 ~x813604+34359738368 ~x813603+17179869184 ~x813602+8589934592 ~x813601+4294967296 ~x813600+2147483648 ~x813599+1073741824 ~x813598+536870912 ~x813597+268435456 ~x813596+134217728 ~x813595+67108864 ~x813594+33554432 ~x813593+16777216 ~x813592+8388608 ~x813591+4194304 ~x813590+2097152 ~x813589+1048576 ~x813588+524288 ~x813587+262144 ~x813586+131072 ~x813585+65536 ~x813584+32768 ~x813583+16384 ~x813582+8192 ~x813581+4096 ~x813580+2048 ~x813579+1024 ~x813578+512 ~x813577+256 ~x813576+128 ~x813575+64 ~x813574+32 ~x813573+16 ~x813572+8 ~x813571+4 ~x813570+2 ~x813569+1 ~x813568+327680000000 ~x1140+163840000000 ~x1139+81920000000 ~x1138+40960000000 ~x1137+20480000000 ~x1136+10240000000 ~x1135+5120000000 ~x1134+2560000000 ~x1133+1280000000 ~x1132+640000000 ~x1131+320000000 ~x1130+160000000 ~x1129+80000000 ~x1128+40000000 ~x1127+20000000 ~x1126+10000000 ~x1125+5000000 ~x1124+28800001 x1123-0=1754866627775
19.98/20.02	c 549755813888 ~x838374+274877906944 ~x838373+137438953472 ~x838372+68719476736 ~x838371+34359738368 ~x838370+17179869184 ~x838369+8589934592 ~x838368+4294967296 ~x838367+2147483648 ~x838366+1073741824 ~x838365+536870912 ~x838364+268435456 ~x838363+134217728 ~x838362+67108864 ~x838361+33554432 ~x838360+16777216 ~x838359+8388608 ~x838358+4194304 ~x838357+2097152 ~x838356+1048576 ~x838355+524288 ~x838354+262144 ~x838353+131072 ~x838352+65536 ~x838351+32768 ~x838350+16384 ~x838349+8192 ~x838348+4096 ~x838347+2048 ~x838346+1024 ~x838345+512 ~x838344+256 ~x838343+128 ~x838342+64 ~x838341+32 ~x838340+16 ~x838339+8 ~x838338+4 ~x838337+2 ~x838336+1 ~x838335+327680000000 ~x1158+163840000000 ~x1157+81920000000 ~x1156+40960000000 ~x1155+20480000000 ~x1154+10240000000 ~x1153+5120000000 ~x1152+2560000000 ~x1151+1280000000 ~x1150+640000000 ~x1149+320000000 ~x1148+160000000 ~x1147+80000000 ~x1146+40000000 ~x1145+20000000 ~x1144+10000000 ~x1143+5000000 ~x1142+28800001 x1141-0=1754866627775
20.48/20.58	c 549755813888 ~x863141+274877906944 ~x863140+137438953472 ~x863139+68719476736 ~x863138+34359738368 ~x863137+17179869184 ~x863136+8589934592 ~x863135+4294967296 ~x863134+2147483648 ~x863133+1073741824 ~x863132+536870912 ~x863131+268435456 ~x863130+134217728 ~x863129+67108864 ~x863128+33554432 ~x863127+16777216 ~x863126+8388608 ~x863125+4194304 ~x863124+2097152 ~x863123+1048576 ~x863122+524288 ~x863121+262144 ~x863120+131072 ~x863119+65536 ~x863118+32768 ~x863117+16384 ~x863116+8192 ~x863115+4096 ~x863114+2048 ~x863113+1024 ~x863112+512 ~x863111+256 ~x863110+128 ~x863109+64 ~x863108+32 ~x863107+16 ~x863106+8 ~x863105+4 ~x863104+2 ~x863103+1 ~x863102+327680000000 ~x1177+163840000000 ~x1176+81920000000 ~x1175+40960000000 ~x1174+20480000000 ~x1173+10240000000 ~x1172+5120000000 ~x1171+2560000000 ~x1170+1280000000 ~x1169+640000000 ~x1168+320000000 ~x1167+160000000 ~x1166+80000000 ~x1165+40000000 ~x1164+20000000 ~x1163+10000000 ~x1162+5000000 ~x1161+23039999 x1159-0=1754866627775
21.08/21.15	c 274877906944 ~x887870+137438953472 ~x887869+68719476736 ~x887868+34359738368 ~x887867+17179869184 ~x887866+8589934592 ~x887865+4294967296 ~x887864+2147483648 ~x887863+1073741824 ~x887862+536870912 ~x887861+268435456 ~x887860+134217728 ~x887859+67108864 ~x887858+33554432 ~x887857+16777216 ~x887856+8388608 ~x887855+4194304 ~x887854+2097152 ~x887853+1048576 ~x887852+524288 ~x887851+262144 ~x887850+131072 ~x887849+65536 ~x887848+32768 ~x887847+16384 ~x887846+8192 ~x887845+4096 ~x887844+2048 ~x887843+1024 ~x887842+512 ~x887841+256 ~x887840+128 ~x887839+64 ~x887838+32 ~x887837+16 ~x887836+8 ~x887835+4 ~x887834+2 ~x887833+1 ~x887832+163840000000 ~x958+81920000000 ~x957+40960000000 ~x956+20480000000 ~x955+10240000000 ~x954+5120000000 ~x953+2560000000 ~x952+1280000000 ~x951+640000000 ~x950+320000000 ~x949+160000000 ~x948+80000000 ~x947+40000000 ~x946+20000000 ~x945+10000000 ~x944+5000000 ~x943+2500000 ~x942+24000001 x941-0=877433313887
21.68/21.71	c 70368744177664 ~x911914+35184372088832 ~x911913+17592186044416 ~x911912+8796093022208 ~x911911+4398046511104 ~x911910+2199023255552 ~x911909+1099511627776 ~x911908+549755813888 ~x911907+274877906944 ~x911906+137438953472 ~x911905+68719476736 ~x911904+34359738368 ~x911903+17179869184 ~x911902+8589934592 ~x911901+4294967296 ~x911900+2147483648 ~x911899+1073741824 ~x911898+536870912 ~x911897+268435456 ~x911896+134217728 ~x911895+67108864 ~x911894+33554432 ~x911893+16777216 ~x911892+8388608 ~x911891+4194304 ~x911890+2097152 ~x911889+1048576 ~x911888+524288 ~x911887+262144 ~x911886+131072 ~x911885+65536 ~x911884+32768 ~x911883+16384 ~x911882+8192 ~x911881+4096 ~x911880+2048 ~x911879+1024 ~x911878+512 ~x911877+256 ~x911876+128 ~x911875+64 ~x911874+32 ~x911873+16 ~x911872+8 ~x911871+4 ~x911870+2 ~x911869+1 ~x911868+11744574963712 ~x1195+5872287481856 ~x1194+2936143740928 ~x1193+1468071870464 ~x1192+734035935232 ~x1191+367017967616 ~x1190+183508983808 ~x1189+91754491904 ~x1188+45877245952 ~x1187+22938622976 ~x1186+11469311488 ~x1185+5734655744 ~x1184+2867327872 ~x1183+1433663936 ~x1182+716831968 ~x1181+358415984 ~x1180+179207992 ~x1179+53336000 ~x1178+1680000000 x888+41943040000000 ~x501+20971520000000 ~x500+10485760000000 ~x499+5242880000000 ~x498+2621440000000 ~x497+1310720000000 ~x496+655360000000 ~x495+327680000000 ~x494+163840000000 ~x493+81920000000 ~x492+40960000000 ~x491+20480000000 ~x490+10240000000 ~x489+5120000000 ~x488+2560000000 ~x487+1280000000 ~x486+640000000 ~x485+320000000 ~x484+160000000 ~x483+80000000 ~x482+40000000 ~x481+20000000 ~x480+10000000 ~x479+5000000 ~x478+2500000 ~x477+1250000 ~x476+625000 ~x475+312500 ~x474+156250 ~x473+78125 ~x472+41943040000000 x351+20971520000000 x350+10485760000000 x349+5242880000000 x348+2621440000000 x347+1310720000000 x346+655360000000 x345+327680000000 x344+163840000000 x343+81920000000 x342+40960000000 x341+20480000000 x340+10240000000 x339+5120000000 x338+2560000000 x337+1280000000 x336+640000000 x335+320000000 x334+160000000 x333+80000000 x332+40000000 x331+20000000 x330+10000000 x329+5000000 x328+2500000 x327+1250000 x326+625000 x325+312500 x324+156250 x323+78125 x322-0=248112592332634
23.38/23.46	c 70368744177664 ~x990004+35184372088832 ~x990003+17592186044416 ~x990002+8796093022208 ~x990001+4398046511104 ~x990000+2199023255552 ~x989999+1099511627776 ~x989998+549755813888 ~x989997+274877906944 ~x989996+137438953472 ~x989995+68719476736 ~x989994+34359738368 ~x989993+17179869184 ~x989992+8589934592 ~x989991+4294967296 ~x989990+2147483648 ~x989989+1073741824 ~x989988+536870912 ~x989987+268435456 ~x989986+134217728 ~x989985+67108864 ~x989984+33554432 ~x989983+16777216 ~x989982+8388608 ~x989981+4194304 ~x989980+2097152 ~x989979+1048576 ~x989978+524288 ~x989977+262144 ~x989976+131072 ~x989975+65536 ~x989974+32768 ~x989973+16384 ~x989972+8192 ~x989971+4096 ~x989970+2048 ~x989969+1024 ~x989968+512 ~x989967+256 ~x989966+128 ~x989965+64 ~x989964+32 ~x989963+16 ~x989962+8 ~x989961+4 ~x989960+2 ~x989959+1 ~x989958+18204327411712 ~x1104+9102163705856 ~x1103+4551081852928 ~x1102+2275540926464 ~x1101+1137770463232 ~x1100+568885231616 ~x1099+284442615808 ~x1098+142221307904 ~x1097+71110653952 ~x1096+35555326976 ~x1095+17777663488 ~x1094+8888831744 ~x1093+4444415872 ~x1092+2222207936 ~x1091+1111103968 ~x1090+555551984 ~x1089+277775992 ~x1088+53336000 ~x1087+1680000000 ~x888+41943040000000 x501+20971520000000 x500+10485760000000 x499+5242880000000 x498+2621440000000 x497+1310720000000 x496+655360000000 x495+327680000000 x494+163840000000 x493+81920000000 x492+40960000000 x491+20480000000 x490+10240000000 x489+5120000000 x488+2560000000 x487+1280000000 x486+640000000 x485+320000000 x484+160000000 x483+80000000 x482+40000000 x481+20000000 x480+10000000 x479+5000000 x478+2500000 x477+1250000 x476+625000 x475+312500 x474+156250 x473+78125 x472+41943040000000 ~x351+20971520000000 ~x350+10485760000000 ~x349+5242880000000 ~x348+2621440000000 ~x347+1310720000000 ~x346+655360000000 ~x345+327680000000 ~x344+163840000000 ~x343+81920000000 ~x342+40960000000 ~x341+20480000000 ~x340+10240000000 ~x339+5120000000 ~x338+2560000000 ~x337+1280000000 ~x336+640000000 ~x335+320000000 ~x334+160000000 ~x333+80000000 ~x332+40000000 ~x331+20000000 ~x330+10000000 ~x329+5000000 ~x328+2500000 ~x327+1250000 ~x326+625000 ~x325+312500 ~x324+156250 ~x323+78125 ~x322-0=261031998660634
25.18/25.22	c 70368744177664 ~x1068094+35184372088832 ~x1068093+17592186044416 ~x1068092+8796093022208 ~x1068091+4398046511104 ~x1068090+2199023255552 ~x1068089+1099511627776 ~x1068088+549755813888 ~x1068087+274877906944 ~x1068086+137438953472 ~x1068085+68719476736 ~x1068084+34359738368 ~x1068083+17179869184 ~x1068082+8589934592 ~x1068081+4294967296 ~x1068080+2147483648 ~x1068079+1073741824 ~x1068078+536870912 ~x1068077+268435456 ~x1068076+134217728 ~x1068075+67108864 ~x1068074+33554432 ~x1068073+16777216 ~x1068072+8388608 ~x1068071+4194304 ~x1068070+2097152 ~x1068069+1048576 ~x1068068+524288 ~x1068067+262144 ~x1068066+131072 ~x1068065+65536 ~x1068064+32768 ~x1068063+16384 ~x1068062+8192 ~x1068061+4096 ~x1068060+2048 ~x1068059+1024 ~x1068058+512 ~x1068057+256 ~x1068056+128 ~x1068055+64 ~x1068054+32 ~x1068053+16 ~x1068052+8 ~x1068051+4 ~x1068050+2 ~x1068049+1 ~x1068048+11744574963712 ~x1213+5872287481856 ~x1212+2936143740928 ~x1211+1468071870464 ~x1210+734035935232 ~x1209+367017967616 ~x1208+183508983808 ~x1207+91754491904 ~x1206+45877245952 ~x1205+22938622976 ~x1204+11469311488 ~x1203+5734655744 ~x1202+2867327872 ~x1201+1433663936 ~x1200+716831968 ~x1199+358415984 ~x1198+179207992 ~x1197+53336000 ~x1196+1680000000 x889+41943040000000 ~x531+20971520000000 ~x530+10485760000000 ~x529+5242880000000 ~x528+2621440000000 ~x527+1310720000000 ~x526+655360000000 ~x525+327680000000 ~x524+163840000000 ~x523+81920000000 ~x522+40960000000 ~x521+20480000000 ~x520+10240000000 ~x519+5120000000 ~x518+2560000000 ~x517+1280000000 ~x516+640000000 ~x515+320000000 ~x514+160000000 ~x513+80000000 ~x512+40000000 ~x511+20000000 ~x510+10000000 ~x509+5000000 ~x508+2500000 ~x507+1250000 ~x506+625000 ~x505+312500 ~x504+156250 ~x503+78125 ~x502+41943040000000 x381+20971520000000 x380+10485760000000 x379+5242880000000 x378+2621440000000 x377+1310720000000 x376+655360000000 x375+327680000000 x374+163840000000 x373+81920000000 x372+40960000000 x371+20480000000 x370+10240000000 x369+5120000000 x368+2560000000 x367+1280000000 x366+640000000 x365+320000000 x364+160000000 x363+80000000 x362+40000000 x361+20000000 x360+10000000 x359+5000000 x358+2500000 x357+1250000 x356+625000 x355+312500 x354+156250 x353+78125 x352-0=248112592332634
26.88/26.97	c 70368744177664 ~x1146184+35184372088832 ~x1146183+17592186044416 ~x1146182+8796093022208 ~x1146181+4398046511104 ~x1146180+2199023255552 ~x1146179+1099511627776 ~x1146178+549755813888 ~x1146177+274877906944 ~x1146176+137438953472 ~x1146175+68719476736 ~x1146174+34359738368 ~x1146173+17179869184 ~x1146172+8589934592 ~x1146171+4294967296 ~x1146170+2147483648 ~x1146169+1073741824 ~x1146168+536870912 ~x1146167+268435456 ~x1146166+134217728 ~x1146165+67108864 ~x1146164+33554432 ~x1146163+16777216 ~x1146162+8388608 ~x1146161+4194304 ~x1146160+2097152 ~x1146159+1048576 ~x1146158+524288 ~x1146157+262144 ~x1146156+131072 ~x1146155+65536 ~x1146154+32768 ~x1146153+16384 ~x1146152+8192 ~x1146151+4096 ~x1146150+2048 ~x1146149+1024 ~x1146148+512 ~x1146147+256 ~x1146146+128 ~x1146145+64 ~x1146144+32 ~x1146143+16 ~x1146142+8 ~x1146141+4 ~x1146140+2 ~x1146139+1 ~x1146138+18204327411712 ~x1122+9102163705856 ~x1121+4551081852928 ~x1120+2275540926464 ~x1119+1137770463232 ~x1118+568885231616 ~x1117+284442615808 ~x1116+142221307904 ~x1115+71110653952 ~x1114+35555326976 ~x1113+17777663488 ~x1112+8888831744 ~x1111+4444415872 ~x1110+2222207936 ~x1109+1111103968 ~x1108+555551984 ~x1107+277775992 ~x1106+53336000 ~x1105+1680000000 ~x889+41943040000000 x531+20971520000000 x530+10485760000000 x529+5242880000000 x528+2621440000000 x527+1310720000000 x526+655360000000 x525+327680000000 x524+163840000000 x523+81920000000 x522+40960000000 x521+20480000000 x520+10240000000 x519+5120000000 x518+2560000000 x517+1280000000 x516+640000000 x515+320000000 x514+160000000 x513+80000000 x512+40000000 x511+20000000 x510+10000000 x509+5000000 x508+2500000 x507+1250000 x506+625000 x505+312500 x504+156250 x503+78125 x502+41943040000000 ~x381+20971520000000 ~x380+10485760000000 ~x379+5242880000000 ~x378+2621440000000 ~x377+1310720000000 ~x376+655360000000 ~x375+327680000000 ~x374+163840000000 ~x373+81920000000 ~x372+40960000000 ~x371+20480000000 ~x370+10240000000 ~x369+5120000000 ~x368+2560000000 ~x367+1280000000 ~x366+640000000 ~x365+320000000 ~x364+160000000 ~x363+80000000 ~x362+40000000 ~x361+20000000 ~x360+10000000 ~x359+5000000 ~x358+2500000 ~x357+1250000 ~x356+625000 ~x355+312500 ~x354+156250 ~x353+78125 ~x352-0=261031998660634
28.68/28.73	c 70368744177664 ~x1224274+35184372088832 ~x1224273+17592186044416 ~x1224272+8796093022208 ~x1224271+4398046511104 ~x1224270+2199023255552 ~x1224269+1099511627776 ~x1224268+549755813888 ~x1224267+274877906944 ~x1224266+137438953472 ~x1224265+68719476736 ~x1224264+34359738368 ~x1224263+17179869184 ~x1224262+8589934592 ~x1224261+4294967296 ~x1224260+2147483648 ~x1224259+1073741824 ~x1224258+536870912 ~x1224257+268435456 ~x1224256+134217728 ~x1224255+67108864 ~x1224254+33554432 ~x1224253+16777216 ~x1224252+8388608 ~x1224251+4194304 ~x1224250+2097152 ~x1224249+1048576 ~x1224248+524288 ~x1224247+262144 ~x1224246+131072 ~x1224245+65536 ~x1224244+32768 ~x1224243+16384 ~x1224242+8192 ~x1224241+4096 ~x1224240+2048 ~x1224239+1024 ~x1224238+512 ~x1224237+256 ~x1224236+128 ~x1224235+64 ~x1224234+32 ~x1224233+16 ~x1224232+8 ~x1224231+4 ~x1224230+2 ~x1224229+1 ~x1224228+11744574963712 ~x1231+5872287481856 ~x1230+2936143740928 ~x1229+1468071870464 ~x1228+734035935232 ~x1227+367017967616 ~x1226+183508983808 ~x1225+91754491904 ~x1224+45877245952 ~x1223+22938622976 ~x1222+11469311488 ~x1221+5734655744 ~x1220+2867327872 ~x1219+1433663936 ~x1218+716831968 ~x1217+358415984 ~x1216+179207992 ~x1215+53336000 ~x1214+1680000000 x890+41943040000000 ~x561+20971520000000 ~x560+10485760000000 ~x559+5242880000000 ~x558+2621440000000 ~x557+1310720000000 ~x556+655360000000 ~x555+327680000000 ~x554+163840000000 ~x553+81920000000 ~x552+40960000000 ~x551+20480000000 ~x550+10240000000 ~x549+5120000000 ~x548+2560000000 ~x547+1280000000 ~x546+640000000 ~x545+320000000 ~x544+160000000 ~x543+80000000 ~x542+40000000 ~x541+20000000 ~x540+10000000 ~x539+5000000 ~x538+2500000 ~x537+1250000 ~x536+625000 ~x535+312500 ~x534+156250 ~x533+78125 ~x532+41943040000000 x411+20971520000000 x410+10485760000000 x409+5242880000000 x408+2621440000000 x407+1310720000000 x406+655360000000 x405+327680000000 x404+163840000000 x403+81920000000 x402+40960000000 x401+20480000000 x400+10240000000 x399+5120000000 x398+2560000000 x397+1280000000 x396+640000000 x395+320000000 x394+160000000 x393+80000000 x392+40000000 x391+20000000 x390+10000000 x389+5000000 x388+2500000 x387+1250000 x386+625000 x385+312500 x384+156250 x383+78125 x382-0=248112592332634
30.38/30.49	c 70368744177664 ~x1302364+35184372088832 ~x1302363+17592186044416 ~x1302362+8796093022208 ~x1302361+4398046511104 ~x1302360+2199023255552 ~x1302359+1099511627776 ~x1302358+549755813888 ~x1302357+274877906944 ~x1302356+137438953472 ~x1302355+68719476736 ~x1302354+34359738368 ~x1302353+17179869184 ~x1302352+8589934592 ~x1302351+4294967296 ~x1302350+2147483648 ~x1302349+1073741824 ~x1302348+536870912 ~x1302347+268435456 ~x1302346+134217728 ~x1302345+67108864 ~x1302344+33554432 ~x1302343+16777216 ~x1302342+8388608 ~x1302341+4194304 ~x1302340+2097152 ~x1302339+1048576 ~x1302338+524288 ~x1302337+262144 ~x1302336+131072 ~x1302335+65536 ~x1302334+32768 ~x1302333+16384 ~x1302332+8192 ~x1302331+4096 ~x1302330+2048 ~x1302329+1024 ~x1302328+512 ~x1302327+256 ~x1302326+128 ~x1302325+64 ~x1302324+32 ~x1302323+16 ~x1302322+8 ~x1302321+4 ~x1302320+2 ~x1302319+1 ~x1302318+18204327411712 ~x1140+9102163705856 ~x1139+4551081852928 ~x1138+2275540926464 ~x1137+1137770463232 ~x1136+568885231616 ~x1135+284442615808 ~x1134+142221307904 ~x1133+71110653952 ~x1132+35555326976 ~x1131+17777663488 ~x1130+8888831744 ~x1129+4444415872 ~x1128+2222207936 ~x1127+1111103968 ~x1126+555551984 ~x1125+277775992 ~x1124+53336000 ~x1123+1680000000 ~x890+41943040000000 x561+20971520000000 x560+10485760000000 x559+5242880000000 x558+2621440000000 x557+1310720000000 x556+655360000000 x555+327680000000 x554+163840000000 x553+81920000000 x552+40960000000 x551+20480000000 x550+10240000000 x549+5120000000 x548+2560000000 x547+1280000000 x546+640000000 x545+320000000 x544+160000000 x543+80000000 x542+40000000 x541+20000000 x540+10000000 x539+5000000 x538+2500000 x537+1250000 x536+625000 x535+312500 x534+156250 x533+78125 x532+41943040000000 ~x411+20971520000000 ~x410+10485760000000 ~x409+5242880000000 ~x408+2621440000000 ~x407+1310720000000 ~x406+655360000000 ~x405+327680000000 ~x404+163840000000 ~x403+81920000000 ~x402+40960000000 ~x401+20480000000 ~x400+10240000000 ~x399+5120000000 ~x398+2560000000 ~x397+1280000000 ~x396+640000000 ~x395+320000000 ~x394+160000000 ~x393+80000000 ~x392+40000000 ~x391+20000000 ~x390+10000000 ~x389+5000000 ~x388+2500000 ~x387+1250000 ~x386+625000 ~x385+312500 ~x384+156250 ~x383+78125 ~x382-0=261031998660634
32.18/32.24	c 70368744177664 ~x1380454+35184372088832 ~x1380453+17592186044416 ~x1380452+8796093022208 ~x1380451+4398046511104 ~x1380450+2199023255552 ~x1380449+1099511627776 ~x1380448+549755813888 ~x1380447+274877906944 ~x1380446+137438953472 ~x1380445+68719476736 ~x1380444+34359738368 ~x1380443+17179869184 ~x1380442+8589934592 ~x1380441+4294967296 ~x1380440+2147483648 ~x1380439+1073741824 ~x1380438+536870912 ~x1380437+268435456 ~x1380436+134217728 ~x1380435+67108864 ~x1380434+33554432 ~x1380433+16777216 ~x1380432+8388608 ~x1380431+4194304 ~x1380430+2097152 ~x1380429+1048576 ~x1380428+524288 ~x1380427+262144 ~x1380426+131072 ~x1380425+65536 ~x1380424+32768 ~x1380423+16384 ~x1380422+8192 ~x1380421+4096 ~x1380420+2048 ~x1380419+1024 ~x1380418+512 ~x1380417+256 ~x1380416+128 ~x1380415+64 ~x1380414+32 ~x1380413+16 ~x1380412+8 ~x1380411+4 ~x1380410+2 ~x1380409+1 ~x1380408+11744574963712 ~x1249+5872287481856 ~x1248+2936143740928 ~x1247+1468071870464 ~x1246+734035935232 ~x1245+367017967616 ~x1244+183508983808 ~x1243+91754491904 ~x1242+45877245952 ~x1241+22938622976 ~x1240+11469311488 ~x1239+5734655744 ~x1238+2867327872 ~x1237+1433663936 ~x1236+716831968 ~x1235+358415984 ~x1234+179207992 ~x1233+53336000 ~x1232+1680000000 x891+41943040000000 ~x591+20971520000000 ~x590+10485760000000 ~x589+5242880000000 ~x588+2621440000000 ~x587+1310720000000 ~x586+655360000000 ~x585+327680000000 ~x584+163840000000 ~x583+81920000000 ~x582+40960000000 ~x581+20480000000 ~x580+10240000000 ~x579+5120000000 ~x578+2560000000 ~x577+1280000000 ~x576+640000000 ~x575+320000000 ~x574+160000000 ~x573+80000000 ~x572+40000000 ~x571+20000000 ~x570+10000000 ~x569+5000000 ~x568+2500000 ~x567+1250000 ~x566+625000 ~x565+312500 ~x564+156250 ~x563+78125 ~x562+41943040000000 x441+20971520000000 x440+10485760000000 x439+5242880000000 x438+2621440000000 x437+1310720000000 x436+655360000000 x435+327680000000 x434+163840000000 x433+81920000000 x432+40960000000 x431+20480000000 x430+10240000000 x429+5120000000 x428+2560000000 x427+1280000000 x426+640000000 x425+320000000 x424+160000000 x423+80000000 x422+40000000 x421+20000000 x420+10000000 x419+5000000 x418+2500000 x417+1250000 x416+625000 x415+312500 x414+156250 x413+78125 x412-0=248112592332634
33.88/33.99	c 70368744177664 ~x1458544+35184372088832 ~x1458543+17592186044416 ~x1458542+8796093022208 ~x1458541+4398046511104 ~x1458540+2199023255552 ~x1458539+1099511627776 ~x1458538+549755813888 ~x1458537+274877906944 ~x1458536+137438953472 ~x1458535+68719476736 ~x1458534+34359738368 ~x1458533+17179869184 ~x1458532+8589934592 ~x1458531+4294967296 ~x1458530+2147483648 ~x1458529+1073741824 ~x1458528+536870912 ~x1458527+268435456 ~x1458526+134217728 ~x1458525+67108864 ~x1458524+33554432 ~x1458523+16777216 ~x1458522+8388608 ~x1458521+4194304 ~x1458520+2097152 ~x1458519+1048576 ~x1458518+524288 ~x1458517+262144 ~x1458516+131072 ~x1458515+65536 ~x1458514+32768 ~x1458513+16384 ~x1458512+8192 ~x1458511+4096 ~x1458510+2048 ~x1458509+1024 ~x1458508+512 ~x1458507+256 ~x1458506+128 ~x1458505+64 ~x1458504+32 ~x1458503+16 ~x1458502+8 ~x1458501+4 ~x1458500+2 ~x1458499+1 ~x1458498+18204327411712 ~x1158+9102163705856 ~x1157+4551081852928 ~x1156+2275540926464 ~x1155+1137770463232 ~x1154+568885231616 ~x1153+284442615808 ~x1152+142221307904 ~x1151+71110653952 ~x1150+35555326976 ~x1149+17777663488 ~x1148+8888831744 ~x1147+4444415872 ~x1146+2222207936 ~x1145+1111103968 ~x1144+555551984 ~x1143+277775992 ~x1142+53336000 ~x1141+1680000000 ~x891+41943040000000 x591+20971520000000 x590+10485760000000 x589+5242880000000 x588+2621440000000 x587+1310720000000 x586+655360000000 x585+327680000000 x584+163840000000 x583+81920000000 x582+40960000000 x581+20480000000 x580+10240000000 x579+5120000000 x578+2560000000 x577+1280000000 x576+640000000 x575+320000000 x574+160000000 x573+80000000 x572+40000000 x571+20000000 x570+10000000 x569+5000000 x568+2500000 x567+1250000 x566+625000 x565+312500 x564+156250 x563+78125 x562+41943040000000 ~x441+20971520000000 ~x440+10485760000000 ~x439+5242880000000 ~x438+2621440000000 ~x437+1310720000000 ~x436+655360000000 ~x435+327680000000 ~x434+163840000000 ~x433+81920000000 ~x432+40960000000 ~x431+20480000000 ~x430+10240000000 ~x429+5120000000 ~x428+2560000000 ~x427+1280000000 ~x426+640000000 ~x425+320000000 ~x424+160000000 ~x423+80000000 ~x422+40000000 ~x421+20000000 ~x420+10000000 ~x419+5000000 ~x418+2500000 ~x417+1250000 ~x416+625000 ~x415+312500 ~x414+156250 ~x413+78125 ~x412-0=261031998660634
35.67/35.75	c 70368744177664 ~x1536634+35184372088832 ~x1536633+17592186044416 ~x1536632+8796093022208 ~x1536631+4398046511104 ~x1536630+2199023255552 ~x1536629+1099511627776 ~x1536628+549755813888 ~x1536627+274877906944 ~x1536626+137438953472 ~x1536625+68719476736 ~x1536624+34359738368 ~x1536623+17179869184 ~x1536622+8589934592 ~x1536621+4294967296 ~x1536620+2147483648 ~x1536619+1073741824 ~x1536618+536870912 ~x1536617+268435456 ~x1536616+134217728 ~x1536615+67108864 ~x1536614+33554432 ~x1536613+16777216 ~x1536612+8388608 ~x1536611+4194304 ~x1536610+2097152 ~x1536609+1048576 ~x1536608+524288 ~x1536607+262144 ~x1536606+131072 ~x1536605+65536 ~x1536604+32768 ~x1536603+16384 ~x1536602+8192 ~x1536601+4096 ~x1536600+2048 ~x1536599+1024 ~x1536598+512 ~x1536597+256 ~x1536596+128 ~x1536595+64 ~x1536594+32 ~x1536593+16 ~x1536592+8 ~x1536591+4 ~x1536590+2 ~x1536589+1 ~x1536588+11744574963712 ~x1268+5872287481856 ~x1267+2936143740928 ~x1266+1468071870464 ~x1265+734035935232 ~x1264+367017967616 ~x1263+183508983808 ~x1262+91754491904 ~x1261+45877245952 ~x1260+22938622976 ~x1259+11469311488 ~x1258+5734655744 ~x1257+2867327872 ~x1256+1433663936 ~x1255+716831968 ~x1254+358415984 ~x1253+179207992 ~x1252+53336000 ~x1250+1680000000 x893+41943040000000 ~x622+20971520000000 ~x621+10485760000000 ~x620+5242880000000 ~x619+2621440000000 ~x618+1310720000000 ~x617+655360000000 ~x616+327680000000 ~x615+163840000000 ~x614+81920000000 ~x613+40960000000 ~x612+20480000000 ~x611+10240000000 ~x610+5120000000 ~x609+2560000000 ~x608+1280000000 ~x607+640000000 ~x606+320000000 ~x605+160000000 ~x604+80000000 ~x603+40000000 ~x602+20000000 ~x601+10000000 ~x600+5000000 ~x599+2500000 ~x598+1250000 ~x597+625000 ~x596+312500 ~x595+156250 ~x594+78125 ~x593+41943040000000 x471+20971520000000 x470+10485760000000 x469+5242880000000 x468+2621440000000 x467+1310720000000 x466+655360000000 x465+327680000000 x464+163840000000 x463+81920000000 x462+40960000000 x461+20480000000 x460+10240000000 x459+5120000000 x458+2560000000 x457+1280000000 x456+640000000 x455+320000000 x454+160000000 x453+80000000 x452+40000000 x451+20000000 x450+10000000 x449+5000000 x448+2500000 x447+1250000 x446+625000 x445+312500 x444+156250 x443+78125 x442-0=248112592332634
37.48/37.52	c 70368744177664 ~x1614724+35184372088832 ~x1614723+17592186044416 ~x1614722+8796093022208 ~x1614721+4398046511104 ~x1614720+2199023255552 ~x1614719+1099511627776 ~x1614718+549755813888 ~x1614717+274877906944 ~x1614716+137438953472 ~x1614715+68719476736 ~x1614714+34359738368 ~x1614713+17179869184 ~x1614712+8589934592 ~x1614711+4294967296 ~x1614710+2147483648 ~x1614709+1073741824 ~x1614708+536870912 ~x1614707+268435456 ~x1614706+134217728 ~x1614705+67108864 ~x1614704+33554432 ~x1614703+16777216 ~x1614702+8388608 ~x1614701+4194304 ~x1614700+2097152 ~x1614699+1048576 ~x1614698+524288 ~x1614697+262144 ~x1614696+131072 ~x1614695+65536 ~x1614694+32768 ~x1614693+16384 ~x1614692+8192 ~x1614691+4096 ~x1614690+2048 ~x1614689+1024 ~x1614688+512 ~x1614687+256 ~x1614686+128 ~x1614685+64 ~x1614684+32 ~x1614683+16 ~x1614682+8 ~x1614681+4 ~x1614680+2 ~x1614679+1 ~x1614678+18204327411712 ~x1177+9102163705856 ~x1176+4551081852928 ~x1175+2275540926464 ~x1174+1137770463232 ~x1173+568885231616 ~x1172+284442615808 ~x1171+142221307904 ~x1170+71110653952 ~x1169+35555326976 ~x1168+17777663488 ~x1167+8888831744 ~x1166+4444415872 ~x1165+2222207936 ~x1164+1111103968 ~x1163+555551984 ~x1162+277775992 ~x1161+53336000 ~x1159+1680000000 ~x893+41943040000000 x622+20971520000000 x621+10485760000000 x620+5242880000000 x619+2621440000000 x618+1310720000000 x617+655360000000 x616+327680000000 x615+163840000000 x614+81920000000 x613+40960000000 x612+20480000000 x611+10240000000 x610+5120000000 x609+2560000000 x608+1280000000 x607+640000000 x606+320000000 x605+160000000 x604+80000000 x603+40000000 x602+20000000 x601+10000000 x600+5000000 x599+2500000 x598+1250000 x597+625000 x596+312500 x595+156250 x594+78125 x593+41943040000000 ~x471+20971520000000 ~x470+10485760000000 ~x469+5242880000000 ~x468+2621440000000 ~x467+1310720000000 ~x466+655360000000 ~x465+327680000000 ~x464+163840000000 ~x463+81920000000 ~x462+40960000000 ~x461+20480000000 ~x460+10240000000 ~x459+5120000000 ~x458+2560000000 ~x457+1280000000 ~x456+640000000 ~x455+320000000 ~x454+160000000 ~x453+80000000 ~x452+40000000 ~x451+20000000 ~x450+10000000 ~x449+5000000 ~x448+2500000 ~x447+1250000 ~x446+625000 ~x445+312500 ~x444+156250 ~x443+78125 ~x442-0=261031998660634
39.17/39.27	c 70368744177664 ~x1692815+35184372088832 ~x1692814+17592186044416 ~x1692813+8796093022208 ~x1692812+4398046511104 ~x1692811+2199023255552 ~x1692810+1099511627776 ~x1692809+549755813888 ~x1692808+274877906944 ~x1692807+137438953472 ~x1692806+68719476736 ~x1692805+34359738368 ~x1692804+17179869184 ~x1692803+8589934592 ~x1692802+4294967296 ~x1692801+2147483648 ~x1692800+1073741824 ~x1692799+536870912 ~x1692798+268435456 ~x1692797+134217728 ~x1692796+67108864 ~x1692795+33554432 ~x1692794+16777216 ~x1692793+8388608 ~x1692792+4194304 ~x1692791+2097152 ~x1692790+1048576 ~x1692789+524288 ~x1692788+262144 ~x1692787+131072 ~x1692786+65536 ~x1692785+32768 ~x1692784+16384 ~x1692783+8192 ~x1692782+4096 ~x1692781+2048 ~x1692780+1024 ~x1692779+512 ~x1692778+256 ~x1692777+128 ~x1692776+64 ~x1692775+32 ~x1692774+16 ~x1692773+8 ~x1692772+4 ~x1692771+2 ~x1692770+1 ~x1692769+10922492428288 ~x1286+5461246214144 ~x1285+2730623107072 ~x1284+1365311553536 ~x1283+682655776768 ~x1282+341327888384 ~x1281+170663944192 ~x1280+85331972096 ~x1279+42665986048 ~x1278+21332993024 ~x1277+10666496512 ~x1276+5333248256 ~x1275+2666624128 ~x1274+1333312064 ~x1273+666656032 ~x1272+333328016 ~x1271+166664008 ~x1270+53336000 ~x1269+1680000000 x894+41943040000000 ~x652+20971520000000 ~x651+10485760000000 ~x650+5242880000000 ~x649+2621440000000 ~x648+1310720000000 ~x647+655360000000 ~x646+327680000000 ~x645+163840000000 ~x644+81920000000 ~x643+40960000000 ~x642+20480000000 ~x641+10240000000 ~x640+5120000000 ~x639+2560000000 ~x638+1280000000 ~x637+640000000 ~x636+320000000 ~x635+160000000 ~x634+80000000 ~x633+40000000 ~x632+20000000 ~x631+10000000 ~x630+5000000 ~x629+2500000 ~x628+1250000 ~x627+625000 ~x626+312500 ~x625+156250 ~x624+78125 ~x623+41943040000000 x351+20971520000000 x350+10485760000000 x349+5242880000000 x348+2621440000000 x347+1310720000000 x346+655360000000 x345+327680000000 x344+163840000000 x343+81920000000 x342+40960000000 x341+20480000000 x340+10240000000 x339+5120000000 x338+2560000000 x337+1280000000 x336+640000000 x335+320000000 x334+160000000 x333+80000000 x332+40000000 x331+20000000 x330+10000000 x329+5000000 x328+2500000 x327+1250000 x326+625000 x325+312500 x324+156250 x323+78125 x322-0=246468439805770
40.98/41.02	c 70368744177664 ~x1770905+35184372088832 ~x1770904+17592186044416 ~x1770903+8796093022208 ~x1770902+4398046511104 ~x1770901+2199023255552 ~x1770900+1099511627776 ~x1770899+549755813888 ~x1770898+274877906944 ~x1770897+137438953472 ~x1770896+68719476736 ~x1770895+34359738368 ~x1770894+17179869184 ~x1770893+8589934592 ~x1770892+4294967296 ~x1770891+2147483648 ~x1770890+1073741824 ~x1770889+536870912 ~x1770888+268435456 ~x1770887+134217728 ~x1770886+67108864 ~x1770885+33554432 ~x1770884+16777216 ~x1770883+8388608 ~x1770882+4194304 ~x1770881+2097152 ~x1770880+1048576 ~x1770879+524288 ~x1770878+262144 ~x1770877+131072 ~x1770876+65536 ~x1770875+32768 ~x1770874+16384 ~x1770873+8192 ~x1770872+4096 ~x1770871+2048 ~x1770870+1024 ~x1770869+512 ~x1770868+256 ~x1770867+128 ~x1770866+64 ~x1770865+32 ~x1770864+16 ~x1770863+8 ~x1770862+4 ~x1770861+2 ~x1770860+1 ~x1770859+18204327411712 ~x1104+9102163705856 ~x1103+4551081852928 ~x1102+2275540926464 ~x1101+1137770463232 ~x1100+568885231616 ~x1099+284442615808 ~x1098+142221307904 ~x1097+71110653952 ~x1096+35555326976 ~x1095+17777663488 ~x1094+8888831744 ~x1093+4444415872 ~x1092+2222207936 ~x1091+1111103968 ~x1090+555551984 ~x1089+277775992 ~x1088+53336000 ~x1087+1680000000 ~x894+41943040000000 x652+20971520000000 x651+10485760000000 x650+5242880000000 x649+2621440000000 x648+1310720000000 x647+655360000000 x646+327680000000 x645+163840000000 x644+81920000000 x643+40960000000 x642+20480000000 x641+10240000000 x640+5120000000 x639+2560000000 x638+1280000000 x637+640000000 x636+320000000 x635+160000000 x634+80000000 x633+40000000 x632+20000000 x631+10000000 x630+5000000 x629+2500000 x628+1250000 x627+625000 x626+312500 x625+156250 x624+78125 x623+41943040000000 ~x351+20971520000000 ~x350+10485760000000 ~x349+5242880000000 ~x348+2621440000000 ~x347+1310720000000 ~x346+655360000000 ~x345+327680000000 ~x344+163840000000 ~x343+81920000000 ~x342+40960000000 ~x341+20480000000 ~x340+10240000000 ~x339+5120000000 ~x338+2560000000 ~x337+1280000000 ~x336+640000000 ~x335+320000000 ~x334+160000000 ~x333+80000000 ~x332+40000000 ~x331+20000000 ~x330+10000000 ~x329+5000000 ~x328+2500000 ~x327+1250000 ~x326+625000 ~x325+312500 ~x324+156250 ~x323+78125 ~x322-0=261031998660634
42.67/42.78	c 70368744177664 ~x1848995+35184372088832 ~x1848994+17592186044416 ~x1848993+8796093022208 ~x1848992+4398046511104 ~x1848991+2199023255552 ~x1848990+1099511627776 ~x1848989+549755813888 ~x1848988+274877906944 ~x1848987+137438953472 ~x1848986+68719476736 ~x1848985+34359738368 ~x1848984+17179869184 ~x1848983+8589934592 ~x1848982+4294967296 ~x1848981+2147483648 ~x1848980+1073741824 ~x1848979+536870912 ~x1848978+268435456 ~x1848977+134217728 ~x1848976+67108864 ~x1848975+33554432 ~x1848974+16777216 ~x1848973+8388608 ~x1848972+4194304 ~x1848971+2097152 ~x1848970+1048576 ~x1848969+524288 ~x1848968+262144 ~x1848967+131072 ~x1848966+65536 ~x1848965+32768 ~x1848964+16384 ~x1848963+8192 ~x1848962+4096 ~x1848961+2048 ~x1848960+1024 ~x1848959+512 ~x1848958+256 ~x1848957+128 ~x1848956+64 ~x1848955+32 ~x1848954+16 ~x1848953+8 ~x1848952+4 ~x1848951+2 ~x1848950+1 ~x1848949+10922492428288 ~x1304+5461246214144 ~x1303+2730623107072 ~x1302+1365311553536 ~x1301+682655776768 ~x1300+341327888384 ~x1299+170663944192 ~x1298+85331972096 ~x1297+42665986048 ~x1296+21332993024 ~x1295+10666496512 ~x1294+5333248256 ~x1293+2666624128 ~x1292+1333312064 ~x1291+666656032 ~x1290+333328016 ~x1289+166664008 ~x1288+53336000 ~x1287+1680000000 x895+41943040000000 ~x682+20971520000000 ~x681+10485760000000 ~x680+5242880000000 ~x679+2621440000000 ~x678+1310720000000 ~x677+655360000000 ~x676+327680000000 ~x675+163840000000 ~x674+81920000000 ~x673+40960000000 ~x672+20480000000 ~x671+10240000000 ~x670+5120000000 ~x669+2560000000 ~x668+1280000000 ~x667+640000000 ~x666+320000000 ~x665+160000000 ~x664+80000000 ~x663+40000000 ~x662+20000000 ~x661+10000000 ~x660+5000000 ~x659+2500000 ~x658+1250000 ~x657+625000 ~x656+312500 ~x655+156250 ~x654+78125 ~x653+41943040000000 x381+20971520000000 x380+10485760000000 x379+5242880000000 x378+2621440000000 x377+1310720000000 x376+655360000000 x375+327680000000 x374+163840000000 x373+81920000000 x372+40960000000 x371+20480000000 x370+10240000000 x369+5120000000 x368+2560000000 x367+1280000000 x366+640000000 x365+320000000 x364+160000000 x363+80000000 x362+40000000 x361+20000000 x360+10000000 x359+5000000 x358+2500000 x357+1250000 x356+625000 x355+312500 x354+156250 x353+78125 x352-0=246468439805770
44.47/44.53	c 70368744177664 ~x1927085+35184372088832 ~x1927084+17592186044416 ~x1927083+8796093022208 ~x1927082+4398046511104 ~x1927081+2199023255552 ~x1927080+1099511627776 ~x1927079+549755813888 ~x1927078+274877906944 ~x1927077+137438953472 ~x1927076+68719476736 ~x1927075+34359738368 ~x1927074+17179869184 ~x1927073+8589934592 ~x1927072+4294967296 ~x1927071+2147483648 ~x1927070+1073741824 ~x1927069+536870912 ~x1927068+268435456 ~x1927067+134217728 ~x1927066+67108864 ~x1927065+33554432 ~x1927064+16777216 ~x1927063+8388608 ~x1927062+4194304 ~x1927061+2097152 ~x1927060+1048576 ~x1927059+524288 ~x1927058+262144 ~x1927057+131072 ~x1927056+65536 ~x1927055+32768 ~x1927054+16384 ~x1927053+8192 ~x1927052+4096 ~x1927051+2048 ~x1927050+1024 ~x1927049+512 ~x1927048+256 ~x1927047+128 ~x1927046+64 ~x1927045+32 ~x1927044+16 ~x1927043+8 ~x1927042+4 ~x1927041+2 ~x1927040+1 ~x1927039+18204327411712 ~x1122+9102163705856 ~x1121+4551081852928 ~x1120+2275540926464 ~x1119+1137770463232 ~x1118+568885231616 ~x1117+284442615808 ~x1116+142221307904 ~x1115+71110653952 ~x1114+35555326976 ~x1113+17777663488 ~x1112+8888831744 ~x1111+4444415872 ~x1110+2222207936 ~x1109+1111103968 ~x1108+555551984 ~x1107+277775992 ~x1106+53336000 ~x1105+1680000000 ~x895+41943040000000 x682+20971520000000 x681+10485760000000 x680+5242880000000 x679+2621440000000 x678+1310720000000 x677+655360000000 x676+327680000000 x675+163840000000 x674+81920000000 x673+40960000000 x672+20480000000 x671+10240000000 x670+5120000000 x669+2560000000 x668+1280000000 x667+640000000 x666+320000000 x665+160000000 x664+80000000 x663+40000000 x662+20000000 x661+10000000 x660+5000000 x659+2500000 x658+1250000 x657+625000 x656+312500 x655+156250 x654+78125 x653+41943040000000 ~x381+20971520000000 ~x380+10485760000000 ~x379+5242880000000 ~x378+2621440000000 ~x377+1310720000000 ~x376+655360000000 ~x375+327680000000 ~x374+163840000000 ~x373+81920000000 ~x372+40960000000 ~x371+20480000000 ~x370+10240000000 ~x369+5120000000 ~x368+2560000000 ~x367+1280000000 ~x366+640000000 ~x365+320000000 ~x364+160000000 ~x363+80000000 ~x362+40000000 ~x361+20000000 ~x360+10000000 ~x359+5000000 ~x358+2500000 ~x357+1250000 ~x356+625000 ~x355+312500 ~x354+156250 ~x353+78125 ~x352-0=261031998660634
46.27/46.30	c 70368744177664 ~x2005175+35184372088832 ~x2005174+17592186044416 ~x2005173+8796093022208 ~x2005172+4398046511104 ~x2005171+2199023255552 ~x2005170+1099511627776 ~x2005169+549755813888 ~x2005168+274877906944 ~x2005167+137438953472 ~x2005166+68719476736 ~x2005165+34359738368 ~x2005164+17179869184 ~x2005163+8589934592 ~x2005162+4294967296 ~x2005161+2147483648 ~x2005160+1073741824 ~x2005159+536870912 ~x2005158+268435456 ~x2005157+134217728 ~x2005156+67108864 ~x2005155+33554432 ~x2005154+16777216 ~x2005153+8388608 ~x2005152+4194304 ~x2005151+2097152 ~x2005150+1048576 ~x2005149+524288 ~x2005148+262144 ~x2005147+131072 ~x2005146+65536 ~x2005145+32768 ~x2005144+16384 ~x2005143+8192 ~x2005142+4096 ~x2005141+2048 ~x2005140+1024 ~x2005139+512 ~x2005138+256 ~x2005137+128 ~x2005136+64 ~x2005135+32 ~x2005134+16 ~x2005133+8 ~x2005132+4 ~x2005131+2 ~x2005130+1 ~x2005129+10922492428288 ~x1322+5461246214144 ~x1321+2730623107072 ~x1320+1365311553536 ~x1319+682655776768 ~x1318+341327888384 ~x1317+170663944192 ~x1316+85331972096 ~x1315+42665986048 ~x1314+21332993024 ~x1313+10666496512 ~x1312+5333248256 ~x1311+2666624128 ~x1310+1333312064 ~x1309+666656032 ~x1308+333328016 ~x1307+166664008 ~x1306+53336000 ~x1305+1680000000 x896+41943040000000 ~x712+20971520000000 ~x711+10485760000000 ~x710+5242880000000 ~x709+2621440000000 ~x708+1310720000000 ~x707+655360000000 ~x706+327680000000 ~x705+163840000000 ~x704+81920000000 ~x703+40960000000 ~x702+20480000000 ~x701+10240000000 ~x700+5120000000 ~x699+2560000000 ~x698+1280000000 ~x697+640000000 ~x696+320000000 ~x695+160000000 ~x694+80000000 ~x693+40000000 ~x692+20000000 ~x691+10000000 ~x690+5000000 ~x689+2500000 ~x688+1250000 ~x687+625000 ~x686+312500 ~x685+156250 ~x684+78125 ~x683+41943040000000 x411+20971520000000 x410+10485760000000 x409+5242880000000 x408+2621440000000 x407+1310720000000 x406+655360000000 x405+327680000000 x404+163840000000 x403+81920000000 x402+40960000000 x401+20480000000 x400+10240000000 x399+5120000000 x398+2560000000 x397+1280000000 x396+640000000 x395+320000000 x394+160000000 x393+80000000 x392+40000000 x391+20000000 x390+10000000 x389+5000000 x388+2500000 x387+1250000 x386+625000 x385+312500 x384+156250 x383+78125 x382-0=246468439805770
47.97/48.05	c 70368744177664 ~x2083265+35184372088832 ~x2083264+17592186044416 ~x2083263+8796093022208 ~x2083262+4398046511104 ~x2083261+2199023255552 ~x2083260+1099511627776 ~x2083259+549755813888 ~x2083258+274877906944 ~x2083257+137438953472 ~x2083256+68719476736 ~x2083255+34359738368 ~x2083254+17179869184 ~x2083253+8589934592 ~x2083252+4294967296 ~x2083251+2147483648 ~x2083250+1073741824 ~x2083249+536870912 ~x2083248+268435456 ~x2083247+134217728 ~x2083246+67108864 ~x2083245+33554432 ~x2083244+16777216 ~x2083243+8388608 ~x2083242+4194304 ~x2083241+2097152 ~x2083240+1048576 ~x2083239+524288 ~x2083238+262144 ~x2083237+131072 ~x2083236+65536 ~x2083235+32768 ~x2083234+16384 ~x2083233+8192 ~x2083232+4096 ~x2083231+2048 ~x2083230+1024 ~x2083229+512 ~x2083228+256 ~x2083227+128 ~x2083226+64 ~x2083225+32 ~x2083224+16 ~x2083223+8 ~x2083222+4 ~x2083221+2 ~x2083220+1 ~x2083219+18204327411712 ~x1140+9102163705856 ~x1139+4551081852928 ~x1138+2275540926464 ~x1137+1137770463232 ~x1136+568885231616 ~x1135+284442615808 ~x1134+142221307904 ~x1133+71110653952 ~x1132+35555326976 ~x1131+17777663488 ~x1130+8888831744 ~x1129+4444415872 ~x1128+2222207936 ~x1127+1111103968 ~x1126+555551984 ~x1125+277775992 ~x1124+53336000 ~x1123+1680000000 ~x896+41943040000000 x712+20971520000000 x711+10485760000000 x710+5242880000000 x709+2621440000000 x708+1310720000000 x707+655360000000 x706+327680000000 x705+163840000000 x704+81920000000 x703+40960000000 x702+20480000000 x701+10240000000 x700+5120000000 x699+2560000000 x698+1280000000 x697+640000000 x696+320000000 x695+160000000 x694+80000000 x693+40000000 x692+20000000 x691+10000000 x690+5000000 x689+2500000 x688+1250000 x687+625000 x686+312500 x685+156250 x684+78125 x683+41943040000000 ~x411+20971520000000 ~x410+10485760000000 ~x409+5242880000000 ~x408+2621440000000 ~x407+1310720000000 ~x406+655360000000 ~x405+327680000000 ~x404+163840000000 ~x403+81920000000 ~x402+40960000000 ~x401+20480000000 ~x400+10240000000 ~x399+5120000000 ~x398+2560000000 ~x397+1280000000 ~x396+640000000 ~x395+320000000 ~x394+160000000 ~x393+80000000 ~x392+40000000 ~x391+20000000 ~x390+10000000 ~x389+5000000 ~x388+2500000 ~x387+1250000 ~x386+625000 ~x385+312500 ~x384+156250 ~x383+78125 ~x382-0=261031998660634
49.77/49.80	c 70368744177664 ~x2161355+35184372088832 ~x2161354+17592186044416 ~x2161353+8796093022208 ~x2161352+4398046511104 ~x2161351+2199023255552 ~x2161350+1099511627776 ~x2161349+549755813888 ~x2161348+274877906944 ~x2161347+137438953472 ~x2161346+68719476736 ~x2161345+34359738368 ~x2161344+17179869184 ~x2161343+8589934592 ~x2161342+4294967296 ~x2161341+2147483648 ~x2161340+1073741824 ~x2161339+536870912 ~x2161338+268435456 ~x2161337+134217728 ~x2161336+67108864 ~x2161335+33554432 ~x2161334+16777216 ~x2161333+8388608 ~x2161332+4194304 ~x2161331+2097152 ~x2161330+1048576 ~x2161329+524288 ~x2161328+262144 ~x2161327+131072 ~x2161326+65536 ~x2161325+32768 ~x2161324+16384 ~x2161323+8192 ~x2161322+4096 ~x2161321+2048 ~x2161320+1024 ~x2161319+512 ~x2161318+256 ~x2161317+128 ~x2161316+64 ~x2161315+32 ~x2161314+16 ~x2161313+8 ~x2161312+4 ~x2161311+2 ~x2161310+1 ~x2161309+10922492428288 ~x1340+5461246214144 ~x1339+2730623107072 ~x1338+1365311553536 ~x1337+682655776768 ~x1336+341327888384 ~x1335+170663944192 ~x1334+85331972096 ~x1333+42665986048 ~x1332+21332993024 ~x1331+10666496512 ~x1330+5333248256 ~x1329+2666624128 ~x1328+1333312064 ~x1327+666656032 ~x1326+333328016 ~x1325+166664008 ~x1324+53336000 ~x1323+1680000000 x897+41943040000000 ~x742+20971520000000 ~x741+10485760000000 ~x740+5242880000000 ~x739+2621440000000 ~x738+1310720000000 ~x737+655360000000 ~x736+327680000000 ~x735+163840000000 ~x734+81920000000 ~x733+40960000000 ~x732+20480000000 ~x731+10240000000 ~x730+5120000000 ~x729+2560000000 ~x728+1280000000 ~x727+640000000 ~x726+320000000 ~x725+160000000 ~x724+80000000 ~x723+40000000 ~x722+20000000 ~x721+10000000 ~x720+5000000 ~x719+2500000 ~x718+1250000 ~x717+625000 ~x716+312500 ~x715+156250 ~x714+78125 ~x713+41943040000000 x441+20971520000000 x440+10485760000000 x439+5242880000000 x438+2621440000000 x437+1310720000000 x436+655360000000 x435+327680000000 x434+163840000000 x433+81920000000 x432+40960000000 x431+20480000000 x430+10240000000 x429+5120000000 x428+2560000000 x427+1280000000 x426+640000000 x425+320000000 x424+160000000 x423+80000000 x422+40000000 x421+20000000 x420+10000000 x419+5000000 x418+2500000 x417+1250000 x416+625000 x415+312500 x414+156250 x413+78125 x412-0=246468439805770
51.47/51.56	c 70368744177664 ~x2239445+35184372088832 ~x2239444+17592186044416 ~x2239443+8796093022208 ~x2239442+4398046511104 ~x2239441+2199023255552 ~x2239440+1099511627776 ~x2239439+549755813888 ~x2239438+274877906944 ~x2239437+137438953472 ~x2239436+68719476736 ~x2239435+34359738368 ~x2239434+17179869184 ~x2239433+8589934592 ~x2239432+4294967296 ~x2239431+2147483648 ~x2239430+1073741824 ~x2239429+536870912 ~x2239428+268435456 ~x2239427+134217728 ~x2239426+67108864 ~x2239425+33554432 ~x2239424+16777216 ~x2239423+8388608 ~x2239422+4194304 ~x2239421+2097152 ~x2239420+1048576 ~x2239419+524288 ~x2239418+262144 ~x2239417+131072 ~x2239416+65536 ~x2239415+32768 ~x2239414+16384 ~x2239413+8192 ~x2239412+4096 ~x2239411+2048 ~x2239410+1024 ~x2239409+512 ~x2239408+256 ~x2239407+128 ~x2239406+64 ~x2239405+32 ~x2239404+16 ~x2239403+8 ~x2239402+4 ~x2239401+2 ~x2239400+1 ~x2239399+18204327411712 ~x1158+9102163705856 ~x1157+4551081852928 ~x1156+2275540926464 ~x1155+1137770463232 ~x1154+568885231616 ~x1153+284442615808 ~x1152+142221307904 ~x1151+71110653952 ~x1150+35555326976 ~x1149+17777663488 ~x1148+8888831744 ~x1147+4444415872 ~x1146+2222207936 ~x1145+1111103968 ~x1144+555551984 ~x1143+277775992 ~x1142+53336000 ~x1141+1680000000 ~x897+41943040000000 x742+20971520000000 x741+10485760000000 x740+5242880000000 x739+2621440000000 x738+1310720000000 x737+655360000000 x736+327680000000 x735+163840000000 x734+81920000000 x733+40960000000 x732+20480000000 x731+10240000000 x730+5120000000 x729+2560000000 x728+1280000000 x727+640000000 x726+320000000 x725+160000000 x724+80000000 x723+40000000 x722+20000000 x721+10000000 x720+5000000 x719+2500000 x718+1250000 x717+625000 x716+312500 x715+156250 x714+78125 x713+41943040000000 ~x441+20971520000000 ~x440+10485760000000 ~x439+5242880000000 ~x438+2621440000000 ~x437+1310720000000 ~x436+655360000000 ~x435+327680000000 ~x434+163840000000 ~x433+81920000000 ~x432+40960000000 ~x431+20480000000 ~x430+10240000000 ~x429+5120000000 ~x428+2560000000 ~x427+1280000000 ~x426+640000000 ~x425+320000000 ~x424+160000000 ~x423+80000000 ~x422+40000000 ~x421+20000000 ~x420+10000000 ~x419+5000000 ~x418+2500000 ~x417+1250000 ~x416+625000 ~x415+312500 ~x414+156250 ~x413+78125 ~x412-0=261031998660634
53.27/53.31	c 70368744177664 ~x2317535+35184372088832 ~x2317534+17592186044416 ~x2317533+8796093022208 ~x2317532+4398046511104 ~x2317531+2199023255552 ~x2317530+1099511627776 ~x2317529+549755813888 ~x2317528+274877906944 ~x2317527+137438953472 ~x2317526+68719476736 ~x2317525+34359738368 ~x2317524+17179869184 ~x2317523+8589934592 ~x2317522+4294967296 ~x2317521+2147483648 ~x2317520+1073741824 ~x2317519+536870912 ~x2317518+268435456 ~x2317517+134217728 ~x2317516+67108864 ~x2317515+33554432 ~x2317514+16777216 ~x2317513+8388608 ~x2317512+4194304 ~x2317511+2097152 ~x2317510+1048576 ~x2317509+524288 ~x2317508+262144 ~x2317507+131072 ~x2317506+65536 ~x2317505+32768 ~x2317504+16384 ~x2317503+8192 ~x2317502+4096 ~x2317501+2048 ~x2317500+1024 ~x2317499+512 ~x2317498+256 ~x2317497+128 ~x2317496+64 ~x2317495+32 ~x2317494+16 ~x2317493+8 ~x2317492+4 ~x2317491+2 ~x2317490+1 ~x2317489+53336000 ~x1341+1680000000 x898+41943040000000 ~x772+20971520000000 ~x771+10485760000000 ~x770+5242880000000 ~x769+2621440000000 ~x768+1310720000000 ~x767+655360000000 ~x766+327680000000 ~x765+163840000000 ~x764+81920000000 ~x763+40960000000 ~x762+20480000000 ~x761+10240000000 ~x760+5120000000 ~x759+2560000000 ~x758+1280000000 ~x757+640000000 ~x756+320000000 ~x755+160000000 ~x754+80000000 ~x753+40000000 ~x752+20000000 ~x751+10000000 ~x750+5000000 ~x749+2500000 ~x748+1250000 ~x747+625000 ~x746+312500 ~x745+156250 ~x744+78125 ~x743+41943040000000 x471+20971520000000 x470+10485760000000 x469+5242880000000 x468+2621440000000 x467+1310720000000 x466+655360000000 x465+327680000000 x464+163840000000 x463+81920000000 x462+40960000000 x461+20480000000 x460+10240000000 x459+5120000000 x458+2560000000 x457+1280000000 x456+640000000 x455+320000000 x454+160000000 x453+80000000 x452+40000000 x451+20000000 x450+10000000 x449+5000000 x448+2500000 x447+1250000 x446+625000 x445+312500 x444+156250 x443+78125 x442+10922492428288 ~x20+5461246214144 ~x19+2730623107072 ~x18+1365311553536 ~x17+682655776768 ~x16+341327888384 ~x15+170663944192 ~x14+85331972096 ~x13+42665986048 ~x12+21332993024 ~x11+10666496512 ~x10+5333248256 ~x9+2666624128 ~x8+1333312064 ~x7+666656032 ~x6+333328016 ~x5+166664008 ~x4-0=246468439805770
54.97/55.04	c 70368744177664 ~x2396063+35184372088832 ~x2396062+17592186044416 ~x2396061+8796093022208 ~x2396060+4398046511104 ~x2396059+2199023255552 ~x2396058+1099511627776 ~x2396057+549755813888 ~x2396056+274877906944 ~x2396055+137438953472 ~x2396054+68719476736 ~x2396053+34359738368 ~x2396052+17179869184 ~x2396051+8589934592 ~x2396050+4294967296 ~x2396049+2147483648 ~x2396048+1073741824 ~x2396047+536870912 ~x2396046+268435456 ~x2396045+134217728 ~x2396044+67108864 ~x2396043+33554432 ~x2396042+16777216 ~x2396041+8388608 ~x2396040+4194304 ~x2396039+2097152 ~x2396038+1048576 ~x2396037+524288 ~x2396036+262144 ~x2396035+131072 ~x2396034+65536 ~x2396033+32768 ~x2396032+16384 ~x2396031+8192 ~x2396030+4096 ~x2396029+2048 ~x2396028+1024 ~x2396027+512 ~x2396026+256 ~x2396025+128 ~x2396024+64 ~x2396023+32 ~x2396022+16 ~x2396021+8 ~x2396020+4 ~x2396019+2 ~x2396018+1 ~x2396017+18204327411712 ~x1177+9102163705856 ~x1176+4551081852928 ~x1175+2275540926464 ~x1174+1137770463232 ~x1173+568885231616 ~x1172+284442615808 ~x1171+142221307904 ~x1170+71110653952 ~x1169+35555326976 ~x1168+17777663488 ~x1167+8888831744 ~x1166+4444415872 ~x1165+2222207936 ~x1164+1111103968 ~x1163+555551984 ~x1162+277775992 ~x1161+53336000 ~x1159+1680000000 ~x898+41943040000000 x772+20971520000000 x771+10485760000000 x770+5242880000000 x769+2621440000000 x768+1310720000000 x767+655360000000 x766+327680000000 x765+163840000000 x764+81920000000 x763+40960000000 x762+20480000000 x761+10240000000 x760+5120000000 x759+2560000000 x758+1280000000 x757+640000000 x756+320000000 x755+160000000 x754+80000000 x753+40000000 x752+20000000 x751+10000000 x750+5000000 x749+2500000 x748+1250000 x747+625000 x746+312500 x745+156250 x744+78125 x743+41943040000000 ~x471+20971520000000 ~x470+10485760000000 ~x469+5242880000000 ~x468+2621440000000 ~x467+1310720000000 ~x466+655360000000 ~x465+327680000000 ~x464+163840000000 ~x463+81920000000 ~x462+40960000000 ~x461+20480000000 ~x460+10240000000 ~x459+5120000000 ~x458+2560000000 ~x457+1280000000 ~x456+640000000 ~x455+320000000 ~x454+160000000 ~x453+80000000 ~x452+40000000 ~x451+20000000 ~x450+10000000 ~x449+5000000 ~x448+2500000 ~x447+1250000 ~x446+625000 ~x445+312500 ~x444+156250 ~x443+78125 ~x442-0=261031998660634
56.76/56.82	c 274877906944 ~x2474145+137438953472 ~x2474144+68719476736 ~x2474143+34359738368 ~x2474142+17179869184 ~x2474141+8589934592 ~x2474140+4294967296 ~x2474139+2147483648 ~x2474138+1073741824 ~x2474137+536870912 ~x2474136+268435456 ~x2474135+134217728 ~x2474134+67108864 ~x2474133+33554432 ~x2474132+16777216 ~x2474131+8388608 ~x2474130+4194304 ~x2474129+2097152 ~x2474128+1048576 ~x2474127+524288 ~x2474126+262144 ~x2474125+131072 ~x2474124+65536 ~x2474123+32768 ~x2474122+16384 ~x2474121+8192 ~x2474120+4096 ~x2474119+2048 ~x2474118+1024 ~x2474117+512 ~x2474116+256 ~x2474115+128 ~x2474114+64 ~x2474113+32 ~x2474112+16 ~x2474111+8 ~x2474110+4 ~x2474109+2 ~x2474108+1 ~x2474107+163840000000 ~x976+81920000000 ~x975+40960000000 ~x974+20480000000 ~x973+10240000000 ~x972+5120000000 ~x971+2560000000 ~x970+1280000000 ~x969+640000000 ~x968+320000000 ~x967+160000000 ~x966+80000000 ~x965+40000000 ~x964+20000000 ~x963+10000000 ~x962+5000000 ~x961+2500000 ~x960+24000001 x959-0=877433313887
57.26/57.37	c 524288 ~x2498162+262144 ~x2498161+131072 ~x2498160+65536 ~x2498159+32768 ~x2498158+16384 ~x2498157+8192 ~x2498156+4096 ~x2498155+2048 ~x2498154+1024 ~x2498153+512 ~x2498152+256 ~x2498151+128 ~x2498150+64 ~x2498149+32 ~x2498148+16 ~x2498147+8 ~x2498146+4 ~x2498145+2 ~x2498144+1 ~x2498143+65536 ~x1177+32768 ~x1176+16384 ~x1175+8192 ~x1174+4096 ~x1173+2048 ~x1172+1024 ~x1171+512 ~x1170+256 ~x1169+128 ~x1168+64 ~x1167+32 ~x1166+16 ~x1165+8 ~x1164+4 ~x1163+2 ~x1162+1 ~x1161+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142+65536 ~x1140+32768 ~x1139+16384 ~x1138+8192 ~x1137+4096 ~x1136+2048 ~x1135+1024 ~x1134+512 ~x1133+256 ~x1132+128 ~x1131+64 ~x1130+32 ~x1129+16 ~x1128+8 ~x1127+4 ~x1126+2 ~x1125+1 ~x1124+65536 ~x1122+32768 ~x1121+16384 ~x1120+8192 ~x1119+4096 ~x1118+2048 ~x1117+1024 ~x1116+512 ~x1115+256 ~x1114+128 ~x1113+64 ~x1112+32 ~x1111+16 ~x1110+8 ~x1109+4 ~x1108+2 ~x1107+1 ~x1106+65536 ~x1104+32768 ~x1103+16384 ~x1102+8192 ~x1101+4096 ~x1100+2048 ~x1099+1024 ~x1098+512 ~x1097+256 ~x1096+128 ~x1095+64 ~x1094+32 ~x1093+16 ~x1092+8 ~x1091+4 ~x1090+2 ~x1089+1 ~x1088-0=1703928
57.76/57.86	c 70368744177664 ~x2519931+35184372088832 ~x2519930+17592186044416 ~x2519929+8796093022208 ~x2519928+4398046511104 ~x2519927+2199023255552 ~x2519926+1099511627776 ~x2519925+549755813888 ~x2519924+274877906944 ~x2519923+137438953472 ~x2519922+68719476736 ~x2519921+34359738368 ~x2519920+17179869184 ~x2519919+8589934592 ~x2519918+4294967296 ~x2519917+2147483648 ~x2519916+1073741824 ~x2519915+536870912 ~x2519914+268435456 ~x2519913+134217728 ~x2519912+67108864 ~x2519911+33554432 ~x2519910+16777216 ~x2519909+8388608 ~x2519908+4194304 ~x2519907+2097152 ~x2519906+1048576 ~x2519905+524288 ~x2519904+262144 ~x2519903+131072 ~x2519902+65536 ~x2519901+32768 ~x2519900+16384 ~x2519899+8192 ~x2519898+4096 ~x2519897+2048 ~x2519896+1024 ~x2519895+512 ~x2519894+256 ~x2519893+128 ~x2519892+64 ~x2519891+32 ~x2519890+16 ~x2519889+8 ~x2519888+4 ~x2519887+2 ~x2519886+1 ~x2519885+11744574963712 ~x1195+5872287481856 ~x1194+2936143740928 ~x1193+1468071870464 ~x1192+734035935232 ~x1191+367017967616 ~x1190+183508983808 ~x1189+91754491904 ~x1188+45877245952 ~x1187+22938622976 ~x1186+11469311488 ~x1185+5734655744 ~x1184+2867327872 ~x1183+1433663936 ~x1182+716831968 ~x1181+358415984 ~x1180+179207992 ~x1179+1600000000 x1178+41943040000000 ~x501+20971520000000 ~x500+10485760000000 ~x499+5242880000000 ~x498+2621440000000 ~x497+1310720000000 ~x496+655360000000 ~x495+327680000000 ~x494+163840000000 ~x493+81920000000 ~x492+40960000000 ~x491+20480000000 ~x490+10240000000 ~x489+5120000000 ~x488+2560000000 ~x487+1280000000 ~x486+640000000 ~x485+320000000 ~x484+160000000 ~x483+80000000 ~x482+40000000 ~x481+20000000 ~x480+10000000 ~x479+5000000 ~x478+2500000 ~x477+1250000 ~x476+625000 ~x475+312500 ~x474+156250 ~x473+78125 ~x472-0=248112538996634
59.06/59.15	c 70368744177664 ~x2577007+35184372088832 ~x2577006+17592186044416 ~x2577005+8796093022208 ~x2577004+4398046511104 ~x2577003+2199023255552 ~x2577002+1099511627776 ~x2577001+549755813888 ~x2577000+274877906944 ~x2576999+137438953472 ~x2576998+68719476736 ~x2576997+34359738368 ~x2576996+17179869184 ~x2576995+8589934592 ~x2576994+4294967296 ~x2576993+2147483648 ~x2576992+1073741824 ~x2576991+536870912 ~x2576990+268435456 ~x2576989+134217728 ~x2576988+67108864 ~x2576987+33554432 ~x2576986+16777216 ~x2576985+8388608 ~x2576984+4194304 ~x2576983+2097152 ~x2576982+1048576 ~x2576981+524288 ~x2576980+262144 ~x2576979+131072 ~x2576978+65536 ~x2576977+32768 ~x2576976+16384 ~x2576975+8192 ~x2576974+4096 ~x2576973+2048 ~x2576972+1024 ~x2576971+512 ~x2576970+256 ~x2576969+128 ~x2576968+64 ~x2576967+32 ~x2576966+16 ~x2576965+8 ~x2576964+4 ~x2576963+2 ~x2576962+1 ~x2576961+11744574963712 ~x1213+5872287481856 ~x1212+2936143740928 ~x1211+1468071870464 ~x1210+734035935232 ~x1209+367017967616 ~x1208+183508983808 ~x1207+91754491904 ~x1206+45877245952 ~x1205+22938622976 ~x1204+11469311488 ~x1203+5734655744 ~x1202+2867327872 ~x1201+1433663936 ~x1200+716831968 ~x1199+358415984 ~x1198+179207992 ~x1197+1600000000 x1196+41943040000000 ~x531+20971520000000 ~x530+10485760000000 ~x529+5242880000000 ~x528+2621440000000 ~x527+1310720000000 ~x526+655360000000 ~x525+327680000000 ~x524+163840000000 ~x523+81920000000 ~x522+40960000000 ~x521+20480000000 ~x520+10240000000 ~x519+5120000000 ~x518+2560000000 ~x517+1280000000 ~x516+640000000 ~x515+320000000 ~x514+160000000 ~x513+80000000 ~x512+40000000 ~x511+20000000 ~x510+10000000 ~x509+5000000 ~x508+2500000 ~x507+1250000 ~x506+625000 ~x505+312500 ~x504+156250 ~x503+78125 ~x502-0=248112538996634
60.37/60.44	c 70368744177664 ~x2634083+35184372088832 ~x2634082+17592186044416 ~x2634081+8796093022208 ~x2634080+4398046511104 ~x2634079+2199023255552 ~x2634078+1099511627776 ~x2634077+549755813888 ~x2634076+274877906944 ~x2634075+137438953472 ~x2634074+68719476736 ~x2634073+34359738368 ~x2634072+17179869184 ~x2634071+8589934592 ~x2634070+4294967296 ~x2634069+2147483648 ~x2634068+1073741824 ~x2634067+536870912 ~x2634066+268435456 ~x2634065+134217728 ~x2634064+67108864 ~x2634063+33554432 ~x2634062+16777216 ~x2634061+8388608 ~x2634060+4194304 ~x2634059+2097152 ~x2634058+1048576 ~x2634057+524288 ~x2634056+262144 ~x2634055+131072 ~x2634054+65536 ~x2634053+32768 ~x2634052+16384 ~x2634051+8192 ~x2634050+4096 ~x2634049+2048 ~x2634048+1024 ~x2634047+512 ~x2634046+256 ~x2634045+128 ~x2634044+64 ~x2634043+32 ~x2634042+16 ~x2634041+8 ~x2634040+4 ~x2634039+2 ~x2634038+1 ~x2634037+11744574963712 ~x1231+5872287481856 ~x1230+2936143740928 ~x1229+1468071870464 ~x1228+734035935232 ~x1227+367017967616 ~x1226+183508983808 ~x1225+91754491904 ~x1224+45877245952 ~x1223+22938622976 ~x1222+11469311488 ~x1221+5734655744 ~x1220+2867327872 ~x1219+1433663936 ~x1218+716831968 ~x1217+358415984 ~x1216+179207992 ~x1215+1600000000 x1214+41943040000000 ~x561+20971520000000 ~x560+10485760000000 ~x559+5242880000000 ~x558+2621440000000 ~x557+1310720000000 ~x556+655360000000 ~x555+327680000000 ~x554+163840000000 ~x553+81920000000 ~x552+40960000000 ~x551+20480000000 ~x550+10240000000 ~x549+5120000000 ~x548+2560000000 ~x547+1280000000 ~x546+640000000 ~x545+320000000 ~x544+160000000 ~x543+80000000 ~x542+40000000 ~x541+20000000 ~x540+10000000 ~x539+5000000 ~x538+2500000 ~x537+1250000 ~x536+625000 ~x535+312500 ~x534+156250 ~x533+78125 ~x532-0=248112538996634
61.66/61.74	c 70368744177664 ~x2691159+35184372088832 ~x2691158+17592186044416 ~x2691157+8796093022208 ~x2691156+4398046511104 ~x2691155+2199023255552 ~x2691154+1099511627776 ~x2691153+549755813888 ~x2691152+274877906944 ~x2691151+137438953472 ~x2691150+68719476736 ~x2691149+34359738368 ~x2691148+17179869184 ~x2691147+8589934592 ~x2691146+4294967296 ~x2691145+2147483648 ~x2691144+1073741824 ~x2691143+536870912 ~x2691142+268435456 ~x2691141+134217728 ~x2691140+67108864 ~x2691139+33554432 ~x2691138+16777216 ~x2691137+8388608 ~x2691136+4194304 ~x2691135+2097152 ~x2691134+1048576 ~x2691133+524288 ~x2691132+262144 ~x2691131+131072 ~x2691130+65536 ~x2691129+32768 ~x2691128+16384 ~x2691127+8192 ~x2691126+4096 ~x2691125+2048 ~x2691124+1024 ~x2691123+512 ~x2691122+256 ~x2691121+128 ~x2691120+64 ~x2691119+32 ~x2691118+16 ~x2691117+8 ~x2691116+4 ~x2691115+2 ~x2691114+1 ~x2691113+11744574963712 ~x1249+5872287481856 ~x1248+2936143740928 ~x1247+1468071870464 ~x1246+734035935232 ~x1245+367017967616 ~x1244+183508983808 ~x1243+91754491904 ~x1242+45877245952 ~x1241+22938622976 ~x1240+11469311488 ~x1239+5734655744 ~x1238+2867327872 ~x1237+1433663936 ~x1236+716831968 ~x1235+358415984 ~x1234+179207992 ~x1233+1600000000 x1232+41943040000000 ~x591+20971520000000 ~x590+10485760000000 ~x589+5242880000000 ~x588+2621440000000 ~x587+1310720000000 ~x586+655360000000 ~x585+327680000000 ~x584+163840000000 ~x583+81920000000 ~x582+40960000000 ~x581+20480000000 ~x580+10240000000 ~x579+5120000000 ~x578+2560000000 ~x577+1280000000 ~x576+640000000 ~x575+320000000 ~x574+160000000 ~x573+80000000 ~x572+40000000 ~x571+20000000 ~x570+10000000 ~x569+5000000 ~x568+2500000 ~x567+1250000 ~x566+625000 ~x565+312500 ~x564+156250 ~x563+78125 ~x562-0=248112538996634
62.96/63.04	c 70368744177664 ~x2748235+35184372088832 ~x2748234+17592186044416 ~x2748233+8796093022208 ~x2748232+4398046511104 ~x2748231+2199023255552 ~x2748230+1099511627776 ~x2748229+549755813888 ~x2748228+274877906944 ~x2748227+137438953472 ~x2748226+68719476736 ~x2748225+34359738368 ~x2748224+17179869184 ~x2748223+8589934592 ~x2748222+4294967296 ~x2748221+2147483648 ~x2748220+1073741824 ~x2748219+536870912 ~x2748218+268435456 ~x2748217+134217728 ~x2748216+67108864 ~x2748215+33554432 ~x2748214+16777216 ~x2748213+8388608 ~x2748212+4194304 ~x2748211+2097152 ~x2748210+1048576 ~x2748209+524288 ~x2748208+262144 ~x2748207+131072 ~x2748206+65536 ~x2748205+32768 ~x2748204+16384 ~x2748203+8192 ~x2748202+4096 ~x2748201+2048 ~x2748200+1024 ~x2748199+512 ~x2748198+256 ~x2748197+128 ~x2748196+64 ~x2748195+32 ~x2748194+16 ~x2748193+8 ~x2748192+4 ~x2748191+2 ~x2748190+1 ~x2748189+11744574963712 ~x1268+5872287481856 ~x1267+2936143740928 ~x1266+1468071870464 ~x1265+734035935232 ~x1264+367017967616 ~x1263+183508983808 ~x1262+91754491904 ~x1261+45877245952 ~x1260+22938622976 ~x1259+11469311488 ~x1258+5734655744 ~x1257+2867327872 ~x1256+1433663936 ~x1255+716831968 ~x1254+358415984 ~x1253+179207992 ~x1252+1280000000 x1250+41943040000000 ~x622+20971520000000 ~x621+10485760000000 ~x620+5242880000000 ~x619+2621440000000 ~x618+1310720000000 ~x617+655360000000 ~x616+327680000000 ~x615+163840000000 ~x614+81920000000 ~x613+40960000000 ~x612+20480000000 ~x611+10240000000 ~x610+5120000000 ~x609+2560000000 ~x608+1280000000 ~x607+640000000 ~x606+320000000 ~x605+160000000 ~x604+80000000 ~x603+40000000 ~x602+20000000 ~x601+10000000 ~x600+5000000 ~x599+2500000 ~x598+1250000 ~x597+625000 ~x596+312500 ~x595+156250 ~x594+78125 ~x593-0=248112538996634
64.46/64.55	c 17592186044416 ~x2813329+8796093022208 ~x2813328+4398046511104 ~x2813327+2199023255552 ~x2813326+1099511627776 ~x2813325+549755813888 ~x2813324+274877906944 ~x2813323+137438953472 ~x2813322+68719476736 ~x2813321+34359738368 ~x2813320+17179869184 ~x2813319+8589934592 ~x2813318+4294967296 ~x2813317+2147483648 ~x2813316+1073741824 ~x2813315+536870912 ~x2813314+268435456 ~x2813313+134217728 ~x2813312+67108864 ~x2813311+33554432 ~x2813310+16777216 ~x2813309+8388608 ~x2813308+4194304 ~x2813307+2097152 ~x2813306+1048576 ~x2813305+524288 ~x2813304+262144 ~x2813303+131072 ~x2813302+65536 ~x2813301+32768 ~x2813300+16384 ~x2813299+8192 ~x2813298+4096 ~x2813297+2048 ~x2813296+1024 ~x2813295+512 ~x2813294+256 ~x2813293+128 ~x2813292+64 ~x2813291+32 ~x2813290+16 ~x2813289+8 ~x2813288+4 ~x2813287+2 ~x2813286+1 ~x2813285+524288000000 ~x1231+262144000000 ~x1230+131072000000 ~x1229+65536000000 ~x1228+32768000000 ~x1227+16384000000 ~x1226+8192000000 ~x1225+4096000000 ~x1224+2048000000 ~x1223+1024000000 ~x1222+512000000 ~x1221+256000000 ~x1220+128000000 ~x1219+64000000 ~x1218+32000000 ~x1217+16000000 ~x1216+8000000 ~x1215+71424004 x1214+8388608000000 ~x862+4194304000000 ~x861+2097152000000 ~x860+1048576000000 ~x859+524288000000 ~x858+262144000000 ~x857+131072000000 ~x856+65536000000 ~x855+32768000000 ~x854+16384000000 ~x853+8192000000 ~x852+4096000000 ~x851+2048000000 ~x850+1024000000 ~x849+512000000 ~x848+256000000 ~x847+128000000 ~x846+64000000 ~x845+32000000 ~x844+16000000 ~x843+8000000 ~x842+4000000 ~x841+2000000 ~x840+1000000 ~x839+500000 ~x838+250000 ~x837+125000 ~x836+62500 ~x835+31250 ~x834+15625 ~x833-0=53010156073206
65.56/65.65	c 35184372088832 ~x2862312+17592186044416 ~x2862311+8796093022208 ~x2862310+4398046511104 ~x2862309+2199023255552 ~x2862308+1099511627776 ~x2862307+549755813888 ~x2862306+274877906944 ~x2862305+137438953472 ~x2862304+68719476736 ~x2862303+34359738368 ~x2862302+17179869184 ~x2862301+8589934592 ~x2862300+4294967296 ~x2862299+2147483648 ~x2862298+1073741824 ~x2862297+536870912 ~x2862296+268435456 ~x2862295+134217728 ~x2862294+67108864 ~x2862293+33554432 ~x2862292+16777216 ~x2862291+8388608 ~x2862290+4194304 ~x2862289+2097152 ~x2862288+1048576 ~x2862287+524288 ~x2862286+262144 ~x2862285+131072 ~x2862284+65536 ~x2862283+32768 ~x2862282+16384 ~x2862281+8192 ~x2862280+4096 ~x2862279+2048 ~x2862278+1024 ~x2862277+512 ~x2862276+256 ~x2862275+128 ~x2862274+64 ~x2862273+32 ~x2862272+16 ~x2862271+8 ~x2862270+4 ~x2862269+2 ~x2862268+1 ~x2862267+1048576000000 ~x1249+524288000000 ~x1248+262144000000 ~x1247+131072000000 ~x1246+65536000000 ~x1245+32768000000 ~x1244+16384000000 ~x1243+8192000000 ~x1242+4096000000 ~x1241+2048000000 ~x1240+1024000000 ~x1239+512000000 ~x1238+256000000 ~x1237+128000000 ~x1236+64000000 ~x1235+32000000 ~x1234+16000000 ~x1233+142848008 x1232+25165824000000 ~x862+12582912000000 ~x861+6291456000000 ~x860+3145728000000 ~x859+1572864000000 ~x858+786432000000 ~x857+393216000000 ~x856+196608000000 ~x855+98304000000 ~x854+49152000000 ~x853+24576000000 ~x852+12288000000 ~x851+6144000000 ~x850+3072000000 ~x849+1536000000 ~x848+768000000 ~x847+384000000 ~x846+192000000 ~x845+96000000 ~x844+48000000 ~x843+24000000 ~x842+12000000 ~x841+6000000 ~x840+3000000 ~x839+1500000 ~x838+750000 ~x837+375000 ~x836+187500 ~x835+93750 ~x834+46875 ~x833-0=122797528130788
66.86/66.93	c 70368744177664 ~x2918594+35184372088832 ~x2918593+17592186044416 ~x2918592+8796093022208 ~x2918591+4398046511104 ~x2918590+2199023255552 ~x2918589+1099511627776 ~x2918588+549755813888 ~x2918587+274877906944 ~x2918586+137438953472 ~x2918585+68719476736 ~x2918584+34359738368 ~x2918583+17179869184 ~x2918582+8589934592 ~x2918581+4294967296 ~x2918580+2147483648 ~x2918579+1073741824 ~x2918578+536870912 ~x2918577+268435456 ~x2918576+134217728 ~x2918575+67108864 ~x2918574+33554432 ~x2918573+16777216 ~x2918572+8388608 ~x2918571+4194304 ~x2918570+2097152 ~x2918569+1048576 ~x2918568+524288 ~x2918567+262144 ~x2918566+131072 ~x2918565+65536 ~x2918564+32768 ~x2918563+16384 ~x2918562+8192 ~x2918561+4096 ~x2918560+2048 ~x2918559+1024 ~x2918558+512 ~x2918557+256 ~x2918556+128 ~x2918555+64 ~x2918554+32 ~x2918553+16 ~x2918552+8 ~x2918551+4 ~x2918550+2 ~x2918549+1 ~x2918548+1310720000000 ~x1268+655360000000 ~x1267+327680000000 ~x1266+163840000000 ~x1265+81920000000 ~x1264+40960000000 ~x1263+20480000000 ~x1262+10240000000 ~x1261+5120000000 ~x1260+2560000000 ~x1259+1280000000 ~x1258+640000000 ~x1257+320000000 ~x1256+160000000 ~x1255+80000000 ~x1254+40000000 ~x1253+20000000 ~x1252+142847996 x1250+41943040000000 ~x862+20971520000000 ~x861+10485760000000 ~x860+5242880000000 ~x859+2621440000000 ~x858+1310720000000 ~x857+655360000000 ~x856+327680000000 ~x855+163840000000 ~x854+81920000000 ~x853+40960000000 ~x852+20480000000 ~x851+10240000000 ~x850+5120000000 ~x849+2560000000 ~x848+1280000000 ~x847+640000000 ~x846+320000000 ~x845+160000000 ~x844+80000000 ~x843+40000000 ~x842+20000000 ~x841+10000000 ~x840+5000000 ~x839+2500000 ~x838+1250000 ~x837+625000 ~x836+312500 ~x835+156250 ~x834+78125 ~x833-0=227244988277202
68.17/68.22	c 70368744177664 ~x2975526+35184372088832 ~x2975525+17592186044416 ~x2975524+8796093022208 ~x2975523+4398046511104 ~x2975522+2199023255552 ~x2975521+1099511627776 ~x2975520+549755813888 ~x2975519+274877906944 ~x2975518+137438953472 ~x2975517+68719476736 ~x2975516+34359738368 ~x2975515+17179869184 ~x2975514+8589934592 ~x2975513+4294967296 ~x2975512+2147483648 ~x2975511+1073741824 ~x2975510+536870912 ~x2975509+268435456 ~x2975508+134217728 ~x2975507+67108864 ~x2975506+33554432 ~x2975505+16777216 ~x2975504+8388608 ~x2975503+4194304 ~x2975502+2097152 ~x2975501+1048576 ~x2975500+524288 ~x2975499+262144 ~x2975498+131072 ~x2975497+65536 ~x2975496+32768 ~x2975495+16384 ~x2975494+8192 ~x2975493+4096 ~x2975492+2048 ~x2975491+1024 ~x2975490+512 ~x2975489+256 ~x2975488+128 ~x2975487+64 ~x2975486+32 ~x2975485+16 ~x2975484+8 ~x2975483+4 ~x2975482+2 ~x2975481+1 ~x2975480+10922492428288 ~x1286+5461246214144 ~x1285+2730623107072 ~x1284+1365311553536 ~x1283+682655776768 ~x1282+341327888384 ~x1281+170663944192 ~x1280+85331972096 ~x1279+42665986048 ~x1278+21332993024 ~x1277+10666496512 ~x1276+5333248256 ~x1275+2666624128 ~x1274+1333312064 ~x1273+666656032 ~x1272+333328016 ~x1271+166664008 ~x1270+53336000 ~x1269+1680000000 x899+41943040000000 ~x652+20971520000000 ~x651+10485760000000 ~x650+5242880000000 ~x649+2621440000000 ~x648+1310720000000 ~x647+655360000000 ~x646+327680000000 ~x645+163840000000 ~x644+81920000000 ~x643+40960000000 ~x642+20480000000 ~x641+10240000000 ~x640+5120000000 ~x639+2560000000 ~x638+1280000000 ~x637+640000000 ~x636+320000000 ~x635+160000000 ~x634+80000000 ~x633+40000000 ~x632+20000000 ~x631+10000000 ~x630+5000000 ~x629+2500000 ~x628+1250000 ~x627+625000 ~x626+312500 ~x625+156250 ~x624+78125 ~x623+41943040000000 x501+20971520000000 x500+10485760000000 x499+5242880000000 x498+2621440000000 x497+1310720000000 x496+655360000000 x495+327680000000 x494+163840000000 x493+81920000000 x492+40960000000 x491+20480000000 x490+10240000000 x489+5120000000 x488+2560000000 x487+1280000000 x486+640000000 x485+320000000 x484+160000000 x483+80000000 x482+40000000 x481+20000000 x480+10000000 x479+5000000 x478+2500000 x477+1250000 x476+625000 x475+312500 x474+156250 x473+78125 x472-0=246468439805770
69.96/70.02	c 70368744177664 ~x3053616+35184372088832 ~x3053615+17592186044416 ~x3053614+8796093022208 ~x3053613+4398046511104 ~x3053612+2199023255552 ~x3053611+1099511627776 ~x3053610+549755813888 ~x3053609+274877906944 ~x3053608+137438953472 ~x3053607+68719476736 ~x3053606+34359738368 ~x3053605+17179869184 ~x3053604+8589934592 ~x3053603+4294967296 ~x3053602+2147483648 ~x3053601+1073741824 ~x3053600+536870912 ~x3053599+268435456 ~x3053598+134217728 ~x3053597+67108864 ~x3053596+33554432 ~x3053595+16777216 ~x3053594+8388608 ~x3053593+4194304 ~x3053592+2097152 ~x3053591+1048576 ~x3053590+524288 ~x3053589+262144 ~x3053588+131072 ~x3053587+65536 ~x3053586+32768 ~x3053585+16384 ~x3053584+8192 ~x3053583+4096 ~x3053582+2048 ~x3053581+1024 ~x3053580+512 ~x3053579+256 ~x3053578+128 ~x3053577+64 ~x3053576+32 ~x3053575+16 ~x3053574+8 ~x3053573+4 ~x3053572+2 ~x3053571+1 ~x3053570+1433663936 ~x1182+716831968 ~x1181+358415984 ~x1180+179207992 ~x1179+20000000 ~x1178+1680000000 ~x899+41943040000000 x652+20971520000000 x651+10485760000000 x650+5242880000000 x649+2621440000000 x648+1310720000000 x647+655360000000 x646+327680000000 x645+163840000000 x644+81920000000 x643+40960000000 x642+20480000000 x641+10240000000 x640+5120000000 x639+2560000000 x638+1280000000 x637+640000000 x636+320000000 x635+160000000 x634+80000000 x633+40000000 x632+20000000 x631+10000000 x630+5000000 x629+2500000 x628+1250000 x627+625000 x626+312500 x625+156250 x624+78125 x623+41943040000000 ~x501+20971520000000 ~x500+10485760000000 ~x499+5242880000000 ~x498+2621440000000 ~x497+1310720000000 ~x496+655360000000 ~x495+327680000000 ~x494+163840000000 ~x493+81920000000 ~x492+40960000000 ~x491+20480000000 ~x490+10240000000 ~x489+5120000000 ~x488+2560000000 ~x487+1280000000 ~x486+640000000 ~x485+320000000 ~x484+160000000 ~x483+80000000 ~x482+40000000 ~x481+20000000 ~x480+10000000 ~x479+5000000 ~x478+2500000 ~x477+1250000 ~x476+625000 ~x475+312500 ~x474+156250 ~x473+78125 ~x472-0=224626276397082
71.47/71.56	c 70368744177664 ~x3123087+35184372088832 ~x3123086+17592186044416 ~x3123085+8796093022208 ~x3123084+4398046511104 ~x3123083+2199023255552 ~x3123082+1099511627776 ~x3123081+549755813888 ~x3123080+274877906944 ~x3123079+137438953472 ~x3123078+68719476736 ~x3123077+34359738368 ~x3123076+17179869184 ~x3123075+8589934592 ~x3123074+4294967296 ~x3123073+2147483648 ~x3123072+1073741824 ~x3123071+536870912 ~x3123070+268435456 ~x3123069+134217728 ~x3123068+67108864 ~x3123067+33554432 ~x3123066+16777216 ~x3123065+8388608 ~x3123064+4194304 ~x3123063+2097152 ~x3123062+1048576 ~x3123061+524288 ~x3123060+262144 ~x3123059+131072 ~x3123058+65536 ~x3123057+32768 ~x3123056+16384 ~x3123055+8192 ~x3123054+4096 ~x3123053+2048 ~x3123052+1024 ~x3123051+512 ~x3123050+256 ~x3123049+128 ~x3123048+64 ~x3123047+32 ~x3123046+16 ~x3123045+8 ~x3123044+4 ~x3123043+2 ~x3123042+1 ~x3123041+10922492428288 ~x1304+5461246214144 ~x1303+2730623107072 ~x1302+1365311553536 ~x1301+682655776768 ~x1300+341327888384 ~x1299+170663944192 ~x1298+85331972096 ~x1297+42665986048 ~x1296+21332993024 ~x1295+10666496512 ~x1294+5333248256 ~x1293+2666624128 ~x1292+1333312064 ~x1291+666656032 ~x1290+333328016 ~x1289+166664008 ~x1288+53336000 ~x1287+1680000000 x900+41943040000000 ~x682+20971520000000 ~x681+10485760000000 ~x680+5242880000000 ~x679+2621440000000 ~x678+1310720000000 ~x677+655360000000 ~x676+327680000000 ~x675+163840000000 ~x674+81920000000 ~x673+40960000000 ~x672+20480000000 ~x671+10240000000 ~x670+5120000000 ~x669+2560000000 ~x668+1280000000 ~x667+640000000 ~x666+320000000 ~x665+160000000 ~x664+80000000 ~x663+40000000 ~x662+20000000 ~x661+10000000 ~x660+5000000 ~x659+2500000 ~x658+1250000 ~x657+625000 ~x656+312500 ~x655+156250 ~x654+78125 ~x653+41943040000000 x531+20971520000000 x530+10485760000000 x529+5242880000000 x528+2621440000000 x527+1310720000000 x526+655360000000 x525+327680000000 x524+163840000000 x523+81920000000 x522+40960000000 x521+20480000000 x520+10240000000 x519+5120000000 x518+2560000000 x517+1280000000 x516+640000000 x515+320000000 x514+160000000 x513+80000000 x512+40000000 x511+20000000 x510+10000000 x509+5000000 x508+2500000 x507+1250000 x506+625000 x505+312500 x504+156250 x503+78125 x502-0=246468439805770
73.26/73.30	c 70368744177664 ~x3201177+35184372088832 ~x3201176+17592186044416 ~x3201175+8796093022208 ~x3201174+4398046511104 ~x3201173+2199023255552 ~x3201172+1099511627776 ~x3201171+549755813888 ~x3201170+274877906944 ~x3201169+137438953472 ~x3201168+68719476736 ~x3201167+34359738368 ~x3201166+17179869184 ~x3201165+8589934592 ~x3201164+4294967296 ~x3201163+2147483648 ~x3201162+1073741824 ~x3201161+536870912 ~x3201160+268435456 ~x3201159+134217728 ~x3201158+67108864 ~x3201157+33554432 ~x3201156+16777216 ~x3201155+8388608 ~x3201154+4194304 ~x3201153+2097152 ~x3201152+1048576 ~x3201151+524288 ~x3201150+262144 ~x3201149+131072 ~x3201148+65536 ~x3201147+32768 ~x3201146+16384 ~x3201145+8192 ~x3201144+4096 ~x3201143+2048 ~x3201142+1024 ~x3201141+512 ~x3201140+256 ~x3201139+128 ~x3201138+64 ~x3201137+32 ~x3201136+16 ~x3201135+8 ~x3201134+4 ~x3201133+2 ~x3201132+1 ~x3201131+1433663936 ~x1200+716831968 ~x1199+358415984 ~x1198+179207992 ~x1197+20000000 ~x1196+1680000000 ~x900+41943040000000 x682+20971520000000 x681+10485760000000 x680+5242880000000 x679+2621440000000 x678+1310720000000 x677+655360000000 x676+327680000000 x675+163840000000 x674+81920000000 x673+40960000000 x672+20480000000 x671+10240000000 x670+5120000000 x669+2560000000 x668+1280000000 x667+640000000 x666+320000000 x665+160000000 x664+80000000 x663+40000000 x662+20000000 x661+10000000 x660+5000000 x659+2500000 x658+1250000 x657+625000 x656+312500 x655+156250 x654+78125 x653+41943040000000 ~x531+20971520000000 ~x530+10485760000000 ~x529+5242880000000 ~x528+2621440000000 ~x527+1310720000000 ~x526+655360000000 ~x525+327680000000 ~x524+163840000000 ~x523+81920000000 ~x522+40960000000 ~x521+20480000000 ~x520+10240000000 ~x519+5120000000 ~x518+2560000000 ~x517+1280000000 ~x516+640000000 ~x515+320000000 ~x514+160000000 ~x513+80000000 ~x512+40000000 ~x511+20000000 ~x510+10000000 ~x509+5000000 ~x508+2500000 ~x507+1250000 ~x506+625000 ~x505+312500 ~x504+156250 ~x503+78125 ~x502-0=224626276397082
74.76/74.85	c 549755813888 ~x3270641+274877906944 ~x3270640+137438953472 ~x3270639+68719476736 ~x3270638+34359738368 ~x3270637+17179869184 ~x3270636+8589934592 ~x3270635+4294967296 ~x3270634+2147483648 ~x3270633+1073741824 ~x3270632+536870912 ~x3270631+268435456 ~x3270630+134217728 ~x3270629+67108864 ~x3270628+33554432 ~x3270627+16777216 ~x3270626+8388608 ~x3270625+4194304 ~x3270624+2097152 ~x3270623+1048576 ~x3270622+524288 ~x3270621+262144 ~x3270620+131072 ~x3270619+65536 ~x3270618+32768 ~x3270617+16384 ~x3270616+8192 ~x3270615+4096 ~x3270614+2048 ~x3270613+1024 ~x3270612+512 ~x3270611+256 ~x3270610+128 ~x3270609+64 ~x3270608+32 ~x3270607+16 ~x3270606+8 ~x3270605+4 ~x3270604+2 ~x3270603+1 ~x3270602+327680000000 ~x995+163840000000 ~x994+81920000000 ~x993+40960000000 ~x992+20480000000 ~x991+10240000000 ~x990+5120000000 ~x989+2560000000 ~x988+1280000000 ~x987+640000000 ~x986+320000000 ~x985+160000000 ~x984+80000000 ~x983+40000000 ~x982+20000000 ~x981+10000000 ~x980+5000000 ~x979+38399999 x977-0=1754866627775
75.36/75.42	c 70368744177664 ~x3295447+35184372088832 ~x3295446+17592186044416 ~x3295445+8796093022208 ~x3295444+4398046511104 ~x3295443+2199023255552 ~x3295442+1099511627776 ~x3295441+549755813888 ~x3295440+274877906944 ~x3295439+137438953472 ~x3295438+68719476736 ~x3295437+34359738368 ~x3295436+17179869184 ~x3295435+8589934592 ~x3295434+4294967296 ~x3295433+2147483648 ~x3295432+1073741824 ~x3295431+536870912 ~x3295430+268435456 ~x3295429+134217728 ~x3295428+67108864 ~x3295427+33554432 ~x3295426+16777216 ~x3295425+8388608 ~x3295424+4194304 ~x3295423+2097152 ~x3295422+1048576 ~x3295421+524288 ~x3295420+262144 ~x3295419+131072 ~x3295418+65536 ~x3295417+32768 ~x3295416+16384 ~x3295415+8192 ~x3295414+4096 ~x3295413+2048 ~x3295412+1024 ~x3295411+512 ~x3295410+256 ~x3295409+128 ~x3295408+64 ~x3295407+32 ~x3295406+16 ~x3295405+8 ~x3295404+4 ~x3295403+2 ~x3295402+1 ~x3295401+10922492428288 ~x1322+5461246214144 ~x1321+2730623107072 ~x1320+1365311553536 ~x1319+682655776768 ~x1318+341327888384 ~x1317+170663944192 ~x1316+85331972096 ~x1315+42665986048 ~x1314+21332993024 ~x1313+10666496512 ~x1312+5333248256 ~x1311+2666624128 ~x1310+1333312064 ~x1309+666656032 ~x1308+333328016 ~x1307+166664008 ~x1306+53336000 ~x1305+1680000000 x901+41943040000000 ~x712+20971520000000 ~x711+10485760000000 ~x710+5242880000000 ~x709+2621440000000 ~x708+1310720000000 ~x707+655360000000 ~x706+327680000000 ~x705+163840000000 ~x704+81920000000 ~x703+40960000000 ~x702+20480000000 ~x701+10240000000 ~x700+5120000000 ~x699+2560000000 ~x698+1280000000 ~x697+640000000 ~x696+320000000 ~x695+160000000 ~x694+80000000 ~x693+40000000 ~x692+20000000 ~x691+10000000 ~x690+5000000 ~x689+2500000 ~x688+1250000 ~x687+625000 ~x686+312500 ~x685+156250 ~x684+78125 ~x683+41943040000000 x561+20971520000000 x560+10485760000000 x559+5242880000000 x558+2621440000000 x557+1310720000000 x556+655360000000 x555+327680000000 x554+163840000000 x553+81920000000 x552+40960000000 x551+20480000000 x550+10240000000 x549+5120000000 x548+2560000000 x547+1280000000 x546+640000000 x545+320000000 x544+160000000 x543+80000000 x542+40000000 x541+20000000 x540+10000000 x539+5000000 x538+2500000 x537+1250000 x536+625000 x535+312500 x534+156250 x533+78125 x532-0=246468439805770
77.06/77.17	c 70368744177664 ~x3373537+35184372088832 ~x3373536+17592186044416 ~x3373535+8796093022208 ~x3373534+4398046511104 ~x3373533+2199023255552 ~x3373532+1099511627776 ~x3373531+549755813888 ~x3373530+274877906944 ~x3373529+137438953472 ~x3373528+68719476736 ~x3373527+34359738368 ~x3373526+17179869184 ~x3373525+8589934592 ~x3373524+4294967296 ~x3373523+2147483648 ~x3373522+1073741824 ~x3373521+536870912 ~x3373520+268435456 ~x3373519+134217728 ~x3373518+67108864 ~x3373517+33554432 ~x3373516+16777216 ~x3373515+8388608 ~x3373514+4194304 ~x3373513+2097152 ~x3373512+1048576 ~x3373511+524288 ~x3373510+262144 ~x3373509+131072 ~x3373508+65536 ~x3373507+32768 ~x3373506+16384 ~x3373505+8192 ~x3373504+4096 ~x3373503+2048 ~x3373502+1024 ~x3373501+512 ~x3373500+256 ~x3373499+128 ~x3373498+64 ~x3373497+32 ~x3373496+16 ~x3373495+8 ~x3373494+4 ~x3373493+2 ~x3373492+1 ~x3373491+11744574963712 ~x1231+5872287481856 ~x1230+2936143740928 ~x1229+1468071870464 ~x1228+734035935232 ~x1227+367017967616 ~x1226+183508983808 ~x1225+91754491904 ~x1224+45877245952 ~x1223+22938622976 ~x1222+11469311488 ~x1221+5734655744 ~x1220+2867327872 ~x1219+1433663936 ~x1218+716831968 ~x1217+358415984 ~x1216+179207992 ~x1215+20000000 ~x1214+1680000000 ~x901+41943040000000 x712+20971520000000 x711+10485760000000 x710+5242880000000 x709+2621440000000 x708+1310720000000 x707+655360000000 x706+327680000000 x705+163840000000 x704+81920000000 x703+40960000000 x702+20480000000 x701+10240000000 x700+5120000000 x699+2560000000 x698+1280000000 x697+640000000 x696+320000000 x695+160000000 x694+80000000 x693+40000000 x692+20000000 x691+10000000 x690+5000000 x689+2500000 x688+1250000 x687+625000 x686+312500 x685+156250 x684+78125 x683+41943040000000 ~x561+20971520000000 ~x560+10485760000000 ~x559+5242880000000 ~x558+2621440000000 ~x557+1310720000000 ~x556+655360000000 ~x555+327680000000 ~x554+163840000000 ~x553+81920000000 ~x552+40960000000 ~x551+20480000000 ~x550+10240000000 ~x549+5120000000 ~x548+2560000000 ~x547+1280000000 ~x546+640000000 ~x545+320000000 ~x544+160000000 ~x543+80000000 ~x542+40000000 ~x541+20000000 ~x540+10000000 ~x539+5000000 ~x538+2500000 ~x537+1250000 ~x536+625000 ~x535+312500 ~x534+156250 ~x533+78125 ~x532-0=248112558996634
78.86/78.92	c 70368744177664 ~x3451627+35184372088832 ~x3451626+17592186044416 ~x3451625+8796093022208 ~x3451624+4398046511104 ~x3451623+2199023255552 ~x3451622+1099511627776 ~x3451621+549755813888 ~x3451620+274877906944 ~x3451619+137438953472 ~x3451618+68719476736 ~x3451617+34359738368 ~x3451616+17179869184 ~x3451615+8589934592 ~x3451614+4294967296 ~x3451613+2147483648 ~x3451612+1073741824 ~x3451611+536870912 ~x3451610+268435456 ~x3451609+134217728 ~x3451608+67108864 ~x3451607+33554432 ~x3451606+16777216 ~x3451605+8388608 ~x3451604+4194304 ~x3451603+2097152 ~x3451602+1048576 ~x3451601+524288 ~x3451600+262144 ~x3451599+131072 ~x3451598+65536 ~x3451597+32768 ~x3451596+16384 ~x3451595+8192 ~x3451594+4096 ~x3451593+2048 ~x3451592+1024 ~x3451591+512 ~x3451590+256 ~x3451589+128 ~x3451588+64 ~x3451587+32 ~x3451586+16 ~x3451585+8 ~x3451584+4 ~x3451583+2 ~x3451582+1 ~x3451581+10922492428288 ~x1340+5461246214144 ~x1339+2730623107072 ~x1338+1365311553536 ~x1337+682655776768 ~x1336+341327888384 ~x1335+170663944192 ~x1334+85331972096 ~x1333+42665986048 ~x1332+21332993024 ~x1331+10666496512 ~x1330+5333248256 ~x1329+2666624128 ~x1328+1333312064 ~x1327+666656032 ~x1326+333328016 ~x1325+166664008 ~x1324+53336000 ~x1323+1680000000 x902+41943040000000 ~x742+20971520000000 ~x741+10485760000000 ~x740+5242880000000 ~x739+2621440000000 ~x738+1310720000000 ~x737+655360000000 ~x736+327680000000 ~x735+163840000000 ~x734+81920000000 ~x733+40960000000 ~x732+20480000000 ~x731+10240000000 ~x730+5120000000 ~x729+2560000000 ~x728+1280000000 ~x727+640000000 ~x726+320000000 ~x725+160000000 ~x724+80000000 ~x723+40000000 ~x722+20000000 ~x721+10000000 ~x720+5000000 ~x719+2500000 ~x718+1250000 ~x717+625000 ~x716+312500 ~x715+156250 ~x714+78125 ~x713+41943040000000 x591+20971520000000 x590+10485760000000 x589+5242880000000 x588+2621440000000 x587+1310720000000 x586+655360000000 x585+327680000000 x584+163840000000 x583+81920000000 x582+40960000000 x581+20480000000 x580+10240000000 x579+5120000000 x578+2560000000 x577+1280000000 x576+640000000 x575+320000000 x574+160000000 x573+80000000 x572+40000000 x571+20000000 x570+10000000 x569+5000000 x568+2500000 x567+1250000 x566+625000 x565+312500 x564+156250 x563+78125 x562-0=246468439805770
80.56/80.67	c 70368744177664 ~x3529717+35184372088832 ~x3529716+17592186044416 ~x3529715+8796093022208 ~x3529714+4398046511104 ~x3529713+2199023255552 ~x3529712+1099511627776 ~x3529711+549755813888 ~x3529710+274877906944 ~x3529709+137438953472 ~x3529708+68719476736 ~x3529707+34359738368 ~x3529706+17179869184 ~x3529705+8589934592 ~x3529704+4294967296 ~x3529703+2147483648 ~x3529702+1073741824 ~x3529701+536870912 ~x3529700+268435456 ~x3529699+134217728 ~x3529698+67108864 ~x3529697+33554432 ~x3529696+16777216 ~x3529695+8388608 ~x3529694+4194304 ~x3529693+2097152 ~x3529692+1048576 ~x3529691+524288 ~x3529690+262144 ~x3529689+131072 ~x3529688+65536 ~x3529687+32768 ~x3529686+16384 ~x3529685+8192 ~x3529684+4096 ~x3529683+2048 ~x3529682+1024 ~x3529681+512 ~x3529680+256 ~x3529679+128 ~x3529678+64 ~x3529677+32 ~x3529676+16 ~x3529675+8 ~x3529674+4 ~x3529673+2 ~x3529672+1 ~x3529671+11744574963712 ~x1249+5872287481856 ~x1248+2936143740928 ~x1247+1468071870464 ~x1246+734035935232 ~x1245+367017967616 ~x1244+183508983808 ~x1243+91754491904 ~x1242+45877245952 ~x1241+22938622976 ~x1240+11469311488 ~x1239+5734655744 ~x1238+2867327872 ~x1237+1433663936 ~x1236+716831968 ~x1235+358415984 ~x1234+179207992 ~x1233+20000000 ~x1232+1680000000 ~x902+41943040000000 x742+20971520000000 x741+10485760000000 x740+5242880000000 x739+2621440000000 x738+1310720000000 x737+655360000000 x736+327680000000 x735+163840000000 x734+81920000000 x733+40960000000 x732+20480000000 x731+10240000000 x730+5120000000 x729+2560000000 x728+1280000000 x727+640000000 x726+320000000 x725+160000000 x724+80000000 x723+40000000 x722+20000000 x721+10000000 x720+5000000 x719+2500000 x718+1250000 x717+625000 x716+312500 x715+156250 x714+78125 x713+41943040000000 ~x591+20971520000000 ~x590+10485760000000 ~x589+5242880000000 ~x588+2621440000000 ~x587+1310720000000 ~x586+655360000000 ~x585+327680000000 ~x584+163840000000 ~x583+81920000000 ~x582+40960000000 ~x581+20480000000 ~x580+10240000000 ~x579+5120000000 ~x578+2560000000 ~x577+1280000000 ~x576+640000000 ~x575+320000000 ~x574+160000000 ~x573+80000000 ~x572+40000000 ~x571+20000000 ~x570+10000000 ~x569+5000000 ~x568+2500000 ~x567+1250000 ~x566+625000 ~x565+312500 ~x564+156250 ~x563+78125 ~x562-0=248112558996634
82.36/82.43	c 70368744177664 ~x3607807+35184372088832 ~x3607806+17592186044416 ~x3607805+8796093022208 ~x3607804+4398046511104 ~x3607803+2199023255552 ~x3607802+1099511627776 ~x3607801+549755813888 ~x3607800+274877906944 ~x3607799+137438953472 ~x3607798+68719476736 ~x3607797+34359738368 ~x3607796+17179869184 ~x3607795+8589934592 ~x3607794+4294967296 ~x3607793+2147483648 ~x3607792+1073741824 ~x3607791+536870912 ~x3607790+268435456 ~x3607789+134217728 ~x3607788+67108864 ~x3607787+33554432 ~x3607786+16777216 ~x3607785+8388608 ~x3607784+4194304 ~x3607783+2097152 ~x3607782+1048576 ~x3607781+524288 ~x3607780+262144 ~x3607779+131072 ~x3607778+65536 ~x3607777+32768 ~x3607776+16384 ~x3607775+8192 ~x3607774+4096 ~x3607773+2048 ~x3607772+1024 ~x3607771+512 ~x3607770+256 ~x3607769+128 ~x3607768+64 ~x3607767+32 ~x3607766+16 ~x3607765+8 ~x3607764+4 ~x3607763+2 ~x3607762+1 ~x3607761+53336000 ~x1341+1680000000 x904+41943040000000 ~x772+20971520000000 ~x771+10485760000000 ~x770+5242880000000 ~x769+2621440000000 ~x768+1310720000000 ~x767+655360000000 ~x766+327680000000 ~x765+163840000000 ~x764+81920000000 ~x763+40960000000 ~x762+20480000000 ~x761+10240000000 ~x760+5120000000 ~x759+2560000000 ~x758+1280000000 ~x757+640000000 ~x756+320000000 ~x755+160000000 ~x754+80000000 ~x753+40000000 ~x752+20000000 ~x751+10000000 ~x750+5000000 ~x749+2500000 ~x748+1250000 ~x747+625000 ~x746+312500 ~x745+156250 ~x744+78125 ~x743+41943040000000 x622+20971520000000 x621+10485760000000 x620+5242880000000 x619+2621440000000 x618+1310720000000 x617+655360000000 x616+327680000000 x615+163840000000 x614+81920000000 x613+40960000000 x612+20480000000 x611+10240000000 x610+5120000000 x609+2560000000 x608+1280000000 x607+640000000 x606+320000000 x605+160000000 x604+80000000 x603+40000000 x602+20000000 x601+10000000 x600+5000000 x599+2500000 x598+1250000 x597+625000 x596+312500 x595+156250 x594+78125 x593+10922492428288 ~x20+5461246214144 ~x19+2730623107072 ~x18+1365311553536 ~x17+682655776768 ~x16+341327888384 ~x15+170663944192 ~x14+85331972096 ~x13+42665986048 ~x12+21332993024 ~x11+10666496512 ~x10+5333248256 ~x9+2666624128 ~x8+1333312064 ~x7+666656032 ~x6+333328016 ~x5+166664008 ~x4-0=246468439805770
84.16/84.20	c 70368744177664 ~x3686335+35184372088832 ~x3686334+17592186044416 ~x3686333+8796093022208 ~x3686332+4398046511104 ~x3686331+2199023255552 ~x3686330+1099511627776 ~x3686329+549755813888 ~x3686328+274877906944 ~x3686327+137438953472 ~x3686326+68719476736 ~x3686325+34359738368 ~x3686324+17179869184 ~x3686323+8589934592 ~x3686322+4294967296 ~x3686321+2147483648 ~x3686320+1073741824 ~x3686319+536870912 ~x3686318+268435456 ~x3686317+134217728 ~x3686316+67108864 ~x3686315+33554432 ~x3686314+16777216 ~x3686313+8388608 ~x3686312+4194304 ~x3686311+2097152 ~x3686310+1048576 ~x3686309+524288 ~x3686308+262144 ~x3686307+131072 ~x3686306+65536 ~x3686305+32768 ~x3686304+16384 ~x3686303+8192 ~x3686302+4096 ~x3686301+2048 ~x3686300+1024 ~x3686299+512 ~x3686298+256 ~x3686297+128 ~x3686296+64 ~x3686295+32 ~x3686294+16 ~x3686293+8 ~x3686292+4 ~x3686291+2 ~x3686290+1 ~x3686289+11744574963712 ~x1268+5872287481856 ~x1267+2936143740928 ~x1266+1468071870464 ~x1265+734035935232 ~x1264+367017967616 ~x1263+183508983808 ~x1262+91754491904 ~x1261+45877245952 ~x1260+22938622976 ~x1259+11469311488 ~x1258+5734655744 ~x1257+2867327872 ~x1256+1433663936 ~x1255+716831968 ~x1254+358415984 ~x1253+179207992 ~x1252+20000000 ~x1250+1680000000 ~x904+41943040000000 x772+20971520000000 x771+10485760000000 x770+5242880000000 x769+2621440000000 x768+1310720000000 x767+655360000000 x766+327680000000 x765+163840000000 x764+81920000000 x763+40960000000 x762+20480000000 x761+10240000000 x760+5120000000 x759+2560000000 x758+1280000000 x757+640000000 x756+320000000 x755+160000000 x754+80000000 x753+40000000 x752+20000000 x751+10000000 x750+5000000 x749+2500000 x748+1250000 x747+625000 x746+312500 x745+156250 x744+78125 x743+41943040000000 ~x622+20971520000000 ~x621+10485760000000 ~x620+5242880000000 ~x619+2621440000000 ~x618+1310720000000 ~x617+655360000000 ~x616+327680000000 ~x615+163840000000 ~x614+81920000000 ~x613+40960000000 ~x612+20480000000 ~x611+10240000000 ~x610+5120000000 ~x609+2560000000 ~x608+1280000000 ~x607+640000000 ~x606+320000000 ~x605+160000000 ~x604+80000000 ~x603+40000000 ~x602+20000000 ~x601+10000000 ~x600+5000000 ~x599+2500000 ~x598+1250000 ~x597+625000 ~x596+312500 ~x595+156250 ~x594+78125 ~x593-0=248112558996634
85.86/85.94	c 262144 ~x3764397+131072 ~x3764396+65536 ~x3764395+32768 ~x3764394+16384 ~x3764393+8192 ~x3764392+4096 ~x3764391+2048 ~x3764390+1024 ~x3764389+512 ~x3764388+256 ~x3764387+128 ~x3764386+64 ~x3764385+32 ~x3764384+16 ~x3764383+8 ~x3764382+4 ~x3764381+2 ~x3764380+1 ~x3764379+65536 ~x1268+32768 ~x1267+16384 ~x1266+8192 ~x1265+4096 ~x1264+2048 ~x1263+1024 ~x1262+512 ~x1261+256 ~x1260+128 ~x1259+64 ~x1258+32 ~x1257+16 ~x1256+8 ~x1255+4 ~x1254+2 ~x1253+1 ~x1252+65536 ~x1249+32768 ~x1248+16384 ~x1247+8192 ~x1246+4096 ~x1245+2048 ~x1244+1024 ~x1243+512 ~x1242+256 ~x1241+128 ~x1240+64 ~x1239+32 ~x1238+16 ~x1237+8 ~x1236+4 ~x1235+2 ~x1234+1 ~x1233+65536 ~x1231+32768 ~x1230+16384 ~x1229+8192 ~x1228+4096 ~x1227+2048 ~x1226+1024 ~x1225+512 ~x1224+256 ~x1223+128 ~x1222+64 ~x1221+32 ~x1220+16 ~x1219+8 ~x1218+4 ~x1217+2 ~x1216+1 ~x1215+8 ~x1200+4 ~x1199+2 ~x1198+1 ~x1197+8 ~x1182+4 ~x1181+2 ~x1180+1 ~x1179-0=917529
86.16/86.29	c 70368744177664 ~x3779573+35184372088832 ~x3779572+17592186044416 ~x3779571+8796093022208 ~x3779570+4398046511104 ~x3779569+2199023255552 ~x3779568+1099511627776 ~x3779567+549755813888 ~x3779566+274877906944 ~x3779565+137438953472 ~x3779564+68719476736 ~x3779563+34359738368 ~x3779562+17179869184 ~x3779561+8589934592 ~x3779560+4294967296 ~x3779559+2147483648 ~x3779558+1073741824 ~x3779557+536870912 ~x3779556+268435456 ~x3779555+134217728 ~x3779554+67108864 ~x3779553+33554432 ~x3779552+16777216 ~x3779551+8388608 ~x3779550+4194304 ~x3779549+2097152 ~x3779548+1048576 ~x3779547+524288 ~x3779546+262144 ~x3779545+131072 ~x3779544+65536 ~x3779543+32768 ~x3779542+16384 ~x3779541+8192 ~x3779540+4096 ~x3779539+2048 ~x3779538+1024 ~x3779537+512 ~x3779536+256 ~x3779535+128 ~x3779534+64 ~x3779533+32 ~x3779532+16 ~x3779531+8 ~x3779530+4 ~x3779529+2 ~x3779528+1 ~x3779527+10922492428288 ~x1286+5461246214144 ~x1285+2730623107072 ~x1284+1365311553536 ~x1283+682655776768 ~x1282+341327888384 ~x1281+170663944192 ~x1280+85331972096 ~x1279+42665986048 ~x1278+21332993024 ~x1277+10666496512 ~x1276+5333248256 ~x1275+2666624128 ~x1274+1333312064 ~x1273+666656032 ~x1272+333328016 ~x1271+166664008 ~x1270+1600000000 x1269+41943040000000 ~x652+20971520000000 ~x651+10485760000000 ~x650+5242880000000 ~x649+2621440000000 ~x648+1310720000000 ~x647+655360000000 ~x646+327680000000 ~x645+163840000000 ~x644+81920000000 ~x643+40960000000 ~x642+20480000000 ~x641+10240000000 ~x640+5120000000 ~x639+2560000000 ~x638+1280000000 ~x637+640000000 ~x636+320000000 ~x635+160000000 ~x634+80000000 ~x633+40000000 ~x632+20000000 ~x631+10000000 ~x630+5000000 ~x629+2500000 ~x628+1250000 ~x627+625000 ~x626+312500 ~x625+156250 ~x624+78125 ~x623-0=246468386469770
87.56/87.64	c 70368744177664 ~x3836649+35184372088832 ~x3836648+17592186044416 ~x3836647+8796093022208 ~x3836646+4398046511104 ~x3836645+2199023255552 ~x3836644+1099511627776 ~x3836643+549755813888 ~x3836642+274877906944 ~x3836641+137438953472 ~x3836640+68719476736 ~x3836639+34359738368 ~x3836638+17179869184 ~x3836637+8589934592 ~x3836636+4294967296 ~x3836635+2147483648 ~x3836634+1073741824 ~x3836633+536870912 ~x3836632+268435456 ~x3836631+134217728 ~x3836630+67108864 ~x3836629+33554432 ~x3836628+16777216 ~x3836627+8388608 ~x3836626+4194304 ~x3836625+2097152 ~x3836624+1048576 ~x3836623+524288 ~x3836622+262144 ~x3836621+131072 ~x3836620+65536 ~x3836619+32768 ~x3836618+16384 ~x3836617+8192 ~x3836616+4096 ~x3836615+2048 ~x3836614+1024 ~x3836613+512 ~x3836612+256 ~x3836611+128 ~x3836610+64 ~x3836609+32 ~x3836608+16 ~x3836607+8 ~x3836606+4 ~x3836605+2 ~x3836604+1 ~x3836603+10922492428288 ~x1304+5461246214144 ~x1303+2730623107072 ~x1302+1365311553536 ~x1301+682655776768 ~x1300+341327888384 ~x1299+170663944192 ~x1298+85331972096 ~x1297+42665986048 ~x1296+21332993024 ~x1295+10666496512 ~x1294+5333248256 ~x1293+2666624128 ~x1292+1333312064 ~x1291+666656032 ~x1290+333328016 ~x1289+166664008 ~x1288+1600000000 x1287+41943040000000 ~x682+20971520000000 ~x681+10485760000000 ~x680+5242880000000 ~x679+2621440000000 ~x678+1310720000000 ~x677+655360000000 ~x676+327680000000 ~x675+163840000000 ~x674+81920000000 ~x673+40960000000 ~x672+20480000000 ~x671+10240000000 ~x670+5120000000 ~x669+2560000000 ~x668+1280000000 ~x667+640000000 ~x666+320000000 ~x665+160000000 ~x664+80000000 ~x663+40000000 ~x662+20000000 ~x661+10000000 ~x660+5000000 ~x659+2500000 ~x658+1250000 ~x657+625000 ~x656+312500 ~x655+156250 ~x654+78125 ~x653-0=246468386469770
88.85/88.93	c 70368744177664 ~x3893725+35184372088832 ~x3893724+17592186044416 ~x3893723+8796093022208 ~x3893722+4398046511104 ~x3893721+2199023255552 ~x3893720+1099511627776 ~x3893719+549755813888 ~x3893718+274877906944 ~x3893717+137438953472 ~x3893716+68719476736 ~x3893715+34359738368 ~x3893714+17179869184 ~x3893713+8589934592 ~x3893712+4294967296 ~x3893711+2147483648 ~x3893710+1073741824 ~x3893709+536870912 ~x3893708+268435456 ~x3893707+134217728 ~x3893706+67108864 ~x3893705+33554432 ~x3893704+16777216 ~x3893703+8388608 ~x3893702+4194304 ~x3893701+2097152 ~x3893700+1048576 ~x3893699+524288 ~x3893698+262144 ~x3893697+131072 ~x3893696+65536 ~x3893695+32768 ~x3893694+16384 ~x3893693+8192 ~x3893692+4096 ~x3893691+2048 ~x3893690+1024 ~x3893689+512 ~x3893688+256 ~x3893687+128 ~x3893686+64 ~x3893685+32 ~x3893684+16 ~x3893683+8 ~x3893682+4 ~x3893681+2 ~x3893680+1 ~x3893679+10922492428288 ~x1322+5461246214144 ~x1321+2730623107072 ~x1320+1365311553536 ~x1319+682655776768 ~x1318+341327888384 ~x1317+170663944192 ~x1316+85331972096 ~x1315+42665986048 ~x1314+21332993024 ~x1313+10666496512 ~x1312+5333248256 ~x1311+2666624128 ~x1310+1333312064 ~x1309+666656032 ~x1308+333328016 ~x1307+166664008 ~x1306+1600000000 x1305+41943040000000 ~x712+20971520000000 ~x711+10485760000000 ~x710+5242880000000 ~x709+2621440000000 ~x708+1310720000000 ~x707+655360000000 ~x706+327680000000 ~x705+163840000000 ~x704+81920000000 ~x703+40960000000 ~x702+20480000000 ~x701+10240000000 ~x700+5120000000 ~x699+2560000000 ~x698+1280000000 ~x697+640000000 ~x696+320000000 ~x695+160000000 ~x694+80000000 ~x693+40000000 ~x692+20000000 ~x691+10000000 ~x690+5000000 ~x689+2500000

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673877-1276800676/watcher-2673877-1276800676 -o /tmp/evaluation-result-2673877-1276800676/solver-2673877-1276800676 -C 1800 -W 2000 -M 1800 run HOME/instance-2673877-1276800676.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.92 0.97 0.99 3/106 23844
/proc/meminfo: memFree=1858116/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0

[startup+0.0630301 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 23844
/proc/meminfo: memFree=1858116/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101034 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 23844
/proc/meminfo: memFree=1858116/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301055 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 23844
/proc/meminfo: memFree=1858116/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701095 s]
/proc/loadavg: 0.92 0.97 0.99 3/106 23844
/proc/meminfo: memFree=1858116/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50118 s]
/proc/loadavg: 0.92 0.97 0.99 2/108 23847
/proc/meminfo: memFree=1730752/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=138812 CPUtime=1.48
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 35302 0 0 0 96 52 0 0 23 0 1 0 21359848 142143488 33900 1992294400 134512640 134902295 4290264096 18446744073709551615 134631644 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 34703 33900 262 96 0 33915 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 147512

[startup+3.10034 s]
/proc/loadavg: 0.92 0.97 0.99 2/108 23847
/proc/meminfo: memFree=1713888/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=164740 CPUtime=3.09
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 42613 0 0 0 253 56 0 0 25 0 1 0 21359848 168693760 40149 1992294400 134512640 134902295 4290264096 18446744073709551615 4159711916 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 41185 40149 262 96 0 40397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 173440

[startup+6.30067 s]
/proc/loadavg: 0.93 0.97 0.99 2/108 23847
/proc/meminfo: memFree=1651516/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=219116 CPUtime=6.28
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 59427 0 0 0 564 64 0 0 25 0 1 0 21359848 224374784 53588 1992294400 134512640 134902295 4290264096 18446744073709551615 134630994 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 54779 53588 262 96 0 53991 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 227816

[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.99 2/108 23847
/proc/meminfo: memFree=1544380/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=339996 CPUtime=12.68
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 90835 0 0 0 1191 77 0 0 25 0 1 0 21359848 348155904 82789 1992294400 134512640 134902295 4290264096 18446744073709551615 4159705269 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 84999 82789 262 96 0 84211 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 348696

[startup+25.5016 s]
/proc/loadavg: 0.95 0.97 0.99 2/108 23847
/proc/meminfo: memFree=1304440/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=578608 CPUtime=25.48
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 151841 0 0 0 2445 103 0 0 25 0 1 0 21359848 592494592 139341 1992294400 134512640 134902295 4290264096 18446744073709551615 4159671921 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 144652 139341 262 96 0 143864 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 587308

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.99 2/108 23847
/proc/meminfo: memFree=829892/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=1060836 CPUtime=51.07
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 273803 0 0 0 4951 156 0 0 25 0 1 0 21359848 1086296064 259215 1992294400 134512640 134902295 4290264096 18446744073709551615 4159706616 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 265209 259215 262 96 0 264421 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1069536



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+89.9012 s]
/proc/loadavg: 0.98 0.97 0.99 2/108 23849
/proc/meminfo: memFree=70888/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=1834920 CPUtime=89.86
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 463437 0 0 0 8749 237 0 0 25 0 1 0 21359848 1878958080 445969 1992294400 134512640 134902295 4290264096 18446744073709551615 6239740 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 458730 445969 262 96 0 457942 0
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (KiB) 1843620

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

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

[startup+89.9012 s]
/proc/loadavg: 0.98 0.97 0.99 2/108 23849
/proc/meminfo: memFree=70888/2059040 swapFree=4140212/4192956
[pid=23844] ppid=23842 vsize=8700 CPUtime=0
/proc/23844/stat : 23844 (run) S 23842 23844 23642 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21359848 8908800 250 1992294400 4194304 4922060 140736335248816 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23844/statm: 2175 250 211 178 0 68 0
[pid=23846] ppid=23844 vsize=1834920 CPUtime=89.86
/proc/23846/stat : 23846 (PBPASSolver) R 23844 23844 23642 0 -1 4202496 463437 0 0 0 8749 237 0 0 25 0 1 0 21359848 1878958080 445969 1992294400 134512640 134902295 4290264096 18446744073709551615 6239740 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23846/statm: 458730 445969 262 96 0 457942 0
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (KiB) 1843620

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 89.9145
CPU time (s): 89.86
CPU user time (s): 87.49
CPU system time (s): 2.37
CPU usage (%): 99.9394
Max. virtual memory (cumulated for all children) (KiB): 1843620

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

runsolver used 0.145977 second user time and 0.449931 second system time

The end

Launcher Data

Begin job on node045 at 2010-06-17 20:51:17
IDJOB=2673877
IDBENCH=2533
IDSOLVER=1174
FILE ID=node045/2673877-1276800676
PBS_JOBID= 11176637
Free space on /tmp= 62460 MiB

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

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

MD5SUM BENCH= bea15b769c4cc5d5ccef31ae4b368d84
RANDOM SEED=1880971782

node045.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.247
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.49
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.247
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1858636 kB
Buffers:         30292 kB
Cached:          89368 kB
SwapCached:       4248 kB
Active:           8512 kB
Inactive:       122124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1858636 kB
SwapTotal:     4192956 kB
SwapFree:      4140212 kB
Dirty:            1068 kB
Writeback:           0 kB
AnonPages:       10836 kB
Mapped:          12996 kB
Slab:            47832 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180712 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= 62456 MiB
End job on node045 at 2010-06-17 20:52:48