0.00/0.00 c MoUsSaka vegetarian
3.19/3.20
3.19/3.20 s UNSATISFIABLE
204.19/204.25 c Core is minimal
204.19/204.25
204.19/204.25 v 6890 198 932 6891 7624 197 931 7625 342 9292 7035 9293 2498 2599 9191 9190 9189 8830 2496 2497 343 2600 2137 9684 7634 8508 941 1815 2136 7636 943 8829 1816 8507 2135 8509 942 8828 1814 2138 8833 7638 8510 1819 946 7637 2139 3441 2990 3262 9187 8511 2140 9290 7033 9212 9213 9188 9186 9211 2520 2519 7635 341 2598 2495 2597 340 2988 651 944 8832 1818 7639 9193 3439 2500 7036 10133 9679 9950 2502 3259 2985 8827 3438 9955 9683 10134 9215 10136 9953 2993 653 3442 9216 9214 9954 9685 7345 9682 9195 8947 8948 1836 7640 949 8530 339 2134 6893 200 7626 933 6892 7627 934 199 8505 947 8951 8529 1837 7642 2133 940 7631 9194 2339 9256 2588 7482 1710 8826 1812 938 7633 7294 7001 791 2449 2474 7002 326 2910 8783 8782 2473 9254 8781 2912 7483 2909 1715 2445 6998 9250 9159 6997 10083 9899 9594 2501 10022 9695 10021 10023 9693 291 6705 18 13 6712 6707 6710 15 16 8825 8506 1811 939 2132 7632 8504 1813 9304 7048 7047 9303 3443 3260 9686 2991 7346 3903 3908 4321 3261 652 2989 2992 4318 9718 9970 7358 9720 10162 10161 7034 9291 9952 9678 7046 2611 354 2610 355 9301 9965 7045 3470 3275 3023 9717 9719 9969 7357 10163 9968 9716 11014 2493 2494 8512 945 8831 1817 9967 9715 7343 9677 9680 9951 3440 3257 3468 3025 665 650 3258 2984 2987 2518 10135 9302 353 2609 352 2608 3467 10160 11013 10602 9714 9966 9712 7355 3465 663 3020 3466 3022 3274 2257 9681 2986 10132 10131 7344 3018 3272 8950 7031 9676 9947 9398 7032 2255 9217 9034 7044 351 3017 2713 2341 2499 9711 9405 9403 9402 9708 8528 9709 3270 9964 7353 2524 2525 9963 9710 9406 2710 660 2712 3271 3016 9713 7356 10158 2256 2983 2705 3277 2522 1835 338 2981 2340 9209 8836 9401 2706 9033 2595 337 2143 2977 9288 7029 336 2596 9210 3255 649 2708 10548 3884 7339 9669 9945 9672 348 2607 2515 2516 9184 9183 3534 3533 3881 10573 10578 10570 3876 10575 10581 11658 7351 3014 3462 11362 7644 1820 8513 8515 1822 2141 951 11001 10577 11004 11003 9675 9397 3877 10572 3882 4649 10637 4310 3888 3880 10639 10645 3436 2980 3435 3253 647 3878 3254 7341 9400 10155 8949 7352 2342 9705 10156 350 3269 661 2711 9707 9961 7042 9300 9218 8946 9399 10227 3867 3859 3863 3870 9185 7868 2254 9032 9949 9674 2253 3256 9208 648 1174 1172 4648 4175 11130 11343 2707 10130 9671 9944 2490 289 3885 10569 2523 3956 659 3012 3463 3268 10647 10641 2521 3954 11363 10879 10649 10644 3890 9670 10580 9960 349 2606 9706 9704 10583 3027 7342 11002 9948 3469 3948 2704 2982 3950 10226 6981 11005 646 10129 3252 9289 9673 9962 2976 9404 7354 7043 9703 7041 9299 9959 10157 10880 10159 10574 3879 10128 3437 2979 2978 3251 7340 9035 9946 3273 662 3019 3021 4187 3940 3944 4185 9907 10088 9606 9603 2590 8403 1712 2453 9910 2085 10092 144 6838 145 7474 6837 790 2090 8408 1713 9143 600 3396 2448 2472 9160 9900 9595 322 323 3414 9161 9249 8788 8789 3398 603 2918 9902 9600 7291 1714 2561 7485 309 2088 3422 2089 781 308 780 7473 7484 2579 9142 2560 792 10089 8406 2450 2907 9904 3209 598 9598 2906 9269 9137 9135 9136 7016 7015 10601 10596 2087 9255 2452 9908 2562 8404 2086 9144 8778 7481 8405 9611 2913 789 310 9609 7003 3212 311 9140 7292 2447 9139 9251 7004 7296 8780 9608 10090 10091 8779 1711 787 2916 7480 3215 9146 2911 9901 10081 9593 9923 9596 7290 10109 9592 7289 10087 9604 601 9905 3395 793 9252 794 3217 3397 2563 2915 3415 2943 2466 3392 599 2941 3416 9638 9636 7308 10107 9925 10108 2905 3391 3211 2576 2467 3393 9903 3216 602 2914 2917 2477 10085 2951 3236 2475 2476 9607 9610 1718 8786 8409 2559 307 7486 2558 306 10086 7000 7295 9909 9145 11357 11135 10789 11654 11536 11354 11355 11652 11537 3860 10551 3864 4172 10555 10869 10565 10559 4171 170 172 8710 7983 1769 853 7572 866 1768 7974 8984 7545 7560 864 8985 1292 7571 1761 8811 1280 9497 854 880 1279 1770 1278 865 7984 2119 8452 8464 8453 2806 2293 2804 9496 7548 169 6862 6864 6865 11963 171 6863 11000 11344 11530 11648 4311 11866 4954 4441 4655 4093 4094 10560 11961 11869 4654 4440 4307 4955 10546 10547 10556 10563 10566 11131 10558 10552 10564 4439 10545 10567 10561 10554 11647 10553 4437 3866 4650 3854 10568 3852 3856 3872 3865 3853 3873 3858 2517 11529 10865 10864 10867 10866 10550 3855 4438 11342 11132 3862 10868 7645 8835 1821 950 8514 952 3861 3874 3868 2142 7643 11348 3887 4312 11134 4309 11347 10562 10786 10787 11133 4174 3869 10557 2492 4837 4651 10549 4173 3871 3857 3875 6983 7865 1173 288 6982 8834 7030 2491 290 7867 6984 4254 2444 3696 3701 3699 3002 3329 10599 10597 10598 3000 4319 3330 3905 3328 4251 9721 9971 10164 7360 10166 9723 9294 9295 9181 9180 9725 9973 334 3030 3471 8516 1825 8839 955 7646 2144 2145 3434 10127 9666 9941 7027 9286 2513 356 2488 2612 2613 2487 9722 9724 9972 7359 8837 8518 2972 2594 667 2593 9206 9205 357 3248 9182 7028 9667 2601 3280 10126 7338 9668 2975 9942 1823 2973 645 2514 3473 2146 7049 10165 9305 9306 7050 3028 2603 3249 7337 3432 3433 9664 3707 4252 3702 10391 2557 305 3208 3388 596 2902 10395 10398 10393 10394 10944 2901 3206 10943 10947 10397 10396 10399 304 2575 2556 10392 9268 3230 10390 10082 4253 3698 2900 2468 2903 3706 615 10389 1175 1168 9932 9584 4936 2893 4599 9275 4620 4163 10369 4418 3748 4621 2465 1725 8792 3233 4154 10363 595 3386 11099 2897 8790 9591 4167 3419 9133 799 300 9896 7494 2587 7314 9245 7286 7021 6993 9653 9246 7288 800 2441 2098 10080 3203 2097 9586 1724 4597 9132 11292 10347 804 2460 3202 9585 301 9893 4406 10356 4934 2565 802 801 10077 9651 9933 7495 9652 9270 9649 9894 8795 8794 2552 10117 2462 3382 2586 3384 2436 7497 2100 2102 2564 9582 3654 7313 9274 10851 3383 4158 7022 10075 8419 2890 2566 8417 3662 10118 1722 803 10352 9934 7285 2101 2099 1723 8793 2891 10076 9129 9641 3205 2894 10116 1726 3200 8415 9589 8416 7492 9650 3387 10937 7861 10586 1127 7817 7820 1124 7818 6953 261 6955 263 6956 260 3539 1171 286 6979 6711 7863 6980 14 1169 3883 4320 3909 12 11012 287 285 6977 6978 284 17 6706 19 6709 6708 3532 3889 624 72 625 7317 6764 628 73 6765 70 629 7322 6772 78 7320 71 6763 7319 7321 7318 627 626 6766 3472 1148 277 281 7848 6975 11539 5160 5055 11141 282 6974 1155 2751 9166 1152 7293 618 9602 4260 6969 7844 80 81 6774 10954 4259 6970 10405 3715 10953 6773 11361 1150 10410 3716 3717 11851 11751 689 6804 7383 7384 109 111 688 690 7382 6801 691 10121 9282 9277 9644 280 6976 7846 7020 7019 9654 3709 10790 10114 10113 9648 9276 9935 9931 1153 6972 6802 110 7381 6803 108 2954 10115 2952 9906 9605 3710 3714 3711 3712 7326 630 6768 633 7325 74 77 9167 7023 9165 3237 7024 3420 2580 2955 327 9929 9273 9170 9658 10120 2953 619 3421 3238 3278 8517 2974 644 953 8838 7648 2602 9287 9296 335 9207 632 7324 634 76 4951 4952 11644 9176 11121 9696 9697 10783 9663 10153 9699 3003 4428 1827 7654 8844 960 2152 1830 11122 9175 7039 9956 9940 9284 332 8840 10123 8521 7649 9660 1828 333 7336 957 347 2509 7350 9700 3007 3459 3265 2968 3245 9174 3460 9820 9173 2511 346 3263 10543 10152 3005 7652 8523 961 3851 2151 3849 2482 8845 1829 8524 10542 959 8843 2148 2481 9179 7040 10154 7349 9958 8519 2592 9938 1826 8520 2969 958 3431 7335 9285 9203 9204 9202 9177 956 9298 7025 9698 2605 657 3461 4295 2995 3009 2604 2484 2591 2966 3246 642 7651 2486 9957 9702 8841 9701 9178 7026 7650 9661 9939 3429 3850 3430 3247 2149 2967 643 2970 2485 10124 10122 2147 9662 9659 8842 9297 7862 6780 87 6779 86 670 6782 89 672 7364 88 669 7361 7362 668 671 7365 7363 6781 673 7366 268 7839 7837 6962 270 6964 1170 2510 15109 15110 5309 12001 7370 675 674 678 7368 7367 6784 90 6785 677 7369 91 93 6783 92 6786 676 679 7372 7371 12661 5967 12655 5961 6791 99 103 6795 4032 313 10588 3569 10585 4841 4657 10262 11010 10593 3895 11349 3900 10870 11651 11008 11532 4178 3893 3568 3901 10595 10590 10261 11006 4956 4957 3892 11351 4660 11009 11352 11533 4314 10591 3894 4313 11007 10589 11534 11350 10871 4177 4659 4958 4658 4839 4656 11650 11353 4840 11618 5526 12218 7842 7847 6973 279 4610 11011 4447 10724 276 4098 1154 4930 4615 4816 4618 4415 283 7845 10404 10402 10951 11507 11304 10743 4845 4446 4315 4316 4317 3898 3896 3902 3897 3891 4667 3538 4445 4847 4613 4050 4927 4257 4413 4813 7864 12666 5974 5713 11312 11622 11109 12660 11611 97 101 6793 6790 100 96 6794 5968 12007 7006 5148 5315 4095 4665 4443 4690 12662 5970 12206 11945 5512 107 684 106 7377 6799 6800 7380 11933 686 7379 687 12652 5960 1566 12751 5900 7198 504 502 5902 12589 5896 7196 1563 8258 12749 8259 7197 14169 14179 12750 8256 5898 8257 6057 14175 14167 10952 10744 4051 4052 8672 8673 604 4569 4386 4787 4384 2735 11080 11479 11839 11263 5051 11747 6792 102 6796 98 6788 257 95 6787 6949 256 6950 94 13344 258 254 6948 6952 6947 255 6951 259 6649 6651 13342 4416 11108 4928 11308 4929 4817 11310 4619 11509 4616 11311 11623 11508 8548 8852 1864 9065 1016 1352 1350 7681 7692 1001 1005 1336 215 986 1339 8561 8045 13324 6631 6957 6628 13321 6679 13346 639 13361 6691 636 14375 6681 8321 6684 7332 13377 6668 6686 13378 6685 13885 13376 7259 6646 13359 13881 13318 6625 8336 6683 1628 7262 13374 566 567 13375 14383 13338 6644 6647 13373 6680 568 14377 14380 1627 14382 6648 13341 6653 1644 13384 13345 6650 7329 13358 6665 13315 8339 1646 7330 637 1643 8322 13383 13888 13886 13883 6655 13348 5216 5218 5104 4931 6635 6676 14271 7228 6638 13371 1595 14276 6634 14278 13330 1596 13331 13326 14283 13328 6674 13325 6632 13370 13367 7229 6633 13329 8291 1598 14275 7230 537 8290 14279 6677 536 6636 8288 13369 1597 8289 14273 13327 13332 230 1360 231 1028 1362 6590 14595 9192 10788 9448 11346 3267 10582 3464 3011 3013 10576 658 10225 4308 3010 3266 4838 4652 2743 7187 14127 14123 6053 494 5894 6052 8243 7190 497 12746 5892 14115 12585 5895 14122 8242 5888 5889 1551 12743 1549 12744 12583 5890 1552 12582 12588 1550 496 6050 5893 7189 12586 6051 495 12581 8709 5959 12653 7131 437 8174 12547 7130 1481 5855 6026 13855 12543 13859 13857 8175 436 13867 12807 1482 6114 7128 12718 12719 12542 8177 12721 12808 13862 435 8176 12545 6025 438 6113 12546 6027 5133 2739 11829 11931 5848 12541 11590 14018 14023 14015 6127 6126 14011 6125 12818 12738 5881 7169 5887 6045 8219 1523 5886 8218 474 7170 7168 6046 8216 1526 4898 12548 5853 14117 14120 7188 6056 8245 14172 7195 5524 1564 6058 505 1565 475 12577 14013 6047 12740 14016 12579 12578 12575 476 12820 12573 477 1149 6971 7843 12741 1524 12574 12580 5880 7167 8217 14019 12819 5885 12739 214 1000 8031 1003 6908 1349 1853 8029 1855 3175 3173 8739 8057 8063 9868 3176 221 6913 1037 2202 9063 8851 8546 7694 8547 8032 7678 7679 8557 984 2158 216 1340 999 7697 1854 8873 8849 10014 7708 9069 8590 7744 8068 7757 8589 9787 9465 1018 1365 9525 2659 9352 8060 1351 987 8044 7680 2157 1330 3583 1862 10254 988 1868 3181 8059 6915 7712 2832 8738 1873 1364 2046 10057 223 10056 6916 222 8896 8566 9071 8850 6903 2376 2156 1896 1064 8545 9234 8856 6919 6917 6920 8052 8576 2381 1034 2163 1876 8569 7718 227 1882 1370 1371 1026 8065 7720 6923 2382 2164 1040 1877 6924 8570 8857 9075 228 1887 2383 9076 8580 2380 1883 229 6921 6922 7742 1048 2384 2162 2379 1879 8572 8858 2165 9072 8855 9077 226 8568 8056 8049 8575 9074 2161 1858 2160 7677 8042 6909 3365 9874 10058 3177 8895 9522 2830 9869 9870 2828 9523 9866 2829 3364 9867 9521 2831 3174 9871 3178 3363 9524 7733 1886 8571 7722 8550 8579 989 9064 8036 7683 8853 9066 9067 8559 2375 2373 213 1857 1343 1869 990 6905 212 218 7730 8556 2371 8563 8043 1041 7734 2660 2385 9526 2657 12426 14591 14583 14588 14585 1633 577 13300 6607 13310 6617 12654 513 12757 5912 12759 8267 6068 12608 7204 7206 14197 12611 7205 14201 14200 8264 5918 5914 12760 12761 1571 12605 8266 6066 12610 5917 8265 5962 13889 8337 13357 638 6667 13379 6664 1878 1363 1872 1021 1355 2386 2661 1358 1024 1047 9354 9079 1038 1367 9872 8735 3179 1353 7704 1861 7738 8051 7717 1875 1025 1359 8055 7721 1029 8553 9022 9463 9788 9466 3089 3092 3318 9460 9462 9786 9783 10009 10010 3088 3091 2766 2768 210 6904 10012 2770 2771 3319 12663 5969 1348 983 8555 8023 7685 2541 2180 3320 8554 3527 3584 4130 8040 9070 7740 1044 4368 2377 8037 10013 9023 3581 4131 7699 1020 10278 10221 1019 2045 9353 208 8039 6902 2833 8048 1354 7673 9350 7727 8565 9078 7714 6914 220 1366 980 9351 1337 7737 9782 9781 3559 9784 6901 10011 10252 9461 1346 209 9527 1860 7731 1036 225 6918 2834 7732 1874 3180 1035 8549 9873 7698 8053 3560 7739 8573 1856 7693 1004 224 8028 2658 1851 1333 982 7711 8058 1375 1897 1051 3582 1357 8062 1043 1885 8737 7736 1356 10824 8574 1372 1023 10274 1369 10823 10276 11061 1335 1027 8578 2044 8577 7741 985 1881 1338 4132 7716 7682 8035 1268 831 1049 1046 3528 167 1042 10277 4366 1045 7735 10220 1880 1884 3585 1341 8030 7729 7724 6855 1273 1751 8034 846 7728 1871 8564 1265 7725 8567 162 1032 1031 8054 7541 824 1039 4216 1033 994 1850 1012 7686 2041 1334 997 7687 1361 8543 8027 8734 7690 8050 8046 11393 8047 7713 7705 1750 10898 10247 11189 8041 7676 11396 11757 996 11395 11577 11575 11392 161 1022 7719 1744 837 8064 2113 1749 163 1368 7715 825 1274 8061 2284 2285 1030 7726 7723 7540 1261 6854 7539 1262 1266 1267 168 830 3008 656 3264 3006 14026 6693 14028 6689 13380 13381 7374 681 1647 8340 8343 1650 6662 683 7373 680 6672 6656 13352 682 7375 13354 6661 6669 1648 6657 6659 13349 13362 6670 6663 6660 13363 5521 12215 5522 12214 14031 13351 6688 14024 13365 8342 14036 6673 1649 13364 13368 6675 6639 6637 7675 8026 8544 1344 10246 10911 11187 11758 11397 7706 5958 12650 2042 1011 1345 979 8038 1010 7703 6043 998 13998 14006 6124 14010 12817 7691 5957 14289 12651 14296 6078 14288 14284 473 5930 7163 6023 13846 12571 12803 7231 6077 1602 470 7124 12538 5845 5934 6022 1478 12805 13847 12732 13842 12733 12572 12567 7127 5846 5876 12569 7164 12570 12715 7165 12540 12713 1601 8294 472 8170 1520 5931 6074 12628 12768 5935 6041 12734 7695 7672 2773 2374 8736 3321 9464 7674 9467 2772 7707 1852 1342 8562 8025 6906 1866 3094 211 2159 2774 2372 2330 2370 6910 1870 9068 1017 8854 8033 7710 7696 8551 992 9789 6907 1867 3096 9785 9459 217 1865 3317 3090 3316 3093 2767 2769 7709 6912 8560 219 6911 2043 8558 1015 2378 3095 2329 7689 10909 4217 11182 6857 8978 8806 9779 7529 7956 8437 7519 9507 12423 6575 1062 7755 4697 11576 11186 4883 4492 4701 4491 11185 4214 11183 4702 3086 7688 4218 4490 11394 4489 4495 4204 4699 8874 7756 3561 2540 10255 9233 3562 991 1008 993 1009 1859 8066 8024 1863 1331 1347 1014 10275 10825 4882 4700 7702 7701 8552 1002 5063 1013 1050 1374 11060 11059 7743 8067 1332 981 6926 1063 232 233 1373 2181 8591 1898 4219 3553 7684 10907 3087 4884 11184 11390 4203 10895 3554 4493 9780 10896 10914 4220 10908 10913 995 4221 4494 6925 4202 835 10897 4205 11188 4496 10912 4698 11391 7057 7058 7056 7810 7055 8108 8107 7809 827 1264 6856 1748 7966 7965 848 7517 8444 836 14590 13283 838 164 6611 13304 6789 7531 8443 7528 7530 7955 12393 12208 5514 5697 13279 5261 5260 11860 5065 4704 11754 11955 5168 11859 11756 5062 1263 826 1743 8977 8718 2814 9504 5730 12250 366 2040 367 12596 12748 12592 14587 12625 11826 5058 5158 5873 6111 14517 5929 12712 5733 2813 6123 5877 5874 12816 12767 12623 14291 12771 7234 7233 7232 538 14005 12735 12622 14003 471 540 6076 6122 1599 12566 12815 6021 432 6019 1479 7126 8172 5933 12537 12536 7125 12736 6042 1522 8213 5875 12626 8212 8215 5879 8293 6039 12769 8214 1480 5844 13850 8173 12533 6040 13849 5872 1519 5842 5841 14000 5878 12568 539 12627 6075 5932 12770 14286 5928 1521 8292 541 1477 5840 12539 433 13844 12716 12714 434 6110 6112 12804 1151 576 7270 12391 8326 7957 7520 2026 5732 8716 9506 8805 8976 8435 8436 7518 2283 7967 8442 1742 1272 7954 8441 847 14505 14512 14513 5903 6055 12595 12591 5897 12590 5901 5308 5268 11868 5176 11867 8719 12425 2023 12392 8324 6588 1634 13268 7269 7199 14188 508 506 14184 507 8260 7201 5904 12597 5910 1570 6061 5908 14185 1567 12604 5911 14182 5909 12754 12755 8262 8263 1568 12599 5905 12752 12753 5906 12598 5907 8261 6063 7202 12603 12756 1569 12602 6062 14180 12601 6060 7200 509 12600 6059 746 1701 5262 12207 5515 11953 11954 6586 14510 14509 14507 2025 2811 5557 8327 1631 13281 166 840 1276 1752 842 828 851 849 1755 5699 5700 12390 2112 5061 5064 4703 5167 5166 11861 11755 578 3752 3751 3661 10354 4917 3663 3676 3670 11290 10359 10353 10367 10357 10361 3758 3750 3754 10355 10358 3656 4153 10364 11101 3658 3655 3753 3760 3766 10847 10370 10849 11291 10848 10850 3764 3673 3669 10739 11297 3665 3672 11296 11103 11102 3675 4407 10846 3671 10738 10349 10348 4156 3677 4155 4157 3759 10362 3763 10365 3755 3765 10366 10360 10351 3666 3757 3659 3762 3657 3664 3674 3668 3660 10368 9857 10044 11100 4598 4408 2939 612 9342 302 9587 9157 9588 3228 2464 6995 303 9156 9590 9897 6996 6999 9138 9601 9599 9597 2446 2908 2461 594 7287 2904 3210 3385 2439 9898 9158 2898 10078 2896 9805 11098 11289 3111 11608 3401 4403 4803 4044 298 5213 10737 10735 9613 11493 11091 5102 11093 4042 2919 4405 4804 4801 4399 4596 4915 11494 5036 4401 2553 8418 7496 8784 9583 2091 2443 7487 7488 10079 3112 4805 4397 4593 4043 5215 5214 4592 11907 4041 11498 11794 4802 11795 4591 11287 10736 11908 11497 10074 9243 11729 5103 9804 11796 5106 11610 10734 11495 11089 11284 11730 11609 9259 9890 3380 591 2888 9579 4918 9258 590 9127 2886 3379 9581 6991 10042 4594 4400 5101 2884 9577 2550 9580 3199 2887 2434 9126 9891 3197 3198 9578 10073 3381 9128 9257 2435 10072 299 7284 2885 9892 6992 9244 2551 2433 1728 2104 8798 7499 8796 2105 807 7498 2103 8423 8422 6840 6839 783 2093 1717 8410 795 1716 797 8413 2946 2470 2469 7310 10110 10084 3229 9271 1720 7489 1719 2096 7491 798 8414 8787 1721 8412 7490 2094 796 2095 7493 782 7475 7476 146 147 8797 806 805 7500 1729 8421 1730 9343 321 3413 3703 10945 2574 320 2573 3389 2936 3227 2437 2438 9131 597 9895 3201 593 2892 2889 2092 9130 592 9634 8411 8785 8420 6994 1727 2442 2937 9134 2895 2555 3411 3412 2938 613 2440 9247 2463 2940 3204 9340 7829 1136 264 7822 7835 1142 11107 11307 4256 10742 4258 4960 11619 3708 10401 4049 10403 3713 2920 11935 11096 10094 11910 3400 4402 11833 5105 10314 5137 11626 12717 6024 6044 12747 6054 12576 12737 5883 5899 12584 5891 6049 12742 5851 5850 12544 7311 9930 9645 9647 1641 6595 6608 1133 6604 1129 13312 6619 6614 10991 9172 4823 5219 2865 2861 8525 1834 9691 11512 10793 11682 11767 11887 12837 12685 11804 11913 4625 2483 11514 11322 3842 4942 12271 12453 12686 4940 2512 4142 9816 9818 12925 12877 12902 11685 10696 4631 3124 8848 4938 10990 5039 9322 11435 10142 11315 10032 5044 9325 5111 11632 9849 3157 4626 9558 10835 11736 11802 10291 11321 4292 11633 9201 11015 3836 11250 11886 11469 11467 3831 3158 5227 5050 5226 4646 4435 11732 2154 7655 964 11737 4296 12879 12876 4628 11516 4821 3458 4833 12788 11919 10151 4643 4430 5119 11123 11336 4644 4831 5048 3457 4433 11527 5225 5115 5049 4949 11525 4431 10527 3450 2632 10792 11635 9827 10694 2153 7657 5221 4298 5038 4939 3827 12034 963 11524 11337 10785 4832 11643 11743 11809 4830 5116 11808 11128 11124 4642 4089 4427 11335 11120 10782 4835 2527 6610 13309 13307 7832 7826 13297 6616 6626 12204 5510 1964 4612 4812 3221 3194 2432 296 10071 9575 9242 9888 9572 2548 2880 588 2881 811 8799 3196 297 2882 2107 9916 2923 7503 10099 10100 2926 3407 9619 9085 9087 2572 3409 3408 9917 611 2459 2931 3224 610 2457 2458 3225 10101 318 3410 3652 5250 3195 7011 7304 9626 9265 9264 2922 3404 3219 2571 2935 10103 2932 3226 2933 2934 319 3241 3240 2582 2959 8427 2109 329 1736 7504 8428 328 7012 10102 7303 9918 7008 1733 315 9260 8801 9627 9625 9152 9618 10096 3220 9262 9913 9261 9125 2569 8424 2111 2106 4715 2958 3424 2956 620 7502 2960 4971 3425 4713 3742 5068 2581 13063 13084 10805 11043 6157 12698 12886 2526 3998 6199 6288 4113 6002 6103 6239 13109 4537 6151 12848 4107 11567 10265 11450 11455 11697 10686 5006 4000 11772 6197 4753 6150 11237 3989 4344 4108 6244 10882 4345 4761 5823 4005 4341 4114 10266 6545 12932 11230 3571 12887 11452 12461 12699 12516 5822 10807 11233 12934 13065 12946 11700 12908 5353 3541 10679 11026 9839 13021 4752 6241 10658 6007 4765 11451 12050 12844 11566 4335 5007 5357 4112 5768 4750 12889 11036 10811 10801 11035 10683 10237 12931 6193 6196 3994 6418 6430 6474 6372 5771 5206 3149 5202 5078 3992 3981 10693 11027 4118 4332 5766 4189 13107 3514 10203 6287 3983 4334 10810 11568 12981 12890 9838 12892 11693 10207 10204 11445 12701 10800 13069 12938 11894 12049 10205 11038 12891 12051 11696 12933 11453 12795 9843 11971 6008 10675 3150 11898 12462 11699 12847 12859 11456 11972 12514 11698 11238 12464 10685 10687 10806 9842 12278 11029 12980 11828 8628 2361 1108 6933 1924 242 6936 2363 9057 2366 246 243 7768 8881 1105 7772 9054 2362 241 8616 1934 1932 14809 14806 14808 5528 1960 7468 5527 4240 3645 11741 10346 7278 3648 11798 11624 10313 11625 11911 13287 3646 13306 11496 12205 4398 13301 6623 13316 5513 6629 6613 13322 7823 1130 6960 9573 6989 10069 14964 7888 8653 1194 14965 153 6846 640 7333 14972 14955 6847 7889 154 14962 641 7334 1197 9241 9914 9623 7010 9148 7009 1731 9576 1735 810 8429 2108 6940 9056 8613 7770 8076 6934 8614 8617 1921 2187 8882 240 1936 2188 8630 1089 1093 6935 1383 2430 1734 8426 3223 2929 3222 2930 9915 8425 9574 317 812 813 7505 8802 9263 9622 2570 809 8804 2110 8803 808 1732 2431 7501 9149 7282 8800 7506 10833 11649 1976 5511 12203 11949 4297 2999 9559 10532 3449 4622 4819 4291 1824 3840 5256 954 2996 3342 2631 3341 10535 5120 11912 9819 9692 9554 10986 10832 11803 9555 10519 10293 11251 11914 11731 10831 5109 2630 3123 5043 4091 2971 3250 2489 11645 3032 7647 10544 9825 10784 11126 4432 11129 11340 4645 10984 9824 11526 11339 10989 4299 8526 4092 11810 11918 1833 8847 11528 4176 10633 3951 11660 11143 10571 3952 3946 7656 8527 1832 2155 10627 3132 11523 10533 4950 10521 10520 4429 3004 10125 9665 9943 4629 4090 10987 10985 10531 9689 11631 9171 3839 10143 11319 9817 10624 11318 11742 2998 3126 4436 4630 3451 4834 4647 11338 3452 11920 11127 3125 2479 5117 10150 4434 3131 10992 2478 11642 962 11125 6878 6879 7602 8493 8004 195 6889 9019 8016 8490 1308 8496 6885 897 2351 186 188 189 924 7590 1787 1788 7604 8491 9046 1307 1803 2127 1785 1798 7616 185 893 2352 190 7587 2126 2349 8495 2129 1306 2353 1313 187 2128 192 1312 1784 898 2350 2354 1799 8819 1802 191 914 9453 8014 1321 9771 1324 9454 10004 2760 9452 9769 3078 2758 907 7600 7601 908 913 1326 7606 7607 912 909 7603 892 1323 8476 1797 891 1322 9767 7588 8015 7584 1091 1075 1390 1079 1923 8077 148 6842 7796 1933 1073 7765 7745 7747 11709 9224 9409 7748 10052 2714 2530 8583 8861 1054 2309 8093 8626 1937 2301 1891 9000 1053 1052 8592 1055 9001 11570 11459 8629 8860 1104 7801 8999 8605 1911 2174 2326 1789 196 8824 8009 1317 8484 8499 6887 9021 928 7593 2327 8008 2130 8498 6888 5324 9055 8631 7608 6931 3167 8612 1327 6876 7623 7583 1941 8487 8818 9865 8087 9516 1782 1927 9518 2356 1320 7790 1099 1792 3171 921 3168 6944 7581 8627 2357 1794 1940 1318 8013 1902 8636 1392 7599 7598 8884 6874 9862 9049 7996 8488 8485 1098 8473 1925 7597 1406 249 2824 2360 7792 906 7774 2355 9050 8618 2359 1303 8475 181 8633 8817 1110 250 3172 8000 1311 2823 239 2539 2825 1085 1929 6930 1379 8609 9061 1397 3310 8624 238 8868 7780 8581 10005 2759 1086 9770 1380 9768 9451 9060 4127 3079 2761 2185 2716 6841 3361 2307 7779 10270 9519 2184 2176 8878 1382 10051 1889 1071 237 8862 8584 8090 8622 2531 10821 1888 4767 1930 11569 4129 4878 8595 3580 10822 9407 9223 3577 11056 7771 2168 1890 2826 8072 8073 10268 1901 9231 1899 3575 2308 8994 1102 8621 1912 7795 8593 7794 2306 9408 244 1928 245 6937 8604 5015 1082 7612 1389 7781 1109 1078 7802 1074 8603 2538 3080 2764 9458 10006 10007 3315 2762 3083 1922 11386 4693 8610 2827 3578 8483 2328 8010 916 10269 2131 7611 5258 5162 5164 10820 2368 5014 6938 9058 7800 384 925 9776 1304 3082 10008 9773 7775 7596 3085 889 7785 1088 4768 1092 4209 11463 8074 915 917 7763 10248 8867 7788 1090 7784 1804 1805 930 4692 11175 10899 1068 3555 11177 11572 10250 4486 4210 7769 10902 7799 10245 8091 1401 4212 4206 1070 1381 4481 10244 11179 10906 11571 4766 3558 11460 11707 10903 4483 385 4485 3073 4691 4484 11388 10905 4208 4201 4488 11181 10901 4200 4487 11176 10900 11178 4211 10893 11387 4695 4213 4199 11174 4694 10904 8094 1100 1434 1315 5161 1106 194 9020 7622 1316 8020 8021 7621 1328 899 1072 12002 5156 7764 890 9774 9455 3576 8619 9765 901 2763 8477 1436 7620 8632 149 2367 1916 6884 8002 6939 8005 7761 1384 7613 1943 7582 6943 1111 7997 7804 382 9048 920 7782 7594 7585 8822 8003 1791 10053 2364 9772 8095 7798 1084 1786 1329 1403 8079 2822 8594 8859 1790 2186 8625 919 2124 2191 10272 11462 8479 8615 9864 4207 8084 8993 8099 6942 4363 8017 3359 9457 10892 11385 10251 8075 8821 9863 3077 7589 7786 10003 7778 10271 1926 8096 7615 11058 1107 9043 8492 5257 9861 4881 3358 3557 9047 7767 3360 922 1385 1095 13284 903 247 3170 6886 6880 902 7803 7998 1319 1083 6877 7995 1942 1781 9051 7595 1780 1096 8085 2190 251 1167 2715 2175 2300 1097 11384 8497 3551 11856 184 1076 9766 9042 7999 8879 7592 4876 6882 7762 8019 1900 9044 8092 8018 1400 918 9002 1314 1910 11461 10055 10273 10891 7609 8478 1806 8481 7787 1801 7586 5059 3314 4128 3312 7777 2167 2302 8877 1783 4880 911 1395 11708 4877 193 8081 9778 1302 8883 4769 4879 4365 1919 3574 8880 1931 3552 383 8098 3072 8623 1087 9777 9059 236 3313 3579 1080 8022 1325 1103 1939 7793 8006 8474 6941 8482 183 7776 7789 900 1935 10894 7746 8820 7610 11753 8078 9232 10267 7605 4198 887 8097 6929 8494 7797 3311 9860 6932 2166 1917 9456 1920 7617 12399 9775 1387 11573 896 4364 8080 1386 8089 2169 3074 8995 910 182 1094 11389 8082 8480 10054 6881 1069 8083 8500 895 6875 8677 8885 9444 8886 11360 11846 11138 10231 11140 11540 10791 14088 14080 5795 14081 14084 2192 5651 5793 12486 492 12135 1983 1541 5436 2193 7185 7102 1301 407 12341 1299 7994 8888 868 7100 412 7104 1984 7562 7101 409 7103 1300 5648 5435 2194 5647 14544 11946 14552 8678 14551 1982 11948 491 5437 5438 12130 8232 1540 7184 1539 490 7186 5649 14549 14546 2195 7992 14548 7105 408 7561 7993 5155 5154 11849 11947 5153 11847 11848 8887 8675 1985 5255 5254 8676 4448 4846 4668 4097 410 14556 411 869 5253 11748 8669 11853 14076 7183 12132 12487 14078 12128 12340 12342 5441 5440 1542 12129 12134 8235 12343 5794 8234 12488 5439 12131 5650 14083 12133 12344 8233 14561 14569 14557 14559 14562 5252 14564 14565 6958 7821 265 1128 14821 14819 14822 12017 5322 5060 6579 11855 11857 5323 5259 5165 11752 11854 11950 5811 5705 13288 8334 14824 12384 14362 14370 14364 12195 564 1625 11998 5500 1626 565 5502 5501 5304 8319 11999 5306 563 11535 8318 12000 5307 5305 12381 12196 7257 12383 8316 8317 12193 12380 562 5691 14367 14366 14369 7256 12194 1624 5687 12382 14504 11356 4540 6376 5001 6369 4188 6416 4757 4760 4874 4764 4350 5770 13169 3999 4006 4751 11896 10264 12937 11895 12697 10263 12700 6215 6253 10202 12935 11039 11443 12694 12857 3145 5004 4875 4758 11229 11032 10689 3990 12457 12907 12045 10690 12947 13111 11235 13122 11458 12979 6194 13167 6238 13110 13113 5351 3570 4336 6213 5584 4545 3572 9220 13114 10699 12893 11899 11444 12846 11236 12460 12515 13083 11454 4544 3475 2615 5760 4100 6186 4992 9197 6297 6234 9196 6208 4742 6183 4102 5341 3136 6272 4322 10169 13013 13054 13076 13053 13079 13055 13081 13052 12840 12690 12793 6144 2504 3134 6096 2508 5758 10618 11765 10623 5343 3135 4101 2503 6275 10997 9822 5195 6400 6355 6401 5994 11332 6402 4326 6320 3137 5344 4744 13078 2614 5193 13047 2505 5578 5991 5992 6097 3138 2506 11683 12036 10695 11442 12930 10197 9834 12274 13017 10201 12973 9836 11020 12042 12968 13016 12970 9828 9199 13015 10797 12969 10200 12992 12972 11440 9837 10199 11889 11690 9730 11023 9835 12842 12993 12988 13014 12966 11441 11021 12272 12900 12035 11768 12451 10794 11224 12964 12989 11228 10872 12885 12041 11891 12273 12991 13096 12456 9198 10196 12967 10615 11222 12838 12452 10612 11438 10620 12693 12928 12691 12841 11226 12905 12878 11688 10625 10614 6232 4528 6398 2258 4323 3035 1975 5080 5204 6102 5352 6195 6245 6001 6166 6198 6210 6237 6149 4743 5072 4103 10030 4002 5198 3919 3923 6322 10999 11334 10149 5348 6187 4746 11034 10674 6417 6429 11771 10883 4542 12888 10234 6414 6391 3941 5277 3986 4333 11037 3276 3026 4759 6154 3509 664 6152 4999 6004 4762 6240 5769 3024 6476 11028 10698 12906 10691 6370 12845 6420 3141 4324 6273 5579 5342 6278 6295 3932 6298 9324 6233 3927 5346 5349 4748 6388 6100 5997 4990 3034 6399 5577 4181 6276 6299 3143 3477 3144 6300 5580 3038 5998 6321 4328 3922 6209 6098 3930 4531 4105 3279 6277 666 2507 3031 3029 3139 6185 6207 3142 4099 5763 6190 2616 5581 6274 6271 6296 6359 3503 6236 4535 6325 3037 4327 3931 4997 5196 6362 4747 4330 3506 4104 1979 11909 11799 3620 4932 12232 5536 12404 12406 5217 3621 11797 4933 5539 12667 5711 12229 5973 8693 9485 2792 2000 7830 13317 1137 7825 13302 13305 6612 7828 6621 6630 13311 6618 1141 1143 7834 3121 3912 344 7037 9815 3122 345 9814 7038 7348 10139 4477 11381 11173 3448 3537 3446 3910 655 10605 10229 10140 10138 10137 7347 10228 4897 11986 14055 12331 482 5618 12333 5788 5424 14057 14052 12481 5425 12118 7178 5294 483 12119 5670 530 12480 5639 5789 1531 12361 8225 533 12363 8287 1591 1593 5302 5426 7224 5668 5475 12165 5303 11993 5669 1534 14258 14266 8285 7177 14050 11987 532 5775 5473 13914 13911 5641 12311 11985 1533 485 5472 1532 484 8224 12167 12116 7226 5300 12168 12482 531 12117 8226 5637 5787 12334 12332 5423 11988 7175 14263 14270 8286 12362 14265 14260 1594 11591 11383 6615 7831 586 2400 2877 3374 3191 6987 9086 9239 3375 3193 587 3192 9884 2875 9886 2876 294 295 3373 2547 2874 2878 9568 2546 3536 3447 8332 12504 11858 12506 14829 12016 13272 13286 5813 5706 7276 14825 14817 8335 12398 1639 11952 5814 6591 6593 7833 14756 3445 654 13308 1138 13314 6627 7836 1140 13323 1132 6624 7827 13320 2323 3911 9016 11170 4480 10604 10230 10141 4096 4961 4842 5149 4688 4661 4442 4664 4843 11845 10232 11139 4959 11538 11136 11358 11653 2755 11137 8665 1196 14949 14952 7890 1066 8597 2325 14471 235 1971 1905 1065 14470 8875 1377 7750 2183 4687 1376 8071 8664 7760 1056 14468 8596 6928 6927 9015 234 11943 8668 11359 6048 503 12594 12593 5882 2945 3232 788 12330 14262 12364 8284 2451 5667 9169 5292 5671 1592 3667 324 7017 10112 9926 9639 3207 3390 2899 894 8001 1310 7591 1435 1166 8489 6883 8086 1796 7580 7618 7773 1394 905 13863 7283 5852 14171 5523 5884 12587 10249 8011 926 3076 3214 9052 1402 8486 9141 3213 8791 2554 1398 9053 1405 5016 2577 3399 2589 9646 8407 3394 9253 7316 9656 10119 9283 9937 7783 927 10682 10676 11457 12463 10809 6549 10665 13025 6330 11239 13034 6342 13022 4183 10688 6341 6332 4546 4538 6284 4110 4116 11735 13168 10648 10642 4349 3979 4340 3970 10670 5200 6242 6286 6254 6544 13212 10804 3969 3959 3961 11695 11892 11447 12459 10677 12695 12843 6101 12796 6243 12687 11221 10660 6252 13064 12945 12936 10673 12048 10650 12046 13082 6419 10684 13244 10651 5583 12276 13236 3977 4193 6506 6539 6532 4342 13237 13224 13200 9823 13077 13046 6475 6421 3825 4964 13066 13108 12277 12044 6371 6389 4111 4117 13121 13112 6516 11234 10167 13049 6415 4755 5002 5199 4754 6373 12696 3949 10662 10654 10668 4543 3958 2709 3015 6505 13280 3980 4541 3925 4325 3991 4756 5765 5355 3988 3957 4184 3945 4186 11773 11893 11692 4339 4995 5075 13093 5194 5074 4989 5759 4745 5345 3543 4988 5073 11333 10148 3133 3942 3955 3540 3984 10996 10539 11327 3995 3975 10537 6360 6386 13095 13094 6403 3971 6387 6358 3476 6361 10664 6385 6354 11641 11640 3976 4602 12448 12943 12920 5753 5819 11427 10858 13011 11219 10774 11216 5990 10445 13120 10983 12445 11676 12924 3962 4669 4965 6091 4266 11412 9616 10098 4717 10757 10760 12987 4262 4735 3687 12918 4166 11414 4058 11204 5329 10431 12954 11201 12865 6508 5757 4244 6177 4276 4985 12851 4031 3816 10855 4072 312 12866 6090 10376 6468 10777 6762 6426 6409 5978 3799 4272 5756 11118 5989 10755 9093 6170 10428 6128 12824 12787 12919 10466 10861 10763 11423 3809 4281 6603 6596 13291 13275 10509 4075 5340 11431 4275 11208 6335 12957 4716 11115 6202 6168 4502 5975 4731 5986 6425 4737 11883 4290 5820 11564 4500 5328 6167 9094 6304 12027 6218 6291 10095 9808 4512 3767 6334 5708 10499 10960 2471 10447 6159 4726 6305 11670 4054 4926 7005 5743 6259 5190 11215 12835 3704 4606 4811 9092 9642 9928 3417 12030 3231 9924 2942 11425 2948 6581 3801 13278 7307 9927 10980 7302 11873 6407 5325 5177 5744 12401 4059 10456 12898 2949 2947 9640 10498 2944 2950 6599 3235 7018 9267 7014 11500 4070 10967 4277 6137 614 10111 10863 9266 6134 3802 4162 10458 7013 4871 6222 4605 9635 4920 12868 9153 4057 9936 9657 4513 13103 6231 4514 4045 4733 3683 10480 6142 4522 12921 6180 6163 12830 6473 13006 11678 12875 4168 13028 13186 10968 5751 4730 6578 7300 9154 3732 4056 4815 6493 13222 9621 6216 6363 10449 6143 13056 10856 5191 6410 10453 10446 10459 10779 3789 3794 11422 13097 11211 4519 10472 5985 13116 13162 13190 10515 10463 6178 13164 13294 4984 10377 3692 11305 9637 6584 9643 7315 10454 4527 6310 12513 12681 12447 13185 5749 4085 4520 6412 11505 13003 11882 4986 3427 10379 11432 6269 10857 6496 10974 6513 5185 10482 6336 6527 9655 10860 6339 13274 325 2578 10444 12450 5812 13106 10105 6316 11964 6318 10491 3805 3823 5274 10448 11116 3772 10775 12832 6338 12511 6315 9922 13100 9633 3756 4164 10455 12682 10460 11428 13031 13192 10462 9630 11560 10104 10771 10471 4071 10467 4419 7306 9631 2583 6512 10464 13289 6598 12874 12836 10503 11565 12917 10450 10452 4723 13205 10978 5755 11426 10475 13254 9826 11681 11684 10233 10295 3545 10235 4347 11232 4338 13024 10808 13033 4547 11040 10238 11030 3542 4337 6778 3960 11031 3974 4348 10653 10632 13266 6375 6283 13020 4109 6301 13209 13181 13160 11815 8846 3832 4941 4624 4776 4141 2480 3602 4139 2862 3600 4774 4191 3835 6450 3826 4558 13199 10886 6374 13019 12996 12975 4138 13035 13023 12974 13067 12995 12977 11231 6519 4670 6489 10885 13144 13194 6148 6000 4533 6191 5350 4534 4106 4749 6188 5996 4532 6235 6189 6212 5077 5197 3140 4994 4329 3929 6211 12884 13050 10168 3474 6356 13243 3939 10634 10876 10877 10638 10672 11042 3965 6282 6326 6303 6550 10884 13143 13213 13140 13231 6521 13171 13211 13197 13223 6501 4192 13142 6500 6448 6479 9833 11687 11890 11770 4653 4836 11531 11345 6452 3828 3838 5110 4294 9688 10988 10524 10529 10525 3834 4293 11320 11515 11513 11630 11316 4818 10528 8522 1831 2150 13091 7653 11041 10667 11323 13092 10144 10643 9848 10031 9323 3829 4557 5076 4993 4996 3505 3926 6384 6353 11769 11689 11686 10198 13048 6488 6486 9821 11520 11519 11326 5582 5761 6467 5122 6459 11517 11638 11636 10995 10541 10147 11329 10622 11022 12275 10878 3848 11521 11330 4539 13026 11240 10631 4182 10875 4140 2866 5118 3846 3847 10993 4962 6455 6485 6463 6487 3938 3973 13693 10661 6456 6464 3935 13149 13157 13146 13154 4937 4623 4820 3337 2629 3156 3339 3455 4306 4640 3130 3516 3517 3340 4627 4822 4948 3953 3943 3947 3936 10540 3598 3830 4775 4559 5230 3824 4963 12069 5041 4828 4637 5114 5375 5376 12068 5266 1996 12853 6313 4516 11207 12961 12944 11421 6268 2964 11424 11885 12960 4525 6182 12939 13101 11429 10975 4087 13241 9810 11418 3678 3686 11969 6249 11563 11430 11965 4287 12444 12942 12829 10492 5816 4722 6256 4048 7309 13061 6270 3808 4738 5276 6541 5338 12033 6427 13163 12872 9812 3813 5189 4736 10942 10381 10371 6141 12031 10764 6367 12028 267 13265 6551 6543 13242 4829 4638 4827 3129 6507 4194 13238 13252 6447 13225 13232 13253 13259 13251 13214 6538 13198 6531 6449 6530 13193 13172 6518 13141 13299 11634 5113 5229 10536 10834 5220 3454 3127 4636 11518 13714 13717 12202 5508 5042 4953 6461 6453 13159 13724 10626 6559 11659 4967 3934 6561 6567 11142 6573 4966 4449 10640 10636 12227 6566 6522 6558 6560 6565 13264 10646 10630 10628 13712 13720 13716 4305 10538 11325 11637 3453 10994 4301 3128 3845 4635 10146 11328 3843 3978 14570 14575 14578 14574 14572 11922 11923 11657 12609 13292 4639 11331 11522 6601 6606 6585 3456 11067 4304 11639 10523 5112 4641 5040 11252 4946 11069 12505 6065 12758 5919 4404 4595 5035 11906 9505 8717 12252 5559 2812 12424 5556 12249 5731 11285 11092 9612 11090 585 6594 14760 11959 8689 14757 14764 14752 14759 14754 12231 5538 11864 5171 12430 12664 5972 9482 14499 2789 14497 12858 13271 11646 10692 3510 5173 6574 12850 9840 11446 6156 6153 4763 13196 13210 13152 84 4331 7866 85 6504 6523 14187 14192 6587 13267 6571 13276 6582 13296 6583 3937 13180 13178 13270 5688 11842 5152 11997 11995 13216 6520 5442 12745 12624 14119 12621 14292 6620 13313 7166 13303 14174 1525 7225 12565 12166 5295 13123 13319 6460 10803 7176 8244 9841 6005 6466 6577 5698 5534 6155 6164 3146 13919 4190 6328 3148 11694 11691 14062 11994 12794 8227 1600 8295 14058 5293 11448 12047 14054 13182 6477 1518 12814 1516 5864 5865 5533 1131 467 8211 12558 7161 14481 12259 7162 266 5866 12402 5707 6600 12564 12727 6119 8208 6037 1517 1515 5869 12812 12731 7160 13989 12560 12434 13183 3788 10481 6423 10766 10778 3783 10485 6404 11313 11627 13204 6413 4521 13102 6472 13060 13027 13012 6314 6230 13105 6317 4286 11562 3784 4280 12834 4237 8721 4383 4568 13220 13206 10494 13177 13125 13133 12675 12668 12266 10434 12864 4503 12436 4063 12894 5332 12897 4061 6175 12867 10416 11874 10748 10754 6260 6293 6201 6290 12997 12019 10282 10281 10280 10285 12671 12861 10958 6377 6345 6570 12022 11666 12896 6350 6397 6173 6206 10426 13074 10747 5182 6176 5977 12669 9809 12785 3723 6263 4510 3725 3734 11196 12020 6306 11663 12782 12677 12825 11668 11762 12267 4511 13037 13072 6264 6294 11872 11761 11662 11194 4055 11759 4970 11200 6308 5179 5983 10752 12909 12983 12948 12999 6349 6382 11410 4068 4065 12955 6292 12951 11197 11733 4302 11806 11739 11917 11807 11915 4826 4633 12253 11734 11406 9279 3116 4721 5746 5071 5181 3741 6205 6094 13090 4064 4719 5747 13043 4062 6172 4977 3115 4066 6169 12984 6255 4508 5575 12982 12821 5327 6257 12863 6204 6132 10955 6258 10853 12950 11661 6174 10420 12860 12784 13075 13042 5571 6220 12895 12949 12264 12024 4263 9155 6131 5981 3738 6309 4720 4270 6221 12435 11764 11667 10436 11195 10746 13137 11800 13234 6482 6434 6442 13132 10496 6536 13131 6509 6490 13263 13174 6431 6439 13173 13127 13135 13175 6444 5107 10441 11478 14772 14767 14765 14769 8688 11958 6555 6563 6514 10438 4385 13245 13208 13247 3745 6554 13248 5314 13230 13217 13203 11613 6524 6491 6510 11294 13229 11501 13235 14793 14803 5525 14799 14795 14791 14796 12219 14798 11937 6542 6529 13226 13233 4279 11499 11295 5169 6525 10442 11957 13239 3749 10440 3747 3746 10439 6497 7414 6818 2076 735 721 705 8963 7426 2075 7399 1229 7920 6817 1675 734 124 720 6819 8768 8354 2787 7910 8961 1215 11956 7400 1216 8690 1228 7908 1662 7415 1676 7907 1217 2269 126 6820 707 1227 8355 8370 733 1678 8962 8769 7909 7427 125 2268 1661 8371 723 7413 1660 6562 6564 13257 13255 11841 11744 11863 10483 4785 3795 13249 6556 11612 13126 4609 3810 4607 4924 10981 3785 11830 8657 11076 10940 3792 7297 11077 11262 3774 4278 14712 10489 14704 14702 8649 11628 4288 11110 3352 2649 2650 3521 2647 3349 3523 3164 3351 13691 6433 6432 13261 6435 6445 13138 4935 4417 6552 6534 6484 11967 10507 11480 11865 7398 5748 6181 14708 5263 4870 3776 7428 10383 4083 10486 10859 6498 3797 13119 6368 13202 4739 12449 3811 4271 7397 7305 10378 3771 12509 8353 7922 3118 3694 10373 11620 6319 3768 10372 7416 13057 4978 10468 623 10510 4786 6511 10386 11417 4414 4614 11303 5752 6337 11416 10973 13058 13032 11415 3800 4734 6250 4872 8691 4170 6495 12871 13104 11214 8368 3770 12963 4283 10765 4088 4273 12873 6526 13184 11097 10093 11288 69 11095 4047 4617 1214 4868 9483 9480 6408 3804 11677 3780 5188 10772 9921 4983 3501 4526 6227 6366 11209 3815 11078 4076 13166 7298 10461 12852 10941 10725 6311 10508 14705 10964 3761 6411 6378 5818 6394 10776 2963 11293 6343 4806 5170 6380 2270 3733 722 12680 10493 10756 10501 11506 3119 6226 3803 14770 10388 13044 6229 10387 14777 10457 10451 10939 10490 10106 10385 10516 12856 4265 5271 11212 12441 10970 13117 6135 12025 10504 10429 4921 13088 4600 10962 3688 12446 12512 1997 3679 4248 3700 3680 4247 11306 3705 10375 4810 11106 3695 4925 4250 4814 3682 4249 4246 3693 11728 3689 3685 4611 4396 4916 11286 5037 11094 13041 4425 11114 5988 6228 14707 13165 5817 4601 12869 6251 11202 4524 3691 12833 6471 605 4976 4807 13005 13115 4523 10484 3697 3681 10374 9164 3684 9163 9162 4603 10465 3120 10382 4808 4082 5272 13161 6223 127 10972 704 11673 4084 10380 6162 12683 5275 13030 6424 4077 6494 12915 6161 6546 11862 10965 9629 10769 5186 4981 6138 5265 13189 13098 13007 12922 4979 10476 1998 10982 9811 68 4424 10505 12827 12962 11213 4079 11218 2790 9920 11119 9632 12940 5754 4409 3244 6266 11210 2788 3798 10194 13219 11614 7921 12008 4728 10780 3812 4732 10966 14700 10478 4387 4570 10384 10971 10969 4169 13010 10443 3787 12508 11561 4725 3817 3117 10938 706 11680 12032 4919 12854 4080 11309 11621 1677 4515 8369 3779 4282 6225 4165 6139 6160 2965 11079 1995 10770 14773 3793 3821 6405 11068 13698 11468 13685 4375 13680 4376 4374 13675 6569 6568 2292 8986 7971 7573 11960 1290 11962 7973 1759 8462 8812 5174 2291 1771 12201 7985 7972 7557 7546 2017 5175 9499 2805 1760 879 7547 2016 7559 878 1291 2118 867 2015 8463 1281 5270 855 2803 852 8454 5509 7558 8711 8461 10412 10411 10415 3718 10414 3722 10413 13719 4800 2568 4504 14954 493 14947 8652 7766 9515 7258 14374 4261 9281 14959 5638 3773 1938 2189 13382 13385 3781 2957 6658 584 7277 13285 13277 5503 4825 5224 5046 4945 4632 12428 13893 6654 8338 13360 7376 13355 10350 9248 7619 11261 4046 4604 4410 7327 5163 6622 13262 14002 12217 12221 1483 1139 13854 8171 1800 4943 14500 2028 14492 2029 5560 8722 2543 5045 5222 4303 10522 13678 5735 5563 4300 14496 11805 12256 5640 12360 12443 13129 12216 14951 6140 6988 9168 4074 6553 9272 7312 11740 5047 11916 5223 4944 5737 3968 3964 10635 10652 10666 10671 13147 6454 13148 13156 5228 13158 13690 2343 3292 3049 2344 2623 2721 3052 3051 3291 2720 3048 2624 10629 5020 5092 5374 4370 5605 5090 5094 5372 5368 5370 13673 10517 11812 11656 5369 5602 5603 5371 12297 13469 5367 5601 12066 10610 10606 5555 5727 12420 12248 12245 5552 12422 9501 2808 5729 10607 2872 9562 10842 4152 10841 2869 4149 11473 4780 4148 13738 13743 13740 13750 10843 14525 14526 14518 14520 14523 14522 13745 10845 11475 4782 11738 10998 4824 4634 11256 10308 4563 9565 10310 3914 12255 3619 4151 3913 11813 11474 11258 4565 4781 11257 4564 10844 10312 13677 2868 3615 13746 3617 13742 13688 3290 11921 9561 9566 4003 9200 4150 2873 12455 12043 12684 11225 12789 10619 10611 11511 13694 11317 10145 13686 11324 13681 3917 3535 3444 10603 8161 12300 12466 1467 5378 13810 13811 12070 13803 5773 5656 5454 12072 14221 14219 14224 7151 13964 422 5384 7114 8159 5452 12145 7213 520 8274 1581 5380 8160 12303 12071 12302 12077 13807 1466 12477 12349 14226 14223 12322 12106 5413 5629 5455 12148 5653 12346 9498 5269 8708 2018 12142 5449 12348 419 5609 12075 14231 12147 12073 5608 8158 12299 7113 5785 7153 7154 458 460 5631 5786 12478 12110 5412 7152 459 12323 5630 5410 12103 12479 5633 13967 12104 1507 8200 5417 13966 1509 13959 8201 12107 1508 5416 1510 12324 12109 8202 8203 5632 461 1468 5382 12465 5774 421 7112 1465 7115 12105 5784 12326 5607 12301 12076 5379 5383 7211 1580 8273 12074 5655 7214 5411 12325 5772 12467 5377 5606 420 13961 5415 13971 13963 521 13815 13808 5381 5610 13805 12108 12146 5453 12143 12345 5654 5652 5451 7212 5450 8272 8275 1579 12347 519 12144 1582 5448 12141 884 7569 1296 2750 860 11850 8460 2123 7989 8667 1977 5159 2752 14582 8670 14577 9445 886 7990 1776 1286 875 7578 5157 7979 11749 9443 8714 2021 8472 1767 2299 6872 178 1778 1779 5567 12257 9509 5739 1269 7514 2290 1756 7962 845 7513 821 7537 1757 1270 8725 5741 5740 2034 8724 5566 820 844 8983 7964 157 2817 8982 7536 9510 8451 158 6851 8450 6850 843 2815 1758 2289 2033 7538 8449 8720 5561 822 5734 8723 2544 5736 14486 5562 159 832 14487 2027 9237 833 12429 12427 1739 8434 5558 12433 8727 1258 6853 2031 7516 7527 7951 834 7526 2030 7525 12254 9238 1271 7963 12251 876 6873 12258 180 8458 862 1288 8990 7570 5565 1289 863 2297 1765 1766 7555 7981 7982 7556 12304 14328 14325 5676 14327 551 1611 8307 12367 14335 14323 14331 7246 12368 7243 14330 5675 553 8306 8304 7244 5674 7245 12369 1614 8305 5482 1959 1562 7192 11586 11991 5297 8255 12136 5443 5445 7193 501 8252 14154 14162 5444 12139 6589 13282 5478 1561 14166 14159 7194 5296 11989 498 1559 7271 7191 11990 4894 8254 5299 4896 12137 14161 12175 12171 11380 1195 14968 7887 14960 14967 5267 8387 7461 8965 7448 7432 7926 8964 8770 8373 8372 5600 5093 12298 11783 11063 12065 12067 11787 2816 12432 12260 5564 4885 1485 7138 7136 12080 443 13896 13902 582 5519 14466 14474 550 12306 5282 5311 5281 4902 8180 2740 11973 1528 12006 11976 1961 5239 12172 11594 1530 5388 11592 4901 5422 4886 14049 12005 13898 442 4888 13899 5385 11583 12004 13901 8220 5421 14044 12328 12079 7135 7137 12078 444 12327 14691 14699 11580 12082 13906 8181 4887 11975 12115 1637 7171 12081 5280 5290 12114 5480 5483 478 12170 5481 5476 14042 12113 5418 11595 11593 14045 7172 1613 12366 9433 13894 579 8331 1635 12003 7272 5611 14804 5283 12213 580 14692 7273 5520 7275 12173 12174 1612 11984 12111 581 5634 5288 7274 4892 5518 4900 12176 8178 552 1488 12365 1638 12169 8654 14816 5477 5135 5479 5672 14041 8651 11172 9017 11581 1486 5312 5673 1958 12209 481 12329 11981 4479 11382 8666 1970 1973 4689 8663 2324 11579 12305 5387 12211 12210 5313 5613 445 5612 14812 14811 5386 5636 8221 5635 4899 7173 11932 11974 11983 4889 12112 1487 1527 8328 7174 8179 5389 11578 5289 10741 7925 2077 9441 8662 2272 2271 8966 7923 769 8661 11938 5142 6821 1968 14783 4411 4608 736 8771 7447 7430 1969 1679 130 770 7429 14780 11941 7940 1230 11616 4922 6824 1247 8386 7941 7446 9439 2748 14782 7462 754 1231 14778 11940 11835 5143 1233 131 739 9442 8384 6822 2746 10946 11503 11104 11617 11298 11615 11299 11301 11504 11105 11302 10740 7939 755 1680 14790 738 2273 11836 8374 14785 5245 768 7445 7924 8385 6823 7463 1966 7431 1248 1692 737 1694 128 1693 1246 2749 14786 2078 8659 753 1681 752 1691 5248 129 5247 1232 11712 12290 12289 11062 12291 11782 12061 12063 11713 11785 75 6767 635 6954 7840 1126 631 7323 7328 6769 14483 14484 9308 269 271 6963 6961 1145 7838 1146 6770 1144 7819 5956 12648 8726 14491 1006 12880 12926 12790 4367 262 1125 1147 9073 2203 10253 1007 10910 7700 6771 79 5955 12649 9728 4215 4809 11939 8648 5144 1967 8660 9440 5246 1955 5141 2747 11837 11834 11300 8656 11502 4666 885 2298 8470 14473 14933 7892 14926 14923 1198 14925 13187 6528 11117 13218 6470 6492 4073 10195 4729 4923 12670 12439 6136 10750 11409 12265 12437 12021 12018 3744 10473 11880 10514 12029 11675 4285 10470 11679 11968 6217 11411 12911 10749 10759 12826 3727 12998 12914 10761 10751 12672 10753 12822 12026 10963 9278 9807 11198 6406 6312 6422 5987 6365 6158 13201 10767 13029 13004 10513 10512 11407 3820 4714 3819 10435 11408 10852 11881 5336 5187 10502 13118 10506 11884 4982 4517 10479 11220 3786 3502 5192 5339 4987 3822 6267 5750 5815 7577 5057 4444 8816 8459 1287 1974 11852 2753 1298 8471 7980 874 7579 7568 6870 5056 1297 7553 11750 8469 9446 7567 8992 7554 1777 2122 8815 6871 877 177 179 8991 861 7991 1972 11844 5151 14538 14539 14533 14536 14531 14535 14543 12619 1608 12613 5920 546 14213 8301 12643 6086 8303 12779 14314 14317 517 548 5945 5925 12616 6069 14218 6073 5950 14208 14315 14310 14312 7242 5944 12762 12644 12617 1577 8270 5921 5924 7209 5923 1575 12614 12618 14211 8269 12615 12780 8271 14206 1576 6087 549 12766 1610 1607 14322 8300 7240 6088 7241 5946 12639 547 8268 12637 515 5949 8302 6072 7207 12642 5922 1578 5926 5948 12763 514 12620 5927 7210 6070 12640 6071 12778 5951 6085 14318 1609 12764 12777 7208 6084 5947 7141 449 5616 12085 1489 1490 5614 448 11977 12309 5391 8182 12086 446 7142 1491 5287 5392 11980 8183 12084 11979 13912 13907 11978 5777 7139 5286 447 5617 13909 12307 13915 5284 8184 7140 12310 1492 12469 1067 1057 8876 7759 2322 7758 7122 2278 7121 6107 8167 12711 5834 12708 12529 13836 1253 1252 427 8166 1476 6016 1474 12528 8169 1473 6109 13829 13841 430 12531 6015 744 429 12526 5835 8393 7454 12801 8394 8392 6108 12530 5832 616 5393 3234 3933 10657 9219 11811 7260 11655 8323 13334 8320 13337 3376 6642 10345 9912 7299 608 2927 9620 2399 7301 9124 3406 3405 10584 4662 4844 3906 3904 10594 10587 6671 8341 6364 12986 12855 6469 12956 6179 4740 10768 12040 621 3239 9150 9151 12083 9628 9919 7281 13336 2394 2567 9617 2924 12308 3402 606 7007 2925 2392 2393 9614 9615 9911 10097 314 6682 14687 8223 1636 14478 4891 11585 14039 8329 5419 14695 11582 8222 14037 4890 479 5517 8330 5291 1529 5516 14694 11584 12212 4969 4161 3113 6687 13350 13353 1560 8253 13366 12138 6692 14029 5446 11588 499 14032 13386 11171 4893 13356 13340 3651 13372 9147 5285 480 5310 14689 5420 4412 3690 10663 617 3418 11033 4245 10655 6643 9887 9123 5615 3423 2456 2455 2928 316 609 2454 2401 6990 2549 3378 10070 3403 607 9889 2585 3743 4972 6641 14387 3114 4160 3818 2879 13333 5066 1629 13339 6645 14379 6640 1630 7261 13335 3377 589 2883 5390 3653 569 12561 5916 5408 12475 5782 12320 1499 8192 7149 1498 12099 5406 12318 7150 454 12317 12100 5407 5626 12319 13940 13945 13937 12321 13938 13933 5783 12476 13941 5628 5781 5403 7147 12098 1500 1620 7252 8312 12377 7253 1622 5494 5684 8315 12187 1619 14349 14354 14351 5838 7254 5493 12378 12191 561 7251 5685 12376 5499 5497 12190 12192 1621 5492 12188 5683 12375 14348 5681 14340 14343 12180 7248 8311 5679 8310 12370 5487 5489 12182 5677 7247 557 8309 9844 2625 2628 9319 9320 3152 3333 10025 9318 9846 10213 9321 10211 9847 10212 9845 10026 10029 9735 2622 4355 4352 3518 3043 2620 9977 3287 3480 3284 2621 4462 9850 3483 4016 10210 4452 10208 9974 11046 3039 10173 2627 4678 5009 4466 4852 9734 3484 5008 3044 2534 10813 4017 2619 4849 10033 3481 3336 9312 3045 2535 9975 9979 3486 9310 2198 10024 3289 4015 9978 2617 4121 2626 4550 10027 3042 3515 2618 10034 9976 3281 4848 9732 3482 9311 3047 3283 4454 9313 3282 3288 3041 3519 4674 3285 3286 3040 3479 12396 12657 5807 5703 14678 4861 5127 3332 3335 4351 3520 9738 3338 9985 3331 11368 11543 10700 9982 10701 4850 9736 9742 10177 9744 10711 11364 11144 9413 10702 10174 3334 9316 10710 10709 10815 11369 11242 10209 3155 10175 11366 11147 11153 9317 4354 10708 9851 4007 4853 4464 11701 3153 10179 9980 4453 11241 8891 10035 9037 11152 9315 9227 11370 9737 11049 9981 11158 11365 9314 9741 4672 4459 5010 10703 4671 4677 9739 11157 10176 11146 11156 11546 4675 3151 9228 6759 12501 11259 6757 5810 11476 12656 4783 5805 12397 12503 5809 14686 11553 11819 12011 5808 4566 12665 5971 5495 12186 5682 5469 12162 5663 14252 14245 12359 14257 529 7219 5666 5464 12357 14250 7222 1589 1588 1587 8283 5466 12358 8282 5662 12160 5468 12164 12355 1590 12158 7221 5664 14249 12356 5471 5465 526 8280 8281 12159 14247 12316 13928 12473 5780 13920 7144 12089 1496 8186 453 5400 5621 7145 5620 8187 12092 12094 5395 5398 12090 5394 5779 5461 14240 7218 522 12351 8279 14244 1583 12153 5460 1586 5659 5657 12152 12154 14237 14234 14239 12149 14236 5462 12151 5463 525 8278 12350 5661 12352 523 1584 7216 12150 12353 12156 5458 12155 5457 5660 5456 7215 12354 5459 1585 14232 524 5658 7217 8277 5790 14067 12483 12485 14068 14065 14070 14063 5646 5792 5643 7181 12124 8228 12121 12126 12338 5645 7180 1538 8229 556 12811 13984 12726 6118 13972 13980 6033 13979 6116 12809 555 12120 5430 5488 12178 5491 12184 5678 12371 1536 5859 1511 463 8207 6031 6117 1514 8204 12810 12549 7156 423 6013 13828 13820 7116 12706 6104 12797 13823 12125 12552 5856 6029 12722 5861 12373 554 1617 12183 5490 12551 5860 5862 5863 5857 6030 12553 1512 7155 6032 5829 8205 12522 5828 8165 12521 5824 13824 12798 12703 425 8164 1472 8163 7117 12799 13821 12704 424 13816 1470 1471 12524 6011 6009 5831 12520 5825 5827 6106 6012 6105 6010 12517 426 12518 464 7119 5830 12555 5826 12725 12702 12523 12519 7157 5429 487 8231 11168 14193 13831 8314 13997 13987 12559 468 6034 5871 469 558 466 13993 5867 12562 12729 8209 12730 12728 13990 5868 13992 8210 13985 7123 1573 5870 5913 6036 12607 1572 12707 510 5915 12532 6067 14198 12606 7203 12185 12527 511 14075 5496 12189 516 1469 13818 8162 14210 12641 7239 12781 12638 14214 12765 7118 14338 5484 456 1616 7249 5404 14344 12179 12096 12101 5627 5486 1615 8308 12181 8191 5244 11341 1963 12705 12374 5680 8193 12097 5485 7250 1618 5624 14336 12372 5402 7148 5428 5434 7182 486 5431 12127 488 12484 5791 12123 12337 12335 8230 5432 1537 12122 7158 1513 12550 5498 12813 6121 6035 7159 12087 5623 12088 5397 5778 13924 12471 451 12314 5396 1493 1494 13927 5401 12091 12710 12800 12612 6018 7120 1574 12802 5837 14341 12177 457 5622 12093 5686 450 12315 559 7146 14353 14356 14361 5399 452 6120 6038 14205 428 6064 512 13833 14195 13834 5833 5839 5836 12709 1475 8276 13976 13974 10258 9221 9803 2528 3110 3565 275 2703 5024 11559 11402 4226 4709 10920 11401 4710 4708 4227 4866 10919 9240 7279 9569 10066 10068 9567 9885 9570 4864 4779 4147 7280 9571 10067 4561 3603 3606 6815 123 3640 3639 14418 12489 5570 12492 12490 12263 5569 12647 14421 14426 5798 14416 5952 14419 12491 5954 5799 5797 12645 14422 10337 10929 10335 4235 10332 10928 4234 10334 3641 10330 3642 4236 10333 10329 3644 8352 1659 1210 717 703 1213 7903 7904 7411 1657 7410 719 1658 12493 12646 5801 5953 5800 12494 5796 1999 8695 2793 11840 8650 2736 14681 5318 5704 12502 4476 4784 14682 14674 12498 4120 4353 11820 11243 10812 4122 4356 11048 11045 4548 11047 4771 11247 10288 10290 4556 11248 12225 5531 4554 4773 4137 3719 4555 11249 3586 4133 3590 3721 3594 14444 14447 14452 5696 6967 274 573 12389 5803 12496 9394 14442 5 6 6700 48 14440 572 6968 5804 12387 6740 7268 14448 11716 9393 6741 47 7 6699 6698 5802 7266 11715 2702 575 5023 5694 2701 11714 12198 9395 12199 9396 5692 2700 6966 5507 5505 12197 5695 5506 12388 5504 12200 5021 10189 3567 4865 11404 2529 3109 4712 3496 4225 9222 12386 5693 11717 11400 3625 11470 5725 11405 4707 4711 11558 12418 10837 10298 9799 8694 10918 1690 6816 122 8960 8767 8366 7395 7905 7409 121 120 6814 6813 141 8364 730 7425 700 7919 7394 1225 1674 2073 2266 731 2265 7917 7424 1212 8396 767 7472 8975 2083 7935 2281 1671 7423 1672 702 716 1226 701 7918 8351 8766 8959 8350 8367 1673 732 7906 1211 7412 7396 718 2267 2074 1255 7950 7443 7936 7937 8383 778 8958 7393 9487 12403 11838 2791 12230 2794 5710 11044 10814 5964 5147 1957 8647 11746 9429 5053 5712 8692 9486 2002 3587 3591 3596 3595 3720 3589 3593 13499 13498 3597 10289 10830 4135 13503 13495 11466 10286 3592 13493 4136 11464 13491 10829 3588 4134 10279 4772 10284 10828 10287 10827 10283 13496 11465 10826 14921 14929 14928 7891 1199 5642 14253 12339 14071 12336 527 11557 560 5022 7143 7220 528 12161 273 12313 13922 13932 1495 5470 8188 7265 5644 1535 8313 12163 10260 12385 14414 5619 12472 5665 12495 6965 14357 7267 12261 5433 489 5427 7179 12497 12312 11403 12157 9802 5568 14445 12262 272 574 12379 13925 8189 5467 3610 3608 3624 10836 2012 8705 1704 779 7471 1703 8973 7948 765 4143 14718 4560 14721 12417 2014 4381 14738 11073 3614 3609 4146 14715 14725 10316 4382 12243 2011 13753 10838 4380 3612 13763 13756 10318 14713 11471 14720 9800 5550 14717 5724 13755 10315 10319 11255 8707 8704 10302 10839 11075 4777 11074 3626 10307 3605 3107 13759 4145 13751 4144 3622 3623 3613 10317 3604 13758 5145 12405 5537 2737 9484 1954 9430 63 6760 11260 5965 11399 5963 66 12659 64 4705 6756 6758 65 12224 13059 11876 1101 2001 1795 923 4770 1309 929 2365 13227 8635 2921 3218 5849 5405 12442 11878 6247 2125 6262 12679 4081 10497 10762 9813 13191 5337 11674 11879 13099 10773 11206 12831 5183 12724 1484 12095 5847 6028 8190 465 12720 7331 5843 1497 462 13343 6690 13009 8611 8634 8007 1305 4696 3084 10437 6797 685 8823 7378 6798 3081 8088 105 1623 8869 8582 5414 11982 14156 5298 4895 14158 5447 11966 6089 6130 11665 11870 12913 4086 4426 6499 10474 10469 13240 6248 12556 12554 5858 534 6678 7227 535 6265 12828 12870 9045 7791 1918 6666 4507 5984 13347 6592 583 1396 104 10948 10409 4255 10949 10406 10745 10950 10407 10408 10400 11510 12507 6652 278 7841 11205 11672 8206 5625 11420 13935 11180 13977 4482 6548 11877 6224 6246 7614 3362 1404 1391 9624 888 1793 2765 3075 904 11574 248 2369 1807 1081 2358 11057 11419 3169 8620 8012 1393 1645 6261 5982 11760 4505 12015 9062 12959 10854 11589 500 6540 6533 3556 1642 1388 5333 3731 11951 1077 1399 6547 11671 10862 4869 10495 7129 431 6115 12535 9517 9520 12723 12102 6020 12474 12534 455 13860 5409 12510 12806 5854 12678 5597 5091 5598 4369 5599 5089 5019 12064 13467 13477 13470 12294 5373 12060 12293 5604 12295 11786 12292 13465 12296 11784 14676 5966 4567 67 5532 12658 14679 11816 11925 11542 11159 4465 4009 4676 11544 11554 12394 11367 11145 4463 4460 4451 5232 5126 4860 5123 12499 11926 11817 11818 11541 4549 11924 8713 2020 8503 1808 368 1181 2039 1444 1439 1442 8889 7629 936 14751 13215 5764 6165 5356 10881 3544 5203 6357 13150 6777 3512 12039 12038 6331 10874 12839 11019 11436 10206 13170 4346 13062 6340 11766 3982 5000 10681 10887 6390 4450 11223 9727 6451 12881 6329 4998 9831 6281 11025 11016 12929 6572 11018 11439 6095 5993 6383 13068 5999 6280 3508 12990 13051 13080 4001 4529 6145 3504 10798 12903 12791 12883 6192 5995 12849 6214 3967 6327 13145 5079 5278 3573 5358 5585 4180 3921 11017 12971 6146 6457 6465 5121 6324 12692 12927 10795 5821 9830 12976 6184 13195 4741 6557 5005 5205 3511 13250 10669 10616 12270 9307 11888 12965 5767 3147 5279 10873 13258 13179 13153 6428 11449 6333 10802 12688 6478 6502 10236 6302 5354 4536 3997 12978 6285 6503 6517 5201 6006 5003 3972 3996 3918 13260 3507 10796 9829 11814 6200 11024 4115 12901 11970 11897 4873 12882 10170 9832 3993 12037 12994 3513 12458 12010 5233 5124 12009 5316 10178 9745 937 3485 9414 1809 935 8890 7630 8502 2197 9036 9743 9983 7628 12223 5529 5530 14973 14981 12222 14980 5806 12395 5701 12239 5721 2800 10344 2008 14731 5546 14728 9493 14726 14734 12414 8701 14985 14977 14978 405 5317 7098 14868 13621 7106 13633 201 14863 11398 4706 13594 6722 29 5717 2004 2796 12410 14739 12236 5542 12235 12408 2003 12409 8699 2797 11832 5139 5543 12233 9489 8697 5715 9490 5540 2022 2019 12247 8715 2809 8712 5728 202 7107 13587 14874 14869 9502 406 12421 414 13582 3916 14858 7099 13628 14864 5554 14871 14856 14877 14861 6895 413 6723 6894 418 9740 14741 5125 14744 3046 30 14747 11169 10172 11703 11154 4008 11155 4461 11371 4475 13586 12500 13590 5702 7110 3478 8501 11545 4018 11477 4673 5231 9984 14975 11702 9733 1810 13589 13584 14873 14876 13629 14881 10171 2196 4851 4010 11283 3647 4242 10733 4913 11282 10932 4589 4241 4243 4040 11279 3650 11088 10931 5211 11792 11603 10730 10936 10343 4238 4037 4392 11904 5100 4590 11905 5028 11727 4914 3649 11280 4239 4395 11087 10340 11489 11275 10338 11086 4588 4039 4911 12237 10339 10732 11487 11606 4581 11278 11721 5033 5099 4795 4909 11488 11492 11720 4585 5034 11791 11274 4587 11085 4794 11903 4799 10934 4798 4796 5547 14743 5212 5098 4582 10731 14730 10341 11725 14746 11605 4584 10342 14733 10935 11281 11490 4586 10930 10933 11276 11491 4394 5719 12412 11793 12240 11607 4910 4038 5027 4393 5032 11604 5210 11277 4797 11726 4912 8655 771 1249 8389 7464 7944 7434 7450 1683 2274 1682 7435 2079 8773 1978 8969 6826 1237 8390 1250 740 2275 1698 7928 11934 2745 1235 1234 8388 7466 8376 772 5138 7451 6861 7898 1653 116 6860 8440 7958 8981 7522 8446 7970 6858 8808 7534 6806 6805 6808 112 7419 1666 692 1219 1652 7401 8952 8363 7902 7392 8955 2009 8702 7403 711 2264 1656 7420 1207 8347 2006 8700 2007 9491 12407 13473 5596 13472 12062 11587 5301 5474 11992 5690 11217 3769 4518 14227 518 4867 12941 12958 4069 12916 330 5172 5146 5264 8168 13837 5054 5238 9432 9436 9428 5242 5240 12220 14530 3844 3050 2024 9236 10518 10500 13188 9481 5136 1956 6761 13228 6537 5140 6017 3426 3243 1135 622 2962 3242 3428 2961 2584 331 5776 12525 3154 4727 5335 5273 12557 5184 14479 7255 10781 11996 5689 11111 11629 11314 6535 3782 2032 4078 10028 4119 14494 4423 10487 4980 7223 4724 12140 12470 6609 8185 12468 6014 1134 12923 12563 1663 726 8344 1747 2288 2115 7524 7961 1754 11827 839 7968 5726 8979 7542 8448 8438 1204 7418 7417 5714 2798 760 766 7457 5052 11745 2734 9492 2799 5545 12238 715 12411 2802 7391 8957 8349 8362 7901 8360 728 5134 7406 727 12234 8698 9488 1221 2795 7900 5541 7405 175 859 8468 7975 8988 7576 7551 2295 1293 883 2757 11942 9450 2754 1762 7564 870 857 1295 856 742 8433 1668 7946 7436 8772 1688 8777 7459 8776 7408 8764 8956 133 2072 713 142 6833 6836 137 1294 7550 8765 6825 8598 1378 8070 6835 7563 7467 7945 7407 696 708 764 712 8361 7402 757 2260 2282 114 7389 7386 135 1699 1695 7913 8967 8345 6810 113 8775 8380 2069 699 6831 9508 5237 138 2071 1670 2263 2287 2114 2286 2120 1740 823 1260 1654 1655 1775 8810 7565 7976 9503 2807 2810 12419 1259 6852 160 8432 6867 173 117 7911 1702 1665 1697 8703 2010 6605 12226 13290 11930 11843 5553 5150 7452 2294 5249 2117 6830 7942 7895 8954 7441 7949 749 7916 7390 1209 5709 7440 8974 7460 12228 6859 5720 6812 118 7469 119 6811 6827 9018 5718 2545 9511 7387 747 5535 1741 7897 7947 6807 1257 7931 1651 8968 7465 7953 8391 8375 6829 140 6834 1686 7438 2277 1241 1689 2262 1222 7437 7455 2081 8069 115 134 132 136 8763 695 8346 8972 7433 8447 7824 6959 13293 6597 13298 13295 9434 2741 6809 9495 7388 7934 8379 8381 8399 8358 2259 1238 7930 1236 1218 1239 2005 1203 1240 750 5251 1965 8774 2082 8970 745 8971 7535 697 1223 7915 6828 2744 1962 8671 9437 1684 1696 1275 8445 2182 1904 2116 710 8465 1242 7912 714 7404 1245 841 7749 7453 8809 7988 1277 7959 1753 829 8696 5716 9449 2756 8658 11944 7927 7439 7933 9235 871 1282 5241 9435 1773 8466 7470 7552 7521 7969 8980 1706 872 7543 8439 12431 7449 8953 2261 2296 881 882 1772 7549 5738 2080 1251 741 139 758 773 2280 1205 1220 8762 1202 1664 1244 4478 5243 7914 9447 2738 1284 858 12400 6602 1285 7977 873 7574 8455 7566 6832 7899 7932 724 8356 777 7896 725 1224 8456 7978 743 759 8377 165 1764 8397 2121 1774 7986 11831 8398 7442 7458 1667 7421 729 756 698 1208 1243 7444 2276 2084 8357 1669 143 8989 8814 8457 8987 7938 8382 7422 2070 8359 8365 709 761 776 693 9494 12413 2801 1283 7952 7575 6866 7544 7533 174 176 6868 8467 774 1685 763 1705 9500 9431 1687 1254 2279 7456 1700 8395 1206 1763 7532 1746 7523 7960 850 748 751 1256 1903 8813 2542 2742 1980 8807 7929 2818 7987 9438 12246 6869 1745 1981 9427 8378 8348 694 7943 11936 8674 775 762 7385 7515 10957 10422 10956 10419 10424 3726 13040 3729 4264 4906 4579 11271 11902 4232 4793 4577 5095 4789 3635 4036 10924 10326 11901 4575 10727 11598 11482 11264 11723 3637 4231 11268 11597 4389 4904 5031 11724 10322 11789 10728 11081 5025 11267 11484 4033 4573 11486 11599 10927 11270 3628 11900 4788 4792 11082 11788 11718 4390 4576 5026 4907 10923 5097 3638 10921 11265 10324 11483 10327 3629 11596 4229 10336 10331 10321 10925 11272 11485 11083 11269 4233 3611 4228 10922 4580 3627 5096 11084 11719 4230 3633 11601 11600 11481 5207 3630 4908 4034 4905 4571 4388 4574 5209 5030 10729 10926 4391 5208 4791 11790 4578 10328 11273 10323 10726 4035 11266 11253 10305 11254 4778 4562 10297 10840 11472 10301 10303 10299 13464 13456 13459 12281 11776 5588 5083 11774 12280 12282 11778 5587 5081 5589 5085 12288 5586 5017 12279 11710 11775 11711 13452 13457 13460 13454 5595 11779 5082 5084 5018 11777 11780 5359 5087 11781 5590 5361 5088 5363 5591 5086 12057 12059 12055 5592 12053 5593 5360 5365 5594 12284 12052 12056 12286 12058 12287 12285 12054 5362 5366 5364 9731 13018 12689 4530 4991 10799 6323 5762 11434 9309 11437 6099 4179 12454 10425 12952 11193 11113 12862 10418 12783 3735 9806 5067 5979 6129 6352 13086 13136 6443 13139 12023 12674 5745 12953 10432 3796 5178 9280 5573 5742 10511 3736 3740 4268 6395 6440 11801 13070 13089 3728 13176 4422 6219 6307 6396 10488 11664 4501 4968 10423 10421 11413 6171 13246 6515 13256 13207 13221 3807 4274 5976 3724 13002 4060 10961 10193 11875 13001 10959 10758 12268 12440 5572 4159 12985 11871 4289 5326 13085 3730 6133 12438 6093 11763 3499 4973 5070 10430 10192 11669 6203 12910 12823 10417 4053 6289 4506 12269 4974 6481 6438 6446 5108 4269 13039 13038 11112 13071 13036 13087 3737 13124 13128 4067 5180 4509 4267 3500 5334 4284 6480 6436 3814 12786 5330 6092 10477 6381 6348 12912 5576 13073 11199 12673 5331 12899 13000 12676 11203 10427 5980 5069 4975 4718 13045 5574 3777 3739 4421 6351 6393 6379 4420 6344 6347 6392 3778 6483 10325 10320 11722 12283 13704 13703 13701 6849 155 7509 156 6848 816 814 815 82 7507 7508 6775 6776 83 7510 817 7511 6845 151 150 1738 8431 818 819 6843 152 7512 6844 3607 3632 3643 3631 3634 4572 2313 1892 8871 8601 9006 7754 1060 1061 1915 12244 5548 3106 12416 2718 8866 2533 2305 9798 8585 9411 1908 8600 2303 2311 1893 2170 12242 8606 1907 4790 4903 9801 5722 12415 1058 9004 9005 2312 3108 1059 8588 9225 9412 5029 3636 1895 2173 2304 2171 2013 9410 7752 8997 1913 1914 9003 8608 8607 2310 8865 8587 8602 8996 1906 8706 2177 2719 1909 2178 8586 8872 8863 7751 1894 5549 2172 8998 9226 2532 2717 3105 8864 8599 7753 8870 2179 5723 5551 12241 2419 2418 8928 9387 9113 2416 14107 14135 14109 9389 8925 2417 1547 1544 2694 2420 2696 1545 14110 13490 4372 11065 13482 9386 13948 4373 11066 11064 7660 2067 14457 9122 14458 2428 2252 6896 966 7659 206 6900 8760 2066 1840 967 1838 2429 14453 14461 9121 7662 207 6899 2239 8935 969 8247 8250 8936 965 7658 8933 9103 2224 13950 2221 9104 2413 8199 8916 1502 1505 8920 2220 2225 9105 9102 2691 8196 13958 13954 13946 2693 13486 13478 4371 13485 13483 13480 10306 10304 13706 13699 13707 10300 10296 13711 7077 378 7074 7071 7073 380 381 379 7076 7078 7072 8687 7075 1994 1433 1165 8127 8124 1430 1163 8121 8684 8118 1989 1161 7853 7855 8122 1427 1990 8119 8128 7859 1431 8685 8126 7858 8125 7857 1428 1429 1162 1991 1426 1160 377 375 8129 1432 1164 8686 7860 7068 374 7069 7067 376 7070 8682 1425 8683 8123 8120 7856 7854 1992 1993 9029 1156 1423 1158 1988 1420 2335 8117 8114 8680 7852 8679 7850 1419 1422 387 390 2389 9028 391 386 2054 2053 1456 1454 2204 2206 2387 1192 1452 1188 2047 2205 1193 2051 2052 2388 1186 2050 1455 389 1453 1187 1191 2049 2048 1189 1451 1190 388 8116 8112 1157 1421 1986 1159 1987 1424 8115 7849 8681 7851 8113 9030 2337 9031 7884 8148 7083 9081 8744 7881 7886 8743 9082 8745 7882 8147 7084 8898 7885 9080 8740 8145 7082 7080 7079 8146 7879 7880 8897 8746 8747 8149 7081 8144 8899 7883 8741 8742 9027 2390 2838 3182 3183 2835 2837 3368 9529 9877 10059 9084 10060 9532 4499 9531 9528 3184 2836 2839 2391 9083 9876 10061 9475 9471 9797 2409 13953 2692 9106 8913 2223 14465 13951 9385 9384 14455 8937 6898 203 6897 205 204 8932 2242 2246 9118 14460 2068 8761 8943 8945 2250 2251 8944 8531 2633 14860 4583 4343 3806 6346 6279 11602 2234 2235 8924 8929 9109 8927 570 2236 7264 1548 2238 2231 14102 9110 13008 5544 2232 6003 10976 10977 4947 6147 3791 5347 10979 3775 10433 11227 14104 3790 14106 12792 11433 12904 4663 9875 2336 10017 9024 10015 3531 3324 3327 2333 9329 2635 10917 10223 2338 10222 9327 2634 11190 9474 9479 9477 10020 10224 10720 3297 3055 9025 9793 4223 4026 9469 10019 3099 2775 2783 9026 9476 3489 9326 9747 3296 3293 9988 2332 2785 9470 9796 3104 9795 2778 2334 2780 3098 3101 9991 9791 9472 9468 9792 2776 3322 3530 3100 2781 2779 9790 2636 9328 3053 3294 9749 2643 8894 8400 9334 9335 8402 8892 3366 10187 10000 9758 9756 10186 9230 10047 9341 9858 9859 10046 9856 10043 9337 10219 10215 3367 9530 3102 3103 2777 3563 4029 9473 4124 4359 3160 3524 3345 3163 3353 3165 2648 3350 3159 2644 3344 9339 10040 2646 9852 10037 9854 10216 9336 2784 3097 2331 10018 2786 9794 9478 10217 9853 10038 10045 10214 4030 3564 10016 3526 3346 9989 10039 10036 10218 10041 9855 2782 9986 9338 4222 3166 3354 3522 4357 3348 3162 3525 2645 3343 4028 11246 11051 3161 3347 10816 10818 11054 4360 372 8729 8143 1450 1185 7065 7878 1443 369 1440 1180 1178 1441 1179 2038 4126 4362 11050 11053 441 13873 13870 13872 7133 13876 440 13868 13880 7134 13875 7263 571 1416 362 363 1418 1119 364 1415 1117 365 1413 1417 1118 1949 1947 9010 2345 1953 3069 9416 2724 1950 2729 3066 3356 9426 10048 1951 9763 9012 9418 2655 8645 9421 2321 9008 9424 2320 3355 9013 2348 9419 2318 9417 9007 2314 8644 9420 9415 8135 2317 360 8646 7054 7813 7052 1122 1121 7815 2727 8132 2347 3071 1120 2722 7811 2316 7814 9423 2820 8102 1944 8110 1113 2652 2725 8136 7059 7060 9764 1948 8106 8642 8109 3309 9009 9014 2319 8640 9349 9513 8639 2315 3550 2730 1116 1414 2723 253 1123 8133 9422 2656 7805 8101 8733 1946 7053 361 9760 6946 252 2728 1952 358 2732 8100 2731 2821 2036 1407 8637 1409 3357 8643 3068 7061 2726 7062 7816 7871 9041 7873 9759 8111 10049 8641 7812 10050 9761 4196 6945 9762 4197 3549 3308 3546 4024 10718 4023 10240 10888 3548 13794 13797 13802 9382 13790 2690 9383 13798 13795 13792 2689 2688 2408 9381 2212 9097 8908 2217 9101 2407 9100 9098 2216 8912 4498 1176 6985 7869 292 11192 10721 10915 10916 10722 10256 10719 3323 3529 3326 4027 4224 3325 55 13413 4497 13420 13421 14392 14393 14390 14388 14396 14395 10723 10257 13418 13415 11191 13417 2677 9547 9549 2678 9548 9543 2854 2681 2682 2683 2684 2685 2673 9544 9545 3370 9882 9370 9374 9373 9372 9371 2859 9369 9368 13638 2687 2686 10064 3372 10062 13642 13641 9883 3371 9551 9550 13634 2852 2851 2850 9546 13639 3369 2853 13636 13646 2855 2856 2857 9365 9366 9367 2672 2680 2674 9377 9379 9378 3189 2858 10065 9380 3190 2679 2675 2676 9552 9375 10063 9376 13732 13729 13737 11071 4378 4377 11070 13730 13727 4379 13725 13733 11072 10609 10608 3915 14297 14309 14299 14302 14305 14301 12776 12634 5941 14304 6083 543 1606 12631 6081 8296 1603 7236 12774 8299 5938 544 8298 7237 1605 7235 545 1604 542 8297 7238 12775 6082 12633 5940 5942 12635 12773 12636 6080 5943 12630 5937 12772 5939 12632 6079 12629 5936 9356 9537 9358 2848 2840 2208 9359 2843 9089 9879 8748 2849 3185 2845 2398 9880 9535 9881 9878 8749 2844 9090 9091 2396 2847 9355 13542 2664 9536 2670 2671 13532 13530 3186 2055 2056 2395 9541 2207 2841 2663 2846 13535 9533 2662 13534 9542 9538 2667 9539 2668 3188 2669 3187 2397 9534 13538 9088 9357 13537 2665 2666 8900 8901 9361 9360 2842 9362 9363 9364 9540 7111 13625 13623 13626 417 8638 9011 7808 1411 8105 1114 7807 1412 1945 8104 1115 9425 2733 3070 3067 7806 1410 8103 7051 359 7877 1447 373 8138 1183 8141 7066 8142 7064 7063 370 8730 371 8139 7875 1408 1112 13400 10890 13402 13408 9514 13412 13404 7876 1449 1182 1445 13405 1446 2037 8140 8728 2035 2654 13407 1184 1448 9347 2651 9040 2819 7874 8137 9039 9346 9512 8732 9348 10717 10239 10889 10242 10243 10001 10002 8134 7872 9344 9038 2346 3547 9345 10716 4025 10241 2653 4195 8731 402 14900 14895 14903 14907 14897 7095 14902 14899 7094 401 8533 8759 13451 3 6696 13446 13443 13444 6697 13441 4 13447 13439 1503 1506 2412 2411 2227 8198 8195 2410 8918 8917 8914 9099 8154 1461 1464 2406 8157 2219 8909 1463 8906 8156 2213 1460 2405 2404 8905 8153 2215 8910 2637 9330 9333 9751 2640 3301 9994 3058 2639 9997 3304 9331 3060 9753 9332 2638 3494 2201 3493 3487 2641 2537 10182 9754 3307 2642 3063 9757 9229 9998 9755 3065 9999 10188 3295 3491 3490 9746 10183 8893 3056 784 9748 11163 786 10713 3298 7479 4470 9987 9990 7477 8401 1708 2200 4020 10184 3054 3488 11052 4123 4358 10817 4361 4125 4553 4552 4551 11055 10819 11245 11244 10180 12014 11821 11928 5013 11555 11824 11706 11552 5132 10181 4863 4859 10704 5321 3492 11165 3299 3302 5130 5011 11704 11929 5234 11822 4011 4012 4474 4472 4858 10705 11551 11167 3064 3062 3495 2536 3306 3061 3305 3300 3057 3303 3059 4856 4468 5129 4455 4681 5236 11549 11705 11823 11548 9996 9752 9995 11927 10706 11377 11148 5012 11374 11161 4855 4471 4013 11164 13399 13387 13389 13392 13395 10185 11825 12013 9992 9750 9993 10712 13394 11556 13391 11550 11379 10714 11151 4457 4022 4685 4684 12012 5320 5235 11378 4686 11150 5128 10715 4458 4857 11372 4021 5319 4019 4469 4014 11160 11162 4679 10707 5131 4862 4683 4467 11149 4456 4682 11547 11375 4854 11376 11166 4473 11373 4680 7132 439 1709 2199 1707 785 7478 13782 13779 13777 2403 9096 13785 13789 8902 7665 8750 13781 13784 8534 8535 2058 8752 971 2211 8751 1841 9095 2402 972 8536 1842 2059 970 7663 7664 1843 8904 2209 2057 2210 8903 13425 50 6742 8 14596 14598 6701 6702 14600 14601 7091 7090 6743 6744 51 397 14603 14604 49 14608 398 9 6735 6737 44 43 42 6736 14413 14409 14408 14401 14403 14405 14406 14652 14655 6752 14660 59 57 6750 14639 14647 14642 6753 14656 60 14653 14650 14648 58 14637 14640 14643 14635 6751 2247 8940 2427 14141 8758 2065 14153 14149 14146 9120 14143 976 8541 7671 8542 8756 977 2063 14148 14145 8540 9119 1847 1849 8942 2426 7670 2249 978 1848 7669 8757 2064 2248 8941 7096 403 14886 14894 14889 14882 7097 404 14890 14887 14884 14400 8237 8240 14114 8931 9111 8238 8241 9112 9388 2695 14845 8131 6986 14851 14855 14843 1177 1438 14848 7870 13620 13616 13613 6727 13610 13608 34 293 14847 8130 1437 14850 13615 13612 6726 33 13659 36 13655 13652 6729 13647 13649 14621 14609 14611 14614 52 14617 400 6745 7093 7092 399 14613 54 14616 6747 35 13651 6728 13654 14673 61 6754 14668 14665 6746 53 62 6755 14661 14663 14666 14669 6703 10 14938 14941 14946 6718 13556 13558 13561 13564 13568 25 14842 14834 14837 7108 415 11 14942 14939 14936 14934 6704 24 6717 13560 13563 14830 14832 416 14835 7109 14838 2425 1554 8248 2244 9390 14136 1555 1558 14128 2421 2422 2423 2424 2699 9391 14132 2698 14140 22 6716 13545 13547 13548 13571 13573 27 6721 26 13574 14130 9392 1557 2697 9117 8939 9115 8251 9116 2243 2240 9114 14133 6713 13529 20 13521 13524 6714 13525 13522 13519 13517 21 7085 13771 13764 6732 393 41 13772 13768 6733 13776 392 40 13766 13769 7086 39 6734 6730 13672 13667 13664 37 14431 13668 13665 38 6731 13662 13660 394 7089 14432 14429 45 6738 395 14434 14439 7088 46 6739 396 7087 14435 14427 13595 6725 13597 13600 13603 13607 32 975 7666 8538 8755 14094 14091 9108 8922 8150 13508 13516 1457 13511 2062 8539 1844 974 2060 8537 2061 2230 2414 1846 7667 14093 8921 2229 14101 14089 14097 2415 13599 13602 6724 31 14624 14627 6749 14634 14630 6719 6720 2 6695 13569 13576 13577 13438 13426 13428 13431 28 13434 13506 13504 13509 13512 1458 8151 973 2228 7668 1845 14096 9107 8923 8754 8753 56 14622 14626 14629 6748 1 6694 13430 13433 14908 14910 1201 14913 14916 14920 7894 14915 1200 7893 14912 6715 13551 13550 13543 23 13555 13581 0
204.19/204.25
204.19/204.25 c Core has size 14129
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-3495913-1307808391/watcher-3495913-1307808391 -o /tmp/evaluation-result-3495913-1307808391/solver-3495913-1307808391 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495913-1307808391.cnf
running on 2 cores: 5,7
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.01 3.81 3.06 4/189 17638
/proc/meminfo: memFree=30384864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=13400 CPUtime=0 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 918 0 0 0 0 0 0 0 25 0 1 0 892439886 13721600 664 33554432000 4194304 4365125 140735600082240 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 3350 664 255 42 0 498 0
[startup+0.0161731 s]
/proc/loadavg: 4.01 3.81 3.06 4/189 17638
/proc/meminfo: memFree=30384864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=13744 CPUtime=0.01 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 1066 0 0 0 1 0 0 0 25 0 1 0 892439886 14073856 709 33554432000 4194304 4365125 140735600082240 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 3436 710 262 42 0 584 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13744
[startup+0.101161 s]
/proc/loadavg: 4.01 3.81 3.06 4/189 17638
/proc/meminfo: memFree=30384864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=15016 CPUtime=0.09 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 1454 0 0 0 9 0 0 0 25 0 1 0 892439886 15376384 1015 33554432000 4194304 4365125 140735600082240 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 3754 1015 263 42 0 902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15016
[startup+0.301126 s]
/proc/loadavg: 4.01 3.81 3.06 4/189 17638
/proc/meminfo: memFree=30384864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=17344 CPUtime=0.29 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 3647 0 0 0 29 0 0 0 25 0 1 0 892439886 17760256 1391 33554432000 4194304 4365125 140735600082240 18446744073709551615 4242747 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 4336 1391 263 42 0 1484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17344
[startup+0.701053 s]
/proc/loadavg: 4.01 3.81 3.06 4/189 17638
/proc/meminfo: memFree=30384864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=34388 CPUtime=0.69 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 14855 0 0 0 68 1 0 0 25 0 1 0 892439886 35213312 4315 33554432000 4194304 4365125 140735600082240 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 8597 4315 263 42 0 5745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34388
[startup+1.50091 s]
/proc/loadavg: 4.01 3.81 3.06 5/190 17639
/proc/meminfo: memFree=30350768/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=90936 CPUtime=1.49 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 39840 0 0 0 146 3 0 0 25 0 1 0 892439886 93118464 14463 33554432000 4194304 4365125 140735600082240 18446744073709551615 4250342 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 22734 14463 263 42 0 19882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90936
[startup+3.10061 s]
/proc/loadavg: 4.01 3.81 3.06 5/190 17639
/proc/meminfo: memFree=30320264/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=231112 CPUtime=3.09 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 95741 0 0 0 300 9 0 0 25 0 1 0 892439886 236658688 37747 33554432000 4194304 4365125 140735600082240 18446744073709551615 4245194 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 57778 37747 263 42 0 54926 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231112
[startup+6.30102 s]
/proc/loadavg: 4.01 3.81 3.06 5/190 17639
/proc/meminfo: memFree=30288392/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=173848 CPUtime=6.29 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 122409 0 0 0 616 13 0 0 25 0 1 0 892439886 178020352 28911 33554432000 4194304 4365125 140735600082240 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 43462 28911 264 42 0 40610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 173848
[startup+12.7009 s]
/proc/loadavg: 4.01 3.82 3.07 5/190 17678
/proc/meminfo: memFree=30137004/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=173848 CPUtime=12.68 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 124285 0 0 0 1255 13 0 0 25 0 1 0 892439886 178020352 29979 33554432000 4194304 4365125 140735600082240 18446744073709551615 4262046 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 43462 29979 264 42 0 40610 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 173848
[startup+25.5005 s]
/proc/loadavg: 4.01 3.82 3.08 5/190 17678
/proc/meminfo: memFree=29761696/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232764 CPUtime=25.49 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 175998 0 0 0 2529 20 0 0 25 0 1 0 892439886 238350336 41175 33554432000 4194304 4365125 140735600082240 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58191 41175 264 42 0 55339 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 232764
[startup+51.1008 s]
/proc/loadavg: 4.00 3.84 3.11 5/190 17679
/proc/meminfo: memFree=29544524/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=210444 CPUtime=51.09 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 204816 0 0 0 5086 23 0 0 25 0 1 0 892439886 215494656 38526 33554432000 4194304 4365125 140735600082240 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 52611 38526 264 42 0 49759 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 210444
[startup+102.306 s]
/proc/loadavg: 4.00 3.86 3.15 5/190 17756
/proc/meminfo: memFree=30116200/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=220684 CPUtime=102.29 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 314472 0 0 0 10191 38 0 0 25 0 1 0 892439886 225980416 39811 33554432000 4194304 4365125 140735600082240 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 55171 39811 264 42 0 52319 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 220684
[startup+162.3 s]
/proc/loadavg: 4.00 3.88 3.20 5/190 17910
/proc/meminfo: memFree=29574452/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232824 CPUtime=162.29 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 485044 0 0 0 16165 64 0 0 25 0 1 0 892439886 238411776 44663 33554432000 4194304 4365125 140735600082240 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58206 44663 264 42 0 55354 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 232824
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 4.00 3.89 3.22 5/190 17910
/proc/meminfo: memFree=29624928/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=200572 CPUtime=179.09 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 487068 0 0 0 17844 65 0 0 25 0 1 0 892439886 205385728 40424 33554432000 4194304 4365125 140735600082240 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 50143 40424 264 42 0 47291 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 200572
[startup+191.901 s]
/proc/loadavg: 4.00 3.89 3.23 5/190 17910
/proc/meminfo: memFree=29644888/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=228728 CPUtime=191.89 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 596615 0 0 0 19109 80 0 0 25 0 1 0 892439886 234217472 44149 33554432000 4194304 4365125 140735600082240 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 57182 44149 264 42 0 54330 0
Current children cumulated CPU time (s) 191.89
Current children cumulated vsize (KiB) 228728
[startup+198.301 s]
/proc/loadavg: 4.00 3.89 3.23 5/190 17910
/proc/meminfo: memFree=29595528/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232824 CPUtime=198.29 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 602976 0 0 0 19748 81 0 0 25 0 1 0 892439886 238411776 44631 33554432000 4194304 4365125 140735600082240 18446744073709551615 4244626 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58206 44631 264 42 0 55354 0
Current children cumulated CPU time (s) 198.29
Current children cumulated vsize (KiB) 232824
[startup+201.5 s]
/proc/loadavg: 4.00 3.90 3.24 5/190 17911
/proc/meminfo: memFree=29606580/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232824 CPUtime=201.49 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 602976 0 0 0 20068 81 0 0 25 0 1 0 892439886 238411776 44631 33554432000 4194304 4365125 140735600082240 18446744073709551615 4267729 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58206 44631 264 42 0 55354 0
Current children cumulated CPU time (s) 201.49
Current children cumulated vsize (KiB) 232824
[startup+203.101 s]
/proc/loadavg: 4.00 3.90 3.24 5/190 17911
/proc/meminfo: memFree=29572480/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232824 CPUtime=203.09 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 602976 0 0 0 20228 81 0 0 25 0 1 0 892439886 238411776 44631 33554432000 4194304 4365125 140735600082240 18446744073709551615 4259112 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58206 44631 264 42 0 55354 0
Current children cumulated CPU time (s) 203.09
Current children cumulated vsize (KiB) 232824
[startup+203.901 s]
/proc/loadavg: 4.00 3.90 3.24 5/190 17911
/proc/meminfo: memFree=29617864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232824 CPUtime=203.89 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 602976 0 0 0 20308 81 0 0 25 0 1 0 892439886 238411776 44631 33554432000 4194304 4365125 140735600082240 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58206 44631 264 42 0 55354 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 232824
[startup+204.101 s]
/proc/loadavg: 4.00 3.90 3.24 5/190 17911
/proc/meminfo: memFree=29617864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232824 CPUtime=204.09 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 602976 0 0 0 20328 81 0 0 25 0 1 0 892439886 238411776 44631 33554432000 4194304 4365125 140735600082240 18446744073709551615 4249796 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58206 44631 264 42 0 55354 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 232824
[startup+204.201 s]
/proc/loadavg: 4.00 3.90 3.24 5/190 17911
/proc/meminfo: memFree=29617864/32951124 swapFree=67056684/67111528
[pid=17638] ppid=17636 vsize=232824 CPUtime=204.19 cores=5,7
/proc/17638/stat : 17638 (MoUsSaka) R 17636 17638 13546 0 -1 4202496 602976 0 0 0 20338 81 0 0 25 0 1 0 892439886 238411776 44631 33554432000 4194304 4365125 140735600082240 18446744073709551615 4317006 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17638/statm: 58206 44631 264 42 0 55354 0
Current children cumulated CPU time (s) 204.19
Current children cumulated vsize (KiB) 232824
Child status: 20
Real time (s): 204.265
CPU time (s): 204.265
CPU user time (s): 203.442
CPU system time (s): 0.822874
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 372544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.442
system time used= 0.822874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602981
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= 6
involuntary context switches= 277
runsolver used 0.304953 second user time and 0.811876 second system time
The end
Begin job on node109 at 2011-06-11 18:06:31
IDJOB=3495913
IDBENCH=89308
IDSOLVER=1989
FILE ID=node109/3495913-1307808391
RUNJOBID= node109-1307807601-16676
PBS_JOBID= 13551065
Free space on /tmp= 74016 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/equivalence-checking/c5315-s.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495913-1307808391/watcher-3495913-1307808391 -o /tmp/evaluation-result-3495913-1307808391/solver-3495913-1307808391 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495913-1307808391.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= ddae618cf8e2717a05f55280bfa6b287
RANDOM SEED=696559283
node109.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.809
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.61
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.809
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 : 5332.75
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.809
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.74
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.809
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.809
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.809
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.809
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.809
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30385408 kB
Buffers: 310936 kB
Cached: 1143520 kB
SwapCached: 8608 kB
Active: 1505912 kB
Inactive: 824596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30385408 kB
SwapTotal: 67111528 kB
SwapFree: 67056684 kB
Dirty: 764 kB
Writeback: 376 kB
AnonPages: 873292 kB
Mapped: 13756 kB
Slab: 167488 kB
PageTables: 7244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1253188 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= 73832 MiB
End job on node109 at 2011-06-11 18:09:56