0.00/0.00 c MoUsSaka with meat
1.59/1.64
1.59/1.64 s UNSATISFIABLE
177.79/177.82 c Core is minimal
177.79/177.82
177.79/177.82 v 45 17 10 147 161 182 11 132 133 42 41 33 155 971 940 941 939 912 938 910 908 731 733 732 734 905 906 907 156 699 701 178 736 127 129 649 34 9 650 35 126 663 28 32 29 1082 1083 659 662 661 660 13 131 180 44 128 130 40 43 987 965 983 970 1012 1009 948 165 168 157 148 637 953 162 952 726 901 954 145 134 951 153 727 648 936 728 640 641 697 176 645 642 639 693 949 144 167 956 638 174 149 164 151 955 613 152 692 691 614 170 698 694 904 644 696 937 695 903 979 1006 1007 737 911 738 700 1129 1128 1126 1125 1127 1084 960 735 975 1730 1010 1003 995 981 998 992 968 977 963 967 980 961 991 962 966 972 985 988 984 994 976 997 989 1004 973 958 942 909 1776 1773 1782 1778 1774 1775 1777 1781 1779 1780 1784 1772 1771 1783 1544 1727 1061 1062 1064 1763 1541 1542 1728 1506 1013 2698 2699 2697 2701 2700 1794 2707 2706 2705 2703 2702 3490 2696 2695 2694 3493 3492 3489 3491 2726 2722 2721 2723 2724 2719 2720 2708 2709 3494 3501 1838 1832 1835 1826 1823 3495 3496 1540 1539 2718 2717 3508 3503 3504 3507 3506 3505 3502 1829 2713 2710 2711 2712 3497 1816 1820 2716 3498 2714 2715 1818 1844 3499 3500 1801 1792 1791 2725 1790 1841 1799 1843 1804 3485 1808 1812 1789 1729 1543 1761 1760 1762 1796 1060 1059 1814 1840 1759 1822 1831 1825 1834 1828 1837 1797 1798 1815 1819 1802 1504 1806 1810 1757 1758 1052 1058 1045 1044 1043 1056 1048 1053 1039 1046 1037 1036 1034 1047 1057 1050 1033 1038 1040 1054 1041 1042 1051 1055 1035 1756 1755 1502 1501 1500 1503 1765 1049 1785 1788 1786 1787 630 628 623 625 634 631 619 620 629 636 618 622 626 615 621 616 633 635 617 624 627 632 878 950 943 729 31 27 934 957 935 730 946 947 30 945 39 38 902 944 3447 3445 3446 1538 1536 1537 1725 1726 1724 1722 1723 1546 1508 1505 1535 1534 1696 3513 3484 3512 3511 3449 3517 3522 3518 3254 3516 3523 3521 3255 3448 1793 1732 1721 1764 3217 3444 3250 3253 3251 3252 3443 3442 3215 3214 3213 3212 3441 2727 3216 2730 3450 3480 3482 3256 3257 3481 3483 3219 3452 3451 1532 1533 3211 3478 3479 3477 3218 3476 3439 3440 3210 3209 3475 3437 3438 3416 2859 3208 3206 3207 1509 1719 1720 9970 9972 9969 9968 9961 9964 9966 9965 9962 9967 9963 3474 4446 4444 4443 4441 4442 3249 9054 9058 9069 9078 9050 9036 9040 9045 9072 1545 1507 1731 9084 10969 10972 10970 10971 10967 10965 10968 10966 7142 3247 3248 2704 13029 13028 13034 13033 13026 13027 12724 13045 13042 13043 13038 13039 9960 9953 9944 9943 9956 9941 9949 10998 9954 9958 9942 9952 9959 9951 9946 9945 9950 9947 9957 9955 9948 10999 11022 11036 11042 9062 9940 9081 9066 9075 9971 11026 11018 11014 11009 11000 11004 11033 15153 15144 15113 15115 15114 15112 15123 14801 15127 13067 13061 11054 11039 11030 13066 13072 13060 15129 15128 15125 15124 15131 13057 13961 13958 15082 15079 15080 15078 15077 15074 15076 15075 15073 15072 13955 13952 13954 13951 13950 13953 15071 15065 15064 15066 15070 15067 15063 15068 15069 13058 15093 15098 15100 15094 15102 15103 15107 15104 15096 15099 15095 15106 15109 15101 15097 15108 15105 15092 17239 17240 17241 17242 17245 17244 17243 13050 15150 14759 15090 15091 15159 15147 15156 14758 15162 15165 15086 13079 13076 13064 14764 13960 13931 13930 13936 13935 13932 13941 13945 13939 13947 13946 13937 13943 13940 13949 13948 15051 13962 15118 15122 14797 14798 14799 14796 15117 14763 15152 15158 15146 15135 14800 15049 15143 14802 15149 15050 13929 13934 13938 13942 13933 13944 13063 15155 15161 15046 15045 15110 13069 15061 15062 15058 15057 15059 15060 15083 13957 13965 15044 14761 13956 15048 13959 12964 15081 13055 13051 13073 15084 13025 15047 14762 14760 13070 15111 17246 14794 14795 15043 15120 17258 17197 17261 19511 19510 19512 19515 19514 19513 15141 17275 17259 17274 17276 17300 17291 17299 17270 17290 16939 17278 17305 17306 17309 17303 17308 17302 15137 15136 19571 17198 17226 17224 17225 17228 17227 16035 16016 16044 16034 16045 16018 16040 16033 16022 16021 16039 16032 16024 16029 16027 16017 16028 16042 16019 16023 16038 16031 16036 16020 16026 16037 16043 16041 16047 16025 16030 16048 16940 16902 17229 17230 17223 17222 17220 17221 17219 16046 17218 17254 17253 17237 17256 17255 17257 16015 17174 17172 17169 17171 17170 17168 17173 17185 17181 17182 17184 17183 16547 17247 17248 17249 17200 17164 17250 17252 17238 17233 17251 17267 17293 17294 19573 17265 17272 17297 17262 17296 23846 23834 23831 23840 26122 26118 26119 26121 26120 26123 21660 21666 21654 9937 9092 8034 11056 11901 19494 20339 16012 15167 13926 13081 29060 24700 13927 7189 6193 18160 22519 26880 20340 31239 29058 11902 31238 17314 18159 24699 23854 16013 8035 30394 26879 9938 26034 31240 21674 28214 22520 30332 30317 30327 30320 30329 30330 30325 30322 30319 30321 30326 30323 30333 30324 30331 30334 30328 30335 30336 28167 28184 28162 26878 28212 30337 30392 30313 28188 19480 17312 19471 19479 19458 19119 19442 19464 18189 18191 18194 18192 18190 17284 18178 18179 18180 18181 18187 18188 18182 18184 18185 18183 18186 18177 18174 18173 18175 18176 18169 18168 18167 18166 18164 18165 18163 18170 18172 18171 18193 18162 19474 19486 19430 19429 19422 19424 19420 19433 19423 19421 19419 19436 19427 19428 19426 19425 19435 19432 19434 19431 24698 19449 4412 6192 5347 19477 24729 24725 24726 24728 24732 24723 24731 24727 24730 24724 24734 19444 19463 19462 19483 19468 21599 21607 21609 21604 21602 21597 21608 21611 21612 21598 21605 21600 21601 21613 21610 21603 21606 21615 21614 21616 21617 19452 19492 21593 19456 19447 19489 19438 19437 19413 17288 19454 19439 19450 13925 26026 25659 25998 26025 26032 21651 21619 23939 23940 23941 23943 21620 23942 23938 30318 29059 19445 19470 19440 21761 21760 21759 19473 19377 19476 20363 20366 20365 20364 20368 20367 20369 20370 20372 20374 20371 21578 21577 21572 21575 21590 21589 21585 21587 21591 21558 21581 21583 21584 21582 21580 21579 21586 21588 21570 21571 21576 21573 21574 19441 19485 21524 21295 21294 21297 21296 21751 21756 21755 21754 21758 21753 21757 21650 21762 21763 21555 21551 21554 21553 21552 21549 21550 20358 20359 20361 20360 20357 20354 20355 20356 21300 21556 20362 20352 20351 20353 21543 21546 21544 21545 21547 21548 20349 20350 20348 20346 20347 21542 21541 20373 21540 21539 21538 21568 21569 21566 21567 21293 21292 21298 21262 21536 21537 21534 21535 21533 21532 20375 20907 21302 19482 20345 20344 20343 20342 21261 21257 21260 21256 21259 21258 21249 21254 21252 21251 21253 21250 21255 21286 21284 21285 21283 21288 21290 21291 21287 21289 21280 21282 21281 21276 21279 21277 21278 21299 21638 21274 21275 21248 21247 21245 21246 21244 21131 23934 23935 23936 23937 23880 23881 21622 21632 23802 24722 24718 24719 24720 24721 24715 24717 21636 21618 21659 21627 21665 21653 23833 23845 23830 23800 21621 21634 21625 21663 23816 23812 23801 21630 21557 23737 23479 23818 22548 22545 22549 22550 22547 22546 22543 22544 22551 22552 22554 22537 22538 22539 22540 22542 22541 21657 22529 22535 22536 22530 22533 22531 22527 22534 22532 22528 23852 23807 26908 26914 26906 26905 26902 26899 26897 25992 25996 26023 28139 26004 25974 25973 28157 25978 24707 28150 24711 25962 24706 28140 28146 28149 28144 28154 28136 25987 28137 26029 28142 24702 24712 24703 25961 25976 25970 28143 25964 24708 24714 28155 28152 26017 24713 28151 24733 28156 28145 28138 25972 24710 28148 28153 26008 21629 20378 26896 26895 17260 23798 26901 26907 26898 26900 26903 26904 26893 26891 26894 26892 26909 26911 26910 26912 21560 21264 17231 17191 17195 17193 17194 16899 17189 16901 17190 17192 17196 16051 16900 16934 16938 16935 16937 16936 21644 21648 22523 22524 22553 22525 22526 22522 23797 23839 23810 26113 26117 26116 26114 26111 23736 21656 21662 26055 23478 23766 23764 23765 23771 23767 23770 23769 23768 23738 23704 23740 23480 23442 28133 25982 25975 25966 25965 24704 24709 24705 24716 25969 25960 25967 25971 25963 28147 28141 26115 25968 25959 23735 23734 23733 23732 23724 23723 23731 23729 23730 23727 23725 23728 23726 17269 17282 17264 17283 19404 19405 19407 19406 19344 19082 18195 19408 19410 19409 19411 19378 19120 17186 17188 17187 21559 23721 23722 21669 22518 23720 23799 23773 23472 23475 23477 23473 23474 23476 22555 23814 23843 23087 23714 23715 23716 23719 23718 23710 23713 23717 23712 23711 23482 21672 23791 23792 23794 23795 23796 23793 20338 23780 23779 23470 23471 23437 23438 23439 23440 23441 23434 23436 23435 23466 23465 23468 23467 23469 23763 23762 23760 23759 23761 23444 23758 23756 23757 23749 23755 23754 23750 23753 23751 23748 23752 23747 23746 22558 23741 23739 23429 23431 23430 23433 23432 23428 23311 23077 23427 23445 23851 23745 23744 23809 23824 23828 23849 25953 23837 23826 11900 23788 23790 23786 23789 23781 23782 23787 23783 23785 23784 23778 23777 23842 19081 19079 19080 19076 19078 19077 23463 23464 23462 23456 23459 23454 23455 23457 23453 23452 23458 23460 23461 25615 25616 25614 25617 25621 25619 25618 24738 25620 24735 25613 25257 25612 25611 25267 25602 25607 25608 25604 25603 25491 25609 25610 25606 25605 25598 25601 25595 25599 25600 25654 25652 25653 25655 25977 25958 25957 25915 25656 25657 25916 25649 25647 25645 25651 25650 25648 25646 25658 25918 25951 25950 25660 25643 25644 25638 25641 25642 25640 25639 25907 25906 25905 25911 25912 25914 25910 25913 25908 25909 25944 25945 25949 25943 25902 25946 25948 25947 25903 25901 25904 21561 21564 21565 16011 26877 26036 26035 26876 26875 26874 18158 16898 16897 17180 28211 25884 25662 25661 25920 19418 19417 19075 19074 19403 19400 19402 19399 19398 19073 19072 19071 19374 19376 19373 19375 19122 19118 19114 19112 19372 19110 19369 19111 19117 19115 19113 19370 19371 19116 19109 19108 19367 19368 19107 19106 19105 21265 16942 18198 21266 17178 17179 17177 17176 17175 18717 19352 19350 19351 19349 19348 20897 17165 19365 19363 19364 19362 19070 18727 19361 19366 19358 19359 19360 19356 19355 19357 19104 19103 19354 19345 19353 19067 19069 18951 19068 19066 19102 19100 19101 19064 19099 19098 19063 19065 21243 21242 21235 21241 4411 2692 3566 17199 16933 16932 16930 16931 16929 16928 16927 17212 17210 17211 17213 17217 17216 17214 17215 14793 14792 14791 14790 14789 16926 16925 17209 17206 17208 17207 16924 16923 16920 16922 16921 15042 19380 15040 15041 20908 14787 14788 14786 14785 14784 14781 14782 14780 14779 14777 14772 14773 14778 14776 14775 14774 14783 19381 16050 13964 16896 19397 19394 19392 19396 19393 19395 19390 19391 17201 16894 16893 16895 16890 16892 16891 16905 16537 16889 19388 19386 19389 19385 19384 19387 16904 19084 19085 19121 17205 17204 19379 16771 16888 16887 28129 28130 28128 28125 28123 28126 28127 28124 28131 28122 18952 28111 28110 28112 28113 28120 28114 28119 28116 28121 28117 28118 28115 1846 2691 19401 13024 13013 13008 13009 13017 13010 13018 11045 13023 13021 11051 13012 13019 13022 13020 13006 11048 13015 13014 13016 13011 13007 13005 13003 13004 13000 1063 1032 1770 1769 4440 4439 5292 5297 5315 5293 5026 4435 4437 4436 4438 3243 3244 3246 3245 3530 7107 7135 7145 7136 7072 3526 5295 5294 5263 5264 5342 5224 5228 5225 5226 5227 5231 5313 5303 7140 7141 3532 3531 3528 3527 5298 5319 5300 5302 5305 5304 3510 5230 3514 7144 7134 6859 2792 2746 2744 2857 2838 2839 2745 5223 5291 5265 5261 5260 5262 5309 5233 9048 9010 8975 9039 2743 2733 2736 2731 5229 3524 7106 6860 3519 6822 6858 3560 3542 3543 3561 7100 7101 7104 7105 7102 7103 5259 3534 3554 5258 3552 3551 4987 4986 4988 4985 4984 4983 3555 3509 5257 5197 5222 4982 4981 5025 5024 5023 5022 4450 4447 5027 5256 5255 5220 5221 5219 5218 4989 3546 3545 3558 3557 3536 3540 3535 3539 3564 3549 3548 4420 4417 4415 4424 4418 4419 4416 4425 4421 4423 4422 5253 5252 5234 4431 4432 4433 5254 5251 4429 4427 4430 4434 4426 4445 4428 4414 3242 3220 4634 5216 5217 4962 4970 4968 4969 5245 5249 5238 5241 5250 5243 5247 5237 5246 5248 5242 5244 5240 5239 4630 4978 4980 5214 5215 4974 4967 4976 4971 4975 4858 4977 4973 4972 4859 4966 5213 4979 5272 5273 5278 5284 5286 5281 5289 5283 5282 5276 5277 5280 5287 5279 5275 5274 5288 5285 6234 6232 6237 6244 4451 2856 2855 5021 5020 5019 5018 5017 5016 5015 2858 2840 5321 5317 6857 5333 5014 4559 4558 4513 5029 4991 4992 5028 4514 4556 4557 4555 5299 5308 5324 7099 5312 5311 5327 5339 7098 5336 7097 5330 5270 5271 4990 5232 5266 5290 5209 5208 5207 4965 5201 5205 5206 5203 5202 5211 5204 5210 5212 5198 7070 7068 7069 7071 7067 6855 6856 5341 6824 7073 6823 7139 5316 5335 5320 5332 5338 5329 4465 4608 4609 4610 5323 5326 7090 7095 7096 7089 7092 7094 7091 7093 5307 6862 5378 3597 5436 4464 4512 7066 6854 6853 6852 7039 7065 4463 4466 4453 4456 5345 7116 7114 7120 7121 7126 7129 7128 5344 7086 7088 7085 7087 7113 7124 7130 7125 7108 7131 7122 7123 7127 7119 7118 7115 7112 7082 7083 7081 7084 7076 7079 4606 4561 4605 4607 4628 7064 7062 7063 7061 7060 6851 6850 6848 6849 10973 10940 10906 7075 7057 7056 7058 7059 6467 7080 7074 7155 10975 10962 10961 10963 10960 10964 7154 7153 10954 10959 10958 10952 10953 10951 10950 10948 10949 10956 10955 10957 10943 3641 5422 5379 3598 5423 3642 5476 5519 3695 3738 5520 3739 3655 3836 3837 3838 5619 5618 5617 5715 5716 3933 3935 3934 5714 4323 5910 5909 6103 6104 4321 4322 5908 6102 10947 10946 10942 5561 8033 6861 3779 3780 5524 5811 6005 4031 6007 4030 5813 5812 4032 6847 7132 7117 9043 9009 8974 9007 9006 9005 9008 9004 9042 9038 9044 8754 8753 9049 10987 10990 9090 10992 9087 10984 10989 10985 10983 10995 10994 10997 10979 10982 10996 10980 10991 10981 10993 10986 10988 9936 7187 7186 8973 8970 8971 8972 8968 9047 8969 8066 8067 8069 8756 9053 9052 8065 8064 8752 10936 7161 10935 10937 10934 10932 10933 8715 6006 4224 4226 4128 4127 4129 4225 9003 8978 8976 7137 7146 8716 7133 8070 8714 8711 8712 8713 8710 8073 8749 8751 8747 8746 8750 8748 8718 7157 7162 7158 7159 7163 7165 7166 7180 7168 7181 7169 7175 7174 7183 7184 7147 7149 7150 7151 9030 9033 9029 9034 9032 9031 8942 7178 7172 9022 9023 7177 9018 9021 7171 9017 9024 9027 9019 9025 9028 9020 9026 8709 8708 8063 8062 9002 9001 9000 8996 8998 8999 8997 8967 8060 8058 8059 8061 8966 8965 8744 8745 8047 8042 8045 8041 8046 8048 8044 8055 8050 8043 8052 8040 8051 8054 8057 8049 8053 8056 8992 8988 8986 8991 8990 8984 8989 8995 8987 8994 8985 8993 8743 8742 8741 9015 9016 9035 10709 8707 10938 9014 10711 9083 9056 9077 9057 9080 9060 9068 9086 9065 9074 9061 10929 10928 10927 10925 10924 10921 10920 10913 10914 10917 10912 10916 10316 10911 8979 10706 10704 10705 17400 17399 17398 10668 10667 10708 11001 11011 10707 10702 11016 8963 8964 8983 8982 9011 8719 8586 1030 1005 1011 1008 1014 10671 8977 8755 9973 8960 8959 8961 8361 8962 10930 9071 10931 10666 10665 10670 10669 10703 10701 11017 10922 10919 10926 8283 6441 6442 8135 8284 9037 10907 10910 10918 10915 10923 11028 11020 11021 11013 11012 10939 13108 13107 13109 11047 13168 13110 11184 9124 9168 11281 11282 9221 9265 9220 9317 9318 9267 11231 9306 21899 21900 21802 21801 21750 21706 21803 21847 21888 17394 9122 9123 15251 15252 9558 9557 9654 9655 11572 11573 11621 11669 11670 17397 17395 17396 11574 24029 24080 24071 24078 23982 24031 23886 23930 24079 24081 24068 23983 23981 23944 24026 24027 11379 11378 17391 17393 9415 9366 9460 9461 9364 9363 9511 9414 9463 9512 11280 11283 9502 11273 11330 9750 9752 9849 19584 19671 17441 19708 19570 19621 19526 11522 11521 15244 21705 21703 21704 15247 15246 11380 11476 11475 21700 21702 21701 11563 15250 15249 15248 11520 11229 11185 11228 11326 11233 11270 9405 11369 11368 11328 11327 11474 11469 11466 11424 11477 11425 11524 11427 11372 11132 11423 11131 11088 11183 11377 11619 11716 11715 11767 11718 11813 11812 11766 17404 11617 21697 21696 21699 21698 11714 11811 11663 11668 11671 11566 11571 9403 29617 29972 29977 29980 29974 30016 30018 30012 30013 29973 30004 30010 29098 30003 30014 30366 30022 29965 30264 30244 29968 29969 29627 29970 29978 30276 29069 28186 29063 29975 29976 15053 15017 9848 9793 9751 15195 15194 15193 11660 15054 11757 11756 11863 11864 9890 11815 11854 11853 11768 11760 11765 15188 15189 15186 15185 15183 15191 15184 15187 15190 15192 11002 11003 11008 11007 10974 11053 12989 12968 12987 12988 12986 11006 12997 12998 11044 12965 12723 12687 12994 12993 12996 12995 12991 12992 12990 12931 12967 12974 12985 12971 12972 12984 12973 12977 12978 12980 12982 12975 12976 12983 12981 12979 11029 11025 11024 11032 11041 11035 11038 12686 26060 26161 26163 26207 26066 26110 26403 26402 26444 26305 26248 26347 26306 26401 26304 26206 26109 26638 26453 26454 11050 26692 26063 26065 26064 26062 29062 28161 29979 29971 29982 11933 11932 11934 11936 11931 11929 11930 12722 12685 24177 26443 24176 24128 24320 26124 26211 24319 26346 24361 24458 24318 24611 24652 24609 24555 24417 24415 24514 24512 24416 24610 22375 22374 24513 22430 13031 13032 12725 12961 12960 12962 12959 20292 12963 12958 12957 12956 20250 21987 19807 24126 24125 24167 22084 24264 22181 22278 26345 26160 26442 24457 24360 24554 24166 24263 22472 22471 26498 26595 26499 26500 26597 26596 26541 26735 26694 26693 26637 26540 18071 18070 18112 20291 19806 26734 13037 13041 13036 12720 12721 12718 12719 12717 30391 28183 22334 22333 30259 30017 30275 28187 29981 12684 12683 12682 12681 12955 12679 12680 12715 12716 26061 20251 12954 22431 12953 13049 12952 12324 12678 28166 29064 29093 29094 29086 29077 29083 29074 30274 30349 30272 29967 30020 30273 30007 30006 30263 30270 30005 30000 12714 12713 30260 30245 29960 30262 29095 29080 29088 29082 29090 29071 29092 29065 29851 29076 29068 30269 29079 29996 29072 29073 29066 29084 29089 29087 29085 29091 30266 29997 30271 30258 29081 30008 29984 30011 29985 30015 29958 29993 29078 29075 29070 29995 29994 29962 29998 30261 30256 30002 30265 29959 30001 29999 29961 29852 30267 29964 30255 29955 29986 30483 30477 30476 12712 12727 15052 30482 30478 30481 30480 30479 12332 12950 12951 28169 29067 30268 30257 29963 29966 30009 18111 24651 28231 28233 28237 28230 28238 28236 28239 28817 28240 28818 28235 28873 28925 28232 28679 28720 28721 28923 28234 28777 28776 28914 28874 28926 28918 28915 28680 28302 28295 28291 28969 28299 28298 29011 28682 28872 28303 28678 29022 28301 28300 28538 28342 28244 28537 28585 28439 28526 28386 28245 28536 28441 28241 28438 28633 28389 28632 28731 28970 28304 28440 28635 28297 28971 29012 28293 28387 28290 28289 28583 28582 28246 28484 28624 28243 28431 28634 28428 28627 28530 28488 28527 28485 28242 28581 28486 28535 28294 28391 28730 26790 26832 28296 26791 26789 26831 28341 28623 28775 28343 30710 30762 30807 30763 30665 30812 30717 30707 30815 30666 30706 30813 14756 14757 14755 14804 14753 14754 14752 14766 14400 15038 15039 14409 12966 12689 15035 15036 15037 14767 15034 12688 14765 12948 12949 14746 14748 14747 14751 14750 14749 12944 12942 12941 12946 12945 12943 12947 13166 13167 7221 7265 7362 7318 7220 7361 7264 7460 7461 7945 7946 7655 7557 7654 7558 7848 7849 7751 7752 11086 11085 11087 9792 9404 13158 12940 12932 12935 12939 12938 12936 12937 11562 9599 9889 14633 14745 14634 14742 14737 14741 14743 14744 14740 11618 8704 8705 8706 9696 11659 11465 10710 8703 9264 9305 9362 9653 9167 9459 9556 7111 13165 13105 13103 13102 13104 13101 13100 13106 13099 13098 13097 13160 13161 9847 13164 13162 13163 7045 7044 7043 7040 7046 7052 7050 7051 7053 7048 7055 7049 7047 7054 11146 9219 9121 6048 4265 4267 6047 6340 27447 9120 7403 9269 9182 7987 7317 7415 7414 7366 7406 7416 7413 7608 7512 7511 7599 7706 7705 7890 7609 7463 9598 9501 7889 7657 7793 7610 7510 7513 7502 7696 7560 7607 10700 10699 12003 12049 12002 12100 12099 12098 12202 12200 12150 12151 12251 12252 12253 12149 12201 12302 12304 10673 10672 10664 10663 10662 10661 10309 9976 10307 10941 12303 12313 12307 12321 12320 12317 12315 12311 12318 12319 12322 12316 12309 12308 12312 12314 12310 12048 9695 3879 7501 5660 3877 5659 6825 5560 6046 5658 6246 6339 6460 7364 11954 11955 6294 11865 11862 10085 10039 10084 10136 10134 11956 9992 10038 10187 10135 10186 10289 10236 10238 10185 10287 7219 7218 10237 12101 12050 12306 11943 11953 11946 11941 2505 525 2504 526 2506 1877 2601 577 580 1921 2019 2117 363 2018 364 2409 2408 2215 2310 2214 2311 309 183 1878 1975 1922 2255 418 469 2213 2254 2118 310 470 2059 2603 1935 2060 3743 273 2023 254 2116 272 2602 472 382 253 200 417 2256 383 471 2312 2407 2159 329 2158 328 2157 3878 2545 545 544 2546 2547 4266 490 2448 491 2450 2449 6191 9991 9990 9977 9989 9982 9979 12203 12152 12323 12254 12305 9319 9316 7276 7277 11145 11143 11144 8353 11755 9791 9178 9181 9179 9180 10288 7847 7750 7278 7653 7944 7459 7556 9118 9119 7215 7216 7217 9413 9416 9408 12047 12045 12046 9176 9177 9108 9114 9116 9109 9117 9113 9111 9115 9110 9112 7273 7274 7275 12297 12296 12299 12295 12301 12300 12255 12298 12256 12257 9172 9175 9171 9173 9174 9169 7269 7271 7270 7272 7266 7268 7650 7642 7648 7649 7615 7652 7646 7613 7614 7612 7651 7647 7611 7643 7640 7645 7644 7602 7316 8355 8089 6337 6247 6293 6245 6338 6336 2690 4410 4409 4408 4407 4406 3568 3567 8348 8351 8347 8343 8350 8342 8341 8349 8344 8340 8352 8346 8339 8338 8345 12004 8337 8299 8248 8197 2686 2687 2689 2688 1847 1848 9309 10037 4508 4509 4510 8702 8700 8698 8701 8699 8696 8697 11269 6292 8689 8693 8694 8695 7402 7597 7500 11367 8953 8954 8956 8958 8957 8955 8087 8088 8692 8585 8943 8952 8946 8947 8949 8950 8951 8948 8717 7888 10698 10696 10697 8234 6290 6291 6289 8183 8285 8354 8336 8079 8074 8076 8086 6458 6355 6455 6453 6459 6446 6447 6454 6457 6456 6444 6406 6449 6448 6452 6450 6445 6451 7985 7791 7694 11889 11870 11066 11867 11876 11885 11058 11060 11883 11879 11875 11891 11866 11067 11892 11898 11897 11899 11877 11881 11059 11057 11880 11878 11874 11886 11873 11871 11872 11896 11893 11062 11894 11071 11070 11069 11064 11061 10674 12325 12331 12330 12326 12328 12329 2352 2351 436 2353 437 1876 416 1875 599 2642 2643 2644 598 11065 11068 11882 11895 12327 11869 11888 11890 11884 11868 12262 12286 12293 12281 12263 12282 12279 12283 12272 12258 12278 12287 12273 12274 12290 12294 12260 12292 12280 12285 12267 12277 12291 12276 12266 12275 12261 12265 12259 12284 12289 12288 12264 12250 12249 12248 12204 9934 9935 9093 8030 7190 7191 8031 8029 8032 523 524 435 181 381 489 362 271 327 252 2653 2674 2665 2411 2555 2169 1933 2070 2680 2459 2267 2508 2667 2679 1934 2073 2363 2170 2361 2556 2685 2669 2362 2265 2652 2021 2677 2364 2660 2071 2662 2668 2666 2676 2557 2672 2605 2072 2654 2264 2675 2670 2659 2683 2458 2167 2673 2461 2682 1974 2661 2663 2558 2678 2681 2120 2314 2684 2168 2657 251 2656 2266 597 2217 2460 543 2664 308 2671 2655 6187 6189 6190 6188 12230 12231 12207 12247 12229 12244 12232 12215 12243 12216 12246 12225 12223 12234 12221 12211 12233 12226 12206 12210 12239 12238 12228 12245 12242 12237 12240 12236 12222 12241 12235 12213 12205 12214 12227 12209 12212 12224 12208 5349 5348 11887 11063 24124 23929 23931 19667 19623 19578 21946 21945 21996 21997 21948 21891 21901 21849 21898 30761 30664 21944 21749 21846 30522 30620 30618 30484 30804 30803 30611 30470 30426 30621 30619 30571 30523 30521 30716 22140 22139 19516 20001 19904 19577 19576 19574 19575 17401 17402 17403 22237 22236 20098 19903 20000 24223 24222 19766 24221 23980 19765 19960 22180 22043 22042 30469 30566 19959 20097 21764 20195 21851 22041 21986 22235 17626 17627 17528 17491 22332 22138 23933 20057 17917 17918 22277 17877 20056 17876 17346 17390 22083 20194 22179 24165 15965 15964 13837 13838 13879 13878 19579 20154 18014 18015 20153 17973 17974 22429 13782 13740 13741 15770 15771 13684 13685 19580 19582 19581 19583 13643 13644 19522 19523 19524 19525 19517 19518 19519 19521 19520 20055 20249 19861 15294 19764 19863 19862 17723 17724 15257 15479 17585 15480 17586 13295 13394 13254 13171 13157 13113 13208 13258 13393 13210 13170 13169 18069 17683 15577 17682 15576 13353 13352 13112 13111 15256 15255 15254 24262 13491 17345 17344 17343 15673 13490 13587 13588 15536 15535 15632 15633 13209 13546 13547 13450 13449 29015 29020 29023 28217 28215 29039 29052 29042 29032 29036 28219 29041 29054 28216 29053 28226 28229 29033 28223 29037 29048 29028 28225 29035 28218 29034 29044 29047 29043 29045 29031 29046 28222 28224 28220 29030 29038 29056 29049 29029 29050 29055 29051 28221 29026 28227 29057 29025 29040 29027 28228 29024 26539 30668 30567 30814 30718 30715 30608 30569 30765 31224 31207 31209 30405 30408 31234 30397 31212 31192 31191 31215 31149 31153 31201 31203 31009 30956 30424 30998 31223 30402 31227 30399 31221 31204 30860 30858 30904 30909 30862 30859 30912 30901 31232 31205 31006 31001 30959 31007 30910 30911 30997 31008 31230 30403 31228 31220 30900 30425 31233 30407 31216 30423 31208 30957 31222 31229 31236 30396 31095 31218 31106 31103 31214 30409 31195 31151 31202 30398 30395 30404 31219 31052 31056 31206 31225 30406 31210 31098 30401 31235 31226 30400 31217 30955 31231 31054 31104 31053 31213 31237 31150 31211 31200 31094 31105 30419 30422 30420 30418 30421 22037 22001 22028 22031 22038 22036 22035 22032 22034 22033 21999 22000 22002 22003 22030 22039 22040 22017 22006 22004 22016 22019 22008 22018 22020 22007 22005 22029 22024 22023 22022 22026 22025 22027 22021 19622 15438 15439 26059 26056 13156 26058 26057 13545 27801 27799 27797 27800 27798 27796 26247 3974 3976 7598 5756 5757 15197 15198 15631 15196 27794 13598 13597 26918 27795 26915 17339 17337 17338 17340 17341 17342 17336 13781 17335 15340 15296 13351 13253 15867 15868 13642 17389 23883 23882 15534 23885 23884 13448 17442 13836 13739 11084 11142 11141 15199 15243 15729 15730 15586 15587 15923 15924 11083 11464 27788 27792 27787 27671 27793 27786 27790 27791 27785 27789 9500 27437 15877 15878 15781 15780 15974 15975 15827 15826 15732 15242 18728 15344 15381 15674 15829 17584 17681 21695 19569 17779 17780 17443 17487 17821 17820 22009 19958 15437 15538 20152 19666 21692 21691 21693 21690 21694 15392 17875 17972 17778 15490 15489 15393 15684 15683 17486 15342 15728 15295 15339 15441 15491 15483 15488 15391 15384 15394 15635 15588 15585 15922 15825 15682 15685 15677 15879 15871 15876 15774 15779 15926 15782 26830 11140 11082 17637 19720 19719 19669 19718 17636 26301 26293 26299 26297 26294 26303 26300 26298 26302 26296 26295 17588 17540 17539 17541 17538 17489 26733 19711 26264 26262 26201 26200 26199 26205 26197 26099 26101 26108 26164 26067 26198 26195 26203 26204 26196 26202 26166 26069 26102 26098 26107 26104 26100 26105 26103 26106 26636 26392 26390 26398 26397 26395 26393 26396 26400 26394 26399 26391 26485 26458 26488 26497 26492 26491 26496 26494 26487 26495 26490 26489 26493 26732 26728 26724 26723 26730 26725 26726 26729 26727 26722 26731 26584 26591 26679 26594 26586 26588 26593 26582 26590 26592 26589 26585 26587 26689 26688 26687 26691 26681 26684 26686 26682 26683 26690 26685 26265 26266 26263 26168 26071 26068 26652 26651 26654 26650 26653 26165 26167 26749 26555 26070 26779 26785 26780 26787 26783 26781 26778 26784 26786 26776 26788 26782 26360 26361 26363 26359 26291 26362 26388 26096 26193 26751 26747 26748 26750 26554 26553 26556 26557 26457 26460 26456 26459 26634 26633 26631 26625 26821 26627 26629 26626 26822 26628 26630 26825 26635 26824 26819 26823 26820 26632 26828 26829 26826 26827 20924 20953 20954 17332 17330 17333 17331 17334 14027 14074 13294 14380 14378 14327 14329 14026 14328 14123 14176 14175 14174 14226 14276 14124 14225 14125 14277 14227 14278 15380 11658 13966 13968 13980 13978 13979 13971 15168 16009 16010 13444 13445 13438 13440 13435 13406 13407 13441 13410 13408 13409 13447 13442 13437 13446 13439 13443 15968 15976 15973 16312 16363 16210 16261 16061 16063 16065 16066 16064 16535 16062 16262 14070 16465 14073 16515 16517 16311 16211 16362 16260 16364 16209 16313 16413 16415 16414 16114 16160 16067 16113 14072 14071 16466 16464 14273 18204 18201 18213 18613 18358 18357 18408 18407 18663 18713 18409 18715 18356 18261 18307 18461 18308 18716 18563 18359 18665 18614 18512 18211 18212 18199 18410 14229 14274 18662 14275 18260 18214 18460 18510 18509 18561 18612 18562 18664 18611 18511 18560 18714 18459 18458 15293 26153 26149 26152 26151 26159 26154 26155 26239 26246 26334 26441 26434 26435 26344 26440 26438 26432 26340 26241 26436 26437 26431 26150 26237 26245 26536 26535 26529 26343 26336 26342 26338 26337 26242 26157 26243 26532 26531 26236 26240 26341 26339 26335 26433 26537 26533 26156 26158 26534 26528 26538 26530 26439 26244 26238 24650 17531 13981 11852 15580 16112 18259 5951 5854 11561 11182 13207 23192 23278 23161 23156 23224 25268 27784 27782 27783 27672 20441 20589 20741 20894 20639 20740 20640 20689 20742 20690 20394 20691 20439 20588 20536 20842 20587 20792 20843 20638 20487 20537 20895 20793 20538 20440 20791 20381 20392 20393 20379 20391 20384 20844 20893 11576 11607 11650 11609 11652 11579 11612 11606 11655 11657 11608 11611 11575 11578 11647 11613 11615 11649 11577 11653 11656 11654 11610 11648 11651 11614 11616 23309 23308 23306 20952 20945 20951 20949 20943 20950 20948 20947 20946 20944 23103 23089 23108 23122 23121 23088 12146 12199 12197 12102 12147 12153 12148 12198 18726 18725 18724 18719 12128 12134 12191 12124 12142 12108 12133 12130 18723 18720 18718 12163 12176 12196 12181 12121 12122 18722 18721 12162 12173 12158 12177 12185 12154 12190 12144 12105 12112 12145 12187 12160 12157 12175 12179 12180 12186 12125 12165 12178 12141 12114 12110 12132 12106 12137 12119 12138 12156 12195 12159 12170 12171 12174 12193 12172 12192 12182 12164 12155 12103 12143 12135 12131 12188 12111 12107 12129 12113 12120 12139 12140 12126 12194 12184 12189 12183 4071 5853 4073 4170 5950 4168 6144 4364 4362 6145 23104 14024 14025 14023 23123 11847 11851 11773 11845 11807 11850 11771 11772 11769 11808 11848 14171 14173 14172 14326 14120 14325 14122 14222 14076 14127 14324 14121 14280 14224 14223 14178 14287 14286 14284 14285 14288 14289 14290 15991 15982 15987 15985 15989 15180 15979 15176 15181 15174 15169 15178 15172 15177 15175 15179 14310 14304 14283 14292 14297 14291 14301 14302 14303 14308 14321 15993 16006 16007 15977 16004 15978 15980 15981 15990 16005 15992 16002 15986 15994 15998 16003 16000 15995 15997 16001 14281 14316 14307 14319 14313 14312 14317 14305 14306 14315 14311 14309 14314 14282 14323 15171 15173 15170 15182 14320 14299 14322 14318 14300 14298 15996 15984 16008 15999 15988 15983 14078 14103 14111 14094 14096 14110 14106 14107 14113 14114 14108 14102 14101 14105 14097 14115 14118 14112 14119 14116 14100 14099 14117 14109 14098 14095 14104 14077 14166 14168 14162 14165 14158 14146 14149 14145 14167 14160 14148 14157 14151 14159 14153 14152 14164 14154 14161 14147 14163 14150 14169 14155 14170 14156 14197 14210 14220 14207 14214 14201 14205 14212 14206 14213 14218 14216 14209 14199 14221 14200 14215 14204 14211 14179 14202 14180 14217 14208 14219 14203 14196 14198 14128 14129 11849 11810 11842 11846 11843 11804 11809 11770 11803 11802 11841 11801 11806 11805 11844 11800 11709 11746 11713 11751 11754 11744 11752 11708 11745 11707 11710 11704 11749 11748 11747 11712 11672 26717 11750 11674 11703 11706 11711 11673 11676 11705 11675 11753 23216 23271 23242 23246 23274 23273 23154 26386 26577 26574 23245 23244 23275 26092 23167 23183 23212 23196 23194 23217 23225 23223 26382 23158 26477 26387 26383 26288 26290 26284 26381 23188 23189 23131 23160 23159 23128 23130 23127 23126 23157 26680 25476 26583 26461 26486 25389 11517 11515 11560 11512 11550 11555 11509 11559 11513 11514 11557 11519 11481 11480 11556 11511 11321 11365 11360 11358 11325 11359 11384 11383 11381 11385 11410 11188 11227 11265 11263 11225 11222 11266 11260 11262 11456 11220 11458 11482 11316 11318 11361 11324 11357 11288 11320 11319 11362 11356 11366 11323 11315 11364 11317 11322 11284 11286 11287 11363 11460 11453 11454 11418 11415 11422 11459 11412 11463 11462 11416 11420 11461 11413 11417 11554 11553 11510 11558 11552 11551 11516 11518 11218 11258 11186 11219 11221 11223 11189 11267 11226 11261 11259 11190 11217 11264 11268 11224 11455 11414 11457 11421 11419 11382 11285 11187 14377 14376 14375 14133 14132 14144 14138 14130 14131 14134 14135 14139 14189 14190 14136 14137 14187 14188 14185 14181 14186 14184 14183 14195 14182 14087 14082 14079 14083 14080 14093 14081 14085 14084 14086 14088 14350 14359 14354 14364 14370 14352 14353 14358 14365 14372 14369 14371 14355 14363 14367 14374 14368 14348 14357 14351 14361 14360 14366 14373 14356 14362 3596 4627 4626 11701 11798 11215 11313 11604 11507 25269 25283 23106 25362 26657 23107 26671 13992 14018 23280 23277 14046 25478 23307 23272 23251 23137 23213 23215 23191 26752 26754 26753 23282 26623 26818 26330 23243 23132 23253 23248 25288 25302 23301 26774 26772 26770 26775 26771 26773 25361 14000 26286 26285 26270 26287 14047 14065 14011 13991 14054 23241 14045 14051 13995 14001 13990 14055 14058 26463 23135 26478 26483 26480 14004 14013 14012 26620 23214 14048 26672 26578 26674 26673 14007 14067 14344 14347 14042 14006 14049 14010 14020 14295 14294 23185 23195 25419 23220 23162 14015 25420 14059 13997 13989 14002 14022 26192 26172 26191 26188 26187 14061 14066 14050 26093 26484 26479 26464 26482 26481 14057 14068 26678 26676 26675 26677 26575 26580 26581 26561 26579 26576 25333 23134 23133 26189 23249 23166 23190 26559 23254 23252 23270 23304 23303 23300 23250 23164 23163 23279 25449 25448 23222 23221 23193 26095 26186 26091 23136 26755 26769 23218 23247 23276 23305 26365 26768 26268 25331 23186 23187 23184 25447 25418 26655 26656 26185 26088 26558 14064 14056 14053 14003 14008 14021 14019 13993 13996 14296 23129 26075 26090 14345 14016 13998 14052 13999 14063 13994 14062 14009 14069 26094 26089 26560 25360 23124 14014 14043 14017 26380 26269 26283 23219 26171 26074 26389 26364 26170 26194 26073 25301 26169 26097 26072 26267 14005 14293 26233 26219 26234 26231 26331 26328 26332 26329 26814 26230 26235 26624 26619 26147 26511 26525 25477 26526 26524 26523 26426 26425 26427 26428 26430 26414 26317 26716 26718 26720 26817 26143 26144 26146 26148 26333 14397 14393 14398 14394 14379 14396 14395 14384 14385 14386 14388 14390 14391 14383 14392 14382 14387 14389 14339 14349 14342 14341 14331 14335 16516 14340 14336 14343 14337 14333 14332 14338 14334 12127 12123 12136 12104 12109 12161 8282 8182 6440 8181 8335 8333 8136 8233 8231 8232 6391 6390 6389 8180 8179 8178 5433 5755 3975 5432 5431 5374 5373 5375 5434 5435 5376 5377 8137 8332 8330 8331 5366 5428 5367 5363 5369 5370 5426 5364 5424 5368 5372 5429 5430 5427 5371 5365 8329 8328 6385 6359 6369 6346 6374 6382 6348 8334 6384 6371 6352 6381 6370 6388 6386 6375 6380 6342 6349 6383 6363 6365 6353 6351 6345 6367 6360 6372 6344 6362 6368 6387 6377 6376 6347 6378 6350 6343 8287 6361 3654 8286 6379 6364 6373 6354 6366 13986 11091 11127 11181 11173 11123 11128 11171 11124 11177 11120 11479 11125 11093 11174 11178 11179 11122 11126 11090 11175 13987 13988 13983 11172 13982 11176 11089 13985 11478 11129 11118 11130 13984 11180 11121 11092 26621 26719 26608 26705 26815 26816 26721 26813 26132 26190 26232 23310 23165 25332 23302 26145 23155 23138 25391 26527 25282 26366 26289 23125 26367 26522 26777 26462 26292 26429 26622 26384 26802 26385 26658 23105 25390 20906 20900 20899 20903 20904 20905 20901 20902 20898 14193 14235 14140 14191 14092 14255 14257 14238 14261 14089 14246 14247 14262 14230 14243 14249 14242 14250 14090 14241 14259 14253 14270 14091 14236 14245 14233 14239 14271 14263 14267 14264 14143 14232 14265 14248 14194 14142 14251 14231 14256 14192 14244 14269 14258 14240 14234 14260 14266 14252 14254 14141 6143 4363 12271 12269 12166 12115 12217 12268 5852 5949 12169 12167 4169 4072 12270 14346 12168 8230 8228 8229 8184 8215 8312 8221 8314 8186 8300 8198 8305 8311 8210 8319 8317 8189 8313 8323 8318 8326 8324 8209 8207 8226 8204 8302 8194 8214 8212 8208 8191 8307 8227 8315 8192 8222 8223 8195 8199 8211 8327 8303 8216 8196 8320 8219 8201 8310 8203 8325 8321 8187 8190 8193 8202 8218 8217 8205 8225 8220 8322 8309 8206 8188 8224 8308 8306 8213 8200 8316 8290 8185 8296 8293 8292 8295 8298 8304 8288 8289 8301 8294 8291 8297 14060 14272 14268 12118 12116 12117 14237 6461 6341 6392 6443 2837 2790 2788 2835 2789 2836 2791 4560 4404 3576 3575 4278 4394 4228 3792 4386 4374 3580 4084 4276 4388 4325 3840 4405 4377 4390 3890 3937 4400 3595 3653 3581 3574 4373 4131 4376 4389 4375 3888 4391 4082 4372 3793 4275 4180 3577 3569 4395 4398 4385 3790 4378 3887 4393 4179 3570 4383 4387 4379 4380 4403 4083 4401 3572 3579 4402 4277 4397 4399 3741 4381 3791 4081 3694 4034 4392 3984 3573 3986 4181 3889 4382 4178 3987 3571 3578 4384 3985 4396 7900 7899 7699 7707 7801 7704 7754 7851 7796 7804 7802 7803 15253 7997 7996 10086 7898 7901 7948 8005 7198 8004 7197 6393 8025 10290 8002 8008 7201 10308 8009 8013 7199 6437 8007 7194 10239 7200 8014 8016 8006 8001 7995 8022 8010 7195 10188 7998 8026 8015 10137 8018 8019 8020 6438 8021 8012 7203 7999 7193 6439 7990 8003 7202 8023 7192 7204 8000 8028 8024 8017 7196 8027 8011 24067 13392 13780 19620 19707 17440 7986 7792 7695 9597 13792 13791 20335 20336 20337 20334 19496 19495 11136 11133 11138 11137 11135 11139 26745 26744 28924 26455 26551 26549 26550 26502 26447 26452 26405 26356 26350 26357 26355 26308 26358 26259 26261 26260 26209 26162 26251 26258 26648 26646 26552 26647 26599 26649 26696 24468 24467 24419 24372 24371 24170 24178 24225 24275 24267 24272 24274 24273 24175 24369 24364 19999 22095 22092 22087 21998 21990 21995 22093 22094 22045 20193 24370 24322 22190 22191 22287 22288 22189 22184 22142 22385 22373 24469 24563 24662 24566 24660 24564 24613 24516 24655 24661 24565 24558 24466 26053 26054 26050 26052 26051 22482 22481 28829 28876 28821 29021 28828 28973 28826 28732 28724 28729 28779 28827 17831 17830 20205 20204 22378 22383 22433 22386 22384 22192 22336 15866 15672 7210 7206 7209 7212 7211 7205 7213 7207 7208 7214 20096 19805 19902 20290 22239 17635 17638 17732 17685 17734 17735 17733 17782 20156 22286 22289 22281 24461 22475 22483 22480 22515 22516 22517 22514 22499 22489 22487 22493 22497 22484 22513 22492 22507 22491 22501 22512 22494 22510 22495 22508 22488 22498 22509 22511 22503 22505 22504 22490 22496 22506 22502 22485 22500 21675 21676 21677 21689 21681 21684 21687 21688 22486 21685 21682 21679 21678 21680 21686 21683 26641 13489 13877 13683 13586 24663 26738 26743 24359 13500 13501 21887 24456 22082 24553 19914 19913 20010 20011 19721 19816 19768 19817 19815 19865 19818 19912 19915 19962 26841 26842 13922 13921 13924 13923 13695 13694 9888 13646 13599 17527 9694 13306 9705 13307 13499 13596 13502 13549 13308 13696 13743 13256 13452 13305 13405 13355 13404 13402 13403 9706 13693 9657 11076 11081 11079 11074 11077 11073 11075 11072 11080 11078 13082 13083 26544 26746 26793 26835 26840 26843 20106 20012 20059 20009 20109 20107 20108 24082 24119 24114 24122 24084 24085 24113 24086 24117 24116 24083 24120 24115 24121 24118 24123 24511 24509 24504 24310 24503 24404 24471 24280 24411 24309 24315 24278 24506 24508 24501 24313 24473 24317 24276 24375 24507 24502 24408 24279 24374 24470 24474 24410 24414 24277 24307 24312 24413 24376 24505 24405 24377 24373 24472 24407 24406 24409 24510 24314 24316 24311 24308 24412 24155 24157 24164 24161 24163 24158 24160 24162 24154 24156 24159 24357 24549 24548 24544 24546 24455 24547 24356 24349 24446 24355 24351 24348 24453 24350 24358 24449 24353 24545 24450 24448 24451 24452 24551 24552 24352 24354 24542 24543 24447 24445 24454 24550 24111 24596 24608 24570 24025 23984 24603 23888 23987 24017 24020 23920 24022 23916 24499 24604 24016 24015 24599 24606 24605 24600 23924 24211 24182 23988 23921 23986 23928 23925 24602 24598 24179 24402 24607 24024 24213 24215 24220 24214 24208 24212 24216 24013 23985 23919 23890 23889 24568 24567 24210 24218 23918 24601 24021 24023 23923 23922 23927 23926 24019 24217 24181 24219 24018 24305 23891 24571 24180 24569 24183 23887 24641 24064 24065 24252 24643 24644 24256 24062 24251 24257 24056 24059 24057 24642 24259 24063 24061 24066 24060 24647 24649 24639 24255 24253 24254 24640 24261 24260 24258 24058 24646 24645 24648 22470 22276 16758 14542 16699 14600 16549 14428 14455 16563 16728 14459 14478 16757 14507 16642 14488 14515 14512 16641 16729 14486 14513 14514 16671 14572 14601 16582 16568 14456 16670 14457 18013 14484 14426 14447 14454 17868 17765 17772 17769 17865 17867 16548 17872 17833 17834 17737 17837 17738 17861 17764 17858 17763 17762 17857 17860 17840 17838 17743 17742 17741 17839 17761 17856 17859 17760 14543 16700 14571 17819 17768 17777 17866 17770 17862 17870 17869 17774 17739 17836 17736 17835 17871 17873 17874 17775 17767 17773 17864 18306 23975 23976 23978 23972 23973 23974 23979 23971 23977 23969 23970 26872 26048 26047 26846 26863 26852 26043 26046 26849 26042 26860 26859 26853 26049 26855 26844 26866 26037 26845 26038 26040 26851 26861 26871 26850 26854 26868 26041 26848 26039 26862 26044 26045 26869 26870 26856 26867 26847 26865 26858 26864 26873 26857 24683 24692 24675 23856 24676 23861 24670 24677 24691 24682 24688 23857 24672 23867 23868 23865 24695 24674 23864 24669 24679 24687 23863 24697 24667 24690 24673 24684 23860 24671 24680 24686 23855 24694 24665 24689 24696 24678 23866 23869 24685 23859 24693 24666 23858 24668 23862 24681 15575 15769 15963 15478 17916 24664 21985 14028 20301 20302 19947 19954 19948 19956 19955 19953 19952 19957 19950 19917 19916 19951 19949 19920 19919 19918 12001 20253 20203 20206 19945 16593 16585 16592 16594 16566 16564 16622 16595 16597 18744 18729 18743 18748 18762 6412 6398 6407 6399 6395 6416 6421 6411 6434 6397 6400 6436 6425 6415 6419 6423 6408 6432 6422 6426 6428 6414 6418 6403 6409 6420 6405 6430 6435 6410 6433 6429 6427 6396 6394 6402 6424 6413 6431 6417 6401 6404 18774 18773 20942 20928 18761 20909 18746 18742 20923 20926 20941 20326 19501 19507 19500 20310 20306 19508 20311 19505 20325 20309 20316 19506 19498 19504 20304 20321 20313 19497 20319 20331 20328 20318 20312 20303 20324 19502 20320 20322 20333 20314 20323 19503 20315 20330 20332 20307 20329 20305 20317 19509 20327 20300 20308 19499 20145 20146 20112 20114 20141 20143 20148 20113 20147 20110 20139 20150 20111 20151 20144 20149 20142 19856 19851 19822 19860 19850 19859 19858 19820 19819 19848 19857 19823 19821 19854 19853 19855 19852 19628 19626 19724 20016 20015 20210 20017 20211 19725 20209 19726 19627 20245 20049 20047 20042 20053 19655 19656 19662 19663 19653 19658 19665 19657 19664 19660 19661 19659 20207 20246 20240 20044 20052 20242 20050 20054 20046 20241 20238 20051 20236 20244 20048 20248 20243 20239 20247 19760 19761 19763 19762 19759 19559 19560 19563 19527 19556 19562 19564 19558 19566 19561 19568 19565 19567 20013 19722 20045 19528 20014 19723 19530 19529 19625 20208 19531 19624 19754 19758 19755 19753 19757 19751 19756 12218 12220 12219 13790 13793 19993 19704 20289 20283 20094 19997 20091 19803 20190 20286 20185 20184 20086 20089 19612 19610 19894 19697 19617 19990 19995 19804 19703 19618 19799 20282 19705 20191 19616 19795 20182 19897 19696 19619 19702 19988 19899 19800 19797 20189 19615 19893 19609 19613 20287 19798 19891 19796 19896 19998 20085 19994 19901 19802 19699 20285 20092 19700 20281 20188 19614 20087 20186 20095 20192 19801 20183 19794 19996 19989 19991 19701 19898 20187 20288 20280 20088 19900 19706 20284 19892 20093 20090 19611 20279 19698 19895 19992 17758 17841 17855 17744 17582 18054 17565 18051 17570 17466 17567 17480 17961 18053 17469 17566 17372 17374 17479 17388 17481 17370 17369 17452 17959 17967 17583 17382 17477 18064 18066 18060 17383 17580 17969 17476 17467 17371 17475 17381 17575 17963 17581 18062 17473 18061 17380 17573 18056 17577 17379 17485 17579 17576 17571 17483 17550 17471 17574 17578 17470 17376 17378 17482 17966 17386 18058 18049 17468 18035 17478 18055 17564 17569 18050 17385 18063 17375 17384 17964 17965 18052 18059 17355 17373 17472 17568 17970 18065 17962 17387 17484 18067 3594 17351 18031 17933 17353 17639 17854 17352 18033 18048 17349 17563 17549 17930 17544 17546 18030 17347 17934 17679 18029 17444 17674 17542 17446 17677 17641 17673 17350 17643 17678 16669 17448 17547 17354 18034 17465 17668 17451 17447 17368 17675 17680 16756 18027 17543 18028 17671 17932 17931 17672 17445 17545 17450 17548 17757 17449 18032 18057 17642 17348 19555 19552 19535 19550 19551 19553 19549 19557 19548 19532 19534 19554 19533 17776 17640 17676 18068 17740 17670 17971 17968 14483 17759 17771 21013 21012 21010 21005 21042 21039 21015 21034 21068 21069 21063 21044 21071 21070 21041 21040 21097 18775 18772 21092 18765 21099 21100 20957 21011 20984 20982 20983 20986 20976 20981 20955 20975 20977 20978 21128 21127 21102 21121 21073 21098 21126 21003 21007 21008 21006 21009 20985 20987 21037 20927 20980 20974 20956 20925 21016 21032 21014 20979 20958 21093 21091 21094 21065 21064 21095 21074 21090 21072 21038 21062 23268 23269 23297 23298 21059 21060 21000 18830 18796 18833 18825 18806 20972 20973 18803 18802 18777 18801 18804 18831 18832 21002 21001 20971 18860 21030 21031 18861 18862 18835 18864 21058 18889 18890 21029 18859 18854 20922 21004 21117 21118 18948 18947 18919 18922 18920 21089 21088 18918 21036 21033 21035 18883 18888 21043 21061 21129 23239 23240 21045 21066 21096 21116 21067 23211 23210 21125 21123 21130 21124 21120 21122 23182 23181 23152 23153 16263 16365 16212 16161 16314 16416 16536 16518 16467 18917 18912 18893 18891 21087 18949 18941 18946 18950 21119 21101 21103 18794 18852 18881 18763 18863 18800 18834 18770 18766 18857 18776 18886 18829 18915 18778 18823 18807 18940 18944 18856 18853 18943 18942 18894 18910 18892 18855 18795 18798 18797 18827 18824 18826 18745 18916 18828 18771 18882 18764 18887 18747 18805 18799 18767 18769 18768 18913 18836 18911 18858 18884 18885 18914 18945 18865 24401 24398 24399 24396 24397 24395 24400 24381 24380 24390 24389 24391 24588 24392 24589 24575 24386 24388 24384 24403 24382 24383 24387 24385 24394 24393 24293 24292 24288 24295 24184 23996 24004 23998 24001 24287 23995 24087 24088 24112 24093 24003 24498 23900 24202 23894 23914 24286 24294 24296 24290 24597 24572 24500 24011 24573 24476 24475 24297 24491 23892 24306 24190 23893 24378 24379 23993 23989 24281 24282 24188 24014 24101 24103 24099 24105 24002 24005 23997 24289 24284 23999 24000 24189 24285 23897 24209 23990 24092 23994 24291 23917 24185 24206 24304 24492 24283 24090 24096 24100 24095 24104 24097 24106 24091 24110 24094 24109 24496 24108 24195 23910 24591 23901 24200 23895 24593 24594 24590 23902 23907 24007 23909 23992 24201 23904 24299 24302 24301 24300 24477 24298 24303 24592 23905 24009 24574 24595 23991 24008 24199 23912 24193 24186 24187 24107 24192 24204 23896 24102 24098 23906 24089 24207 24012 24197 24196 24198 23913 24191 23899 23898 24194 24494 24010 23903 24478 23915 23911 24497 24495 24205 24006 24203 23908 24493 17625 22320 22323 22321 22330 22322 22328 22326 22329 22315 22314 22313 22316 22327 22318 22317 22331 22324 22298 22312 22319 22325 21713 21828 22217 22216 21929 22220 22413 22414 21834 22412 21712 21932 21730 21729 22395 21835 22229 21933 22231 21733 21940 22427 22225 21845 21741 22425 22419 21943 22422 22228 21910 21927 21928 21810 21728 21926 22409 21825 22218 21734 22411 21925 21811 21812 22415 21826 21737 22219 21809 21829 21924 21827 21930 21832 21830 21715 22215 21831 21732 21714 22201 21735 21731 22410 22221 22418 22227 21836 21804 21808 21938 21939 21746 21739 21839 21936 21738 21736 21841 22421 21941 22426 21709 22226 21844 21838 21710 21748 21744 21742 21747 22233 22230 21937 22424 22232 21807 22420 22428 21711 22416 21837 21931 21806 21743 22423 22222 21934 21745 21707 21840 21843 22224 21935 22234 21942 21842 21833 21740 22392 22391 22198 22197 22223 21923 22294 21906 21909 21907 21905 22295 21908 21902 22130 22100 22125 22120 22132 22104 22123 22118 22127 22297 22131 22137 22128 22133 22098 22134 21904 22199 22200 22129 22117 22124 22101 22195 22135 22122 22119 22311 22214 22389 22103 22292 22136 22394 22393 22408 22126 22102 22121 22296 21800 23151 12051 12095 12097 12096 12043 12093 12052 12044 12094 23209 23180 23102 23238 23296 23267 18110 12000 11999 11998 22194 22196 22290 22291 21708 21805 22193 21903 22388 22387 22099 22096 22293 22390 22417 16159 17722 12022 12074 12080 12088 12077 12057 12092 12032 12023 12020 12040 12085 12024 12069 12018 12035 12038 12060 12062 12034 12070 12075 12079 12042 12056 12036 12058 12089 12082 12078 12030 12031 12076 12039 12090 12037 12071 12091 12083 12087 12081 12072 12055 12084 12086 12063 12068 12041 12025 12028 12073 12059 12026 12061 12054 12021 12029 12033 12027 12053 24484 24486 24580 24585 24482 24485 24581 24584 24578 24479 24481 24489 24583 24488 24577 24576 24579 24587 24480 24490 24586 24483 24582 24487 13888 13887 13840 13890 13889 13091 13084 13907 13920 13916 13909 13896 13893 13910 13908 13918 13915 13913 13095 13905 13903 13914 13902 13087 13911 13090 13085 13899 13086 13088 13912 13904 13092 13919 13898 13093 13917 13895 13897 13892 13094 13096 13906 13901 13891 13089 13894 13900 18005 18009 18006 18002 18008 18011 18007 18012 18003 18010 18004 17429 17716 17713 17712 17721 17438 17430 17433 17526 17521 17522 17523 17520 17518 17525 17720 17719 17908 17436 17437 17432 17439 17435 17718 18099 18101 18104 17907 17915 17909 17524 17517 17519 17516 17434 17431 17914 17715 17618 17624 17619 17617 17621 17615 17913 17911 18109 18105 18103 18102 18106 18100 18108 18107 17711 17717 17714 17817 17912 17811 17808 17814 17810 17815 17816 17818 17809 17905 17813 17906 17812 17910 22368 22369 22362 22365 22372 22363 22370 22366 22364 22367 22274 22262 22259 22356 22350 22267 22260 22358 22359 22272 22275 22269 22273 22268 22355 22266 22361 22353 22354 22348 22351 22265 22360 22345 22264 22352 22271 22261 22263 22270 22357 22175 22173 22172 22178 22174 22167 22166 22165 22162 22164 22163 22170 22168 22169 22176 22177 22171 22467 22462 22468 22465 22459 22466 22463 22460 22461 22464 22469 22455 22456 22458 22454 22457 22453 22068 22066 21972 22070 22067 22065 21791 21970 21968 21973 21783 21784 21786 21788 21785 21787 22069 22078 22079 22076 22074 22071 22075 22080 22081 22073 22077 22072 21971 21792 21789 21797 21796 21795 21799 21798 21794 21793 21790 21983 21981 21982 21977 21980 21979 21978 21974 21984 21976 21975 21969 21871 21884 21878 21885 21881 21875 21882 21883 21874 21880 21873 21872 21876 21886 21877 21870 21879 21912 21911 21921 21919 21920 21922 21824 21779 21725 21717 21781 21727 21823 21778 21775 21724 22307 22251 22257 21964 21965 21966 21963 21962 21967 22309 22300 22308 22310 21821 21813 22063 22064 22057 22061 22059 21726 21780 21782 21716 21822 22158 22161 22114 22159 22106 22116 22156 22154 22113 22157 22210 22212 22256 22202 22211 22299 22213 22258 22253 21960 22115 22160 22105 22062 22060 21814 21777 22254 22203 21862 21868 21866 21869 21867 21864 21865 22445 22397 22405 22451 22452 22404 22406 22448 22447 22407 22449 22396 17622 17620 17614 17623 17616 21772 22371 22255 22450 22097 16613 16612 14630 14631 14629 14623 14628 14604 14602 14632 14573 14570 14565 14599 14594 14575 14546 14544 14541 14536 4359 4312 4360 4358 4352 4319 4351 4314 4311 4361 4356 4315 4357 4354 4353 4318 4316 14517 17766 17610 17613 17612 17609 17611 17608 17513 17424 17428 17499 17510 17423 17511 17512 17425 17427 17426 17515 17412 18098 18095 18093 18094 18096 18097 18082 17998 17997 17999 17996 17985 18000 18001 17901 17904 17900 17903 17899 17888 17902 17804 17710 17806 17694 17802 17705 17805 17706 17803 17707 17708 17807 17709 17791 7279 5474 8132 8131 8133 8134 4158 4087 4257 4026 4217 4123 4122 4089 4183 4184 4066 4027 4064 4214 4068 4121 4281 4262 4222 4069 4162 4028 4159 3992 4223 4022 4220 4161 4185 4186 4063 4025 3988 4255 4260 4259 4019 4023 4088 4021 4065 4117 4166 4283 4124 4163 4216 4029 4221 4254 4263 4258 4167 4120 4182 4060 4264 4213 4024 4219 4165 4116 4282 4261 4160 4256 4125 4085 4126 4164 4157 3990 3637 14452 17662 3965 3633 3727 17377 3795 3631 3932 3875 3966 14450 17660 3697 17952 3970 3870 3922 3599 16698 17953 14453 3775 14567 3876 3682 14480 3652 14429 14510 3968 14597 3920 14598 3869 3690 14564 3696 3770 17935 3638 14509 3771 3794 3632 3732 14508 3692 3602 17572 14625 17958 3603 3729 3873 14511 17666 17938 3832 3833 3892 3600 3971 14516 3895 3925 3635 3929 17669 3928 17960 17956 3601 14622 14458 14449 5437 14506 3825 3867 3689 3768 16640 14595 14505 3734 3931 3927 3874 3893 14518 14627 14563 17663 14626 3894 14569 3691 14624 14574 3963 3685 14593 16727 17863 6357 14446 3826 17936 17661 14427 17646 14566 3969 16562 6358 14540 3731 3736 17647 14545 17957 3923 3891 3831 3868 3827 14489 14451 3835 3700 17667 16581 3698 3769 14477 3776 3735 14479 14537 3871 3636 3829 3866 17474 3634 14539 3834 14596 14445 14592 3640 3778 3733 17951 14476 17937 3630 3628 3772 3693 3828 3639 3967 17645 14482 17644 3774 6356 14535 3681 14481 3830 14460 3730 3926 17955 3924 17664 14568 16611 14487 14534 17954 17665 14576 3688 14538 3728 14547 14448 3930 14485 3972 9218 12064 11982 12067 11989 11975 11986 11988 12017 11983 11985 12065 11987 11979 11974 11990 11980 11993 11994 11996 11997 11995 11973 11992 11991 11977 11972 11984 11976 11981 18849 18850 18851 9588 9554 9549 9555 9545 9593 9594 9553 9547 9518 9546 9543 9551 9592 9548 9514 9517 9587 9590 9589 9586 9596 9552 9515 9591 9595 9550 9516 9684 9650 9687 9690 9652 9614 9644 9691 9693 9686 9689 9685 9648 9645 9688 9683 9647 9692 9649 9643 9651 9642 9646 9613 9612 9611 9781 9790 9748 9785 9783 9782 9749 9746 9743 9741 9739 9780 9784 9711 9747 9786 9742 9745 9740 9789 9744 9788 9787 9640 9615 9887 9843 9879 9844 9886 9877 9880 9883 9885 9839 9840 9842 9841 9836 9837 9838 9881 9882 9884 9878 9845 9846 9808 9708 9712 9709 9809 9805 9807 9806 9710 9834 9737 9492 9497 9499 9496 9448 9453 9458 9450 9451 9419 9449 9489 9456 9417 9494 9454 9421 9498 9457 9490 9491 9493 9495 9455 9452 9420 9418 9394 9353 9358 9360 9361 9398 9401 9357 9399 9352 9351 9354 9392 9400 9395 9396 9397 9393 9356 9359 9355 9402 9320 9321 9446 9323 9322 9349 9324 13397 13298 9262 9263 9259 9299 9225 9251 9304 9294 9300 9255 9253 9257 9303 9302 9258 9254 9260 9301 9261 9297 9296 9298 9295 9256 24051 24050 24052 24053 24055 24054 24345 24346 24331 24039 24347 24342 24344 24343 24234 24247 24249 24250 24245 24246 24248 24148 24153 24151 24150 24149 24137 24152 9224 9223 9222 9226 11960 11967 11961 11959 11965 11958 11963 11964 11968 11962 12066 16616 16621 16652 16650 16626 16651 16624 16653 16645 19810 19907 20004 18909 18908 16614 16649 16598 16596 18937 16768 16648 16767 19632 19646 19650 19647 19649 19648 19652 19651 18938 16740 18880 16732 18879 16737 16739 16769 16761 16766 16709 16770 16710 16713 16742 16738 16678 16736 20232 16707 19654 19630 19631 19645 19629 11978 11971 11970 11966 11969 11957 24539 24525 24538 24541 24536 24537 24540 24428 24441 24444 24442 24439 24440 24443 9166 9213 9212 9215 9210 9165 9128 9156 9160 9211 9157 9217 9209 9216 9164 9207 9208 9162 9159 9158 9214 9163 9161 9126 9154 13785 13591 13688 13494 9125 9127 9129 13882 16684 16623 16618 16617 16620 16583 16591 16588 16590 20136 20134 20133 20118 20138 20215 20137 20132 20233 20235 20234 20230 20231 20229 20135 24633 24622 24637 24635 24634 24638 24636 16708 16703 16711 16681 16682 16565 16567 16679 16674 16680 16655 18821 18822 18792 18793 16589 16586 16587 16584 16615 8153 8171 8176 8168 8155 8163 8165 8173 8170 8159 8166 8150 8158 8151 8167 8177 8162 8160 8169 8161 8154 8175 8157 8156 8164 14401 14402 8130 8093 8113 8129 8104 8107 8114 8111 8112 8103 8118 8092 8117 8099 8124 8127 8090 8116 8105 8126 8115 8123 8097 8106 8120 8101 8122 8121 8110 8091 8108 8096 8109 8102 8119 8100 8094 8128 5902 5899 5941 5868 5897 5906 5938 5870 5867 5900 5905 5947 5904 5907 5946 5939 5869 5903 5948 5901 5942 5944 5940 5943 5866 5898 5945 19747 19746 19748 19744 19745 19730 19750 19749 16654 16672 16656 16714 16712 16730 16734 16733 20041 20038 20039 20040 20037 20036 20035 20021 16625 16643 16627 16760 16763 16701 16764 16685 16762 16735 16706 16704 16705 16677 16731 16683 5845 5849 5804 5848 5806 5842 5800 5809 5850 5805 5771 5801 5843 5770 5846 5803 5802 5772 5808 5773 5851 5844 5807 5841 5847 5769 5810 19942 19943 19944 19940 19939 19941 16702 8095 8098 8174 8125 8172 19846 19843 19827 19844 19845 19842 19847 19841 6096 6136 6133 6135 6138 6091 6094 6063 6099 6141 6062 6064 6095 6139 6097 6134 6061 6093 6137 6098 6092 6060 6140 6101 6100 19938 19924 8281 8235 8280 8279 8250 8269 8258 8244 8268 8236 8240 8255 8247 8239 8270 8274 8256 8241 8276 8275 8265 8266 8253 8242 8271 8261 8243 8257 8277 8254 8259 8272 8264 8260 8267 8273 8278 8251 8263 8249 8252 8237 8262 8245 8238 8246 14404 14407 14403 14405 14408 14406 9704 9699 9707 6038 6000 5995 6002 6035 6001 6044 5999 6037 5996 6043 6041 6004 5994 5997 6042 6040 6039 5998 6003 5966 5965 5963 5964 5967 9803 9899 9900 9802 5744 5709 5705 5745 5747 5748 5703 5752 5708 5707 5706 5753 5751 5750 5754 5712 5704 5711 5713 9801 9804 9898 9796 9893 9610 9607 9754 9602 20020 9851 9901 9513 9609 9608 9560 20043 20140 19946 19752 20237 19921 19922 19923 18907 18878 18936 18791 20115 20018 20019 20117 19727 20131 20212 19937 20214 20213 20116 20034 19729 19743 20228 19728 19826 18820 5615 5656 5579 5608 5578 5612 5654 5613 5610 5611 5655 5651 5653 5647 5650 5609 5577 5616 5648 5575 5652 5606 5576 5607 5657 5649 5614 5673 5675 5676 9510 9505 5553 5478 5515 5477 5555 5516 5511 5552 5551 5480 5512 5559 5550 5517 5510 5509 5514 5518 5554 5481 5508 5513 5479 5558 5549 20278 20273 20274 20275 20276 20277 20262 20179 20176 20180 20165 20178 20181 20177 19984 19986 19987 19982 19983 19985 19971 20080 20081 20082 20068 20084 20079 20083 19889 19890 19606 19885 19694 19790 19887 19695 19603 19791 19788 19793 19792 19692 19886 19592 19777 19693 19604 19605 19691 19607 19608 19888 19679 19874 19690 19789 5672 5749 5701 5674 19825 19849 19824 5421 5465 5604 5380 5412 5413 5415 5383 5473 5420 5462 5417 5384 5418 5419 5506 5469 5468 5472 5471 5409 5463 5466 5411 5464 5467 5470 5381 5414 5416 5382 16675 16673 16676 5798 6089 5895 16647 16646 16644 9925 9902 9924 9912 9913 9933 9922 9920 9908 9921 9928 9914 9909 9905 9918 9932 9927 9907 9923 9917 9916 9930 9929 9919 9903 9911 9931 9910 9906 9915 9926 9102 9100 9098 9101 9097 9095 9104 9106 9904 9105 9107 9099 9103 9096 5992 19840 6036 6132 5746 16765 5710 16619 9094 6142 5557 6045 15569 15525 15526 15527 15494 15573 15496 15571 15524 15533 15530 15529 15570 15495 15523 15493 15568 15566 15531 15572 15528 15574 15532 15564 15492 15565 15662 15628 15622 15592 15669 15664 15620 15590 15671 15625 15670 15589 15623 15666 15663 15624 15627 15665 15668 15626 15621 15629 15630 15661 15593 15667 15591 15956 15913 15953 15884 15914 15880 15959 15921 15915 15920 15919 15961 15952 15955 15912 15962 15958 15911 15918 15954 15957 15960 15916 20295 15882 15883 15917 15881 17727 17630 15426 15470 15762 15287 15398 15375 15204 15433 15430 15300 15718 15473 15396 15290 15432 15235 15330 15284 15767 15231 20198 15369 15766 15297 15399 15326 15858 15202 15337 15689 15336 15397 15823 15236 15477 15200 15301 15760 15721 15427 15374 15370 15820 15329 15472 15758 15238 15331 15724 15334 15283 15378 15232 15862 15764 15288 15435 15328 15521 15863 15286 15822 15285 15240 20101 15376 15377 15865 15824 15909 15292 15338 15814 15233 15436 15333 15469 15787 15471 15282 15856 15784 15719 15335 15816 15687 15785 15864 15727 15717 15424 15859 15715 15234 15299 15763 15722 15203 15373 15468 15289 15239 15786 15759 15431 15371 15241 15474 15720 15765 15690 15688 15229 15761 15817 15298 15429 15618 15428 15860 15815 15783 15821 15812 15819 15768 15476 15332 15395 15861 15237 15291 15467 15726 15475 15434 15818 15857 15686 15201 15725 15379 15372 15567 15723 15855 1853 1856 1851 1855 1858 1849 1860 2658 1857 1852 1859 1850 1854 1861 4511 18122 17928 18121 17832 17829 17927 18024 18025 17976 17929 18023 18026 17926 17879 18123 18120 18073 18143 18125 17320 18148 18141 18129 17327 18144 17326 17319 18145 18124 18142 17316 18151 18136 18157 18137 17329 18150 18131 18132 17323 18126 18135 18154 18138 17324 18140 17322 18139 17328 18134 18130 18133 18152 17325 18155 18147 18127 17321 17318 18146 18149 18153 17317 18156 18128 17315 14029 13243 13245 13292 13252 13290 13291 13249 13293 13214 13246 13242 13251 13212 13287 13286 13213 13250 13289 13288 13247 13244 13283 13285 13284 13248 13211 13680 13146 13678 13483 13389 13870 13830 13835 13831 13832 13776 13385 13143 13543 13381 13777 13672 13868 13345 13730 13674 13310 13152 13584 13771 13383 13349 13872 13484 13638 13701 13487 13504 13535 13729 13699 13153 13585 13867 13350 13340 13634 13826 13388 13828 13601 13834 13482 13488 13735 13154 13205 17921 13738 13736 13632 13536 13698 13874 13342 13382 13796 13346 13115 13387 13827 13240 13673 13117 13579 13677 13633 13150 13582 13734 13731 13197 13770 13347 13537 13391 13196 13825 13681 13390 13871 13155 13544 13541 13676 13575 13675 13798 13679 13386 13775 13779 13312 13478 13774 13116 13540 13682 13700 13539 13604 13198 13202 18018 13151 13640 13829 13313 13581 13147 13732 13486 13384 13728 13148 13348 13733 13794 13697 13772 13485 18115 13635 13534 13580 13578 13481 13577 13866 13338 13149 13600 13876 13507 13532 13215 13201 13505 13639 13538 13636 13479 13795 13602 13311 13343 13480 13344 13823 13873 13773 13778 13797 13118 13629 13341 13833 13206 13631 13769 13542 17824 13603 13641 13506 13309 13199 13200 13737 13576 13583 13869 13637 13875 13726 13145 13114 13203 13204 13503 7881 7885 7884 7883 7879 7846 7806 7837 7807 7840 7886 7878 7845 7838 7880 7877 7839 7842 7841 7882 7805 7843 7844 7808 7887 7836 7809 7937 7935 7975 7979 7984 7977 7943 7980 7934 7982 7978 7981 7942 7933 7940 7974 7938 7941 7983 7939 7936 7976 7902 7903 7906 7904 7905 7417 7419 7420 7421 7454 7450 7457 7451 7456 7497 7494 7499 7492 7490 7495 7498 7452 7453 7496 7491 7489 7448 7458 7449 7493 7455 11857 21859 21957 22054 22442 22248 22151 7683 7689 7691 7693 7687 7688 7685 7692 7684 7746 7787 7788 7740 7710 7784 7785 7783 7739 7780 7747 7709 7782 7712 7749 7743 7781 7742 7789 7741 7745 7708 7711 7555 7554 7551 7545 7595 7586 7547 7550 7546 7553 7587 7589 7588 7594 7552 7596 7548 7593 7591 7590 7592 7516 7514 7518 7517 7931 7834 7305 7311 7263 7310 7255 7259 7258 7307 7304 7315 7260 7314 7312 7253 7313 7257 7309 7262 7261 7254 7306 7226 7222 7225 7256 7308 7251 7446 7224 7223 7737 7398 7359 7323 7397 7322 7401 7395 7355 7394 7392 7391 7351 7350 7358 7353 7356 7399 7354 7360 7396 7357 7393 7319 7352 7400 7348 7515 7320 7321 7690 7786 7543 7744 7790 4629 7686 4611 7748 528 286 445 434 990 607 555 446 999 608 542 447 284 338 959 582 554 488 978 501 340 380 610 366 500 270 982 312 285 415 993 179 307 420 339 502 391 1002 596 256 556 393 230 392 499 974 474 326 996 969 964 394 611 609 986 448 361 5556 7418 7549 6256 6272 6271 6323 6265 6283 3650 6308 6264 4308 6273 6276 6312 1146 6282 6278 6280 3823 6329 6279 6267 3593 3592 6260 6274 6270 6250 6275 6258 6251 4114 6263 6252 6285 4211 6257 6259 3651 6286 6317 6261 6287 6322 6332 6318 4017 6331 6253 3725 3684 6269 6266 3687 6288 6249 6277 6324 6335 6313 4070 4320 3991 3964 6311 6333 4313 4218 6327 3699 6316 6334 3872 6281 6315 4215 3989 6325 6326 6321 4119 4310 6330 4086 4317 6268 3797 4067 3796 6262 6314 4118 3798 4355 3737 6320 6254 4062 4061 6255 4279 6328 3777 7505 6248 3683 6319 3973 4280 4020 7893 6309 3686 6284 3773 17514 17597 6295 6159 6185 6168 5960 5573 5961 5767 5768 6058 6057 6179 6059 5815 5718 5912 6186 5621 5574 6172 5863 6173 5766 6155 6157 6183 6169 6163 5522 5475 5354 6184 6177 6009 6166 6182 5962 6156 6165 5350 5357 5360 5362 5353 5361 5356 5352 5355 5359 5358 5351 6178 6158 6106 6162 5959 5765 5671 5862 6167 5864 6164 5572 6176 6170 6153 5668 6056 5669 6161 6180 5865 6171 6160 5670 6181 6174 5571 6175 6154 1145 1143 1144 2794 2793 6 7 3 8 612 1069 1071 1074 1081 283 553 579 578 337 0
177.79/177.82
177.79/177.82 c Core has size 11223
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3501534-1308042342/watcher-3501534-1308042342 -o /tmp/evaluation-result-3501534-1308042342/solver-3501534-1308042342 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501534-1308042342.gcnf
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.02 4.07 2.55 4/189 4085
/proc/meminfo: memFree=30424872/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=15340 CPUtime=0 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 1193 0 0 0 0 0 0 0 23 0 1 0 915835199 15708160 870 33554432000 4194304 4365125 140735854857472 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 3835 871 253 42 0 983 0
[startup+0.0242 s]
/proc/loadavg: 4.02 4.07 2.55 4/189 4085
/proc/meminfo: memFree=30424872/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=16396 CPUtime=0.02 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 2134 0 0 0 2 0 0 0 23 0 1 0 915835199 16789504 1247 33554432000 4194304 4365125 140735854857472 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 4099 1247 253 42 0 1247 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16396
[startup+0.100939 s]
/proc/loadavg: 4.02 4.07 2.55 4/189 4085
/proc/meminfo: memFree=30424872/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=20848 CPUtime=0.09 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 4506 0 0 0 9 0 0 0 23 0 1 0 915835199 21348352 2195 33554432000 4194304 4365125 140735854857472 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 5212 2195 262 42 0 2360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20848
[startup+0.300894 s]
/proc/loadavg: 4.02 4.07 2.55 4/189 4085
/proc/meminfo: memFree=30424872/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=27044 CPUtime=0.29 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 6668 0 0 0 29 0 0 0 25 0 1 0 915835199 27693056 3801 33554432000 4194304 4365125 140735854857472 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 6761 3801 262 42 0 3909 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27044
[startup+0.700826 s]
/proc/loadavg: 4.02 4.07 2.55 4/189 4085
/proc/meminfo: memFree=30424872/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=36068 CPUtime=0.68 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 15181 0 0 0 67 1 0 0 25 0 1 0 915835199 36933632 5841 33554432000 4194304 4365125 140735854857472 18446744073709551615 4257389 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 9017 5841 262 42 0 6165 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36068
[startup+1.50068 s]
/proc/loadavg: 4.02 4.07 2.56 6/190 4086
/proc/meminfo: memFree=30382468/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=66472 CPUtime=1.49 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 44470 0 0 0 144 5 0 0 25 0 1 0 915835199 68067328 12931 33554432000 4194304 4365125 140735854857472 18446744073709551615 4257468 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 16618 12931 262 42 0 13766 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66472
[startup+3.1004 s]
/proc/loadavg: 4.02 4.07 2.56 6/190 4086
/proc/meminfo: memFree=30352212/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=88832 CPUtime=3.09 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 65941 0 0 0 302 7 0 0 25 0 1 0 915835199 90963968 18397 33554432000 4194304 4365125 140735854857472 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 22208 18397 263 42 0 19356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88832
[startup+6.30083 s]
/proc/loadavg: 4.02 4.07 2.56 6/190 4086
/proc/meminfo: memFree=30349896/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=102244 CPUtime=6.29 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 75955 0 0 0 621 8 0 0 25 0 1 0 915835199 104697856 20484 33554432000 4194304 4365125 140735854857472 18446744073709551615 4257491 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 25561 20484 264 42 0 22709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 102244
[startup+12.7007 s]
/proc/loadavg: 4.02 4.07 2.57 7/190 4086
/proc/meminfo: memFree=30347532/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=102244 CPUtime=12.69 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 75958 0 0 0 1261 8 0 0 25 0 1 0 915835199 104697856 20487 33554432000 4194304 4365125 140735854857472 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 25561 20487 264 42 0 22709 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102244
[startup+25.5004 s]
/proc/loadavg: 4.01 4.06 2.59 6/190 4087
/proc/meminfo: memFree=30355604/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=116576 CPUtime=25.49 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 77759 0 0 0 2540 9 0 0 25 0 1 0 915835199 119373824 22288 33554432000 4194304 4365125 140735854857472 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 29144 22288 264 42 0 26292 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116576
[startup+51.1009 s]
/proc/loadavg: 4.01 4.06 2.62 6/190 4087
/proc/meminfo: memFree=30332628/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=116576 CPUtime=51.09 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 77759 0 0 0 5100 9 0 0 25 0 1 0 915835199 119373824 22288 33554432000 4194304 4365125 140735854857472 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 29144 22288 264 42 0 26292 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 116576
[startup+102.307 s]
/proc/loadavg: 4.00 4.05 2.70 6/190 4126
/proc/meminfo: memFree=30342836/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=102.29 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80073 0 0 0 10219 10 0 0 25 0 1 0 915835199 138248192 24602 33554432000 4194304 4365125 140735854857472 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24602 264 42 0 30900 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 135008
[startup+162.3 s]
/proc/loadavg: 4.10 4.07 2.79 6/190 4127
/proc/meminfo: memFree=30245836/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=162.29 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80079 0 0 0 16218 11 0 0 25 0 1 0 915835199 138248192 24608 33554432000 4194304 4365125 140735854857472 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24608 264 42 0 30900 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 135008
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 4.10 4.06 2.79 6/190 4128
/proc/meminfo: memFree=30236784/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=166.29 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80085 0 0 0 16618 11 0 0 25 0 1 0 915835199 138248192 24614 33554432000 4194304 4365125 140735854857472 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24614 264 42 0 30900 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 135008
[startup+172.706 s]
/proc/loadavg: 4.09 4.06 2.80 6/190 4128
/proc/meminfo: memFree=30252028/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=172.7 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80096 0 0 0 17259 11 0 0 25 0 1 0 915835199 138248192 24625 33554432000 4194304 4365125 140735854857472 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24625 264 42 0 30900 0
Current children cumulated CPU time (s) 172.7
Current children cumulated vsize (KiB) 135008
[startup+175.901 s]
/proc/loadavg: 4.08 4.06 2.81 6/190 4128
/proc/meminfo: memFree=30249792/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=175.9 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80099 0 0 0 17579 11 0 0 25 0 1 0 915835199 138248192 24628 33554432000 4194304 4365125 140735854857472 18446744073709551615 270613135255 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24628 264 42 0 30900 0
Current children cumulated CPU time (s) 175.9
Current children cumulated vsize (KiB) 135008
[startup+176.701 s]
/proc/loadavg: 4.08 4.06 2.81 6/190 4128
/proc/meminfo: memFree=30249792/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=176.69 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80099 0 0 0 17658 11 0 0 25 0 1 0 915835199 138248192 24628 33554432000 4194304 4365125 140735854857472 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24628 264 42 0 30900 0
Current children cumulated CPU time (s) 176.69
Current children cumulated vsize (KiB) 135008
[startup+177.5 s]
/proc/loadavg: 4.08 4.06 2.81 6/190 4128
/proc/meminfo: memFree=30227720/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=177.49 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80099 0 0 0 17738 11 0 0 25 0 1 0 915835199 138248192 24628 33554432000 4194304 4365125 140735854857472 18446744073709551615 4263872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24628 264 42 0 30900 0
Current children cumulated CPU time (s) 177.49
Current children cumulated vsize (KiB) 135008
[startup+177.7 s]
/proc/loadavg: 4.08 4.06 2.81 6/190 4128
/proc/meminfo: memFree=30227720/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=177.69 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80099 0 0 0 17758 11 0 0 25 0 1 0 915835199 138248192 24628 33554432000 4194304 4365125 140735854857472 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24628 264 42 0 30900 0
Current children cumulated CPU time (s) 177.69
Current children cumulated vsize (KiB) 135008
[startup+177.8 s]
/proc/loadavg: 4.08 4.06 2.81 6/190 4128
/proc/meminfo: memFree=30227720/32951124 swapFree=67052292/67111528
[pid=4085] ppid=4083 vsize=135008 CPUtime=177.79 cores=5,7
/proc/4085/stat : 4085 (MoUsSaka) R 4083 4085 3694 0 -1 4202496 80099 0 0 0 17768 11 0 0 25 0 1 0 915835199 138248192 24628 33554432000 4194304 4365125 140735854857472 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/4085/statm: 33752 24628 264 42 0 30900 0
Current children cumulated CPU time (s) 177.79
Current children cumulated vsize (KiB) 135008
Child status: 20
Real time (s): 177.828
CPU time (s): 177.831
CPU user time (s): 177.71
CPU system time (s): 0.120981
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 145252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.71
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80104
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= 9
involuntary context switches= 293
runsolver used 0.283956 second user time and 0.687895 second system time
The end
Begin job on node108 at 2011-06-14 11:05:43
IDJOB=3501534
IDBENCH=90080
IDSOLVER=2000
FILE ID=node108/3501534-1308042342
RUNJOBID= node108-1308041934-3715
PBS_JOBID= 13564708
Free space on /tmp= 74132 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/pdtswvtms10x8p1.aig.k20.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501534-1308042342/watcher-3501534-1308042342 -o /tmp/evaluation-result-3501534-1308042342/solver-3501534-1308042342 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501534-1308042342.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 674e6ec5ee4798395643daf3e6eaf570
RANDOM SEED=1732050215
node108.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.820
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.64
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.820
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.820
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.77
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.820
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.820
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.820
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.75
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.820
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30425292 kB
Buffers: 200400 kB
Cached: 1302568 kB
SwapCached: 23260 kB
Active: 1077296 kB
Inactive: 1215352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30425292 kB
SwapTotal: 67111528 kB
SwapFree: 67052292 kB
Dirty: 2336 kB
Writeback: 0 kB
AnonPages: 787524 kB
Mapped: 9824 kB
Slab: 165464 kB
PageTables: 6796 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1178572 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= 74128 MiB
End job on node108 at 2011-06-14 11:08:41