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

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: 63794 MiB (60631 MiB free)
  memory of node 1: 64507 MiB (63033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528388-1752239528/watcher-4528388-1752239528 -o /tmp/evaluation-result-4528388-1752239528/solver-4528388-1752239528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752239453-114623 --watchdog 3760 pb_picat HOME/instance-4528388-1752239528.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
solver pid=114863, runsolver pid=114860
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 3.35 1.79 1.61 5/251 114864
/proc/meminfo: memFree=126615916/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2027148 memory=30060 CPUtime=0.1 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 1012 0 0 0 9 1 0 0 20 0 1 0 139632605 2075799552 7515 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 506787 7515 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 30060 KiB

[startup+0.213033 s]*
/proc/loadavg: 3.35 1.79 1.61 5/251 114864
/proc/meminfo: memFree=126611820/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2027148 memory=34220 CPUtime=0.21 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 1027 0 0 0 20 1 0 0 20 0 1 0 139632605 2075799552 8555 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 506787 8555 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 34220 KiB

[startup+0.313042 s]*
/proc/loadavg: 3.35 1.79 1.61 5/251 114864
/proc/meminfo: memFree=126607724/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2027148 memory=42412 CPUtime=0.31 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 1031 0 0 0 30 1 0 0 20 0 1 0 139632605 2075799552 10603 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 506787 10603 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42412 KiB

[startup+0.700344 s]
/proc/loadavg: 3.35 1.79 1.61 5/251 114864
/proc/meminfo: memFree=126591340/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2027148 memory=71084 CPUtime=0.68 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 1045 0 0 0 67 1 0 0 20 0 1 0 139632605 2075799552 17771 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 506787 17771 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71084 KiB

[startup+1.50032 s]
/proc/loadavg: 3.35 1.79 1.61 5/251 114864
/proc/meminfo: memFree=126554728/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2055764 memory=109072 CPUtime=1.48 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 7861 0 0 0 145 3 0 0 20 0 1 0 139632605 2105102336 27268 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 513941 27268 1728 343 0 511005 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2055764 KiB
Current children cumulated memory: 109072 KiB

[startup+3.11302 s]
/proc/loadavg: 3.35 1.79 1.61 5/251 114864
/proc/meminfo: memFree=126515616/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2060184 memory=114056 CPUtime=3.09 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 17620 0 0 0 303 6 0 0 20 0 1 0 139632605 2109628416 28514 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 515046 28514 1728 343 0 512110 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2060184 KiB
Current children cumulated memory: 114056 KiB

[startup+6.30031 s]
/proc/loadavg: 3.41 1.82 1.63 5/251 114864
/proc/meminfo: memFree=126483612/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2062248 memory=119100 CPUtime=6.26 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 21417 0 0 0 619 7 0 0 20 0 1 0 139632605 2111741952 29775 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 515562 29775 1728 343 0 512626 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119100 KiB

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

# cumulated CPU time of all completed processes:  user=12.1122 s, system=0.090699 s

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

[startup+6.40036 s]
/proc/loadavg: 3.41 1.82 1.63 5/251 114864
/proc/meminfo: memFree=126483612/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2062248 memory=119100 CPUtime=6.36 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 21417 0 0 0 629 7 0 0 20 0 1 0 139632605 2111741952 29775 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 515562 29775 1728 343 0 512626 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119100 KiB

[startup+9.60029 s]
/proc/loadavg: 3.45 1.86 1.64 5/251 114864
/proc/meminfo: memFree=126500068/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2062248 memory=119100 CPUtime=9.55 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 21447 0 0 0 948 7 0 0 20 0 1 0 139632605 2111741952 29775 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 515562 29775 1728 343 0 512626 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119100 KiB

[startup+11.2003 s]
/proc/loadavg: 3.45 1.86 1.64 5/251 114864
/proc/meminfo: memFree=126496540/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2062248 memory=119100 CPUtime=11.16 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 21448 0 0 0 1108 8 0 0 20 0 1 0 139632605 2111741952 29775 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 515562 29775 1728 343 0 512626 0
Current children cumulated CPU time: 11.16 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119100 KiB

[startup+12.0003 s]*
/proc/loadavg: 3.45 1.86 1.64 5/251 114864
/proc/meminfo: memFree=126488348/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2062248 memory=119100 CPUtime=11.97 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 21448 0 0 0 1189 8 0 0 20 0 1 0 139632605 2111741952 29775 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 515562 29775 1728 343 0 512626 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119100 KiB

[startup+12.2003 s]
/proc/loadavg: 3.45 1.86 1.64 5/251 114864
/proc/meminfo: memFree=126488348/131382112 swapFree=33010160/33010684
[pid=114863] ppid=114860 vsize=2062248 memory=119100 CPUtime=12.15 cores=4,6
/proc/114863/stat : 114863 (pb_picat) R 114860 114863 113672 0 -1 4194304 21448 0 0 0 1207 8 0 0 20 0 1 0 139632605 2111741952 29775 18446744073709551615 94606563479552 94606564881133 140723876075328 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94606565152560 94606567026800 94606594973696 140723876080028 140723876080104 140723876080104 140723876085708 0
/proc/114863/statm: 515562 29775 1728 343 0 512626 0
Current children cumulated CPU time: 12.15 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 119100 KiB

Child status: 0

Real time (s): 12.2415
CPU time (s): 12.2029
CPU user time (s): 12.1122
CPU system time (s): 0.090699
CPU usage (%): 99.6852
Max. virtual memory (cumulated for all children) (KiB): 2076588
Max. memory (cumulated for all children) (KiB): 122556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1122
system time used= 0.090699
maximum resident set size= 122556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21453
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= 67
involuntary context switches= 25


# summary of solver processes directly reported to runsolver:
#   pid: 114863
#   total CPU time (s): 12.2029
#   total CPU user time (s): 12.1122
#   total CPU system time (s): 0.090699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102962 second user time and 0.196562 second system time

The end

Begin job on nodeC009 at 2025-07-11 15:12:08
IDJOB=4528388
IDBENCH=148137
IDSOLVER=3385
FILE ID=nodeC009/4528388-1752239528
RUNJOBID= nodeC009-1752239453-114623
SLURM_JOB_ID= 9682520
Free space on /tmp= 431208 MiB

SOLVER NAME= pb_picat 2025-07-11
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-4528388-1752239528/watcher-4528388-1752239528 -o /tmp/evaluation-result-4528388-1752239528/solver-4528388-1752239528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752239453-114623 --watchdog 3760  pb_picat HOME/instance-4528388-1752239528.opb

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

MD5SUM BENCH= 8b5bf961c87a396ec7afca67875fe4cc
RANDOM SEED=1409127502

nodeC009 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	: 0xb00001f
cpu MHz		: 3642.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3662.673
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.278
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.462
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.230
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 3662.674
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1198.067
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.639
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126632476 kB
MemAvailable:   129472368 kB
Buffers:            2144 kB
Cached:          3571188 kB
SwapCached:           24 kB
Active:          1062648 kB
Inactive:        2938916 kB
Active(anon):     441988 kB
Inactive(anon):     4180 kB
Active(file):     620660 kB
Inactive(file):  2934736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9712 kB
Writeback:             0 kB
AnonPages:        430948 kB
Mapped:           115780 kB
Shmem:             17936 kB
KReclaimable:     247864 kB
Slab:             337696 kB
SReclaimable:     247864 kB
SUnreclaim:        89832 kB
KernelStack:        4048 kB
PageTables:         3932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6551872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431204 MiB
End job on nodeC009 at 2025-07-11 15:12:21