0.00/0.00 c MoUsSaka vegetarian
4.39/4.46
4.39/4.46 s UNSATISFIABLE
385.79/385.86 c Core is minimal
385.79/385.86
385.79/385.86 v 80105 80198 80268 80270 80340 80486 80556 80628 80558 80626 80559 80414 80484 80412 80342 80410 35651 35654 35667 35666 35663 35660 35657 35658 2229 2231 2235 2246 2239 2238 2240 2243 2247 2227 2228 2253 2258 35676 2242 80697 80764 80194 80106 35649 81246 2249 35679 35681 80841 80908 2256 80696 80766 2259 93777 2107 2104 2105 2108 2111 2101 35670 35672 80910 80840 80407 9976 35661 80482 80415 80554 80487 80335 80338 80271 35655 81264 81265 81266 81261 80479 80551 80191 80263 81243 81247 35652 81256 81248 81257 81252 81255 80266 80199 80623 5714 5653 81273 35664 81291 81279 81282 81292 81288 81283 81284 81293 81274 81270 81275 2244 2241 5774 5834 5833 5844 5836 5838 5842 151 2254 80692 80913 80980 80768 80838 35687 35685 2232 2234 2237 2236 2255 35691 81162 2090 2088 2085 2080 5447 81088 81034 5451 2318 2324 2321 2302 2327 2312 2306 2326 4780 5110 4787 4784 11652 2309 2315 81333 81324 5347 2257 152 2248 81160 81093 35690 35673 35669 2250 2164 2209 2125 2188 2185 2168 2129 2195 2192 2189 2213 2132 2171 2174 2216 2252 2251 80982 35682 80836 80769 80905 35684 35688 11650 81318 80977 35675 35678 80912 2265 2271 2268 2262 81337 81354 81346 81342 81336 81157 81345 81338 81347 81357 81351 9951 9960 9956 82315 82320 81168 81165 81222 81234 81207 81200 81194 81182 82317 82319 81213 81228 81216 81210 81219 81225 81188 81191 81197 81237 81203 81240 81320 84726 83046 83042 83040 83043 83045 380 378 379 375 374 376 381 373 377 84696 84692 84688 84691 83481 85980 84738 83631 83623 81309 81363 81360 81329 81311 81366 83484 84360 84356 84354 83927 83925 83626 83624 84729 83766 2167 2146 2150 2153 2091 84718 84723 84715 84719 84716 84735 84739 84740 83485 83486 84741 84736 83928 83924 83922 679 687 682 680 683 82901 82898 82896 82899 82902 82519 84737 84733 84709 84714 83330 83328 83334 83333 83331 83200 84707 347 350 349 354 346 84765 83618 83619 83616 83340 84071 84501 84069 83621 84500 84498 84213 84215 83488 83622 84503 84504 84370 84219 83630 83628 83625 84804 84796 84797 84730 84800 84732 328 329 336 331 84654 84651 84655 81306 81310 83187 83056 83189 83184 83186 83190 84699 84704 84703 82903 82911 82906 82907 82904 84697 84698 84700 84705 82905 82910 82909 82908 84708 80833 81315 81327 81319 81328 81381 81369 81301 81384 81302 81372 81378 81387 81390 81300 81375 81297 333 9977 2322 2310 2307 2316 2304 2313 2325 2319 2301 2298 2328 84849 81238 81218 81227 81230 81239 81233 2087 81236 81221 2682 2457 2822 2820 2826 2418 2421 2415 2417 2420 84063 2760 2762 2763 2757 2759 2816 2492 2490 2493 2489 2487 2889 2951 2949 2562 2564 2565 2559 2683 2561 2539 2681 2680 2688 2684 3012 3015 3011 3009 3014 2737 84380 84486 3000 3006 83211 83314 83327 2481 83325 2483 2943 84494 3008 84492 2405 83033 82923 2411 83037 83039 83026 2409 83031 2385 2395 2382 2384 2293 2381 2379 2685 2687 2885 2883 2879 84093 84201 2604 2607 2609 2608 2453 2451 84734 2454 2456 84936 2431 84858 84860 2756 2753 83919 83805 83908 83921 83804 83918 2750 83916 2603 2605 2610 2606 2602 2635 2638 2636 2643 82892 82886 84350 84344 84203 2937 2370 2378 84348 82529 82890 82884 2376 82882 2375 2369 2373 2329 82893 82889 82887 82530 82895 5474 5269 5466 2467 3240 2741 2639 3213 3205 3209 5491 5487 5492 5490 3243 3238 82912 83794 84764 84769 84809 84791 84786 84770 84782 84806 84778 84808 84813 84779 84795 84790 330 334 84894 2679 2675 2672 2671 2674 84216 84648 83478 83762 83763 83765 83632 3078 2601 2529 84891 84896 83759 84878 84876 84877 84945 9975 84212 84647 84514 84359 84357 83938 84642 84210 84082 84226 84068 84066 84645 4790 83474 83475 83344 83472 83477 9966 4797 3072 2946 3075 2886 2989 2800 2926 2823 2948 84941 84939 84967 84968 84932 84966 84963 84950 84949 2600 2528 2503 2523 2598 2595 2575 2597 2526 2525 84954 84495 3005 84484 84381 84489 4791 4796 83797 83905 4800 4799 2568 2571 2572 2573 2460 2463 2465 2464 84762 83498 2556 83606 83599 2550 2552 83609 83615 2549 83604 83602 83491 83610 83183 2445 83177 2441 83067 83181 83175 2447 83170 2448 83172 83178 83066 83059 83167 2434 83627 83203 2470 83324 2478 2484 83322 83318 2480 83210 83316 84524 84630 3063 84679 84687 84682 84680 84683 3062 84232 84088 2813 84206 2803 2880 84376 84481 84373 84337 84345 84340 2940 84351 2936 84056 84517 84635 3055 2874 84193 84085 84628 84092 2876 3068 83948 2414 83036 2408 82922 2412 2406 83034 83028 83350 2592 83757 2586 83748 2594 83023 2589 83462 83638 84869 83751 2588 2591 83756 83746 83465 83354 2585 83466 84851 83642 84846 83750 82915 83468 83455 83469 83471 83206 2520 84867 84850 2513 83458 82918 2506 83463 83753 82492 82496 82511 82502 82499 82508 82505 82514 82517 83335 83343 83339 83338 83336 83319 83321 84049 84204 84625 2882 84200 84868 3069 2810 84525 3071 2929 84636 83311 3066 84057 84633 84632 84639 84959 2992 84957 84720 84722 84717 84721 84711 84731 84690 84693 84695 84694 84771 84780 84801 84783 84681 84686 84685 84810 84802 84792 84798 84793 84794 84774 84775 84776 84374 84811 84812 84807 84784 84785 84766 84767 84713 84744 84753 84750 84747 2668 2667 2664 2669 2497 84923 84921 83800 84922 3235 3239 2499 3255 3259 3246 3258 3260 2424 2496 3273 3278 3276 2391 2392 2388 2393 2535 2536 2532 2537 3277 2501 2500 359 363 355 358 83636 83479 83483 83482 83487 83480 367 372 365 368 364 341 688 692 728 718 691 723 716 696 706 710 714 709 724 732 727 689 719 700 697 698 705 701 707 725 715 3262 3270 3254 3271 3261 3256 3263 3265 3245 3275 3274 3272 3279 2430 2422 2423 2426 2542 83494 83062 84837 82525 84759 84756 84816 84825 84822 84828 84819 82524 82891 82523 82894 83038 82917 83348 83637 83349 83035 82916 83467 83758 83755 83493 83611 84375 84231 83182 84640 84208 83060 83943 84496 84061 84205 84519 84064 84352 84230 83061 84349 84087 83179 83323 83920 83798 83799 83492 84493 84518 84086 83942 83917 83614 83205 83326 83204 342 5443 5489 5493 3002 2945 2514 83743 83910 2748 84491 84237 82522 84864 2747 84059 2517 84859 84855 2754 83912 2939 83643 2477 84342 2999 2486 3003 2522 83174 84198 2811 84062 2866 83944 3065 2873 83915 84207 83949 2751 2877 2817 83913 84060 2814 84209 84641 4793 9973 9953 9970 9946 9954 9958 10059 10040 10039 10005 10030 10065 10062 10035 10023 10015 9961 10025 5486 5444 9952 9944 5125 10056 10020 10053 10007 9964 9963 5123 10002 5462 5419 5468 10068 10014 10006 10038 10047 4794 5473 10024 10049 10016 5197 10011 9965 9949 5472 9945 82879 867 87974 87977 86061 87741 86223 85899 82349 82404 82379 382 87795 83769 83772 83774 83773 83052 83054 337 338 345 384 2670 2666 2662 2665 2663 2657 383 385 386 390 344 339 343 395 407 391 401 392 398 397 406 394 400 403 404 2661 2656 2654 2653 2710 2690 2644 2689 2645 2652 2648 2647 2708 2714 2711 2697 2693 2692 2707 2702 2698 2701 2713 2705 2704 2699 83342 83337 83341 84222 84223 83629 84882 84885 84887 84886 348 351 352 84727 402 408 405 357 360 335 361 362 371 370 369 366 387 388 389 399 393 84725 717 708 681 720 722 713 712 711 684 694 704 685 699 693 686 702 695 690 703 731 730 729 726 738 747 741 744 735 87971 87968 87962 87965 83795 84366 84663 84083 84511 84368 83790 84669 83939 83935 84512 84672 84078 83934 84363 83931 83049 83053 84656 84079 83936 84666 83196 84675 84080 83793 84507 84660 83197 83784 83781 84224 83778 83193 83198 743 742 746 740 736 745 734 733 737 739 3537 86138 86136 86139 86141 35668 86075 86076 86134 86057 86055 86058 86060 81215 81211 3182 3178 3186 85994 3183 3210 3207 3212 3211 85995 86053 3180 84657 84652 84649 84650 84653 84221 84218 84225 84220 84763 84761 84768 82493 86073 86140 86059 85991 86072 3184 84781 3185 85977 85979 85974 85976 85828 86071 85896 85990 85909 85895 86219 85893 85898 86152 86217 86220 86222 85913 85972 85914 86157 86050 86215 86156 85891 85833 85969 86131 86212 85832 3483 86056 85818 748 749 86154 86221 86218 86153 85816 84678 84677 85897 85829 85830 83767 83775 83770 83771 83768 83047 83055 83048 83050 83051 2641 2642 2640 2637 84362 84369 84361 84365 84364 83780 83785 83777 83194 83199 83783 83776 83195 83192 83782 83786 83191 84074 83788 84077 84505 84668 84671 83792 84513 84658 83930 84076 83929 84667 84073 84661 84664 84670 84662 84665 84508 84673 83789 83937 84081 84674 83791 84509 83932 84506 84659 3429 85910 85911 3375 85975 86456 85894 85813 3591 86451 86463 86436 86447 86460 86487 87796 86349 86329 86338 86346 86437 86464 86438 86473 86445 82400 82376 86465 86490 86454 86433 86478 86455 86484 86481 82396 86343 86334 86325 82372 85814 85812 84676 85817 85815 84833 84834 85810 85807 750 894 786 840 1908 1910 1909 1869 759 1851 1854 86253 86280 86283 86284 86285 813 86271 890 886 893 891 758 756 86289 86292 86293 86294 866 864 859 863 751 755 86301 86298 86303 86302 86265 86267 86262 86266 783 778 785 782 86257 86258 839 832 836 837 784 780 781 806 808 807 811 865 860 862 861 779 888 892 805 812 809 752 754 86274 86275 86276 753 887 835 86307 86313 889 834 86316 838 833 86310 757 86322 86319 82413 87736 1890 86062 86066 86070 86065 86063 1887 1892 1891 1872 1873 1874 82410 82407 87951 87915 1833 1837 85822 85823 85827 85820 1836 1838 1927 1928 1926 1923 1855 1941 1935 1932 1938 1856 85982 85989 86236 86243 85981 85985 85984 86240 87949 87739 87793 87841 87913 1944 86246 86224 86228 86225 86227 86232 86147 86144 86151 86146 86143 85904 85903 87993 85908 85901 85900 87843 87946 87790 86256 84789 81178 80761 84706 84777 83470 84772 80196 84684 84072 85978 84644 85992 84702 84712 84637 721 84367 81224 84217 83933 83779 84788 84510 84803 396 353 83787 81185 84075 1905 332 85888 81231 84773 84724 86142 340 21176 10060 10046 10050 10021 10061 10042 35686 35653 10058 10063 10017 10067 10019 10026 10064 10013 10055 10009 89502 89457 10227 10221 10187 10191 10185 88539 88323 10082 10080 10260 10262 88593 10224 10226 10293 10299 10295 10407 10401 10403 91650 90708 10512 10514 10511 10509 10515 91654 10083 10079 10077 10349 10347 10353 90438 90654 10406 10404 90492 10377 10379 10374 10380 10376 10485 10487 10484 10488 10482 10498 91292 90600 10460 10458 91614 10455 10461 10457 10431 10433 90546 91623 10350 90384 10352 10336 5945 5948 10434 10430 10428 91628 91627 91626 91288 91296 30759 91608 30492 91020 91017 91289 30760 30485 30487 91290 91295 91294 91293 88377 10116 10118 10154 10152 88431 10298 10296 88647 29779 29787 29783 89340 89454 90082 30036 90143 90141 90147 29985 90066 10282 28971 29781 10113 10188 10190 10115 10119 88485 88703 90260 90258 28938 89458 89508 92748 30120 90213 90209 90207 88681 29928 89990 90257 90255 90261 89994 89988 30078 92750 90146 90144 89463 10246 89475 10263 10259 10257 10151 10155 10149 90283 88698 89320 29763 29769 29761 89322 89002 29449 88999 89000 29448 89007 89003 29445 29450 89511 9997 88774 88775 88778 88782 29220 88777 29223 28959 89991 89987 89985 88793 29243 29274 29278 29925 90065 90063 29238 29242 90069 29241 29927 28951 91619 91617 91610 10363 91618 31158 92406 92368 92402 31299 92400 92451 92454 92133 90742 31098 92217 92213 92211 92139 92135 30763 92291 90795 92289 90792 90801 90797 90804 90806 90805 90796 30271 30276 30269 30272 30268 91024 30499 91032 30275 30274 30270 30273 30261 30265 91637 89352 29739 89291 29757 89325 89321 89309 29535 29537 29536 89087 29532 89090 89094 29775 29533 89088 29737 29738 29742 89295 29735 29778 89310 29756 29752 29762 29760 29774 89331 29788 89349 29219 29789 89347 89345 29790 29771 89329 29279 29277 88796 88792 88795 88800 29250 88805 29247 88809 88801 29753 29755 30030 30032 29224 29225 29283 29304 29251 29265 29301 88804 29269 29295 29289 29268 29252 29270 29286 29298 29292 88802 88784 88786 29233 88791 29229 29260 29256 88808 88806 88779 88780 88781 88776 90060 10138 29979 29981 89041 89042 89049 89044 29487 29491 88807 88803 90137 29764 29780 29758 29754 29226 29218 29221 88893 88898 88897 90254 30117 30119 90231 90247 90252 88895 29337 29341 88899 29340 88891 88858 88856 29248 29245 29253 29249 29246 30026 30024 29796 29792 30006 90243 90245 90249 88823 30114 30110 88818 88837 88843 88849 88819 88852 88844 88836 88853 88850 88832 88829 88831 88828 88827 88847 88859 88840 88822 88855 88820 88841 88846 88838 30113 30111 90246 90248 30004 29975 29969 29973 30020 30105 29422 88972 88982 29469 29466 29405 89036 88964 88975 29912 89300 29748 29745 29747 89307 89060 89051 29568 29751 89045 89067 89050 89058 89123 89053 89126 89110 89119 29544 89120 89059 89125 89098 29565 29499 29500 29517 29966 89076 89116 89122 89068 89114 89117 89054 89113 29571 29505 89062 29509 89301 29749 29750 89096 29545 29541 29496 89072 89063 29556 29553 29550 29510 29546 29501 29490 29559 29492 29508 29519 29562 30101 30102 30097 90237 29402 29406 88959 88961 88686 30260 91645 91646 91644 91641 30267 30262 30263 30259 92358 92302 92354 92352 91632 92149 92292 92286 92403 92405 31257 31212 92288 92227 9985 9995 9989 9992 106263 31104 30204 30206 30210 29259 29261 88989 89033 29481 29423 89035 88962 29418 88976 89012 29484 89020 89029 89008 29409 89039 88966 88967 89018 88971 29412 29403 89016 88954 29427 88957 29400 89032 88980 89021 88981 88963 89017 29404 88985 88955 88984 88998 89023 88973 89030 29421 29430 88958 29432 29431 29463 89026 89038 29413 29478 29457 29472 89024 29459 29414 29475 89027 30016 30100 89298 29458 89011 89009 29454 88810 88814 89293 29528 88990 88994 29439 29441 30762 91218 30689 31088 30693 91223 31086 91222 30688 31094 30687 91224 91220 91216 92123 92121 92129 31206 31202 31200 106755 106758 31174 4811 4814 4817 4807 106750 31562 92236 31323 31319 92274 92276 92432 92436 92426 92419 92424 92430 92207 31097 31095 92138 92132 92136 92124 92130 92195 92199 92453 31144 31125 31157 31151 92346 92348 91287 91282 30755 30753 91283 30754 91280 91286 91284 91279 30749 31312 30751 30756 91281 31090 31253 30393 30596 30496 30494 91023 30490 30486 30594 91015 91016 91128 91120 91124 92280 91018 90790 90798 90794 91363 91364 91360 91368 91361 30832 30830 30837 91367 91365 90802 90803 90807 90799 91362 90793 90791 92216 92214 90854 30329 90861 90853 30324 92208 31298 92399 92230 92397 30593 30590 91122 91126 91030 30493 30488 91021 91029 91031 10210 28953 29777 91353 28958 28956 88757 88760 88754 88728 88768 88766 28976 28975 28974 88739 88742 88738 88746 28922 28921 88684 88688 88692 88685 88687 28986 28966 28965 28948 28939 28998 29001 28980 28944 28949 28995 28935 28940 28947 28989 88729 89503 89499 88730 88732 88737 88751 88733 88711 88715 88710 88706 88712 88702 88719 88705 88756 88753 88714 88720 88724 29367 88926 88918 88922 28931 28930 28926 28929 88696 88693 88701 88762 88748 88759 88916 88915 88914 88911 88905 29357 29352 29361 29353 29354 29356 88871 88866 88869 88870 29311 29325 29316 29312 29318 29309 29308 29320 29358 88917 88913 88909 29373 29360 88912 29376 29379 88868 88872 88867 29323 29319 29310 29331 29313 88864 29315 88865 29333 29314 29385 29342 89312 89308 29332 88886 88890 89316 88882 29364 88908 29394 28957 29785 29784 29786 10102 88723 88721 88903 29346 29350 89080 89078 29523 88901 88813 88811 88991 88993 29440 29436 29345 88902 29347 88907 29348 29349 88904 29351 88900 89504 89493 89495 89494 89314 89297 89313 89315 89296 29793 29795 89490 10223 29776 89318 30108 29772 89089 89086 90311 90290 90288 90129 90131 89993 88896 29369 29355 29359 29391 29324 29382 29388 29328 29368 89095 89103 89105 89108 89107 89085 89081 89104 29527 29526 89077 89111 29234 88787 28962 88783 29232 90062 28967 89099 89292 29773 30823 30828 30821 28952 28954 31296 90839 90774 90778 30246 90776 90780 30244 90772 92433 31326 92456 92435 90831 30235 31322 30290 30220 30278 30216 31320 30285 30245 30242 30249 30251 30254 30258 90786 30250 30253 90788 90787 90769 90768 90816 30282 30289 90770 90819 30248 30243 30247 30281 90825 30280 90756 30227 90759 30231 30293 30287 30277 90822 90782 90758 90762 90766 90764 90771 30300 30297 92398 31252 92128 31271 31294 92373 31321 92206 90783 30240 30236 90765 30223 92452 31314 92347 31297 92428 31342 31272 92421 92395 31093 31153 92372 30239 90785 30266 30228 90789 90784 30237 90757 90755 90754 90767 90763 30232 30224 30283 90747 90750 30219 90752 90828 90751 90810 30218 30298 30286 30292 90779 30284 30291 30288 30294 30221 30279 90813 90761 30215 30238 90781 90760 30226 90777 30233 30241 30222 30217 30214 30252 30225 30256 30255 30257 30229 30264 30230 30234 31142 91359 10417 10390 92201 31152 30311 30310 30333 30319 30378 90905 90919 90866 90904 30369 30372 90916 30338 30337 90920 90914 90910 90908 30384 90917 31139 31148 90858 30323 30325 30330 90860 92125 31339 90870 30387 90893 30354 90881 30306 90843 90836 90847 30318 90848 90924 30320 30360 30355 30363 90897 90884 30356 90883 90890 90984 90967 30431 30433 90963 31289 92351 92345 92343 92357 30513 92349 90972 30398 90977 90985 30416 91008 91005 30422 30420 90957 30470 30463 10444 92267 30505 30506 91047 91066 91062 91044 30511 10471 91133 30532 30603 30605 30604 91130 91137 92394 31270 92396 30600 31091 30515 92355 30466 30397 30395 30472 90930 90932 30402 90927 91043 30516 91064 92393 31290 31245 31247 91135 30601 91131 31344 92457 30478 90887 30352 30349 30599 30606 30350 90886 30357 30598 91134 30602 30424 90954 30460 30443 90948 30413 90990 30464 30457 90981 91011 90945 30415 90950 90976 30421 90986 30467 30429 30407 30451 30425 30394 30412 30440 30473 30438 30452 90949 30449 90940 90996 90936 92155 92339 31244 30481 30752 30595 30591 91095 91092 91049 91075 91071 91080 30568 30521 30523 30510 91039 30502 91038 91035 91040 91041 92446 30504 92120 91037 91033 30507 30508 92334 92331 90841 30308 30312 90840 90842 31240 31120 31279 30503 92337 31135 90906 90850 30321 30371 90915 30317 90921 30331 90891 31211 90873 90877 30341 30383 30316 90868 30377 31203 90851 30322 30366 31209 92109 92197 92160 30379 30373 90867 30380 30389 90869 30370 90903 30367 30386 30361 90912 30362 30359 90846 30368 30335 90849 90895 30382 91123 30535 91059 30526 30522 91097 91052 91054 30525 91051 31083 92192 31280 31236 31239 31241 91245 91149 91154 91152 30624 30619 30617 31238 91248 91250 30713 30715 31136 91243 91247 91246 30719 30717 30714 91251 91212 91214 91269 91254 91260 91203 91266 91205 91230 91232 31080 92384 91194 91200 91115 92189 30618 91150 91148 31128 91147 30622 91151 30621 30623 30819 30744 30816 30746 30813 91332 30741 30768 30745 91270 91340 91319 91274 91345 91348 30780 91314 91310 30810 91318 91327 30786 30782 30799 30773 30789 91298 91324 91339 91349 30771 91346 91343 91301 30790 91333 91325 30795 30804 91328 91315 91278 91334 91306 30800 91207 30681 91211 31143 31140 30829 31132 91167 91188 30574 91104 30579 31076 92185 30898 30865 30869 30846 30838 91371 30839 30841 30627 91157 91159 91114 91111 30585 91112 30586 30587 30582 91119 30866 30887 30895 30645 30631 30855 30642 30889 30899 30884 30630 30654 30847 30874 30648 30657 30890 30651 91174 30578 91171 30576 91178 91103 91175 91180 91165 91169 30892 91102 30851 91156 91177 91160 91183 91105 91187 91146 30878 30883 30896 91168 30636 30577 30864 91138 91142 91139 91476 30924 91458 30908 30903 30906 91436 30907 91451 91453 91472 30942 91468 30944 92262 92327 30705 91235 91234 91237 91242 91238 91252 30708 91259 30735 30729 91198 91199 91255 91261 91226 30696 91217 30673 91264 91268 30732 30726 30723 91233 91256 91262 91258 30674 91265 30669 91267 30931 30945 30940 30954 91474 91484 30938 30941 91475 91473 91446 30958 30949 30947 91493 91492 91483 91488 30956 91479 91491 91470 91482 30950 30963 30911 30918 30913 30905 91465 30902 30901 30909 30923 91464 91461 91452 91466 91457 91455 30959 91456 91447 91443 91438 91434 30914 92186 30808 30818 30815 30812 30805 30747 30767 30809 91304 91331 30814 91299 30788 30792 91302 30742 30803 30797 30783 91276 30806 30770 30802 91321 91350 30793 30817 30811 91344 30801 30859 31191 31199 92273 92271 92268 31197 31188 91311 30779 91313 30775 30939 30943 31069 30531 91063 91143 31184 30607 31126 30875 30877 30882 31131 31134 92279 90952 90987 90928 91383 90926 90989 30396 90991 30437 30409 30401 30414 30454 30833 90969 92283 91215 90878 30868 30873 90876 90922 31248 31256 31254 91208 91210 31133 90997 90942 90947 90943 90960 91107 30509 31336 91096 30653 91085 30640 30629 30620 91176 30544 30575 91087 91118 30589 91091 91079 31281 92388 31193 92336 91303 91320 31123 31295 91100 91170 30647 91109 30643 30558 30625 31293 31273 30641 30545 91081 91161 91078 91108 91182 91073 30626 30571 30580 91173 91163 30588 30500 30540 31127 30637 30628 91125 30616 30649 30567 91025 92382 30549 30638 91088 91113 31283 30644 91162 91070 91185 91072 91053 91076 30559 30551 91074 91057 90874 90872 90775 90749 90824 90944 90746 90827 90815 90808 30419 90745 90811 90818 90753 90809 90821 91001 90812 90933 90929 30462 30450 90983 30848 30893 30886 91225 91229 30614 90871 30345 30850 30842 30444 30613 30563 91065 30556 30537 91056 30542 30554 30539 30546 30520 30548 91101 30550 30533 30538 30553 30557 30514 30529 90946 90978 30426 90970 30408 30427 30417 90937 30477 91010 30405 31234 90953 90800 90748 90814 90823 90973 30453 90938 90992 30391 30410 90934 30480 30423 90965 30468 90951 92285 30400 30418 90971 30435 90988 90829 90925 30399 90820 90773 90980 91009 90817 90935 30459 90974 88704 88725 88722 88726 88727 88700 88940 88948 88943 88894 88942 88946 88937 88933 88939 88945 88881 88931 88936 88921 88930 88877 88934 88928 88876 88873 88874 88949 88927 88919 88699 88695 88717 88713 88716 88734 88752 88745 88736 88749 88761 88764 88707 88709 88708 88735 88731 28963 28964 28961 28968 28960 88718 88740 28970 90202 89983 30073 89476 89472 89467 89466 89468 89477 89512 89513 92838 89350 89351 89346 89305 89304 89306 29766 29767 29768 29538 89091 89092 29534 29530 29531 89093 88956 29486 29512 30107 89048 29520 88960 89075 89073 29493 29488 89070 89074 29398 89043 29399 29401 29516 89046 89338 88747 88750 88697 88694 89294 89290 88883 88885 88910 29222 90072 89302 88892 88741 29759 28920 28992 28983 88763 28917 29317 29321 29322 90068 90004 30104 87798 1404 1406 1416 1411 1403 1408 1412 1407 1313 1322 1317 1318 1326 1362 1352 1355 1357 1350 1321 1316 1358 1354 1349 1314 1319 1353 1345 1372 1363 1371 1373 1376 1380 963 1375 1368 1367 1370 1538 1743 1734 1698 1717 1731 1563 1569 1536 1638 1659 1749 1689 1542 1643 1656 1660 1661 1653 1627 1566 1539 1728 1541 1640 1704 1685 1644 1683 1641 1263 1179 1231 1172 1215 1208 1213 1209 1210 984 1336 1340 1335 1339 1344 1337 1334 1332 1331 1327 1264 1267 1398 1388 1386 1391 1393 1309 945 1390 975 1389 1394 972 1381 936 1399 954 1245 1249 1251 1246 1244 1516 1571 1570 1705 1688 1686 1672 1706 1795 1779 1791 1776 1796 1775 1788 1794 1773 1778 1762 1611 1806 1803 1751 1800 1750 1593 1809 1582 1616 1812 1598 1615 1595 1197 1190 1694 1739 1740 1555 1695 1562 1784 1742 1600 1650 1607 1589 1063 1042 1034 1051 1073 1765 1007 1064 1070 1727 1002 1077 1010 1585 1005 1061 993 1533 1018 1535 1050 1052 1679 1532 1067 1054 1769 1059 1016 1072 996 1680 940 941 950 1024 1675 1772 1009 1028 990 1635 1637 976 967 1725 1066 1043 1036 1046 1014 1720 1060 985 986 1528 1592 1041 1069 1019 949 1023 1032 1045 1033 1724 939 1015 999 1630 1006 1055 1682 1037 966 948 968 1177 1173 1174 1526 1273 31181 31285 31337 92338 92450 92447 92238 92237 92448 31278 91014 31195 92423 92386 92335 92840 92865 92862 92839 92835 92857 92849 92853 92847 87846 87850 87801 87966 87958 87978 87972 87849 87954 87803 87918 87975 87921 87851 87747 87748 87744 87969 87922 87923 87802 87749 87886 87957 87882 87963 87959 1599 1614 1608 1271 1278 1262 1269 981 1227 1746 1596 1161 1502 1550 1495 1552 1499 1453 1457 1553 1461 1464 1446 1503 1500 1497 1255 1234 1238 1242 1252 1256 1260 1467 1253 1482 1451 1450 1400 1469 1468 1491 1477 1478 1494 1473 1476 1442 1441 1437 1440 1485 1486 1487 9968 85824 1224 1220 1216 1228 1233 1237 1235 1226 1458 1460 1303 1160 795 801 1520 1295 1519 1292 1289 1522 1525 1548 1159 1554 1523 1545 1279 1551 1286 798 852 855 849 903 909 104 1217 588 581 803 802 856 921 906 911 924 910 915 918 857 83 85 90 103 121 126 1198 1202 1192 1201 1184 1180 1188 1280 1291 1183 1181 1282 15 576 1455 1459 1301 1631 1534 1771 1681 1693 1556 1766 1544 1767 1272 1480 1479 1529 1726 1239 1241 1293 1696 1782 1496 1164 1768 1530 1692 1521 1647 1781 1648 1632 1783 1490 1601 1606 1603 1284 1587 1591 1586 1602 1722 1633 1484 1786 1527 1447 1452 1168 1721 1737 1677 1290 1493 1281 1676 1646 1561 1549 1736 1296 1524 1543 1557 1723 1588 1651 1463 1531 1492 1738 1741 1558 1636 1691 1465 1466 1483 1481 1275 1488 1470 1203 1204 1200 1448 1444 1445 1221 1456 82 86 1223 1814 1429 1421 1420 957 1427 1430 1417 1424 1813 1423 959 1432 1433 1418 1426 1816 1817 118 122 630 557 43 60 25 597 601 579 570 651 647 21 593 602 598 599 625 8 53 63 7 48 552 594 565 69 561 3 642 12 26 24 589 596 629 39 6 17 584 660 553 648 51 560 66 575 643 653 57 566 563 634 652 638 633 655 656 1832 1839 1831 1834 876 882 794 848 144 845 137 841 846 134 140 902 130 791 900 792 76 74 91 95 1348 1346 611 620 624 617 607 615 34 612 614 30 33 616 35 619 872 117 113 1383 1297 1300 128 131 1347 73 77 92 94 774 884 765 927 776 814 775 822 127 768 110 818 133 760 825 873 771 139 875 829 868 112 136 821 883 28925 28932 28924 28928 28927 28955 28943 28946 28950 28945 28942 1764 1763 1756 1761 1754 1755 1774 1673 1664 1626 1628 1619 1513 1597 1402 1310 1384 1382 1515 1405 1687 1333 1709 1642 1639 1364 1584 1401 1711 1330 1714 1366 1328 1574 1509 1674 1510 1729 1719 1540 1518 1581 1579 1506 1575 1311 1621 1718 1594 1576 1666 1684 1365 1369 1629 1665 1716 1620 1669 1315 1508 1537 1329 1312 1517 1710 1624 929 671 667 677 674 928 668 670 1821 673 664 661 665 662 932 931 767 16 895 101 109 119 99 578 72 558 52 1387 108 879 100 830 676 1288 1274 1027 1025 1634 899 1671 1270 1283 632 44 637 1219 1351 1697 1604 1780 1560 1649 1785 1735 1787 1605 42 819 1690 1454 1218 1474 1489 1472 1240 1257 1185 1438 1443 1182 1186 1435 1436 1439 28919 28977 28973 28923 28988 28985 28982 28979 28918 28916 28972 28997 28999 28990 28915 28987 28937 28933 28941 28978 28936 28934 1852 1857 1853 1850 85905 85907 1849 85821 85826 85825 1501 85983 1911 1929 1871 1889 1875 1906 1868 1904 85902 86235 86231 86247 1888 86148 1925 86226 1893 1886 1885 1922 1870 86230 1924 85988 86150 1835 86064 85986 85987 1903 1907 86069 86068 86238 86149 86145 86229 86244 86067 86241 1867 1921 85906 1939 1943 1942 1931 1934 1930 1936 1933 1937 1940 86250 1498 1205 1475 1259 1471 1258 1254 1287 1276 1547 89071 29518 89069 29514 93129 93131 9934 9938 29000 29744 1947 46099 80101 68212 54559 118186 3619 8110 35119 20578 28897 9730 15487 4663 2074 118191 118192 1759 764 1285 977 1652 1678 1733 635 1385 958 571 1701 1777 1222 1730 1195 1187 580 1559 787 1191 81 1199 1770 1462 828 1449 1206 1308 1277 1409 1645 650 1236 1590 583 1583 1546 562 10174 4863 4859 4855 88497 88537 4899 4895 88534 88496 4891 10219 10215 88429 88389 4896 4898 10214 4932 4934 88208 10075 10071 88334 88388 4860 4862 4918 4926 88321 88209 88318 88426 88550 4881 4877 10251 10255 4880 4878 4873 88591 88551 88588 4921 4919 4917 4913 4909 4842 4844 4931 4935 4927 88483 88443 4823 4827 4824 4826 4819 4916 4914 4886 4882 4890 4885 88442 88480 4883 4836 4832 4828 4831 4829 88675 88678 89319 89323 10070 10287 10291 10072 10143 10147 88605 88645 10286 88335 88375 88604 88642 88372 10288 4845 4837 4841 10250 10106 10252 10183 10179 10216 10108 10111 10142 10107 10144 10180 10178 9947 29782 15518 15517 15520 15521 15525 15836 15838 15835 15843 15839 3600 3592 3596 30709 30787 30364 90889 91316 91285 30541 91221 91172 91022 90852 30748 91317 30784 91026 91086 91058 91083 92205 30305 90857 31085 30769 31287 92270 90966 90959 90856 92115 30635 30495 30334 30404 31146 30448 91117 30315 30561 91158 91093 90993 90837 91329 30534 92111 30314 91244 30447 92127 91338 30652 91046 90894 30313 30347 30428 90844 30564 30304 91127 30528 30566 90859 30461 90882 90994 30484 30465 31341 92340 31183 30738 30710 31092 31082 90958 92182 30519 30547 30670 30336 90902 30611 31196 31250 90907 92210 30610 30612 90892 30455 91007 91347 30497 30581 30469 30530 91257 30524 91272 30757 30441 92429 30639 30565 91012 30720 31154 91219 91036 91179 30608 91061 90962 30491 30353 30374 31237 90855 31185 92374 30376 30656 92282 30536 30517 91145 91635 91098 90900 90909 91084 30691 91121 92333 91326 30774 90956 30375 90901 92269 30296 30672 30390 91263 91297 91077 30432 30785 30552 30555 30685 91330 30796 91028 92377 30682 30633 30655 30512 91335 91202 91060 30560 92265 30309 30634 91141 30609 30632 30430 92119 31227 30573 30501 31137 90979 30498 30456 91034 30458 92379 91322 30326 91206 31084 92158 31343 91181 92390 92371 30446 91106 92427 90913 31145 92416 91094 30562 91003 30758 31242 30475 91144 91006 31138 30476 91067 91636 90838 30584 31074 30740 31284 31208 31315 30650 90864 31089 92117 31251 30699 31317 91116 30692 30683 30761 30667 30411 90888 90863 30678 90845 90898 91341 30798 30381 90995 91291 91082 91132 30358 30765 90865 90879 90964 30583 30597 91042 91201 30348 30346 30344 30340 90875 30342 30750 30766 91153 91129 30388 91337 91305 30339 91050 91027 31180 92126 92118 30718 92332 30686 30483 30439 30772 30764 30328 30327 90835 91140 91300 30791 90862 31149 30671 30570 31194 91089 90968 92342 30365 30343 90899 91204 30332 30675 31129 90931 91448 91099 91136 91336 30700 91342 30489 91019 30527 91045 90999 90955 90880 30385 31282 30434 30592 30543 91155 91184 91186 30690 92277 91048 90911 90918 91110 90998 31276 92202 92204 30701 30794 91312 92191 92391 31292 91197 90896 30615 31155 30474 30572 91090 91196 91004 91253 30307 91055 90982 31205 30351 92329 30569 30471 30668 90885 91166 91164 91068 30807 91323 30436 90961 30445 91000 30646 30518 91069 91228 29794 30860 30857 30856 89328 29741 89459 29740 29736 86376 15825 15821 15818 86369 86368 86372 15817 15820 4865 92541 16824 4867 4864 4872 4868 3593 3595 3434 86375 86374 86373 3430 86370 3431 3438 3433 5324 5325 5328 5331 5329 5330 5326 15798 15793 15790 15791 15794 15808 15848 15803 15811 15809 15816 15847 15830 15812 3598 3594 3599 3597 5175 5178 5180 5179 89327 15834 15826 15866 15868 15863 15802 15807 15874 15875 15871 15853 15844 15852 15799 15854 15857 15865 15800 15869 15872 15856 15860 15845 15859 15827 15862 15829 4904 4908 4900 4903 4901 5044 5083 5081 4948 4955 4952 4958 5102 5105 5109 4961 9943 4998 4994 4991 5045 4993 16762 16767 31424 31420 31428 5004 4999 5006 5003 5007 4922 31441 16769 35647 35665 35659 10340 4968 4970 4988 4986 4847 4846 4957 4854 4850 4849 5098 5016 5009 5012 4954 4946 4951 4949 4937 4939 4944 4945 4960 5034 10476 5057 10453 10448 10449 4981 10372 4985 10367 10369 4786 4971 10423 10426 4963 10422 4967 5035 10504 5076 10421 10507 10345 5079 5075 5078 10503 10502 10342 10450 5058 5060 10480 10475 10477 5042 5040 4989 10368 5061 5053 5011 5008 5065 5026 5080 5104 9903 4936 4940 5062 5111 5089 90071 89324 90276 5090 4972 5029 5063 4980 5092 5052 4976 28984 88691 88755 88689 88744 88690 28993 88770 88767 28996 28981 28991 28994 28969 88758 88743 5030 5027 4973 5084 5088 92559 92552 92554 10394 5066 5017 5022 5025 5024 5021 5070 4990 5095 4975 5047 5099 5096 5093 5101 86361 86359 3384 3380 3376 86363 86364 86366 86367 86360 5323 86371 5327 3539 3541 3546 86388 3377 3538 3542 86387 3435 3436 3437 3432 86391 86389 86394 86393 86392 3379 3327 86352 86358 86353 86351 86356 5941 92759 92781 92784 92757 92787 92281 31176 31175 31207 31210 92231 92232 92284 86350 86354 86355 86357 5310 5312 5307 5311 5313 5306 5309 5305 5384 5379 5383 5382 90736 90739 5936 5938 5942 5939 11823 11811 12236 12233 12228 11813 11817 11807 11799 11801 11805 12223 5565 5561 5116 5276 86249 36137 35650 35662 35656 21192 35677 35689 35674 21188 21179 86237 86233 86234 86245 86242 85819 86239 93126 93130 9974 93132 93124 93128 87981 88047 88044 88050 88038 88035 88041 87984 87999 87986 88003 88029 88026 87995 88022 88020 87985 88030 82345 82399 82375 5568 5559 3326 3323 3330 9950 3325 3322 9948 87910 87838 5308 88008 87878 88012 88031 87994 88017 88021 3485 3487 3492 3488 3484 93120 93122 93156 93168 93174 93158 93165 93162 93171 93144 93135 93139 93148 87874 93147 93149 93157 93153 93140 93121 93117 93138 3604 3614 5432 5430 5427 3607 3602 3613 3605 3608 3601 3610 3611 3618 5894 5654 5944 93169 93173 12152 12168 11931 12439 12150 12158 11937 12156 12437 12075 12164 12433 12162 12440 12069 12006 11868 10052 810 84831 87990 83760 86137 1732 606 356 106753 106757 106765 31566 31401 106772 106769 107435 107439 107433 107427 31704 107445 31706 107429 31710 31712 107441 109467 31703 109468 107438 107444 107442 31709 31707 107436 107432 109464 31713 107430 31701 109469 107970 31928 31932 107978 31926 107984 107972 31938 109512 107976 31934 107982 108090 108078 108092 108080 108084 108086 109521 31977 31979 31971 31983 31973 31982 31976 31980 108075 108089 108077 108087 108083 108093 108081 109518 31974 108327 32598 108329 32600 32606 32610 108317 108321 108315 108323 32604 108318 108326 108314 32601 32603 32607 108330 108312 32609 108324 108320 109554 109522 109523 107995 31890 31886 107768 31884 109496 107759 107751 31842 107765 107757 109504 31881 107876 107877 107867 32724 108425 108434 32736 32726 108426 109566 109575 109500 109491 31844 107756 107762 31838 109495 31848 107754 107766 31836 107760 107769 31839 107753 31845 107763 31841 31847 107861 31892 31883 107874 109494 31889 109509 108530 108534 108546 108536 108540 108528 108542 32859 32855 32861 32853 31931 107975 31929 107973 107969 31937 107967 107979 107981 107985 31935 108428 32735 108432 32729 32727 108438 108340 32733 108422 108435 32732 108431 108429 108423 107862 31887 107873 31893 107870 107859 108420 107864 109505 107865 107868 32730 108437 109503 107871 109567 109563 109568 109557 109558 109559 106741 106746 106748 107887 108232 109572 109576 109577 109584 108645 108756 33111 109594 108651 108752 33107 108762 108746 109590 108215 32484 32474 108213 32472 108221 109545 108219 108207 108209 32478 108218 108747 32481 109548 108761 108537 32981 108650 32987 108654 108636 108638 32985 108644 108642 32979 108648 33102 109593 33108 33110 108759 32483 108124 108753 108749 109550 32976 108758 108533 33113 32475 109586 108641 32982 108653 32850 108531 108212 108545 109549 108755 108222 32852 32480 108647 108744 33105 32978 108750 109585 32988 108216 32477 33104 33114 109581 32449 109595 108543 108204 32862 32858 32984 108206 108127 108210 108639 32856 108539 109478 109473 108556 108448 32701 108664 108343 109514 109513 31903 108451 108667 108559 107960 107964 107904 31922 107966 31916 107958 107953 31920 107646 107674 107671 107998 107890 31698 31694 32597 32591 32595 108248 108302 108308 108235 108300 32589 108306 107305 107302 31692 31700 107417 107415 107423 107318 107566 107458 107550 31749 31799 31803 107652 107658 31758 107553 107538 31752 107537 31793 107645 109486 107649 107549 31754 107546 31757 107643 107547 31751 107544 107655 107552 107654 31791 107648 31797 107660 31746 107540 109485 107782 107779 107563 107455 107535 109482 107661 107543 109487 31796 31755 109477 31748 109476 31802 31800 107651 107541 31794 107657 92506 92537 116225 114948 116221 116229 116228 114947 116226 114945 114950 114943 114951 116227 114944 114946 116223 108799 108804 108797 32037 32039 32034 116234 116238 114956 116236 114952 114955 116237 116235 116230 114957 114959 114953 116232 114954 114960 109044 109047 109049 33700 109048 114949 116224 116222 106874 106786 33552 33549 108331 108335 108332 33554 33553 108334 108339 114938 116217 116213 116215 116214 114934 114939 114941 114935 114942 116220 116219 114937 116218 31809 31806 31811 107666 107662 107670 31810 107665 107663 106781 106777 33709 33713 33710 33712 109057 33717 109053 109051 33551 109059 33550 108338 108333 33547 33714 33555 33711 108336 33716 33715 109055 109054 109052 108337 33548 35118 35114 35111 35108 114940 114936 33545 108231 33544 108223 108227 33543 33540 108226 108224 35105 33877 109386 109388 109383 109387 33881 33885 33880 33878 35091 52096 35100 52092 35102 35092 35096 12206 34227 52026 52022 110118 34875 52080 110469 52076 24863 34443 52040 110235 52044 52098 52094 110586 52036 52037 34452 34447 34445 35107 34448 52038 34444 52042 34880 52078 34876 35101 52074 34884 35110 34236 34229 52019 34231 52073 34879 34877 34228 52020 34232 52024 35095 35093 52091 31939 52095 52097 33790 109219 109220 33794 109218 109215 33793 110001 34011 52000 52008 52004 52001 34013 34015 35113 34020 33579 33576 108659 108658 33580 33581 108655 108663 108656 107450 107774 107773 107778 107771 31851 31854 31855 52041 52043 31856 107770 109382 109384 33879 109389 33882 33883 109385 109381 33884 34661 34663 52055 35104 52056 52054 34664 52059 34659 52061 33603 108779 108766 32010 108776 33562 107882 108782 108781 52062 52058 110352 34668 52060 34660 108440 31998 108551 108555 108547 114754 114677 114270 114789 114672 114780 114006 114750 114108 114786 114274 114801 21210 21206 114110 114676 21204 114091 114798 114660 114436 114581 114782 114675 114092 114102 114669 114579 114432 114573 114792 114795 80640 80635 80200 114747 104052 104054 37372 56128 80111 80641 104738 105341 80642 105575 105458 104857 114666 104282 114099 114426 114572 114263 114264 114429 114746 114259 114421 114744 36192 103596 36189 56067 104286 80112 36194 56078 103602 56082 56069 56127 105339 103380 104742 103830 104058 103826 103598 103382 103824 104736 55355 104862 36186 56124 104851 56130 104858 104856 104280 105573 114417 106188 114275 114737 114002 114560 21207 21209 114563 114258 114437 114435 114105 114420 114109 114175 114738 114005 114419 114656 114613 114770 114561 114781 114416 114273 114755 114337 114003 114753 114257 114734 114254 114576 114255 114709 114657 106190 114564 114665 114098 114773 114668 114569 114094 114101 114266 52077 52079 114267 114661 114425 114739 114743 114570 114428 114774 114580 114659 114771 114735 114777 105696 56132 98335 104981 104979 103820 104285 105102 104055 80344 104057 80572 104741 80416 105098 104852 105101 40951 80660 40948 103829 105454 80664 96368 105457 105568 80988 80154 103592 105333 105567 105453 105335 105569 104982 105485 105692 105222 103375 80107 81047 81051 104276 104274 96362 96366 80560 104732 104730 96419 80132 103383 80128 103377 57580 104502 103379 103818 104839 80428 103827 104739 80284 80770 103590 80212 105212 80854 81094 80656 105095 105689 104275 105687 105690 104508 104510 80710 104970 103599 103601 98343 104771 103374 80135 80356 105218 105340 105574 104511 103376 80698 105093 80630 105099 98340 103591 104731 36153 40952 96353 80149 105219 104046 104048 80500 105455 105693 105096 105221 105334 104504 104976 105216 105695 104978 104844 104846 103819 105210 104972 104514 104283 104767 104850 104513 40956 80488 80842 104047 103821 103373 103371 103381 105213 105684 104281 104973 104975 103372 105091 103825 103593 80122 103600 104050 104051 103822 104503 103823 105685 80782 104284 103595 81106 103378 105686 105092 105215 105090 104980 104737 104734 103594 105214 104278 104049 105100 105694 104512 104506 80856 104056 104974 103828 105217 80629 104733 104505 104507 104740 104053 104509 104279 103597 105220 105097 105691 104977 117479 116671 116674 116677 117278 117081 116687 116688 104971 116685 117282 117677 116878 117281 117279 117080 117472 117084 105688 117083 117480 117678 117674 116684 117476 117675 117274 116886 116680 116885 105094 116882 117076 117477 117670 116883 52072 80133 80130 104735 104277 34223 34221 107772 107777 107776 31850 31849 31853 107775 31857 31852 32075 108835 108840 108833 32070 32073 33626 108884 33624 33621 108881 33625 108880 108883 108888 110114 110112 109017 109018 32179 109014 32183 32187 109019 110115 110117 34147 34224 110011 34226 52018 108793 34010 109997 109995 109998 110000 34008 34007 34005 33613 35087 110585 110583 35085 35011 110479 110582 35090 35088 110580 110229 34440 34442 34439 110232 110234 110128 110231 34437 34363 34795 34874 110466 34869 110468 34871 110463 34872 110465 110362 110351 110346 110348 110349 34653 34655 34656 34658 108106 108107 31901 107558 31720 33589 33567 107454 107881 107879 108110 108773 107554 31941 108763 31899 31719 33571 107557 31986 32007 33570 108119 107986 107886 108098 108097 33558 33606 108767 108109 107562 108771 33588 33572 108116 107446 107449 31716 107989 31721 107447 108115 108112 107987 32001 108439 108103 107555 108772 31896 33561 108784 31944 31946 107994 33585 108443 33563 108778 33594 33597 31989 108095 32004 108102 108785 31766 108113 107990 33590 31990 31995 108550 108548 31761 108094 31900 31765 33600 108447 108764 108775 31945 108118 31764 108104 31991 107878 108442 109050 109045 109043 33702 33619 108887 108886 108885 108882 33622 33620 33627 31808 31804 107669 31812 107668 107667 31805 31807 107664 32071 108834 32076 32072 32184 109012 109020 32186 32069 108838 108839 109013 108837 32068 109016 109015 32185 32181 110245 34579 52007 52005 32232 109160 32260 109137 32259 32233 109132 32229 109157 32256 109130 109159 32234 32261 32036 32040 32032 32035 108798 33703 33701 108802 33704 108801 32033 108803 33708 32170 109446 109156 109164 32128 33698 33770 33769 33772 33942 109444 109445 109134 32230 109158 32231 109131 32227 32258 32235 32228 32262 32257 32255 109008 32174 109009 32173 32171 109005 32178 109010 109135 109163 32254 109136 109161 109162 35014 110579 35079 35081 110577 35082 110576 35084 110482 110574 52023 52025 52090 33706 109046 109257 33833 33832 109252 33831 33828 109250 33707 33705 109042 109306 32329 109302 32337 109305 32333 32330 109307 32332 109256 33934 33935 109440 109255 109251 33830 33826 33829 109254 33834 33827 109239 33814 109235 109231 33813 33936 33810 33815 109439 109438 33851 33850 33853 33811 33816 33808 33812 33809 33818 33838 33782 32266 32290 33848 33835 32291 32249 32285 32280 32237 32239 32244 33817 33821 33842 33784 33845 32294 32246 33803 32248 33789 33781 32287 33836 33800 32297 33799 32240 32245 33839 32272 32284 32271 32267 32263 33785 32288 33847 33820 109402 33900 109407 109403 33902 33897 109399 109400 33901 109278 109275 33778 33854 109203 109237 32175 109006 109011 109004 32177 32172 109233 109238 109236 33903 33899 33895 109200 109266 109210 109191 109263 109152 109211 109197 109229 109228 109140 32218 109127 109126 109125 109122 32221 32219 32226 32222 109143 109269 109171 109180 109224 109154 109260 109144 109206 109181 109170 109172 109401 109405 109404 109245 109246 109209 33844 109185 109179 33779 33538 33541 108225 33542 33539 108228 108230 108229 33546 109221 33797 109216 33795 109214 33792 109413 109410 33904 109414 33912 33908 34431 110226 110225 110223 34434 34436 110131 34366 34433 110228 110106 34220 110109 110014 110111 34217 34150 34215 34218 110108 33999 34001 108955 33694 109992 34002 34004 109991 109994 109989 110456 110459 34798 110365 110454 34859 110462 110460 34863 34866 34865 110457 34868 34860 34862 110451 110453 34801 110368 34857 34647 34649 110343 110345 110342 34650 34652 110340 110248 34582 109412 109416 109409 33911 33909 33906 33910 109411 109408 52006 52002 34012 34016 32336 109301 109308 32331 32334 109303 109184 109234 109222 33843 33806 109165 109166 32252 109265 32286 109121 109212 32224 32298 109240 109271 109244 109193 109129 32278 109189 109133 109151 33796 109187 109241 109262 109243 33849 32251 109270 33786 33824 109124 32225 109232 109146 32268 32269 109173 32265 109168 32270 33823 32223 109169 33805 109192 109120 32241 109258 33822 109196 32289 109139 109177 32243 32247 32277 109182 109213 33787 32283 109223 33783 109261 33840 32292 109148 109226 109183 109267 109230 109225 109138 109249 33846 33801 109207 109175 109264 109217 109123 32238 32295 109142 109190 109147 32274 33804 109199 109204 109205 109141 109208 109195 109155 32220 109128 33788 32279 32242 109248 109268 109198 33837 109186 32250 109174 109253 109150 33819 109178 109259 110222 34427 110220 110134 34369 34425 110217 110219 34428 34430 110017 34214 34212 110100 110570 34211 34209 110103 110105 110102 34153 33993 109988 109986 33998 33775 33995 109985 109117 109983 33996 35073 110573 35075 35078 110568 35076 35017 110485 110571 110213 34422 34424 110211 109321 109336 109427 109355 109326 32335 33873 32363 109346 109339 109361 109423 109344 109420 32322 32318 33918 32379 32326 32361 33921 33893 32388 32376 33864 109421 109309 109312 33915 32352 32349 33924 109313 109322 109291 109358 109327 109393 109295 109340 109376 109348 109300 32325 109372 32371 32391 32362 32385 33870 32382 32343 32345 109426 109398 109394 33891 32372 33927 33875 32340 32367 109345 33930 33861 33874 32370 32316 109390 109317 109319 109310 109371 33865 109335 109366 109330 109328 109349 109294 109337 109352 109430 32353 109417 109367 109304 109331 32317 32313 33866 109380 109375 32327 33888 109364 32354 109360 109290 109283 109285 109432 109351 109373 32358 32344 109433 109418 109363 33892 109357 109424 109391 109354 109318 109292 109299 109429 35072 110564 110562 35070 33992 109979 33990 109977 109982 33989 109980 33987 34156 109279 33856 110097 34203 110099 34205 110091 34197 110093 34199 34635 110333 110331 34637 34588 110339 34646 110337 110334 34644 34641 34643 110336 110251 34585 32293 109272 109149 33841 109194 109242 33825 32264 109188 32236 32282 32296 32273 33802 109167 33791 109153 32281 109227 32253 32275 33798 109176 109247 32276 109145 33807 114707 114683 114680 114046 114071 106012 106137 114028 21606 114058 114039 114057 114084 114067 114040 105955 114069 114090 70590 114686 70883 70889 114705 114261 114026 114701 114089 114698 105909 114083 21611 114048 106123 106017 70594 114769 114256 21773 114010 106062 21771 106014 114055 114034 114711 114064 106010 114075 106071 114087 21558 21504 21825 114041 105853 114030 114063 105793 106122 114050 106139 106068 114082 114062 105962 114053 114052 21555 114007 21500 114662 21824 114056 106008 21717 114745 105854 70886 21612 114655 105954 21665 105908 21541 21811 21609 21768 21720 114074 105792 114017 114741 105847 105797 114027 70878 114265 114043 114070 21595 105849 105906 105903 21822 106016 105901 114076 105855 114023 105801 106064 114044 106011 114664 21557 21716 21827 106140 21828 21552 105960 21501 106191 21714 106121 114177 105850 114059 105846 114019 70880 105798 106119 114073 106143 114029 114025 21662 21498 114008 106070 21757 21487 21503 114016 21719 114051 114060 21774 105852 21770 114568 114077 21663 114037 105795 106069 106120 106136 114068 105794 114013 114012 106135 114036 105848 106130 114692 114695 114689 114032 5564 5562 5567 114009 105902 114066 114045 106067 114018 106066 106009 114072 114081 105963 114031 114079 114736 105956 106141 106013 106189 106133 106142 114021 105796 114078 114559 114093 106118 106129 70893 114020 114086 105961 106138 114042 114772 21608 114085 105799 114033 106131 21703 114080 106063 105905 105958 114049 105851 106125 105904 21660 106015 114011 105907 105800 105957 114035 106116 21649 105900 21666 114038 21554 114015 106134 106065 106124 105959 114014 114054 106132 106126 106117 114022 114061 106128 114047 114065 114024 106127 114326 70686 70683 112412 112392 70706 69300 114330 70695 114339 114423 114299 114317 112418 70709 114291 70703 70697 114320 112410 70692 114097 5616 5622 5624 5618 114612 106218 50453 114614 50451 107259 107256 107232 107261 111392 107237 107234 112047 112044 112035 112000 111999 112037 112032 112014 112028 112001 112027 112023 112050 112036 112026 111996 111992 112019 112018 112017 111987 111990 111991 112053 112041 112005 112009 112010 112008 114462 114464 114489 114452 114500 114498 114455 114439 114467 114491 114480 114477 114470 114449 114474 112056 114458 114446 114443 114483 114486 114125 114663 114159 114162 114152 114156 114120 114149 114137 114144 114123 114168 112376 112369 114277 112374 114284 114281 114172 114164 114128 114147 114667 114132 114140 114135 114115 116152 116889 116148 114900 116182 114864 114865 114961 116177 116171 116176 114893 114879 114883 116694 116670 117669 117288 117488 116672 116192 116162 52367 115277 52371 116686 114888 117072 117666 117665 115282 116874 117071 114976 114971 114924 116675 116258 53165 116884 116748 116742 53169 114899 115278 52370 115255 52374 115122 115262 115280 115266 117348 54012 117338 54006 116137 116146 117134 117128 117341 54009 117335 117305 53999 117667 54285 54291 117504 117540 117524 54275 54287 54279 117546 54288 54276 117543 117521 117537 116747 116727 53453 116927 116925 116722 116701 116872 116942 116902 53428 117141 117316 117301 53438 117125 117298 54265 53448 53713 115096 116172 114894 114890 114887 114881 114877 114929 114916 114920 116190 116155 116154 114872 114931 116243 114968 114978 114990 114981 114958 116197 116194 114921 116211 116892 53168 117129 116150 52258 53162 114874 114840 114838 116254 116923 114910 116257 116153 116751 115119 117533 114835 53710 117078 117280 115093 116248 116676 116931 114912 114862 116216 116753 115274 116725 116149 117147 114868 116665 52380 114989 117333 116696 117496 116899 53727 116905 116920 114858 54003 117306 116186 116204 115284 115102 116207 114965 117347 114845 117319 117336 117149 53717 115121 116711 116738 116943 117144 114962 116893 116251 53171 116877 116143 116750 115263 117285 114884 117685 116191 116128 116139 116259 117487 117332 115252 116949 116937 116681 116741 116209 114891 54008 117681 117519 115015 116950 117326 116678 114907 116181 116744 114964 114859 117290 114880 114970 117486 116260 117690 114977 54290 114831 114969 116136 114979 116123 53986 114967 117534 53174 116730 117075 116135 116683 116167 116196 114842 115265 117499 54011 116253 116739 117474 114876 114986 117323 114988 116244 116157 53989 114908 117468 116199 116121 114923 116707 54278 117091 115272 116133 116200 114906 116881 114839 116250 114847 117673 114844 116945 115275 116880 116928 53996 114870 114869 53730 116159 114882 114987 114843 114892 116252 117539 116161 53997 115111 117522 114804 114913 114982 117676 116117 114984 114856 117094 116936 116249 114875 117527 114837 53447 117327 116180 117517 117693 53729 52365 116669 115269 54000 116698 114927 114985 117138 117092 117467 116124 116695 114973 116132 114930 116122 53724 117321 116247 117073 117269 116242 115271 117271 116875 116134 117137 114925 117699 114974 117107 117330 116909 117672 116667 117324 114848 115009 114855 53160 117473 117668 53175 117545 114854 116245 114905 116138 53439 116930 114833 116934 114933 116939 53166 114918 117292 116679 116183 116948 116195 117530 116729 116896 115260 116175 117070 116873 117344 116168 116129 116131 114919 117270 117339 53992 116113 53163 53441 116933 114846 114873 117103 53445 117528 117295 53720 114904 116231 114972 116203 116201 54281 116745 117135 53718 116202 114841 114863 116246 54282 115283 114878 53450 116940 117542 117126 52368 116187 114861 114932 116184 116120 117272 117705 116704 116160 117684 54005 114914 116173 116115 116189 114867 117108 116193 114980 53732 117097 117475 116233 54002 114903 116125 116241 52174 116208 116206 115268 117150 53431 117671 52364 52379 117490 116169 117082 117536 114857 116118 116178 114896 117123 114902 116894 114885 116212 114297 112388 70688 112394 112406 112421 114306 112400 112404 112398 114288 114333 114427 114418 114658 114610 70680 112430 112380 112416 114314 114294 70700 114324 114001 112428 112386 114311 114303 114309 70891 114615 114335 116754 114963 116141 116732 114983 116210 116262 114832 116164 116163 116240 115257 54268 117275 52377 116188 116951 112382 69263 69261 69282 69273 69284 69290 69278 69293 69267 69275 69288 69269 114334 117696 116879 117077 116145 117686 117346 114849 116205 51992 116151 117329 114860 54271 116736 117503 53707 116682 115259 116876 117074 116142 52560 116119 116733 114901 53442 117277 117140 117273 117100 51990 117514 117079 114886 114926 114895 51989 52559 53721 117118 116185 116127 117289 116174 114836 114909 116691 116126 116198 114852 117469 116170 117531 114834 114928 114915 114897 116673 116256 116946 116144 53159 114922 114889 117664 54284 117544 51993 51987 117471 116735 117493 117525 53451 52373 116666 116179 116952 116261 116712 115281 114975 114911 52376 117121 116140 117146 114966 53454 117470 117483 117087 116255 117131 117702 116166 52360 53149 114853 116156 116158 117090 114851 50448 50454 50450 117276 53152 116239 114898 116752 53733 117132 53172 53726 114871 53434 117143 117466 114850 116116 114917 117342 53723 116668 116910 116130 116114 117148 53444 114866 116147 116165 117478 117345 53155 117268 5979 5981 5984 4783 5557 5582 5120 5969 5611 33612 108791 108788 108787 108121 33537 108122 33609 108790 109273 109276 5963 5966 107286 5621 5625 107283 5619 107289 107292 109971 109973 33984 33986 34638 34640 110254 110328 110330 108967 108977 109033 109030 109034 108975 108971 108984 108968 108980 108976 108979 109037 108970 109073 33747 109003 109064 109031 109077 109070 109109 108997 109025 33738 109099 32168 32202 32154 108966 32149 109002 109095 33768 109060 32141 109090 109100 109036 32205 109081 32193 108961 33759 109078 32159 109086 33725 108985 109087 32139 109063 109102 33724 32131 32127 32199 109068 32150 109027 109105 33732 33723 32167 109024 108993 109061 32196 108994 32163 109021 33720 109103 109091 108998 109097 33741 109007 32136 108986 109088 109069 33752 32190 33743 108995 108988 32166 33750 32157 32158 33765 33742 108989 32145 33733 109108 108959 33751 109079 33734 109106 32148 109028 109096 32140 33762 33729 109072 33756 32176 109082 109022 34372 110214 34421 34419 110216 110137 34854 34851 110448 34804 110565 110488 35067 35069 35020 110567 110371 34856 110445 34853 110447 110450 109202 109274 108958 32130 108962 32132 110020 110096 34208 110094 34206 32094 108852 108855 108856 32087 32086 108857 32089 32090 109114 109040 109112 109111 35064 110556 110558 35066 33577 108657 33578 108661 33582 108660 33575 33574 108662 32074 32093 32091 32092 32088 108854 108858 108850 31714 33560 108780 108445 33584 108768 33591 33598 33587 108444 108777 33566 35023 110559 110561 35061 35063 109974 109435 33981 109976 33931 33983 110088 110090 34200 110023 34159 34202 32314 33889 32348 32389 33919 33860 33916 33871 32384 33913 109397 109325 33928 32320 32350 109333 109289 32383 109415 32311 109369 33898 32375 109350 109324 33876 109332 109323 33869 33868 32386 33872 33920 32387 109296 109314 32342 109329 109392 109434 109284 32339 109298 109377 32346 109343 32373 109422 33926 109368 32366 33896 33894 109425 32312 109378 109374 109288 32374 109342 32341 109315 33917 32347 109338 32390 32355 33859 109419 109359 33905 32338 33925 109287 109320 109316 32359 109311 32357 33863 33867 33862 32323 109379 32368 33914 109365 33886 32315 32360 32321 109353 33907 109362 109370 109428 32356 32351 32381 109396 109297 32364 109356 32378 33923 109347 32369 109341 109406 33887 109431 33922 109293 33929 109395 32328 32365 33890 32380 32324 32377 32319 109334 34848 110439 34850 34845 34807 34847 110442 110374 110441 110444 110491 110205 34418 34416 110207 110208 34375 34415 34413 110210 110327 34629 110325 34631 110324 34632 34634 110322 34591 110257 110140 35071 110563 35022 110317 108805 108809 108813 108869 32083 108860 108827 108863 108826 32048 108853 32106 108871 108872 32103 32079 108824 32082 108841 108849 108845 32084 32112 32065 32109 32046 108851 108866 108823 32061 32066 108842 108831 32064 108844 108806 108865 32097 108859 34408 103836 103668 40498 103879 103651 103880 103652 103656 40395 40500 103838 55317 5676 5682 5684 5678 55313 35373 35620 5639 34192 110490 110489 110554 35068 35021 110083 35056 34596 34852 109281 34840 110212 110255 110028 110379 33991 34639 34195 34423 110027 110086 110095 34805 110139 110372 34420 110329 110145 34636 110256 34379 109969 34589 110098 34843 110138 34207 110021 110332 34855 110449 34158 35028 110320 34411 34627 110022 110495 34204 110446 33938 34590 34374 110373 110551 34163 109280 34806 109981 33988 110202 33857 34409 34157 34380 34373 34378 33858 109443 110204 34595 110437 34812 34407 110262 33852 34624 110144 110496 33855 33979 109277 33976 35059 109442 109201 109966 34164 33780 34811 110378 110203 110566 110434 33939 110215 35027 110200 110261 109978 33980 109967 109965 33978 109968 33977 33975 109970 109441 33937 108908 33648 108915 108099 108096 107993 32006 33604 32000 31760 31759 31762 108100 31942 35060 110550 110552 34581 110199 34410 34412 110201 110143 33940 108796 34657 33614 110116 33941 35055 110553 110555 108814 108817 32038 108815 32055 108875 108800 32056 32057 108836 108874 108822 108862 32052 108868 108818 109039 33771 33699 109115 33774 109076 109029 32147 32194 32155 32200 109058 33755 109026 109075 108981 33719 32142 109023 32129 109107 108987 108991 108972 32143 33722 33773 32144 108973 33753 109116 109074 32188 32162 109084 109101 33718 109092 32197 108964 32137 33748 33763 32126 108960 33740 108963 109113 33749 33754 32161 33726 32146 33739 33730 32189 33735 109065 33758 108999 109089 33744 109104 108983 32153 109094 32182 33737 109001 32152 109038 33745 32169 109035 109093 33697 108965 32203 109067 109032 108990 33721 32156 109041 32125 109098 109083 109000 32151 33736 108996 110318 110316 34626 34628 109062 32191 33746 108982 109110 109071 32133 32164 108978 32160 32138 109080 108969 109066 32134 32165 109085 109056 32135 33761 32192 32204 33766 33767 33728 32201 32198 33727 33731 33757 32180 33764 108974 33760 32195 108992 34193 34191 110085 110087 110084 34194 110557 110024 34593 34377 33932 34201 109975 110375 110206 110025 33982 35025 110089 34414 110259 110326 34592 34633 110493 34161 110142 110209 109972 34808 34849 35065 34198 34417 33933 110492 110258 110443 110376 35062 34376 34630 110323 110560 110440 33985 109437 34809 110141 110092 34846 109436 34160 35024 110260 34594 34623 34625 110319 110321 34162 110026 34839 110377 34842 110435 34810 110436 108911 33651 109452 33946 33947 108848 32078 32080 32077 32085 32081 108843 108846 108847 33633 108924 33666 33671 108897 108901 108935 108902 33678 108944 108926 33657 33635 108899 108933 33681 108946 33661 108925 33948 108920 108889 33643 108941 33675 108947 108928 108898 33660 33662 108929 33652 108890 33630 108892 33634 33684 33687 33670 33669 33642 33644 108919 108937 108940 108934 108943 108893 109451 109450 34188 110029 108810 110546 35054 35052 110544 110195 110193 34404 34406 32105 32099 32060 108830 32098 32058 32050 108864 32063 108867 110146 35029 35049 110549 35051 110497 110547 33972 109961 33974 109959 34187 34185 33969 109962 109964 33971 33943 109447 34622 110312 34620 34165 110432 34833 34813 34835 110380 110430 34617 34401 110198 34403 34381 110196 33649 34184 33973 33970 109960 109448 33945 110538 108930 33659 33685 33683 33682 108945 33628 33636 33655 33658 33645 33640 33667 108923 108922 35040 110532 110543 110503 110530 110304 34614 34616 110298 34610 34608 110273 110300 34168 110075 34179 110073 34181 33968 109953 33965 109958 33963 109956 110424 34827 110383 34829 110059 34171 109616 109949 33962 109947 33960 109942 33955 109459 109950 34186 34613 34600 110266 34611 109456 34395 34384 110187 34398 34400 110192 110190 109536 109611 109608 109605 110293 110274 110152 34387 110183 110157 110176 110184 34392 34394 110186 34391 110156 110179 34399 34386 35030 35031 34599 110311 110265 34621 110194 33967 33951 109454 34170 110384 110425 110071 110422 34828 110385 34615 110308 110268 110191 110505 110533 110504 35036 110185 110182 110153 34389 34393 34388 110302 110271 34606 34604 110299 34605 110270 103662 103664 103658 5554 80276 80285 80278 80283 103837 104064 103896 104066 105738 105741 35333 35324 35337 35350 35351 35331 35323 35370 35322 35358 35346 35319 35361 35340 55316 55314 5681 5685 5679 56120 36152 104108 36150 36147 103890 103892 103886 103882 5744 80348 80350 80355 104061 104065 105708 5745 55325 5739 5741 55323 104750 105729 104748 104580 104124 104292 105735 105744 103608 103446 105732 104522 104352 104520 35307 93111 93589 35372 35623 92886 35303 35622 93100 93594 93177 93105 35299 35624 93113 35314 35309 35313 93107 104574 104570 104576 104118 104120 104110 104335 104563 103440 103442 104114 103432 103436 104342 104338 104348 104346 105237 105241 105245 36144 103386 103390 2126 55304 5916 5922 55349 5918 55353 5924 5858 5862 5856 55340 55344 5864 80206 80204 80211 80213 80494 80492 80499 80501 80916 80201 80345 105110 105225 105229 104989 104985 5999 6003 55380 55382 55362 55364 104745 104749 103605 103609 105704 105702 104517 104521 80700 55401 6033 55374 55370 55397 6039 5801 55332 55305 55307 55350 5799 5925 55334 5919 55352 5921 5805 55343 5859 5865 55341 5861 80497 80493 80771 80844 55335 5802 80417 5796 5798 55331 55296 55298 103389 94068 104289 104293 55295 55299 80123 80114 80490 56065 105747 35642 35640 80562 80346 80108 33638 33677 108900 33646 34619 110537 108891 108895 33679 110031 35053 33944 110428 110264 34402 34196 110082 34844 110433 34841 32047 34182 110421 110508 110147 34405 110197 110269 110423 34832 34830 34397 108108 31943 108117 32053 108807 108907 33639 32043 110314 32051 109617 33593 33568 108554 109952 109945 109453 108549 108120 35039 110534 35042 34365 34441 32044 108821 34597 110315 110078 110310 110079 110081 110076 34190 108948 33629 33631 108828 108114 33605 107560 33557 108774 31898 108783 33599 108765 108446 108786 33573 33569 31722 107448 34176 110066 34396 109530 109527 33632 32095 110149 110189 110438 109458 33953 33952 110067 110062 110306 32049 110267 34612 34816 35048 110500 110230 110013 35089 34873 110148 110064 110039 34618 34814 34834 34815 110431 110381 35057 35026 110494 35058 108906 34385 34175 110035 32100 108938 108917 108916 34817 108832 33653 108910 108808 110535 110542 35033 110305 110427 34838 110429 34836 110301 110303 34607 109963 109449 110072 34831 32096 33954 34598 110548 110030 34189 33676 108912 108927 33668 108921 33647 110181 33615 34009 34797 35045 110540 110541 35046 35032 35012 34225 110069 110040 110130 34870 110584 34438 35035 110507 110527 34178 34603 110296 35050 32041 108816 108812 110033 34837 34382 110382 34383 109455 35044 35034 34580 108123 110498 34167 33611 34601 108792 32110 110536 110347 35037 35041 109996 34222 34148 33596 108552 34006 110129 34149 108795 35038 32054 109954 109957 110034 33950 33607 34654 32042 109457 108861 33656 33663 110068 110154 108829 108894 110545 110499 32002 110077 34818 35047 110539 110501 33565 107883 31897 108825 108913 110233 110364 33654 33674 31993 108111 107992 107880 107561 31763 31767 33949 33959 33673 31987 107884 107559 31988 31992 108553 108101 108769 33559 31717 31715 33602 34602 110188 108905 33672 108903 109955 110113 33966 110363 110581 109999 108441 31999 31985 33536 33608 33610 33535 107885 31902 31895 108820 32111 32108 110247 108896 33686 34183 110074 34180 109533 109602 35086 34796 35013 110012 110150 110481 108789 34364 110464 110467 110151 33664 108932 33564 33680 109614 109542 33650 108939 33637 34390 110080 34166 33964 110502 108811 32104 32045 108819 108873 108870 32107 108876 32101 32062 32102 110309 110307 110070 110032 108918 33623 108794 34169 110480 32067 32059 31994 110350 32008 31940 31947 32005 31894 107556 33586 110246 109599 109539 35043 33601 33592 33641 108936 108931 33665 34609 110037 33583 108770 34172 34174 108904 32009 107988 32003 31997 108105 107452 33595 107453 31718 107451 33556 31996 108942 108914 108909 107991 31984 104988 104886 105230 105228 105006 105105 104332 104104 104560 104883 103648 103429 105591 104997 105115 94065 94067 41158 80772 81096 111984 111951 111955 111981 111945 111947 111978 12188 12149 12133 12147 12142 12161 12201 12192 12165 12155 12140 12181 12182 12167 12194 12153 12193 12197 12184 12203 12159 11798 41159 41155 24858 24849 24851 24860 24854 24845 24839 24740 24676 12109 24710 24776 24809 24643 24677 80571 80566 80573 80564 80427 80429 80422 104877 104881 80420 12261 12252 12254 12244 12263 12267 12257 40499 80124 80119 80115 11794 11802 24521 11791 24286 11822 24644 11816 11808 11814 24599 11820 24365 11810 11804 24443 80349 80358 80353 80565 80574 80569 80425 80430 80421 105372 81008 105561 105449 81059 80948 105252 105322 40908 80595 104585 104724 80591 40488 103673 103812 80272 104496 104719 80587 104581 103807 40698 104270 80451 80447 103447 103584 104353 104035 80371 103901 104040 40719 40721 80712 80707 40711 40715 40820 40824 40816 62402 62396 62383 105617 62393 105615 62377 62409 105611 62391 40798 40610 40992 104967 80876 105202 80801 41028 105011 80730 104962 104892 80874 105132 105079 105007 41067 41098 81129 41196 105605 105680 81121 105601 62374 105667 98352 105607 98348 40505 104727 104729 103367 80163 40284 103365 80159 98345 80873 105127 41059 105206 80802 105087 80804 40995 105012 105204 105082 41026 105131 80877 80869 41064 81056 104499 80520 104494 80522 104501 104358 40483 80155 103360 96370 104130 104038 80378 80376 104043 104045 104266 104273 104271 80448 80450 103902 80306 103815 103674 80304 81101 12368 80851 80847 12359 12362 12372 12366 81098 12356 81107 81105 80234 103582 103452 5121 80281 80286 40921 104577 104579 104572 104568 80274 40822 40818 80855 80775 80848 80784 80779 105211 80853 80846 80209 80205 80214 36139 36130 35644 36135 21221 21220 36151 93108 35306 93114 35625 35312 93110 93104 93102 35310 92885 35316 93592 35304 92674 93591 93593 36141 36133 104559 104553 36083 36081 104122 104100 104106 35988 104102 35994 104333 104350 36033 36035 104334 104327 104331 36039 36038 36036 104325 103431 103425 103444 35853 35859 35855 103427 35949 103878 35943 103650 35904 103646 35900 35898 103666 103644 94062 35814 35808 94058 94066 94056 35810 35945 103894 103872 104103 103430 103428 103875 103424 104558 104097 35811 103649 35993 103647 36078 94055 103422 104322 104556 94061 35858 103871 103877 35903 35948 94063 103869 35946 35901 94059 36080 94053 35813 104578 104562 103643 104303 93867 94050 94045 103866 35894 36022 103840 104296 35731 104524 93634 35932 103401 35804 94052 103396 35942 35805 104075 35987 36067 35980 103441 103891 104347 104575 104119 40724 40799 40797 40725 40695 40690 40697 40620 40795 40802 40380 40308 40382 40375 40487 41056 40991 41129 40984 41192 41020 41125 40989 41188 41092 41061 37378 40514 40897 40482 40379 41063 41097 41024 41099 41161 40276 40587 40477 40902 40830 40907 40582 40484 40281 40273 40619 40590 40687 40694 40480 40283 40409 40410 40904 40792 40900 40905 40485 40585 40829 37383 40280 40589 40592 103612 104068 35887 104884 105124 105004 105598 103663 36146 36148 103393 35842 104764 21217 12112 105586 12178 11767 11770 81095 80202 35841 35831 35833 35837 35976 35968 35972 35966 35931 35927 35919 36106 36098 36102 36096 36111 35924 35961 35876 35882 36011 36066 36053 36061 36021 36118 36124 36112 36113 36116 36134 36016 35881 36008 35874 36014 36013 36127 36012 36009 36017 36101 35834 36119 35967 36122 36125 35926 35828 36006 36062 36132 35971 36057 36128 35836 36115 36051 36056 93176 40405 80843 40615 40825 40720 40510 9917 9916 105327 80946 105329 103817 103833 103391 104887 80725 80729 104966 40958 104891 104964 80733 40987 104107 104959 40803 80519 80515 80523 105207 62380 62387 40827 40906 40826 40378 80443 103451 104042 103586 40383 80303 80379 103897 104498 104268 105209 104969 80732 80805 105674 80594 104129 104125 105678 62405 62400 104357 104294 105086 80375 105084 80307 80797 103610 104491 93097 40303 104555 36104 36054 80418 5736 40692 40278 40800 5742 5738 55322 55326 105123 35921 35916 36058 80704 80702 5581 104319 103638 104091 104317 103858 104550 40515 40377 40372 80703 40993 80774 80783 80781 80777 37382 35991 104105 35856 104099 35873 35871 35878 35879 55308 5804 35977 35646 35643 35639 81099 6002 55400 36107 105126 35984 104086 36025 105109 80121 80116 80928 115116 80923 80919 5612 5610 6035 80502 104328 40307 103874 104330 36084 35964 35923 81103 104993 105470 105480 105482 105361 105472 105353 105365 105476 105113 105357 5599 103635 104096 105233 35637 104089 104304 104542 93866 103620 103416 35985 104324 103868 93706 104547 35886 104561 103641 35832 35826 35969 35922 35829 35939 36070 103411 104093 103865 36074 104531 35940 103640 36032 36030 104314 80711 80277 103421 104094 103418 103414 35897 104071 104299 35895 103619 103848 5578 35918 36099 80357 105001 35963 36103 36059 105584 40394 104872 41128 40709 40604 104759 104763 104765 81125 105672 104726 104263 104586 105108 81063 105447 105488 40903 40501 40693 98346 80162 103363 103370 103368 80160 105563 81006 103876 104870 105726 105723 105349 105345 104868 40606 40616 40614 115100 40509 104875 104885 104990 40511 40588 80227 103814 80231 104566 80232 103589 103810 103587 105442 105556 105582 105462 105720 105714 105717 105711 105466 37380 40282 104722 40593 80235 80592 80299 103669 103579 80489 80561 80273 55383 6000 55398 5964 5593 35877 115013 35990 35807 105199 105089 36121 35935 35890 94049 5985 55358 5961 55365 55379 105703 105595 105600 105699 81128 105683 105606 41163 105681 105676 41194 81126 80109 103843 104552 94047 35852 103400 103630 36029 103633 103655 80709 5597 5606 5604 55373 6017 55391 6021 55389 104321 104076 103861 36075 104549 103419 103863 36077 35849 103637 103847 103615 104532 35850 94042 104527 104545 35800 35845 106780 108953 33692 110486 110572 110452 34155 110487 110569 35074 110335 33777 34370 109118 110135 110338 34858 34154 110136 33776 34645 34210 34803 110101 110369 110019 34429 34642 110455 110252 34426 110370 109984 34371 110104 110253 110018 109987 110221 34586 34861 34213 34587 110218 109119 33997 33994 34802 35018 35019 35077 110390 110417 110413 33961 33956 109951 109948 109460 33957 109461 33958 110065 34177 110036 34173 109286 109282 110313 110263 110426 110387 34822 34820 110419 34821 110388 110416 34825 34826 110420 110410 110391 110418 110415 34824 34819 34823 110386 4777 21218 21214 5875 5878 5912 5910 5890 5906 5904 5935 5897 5899 12189 11751 12445 12014 12191 11939 11955 11876 12443 12089 12093 12030 12099 12012 11753 11880 11943 12077 11874 12207 12183 12081 12449 12024 12436 12146 12452 12087 12457 11949 12448 12451 12204 11747 12454 12442 11882 12198 11892 11951 12195 12026 12018 11961 12083 11739 11957 12200 12020 11945 11888 11862 12211 22152 22154 12212 12455 12458 12446 12144 11886 12138 11745 11870 11819 12095 12230 12000 12008 11756 11741 92831 92829 92821 92817 92871 92868 92811 30138 30145 29942 29923 29213 4778 106344 90228 30092 90253 90250 30093 30115 90227 30118 28902 5959 88772 92740 92777 92758 92763 92790 92793 92767 92723 92796 92736 92739 90223 92730 92732 92741 92721 92775 90008 92754 29945 90086 30163 29980 29216 90087 90307 90061 30000 30034 90136 90139 29999 30031 92491 40302 6113 6101 6104 6088 6112 6107 6110 40294 40298 92533 89299 89303 55300 36136 36181 29982 29984 30033 30035 30029 30027 29390 29336 29338 88923 88888 29327 29383 29378 29377 29343 29374 29393 29372 29344 29384 88887 88884 29334 29392 88950 29329 29326 29380 29389 88879 29365 88925 88932 88906 88920 29335 29366 88924 29362 88947 88875 88935 88938 88929 88880 29375 29339 29386 29371 29370 29381 88878 88944 29363 88889 29330 88941 29387 30022 30099 30017 89981 29921 89979 29919 90138 90132 90134 90140 29924 29922 29916 89976 29918 89984 89978 89982 90059 90057 29963 90054 90056 90050 30098 30103 30019 30005 90013 90010 29950 89158 30014 89163 89156 29605 29601 89159 89155 29604 29606 89146 89177 89182 89174 89200 89207 29631 89194 89203 29619 29610 89173 29640 89167 89186 89195 29633 29588 89198 29613 89192 29623 89168 29652 89136 29579 89128 29577 89129 29574 29586 89154 89172 89201 89150 29614 89138 89197 29592 89149 89147 29583 29976 29978 30021 30018 30015 90047 90044 29802 29811 29808 29799 29814 29805 90053 29952 29971 29998 29947 30012 29609 89166 29616 29612 29585 89142 29618 29625 89178 29634 29629 29627 30010 89162 29598 89161 29602 89134 89135 29644 89153 29650 89208 89193 89133 29651 29594 89130 29636 89205 29642 29572 29641 30023 29903 29901 29958 29961 29967 29964 29970 29972 30025 90042 90048 90051 90045 90039 29896 29643 29628 29646 29637 29595 29597 29649 29632 89176 89183 89206 29596 89140 29578 89137 89204 89145 89141 89190 89165 89191 89164 89132 89185 89181 29622 29624 29615 89131 29587 29729 29732 29726 90091 29723 29720 29661 29654 29656 29679 29671 29725 89211 29497 89247 29690 89251 89252 89250 29692 29689 29728 29697 29719 29693 29722 29716 29702 29706 29731 29904 29899 89215 29683 89242 89270 89268 29707 29674 29675 29672 89229 29680 89243 89216 89274 29657 89286 89280 89289 89234 89233 89256 89260 29701 29699 89259 89261 29684 89238 29670 89220 29663 29665 89224 89223 29662 29666 89225 89265 29710 89269 29708 29711 29715 29688 29698 89277 89214 29717 89232 29681 89241 89283 29653 88861 90201 90203 90195 90197 30094 30075 30071 30077 30069 30066 30068 30072 30074 88824 88797 88798 88799 88794 88785 15536 88788 15543 15538 15539 15535 88790 88789 15512 15516 15511 15509 15508 15529 15534 15527 30147 30141 30143 30136 30162 30165 30144 30146 90282 90284 90308 90085 30060 30062 30057 29305 29271 29263 29267 88821 88826 88825 30064 30106 29576 89171 89143 29620 29617 29639 89157 29635 89180 29581 89188 89189 89196 89169 89175 29607 89179 89187 29593 29589 89202 29582 89139 29638 29611 29591 29600 29645 89160 89199 29630 29648 89170 29575 29573 29580 29603 29647 89151 89184 29590 29608 29584 29599 29621 89148 89144 29626 89152 29395 89228 89235 89227 89231 89230 29676 89266 29709 89264 89271 29673 29678 29677 89262 89257 89254 29685 29669 29658 89237 89209 89213 89236 89282 89245 89285 89288 89249 29691 89255 89217 89275 29703 29655 89272 29660 29664 89219 29668 29694 29718 29730 29696 29733 29727 89210 89263 29721 89244 89287 89278 89284 89273 89267 29667 29704 29682 89240 29687 89218 89226 89221 89279 29686 89222 89246 89239 89248 89281 89258 29712 89276 29705 29700 29724 29714 29713 29695 89253 29659 89212 90041 90037 29959 29960 29956 90040 29266 29264 88839 88845 88848 88842 88815 88816 29257 88817 88812 29258 29262 29254 29255 89083 29525 29521 89082 29522 89084 29524 89106 89102 89100 29299 29272 29290 88835 29293 88860 29235 29240 29239 88830 29282 29276 29300 29231 88854 29294 88834 29280 29281 29302 29230 29273 29303 29291 88857 29228 88851 29285 29227 29284 29244 29237 29236 29275 29297 29288 88833 29287 29296 92727 92731 29513 89047 29495 89121 89052 89056 29566 29569 89066 89118 89065 29506 89097 29540 29543 89064 89057 29551 29564 29511 29485 29567 89124 29504 29570 29561 29489 29560 29549 29558 29557 89055 29494 29503 29552 29563 29498 29547 29542 89109 89101 29539 89061 29515 89127 90052 90015 29502 29548 29554 29507 29555 89112 89115 89079 29529 89967 90251 30116 29910 29913 89962 90092 30063 90186 90191 90189 30065 30055 30059 30058 89969 90236 89337 89342 89341 89361 89367 89358 89355 89370 89332 89364 89333 29907 29909 90043 29962 90046 29965 90034 89970 89975 89973 89965 29908 90229 90285 90279 90281 90291 90287 90274 89964 89966 90271 90125 90122 30091 90226 30140 90093 90233 90238 90278 29905 90118 90239 88968 88970 29415 29407 29411 29447 29451 29444 29446 89001 89006 29443 89005 89004 16723 29477 89019 29468 29429 29408 29416 29437 29482 88988 88983 89037 88987 88974 29456 29464 88996 29455 89031 88995 29434 29428 29435 89034 89015 88992 29426 29442 89028 89013 89010 88978 29479 88986 29476 29433 29425 29453 29471 29410 88965 29473 29467 88977 88969 89014 29462 89025 29480 89022 88979 29417 29461 29452 29465 29474 29419 29483 29424 29460 29470 29420 88997 29438 89040 29743 30008 90232 30157 30046 30050 30053 90235 29902 90121 90240 90242 92718 92722 90312 90309 90306 90301 92766 90128 90126 90120 90123 90117 90302 30158 30164 90277 30139 90212 90206 90198 90204 90200 90210 92776 92772 90192 90194 92768 15499 15507 15553 15552 15565 15566 15568 15563 15502 15572 15560 15562 15547 15556 15575 15557 15544 15554 15548 15545 15571 15574 15530 15569 15559 15494 15490 15493 15526 16834 90187 88951 89972 89959 90127 89963 89961 29915 29906 90119 90115 89968 90303 89974 88953 30061 90234 90241 29953 90113 90109 90305 30013 29955 90130 90184 90188 30112 30096 90196 90182 89956 29911 29914 29396 88952 29397 89971 90124 30159 30161 92749 92745 31233 31230 92264 31226 31232 31229 92324 92317 92321 30406 30442 30403 90939 90975 30479 90941 91002 92188 31075 89980 88863 29307 29920 29977 90055 90012 29949 29948 90011 29974 90058 30160 90304 90193 90190 30067 90175 30052 90179 31286 92387 92385 92263 31081 31182 31243 31198 31316 30482 31338 91013 31340 92378 92272 92383 31277 92116 92380 92113 31192 31078 92266 92196 92190 92198 92187 92184 92193 92258 31189 92180 92176 92381 92251 92255 92260 92112 31190 31231 92114 91308 30778 30776 92110 31072 92107 31077 31186 31079 91309 30777 30781 91307 31130 115087 111119 111122 115091 107294 30912 30915 30917 91445 91441 30916 91449 30952 91485 91477 91481 30951 30948 30953 30961 91490 91489 91487 30962 30960 30957 91494 30933 91444 91440 91432 91467 91463 91459 91471 106387 91469 92826 92830 70580 70584 70587 70575 70577 80633 106760 106763 114494 111193 92822 92820 29815 29893 29823 29812 29818 92104 92257 92326 29816 93586 35341 35367 35355 35364 35342 92802 92877 92799 92803 92856 92858 92848 92813 92808 92874 92812 92804 92844 15491 15500 15503 92569 92510 92514 108004 108058 108065 31948 108061 108071 108066 31967 108072 108629 107683 31813 31819 107742 108734 32962 32959 32718 108238 108627 108630 33101 33096 107750 107680 108298 32710 32575 33095 108568 33093 108357 108635 33099 108192 31917 107957 108011 31965 31962 31964 108068 108007 108063 108074 108012 31970 31954 31961 31968 108069 31957 107847 31790 107636 31875 107842 108305 108741 107319 107420 31695 31691 107426 107418 31570 31636 32967 108738 108681 108676 108732 33088 108413 32969 108249 32714 32975 108633 108311 108573 32707 108417 32594 108309 107961 107950 31923 107955 31919 31909 107896 107903 31925 31912 32717 108730 108737 108565 108624 32973 31858 108740 33098 108727 31880 107845 31787 107637 107424 31697 31687 107311 107410 107314 32953 108349 108352 32970 108410 32578 108303 108572 31874 107580 107640 107849 107633 107639 107788 32455 108136 108195 32458 108198 32972 108295 108244 32720 108619 32966 108406 32581 31872 107850 107579 107858 107631 31784 107629 31774 107413 31781 31864 31768 107796 107634 31788 31878 107572 31785 31777 108200 108187 32462 32469 32465 32466 108133 108130 108190 108141 108201 32463 108197 32471 32468 108203 108194 108414 108356 108403 108411 33092 108241 32723 107523 107528 107534 31732 31827 107687 107741 107747 107734 107745 31833 31835 107739 107688 31832 31830 107748 108735 108419 108626 33079 32588 108416 33085 32715 32584 108673 108680 108408 107855 107853 107642 108140 107467 107518 31742 107525 107471 107795 107575 31871 107852 31782 31867 107856 107626 31877 107791 32452 108743 32592 107744 107737 108622 108632 32721 31737 107526 31740 31745 31743 107521 107529 31723 31736 107532 31729 31739 107464 108464 32840 108518 108460 32836 108527 108519 32841 108516 32846 32827 108522 32849 108524 108514 32847 108465 108525 32844 108521 32843 32833 107251 110854 111382 110938 111470 111937 57634 57620 111508 111466 111580 111794 111751 110782 110946 111761 114602 114593 111115 114599 114591 111310 114588 114609 111204 110707 111238 111196 110711 111043 110971 114585 114596 114605 107296 110611 110683 107300 111763 111759 111463 111865 111793 111768 111790 57618 57638 111652 111474 111755 108952 33693 108878 108877 108949 33690 69296 70595 70593 114173 114171 112424 111386 111677 111674 108956 33695 109990 33696 34003 109993 34000 108957 107226 107245 107228 107249 107221 107252 107268 107274 111972 111974 107271 107277 111965 111963 107279 111748 110344 110110 34867 110366 35015 110367 34799 34651 34583 34152 34435 110249 110132 33688 33691 110575 35080 110461 110224 108954 34219 34151 110015 35083 110107 110133 110578 34584 34432 108951 110483 34367 110250 110458 110484 34864 34648 35016 110227 34368 34216 110341 33689 34800 33616 69064 52143 52349 52137 52140 52352 106785 106968 106971 106955 106963 106959 106953 31634 70571 70568 70563 70566 52358 69061 68989 52354 33617 33618 107263 108950 108879 108511 107421 107472 31822 31829 107531 110016 107963 107899 108457 31826 55309 5635 55291 55336 35815 36040 5815 55327 55345 55366 5695 5755 55318 35995 6023 5995 5988 52256 52246 52252 52250 6013 5819 6006 5759 114095 70811 70800 70806 70803 114566 70809 31446 31439 16835 16838 52134 93861 93864 108350 106303 106308 106330 106254 106342 31638 31699 5958 5960 5975 5953 5994 5735 5850 5613 5615 5672 5733 5913 5638 5673 5670 5730 5698 5790 5793 5915 5758 5119 5555 5558 5972 105342 21224 36149 36140 118178 80981 80265 117876 118170 117722 117807 118172 80260 117744 117820 117855 80262 117774 117811 117747 80552 117816 117812 117828 117864 117713 117756 80767 117879 117735 80406 80190 117712 80192 80904 117839 117738 80409 118166 118161 118158 117776 117843 117739 80765 117784 117780 117867 80693 117830 80976 117861 80478 80193 80550 118109 80979 117873 118182 80195 118097 117758 117748 80978 117966 117765 117721 117870 117711 118061 80907 80411 80909 80267 117767 117810 118107 80691 80341 80104 81035 9918 118139 118147 118093 118057 118137 6012 6014 5954 5973 6008 5968 104564 104336 5607 5550 5601 5666 5609 5603 5664 5552 5713 5710 35634 5523 5533 104753 5893 5976 5978 80915 28905 28909 31391 117753 117757 117730 80334 80336 80337 80332 80339 117731 80758 80624 80622 80185 118017 80401 80686 80827 80974 80545 80473 117930 117963 118001 117948 117933 114088 117987 117939 117978 117960 117935 117934 117903 117969 118000 118014 81085 117925 118023 117951 117898 117889 117972 117943 114565 117999 118026 117907 118032 117974 118010 118005 117888 80485 117897 117908 118035 117982 117981 118009 117991 118029 52558 117973 81089 80617 81031 80557 4779 9937 36085 5971 35905 35860 105244 35950 5997 6036 80699 6038 5967 55361 5951 55371 81108 2122 5982 31558 117942 117803 81091 80627 117944 117906 117882 117890 80329 118153 118117 117926 117894 80480 117838 117990 80483 55393 117740 22129 118038 117885 118018 118073 80555 105337 117801 80264 80763 80839 80404 80620 117921 118084 117846 117766 80408 10546 117749 117924 117957 117917 80548 80481 80269 5459 10366 81161 118048 80553 117708 80197 80625 117996 80413 55375 117762 81154 117916 117912 117899 5947 117849 55388 80902 118008 55384 80257 81151 55392 118071 118019 117726 118164 9941 80899 117954 117834 80971 80906 117992 29862 29860 5505 5496 5500 5955 5957 91609 91605 92256 92253 92254 17901 17926 17883 17500 18054 16971 17896 17903 91486 92261 92319 92325 92322 31235 92330 5556 35369 88204 16384 15789 88201 15498 31456 32583 107749 108307 107682 107425 107422 31696 5483 35338 35362 5508 35334 35365 5481 35326 5511 5452 5457 35336 86378 86379 86384 86383 86385 86382 86386 86380 86390 3543 3490 3489 86403 86398 86365 86400 3491 86396 86395 3540 3545 86377 3486 86381 3544 86397 86399 86402 86401 3287 3286 3285 84701 3282 3371 3425 3426 3412 3428 3423 3369 84787 3230 3202 3203 3198 3201 3190 88002 88004 92576 92579 92575 92584 92582 92585 31411 84927 84948 84196 83941 9972 86469 86472 2952 2444 83612 84895 2553 2825 84353 84229 2210 31460 5879 31462 31471 31472 92535 31421 31423 92539 92540 31466 31393 31397 31469 31463 92508 92511 92517 5880 5914 18115 5911 3533 3531 3536 3534 3520 3315 3317 3195 3232 3188 3196 3200 3204 3318 3320 104752 3197 3163 3168 3191 3187 3208 3206 3199 3160 3164 3161 3173 3169 3172 3177 3170 84805 31776 31789 107313 32582 32593 108243 108310 107573 107897 2628 3179 2625 2619 2427 2428 2429 2622 3303 2613 2616 3306 3181 3300 3294 3297 3291 5314 5315 5322 5318 5317 2993 5319 5320 3525 3529 5321 3524 3526 5316 3310 3313 3308 3309 3249 3251 3250 84760 3237 3241 84689 3221 3227 3224 3223 3218 3214 3248 3244 3252 3267 3264 3269 3268 3217 3215 3220 3226 3222 2676 2677 2673 2678 3253 2715 2712 2709 2700 2651 2659 2655 2696 2703 2694 2658 2650 2649 2695 2706 2691 2646 3360 3373 3370 3359 82342 82346 3586 3576 3414 3427 3424 3532 3575 3589 3522 3521 3413 3535 3233 3481 3234 3316 3467 3468 3478 3319 3247 3231 31911 2285 2288 2291 2279 2276 2273 86427 2270 2267 86429 3321 86424 86428 86446 5429 5433 86442 3077 3052 2888 84931 3074 84930 35626 2863 36138 106789 81092 83754 2578 84236 117729 2282 3354 3356 1848 5289 3515 1902 3493 3518 3516 3513 3519 3155 3357 3137 1824 3148 1842 3335 1846 3346 5293 5294 5291 5287 5288 5166 32960 1841 3336 1843 3349 3497 1895 3508 1896 1900 1897 3511 3133 3331 3153 3353 3351 3439 5292 3465 3459 3461 3462 1884 3464 107790 31879 107789 32961 108459 108006 108526 32974 31921 108135 32470 108134 107533 31956 108634 31730 108005 107746 32456 31741 31876 31969 107466 108631 31966 31831 108070 108073 108566 32971 32457 31955 108415 107574 107641 31786 5124 31820 32848 32835 31731 107465 31744 107312 31637 31866 108458 31775 81398 82055 82259 82052 82280 82046 81614 82293 81419 81395 81617 82301 81815 81812 81391 81830 81599 82274 81425 82311 81401 81404 81416 82262 81593 81620 82265 81428 82040 81836 82043 82061 82034 81827 82313 81818 81431 81821 82307 82289 81413 82058 81602 81422 81410 81608 82305 82299 81605 81833 81596 82283 82049 82286 81623 82271 82268 81407 82295 81611 82037 81824 82277 3479 3372 3358 3588 3477 3480 3590 3574 3587 3374 3585 3466 3482 5157 5161 2742 3056 2868 2930 2805 2944 2994 2818 3007 3070 2755 2881 3004 3057 2867 2815 2931 2804 3067 2752 2410 2400 2413 2472 2482 2471 2485 5303 1915 1877 1879 3390 1864 3552 1861 3569 1860 3389 3400 3567 3403 3565 1913 3551 1859 3572 3304 9971 9959 9957 5449 5448 5445 9962 5450 3421 2941 2878 2533 2494 2530 2498 2502 2538 2462 2466 2569 2461 3408 3410 1866 5285 5284 5283 5280 3411 3407 3405 3385 3416 3418 3417 5297 5304 5300 3158 3156 1830 5302 5301 2387 2394 2389 2386 2534 2567 2566 2574 2458 2531 2570 2459 1918 3444 3457 3443 1882 3570 3454 1878 1920 1914 3547 3562 3573 5333 5282 5332 5278 3362 5196 5279 5469 5127 5336 5296 5339 5342 5345 1825 5193 3566 3559 1912 3555 1916 3564 3138 1823 5199 3151 5130 5142 5144 3363 3470 3471 3364 3475 3472 5337 5461 3578 5340 5346 5349 5334 3580 3579 3583 5343 3367 84710 2495 2614 2626 2627 2618 2617 2624 2623 2612 2611 2620 3236 3289 3290 3293 3257 3296 3284 3292 3280 3266 3295 3283 3288 3298 3281 3456 3447 3451 1880 3343 3347 3350 1844 3345 3476 3142 3340 3334 1901 3502 3136 1822 3141 3150 3147 3140 3149 1827 1829 3509 3510 3500 3145 1826 3152 3496 1899 3512 1840 1883 1876 1881 3446 3448 3453 1898 3338 3507 3393 3402 3399 3388 1865 3401 3392 3442 3455 3501 1894 3505 3458 3339 3404 1862 3394 3348 3397 1863 1858 32722 32719 32708 108351 2425 2543 1828 3159 2579 3194 3193 3192 3189 84918 3171 3174 3175 3176 2399 3165 3216 3162 3228 3225 3167 3166 3219 3229 84958 2544 2590 2435 2580 2446 2521 2508 2377 2330 2593 2554 2507 2557 2518 2449 2374 2436 2331 108418 107530 32709 108567 5699 21024 35955 35959 21026 5700 5734 20951 2103 2112 2148 21027 2151 21023 2145 35954 5583 35999 35820 2127 5820 2740 3563 1917 3550 3556 3561 3554 1919 5135 5170 5143 5169 5171 5162 5153 5139 5160 5187 5134 5184 5151 5148 5152 3302 3305 3299 3301 2130 20954 2102 20952 35869 35865 2144 2190 2193 21098 2186 36045 36090 36049 21096 2154 2147 5760 5854 5190 5133 85968 84975 3584 86211 3581 86044 84972 85970 84978 85917 84840 85993 85912 86052 85971 85885 85808 84990 86079 86128 85889 85811 3366 3312 86049 85809 84915 84912 85916 3469 86216 86155 86214 3474 3528 86135 3361 84903 86074 86078 85966 84841 86125 3415 86130 85998 86133 86047 3577 84984 84842 86132 3314 84987 85835 3419 3530 3582 86160 86206 3523 86213 3307 84909 3527 85997 3422 84981 86051 3365 84989 85882 85890 84832 85801 85892 3311 85804 86159 3473 3368 86054 2264 2261 84827 84830 84829 84799 84757 84826 84821 84814 84815 84818 84820 3381 86362 84749 84745 84752 84755 84728 84758 84751 84748 84746 84743 84742 84754 86415 86417 3378 3383 3382 86413 86412 86406 86409 86418 90703 90665 90341 90342 90379 90649 90544 90487 90557 90450 90449 90706 90395 90396 90490 90436 90382 90612 90652 90611 90504 90666 90433 106255 70958 70970 68687 70967 70964 70875 70961 68869 68691 70952 70955 68725 68797 90503 90595 90558 90598 103653 103881 5726 5784 5786 5900 5720 5776 86493 93198 93202 5341 5335 5338 5464 35914 21132 2208 5640 36089 21059 20987 2172 21134 21127 21131 20990 35910 2166 20991 2175 2084 2082 2123 5794 20918 20916 35824 35819 20915 20919 2081 2211 2133 2169 5674 20988 21135 2214 21060 2165 36000 36004 84497 2450 5847 40918 40813 87842 87840 87836 82411 87832 86320 87791 86248 87784 87788 40708 40603 31445 31443 5356 326 2632 5272 2629 3324 3329 3328 87737 86420 87735 86411 86407 86414 86416 5423 86410 5424 5426 86405 3603 86408 86404 3609 3615 3606 3612 86421 87738 87904 87908 87872 87730 87944 87947 5273 87740 87868 87733 87940 87875 87911 93210 93212 35614 35430 35619 94060 5598 5898 103435 40393 5715 5655 5909 5907 93194 105332 105117 105125 5990 105121 5669 103445 93136 93134 5663 103659 80925 5456 5460 5484 93183 93192 103443 5787 104121 104344 5902 5667 103888 5602 103884 5662 5658 103660 6020 104116 104755 94064 5849 103438 103434 35616 35611 104879 80926 80914 105330 40507 40503 93590 35618 105338 105336 35394 35388 5506 5477 93166 35403 35421 35418 35407 35390 35424 35412 93228 80927 93225 93216 93220 5661 105331 103661 21099 21095 2196 36044 9967 87970 87847 87852 87973 87845 87800 87804 108742 108675 33086 31635 31565 31630 31626 81175 81179 2442 84940 2942 85973 85836 84638 83355 84900 83030 83635 2555 84824 2516 83347 2372 84823 84347 83460 90135 83607 84054 2615 2621 83180 84065 2398 2519 2558 85887 85806 86209 84052 84488 33097 33087 108739 108674 12202 12205 108242 32596 104565 5719 104337 5773 104109 104754 105589 5835 103657 5937 5775 5895 5657 104117 104573 103885 104569 104343 103883 104571 104339 104113 104111 104567 104341 104345 5779 5777 5783 5717 104762 104760 104766 104865 104869 103887 103889 81156 81158 81159 117837 80834 80832 117915 117983 117794 117792 80911 117858 117802 117852 117798 117720 117717 80188 80476 118176 1845 52264 21091 20947 111724 111714 52290 111709 111728 52313 52293 111706 111710 52320 52295 111707 52308 111727 52294 111732 111725 52317 111691 111682 52329 111687 111680 52267 111683 52268 52263 111679 52266 52326 20911 35821 21545 21763 21709 21820 21817 21762 105858 21493 105949 21197 21202 105787 106146 105790 21601 105912 21492 21198 112429 106060 21496 21815 106020 21604 105911 21599 105895 106003 106145 105898 21547 21761 105804 106194 50442 50446 52270 52278 52274 112413 112389 112397 112395 114305 114323 114290 114327 114315 112378 112419 114312 114004 114300 112415 112425 114338 70710 114308 69294 114318 114096 112427 114100 112426 112383 114286 114331 69298 52271 111693 21193 50443 111388 50437 21199 106183 111749 69285 70679 52262 69264 111741 69065 70704 69287 52319 111738 52298 111720 111694 111713 52325 69276 70701 70691 52328 111735 52314 52265 111746 52316 69259 52288 111717 70685 70694 69281 52318 111708 52291 52306 52292 111712 52300 111695 69066 111711 52305 111730 70698 52301 111742 111743 52296 69272 24704 24702 20983 20955 2207 36094 2106 35864 2217 2109 5671 21055 36091 36046 118121 80136 80621 80619 80616 80618 80901 80685 80903 80687 80835 80837 117793 117789 81152 81150 81153 81155 96369 80636 80614 80896 12292 12296 80850 80852 12295 80328 80189 80547 80259 80403 80474 118049 80258 80754 80757 80759 80756 80831 80826 80828 80829 80261 80549 80477 118128 118125 80400 80405 118131 80544 118058 80184 80187 80186 80546 80472 118085 118165 118094 80256 80475 80402 80959 105249 80973 80939 80965 105328 80966 80972 80330 80333 80331 80975 80964 56119 81032 80970 81086 81084 80323 80182 80968 80752 81148 81145 80179 118045 80398 80749 80395 118090 80539 80467 80470 80251 80824 80611 80821 80680 80542 118114 118054 80254 118081 21019 80632 5791 81028 81079 36184 56066 36188 36191 21222 21219 21216 5851 35956 12302 21211 12242 12272 118118 80326 118120 36001 21062 21063 5903 5901 5940 5837 55356 5946 5843 5841 80631 20883 35630 5970 111684 111685 52272 52327 111745 52276 111689 111696 111688 52309 52310 111729 111690 70707 69291 114296 112401 114174 114302 112391 112407 111747 52311 52322 111736 111734 111737 111740 111681 52297 111731 112431 69266 69270 112385 52324 112409 112403 69279 52277 114415 2077 35635 20882 5519 5515 5513 28912 114807 51982 51976 51980 69295 106788 40512 35330 5545 104115 40591 5949 5724 5723 5839 90541 106475 31563 30211 31559 106744 5286 5295 5281 5344 5290 5348 80760 80762 35617 118138 80322 80324 80297 103671 80610 80612 80585 104728 117785 117783 80181 80148 81146 81144 105682 105603 81119 80969 80461 104497 80543 104889 81139 80471 104725 118152 80796 80298 80750 80396 80389 105129 80823 80743 80748 80753 80795 118141 103369 80327 80125 80253 80540 118052 80586 103898 80397 80392 80892 80900 80895 80887 80867 105208 80898 80894 105128 80868 103670 80822 80370 105088 104965 103366 80967 104041 80940 80513 80399 104968 80613 80226 105008 105009 80250 80679 80252 103449 80441 80225 80820 105562 80541 80723 104354 80533 80245 118091 81078 104355 80469 80248 104845 80674 104126 80695 118078 80255 80536 104272 80180 104269 80320 80825 80514 80442 105085 80605 80464 80724 80466 118146 104127 80538 103585 80962 118082 118046 104582 80746 80317 80608 36182 24833 24667 36190 24668 24664 80644 56122 56129 80648 80654 104768 103813 80147 103816 96372 80615 56126 104500 80173 104044 96371 118154 81080 80369 105248 80468 80178 80176 105325 80681 80652 118042 118148 81120 81147 105679 105602 2294 80830 2206 6024 6031 2143 24735 80325 80183 118087 80815 80890 81073 118134 103899 80751 80394 80755 55354 12238 82423 2118 82422 82449 82444 2157 82442 82459 2202 82463 82467 82454 2181 82458 82450 82469 82476 82471 2292 82445 82453 2183 2182 82451 82424 82426 2119 82472 2225 82440 82435 2141 82432 82436 2140 2139 2136 5299 5425 5467 5355 5357 5352 82417 2094 82415 20878 5731 35911 114806 51981 80818 103448 118055 104583 105205 81149 80897 103588 114826 24536 24958 24378 24729 24600 24300 24965 24528 24971 24380 24974 24444 24374 24458 24707 24606 24288 24366 24540 24180 31567 31568 84515 84371 84372 84502 84358 84499 84084 84214 84227 84646 84516 84228 83796 83923 83926 5475 5471 5401 5400 5391 5361 5364 5415 5402 5406 5373 5366 5365 5418 5397 5374 5370 5392 5375 5388 5393 5409 5412 5421 2184 2179 82470 2221 2802 2821 3073 3053 3076 3054 2864 2801 2824 2884 2887 2865 2295 2991 3013 2383 82507 2098 82501 2203 82487 82441 82418 2199 82504 2099 2274 2115 82516 2162 2289 2283 2097 2277 2286 82468 2178 82427 82483 2120 2223 82513 82460 2224 82462 82490 82433 82510 2161 2204 82431 2160 2220 81027 81000 105448 81029 105369 81022 106074 21654 106057 106073 5039 105750 10396 21816 21550 106019 106213 105952 70708 31378 31924 106790 106749 24724 24296 51985 24384 24302 105966 21708 105844 21655 106216 21546 5043 16836 24731 24620 107638 108202 32834 107681 107854 31865 107898 32845 108523 31821 107857 31910 107962 31834 32467 35631 70682 70689 114424 111692 52275 114329 114336 111686 52269 105841 21600 105965 10395 5048 24372 114829 10341 21653 50441 21707 105749 10399 106186 106111 5071 21712 105803 106193 21491 21658 105857 106006 106114 21766 33100 81142 104888 2928 2950 83044 82914 82421 82420 2100 82897 2092 82416 2093 82419 82518 2095 2096 2290 83201 82520 83329 83202 83620 83332 82900 83489 83617 2576 2488 83634 2469 83346 82913 2739 83473 2947 2577 2452 84067 2432 2563 83764 84070 2433 2455 83057 2927 2397 2416 2380 84643 2738 2596 83490 2491 83761 84355 83476 83188 83041 2990 2560 2599 83185 2419 3010 2505 2468 83633 2541 2758 2527 2540 2761 83940 2524 2504 84211 83058 83345 82437 2201 2287 82448 82515 2205 82512 2198 2137 82491 2197 82464 82429 82509 82465 2281 2156 82500 2142 82497 82434 2176 2272 82473 82485 82438 82447 82439 2114 82446 2135 2218 82443 82488 82466 2180 2116 82479 2278 82475 82430 80996 80994 24829 24832 82425 82457 2134 2163 2284 82455 82506 2177 82503 2158 2159 2155 82474 2121 2222 2275 82456 82461 2219 2200 2117 82482 82494 2138 82428 82452 2226 24862 24859 81053 2113 35648 80343 82414 84520 84873 2396 3242 2660 2390 84906 85831 2280 2686 84817 83499 82521 83613 3420 85963 2819 82498 86474 111750 111722 111723 111718 52299 111716 111733 52302 111719 52304 52315 111715 52303 106287 106283 31164 31160 31259 106491 106554 31215 106305 106307 106493 106501 31214 106520 106519 106500 106551 106331 106515 106497 106518 106304 106545 106509 106502 106332 106548 31302 31301 106511 106319 106542 106527 106529 30209 31300 31324 31213 30207 106536 106538 106557 106355 106483 106479 106482 106354 31100 31345 31258 106484 106318 111699 111703 52279 111704 52280 31346 106524 106528 106259 52285 52284 111698 111697 111700 111705 112423 31163 106488 106284 106286 31161 106492 106356 106343 31325 31347 106533 106537 106320 106506 106510 31260 106260 69297 69299 111739 52321 115109 106560 106563 35794 93704 93700 106262 31101 31103 114260 52283 114166 111702 70588 52282 111726 114176 114262 2187 2124 35909 92573 111701 52281 114293 114253 70596 6022 35633 89334 12344 81038 12329 12347 104859 104861 93768 29765 105235 105243 105246 105348 6015 105350 6011 6004 105119 105239 35796 35799 5792 5732 35636 5840 103437 103439 35415 35621 105599 5853 5855 5596 5600 5656 93240 93588 91674 91668 92179 16837 16839 16877 16875 18031 18076 31522 17506 17992 17947 16881 30197 106220 31102 30213 30202 30198 106261 106221 106257 106252 92513 92512 31406 31402 92549 92547 31429 92544 92574 92548 106436 106407 106465 31542 31405 31415 92580 92520 92586 92526 92583 92521 31403 31410 92530 106438 106468 106466 31412 92531 31414 92529 31419 31394 31396 31432 31459 31465 31551 92577 106390 31437 31468 31433 31430 106398 106460 106469 106403 31524 107965 108199 91354 91352 30049 30007 91454 91377 31040 31041 91397 91399 91370 91390 91417 91386 91381 91395 91424 92105 92103 91427 91421 91420 91423 91391 91369 30845 91387 30863 30861 30840 30844 91372 91373 31063 92098 91509 30843 91506 91404 91413 91408 91406 30876 30881 30879 30880 91409 91405 91396 91400 92323 91503 30929 30936 91512 91429 91430 91418 91415 31068 30858 30862 91414 31070 91379 91388 91500 91382 30849 30853 91378 91426 91433 30680 30736 30695 30679 30684 30662 30734 30702 30725 30730 91191 30661 30706 30677 91195 91227 30659 30737 30703 30722 30676 91231 91241 30694 30733 30711 30697 91249 91236 30716 30728 30712 91209 91239 30727 30666 91213 30698 91240 30704 30707 30724 30721 30731 30658 92883 92880 91192 91190 30664 30660 91273 91271 91277 30743 30739 91275 30827 91437 91439 30825 91355 92315 91665 92245 92311 92249 91662 91659 93702 92259 5896 92328 91671 6026 5830 104860 105597 35429 93583 6032 5729 5721 5943 5770 5846 6027 5780 5659 37379 40295 40297 40608 40696 40612 40617 40301 40407 40486 40722 40305 40801 40919 40401 40403 40300 40296 40814 40990 41031 41023 40959 80949 41100 105326 40994 105251 80941 105319 105247 41095 35866 35629 89339 12341 80984 12335 12332 40605 80661 40923 40402 40710 41162 40714 40920 41191 40823 40611 104772 40504 40815 40718 36088 5594 36003 5905 5785 5605 35913 35953 92538 106467 106432 106413 106415 106464 106442 106424 106449 106451 106455 106428 106440 106461 106458 31556 31553 106404 106476 31549 106406 106473 31487 31491 103845 35936 35851 35847 103420 35937 103616 35892 35891 103617 36026 35893 104323 104092 35803 104551 35982 103639 35802 35848 103864 35938 35981 103636 31407 31464 92532 92546 31400 31425 31418 92523 92524 31453 92534 31408 31436 31422 31398 92527 92519 31416 31452 92550 31435 31473 92543 31426 92578 92515 31417 31434 92542 31461 31467 31427 31399 92545 31470 31449 31409 31395 31458 92525 92528 92516 92572 31404 92509 92507 92536 92518 31454 31431 31444 31520 31482 31537 31544 106394 106422 31550 106443 17907 106463 106457 31474 106453 18056 17507 17505 106392 106396 18055 31478 31552 31527 31541 31547 93587 93585 93175 80920 31159 106471 35846 103844 35728 103867 104528 103397 36076 93707 93708 41030 35381 35380 35379 35376 31555 93185 93184 88205 92504 92488 92671 89336 89343 92562 92558 92557 92566 92556 92553 35398 5996 6029 5818 5781 6018 6009 35343 104112 103893 5716 5795 5778 5782 104123 35366 5789 103895 40713 40717 40397 5509 5510 5479 92571 92567 92565 91351 30824 91193 91189 30665 30663 30820 106301 89335 106249 28907 31115 36027 35896 35801 35941 92581 31413 31440 111973 111969 114422 112422 111744 52261 106870 106875 106866 106276 106474 10548 9942 89317 106282 106280 30199 30193 31483 31480 31548 31499 31490 31554 31545 31535 31488 31476 31526 31512 31539 5993 5660 5727 81041 12353 104999 6030 105593 5991 5675 12338 5549 40609 103667 103665 5553 35427 5650 5722 5718 12350 40716 104995 40613 105005 105003 103433 104349 104340 104351 40817 40399 80663 40502 10146 88639 88590 88374 29807 10220 88535 88553 10254 88589 88587 10256 88528 88592 88423 88428 29813 29810 30009 30011 30047 88481 10177 88445 10285 10290 29800 29801 29798 29804 88312 88319 88636 88607 88322 88643 88549 88366 10073 88603 88499 10218 88533 88320 88315 88317 88333 88387 88495 29872 29869 88371 10112 88373 88646 10148 88391 88644 88425 10289 88427 88337 88441 10253 29791 88554 29797 88608 10110 10076 10292 88482 88477 88211 10074 88446 88500 88641 88207 10069 88212 92505 92496 92500 52312 91653 91655 91599 91600 91596 91601 35798 89481 29882 29891 29885 29888 29894 29863 29878 29868 29861 29879 29854 29881 29851 29859 29746 89484 90430 90399 90435 90437 10370 89486 90427 90506 90434 10373 90542 10427 10425 90540 90394 90398 10371 90432 90345 10339 90615 10343 10474 10478 90646 10506 90668 90702 92178 10420 90535 92183 10424 90507 92181 90538 90594 90340 90560 90597 10454 10346 90599 91410 90592 90344 90373 10481 90650 90614 90648 10479 10508 10397 90484 90489 90491 90453 90704 90697 90707 90651 90643 91412 90543 90669 10501 90705 10505 90664 90610 10451 10447 90653 90700 90448 90488 10400 10393 10398 90452 90481 90486 90561 90596 90556 10452 40508 40506 40398 41066 35371 93732 35332 41062 29770 89485 35328 93180 103654 29877 35349 80918 5852 31065 52307 92522 52323 52273 31533 31506 31497 31508 31516 30934 30930 31038 30925 30935 30972 30978 30926 30921 91462 91460 30969 30966 30975 30981 31275 92200 31246 92376 31291 31147 92341 31122 31201 92449 92392 31150 92157 92156 92275 92422 31121 92203 30835 30831 31071 91374 91376 91422 91428 91425 91431 91385 91401 91419 91416 91403 31225 31187 91586 92097 91592 91589 31061 31058 91497 31055 91583 91580 31073 92106 92108 31052 31049 31062 91566 91557 91579 31053 31059 91576 31017 31051 31010 31060 31026 31048 31045 31035 30990 92095 91590 91584 91578 92100 92102 91587 91593 31013 31009 91542 91546 91547 31012 91545 92320 30836 30834 91548 30872 30870 31044 31036 91591 91543 91521 31014 91544 91540 31011 31015 31016 31025 91553 31023 31037 31039 91574 91573 91569 90826 90830 31046 91389 91393 31027 31031 91565 91563 31019 91551 31021 91555 31064 31043 91575 91571 91567 31042 91577 91562 31034 31032 91511 91495 91505 91496 91502 91498 91508 91510 91499 91504 91380 91402 90493 90734 90727 90737 91549 31022 91556 91554 90440 90443 90439 90442 90494 90447 90496 10413 90725 31018 90722 90740 90730 90663 31033 31029 90659 90555 90547 90548 10440 90717 10386 90710 90712 90733 10469 10527 10542 90602 10536 10530 90713 90601 90721 90605 10442 90719 10544 10464 10533 10539 10415 10387 10522 10467 10410 90385 90656 10491 90389 10496 10494 92174 92170 30295 30299 92092 30852 30854 30900 30888 30891 30885 30894 30897 31066 30974 30977 30980 30965 30971 30968 30928 30932 30920 30927 30922 91522 91532 30998 91526 91530 31002 30993 30996 91535 31007 91525 91588 30997 91585 31005 91531 91539 91523 91534 31006 92101 10356 90388 10360 90386 30989 30987 91513 91517 30994 91528 30995 30999 91524 91529 91527 30992 30991 31057 31054 30970 30979 30964 30967 30910 30976 30955 30973 31008 31001 31003 91537 91533 31000 31004 91536 91538 91558 31028 30937 91560 91564 31030 91561 31024 91552 91550 31020 91478 91480 30983 91519 91515 30984 30988 91357 91514 30826 30822 91435 30904 30985 91516 92099 90724 91541 91570 31067 31047 31050 91582 90718 30919 31056 10414 10518 91501 91507 90380 91450 91442 90551 90609 90383 90655 90381 90376 91394 90550 91568 90658 90728 10523 91581 91559 90604 90497 10441 90393 10383 90501 90709 90378 10344 10359 91411 10495 90502 90545 30867 30871 91392 10437 10521 10388 10361 91407 91384 91366 90731 90589 91375 91398 5499 5501 5441 5458 70796 33372 111964 111678 107291 107280 107276 70793 70592 111387 52345 52341 107293 107269 114170 68872 52142 111670 111662 52353 111666 52139 52135 52350 111675 107288 111960 111660 107285 107281 107227 107273 114321 111721 52287 93819 93840 93810 93783 93787 93831 93825 93834 93801 93852 93814 93846 93822 93858 93843 93805 93837 93849 93795 93797 93828 93804 93723 93756 93711 93747 93778 93716 93734 93765 93761 93725 93769 93788 93720 93743 93770 93738 93733 93796 93714 93715 93741 93724 93786 93750 93760 93752 93729 93742 93815 93759 93813 93806 93774 93792 93779 93751 93631 35797 35296 93703 40819 36092 35863 5771 35915 5665 35818 5772 5608 36002 6007 35868 5848 36050 35823 5891 5831 5832 5547 36048 104847 104842 104849 104853 104855 5439 5516 5514 5436 5518 5989 93580 93237 93231 93234 93239 36095 35958 36043 5845 6025 5892 5651 5908 5652 35960 5725 36005 35870 40404 40406 40396 40400 40922 40304 40299 40279 40381 36047 5712 36093 93855 5546 35825 5548 35912 5551 35908 5668 5711 35957 5595 5788 5728 35867 35998 35822 92712 92715 52289 106470 52286 30986 91518 91520 92686 91358 30982 91356 88484 88585 10249 10181 88420 88582 10184 88479 88536 88474 10109 10182 10217 88369 88376 88392 88430 10145 10141 88338 10213 88538 88531 10105 89388 89380 29829 29830 29826 89382 89385 89386 29827 29824 29825 29832 89387 29954 29836 29833 29842 29873 89426 89431 89390 29839 89412 89404 29821 29817 29734 89392 29835 89432 29809 89376 89430 29831 89442 89395 29846 89957 90033 90108 29957 29880 29849 29856 89425 89429 89449 89393 29838 29840 89955 89445 89407 29847 89410 89446 29895 90178 89379 89402 89373 89365 88544 88543 88540 10206 88494 89330 88379 10131 88381 89381 89383 29844 89411 29857 89377 89374 90169 90028 90103 89950 89517 89526 89529 89523 89441 29889 89420 89444 89408 29900 90035 89354 29820 89375 29822 29819 89378 10134 10136 10172 10171 10170 10208 10326 30054 30056 89428 89362 89357 29887 89311 89366 89359 89360 89344 90183 29852 89394 89403 89391 89348 30048 10323 29855 10243 10239 10203 10135 88486 89451 29843 89409 88769 88649 88651 10098 10167 89423 89421 89532 89520 29806 90181 89448 29845 89422 29841 89396 90106 90176 90172 90110 90180 29897 89427 29870 88765 89398 29886 89437 89433 29874 30051 29876 29871 29834 89413 89405 29837 29858 89435 29848 89415 89424 89438 89450 29892 89440 29853 89399 89401 89389 29866 89419 89439 29864 88541 29884 90177 90174 90111 90185 89958 89960 89953 89326 89356 10099 10242 10244 10314 90114 90036 10100 10335 10320 10329 10332 10095 10207 89369 10315 88648 10316 29898 89418 28901 28908 93170 5440 93141 5454 5482 5478 40712 80945 105324 40607 40821 40954 46211 29206 47699 47633 29008 46228 1847 5298 3498 12881 12869 12665 18149 12677 12683 12686 12668 12863 18137 18134 12872 12890 12689 12680 12662 18155 12893 22142 12674 18140 12659 33368 12884 12695 18131 12887 22148 12875 12655 12692 12878 18143 22146 18152 12866 18146 46207 12671 46372 46215 29134 29940 31118 90833 30302 92153 12248 88602 88669 88432 88666 88676 88667 88660 10275 88598 88657 88670 10280 88433 10279 88325 88382 88658 6109 88664 88595 88489 88328 88324 88435 88597 88673 10278 88663 88594 88440 10543 88679 89414 89363 90031 88652 29890 89434 89417 88386 89368 29883 29875 89400 29865 89371 88661 89443 89372 29867 88490 89384 89436 88327 89353 88436 29803 88548 90116 88487 10311 90038 88378 29828 89447 89406 90112 89416 88332 29850 89397 88672 88656 88198 88203 92691 92699 92703 92684 92707 92682 92697 91572 30946 31228 10468 24552 24396 24464 24390 24973 24314 24392 5987 52172 52144 52148 52168 57600 57602 57606 57614 57608 57612 52130 52124 52128 5992 5977 5956 5952 24618 24608 24612 24386 24147 24470 24308 24149 24970 24312 24530 24630 24153 24534 24450 24306 24662 24666 24462 24624 24660 24964 24456 24474 24657 24452 110863 80638 104854 5614 35632 92587 35279 92663 92654 92591 92657 92650 35282 35291 92672 92640 92669 92595 92662 92604 92600 35290 92633 92660 35229 35275 35288 35285 35220 35216 35225 92665 35741 35769 35784 35781 35778 35793 35787 35739 35775 35758 35790 35750 35772 35766 35754 35748 35763 35297 106472 31560 31557 115105 106180 106149 21200 106185 106187 21196 106148 106182 21203 106177 106184 21201 106144 105752 105784 21713 106018 105914 106110 105946 106105 105969 21551 105894 106002 21497 106023 106000 106054 105915 21490 105860 105897 21544 105861 105889 105781 106112 105748 106058 21602 106077 21821 105840 106115 105842 105835 105856 105845 21760 21598 21711 105838 105892 106113 106004 21659 105753 106072 21765 106061 21710 105950 105899 21767 105789 105953 21494 21652 106007 105951 21818 105843 21605 106059 21819 106022 106051 105910 105788 105964 105802 105948 21814 21657 21764 105997 105896 105968 21603 106005 105786 106056 105943 21656 21549 105791 105807 21495 21548 105806 21706 106108 106076 50447 114809 51984 114827 114805 114820 51986 51979 114810 114828 114830 114825 51983 114823 28913 80643 80634 25385 31664 31670 31685 106943 31658 106922 106928 31679 106925 106946 106919 106916 106937 106931 106934 25177 106913 31661 25184 31673 31682 25181 106940 31676 31667 68879 41933 41930 41918 41519 41915 41146 41504 41687 41498 42152 41108 42146 41149 41699 41513 41124 41150 42158 41132 68350 68425 68354 42143 68683 111200 41693 41696 41127 42149 41507 69075 69253 68503 41705 41690 41516 68536 68883 68497 69106 69071 69067 69077 69257 69109 69110 24817 24821 41489 41510 41936 41110 41115 41927 41924 41145 41154 41141 41135 110935 68608 68511 41714 24827 57596 41717 41482 41101 69084 41479 41711 41501 42167 42164 70559 69181 70556 41120 42155 41921 41495 41702 69079 41492 41708 68680 24830 24807 41137 24826 41156 41147 41130 41486 41912 41483 24825 41118 68917 42140 42161 24813 70554 35221 92596 35212 35206 35260 35265 35287 35258 104300 35806 36073 36072 36031 36071 104073 104548 104301 94048 93705 35986 35983 103398 94051 104320 103417 36028 35294 92635 104529 104072 104095 92666 106399 115106 52355 111497 111493 111503 111501 111509 111506 37405 68910 68918 68915 68912 68902 68906 106197 50440 50444 106196 106217 106214 106192 106212 50445 106207 106210 106215 35209 28904 92706 92698 92683 92708 92694 92679 92689 28911 31383 31392 31387 24155 24164 24695 24979 24542 24546 24548 24955 24698 24693 93678 93651 93644 93661 93669 93696 93684 93653 93690 93666 93699 93693 93642 93675 93681 93672 93657 93687 35293 92668 30200 30212 106279 30196 106243 31099 31114 31116 106278 106224 31162 106273 106248 106223 106253 106258 30203 106281 106246 106285 30201 106251 106250 106256 106219 106298 24216 24218 24228 24224 24675 25619 24952 25391 37400 25622 25394 25412 37388 25208 25613 25616 25625 37398 37394 25415 25400 25202 24234 25610 25205 25634 25388 24230 24236 25628 25190 24976 25196 24956 25406 25409 37404 25403 25199 24240 25214 24694 24229 25397 24318 24651 24653 24159 24161 24980 25193 24961 24977 24222 24626 24669 37392 24645 24959 24614 24688 24967 24468 24968 25187 25217 24962 24294 25631 25211 24522 37406 2360 2357 2354 2351 2348 2345 24836 788 608 547 627 649 869 901 844 762 554 763 842 574 646 896 793 815 591 626 898 761 572 573 613 410 897 559 592 644 556 871 631 628 577 590 766 645 609 610 595 789 847 816 555 870 843 790 817 874 820 106838 31604 31601 31598 31595 106841 31613 31616 31619 106862 31592 106832 106829 31610 31607 106853 106850 106847 106859 106844 106835 106856 24841 118187 118183 81044 3620 68500 2363 2342 2341 2335 2339 6092 6095 6098 15706 118184 31621 16790 107677 90158 90089 16718 108001 16679 16677 15946 16018 29210 30002 30131 32956 33082 108562 35120 107893 108454 108346 107569 15580 31178 15785 30134 15782 10559 52335 52337 107785 68875 15778 68507 110942 107461 92234 3058 2995 31726 2932 2869 2806 2743 31771 2581 31816 2545 2509 31861 2473 31906 2437 2401 2365 108670 31951 32704 107308 32830 0
385.79/385.86
385.79/385.86 c Core has size 18495
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495943-1307808641/watcher-3495943-1307808641 -o /tmp/evaluation-result-3495943-1307808641/solver-3495943-1307808641 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495943-1307808641.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.04 3.88 3.62 5/189 17004
/proc/meminfo: memFree=29600044/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=16876 CPUtime=0 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 1559 0 0 0 0 0 0 0 25 0 1 0 892466467 17281024 1171 33554432000 4194304 4365125 140736434802592 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 4219 1171 254 42 0 1367 0
[startup+0.0806809 s]
/proc/loadavg: 4.04 3.88 3.62 5/189 17004
/proc/meminfo: memFree=29600044/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=24724 CPUtime=0.07 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 5852 0 0 0 7 0 0 0 25 0 1 0 892466467 25317376 3058 33554432000 4194304 4365125 140736434802592 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 6181 3058 261 42 0 3329 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24724
[startup+0.100676 s]
/proc/loadavg: 4.04 3.88 3.62 5/189 17004
/proc/meminfo: memFree=29600044/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=26284 CPUtime=0.09 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 6678 0 0 0 9 0 0 0 25 0 1 0 892466467 26914816 3099 33554432000 4194304 4365125 140736434802592 18446744073709551615 4257406 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 6571 3099 261 42 0 3719 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26284
[startup+0.300637 s]
/proc/loadavg: 4.04 3.88 3.62 5/189 17004
/proc/meminfo: memFree=29600044/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=31488 CPUtime=0.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 8366 0 0 0 29 0 0 0 25 0 1 0 892466467 32243712 4394 33554432000 4194304 4365125 140736434802592 18446744073709551615 4258224 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 7872 4394 262 42 0 5020 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31488
[startup+0.700562 s]
/proc/loadavg: 4.04 3.88 3.62 5/189 17004
/proc/meminfo: memFree=29600044/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=35396 CPUtime=0.69 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 12385 0 0 0 68 1 0 0 25 0 1 0 892466467 36245504 5448 33554432000 4194304 4365125 140736434802592 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 8849 5448 262 42 0 5997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35396
[startup+1.50041 s]
/proc/loadavg: 4.04 3.88 3.62 5/190 17005
/proc/meminfo: memFree=29574896/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=45196 CPUtime=1.49 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 20328 0 0 0 148 1 0 0 25 0 1 0 892466467 46280704 7252 33554432000 4194304 4365125 140736434802592 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 11299 7252 262 42 0 8447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45196
[startup+3.10111 s]
/proc/loadavg: 4.04 3.88 3.62 6/190 17005
/proc/meminfo: memFree=29554064/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=96420 CPUtime=3.09 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 53768 0 0 0 303 6 0 0 25 0 1 0 892466467 98734080 15521 33554432000 4194304 4365125 140736434802592 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 24105 15521 262 42 0 21253 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96420
[startup+6.3005 s]
/proc/loadavg: 4.04 3.88 3.62 5/186 17034
/proc/meminfo: memFree=29943756/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=165428 CPUtime=6.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 127887 0 0 0 616 13 0 0 25 0 1 0 892466467 169398272 36137 33554432000 4194304 4365125 140736434802592 18446744073709551615 4263861 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 41357 36137 263 42 0 38505 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165428
[startup+12.7003 s]
/proc/loadavg: 4.04 3.89 3.63 5/190 17082
/proc/meminfo: memFree=29722164/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=231876 CPUtime=12.69 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 172796 0 0 0 1251 18 0 0 25 0 1 0 892466467 237441024 38160 33554432000 4194304 4365125 140736434802592 18446744073709551615 4244608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 57969 38160 264 42 0 55117 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 231876
[startup+25.5009 s]
/proc/loadavg: 4.03 3.89 3.63 5/190 17082
/proc/meminfo: memFree=29632764/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=25.49 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 183566 0 0 0 2531 18 0 0 25 0 1 0 892466467 275189760 42794 33554432000 4194304 4365125 140736434802592 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 42794 264 42 0 64333 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268740
[startup+51.101 s]
/proc/loadavg: 4.02 3.90 3.64 5/190 17083
/proc/meminfo: memFree=29503956/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=51.09 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 183566 0 0 0 5090 19 0 0 25 0 1 0 892466467 275189760 42794 33554432000 4194304 4365125 140736434802592 18446744073709551615 4247558 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 42794 264 42 0 64333 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 268740
[startup+102.306 s]
/proc/loadavg: 4.01 3.91 3.66 5/190 17084
/proc/meminfo: memFree=29445664/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=262596 CPUtime=102.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 201324 0 0 0 10208 21 0 0 25 0 1 0 892466467 268898304 42144 33554432000 4194304 4365125 140736434802592 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 65649 42144 264 42 0 62797 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 262596
[startup+162.301 s]
/proc/loadavg: 4.00 3.92 3.67 5/190 17086
/proc/meminfo: memFree=29446540/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=262596 CPUtime=162.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 201324 0 0 0 16207 22 0 0 25 0 1 0 892466467 268898304 42144 33554432000 4194304 4365125 140736434802592 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 65649 42144 264 42 0 62797 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 262596
[startup+222.301 s]
/proc/loadavg: 4.00 3.94 3.69 5/190 17087
/proc/meminfo: memFree=29379964/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=262596 CPUtime=222.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 202134 0 0 0 22206 23 0 0 25 0 1 0 892466467 268898304 42954 33554432000 4194304 4365125 140736434802592 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 65649 42954 264 42 0 62797 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 262596
[startup+282.3 s]
/proc/loadavg: 4.00 3.94 3.71 5/190 17089
/proc/meminfo: memFree=29398024/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=240068 CPUtime=282.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 223883 0 0 0 28203 26 0 0 25 0 1 0 892466467 245829632 40159 33554432000 4194304 4365125 140736434802592 18446744073709551615 4262552 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 60017 40159 264 42 0 57165 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 240068
[startup+342.301 s]
/proc/loadavg: 4.00 3.95 3.73 5/190 17090
/proc/meminfo: memFree=29364276/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=342.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270433 0 0 0 34198 31 0 0 25 0 1 0 892466467 275189760 43725 33554432000 4194304 4365125 140736434802592 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43725 264 42 0 64333 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 268740
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 4.00 3.95 3.73 5/190 17091
/proc/meminfo: memFree=29374176/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=358.29 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270433 0 0 0 35798 31 0 0 25 0 1 0 892466467 275189760 43725 33554432000 4194304 4365125 140736434802592 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43725 264 42 0 64333 0
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (KiB) 268740
[startup+371.1 s]
/proc/loadavg: 4.00 3.95 3.73 5/190 17091
/proc/meminfo: memFree=29371324/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=371.09 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 37078 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 371.09
Current children cumulated vsize (KiB) 268740
[startup+377.5 s]
/proc/loadavg: 4.00 3.95 3.73 5/190 17091
/proc/meminfo: memFree=29368708/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=377.49 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 37718 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 377.49
Current children cumulated vsize (KiB) 268740
[startup+380.701 s]
/proc/loadavg: 4.00 3.95 3.73 5/190 17091
/proc/meminfo: memFree=29363864/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=380.69 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 38038 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 380.69
Current children cumulated vsize (KiB) 268740
[startup+383.907 s]
/proc/loadavg: 4.00 3.95 3.73 5/190 17091
/proc/meminfo: memFree=29363368/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=383.89 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 38358 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4260927 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 383.89
Current children cumulated vsize (KiB) 268740
[startup+384.701 s]
/proc/loadavg: 4.00 3.95 3.73 5/190 17091
/proc/meminfo: memFree=29363368/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=384.69 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 38438 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 384.69
Current children cumulated vsize (KiB) 268740
[startup+385.501 s]
/proc/loadavg: 4.00 3.95 3.74 5/190 17091
/proc/meminfo: memFree=29363244/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=385.49 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 38518 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 385.49
Current children cumulated vsize (KiB) 268740
[startup+385.701 s]
/proc/loadavg: 4.00 3.95 3.74 5/190 17091
/proc/meminfo: memFree=29363244/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=385.69 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 38538 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4261035 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 385.69
Current children cumulated vsize (KiB) 268740
[startup+385.801 s]
/proc/loadavg: 4.00 3.95 3.74 5/190 17091
/proc/meminfo: memFree=29363244/32951124 swapFree=67050520/67111528
[pid=17004] ppid=17002 vsize=268740 CPUtime=385.79 cores=1,3
/proc/17004/stat : 17004 (MoUsSaka) R 17002 17004 14141 0 -1 4202496 270457 0 0 0 38548 31 0 0 25 0 1 0 892466467 275189760 43749 33554432000 4194304 4365125 140736434802592 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17004/statm: 67185 43749 264 42 0 64333 0
Current children cumulated CPU time (s) 385.79
Current children cumulated vsize (KiB) 268740
Child status: 20
Real time (s): 385.871
CPU time (s): 385.868
CPU user time (s): 385.544
CPU system time (s): 0.32395
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 346240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 385.544
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270462
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= 7
involuntary context switches= 1161
runsolver used 0.616906 second user time and 1.49077 second system time
The end
Begin job on node102 at 2011-06-11 18:10:41
IDJOB=3495943
IDBENCH=89514
IDSOLVER=1989
FILE ID=node102/3495943-1307808641
RUNJOBID= node102-1307807882-15966
PBS_JOBID= 13551074
Free space on /tmp= 74048 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/g6bid.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495943-1307808641/watcher-3495943-1307808641 -o /tmp/evaluation-result-3495943-1307808641/solver-3495943-1307808641 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495943-1307808641.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 506b5f635b81c7e2a4dd5dbcee848ec4
RANDOM SEED=2047417731
node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29600464 kB
Buffers: 298004 kB
Cached: 1090732 kB
SwapCached: 25172 kB
Active: 2339400 kB
Inactive: 799800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29600464 kB
SwapTotal: 67111528 kB
SwapFree: 67050520 kB
Dirty: 52096 kB
Writeback: 180 kB
AnonPages: 1747904 kB
Mapped: 9736 kB
Slab: 142572 kB
PageTables: 8656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2383488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74048 MiB
End job on node102 at 2011-06-11 18:17:07