0.00/0.00	c MoUsSaka with meat
7.39/7.40	
7.39/7.40	s UNSATISFIABLE
959.78/959.87	c Core is minimal
959.78/959.87	
959.78/959.87	v 37473 37328 3716 1935 1950 1631 1954 1973 1972 1981 1982 1979 1978 3752 4638 4635 4640 4637 4639 4636 3751 3722 3721 4642 4641 4644 4643 4646 1152 1149 1147 1148 1873 1976 1975 1946 1970 1969 1907 1628 1903 3717 3724 3723 3749 3719 3718 3713 3714 3398 3712 3711 3710 3735 3684 3740 3739 3732 3731 3748 3649 3743 3758 5519 5518 5517 5487 5520 5516 5515 5511 5514 5513 5512 3755 3727 3728 3742 3726 3730 3745 3757 3734 5453 5226 1936 1966 1967 5489 1871 5508 5510 5509 5506 5507 5505 5497 5498 5500 5503 5504 5502 5499 5501 1591 1594 1955 1956 1870 1867 1866 1942 1943 3360 3395 3393 3394 1937 1938 1934 1908 1948 1947 1952 1951 3647 3645 3644 2866 3643 3642 3695 3692 3691 3690 3693 1963 3682 3681 3650 3679 3680 3703 3704 3654 3675 3676 3674 3662 3660 3665 3655 3664 3666 3668 3658 3659 3656 3661 3663 1941 3657 3696 3698 3694 3697 3705 3706 3689 3648 3361 3396 2868 3362 2867 2870 2860 2863 2859 2862 2861 2864 2865 3670 3677 3669 3671 3678 3702 3672 3700 3701 3673 3699 1964 1960 1959 3708 3707 3357 3641 3640 3365 3359 3358 3639 3683 3397 3399 3401 5588 5583 5559 5579 5580 5582 5548 5558 5554 3738 5595 5586 5585 5594 1872 5567 5592 5591 7437 7436 7440 7442 7435 7438 7441 7429 7428 7427 7433 7430 7431 7432 5227 3754 7412 7413 7414 7415 5563 7410 7409 5543 5545 5542 5544 5540 5538 5541 5536 5537 5476 5475 5477 5474 5479 5480 5484 5189 5483 5482 5481 5549 5571 5553 4628 4634 4623 4624 4630 4625 4633 4631 4629 4626 4627 5188 5546 5522 5184 5225 5181 5187 5220 5180 5218 5219 5185 5485 5186 5183 5223 5221 5224 5222 5556 5547 5565 5569 5568 5561 5560 5551 5192 5573 5577 7426 5521 7443 4622 5229 4621 4617 4619 4618 4620 6481 6478 6483 6480 6479 7417 7416 7418 5564 5488 3761 5572 5550 5524 4645 5533 4616 5535 5530 5532 5534 4615 5531 4614 5527 5526 5473 5472 5470 5471 5529 5528 5197 4647 1988 1987 1945 1985 1962 1958 1940 1984 3688 3392 3760 7444 5496 1875 1876 1874 1100 1101 5576 1089 1059 1088 1058 1595 1075 5575 5179 5178 5216 5217 5175 5490 5215 5214 5193 5177 5176 5469 5213 5211 5212 5210 5208 5209 5206 5204 5205 5207 5203 5202 5198 5167 5199 5464 5468 5463 5467 5462 5461 5460 5459 5454 5458 5457 7385 5174 5173 7408 7407 1596 7389 7393 7399 7398 7405 7397 7402 7396 7391 7390 7392 7400 7406 7395 7404 7403 7401 5493 5494 5169 5170 5171 5168 7420 7423 3709 7425 6476 6477 4649 6472 6475 6473 6474 5598 5597 8392 8395 8397 8393 8390 8389 8388 8396 8391 8394 8387 8385 8386 5600 5601 3653 7457 7115 7465 7466 7467 5492 7384 7452 7449 7445 7448 7463 7446 7459 7454 7447 7116 7487 7486 7493 7492 7481 7480 7383 7382 7379 7381 7378 7377 7380 7086 7475 7490 7484 7451 7471 7496 7478 7477 7371 7370 7375 7374 7373 7376 7369 7072 7075 7074 7076 7071 7070 7114 7111 7110 7112 7113 7109 7077 3652 7422 6470 6471 6469 6468 6464 6465 6467 6462 6463 6461 6460 6466 7483 7469 7489 9354 9352 9351 9350 7474 7470 9353 7462 7461 10344 7495 10349 10346 6458 6454 6457 6456 6459 6455 7368 7367 7362 7363 7361 7364 7366 7365 7068 7107 7104 7103 7102 7108 7106 7105 7080 7081 7064 7063 7067 7065 7066 10345 10347 10348 7060 7062 7061 7100 7099 7098 7087 7097 7096 7095 10356 10358 10357 6952 7057 10355 7059 10352 10351 6951 7056 7058 10350 10354 10353 7118 7352 7351 7355 7356 7359 7358 7357 7360 7498 6485 6486 7458 7419 7453 7456 7473 7387 6717 5228 7386 7499 9372 9370 9373 9374 9375 9344 9371 9377 9376 9399 9400 9401 9395 9402 9403 9390 9393 9398 9397 9389 9391 9392 9388 9387 9386 9385 9396 9394 9366 9363 9362 9367 9368 9361 9365 9369 9364 9360 9355 9359 9356 9357 9358 9064 4648 1155 1153 1931 1930 1911 1933 1909 1932 1633 2854 2855 2856 2857 2858 8376 8377 8375 8379 8378 8381 8374 8367 8372 8370 8369 8371 8368 8366 8373 9310 9346 9057 9059 9058 9060 9062 9061 9063 3638 3636 3635 3369 8365 8364 8360 8362 8363 8361 8359 8358 8354 8357 8356 8355 8353 8352 2847 2848 2845 2844 2843 2852 2853 2846 9413 2841 2850 2842 2851 1143 1144 1146 1588 1587 1622 3651 9347 9379 9349 9383 9384 9382 9026 9348 9381 9418 9404 9430 9434 9426 9422 9408 11390 11389 11388 11395 11364 11393 11391 11392 11396 11394 9407 11446 11457 11432 11398 11427 11437 11425 9458 11076 11363 11431 11436 11465 11466 11426 1899 6718 11433 11438 11428 11424 13476 13447 11450 13411 13445 13470 11442 9457 9440 9446 9437 9443 9452 9449 9455 9445 9439 9436 9442 11375 11384 11376 11386 11370 11379 11381 11383 11374 11380 11372 11373 11371 11382 11377 11387 11378 11368 11385 11369 9451 11330 9410 9411 9412 9416 9343 9406 9415 9065 9405 9378 9420 9448 9025 9454 9022 9021 9024 9023 11449 10340 10337 10336 10335 10338 9017 9019 9020 9018 9066 9340 9338 9339 9342 9068 9029 9341 9336 9335 9337 8384 8382 9424 9428 9036 11454 9330 9328 9333 9329 9331 9332 9334 9327 13459 13463 11430 13450 13451 13452 13448 9055 9054 9056 11435 12359 9045 9004 9044 9043 9042 9041 9425 9433 9429 9016 9015 9014 12328 9013 9012 11445 11444 11397 13440 13442 13441 13439 13438 13434 13435 13443 13432 13433 13428 11448 13119 13427 13426 13425 13421 13423 13420 13424 13422 13412 13418 13419 13417 13416 13415 11469 11468 11471 11459 11463 11472 11460 11456 11453 11441 13464 11440 13453 13454 13149 13472 13474 13471 13473 13151 13437 13475 13477 13467 13460 13462 13469 13468 13461 13466 13458 13457 13465 12358 12334 12347 12360 12340 12353 12352 12354 12337 12332 12329 12344 12346 12338 12341 12339 12331 12335 12342 12336 13429 13430 13431 13455 13456 11462 13436 12330 12343 12333 12355 12356 12351 12345 12357 12350 12349 12348 7088 7094 7093 11077 9432 11406 11412 11417 11416 11414 11420 11409 11405 11407 11410 11419 11415 11418 11422 11403 11402 11404 11411 11413 11421 11408 11078 11079 11359 11356 11360 11357 11358 11362 11361 11399 11423 9325 9324 9326 11367 13104 13102 13103 13099 13098 13105 13101 13100 13146 13097 13095 13094 13093 13096 9010 9009 9011 13513 13507 13479 13444 13512 13518 13148 13506 13511 13544 13517 13516 13543 13508 13478 13106 13480 13504 13498 13495 13496 13497 13503 13502 13501 13499 13500 13107 13147 13446 13449 13553 13550 13538 13541 13547 13527 13522 13526 13509 13537 13494 13514 13531 11474 13484 13486 13487 13490 13489 13491 13493 13492 13485 13488 11475 11075 13530 15612 15613 13505 13529 15654 13519 15608 15609 15607 15605 15610 15589 13523 15606 15655 13556 15680 15645 15622 15602 15599 15598 15603 15597 15600 15604 15601 15590 15593 15594 15553 15595 15596 14439 14438 15640 15641 14437 14436 15626 13559 15628 15625 15591 15592 13558 13533 13525 13521 13549 13546 13540 13555 13552 13091 13092 12977 12980 13090 13086 12982 13088 13089 12979 12978 12981 13087 12747 12361 12363 12362 12971 9005 9007 9008 9006 8901 8900 14442 11401 15239 11035 14440 14434 14435 14430 14431 14432 14433 14429 14428 14427 14426 14424 14423 14418 14419 14415 14416 14425 14422 14414 15616 15618 15620 15587 15617 14441 15619 15614 15615 14417 14420 14421 15632 15637 15635 15630 15646 15634 15631 15627 15638 15643 15633 15644 15639 15629 15636 15642 15611 15689 15669 15695 15683 15586 17822 16578 16572 16574 15665 17818 15656 15651 16575 16581 16576 16573 16579 16580 16583 17814 17815 17817 17821 17820 17823 17816 17790 17819 16577 15667 17756 15649 15648 15281 15621 15647 15661 15668 15660 17475 17862 17857 17859 17858 17824 17850 17853 17854 17864 17863 15280 15242 15279 15278 15653 15694 15686 16564 16565 16566 16569 16567 16570 16568 16571 16559 16553 17849 16558 16560 16557 16552 16554 17848 17844 17845 17847 17846 17843 16563 16582 16551 16555 16561 16562 16556 15673 15692 15698 17825 17856 15672 15659 15663 15664 15650 15688 17432 17813 17812 15236 15235 15237 15238 14444 17792 17791 17472 17474 17470 17473 17471 17827 17786 17785 17787 17784 17788 17476 17477 17478 15679 15691 15685 17808 17811 17810 17804 17806 17807 17809 17805 17802 17803 17427 17430 17429 17428 17431 17435 15697 17800 17798 17799 17801 17797 17796 17783 17782 17781 17795 20125 20147 20116 20146 20135 20115 20136 18786 18783 18782 18784 18781 20120 20127 20088 20117 20126 20121 19730 20053 3003 1928 1929 1927 15682 17793 17794 17842 15241 17779 17780 17841 17839 17840 17838 17835 17836 17837 17831 17834 17832 17833 17830 17829 18790 18792 17469 17467 17468 17465 17466 17436 17447 17461 17460 17778 17417 17416 17418 17462 17775 17776 17777 17463 17446 17464 20122 17851 17852 17789 20134 17872 17871 17892 20150 20149 17883 17868 17867 20114 20123 20118 20128 20130 20131 17870 17898 17886 20132 20139 17866 17861 17426 17425 20140 17424 17423 20156 20155 17421 17422 22404 22405 22379 22412 22406 22407 22411 22410 22409 22408 17888 20161 20162 17419 17420 17772 17762 17763 17771 17764 17770 17769 17761 17760 17415 17414 17413 17774 17891 17897 17885 21048 21047 21050 21045 21043 21044 21046 21040 21041 21042 21039 17901 17900 17895 17889 22345 22381 22380 22400 22403 17894 22397 20152 22393 22395 22396 22387 22388 20158 22384 22385 20153 22394 20159 22392 22398 22401 22402 22389 22390 22391 22386 22399 22383 20087 20084 20085 20086 20082 20081 20083 20080 20079 20077 20078 18776 18778 18777 18775 18779 18780 20089 18770 18774 18773 18772 18771 20096 20020 20076 20075 20074 20057 20061 20060 20063 20062 20064 20054 20056 18785 17875 17876 22382 16584 18758 18759 18769 18765 18764 18767 18766 18760 18762 18757 18768 18763 18755 18761 18756 20093 20099 20109 20103 20107 20113 20102 20111 20108 20101 20097 20098 20110 20105 20100 20106 20095 20094 20112 20104 20073 20071 20069 20059 20058 18754 20066 20067 20068 20070 20072 20065 17882 20052 20050 20048 20051 20049 20047 17773 17767 17765 17766 17757 17768 20046 20041 20043 20039 20040 20042 20044 20045 20038 20037 20036 20055 19685 19684 19679 19681 19682 19683 19680 19724 19728 19725 19727 19726 19729 21036 21037 21038 21033 21034 21035 19731 19701 19733 20026 20027 20034 20035 20030 20032 20033 20029 20031 20028 18787 19677 19678 19722 19689 19723 19686 19676 19675 19674 19672 19673 19732 20024 20025 20021 22363 19671 19670 19669 19690 19720 19721 18789 19719 19718 19717 19326 22362 19668 19667 19716 19715 20091 22361 22360 22359 21030 21031 21028 21027 21032 21022 21024 21023 21025 21021 21026 21029 19702 22001 22034 22035 21020 21019 22044 22043 22042 22040 22041 22039 22038 22004 21049 21051 22017 21018 22036 22037 22005 22033 21054 21056 22018 22032 22031 21066 21059 22045 22437 22434 22435 22433 22436 22432 22430 22431 22428 22429 22427 22416 22426 22438 22414 22471 22440 22446 22441 22475 22487 22481 22474 22480 22472 24795 24796 24765 24798 24797 24794 24793 24792 24790 24791 24789 23373 23375 23372 24788 24787 24786 24785 22451 22046 22377 22378 22047 23370 23371 24762 22486 24731 24763 22459 22453 22452 24784 24781 24780 24783 24782 24778 24777 24779 24775 24773 24774 24776 22455 24424 24377 23365 23369 23367 23366 23368 23364 22484 22478 22477 21999 22000 22372 22365 22366 22364 22376 22369 22370 22371 22367 21994 21995 21998 21996 21997 22368 22375 22373 22374 22514 23350 23354 23346 23353 23374 23356 23359 23357 23362 23343 23347 23363 23345 23352 23351 23360 23355 23349 23358 23348 23361 23344 24821 24817 24816 24802 24815 24820 24818 24814 24819 24822 24823 24813 24812 24771 24768 24770 24772 21641 21987 21992 21991 21990 21985 21989 21053 21993 21988 21986 24800 22483 23376 24824 24861 24860 24836 24866 24867 24423 24837 24764 24872 24873 29341 29764 24845 29772 29759 29753 27273 28204 28203 28205 28208 28206 29725 29723 29722 29724 29721 27308 27307 27320 27319 27314 27313 27283 27284 29879 27211 26861 29877 29876 29878 27274 27278 29754 29768 29756 29755 29692 29691 29793 29794 29787 29788 29763 29758 27275 27276 29720 29719 28201 28202 29718 27279 27288 29717 27292 24828 24829 27310 27311 29711 29716 29712 29715 29713 29714 29706 29709 29704 29705 29708 29710 29707 27305 27304 27316 27317 29702 29703 29701 29700 24826 29750 29748 29747 29745 29746 29727 29751 29729 29749 27296 28200 28198 28199 28197 27300 27325 24841 28188 28185 28186 28187 28194 28195 28191 28192 28190 28196 28189 28193 27322 27323 27326 29741 29743 29744 29742 29739 29740 29737 29738 29736 29698 29699 29697 29785 29784 30688 30682 30683 30681 30685 30684 30686 30680 30677 30678 30679 31774 29791 29790 29780 29806 29805 30673 30674 30675 30676 30671 30672 30670 30669 29696 29800 29799 29797 29796 30665 30668 30667 30666 32195 32192 32194 32193 32196 32197 32198 32200 32202 32205 32204 32172 32201 32203 32199 32186 32185 29776 32190 32187 32189 32188 32191 32184 32230 32226 32224 32228 32227 32225 32229 32223 32221 32222 32209 29802 29803 32219 32220 32218 32217 32215 32216 32182 32183 32180 32181 29169 29168 25756 25758 25761 25757 25759 24870 24869 27244 27242 27243 27245 27212 27241 27240 27238 27239 25752 25753 25755 25754 25750 25751 27236 27237 27234 27229 27233 27226 27227 27224 27225 27230 27231 27235 27232 27228 27214 27221 27222 27220 27223 27215 27219 27218 29658 29291 29285 29286 29289 28209 29292 29288 29287 29293 29290 29340 29339 29294 29688 29686 29687 29689 29685 29683 29684 29337 29333 29336 29338 28211 29335 29334 29297 29690 29283 29284 29282 29279 29278 29281 29280 29277 29276 29275 29274 29273 29669 29668 26855 26858 26856 26857 26860 26814 26859 26853 26854 26817 26850 26851 26852 26818 27210 26813 26849 32138 32174 32173 32175 32179 32178 32177 27178 29678 29677 29681 29680 29682 29679 29342 29676 29675 29672 29673 29674 29670 29671 29312 29331 29329 29332 29330 29328 26832 29272 26848 26833 26846 26847 29327 29313 29326 29298 24857 24858 26845 24827 26844 26843 26842 26792 27270 27271 27269 27261 27262 27263 27264 27266 27265 27268 27267 27258 27259 27247 27260 28934 29667 29666 27217 27216 24769 22049 24767 25762 27249 26862 27209 26800 26801 26804 26803 26802 26811 26808 26806 26807 26805 26810 26809 27201 27200 27204 27202 27207 27205 27206 27208 27203 27198 27197 27195 27196 27199 25744 25749 25748 25747 25745 25746 25741 25739 25738 25740 25742 25743 25760 25730 25732 25731 25729 25733 25736 25735 25734 25737 26798 26799 29344 29659 26864 25764 26454 24376 24417 24422 24766 26797 27194 26796 26795 27192 27193 27179 27190 27191 26794 26793 26812 24375 24420 24421 24418 24419 11366 24380 15624 15275 15277 15276 15252 15272 15271 15269 15270 15274 15273 13145 13143 13142 13144 13110 13141 13140 11032 11029 11033 11034 11031 11030 11073 11074 11072 11070 11071 13482 13137 13139 13136 13135 13138 13111 15267 15268 15266 15217 15264 15265 15263 15243 15262 15253 15261 15254 15259 15260 15258 15257 16586 17072 24416 24415 24414 24412 24413 24410 24411 24381 24394 24409 24408 24407 24395 24406 14443 22450 22511 22513 24369 24372 24370 24371 24368 24366 24363 24364 24361 24367 24365 24362 24360 24358 24359 24374 24373 15588 32312 32311 32313 29694 32315 8492 8490 8489 8399 8398 7117 8491 21983 21982 21984 15658 14459 14551 14549 14550 14458 14552 9345 12368 9049 9053 9051 9047 9050 9046 9052 9048 9417 9321 9320 9322 9323 9421 8383 9067 11365 10330 10329 10332 10331 10333 10334 11036 1593 3687 9319 9316 9317 9318 9038 9030 9037 9311 9315 9314 3351 3350 3352 3348 3349 10328 10327 3355 3356 3387 3366 3391 3354 3389 3388 3390 3616 5491 12366 12369 12364 12376 11047 11069 11068 12365 10323 12372 10322 10319 10325 10324 10320 12370 10326 12371 10321 12374 12373 12375 10318 10317 10312 10313 10316 10315 10314 10311 11060 11059 11065 11064 11062 11061 11063 11066 8446 8400 8445 10451 10341 11040 11048 11058 11014 11351 11355 10405 10359 10406 10452 8444 8442 8443 8401 11344 11341 11339 11345 9034 9035 9033 9031 9032 11027 11026 10448 10449 10502 10554 10501 10552 10503 10553 11041 11335 11337 11021 11020 11042 11043 11019 11015 11017 11018 10911 11016 10910 11346 11348 11349 11028 11347 11022 11025 11024 11342 11336 11350 11023 11353 11354 11352 11343 1627 1865 11334 11340 1590 1623 1905 11039 1906 1634 1900 1901 1840 1902 1589 1600 11338 11067 1625 1904 1624 1145 1629 1632 1139 1133 1135 1136 1134 1142 1132 1130 1140 1141 1129 1131 1137 1138 10450 1868 1150 1599 1630 1869 1592 1626 34728 3386 32364 32365 32361 32367 32368 32369 31792 31815 32310 32309 31806 31804 31812 32304 34732 40574 32239 32238 43083 44194 44204 44217 44213 44209 42161 44603 44602 44172 42180 44196 44178 43072 44215 44572 44216 44199 43073 43088 44197 44222 43064 43066 43056 43089 43085 44643 44210 43068 34719 34723 34724 34745 31821 32244 32234 32264 32171 32233 32265 31814 31810 31793 31778 31805 31807 31813 31808 32362 31811 32366 32316 32314 32307 32306 32308 32363 31809 32207 32231 32252 34754 34714 34716 34715 44605 44211 44198 43063 43069 44206 43067 44604 43076 43077 43079 44218 43070 44174 44203 44205 44219 44200 43071 43082 44207 32248 44208 43065 44214 44212 44195 44152 33165 33166 33168 33163 33164 33159 33160 33162 33161 33157 33158 34680 34679 34681 34678 34677 34676 34685 34654 34618 44220 42160 44173 43078 32243 10653 10649 10650 10635 10639 10647 10629 10645 10643 10631 10642 10638 10644 10640 10628 10630 10641 10646 10637 13150 10343 10342 2871 15282 2873 2872 3400 4662 7084 7085 7083 7082 1602 4655 4652 4650 1894 1897 1893 1887 1895 1890 1898 1888 1891 1892 1896 1886 1889 3385 3782 3634 3633 4661 4660 3629 3627 3628 3632 3631 3630 1620 1621 1611 1616 1603 1574 1615 1617 1618 1612 3785 3784 4658 4657 4653 4654 4651 4656 4659 3622 3624 3623 4830 2874 2884 2881 2878 2875 2885 2882 2886 2876 2883 2879 2877 2880 1880 1883 1884 1881 1882 1877 1885 1127 1124 1125 1123 1128 1126 3384 3380 3382 3383 3381 3237 3346 3341 3345 3342 3343 3344 3236 3233 3232 3234 3235 7439 5465 4632 7388 5466 4829 3637 7394 12367 7424 5478 3736 3353 5182 5555 6484 5495 5486 7434 7073 3646 5589 7372 7101 5172 3347 3746 5539 7069 2849 7411 3667 3685 34675 32236 32235 34718 37157 42159 44574 44600 44598 44597 44601 44599 44201 44192 44594 44595 44593 44575 44596 44168 44167 44166 44170 44161 44171 44169 44165 44162 44164 44160 44159 44557 44560 44559 44554 44551 44566 44565 44549 44552 44564 44553 44539 44562 44555 44556 44550 44049 44048 43814 44156 44155 44047 44154 44045 44157 44153 45512 44690 45499 45505 45519 44695 43053 43054 45514 45524 44696 44698 44689 45503 45501 45513 45526 45523 45502 44697 44701 44691 45522 45534 45504 44688 44702 45525 45506 45510 45520 42208 44699 45515 45527 44692 45533 44694 45500 45507 45511 45530 44703 45532 45508 44700 45517 45518 45531 45521 45528 45509 42209 43051 40598 40599 40608 40602 40605 40600 40603 42281 42284 42285 42087 42084 42085 42086 42088 42089 40584 40595 40596 40593 40591 40582 40587 40588 40581 40585 40586 40590 40594 40597 42206 42205 44573 44660 44685 44686 44607 40589 42286 42278 42279 42282 42277 42280 42276 40583 40592 40601 42083 40604 41736 41739 41738 41698 41740 41733 41735 41734 41694 41737 44631 43019 43034 43020 42211 43045 43032 43028 42214 43033 43049 43022 43043 43035 43047 43037 42221 43025 43042 43046 42218 42212 42216 43021 43024 43029 42066 42064 42076 42077 42072 42065 42075 42078 42071 42074 42082 42069 42067 42080 42081 42068 42070 42073 42079 42090 37161 35645 35648 37163 37158 37159 37160 37164 35643 37162 35644 35646 44569 44163 44570 44558 34709 34710 34705 34707 34706 34708 34682 34683 34684 34652 2013 2011 1613 1614 1619 32371 32370 2009 2014 2008 2006 2016 2015 45516 45529 44202 42283 34787 32260 32274 32268 32273 32280 32256 34674 34673 34672 34703 34704 34702 34701 32283 34700 34699 34696 34697 34695 34698 34655 34302 32271 32277 32286 1586 1234 1585 1926 1863 1864 1862 1854 1855 1851 1852 1856 1853 1857 1859 1858 1850 1860 1846 1847 1848 1849 2010 43074 41732 2012 1861 32358 32359 32360 32164 31769 31771 32163 32165 32167 31770 32166 31772 31765 31768 31766 30689 32270 32267 32279 32276 31773 34786 34784 34669 34657 34667 34668 34670 34671 34659 34658 34660 34663 34666 34661 34665 34664 34662 32285 32282 34650 37165 37098 37134 37132 34689 34656 34649 34647 34646 34645 34642 34641 34643 34644 34648 34640 34639 34634 34636 34637 34638 34635 34633 34632 34630 34631 33151 33153 33152 33155 33150 33154 33149 33156 33147 33148 34629 33146 33145 34628 34254 34298 34292 34290 34291 34296 34297 34299 34300 34293 34295 34289 34294 34287 34288 34286 34625 34626 34624 34627 34304 34232 34619 34272 32356 32357 34273 34258 34257 34246 34253 34249 34251 34245 34248 34252 34250 34247 33895 34242 34238 34241 34244 34239 34243 34240 34687 34711 34237 34235 34236 34129 34234 34233 27213 34128 1028 1236 761 729 671 1022 760 735 1041 732 736 1042 763 766 1025 764 998 762 966 1027 1237 674 1026 727 1045 730 1235 734 1029 1000 672 1023 739 676 728 731 765 759 733 679 673 1024 1043 670 31767 29833 29834 29832 29835 29830 29831 29828 29826 29827 29829 29824 29695 1923 1921 1922 1919 1925 1924 1920 2256 2260 2261 2259 2258 2257 2262 2255 2253 2254 1044 677 669 30691 2548 1302 1301 2552 2553 2550 2551 2549 2740 2741 2738 2747 2737 2745 2744 2646 2547 2546 2545 2544 2642 2739 2743 2742 2641 2644 2643 2640 2650 2647 2648 2645 3036 1271 3023 1270 3037 1331 1330 1388 1389 1445 1416 1447 1418 31822 32169 32168 32159 32158 32160 32157 32155 32156 32162 32161 2736 2735 2249 2150 2540 32170 31819 31820 31817 31816 31818 31777 2636 1359 1360 31414 31763 31764 31762 31761 31760 29693 2237 3067 2243 2244 2236 3054 2240 2151 2153 2543 2542 2234 2242 2227 2238 2233 2246 2248 3068 2128 2149 2148 2156 2139 2155 2639 2638 2163 2144 2140 2142 2138 2161 2132 2162 2135 2146 2154 2143 2136 2145 2157 2160 2241 2247 2231 2245 2250 2239 2235 2251 2252 2152 2158 2159 2147 2134 2137 2141 31824 31758 31759 31757 31752 31802 31803 31801 31756 31754 31753 31755 31794 31800 31648 31649 31646 31647 31638 31799 31798 31645 32154 32153 32152 32150 32151 32139 32176 34740 34753 7570 7569 7573 7574 7572 7571 2887 3626 3625 2934 2888 2935 15580 15585 15583 15581 15584 15582 15579 15578 15232 15234 15231 15230 15233 3367 3617 3620 3621 3378 3379 3370 3376 3377 3340 3371 3183 3141 3184 3155 2346 3096 3083 3097 3112 3126 3125 1252 3004 3017 3213 3211 3018 1251 3154 3182 3212 11331 10627 10626 10654 10656 10648 10632 10652 10651 10634 10636 10633 10624 15564 15559 15568 15565 15562 15563 15561 15560 15569 15567 15566 15225 14879 15224 15571 15570 15573 15575 15574 15572 15227 10676 15228 15229 15226 15223 10605 10604 10603 15577 15576 4663 4711 4664 4665 6502 4709 4708 4710 4666 4707 6489 6487 6492 6548 6547 6499 6501 6500 13134 13131 13133 11044 13120 13130 13132 11046 11045 12459 12661 12515 12604 12605 12617 12556 12502 12487 12452 12463 12561 12542 12415 12649 12569 12519 12470 12673 12671 12468 12646 12440 12555 12412 12504 12613 12622 12590 12606 12672 12621 12418 12467 12571 12454 12445 12499 12539 12402 12664 12407 12665 12458 12399 12401 12657 12417 12414 12517 12406 12647 12641 12558 12654 12550 12500 12562 12601 12600 12674 12377 12378 12623 12521 12572 12471 10453 12424 12596 12589 12650 12610 12461 12450 12668 12651 12493 12551 12511 12451 12420 12603 12462 12496 12549 12419 12503 12616 12455 12408 12541 12553 12449 12559 12514 12614 12659 12393 12505 12643 12565 12442 12658 12666 12497 12416 12410 12544 12670 12662 12607 12453 12546 12510 12456 12547 12508 12602 12660 12564 12593 12644 12464 12512 12460 12538 12663 12444 12404 12457 12609 12507 12409 12397 12448 12554 12422 12411 12495 12518 12469 12506 12516 12400 12611 12618 12520 12423 12443 12498 12466 12509 12403 12465 12545 12563 12447 12552 12490 12557 12667 12653 12398 12669 12619 12597 12567 12560 12648 12640 12488 12405 12501 12421 12655 12595 12568 12592 12612 12394 12608 12598 12599 12656 12446 12513 12548 12491 12620 12570 12566 12396 12615 12413 12494 12652 4712 4808 4758 4807 8594 6644 8542 6696 4827 8595 6697 6695 8593 8544 6646 8543 6645 4809 5194 5196 5195 4757 1841 1845 1844 1233 2982 2936 4825 4826 2618 2541 2635 2632 2621 2623 2626 2637 2620 2631 2624 2614 2628 2629 2627 2634 2633 2622 2625 2630 2734 2733 2444 2445 3167 3192 3165 3138 3050 3189 3108 3168 3134 3137 3190 3196 3107 3038 3079 3074 3104 3082 3020 3077 3218 3169 3102 3076 3166 3139 3132 3043 3131 3164 3163 3044 3197 3135 3051 3214 3133 3103 3098 3052 3162 3049 3136 3069 3220 3185 3140 3075 3191 3198 3219 3161 3225 3110 3106 3047 3160 3081 3194 3127 3046 3111 3193 3195 3073 3053 3078 3156 3022 3048 3105 3045 3042 2983 13129 13121 13128 13127 3001 2430 2328 2025 2717 2350 2341 2340 2442 3019 2113 2432 2530 2111 2336 2447 2723 2112 2115 2525 2356 2354 2533 2538 2097 2439 2529 2443 2096 2450 2721 2345 2100 3109 2535 2434 2102 2441 2348 2099 2718 2729 2106 2353 2448 2456 2117 2109 2446 2438 2455 2110 2730 2338 2537 2451 2452 2720 2107 2732 2725 2722 2518 3021 2094 2421 2440 2090 2352 2711 2330 2116 2449 2715 2335 2358 2435 2347 2728 2359 2425 2342 2103 2333 2095 2436 2351 2731 2332 2083 2105 2339 2724 2104 2089 2527 2087 2427 2337 2331 2324 2524 2532 2453 2437 2092 2727 2108 2334 2093 2357 2428 2534 2343 2098 2454 2091 2531 2522 2714 2349 2526 2114 2431 3080 2716 2429 2344 2101 2536 2719 2726 2539 2528 2355 2433 34301 34713 34651 34747 34748 34736 34760 34757 34744 34759 34756 34751 34750 35638 35636 35641 35637 35640 35642 35634 35635 35633 35628 35627 35629 35626 35632 35631 35625 35630 37156 37154 37153 37155 37152 37148 37151 37141 37146 37149 37150 37145 37147 37140 37142 37144 37143 34766 37137 37138 37139 37135 34765 34763 34762 35624 35617 35622 35618 35619 35623 37136 43062 43081 43075 43060 43059 43057 43058 44177 43044 42223 43023 43030 44538 43052 44693 42215 43036 42210 43038 43040 42217 43027 42213 43048 42219 42222 42220 43031 43026 2018 4232 6025 6166 6165 6122 4230 5928 6068 6069 4231 5972 5971 5683 5676 3979 3980 5681 3937 5732 3794 5679 2203 5680 5682 3895 5674 5675 5678 5684 4133 5673 4329 4285 4326 4229 5874 5831 5875 4328 4327 4132 5671 3994 4038 4036 4037 4135 4134 5672 4035 5677 3939 5686 3938 5776 2204 5685 5775 2017 4127 4319 4289 4318 4320 4287 2496 3833 3832 4129 4128 3930 3897 3899 3935 3900 3928 3934 3931 3793 3792 3791 3790 3932 3933 3898 2788 2786 4321 4324 4288 4125 4225 4226 2594 2593 4124 2691 2399 4131 4031 4033 4027 4370 4273 4369 4272 4325 4323 4322 4227 4228 2302 2689 3999 4029 2497 4034 4032 3929 4130 2056 2057 4030 2303 3996 4028 4126 3997 3998 2400 4313 4315 4317 4120 4119 4123 4121 4314 4024 4291 4000 4022 4023 4026 3925 3924 3789 3901 3927 3923 35621 35620 35639 4424 6261 4417 4416 4421 4220 4523 4517 4409 6262 4383 4414 4217 4425 4410 4518 4384 4418 4419 6263 4426 4420 4480 4522 4224 4223 4423 4415 4422 4221 4521 6360 4222 6358 4385 6359 4515 4481 4216 4520 4516 4519 4218 4387 4411 4413 36720 5730 7729 3892 5729 7773 7826 7870 7628 7585 5687 7630 8161 5638 7967 7923 8258 3893 8160 8257 8020 7674 8064 36718 36719 4095 4094 4096 4093 4097 4091 43087 44224 43041 44567 43086 43061 43091 44561 44563 43080 43084 44038 44046 43039 36781 37204 37131 37212 37194 38073 38079 37251 37253 37250 37260 38072 38090 38076 37249 37193 37252 37254 38091 37256 38085 38092 38069 41730 41731 41697 24881 38064 37258 38083 38070 38068 38082 37259 38084 37255 38075 38088 38087 38071 37257 38080 38074 33103 32297 33106 33116 33107 33127 33119 33129 33126 32291 30653 33130 32293 32292 32295 27328 33125 32294 33123 32290 33124 32289 33128 28173 33118 34768 37248 38066 38078 38089 38081 38077 38086 25725 25726 41712 41713 41729 41727 41728 41725 41726 30654 40573 35614 38094 33134 39728 32288 33133 35612 38093 35613 33132 33111 40568 40569 39734 40560 40571 39737 40551 40570 40549 39738 40543 39741 40555 40545 40540 40553 40559 39732 40542 40566 40572 40544 39733 39730 40554 40564 40558 40565 39729 40547 40556 39731 39739 40548 40541 40561 40562 39736 39743 39740 40552 39735 40563 40567 40557 40546 40550 39742 37224 37234 37233 37240 37225 37203 37239 41724 42224 40539 43050 40606 42163 37263 33102 32302 38067 33110 32300 33114 32298 32301 38062 33108 38065 37262 33117 44568 33105 33131 28174 33100 33101 32296 38061 32299 37261 33112 33113 33109 33115 33104 38060 33121 29808 33122 33120 38063 32303 37227 37228 36732 36729 36728 36730 36731 36727 36733 33099 36723 36724 36721 36726 36725 36722 36717 36716 36715 36713 36714 36609 36608 15703 16548 23340 17906 18751 21015 20170 22495 14406 14407 21016 16549 14405 30652 36779 36780 36775 36776 36777 36778 37119 37127 36734 37130 37121 37123 35649 37122 37120 37124 37128 37126 37129 37125 36712 23339 10306 11480 12325 8347 8346 10305 7501 5603 4612 6449 2836 3766 6448 8345 4610 9460 4611 12324 13561 16547 18750 18752 25727 23341 12326 21014 28172 10304 6446 5604 6447 6445 38059 10301 10300 9462 9461 10302 10303 2834 34773 35610 35584 34778 35588 35601 34780 34770 35598 34777 35595 34779 35606 35597 35596 35609 35591 35586 35602 35611 35582 35590 35600 35592 35593 35587 34775 34772 35605 35604 35580 35581 34769 34781 35608 35599 34783 35603 35607 34776 34771 35583 35594 35589 34782 35585 34774 35579 41721 41722 41723 41672 41714 41718 41720 41719 2831 2830 2835 2833 2832 42235 42289 42288 42287 42234 42233 42231 42232 42236 44770 44769 44193 44158 29836 29880 29881 33169 37275 37271 37272 15222 15221 15114 15219 15220 15218 29882 29883 4193 4194 4188 24759 24426 24760 24761 27401 27398 27396 27397 27400 27399 7583 7582 7584 7673 24758 24757 7869 7772 8256 7966 8159 8063 7627 4290 4386 6317 6347 6345 6351 6349 6353 6350 6354 6356 6348 6341 6346 6343 6344 6338 6335 6339 6336 6333 6355 6334 6325 6337 6357 6322 6326 6321 6324 6352 6342 6340 6323 6320 6318 6319 6316 4192 4191 4190 4514 4511 4513 4482 4512 4508 4506 4484 4507 4510 2384 2389 2391 2379 2376 2398 2378 2380 2393 2394 2377 2386 2382 2396 2395 2381 2383 2390 2374 2388 2371 2387 2397 2392 2385 4122 4025 3995 3926 3896 4200 4202 4196 4207 4208 4203 4204 4205 4199 4215 4212 4214 4206 4201 4198 4210 4209 4211 4197 4195 4219 4005 3910 4013 4018 4101 4118 4098 4103 4099 4104 4102 4114 4106 4100 4107 4105 4010 4109 4117 4113 4111 4116 4110 4112 4002 4021 4012 4115 4108 4004 4014 4015 4009 4001 4019 3907 3909 3905 3902 3903 4011 4020 4017 4003 3906 3908 4016 4008 4007 3922 4006 3914 3915 3921 3918 3916 3919 3904 3920 3917 3912 3911 3913 4286 4316 4407 4400 4393 4394 4399 4398 4395 4391 4405 4401 4404 4296 4392 4486 4492 4488 4490 4485 3869 4412 4396 4397 4406 4390 4389 4311 4302 4304 4295 4307 4312 4308 4479 4509 4306 4293 4299 3873 3888 3879 3880 3887 3884 4498 3865 3882 3801 3881 3863 4501 4294 4292 3889 4301 4505 4310 4303 3870 4297 4300 3876 4305 3877 3891 4403 4402 4388 4408 4298 4489 3866 3868 4500 3890 3874 3886 4496 3883 3872 3861 3871 4503 4499 4497 4495 4502 4491 4309 4493 3859 3867 4487 4494 4504 3878 3875 3885 2672 2688 2675 2681 2674 2686 2673 2676 2667 2670 2680 2661 2669 2666 2679 2687 2685 2684 2671 2668 2678 2683 2682 2664 2677 4078 4079 4175 4176 4465 4467 4466 4562 4564 4563 4460 4462 4459 4458 4463 4456 4461 4454 4455 4382 4092 4189 4483 4556 4559 4553 4555 4557 4554 4552 4558 4561 4551 4560 7874 7715 7777 6304 5916 7814 5632 5817 7529 8008 7971 8201 8105 8068 8202 5629 5630 7678 5631 7530 7568 6110 5670 7527 7528 5628 6302 6013 6206 6207 7911 6401 8299 6399 8298 5625 5623 5619 5626 5624 5627 5622 8200 8104 5780 5879 6170 6303 5976 8297 6400 3943 4042 4139 4333 4236 3787 3788 3786 5816 7581 5915 6012 6109 7910 7813 7578 7577 7580 7579 7575 7576 4850 4864 6595 6549 8493 8447 5010 3795 5669 24756 24752 24753 24749 24748 24755 24750 24754 24751 15722 20189 20193 20198 20197 20194 20196 20195 20192 20190 20191 15284 15719 15721 20186 20188 15113 15110 15111 15109 15112 15557 15558 32463 32512 32416 32355 32502 32505 32513 32514 6073 13589 13587 13588 13580 13584 13586 13585 13582 13579 13577 13583 13581 8007 18795 15727 15726 2493 2479 2492 2477 2485 2494 2488 2473 2484 2489 2468 2478 2481 2476 2495 2471 2486 2487 2491 2475 2483 2474 2482 2490 2480 15554 2289 2197 2187 2201 2180 2191 2186 2196 2199 2175 2200 2185 2192 2280 2288 2285 2286 2296 2300 2301 2279 2295 2287 2277 2298 2293 2283 2282 2297 2294 2290 2178 2202 2188 2182 2274 2299 2292 2291 2284 2198 2195 2181 2281 2184 2189 2194 2193 2190 2183 2591 2575 2576 2589 2581 2573 2586 2565 2583 2570 2568 2588 2585 2584 2577 2582 2574 2580 2579 2571 2578 2590 2587 2592 2572 27352 13690 13775 21012 21013 20171 34791 34795 34792 34653 34793 34796 34794 6594 6715 8645 8644 8646 17924 17925 17922 17927 17926 17928 17929 17930 11548 11549 11550 10404 14445 14447 14457 14450 5664 5658 5668 5660 5666 5667 5663 5665 5661 5662 5659 10430 10438 10446 10440 10439 10425 10436 10443 10437 10429 10426 10422 10432 10441 10431 10447 10444 10435 10428 10420 10434 10423 10408 10442 10427 10433 10445 10424 14505 11506 11505 11502 11504 11503 11501 11496 11498 11500 11507 24903 24904 9481 9476 9483 9482 9480 9479 9478 9633 9544 9587 9589 9674 9637 7526 7525 7522 7520 7519 7517 7523 7521 9542 9543 9632 9586 7524 9487 9488 9541 9486 11706 11705 11564 11607 11609 11653 11652 11606 11655 11563 11608 11694 9539 9484 9538 9540 11547 9485 9531 9533 9534 9532 9536 9535 9537 11546 7567 13738 13787 13786 11562 11561 11508 7714 11693 9673 20243 22518 20241 20238 20239 20242 20240 22516 22517 22515 17933 17934 17932 17931 24899 24902 24901 13930 11704 11802 11849 13788 13835 11754 13884 13883 9829 14220 11848 14262 14080 13785 14123 11899 13628 14165 13971 13934 13789 13833 11751 11708 11752 11805 13736 11707 14067 13645 9785 11803 13874 14124 14317 14027 13688 13689 9828 14318 13983 13929 13886 14359 14068 11900 14219 14026 14221 11946 12180 14358 10217 12181 12236 12042 14261 11509 10118 10216 12235 12140 25054 25010 12139 10119 10120 12237 10022 9588 11902 12277 12278 12138 10161 9527 9870 10064 9967 13590 10258 9773 11987 11657 14031 11793 11950 9526 12043 11999 9925 13837 10215 11945 9731 9732 9688 11890 11853 11756 14128 12084 12047 9979 10023 9882 9926 9772 10063 9966 10256 10159 9869 20296 20236 20237 20297 20254 20250 20252 20249 20248 20251 25008 24965 9530 9528 9529 10027 10160 10257 9930 9489 9833 9736 12083 11889 11792 12276 11986 12179 18131 18132 16113 18275 16363 15977 15930 22963 22914 22819 16076 16458 16361 16222 16168 16362 16169 18663 18565 18566 18425 18469 16125 16459 16071 18662 16265 18178 18134 18231 16028 16072 22913 22866 22915 22816 17973 17935 15770 15732 22769 15929 15832 18079 15875 15876 18035 23013 23010 23011 23012 18372 18328 15917 15880 22721 22719 22720 22712 22670 22722 20199 22623 22817 15830 15787 15829 18034 22818 22908 18081 20298 22916 16210 18371 15831 18033 17990 16016 15979 18078 16500 16501 18564 18661 18468 18177 18274 15974 15975 15931 20245 18032 20244 20246 17986 17985 17977 17975 17974 17976 17978 17979 17987 17981 17982 17984 17980 17988 17983 17989 28168 10597 10574 10558 10573 10562 10599 10577 10579 10601 10585 10560 10564 10590 10565 10602 10588 10582 10567 10575 10586 10557 10556 10594 10593 10584 10587 10559 10566 10596 10600 10568 10583 10578 10581 10589 10563 10595 10592 28170 27330 28171 28169 27329 37274 37276 36737 37273 12727 12722 12725 12721 12720 12724 12723 9783 9782 9685 9686 9687 9635 9734 9684 13832 13733 13687 13774 4367 4359 4358 4368 4365 4363 4364 4366 4361 4362 14316 11560 11559 11552 11551 11557 11555 11553 11554 11556 11558 13970 13873 15724 15725 15723 15730 15729 15731 13563 13562 14401 14402 14404 14403 4068 4070 4069 4077 4073 4076 4074 4075 4067 15878 23378 24017 5009 4981 4968 4464 4457 5011 4982 36774 36773 32465 32317 27351 27354 27353 27356 27355 37118 37117 37116 36772 36771 36770 36769 36738 36374 37113 37112 37110 37109 37108 37106 37107 36767 36766 36753 37104 37105 37115 36768 35651 37114 37111 33171 37474 37570 37475 37465 37571 37472 37376 37522 36752 37133 33894 35081 34982 34835 35040 35039 34897 34941 34940 34895 34894 34852 34996 35026 35034 35032 35035 35038 35033 35037 35031 35030 35036 35028 35029 37852 35178 35275 37755 37658 37561 37462 37315 35330 35331 35234 35190 35137 35093 37617 37573 37670 37476 37520 37332 37375 37421 37377 37714 35372 37480 37478 37481 37505 37517 37502 37506 37519 37516 37509 37508 37503 37511 37501 37515 37499 37500 37504 37486 37498 37497 37477 37494 37482 37496 37495 37484 37479 37483 37510 37518 37512 37514 37513 37491 37488 37492 37493 37490 36375 37099 27350 27348 27349 27344 27347 27346 18228 13627 3850 18180 18133 18130 11901 11997 11898 12190 12191 12045 11995 12092 12142 12095 12239 12192 12289 12286 12189 12287 28935 24897 24900 37507 14164 14357 14260 16404 11998 12288 11851 16307 11801 16173 11804 16026 16025 16403 12094 11948 12093 20253 16460 15928 10561 10598 20247 16266 10580 16270 11996 10591 10576 34998 34999 35001 35000 34997 34945 34797 37331 37329 37330 37326 37327 37374 37420 37949 37907 37908 35428 35427 35469 35566 38005 38004 35525 35524 35523 42226 42227 42229 42230 42228 37267 37266 37264 37270 37268 37269 39744 39746 39756 39751 39750 39749 39748 39753 39755 39754 39752 39747 40388 40429 42964 45486 42868 40387 45496 40483 45489 40485 40526 43006 40484 40386 42965 43005 45485 45494 45497 42909 42867 42908 39991 42866 39942 42775 39903 40097 39986 39997 40235 42724 39945 42577 39901 40193 42521 42484 42422 42434 42275 42237 39854 39900 42533 39953 40053 39857 40247 40290 39855 40150 42678 42435 42385 42292 40291 40332 39996 42771 39988 42480 42812 39856 39995 39993 42432 42425 39999 39959 42380 42674 39795 42676 39812 42725 42715 39994 39992 42436 42337 42433 42336 42334 39998 42383 39990 39989 39952 40041 40000 39956 40194 39954 40138 40096 42381 42618 42581 42727 42335 42290 39958 39960 39957 39961 42291 40536 40535 35177 35080 34834 34981 24949 24953 24954 24952 24951 24950 40141 40146 40147 40149 40099 40148 40050 40002 40052 40051 40049 40044 39955 22520 22519 22521 23205 23206 23108 23109 23207 23301 23296 23060 23110 23107 23252 23292 23293 23251 22523 22522 22572 22576 20927 22570 22574 22577 22571 22575 22569 22573 22578 20926 23250 23155 23014 23195 23196 23062 23058 23153 23099 23154 22668 20342 20299 20343 22667 20347 22621 22624 22709 20384 22579 22622 22708 15728 22808 20495 18473 18703 20636 20592 22820 18606 22766 22767 18704 22960 22961 20635 18120 22863 20640 20441 18510 18083 18219 23002 18413 20538 18182 22917 20446 20442 20539 20677 20483 18607 22905 20398 22723 18376 22864 20968 20829 20870 20925 20830 20967 20871 20383 23057 20689 20828 20733 20732 20774 20737 22807 23001 20482 20676 22562 22563 22566 22564 22567 22565 22568 22672 22524 22965 20580 22771 22868 20773 20869 4360 13734 4071 5621 11499 3936 4072 4213 42579 42482 42531 42628 42621 42532 42629 42626 42627 42529 42524 42530 40245 40244 40341 40342 39987 39980 39984 39985 39982 39981 39983 40439 39964 39963 40238 40246 40243 40196 40335 40293 40343 40340 40437 40432 40440 39962 34846 34847 34848 34851 40198 37485 39757 39965 35274 39969 40390 40438 32795 32661 32698 39968 39966 39970 39967 39973 39977 39972 39971 39975 39974 39976 35426 35287 34850 34849 37767 34930 35233 40101 37906 37811 34927 37810 34931 37489 37487 34929 34932 34934 34937 34933 35136 34938 37713 40428 40295 34901 34899 34902 34898 34900 34936 34939 34935 39979 39978 39905 37616 40004 40525 38003 38046 37277 39794 37621 37425 37524 37948 37718 45388 45389 45347 45400 45397 45348 45392 45399 37815 38045 45346 39808 39809 39811 39807 39806 39810 35229 35232 35226 35228 35224 35220 35231 35223 35230 35225 35222 35227 35192 35195 35194 35191 35193 35292 35291 35289 35290 35288 35322 35319 35320 35329 35328 35327 35323 35317 35324 35326 35321 35325 40529 40537 40534 35385 35388 35418 35413 35425 35419 35423 35421 35387 35386 35384 35417 35415 35416 35422 35420 35424 40487 35133 35132 35127 35126 35134 35130 35123 34857 34854 34853 34855 34856 34889 34888 35125 35129 35128 35131 35135 34892 34890 34893 34886 34891 34884 34882 34883 34887 34885 35098 35097 35095 35094 35096 35520 35519 35510 35521 35517 35513 35512 35515 35522 35516 35514 35518 35481 35485 35483 35484 35482 40538 35371 35467 34789 34790 34788 35564 35466 35266 35269 35363 34972 34827 34831 35368 35267 35563 35272 35461 35465 35562 34971 35364 35555 35076 35264 35369 35370 35462 35175 35560 34978 35558 35362 34977 34828 35360 35366 35265 34976 34975 35456 35463 35070 34980 35079 35174 35464 35075 34830 35072 35561 35559 35554 35556 35557 35367 34824 35460 35176 34823 35270 34979 35553 35077 35071 35078 34832 34825 35271 34970 34826 35069 35263 35273 35458 35361 34973 34829 35172 35457 35168 35074 35073 35167 35171 35459 35268 34974 34833 35170 35166 35365 35173 35169 44714 44716 44715 44771 42630 45498 42576 42963 42479 42770 42673 39941 44914 44913 44915 44863 44817 44861 44912 44815 44905 44816 44772 44902 44755 44865 44717 44814 44860 40040 24908 24909 24907 32758 45203 45295 45204 45156 45154 45205 45251 45206 45302 45110 45207 45300 45303 45198 45292 45255 45195 45158 32515 45253 45301 45010 45107 45057 45108 45109 45013 45101 45250 44960 44962 45012 45106 45059 45056 29875 30022 30121 45153 44916 45004 45061 44964 45001 24906 29886 24905 29874 29884 29885 30021 32415 32461 32372 32417 32414 32460 45443 45445 45444 40137 30025 29980 29892 29935 29981 30032 29934 29937 29936 32892 45350 45398 45495 45447 32855 33086 33085 32989 32988 29887 29889 29888 29890 45011 45098 45009 44959 40234 40524 40331 40427 39843 40089 40093 40087 40091 40153 40445 40088 40249 40479 40054 40155 39813 40189 39844 40288 40279 40281 39852 40284 39850 40180 40184 40186 40188 39889 39890 39896 40347 40348 40478 40477 40482 39845 39851 40187 39849 39846 39847 40151 39842 39853 40094 40083 39848 40055 40442 40443 40250 40444 40090 39860 39862 39861 39859 39858 40346 40376 40377 40380 40382 39898 40379 40474 40472 40473 40481 40480 39899 39892 39887 39895 39894 39897 40373 40375 40378 40381 40383 40384 40385 40345 40344 39893 39891 40056 39817 39816 40057 40192 39815 40190 40154 40252 40152 40248 40085 40092 40095 40086 40283 40185 40470 40476 40286 40191 40183 40475 40277 40285 40280 40289 40182 40287 40282 40058 40251 39814 40441 30218 32601 32564 30036 30080 32657 32613 32656 30315 30412 30606 30509 32851 32807 32850 32948 33045 32947 32710 33044 32754 32946 33043 32753 30133 30177 30467 30565 30370 30274 30230 30371 30466 30273 30176 30563 30327 30564 30468 35022 35019 35002 35025 35005 35003 35020 35027 35021 35018 35023 35004 35024 35468 35565 35044 35335 35141 35238 29891 32560 32516 25206 25250 25540 25541 25400 25637 25638 25444 25347 25303 32553 32520 32517 32555 32546 32559 32556 32519 32551 32554 32552 32521 32525 32557 32558 32536 32541 32547 32528 32535 32530 32539 32531 32545 32523 32534 32522 32540 32544 32542 32543 32533 32524 32537 32526 32538 32532 32529 32550 32518 32548 32549 32527 35016 35014 35015 35006 35017 35010 35011 35013 35008 35012 35007 35009 25203 25204 25157 25194 30120 35090 35091 27407 27406 27408 27411 27410 27409 35187 35188 30217 30079 30411 30314 34994 34896 34943 34993 30507 35139 34995 34985 34992 35186 35181 35042 35189 35084 35092 35089 30071 30070 30066 30038 30039 30068 30037 30073 30074 30076 30077 30040 30069 30072 30041 30075 30078 27456 27503 27554 27553 27545 27555 27552 32354 32501 25009 24910 24948 25058 25095 25007 25053 20966 20579 24963 24962 24964 25291 25254 25300 25252 25205 25301 25202 25153 25109 25448 25388 25107 25056 25485 25108 25098 25105 25106 25155 25351 25197 25582 25636 25539 25443 25581 25678 25398 25349 25397 25249 25346 25152 25679 25302 25294 25299 25391 25399 25396 29837 29985 29983 30033 30034 30035 27455 27412 27457 27501 37423 37314 18279 20543 18316 27454 27500 27542 27395 27394 27541 32891 30084 30130 30131 32708 37667 37668 32701 32706 30181 27650 27651 30082 30605 30508 30278 30375 30228 32709 32901 32902 30229 30221 30226 28084 28085 28029 28126 27987 27988 32805 32804 30324 30422 30373 30421 30276 32853 30323 30325 30326 32803 32806 32798 30318 32756 34130 27697 27738 27653 27794 27835 27750 28083 27793 27737 27847 27891 27696 27932 27890 27986 27602 32600 30129 30124 30132 37619 27641 27600 27556 27599 27640 34136 32697 32794 37564 37569 37572 32610 32604 32609 32611 32707 32562 32612 27748 27747 27652 27649 27699 27749 27746 30179 30227 32659 27845 28028 28125 22811 22904 27505 27357 25094 24956 24961 24960 24959 24957 24955 24958 27701 27604 24947 27798 27895 25290 25193 25387 27644 27741 27834 27931 28027 30044 30061 30060 30063 30064 30042 30043 30062 30065 30059 30067 30058 30047 30054 30055 30057 30046 30056 33096 33095 32900 32999 32903 32998 32895 32950 32997 32992 33000 33047 33089 33097 33094 37764 37765 30045 33084 27402 32987 34132 34173 34174 34143 34145 34162 34171 34172 34146 34166 34159 34157 34160 34144 34152 34148 34158 37763 36390 36395 36376 36440 37862 36469 36455 37861 34161 34164 37855 37860 37813 37560 37461 37863 37657 36468 30415 34163 30423 30420 36426 36389 36439 36408 36409 37754 37661 37669 37666 37716 37758 37766 27838 27843 27846 27796 25493 27844 25446 25494 25495 25496 25488 27943 27941 27942 27935 27893 27940 33960 33896 33946 33975 33915 33909 33929 31650 33989 33910 31672 31686 31682 31693 31652 31656 31663 31677 31679 31665 31664 31668 31692 31691 31694 31678 31666 31680 31415 33928 33959 33988 36612 36640 36610 36642 36639 36653 36625 38920 36624 36652 38906 36620 35286 35382 35236 35375 35278 35284 35283 35381 35380 35333 35285 35383 30016 30402 30020 30115 30405 30403 30113 30216 30119 30208 30400 30410 30210 30010 30206 30595 29864 29867 29974 30499 29976 29969 30500 29869 29866 29977 30598 30599 29978 30307 30303 30304 30306 29924 30167 30559 30163 30465 30521 30137 30461 30362 30357 29933 29923 30332 30262 30554 30270 30165 30166 29930 29922 30212 30330 30501 30453 30234 30268 30231 29929 30462 29870 29972 30308 30459 35574 35577 35477 35578 20727 20719 20725 20723 20728 20731 30426 30265 30460 30525 30558 29894 30015 30011 30503 30457 30211 30555 29868 30310 30329 30172 30138 30604 28124 20690 20691 20693 30464 29928 30266 30112 30235 29926 29979 29971 29865 30523 30363 30260 30455 30109 29893 30117 30561 30019 30562 29940 30331 29932 20729 20724 20721 20722 20730 20692 20726 20694 30173 29967 29975 29938 29942 30271 30267 29925 30168 30264 30272 30407 30309 30312 30553 30502 30505 30401 30596 29931 30169 30207 30012 30213 29872 30018 30111 30552 30425 29973 30014 30498 30593 30406 30600 30496 30233 30017 30313 35576 35480 35527 35430 35478 35479 35472 35569 35575 30263 30328 30550 30369 30602 30506 30427 30114 30110 30209 30504 30118 30597 30594 30497 30365 30522 30560 30364 30367 30557 30171 30175 30556 29896 30214 30359 30170 30136 30135 30404 29871 30524 29895 30424 30269 29970 29897 30428 30458 30456 30134 30361 30174 30232 30311 29927 30305 30408 30366 30601 30360 29939 30463 30368 29941 29873 30215 30013 30409 29863 30603 30116 27403 27405 27404 25585 25591 25592 25590 25593 25543 25689 25688 20494 20397 20396 20491 20590 20394 20395 20444 20589 20541 20345 20493 20492 28040 28087 27990 28135 28136 28039 20387 28038 28037 25640 28032 25484 29176 29170 29183 29188 29172 29185 29184 29186 29200 29199 29197 29198 29192 31706 31705 31708 31707 31696 31700 34004 34018 31738 34075 31728 31674 31710 34076 31669 31690 31670 31676 31735 31688 34033 31689 31720 34047 31722 31736 31724 31749 31733 31721 31719 31654 31748 31659 31661 31747 31734 31651 31662 31750 31742 31667 34104 31653 34105 31683 31681 31714 31675 31751 31684 31479 31480 31466 31416 31429 31449 31430 31448 31435 35208 35103 34916 34908 35111 35491 35104 34870 35113 35114 35404 35201 35500 35403 35209 35210 35394 35297 34872 34862 34918 35112 34863 34873 34917 35119 35118 35405 34874 35488 35295 35502 35219 35100 35217 35199 35213 35505 34920 35124 35412 34861 35296 35390 34903 35487 35212 35503 34928 35314 35309 35221 35508 35511 35489 35121 35120 35122 35310 34879 35117 35115 35218 35293 34921 35101 34860 34922 34919 34881 35313 35102 35311 35507 35312 35406 35198 35214 34905 34878 35318 35409 34876 34926 35407 35486 35099 34859 35294 35197 31658 35200 35306 35490 35211 35401 35402 35305 35501 35393 35307 35498 35298 35308 34907 34871 34915 35499 35215 35116 34875 34904 35509 34925 35414 34858 35408 31660 35410 34923 35389 34877 35411 35315 35216 35392 34880 34906 35391 35316 35506 35196 35504 34924 29073 31495 31508 29202 29212 29213 31509 38057 38056 33036 32907 37957 37910 37960 37952 32812 32845 32457 32809 32421 32458 32940 32849 37958 32808 32714 32742 32746 32750 32712 32711 32654 32752 32745 32747 32713 32748 32749 32744 38007 38055 38058 38049 38054 32944 32908 32403 32323 32448 32422 32418 32447 32409 32450 32406 32455 32454 32459 32449 32452 32648 32617 32848 37959 32743 32715 32839 32837 32939 32451 32810 32841 37947 32842 32905 33030 32846 32811 32843 32847 33039 32844 33035 32649 33032 32941 33041 32618 32646 32651 32377 32643 32410 32412 32404 32413 32374 33004 32647 32645 32614 32615 32652 32650 32419 32456 33037 32420 33001 32942 32453 32751 32616 32376 32407 32408 33033 32945 32405 32938 32373 32402 32904 33038 33005 32933 33042 32840 32655 33034 32653 33003 32943 33040 33002 32936 32935 32937 32906 32375 32740 32411 38855 38919 20486 37851 42718 42723 42726 38044 42822 42773 42821 42815 42820 34154 34153 34151 34186 34176 34185 34180 34187 36498 36484 36497 42823 43017 43014 42912 42917 43016 43009 42919 42920 42918 42967 42870 43015 43018 34206 37355 37386 34223 34202 34214 34178 34175 34203 34221 34225 34224 34213 34167 37697 37709 37711 34140 37598 37609 37582 37611 37706 37600 37615 34196 34142 34134 34208 34181 37400 37677 37363 37961 37417 37797 37968 37576 37366 37869 37378 37772 37406 37963 37676 37789 37381 37699 37962 37795 37612 37601 37610 37803 37793 37698 37694 37704 37710 37700 37607 37671 37382 37695 34195 34179 34137 37362 37384 37796 34216 34229 34184 34198 34212 34231 34226 34228 37885 37872 37595 34197 34183 34149 37994 37338 37372 37339 37703 37602 37608 37871 37693 37605 37574 37606 37603 38001 34139 34141 34133 37415 37707 34131 34230 34227 36554 36583 34194 34204 34135 34199 34138 34188 34177 36527 36513 34201 34200 36526 34170 34207 34182 34147 37988 37597 37673 37769 37679 37596 34150 34169 34193 34191 34205 34210 34209 34189 34165 34168 34190 34215 37354 37984 37997 37385 37905 37901 37360 37405 37982 37770 37791 37801 37865 37702 37708 37990 37864 37359 37399 37599 37867 37335 37578 37365 37379 37336 37409 37356 37340 37368 37334 37333 37364 37675 37579 37404 37800 37802 37798 37674 37967 37371 37866 37283 34192 34211 34156 37870 37794 37370 34155 34218 34222 37887 37580 37790 37892 37966 37401 37992 37904 37897 37407 37416 37773 37581 37896 37408 37672 37774 37804 37575 37964 38000 37891 37998 37899 37986 37995 37999 37604 36585 37895 36556 37678 37806 37868 37403 37886 37402 37383 37771 37418 37983 37893 37894 37996 38002 37903 37577 37808 37792 37413 36584 37888 37890 36555 37991 37987 37805 37809 37989 37357 37614 37613 37705 37965 37712 37358 37414 37337 37898 37889 37900 37985 37902 37969 37369 37776 37692 37775 37412 37361 37380 37367 37807 37993 37419 37411 37696 37410 37799 37701 37373 37768 37341 33078 33083 33073 33079 33075 33077 33081 33080 33076 33074 33082 32500 32490 32493 32496 32492 32491 32494 32498 32497 32349 32343 32351 32352 32344 32345 32353 32347 32350 32348 32694 32787 32783 32688 32593 32785 32689 32784 32598 32594 32791 32692 32786 32597 32590 32793 32599 32591 32592 32589 32686 32691 32790 32789 32696 32693 32695 32690 32596 32883 32985 32880 32986 32882 32884 32889 32983 32978 32976 32886 32984 32980 32887 32881 32981 32982 32885 32342 32595 32977 32495 32792 32979 32788 32888 32687 32499 32346 32890 31731 31711 31698 31673 31723 31746 31717 31729 31726 31695 31727 31732 31716 31718 34017 31697 31725 31709 31671 31685 31702 34103 31701 31655 31744 31743 31687 31741 31699 34803 34074 31657 34046 31713 31715 31703 31704 31745 31730 31712 37881 37786 37593 37592 37584 37874 37681 37980 37691 37971 37970 37688 37594 37591 37583 37388 37395 37396 37387 37343 37398 37350 37352 37342 37397 37351 37788 37353 37882 37689 37690 37778 37777 37978 37981 37884 37680 37873 37787 37979 37883 37785 37843 37846 37842 37844 37850 37840 37841 37849 37847 37848 37845 37452 38040 37456 37749 37942 37939 37453 37653 37654 37944 37650 37307 38043 37746 37656 38042 37646 38038 38035 37752 38036 37556 37652 37649 37311 37309 38041 38034 37558 37303 37451 38037 37553 37460 37458 37655 37648 37647 37747 37455 37313 37308 37310 37555 37454 37559 37554 37552 37457 37450 37550 37551 37549 37459 37938 37751 37745 37306 37651 37941 37936 37946 37940 37753 37937 37748 38033 37943 37305 37304 37557 37312 37945 38039 37750 37743 37744 36637 36632 14842 14853 14837 14832 14840 14839 14852 14827 14831 14838 14841 14856 14843 14845 14849 14846 14833 14851 14855 14857 14653 14850 14854 14834 14835 14829 14847 14836 14704 14830 14755 14848 14844 14602 14806 18326 18325 23194 38978 38964 40177 40178 40173 40176 40172 40174 40179 40175 40276 40270 40272 40256 40275 40273 40271 38993 40159 40269 40367 40371 40468 40464 40465 40467 40372 40370 40369 39035 39036 40351 40349 40350 40449 40079 40077 40078 38949 38935 40082 40076 40081 40062 39064 39065 38889 38875 39888 39883 39884 39882 39881 39886 39885 39880 39866 36667 36666 36651 36646 36654 40084 36665 36668 36660 36656 38856 39835 39839 39821 38870 39836 39763 39841 39840 39838 39837 40158 39864 39863 40060 36694 36695 39818 39819 39865 39820 40170 40168 40169 40171 40268 40266 40265 40267 36682 36679 36674 36696 36702 36693 36688 36681 36684 40363 40362 40353 40361 40365 40471 40448 40446 40447 40459 40073 40462 40071 40458 39832 39878 39831 39877 39830 39833 39879 39834 40161 40460 39876 39875 40064 40354 40451 40450 39823 39868 40264 27878 27888 27880 27848 27879 27887 27889 27849 27884 27852 27886 27883 27882 27877 27850 27851 27885 27881 40259 40261 39034 38948 40356 40359 40358 40360 40357 40355 38869 39063 38888 40074 40072 40463 40075 40366 40352 40466 40461 40374 40364 39007 40274 39867 39822 40262 40260 40160 40255 38977 40278 40258 40253 40059 40156 40368 40080 40469 40257 40157 40181 40061 36670 39006 40263 36680 40254 40063 16649 14507 14553 16695 16601 16587 16589 16600 16592 16599 37837 37835 38027 37931 37930 37547 37546 37543 37544 37545 37548 38028 37448 37300 37642 37541 37538 37637 37634 37636 37632 37639 37732 37832 37924 37925 37729 37736 37828 37731 37927 37433 38030 37741 37839 37301 37298 37449 37447 37299 37446 37933 38032 37836 37444 37297 37445 37742 37737 38029 37935 37838 37934 37289 37291 38031 37834 37738 37739 37641 37640 37643 37645 40163 40166 40165 39829 39828 39825 39874 40065 40067 39826 39871 20403 20428 20434 20430 20437 20439 20438 25690 25682 25687 20436 20433 20431 20440 20402 20399 20401 20400 20432 20435 37830 38026 38024 37734 37922 37826 37442 37436 37443 37438 37293 37296 37295 37441 37294 37440 37439 37831 37535 37537 37540 37542 37638 37929 38019 37833 37733 38021 37926 40070 40453 40455 40069 39870 40164 40454 39872 39869 40452 40066 40457 39824 40456 40162 40068 39873 40167 39827 37932 37740 37735 38025 38023 37928 38022 37635 37829 37292 37539 37644 37302 20862 20959 20961 20234 20665 20578 20577 20570 20573 20956 20762 20770 20568 20963 20866 20668 20576 20380 20375 20372 20373 20865 20235 20764 20230 20374 20377 20960 20858 20958 20868 20227 20964 20955 20859 20231 20479 20225 20226 20228 20763 20769 20232 20772 20765 20863 20864 20229 20768 20382 20379 20381 20962 20667 20473 20471 20476 20480 20669 20957 20673 20569 20670 20575 20481 20477 20965 20860 20767 20475 20571 20378 20867 20771 20766 20675 20572 20474 20478 20666 20672 20376 20861 20472 20233 20574 20674 20671 20824 20789 20788 20886 20915 20595 20597 20790 20887 20885 20914 20596 20826 20629 20628 20819 20920 20817 20818 20821 20593 20827 20825 20822 20295 20286 20258 20289 20922 20921 20924 20594 20787 20918 20786 20883 20884 20624 20632 20631 20625 20630 20633 20917 20916 20923 20919 20912 20496 20537 20533 20534 20527 20535 20531 20529 20530 20525 20536 20532 20528 20341 20333 20288 20291 20290 20284 20255 20292 20287 20256 20293 20257 20294 20259 20498 20497 20337 20302 20303 20304 20340 20329 20335 20339 20338 20285 20634 20626 20627 20815 20622 20823 20820 20300 20334 20331 20500 20336 20332 20499 20301 25713 24885 24884 24890 25717 24892 25722 24886 25705 24896 25698 25712 25692 24889 25715 25723 25701 25699 25695 25697 25709 24882 24891 25714 24895 25720 24883 25711 25703 24893 25708 25716 25696 24887 25707 24888 25702 25706 25724 25718 25710 25693 24894 25719 25704 25721 25691 25700 25694 16694 13112 13114 13118 13117 13115 13113 13116 15927 8417 8408 8440 8405 8414 8423 8436 8427 8403 8431 8426 8424 8413 8430 8416 8425 8415 8434 16027 16024 8418 8439 8433 8406 8404 8437 8441 8428 8435 8421 8422 8432 8410 8402 8419 8411 8407 8412 8438 8429 6596 8420 8409 18119 23157 23204 17972 19327 20686 20687 23291 20638 23254 23303 23302 23098 3000 12624 12675 12676 12625 16123 16124 16220 16122 16219 16171 14506 14460 14705 14706 14655 14604 14654 14603 14808 14757 14756 16121 16074 12425 12379 12573 12574 12523 12522 14859 14807 12472 20720 18229 18230 18277 18519 18520 18471 20712 20698 20711 20695 20696 20718 20717 20716 20713 20714 20715 18423 18422 18327 18374 18424 18227 18123 18222 12426 18324 18421 13922 14305 14117 14309 13918 13887 13919 14306 14121 14310 13916 13920 14081 14110 13923 14119 14315 13924 14114 14112 14274 14308 14314 14120 13921 14122 14115 13925 14311 13928 14313 14303 14118 14113 13927 13926 14312 14116 14307 14277 13890 14084 14275 14082 13888 18714 18713 18616 18617 18618 18518 18665 18568 18521 18615 18712 18707 18715 18610 14278 13891 14276 14085 14083 13889 18319 18416 18513 13827 13823 13819 13829 13825 13831 13830 13824 13821 13822 13828 13826 13792 13794 13791 13793 13790 18733 18748 18726 18721 17909 18725 18741 18737 17915 18743 17910 17918 17913 18746 18716 17920 17907 17911 18747 18738 18720 17921 18723 18718 18727 18745 18729 17908 18736 18730 17912 18749 18717 18740 18742 18719 18724 17916 17919 18735 18722 18728 17914 18734 17917 14214 14216 14015 14215 14016 14020 14019 14017 14218 14018 14023 14213 14211 14024 14022 14217 14206 14013 14208 14209 14025 14021 14210 14212 14180 13987 13723 13720 13724 13732 13728 13729 13731 13727 13722 13726 13730 13725 14181 13693 13691 14177 13692 13985 14179 13986 13694 14178 13695 13988 13984 13676 13679 13680 13682 13685 13675 13683 13677 13681 13686 13678 13684 13650 13648 13647 13649 13646 13617 13619 13624 13620 13625 13618 13626 13623 13616 13621 13622 4171 4167 4174 4172 4169 4173 4168 4170 4165 4164 4166 15769 16015 15916 16112 16306 16499 16209 16402 16058 16070 16061 15836 16032 15871 15873 16062 16063 16065 15874 15872 16069 16198 15868 16203 16200 16064 16207 16201 16208 15862 15833 15834 15865 16206 16204 16199 16033 16202 16067 16060 16068 15837 15867 16031 15870 15863 15869 16205 15864 15866 15835 16030 16029 16066 29115 29087 26690 29116 29241 4910 4924 4923 5039 5040 4863 5038 4953 4952 4939 4894 4881 4895 4831 4845 4844 8597 8642 8641 8643 16648 16602 16796 16950 16746 16897 17000 16795 16899 17070 16744 16745 17001 16949 16898 16948 16847 16846 16797 17052 16848 8636 8603 8637 8598 8607 8605 8622 8624 8623 8626 8640 8609 8630 8615 8608 8617 8639 8631 8625 8629 8606 8601 8620 8604 8616 8638 8628 8619 8627 8614 8634 8600 8632 8599 8635 8621 8633 8602 8618 12632 12631 12627 12645 12636 12635 12630 12634 12638 12637 12633 12639 12642 12628 12629 16647 3977 3975 3973 3971 3969 3974 3976 3972 3978 3970 3968 4270 4265 4267 4264 4263 4262 4268 4261 4266 4269 4271 29114 20697 18605 29239 29234 18509 29244 29254 29255 29242 23338 22496 18412 18315 23337 18702 18218 19479 19465 17310 17323 17322 17308 19478 23044 23023 23048 23036 23021 23041 23045 23038 23052 23016 23018 23015 23022 23047 23049 23040 23020 23039 23037 23042 23019 23051 23017 23056 23050 23054 23053 23043 23046 23055 12473 28950 28936 29227 29226 28949 9677 29216 29240 29230 9521 9522 9664 9663 9769 9768 9669 9666 9764 9525 9670 9665 9515 9516 9520 9524 9766 9771 9763 9672 9881 9880 9831 9977 9976 9928 9879 9784 10025 9978 26732 26733 29015 29029 26731 26734 26722 26726 28969 28955 26692 26706 26703 26696 26704 26705 26708 26718 26720 26719 26748 26736 26746 26747 26740 26745 29000 28968 28986 26712 26717 26761 26760 26750 26754 26759 26762 29044 29058 9781 9878 9975 26789 26788 26775 26774 26764 26787 26782 26778 26776 26768 26773 26790 26791 29144 29145 29965 29966 29962 29964 29943 29963 29961 29944 30200 30201 30203 30205 30202 30008 30009 30004 30005 30006 30259 30257 30256 30007 30258 30255 30254 30300 29862 30298 29857 30301 29860 29859 30302 29861 29858 30238 30591 30587 30106 30449 30450 30452 30451 30448 30447 30108 30588 30592 30431 30105 30103 30107 30430 30429 30396 30399 30395 30394 30397 30490 30495 30494 30492 29993 30493 30162 30158 30161 30156 30142 30157 30159 30160 30139 30144 29946 29960 30153 30141 30154 30152 30151 29955 30192 30194 30002 30001 29956 29948 29998 30197 30199 30198 29947 30000 30253 29958 30239 29996 29999 30196 30249 29968 30248 30143 30251 30250 30241 30289 30293 30294 30292 30296 30295 30291 29911 29852 29902 30240 29849 29851 29903 29853 29855 29912 29854 29856 30335 30446 30432 30261 30350 30354 30353 30352 30351 30164 30356 30336 30355 30334 30333 30434 30345 30348 30433 30441 30443 30444 30489 30392 30391 30389 30098 30393 30095 30485 30388 30526 30484 30488 30099 30097 30528 30486 30101 30547 30529 30390 30549 30482 30543 30548 30487 30544 30545 30546 30102 30100 30539 30583 30585 30584 30581 30579 30541 30538 30582 30586 30531 30540 30358 30454 29180 27833 27832 27826 27823 27829 27830 27827 27825 27824 27828 27831 30104 29910 29957 30386 30491 30195 30204 30297 30530 29913 30589 30299 30442 30003 30590 29945 30527 30236 30237 30140 30551 29920 29916 29918 29901 29921 29919 29915 29917 30338 30346 30337 30347 30398 30445 29959 30155 30252 29899 30542 29914 29900 30349 29898 29207 29208 29205 28999 20619 19436 20620 20601 20598 20617 20618 20616 20615 20599 20600 20621 19450 17360 17359 17357 19449 20614 17338 17314 17336 17321 17337 17340 17326 17324 17335 17330 17349 17352 17350 17351 17344 20623 29228 29214 29211 29220 29206 29225 29203 29201 29204 31537 31553 31567 31538 31524 32815 32836 32834 32833 32835 32831 32832 32911 32929 33029 33024 32927 32930 32932 32931 32928 33008 29269 29262 33027 29268 29256 29258 31596 33025 33026 31624 29267 29253 33028 29248 31595 31625 32813 32909 33007 33006 32814 32910 32635 32644 32621 32640 32639 32637 32641 32636 32642 32638 32439 32445 32397 32395 29270 32443 32446 32425 32440 33023 33031 32926 32925 32934 33022 32912 33009 32816 32741 31566 32718 32733 32734 32739 32736 32737 32738 32735 32732 32830 32829 32838 32396 32400 32441 32380 32401 32399 32381 32394 32442 32444 32398 32622 32719 32426 32424 32423 32717 32620 32378 32716 32619 32379 31623 31594 29221 29235 29247 29233 29249 29236 29250 29222 29219 32633 32624 32631 32632 32634 32721 32731 32826 32438 32428 32437 32436 32435 32393 32392 32390 32391 32383 32827 32728 32818 32828 32730 32825 32729 33021 33019 33011 33020 32922 33018 32921 32914 32924 32923 32623 32817 32913 32382 33010 32427 32720 22006 18852 18898 18805 18897 22007 22010 22012 22008 22016 22013 22014 22015 22011 22009 29028 27806 27818 27817 27821 27820 27781 27819 27822 26751 26710 26702 26691 26715 26701 26714 26757 26763 26766 26728 26729 26744 26699 26693 26716 26724 26723 26781 26785 26735 26756 26769 26741 26767 26755 29057 29143 26725 26698 26700 32723 32725 32727 32726 33016 32920 33015 32919 32916 33013 32918 33017 32432 32626 32629 32628 32434 32430 32630 32433 32388 32389 32387 32385 32386 32384 32917 32722 32627 32915 32431 33014 33012 32724 32625 32429 29846 29843 26694 26758 26765 26784 26738 26695 10074 10073 32824 32819 32823 12691 12716 26697 26786 26753 26713 26749 26742 26707 26770 26730 26721 26743 26711 26783 26709 26737 26727 26771 26739 26772 26752 30189 32820 32821 9668 9519 9762 9671 9662 9518 9761 9517 9523 9667 9767 18802 18803 14824 18804 14826 14823 9765 9770 12702 12700 12704 12701 12714 12698 12705 12707 12718 12692 12717 12713 12708 12695 12719 12712 12703 12699 12710 29086 32822 16747 16696 1990 17050 16849 16900 16951 17053 16798 17002 16999 17071 16510 16511 16317 16316 27639 27631 27635 27636 27634 27629 27638 27637 27633 27632 27630 8667 4823 4824 8700 8687 8701 4822 24018 16512 16365 16315 16414 16268 16415 16318 16509 16412 16462 16218 16221 16413 8682 8681 8718 8668 24019 24033 24032 21887 21883 21877 26455 18851 26456 26470 24052 24051 24038 26606 26607 26593 21068 21067 21162 21116 19102 19202 18948 18850 19205 19255 19151 19153 19000 19253 19203 19100 19051 18998 19050 18949 19103 18950 19001 18899 19204 19152 19256 19154 21161 21115 21069 26489 26475 26488 26469 27628 27587 27627 27626 27612 27624 27625 27623 16156 19052 18999 19101 18947 19049 19254 19304 19324 19306 19305 19307 19325 21620 21212 21621 21213 21263 21264 29210 29194 29195 29196 12474 12576 12380 12525 29209 29187 29182 29189 29181 29178 29173 29179 29171 29190 29177 29175 29174 6841 6827 6840 6738 6856 6811 6812 6798 6870 6869 6751 6752 6733 6783 6769 6719 6732 6782 6711 6710 6712 6713 6714 35105 35395 35493 35109 35110 35496 35107 35202 34865 35497 34909 35303 35304 35302 35106 35492 35299 34866 35300 35301 34868 34914 35207 35204 34911 35398 34910 35495 35399 35205 34864 35400 35494 35397 35108 35206 35396 34913 34867 34869 34912 17442 17441 17438 17440 17439 17437 5139 5150 5133 5075 5080 5094 5111 5165 5166 5153 5119 5121 5079 5145 5135 5073 5160 5083 5089 5149 5093 5123 5103 5151 5163 5118 5122 5077 5105 5090 5076 5091 5159 5104 5161 5131 5125 5074 5081 5117 5107 5132 5164 5147 5097 5109 5146 5095 5137 5108 5136 5067 17073 6693 6692 6694 6648 6685 6669 6676 6675 6678 6684 6654 6659 6657 6660 6650 6658 6668 6683 6686 6670 6674 6666 6667 6656 6691 6690 6689 6671 6649 6679 6652 6681 6651 6655 6672 6665 6687 6673 6688 6680 6677 6682 16059 35203 6653 8731 8732 5728 5717 5721 5719 5720 5724 5718 5726 5727 5722 5725 5723 6256 6257 6255 6250 6251 6259 6254 6258 6260 6252 6253 6248 6162 6161 6155 6163 6154 6156 6159 6158 6160 6164 6126 6127 6157 6057 6059 6066 6064 6067 6063 6060 6055 6061 6065 6062 6058 6029 6030 5965 5963 5958 5970 5962 5961 5967 5960 5968 5969 5966 5964 5764 5772 5765 5766 5769 5771 5773 5767 5774 5770 5768 5737 5736 6152 5692 5691 5711 5709 5713 5715 5710 5712 5716 6056 6052 6046 6050 6048 6049 6043 6051 6044 6045 6054 6053 6047 6035 6036 6034 6032 6033 6031 6245 6237 6249 6242 6236 6247 6124 6125 6123 6027 6028 6026 5733 5735 5695 5696 5694 5688 5689 5690 5708 5707 5706 5705 5698 5697 5693 5714 1167 2889 1170 1186 1168 1169 6101 6099 6104 6105 6100 6102 6103 6107 6106 6098 6108 5811 5813 5812 5809 5806 5810 5807 5815 5814 5805 6197 6195 6202 6198 6196 6205 6199 6203 6201 6204 6200 6153 6145 6142 6151 6150 6147 6141 6146 6143 6148 5953 5955 5959 5952 5954 5950 5956 5946 5951 5949 5947 5948 5761 5738 5756 5751 5741 5757 5759 5753 5763 5742 5760 5739 5754 5758 5755 5752 5762 5740 5743 5808 5734 5750 6221 6220 5931 6219 5933 5930 5929 6223 6222 5932 6299 6293 6297 6296 6300 6292 6294 6291 6295 6301 6298 6010 6003 6004 6001 6002 6011 6007 6008 6005 6006 6009 6131 6132 6133 6129 6130 6149 6144 6140 6128 6224 5936 5934 5938 6227 5937 6226 6239 6241 6225 6229 5935 6244 6246 5939 6238 6243 5957 6228 6240 23005 23102 23304 6118 6021 6217 6265 6218 6314 6024 6315 6168 6120 6216 5925 5830 6022 5827 5927 6313 6071 5926 6121 5828 5924 5731 6023 6215 5974 5877 6312 5829 6119 5778 21642 23329 22497 23317 22499 23333 22500 23326 23330 23318 23322 23314 23334 23308 23320 23312 22502 23319 22509 23309 22507 23335 22510 22501 23327 22505 22498 23321 23323 23316 23305 23332 22504 23328 23315 23310 23325 23331 23311 23306 22506 22503 23324 22508 23313 23307 23336 19328 19342 19341 21656 21643 21657 21676 21662 21675 19562 19568 19605 19604 19589 19584 19576 19564 19606 19603 19598 19592 19577 19591 19575 19578 19580 19590 35058 35061 35055 35060 35057 35062 35059 35064 35067 35065 35068 35063 35156 35158 35152 35155 35159 35154 35157 35160 35165 35162 35161 35164 35163 34965 34967 34964 34966 34968 34969 35552 35549 35551 35548 35550 35547 35257 35261 35259 35260 35258 35262 34962 34961 34956 34963 34958 34960 35453 35454 35452 35455 35451 35450 35359 35357 35356 35358 35355 34817 34822 34820 34818 34819 34821 34809 34811 34816 34814 34815 34813 34812 35439 34953 35255 35256 35252 35251 35253 35254 35249 37976 37973 37975 35353 35351 35350 35352 35346 35349 35348 37880 37876 37780 37784 37879 37878 37783 37683 37686 37687 37685 37682 37684 37877 37345 37391 37393 37875 37346 37586 37389 37347 37390 37349 37779 37590 37972 37344 37974 37781 37587 37392 37589 37348 37585 37588 35448 35444 35445 35447 35449 35446 35442 35539 35542 35544 35543 35545 35541 35546 35066 37977 37782 34959 37394 35354 19594 8043 8054 8050 8059 8057 8040 8027 8046 8044 8042 8041 8047 8048 8028 8025 8022 8061 8060 8062 8055 8056 8053 8058 8052 8051 8031 8038 8029 8030 8045 8049 8039 8026 8023 8024 8021 7964 7953 7958 7955 7956 7963 7960 7961 7962 7959 7957 7965 7925 7926 7928 7927 7924 7930 7931 7933 7945 7952 7950 7949 7947 7942 7932 7943 7951 7941 7948 7946 7954 7944 7934 7929 3862 3858 3857 3864 3860 5867 5870 5861 5871 5863 5873 5872 5865 5869 5866 5868 5864 5832 5835 5834 5836 5833 21780 17444 17445 17443 5855 5860 5859 5851 5862 5858 5852 5854 5853 5850 5849 5857 5856 19619 5841 5840 5837 5842 5838 5839 19618 19617 21794 24156 24170 21793 24169 19625 19627 19628 19620 19608 19612 7901 7899 7900 7903 7906 7904 7909 7908 7902 7905 7907 7857 7663 7635 7624 7662 7562 7592 7587 7588 7619 7626 7558 7560 7591 7609 7611 7704 7713 7563 7565 7710 7811 7712 7812 7672 7614 7665 7536 7606 7631 7709 7802 7607 7808 7669 7616 7590 7617 7618 7589 7621 7632 7605 7610 7594 7557 7561 7559 7809 7603 7667 7612 7613 7615 7625 7586 7622 7671 7660 7633 7806 7620 7556 7596 7623 7707 7708 7711 7810 7593 7703 7706 7807 7564 7566 7670 7803 7608 7604 7668 7666 7634 7805 7804 7664 7705 7595 10075 6503 6545 6544 6546 10170 10171 10122 10072 8664 10655 5910 5905 5914 5909 5906 5907 5904 5912 5913 5908 5911 35246 35343 35149 35536 10269 10172 10219 10169 10266 10267 10268 9471 9464 10278 9466 9473 10284 9467 10271 9463 10285 10291 9469 10270 10281 10272 10286 10290 9470 10273 10279 10275 10294 9468 10289 10295 10282 10298 10276 10277 10288 10280 10287 9474 10274 10299 10293 10296 9465 10292 10297 10283 9472 9475 7655 7661 7652 7658 7636 7651 7648 7650 7637 7659 7654 7639 7657 7649 7653 7656 7760 7640 7638 7641 14161 13869 13864 14258 14355 13764 13960 13966 14257 14249 13768 14250 13865 14352 13766 13962 13863 13769 13969 14157 14061 14162 14353 13767 14356 13866 14065 14153 14154 14256 13872 13871 14347 13765 14056 14351 13770 13862 13763 14252 14159 14259 14348 14060 13961 14346 14059 14064 14255 13968 14057 13867 13965 14253 14066 14354 14349 14062 13963 14063 14058 13772 14156 14158 14160 14350 13967 13959 13868 13964 14155 14163 14251 14254 13771 13870 9776 6701 6706 6704 6705 6702 6700 6708 6707 6703 6709 10261 6495 6498 6494 10555 10504 6593 6591 6592 17317 17309 17311 17312 19347 19361 20328 20325 20324 20322 20327 17316 20326 20308 20323 17318 20263 20283 20278 20277 20281 20280 20279 20282 17313 17315 17319 17320 19378 19392 19407 19421 20205 19391 20330 19360 19420 20260 20306 20261 20305 20262 20276 20321 20307 19536 19537 19508 19507 19535 19506 17406 17407 17366 17365 17363 17393 17394 17396 17405 17400 17379 17378 17380 17368 17377 17372 17364 17392 17382 17354 17386 17391 17408 17409 17348 17346 17345 17347 17334 17333 17327 17325 17328 17358 17341 17376 17361 17362 17339 17342 17356 17355 17375 17353 20814 20811 20813 20809 20908 20911 20812 20910 20909 20906 20810 20891 20905 20907 20794 20808 17404 20422 20424 17390 20426 20423 20427 20425 17383 17401 17384 17399 17403 17367 17369 17370 17389 17402 17381 17373 17374 17371 17385 17387 17388 20852 20856 20853 20841 20855 20854 20857 20406 20913 20523 20522 20521 20520 20519 20524 20421 20504 20518 20407 17331 17343 17332 17329 20405 20404 8468 8488 8467 8476 15249 8465 8487 8471 8472 8485 15247 8477 8464 15250 15245 15251 8473 15246 8463 8478 8470 15248 8469 8479 8486 8480 8474 8475 8482 8461 8484 8481 8466 15244 8483 20756 20759 20745 20757 20760 20761 20758 8555 8584 6556 6582 6520 6537 6550 8540 8585 12575 8591 8495 8562 8611 8589 8592 6524 6551 6538 6508 6576 6488 6584 6566 6536 6527 6511 6528 6522 6542 6529 6533 6532 8557 8574 6525 6530 8546 8561 6585 6570 8563 8579 8612 8570 8566 12626 12677 12524 8552 8554 8582 8577 8553 6534 8558 8613 6541 8580 6569 8549 6574 8550 8587 6552 6519 6554 6526 8551 8610 6568 8556 12746 6493 6490 8573 8560 6505 6516 6581 6661 6567 6583 6590 6586 6559 6588 6518 6555 6572 6579 6580 6509 6513 6571 6558 8581 8569 8572 8590 6507 6535 6540 6539 6577 6504 6664 6578 6589 6562 8586 6491 6573 8578 6521 8508 8571 8575 8541 6610 6563 6510 6514 6663 6517 8539 6564 6560 8565 6587 4759 6565 6561 6553 6575 6543 6512 6557 6662 6515 6506 8588 6531 8583 8567 6523 8559 8576 8564 8548 8568 12728 8547 20429 20503 20904 20890 20793 20807 20420 20517 20792 20889 20791 20888 20501 20502 20816 20526 30576 30383 30479 30286 30092 10616 10619 10617 10615 10618 10614 17153 17167 17166 6642 6641 6643 6597 6621 6605 6608 6624 6633 6632 6614 6634 6616 6598 6601 6609 6622 6618 6637 6602 6599 6631 6629 6638 6630 6635 6699 6627 6615 6606 6617 6619 6604 6612 6607 6611 6626 6628 6625 6600 6636 6603 6613 6639 6623 6640 6620 8521 8503 8452 8498 8449 8518 8462 8517 8532 8497 8535 8502 8509 8456 8501 8527 8514 8457 8504 8451 8516 8507 8448 8530 8524 8534 8531 8500 8533 8523 8510 8453 8526 8505 8528 8538 8536 8450 8459 8515 8522 8496 8506 8529 8519 8537 8454 8513 8460 8525 8520 8512 8511 8455 8499 8458 16543 16545 16546 15705 16544 15704 1991 1992 10657 10606 10675 18138 17992 18208 17941 18558 18557 18173 18658 18368 18212 18367 18137 17968 18071 18174 18654 18027 18038 18215 18622 18700 18426 18428 18525 18602 18603 18526 18555 18553 18498 18430 18116 18461 18427 18458 18209 18500 18596 18600 18599 18595 18139 18233 18171 18172 18562 18561 17970 18522 18211 18263 18560 18264 18604 18691 18523 17964 18559 18554 18307 18556 18118 18694 18217 18655 18210 18175 18698 18507 18499 18457 18176 18503 18505 18563 18329 18408 18404 18366 18467 18466 18502 18460 18506 18168 18306 18369 35052 18271 18268 18076 18109 18214 18360 18267 18170 18406 18411 18365 18364 18332 18330 18169 18309 18598 18508 18459 18465 18067 18068 18074 18039 18026 18075 18273 18113 17966 18024 18333 18265 18455 18370 18363 18410 18405 18331 18407 18601 18464 18504 18462 18501 18463 18429 34806 18040 17961 17993 18110 18111 18619 18403 17994 18021 18029 17969 18409 18402 23199 18114 18037 18077 17991 18025 18216 18135 18167 18701 18651 18207 18166 18699 18028 18620 18020 18261 18164 18065 18030 18312 18695 18232 18692 18652 18660 17965 18112 17971 18031 17963 18115 18456 17967 18213 18310 18022 18073 18597 18524 18401 18136 18269 17962 18069 18023 18117 18657 18361 18697 18659 18650 18656 18696 18304 18311 18653 18362 18623 18621 18693 18236 18266 18070 18036 18072 18594 18108 18648 18551 18358 17995 18305 18235 18313 18234 18314 18308 18270 18272 18649 18400 18165 18262 18107 17960 18303 18359 18206 18066 18552 18593 18497 13773 14554 14656 14758 14605 14707 14803 14805 14804 14759 14772 21639 21619 19572 19647 19661 19645 19648 19640 19633 19650 19632 19660 19634 19636 19646 19631 19622 19626 19659 19662 19654 19658 19644 19602 19601 19563 19565 19600 19574 19599 19615 19581 19573 19587 19571 19566 19582 19588 19610 19609 19607 19630 19629 19621 19623 19624 19643 19657 19656 19653 19655 19638 19635 19595 19593 19614 19642 19641 19639 19583 19597 19586 19585 19569 19651 19649 19652 19570 19567 19616 19663 19579 19637 19596 21416 21570 21365 21364 21314 21313 21262 21366 21315 21211 21568 21415 21518 21569 21468 21517 21519 21466 21467 21417 14873 14872 14877 14875 14876 14871 14874 14794 14791 14781 14786 14800 14782 14795 14792 14789 14780 14778 14776 14784 14802 14785 14799 14793 14788 14796 14801 14790 14787 14798 14779 14783 14797 14777 14765 14764 14768 14770 14762 14769 14763 14761 14771 14767 14766 14760 10623 10620 10621 3855 3851 3856 15718 16535 16520 16536 16539 16516 15717 16526 16518 16533 15714 15709 16534 16517 15706 16542 15710 16527 15711 15712 16529 16513 16541 16528 16523 16525 16514 16519 16522 15707 15715 15713 16537 16530 16540 16538 15708 16531 16532 16524 16521 15716 16515 10674 10609 10660 10610 10608 10670 10671 10625 10662 10673 10611 10607 10612 10665 10661 10613 10669 10666 10664 10667 10672 10659 10668 10663 12585 12580 12581 12588 12586 12579 12587 12582 12594 12583 12584 12578 14864 14862 14870 12745 14869 14867 14863 14861 14868 12735 12743 12736 12744 12737 12739 12740 12738 12734 12741 12732 12733 12729 12742 12731 12730 14866 14865 12577 12381 12709 12694 12697 12715 12711 12706 8494 8545 8596 8665 8647 1604 1608 1607 1610 1609 14773 14775 14774 10500 10401 10499 10402 10498 10403 10454 14809 14860 10360 14878 10551 10549 10550 4803 4801 4806 4762 4800 4805 4802 4761 4760 4804 12311 11494 11484 12315 12317 12306 12292 12296 12295 12321 12307 12301 12312 11482 11495 12290 12304 12310 12313 12294 12314 12318 11493 11492 12302 10505 11489 11488 11485 11481 11487 12297 12322 12305 12298 12308 12319 12300 12320 11483 11486 11490 12316 11491 12323 12293 12303 12291 12309 12299 10569 10570 10571 10572 12726 17051 12678 6698 6716 6647 14828 14825 14858 14821 14817 14816 14812 14822 14818 14813 14815 14810 14814 14820 14819 14811 20882 20880 20929 20881 20977 20978 20591 20688 20588 20782 20879 20783 20735 20785 20685 20784 20832 8652 8657 8650 8659 8661 8654 8649 8658 8663 8660 8653 8656 8651 8655 8662 8648 33069 33071 33068 33067 32975 32973 32971 32974 32972 33072 33070 29271 29218 29266 29252 29215 29191 29232 32874 32780 32779 32781 32777 32341 32778 32782 32338 32340 32487 32681 32685 32684 32587 32877 32876 32970 32586 32588 32683 32486 32337 32339 32489 32682 32878 32875 32879 32484 32485 32488 32680 29238 29223 29217 29231 29193 29264 29243 29245 29263 29246 29261 29251 32584 32583 32585 32582 32776 32873 29224 29229 29237 29265 12688 12683 12679 12696 12690 12689 12686 12682 12681 12687 12693 12680 12684 12685 15973 15965 15936 15972 15933 15967 15968 15935 15932 15961 15969 15971 15963 15934 15966 15970 15964 15824 15825 15790 15828 15827 15789 15820 15821 15818 15788 15817 15823 15822 15792 15819 15826 15791 15763 15761 15767 15758 15768 15760 15766 15762 15764 15765 15759 16009 16010 16014 16006 16008 16013 16007 16011 16005 16012 16004 16455 16453 16257 16127 16323 16352 16261 16452 16256 16155 16348 16252 16447 16456 16358 16320 16420 16130 16254 16450 16164 16126 16319 16449 16355 16165 16263 16351 16457 16357 16350 16445 16167 16158 16356 16163 16129 16159 16353 16359 16419 16262 16354 16255 16321 16360 16451 16448 16260 16128 16264 16258 16157 16416 16454 16417 16160 16161 16166 16259 16226 16322 16418 16162 16225 16227 16103 16111 16106 16102 16110 16108 16104 16109 16105 16101 16107 16224 16223 16392 16488 16396 16401 16397 16303 16391 16299 16305 16300 16491 16296 16295 16498 16399 16298 16301 16492 16394 16395 16400 16497 16393 16490 16489 16493 16495 16304 16496 16494 16302 16398 16297 20979 20777 20976 20971 20680 20583 20874 20172 21007 20985 20991 21008 20178 21011 20988 20992 20995 21001 20173 20984 21006 20996 20175 20185 20182 20998 20982 20181 20997 20990 20989 21002 20177 21005 20174 21004 20986 20981 20983 20980 20183 20184 20176 21000 21009 20179 20993 20999 20987 20180 21003 20994 21010 32473 32572 32863 32669 32959 32766 33056 15908 15915 15913 15909 15910 15906 15905 15912 15911 15907 15914 5608 6435 6438 6431 6426 6417 6439 6410 6412 6425 6415 6444 5618 6440 6414 6428 6418 5610 6443 6413 5606 6411 6362 6436 5616 5613 6433 6422 6419 5607 5611 5609 6427 5605 6434 6430 5614 5617 5615 6404 5612 6423 6420 6429 6424 6416 6421 6437 6442 6441 6432 6409 32326 10658 6396 6395 6390 6388 6398 6389 6397 20551 20564 20562 20565 20563 20466 20467 20222 20219 20469 20366 20367 20221 20208 20368 20220 20371 20369 20223 20470 20454 20355 20370 9873 10067 9970 20954 20952 20950 20951 20953 20938 20949 20660 20661 20648 20663 20567 20662 6391 20468 20664 20465 10164 20659 6393 20566 20224 6394 6392 3852 3854 3853 6497 6496 10622 2605 2602 2804 2810 2818 2361 2821 2828 2812 2811 2505 2264 2313 2215 2806 2411 2508 2217 2118 2314 2408 2507 2700 2506 2822 2311 2826 2699 2805 2808 2458 2312 2823 2410 2555 2652 2815 2819 2817 2809 2807 2749 2796 2214 2827 2165 2801 2797 2800 2409 2813 2816 2798 2820 2829 2216 2799 2814 2825 2803 2824 2603 2604 2702 2701 21891 21879 21892 14526 14531 14752 14721 14547 14502 14523 14537 14548 14521 14524 14452 14451 14546 14529 14542 14535 14527 14541 14568 14446 14532 14448 14601 14540 14539 14449 14536 14701 14456 14544 14525 14528 14600 14599 14453 14543 14670 14703 14619 14652 14504 14753 14651 14754 14702 14533 14650 14538 14503 14545 14530 14534 22561 14571 14487 14497 14481 14475 14596 14576 14454 14455 14577 14578 14579 14594 14572 14493 14480 14498 14620 14500 14486 14491 14484 14569 14483 14581 14590 14585 14595 14591 14575 14482 14584 14622 14478 14583 14598 14586 14485 14588 14593 14474 14495 14597 14492 14501 14489 14589 14580 14592 14488 14477 14494 14499 14496 14490 14574 14587 14582 14479 14745 14729 14682 14676 14643 14692 14642 14697 14686 14696 14640 14693 14630 14695 14678 14681 14635 14623 14738 14740 14743 14674 14648 14647 14684 14748 14646 14632 14749 14689 14633 14626 14687 14694 14739 14727 14634 14639 14731 14629 14742 14725 14732 14673 14724 14644 14638 14628 14683 14627 14636 14690 14698 14699 14679 14685 14631 14691 14637 14641 14680 14677 14746 14750 14700 14741 14747 14737 14736 14735 14733 14728 14744 14671 14645 14751 14688 14722 14649 14625 14734 14730 24253 30518 30519 14708 14606 14657 14712 14711 14713 14715 14710 14717 14617 14714 14662 14611 14669 14624 14666 14612 14609 14663 14610 14726 14660 14664 14618 14723 14672 14668 14716 14709 14616 14658 14615 14718 14614 14675 14608 14607 14661 14665 14667 14720 14613 14659 14719 24268 24267 16019 14517 14509 14511 14555 14508 14519 14516 14515 14510 14520 14518 14512 14522 14513 14514 21962 21961 21965 21976 24198 21963 21975 24227 24226 24228 21969 24199 21974 15920 16116 14557 14561 14564 14621 14570 14565 14563 14558 14556 14573 14560 14566 14567 14562 14559 26535 26549 26506 26520 26519 26548 33098 27448 27450 27452 27442 27444 27363 27656 27976 27977 28041 28044 27973 27982 27945 27985 27978 27445 27451 27447 27443 27446 27453 27449 28072 28079 28070 28075 28081 28076 28080 28082 28073 27414 27416 27413 27415 27417 27460 27458 27459 27462 27948 28045 27755 27461 27658 27657 27751 27654 27655 27752 27753 27754 27984 27983 27947 27946 28043 27944 27981 27980 27979 27975 28042 27787 27786 27785 27783 27784 27789 27782 27791 27689 27691 27687 27692 27685 27694 27695 27693 27683 27499 27497 28077 28074 28078 27487 27496 27493 27491 27492 27489 27490 27495 27498 27788 27792 27690 27790 27780 27688 27686 27494 27561 27558 27588 27586 27597 27589 27596 27590 27595 27598 27591 27594 27593 27592 27927 27930 27920 28021 28016 27389 28024 28017 27384 27385 27736 27383 28018 27925 28118 28115 28117 28114 28113 28119 28116 28121 28022 28026 28025 27390 27924 27929 27923 27388 27392 27393 27391 27386 27534 27537 27531 27535 27536 28020 27387 28019 27926 27922 27921 27530 27540 27539 27533 27538 27532 27733 27730 27732 27731 28122 28120 28123 27928 28023 27734 27735 27729 27726 27728 27727 24295 24269 24282 24283 24255 24259 24266 24296 24294 24311 24289 24297 24303 24308 24309 24299 24285 24271 24281 24310 24275 24280 24313 24323 24324 27560 27559 27557 11743 11784 11710 11781 11783 11787 11879 11886 11884 11878 11841 11786 11750 11788 11789 11742 11711 11740 11709 11713 11749 11712 11741 11599 11545 11566 11567 11537 11565 11542 11595 11535 11602 11601 11539 11536 11544 11538 11568 11569 11600 11597 11596 11598 11543 11605 11684 11641 11648 11840 11845 11844 11809 11807 11847 11842 11808 11846 11839 11882 11644 11614 11838 11888 11887 11883 11880 11837 11806 11785 11746 11745 11747 11791 11651 11642 11689 11685 11647 11686 11682 11692 11687 11645 11650 11613 11611 11683 11688 11646 11643 11690 12176 12168 12169 12136 12172 12137 12178 12100 12173 12128 12075 12098 12004 12074 12175 11978 11904 11938 12177 12034 12135 12003 12170 12132 12127 12001 12040 12078 12171 11982 11985 12036 11944 11905 12131 12130 12033 12080 12041 12032 11941 12037 11935 12031 12077 12081 12076 12035 11906 11939 12079 12002 11977 11903 11981 11980 11940 11936 11942 11975 11979 11934 11984 11976 11943 11907 12072 12073 11835 11738 11594 11639 12270 12193 12229 11932 12222 12232 12197 12195 12271 12234 12227 12233 12125 16407 16310 16213 16504 12228 12268 12267 12231 12226 12029 12266 12225 12272 12274 24339 24337 24338 24327 24325 24322 24317 24336 24331 24352 24351 26636 26635 26664 26665 24341 26564 26578 27854 27871 27855 27876 27873 27853 27874 27872 27875 24278 24262 24256 24254 24265 24293 24257 24264 24292 24279 24284 24286 24287 24272 24273 24270 24307 24306 24345 24350 24321 24320 24298 24300 24301 24263 24353 27856 27870 27869 27682 27681 27680 27676 27677 27679 27678 27662 24261 27759 27774 27773 27776 27777 27775 27779 27778 27660 27757 27684 24354 24335 24349 27970 28049 27967 27972 27966 28066 28064 28047 28067 28065 27968 28063 27969 27971 27974 27952 27950 28071 28069 28068 24312 24314 24315 27482 27483 27485 27480 27481 27466 27486 27484 24305 27439 27440 27435 27436 27437 27441 27438 27421 24319 24291 24260 24258 24277 27419 27464 27488 24346 24328 24329 24347 24326 24344 24348 24334 27758 24330 24332 24333 27756 24302 24304 24316 24318 24288 24290 27661 27659 27951 28046 28048 27949 27772 24274 24276 27465 27420 27463 27418 27675 27965 28062 27585 27583 27584 27580 27581 27582 27565 27579 27564 27479 27434 27563 27562 27578 26663 26634 26577 27524 27525 27529 27526 27513 27528 27527 27723 27721 27722 27725 27724 27709 27720 28015 27999 28012 27917 28013 28014 27903 27916 27914 28011 28096 28109 28107 28111 28110 27381 27378 27377 27366 27380 27379 12273 12133 11983 12224 11790 11810 12129 12000 11603 12196 12230 11610 12038 11540 12099 28108 12096 11885 11782 12194 11748 12134 11604 28112 27915 11612 27918 12275 11881 12174 12039 12097 11649 11843 11937 12269 12082 11744 11691 12265 27382 28010 11541 27919 25677 25580 12748 12768 12782 13708 13704 13717 13712 13714 13700 13701 13698 13699 12781 13718 13709 13707 13703 13706 13655 13653 13662 13658 13660 13663 13659 13661 13657 13665 13667 13666 13664 13656 13711 13715 13713 13672 13674 13668 13673 13669 13654 13671 13670 13652 13651 13596 13716 13721 13702 13705 13697 13696 13719 13710 10692 12763 12749 10678 10697 10711 8911 12762 8912 8902 8907 8904 8913 10691 10710 8910 8909 8914 10677 10980 10969 11011 10997 11012 10984 10970 11004 10983 10998 11009 11010 11000 11008 11013 10966 10994 10996 10986 10968 10956 10926 10914 10927 10928 10942 10955 10972 10958 10954 10944 10941 10982 10952 10912 10930 10940 13778 9955 13981 9867 9582 9628 9575 14271 9578 9583 9581 14362 14076 14320 9577 14374 9630 9727 14375 10057 9585 14370 9963 9915 9920 14371 10060 13979 13576 9591 14392 9579 9691 14176 9626 9865 9826 9819 13568 10059 9625 13573 14385 14273 10052 9594 9593 14380 13932 14384 14071 9623 9725 10014 9980 10020 14398 9728 13565 14396 14381 9584 9580 9627 10213 10209 10212 14388 11697 13882 14394 9718 10117 10158 10105 9960 9693 14397 9786 9860 9957 9959 9884 9866 10009 9912 14270 9863 9817 14382 9821 9820 10115 10112 10054 10151 14376 9548 9887 9862 9919 9914 9885 14379 14389 10056 14400 14399 13575 14077 9723 10011 9590 9722 14173 9916 9922 9962 13982 14168 10058 14175 14079 14383 14386 9720 13569 13564 9729 9961 10202 10062 9921 9918 9886 9619 9622 10061 10107 10114 10155 13570 14368 13566 14265 10174 10177 9825 9868 9790 9787 13877 14223 14387 9624 10055 9917 9924 9964 9958 9883 9965 9956 10208 10248 10173 10246 9923 13885 14395 9721 9730 13974 9815 14377 10053 13572 13571 10175 10250 10252 10153 10077 10152 10150 14078 14390 14372 9545 9724 9689 9621 9631 9574 14369 13567 9692 14126 14272 9547 14393 13574 10253 10254 10245 10255 10204 10205 10214 10176 10210 10247 10251 9827 14373 9788 9861 9859 9864 10110 10108 9818 9824 13980 9789 9858 9822 10249 9546 14378 9576 9549 9629 9726 14029 9690 10207 10206 10211 9592 14367 10149 10076 10148 10113 10156 14391 14174 10154 10080 10078 10079 10109 10157 10116 10111 9823 9983 10018 9984 10019 9981 9982 10021 10012 10017 10013 10016 10015 10990 10962 10981 10995 10976 10967 10939 10924 10953 10923 10948 10934 10918 10938 10925 10922 12799 12813 12812 12886 12900 12957 12958 12871 12857 10965 11007 11006 12956 13992 14010 14009 14011 14007 14008 14006 14012 14282 14301 14299 14296 14298 14297 14302 14300 14199 14104 14109 14203 14108 14200 14106 14202 14204 14201 14185 14107 14205 14103 14089 14105 13990 13989 14014 14111 14207 14304 13991 14086 14087 14183 14182 14279 14280 14187 14196 14197 14198 14195 14102 14099 14100 14101 14003 14004 14002 13994 14005 13993 14001 14292 14294 14295 14284 14293 14091 12899 10975 10978 10979 10977 14191 14093 14095 14189 14288 13997 13998 14286 13996 14290 13999 14000 13995 14291 14289 14098 14096 14192 14193 14194 14097 12828 12928 12929 12842 12927 10919 10920 10921 10917 10936 10937 10933 10935 10989 10993 12870 12841 10951 10991 10947 10950 10992 10949 10963 10964 11003 10961 11005 28134 28129 28137 14094 14092 14285 14190 14088 14287 14186 14283 14184 14090 14188 14281 10728 10742 30470 30517 30520 30615 30616 30567 24083 24069 21893 21890 30512 30631 29810 30643 30630 30641 29822 29821 30619 30647 30634 30642 30638 29818 30618 30621 30650 30640 30639 29819 30632 29809 30645 29816 30651 30633 29811 30628 30635 30624 30648 29813 30622 30620 29814 29812 29815 30627 30629 30636 29820 30637 30625 29817 30623 30609 30614 30617 30626 30646 30649 30644 29823 40324 40323 40325 40322 40321 40329 40327 40328 40330 40320 40326 40424 40421 40423 40417 40425 40420 40416 40419 40422 40426 40418 40513 40519 40517 40523 40520 40515 40514 40521 40522 40518 40516 40227 40228 40225 40229 40223 40230 40226 40231 40232 40233 40224 40037 40127 40039 40032 40029 40031 40036 40033 40135 40136 40130 40128 40131 40035 40129 40132 40133 40134 40034 40030 40126 40038 39931 39938 39930 39936 39932 39933 39934 39939 39935 39940 39937 39793 39791 39792 39783 39786 39788 39787 39785 39789 39784 39790 40319 40314 40315 40317 40316 36708 36709 36698 36707 40410 40415 40411 40413 40412 40510 40511 40507 40218 40217 40221 40222 40220 40219 36638 36626 36628 36616 36615 36617 36619 36618 36621 36623 36614 36622 40026 40120 40125 40122 40123 40027 40023 40028 40025 40024 40121 40124 39925 39928 39929 39926 39924 39927 39782 39779 39777 39781 39780 39778 40409 40406 40408 40404 40407 40405 40402 40502 40505 40504 40501 40499 40112 40022 40018 40114 40117 40020 40115 40118 40019 40017 39922 39923 39919 39918 39921 39920 39771 39776 40215 39772 40212 39773 40213 40216 40214 40309 40313 40311 40312 40306 40310 40496 40318 40414 40512 40508 40509 40209 39769 40116 40211 39774 40503 40506 39916 40021 40015 39775 40119 40308 36710 36711 36649 36647 36633 36634 36675 36648 36645 36631 36687 36644 36659 36676 36677 36689 36690 36691 36692 36663 36706 36636 36664 36661 36662 36673 36650 36643 36641 36635 36678 14469 14468 14470 14472 14473 14465 14462 14467 14466 14463 14471 14476 14464 23241 23247 23239 23237 23246 23242 23248 23245 23243 23240 23249 23244 23145 22958 22947 22949 22956 23147 23142 23150 23143 22955 22954 22957 23152 22950 23144 23151 22951 22953 22952 22959 23149 23148 23146 23140 22658 22657 22663 22660 22661 22665 22659 22662 22654 22666 22664 22656 22857 22856 22855 22618 22619 22611 22609 22617 22616 22610 22612 22615 22620 22853 22854 22862 22859 22858 22762 22763 22852 22860 22755 22613 22614 22758 22765 22760 22764 22761 22753 22756 22757 22759 22861 22850 23095 23096 23093 23089 23092 23088 23091 23094 23090 23087 23097 23212 23211 23210 23209 23208 22919 22920 23115 22921 23114 23113 23112 22922 23111 22918 22627 22628 22629 22626 22823 22727 22822 22725 22583 22825 22584 22582 22726 22581 22824 22728 22724 22625 22580 22821 23189 23191 23282 23285 23185 23286 23288 23193 23284 23281 23280 23187 23186 23183 23192 23287 23290 23184 23188 23190 23289 23283 22893 22900 22895 22899 22700 22702 22704 22797 22800 22699 22698 22992 22995 22998 22990 22896 22706 22898 22997 22993 23000 22991 22799 22805 22901 22902 22897 22804 22697 22802 22803 22701 22798 22707 22903 22894 22999 22996 22994 22796 22806 22703 22801 22705 28151 27332 28142 28155 28159 27343 27342 28158 28167 28146 28161 27334 28154 27335 28153 27339 28147 28165 28152 28149 28160 28148 28140 28166 28156 27340 28145 28138 28162 28139 28150 27338 28163 27331 28144 28164 28143 27341 28141 28157 27336 27337 22558 22559 22557 22560 22551 22556 22555 22553 22550 22552 22554 27333 23279 23182 13818 13811 13795 13796 13820 13800 13807 13810 13798 13799 13813 13816 13808 13797 13809 13814 13812 13815 13817 13805 13801 13806 40399 36629 36701 36671 36657 36630 36703 36685 36705 36611 36686 36658 36669 36672 36655 36683 36704 36627 36613 39766 40303 40206 40012 39913 40109 25040 25011 25014 25051 25042 25015 25043 25013 25044 25050 25047 25046 25049 25045 25012 25048 25052 13913 13893 13892 13909 13917 13910 13894 13915 13912 13911 13895 13908 13914 25038 25039 21895 21905 21906 13906 13905 13897 13896 13907 25016 13903 13898 21722 21736 21735 25019 25034 25036 25032 25018 25017 25035 25033 25037 22844 22845 22843 22829 22848 22849 22746 22751 22745 22826 22828 22730 22729 22827 22842 13904 13902 22846 22747 22731 22847 22750 22749 22748 22752 22732 25478 25378 25383 25473 25479 25477 25386 25474 25379 25476 25475 25376 25676 25672 25669 25573 25675 25673 25571 25577 25578 25579 25667 25570 25574 25670 25668 25666 25674 25671 25569 25572 25576 25483 25480 25380 25381 25382 25377 25384 25385 25482 25183 25090 25191 24937 24946 24939 25083 24940 25481 25279 25089 25285 25284 25182 25084 24945 24942 24943 25287 25189 24938 25192 25283 25281 25288 25185 25190 25085 25286 25187 25086 25184 24944 25282 25186 24936 25188 25092 25289 24941 25091 25280 25087 25093 25088 25631 25629 25626 25627 25625 25630 25633 25634 25628 25632 25635 25623 25537 25526 25532 25538 25535 25534 25529 25595 25596 25533 25528 25536 25531 25597 25598 25498 25497 25499 25594 25500 25501 25243 25150 25139 25151 25339 25244 25239 25144 25002 25341 25247 25238 25236 25242 25245 25345 25333 25344 25142 25248 25146 25145 25340 25338 25241 25143 25246 25343 25342 25240 25149 25335 25147 25337 25530 25336 25148 25430 25441 25435 25438 25001 25211 25306 25305 25003 24999 25006 25439 25209 25304 25114 25308 24966 24969 24968 25110 25113 24970 24967 25575 24995 25000 24996 25005 25307 25210 25207 25111 25208 25112 25433 25437 25432 25442 25440 25434 25436 24997 25004 24998 25403 25404 25401 25402 25405 25141 13804 13802 13901 13899 13803 13900 10741 10815 10885 10887 10829 10828 10886 10858 10857 10800 10786 10799 10856 10771 10757 10770 25409 25427 25426 25424 25428 25423 25422 25407 25408 25429 25406 25425 24994 24971 24993 24992 24972 24991 24973 24989 24988 24974 24990 8917 8918 8981 8986 8984 8934 8970 8993 9000 8958 8990 8976 8957 8955 8960 8954 8994 9001 8965 8971 8999 8943 8923 8995 8938 8998 8944 8974 8908 8987 8915 8927 8969 8926 8966 8953 8939 8982 8979 8948 8946 8967 8959 8924 8968 8996 8952 8983 8940 9002 8941 8929 8972 8980 8930 8942 8928 8920 9003 8932 8925 8988 8973 8997 24987 8962 8916 8937 8985 8956 8951 8945 14461 15018 15032 14880 15031 14973 14974 14960 14881 14895 15089 15090 15059 15060 15061 15002 14945 14944 14914 14931 14900 14989 14913 15003 14894 15088 17211 17225 17138 17224 17124 17093 17107 17196 17088 17074 17182 17282 17283 17253 17254 17195 17087 17106 17137 17252 17281 21693 21707 21706 22851 11497 32577 32575 32578 32581 32579 32580 16349 15131 15129 15117 15130 15143 15144 15121 15137 15142 15128 15115 15161 15170 15172 15173 15184 15165 15171 15187 15186 15158 15199 15159 15201 15214 15213 15133 15185 15175 15179 15200 15157 15145 15147 15156 15212 15207 15203 15151 18205 18201 18203 18190 18202 18204 15198 15189 15193 15215 18451 18448 18434 18450 18454 18449 18453 18452 15216 18433 15181 18432 18431 18447 22754 18163 18161 18162 18159 18143 18158 18157 18160 18254 18260 18256 18255 18240 18257 18259 18258 18549 18547 18530 18544 18548 18545 18546 18550 18642 18641 18627 18643 18646 18645 18644 18061 18063 18059 18064 18062 18044 15153 15119 15135 15197 15140 15169 15154 15141 15134 15132 15126 15183 15211 15124 15155 15127 15116 15118 18357 18356 18353 18355 18352 18354 15168 15149 15146 15148 18529 18626 18336 15164 15166 15167 18014 18019 18016 15125 18015 18018 17999 18013 15139 15123 17998 15120 15138 15122 18350 15195 15162 15177 15174 15163 15196 15160 15176 15182 15188 15191 15190 15210 18334 18528 18141 18041 18625 17956 17944 17958 17957 17997 18012 18239 18527 18640 17955 18624 18253 18238 18543 18042 18043 18057 18142 17959 18156 17996 18140 18237 15209 18058 18647 18351 15150 18017 18337 18335 18060 15152 15136 22633 22650 22651 22648 22649 22647 22652 22653 22655 22604 22603 22588 22608 22605 22602 22606 22607 22632 22587 22630 22631 22646 22586 22601 22585 22530 8931 7676 7922 8212 8163 8302 7969 8115 8213 7775 8016 7725 8066 7919 8019 7728 8205 8309 8108 8116 7825 8114 7920 8260 7921 8210 8308 7726 7823 8310 12526 12532 12531 12530 12527 12540 12529 12528 12543 12537 12533 12536 12534 12535 6899 6927 6928 6898 6897 6926 8113 8211 8307 7727 7824 8018 7822 7629 8017 7872 24112 24098 24082 24111 15180 15178 15192 15194 21920 21919 21884 21882 21885 21899 21904 21913 21907 21900 21901 21898 21915 21914 21909 21912 19691 12439 12438 12433 12435 12437 12436 12441 12430 12432 12434 12431 12429 12428 25140 25041 25131 25116 25117 25134 25138 25137 25118 25132 25136 25135 25133 25115 37286 37532 37629 38016 37919 37823 37726 8339 8334 8333 8319 7510 8321 8342 8314 7514 8323 8338 8331 8320 8327 8337 8343 8332 8326 8344 8311 8313 8322 8316 8312 8324 8317 8328 8341 8335 8330 8336 8318 7516 8315 8325 8329 8340 7503 12489 12476 12486 12492 12484 12481 12479 12483 12478 12480 12485 12475 12477 12482 12591 12388 12395 12391 12389 12385 12390 12384 12383 12392 12387 12386 12382 8761 8876 8818 8789 8848 8846 8847 8747 8776 8790 8805 8819 8877 8875 8760 24141 24127 24140 24197 21751 21765 21764 21823 21822 21821 21852 21851 21850 25334 25373 25375 25374 25372 25370 25371 25359 25178 25177 25176 25181 25165 25180 25179 19700 19697 19694 19696 19695 19693 19698 19699 19692 21948 21949 21941 21946 21951 22794 22793 22790 22791 22792 22795 22779 25274 25276 25660 25661 25649 25662 25665 25664 25663 25469 25472 25468 25467 25471 25456 25470 25565 25564 25552 25563 25568 25567 25566 25077 25078 25080 24932 24930 25527 25624 25431 25081 24919 24931 25066 24935 25273 25277 25278 25275 25079 25082 24933 24934 25262 25237 24916 21960 21955 21934 21935 21977 21978 21932 21918 21921 21927 21923 21933 21937 25520 25505 25620 21894 21896 21878 21886 21952 21917 21902 21945 25522 25619 25621 21950 25523 25602 25525 21959 21880 21897 21889 25519 21973 25521 25524 21953 25616 25622 21881 21888 25618 21903 21916 25617 21930 21928 21931 21929 21924 21922 21925 25235 25234 25229 25233 25230 25231 25215 21944 21908 21910 25327 25331 21938 21939 25329 25330 25312 25326 25332 21936 21926 25328 21958 21968 21971 21972 21970 19613 19611 23238 22945 22944 23232 22942 22941 23216 22943 22939 23229 23233 22940 22923 22924 22925 23236 23234 23235 23213 23230 23231 23214 22926 22948 23215 22946 9562 9612 9617 9569 9616 9608 9610 9615 9552 9609 9566 9607 9597 9614 9613 9600 9564 9563 9611 9573 9554 9571 9618 9555 9598 9565 9567 9553 9570 9599 9568 9572 12427 21957 21956 21954 25311 25601 25615 21943 25228 21940 21942 25518 25214 25504 25325 10097 10094 10085 10102 10084 10095 10086 10099 10100 10103 10104 10093 10083 10096 10101 10098 10001 9999 9988 10003 10008 9989 9990 9997 10005 10002 9998 10004 10000 10007 10006 9987 9812 9814 9795 9813 9811 9807 9806 9809 9810 9793 9808 9805 9794 25310 25599 25600 25212 25309 25502 25213 25503 21911 25232 21947 10081 9596 10082 9792 9551 9986 9550 9595 9985 9796 9804 9791 9803 4609 4608 3767 5106 5092 5078 5065 3830 3831 3823 3827 3822 3824 3829 3826 3821 3828 3825 7914 7817 7718 8011 5148 5129 5157 5130 5162 5120 5134 5087 5115 5101 5143 5071 5128 5116 5114 6842 6847 6850 6819 6852 6793 6753 6761 6758 5070 6880 6813 6792 6875 6913 6795 5072 6818 6912 5156 6823 6900 6760 6788 6784 6848 6933 6876 6789 6905 6797 6821 6937 6855 6853 6934 5102 6881 6737 6817 6767 6764 6790 6871 6882 6877 5142 6794 6846 6796 6736 6825 5158 6824 6822 6735 6938 6929 6909 6904 6854 6935 6879 6765 5088 5086 5144 6908 6768 6910 6883 6884 6766 5100 6939 6911 6826 6851 6940 6757 6763 6906 6759 8246 8255 8251 8247 8245 8254 8252 8248 8253 8250 8249 8243 7863 7860 7862 7830 7868 7866 7864 7867 7829 7865 7861 7831 7859 7858 7856 8216 8218 8217 10392 10386 10545 10463 10368 10527 10486 10539 10471 10390 10483 10388 10476 10377 10399 10489 10538 10515 10485 10497 10546 10534 10398 10490 10520 10525 10529 10395 10473 10521 10397 10379 10492 10537 10378 10394 10477 10513 10542 10479 10532 10475 10494 10488 10533 10536 10384 10528 10400 10396 10381 10371 10512 10518 10383 10523 10375 10464 10391 10465 10535 10540 10484 10541 10469 10547 10367 10478 10530 10393 10548 10544 10466 10522 10468 10493 10482 10467 10470 10387 10389 10474 10514 10369 10516 10526 10472 10491 10380 10487 10524 10496 10382 10376 10374 10372 10543 10480 10462 10370 10385 10461 10495 10519 10517 10481 10531 10455 10363 10365 10361 10362 10460 10366 10456 10457 10459 10458 10364 8223 7832 8236 7834 7853 7854 8242 8233 8221 8239 8231 8219 7835 8237 7844 7846 7848 8238 7851 7850 7845 8220 7836 8234 7837 8235 7849 8232 7828 7827 8215 8214 10506 10510 10511 10507 10509 10508 7833 8240 8241 8224 7847 8244 7852 8222 7855 18494 18688 18589 18685 18592 18690 18481 18492 18689 18588 18493 18577 18674 18495 18687 18591 18590 18496 18686 18384 18397 18399 18395 18396 18398 18301 18299 18302 18300 18287 18298 18091 18104 18105 18103 18102 18106 18739 18732 18731 18744 12281 12184 12087 11893 7768 7771 7759 7770 8117 8119 8120 8118 8156 8153 8155 8151 8150 8149 10373 7732 8154 8146 7731 7730 8121 8157 8158 8148 15206 15208 11796 7761 7747 7751 8140 8152 7762 7769 7766 7764 7767 7763 7755 8147 8138 11990 8125 8134 7737 8139 8137 7756 7749 7734 7758 7733 7748 8135 7765 8145 22680 22691 22693 22696 22694 22692 22891 22889 22890 22887 22892 22876 22888 22989 22973 22985 22984 23083 23085 23082 23081 23277 23276 23180 23166 23177 23178 23181 23179 23070 23086 23084 22987 22986 23278 23263 23274 10417 10410 10412 10414 10416 10413 10415 10418 10409 10419 10421 10407 23116 23141 23138 23135 23118 23117 23139 23134 23133 23137 12999 12998 12985 12997 13004 12989 12996 12983 15810 15796 15814 15815 15813 15811 15812 15816 15809 15738 15794 15793 15803 15804 15800 15798 15807 15808 15805 15802 15806 32478 32966 32672 32870 32869 32332 32775 32674 32968 32333 32675 33061 32773 32872 32965 32480 33059 32969 32677 32329 33066 32481 33063 33062 32336 32676 32331 32868 32334 32769 32962 32866 32476 32964 33064 32335 32483 32479 32482 33065 32772 32871 32678 32967 32774 32771 32679 16443 16442 16444 16441 16440 16439 16438 13018 13020 13013 13012 13001 13011 13082 13009 12995 12994 16437 16434 16435 16436 16426 13023 13051 13037 13065 13079 13083 13084 13041 13043 13055 13039 13040 13054 13029 13053 13068 13057 13067 13069 13081 13063 13050 13049 13035 13064 13036 13046 13060 13032 13062 13034 13048 12991 12992 12990 12988 13022 13021 13080 13075 13071 16424 13025 13026 13015 13019 13027 13024 15959 16056 16251 16151 16152 16053 16054 16249 16250 16148 16245 16134 16327 16231 16341 16057 16346 16150 15958 16055 16344 15940 16037 15954 16343 16246 15960 16247 16051 16345 16342 16347 16052 16154 16153 16248 15956 15955 15957 16149 13078 13077 13074 13076 13007 13008 13006 12993 13038 13033 13047 13061 13052 13066 16050 15948 15947 15950 15951 15949 16049 16048 16147 16046 16044 15952 15953 16047 16045 16241 16340 16146 16243 16337 16339 16242 16244 16144 16334 16142 16141 16338 16145 16238 16143 16335 16239 16240 16336 16432 16431 16433 15858 15859 15856 15841 15855 15860 15861 15857 16038 16039 16042 15945 16043 15942 15943 16133 16036 15939 16041 15946 16040 15941 15944 16228 15962 16131 16132 16325 16035 16034 16229 16324 16253 15938 15937 15839 15838 16421 16422 16446 16423 15795 16329 16237 16332 16230 16326 16233 16234 16331 16137 16139 16235 16328 16232 16236 16333 16138 16140 16330 16136 16135 15797 16428 15799 16425 16429 15801 16427 16430 15844 15852 15848 15849 15853 15842 15843 15847 15851 15845 15854 15840 15850 15846 13010 13005 22988 23136 23275 22695 10411 23132 23119 4967 8287 5023 4994 4877 4906 5022 4874 4872 5016 4865 5047 8291 4987 4959 4963 8099 8093 8195 8289 7998 4995 4870 4849 4930 4983 4875 8097 8102 8100 7999 8000 8002 8189 8194 4900 4996 4991 4954 4869 5046 5025 4938 5012 4925 4992 4902 8094 4934 8095 4933 4966 4896 7996 8003 8004 4847 7997 8103 4903 4932 4964 4937 8199 5045 8101 8098 8096 8294 4880 4904 5041 5019 5052 8192 8006 5020 4931 4873 8193 4878 4909 4846 5017 8293 8005 8001 5024 4935 4962 4876 5018 4936 4848 8292 4905 4908 4993 4989 4988 4990 4871 5021 8286 8197 8196 8290 8198 8295 4907 4901 8288 8296 8190 8191 4961 4879 4929 4965 4958 4960 4820 4812 4813 4817 4814 4815 4811 4816 4821 4818 4819 4331 4477 4575 3993 4090 4476 4087 4283 4379 4572 3894 4380 4282 3941 4573 3992 4187 3990 4478 4040 4381 4184 4428 4234 4088 4089 4574 4186 4137 4185 4378 4284 4475 3991 4281 4525 4597 4584 4583 4585 4590 3775 4592 3776 3781 3770 4598 4576 4580 4591 4595 4594 4582 4604 4588 3778 4605 4579 4599 3777 3768 4602 3780 4578 3772 3773 4589 4586 4603 3779 4593 4581 3769 4607 3774 3771 4601 4587 4606 4596 4600 4577 8825 8833 8849 8828 8832 8829 8804 8855 8796 8801 8795 8803 8797 8798 6979 8824 8827 6965 6961 6962 6964 6963 7007 6993 6978 6977 7054 4722 4733 4725 4799 4680 4739 4679 4772 4771 4672 4673 4730 4754 4756 4715 4793 4706 4797 4690 4693 4686 4671 4792 4777 4676 4692 4694 4695 4763 4735 4769 4765 4791 4705 4743 4787 4767 4789 4684 4717 4746 4750 4785 4790 4714 4773 4781 4700 4749 4718 4685 4697 4675 4674 4737 4687 4677 4747 4721 4732 4728 4704 4794 4755 4719 4741 4798 4786 4779 4702 4713 4678 4669 4775 4723 4788 4670 4795 4782 4764 4752 4726 4738 4776 4683 4768 4766 4796 4736 4778 4729 4734 4742 4745 4744 4751 4703 4724 4780 4701 4716 4783 4699 4753 4740 4770 4784 4682 4748 4689 4696 4688 4691 4667 4668 4698 4727 4774 4731 4720 4681 8768 8767 8799 8742 8710 8708 8739 8709 8743 8771 8770 7035 7049 7052 7053 8802 8762 8772 8746 8717 8733 8738 7021 6991 6992 7039 7051 7041 7025 7010 7009 7024 6999 7013 6997 7023 8713 8686 8702 7037 6994 8740 7027 7032 7030 6996 8882 8862 8883 8887 6971 6953 6967 7022 6982 6968 8684 8889 8711 8853 7046 8884 8860 7017 6975 7045 8715 8737 8683 6958 8888 8714 8685 7004 6990 6974 6976 6960 6980 6983 8712 7020 6966 6995 7048 7047 8831 6981 7008 6955 8769 8745 7002 7016 6988 8773 7018 6959 6989 8741 6969 7050 7036 7031 8744 8707 8716 8774 7019 7034 7033 7005 7006 8800 7044 8878 8854 8820 8826 8775 8830 8706 8766 7003 7038 7011 6985 8886 8791 9888 10199 9714 10178 9699 9696 9893 9909 9694 10179 9911 9698 10181 9889 10201 9706 9713 10193 9697 9910 9710 9903 9908 9907 9901 9900 9890 9708 10194 10197 10190 10192 10182 10180 9695 9717 9707 9891 9715 9712 10195 9905 9709 10191 9904 10200 9892 9902 9906 9716 10196 10198 10183 9477 9711 11638 11584 11629 12199 12214 11814 11628 11635 11573 11588 12115 11582 12104 11910 12025 12211 11908 11591 12200 12202 12123 11734 11931 11826 11718 12102 12118 11590 12103 11587 11829 11909 12113 11618 12122 11727 11726 11921 11922 11616 11575 11633 11831 11736 12008 11728 11732 11733 12124 11833 11630 11912 12116 11571 12010 11719 11913 11620 12203 11816 12106 11735 11830 12120 12119 11634 11632 11589 11592 12021 11928 11927 11926 11824 11823 11631 11617 11627 12006 11586 11737 11828 11585 12017 11929 12018 11825 11813 12009 11574 12217 12121 11832 11637 12117 11731 12101 12216 11615 12212 12213 11593 12023 11572 12220 12198 12007 11834 12219 11717 11714 11811 11570 12027 12028 11930 11812 12005 11923 12221 12105 11827 11911 11636 12215 11815 11729 12114 11730 12022 11924 11715 11716 11583 12020 11619 12026 12019 12024 12210 12218 11920 11925 12201 2019 2085 7502 7506 7512 7513 7511 7515 7504 7509 7505 7507 7508 1087 1084 1090 1078 1096 1081 1118 1102 1099 1093 2422 2704 2703 2705 2707 2365 2418 2419 2423 2615 2608 2613 444 545 551 558 549 563 447 547 2272 2269 2271 566 446 445 1346 407 2610 400 2606 450 449 2665 2663 2662 575 2420 2415 2414 2424 2658 2659 567 402 565 548 2278 576 577 2660 557 2268 239 2412 2366 244 243 261 278 2567 2566 2368 2364 550 2649 2619 562 2616 2611 2275 2179 2413 1317 2654 2655 2656 2267 2266 2276 1288 2617 2363 2690 442 443 555 556 1998 2002 1997 2472 2466 2469 2467 504 1375 496 495 494 2373 2372 2370 2369 1417 2273 2375 2612 240 285 228 280 279 175 231 281 269 282 232 236 234 233 230 2417 2173 2130 2176 2167 2177 2174 1995 1994 1993 1996 1999 2607 406 389 401 2510 2521 2511 2514 2512 2515 500 489 491 2516 2517 2519 403 564 404 405 448 546 554 553 552 490 493 492 488 501 502 2509 2564 503 486 487 277 271 2563 2560 2802 2003 2004 2005 2000 2001 2463 2465 2520 2557 2569 2426 2523 2558 2559 2712 2710 2709 7754 7750 7735 7736 7753 7752 8122 8123 8141 8142 8144 8143 8136 7738 7757 7739 8127 7740 8124 8126 1047 1052 1057 1066 1062 1070 1074 643 641 640 642 586 614 588 587 479 560 506 480 478 165 44 41 39 164 157 163 40 42 43 2513 2325 396 2323 2322 391 388 2326 2220 452 2219 2218 2321 380 2315 2317 398 2327 2329 392 379 2230 395 385 390 386 387 383 382 381 477 384 394 393 2226 2225 585 2609 2232 2229 2228 2657 2224 2221 2270 2222 2319 2320 2416 2316 2318 2223 2367 196 184 3 8 7 644 12 4 9 262 288 267 241 286 270 273 235 268 276 174 284 238 272 242 226 274 275 237 283 618 617 616 468 179 2080 2079 190 621 620 619 1166 611 610 1156 1157 2129 2127 2124 626 627 2126 624 2125 511 466 191 465 458 459 192 195 2088 460 461 462 463 628 183 622 623 1446 1238 198 625 467 629 2706 2131 2133 2074 2168 2169 2746 593 594 2170 2171 601 600 599 598 173 595 597 510 596 2076 2075 2172 602 603 2123 464 187 1161 1160 457 456 455 454 2081 2082 2713 608 607 606 605 1257 2787 1163 2084 2086 2077 2464 612 469 2122 2121 2470 225 1162 2460 2461 2462 2120 2078 509 508 2119 630 631 639 2708 211 604 1159 1158 609 1164 485 1165 497 498 499 2562 2561 334 333 332 331 330 329 328 327 326 325 324 323 318 317 316 295 296 297 298 299 300 301 302 303 304 305 315 377 372 371 378 441 440 439 438 437 436 435 434 433 432 431 426 425 424 423 290 291 292 293 294 415 414 413 412 411 410 409 408 335 541 540 539 534 533 532 531 523 203 205 207 209 522 521 520 519 518 517 516 515 514 513 512 574 573 572 571 570 569 568 370 369 361 360 359 358 357 356 355 354 353 352 351 350 349 348 347 346 344 342 341 340 339 338 337 336 199 200 544 543 542  0
959.78/959.87	
959.78/959.87	c Core has size 19398

OK	19398

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-3501474-1308041994/watcher-3501474-1308041994 -o /tmp/evaluation-result-3501474-1308041994/solver-3501474-1308041994 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501474-1308041994.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.86 3.96 1.79 5/189 9213
/proc/meminfo: memFree=31153304/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=16948 CPUtime=0 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1502 0 0 0 0 0 0 0 25 0 1 0 915799194 17354752 1077 33554432000 4194304 4365125 140734495789344 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 4237 1077 253 42 0 1385 0

[startup+0.00921188 s]
/proc/loadavg: 4.86 3.96 1.79 5/189 9213
/proc/meminfo: memFree=31153304/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=16948 CPUtime=0 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1590 0 0 0 0 0 0 0 25 0 1 0 915799194 17354752 1146 33554432000 4194304 4365125 140734495789344 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 4237 1146 253 42 0 1385 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16948

[startup+0.1002 s]
/proc/loadavg: 4.86 3.96 1.79 5/189 9213
/proc/meminfo: memFree=31153304/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=22872 CPUtime=0.09 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 5789 0 0 0 9 0 0 0 25 0 1 0 915799194 23420928 2566 33554432000 4194304 4365125 140734495789344 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 5718 2566 262 42 0 2866 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22872

[startup+0.300164 s]
/proc/loadavg: 4.86 3.96 1.79 5/189 9213
/proc/meminfo: memFree=31153304/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=28900 CPUtime=0.29 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 7386 0 0 0 29 0 0 0 25 0 1 0 915799194 29593600 3884 33554432000 4194304 4365125 140734495789344 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 7225 3885 262 42 0 4373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28900

[startup+0.701095 s]
/proc/loadavg: 4.86 3.96 1.79 5/189 9213
/proc/meminfo: memFree=31153304/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=33448 CPUtime=0.68 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 11841 0 0 0 68 0 0 0 25 0 1 0 915799194 34250752 4991 33554432000 4194304 4365125 140734495789344 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 8362 4991 262 42 0 5510 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 33448

[startup+1.50101 s]
/proc/loadavg: 4.86 3.96 1.79 5/190 9214
/proc/meminfo: memFree=31125428/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=53864 CPUtime=1.49 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 31299 0 0 0 146 3 0 0 25 0 1 0 915799194 55156736 9869 33554432000 4194304 4365125 140734495789344 18446744073709551615 4244608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 13466 9869 262 42 0 10614 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53864

[startup+3.10067 s]
/proc/loadavg: 4.86 3.96 1.79 5/190 9214
/proc/meminfo: memFree=31088964/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=122660 CPUtime=3.09 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 88541 0 0 0 300 9 0 0 25 0 1 0 915799194 125603840 22220 33554432000 4194304 4365125 140734495789344 18446744073709551615 4248608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 30665 22220 262 42 0 27813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122660

[startup+6.3011 s]
/proc/loadavg: 4.79 3.96 1.80 5/190 9214
/proc/meminfo: memFree=30973072/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=249212 CPUtime=6.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 146082 0 0 0 612 16 0 0 25 0 1 0 915799194 255193088 44381 33554432000 4194304 4365125 140734495789344 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 62303 44381 262 42 0 59451 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 249212

[startup+12.701 s]
/proc/loadavg: 4.73 3.96 1.81 5/190 9214
/proc/meminfo: memFree=30917776/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=539624 CPUtime=12.69 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 278651 0 0 0 1239 30 0 0 25 0 1 0 915799194 552574976 93381 33554432000 4194304 4365125 140734495789344 18446744073709551615 4306863 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 134906 93381 264 42 0 132054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 539624

[startup+25.5007 s]
/proc/loadavg: 4.56 3.96 1.85 5/190 9251
/proc/meminfo: memFree=31050236/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=392884 CPUtime=25.49 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 450452 0 0 0 2500 49 0 0 25 0 1 0 915799194 402313216 85185 33554432000 4194304 4365125 140734495789344 18446744073709551615 4272031 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 98221 85185 264 42 0 95369 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 392884

[startup+51.1002 s]
/proc/loadavg: 4.37 3.96 1.90 5/190 9289
/proc/meminfo: memFree=31017832/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=51.08 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 473493 0 0 0 5056 52 0 0 25 0 1 0 915799194 410316800 85195 33554432000 4194304 4365125 140734495789344 18446744073709551615 4257829 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 85195 264 42 0 97323 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 400700

[startup+102.306 s]
/proc/loadavg: 4.23 3.98 2.01 5/190 9447
/proc/meminfo: memFree=30805968/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=421180 CPUtime=102.29 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 514197 0 0 0 10171 58 0 0 25 0 1 0 915799194 431288320 87291 33554432000 4194304 4365125 140734495789344 18446744073709551615 4267798 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 105295 87291 264 42 0 102443 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 421180

[startup+162.301 s]
/proc/loadavg: 4.08 3.98 2.14 5/190 9486
/proc/meminfo: memFree=30866332/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=374076 CPUtime=162.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 592135 0 0 0 16160 68 0 0 25 0 1 0 915799194 383053824 81412 33554432000 4194304 4365125 140734495789344 18446744073709551615 4250123 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 93519 81412 264 42 0 90667 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 374076

[startup+222.301 s]
/proc/loadavg: 4.03 3.98 2.25 5/190 9524
/proc/meminfo: memFree=30897356/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=378172 CPUtime=222.29 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 676209 0 0 0 22149 80 0 0 25 0 1 0 915799194 387248128 81926 33554432000 4194304 4365125 140734495789344 18446744073709551615 4272011 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 94543 81926 264 42 0 91691 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 378172

[startup+282.3 s]
/proc/loadavg: 4.01 3.98 2.36 5/190 9529
/proc/meminfo: memFree=30891680/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=386364 CPUtime=282.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 707275 0 0 0 28143 85 0 0 25 0 1 0 915799194 395636736 82922 33554432000 4194304 4365125 140734495789344 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 96591 82922 264 42 0 93739 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 386364

[startup+342.301 s]
/proc/loadavg: 4.00 3.98 2.46 5/190 9605
/proc/meminfo: memFree=30711736/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=396604 CPUtime=342.29 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 792763 0 0 0 34133 96 0 0 25 0 1 0 915799194 406122496 84207 33554432000 4194304 4365125 140734495789344 18446744073709551615 4272011 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 99151 84207 264 42 0 96299 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 396604

[startup+402.3 s]
/proc/loadavg: 4.00 3.98 2.55 5/190 9643
/proc/meminfo: memFree=30632864/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=392508 CPUtime=402.29 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 865369 0 0 0 40123 106 0 0 25 0 1 0 915799194 401928192 83725 33554432000 4194304 4365125 140734495789344 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 98127 83725 264 42 0 95275 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 392508

[startup+462.301 s]
/proc/loadavg: 4.00 3.98 2.64 5/190 9645
/proc/meminfo: memFree=30400652/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=348952 CPUtime=462.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 954662 0 0 0 46111 117 0 0 25 0 1 0 915799194 357326848 77187 33554432000 4194304 4365125 140734495789344 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 87238 77187 264 42 0 84386 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 348952

[startup+522.301 s]
/proc/loadavg: 4.11 4.02 2.73 5/190 9646
/proc/meminfo: memFree=30168488/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=394556 CPUtime=522.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1089731 0 0 0 52097 131 0 0 25 0 1 0 915799194 404025344 83978 33554432000 4194304 4365125 140734495789344 18446744073709551615 4262552 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 98639 83978 264 42 0 95787 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 394556

[startup+582.3 s]
/proc/loadavg: 4.08 4.03 2.81 5/190 9648
/proc/meminfo: memFree=30058084/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=382268 CPUtime=582.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1232957 0 0 0 58079 149 0 0 25 0 1 0 915799194 391442432 82476 33554432000 4194304 4365125 140734495789344 18446744073709551615 4257382 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 95567 82476 264 42 0 92715 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 382268

[startup+642.301 s]
/proc/loadavg: 4.03 4.02 2.88 5/190 9650
/proc/meminfo: memFree=30013760/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=374076 CPUtime=642.29 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1337858 0 0 0 64067 162 0 0 25 0 1 0 915799194 383053824 81425 33554432000 4194304 4365125 140734495789344 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 93519 81425 264 42 0 90667 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 374076

[startup+702.301 s]
/proc/loadavg: 4.01 4.01 2.95 5/190 9651
/proc/meminfo: memFree=29987056/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=394556 CPUtime=702.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1373978 0 0 0 70062 166 0 0 25 0 1 0 915799194 404025344 84004 33554432000 4194304 4365125 140734495789344 18446744073709551615 4244660 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 98639 84004 264 42 0 95787 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 394556

[startup+762.306 s]
/proc/loadavg: 4.00 4.01 3.01 5/190 9653
/proc/meminfo: memFree=29961332/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=390460 CPUtime=762.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1421112 0 0 0 76057 171 0 0 25 0 1 0 915799194 399831040 83526 33554432000 4194304 4365125 140734495789344 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 97615 83526 264 42 0 94763 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 390460

[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.07 5/190 9654
/proc/meminfo: memFree=29987560/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=822.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495261 0 0 0 82047 181 0 0 25 0 1 0 915799194 410316800 84878 33554432000 4194304 4365125 140734495789344 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 84878 264 42 0 97323 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 400700

[startup+882.3 s]
/proc/loadavg: 3.40 3.83 3.07 4/184 9680
/proc/meminfo: memFree=30220860/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=882.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495276 0 0 0 88047 181 0 0 25 0 1 0 915799194 410316800 84893 33554432000 4194304 4365125 140734495789344 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 84893 264 42 0 97323 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 400700

[startup+942.301 s]
/proc/loadavg: 3.14 3.68 3.07 4/184 9682
/proc/meminfo: memFree=30150868/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=942.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495347 0 0 0 94047 181 0 0 25 0 1 0 915799194 410316800 84964 33554432000 4194304 4365125 140734495789344 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 84964 264 42 0 97323 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 400700

Solver just ended. Dumping a history of the last processes samples

[startup+947.107 s]
/proc/loadavg: 3.13 3.67 3.07 4/184 9682
/proc/meminfo: memFree=30158928/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=947.09 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495351 0 0 0 94528 181 0 0 25 0 1 0 915799194 410316800 84968 33554432000 4194304 4365125 140734495789344 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 84968 264 42 0 97323 0
Current children cumulated CPU time (s) 947.09
Current children cumulated vsize (KiB) 400700

[startup+953.501 s]
/proc/loadavg: 3.12 3.65 3.06 4/184 9682
/proc/meminfo: memFree=30164380/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=953.48 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495371 0 0 0 95167 181 0 0 25 0 1 0 915799194 410316800 84988 33554432000 4194304 4365125 140734495789344 18446744073709551615 4242800 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 84988 264 42 0 97323 0
Current children cumulated CPU time (s) 953.48
Current children cumulated vsize (KiB) 400700

[startup+956.7 s]
/proc/loadavg: 3.11 3.64 3.06 4/184 9682
/proc/meminfo: memFree=30143672/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=956.68 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495395 0 0 0 95487 181 0 0 25 0 1 0 915799194 410316800 85012 33554432000 4194304 4365125 140734495789344 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 85012 264 42 0 97323 0
Current children cumulated CPU time (s) 956.68
Current children cumulated vsize (KiB) 400700

[startup+958.301 s]
/proc/loadavg: 3.11 3.64 3.06 4/184 9682
/proc/meminfo: memFree=30166984/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=958.28 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495400 0 0 0 95647 181 0 0 25 0 1 0 915799194 410316800 85017 33554432000 4194304 4365125 140734495789344 18446744073709551615 4257495 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 85017 264 42 0 97323 0
Current children cumulated CPU time (s) 958.28
Current children cumulated vsize (KiB) 400700

[startup+959.101 s]
/proc/loadavg: 3.11 3.64 3.06 4/184 9682
/proc/meminfo: memFree=30170828/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=959.09 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495401 0 0 0 95728 181 0 0 25 0 1 0 915799194 410316800 85018 33554432000 4194304 4365125 140734495789344 18446744073709551615 4257910 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 85018 264 42 0 97323 0
Current children cumulated CPU time (s) 959.09
Current children cumulated vsize (KiB) 400700

[startup+959.501 s]
/proc/loadavg: 3.11 3.64 3.06 4/184 9682
/proc/meminfo: memFree=30170828/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=959.48 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495401 0 0 0 95767 181 0 0 25 0 1 0 915799194 410316800 85018 33554432000 4194304 4365125 140734495789344 18446744073709551615 4258454 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 85018 264 42 0 97323 0
Current children cumulated CPU time (s) 959.48
Current children cumulated vsize (KiB) 400700

[startup+959.701 s]
/proc/loadavg: 3.11 3.64 3.06 4/184 9682
/proc/meminfo: memFree=30170828/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=959.68 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495418 0 0 0 95787 181 0 0 25 0 1 0 915799194 410316800 85035 33554432000 4194304 4365125 140734495789344 18446744073709551615 4257921 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 85035 264 42 0 97323 0
Current children cumulated CPU time (s) 959.68
Current children cumulated vsize (KiB) 400700

[startup+959.801 s]
/proc/loadavg: 3.11 3.64 3.06 4/184 9682
/proc/meminfo: memFree=30170828/32950928 swapFree=67055160/67111528
[pid=9213] ppid=9211 vsize=400700 CPUtime=959.78 cores=5,7
/proc/9213/stat : 9213 (MoUsSaka) R 9211 9213 9028 0 -1 4202496 1495419 0 0 0 95797 181 0 0 25 0 1 0 915799194 410316800 85036 33554432000 4194304 4365125 140734495789344 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/9213/statm: 100175 85036 264 42 0 97323 0
Current children cumulated CPU time (s) 959.78
Current children cumulated vsize (KiB) 400700

Child status: 20
Real time (s): 959.891
CPU time (s): 959.882
CPU user time (s): 958.052
CPU system time (s): 1.82972
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 606116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 958.052
system time used= 1.82972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1495424
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= 10
involuntary context switches= 1609

runsolver used 1.59076 second user time and 3.64844 second system time

The end

Begin job on node123 at 2011-06-14 10:59:54
IDJOB=3501474
IDBENCH=90019
IDSOLVER=2000
FILE ID=node123/3501474-1308041994
RUNJOBID= node123-1308041932-9049
PBS_JOBID= 13564703
Free space on /tmp= 74052 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/pdtswvtms14x8p1.aig.k25.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501474-1308041994/watcher-3501474-1308041994 -o /tmp/evaluation-result-3501474-1308041994/solver-3501474-1308041994 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3501474-1308041994.gcnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 622a6bcae561bb354a7dc5f320bcccad
RANDOM SEED=1467101288

node123.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.838
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.67
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.838
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.838
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.75
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      31153848 kB
Buffers:        199084 kB
Cached:         946656 kB
SwapCached:      10116 kB
Active:         804784 kB
Inactive:       764892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31153848 kB
SwapTotal:    67111528 kB
SwapFree:     67055160 kB
Dirty:           76200 kB
Writeback:           0 kB
AnonPages:      421332 kB
Mapped:          13816 kB
Slab:           161836 kB
PageTables:       6224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   769104 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 node123 at 2011-06-14 11:15:54