Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (MO) | 68.38 | 68.4149 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg.opb |
MD5SUM | 4f19aa044e880280faec0077a2509ba8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4890 |
Total number of constraints | 363 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 363 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 3930 |
Biggest coefficient in the objective function | 5373004087296 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 556141355997381 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
Number of bits of the biggest sum of numbers | 56 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
3.98/4.09 c 4890 363 0 0 0 0 0 0 3.98/4.09 c 137438953472 ~x4929+68719476736 ~x4928+34359738368 ~x4927+17179869184 ~x4926+8589934592 ~x4925+4294967296 ~x4924+2147483648 ~x4923+1073741824 ~x4922+536870912 ~x4921+268435456 ~x4920+134217728 ~x4919+67108864 ~x4918+33554432 ~x4917+16777216 ~x4916+8388608 ~x4915+4194304 ~x4914+2097152 ~x4913+1048576 ~x4912+524288 ~x4911+262144 ~x4910+131072 ~x4909+65536 ~x4908+32768 ~x4907+16384 ~x4906+8192 ~x4905+4096 ~x4904+2048 ~x4903+1024 ~x4902+512 ~x4901+256 ~x4900+128 ~x4899+64 ~x4898+32 ~x4897+16 ~x4896+8 ~x4895+4 ~x4894+2 ~x4893+1 ~x4892+86436216832 ~x3031+43218108416 ~x3030+21609054208 ~x3029+10804527104 ~x3028+5402263552 ~x3027+2701131776 ~x3026+1350565888 ~x3025+675282944 ~x3024+337641472 ~x3023+168820736 ~x3022+84410368 ~x3021+42205184 ~x3020+21102592 ~x3019+10551296 ~x3018+5275648 ~x3017+2637824 ~x3016+1318912 ~x3015+659456 ~x3014+329728 ~x3013+164864 ~x3012+82432 ~x3011+41216 ~x3010+20608 ~x3009+10304 ~x3008+5152 ~x3007+2576 ~x3006+1288 ~x3005+644 ~x3004+322 ~x3003+161 ~x3002+96636764160 ~x2911+48318382080 ~x2910+24159191040 ~x2909+12079595520 ~x2908+6039797760 ~x2907+3019898880 ~x2906+1509949440 ~x2905+754974720 ~x2904+377487360 ~x2903+188743680 ~x2902+94371840 ~x2901+47185920 ~x2900+23592960 ~x2899+11796480 ~x2898+5898240 ~x2897+2949120 ~x2896+1474560 ~x2895+737280 ~x2894+368640 ~x2893+184320 ~x2892+92160 ~x2891+46080 ~x2890+23040 ~x2889+11520 ~x2888+5760 ~x2887+2880 ~x2886+1440 ~x2885+720 ~x2884+360 ~x2883+180 ~x2882-0=422604668586 5.09/5.19 c 549755813888 ~x56734+274877906944 ~x56733+137438953472 ~x56732+68719476736 ~x56731+34359738368 ~x56730+17179869184 ~x56729+8589934592 ~x56728+4294967296 ~x56727+2147483648 ~x56726+1073741824 ~x56725+536870912 ~x56724+268435456 ~x56723+134217728 ~x56722+67108864 ~x56721+33554432 ~x56720+16777216 ~x56719+8388608 ~x56718+4194304 ~x56717+2097152 ~x56716+1048576 ~x56715+524288 ~x56714+262144 ~x56713+131072 ~x56712+65536 ~x56711+32768 ~x56710+16384 ~x56709+8192 ~x56708+4096 ~x56707+2048 ~x56706+1024 ~x56705+512 ~x56704+256 ~x56703+128 ~x56702+64 ~x56701+32 ~x56700+16 ~x56699+8 ~x56698+4 ~x56697+2 ~x56696+1 ~x56695+78383153152 ~x3061+39191576576 ~x3060+19595788288 ~x3059+9797894144 ~x3058+4898947072 ~x3057+2449473536 ~x3056+1224736768 ~x3055+612368384 ~x3054+306184192 ~x3053+153092096 ~x3052+76546048 ~x3051+38273024 ~x3050+19136512 ~x3049+9568256 ~x3048+4784128 ~x3047+2392064 ~x3046+1196032 ~x3045+598016 ~x3044+299008 ~x3043+149504 ~x3042+74752 ~x3041+37376 ~x3040+18688 ~x3039+9344 ~x3038+4672 ~x3037+2336 ~x3036+1168 ~x3035+584 ~x3034+292 ~x3033+146 ~x3032+137975824384 ~x3031+68987912192 ~x3030+34493956096 ~x3029+17246978048 ~x3028+8623489024 ~x3027+4311744512 ~x3026+2155872256 ~x3025+1077936128 ~x3024+538968064 ~x3023+269484032 ~x3022+134742016 ~x3021+67371008 ~x3020+33685504 ~x3019+16842752 ~x3018+8421376 ~x3017+4210688 ~x3016+2105344 ~x3015+1052672 ~x3014+526336 ~x3013+263168 ~x3012+131584 ~x3011+65792 ~x3010+32896 ~x3009+16448 ~x3008+8224 ~x3007+4112 ~x3006+2056 ~x3005+1028 ~x3004+514 ~x3003+257 ~x3002+391915765760 ~x2911+195957882880 ~x2910+97978941440 ~x2909+48989470720 ~x2908+24494735360 ~x2907+12247367680 ~x2906+6123683840 ~x2905+3061841920 ~x2904+1530920960 ~x2903+765460480 ~x2902+382730240 ~x2901+191365120 ~x2900+95682560 ~x2899+47841280 ~x2898+23920640 ~x2897+11960320 ~x2896+5980160 ~x2895+2990080 ~x2894+1495040 ~x2893+747520 ~x2892+373760 ~x2891+186880 ~x2890+93440 ~x2889+46720 ~x2888+23360 ~x2887+11680 ~x2886+5840 ~x2885+2920 ~x2884+1460 ~x2883+730 ~x2882-0=2121910713234 6.59/6.69 c 549755813888 ~x128119+274877906944 ~x128118+137438953472 ~x128117+68719476736 ~x128116+34359738368 ~x128115+17179869184 ~x128114+8589934592 ~x128113+4294967296 ~x128112+2147483648 ~x128111+1073741824 ~x128110+536870912 ~x128109+268435456 ~x128108+134217728 ~x128107+67108864 ~x128106+33554432 ~x128105+16777216 ~x128104+8388608 ~x128103+4194304 ~x128102+2097152 ~x128101+1048576 ~x128100+524288 ~x128099+262144 ~x128098+131072 ~x128097+65536 ~x128096+32768 ~x128095+16384 ~x128094+8192 ~x128093+4096 ~x128092+2048 ~x128091+1024 ~x128090+512 ~x128089+256 ~x128088+128 ~x128087+64 ~x128086+32 ~x128085+16 ~x128084+8 ~x128083+4 ~x128082+2 ~x128081+1 ~x128080+78383153152 ~x3091+39191576576 ~x3090+19595788288 ~x3089+9797894144 ~x3088+4898947072 ~x3087+2449473536 ~x3086+1224736768 ~x3085+612368384 ~x3084+306184192 ~x3083+153092096 ~x3082+76546048 ~x3081+38273024 ~x3080+19136512 ~x3079+9568256 ~x3078+4784128 ~x3077+2392064 ~x3076+1196032 ~x3075+598016 ~x3074+299008 ~x3073+149504 ~x3072+74752 ~x3071+37376 ~x3070+18688 ~x3069+9344 ~x3068+4672 ~x3067+2336 ~x3066+1168 ~x3065+584 ~x3064+292 ~x3063+146 ~x3062+146028888064 ~x3061+73014444032 ~x3060+36507222016 ~x3059+18253611008 ~x3058+9126805504 ~x3057+4563402752 ~x3056+2281701376 ~x3055+1140850688 ~x3054+570425344 ~x3053+285212672 ~x3052+142606336 ~x3051+71303168 ~x3050+35651584 ~x3049+17825792 ~x3048+8912896 ~x3047+4456448 ~x3046+2228224 ~x3045+1114112 ~x3044+557056 ~x3043+278528 ~x3042+139264 ~x3041+69632 ~x3040+34816 ~x3039+17408 ~x3038+8704 ~x3037+4352 ~x3036+2176 ~x3035+1088 ~x3034+544 ~x3033+272 ~x3032+57445187584 ~x2971+28722593792 ~x2970+14361296896 ~x2969+7180648448 ~x2968+3590324224 ~x2967+1795162112 ~x2966+897581056 ~x2965+448790528 ~x2964+224395264 ~x2963+112197632 ~x2962+56098816 ~x2961+28049408 ~x2960+14024704 ~x2959+7012352 ~x2958+3506176 ~x2957+1753088 ~x2956+876544 ~x2955+438272 ~x2954+219136 ~x2953+109568 ~x2952+54784 ~x2951+27392 ~x2950+13696 ~x2949+6848 ~x2948+3424 ~x2947+1712 ~x2946+856 ~x2945+428 ~x2944+214 ~x2943+107 ~x2942+350576705536 ~x2941+175288352768 ~x2940+87644176384 ~x2939+43822088192 ~x2938+21911044096 ~x2937+10955522048 ~x2936+5477761024 ~x2935+2738880512 ~x2934+1369440256 ~x2933+684720128 ~x2932+342360064 ~x2931+171180032 ~x2930+85590016 ~x2929+42795008 ~x2928+21397504 ~x2927+10698752 ~x2926+5349376 ~x2925+2674688 ~x2924+1337344 ~x2923+668672 ~x2922+334336 ~x2921+167168 ~x2920+83584 ~x2919+41792 ~x2918+20896 ~x2917+10448 ~x2916+5224 ~x2915+2612 ~x2914+1306 ~x2913+653 ~x2912-0=2154049895269 8.48/8.59 c 549755813888 ~x217414+274877906944 ~x217413+137438953472 ~x217412+68719476736 ~x217411+34359738368 ~x217410+17179869184 ~x217409+8589934592 ~x217408+4294967296 ~x217407+2147483648 ~x217406+1073741824 ~x217405+536870912 ~x217404+268435456 ~x217403+134217728 ~x217402+67108864 ~x217401+33554432 ~x217400+16777216 ~x217399+8388608 ~x217398+4194304 ~x217397+2097152 ~x217396+1048576 ~x217395+524288 ~x217394+262144 ~x217393+131072 ~x217392+65536 ~x217391+32768 ~x217390+16384 ~x217389+8192 ~x217388+4096 ~x217387+2048 ~x217386+1024 ~x217385+512 ~x217384+256 ~x217383+128 ~x217382+64 ~x217381+32 ~x217380+16 ~x217379+8 ~x217378+4 ~x217377+2 ~x217376+1 ~x217375+75161927680 ~x3121+37580963840 ~x3120+18790481920 ~x3119+9395240960 ~x3118+4697620480 ~x3117+2348810240 ~x3116+1174405120 ~x3115+587202560 ~x3114+293601280 ~x3113+146800640 ~x3112+73400320 ~x3111+36700160 ~x3110+18350080 ~x3109+9175040 ~x3108+4587520 ~x3107+2293760 ~x3106+1146880 ~x3105+573440 ~x3104+286720 ~x3103+143360 ~x3102+71680 ~x3101+35840 ~x3100+17920 ~x3099+8960 ~x3098+4480 ~x3097+2240 ~x3096+1120 ~x3095+560 ~x3094+280 ~x3093+140 ~x3092+146028888064 ~x3091+73014444032 ~x3090+36507222016 ~x3089+18253611008 ~x3088+9126805504 ~x3087+4563402752 ~x3086+2281701376 ~x3085+1140850688 ~x3084+570425344 ~x3083+285212672 ~x3082+142606336 ~x3081+71303168 ~x3080+35651584 ~x3079+17825792 ~x3078+8912896 ~x3077+4456448 ~x3076+2228224 ~x3075+1114112 ~x3074+557056 ~x3073+278528 ~x3072+139264 ~x3071+69632 ~x3070+34816 ~x3069+17408 ~x3068+8704 ~x3067+4352 ~x3066+2176 ~x3065+1088 ~x3064+544 ~x3063+272 ~x3062+38654705664 ~x3001+19327352832 ~x3000+9663676416 ~x2999+4831838208 ~x2998+2415919104 ~x2997+1207959552 ~x2996+603979776 ~x2995+301989888 ~x2994+150994944 ~x2993+75497472 ~x2992+37748736 ~x2991+18874368 ~x2990+9437184 ~x2989+4718592 ~x2988+2359296 ~x2987+1179648 ~x2986+589824 ~x2985+294912 ~x2984+147456 ~x2983+73728 ~x2982+36864 ~x2981+18432 ~x2980+9216 ~x2979+4608 ~x2978+2304 ~x2977+1152 ~x2976+576 ~x2975+288 ~x2974+144 ~x2973+72 ~x2972+352724189184 ~x2971+176362094592 ~x2970+88181047296 ~x2969+44090523648 ~x2968+22045261824 ~x2967+11022630912 ~x2966+5511315456 ~x2965+2755657728 ~x2964+1377828864 ~x2963+688914432 ~x2962+344457216 ~x2961+172228608 ~x2960+86114304 ~x2959+43057152 ~x2958+21528576 ~x2957+10764288 ~x2956+5382144 ~x2955+2691072 ~x2954+1345536 ~x2953+672768 ~x2952+336384 ~x2951+168192 ~x2950+84096 ~x2949+42048 ~x2948+21024 ~x2947+10512 ~x2946+5256 ~x2945+2628 ~x2944+1314 ~x2943+657 ~x2942-0=2114321447818 10.59/10.63 c 274877906944 ~x306348+137438953472 ~x306347+68719476736 ~x306346+34359738368 ~x306345+17179869184 ~x306344+8589934592 ~x306343+4294967296 ~x306342+2147483648 ~x306341+1073741824 ~x306340+536870912 ~x306339+268435456 ~x306338+134217728 ~x306337+67108864 ~x306336+33554432 ~x306335+16777216 ~x306334+8388608 ~x306333+4194304 ~x306332+2097152 ~x306331+1048576 ~x306330+524288 ~x306329+262144 ~x306328+131072 ~x306327+65536 ~x306326+32768 ~x306325+16384 ~x306324+8192 ~x306323+4096 ~x306322+2048 ~x306321+1024 ~x306320+512 ~x306319+256 ~x306318+128 ~x306317+64 ~x306316+32 ~x306315+16 ~x306314+8 ~x306313+4 ~x306312+2 ~x306311+1 ~x306310+112206020608 ~x3151+56103010304 ~x3150+28051505152 ~x3149+14025752576 ~x3148+7012876288 ~x3147+3506438144 ~x3146+1753219072 ~x3145+876609536 ~x3144+438304768 ~x3143+219152384 ~x3142+109576192 ~x3141+54788096 ~x3140+27394048 ~x3139+13697024 ~x3138+6848512 ~x3137+3424256 ~x3136+1712128 ~x3135+856064 ~x3134+428032 ~x3133+214016 ~x3132+107008 ~x3131+53504 ~x3130+26752 ~x3129+13376 ~x3128+6688 ~x3127+3344 ~x3126+1672 ~x3125+836 ~x3124+418 ~x3123+209 ~x3122+205084688384 ~x3001+102542344192 ~x3000+51271172096 ~x2999+25635586048 ~x2998+12817793024 ~x2997+6408896512 ~x2996+3204448256 ~x2995+1602224128 ~x2994+801112064 ~x2993+400556032 ~x2992+200278016 ~x2991+100139008 ~x2990+50069504 ~x2989+25034752 ~x2988+12517376 ~x2987+6258688 ~x2986+3129344 ~x2985+1564672 ~x2984+782336 ~x2983+391168 ~x2982+195584 ~x2981+97792 ~x2980+48896 ~x2979+24448 ~x2978+12224 ~x2977+6112 ~x2976+3056 ~x2975+1528 ~x2974+764 ~x2973+382 ~x2972-0=1083217231280 11.68/11.74 c 1073741824 ~x359080+536870912 ~x359079+268435456 ~x359078+134217728 ~x359077+67108864 ~x359076+33554432 ~x359075+16777216 ~x359074+8388608 ~x359073+4194304 ~x359072+2097152 ~x359071+1048576 ~x359070+524288 ~x359069+262144 ~x359068+131072 ~x359067+65536 ~x359066+32768 ~x359065+16384 ~x359064+8192 ~x359063+4096 ~x359062+2048 ~x359061+1024 ~x359060+512 ~x359059+256 ~x359058+128 ~x359057+64 ~x359056+32 ~x359055+16 ~x359054+8 ~x359053+4 ~x359052+2 ~x359051+1 ~x359050+998244352 ~x2245+499122176 ~x2244+249561088 ~x2243+124780544 ~x2242+62390272 ~x2241+31195136 ~x2240+15597568 ~x2239+7798784 ~x2238+3899392 ~x2237+1949696 ~x2236+974848 ~x2235+487424 ~x2234+243712 ~x2233+121856 ~x2232+60928 ~x2231+30464 ~x2230+15232 ~x2229+7616 ~x2228+3808 ~x2227+1904 ~x2226+952 ~x2225+476 ~x2224+238 ~x2223+119 ~x2222-0=3727048584 12.09/12.11 c 1073741824 ~x376137+536870912 ~x376136+268435456 ~x376135+134217728 ~x376134+67108864 ~x376133+33554432 ~x376132+16777216 ~x376131+8388608 ~x376130+4194304 ~x376129+2097152 ~x376128+1048576 ~x376127+524288 ~x376126+262144 ~x376125+131072 ~x376124+65536 ~x376123+32768 ~x376122+16384 ~x376121+8192 ~x376120+4096 ~x376119+2048 ~x376118+1024 ~x376117+512 ~x376116+256 ~x376115+128 ~x376114+64 ~x376113+32 ~x376112+16 ~x376111+8 ~x376110+4 ~x376109+2 ~x376108+1 ~x376107+998244352 ~x2275+499122176 ~x2274+249561088 ~x2273+124780544 ~x2272+62390272 ~x2271+31195136 ~x2270+15597568 ~x2269+7798784 ~x2268+3899392 ~x2267+1949696 ~x2266+974848 ~x2265+487424 ~x2264+243712 ~x2263+121856 ~x2262+60928 ~x2261+30464 ~x2260+15232 ~x2259+7616 ~x2258+3808 ~x2257+1904 ~x2256+952 ~x2255+476 ~x2254+238 ~x2253+119 ~x2252-0=3727048584 12.38/12.48 c 137438953472 ~x393201+68719476736 ~x393200+34359738368 ~x393199+17179869184 ~x393198+8589934592 ~x393197+4294967296 ~x393196+2147483648 ~x393195+1073741824 ~x393194+536870912 ~x393193+268435456 ~x393192+134217728 ~x393191+67108864 ~x393190+33554432 ~x393189+16777216 ~x393188+8388608 ~x393187+4194304 ~x393186+2097152 ~x393185+1048576 ~x393184+524288 ~x393183+262144 ~x393182+131072 ~x393181+65536 ~x393180+32768 ~x393179+16384 ~x393178+8192 ~x393177+4096 ~x393176+2048 ~x393175+1024 ~x393174+512 ~x393173+256 ~x393172+128 ~x393171+64 ~x393170+32 ~x393169+16 ~x393168+8 ~x393167+4 ~x393166+2 ~x393165+1 ~x393164+208842784768 ~x2341+104421392384 ~x2340+52210696192 ~x2339+26105348096 ~x2338+13052674048 ~x2337+6526337024 ~x2336+3263168512 ~x2335+1631584256 ~x2334+815792128 ~x2333+407896064 ~x2332+203948032 ~x2331+101974016 ~x2330+50987008 ~x2329+25493504 ~x2328+12746752 ~x2327+6373376 ~x2326+3186688 ~x2325+1593344 ~x2324+796672 ~x2323+398336 ~x2322+199168 ~x2321+99584 ~x2320+49792 ~x2319+24896 ~x2318+12448 ~x2317+6224 ~x2316+3112 ~x2315+1556 ~x2314+778 ~x2313+389 ~x2312-0=540886036090 13.19/13.23 c 274877906944 ~x428085+137438953472 ~x428084+68719476736 ~x428083+34359738368 ~x428082+17179869184 ~x428081+8589934592 ~x428080+4294967296 ~x428079+2147483648 ~x428078+1073741824 ~x428077+536870912 ~x428076+268435456 ~x428075+134217728 ~x428074+67108864 ~x428073+33554432 ~x428072+16777216 ~x428071+8388608 ~x428070+4194304 ~x428069+2097152 ~x428068+1048576 ~x428067+524288 ~x428066+262144 ~x428065+131072 ~x428064+65536 ~x428063+32768 ~x428062+16384 ~x428061+8192 ~x428060+4096 ~x428059+2048 ~x428058+1024 ~x428057+512 ~x428056+256 ~x428055+128 ~x428054+64 ~x428053+32 ~x428052+16 ~x428051+8 ~x428050+4 ~x428049+2 ~x428048+1 ~x428047+137975824384 ~x2671+68987912192 ~x2670+34493956096 ~x2669+17246978048 ~x2668+8623489024 ~x2667+4311744512 ~x2666+2155872256 ~x2665+1077936128 ~x2664+538968064 ~x2663+269484032 ~x2662+134742016 ~x2661+67371008 ~x2660+33685504 ~x2659+16842752 ~x2658+8421376 ~x2657+4210688 ~x2656+2105344 ~x2655+1052672 ~x2654+526336 ~x2653+263168 ~x2652+131584 ~x2651+65792 ~x2650+32896 ~x2649+16448 ~x2648+8224 ~x2647+4112 ~x2646+2056 ~x2645+1028 ~x2644+514 ~x2643+257 ~x2642+212064010240 ~x2370+106032005120 ~x2369+53016002560 ~x2368+26508001280 ~x2367+13254000640 ~x2366+6627000320 ~x2365+3313500160 ~x2364+1656750080 ~x2363+828375040 ~x2362+414187520 ~x2361+207093760 ~x2360+103546880 ~x2359+51773440 ~x2358+25886720 ~x2357+12943360 ~x2356+6471680 ~x2355+3235840 ~x2354+1617920 ~x2353+808960 ~x2352+404480 ~x2351+202240 ~x2350+101120 ~x2349+50560 ~x2348+25280 ~x2347+12640 ~x2346+6320 ~x2345+3160 ~x2344+1580 ~x2343+790 ~x2342-0=854906862568 14.29/14.36 c 4398046511104 ~x480766+2199023255552 ~x480765+1099511627776 ~x480764+549755813888 ~x480763+274877906944 ~x480762+137438953472 ~x480761+68719476736 ~x480760+34359738368 ~x480759+17179869184 ~x480758+8589934592 ~x480757+4294967296 ~x480756+2147483648 ~x480755+1073741824 ~x480754+536870912 ~x480753+268435456 ~x480752+134217728 ~x480751+67108864 ~x480750+33554432 ~x480749+16777216 ~x480748+8388608 ~x480747+4194304 ~x480746+2097152 ~x480745+1048576 ~x480744+524288 ~x480743+262144 ~x480742+131072 ~x480741+65536 ~x480740+32768 ~x480739+16384 ~x480738+8192 ~x480737+4096 ~x480736+2048 ~x480735+1024 ~x480734+512 ~x480733+256 ~x480732+128 ~x480731+64 ~x480730+32 ~x480729+16 ~x480728+8 ~x480727+4 ~x480726+2 ~x480725+1 ~x480724+49392123904 ~x2701+24696061952 ~x2700+12348030976 ~x2699+6174015488 ~x2698+3087007744 ~x2697+1543503872 ~x2696+771751936 ~x2695+385875968 ~x2694+192937984 ~x2693+96468992 ~x2692+48234496 ~x2691+24117248 ~x2690+12058624 ~x2689+6029312 ~x2688+3014656 ~x2687+1507328 ~x2686+753664 ~x2685+376832 ~x2684+188416 ~x2683+94208 ~x2682+47104 ~x2681+23552 ~x2680+11776 ~x2679+5888 ~x2678+2944 ~x2677+1472 ~x2676+736 ~x2675+368 ~x2674+184 ~x2673+92 ~x2672+856845975552 ~x2671+428422987776 ~x2670+214211493888 ~x2669+107105746944 ~x2668+53552873472 ~x2667+26776436736 ~x2666+13388218368 ~x2665+6694109184 ~x2664+3347054592 ~x2663+1673527296 ~x2662+836763648 ~x2661+418381824 ~x2660+209190912 ~x2659+104595456 ~x2658+52297728 ~x2657+26148864 ~x2656+13074432 ~x2655+6537216 ~x2654+3268608 ~x2653+1634304 ~x2652+817152 ~x2651+408576 ~x2650+204288 ~x2649+102144 ~x2648+51072 ~x2647+25536 ~x2646+12768 ~x2645+6384 ~x2644+3192 ~x2643+1596 ~x2642+385473314816 ~x2401+192736657408 ~x2400+96368328704 ~x2399+48184164352 ~x2398+24092082176 ~x2397+12046041088 ~x2396+6023020544 ~x2395+3011510272 ~x2394+1505755136 ~x2393+752877568 ~x2392+376438784 ~x2391+188219392 ~x2390+94109696 ~x2389+47054848 ~x2388+23527424 ~x2387+11763712 ~x2386+5881856 ~x2385+2940928 ~x2384+1470464 ~x2383+735232 ~x2382+367616 ~x2381+183808 ~x2380+91904 ~x2379+45952 ~x2378+22976 ~x2377+11488 ~x2376+5744 ~x2375+2872 ~x2374+1436 ~x2373+718 ~x2372+1310501896192 ~x2371+655250948096 ~x2370+327625474048 ~x2369+163812737024 ~x2368+81906368512 ~x2367+40953184256 ~x2366+20476592128 ~x2365+10238296064 ~x2364+5119148032 ~x2363+2559574016 ~x2362+1279787008 ~x2361+639893504 ~x2360+319946752 ~x2359+159973376 ~x2358+79986688 ~x2357+39993344 ~x2356+19996672 ~x2355+9998336 ~x2354+4999168 ~x2353+2499584 ~x2352+1249792 ~x2351+624896 ~x2350+312448 ~x2349+156224 ~x2348+78112 ~x2347+39056 ~x2346+19528 ~x2345+9764 ~x2344+4882 ~x2343+2441 ~x2342-0=13272465878288 16.59/16.60 c 4398046511104 ~x587475+2199023255552 ~x587474+1099511627776 ~x587473+549755813888 ~x587472+274877906944 ~x587471+137438953472 ~x587470+68719476736 ~x587469+34359738368 ~x587468+17179869184 ~x587467+8589934592 ~x587466+4294967296 ~x587465+2147483648 ~x587464+1073741824 ~x587463+536870912 ~x587462+268435456 ~x587461+134217728 ~x587460+67108864 ~x587459+33554432 ~x587458+16777216 ~x587457+8388608 ~x587456+4194304 ~x587455+2097152 ~x587454+1048576 ~x587453+524288 ~x587452+262144 ~x587451+131072 ~x587450+65536 ~x587449+32768 ~x587448+16384 ~x587447+8192 ~x587446+4096 ~x587445+2048 ~x587444+1024 ~x587443+512 ~x587442+256 ~x587441+128 ~x587440+64 ~x587439+32 ~x587438+16 ~x587437+8 ~x587436+4 ~x587435+2 ~x587434+1 ~x587433+945429676032 ~x2701+472714838016 ~x2700+236357419008 ~x2699+118178709504 ~x2698+59089354752 ~x2697+29544677376 ~x2696+14772338688 ~x2695+7386169344 ~x2694+3693084672 ~x2693+1846542336 ~x2692+923271168 ~x2691+461635584 ~x2690+230817792 ~x2689+115408896 ~x2688+57704448 ~x2687+28852224 ~x2686+14426112 ~x2685+7213056 ~x2684+3606528 ~x2683+1803264 ~x2682+901632 ~x2681+450816 ~x2680+225408 ~x2679+112704 ~x2678+56352 ~x2677+28176 ~x2676+14088 ~x2675+7044 ~x2674+3522 ~x2673+1761 ~x2672+385473314816 ~x2431+192736657408 ~x2430+96368328704 ~x2429+48184164352 ~x2428+24092082176 ~x2427+12046041088 ~x2426+6023020544 ~x2425+3011510272 ~x2424+1505755136 ~x2423+752877568 ~x2422+376438784 ~x2421+188219392 ~x2420+94109696 ~x2419+47054848 ~x2418+23527424 ~x2417+11763712 ~x2416+5881856 ~x2415+2940928 ~x2414+1470464 ~x2413+735232 ~x2412+367616 ~x2411+183808 ~x2410+91904 ~x2409+45952 ~x2408+22976 ~x2407+11488 ~x2406+5744 ~x2405+2872 ~x2404+1436 ~x2403+718 ~x2402+1685774663680 ~x2401+842887331840 ~x2400+421443665920 ~x2399+210721832960 ~x2398+105360916480 ~x2397+52680458240 ~x2396+26340229120 ~x2395+13170114560 ~x2394+6585057280 ~x2393+3292528640 ~x2392+1646264320 ~x2391+823132160 ~x2390+411566080 ~x2389+205783040 ~x2388+102891520 ~x2387+51445760 ~x2386+25722880 ~x2385+12861440 ~x2384+6430720 ~x2383+3215360 ~x2382+1607680 ~x2381+803840 ~x2380+401920 ~x2379+200960 ~x2378+100480 ~x2377+50240 ~x2376+25120 ~x2375+12560 ~x2374+6280 ~x2373+3140 ~x2372-0=14040732805644 18.38/18.41 c 2199023255552 ~x673213+1099511627776 ~x673212+549755813888 ~x673211+274877906944 ~x673210+137438953472 ~x673209+68719476736 ~x673208+34359738368 ~x673207+17179869184 ~x673206+8589934592 ~x673205+4294967296 ~x673204+2147483648 ~x673203+1073741824 ~x673202+536870912 ~x673201+268435456 ~x673200+134217728 ~x673199+67108864 ~x673198+33554432 ~x673197+16777216 ~x673196+8388608 ~x673195+4194304 ~x673194+2097152 ~x673193+1048576 ~x673192+524288 ~x673191+262144 ~x673190+131072 ~x673189+65536 ~x673188+32768 ~x673187+16384 ~x673186+8192 ~x673185+4096 ~x673184+2048 ~x673183+1024 ~x673182+512 ~x673181+256 ~x673180+128 ~x673179+64 ~x673178+32 ~x673177+16 ~x673176+8 ~x673175+4 ~x673174+2 ~x673173+1 ~x673172+474057015296 ~x2731+237028507648 ~x2730+118514253824 ~x2729+59257126912 ~x2728+29628563456 ~x2727+14814281728 ~x2726+7407140864 ~x2725+3703570432 ~x2724+1851785216 ~x2723+925892608 ~x2722+462946304 ~x2721+231473152 ~x2720+115736576 ~x2719+57868288 ~x2718+28934144 ~x2717+14467072 ~x2716+7233536 ~x2715+3616768 ~x2714+1808384 ~x2713+904192 ~x2712+452096 ~x2711+226048 ~x2710+113024 ~x2709+56512 ~x2708+28256 ~x2707+14128 ~x2706+7064 ~x2705+3532 ~x2704+1766 ~x2703+883 ~x2702+842887331840 ~x2431+421443665920 ~x2430+210721832960 ~x2429+105360916480 ~x2428+52680458240 ~x2427+26340229120 ~x2426+13170114560 ~x2425+6585057280 ~x2424+3292528640 ~x2423+1646264320 ~x2422+823132160 ~x2421+411566080 ~x2420+205783040 ~x2419+102891520 ~x2418+51445760 ~x2417+25722880 ~x2416+12861440 ~x2415+6430720 ~x2414+3215360 ~x2413+1607680 ~x2412+803840 ~x2411+401920 ~x2410+200960 ~x2409+100480 ~x2408+50240 ~x2407+25120 ~x2406+12560 ~x2405+6280 ~x2404+3140 ~x2403+1570 ~x2402-0=6637577442922 19.49/19.57 c 1099511627776 ~x728609+549755813888 ~x728608+274877906944 ~x728607+137438953472 ~x728606+68719476736 ~x728605+34359738368 ~x728604+17179869184 ~x728603+8589934592 ~x728602+4294967296 ~x728601+2147483648 ~x728600+1073741824 ~x728599+536870912 ~x728598+268435456 ~x728597+134217728 ~x728596+67108864 ~x728595+33554432 ~x728594+16777216 ~x728593+8388608 ~x728592+4194304 ~x728591+2097152 ~x728590+1048576 ~x728589+524288 ~x728588+262144 ~x728587+131072 ~x728586+65536 ~x728585+32768 ~x728584+16384 ~x728583+8192 ~x728582+4096 ~x728581+2048 ~x728580+1024 ~x728579+512 ~x728578+256 ~x728577+128 ~x728576+64 ~x728575+32 ~x728574+16 ~x728573+8 ~x728572+4 ~x728571+2 ~x728570+1 ~x728569+1088237338624 ~x2761+544118669312 ~x2760+272059334656 ~x2759+136029667328 ~x2758+68014833664 ~x2757+34007416832 ~x2756+17003708416 ~x2755+8501854208 ~x2754+4250927104 ~x2753+2125463552 ~x2752+1062731776 ~x2751+531365888 ~x2750+265682944 ~x2749+132841472 ~x2748+66420736 ~x2747+33210368 ~x2746+16605184 ~x2745+8302592 ~x2744+4151296 ~x2743+2075648 ~x2742+1037824 ~x2741+518912 ~x2740+259456 ~x2739+129728 ~x2738+64864 ~x2737+32432 ~x2736+16216 ~x2735+8108 ~x2734+4054 ~x2733+2027 ~x2732-0=3556441290772 20.38/20.40 c 4398046511104 ~x766139+2199023255552 ~x766138+1099511627776 ~x766137+549755813888 ~x766136+274877906944 ~x766135+137438953472 ~x766134+68719476736 ~x766133+34359738368 ~x766132+17179869184 ~x766131+8589934592 ~x766130+4294967296 ~x766129+2147483648 ~x766128+1073741824 ~x766127+536870912 ~x766126+268435456 ~x766125+134217728 ~x766124+67108864 ~x766123+33554432 ~x766122+16777216 ~x766121+8388608 ~x766120+4194304 ~x766119+2097152 ~x766118+1048576 ~x766117+524288 ~x766116+262144 ~x766115+131072 ~x766114+65536 ~x766113+32768 ~x766112+16384 ~x766111+8192 ~x766110+4096 ~x766109+2048 ~x766108+1024 ~x766107+512 ~x766106+256 ~x766105+128 ~x766104+64 ~x766103+32 ~x766102+16 ~x766101+8 ~x766100+4 ~x766099+2 ~x766098+1 ~x766097+994821799936 ~x2761+497410899968 ~x2760+248705449984 ~x2759+124352724992 ~x2758+62176362496 ~x2757+31088181248 ~x2756+15544090624 ~x2755+7772045312 ~x2754+3886022656 ~x2753+1943011328 ~x2752+971505664 ~x2751+485752832 ~x2750+242876416 ~x2749+121438208 ~x2748+60719104 ~x2747+30359552 ~x2746+15179776 ~x2745+7589888 ~x2744+3794944 ~x2743+1897472 ~x2742+948736 ~x2741+474368 ~x2740+237184 ~x2739+118592 ~x2738+59296 ~x2737+29648 ~x2736+14824 ~x2735+7412 ~x2734+3706 ~x2733+1853 ~x2732+1665910439936 ~x2491+832955219968 ~x2490+416477609984 ~x2489+208238804992 ~x2488+104119402496 ~x2487+52059701248 ~x2486+26029850624 ~x2485+13014925312 ~x2484+6507462656 ~x2483+3253731328 ~x2482+1626865664 ~x2481+813432832 ~x2480+406716416 ~x2479+203358208 ~x2478+101679104 ~x2477+50839552 ~x2476+25419776 ~x2475+12709888 ~x2474+6354944 ~x2473+3177472 ~x2472+1588736 ~x2471+794368 ~x2470+397184 ~x2469+198592 ~x2468+99296 ~x2467+49648 ~x2466+24824 ~x2465+12412 ~x2464+6206 ~x2463+3103 ~x2462-0=13359172856995 21.68/21.74 c 1099511627776 ~x829106+549755813888 ~x829105+274877906944 ~x829104+137438953472 ~x829103+68719476736 ~x829102+34359738368 ~x829101+17179869184 ~x829100+8589934592 ~x829099+4294967296 ~x829098+2147483648 ~x829097+1073741824 ~x829096+536870912 ~x829095+268435456 ~x829094+134217728 ~x829093+67108864 ~x829092+33554432 ~x829091+16777216 ~x829090+8388608 ~x829089+4194304 ~x829088+2097152 ~x829087+1048576 ~x829086+524288 ~x829085+262144 ~x829084+131072 ~x829083+65536 ~x829082+32768 ~x829081+16384 ~x829080+8192 ~x829079+4096 ~x829078+2048 ~x829077+1024 ~x829076+512 ~x829075+256 ~x829074+128 ~x829073+64 ~x829072+32 ~x829071+16 ~x829070+8 ~x829069+4 ~x829068+2 ~x829067+1 ~x829066+396747603968 ~x2401+198373801984 ~x2400+99186900992 ~x2399+49593450496 ~x2398+24796725248 ~x2397+12398362624 ~x2396+6199181312 ~x2395+3099590656 ~x2394+1549795328 ~x2393+774897664 ~x2392+387448832 ~x2391+193724416 ~x2390+96862208 ~x2389+48431104 ~x2388+24215552 ~x2387+12107776 ~x2386+6053888 ~x2385+3026944 ~x2384+1513472 ~x2383+756736 ~x2382+378368 ~x2381+189184 ~x2380+94592 ~x2379+47296 ~x2378+23648 ~x2377+11824 ~x2376+5912 ~x2375+2956 ~x2374+1478 ~x2373+739 ~x2372+829733994496 ~x2370+414866997248 ~x2369+207433498624 ~x2368+103716749312 ~x2367+51858374656 ~x2366+25929187328 ~x2365+12964593664 ~x2364+6482296832 ~x2363+3241148416 ~x2362+1620574208 ~x2361+810287104 ~x2360+405143552 ~x2359+202571776 ~x2358+101285888 ~x2357+50642944 ~x2356+25321472 ~x2355+12660736 ~x2354+6330368 ~x2353+3165184 ~x2352+1582592 ~x2351+791296 ~x2350+395648 ~x2349+197824 ~x2348+98912 ~x2347+49456 ~x2346+24728 ~x2345+12364 ~x2344+6182 ~x2343+3091 ~x2342-0=3641937637641 22.78/22.86 c 2199023255552 ~x882905+1099511627776 ~x882904+549755813888 ~x882903+274877906944 ~x882902+137438953472 ~x882901+68719476736 ~x882900+34359738368 ~x882899+17179869184 ~x882898+8589934592 ~x882897+4294967296 ~x882896+2147483648 ~x882895+1073741824 ~x882894+536870912 ~x882893+268435456 ~x882892+134217728 ~x882891+67108864 ~x882890+33554432 ~x882889+16777216 ~x882888+8388608 ~x882887+4194304 ~x882886+2097152 ~x882885+1048576 ~x882884+524288 ~x882883+262144 ~x882882+131072 ~x882881+65536 ~x882880+32768 ~x882879+16384 ~x882878+8192 ~x882877+4096 ~x882876+2048 ~x882875+1024 ~x882874+512 ~x882873+256 ~x882872+128 ~x882871+64 ~x882870+32 ~x882869+16 ~x882868+8 ~x882867+4 ~x882866+2 ~x882865+1 ~x882864+277562261504 ~x3751+138781130752 ~x3750+69390565376 ~x3749+34695282688 ~x3748+17347641344 ~x3747+8673820672 ~x3746+4336910336 ~x3745+2168455168 ~x3744+1084227584 ~x3743+542113792 ~x3742+271056896 ~x3741+135528448 ~x3740+67764224 ~x3739+33882112 ~x3738+16941056 ~x3737+8470528 ~x3736+4235264 ~x3735+2117632 ~x3734+1058816 ~x3733+529408 ~x3732+264704 ~x3731+132352 ~x3730+66176 ~x3729+33088 ~x3728+16544 ~x3727+8272 ~x3726+4136 ~x3725+2068 ~x3724+1034 ~x3723+517 ~x3722+1204738326528 ~x2701+602369163264 ~x2700+301184581632 ~x2699+150592290816 ~x2698+75296145408 ~x2697+37648072704 ~x2696+18824036352 ~x2695+9412018176 ~x2694+4706009088 ~x2693+2353004544 ~x2692+1176502272 ~x2691+588251136 ~x2690+294125568 ~x2689+147062784 ~x2688+73531392 ~x2687+36765696 ~x2686+18382848 ~x2685+9191424 ~x2684+4595712 ~x2683+2297856 ~x2682+1148928 ~x2681+574464 ~x2680+287232 ~x2679+143616 ~x2678+71808 ~x2677+35904 ~x2676+17952 ~x2675+8976 ~x2674+4488 ~x2673+2244 ~x2672+396747603968 ~x2431+198373801984 ~x2430+99186900992 ~x2429+49593450496 ~x2428+24796725248 ~x2427+12398362624 ~x2426+6199181312 ~x2425+3099590656 ~x2424+1549795328 ~x2423+774897664 ~x2422+387448832 ~x2421+193724416 ~x2420+96862208 ~x2419+48431104 ~x2418+24215552 ~x2417+12107776 ~x2416+6053888 ~x2415+3026944 ~x2414+1513472 ~x2413+756736 ~x2412+378368 ~x2411+189184 ~x2410+94592 ~x2409+47296 ~x2408+23648 ~x2407+11824 ~x2406+5912 ~x2405+2956 ~x2404+1478 ~x2403+739 ~x2402+1699196436480 ~x2401+849598218240 ~x2400+424799109120 ~x2399+212399554560 ~x2398+106199777280 ~x2397+53099888640 ~x2396+26549944320 ~x2395+13274972160 ~x2394+6637486080 ~x2393+3318743040 ~x2392+1659371520 ~x2391+829685760 ~x2390+414842880 ~x2389+207421440 ~x2388+103710720 ~x2387+51855360 ~x2386+25927680 ~x2385+12963840 ~x2384+6481920 ~x2383+3240960 ~x2382+1620480 ~x2381+810240 ~x2380+405120 ~x2379+202560 ~x2378+101280 ~x2377+50640 ~x2376+25320 ~x2375+12660 ~x2374+6330 ~x2373+3165 ~x2372-0=8662565201398 24.98/25.07 c 4398046511104 ~x988567+2199023255552 ~x988566+1099511627776 ~x988565+549755813888 ~x988564+274877906944 ~x988563+137438953472 ~x988562+68719476736 ~x988561+34359738368 ~x988560+17179869184 ~x988559+8589934592 ~x988558+4294967296 ~x988557+2147483648 ~x988556+1073741824 ~x988555+536870912 ~x988554+268435456 ~x988553+134217728 ~x988552+67108864 ~x988551+33554432 ~x988550+16777216 ~x988549+8388608 ~x988548+4194304 ~x988547+2097152 ~x988546+1048576 ~x988545+524288 ~x988544+262144 ~x988543+131072 ~x988542+65536 ~x988541+32768 ~x988540+16384 ~x988539+8192 ~x988538+4096 ~x988537+2048 ~x988536+1024 ~x988535+512 ~x988534+256 ~x988533+128 ~x988532+64 ~x988531+32 ~x988530+16 ~x988529+8 ~x988528+4 ~x988527+2 ~x988526+1 ~x988525+132070244352 ~x4111+66035122176 ~x4110+33017561088 ~x4109+16508780544 ~x4108+8254390272 ~x4107+4127195136 ~x4106+2063597568 ~x4105+1031798784 ~x4104+515899392 ~x4103+257949696 ~x4102+128974848 ~x4101+64487424 ~x4100+32243712 ~x4099+16121856 ~x4098+8060928 ~x4097+4030464 ~x4096+2015232 ~x4095+1007616 ~x4094+503808 ~x4093+251904 ~x4092+125952 ~x4091+62976 ~x4090+31488 ~x4089+15744 ~x4088+7872 ~x4087+3936 ~x4086+1968 ~x4085+984 ~x4084+492 ~x4083+246 ~x4082+67645734912 ~x3811+33822867456 ~x3810+16911433728 ~x3809+8455716864 ~x3808+4227858432 ~x3807+2113929216 ~x3806+1056964608 ~x3805+528482304 ~x3804+264241152 ~x3803+132120576 ~x3802+66060288 ~x3801+33030144 ~x3800+16515072 ~x3799+8257536 ~x3798+4128768 ~x3797+2064384 ~x3796+1032192 ~x3795+516096 ~x3794+258048 ~x3793+129024 ~x3792+64512 ~x3791+32256 ~x3790+16128 ~x3789+8064 ~x3788+4032 ~x3787+2016 ~x3786+1008 ~x3785+504 ~x3784+252 ~x3783+126 ~x3782+277562261504 ~x3781+138781130752 ~x3780+69390565376 ~x3779+34695282688 ~x3778+17347641344 ~x3777+8673820672 ~x3776+4336910336 ~x3775+2168455168 ~x3774+1084227584 ~x3773+542113792 ~x3772+271056896 ~x3771+135528448 ~x3770+67764224 ~x3769+33882112 ~x3768+16941056 ~x3767+8470528 ~x3766+4235264 ~x3765+2117632 ~x3764+1058816 ~x3763+529408 ~x3762+264704 ~x3761+132352 ~x3760+66176 ~x3759+33088 ~x3758+16544 ~x3757+8272 ~x3756+4136 ~x3755+2068 ~x3754+1034 ~x3753+517 ~x3752+431107342336 ~x3511+215553671168 ~x3510+107776835584 ~x3509+53888417792 ~x3508+26944208896 ~x3507+13472104448 ~x3506+6736052224 ~x3505+3368026112 ~x3504+1684013056 ~x3503+842006528 ~x3502+421003264 ~x3501+210501632 ~x3500+105250816 ~x3499+52625408 ~x3498+26312704 ~x3497+13156352 ~x3496+6578176 ~x3495+3289088 ~x3494+1644544 ~x3493+822272 ~x3492+411136 ~x3491+205568 ~x3490+102784 ~x3489+51392 ~x3488+25696 ~x3487+12848 ~x3486+6424 ~x3485+3212 ~x3484+1606 ~x3483+803 ~x3482+1153735589888 ~x2731+576867794944 ~x2730+288433897472 ~x2729+144216948736 ~x2728+72108474368 ~x2727+36054237184 ~x2726+18027118592 ~x2725+9013559296 ~x2724+4506779648 ~x2723+2253389824 ~x2722+1126694912 ~x2721+563347456 ~x2720+281673728 ~x2719+140836864 ~x2718+70418432 ~x2717+35209216 ~x2716+17604608 ~x2715+8802304 ~x2714+4401152 ~x2713+2200576 ~x2712+1100288 ~x2711+550144 ~x2710+275072 ~x2709+137536 ~x2708+68768 ~x2707+34384 ~x2706+17192 ~x2705+8596 ~x2704+4298 ~x2703+2149 ~x2702+1699196436480 ~x2431+849598218240 ~x2430+424799109120 ~x2429+212399554560 ~x2428+106199777280 ~x2427+53099888640 ~x2426+26549944320 ~x2425+13274972160 ~x2424+6637486080 ~x2423+3318743040 ~x2422+1659371520 ~x2421+829685760 ~x2420+414842880 ~x2419+207421440 ~x2418+103710720 ~x2417+51855360 ~x2416+25927680 ~x2415+12963840 ~x2414+6481920 ~x2413+3240960 ~x2412+1620480 ~x2411+810240 ~x2410+405120 ~x2409+202560 ~x2408+101280 ~x2407+50640 ~x2406+25320 ~x2405+12660 ~x2404+6330 ~x2403+3165 ~x2402-0=13426757674145 28.08/28.15 c 17179869184 ~x1136128+8589934592 ~x1136127+4294967296 ~x1136126+2147483648 ~x1136125+1073741824 ~x1136124+536870912 ~x1136123+268435456 ~x1136122+134217728 ~x1136121+67108864 ~x1136120+33554432 ~x1136119+16777216 ~x1136118+8388608 ~x1136117+4194304 ~x1136116+2097152 ~x1136115+1048576 ~x1136114+524288 ~x1136113+262144 ~x1136112+131072 ~x1136111+65536 ~x1136110+32768 ~x1136109+16384 ~x1136108+8192 ~x1136107+4096 ~x1136106+2048 ~x1136105+1024 ~x1136104+512 ~x1136103+256 ~x1136102+128 ~x1136101+64 ~x1136100+32 ~x1136099+16 ~x1136098+8 ~x1136097+4 ~x1136096+2 ~x1136095+1 ~x1136094+16374562816 ~x4140+8187281408 ~x4139+4093640704 ~x4138+2046820352 ~x4137+1023410176 ~x4136+511705088 ~x4135+255852544 ~x4134+127926272 ~x4133+63963136 ~x4132+31981568 ~x4131+15990784 ~x4130+7995392 ~x4129+3997696 ~x4128+1998848 ~x4127+999424 ~x4126+499712 ~x4125+249856 ~x4124+124928 ~x4123+62464 ~x4122+31232 ~x4121+15616 ~x4120+7808 ~x4119+3904 ~x4118+1952 ~x4117+976 ~x4116+488 ~x4115+244 ~x4114+122 ~x4113+61 ~x4112+27380416512 ~x2759+13690208256 ~x2758+6845104128 ~x2757+3422552064 ~x2756+1711276032 ~x2755+855638016 ~x2754+427819008 ~x2753+213909504 ~x2752+106954752 ~x2751+53477376 ~x2750+26738688 ~x2749+13369344 ~x2748+6684672 ~x2747+3342336 ~x2746+1671168 ~x2745+835584 ~x2744+417792 ~x2743+208896 ~x2742+104448 ~x2741+52224 ~x2740+26112 ~x2739+13056 ~x2738+6528 ~x2737+3264 ~x2736+1632 ~x2735+816 ~x2734+408 ~x2733+204 ~x2732-0=66106441462 28.88/28.98 c 137438953472 ~x1175267+68719476736 ~x1175266+34359738368 ~x1175265+17179869184 ~x1175264+8589934592 ~x1175263+4294967296 ~x1175262+2147483648 ~x1175261+1073741824 ~x1175260+536870912 ~x1175259+268435456 ~x1175258+134217728 ~x1175257+67108864 ~x1175256+33554432 ~x1175255+16777216 ~x1175254+8388608 ~x1175253+4194304 ~x1175252+2097152 ~x1175251+1048576 ~x1175250+524288 ~x1175249+262144 ~x1175248+131072 ~x1175247+65536 ~x1175246+32768 ~x1175245+16384 ~x1175244+8192 ~x1175243+4096 ~x1175242+2048 ~x1175241+1024 ~x1175240+512 ~x1175239+256 ~x1175238+128 ~x1175237+64 ~x1175236+32 ~x1175235+16 ~x1175234+8 ~x1175233+4 ~x1175232+2 ~x1175231+1 ~x1175230+84825604096 ~x3061+42412802048 ~x3060+21206401024 ~x3059+10603200512 ~x3058+5301600256 ~x3057+2650800128 ~x3056+1325400064 ~x3055+662700032 ~x3054+331350016 ~x3053+165675008 ~x3052+82837504 ~x3051+41418752 ~x3050+20709376 ~x3049+10354688 ~x3048+5177344 ~x3047+2588672 ~x3046+1294336 ~x3045+647168 ~x3044+323584 ~x3043+161792 ~x3042+80896 ~x3041+40448 ~x3040+20224 ~x3039+10112 ~x3038+5056 ~x3037+2528 ~x3036+1264 ~x3035+632 ~x3034+316 ~x3033+158 ~x3032+136902082560 ~x3031+68451041280 ~x3030+34225520640 ~x3029+17112760320 ~x3028+8556380160 ~x3027+4278190080 ~x3026+2139095040 ~x3025+1069547520 ~x3024+534773760 ~x3023+267386880 ~x3022+133693440 ~x3021+66846720 ~x3020+33423360 ~x3019+16711680 ~x3018+8355840 ~x3017+4177920 ~x3016+2088960 ~x3015+1044480 ~x3014+522240 ~x3013+261120 ~x3012+130560 ~x3011+65280 ~x3010+32640 ~x3009+16320 ~x3008+8160 ~x3007+4080 ~x3006+2040 ~x3005+1020 ~x3004+510 ~x3003+255 ~x3002-0=548454239842 29.98/30.05 c 549755813888 ~x1225632+274877906944 ~x1225631+137438953472 ~x1225630+68719476736 ~x1225629+34359738368 ~x1225628+17179869184 ~x1225627+8589934592 ~x1225626+4294967296 ~x1225625+2147483648 ~x1225624+1073741824 ~x1225623+536870912 ~x1225622+268435456 ~x1225621+134217728 ~x1225620+67108864 ~x1225619+33554432 ~x1225618+16777216 ~x1225617+8388608 ~x1225616+4194304 ~x1225615+2097152 ~x1225614+1048576 ~x1225613+524288 ~x1225612+262144 ~x1225611+131072 ~x1225610+65536 ~x1225609+32768 ~x1225608+16384 ~x1225607+8192 ~x1225606+4096 ~x1225605+2048 ~x1225604+1024 ~x1225603+512 ~x1225602+256 ~x1225601+128 ~x1225600+64 ~x1225599+32 ~x1225598+16 ~x1225597+8 ~x1225596+4 ~x1225595+2 ~x1225594+1 ~x1225593+842350460928 ~x3151+421175230464 ~x3150+210587615232 ~x3149+105293807616 ~x3148+52646903808 ~x3147+26323451904 ~x3146+13161725952 ~x3145+6580862976 ~x3144+3290431488 ~x3143+1645215744 ~x3142+822607872 ~x3141+411303936 ~x3140+205651968 ~x3139+102825984 ~x3138+51412992 ~x3137+25706496 ~x3136+12853248 ~x3135+6426624 ~x3134+3213312 ~x3133+1606656 ~x3132+803328 ~x3131+401664 ~x3130+200832 ~x3129+100416 ~x3128+50208 ~x3127+25104 ~x3126+12552 ~x3125+6276 ~x3124+3138 ~x3123+1569 ~x3122-0=2076382788062 30.79/30.85 c 137438953472 ~x1262095+68719476736 ~x1262094+34359738368 ~x1262093+17179869184 ~x1262092+8589934592 ~x1262091+4294967296 ~x1262090+2147483648 ~x1262089+1073741824 ~x1262088+536870912 ~x1262087+268435456 ~x1262086+134217728 ~x1262085+67108864 ~x1262084+33554432 ~x1262083+16777216 ~x1262082+8388608 ~x1262081+4194304 ~x1262080+2097152 ~x1262079+1048576 ~x1262078+524288 ~x1262077+262144 ~x1262076+131072 ~x1262075+65536 ~x1262074+32768 ~x1262073+16384 ~x1262072+8192 ~x1262071+4096 ~x1262070+2048 ~x1262069+1024 ~x1262068+512 ~x1262067+256 ~x1262066+128 ~x1262065+64 ~x1262064+32 ~x1262063+16 ~x1262062+8 ~x1262061+4 ~x1262060+2 ~x1262059+1 ~x1262058+112206020608 ~x4081+56103010304 ~x4080+28051505152 ~x4079+14025752576 ~x4078+7012876288 ~x4077+3506438144 ~x4076+1753219072 ~x4075+876609536 ~x4074+438304768 ~x4073+219152384 ~x4072+109576192 ~x4071+54788096 ~x4070+27394048 ~x4069+13697024 ~x4068+6848512 ~x4067+3424256 ~x4066+1712128 ~x4065+856064 ~x4064+428032 ~x4063+214016 ~x4062+107008 ~x4061+53504 ~x4060+26752 ~x4059+13376 ~x4058+6688 ~x4057+3344 ~x4056+1672 ~x4055+836 ~x4054+418 ~x4053+209 ~x4052+104958263296 ~x4050+52479131648 ~x4049+26239565824 ~x4048+13119782912 ~x4047+6559891456 ~x4046+3279945728 ~x4045+1639972864 ~x4044+819986432 ~x4043+409993216 ~x4042+204996608 ~x4041+102498304 ~x4040+51249152 ~x4039+25624576 ~x4038+12812288 ~x4037+6406144 ~x4036+3203072 ~x4035+1601536 ~x4034+800768 ~x4033+400384 ~x4032+200192 ~x4031+100096 ~x4030+50048 ~x4029+25024 ~x4028+12512 ~x4027+6256 ~x4026+3128 ~x4025+1564 ~x4024+782 ~x4023+391 ~x4022+64961380352 ~x3781+32480690176 ~x3780+16240345088 ~x3779+8120172544 ~x3778+4060086272 ~x3777+2030043136 ~x3776+1015021568 ~x3775+507510784 ~x3774+253755392 ~x3773+126877696 ~x3772+63438848 ~x3771+31719424 ~x3770+15859712 ~x3769+7929856 ~x3768+3964928 ~x3767+1982464 ~x3766+991232 ~x3765+495616 ~x3764+247808 ~x3763+123904 ~x3762+61952 ~x3761+30976 ~x3760+15488 ~x3759+7744 ~x3758+3872 ~x3757+1936 ~x3756+968 ~x3755+484 ~x3754+242 ~x3753+121 ~x3752+124554051584 ~x3750+62277025792 ~x3749+31138512896 ~x3748+15569256448 ~x3747+7784628224 ~x3746+3892314112 ~x3745+1946157056 ~x3744+973078528 ~x3743+486539264 ~x3742+243269632 ~x3741+121634816 ~x3740+60817408 ~x3739+30408704 ~x3738+15204352 ~x3737+7602176 ~x3736+3801088 ~x3735+1900544 ~x3734+950272 ~x3733+475136 ~x3732+237568 ~x3731+118784 ~x3730+59392 ~x3729+29696 ~x3728+14848 ~x3727+7424 ~x3726+3712 ~x3725+1856 ~x3724+928 ~x3723+464 ~x3722+18253611008 ~x3511+9126805504 ~x3510+4563402752 ~x3509+2281701376 ~x3508+1140850688 ~x3507+570425344 ~x3506+285212672 ~x3505+142606336 ~x3504+71303168 ~x3503+35651584 ~x3502+17825792 ~x3501+8912896 ~x3500+4456448 ~x3499+2228224 ~x3498+1114112 ~x3497+557056 ~x3496+278528 ~x3495+139264 ~x3494+69632 ~x3493+34816 ~x3492+17408 ~x3491+8704 ~x3490+4352 ~x3489+2176 ~x3488+1088 ~x3487+544 ~x3486+272 ~x3485+136 ~x3484+68 ~x3483+34 ~x3482-0=426976869180 32.89/32.96 c 68719476736 ~x1363506+34359738368 ~x1363505+17179869184 ~x1363504+8589934592 ~x1363503+4294967296 ~x1363502+2147483648 ~x1363501+1073741824 ~x1363500+536870912 ~x1363499+268435456 ~x1363498+134217728 ~x1363497+67108864 ~x1363496+33554432 ~x1363495+16777216 ~x1363494+8388608 ~x1363493+4194304 ~x1363492+2097152 ~x1363491+1048576 ~x1363490+524288 ~x1363489+262144 ~x1363488+131072 ~x1363487+65536 ~x1363486+32768 ~x1363485+16384 ~x1363484+8192 ~x1363483+4096 ~x1363482+2048 ~x1363481+1024 ~x1363480+512 ~x1363479+256 ~x1363478+128 ~x1363477+64 ~x1363476+32 ~x1363475+16 ~x1363474+8 ~x1363473+4 ~x1363472+2 ~x1363471+1 ~x1363470+53687091200 ~x4110+26843545600 ~x4109+13421772800 ~x4108+6710886400 ~x4107+3355443200 ~x4106+1677721600 ~x4105+838860800 ~x4104+419430400 ~x4103+209715200 ~x4102+104857600 ~x4101+52428800 ~x4100+26214400 ~x4099+13107200 ~x4098+6553600 ~x4097+3276800 ~x4096+1638400 ~x4095+819200 ~x4094+409600 ~x4093+204800 ~x4092+102400 ~x4091+51200 ~x4090+25600 ~x4089+12800 ~x4088+6400 ~x4087+3200 ~x4086+1600 ~x4085+800 ~x4084+400 ~x4083+200 ~x4082+52479131648 ~x4079+26239565824 ~x4078+13119782912 ~x4077+6559891456 ~x4076+3279945728 ~x4075+1639972864 ~x4074+819986432 ~x4073+409993216 ~x4072+204996608 ~x4071+102498304 ~x4070+51249152 ~x4069+25624576 ~x4068+12812288 ~x4067+6406144 ~x4066+3203072 ~x4065+1601536 ~x4064+800768 ~x4063+400384 ~x4062+200192 ~x4061+100096 ~x4060+50048 ~x4059+25024 ~x4058+12512 ~x4057+6256 ~x4056+3128 ~x4055+1564 ~x4054+782 ~x4053+391 ~x4052+62813896704 ~x3811+31406948352 ~x3810+15703474176 ~x3809+7851737088 ~x3808+3925868544 ~x3807+1962934272 ~x3806+981467136 ~x3805+490733568 ~x3804+245366784 ~x3803+122683392 ~x3802+61341696 ~x3801+30670848 ~x3800+15335424 ~x3799+7667712 ~x3798+3833856 ~x3797+1916928 ~x3796+958464 ~x3795+479232 ~x3794+239616 ~x3793+119808 ~x3792+59904 ~x3791+29952 ~x3790+14976 ~x3789+7488 ~x3788+3744 ~x3787+1872 ~x3786+936 ~x3785+468 ~x3784+234 ~x3783+117 ~x3782+62277025792 ~x3779+31138512896 ~x3778+15569256448 ~x3777+7784628224 ~x3776+3892314112 ~x3775+1946157056 ~x3774+973078528 ~x3773+486539264 ~x3772+243269632 ~x3771+121634816 ~x3770+60817408 ~x3769+30408704 ~x3768+15204352 ~x3767+7602176 ~x3766+3801088 ~x3765+1900544 ~x3764+950272 ~x3763+475136 ~x3762+237568 ~x3761+118784 ~x3760+59392 ~x3759+29696 ~x3758+14848 ~x3757+7424 ~x3756+3712 ~x3755+1856 ~x3754+928 ~x3753+464 ~x3752-0=239072050027 34.58/34.65 c 137438953472 ~x1444422+68719476736 ~x1444421+34359738368 ~x1444420+17179869184 ~x1444419+8589934592 ~x1444418+4294967296 ~x1444417+2147483648 ~x1444416+1073741824 ~x1444415+536870912 ~x1444414+268435456 ~x1444413+134217728 ~x1444412+67108864 ~x1444411+33554432 ~x1444410+16777216 ~x1444409+8388608 ~x1444408+4194304 ~x1444407+2097152 ~x1444406+1048576 ~x1444405+524288 ~x1444404+262144 ~x1444403+131072 ~x1444402+65536 ~x1444401+32768 ~x1444400+16384 ~x1444399+8192 ~x1444398+4096 ~x1444397+2048 ~x1444396+1024 ~x1444395+512 ~x1444394+256 ~x1444393+128 ~x1444392+64 ~x1444391+32 ~x1444390+16 ~x1444389+8 ~x1444388+4 ~x1444387+2 ~x1444386+1 ~x1444385+118111600640 ~x4141+59055800320 ~x4140+29527900160 ~x4139+14763950080 ~x4138+7381975040 ~x4137+3690987520 ~x4136+1845493760 ~x4135+922746880 ~x4134+461373440 ~x4133+230686720 ~x4132+115343360 ~x4131+57671680 ~x4130+28835840 ~x4129+14417920 ~x4128+7208960 ~x4127+3604480 ~x4126+1802240 ~x4125+901120 ~x4124+450560 ~x4123+225280 ~x4122+112640 ~x4121+56320 ~x4120+28160 ~x4119+14080 ~x4118+7040 ~x4117+3520 ~x4116+1760 ~x4115+880 ~x4114+440 ~x4113+220 ~x4112+126433099776 ~x3810+63216549888 ~x3809+31608274944 ~x3808+15804137472 ~x3807+7902068736 ~x3806+3951034368 ~x3805+1975517184 ~x3804+987758592 ~x3803+493879296 ~x3802+246939648 ~x3801+123469824 ~x3800+61734912 ~x3799+30867456 ~x3798+15433728 ~x3797+7716864 ~x3796+3858432 ~x3795+1929216 ~x3794+964608 ~x3793+482304 ~x3792+241152 ~x3791+120576 ~x3790+60288 ~x3789+30144 ~x3788+15072 ~x3787+7536 ~x3786+3768 ~x3785+1884 ~x3784+942 ~x3783+471 ~x3782+175288352768 ~x3540+87644176384 ~x3539+43822088192 ~x3538+21911044096 ~x3537+10955522048 ~x3536+5477761024 ~x3535+2738880512 ~x3534+1369440256 ~x3533+684720128 ~x3532+342360064 ~x3531+171180032 ~x3530+85590016 ~x3529+42795008 ~x3528+21397504 ~x3527+10698752 ~x3526+5349376 ~x3525+2674688 ~x3524+1337344 ~x3523+668672 ~x3522+334336 ~x3521+167168 ~x3520+83584 ~x3519+41792 ~x3518+20896 ~x3517+10448 ~x3516+5224 ~x3515+2612 ~x3514+1306 ~x3513+653 ~x3512-0=516701797055 35.97/36.08 c 17179869184 ~x1512711+8589934592 ~x1512710+4294967296 ~x1512709+2147483648 ~x1512708+1073741824 ~x1512707+536870912 ~x1512706+268435456 ~x1512705+134217728 ~x1512704+67108864 ~x1512703+33554432 ~x1512702+16777216 ~x1512701+8388608 ~x1512700+4194304 ~x1512699+2097152 ~x1512698+1048576 ~x1512697+524288 ~x1512696+262144 ~x1512695+131072 ~x1512694+65536 ~x1512693+32768 ~x1512692+16384 ~x1512691+8192 ~x1512690+4096 ~x1512689+2048 ~x1512688+1024 ~x1512687+512 ~x1512686+256 ~x1512685+128 ~x1512684+64 ~x1512683+32 ~x1512682+16 ~x1512681+8 ~x1512680+4 ~x1512679+2 ~x1512678+1 ~x1512677+18656264192 ~x3179+9328132096 ~x3178+4664066048 ~x3177+2332033024 ~x3176+1166016512 ~x3175+583008256 ~x3174+291504128 ~x3173+145752064 ~x3172+72876032 ~x3171+36438016 ~x3170+18219008 ~x3169+9109504 ~x3168+4554752 ~x3167+2277376 ~x3166+1138688 ~x3165+569344 ~x3164+284672 ~x3163+142336 ~x3162+71168 ~x3161+35584 ~x3160+17792 ~x3159+8896 ~x3158+4448 ~x3157+2224 ~x3156+1112 ~x3155+556 ~x3154+278 ~x3153+139 ~x3152-0=55876091764 36.58/36.65 c 274877906944 ~x1539260+137438953472 ~x1539259+68719476736 ~x1539258+34359738368 ~x1539257+17179869184 ~x1539256+8589934592 ~x1539255+4294967296 ~x1539254+2147483648 ~x1539253+1073741824 ~x1539252+536870912 ~x1539251+268435456 ~x1539250+134217728 ~x1539249+67108864 ~x1539248+33554432 ~x1539247+16777216 ~x1539246+8388608 ~x1539245+4194304 ~x1539244+2097152 ~x1539243+1048576 ~x1539242+524288 ~x1539241+262144 ~x1539240+131072 ~x1539239+65536 ~x1539238+32768 ~x1539237+16384 ~x1539236+8192 ~x1539235+4096 ~x1539234+2048 ~x1539233+1024 ~x1539232+512 ~x1539231+256 ~x1539230+128 ~x1539229+64 ~x1539228+32 ~x1539227+16 ~x1539226+8 ~x1539225+4 ~x1539224+2 ~x1539223+1 ~x1539222+84825604096 ~x3211+42412802048 ~x3210+21206401024 ~x3209+10603200512 ~x3208+5301600256 ~x3207+2650800128 ~x3206+1325400064 ~x3205+662700032 ~x3204+331350016 ~x3203+165675008 ~x3202+82837504 ~x3201+41418752 ~x3200+20709376 ~x3199+10354688 ~x3198+5177344 ~x3197+2588672 ~x3196+1294336 ~x3195+647168 ~x3194+323584 ~x3193+161792 ~x3192+80896 ~x3191+40448 ~x3190+20224 ~x3189+10112 ~x3188+5056 ~x3187+2528 ~x3186+1264 ~x3185+632 ~x3184+316 ~x3183+158 ~x3182+136902082560 ~x3181+68451041280 ~x3180+34225520640 ~x3179+17112760320 ~x3178+8556380160 ~x3177+4278190080 ~x3176+2139095040 ~x3175+1069547520 ~x3174+534773760 ~x3173+267386880 ~x3172+133693440 ~x3171+66846720 ~x3170+33423360 ~x3169+16711680 ~x3168+8355840 ~x3167+4177920 ~x3166+2088960 ~x3165+1044480 ~x3164+522240 ~x3163+261120 ~x3162+130560 ~x3161+65280 ~x3160+32640 ~x3159+16320 ~x3158+8160 ~x3157+4080 ~x3156+2040 ~x3155+1020 ~x3154+510 ~x3153+255 ~x3152-0=851284786786 37.67/37.75 c 4294967296 ~x1590194+2147483648 ~x1590193+1073741824 ~x1590192+536870912 ~x1590191+268435456 ~x1590190+134217728 ~x1590189+67108864 ~x1590188+33554432 ~x1590187+16777216 ~x1590186+8388608 ~x1590185+4194304 ~x1590184+2097152 ~x1590183+1048576 ~x1590182+524288 ~x1590181+262144 ~x1590180+131072 ~x1590179+65536 ~x1590178+32768 ~x1590177+16384 ~x1590176+8192 ~x1590175+4096 ~x1590174+2048 ~x1590173+1024 ~x1590172+512 ~x1590171+256 ~x1590170+128 ~x1590169+64 ~x1590168+32 ~x1590167+16 ~x1590166+8 ~x1590165+4 ~x1590164+2 ~x1590163+1 ~x1590162+5301600256 ~x3238+2650800128 ~x3237+1325400064 ~x3236+662700032 ~x3235+331350016 ~x3234+165675008 ~x3233+82837504 ~x3232+41418752 ~x3231+20709376 ~x3230+10354688 ~x3229+5177344 ~x3228+2588672 ~x3227+1294336 ~x3226+647168 ~x3225+323584 ~x3224+161792 ~x3223+80896 ~x3222+40448 ~x3221+20224 ~x3220+10112 ~x3219+5056 ~x3218+2528 ~x3217+1264 ~x3216+632 ~x3215+316 ~x3214+158 ~x3213+79 ~x3212-0=16538738608 38.18/38.27 c 536870912 ~x1614794+268435456 ~x1614793+134217728 ~x1614792+67108864 ~x1614791+33554432 ~x1614790+16777216 ~x1614789+8388608 ~x1614788+4194304 ~x1614787+2097152 ~x1614786+1048576 ~x1614785+524288 ~x1614784+262144 ~x1614783+131072 ~x1614782+65536 ~x1614781+32768 ~x1614780+16384 ~x1614779+8192 ~x1614778+4096 ~x1614777+2048 ~x1614776+1024 ~x1614775+512 ~x1614774+256 ~x1614773+128 ~x1614772+64 ~x1614771+32 ~x1614770+16 ~x1614769+8 ~x1614768+4 ~x1614767+2 ~x1614766+1 ~x1614765+771751936 ~x3267+385875968 ~x3266+192937984 ~x3265+96468992 ~x3264+48234496 ~x3263+24117248 ~x3262+12058624 ~x3261+6029312 ~x3260+3014656 ~x3259+1507328 ~x3258+753664 ~x3257+376832 ~x3256+188416 ~x3255+94208 ~x3254+47104 ~x3253+23552 ~x3252+11776 ~x3251+5888 ~x3250+2944 ~x3249+1472 ~x3248+736 ~x3247+368 ~x3246+184 ~x3245+92 ~x3244+46 ~x3243+23 ~x3242-0=2115403752 38.58/38.64 c 8589934592 ~x1631872+4294967296 ~x1631871+2147483648 ~x1631870+1073741824 ~x1631869+536870912 ~x1631868+268435456 ~x1631867+134217728 ~x1631866+67108864 ~x1631865+33554432 ~x1631864+16777216 ~x1631863+8388608 ~x1631862+4194304 ~x1631861+2097152 ~x1631860+1048576 ~x1631859+524288 ~x1631858+262144 ~x1631857+131072 ~x1631856+65536 ~x1631855+32768 ~x1631854+16384 ~x1631853+8192 ~x1631852+4096 ~x1631851+2048 ~x1631850+1024 ~x1631849+512 ~x1631848+256 ~x1631847+128 ~x1631846+64 ~x1631845+32 ~x1631844+16 ~x1631843+8 ~x1631842+4 ~x1631841+2 ~x1631840+1 ~x1631839+8791261184 ~x3298+4395630592 ~x3297+2197815296 ~x3296+1098907648 ~x3295+549453824 ~x3294+274726912 ~x3293+137363456 ~x3292+68681728 ~x3291+34340864 ~x3290+17170432 ~x3289+8585216 ~x3288+4292608 ~x3287+2146304 ~x3286+1073152 ~x3285+536576 ~x3284+268288 ~x3283+134144 ~x3282+67072 ~x3281+33536 ~x3280+16768 ~x3279+8384 ~x3278+4192 ~x3277+2096 ~x3276+1048 ~x3275+524 ~x3274+262 ~x3273+131 ~x3272-0=30106287996 39.07/39.19 c 274877906944 ~x1657473+137438953472 ~x1657472+68719476736 ~x1657471+34359738368 ~x1657470+17179869184 ~x1657469+8589934592 ~x1657468+4294967296 ~x1657467+2147483648 ~x1657466+1073741824 ~x1657465+536870912 ~x1657464+268435456 ~x1657463+134217728 ~x1657462+67108864 ~x1657461+33554432 ~x1657460+16777216 ~x1657459+8388608 ~x1657458+4194304 ~x1657457+2097152 ~x1657456+1048576 ~x1657455+524288 ~x1657454+262144 ~x1657453+131072 ~x1657452+65536 ~x1657451+32768 ~x1657450+16384 ~x1657449+8192 ~x1657448+4096 ~x1657447+2048 ~x1657446+1024 ~x1657445+512 ~x1657444+256 ~x1657443+128 ~x1657442+64 ~x1657441+32 ~x1657440+16 ~x1657439+8 ~x1657438+4 ~x1657437+2 ~x1657436+1 ~x1657435+280783486976 ~x3301+140391743488 ~x3300+70195871744 ~x3299+35097935872 ~x3298+17548967936 ~x3297+8774483968 ~x3296+4387241984 ~x3295+2193620992 ~x3294+1096810496 ~x3293+548405248 ~x3292+274202624 ~x3291+137101312 ~x3290+68550656 ~x3289+34275328 ~x3288+17137664 ~x3287+8568832 ~x3286+4284416 ~x3285+2142208 ~x3284+1071104 ~x3283+535552 ~x3282+267776 ~x3281+133888 ~x3280+66944 ~x3279+33472 ~x3278+16736 ~x3277+8368 ~x3276+4184 ~x3275+2092 ~x3274+1046 ~x3273+523 ~x3272-0=914202787316 39.88/39.95 c 549755813888 ~x1692934+274877906944 ~x1692933+137438953472 ~x1692932+68719476736 ~x1692931+34359738368 ~x1692930+17179869184 ~x1692929+8589934592 ~x1692928+4294967296 ~x1692927+2147483648 ~x1692926+1073741824 ~x1692925+536870912 ~x1692924+268435456 ~x1692923+134217728 ~x1692922+67108864 ~x1692921+33554432 ~x1692920+16777216 ~x1692919+8388608 ~x1692918+4194304 ~x1692917+2097152 ~x1692916+1048576 ~x1692915+524288 ~x1692914+262144 ~x1692913+131072 ~x1692912+65536 ~x1692911+32768 ~x1692910+16384 ~x1692909+8192 ~x1692908+4096 ~x1692907+2048 ~x1692906+1024 ~x1692905+512 ~x1692904+256 ~x1692903+128 ~x1692902+64 ~x1692901+32 ~x1692900+16 ~x1692899+8 ~x1692898+4 ~x1692897+2 ~x1692896+1 ~x1692895+112206020608 ~x3901+56103010304 ~x3900+28051505152 ~x3899+14025752576 ~x3898+7012876288 ~x3897+3506438144 ~x3896+1753219072 ~x3895+876609536 ~x3894+438304768 ~x3893+219152384 ~x3892+109576192 ~x3891+54788096 ~x3890+27394048 ~x3889+13697024 ~x3888+6848512 ~x3887+3424256 ~x3886+1712128 ~x3885+856064 ~x3884+428032 ~x3883+214016 ~x3882+107008 ~x3881+53504 ~x3880+26752 ~x3879+13376 ~x3878+6688 ~x3877+3344 ~x3876+1672 ~x3875+836 ~x3874+418 ~x3873+209 ~x3872+64961380352 ~x3601+32480690176 ~x3600+16240345088 ~x3599+8120172544 ~x3598+4060086272 ~x3597+2030043136 ~x3596+1015021568 ~x3595+507510784 ~x3594+253755392 ~x3593+126877696 ~x3592+63438848 ~x3591+31719424 ~x3590+15859712 ~x3589+7929856 ~x3588+3964928 ~x3587+1982464 ~x3586+991232 ~x3585+495616 ~x3584+247808 ~x3583+123904 ~x3582+61952 ~x3581+30976 ~x3580+15488 ~x3579+7744 ~x3578+3872 ~x3577+1936 ~x3576+968 ~x3575+484 ~x3574+242 ~x3573+121 ~x3572+243739394048 ~x3571+121869697024 ~x3570+60934848512 ~x3569+30467424256 ~x3568+15233712128 ~x3567+7616856064 ~x3566+3808428032 ~x3565+1904214016 ~x3564+952107008 ~x3563+476053504 ~x3562+238026752 ~x3561+119013376 ~x3560+59506688 ~x3559+29753344 ~x3558+14876672 ~x3557+7438336 ~x3556+3719168 ~x3555+1859584 ~x3554+929792 ~x3553+464896 ~x3552+232448 ~x3551+116224 ~x3550+58112 ~x3549+29056 ~x3548+14528 ~x3547+7264 ~x3546+3632 ~x3545+1816 ~x3544+908 ~x3543+454 ~x3542+18790481920 ~x3361+9395240960 ~x3360+4697620480 ~x3359+2348810240 ~x3358+1174405120 ~x3357+587202560 ~x3356+293601280 ~x3355+146800640 ~x3354+73400320 ~x3353+36700160 ~x3352+18350080 ~x3351+9175040 ~x3350+4587520 ~x3349+2293760 ~x3348+1146880 ~x3347+573440 ~x3346+286720 ~x3345+143360 ~x3344+71680 ~x3343+35840 ~x3342+17920 ~x3341+8960 ~x3340+4480 ~x3339+2240 ~x3338+1120 ~x3337+560 ~x3336+280 ~x3335+140 ~x3334+70 ~x3333+35 ~x3332-0=1720858180812 41.79/41.81 c 549755813888 ~x1781329+274877906944 ~x1781328+137438953472 ~x1781327+68719476736 ~x1781326+34359738368 ~x1781325+17179869184 ~x1781324+8589934592 ~x1781323+4294967296 ~x1781322+2147483648 ~x1781321+1073741824 ~x1781320+536870912 ~x1781319+268435456 ~x1781318+134217728 ~x1781317+67108864 ~x1781316+33554432 ~x1781315+16777216 ~x1781314+8388608 ~x1781313+4194304 ~x1781312+2097152 ~x1781311+1048576 ~x1781310+524288 ~x1781309+262144 ~x1781308+131072 ~x1781307+65536 ~x1781306+32768 ~x1781305+16384 ~x1781304+8192 ~x1781303+4096 ~x1781302+2048 ~x1781301+1024 ~x1781300+512 ~x1781299+256 ~x1781298+128 ~x1781297+64 ~x1781296+32 ~x1781295+16 ~x1781294+8 ~x1781293+4 ~x1781292+2 ~x1781291+1 ~x1781290+112206020608 ~x3931+56103010304 ~x3930+28051505152 ~x3929+14025752576 ~x3928+7012876288 ~x3927+3506438144 ~x3926+1753219072 ~x3925+876609536 ~x3924+438304768 ~x3923+219152384 ~x3922+109576192 ~x3921+54788096 ~x3920+27394048 ~x3919+13697024 ~x3918+6848512 ~x3917+3424256 ~x3916+1712128 ~x3915+856064 ~x3914+428032 ~x3913+214016 ~x3912+107008 ~x3911+53504 ~x3910+26752 ~x3909+13376 ~x3908+6688 ~x3907+3344 ~x3906+1672 ~x3905+836 ~x3904+418 ~x3903+209 ~x3902+209916526592 ~x3901+104958263296 ~x3900+52479131648 ~x3899+26239565824 ~x3898+13119782912 ~x3897+6559891456 ~x3896+3279945728 ~x3895+1639972864 ~x3894+819986432 ~x3893+409993216 ~x3892+204996608 ~x3891+102498304 ~x3890+51249152 ~x3889+25624576 ~x3888+12812288 ~x3887+6406144 ~x3886+3203072 ~x3885+1601536 ~x3884+800768 ~x3883+400384 ~x3882+200192 ~x3881+100096 ~x3880+50048 ~x3879+25024 ~x3878+12512 ~x3877+6256 ~x3876+3128 ~x3875+1564 ~x3874+782 ~x3873+391 ~x3872+64961380352 ~x3631+32480690176 ~x3630+16240345088 ~x3629+8120172544 ~x3628+4060086272 ~x3627+2030043136 ~x3626+1015021568 ~x3625+507510784 ~x3624+253755392 ~x3623+126877696 ~x3622+63438848 ~x3621+31719424 ~x3620+15859712 ~x3619+7929856 ~x3618+3964928 ~x3617+1982464 ~x3616+991232 ~x3615+495616 ~x3614+247808 ~x3613+123904 ~x3612+61952 ~x3611+30976 ~x3610+15488 ~x3609+7744 ~x3608+3872 ~x3607+1936 ~x3606+968 ~x3605+484 ~x3604+242 ~x3603+121 ~x3602+249108103168 ~x3601+124554051584 ~x3600+62277025792 ~x3599+31138512896 ~x3598+15569256448 ~x3597+7784628224 ~x3596+3892314112 ~x3595+1946157056 ~x3594+973078528 ~x3593+486539264 ~x3592+243269632 ~x3591+121634816 ~x3590+60817408 ~x3589+30408704 ~x3588+15204352 ~x3587+7602176 ~x3586+3801088 ~x3585+1900544 ~x3584+950272 ~x3583+475136 ~x3582+237568 ~x3581+118784 ~x3580+59392 ~x3579+29696 ~x3578+14848 ~x3577+7424 ~x3576+3712 ~x3575+1856 ~x3574+928 ~x3573+464 ~x3572+18253611008 ~x3391+9126805504 ~x3390+4563402752 ~x3389+2281701376 ~x3388+1140850688 ~x3387+570425344 ~x3386+285212672 ~x3385+142606336 ~x3384+71303168 ~x3383+35651584 ~x3382+17825792 ~x3381+8912896 ~x3380+4456448 ~x3379+2228224 ~x3378+1114112 ~x3377+557056 ~x3376+278528 ~x3375+139264 ~x3374+69632 ~x3373+34816 ~x3372+17408 ~x3371+8704 ~x3370+4352 ~x3369+2176 ~x3368+1088 ~x3367+544 ~x3366+272 ~x3365+136 ~x3364+68 ~x3363+34 ~x3362-0=2128850910012 43.98/44.01 c 549755813888 ~x1886734+274877906944 ~x1886733+137438953472 ~x1886732+68719476736 ~x1886731+34359738368 ~x1886730+17179869184 ~x1886729+8589934592 ~x1886728+4294967296 ~x1886727+2147483648 ~x1886726+1073741824 ~x1886725+536870912 ~x1886724+268435456 ~x1886723+134217728 ~x1886722+67108864 ~x1886721+33554432 ~x1886720+16777216 ~x1886719+8388608 ~x1886718+4194304 ~x1886717+2097152 ~x1886716+1048576 ~x1886715+524288 ~x1886714+262144 ~x1886713+131072 ~x1886712+65536 ~x1886711+32768 ~x1886710+16384 ~x1886709+8192 ~x1886708+4096 ~x1886707+2048 ~x1886706+1024 ~x1886705+512 ~x1886704+256 ~x1886703+128 ~x1886702+64 ~x1886701+32 ~x1886700+16 ~x1886699+8 ~x1886698+4 ~x1886697+2 ~x1886696+1 ~x1886695+107374182400 ~x3961+53687091200 ~x3960+26843545600 ~x3959+13421772800 ~x3958+6710886400 ~x3957+3355443200 ~x3956+1677721600 ~x3955+838860800 ~x3954+419430400 ~x3953+209715200 ~x3952+104857600 ~x3951+52428800 ~x3950+26214400 ~x3949+13107200 ~x3948+6553600 ~x3947+3276800 ~x3946+1638400 ~x3945+819200 ~x3944+409600 ~x3943+204800 ~x3942+102400 ~x3941+51200 ~x3940+25600 ~x3939+12800 ~x3938+6400 ~x3937+3200 ~x3936+1600 ~x3935+800 ~x3934+400 ~x3933+200 ~x3932+209916526592 ~x3931+104958263296 ~x3930+52479131648 ~x3929+26239565824 ~x3928+13119782912 ~x3927+6559891456 ~x3926+3279945728 ~x3925+1639972864 ~x3924+819986432 ~x3923+409993216 ~x3922+204996608 ~x3921+102498304 ~x3920+51249152 ~x3919+25624576 ~x3918+12812288 ~x3917+6406144 ~x3916+3203072 ~x3915+1601536 ~x3914+800768 ~x3913+400384 ~x3912+200192 ~x3911+100096 ~x3910+50048 ~x3909+25024 ~x3908+12512 ~x3907+6256 ~x3906+3128 ~x3905+1564 ~x3904+782 ~x3903+391 ~x3902+62813896704 ~x3661+31406948352 ~x3660+15703474176 ~x3659+7851737088 ~x3658+3925868544 ~x3657+1962934272 ~x3656+981467136 ~x3655+490733568 ~x3654+245366784 ~x3653+122683392 ~x3652+61341696 ~x3651+30670848 ~x3650+15335424 ~x3649+7667712 ~x3648+3833856 ~x3647+1916928 ~x3646+958464 ~x3645+479232 ~x3644+239616 ~x3643+119808 ~x3642+59904 ~x3641+29952 ~x3640+14976 ~x3639+7488 ~x3638+3744 ~x3637+1872 ~x3636+936 ~x3635+468 ~x3634+234 ~x3633+117 ~x3632+249108103168 ~x3631+124554051584 ~x3630+62277025792 ~x3629+31138512896 ~x3628+15569256448 ~x3627+7784628224 ~x3626+3892314112 ~x3625+1946157056 ~x3624+973078528 ~x3623+486539264 ~x3622+243269632 ~x3621+121634816 ~x3620+60817408 ~x3619+30408704 ~x3618+15204352 ~x3617+7602176 ~x3616+3801088 ~x3615+1900544 ~x3614+950272 ~x3613+475136 ~x3612+237568 ~x3611+118784 ~x3610+59392 ~x3609+29696 ~x3608+14848 ~x3607+7424 ~x3606+3712 ~x3605+1856 ~x3604+928 ~x3603+464 ~x3602-0=2078385044331 45.78/45.85 c 1099511627776 ~x1973510+549755813888 ~x1973509+274877906944 ~x1973508+137438953472 ~x1973507+68719476736 ~x1973506+34359738368 ~x1973505+17179869184 ~x1973504+8589934592 ~x1973503+4294967296 ~x1973502+2147483648 ~x1973501+1073741824 ~x1973500+536870912 ~x1973499+268435456 ~x1973498+134217728 ~x1973497+67108864 ~x1973496+33554432 ~x1973495+16777216 ~x1973494+8388608 ~x1973493+4194304 ~x1973492+2097152 ~x1973491+1048576 ~x1973490+524288 ~x1973489+262144 ~x1973488+131072 ~x1973487+65536 ~x1973486+32768 ~x1973485+16384 ~x1973484+8192 ~x1973483+4096 ~x1973482+2048 ~x1973481+1024 ~x1973480+512 ~x1973479+256 ~x1973478+128 ~x1973477+64 ~x1973476+32 ~x1973475+16 ~x1973474+8 ~x1973473+4 ~x1973472+2 ~x1973471+1 ~x1973470+118111600640 ~x3991+59055800320 ~x3990+29527900160 ~x3989+14763950080 ~x3988+7381975040 ~x3987+3690987520 ~x3986+1845493760 ~x3985+922746880 ~x3984+461373440 ~x3983+230686720 ~x3982+115343360 ~x3981+57671680 ~x3980+28835840 ~x3979+14417920 ~x3978+7208960 ~x3977+3604480 ~x3976+1802240 ~x3975+901120 ~x3974+450560 ~x3973+225280 ~x3972+112640 ~x3971+56320 ~x3970+28160 ~x3969+14080 ~x3968+7040 ~x3967+3520 ~x3966+1760 ~x3965+880 ~x3964+440 ~x3963+220 ~x3962+252866199552 ~x3661+126433099776 ~x3660+63216549888 ~x3659+31608274944 ~x3658+15804137472 ~x3657+7902068736 ~x3656+3951034368 ~x3655+1975517184 ~x3654+987758592 ~x3653+493879296 ~x3652+246939648 ~x3651+123469824 ~x3650+61734912 ~x3649+30867456 ~x3648+15433728 ~x3647+7716864 ~x3646+3858432 ~x3645+1929216 ~x3644+964608 ~x3643+482304 ~x3642+241152 ~x3641+120576 ~x3640+60288 ~x3639+30144 ~x3638+15072 ~x3637+7536 ~x3636+3768 ~x3635+1884 ~x3634+942 ~x3633+471 ~x3632+350576705536 ~x3421+175288352768 ~x3420+87644176384 ~x3419+43822088192 ~x3418+21911044096 ~x3417+10955522048 ~x3416+5477761024 ~x3415+2738880512 ~x3414+1369440256 ~x3413+684720128 ~x3412+342360064 ~x3411+171180032 ~x3410+85590016 ~x3409+42795008 ~x3408+21397504 ~x3407+10698752 ~x3406+5349376 ~x3405+2674688 ~x3404+1337344 ~x3403+668672 ~x3402+334336 ~x3401+167168 ~x3400+83584 ~x3399+41792 ~x3398+20896 ~x3397+10448 ~x3396+5224 ~x3395+2612 ~x3394+1306 ~x3393+653 ~x3392-0=3351828265663 47.29/47.36 c 68719476736 ~x2045837+34359738368 ~x2045836+17179869184 ~x2045835+8589934592 ~x2045834+4294967296 ~x2045833+2147483648 ~x2045832+1073741824 ~x2045831+536870912 ~x2045830+268435456 ~x2045829+134217728 ~x2045828+67108864 ~x2045827+33554432 ~x2045826+16777216 ~x2045825+8388608 ~x2045824+4194304 ~x2045823+2097152 ~x2045822+1048576 ~x2045821+524288 ~x2045820+262144 ~x2045819+131072 ~x2045818+65536 ~x2045817+32768 ~x2045816+16384 ~x2045815+8192 ~x2045814+4096 ~x2045813+2048 ~x2045812+1024 ~x2045811+512 ~x2045810+256 ~x2045809+128 ~x2045808+64 ~x2045807+32 ~x2045806+16 ~x2045805+8 ~x2045804+4 ~x2045803+2 ~x2045802+1 ~x2045801+106837311488 ~x3421+53418655744 ~x3420+26709327872 ~x3419+13354663936 ~x3418+6677331968 ~x3417+3338665984 ~x3416+1669332992 ~x3415+834666496 ~x3414+417333248 ~x3413+208666624 ~x3412+104333312 ~x3411+52166656 ~x3410+26083328 ~x3409+13041664 ~x3408+6520832 ~x3407+3260416 ~x3406+1630208 ~x3405+815104 ~x3404+407552 ~x3403+203776 ~x3402+101888 ~x3401+50944 ~x3400+25472 ~x3399+12736 ~x3398+6368 ~x3397+3184 ~x3396+1592 ~x3395+796 ~x3394+398 ~x3393+199 ~x3392-0=261513576248 47.98/48.09 c 274877906944 ~x2080145+137438953472 ~x2080144+68719476736 ~x2080143+34359738368 ~x2080142+17179869184 ~x2080141+8589934592 ~x2080140+4294967296 ~x2080139+2147483648 ~x2080138+1073741824 ~x2080137+536870912 ~x2080136+268435456 ~x2080135+134217728 ~x2080134+67108864 ~x2080133+33554432 ~x2080132+16777216 ~x2080131+8388608 ~x2080130+4194304 ~x2080129+2097152 ~x2080128+1048576 ~x2080127+524288 ~x2080126+262144 ~x2080125+131072 ~x2080124+65536 ~x2080123+32768 ~x2080122+16384 ~x2080121+8192 ~x2080120+4096 ~x2080119+2048 ~x2080118+1024 ~x2080117+512 ~x2080116+256 ~x2080115+128 ~x2080114+64 ~x2080113+32 ~x2080112+16 ~x2080111+8 ~x2080110+4 ~x2080109+2 ~x2080108+1 ~x2080107+33822867456 ~x4471+16911433728 ~x4470+8455716864 ~x4469+4227858432 ~x4468+2113929216 ~x4467+1056964608 ~x4466+528482304 ~x4465+264241152 ~x4464+132120576 ~x4463+66060288 ~x4462+33030144 ~x4461+16515072 ~x4460+8257536 ~x4459+4128768 ~x4458+2064384 ~x4457+1032192 ~x4456+516096 ~x4455+258048 ~x4454+129024 ~x4453+64512 ~x4452+32256 ~x4451+16128 ~x4450+8064 ~x4449+4032 ~x4448+2016 ~x4447+1008 ~x4446+504 ~x4445+252 ~x4444+126 ~x4443+63 ~x4442+273535729664 ~x2070+136767864832 ~x2069+68383932416 ~x2068+34191966208 ~x2067+17095983104 ~x2066+8547991552 ~x2065+4273995776 ~x2064+2136997888 ~x2063+1068498944 ~x2062+534249472 ~x2061+267124736 ~x2060+133562368 ~x2059+66781184 ~x2058+33390592 ~x2057+16695296 ~x2056+8347648 ~x2055+4173824 ~x2054+2086912 ~x2053+1043456 ~x2052+521728 ~x2051+260864 ~x2050+130432 ~x2049+65216 ~x2048+32608 ~x2047+16304 ~x2046+8152 ~x2045+4076 ~x2044+2038 ~x2043+1019 ~x2042-0=1048023186373 49.07/49.20 c 1099511627776 ~x2132312+549755813888 ~x2132311+274877906944 ~x2132310+137438953472 ~x2132309+68719476736 ~x2132308+34359738368 ~x2132307+17179869184 ~x2132306+8589934592 ~x2132305+4294967296 ~x2132304+2147483648 ~x2132303+1073741824 ~x2132302+536870912 ~x2132301+268435456 ~x2132300+134217728 ~x2132299+67108864 ~x2132298+33554432 ~x2132297+16777216 ~x2132296+8388608 ~x2132295+4194304 ~x2132294+2097152 ~x2132293+1048576 ~x2132292+524288 ~x2132291+262144 ~x2132290+131072 ~x2132289+65536 ~x2132288+32768 ~x2132287+16384 ~x2132286+8192 ~x2132285+4096 ~x2132284+2048 ~x2132283+1024 ~x2132282+512 ~x2132281+256 ~x2132280+128 ~x2132279+64 ~x2132278+32 ~x2132277+16 ~x2132276+8 ~x2132275+4 ~x2132274+2 ~x2132273+1 ~x2132272+198105366528 ~x4771+99052683264 ~x4770+49526341632 ~x4769+24763170816 ~x4768+12381585408 ~x4767+6190792704 ~x4766+3095396352 ~x4765+1547698176 ~x4764+773849088 ~x4763+386924544 ~x4762+193462272 ~x4761+96731136 ~x4760+48365568 ~x4759+24182784 ~x4758+12091392 ~x4757+6045696 ~x4756+3022848 ~x4755+1511424 ~x4754+755712 ~x4753+377856 ~x4752+188928 ~x4751+94464 ~x4750+47232 ~x4749+23616 ~x4748+11808 ~x4747+5904 ~x4746+2952 ~x4745+1476 ~x4744+738 ~x4743+369 ~x4742+30601641984 ~x4501+15300820992 ~x4500+7650410496 ~x4499+3825205248 ~x4498+1912602624 ~x4497+956301312 ~x4496+478150656 ~x4495+239075328 ~x4494+119537664 ~x4493+59768832 ~x4492+29884416 ~x4491+14942208 ~x4490+7471104 ~x4489+3735552 ~x4488+1867776 ~x4487+933888 ~x4486+466944 ~x4485+233472 ~x4484+116736 ~x4483+58368 ~x4482+29184 ~x4481+14592 ~x4480+7296 ~x4479+3648 ~x4478+1824 ~x4477+912 ~x4476+456 ~x4475+228 ~x4474+114 ~x4473+57 ~x4472+233001975808 ~x4471+116500987904 ~x4470+58250493952 ~x4469+29125246976 ~x4468+14562623488 ~x4467+7281311744 ~x4466+3640655872 ~x4465+1820327936 ~x4464+910163968 ~x4463+455081984 ~x4462+227540992 ~x4461+113770496 ~x4460+56885248 ~x4459+28442624 ~x4458+14221312 ~x4457+7110656 ~x4456+3555328 ~x4455+1777664 ~x4454+888832 ~x4453+444416 ~x4452+222208 ~x4451+111104 ~x4450+55552 ~x4449+27776 ~x4448+13888 ~x4447+6944 ~x4446+3472 ~x4445+1736 ~x4444+868 ~x4443+434 ~x4442+497142464512 ~x2101+248571232256 ~x2100+124285616128 ~x2099+62142808064 ~x2098+31071404032 ~x2097+15535702016 ~x2096+7767851008 ~x2095+3883925504 ~x2094+1941962752 ~x2093+970981376 ~x2092+485490688 ~x2091+242745344 ~x2090+121372672 ~x2089+60686336 ~x2088+30343168 ~x2087+15171584 ~x2086+7585792 ~x2085+3792896 ~x2084+1896448 ~x2083+948224 ~x2082+474112 ~x2081+237056 ~x2080+118528 ~x2079+59264 ~x2078+29632 ~x2077+14816 ~x2076+7408 ~x2075+3704 ~x2074+1852 ~x2073+926 ~x2072+378493992960 ~x2071+189246996480 ~x2070+94623498240 ~x2069+47311749120 ~x2068+23655874560 ~x2067+11827937280 ~x2066+5913968640 ~x2065+2956984320 ~x2064+1478492160 ~x2063+739246080 ~x2062+369623040 ~x2061+184811520 ~x2060+92405760 ~x2059+46202880 ~x2058+23101440 ~x2057+11550720 ~x2056+5775360 ~x2055+2887680 ~x2054+1443840 ~x2053+721920 ~x2052+360960 ~x2051+180480 ~x2050+90240 ~x2049+45120 ~x2048+22560 ~x2047+11280 ~x2046+5640 ~x2045+2820 ~x2044+1410 ~x2043+705 ~x2042-0=4283910616644 51.37/51.44 c 549755813888 ~x2240219+274877906944 ~x2240218+137438953472 ~x2240217+68719476736 ~x2240216+34359738368 ~x2240215+17179869184 ~x2240214+8589934592 ~x2240213+4294967296 ~x2240212+2147483648 ~x2240211+1073741824 ~x2240210+536870912 ~x2240209+268435456 ~x2240208+134217728 ~x2240207+67108864 ~x2240206+33554432 ~x2240205+16777216 ~x2240204+8388608 ~x2240203+4194304 ~x2240202+2097152 ~x2240201+1048576 ~x2240200+524288 ~x2240199+262144 ~x2240198+131072 ~x2240197+65536 ~x2240196+32768 ~x2240195+16384 ~x2240194+8192 ~x2240193+4096 ~x2240192+2048 ~x2240191+1024 ~x2240190+512 ~x2240189+256 ~x2240188+128 ~x2240187+64 ~x2240186+32 ~x2240185+16 ~x2240184+8 ~x2240183+4 ~x2240182+2 ~x2240181+1 ~x2240180+205621559296 ~x4801+102810779648 ~x4800+51405389824 ~x4799+25702694912 ~x4798+12851347456 ~x4797+6425673728 ~x4796+3212836864 ~x4795+1606418432 ~x4794+803209216 ~x4793+401604608 ~x4792+200802304 ~x4791+100401152 ~x4790+50200576 ~x4789+25100288 ~x4788+12550144 ~x4787+6275072 ~x4786+3137536 ~x4785+1568768 ~x4784+784384 ~x4783+392192 ~x4782+196096 ~x4781+98048 ~x4780+49024 ~x4779+24512 ~x4778+12256 ~x4777+6128 ~x4776+3064 ~x4775+1532 ~x4774+766 ~x4773+383 ~x4772+30601641984 ~x4531+15300820992 ~x4530+7650410496 ~x4529+3825205248 ~x4528+1912602624 ~x4527+956301312 ~x4526+478150656 ~x4525+239075328 ~x4524+119537664 ~x4523+59768832 ~x4522+29884416 ~x4521+14942208 ~x4520+7471104 ~x4519+3735552 ~x4518+1867776 ~x4517+933888 ~x4516+466944 ~x4515+233472 ~x4514+116736 ~x4513+58368 ~x4512+29184 ~x4511+14592 ~x4510+7296 ~x4509+3648 ~x4508+1824 ~x4507+912 ~x4506+456 ~x4505+228 ~x4504+114 ~x4503+57 ~x4502+497142464512 ~x2131+248571232256 ~x2130+124285616128 ~x2129+62142808064 ~x2128+31071404032 ~x2127+15535702016 ~x2126+7767851008 ~x2125+3883925504 ~x2124+1941962752 ~x2123+970981376 ~x2122+485490688 ~x2121+242745344 ~x2120+121372672 ~x2119+60686336 ~x2118+30343168 ~x2117+15171584 ~x2116+7585792 ~x2115+3792896 ~x2114+1896448 ~x2113+948224 ~x2112+474112 ~x2111+237056 ~x2110+118528 ~x2109+59264 ~x2108+29632 ~x2107+14816 ~x2106+7408 ~x2105+3704 ~x2104+1852 ~x2103+926 ~x2102-0=1927297677993 52.87/52.95 c 549755813888 ~x2311964+274877906944 ~x2311963+137438953472 ~x2311962+68719476736 ~x2311961+34359738368 ~x2311960+17179869184 ~x2311959+8589934592 ~x2311958+4294967296 ~x2311957+2147483648 ~x2311956+1073741824 ~x2311955+536870912 ~x2311954+268435456 ~x2311953+134217728 ~x2311952+67108864 ~x2311951+33554432 ~x2311950+16777216 ~x2311949+8388608 ~x2311948+4194304 ~x2311947+2097152 ~x2311946+1048576 ~x2311945+524288 ~x2311944+262144 ~x2311943+131072 ~x2311942+65536 ~x2311941+32768 ~x2311940+16384 ~x2311939+8192 ~x2311938+4096 ~x2311937+2048 ~x2311936+1024 ~x2311935+512 ~x2311934+256 ~x2311933+128 ~x2311932+64 ~x2311931+32 ~x2311930+16 ~x2311929+8 ~x2311928+4 ~x2311927+2 ~x2311926+1 ~x2311925+205621559296 ~x4831+102810779648 ~x4830+51405389824 ~x4829+25702694912 ~x4828+12851347456 ~x4827+6425673728 ~x4826+3212836864 ~x4825+1606418432 ~x4824+803209216 ~x4823+401604608 ~x4822+200802304 ~x4821+100401152 ~x4820+50200576 ~x4819+25100288 ~x4818+12550144 ~x4817+6275072 ~x4816+3137536 ~x4815+1568768 ~x4814+784384 ~x4813+392192 ~x4812+196096 ~x4811+98048 ~x4810+49024 ~x4809+24512 ~x4808+12256 ~x4807+6128 ~x4806+3064 ~x4805+1532 ~x4804+766 ~x4803+383 ~x4802+479962595328 ~x2161+239981297664 ~x2160+119990648832 ~x2159+59995324416 ~x2158+29997662208 ~x2157+14998831104 ~x2156+7499415552 ~x2155+3749707776 ~x2154+1874853888 ~x2153+937426944 ~x2152+468713472 ~x2151+234356736 ~x2150+117178368 ~x2149+58589184 ~x2148+29294592 ~x2147+14647296 ~x2146+7323648 ~x2145+3661824 ~x2144+1830912 ~x2143+915456 ~x2142+457728 ~x2141+228864 ~x2140+114432 ~x2139+57216 ~x2138+28608 ~x2137+14304 ~x2136+7152 ~x2135+3576 ~x2134+1788 ~x2133+894 ~x2132-0=1831734655746 53.97/54.09 c 549755813888 ~x2365979+274877906944 ~x2365978+137438953472 ~x2365977+68719476736 ~x2365976+34359738368 ~x2365975+17179869184 ~x2365974+8589934592 ~x2365973+4294967296 ~x2365972+2147483648 ~x2365971+1073741824 ~x2365970+536870912 ~x2365969+268435456 ~x2365968+134217728 ~x2365967+67108864 ~x2365966+33554432 ~x2365965+16777216 ~x2365964+8388608 ~x2365963+4194304 ~x2365962+2097152 ~x2365961+1048576 ~x2365960+524288 ~x2365959+262144 ~x2365958+131072 ~x2365957+65536 ~x2365956+32768 ~x2365955+16384 ~x2365954+8192 ~x2365953+4096 ~x2365952+2048 ~x2365951+1024 ~x2365950+512 ~x2365949+256 ~x2365948+128 ~x2365947+64 ~x2365946+32 ~x2365945+16 ~x2365944+8 ~x2365943+4 ~x2365942+2 ~x2365941+1 ~x2365940+68719476736 ~x4891+34359738368 ~x4890+17179869184 ~x4889+8589934592 ~x4888+4294967296 ~x4887+2147483648 ~x4886+1073741824 ~x4885+536870912 ~x4884+268435456 ~x4883+134217728 ~x4882+67108864 ~x4881+33554432 ~x4880+16777216 ~x4879+8388608 ~x4878+4194304 ~x4877+2097152 ~x4876+1048576 ~x4875+524288 ~x4874+262144 ~x4873+131072 ~x4872+65536 ~x4871+32768 ~x4870+16384 ~x4869+8192 ~x4868+4096 ~x4867+2048 ~x4866+1024 ~x4865+512 ~x4864+256 ~x4863+128 ~x4862+32212254720 ~x4591+16106127360 ~x4590+8053063680 ~x4589+4026531840 ~x4588+2013265920 ~x4587+1006632960 ~x4586+503316480 ~x4585+251658240 ~x4584+125829120 ~x4583+62914560 ~x4582+31457280 ~x4581+15728640 ~x4580+7864320 ~x4579+3932160 ~x4578+1966080 ~x4577+983040 ~x4576+491520 ~x4575+245760 ~x4574+122880 ~x4573+61440 ~x4572+30720 ~x4571+15360 ~x4570+7680 ~x4569+3840 ~x4568+1920 ~x4567+960 ~x4566+480 ~x4565+240 ~x4564+120 ~x4563+60 ~x4562+236760072192 ~x4561+118380036096 ~x4560+59190018048 ~x4559+29595009024 ~x4558+14797504512 ~x4557+7398752256 ~x4556+3699376128 ~x4555+1849688064 ~x4554+924844032 ~x4553+462422016 ~x4552+231211008 ~x4551+115605504 ~x4550+57802752 ~x4549+28901376 ~x4548+14450688 ~x4547+7225344 ~x4546+3612672 ~x4545+1806336 ~x4544+903168 ~x4543+451584 ~x4542+225792 ~x4541+112896 ~x4540+56448 ~x4539+28224 ~x4538+14112 ~x4537+7056 ~x4536+3528 ~x4535+1764 ~x4534+882 ~x4533+441 ~x4532+516469817344 ~x2191+258234908672 ~x2190+129117454336 ~x2189+64558727168 ~x2188+32279363584 ~x2187+16139681792 ~x2186+8069840896 ~x2185+4034920448 ~x2184+2017460224 ~x2183+1008730112 ~x2182+504365056 ~x2181+252182528 ~x2180+126091264 ~x2179+63045632 ~x2178+31522816 ~x2177+15761408 ~x2176+7880704 ~x2175+3940352 ~x2174+1970176 ~x2173+985088 ~x2172+492544 ~x2171+246272 ~x2170+123136 ~x2169+61568 ~x2168+30784 ~x2167+15392 ~x2166+7696 ~x2165+3848 ~x2164+1924 ~x2163+962 ~x2162-0=2144313588168 55.87/55.91 c 68719476736 ~x2450951+34359738368 ~x2450950+17179869184 ~x2450949+8589934592 ~x2450948+4294967296 ~x2450947+2147483648 ~x2450946+1073741824 ~x2450945+536870912 ~x2450944+268435456 ~x2450943+134217728 ~x2450942+67108864 ~x2450941+33554432 ~x2450940+16777216 ~x2450939+8388608 ~x2450938+4194304 ~x2450937+2097152 ~x2450936+1048576 ~x2450935+524288 ~x2450934+262144 ~x2450933+131072 ~x2450932+65536 ~x2450931+32768 ~x2450930+16384 ~x2450929+8192 ~x2450928+4096 ~x2450927+2048 ~x2450926+1024 ~x2450925+512 ~x2450924+256 ~x2450923+128 ~x2450922+64 ~x2450921+32 ~x2450920+16 ~x2450919+8 ~x2450918+4 ~x2450917+2 ~x2450916+1 ~x2450915+9663676416 ~x4891+4831838208 ~x4890+2415919104 ~x4889+1207959552 ~x4888+603979776 ~x4887+301989888 ~x4886+150994944 ~x4885+75497472 ~x4884+37748736 ~x4883+18874368 ~x4882+9437184 ~x4881+4718592 ~x4880+2359296 ~x4879+1179648 ~x4878+589824 ~x4877+294912 ~x4876+147456 ~x4875+73728 ~x4874+36864 ~x4873+18432 ~x4872+9216 ~x4871+4608 ~x4870+2304 ~x4869+1152 ~x4868+576 ~x4867+288 ~x4866+144 ~x4865+72 ~x4864+36 ~x4863+18 ~x4862+30601641984 ~x2191+15300820992 ~x2190+7650410496 ~x2189+3825205248 ~x2188+1912602624 ~x2187+956301312 ~x2186+478150656 ~x2185+239075328 ~x2184+119537664 ~x2183+59768832 ~x2182+29884416 ~x2181+14942208 ~x2180+7471104 ~x2179+3735552 ~x2178+1867776 ~x2177+933888 ~x2176+466944 ~x2175+233472 ~x2174+116736 ~x2173+58368 ~x2172+29184 ~x2171+14592 ~x2170+7296 ~x2169+3648 ~x2168+1824 ~x2167+912 ~x2166+456 ~x2165+228 ~x2164+114 ~x2163+57 ~x2162-0=210655670196 56.87/56.94 c 549755813888 ~x2499519+274877906944 ~x2499518+137438953472 ~x2499517+68719476736 ~x2499516+34359738368 ~x2499515+17179869184 ~x2499514+8589934592 ~x2499513+4294967296 ~x2499512+2147483648 ~x2499511+1073741824 ~x2499510+536870912 ~x2499509+268435456 ~x2499508+134217728 ~x2499507+67108864 ~x2499506+33554432 ~x2499505+16777216 ~x2499504+8388608 ~x2499503+4194304 ~x2499502+2097152 ~x2499501+1048576 ~x2499500+524288 ~x2499499+262144 ~x2499498+131072 ~x2499497+65536 ~x2499496+32768 ~x2499495+16384 ~x2499494+8192 ~x2499493+4096 ~x2499492+2048 ~x2499491+1024 ~x2499490+512 ~x2499489+256 ~x2499488+128 ~x2499487+64 ~x2499486+32 ~x2499485+16 ~x2499484+8 ~x2499483+4 ~x2499482+2 ~x2499481+1 ~x2499480+548145201152 ~x2071+274072600576 ~x2070+137036300288 ~x2069+68518150144 ~x2068+34259075072 ~x2067+17129537536 ~x2066+8564768768 ~x2065+4282384384 ~x2064+2141192192 ~x2063+1070596096 ~x2062+535298048 ~x2061+267649024 ~x2060+133824512 ~x2059+66912256 ~x2058+33456128 ~x2057+16728064 ~x2056+8364032 ~x2055+4182016 ~x2054+2091008 ~x2053+1045504 ~x2052+522752 ~x2051+261376 ~x2050+130688 ~x2049+65344 ~x2048+32672 ~x2047+16336 ~x2046+8168 ~x2045+4084 ~x2044+2042 ~x2043+1021 ~x2042-0=2140506029058 57.67/57.71 c 549755813888 ~x2536164+274877906944 ~x2536163+137438953472 ~x2536162+68719476736 ~x2536161+34359738368 ~x2536160+17179869184 ~x2536159+8589934592 ~x2536158+4294967296 ~x2536157+2147483648 ~x2536156+1073741824 ~x2536155+536870912 ~x2536154+268435456 ~x2536153+134217728 ~x2536152+67108864 ~x2536151+33554432 ~x2536150+16777216 ~x2536149+8388608 ~x2536148+4194304 ~x2536147+2097152 ~x2536146+1048576 ~x2536145+524288 ~x2536144+262144 ~x2536143+131072 ~x2536142+65536 ~x2536141+32768 ~x2536140+16384 ~x2536139+8192 ~x2536138+4096 ~x2536137+2048 ~x2536136+1024 ~x2536135+512 ~x2536134+256 ~x2536133+128 ~x2536132+64 ~x2536131+32 ~x2536130+16 ~x2536129+8 ~x2536128+4 ~x2536127+2 ~x2536126+1 ~x2536125+258771779584 ~x2191+129385889792 ~x2190+64692944896 ~x2189+32346472448 ~x2188+16173236224 ~x2187+8086618112 ~x2186+4043309056 ~x2185+2021654528 ~x2184+1010827264 ~x2183+505413632 ~x2182+252706816 ~x2181+126353408 ~x2180+63176704 ~x2179+31588352 ~x2178+15794176 ~x2177+7897088 ~x2176+3948544 ~x2175+1974272 ~x2174+987136 ~x2173+493568 ~x2172+246784 ~x2171+123392 ~x2170+61696 ~x2169+30848 ~x2168+15424 ~x2167+7712 ~x2166+3856 ~x2165+1928 ~x2164+964 ~x2163+482 ~x2162+216358977536 ~x2161+108179488768 ~x2160+54089744384 ~x2159+27044872192 ~x2158+13522436096 ~x2157+6761218048 ~x2156+3380609024 ~x2155+1690304512 ~x2154+845152256 ~x2153+422576128 ~x2152+211288064 ~x2151+105644032 ~x2150+52822016 ~x2149+26411008 ~x2148+13205504 ~x2147+6602752 ~x2146+3301376 ~x2145+1650688 ~x2144+825344 ~x2143+412672 ~x2142+206336 ~x2141+103168 ~x2140+51584 ~x2139+25792 ~x2138+12896 ~x2137+6448 ~x2136+3224 ~x2135+1612 ~x2134+806 ~x2133+403 ~x2132-0=2022125141130 58.67/58.77 c 274877906944 ~x2586578+137438953472 ~x2586577+68719476736 ~x2586576+34359738368 ~x2586575+17179869184 ~x2586574+8589934592 ~x2586573+4294967296 ~x2586572+2147483648 ~x2586571+1073741824 ~x2586570+536870912 ~x2586569+268435456 ~x2586568+134217728 ~x2586567+67108864 ~x2586566+33554432 ~x2586565+16777216 ~x2586564+8388608 ~x2586563+4194304 ~x2586562+2097152 ~x2586561+1048576 ~x2586560+524288 ~x2586559+262144 ~x2586558+131072 ~x2586557+65536 ~x2586556+32768 ~x2586555+16384 ~x2586554+8192 ~x2586553+4096 ~x2586552+2048 ~x2586551+1024 ~x2586550+512 ~x2586549+256 ~x2586548+128 ~x2586547+64 ~x2586546+32 ~x2586545+16 ~x2586544+8 ~x2586543+4 ~x2586542+2 ~x2586541+1 ~x2586540+208842784768 ~x2191+104421392384 ~x2190+52210696192 ~x2189+26105348096 ~x2188+13052674048 ~x2187+6526337024 ~x2186+3263168512 ~x2185+1631584256 ~x2184+815792128 ~x2183+407896064 ~x2182+203948032 ~x2181+101974016 ~x2180+50987008 ~x2179+25493504 ~x2178+12746752 ~x2177+6373376 ~x2176+3186688 ~x2175+1593344 ~x2174+796672 ~x2173+398336 ~x2172+199168 ~x2171+99584 ~x2170+49792 ~x2169+24896 ~x2168+12448 ~x2167+6224 ~x2166+3112 ~x2165+1556 ~x2164+778 ~x2163+389 ~x2162-0=963173863034 59.47/59.52 c 268435456 ~x2622028+134217728 ~x2622027+67108864 ~x2622026+33554432 ~x2622025+16777216 ~x2622024+8388608 ~x2622023+4194304 ~x2622022+2097152 ~x2622021+1048576 ~x2622020+524288 ~x2622019+262144 ~x2622018+131072 ~x2622017+65536 ~x2622016+32768 ~x2622015+16384 ~x2622014+8192 ~x2622013+4096 ~x2622012+2048 ~x2622011+1024 ~x2622010+512 ~x2622009+256 ~x2622008+128 ~x2622007+64 ~x2622006+32 ~x2622005+16 ~x2622004+8 ~x2622003+4 ~x2622002+2 ~x2622001+1 ~x2622000+268435456 ~x2790+134217728 ~x2789+67108864 ~x2788+33554432 ~x2787+16777216 ~x2786+8388608 ~x2785+4194304 ~x2784+2097152 ~x2783+1048576 ~x2782+524288 ~x2781+262144 ~x2780+131072 ~x2779+65536 ~x2778+32768 ~x2777+16384 ~x2776+8192 ~x2775+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=919412734 59.87/59.93 c 2199023255552 ~x2641092+1099511627776 ~x2641091+549755813888 ~x2641090+274877906944 ~x2641089+137438953472 ~x2641088+68719476736 ~x2641087+34359738368 ~x2641086+17179869184 ~x2641085+8589934592 ~x2641084+4294967296 ~x2641083+2147483648 ~x2641082+1073741824 ~x2641081+536870912 ~x2641080+268435456 ~x2641079+134217728 ~x2641078+67108864 ~x2641077+33554432 ~x2641076+16777216 ~x2641075+8388608 ~x2641074+4194304 ~x2641073+2097152 ~x2641072+1048576 ~x2641071+524288 ~x2641070+262144 ~x2641069+131072 ~x2641068+65536 ~x2641067+32768 ~x2641066+16384 ~x2641065+8192 ~x2641064+4096 ~x2641063+2048 ~x2641062+1024 ~x2641061+512 ~x2641060+256 ~x2641059+128 ~x2641058+64 ~x2641057+32 ~x2641056+16 ~x2641055+8 ~x2641054+4 ~x2641053+2 ~x2641052+1 ~x2641051+1442572140544 ~x2521+721286070272 ~x2520+360643035136 ~x2519+180321517568 ~x2518+90160758784 ~x2517+45080379392 ~x2516+22540189696 ~x2515+11270094848 ~x2514+5635047424 ~x2513+2817523712 ~x2512+1408761856 ~x2511+704380928 ~x2510+352190464 ~x2509+176095232 ~x2508+88047616 ~x2507+44023808 ~x2506+22011904 ~x2505+11005952 ~x2504+5502976 ~x2503+2751488 ~x2502+1375744 ~x2501+687872 ~x2500+343936 ~x2499+171968 ~x2498+85984 ~x2497+42992 ~x2496+21496 ~x2495+10748 ~x2494+5374 ~x2493+2687 ~x2492-0=7234038789504 60.67/60.75 c 2199023255552 ~x2679209+1099511627776 ~x2679208+549755813888 ~x2679207+274877906944 ~x2679206+137438953472 ~x2679205+68719476736 ~x2679204+34359738368 ~x2679203+17179869184 ~x2679202+8589934592 ~x2679201+4294967296 ~x2679200+2147483648 ~x2679199+1073741824 ~x2679198+536870912 ~x2679197+268435456 ~x2679196+134217728 ~x2679195+67108864 ~x2679194+33554432 ~x2679193+16777216 ~x2679192+8388608 ~x2679191+4194304 ~x2679190+2097152 ~x2679189+1048576 ~x2679188+524288 ~x2679187+262144 ~x2679186+131072 ~x2679185+65536 ~x2679184+32768 ~x2679183+16384 ~x2679182+8192 ~x2679181+4096 ~x2679180+2048 ~x2679179+1024 ~x2679178+512 ~x2679177+256 ~x2679176+128 ~x2679175+64 ~x2679174+32 ~x2679173+16 ~x2679172+8 ~x2679171+4 ~x2679170+2 ~x2679169+1 ~x2679168+63887638528 ~x2791+31943819264 ~x2790+15971909632 ~x2789+7985954816 ~x2788+3992977408 ~x2787+1996488704 ~x2786+998244352 ~x2785+499122176 ~x2784+249561088 ~x2783+124780544 ~x2782+62390272 ~x2781+31195136 ~x2780+15597568 ~x2779+7798784 ~x2778+3899392 ~x2777+1949696 ~x2776+974848 ~x2775+487424 ~x2774+243712 ~x2773+121856 ~x2772+60928 ~x2771+30464 ~x2770+15232 ~x2769+7616 ~x2768+3808 ~x2767+1904 ~x2766+952 ~x2765+476 ~x2764+238 ~x2763+119 ~x2762+1461899493376 ~x2551+730949746688 ~x2550+365474873344 ~x2549+182737436672 ~x2548+91368718336 ~x2547+45684359168 ~x2546+22842179584 ~x2545+11421089792 ~x2544+5710544896 ~x2543+2855272448 ~x2542+1427636224 ~x2541+713818112 ~x2540+356909056 ~x2539+178454528 ~x2538+89227264 ~x2537+44613632 ~x2536+22306816 ~x2535+11153408 ~x2534+5576704 ~x2533+2788352 ~x2532+1394176 ~x2531+697088 ~x2530+348544 ~x2529+174272 ~x2528+87136 ~x2527+43568 ~x2526+21784 ~x2525+10892 ~x2524+5446 ~x2523+2723 ~x2522-0=7396372772069 61.97/62.07 c 2199023255552 ~x2741454+1099511627776 ~x2741453+549755813888 ~x2741452+274877906944 ~x2741451+137438953472 ~x2741450+68719476736 ~x2741449+34359738368 ~x2741448+17179869184 ~x2741447+8589934592 ~x2741446+4294967296 ~x2741445+2147483648 ~x2741444+1073741824 ~x2741443+536870912 ~x2741442+268435456 ~x2741441+134217728 ~x2741440+67108864 ~x2741439+33554432 ~x2741438+16777216 ~x2741437+8388608 ~x2741436+4194304 ~x2741435+2097152 ~x2741434+1048576 ~x2741433+524288 ~x2741432+262144 ~x2741431+131072 ~x2741430+65536 ~x2741429+32768 ~x2741428+16384 ~x2741427+8192 ~x2741426+4096 ~x2741425+2048 ~x2741424+1024 ~x2741423+512 ~x2741422+256 ~x2741421+128 ~x2741420+64 ~x2741419+32 ~x2741418+16 ~x2741417+8 ~x2741416+4 ~x2741415+2 ~x2741414+1 ~x2741413+63887638528 ~x2821+31943819264 ~x2820+15971909632 ~x2819+7985954816 ~x2818+3992977408 ~x2817+1996488704 ~x2816+998244352 ~x2815+499122176 ~x2814+249561088 ~x2813+124780544 ~x2812+62390272 ~x2811+31195136 ~x2810+15597568 ~x2809+7798784 ~x2808+3899392 ~x2807+1949696 ~x2806+974848 ~x2805+487424 ~x2804+243712 ~x2803+121856 ~x2802+60928 ~x2801+30464 ~x2800+15232 ~x2799+7616 ~x2798+3808 ~x2797+1904 ~x2796+952 ~x2795+476 ~x2794+238 ~x2793+119 ~x2792+268972326912 ~x2611+134486163456 ~x2610+67243081728 ~x2609+33621540864 ~x2608+16810770432 ~x2607+8405385216 ~x2606+4202692608 ~x2605+2101346304 ~x2604+1050673152 ~x2603+525336576 ~x2602+262668288 ~x2601+131334144 ~x2600+65667072 ~x2599+32833536 ~x2598+16416768 ~x2597+8208384 ~x2596+4104192 ~x2595+2052096 ~x2594+1026048 ~x2593+513024 ~x2592+256512 ~x2591+128256 ~x2590+64128 ~x2589+32064 ~x2588+16032 ~x2587+8016 ~x2586+4008 ~x2585+2004 ~x2584+1002 ~x2583+501 ~x2582+1461899493376 ~x2581+730949746688 ~x2580+365474873344 ~x2579+182737436672 ~x2578+91368718336 ~x2577+45684359168 ~x2576+22842179584 ~x2575+11421089792 ~x2574+5710544896 ~x2573+2855272448 ~x2572+1427636224 ~x2571+713818112 ~x2570+356909056 ~x2569+178454528 ~x2568+89227264 ~x2567+44613632 ~x2566+22306816 ~x2565+11153408 ~x2564+5576704 ~x2563+2788352 ~x2562+1394176 ~x2561+697088 ~x2560+348544 ~x2559+174272 ~x2558+87136 ~x2557+43568 ~x2556+21784 ~x2555+10892 ~x2554+5446 ~x2553+2723 ~x2552-0=7934317425392 63.78/63.82 c 2199023255552 ~x2824399+1099511627776 ~x2824398+549755813888 ~x2824397+274877906944 ~x2824396+137438953472 ~x2824395+68719476736 ~x2824394+34359738368 ~x2824393+17179869184 ~x2824392+8589934592 ~x2824391+4294967296 ~x2824390+2147483648 ~x2824389+1073741824 ~x2824388+536870912 ~x2824387+268435456 ~x2824386+134217728 ~x2824385+67108864 ~x2824384+33554432 ~x2824383+16777216 ~x2824382+8388608 ~x2824381+4194304 ~x2824380+2097152 ~x2824379+1048576 ~x2824378+524288 ~x2824377+262144 ~x2824376+131072 ~x2824375+65536 ~x2824374+32768 ~x2824373+16384 ~x2824372+8192 ~x2824371+4096 ~x2824370+2048 ~x2824369+1024 ~x2824368+512 ~x2824367+256 ~x2824366+128 ~x2824365+64 ~x2824364+32 ~x2824363+16 ~x2824362+8 ~x2824361+4 ~x2824360+2 ~x2824359+1 ~x2824358+489626271744 ~x2881+244813135872 ~x2880+122406567936 ~x2879+61203283968 ~x2878+30601641984 ~x2877+15300820992 ~x2876+7650410496 ~x2875+3825205248 ~x2874+1912602624 ~x2873+956301312 ~x2872+478150656 ~x2871+239075328 ~x2870+119537664 ~x2869+59768832 ~x2868+29884416 ~x2867+14942208 ~x2866+7471104 ~x2865+3735552 ~x2864+1867776 ~x2863+933888 ~x2862+466944 ~x2861+233472 ~x2860+116736 ~x2859+58368 ~x2858+29184 ~x2857+14592 ~x2856+7296 ~x2855+3648 ~x2854+1824 ~x2853+912 ~x2852+737123762176 ~x2611+368561881088 ~x2610+184280940544 ~x2609+92140470272 ~x2608+46070235136 ~x2607+23035117568 ~x2606+11517558784 ~x2605+5758779392 ~x2604+2879389696 ~x2603+1439694848 ~x2602+719847424 ~x2601+359923712 ~x2600+179961856 ~x2599+89980928 ~x2598+44990464 ~x2597+22495232 ~x2596+11247616 ~x2595+5623808 ~x2594+2811904 ~x2593+1405952 ~x2592+702976 ~x2591+351488 ~x2590+175744 ~x2589+87872 ~x2588+43936 ~x2587+21968 ~x2586+10984 ~x2585+5492 ~x2584+2746 ~x2583+1373 ~x2582-0=6823898576658 64.88/64.99 c 4398046511104 ~x2880247+2199023255552 ~x2880246+1099511627776 ~x2880245+549755813888 ~x2880244+274877906944 ~x2880243+137438953472 ~x2880242+68719476736 ~x2880241+34359738368 ~x2880240+17179869184 ~x2880239+8589934592 ~x2880238+4294967296 ~x2880237+2147483648 ~x2880236+1073741824 ~x2880235+536870912 ~x2880234+268435456 ~x2880233+134217728 ~x2880232+67108864 ~x2880231+33554432 ~x2880230+16777216 ~x2880229+8388608 ~x2880228+4194304 ~x2880227+2097152 ~x2880226+1048576 ~x2880225+524288 ~x2880224+262144 ~x2880223+131072 ~x2880222+65536 ~x2880221+32768 ~x2880220+16384 ~x2880219+8192 ~x2880218+4096 ~x2880217+2048 ~x2880216+1024 ~x2880215+512 ~x2880214+256 ~x2880213+128 ~x2880212+64 ~x2880211+32 ~x2880210+16 ~x2880209+8 ~x2880208+4 ~x2880207+2 ~x2880206+1 ~x2880205+994821799936 ~x2881+497410899968 ~x2880+248705449984 ~x2879+124352724992 ~x2878+62176362496 ~x2877+31088181248 ~x2876+15544090624 ~x2875+7772045312 ~x2874+3886022656 ~x2873+1943011328 ~x2872+971505664 ~x2871+485752832 ~x2870+242876416 ~x2869+121438208 ~x2868+60719104 ~x2867+30359552 ~x2866+15179776 ~x2865+7589888 ~x2864+3794944 ~x2863+1897472 ~x2862+948736 ~x2861+474368 ~x2860+237184 ~x2859+118592 ~x2858+59296 ~x2857+29648 ~x2856+14824 ~x2855+7412 ~x2854+3706 ~x2853+1853 ~x2852+1665910439936 ~x2641+832955219968 ~x2640+416477609984 ~x2639+208238804992 ~x2638+104119402496 ~x2637+52059701248 ~x2636+26029850624 ~x2635+13014925312 ~x2634+6507462656 ~x2633+3253731328 ~x2632+1626865664 ~x2631+813432832 ~x2630+406716416 ~x2629+203358208 ~x2628+101679104 ~x2627+50839552 ~x2626+25419776 ~x2625+12709888 ~x2624+6354944 ~x2623+3177472 ~x2622+1588736 ~x2621+794368 ~x2620+397184 ~x2619+198592 ~x2618+99296 ~x2617+49648 ~x2616+24824 ~x2615+12412 ~x2614+6206 ~x2613+3103 ~x2612-0=14100487416995 66.27/66.31 c 1099511627776 ~x2943214+549755813888 ~x2943213+274877906944 ~x2943212+137438953472 ~x2943211+68719476736 ~x2943210+34359738368 ~x2943209+17179869184 ~x2943208+8589934592 ~x2943207+4294967296 ~x2943206+2147483648 ~x2943205+1073741824 ~x2943204+536870912 ~x2943203+268435456 ~x2943202+134217728 ~x2943201+67108864 ~x2943200+33554432 ~x2943199+16777216 ~x2943198+8388608 ~x2943197+4194304 ~x2943196+2097152 ~x2943195+1048576 ~x2943194+524288 ~x2943193+262144 ~x2943192+131072 ~x2943191+65536 ~x2943190+32768 ~x2943189+16384 ~x2943188+8192 ~x2943187+4096 ~x2943186+2048 ~x2943185+1024 ~x2943184+512 ~x2943183+256 ~x2943182+128 ~x2943181+64 ~x2943180+32 ~x2943179+16 ~x2943178+8 ~x2943177+4 ~x2943176+2 ~x2943175+1 ~x2943174+270046068736 ~x2791+135023034368 ~x2790+67511517184 ~x2789+33755758592 ~x2788+16877879296 ~x2787+8438939648 ~x2786+4219469824 ~x2785+2109734912 ~x2784+1054867456 ~x2783+527433728 ~x2782+263716864 ~x2781+131858432 ~x2780+65929216 ~x2779+32964608 ~x2778+16482304 ~x2777+8241152 ~x2776+4120576 ~x2775+2060288 ~x2774+1030144 ~x2773+515072 ~x2772+257536 ~x2771+128768 ~x2770+64384 ~x2769+32192 ~x2768+16096 ~x2767+8048 ~x2766+4024 ~x2765+2012 ~x2764+1006 ~x2763+503 ~x2762+657666867200 ~x2521+328833433600 ~x2520+164416716800 ~x2519+82208358400 ~x2518+41104179200 ~x2517+20552089600 ~x2516+10276044800 ~x2515+5138022400 ~x2514+2569011200 ~x2513+1284505600 ~x2512+642252800 ~x2511+321126400 ~x2510+160563200 ~x2509+80281600 ~x2508+40140800 ~x2507+20070400 ~x2506+10035200 ~x2505+5017600 ~x2504+2508800 ~x2503+1254400 ~x2502+627200 ~x2501+313600 ~x2500+156800 ~x2499+78400 ~x2498+39200 ~x2497+19600 ~x2496+9800 ~x2495+4900 ~x2494+2450 ~x2493+1225 ~x2492-0=4042161125695 67.37/67.45 c 2199023255552 ~x2997573+1099511627776 ~x2997572+549755813888 ~x2997571+274877906944 ~x2997570+137438953472 ~x2997569+68719476736 ~x2997568+34359738368 ~x2997567+17179869184 ~x2997566+8589934592 ~x2997565+4294967296 ~x2997564+2147483648 ~x2997563+1073741824 ~x2997562+536870912 ~x2997561+268435456 ~x2997560+134217728 ~x2997559+67108864 ~x2997558+33554432 ~x2997557+16777216 ~x2997556+8388608 ~x2997555+4194304 ~x2997554+2097152 ~x2997553+1048576 ~x2997552+524288 ~x2997551+262144 ~x2997550+131072 ~x2997549+65536 ~x2997548+32768 ~x2997547+16384 ~x2997546+8192 ~x2997545+4096 ~x2997544+2048 ~x2997543+1024 ~x2997542+512 ~x2997541+256 ~x2997540+128 ~x2997539+64 ~x2997538+32 ~x2997537+16 ~x2997536+8 ~x2997535+4 ~x2997534+2 ~x2997533+1 ~x2997532+83214991360 ~x2791+41607495680 ~x2790+20803747840 ~x2789+10401873920 ~x2788+5200936960 ~x2787+2600468480 ~x2786+1300234240 ~x2785+650117120 ~x2784+325058560 ~x2783+162529280 ~x2782+81264640 ~x2781+40632320 ~x2780+20316160 ~x2779+10158080 ~x2778+5079040 ~x2777+2539520 ~x2776+1269760 ~x2775+634880 ~x2774+317440 ~x2773+158720 ~x2772+79360 ~x2771+39680 ~x2770+19840 ~x2769+9920 ~x2768+4960 ~x2767+2480 ~x2766+1240 ~x2765+620 ~x2764+310 ~x2763+155 ~x2762+1714228822016 ~x2551+857114411008 ~x2550+428557205504 ~x2549+214278602752 ~x2548+107139301376 ~x2547+53569650688 ~x2546+26784825344 ~x2545+13392412672 ~x2544+6696206336 ~x2543+3348103168 ~x2542+1674051584 ~x2541+837025792 ~x2540+418512896 ~x2539+209256448 ~x2538+104628224 ~x2537+52314112 ~x2536+26157056 ~x2535+13078528 ~x2534+6539264 ~x2533+3269632 ~x2532+1634816 ~x2531+817408 ~x2530+408704 ~x2529+204352 ~x2528+102176 ~x2527+51088 ~x2526+25544 ~x2525+12772 ~x2524+6386 ~x2
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673777-1276800007/watcher-2673777-1276800007 -o /tmp/evaluation-result-2673777-1276800007/solver-2673777-1276800007 -C 1800 -W 2000 -M 1800 run HOME/instance-2673777-1276800007.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 0.99 0.97 3/105 24206 /proc/meminfo: memFree=1881392/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [startup+0.047941 s] /proc/loadavg: 1.03 0.99 0.97 3/105 24206 /proc/meminfo: memFree=1881392/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100946 s] /proc/loadavg: 1.03 0.99 0.97 3/105 24206 /proc/meminfo: memFree=1881392/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300968 s] /proc/loadavg: 1.03 0.99 0.97 3/105 24206 /proc/meminfo: memFree=1881392/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701013 s] /proc/loadavg: 1.03 0.99 0.97 3/105 24206 /proc/meminfo: memFree=1881392/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5011 s] /proc/loadavg: 1.03 0.99 0.97 2/107 24209 /proc/meminfo: memFree=1721912/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [pid=24208] ppid=24206 vsize=236676 CPUtime=1.49 /proc/24208/stat : 24208 (PBPASSolver) R 24206 24206 23411 0 -1 4202496 58840 0 0 0 60 89 0 0 25 0 1 0 21294231 242356224 58609 1992294400 134512640 134902295 4290147408 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24208/statm: 59169 58609 256 96 0 58381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 245376 [startup+3.10029 s] /proc/loadavg: 1.03 0.99 0.97 2/107 24209 /proc/meminfo: memFree=1562448/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [pid=24208] ppid=24206 vsize=458756 CPUtime=3.08 /proc/24208/stat : 24208 (PBPASSolver) R 24206 24206 23411 0 -1 4202496 114333 0 0 0 135 173 0 0 25 0 1 0 21294231 469766144 114102 1992294400 134512640 134902295 4290147408 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24208/statm: 114689 114102 256 96 0 113901 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 467456 [startup+6.30065 s] /proc/loadavg: 1.03 0.99 0.97 2/107 24209 /proc/meminfo: memFree=1334412/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [pid=24208] ppid=24206 vsize=568776 CPUtime=6.28 /proc/24208/stat : 24208 (PBPASSolver) R 24206 24206 23411 0 -1 4202496 151036 0 0 0 424 204 0 0 25 0 1 0 21294231 582426624 140966 1992294400 134512640 134902295 4290147408 18446744073709551615 4160678820 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24208/statm: 142194 140966 262 96 0 141406 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 577476 [startup+12.7014 s] /proc/loadavg: 1.02 0.99 0.97 2/107 24209 /proc/meminfo: memFree=1221944/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [pid=24208] ppid=24206 vsize=679012 CPUtime=12.69 /proc/24208/stat : 24208 (PBPASSolver) R 24206 24206 23411 0 -1 4202496 183561 0 0 0 1050 219 0 0 25 0 1 0 21294231 695308288 167603 1992294400 134512640 134902295 4290147408 18446744073709551615 4160678275 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24208/statm: 169753 167603 262 96 0 168965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 687712 [startup+25.5018 s] /proc/loadavg: 1.02 0.99 0.97 2/107 24211 /proc/meminfo: memFree=980144/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [pid=24208] ppid=24206 vsize=917644 CPUtime=25.49 /proc/24208/stat : 24208 (PBPASSolver) R 24206 24206 23411 0 -1 4202496 252175 0 0 0 2300 249 0 0 25 0 1 0 21294231 939667456 226214 1992294400 134512640 134902295 4290147408 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24208/statm: 229411 226214 262 96 0 228623 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 926344 [startup+51.1017 s] /proc/loadavg: 1.01 0.99 0.97 2/107 24211 /proc/meminfo: memFree=476084/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [pid=24208] ppid=24206 vsize=1437980 CPUtime=51.08 /proc/24208/stat : 24208 (PBPASSolver) R 24206 24206 23411 0 -1 4202496 381894 0 0 0 4805 303 0 0 25 0 1 0 21294231 1472491520 353477 1992294400 134512640 134902295 4290147408 18446744073709551615 134813648 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24208/statm: 359495 353477 262 96 0 358707 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1446680 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+68.4017 s] /proc/loadavg: 1.01 0.99 0.97 2/107 24211 /proc/meminfo: memFree=96396/2059040 swapFree=4139544/4192956 [pid=24206] ppid=24204 vsize=8700 CPUtime=0 /proc/24206/stat : 24206 (run) S 24204 24206 23411 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21294231 8908800 251 1992294400 4194304 4922060 140735328908304 18446744073709551615 235217198213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24206/statm: 2175 251 211 178 0 68 0 [pid=24208] ppid=24206 vsize=1840296 CPUtime=68.38 /proc/24208/stat : 24208 (PBPASSolver) R 24206 24206 23411 0 -1 4202496 476008 0 0 0 6498 340 0 0 25 0 1 0 21294231 1884463104 445447 1992294400 134512640 134902295 4290147408 18446744073709551615 1967971 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24208/statm: 460074 445447 262 96 0 459286 0 Current children cumulated CPU time (s) 68.38 Current children cumulated vsize (KiB) 1848996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24206 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 68.38 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 68.4149 CPU time (s): 68.38 CPU user time (s): 64.98 CPU system time (s): 3.4 CPU usage (%): 99.949 Max. virtual memory (cumulated for all children) (KiB): 1848996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 525 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3 runsolver used 0.123981 second user time and 0.336948 second system time The end
Begin job on node088 at 2010-06-17 20:40:07 IDJOB=2673777 IDBENCH=2457 IDSOLVER=1174 FILE ID=node088/2673777-1276800007 PBS_JOBID= 11176666 Free space on /tmp= 62560 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673777-1276800007/watcher-2673777-1276800007 -o /tmp/evaluation-result-2673777-1276800007/solver-2673777-1276800007 -C 1800 -W 2000 -M 1800 run HOME/instance-2673777-1276800007.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4f19aa044e880280faec0077a2509ba8 RANDOM SEED=242693115 node088.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.217 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1881912 kB Buffers: 3864 kB Cached: 86252 kB SwapCached: 5536 kB Active: 14952 kB Inactive: 87252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1881912 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 1512 kB Writeback: 0 kB AnonPages: 10660 kB Mapped: 12876 kB Slab: 53064 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181016 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= 62556 MiB End job on node088 at 2010-06-17 20:41:17