Trace number 3493279

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MUSer 2011-02-10UNSAT 138.692 138.697

General information on the benchmark

Namemus/marques-silva/
equivalence-checking/c5315-s.cnf
MD5SUMddae618cf8e2717a05f55280bfa6b287
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark57.4093
Satisfiable
(Un)Satisfiability was proved
Number of variables5408
Number of clauses15110
Sum of the clauses size34868
Maximum clause length124
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 211913
Number of clauses of size 32143
Number of clauses of size 4830
Number of clauses of size 5180
Number of clauses of size over 543

Solver Data

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

Verifier Data

OK	14129

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493279-1307798840/watcher-3493279-1307798840 -o /tmp/evaluation-result-3493279-1307798840/solver-3493279-1307798840 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493279-1307798840.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.11 0.56 0.50 4/189 10763
/proc/meminfo: memFree=30987356/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=4756 CPUtime=0 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 684 0 0 0 0 0 0 0 22 0 1 0 872300138 4870144 639 33554432000 4194304 5696331 140734431853392 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 1189 640 114 367 0 819 0

[startup+0.0484491 s]
/proc/loadavg: 2.11 0.56 0.50 4/189 10763
/proc/meminfo: memFree=30987356/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=7356 CPUtime=0.04 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 1589 0 0 0 4 0 0 0 22 0 1 0 872300138 7532544 1542 33554432000 4194304 5696331 140734431853392 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 1839 1542 143 367 0 1469 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7356

[startup+0.100426 s]
/proc/loadavg: 2.11 0.56 0.50 4/189 10763
/proc/meminfo: memFree=30987356/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=7488 CPUtime=0.09 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 1621 0 0 0 9 0 0 0 22 0 1 0 872300138 7667712 1574 33554432000 4194304 5696331 140734431853392 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 1872 1574 143 367 0 1502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7488

[startup+0.300392 s]
/proc/loadavg: 2.11 0.56 0.50 4/189 10763
/proc/meminfo: memFree=30987356/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=9128 CPUtime=0.29 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 2017 0 0 0 29 0 0 0 23 0 1 0 872300138 9347072 1970 33554432000 4194304 5696331 140734431853392 18446744073709551615 4399968 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 2282 1970 143 367 0 1912 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9128

[startup+0.700333 s]
/proc/loadavg: 2.11 0.56 0.50 4/189 10763
/proc/meminfo: memFree=30987356/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=12168 CPUtime=0.69 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 2781 0 0 0 69 0 0 0 25 0 1 0 872300138 12460032 2734 33554432000 4194304 5696331 140734431853392 18446744073709551615 4410770 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 3042 2734 143 367 0 2672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12168

[startup+1.50018 s]
/proc/loadavg: 2.11 0.56 0.50 5/190 10764
/proc/meminfo: memFree=30975716/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=16476 CPUtime=1.49 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 3836 0 0 0 149 0 0 0 25 0 1 0 872300138 16871424 3789 33554432000 4194304 5696331 140734431853392 18446744073709551615 4397020 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 4119 3789 143 367 0 3749 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16476

[startup+3.1009 s]
/proc/loadavg: 2.11 0.56 0.50 6/190 10764
/proc/meminfo: memFree=30968896/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=7268 CPUtime=3.09 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 6789 0 0 0 308 1 0 0 25 0 1 0 872300138 7442432 1539 33554432000 4194304 5696331 140734431853392 18446744073709551615 4394700 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 1817 1539 144 367 0 1447 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7268

[startup+6.30034 s]
/proc/loadavg: 2.26 0.62 0.52 6/190 10764
/proc/meminfo: memFree=30933436/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=13004 CPUtime=6.29 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 11965 0 0 0 627 2 0 0 25 0 1 0 872300138 13316096 2915 33554432000 4194304 5696331 140734431853392 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 3251 2915 144 367 0 2881 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13004

[startup+12.7002 s]
/proc/loadavg: 2.40 0.67 0.54 5/190 10764
/proc/meminfo: memFree=30837592/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=69852 CPUtime=12.69 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 30137 0 0 0 1264 5 0 0 25 0 1 0 872300138 71528448 17058 33554432000 4194304 5696331 140734431853392 18446744073709551615 4416765 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 17463 17058 149 367 0 17093 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69852

[startup+25.501 s]
/proc/loadavg: 2.75 0.83 0.60 6/190 10764
/proc/meminfo: memFree=30603708/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=191068 CPUtime=25.49 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 60472 0 0 0 2540 9 0 0 25 0 1 0 872300138 195653632 47366 33554432000 4194304 5696331 140734431853392 18446744073709551615 4399822 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 47767 47366 149 367 0 47397 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 191068

[startup+51.1005 s]
/proc/loadavg: 3.18 1.09 0.69 6/190 10765
/proc/meminfo: memFree=30505080/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=240116 CPUtime=51.09 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 72739 0 0 0 5097 12 0 0 25 0 1 0 872300138 245878784 59627 33554432000 4194304 5696331 140734431853392 18446744073709551615 4416862 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 60029 59627 150 367 0 59659 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 240116

[startup+102.306 s]
/proc/loadavg: 3.64 1.53 0.86 5/184 10790
/proc/meminfo: memFree=30687028/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=102.29 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84705 0 0 0 10214 15 0 0 25 0 1 0 872300138 294649856 71589 33554432000 4194304 5696331 140734431853392 18446744073709551615 4400211 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71589 150 367 0 71566 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 287744

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

[startup+115.1 s]
/proc/loadavg: 3.57 1.62 0.90 4/184 10791
/proc/meminfo: memFree=30687168/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=115.08 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84714 0 0 0 11493 15 0 0 25 0 1 0 872300138 294649856 71598 33554432000 4194304 5696331 140734431853392 18446744073709551615 4300628 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71598 150 367 0 71566 0
Current children cumulated CPU time (s) 115.08
Current children cumulated vsize (KiB) 287744

[startup+127.901 s]
/proc/loadavg: 3.44 1.69 0.93 5/184 10791
/proc/meminfo: memFree=30687388/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=127.89 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84718 0 0 0 12773 16 0 0 25 0 1 0 872300138 294649856 71602 33554432000 4194304 5696331 140734431853392 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71602 150 367 0 71566 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 287744

[startup+134.301 s]
/proc/loadavg: 3.41 1.71 0.94 4/178 10815
/proc/meminfo: memFree=31107164/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=134.29 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84718 0 0 0 13413 16 0 0 25 0 1 0 872300138 294649856 71602 33554432000 4194304 5696331 140734431853392 18446744073709551615 4400304 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71602 150 367 0 71566 0
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (KiB) 287744

[startup+135.901 s]
/proc/loadavg: 3.41 1.71 0.94 4/178 10815
/proc/meminfo: memFree=31107164/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=135.89 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84718 0 0 0 13573 16 0 0 25 0 1 0 872300138 294649856 71602 33554432000 4194304 5696331 140734431853392 18446744073709551615 4416821 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71602 150 367 0 71566 0
Current children cumulated CPU time (s) 135.89
Current children cumulated vsize (KiB) 287744

[startup+137.506 s]
/proc/loadavg: 3.30 1.71 0.95 3/178 10815
/proc/meminfo: memFree=31107164/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=137.49 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84718 0 0 0 13733 16 0 0 25 0 1 0 872300138 294649856 71602 33554432000 4194304 5696331 140734431853392 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71602 150 367 0 71566 0
Current children cumulated CPU time (s) 137.49
Current children cumulated vsize (KiB) 287744

[startup+138.3 s]
/proc/loadavg: 3.30 1.71 0.95 3/178 10815
/proc/meminfo: memFree=31107164/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=138.28 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84720 0 0 0 13812 16 0 0 25 0 1 0 872300138 294649856 71604 33554432000 4194304 5696331 140734431853392 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71604 150 367 0 71566 0
Current children cumulated CPU time (s) 138.28
Current children cumulated vsize (KiB) 287744

[startup+138.501 s]
/proc/loadavg: 3.30 1.71 0.95 4/178 10815
/proc/meminfo: memFree=31107032/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=138.49 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84721 0 0 0 13833 16 0 0 25 0 1 0 872300138 294649856 71605 33554432000 4194304 5696331 140734431853392 18446744073709551615 5069383 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71605 150 367 0 71566 0
Current children cumulated CPU time (s) 138.49
Current children cumulated vsize (KiB) 287744

[startup+138.606 s]
/proc/loadavg: 3.30 1.71 0.95 4/178 10815
/proc/meminfo: memFree=31107032/32951124 swapFree=67088052/67111528
[pid=10763] ppid=10761 vsize=287744 CPUtime=138.59 cores=5,7
/proc/10763/stat : 10763 (muser) R 10761 10763 10609 0 -1 4202496 84721 0 0 0 13843 16 0 0 25 0 1 0 872300138 294649856 71605 33554432000 4194304 5696331 140734431853392 18446744073709551615 4398436 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/10763/statm: 71936 71605 150 367 0 71566 0
Current children cumulated CPU time (s) 138.59
Current children cumulated vsize (KiB) 287744

Child status: 20
Real time (s): 138.697
CPU time (s): 138.692
CPU user time (s): 138.512
CPU system time (s): 0.179972
CPU usage (%): 99.9961
Max. virtual memory (cumulated for all children) (KiB): 287744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.512
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84722
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= 3
involuntary context switches= 1551

runsolver used 0.203968 second user time and 0.553915 second system time

The end

Launcher Data

Begin job on node144 at 2011-06-11 15:27:20
IDJOB=3493279
IDBENCH=89308
IDSOLVER=1969
FILE ID=node144/3493279-1307798840
RUNJOBID= node144-1307798794-10630
PBS_JOBID= 13551004
Free space on /tmp= 74024 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/marques-silva/equivalence-checking/c5315-s.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493279-1307798840/watcher-3493279-1307798840 -o /tmp/evaluation-result-3493279-1307798840/solver-3493279-1307798840 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493279-1307798840.cnf

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

MD5SUM BENCH= ddae618cf8e2717a05f55280bfa6b287
RANDOM SEED=1858189495

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30987900 kB
Buffers:        187000 kB
Cached:         763944 kB
SwapCached:       1652 kB
Active:        1209932 kB
Inactive:       580064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30987900 kB
SwapTotal:    67111528 kB
SwapFree:     67088052 kB
Dirty:            4192 kB
Writeback:           0 kB
AnonPages:      836580 kB
Mapped:          16024 kB
Slab:           107632 kB
PageTables:       6592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1042280 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= 74024 MiB
End job on node144 at 2011-06-11 15:29:39