30.98/31.01	c 5383 3279 0 0 0 0 0 0
30.98/31.01	c 1048576 ~x1405550+524288 ~x1405549+262144 ~x1405548+131072 ~x1405547+65536 ~x1405546+32768 ~x1405545+16384 ~x1405544+8192 ~x1405543+4096 ~x1405542+2048 ~x1405541+1024 ~x1405540+512 ~x1405539+256 ~x1405538+128 ~x1405537+64 ~x1405536+32 ~x1405535+16 ~x1405534+8 ~x1405533+4 ~x1405532+2 ~x1405531+1 ~x1405530+18080 x2148+9950 ~x630+9950 ~x629+11950 ~x628+9950 ~x627+5000 ~x626+4900 ~x624+5800 ~x623+5600 ~x622+4800 ~x621+7400 ~x620+4631 ~x619+8900 ~x618+8900 ~x617+8900 ~x616+8900 ~x615+8900 ~x613+9950 ~x612+4970 ~x611+9950 ~x610+4970 ~x609+4970 ~x608+9950 ~x607+9950 ~x606+4970 ~x605+4970 ~x604+6900 ~x602+9900 ~x601+9900 ~x600+9900 ~x599+9950 ~x598+1909 ~x597+5600 ~x596+8200 ~x595+11900 ~x594+2840 ~x593+14900 ~x591+5960 ~x590+4970 ~x589+4970 ~x588+4970 ~x587+4970 ~x586+6960 ~x585+9950 ~x584+9950 ~x583+9900 ~x582+9900 ~x580+9900 ~x579+9900 ~x578+9900 ~x577+9900 ~x576+9900 ~x575+9900 ~x574+9900 ~x573+9900 ~x572+9900 ~x571+9900 ~x569+9900 ~x568+9900 ~x567+9900 ~x566+3900 ~x565+6000 ~x564+15000 ~x563+14500 ~x562+15000 ~x561+15000 ~x560+15000 ~x557+17000 ~x556+20000 ~x555+15000 ~x554+15000 ~x553+20000 ~x552+20000 ~x551+15000 ~x550+15000 ~x549+15000 ~x548+9000 ~x546+9000 ~x545+9000 ~x544+13000 ~x543+9000 ~x542+13000 ~x541+9000 ~x540+15000 ~x539+9300 ~x538+9300 ~x537+9300 ~x535+15000 ~x534+12000 ~x533+15000 ~x532+12500 ~x531+2057 ~x530+13900 ~x529+10500 ~x528+10500 ~x527+10500 ~x526+11000 ~x524+6000 ~x523+13900 ~x522+12700 ~x521+10000 ~x520+10000 ~x519+10000 ~x518+10000 ~x517+10000 ~x516+11000 ~x515+10000 ~x513+15000 ~x512+15000 ~x511+15000 ~x510+10000 ~x509+12000 ~x508+6000 ~x507+7000 ~x506+15000 ~x505+10000 ~x504+12000 ~x502+6000 ~x501+6000 ~x500+13900 ~x499+12000 ~x498+12000 ~x497+12000 ~x496+12000 ~x495+12000 ~x494+12000 ~x493+12000 ~x491+6000 ~x490+12700 ~x489+15000 ~x488+5000 ~x487+15000 ~x486+15000 ~x485+10000 ~x484+15000 ~x483+10000 ~x482+15000 ~x480+14000 ~x479+15000 ~x478+5000 ~x477+5000 ~x476+10000 ~x475+13700 ~x474+10000 ~x473+18000 ~x472+10000 ~x471+17500 ~x469+15000 ~x468+15000 ~x467+15000 ~x466+5300 ~x465+8900 ~x464+12000 ~x463+10000 ~x462+5000 ~x461+5000 ~x460+17500 ~x458+15000 ~x457+10000 ~x456+12000 ~x455+15000 ~x454+5000 ~x453+10000 ~x452+15000 ~x451+16500 ~x450+10000 ~x449+10000 ~x446+5000 ~x445+10000 ~x444+5000 ~x443+15000 ~x442+10000 ~x441+5000 ~x440+15000 ~x439+10000 ~x438+16500 ~x437+5000 ~x435+10000 ~x434+20000 ~x433+10000 ~x432+7200 ~x431+10000 ~x430+5000 ~x429+10000 ~x428+15000 ~x427+10000 ~x426+5000 ~x424+10000 ~x423+15000 ~x422+15000 ~x421-0=4075888
31.88/31.93	c 8 ~x1449762+4 ~x1449761+2 ~x1449760+1 ~x1449759+1 ~x5195+1 ~x5008+1 ~x4985+1 ~x3950+1 ~x2472+1 ~x1721+1 ~x1530+1 ~x1364+1 ~x1149+1 ~x906+1 ~x660+1 ~x455+1 ~x245+1 ~x35-0=28
31.88/31.95	c 8 ~x1450217+4 ~x1450216+2 ~x1450215+1 ~x1450214+1 ~x5196+1 ~x5019+1 ~x4987+1 ~x3961+1 ~x2483+1 ~x1531+1 ~x1365+1 ~x1150+1 ~x907+1 ~x661+1 ~x456+1 ~x246+1 ~x36-0=27
31.88/31.96	c 4 ~x1450641+2 ~x1450640+1 ~x1450639+1 ~x5198+1 ~x5030+1 ~x1532+1 ~x1151+1 ~x908+1 ~x662-0=12
31.88/31.96	c 8 ~x1450790+4 ~x1450789+2 ~x1450788+1 ~x1450787+1 ~x5199+1 ~x4988+1 ~x3972+1 ~x2040+1 ~x2011+1 ~x1845+1 ~x1533+1 ~x1366+1 ~x909+1 ~x457+1 ~x247+1 ~x38-0=26
31.97/32.00	c 8 ~x1451185+4 ~x1451184+2 ~x1451183+1 ~x1451182+1 ~x5200+1 ~x5041+1 ~x4989+1 ~x3983+1 ~x2494+1 ~x2012+1 ~x1937+1 ~x1846+1 ~x1722+1 ~x1534+1 ~x1367+1 ~x910+1 ~x458+1 ~x249+1 ~x39-0=29
31.97/32.00	c 128 ~x1451743+64 ~x1451742+32 ~x1451741+16 ~x1451740+8 ~x1451739+4 ~x1451738+2 ~x1451737+1 ~x1451736+1 ~x2934+1 ~x2933+1 ~x2932+1 ~x2931+1 ~x2930+1 ~x2929+1 ~x2928+1 ~x2926+1 ~x2925+1 ~x2924+1 ~x2923+1 ~x2922+1 ~x2921+1 ~x2920+1 ~x2919+1 ~x2918+1 ~x2917+1 ~x2915+1 ~x2914+1 ~x2913+1 ~x2912+1 ~x2911+1 ~x2910+1 ~x2909+1 ~x2908+1 ~x2907+1 ~x2906+1 ~x2904+1 ~x2903+1 ~x2902+1 ~x2901+1 ~x2900+1 ~x2899+1 ~x2898+1 ~x2897+1 ~x2896+1 ~x2895+1 ~x2893+1 ~x2892+1 ~x2891+1 ~x2890+1 ~x2889+1 ~x2888+1 ~x2887+1 ~x2886+1 ~x2885+1 ~x2884+1 ~x2882+1 ~x2881+1 ~x2880+1 ~x2879+1 ~x2878+1 ~x2877+1 ~x2876+1 ~x2875+1 ~x2874+1 ~x2873+1 ~x2871+1 ~x2870+1 ~x2869+1 ~x2868+1 ~x2867+1 ~x2866+1 ~x2865+1 ~x2864+1 ~x2863+1 ~x2862+1 ~x2860+1 ~x2859+1 ~x2858+1 ~x2857+1 ~x2856+1 ~x2855+1 ~x2854+1 ~x2853+1 ~x2852+1 ~x2851+1 ~x2849+1 ~x2848+1 ~x2847+1 ~x2846+1 ~x2845+1 ~x2844+1 ~x2843+1 ~x2842+1 ~x2841+1 ~x2840+1 ~x2837+1 ~x2836+1 ~x2835+1 ~x2834+1 ~x2833+1 ~x2832+1 ~x2831+1 ~x2830+1 ~x2829+1 ~x2828+1 ~x2826+1 ~x2825+1 ~x2824+1 ~x2823+1 ~x2822+1 ~x2821+1 ~x2820+1 ~x2819+1 ~x2818+1 ~x2817+1 ~x2815+1 ~x2814+1 ~x2813+1 ~x2812+1 ~x2811+1 ~x2810+1 ~x2809+1 ~x2808+1 ~x2807+1 ~x2806+1 ~x2804+1 ~x2803+1 ~x2802+1 ~x2801+1 ~x2800+1 ~x2799+1 ~x2798+1 ~x2797+1 ~x2796+1 ~x2795+1 ~x2793+1 ~x2792+1 ~x2791+1 ~x2790+1 ~x2789+1 ~x2788+1 ~x2787+1 ~x2786+1 ~x2785+1 ~x2784+1 ~x2782+1 ~x2781+1 ~x2780+1 ~x2779+1 ~x2778+1 ~x2777+1 ~x2776+1 ~x2775+1 ~x2774+1 ~x2773+1 ~x2771+1 ~x2770+1 ~x2769+1 ~x2768+1 ~x2767+1 ~x2766+1 ~x2765+1 ~x2764+1 ~x2763-0=409
32.16/32.27	c 2 ~x1464081+1 ~x1464080+1 ~x5086+1 ~x1535+1 ~x911+1 ~x663-0=6
32.16/32.28	c 2097152 ~x1464186+1048576 ~x1464185+524288 ~x1464184+262144 ~x1464183+131072 ~x1464182+65536 ~x1464181+32768 ~x1464180+16384 ~x1464179+8192 ~x1464178+4096 ~x1464177+2048 ~x1464176+1024 ~x1464175+512 ~x1464174+256 ~x1464173+128 ~x1464172+64 ~x1464171+32 ~x1464170+16 ~x1464169+8 ~x1464168+4 ~x1464167+2 ~x1464166+1 ~x1464165+20880 x2149+5000 ~x867+4900 ~x866+4800 ~x865+7400 ~x864+4631 ~x863+8900 ~x862+8900 ~x861+9900 ~x860+9900 ~x859+9950 ~x857+4970 ~x856+9950 ~x855+4970 ~x854+4970 ~x853+4970 ~x852+9950 ~x851+9950 ~x850+4970 ~x849+4970 ~x848+4970 ~x846+4970 ~x845+6900 ~x844+9900 ~x843+9900 ~x842+9900 ~x841+10000 ~x840+8200 ~x839+9900 ~x838+2840 ~x837+2908 ~x835+5960 ~x834+4970 ~x833+4970 ~x832+4970 ~x831+4970 ~x830+4970 ~x829+4970 ~x828+4970 ~x827+6960 ~x826+9950 ~x824+9950 ~x823+4970 ~x822+9900 ~x821+9900 ~x820+9900 ~x819+9900 ~x818+9900 ~x817+9900 ~x816+9900 ~x815+9900 ~x813+9900 ~x812+9900 ~x811+9900 ~x810+9900 ~x809+9900 ~x808+9900 ~x807+3900 ~x806+6000 ~x805+15000 ~x804+15000 ~x802+14500 ~x801+15000 ~x800+15000 ~x799+15000 ~x798+17000 ~x797+15000 ~x796+15000 ~x795+15000 ~x794+15000 ~x793+15000 ~x791+15000 ~x790+15000 ~x789+15000 ~x788+15000 ~x787+15000 ~x786+20000 ~x785+20000 ~x784+15000 ~x783+15000 ~x782+15000 ~x779+9000 ~x778+9000 ~x777+9000 ~x776+13000 ~x775+9000 ~x774+13000 ~x773+9000 ~x772+15000 ~x771+15000 ~x770+9300 ~x768+9300 ~x767+9300 ~x766+13000 ~x765+13000 ~x764+20000 ~x763+20000 ~x762+15000 ~x761+15000 ~x760+15000 ~x759+13000 ~x757+12000 ~x756+10000 ~x755+15000 ~x754+15000 ~x753+8000 ~x752+15000 ~x751+12500 ~x750+2057 ~x749+15000 ~x748+13900 ~x746+10500 ~x745+10500 ~x744+10500 ~x743+11000 ~x742+6000 ~x741+13900 ~x740+12700 ~x739+13000 ~x738+10000 ~x737+10000 ~x735+10000 ~x734+10000 ~x733+10000 ~x732+11000 ~x731+10000 ~x730+10000 ~x729+15000 ~x728+10000 ~x727+15000 ~x726+15000 ~x724+10000 ~x723+13000 ~x722+12000 ~x721+6000 ~x720+7000 ~x719+15000 ~x718+10000 ~x717+12000 ~x716+6000 ~x715+6000 ~x713+13900 ~x712+12000 ~x711+12000 ~x710+12000 ~x709+12000 ~x708+12000 ~x707+12000 ~x706+12000 ~x705+6000 ~x704+12700 ~x702+13200 ~x701+5000 ~x700+5000 ~x699+10000 ~x698+10000 ~x697+15000 ~x696+15000 ~x695+15000 ~x694+15000 ~x693+15000 ~x691+15000 ~x690+15000 ~x689+15000 ~x688+14000 ~x687+15000 ~x686+5000 ~x685+5000 ~x684+10000 ~x683+13700 ~x682+10000 ~x680+18000 ~x679+6400 ~x678+10000 ~x677+10000 ~x676+10000 ~x675+15000 ~x674+5300 ~x673+15000 ~x672+15000 ~x671+5000 ~x668+5000 ~x667+15000 ~x666+10000 ~x665+5000 ~x664+5000 ~x663+10000 ~x662+10000 ~x661+12000 ~x660+10000 ~x659+5000 ~x657+5000 ~x656+6500 ~x655+15000 ~x654+10000 ~x653+10000 ~x652+5000 ~x651+15000 ~x650+10000 ~x649+5000 ~x648+12000 ~x646+15000 ~x645+15000 ~x644+10000 ~x643+5000 ~x642+10000 ~x641+7200 ~x640+10000 ~x639+10000 ~x638+5000 ~x637+10000 ~x635+15000 ~x634+10000 ~x633+15000 ~x632+15000 ~x631-0=6458579
33.27/33.36	c 8 ~x1514899+4 ~x1514898+2 ~x1514897+1 ~x1514896+1 ~x5201+1 ~x5097+1 ~x4990+1 ~x3994+1 ~x2506+1 ~x1938+1 ~x1848+1 ~x1724+1 ~x1537+1 ~x1368+1 ~x1153+1 ~x912+1 ~x664+1 ~x460+1 ~x250+1 ~x40-0=30
33.27/33.36	c 8 ~x1515461+4 ~x1515460+2 ~x1515459+1 ~x1515458+1 ~x5108+1 ~x4991+1 ~x4005+1 ~x2517+1 ~x2099+1 ~x2082+1 ~x2060+1 ~x1849+1 ~x461+1 ~x251+1 ~x41-0=25
33.27/33.37	c 4 ~x1515825+2 ~x1515824+1 ~x1515823+1 ~x5202+1 ~x5119+1 ~x1154+1 ~x913+1 ~x665-0=11
33.27/33.37	c 4 ~x1515949+2 ~x1515948+1 ~x1515947+1 ~x5203+1 ~x5130+1 ~x1155+1 ~x915+1 ~x666-0=11
33.27/33.39	c 2 ~x1516072+1 ~x1516071+1 ~x5141+1 ~x1538+1 ~x916+1 ~x667-0=6
33.27/33.39	c 2 ~x1516147+1 ~x1516146+1 ~x5152+1 ~x1539+1 ~x917+1 ~x668-0=6
33.27/33.39	c 8 ~x1516234+4 ~x1516233+2 ~x1516232+1 ~x1516231+1 ~x5204+1 ~x5164+1 ~x4992+1 ~x4016+1 ~x2528+1 ~x2041+1 ~x2013+1 ~x1939+1 ~x1850+1 ~x1726+1 ~x1540+1 ~x1369+1 ~x918+1 ~x462+1 ~x252+1 ~x42-0=30
33.37/33.40	c 8 ~x1516796+4 ~x1516795+2 ~x1516794+1 ~x1516793+1 ~x5205+1 ~x5175+1 ~x4993+1 ~x4027+1 ~x2539+1 ~x2015+1 ~x1940+1 ~x1851+1 ~x1727+1 ~x1541+1 ~x1371+1 ~x919+1 ~x463+1 ~x253+1 ~x43-0=29
33.37/33.45	c 8 ~x1517322+4 ~x1517321+2 ~x1517320+1 ~x1517319+1 ~x5206+1 ~x5186+1 ~x4994+1 ~x4038+1 ~x2550+1 ~x2016+1 ~x1941+1 ~x1852+1 ~x1728+1 ~x1542+1 ~x1372+1 ~x920+1 ~x464+1 ~x254+1 ~x44-0=29
33.37/33.45	c 2097152 ~x1517866+1048576 ~x1517865+524288 ~x1517864+262144 ~x1517863+131072 ~x1517862+65536 ~x1517861+32768 ~x1517860+16384 ~x1517859+8192 ~x1517858+4096 ~x1517857+2048 ~x1517856+1024 ~x1517855+512 ~x1517854+256 ~x1517853+128 ~x1517852+64 ~x1517851+32 ~x1517850+16 ~x1517849+8 ~x1517848+4 ~x1517847+2 ~x1517846+1 ~x1517845+19710 x2150+11950 ~x1120+5000 ~x1119+4900 ~x1118+5600 ~x1117+4800 ~x1116+7400 ~x1112+4631 ~x1111+8900 ~x1110+8900 ~x1109+8900 ~x1108+8900 ~x1107+9900 ~x1106+9900 ~x1105+9900 ~x1104+9900 ~x1103+9950 ~x1101+4970 ~x1100+9950 ~x1099+4970 ~x1098+4970 ~x1097+9950 ~x1096+9950 ~x1095+4970 ~x1094+4970 ~x1093+6900 ~x1092+9900 ~x1090+9900 ~x1089+9900 ~x1088+5600 ~x1087+8200 ~x1086+9900 ~x1085+2840 ~x1084+2908 ~x1083+14900 ~x1082+5960 ~x1081+4970 ~x1079+4970 ~x1078+4970 ~x1077+4970 ~x1076+6960 ~x1075+9950 ~x1074+9950 ~x1073+9900 ~x1072+9900 ~x1071+9900 ~x1070+9900 ~x1068+9900 ~x1067+9900 ~x1066+9900 ~x1065+9900 ~x1064+9900 ~x1063+9900 ~x1062+9900 ~x1061+9900 ~x1060+9900 ~x1059+9900 ~x1057+9900 ~x1056+3900 ~x1055+6000 ~x1054+15000 ~x1053+14500 ~x1052+15000 ~x1051+15000 ~x1050+15000 ~x1049+17000 ~x1048+20000 ~x1046+15000 ~x1045+15000 ~x1044+15000 ~x1043+15000 ~x1042+15000 ~x1041+15000 ~x1040+15000 ~x1039+15000 ~x1038+15000 ~x1037+20000 ~x1035+20000 ~x1034+15000 ~x1033+15000 ~x1032+15000 ~x1031+9000 ~x1030+9000 ~x1029+9000 ~x1028+13000 ~x1027+9000 ~x1026+13000 ~x1024+9000 ~x1023+15000 ~x1022+15000 ~x1021+9300 ~x1020+9300 ~x1019+9300 ~x1018+13000 ~x1017+13000 ~x1016+20000 ~x1015+20000 ~x1013+15000 ~x1012+15000 ~x1011+15000 ~x1010+13000 ~x1009+12000 ~x1008+10000 ~x1007+15000 ~x1006+15000 ~x1005+8000 ~x1004+12500 ~x1001+2057 ~x1000+13900 ~x999+10500 ~x998+10500 ~x997+10500 ~x996+11000 ~x995+6000 ~x994+13900 ~x993+12700 ~x992+13000 ~x990+10000 ~x989+10000 ~x988+10000 ~x987+10000 ~x986+10000 ~x985+11000 ~x984+10000 ~x983+15000 ~x982+15000 ~x981+15000 ~x979+10000 ~x978+13000 ~x977+12000 ~x976+6000 ~x975+7000 ~x974+15000 ~x973+10000 ~x972+12000 ~x971+6000 ~x970+6000 ~x968+13900 ~x967+12000 ~x966+12000 ~x965+12000 ~x964+12000 ~x963+12000 ~x962+12000 ~x961+12000 ~x960+6000 ~x959+12700 ~x957+13200 ~x956+5000 ~x955+5000 ~x954+15000 ~x953+5000 ~x952+15000 ~x951+15000 ~x950+10000 ~x949+10000 ~x948+15000 ~x946+15000 ~x945+15000 ~x944+15000 ~x943+15000 ~x942+15000 ~x941+15000 ~x940+15000 ~x939+14000 ~x938+15000 ~x937+5000 ~x935+5000 ~x934+10000 ~x933+13700 ~x932+10000 ~x931+18000 ~x930+10000 ~x929+17500 ~x928+10000 ~x927+10000 ~x926+15000 ~x924+5300 ~x923+15000 ~x922+15000 ~x921+8900 ~x920+12000 ~x919+10000 ~x918+5000 ~x917+5000 ~x916+15000 ~x915+10000 ~x913+5000 ~x912+5000 ~x911+17500 ~x910+15000 ~x909+10000 ~x908+10000 ~x907+12000 ~x906+10000 ~x905+15000 ~x904+5000 ~x902+5000 ~x901+15000 ~x900+10000 ~x899+10000 ~x898+5000 ~x897+10000 ~x896+5000 ~x895+9000 ~x894+15000 ~x893+10000 ~x890+5000 ~x889+12000 ~x888+15000 ~x887+15000 ~x886+10000 ~x885+5000 ~x884+10000 ~x883+20000 ~x882+10000 ~x881+7200 ~x879+10000 ~x878+10000 ~x877+5000 ~x876+15000 ~x875+10000 ~x874+15000 ~x873+10000 ~x872+10000 ~x871+15000 ~x870+15000 ~x868-0=6651339
34.47/34.59	c 2 ~x1571193+1 ~x1571192+1 ~x5197+1 ~x1543+1 ~x921+1 ~x671-0=6
34.47/34.59	c 2 ~x1571268+1 ~x1571267+1 ~x5208+1 ~x1544+1 ~x922+1 ~x672-0=6
34.47/34.59	c 8 ~x1571345+4 ~x1571344+2 ~x1571343+1 ~x1571342+1 ~x5219+1 ~x5207+1 ~x4995+1 ~x4049+1 ~x2561+1 ~x1942+1 ~x1853+1 ~x1729+1 ~x1545+1 ~x1373+1 ~x1156+1 ~x923+1 ~x673+1 ~x465+1 ~x255+1 ~x45-0=30
34.56/34.63	c 8 ~x1571907+4 ~x1571906+2 ~x1571905+1 ~x1571904+1 ~x5230+1 ~x5209+1 ~x4996+1 ~x4061+1 ~x2572+1 ~x1943+1 ~x1854+1 ~x1730+1 ~x1546+1 ~x1374+1 ~x1157+1 ~x924+1 ~x674+1 ~x466+1 ~x256+1 ~x46-0=30
34.56/34.63	c 4 ~x1572468+2 ~x1572467+1 ~x1572466+1 ~x5241+1 ~x5210+1 ~x1731+1 ~x1548+1 ~x1158+1 ~x926+1 ~x675-0=13
34.56/34.65	c 4 ~x1572640+2 ~x1572639+1 ~x1572638+1 ~x5252+1 ~x5211+1 ~x1549+1 ~x1160+1 ~x927+1 ~x676-0=12
34.56/34.65	c 128 ~x1572800+64 ~x1572799+32 ~x1572798+16 ~x1572797+8 ~x1572796+4 ~x1572795+2 ~x1572794+1 ~x1572793+1 ~x3117+1 ~x3115+1 ~x3114+1 ~x3113+1 ~x3112+1 ~x3111+1 ~x3110+1 ~x3109+1 ~x3108+1 ~x3107+1 ~x3106+1 ~x3104+1 ~x3103+1 ~x3102+1 ~x3101+1 ~x3100+1 ~x3099+1 ~x3098+1 ~x3097+1 ~x3096+1 ~x3095+1 ~x3093+1 ~x3092+1 ~x3091+1 ~x3090+1 ~x3089+1 ~x3088+1 ~x3087+1 ~x3086+1 ~x3085+1 ~x3084+1 ~x3082+1 ~x3081+1 ~x3080+1 ~x3079+1 ~x3078+1 ~x3077+1 ~x3076+1 ~x3075+1 ~x3074+1 ~x3073+1 ~x3071+1 ~x3070+1 ~x3069+1 ~x3068+1 ~x3067+1 ~x3066+1 ~x3065+1 ~x3064+1 ~x3063+1 ~x3062+1 ~x3059+1 ~x3058+1 ~x3057+1 ~x3056+1 ~x3055+1 ~x3054+1 ~x3053+1 ~x3052+1 ~x3051+1 ~x3050+1 ~x3048+1 ~x3047+1 ~x3046+1 ~x3045+1 ~x3044+1 ~x3043+1 ~x3042+1 ~x3041+1 ~x3040+1 ~x3039+1 ~x3037+1 ~x3036+1 ~x3035+1 ~x3034+1 ~x3033+1 ~x3032+1 ~x3031+1 ~x3030+1 ~x3029+1 ~x3028+1 ~x3026+1 ~x3025+1 ~x3024+1 ~x3023+1 ~x3022+1 ~x3021+1 ~x3020+1 ~x3019+1 ~x3018+1 ~x3017+1 ~x3015+1 ~x3014+1 ~x3013+1 ~x3012+1 ~x3011+1 ~x3010+1 ~x3009+1 ~x3008+1 ~x3007+1 ~x3006+1 ~x3004+1 ~x3003+1 ~x3002+1 ~x3001+1 ~x3000+1 ~x2999+1 ~x2998+1 ~x2997+1 ~x2996+1 ~x2995+1 ~x2993+1 ~x2992+1 ~x2991+1 ~x2990+1 ~x2989+1 ~x2988+1 ~x2987+1 ~x2986+1 ~x2985+1 ~x2984+1 ~x2982+1 ~x2981+1 ~x2980+1 ~x2979+1 ~x2978+1 ~x2977+1 ~x2976+1 ~x2975+1 ~x2974+1 ~x2973+1 ~x2971+1 ~x2970+1 ~x2969+1 ~x2968+1 ~x2967+1 ~x2966+1 ~x2965+1 ~x2964+1 ~x2963+1 ~x2962+1 ~x2960+1 ~x2959+1 ~x2958+1 ~x2957+1 ~x2956+1 ~x2955+1 ~x2954+1 ~x2953+1 ~x2952+1 ~x2951+1 ~x2948+1 ~x2947+1 ~x2946+1 ~x2945+1 ~x2944+1 ~x2943+1 ~x2942+1 ~x2941+1 ~x2940+1 ~x2939+1 ~x2937+1 ~x2936+1 ~x2935-0=417
34.87/34.93	c 8 ~x1585764+4 ~x1585763+2 ~x1585762+1 ~x1585761+1 ~x5263+1 ~x4998+1 ~x4072+1 ~x2583+1 ~x2100+1 ~x2083+1 ~x2061+1 ~x1855+1 ~x467+1 ~x257+1 ~x47-0=25
34.87/34.94	c 8 ~x1586129+4 ~x1586128+2 ~x1586127+1 ~x1586126+1 ~x4999+1 ~x4083+1 ~x2133+1 ~x2124+1 ~x2101+1 ~x2084+1 ~x2062+1 ~x1856+1 ~x468+1 ~x258+1 ~x49-0=25
34.87/34.97	c 8 ~x1586494+4 ~x1586493+2 ~x1586492+1 ~x1586491+1 ~x5275+1 ~x5212+1 ~x5000+1 ~x4094+1 ~x2594+1 ~x2017+1 ~x1944+1 ~x1857+1 ~x1732+1 ~x1550+1 ~x1375+1 ~x928+1 ~x469+1 ~x260+1 ~x50-0=29
34.87/34.97	c 2097152 ~x1587038+1048576 ~x1587037+524288 ~x1587036+262144 ~x1587035+131072 ~x1587034+65536 ~x1587033+32768 ~x1587032+16384 ~x1587031+8192 ~x1587030+4096 ~x1587029+2048 ~x1587028+1024 ~x1587027+512 ~x1587026+256 ~x1587025+128 ~x1587024+64 ~x1587023+32 ~x1587022+16 ~x1587021+8 ~x1587020+4 ~x1587019+2 ~x1587018+1 ~x1587017+14670 x2151+5000 ~x1340+4900 ~x1339+4800 ~x1338+7400 ~x1335+4631 ~x1334+8900 ~x1333+8900 ~x1332+9950 ~x1331+9950 ~x1330+4965 ~x1329+9950 ~x1328+9950 ~x1327+4970 ~x1326+4970 ~x1324+9950 ~x1323+9950 ~x1322+9950 ~x1321+4970 ~x1320+6900 ~x1319+9900 ~x1318+9900 ~x1317+9900 ~x1316+8200 ~x1315+2840 ~x1313+5960 ~x1312+9950 ~x1311+9950 ~x1310+4970 ~x1309+4970 ~x1308+9950 ~x1307+4970 ~x1306+4970 ~x1305+9950 ~x1304+9950 ~x1302+9950 ~x1301+9900 ~x1300+9900 ~x1299+9900 ~x1298+9900 ~x1297+9900 ~x1296+9900 ~x1295+9900 ~x1294+9900 ~x1293+9900 ~x1291+9900 ~x1290+9900 ~x1289+9900 ~x1288+9900 ~x1287+9900 ~x1286+9900 ~x1285+3900 ~x1284+6000 ~x1283+15000 ~x1282+14500 ~x1280+15000 ~x1279+15000 ~x1278+15000 ~x1277+17000 ~x1276+15000 ~x1275+15000 ~x1274+14400 ~x1273+15000 ~x1272+15000 ~x1271+15000 ~x1269+15000 ~x1268+15000 ~x1267+15000 ~x1266+15000 ~x1265+20000 ~x1264+20000 ~x1263+15000 ~x1262+15000 ~x1261+15000 ~x1260+9000 ~x1258+9000 ~x1257+9000 ~x1256+13000 ~x1255+9000 ~x1254+13000 ~x1253+9000 ~x1252+15000 ~x1251+15000 ~x1250+9300 ~x1249+9300 ~x1247+9300 ~x1246+13000 ~x1245+13000 ~x1244+20000 ~x1243+20000 ~x1242+15000 ~x1241+15000 ~x1240+15000 ~x1239+13000 ~x1238+12000 ~x1236+15000 ~x1235+14800 ~x1234+15000 ~x1233+9900 ~x1232+11400 ~x1231+13200 ~x1230+12500 ~x1229+2057 ~x1228+13900 ~x1227+11000 ~x1224+10000 ~x1223+11000 ~x1222+13900 ~x1221+12700 ~x1220+10000 ~x1219+10000 ~x1218+6000 ~x1217+10000 ~x1216+10000 ~x1215+10000 ~x1213+10000 ~x1212+10000 ~x1211+10000 ~x1210+10000 ~x1209+6000 ~x1208+11000 ~x1207+15000 ~x1206+10000 ~x1205+12000 ~x1204+6000 ~x1202+7000 ~x1201+15000 ~x1200+10000 ~x1199+12000 ~x1198+6000 ~x1197+6000 ~x1196+13900 ~x1195+12000 ~x1194+12000 ~x1193+12000 ~x1191+12000 ~x1190+12000 ~x1189+12000 ~x1188+12000 ~x1187+6000 ~x1186+12700 ~x1185+13200 ~x1184+5000 ~x1183+5000 ~x1182+7000 ~x1180+10000 ~x1179+14100 ~x1178+10000 ~x1177+10000 ~x1176+15000 ~x1175+12200 ~x1174+15000 ~x1173+14000 ~x1172+15000 ~x1171+5000 ~x1169+5000 ~x1168+10000 ~x1167+15000 ~x1166+13700 ~x1165+10000 ~x1164+18000 ~x1163+10000 ~x1162+5000 ~x1161+10000 ~x1160+10000 ~x1158+15000 ~x1157+5300 ~x1156+15000 ~x1155+10000 ~x1154+5000 ~x1153+14700 ~x1152+10000 ~x1151+10000 ~x1150+12000 ~x1149+10000 ~x1147+5000 ~x1146+7000 ~x1145+15000 ~x1144+10000 ~x1143+10000 ~x1142+5000 ~x1141+15000 ~x1140+10000 ~x1139+5000 ~x1138+12000 ~x1136+15000 ~x1135+10000 ~x1134+5000 ~x1133+10000 ~x1132+10000 ~x1131+7200 ~x1130+10000 ~x1129+10000 ~x1128+10000 ~x1127+15000 ~x1125+10000 ~x1124+15000 ~x1123+5000 ~x1122+15000 ~x1121-0=6311096
35.87/35.96	c 8 ~x1634226+4 ~x1634225+2 ~x1634224+1 ~x1634223+1 ~x5286+1 ~x5213+1 ~x5001+1 ~x4105+1 ~x2605+1 ~x1162+1 ~x929+1 ~x677+1 ~x471+1 ~x261+1 ~x51-0=25
35.87/35.97	c 8 ~x1634601+4 ~x1634600+2 ~x1634599+1 ~x1634598+1 ~x5297+1 ~x5214+1 ~x5002+1 ~x4116+1 ~x2617+1 ~x1551+1 ~x1376+1 ~x1163+1 ~x930+1 ~x679+1 ~x472+1 ~x262+1 ~x52-0=27
35.97/36.00	c 8 ~x1635048+4 ~x1635047+2 ~x1635046+1 ~x1635045+1 ~x5215+1 ~x5003+1 ~x4127+1 ~x1552+1 ~x1377+1 ~x1164+1 ~x931+1 ~x680+1 ~x473+1 ~x263+1 ~x53-0=25
35.97/36.00	c 8 ~x1635413+4 ~x1635412+2 ~x1635411+1 ~x1635410+1 ~x5330+1 ~x5216+1 ~x5004+1 ~x4138+1 ~x2650+1 ~x1165+1 ~x932+1 ~x682+1 ~x474+1 ~x264+1 ~x54-0=25
35.97/36.03	c 8 ~x1635799+4 ~x1635798+2 ~x1635797+1 ~x1635796+1 ~x5217+1 ~x5005+1 ~x4149+1 ~x1859+1 ~x1553+1 ~x1378+1 ~x1167+1 ~x933+1 ~x683+1 ~x475+1 ~x265+1 ~x55-0=26
35.97/36.03	c 1048576 ~x1636211+524288 ~x1636210+262144 ~x1636209+131072 ~x1636208+65536 ~x1636207+32768 ~x1636206+16384 ~x1636205+8192 ~x1636204+4096 ~x1636203+2048 ~x1636202+1024 ~x1636201+512 ~x1636200+256 ~x1636199+128 ~x1636198+64 ~x1636197+32 ~x1636196+16 ~x1636195+8 ~x1636194+4 ~x1636193+2 ~x1636192+1 ~x1636191+23460 x2152+11950 ~x1495+5000 ~x1494+4900 ~x1493+5600 ~x1491+4800 ~x1490+4631 ~x1489+8900 ~x1488+8900 ~x1487+8900 ~x1486+8900 ~x1485+4970 ~x1484+9950 ~x1483+4970 ~x1482+4970 ~x1480+9950 ~x1479+9950 ~x1478+4970 ~x1477+4970 ~x1476+6900 ~x1475+9900 ~x1474+9900 ~x1473+9900 ~x1472+5600 ~x1471+8200 ~x1469+14900 ~x1468+5960 ~x1467+4970 ~x1466+4970 ~x1465+4970 ~x1464+4970 ~x1463+6960 ~x1462+9950 ~x1461+9950 ~x1460+9900 ~x1458+9900 ~x1457+9900 ~x1456+9900 ~x1455+9900 ~x1454+9900 ~x1453+9900 ~x1452+9900 ~x1451+9900 ~x1450+9900 ~x1449+9900 ~x1446+9900 ~x1445+9900 ~x1444+3900 ~x1443+6000 ~x1442+15000 ~x1441+14500 ~x1440+15000 ~x1439+17000 ~x1438+20000 ~x1437+15000 ~x1435+15000 ~x1434+9000 ~x1433+9000 ~x1432+9000 ~x1431+13000 ~x1430+9000 ~x1429+13000 ~x1428+12000 ~x1427+2057 ~x1426+13900 ~x1424+10500 ~x1423+10500 ~x1422+10500 ~x1421+11000 ~x1420+6000 ~x1419+13900 ~x1418+10000 ~x1417+10000 ~x1416+10000 ~x1415+10000 ~x1413+11000 ~x1412+10000 ~x1411+15000 ~x1410+15000 ~x1409+12000 ~x1408+6000 ~x1407+7000 ~x1406+15000 ~x1405+10000 ~x1404+12000 ~x1402+6000 ~x1401+6000 ~x1400+13900 ~x1399+12000 ~x1398+12000 ~x1397+12000 ~x1396+12000 ~x1395+12000 ~x1394+12000 ~x1393+12000 ~x1391+6000 ~x1390+15000 ~x1389+5000 ~x1388+15000 ~x1387+15000 ~x1386+10000 ~x1385+10000 ~x1384+14000 ~x1383+15000 ~x1382+5000 ~x1380+5000 ~x1379+10000 ~x1378+10000 ~x1377+18000 ~x1376+17500 ~x1375+15000 ~x1374+5300 ~x1373+8900 ~x1372+12000 ~x1371+10000 ~x1369+5000 ~x1368+17500 ~x1367+15000 ~x1366+10000 ~x1365+12000 ~x1364+15000 ~x1363+5000 ~x1362+10000 ~x1361+10000 ~x1360+5000 ~x1358+10000 ~x1357+5000 ~x1356+15000 ~x1355+5000 ~x1354+15000 ~x1353+10000 ~x1352+5000 ~x1351+10000 ~x1350+20000 ~x1349+7200 ~x1347+10000 ~x1346+10000 ~x1345+15000 ~x1344+10000 ~x1343+10000 ~x1342+15000 ~x1341-0=3506089
36.67/36.74	c 2 ~x1669708+1 ~x1669707+1 ~x5352+1 ~x2661+1 ~x1945-0=5
36.67/36.76	c 8 ~x1669763+4 ~x1669762+2 ~x1669761+1 ~x1669760+1 ~x5363+1 ~x5218+1 ~x5006+1 ~x4160+1 ~x2672+1 ~x1946+1 ~x1860+1 ~x1734+1 ~x1554+1 ~x1379+1 ~x1168+1 ~x934+1 ~x684+1 ~x476+1 ~x266+1 ~x56-0=30
36.67/36.76	c 8 ~x1670335+4 ~x1670334+2 ~x1670333+1 ~x1670332+1 ~x5220+1 ~x5007+1 ~x4172+1 ~x2683+1 ~x1948+1 ~x1861+1 ~x1735+1 ~x1555+1 ~x1380+1 ~x1169+1 ~x935+1 ~x685+1 ~x477+1 ~x267+1 ~x57+1 ~x4-0=30
36.67/36.77	c 8 ~x1670897+4 ~x1670896+2 ~x1670895+1 ~x1670894+1 ~x5221+1 ~x5009+1 ~x4183+1 ~x2694+1 ~x1949+1 ~x1862+1 ~x1737+1 ~x1556+1 ~x1382+1 ~x1171+1 ~x937+1 ~x686+1 ~x478+1 ~x268+1 ~x58+1 ~x15-0=30
36.67/36.79	c 8 ~x1671459+4 ~x1671458+2 ~x1671457+1 ~x1671456+1 ~x5222+1 ~x5010+1 ~x4194+1 ~x2705+1 ~x1950+1 ~x1863+1 ~x1738+1 ~x1557+1 ~x1383+1 ~x1172+1 ~x938+1 ~x687+1 ~x479+1 ~x269+1 ~x60+1 ~x26-0=30
36.76/36.81	c 128 ~x1672033+64 ~x1672032+32 ~x1672031+16 ~x1672030+8 ~x1672029+4 ~x1672028+2 ~x1672027+1 ~x1672026+1 ~x3290+1 ~x3289+1 ~x3288+1 ~x3287+1 ~x3286+1 ~x3285+1 ~x3284+1 ~x3281+1 ~x3280+1 ~x3279+1 ~x3278+1 ~x3277+1 ~x3276+1 ~x3275+1 ~x3274+1 ~x3273+1 ~x3272+1 ~x3270+1 ~x3269+1 ~x3268+1 ~x3267+1 ~x3266+1 ~x3265+1 ~x3264+1 ~x3263+1 ~x3262+1 ~x3261+1 ~x3259+1 ~x3258+1 ~x3257+1 ~x3256+1 ~x3255+1 ~x3254+1 ~x3253+1 ~x3252+1 ~x3251+1 ~x3250+1 ~x3248+1 ~x3247+1 ~x3246+1 ~x3245+1 ~x3244+1 ~x3243+1 ~x3242+1 ~x3241+1 ~x3240+1 ~x3239+1 ~x3237+1 ~x3236+1 ~x3235+1 ~x3234+1 ~x3233+1 ~x3232+1 ~x3231+1 ~x3230+1 ~x3229+1 ~x3228+1 ~x3226+1 ~x3225+1 ~x3224+1 ~x3223+1 ~x3222+1 ~x3221+1 ~x3220+1 ~x3219+1 ~x3218+1 ~x3217+1 ~x3215+1 ~x3214+1 ~x3213+1 ~x3212+1 ~x3211+1 ~x3210+1 ~x3209+1 ~x3208+1 ~x3207+1 ~x3206+1 ~x3204+1 ~x3203+1 ~x3202+1 ~x3201+1 ~x3200+1 ~x3199+1 ~x3198+1 ~x3197+1 ~x3196+1 ~x3195+1 ~x3193+1 ~x3192+1 ~x3191+1 ~x3190+1 ~x3189+1 ~x3188+1 ~x3187+1 ~x3186+1 ~x3185+1 ~x3184+1 ~x3182+1 ~x3181+1 ~x3180+1 ~x3179+1 ~x3178+1 ~x3177+1 ~x3176+1 ~x3175+1 ~x3174+1 ~x3173+1 ~x3170+1 ~x3169+1 ~x3168+1 ~x3167+1 ~x3166+1 ~x3165+1 ~x3164+1 ~x3163+1 ~x3162+1 ~x3161+1 ~x3159+1 ~x3158+1 ~x3157+1 ~x3156+1 ~x3155+1 ~x3154+1 ~x3153+1 ~x3152+1 ~x3151+1 ~x3150+1 ~x3148+1 ~x3147+1 ~x3146+1 ~x3145+1 ~x3144+1 ~x3143+1 ~x3142+1 ~x3141+1 ~x3140+1 ~x3139+1 ~x3137+1 ~x3136+1 ~x3135+1 ~x3134+1 ~x3133+1 ~x3132+1 ~x3131+1 ~x3130+1 ~x3129+1 ~x3128+1 ~x3126+1 ~x3125+1 ~x3124+1 ~x3123+1 ~x3122+1 ~x3121+1 ~x3120+1 ~x3119+1 ~x3118-0=409
37.07/37.10	c 2 ~x1684380+1 ~x1684379+1 ~x1560+1 ~x939+1 ~x688-0=5
37.07/37.10	c 8 ~x1684435+4 ~x1684434+2 ~x1684433+1 ~x1684432+1 ~x5223+1 ~x5011+1 ~x4205+1 ~x1175+1 ~x940+1 ~x689+1 ~x480+1 ~x271+1 ~x61-0=23
37.07/37.10	c 1048576 ~x1684757+524288 ~x1684756+262144 ~x1684755+131072 ~x1684754+65536 ~x1684753+32768 ~x1684752+16384 ~x1684751+8192 ~x1684750+4096 ~x1684749+2048 ~x1684748+1024 ~x1684747+512 ~x1684746+256 ~x1684745+128 ~x1684744+64 ~x1684743+32 ~x1684742+16 ~x1684741+8 ~x1684740+4 ~x1684739+2 ~x1684738+1 ~x1684737+24580 x2153+11950 ~x1684+5000 ~x1683+4900 ~x1682+5800 ~x1680+5600 ~x1679+4800 ~x1678+4631 ~x1677+8900 ~x1676+8900 ~x1675+8900 ~x1674+9900 ~x1673+9900 ~x1672+9900 ~x1671+4970 ~x1668+4970 ~x1667+4970 ~x1666+9950 ~x1665+9950 ~x1664+4970 ~x1663+4970 ~x1662+6900 ~x1661+9900 ~x1660+9900 ~x1659+9900 ~x1657+5600 ~x1656+8200 ~x1655+14900 ~x1654+5960 ~x1653+4970 ~x1652+4970 ~x1651+4970 ~x1650+4970 ~x1649+6960 ~x1648+9950 ~x1646+9950 ~x1645+9900 ~x1644+9900 ~x1643+9900 ~x1642+9900 ~x1641+9900 ~x1640+9900 ~x1639+9900 ~x1638+9900 ~x1637+9900 ~x1635+9900 ~x1634+9900 ~x1633+9900 ~x1632+3900 ~x1631+6000 ~x1630+15000 ~x1629+14500 ~x1628+15000 ~x1627+17000 ~x1626+20000 ~x1624+15000 ~x1623+15000 ~x1622+15000 ~x1621+15000 ~x1620+15000 ~x1619+9000 ~x1618+9000 ~x1617+9000 ~x1616+13000 ~x1615+9000 ~x1613+13000 ~x1612+15000 ~x1611+13000 ~x1610+10000 ~x1609+15000 ~x1608+2057 ~x1607+13900 ~x1606+10500 ~x1605+10500 ~x1604+10500 ~x1602+11000 ~x1601+6000 ~x1600+13900 ~x1599+13000 ~x1598+10000 ~x1597+10000 ~x1596+10000 ~x1595+10000 ~x1594+11000 ~x1593+10000 ~x1591+15000 ~x1590+15000 ~x1589+13000 ~x1588+12000 ~x1587+7000 ~x1586+15000 ~x1585+10000 ~x1584+12000 ~x1583+6000 ~x1582+13900 ~x1580+12000 ~x1579+12000 ~x1578+12000 ~x1577+12000 ~x1576+12000 ~x1575+6000 ~x1574+5000 ~x1573+5000 ~x1572+15000 ~x1571+5000 ~x1569+15000 ~x1568+15000 ~x1567+10000 ~x1566+10000 ~x1565+15000 ~x1564+15000 ~x1563+15000 ~x1562+15000 ~x1561+15000 ~x1560+14000 ~x1557+15000 ~x1556+5000 ~x1555+5000 ~x1554+10000 ~x1553+10000 ~x1552+18000 ~x1551+17500 ~x1550+10000 ~x1549+10000 ~x1548+15000 ~x1546+5300 ~x1545+15000 ~x1544+15000 ~x1543+8900 ~x1542+12000 ~x1541+10000 ~x1540+5000 ~x1539+5000 ~x1538+5000 ~x1537+5000 ~x1535+17500 ~x1534+15000 ~x1533+10000 ~x1532+10000 ~x1531+12000 ~x1530+10000 ~x1529+20000 ~x1528+15000 ~x1527+5000 ~x1526+5000 ~x1524+15000 ~x1523+10000 ~x1522+10000 ~x1521+5000 ~x1520+10000 ~x1519+5000 ~x1518+9000 ~x1517+15000 ~x1516+5000 ~x1515+12000 ~x1513+15000 ~x1512+15000 ~x1511+10000 ~x1510+5000 ~x1509+10000 ~x1508+20000 ~x1507+7200 ~x1506+10000 ~x1505+10000 ~x1504+5000 ~x1502+15000 ~x1501+10000 ~x1500+15000 ~x1499+10000 ~x1498+10000 ~x1497+15000 ~x1496-0=3864839
37.86/37.95	c 2 ~x1724679+1 ~x1724678+1 ~x1561+1 ~x942+1 ~x691-0=5
37.86/37.95	c 2 ~x1724732+1 ~x1724731+1 ~x1562+1 ~x943+1 ~x693-0=5
37.86/37.95	c 2 ~x1724796+1 ~x1724795+1 ~x1563+1 ~x945+1 ~x695-0=5
37.86/37.97	c 2 ~x1724849+1 ~x1724848+1 ~x1564+1 ~x946+1 ~x696-0=5
37.86/37.97	c 8 ~x1724904+4 ~x1724903+2 ~x1724902+1 ~x1724901+1 ~x5224+1 ~x5012+1 ~x4216+1 ~x1864+1 ~x1565+1 ~x1384+1 ~x1176+1 ~x948+1 ~x697+1 ~x482+1 ~x272+1 ~x62-0=26
37.86/37.97	c 8 ~x1725309+4 ~x1725308+2 ~x1725307+1 ~x1725306+1 ~x5013+1 ~x4227+1 ~x2716+1 ~x2134+1 ~x2103+1 ~x2085+1 ~x2063+1 ~x1951+1 ~x1865+1 ~x483+1 ~x273+1 ~x63+1 ~x48-0=27
37.86/37.99	c 131072 ~x1725758+65536 ~x1725757+32768 ~x1725756+16384 ~x1725755+8192 ~x1725754+4096 ~x1725753+2048 ~x1725752+1024 ~x1725751+512 ~x1725750+256 ~x1725749+128 ~x1725748+64 ~x1725747+32 ~x1725746+16 ~x1725745+8 ~x1725744+4 ~x1725743+2 ~x1725742+1 ~x1725741+2805 x2154+995 ~x1822+995 ~x1821+995 ~x1820+995 ~x1819+995 ~x1818+557 ~x1817+895 ~x1816+1195 ~x1815+490 ~x1813+480 ~x1812+341 ~x1811+890 ~x1810+890 ~x1809+890 ~x1808+990 ~x1807+990 ~x1806+700 ~x1805+700 ~x1804+700 ~x1802+800 ~x1801+690 ~x1800+990 ~x1799+990 ~x1798+990 ~x1797+995 ~x1796+995 ~x1795+995 ~x1794+796 ~x1793+990 ~x1791+1490 ~x1790+1190 ~x1789+1190 ~x1788+800 ~x1787+800 ~x1786+990 ~x1785+990 ~x1784+990 ~x1783+990 ~x1782+990 ~x1779+990 ~x1778+990 ~x1777+990 ~x1776+1090 ~x1775+1090 ~x1774+990 ~x1773+990 ~x1772+390 ~x1771+1500 ~x1770+1500 ~x1768+1700 ~x1767+2000 ~x1766+1500 ~x1765+900 ~x1764+900 ~x1763+900 ~x1762+1300 ~x1761+900 ~x1760+1300 ~x1759+900 ~x1757+1300 ~x1756+700 ~x1755+600 ~x1754+600 ~x1753+700 ~x1752+810 ~x1751+810 ~x1750+500 ~x1749+2000 ~x1748+2000 ~x1746+1500 ~x1745+500 ~x1744+1750 ~x1743+1500 ~x1742+1500 ~x1741+1750 ~x1740+1750 ~x1739+1400 ~x1738+1500 ~x1737+500 ~x1735+500 ~x1734+720 ~x1733+1750 ~x1732+1000 ~x1731+1500 ~x1730+530 ~x1729+890 ~x1728+1200 ~x1727+1000 ~x1726+500 ~x1724+1500 ~x1723+1750 ~x1722+1200 ~x1721+1000 ~x1720+1500 ~x1719+500 ~x1718+500 ~x1717+1500 ~x1716+1500 ~x1715+1500 ~x1713+1000 ~x1712+1000 ~x1711+1000 ~x1710+500 ~x1709+900 ~x1708+1500 ~x1707+1000 ~x1706+1500 ~x1705+500 ~x1704+1200 ~x1702+1500 ~x1701+1500 ~x1700+900 ~x1699+800 ~x1698+500 ~x1697+1000 ~x1696+1000 ~x1695+1500 ~x1694+2000 ~x1693+720 ~x1691+1000 ~x1690+1000 ~x1689+1500 ~x1688+1000 ~x1687+1000 ~x1686+1000 ~x1685-0=394027
38.37/38.49	c 2 ~x1748022+1 ~x1748021+1 ~x2728+1 ~x1952+1 ~x70-0=5
38.37/38.49	c 2 ~x1748107+1 ~x1748106+1 ~x2739+1 ~x1953+1 ~x103-0=5
38.37/38.49	c 128 ~x1748174+64 ~x1748173+32 ~x1748172+16 ~x1748171+8 ~x1748170+4 ~x1748169+2 ~x1748168+1 ~x1748167+1 ~x3464+1 ~x3463+1 ~x3462+1 ~x3460+1 ~x3459+1 ~x3458+1 ~x3457+1 ~x3456+1 ~x3455+1 ~x3454+1 ~x3453+1 ~x3452+1 ~x3451+1 ~x3449+1 ~x3448+1 ~x3447+1 ~x3446+1 ~x3445+1 ~x3444+1 ~x3443+1 ~x3442+1 ~x3441+1 ~x3440+1 ~x3438+1 ~x3437+1 ~x3436+1 ~x3435+1 ~x3434+1 ~x3433+1 ~x3432+1 ~x3431+1 ~x3430+1 ~x3429+1 ~x3427+1 ~x3426+1 ~x3425+1 ~x3424+1 ~x3423+1 ~x3422+1 ~x3421+1 ~x3420+1 ~x3419+1 ~x3418+1 ~x3416+1 ~x3415+1 ~x3414+1 ~x3413+1 ~x3412+1 ~x3411+1 ~x3410+1 ~x3409+1 ~x3408+1 ~x3407+1 ~x3405+1 ~x3404+1 ~x3403+1 ~x3402+1 ~x3401+1 ~x3400+1 ~x3399+1 ~x3398+1 ~x3397+1 ~x3396+1 ~x3392+1 ~x3391+1 ~x3390+1 ~x3389+1 ~x3388+1 ~x3387+1 ~x3386+1 ~x3385+1 ~x3384+1 ~x3383+1 ~x3381+1 ~x3380+1 ~x3379+1 ~x3378+1 ~x3377+1 ~x3376+1 ~x3375+1 ~x3374+1 ~x3373+1 ~x3372+1 ~x3370+1 ~x3369+1 ~x3368+1 ~x3367+1 ~x3366+1 ~x3365+1 ~x3364+1 ~x3363+1 ~x3362+1 ~x3361+1 ~x3359+1 ~x3358+1 ~x3357+1 ~x3356+1 ~x3355+1 ~x3354+1 ~x3353+1 ~x3352+1 ~x3351+1 ~x3350+1 ~x3348+1 ~x3347+1 ~x3346+1 ~x3345+1 ~x3344+1 ~x3343+1 ~x3342+1 ~x3341+1 ~x3340+1 ~x3339+1 ~x3337+1 ~x3336+1 ~x3335+1 ~x3334+1 ~x3333+1 ~x3332+1 ~x3331+1 ~x3330+1 ~x3329+1 ~x3328+1 ~x3326+1 ~x3325+1 ~x3324+1 ~x3323+1 ~x3322+1 ~x3321+1 ~x3320+1 ~x3319+1 ~x3318+1 ~x3317+1 ~x3315+1 ~x3314+1 ~x3313+1 ~x3312+1 ~x3311+1 ~x3310+1 ~x3309+1 ~x3308+1 ~x3307+1 ~x3306+1 ~x3304+1 ~x3303+1 ~x3302+1 ~x3301+1 ~x3300+1 ~x3299+1 ~x3298+1 ~x3297+1 ~x3296+1 ~x3295+1 ~x3293+1 ~x3292+1 ~x3291-0=409
38.67/38.75	c 8 ~x1760513+4 ~x1760512+2 ~x1760511+1 ~x1760510+1 ~x5225+1 ~x5014+1 ~x4238+1 ~x2750+1 ~x1566+1 ~x1385+1 ~x1179+1 ~x949+1 ~x698+1 ~x484+1 ~x274+1 ~x115+1 ~x64-0=27
38.67/38.79	c 8 ~x1760958+4 ~x1760957+2 ~x1760956+1 ~x1760955+1 ~x5226+1 ~x5015+1 ~x4249+1 ~x2761+1 ~x2042+1 ~x2018+1 ~x1954+1 ~x1866+1 ~x1741+1 ~x1567+1 ~x1386+1 ~x950+1 ~x485+1 ~x275+1 ~x126+1 ~x65-0=30
38.67/38.79	c 524288 ~x1761536+262144 ~x1761535+131072 ~x1761534+65536 ~x1761533+32768 ~x1761532+16384 ~x1761531+8192 ~x1761530+4096 ~x1761529+2048 ~x1761528+1024 ~x1761527+512 ~x1761526+256 ~x1761525+128 ~x1761524+64 ~x1761523+32 ~x1761522+16 ~x1761521+8 ~x1761520+4 ~x1761519+2 ~x1761518+1 ~x1761517+28720 x2155+9950 ~x1921+9950 ~x1920+11950 ~x1919+9950 ~x1918+5800 ~x1917+5600 ~x1916+4800 ~x1915+8900 ~x1913+8900 ~x1912+8900 ~x1911+4970 ~x1910+4970 ~x1909+4970 ~x1908+6900 ~x1907+9900 ~x1906+9900 ~x1905+9900 ~x1904+9950 ~x1902+1909 ~x1901+5600 ~x1900+11900 ~x1899+14900 ~x1898+6960 ~x1897+9900 ~x1896+9900 ~x1895+9900 ~x1894+9900 ~x1893+9900 ~x1890+9900 ~x1889+9900 ~x1888+3900 ~x1887+15000 ~x1886+15000 ~x1885+17000 ~x1884+20000 ~x1883+9000 ~x1882+9000 ~x1881+13000 ~x1879+9000 ~x1878+13000 ~x1877+10500 ~x1876+10500 ~x1875+6000 ~x1874+10000 ~x1873+15000 ~x1872+15000 ~x1871+15000 ~x1870+5000 ~x1868+15000 ~x1867+15000 ~x1866+15000 ~x1865+10000 ~x1864+14000 ~x1863+15000 ~x1862+5000 ~x1861+5000 ~x1860+10000 ~x1859+17500 ~x1857+15000 ~x1856+15000 ~x1855+15000 ~x1854+5300 ~x1853+8900 ~x1852+12000 ~x1851+10000 ~x1850+5000 ~x1849+5000 ~x1848+17500 ~x1846+15000 ~x1845+15000 ~x1844+5000 ~x1843+15000 ~x1842+16500 ~x1841+10000 ~x1840+10000 ~x1839+5000 ~x1838+10000 ~x1837+5000 ~x1835+5000 ~x1834+15000 ~x1833+16500 ~x1832+10000 ~x1831+20000 ~x1830+7200 ~x1829+5000 ~x1828+10000 ~x1827+15000 ~x1826+5000 ~x1824+10000 ~x1823-0=1971604
39.17/39.27	c 8 ~x1783791+4 ~x1783790+2 ~x1783789+1 ~x1783788+1 ~x5227+1 ~x5016+1 ~x4260+1 ~x2772+1 ~x2043+1 ~x2019+1 ~x1955+1 ~x1867+1 ~x1742+1 ~x1568+1 ~x1387+1 ~x951+1 ~x486+1 ~x276+1 ~x137+1 ~x66-0=30
39.27/39.30	c 2 ~x1784362+1 ~x1784361+1 ~x2783+1 ~x1956+1 ~x159-0=5
39.27/39.30	c 8 ~x1784477+4 ~x1784476+2 ~x1784475+1 ~x1784474+1 ~x5228+1 ~x5017+1 ~x4271+1 ~x2794+1 ~x1957+1 ~x1868+1 ~x1744+1 ~x1569+1 ~x1388+1 ~x1182+1 ~x952+1 ~x487+1 ~x277+1 ~x214+1 ~x67-0=29
39.27/39.32	c 65536 ~x1785016+32768 ~x1785015+16384 ~x1785014+8192 ~x1785013+4096 ~x1785012+2048 ~x1785011+1024 ~x1785010+512 ~x1785009+256 ~x1785008+128 ~x1785007+64 ~x1785006+32 ~x1785005+16 ~x1785004+8 ~x1785003+4 ~x1785002+2 ~x1785001+1 ~x1785000+2971 x2156+995 ~x1999+995 ~x1998+1195 ~x1997+995 ~x1996+580 ~x1995+560 ~x1994+480 ~x1993+890 ~x1992+890 ~x1990+890 ~x1989+690 ~x1988+990 ~x1987+990 ~x1986+990 ~x1985+895 ~x1984+560 ~x1983+1190 ~x1982+1490 ~x1981+990 ~x1979+990 ~x1978+990 ~x1977+990 ~x1976+990 ~x1975+990 ~x1974+390 ~x1973+1500 ~x1972+1500 ~x1971+1700 ~x1970+2000 ~x1968+900 ~x1967+900 ~x1966+1300 ~x1965+900 ~x1964+1300 ~x1963+1500 ~x1962+1500 ~x1961+1500 ~x1960+1500 ~x1959+500 ~x1957+1500 ~x1956+1500 ~x1955+1500 ~x1954+1500 ~x1953+1500 ~x1952+1500 ~x1951+1400 ~x1950+1500 ~x1949+500 ~x1948+500 ~x1946+1000 ~x1945+1750 ~x1944+1500 ~x1943+530 ~x1942+890 ~x1941+1200 ~x1940+1000 ~x1939+500 ~x1938+1750 ~x1937+1500 ~x1935+500 ~x1934+1500 ~x1933+1000 ~x1932+500 ~x1931+1000 ~x1930+500 ~x1929+500 ~x1928+1500 ~x1927+1000 ~x1926+2000 ~x1924+720 ~x1923+1000 ~x1922-0=208406
39.48/39.60	c 8 ~x1798117+4 ~x1798116+2 ~x1798115+1 ~x1798114+1 ~x5229+1 ~x5018+1 ~x4283+1 ~x2805+1 ~x2044+1 ~x2020+1 ~x1959+1 ~x1870+1 ~x1745+1 ~x1571+1 ~x1389+1 ~x953+1 ~x488+1 ~x278+1 ~x226+1 ~x68-0=30
39.58/39.63	c 2 ~x1798697+1 ~x1798696+1 ~x2816+1 ~x1960+1 ~x259-0=5
39.58/39.63	c 128 ~x1798764+64 ~x1798763+32 ~x1798762+16 ~x1798761+8 ~x1798760+4 ~x1798759+2 ~x1798758+1 ~x1798757+1 ~x3637+1 ~x3636+1 ~x3635+1 ~x3634+1 ~x3633+1 ~x3632+1 ~x3631+1 ~x3630+1 ~x3629+1 ~x3627+1 ~x3626+1 ~x3625+1 ~x3624+1 ~x3623+1 ~x3622+1 ~x3621+1 ~x3620+1 ~x3619+1 ~x3618+1 ~x3615+1 ~x3614+1 ~x3613+1 ~x3612+1 ~x3611+1 ~x3610+1 ~x3609+1 ~x3608+1 ~x3607+1 ~x3606+1 ~x3604+1 ~x3603+1 ~x3602+1 ~x3601+1 ~x3600+1 ~x3599+1 ~x3598+1 ~x3597+1 ~x3596+1 ~x3595+1 ~x3593+1 ~x3592+1 ~x3591+1 ~x3590+1 ~x3589+1 ~x3588+1 ~x3587+1 ~x3586+1 ~x3585+1 ~x3584+1 ~x3582+1 ~x3581+1 ~x3580+1 ~x3579+1 ~x3578+1 ~x3577+1 ~x3576+1 ~x3575+1 ~x3574+1 ~x3573+1 ~x3571+1 ~x3570+1 ~x3569+1 ~x3568+1 ~x3567+1 ~x3566+1 ~x3565+1 ~x3564+1 ~x3563+1 ~x3562+1 ~x3560+1 ~x3559+1 ~x3558+1 ~x3557+1 ~x3556+1 ~x3555+1 ~x3554+1 ~x3553+1 ~x3552+1 ~x3551+1 ~x3549+1 ~x3548+1 ~x3547+1 ~x3546+1 ~x3545+1 ~x3544+1 ~x3543+1 ~x3542+1 ~x3541+1 ~x3540+1 ~x3538+1 ~x3537+1 ~x3536+1 ~x3535+1 ~x3534+1 ~x3533+1 ~x3532+1 ~x3531+1 ~x3530+1 ~x3529+1 ~x3527+1 ~x3526+1 ~x3525+1 ~x3524+1 ~x3523+1 ~x3522+1 ~x3521+1 ~x3520+1 ~x3519+1 ~x3518+1 ~x3516+1 ~x3515+1 ~x3514+1 ~x3513+1 ~x3512+1 ~x3511+1 ~x3510+1 ~x3509+1 ~x3508+1 ~x3507+1 ~x3504+1 ~x3503+1 ~x3502+1 ~x3501+1 ~x3500+1 ~x3499+1 ~x3498+1 ~x3497+1 ~x3496+1 ~x3495+1 ~x3493+1 ~x3492+1 ~x3491+1 ~x3490+1 ~x3489+1 ~x3488+1 ~x3487+1 ~x3486+1 ~x3485+1 ~x3484+1 ~x3482+1 ~x3481+1 ~x3480+1 ~x3479+1 ~x3478+1 ~x3477+1 ~x3476+1 ~x3475+1 ~x3474+1 ~x3473+1 ~x3471+1 ~x3470+1 ~x3469+1 ~x3468+1 ~x3467+1 ~x3466+1 ~x3465-0=409
39.87/39.91	c 2 ~x1811122+1 ~x1811121+1 ~x2827+1 ~x1961+1 ~x303-0=5
39.87/39.91	c 2 ~x1811186+1 ~x1811185+1 ~x2839+1 ~x1962+1 ~x325-0=5
39.87/39.91	c 32768 ~x1811253+16384 ~x1811252+8192 ~x1811251+4096 ~x1811250+2048 ~x1811249+1024 ~x1811248+512 ~x1811247+256 ~x1811246+128 ~x1811245+64 ~x1811244+32 ~x1811243+16 ~x1811242+8 ~x1811241+4 ~x1811240+2 ~x1811239+1 ~x1811238+3213 x2157+1195 ~x2032+580 ~x2031+560 ~x2030+890 ~x2029+890 ~x2028+990 ~x2027+990 ~x2026+560 ~x2024+1490 ~x2023+990 ~x2022+2000 ~x2021+1500 ~x2020+1500 ~x2019+1500 ~x2018+1750 ~x2017+890 ~x2016+1200 ~x2015+1000 ~x2013+1750 ~x2012+1500 ~x2011+2000 ~x2010+1500 ~x2009+1000 ~x2008+500 ~x2007+900 ~x2006+1000 ~x2005+2000 ~x2004+1500 ~x2001+1000 ~x2000-0=100660
39.97/40.05	c 2 ~x1817669+1 ~x1817668+1 ~x1572+1 ~x954+1 ~x699+1 ~x348-0=6
39.97/40.07	c 4 ~x1817755+2 ~x1817754+1 ~x1817753+1 ~x5231+1 ~x1749+1 ~x1573+1 ~x1183+1 ~x955+1 ~x700+1 ~x370-0=13
39.97/40.07	c 4 ~x1817927+2 ~x1817926+1 ~x1817925+1 ~x5232+1 ~x1184+1 ~x956+1 ~x701+1 ~x381-0=11
39.97/40.07	c 8 ~x1818052+4 ~x1818051+2 ~x1818050+1 ~x1818049+1 ~x5233+1 ~x5020+1 ~x4294+1 ~x1185+1 ~x957+1 ~x702+1 ~x489+1 ~x279+1 ~x69-0=23
39.97/40.08	c 8 ~x1818379+4 ~x1818378+2 ~x1818377+1 ~x1818376+1 ~x5234+1 ~x5021+1 ~x4305+1 ~x1574+1 ~x1390+1 ~x1186+1 ~x959+1 ~x704+1 ~x490+1 ~x280+1 ~x71-0=25
40.77/40.84	c 8192 ~x1854295+4096 ~x1854294+2048 ~x1854293+1024 ~x1854292+512 ~x1854291+256 ~x1854290+128 ~x1854289+64 ~x1854288+32 ~x1854287+16 ~x1854286+8 ~x1854285+4 ~x1854284+2 ~x1854283+1 ~x1854282+1694 x2159+280 ~x2051+445 ~x2050+445 ~x2049+495 ~x2048+495 ~x2046+280 ~x2045+750 ~x2044+750 ~x2043+750 ~x2042+500 ~x2041+750 ~x2040+500 ~x2039+250 ~x2038+500 ~x2037+1000 ~x2035+750 ~x2034+500 ~x2033-0=25823
40.87/40.91	c 8 ~x1857334+4 ~x1857333+2 ~x1857332+1 ~x1857331+1 ~x5235+1 ~x5022+1 ~x4316+1 ~x1575+1 ~x1391+1 ~x1187+1 ~x960+1 ~x705+1 ~x491+1 ~x282+1 ~x72-0=25
40.87/40.93	c 8 ~x1857699+4 ~x1857698+2 ~x1857697+1 ~x1857696+1 ~x5236+1 ~x5023+1 ~x4327+1 ~x1576+1 ~x1393+1 ~x1188+1 ~x961+1 ~x706+1 ~x493+1 ~x283+1 ~x73-0=25
40.87/40.93	c 8 ~x1858064+4 ~x1858063+2 ~x1858062+1 ~x1858061+1 ~x5237+1 ~x5024+1 ~x4338+1 ~x1394+1 ~x1189+1 ~x962+1 ~x707+1 ~x494+1 ~x284+1 ~x74-0=24
40.87/40.96	c 8 ~x1858399+4 ~x1858398+2 ~x1858397+1 ~x1858396+1 ~x5238+1 ~x5025+1 ~x4349+1 ~x1395+1 ~x1190+1 ~x963+1 ~x708+1 ~x495+1 ~x285+1 ~x75-0=24
40.87/40.96	c 128 ~x1858736+64 ~x1858735+32 ~x1858734+16 ~x1858733+8 ~x1858732+4 ~x1858731+2 ~x1858730+1 ~x1858729+1 ~x3834+1 ~x3833+1 ~x3832+1 ~x3831+1 ~x3830+1 ~x3829+1 ~x3828+1 ~x3826+1 ~x3825+1 ~x3824+1 ~x3823+1 ~x3822+1 ~x3821+1 ~x3820+1 ~x3819+1 ~x3818+1 ~x3817+1 ~x3815+1 ~x3814+1 ~x3813+1 ~x3812+1 ~x3811+1 ~x3810+1 ~x3809+1 ~x3808+1 ~x3807+1 ~x3806+1 ~x3804+1 ~x3803+1 ~x3802+1 ~x3801+1 ~x3800+1 ~x3799+1 ~x3798+1 ~x3797+1 ~x3796+1 ~x3795+1 ~x3793+1 ~x3792+1 ~x3791+1 ~x3790+1 ~x3789+1 ~x3788+1 ~x3787+1 ~x3786+1 ~x3785+1 ~x3784+1 ~x3782+1 ~x3781+1 ~x3780+1 ~x3779+1 ~x3778+1 ~x3777+1 ~x3776+1 ~x3775+1 ~x3774+1 ~x3773+1 ~x3771+1 ~x3770+1 ~x3769+1 ~x3768+1 ~x3767+1 ~x3766+1 ~x3765+1 ~x3764+1 ~x3763+1 ~x3762+1 ~x3760+1 ~x3759+1 ~x3758+1 ~x3757+1 ~x3756+1 ~x3755+1 ~x3754+1 ~x3753+1 ~x3752+1 ~x3751+1 ~x3749+1 ~x3748+1 ~x3747+1 ~x3746+1 ~x3745+1 ~x3744+1 ~x3743+1 ~x3742+1 ~x3741+1 ~x3740+1 ~x3738+1 ~x3737+1 ~x3736+1 ~x3735+1 ~x3734+1 ~x3733+1 ~x3732+1 ~x3731+1 ~x3730+1 ~x3729+1 ~x3726+1 ~x3725+1 ~x3724+1 ~x3723+1 ~x3722+1 ~x3721+1 ~x3720+1 ~x3719+1 ~x3718+1 ~x3717+1 ~x3715+1 ~x3714+1 ~x3713+1 ~x3712+1 ~x3711+1 ~x3710+1 ~x3709+1 ~x3708+1 ~x3707+1 ~x3706+1 ~x3704+1 ~x3703+1 ~x3702+1 ~x3701+1 ~x3700+1 ~x3699+1 ~x3698+1 ~x3697+1 ~x3696+1 ~x3695+1 ~x3693+1 ~x3692+1 ~x3691+1 ~x3690+1 ~x3689+1 ~x3688+1 ~x3687+1 ~x3686+1 ~x3685+1 ~x3684+1 ~x3682+1 ~x3681+1 ~x3680+1 ~x3679+1 ~x3678+1 ~x3677+1 ~x3676+1 ~x3675+1 ~x3674+1 ~x3673+1 ~x3671+1 ~x3670+1 ~x3669+1 ~x3668+1 ~x3667+1 ~x3666+1 ~x3665+1 ~x3664+1 ~x3663+1 ~x3662+1 ~x3660+1 ~x3659+1 ~x3658+1 ~x3657+1 ~x3656+1 ~x3655+1 ~x3654+1 ~x3653+1 ~x3652+1 ~x3651+1 ~x3649+1 ~x3648+1 ~x3647+1 ~x3646+1 ~x3645+1 ~x3644+1 ~x3643+1 ~x3642+1 ~x3641+1 ~x3640+1 ~x3638-0=431
41.17/41.26	c 8 ~x1872791+4 ~x1872790+2 ~x1872789+1 ~x1872788+1 ~x5239+1 ~x5026+1 ~x4360+1 ~x1577+1 ~x1396+1 ~x1191+1 ~x964+1 ~x709+1 ~x496+1 ~x286+1 ~x76-0=25
41.17/41.28	c 8 ~x1873156+4 ~x1873155+2 ~x1873154+1 ~x1873153+1 ~x5240+1 ~x5027+1 ~x4371+1 ~x1578+1 ~x1397+1 ~x1193+1 ~x965+1 ~x710+1 ~x497+1 ~x287+1 ~x77-0=25
41.17/41.28	c 8 ~x1873521+4 ~x1873520+2 ~x1873519+1 ~x1873518+1 ~x5242+1 ~x5028+1 ~x4382+1 ~x1579+1 ~x1398+1 ~x1194+1 ~x966+1 ~x711+1 ~x498+1 ~x288+1 ~x78-0=25
41.26/41.30	c 131072 ~x1873931+65536 ~x1873930+32768 ~x1873929+16384 ~x1873928+8192 ~x1873927+4096 ~x1873926+2048 ~x1873925+1024 ~x1873924+512 ~x1873923+256 ~x1873922+128 ~x1873921+64 ~x1873920+32 ~x1873919+16 ~x1873918+8 ~x1873917+4 ~x1873916+2 ~x1873915+1 ~x1873914+36150 x2160+9950 ~x2074+9950 ~x2073+9950 ~x2072+5800 ~x2071+8900 ~x2070+9900 ~x2068+9950 ~x2067+1909 ~x2066+11900 ~x2065+9900 ~x2064+15000 ~x2063+15000 ~x2062+15000 ~x2061+5000 ~x2060+20000 ~x2059+15000 ~x2057+16500 ~x2056+10000 ~x2055+16500 ~x2054+5000 ~x2053+5000 ~x2052-0=488252
41.36/41.47	c 8 ~x1880848+4 ~x1880847+2 ~x1880846+1 ~x1880845+1 ~x5243+1 ~x5029+1 ~x4394+1 ~x1580+1 ~x1399+1 ~x1195+1 ~x967+1 ~x712+1 ~x499+1 ~x289+1 ~x79-0=25
41.36/41.47	c 8 ~x1881213+4 ~x1881212+2 ~x1881211+1 ~x1881210+1 ~x5244+1 ~x5031+1 ~x4405+1 ~x1400+1 ~x1196+1 ~x968+1 ~x713+1 ~x500+1 ~x290+1 ~x80-0=24
41.36/41.48	c 8 ~x1881548+4 ~x1881547+2 ~x1881546+1 ~x1881545+1 ~x5245+1 ~x5032+1 ~x4416+1 ~x1582+1 ~x1401+1 ~x1197+1 ~x970+1 ~x715+1 ~x501+1 ~x291+1 ~x82-0=25
41.46/41.50	c 8 ~x1881913+4 ~x1881912+2 ~x1881911+1 ~x1881910+1 ~x5246+1 ~x5033+1 ~x4427+1 ~x1583+1 ~x1402+1 ~x1198+1 ~x971+1 ~x716+1 ~x502+1 ~x293+1 ~x83-0=25
41.46/41.50	c 8 ~x1882278+4 ~x1882277+2 ~x1882276+1 ~x1882275+1 ~x5247+1 ~x5034+1 ~x4438+1 ~x1584+1 ~x1404+1 ~x1199+1 ~x972+1 ~x717+1 ~x504+1 ~x294+1 ~x84-0=25
41.46/41.52	c 8 ~x1882653+4 ~x1882652+2 ~x1882651+1 ~x1882650+1 ~x5248+1 ~x5035+1 ~x4449+1 ~x2850+1 ~x1585+1 ~x1405+1 ~x1200+1 ~x973+1 ~x718+1 ~x505+1 ~x492+1 ~x295+1 ~x85-0=27
41.46/41.52	c 8 ~x1883078+4 ~x1883077+2 ~x1883076+1 ~x1883075+1 ~x5249+1 ~x5036+1 ~x4460+1 ~x1586+1 ~x1406+1 ~x1201+1 ~x974+1 ~x719+1 ~x506+1 ~x296+1 ~x86-0=25
41.46/41.54	c 131072 ~x1883457+65536 ~x1883456+32768 ~x1883455+16384 ~x1883454+8192 ~x1883453+4096 ~x1883452+2048 ~x1883451+1024 ~x1883450+512 ~x1883449+256 ~x1883448+128 ~x1883447+64 ~x1883446+32 ~x1883445+16 ~x1883444+8 ~x1883443+4 ~x1883442+2 ~x1883441+1 ~x1883440+37420 x2161+9950 ~x2093+9950 ~x2092+8900 ~x2090+9950 ~x2089+1909 ~x2088+11900 ~x2087+9900 ~x2086+15000 ~x2085+15000 ~x2084+15000 ~x2083+5000 ~x2082+15000 ~x2081+16500 ~x2079+10000 ~x2078+16500 ~x2077+5000 ~x2076+5000 ~x2075-0=442602
41.56/41.65	c 8 ~x1888353+4 ~x1888352+2 ~x1888351+1 ~x1888350+1 ~x5250+1 ~x5037+1 ~x4471+1 ~x1407+1 ~x1202+1 ~x975+1 ~x720+1 ~x507+1 ~x297+1 ~x87-0=24
41.56/41.65	c 8 ~x1888688+4 ~x1888687+2 ~x1888686+1 ~x1888685+1 ~x5251+1 ~x5038+1 ~x4482+1 ~x1587+1 ~x1408+1 ~x1204+1 ~x976+1 ~x721+1 ~x508+1 ~x298+1 ~x88-0=25
41.56/41.67	c 2 ~x1889072+1 ~x1889071+1 ~x1588+1 ~x977+1 ~x722-0=5
41.56/41.67	c 8 ~x1889127+4 ~x1889126+2 ~x1889125+1 ~x1889124+1 ~x5253+1 ~x5039+1 ~x4493+1 ~x1205+1 ~x978+1 ~x723+1 ~x509+1 ~x299+1 ~x89-0=23
41.56/41.69	c 128 ~x1889429+64 ~x1889428+32 ~x1889427+16 ~x1889426+8 ~x1889425+4 ~x1889424+2 ~x1889423+1 ~x1889422+1 ~x4041+1 ~x4040+1 ~x4039+1 ~x4037+1 ~x4036+1 ~x4035+1 ~x4034+1 ~x4033+1 ~x4032+1 ~x4031+1 ~x4030+1 ~x4029+1 ~x4028+1 ~x4026+1 ~x4025+1 ~x4024+1 ~x4023+1 ~x4022+1 ~x4021+1 ~x4020+1 ~x4019+1 ~x4018+1 ~x4017+1 ~x4015+1 ~x4014+1 ~x4013+1 ~x4012+1 ~x4011+1 ~x4010+1 ~x4009+1 ~x4008+1 ~x4007+1 ~x4006+1 ~x4004+1 ~x4003+1 ~x4002+1 ~x4001+1 ~x4000+1 ~x3999+1 ~x3998+1 ~x3997+1 ~x3996+1 ~x3995+1 ~x3993+1 ~x3992+1 ~x3991+1 ~x3990+1 ~x3989+1 ~x3988+1 ~x3987+1 ~x3986+1 ~x3985+1 ~x3984+1 ~x3982+1 ~x3981+1 ~x3980+1 ~x3979+1 ~x3978+1 ~x3977+1 ~x3976+1 ~x3975+1 ~x3974+1 ~x3973+1 ~x3971+1 ~x3970+1 ~x3969+1 ~x3968+1 ~x3967+1 ~x3966+1 ~x3965+1 ~x3964+1 ~x3963+1 ~x3962+1 ~x3960+1 ~x3959+1 ~x3958+1 ~x3957+1 ~x3956+1 ~x3955+1 ~x3954+1 ~x3953+1 ~x3952+1 ~x3951+1 ~x3948+1 ~x3947+1 ~x3946+1 ~x3945+1 ~x3944+1 ~x3943+1 ~x3942+1 ~x3941+1 ~x3940+1 ~x3939+1 ~x3937+1 ~x3936+1 ~x3935+1 ~x3934+1 ~x3933+1 ~x3932+1 ~x3931+1 ~x3930+1 ~x3929+1 ~x3928+1 ~x3926+1 ~x3925+1 ~x3924+1 ~x3923+1 ~x3922+1 ~x3921+1 ~x3920+1 ~x3919+1 ~x3918+1 ~x3917+1 ~x3915+1 ~x3914+1 ~x3913+1 ~x3912+1 ~x3911+1 ~x3910+1 ~x3909+1 ~x3908+1 ~x3907+1 ~x3906+1 ~x3904+1 ~x3903+1 ~x3902+1 ~x3901+1 ~x3900+1 ~x3899+1 ~x3898+1 ~x3897+1 ~x3896+1 ~x3895+1 ~x3893+1 ~x3892+1 ~x3891+1 ~x3890+1 ~x3889+1 ~x3888+1 ~x3887+1 ~x3886+1 ~x3885+1 ~x3884+1 ~x3882+1 ~x3881+1 ~x3880+1 ~x3879+1 ~x3878+1 ~x3877+1 ~x3876+1 ~x3875+1 ~x3874+1 ~x3873+1 ~x3871+1 ~x3870+1 ~x3869+1 ~x3868+1 ~x3867+1 ~x3866+1 ~x3865+1 ~x3864+1 ~x3863+1 ~x3862+1 ~x3860+1 ~x3859+1 ~x3858+1 ~x3857+1 ~x3856+1 ~x3855+1 ~x3854+1 ~x3853+1 ~x3852+1 ~x3851+1 ~x3849+1 ~x3848+1 ~x3847+1 ~x3846+1 ~x3845+1 ~x3844+1 ~x3843+1 ~x3842+1 ~x3841+1 ~x3840+1 ~x3837+1 ~x3836+1 ~x3835-0=439
41.97/42.01	c 8 ~x1904113+4 ~x1904112+2 ~x1904111+1 ~x1904110+1 ~x5254+1 ~x5040+1 ~x4506+1 ~x1206+1 ~x979+1 ~x724+1 ~x510+1 ~x300+1 ~x90-0=23
41.97/42.01	c 8 ~x1904418+4 ~x1904417+2 ~x1904416+1 ~x1904415+1 ~x5255+1 ~x5042+1 ~x4517+1 ~x1871+1 ~x1589+1 ~x1409+1 ~x981+1 ~x726+1 ~x511+1 ~x301+1 ~x91-0=25
41.97/42.04	c 8 ~x1904793+4 ~x1904792+2 ~x1904791+1 ~x1904790+1 ~x5256+1 ~x5043+1 ~x4528+1 ~x1872+1 ~x1590+1 ~x1410+1 ~x982+1 ~x728+1 ~x512+1 ~x302+1 ~x93-0=25
41.97/42.04	c 131072 ~x1905172+65536 ~x1905171+32768 ~x1905170+16384 ~x1905169+8192 ~x1905168+4096 ~x1905167+2048 ~x1905166+1024 ~x1905165+512 ~x1905164+256 ~x1905163+128 ~x1905162+64 ~x1905161+32 ~x1905160+16 ~x1905159+8 ~x1905158+4 ~x1905157+2 ~x1905156+1 ~x1905155+38310 x2162+9950 ~x2107+1909 ~x2106+11900 ~x2105+9900 ~x2104+15000 ~x2103+15000 ~x2101+15000 ~x2100+5000 ~x2099+16500 ~x2098+10000 ~x2097+16500 ~x2096+5000 ~x2095+5000 ~x2094-0=398802
42.06/42.13	c 8 ~x1909399+4 ~x1909398+2 ~x1909397+1 ~x1909396+1 ~x5257+1 ~x5044+1 ~x4539+1 ~x1873+1 ~x1591+1 ~x1411+1 ~x983+1 ~x729+1 ~x513+1 ~x304+1 ~x94-0=25
42.06/42.16	c 8 ~x1909774+4 ~x1909773+2 ~x1909772+1 ~x1909771+1 ~x5258+1 ~x5045+1 ~x4550+1 ~x1593+1 ~x1412+1 ~x1207+1 ~x984+1 ~x731+1 ~x515+1 ~x305+1 ~x95-0=25
42.06/42.16	c 8 ~x1910149+4 ~x1910148+2 ~x1910147+1 ~x1910146+1 ~x5259+1 ~x5046+1 ~x4561+1 ~x1594+1 ~x1413+1 ~x1209+1 ~x985+1 ~x732+1 ~x516+1 ~x306+1 ~x96-0=25
42.06/42.18	c 8 ~x1910524+4 ~x1910523+2 ~x1910522+1 ~x1910521+1 ~x5260+1 ~x5047+1 ~x4572+1 ~x1595+1 ~x1415+1 ~x1211+1 ~x986+1 ~x733+1 ~x517+1 ~x307+1 ~x97-0=25
42.06/42.18	c 8 ~x1910889+4 ~x1910888+2 ~x1910887+1 ~x1910886+1 ~x5261+1 ~x5048+1 ~x4583+1 ~x1596+1 ~x1416+1 ~x1212+1 ~x987+1 ~x734+1 ~x518+1 ~x308+1 ~x98-0=25
42.06/42.19	c 4096 ~x1911283+2048 ~x1911282+1024 ~x1911281+512 ~x1911280+256 ~x1911279+128 ~x1911278+64 ~x1911277+32 ~x1911276+16 ~x1911275+8 ~x1911274+4 ~x1911273+2 ~x1911272+1 ~x1911271+1709 x2163+495 ~x2122+495 ~x2121+500 ~x2120+500 ~x2119+420 ~x2118+420 ~x2117+410 ~x2116+420 ~x2115+900 ~x2112+900 ~x2111+900 ~x2110+250 ~x2109+500 ~x2108-0=15301
42.16/42.25	c 8 ~x1913713+4 ~x1913712+2 ~x1913711+1 ~x1913710+1 ~x5262+1 ~x5049+1 ~x4594+1 ~x1216+1 ~x988+1 ~x735+1 ~x519+1 ~x309+1 ~x99-0=23
42.16/42.27	c 8 ~x1914028+4 ~x1914027+2 ~x1914026+1 ~x1914025+1 ~x5264+1 ~x5050+1 ~x4605+1 ~x1597+1 ~x1417+1 ~x1218+1 ~x989+1 ~x737+1 ~x520+1 ~x310+1 ~x100-0=25
42.16/42.27	c 2 ~x1914401+1 ~x1914400+1 ~x1598+1 ~x990+1 ~x738-0=5
42.16/42.28	c 8 ~x1914456+4 ~x1914455+2 ~x1914454+1 ~x1914453+1 ~x5265+1 ~x5051+1 ~x4617+1 ~x1220+1 ~x992+1 ~x739+1 ~x521+1 ~x311+1 ~x101-0=23
42.16/42.28	c 8 ~x1914761+4 ~x1914760+2 ~x1914759+1 ~x1914758+1 ~x5266+1 ~x5054+1 ~x4628+1 ~x1599+1 ~x1418+1 ~x1221+1 ~x993+1 ~x740+1 ~x522+1 ~x312+1 ~x102-0=25
42.27/42.30	c 8 ~x1915126+4 ~x1915125+2 ~x1915124+1 ~x1915123+1 ~x5267+1 ~x5055+1 ~x4639+1 ~x1874+1 ~x1600+1 ~x1419+1 ~x994+1 ~x741+1 ~x523+1 ~x313+1 ~x104-0=25
42.27/42.30	c 8 ~x1915491+4 ~x1915490+2 ~x1915489+1 ~x1915488+1 ~x5268+1 ~x5056+1 ~x4650+1 ~x1601+1 ~x1420+1 ~x1222+1 ~x995+1 ~x742+1 ~x524+1 ~x315+1 ~x105-0=25
42.27/42.32	c 128 ~x1915850+64 ~x1915849+32 ~x1915848+16 ~x1915847+8 ~x1915846+4 ~x1915845+2 ~x1915844+1 ~x1915843+1 ~x4224+1 ~x4223+1 ~x4222+1 ~x4221+1 ~x4220+1 ~x4219+1 ~x4218+1 ~x4217+1 ~x4215+1 ~x4214+1 ~x4213+1 ~x4212+1 ~x4211+1 ~x4210+1 ~x4209+1 ~x4208+1 ~x4207+1 ~x4206+1 ~x4204+1 ~x4203+1 ~x4202+1 ~x4201+1 ~x4200+1 ~x4199+1 ~x4198+1 ~x4197+1 ~x4196+1 ~x4195+1 ~x4193+1 ~x4192+1 ~x4191+1 ~x4190+1 ~x4189+1 ~x4188+1 ~x4187+1 ~x4186+1 ~x4185+1 ~x4184+1 ~x4182+1 ~x4181+1 ~x4180+1 ~x4179+1 ~x4178+1 ~x4177+1 ~x4176+1 ~x4175+1 ~x4174+1 ~x4173+1 ~x4170+1 ~x4169+1 ~x4168+1 ~x4167+1 ~x4166+1 ~x4165+1 ~x4164+1 ~x4163+1 ~x4162+1 ~x4161+1 ~x4159+1 ~x4158+1 ~x4157+1 ~x4156+1 ~x4155+1 ~x4154+1 ~x4153+1 ~x4152+1 ~x4151+1 ~x4150+1 ~x4148+1 ~x4147+1 ~x4146+1 ~x4145+1 ~x4144+1 ~x4143+1 ~x4142+1 ~x4141+1 ~x4140+1 ~x4139+1 ~x4137+1 ~x4136+1 ~x4135+1 ~x4134+1 ~x4133+1 ~x4132+1 ~x4131+1 ~x4130+1 ~x4129+1 ~x4128+1 ~x4126+1 ~x4125+1 ~x4124+1 ~x4123+1 ~x4122+1 ~x4121+1 ~x4120+1 ~x4119+1 ~x4118+1 ~x4117+1 ~x4115+1 ~x4114+1 ~x4113+1 ~x4112+1 ~x4111+1 ~x4110+1 ~x4109+1 ~x4108+1 ~x4107+1 ~x4106+1 ~x4104+1 ~x4103+1 ~x4102+1 ~x4101+1 ~x4100+1 ~x4099+1 ~x4098+1 ~x4097+1 ~x4096+1 ~x4095+1 ~x4093+1 ~x4092+1 ~x4091+1 ~x4090+1 ~x4089+1 ~x4088+1 ~x4087+1 ~x4086+1 ~x4085+1 ~x4084+1 ~x4082+1 ~x4081+1 ~x4080+1 ~x4079+1 ~x4078+1 ~x4077+1 ~x4076+1 ~x4075+1 ~x4074+1 ~x4073+1 ~x4071+1 ~x4070+1 ~x4069+1 ~x4068+1 ~x4067+1 ~x4066+1 ~x4065+1 ~x4064+1 ~x4063+1 ~x4062+1 ~x4059+1 ~x4058+1 ~x4057+1 ~x4056+1 ~x4055+1 ~x4054+1 ~x4053+1 ~x4052+1 ~x4051+1 ~x4050+1 ~x4048+1 ~x4047+1 ~x4046+1 ~x4045+1 ~x4044+1 ~x4043+1 ~x4042-0=418
42.57/42.61	c 8192 ~x1928919+4096 ~x1928918+2048 ~x1928917+1024 ~x1928916+512 ~x1928915+256 ~x1928914+128 ~x1928913+64 ~x1928912+32 ~x1928911+16 ~x1928910+8 ~x1928909+4 ~x1928908+2 ~x1928907+1 ~x1928906+3637 x2164+995 ~x2131+995 ~x2130+995 ~x2129+580 ~x2128+890 ~x2127+1190 ~x2126+1500 ~x2124+1500 ~x2123-0=25028
42.57/42.65	c 8 ~x1930941+4 ~x1930940+2 ~x1930939+1 ~x1930938+1 ~x5269+1 ~x5057+1 ~x4661+1 ~x1602+1 ~x1421+1 ~x996+1 ~x743+1 ~x526+1 ~x316+1 ~x106-0=24
42.57/42.67	c 8 ~x1931276+4 ~x1931275+2 ~x1931274+1 ~x1931273+1 ~x5270+1 ~x5058+1 ~x4672+1 ~x1875+1 ~x1604+1 ~x1422+1 ~x997+1 ~x744+1 ~x527+1 ~x317+1 ~x107-0=25
42.57/42.67	c 8 ~x1931641+4 ~x1931640+2 ~x1931639+1 ~x1931638+1 ~x5271+1 ~x5059+1 ~x4683+1 ~x1876+1 ~x1605+1 ~x1423+1 ~x998+1 ~x745+1 ~x528+1 ~x318+1 ~x108-0=25
42.57/42.69	c 8 ~x1932016+4 ~x1932015+2 ~x1932014+1 ~x1932013+1 ~x5272+1 ~x5060+1 ~x4694+1 ~x1606+1 ~x1424+1 ~x1227+1 ~x999+1 ~x746+1 ~x529+1 ~x319+1 ~x109-0=25
42.66/42.71	c 8 ~x1932391+4 ~x1932390+2 ~x1932389+1 ~x1932388+1 ~x5273+1 ~x5061+1 ~x4705+1 ~x1607+1 ~x1426+1 ~x1228+1 ~x1000+1 ~x749+1 ~x530+1 ~x320+1 ~x110-0=25
42.66/42.71	c 8 ~x1932756+4 ~x1932755+2 ~x1932754+1 ~x1932753+1 ~x5276+1 ~x5062+1 ~x4716+1 ~x1229+1 ~x1001+1 ~x750+1 ~x531+1 ~x321+1 ~x111-0=23
42.66/42.72	c 1024 ~x1933088+512 ~x1933087+256 ~x1933086+128 ~x1933085+64 ~x1933084+32 ~x1933083+16 ~x1933082+8 ~x1933081+4 ~x1933080+2 ~x1933079+1 ~x1933078+732 x2165+199 ~x2139+199 ~x2138+178 ~x2137+238 ~x2135+300 ~x2134+300 ~x2133+300 ~x2132-0=3761
42.66/42.78	c 2 ~x1934478+1 ~x1934477+1 ~x1004+1 ~x752+1 ~x525-0=5
42.66/42.78	c 8 ~x1934533+4 ~x1934532+2 ~x1934531+1 ~x1934530+1 ~x5277+1 ~x5063+1 ~x4728+1 ~x2861+1 ~x1233+1 ~x1005+1 ~x753+1 ~x536+1 ~x532+1 ~x322+1 ~x112-0=25
42.66/42.78	c 4 ~x1934917+2 ~x1934916+1 ~x1934915+1 ~x5278+1 ~x1608+1 ~x1235+1 ~x1006+1 ~x754+1 ~x559-0=12
42.66/42.79	c 64 ~x1935078+32 ~x1935077+16 ~x1935076+8 ~x1935075+4 ~x1935074+2 ~x1935073+1 ~x1935072+1 ~x4351+1 ~x4350+1 ~x4348+1 ~x4347+1 ~x4346+1 ~x4345+1 ~x4344+1 ~x4343+1 ~x4342+1 ~x4341+1 ~x4340+1 ~x4339+1 ~x4337+1 ~x4336+1 ~x4335+1 ~x4334+1 ~x4333+1 ~x4332+1 ~x4331+1 ~x4330+1 ~x4329+1 ~x4328+1 ~x4326+1 ~x4325+1 ~x4324+1 ~x4323+1 ~x4322+1 ~x4321+1 ~x4320+1 ~x4319+1 ~x4318+1 ~x4317+1 ~x4315+1 ~x4314+1 ~x4313+1 ~x4312+1 ~x4311+1 ~x4310+1 ~x4309+1 ~x4308+1 ~x4307+1 ~x4306+1 ~x4304+1 ~x4303+1 ~x4302+1 ~x4301+1 ~x4300+1 ~x4299+1 ~x4298+1 ~x4297+1 ~x4296+1 ~x4295+1 ~x4293+1 ~x4292+1 ~x4291+1 ~x4290+1 ~x4289+1 ~x4288+1 ~x4287+1 ~x4286+1 ~x4285+1 ~x4284+1 ~x4281+1 ~x4280+1 ~x4279+1 ~x4278+1 ~x4277+1 ~x4276+1 ~x4275+1 ~x4274+1 ~x4273+1 ~x4272+1 ~x4270+1 ~x4269+1 ~x4268+1 ~x4267+1 ~x4266+1 ~x4265+1 ~x4264+1 ~x4263+1 ~x4262+1 ~x4261+1 ~x4259+1 ~x4258+1 ~x4257+1 ~x4256+1 ~x4255+1 ~x4254+1 ~x4253+1 ~x4252+1 ~x4251+1 ~x4250+1 ~x4248+1 ~x4247+1 ~x4246+1 ~x4245+1 ~x4244+1 ~x4243+1 ~x4242+1 ~x4241+1 ~x4240+1 ~x4239+1 ~x4237+1 ~x4236+1 ~x4235+1 ~x4234+1 ~x4233+1 ~x4232+1 ~x4231+1 ~x4230+1 ~x4229+1 ~x4228+1 ~x4226+1 ~x4225-0=239
42.88/42.97	c 2 ~x1943003+1 ~x1943002+1 ~x1609+1 ~x1007+1 ~x755-0=5
42.88/42.97	c 8 ~x1943068+4 ~x1943067+2 ~x1943066+1 ~x1943065+1 ~x5279+1 ~x5065+1 ~x4739+1 ~x1427+1 ~x1236+1 ~x1008+1 ~x756+1 ~x533+1 ~x323+1 ~x113-0=24
42.97/43.00	c 8 ~x1943483+4 ~x1943482+2 ~x1943481+1 ~x1943480+1 ~x5383+1 ~x5161+1 ~x4952+1 ~x3617+1 ~x2125+1 ~x1121+1 ~x1113+1 ~x868+1 ~x631+1 ~x421+1 ~x211-0=25
42.97/43.00	c 4 ~x1943837+2 ~x1943836+1 ~x1943835+1 ~x5280+1 ~x1756+1 ~x1610+1 ~x1238+1 ~x1009+1 ~x757+1 ~x625-0=13
42.97/43.02	c 4 ~x1944009+2 ~x1944008+1 ~x1944007+1 ~x5281+1 ~x1611+1 ~x1239+1 ~x1010+1 ~x759+1 ~x636-0=12
42.97/43.02	c 128 ~x1944162+64 ~x1944161+32 ~x1944160+16 ~x1944159+8 ~x1944158+4 ~x1944157+2 ~x1944156+1 ~x1944155+1 ~x4509+1 ~x4508+1 ~x4507+1 ~x4503+1 ~x4502+1 ~x4501+1 ~x4500+1 ~x4499+1 ~x4498+1 ~x4497+1 ~x4496+1 ~x4495+1 ~x4494+1 ~x4492+1 ~x4491+1 ~x4490+1 ~x4489+1 ~x4488+1 ~x4487+1 ~x4486+1 ~x4485+1 ~x4484+1 ~x4483+1 ~x4481+1 ~x4480+1 ~x4479+1 ~x4478+1 ~x4477+1 ~x4476+1 ~x4475+1 ~x4474+1 ~x4473+1 ~x4472+1 ~x4470+1 ~x4469+1 ~x4468+1 ~x4467+1 ~x4466+1 ~x4465+1 ~x4464+1 ~x4463+1 ~x4462+1 ~x4461+1 ~x4459+1 ~x4458+1 ~x4457+1 ~x4456+1 ~x4455+1 ~x4454+1 ~x4453+1 ~x4452+1 ~x4451+1 ~x4450+1 ~x4448+1 ~x4447+1 ~x4446+1 ~x4445+1 ~x4444+1 ~x4443+1 ~x4442+1 ~x4441+1 ~x4440+1 ~x4439+1 ~x4437+1 ~x4436+1 ~x4435+1 ~x4434+1 ~x4433+1 ~x4432+1 ~x4431+1 ~x4430+1 ~x4429+1 ~x4428+1 ~x4426+1 ~x4425+1 ~x4424+1 ~x4423+1 ~x4422+1 ~x4421+1 ~x4420+1 ~x4419+1 ~x4418+1 ~x4417+1 ~x4415+1 ~x4414+1 ~x4413+1 ~x4412+1 ~x4411+1 ~x4410+1 ~x4409+1 ~x4408+1 ~x4407+1 ~x4406+1 ~x4404+1 ~x4403+1 ~x4402+1 ~x4401+1 ~x4400+1 ~x4399+1 ~x4398+1 ~x4397+1 ~x4396+1 ~x4395+1 ~x4392+1 ~x4391+1 ~x4390+1 ~x4389+1 ~x4388+1 ~x4387+1 ~x4386+1 ~x4385+1 ~x4384+1 ~x4383+1 ~x4381+1 ~x4380+1 ~x4379+1 ~x4378+1 ~x4377+1 ~x4376+1 ~x4375+1 ~x4374+1 ~x4373+1 ~x4372+1 ~x4370+1 ~x4369+1 ~x4368+1 ~x4367+1 ~x4366+1 ~x4365+1 ~x4364+1 ~x4363+1 ~x4362+1 ~x4361+1 ~x4359+1 ~x4358+1 ~x4357+1 ~x4356+1 ~x4355+1 ~x4354+1 ~x4353+1 ~x4352-0=394
43.27/43.30	c 8 ~x1955339+4 ~x1955338+2 ~x1955337+1 ~x1955336+1 ~x5282+1 ~x5066+1 ~x4750+1 ~x2872+1 ~x1240+1 ~x1011+1 ~x760+1 ~x658+1 ~x534+1 ~x324+1 ~x116-0=25
43.27/43.30	c 4 ~x1955703+2 ~x1955702+1 ~x1955701+1 ~x5283+1 ~x1241+1 ~x1012+1 ~x761+1 ~x670-0=11
43.27/43.32	c 4 ~x1955827+2 ~x1955826+1 ~x1955825+1 ~x5284+1 ~x1242+1 ~x1013+1 ~x762+1 ~x681-0=11
43.27/43.32	c 4 ~x1955951+2 ~x1955950+1 ~x1955949+1 ~x5285+1 ~x1243+1 ~x1015+1 ~x763+1 ~x692-0=11
43.27/43.32	c 4 ~x1956075+2 ~x1956074+1 ~x1956073+1 ~x5287+1 ~x1244+1 ~x1016+1 ~x764+1 ~x703-0=11
43.27/43.34	c 4 ~x1956199+2 ~x1956198+1 ~x1956197+1 ~x5288+1 ~x1245+1 ~x1017+1 ~x765+1 ~x714-0=11
43.27/43.34	c 8 ~x1956324+4 ~x1956323+2 ~x1956322+1 ~x1956321+1 ~x5289+1 ~x5067+1 ~x4761+1 ~x2883+1 ~x1246+1 ~x1018+1 ~x766+1 ~x725+1 ~x535+1 ~x326+1 ~x117-0=25
43.27/43.34	c 8 ~x1956689+4 ~x1956688+2 ~x1956687+1 ~x1956686+1 ~x5290+1 ~x5068+1 ~x4772+1 ~x2894+1 ~x1247+1 ~x1019+1 ~x767+1 ~x736+1 ~x537+1 ~x327+1 ~x118-0=25
43.27/43.35	c 8 ~x1957054+4 ~x1957053+2 ~x1957052+1 ~x1957051+1 ~x5291+1 ~x5069+1 ~x4783+1 ~x2905+1 ~x1249+1 ~x1020+1 ~x768+1 ~x747+1 ~x538+1 ~x328+1 ~x119-0=25
43.27/43.37	c 4 ~x1957418+2 ~x1957417+1 ~x1957416+1 ~x5292+1 ~x1250+1 ~x1021+1 ~x770+1 ~x758-0=11
43.27/43.37	c 8 ~x1957543+4 ~x1957542+2 ~x1957541+1 ~x1957540+1 ~x5293+1 ~x5070+1 ~x4794+1 ~x2916+1 ~x1251+1 ~x1022+1 ~x771+1 ~x769+1 ~x539+1 ~x329+1 ~x120-0=25
43.27/43.39	c 8 ~x1957908+4 ~x1957907+2 ~x1957906+1 ~x1957905+1 ~x5294+1 ~x5071+1 ~x4805+1 ~x2927+1 ~x1252+1 ~x1023+1 ~x781+1 ~x772+1 ~x540+1 ~x330+1 ~x121-0=25
43.27/43.39	c 8 ~x1958284+4 ~x1958283+2 ~x1958282+1 ~x1958281+1 ~x5295+1 ~x5072+1 ~x4816+1 ~x2938+1 ~x1963+1 ~x1877+1 ~x1759+1 ~x1612+1 ~x1428+1 ~x1253+1 ~x1024+1 ~x803+1 ~x773+1 ~x541+1 ~x331+1 ~x122-0=30
43.37/43.40	c 8 ~x1958846+4 ~x1958845+2 ~x1958844+1 ~x1958843+1 ~x5296+1 ~x5073+1 ~x4827+1 ~x2950+1 ~x1964+1 ~x1878+1 ~x1760+1 ~x1613+1 ~x1429+1 ~x1254+1 ~x1026+1 ~x814+1 ~x774+1 ~x542+1 ~x332+1 ~x123-0=30
43.37/43.44	c 8 ~x1959408+4 ~x1959407+2 ~x1959406+1 ~x1959405+1 ~x5298+1 ~x5074+1 ~x4839+1 ~x2961+1 ~x1965+1 ~x1879+1 ~x1761+1 ~x1615+1 ~x1430+1 ~x1255+1 ~x1027+1 ~x825+1 ~x775+1 ~x543+1 ~x333+1 ~x124-0=30
43.37/43.44	c 8 ~x1959970+4 ~x1959969+2 ~x1959968+1 ~x1959967+1 ~x5299+1 ~x5076+1 ~x4850+1 ~x2972+1 ~x1966+1 ~x1881+1 ~x1762+1 ~x1616+1 ~x1431+1 ~x1256+1 ~x1028+1 ~x836+1 ~x776+1 ~x544+1 ~x334+1 ~x125-0=30
43.37/43.45	c 64 ~x1960526+32 ~x1960525+16 ~x1960524+8 ~x1960523+4 ~x1960522+2 ~x1960521+1 ~x1960520+1 ~x4607+1 ~x4606+1 ~x4604+1 ~x4603+1 ~x4602+1 ~x4601+1 ~x4600+1 ~x4599+1 ~x4598+1 ~x4597+1 ~x4596+1 ~x4595+1 ~x4593+1 ~x4592+1 ~x4591+1 ~x4590+1 ~x4589+1 ~x4588+1 ~x4587+1 ~x4586+1 ~x4585+1 ~x4584+1 ~x4582+1 ~x4581+1 ~x4580+1 ~x4579+1 ~x4578+1 ~x4577+1 ~x4576+1 ~x4575+1 ~x4574+1 ~x4573+1 ~x4571+1 ~x4570+1 ~x4569+1 ~x4568+1 ~x4567+1 ~x4566+1 ~x4565+1 ~x4564+1 ~x4563+1 ~x4562+1 ~x4560+1 ~x4559+1 ~x4558+1 ~x4557+1 ~x4556+1 ~x4555+1 ~x4554+1 ~x4553+1 ~x4552+1 ~x4551+1 ~x4549+1 ~x4548+1 ~x4547+1 ~x4546+1 ~x4545+1 ~x4544+1 ~x4543+1 ~x4542+1 ~x4541+1 ~x4540+1 ~x4538+1 ~x4537+1 ~x4536+1 ~x4535+1 ~x4534+1 ~x4533+1 ~x4532+1 ~x4531+1 ~x4530+1 ~x4529+1 ~x4527+1 ~x4526+1 ~x4525+1 ~x4524+1 ~x4523+1 ~x4522+1 ~x4521+1 ~x4520+1 ~x4519+1 ~x4518+1 ~x4516+1 ~x4515+1 ~x4514+1 ~x4513+1 ~x4512+1 ~x4511+1 ~x4510-0=214
43.57/43.61	c 2097152 ~x1966744+1048576 ~x1966743+524288 ~x1966742+262144 ~x1966741+131072 ~x1966740+65536 ~x1966739+32768 ~x1966738+16384 ~x1966737+8192 ~x1966736+4096 ~x1966735+2048 ~x1966734+1024 ~x1966733+512 ~x1966732+256 ~x1966731+128 ~x1966730+64 ~x1966729+32 ~x1966728+16 ~x1966727+8 ~x1966726+4 ~x1966725+2 ~x1966724+1 ~x1966723+18000 ~x5374+5000 ~x5363+10000 ~x5352+7200 ~x5341+13700 ~x5330+10000 ~x5319+10000 ~x5308+18000 ~x5297+10000 ~x5286+17500 ~x5275+12000 ~x5274+15000 ~x5263+10000 ~x5252+10000 ~x5241+15000 ~x5230+5300 ~x5219+15000 ~x5208+15000 ~x5197+8900 ~x5186+12000 ~x5175+10000 ~x5164+5000 ~x5163+5000 ~x5152+5000 ~x5141+15000 ~x5130+10000 ~x5119+5000 ~x5108+5000 ~x5097+5000 ~x5086+14900 ~x5075+5000 ~x5064+15000 ~x5053+10000 ~x5052+17500 ~x5041+10000 ~x5030+10000 ~x5019+12000 ~x5008+12500 ~x4997+10000 ~x4986+20000 ~x4975+10000 ~x4964+10000 ~x4953+20000 ~x4942+10000 ~x4941+15000 ~x4930+5000 ~x4919+5000 ~x4908+5000 ~x4897+15000 ~x4886+15000 ~x4875+15000 ~x4838+5000 ~x4727+10000 ~x4616+15000 ~x4505+10000 ~x4504+10000 ~x4393+5000 ~x4282+10000 ~x4171+10000 ~x4060+5000 ~x3949+9000 ~x3838+15000 ~x3727+10000 ~x3616+15000 ~x3505+15000 ~x3394+10000 ~x3393+5000 ~x3282+10000 ~x3171+5000 ~x3060+12000 ~x2949+15000 ~x2838+15000 ~x2727+15000 ~x2616+9000 ~x2505+10000 ~x2394+15000 ~x2283+15000 ~x2282+21200 x2140+9950 ~x2114+8000 ~x2113+9950 ~x2102+8950 ~x2091+9950 ~x2080+9950 ~x2069+9950 ~x2058+9950 ~x2047+9950 ~x2036+9950 ~x2025+5570 ~x2014+7760 ~x2003+5000 ~x2002+8950 ~x1991+11950 ~x1980+9950 ~x1969+9950 ~x1958+4900 ~x1947+5800 ~x1936+3861 ~x1925+5600 ~x1914+9900 ~x1903+4800 ~x1892+10000 ~x1891+7400 ~x1880+4631 ~x1869+4716 ~x1858+3410 ~x1847+9900 ~x1836+8900 ~x1825+8900 ~x1814+8900 ~x1803+8900 ~x1792+8900 ~x1781+5000 ~x1780+9900 ~x1769+9900 ~x1758+9900 ~x1747+9900 ~x1736+9900 ~x1725+9900 ~x1714+9900 ~x1703+6900 ~x1692+9900 ~x1681+9900 ~x1670+10000 ~x1669+9900 ~x1658+9950 ~x1647+4965 ~x1636+8950 ~x1625+9950 ~x1614+9950 ~x1603+9950 ~x1592+7960 ~x1581+5600 ~x1570+8200 ~x1559+10000 ~x1558+9900 ~x1547+1872 ~x1536+11900 ~x1525+1872 ~x1514+9900 ~x1503+2840 ~x1492+2908 ~x1481+14900 ~x1470+14900 ~x1459+11900 ~x1448+5000 ~x1447+11900 ~x1436+11900 ~x1425+11900 ~x1414+9900 ~x1403+9900 ~x1392+9900 ~x1381+9900 ~x1370+9900 ~x1359+9900 ~x1348+9900 ~x1337+15000 ~x1336+9900 ~x1325+9900 ~x1314+9900 ~x1303+9900 ~x1292+10900 ~x1281+10900 ~x1270+9900 ~x1259+9900 ~x1248+9900 ~x1237+9900 ~x1226+20000 ~x1225+9900 ~x1214+9900 ~x1203+9900 ~x1192+9900 ~x1181+9900 ~x1170+9900 ~x1159+9900 ~x1148+3900 ~x1137+15000 ~x1126+8700 ~x1115+10000 ~x1114+15000 ~x1113+14500 ~x1102+15000 ~x1091+15000 ~x1080+15000 ~x1069+17000 ~x1058+10000 ~x1047+20000 ~x1036+15000 ~x1025+15000 ~x1014+15000 ~x1003+7200 ~x1002+15000 ~x991+15000 ~x980+15000 ~x969+15000 ~x958+15000 ~x947+15000 ~x936+9000 ~x925+20000 ~x914+20000 ~x903+15000 ~x892+10000 ~x891+15000 ~x880+15000 ~x869+9000 ~x858+9000 ~x847+9000 ~x836+13000 ~x825+9000 ~x814+13000 ~x803+9000 ~x792+9000 ~x781+10000 ~x780+15000 ~x769+15000 ~x758+9300 ~x747+9300 ~x736+9300 ~x725+13000 ~x714+13000 ~x703+20000 ~x692+20000 ~x681+15000 ~x670+5000 ~x669+15000 ~x658+10000 ~x647+15000 ~x636+13000 ~x625+10000 ~x614+10000 ~x603+4000 ~x592+5400 ~x581+14300 ~x570+15000 ~x559+5000 ~x558+15000 ~x547+15000 ~x536+8000 ~x525+12000 ~x514+8100 ~x503+15000 ~x492+8100 ~x481+12000 ~x470+8400 ~x459+8100 ~x448+10000 ~x447+8400 ~x436+12000 ~x425+8100 ~x414+8200 ~x403+8400 ~x392+13200 ~x381+5000 ~x370+14900 ~x359+5000 ~x348+5000 ~x337+10000 ~x336+15000 ~x325+20000 ~x314+15000 ~x303+20000 ~x292+20000 ~x281+5000 ~x270+15000 ~x259+20000 ~x248+17500 ~x237+15000 ~x226+5000 ~x225+5000 ~x214+20000 ~x203+20000 ~x192+17500 ~x181+17500 ~x170+15000 ~x159+17500 ~x148+15000 ~x137+15000 ~x126+10000 ~x115+10000 ~x114+15000 ~x103+17500 ~x92+17500 ~x81+15000 ~x70+20000 ~x59+15000 ~x48+15000 ~x37+14000 ~x26+15000 ~x15+5000 ~x4+15000 ~x3+10000 ~x2-0=7396268
44.98/45.04	c 8 ~x2035124+4 ~x2035123+2 ~x2035122+1 ~x2035121+1 ~x5384+1 ~x5162+1 ~x4954+1 ~x3628+1 ~x2282+1 ~x2136+1 ~x1496+1 ~x1341+1 ~x1123+1 ~x870+1 ~x632+1 ~x422+1 ~x212-0=27
44.98/45.04	c 8 ~x2035539+4 ~x2035538+2 ~x2035537+1 ~x2035536+1 ~x5300+1 ~x5077+1 ~x4861+1 ~x2983+1 ~x1967+1 ~x1882+1 ~x1763+1 ~x1617+1 ~x1432+1 ~x1257+1 ~x1029+1 ~x847+1 ~x777+1 ~x545+1 ~x335+1 ~x127-0=30
44.98/45.06	c 8 ~x2036101+4 ~x2036100+2 ~x2036099+1 ~x2036098+1 ~x5301+1 ~x5078+1 ~x4868+1 ~x2994+1 ~x1618+1 ~x1433+1 ~x1258+1 ~x1030+1 ~x858+1 ~x778+1 ~x546+1 ~x338+1 ~x128-0=27
44.98/45.08	c 8 ~x2036526+4 ~x2036525+2 ~x2036524+1 ~x2036523+1 ~x5302+1 ~x5079+1 ~x4869+1 ~x3005+1 ~x1260+1 ~x1031+1 ~x869+1 ~x779+1 ~x548+1 ~x339+1 ~x129-0=25
44.98/45.08	c 8 ~x2036891+4 ~x2036890+2 ~x2036889+1 ~x2036888+1 ~x5303+1 ~x5080+1 ~x4870+1 ~x3016+1 ~x1261+1 ~x1032+1 ~x880+1 ~x782+1 ~x549+1 ~x340+1 ~x130-0=25
44.98/45.09	c 8 ~x2037256+4 ~x2037255+2 ~x2037254+1 ~x2037253+1 ~x5304+1 ~x5081+1 ~x4871+1 ~x3027+1 ~x1262+1 ~x1033+1 ~x892+1 ~x783+1 ~x550+1 ~x341+1 ~x131-0=25
45.08/45.11	c 8 ~x2037621+4 ~x2037620+2 ~x2037619+1 ~x2037618+1 ~x5305+1 ~x5082+1 ~x4872+1 ~x3038+1 ~x1263+1 ~x1034+1 ~x903+1 ~x784+1 ~x551+1 ~x342+1 ~x132-0=25
45.08/45.11	c 8 ~x2037986+4 ~x2037985+2 ~x2037984+1 ~x2037983+1 ~x5306+1 ~x5083+1 ~x4873+1 ~x3049+1 ~x1264+1 ~x1035+1 ~x914+1 ~x785+1 ~x552+1 ~x343+1 ~x133-0=25
45.08/45.14	c 8 ~x2038372+4 ~x2038371+2 ~x2038370+1 ~x2038369+1 ~x5307+1 ~x5084+1 ~x4874+1 ~x3061+1 ~x1619+1 ~x1434+1 ~x1265+1 ~x1037+1 ~x936+1 ~x787+1 ~x553+1 ~x344+1 ~x134-0=27
45.08/45.14	c 8 ~x2038797+4 ~x2038796+2 ~x2038795+1 ~x2038794+1 ~x5165+1 ~x4955+1 ~x3639+1 ~x3393+1 ~x2147+1 ~x2033+1 ~x2000+1 ~x1922+1 ~x1823+1 ~x1685+1 ~x1497+1 ~x1342+1 ~x871+1 ~x423+1 ~x213+1 ~x5-0=30
45.08/45.15	c 4 ~x2039348+2 ~x2039347+1 ~x2039346+1 ~x5309+1 ~x1620+1 ~x1266+1 ~x1038+1 ~x947+1 ~x788-0=12
45.08/45.16	c 4 ~x2039496+2 ~x2039495+1 ~x2039494+1 ~x5310+1 ~x1267+1 ~x1039+1 ~x958+1 ~x789-0=11
45.08/45.16	c 64 ~x2039621+32 ~x2039620+16 ~x2039619+8 ~x2039618+4 ~x2039617+2 ~x2039616+1 ~x2039615+1 ~x4688+1 ~x4687+1 ~x4686+1 ~x4685+1 ~x4684+1 ~x4682+1 ~x4681+1 ~x4680+1 ~x4679+1 ~x4678+1 ~x4677+1 ~x4676+1 ~x4675+1 ~x4674+1 ~x4673+1 ~x4671+1 ~x4670+1 ~x4669+1 ~x4668+1 ~x4667+1 ~x4666+1 ~x4665+1 ~x4664+1 ~x4663+1 ~x4662+1 ~x4660+1 ~x4659+1 ~x4658+1 ~x4657+1 ~x4656+1 ~x4655+1 ~x4654+1 ~x4653+1 ~x4652+1 ~x4651+1 ~x4649+1 ~x4648+1 ~x4647+1 ~x4646+1 ~x4645+1 ~x4644+1 ~x4643+1 ~x4642+1 ~x4641+1 ~x4640+1 ~x4638+1 ~x4637+1 ~x4636+1 ~x4635+1 ~x4634+1 ~x4633+1 ~x4632+1 ~x4631+1 ~x4630+1 ~x4629+1 ~x4627+1 ~x4626+1 ~x4625+1 ~x4624+1 ~x4623+1 ~x4622+1 ~x4621+1 ~x4620+1 ~x4619+1 ~x4618+1 ~x4615+1 ~x4614+1 ~x4613+1 ~x4612+1 ~x4611+1 ~x4610+1 ~x4609+1 ~x4608-0=198
45.16/45.26	c 4 ~x2043485+2 ~x2043484+1 ~x2043483+1 ~x5311+1 ~x1268+1 ~x1040+1 ~x969+1 ~x790-0=11
45.16/45.26	c 4 ~x2043609+2 ~x2043608+1 ~x2043607+1 ~x5312+1 ~x1269+1 ~x1041+1 ~x980+1 ~x791-0=11
45.16/45.26	c 4 ~x2043733+2 ~x2043732+1 ~x2043731+1 ~x5313+1 ~x1621+1 ~x1271+1 ~x1042+1 ~x991+1 ~x793-0=12
45.16/45.27	c 4 ~x2043881+2 ~x2043880+1 ~x2043879+1 ~x5314+1 ~x1765+1 ~x1622+1 ~x1272+1 ~x1043+1 ~x1003+1 ~x794-0=13
45.16/45.27	c 4 ~x2044063+2 ~x2044062+1 ~x2044061+1 ~x5315+1 ~x1274+1 ~x1044+1 ~x1014+1 ~x795-0=11
45.16/45.29	c 8 ~x2044188+4 ~x2044187+2 ~x2044186+1 ~x2044185+1 ~x5316+1 ~x5085+1 ~x4876+1 ~x3072+1 ~x1623+1 ~x1435+1 ~x1275+1 ~x1045+1 ~x1025+1 ~x796+1 ~x554+1 ~x345+1 ~x135-0=27
45.16/45.29	c 8 ~x2044613+4 ~x2044612+2 ~x2044611+1 ~x2044610+1 ~x5317+1 ~x5087+1 ~x4877+1 ~x3083+1 ~x2021+1 ~x1968+1 ~x1883+1 ~x1766+1 ~x1624+1 ~x1437+1 ~x1046+1 ~x1036+1 ~x555+1 ~x346+1 ~x136-0=29
45.26/45.31	c 32 ~x2045148+16 ~x2045147+8 ~x2045146+4 ~x2045145+2 ~x2045144+1 ~x2045143+1 ~x4751+1 ~x4749+1 ~x4748+1 ~x4747+1 ~x4746+1 ~x4745+1 ~x4744+1 ~x4743+1 ~x4742+1 ~x4741+1 ~x4740+1 ~x4738+1 ~x4737+1 ~x4736+1 ~x4735+1 ~x4734+1 ~x4733+1 ~x4732+1 ~x4731+1 ~x4730+1 ~x4729+1 ~x4726+1 ~x4725+1 ~x4724+1 ~x4723+1 ~x4722+1 ~x4721+1 ~x4720+1 ~x4719+1 ~x4718+1 ~x4717+1 ~x4715+1 ~x4714+1 ~x4713+1 ~x4712+1 ~x4711+1 ~x4710+1 ~x4709+1 ~x4708+1 ~x4707+1 ~x4706+1 ~x4704+1 ~x4703+1 ~x4702+1 ~x4701+1 ~x4700+1 ~x4699+1 ~x4698+1 ~x4697+1 ~x4696+1 ~x4695+1 ~x4693+1 ~x4692+1 ~x4691+1 ~x4690+1 ~x4689-0=117
45.26/45.38	c 8 ~x2048098+4 ~x2048097+2 ~x2048096+1 ~x2048095+1 ~x5318+1 ~x5088+1 ~x4878+1 ~x3094+1 ~x1970+1 ~x1884+1 ~x1767+1 ~x1626+1 ~x1438+1 ~x1276+1 ~x1058+1 ~x1048+1 ~x797+1 ~x556+1 ~x347+1 ~x138-0=30
45.26/45.39	c 8 ~x2048660+4 ~x2048659+2 ~x2048658+1 ~x2048657+1 ~x5320+1 ~x5089+1 ~x4879+1 ~x3105+1 ~x1277+1 ~x1069+1 ~x1049+1 ~x798+1 ~x557+1 ~x349+1 ~x139-0=25
45.36/45.41	c 8 ~x2049025+4 ~x2049024+2 ~x2049023+1 ~x2049022+1 ~x5321+1 ~x5090+1 ~x4880+1 ~x3116+1 ~x1278+1 ~x1080+1 ~x1050+1 ~x799+1 ~x560+1 ~x350+1 ~x140-0=25
45.36/45.41	c 8 ~x2049390+4 ~x2049389+2 ~x2049388+1 ~x2049387+1 ~x5322+1 ~x5091+1 ~x4881+1 ~x3127+1 ~x1971+1 ~x1885+1 ~x1768+1 ~x1627+1 ~x1439+1 ~x1279+1 ~x1091+1 ~x1051+1 ~x800+1 ~x561+1 ~x351+1 ~x141-0=30
45.36/45.43	c 8 ~x2049952+4 ~x2049951+2 ~x2049950+1 ~x2049949+1 ~x5323+1 ~x5092+1 ~x4882+1 ~x3138+1 ~x1628+1 ~x1440+1 ~x1280+1 ~x1102+1 ~x1052+1 ~x801+1 ~x562+1 ~x352+1 ~x142-0=27
45.36/45.44	c 16 ~x2050397+8 ~x2050396+4 ~x2050395+2 ~x2050394+1 ~x2050393+1 ~x4777+1 ~x4776+1 ~x4775+1 ~x4774+1 ~x4773+1 ~x4771+1 ~x4770+1 ~x4769+1 ~x4768+1 ~x4767+1 ~x4766+1 ~x4765+1 ~x4764+1 ~x4763+1 ~x4762+1 ~x4760+1 ~x4759+1 ~x4758+1 ~x4757+1 ~x4756+1 ~x4755+1 ~x4754+1 ~x4753+1 ~x4752-0=53
45.36/45.49	c 8 ~x2051512+4 ~x2051511+2 ~x2051510+1 ~x2051509+1 ~x5324+1 ~x5093+1 ~x4883+1 ~x3149+1 ~x1972+1 ~x1886+1 ~x1770+1 ~x1629+1 ~x1441+1 ~x1282+1 ~x1126+1 ~x1053+1 ~x804+1 ~x563+1 ~x353+1 ~x143-0=30
45.36/45.49	c 8 ~x2052074+4 ~x2052073+2 ~x2052072+1 ~x2052071+1 ~x5325+1 ~x5094+1 ~x4884+1 ~x1630+1 ~x1442+1 ~x1283+1 ~x1054+1 ~x805+1 ~x564+1 ~x354+1 ~x144-0=25
45.46/45.50	c 8 ~x2052440+4 ~x2052439+2 ~x2052438+1 ~x2052437+1 ~x5326+1 ~x5095+1 ~x4885+1 ~x3160+1 ~x1973+1 ~x1887+1 ~x1771+1 ~x1631+1 ~x1443+1 ~x1284+1 ~x1137+1 ~x1055+1 ~x806+1 ~x565+1 ~x355+1 ~x145-0=30
45.46/45.52	c 8 ~x2053001+4 ~x2053000+2 ~x2052999+1 ~x2052998+1 ~x4791+1 ~x4790+1 ~x4789+1 ~x4788+1 ~x4787+1 ~x4786+1 ~x4785+1 ~x4784+1 ~x4782+1 ~x4781+1 ~x4780+1 ~x4779+1 ~x4778-0=26
45.46/45.52	c 8 ~x2053416+4 ~x2053415+2 ~x2053414+1 ~x2053413+1 ~x5327+1 ~x5096+1 ~x4887+1 ~x3172+1 ~x1632+1 ~x1444+1 ~x1285+1 ~x1148+1 ~x1056+1 ~x807+1 ~x566+1 ~x356+1 ~x146-0=27
45.46/45.54	c 16 ~x2053849+8 ~x2053848+4 ~x2053847+2 ~x2053846+1 ~x2053845+1 ~x4812+1 ~x4811+1 ~x4810+1 ~x4809+1 ~x4808+1 ~x4807+1 ~x4806+1 ~x4804+1 ~x4803+1 ~x4802+1 ~x4801+1 ~x4800+1 ~x4799+1 ~x4798+1 ~x4797+1 ~x4796+1 ~x4795+1 ~x4793+1 ~x4792-0=48
45.46/45.56	c 8 ~x2054760+4 ~x2054759+2 ~x2054758+1 ~x2054757+1 ~x4829+1 ~x4828+1 ~x4826+1 ~x4825+1 ~x4824+1 ~x4823+1 ~x4822+1 ~x4821+1 ~x4820+1 ~x4819+1 ~x4818+1 ~x4817+1 ~x4815+1 ~x4814+1 ~x4813-0=28
45.46/45.58	c 8 ~x2055276+4 ~x2055275+2 ~x2055274+1 ~x2055273+1 ~x5328+1 ~x5098+1 ~x4888+1 ~x3183+1 ~x1445+1 ~x1287+1 ~x1181+1 ~x1057+1 ~x808+1 ~x567+1 ~x357+1 ~x147-0=26
45.46/45.58	c 8 ~x2055671+4 ~x2055670+2 ~x2055669+1 ~x2055668+1 ~x5329+1 ~x5099+1 ~x4889+1 ~x3194+1 ~x1633+1 ~x1446+1 ~x1288+1 ~x1192+1 ~x1059+1 ~x809+1 ~x568+1 ~x358+1 ~x149-0=27
45.56/45.60	c 8 ~x2056093+4 ~x2056092+2 ~x2056091+1 ~x2056090+1 ~x4842+1 ~x4841+1 ~x4840+1 ~x4837+1 ~x4836+1 ~x4835+1 ~x4834+1 ~x4833+1 ~x4832+1 ~x4831+1 ~x4830-0=24
45.56/45.61	c 4 ~x2056461+2 ~x2056460+1 ~x2056459+1 ~x4851+1 ~x4849+1 ~x4848+1 ~x4847+1 ~x4846+1 ~x4845+1 ~x4844+1 ~x4843-0=13
45.56/45.61	c 8 ~x2056707+4 ~x2056706+2 ~x2056705+1 ~x2056704+1 ~x5331+1 ~x5100+1 ~x4890+1 ~x3205+1 ~x1449+1 ~x1289+1 ~x1226+1 ~x1060+1 ~x810+1 ~x569+1 ~x360+1 ~x150-0=26
45.56/45.63	c 4 ~x2057096+2 ~x2057095+1 ~x2057094+1 ~x4859+1 ~x4858+1 ~x4857+1 ~x4856+1 ~x4855+1 ~x4854+1 ~x4853+1 ~x4852-0=13
45.56/45.63	c 4 ~x2057337+2 ~x2057336+1 ~x2057335+1 ~x5166+1 ~x5052+1 ~x1687+1 ~x1498+1 ~x1124+1 ~x872+1 ~x633-0=13
45.56/45.65	c 8 ~x2057500+4 ~x2057499+2 ~x2057498+1 ~x2057497+1 ~x5332+1 ~x5101+1 ~x4891+1 ~x3216+1 ~x1634+1 ~x1450+1 ~x1290+1 ~x1237+1 ~x1061+1 ~x811+1 ~x571+1 ~x361+1 ~x151-0=27
45.56/45.65	c 4 ~x2057918+2 ~x2057917+1 ~x2057916+1 ~x4867+1 ~x4866+1 ~x4865+1 ~x4864+1 ~x4863+1 ~x4862+1 ~x4860-0=12
45.56/45.66	c 4 ~x2058085+2 ~x2058084+1 ~x2058083+1 ~x5333+1 ~x1773+1 ~x1635+1 ~x1291+1 ~x1248+1 ~x1062+1 ~x812-0=13
45.56/45.66	c 8 ~x2058250+4 ~x2058249+2 ~x2058248+1 ~x2058247+1 ~x5334+1 ~x5102+1 ~x4892+1 ~x3227+1 ~x1293+1 ~x1259+1 ~x1063+1 ~x813+1 ~x572+1 ~x362+1 ~x152-0=25
45.56/45.68	c 8 ~x2058607+4 ~x2058606+2 ~x2058605+1 ~x2058604+1 ~x5103+1 ~x4893+1 ~x3238+1 ~x2104+1 ~x2086+1 ~x2064+1 ~x1888+1 ~x1292+1 ~x573+1 ~x363+1 ~x153-0=25
45.56/45.68	c 8 ~x2058963+4 ~x2058962+2 ~x2058961+1 ~x2058960+1 ~x5335+1 ~x5104+1 ~x4894+1 ~x3249+1 ~x1974+1 ~x1889+1 ~x1777+1 ~x1637+1 ~x1451+1 ~x1325+1 ~x1294+1 ~x1064+1 ~x815+1 ~x574+1 ~x364+1 ~x154-0=30
45.56/45.69	c 8 ~x2059515+4 ~x2059514+2 ~x2059513+1 ~x2059512+1 ~x5336+1 ~x5105+1 ~x4895+1 ~x3260+1 ~x1975+1 ~x1890+1 ~x1778+1 ~x1638+1 ~x1452+1 ~x1337+1 ~x1295+1 ~x1065+1 ~x816+1 ~x575+1 ~x365+1 ~x155-0=30
45.67/45.71	c 8 ~x2060067+4 ~x2060066+2 ~x2060065+1 ~x2060064+1 ~x5163+1 ~x4956+1 ~x3650+1 ~x2158+1 ~x2094+1 ~x2075+1 ~x2052+1 ~x1824+1 ~x424+1 ~x215+1 ~x6-0=25
45.67/45.71	c 8 ~x2060422+4 ~x2060421+2 ~x2060420+1 ~x2060419+1 ~x5337+1 ~x5106+1 ~x4896+1 ~x3271+1 ~x1976+1 ~x1893+1 ~x1779+1 ~x1639+1 ~x1453+1 ~x1348+1 ~x1296+1 ~x1066+1 ~x817+1 ~x576+1 ~x366+1 ~x156-0=30
45.67/45.73	c 8 ~x2060974+4 ~x2060973+2 ~x2060972+1 ~x2060971+1 ~x5338+1 ~x5107+1 ~x4898+1 ~x3283+1 ~x1977+1 ~x1894+1 ~x1782+1 ~x1640+1 ~x1454+1 ~x1359+1 ~x1297+1 ~x1067+1 ~x818+1 ~x577+1 ~x367+1 ~x157-0=30
45.67/45.74	c 8 ~x2061526+4 ~x2061525+2 ~x2061524+1 ~x2061523+1 ~x5339+1 ~x5109+1 ~x4899+1 ~x3294+1 ~x1641+1 ~x1455+1 ~x1370+1 ~x1298+1 ~x1068+1 ~x819+1 ~x578+1 ~x368+1 ~x158-0=27
45.67/45.76	c 8 ~x2061941+4 ~x2061940+2 ~x2061939+1 ~x2061938+1 ~x5340+1 ~x5110+1 ~x4900+1 ~x3305+1 ~x1783+1 ~x1642+1 ~x1456+1 ~x1381+1 ~x1299+1 ~x1070+1 ~x820+1 ~x579+1 ~x369+1 ~x160-0=28
45.67/45.76	c 8 ~x2062386+4 ~x2062385+2 ~x2062384+1 ~x2062383+1 ~x5342+1 ~x5111+1 ~x4901+1 ~x3316+1 ~x1978+1 ~x1895+1 ~x1784+1 ~x1643+1 ~x1457+1 ~x1392+1 ~x1300+1 ~x1071+1 ~x821+1 ~x580+1 ~x371+1 ~x161-0=30
45.67/45.78	c 8 ~x2062938+4 ~x2062937+2 ~x2062936+1 ~x2062935+1 ~x5343+1 ~x5112+1 ~x4902+1 ~x3327+1 ~x2022+1 ~x1979+1 ~x1896+1 ~x1785+1 ~x1644+1 ~x1458+1 ~x1403+1 ~x1072+1 ~x582+1 ~x372+1 ~x162-0=29
45.77/45.80	c 8 ~x2063454+4 ~x2063453+2 ~x2063452+1 ~x2063451+1 ~x5344+1 ~x5113+1 ~x4903+1 ~x1645+1 ~x1460+1 ~x1301+1 ~x1073+1 ~x823+1 ~x583+1 ~x373+1 ~x163-0=25
45.77/45.80	c 8 ~x2063809+4 ~x2063808+2 ~x2063807+1 ~x2063806+1 ~x5345+1 ~x5114+1 ~x4904+1 ~x1646+1 ~x1461+1 ~x1302+1 ~x1074+1 ~x824+1 ~x584+1 ~x374+1 ~x164-0=25
45.77/45.81	c 8 ~x2064164+4 ~x2064163+2 ~x2064162+1 ~x2064161+1 ~x5346+1 ~x5115+1 ~x4905+1 ~x1897+1 ~x1648+1 ~x1462+1 ~x1075+1 ~x826+1 ~x585+1 ~x375+1 ~x165-0=25
45.77/45.83	c 8 ~x2064519+4 ~x2064518+2 ~x2064517+1 ~x2064516+1 ~x5347+1 ~x5116+1 ~x4906+1 ~x1649+1 ~x1463+1 ~x1305+1 ~x1076+1 ~x827+1 ~x586+1 ~x376+1 ~x166-0=25
45.77/45.83	c 8 ~x2064874+4 ~x2064873+2 ~x2064872+1 ~x2064871+1 ~x5348+1 ~x5117+1 ~x4907+1 ~x1650+1 ~x1464+1 ~x1306+1 ~x1077+1 ~x829+1 ~x587+1 ~x377+1 ~x167-0=25
45.77/45.84	c 8 ~x2065229+4 ~x2065228+2 ~x2065227+1 ~x2065226+1 ~x5349+1 ~x5118+1 ~x4909+1 ~x1651+1 ~x1465+1 ~x1078+1 ~x832+1 ~x588+1 ~x378+1 ~x168-0=24
45.77/45.84	c 8 ~x2065554+4 ~x2065553+2 ~x2065552+1 ~x2065551+1 ~x5350+1 ~x5120+1 ~x4910+1 ~x1652+1 ~x1466+1 ~x1309+1 ~x1079+1 ~x833+1 ~x589+1 ~x379+1 ~x169-0=25
45.77/45.86	c 4 ~x2065908+2 ~x2065907+1 ~x2065906+1 ~x5167+1 ~x1688+1 ~x1499+1 ~x1125+1 ~x873+1 ~x634+1 ~x3-0=13
45.77/45.86	c 8 ~x2066071+4 ~x2066070+2 ~x2066069+1 ~x2066068+1 ~x5351+1 ~x5121+1 ~x4911+1 ~x1653+1 ~x1467+1 ~x1312+1 ~x1081+1 ~x834+1 ~x590+1 ~x380+1 ~x171-0=25
45.77/45.88	c 8 ~x2066428+4 ~x2066427+2 ~x2066426+1 ~x2066425+1 ~x5168+1 ~x4957+1 ~x3661+1 ~x2227+1 ~x1500+1 ~x1343+1 ~x1127+1 ~x874+1 ~x635+1 ~x426+1 ~x216+1 ~x114+1 ~x7-0=27
45.77/45.88	c 8 ~x2066843+4 ~x2066842+2 ~x2066841+1 ~x2066840+1 ~x5353+1 ~x5122+1 ~x4912+1 ~x3338+1 ~x2023+1 ~x1981+1 ~x1898+1 ~x1790+1 ~x1654+1 ~x1470+1 ~x1468+1 ~x1082+1 ~x591+1 ~x382+1 ~x172-0=29
45.77/45.89	c 2 ~x2067357+1 ~x2067356+1 ~x1481+1 ~x1083+1 ~x835-0=5
45.77/45.89	c 8 ~x2067402+4 ~x2067401+2 ~x2067400+1 ~x2067399+1 ~x5354+1 ~x5123+1 ~x4913+1 ~x3349+1 ~x1492+1 ~x1313+1 ~x1084+1 ~x837+1 ~x593+1 ~x383+1 ~x173-0=25
45.87/45.90	c 2 ~x2067755+1 ~x2067754+1 ~x1503+1 ~x1085+1 ~x838-0=5
45.87/45.90	c 8 ~x2067800+4 ~x2067799+2 ~x2067798+1 ~x2067797+1 ~x5124+1 ~x4914+1 ~x3360+1 ~x2135+1 ~x2126+1 ~x2105+1 ~x2087+1 ~x2065+1 ~x1982+1 ~x1899+1 ~x1525+1 ~x594+1 ~x384+1 ~x174-0=28
45.87/45.92	c 8 ~x2068246+4 ~x2068245+2 ~x2068244+1 ~x2068243+1 ~x5355+1 ~x5125+1 ~x4915+1 ~x3371+1 ~x1655+1 ~x1559+1 ~x1469+1 ~x1315+1 ~x1086+1 ~x839+1 ~x595+1 ~x385+1 ~x175-0=27
45.87/45.94	c 8 ~x2068661+4 ~x2068660+2 ~x2068659+1 ~x2068658+1 ~x5356+1 ~x5126+1 ~x4916+1 ~x3382+1 ~x2045+1 ~x2024+1 ~x1983+1 ~x1900+1 ~x1656+1 ~x1570+1 ~x1471+1 ~x1087+1 ~x596+1 ~x386+1 ~x176-0=29
45.87/45.94	c 8 ~x2069177+4 ~x2069176+2 ~x2069175+1 ~x2069174+1 ~x5169+1 ~x4958+1 ~x3672+1 ~x2034+1 ~x2001+1 ~x1826+1 ~x1501+1 ~x1344+1 ~x875+1 ~x427+1 ~x217+1 ~x8-0=26
45.87/45.96	c 8 ~x2069562+4 ~x2069561+2 ~x2069560+1 ~x2069559+1 ~x5127+1 ~x4917+1 ~x2106+1 ~x2088+1 ~x2066+1 ~x1901+1 ~x597+1 ~x387+1 ~x177-0=23
45.87/45.96	c 8 ~x2069857+4 ~x2069856+2 ~x2069855+1 ~x2069854+1 ~x5128+1 ~x4918+1 ~x2107+1 ~x2089+1 ~x2067+1 ~x1902+1 ~x598+1 ~x388+1 ~x178-0=23
45.87/45.98	c 2 ~x2070154+1 ~x2070153+1 ~x3395+1 ~x1984+1 ~x1625-0=5
45.87/45.98	c 1048576 ~x2070216+524288 ~x2070215+262144 ~x2070214+131072 ~x2070213+65536 ~x2070212+32768 ~x2070211+16384 ~x2070210+8192 ~x2070209+4096 ~x2070208+2048 ~x2070207+1024 ~x2070206+512 ~x2070205+256 ~x2070204+128 ~x2070203+64 ~x2070202+32 ~x2070201+16 ~x2070200+8 ~x2070199+4 ~x2070198+2 ~x2070197+1 ~x2070196+9950 ~x3605+9950 ~x3594+11950 ~x3583+9950 ~x3572+4900 ~x3561+5800 ~x3550+5600 ~x3539+4800 ~x3528+7400 ~x3517+4631 ~x3506+8900 ~x3494+8900 ~x3483+8900 ~x3472+8900 ~x3461+8900 ~x3450+6900 ~x3439+9900 ~x3428+9900 ~x3417+9900 ~x3406+8950 ~x3395+5600 ~x3382+8200 ~x3371+11900 ~x3360+2840 ~x3349+14900 ~x3338+9900 ~x3327+9900 ~x3316+9900 ~x3305+9900 ~x3294+9900 ~x3283+9900 ~x3271+9900 ~x3260+9900 ~x3249+9900 ~x3238+9900 ~x3227+9900 ~x3216+9900 ~x3205+9900 ~x3194+9900 ~x3183+9900 ~x3172+3900 ~x3160+15000 ~x3149+14500 ~x3138+15000 ~x3127+15000 ~x3116+15000 ~x3105+17000 ~x3094+20000 ~x3083+15000 ~x3072+15000 ~x3061+20000 ~x3049+20000 ~x3038+15000 ~x3027+15000 ~x3016+15000 ~x3005+9000 ~x2994+9000 ~x2983+9000 ~x2972+13000 ~x2961+9000 ~x2950+13000 ~x2938+9000 ~x2927+15000 ~x2916+9300 ~x2905+9300 ~x2894+9300 ~x2883+15000 ~x2872+15000 ~x2861+15000 ~x2850+15000 ~x2839+15000 ~x2827+15000 ~x2816+15000 ~x2805+5000 ~x2794+15000 ~x2783+15000 ~x2772+15000 ~x2761+10000 ~x2750+15000 ~x2739+15000 ~x2728+15000 ~x2716+14000 ~x2705+15000 ~x2694+5000 ~x2683+5000 ~x2672+10000 ~x2661+13700 ~x2650+10000 ~x2639+10000 ~x2628+18000 ~x2617+10000 ~x2605+17500 ~x2594+15000 ~x2583+15000 ~x2572+5300 ~x2561+8900 ~x2550+12000 ~x2539+10000 ~x2528+5000 ~x2517+5000 ~x2506+17500 ~x2494+10000 ~x2483+12000 ~x2472+15000 ~x2461+5000 ~x2450+10000 ~x2439+15000 ~x2428+10000 ~x2417+5000 ~x2406+10000 ~x2395+5000 ~x2383+15000 ~x2372+10000 ~x2361+5000 ~x2350+15000 ~x2339+10000 ~x2328+5000 ~x2317+10000 ~x2306+20000 ~x2295+10000 ~x2284+7200 ~x2271+10000 ~x2260+5000 ~x2249+10000 ~x2238+10000 ~x2227+5000 ~x2158+10000 ~x2147+22740 x2141+15000 ~x2136+15000 ~x2125-0=3514472
46.56/46.63	c 2 ~x2101115+1 ~x2101114+1 ~x1502+1 ~x876+1 ~x637+1 ~x225-0=6
46.56/46.63	c 8 ~x2101182+4 ~x2101181+2 ~x2101180+1 ~x2101179+1 ~x5357+1 ~x5129+1 ~x4920+1 ~x3406+1 ~x1985+1 ~x1904+1 ~x1797+1 ~x1658+1 ~x1657+1 ~x1472+1 ~x1316+1 ~x1088+1 ~x841+1 ~x599+1 ~x389+1 ~x179-0=30
46.56/46.65	c 8 ~x2101734+4 ~x2101733+2 ~x2101732+1 ~x2101731+1 ~x5358+1 ~x5131+1 ~x4921+1 ~x3417+1 ~x1986+1 ~x1905+1 ~x1798+1 ~x1670+1 ~x1659+1 ~x1473+1 ~x1317+1 ~x1089+1 ~x842+1 ~x600+1 ~x390+1 ~x180-0=30
46.56/46.68	c 8 ~x2102286+4 ~x2102285+2 ~x2102284+1 ~x2102283+1 ~x5359+1 ~x5132+1 ~x4922+1 ~x3428+1 ~x1987+1 ~x1906+1 ~x1799+1 ~x1681+1 ~x1660+1 ~x1474+1 ~x1318+1 ~x1090+1 ~x843+1 ~x601+1 ~x391+1 ~x182-0=30
46.56/46.68	c 8 ~x2102838+4 ~x2102837+2 ~x2102836+1 ~x2102835+1 ~x5360+1 ~x5133+1 ~x4923+1 ~x3439+1 ~x1988+1 ~x1907+1 ~x1800+1 ~x1692+1 ~x1661+1 ~x1475+1 ~x1319+1 ~x1092+1 ~x844+1 ~x602+1 ~x393+1 ~x183-0=30
46.56/46.69	c 8 ~x2103390+4 ~x2103389+2 ~x2103388+1 ~x2103387+1 ~x5361+1 ~x5134+1 ~x4924+1 ~x1908+1 ~x1662+1 ~x1476+1 ~x1093+1 ~x845+1 ~x604+1 ~x394+1 ~x184-0=25
46.67/46.71	c 8 ~x2103745+4 ~x2103744+2 ~x2103743+1 ~x2103742+1 ~x5362+1 ~x5135+1 ~x4925+1 ~x1909+1 ~x1663+1 ~x1477+1 ~x1320+1 ~x1094+1 ~x846+1 ~x605+1 ~x395+1 ~x185-0=26
46.67/46.71	c 8 ~x2104130+4 ~x2104129+2 ~x2104128+1 ~x2104127+1 ~x5364+1 ~x5136+1 ~x4926+1 ~x1664+1 ~x1478+1 ~x1321+1 ~x1095+1 ~x850+1 ~x606+1 ~x396+1 ~x186-0=25
46.67/46.73	c 8 ~x2104485+4 ~x2104484+2 ~x2104483+1 ~x2104482+1 ~x5365+1 ~x5137+1 ~x4927+1 ~x1665+1 ~x1479+1 ~x1322+1 ~x1096+1 ~x851+1 ~x607+1 ~x397+1 ~x187-0=25
46.67/46.73	c 8 ~x2104841+4 ~x2104840+2 ~x2104839+1 ~x2104838+1 ~x5366+1 ~x5138+1 ~x4928+1 ~x1666+1 ~x1480+1 ~x1324+1 ~x1097+1 ~x852+1 ~x608+1 ~x398+1 ~x188-0=25
46.67/46.74	c 8 ~x2105196+4 ~x2105195+2 ~x2105194+1 ~x2105193+1 ~x5367+1 ~x5139+1 ~x4929+1 ~x1667+1 ~x1482+1 ~x1326+1 ~x1098+1 ~x853+1 ~x609+1 ~x399+1 ~x189-0=25
46.67/46.75	c 8 ~x2105551+4 ~x2105550+2 ~x2105549+1 ~x2105548+1 ~x5368+1 ~x5140+1 ~x4931+1 ~x1483+1 ~x1328+1 ~x1099+1 ~x855+1 ~x610+1 ~x400+1 ~x190-0=24
46.67/46.75	c 8 ~x2105876+4 ~x2105875+2 ~x2105874+1 ~x2105873+1 ~x5369+1 ~x5142+1 ~x4932+1 ~x1910+1 ~x1668+1 ~x1484+1 ~x1100+1 ~x856+1 ~x611+1 ~x401+1 ~x191-0=25
46.67/46.77	c 8 ~x2106231+4 ~x2106230+2 ~x2106229+1 ~x2106228+1 ~x5370+1 ~x5143+1 ~x4933+1 ~x1331+1 ~x1101+1 ~x857+1 ~x612+1 ~x402+1 ~x193-0=23
46.67/46.77	c 8 ~x2106526+4 ~x2106525+2 ~x2106524+1 ~x2106523+1 ~x5170+1 ~x4959+1 ~x3683+1 ~x2238+1 ~x1827+1 ~x1690+1 ~x1504+1 ~x1345+1 ~x1128+1 ~x877+1 ~x638+1 ~x447+1 ~x428+1 ~x218+1 ~x9-0=29
46.67/46.79	c 2 ~x2107040+1 ~x2107039+1 ~x1703+1 ~x1103+1 ~x859-0=5
46.67/46.79	c 4 ~x2107084+2 ~x2107083+1 ~x2107082+1 ~x2121+1 ~x2046+1 ~x2026+1 ~x1714+1 ~x1671+1 ~x1104-0=12
46.77/46.80	c 4 ~x2107222+2 ~x2107221+1 ~x2107220+1 ~x2122+1 ~x2048+1 ~x2027+1 ~x1725+1 ~x1672+1 ~x1105-0=12
46.77/46.80	c 4 ~x2107360+2 ~x2107359+1 ~x2107358+1 ~x1807+1 ~x1736+1 ~x1673+1 ~x1106+1 ~x860-0=11
46.77/46.80	c 8 ~x2107475+4 ~x2107474+2 ~x2107473+1 ~x2107472+1 ~x4960+1 ~x3694+1 ~x2249+1 ~x2095+1 ~x2076+1 ~x2053+1 ~x1828+1 ~x558+1 ~x429+1 ~x219+1 ~x10-0=25
46.77/46.81	c 8 ~x2107831+4 ~x2107830+2 ~x2107829+1 ~x2107828+1 ~x5371+1 ~x5144+1 ~x4934+1 ~x3450+1 ~x2049+1 ~x2028+1 ~x1989+1 ~x1911+1 ~x1808+1 ~x1781+1 ~x1674+1 ~x1485+1 ~x1107+1 ~x613+1 ~x404+1 ~x194-0=30
46.77/46.83	c 8 ~x2108383+4 ~x2108382+2 ~x2108381+1 ~x2108380+1 ~x5372+1 ~x5145+1 ~x4935+1 ~x3461+1 ~x1792+1 ~x1675+1 ~x1486+1 ~x1332+1 ~x1108+1 ~x861+1 ~x615+1 ~x405+1 ~x195-0=27
46.77/46.83	c 8 ~x2108798+4 ~x2108797+2 ~x2108796+1 ~x2108795+1 ~x5373+1 ~x5146+1 ~x4936+1 ~x3472+1 ~x1803+1 ~x1487+1 ~x1333+1 ~x1109+1 ~x862+1 ~x616+1 ~x406+1 ~x196-0=26
46.77/46.84	c 8 ~x2109183+4 ~x2109182+2 ~x2109181+1 ~x2109180+1 ~x5375+1 ~x5147+1 ~x4937+1 ~x3483+1 ~x2050+1 ~x2029+1 ~x1990+1 ~x1912+1 ~x1814+1 ~x1676+1 ~x1488+1 ~x1110+1 ~x617+1 ~x407+1 ~x197-0=29
46.77/46.87	c 8 ~x2109699+4 ~x2109698+2 ~x2109697+1 ~x2109696+1 ~x5148+1 ~x4938+1 ~x3494+1 ~x2137+1 ~x2127+1 ~x2090+1 ~x2070+1 ~x1992+1 ~x1913+1 ~x1825+1 ~x618+1 ~x408+1 ~x198-0=27
46.77/46.87	c 8 ~x2110115+4 ~x2110114+2 ~x2110113+1 ~x2110112+1 ~x5376+1 ~x5149+1 ~x4939+1 ~x3506+1 ~x1869+1 ~x1677+1 ~x1489+1 ~x1334+1 ~x1111+1 ~x863+1 ~x619+1 ~x409+1 ~x199-0=27
46.77/46.88	c 8 ~x2110530+4 ~x2110529+2 ~x2110528+1 ~x2110527+1 ~x5377+1 ~x5150+1 ~x4940+1 ~x3517+1 ~x1880+1 ~x1335+1 ~x1112+1 ~x864+1 ~x620+1 ~x410+1 ~x200-0=25
46.87/46.90	c 8 ~x2110885+4 ~x2110884+2 ~x2110883+1 ~x2110882+1 ~x5378+1 ~x5151+1 ~x4943+1 ~x3528+1 ~x1993+1 ~x1915+1 ~x1892+1 ~x1812+1 ~x1678+1 ~x1490+1 ~x1338+1 ~x1116+1 ~x865+1 ~x621+1 ~x411+1 ~x201-0=30
46.87/46.90	c 8 ~x2111437+4 ~x2111436+2 ~x2111435+1 ~x2111434+1 ~x5379+1 ~x5153+1 ~x4944+1 ~x3539+1 ~x2051+1 ~x2030+1 ~x1994+1 ~x1916+1 ~x1914+1 ~x1679+1 ~x1491+1 ~x1117+1 ~x622+1 ~x412+1 ~x202-0=29
46.87/46.91	c 8 ~x2111953+4 ~x2111952+2 ~x2111951+1 ~x2111950+1 ~x5154+1 ~x4945+1 ~x3550+1 ~x2128+1 ~x2071+1 ~x2031+1 ~x1995+1 ~x1936+1 ~x1917+1 ~x1680+1 ~x623+1 ~x413+1 ~x204-0=27
46.87/46.93	c 8 ~x2112368+4 ~x2112367+2 ~x2112366+1 ~x2112365+1 ~x5380+1 ~x5155+1 ~x4946+1 ~x3561+1 ~x1947+1 ~x1813+1 ~x1682+1 ~x1493+1 ~x1339+1 ~x1118+1 ~x866+1 ~x624+1 ~x415+1 ~x205-0=28
46.87/46.93	c 8 ~x2112813+4 ~x2112812+2 ~x2112811+1 ~x2112810+1 ~x5381+1 ~x5156+1 ~x4947+1 ~x1683+1 ~x1494+1 ~x1340+1 ~x1119+1 ~x867+1 ~x626+1 ~x416+1 ~x206-0=25
46.87/46.94	c 8 ~x2113168+4 ~x2113167+2 ~x2113166+1 ~x2113165+1 ~x5157+1 ~x4948+1 ~x3572+1 ~x2138+1 ~x2129+1 ~x2092+1 ~x2072+1 ~x1996+1 ~x1969+1 ~x1918+1 ~x627+1 ~x417+1 ~x207-0=27
46.87/46.97	c 8 ~x2113583+4 ~x2113582+2 ~x2113581+1 ~x2113580+1 ~x5382+1 ~x5158+1 ~x4949+1 ~x3583+1 ~x2032+1 ~x1997+1 ~x1980+1 ~x1919+1 ~x1815+1 ~x1684+1 ~x1495+1 ~x1120+1 ~x628+1 ~x418+1 ~x208-0=29
46.87/46.97	c 8 ~x2114104+4 ~x2114103+2 ~x2114102+1 ~x2114101+1 ~x5171+1 ~x4961+1 ~x3705+1 ~x2260+1 ~x1505+1 ~x1346+1 ~x1129+1 ~x891+1 ~x878+1 ~x639+1 ~x430+1 ~x220+1 ~x11-0=27
46.87/46.98	c 8 ~x2114521+4 ~x2114520+2 ~x2114519+1 ~x2114518+1 ~x5159+1 ~x4950+1 ~x3594+1 ~x2139+1 ~x2130+1 ~x2093+1 ~x2080+1 ~x2073+1 ~x1998+1 ~x1920+1 ~x629+1 ~x419+1 ~x209-0=27
46.96/47.01	c 8 ~x2114936+4 ~x2114935+2 ~x2114934+1 ~x2114933+1 ~x5160+1 ~x4951+1 ~x3605+1 ~x2131+1 ~x2102+1 ~x2074+1 ~x1999+1 ~x1921+1 ~x630+1 ~x420+1 ~x210-0=25
46.96/47.01	c 128 ~x2115295+64 ~x2115294+32 ~x2115293+16 ~x2115292+8 ~x2115291+4 ~x2115290+2 ~x2115289+1 ~x2115288+1 ~x2473+1 ~x2471+1 ~x2470+1 ~x2469+1 ~x2468+1 ~x2467+1 ~x2466+1 ~x2465+1 ~x2464+1 ~x2463+1 ~x2462+1 ~x2460+1 ~x2459+1 ~x2458+1 ~x2457+1 ~x2456+1 ~x2455+1 ~x2454+1 ~x2453+1 ~x2452+1 ~x2451+1 ~x2449+1 ~x2448+1 ~x2447+1 ~x2446+1 ~x2445+1 ~x2444+1 ~x2443+1 ~x2442+1 ~x2441+1 ~x2440+1 ~x2438+1 ~x2437+1 ~x2436+1 ~x2435+1 ~x2434+1 ~x2433+1 ~x2432+1 ~x2431+1 ~x2430+1 ~x2429+1 ~x2427+1 ~x2426+1 ~x2425+1 ~x2424+1 ~x2423+1 ~x2422+1 ~x2421+1 ~x2420+1 ~x2419+1 ~x2418+1 ~x2416+1 ~x2415+1 ~x2414+1 ~x2413+1 ~x2412+1 ~x2411+1 ~x2410+1 ~x2409+1 ~x2408+1 ~x2407+1 ~x2405+1 ~x2404+1 ~x2403+1 ~x2402+1 ~x2401+1 ~x2400+1 ~x2399+1 ~x2398+1 ~x2397+1 ~x2396+1 ~x2393+1 ~x2392+1 ~x2391+1 ~x2390+1 ~x2389+1 ~x2388+1 ~x2387+1 ~x2386+1 ~x2385+1 ~x2384+1 ~x2382+1 ~x2381+1 ~x2380+1 ~x2379+1 ~x2378+1 ~x2377+1 ~x2376+1 ~x2375+1 ~x2374+1 ~x2373+1 ~x2371+1 ~x2370+1 ~x2369+1 ~x2368+1 ~x2367+1 ~x2366+1 ~x2365+1 ~x2364+1 ~x2363+1 ~x2362+1 ~x2360+1 ~x2359+1 ~x2358+1 ~x2357+1 ~x2356+1 ~x2355+1 ~x2354+1 ~x2353+1 ~x2352+1 ~x2351+1 ~x2349+1 ~x2348+1 ~x2347+1 ~x2346+1 ~x2345+1 ~x2344+1 ~x2343+1 ~x2342+1 ~x2341+1 ~x2340+1 ~x2338+1 ~x2337+1 ~x2336+1 ~x2335+1 ~x2334+1 ~x2333+1 ~x2332+1 ~x2331+1 ~x2330+1 ~x2329+1 ~x2327+1 ~x2326+1 ~x2325+1 ~x2324+1 ~x2323+1 ~x2322+1 ~x2321+1 ~x2320+1 ~x2319+1 ~x2318+1 ~x2316+1 ~x2315+1 ~x2314+1 ~x2313+1 ~x2312+1 ~x2311+1 ~x2310+1 ~x2309+1 ~x2308+1 ~x2307+1 ~x2305+1 ~x2304+1 ~x2303+1 ~x2302+1 ~x2301+1 ~x2300+1 ~x2299+1 ~x2298+1 ~x2297+1 ~x2296+1 ~x2294+1 ~x2293+1 ~x2292+1 ~x2291+1 ~x2290+1 ~x2289+1 ~x2288+1 ~x2287+1 ~x2286+1 ~x2285+1 ~x2281+1 ~x2280+1 ~x2279+1 ~x2278+1 ~x2277+1 ~x2276+1 ~x2275+1 ~x2274+1 ~x2273+1 ~x2272+1 ~x2270+1 ~x2269+1 ~x2268+1 ~x2267+1 ~x2266+1 ~x2265+1 ~x2264+1 ~x2263+1 ~x2262+1 ~x2261+1 ~x2259+1 ~x2258+1 ~x2257+1 ~x2256+1 ~x2255+1 ~x2254+1 ~x2253+1 ~x2252+1 ~x2251+1 ~x2250+1 ~x2248+1 ~x2247+1 ~x2246+1 ~x2245+1 ~x2244+1 ~x2243+1 ~x2242+1 ~x2241+1 ~x2240+1 ~x2239+1 ~x2237+1 ~x2236+1 ~x2235+1 ~x2234+1 ~x2233+1 ~x2232+1 ~x2231+1 ~x2230+1 ~x2229+1 ~x2228+1 ~x2226-0=475
47.28/47.39	c 8 ~x2132784+4 ~x2132783+2 ~x2132782+1 ~x2132781+1 ~x5172+1 ~x4962+1 ~x3716+1 ~x2271+1 ~x1923+1 ~x1829+1 ~x1691+1 ~x1506+1 ~x1347+1 ~x1130+1 ~x1002+1 ~x879+1 ~x640+1 ~x431+1 ~x221+1 ~x12-0=30
47.37/47.40	c 8 ~x2133356+4 ~x2133355+2 ~x2133354+1 ~x2133353+1 ~x5173+1 ~x4963+1 ~x3728+1 ~x2284+1 ~x1132+1 ~x1114+1 ~x881+1 ~x641+1 ~x432+1 ~x222+1 ~x13-0=25
47.37/47.43	c 1048576 ~x2133738+524288 ~x2133737+262144 ~x2133736+131072 ~x2133735+65536 ~x2133734+32768 ~x2133733+16384 ~x2133732+8192 ~x2133731+4096 ~x2133730+2048 ~x2133729+1024 ~x2133728+512 ~x2133727+256 ~x2133726+128 ~x2133725+64 ~x2133724+32 ~x2133723+16 ~x2133722+8 ~x2133721+4 ~x2133720+2 ~x2133719+1 ~x2133718+9950 ~x4951+9950 ~x4950+11950 ~x4949+9950 ~x4948+5000 ~x4947+4900 ~x4946+5800 ~x4945+5600 ~x4944+4800 ~x4943+7400 ~x4940+4631 ~x4939+8900 ~x4938+8900 ~x4937+8900 ~x4936+8900 ~x4935+8900 ~x4934+9950 ~x4933+4970 ~x4932+9950 ~x4931+4970 ~x4929+4970 ~x4928+9950 ~x4927+9950 ~x4926+4970 ~x4925+4970 ~x4924+6900 ~x4923+9900 ~x4922+9900 ~x4921+9900 ~x4920+9950 ~x4918+1909 ~x4917+5600 ~x4916+8200 ~x4915+11900 ~x4914+2840 ~x4913+14900 ~x4912+5960 ~x4911+4970 ~x4910+4970 ~x4909+4970 ~x4907+4970 ~x4906+6960 ~x4905+9950 ~x4904+9950 ~x4903+9900 ~x4902+9900 ~x4901+9900 ~x4900+9900 ~x4899+9900 ~x4898+9900 ~x4896+9900 ~x4895+9900 ~x4894+9900 ~x4893+9900 ~x4892+9900 ~x4891+9900 ~x4890+9900 ~x4889+9900 ~x4888+9900 ~x4887+3900 ~x4885+6000 ~x4884+15000 ~x4883+14500 ~x4882+15000 ~x4881+15000 ~x4880+15000 ~x4879+17000 ~x4878+20000 ~x4877+15000 ~x4876+15000 ~x4874+20000 ~x4873+20000 ~x4872+15000 ~x4871+15000 ~x4870+15000 ~x4869+9000 ~x4868+9000 ~x4861+9000 ~x4850+13000 ~x4839+9000 ~x4827+13000 ~x4816+9000 ~x4805+15000 ~x4794+9300 ~x4783+9300 ~x4772+9300 ~x4761+15000 ~x4750+12000 ~x4739+15000 ~x4728+12500 ~x4716+2057 ~x4705+13900 ~x4694+10500 ~x4683+10500 ~x4672+10500 ~x4661+11000 ~x4650+6000 ~x4639+13900 ~x4628+12700 ~x4617+10000 ~x4605+10000 ~x4594+10000 ~x4583+10000 ~x4572+10000 ~x4561+11000 ~x4550+10000 ~x4539+15000 ~x4528+15000 ~x4517+15000 ~x4506+10000 ~x4493+12000 ~x4482+6000 ~x4471+7000 ~x4460+15000 ~x4449+10000 ~x4438+12000 ~x4427+6000 ~x4416+6000 ~x4405+13900 ~x4394+12000 ~x4382+12000 ~x4371+12000 ~x4360+12000 ~x4349+12000 ~x4338+12000 ~x4327+12000 ~x4316+6000 ~x4305+12700 ~x4294+15000 ~x4283+5000 ~x4271+15000 ~x4260+15000 ~x4249+10000 ~x4238+15000 ~x4227+10000 ~x4216+15000 ~x4205+14000 ~x4194+15000 ~x4183+5000 ~x4172+5000 ~x4160+10000 ~x4149+13700 ~x4138+10000 ~x4127+18000 ~x4116+10000 ~x4105+17500 ~x4094+15000 ~x4083+15000 ~x4072+15000 ~x4061+5300 ~x4049+8900 ~x4038+12000 ~x4027+10000 ~x4016+5000 ~x4005+5000 ~x3994+17500 ~x3983+15000 ~x3972+10000 ~x3961+12000 ~x3950+15000 ~x3938+5000 ~x3927+10000 ~x3916+15000 ~x3905+16500 ~x3894+10000 ~x3883+10000 ~x3872+5000 ~x3861+10000 ~x3850+5000 ~x3839+15000 ~x3827+10000 ~x3816+5000 ~x3805+15000 ~x3794+10000 ~x3783+16500 ~x3772+5000 ~x3761+10000 ~x3750+20000 ~x3739+10000 ~x3728+7200 ~x3716+10000 ~x3705+5000 ~x3694+10000 ~x3683+15000 ~x3672+10000 ~x3661+5000 ~x3650+10000 ~x3639+15000 ~x3628+15000 ~x3617+19560 x2142-0=4075888
48.27/48.36	c 8 ~x2177953+4 ~x2177952+2 ~x2177951+1 ~x2177950+1 ~x5174+1 ~x4965+1 ~x3739+1 ~x2295+1 ~x2035+1 ~x2004+1 ~x1924+1 ~x1830+1 ~x1693+1 ~x1507+1 ~x1349+1 ~x1225+1 ~x882+1 ~x433+1 ~x223+1 ~x14-0=30
48.27/48.39	c 8 ~x2178569+4 ~x2178568+2 ~x2178567+1 ~x2178566+1 ~x5176+1 ~x4966+1 ~x3750+1 ~x2306+1 ~x2108+1 ~x2037+1 ~x2005+1 ~x1926+1 ~x1891+1 ~x1831+1 ~x1508+1 ~x1350+1 ~x883+1 ~x434+1 ~x224+1 ~x16-0=30
48.27/48.40	c 8 ~x2179131+4 ~x2179130+2 ~x2179129+1 ~x2179128+1 ~x5177+1 ~x4967+1 ~x3761+1 ~x2317+1 ~x2002+1 ~x1509+1 ~x1351+1 ~x1133+1 ~x884+1 ~x642+1 ~x435+1 ~x227+1 ~x17-0=27
48.37/48.44	c 8 ~x2179567+4 ~x2179566+2 ~x2179565+1 ~x2179564+1 ~x4968+1 ~x3772+1 ~x2096+1 ~x2077+1 ~x2054+1 ~x1832+1 ~x437+1 ~x228+1 ~x18-0=23
48.37/48.44	c 1048576 ~x2179889+524288 ~x2179888+262144 ~x2179887+131072 ~x2179886+65536 ~x2179885+32768 ~x2179884+16384 ~x2179883+8192 ~x2179882+4096 ~x2179881+2048 ~x2179880+1024 ~x2179879+512 ~x2179878+256 ~x2179877+128 ~x2179876+64 ~x2179875+32 ~x2179874+16 ~x2179873+8 ~x2179872+4 ~x2179871+2 ~x2179870+1 ~x2179869+9950 ~x5160+9950 ~x5159+11950 ~x5158+9950 ~x5157+5000 ~x5156+4900 ~x5155+5800 ~x5154+5600 ~x5153+4800 ~x5151+7400 ~x5150+4631 ~x5149+8900 ~x5148+8900 ~x5147+8900 ~x5146+8900 ~x5145+8900 ~x5144+9950 ~x5143+4970 ~x5142+9950 ~x5140+4970 ~x5139+4970 ~x5138+9950 ~x5137+9950 ~x5136+4970 ~x5135+4970 ~x5134+6900 ~x5133+9900 ~x5132+9900 ~x5131+9900 ~x5129+9950 ~x5128+1909 ~x5127+5600 ~x5126+8200 ~x5125+11900 ~x5124+2840 ~x5123+14900 ~x5122+5960 ~x5121+4970 ~x5120+4970 ~x5118+4970 ~x5117+4970 ~x5116+6960 ~x5115+9950 ~x5114+9950 ~x5113+9900 ~x5112+9900 ~x5111+9900 ~x5110+9900 ~x5109+9900 ~x5107+9900 ~x5106+9900 ~x5105+9900 ~x5104+9900 ~x5103+9900 ~x5102+9900 ~x5101+9900 ~x5100+9900 ~x5099+9900 ~x5098+9900 ~x5096+3900 ~x5095+6000 ~x5094+15000 ~x5093+14500 ~x5092+15000 ~x5091+15000 ~x5090+15000 ~x5089+17000 ~x5088+20000 ~x5087+15000 ~x5085+15000 ~x5084+20000 ~x5083+20000 ~x5082+15000 ~x5081+15000 ~x5080+15000 ~x5079+9000 ~x5078+9000 ~x5077+9000 ~x5076+13000 ~x5074+9000 ~x5073+13000 ~x5072+9000 ~x5071+15000 ~x5070+9300 ~x5069+9300 ~x5068+9300 ~x5067+15000 ~x5066+12000 ~x5065+15000 ~x5063+12500 ~x5062+2057 ~x5061+13900 ~x5060+10500 ~x5059+10500 ~x5058+10500 ~x5057+11000 ~x5056+6000 ~x5055+13900 ~x5054+12700 ~x5051+10000 ~x5050+10000 ~x5049+10000 ~x5048+10000 ~x5047+10000 ~x5046+11000 ~x5045+10000 ~x5044+15000 ~x5043+15000 ~x5042+15000 ~x5040+10000 ~x5039+12000 ~x5038+6000 ~x5037+7000 ~x5036+15000 ~x5035+10000 ~x5034+12000 ~x5033+6000 ~x5032+6000 ~x5031+13900 ~x5029+12000 ~x5028+12000 ~x5027+12000 ~x5026+12000 ~x5025+12000 ~x5024+12000 ~x5023+12000 ~x5022+6000 ~x5021+12700 ~x5020+15000 ~x5018+5000 ~x5017+15000 ~x5016+15000 ~x5015+10000 ~x5014+15000 ~x5013+10000 ~x5012+15000 ~x5011+14000 ~x5010+15000 ~x5009+5000 ~x5007+5000 ~x5006+10000 ~x5005+13700 ~x5004+10000 ~x5003+18000 ~x5002+10000 ~x5001+17500 ~x5000+15000 ~x4999+15000 ~x4998+15000 ~x4996+5300 ~x4995+8900 ~x4994+12000 ~x4993+10000 ~x4992+5000 ~x4991+5000 ~x4990+17500 ~x4989+15000 ~x4988+10000 ~x4987+12000 ~x4985+15000 ~x4984+5000 ~x4983+10000 ~x4982+15000 ~x4981+16500 ~x4980+10000 ~x4979+10000 ~x4978+5000 ~x4977+10000 ~x4976+5000 ~x4974+15000 ~x4973+10000 ~x4972+5000 ~x4971+15000 ~x4970+10000 ~x4969+16500 ~x4968+5000 ~x4967+10000 ~x4966+20000 ~x4965+10000 ~x4963+7200 ~x4962+10000 ~x4961+5000 ~x4960+10000 ~x4959+15000 ~x4958+10000 ~x4957+5000 ~x4956+10000 ~x4955+15000 ~x4954+15000 ~x4952+19830 x2143-0=4075888
49.26/49.39	c 8 ~x2224096+4 ~x2224095+2 ~x2224094+1 ~x2224093+1 ~x5178+1 ~x4969+1 ~x3783+1 ~x2394+1 ~x2328+1 ~x1510+1 ~x1352+1 ~x1134+1 ~x885+1 ~x643+1 ~x438+1 ~x229+1 ~x19-0=27
49.26/49.39	c 2 ~x2224530+1 ~x2224529+1 ~x2616+1 ~x1511+1 ~x886+1 ~x644-0=6
49.26/49.39	c 8 ~x2224618+4 ~x2224617+2 ~x2224616+1 ~x2224615+1 ~x5179+1 ~x4970+1 ~x3794+1 ~x2838+1 ~x2339+1 ~x1927+1 ~x1833+1 ~x1701+1 ~x1512+1 ~x1353+1 ~x1135+1 ~x887+1 ~x645+1 ~x439+1 ~x230+1 ~x20-0=30
49.37/49.41	c 4 ~x2225179+2 ~x2225178+1 ~x2225177+1 ~x5180+1 ~x2949+1 ~x1702+1 ~x1513+1 ~x1136+1 ~x888+1 ~x646-0=13
49.37/49.43	c 8 ~x2225352+4 ~x2225351+2 ~x2225350+1 ~x2225349+1 ~x5181+1 ~x4971+1 ~x3805+1 ~x3060+1 ~x2350+1 ~x1928+1 ~x1834+1 ~x1704+1 ~x1515+1 ~x1354+1 ~x1138+1 ~x889+1 ~x648+1 ~x440+1 ~x231+1 ~x21-0=30
49.37/49.43	c 8 ~x2225914+4 ~x2225913+2 ~x2225912+1 ~x2225911+1 ~x5182+1 ~x4972+1 ~x3816+1 ~x3171+1 ~x2361+1 ~x1139+1 ~x890+1 ~x649+1 ~x441+1 ~x232+1 ~x22-0=25
49.37/49.45	c 2097152 ~x2226307+1048576 ~x2226306+524288 ~x2226305+262144 ~x2226304+131072 ~x2226303+65536 ~x2226302+32768 ~x2226301+16384 ~x2226300+8192 ~x2226299+4096 ~x2226298+2048 ~x2226297+1024 ~x2226296+512 ~x2226295+256 ~x2226294+128 ~x2226293+64 ~x2226292+32 ~x2226291+16 ~x2226290+8 ~x2226289+4 ~x2226288+2 ~x2226287+1 ~x2226286+11950 ~x5382+5000 ~x5381+4900 ~x5380+5600 ~x5379+4800 ~x5378+7400 ~x5377+4631 ~x5376+8900 ~x5375+8900 ~x5373+8900 ~x5372+8900 ~x5371+9950 ~x5370+4970 ~x5369+9950 ~x5368+4970 ~x5367+4970 ~x5366+9950 ~x5365+9950 ~x5364+4970 ~x5362+4970 ~x5361+6900 ~x5360+9900 ~x5359+9900 ~x5358+9900 ~x5357+5600 ~x5356+8200 ~x5355+2840 ~x5354+14900 ~x5353+5960 ~x5351+4970 ~x5350+4970 ~x5349+4970 ~x5348+4970 ~x5347+6960 ~x5346+9950 ~x5345+9950 ~x5344+9900 ~x5343+9900 ~x5342+9900 ~x5340+9900 ~x5339+9900 ~x5338+9900 ~x5337+9900 ~x5336+9900 ~x5335+9900 ~x5334+9900 ~x5333+9900 ~x5332+9900 ~x5331+9900 ~x5329+9900 ~x5328+9900 ~x5327+3900 ~x5326+6000 ~x5325+15000 ~x5324+14500 ~x5323+15000 ~x5322+15000 ~x5321+15000 ~x5320+17000 ~x5318+20000 ~x5317+15000 ~x5316+15000 ~x5315+15000 ~x5314+15000 ~x5313+15000 ~x5312+15000 ~x5311+15000 ~x5310+15000 ~x5309+15000 ~x5307+20000 ~x5306+20000 ~x5305+15000 ~x5304+15000 ~x5303+15000 ~x5302+9000 ~x5301+9000 ~x5300+9000 ~x5299+13000 ~x5298+9000 ~x5296+13000 ~x5295+9000 ~x5294+15000 ~x5293+15000 ~x5292+9300 ~x5291+9300 ~x5290+9300 ~x5289+13000 ~x5288+13000 ~x5287+20000 ~x5285+20000 ~x5284+15000 ~x5283+15000 ~x5282+15000 ~x5281+13000 ~x5280+12000 ~x5279+15000 ~x5278+15000 ~x5277+12500 ~x5276+2057 ~x5273+13900 ~x5272+10500 ~x5271+10500 ~x5270+10500 ~x5269+11000 ~x5268+6000 ~x5267+13900 ~x5266+12700 ~x5265+10000 ~x5264+10000 ~x5262+10000 ~x5261+10000 ~x5260+10000 ~x5259+11000 ~x5258+10000 ~x5257+15000 ~x5256+15000 ~x5255+15000 ~x5254+10000 ~x5253+12000 ~x5251+6000 ~x5250+7000 ~x5249+15000 ~x5248+10000 ~x5247+12000 ~x5246+6000 ~x5245+6000 ~x5244+13900 ~x5243+12000 ~x5242+12000 ~x5240+12000 ~x5239+12000 ~x5238+12000 ~x5237+12000 ~x5236+12000 ~x5235+6000 ~x5234+12700 ~x5233+13200 ~x5232+5000 ~x5231+15000 ~x5229+5000 ~x5228+15000 ~x5227+15000 ~x5226+10000 ~x5225+10000 ~x5224+15000 ~x5223+14000 ~x5222+15000 ~x5221+5000 ~x5220+5000 ~x5218+10000 ~x5217+13700 ~x5216+10000 ~x5215+18000 ~x5214+10000 ~x5213+17500 ~x5212+10000 ~x5211+10000 ~x5210+15000 ~x5209+5300 ~x5207+8900 ~x5206+12000 ~x5205+10000 ~x5204+15000 ~x5203+10000 ~x5202+5000 ~x5201+17500 ~x5200+15000 ~x5199+10000 ~x5198+10000 ~x5196+12000 ~x5195+10000 ~x5194+15000 ~x5193+5000 ~x5192+15000 ~x5191+10000 ~x5190+10000 ~x5189+5000 ~x5188+10000 ~x5187+5000 ~x5185+9000 ~x5184+15000 ~x5183+10000 ~x5182+5000 ~x5181+12000 ~x5180+15000 ~x5179+10000 ~x5178+5000 ~x5177+10000 ~x5176+20000 ~x5174+10000 ~x5173+7200 ~x5172+10000 ~x5171+10000 ~x5170+15000 ~x5169+10000 ~x5168+15000 ~x5167+10000 ~x5166+10000 ~x5165+15000 ~x5162+15000 ~x5161+22570 x2144-0=6374931
50.37/50.46	c 8 ~x2273920+4 ~x2273919+2 ~x2273918+1 ~x2273917+1 ~x5183+1 ~x4973+1 ~x3827+1 ~x3505+1 ~x2372+1 ~x1516+1 ~x1355+1 ~x1140+1 ~x893+1 ~x650+1 ~x442+1 ~x233+1 ~x23-0=27
50.37/50.48	c 4 ~x2274366+2 ~x2274365+1 ~x2274364+1 ~x5184+1 ~x3838+1 ~x2006+1 ~x1708+1 ~x1517+1 ~x894-0=12
50.37/50.48	c 8 ~x2274515+4 ~x2274514+2 ~x2274513+1 ~x2274512+1 ~x5185+1 ~x4974+1 ~x3949+1 ~x3839+1 ~x2383+1 ~x1929+1 ~x1835+1 ~x1709+1 ~x1518+1 ~x1356+1 ~x1141+1 ~x895+1 ~x651+1 ~x443+1 ~x234+1 ~x24-0=30
50.47/50.50	c 64 ~x2275077+32 ~x2275076+16 ~x2275075+8 ~x2275074+4 ~x2275073+2 ~x2275072+1 ~x2275071+1 ~x2588+1 ~x2587+1 ~x2586+1 ~x2585+1 ~x2584+1 ~x2582+1 ~x2581+1 ~x2580+1 ~x2579+1 ~x2578+1 ~x2577+1 ~x2576+1 ~x2575+1 ~x2574+1 ~x2573+1 ~x2571+1 ~x2570+1 ~x2569+1 ~x2568+1 ~x2567+1 ~x2566+1 ~x2565+1 ~x2564+1 ~x2563+1 ~x2562+1 ~x2560+1 ~x2559+1 ~x2558+1 ~x2557+1 ~x2556+1 ~x2555+1 ~x2554+1 ~x2553+1 ~x2552+1 ~x2551+1 ~x2549+1 ~x2548+1 ~x2547+1 ~x2546+1 ~x2545+1 ~x2544+1 ~x2543+1 ~x2542+1 ~x2541+1 ~x2540+1 ~x2538+1 ~x2537+1 ~x2536+1 ~x2535+1 ~x2534+1 ~x2533+1 ~x2532+1 ~x2531+1 ~x2530+1 ~x2529+1 ~x2527+1 ~x2526+1 ~x2525+1 ~x2524+1 ~x2523+1 ~x2522+1 ~x2521+1 ~x2520+1 ~x2519+1 ~x2518+1 ~x2516+1 ~x2515+1 ~x2514+1 ~x2513+1 ~x2512+1 ~x2511+1 ~x2510+1 ~x2509+1 ~x2508+1 ~x2507+1 ~x2504+1 ~x2503+1 ~x2502+1 ~x2501+1 ~x2500+1 ~x2499+1 ~x2498+1 ~x2497+1 ~x2496+1 ~x2495+1 ~x2493+1 ~x2492+1 ~x2491+1 ~x2490+1 ~x2489+1 ~x2488+1 ~x2487+1 ~x2486+1 ~x2485+1 ~x2484+1 ~x2482+1 ~x2481+1 ~x2480+1 ~x2479+1 ~x2478+1 ~x2477+1 ~x2476+1 ~x2475+1 ~x2474-0=229
50.57/50.66	c 8 ~x2282317+4 ~x2282316+2 ~x2282315+1 ~x2282314+1 ~x5187+1 ~x4976+1 ~x4171+1 ~x3850+1 ~x2395+1 ~x1930+1 ~x1837+1 ~x1711+1 ~x1519+1 ~x1357+1 ~x1142+1 ~x896+1 ~x652+1 ~x444+1 ~x235+1 ~x25-0=30
50.57/50.69	c 8 ~x2282879+4 ~x2282878+2 ~x2282877+1 ~x2282876+1 ~x5188+1 ~x4977+1 ~x4282+1 ~x3861+1 ~x2406+1 ~x2038+1 ~x2007+1 ~x1931+1 ~x1838+1 ~x1520+1 ~x1358+1 ~x897+1 ~x445+1 ~x236+1 ~x27-0=29
50.57/50.69	c 8 ~x2283405+4 ~x2283404+2 ~x2283403+1 ~x2283402+1 ~x5189+1 ~x4978+1 ~x4393+1 ~x3872+1 ~x2417+1 ~x2039+1 ~x2008+1 ~x1932+1 ~x1839+1 ~x1712+1 ~x1521+1 ~x1360+1 ~x898+1 ~x446+1 ~x238+1 ~x28-0=30
50.66/50.72	c 1048576 ~x2283984+524288 ~x2283983+262144 ~x2283982+131072 ~x2283981+65536 ~x2283980+32768 ~x2283979+16384 ~x2283978+8192 ~x2283977+4096 ~x2283976+2048 ~x2283975+1024 ~x2283974+512 ~x2283973+256 ~x2283972+128 ~x2283971+64 ~x2283970+32 ~x2283969+16 ~x2283968+8 ~x2283967+4 ~x2283966+2 ~x2283965+1 ~x2283964+15000 ~x5384+15000 ~x5383+19830 x2145+9950 ~x210+9950 ~x209+11950 ~x208+9950 ~x207+5000 ~x206+4900 ~x205+5800 ~x204+5600 ~x202+4800 ~x201+7400 ~x200+4631 ~x199+8900 ~x198+8900 ~x197+8900 ~x196+8900 ~x195+8900 ~x194+9950 ~x193+4970 ~x191+9950 ~x190+4970 ~x189+4970 ~x188+9950 ~x187+9950 ~x186+4970 ~x185+4970 ~x184+6900 ~x183+9900 ~x182+9900 ~x180+9900 ~x179+9950 ~x178+1909 ~x177+5600 ~x176+8200 ~x175+11900 ~x174+2840 ~x173+14900 ~x172+5960 ~x171+4970 ~x169+4970 ~x168+4970 ~x167+4970 ~x166+6960 ~x165+9950 ~x164+9950 ~x163+9900 ~x162+9900 ~x161+9900 ~x160+9900 ~x158+9900 ~x157+9900 ~x156+9900 ~x155+9900 ~x154+9900 ~x153+9900 ~x152+9900 ~x151+9900 ~x150+9900 ~x149+9900 ~x147+9900 ~x146+3900 ~x145+6000 ~x144+15000 ~x143+14500 ~x142+15000 ~x141+15000 ~x140+15000 ~x139+17000 ~x138+20000 ~x136+15000 ~x135+15000 ~x134+20000 ~x133+20000 ~x132+15000 ~x131+15000 ~x130+15000 ~x129+9000 ~x128+9000 ~x127+9000 ~x125+13000 ~x124+9000 ~x123+13000 ~x122+9000 ~x121+15000 ~x120+9300 ~x119+9300 ~x118+9300 ~x117+15000 ~x116+12000 ~x113+15000 ~x112+12500 ~x111+2057 ~x110+13900 ~x109+10500 ~x108+10500 ~x107+10500 ~x106+11000 ~x105+6000 ~x104+13900 ~x102+12700 ~x101+10000 ~x100+10000 ~x99+10000 ~x98+10000 ~x97+10000 ~x96+11000 ~x95+10000 ~x94+15000 ~x93+15000 ~x91+15000 ~x90+10000 ~x89+12000 ~x88+6000 ~x87+7000 ~x86+15000 ~x85+10000 ~x84+12000 ~x83+6000 ~x82+6000 ~x80+13900 ~x79+12000 ~x78+12000 ~x77+12000 ~x76+12000 ~x75+12000 ~x74+12000 ~x73+12000 ~x72+6000 ~x71+12700 ~x69+15000 ~x68+5000 ~x67+15000 ~x66+15000 ~x65+10000 ~x64+15000 ~x63+10000 ~x62+15000 ~x61+14000 ~x60+15000 ~x58+5000 ~x57+5000 ~x56+10000 ~x55+13700 ~x54+10000 ~x53+18000 ~x52+10000 ~x51+17500 ~x50+15000 ~x49+15000 ~x47+15000 ~x46+5300 ~x45+8900 ~x44+12000 ~x43+10000 ~x42+5000 ~x41+5000 ~x40+17500 ~x39+15000 ~x38+10000 ~x36+12000 ~x35+15000 ~x34+5000 ~x33+10000 ~x32+15000 ~x31+16500 ~x30+10000 ~x29+10000 ~x28+5000 ~x27+10000 ~x25+5000 ~x24+15000 ~x23+10000 ~x22+5000 ~x21+15000 ~x20+10000 ~x19+16500 ~x18+5000 ~x17+10000 ~x16+20000 ~x14+10000 ~x13+7200 ~x12+10000 ~x11+5000 ~x10+10000 ~x9+15000 ~x8+10000 ~x7+5000 ~x6+10000 ~x5-0=4075888
51.57/51.66	c 8 ~x2328190+4 ~x2328189+2 ~x2328188+1 ~x2328187+1 ~x4979+1 ~x3883+1 ~x2097+1 ~x2078+1 ~x2055+1 ~x1840+1 ~x449+1 ~x239+1 ~x29-0=23
51.57/51.66	c 8 ~x2328495+4 ~x2328494+2 ~x2328493+1 ~x2328492+1 ~x4980+1 ~x3894+1 ~x2098+1 ~x2079+1 ~x2056+1 ~x1841+1 ~x450+1 ~x240+1 ~x30-0=23
51.57/51.68	c 8 ~x2328800+4 ~x2328799+2 ~x2328798+1 ~x2328797+1 ~x4981+1 ~x4505+1 ~x3905+1 ~x2428+1 ~x2132+1 ~x2123+1 ~x2081+1 ~x2057+1 ~x1933+1 ~x1842+1 ~x451+1 ~x241+1 ~x31-0=27
51.57/51.68	c 8 ~x2329225+4 ~x2329224+2 ~x2329223+1 ~x2329222+1 ~x5190+1 ~x4982+1 ~x4616+1 ~x3916+1 ~x2439+1 ~x1522+1 ~x1361+1 ~x1143+1 ~x899+1 ~x653+1 ~x452+1 ~x242+1 ~x32-0=27
51.67/51.72	c 4 ~x2329659+2 ~x2329658+1 ~x2329657+1 ~x5191+1 ~x4838+1 ~x1713+1 ~x1523+1 ~x1144+1 ~x900+1 ~x654-0=13
51.67/51.72	c 128 ~x2329865+64 ~x2329864+32 ~x2329863+16 ~x2329862+8 ~x2329861+4 ~x2329860+2 ~x2329859+1 ~x2329858+1 ~x2762+1 ~x2760+1 ~x2759+1 ~x2758+1 ~x2757+1 ~x2756+1 ~x2755+1 ~x2754+1 ~x2753+1 ~x2752+1 ~x2751+1 ~x2749+1 ~x2748+1 ~x2747+1 ~x2746+1 ~x2745+1 ~x2744+1 ~x2743+1 ~x2742+1 ~x2741+1 ~x2740+1 ~x2738+1 ~x2737+1 ~x2736+1 ~x2735+1 ~x2734+1 ~x2733+1 ~x2732+1 ~x2731+1 ~x2730+1 ~x2729+1 ~x2726+1 ~x2725+1 ~x2724+1 ~x2723+1 ~x2722+1 ~x2721+1 ~x2720+1 ~x2719+1 ~x2718+1 ~x2717+1 ~x2715+1 ~x2714+1 ~x2713+1 ~x2712+1 ~x2711+1 ~x2710+1 ~x2709+1 ~x2708+1 ~x2707+1 ~x2706+1 ~x2704+1 ~x2703+1 ~x2702+1 ~x2701+1 ~x2700+1 ~x2699+1 ~x2698+1 ~x2697+1 ~x2696+1 ~x2695+1 ~x2693+1 ~x2692+1 ~x2691+1 ~x2690+1 ~x2689+1 ~x2688+1 ~x2687+1 ~x2686+1 ~x2685+1 ~x2684+1 ~x2682+1 ~x2681+1 ~x2680+1 ~x2679+1 ~x2678+1 ~x2677+1 ~x2676+1 ~x2675+1 ~x2674+1 ~x2673+1 ~x2671+1 ~x2670+1 ~x2669+1 ~x2668+1 ~x2667+1 ~x2666+1 ~x2665+1 ~x2664+1 ~x2663+1 ~x2662+1 ~x2660+1 ~x2659+1 ~x2658+1 ~x2657+1 ~x2656+1 ~x2655+1 ~x2654+1 ~x2653+1 ~x2652+1 ~x2651+1 ~x2649+1 ~x2648+1 ~x2647+1 ~x2646+1 ~x2645+1 ~x2644+1 ~x2643+1 ~x2642+1 ~x2641+1 ~x2640+1 ~x2638+1 ~x2637+1 ~x2636+1 ~x2635+1 ~x2634+1 ~x2633+1 ~x2632+1 ~x2631+1 ~x2630+1 ~x2629+1 ~x2627+1 ~x2626+1 ~x2625+1 ~x2624+1 ~x2623+1 ~x2622+1 ~x2621+1 ~x2620+1 ~x2619+1 ~x2618+1 ~x2615+1 ~x2614+1 ~x2613+1 ~x2612+1 ~x2611+1 ~x2610+1 ~x2609+1 ~x2608+1 ~x2607+1 ~x2606+1 ~x2604+1 ~x2603+1 ~x2602+1 ~x2601+1 ~x2600+1 ~x2599+1 ~x2598+1 ~x2597+1 ~x2596+1 ~x2595+1 ~x2593+1 ~x2592+1 ~x2591+1 ~x2590+1 ~x2589-0=409
51.86/51.98	c 2 ~x2342203+1 ~x2342202+1 ~x4897+1 ~x1524+1 ~x901+1 ~x656-0=6
51.96/52.00	c 1048576 ~x2342297+524288 ~x2342296+262144 ~x2342295+131072 ~x2342294+65536 ~x2342293+32768 ~x2342292+16384 ~x2342291+8192 ~x2342290+4096 ~x2342289+2048 ~x2342288+1024 ~x2342287+512 ~x2342286+256 ~x2342285+128 ~x2342284+64 ~x2342283+32 ~x2342282+16 ~x2342281+8 ~x2342280+4 ~x2342279+2 ~x2342278+1 ~x2342277+23220 x2146+9950 ~x420+9950 ~x419+11950 ~x418+9950 ~x417+5000 ~x416+4900 ~x415+5800 ~x413+5600 ~x412+4800 ~x411+7400 ~x410+4631 ~x409+8900 ~x408+8900 ~x407+8900 ~x406+8900 ~x405+8900 ~x404+9950 ~x402+4970 ~x401+9950 ~x400+4970 ~x399+4970 ~x398+9950 ~x397+9950 ~x396+4970 ~x395+4970 ~x394+6900 ~x393+9900 ~x391+9900 ~x390+9900 ~x389+9950 ~x388+1909 ~x387+5600 ~x386+8200 ~x385+11900 ~x384+2840 ~x383+14900 ~x382+5960 ~x380+4970 ~x379+4970 ~x378+4970 ~x377+4970 ~x376+6960 ~x375+9950 ~x374+9950 ~x373+9900 ~x372+9900 ~x371+9900 ~x369+9900 ~x368+9900 ~x367+9900 ~x366+9900 ~x365+9900 ~x364+9900 ~x363+9900 ~x362+9900 ~x361+9900 ~x360+9900 ~x358+9900 ~x357+9900 ~x356+3900 ~x355+6000 ~x354+15000 ~x353+14500 ~x352+15000 ~x351+15000 ~x350+15000 ~x349+17000 ~x347+20000 ~x346+15000 ~x345+15000 ~x344+20000 ~x343+20000 ~x342+15000 ~x341+15000 ~x340+15000 ~x339+9000 ~x338+9000 ~x335+9000 ~x334+13000 ~x333+9000 ~x332+13000 ~x331+9000 ~x330+15000 ~x329+9300 ~x328+9300 ~x327+9300 ~x326+15000 ~x324+12000 ~x323+15000 ~x322+12500 ~x321+2057 ~x320+13900 ~x319+10500 ~x318+10500 ~x317+10500 ~x316+11000 ~x315+6000 ~x313+13900 ~x312+12700 ~x311+10000 ~x310+10000 ~x309+10000 ~x308+10000 ~x307+10000 ~x306+11000 ~x305+10000 ~x304+15000 ~x302+15000 ~x301+15000 ~x300+10000 ~x299+12000 ~x298+6000 ~x297+7000 ~x296+15000 ~x295+10000 ~x294+12000 ~x293+6000 ~x291+6000 ~x290+13900 ~x289+12000 ~x288+12000 ~x287+12000 ~x286+12000 ~x285+12000 ~x284+12000 ~x283+12000 ~x282+6000 ~x280+12700 ~x279+15000 ~x278+5000 ~x277+15000 ~x276+15000 ~x275+10000 ~x274+15000 ~x273+10000 ~x272+15000 ~x271+14000 ~x269+15000 ~x268+5000 ~x267+5000 ~x266+10000 ~x265+13700 ~x264+10000 ~x263+18000 ~x262+10000 ~x261+17500 ~x260+15000 ~x258+15000 ~x257+15000 ~x256+5300 ~x255+8900 ~x254+12000 ~x253+10000 ~x252+5000 ~x251+5000 ~x250+17500 ~x249+15000 ~x247+10000 ~x246+12000 ~x245+15000 ~x244+5000 ~x243+10000 ~x242+15000 ~x241+16500 ~x240+10000 ~x239+10000 ~x238+5000 ~x236+10000 ~x235+5000 ~x234+15000 ~x233+10000 ~x232+5000 ~x231+15000 ~x230+10000 ~x229+16500 ~x228+5000 ~x227+10000 ~x224+20000 ~x223+10000 ~x222+7200 ~x221+10000 ~x220+5000 ~x219+10000 ~x218+15000 ~x217+10000 ~x216+5000 ~x215+10000 ~x213+15000 ~x212+15000 ~x211-0=4075888
52.86/52.95	c 8 ~x2386530+4 ~x2386529+2 ~x2386528+1 ~x2386527+1 ~x5192+1 ~x4983+1 ~x4919+1 ~x3927+1 ~x2450+1 ~x1934+1 ~x1843+1 ~x1718+1 ~x1526+1 ~x1362+1 ~x1146+1 ~x902+1 ~x657+1 ~x453+1 ~x243+1 ~x33-0=30
52.86/52.96	c 8 ~x2387092+4 ~x2387091+2 ~x2387090+1 ~x2387089+1 ~x5193+1 ~x4984+1 ~x4930+1 ~x3938+1 ~x2461+1 ~x2009+1 ~x1935+1 ~x1844+1 ~x1719+1 ~x1527+1 ~x1363+1 ~x904+1 ~x454+1 ~x244+1 ~x34-0=29
52.86/52.98	c 2 ~x2387616+1 ~x2387615+1 ~x4942+1 ~x2059+1 ~x2010+1 ~x1528-0=6
52.86/52.98	c 4 ~x2387702+2 ~x2387701+1 ~x2387700+1 ~x5194+1 ~x4964+1 ~x1720+1 ~x1529+1 ~x1147+1 ~x905+1 ~x659-0

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673988-1276800586/watcher-2673988-1276800586 -o /tmp/evaluation-result-2673988-1276800586/solver-2673988-1276800586 -C 1800 -W 2000 -M 1800 run HOME/instance-2673988-1276800586.opb 

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


[startup+0 s]
/proc/loadavg: 0.97 0.99 0.99 3/105 24405
/proc/meminfo: memFree=1851316/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0

[startup+0.097212 s]
/proc/loadavg: 0.97 0.99 0.99 3/105 24405
/proc/meminfo: memFree=1851316/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101212 s]
/proc/loadavg: 0.97 0.99 0.99 3/105 24405
/proc/meminfo: memFree=1851316/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300231 s]
/proc/loadavg: 0.97 0.99 0.99 3/105 24405
/proc/meminfo: memFree=1851316/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70027 s]
/proc/loadavg: 0.97 0.99 0.99 3/105 24405
/proc/meminfo: memFree=1851316/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50135 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 24408
/proc/meminfo: memFree=1656372/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=279172 CPUtime=1.49
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 69514 0 0 0 65 84 0 0 25 0 1 0 21352402 285872128 69227 1992294400 134512640 134902295 4289799136 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 69857 69230 259 96 0 69069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 287872

[startup+3.10151 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 24408
/proc/meminfo: memFree=1555684/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=316388 CPUtime=3.09
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 85577 0 0 0 218 91 0 0 25 0 1 0 21352402 323981312 78290 1992294400 134512640 134902295 4289799136 18446744073709551615 134631203 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 79097 78290 262 96 0 78309 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 325088

[startup+6.30183 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 24408
/proc/meminfo: memFree=1496288/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=379012 CPUtime=6.29
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 101278 0 0 0 531 98 0 0 25 0 1 0 21352402 388108288 93263 1992294400 134512640 134902295 4289799136 18446744073709551615 4160046678 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 94753 93263 262 96 0 93965 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 387712

[startup+12.7015 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 24408
/proc/meminfo: memFree=1369188/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=502984 CPUtime=12.69
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 135170 0 0 0 1154 115 0 0 25 0 1 0 21352402 515055616 123492 1992294400 134512640 134902295 4289799136 18446744073709551615 134520108 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 125746 123492 262 96 0 124958 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 511684

[startup+25.5007 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 24410
/proc/meminfo: memFree=1129868/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=742520 CPUtime=25.48
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 200407 0 0 0 2406 142 0 0 25 0 1 0 21352402 760340480 181398 1992294400 134512640 134902295 4289799136 18446744073709551615 5465596 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 185630 181398 262 96 0 184842 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 751220

[startup+51.1003 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 24410
/proc/meminfo: memFree=686444/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1190548 CPUtime=51.06
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 323621 0 0 0 4917 189 0 0 25 0 1 0 21352402 1219121152 293148 1992294400 134512640 134902295 4289799136 18446744073709551615 134565222 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 297637 293148 262 96 0 296849 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1199248

[startup+102.309 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24412
/proc/meminfo: memFree=636596/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1256356 CPUtime=102.25
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 333608 0 0 0 10031 194 0 0 25 0 1 0 21352402 1286508544 303119 1992294400 134512640 134902295 4289799136 18446744073709551615 4160045679 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 314089 303119 269 96 0 313301 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1265056

[startup+162.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24412
/proc/meminfo: memFree=624816/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1268356 CPUtime=162.22
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 336568 0 0 0 16023 199 0 0 25 0 1 0 21352402 1298796544 306079 1992294400 134512640 134902295 4289799136 18446744073709551615 4160076001 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 317089 306079 269 96 0 316301 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1277056

[startup+222.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24414
/proc/meminfo: memFree=611796/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1281172 CPUtime=222.18
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 339770 0 0 0 22016 202 0 0 25 0 1 0 21352402 1311920128 309281 1992294400 134512640 134902295 4289799136 18446744073709551615 4160067773 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 320293 309281 269 96 0 319505 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1289872

[startup+282.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24416
/proc/meminfo: memFree=609068/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1283956 CPUtime=282.16
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 340405 0 0 0 28013 203 0 0 25 0 1 0 21352402 1314770944 309916 1992294400 134512640 134902295 4289799136 18446744073709551615 4160064345 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 320989 309916 269 96 0 320201 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1292656

[startup+342.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24418
/proc/meminfo: memFree=603744/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1289156 CPUtime=342.14
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 341729 0 0 0 34009 205 0 0 25 0 1 0 21352402 1320095744 311240 1992294400 134512640 134902295 4289799136 18446744073709551615 4160058364 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 322289 311240 269 96 0 321501 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 1297856

[startup+402.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24420
/proc/meminfo: memFree=595436/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1297620 CPUtime=402.1
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 343870 0 0 0 40002 208 0 0 25 0 1 0 21352402 1328762880 313381 1992294400 134512640 134902295 4289799136 18446744073709551615 4160065163 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 324405 313381 269 96 0 323617 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 1306320

[startup+462.3 s]

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

/proc/24407/statm: 354937 343676 269 96 0 354149 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1428448

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24451
/proc/meminfo: memFree=467716/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1425052 CPUtime=1241.71
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 375497 0 0 0 123924 247 0 0 25 0 1 0 21352402 1459253248 345008 1992294400 134512640 134902295 4289799136 18446744073709551615 4160075902 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 356263 345008 269 96 0 355475 0
Current children cumulated CPU time (s) 1241.71
Current children cumulated vsize (KiB) 1433752

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24453
/proc/meminfo: memFree=462632/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1429936 CPUtime=1301.69
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 376716 0 0 0 129921 248 0 0 25 0 1 0 21352402 1464254464 346227 1992294400 134512640 134902295 4289799136 18446744073709551615 4160045741 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 357484 346227 269 96 0 356696 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 1438636

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24453
/proc/meminfo: memFree=458540/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1433920 CPUtime=1361.66
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 377739 0 0 0 135916 250 0 0 25 0 1 0 21352402 1468334080 347250 1992294400 134512640 134902295 4289799136 18446744073709551615 4160075902 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 358480 347250 269 96 0 357692 0
Current children cumulated CPU time (s) 1361.66
Current children cumulated vsize (KiB) 1442620

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24455
/proc/meminfo: memFree=450356/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1442108 CPUtime=1421.64
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 379788 0 0 0 141912 252 0 0 25 0 1 0 21352402 1476718592 349299 1992294400 134512640 134902295 4289799136 18446744073709551615 4160075910 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 360527 349299 269 96 0 359739 0
Current children cumulated CPU time (s) 1421.64
Current children cumulated vsize (KiB) 1450808

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24457
/proc/meminfo: memFree=443164/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1449368 CPUtime=1481.61
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 381621 0 0 0 147906 255 0 0 25 0 1 0 21352402 1484152832 351132 1992294400 134512640 134902295 4289799136 18446744073709551615 4160045681 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 362342 351132 269 96 0 361554 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 1458068

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24459
/proc/meminfo: memFree=437336/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1455048 CPUtime=1541.58
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 383064 0 0 0 153901 257 0 0 25 0 1 0 21352402 1489969152 352575 1992294400 134512640 134902295 4289799136 18446744073709551615 4160064705 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 363762 352575 269 96 0 362974 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 1463748

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24461
/proc/meminfo: memFree=428904/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1463504 CPUtime=1601.55
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 385172 0 0 0 159895 260 0 0 25 0 1 0 21352402 1498628096 354683 1992294400 134512640 134902295 4289799136 18446744073709551615 4160077052 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 365876 354683 269 96 0 365088 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 1472204

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24461
/proc/meminfo: memFree=422456/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1469600 CPUtime=1661.52
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 386718 0 0 0 165891 261 0 0 25 0 1 0 21352402 1504870400 356229 1992294400 134512640 134902295 4289799136 18446744073709551615 4160075902 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 367400 356229 269 96 0 366612 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 1478300

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24463
/proc/meminfo: memFree=416876/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1476060 CPUtime=1721.49
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 388133 0 0 0 171886 263 0 0 25 0 1 0 21352402 1511485440 357644 1992294400 134512640 134902295 4289799136 18446744073709551615 4160045823 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 369015 357644 269 96 0 368227 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 1484760

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24465
/proc/meminfo: memFree=411172/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1481504 CPUtime=1781.47
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 389496 0 0 0 177882 265 0 0 25 0 1 0 21352402 1517060096 359007 1992294400 134512640 134902295 4289799136 18446744073709551615 4160067773 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 370376 359007 269 96 0 369588 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 1490204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24465
/proc/meminfo: memFree=409436/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1483220 CPUtime=1800.07
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 389932 0 0 0 179741 266 0 0 25 0 1 0 21352402 1518817280 359443 1992294400 134512640 134902295 4289799136 18446744073709551615 4160076088 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 370805 359443 269 96 0 370017 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1491920

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

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

[startup+1800.9 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 24465
/proc/meminfo: memFree=409436/2059040 swapFree=4139880/4192956
[pid=24405] ppid=24403 vsize=8700 CPUtime=0
/proc/24405/stat : 24405 (run) S 24403 24405 24237 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21352401 8908800 250 1992294400 4194304 4922060 140736131443840 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24405/statm: 2175 250 211 178 0 68 0
[pid=24407] ppid=24405 vsize=1483220 CPUtime=1800.07
/proc/24407/stat : 24407 (PBPASSolver) R 24405 24405 24237 0 -1 4202496 389932 0 0 0 179741 266 0 0 25 0 1 0 21352402 1518817280 359443 1992294400 134512640 134902295 4289799136 18446744073709551615 4160076088 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/24407/statm: 370805 359443 269 96 0 370017 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1491920

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.91
CPU time (s): 1800.07
CPU user time (s): 1797.41
CPU system time (s): 2.66
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 1491920

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

runsolver used 3.11653 second user time and 8.36973 second system time

The end

Begin job on node084 at 2010-06-17 20:49:46
IDJOB=2673988
IDBENCH=2519
IDSOLVER=1174
FILE ID=node084/2673988-1276800586
PBS_JOBID= 11176638
Free space on /tmp= 62508 MiB

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

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

MD5SUM BENCH= eae2e8a732d92a062f083ccb58900b63
RANDOM SEED=1715356977

node084.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.229
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.45
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.229
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.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851712 kB
Buffers:         35336 kB
Cached:          80232 kB
SwapCached:       5544 kB
Active:           7204 kB
Inactive:       120636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851712 kB
SwapTotal:     4192956 kB
SwapFree:      4139880 kB
Dirty:            1032 kB
Writeback:           0 kB
AnonPages:       10920 kB
Mapped:          13012 kB
Slab:            57444 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181860 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= 62504 MiB
End job on node084 at 2010-06-17 21:19:49