| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| MUSer 2011-02-10 | UNSAT | 998.035 | 997.991 |
| Name | gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf |
| MD5SUM | cf7e38a4033675310aeb9cfd591766e7 |
| Bench Category | GMUS (GMUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 822.899 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 77803 |
| Number of clauses | 232810 |
| Sum of the clauses size | 543222 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 155206 |
| Number of clauses of size 3 | 77603 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Number of groups | 77603 |
| Number of clauses in the kernel (group 0) | 1 |
| Least number of clauses in a group (except group 0) | 3 |
| Greatest number of clauses in a group (except group 0) | 3 |
0.00/0.00 c *** MUSer: a MUS extractor *** 0.00/0.00 c *** release date: 2011210 *** 0.00/0.00 c *** release ref: f95464aa99ac *** 0.00/0.00 c *** built: 2011-Feb-10 00:59 *** 0.00/0.00 c *** author: Joao Marques-Silva (jpms@ucd.ie) *** 0.00/0.00 c 0.00/0.00 c *** instance: HOME/instance-3501108-1308042698.gcnf *** 0.00/0.00 c 0.29/0.33 c Parsing CPU Time: 0.312952 0.29/0.33 c Running MUSer ... 7.49/7.54 c 0.00% completed ... 46.49/46.53 c 6.07% completed ... 491.62/491.63 c 21.15% completed ... 738.42/738.47 c 26.16% completed ... 965.13/965.16 c 31.20% completed ... 997.94/997.90 c 100.00% completed ... 997.94/997.90 c MUS size: 44136 997.94/997.90 s UNSATISFIABLE 997.94/997.90 v 2 3 4 7 8 9 10 12 13 110 111 112 116 118 119 120 121 122 138 139 140 141 147 148 150 152 154 168 169 170 171 172 173 174 175 176 178 195 196 197 198 199 200 201 202 203 216 217 218 219 220 221 222 223 224 226 227 228 229 236 237 238 239 256 267 268 270 271 273 499 503 517 518 519 520 521 522 523 524 525 526 529 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 565 566 567 568 569 570 571 572 573 574 575 577 581 582 585 586 587 589 592 595 605 607 609 611 613 615 616 628 629 656 657 658 659 661 662 663 664 665 668 669 670 676 689 690 1327 1328 1329 1330 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1383 1384 1385 1389 1390 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1535 1536 1537 1538 1539 1540 1541 1542 1543 1544 1545 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1577 1578 1579 1581 1582 1583 1585 1586 1587 1590 1591 1593 1594 1596 1597 1599 1600 1602 1603 1605 1606 1608 1609 1611 1612 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1633 1638 1639 1640 1641 1642 1643 1644 1645 1646 1648 1677 1678 1679 1680 1681 1682 1683 1684 1685 1687 1716 1717 1718 1719 1720 1721 1722 1723 1724 1726 1755 1756 1757 1758 1759 1760 1761 1762 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1792 1793 1794 1795 1796 1797 1798 1799 1800 1803 1807 1808 1819 1820 1821 1822 1824 1825 1826 1829 1830 1831 1832 1833 1834 1835 1836 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1920 1921 1922 1923 1924 1925 1927 1928 1929 1930 1931 1935 1936 2035 2036 2037 2138 2139 2140 3417 3426 3427 3428 3429 3430 3447 3448 3449 3451 3452 3453 3454 3455 3456 3457 3458 3459 3460 3461 3462 3463 3464 3540 3541 3542 3543 3544 3545 3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3609 3610 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3848 3849 3850 3851 3852 3853 3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940 3941 3942 3943 3944 3945 3946 3947 3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3960 3961 3962 3964 3965 3966 3968 3969 3970 3972 3973 3974 3976 3977 3979 3980 3982 3983 3985 3986 3988 3989 3994 3995 3997 3998 3999 4000 4001 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 4013 4016 4021 4022 4023 4024 4028 4061 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080 4081 4082 4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 4094 4095 4096 4097 4136 4137 4138 4142 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 4154 4155 4156 4157 4158 4159 4160 4161 4162 4163 4164 4165 4166 4167 4168 4169 4208 4209 4210 4214 4215 4216 4217 4218 4219 4220 4221 4222 4223 4224 4225 4226 4227 4228 4229 4230 4231 4232 4233 4234 4235 4265 4266 4267 4268 4269 4270 4271 4275 4276 4277 4282 4283 4284 4285 4286 4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4312 4313 4314 4315 4316 4317 4318 4351 4352 4353 4354 4355 4356 4357 4358 4359 4360 4361 4362 4364 4365 4367 4368 4372 4373 4494 4495 4496 4685 4686 4687 6643 6666 6667 6668 6669 6670 6671 6712 6713 6714 6715 6716 6717 6718 6719 6720 6721 6722 6723 6724 6725 6742 6743 6744 6745 6746 6747 6748 6750 6751 6752 6753 6754 6755 6756 6757 6758 6759 6762 6763 6764 6765 6766 6767 6768 6769 6770 6771 6772 6773 6774 6856 6858 6860 6861 6862 6863 6864 6865 6907 6908 6909 6910 6911 6912 6913 6914 6915 6916 6917 6918 6919 6920 6930 6931 6932 6933 6935 6953 6954 6955 6956 6957 6958 6959 6967 6968 6969 6970 6972 6975 6976 6977 6985 6986 6987 6988 6989 6990 6991 6992 6993 6994 6995 6996 6997 6998 6999 7000 7001 7002 7003 7004 7005 7006 7007 7008 7009 7010 7011 7012 7013 7016 7017 7153 7164 7165 7166 7167 7168 7169 7170 7171 7172 7173 7174 7175 7176 7177 7178 7179 7180 7181 7182 7183 7184 7185 7186 7187 7188 7189 7190 7191 7192 7193 7426 7435 7436 7437 7438 7439 7440 7441 7442 7443 7444 7445 7446 7447 7448 7449 7450 7451 7452 7453 7454 7455 7456 7457 7458 7459 7460 7461 7462 7463 7464 7465 7466 7473 7474 7475 7476 7477 7478 7479 7480 7481 7482 7483 7484 7485 7486 7487 7488 7489 7490 7491 7492 7493 7494 7495 7496 7497 7498 7499 7500 7501 7502 7514 7515 7516 7517 7518 7519 7520 7521 7522 7523 7524 7525 7526 7527 7528 7529 7530 7531 7532 7533 7534 7535 7536 7537 7538 7539 7540 7541 7542 7543 7544 7545 7546 7547 7549 7550 7551 7553 7554 7555 7557 7558 7559 7561 7562 7563 7565 7566 7568 7569 7571 7572 7574 7575 7577 7578 7580 7581 7583 7584 7586 7587 7588 7589 7590 7591 7592 7593 7594 7595 7596 7597 7598 7599 7600 7601 7602 7605 7610 7611 7612 7613 7617 7650 7651 7652 7653 7654 7655 7656 7657 7658 7659 7660 7661 7662 7663 7664 7665 7666 7667 7668 7669 7670 7671 7672 7673 7674 7675 7676 7677 7678 7679 7680 7681 7682 7683 7684 7685 7686 7725 7726 7727 7731 7732 7733 7734 7735 7736 7737 7738 7739 7740 7741 7742 7743 7744 7745 7746 7747 7748 7749 7750 7751 7752 7753 7754 7755 7756 7757 7758 7759 7760 7761 7762 7763 7793 7794 7795 7796 7797 7798 7799 7803 7804 7805 7806 7807 7808 7809 7810 7811 7812 7813 7814 7815 7816 7817 7818 7819 7820 7821 7822 7823 7824 7825 7826 7827 7828 7829 7830 7831 7832 7833 7834 7864 7865 7866 7867 7868 7869 7870 7874 7875 7876 7881 7882 7883 7884 7885 7886 7887 7888 7889 7890 7891 7892 7893 7894 7895 7896 7897 7898 7899 7900 7901 7902 7903 7904 7905 7906 7907 7908 7909 7910 7911 7912 7913 7914 7915 7916 7917 7918 7919 7920 7921 7922 7936 7937 7938 7939 7940 7941 7942 7943 7944 7945 7946 7947 7948 7949 7950 7951 7952 7953 7954 7955 7956 7957 7958 7959 7960 7961 7963 7964 7966 7967 7971 7972 8103 8104 8105 8294 8295 8296 10301 10316 10317 10318 10319 10320 10321 10322 10323 10324 10325 10326 10327 10374 10375 10376 10377 10378 10379 10380 10381 10382 10383 10384 10385 10386 10387 10397 10398 10399 10437 10438 10439 10440 10441 10442 10443 10444 10445 10447 10448 10449 10450 10451 10452 10471 10472 10473 10474 10475 10477 10478 10479 10480 10481 10482 10483 10484 10485 10488 10489 10490 10491 10492 10493 10494 10495 10498 10499 10500 10501 10502 10503 10504 10505 10587 10589 10591 10592 10593 10594 10595 10596 10597 10640 10641 10642 10643 10644 10645 10646 10647 10648 10649 10650 10651 10652 10653 10663 10664 10665 10666 10668 10670 10671 10672 10673 10674 10675 10676 10720 10721 10722 10723 10724 10725 10726 10727 10728 10729 10730 10731 10732 10733 10741 10742 10743 10744 10746 10764 10765 10766 10767 10768 10769 10770 10778 10779 10780 10781 10782 10783 10784 10785 10786 10787 10788 10789 10790 10791 10792 10793 10794 10795 10796 10797 10798 10799 10800 10801 10802 10803 10804 10805 10806 10807 10808 10809 10810 10811 10812 10813 10814 10815 10816 10817 10818 10819 10822 10823 11008 11009 11010 11011 11012 11013 11014 11015 11016 11017 11018 11019 11020 11021 11022 11023 11024 11025 11026 11027 11028 11029 11030 11031 11032 11033 11034 11035 11036 11037 11038 11039 11040 11041 11042 11043 11044 11045 11046 11047 11048 11345 11347 11348 11349 11350 11351 11352 11353 11354 11355 11356 11357 11358 11359 11360 11361 11362 11363 11364 11365 11366 11367 11368 11369 11370 11371 11372 11373 11374 11375 11376 11377 11378 11379 11380 11381 11382 11383 11384 11385 11386 11387 11388 11389 11390 11391 11392 11393 11394 11395 11396 11397 11398 11399 11400 11401 11402 11403 11404 11405 11406 11407 11408 11409 11410 11411 11412 11413 11414 11415 11416 11417 11418 11419 11420 11421 11433 11434 11435 11436 11437 11438 11439 11440 11441 11442 11443 11444 11445 11446 11447 11448 11449 11450 11451 11452 11453 11454 11455 11456 11457 11458 11459 11460 11461 11462 11463 11464 11465 11466 11468 11469 11470 11472 11473 11474 11476 11477 11478 11480 11481 11482 11484 11485 11487 11488 11490 11491 11493 11494 11496 11497 11499 11500 11502 11503 11505 11506 11507 11508 11509 11510 11511 11512 11513 11514 11515 11516 11517 11518 11519 11520 11521 11524 11529 11530 11531 11532 11533 11534 11536 11565 11566 11567 11568 11569 11570 11571 11572 11577 11578 11579 11580 11581 11582 11583 11584 11585 11586 11587 11588 11589 11590 11591 11592 11593 11594 11595 11596 11597 11598 11599 11600 11601 11602 11603 11604 11605 11644 11645 11646 11650 11651 11652 11653 11654 11655 11656 11657 11658 11659 11660 11661 11662 11663 11664 11665 11666 11667 11668 11669 11670 11671 11672 11673 11674 11675 11676 11677 11716 11717 11718 11722 11723 11724 11725 11726 11727 11728 11729 11730 11731 11732 11733 11734 11735 11736 11737 11738 11739 11740 11741 11742 11743 11744 11745 11746 11747 11748 11749 11750 11751 11752 11753 11783 11784 11785 11786 11787 11788 11789 11793 11794 11795 11800 11801 11802 11803 11804 11805 11806 11807 11808 11809 11810 11811 11812 11813 11814 11815 11816 11817 11818 11819 11820 11821 11822 11823 11824 11825 11826 11827 11828 11829 11830 11831 11832 11833 11834 11835 11836 11837 11838 11839 11840 11841 11855 11856 11857 11858 11859 11860 11861 11862 11863 11864 11865 11866 11867 11868 11869 11870 11871 11872 11873 11874 11875 11876 11877 11878 11879 11880 11882 11883 11885 11886 11890 11891 12023 12024 12025 12214 12215 12216 14228 14243 14244 14245 14246 14247 14248 14249 14250 14251 14252 14253 14254 14301 14302 14303 14304 14305 14306 14307 14308 14309 14310 14311 14312 14313 14314 14315 14316 14317 14318 14319 14320 14321 14322 14323 14324 14325 14326 14327 14344 14345 14346 14347 14348 14349 14350 14351 14352 14353 14354 14355 14356 14357 14358 14359 14360 14361 14362 14363 14364 14365 14366 14367 14368 14369 14370 14371 14372 14373 14374 14375 14376 14377 14378 14379 14380 14381 14382 14383 14384 14385 14386 14387 14388 14389 14390 14391 14392 14393 14394 14395 14396 14397 14398 14399 14400 14401 14402 14403 14404 14405 14406 14423 14424 14425 14426 14427 14428 14429 14430 14431 14432 14433 14434 14435 14436 14437 14438 14439 14440 14441 14442 14443 14444 14445 14446 14447 14448 14449 14450 14451 14452 14453 14454 14455 14456 14457 14458 14459 14460 14461 14462 14463 14464 14465 14466 14467 14474 14475 14476 14477 14478 14479 14480 14481 14482 14483 14484 14485 14486 14487 14488 14489 14490 14491 14492 14493 14495 14497 14498 14499 14500 14501 14502 14503 14504 14505 14521 14522 14523 14524 14525 14526 14533 14574 14575 14576 14577 14578 14579 14580 14581 14582 14583 14584 14585 14586 14587 14589 14591 14592 14593 14594 14595 14596 14597 14640 14641 14642 14643 14644 14645 14646 14647 14648 14649 14650 14651 14652 14653 14660 14661 14662 14663 14664 14665 14666 14668 14670 14671 14672 14673 14674 14675 14676 14720 14721 14722 14723 14724 14725 14726 14727 14728 14729 14730 14731 14732 14733 14740 14741 14742 14743 14744 14746 14748 14749 14750 14751 14752 14753 14754 14798 14799 14800 14801 14802 14803 14804 14805 14806 14807 14808 14809 14810 14811 14818 14819 14820 14821 14822 14823 14824 14825 14826 14827 14828 14829 14830 14831 14832 14833 14834 14835 14836 14837 14838 14839 14840 14841 14842 14843 14844 14845 14846 14847 14848 14849 14850 14851 14852 14853 14854 14855 14856 14857 14858 14859 14860 14863 14864 15074 15075 15076 15077 15078 15079 15080 15081 15082 15083 15084 15085 15086 15087 15088 15089 15090 15091 15092 15093 15094 15095 15096 15097 15098 15099 15100 15101 15102 15103 15104 15105 15106 15107 15108 15109 15110 15111 15112 15113 15114 15419 15421 15422 15423 15424 15425 15426 15427 15428 15429 15430 15431 15432 15433 15434 15435 15436 15437 15438 15439 15440 15441 15442 15443 15444 15445 15446 15447 15448 15449 15450 15451 15452 15453 15454 15455 15456 15457 15458 15459 15460 15461 15462 15463 15464 15465 15466 15467 15468 15469 15470 15471 15472 15473 15474 15475 15476 15477 15478 15479 15480 15481 15482 15483 15484 15485 15486 15487 15488 15489 15490 15491 15492 15493 15494 15495 15507 15508 15509 15510 15511 15512 15513 15514 15515 15516 15517 15518 15519 15520 15521 15522 15523 15524 15525 15526 15527 15528 15529 15530 15531 15532 15533 15534 15535 15536 15537 15538 15539 15540 15542 15543 15544 15546 15547 15548 15550 15551 15552 15554 15555 15556 15558 15559 15561 15562 15564 15565 15567 15568 15570 15571 15573 15574 15576 15577 15579 15580 15581 15582 15583 15584 15585 15586 15587 15588 15589 15590 15591 15592 15593 15594 15595 15598 15603 15604 15605 15606 15610 15643 15644 15645 15646 15651 15652 15653 15654 15655 15656 15657 15658 15659 15660 15661 15662 15663 15664 15665 15666 15667 15668 15669 15670 15671 15672 15673 15674 15675 15676 15677 15678 15679 15718 15719 15720 15724 15725 15726 15727 15728 15729 15730 15731 15732 15733 15734 15735 15736 15737 15738 15739 15740 15741 15742 15743 15744 15745 15746 15747 15748 15749 15750 15751 15790 15791 15792 15796 15797 15798 15799 15800 15801 15802 15803 15804 15805 15806 15807 15808 15809 15810 15811 15812 15813 15814 15815 15816 15817 15818 15819 15820 15821 15861 15862 15863 15867 15868 15869 15874 15875 15876 15877 15878 15879 15880 15881 15882 15883 15884 15885 15886 15887 15888 15889 15890 15891 15892 15893 15894 15895 15896 15897 15898 15899 15900 15901 15902 15903 15904 15905 15906 15907 15908 15909 15910 15911 15912 15913 15914 15915 15929 15930 15931 15932 15933 15934 15935 15936 15937 15938 15939 15940 15941 15942 15943 15944 15945 15946 15947 15948 15949 15950 15951 15952 15953 15954 15956 15957 15959 15960 15964 15965 16097 16098 16099 16288 16289 16290 18302 18317 18318 18319 18320 18321 18322 18323 18324 18325 18326 18327 18328 18375 18376 18377 18378 18379 18380 18381 18382 18383 18384 18385 18386 18387 18388 18389 18390 18391 18392 18393 18394 18395 18396 18397 18398 18399 18400 18401 18418 18419 18420 18421 18422 18423 18424 18425 18426 18427 18428 18429 18430 18431 18432 18433 18434 18435 18436 18437 18438 18439 18440 18441 18442 18443 18444 18445 18446 18447 18448 18449 18450 18451 18452 18453 18454 18455 18456 18457 18458 18459 18460 18461 18462 18463 18464 18465 18466 18467 18468 18469 18470 18471 18472 18473 18474 18475 18476 18477 18478 18479 18480 18497 18498 18499 18500 18501 18502 18503 18504 18505 18506 18507 18508 18509 18510 18511 18512 18513 18514 18515 18516 18517 18518 18519 18520 18521 18522 18523 18524 18525 18526 18527 18528 18529 18533 18534 18535 18536 18537 18538 18539 18540 18541 18542 18543 18544 18545 18546 18547 18548 18549 18550 18551 18552 18553 18554 18555 18556 18557 18574 18575 18576 18577 18578 18579 18580 18581 18582 18583 18584 18585 18586 18587 18588 18589 18590 18591 18592 18593 18594 18595 18596 18597 18598 18599 18600 18601 18602 18603 18604 18605 18606 18608 18610 18611 18612 18613 18614 18615 18616 18617 18618 18632 18633 18634 18635 18636 18637 18638 18639 18640 18646 18687 18688 18689 18690 18691 18692 18693 18694 18695 18696 18697 18698 18699 18700 18701 18703 18704 18705 18706 18707 18708 18709 18710 18753 18754 18755 18756 18757 18758 18759 18760 18761 18762 18763 18764 18765 18766 18767 18772 18775 18777 18778 18779 18781 18783 18784 18785 18786 18787 18788 18789 18833 18834 18835 18836 18837 18838 18839 18840 18841 18842 18843 18844 18845 18846 18853 18855 18856 18857 18859 18861 18862 18863 18864 18865 18866 18867 18911 18912 18913 18914 18915 18916 18917 18918 18919 18920 18921 18922 18923 18924 18931 18933 18934 18935 18936 18937 18938 18939 18940 18941 18942 18943 18944 18945 18946 18947 18948 18949 18950 18951 18952 18953 18954 18955 18956 18957 18958 18959 18960 18961 18962 18963 18964 18965 18966 18967 18968 18969 18970 18971 18972 18973 18976 18977 19187 19188 19189 19190 19191 19192 19193 19194 19195 19196 19197 19198 19199 19200 19201 19202 19203 19204 19205 19206 19207 19208 19209 19210 19211 19212 19213 19214 19215 19216 19217 19218 19219 19220 19221 19222 19223 19224 19225 19226 19227 19532 19534 19535 19536 19537 19538 19539 19540 19541 19542 19543 19544 19545 19546 19547 19548 19549 19550 19551 19552 19553 19554 19555 19556 19557 19558 19559 19560 19561 19562 19563 19564 19565 19566 19567 19568 19569 19570 19571 19572 19573 19574 19575 19576 19577 19578 19579 19580 19581 19582 19583 19584 19585 19586 19587 19588 19589 19590 19591 19592 19593 19594 19595 19596 19597 19598 19599 19600 19601 19602 19603 19604 19605 19606 19607 19608 19620 19621 19622 19623 19624 19625 19626 19627 19628 19629 19630 19631 19632 19633 19634 19635 19636 19637 19638 19639 19640 19641 19642 19643 19644 19645 19646 19647 19648 19649 19650 19651 19652 19653 19655 19656 19657 19659 19660 19661 19663 19664 19665 19667 19668 19669 19671 19672 19674 19675 19677 19678 19680 19681 19683 19684 19689 19690 19692 19693 19694 19695 19696 19697 19698 19699 19700 19701 19702 19703 19704 19705 19706 19707 19708 19711 19716 19717 19718 19719 19723 19756 19757 19758 19759 19764 19765 19766 19767 19768 19769 19770 19771 19772 19773 19774 19775 19776 19777 19778 19779 19780 19781 19782 19783 19784 19785 19786 19787 19788 19789 19790 19791 19792 19831 19832 19833 19837 19838 19839 19840 19841 19842 19843 19844 19845 19846 19847 19848 19849 19850 19851 19852 19853 19854 19855 19856 19857 19858 19859 19860 19861 19862 19863 19864 19903 19904 19905 19909 19910 19911 19912 19913 19914 19915 19916 19917 19918 19919 19920 19921 19922 19923 19924 19925 19926 19927 19928 19929 19930 19931 19932 19933 19934 19974 19975 19976 19980 19981 19982 19987 19988 19989 19990 19991 19992 19993 19994 19995 19996 19997 19998 19999 20000 20001 20002 20003 20004 20005 20006 20007 20008 20009 20010 20011 20012 20013 20014 20015 20016 20017 20018 20019 20020 20021 20022 20023 20024 20025 20026 20027 20028 20044 20045 20046 20047 20048 20049 20050 20051 20052 20053 20054 20055 20056 20057 20058 20059 20060 20061 20062 20063 20064 20065 20066 20067 20069 20070 20072 20073 20077 20078 20210 20211 20212 20401 20402 20403 22415 22429 22430 22431 22432 22433 22434 22435 22436 22437 22438 22439 22440 22441 22488 22489 22490 22491 22492 22493 22494 22495 22496 22497 22498 22499 22500 22501 22502 22503 22504 22505 22506 22507 22508 22509 22510 22511 22512 22513 22514 22531 22532 22533 22534 22535 22536 22537 22538 22539 22540 22541 22542 22543 22544 22545 22546 22547 22548 22549 22550 22551 22552 22553 22554 22555 22556 22557 22558 22559 22560 22561 22562 22563 22564 22565 22566 22567 22568 22569 22570 22571 22572 22573 22574 22575 22576 22577 22578 22579 22580 22581 22582 22583 22584 22585 22586 22587 22588 22589 22590 22591 22592 22593 22610 22611 22612 22613 22614 22615 22616 22617 22618 22619 22620 22621 22622 22623 22624 22625 22626 22627 22628 22629 22630 22631 22632 22633 22634 22635 22636 22637 22638 22639 22640 22641 22642 22643 22644 22645 22646 22647 22648 22649 22650 22651 22652 22653 22654 22655 22656 22657 22658 22659 22660 22661 22662 22663 22664 22665 22666 22667 22668 22669 22670 22687 22688 22689 22690 22691 22692 22693 22694 22695 22696 22697 22698 22699 22700 22701 22702 22703 22704 22705 22706 22707 22708 22709 22710 22711 22712 22713 22714 22715 22716 22717 22718 22719 22721 22723 22724 22725 22726 22727 22728 22729 22730 22731 22744 22745 22746 22747 22748 22749 22750 22751 22752 22753 22759 22800 22801 22802 22803 22804 22805 22806 22807 22808 22809 22810 22811 22812 22813 22814 22816 22817 22818 22819 22820 22821 22822 22823 22866 22867 22868 22869 22870 22871 22872 22873 22874 22875 22876 22877 22878 22879 22880 22882 22885 22888 22889 22890 22891 22892 22894 22896 22897 22898 22899 22900 22901 22902 22946 22947 22948 22949 22950 22951 22952 22953 22954 22955 22956 22957 22958 22959 22966 22967 22968 22969 22970 22972 22974 22975 22976 22977 22978 22979 22980 23024 23025 23026 23027 23028 23029 23030 23031 23032 23033 23034 23035 23036 23037 23044 23045 23046 23047 23048 23049 23050 23051 23052 23053 23054 23055 23056 23057 23058 23059 23060 23061 23062 23063 23064 23065 23066 23067 23068 23069 23070 23071 23072 23073 23074 23075 23076 23077 23078 23079 23080 23081 23082 23083 23084 23085 23086 23089 23090 23300 23301 23302 23303 23304 23305 23306 23307 23308 23309 23310 23311 23312 23313 23314 23315 23316 23317 23318 23319 23320 23321 23322 23323 23324 23325 23326 23327 23328 23329 23330 23331 23332 23333 23334 23335 23336 23337 23338 23339 23340 23644 23645 23647 23648 23649 23650 23651 23652 23653 23654 23655 23656 23657 23658 23659 23660 23661 23662 23663 23664 23665 23666 23667 23668 23669 23670 23671 23672 23673 23674 23675 23676 23677 23678 23679 23680 23681 23682 23683 23684 23685 23686 23687 23688 23689 23690 23691 23692 23693 23694 23695 23696 23697 23698 23699 23700 23701 23702 23703 23704 23705 23706 23707 23708 23709 23710 23711 23712 23713 23714 23715 23716 23717 23718 23719 23720 23721 23733 23734 23735 23736 23737 23738 23739 23740 23741 23742 23743 23744 23745 23746 23747 23748 23749 23750 23751 23752 23753 23754 23755 23756 23757 23758 23759 23760 23761 23762 23763 23764 23765 23766 23768 23769 23770 23772 23773 23774 23776 23777 23778 23780 23781 23782 23784 23785 23787 23788 23790 23791 23793 23794 23796 23797 23799 23800 23802 23803 23805 23806 23807 23808 23809 23810 23811 23812 23813 23814 23815 23816 23817 23818 23819 23820 23821 23824 23829 23830 23831 23832 23836 23869 23870 23871 23872 23873 23874 23875 23876 23877 23878 23879 23880 23881 23882 23883 23884 23885 23886 23887 23888 23889 23890 23891 23892 23893 23894 23895 23896 23897 23898 23899 23900 23901 23902 23903 23904 23905 23944 23945 23946 23950 23951 23952 23953 23954 23955 23956 23957 23958 23959 23960 23961 23962 23963 23964 23965 23966 23967 23968 23969 23970 23971 23972 23973 23974 23975 23976 23977 24016 24017 24018 24022 24023 24024 24025 24026 24027 24028 24029 24030 24031 24032 24033 24034 24035 24036 24037 24038 24039 24040 24041 24042 24043 24044 24045 24046 24047 24087 24088 24089 24093 24094 24095 24100 24101 24102 24103 24104 24105 24106 24107 24108 24109 24110 24111 24112 24113 24114 24115 24116 24117 24118 24119 24120 24121 24122 24123 24124 24125 24126 24127 24128 24129 24130 24131 24132 24133 24134 24135 24136 24137 24138 24139 24140 24141 24155 24156 24157 24158 24159 24160 24161 24162 24163 24164 24165 24166 24167 24168 24169 24170 24171 24172 24173 24174 24175 24176 24177 24178 24179 24180 24182 24183 24185 24186 24190 24191 24323 24324 24325 24514 24515 24516 26528 26537 26538 26539 26540 26541 26542 26543 26544 26545 26546 26547 26548 26549 26550 26551 26552 26553 26554 26601 26602 26603 26604 26605 26606 26607 26608 26609 26610 26611 26612 26613 26614 26624 26625 26626 26664 26665 26666 26667 26668 26669 26670 26671 26672 26673 26674 26675 26676 26677 26678 26679 26680 26681 26682 26683 26684 26685 26686 26687 26688 26689 26690 26691 26692 26702 26703 26704 26705 26743 26744 26745 26746 26747 26748 26749 26750 26751 26752 26753 26754 26755 26756 26757 26758 26759 26760 26761 26762 26763 26764 26765 26766 26767 26768 26769 26779 26780 26781 26782 26820 26821 26822 26823 26824 26825 26826 26827 26828 26829 26830 26831 26832 26833 26834 26835 26836 26837 26838 26839 26840 26841 26842 26843 26844 26856 26857 26858 26859 26860 26861 26862 26863 26864 26865 26866 26872 26913 26914 26915 26916 26917 26918 26919 26920 26921 26922 26923 26924 26925 26926 26927 26928 26929 26930 26931 26932 26933 26934 26935 26936 26943 26945 26946 26966 26967 26968 26969 26970 26971 26972 26973 26974 26975 26976 26977 26978 26979 26980 26981 26982 26983 26984 26985 26986 26987 26988 26989 26990 26991 26992 26993 26995 26998 27001 27002 27003 27004 27005 27007 27009 27010 27011 27012 27013 27014 27015 27016 27017 27018 27019 27020 27021 27022 27023 27024 27025 27026 27045 27046 27047 27048 27049 27050 27051 27052 27053 27054 27055 27056 27057 27058 27059 27060 27061 27062 27063 27064 27065 27066 27067 27068 27069 27070 27071 27072 27079 27080 27081 27082 27083 27085 27087 27088 27089 27090 27091 27092 27093 27094 27095 27096 27097 27098 27099 27100 27101 27102 27103 27104 27123 27124 27125 27126 27127 27128 27129 27130 27131 27132 27133 27134 27135 27136 27137 27138 27139 27140 27141 27142 27143 27144 27145 27146 27147 27148 27149 27150 27157 27158 27159 27160 27161 27162 27163 27164 27165 27166 27167 27168 27169 27170 27171 27172 27173 27174 27175 27176 27177 27178 27179 27180 27181 27182 27183 27184 27185 27186 27187 27188 27189 27190 27191 27192 27193 27194 27195 27196 27197 27198 27199 27202 27203 27413 27414 27415 27416 27417 27418 27419 27420 27421 27422 27423 27424 27425 27426 27427 27428 27429 27430 27431 27432 27433 27434 27435 27436 27437 27438 27439 27440 27441 27442 27443 27444 27445 27446 27447 27448 27449 27450 27451 27452 27453 27757 27758 27760 27761 27762 27763 27764 27765 27766 27767 27768 27769 27770 27771 27772 27773 27774 27775 27776 27777 27778 27779 27780 27781 27782 27783 27784 27785 27786 27787 27788 27789 27790 27791 27792 27793 27794 27795 27796 27797 27798 27799 27800 27801 27802 27803 27804 27805 27806 27807 27808 27809 27810 27811 27812 27813 27814 27815 27816 27817 27818 27819 27820 27821 27822 27823 27824 27825 27826 27827 27828 27829 27830 27831 27832 27833 27834 27846 27847 27848 27849 27850 27851 27852 27853 27854 27855 27856 27857 27858 27859 27860 27861 27862 27863 27864 27865 27866 27867 27868 27869 27870 27871 27872 27873 27874 27875 27876 27877 27878 27879 27881 27882 27883 27885 27886 27887 27889 27890 27891 27893 27894 27895 27897 27898 27900 27901 27903 27904 27906 27907 27909 27910 27912 27913 27915 27916 27918 27919 27920 27921 27922 27923 27924 27925 27926 27927 27928 27929 27930 27931 27932 27933 27934 27937 27942 27943 27944 27945 27949 27982 27983 27984 27985 27990 27991 27992 27993 27994 27995 27996 27997 27998 27999 28000 28001 28002 28003 28004 28005 28006 28007 28008 28009 28010 28011 28012 28013 28014 28015 28016 28017 28018 28057 28058 28059 28063 28064 28065 28066 28067 28068 28069 28070 28071 28072 28073 28074 28075 28076 28077 28078 28079 28080 28081 28082 28083 28084 28085 28086 28087 28088 28089 28090 28129 28130 28131 28135 28136 28137 28138 28139 28140 28141 28142 28143 28144 28145 28146 28147 28148 28149 28150 28151 28152 28153 28154 28155 28156 28157 28158 28159 28160 28200 28201 28202 28206 28207 28208 28213 28214 28215 28216 28217 28218 28219 28220 28221 28222 28223 28224 28225 28226 28227 28228 28229 28230 28231 28232 28233 28234 28235 28236 28237 28238 28239 28240 28241 28242 28243 28244 28245 28246 28247 28248 28249 28250 28251 28252 28253 28254 28268 28269 28270 28271 28272 28273 28274 28275 28276 28277 28278 28279 28280 28281 28282 28283 28284 28285 28286 28287 28288 28289 28290 28291 28292 28293 28295 28296 28298 28299 28303 28304 28436 28437 28438 28627 28628 28629 30641 30664 30665 30666 30667 30668 30669 30670 30671 30672 30673 30674 30675 30676 30677 30694 30695 30696 30697 30698 30699 30700 30701 30702 30703 30704 30705 30706 30707 30708 30709 30710 30711 30712 30713 30714 30715 30716 30717 30718 30719 30720 30721 30722 30723 30724 30725 30726 30727 30728 30729 30730 30731 30732 30733 30734 30735 30736 30737 30738 30739 30740 30757 30758 30759 30760 30761 30762 30763 30764 30765 30766 30767 30768 30769 30770 30771 30772 30773 30774 30775 30776 30777 30778 30779 30780 30781 30782 30783 30784 30785 30786 30787 30788 30789 30790 30791 30792 30793 30794 30795 30796 30797 30798 30799 30800 30801 30802 30803 30804 30805 30806 30807 30808 30809 30810 30811 30812 30813 30814 30815 30816 30817 30818 30819 30836 30837 30838 30839 30840 30841 30842 30843 30844 30845 30846 30847 30848 30849 30850 30851 30852 30853 30854 30855 30856 30857 30858 30859 30860 30861 30862 30863 30864 30865 30866 30867 30868 30869 30870 30871 30872 30873 30874 30875 30876 30877 30878 30879 30880 30881 30882 30883 30884 30885 30886 30887 30888 30889 30890 30891 30892 30893 30894 30895 30896 30913 30914 30915 30916 30917 30918 30919 30920 30921 30922 30923 30924 30925 30926 30927 30928 30929 30930 30931 30932 30933 30934 30935 30936 30937 30938 30939 30940 30941 30942 30943 30944 30945 30946 30947 30948 30949 30950 30951 30952 30953 30954 30955 30956 30957 30968 30969 30970 30971 30972 30973 30974 30975 30976 30977 30978 30979 30985 31026 31027 31028 31029 31030 31031 31032 31033 31034 31035 31036 31037 31038 31039 31040 31042 31043 31044 31045 31046 31047 31048 31049 31056 31058 31059 31079 31080 31081 31082 31083 31084 31085 31086 31087 31088 31089 31090 31091 31092 31093 31094 31095 31096 31097 31098 31099 31100 31101 31102 31103 31104 31105 31106 31108 31111 31114 31115 31116 31117 31118 31120 31122 31123 31124 31125 31126 31127 31128 31135 31136 31137 31138 31172 31173 31174 31175 31176 31177 31178 31179 31180 31181 31182 31183 31184 31185 31188 31192 31193 31194 31195 31196 31198 31200 31201 31202 31203 31204 31205 31206 31213 31214 31215 31216 31250 31251 31252 31253 31254 31255 31256 31257 31258 31259 31260 31261 31262 31263 31266 31270 31271 31272 31273 31274 31275 31276 31277 31278 31279 31280 31281 31282 31283 31284 31285 31286 31287 31288 31289 31290 31291 31292 31293 31294 31295 31296 31297 31298 31299 31300 31301 31302 31303 31304 31305 31306 31307 31308 31309 31310 31311 31312 31315 31316 31317 31318 31319 31320 31321 31322 31323 31324 31325 31362 31375 31386 31387 31388 31389 31390 31391 31392 31393 31394 31395 31396 31397 31398 31399 31400 31401 31402 31403 31404 31407 31414 31416 31417 31419 31421 31422 31423 31424 31425 31426 31427 31428 31429 31430 31440 31441 31442 31443 31444 31445 31446 31447 31448 31449 31450 31451 31452 31453 31454 31455 31456 31457 31458 31459 31467 31468 31469 31470 31472 31474 31475 31476 31477 31478 31479 31480 31481 31482 31483 31494 31495 31496 31497 31498 31499 31500 31501 31502 31503 31504 31505 31506 31507 31508 31509 31510 31511 31512 31513 31521 31522 31523 31524 31525 31526 31527 31528 31529 31530 31531 31532 31533 31534 31535 31536 31537 31538 31539 31540 31541 31542 31543 31544 31545 31546 31547 31548 31549 31550 31551 31552 31553 31554 31555 31556 31557 31558 31559 31560 31561 31562 31563 31564 31565 31566 31870 31871 31873 31874 31875 31876 31877 31878 31879 31880 31881 31882 31883 31884 31885 31886 31887 31888 31889 31890 31891 31892 31893 31894 31895 31896 31897 31898 31899 31900 31901 31902 31903 31904 31905 31906 31907 31908 31909 31910 31911 31912 31913 31914 31915 31916 31917 31918 31919 31920 31921 31922 31923 31924 31925 31926 31927 31928 31929 31930 31931 31932 31933 31934 31935 31936 31937 31938 31939 31940 31941 31942 31943 31944 31945 31946 31947 31959 31960 31961 31962 31963 31964 31965 31966 31967 31968 31969 31970 31971 31972 31973 31974 31975 31976 31977 31978 31979 31980 31981 31982 31983 31984 31985 31986 31987 31988 31989 31990 31991 31992 31994 31995 31996 31998 31999 32000 32002 32003 32004 32006 32007 32008 32010 32011 32013 32014 32016 32017 32019 32020 32022 32023 32025 32026 32028 32029 32031 32032 32033 32034 32035 32036 32037 32038 32039 32040 32041 32042 32043 32044 32045 32046 32047 32050 32055 32056 32057 32058 32062 32095 32096 32097 32098 32103 32104 32105 32106 32107 32108 32109 32110 32111 32112 32113 32114 32115 32116 32117 32118 32119 32120 32121 32122 32123 32124 32125 32126 32127 32128 32129 32130 32131 32132 32136 32137 32138 32139 32140 32141 32142 32143 32144 32145 32146 32147 32148 32149 32150 32151 32152 32153 32154 32155 32156 32157 32158 32159 32160 32161 32162 32163 32164 32165 32166 32167 32168 32169 32170 32171 32172 32176 32177 32178 32179 32180 32181 32182 32183 32184 32185 32186 32187 32188 32189 32190 32191 32192 32193 32194 32195 32196 32197 32198 32199 32200 32201 32202 32203 32242 32243 32244 32248 32249 32250 32251 32252 32253 32254 32255 32256 32257 32258 32259 32260 32261 32262 32263 32264 32265 32266 32267 32268 32269 32270 32271 32272 32273 32313 32314 32315 32319 32320 32321 32326 32327 32328 32329 32330 32331 32332 32333 32334 32335 32336 32337 32338 32339 32340 32341 32342 32343 32344 32345 32346 32347 32348 32349 32350 32351 32352 32353 32354 32355 32356 32357 32358 32359 32360 32361 32362 32363 32364 32365 32366 32367 32381 32382 32383 32384 32385 32386 32387 32388 32389 32390 32391 32392 32393 32394 32395 32396 32397 32398 32399 32400 32401 32402 32403 32404 32405 32406 32408 32409 32411 32412 32416 32417 32549 32550 32551 32740 32741 32742 34754 34777 34778 34779 34780 34781 34782 34783 34784 34785 34786 34787 34788 34789 34790 34807 34808 34809 34810 34811 34812 34813 34814 34815 34816 34817 34818 34819 34820 34821 34822 34823 34824 34825 34826 34827 34828 34829 34830 34831 34832 34833 34834 34835 34836 34837 34838 34839 34840 34841 34842 34843 34844 34845 34846 34847 34848 34849 34850 34851 34852 34853 34870 34871 34872 34873 34874 34875 34876 34877 34878 34879 34880 34881 34882 34883 34884 34885 34886 34887 34888 34889 34890 34891 34892 34893 34894 34895 34896 34897 34898 34899 34900 34901 34902 34903 34904 34905 34906 34907 34908 34909 34910 34911 34912 34913 34914 34915 34916 34917 34918 34919 34920 34921 34922 34923 34924 34925 34926 34927 34928 34929 34930 34931 34932 34949 34950 34951 34952 34953 34954 34955 34956 34957 34958 34959 34960 34961 34962 34963 34964 34965 34966 34967 34968 34969 34970 34971 34972 34973 34974 34975 34976 34977 34978 34979 34980 34981 34982 34983 34984 34985 34986 34987 34988 34989 34990 34991 34992 34993 34994 34995 34996 34997 34998 34999 35000 35001 35002 35003 35004 35005 35006 35007 35008 35009 35026 35027 35028 35029 35030 35031 35032 35033 35034 35035 35036 35037 35038 35039 35040 35041 35042 35043 35044 35045 35046 35047 35048 35049 35050 35051 35052 35053 35054 35055 35056 35057 35058 35059 35060 35061 35062 35063 35064 35065 35066 35067 35068 35069 35070 35078 35079 35080 35081 35082 35083 35084 35085 35086 35087 35088 35089 35090 35091 35092 35093 35094 35095 35096 35097 35098 35099 35100 35101 35102 35103 35104 35105 35124 35125 35126 35127 35128 35129 35130 35131 35132 35133 35134 35135 35136 35137 35138 35139 35140 35141 35142 35143 35144 35145 35146 35147 35148 35149 35150 35151 35152 35156 35157 35158 35159 35160 35161 35162 35169 35171 35172 35192 35193 35194 35195 35196 35197 35198 35199 35200 35201 35202 35203 35204 35205 35206 35207 35208 35209 35210 35211 35212 35213 35214 35215 35216 35217 35218 35221 35225 35226 35227 35228 35230 35231 35233 35235 35236 35237 35238 35239 35240 35241 35242 35243 35244 35245 35246 35247 35248 35249 35250 35251 35252 35271 35272 35273 35274 35275 35276 35277 35278 35279 35280 35281 35282 35283 35284 35285 35286 35287 35288 35289 35290 35291 35292 35293 35294 35295 35296 35297 35298 35305 35306 35307 35308 35309 35311 35313 35314 35315 35316 35317 35318 35319 35320 35321 35322 35323 35324 35325 35326 35327 35328 35329 35330 35349 35350 35351 35352 35353 35354 35355 35356 35357 35358 35359 35360 35361 35362 35363 35364 35365 35366 35367 35368 35369 35370 35371 35372 35373 35374 35375 35376 35383 35384 35385 35386 35387 35388 35389 35390 35391 35392 35393 35394 35395 35396 35397 35398 35399 35400 35401 35402 35403 35404 35405 35406 35407 35408 35409 35410 35411 35412 35413 35414 35415 35416 35417 35418 35419 35420 35421 35422 35423 35424 35425 35428 35429 35430 35431 35432 35433 35434 35435 35436 35437 35438 35439 35440 35441 35442 35443 35444 35445 35446 35447 35448 35455 35456 35457 35458 35459 35460 35461 35462 35463 35464 35465 35466 35467 35468 35469 35470 35471 35472 35473 35474 35475 35525 35526 35534 35535 35536 35537 35538 35539 35540 35541 35542 35543 35553 35554 35555 35556 35557 35558 35559 35560 35561 35562 35563 35564 35565 35566 35567 35568 35569 35570 35571 35572 35579 35581 35582 35583 35585 35587 35588 35589 35590 35591 35592 35593 35594 35595 35596 35607 35608 35609 35610 35611 35612 35613 35614 35615 35616 35617 35618 35619 35620 35621 35622 35623 35624 35625 35626 35633 35635 35636 35637 35638 35639 35640 35641 35642 35643 35644 35645 35646 35647 35648 35649 35650 35651 35652 35653 35654 35655 35656 35657 35658 35659 35660 35661 35662 35663 35664 35665 35666 35667 35668 35669 35670 35671 35672 35673 35674 35675 35676 35677 35678 35679 35983 35984 35986 35987 35988 35989 35990 35991 35992 35993 35994 35995 35996 35997 35998 35999 36000 36001 36002 36003 36004 36005 36006 36007 36008 36009 36010 36011 36012 36013 36014 36015 36016 36017 36018 36019 36020 36021 36022 36023 36024 36025 36026 36027 36028 36029 36030 36031 36032 36033 36034 36035 36036 36037 36038 36039 36040 36041 36042 36043 36044 36045 36046 36047 36048 36049 36050 36051 36052 36053 36054 36055 36056 36057 36058 36059 36060 36072 36073 36074 36075 36076 36077 36078 36079 36080 36081 36082 36083 36084 36085 36086 36087 36088 36089 36090 36091 36092 36093 36094 36095 36096 36097 36098 36099 36100 36101 36102 36103 36104 36105 36107 36108 36109 36111 36112 36113 36115 36116 36117 36119 36120 36121 36123 36124 36126 36127 36129 36130 36132 36133 36135 36136 36138 36139 36141 36142 36144 36145 36146 36147 36148 36149 36150 36151 36152 36153 36154 36155 36156 36157 36158 36159 36160 36163 36168 36169 36170 36171 36175 36183 36185 36186 36187 36188 36189 36190 36191 36192 36193 36194 36195 36196 36197 36198 36199 36200 36201 36202 36203 36204 36205 36206 36207 36208 36209 36210 36211 36216 36217 36218 36219 36220 36221 36222 36223 36224 36225 36226 36227 36228 36229 36230 36231 36232 36233 36234 36235 36236 36237 36238 36239 36240 36241 36242 36243 36244 36245 36249 36250 36251 36252 36253 36254 36255 36256 36257 36258 36259 36260 36261 36262 36263 36264 36265 36266 36267 36268 36269 36270 36271 36272 36273 36274 36275 36276 36277 36278 36279 36280 36281 36282 36283 36284 36285 36286 36287 36288 36289 36290 36291 36292 36293 36294 36295 36296 36297 36298 36299 36300 36301 36302 36303 36304 36305 36306 36307 36308 36309 36310 36311 36312 36313 36314 36315 36316 36355 36356 36357 36361 36362 36363 36364 36365 36366 36367 36368 36369 36370 36371 36372 36373 36374 36375 36376 36377 36378 36379 36380 36381 36382 36383 36384 36385 36386 36426 36427 36428 36432 36433 36434 36439 36440 36441 36442 36443 36444 36445 36446 36447 36448 36449 36450 36451 36452 36453 36454 36455 36456 36457 36458 36459 36460 36461 36462 36463 36464 36465 36466 36467 36468 36469 36470 36471 36472 36473 36474 36475 36476 36477 36478 36479 36480 36494 36495 36496 36497 36498 36499 36500 36501 36502 36503 36504 36505 36506 36507 36508 36509 36510 36511 36512 36513 36514 36515 36516 36517 36518 36519 36521 36522 36524 36525 36529 36530 36540 36541 36662 36663 36664 36853 36854 36855 38867 38890 38891 38892 38893 38894 38895 38896 38897 38898 38899 38900 38901 38902 38903 38920 38921 38922 38923 38924 38925 38926 38927 38928 38929 38930 38931 38932 38933 38934 38935 38936 38937 38938 38939 38940 38941 38942 38943 38944 38945 38946 38947 38948 38949 38950 38951 38952 38953 38954 38955 38956 38957 38958 38959 38960 38961 38962 38963 38964 38965 38966 38983 38984 38985 38986 38987 38988 38989 38990 38991 38992 38993 38994 38995 38996 38997 38998 38999 39000 39001 39002 39003 39004 39005 39006 39007 39008 39009 39010 39011 39012 39013 39014 39015 39016 39017 39018 39019 39020 39021 39022 39023 39024 39025 39026 39027 39028 39029 39030 39031 39032 39033 39034 39035 39036 39037 39038 39039 39040 39041 39042 39043 39044 39045 39062 39063 39064 39065 39066 39067 39068 39069 39070 39071 39072 39073 39074 39075 39076 39077 39078 39079 39080 39081 39082 39083 39084 39085 39086 39087 39088 39089 39090 39091 39092 39093 39094 39095 39096 39097 39098 39099 39100 39101 39102 39103 39104 39105 39106 39107 39108 39109 39110 39111 39112 39113 39114 39115 39116 39117 39118 39119 39120 39121 39122 39139 39140 39141 39142 39143 39144 39145 39146 39147 39148 39149 39150 39151 39152 39153 39154 39155 39156 39157 39158 39159 39160 39161 39162 39163 39164 39165 39166 39167 39168 39169 39170 39171 39172 39173 39174 39175 39176 39177 39178 39179 39180 39181 39182 39183 39194 39195 39196 39197 39198 39199 39200 39201 39202 39203 39204 39205 39206 39207 39208 39209 39210 39211 39251 39252 39253 39254 39255 39256 39257 39258 39259 39260 39261 39262 39263 39264 39269 39270 39271 39272 39273 39274 39275 39282 39284 39318 39319 39320 39321 39322 39323 39324 39325 39326 39327 39328 39329 39330 39331 39338 39339 39340 39348 39349 39350 39351 39352 39353 39354 39361 39362 39363 39364 39398 39399 39400 39401 39402 39403 39404 39405 39406 39407 39408 39409 39410 39411 39418 39420 39421 39422 39424 39425 39426 39427 39428 39429 39430 39431 39432 39439 39440 39441 39442 39476 39477 39478 39479 39480 39481 39482 39483 39484 39485 39486 39487 39488 39489 39490 39495 39496 39498 39499 39500 39501 39502 39503 39504 39505 39506 39507 39508 39509 39510 39511 39512 39513 39514 39515 39516 39517 39518 39519 39520 39521 39522 39523 39524 39525 39526 39527 39528 39529 39530 39531 39532 39533 39534 39535 39536 39537 39538 39541 39542 39543 39544 39545 39546 39547 39548 39549 39550 39551 39552 39553 39554 39555 39556 39557 39558 39559 39560 39561 39568 39569 39570 39571 39572 39573 39574 39575 39576 39577 39578 39579 39580 39581 39582 39583 39584 39585 39586 39587 39588 39601 39612 39613 39614 39615 39616 39617 39618 39619 39620 39621 39622 39623 39624 39625 39626 39627 39628 39629 39630 39633 39638 39639 39640 39642 39643 39645 39647 39648 39649 39650 39651 39652 39653 39654 39655 39656 39666 39667 39668 39669 39670 39671 39672 39673 39674 39675 39676 39677 39678 39679 39680 39681 39682 39683 39684 39685 39692 39693 39694 39695 39696 39698 39700 39701 39702 39703 39704 39705 39706 39707 39708 39709 39720 39721 39722 39723 39724 39725 39726 39727 39728 39729 39730 39731 39732 39733 39734 39735 39736 39737 39738 39739 39746 39747 39748 39749 39750 39751 39752 39753 39754 39755 39756 39757 39758 39759 39760 39761 39762 39763 39764 39765 39766 39767 39768 39769 39770 39771 39772 39773 39774 39775 39776 39777 39778 39779 39780 39781 39782 39783 39784 39785 39786 39787 39788 39789 39790 39791 39792 40096 40097 40099 40100 40101 40102 40103 40104 40105 40106 40107 40108 40109 40110 40111 40112 40113 40114 40115 40116 40117 40118 40119 40120 40121 40122 40123 40124 40125 40126 40127 40128 40129 40130 40131 40132 40133 40134 40135 40136 40137 40138 40139 40140 40141 40142 40143 40144 40145 40146 40147 40148 40149 40150 40151 40152 40153 40154 40155 40156 40157 40158 40159 40160 40161 40162 40163 40164 40165 40166 40167 40168 40169 40170 40171 40172 40173 40185 40186 40187 40188 40189 40190 40191 40192 40193 40194 40195 40196 40197 40198 40199 40200 40201 40202 40203 40204 40205 40206 40207 40208 40209 40210 40211 40212 40213 40214 40215 40216 40217 40218 40220 40221 40222 40224 40225 40226 40228 40229 40230 40232 40233 40234 40236 40237 40239 40240 40242 40243 40245 40246 40248 40249 40251 40252 40254 40255 40257 40258 40259 40260 40261 40262 40263 40264 40265 40266 40267 40268 40269 40270 40271 40272 40273 40276 40281 40282 40283 40284 40288 40296 40298 40299 40300 40301 40302 40303 40304 40305 40306 40307 40308 40309 40310 40311 40312 40313 40314 40315 40316 40317 40318 40319 40320 40321 40322 40323 40324 40329 40330 40331 40332 40333 40334 40335 40336 40337 40338 40339 40344 40345 40346 40347 40348 40349 40350 40351 40352 40353 40354 40355 40356 40357 40371 40373 40374 40375 40376 40377 40378 40379 40380 40381 40382 40383 40384 40385 40386 40387 40388 40389 40390 40391 40392 40393 40394 40395 40396 40397 40398 40399 40400 40401 40402 40403 40404 40405 40406 40407 40408 40409 40410 40411 40424 40425 40426 40427 40428 40429 40468 40469 40470 40474 40475 40476 40477 40478 40479 40480 40481 40494 40495 40496 40497 40498 40499 40539 40540 40541 40545 40546 40547 40552 40553 40554 40555 40556 40557 40558 40559 40560 40561 40562 40563 40564 40565 40566 40567 40568 40569 40570 40571 40572 40573 40574 40575 40576 40577 40578 40579 40580 40581 40582 40583 40584 40585 40586 40587 40588 40589 40590 40591 40592 40593 40607 40608 40609 40610 40611 40612 40613 40614 40615 40616 40617 40618 40619 40620 40621 40622 40623 40624 40625 40626 40627 40628 40629 40630 40631 40632 40634 40635 40637 40638 40642 40643 40675 40775 40776 40777 40966 40967 40968 42980 42986 42987 42988 42989 42990 42991 42992 42993 42994 42995 42996 42997 42998 42999 43000 43001 43002 43003 43004 43005 43006 43007 43008 43009 43010 43011 43012 43013 43014 43015 43016 43032 43033 43034 43035 43036 43037 43038 43039 43040 43041 43042 43043 43044 43045 43046 43047 43048 43049 43050 43051 43052 43053 43054 43055 43056 43057 43058 43059 43060 43061 43062 43063 43064 43065 43066 43067 43068 43069 43070 43071 43072 43073 43074 43075 43076 43077 43078 43079 43095 43096 43097 43098 43099 43100 43101 43102 43103 43104 43105 43106 43107 43108 43109 43110 43111 43112 43113 43114 43115 43116 43117 43118 43119 43120 43121 43122 43123 43124 43125 43126 43127 43128 43129 43130 43131 43132 43133 43134 43135 43136 43137 43138 43139 43140 43141 43142 43143 43144 43145 43146 43147 43148 43149 43150 43151 43152 43153 43154 43155 43156 43157 43158 43174 43175 43176 43177 43178 43179 43180 43181 43182 43183 43184 43185 43186 43187 43188 43189 43190 43191 43192 43193 43194 43195 43196 43197 43198 43199 43200 43201 43202 43203 43204 43205 43206 43207 43208 43209 43210 43211 43212 43213 43214 43215 43216 43217 43218 43219 43220 43221 43222 43223 43224 43225 43226 43227 43228 43229 43230 43231 43232 43233 43234 43235 43251 43252 43253 43254 43255 43256 43257 43258 43259 43260 43261 43262 43263 43264 43265 43266 43267 43268 43269 43270 43271 43272 43273 43274 43275 43276 43277 43278 43279 43280 43281 43282 43283 43284 43285 43286 43287 43288 43289 43290 43291 43292 43293 43294 43295 43296 43305 43306 43307 43308 43309 43310 43311 43312 43313 43314 43315 43316 43317 43318 43319 43320 43321 43322 43323 43324 43325 43326 43327 43328 43329 43330 43331 43350 43351 43352 43353 43354 43355 43356 43357 43358 43359 43360 43361 43362 43363 43364 43365 43366 43367 43368 43369 43370 43371 43372 43373 43374 43375 43376 43377 43382 43383 43384 43385 43386 43387 43388 43431 43432 43433 43434 43435 43436 43437 43438 43439 43440 43441 43442 43443 43444 43455 43456 43457 43459 43461 43462 43463 43464 43465 43466 43467 43468 43469 43470 43471 43472 43473 43474 43475 43476 43477 43478 43497 43498 43499 43500 43501 43502 43503 43504 43505 43506 43507 43508 43509 43510 43511 43512 43513 43514 43515 43516 43517 43518 43519 43520 43521 43522 43523 43524 43533 43534 43535 43537 43538 43539 43540 43541 43542 43543 43544 43545 43546 43547 43548 43549 43550 43551 43552 43553 43554 43555 43556 43575 43576 43577 43578 43579 43580 43581 43582 43583 43584 43585 43586 43587 43588 43589 43590 43591 43592 43593 43594 43595 43596 43597 43598 43599 43600 43601 43602 43603 43608 43609 43611 43612 43613 43614 43615 43616 43617 43618 43619 43620 43621 43622 43623 43624 43625 43626 43627 43628 43629 43630 43631 43632 43633 43634 43635 43636 43637 43638 43639 43640 43641 43642 43643 43644 43645 43646 43647 43648 43649 43650 43651 43654 43655 43656 43657 43658 43659 43660 43661 43662 43663 43664 43760 43761 43762 43763 43764 43765 43766 43767 43768 43769 43770 43771 43772 43773 43774 43775 43776 43777 43778 43779 43780 43781 43782 43783 43784 43785 43786 43787 43788 43789 43790 43791 43792 43793 43794 43795 43796 43797 43798 43807 43808 43809 43811 43812 43813 43814 43815 43816 43817 43818 43819 43820 43821 43822 43823 43824 43825 43826 43827 43828 43829 43830 43831 43832 43833 43834 43835 43836 43837 43838 43839 43840 43841 43842 43843 43844 43845 43846 43847 43848 43849 43850 43851 43852 43853 43858 43859 43861 43862 43863 43864 43865 43866 43867 43868 43869 43870 43871 43872 43873 43874 43875 43876 43877 43878 43879 43880 43881 43882 43883 43884 43885 43886 43887 43888 43889 43890 43891 43892 43893 43894 43895 43896 43897 43898 43899 43900 43901 43902 43903 43904 43905 44209 44210 44212 44213 44214 44215 44216 44217 44218 44219 44220 44221 44222 44223 44224 44225 44226 44227 44228 44229 44230 44231 44232 44233 44234 44235 44236 44237 44238 44239 44240 44241 44242 44243 44244 44245 44246 44247 44248 44249 44250 44251 44252 44253 44254 44255 44256 44257 44258 44259 44260 44261 44262 44263 44264 44265 44266 44267 44268 44269 44270 44271 44272 44273 44274 44275 44276 44277 44278 44279 44280 44281 44282 44283 44284 44285 44286 44298 44299 44300 44301 44302 44303 44304 44305 44306 44307 44308 44309 44310 44311 44312 44313 44314 44315 44316 44317 44318 44319 44320 44321 44322 44323 44324 44325 44326 44327 44328 44329 44330 44331 44333 44334 44335 44337 44338 44339 44341 44342 44343 44345 44346 44347 44349 44350 44352 44353 44355 44356 44358 44359 44361 44362 44364 44365 44367 44368 44370 44371 44372 44373 44374 44375 44376 44377 44378 44379 44380 44381 44382 44383 44384 44385 44386 44387 44388 44389 44390 44391 44392 44393 44394 44395 44396 44397 44401 44434 44435 44436 44437 44442 44443 44444 44445 44446 44447 44448 44449 44450 44451 44452 44457 44458 44459 44460 44461 44462 44463 44464 44465 44466 44467 44469 44470 44471 44475 44476 44477 44478 44479 44480 44481 44482 44483 44484 44485 44486 44487 44488 44489 44490 44491 44492 44493 44494 44495 44496 44497 44498 44499 44500 44501 44502 44503 44504 44505 44506 44507 44508 44509 44510 44511 44512 44513 44514 44515 44516 44517 44518 44519 44520 44521 44522 44523 44539 44540 44541 44542 44581 44582 44583 44587 44588 44589 44591 44592 44593 44609 44610 44611 44612 44652 44653 44654 44658 44659 44660 44662 44663 44664 44665 44666 44667 44668 44669 44670 44671 44672 44673 44674 44675 44676 44677 44678 44679 44680 44681 44682 44683 44684 44685 44686 44687 44688 44689 44690 44691 44692 44693 44694 44695 44696 44697 44698 44699 44700 44701 44702 44703 44704 44705 44706 44720 44721 44722 44723 44724 44725 44726 44727 44728 44729 44730 44731 44732 44733 44734 44735 44736 44737 44738 44739 44740 44741 44742 44743 44744 44745 44747 44748 44750 44751 44755 44756 44888 44889 44890 45079 45080 45081 47093 47094 47095 47098 47099 47100 47101 47102 47103 47104 47105 47106 47107 47108 47109 47110 47111 47112 47113 47114 47115 47116 47117 47118 47119 47120 47121 47122 47123 47124 47125 47126 47127 47128 47129 47145 47146 47147 47148 47149 47150 47151 47152 47153 47154 47155 47156 47157 47158 47159 47160 47161 47162 47163 47164 47165 47166 47167 47168 47169 47170 47171 47172 47173 47174 47175 47176 47177 47178 47179 47180 47181 47182 47183 47184 47185 47186 47187 47188 47189 47190 47191 47192 47208 47209 47210 47211 47212 47213 47214 47215 47216 47217 47218 47219 47220 47221 47222 47223 47224 47225 47226 47227 47228 47229 47230 47231 47232 47233 47234 47235 47236 47237 47238 47239 47240 47241 47242 47243 47244 47245 47246 47247 47248 47249 47250 47251 47252 47253 47254 47255 47256 47257 47258 47259 47260 47261 47262 47263 47264 47265 47266 47267 47268 47269 47270 47271 47287 47288 47289 47290 47291 47292 47293 47294 47295 47296 47297 47298 47299 47300 47301 47302 47303 47304 47305 47306 47307 47308 47309 47310 47311 47312 47313 47314 47315 47316 47317 47318 47319 47320 47321 47322 47323 47324 47325 47326 47327 47328 47329 47330 47331 47332 47333 47334 47335 47336 47337 47338 47339 47340 47341 47342 47343 47344 47345 47346 47347 47348 47364 47365 47366 47367 47368 47369 47370 47371 47372 47373 47374 47375 47376 47377 47378 47379 47380 47381 47382 47383 47384 47385 47386 47387 47388 47389 47390 47391 47392 47393 47394 47395 47396 47397 47398 47399 47400 47401 47402 47403 47404 47405 47406 47407 47408 47409 47420 47421 47422 47423 47424 47425 47426 47427 47428 47429 47430 47431 47432 47433 47434 47435 47436 47437 47477 47478 47479 47480 47481 47482 47483 47484 47485 47486 47487 47488 47489 47490 47491 47493 47495 47496 47497 47498 47499 47500 47501 47544 47545 47546 47547 47548 47549 47550 47551 47552 47553 47554 47555 47556 47557 47560 47567 47568 47569 47570 47571 47572 47573 47574 47575 47576 47577 47578 47579 47580 47581 47582 47583 47584 47585 47586 47587 47588 47589 47590 47591 47610 47611 47612 47613 47614 47615 47616 47617 47618 47619 47620 47621 47622 47623 47624 47625 47626 47627 47628 47629 47630 47631 47632 47633 47634 47635 47636 47637 47638 47643 47644 47646 47647 47648 47650 47652 47653 47654 47655 47656 47657 47658 47659 47660 47661 47662 47663 47664 47665 47666 47667 47668 47669 47688 47689 47690 47691 47692 47693 47694 47695 47696 47697 47698 47699 47700 47701 47702 47703 47704 47705 47706 47707 47708 47709 47710 47711 47712 47713 47714 47715 47722 47724 47725 47726 47727 47728 47729 47730 47731 47732 47733 47734 47735 47736 47737 47738 47739 47740 47741 47742 47743 47744 47745 47746 47747 47748 47749 47750 47751 47752 47753 47754 47755 47756 47757 47758 47759 47760 47761 47762 47763 47764 47767 47768 47978 47979 47980 47981 47982 47983 47984 47985 47986 47987 47988 47989 47990 47991 47992 47993 47994 47995 47996 47997 47998 47999 48000 48001 48002 48003 48004 48005 48006 48007 48008 48009 48010 48011 48012 48013 48014 48015 48016 48017 48018 48322 48323 48325 48326 48327 48328 48329 48330 48331 48332 48333 48334 48335 48336 48337 48338 48339 48340 48341 48342 48343 48344 48345 48346 48347 48348 48349 48350 48351 48352 48353 48354 48355 48356 48357 48358 48359 48360 48361 48362 48363 48364 48365 48366 48367 48368 48369 48370 48371 48372 48373 48374 48375 48376 48377 48378 48379 48380 48381 48382 48383 48384 48385 48386 48387 48388 48389 48390 48391 48392 48393 48394 48395 48396 48397 48398 48399 48411 48412 48413 48414 48415 48416 48417 48418 48419 48420 48421 48422 48423 48424 48425 48426 48427 48428 48429 48430 48431 48432 48433 48434 48435 48436 48437 48438 48439 48440 48441 48442 48443 48444 48446 48447 48448 48450 48451 48452 48454 48455 48456 48458 48459 48460 48462 48463 48465 48466 48468 48469 48471 48472 48474 48475 48477 48478 48480 48481 48483 48484 48485 48486 48487 48488 48489 48490 48491 48492 48493 48494 48495 48496 48497 48498 48499 48502 48507 48508 48509 48510 48514 48547 48548 48549 48550 48555 48556 48557 48558 48559 48560 48561 48562 48563 48564 48565 48570 48571 48572 48573 48574 48575 48576 48577 48578 48579 48580 48582 48583 48584 48588 48589 48590 48591 48592 48593 48594 48595 48596 48597 48598 48599 48600 48601 48602 48603 48604 48605 48606 48607 48608 48609 48610 48611 48612 48613 48614 48615 48616 48617 48618 48619 48620 48621 48622 48623 48624 48625 48626 48627 48628 48629 48630 48631 48632 48633 48634 48635 48636 48652 48653 48654 48655 48669 48671 48672 48673 48674 48675 48676 48677 48678 48679 48680 48681 48682 48683 48684 48685 48686 48687 48688 48689 48690 48691 48692 48693 48694 48695 48696 48700 48701 48702 48704 48705 48706 48722 48723 48724 48725 48740 48742 48743 48744 48745 48746 48747 48748 48749 48750 48751 48752 48753 48754 48755 48756 48757 48758 48759 48760 48761 48762 48763 48764 48765 48766 48767 48771 48772 48773 48775 48776 48777 48778 48779 48780 48781 48782 48783 48784 48785 48786 48787 48788 48789 48790 48791 48792 48793 48794 48795 48796 48797 48798 48799 48800 48801 48802 48803 48804 48805 48806 48807 48808 48809 48810 48811 48812 48813 48814 48815 48816 48817 48818 48819 48825 48826 48827 48828 48829 48830 48831 48832 48833 48834 48835 48836 48837 48838 48839 48840 48841 48842 48843 48844 48845 48846 48847 48848 48849 48850 48851 48852 48853 48854 48855 48856 48857 48858 48860 48861 48863 48864 48869 49001 49002 49003 49193 49194 51206 51207 51208 51211 51212 51213 51214 51215 51216 51217 51218 51219 51220 51221 51222 51223 51224 51225 51226 51227 51228 51229 51230 51231 51232 51233 51234 51235 51236 51237 51238 51239 51240 51241 51242 51258 51259 51260 51261 51262 51263 51264 51265 51266 51267 51268 51269 51270 51271 51272 51273 51274 51275 51276 51277 51278 51279 51280 51281 51282 51283 51284 51285 51286 51287 51288 51289 51290 51291 51292 51293 51294 51295 51296 51297 51298 51299 51300 51301 51302 51303 51304 51305 51321 51322 51323 51324 51325 51326 51327 51328 51329 51330 51331 51332 51333 51334 51335 51336 51337 51338 51339 51340 51341 51342 51343 51344 51345 51346 51347 51348 51349 51350 51352 51356 51360 51361 51362 51363 51364 51365 51366 51367 51368 51369 51370 51371 51372 51373 51374 51375 51376 51377 51378 51379 51380 51381 51382 51383 51384 51400 51401 51402 51403 51404 51405 51406 51407 51408 51409 51410 51411 51412 51413 51414 51415 51416 51417 51418 51419 51420 51421 51422 51423 51424 51425 51426 51427 51428 51429 51431 51434 51435 51436 51437 51438 51439 51440 51441 51442 51443 51444 51445 51446 51447 51448 51449 51450 51451 51452 51453 51454 51455 51456 51457 51458 51459 51460 51461 51477 51478 51479 51480 51481 51482 51483 51484 51485 51486 51487 51488 51489 51490 51491 51492 51493 51494 51495 51496 51497 51498 51499 51500 51501 51502 51503 51504 51505 51506 51508 51511 51512 51513 51514 51515 51516 51517 51518 51519 51520 51521 51522 51525 51526 51527 51528 51529 51530 51531 51532 51533 51534 51535 51536 51537 51538 51539 51540 51541 51542 51543 51544 51545 51546 51547 51548 51549 51550 51551 51552 51553 51554 51555 51556 51557 51576 51577 51578 51579 51580 51581 51582 51583 51584 51585 51586 51587 51588 51589 51590 51591 51592 51593 51594 51595 51596 51597 51598 51599 51600 51601 51602 51603 51604 51608 51609 51610 51611 51612 51613 51614 51615 51616 51617 51618 51619 51620 51622 51623 51624 51625 51626 51627 51628 51635 51636 51637 51638 51639 51640 51641 51642 51643 51644 51645 51646 51647 51648 51649 51650 51651 51652 51653 51654 51655 51656 51657 51658 51659 51660 51661 51662 51663 51664 51665 51666 51667 51668 51669 51670 51673 51678 51679 51680 51681 51682 51683 51684 51685 51686 51687 51688 51689 51690 51691 51692 51693 51694 51695 51696 51697 51698 51699 51700 51701 51702 51703 51704 51705 51706 51707 51708 51715 51716 51717 51718 51719 51720 51721 51722 51723 51724 51725 51726 51727 51728 51729 51730 51731 51732 51733 51734 51735 51736 51737 51738 51739 51740 51741 51742 51743 51744 51745 51746 51747 51748 51749 51750 51751 51756 51757 51759 51760 51761 51763 51765 51766 51767 51768 51769 51770 51771 51772 51773 51774 51775 51776 51777 51778 51779 51780 51781 51782 51783 51784 51785 51786 51793 51794 51795 51796 51797 51798 51799 51800 51801 51802 51803 51804 51805 51806 51807 51808 51809 51810 51811 51812 51813 51814 51815 51816 51817 51818 51819 51820 51821 51822 51823 51824 51825 51826 51827 51828 51835 51837 51838 51839 51840 51841 51842 51843 51844 51845 51846 51847 51848 51849 51850 51851 51852 51853 51854 51855 51856 51857 51858 51859 51860 51861 51862 51863 51864 51865 51866 51867 51868 51869 51870 51871 51872 51873 51874 51875 51876 51877 51880 51881 51882 51883 51884 51885 51886 51887 51888 51889 51890 51986 51987 51988 51989 51990 51991 51992 51993 51994 51995 52005 52006 52007 52008 52009 52010 52011 52012 52013 52014 52015 52016 52017 52018 52019 52020 52021 52022 52023 52024 52033 52034 52035 52037 52038 52039 52040 52041 52042 52043 52044 52045 52046 52047 52048 52059 52060 52061 52062 52063 52064 52065 52066 52067 52068 52069 52070 52071 52072 52073 52074 52075 52076 52077 52078 52079 52084 52085 52087 52088 52089 52090 52091 52092 52093 52094 52095 52096 52097 52098 52099 52100 52101 52102 52103 52104 52105 52106 52107 52108 52109 52110 52111 52112 52113 52114 52115 52116 52117 52118 52119 52120 52121 52122 52123 52124 52125 52126 52127 52128 52129 52130 52131 52435 52436 52438 52439 52440 52441 52442 52443 52444 52445 52446 52447 52448 52449 52450 52451 52452 52453 52454 52455 52456 52457 52458 52459 52460 52461 52462 52463 52464 52465 52466 52467 52468 52469 52470 52471 52472 52473 52474 52475 52476 52477 52478 52479 52480 52481 52482 52483 52484 52485 52486 52487 52488 52489 52490 52491 52492 52493 52494 52495 52496 52497 52498 52499 52500 52501 52502 52503 52504 52505 52506 52507 52508 52509 52510 52511 52512 52521 52522 52523 52524 52525 52526 52527 52528 52529 52530 52531 52532 52533 52534 52535 52536 52537 52538 52539 52540 52541 52542 52543 52544 52545 52546 52547 52548 52549 52550 52551 52552 52553 52554 52555 52556 52557 52559 52560 52561 52563 52564 52565 52567 52568 52569 52571 52572 52573 52575 52576 52578 52579 52581 52582 52584 52585 52587 52588 52590 52591 52593 52594 52596 52597 52598 52599 52600 52601 52602 52603 52604 52605 52606 52607 52608 52609 52610 52611 52612 52615 52620 52621 52622 52623 52627 52635 52637 52638 52639 52640 52641 52642 52643 52644 52645 52646 52647 52648 52649 52650 52651 52652 52653 52654 52655 52656 52657 52658 52659 52660 52661 52662 52663 52668 52669 52670 52671 52672 52673 52674 52675 52676 52677 52678 52683 52684 52685 52686 52687 52688 52689 52690 52691 52692 52693 52695 52696 52710 52712 52713 52714 52715 52716 52717 52718 52719 52720 52721 52722 52723 52724 52725 52726 52727 52728 52729 52730 52731 52732 52733 52734 52735 52736 52737 52738 52739 52740 52741 52742 52743 52744 52745 52746 52747 52748 52749 52765 52766 52767 52768 52782 52784 52785 52786 52787 52788 52789 52790 52791 52792 52793 52794 52795 52796 52797 52798 52799 52800 52801 52802 52803 52804 52805 52806 52807 52808 52809 52813 52814 52815 52817 52818 52819 52835 52836 52837 52838 52853 52855 52856 52857 52858 52859 52860 52861 52862 52863 52864 52865 52866 52867 52868 52869 52870 52871 52872 52873 52874 52875 52876 52877 52878 52879 52880 52884 52885 52886 52888 52889 52890 52891 52892 52893 52894 52895 52896 52897 52898 52899 52900 52901 52902 52903 52904 52905 52906 52907 52908 52909 52910 52911 52912 52913 52914 52915 52916 52917 52918 52919 52920 52921 52922 52923 52924 52925 52926 52927 52928 52929 52930 52931 52932 52944 52945 52946 52947 52948 52949 52950 52951 52952 52953 52954 52955 52956 52957 52958 52959 52960 52961 52962 52963 52964 52965 52966 52967 52968 52969 52970 52971 52973 52974 52976 52977 52982 53114 53115 53116 53306 53307 55319 55325 55326 55327 55328 55329 55330 55331 55332 55333 55334 55335 55336 55337 55338 55339 55340 55341 55342 55343 55344 55345 55346 55347 55348 55349 55350 55351 55352 55353 55354 55355 55371 55372 55373 55374 55375 55376 55377 55378 55379 55380 55381 55382 55383 55384 55385 55386 55387 55388 55389 55390 55391 55392 55393 55394 55395 55396 55397 55398 55399 55400 55401 55402 55403 55404 55405 55406 55407 55408 55409 55410 55411 55412 55413 55414 55415 55416 55417 55418 55434 55435 55436 55437 55438 55439 55440 55441 55442 55443 55444 55445 55446 55447 55448 55449 55450 55451 55452 55453 55454 55455 55456 55457 55458 55459 55460 55461 55462 55463 55465 55469 55473 55474 55475 55476 55477 55478 55479 55480 55481 55482 55483 55484 55485 55486 55487 55488 55489 55490 55491 55492 55493 55494 55495 55496 55497 55513 55514 55515 55516 55517 55518 55519 55520 55521 55522 55523 55524 55525 55526 55527 55528 55529 55530 55531 55532 55533 55534 55535 55536 55537 55538 55539 55540 55541 55542 55544 55547 55548 55549 55550 55551 55552 55553 55554 55555 55556 55557 55558 55559 55560 55561 55562 55563 55564 55565 55566 55567 55568 55569 55570 55571 55572 55573 55574 55590 55591 55592 55593 55594 55595 55596 55597 55598 55599 55600 55601 55602 55603 55604 55605 55606 55607 55608 55609 55610 55611 55612 55613 55614 55615 55616 55617 55618 55619 55621 55624 55625 55626 55627 55628 55629 55630 55631 55632 55633 55634 55635 55638 55639 55640 55641 55642 55643 55644 55645 55646 55647 55648 55649 55650 55651 55652 55653 55654 55655 55656 55657 55658 55659 55660 55661 55662 55663 55664 55665 55666 55667 55668 55669 55670 55689 55690 55691 55692 55693 55694 55695 55696 55697 55698 55699 55700 55701 55702 55703 55704 55705 55706 55707 55708 55709 55710 55711 55712 55713 55714 55715 55716 55717 55718 55720 55721 55722 55723 55724 55725 55726 55727 55728 55729 55730 55731 55732 55733 55737 55738 55739 55740 55741 55748 55749 55750 55751 55752 55753 55754 55755 55756 55757 55758 55759 55760 55761 55762 55763 55764 55765 55766 55767 55768 55769 55770 55771 55772 55773 55774 55775 55776 55777 55778 55779 55780 55781 55782 55783 55784 55786 55789 55791 55792 55793 55794 55795 55796 55798 55800 55801 55802 55803 55804 55805 55806 55807 55808 55809 55810 55811 55812 55813 55814 55815 55816 55817 55818 55819 55820 55821 55828 55829 55830 55831 55832 55833 55834 55835 55836 55837 55838 55839 55840 55841 55842 55843 55844 55845 55846 55847 55848 55849 55850 55851 55852 55853 55854 55855 55856 55857 55858 55859 55860 55861 55862 55863 55870 55871 55872 55873 55874 55875 55876 55877 55878 55879 55880 55881 55882 55883 55884 55885 55886 55887 55888 55889 55890 55891 55892 55893 55894 55895 55896 55897 55898 55899 55906 55907 55908 55909 55910 55911 55912 55913 55914 55915 55916 55917 55918 55919 55920 55921 55922 55923 55924 55925 55926 55927 55928 55929 55930 55931 55932 55933 55934 55935 55936 55937 55938 55939 55940 55941 55942 55947 55948 55950 55951 55952 55953 55954 55958 55959 55960 55961 55962 55963 55964 55965 55966 55967 55968 55969 55970 55971 55972 55973 55974 55975 55976 55977 55978 55979 55980 55981 55982 55983 55984 55985 55986 55987 55988 55989 55990 55993 55994 56204 56205 56206 56207 56208 56209 56210 56211 56212 56213 56214 56215 56216 56217 56218 56219 56220 56221 56222 56223 56224 56225 56226 56227 56228 56229 56230 56231 56232 56233 56234 56235 56236 56237 56238 56239 56240 56241 56242 56243 56244 56548 56549 56551 56552 56553 56554 56555 56556 56557 56558 56559 56560 56561 56562 56563 56564 56565 56566 56567 56568 56569 56570 56571 56572 56573 56574 56575 56576 56577 56578 56579 56580 56581 56582 56583 56584 56585 56586 56587 56588 56589 56593 56594 56595 56596 56597 56598 56599 56600 56601 56602 56603 56604 56605 56606 56607 56608 56609 56610 56611 56612 56613 56614 56615 56616 56617 56618 56619 56620 56621 56622 56623 56624 56625 56632 56633 56634 56635 56636 56637 56638 56639 56640 56641 56642 56643 56644 56645 56646 56647 56648 56649 56650 56651 56652 56653 56654 56655 56656 56657 56658 56659 56660 56661 56662 56663 56664 56665 56666 56667 56668 56669 56670 56672 56673 56674 56676 56677 56678 56680 56681 56682 56684 56685 56686 56688 56689 56691 56692 56694 56695 56697 56698 56700 56701 56703 56704 56706 56707 56709 56710 56711 56712 56713 56714 56715 56716 56717 56718 56719 56720 56721 56722 56723 56724 56725 56728 56733 56734 56735 56736 56740 56748 56750 56751 56752 56753 56754 56755 56756 56757 56758 56759 56760 56761 56762 56763 56764 56765 56766 56767 56768 56769 56770 56771 56772 56773 56774 56775 56776 56781 56782 56783 56784 56785 56786 56787 56788 56789 56790 56791 56805 56806 56808 56809 56823 56825 56826 56827 56828 56829 56830 56831 56832 56833 56834 56835 56836 56837 56838 56839 56840 56841 56842 56843 56844 56845 56846 56847 56848 56849 56850 56851 56853 56854 56855 56856 56857 56858 56859 56860 56861 56862 56878 56879 56880 56881 56895 56897 56898 56899 56900 56901 56902 56903 56904 56905 56906 56907 56908 56909 56910 56911 56912 56913 56914 56915 56916 56917 56918 56919 56920 56921 56922 56926 56927 56928 56930 56931 56932 56948 56949 56950 56951 56966 56968 56969 56970 56971 56972 56973 56974 56975 56976 56977 56978 56979 56980 56981 56982 56983 56984 56985 56986 56987 56988 56989 56990 56991 56992 56993 56997 56998 56999 57001 57002 57003 57004 57005 57006 57007 57008 57009 57010 57011 57012 57013 57014 57015 57016 57017 57018 57019 57020 57021 57022 57023 57024 57025 57026 57027 57028 57029 57030 57031 57032 57033 57034 57035 57036 57037 57038 57039 57040 57041 57042 57043 57044 57059 57060 57061 57062 57063 57064 57065 57066 57067 57068 57069 57070 57071 57072 57073 57074 57075 57076 57077 57078 57079 57080 57081 57082 57083 57084 57086 57087 57088 57089 57090 57094 57095 57227 57228 57229 57419 57420 59432 59441 59442 59443 59444 59445 59446 59447 59448 59449 59450 59451 59452 59453 59454 59455 59456 59457 59458 59505 59506 59507 59508 59509 59510 59511 59512 59513 59514 59515 59516 59517 59518 59519 59520 59521 59522 59523 59524 59525 59526 59527 59528 59529 59530 59531 59548 59549 59550 59551 59552 59553 59554 59555 59556 59557 59558 59559 59560 59561 59562 59563 59564 59565 59566 59567 59568 59569 59570 59571 59572 59573 59574 59575 59576 59578 59581 59582 59583 59584 59585 59586 59587 59588 59589 59590 59591 59592 59593 59594 59595 59596 59597 59598 59599 59600 59601 59602 59603 59604 59605 59606 59607 59608 59609 59610 59627 59628 59629 59630 59631 59632 59633 59634 59635 59636 59637 59638 59639 59640 59641 59642 59643 59644 59645 59646 59647 59648 59649 59650 59651 59652 59653 59654 59655 59657 59660 59661 59662 59663 59664 59665 59666 59667 59668 59669 59670 59671 59672 59673 59674 59675 59676 59677 59678 59679 59680 59681 59682 59683 59684 59685 59686 59687 59704 59705 59706 59707 59708 59709 59710 59711 59712 59713 59714 59715 59716 59717 59718 59719 59720 59721 59722 59723 59724 59725 59726 59727 59728 59729 59730 59731 59732 59734 59737 59738 59739 59740 59741 59742 59743 59744 59745 59746 59747 59748 59758 59759 59760 59761 59762 59763 59764 59765 59766 59767 59768 59769 59770 59771 59772 59773 59774 59775 59776 59816 59817 59818 59819 59820 59821 59822 59823 59824 59825 59826 59827 59828 59829 59830 59832 59834 59895 59896 59899 59904 59905 59906 59907 59908 59909 59910 59912 59913 59914 59915 59916 59917 59918 59919 59920 59921 59922 59923 59924 59925 59926 59927 59928 59929 59930 59949 59950 59951 59952 59953 59954 59955 59956 59957 59958 59959 59960 59961 59962 59963 59964 59965 59966 59967 59968 59969 59970 59971 59972 59973 59974 59975 59976 59977 59982 59983 59985 59986 59987 59989 59991 59992 59993 59994 59995 59996 59997 59998 59999 60000 60001 60002 60003 60004 60005 60006 60007 60008 60027 60028 60029 60030 60031 60032 60033 60034 60035 60036 60037 60038 60039 60040 60041 60042 60043 60044 60045 60046 60047 60048 60049 60050 60051 60052 60053 60054 60061 60063 60064 60065 60066 60067 60075 60076 60077 60078 60079 60080 60081 60082 60083 60084 60085 60086 60087 60088 60089 60090 60091 60092 60093 60094 60095 60096 60097 60098 60099 60100 60101 60102 60103 60106 60107 60317 60318 60319 60320 60321 60322 60323 60324 60325 60326 60327 60328 60329 60330 60331 60332 60333 60334 60335 60336 60337 60338 60339 60340 60341 60342 60343 60344 60345 60346 60347 60348 60349 60350 60351 60352 60353 60354 60355 60356 60357 60661 60662 60667 60668 60669 60670 60671 60672 60673 60674 60675 60676 60677 60678 60679 60680 60681 60682 60683 60684 60685 60686 60687 60688 60689 60690 60691 60692 60693 60694 60695 60696 60697 60698 60699 60701 60702 60706 60707 60708 60709 60710 60711 60712 60713 60714 60715 60716 60717 60718 60719 60720 60721 60722 60723 60724 60725 60726 60727 60728 60729 60730 60731 60732 60733 60734 60735 60736 60737 60738 60743 60744 60745 60746 60747 60748 60749 60750 60751 60752 60753 60754 60755 60756 60757 60758 60759 60760 60761 60762 60763 60764 60765 60766 60767 60768 60769 60770 60771 60772 60773 60774 60775 60776 60777 60778 60779 60780 60781 60782 60783 60785 60786 60787 60789 60790 60791 60793 60794 60795 60797 60798 60799 60801 60802 60804 60805 60807 60808 60810 60811 60813 60814 60816 60817 60819 60820 60822 60823 60824 60825 60826 60827 60828 60829 60830 60831 60832 60833 60834 60835 60836 60837 60838 60841 60846 60847 60848 60849 60853 60861 60863 60864 60865 60866 60867 60868 60869 60870 60871 60872 60873 60874 60875 60876 60877 60878 60879 60880 60881 60882 60883 60884 60885 60886 60887 60888 60889 60894 60895 60896 60897 60898 60899 60900 60901 60902 60903 60904 60918 60919 60921 60922 60936 60938 60939 60940 60941 60942 60943 60944 60945 60946 60947 60948 60949 60950 60951 60952 60953 60954 60955 60956 60957 60958 60959 60960 60961 60962 60963 60964 60965 60966 60967 60968 60969 60970 60971 60972 60973 60974 60975 60991 60992 60993 60994 61008 61010 61011 61012 61013 61014 61015 61016 61017 61018 61019 61020 61021 61022 61023 61024 61025 61026 61027 61028 61029 61030 61031 61032 61033 61034 61035 61039 61040 61041 61043 61044 61045 61061 61062 61063 61064 61104 61105 61106 61110 61111 61112 61114 61115 61116 61117 61118 61119 61120 61121 61122 61123 61124 61125 61126 61127 61128 61129 61130 61131 61132 61133 61134 61135 61136 61137 61138 61139 61140 61141 61142 61143 61144 61145 61146 61147 61148 61149 61150 61151 61152 61153 61154 61155 61156 61157 61158 61172 61173 61174 61175 61176 61177 61178 61179 61180 61181 61182 61183 61184 61185 61186 61187 61188 61189 61190 61191 61192 61193 61194 61195 61196 61197 61199 61200 61202 61203 61207 61208 61340 61341 61342 61531 61532 61533 63545 63554 63555 63556 63557 63558 63559 63560 63561 63562 63563 63564 63565 63566 63567 63568 63569 63570 63571 63618 63619 63620 63621 63622 63623 63624 63625 63626 63627 63628 63629 63630 63631 63632 63633 63634 63635 63636 63637 63638 63639 63640 63641 63642 63643 63644 63661 63662 63663 63664 63665 63666 63667 63668 63669 63670 63671 63672 63673 63674 63675 63676 63677 63678 63679 63680 63681 63682 63683 63684 63685 63686 63687 63688 63689 63691 63694 63695 63696 63697 63698 63699 63700 63701 63702 63703 63704 63705 63706 63707 63708 63709 63710 63711 63712 63713 63714 63715 63716 63717 63718 63719 63720 63721 63722 63723 63740 63741 63742 63743 63744 63745 63746 63747 63748 63749 63750 63751 63752 63753 63754 63755 63756 63757 63758 63759 63760 63761 63762 63763 63764 63765 63766 63767 63768 63770 63773 63774 63775 63776 63777 63778 63779 63780 63781 63782 63783 63784 63785 63786 63796 63797 63798 63799 63837 63838 63839 63840 63841 63842 63843 63844 63845 63847 63850 63851 63852 63853 63854 63855 63856 63857 63858 63859 63860 63861 63870 63871 63872 63873 63874 63875 63876 63877 63878 63879 63880 63881 63882 63883 63941 63942 63943 63945 63947 64008 64009 64012 64019 64020 64021 64022 64023 64024 64025 64026 64027 64028 64029 64030 64031 64032 64033 64034 64035 64036 64037 64038 64039 64040 64041 64042 64043 64062 64063 64064 64065 64066 64067 64068 64069 64070 64071 64072 64073 64074 64075 64076 64077 64078 64079 64080 64081 64082 64083 64084 64085 64086 64087 64088 64089 64090 64095 64096 64098 64099 64100 64102 64104 64105 64106 64107 64108 64109 64110 64111 64112 64113 64114 64115 64116 64117 64118 64119 64120 64121 64140 64141 64142 64143 64144 64145 64146 64147 64148 64149 64150 64151 64152 64153 64154 64155 64156 64157 64158 64159 64160 64161 64162 64163 64164 64165 64166 64167 64174 64176 64177 64178 64179 64180 64181 64182 64183 64184 64185 64186 64187 64188 64189 64190 64191 64192 64193 64194 64195 64196 64197 64198 64199 64200 64201 64202 64203 64204 64205 64206 64207 64208 64209 64210 64211 64212 64213 64214 64215 64216 64219 64220 64430 64431 64432 64433 64434 64435 64436 64437 64438 64439 64440 64441 64442 64443 64444 64445 64446 64447 64448 64449 64450 64451 64452 64453 64454 64455 64456 64457 64458 64459 64460 64461 64462 64463 64464 64465 64466 64467 64468 64469 64470 64774 64775 64777 64778 64779 64780 64781 64782 64783 64784 64785 64786 64787 64788 64789 64790 64791 64792 64793 64794 64795 64796 64797 64798 64799 64800 64801 64802 64803 64804 64805 64806 64807 64808 64809 64810 64811 64812 64814 64815 64816 64817 64818 64819 64820 64821 64822 64823 64824 64825 64826 64827 64828 64829 64830 64831 64832 64833 64834 64835 64836 64837 64838 64839 64840 64841 64842 64843 64844 64845 64846 64847 64848 64849 64850 64851 64854 64855 64856 64857 64858 64859 64860 64861 64862 64863 64864 64865 64866 64867 64868 64869 64870 64871 64872 64873 64874 64875 64876 64877 64878 64879 64880 64881 64882 64883 64884 64885 64886 64887 64888 64889 64890 64891 64892 64893 64894 64895 64896 64898 64899 64900 64902 64903 64904 64906 64907 64908 64910 64911 64912 64914 64915 64917 64918 64920 64921 64923 64924 64926 64927 64929 64930 64932 64933 64935 64936 64937 64938 64939 64940 64941 64942 64943 64944 64945 64946 64947 64948 64949 64950 64951 64954 64959 64960 64961 64962 64966 64974 64976 64977 64978 64979 64980 64981 64982 64983 64984 64985 64986 64987 64988 64989 64990 64991 64992 64993 64994 64995 64996 64997 64998 64999 65000 65001 65002 65007 65008 65009 65010 65011 65012 65013 65014 65015 65016 65017 65031 65032 65034 65035 65049 65051 65052 65053 65054 65055 65056 65057 65058 65059 65060 65061 65062 65063 65064 65065 65066 65067 65068 65069 65070 65071 65072 65073 65074 65075 65076 65077 65078 65079 65080 65081 65082 65083 65084 65085 65086 65087 65088 65104 65105 65106 65107 65121 65123 65124 65125 65126 65127 65128 65129 65130 65131 65132 65133 65134 65135 65136 65137 65138 65139 65140 65141 65142 65143 65144 65145 65146 65147 65148 65152 65153 65154 65156 65157 65158 65174 65175 65176 65177 65192 65194 65195 65196 65197 65198 65199 65200 65201 65202 65203 65204 65205 65206 65207 65208 65209 65210 65211 65212 65213 65214 65215 65216 65217 65218 65219 65223 65224 65225 65227 65228 65229 65230 65231 65232 65233 65234 65235 65236 65237 65238 65239 65240 65241 65242 65243 65244 65245 65246 65247 65248 65249 65250 65251 65252 65253 65254 65255 65256 65257 65258 65259 65260 65261 65262 65263 65264 65265 65266 65267 65268 65269 65270 65271 65285 65286 65287 65288 65289 65290 65291 65292 65293 65294 65295 65296 65297 65298 65299 65300 65301 65302 65303 65304 65305 65306 65307 65308 65309 65310 65312 65313 65315 65316 65320 65321 65453 65454 65455 65645 65646 67658 67681 67682 67683 67684 67685 67686 67687 67688 67689 67690 67691 67692 67693 67694 67711 67712 67713 67714 67715 67716 67717 67718 67719 67720 67721 67722 67723 67724 67725 67726 67727 67728 67729 67730 67731 67732 67733 67734 67735 67736 67737 67738 67739 67740 67741 67742 67743 67744 67745 67746 67747 67748 67749 67750 67751 67752 67753 67754 67755 67756 67757 67774 67775 67776 67777 67778 67779 67780 67781 67782 67783 67784 67785 67786 67787 67788 67789 67790 67791 67792 67793 67794 67795 67796 67797 67798 67799 67800 67801 67802 67804 67807 67808 67809 67810 67811 67812 67813 67814 67815 67816 67817 67818 67819 67820 67821 67822 67823 67824 67825 67826 67827 67828 67829 67830 67831 67832 67833 67834 67835 67836 67853 67854 67855 67856 67857 67858 67859 67860 67861 67862 67863 67864 67865 67866 67867 67868 67869 67870 67871 67872 67873 67874 67875 67876 67877 67878 67879 67880 67881 67883 67886 67887 67888 67889 67890 67891 67892 67893 67894 67895 67896 67897 67898 67899 67900 67901 67902 67903 67904 67905 67906 67907 67908 67909 67910 67911 67912 67913 67930 67931 67932 67933 67934 67935 67936 67937 67938 67939 67940 67941 67942 67943 67944 67945 67946 67947 67948 67949 67950 67951 67952 67953 67954 67955 67956 67957 67958 67960 67963 67964 67965 67966 67967 67968 67969 67970 67971 67972 67973 67974 67983 67984 67985 67986 67987 67988 67989 67990 67991 67992 67993 67994 67995 67996 68054 68055 68056 68058 68060 68061 68062 68063 68064 68065 68066 68109 68110 68111 68112 68113 68114 68115 68116 68117 68118 68119 68120 68121 68122 68125 68130 68131 68132 68133 68134 68135 68137 68139 68140 68141 68142 68143 68144 68145 68146 68147 68148 68149 68150 68151 68152 68153 68154 68155 68156 68175 68176 68177 68178 68179 68180 68181 68182 68183 68184 68185 68186 68187 68188 68189 68190 68191 68192 68193 68194 68195 68196 68197 68198 68199 68200 68201 68202 68209 68210 68211 68212 68213 68214 68215 68216 68217 68218 68219 68220 68221 68222 68223 68224 68225 68226 68227 68228 68229 68230 68231 68232 68233 68234 68253 68254 68255 68256 68257 68258 68259 68260 68261 68262 68263 68264 68265 68266 68267 68268 68269 68270 68271 68272 68273 68274 68275 68276 68277 68278 68279 68280 68281 68286 68287 68289 68290 68291 68292 68293 68304 68305 68306 68307 68308 68309 68310 68311 68312 68313 68314 68315 68316 68317 68318 68319 68320 68321 68322 68323 68324 68325 68326 68327 68328 68329 68332 68333 68543 68557 68558 68559 68560 68561 68562 68563 68564 68565 68566 68567 68568 68569 68570 68571 68572 68573 68574 68575 68576 68577 68578 68579 68580 68581 68582 68583 68887 68892 68893 68894 68895 68896 68897 68898 68899 68900 68901 68902 68903 68904 68905 68906 68907 68908 68909 68910 68911 68912 68913 68914 68915 68916 68917 68918 68919 68920 68921 68922 68923 68924 68925 68927 68928 68939 68940 68941 68942 68943 68944 68945 68946 68947 68948 68949 68950 68951 68952 68953 68954 68955 68956 68957 68958 68959 68960 68961 68962 68963 68964 68966 68967 68968 68969 68970 68971 68972 68973 68974 68975 68976 68977 68978 68979 68980 68981 68982 68983 68984 68985 68986 68987 68988 68989 68990 68991 68992 68993 68994 68995 68996 68997 68998 68999 69000 69001 69002 69003 69004 69005 69006 69007 69008 69009 69011 69012 69013 69015 69016 69017 69019 69020 69021 69023 69024 69025 69027 69028 69030 69031 69033 69034 69036 69037 69039 69040 69042 69043 69048 69049 69050 69051 69052 69053 69054 69055 69056 69057 69058 69059 69060 69061 69062 69063 69064 69067 69072 69073 69074 69075 69079 69112 69113 69114 69115 69120 69121 69122 69123 69124 69125 69126 69127 69128 69129 69130 69144 69145 69147 69148 69187 69188 69189 69190 69191 69192 69193 69194 69195 69196 69197 69198 69199 69200 69201 69217 69218 69219 69220 69259 69260 69261 69265 69266 69267 69269 69270 69271 69287 69288 69289 69290 69330 69331 69332 69336 69337 69338 69340 69341 69342 69343 69344 69345 69346 69347 69348 69349 69350 69351 69352 69353 69354 69355 69356 69357 69358 69359 69360 69361 69362 69363 69364 69365 69366 69367 69368 69369 69370 69371 69372 69373 69374 69375 69376 69377 69414 69415 69416 69417 69418 69419 69420 69421 69422 69423 69425 69426 69428 69429 69433 69434 69566 69567 69568 69758 69759 71771 71786 71787 71788 71789 71790 71791 71792 71793 71794 71795 71796 71797 71798 71799 71800 71801 71802 71803 71804 71805 71806 71807 71824 71825 71826 71827 71828 71829 71830 71831 71832 71833 71834 71835 71836 71837 71838 71839 71840 71841 71842 71843 71844 71845 71846 71847 71848 71849 71850 71851 71852 71853 71854 71855 71856 71857 71907 71908 71909 71910 71911 71912 71913 71914 71915 71916 71917 71918 71919 71920 71921 71922 71923 71924 71925 71926 71927 71928 71929 71930 71931 71932 71933 71934 71935 71936 71937 71938 71939 71940 71941 71942 71943 71944 71945 71946 71947 71948 71949 71966 71967 71968 71969 71970 71971 71972 71973 71974 71975 71976 71977 71978 71979 71980 71981 71982 71983 71984 71985 71986 71987 71988 71989 71990 71991 71992 71993 71994 71996 71999 72000 72001 72002 72003 72004 72005 72006 72007 72008 72009 72010 72011 72012 72013 72014 72015 72016 72017 72018 72019 72020 72021 72022 72023 72024 72025 72026 72043 72044 72045 72046 72047 72048 72049 72050 72051 72052 72053 72054 72055 72056 72057 72058 72059 72060 72061 72062 72063 72064 72065 72066 72067 72068 72069 72070 72071 72073 72076 72077 72078 72079 72080 72081 72082 72083 72084 72085 72086 72087 72406 72417 72418 72419 72420 72421 72422 72423 72424 72425 72426 72427 72428 72429 72430 72431 72432 72433 72434 72435 72436 72437 72438 72439 72440 72441 72446 72684 72685 72686 72687 72688 72689 72690 72691 72692 72693 72694 72695 72696 73000 73020 73021 73022 73023 73024 73025 73026 73027 73028 73029 73030 73031 73032 73033 73034 73035 73036 73037 73038 73040 73041 73052 73053 73054 73055 73056 73057 73058 73059 73060 73061 73062 73063 73064 73065 73066 73067 73068 73069 73070 73071 73072 73073 73074 73075 73076 73077 73090 73091 73092 73093 73094 73095 73096 73097 73098 73099 73100 73101 73102 73103 73104 73105 73106 73107 73108 73109 73110 73111 73112 73114 73115 73116 73117 73119 73120 73121 73122 73124 73125 73126 73128 73129 73130 73132 73133 73134 73136 73137 73138 73140 73141 73143 73144 73146 73147 73149 73150 73152 73153 73155 73156 73161 73162 73163 73164 73165 73166 73167 73168 73169 73170 73171 73172 73173 73174 73175 73176 73177 73180 73185 73186 73187 73188 73192 73225 73226 73227 73228 73233 73234 73235 73236 73237 73238 73239 73240 73241 73242 73243 73257 73258 73260 73261 73300 73301 73302 73303 73304 73305 73306 73307 73308 73309 73310 73311 73312 73313 73314 73330 73331 73332 73333 73372 73373 73374 73378 73379 73380 73382 73383 73384 73400 73401 73402 73403 73443 73444 73445 73449 73450 73451 73453 73454 73455 73456 73457 73458 73459 73460 73461 73462 73463 73464 73465 73466 73467 73468 73469 73470 73471 73472 73473 73474 73475 73476 73477 73478 73479 73480 73481 73482 73483 73484 73485 73486 73487 73488 73489 73490 73539 73540 73541 73542 73546 73547 73679 73680 73681 73871 73872 75884 75907 75908 75909 75910 75957 75958 75959 75960 75961 75962 75963 75964 75965 75966 75967 75968 75969 75970 75971 75972 75973 75974 75975 75976 75977 75978 75979 75980 75981 75982 75983 76000 76001 76002 76003 76004 76005 76006 76007 76008 76009 76010 76011 76012 76013 76014 76015 76016 76017 76018 76019 76020 76021 76022 76023 76024 76025 76026 76027 76028 76030 76033 76034 76035 76036 76037 76038 76039 76040 76041 76042 76043 76044 76045 76046 76047 76048 76049 76050 76051 76052 76053 76054 76055 76056 76057 76058 76059 76060 76061 76062 76079 76080 76081 76082 76083 76084 76085 76086 76087 76088 76089 76090 76091 76092 76093 76094 76095 76096 76097 76098 76099 76100 76101 76102 76103 76104 76105 76106 76107 76109 76112 76113 76114 76115 76116 76117 76118 76119 76120 76121 76122 76123 76124 76125 76126 76127 76128 76129 76130 76131 76132 76133 76134 76135 76136 76137 76138 76139 76156 76157 76158 76159 76160 76161 76162 76163 76164 76165 76166 76167 76168 76169 76170 76171 76172 76173 76174 76175 76176 76177 76178 76179 76180 76181 76182 76183 76184 76186 76189 76190 76191 76192 76193 76194 76195 76196 76197 76198 76199 76200 76519 76530 76531 76532 76533 76534 76535 76536 76537 76538 76539 76540 76541 76542 76543 76544 76545 76546 76547 76548 76549 76550 76551 76552 76553 76554 76807 76809 77113 77133 77134 77135 77136 77137 77138 77139 77140 77141 77142 77143 77144 77145 77146 77147 77148 77149 77150 77153 77154 77165 77166 77167 77168 77169 77170 77171 77172 77173 77174 77175 77176 77177 77178 77179 77180 77181 77182 77183 77184 77185 77186 77187 77227 77245 77271 77272 77274 77275 77276 77277 77278 77279 77280 77281 77282 77283 77284 77285 77286 77287 77288 77289 77290 77293 77298 77299 77300 77301 77338 77339 77340 77341 77354 77355 77356 77370 77371 77373 77374 77413 77414 77415 77416 77417 77418 77419 77420 77421 77422 77423 77424 77425 77426 77427 77443 77444 77445 77446 77485 77486 77487 77491 77492 77493 77495 77496 77497 77513 77514 77515 77516 77556 77557 77558 77562 77563 77564 77566 77567 77568 77569 77570 77571 77572 77573 77574 77575 77576 77577 77578 77579 77580 77581 77582 77583 77584 77585 77586 77587 77588 77589 77590 77591 77592 77593 77594 77595 77596 77597 77598 77599 77600 77601 77602 77603 0 997.94/997.98 c Terminating MUSer ... 997.94/997.98 c CPU Time: 997.74
OK 14712
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-3501108-1308042698/watcher-3501108-1308042698 -o /tmp/evaluation-result-3501108-1308042698/solver-3501108-1308042698 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501108-1308042698.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: 3.99 3.36 3.14 6/189 4126 /proc/meminfo: memFree=29389344/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=4028 CPUtime=0 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 495 0 0 0 0 0 0 0 24 0 1 0 915866487 4124672 446 33554432000 4194304 5696331 140735920842192 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 1007 447 114 367 0 637 0 [startup+0.0516469 s] /proc/loadavg: 3.99 3.36 3.14 6/189 4126 /proc/meminfo: memFree=29389344/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=13944 CPUtime=0.04 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 3122 0 0 0 4 0 0 0 24 0 1 0 915866487 14278656 2926 33554432000 4194304 5696331 140735920842192 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 3486 2926 114 367 0 3116 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13944 [startup+0.100636 s] /proc/loadavg: 3.99 3.36 3.14 6/189 4126 /proc/meminfo: memFree=29389344/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=21056 CPUtime=0.09 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 5203 0 0 0 9 0 0 0 24 0 1 0 915866487 21561344 4716 33554432000 4194304 5696331 140735920842192 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 5297 4718 114 367 0 4927 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21056 [startup+0.300594 s] /proc/loadavg: 3.99 3.36 3.14 6/189 4126 /proc/meminfo: memFree=29389344/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=50496 CPUtime=0.29 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 13882 0 0 0 28 1 0 0 25 0 1 0 915866487 51707904 12046 33554432000 4194304 5696331 140735920842192 18446744073709551615 4210985 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 12624 12046 114 367 0 12254 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50496 [startup+0.700514 s] /proc/loadavg: 3.99 3.36 3.14 6/189 4126 /proc/meminfo: memFree=29389344/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=83996 CPUtime=0.69 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 22476 0 0 0 67 2 0 0 25 0 1 0 915866487 86011904 20253 33554432000 4194304 5696331 140735920842192 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 20999 20253 141 367 0 20629 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83996 [startup+1.50036 s] /proc/loadavg: 3.99 3.36 3.14 5/190 4127 /proc/meminfo: memFree=29308396/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=84676 CPUtime=1.49 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 22671 0 0 0 147 2 0 0 25 0 1 0 915866487 86708224 20448 33554432000 4194304 5696331 140735920842192 18446744073709551615 4398547 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 21169 20448 141 367 0 20799 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 84676 [startup+3.10104 s] /proc/loadavg: 3.99 3.37 3.14 5/190 4127 /proc/meminfo: memFree=29307116/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=86192 CPUtime=3.09 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 23064 0 0 0 307 2 0 0 25 0 1 0 915866487 88260608 20841 33554432000 4194304 5696331 140735920842192 18446744073709551615 4398436 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 21548 20841 141 367 0 21178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 86192 [startup+6.3004 s] /proc/loadavg: 3.99 3.37 3.14 5/190 4127 /proc/meminfo: memFree=29319280/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=69464 CPUtime=6.29 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 29852 0 0 0 625 4 0 0 25 0 1 0 915866487 71131136 16930 33554432000 4194304 5696331 140735920842192 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 17366 16930 142 367 0 16996 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 69464 [startup+12.7011 s] /proc/loadavg: 3.99 3.39 3.15 5/190 4127 /proc/meminfo: memFree=29143284/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=265700 CPUtime=12.69 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 81274 0 0 0 1260 9 0 0 25 0 1 0 915866487 272076800 65458 33554432000 4194304 5696331 140735920842192 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 66425 65458 148 367 0 66055 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 265700 [startup+25.5006 s] /proc/loadavg: 3.99 3.41 3.16 5/190 4165 /proc/meminfo: memFree=28978676/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=500632 CPUtime=25.49 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 139928 0 0 0 2531 18 0 0 25 0 1 0 915866487 512647168 124107 33554432000 4194304 5696331 140735920842192 18446744073709551615 4419584 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 125158 124107 149 367 0 124788 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 500632 [startup+51.1005 s] /proc/loadavg: 3.99 3.46 3.18 5/190 4165 /proc/meminfo: memFree=28884916/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=51.09 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152146 0 0 0 5090 19 0 0 25 0 1 0 915866487 562655232 136322 33554432000 4194304 5696331 140735920842192 18446744073709551615 4394479 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136322 149 367 0 136997 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 549468 [startup+102.307 s] /proc/loadavg: 3.99 3.54 3.22 5/190 4167 /proc/meminfo: memFree=28667136/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=102.3 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152148 0 0 0 10210 20 0 0 25 0 1 0 915866487 562655232 136324 33554432000 4194304 5696331 140735920842192 18446744073709551615 4391811 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136324 149 367 0 136997 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 549468 [startup+162.3 s] /proc/loadavg: 3.99 3.62 3.27 5/190 4168 /proc/meminfo: memFree=28606084/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=162.3 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152148 0 0 0 16210 20 0 0 25 0 1 0 915866487 562655232 136324 33554432000 4194304 5696331 140735920842192 18446744073709551615 4381173 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136324 149 367 0 136997 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 549468 [startup+222.3 s] /proc/loadavg: 3.99 3.69 3.31 5/190 4170 /proc/meminfo: memFree=28569584/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=222.3 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152148 0 0 0 22209 21 0 0 25 0 1 0 915866487 562655232 136324 33554432000 4194304 5696331 140735920842192 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136324 149 367 0 136997 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 549468 [startup+282.3 s] /proc/loadavg: 3.99 3.74 3.35 5/190 4172 /proc/meminfo: memFree=28569172/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=282.3 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152148 0 0 0 28209 21 0 0 25 0 1 0 915866487 562655232 136324 33554432000 4194304 5696331 140735920842192 18446744073709551615 4416684 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136324 149 367 0 136997 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 549468 [startup+342.3 s] /proc/loadavg: 3.99 3.79 3.39 5/190 4173 /proc/meminfo: memFree=28569368/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=342.31 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152148 0 0 0 34209 22 0 0 25 0 1 0 915866487 562655232 136324 33554432000 4194304 5696331 140735920842192 18446744073709551615 4416916 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136324 149 367 0 136997 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 549468 [startup+402.3 s] /proc/loadavg: 3.99 3.82 3.43 5/190 4175 /proc/meminfo: memFree=28569332/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=402.31 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152148 0 0 0 40209 22 0 0 25 0 1 0 915866487 562655232 136324 33554432000 4194304 5696331 140735920842192 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136324 149 367 0 136997 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 549468 [startup+462.3 s] /proc/loadavg: 3.99 3.85 3.46 5/190 4176 /proc/meminfo: memFree=28569544/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=462.31 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152148 0 0 0 46209 22 0 0 25 0 1 0 915866487 562655232 136324 33554432000 4194304 5696331 140735920842192 18446744073709551615 4394184 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136324 149 367 0 136997 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 549468 [startup+522.301 s] /proc/loadavg: 4.03 3.89 3.49 5/190 4178 /proc/meminfo: memFree=28569136/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=522.31 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 52208 23 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4380975 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 549468 [startup+582.301 s] /proc/loadavg: 4.01 3.91 3.52 5/190 4217 /proc/meminfo: memFree=28204092/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=582.31 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 58208 23 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 549468 [startup+642.301 s] /proc/loadavg: 4.00 3.92 3.55 5/190 4218 /proc/meminfo: memFree=27649172/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=642.33 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 64209 24 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4401310 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 549468 [startup+702.301 s] /proc/loadavg: 4.00 3.93 3.58 5/190 4220 /proc/meminfo: memFree=27649256/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=702.32 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 70208 24 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4417628 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 549468 [startup+762.307 s] /proc/loadavg: 4.00 3.94 3.60 5/190 4222 /proc/meminfo: memFree=27649464/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=762.33 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 76208 25 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4417500 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 762.33 Current children cumulated vsize (KiB) 549468 [startup+822.301 s] /proc/loadavg: 4.00 3.95 3.62 5/190 4223 /proc/meminfo: memFree=27649432/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=822.33 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 82207 26 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4380943 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 549468 [startup+882.301 s] /proc/loadavg: 4.00 3.95 3.64 5/190 4262 /proc/meminfo: memFree=28099792/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=882.33 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 88207 26 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4400217 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 549468 [startup+942.301 s] /proc/loadavg: 4.00 3.96 3.66 5/190 4300 /proc/meminfo: memFree=29082492/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=942.34 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 94207 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 942.34 Current children cumulated vsize (KiB) 549468 Solver just ended. Dumping a history of the last processes samples [startup+947.107 s] /proc/loadavg: 4.00 3.96 3.66 5/190 4300 /proc/meminfo: memFree=29027552/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=947.14 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 94687 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4381177 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 947.14 Current children cumulated vsize (KiB) 549468 [startup+972.701 s] /proc/loadavg: 4.08 3.98 3.68 5/190 4301 /proc/meminfo: memFree=28724952/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=972.73 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 97246 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4413820 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 972.73 Current children cumulated vsize (KiB) 549468 [startup+985.5 s] /proc/loadavg: 4.07 3.98 3.68 5/190 4301 /proc/meminfo: memFree=28632068/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=985.54 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 98527 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4416793 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 985.54 Current children cumulated vsize (KiB) 549468 [startup+991.901 s] /proc/loadavg: 4.06 3.98 3.68 5/190 4302 /proc/meminfo: memFree=28583708/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=991.93 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 99166 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 991.93 Current children cumulated vsize (KiB) 549468 [startup+995.1 s] /proc/loadavg: 4.06 3.98 3.68 5/190 4302 /proc/meminfo: memFree=28530880/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=995.13 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 99486 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4381173 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 995.13 Current children cumulated vsize (KiB) 549468 [startup+996.701 s] /proc/loadavg: 4.05 3.98 3.68 5/190 4302 /proc/meminfo: memFree=28496284/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=996.73 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 99646 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4417691 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 996.73 Current children cumulated vsize (KiB) 549468 [startup+997.501 s] /proc/loadavg: 4.05 3.98 3.68 5/190 4302 /proc/meminfo: memFree=28496284/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=549468 CPUtime=997.53 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 99726 27 0 0 25 0 1 0 915866487 562655232 136325 33554432000 4194304 5696331 140735920842192 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 137367 136325 150 367 0 136997 0 Current children cumulated CPU time (s) 997.53 Current children cumulated vsize (KiB) 549468 [startup+997.901 s] /proc/loadavg: 4.05 3.98 3.68 5/190 4302 /proc/meminfo: memFree=28466148/32950928 swapFree=67053884/67111528 [pid=4126] ppid=4124 vsize=532928 CPUtime=997.94 cores=5,7 /proc/4126/stat : 4126 (muser) R 4124 4126 25945 0 -1 4202496 152149 0 0 0 99766 28 0 0 25 0 1 0 915866487 545718272 119932 33554432000 4194304 5696331 140735920842192 18446744073709551615 5252282 0 0 4096 24615 0 0 0 17 5 0 0 0 /proc/4126/statm: 133232 119595 150 367 0 132862 0 Current children cumulated CPU time (s) 997.94 Current children cumulated vsize (KiB) 532928 Child status: 20 Real time (s): 997.991 CPU time (s): 998.035 CPU user time (s): 997.735 CPU system time (s): 0.299954 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 549468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 997.735 system time used= 0.299954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152150 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= 4 involuntary context switches= 1496 runsolver used 1.62575 second user time and 3.82242 second system time The end
Begin job on node149 at 2011-06-14 11:11:38 IDJOB=3501108 IDBENCH=90048 IDSOLVER=1998 FILE ID=node149/3501108-1308042698 RUNJOBID= node149-1308042324-3991 PBS_JOBID= 13563887 Free space on /tmp= 74012 MiB SOLVER NAME= MUSer 2011-02-10 BENCH NAME= SAT11/gmus/belov/pdtswvrod6x8p1.aig.k25.gcnf COMMAND LINE= muser -comp -grp BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501108-1308042698/watcher-3501108-1308042698 -o /tmp/evaluation-result-3501108-1308042698/solver-3501108-1308042698 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501108-1308042698.gcnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= cf7e38a4033675310aeb9cfd591766e7 RANDOM SEED=412792727 node149.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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.806 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.83 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.806 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.73 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29390020 kB Buffers: 240056 kB Cached: 832668 kB SwapCached: 22948 kB Active: 2628608 kB Inactive: 719268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29390020 kB SwapTotal: 67111528 kB SwapFree: 67053884 kB Dirty: 7008 kB Writeback: 0 kB AnonPages: 2272584 kB Mapped: 11760 kB Slab: 143012 kB PageTables: 9656 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2503608 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= 74044 MiB End job on node149 at 2011-06-14 11:28:16