0.00/0.01	c solving HOME/instance-4496637-1751385258.opb (Picat 3.9b6)
1.48/1.59	o 1490
1.78/1.84	o 131
2.57/2.69	o 44
6.36/6.46	o 31
7.97/8.10	o 27
10.56/10.60	o 26
10.56/10.60	s OPTIMUM FOUND
10.56/10.60	v ~x2404 ~x5321 ~x12102 ~x8699 ~x5645 ~x12077 ~x1939 ~x8900 ~x2406 ~x5323 
10.56/10.60	v ~x12104 ~x8701 ~x5648 ~x12079 ~x1941 ~x8902 ~x2408 ~x5325 ~x12106 ~x8703 
10.56/10.60	v ~x5650 ~x12081 ~x1943 ~x8904 ~x2410 ~x5327 ~x12108 ~x8705 ~x5652 ~x12083 
10.56/10.60	v ~x1945 ~x8906 ~x2412 ~x5329 ~x12110 ~x8707 ~x5654 ~x12085 ~x1947 ~x8908 
10.56/10.60	v ~x2414 ~x5331 ~x12112 ~x8709 ~x5656 ~x12087 ~x1949 ~x8910 ~x2416 ~x5333 
10.56/10.60	v ~x12114 ~x8711 ~x96 ~x12089 ~x1951 ~x8912 ~x2418 ~x5335 ~x12116 ~x8713 
10.56/10.60	v ~x5658 ~x12091 ~x1953 ~x8914 ~x2420 ~x5337 ~x12118 ~x8715 ~x5660 ~x12093 
10.56/10.60	v ~x1955 ~x8916 ~x2422 ~x5339 ~x12120 ~x8717 ~x5662 ~x12095 ~x1957 ~x8918 
10.56/10.60	v ~x2424 ~x5341 ~x12122 ~x8719 ~x5664 ~x12097 ~x1959 ~x8920 ~x2426 ~x5343 
10.56/10.60	v ~x12124 ~x8721 ~x5666 ~x12099 ~x1961 ~x8922 ~x2428 ~x5345 ~x12126 ~x8723 
10.56/10.60	v ~x5668 ~x12101 ~x1963 ~x8924 ~x2430 ~x5347 ~x12128 ~x8725 ~x5670 ~x12103 
10.56/10.60	v ~x1965 ~x8926 ~x23 ~x5349 ~x260 ~x8727 ~x5672 ~x12105 x1967 ~x8928 
10.56/10.60	v ~x2432 ~x5351 ~x12130 ~x8729 ~x5674 ~x12107 ~x1969 ~x8930 ~x2434 ~x5353 
10.56/10.60	v ~x12132 ~x8731 ~x5676 ~x12109 ~x1971 ~x8932 ~x2436 ~x5354 ~x12134 ~x8733 
10.56/10.60	v ~x5678 ~x12111 ~x1973 ~x8934 ~x2438 ~x5356 ~x12136 ~x8735 ~x5680 ~x12113 
10.56/10.60	v ~x1975 ~x8936 ~x2440 ~x5358 ~x12138 ~x8737 ~x5682 ~x12115 ~x1977 ~x8938 
10.56/10.60	v ~x2442 ~x5360 ~x12140 ~x8739 ~x5684 ~x12117 ~x1979 ~x8940 ~x2444 ~x5362 
10.56/10.60	v ~x12142 ~x8741 ~x5686 ~x12119 ~x1981 ~x8942 ~x2446 ~x5364 ~x12144 ~x8743 
10.56/10.60	v ~x5688 ~x12121 ~x1983 ~x8944 ~x2448 ~x5366 ~x12146 ~x8745 ~x5690 ~x12123 
10.56/10.60	v ~x1985 ~x8946 ~x2450 ~x5368 ~x12148 ~x8747 ~x5692 ~x12125 ~x1987 ~x8948 
10.56/10.60	v ~x2452 ~x5370 ~x12150 ~x8749 ~x5694 ~x12127 ~x1989 ~x8950 ~x2454 ~x5372 
10.56/10.60	v ~x12152 ~x8751 ~x5696 ~x12129 ~x1991 ~x8952 ~x2456 ~x5374 ~x12154 ~x8753 
10.56/10.60	v ~x5698 ~x12131 ~x1993 ~x8954 ~x2458 ~x5376 ~x12156 ~x8755 ~x5700 ~x12133 
10.56/10.60	v ~x1995 ~x8956 ~x2460 ~x5378 ~x12158 ~x8757 ~x5702 ~x12135 ~x1997 ~x8958 
10.56/10.60	v ~x2462 ~x5380 ~x12160 ~x8759 ~x5704 ~x12137 ~x1999 ~x8960 ~x2464 ~x5382 
10.56/10.60	v ~x12162 ~x8761 ~x5706 ~x12139 ~x2001 ~x8962 ~x2466 ~x5384 ~x12164 ~x8763 
10.56/10.60	v ~x5708 ~x12141 ~x2003 ~x8964 ~x2468 ~x5386 ~x12166 ~x8765 ~x5710 ~x12143 
10.56/10.60	v ~x2005 ~x8966 ~x2470 ~x5388 ~x12168 ~x8767 ~x5712 ~x12145 ~x2007 ~x8968 
10.56/10.60	v ~x2472 ~x5390 ~x12170 ~x8769 ~x5714 ~x12147 ~x2009 ~x8970 ~x2474 ~x5392 
10.56/10.60	v ~x12172 ~x8771 ~x5716 ~x12149 ~x2011 ~x8972 ~x2476 ~x5394 ~x12174 ~x8773 
10.56/10.60	v ~x5718 ~x12151 ~x2013 ~x8974 ~x2478 ~x5396 ~x12176 ~x8775 ~x97 ~x12153 
10.56/10.60	v ~x2015 ~x165 ~x2480 ~x5398 ~x12178 ~x8777 ~x5720 ~x12155 ~x2017 ~x8976 
10.56/10.60	v ~x2482 ~x5400 ~x12181 ~x8779 ~x5722 ~x12157 ~x2019 ~x8978 ~x2484 ~x5402 
10.56/10.60	v ~x12183 ~x8781 ~x5724 ~x12159 ~x2021 ~x8980 ~x2486 ~x5404 ~x12185 ~x8783 
10.56/10.60	v ~x5726 ~x12161 ~x2023 ~x8982 ~x2488 ~x5406 ~x12187 ~x8785 ~x5728 ~x12163 
10.56/10.60	v ~x2025 ~x8984 ~x2490 ~x5408 ~x12189 ~x8787 ~x5730 ~x12165 ~x2027 ~x8986 
10.56/10.60	v ~x2492 ~x5410 ~x261 ~x8789 ~x5732 ~x12167 ~x2029 ~x8988 ~x2494 ~x5412 
10.56/10.60	v ~x12191 ~x8791 ~x5734 ~x12169 ~x2031 ~x8990 ~x2496 ~x5414 ~x12193 ~x8793 
10.56/10.60	v ~x5736 ~x12171 ~x2033 ~x8992 ~x2498 ~x5416 ~x12195 ~x8795 ~x5738 ~x12173 
10.56/10.60	v ~x2035 ~x8994 ~x2500 ~x5418 ~x12197 ~x8797 ~x5740 ~x12175 ~x2037 ~x8996 
10.56/10.60	v ~x2502 ~x5420 ~x12199 ~x8799 ~x5742 ~x12177 ~x2039 ~x8998 ~x2504 ~x5422 
10.56/10.60	v ~x12201 ~x8801 ~x5744 ~x12179 ~x2041 ~x9000 ~x2506 ~x5424 ~x12203 ~x8803 
10.56/10.60	v ~x5746 ~x12180 ~x2043 ~x9002 ~x2508 ~x5426 ~x12205 ~x8805 ~x5748 ~x12182 
10.56/10.60	v ~x2045 ~x9004 ~x2510 ~x5428 ~x12207 ~x8807 ~x98 ~x12184 ~x2047 ~x9006 
10.56/10.60	v ~x2512 ~x5430 ~x12209 ~x8809 ~x5750 ~x12186 ~x2049 ~x9008 ~x2514 ~x5432 
10.56/10.60	v ~x12211 ~x8811 ~x5752 ~x12188 ~x2051 ~x9010 ~x2516 ~x5434 ~x12213 ~x8813 
10.56/10.60	v ~x5754 ~x12190 ~x2053 ~x9012 ~x2518 ~x5436 ~x12215 ~x8815 ~x5756 ~x12192 
10.56/10.60	v ~x2055 ~x9014 ~x2520 ~x5438 ~x12217 ~x8817 ~x5758 ~x12194 ~x2057 ~x9016 
10.56/10.60	v ~x2522 ~x5440 ~x12219 ~x8819 ~x5760 ~x12196 ~x2059 ~x9018 ~x2524 ~x5442 
10.56/10.61	v ~x12221 ~x8821 ~x5762 ~x12198 ~x2061 ~x9020 ~x2526 ~x5444 ~x12223 ~x8823 
10.56/10.61	v ~x5764 ~x12200 ~x2063 ~x9022 ~x2528 ~x5446 ~x12225 ~x8825 ~x5766 ~x12202 
10.56/10.61	v ~x2065 ~x9024 ~x2530 ~x5448 ~x12227 ~x8827 ~x5768 ~x12204 ~x2067 ~x9026 
10.56/10.61	v ~x2532 ~x5450 ~x12229 ~x8829 ~x5770 ~x12206 ~x2069 ~x9028 ~x2534 ~x5452 
10.56/10.61	v ~x12231 ~x8831 ~x5772 ~x12208 ~x2071 ~x9030 ~x2536 ~x5454 ~x12233 ~x8833 
10.56/10.61	v ~x5774 ~x12210 ~x2073 ~x9032 ~x2538 ~x5456 ~x12235 ~x8835 ~x5776 ~x12212 
10.56/10.61	v ~x2075 ~x9034 ~x2540 ~x5458 ~x12237 ~x8837 ~x5778 ~x12214 ~x2077 ~x9036 
10.56/10.61	v ~x2542 ~x5460 ~x12239 ~x8839 ~x99 ~x12216 ~x2079 ~x166 ~x2544 ~x5462 
10.56/10.61	v ~x12241 ~x8841 ~x5780 ~x12218 ~x2081 ~x9038 ~x2546 ~x5464 ~x12243 x8843 
10.56/10.61	v ~x5782 ~x12220 ~x2083 ~x9040 ~x2548 ~x5466 ~x12245 ~x8845 ~x5784 ~x12222 
10.56/10.61	v ~x2085 ~x9042 ~x2550 ~x5468 ~x12247 ~x8847 ~x5786 ~x12224 ~x2087 ~x9044 
10.56/10.61	v ~x2552 ~x5470 ~x12249 ~x8849 ~x5788 ~x12226 ~x2089 ~x9046 ~x2554 ~x5472 
10.56/10.61	v ~x12251 ~x8851 ~x5790 ~x12228 ~x2091 ~x9048 ~x2556 ~x5474 ~x262 ~x8853 
10.56/10.61	v ~x5792 ~x12230 ~x2093 ~x9050 ~x24 ~x5476 ~x12253 ~x8855 ~x100 ~x12232 
10.56/10.61	v ~x2095 ~x9052 ~x2558 ~x5478 ~x12255 ~x8857 ~x5794 ~x12234 ~x2097 ~x9054 
10.56/10.61	v ~x2560 ~x5480 ~x12257 ~x8859 ~x5796 ~x12236 ~x2099 ~x9056 ~x2562 ~x5482 
10.56/10.61	v ~x12259 ~x8861 ~x5798 ~x12238 ~x2101 ~x9058 ~x2564 ~x5484 ~x12261 ~x8863 
10.56/10.61	v ~x5800 ~x12240 ~x2103 ~x9060 ~x2566 ~x5486 ~x12263 ~x8865 ~x5802 ~x12242 
10.56/10.61	v ~x2105 ~x9062 ~x2568 ~x5488 ~x12265 ~x8867 ~x5804 ~x12244 ~x2107 ~x9064 
10.56/10.61	v ~x2570 ~x5490 ~x12267 ~x8869 ~x5806 ~x12246 ~x2109 ~x9066 ~x2572 ~x5492 
10.56/10.61	v ~x12269 ~x8871 ~x5808 ~x12248 ~x2111 ~x9068 ~x2574 ~x5494 ~x12271 ~x8873 
10.56/10.61	v ~x5810 ~x12250 ~x2113 ~x9070 ~x2576 ~x5496 ~x12273 ~x8875 ~x5812 ~x12252 
10.56/10.61	v ~x2115 ~x9072 ~x2578 ~x5498 ~x12275 ~x8877 ~x5814 ~x12254 ~x2117 ~x9074 
10.56/10.61	v ~x2580 ~x5500 ~x12277 ~x8879 ~x5816 ~x12256 ~x2119 ~x9076 ~x2582 ~x5502 
10.56/10.61	v ~x12279 ~x8881 ~x5818 ~x12258 ~x2121 ~x9078 ~x2584 ~x5504 ~x12281 ~x8883 
10.56/10.61	v ~x5820 ~x12260 ~x2123 ~x9080 ~x2586 ~x5506 ~x263 ~x8885 ~x5822 ~x12262 
10.56/10.61	v ~x2125 ~x9082 ~x2588 ~x5508 ~x12283 ~x8887 ~x101 ~x12264 ~x2127 ~x9084 
10.56/10.61	v ~x2590 ~x5510 ~x12285 ~x8889 ~x5824 ~x12266 ~x2129 ~x9086 ~x2592 ~x5512 
10.56/10.61	v ~x12287 ~x8891 ~x5826 ~x12268 ~x2131 ~x9088 ~x2594 ~x5514 ~x12289 ~x8893 
10.56/10.61	v ~x5828 ~x12270 ~x2133 ~x9090 ~x2596 ~x5516 ~x12291 ~x8895 ~x5830 ~x12272 
10.56/10.61	v ~x2135 ~x9092 ~x2598 ~x5518 ~x12293 ~x8897 ~x5832 ~x12274 ~x2137 ~x9094 
10.56/10.61	v ~x2600 ~x5520 ~x12295 ~x8899 ~x5834 ~x12276 ~x2139 ~x9096 ~x2602 ~x5522 
10.56/10.61	v ~x12297 ~x8901 ~x5836 ~x12278 ~x2141 ~x9098 ~x2604 ~x5524 ~x12299 ~x8903 
10.56/10.61	v ~x102 ~x12280 ~x2143 ~x167 ~x2606 ~x5526 ~x12301 ~x8905 ~x5838 ~x12282 
10.56/10.61	v ~x2145 ~x9100 ~x2608 ~x5528 ~x12303 ~x8907 ~x5840 ~x12284 ~x2147 ~x9102 
10.56/10.61	v ~x2610 ~x5530 ~x12305 ~x8909 ~x5842 ~x12286 ~x2149 ~x9104 ~x2612 ~x5532 
10.56/10.61	v ~x12307 ~x8911 ~x5844 ~x12288 ~x2151 ~x9106 ~x2614 ~x5534 ~x12309 ~x8913 
10.56/10.61	v ~x5846 ~x12290 ~x2153 ~x9108 ~x2616 ~x5536 ~x12311 ~x8915 ~x5848 ~x12292 
10.56/10.61	v ~x2155 ~x9110 ~x2618 ~x5538 ~x12313 ~x8917 ~x5850 ~x12294 ~x2157 ~x9112 
10.56/10.61	v ~x25 ~x5540 ~x12315 ~x8919 ~x103 ~x12296 ~x2159 ~x9114 ~x2620 ~x5542 
10.56/10.61	v ~x12317 ~x8921 ~x5852 ~x12298 ~x2161 ~x9116 ~x2622 ~x5544 ~x12319 ~x8923 
10.56/10.61	v ~x5854 ~x12300 ~x2163 ~x9118 ~x2624 ~x5546 ~x12321 ~x8925 ~x5856 ~x12302 
10.56/10.61	v ~x2165 ~x9120 ~x2626 ~x5548 ~x12323 ~x8927 ~x104 ~x12304 ~x2167 ~x9122 
10.56/10.61	v ~x2628 ~x5550 ~x12325 ~x8929 ~x5858 ~x12306 ~x2169 ~x9124 ~x2630 ~x5552 
10.56/10.61	v ~x12327 ~x8931 ~x5860 ~x12308 ~x2171 ~x9126 ~x2632 ~x5554 ~x12329 ~x8933 
10.56/10.61	v ~x5862 ~x12310 ~x2173 ~x9128 ~x2634 ~x5556 ~x12331 ~x8935 ~x5864 ~x12312 
10.56/10.61	v ~x2175 ~x168 ~x2636 ~x5558 ~x12333 ~x8937 ~x5866 ~x12314 ~x2177 ~x9130 
10.56/10.61	v ~x2638 ~x5560 ~x12335 ~x8939 ~x5868 ~x12316 ~x2179 ~x9132 ~x2640 ~x5562 
10.56/10.61	v ~x12337 ~x8941 ~x5870 ~x12318 ~x2181 ~x9134 ~x2642 ~x5564 ~x12339 ~x8943 
10.56/10.61	v ~x5872 ~x12320 ~x2183 ~x9136 ~x2644 ~x5566 ~x12341 ~x8945 ~x5874 ~x12322 
10.56/10.61	v ~x2185 ~x9138 ~x2646 ~x5568 ~x264 ~x8947 ~x5876 ~x12324 ~x2187 ~x9140 
10.56/10.61	v ~x2648 ~x5570 ~x12343 ~x8949 ~x5878 ~x12326 ~x2189 ~x9142 ~x2650 ~x5572 
10.56/10.61	v ~x12345 ~x8951 ~x5880 ~x12328 ~x2191 ~x9144 ~x2652 x5574 ~x12347 ~x8953 
10.56/10.61	v ~x5882 ~x12330 ~x2193 ~x9146 ~x2654 ~x5576 ~x12349 ~x8955 ~x5884 ~x12332 
10.56/10.61	v ~x2195 ~x9148 ~x2656 ~x5578 ~x12351 ~x8957 ~x5886 ~x12334 ~x2197 ~x9150 
10.56/10.61	v ~x2658 ~x5580 ~x12353 ~x8959 ~x5888 ~x12336 ~x2199 ~x9152 ~x2660 ~x5582 
10.56/10.61	v ~x12355 ~x8961 ~x5890 ~x12338 ~x2201 ~x9154 ~x2662 ~x5584 ~x12357 ~x8963 
10.56/10.61	v ~x5892 ~x12340 ~x2203 ~x9156 ~x2664 ~x5586 ~x12359 ~x8965 ~x5894 ~x12342 
10.56/10.61	v ~x2205 ~x9158 ~x2666 ~x5588 ~x12361 ~x8967 ~x5896 ~x12344 ~x2207 ~x9160 
10.56/10.61	v ~x2668 ~x5590 ~x12363 ~x8969 ~x5898 ~x12346 ~x2209 ~x9162 ~x2670 ~x5592 
10.56/10.61	v ~x12365 ~x8971 ~x5900 ~x12348 ~x2211 ~x9164 ~x2672 ~x5594 ~x12367 ~x8973 
10.56/10.61	v ~x5902 ~x12350 ~x2213 ~x9166 ~x2674 ~x5596 ~x12369 ~x8975 ~x5904 ~x12352 
10.56/10.61	v ~x2215 ~x9168 ~x2676 ~x5598 ~x12371 ~x8977 ~x5906 ~x12354 ~x2217 ~x9170 
10.56/10.61	v ~x2678 ~x5600 ~x265 ~x8979 ~x5908 ~x12356 ~x2219 ~x9172 ~x2680 ~x5602 
10.56/10.61	v ~x12373 ~x8981 ~x5910 ~x12358 ~x2221 ~x9174 ~x26 ~x5604 ~x12375 ~x8983 
10.56/10.61	v ~x5912 ~x12360 ~x2223 ~x9176 ~x2682 ~x5606 ~x12377 ~x8985 ~x5914 ~x12362 
10.56/10.61	v ~x2225 ~x9178 ~x2684 ~x5608 ~x12379 ~x8987 ~x5916 ~x12364 ~x2227 ~x9180 
10.56/10.61	v ~x2686 ~x5610 ~x12381 ~x8989 ~x5918 ~x12366 ~x2229 ~x9182 ~x2688 ~x5612 
10.56/10.61	v ~x12383 ~x8991 ~x105 ~x12368 ~x2231 ~x9184 ~x2690 ~x5614 ~x12385 ~x8993 
10.56/10.61	v ~x5920 ~x12370 ~x2233 ~x9186 ~x2692 ~x5616 ~x12387 ~x8995 ~x5922 ~x12372 
10.56/10.61	v ~x2235 ~x9188 ~x2694 ~x5618 ~x12389 ~x8997 ~x5924 ~x12374 ~x2237 ~x9190 
10.56/10.61	v ~x2696 ~x5620 ~x12391 ~x8999 ~x5926 ~x12376 ~x2239 ~x169 ~x2698 ~x5622 
10.56/10.61	v ~x12393 ~x9001 ~x5928 ~x12378 ~x2241 ~x9192 ~x2700 ~x5624 ~x12395 ~x9003 
10.56/10.61	v ~x5930 ~x12380 ~x2243 ~x9194 ~x2702 ~x5626 ~x12397 ~x9005 ~x5932 ~x12382 
10.56/10.61	v ~x2245 ~x9196 ~x2704 ~x5628 ~x12399 ~x9007 ~x5934 ~x12384 ~x2247 ~x9198 
10.56/10.61	v ~x2706 ~x5630 ~x12401 ~x9009 ~x5936 ~x12386 ~x2249 ~x9200 ~x2708 ~x5632 
10.56/10.61	v ~x266 ~x9011 ~x5938 ~x12388 ~x2251 ~x9202 ~x2710 ~x5634 ~x12403 ~x9013 
10.56/10.61	v ~x5940 ~x12390 ~x2253 ~x9204 ~x27 ~x5636 ~x12405 ~x9015 ~x5942 ~x12392 
10.56/10.61	v ~x2255 ~x9206 ~x2712 ~x5638 ~x12407 ~x9017 ~x5944 ~x12394 ~x2257 ~x9208 
10.56/10.61	v ~x2714 ~x5640 ~x12409 ~x9019 ~x5946 ~x12396 ~x2259 ~x9210 ~x2716 ~x5642 
10.56/10.61	v ~x12411 ~x9021 ~x5948 ~x12398 ~x2261 ~x9212 ~x2718 ~x5644 ~x12413 ~x9023 
10.56/10.61	v ~x106 ~x12400 ~x2263 ~x9214 ~x2720 ~x5646 ~x12415 ~x9025 ~x5950 ~x12402 
10.56/10.61	v ~x2265 ~x9216 ~x2722 ~x5647 ~x267 ~x9027 ~x5952 ~x12404 ~x2267 ~x170 
10.56/10.61	v ~x2724 ~x5649 ~x12417 ~x9029 ~x5954 ~x12406 ~x2269 ~x9218 ~x2726 ~x5651 
10.56/10.61	v ~x12419 ~x9031 ~x5956 ~x12408 ~x2271 ~x9220 ~x2728 ~x5653 ~x12421 ~x9033 
10.56/10.61	v ~x5958 ~x12410 ~x2273 ~x9222 ~x2730 ~x5655 ~x12423 ~x9035 ~x5960 ~x12412 
10.56/10.61	v ~x2275 ~x9224 ~x2732 ~x5657 ~x12425 ~x9037 ~x5962 ~x12414 ~x2277 ~x9226 
10.56/10.61	v ~x2734 ~x5659 ~x12427 ~x9039 ~x5964 ~x12416 ~x2279 ~x9228 ~x2736 ~x5661 
10.56/10.61	v ~x12429 ~x9041 ~x5966 ~x12418 ~x2281 ~x9230 ~x2738 ~x5663 ~x12431 ~x9043 
10.56/10.61	v ~x5968 ~x12420 ~x2283 ~x9232 ~x2740 ~x5665 ~x12433 ~x9045 ~x5970 ~x12422 
10.56/10.61	v ~x2285 ~x9234 ~x2742 ~x5667 ~x12435 ~x9047 ~x5972 ~x12424 ~x2287 ~x9236 
10.56/10.61	v ~x2744 ~x5669 ~x12437 ~x9049 ~x5974 ~x12426 ~x2289 ~x9238 ~x2746 ~x5671 
10.56/10.61	v ~x12439 ~x9051 ~x5976 ~x12428 ~x2291 ~x9240 ~x2748 ~x5673 ~x12441 ~x9053 
10.56/10.61	v ~x5978 ~x12430 ~x2293 ~x9242 ~x2750 ~x5675 ~x12443 ~x9055 ~x107 ~x12432 
10.56/10.61	v ~x2295 ~x9244 ~x2752 ~x5677 ~x12445 ~x9057 ~x5980 ~x12434 ~x2297 ~x9246 
10.56/10.61	v ~x2754 ~x5679 ~x12447 ~x9059 ~x5982 ~x12436 ~x2299 ~x171 ~x2756 ~x5681 
10.56/10.61	v ~x12449 ~x9061 ~x5984 ~x12438 ~x2301 ~x9248 ~x2758 ~x5683 ~x12451 ~x9063 
10.56/10.61	v ~x5986 ~x12440 ~x2303 ~x9250 ~x2760 ~x5685 ~x12453 ~x9065 ~x5988 ~x12442 
10.56/10.61	v ~x2305 ~x9252 ~x2762 ~x5687 ~x12455 ~x9067 ~x5990 ~x12444 ~x2307 ~x9254 
10.56/10.61	v ~x2764 ~x5689 ~x12457 ~x9069 ~x5992 ~x12446 ~x2309 ~x9256 ~x2766 ~x5691 
10.56/10.61	v ~x12459 ~x9071 ~x108 ~x12448 ~x2311 ~x9258 ~x2768 ~x5693 ~x12461 ~x9073 
10.56/10.61	v ~x5994 ~x12450 ~x2313 ~x9260 ~x2770 ~x5695 ~x12463 ~x9075 ~x5996 ~x12452 
10.56/10.61	v ~x2315 ~x172 ~x2772 ~x5697 ~x12465 ~x9077 ~x5998 ~x12454 ~x2317 ~x9262 
10.56/10.61	v ~x2774 ~x5699 ~x12467 ~x9079 ~x6000 ~x12456 ~x2319 ~x9264 ~x2776 ~x5701 
10.56/10.61	v ~x12469 ~x9081 ~x6002 ~x12458 ~x2321 ~x9266 ~x2778 ~x5703 ~x12471 ~x9083 
10.56/10.61	v ~x6004 ~x12460 ~x2323 ~x9268 ~x2780 ~x5705 ~x12473 ~x9085 ~x6006 ~x12462 
10.56/10.61	v ~x2325 ~x9270 ~x2782 ~x5707 ~x12475 ~x9087 ~x6008 ~x12464 ~x2327 ~x9272 
10.56/10.61	v ~x2784 ~x5709 ~x12477 ~x9089 ~x6010 ~x12466 ~x2329 ~x9274 ~x2786 ~x5711 
10.56/10.61	v ~x268 ~x9091 ~x6012 ~x12468 ~x2331 ~x9276 ~x2788 ~x5713 ~x12479 ~x9093 
10.56/10.61	v ~x6014 ~x12470 ~x2333 ~x9278 ~x2790 ~x5715 ~x12481 ~x9095 ~x6016 ~x12472 
10.56/10.61	v ~x2335 ~x9280 ~x2792 ~x5717 ~x12483 ~x9097 ~x6018 ~x12474 ~x2337 ~x9282 
10.56/10.61	v ~x2794 ~x5719 ~x12485 ~x9099 ~x6020 ~x12476 ~x2339 ~x9284 ~x2796 ~x5721 
10.56/10.61	v ~x12487 ~x9101 ~x6022 ~x12478 ~x2341 ~x9286 ~x2798 ~x5723 ~x12489 ~x9103 
10.56/10.61	v ~x109 ~x12480 ~x2343 ~x9288 ~x2800 ~x5725 ~x12491 ~x9105 ~x6024 ~x12482 
10.56/10.61	v ~x2345 ~x9290 ~x2802 ~x5727 ~x12493 ~x9107 ~x6026 ~x12484 ~x2347 ~x9292 
10.56/10.61	v ~x2804 ~x5729 ~x12495 ~x9109 ~x6028 ~x12486 ~x2349 ~x9294 ~x2806 ~x5731 
10.56/10.61	v ~x12497 ~x9111 ~x6030 ~x12488 ~x2351 ~x9296 ~x2808 ~x5733 ~x12499 ~x9113 
10.56/10.61	v ~x6032 ~x12490 ~x2353 ~x9298 ~x2810 ~x5735 ~x12501 ~x9115 ~x6034 ~x12492 
10.56/10.61	v ~x2355 ~x9300 ~x2812 ~x5737 ~x12503 ~x9117 ~x6036 ~x12494 ~x2357 ~x9302 
10.56/10.61	v ~x2814 ~x5739 ~x12505 ~x9119 ~x110 ~x12496 ~x2359 ~x9304 ~x2816 ~x5741 
10.56/10.61	v ~x12507 ~x9121 ~x6038 ~x12498 ~x2361 ~x9306 ~x2818 ~x5743 ~x269 ~x9123 
10.56/10.61	v ~x6040 ~x12500 ~x2363 ~x9308 ~x2820 ~x5745 ~x12509 ~x9125 ~x6042 ~x12502 
10.56/10.61	v ~x2365 ~x9310 ~x2822 ~x5747 ~x12511 ~x9127 ~x6044 ~x12504 ~x2367 ~x9312 
10.56/10.61	v ~x2824 ~x5749 ~x12513 ~x9129 ~x6046 ~x12506 ~x2369 ~x9314 ~x2826 ~x5751 
10.56/10.61	v ~x12515 ~x9131 ~x6048 ~x12508 ~x2371 ~x9317 ~x2828 ~x5753 ~x12517 ~x9133 
10.56/10.61	v ~x6050 ~x12510 ~x2373 ~x9319 ~x2830 ~x5755 ~x12519 ~x9135 ~x111 ~x12512 
10.56/10.61	v ~x2375 ~x9321 ~x2832 ~x5757 ~x12521 ~x9137 ~x6052 ~x12514 ~x2377 ~x173 
10.56/10.61	v ~x2834 ~x5759 ~x12523 ~x9139 ~x6054 ~x12516 ~x2379 ~x9323 ~x2836 ~x5761 
10.56/10.61	v ~x12525 ~x9141 ~x6056 ~x12518 ~x2381 ~x9325 ~x28 ~x5763 ~x12527 ~x9143 
10.56/10.61	v ~x112 ~x12520 ~x2383 ~x9327 ~x2838 ~x5765 ~x12529 ~x9145 ~x6058 ~x12522 
10.56/10.61	v ~x2385 ~x9329 ~x2840 ~x5767 ~x12531 ~x9147 ~x6060 ~x12524 ~x2387 ~x9331 
10.56/10.61	v ~x2842 ~x5769 ~x12533 ~x9149 ~x6062 ~x12526 ~x2389 ~x9333 ~x2844 ~x5771 
10.56/10.61	v ~x12535 ~x9151 ~x6064 ~x12528 ~x2391 ~x9335 ~x2846 ~x5773 ~x12537 ~x9153 
10.56/10.61	v ~x6066 ~x12530 ~x2393 ~x9337 ~x2848 ~x5775 ~x270 ~x9155 ~x6068 ~x12532 
10.56/10.61	v ~x2395 ~x9339 ~x2850 ~x5777 ~x12539 ~x9157 ~x6070 ~x12534 ~x2397 ~x9341 
10.56/10.61	v ~x2852 ~x5779 ~x12541 ~x9159 ~x6072 ~x12536 ~x2399 ~x9343 ~x2854 ~x5781 
10.56/10.61	v ~x12543 ~x9161 ~x6074 ~x12538 ~x2401 ~x9345 ~x2856 ~x5783 ~x12545 ~x9163 
10.56/10.61	v ~x6076 ~x12540 ~x2403 ~x9347 ~x2858 ~x5785 ~x12547 ~x9165 ~x6078 ~x12542 
10.56/10.61	v ~x2405 ~x9349 ~x2860 ~x5787 ~x12549 ~x9167 ~x6080 ~x12544 ~x2407 ~x9351 
10.56/10.61	v ~x2862 ~x5789 ~x12551 ~x9169 ~x6082 ~x12546 ~x2409 ~x174 ~x2864 ~x5791 
10.56/10.61	v ~x271 ~x9171 ~x6084 ~x12548 ~x2411 ~x9353 ~x2866 ~x5793 ~x12553 ~x9173 
10.56/10.61	v ~x6086 ~x12550 ~x2413 ~x9355 ~x2868 ~x5795 ~x12555 ~x9175 ~x6088 ~x12552 
10.56/10.61	v ~x2415 ~x9357 ~x2870 ~x5797 ~x12557 ~x9177 ~x6090 ~x12554 ~x2417 ~x9359 
10.56/10.61	v ~x2872 ~x5799 ~x12559 ~x9179 x6092 ~x12556 ~x2419 ~x9361 ~x2874 ~x5801 
10.56/10.61	v ~x12561 ~x9181 ~x6094 ~x12558 ~x2421 ~x9363 ~x2876 ~x5803 ~x12563 ~x9183 
10.56/10.61	v ~x6096 ~x12560 ~x2423 ~x9365 ~x2878 ~x5805 ~x12565 ~x9185 ~x6098 ~x12562 
10.56/10.61	v ~x2425 ~x9367 ~x2880 ~x5807 ~x12567 ~x9187 ~x6100 ~x12564 ~x2427 ~x9369 
10.56/10.61	v ~x2882 ~x5809 ~x12569 ~x9189 ~x113 ~x12566 ~x2429 ~x9371 ~x2884 ~x5811 
10.56/10.61	v ~x12571 ~x9191 ~x6102 ~x12568 ~x2431 ~x9373 ~x2886 ~x5813 ~x12573 ~x9193 
10.56/10.61	v ~x6104 ~x12570 ~x2433 ~x9375 ~x2888 ~x5815 ~x12575 ~x9195 ~x6106 ~x12572 
10.56/10.61	v ~x2435 ~x9377 ~x2890 ~x5817 ~x12577 ~x9197 ~x6108 ~x12574 ~x2437 ~x9379 
10.56/10.61	v ~x2892 ~x5819 ~x12579 ~x9199 ~x6110 ~x12576 ~x2439 ~x9381 ~x2894 ~x5821 
10.56/10.61	v ~x12581 ~x9201 ~x6112 ~x12578 ~x2441 ~x175 ~x2896 ~x5823 ~x272 ~x9203 
10.56/10.61	v ~x6114 ~x12580 ~x2443 ~x9383 ~x2898 ~x5825 ~x12583 ~x9205 ~x114 ~x12582 
10.56/10.61	v ~x2445 ~x9385 ~x29 ~x5827 ~x12585 ~x9207 ~x6116 ~x12584 ~x2447 ~x9387 
10.56/10.61	v ~x2900 ~x5829 ~x12587 ~x9209 ~x6118 ~x12586 ~x2449 ~x9389 ~x2902 ~x5831 
10.56/10.61	v ~x12589 ~x9211 ~x6120 ~x12588 ~x2451 ~x9391 ~x2904 ~x5833 ~x12591 ~x9213 
10.56/10.61	v ~x115 ~x12590 ~x2453 ~x9393 ~x2906 ~x5835 ~x12593 ~x9215 ~x6122 ~x12592 
10.56/10.61	v ~x2455 ~x9395 ~x2908 ~x5837 ~x12595 ~x9217 ~x6124 ~x12594 ~x2457 ~x176 
10.56/10.61	v ~x2910 ~x5839 ~x273 ~x9219 ~x6126 ~x12596 ~x2459 ~x9397 ~x2912 ~x5841 
10.56/10.61	v ~x12597 ~x9221 ~x6128 ~x12598 ~x2461 ~x9399 ~x2914 ~x5843 ~x12600 ~x9223 
10.56/10.61	v ~x6130 ~x12599 ~x2463 ~x9401 ~x2916 ~x5845 ~x12602 ~x9225 ~x6132 ~x12601 
10.56/10.61	v ~x2465 ~x9403 ~x2918 ~x5847 ~x12604 ~x9227 ~x6134 ~x12603 ~x2467 ~x9405 
10.56/10.61	v ~x2920 ~x5849 ~x12606 ~x9229 ~x116 ~x12605 ~x2469 ~x9407 ~x2922 ~x5851 
10.56/10.61	v ~x12608 ~x9231 ~x6136 ~x12607 ~x2471 ~x9409 ~x2924 ~x5853 ~x274 ~x9233 
10.56/10.61	v ~x6138 ~x12609 ~x2473 ~x9411 ~x2926 ~x5855 ~x12610 ~x9235 ~x6140 ~x12611 
10.56/10.61	v ~x2475 ~x9413 ~x2928 ~x5857 ~x12612 ~x9237 ~x117 ~x12613 ~x2477 ~x9415 
10.56/10.61	v ~x2930 ~x5859 ~x12614 ~x9239 ~x6142 ~x12615 ~x2479 ~x9417 ~x2932 ~x5861 
10.56/10.61	v ~x275 ~x9241 ~x6144 ~x12617 ~x2481 ~x9419 ~x2934 ~x5863 ~x12616 ~x9243 
10.56/10.61	v ~x6146 ~x12619 ~x2483 ~x9421 ~x2936 ~x5865 ~x12618 ~x9245 ~x118 ~x12621 
10.56/10.61	v ~x2485 ~x9423 ~x2938 ~x5867 ~x12620 ~x9247 ~x6148 ~x12623 ~x2487 ~x9425 
10.56/10.61	v ~x2940 ~x5869 ~x12622 ~x9249 ~x6150 ~x12624 ~x2489 ~x177 ~x2942 ~x5871 
10.56/10.61	v ~x12625 ~x9251 ~x6152 ~x12626 ~x2491 ~x9427 ~x2944 ~x5873 ~x12627 ~x9253 
10.56/10.61	v ~x6154 ~x12628 ~x2493 ~x9429 ~x2946 ~x5875 ~x12629 ~x9255 ~x6156 ~x12630 
10.56/10.61	v ~x2495 ~x9431 ~x2948 ~x5877 ~x12631 ~x9257 ~x6158 ~x12632 ~x2497 ~x9433 
10.56/10.61	v ~x2950 ~x5879 ~x12633 ~x9259 ~x6160 ~x12634 ~x2499 ~x9435 ~x2952 ~x5881 
10.56/10.61	v ~x12635 ~x9261 ~x6162 ~x12636 ~x2501 ~x9437 ~x2954 ~x5883 ~x12637 ~x9263 
10.56/10.61	v ~x6164 ~x12638 ~x2503 ~x9439 ~x2956 ~x5885 ~x12639 ~x9265 ~x6166 ~x12640 
10.56/10.61	v ~x2505 ~x178 ~x2958 ~x5887 ~x12641 ~x9267 ~x6168 ~x12642 ~x2507 ~x9441 
10.56/10.61	v ~x2960 ~x5889 ~x12643 ~x9269 ~x6170 ~x12644 ~x2509 ~x9443 ~x30 ~x5891 
10.56/10.61	v ~x12645 ~x9271 ~x6172 ~x12646 ~x2511 ~x9445 ~x2962 ~x5893 ~x12647 ~x9273 
10.56/10.61	v ~x6174 ~x12648 ~x2513 ~x9447 ~x2964 ~x5895 ~x12649 ~x9275 ~x6176 ~x12650 
10.56/10.61	v ~x2515 ~x9449 ~x2966 ~x5897 ~x12651 ~x9277 ~x6178 ~x12652 ~x2517 ~x9451 
10.56/10.61	v ~x2968 ~x5899 ~x12653 ~x9279 ~x6180 ~x12654 ~x2519 ~x9453 ~x2970 ~x5901 
10.56/10.61	v ~x12655 ~x9281 ~x6182 ~x12656 ~x2521 ~x179 ~x2972 ~x5903 ~x12657 ~x9283 
10.56/10.61	v ~x6184 ~x12658 ~x2523 ~x9455 ~x2974 ~x5905 ~x12659 ~x9285 ~x6186 ~x12660 
10.56/10.61	v ~x2525 ~x9457 ~x2976 ~x5907 ~x12661 ~x9287 ~x6188 ~x12662 ~x2527 ~x9459 
10.56/10.61	v ~x2978 ~x5909 ~x12663 ~x9289 ~x6190 ~x12664 ~x2529 ~x180 ~x2980 ~x5911 
10.56/10.61	v ~x12665 ~x9291 ~x6192 ~x12666 ~x2531 ~x9461 ~x2982 ~x5913 ~x12667 ~x9293 
10.56/10.61	v ~x6194 ~x12668 ~x2533 ~x9463 ~x2984 ~x5915 ~x12669 ~x9295 ~x6196 ~x12670 
10.56/10.61	v ~x2535 ~x9465 ~x2986 ~x5917 ~x12671 ~x9297 ~x6199 ~x12672 ~x2537 ~x9467 
10.56/10.61	v ~x2988 ~x5919 ~x12673 ~x9299 ~x6201 ~x12674 ~x2539 ~x9469 ~x2990 ~x5921 
10.56/10.61	v ~x12675 ~x9301 ~x6203 ~x12676 ~x2541 ~x9471 ~x31 ~x5923 ~x276 ~x9303 
10.56/10.61	v ~x6205 ~x12678 ~x2543 ~x9473 ~x2992 ~x5925 ~x12677 ~x9305 ~x6207 ~x12680 
10.56/10.61	v ~x2545 ~x9475 ~x2994 ~x5927 ~x12679 ~x9307 ~x6209 ~x12682 ~x2547 ~x9477 
10.56/10.61	v ~x2996 ~x5929 ~x12681 ~x9309 ~x6211 ~x12684 ~x2549 ~x9479 ~x2998 ~x5931 
10.56/10.61	v ~x12683 ~x9311 ~x6213 ~x12686 ~x2551 ~x9481 ~x3000 ~x5933 ~x12685 ~x9313 
10.56/10.61	v ~x6215 ~x12688 ~x2553 ~x9483 ~x3002 ~x5935 ~x12687 ~x9315 ~x6217 ~x12690 
10.56/10.61	v ~x2555 ~x9485 ~x3004 ~x5937 ~x12689 ~x9316 ~x6219 ~x12692 ~x2557 ~x9487 
10.56/10.61	v ~x3006 ~x5939 ~x12691 ~x9318 ~x6221 ~x12694 ~x2559 ~x9489 ~x3008 ~x5941 
10.56/10.61	v ~x12693 ~x9320 ~x6223 ~x12696 ~x2561 ~x9491 ~x3010 ~x5943 ~x12695 ~x9322 
10.56/10.61	v ~x6225 ~x12698 ~x2563 ~x9493 ~x3012 ~x5945 ~x12697 ~x9324 ~x6227 ~x12700 
10.56/10.61	v ~x2565 ~x9495 ~x3014 ~x5947 ~x12699 ~x9326 ~x6229 ~x12702 ~x2567 ~x9497 
10.56/10.61	v ~x3016 ~x5949 ~x12701 ~x9328 ~x6231 ~x12704 ~x2569 ~x9499 ~x3018 ~x5951 
10.56/10.61	v ~x12703 ~x9330 ~x6233 ~x12706 ~x2571 ~x9501 ~x3020 ~x5953 ~x277 ~x9332 
10.56/10.61	v ~x6235 ~x12708 ~x2573 ~x9504 ~x3022 ~x5955 ~x12705 ~x9334 ~x6237 ~x12710 
10.56/10.61	v ~x2575 ~x9506 ~x3024 ~x5957 ~x12707 ~x9336 ~x6239 ~x12712 ~x2577 ~x9508 
10.56/10.61	v ~x3026 ~x5959 ~x12709 ~x9338 ~x6241 ~x12714 ~x2579 ~x9510 ~x3028 ~x5961 
10.56/10.61	v ~x12711 ~x9340 ~x6243 ~x12716 ~x2581 ~x9512 ~x3030 ~x5963 ~x12713 ~x9342 
10.56/10.61	v ~x6245 ~x12718 ~x2583 ~x9514 ~x3032 ~x5965 ~x12715 ~x9344 ~x6247 ~x12720 
10.56/10.61	v ~x2585 ~x9516 ~x3034 ~x5967 ~x12717 ~x9346 ~x6249 ~x12722 ~x2587 ~x9518 
10.56/10.61	v ~x3036 ~x5969 ~x12719 ~x9348 ~x6251 ~x12724 ~x2589 ~x9520 ~x3038 ~x5971 
10.56/10.61	v ~x12721 ~x9350 ~x6253 ~x12726 ~x2591 ~x181 ~x3040 ~x5973 ~x12723 ~x9352 
10.56/10.61	v ~x6255 ~x12728 ~x2593 ~x9522 ~x3042 ~x5975 ~x12725 ~x9354 ~x6257 ~x12730 
10.56/10.61	v ~x2595 ~x9524 ~x3044 ~x5977 ~x12727 ~x9356 ~x6259 ~x12732 ~x2597 ~x9526 
10.56/10.61	v ~x3046 ~x5979 ~x12729 ~x9358 ~x6261 ~x12734 ~x2599 ~x9528 ~x3048 ~x5981 
10.56/10.61	v ~x12731 ~x9360 ~x6263 ~x12736 ~x2601 ~x9530 ~x3050 ~x5983 ~x12733 ~x9362 
10.56/10.61	v ~x6265 ~x12738 ~x2603 ~x9532 ~x3052 ~x5985 ~x278 ~x9364 ~x6267 ~x12740 
10.56/10.61	v ~x2605 ~x9534 ~x32 ~x5987 ~x12735 ~x9366 ~x6269 ~x12742 ~x2607 ~x9536 
10.56/10.61	v ~x3054 ~x5989 ~x12737 ~x9368 ~x6271 ~x12744 ~x2609 ~x9538 ~x3056 ~x5991 
10.56/10.61	v ~x12739 ~x9370 ~x6273 ~x12746 ~x2611 ~x9540 ~x3058 ~x5993 ~x12741 ~x9372 
10.56/10.61	v ~x6275 ~x12748 ~x2613 ~x9542 ~x3060 ~x5995 ~x12743 ~x9374 ~x6277 ~x12750 
10.56/10.61	v ~x2615 ~x9544 ~x3062 ~x5997 ~x12745 ~x9376 ~x6279 ~x12752 ~x2617 ~x9546 
10.56/10.61	v ~x3064 ~x5999 ~x12747 ~x9378 ~x6281 ~x12754 ~x2619 ~x9548 ~x3066 ~x6001 
10.56/10.61	v ~x279 ~x9380 ~x6283 ~x12756 ~x2621 ~x9550 ~x3068 ~x6003 ~x12749 ~x9382 
10.56/10.61	v ~x6285 ~x12758 ~x2623 ~x182 ~x3070 ~x6005 ~x12751 ~x9384 ~x6287 ~x12760 
10.56/10.61	v ~x2625 ~x9552 ~x3072 ~x6007 ~x12753 ~x9386 ~x6289 ~x12762 ~x2627 ~x9554 
10.56/10.61	v ~x3074 ~x6009 ~x12755 ~x9388 ~x6291 ~x12764 ~x2629 ~x9556 ~x3076 ~x6011 
10.56/10.61	v ~x12757 ~x9390 ~x6293 ~x12766 ~x2631 ~x9558 ~x3078 ~x6013 ~x12759 ~x9392 
10.56/10.61	v ~x6295 ~x12768 ~x2633 ~x9560 ~x3080 ~x6015 ~x12761 ~x9394 ~x6297 ~x12770 
10.56/10.61	v ~x2635 ~x9562 ~x3082 ~x6017 ~x12763 ~x9396 ~x6299 ~x12772 ~x2637 ~x9564 
10.56/10.61	v ~x33 ~x6019 ~x12765 ~x9398 ~x6301 ~x12774 ~x2639 ~x9566 ~x3084 ~x6021 
10.56/10.61	v ~x12767 ~x9400 ~x6303 ~x12776 ~x2641 ~x9568 ~x3086 ~x6023 ~x12769 ~x9402 
10.56/10.61	v ~x6305 ~x12778 ~x2643 ~x9570 ~x3088 ~x6025 ~x12771 ~x9404 ~x6307 ~x12780 
10.56/10.61	v ~x2645 ~x9572 ~x3090 ~x6027 ~x12773 ~x9406 ~x6309 ~x12782 ~x2647 ~x9574 
10.56/10.61	v ~x3092 ~x6029 ~x12775 ~x9408 ~x6311 ~x12784 ~x2649 ~x9576 ~x3094 ~x6031 
10.56/10.61	v ~x12777 ~x9410 ~x6313 ~x12786 ~x2651 ~x9578 ~x3096 ~x6033 ~x280 ~x9412 
10.56/10.61	v ~x6315 ~x12788 ~x2653 ~x9580 ~x3098 ~x6035 ~x12779 ~x9414 ~x6317 ~x12790 
10.56/10.61	v ~x2655 ~x9582 ~x3100 ~x6037 ~x12781 ~x9416 ~x6319 ~x12792 ~x2657 ~x9584 
10.56/10.61	v ~x3102 ~x6039 ~x12783 ~x9418 ~x6321 ~x12794 ~x2659 ~x9586 ~x3104 ~x6041 
10.56/10.61	v ~x12785 ~x9420 ~x6323 ~x12796 ~x2661 ~x9588 ~x3106 ~x6043 ~x12787 ~x9422 
10.56/10.61	v ~x6325 ~x12798 ~x2663 ~x9590 ~x3108 ~x6045 ~x12789 ~x9424 ~x6327 ~x12800 
10.56/10.61	v ~x2665 ~x9592 ~x3110 ~x6047 ~x281 ~x9426 ~x6329 ~x12802 ~x2667 ~x9594 
10.56/10.61	v ~x3112 ~x6049 ~x12791 ~x9428 ~x6331 ~x12804 ~x2669 ~x9596 ~x34 ~x6051 
10.56/10.61	v ~x12793 ~x9430 ~x6333 ~x12806 ~x2671 ~x9598 ~x3114 ~x6053 ~x12795 ~x9432 
10.56/10.61	v ~x6335 ~x12808 ~x2673 ~x9600 ~x3116 ~x6055 ~x12797 ~x9434 ~x6337 ~x12810 
10.56/10.61	v ~x2675 ~x9602 ~x3118 ~x6057 ~x12799 ~x9436 ~x6339 ~x12812 ~x2677 ~x9604 
10.56/10.61	v ~x3120 ~x6059 ~x12801 ~x9438 ~x6341 ~x12814 ~x2679 ~x9606 ~x3122 ~x6061 
10.56/10.61	v ~x12803 ~x9440 ~x6343 ~x12816 ~x2681 ~x9608 ~x3124 ~x6063 ~x282 ~x9442 
10.56/10.61	v ~x6345 ~x12818 ~x2683 ~x9610 ~x3126 ~x6065 ~x12805 ~x9444 ~x6347 ~x12820 
10.56/10.61	v ~x2685 ~x9612 ~x3128 ~x6067 ~x12807 ~x9446 ~x6349 ~x12822 ~x2687 ~x183 
10.56/10.61	v ~x3130 ~x6069 ~x12809 ~x9448 ~x6351 ~x12824 ~x2689 ~x9614 ~x3132 ~x6071 
10.56/10.61	v ~x283 ~x9450 ~x6353 ~x12826 ~x2691 ~x9616 ~x3134 ~x6073 ~x12811 ~x9452 
10.56/10.61	v ~x6355 ~x12828 ~x2693 ~x9618 ~x3136 ~x6075 ~x12813 ~x9454 ~x6357 ~x12830 
10.56/10.61	v ~x2695 ~x9620 ~x3138 ~x6077 ~x12815 ~x9456 ~x6359 ~x12832 ~x2697 ~x9622 
10.56/10.61	v ~x3140 ~x6079 ~x12817 ~x9458 ~x6361 ~x12834 ~x2699 ~x9624 ~x3142 ~x6081 
10.56/10.61	v ~x12819 ~x9460 ~x6363 ~x12836 ~x2701 ~x9626 ~x3144 ~x6083 ~x12821 ~x9462 
10.56/10.61	v ~x6365 ~x12838 ~x2703 ~x9628 ~x3146 ~x6085 ~x12823 ~x9464 ~x6367 ~x12840 
10.56/10.61	v ~x2705 ~x9630 ~x3148 ~x6087 ~x12825 ~x9466 ~x6369 ~x12842 ~x2707 ~x9632 
10.56/10.61	v ~x3150 ~x6089 ~x12827 ~x9468 ~x6371 ~x12844 ~x2709 ~x9634 ~x3152 ~x6091 
10.56/10.61	v ~x12829 ~x9470 ~x6373 ~x12846 ~x2711 ~x9636 ~x3154 x6093 ~x12831 ~x9472 
10.56/10.61	v ~x6375 ~x12848 ~x2713 ~x9638 ~x3156 ~x6095 ~x12833 ~x9474 ~x6377 ~x12850 
10.56/10.61	v ~x2715 ~x9640 ~x3158 ~x6097 ~x12835 ~x9476 ~x6379 ~x12852 ~x2717 ~x9642 
10.56/10.61	v ~x3160 ~x6099 ~x12837 ~x9478 ~x6381 ~x12854 ~x2719 ~x184 x3162 ~x6101 
10.56/10.61	v ~x12839 ~x9480 ~x6383 ~x12856 ~x2721 ~x9644 ~x3164 ~x6103 ~x284 ~x9482 
10.56/10.61	v ~x6385 ~x12858 ~x2723 ~x9646 ~x3166 ~x6105 ~x12841 ~x9484 ~x6387 ~x12860 
10.56/10.61	v ~x2725 ~x9648 ~x3168 ~x6107 ~x12843 ~x9486 ~x6389 ~x12862 ~x2727 ~x9650 
10.56/10.61	v ~x3170 ~x6109 ~x12845 ~x9488 ~x6391 ~x12864 ~x2729 ~x9652 ~x3172 ~x6111 
10.56/10.61	v ~x12847 ~x9490 ~x6393 ~x12866 ~x2731 ~x9654 ~x3174 ~x6113 ~x12849 ~x9492 
10.56/10.61	v ~x6395 ~x12868 ~x2733 ~x9656 ~x3176 ~x6115 ~x12851 ~x9494 ~x6397 ~x12870 
10.56/10.61	v ~x2735 ~x9658 ~x3178 ~x6117 ~x12853 ~x9496 ~x6399 ~x12872 ~x2737 ~x9660 
10.56/10.61	v ~x3180 ~x6119 ~x285 ~x9498 ~x6401 ~x12874 ~x2739 ~x9662 ~x3182 ~x6121 
10.56/10.61	v ~x12855 ~x9500 ~x119 x12876 ~x2741 ~x9664 ~x3184 ~x6123 ~x12857 ~x9502 
10.56/10.61	v ~x6403 ~x12878 ~x2743 ~x9666 ~x3186 ~x6125 ~x12859 ~x9503 ~x6405 ~x12880 
10.56/10.61	v ~x2745 ~x9668 ~x3188 ~x6127 ~x12861 ~x9505 ~x6407 ~x12882 ~x2747 ~x9670 
10.56/10.61	v ~x35 ~x6129 ~x12863 ~x9507 ~x6409 ~x12884 ~x2749 ~x9672 ~x3190 ~x6131 
10.56/10.61	v ~x12865 ~x9509 ~x6411 x12886 ~x2751 ~x185 ~x3192 ~x6133 ~x12867 ~x9511 
10.56/10.61	v ~x6413 ~x12888 ~x2753 ~x9674 ~x3194 ~x6135 ~x286 ~x9513 ~x6415 ~x12890 
10.56/10.61	v ~x2755 ~x9676 ~x3196 ~x6137 ~x12869 ~x9515 ~x6417 ~x12892 ~x2757 ~x9678 
10.56/10.61	v ~x3198 ~x6139 ~x12871 ~x9517 ~x6419 ~x12894 ~x2759 ~x9680 ~x3200 ~x6141 
10.56/10.61	v ~x12873 ~x9519 ~x6421 ~x12896 ~x2761 ~x9682 ~x3202 ~x6143 x12875 ~x9521 
10.56/10.61	v ~x6423 ~x12898 ~x2763 ~x9684 ~x3204 ~x6145 ~x12877 ~x9523 ~x6425 ~x12900 
10.56/10.61	v ~x2765 ~x9686 ~x3206 ~x6147 ~x12879 ~x9525 ~x6427 ~x12902 ~x2767 ~x186 
10.56/10.61	v ~x3208 ~x6149 ~x12881 ~x9527 ~x6429 ~x12904 ~x2769 ~x9688 ~x3210 ~x6151 
10.56/10.61	v ~x12883 ~x9529 ~x6431 ~x12906 ~x2771 ~x9690 ~x3212 ~x6153 x12885 ~x9531 
10.56/10.61	v ~x6433 ~x12908 ~x2773 ~x9692 ~x3214 ~x6155 x287 ~x9533 ~x6435 ~x12910 
10.56/10.61	v ~x2775 ~x9694 ~x3216 ~x6157 ~x12887 ~x9535 ~x6437 ~x12912 ~x2777 ~x9696 
10.56/10.61	v ~x3218 ~x6159 ~x12889 ~x9537 ~x6439 ~x12914 ~x2779 ~x9698 ~x36 ~x6161 
10.56/10.61	v ~x12891 ~x9539 ~x6441 ~x12916 ~x2781 ~x9700 ~x3220 ~x6163 ~x288 ~x9541 
10.56/10.61	v ~x6443 ~x12918 ~x2783 ~x9702 ~x3222 ~x6165 ~x12893 ~x9543 ~x6445 ~x12920 
10.56/10.61	v ~x2785 ~x9704 ~x3224 ~x6167 ~x12895 ~x9545 ~x6447 ~x12922 ~x2787 ~x9706 
10.56/10.61	v ~x3226 ~x6169 ~x12897 ~x9547 ~x6449 ~x12924 ~x2789 ~x9708 ~x3228 ~x6171 
10.56/10.61	v ~x289 ~x9549 ~x6451 ~x12926 ~x2791 ~x9710 ~x3230 ~x6173 ~x12899 ~x9551 
10.56/10.61	v ~x6453 ~x12928 ~x2793 ~x9712 ~x3232 ~x6175 ~x290 ~x9553 ~x6455 ~x12930 
10.56/10.61	v ~x2795 ~x9714 ~x3234 ~x6177 ~x12901 ~x9555 ~x6457 ~x12932 ~x2797 ~x9716 
10.56/10.61	v ~x3236 ~x6179 ~x12903 ~x9557 ~x6459 ~x12934 ~x2799 ~x9718 ~x3238 ~x6181 
10.56/10.61	v ~x12905 ~x9559 ~x6461 ~x12936 ~x2801 ~x9720 ~x3240 ~x6183 ~x12907 ~x9561 
10.56/10.61	v ~x6463 ~x12938 ~x2803 ~x9722 ~x3242 ~x6185 ~x12909 ~x9563 ~x6465 ~x12940 
10.56/10.61	v ~x2805 ~x9724 ~x3244 ~x6187 ~x12911 ~x9565 ~x6467 ~x12942 ~x2807 ~x9726 
10.56/10.61	v ~x3246 ~x6189 ~x12913 ~x9567 ~x6469 ~x12944 ~x2809 ~x9728 ~x3248 ~x6191 
10.56/10.61	v ~x12915 ~x9569 ~x6471 ~x12946 ~x2811 ~x9730 ~x37 ~x6193 ~x12917 ~x9571 
10.56/10.61	v ~x6473 ~x12948 ~x2813 ~x9732 ~x3250 ~x6195 ~x12919 ~x9573 ~x6475 ~x12950 
10.56/10.61	v ~x2815 ~x9734 ~x3252 ~x6197 ~x12921 ~x9575 ~x6477 ~x12952 ~x2817 ~x9736 
10.56/10.61	v ~x3254 x6198 ~x12923 ~x9577 ~x6479 ~x12954 ~x2819 ~x9738 ~x3256 ~x6200 
10.56/10.61	v ~x12925 ~x9579 ~x6481 ~x12956 ~x2821 ~x9740 ~x3258 ~x6202 ~x12927 ~x9581 
10.56/10.61	v ~x6483 ~x12958 ~x2823 ~x9742 ~x3260 ~x6204 ~x12929 ~x9583 ~x6485 ~x12960 
10.56/10.61	v ~x2825 ~x9744 ~x3262 ~x6206 ~x12931 ~x9585 ~x6487 ~x12962 ~x2827 ~x9746 
10.56/10.61	v ~x38 ~x6208 ~x12933 ~x9587 ~x6489 ~x12964 ~x2829 ~x9748 ~x3264 ~x6210 
10.56/10.61	v ~x12935 ~x9589 ~x6491 ~x12966 ~x2831 ~x187 ~x3266 ~x6212 ~x12937 ~x9591 
10.56/10.61	v ~x6493 ~x12968 ~x2833 ~x9750 ~x3268 ~x6214 ~x12939 ~x9593 ~x6495 ~x12970 
10.56/10.61	v ~x2835 ~x9752 ~x3270 ~x6216 ~x12941 ~x9595 ~x6497 ~x12972 ~x2837 ~x9754 
10.56/10.61	v ~x3272 ~x6218 ~x12943 ~x9597 ~x6499 ~x12974 ~x2839 ~x9756 ~x3274 ~x6220 
10.56/10.61	v ~x12945 ~x9599 ~x6501 ~x12976 ~x2841 ~x9758 ~x3276 ~x6222 ~x12947 ~x9601 
10.56/10.61	v ~x6503 ~x12978 ~x2843 ~x9760 ~x3278 ~x6224 ~x12949 ~x9603 ~x6505 ~x12980 
10.56/10.61	v ~x2845 ~x9762 ~x3280 ~x6226 ~x12951 ~x9605 ~x6507 ~x12982 ~x2847 ~x9764 
10.56/10.61	v ~x3282 ~x6228 ~x12953 ~x9607 ~x6509 ~x12984 ~x2849 ~x9766 ~x3284 ~x6230 
10.56/10.61	v ~x12955 ~x9609 ~x6511 ~x12986 ~x2851 ~x9768 ~x3286 ~x6232 ~x291 ~x9611 
10.56/10.61	v ~x6513 ~x12988 ~x2853 ~x9770 ~x3288 ~x6234 ~x12957 ~x9613 ~x6515 ~x12990 
10.56/10.61	v ~x2855 ~x9772 ~x3290 ~x6236 ~x12959 ~x9615 ~x6517 ~x12992 ~x2857 ~x9774 
10.56/10.61	v ~x3292 ~x6238 ~x12961 ~x9617 ~x6519 ~x12994 ~x2859 ~x9776 ~x3294 ~x6240 
10.56/10.61	v ~x12963 ~x9619 ~x6521 ~x12996 ~x2861 ~x9778 ~x3296 ~x6242 ~x12965 ~x9621 
10.56/10.61	v ~x6523 ~x12998 ~x2863 ~x188 ~x3298 ~x6244 ~x12967 ~x9623 ~x6525 ~x13000 
10.56/10.61	v ~x2865 ~x9780 ~x3300 ~x6246 ~x12969 ~x9625 ~x6527 ~x13002 ~x2867 ~x9782 
10.56/10.61	v ~x3302 ~x6248 ~x12971 ~x9627 ~x120 ~x13004 ~x2869 ~x9784 ~x3304 ~x6250 
10.56/10.61	v ~x12973 ~x9629 ~x6529 ~x13006 ~x2871 ~x9786 ~x3306 ~x6252 ~x12975 ~x9631 
10.56/10.61	v ~x6531 ~x13008 ~x2873 ~x9788 ~x3308 ~x6254 ~x12977 ~x9633 ~x6533 ~x13010 
10.56/10.61	v ~x2875 ~x9790 ~x3310 ~x6256 ~x12979 ~x9635 ~x6535 ~x13012 ~x2877 ~x9792 
10.56/10.61	v ~x3312 ~x6258 ~x12981 ~x9637 ~x6537 ~x13014 ~x2879 ~x9794 ~x3314 ~x6260 
10.56/10.61	v ~x12983 ~x9639 ~x6539 ~x13016 ~x2881 ~x9796 ~x3316 ~x6262 ~x12985 ~x9641 
10.56/10.61	v ~x6541 ~x13018 ~x2883 ~x9798 ~x3318 ~x6264 ~x292 ~x9643 ~x6543 ~x13020 
10.56/10.61	v ~x2885 ~x9800 ~x3320 ~x6266 ~x12987 ~x9645 ~x6545 ~x13022 ~x2887 ~x9802 
10.56/10.61	v ~x3322 ~x6268 ~x12989 ~x9647 ~x6547 ~x13024 ~x2889 ~x9804 ~x3324 ~x6270 
10.56/10.61	v ~x12991 ~x9649 ~x6549 ~x13026 ~x2891 ~x9806 ~x3326 ~x6272 ~x12993 ~x9651 
10.56/10.61	v ~x6551 ~x13028 ~x2893 ~x189 ~x3328 ~x6274 ~x12995 ~x9653 ~x6553 ~x13030 
10.56/10.61	v ~x2895 ~x9809 ~x3330 ~x6276 ~x12997 ~x9655 ~x6555 ~x13032 ~x2897 ~x9811 
10.56/10.61	v ~x3332 ~x6278 ~x12999 ~x9657 ~x6557 ~x13034 ~x2899 ~x9813 ~x3334 ~x6280 
10.56/10.61	v ~x13001 ~x9659 ~x6559 ~x13036 ~x2901 ~x9815 ~x3336 ~x6282 ~x13003 ~x9661 
10.56/10.61	v ~x6561 ~x13038 ~x2903 ~x9817 ~x3338 ~x6284 ~x13005 ~x9663 ~x6563 ~x13040 
10.56/10.61	v ~x2905 ~x9819 ~x3340 ~x6286 ~x13007 ~x9665 ~x6565 ~x13042 ~x2907 ~x9821 
10.56/10.61	v ~x3342 ~x6288 ~x13009 ~x9667 ~x6567 ~x13044 ~x2909 ~x190 ~x3344 ~x6290 
10.56/10.61	v ~x13011 ~x9669 ~x6569 ~x13046 ~x2911 ~x9823 ~x3346 ~x6292 ~x13013 ~x9671 
10.56/10.61	v ~x6571 ~x13048 ~x2913 ~x9825 ~x3348 ~x6294 ~x13015 ~x9673 ~x6573 ~x13050 
10.56/10.61	v ~x2915 ~x9827 ~x3350 ~x6296 ~x293 ~x9675 ~x6575 ~x13052 ~x2917 ~x9829 
10.56/10.61	v ~x3352 ~x6298 ~x13017 ~x9677 ~x6577 ~x13054 ~x2919 ~x9831 ~x3354 ~x6300 
10.56/10.61	v ~x13019 ~x9679 ~x6579 ~x13056 ~x2921 ~x9833 ~x3356 ~x6302 ~x13021 ~x9681 
10.56/10.61	v ~x6581 ~x13058 ~x2923 ~x9835 ~x3358 ~x6304 ~x13023 ~x9683 ~x6583 ~x13060 
10.56/10.61	v ~x2925 ~x9837 ~x3360 ~x6306 ~x13025 ~x9685 ~x6585 ~x13062 ~x2927 ~x9839 
10.56/10.61	v ~x3362 ~x6308 ~x13027 ~x9687 ~x6587 ~x13064 ~x2929 ~x9841 ~x3364 ~x6310 
10.56/10.61	v ~x13029 ~x9689 ~x6589 ~x13066 ~x2931 ~x9843 ~x3366 ~x6312 ~x294 ~x9691 
10.56/10.61	v ~x6591 ~x13068 ~x2933 ~x9845 ~x3368 ~x6314 ~x13031 ~x9693 ~x6593 ~x13070 
10.56/10.61	v ~x2935 ~x9847 ~x3370 ~x6316 ~x13033 ~x9695 ~x6595 ~x13072 ~x2937 ~x9849 
10.56/10.61	v ~x3372 ~x6318 ~x13035 ~x9697 ~x6597 ~x13074 ~x2939 ~x9851 ~x3374 ~x6320 
10.56/10.61	v ~x13037 ~x9699 ~x6599 ~x13076 ~x2941 ~x191 ~x3376 ~x6322 ~x13039 ~x9701 
10.56/10.61	v ~x6601 ~x13078 ~x2943 ~x9853 ~x3378 ~x6324 ~x13041 ~x9703 ~x6603 ~x13080 
10.56/10.61	v ~x2945 ~x9855 ~x3380 ~x6326 ~x13043 ~x9705 ~x6605 ~x13082 ~x2947 ~x9857 
10.56/10.61	v ~x3382 ~x6328 ~x13045 ~x9707 ~x6607 ~x13084 ~x2949 ~x9859 ~x3384 ~x6330 
10.56/10.61	v ~x13047 ~x9709 ~x6609 ~x13086 ~x2951 ~x9861 ~x3386 ~x6332 ~x13049 ~x9711 
10.56/10.61	v ~x6611 ~x13088 ~x2953 ~x9863 ~x3388 ~x6334 ~x13051 ~x9713 ~x6613 ~x13090 
10.56/10.61	v ~x2955 ~x9865 ~x39 ~x6336 ~x13053 ~x9715 ~x6615 ~x13092 ~x2957 ~x192 
10.56/10.61	v ~x3390 ~x6338 ~x13055 ~x9717 ~x6617 ~x13094 ~x2959 ~x9867 ~x3392 ~x6340 
10.56/10.61	v ~x13057 ~x9719 ~x6619 ~x13096 ~x2961 ~x9869 ~x3394 ~x6342 ~x13059 ~x9721 
10.56/10.61	v ~x6621 ~x13098 ~x2963 ~x9871 ~x3396 ~x6344 ~x295 ~x9723 ~x6623 ~x13100 
10.56/10.61	v ~x2965 ~x9873 ~x3398 ~x6346 ~x13061 ~x9725 ~x6625 ~x13102 ~x2967 ~x9875 
10.56/10.61	v ~x3400 ~x6348 ~x13063 ~x9727 ~x6627 ~x13104 ~x2969 ~x9877 ~x3402 ~x6350 
10.56/10.61	v ~x13065 ~x9729 ~x6629 ~x13106 ~x2971 ~x9879 ~x3404 ~x6352 ~x13067 ~x9731 
10.56/10.61	v ~x6631 ~x13108 ~x2973 ~x193 ~x3406 ~x6354 ~x13069 ~x9733 ~x6633 ~x13110 
10.56/10.61	v ~x2975 ~x9881 ~x3408 ~x6356 ~x13071 ~x9735 ~x6635 ~x13112 ~x2977 ~x9883 
10.56/10.61	v ~x3410 ~x6358 ~x13073 ~x9737 ~x6637 ~x13114 ~x2979 ~x9885 ~x3412 ~x6360 
10.56/10.61	v ~x296 ~x9739 ~x6639 ~x13116 ~x2981 ~x194 ~x3414 ~x6362 ~x13075 ~x9741 
10.56/10.61	v ~x6641 ~x13118 ~x2983 ~x9887 ~x3416 ~x6364 ~x13077 ~x9743 ~x6643 ~x13120 
10.56/10.61	v ~x2985 ~x9889 ~x3418 ~x6366 ~x13079 ~x9745 ~x6645 ~x13122 ~x2987 ~x9891 
10.56/10.61	v ~x3420 ~x6368 ~x13081 ~x9747 ~x6647 ~x13124 ~x2989 ~x9893 ~x3422 ~x6370 
10.56/10.61	v ~x13083 ~x9749 ~x6649 ~x13126 ~x2991 ~x9895 ~x3424 ~x6372 ~x13085 ~x9751 
10.56/10.61	v ~x6651 ~x13128 ~x2993 ~x9898 ~x3426 ~x6374 ~x13087 ~x9753 ~x6653 ~x13130 
10.56/10.61	v ~x2995 ~x9900 ~x3428 ~x6376 ~x297 ~x9755 ~x121 ~x13132 ~x2997 ~x9902 
10.56/10.61	v ~x3430 ~x6378 ~x13089 ~x9757 ~x6655 ~x13134 ~x2999 ~x9904 ~x3432 ~x6380 
10.56/10.61	v ~x13091 ~x9759 ~x6657 ~x13136 ~x3001 ~x9906 ~x3434 ~x6382 ~x13093 ~x9761 
10.56/10.61	v ~x6659 ~x13138 ~x3003 ~x9908 ~x3436 ~x6384 ~x298 ~x9763 ~x6661 ~x13140 
10.56/10.61	v ~x3005 ~x9910 ~x3438 ~x6386 ~x13095 ~x9765 ~x6663 ~x13142 ~x3007 ~x9912 
10.56/10.61	v ~x3440 ~x6388 ~x13097 ~x9767 ~x6665 ~x13144 ~x3009 ~x9914 ~x3442 ~x6390 
10.56/10.61	v ~x13099 ~x9769 ~x6667 ~x13146 ~x3011 ~x9916 ~x3444 ~x6392 ~x13101 ~x9771 
10.56/10.61	v ~x6669 ~x13148 ~x3013 ~x9918 ~x3446 ~x6394 ~x13103 ~x9773 ~x6671 ~x13150 
10.56/10.61	v ~x3015 ~x9920 ~x3448 ~x6396 ~x13105 ~x9775 ~x6673 ~x13152 ~x3017 ~x9922 
10.56/10.61	v ~x3450 ~x6398 ~x13107 ~x9777 ~x6675 ~x13154 ~x3019 ~x9924 ~x40 ~x6400 
10.56/10.61	v ~x13109 ~x9779 ~x6677 ~x13156 ~x3021 ~x9926 ~x3452 ~x6402 ~x13111 ~x9781 
10.56/10.61	v ~x6679 ~x13158 ~x3023 ~x9928 ~x3454 ~x6404 ~x13113 ~x9783 ~x6681 ~x13160 
10.56/10.61	v ~x3025 ~x9930 ~x3456 ~x6406 ~x13115 ~x9785 ~x6683 ~x13162 ~x3027 ~x9932 
10.56/10.61	v ~x3458 ~x6408 ~x13117 ~x9787 ~x6685 ~x13164 ~x3029 ~x9934 ~x3460 ~x6410 
10.56/10.61	v ~x13119 ~x9789 ~x6687 ~x13166 ~x3031 ~x9936 ~x3462 ~x6412 ~x13121 ~x9791 
10.56/10.61	v ~x6689 ~x13168 ~x3033 ~x9938 ~x3464 ~x6414 ~x13123 ~x9793 ~x6691 ~x13170 
10.56/10.61	v ~x3035 ~x9940 ~x3466 ~x6416 ~x299 ~x9795 ~x6693 ~x13172 ~x3037 ~x9942 
10.56/10.61	v ~x3468 ~x6418 ~x13125 ~x9797 ~x6696 ~x13174 ~x3039 ~x9944 ~x3470 ~x6420 
10.56/10.61	v ~x13127 ~x9799 ~x6698 ~x13176 ~x3041 ~x9946 ~x3472 ~x6422 ~x13129 ~x9801 
10.56/10.61	v ~x6700 ~x13178 ~x3043 ~x195 ~x3474 ~x6424 ~x13131 ~x9803 ~x6702 ~x13180 
10.56/10.61	v ~x3045 ~x9948 ~x3476 ~x6426 ~x13133 ~x9805 ~x6704 ~x13182 ~x3047 ~x9950 
10.56/10.61	v ~x3478 ~x6428 ~x13135 ~x9807 ~x6706 x13184 ~x3049 ~x9952 ~x3480 ~x6430 
10.56/10.61	v ~x13137 ~x9808 ~x6708 ~x13186 ~x3051 ~x9954 ~x3482 ~x6432 ~x300 ~x9810 
10.56/10.61	v ~x6710 ~x13188 ~x3053 ~x9956 ~x3484 ~x6434 ~x13139 ~x9812 ~x6712 ~x13190 
10.56/10.61	v ~x3055 ~x9958 ~x3486 ~x6436 ~x13141 ~x9814 ~x6714 ~x13192 ~x3057 ~x9960 
10.56/10.61	v ~x3488 ~x6438 ~x13143 ~x9816 ~x122 ~x13194 ~x3059 ~x9962 ~x3490 ~x6440 
10.56/10.61	v ~x13145 ~x9818 ~x6716 ~x13196 ~x3061 ~x9964 ~x3492 ~x6442 ~x13147 ~x9820 
10.56/10.61	v ~x6718 ~x13198 ~x3063 ~x9966 ~x3494 ~x6444 ~x13149 ~x9822 ~x6720 ~x13200 
10.56/10.61	v ~x3065 ~x9968 ~x3496 ~x6446 ~x13151 ~x9824 ~x6722 ~x13202 ~x3067 ~x9970 
10.56/10.61	v ~x3498 ~x6448 ~x301 ~x9826 ~x6724 ~x13204 ~x3069 ~x9972 ~x3500 ~x6450 
10.56/10.61	v ~x13153 ~x9828 ~x6726 ~x13206 ~x3071 ~x9974 ~x3502 ~x6452 ~x13155 ~x9830 
10.56/10.61	v ~x6728 ~x13208 ~x3073 ~x9976 ~x3504 ~x6454 ~x13157 ~x9832 ~x6730 ~x13210 
10.56/10.61	v ~x3075 ~x196 ~x3506 ~x6456 ~x302 ~x9834 ~x6732 ~x13212 ~x3077 ~x9978 
10.56/10.61	v ~x3508 ~x6458 ~x13159 ~x9836 ~x6734 x13214 ~x3079 ~x9980 ~x3510 ~x6460 
10.56/10.61	v ~x13161 ~x9838 ~x6736 ~x13216 ~x3081 ~x9982 ~x3512 ~x6462 ~x13163 ~x9840 
10.56/10.61	v ~x6738 ~x13218 ~x3083 ~x9984 ~x41 ~x6464 ~x13165 ~x9842 ~x6740 ~x13220 
10.56/10.61	v ~x3085 ~x9986 ~x3514 ~x6466 ~x13167 ~x9844 ~x6742 ~x13222 ~x3087 ~x9988 
10.56/10.61	v ~x3516 ~x6468 ~x13169 ~x9846 ~x6744 ~x13224 ~x3089 ~x9990 ~x3518 ~x6470 
10.56/10.61	v ~x13171 ~x9848 ~x6746 ~x13226 ~x3091 ~x9992 ~x3520 ~x6472 ~x303 ~x9850 
10.56/10.61	v ~x6748 ~x13228 ~x3093 ~x9994 ~x3522 ~x6474 ~x13173 ~x9852 ~x6750 ~x13230 
10.56/10.61	v ~x3095 ~x9996 ~x3524 ~x6476 ~x13175 ~x9854 ~x6752 ~x13232 ~x3097 ~x9998 
10.56/10.61	v ~x3526 ~x6478 ~x13177 ~x9856 ~x6754 ~x13234 ~x3099 ~x10000 ~x3528 ~x6480 
10.56/10.61	v ~x304 ~x9858 ~x6756 ~x13236 ~x3101 ~x10002 ~x3530 ~x6482 ~x13179 ~x9860 
10.56/10.61	v ~x6758 ~x13238 ~x3103 ~x10004 ~x3532 ~x6484 ~x13181 ~x9862 ~x6760 ~x13240 
10.56/10.61	v ~x3105 ~x10006 ~x3534 ~x6486 x13183 ~x9864 ~x6762 ~x13242 ~x3107 ~x197 
10.56/10.61	v ~x3536 ~x6488 ~x13185 ~x9866 ~x6764 ~x13244 ~x3109 ~x10008 ~x3538 ~x6490 
10.56/10.61	v ~x305 ~x9868 ~x6766 ~x13246 ~x3111 ~x10010 ~x3540 ~x6492 ~x13187 ~x9870 
10.56/10.61	v ~x6768 ~x13248 ~x3113 ~x10012 ~x3542 ~x6494 ~x13189 ~x9872 ~x6770 ~x13250 
10.56/10.61	v ~x3115 ~x10014 ~x42 ~x6496 ~x13191 ~x9874 ~x6772 x13252 ~x3117 ~x10016 
10.56/10.61	v ~x3544 ~x6498 ~x13193 ~x9876 ~x6774 ~x13254 ~x3119 ~x10018 ~x3546 ~x6500 
10.56/10.61	v ~x13195 ~x9878 ~x6776 ~x13256 ~x3121 ~x10020 ~x3548 ~x6502 ~x13197 ~x9880 
10.56/10.61	v ~x6778 ~x13258 ~x3123 ~x198 ~x3550 ~x6504 ~x13199 ~x9882 ~x6780 ~x13260 
10.56/10.61	v ~x3125 ~x10022 ~x3552 ~x6506 ~x13201 ~x9884 ~x6782 ~x13262 ~x3127 ~x10024 
10.56/10.61	v ~x3554 ~x6508 ~x13203 ~x9886 ~x6784 ~x13264 ~x3129 ~x10026 ~x3556 ~x6510 
10.56/10.61	v ~x13205 ~x9888 ~x6786 ~x13266 ~x3131 ~x10028 ~x3558 ~x6512 ~x13207 ~x9890 
10.56/10.61	v ~x6788 ~x13268 ~x3133 ~x10030 ~x3560 ~x6514 ~x13209 ~x9892 ~x6790 ~x13270 
10.56/10.61	v ~x3135 ~x10032 ~x3562 ~x6516 ~x13211 ~x9894 ~x6792 ~x13272 ~x3137 ~x10034 
10.56/10.61	v ~x3564 ~x6518 x13213 ~x9896 ~x6794 ~x13274 ~x3139 ~x10036 ~x3566 ~x6520 
10.56/10.61	v ~x13215 ~x9897 ~x6796 ~x13276 ~x3141 ~x10038 ~x3568 ~x6522 ~x13217 ~x9899 
10.56/10.61	v ~x6798 ~x13278 ~x3143 ~x10040 ~x3570 ~x6524 ~x13219 ~x9901 ~x6800 ~x13280 
10.56/10.61	v ~x3145 ~x10042 ~x3572 ~x6526 ~x13221 ~x9903 ~x6802 ~x13282 ~x3147 ~x10044 
10.56/10.61	v ~x3574 ~x6528 ~x13223 ~x9905 ~x6804 ~x13284 ~x3149 ~x10046 ~x3576 ~x6530 
10.56/10.61	v ~x13225 ~x9907 ~x6806 ~x13286 ~x3151 ~x10048 ~x3578 ~x6532 ~x306 ~x9909 
10.56/10.61	v ~x6808 ~x13288 ~x3153 ~x10050 ~x3580 ~x6534 ~x13227 ~x9911 ~x6810 ~x13290 
10.56/10.61	v ~x3155 ~x199 ~x3582 ~x6536 ~x13229 ~x9913 ~x6812 ~x13292 ~x3157 ~x10052 
10.56/10.61	v ~x3584 ~x6538 ~x13231 ~x9915 ~x6814 ~x13294 ~x3159 ~x10054 ~x3586 ~x6540 
10.56/10.61	v ~x13233 ~x9917 ~x6816 x13296 ~x3161 ~x10056 ~x3588 ~x6542 ~x13235 ~x9919 
10.56/10.61	v ~x6818 ~x13298 x3163 ~x10058 ~x3590 ~x6544 ~x13237 ~x9921 ~x6820 ~x13300 
10.56/10.61	v ~x3165 ~x10060 ~x3592 ~x6546 ~x13239 ~x9923 ~x6822 x13302 ~x3167 ~x10062 
10.56/10.61	v ~x3594 ~x6548 ~x307 ~x9925 ~x6824 ~x13304 ~x3169 ~x10064 ~x3596 ~x6550 
10.56/10.61	v ~x13241 ~x9927 ~x6826 ~x3171 ~x200 ~x3598 ~x6552 ~x13243 ~x9929 ~x6828 
10.56/10.61	v ~x3173 ~x10066 ~x3600 ~x6554 ~x13245 ~x9931 ~x6830 ~x3175 ~x10068 ~x3602 
10.56/10.61	v ~x6556 ~x13247 ~x9933 ~x6832 ~x3177 ~x10070 ~x3604 ~x6558 ~x13249 ~x9935 
10.56/10.61	v ~x6834 ~x3179 ~x10072 ~x43 ~x6560 x13251 ~x9937 ~x6836 ~x3181 ~x10074 
10.56/10.61	v ~x3606 ~x6562 ~x13253 ~x9939 ~x6838 ~x3183 ~x10076 ~x3608 ~x6564 ~x13255 
10.56/10.61	v ~x9941 ~x6840 ~x3185 ~x10078 ~x3610 ~x6566 ~x13257 ~x9943 ~x123 ~x3187 
10.56/10.61	v ~x201 ~x3612 ~x6568 ~x13259 ~x9945 ~x6842 ~x3189 ~x10080 ~x3614 ~x6570 
10.56/10.61	v ~x308 ~x9947 ~x6844 ~x3191 ~x10082 ~x3616 ~x6572 ~x13261 ~x9949 ~x6846 
10.56/10.61	v ~x3193 ~x202 ~x3618 ~x6574 ~x13263 ~x9951 ~x6848 ~x319 ~x3195 ~x10084 
10.56/10.61	v ~x3620 ~x6576 ~x309 ~x9953 ~x6850 ~x321 ~x3197 ~x10086 ~x3622 ~x6578 
10.56/10.61	v ~x13265 ~x9955 ~x6852 ~x323 ~x3199 ~x10088 ~x3624 ~x6580 ~x13267 ~x9957 
10.56/10.61	v ~x6854 ~x325 ~x3201 ~x10090 ~x3626 ~x6582 ~x13269 ~x9959 ~x6856 ~x327 
10.56/10.61	v ~x3203 ~x10092 ~x3628 ~x6584 ~x310 ~x9961 ~x6858 ~x329 ~x3205 ~x10094 
10.56/10.61	v ~x3630 ~x6586 ~x13271 ~x9963 ~x6860 ~x331 ~x3207 ~x10096 ~x3632 ~x6588 
10.56/10.61	v ~x311 ~x9965 ~x6862 ~x333 ~x3209 ~x10098 ~x3634 ~x6590 ~x13273 ~x9967 
10.56/10.61	v ~x6864 ~x335 ~x3211 ~x10100 ~x44 ~x6592 ~x13275 ~x9969 ~x6866 ~x337 
10.56/10.61	v ~x3213 ~x10102 ~x3636 ~x6594 ~x13277 ~x9971 ~x6868 ~x339 ~x3215 ~x10104 
10.56/10.61	v ~x3638 ~x6596 ~x13279 ~x9973 ~x6870 ~x341 ~x3217 ~x10106 ~x3640 ~x6598 
10.56/10.61	v ~x13281 ~x9975 ~x6872 ~x343 ~x3219 ~x10108 ~x3642 ~x6600 ~x13283 ~x9977 
10.56/10.61	v ~x6874 ~x345 ~x3221 ~x10110 ~x3644 ~x6602 ~x312 ~x9979 ~x6876 ~x347 
10.56/10.61	v ~x3223 ~x10112 ~x3646 ~x6604 ~x13285 ~x9981 ~x6878 ~x349 ~x3225 x203 
10.56/10.61	v ~x3648 ~x6606 ~x13287 ~x9983 ~x6880 ~x351 ~x3227 x10114 ~x3650 ~x6608 
10.56/10.61	v ~x13289 ~x9985 ~x6882 ~x353 ~x3229 ~x10116 ~x3652 ~x6610 ~x313 ~x9987 
10.56/10.61	v ~x6884 ~x355 ~x3231 ~x10118 ~x3654 ~x6612 ~x13291 ~x9989 ~x6886 ~x357 
10.56/10.61	v ~x3233 ~x10120 ~x3656 ~x6614 ~x13293 ~x9991 ~x6888 ~x359 ~x3235 ~x10122 
10.56/10.61	v ~x3658 ~x6616 x13295 ~x9993 ~x6890 ~x361 ~x3237 ~x10124 ~x3660 ~x6618 
10.56/10.61	v x314 ~x9995 ~x6892 ~x363 ~x3239 ~x10126 ~x3662 ~x6620 ~x13297 ~x9997 
10.56/10.61	v ~x6894 ~x365 ~x3241 ~x204 ~x3664 ~x6622 ~x315 ~x9999 ~x6896 ~x367 
10.56/10.61	v ~x3243 ~x10128 ~x45 ~x6624 ~x13299 ~x10001 ~x6898 ~x369 ~x3245 ~x10130 
10.56/10.61	v ~x3666 ~x6626 x13301 ~x10003 ~x6900 ~x371 ~x3247 ~x10132 ~x3668 ~x6628 
10.56/10.61	v x316 ~x10005 ~x6902 ~x373 ~x3249 ~x10134 ~x3670 ~x6630 ~x13303 ~x10007 
10.56/10.61	v ~x124 ~x375 ~x3251 ~x10136 ~x3672 ~x6632 ~x317 ~x10009 ~x6904 ~x377 
10.56/10.61	v ~x3253 ~x10138 ~x3674 ~x6634 x318 ~x10011 ~x6906 ~x379 ~x3255 ~x10140 
10.56/10.61	v ~x3676 ~x6636 ~x10013 ~x6908 ~x381 ~x3257 ~x205 ~x3678 ~x6638 ~x10015 
10.56/10.61	v ~x6910 ~x383 ~x3259 ~x10142 ~x46 ~x6640 ~x10017 ~x6912 ~x385 ~x3261 
10.56/10.61	v ~x10144 ~x3680 ~x6642 ~x10019 ~x6914 ~x387 ~x3263 ~x10146 ~x3682 ~x6644 
10.56/10.61	v ~x10021 ~x6916 ~x389 ~x3265 ~x206 ~x3684 ~x6646 ~x10023 ~x6918 ~x391 
10.56/10.61	v ~x3267 ~x10148 ~x3686 ~x6648 ~x10025 ~x6920 ~x393 ~x3269 ~x10150 ~x3688 
10.56/10.61	v ~x6650 ~x10027 ~x6922 ~x395 ~x3271 ~x10152 ~x3690 ~x6652 ~x10029 ~x6924 
10.56/10.61	v ~x397 ~x3273 ~x10154 ~x3692 ~x6654 ~x10031 ~x6926 ~x399 ~x3275 ~x10156 
10.56/10.61	v ~x3694 ~x6656 ~x10033 ~x6928 ~x401 ~x3277 ~x10158 ~x3696 ~x6658 ~x10035 
10.56/10.61	v ~x6931 ~x403 ~x3279 ~x10160 ~x3698 ~x6660 ~x10037 ~x6933 ~x405 ~x3281 
10.56/10.61	v ~x207 ~x3700 ~x6662 ~x10039 ~x6935 ~x407 ~x3283 ~x10162 ~x3702 ~x6664 
10.56/10.61	v ~x10041 ~x6937 ~x409 ~x3285 ~x10164 ~x3704 ~x6666 ~x10043 ~x6939 ~x411 
10.56/10.61	v ~x3287 ~x10166 ~x3706 ~x6668 ~x10045 ~x6941 ~x413 ~x3289 ~x208 ~x3708 
10.56/10.61	v ~x6670 ~x10047 ~x6943 ~x415 ~x3291 ~x10168 ~x3710 ~x6672 ~x10049 ~x6945 
10.56/10.61	v ~x417 ~x3293 ~x10170 ~x3712 ~x6674 ~x10051 ~x6947 ~x419 ~x3295 ~x10172 
10.56/10.61	v ~x3714 ~x6676 ~x10053 ~x6949 ~x421 ~x3297 ~x209 ~x3716 ~x6678 ~x10055 
10.56/10.61	v ~x6951 ~x423 ~x3299 ~x10174 ~x3718 ~x6680 ~x10057 ~x6953 ~x425 ~x3301 
10.56/10.61	v ~x210 ~x3720 ~x6682 ~x10059 ~x6955 ~x427 ~x3303 ~x10176 ~x3722 ~x6684 
10.56/10.61	v ~x10061 ~x6957 ~x429 ~x3305 ~x10178 ~x3724 ~x6686 ~x10063 ~x6959 ~x431 
10.56/10.61	v ~x3307 ~x10180 ~x3726 ~x6688 ~x10065 ~x6961 ~x433 ~x3309 ~x10182 ~x3728 
10.56/10.61	v ~x6690 ~x10067 ~x6963 ~x435 ~x3311 ~x10184 ~x3730 ~x6692 ~x10069 ~x125 
10.56/10.61	v ~x437 ~x3313 ~x10186 ~x3732 ~x6694 ~x10071 ~x6965 x439 ~x3315 ~x10188 
10.56/10.61	v ~x3734 ~x6695 ~x10073 ~x6967 ~x441 ~x3317 ~x10190 ~x3736 ~x6697 ~x10075 
10.56/10.61	v ~x6969 ~x443 ~x3319 ~x10192 ~x3738 ~x6699 ~x10077 ~x6971 ~x445 ~x3321 
10.56/10.61	v ~x10194 ~x3740 ~x6701 ~x10079 ~x6973 ~x447 ~x3323 ~x10196 ~x47 ~x6703 
10.56/10.61	v ~x10081 ~x6975 ~x449 ~x3325 ~x10198 ~x3742 ~x6705 ~x10083 ~x6977 ~x451 
10.56/10.61	v ~x3327 ~x10200 ~x3744 ~x6707 ~x10085 ~x6979 ~x453 ~x3329 ~x10202 ~x3746 
10.56/10.61	v ~x6709 ~x10087 ~x6981 ~x455 ~x3331 ~x10204 ~x3748 ~x6711 ~x10089 ~x6983 
10.56/10.61	v ~x457 ~x3333 ~x10206 ~x3750 ~x6713 ~x10091 ~x6985 ~x459 ~x3335 ~x10208 
10.56/10.61	v ~x3752 ~x6715 ~x10093 ~x6987 ~x461 ~x3337 ~x10210 ~x3754 ~x6717 ~x10095 
10.56/10.61	v ~x6989 ~x463 ~x3339 ~x10212 ~x3756 ~x6719 ~x10097 ~x6991 ~x465 ~x3341 
10.56/10.61	v ~x10214 ~x3758 ~x6721 ~x10099 ~x6993 ~x467 ~x3343 ~x10216 ~x3760 ~x6723 
10.56/10.61	v ~x10101 ~x126 ~x469 ~x3345 ~x10218 ~x3762 ~x6725 ~x10103 ~x6995 ~x471 
10.56/10.61	v ~x3347 ~x10220 ~x3764 ~x6727 ~x10105 ~x6997 ~x473 ~x3349 ~x10222 ~x3766 
10.56/10.61	v ~x6729 ~x10107 ~x6999 ~x475 ~x3351 ~x10224 ~x3768 ~x6731 ~x10109 ~x7001 
10.56/10.61	v ~x477 ~x3353 ~x10226 ~x3770 ~x6733 ~x10111 ~x7003 ~x479 ~x3355 ~x10228 
10.56/10.61	v ~x48 ~x6735 ~x10113 ~x7005 ~x481 ~x3357 ~x10230 ~x3772 ~x6737 x10115 
10.56/10.61	v ~x7007 ~x483 ~x3359 ~x10232 ~x3774 ~x6739 ~x10117 ~x7010 ~x485 ~x3361 
10.56/10.61	v ~x10234 ~x3776 ~x6741 ~x10119 ~x7012 ~x487 ~x3363 ~x10236 ~x3778 ~x6743 
10.56/10.61	v ~x10121 ~x7014 ~x489 ~x3365 ~x10238 ~x3780 ~x6745 ~x10123 ~x7016 ~x491 
10.56/10.61	v ~x3367 ~x10240 ~x3782 ~x6747 ~x10125 ~x7018 ~x493 ~x3369 ~x10242 ~x3784 
10.56/10.61	v ~x6749 ~x10127 ~x7020 ~x495 ~x3371 ~x10244 ~x3786 ~x6751 ~x10129 ~x7022 
10.56/10.61	v ~x497 ~x3373 ~x10246 ~x3788 ~x6753 ~x10131 ~x7024 ~x499 ~x3375 ~x10248 
10.56/10.61	v ~x3790 ~x6755 ~x10133 ~x7026 ~x501 ~x3377 ~x10250 ~x3792 ~x6757 ~x10135 
10.56/10.61	v ~x7028 ~x503 ~x3379 ~x10252 ~x3794 ~x6759 ~x10137 ~x7030 ~x505 ~x3381 
10.56/10.61	v ~x10254 ~x3796 ~x6761 ~x10139 ~x7032 ~x507 ~x3383 ~x10256 ~x3798 ~x6763 
10.56/10.61	v ~x10141 ~x7034 ~x509 ~x3385 ~x10258 ~x3800 ~x6765 ~x10143 ~x7036 ~x511 
10.56/10.61	v ~x3387 ~x10260 ~x49 ~x6767 ~x10145 ~x7038 ~x513 ~x3389 ~x10262 ~x3802 
10.56/10.61	v ~x6769 ~x10147 ~x7040 ~x515 ~x3391 ~x10264 ~x3804 ~x6771 ~x10149 ~x7042 
10.56/10.61	v ~x517 ~x3393 ~x10266 ~x3806 ~x6773 ~x10151 ~x7044 ~x519 ~x3395 ~x10268 
10.56/10.61	v ~x3808 ~x6775 ~x10153 ~x7046 ~x521 ~x3397 ~x10270 ~x3810 ~x6777 ~x10155 
10.56/10.61	v ~x7048 ~x523 ~x3399 ~x10272 ~x3812 ~x6779 ~x10157 ~x7050 ~x525 ~x3401 
10.56/10.61	v ~x10274 ~x3814 ~x6781 ~x10159 ~x7052 ~x527 ~x3403 ~x10276 ~x50 ~x6783 
10.56/10.61	v ~x10161 ~x7054 ~x529 ~x3405 ~x10278 ~x3816 ~x6785 ~x10163 ~x7056 ~x531 
10.56/10.61	v ~x3407 ~x10280 ~x3818 ~x6787 ~x10165 ~x7058 ~x533 ~x3409 ~x10282 ~x3820 
10.56/10.61	v ~x6789 ~x10167 ~x7060 ~x535 ~x3411 ~x10284 ~x3822 ~x6791 ~x10169 ~x7062 
10.56/10.61	v ~x537 ~x3413 ~x10286 ~x3824 ~x6793 ~x10171 ~x7064 ~x539 ~x3415 ~x10288 
10.56/10.61	v ~x3826 ~x6795 ~x10173 ~x7066 ~x541 ~x3417 ~x10290 ~x3828 ~x6797 ~x10175 
10.56/10.61	v ~x7068 ~x543 ~x3419 ~x10292 ~x3830 ~x6799 ~x10177 ~x7070 ~x545 ~x3421 
10.56/10.61	v ~x10294 ~x3832 ~x6801 ~x10179 ~x7072 ~x547 ~x3423 ~x10296 ~x3834 ~x6803 
10.56/10.61	v ~x10181 ~x7074 ~x549 ~x3425 ~x10298 ~x3836 ~x6805 ~x10183 ~x7076 ~x551 
10.56/10.61	v ~x3427 ~x10300 ~x3838 ~x6807 ~x10185 ~x7078 ~x553 ~x3429 ~x211 ~x3840 
10.56/10.61	v ~x6809 ~x10187 ~x7080 ~x555 ~x3431 ~x10302 ~x3842 ~x6811 ~x10189 ~x7082 
10.56/10.61	v ~x557 ~x3433 ~x10304 ~x3844 ~x6813 ~x10191 ~x7084 ~x559 ~x3435 ~x10306 
10.56/10.61	v ~x51 ~x6815 ~x10193 ~x7086 ~x561 ~x3437 ~x10308 ~x3846 ~x6817 ~x10195 
10.56/10.61	v ~x7088 ~x563 ~x3439 ~x10310 ~x3848 ~x6819 ~x10197 ~x7090 ~x565 ~x3441 
10.56/10.61	v ~x10312 ~x3850 ~x6821 ~x10199 ~x7092 ~x567 ~x3443 ~x10314 ~x3852 ~x6823 
10.56/10.61	v ~x10201 ~x7094 ~x569 ~x3445 ~x10316 ~x3854 ~x6825 ~x10203 ~x7096 ~x571 
10.56/10.61	v ~x3447 ~x10318 ~x3856 ~x6827 ~x10205 ~x7098 ~x573 ~x3449 ~x10320 ~x3858 
10.56/10.61	v ~x6829 ~x10207 ~x7100 ~x1 ~x3451 ~x10322 ~x52 ~x6831 ~x10209 ~x7102 
10.56/10.61	v ~x575 ~x3453 ~x10324 ~x3860 ~x6833 ~x10211 ~x7104 ~x577 ~x3455 ~x10326 
10.56/10.61	v ~x3862 ~x6835 ~x10213 ~x7106 ~x579 ~x3457 ~x10328 ~x3864 ~x6837 ~x10215 
10.56/10.61	v ~x7108 ~x581 ~x3459 ~x10330 ~x3866 ~x6839 ~x10217 ~x7110 ~x583 ~x3461 
10.56/10.61	v ~x10332 ~x3868 ~x6841 ~x10219 ~x7112 ~x585 ~x3463 ~x10334 ~x3870 ~x6843 
10.56/10.61	v ~x10221 ~x7114 ~x587 ~x3465 ~x10336 ~x3872 ~x6845 ~x10223 ~x7116 ~x589 
10.56/10.61	v ~x3467 ~x10338 ~x53 ~x6847 ~x10225 ~x7118 ~x591 ~x3469 ~x10340 ~x3874 
10.56/10.61	v ~x6849 ~x10227 ~x127 ~x593 ~x3471 ~x10342 ~x3876 ~x6851 ~x10229 ~x7120 
10.56/10.61	v ~x595 ~x3473 ~x10344 ~x3878 ~x6853 ~x10231 ~x7122 ~x597 ~x3475 ~x10346 
10.56/10.61	v ~x54 ~x6855 ~x10233 ~x7124 ~x599 ~x3477 ~x10348 ~x3880 ~x6857 ~x10235 
10.56/10.61	v ~x7126 ~x601 ~x3479 ~x10350 ~x3882 ~x6859 ~x10237 ~x7128 ~x603 ~x3481 
10.56/10.61	v ~x10352 ~x3884 ~x6861 ~x10239 ~x7130 ~x605 ~x3483 ~x10354 ~x3886 ~x6863 
10.56/10.61	v ~x10241 ~x7132 ~x607 ~x3485 ~x10356 ~x3888 ~x6865 ~x10243 ~x7134 ~x609 
10.56/10.61	v ~x3487 ~x10358 ~x3890 ~x6867 ~x10245 ~x7136 ~x611 ~x3489 ~x10360 ~x3892 
10.56/10.61	v ~x6869 ~x10247 ~x7138 ~x613 ~x3491 ~x10362 ~x3894 ~x6871 ~x10249 ~x7140 
10.56/10.61	v ~x615 ~x3493 ~x10364 ~x3896 ~x6873 ~x10251 ~x7142 ~x617 ~x3495 ~x10366 
10.56/10.61	v ~x3898 ~x6875 ~x10253 ~x7144 ~x619 ~x3497 ~x10368 ~x3900 ~x6877 ~x10255 
10.56/10.61	v ~x7146 ~x621 ~x3499 ~x10370 ~x3902 ~x6879 ~x10257 ~x7148 ~x623 ~x3501 
10.56/10.61	v ~x10372 ~x3904 ~x6881 ~x10259 ~x7150 ~x625 ~x3503 ~x10374 ~x3906 ~x6883 
10.56/10.61	v ~x10261 ~x7152 ~x627 ~x3505 ~x10376 ~x3908 ~x6885 ~x10263 ~x7154 ~x629 
10.56/10.61	v ~x3507 ~x10378 ~x3910 ~x6887 ~x10265 ~x7156 ~x631 ~x3509 ~x10380 ~x3912 
10.56/10.61	v ~x6889 ~x10267 ~x7158 ~x633 ~x3511 ~x10382 ~x3914 ~x6891 ~x10269 ~x7160 
10.56/10.61	v ~x635 ~x3513 ~x10384 ~x3916 ~x6893 ~x10271 ~x7162 ~x637 ~x3515 ~x10386 
10.56/10.61	v ~x3918 ~x6895 ~x10273 ~x7164 ~x639 ~x3517 ~x10388 ~x3920 ~x6897 ~x10275 
10.56/10.61	v ~x7166 ~x641 ~x3519 ~x10390 ~x3922 ~x6899 ~x10277 ~x7168 ~x643 ~x3521 
10.56/10.61	v ~x10392 ~x3924 ~x6901 ~x10279 ~x7170 ~x645 ~x3523 ~x10394 ~x3926 ~x6903 
10.56/10.61	v ~x10281 ~x7172 ~x647 ~x3525 ~x10396 ~x3928 ~x6905 ~x10283 ~x7174 ~x649 
10.56/10.61	v ~x3527 ~x10398 ~x3930 ~x6907 ~x10285 ~x7176 ~x651 ~x3529 ~x10400 ~x3932 
10.56/10.61	v ~x6909 ~x10287 ~x7178 ~x653 ~x3531 ~x10402 ~x3934 ~x6911 ~x10289 ~x7180 
10.56/10.61	v ~x655 ~x3533 ~x10404 ~x3936 ~x6913 ~x10291 ~x128 ~x657 ~x3535 ~x10406 
10.56/10.61	v ~x3938 ~x6915 ~x10293 ~x7182 ~x659 ~x3537 ~x10409 ~x3940 ~x6917 ~x10295 
10.56/10.61	v ~x7184 ~x661 ~x3539 ~x10411 ~x3942 ~x6919 ~x10297 ~x7186 ~x663 ~x3541 
10.56/10.61	v ~x10413 ~x3944 ~x6921 ~x10299 ~x7188 ~x665 ~x3543 ~x10415 ~x3946 ~x6923 
10.56/10.61	v ~x10301 ~x7190 ~x667 ~x3545 ~x10417 ~x3948 ~x6925 ~x10303 ~x7192 ~x669 
10.56/10.62	v ~x3547 ~x10419 ~x3950 ~x6927 ~x10305 ~x7194 ~x671 ~x3549 ~x10421 ~x3952 
10.56/10.62	v ~x6929 ~x10307 ~x7196 ~x673 ~x3551 ~x10423 ~x3954 ~x6930 ~x10309 ~x7198 
10.56/10.62	v ~x675 ~x3553 ~x10425 ~x3956 ~x6932 ~x10311 ~x7200 ~x677 ~x3555 ~x212 
10.56/10.62	v ~x3958 ~x6934 ~x10313 ~x7202 ~x679 ~x3557 ~x10427 ~x3960 ~x6936 ~x10315 
10.56/10.62	v ~x7204 ~x681 ~x3559 ~x10429 ~x3962 ~x6938 ~x10317 ~x7206 ~x683 ~x3561 
10.56/10.62	v ~x10431 ~x3964 ~x6940 ~x10319 ~x7208 ~x685 ~x3563 ~x10433 ~x3966 ~x6942 
10.56/10.62	v ~x10321 ~x7210 ~x687 ~x3565 ~x10435 ~x3968 ~x6944 ~x10323 ~x7212 ~x689 
10.56/10.62	v ~x3567 ~x10437 ~x3970 ~x6946 ~x10325 ~x7214 ~x691 ~x3569 ~x10439 ~x3972 
10.56/10.62	v ~x6948 ~x10327 ~x7216 ~x693 ~x3571 ~x10441 ~x3974 ~x6950 ~x10329 ~x7218 
10.56/10.62	v ~x695 ~x3573 ~x10443 ~x3976 ~x6952 ~x10331 ~x7220 ~x697 ~x3575 ~x10445 
10.56/10.62	v ~x3978 ~x6954 ~x10333 ~x7222 ~x699 ~x3577 ~x10447 ~x3980 ~x6956 ~x10335 
10.56/10.62	v ~x7224 ~x2 ~x3579 ~x10449 ~x3982 ~x6958 ~x10337 ~x7226 ~x701 ~x3581 
10.56/10.62	v ~x10451 ~x3984 ~x6960 ~x10339 ~x7228 ~x703 ~x3583 ~x10453 ~x3986 ~x6962 
10.56/10.62	v ~x10341 ~x7230 ~x705 ~x3585 ~x10455 ~x3988 ~x6964 ~x10343 ~x7232 ~x707 
10.56/10.62	v ~x3587 ~x10457 ~x3990 ~x6966 ~x10345 ~x7234 ~x709 ~x3589 ~x10459 ~x3992 
10.56/10.62	v ~x6968 ~x10347 ~x7236 ~x711 ~x3591 ~x10461 ~x3994 ~x6970 ~x10349 ~x7238 
10.56/10.62	v ~x713 ~x3593 ~x10463 ~x3996 ~x6972 ~x10351 ~x7240 ~x715 ~x3595 ~x10465 
10.56/10.62	v ~x3998 ~x6974 ~x10353 ~x7242 ~x717 ~x3597 ~x10467 ~x4000 ~x6976 ~x10355 
10.56/10.62	v ~x129 ~x719 ~x3599 ~x10469 ~x4002 ~x6978 ~x10357 ~x7244 ~x721 ~x3601 
10.56/10.62	v ~x10471 ~x4004 ~x6980 ~x10359 ~x7246 ~x723 ~x3603 ~x10473 ~x55 ~x6982 
10.56/10.62	v ~x10361 ~x7248 ~x725 ~x3605 ~x10475 ~x4006 ~x6984 ~x10363 ~x7250 ~x727 
10.56/10.62	v ~x3607 ~x10477 ~x4008 ~x6986 ~x10365 ~x7252 ~x729 ~x3609 ~x10479 ~x4010 
10.56/10.62	v ~x6988 ~x10367 ~x7254 ~x731 ~x3611 ~x10481 ~x4012 ~x6990 ~x10369 ~x7256 
10.56/10.62	v ~x733 ~x3613 ~x10483 ~x4014 ~x6992 ~x10371 ~x7258 ~x735 ~x3615 ~x10485 
10.56/10.62	v ~x4016 ~x6994 ~x10373 ~x7260 ~x737 ~x3617 ~x10487 ~x4018 ~x6996 ~x10375 
10.56/10.62	v ~x7262 ~x739 ~x3619 ~x213 ~x4020 ~x6998 ~x10377 ~x7264 ~x741 ~x3621 
10.56/10.62	v ~x10489 ~x4022 ~x7000 ~x10379 ~x7266 ~x743 ~x3623 ~x10491 ~x4024 ~x7002 
10.56/10.62	v ~x10381 ~x7268 ~x745 ~x3625 ~x10493 ~x4026 ~x7004 ~x10383 ~x7270 ~x747 
10.56/10.62	v ~x3627 ~x10495 ~x4028 ~x7006 ~x10385 ~x7272 ~x749 ~x3629 ~x10497 ~x4030 
10.56/10.62	v ~x7008 ~x10387 ~x130 ~x751 ~x3631 ~x10499 ~x4032 ~x7009 ~x10389 ~x7274 
10.56/10.62	v ~x753 ~x3633 ~x10501 ~x4034 ~x7011 ~x10391 ~x7276 ~x755 ~x3635 ~x10503 
10.56/10.62	v ~x4036 ~x7013 ~x10393 ~x7278 ~x757 ~x3637 ~x10505 ~x4038 ~x7015 ~x10395 
10.56/10.62	v ~x7280 ~x759 ~x3639 ~x10507 ~x4040 ~x7017 ~x10397 ~x7282 ~x761 ~x3641 
10.56/10.62	v ~x10509 ~x4042 ~x7019 ~x10399 ~x7284 ~x763 ~x3643 ~x10511 ~x4044 ~x7021 
10.56/10.62	v ~x10401 ~x7286 ~x765 ~x3645 ~x10513 ~x4046 ~x7023 ~x10403 ~x7288 ~x767 
10.56/10.62	v ~x3647 ~x10515 ~x4048 ~x7025 ~x10405 ~x7290 ~x769 ~x3649 ~x10517 ~x4050 
10.56/10.62	v ~x7027 ~x10407 ~x7292 ~x771 ~x3651 ~x10519 ~x4052 ~x7029 ~x10408 ~x7294 
10.56/10.62	v ~x773 ~x3653 ~x10521 ~x4054 ~x7031 ~x10410 ~x7296 ~x775 ~x3655 ~x10523 
10.56/10.62	v ~x4056 ~x7033 ~x10412 ~x7298 ~x777 ~x3657 ~x10525 ~x4058 ~x7035 ~x10414 
10.56/10.62	v ~x7300 ~x779 ~x3659 ~x10527 ~x4060 ~x7037 ~x10416 ~x7302 ~x781 ~x3661 
10.56/10.62	v ~x10529 ~x4062 ~x7039 ~x10418 ~x7304 ~x783 ~x3663 ~x10531 ~x4064 ~x7041 
10.56/10.62	v ~x10420 ~x7306 ~x785 ~x3665 ~x10533 ~x4066 ~x7043 ~x10422 ~x7308 ~x787 
10.56/10.62	v ~x3667 ~x10535 ~x56 ~x7045 ~x10424 ~x7310 ~x789 ~x3669 ~x10537 ~x4068 
10.56/10.62	v ~x7047 ~x10426 ~x7312 ~x791 ~x3671 ~x10539 ~x4070 ~x7049 ~x10428 ~x7314 
10.56/10.62	v ~x793 ~x3673 ~x10541 ~x4072 ~x7051 ~x10430 ~x7316 ~x795 ~x3675 ~x10543 
10.56/10.62	v ~x4074 ~x7053 ~x10432 ~x7318 ~x797 ~x3677 ~x10545 ~x4076 ~x7055 ~x10434 
10.56/10.62	v ~x7320 ~x799 ~x3679 ~x10547 ~x4078 ~x7057 ~x10436 ~x7322 ~x801 ~x3681 
10.56/10.62	v ~x10549 ~x4080 ~x7059 ~x10438 ~x7324 ~x803 ~x3683 ~x214 ~x4082 ~x7061 
10.56/10.62	v ~x10440 ~x7326 ~x805 ~x3685 ~x10551 ~x4084 ~x7063 ~x10442 ~x7328 ~x807 
10.56/10.62	v ~x3687 ~x10553 ~x4086 ~x7065 ~x10444 ~x7330 ~x809 ~x3689 ~x10555 ~x4088 
10.56/10.62	v ~x7067 ~x10446 ~x7332 ~x811 ~x3691 ~x10557 ~x4090 ~x7069 ~x10448 ~x7334 
10.56/10.62	v ~x813 ~x3693 ~x10559 ~x4092 ~x7071 ~x10450 ~x131 ~x815 ~x3695 ~x10561 
10.56/10.62	v ~x4094 ~x7073 ~x10452 ~x7336 ~x817 ~x3697 ~x10563 ~x4096 ~x7075 ~x10454 
10.56/10.62	v ~x7338 ~x819 ~x3699 ~x10565 ~x4098 ~x7077 ~x10456 ~x7340 ~x821 ~x3701 
10.56/10.62	v ~x10567 ~x4100 ~x7079 ~x10458 ~x7342 ~x823 ~x3703 ~x10569 ~x4102 ~x7081 
10.56/10.62	v ~x10460 ~x320 ~x7344 ~x825 ~x3705 ~x10571 ~x4104 ~x7083 ~x10462 ~x322 
10.56/10.62	v ~x7346 ~x3 ~x3707 ~x10573 ~x4106 ~x7085 ~x10464 ~x324 ~x7348 ~x827 
10.56/10.62	v ~x3709 ~x10575 ~x4108 ~x7087 ~x10466 ~x326 ~x7350 ~x829 ~x3711 ~x10577 
10.56/10.62	v ~x4110 ~x7089 ~x10468 ~x328 ~x7352 ~x831 ~x3713 ~x10579 ~x4112 ~x7091 
10.56/10.62	v ~x10470 ~x330 ~x7354 ~x833 ~x3715 ~x10581 ~x4114 ~x7093 ~x10472 ~x332 
10.56/10.62	v ~x7356 ~x835 ~x3717 ~x10583 ~x4116 ~x7095 ~x10474 ~x334 ~x7358 ~x837 
10.56/10.62	v ~x3719 ~x10585 ~x4118 ~x7097 ~x10476 ~x336 ~x7360 ~x839 ~x3721 ~x10587 
10.56/10.62	v ~x4120 ~x7099 ~x10478 ~x338 ~x7362 ~x841 ~x3723 ~x10589 ~x4122 ~x7101 
10.56/10.62	v ~x10480 ~x340 ~x7364 ~x843 ~x3725 ~x10591 ~x4124 ~x7103 ~x10482 ~x342 
10.56/10.62	v ~x132 ~x845 ~x3727 ~x10593 ~x7105 ~x10484 ~x344 ~x7366 ~x847 ~x3729 
10.56/10.62	v ~x10595 ~x7107 ~x4126 ~x10486 ~x346 ~x7368 ~x849 ~x3731 ~x10597 ~x7109 
10.56/10.62	v ~x4128 ~x10488 ~x348 ~x7370 ~x851 ~x3733 ~x10599 ~x7111 ~x57 ~x10490 
10.56/10.62	v ~x350 ~x7372 ~x853 ~x3735 ~x10601 ~x7113 ~x4130 ~x10492 ~x352 ~x7374 
10.56/10.62	v ~x855 ~x3737 ~x10603 ~x7115 ~x4132 ~x10494 ~x354 ~x7376 ~x857 ~x3739 
10.56/10.62	v ~x10605 ~x7117 ~x4134 ~x10496 ~x356 ~x7378 ~x859 ~x3741 ~x10607 ~x7119 
10.56/10.62	v ~x4136 ~x10498 ~x358 ~x7380 ~x861 ~x3743 ~x10609 ~x7121 ~x4138 ~x10500 
10.56/10.62	v ~x360 ~x7382 ~x863 ~x3745 ~x10611 ~x7123 ~x4140 ~x10502 ~x362 ~x7384 
10.56/10.62	v ~x865 ~x3747 ~x215 ~x7125 ~x4142 ~x10504 ~x364 ~x7386 ~x867 ~x3749 
10.56/10.62	v ~x10613 ~x7127 ~x4144 ~x10506 ~x366 ~x7388 ~x869 ~x3751 ~x10615 ~x7129 
10.56/10.62	v ~x4146 ~x10508 ~x368 ~x7390 ~x871 ~x3753 ~x10617 ~x7131 ~x4148 ~x10510 
10.56/10.62	v ~x370 ~x7392 ~x873 ~x3755 ~x10619 ~x7133 ~x4150 ~x10512 ~x372 ~x7394 
10.56/10.62	v ~x875 ~x3757 ~x10621 ~x7135 ~x4152 ~x10514 ~x374 ~x133 ~x877 ~x3759 
10.56/10.62	v ~x10623 ~x7137 ~x4154 ~x10516 ~x376 ~x7396 ~x879 ~x3761 ~x10625 ~x7139 
10.56/10.62	v ~x4156 ~x10518 ~x378 ~x7398 ~x881 ~x3763 ~x10627 ~x7141 ~x4158 ~x10520 
10.56/10.62	v ~x380 ~x7400 ~x883 ~x3765 ~x10629 ~x7143 ~x58 ~x10522 ~x382 ~x7402 
10.56/10.62	v ~x885 ~x3767 ~x10631 ~x7145 ~x4160 ~x10524 ~x384 ~x7404 ~x887 ~x3769 
10.56/10.62	v ~x10633 ~x7147 ~x4162 ~x10526 ~x386 ~x7406 ~x4 ~x3771 ~x10635 ~x7149 
10.56/10.62	v ~x4164 ~x10528 ~x388 ~x7408 ~x889 ~x3773 ~x10637 ~x7151 ~x4166 ~x10530 
10.56/10.62	v ~x390 ~x134 ~x891 ~x3775 ~x10639 ~x7153 ~x4168 ~x10532 ~x392 ~x7410 
10.56/10.62	v ~x893 ~x3777 ~x10641 ~x7155 ~x4170 ~x10534 ~x394 ~x7412 ~x895 ~x3779 
10.56/10.62	v ~x216 ~x7157 ~x4172 ~x10536 ~x396 ~x7414 ~x897 ~x3781 ~x10643 ~x7159 
10.56/10.62	v ~x4174 ~x10538 ~x398 ~x7416 ~x899 ~x3783 ~x10645 ~x7161 ~x4176 ~x10540 
10.56/10.62	v ~x400 ~x7418 ~x901 ~x3785 ~x10647 ~x7163 ~x4178 ~x10542 ~x402 ~x7420 
10.56/10.62	v ~x903 ~x3787 ~x10649 ~x7165 ~x4180 ~x10544 ~x404 ~x7422 ~x905 ~x3789 
10.56/10.62	v ~x10651 ~x7167 ~x4182 ~x10546 ~x406 ~x7424 ~x907 ~x3791 ~x10653 ~x7169 
10.56/10.62	v ~x4184 ~x10548 ~x408 ~x7426 ~x909 ~x3793 ~x10655 ~x7171 ~x4186 ~x10550 
10.56/10.62	v ~x410 ~x7428 ~x911 ~x3795 ~x10657 ~x7173 ~x4188 ~x10552 ~x412 ~x7430 
10.56/10.62	v ~x913 ~x3797 ~x10659 ~x7175 ~x4190 ~x10554 ~x414 ~x7432 ~x915 ~x3799 
10.56/10.62	v ~x10661 ~x7177 ~x4192 ~x10556 ~x416 ~x7434 ~x918 ~x3801 ~x10663 ~x7179 
10.56/10.62	v ~x4194 ~x10558 ~x418 ~x7436 ~x920 ~x3803 ~x10665 ~x7181 ~x4196 ~x10560 
10.56/10.62	v ~x420 ~x7438 ~x922 ~x3805 ~x10667 ~x7183 ~x4198 ~x10562 ~x422 ~x7440 
10.56/10.62	v ~x924 ~x3807 ~x10669 ~x7185 ~x4200 ~x10564 ~x424 ~x7442 ~x926 ~x3809 
10.56/10.62	v ~x10671 ~x7187 ~x4202 ~x10566 ~x426 ~x7444 ~x928 ~x3811 ~x10673 ~x7189 
10.56/10.62	v ~x4204 ~x10568 ~x428 ~x7446 ~x930 ~x3813 ~x10675 ~x7191 ~x4206 ~x10570 
10.56/10.62	v ~x430 ~x7448 ~x932 ~x3815 ~x10677 ~x7193 ~x4208 ~x10572 ~x432 ~x7450 
10.56/10.62	v ~x934 ~x3817 ~x10679 ~x7195 ~x4210 ~x10574 ~x434 ~x7452 ~x936 ~x3819 
10.56/10.62	v ~x10681 ~x7197 ~x4212 ~x10576 ~x436 ~x7454 ~x938 ~x3821 ~x10683 ~x7199 
10.56/10.62	v ~x4214 ~x10578 ~x438 ~x7456 ~x940 ~x3823 ~x10685 ~x7201 ~x4216 ~x10580 
10.56/10.62	v x440 ~x7458 ~x942 ~x3825 ~x10687 ~x7203 ~x4218 ~x10582 ~x442 ~x7460 
10.56/10.62	v ~x944 ~x3827 ~x10689 ~x7205 ~x4220 ~x10584 ~x444 ~x7462 ~x946 ~x3829 
10.56/10.62	v ~x10691 ~x7207 ~x59 ~x10586 ~x446 ~x7464 ~x948 ~x3831 ~x10693 ~x7209 
10.56/10.62	v ~x4222 ~x10588 ~x448 ~x7466 ~x950 ~x3833 ~x10695 ~x7211 ~x4224 ~x10590 
10.56/10.62	v ~x450 ~x7468 ~x952 ~x3835 ~x10697 ~x7213 ~x4226 ~x10592 ~x452 ~x7470 
10.56/10.62	v ~x954 ~x3837 ~x10699 ~x7215 ~x4228 ~x10594 ~x454 ~x7472 ~x956 ~x3839 
10.56/10.62	v ~x10701 ~x7217 ~x4230 ~x10596 ~x456 ~x7474 ~x958 ~x3841 ~x10703 ~x7219 
10.56/10.62	v ~x4232 ~x10598 ~x458 ~x7476 ~x960 ~x3843 ~x217 ~x7221 ~x4234 ~x10600 
10.56/10.62	v ~x460 ~x7478 ~x962 ~x3845 ~x10705 ~x7223 ~x4236 ~x10602 ~x462 ~x7480 
10.56/10.62	v ~x964 ~x3847 ~x10707 ~x7225 ~x4238 ~x10604 ~x464 ~x7482 ~x966 ~x3849 
10.56/10.62	v ~x10709 ~x7227 ~x4240 ~x10606 ~x466 ~x7484 ~x968 ~x3851 ~x10711 ~x7229 
10.56/10.62	v ~x4242 ~x10608 ~x468 ~x7486 ~x970 ~x3853 ~x10713 ~x7231 ~x4244 ~x10610 
10.56/10.62	v ~x470 ~x7488 ~x972 ~x3855 ~x10715 ~x7233 ~x4246 ~x10612 ~x472 ~x7490 
10.56/10.62	v ~x974 ~x3857 ~x10717 ~x7235 ~x4248 ~x10614 ~x474 ~x7492 ~x976 ~x3859 
10.56/10.62	v ~x10719 ~x7237 ~x4250 ~x10616 ~x476 ~x7494 ~x978 ~x3861 ~x10721 ~x7239 
10.56/10.62	v ~x60 ~x10618 ~x478 ~x7496 ~x980 ~x3863 ~x10723 ~x7241 ~x4252 ~x10620 
10.56/10.62	v ~x480 ~x7498 ~x982 ~x3865 ~x10725 ~x7243 ~x4254 ~x10622 ~x482 ~x7500 
10.56/10.62	v ~x984 ~x3867 ~x10727 ~x7245 ~x4256 ~x10624 ~x484 ~x7502 ~x986 ~x3869 
10.56/10.62	v ~x10729 ~x7247 ~x4258 ~x10626 ~x486 ~x7504 ~x988 ~x3871 ~x10731 ~x7249 
10.56/10.62	v ~x4260 ~x10628 ~x488 ~x7506 ~x990 ~x3873 ~x10733 ~x7251 ~x4262 ~x10630 
10.56/10.62	v ~x490 ~x7508 ~x992 ~x3875 ~x10735 ~x7253 ~x4264 ~x10632 ~x492 ~x7510 
10.56/10.62	v ~x994 ~x3877 ~x10737 ~x7255 ~x4266 ~x10634 ~x494 ~x7512 ~x996 ~x3879 
10.56/10.62	v ~x10739 ~x7257 ~x4268 ~x10636 ~x496 ~x7514 ~x998 ~x3881 ~x10741 ~x7259 
10.56/10.62	v ~x4270 ~x10638 ~x498 ~x7516 ~x1000 ~x3883 ~x10743 ~x7261 ~x4272 ~x10640 
10.56/10.62	v ~x500 ~x7518 ~x1002 ~x3885 ~x10745 ~x7263 ~x4274 ~x10642 ~x502 ~x7520 
10.56/10.62	v ~x1004 ~x3887 ~x10747 ~x7265 ~x4276 ~x10644 ~x504 ~x7522 ~x1006 ~x3889 
10.56/10.62	v ~x10749 ~x7267 ~x4278 ~x10646 ~x506 ~x7524 ~x1008 ~x3891 ~x10751 ~x7269 
10.56/10.62	v ~x4280 ~x10648 ~x508 ~x7526 ~x1010 ~x3893 ~x10753 ~x7271 ~x61 ~x10650 
10.56/10.62	v ~x510 ~x7528 ~x1012 ~x3895 ~x10755 ~x7273 ~x4282 ~x10652 ~x512 ~x7530 
10.56/10.62	v ~x5 ~x3897 ~x10757 ~x7275 ~x4284 ~x10654 ~x514 ~x7532 ~x1014 ~x3899 
10.56/10.62	v ~x10759 ~x7277 ~x4286 ~x10656 ~x516 ~x7534 ~x1016 ~x3901 ~x10761 ~x7279 
10.56/10.62	v ~x4288 ~x10658 ~x518 ~x135 ~x1018 ~x3903 ~x10763 ~x7281 ~x4290 ~x10660 
10.56/10.62	v ~x520 ~x7536 ~x1020 ~x3905 ~x10765 ~x7283 ~x4292 ~x10662 ~x522 ~x7538 
10.56/10.62	v ~x1022 ~x3907 ~x10767 ~x7285 ~x4294 ~x10664 ~x524 ~x7540 ~x1024 ~x3909 
10.56/10.62	v ~x10769 ~x7287 ~x62 ~x10666 ~x526 ~x7542 ~x1026 ~x3911 ~x10771 ~x7289 
10.56/10.62	v ~x4296 ~x10668 ~x528 ~x7544 ~x1028 ~x3913 ~x10773 ~x7291 ~x4298 ~x10670 
10.56/10.62	v ~x530 ~x7546 ~x1030 ~x3915 ~x10775 ~x7293 ~x4300 ~x10672 ~x532 ~x7548 
10.56/10.62	v ~x1032 ~x3917 ~x10777 ~x7295 ~x4302 ~x10674 ~x534 ~x7550 ~x1034 ~x3919 
10.56/10.62	v ~x10779 ~x7297 ~x4304 ~x10676 ~x536 ~x7552 ~x1036 ~x3921 ~x10781 ~x7299 
10.56/10.62	v ~x4306 ~x10678 ~x538 ~x7554 ~x1038 ~x3923 ~x10783 ~x7301 ~x4308 ~x10680 
10.56/10.62	v ~x540 ~x7556 ~x1040 ~x3925 ~x10785 ~x7303 ~x4310 ~x10682 ~x542 ~x7558 
10.56/10.62	v ~x1042 ~x3927 ~x10787 ~x7305 ~x4312 ~x10684 ~x544 ~x7560 ~x1044 ~x3929 
10.56/10.62	v x10789 ~x7307 ~x4314 ~x10686 ~x546 ~x7562 ~x1046 ~x3931 ~x10791 ~x7309 
10.56/10.62	v ~x4316 ~x10688 ~x548 ~x7564 ~x1048 ~x3933 ~x10793 ~x7311 ~x4318 ~x10690 
10.56/10.62	v ~x550 ~x7566 ~x1050 ~x3935 ~x10795 ~x7313 ~x4320 ~x10692 ~x552 ~x7568 
10.56/10.62	v ~x1052 ~x3937 ~x10797 ~x7315 ~x4322 ~x10694 ~x554 ~x7570 ~x1054 ~x3939 
10.56/10.62	v ~x10799 ~x7317 ~x4324 ~x10696 ~x556 ~x7572 ~x1056 ~x3941 ~x10801 ~x7319 
10.56/10.62	v ~x4326 ~x10698 ~x558 ~x7574 ~x1058 ~x3943 ~x10803 ~x7321 ~x4328 ~x10700 
10.56/10.62	v ~x560 ~x7576 ~x1060 ~x3945 ~x10805 ~x7323 ~x4330 ~x10702 ~x562 ~x7578 
10.56/10.62	v ~x1062 ~x3947 ~x10807 ~x7325 ~x4332 ~x10704 ~x564 ~x7580 ~x1064 ~x3949 
10.56/10.62	v ~x10809 ~x7327 ~x4334 ~x10706 ~x566 ~x7582 ~x1066 ~x3951 ~x10811 ~x7329 
10.56/10.62	v ~x4336 ~x10708 ~x568 ~x7584 ~x1068 ~x3953 ~x10813 ~x7331 ~x4338 ~x10710 
10.56/10.62	v ~x570 ~x7586 ~x1070 ~x3955 ~x10815 ~x7333 ~x4340 ~x10712 ~x572 ~x7588 
10.56/10.62	v ~x1072 ~x3957 ~x10817 ~x7335 ~x4342 ~x10714 ~x574 ~x7590 ~x1074 ~x3959 
10.56/10.62	v ~x10819 ~x7337 ~x4344 ~x10716 ~x576 ~x7592 ~x6 ~x3961 ~x10821 ~x7339 
10.56/10.62	v ~x4346 ~x10718 ~x578 ~x7594 ~x1076 ~x3963 ~x10823 ~x7341 ~x4348 ~x10720 
10.56/10.62	v ~x580 ~x7596 ~x1078 ~x3965 ~x10825 ~x7343 ~x4350 ~x10722 ~x582 ~x136 
10.56/10.62	v ~x1080 ~x3967 ~x10827 ~x7345 ~x4352 ~x10724 ~x584 ~x7598 ~x1082 ~x3969 
10.56/10.62	v ~x10829 ~x7347 ~x4354 ~x10726 ~x586 ~x7600 ~x1084 ~x3971 ~x10831 ~x7349 
10.56/10.62	v ~x4356 ~x10728 ~x588 ~x7602 ~x1086 ~x3973 ~x10833 ~x7351 ~x63 ~x10730 
10.56/10.62	v ~x590 ~x7604 ~x1088 ~x3975 ~x10835 ~x7353 ~x4358 ~x10732 ~x592 ~x7606 
10.56/10.62	v ~x1090 ~x3977 ~x10837 ~x7355 ~x4360 ~x10734 ~x594 ~x7608 ~x1092 ~x3979 
10.56/10.62	v ~x10839 ~x7357 ~x4362 ~x10736 ~x596 ~x7610 ~x1094 ~x3981 ~x10841 ~x7359 
10.56/10.62	v ~x4364 ~x10738 ~x598 ~x7612 ~x1096 ~x3983 ~x10843 ~x7361 ~x4366 ~x10740 
10.56/10.62	v ~x600 ~x7614 ~x1098 ~x3985 ~x10845 ~x7363 ~x4368 ~x10742 ~x602 ~x7616 
10.56/10.62	v ~x1100 ~x3987 ~x10847 ~x7365 ~x4370 ~x10744 ~x604 ~x7618 ~x1102 ~x3989 
10.56/10.62	v x10849 ~x7367 ~x4372 ~x10746 ~x606 ~x7620 ~x1104 ~x3991 ~x10851 ~x7369 
10.56/10.62	v ~x4374 ~x10748 ~x608 ~x7622 ~x1106 ~x3993 ~x10853 ~x7371 ~x4376 ~x10750 
10.56/10.62	v ~x610 ~x7624 ~x1108 ~x3995 ~x10855 ~x7373 ~x4378 ~x10752 ~x612 ~x7626 
10.56/10.62	v ~x1110 ~x3997 ~x218 ~x7375 ~x4380 ~x10754 ~x614 ~x7628 ~x1112 ~x3999 
10.56/10.62	v ~x10857 ~x7377 ~x4382 ~x10756 ~x616 ~x7630 ~x1114 ~x4001 ~x10859 ~x7379 
10.56/10.62	v ~x4384 ~x10758 ~x618 ~x7632 ~x1116 ~x4003 ~x10861 ~x7381 ~x4386 ~x10760 
10.56/10.62	v ~x620 ~x7634 ~x1118 ~x4005 ~x10863 ~x7383 ~x64 ~x10762 ~x622 ~x7636 
10.56/10.62	v ~x1120 ~x4007 ~x10865 ~x7385 ~x4388 ~x10764 ~x624 ~x7638 ~x1122 ~x4009 
10.56/10.62	v ~x10867 ~x7387 ~x4390 ~x10766 ~x626 ~x7640 ~x1124 ~x4011 ~x10869 ~x7389 
10.56/10.62	v ~x4392 ~x10768 ~x628 ~x7642 ~x1126 ~x4013 ~x10871 ~x7391 ~x4394 ~x10770 
10.56/10.62	v ~x630 ~x7644 ~x1128 ~x4015 ~x10873 ~x7393 ~x4396 ~x10772 ~x632 ~x7646 
10.56/10.62	v ~x1130 ~x4017 ~x10875 ~x7395 ~x4398 ~x10774 ~x634 ~x7648 ~x1132 ~x4019 
10.56/10.62	v ~x10877 ~x7397 ~x4400 ~x10776 ~x636 ~x7650 ~x1134 ~x4021 ~x10879 ~x7399 
10.56/10.62	v ~x4402 ~x10778 ~x638 ~x7652 ~x1136 ~x4023 ~x10881 ~x7401 ~x4404 ~x10780 
10.56/10.62	v ~x640 ~x7654 ~x7 ~x4025 ~x10883 ~x7403 ~x4406 ~x10782 ~x642 ~x7656 
10.56/10.62	v ~x1138 ~x4027 ~x10885 ~x7405 ~x4408 ~x10784 ~x644 ~x7658 ~x1140 ~x4029 
10.56/10.62	v ~x219 ~x7407 ~x4410 ~x10786 ~x646 ~x137 ~x1142 ~x4031 ~x10887 ~x7409 
10.56/10.62	v ~x4412 ~x10788 ~x648 ~x7660 ~x1144 ~x4033 ~x10889 ~x7411 ~x4414 x10790 
10.56/10.62	v ~x650 ~x7662 ~x1146 ~x4035 ~x10891 ~x7413 ~x4416 ~x10792 ~x652 ~x7664 
10.56/10.62	v ~x1148 ~x4037 ~x10893 ~x7415 ~x65 ~x10794 ~x654 ~x7666 ~x1150 ~x4039 
10.56/10.62	v ~x10895 ~x7417 ~x4418 ~x10796 ~x656 ~x7668 ~x1152 ~x4041 ~x10897 ~x7419 
10.56/10.62	v ~x4420 ~x10798 ~x658 ~x7670 ~x1154 ~x4043 ~x10899 ~x7421 ~x4422 ~x10800 
10.56/10.62	v ~x660 ~x7672 ~x1156 ~x4045 ~x10901 ~x7423 ~x4424 ~x10802 ~x662 ~x7674 
10.56/10.62	v ~x1158 ~x4047 ~x10903 ~x7425 ~x4426 ~x10804 ~x664 ~x7676 ~x1160 ~x4049 
10.56/10.62	v ~x10905 ~x7427 ~x4428 ~x10806 ~x666 ~x7678 ~x1162 ~x4051 ~x10907 ~x7429 
10.56/10.62	v ~x4430 ~x10808 ~x668 ~x7680 ~x1164 ~x4053 ~x10909 ~x7431 ~x66 ~x10810 
10.56/10.62	v ~x670 ~x7682 ~x1166 ~x4055 ~x10911 ~x7433 ~x4432 ~x10812 ~x672 ~x7684 
10.56/10.62	v ~x8 ~x4057 ~x10913 ~x7435 ~x4434 ~x10814 ~x674 ~x7686 ~x1168 ~x4059 
10.56/10.62	v ~x10915 ~x7437 ~x4436 ~x10816 ~x676 ~x7688 ~x1170 ~x4061 ~x220 ~x7439 
10.56/10.62	v ~x4438 ~x10818 ~x678 ~x138 ~x1172 ~x4063 ~x10917 ~x7441 ~x4440 ~x10820 
10.56/10.62	v ~x680 ~x7690 ~x1174 ~x4065 ~x10919 ~x7443 ~x4442 ~x10822 ~x682 ~x7692 
10.56/10.62	v ~x1176 ~x4067 ~x10921 ~x7445 ~x4444 ~x10824 ~x684 ~x7694 ~x1178 ~x4069 
10.56/10.62	v ~x10923 ~x7447 ~x4446 ~x10826 ~x686 ~x7696 ~x1180 ~x4071 ~x10925 ~x7449 
10.56/10.62	v ~x4448 ~x10828 ~x688 ~x7698 ~x1182 ~x4073 ~x10927 ~x7451 ~x4450 ~x10830 
10.56/10.62	v ~x690 ~x7700 ~x1184 ~x4075 ~x10929 ~x7453 ~x4452 ~x10832 ~x692 ~x7702 
10.56/10.62	v ~x1186 ~x4077 ~x221 ~x7455 ~x4454 ~x10834 ~x694 ~x7704 ~x1188 ~x4079 
10.56/10.62	v ~x10931 ~x7457 ~x4456 ~x10836 ~x696 ~x7706 ~x1190 ~x4081 ~x10933 ~x7459 
10.56/10.62	v ~x4458 ~x10838 ~x698 ~x7708 ~x1192 ~x4083 ~x10935 ~x7461 ~x4460 ~x10840 
10.56/10.62	v ~x700 ~x7710 ~x1194 ~x4085 ~x10937 ~x7463 ~x67 ~x10842 ~x702 ~x7712 
10.56/10.62	v ~x1196 ~x4087 ~x10939 ~x7465 ~x4462 ~x10844 ~x704 ~x7714 ~x1198 ~x4089 
10.56/10.62	v ~x10941 ~x7467 ~x4464 ~x10846 ~x706 ~x7717 ~x1200 ~x4091 ~x10943 ~x7469 
10.56/10.62	v ~x4466 ~x10848 ~x708 ~x7719 ~x1202 ~x4093 ~x10945 ~x7471 ~x4468 x10850 
10.56/10.62	v ~x710 ~x7721 ~x1204 ~x4095 ~x10947 ~x7473 ~x4470 ~x10852 ~x712 ~x7723 
10.56/10.62	v ~x1206 ~x4097 ~x10949 ~x7475 ~x4472 ~x10854 ~x714 ~x7725 ~x1208 ~x4099 
10.56/10.62	v ~x10951 ~x7477 ~x4474 ~x10856 ~x716 ~x7727 ~x1210 ~x4101 ~x10953 ~x7479 
10.56/10.62	v ~x68 ~x10858 ~x718 ~x7729 ~x1212 ~x4103 ~x10955 ~x7481 ~x4476 ~x10860 
10.56/10.62	v ~x720 ~x7731 ~x1214 ~x4105 ~x10957 ~x7483 ~x4478 ~x10862 ~x722 ~x7733 
10.56/10.62	v ~x1216 ~x4107 ~x10959 ~x7485 ~x4480 ~x10864 ~x724 ~x7735 ~x1218 ~x4109 
10.56/10.62	v ~x10961 ~x7487 ~x4482 ~x10866 ~x726 ~x7737 ~x1220 ~x4111 ~x10963 ~x7489 
10.56/10.62	v ~x4484 ~x10868 ~x728 ~x7739 ~x1222 ~x4113 ~x10965 ~x7491 ~x4486 ~x10870 
10.56/10.62	v ~x730 ~x7741 ~x1224 ~x4115 ~x10967 ~x7493 ~x4488 ~x10872 ~x732 ~x7743 
10.56/10.62	v ~x1226 ~x4117 ~x10969 ~x7495 ~x69 ~x10874 ~x734 ~x7745 ~x1228 ~x4119 
10.56/10.62	v ~x10971 ~x7497 ~x4490 ~x10876 ~x736 ~x7747 ~x1230 ~x4121 ~x10973 ~x7499 
10.56/10.62	v ~x4492 ~x10878 ~x738 ~x7749 ~x1232 ~x4123 ~x10975 ~x7501 ~x4494 ~x10880 
10.56/10.62	v ~x740 ~x7751 ~x1234 ~x4125 ~x10977 ~x7503 ~x4496 ~x10882 ~x742 ~x7753 
10.56/10.62	v ~x1236 ~x4127 ~x10979 ~x7505 ~x4498 ~x10884 ~x744 ~x7755 ~x1238 ~x4129 
10.56/10.62	v ~x10981 ~x7507 ~x4500 ~x10886 ~x746 ~x7757 ~x1240 ~x4131 ~x10983 ~x7509 
10.56/10.62	v ~x4502 ~x10888 ~x748 ~x7759 ~x1242 ~x4133 ~x10985 ~x7511 ~x4504 ~x10890 
10.56/10.62	v ~x750 ~x7761 ~x1244 ~x4135 ~x10987 ~x7513 ~x4506 ~x10892 ~x752 ~x7763 
10.56/10.62	v ~x1246 ~x4137 ~x10989 ~x7515 ~x4508 ~x10894 ~x754 ~x7765 ~x1248 ~x4139 
10.56/10.62	v ~x10991 ~x7517 ~x4510 ~x10896 ~x756 ~x7767 ~x1250 ~x4141 ~x222 ~x7519 
10.56/10.62	v ~x4512 ~x10898 ~x758 ~x7769 ~x1252 ~x4143 ~x10993 ~x7521 ~x4514 ~x10900 
10.56/10.62	v ~x760 ~x7771 ~x1254 ~x4145 ~x10995 ~x7523 ~x4516 ~x10902 ~x762 ~x7773 
10.56/10.62	v ~x1256 ~x4147 ~x10997 ~x7525 ~x4518 ~x10904 ~x764 ~x7775 ~x1258 ~x4149 
10.56/10.62	v ~x10999 ~x7527 ~x4520 ~x10906 ~x766 ~x7777 ~x1260 ~x4151 ~x11001 ~x7529 
10.56/10.62	v ~x4522 ~x10908 ~x768 ~x7779 ~x1262 ~x4153 ~x11003 ~x7531 ~x4524 ~x10910 
10.56/10.62	v ~x770 ~x7781 ~x1264 ~x4155 ~x11005 ~x7533 ~x4526 ~x10912 ~x772 ~x7783 
10.56/10.62	v ~x1266 ~x4157 ~x11007 ~x7535 ~x4528 ~x10914 ~x774 ~x7785 ~x1268 ~x4159 
10.56/10.62	v ~x11009 ~x7537 ~x4530 ~x10916 ~x776 ~x7787 ~x1270 ~x4161 ~x11011 ~x7539 
10.56/10.62	v ~x4532 ~x10918 ~x778 ~x7789 ~x1272 ~x4163 ~x11013 ~x7541 ~x4534 ~x10920 
10.56/10.62	v ~x780 ~x7791 ~x1274 ~x4165 ~x11015 ~x7543 ~x4536 ~x10922 ~x782 ~x7793 
10.56/10.62	v ~x1276 ~x4167 ~x11017 ~x7545 ~x4538 ~x10924 ~x784 ~x7795 ~x1278 ~x4169 
10.56/10.62	v ~x11019 ~x7547 ~x4540 ~x10926 ~x786 ~x7797 ~x1280 ~x4171 ~x11021 ~x7549 
10.56/10.62	v ~x4542 ~x10928 ~x788 ~x7799 ~x1282 ~x4173 ~x11023 ~x7551 ~x4544 ~x10930 
10.56/10.62	v ~x790 ~x7801 ~x1284 ~x4175 ~x11025 ~x7553 ~x4546 ~x10932 ~x792 ~x7803 
10.56/10.62	v ~x1286 ~x4177 ~x11027 ~x7555 ~x4548 ~x10934 ~x794 ~x7805 ~x1288 ~x4179 
10.56/10.62	v ~x11029 ~x7557 ~x4550 ~x10936 ~x796 ~x7807 ~x1290 ~x4181 ~x11031 ~x7559 
10.56/10.62	v ~x4552 ~x10938 ~x798 ~x7809 ~x1292 ~x4183 ~x11033 ~x7561 ~x4554 ~x10940 
10.56/10.62	v ~x800 ~x7811 ~x9 ~x4185 ~x11035 ~x7563 ~x4556 ~x10942 ~x802 ~x7813 
10.56/10.62	v ~x1294 ~x4187 ~x11037 ~x7565 ~x4558 ~x10944 ~x804 ~x139 ~x1296 ~x4189 
10.56/10.62	v ~x11039 ~x7567 ~x4560 ~x10946 ~x806 ~x7815 ~x1298 ~x4191 ~x11041 ~x7569 
10.56/10.62	v ~x4562 ~x10948 ~x808 ~x7817 ~x1300 ~x4193 ~x11043 ~x7571 ~x4564 ~x10950 
10.56/10.62	v ~x810 ~x7819 ~x1302 ~x4195 ~x11045 ~x7573 ~x4566 ~x10952 ~x812 ~x7821 
10.56/10.62	v ~x1304 ~x4197 ~x11047 ~x7575 ~x4568 ~x10954 ~x814 ~x7823 ~x1306 ~x4199 
10.56/10.62	v ~x11049 ~x7577 ~x4570 ~x10956 ~x816 ~x7825 ~x1308 ~x4201 ~x11051 ~x7579 
10.56/10.62	v ~x4572 ~x10958 ~x818 ~x7827 ~x1310 ~x4203 ~x223 ~x7581 ~x4574 ~x10960 
10.56/10.62	v ~x820 ~x7829 ~x1312 ~x4205 ~x11053 ~x7583 ~x4576 ~x10962 ~x822 ~x7831 
10.56/10.62	v ~x1314 ~x4207 ~x11055 ~x7585 ~x4578 ~x10964 ~x824 ~x7833 ~x1316 ~x4209 
10.56/10.62	v ~x11057 ~x7587 ~x4580 ~x10966 ~x826 ~x7835 ~x1318 ~x4211 ~x11059 ~x7589 
10.56/10.62	v ~x4582 ~x10968 ~x828 ~x7837 ~x1320 ~x4213 ~x11061 ~x7591 ~x4584 ~x10970 
10.56/10.62	v ~x830 ~x7839 ~x1322 ~x4215 ~x11063 ~x7593 ~x4586 ~x10972 ~x832 ~x7841 
10.56/10.62	v ~x1324 ~x4217 ~x11065 ~x7595 ~x4588 ~x10974 ~x834 ~x7843 ~x1326 ~x4219 
10.56/10.62	v ~x11067 ~x7597 ~x4590 ~x10976 ~x836 ~x7845 ~x1328 ~x4221 ~x11069 ~x7599 
10.56/10.62	v ~x4592 ~x10978 ~x838 ~x7847 ~x1330 ~x4223 ~x11071 ~x7601 ~x4594 ~x10980 
10.56/10.62	v ~x840 ~x7849 ~x1332 ~x4225 ~x11073 ~x7603 ~x4596 ~x10982 ~x842 ~x7851 
10.56/10.62	v ~x1334 ~x4227 ~x11075 ~x7605 ~x4598 ~x10984 ~x844 ~x7853 ~x1336 ~x4229 
10.56/10.62	v ~x11077 ~x7607 ~x4600 ~x10986 ~x846 ~x7855 ~x1338 ~x4231 ~x11079 ~x7609 
10.56/10.62	v x4602 ~x10988 ~x848 ~x7857 ~x1340 ~x4233 ~x11081 ~x7611 ~x4604 ~x10990 
10.56/10.62	v ~x850 ~x7859 ~x1342 ~x4235 ~x224 ~x7613 ~x4606 ~x10992 ~x852 ~x7861 
10.56/10.62	v ~x1344 ~x4237 ~x11083 ~x7615 ~x4608 ~x10994 ~x854 ~x7863 ~x1346 ~x4239 
10.56/10.62	v ~x11085 ~x7617 ~x4610 ~x10996 ~x856 ~x7865 ~x1348 ~x4241 ~x11087 ~x7619 
10.56/10.62	v ~x4612 ~x10998 ~x858 ~x7867 ~x1350 ~x4243 ~x11089 ~x7621 ~x4614 ~x11000 
10.56/10.62	v ~x860 ~x7869 ~x1352 ~x4245 ~x11091 ~x7623 ~x4616 ~x11002 ~x862 ~x7871 
10.56/10.62	v ~x1354 ~x4247 ~x11093 ~x7625 ~x4618 ~x11004 ~x864 ~x7873 ~x10 ~x4249 
10.56/10.62	v ~x11095 ~x7627 ~x4620 ~x11006 ~x866 ~x7875 ~x1356 ~x4251 ~x11097 ~x7629 
10.56/10.62	v ~x70 ~x11008 ~x868 ~x140 ~x1358 ~x4253 ~x11099 ~x7631 ~x4622 ~x11010 
10.56/10.62	v ~x870 ~x7877 ~x1360 ~x4255 ~x11101 ~x7633 ~x4624 ~x11012 ~x872 ~x7879 
10.56/10.62	v ~x1362 ~x4257 ~x11103 ~x7635 ~x4626 ~x11014 ~x874 ~x7881 ~x1364 ~x4259 
10.56/10.62	v ~x11105 ~x7637 ~x4628 ~x11016 ~x876 ~x7883 ~x1366 ~x4261 ~x11107 ~x7639 
10.56/10.62	v ~x4630 ~x11018 ~x878 ~x7885 ~x1368 ~x4263 ~x11109 ~x7641 ~x4632 ~x11020 
10.56/10.62	v ~x880 ~x7887 ~x1370 ~x4265 ~x11111 ~x7643 ~x4634 ~x11022 ~x882 ~x7889 
10.56/10.62	v ~x1372 ~x4267 ~x11113 ~x7645 ~x4636 ~x11024 ~x884 ~x7891 ~x1374 ~x4269 
10.56/10.62	v ~x11115 ~x7647 ~x4638 ~x11026 ~x886 ~x7893 ~x1376 ~x4271 ~x11117 ~x7649 
10.56/10.62	v ~x4640 ~x11028 ~x888 ~x7895 ~x1378 ~x4273 ~x11119 ~x7651 ~x4642 ~x11030 
10.56/10.62	v ~x890 ~x7897 ~x1380 ~x4275 ~x11121 ~x7653 ~x4644 ~x11032 ~x892 ~x7899 
10.56/10.62	v ~x1382 ~x4277 ~x11123 ~x7655 ~x4646 ~x11034 ~x894 ~x7901 ~x1384 ~x4279 
10.56/10.62	v ~x11125 ~x7657 ~x4648 ~x11036 ~x896 ~x7903 ~x1386 ~x4281 ~x11127 ~x7659 
10.56/10.62	v ~x4650 ~x11038 ~x898 ~x7905 ~x1388 ~x4283 ~x11129 ~x7661 ~x4652 ~x11040 
10.56/10.62	v ~x900 ~x7907 ~x1390 ~x4285 ~x11131 ~x7663 ~x4654 ~x11042 ~x902 ~x7909 
10.56/10.62	v ~x1392 ~x4287 ~x11133 ~x7665 ~x4656 ~x11044 ~x904 ~x7911 ~x1394 ~x4289 
10.56/10.62	v ~x11135 ~x7667 ~x4658 ~x11046 ~x906 ~x7913 ~x1396 ~x4291 ~x11137 ~x7669 
10.56/10.62	v ~x4660 ~x11048 ~x908 ~x7915 ~x1398 ~x4293 ~x11139 ~x7671 ~x4662 ~x11050 
10.56/10.62	v ~x910 ~x7917 ~x1400 ~x4295 ~x11141 ~x7673 ~x4664 ~x11052 ~x912 ~x7919 
10.56/10.62	v ~x1402 ~x4297 ~x11143 ~x7675 ~x4666 ~x11054 ~x914 ~x7921 ~x1404 ~x4299 
10.56/10.62	v x11145 ~x7677 ~x4668 ~x11056 ~x916 ~x7923 ~x1406 ~x4301 ~x11147 ~x7679 
10.56/10.62	v ~x4670 ~x11058 ~x917 ~x7925 ~x1408 ~x4303 ~x11149 ~x7681 ~x4672 ~x11060 
10.56/10.62	v ~x919 ~x7927 ~x1410 ~x4305 ~x11151 ~x7683 ~x4674 ~x11062 ~x921 ~x7929 
10.56/10.62	v ~x1412 ~x4307 ~x11153 ~x7685 ~x4676 ~x11064 ~x923 ~x7931 ~x1414 ~x4309 
10.56/10.62	v ~x11155 ~x7687 ~x4678 ~x11066 ~x925 ~x7933 ~x1416 ~x4311 ~x11157 ~x7689 
10.56/10.62	v ~x4680 ~x11068 ~x927 ~x7935 ~x11 ~x4313 ~x11159 ~x7691 ~x4682 ~x11070 
10.56/10.62	v ~x929 ~x7937 ~x1418 ~x4315 ~x11161 ~x7693 ~x71 ~x11072 ~x931 ~x141 
10.56/10.62	v ~x1420 ~x4317 ~x11163 ~x7695 ~x4684 ~x11074 ~x933 ~x7939 ~x1422 ~x4319 
10.56/10.62	v ~x11165 ~x7697 ~x4686 ~x11076 ~x935 ~x7941 ~x1424 ~x4321 ~x11167 ~x7699 
10.56/10.62	v ~x4688 ~x11078 ~x937 ~x7943 ~x1426 ~x4323 ~x11169 ~x7701 ~x4690 ~x11080 
10.56/10.62	v ~x939 ~x7945 ~x1428 ~x4325 ~x11171 ~x7703 ~x4692 ~x11082 ~x941 ~x7947 
10.56/10.62	v ~x1430 ~x4327 ~x11173 ~x7705 ~x4694 ~x11084 ~x943 ~x7949 ~x1432 ~x4329 
10.56/10.62	v ~x225 ~x7707 ~x4696 ~x11086 ~x945 ~x7951 ~x1434 ~x4331 ~x11175 ~x7709 
10.56/10.62	v ~x4698 ~x11088 ~x947 ~x7953 ~x1436 ~x4333 ~x11177 ~x7711 ~x4700 ~x11090 
10.56/10.62	v ~x949 ~x7955 ~x1438 ~x4335 ~x11179 ~x7713 ~x4702 ~x11092 ~x951 ~x7957 
10.56/10.62	v ~x1440 ~x4337 ~x11181 ~x7715 ~x4704 ~x11094 ~x953 ~x7959 ~x1442 ~x4339 
10.56/10.62	v ~x11183 ~x7716 ~x4706 ~x11096 ~x955 ~x7961 ~x1444 ~x4341 ~x11185 ~x7718 
10.56/10.62	v ~x4708 ~x11098 ~x957 ~x7963 ~x1446 ~x4343 ~x11187 ~x7720 ~x4710 ~x11100 
10.56/10.62	v ~x959 ~x7965 ~x12 ~x4345 ~x11189 ~x7722 ~x4712 ~x11102 ~x961 ~x7967 
10.56/10.62	v ~x1448 ~x4347 ~x11191 ~x7724 ~x4714 ~x11104 ~x963 ~x142 ~x1450 ~x4349 
10.56/10.62	v ~x11193 ~x7726 ~x4716 ~x11106 ~x965 ~x7969 ~x1452 ~x4351 ~x11195 ~x7728 
10.56/10.62	v ~x4718 ~x11108 ~x967 ~x7971 ~x1454 ~x4353 ~x11197 ~x7730 ~x4720 ~x11110 
10.56/10.62	v ~x969 ~x7973 ~x1456 ~x4355 ~x11199 ~x7732 ~x4722 ~x11112 ~x971 ~x7975 
10.56/10.62	v ~x1458 ~x4357 ~x11202 ~x7734 ~x4724 ~x11114 ~x973 ~x7977 ~x1460 ~x4359 
10.56/10.62	v ~x226 ~x7736 ~x4726 ~x11116 ~x975 ~x7979 ~x1462 ~x4361 ~x11204 ~x7738 
10.56/10.62	v ~x4728 ~x11118 ~x977 ~x7981 ~x1464 ~x4363 ~x11206 ~x7740 ~x4730 ~x11120 
10.56/10.62	v ~x979 ~x7983 ~x1466 ~x4365 ~x11208 ~x7742 ~x4732 ~x11122 ~x981 ~x7985 
10.56/10.62	v ~x1468 ~x4367 ~x11210 ~x7744 ~x4734 ~x11124 ~x983 ~x7987 ~x1470 ~x4369 
10.56/10.62	v ~x11212 ~x7746 ~x4736 ~x11126 ~x985 ~x7989 ~x1472 ~x4371 ~x11214 ~x7748 
10.56/10.62	v ~x4738 ~x11128 ~x987 ~x7991 ~x1474 ~x4373 ~x11216 ~x7750 ~x4740 ~x11130 
10.56/10.62	v ~x989 ~x7993 ~x1476 ~x4375 ~x227 ~x7752 ~x4742 ~x11132 ~x991 ~x7995 
10.56/10.62	v ~x1478 ~x4377 ~x11218 ~x7754 ~x4744 ~x11134 ~x993 ~x7997 ~x1480 ~x4379 
10.56/10.62	v ~x11220 ~x7756 ~x72 ~x11136 ~x995 ~x7999 ~x1482 ~x4381 ~x11222 ~x7758 
10.56/10.62	v ~x4746 ~x11138 ~x997 ~x8001 ~x1484 ~x4383 ~x11224 ~x7760 ~x4748 ~x11140 
10.56/10.62	v ~x999 ~x8003 ~x1486 ~x4385 ~x11226 ~x7762 ~x4750 ~x11142 ~x1001 ~x8005 
10.56/10.62	v ~x1488 ~x4387 ~x11228 ~x7764 ~x4752 ~x11144 ~x1003 ~x8007 ~x1490 ~x4389 
10.56/10.62	v ~x11230 ~x7766 ~x4754 x11146 ~x1005 ~x8009 ~x1492 ~x4391 ~x11232 ~x7768 
10.56/10.62	v ~x4756 ~x11148 ~x1007 ~x8011 ~x1494 ~x4393 ~x11234 ~x7770 ~x4758 ~x11150 
10.56/10.62	v ~x1009 ~x8013 ~x1496 ~x4395 ~x11236 ~x7772 ~x4760 ~x11152 ~x1011 ~x8015 
10.56/10.62	v ~x1498 ~x4397 ~x11238 ~x7774 ~x4762 ~x11154 ~x1013 ~x8017 ~x1500 ~x4399 
10.56/10.62	v ~x11240 ~x7776 ~x4764 ~x11156 ~x1015 ~x8019 ~x1502 ~x4401 ~x11242 ~x7778 
10.56/10.62	v ~x4766 ~x11158 ~x1017 ~x8021 ~x1504 ~x4403 ~x11244 ~x7780 ~x4768 ~x11160 
10.56/10.62	v ~x1019 ~x8023 ~x1506 ~x4405 ~x11246 ~x7782 ~x4770 ~x11162 ~x1021 ~x8025 
10.56/10.62	v ~x1508 ~x4407 ~x228 ~x7784 ~x4772 ~x11164 ~x1023 ~x8027 ~x13 ~x4409 
10.56/10.62	v ~x11248 ~x7786 ~x4774 ~x11166 ~x1025 ~x8029 ~x1510 ~x4411 ~x11250 ~x7788 
10.56/10.62	v ~x73 ~x11168 ~x1027 ~x143 ~x1512 ~x4413 ~x11252 ~x7790 ~x4776 ~x11170 
10.56/10.62	v ~x1029 ~x8031 ~x1514 ~x4415 ~x11254 ~x7792 ~x4778 ~x11172 ~x1031 ~x8033 
10.56/10.62	v ~x1516 ~x4417 ~x11256 ~x7794 ~x4780 ~x11174 ~x1033 ~x8035 ~x1518 ~x4419 
10.56/10.62	v ~x11258 ~x7796 ~x4782 ~x11176 ~x1035 ~x8037 ~x1520 ~x4421 ~x11260 ~x7798 
10.56/10.62	v ~x4784 ~x11178 ~x1037 ~x8039 ~x1522 ~x4423 ~x11262 ~x7800 ~x4786 ~x11180 
10.56/10.62	v ~x1039 ~x8041 ~x1524 ~x4425 ~x11264 ~x7802 ~x4788 ~x11182 ~x1041 ~x8043 
10.56/10.62	v ~x1526 ~x4427 ~x11266 ~x7804 ~x4790 ~x11184 ~x1043 ~x8045 ~x1528 ~x4429 
10.56/10.62	v ~x11268 ~x7806 ~x4792 ~x11186 ~x1045 ~x8047 ~x1530 ~x4431 ~x11270 ~x7808 
10.56/10.62	v ~x4794 ~x11188 ~x1047 ~x8049 ~x1532 ~x4433 ~x11272 ~x7810 ~x4796 ~x11190 
10.56/10.62	v ~x1049 ~x8051 ~x1534 ~x4435 ~x11274 ~x7812 ~x4798 ~x11192 ~x1051 ~x8053 
10.56/10.62	v ~x1536 ~x4437 ~x11276 ~x7814 ~x4800 ~x11194 ~x1053 ~x8055 ~x1538 ~x4439 
10.56/10.62	v ~x229 ~x7816 ~x4802 ~x11196 ~x1055 ~x8057 ~x14 ~x4441 ~x11278 ~x7818 
10.56/10.62	v ~x4804 ~x11198 ~x1057 ~x8059 ~x1540 ~x4443 ~x11280 ~x7820 ~x4806 ~x11200 
10.56/10.62	v ~x1059 ~x144 ~x1542 ~x4445 ~x11282 ~x7822 ~x4808 ~x11201 ~x1061 ~x8061 
10.56/10.62	v ~x1544 ~x4447 ~x11284 ~x7824 ~x4810 ~x11203 ~x1063 ~x8063 ~x1546 ~x4449 
10.56/10.62	v ~x11286 ~x7826 ~x4812 ~x11205 ~x1065 ~x8065 ~x1548 ~x4451 ~x11288 ~x7828 
10.56/10.62	v ~x4814 ~x11207 ~x1067 ~x8067 ~x1550 ~x4453 ~x11290 ~x7830 ~x4816 ~x11209 
10.56/10.62	v ~x1069 ~x8069 ~x1552 ~x4455 ~x11292 ~x7832 ~x4818 ~x11211 ~x1071 ~x8071 
10.56/10.62	v ~x1554 ~x4457 ~x11294 ~x7834 ~x4820 ~x11213 ~x1073 ~x8073 ~x1556 ~x4459 
10.56/10.62	v ~x11296 ~x7836 ~x4822 ~x11215 ~x1075 ~x8075 ~x1558 ~x4461 ~x11298 ~x7838 
10.56/10.62	v ~x4824 ~x11217 ~x1077 ~x8077 ~x1560 ~x4463 ~x11300 ~x7840 ~x4826 ~x11219 
10.56/10.62	v ~x1079 ~x8079 ~x1562 ~x4465 ~x11302 ~x7842 ~x4828 ~x11221 ~x1081 ~x8081 
10.56/10.62	v ~x1564 ~x4467 ~x11304 ~x7844 ~x4830 ~x11223 ~x1083 ~x8083 ~x1566 ~x4469 
10.56/10.62	v ~x11306 ~x7846 ~x4832 ~x11225 ~x1085 ~x8085 ~x1568 ~x4471 x11308 ~x7848 
10.56/10.62	v ~x4834 ~x11227 ~x1087 ~x8087 ~x15 ~x4473 ~x11310 ~x7850 ~x4836 ~x11229 
10.56/10.62	v ~x1089 ~x8089 ~x1570 ~x4475 ~x11312 ~x7852 ~x74 ~x11231 ~x1091 ~x145 
10.56/10.62	v ~x1572 ~x4477 ~x11314 ~x7854 ~x4838 ~x11233 ~x1093 ~x8091 ~x1574 ~x4479 
10.56/10.62	v ~x11316 ~x7856 ~x4840 ~x11235 ~x1095 ~x8093 ~x1576 ~x4481 ~x11318 ~x7858 
10.56/10.62	v ~x4842 ~x11237 ~x1097 ~x8095 ~x1578 ~x4483 ~x11320 ~x7860 ~x4844 ~x11239 
10.56/10.62	v ~x1099 ~x8097 ~x1580 ~x4485 ~x230 ~x7862 ~x4846 ~x11241 ~x1101 ~x8099 
10.56/10.62	v ~x1582 ~x4487 ~x11322 ~x7864 ~x4848 ~x11243 ~x1103 ~x8101 ~x16 ~x4489 
10.56/10.62	v ~x11324 ~x7866 ~x4850 ~x11245 ~x1105 ~x8103 ~x1584 ~x4491 ~x11326 ~x7868 
10.56/10.62	v ~x4852 ~x11247 ~x1107 ~x146 ~x1586 ~x4493 ~x11328 ~x7870 ~x4854 ~x11249 
10.56/10.62	v ~x1109 ~x8105 ~x1588 ~x4495 ~x11330 ~x7872 ~x4856 ~x11251 ~x1111 ~x8107 
10.56/10.62	v ~x1590 ~x4497 ~x11332 ~x7874 ~x4859 ~x11253 ~x1113 ~x8109 ~x1592 ~x4499 
10.56/10.62	v ~x11334 ~x7876 ~x4861 ~x11255 ~x1115 ~x8111 ~x1594 ~x4501 ~x231 ~x7878 
10.56/10.62	v ~x4863 ~x11257 ~x1117 ~x8113 ~x1596 ~x4503 ~x11336 ~x7880 ~x4865 ~x11259 
10.56/10.62	v ~x1119 ~x8115 ~x1598 ~x4505 ~x11338 ~x7882 ~x75 ~x11261 ~x1121 ~x8117 
10.56/10.62	v ~x1600 ~x4507 ~x11340 ~x7884 ~x4867 ~x11263 ~x1123 ~x8119 ~x1602 ~x4509 
10.56/10.62	v ~x11342 ~x7886 ~x4869 ~x11265 ~x1125 ~x8121 ~x1604 ~x4511 ~x11344 ~x7888 
10.56/10.62	v ~x4871 ~x11267 ~x1127 ~x8123 ~x1606 ~x4513 ~x11346 ~x7890 ~x4873 ~x11269 
10.56/10.62	v ~x1129 ~x8125 ~x1608 ~x4515 ~x11348 ~x7892 ~x4875 ~x11271 ~x1131 ~x8127 
10.56/10.62	v ~x1610 ~x4517 ~x232 ~x7894 ~x4877 ~x11273 ~x1133 ~x8129 ~x1612 ~x4519 
10.56/10.62	v ~x11350 ~x7896 ~x4879 ~x11275 ~x1135 ~x8131 ~x1614 ~x4521 ~x11352 ~x7898 
10.56/10.62	v ~x4881 ~x11277 ~x1137 ~x8133 ~x1616 ~x4523 ~x11354 ~x7900 ~x4883 ~x11279 
10.56/10.62	v ~x1139 ~x8135 ~x1618 ~x4525 ~x233 ~x7902 ~x4885 ~x11281 ~x1141 ~x8137 
10.56/10.62	v ~x1620 ~x4527 ~x11356 ~x7904 ~x4887 ~x11283 ~x1143 ~x8139 ~x1622 ~x4529 
10.56/10.62	v ~x11358 ~x7906 ~x4889 ~x11285 ~x1145 ~x8141 ~x1624 ~x4531 ~x11360 ~x7908 
10.56/10.62	v ~x4891 ~x11287 ~x1147 ~x8143 ~x1626 ~x4533 ~x11362 ~x7910 ~x4893 ~x11289 
10.56/10.62	v ~x1149 ~x8145 ~x1628 ~x4535 ~x11364 ~x7912 ~x4895 ~x11291 ~x1151 ~x8147 
10.56/10.62	v ~x1630 ~x4537 ~x11366 ~x7914 ~x76 ~x11293 ~x1153 ~x8149 ~x1632 ~x4539 
10.56/10.62	v ~x11368 ~x7916 ~x4897 ~x11295 ~x1155 ~x8151 ~x1634 ~x4541 ~x11370 ~x7918 
10.56/10.62	v ~x4899 ~x11297 ~x1157 ~x8153 ~x1636 ~x4543 ~x11372 ~x7920 ~x4901 ~x11299 
10.56/10.62	v ~x1159 ~x8155 ~x1638 ~x4545 ~x11374 ~x7922 ~x4903 ~x11301 ~x1161 ~x8157 
10.56/10.62	v ~x1640 ~x4547 ~x11376 ~x7924 ~x4905 ~x11303 ~x1163 ~x8159 ~x1642 ~x4549 
10.56/10.62	v ~x11378 ~x7926 ~x4907 ~x11305 ~x1165 ~x8161 ~x1644 ~x4551 ~x11380 ~x7928 
10.56/10.62	v ~x4909 ~x11307 ~x1167 ~x8163 ~x1646 ~x4553 ~x11382 ~x7930 ~x77 x11309 
10.56/10.62	v ~x1169 ~x8165 ~x1648 ~x4555 ~x11384 ~x7932 ~x4911 ~x11311 ~x1171 ~x147 
10.56/10.62	v ~x1650 ~x4557 ~x11386 ~x7934 ~x4913 ~x11313 ~x1173 ~x8167 ~x1652 ~x4559 
10.56/10.62	v ~x11388 ~x7936 ~x4915 ~x11315 ~x1175 ~x8170 ~x1654 ~x4561 ~x11390 ~x7938 
10.56/10.62	v ~x4917 ~x11317 ~x1177 ~x8172 ~x1656 ~x4563 ~x11392 ~x7940 ~x4919 ~x11319 
10.56/10.62	v ~x1179 ~x8174 ~x1658 ~x4565 ~x11394 ~x7942 ~x4921 ~x11321 ~x1181 ~x8176 
10.56/10.62	v ~x1660 ~x4567 ~x11396 ~x7944 ~x4923 ~x11323 ~x1183 ~x8178 ~x1662 ~x4569 
10.56/10.62	v ~x11398 ~x7946 ~x4925 ~x11325 ~x1185 ~x8180 ~x1664 ~x4571 ~x11400 ~x7948 
10.56/10.62	v ~x4927 ~x11327 ~x1187 ~x8182 ~x1666 ~x4573 ~x11402 ~x7950 ~x4929 ~x11329 
10.56/10.62	v ~x1189 ~x8184 ~x1668 ~x4575 ~x11404 ~x7952 ~x4931 ~x11331 ~x1191 ~x8186 
10.56/10.62	v ~x1670 ~x4577 ~x11406 ~x7954 ~x4933 ~x11333 ~x1193 ~x8188 ~x1672 ~x4579 
10.56/10.62	v ~x11408 ~x7956 ~x4935 ~x11335 ~x1195 ~x8190 ~x1674 ~x4581 ~x11410 ~x7958 
10.56/10.62	v ~x4937 ~x11337 ~x1197 ~x8192 ~x1676 ~x4583 ~x11412 ~x7960 ~x4939 ~x11339 
10.56/10.62	v ~x1199 ~x8194 ~x1678 ~x4585 ~x11414 ~x7962 ~x4941 ~x11341 ~x1201 ~x148 
10.56/10.62	v ~x1680 ~x4587 ~x234 ~x7964 ~x4943 ~x11343 ~x1203 ~x8196 ~x1682 ~x4589 
10.56/10.62	v ~x11416 ~x7966 ~x4945 ~x11345 ~x1205 ~x8198 ~x1684 ~x4591 ~x11418 ~x7968 
10.56/10.62	v ~x4947 ~x11347 ~x1207 ~x8200 ~x1686 ~x4593 ~x11420 ~x7970 ~x4949 ~x11349 
10.56/10.62	v ~x1209 ~x8202 ~x1688 ~x4595 ~x11422 ~x7972 ~x4951 ~x11351 ~x1211 ~x8204 
10.56/10.62	v ~x1690 ~x4597 ~x11424 ~x7974 ~x4953 ~x11353 ~x1213 ~x8206 ~x1692 ~x4599 
10.56/10.62	v ~x11426 ~x7976 ~x4955 ~x11355 ~x1215 ~x8208 ~x1694 ~x4601 ~x11428 ~x7978 
10.56/10.62	v ~x4957 ~x11357 ~x1217 ~x8210 ~x1696 x4603 ~x11430 ~x7980 ~x4959 ~x11359 
10.56/10.62	v ~x1219 ~x8212 ~x1698 ~x4605 ~x11432 ~x7982 ~x4961 ~x11361 ~x1221 ~x8214 
10.56/10.62	v ~x1700 ~x4607 ~x11434 ~x7984 ~x4963 ~x11363 ~x1223 ~x8216 ~x1702 ~x4609 
10.56/10.62	v ~x11436 ~x7986 ~x4965 ~x11365 ~x1225 ~x8218 ~x1704 ~x4611 ~x11438 ~x7988 
10.56/10.62	v ~x4967 ~x11367 ~x1227 ~x8220 ~x1706 ~x4613 ~x11440 ~x7990 ~x4969 ~x11369 
10.56/10.62	v ~x1229 ~x8222 ~x1708 ~x4615 ~x11442 ~x7992 ~x4971 ~x11371 ~x1231 ~x8224 
10.56/10.62	v ~x17 ~x4617 ~x11444 ~x7994 ~x4973 ~x11373 ~x1233 ~x149 ~x1710 ~x4619 
10.56/10.62	v ~x11446 ~x7996 ~x4975 ~x11375 ~x1235 ~x8226 ~x1712 ~x4621 ~x11448 ~x7998 
10.56/10.62	v ~x4977 ~x11377 ~x1237 ~x8228 ~x1714 ~x4623 ~x11450 ~x8000 ~x4979 ~x11379 
10.56/10.62	v ~x1239 ~x8230 ~x1716 ~x4625 ~x11452 ~x8002 ~x4981 ~x11381 ~x1241 ~x8232 
10.56/10.62	v ~x1718 ~x4627 ~x11454 ~x8004 ~x4983 ~x11383 ~x1243 ~x8234 ~x1720 ~x4629 
10.56/10.62	v ~x11456 ~x8006 ~x4985 ~x11385 ~x1245 ~x8236 ~x1722 ~x4631 ~x11458 ~x8008 
10.56/10.62	v ~x4987 ~x11387 ~x1247 ~x8238 ~x1724 ~x4633 ~x11460 ~x8010 ~x4989 ~x11389 
10.56/10.62	v ~x1249 ~x150 ~x1726 ~x4635 ~x11462 ~x8012 ~x4991 ~x11391 ~x1251 ~x8240 
10.56/10.62	v ~x1728 ~x4637 ~x11464 ~x8014 ~x4993 ~x11393 ~x1253 ~x8242 ~x1730 ~x4639 
10.56/10.62	v ~x11466 ~x8016 ~x4995 ~x11395 ~x1255 ~x8244 ~x1732 ~x4641 ~x11468 ~x8018 
10.56/10.62	v ~x4997 ~x11397 ~x1257 ~x8246 ~x1734 ~x4643 ~x11470 ~x8020 ~x4999 ~x11399 
10.56/10.62	v ~x1259 ~x8248 ~x1736 ~x4645 ~x11472 ~x8022 ~x5001 ~x11401 ~x1261 ~x8250 
10.56/10.62	v ~x1738 ~x4647 ~x11474 ~x8024 ~x5003 ~x11403 ~x1263 ~x8252 ~x1740 ~x4649 
10.56/10.62	v ~x11476 ~x8026 ~x5005 ~x11405 ~x1265 ~x8254 ~x1742 ~x4651 ~x11478 ~x8028 
10.56/10.62	v ~x5007 ~x11407 ~x1267 ~x8256 ~x1744 ~x4653 ~x11480 ~x8030 ~x5009 ~x11409 
10.56/10.62	v ~x1269 ~x8258 ~x1746 ~x4655 ~x11482 ~x8032 ~x5011 ~x11411 ~x1271 ~x8260 
10.56/10.62	v ~x1748 ~x4657 ~x11484 ~x8034 ~x5013 ~x11413 ~x1273 ~x8262 ~x1750 ~x4659 
10.56/10.62	v ~x11486 ~x8036 ~x5015 ~x11415 ~x1275 ~x8264 ~x1752 ~x4661 ~x11488 ~x8038 
10.56/10.62	v ~x5017 ~x11417 ~x1277 ~x8266 ~x1754 ~x4663 ~x11490 ~x8040 ~x5019 ~x11419 
10.56/10.62	v ~x1279 ~x8268 ~x1756 ~x4665 ~x11492 ~x8042 ~x5021 ~x11421 ~x1281 ~x8270 
10.56/10.62	v ~x1758 ~x4667 ~x11494 ~x8044 ~x5023 ~x11423 ~x1283 ~x8272 ~x1760 ~x4669 
10.56/10.62	v ~x11496 ~x8046 ~x5025 ~x11425 ~x1285 ~x8274 ~x1762 ~x4671 x11498 ~x8048 
10.56/10.62	v ~x5027 ~x11427 ~x1287 ~x8276 ~x1764 ~x4673 ~x11500 ~x8050 ~x5029 ~x11429 
10.56/10.62	v ~x1289 ~x8278 ~x1766 ~x4675 ~x11502 ~x8052 ~x5031 ~x11431 ~x1291 ~x8280 
10.56/10.62	v ~x1768 ~x4677 ~x11504 ~x8054 ~x5033 ~x11433 ~x1293 ~x8282 ~x1770 ~x4679 
10.56/10.62	v ~x11506 ~x8056 ~x5035 ~x11435 ~x1295 ~x8284 ~x18 ~x4681 ~x235 ~x8058 
10.56/10.62	v ~x78 ~x11437 ~x1297 ~x8286 ~x1772 ~x4683 ~x11508 ~x8060 ~x5037 ~x11439 
10.56/10.62	v ~x1299 ~x8288 ~x1774 ~x4685 ~x11510 ~x8062 ~x5039 ~x11441 ~x1301 ~x8290 
10.56/10.62	v ~x1776 ~x4687 ~x11512 ~x8064 ~x5041 ~x11443 ~x1303 ~x8292 ~x1778 ~x4689 
10.56/10.62	v ~x11514 ~x8066 ~x5043 ~x11445 ~x1305 ~x8294 ~x1780 ~x4691 ~x11516 ~x8068 
10.56/10.62	v ~x5045 ~x11447 ~x1307 ~x8296 ~x1782 ~x4693 ~x11518 ~x8070 ~x5047 ~x11449 
10.56/10.62	v ~x1309 ~x8298 ~x1784 ~x4695 ~x11520 ~x8072 ~x5049 ~x11451 ~x1311 ~x8300 
10.56/10.62	v ~x1786 ~x4697 ~x11522 ~x8074 ~x5051 ~x11453 ~x1313 ~x151 ~x1788 ~x4699 
10.56/10.62	v ~x11524 ~x8076 ~x5053 ~x11455 ~x1315 ~x8302 ~x1790 ~x4701 ~x11526 ~x8078 
10.56/10.62	v ~x5055 ~x11457 ~x1317 ~x8304 ~x1792 ~x4703 ~x11528 ~x8080 ~x5057 ~x11459 
10.56/10.62	v ~x1319 ~x8306 ~x1794 ~x4705 ~x11530 ~x8082 ~x5059 ~x11461 ~x1321 ~x8308 
10.56/10.62	v ~x1796 ~x4707 ~x11532 ~x8084 ~x5061 ~x11463 ~x1323 ~x8310 ~x1798 ~x4709 
10.56/10.62	v ~x11534 ~x8086 ~x5063 ~x11465 ~x1325 ~x8312 ~x1800 ~x4711 ~x11536 ~x8088 
10.56/10.62	v ~x5065 ~x11467 ~x1327 ~x8314 ~x1802 ~x4713 ~x236 ~x8090 ~x5067 ~x11469 
10.56/10.62	v ~x1329 ~x8316 ~x1804 ~x4715 ~x11538 ~x8092 ~x5069 ~x11471 ~x1331 ~x8318 
10.56/10.62	v ~x1806 ~x4717 ~x11540 ~x8094 ~x5071 ~x11473 ~x1333 ~x8320 ~x1808 ~x4719 
10.56/10.62	v ~x11542 ~x8096 ~x5073 ~x11475 ~x1335 ~x8322 ~x1810 ~x4721 ~x11544 ~x8098 
10.56/10.62	v ~x5075 ~x11477 ~x1337 ~x8324 ~x1812 ~x4723 ~x11546 ~x8100 ~x5077 ~x11479 
10.56/10.62	v ~x1339 ~x8326 ~x1814 ~x4725 ~x11548 ~x8102 ~x5079 ~x11481 ~x1341 ~x8328 
10.56/10.62	v ~x1816 ~x4727 ~x11550 ~x8104 ~x5081 ~x11483 ~x1343 ~x8330 ~x1818 ~x4729 
10.56/10.62	v ~x11552 ~x8106 ~x5083 ~x11485 ~x1345 ~x152 ~x1820 ~x4731 ~x11554 ~x8108 
10.56/10.62	v ~x5085 ~x11487 ~x1347 ~x8332 ~x1822 ~x4733 ~x11556 ~x8110 ~x5087 ~x11489 
10.56/10.62	v ~x1349 ~x8334 ~x1824 ~x4735 ~x11558 ~x8112 ~x5089 ~x11491 ~x1351 ~x8336 
10.56/10.62	v ~x1826 ~x4737 ~x11560 ~x8114 ~x5091 ~x11493 ~x1353 ~x8338 ~x1828 ~x4739 
10.56/10.62	v ~x11562 ~x8116 ~x5093 ~x11495 ~x1355 ~x8340 ~x1830 ~x4741 ~x11564 ~x8118 
10.56/10.62	v ~x5095 ~x11497 ~x1357 ~x8342 ~x1832 ~x4743 ~x11566 ~x8120 ~x5097 x11499 
10.56/10.62	v ~x1359 ~x8344 ~x19 ~x4745 ~x237 ~x8122 ~x79 ~x11501 ~x1361 ~x8346 
10.56/10.62	v ~x1834 ~x4747 ~x11568 ~x8124 ~x5099 ~x11503 ~x1363 ~x8348 ~x1836 ~x4749 
10.56/10.62	v ~x11570 ~x8126 ~x5101 ~x11505 ~x1365 ~x8350 ~x1838 ~x4751 ~x11572 ~x8128 
10.56/10.62	v ~x5103 ~x11507 ~x1367 ~x8352 ~x1840 ~x4753 ~x11574 ~x8130 ~x5105 ~x11509 
10.56/10.62	v ~x1369 ~x8354 ~x1842 ~x4755 ~x11576 ~x8132 ~x5107 ~x11511 ~x1371 ~x8356 
10.56/10.62	v ~x1844 ~x4757 ~x11578 ~x8134 ~x5109 ~x11513 ~x1373 ~x8358 ~x1846 ~x4759 
10.56/10.62	v ~x11580 ~x8136 ~x5111 ~x11515 ~x1375 x8360 ~x1848 ~x4761 ~x238 ~x8138 
10.56/10.62	v ~x5113 ~x11517 ~x1377 ~x8362 ~x1850 ~x4763 ~x11582 ~x8140 ~x5115 ~x11519 
10.56/10.62	v ~x1379 ~x8364 ~x1852 ~x4765 ~x11584 ~x8142 ~x5117 ~x11521 ~x1381 ~x8366 
10.56/10.62	v ~x1854 ~x4767 ~x11586 ~x8144 ~x5119 ~x11523 ~x1383 ~x8368 ~x1856 ~x4769 
10.56/10.62	v ~x11588 ~x8146 ~x5121 ~x11525 ~x1385 ~x8370 ~x1858 ~x4771 ~x11590 ~x8148 
10.56/10.62	v ~x5123 ~x11527 ~x1387 ~x8372 ~x1860 ~x4773 ~x11592 ~x8150 ~x5125 ~x11529 
10.56/10.62	v ~x1389 ~x8374 ~x1862 ~x4775 ~x11594 ~x8152 ~x5127 ~x11531 ~x1391 ~x153 
10.56/10.62	v ~x1864 ~x4777 ~x11596 ~x8154 ~x5129 ~x11533 ~x1393 ~x8376 ~x1866 ~x4779 
10.56/10.62	v ~x11598 ~x8156 ~x5131 ~x11535 ~x1395 ~x8378 ~x1868 ~x4781 ~x11600 ~x8158 
10.56/10.62	v ~x5133 ~x11537 ~x1397 ~x8380 ~x1870 ~x4783 ~x11602 ~x8160 ~x5135 ~x11539 
10.56/10.62	v ~x1399 ~x8382 ~x1872 ~x4785 ~x11604 ~x8162 ~x5137 ~x11541 ~x1401 ~x8384 
10.56/10.62	v ~x1874 ~x4787 ~x11606 ~x8164 ~x5139 ~x11543 ~x1403 ~x8386 ~x1876 ~x4789 
10.56/10.62	v ~x11608 ~x8166 ~x5141 ~x11545 ~x1405 ~x8388 ~x1878 ~x4791 ~x11610 ~x8168 
10.56/10.62	v ~x5143 ~x11547 ~x1407 ~x8390 ~x1880 ~x4793 ~x11612 ~x8169 ~x5145 ~x11549 
10.56/10.62	v ~x1409 ~x8392 ~x1882 ~x4795 ~x11614 ~x8171 ~x5147 ~x11551 ~x1411 ~x8394 
10.56/10.62	v ~x1884 ~x4797 ~x11616 ~x8173 ~x5149 ~x11553 ~x1413 ~x8396 ~x1886 ~x4799 
10.56/10.62	v ~x11618 ~x8175 ~x5151 ~x11555 ~x1415 ~x8398 ~x1888 ~x4801 ~x11620 ~x8177 
10.56/10.62	v ~x5153 ~x11557 ~x1417 ~x8400 ~x1890 ~x4803 ~x11622 ~x8179 ~x5155 ~x11559 
10.56/10.62	v ~x1419 ~x8402 ~x1892 ~x4805 ~x11624 ~x8181 ~x5157 ~x11561 ~x1421 ~x8404 
10.56/10.62	v ~x1894 ~x4807 ~x11627 ~x8183 ~x5159 ~x11563 ~x1423 ~x154 ~x1896 ~x4809 
10.56/10.62	v ~x11629 ~x8185 ~x80 ~x11565 ~x1425 ~x8406 ~x1898 ~x4811 ~x11631 ~x8187 
10.56/10.62	v ~x5161 ~x11567 ~x1427 ~x8408 ~x1900 ~x4813 ~x11633 ~x8189 ~x5163 ~x11569 
10.56/10.62	v ~x1429 ~x8410 ~x1902 ~x4815 ~x11635 ~x8191 ~x5165 ~x11571 ~x1431 ~x8412 
10.56/10.62	v ~x1904 ~x4817 ~x11637 ~x8193 ~x5167 ~x11573 ~x1433 ~x8414 ~x1906 ~x4819 
10.56/10.62	v ~x11639 ~x8195 ~x5169 ~x11575 ~x1435 ~x8416 ~x1908 ~x4821 x11641 ~x8197 
10.56/10.62	v ~x5171 ~x11577 ~x1437 ~x8418 ~x1910 ~x4823 ~x11643 ~x8199 ~x5173 ~x11579 
10.56/10.62	v ~x1439 ~x155 ~x1912 ~x4825 ~x11645 ~x8201 ~x5175 ~x11581 ~x1441 ~x8420 
10.56/10.62	v ~x1914 ~x4827 ~x11647 ~x8203 ~x5177 ~x11583 ~x1443 ~x8422 ~x1916 ~x4829 
10.56/10.62	v ~x11649 ~x8205 ~x5179 ~x11585 ~x1445 ~x8424 ~x1918 ~x4831 ~x11651 ~x8207 
10.56/10.62	v ~x5181 ~x11587 ~x1447 ~x8426 ~x1920 ~x4833 ~x11653 ~x8209 ~x5183 ~x11589 
10.56/10.62	v ~x1449 ~x8428 ~x1922 ~x4835 ~x11655 ~x8211 ~x5185 ~x11591 ~x1451 ~x8430 
10.56/10.62	v ~x1924 ~x4837 ~x11657 ~x8213 ~x5187 ~x11593 ~x1453 ~x8432 ~x1926 ~x4839 
10.56/10.62	v ~x11659 ~x8215 ~x5189 ~x11595 ~x1455 ~x156 ~x1928 ~x4841 ~x11661 ~x8217 
10.56/10.62	v ~x81 ~x11597 ~x1457 ~x8434 ~x1930 ~x4843 ~x11663 ~x8219 ~x5191 ~x11599 
10.56/10.62	v ~x1459 ~x8436 ~x1932 ~x4845 ~x11665 ~x8221 ~x5193 ~x11601 ~x1461 ~x8438 
10.56/10.62	v ~x1934 ~x4847 ~x11667 ~x8223 ~x5195 ~x11603 ~x1463 ~x157 ~x1936 ~x4849 
10.56/10.62	v ~x11669 ~x8225 ~x5197 ~x11605 ~x1465 ~x8440 ~x1938 ~x4851 ~x11671 ~x8227 
10.56/10.62	v ~x5199 ~x11607 ~x1467 ~x8442 ~x1940 ~x4853 ~x239 ~x8229 ~x5201 ~x11609 
10.56/10.62	v ~x1469 ~x8444 ~x1942 ~x4855 ~x11673 ~x8231 ~x5203 ~x11611 ~x1471 ~x8446 
10.56/10.62	v ~x1944 ~x4857 ~x11675 ~x8233 ~x5205 ~x11613 ~x1473 ~x8448 ~x1946 ~x4858 
10.56/10.62	v ~x11677 ~x8235 ~x5207 ~x11615 ~x1475 ~x8450 ~x1948 ~x4860 ~x11679 ~x8237 
10.56/10.62	v ~x5209 ~x11617 ~x1477 ~x8452 ~x1950 ~x4862 ~x11681 ~x8239 ~x5211 ~x11619 
10.56/10.62	v ~x1479 ~x8454 ~x1952 ~x4864 ~x11683 ~x8241 ~x5213 ~x11621 ~x1481 ~x8456 
10.56/10.62	v ~x1954 ~x4866 ~x11685 ~x8243 ~x5215 ~x11623 ~x1483 ~x8458 ~x1956 ~x4868 
10.56/10.62	v ~x11687 ~x8245 ~x5217 ~x11625 ~x1485 ~x8460 ~x1958 ~x4870 ~x11689 ~x8247 
10.56/10.62	v ~x5219 ~x11626 ~x1487 ~x8462 ~x1960 ~x4872 ~x11691 ~x8249 ~x5221 ~x11628 
10.56/10.62	v ~x1489 ~x8464 ~x1962 ~x4874 ~x11693 ~x8251 ~x5223 ~x11630 ~x1491 ~x8466 
10.56/10.62	v ~x1964 ~x4876 ~x11695 ~x8253 ~x5225 ~x11632 ~x1493 ~x8468 x1966 ~x4878 
10.56/10.62	v ~x11697 ~x8255 ~x5227 ~x11634 ~x1495 ~x8470 ~x1968 ~x4880 ~x11699 ~x8257 
10.56/10.62	v ~x5229 ~x11636 ~x1497 ~x8472 ~x1970 ~x4882 ~x11701 ~x8259 ~x5231 ~x11638 
10.56/10.62	v ~x1499 ~x8474 ~x1972 ~x4884 x240 ~x8261 ~x5233 ~x11640 ~x1501 ~x8476 
10.56/10.62	v ~x1974 ~x4886 ~x11703 ~x8263 ~x5235 x11642 ~x1503 ~x8478 ~x1976 ~x4888 
10.56/10.62	v ~x11705 ~x8265 ~x5237 ~x11644 ~x1505 ~x8480 ~x1978 ~x4890 ~x11707 ~x8267 
10.56/10.62	v ~x5239 ~x11646 ~x1507 ~x8482 ~x1980 ~x4892 ~x11709 ~x8269 ~x5242 ~x11648 
10.56/10.62	v ~x1509 ~x8484 ~x1982 ~x4894 x11711 ~x8271 ~x5244 ~x11650 ~x1511 ~x8486 
10.56/10.62	v ~x1984 ~x4896 ~x11713 ~x8273 ~x5246 ~x11652 ~x1513 ~x8488 ~x1986 ~x4898 
10.56/10.62	v ~x11715 ~x8275 ~x5248 ~x11654 ~x1515 ~x8490 ~x1988 ~x4900 ~x241 ~x8277 
10.56/10.62	v ~x5250 ~x11656 ~x1517 ~x8492 ~x1990 ~x4902 ~x11717 ~x8279 ~x82 ~x11658 
10.56/10.62	v ~x1519 ~x8494 ~x1992 ~x4904 ~x11719 ~x8281 ~x5252 ~x11660 ~x1521 ~x8496 
10.56/10.62	v ~x1994 ~x4906 ~x11721 ~x8283 ~x5254 ~x11662 ~x1523 ~x8498 ~x1996 ~x4908 
10.56/10.62	v ~x11723 ~x8285 ~x5256 ~x11664 ~x1525 ~x8500 ~x1998 ~x4910 ~x11725 ~x8287 
10.56/10.62	v ~x5258 ~x11666 ~x1527 ~x8502 ~x2000 ~x4912 ~x11727 ~x8289 ~x5260 ~x11668 
10.56/10.62	v ~x1529 ~x8504 ~x2002 ~x4914 ~x11729 ~x8291 ~x5262 ~x11670 ~x1531 ~x8506 
10.56/10.62	v ~x2004 ~x4916 ~x11731 ~x8293 ~x5264 ~x11672 ~x1533 ~x8508 ~x2006 ~x4918 
10.56/10.62	v ~x11733 ~x8295 ~x5266 ~x11674 ~x1535 ~x8510 ~x2008 ~x4920 ~x11735 ~x8297 
10.56/10.62	v ~x5268 ~x11676 ~x1537 ~x8512 ~x2010 ~x4922 ~x11737 ~x8299 ~x5270 ~x11678 
10.56/10.62	v ~x1539 ~x8514 ~x2012 ~x4924 ~x11739 ~x8301 ~x5272 ~x11680 ~x1541 ~x8516 
10.56/10.62	v ~x2014 ~x4926 ~x11741 ~x8303 ~x5274 ~x11682 ~x1543 ~x8518 ~x2016 ~x4928 
10.56/10.62	v ~x11743 ~x8305 ~x5276 ~x11684 ~x1545 ~x8520 ~x2018 ~x4930 ~x11745 ~x8307 
10.56/10.62	v ~x5278 ~x11686 ~x1547 ~x8522 ~x2020 ~x4932 ~x242 ~x8309 ~x5280 ~x11688 
10.56/10.62	v ~x1549 ~x8524 ~x2022 ~x4934 ~x11748 ~x8311 ~x83 ~x11690 ~x1551 ~x8526 
10.56/10.62	v ~x2024 ~x4936 ~x11750 ~x8313 ~x5282 ~x11692 ~x1553 ~x8528 ~x2026 ~x4938 
10.56/10.62	v ~x11752 ~x8315 ~x5284 ~x11694 ~x1555 ~x8530 ~x2028 ~x4940 ~x11754 ~x8317 
10.56/10.62	v ~x5286 ~x11696 ~x1557 ~x8532 ~x2030 ~x4942 ~x11756 ~x8319 ~x5288 ~x11698 
10.56/10.62	v ~x1559 ~x8534 ~x2032 ~x4944 ~x11758 ~x8321 ~x5290 ~x11700 ~x1561 ~x8536 
10.56/10.62	v ~x2034 ~x4946 ~x243 ~x8323 ~x5292 ~x11702 ~x1563 ~x8538 ~x2036 ~x4948 
10.56/10.62	v ~x11760 ~x8325 ~x5294 ~x11704 ~x1565 ~x8540 ~x2038 ~x4950 ~x11762 ~x8327 
10.56/10.62	v ~x5296 ~x11706 ~x1567 ~x8542 ~x2040 ~x4952 ~x11764 ~x8329 ~x5298 ~x11708 
10.56/10.62	v ~x1569 ~x8544 ~x2042 ~x4954 ~x11766 ~x8331 ~x5300 ~x11710 ~x1571 ~x8546 
10.56/10.62	v ~x2044 ~x4956 ~x11768 ~x8333 ~x5302 x11712 ~x1573 ~x8548 ~x2046 ~x4958 
10.56/10.62	v ~x11770 ~x8335 ~x5304 ~x11714 ~x1575 ~x8550 ~x2048 ~x4960 ~x11772 ~x8337 
10.56/10.62	v ~x5306 ~x11716 ~x1577 ~x8552 ~x2050 ~x4962 ~x244 ~x8339 ~x5308 ~x11718 
10.56/10.62	v ~x1579 ~x8554 ~x2052 ~x4964 ~x11774 ~x8341 ~x5310 ~x11720 ~x1581 ~x8556 
10.56/10.62	v ~x2054 ~x4966 ~x11776 ~x8343 ~x84 ~x11722 ~x1583 ~x8558 ~x2056 ~x4968 
10.56/10.62	v ~x11778 ~x8345 ~x5312 ~x11724 ~x1585 ~x8560 ~x2058 ~x4970 ~x245 ~x8347 
10.56/10.62	v ~x5314 ~x11726 ~x1587 ~x158 ~x2060 ~x4972 ~x11780 ~x8349 ~x5316 ~x11728 
10.56/10.62	v ~x1589 ~x8562 ~x2062 ~x4974 ~x11782 ~x8351 ~x5318 ~x11730 ~x1591 ~x8564 
10.56/10.62	v ~x2064 ~x4976 ~x11784 ~x8353 ~x5320 ~x11732 ~x1593 ~x8566 ~x2066 ~x4978 
10.56/10.62	v ~x11786 ~x8355 ~x5322 ~x11734 ~x1595 ~x8568 ~x2068 ~x4980 ~x11788 ~x8357 
10.56/10.62	v ~x5324 ~x11736 ~x1597 ~x8570 ~x2070 ~x4982 ~x11790 ~x8359 ~x85 ~x11738 
10.56/10.62	v ~x1599 ~x8572 ~x2072 ~x4984 ~x11792 x8361 ~x5326 ~x11740 ~x1601 ~x8574 
10.56/10.62	v ~x2074 ~x4986 ~x11794 ~x8363 ~x5328 ~x11742 ~x1603 ~x8576 ~x2076 ~x4988 
10.56/10.62	v ~x11796 ~x8365 ~x5330 ~x11744 ~x1605 ~x8578 ~x2078 ~x4990 ~x11798 ~x8367 
10.56/10.62	v ~x5332 ~x11746 ~x1607 ~x8580 ~x2080 ~x4992 ~x11800 ~x8369 ~x5334 ~x11747 
10.56/10.62	v ~x1609 ~x8582 ~x2082 ~x4994 ~x11802 ~x8371 ~x5336 ~x11749 ~x1611 ~x8584 
10.56/10.62	v ~x2084 ~x4996 ~x11804 ~x8373 ~x5338 ~x11751 ~x1613 ~x8586 ~x2086 ~x4998 
10.56/10.62	v ~x11806 ~x8375 ~x5340 ~x11753 ~x1615 ~x8588 ~x2088 ~x5000 ~x11808 ~x8377 
10.56/10.62	v ~x5342 ~x11755 ~x1617 ~x8590 ~x2090 ~x5002 ~x246 ~x8379 ~x5344 ~x11757 
10.56/10.62	v ~x1619 ~x8592 ~x2092 ~x5004 ~x11810 ~x8381 ~x5346 ~x11759 ~x1621 ~x8594 
10.56/10.62	v ~x2094 ~x5006 ~x11812 ~x8383 ~x5348 ~x11761 ~x1623 ~x8596 ~x2096 ~x5008 
10.56/10.62	v ~x11814 ~x8385 ~x5350 ~x11763 ~x1625 ~x8598 ~x2098 ~x5010 ~x11816 ~x8387 
10.56/10.62	v ~x5352 ~x11765 ~x1627 ~x8600 ~x2100 ~x5012 ~x11818 ~x8389 ~x5355 ~x11767 
10.56/10.62	v ~x1629 ~x8602 ~x2102 ~x5014 ~x11820 ~x8391 ~x5357 ~x11769 ~x1631 ~x8604 
10.56/10.63	v ~x2104 ~x5016 ~x11822 ~x8393 ~x5359 ~x11771 ~x1633 ~x8606 ~x2106 ~x5018 
10.56/10.63	v ~x11824 ~x8395 ~x5361 ~x11773 ~x1635 ~x8608 ~x2108 ~x5020 ~x11826 ~x8397 
10.56/10.63	v ~x5363 ~x11775 ~x1637 ~x8610 ~x2110 ~x5022 ~x11828 ~x8399 ~x5365 ~x11777 
10.56/10.63	v ~x1639 ~x8612 ~x2112 ~x5024 ~x11830 ~x8401 ~x5367 ~x11779 ~x1641 ~x8614 
10.56/10.63	v ~x2114 ~x5026 ~x11832 ~x8403 ~x5369 ~x11781 ~x1643 ~x8616 ~x2116 ~x5028 
10.56/10.63	v ~x11834 ~x8405 ~x5371 ~x11783 ~x1645 ~x8618 ~x20 ~x5030 ~x11836 ~x8407 
10.56/10.63	v ~x5373 ~x11785 ~x1647 ~x8620 ~x2118 ~x5032 ~x11838 ~x8409 ~x5375 ~x11787 
10.56/10.63	v ~x1649 ~x8622 ~x2120 ~x5034 ~x247 ~x8411 ~x5377 ~x11789 ~x1651 ~x159 
10.56/10.63	v ~x2122 ~x5036 ~x11840 ~x8413 ~x5379 ~x11791 ~x1653 ~x8624 ~x2124 ~x5038 
10.56/10.63	v ~x11842 ~x8415 ~x5381 ~x11793 ~x1655 ~x8626 ~x2126 ~x5040 ~x11844 ~x8417 
10.56/10.63	v ~x5383 ~x11795 ~x1657 ~x8628 ~x2128 ~x5042 ~x11846 ~x8419 ~x5385 ~x11797 
10.56/10.63	v ~x1659 ~x8630 ~x2130 ~x5044 ~x11848 ~x8421 ~x86 ~x11799 ~x1661 ~x8632 
10.56/10.63	v ~x2132 ~x5046 ~x11850 ~x8423 ~x5387 ~x11801 ~x1663 ~x8634 ~x2134 ~x5048 
10.56/10.63	v ~x11852 ~x8425 ~x5389 ~x11803 ~x1665 ~x8636 ~x2136 ~x5050 ~x248 ~x8427 
10.56/10.63	v ~x5391 ~x11805 ~x1667 ~x8638 ~x2138 ~x5052 ~x11854 ~x8429 ~x5393 ~x11807 
10.56/10.63	v ~x1669 ~x8640 ~x2140 ~x5054 ~x11856 ~x8431 ~x5395 ~x11809 ~x1671 ~x8642 
10.56/10.63	v ~x2142 ~x5056 ~x11858 ~x8433 ~x5397 ~x11811 ~x1673 ~x8644 ~x2144 ~x5058 
10.56/10.63	v ~x11860 ~x8435 ~x5399 ~x11813 ~x1675 ~x8646 ~x2146 ~x5060 ~x11862 ~x8437 
10.56/10.63	v ~x5401 ~x11815 ~x1677 ~x8648 ~x2148 ~x5062 ~x11864 ~x8439 ~x5403 ~x11817 
10.56/10.63	v ~x1679 ~x8650 ~x2150 ~x5064 ~x11866 ~x8441 ~x5405 ~x11819 ~x1681 ~x8652 
10.56/10.63	v ~x2152 ~x5066 ~x11868 ~x8443 ~x5407 ~x11821 ~x1683 ~x8654 ~x2154 ~x5068 
10.56/10.63	v ~x11870 ~x8445 ~x5409 ~x11823 ~x1685 ~x8656 ~x2156 ~x5070 ~x11872 ~x8447 
10.56/10.63	v ~x5411 ~x11825 ~x1687 ~x8658 ~x2158 ~x5072 ~x11874 ~x8449 ~x5413 ~x11827 
10.56/10.63	v ~x1689 ~x8660 ~x2160 ~x5074 ~x11876 ~x8451 ~x5415 ~x11829 ~x1691 ~x8662 
10.56/10.63	v ~x2162 ~x5076 ~x11878 ~x8453 ~x87 ~x11831 ~x1693 ~x8664 ~x2164 ~x5078 
10.56/10.63	v ~x11880 ~x8455 ~x5417 ~x11833 ~x1695 ~x8666 ~x2166 ~x5080 ~x11882 ~x8457 
10.56/10.63	v ~x5419 ~x11835 ~x1697 ~x8668 ~x2168 ~x5082 ~x249 ~x8459 ~x5421 ~x11837 
10.56/10.63	v ~x1699 ~x8670 ~x2170 ~x5084 ~x11884 ~x8461 ~x5423 ~x11839 ~x1701 ~x8672 
10.56/10.63	v ~x2172 ~x5086 ~x11886 ~x8463 ~x5425 ~x11841 ~x1703 ~x8674 ~x2174 ~x5088 
10.56/10.63	v ~x11888 ~x8465 ~x5427 ~x11843 ~x1705 ~x8676 ~x2176 ~x5090 ~x11890 ~x8467 
10.56/10.63	v ~x5429 ~x11845 ~x1707 ~x8678 ~x2178 ~x5092 ~x11892 ~x8469 ~x5431 ~x11847 
10.56/10.63	v ~x1709 ~x8680 ~x2180 ~x5094 ~x11894 ~x8471 ~x5433 ~x11849 ~x1711 ~x8682 
10.56/10.63	v ~x2182 ~x5096 ~x11896 ~x8473 ~x5435 ~x11851 ~x1713 ~x8684 ~x2184 ~x5098 
10.56/10.63	v ~x250 ~x8475 ~x5437 ~x11853 ~x1715 ~x160 ~x2186 ~x5100 ~x11898 ~x8477 
10.56/10.63	v ~x5439 ~x11855 ~x1717 ~x8686 ~x2188 ~x5102 ~x11900 ~x8479 ~x5441 ~x11857 
10.56/10.63	v ~x1719 ~x8688 ~x2190 ~x5104 ~x11902 ~x8481 ~x5443 ~x11859 ~x1721 ~x8690 
10.56/10.63	v ~x2192 ~x5106 ~x11904 ~x8483 ~x5445 ~x11861 ~x1723 ~x8692 ~x2194 ~x5108 
10.56/10.63	v ~x11906 ~x8485 ~x88 ~x11863 ~x1725 ~x8694 ~x2196 ~x5110 ~x11908 ~x8487 
10.56/10.63	v ~x5447 ~x11865 ~x1727 ~x8696 ~x2198 ~x5112 ~x11910 ~x8489 ~x5449 ~x11867 
10.56/10.63	v ~x1729 ~x8698 ~x2200 ~x5114 x11912 ~x8491 ~x5451 ~x11869 ~x1731 ~x8700 
10.56/10.63	v ~x2202 ~x5116 ~x11914 ~x8493 ~x5453 ~x11871 ~x1733 ~x8702 ~x2204 ~x5118 
10.56/10.63	v ~x11916 ~x8495 ~x5455 ~x11873 ~x1735 ~x8704 ~x2206 ~x5120 ~x251 ~x8497 
10.56/10.63	v ~x5457 ~x11875 ~x1737 ~x8706 ~x2208 ~x5122 ~x11918 ~x8499 ~x89 ~x11877 
10.56/10.63	v ~x1739 ~x8708 ~x2210 ~x5124 ~x11920 ~x8501 ~x5459 ~x11879 ~x1741 ~x8710 
10.56/10.63	v ~x2212 ~x5126 ~x11922 ~x8503 ~x5461 ~x11881 ~x1743 ~x8712 ~x2214 ~x5128 
10.56/10.63	v ~x11924 ~x8505 ~x5463 ~x11883 ~x1745 ~x8714 ~x2216 ~x5130 ~x11926 ~x8507 
10.56/10.63	v ~x5465 ~x11885 ~x1747 ~x161 ~x2218 ~x5132 ~x11928 ~x8509 ~x5467 ~x11887 
10.56/10.63	v ~x1749 ~x8716 ~x2220 ~x5134 ~x11930 ~x8511 ~x5469 ~x11889 ~x1751 ~x8718 
10.56/10.63	v ~x2222 ~x5136 ~x11932 ~x8513 ~x5471 ~x11891 ~x1753 ~x8720 ~x2224 ~x5138 
10.56/10.63	v ~x11934 ~x8515 ~x5473 ~x11893 ~x1755 ~x8722 ~x2226 ~x5140 ~x11936 ~x8517 
10.56/10.63	v ~x5475 ~x11895 ~x1757 ~x8724 ~x2228 ~x5142 ~x11938 ~x8519 ~x5477 ~x11897 
10.56/10.63	v ~x1759 ~x8726 ~x2230 ~x5144 ~x11940 ~x8521 ~x5479 ~x11899 ~x1761 ~x8728 
10.56/10.63	v ~x2232 ~x5146 ~x11942 ~x8523 ~x5481 ~x11901 ~x1763 ~x8730 ~x2234 ~x5148 
10.56/10.63	v ~x11944 ~x8525 ~x5483 ~x11903 ~x1765 ~x8732 ~x2236 ~x5150 ~x11946 ~x8527 
10.56/10.63	v ~x5485 ~x11905 ~x1767 ~x8734 ~x2238 ~x5152 ~x252 ~x8529 ~x5487 ~x11907 
10.56/10.63	v ~x1769 ~x8736 ~x2240 ~x5154 ~x11948 ~x8531 ~x90 ~x11909 ~x1771 ~x8738 
10.56/10.63	v ~x2242 ~x5156 ~x11950 ~x8533 ~x5489 ~x11911 ~x1773 ~x8740 ~x21 ~x5158 
10.56/10.63	v ~x11952 ~x8535 ~x5491 x11913 ~x1775 ~x8742 ~x2244 ~x5160 ~x11954 ~x8537 
10.56/10.63	v ~x5493 ~x11915 ~x1777 ~x8744 ~x2246 ~x5162 ~x11956 ~x8539 ~x5495 ~x11917 
10.56/10.63	v ~x1779 ~x8746 ~x2248 ~x5164 ~x11958 ~x8541 ~x5497 ~x11919 ~x1781 ~x8748 
10.56/10.63	v ~x2250 ~x5166 ~x11960 ~x8543 ~x5499 ~x11921 ~x1783 ~x8750 ~x2252 ~x5168 
10.56/10.63	v ~x253 ~x8545 ~x5501 ~x11923 ~x1785 ~x8752 ~x2254 ~x5170 ~x11962 ~x8547 
10.56/10.63	v ~x91 ~x11925 ~x1787 ~x8754 ~x2256 ~x5172 ~x11964 ~x8549 ~x5503 ~x11927 
10.56/10.63	v ~x1789 ~x8756 ~x2258 ~x5174 ~x11966 ~x8551 ~x5505 ~x11929 ~x1791 ~x8758 
10.56/10.63	v ~x2260 ~x5176 ~x11968 ~x8553 ~x5507 ~x11931 ~x1793 ~x8760 ~x2262 ~x5178 
10.56/10.63	v ~x11970 ~x8555 ~x5509 ~x11933 ~x1795 ~x8762 ~x2264 ~x5180 ~x11972 ~x8557 
10.56/10.63	v ~x5511 ~x11935 ~x1797 ~x8764 ~x2266 ~x5182 ~x11974 ~x8559 ~x5513 ~x11937 
10.56/10.63	v ~x1799 ~x8766 ~x2268 ~x5184 ~x254 ~x8561 ~x5515 ~x11939 ~x1801 ~x8768 
10.56/10.63	v ~x2270 ~x5186 ~x11976 ~x8563 ~x92 ~x11941 ~x1803 ~x8770 ~x2272 ~x5188 
10.56/10.63	v ~x11978 ~x8565 ~x5517 ~x11943 ~x1805 ~x8772 ~x2274 ~x5190 ~x11980 ~x8567 
10.56/10.63	v ~x5519 ~x11945 ~x1807 ~x8774 ~x2276 ~x5192 ~x255 ~x8569 ~x5521 ~x11947 
10.56/10.63	v ~x1809 ~x162 ~x2278 ~x5194 ~x11982 ~x8571 ~x5523 ~x11949 ~x1811 ~x8776 
10.56/10.63	v ~x2280 ~x5196 ~x11984 ~x8573 ~x5525 ~x11951 ~x1813 ~x8778 ~x2282 ~x5198 
10.56/10.63	v ~x11986 ~x8575 ~x5527 ~x11953 ~x1815 ~x8780 ~x2284 ~x5200 ~x11988 ~x8577 
10.56/10.63	v ~x5529 ~x11955 ~x1817 ~x8782 ~x2286 ~x5202 ~x11990 ~x8579 ~x5531 ~x11957 
10.56/10.63	v ~x1819 ~x8784 ~x2288 ~x5204 ~x11992 ~x8581 ~x5533 ~x11959 ~x1821 ~x8786 
10.56/10.63	v ~x2290 ~x5206 ~x11994 ~x8583 ~x5535 ~x11961 ~x1823 ~x8788 ~x2292 ~x5208 
10.56/10.63	v ~x256 ~x8585 ~x5537 ~x11963 ~x1825 ~x8790 ~x2294 ~x5210 ~x11996 ~x8587 
10.56/10.63	v ~x5539 ~x11965 ~x1827 ~x8792 ~x2296 ~x5212 ~x11998 ~x8589 ~x5541 ~x11967 
10.56/10.63	v ~x1829 ~x8794 ~x2298 ~x5214 ~x12000 ~x8591 ~x5543 ~x11969 ~x1831 ~x8796 
10.56/10.63	v ~x2300 ~x5216 ~x257 ~x8593 ~x5545 ~x11971 ~x1833 ~x8798 ~x2302 ~x5218 
10.56/10.63	v ~x12002 ~x8595 ~x5547 ~x11973 ~x1835 ~x8800 ~x2304 ~x5220 ~x12004 ~x8597 
10.56/10.63	v ~x5549 ~x11975 ~x1837 ~x8802 ~x2306 ~x5222 x12006 ~x8599 ~x5551 ~x11977 
10.56/10.63	v ~x1839 ~x8804 ~x2308 ~x5224 x258 ~x8601 ~x5553 ~x11979 ~x1841 ~x163 
10.56/10.63	v ~x2310 ~x5226 ~x12008 ~x8603 ~x5555 ~x11981 ~x1843 ~x8806 ~x2312 ~x5228 
10.56/10.63	v ~x259 ~x8605 ~x5557 ~x11983 ~x1845 ~x8808 ~x2314 ~x5230 ~x12010 ~x8607 
10.56/10.63	v ~x5559 ~x11985 ~x1847 ~x8810 ~x2316 ~x5232 ~x12012 ~x8609 ~x5561 ~x11987 
10.56/10.63	v ~x1849 ~x8812 ~x2318 ~x5234 ~x12014 ~x8611 ~x5563 ~x11989 ~x1851 ~x8814 
10.56/10.63	v ~x2320 ~x5236 ~x12016 ~x8613 ~x5565 ~x11991 ~x1853 ~x8816 ~x2322 ~x5238 
10.56/10.63	v ~x12018 ~x8615 ~x5567 ~x11993 ~x1855 ~x8818 ~x2324 ~x5240 ~x12020 ~x8617 
10.56/10.63	v ~x5569 ~x11995 ~x1857 ~x8820 ~x2326 ~x5241 ~x12022 ~x8619 ~x5571 ~x11997 
10.56/10.63	v ~x1859 ~x8822 ~x2328 ~x5243 ~x12024 ~x8621 x5573 ~x11999 ~x1861 ~x8824 
10.56/10.63	v ~x2330 ~x5245 ~x12026 ~x8623 ~x5575 ~x12001 ~x1863 ~x8826 ~x2332 ~x5247 
10.56/10.63	v ~x12028 ~x8625 ~x5577 ~x12003 ~x1865 ~x8828 ~x2334 ~x5249 ~x12030 ~x8627 
10.56/10.63	v ~x5579 ~x12005 ~x1867 ~x8830 ~x2336 ~x5251 ~x12032 ~x8629 ~x5581 x12007 
10.56/10.63	v ~x1869 ~x8832 ~x2338 ~x5253 ~x12034 ~x8631 ~x5583 ~x12009 ~x1871 ~x8834 
10.56/10.63	v ~x2340 ~x5255 ~x12036 ~x8633 ~x93 ~x12011 ~x1873 ~x8836 ~x2342 ~x5257 
10.56/10.63	v ~x12038 ~x8635 ~x5585 ~x12013 ~x1875 ~x8838 ~x2344 ~x5259 ~x12040 ~x8637 
10.56/10.63	v ~x5587 ~x12015 ~x1877 ~x8840 ~x2346 ~x5261 ~x12042 ~x8639 ~x5589 ~x12017 
10.56/10.63	v ~x1879 x8842 ~x2348 ~x5263 ~x12044 ~x8641 ~x5591 ~x12019 ~x1881 ~x8844 
10.56/10.63	v ~x2350 ~x5265 ~x12046 ~x8643 ~x5593 ~x12021 ~x1883 ~x8846 ~x2352 ~x5267 
10.56/10.63	v ~x12048 ~x8645 ~x5595 ~x12023 ~x1885 ~x8848 ~x2354 ~x5269 ~x12050 ~x8647 
10.56/10.63	v ~x5597 ~x12025 ~x1887 ~x164 ~x2356 ~x5271 ~x12052 ~x8649 ~x5599 ~x12027 
10.56/10.63	v ~x1889 ~x8850 ~x2358 ~x5273 ~x12054 ~x8651 ~x5601 ~x12029 ~x1891 ~x8852 
10.56/10.63	v ~x2360 ~x5275 ~x12056 ~x8653 ~x5603 ~x12031 ~x1893 ~x8854 ~x2362 ~x5277 
10.56/10.63	v ~x12058 ~x8655 ~x5605 ~x12033 ~x1895 ~x8856 ~x2364 ~x5279 ~x12060 ~x8657 
10.56/10.63	v ~x5607 ~x12035 ~x1897 ~x8858 ~x2366 ~x5281 ~x12062 ~x8659 ~x5609 ~x12037 
10.56/10.63	v ~x1899 ~x8860 ~x2368 ~x5283 ~x12064 ~x8661 ~x5611 ~x12039 ~x1901 ~x8862 
10.56/10.63	v ~x22 ~x5285 ~x12066 ~x8663 ~x5613 ~x12041 ~x1903 ~x8864 ~x2370 ~x5287 
10.56/10.63	v ~x12068 ~x8665 ~x94 ~x12043 ~x1905 ~x8866 ~x2372 ~x5289 ~x12070 ~x8667 
10.56/10.63	v ~x5615 ~x12045 ~x1907 ~x8868 ~x2374 ~x5291 ~x12072 ~x8669 ~x5617 ~x12047 
10.56/10.63	v ~x1909 ~x8870 ~x2376 ~x5293 ~x12074 ~x8671 ~x5619 ~x12049 ~x1911 ~x8872 
10.56/10.63	v ~x2378 ~x5295 ~x12076 ~x8673 ~x5621 ~x12051 ~x1913 ~x8874 ~x2380 ~x5297 
10.56/10.63	v ~x12078 ~x8675 ~x5623 ~x12053 ~x1915 ~x8876 ~x2382 ~x5299 ~x12080 ~x8677 
10.56/10.63	v ~x5625 ~x12055 ~x1917 ~x8878 ~x2384 ~x5301 ~x12082 ~x8679 ~x5627 ~x12057 
10.56/10.63	v ~x1919 ~x8880 ~x2386 ~x5303 ~x12084 ~x8681 ~x5629 ~x12059 ~x1921 ~x8882 
10.56/10.63	v ~x2388 ~x5305 ~x12086 ~x8683 ~x5631 ~x12061 ~x1923 ~x8884 ~x2390 ~x5307 
10.56/10.63	v ~x12088 ~x8685 ~x5633 ~x12063 ~x1925 ~x8886 ~x2392 ~x5309 ~x12090 ~x8687 
10.56/10.63	v ~x5635 ~x12065 ~x1927 ~x8888 ~x2394 ~x5311 ~x12092 ~x8689 ~x5637 ~x12067 
10.56/10.63	v ~x1929 ~x8890 ~x2396 ~x5313 ~x12094 ~x8691 ~x5639 ~x12069 ~x1931 ~x8892 
10.56/10.63	v ~x2398 ~x5315 ~x12096 ~x8693 ~x5641 ~x12071 ~x1933 ~x8894 ~x2400 ~x5317 
10.56/10.63	v ~x12098 ~x8695 ~x5643 ~x12073 ~x1935 ~x8896 ~x2402 ~x5319 ~x12100 ~x8697 
10.56/10.63	v ~x95 ~x12075 ~x1937 ~x8898 

OK	26

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60443 MiB free)
  memory of node 1: 64465 MiB (61164 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496637-1751385258/watcher-4496637-1751385258 -o /tmp/evaluation-result-4496637-1751385258/solver-4496637-1751385258 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751381593-51038 --watchdog 3760 pb_picat HOME/instance-4496637-1751385258.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=51731, runsolver pid=51728

[startup+0.100042 s]*
/proc/loadavg: 4.15 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124497652/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2027148 memory=40384 CPUtime=0.08 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 1095 0 0 0 8 0 0 0 20 0 1 0 54200389 2075799552 10096 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 506787 10096 1504 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40384 KiB

[startup+0.205602 s]*
/proc/loadavg: 4.15 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124481268/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2027148 memory=56768 CPUtime=0.19 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 1103 0 0 0 19 0 0 0 20 0 1 0 54200389 2075799552 14192 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 506787 14192 1504 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 56768 KiB

[startup+0.305515 s]*
/proc/loadavg: 4.15 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124468980/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2034964 memory=73472 CPUtime=0.3 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 1162 0 0 0 29 1 0 0 20 0 1 0 54200389 2083803136 18368 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 508741 18368 1536 343 0 505805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 73472 KiB

[startup+0.700161 s]
/proc/loadavg: 4.15 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124432116/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2055764 memory=105572 CPUtime=0.68 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 7162 0 0 0 66 2 0 0 20 0 1 0 54200389 2105102336 26393 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 513941 26393 1664 343 0 511005 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2055764 KiB
Current children cumulated memory: 105572 KiB

[startup+1.50013 s]
/proc/loadavg: 4.15 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124432124/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2055700 memory=111032 CPUtime=1.48 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 11212 0 0 0 145 3 0 0 20 0 1 0 54200389 2105036800 27758 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 513925 27758 1664 343 0 510989 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055700 KiB
Current children cumulated memory: 111032 KiB

[startup+3.10537 s]
/proc/loadavg: 4.15 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124398416/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2060200 memory=113764 CPUtime=3.08 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 18448 0 0 0 303 5 0 0 20 0 1 0 54200389 2109644800 28441 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 515050 28441 1664 343 0 512114 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2060200 KiB
Current children cumulated memory: 113764 KiB

[startup+6.30015 s]
/proc/loadavg: 4.14 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124426268/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2062248 memory=119140 CPUtime=6.26 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 19427 0 0 0 621 5 0 0 20 0 1 0 54200389 2111741952 29785 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 515562 29785 1664 343 0 512626 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119140 KiB

[startup+10.6337 s]
# the end of solver process 51731 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=10.5208 s, system=0.079816 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40017 s]
/proc/loadavg: 4.14 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124426268/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2062248 memory=119140 CPUtime=6.36 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 19427 0 0 0 631 5 0 0 20 0 1 0 54200389 2111741952 29785 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 515562 29785 1664 343 0 512626 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119140 KiB

[startup+8.0001 s]*
/proc/loadavg: 4.14 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124385308/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2062248 memory=119140 CPUtime=7.97 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 19428 0 0 0 791 6 0 0 20 0 1 0 54200389 2111741952 29785 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 515562 29785 1664 343 0 512626 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119140 KiB

[startup+9.6001 s]
/proc/loadavg: 4.14 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124385308/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2062248 memory=119140 CPUtime=9.56 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 19454 0 0 0 950 6 0 0 20 0 1 0 54200389 2111741952 29785 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 515562 29785 1664 343 0 512626 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119140 KiB

[startup+10.4001 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124385308/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2062248 memory=119140 CPUtime=10.36 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 19454 0 0 0 1030 6 0 0 20 0 1 0 54200389 2111741952 29785 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 515562 29785 1664 343 0 512626 0
Current children cumulated CPU time: 10.36 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119140 KiB

[startup+10.6001 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 51732
/proc/meminfo: memFree=124385308/131249992 swapFree=33010160/33010684
[pid=51731] ppid=51728 vsize=2062248 memory=119140 CPUtime=10.56 cores=4,6
/proc/51731/stat : 51731 (pb_picat) R 51728 51731 51027 0 -1 4194304 19454 0 0 0 1050 6 0 0 20 0 1 0 54200389 2111741952 29785 18446744073709551615 94390141706240 94390143107821 140731897246144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94390143379248 94390145253552 94390170443776 140731897248158 140731897248234 140731897248234 140731897253836 0
/proc/51731/statm: 515562 29785 1664 343 0 512626 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119140 KiB

Child status: 0

Real time (s): 10.6337
CPU time (s): 10.6006
CPU user time (s): 10.5208
CPU system time (s): 0.079816
CPU usage (%): 99.6886
Max. virtual memory (cumulated for all children) (KiB): 2076588
Max. memory (cumulated for all children) (KiB): 122580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5208
system time used= 0.079816
maximum resident set size= 122580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19461
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= 66
involuntary context switches= 18


# summary of solver processes directly reported to runsolver:
#   pid: 51731
#   total CPU time (s): 10.6006
#   total CPU user time (s): 10.5208
#   total CPU system time (s): 0.079816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034296 second user time and 0.089696 second system time

The end

Begin job on nodeC035 at 2025-07-01 17:54:19
IDJOB=4496637
IDBENCH=148137
IDSOLVER=3346
FILE ID=nodeC035/4496637-1751385258
RUNJOBID= nodeC035-1751381593-51038
SLURM_JOB_ID= 9598223
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_011_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496637-1751385258/watcher-4496637-1751385258 -o /tmp/evaluation-result-4496637-1751385258/solver-4496637-1751385258 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751381593-51038 --watchdog 3760  pb_picat HOME/instance-4496637-1751385258.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8b5bf961c87a396ec7afca67875fe4cc
RANDOM SEED=396131916

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.742
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.795
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.200
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.134
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.532
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.743
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.744
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3604.471
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124526324 kB
MemAvailable:   129369896 kB
Buffers:            1840 kB
Cached:          5596084 kB
SwapCached:            8 kB
Active:           705392 kB
Inactive:        5304824 kB
Active(anon):     418740 kB
Inactive(anon):    11604 kB
Active(file):     286652 kB
Inactive(file):  5293220 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9504 kB
Writeback:             0 kB
AnonPages:        415564 kB
Mapped:           113812 kB
Shmem:             18048 kB
KReclaimable:     205880 kB
Slab:             294868 kB
SReclaimable:     205880 kB
SUnreclaim:        88988 kB
KernelStack:        4256 kB
PageTables:         3900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6530776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC035 at 2025-07-01 17:54:29