0.00/0.00	c MoUsSaka with meat
0.89/0.94	
0.89/0.94	s UNSATISFIABLE
219.39/219.49	c Core is minimal
219.39/219.49	
219.39/219.49	v 1057 1031 1014 1056 1865 1864 1550 163 198 177 1863 1054 1027 1053 1009 1023 751 1004 1051 1050 1868 1106 1105 1108 1836 1801 1587 1019 1797 1796 1871 1869 1870 1798 1799 1834 1832 1800 1831 1833 1835 1584 1585 1583 1586 1830 1829 1802 1804 1588 1803 1589 1048 1047 1582 146 196 45 747 749 748 171 194 172 750 714 657 658 660 10 17 9 149 144 145 167 168 41 43 42 44 33 147 713 143 142 711 710 948 712 949 951 655 656 946 947 654 653 38 39 40 952 1590 1548 1546 1545 1549 1547 666 665 11 32 31 717 715 745 746 744 1874 1875 1795 1794 984 980 983 982 981 1045 1015 1044 1873 1552 1581 1580 1768 1880 1104 1103 1828 1879 1101 1102 1579 1578 1544 1793 1878 1876 1837 1042 1036 1021 1844 1861 1856 1849 1854 1039 1859 1857 1002 1843 1850 1033 1025 1847 35 34 1017 1006 950 1007 1846 716 1882 1862 1866 3324 3550 3619 3624 5423 5461 5452 5455 5441 5437 5419 5428 752 753 754 2795 2796 2798 5433 3322 3323 3321 6347 6346 6350 6349 6348 6352 6351 6345 6344 6353 6341 6339 6355 6332 6329 6335 6333 6340 6331 6336 6334 6328 6342 6326 6338 6337 6330 6343 6327 5445 5449 5464 3661 5458 5470 3632 3614 3610 3628 6325 6323 7274 7275 15397 15379 15421 15427 15415 24450 24459 24465 24453 15388 15412 15401 1173 1127 1126 13279 13301 13307 13313 13269 13283 13265 13287 13274 11226 11212 11216 11221 11230 11234 9224 9229 9220 9262 9256 9242 9238 9246 9253 9250 9234 7328 7331 7337 7334 7325 7322 8220 7319 7315 8221 7307 7311 7303 7298 7289 8225 8223 8222 7293 1128 679 6324 6354 7280 7282 7276 7268 7272 7269 7281 7286 7271 7287 7285 7284 7279 7283 7277 7273 7270 7278 3652 3643 3664 677 678 676 2817 2816 2818 1883 1884 3646 5417 5414 5415 5416 3658 5418 5394 1172 1170 1169 985 3640 3636 3649 3655 5411 5408 5406 5412 5401 5400 5413 5410 5404 5407 5402 5403 5409 5405 5398 5399 5397 28 30 29 986 1913 1916 3600 1910 1898 3598 3602 3594 3601 3603 3605 3595 3591 3599 3608 1888 1901 1904 1892 3596 3604 1895 3606 3607 1907 3592 3593 1171 675 3320 3319 3327 3317 3318 3581 3582 3580 3583 3579 3552 3589 3585 3588 3578 3577 3576 3575 3551 3516 3611 3325 2793 2794 2791 2792 5431 5421 5420 5422 2790 2789 3622 5440 5439 5435 5358 3545 3546 3547 5432 5436 5393 5126 3548 3621 3616 3617 3623 3609 3590 3597 4543 4546 4544 5392 5384 5385 5083 5386 5391 5389 5390 5388 5387 5081 5082 5357 5356 5084 5086 5085 5088 5087 7290 7291 5426 5427 5425 7255 7254 7259 7260 7258 7261 7257 7256 7228 6987 7297 7302 7296 7301 7295 7300 7253 7309 7310 7292 7263 7305 7306 7318 7324 7330 7336 7321 7333 8910 9158 9154 9157 9155 9156 9151 9152 11218 9228 9227 8909 9221 9222 9159 9223 9226 9194 9191 9192 9190 9189 9193 10154 8908 10156 10153 8226 9188 8869 8871 8868 8867 8870 9232 9231 9233 9187 9160 9162 9186 9185 8866 9126 8864 8865 9248 9184 9180 9173 9175 9169 9171 9178 9172 9176 9168 9177 9167 9166 9179 9174 9170 9181 9183 9182 9163 7262 7229 4547 7251 7250 7252 5460 5451 5469 4542 4541 4540 4539 7231 5383 8872 4537 4538 6988 7224 7223 7225 7222 7226 7227 4536 4535 3663 3544 3284 3286 3285 3287 3283 6950 6986 3542 3543 6982 6985 6984 6983 3288 7249 3651 3660 5127 5359 3638 3634 3648 4532 4533 4527 4534 4528 4529 4530 4531 4524 4519 4522 4521 4520 4517 4518 4526 4523 4525 3329 3328 5354 5355 5353 5350 5351 5352 5348 5349 5089 3612 3613 3326 3549 3631 3630 3642 3657 3645 3627 3626 5361 5360 5125 5124 4550 3584 3618 5325 5122 5123 5121 5119 5120 5118 5117 5129 3639 3635 3654 5376 5372 5374 5369 5373 5371 5375 5378 5377 5379 5370 5381 5382 5380 4565 4564 3289 2864 3291 3541 4566 4612 953 1028 1011 1024 1010 1035 1041 1038 1032 1016 1005 5091 2799 2802 3282 3281 5115 5116 5114 1099 1100 3290 3279 3316 3540 3539 2931 3280 3315 4730 5080 1792 6365 6360 6362 5365 5366 5368 5367 2788 2787 3292 2930 2912 1020 954 630 629 1089 1084 1083 1097 1081 1096 1085 1077 1079 1092 1091 1082 1078 1090 1086 1088 1095 1093 1094 1098 1087 1080 181 180 161 186 169 160 178 190 165 184 164 979 978 922 1001 995 990 988 997 994 989 993 1000 996 998 992 991 183 637 632 638 647 642 645 27 650 636 639 640 634 649 643 635 633 644 648 641 652 651 1851 1029 1012 1848 1860 1858 1853 1852 1845 1855 628 631 999 646 987 1551 5467 5078 5079 5444 5443 5347 5346 5077 4734 5344 5345 5343 5076 5448 5331 5326 5341 5335 5338 5336 5339 5337 5332 5342 5340 5333 5334 5329 5330 4959 5071 5075 5072 5073 5074 1842 1841 1840 5430 5070 4958 5069 5068 5067 5066 5062 5065 5362 1912 1915 1890 1900 1886 1897 1906 1903 1891 1887 1909 1894 7221 4711 4729 4660 6375 664 707 661 708 3574 1827 742 3278 1577 1190 1553 1576 3314 3538 3537 1791 709 173 743 192 150 945 148 13298 13291 13304 13310 13295 15041 15387 15411 15318 15380 15381 15386 15414 15420 15426 13319 15353 15361 13316 15376 15366 15364 15369 15365 15377 15371 15375 15370 15367 15363 15362 15368 15374 15360 15372 15358 15354 15359 15378 15357 15383 15409 15405 15393 15407 15382 15408 15385 15403 17555 15432 17560 15404 15373 15417 15418 22129 15423 15429 17493 17589 17565 17566 17571 17572 23017 23016 23020 23018 23021 23023 23019 22123 24553 24554 24431 24462 24435 24426 24447 24443 24552 24550 22126 26880 19835 19829 19794 19832 19838 19826 19823 22135 22132 19816 29147 31001 30998 31000 30988 31003 30989 28667 28666 29014 29049 29050 30996 30999 31004 30638 30990 30994 29131 29130 26803 27648 29116 30993 31002 28665 28664 28671 28674 28673 28670 27679 27674 27684 27673 27681 27675 27676 27680 27683 27678 28672 28669 28710 28711 29015 28308 27687 29080 29081 29955 29944 29967 29964 29966 29954 29974 29949 29976 29968 29978 29957 29961 29143 29953 29958 29952 29963 29977 29945 30984 29122 29078 30985 25318 29139 29947 29950 29148 29962 24473 29135 29965 29145 28668 30986 30983 30982 30987 30875 30017 30991 30992 30995 30874 30650 29146 29946 29948 29969 29972 22143 22988 29960 29137 29951 29975 29970 29956 29133 29971 29973 29959 29998 30006 30005 30002 30000 29997 29999 30001 24449 24437 26767 29017 26382 28713 29213 29210 29212 29214 29215 24052 24428 24458 24429 24452 24464 24356 26765 29161 29162 26751 26786 26777 26773 26747 26761 26756 26795 26794 24419 24418 24471 22987 25317 27647 29059 29058 26798 26801 26792 29216 29217 29218 29219 29220 29222 29221 30978 29093 29121 29138 29134 29095 29140 29141 29094 29115 30979 30980 30981 29107 29106 29103 29102 29086 29085 30011 30013 30007 30004 30003 30008 30009 30010 29996 29149 29151 29150 28663 28660 28659 28658 28661 28662 28544 28320 29152 29153 29154 28655 28656 28657 28545 29991 29992 29990 29989 29987 29994 29995 29988 29986 29993 29160 29157 29158 29155 29156 29159 28709 28707 28708 29144 29088 29105 29009 29008 29006 29005 29004 29012 29007 29013 29010 29011 29084 28700 28704 28705 28703 28701 28706 28702 31461 18455 8191 20692 14167 16280 10122 20691 19846 14166 15435 25319 17610 12113 9276 10121 11268 27649 18456 22989 12114 32308 31463 29979 13321 16281 32309 32307 31460 31418 31435 29040 29041 29042 28675 28652 28653 31547 31545 31546 31544 29043 29046 29044 29045 29048 29047 29125 29124 31540 31543 31542 28997 28998 29002 29000 29003 28999 29001 27665 27664 27669 27667 27670 27668 27666 28694 28699 28696 28697 28693 28698 28695 29033 29029 29026 29025 29027 29034 29037 29031 29036 29039 29028 29035 29030 29038 29032 27671 29097 28712 28994 28996 28691 28993 28690 28995 28692 28689 28992 28989 28991 28686 28685 28687 28990 28688 27661 27663 27660 27662 20690 28654 28648 27672 27677 24456 17556 17587 17590 17596 17602 17540 17550 17542 17551 17538 17539 17545 17543 17541 17529 15433 15430 15424 17207 17546 17536 17544 17537 17535 17549 17548 17547 17552 17553 17580 25316 25315 25313 25314 25351 24468 25348 25344 25345 25335 25340 25322 25328 25334 25326 25347 25324 25329 25342 25338 25341 25337 25333 25330 25327 25323 25325 25331 25343 25336 25353 25350 25346 25339 25349 25332 24475 24474 17558 19777 19787 19782 19769 19781 19785 19779 19771 19780 19786 19772 19774 19770 19775 19776 19783 19778 19773 19788 19784 17605 17599 19789 29136 29142 30997 30014 18454 17533 17532 17534 19765 17563 17554 17593 17568 17608 19820 17584 19926 16279 19808 19804 19799 22072 22073 22071 22067 22074 22069 22076 22070 22075 22066 22068 22080 22084 22082 22078 22079 22077 22081 22085 22083 14165 19790 22062 19841 22086 19844 22125 22093 22094 24421 22141 22131 22103 23013 23011 23012 23010 23014 23008 23009 22120 23015 22088 22091 24417 23003 23000 23002 23005 23007 23006 23004 23001 24011 24013 24009 24012 24010 24004 24008 24007 24003 23027 24006 24005 23648 23660 24002 23884 24000 24001 23995 23996 23999 23997 23998 23885 22113 22998 22997 22996 23992 23993 23988 23994 24400 22995 24405 22993 24397 24396 23022 22991 24399 24402 24415 24411 24406 24414 24410 24408 24403 24398 22992 22994 24401 24409 22105 22087 22096 22101 24392 24416 22999 22138 24404 24412 24407 24413 22117 30012 29983 29985 29073 29063 29071 29069 31382 31406 29052 29066 29072 29065 29076 29064 29055 29061 29060 29074 29067 29057 25352 26742 26730 26736 26728 26738 26744 26741 25321 26737 26731 26733 26727 26740 26729 26743 26735 26722 26732 26746 26745 26726 26739 26734 29981 29984 29982 29062 29068 29070 29075 29056 22099 22128 24557 24558 24559 24560 22098 24561 17586 19925 19923 21722 22223 22224 22227 22222 22220 22122 22134 22026 22228 24555 24556 22119 19837 19825 22057 22056 22027 22059 22058 22107 24357 24389 24388 24386 24390 24387 24050 24047 24048 24049 24384 24385 24383 24373 24379 24381 24378 24380 24382 24562 22053 22054 22055 24041 24044 24043 24046 24040 24042 24045 19822 19815 19831 22115 21717 21719 21720 21718 22060 20730 21721 20727 21682 21684 22029 21683 21681 21680 22025 22024 20724 20723 20726 24371 24372 22090 20721 20722 19791 23024 24014 24051 24037 24036 24038 24039 24035 24033 24034 22089 24359 24323 24030 24031 24029 24032 19802 19792 19797 19796 21723 19793 21716 21715 21993 22052 22051 19806 22140 24015 24017 24350 24351 24355 24353 24354 24352 21685 18481 18482 18483 18485 18484 18486 18487 18488 18490 19391 19394 19393 19392 19395 19763 19761 18479 18474 19760 18473 18478 18476 19757 19758 19759 19762 18480 18475 18468 18469 18470 18471 18467 18472 19396 21679 17557 19389 19390 19388 19385 19386 19387 18491 17579 24369 24370 19429 19431 19728 19432 19433 19727 19428 19430 19723 19427 19725 19724 19726 21687 19722 19435 19397 24358 24377 20719 20720 20718 20715 20716 20717 24375 24376 24374 20709 20713 20711 20714 20710 20712 24360 20704 20705 20706 20708 20707 20703 21714 21713 21678 21677 24367 24366 24365 24368 21712 21676 21675 21711 21674 24364 24363 20702 20697 20700 20699 20698 20701 19834 19828 19814 19935 19934 19933 19931 19932 18494 22221 19426 19715 19718 19721 19716 19717 19720 19719 19425 19424 19423 19928 19927 19929 19930 22229 22230 22225 22226 22028 19384 21331 21710 21709 19380 19267 19383 19382 19381 19379 20696 20695 19031 21318 18489 21673 21672 22050 22049 22048 19756 22047 21330 22046 21708 22041 22044 22043 22045 22042 22040 22039 22036 22035 22038 22037 20694 19730 18465 18464 18466 18463 21688 21707 21706 21670 21705 21704 21703 21701 21702 18462 18460 18461 21555 20725 21669 21668 21667 21671 21554 18459 19422 22030 22033 22034 19420 19421 19419 19418 19414 19416 19413 19415 19417 19412 18458 19378 19266 19377 19755 19411 19375 19374 19376 19370 19373 19746 19748 19754 19749 19747 19751 19752 19753 19750 24025 24028 24027 24026 19409 19410 19408 19407 19399 24018 19400 19405 19406 19398 24019 18477 11203 11209 11194 11204 9259 8218 8219 9268 8195 8199 8196 9201 9206 8213 9207 9209 9217 9211 9212 9218 8224 9195 9208 9205 9203 9214 9215 7340 9216 8210 8211 8208 8205 8207 8216 8215 8214 8194 8202 9204 8212 8200 8209 7343 9202 8203 8201 8204 9219 8198 8197 8206 9213 8217 9210 9237 9153 9261 9240 9252 9241 9255 9267 9245 9249 9258 9244 7327 11220 11219 11215 11186 11225 11224 11214 11151 13277 13278 13276 13293 10892 11233 13409 13408 13407 13410 13406 11213 11232 11228 11229 11223 19868 19866 19867 17574 19865 19434 10131 9270 10142 10135 11206 10129 11210 11193 10133 10149 11195 11201 9265 10136 11196 10127 11200 10146 10130 11187 11199 10144 10151 11205 11207 11198 11197 10141 10138 9274 9273 10132 10145 10147 10143 10128 10150 10139 11202 10148 10140 10152 10134 10137 9271 11208 11211 11266 11251 11257 13246 13247 13252 13257 11263 13264 11265 11240 11253 13238 11244 12112 11248 11245 11260 11254 13398 13254 13250 13253 13255 13258 13262 13263 11238 11242 13256 13248 13259 13260 13249 13251 13261 13205 11247 11241 11259 11256 11250 11237 11262 11236 13203 13240 13245 13244 13237 13403 13402 13404 13401 13243 10120 13400 13405 13201 13199 13202 13200 13198 13207 13235 13234 13236 13233 13232 13171 12146 12148 13231 12143 12144 12145 13229 13230 12141 12142 13221 13220 11190 11192 11191 13224 13218 13225 13226 13219 13208 13228 13227 12894 12893 12896 12897 12895 12935 12898 12937 12939 13197 13196 12147 12544 13194 13195 12152 12536 12891 12892 12890 12932 12931 12930 12934 12929 12933 12899 12901 12928 12927 13318 13184 13177 13186 13185 13181 13172 13187 13189 13188 13190 13191 13179 13182 13176 13180 13178 13175 13183 13192 13193 12925 12926 12924 13222 13217 13223 7429 7432 7430 7431 7374 9365 17595 15352 17578 19862 19876 17601 19864 19871 19870 19869 19863 17570 19873 19875 19874 19877 19872 12936 13286 13282 15319 13271 13281 13266 13268 15314 15312 15313 15311 13285 13267 13239 13204 13273 13272 15309 15308 15307 15310 15306 13297 13306 2781 2774 2769 2773 2776 2775 2780 2772 2771 2784 2770 2779 2785 2782 2767 2786 2778 2768 2777 2783 15452 15451 15454 15453 10852 10889 10888 10853 10890 15455 15456 13216 13215 13214 13213 15351 15348 15350 15349 15347 15321 15345 15346 15285 17598 17604 13289 13315 13211 13212 13294 13312 13300 13290 13309 14649 15304 15305 14201 14199 14198 14196 14197 15302 15303 14194 14195 13303 19810 19732 19696 19713 19714 15004 15038 15039 15037 15317 15315 15316 15042 15044 15034 15036 15035 15032 15033 15344 15031 15030 15343 15342 15341 15340 15333 15334 15337 15336 15338 15335 15339 15322 15029 15027 15028 15329 15326 15325 15327 15331 15330 15328 15332 14641 14642 15040 15003 15320 15007 15025 15026 19042 14202 14645 14643 14644 14648 14647 14646 15006 15005 19708 19709 19707 19711 19710 19706 19712 19697 19704 19705 19702 19703 19700 19701 15400 15390 15391 15392 15399 15396 15395 17169 17206 17168 17205 17687 14874 17164 17166 17167 17165 16312 16315 16313 16310 16311 16309 16308 16306 16307 16316 17201 17200 17203 17204 17202 17527 17526 17520 17522 17519 17518 17521 17524 17525 17523 17515 17516 17517 17494 17492 17491 17208 17490 17489 17488 17210 17487 17170 17486 17496 17495 17512 17511 17508 17514 17509 17513 17510 17209 17690 17689 17630 17631 17627 17626 17628 17629 16815 17483 17481 17484 17477 17506 17507 17500 17501 17504 17503 17172 17505 17502 17460 17199 17162 16319 17497 17479 17485 17198 17482 17163 17478 17161 17159 17160 17158 17193 17194 17195 17196 16805 17197 17157 17191 17192 17173 10891 10854 10887 10851 10850 11146 6990 7314 8905 8906 8907 8904 9236 9264 11298 11297 8874 6949 6948 6947 6373 6374 6372 7218 7219 7217 7216 5454 5463 7220 5457 7371 7372 7373 5466 7232 4611 4610 4608 4609 7214 7215 7213 7212 17188 17189 17190 17156 17039 17153 17155 17154 17180 17178 17187 17182 17184 17181 17186 17183 17185 17179 17480 5473 7264 10886 10885 11149 11148 11147 11145 11144 10849 11150 11183 11184 11182 11185 11152 11154 11181 8873 10893 11180 11118 10855 10857 8229 8903 8902 8900 8901 10881 11143 11142 11141 10883 10882 10884 10858 10856 10880 11140 11130 11126 11124 11129 11128 11131 11132 11133 11125 11127 11134 11138 11136 11137 11135 11139 10160 10157 11179 12151 10895 10155 10848 10847 11178 11177 10159 10846 10493 11176 11162 11172 11165 11167 11169 11155 11171 11164 11168 10845 11161 11160 11170 11166 11175 11173 11174 11163 10500 11295 11296 11287 11286 11284 11289 11292 11293 11291 11290 11288 11294 11285 11122 11123 11119 8898 8899 8897 12166 12165 12167 9149 9147 9150 9148 12158 12155 12153 11159 11158 9145 9146 8517 8863 8511 7246 7247 7244 7242 7241 7243 7248 7245 6981 6980 7339 11153 8861 8862 12213 8193 7209 7202 7206 7203 7211 7208 7210 7207 7201 7205 7204 8860 8850 8845 8853 8856 8858 8851 8848 8855 8859 8742 8857 8852 8849 8854 8741 7288 6359 7238 7240 7237 7239 7236 7235 7200 7199 6975 6976 6977 6978 6979 6358 9161 5090 5128 7195 7230 5092 4613 4659 4563 4551 4553 4556 7434 9200 9199 6952 7427 7428 7425 7426 6595 6951 7424 7422 7361 7370 7363 7366 7362 7365 7368 7369 7367 7364 9355 9357 9353 9356 8912 8911 9144 9360 9361 9362 9359 9358 9363 9364 6953 11354 11357 11353 11355 11356 11299 11345 11349 11348 11350 11347 11352 11351 7433 9137 9136 9133 9135 9134 9132 9131 9130 13206 10175 8244 8337 8338 8292 6469 6468 6467 7196 6520 6589 8291 10161 10173 8245 10176 10163 8243 10174 10166 8242 6571 7345 8190 6321 4511 3666 2763 2762 2760 2758 2759 2761 9143 9127 9142 9140 9138 9139 9141 1920 1919 4510 5475 6320 2764 4512 6319 10223 10268 10269 6421 8389 8387 6420 8875 8385 8386 8384 6466 6464 6465 6417 6418 8230 8232 6419 8235 2863 2861 2860 2862 8189 1918 8339 8510 1074 8376 8377 8360 8369 8362 8367 8378 8366 8364 8368 8363 8374 8380 8357 8361 8375 8373 8382 8372 8379 8370 8383 8365 8381 8359 8371 1058 1055 1049 1052 6565 6566 6567 6568 6422 4658 8492 8390 8441 10116 10117 10119 10118 8354 8356 8353 6423 6519 6518 6503 6507 6508 6480 6499 6514 6491 6498 6511 6517 6513 6489 6481 6482 6471 6486 6477 6487 6470 6485 6495 6500 6476 6502 6488 6515 6475 6509 6512 6516 6506 6493 6496 6492 6497 6501 6510 6472 6494 6504 6490 6505 6547 6553 6557 6545 6563 6551 6561 6546 6541 6555 6560 6554 6543 6549 6483 6538 6542 6540 6562 6548 6556 4655 4656 4614 4657 2911 2910 4710 2808 6525 6569 2803 4707 6527 2909 6529 6588 6531 6539 4661 6532 4727 6530 4705 4706 6586 2928 6526 2927 2805 6528 6523 2815 2908 2865 6522 6587 6521 4726 4728 2929 6533 6534 6550 6536 6570 6564 6478 4709 6544 6552 6484 6535 6474 6473 6559 6479 6558 6524 2907 4708 6537 19729 19731 19437 22231 22232 15515 15512 15514 15002 14998 15000 15001 14997 14996 14205 14995 14994 14993 14992 14640 14991 14990 14989 14986 14987 14981 14980 14982 14984 14983 14985 14988 14999 9277 9278 22019 22020 22023 22021 22022 22018 22016 22017 22015 22014 22164 22162 22161 22159 22163 22160 22010 22013 22011 22012 22009 22008 22007 22006 22005 21994 22004 21725 22003 22001 22002 14977 14873 13339 13341 13343 13340 13338 13342 13337 15524 12542 12539 12541 12537 12215 12261 12540 12538 12543 8288 8287 12168 10222 8289 8290 12260 21329 21328 21321 14267 21325 21327 21319 21323 21322 21326 21320 21324 16320 16332 16334 16325 16333 20743 18509 20745 20733 18508 20731 20744 18495 18497 18507 18500 16322 20736 14220 14219 14314 18451 18452 18453 18450 17612 17611 14208 14211 14206 14218 16428 16382 18557 18603 20793 20839 14268 14313 16427 18602 14221 8268 8263 8261 8270 8269 8266 8264 8260 8262 8265 8267 10320 10369 10420 10422 10371 10473 10318 10491 10319 10471 12214 5564 15523 15522 15520 15521 15516 15517 15518 9296 9300 9295 9293 9298 9294 9303 9292 9299 9302 9297 9301 10270 10321 10423 10474 9304 10372 15519 10492 12110 12111 11269 12109 12108 11270 24499 29793 29792 27560 29890 29889 27074 26879 26975 27075 29696 29695 27365 27366 27171 27172 29599 29598 27463 27462 29552 29553 29501 29458 29502 29407 29358 29308 29359 29306 29262 29305 29404 27269 27268 27128 29457 29747 27119 27124 27077 27125 27127 27126 26931 27020 27027 27030 27028 27029 26978 29834 29833 27223 27216 27222 27221 27174 27224 27601 29650 29930 29931 29746 29649 29736 29737 27320 27319 27116 27017 26930 27271 27213 29639 29640 27504 27407 29543 29506 29347 29310 29409 29446 27310 29361 29405 29357 29223 29350 29209 29260 29165 29208 29454 29449 29456 29455 29261 29360 29546 29504 29551 29554 27267 27461 27364 26887 26888 26889 27558 26883 26882 26878 26976 29888 27016 29694 29597 29791 27115 27559 26835 26932 27031 26929 26891 26890 26892 26834 26833 26832 26830 26831 24500 19974 25077 24980 25174 22270 22233 25271 24687 24698 24699 22271 24505 24549 24796 24795 24893 24892 24786 24883 24548 22368 22369 22318 24646 24602 22175 22219 25035 25230 25229 24645 25036 24842 24600 24563 24749 24650 22357 22320 22170 22169 22172 22171 22173 22174 24504 24502 24503 24501 27610 27611 27600 26829 26885 26886 26884 17692 17691 23661 17693 24601 24648 20644 20643 29164 29163 24697 24700 24690 20602 20603 18408 18366 18367 18407 20601 25228 22941 25034 24939 24938 24844 24797 24747 24789 24794 22650 32280 31469 10221 12534 32279 32299 31474 29601 31467 31471 31475 32303 32295 31477 32284 31466 31465 32292 31472 32286 12312 12311 12514 12361 12412 12464 12310 12463 12465 12516 12515 12363 12413 12414 12362 31470 32293 32288 31468 32290 32283 31464 32287 32294 32277 31476 32302 32282 32297 32300 32289 32298 16816 15466 15463 15460 15459 15458 15461 15464 15465 15462 15457 7435 7472 17639 5602 9453 7571 9404 17698 17697 17638 17641 11831 11830 13883 9649 7658 7570 7559 13884 9504 9686 5648 5746 9548 7616 17637 17640 7473 10033 9403 9352 9547 7617 9308 7517 5550 9601 9589 7377 9783 7474 7573 9448 9307 9449 7518 9351 7714 7713 7670 9490 9405 5703 5551 9644 7811 7810 7809 9741 9740 13925 13694 13731 13827 13828 5689 9838 9934 16191 9936 9839 9837 16192 9935 9977 9366 18365 7520 7522 16190 10032 5747 5506 9645 7376 7420 5507 16233 7421 10031 5647 5604 9742 3839 5652 3841 3794 5565 3894 3938 3795 3891 3697 3892 3838 3937 3741 3742 22165 22167 22166 22168 32173 32123 32174 32172 32167 32122 32026 32075 32025 32070 32078 32077 32024 32175 32125 32121 32076 27599 32296 32285 32278 32304 32306 32275 31787 31786 31784 31691 31779 31735 31739 31776 31638 31688 31785 31737 31635 31538 31884 31788 31832 31687 31690 31592 31636 31689 31591 31680 31495 31539 32028 31931 31979 31927 31980 31978 31981 31929 31928 31881 31873 31876 31836 31883 31831 31834 31734 31882 31973 32264 32219 32220 32271 32270 32222 32269 32272 32218 31494 31492 31493 31551 31550 31552 32273 31478 32291 27308 31640 31677 31590 31970 31969 32066 32067 32163 32260 32261 32164 31553 27405 27212 27502 26980 26893 27079 27265 27264 27261 27263 27262 27176 27309 27229 27226 27227 27228 27225 27321 27318 26972 26974 26964 26968 26967 26971 26966 26965 26969 27064 27063 27066 27071 27073 27070 27067 27065 27069 27068 26933 27034 27032 26934 26937 26936 27035 26935 27033 27169 27164 27161 27160 27166 27168 27167 27165 27170 27133 27129 27130 27132 27131 26870 26873 26874 26867 26865 26872 26876 26962 26868 26869 26875 26871 26877 27552 27556 27549 27551 27553 27547 27557 27548 27545 27555 27550 27554 27158 27361 27360 27353 27357 27358 27356 27354 27351 27363 27355 27359 27362 27254 27452 27455 27457 27459 27454 27448 27458 27456 27451 27453 27460 27450 27423 27326 27420 27323 27419 27519 26836 27517 27324 27516 27322 27520 26838 27422 26840 26837 27518 27421 27325 26839 27307 27303 27300 27302 27306 27304 27305 27301 27298 27299 27297 27112 27108 27107 27009 27111 27010 27006 27014 27015 27114 27113 27105 27011 27104 27013 27106 27110 27012 27007 27005 27109 27008 27211 27203 27208 27202 27210 27205 27209 27206 27207 27204 27201 26921 27498 27491 27395 27499 26924 26928 27394 27588 27494 27495 26925 27596 27500 27401 27398 26923 27399 27501 27404 26922 27403 27590 27591 27400 27497 27589 27397 26927 27594 27598 26918 26919 27595 27492 26926 27496 27592 27593 26920 27402 27597 32281 32305 32274 32276 32301 27072 26970 27259 27163 27256 27266 27257 26973 27162 27258 27036 27061 27260 31473 11300 11343 11678 11775 13353 13397 11344 13411 11395 11641 13448 24937 11774 13690 11687 11358 11396 25270 13646 11688 13787 11785 11784 13786 14021 14022 13981 13980 13597 13634 13593 13549 11590 11591 13350 11539 11540 13351 11581 13396 13352 11496 11482 16232 11593 11926 11928 11969 11440 11441 13450 13498 11397 13494 13535 11636 11732 11734 11733 11637 11829 11544 11443 13979 9489 13592 13689 13493 11736 7669 7765 11927 7667 11494 11493 14077 14078 14119 11589 11968 12025 12023 11689 11686 11592 7619 7666 7562 7569 7572 7764 24841 11445 11639 13882 14076 12024 11495 11492 7716 11542 13785 7668 20060 19936 19973 22900 22898 24745 24701 24798 22899 22316 22315 22218 22272 24744 24785 22456 22553 24599 24686 17737 17700 15562 25133 19922 19878 17642 17686 15510 15511 15467 25131 20450 27512 22649 19975 20019 19921 20018 17685 22706 22705 25132 20353 22419 22516 22747 20256 22466 22465 20408 20409 22562 22563 27313 22415 20159 22371 22746 22356 20118 20074 22609 22367 22360 22417 22370 22459 22464 22467 22455 22269 22608 20547 22514 22607 22512 22704 22468 22414 22511 20363 20362 20171 20215 20312 20311 20506 20505 20265 20266 20169 20168 20120 20070 20073 20071 20072 20063 20021 20162 20267 20217 20214 20170 20167 20310 20117 20504 20407 20314 20023 17824 15649 17787 20449 15608 15564 17783 17739 17782 15607 20352 20219 18213 18214 16039 18173 15998 15997 18172 20122 15748 17923 17886 17838 17882 15707 15663 20546 9306 9305 9880 18020 17983 15845 17935 17979 15804 15760 15803 15706 18076 18116 18117 18075 15942 15899 15901 15900 18311 18310 18270 16136 16094 16095 18269 16093 17978 18171 15996 18074 18268 17881 15941 16135 9695 9600 9696 9502 9501 9451 9550 9597 9599 9503 9598 9500 9647 10074 9889 9890 11872 13924 14118 12066 11871 22940 12065 11394 15711 16038 22844 15808 15612 15952 15951 15563 15525 15660 15855 15853 15610 15709 15662 15661 15659 15652 15854 15758 15757 15856 15903 15756 15759 15806 22660 22659 22556 22561 22564 22611 22661 22803 22802 22854 22853 22843 22801 22757 22756 22805 22758 22708 29651 29643 29648 29698 29941 27418 27465 27410 27415 27368 27416 27417 27514 27513 27507 27515 22658 25086 25087 25183 11481 25184 25173 24846 24979 24886 24891 24894 25076 24989 24990 24941 24882 24991 24988 25088 2091 195 25080 1994 197 25085 269 13730 15953 16049 16048 16000 15950 7657 324 2190 3755 9685 11882 11881 9588 11978 11979 7907 7908 7906 9879 7949 8102 8101 8100 8003 8005 8004 27503 5800 5843 5844 11833 11786 27406 11783 11930 3979 3978 5751 7621 5788 5787 3991 4035 4034 5940 5941 5939 9792 9744 9793 9987 9986 9697 9694 29842 29844 29845 29837 29940 16145 16146 4130 4132 24978 11880 11883 2231 22144 22985 22986 22984 22983 22145 6133 6134 6135 6036 6037 6038 6232 6231 6230 6077 6079 7948 11870 2287 377 7947 4421 4229 4326 4227 4325 4423 4324 6078 4270 4268 14618 14620 1948 2578 542 2577 2675 2481 2522 17636 17823 17736 18019 17635 17634 17632 17633 15561 17922 9552 7755 7852 9782 8143 10073 9976 8046 13349 15940 7959 7958 7718 6176 8045 5884 5885 6174 8142 6273 6271 9938 7766 7862 7861 7763 7813 4075 4076 5848 6272 4464 4462 4365 6175 4367 7863 7910 7860 8056 8055 16134 7754 8141 8044 15747 2328 2716 288 1947 11580 11677 13633 16050 16047 16097 9878 24895 24897 24924 24932 24933 24934 24935 24898 24928 24931 24929 24936 24930 24899 24896 24926 24927 24922 24902 24925 24917 24913 24918 24915 24904 24920 24919 24914 24916 24905 24911 24910 24906 24908 24909 24900 24912 24921 24903 24923 24901 12075 12076 11967 11980 12027 11977 12064 7558 12077 12074 2617 2327 2230 2520 2714 2007 2006 2384 2005 2423 1949 2046 2289 2531 2433 2435 2530 2337 2434 2724 2533 2726 2093 2532 2627 2725 2145 2338 2240 2144 2386 2580 2629 2239 2241 2630 2143 2436 2727 2339 2628 2677 2242 2483 2336 2192 2286 2090 2189 2576 2673 2479 2382 2619 2425 27562 18115 10072 9975 4366 11773 7850 22750 22755 22951 22950 18406 22653 15844 20556 20557 20459 20460 16037 13826 20508 20361 20364 20411 20458 20461 13923 18212 24983 22902 22855 22971 22964 22958 22954 22149 22982 22150 22967 22152 22960 22978 22957 22146 22157 22963 22979 22962 22961 22156 22147 22153 22158 22953 22151 22976 22980 22154 22972 22977 22973 22959 22955 22968 22970 22974 22969 22981 20259 20264 16231 14117 14020 18106 18308 18304 18302 18113 18300 18301 18305 18105 18110 18299 18111 18306 18303 18109 18108 18104 18298 18307 18112 18107 18114 18261 18065 18069 17778 18063 18013 17777 17773 18259 18012 18203 17878 17776 18061 18018 18263 17814 18257 18396 18356 17916 17817 18227 18325 18072 17870 17877 18398 18009 17872 18071 18403 18364 18011 18401 18210 17816 17821 17911 18066 18264 17818 17879 18228 18357 18402 18397 17919 18008 18014 18205 17779 18206 17873 18207 17918 18017 18358 17820 18267 18208 17914 17868 18359 17781 18255 18399 18067 17813 18266 17822 17815 18265 17915 18202 17876 18354 18230 18327 18355 17917 18361 17775 17772 18363 18016 18360 17875 17913 18064 18405 17769 17874 18204 18362 18258 18262 18068 18201 18073 17780 18070 17871 18226 17774 18404 18015 18010 17920 18352 18400 18326 18260 18395 17812 17912 18211 17880 18209 17771 17819 18036 17741 17965 17938 17975 18033 18131 18158 17939 17977 18034 17840 18129 18162 18160 17970 18035 17742 18032 17972 17976 17744 17937 18166 18169 17940 18165 18163 17841 17740 18168 18130 18164 18167 18133 18170 18161 18324 18132 17969 17971 17839 18323 17743 17973 17967 17974 17968 17842 17936 17843 17732 17730 17733 17728 17729 17731 17734 17727 17735 17726 17725 17674 17680 17678 17645 17646 17677 17679 17676 17643 17672 17683 17684 17681 17682 17647 17675 17644 18309 27396 27493 18229 22965 22975 22155 22148 22956 22944 22847 17696 22949 22952 22852 17694 17921 17699 17695 22966 24907 25038 29748 29745 29740 29843 29795 31482 31480 31481 31479 31483 31484 27643 26804 27644 27645 27646 26805 29942 29934 29939 29892 27604 27609 29943 27612 27624 26808 27642 26807 27628 26809 27622 27618 27617 26818 27635 27630 27616 27631 27636 26817 27619 27639 27615 27634 27623 27627 27632 27629 27613 27641 26812 27625 27637 26814 26816 26813 26815 26811 27620 27638 27633 27626 26806 27640 26810 27614 27621 13347 13348 16147 16144 16194 16242 16243 16245 15444 15448 15438 16263 16264 16250 16268 16278 16255 16247 16260 15449 15441 16270 16246 16271 16244 16265 16259 15440 16251 15447 16254 16273 16261 15450 16277 16241 15446 16275 16249 15439 16256 16269 16252 16257 16262 15442 15445 16253 16267 16258 15443 15437 16274 15436 16266 16276 16248 16272 31549 31485 31548 31490 31487 31488 31489 31491 31486 13644 13643 13838 13837 23662 23676 16381 16335 16380 25182 25177 25185 18654 18756 18653 18807 18704 18857 18806 18705 18510 18755 18556 18858 25269 20792 20746 21042 20791 21043 20992 21092 20991 21093 21094 21316 19011 21245 21298 21145 21296 20940 20990 20939 21041 20888 20890 20941 20889 21144 21143 19009 21194 18958 18960 18959 16783 21246 19010 16785 16803 21247 21297 21195 21196 19029 13547 13741 13740 13546 22648 13449 25075 13496 13934 13935 11485 9493 13836 13538 13645 13595 22842 13642 13548 17835 13545 13637 22552 25135 5504 5502 5503 5505 19972 20059 20158 13692 13839 13886 17738 17785 20642 20448 20255 20545 13789 13742 13739 13734 3696 3695 20351 3694 17836 22939 23675 23702 14629 14630 14628 14626 14619 14637 14631 14634 14636 14638 14633 14635 14627 14624 14625 14632 14622 14623 16784 19147 19148 19146 21347 22745 23677 24632 24644 24639 24641 24635 24636 24637 24643 24634 24642 24638 24640 24546 24543 24535 24541 24540 24542 24539 24545 24537 24544 24734 24742 24738 24737 24735 24743 24740 24741 24733 24739 24736 24835 24839 24831 24833 24838 24830 24840 24538 24834 24837 24836 24832 24828 24547 24731 24705 24704 24703 24706 24702 24801 24802 24800 24799 24803 24508 24606 24605 24607 24603 24506 24604 24510 24507 24509 27447 27441 27443 27442 27446 27445 27427 27444 25172 23706 23707 23679 21378 21376 21377 21375 21368 23695 23681 27449 27426 27440 27425 27424 25992 26006 13534 17837 17834 17884 17931 17933 17934 17827 17926 17932 14584 25121 25129 25122 25126 25128 25125 25123 25130 25127 25092 25093 25091 25089 25090 25124 25120 25118 26005 25223 25224 25217 25218 25222 25226 25225 25221 25227 25025 25024 24994 25026 24995 25028 25027 25030 25029 25023 24993 24996 25033 24992 25032 25031 25021 25215 25190 25188 25187 25189 25186 25220 25219 23694 25991 22498 22735 22548 22928 22837 22259 22314 22307 22310 22312 22510 22504 22506 22501 22503 22702 22216 22693 22213 22209 22214 22734 22742 22551 22212 22373 22736 22739 22744 22743 22738 22741 22737 22740 22550 22547 22647 22856 22859 22311 22313 22308 22305 22306 22217 22210 22215 22832 22176 22929 22264 22376 22934 22833 22268 22261 22262 22354 22857 22178 22348 22177 22597 22277 22180 22798 22372 22800 22892 22888 22936 22834 22839 22841 22838 22935 22836 22840 22831 22543 22696 22860 22762 22666 22700 22208 22697 22663 22509 22263 22759 22266 22267 22260 22500 22507 22274 22568 22473 22470 22469 22374 22179 22799 22891 22895 22793 22797 22894 22795 22790 22599 22603 22273 22606 22602 22375 22258 22265 22453 22450 22447 22451 22446 22449 22448 22508 22502 22858 22761 22401 22409 22408 22410 22413 22404 22407 22403 22405 22412 22411 22472 22505 22406 22275 22594 22596 22605 22887 22796 22897 22545 22640 22347 22643 22350 22353 22345 22471 22698 22694 22304 22309 22699 22205 22207 22302 22703 22701 22211 22542 22544 22549 22546 22893 22794 22791 22889 22890 22351 22352 22346 22760 22637 22644 22639 22641 22645 22541 22665 22763 22444 22452 22931 22355 22349 22642 22646 22604 22276 22601 22598 22600 22565 22566 22569 22567 22937 22930 22933 22662 22664 22695 22932 22835 22938 22691 22788 22792 22445 22454 22638 22896 22885 18856 18907 18908 18909 18754 18805 18703 18652 18555 27538 27542 27543 27539 27540 27544 27524 27541 26200 26201 27347 27350 27344 27345 27349 26171 26172 26142 26143 27343 27327 27537 27341 27338 27337 27336 26141 23881 23855 23880 27057 27062 27059 27058 27055 27054 27060 27056 27053 27251 27249 26071 26085 26042 26056 26113 26114 26954 26950 26953 26958 26955 26959 26960 26941 26951 26957 26952 26961 26956 26963 26942 26938 26025 26011 27037 26949 26947 26945 26948 26940 27039 27040 13447 26944 26939 26859 26844 26861 26863 26858 26862 26864 26857 26860 23874 23882 23879 27038 26841 26943 26946 27521 27247 27346 27252 27232 27340 27248 27250 27522 27253 27233 27342 27352 27255 27546 26866 27334 27339 27523 27230 27246 27332 27348 27330 26084 26055 27157 27154 27151 27150 26024 27153 27155 27328 27335 27329 27331 26199 26112 27136 27135 27134 27159 27137 26843 26842 27156 27152 26170 27231 27333 23875 23873 23876 23783 23784 25069 24588 24879 24877 25166 24971 24968 24780 25161 24598 24781 24596 24684 25066 25074 24977 24976 25070 25267 25261 25259 25263 25258 25264 24969 25262 25260 25265 25266 25268 24591 25067 24974 25169 24678 25068 25168 24779 25065 24683 24784 24685 25064 24871 25072 25071 24593 24590 24679 24970 24973 25073 25163 24880 24967 24597 24876 24682 24775 24783 25165 24680 24975 24595 24592 24873 24782 24874 24881 24676 25167 24875 24878 24681 24778 24872 24675 24774 24677 25162 24594 24589 24777 25170 25171 25164 24972 24776 23871 25115 23870 25112 25116 23841 23842 25117 25214 25207 25113 25110 25114 25212 25211 25208 25210 25213 25111 25209 25108 25109 25107 25203 25205 25204 25206 25106 25096 25193 23741 23755 24823 24807 24827 24824 24821 24820 24826 24822 24825 24818 24819 24817 24816 24806 21551 21496 21525 21521 21522 21550 25194 25097 23813 23812 25019 25020 25014 25015 25016 25013 25017 25018 25010 25011 25012 25009 23782 24805 24829 24804 24808 24809 23754 21406 21380 21405 24630 24627 24628 24629 24625 24631 24626 24624 24623 24620 24621 24622 24610 21434 21409 21435 23712 23726 24724 24725 24727 24726 24730 24728 24710 24723 24729 24720 24719 24721 24722 24999 24709 25000 21372 24527 24533 24531 24532 24514 24534 25002 24528 24530 24529 24525 24523 24524 24526 24513 25191 25119 25095 25094 25192 25216 21398 21401 21400 25196 25195 25098 25099 21430 21427 21429 21349 21404 21407 21399 24611 23811 24609 24633 24608 24612 24613 24711 24712 24998 24997 24511 24512 24732 24708 24707 25022 23840 23869 23725 24536 24516 24515 25001 5982 7851 5980 4173 5981 4171 3880 3879 9781 7375 5563 5559 5501 5560 5561 5562 21520 21523 21552 21544 21549 21428 21433 21464 21457 21436 21463 21462 21465 21438 21515 21491 21553 21494 21486 21493 21492 21467 21545 21468 21466 21547 21484 21519 21548 21518 21513 21543 21461 21350 21348 21431 21397 21402 21403 21366 21373 21374 21381 21379 21371 21432 21490 21460 21459 5688 18029 18127 18030 18126 18078 18031 17981 18028 25201 19061 22591 22574 19122 22489 19119 22590 25198 22478 22595 19142 22493 25202 19118 19170 22584 19138 22582 21424 22499 19121 22476 22475 22587 22575 21351 19116 19117 22592 22572 22495 19087 21332 21346 19080 22571 19059 19111 22593 21411 19145 22486 22488 19168 22492 19139 22570 21425 19120 21453 22494 22589 25200 22487 21396 21452 22477 21382 22491 22474 19088 19140 19092 19090 19141 22497 19171 19089 21365 18023 15648 14266 14568 14567 14365 14569 16681 16479 16683 16477 16478 14364 16682 14363 16732 16734 16733 14528 14531 14526 14562 14542 14560 14559 14538 14544 14563 14546 14527 14548 14565 14557 14545 14547 14554 14539 14558 14556 14524 14537 14552 14525 14521 14555 14553 14543 14566 14532 14561 14541 14529 14550 14520 14564 14549 14540 14530 14522 14551 14380 14533 14482 14536 14431 14535 14534 27437 27243 27147 27148 27242 27149 27146 27436 27536 27535 27244 27526 27428 27534 27439 27438 27429 27525 27533 27245 14032 13933 13936 13983 14031 14523 19165 19166 3693 19137 19123 25279 25274 25281 25282 25232 25280 25297 24476 25286 25301 24478 25306 25300 24485 25288 25302 25304 24482 25289 25295 25285 24481 25299 25283 24479 25305 25290 24488 25298 24480 24486 25293 25310 25291 25284 25309 24487 25303 25292 25287 25312 24484 24483 25311 25308 25307 25296 25294 24477 9988 10083 9888 9791 9891 10035 10084 9841 9985 9794 12089 12103 10098 10103 10086 10093 10090 10099 10107 10108 11275 11277 12088 11272 12084 11273 12107 12086 12098 12080 11276 12087 12106 12105 10102 10114 12093 12083 12094 10105 10097 10106 10092 10082 10095 12096 12100 12090 11274 12104 11280 12095 12085 12082 11279 12097 12079 12078 11281 10089 10100 10094 10113 10101 10091 12101 11278 12099 12102 10112 10111 10096 10110 10085 10087 10115 12081 11271 12091 12092 11282 10109 10104 11283 18604 18757 18808 18655 18706 18859 19012 18910 18961 19030 16579 16528 16581 16529 16530 16580 16632 16630 16631 14517 14415 14465 14518 14466 14467 14516 14416 14414 18417 18418 18224 18223 14311 14263 14361 14514 14265 14310 14412 14464 14360 14462 14362 14515 14264 14463 14411 14413 14513 14312 18321 18320 18128 18272 18225 18322 18120 18369 18175 18222 18125 18319 18314 18217 14350 14354 14352 14336 14357 14344 14349 14346 14338 14341 14337 14342 14359 14358 14355 14339 14348 14333 14347 14345 14353 14340 14343 14335 14356 14351 14615 14616 14617 14613 14610 14612 14611 14609 14614 14606 14596 14600 14605 14608 14591 14587 14594 14599 14593 14598 14603 14590 14604 14592 14597 14602 14601 14595 14585 14588 14607 18433 18416 18432 18442 18429 18449 14326 14327 14334 14323 14328 14318 14322 14324 14325 14321 14320 17614 17617 17622 17615 18419 17624 17623 17618 18421 17620 18422 18445 18440 18447 17616 18439 18436 18424 18431 18444 18437 18435 18425 18446 18427 17625 18426 18448 18423 18438 18430 17619 18443 17613 18441 18434 18428 17621 18420 14586 14574 14581 14579 14582 14571 14578 14575 14580 14583 14577 14573 14572 14576 14589 14319 14418 14367 14317 14469 14316 13356 14036 13772 13921 13436 13878 13818 13388 14070 13922 13551 13974 13625 13587 13484 13775 13444 13872 13529 13585 13492 13527 13843 13971 13823 14075 13383 13528 13815 14035 13824 14067 13588 18411 13442 13776 14108 13743 14068 13586 13938 13969 13632 13972 13385 13918 13354 13916 13629 13973 13488 13480 13975 13550 14063 13390 13489 13920 14115 13627 13940 13591 14112 13624 13443 13919 13552 13437 13977 13533 13583 13781 13623 13937 13524 13939 13869 13784 13485 13357 13393 13453 13446 13842 14018 13579 13881 13821 13777 14106 14071 13879 13816 13774 14111 13825 13590 13394 13553 13966 13355 13678 13688 13820 13728 13723 13679 13722 13680 13724 13719 13725 13685 13650 13681 13727 13683 14017 13822 13778 13525 13389 14037 13532 14065 13978 13676 13874 13819 13438 13628 13439 13631 13970 13482 13487 14073 14074 13873 13783 14009 13454 13395 13526 13968 14038 14011 13584 13912 13745 13880 13686 13721 13647 13445 13483 13744 13976 13780 13871 14010 14013 13626 13531 13589 14015 14012 13530 14107 13452 13876 13877 13491 13523 14114 13440 13913 13451 14072 13841 13915 13875 14014 14109 13729 13726 13682 13648 13687 13684 13649 13490 13817 14019 14110 14066 14116 14034 13392 13914 13486 13582 14069 13917 13581 13386 13387 13391 13622 13441 13720 23698 23708 23705 23735 23729 23737 23734 23736 23710 13844 13941 13358 13747 13651 13455 13554 23822 23821 23823 23816 23824 23826 23853 23850 23852 23851 23845 23764 23739 23763 23765 23758 23766 23768 23793 23797 23795 23792 23787 23794 13782 13840 13779 14016 14113 13746 13630 27051 27052 27049 27234 27531 27528 27138 27434 27435 27433 27235 27529 27139 27432 27527 27430 27141 27144 27143 27237 27239 27236 27140 19919 19908 19962 19968 19969 19964 19882 19914 19918 19971 19966 19911 19917 19963 19913 19880 19879 19915 19910 19883 19970 19965 19961 19967 19920 19916 19912 19881 20593 20340 20077 20341 20562 19976 20347 20076 20541 20537 20638 20540 20635 20365 20400 20501 20498 20503 20497 20250 20249 20254 20246 20252 20595 20561 20590 20300 20110 20596 20201 20107 20114 20306 20560 20305 20344 20343 20251 20247 20245 20244 20253 20270 20271 19979 20597 20153 20155 20439 20440 20598 20108 20109 20016 20050 20367 20058 20157 20366 20405 20406 20368 20154 20009 20008 20269 20304 20079 20017 20053 20397 20149 20443 20174 20113 20104 20116 20591 20112 19977 20272 20588 20010 20015 20303 20011 20632 20640 20634 20534 20641 20639 20631 20637 20349 20348 20350 20342 20345 20346 20213 20208 20173 20462 20465 20499 20496 20075 20463 20500 20466 20538 20535 20013 20012 20299 20589 20014 20111 19980 20594 19978 20592 20308 20297 20106 20563 20600 20172 20176 20204 20210 20212 20175 20542 20543 20539 20633 20536 20544 20248 20054 20147 20055 20402 20307 20302 20309 20115 20502 20495 20494 20394 20491 20205 20206 20211 20203 20599 20301 20005 20007 20078 20559 20268 20207 20209 20399 20152 20396 20401 20398 20403 20404 20051 20150 20151 20048 20369 20049 20156 20056 20057 20052 20148 20464 20493 20447 20444 20437 20445 20441 20442 20438 20446 20636 27240 27241 27431 27145 27238 27530 27532 27142 21546 21410 21487 27050 21437 21516 21517 21408 21485 21455 21488 21489 21495 21426 21439 21514 21458 21497 21456 26856 26855 26854 27041 21369 26853 26846 27042 21367 26845 27047 27046 27044 27048 21370 24868 24867 24865 24869 24870 24866 24860 24864 24861 24862 24863 24859 24857 25155 25059 25158 25156 25160 25063 25061 25058 25159 25157 25062 25060 25257 25255 25252 25256 25254 25253 24670 24584 24672 24669 24674 24673 24586 24582 24583 24585 24671 24587 24963 24964 24962 24961 24966 24965 25050 25056 25147 25152 25052 25154 25057 25054 25153 25150 25055 25149 25251 25246 25249 25250 25244 25247 24574 24576 24666 24663 24578 24667 24661 24668 24579 24957 24959 24953 24960 24958 24956 24770 24769 24771 24768 24772 24773 24762 24765 24764 24760 24766 24763 24767 24658 25144 25053 24580 24664 24955 24581 24577 25248 24665 25151 26849 14147 14135 26851 14143 26852 14128 14152 14141 14138 14155 14164 14144 14127 14030 14139 14134 14153 14140 14159 14163 14150 26848 26850 27043 14156 14162 14161 14149 14151 14148 14145 14136 14033 14142 14080 14146 14160 14131 26847 14130 14137 14157 14158 14129 14132 14154 13328 14133 13323 13329 13332 13324 13322 13335 13334 13327 13336 13330 13333 13326 13331 13325 27045 21454 22490 22479 25197 25199 22496 22585 22583 22573 22586 22588 20654 20653 20558 20605 20356 20555 20453 20550 20655 19852 20669 19851 20679 19856 20682 20659 20647 20665 19861 20664 20660 20671 20672 20685 20662 20652 20687 19858 19859 19847 20668 20657 20683 19857 20681 19854 19850 20677 20675 20661 20673 20656 20676 20667 20689 20666 19848 20686 20688 19853 19849 20663 20678 20680 20684 19860 20670 20674 20658 19855 5683 5638 5680 5637 5679 5681 5646 5682 5684 5642 5645 5639 5641 5644 5640 5605 5643 5685 5678 5686 5677 5777 5740 5782 5745 5776 5780 5743 5738 5739 5781 5786 5736 5737 5744 5741 5778 5783 5735 5801 5838 5873 5969 5899 5935 5803 5802 5929 5970 5979 5975 5971 5878 5934 5880 5938 5805 5976 5974 5875 5883 5977 5879 5832 5876 5932 5930 5874 5928 5834 5882 5877 5881 5898 5804 5931 5839 5936 5900 5978 5937 5973 9592 6095 5998 6033 6260 6168 6094 6066 6127 5994 5996 6093 6223 6226 6030 6032 5997 6026 6264 6035 6192 6219 6092 5995 6122 6173 6025 6023 6267 6074 6029 6164 6068 6128 6124 6189 6222 6266 6076 6129 6073 6269 6228 6130 6188 6031 6028 6224 6165 6167 6263 6225 6069 6229 6170 6071 6034 6125 6261 6091 6268 6067 6190 6221 6027 9786 6075 6262 6132 6227 16831 16817 17006 19136 17007 16981 19164 19043 19077 19063 19108 19094 19058 19044 19057 19076 19107 13345 13346 14410 14460 14490 14496 14499 14400 14427 14377 14476 14487 14398 14448 14399 14489 14494 14504 14396 14426 14446 14473 14393 14379 14505 14385 14485 14392 14500 14453 14493 14374 14478 14390 14458 14454 14484 14384 14404 14497 14371 14370 14508 14422 14423 14437 14408 14389 14382 14444 14459 14391 14498 14443 14511 14479 14387 14420 14428 14433 14436 14480 14483 14395 14442 14474 14441 14375 14402 14495 14401 14372 14430 14381 14438 14455 14369 14501 14457 14510 14452 14472 14486 14481 14394 14376 14506 14451 14475 14435 14378 14461 14425 14386 14403 14421 14491 14407 14492 14434 14512 14373 14502 14429 14477 14424 14456 14447 14409 14405 14388 14450 14509 14439 14471 14432 14503 13344 5499 5498 5495 3754 5497 5493 5491 5494 5496 5500 5492 23697 23703 23704 23696 23700 23701 23699 26901 26914 26916 26917 26912 26915 26913 14488 14449 14507 14445 14406 14383 14397 14440 12262 14304 14282 14297 14305 14302 14289 14306 14301 14295 14293 14298 14290 14307 14299 14330 14291 14294 14332 14287 14296 14285 14308 14288 14292 14309 14303 14283 14329 14300 14286 14262 14236 14239 14260 14251 14238 14228 14252 14234 14243 14254 14226 14249 14259 14247 14256 14245 14250 14244 14241 14261 14246 14253 14233 14227 14257 14237 14242 14255 14235 14240 14258 14248 27001 26999 26988 27004 27003 27002 27000 23883 12015 12057 12056 12018 12060 12055 12059 12021 12020 12061 12053 12016 12019 12022 12017 12013 12063 12058 12012 12054 12014 11964 11957 11915 11956 11888 11925 11960 11922 11961 11924 11958 11966 11916 11959 11917 11919 11963 11920 11923 11962 11918 11965 11921 11985 12010 11769 11694 11719 11770 11768 11727 11721 11772 11767 11726 11723 11730 11771 11765 11764 11762 11766 11722 11731 11724 11725 11763 11729 11728 11472 11437 11479 11478 11474 11476 11436 11433 11402 11430 11435 11480 11470 11434 11429 11475 11471 11477 11473 11438 11439 11431 11432 11427 15848 27474 27489 27488 27490 27487 27485 27486 27197 27184 27196 27198 27199 27200 27195 27291 27280 27292 27294 27293 27296 27295 27584 27583 27586 27582 27587 27571 27585 27389 27392 27393 27390 27388 27377 27391 15751 27101 27103 27100 27102 27099 27098 27087 11628 11631 11670 11674 11598 11632 11666 11669 11675 11629 11672 11635 11667 11668 11676 11634 11671 11623 11630 11673 11625 11627 11626 11633 11532 11569 11571 11526 11573 11575 11579 11570 11578 11574 11576 11577 11537 11529 11572 11528 11501 11534 11533 11538 11536 11531 11530 11535 16236 16042 16139 15945 11860 11824 11818 11859 11864 11822 11868 11825 11827 11861 11867 11821 11826 11828 11820 11866 11819 11823 11862 11869 11863 11865 11330 11391 11385 11393 11335 11337 11341 11305 11333 11339 11338 11334 11342 11389 11384 11383 11387 11392 11386 11390 11340 11332 11336 19957 19959 19944 19956 19960 19958 19955 11791 11816 23761 23762 23791 23820 23878 23849 23738 23740 23756 23678 23732 23680 23733 23711 23727 23709 23767 23785 23769 23790 23819 23827 23825 23843 23848 23798 23847 23844 23846 23796 23814 23877 11399 11401 11398 11400 14232 14331 14229 14222 14231 14230 14224 14225 11301 11303 11304 11302 11498 11499 11497 11500 11595 11597 11594 11596 11790 11788 11789 11787 11984 11982 11886 11690 11884 11887 11885 11981 11983 11693 11691 11692 23730 23731 23728 23759 23760 23757 23817 23786 23815 23788 23818 23789 14223 14419 14368 14470 11913 8334 8336 12364 12415 12535 12466 8335 12517 12313 16891 16892 16890 16920 16863 16862 16860 16889 16884 16853 16921 16833 16835 16851 16832 16977 16950 16949 16857 16855 16948 16947 16942 16952 16976 16971 8329 8309 8307 8313 8321 8328 8322 8310 8312 8311 8319 8326 8317 20242 20238 20240 20243 20227 20239 20241 20045 20042 20047 20043 12062 11388 17029 17035 17010 17005 17000 17008 17036 17034 16923 20323 20337 20335 20339 20433 20420 20529 20531 20532 19999 20002 19984 19998 20003 20004 20000 20001 20098 20373 20389 20391 20372 20390 20102 20100 20103 20099 20387 20198 20196 20197 20199 20200 20195 20083 20179 20295 20292 20097 20290 20194 20489 20487 20488 20490 20587 20583 20585 20586 20584 20566 19997 16924 16895 16911 16940 20082 20386 17030 20177 16998 17031 16980 16982 17003 17028 17032 20080 20467 20492 16887 16922 20371 20370 16974 20564 20580 19982 16945 17033 16864 16916 16969 16953 16951 17002 20193 17001 20105 20096 16999 16970 16973 16972 16941 16943 16885 16883 16852 9965 9930 9926 9927 9966 9932 9929 9924 9923 9969 9972 9964 9933 9928 9973 9968 9925 9931 9699 9739 9773 9774 9734 9701 9771 9732 9731 9778 9777 9775 9779 9772 9776 9770 9730 9737 9698 9780 9733 24757 24950 25241 13831 9679 9602 9633 9682 9680 9635 9681 9641 9634 9604 9636 9642 9606 9674 9677 9676 9640 9637 9678 9643 9603 9605 9684 9683 9873 9874 9796 9871 9833 9834 9795 9799 9875 9798 9827 9877 9872 9868 9826 9829 9828 9831 9797 24854 24571 9481 9445 9483 9447 9438 9407 9440 9406 9587 9486 9446 9478 9488 9479 9441 9443 9487 9409 9410 9442 9480 9408 9578 9583 9586 9539 9439 9507 9546 9444 9437 9485 9484 9482 9543 9585 9538 9544 9580 9536 9584 9582 9542 9579 9540 9541 9577 9508 9537 9581 9545 9505 9895 9893 9892 9894 9702 16912 16915 19903 19902 19901 19887 19906 4131 19900 19909 19885 19251 14025 13928 9402 9921 9631 9435 9896 9534 9509 9394 9344 9397 9312 9391 9396 9347 9310 9399 9400 9398 10018 9832 9869 9675 9639 9638 9313 9343 9836 9824 9830 9876 9967 9835 10021 9992 9989 10020 10065 10026 10070 9993 10062 10069 10024 9736 9729 9738 9735 9700 9870 9338 9350 9393 9309 9346 9401 9392 10066 10025 10067 9990 10029 10023 10022 9991 9345 25047 10064 10028 10030 10027 10068 10061 10071 10063 9867 9970 9727 9971 9974 3753 3751 3752 3750 5555 3692 5552 5557 5554 5558 5556 20180 19886 20046 20044 19253 19907 16882 20031 19252 20628 20614 16946 16917 16975 17004 16888 16856 16859 16858 16979 16978 17038 17037 8324 20435 20436 20567 20468 20483 20289 19884 20395 8323 20273 20431 20274 20298 8327 8333 20484 19983 20434 16866 20432 20178 20081 20528 20517 8332 20530 20146 20144 20143 20130 8315 20145 20142 20141 20533 8325 8314 20469 20485 20294 20582 20393 20388 16886 20291 20470 16914 20581 20276 20392 20486 20296 16865 16894 16918 16919 16913 19222 19193 16861 16834 19223 19224 19194 19195 19981 20006 8320 16854 8331 20334 20293 20275 20336 20338 8316 8318 20626 20630 16944 8330 20629 20625 20627 20565 8293 9311 14122 15841 15992 16035 16031 16027 15994 15987 16028 15989 16030 15995 16026 16036 16229 16225 16183 16179 16181 16220 16224 16180 16226 16228 16184 16189 16187 16186 16223 16227 16185 15990 16034 16032 15991 15986 15993 16033 15985 16029 15843 15833 15796 15793 15835 15801 15842 15802 15797 15838 15839 15836 15795 15794 15834 15792 15798 15799 15837 15800 15840 15929 15938 15896 15894 15930 15936 15895 15890 15932 15898 15892 15891 15893 15861 15858 15860 15886 16126 16123 16089 16131 16124 16132 16092 16130 16086 16088 16222 16221 16188 16182 16230 16091 16125 16085 16084 16133 16128 16082 16083 16129 16087 16090 16127 15937 15934 15939 15935 15933 15931 15888 15897 15889 15647 15603 15642 15643 15637 15604 15597 15983 16054 15552 16080 16149 15499 15569 15566 15667 15955 15501 15956 15598 15644 15599 15601 15646 15600 15641 15645 15605 15551 15790 15558 15763 15504 15560 15666 15957 15472 16151 15958 15550 15553 15559 15506 16052 15693 15497 16152 15502 16177 15503 15505 15508 15602 15606 15596 15639 15638 15640 15742 15744 15741 15739 15701 15704 15696 15705 15698 15703 15745 15697 15702 15743 15737 15736 15695 15699 15700 15738 15746 15740 15567 15500 15509 16053 15469 15762 15471 15556 16055 15765 15554 15470 16051 15565 15664 15468 8440 1993 8391 8487 8488 8486 8439 10421 10370 8489 8491 8388 8438 15764 15761 15507 15557 15568 8437 8436 8340 8435 15859 16150 16148 15954 15594 15668 15665 15857 15988 15555 9349 9348 9341 9340 9342 2741 2749 2750 2744 2754 2747 2738 2735 2752 2746 2728 2734 2740 2748 2736 2755 2739 2743 2753 2745 2756 2737 2742 2729 2733 2731 2732 2751 2757 9395 9506 5592 5733 5544 6217 5590 5512 5596 5591 5511 5597 5598 5593 8282 5707 5508 8275 8253 5594 8259 5546 8246 5634 8286 8273 5601 5926 8252 8255 5706 8280 8256 8251 8257 8248 8272 5548 8278 8271 8249 5510 8274 5704 8279 8306 5608 8258 5705 8250 5607 5708 8254 5606 8283 5509 8277 8281 8284 8276 8285 16893 20202 5540 19904 5830 8247 5542 5840 6131 5901 5784 5600 5537 5842 6169 6126 5545 5897 9689 6070 5609 5595 5835 5549 5779 5599 5837 5833 6163 5785 5687 5972 6270 6265 6191 6123 9883 5543 5841 5742 10077 5541 9980 5547 6220 5539 6172 6171 6166 5636 5836 6072 5933 20101 19905 6120 14269 17719 17723 17722 17708 17721 17724 17720 540 487 8007 7960 7957 9282 9290 9281 9287 9289 9283 10088 9288 9280 9285 9284 9279 9286 9291 4228 541 539 4422 595 593 594 378 199 379 19177 19176 19175 19150 19174 19169 19205 19206 19198 19203 21482 21483 19179 19204 19208 21512 21511 19233 19234 19227 19232 21540 21541 19263 19235 19262 22785 22783 22786 22765 22396 22295 22300 22400 22399 22668 22669 22281 22301 22395 22297 22397 22298 22299 22296 22380 22692 22881 22398 6399 6391 6383 6410 6396 6387 6402 6400 6388 6415 6389 6384 6408 6398 6416 6386 6395 6414 6392 6411 6393 6404 6413 6405 6403 6406 6390 6401 6394 6412 22633 22825 22827 22343 22339 22253 22255 22634 22636 22256 22252 22536 22254 22635 22631 22441 22438 22442 22440 22443 22439 22257 22540 22344 22535 22538 22537 22340 22341 22539 22342 22632 22924 22927 22926 22923 22922 22925 22336 22671 22290 22821 22817 22672 22193 22822 22338 22185 22186 22195 22679 22680 22722 22291 22723 22681 22335 22819 22724 22820 22726 22292 22720 22682 22331 22823 22727 22824 22768 22293 22769 22337 22381 22391 22390 22382 22777 22778 22435 22436 22779 22434 22776 22246 22389 22282 22725 22248 22247 22251 22250 22244 22430 22432 22249 22437 22433 22283 6409 6407 6397 6460 6463 6452 6459 6461 6449 6436 6451 6453 6445 6444 6437 6439 6462 6443 6440 6457 6442 6454 6441 6458 6455 6448 6456 6450 6447 6446 21364 24619 24716 24718 24714 24617 24717 24618 24615 25004 25006 25008 25007 24814 24815 24813 24811 11584 25103 25101 25105 25104 8094 8062 8137 7965 8099 8134 8090 8091 8001 8039 7993 8000 8041 8042 7995 8033 8135 8140 8096 8092 8136 8133 8098 11681 8038 8040 8002 7992 7996 8058 8095 8138 8060 8097 8131 8093 8061 8089 8132 8087 7990 8034 7999 8037 7997 7994 8036 8043 7998 8035 7964 7963 7961 24810 24812 25005 24713 24715 24616 25003 24614 25102 25100 19083 19085 19086 19060 19078 19062 19082 19110 22328 19167 19151 19149 19231 19260 19202 19173 19172 19201 19197 19200 19199 19081 19079 19093 19091 19229 19226 19228 19230 19255 19257 19259 19258 19196 19180 19178 22333 22392 22194 22334 22196 22920 22921 22873 22866 22865 22917 22876 22919 22875 22918 22916 22914 22874 22628 22627 22623 22626 22630 22625 22629 22529 22534 22527 22531 22532 22530 22533 21510 21481 21539 21395 21345 19209 19207 19225 24522 22782 22787 22784 22764 22766 24521 24517 24520 22829 22826 22828 22733 22730 22729 22731 22728 22732 22830 19144 19115 19109 19143 19084 24518 24519 19237 19261 19256 19264 19265 22279 22378 22303 22294 22202 22182 22203 22204 22184 22199 22201 22197 22198 22200 22181 22280 22377 22183 22379 22402 22886 22863 22789 22880 22861 22670 22884 22878 22882 22767 22689 22686 22864 22685 22278 22393 22394 19113 19112 19114 22781 22883 22684 22688 22877 22862 22690 22879 22687 22780 22667 22683 14695 14696 14754 16910 16896 14753 14666 14694 14687 16850 16836 14783 14782 14725 14726 14668 16867 16881 14755 14747 14752 14723 14724 14718 14697 14757 14728 14699 14841 14840 16996 16997 16938 16939 14812 14813 14839 14842 14810 14834 18249 18250 16849 14784 16968 16967 7952 7758 7855 18231 18232 14805 14781 22814 8059 7962 22524 22911 16830 16909 16880 18159 18135 18134 18136 18150 14669 14721 14693 14716 14667 14700 14685 14722 14751 14750 14780 14811 14786 14815 14776 18329 18328 18353 18062 18039 18038 18037 17024 14688 14689 17966 17941 17942 18053 17745 17746 17770 17748 17765 17767 17764 17866 17863 17865 17864 17867 17862 14746 16937 14756 14758 14774 14727 17846 17844 17845 3787 3873 3830 3875 3793 3731 3792 3728 3781 3782 3791 3896 3785 3738 3935 3733 3972 3924 3971 3732 3834 3829 3827 3836 7661 3833 3828 3930 3934 3931 3739 3737 3783 3975 3926 3832 3869 3870 4031 4072 3734 3897 3976 3977 3933 3790 3927 3936 3736 3974 3735 3837 3874 3878 3929 4025 4070 4074 4073 4067 4033 4071 4027 4066 4032 4021 4023 4028 4065 4069 4029 4030 4024 4068 4064 4026 3899 3932 3967 3835 3825 3895 3788 3877 3831 3872 3784 3973 3730 3969 3898 3876 3789 3786 3740 3970 3868 3968 3928 3871 17649 17648 17673 17869 17671 17666 17650 14686 4183 4182 17860 4168 4164 4121 4125 4122 4165 4119 4092 4166 4169 4163 4124 4091 4129 4088 4161 4160 4162 4123 4126 4089 4128 4120 4167 4170 4090 4117 4127 3996 3994 3993 3995 3992 14835 14833 14837 14836 14804 14832 18234 18253 14729 14745 18252 18248 14779 18351 18350 14809 14867 18344 18347 16995 16966 14871 14863 14872 14869 17026 14868 14870 17025 14844 18256 17961 18057 17959 17963 17964 17960 17958 17962 17944 18056 18040 18059 18058 18060 18054 18055 18348 14720 14719 18153 18151 17957 17943 17766 17762 17668 14864 14862 14806 17651 17670 14866 17669 17667 14691 17665 14717 14777 17747 14865 14775 17768 14814 14778 17763 14807 17761 17664 14816 14749 14698 18331 18346 18330 14838 14748 18349 14690 14692 18247 14808 18233 14787 14785 14803 18345 17847 18155 18154 18152 18137 18156 18251 18157 18254 17861 18103 18098 18102 18087 18100 18101 18099 8153 8152 18297 18281 18292 18295 18296 18293 4226 4323 4225 4355 4280 4279 4376 4454 4419 4377 4214 4451 4417 4316 4415 4260 4408 8054 8057 8104 4363 4455 4413 4258 4216 4414 4461 4322 4357 4354 4314 4410 4267 4259 4217 4222 4361 4315 4456 4317 4362 4360 4418 4219 4453 4221 4416 4262 4224 4364 4318 4321 4359 4412 4220 4452 4319 4411 4420 4218 4311 4320 4458 4457 4460 8049 4265 4356 4358 4264 4266 4263 4257 4313 4261 4223 4459 18392 18390 18391 4509 4508 3667 287 286 4506 4507 3668 18389 18378 18394 18393 18198 18199 18195 18196 18184 18200 18197 22427 22241 22717 7646 7656 7574 7652 7605 7654 7611 7612 7655 7648 7650 7614 7608 7577 7576 7578 7651 7649 7606 7607 7613 7615 7575 7609 7647 7603 7936 7944 7897 7943 7905 7895 7901 7865 7904 7903 7868 7939 7937 7900 7945 7898 7938 7899 7864 7942 7902 7940 7941 7893 7867 7866 7463 7380 7412 7379 7416 7417 7415 7407 7409 7378 7382 7469 7418 7462 7468 7466 7465 7467 7460 7419 7414 7464 7471 7411 7461 7413 7410 7470 22620 7511 7506 7508 7513 7557 7552 7554 7504 7551 7516 7476 7478 7547 7555 7556 7549 7475 7515 7512 7477 7509 7553 7510 7507 7550 7671 7704 7708 7702 7710 7707 7672 7745 7709 7703 7752 7747 7711 7712 7705 7750 7706 7746 7675 7743 7749 7744 7753 7748 7700 7674 7673 11778 7805 7802 7840 7799 7806 7771 7839 7849 7804 7803 7847 7846 7842 7801 7798 7841 7807 7843 7845 7767 7768 7844 7800 7848 11972 11875 7796 7769 4328 3990 4086 4281 4231 4087 4134 3987 4037 3940 3989 4184 4278 3893 4181 3890 4085 3988 4084 22206 12069 17806 17811 17807 17795 17808 17809 17810 18005 18007 18003 18006 17991 18004 18002 17909 17908 17905 17894 17907 17906 17910 4284 4283 4282 4285 4286 4375 4479 4480 4425 4486 4504 4499 4481 4496 4497 4500 4474 4483 4475 4485 4492 4503 4472 4498 4501 4491 4378 4488 4484 4477 4502 4487 4494 4495 4476 4482 4489 4505 4493 4473 4490 3673 3671 3670 3678 3677 3680 3676 3679 3675 3681 3674 3669 3672 4478 7347 7346 7349 7358 8183 7359 8160 8159 8166 8175 8174 8171 7355 7354 8162 8169 8182 7353 8178 7360 7357 7352 8157 8158 8163 7351 7350 7348 8154 7356 8151 8164 6304 6312 5894 5699 6296 5799 5489 5990 6137 5650 6285 5488 6187 6186 6283 5943 5603 6314 6306 6302 5486 6284 6291 6317 5993 6295 6288 5477 6305 5479 5992 5896 6087 5476 6040 5481 6088 6184 6282 5798 5749 5893 5483 5702 6293 6316 6318 5895 6090 6234 5487 5846 6286 5796 5485 6308 5991 6313 6185 5478 5701 6089 5700 6287 6297 6298 6289 6300 6307 6309 6310 6292 6311 5797 5482 6299 6315 6301 6290 5484 5480 6294 5490 6303 6281 7381 7770 7946 7610 8130 7479 7751 8139 7653 7896 7808 7514 7548 10472 8509 8146 432 433 431 8485 8508 398 397 396 506 450 452 451 504 342 560 559 505 613 614 344 343 612 558 4039 4463 4172 485 486 267 268 3796 3799 3798 4382 4185 4189 4186 4188 4187 3800 3797 4383 4380 4381 4379 323 325 18294 6385 6377 6376 6378 6381 6382 6379 6380 2674 2243 2146 2715 216 380 434 488 2047 615 270 507 596 2480 326 1950 2521 2383 2291 561 2424 2194 345 453 399 2618 3698 4269 289 2131 2142 2095 2132 8346 8355 8344 8349 8347 8350 8342 8345 8341 8351 8348 8343 8352 8358 3843 3942 956 8490 8442 1925 2730 1922 1923 1926 1931 1921 1924 1933 1930 1929 1932 1927 1928 3703 3700 3702 3701 3699 8411 8414 8432 8412 8418 8425 8429 8408 8431 8427 8424 8413 8417 8422 8420 8430 8433 8410 8423 8428 8426 8434 8416 8419 8415 8421 8471 8459 8465 8405 8396 8504 8452 8453 8505 8481 8506 8507 8409 8393 8451 8404 8470 8403 8473 8469 8443 8468 8466 8475 8460 8394 8402 8392 8395 8450 8479 8407 8461 8477 8458 8464 8472 8398 8449 8444 8457 8480 8172 8161 8168 8179 8170 8181 8155 8186 8156 8185 8173 8165 8188 8177 8180 8167 8187 8184 8176 8 3 8397 8406 8400 8401 8399 8474 8478 8476 8462 8463 8484 8483 8482 8467 8445 8446 8448 8447 8454 8456 8455 1187 1188 1189 7 6 955 1026 1003 1022 1013 1046 1018 1043 1037 1034 1008 1030 1040 409 461 462 570 246 464 569 463 572 571 8498 8499 544 626 625 410 436 300 299 623 624 8493 490 1125 8502 8501 8500 13 8503 627 6573 6572 2866 8496 8497 6576 598 515 516 517 518 408 6574 328 6584 6585 302 301 407 382 8494 8495 1113 1115 1118 6577 6578 6579 6580 6581 6582 6583 356 355 354 353 272 6575  0
219.39/219.49	
219.39/219.49	c Core has size 10935

OK	10935

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-3501469-1308041984/watcher-3501469-1308041984 -o /tmp/evaluation-result-3501469-1308041984/solver-3501469-1308041984 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501469-1308041984.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: 5.08 4.21 1.92 4/189 24860
/proc/meminfo: memFree=30975732/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=15460 CPUtime=0 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 1268 0 0 0 0 0 0 0 25 0 1 0 34943183 15831040 926 33554432000 4194304 4365125 140736586058160 18446744073709551615 232124079872 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 3865 928 253 42 0 1013 0

[startup+0.09061 s]
/proc/loadavg: 5.08 4.21 1.92 4/189 24860
/proc/meminfo: memFree=30975732/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=21144 CPUtime=0.08 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 4571 0 0 0 8 0 0 0 25 0 1 0 34943183 21651456 2220 33554432000 4194304 4365125 140736586058160 18446744073709551615 4247744 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 5286 2220 262 42 0 2434 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21144

[startup+0.100605 s]
/proc/loadavg: 5.08 4.21 1.92 4/189 24860
/proc/meminfo: memFree=30975732/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=21144 CPUtime=0.09 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 4586 0 0 0 9 0 0 0 25 0 1 0 34943183 21651456 2231 33554432000 4194304 4365125 140736586058160 18446744073709551615 4249830 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 5286 2231 262 42 0 2434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21144

[startup+0.30057 s]
/proc/loadavg: 5.08 4.21 1.92 4/189 24860
/proc/meminfo: memFree=30975732/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=23728 CPUtime=0.29 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 5604 0 0 0 29 0 0 0 25 0 1 0 34943183 24297472 2957 33554432000 4194304 4365125 140736586058160 18446744073709551615 4257668 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 5932 2957 262 42 0 3080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23728

[startup+0.7005 s]
/proc/loadavg: 5.08 4.21 1.92 4/189 24860
/proc/meminfo: memFree=30975732/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=29916 CPUtime=0.69 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 11131 0 0 0 68 1 0 0 25 0 1 0 34943183 30633984 4196 33554432000 4194304 4365125 140736586058160 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 7479 4196 262 42 0 4627 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29916

[startup+1.50036 s]
/proc/loadavg: 5.08 4.21 1.92 5/190 24862
/proc/meminfo: memFree=30940412/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=49304 CPUtime=1.49 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 23121 0 0 0 147 2 0 0 25 0 1 0 34943183 50487296 7995 33554432000 4194304 4365125 140736586058160 18446744073709551615 4262559 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 12326 7995 263 42 0 9474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49304

[startup+3.10107 s]
/proc/loadavg: 4.99 4.21 1.93 5/190 24862
/proc/meminfo: memFree=30906064/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=70456 CPUtime=3.09 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 32064 0 0 0 306 3 0 0 25 0 1 0 34943183 72146944 11120 33554432000 4194304 4365125 140736586058160 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 17614 11120 263 42 0 14762 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70456

[startup+6.30051 s]
/proc/loadavg: 4.99 4.21 1.93 5/190 24862
/proc/meminfo: memFree=30854972/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=77624 CPUtime=6.29 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 33228 0 0 0 626 3 0 0 25 0 1 0 34943183 79486976 12284 33554432000 4194304 4365125 140736586058160 18446744073709551615 4262570 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 19406 12284 263 42 0 16554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77624

[startup+12.7004 s]
/proc/loadavg: 4.84 4.20 1.95 5/190 24862
/proc/meminfo: memFree=30599796/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=77624 CPUtime=12.69 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 35124 0 0 0 1266 3 0 0 25 0 1 0 34943183 79486976 13296 33554432000 4194304 4365125 140736586058160 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 19406 13296 263 42 0 16554 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77624

[startup+25.5011 s]
/proc/loadavg: 4.71 4.19 1.98 5/190 24862
/proc/meminfo: memFree=30570236/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=92524 CPUtime=25.49 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 46657 0 0 0 2544 5 0 0 25 0 1 0 34943183 94744576 15907 33554432000 4194304 4365125 140736586058160 18446744073709551615 4242918 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 23131 15907 263 42 0 20279 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92524

[startup+51.1006 s]
/proc/loadavg: 4.47 4.18 2.03 5/190 24899
/proc/meminfo: memFree=30675076/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=94956 CPUtime=51.09 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 48012 0 0 0 5104 5 0 0 25 0 1 0 34943183 97234944 16810 33554432000 4194304 4365125 140736586058160 18446744073709551615 4310928 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 23739 16810 263 42 0 20887 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 94956

[startup+102.307 s]
/proc/loadavg: 4.18 4.14 2.14 5/190 24947
/proc/meminfo: memFree=30467832/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=171900 CPUtime=102.29 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 99584 0 0 0 10219 10 0 0 25 0 1 0 34943183 176025600 30982 33554432000 4194304 4365125 140736586058160 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 42975 30982 263 42 0 40123 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 171900

[startup+162.301 s]
/proc/loadavg: 4.07 4.12 2.25 5/190 24949
/proc/meminfo: memFree=30439756/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=162.29 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100460 0 0 0 16218 11 0 0 25 0 1 0 34943183 178704384 31858 33554432000 4194304 4365125 140736586058160 18446744073709551615 4262046 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31858 263 42 0 40777 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 174516

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

[startup+179.101 s]
/proc/loadavg: 4.05 4.11 2.28 5/190 24949
/proc/meminfo: memFree=30439748/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=179.09 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100476 0 0 0 17898 11 0 0 25 0 1 0 34943183 178704384 31874 33554432000 4194304 4365125 140736586058160 18446744073709551615 4266155 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31874 263 42 0 40777 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 174516

[startup+204.7 s]
/proc/loadavg: 4.03 4.10 2.33 5/190 24949
/proc/meminfo: memFree=30433292/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=204.68 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100513 0 0 0 20457 11 0 0 25 0 1 0 34943183 178704384 31911 33554432000 4194304 4365125 140736586058160 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31911 263 42 0 40777 0
Current children cumulated CPU time (s) 204.68
Current children cumulated vsize (KiB) 174516

[startup+211.1 s]
/proc/loadavg: 4.03 4.10 2.33 5/190 24949
/proc/meminfo: memFree=30433416/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=211.09 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100518 0 0 0 21098 11 0 0 25 0 1 0 34943183 178704384 31916 33554432000 4194304 4365125 140736586058160 18446744073709551615 4261171 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31916 263 42 0 40777 0
Current children cumulated CPU time (s) 211.09
Current children cumulated vsize (KiB) 174516

[startup+214.301 s]
/proc/loadavg: 4.03 4.10 2.34 5/190 24950
/proc/meminfo: memFree=30433416/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=214.29 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100519 0 0 0 21417 12 0 0 25 0 1 0 34943183 178704384 31917 33554432000 4194304 4365125 140736586058160 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31917 263 42 0 40777 0
Current children cumulated CPU time (s) 214.29
Current children cumulated vsize (KiB) 174516

[startup+217.5 s]
/proc/loadavg: 4.02 4.09 2.35 5/190 24950
/proc/meminfo: memFree=30433292/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=217.49 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100550 0 0 0 21737 12 0 0 25 0 1 0 34943183 178704384 31948 33554432000 4194304 4365125 140736586058160 18446744073709551615 4262049 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31948 263 42 0 40777 0
Current children cumulated CPU time (s) 217.49
Current children cumulated vsize (KiB) 174516

[startup+218.301 s]
/proc/loadavg: 4.02 4.09 2.35 5/190 24950
/proc/meminfo: memFree=30433168/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=218.29 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100550 0 0 0 21817 12 0 0 25 0 1 0 34943183 178704384 31948 33554432000 4194304 4365125 140736586058160 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31948 263 42 0 40777 0
Current children cumulated CPU time (s) 218.29
Current children cumulated vsize (KiB) 174516

[startup+219.101 s]
/proc/loadavg: 4.02 4.09 2.35 5/190 24950
/proc/meminfo: memFree=30433044/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=174516 CPUtime=219.09 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202496 100550 0 0 0 21897 12 0 0 25 0 1 0 34943183 178704384 31948 33554432000 4194304 4365125 140736586058160 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/24860/statm: 43629 31948 263 42 0 40777 0
Current children cumulated CPU time (s) 219.09
Current children cumulated vsize (KiB) 174516

[startup+219.501 s]
/proc/loadavg: 4.02 4.09 2.35 5/190 24950
/proc/meminfo: memFree=30433044/32950928 swapFree=67111364/67111528
[pid=24860] ppid=24858 vsize=0 CPUtime=219.48 cores=5,7
/proc/24860/stat : 24860 (MoUsSaka) R 24858 24860 24676 0 -1 4202500 100555 0 0 0 21936 12 0 0 25 0 1 0 34943183 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/24860/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 219.48
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 219.503
CPU time (s): 219.496
CPU user time (s): 219.369
CPU system time (s): 0.12698
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 238916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.369
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 345

runsolver used 0.398939 second user time and 0.802877 second system time

The end

Begin job on node124 at 2011-06-14 10:59:44
IDJOB=3501469
IDBENCH=90014
IDSOLVER=2000
FILE ID=node124/3501469-1308041984
RUNJOBID= node124-1308041932-24697
PBS_JOBID= 13564702
Free space on /tmp= 73636 MiB

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

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

MD5SUM BENCH= 900b87cf8b522275f51c1a19e44c65f3
RANDOM SEED=903384297

node124.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.855
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.71
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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.855
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.855
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.855
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:      30976152 kB
Buffers:        221844 kB
Cached:         979568 kB
SwapCached:          0 kB
Active:         980560 kB
Inactive:       778596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30976152 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:          120200 kB
Writeback:          56 kB
AnonPages:      557276 kB
Mapped:          16836 kB
Slab:           149660 kB
PageTables:       5280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   875936 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= 73740 MiB
End job on node124 at 2011-06-14 11:03:23