Trace number 3493283

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 281.197 281.194

General information on the benchmark

Namemus/marques-silva/
equivalence-checking/c7552.cnf
MD5SUM90f51dc4b61ceb76a01f9d3a6fa2459f
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark188.954
Satisfiable
(Un)Satisfiability was proved
Number of variables7651
Number of clauses20423
Sum of the clauses size46377
Maximum clause length108
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 216046
Number of clauses of size 33744
Number of clauses of size 4323
Number of clauses of size 5196
Number of clauses of size over 5113

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-3493283-1307798840.cnf ***
0.00/0.00	c 
0.00/0.01	c Parsing CPU Time: 0.012998
0.00/0.01	c Running MUSer ...
15.20/15.27	c 0.00% completed ... 
49.89/49.96	c 5.05% completed ... 
69.29/69.31	c 10.06% completed ... 
107.49/107.55	c 32.64% completed ... 
121.59/121.63	c 37.65% completed ... 
138.59/138.69	c 42.65% completed ... 
139.29/139.30	c 50.13% completed ... 
189.60/189.62	c 67.69% completed ... 
220.59/220.64	c 76.81% completed ... 
262.70/262.75	c 92.20% completed ... 
281.10/281.15	c 100.00% completed ... 
281.10/281.15	c MUS size: 19459
281.10/281.15	s UNSATISFIABLE
281.10/281.15	v 18397 10614 13435 4621 12023 7547 6017 2062 5764 16355 18269 3215 10486 15592 13307 11895 19293 17247 7419 7291 349 1934 5384 6527 8567 16227 18141 12681 13941 10358 13179 11767 19165 14831 221 1806 6349 12553 18013 17885 10230 13051 4368 11639 9462 9335 16482 14450 1678 5258 6222 12425 8057 10102 17375 4240 12923 9590 11511 9207 18909 7037 5638 14322 16100 12297 17630 9974 7929 7802 9718 3124 15084 6145 4112 11383 18781 9079 6909 20190 15973 4875 17758 2959 4495 9846 15337 686 3984 5891 11255 8951 1486 20062 4748 17503 2831 16993 558 7164 3856 11127 14704 14578 6782 8823 8695 8440 1358 15719 7675 2703 1588 14958 430 16866 3728 10999 118 8312 1230 2575 17120 16738 3600 16610 5512 10871 6655 14195 14068 5131 13692 12280 1102 19678 15211 2447 3472 18526 10743 13819 5003 13564 15846 8185 12152 974 19550 15465 2319 2191 18654 18398 3344 10615 13436 12024 4622 19422 7548 5765 2063 16356 3216 18270 10487 15593 13308 11896 17248 6018 7292 350 1935 5385 6528 16228 8568 12682 18142 10359 13180 11768 19166 14832 222 1807 6350 13942 18014 12554 17886 10231 4369 13052 11640 9463 9336 14451 16483 1679 5259 6223 12426 10103 8058 17376 9591 12924 4241 11512 9208 18910 7038 5639 14323 16101 12298 7930 17631 9975 7803 9719 3125 4113 15085 6146 11384 9080 18782 6910 15974 4876 17759 2960 4496 9847 15338 687 3985 11256 5892 8952 20063 1487 4749 17504 16994 559 3857 7165 14705 11128 14579 6783 8824 8696 8441 1359 15720 7676 2704 1589 14959 16867 431 11000 119 8313 1231 19807 2576 17121 16739 16611 3601 5513 10872 6656 14196 14069 5132 13693 12281 1103 15212 2448 3473 18527 10744 13820 5004 8186 13565 12153 15466 975 2320 2192 18655 3345 18399 10616 15847 13437 12025 4623 19423 7549 5766 2064 16357 3217 18271 10488 13309 15594 11897 19295 17249 7421 7293 6019 351 1936 5386 8569 16229 6529 12683 18143 10360 13181 11769 14833 223 1808 6351 12555 13943 18015 17887 10232 13053 4370 11641 9464 16484 14452 1680 5260 6224 12427 10104 8059 17377 4242 12925 9592 11513 9337 18911 9209 7039 5640 14324 12299 7931 17632 9976 7804 9720 3126 4114 6147 15086 11385 9081 18783 6911 20192 16102 15975 4877 17760 2961 9848 4497 15339 688 5893 11257 8953 4750 17505 2833 16995 7166 3858 14706 11129 14580 8825 6784 8697 8442 1360 15721 1590 2705 432 16868 3730 11001 120 8314 19808 1232 7677 2577 17122 16740 3602 16612 10873 5514 6657 14197 14070 5133 13694 12282 19680 1104 15213 2449 14960 18528 3474 10745 13821 5005 8187 13566 12154 976 19552 15467 2321 2193 18656 3346 18400 10617 15848 13438 4624 12026 7550 5767 2065 16358 18272 3218 10489 13310 11898 19296 17250 7422 6020 7294 352 1937 5387 8570 16230 6530 18144 12684 10361 15595 13182 11770 224 1809 6352 13944 18016 12556 17888 10233 4371 13054 11642 9465 19040 14834 16485 14453 1681 5261 6225 12428 8060 10105 17378 4243 9593 12926 11514 9338 9210 18912 7040 14325 12300 9977 17633 7932 7805 9721 3127 15087 6148 4115 11386 18784 9082 5641 6912 20193 16103 15976 4878 17761 2962 4498 9849 15340 689 3987 5894 11258 8954 1489 4751 17506 2834 16996 561 7167 3859 11130 14707 14581 8826 6785 8698 8443 1361 19937 15722 2706 1591 16869 433 11002 121 8315 1233 7678 17123 16741 16613 3603 10874 6658 14198 5134 13695 12283 1105 15214 2450 14961 3475 5515 18529 10746 13822 14071 5006 13567 8188 12155 977 19553 15468 2322 2194 18657 3347 18401 10618 15849 13439 4625 12027 19425 7551 2066 5768 16359 3219 18273 10490 13311 11899 17251 6021 7295 353 1938 5388 8571 16231 12685 18145 10362 15596 13183 11771 225 1810 6353 6531 12557 13945 18017 17889 10234 4372 13055 11643 9466 19041 14835 16486 14454 1682 5262 6226 12429 10106 8061 9594 12927 4244 11515 18913 9211 7041 14326 12301 9978 17634 7933 7806 9722 3128 4116 15088 6149 11387 9083 18785 5642 6913 16104 15977 4879 17762 2963 4499 9850 17379 15341 690 3988 5895 11259 8955 1490 2835 17507 16997 562 3860 7168 14708 11131 8827 8699 8444 19938 1362 4752 15723 2707 1592 434 16870 3732 11003 122 6786 8316 1234 19810 7679 2579 17124 16742 14582 16614 3604 10875 6659 14199 5135 13696 12284 19682 1106 15215 2451 14962 3476 5516 18530 10747 13823 14072 5007 8189 13568 12156 15469 978 2323 2195 18658 3348 18402 10619 15850 13440 4626 12028 19426 7552 5769 2067 16360 3220 18274 10491 13312 11900 17252 7424 7296 6022 354 1939 5389 16232 8572 12686 18146 10363 15597 13184 11772 19170 226 1811 6532 6354 18018 13946 12558 17890 10235 13056 4373 11644 9467 14836 16487 14455 1683 5263 6227 12430 8062 10107 4245 9595 12928 11516 9340 9212 18914 7042 14327 12302 17635 9979 7934 7807 9723 3129 4117 6150 11388 9084 18786 5643 6914 16105 15978 4880 17763 2964 4500 9851 17380 15342 691 15089 11260 5896 8956 1491 20067 17508 2836 16998 563 7169 3861 14709 11132 8828 8700 8445 1363 4753 1593 2708 435 16871 11004 6787 123 8317 15724 1235 7680 17125 16743 3605 14583 16615 10876 6660 5136 13697 12285 19683 1107 2452 14963 18531 5517 3477 10748 13824 14073 5008 8190 13569 12157 979 19555 15470 2324 2196 18659 18403 3349 10620 14200 15851 13441 12029 4627 15216 7553 2068 5770 16361 18275 3221 10492 13313 11901 17253 7425 7297 355 1940 5390 16233 18147 12687 10364 15598 13185 11773 19171 6023 227 1812 6533 8573 18019 12559 17891 10236 13057 4374 11645 9468 19043 14837 16488 14456 1684 6355 6228 13947 12431 8063 10108 4246 9596 12929 11517 18915 9213 7043 14328 5264 12303 7935 9980 17636 7808 9724 3130 6151 4118 11389 9341 18787 9085 5644 6915 4881 17764 2965 9852 4501 17381 15343 15090 692 3990 11261 8957 16106 20068 1492 17509 2837 564 16999 3862 5897 7170 11133 14710 8829 8701 8446 15979 19940 1364 4754 2709 1594 16872 436 3734 11005 124 6788 8318 19812 15725 1236 7681 2581 17126 16744 16616 14584 3606 10877 6661 5137 13698 12286 1108 2453 14964 3478 18532 5518 10749 13825 14074 5009 13570 8191 12158 980 19556 15471 2325 2197 18660 3350 18404 10621 14201 15852 13442 12030 15217 7554 5771 2069 16362 3222 18276 10493 4628 13314 11902 19300 17254 7426 7298 356 1941 5391 16234 12688 18148 10365 13186 11774 6024 228 1813 8574 6534 12560 18020 17892 10237 15599 4375 13058 11646 9469 14838 16489 14457 1685 6356 6229 13948 12432 10109 8064 12930 9597 4247 11518 18916 9214 7044 14329 5265 12304 9981 17637 7936 7809 9725 3131 4119 6152 9342 11390 9086 18788 6916 5645 20197 4882 17765 2966 9853 17382 693 15091 11262 8958 16107 1493 4502 17510 15344 17000 565 5898 7171 3863 14711 11134 8830 8702 8447 15980 1365 4755 2710 1595 16873 437 3735 11006 125 6789 8319 1237 19813 15726 7682 17127 16745 3607 14585 16617 10878 6662 5138 13699 12287 1109 19685 2454 14965 3479 18533 10750 14075 5010 8192 13571 12159 15472 981 2326 2198 18661 5519 18405 3351 14202 10622 15853 13443 12031 7555 15218 2070 5772 16363 3223 18277 6408 10494 4629 13315 11903 19301 17255 7427 7299 357 1942 5392 16235 12689 18149 10366 13187 11775 19173 6025 229 1814 8575 18021 12561 10238 17893 15600 13059 4376 11647 9470 19045 14839 16490 14458 1686 6357 6535 6230 13949 12433 8065 10110 4248 9598 12931 11519 9215 18917 7045 14330 5266 12305 9982 17638 7937 7810 9726 3132 4120 12803 11391 9087 18789 6917 20198 4883 17766 2967 9854 17383 15092 694 3992 11263 5646 8959 16108 1494 20070 4503 17511 2839 15345 566 17001 5899 7172 3864 14712 11135 8831 8703 8448 15981 1366 19942 4756 1596 2711 438 16874 3736 11007 126 8320 15727 1238 2583 17128 16746 14586 16618 3608 6790 10879 6663 5139 13700 12288 19686 1110 2455 14966 18534 3480 10751 14076 5011 8193 13572 12160 982 15473 7683 2327 2199 18662 5520 18406 3352 10623 14203 15854 13444 12032 19430 15219 7556 5773 2071 16364 18278 3224 10495 6409 4630 13316 11904 17256 7428 7300 358 1943 5393 16236 18150 12690 10367 13188 11776 6026 230 1815 8576 12562 18022 17894 10239 15601 4377 13060 11648 9471 19046 14840 16491 14459 1687 6358 6536 6231 13950 12434 8066 10111 4249 9599 12932 11520 9216 18918 7046 14331 5267 12306 17639 9983 7938 7811 9727 3133 12804 4121 11392 9344 18790 9088 6918 4884 17767 2968 9855 695 15093 3993 11264 5647 8960 16109 1495 4504 2840 17512 17384 15346 17002 567 3865 5900 7173 11136 14713 8832 8704 8449 15982 19943 1367 2712 1597 16875 439 3737 11008 127 4757 19815 1239 17129 16747 14587 16619 3609 10880 6791 6664 5140 13701 12289 15728 1111 2456 3481 18535 10752 5012 13573 8194 12161 983 15474 7684 2328 14967 2200 18663 5521 3353 18407 10624 14204 15855 13445 12033 19431 15220 7557 5774 2072 16365 3225 18279 14077 10496 4631 13317 11905 19303 17257 7429 7301 359 1944 5394 16237 6410 12691 18151 10368 13189 11777 19175 6027 231 1816 18023 12563 17895 10240 15602 4378 13061 11649 9472 16492 14460 1688 6359 8577 6537 6232 13951 12435 10112 8067 9600 12933 4250 11521 14841 18919 9217 7047 14332 5268 12307 17640 9984 7939 7812 9728 3134 4122 12805 11393 9089 18791 6919 20200 4885 17768 2969 9856 15094 696 9345 11265 8961 5648 16110 20072 1496 4505 17513 2841 17385 15347 568 17003 7174 5901 3866 14714 11137 8833 8705 8450 15983 1368 2713 1598 440 16876 3738 11009 128 8322 1240 19816 4758 2585 17130 16748 3610 16620 14588 6792 10881 6665 5141 13702 12290 15729 1112 2457 3482 18536 10753 5013 8195 13574 12162 19560 15475 984 7685 14968 2329 2201 18664 5522 3354 18408 14205 10625 15856 13446 12034 7558 15221 5775 2073 16366 3226 18280 10497 14078 13318 4632 11906 17258 7430 7302 360 1945 5395 16238 6411 12692 18152 10369 13190 11778 19176 6028 232 1817 12564 18024 17896 10241 13062 4379 11650 9473 19048 16493 14461 1689 8578 6538 6360 6233 13952 12436 10113 8068 15603 4251 12934 9601 11522 9218 14842 18920 7048 14333 5269 12308 7940 9985 17641 9729 3135 4123 12806 11394 9090 18792 6920 1 4886 17769 2970 9857 697 15095 9346 3995 11266 5649 8962 16111 1497 20073 7813 17514 4506 2842 17386 15348 17004 569 3867 7175 14715 11138 8834 8706 8451 15984 1369 19945 1599 2714 5902 16877 441 3739 11010 129 8323 4759 1241 17131 16749 16621 14589 3611 10882 6793 6666 5142 13703 13826 15730 1113 2458 18537 3483 10754 5014 8196 13575 12163 985 19561 15476 7686 14969 2330 2202 18665 5523 18409 3355 10626 14206 15857 13447 12035 19433 15222 7559 2074 5776 16367 18281 3227 14079 10498 13319 11907 19305 17259 7431 7303 361 1946 5396 16239 6412 18153 12693 10370 4633 13191 11779 233 1818 18025 12565 17897 10242 13063 4380 11651 9474 19049 16494 14462 1690 6539 6234 12437 10114 8069 15604 4252 9602 12935 11523 6029 9219 14843 18921 7049 14334 12309 9986 17642 7941 9730 3136 12807 4124 11395 18793 9091 6921 2 6361 20202 13953 4887 17770 2971 9858 15096 698 3996 9347 11267 5650 8963 5270 16112 1498 2843 17515 7814 17387 570 17005 7176 3868 11139 14716 8835 8707 8452 19946 1370 4507 2715 15349 1600 442 5903 16878 3740 11011 130 8324 4760 1242 2587 17132 16750 3612 16622 10883 5143 13704 15985 15731 1114 19690 2459 14590 3484 18538 6794 10755 5015 8197 13576 12164 15477 986 7687 14970 2331 2203 18666 5524 6667 18410 3356 10627 14207 13827 15858 13448 12036 7560 5777 2075 16368 3228 18282 14080 10499 13320 11908 19306 17260 15223 7432 7304 362 1947 5397 16240 6413 12694 18154 10371 4634 13192 11780 19178 234 1819 12566 18026 17898 10243 4381 13064 11652 9475 16495 14463 1691 8580 6540 6235 12438 8070 10115 15605 12936 9603 4253 11524 6030 18922 14844 9220 7050 14335 12310 9987 17643 7942 9731 3137 4125 12808 11396 9092 18794 6922 3 6362 20203 13954 4888 17771 2972 9859 699 15097 9348 3997 11268 8964 5651 5271 16113 20075 1499 17516 7815 2844 571 7177 3869 14717 11140 8836 8708 8453 1371 4508 17388 15350 2716 1601 17006 5904 16879 443 3741 11012 131 8325 1243 4761 17133 16751 16623 3613 10884 5144 15986 13705 15732 1115 19691 2460 14591 3485 18539 6795 10756 5016 13577 8198 12165 987 19563 15478 7688 2332 14971 2204 5525 3357 6668 18411 10628 14208 13828 15859 13449 12037 19435 7561 2076 18667 16369 3229 18283 10500 14081 13321 11909 17261 15224 7433 7305 363 1948 5398 16241 12695 18155 6414 10372 4635 13193 11781 19179 5778 235 1820 18027 12567 10244 17899 13065 4382 11653 9476 16496 14464 1692 6541 6236 12439 8071 10116 15606 4254 12937 9604 11525 6031 9221 18923 7051 14336 8581 12311 7943 9988 17644 9732 3138 4126 12809 11397 14845 18795 9093 6923 4 6363 13955 4889 17772 2973 9860 15098 700 3998 11269 8965 5652 5272 16114 1500 20076 17517 7816 2845 9349 572 3870 7178 14718 11141 8837 8709 8454 1372 4509 1602 17389 15351 2717 17007 444 5905 16880 3742 11013 132 8326 4762 19820 1244 2589 17134 16752 16624 3614 10885 5145 15987 13706 1116 2461 14592 18540 6796 3486 10757 5017 8199 13578 12166 15733 15479 988 7689 2333 2205 6669 18412 3358 10629 14209 15860 13829 13450 12038 19436 7562 14972 2077 18668 5526 16370 18284 3230 14082 10501 13322 11910 19308 17262 15225 7434 7306 364 1949 5399 16242 18156 12696 10373 4636 13194 11782 5779 236 1821 6415 12568 18028 17900 10245 4383 13066 11654 9477 16497 14465 1693 6542 6237 12440 8072 10117 15607 4255 9605 12938 11526 6032 18924 9222 7052 14337 8582 12312 7944 9989 17645 9733 3139 12810 4127 11398 14846 18796 9094 6924 5 6364 20205 13956 4890 2974 9861 701 15099 3999 11270 8966 5273 16115 1501 2846 17518 7817 9350 573 7179 3871 11142 14719 5653 8838 8710 8455 1373 17773 4510 2718 17390 15352 1603 17008 5906 16881 445 3743 11014 133 8327 1245 19821 4763 17135 16753 3615 16625 10886 5146 13707 15988 1117 19693 2462 14593 3487 18541 6797 10758 5018 13579 8200 15734 12167 19565 15480 989 7690 2334 2206 3359 6670 18413 10630 14210 13830 15861 13451 12039 7563 14973 2078 18669 5527 16371 3231 18285 10502 14083 13323 11911 19309 17263 15226 7435 7307 365 1950 5400 16243 12697 18157 10374 4637 13195 11783 5780 237 1822 6416 18029 12569 17901 10246 4384 13067 11655 9478 19053 16498 14466 1694 6543 6238 12441 8073 10118 15608 9606 12939 4256 11527 6033 9223 7053 14338 8583 12313 9990 17646 7945 9734 3140 4128 12811 11399 14847 9095 18797 6925 6 6365 20206 13957 4891 2975 9862 15100 702 4000 11271 8967 5274 16116 1502 17519 7818 2847 574 9351 3872 7180 14720 11143 5654 8839 8711 8456 1374 19950 17774 4511 17391 15353 2719 1604 17009 446 16882 5907 3744 11015 134 8328 1246 2591 17136 16754 16626 3616 10887 5147 15989 13708 4764 1118 2463 14594 3488 18542 6798 10759 5019 8201 13580 12168 15735 990 15481 19566 7691 2335 2207 3360 6671 18414 10631 14211 13831 15862 13452 12040 19438 7564 14974 2079 18670 5528 16372 3232 18286 10503 13324 11912 17264 15227 7436 7308 366 1951 5401 16244 12698 14084 18158 10375 13196 11784 5781 238 1823 6417 12570 18030 17902 10247 4638 13068 4385 11656 9479 19054 14467 1695 6544 6239 12442 8074 10119 15609 4257 9607 12940 11528 6034 9224 18926 7054 16499 14339 8584 12314 7946 9991 17647 9735 3141 4129 12812 11400 14848 9096 18798 6926 7 6366 13958 4892 2976 9863 703 15101 4001 11272 8968 5275 16117 1503 2848 17520 9352 575 7181 3873 14721 11144 5655 8840 8712 8457 1375 19951 17775 4512 1605 2720 17392 15354 17010 16883 447 3745 11016 135 8329 1247 19823 7819 17137 16755 3617 16627 10888 5148 13709 4765 19695 2464 5908 14595 6799 3489 18543 10760 15990 5020 8202 13581 12169 15736 991 15482 7692 2336 2208 6672 3361 18415 14212 10632 13832 15863 13453 12041 19439 7565 14975 2080 18671 5529 16373 3233 18287 10504 13325 11913 17265 7437 7309 367 1952 5402 16245 14085 12699 18159 10376 13197 11785 15228 19183 5782 239 1824 6418 12571 18031 10248 17903 4639 4386 13069 11657 9480 14468 1696 6545 6240 12443 10120 8075 15610 4258 9608 12941 11529 6035 9225 7055 16500 14340 8585 12315 7947 9992 17648 9736 3142 12813 4130 11401 14849 9097 18799 6927 8 6367 13959 4893 2977 9864 15102 704 4002 11273 8969 5276 16118 1504 20080 2849 17521 9353 576 7182 3874 11145 14722 5656 8841 8713 8458 1376 17776 2721 1606 17393 448 16884 3746 11017 136 8330 1248 7820 2593 17138 17011 16756 3618 16628 10889 5149 13710 4766 1120 19696 4513 15355 2465 5909 6800 3490 18544 10761 5021 15991 8203 13582 15737 12170 15483 992 19568 7693 2337 2209 3362 18416 10633 14213 13833 15864 13454 12042 7566 14976 2081 14596 18672 5530 3234 18288 10505 13326 11914 17266 7438 7310 368 1953 6673 5403 16374 16246 12700 14086 18160 10377 13198 11786 15229 19184 5783 240 1825 6419 12572 18032 10249 17904 4640 13070 4387 11658 9481 19056 14469 1697 6546 6241 12444 10121 15611 9609 12942 4259 11530 6036 9226 18928 7056 16501 14341 8586 12316 9993 7948 17649 9737 3143 4131 12814 11402 14850 9098 18800 6928 9 6368 4894 8076 2978 9865 705 15103 4003 11274 8970 5277 16119 13960 1505 20081 2850 9354 577 3875 7183 11146 14723 5657 8842 8714 8459 1377 19953 17777 17522 2722 1607 17394 449 16885 3747 11018 137 8331 1249 19825 7821 17139 17012 16757 3619 16629 10890 5150 13711 4767 1121 4514 15356 2466 5910 6801 3491 18545 10762 5022 15992 13583 8204 12171 15738 993 19569 15484 7694 2338 2210 3363 18417 10634 14214 15865 13455 12043 7567 14977 2082 14597 18673 5531 3235 18289 10506 13834 13327 11915 19313 17267 7439 7311 369 1954 6674 5404 16375 16247 12701 14087 18161 10378 13199 11787 15230 5784 241 1826 6420 12573 18033 10250 17905 4641 13071 4388 11659 9482 14470 10 1698 6547 6242 12445 10122 15612 4260 9610 12943 11531 6037 9227 18929 7057 16502 14342 8587 12317 9994 7949 17650 9738 3144 4132 12815 11403 14851 9099 18801 6929 6369 20210 4895 8077 2979 9866 706 4004 11275 8971 5278 16120 1506 13961 2851 578 9355 7184 3876 11147 14724 8843 8715 8460 1378 17523 1608 2723 17395 15104 450 16886 3748 5658 11019 138 8332 1250 19826 17778 7822 2595 17140 17013 16758 3620 16630 10891 5151 13712 4768 1122 19698 4515 15357 2467 5911 3492 6802 18546 10763 5023 15993 8205 13584 12172 994 15485 7695 2339 2211 3364 18418 14215 10635 15866 13456 12044 7568 14978 2083 18674 14598 5532 3236 18290 10507 13835 15739 13328 11916 19314 17268 7440 7312 370 1955 6675 5405 16376 16248 12702 18162 14088 10379 13200 11788 15231 19186 242 1827 12574 18034 10251 17906 4642 4389 13072 11660 9483 19058 5785 14471 1699 11 6548 6243 12446 10123 15613 4261 9611 12944 11532 6038 9228 7058 16503 14343 8588 6421 12318 9995 7950 17651 9739 3145 12816 4133 11404 9100 18802 6930 6370 20211 4896 8078 2980 9867 707 4005 14852 11276 8972 5279 16121 13962 1507 20083 2852 9356 579 3877 7185 11148 14725 8844 8716 8461 1379 19955 17524 2724 17396 15105 451 16887 3749 11020 5659 139 8333 1251 17779 7823 17141 17014 16759 3621 16631 10892 5152 13713 4769 1123 19699 4516 15358 2468 5912 6803 3493 18547 10764 5024 8206 13585 12173 995 15486 7696 2340 2212 3365 18419 10636 14216 15994 13457 12045 867 19443 7569 2084 14599 18675 5533 3237 18291 10508 13836 15867 15740 13329 11917 17269 7441 7313 14979 371 1956 6676 5406 16377 16249 12703 18163 10380 13201 11789 15232 243 1828 14089 12575 18035 17907 10252 4643 4390 13073 11661 9484 19059 5786 14472 1700 12 6549 6244 12447 10124 15614 9612 12945 4262 11533 6039 9229 18931 7059 16504 14344 8589 6422 12319 7951 9996 17652 9740 3146 4134 12817 11405 18803 9101 6931 4897 8079 2981 9868 708 4006 14853 11277 8973 6371 5280 16122 13963 1508 2853 580 9357 7186 3878 14726 11149 8845 8717 8462 1380 19956 17525 2725 17397 15106 452 16888 3750 5660 11021 140 8334 1252 19828 17780 7824 2597 17142 17015 16760 3622 16632 10893 5153 13714 4770 1124 4517 15359 2469 5913 6804 3494 18548 10765 5025 13586 8207 12174 996 15487 7697 2341 2213 3366 18420 10637 14217 15995 13458 12046 868 19444 7570 2085 14600 18676 5534 3238 18292 10509 13837 15868 15741 13330 11918 19316 17270 7442 7314 14980 372 1957 6677 5407 16250 12704 18164 10381 13202 11790 15233 19188 244 1829 16378 14090 12576 18036 10253 17908 4644 13074 4391 11662 9485 5787 14473 1701 13 6550 6245 12448 10125 15615 4263 12946 9613 11534 6040 18932 9230 7060 16505 14345 6423 12320 17653 9997 7952 9741 3147 4135 12818 11406 9102 18804 6932 20213 4898 8080 2982 9869 709 4007 14854 11278 8974 8590 6372 16123 1509 20085 13964 2854 9358 581 3879 7187 14727 11150 8846 8718 5281 8463 1381 17526 2726 17398 15107 453 16889 3751 5661 11022 141 8335 1253 19829 17781 17143 17016 16761 3623 16633 10894 5154 13715 4771 1125 4518 15360 2470 5914 3495 6805 18549 10766 5026 8208 13587 12175 997 19573 15488 7825 7698 2342 2214 3367 18421 14218 10638 15996 13459 12047 869 7571 2086 18677 14601 5535 3239 18293 10510 15869 13838 15742 13331 11919 17271 7443 14981 7315 373 1958 5408 16251 12705 18165 10382 13203 11791 19189 245 1830 6678 16379 14091 12577 18037 17909 10254 13075 4392 11663 9486 19061 5788 14474 1702 14 6551 6246 12449 10126 4645 15616 4264 15234 9614 12947 11535 6041 9231 7061 16506 14346 6424 12321 9998 17654 7953 9742 3148 12819 4136 11407 9103 18805 6933 4899 2983 9870 710 4008 14855 11279 8975 6373 8591 16124 1510 20086 8081 2855 582 9359 3880 7188 11151 14728 8847 8719 5282 8464 13965 1382 19958 17527 2727 17399 15108 454 16890 3752 5662 11023 142 8336 1254 2599 17144 17017 16762 3624 16634 10895 5155 13716 4772 17782 1126 4519 15361 2471 3496 18550 6806 10767 5027 8209 13588 12176 998 19574 15489 7826 7699 2343 2215 5915 3368 18422 10639 14219 15997 13460 12048 870 19446 7572 2087 14602 18678 5536 3240 18294 10511 15870 13332 11920 19318 17272 7444 14982 7316 374 1959 5409 16252 12706 18166 10383 13839 15743 13204 11792 246 1831 6679 16380 14092 12578 18038 17910 10255 4393 13076 11664 9487 19062 5789 14475 1703 15 6552 6247 12450 10127 4646 15617 9615 4265 15235 12948 11536 6042 9232 7062 16507 14347 12322 7954 17655 9999 9743 3149 4137 12820 11408 18806 9104 6934 6425 20215 4900 2984 9871 711 4009 14856 11280 8976 6374 8592 16125 1511 8082 2856 583 9360 3881 7189 14729 11152 8848 8720 5283 8465 13966 1383 19959 17528 2728 17400 15109 455 16891 3753 5663 11024 143 8337 1255 17145 16763 3625 16635 10896 5156 13717 4773 17783 1127 19703 15362 2472 17018 6807 3497 18551 10768 5028 13589 8210 12177 999 4520 7827 15490 7700 2344 5916 2216 3369 18423 10640 14220 15998 13461 12049 871 7573 2088 14603 18679 5537 3241 18295 10512 13333 11921 19319 17273 7445 7317 14983 375 1960 5410 16253 12707 18167 10384 13840 15871 15744 13205 11793 19191 247 1832 16381 6680 14093 12579 18039 10256 17911 13077 4394 11665 9488 14476 1704 16 6553 6248 12451 10128 4647 15618 4266 12949 15236 9616 11537 6043 9233 5790 7063 14348 12323 10000 17656 7955 9744 3150 12821 11409 9105 18807 6935 6426 20216 2985 9872 712 4010 11281 14857 8977 16508 6375 8593 16126 1512 20088 8083 2857 584 9361 3882 7190 14730 11153 8849 8721 5284 8466 13967 1384 4901 17529 2729 17401 15110 456 16892 3754 11025 5664 144 8338 1256 2601 17146 16764 16636 3626 10897 5157 13718 4774 17784 1128 19704 15363 2473 17019 3498 6808 18552 10769 5029 8211 13590 12178 1000 4521 19576 15491 7828 7701 2345 5917 2217 18424 3370 14221 10641 15999 13462 12050 872 19448 7574 2089 14604 18680 5538 18296 3242 10513 13334 11922 17274 7446 7318 376 1961 5411 16254 18168 12708 10385 13841 15872 15745 13206 11794 19192 14984 248 1833 6681 14094 12580 18040 17912 10257 4395 13078 11666 9489 14477 1705 17 16382 6554 6249 12452 10129 4648 15619 4267 15237 9617 12950 11538 6044 9234 18936 5791 7064 14349 12324 7956 17657 10001 9745 3151 12822 4139 11410 9106 18808 6936 6427 2986 9873 713 4011 14858 11282 8978 16509 8594 6376 16127 1513 20089 8084 2858 9362 585 7191 3883 11154 14731 8850 8722 5285 8467 13968 4902 1385 17402 2730 457 16893 3755 11026 145 8339 19833 1257 17530 17147 15111 16765 3627 5665 16637 10898 5158 13719 17785 4775 1129 15364 2474 17020 3499 6809 18553 10770 5030 8212 13591 12179 4522 7829 15492 1001 7702 2346 2218 5918 3371 18425 10642 14222 16000 13463 12051 873 19449 7575 2090 14605 18681 5539 3243 18297 10514 13335 11923 19321 17275 7447 7319 377 1962 5412 16255 12709 18169 10386 13842 15873 15746 13207 11795 14985 249 1834 14095 18041 12581 10258 17913 4396 13079 11667 9490 14478 18 6682 16383 1706 6250 12453 10130 15620 4649 15238 9618 12951 4268 11539 6045 9235 18937 5792 7065 14350 6555 12325 10002 17658 7957 9746 3152 4140 12823 11411 18809 9107 6937 20218 6428 2987 9874 714 4012 11283 14859 8979 16510 16128 1514 2859 586 9363 7192 3884 14732 11155 8851 8723 8595 5286 8468 13969 1386 4903 8085 17403 2731 458 16894 3756 11027 146 6377 8340 19834 1258 17531 2603 17148 15112 16766 5666 16638 3628 10899 5159 13720 17786 4776 19706 1130 15365 2475 17021 6810 18554 3500 10771 5031 13592 8213 12180 1002 4523 19578 15493 7830 7703 2347 5919 2219 3372 18426 10643 14223 16001 13464 12052 874 7576 2091 18682 14606 5540 3244 18298 10515 13336 11924 19322 17276 7448 7320 378 1963 5413 16256 12710 18170 10387 13843 15874 13208 11796 14986 250 1835 18042 12582 17914 10259 15747 13080 4397 11668 9491 19066 14479 1707 6683 16384 19 6251 14096 12454 10131 15621 4269 9619 12952 15239 11540 6046 9236 5793 7066 14351 6556 12326 17659 10003 7958 4650 9747 3153 12824 11412 9108 18810 6938 20219 2988 9875 715 4013 11284 14860 8980 16511 6429 16129 1515 2860 9364 587 7193 3885 14733 11156 8852 8724 8596 8469 1387 4904 19963 8086 2732 17404 16895 459 3757 11028 147 6378 8341 13970 1259 17532 17149 15113 16767 16639 5667 3629 10900 5287 5160 13721 4777 17787 1131 15366 2476 17022 3501 6811 18555 10772 5032 8214 13593 12181 19579 15494 4524 1003 7704 2348 2220 18427 3373 14224 10644 16002 13465 12053 19451 875 7577 5920 2092 18683 5541 18299 3245 10516 13337 7831 11925 17277 7449 7321 379 1964 14607 5414 16257 18171 12711 10388 15875 13844 13209 11797 14987 251 1836 18043 12583 10260 17915 15748 4398 13081 11669 9492 19067 14480 16385 6684 1708 20 14097 6252 12455 10132 15622 4270 15240 9620 12953 11541 6047 9237 18939 5794 7067 14352 6557 12327 4651 7959 10004 17660 9748 3154 12825 4142 11413 18811 9109 6939 2989 9876 716 4014 11285 14861 8981 16512 6430 16130 1516 2861 588 9365 3886 7194 11157 14734 8853 8725 8597 8470 4905 19964 1388 8087 2733 17405 460 16896 3758 11029 148 6379 13971 8342 19836 1260 17533 2605 15114 16768 3630 5668 10901 5288 5161 13722 17788 4778 1132 19708 15367 2477 17150 17023 16640 6812 18556 3502 10773 5033 8215 13594 12182 15495 1004 7705 2349 2221 3374 18428 10645 14225 16003 13466 12054 4525 19452 876 7578 5921 2093 18684 3246 18300 10517 13338 7832 11926 17278 7450 7322 380 1965 14608 5542 5415 16258 12712 18172 10389 13210 11798 19196 14988 252 1837 12584 18044 17916 15876 10261 15749 13082 4399 11670 14481 1709 6685 21 6253 14098 13845 12456 10133 15623 12954 9621 4271 9493 11542 6048 9238 7068 5795 16386 14353 6558 12328 7960 10005 17661 4652 15241 3155 4143 12826 11414 18812 9110 6940 2990 9877 9749 717 4015 14862 11286 8982 16513 20093 1517 2862 9366 589 7195 3887 14735 11158 8854 8726 8598 8471 16131 1389 4906 8088 17406 2734 16897 461 3759 11030 149 6380 13972 8343 1261 17534 15115 16769 5669 3631 10902 5289 5162 13723 4779 17789 19709 1133 15368 17151 2478 17024 16641 6813 18557 3503 10774 5034 13595 8216 12183 1005 19581 15496 7706 2350 2222 18429 3375 10646 14226 16004 13467 12055 4526 877 7579 5922 2094 18685 3247 18301 10518 13339 11927 7833 17279 7451 7323 381 14609 1966 5543 5416 16259 12713 18173 10390 13211 11799 19197 14989 253 1838 18045 12585 10262 17917 15877 15750 13083 4400 11671 19069 14482 1710 6686 22 6254 14099 12457 13846 10134 15624 4272 9622 12955 9494 11543 6049 18941 9239 7069 16387 14354 12329 4653 10006 17662 7961 15242 3156 12827 11415 9111 18813 6941 6559 2991 9878 9750 718 4016 14863 11287 5796 8983 16514 6432 1518 20094 2863 590 9367 7196 3888 14736 11159 8855 8727 8472 16132 19966 4907 1390 8089 2735 17407 462 16898 3760 11031 150 8599 8344 13973 1262 19838 2607 16770 3632 5670 10903 5290 6381 5163 13724 4780 17790 1134 17535 15369 17152 15116 2479 17025 16642 3504 6814 18558 10775 5035 8217 13596 12184 1006 19582 15497 7707 2351 2223 18430 3376 14227 10647 16005 13468 12056 4527 878 7580 5923 2095 18686 18302 3248 10519 13340 7834 11928 19326 17280 7452 7324 382 1967 14610 5544 5417 16260 18174 12714 10391 13212 11800 14990 254 1839 18046 12586 17918 15878 10263 15751 4401 13084 11672 14483 23 6687 1711 14100 6255 13847 12458 10135 15625 4273 9623 12956 9495 11544 6050 9240 18942 7070 16388 14355 12330 4654 7962 17663 10007 3157 15243 12828 4145 11416 18814 9112 6942 6560 20223 2992 9879 9751 719 4017 11288 14864 5797 8984 16515 6433 1519 2864 591 9368 3889 7197 11160 14737 8856 8728 16133 8473 1391 8090 2736 17408 16899 463 3761 11032 151 8600 13974 8345 4908 19839 1263 16771 5671 3633 10904 5291 6382 5164 13725 17791 4781 1135 19711 17536 15370 2480 17153 15117 17026 16643 3505 6815 18559 10776 5036 8218 13597 12185 15498 1007 7708 2352 2224 3377 18431 10648 14228 16006 13469 12057 4528 879 7581 5924 2096 18687 3249 18303 10520 13341 7835 11929 19327 17281 7453 7325 383 1968 14611 5545 5418 16261 12715 18175 10392 13213 11801 19199 255 1840 18047 12587 10264 17919 15879 15752 4402 13085 11673 19071 14991 14484 24 1712 6688 6256 14101 12459 13848 10136 15626 9624 12957 4274 9496 11545 9241 7071 16389 14356 12331 4655 7963 10008 17664 15244 3158 4146 12829 6051 11417 9113 18815 6943 6561 20224 2993 9880 9752 720 4018 14865 11289 5798 8985 16516 1520 20096 2865 9369 592 7198 3890 14738 11161 8857 8729 16134 1392 19968 8091 17409 2737 464 16900 3762 11033 152 8601 8474 13975 8346 4909 1264 2609 16772 3634 10905 6383 5292 5165 13726 4782 17792 19712 1136 17537 15371 15118 2481 17027 5672 16644 6816 18560 3506 10777 5037 13598 8219 12186 1008 15499 7709 17154 2353 2225 3378 18432 10649 14229 16007 13470 12058 4529 19456 880 7582 2097 18688 3250 18304 10521 13342 11930 7836 17282 7454 7326 5925 384 14612 1969 5546 5419 16262 12716 18176 10393 13214 11802 256 1841 12588 18048 17920 15880 10265 15753 13086 4403 11674 19072 14992 14485 25 1713 6689 6257 14102 13849 12460 10137 15627 9625 12958 4275 11546 9497 18944 9242 16390 14357 12332 17665 10009 7964 4656 15245 3159 12830 6052 11418 7072 18816 9114 6944 6562 2994 9881 9753 721 4019 14866 11290 5799 8986 16517 6435 1521 2866 9370 593 3891 14739 11162 8858 8730 19969 1393 8092 2738 17410 7199 16901 465 3763 11034 153 8602 8475 16135 8347 13976 4910 1265 19841 16773 3635 10906 6384 5166 13727 4783 17793 1137 17538 15372 2482 15119 17028 5673 16645 3507 18561 6817 10778 5038 8220 13599 12187 1009 15500 7710 17155 2354 2226 18433 3379 5293 14230 10650 16008 13471 12059 4530 19457 881 7583 2098 18689 18305 3251 10522 13343 11931 7837 19329 17283 7455 7327 5926 385 1970 5420 16263 18177 12717 10394 13215 11803 19201 257 1842 5547 18049 12589 10266 17921 15881 15754 4404 13087 11675 14993 14613 14486 6690 1714 20422 14103 6258 12461 13850 10138 15628 9626 12959 11547 9243 18945 14358 16391 12333 10010 17666 7965 3160 9498 12831 4148 11419 6053 7073 18817 9115 6945 6563 20226 2995 4657 9882 15246 722 4020 11291 14867 5800 8987 16518 6436 20098 1522 2867 9754 9371 594 3892 11163 14740 8859 1394 8093 2739 17411 466 16902 7200 3764 11035 154 8731 26 8603 16136 8348 4911 19842 1266 2611 16774 3636 10907 5167 13728 13977 17794 4784 1138 17539 15373 15120 2483 17029 16646 5674 3508 18562 6818 10779 6385 5039 8221 13600 12188 19586 15501 1010 7711 17156 2355 2227 3380 18434 5294 10651 14231 16009 13472 12060 4531 882 7584 2099 18690 3252 18306 10523 13344 7838 11932 17284 7456 7328 5927 386 1971 5421 16264 12718 18178 10395 13216 11804 19202 258 5548 1843 18050 12590 17922 10267 15755 13088 4405 11676 19074 14994 14614 14487 6691 1715 14104 6259 12462 13851 10139 15629 9627 12960 4277 11548 9244 16392 14359 15882 12334 7966 17667 10011 3161 12832 9499 4149 11420 6054 7074 9116 18818 6946 4658 2996 9883 15247 723 4021 11292 5801 8988 16519 27 6564 6437 20099 2868 9755 595 9372 14868 3893 14741 11164 8860 1395 19971 8094 17412 2740 16903 7201 467 3765 11036 155 8732 8604 16137 8477 8349 4912 1267 16775 3637 10908 5168 13978 13729 4785 17795 1139 17540 15374 15121 2484 17030 16647 5675 18563 3509 10780 6386 5040 13601 8222 12189 1011 19587 15502 7712 17157 2356 2228 6819 18435 3381 10652 14232 5295 16010 13473 12061 19459 883 7585 2100 18691 3253 18307 10524 13345 11933 7839 4532 19331 17285 7457 7329 5928 387 1972 5422 16265 12719 18179 10396 13217 11805 259 5549 1844 18051 12591 10268 17923 15756 13089 4406 11677 19075 14995 14615 14488 1716 6692 6260 14105 12463 10140 15630 4278 9628 12961 11549 9245 14360 16393 13852 15883 12335 10012 17668 7967 3162 9500 12833 11421 18819 9117 7075 6947 20228 2997 4659 9884 15248 6055 4022 11293 5802 8989 16520 28 6565 6438 1524 2869 9756 9373 596 3894 14869 14742 11165 8861 19972 1396 8095 2741 17413 468 7202 16904 3766 11037 156 8733 8605 16138 8350 1268 2613 16776 3638 10909 8478 5169 13730 13979 4913 4786 17796 19716 1140 15375 2485 17031 5676 16648 3510 18564 10781 6387 5041 8223 13602 12190 1012 15503 7713 17158 2357 2229 6820 18436 3382 10653 5296 16011 13474 12062 17541 884 7586 15122 2101 18692 18308 3254 10525 13346 4533 7840 11934 19332 17286 7458 7330 5929 388 1973 5423 14233 16266 18180 12720 10397 13218 11806 19204 260 1845 5550 12592 18052 17924 10269 15757 4407 13090 11678 14996 14616 14489 6693 1717 6261 14106 12464 10141 15631 12962 9629 11550 9246 14361 16394 13853 15884 12336 17669 10013 7968 9501 12834 4151 11422 9118 18820 6948 20229 4660 2998 9885 15249 725 6056 4023 11294 7076 8990 16521 29 6566 6439 20101 1525 2870 9757 9374 597 14870 3895 5803 11166 14743 8862 1397 8096 2742 17414 7203 16905 469 3767 11038 157 8734 8606 8351 1269 16777 3639 10910 8479 16139 5170 13980 13731 4914 17797 4787 1141 19717 15376 2486 16649 5677 3511 18565 10782 6388 5042 13603 8224 12191 19589 15504 1013 7714 17159 17032 2358 2230 6821 3383 18437 10654 5297 16012 13475 12063 17542 885 19461 7587 15123 2102 18693 3255 18309 10526 13347 11935 7841 4534 17287 7459 7331 5930 389 1974 5424 14234 16267 12721 18181 10398 13219 11807 19205 261 5551 1846 18053 12593 10270 17925 15758 4408 13091 11679 14997 14617 14490 1718 6694 6262 14107 12465 10142 15632 9630 12963 4280 11551 9247 18949 14362 13854 15885 12337 7969 10014 17670 3164 4152 9502 12835 11423 18821 9119 6949 16395 2999 9886 15250 726 6057 4024 11295 7077 8991 16522 30 6567 6440 20102 4661 2871 9758 598 9375 3896 14871 5804 14744 11167 8863 1398 8097 17415 2743 470 16906 7204 3768 11039 158 8735 8607 8352 19846 1270 2615 16778 3640 10911 8480 16140 5171 13981 13732 4915 4788 17798 2487 5678 16650 18566 3512 10783 6389 5043 13604 8225 12192 1014 15505 7715 15377 17160 2359 17033 2231 6822 3384 18438 10655 16013 13476 12064 17543 886 19462 7588 15124 2103 18694 3256 5298 18310 10527 13348 11936 7842 4535 19334 17288 7460 7332 5931 390 1975 5425 16268 14235 12722 18182 10399 13220 11808 262 5552 1847 18054 12594 17926 10271 15759 13092 4409 11680 14618 14491 1719 6695 6263 14108 12466 10143 15633 12964 9631 4281 11552 14998 18950 9248 14363 13855 12338 17671 10015 7970 3165 9503 12836 11424 18822 9120 6950 16396 20231 15886 3000 9887 4025 6058 11296 7078 8992 16523 31 6568 6441 1527 4662 2872 9759 15251 9376 599 3897 14872 5805 14745 11168 8864 1399 8098 2744 17416 16907 7205 471 3769 11040 159 8736 8608 8353 1271 19847 2616 16779 3641 10912 5172 16141 8481 13733 4916 4789 17799 19719 1143 2488 5679 16651 3513 18567 10784 5044 13982 8226 13605 12193 1015 19591 15506 7716 15378 17161 17034 2360 2232 803 18439 3385 6390 10656 16014 13477 12065 17544 887 7589 15125 2104 18695 6823 5299 18311 3257 10528 13349 11937 7843 4536 19335 17289 7461 7333 1976 5426 14236 16269 18183 12723 10400 13221 11809 5932 263 1848 18055 12595 10272 17927 15760 13093 4410 11681 19079 14492 6696 1720 14109 6264 12467 10144 15634 12965 9632 11553 14999 9249 5553 14364 13856 12339 7971 10016 17672 3166 9504 12837 4154 11425 9121 18823 14619 6951 16397 20232 15887 3001 9888 728 6059 4026 11297 7079 8993 16524 32 6569 6442 1528 4663 2873 9760 15252 9377 600 3898 5806 11169 14746 8865 19976 1400 17417 2745 472 16908 14873 7206 3770 11041 160 8737 8609 8354 1272 2617 16780 3642 10913 16142 5173 13734 4917 8099 17800 4790 2489 16652 5680 3514 18568 10785 8482 13983 5045 13606 8227 12194 19592 15507 1016 15379 7717 17162 2361 17035 2233 804 3386 18440 6391 10657 16015 13478 12066 17545 888 19464 7590 15126 2105 18696 6824 3258 18312 5300 10529 13350 4537 7844 11938 17290 7462 7334 1977 5427 14237 16270 12724 18184 10401 13222 11810 5933 264 1849 18056 12596 17928 10273 15761 13094 4411 11682 19080 14493 1721 6697 14110 12468 10145 15635 9633 12966 4283 11554 15000 9250 18952 5554 14365 6265 12340 7972 17673 10017 3167 12838 9505 4155 11426 18824 9122 6952 14620 16398 15888 13857 3002 9889 729 4027 6060 11298 8994 16525 33 6443 4664 2874 9761 15253 601 9378 3899 7080 14747 11170 5807 8866 1401 19977 2746 17418 16909 14874 7207 473 3771 11042 161 8738 6570 8610 8355 19849 1273 2618 16781 3643 10914 5174 13735 4918 8100 17801 4791 19721 1145 2490 5681 16653 18569 3515 10786 16143 8483 5046 13984 13607 8228 12195 1017 15508 7718 15380 17163 17036 2362 2234 805 3387 18441 10658 6392 16016 13479 12067 19465 889 7591 15127 2106 18697 6825 3259 18313 5301 10530 13351 17546 11939 7845 4538 17291 7463 7335 1978 5428 14238 16271 12725 18185 10402 13223 11811 19209 5934 265 1850 12597 18057 10274 17929 15762 4412 13095 11683 14494 1722 6698 14111 12469 10146 15636 4284 9634 12967 11555 15001 9251 5555 14366 6266 12341 10018 17674 7973 3168 9506 12839 11427 9123 18825 14621 6953 13858 15889 3003 9890 6061 4028 11299 8995 16526 16399 34 6444 20106 1530 4665 2875 9762 15254 9379 602 3900 7081 14748 11171 8867 1402 17419 2747 474 16910 14875 5808 3772 11043 162 8739 6571 8611 8356 1274 16782 3644 10915 5175 13736 4792 8101 17802 19722 1146 2491 7208 16654 5682 3516 18570 10787 8484 16144 5047 13985 8229 13608 12196 1018 19594 15509 7719 17164 2363 17037 2235 806 18442 3388 6393 10659 16017 4919 13480 12068 890 15381 7592 15128 2107 18698 6826 18314 5302 3260 10531 13352 11940 17547 7846 4539 17292 7464 7336 1979 5429 16272 14239 18186 12726 10403 13224 11812 19210 5935 266 1851 12598 18058 17930 10275 15763 4413 13096 11684 19082 14495 6699 1723 14112 12470 10147 15637 12968 9635 11556 15002 9252 18954 5556 14367 6267 12342 7974 17675 10019 3169 9507 12840 4157 11428 18826 9124 6954 14622 15890 13859 3004 9891 731 4029 6062 11300 8996 16527 16400 35 6445 20107 1531 4666 2876 9763 15255 9380 603 3901 7082 11172 14749 8868 19979 1403 2748 17420 16911 14876 475 3773 5809 11044 163 8740 8612 6572 8357 19851 1275 2620 16783 3645 10916 5176 13737 8102 17803 4793 2492 7209 16655 5683 3517 18571 10788 16145 8485 13986 5048 13609 8230 12197 1019 19595 15510 7720 17165 17038 2364 2236 807 3389 18443 6394 10660 16018 4920 13481 12069 15382 891 7593 2108 18699 18315 5303 3261 10532 13353 7847 17548 11941 4540 19339 17293 7465 15129 7337 1980 6827 5430 16273 12727 18187 10404 13225 11813 5936 267 1852 14240 18059 12599 10276 17931 15764 4414 13097 11685 14496 1724 6700 14113 12471 10148 15638 9636 12969 4286 11557 15003 18955 9253 5557 14368 6268 12343 10020 17676 7975 3170 4158 9508 12841 11429 18827 9125 14623 6955 20236 13860 3005 9892 732 6063 4030 11301 8997 16528 16401 36 6446 15891 4667 2877 9764 15256 604 9381 3902 14750 11173 7083 8869 1404 17421 2749 16912 14877 476 5810 3774 11045 164 8741 8613 6573 8358 19852 1276 2621 16784 3646 10917 5177 13738 4794 17804 8103 19724 1148 2493 7210 5684 16656 18572 3518 10789 16146 8486 5049 13987 13610 8231 12198 1020 15511 7721 17166 2365 2237 808 18444 3390 6395 10661 16019 4921 13482 12070 15383 892 7594 17039 2109 18316 10533 13354 4541 11942 17549 7848 19340 17294 15130 7466 7338 1981 18700 6828 5431 16274 12728 18188 10405 13226 11814 19212 268 1853 5304 14241 12600 18060 17932 10277 15765 4415 13098 11686 19084 5937 14497 1725 6701 14114 12472 10149 15639 9637 12970 4287 11558 15004 9254 5558 14369 12344 7976 17677 10021 3171 9509 12842 11430 9126 18828 6956 20237 6269 13861 3006 9893 4031 6064 11302 8998 14624 16529 37 16402 6447 20109 1533 15892 2878 9765 15257 9382 605 3903 14751 11174 8870 1405 19981 4668 17422 2750 16913 14878 477 5811 7084 3775 11046 165 8742 8614 8359 1277 2622 16785 3647 10918 6574 5178 13739 17805 4795 19725 1149 2494 7211 5685 16657 18573 3519 10790 8487 16147 5050 13988 8232 13611 8104 12199 1021 15512 17167 2366 2238 809 18445 3391 10662 6396 16020 4922 13483 12071 893 7722 19469 15384 7595 17040 2110 18317 3263 10534 13355 7849 11943 4542 17295 15131 7467 7339 18701 1982 6829 5432 16275 18189 12729 10406 17550 13227 11815 269 1854 5305 14242 12601 18061 10278 17933 15766 4416 13099 11687 19085 5938 14498 6702 1726 14115 12473 10150 15640 12971 9638 11559 15005 18957 9255 5559 14370 12345 10022 17678 7977 3172 9510 12843 4160 11431 18829 9127 6957 6270 13862 3007 9894 734 6065 4032 11303 8999 14625 16530 38 6448 1534 15893 2879 9766 9383 606 3904 11175 14752 8871 16403 19982 1406 4669 2751 17423 15258 16914 478 3776 5812 7085 11047 166 8743 8615 8360 19854 1278 2623 16786 3648 10919 6575 5179 13740 17806 4796 1150 2495 14879 7212 5686 16658 18574 3520 10791 16148 8488 5051 13612 8233 8105 12200 1022 15513 17168 2367 2239 810 3392 18446 10663 6397 13989 16021 4923 13484 12072 7723 19470 15385 894 7596 17041 2111 3264 18318 10535 13356 4543 11944 7850 19342 17296 15132 7468 7340 1983 18702 6830 5433 16276 12730 18190 10407 13228 17551 11816 19214 270 1855 14243 5306 18062 12602 17934 10279 15767 13100 4417 11688 5939 14499 1727 6703 14116 12474 10151 15641 9639 12972 4289 11560 15006 18958 9256 14371 12346 17679 10023 7978 3173 12844 9511 4161 11432 9128 18830 6958 5560 6271 20239 13863 3008 9895 735 4033 6066 11304 14626 9000 16531 39 6449 20111 15894 2880 9767 607 9384 3905 14753 11176 8872 16404 1407 4670 17424 2752 15259 479 16915 5813 7086 3777 11048 167 8744 8616 8361 19855 1279 16787 3649 10920 6576 5180 13741 17807 4797 1151 2496 14880 7213 5687 16659 18575 3521 10792 16149 8489 5052 13613 8234 8106 12201 19599 15514 1023 17169 2368 2240 811 3393 18447 10664 6398 13990 16022 4924 13485 12073 7724 15386 895 7597 17042 2112 18319 10536 13357 11945 7851 4544 17297 15133 7469 7341 1984 18703 16277 18191 12731 10408 17552 13229 11817 19215 271 6831 1856 5434 14244 5307 12603 18063 10280 17935 15768 13101 11689 19087 5940 14500 1728 6704 14117 12475 10152 4290 12973 9640 11561 15007 9257 14372 12347 7979 10024 17680 15642 4418 3174 9512 12845 11433 18831 9129 6959 5561 6272 3009 9896 6067 4034 11305 9001 14627 16532 40 6450 1536 20112 13864 15895 2881 9768 9385 608 3906 14754 11177 8873 16405 1408 19984 4671 2753 17425 15260 480 16916 3778 7087 5814 11049 168 8745 8617 8362 1280 2625 16788 3650 10921 6577 5181 13742 4798 17808 1152 2497 14881 7214 16660 5688 18576 3522 10793 8490 16150 5053 8235 13614 12202 8107 1024 19600 15515 17170 2369 2241 812 18448 3394 10665 13991 4925 13486 12074 896 7725 19472 15387 7598 17043 2113 18320 3266 10537 13358 4545 7852 11946 19344 17298 7470 7342 18704 1985 6399 16278 18192 12732 16023 10409 17553 13230 11818 15134 272 1857 6832 5435 12604 18064 17936 10281 15769 13102 11690 19088 5941 14501 6705 1729 5308 14245 14118 12476 10153 12974 9641 11562 15008 9258 14373 12348 7980 17681 15643 10025 4419 3175 9513 12846 4163 11434 9130 18832 6960 5562 20241 3010 9897 737 4035 6068 11306 9002 14628 16533 41 6273 6451 1537 15896 13865 2882 9769 9386 609 3907 11178 14755 8874 16406 19985 1409 4672 17426 2754 15261 16917 481 7088 3779 11050 169 8746 8618 8363 1281 2626 5815 16789 3651 10922 6578 5182 13743 4799 17809 1153 19729 2498 14882 7215 16661 3523 18577 10794 8491 16151 5054 8236 13615 12203 1025 15516 17171 2370 2242 813 5689 18449 3395 10666 13992 4926 13487 8108 12075 897 15388 7726 7599 2114 18321 3267 10538 13359 11947 7853 4546 19345 17299 7471 17044 7343 1986 18705 6400 16279 12733 18193 16024 10410 17554 13231 11819 19217 15135 273 6833 1858 5436 18065 12605 10282 17937 15770 13103 11691 5942 14502 1730 6706 5309 14246 14119 12477 10154 9642 12975 4292 11563 15009 9259 14374 12349 10026 17682 15644 7981 4420 3176 4164 9514 12847 11435 18833 9131 6961 5563 20242 3011 9898 738 6069 4036 11307 14629 9003 16534 42 6274 6452 20114 1538 15897 13866 2883 9770 610 9387 3908 14756 11179 8875 1410 4673 2755 17427 15262 482 16918 3780 7089 11051 170 8747 16407 8619 8364 1282 2627 5816 16790 3652 10923 5183 13744 17810 4800 19730 1154 2499 14883 7216 16662 3524 18578 10795 6579 8492 16152 5055 8237 13616 12204 19602 15517 1026 17172 2371 2243 814 5690 3396 18450 10667 4927 8109 13488 12076 19474 15389 898 7600 2115 18322 10539 13993 13360 4547 11948 7854 7727 17300 7472 17045 1987 18706 16280 6401 12734 18194 10411 16025 17555 13232 11820 19218 15136 7344 274 6834 1859 5437 12606 18066 17938 10283 15771 13104 11692 5943 14503 6707 1731 14247 5310 14120 12478 10155 12976 9643 4293 11564 15010 18962 9260 14375 12350 7982 17683 15645 10027 4421 9515 12848 11436 18834 9132 6962 5564 3012 9899 4037 6070 11308 9004 16535 43 6275 6453 1539 20115 15898 13867 2884 9771 9388 611 3909 14757 11180 8876 1411 4674 17428 2756 483 16919 7090 3781 11052 14630 171 16408 8748 8620 8365 1283 19859 15263 2628 16791 5817 3653 10924 5184 13745 4801 17811 1155 2500 14884 7217 16663 18579 3525 10796 6580 8493 16153 5056 8238 13617 12205 1027 15518 17173 2372 2244 815 5691 18451 3397 10668 4928 8110 13489 12077 899 19475 15390 7601 2116 18323 3269 10540 13994 13361 4548 7855 11949 7728 19347 17301 7473 17046 18707 1988 6402 16281 18195 12735 16026 10412 13233 17556 11821 15137 7345 275 1860 6835 12607 18067 10284 17939 15772 13105 11693 14504 5438 6708 1732 14248 5311 14121 12479 10156 12977 9644 11565 15011 5944 18963 9261 14376 12351 7983 10028 17684 15646 4422 3178 9516 12849 4166 11437 9133 18835 6963 20244 3013 9900 740 6071 4038 11309 9005 5565 16536 44 6454 6276 1540 15899 13868 2885 9772 9389 612 3910 11181 14758 8877 1412 4675 17429 2757 16920 484 7091 3782 14631 11053 172 8749 16409 8621 8366 19860 1284 2629 15264 5818 16792 3654 10925 5185 13746 4802 17812 1156 19732 2501 14885 7218 16664 3526 18580 10797 6581 8494 16154 5057 8239 13618 12206 1028 19604 15519 17174 2373 2245 816 5692 3398 18452 10669 4929 13490 8111 12078 15391 900 7602 2117 3270 18324 10541 13995 13362 4549 11950 7856 7729 19348 17302 7474 17047 1989 18708 6403 16282 12736 18196 16027 10413 17557 13234 11822 15138 7346 276 6836 1861 18068 12608 17940 10285 15773 13106 11694 19092 14505 5439 6709 1733 14249 5312 14122 12480 10157 9645 12978 4295 11566 15012 5945 9262 14377 12352 17685 15647 10029 7984 4423 3179 4167 9517 12850 11438 9134 18836 6964 20245 3014 9901 741 6072 4039 11310 9006 16537 5566 45 6455 1541 15900 13869 2886 9773 613 9390 3911 14759 11182 8878 6277 1413 19989 4676 17430 2758 485 16921 3783 7092 14632 11054 173 8750 16410 8622 8367 1285 2630 15265 16793 5819 3655 10926 5186 13747 17813 4803 1157 2502 7219 16665 3527 18581 10798 6582 8495 16155 5058 8240 13619 12207 19605 15520 1029 17175 2374 2246 14886 817 5693 3399 18453 10670 4930 8112 13491 12079 901 19477 15392 7603 2118 18325 10542 13996 13363 4550 11951 7857 7730 17303 7475 17048 1990 18709 6404 16283 12737 18197 10414 17558 13235 11823 15139 7347 277 6837 1862 12609 18069 16028 17941 10286 15774 13107 11695 19093 14506 6710 5440 1734 14250 14123 12481 10158 4296 12979 9646 11567 15013 5946 18965 9263 14378 5313 12353 7985 10030 17686 4424 3180 9518 12851 11439 18837 9135 6965 3015 9902 6073 4040 11311 9007 16538 5567 46 6456 1542 15901 13870 15648 2887 9774 9391 614 3912 11183 8879 6278 1414 19990 4677 2759 17431 16922 486 14760 3784 11055 14633 174 16411 8751 8623 8368 1286 19862 15266 2631 5820 7093 16794 3656 10927 5187 13748 4804 17814 19734 1158 2503 7220 16666 18582 3528 10799 6583 8496 16156 5059 8241 13620 12208 1030 15521 17176 2375 14887 2247 818 5694 18454 3400 10671 4931 8113 13492 12080 19478 15393 902 7604 2119 18326 3272 10543 13997 13364 4551 7858 11952 7731 17304 7476 17049 1991 16284 6405 12738 18198 10415 13236 11824 19222 15140 7348 18710 278 1863 6838 12610 18070 16029 17942 10287 15775 13108 11696 14507 1735 5441 14124 12482 10159 17559 9647 12980 11568 15014 9264 5947 14379 5314 12354 17687 10031 7986 3181 12852 9519 4169 11440 9136 18838 6966 6711 14251 3016 9903 4425 743 4041 11312 9008 5568 16539 47 6457 20119 1543 15902 13871 15649 2888 9775 9392 615 11184 8880 6279 1415 4678 17432 2760 487 14761 3785 11056 175 16412 8752 8624 8369 1287 15267 16923 7094 16795 5821 3657 14634 10928 5188 13749 4805 17815 1159 19735 2504 7221 16667 3529 18583 10800 6584 16157 8497 5060 13621 8242 12209 1031 19607 15522 17177 2376 2248 14888 819 5695 18455 3401 10672 4932 8114 13493 12081 15394 903 7605 2120 18327 3273 10544 13998 13365 4552 11953 7859 7732 17305 7477 17050 1992 16285 18199 12739 10416 13237 11825 19223 7349 279 18711 6839 1864 6406 18071 16030 12611 17943 10288 15776 13109 11697 15141 19095 14508 1736 14125 12483 10160 17560 9648 12981 4298 11569 18967 9265 5442 14380 5315 12355 7987 10032 17688 3182 9520 12853 4170 15015 11441 5948 18839 9137 6967 6712 14252 3017 9904 4426 6075 4042 11313 9009 5569 16540 48 6458 20120 1544 15903 13872 15650 2889 9776 616 9393 3914 11185 8881 6280 19992 1416 4679 17433 2761 488 3786 14762 11057 176 8753 16413 8625 8370 19864 1288 15268 2633 16924 7095 16796 5822 14635 3658 10929 5189 17816 4806 1160 2505 7222 16668 3530 18584 10801 6585 16158 5061 13622 12210 19608 15523 1032 17178 2377 14889 2249 820 3402 18456 10673 13750 8243 4933 13494 12082 15395 904 7606 2121 5696 18328 8498 10545 13999 13366 4553 11954 7860 7733 19352 17306 7478 1993 16286 12740 18200 10417 13238 11826 7350 17051 280 18712 6840 1865 6407 12612 18072 16031 17944 10289 15777 13110 11698 15142 14509 1737 14126 12484 10161 17561 4299 12982 9649 11570 18968 9266 5443 14381 5316 6153 12356 17689 10033 7988 3183 12854 9521 11442 15016 5949 9138 18840 6968 6713 14253 20249 3018 9905 4427 745 6076 4043 11314 9010 5570 16541 49 1609 6459 15904 13873 15651 2890 9777 9394 617 11186 8882 1417 4680 17434 2762 489 14763 3787 11058 177 16414 8754 8626 6281 8371 1289 19865 2634 15269 16925 16797 7096 5823 3659 14636 10930 5190 4807 17817 19737 1161 2506 7223 16669 18585 3531 10802 6586 16159 5062 13623 12211 1033 15524 17179 2378 2250 14890 821 18457 3403 10674 13751 4934 8244 8116 13495 12083 15396 905 7607 2122 5697 18329 3275 8499 10546 13367 4554 7861 11955 19353 17307 7479 1994 16287 12741 18201 14000 10418 13239 7734 11827 19225 7351 17052 281 18713 1866 6841 12613 18073 17945 10290 15778 13111 11699 15143 19097 14510 1738 14127 16032 12485 10162 17562 12983 9650 11571 9267 14382 5444 5317 1610 6154 12357 10034 17690 7989 3184 9522 12855 4172 15017 11443 5950 18841 9139 6969 6714 14254 20250 3019 9906 4428 746 6077 4044 11315 9011 16542 5571 6460 20122 15905 13874 15652 2891 9778 9395 618 3916 11187 8883 50 19994 1418 4681 17435 2763 490 3788 11059 178 8755 16415 8627 6282 8372 1290 2635 16926 5824 14764 16798 14637 3660 10931 5191 4808 17818 1162 19738 15270 2507 7224 7097 16670 3532 18586 10803 6587 16160 5063 13624 12212 1034 15525 17180 2379 2251 822 3404 18458 10675 13752 4935 8245 8117 13496 12084 19482 15397 7608 14891 2123 5698 3276 18330 8500 10547 13368 4555 7862 11956 17308 7480 1995 16288 18202 12742 14001 10419 13240 11828 7735 17053 7352 282 6842 1867 18074 12614 17946 10291 15779 13112 11700 15144 19098 18714 14511 1739 14128 16033 12486 10163 17563 9651 12984 4301 11572 18970 9268 14383 5445 1611 5318 6155 12358 7990 17691 10035 3185 4173 9523 12856 15018 11444 5951 18842 9140 6970 6715 14255 3020 9907 4429 747 6078 4045 11316 9012 16543 6461 15906 13875 2892 9779 619 11188 5572 8884 51 1419 19995 15653 17436 2764 9396 491 3789 11060 179 8756 8628 6283 8373 19867 1291 4682 2636 16927 14765 16799 5825 14638 3661 10932 16416 5192 17819 4809 1163 15271 2508 7225 7098 16671 3533 18587 10804 6588 16161 5064 13625 12213 15526 1035 17181 2380 2252 823 3405 18459 10676 13753 8246 4936 8118 13497 12085 907 19483 15398 7609 14892 2124 5699 18331 8501 10548 13369 4556 11957 7863 19355 17309 7481 1996 16289 18203 12743 10420 14002 13241 11829 7736 19227 7353 17054 283 6843 1868 12615 18075 10292 17947 15780 13113 11701 15145 18715 14512 1740 14129 16034 12487 10164 4302 9652 12985 11573 9269 18971 14384 5319 1612 6156 12359 10036 17692 7991 17564 3186 12857 9524 11445 15019 5952 9141 18843 6971 5446 14256 20252 3021 9908 748 4046 11317 9013 16544 6716 6462 20124 15907 13876 2893 4430 9780 620 3918 11189 5573 8885 52 15654 17437 2765 9397 492 3790 11061 180 8757 8629 6284 8374 1292 19868 4683 2637 5826 16800 14766 3662 10933 16417 5193 4810 17820 1164 15272 2509 7226 16928 7099 16672 14639 18588 3534 10805 6589 16162 5065 13626 12214 1036 19612 15527 17182 2381 2253 824 18460 3406 10677 13754 4937 8247 8119 13498 12086 15399 908 7610 14893 2125 5700 18332 3278 10549 8502 13370 4557 11958 7864 17310 7482 1997 16290 12744 18204 10421 14003 13242 7737 11830 19228 7354 17055 284 1869 6844 12616 18076 17948 10293 15781 13114 11702 15146 19100 18716 14513 1741 14130 16035 12488 10165 9653 12986 11574 9270 14385 1613 5320 6157 12360 7992 17693 10037 17565 3187 9525 12858 4175 15020 11446 5953 18844 9142 6972 5447 14257 3022 9909 4047 6080 11318 9014 16545 6717 6463 20125 15908 13877 2894 4431 9781 621 11190 8886 5574 53 19997 1421 15655 2766 17438 9398 493 3791 11062 181 8758 8630 8375 1293 4684 2638 5827 16801 14767 3663 10934 16418 5194 6285 4811 17821 1165 15273 2510 16929 7227 7100 14640 16673 3535 18589 10806 6590 16163 5066 13627 12215 1037 19613 15528 17183 2382 2254 825 18461 3407 10678 13755 4938 8248 8120 13499 12087 19485 15400 7611 14894 2126 18333 3279 10550 13371 4558 7865 11959 19357 17311 7483 1998 5701 16291 8503 12745 18205 10422 14004 13243 11831 7738 17056 7355 285 6845 1870 18077 12617 10294 17949 15782 13115 11703 15147 19101 18717 14514 1742 14131 16036 12489 10166 9654 12987 4304 11575 9271 14386 1614 5321 6158 12361 10038 17694 7993 17566 3188 4176 9526 12859 15021 11447 5954 18845 9143 6973 5448 14258 20254 3023 9910 750 6081 4048 11319 9015 16546 6718 6464 15909 13878 2895 4432 9782 622 3920 11191 5575 8887 54 1422 19998 15656 17439 2767 9399 494 3792 11063 182 8759 8631 8376 1294 4685 2639 5828 16802 3664 10935 16419 5195 6286 17822 4812 19742 1166 2511 16930 7228 14768 16674 14641 3536 18590 10807 6591 16164 5067 13628 12216 15529 1038 15274 17184 2383 2255 826 7101 18462 3408 10679 13756 8249 4939 8121 13500 12088 15401 910 7612 14895 2127 18334 10551 13372 4559 11960 7866 19358 17312 7484 1999 5702 16292 8504 12746 18206 10423 14005 13244 11832 19230 7356 17057 286 6846 1871 12618 18078 10295 17950 15783 13116 11704 15148 18718 14515 1743 14132 16037 12490 10167 4305 9655 12988 11576 9272 14387 5322 1615 6159 12362 17695 10039 7994 17567 3189 4177 12860 9527 11448 9144 18846 6974 5449 14259 20255 3024 9911 751 4049 15022 6082 5955 11320 9016 16547 6719 6465 20127 13879 15910 2896 4433 9783 623 11192 5576 8888 55 1423 15657 17440 2768 9400 495 3793 11064 183 8760 8632 8377 1295 4686 2640 5829 16803 3665 10936 6287 5196 4813 17823 1167 19743 2512 7229 16931 14769 14642 16675 18591 3537 10808 16420 6592 16165 5068 13629 12217 1039 19615 15530 15275 17185 2384 2256 7102 827 3409 18463 10680 4940 8250 8122 13501 12089 19487 15402 7613 14896 2128 18335 3281 10552 13757 13373 4560 7867 11961 17313 7485 5703 2000 16293 8505 18207 12747 10424 14006 13245 11833 7740 19231 7357 17058 287 1872 6847 12619 18079 10296 17951 15784 13117 11705 15149 18719 14516 1744 14133 16038 12491 10168 12989 9656 11577 18975 9273 14388 5323 1616 6160 12363 10040 17696 7995 3190 9528 12861 4178 11449 18847 9145 6975 14260 3025 17568 9912 752 15023 6083 4050 5956 11321 9017 16548 5450 6466 20128 15911 13880 2897 4434 9784 624 3922 11193 8889 5577 6720 56 1424 15658 17441 2769 9401 496 3794 11065 184 8761 8633 8378 19872 1296 4687 2641 5830 16804 3666 10937 6288 5197 4814 17824 1168 2513 16932 7230 14770 14643 16676 3538 18592 16421 10809 6593 16166 5069 13630 12218 1040 15531 15276 2385 2257 828 7103 18464 3410 10681 4941 8123 13502 12090 19488 15403 912 7614 17186 14897 2129 3282 18336 10553 13758 8251 13374 4561 11962 7868 19360 17314 7486 5704 2001 16294 12748 18208 8506 10425 14007 13246 11834 7741 17059 7358 288 6848 1873 18080 12620 10297 17952 15785 13118 11706 15150 18720 14517 1745 14134 16039 12492 10169 9657 12990 4307 11578 9274 18976 14389 1617 6161 12364 7996 17697 10041 3191 4179 9529 12862 11450 9146 18848 6976 5324 14261 20257 3026 17569 9913 753 4051 15024 6084 11322 5957 9018 16549 5451 6467 13881 15912 2898 9785 4435 625 11194 5578 8890 6721 57 1425 15659 2770 17442 9402 497 3795 11066 185 8762 8634 8379 19873 1297 4688 2642 5831 16805 3667 10938 5198 6289 17825 4815 19745 1169 2514 16933 7231 14771 16677 14644 3539 18593 16422 10810 6594 16167 5070 13631 12219 19617 15532 1041 15277 2386 2258 7104 829 18465 3411 10682 4942 8124 13503 12091 913 15404 7615 17187 2130 18337 10554 13759 8252 13375 4562 11963 19361 17315 7487 14898 5705 2002 16295 12749 18209 14008 10426 7869 13247 7742 11835 7359 17060 289 6849 1874 8507 12621 18081 10298 17953 15786 13119 11707 15151 19105 18721 14518 1746 14135 16040 12493 10170 12991 9658 4308 11579 9275 14390 1618 6162 12365 10042 17698 7997 3192 4180 9530 12863 11451 9147 18849 6977 5325 14262 20258 3027 9914 17570 754 6085 15025 4052 11323 5958 9019 16550 5452 6468 15913 13882 2899 9786 626 3924 11195 5579 8891 6722 58 1426 20002 15660 17443 2771 9403 498 3796 11067 186 8763 8635 8380 1298 4436 2643 5832 16806 3668 10939 6290 5199 4816 17826 1170 4689 2515 7232 14645 16678 18594 3540 10811 16423 6595 16168 5071 13632 12220 1042 19618 15533 15278 2387 2259 830 14772 3412 18466 10683 4943 13504 8125 12092 19490 15405 914 7616 17188 16934 2131 7105 18338 3284 10555 13760 8253 13376 11964 4563 17316 7488 14899 5706 2003 16296 12750 18210 10427 14009 7870 13248 7743 11836 7360 17061 290 1875 6850 8508 12622 18082 10299 17954 15787 13120 11708 15152 19106 18722 14519 1747 14136 16041 12494 10171 12992 9659 11580 18978 9276 14391 1619 6163 12366 7998 17699 10043 3193 12864 9531 4181 11452 18850 9148 6978 14263 5326 3028 9915 17571 755 4053 15026 6086 5959 11324 9020 16551 5453 6469 13883 15914 2900 9787 627 11196 5580 8892 6723 59 20003 1427 15661 2772 17444 9404 499 3797 11068 187 8764 8636 8381 19875 1299 4437 2644 5833 16807 3669 10940 6291 5200 4817 17827 1171 4690 19747 2516 7233 14646 16679 3541 18595 10812 6596 16169 5072 13633 12221 1043 15534 15279 2388 2260 14773 831 3413 18467 16424 10684 4944 8126 13505 12093 19491 15406 915 7617 17189 16935 7106 2132 18339 3285 10556 13761 8254 13377 11965 17317 7489 14900 2004 16297 18211 12751 10428 14010 4564 7871 13249 11837 7744 19235 17062 7361 291 6851 1876 8509 18083 12623 10300 17955 15788 13121 11709 15153 5707 18723 14520 1748 14137 16042 12495 10172 9660 12993 4310 11581 9277 14392 1620 6164 12367 10044 17700 7999 3194 4182 9532 12865 11453 9149 18851 6979 14264 5327 3029 17572 9916 756 6087 4054 11325 5960 9021 16552 6470 20132 15915 13884 2901 9788 628 15027 3926 11197 5581 8893 6724 5454 60 1428 17445 2773 9405 500 3798 11069 188 8765 8637 8382 1300 4438 2645 5834 16808 3670 10941 5201 6292 17828 4818 4691 19748 15662 1172 2517 7234 16680 14647 3542 18596 10813 6597 16170 5073 13634 12222 19620 15535 1044 15280 2389 2261 832 14774 18468 16425 3414 10685 4945 13506 8127 12094 916 15407 7618 17190 16936 2133 7107 18340 10557 8255 13378 11966 17318 7490 14901 2005 16298 12752 18212 13762 14011 10429 4565 7872 13250 7745 11838 19236 7362 17063 292 6852 1877 8510 12624 18084 10301 17956 15789 13122 11710 15154 19108 5708 14521 1749 14138 16043 12496 10173 4311 12994 9661 11582 18980 9278 18724 14393 1621 6165 12368 17701 10045 8000 3195 4183 9533 12866 11454 9150 18852 6980 14265 3030 17573 9917 757 6088 4055 5961 11326 9022 16553 5328 6471 20133 13885 15916 2902 9789 15028 629 11198 8894 5582 6725 5455 61 1429 20005 17446 2774 9406 501 3799 11070 189 8766 8638 8383 1301 19877 4439 2646 5835 16809 3671 10942 5202 6293 4819 17829 1173 4692 15663 2518 7235 16681 14648 18597 3543 10814 6598 16171 5074 13635 12223 1045 19621 15536 2390 2262 14775 833 18469 16426 3415 10686 4946 13507 8128 12095 917 15408 7619 15281 16937 7108 2134 18341 3287 10558 13379 11967 19365 17319 17191 7491 14902 2006 16299 12753 18213 10430 13763 14012 8256 13251 4566 7746 11839 17064 7363 293 1878 6853 8511 12625 18085 10302 17957 15790 7873 13123 11711 15155 5709 14522 1750 14139 16044 12497 10174 12995 9662 11583 9279 18981 18725 14394 1622 6166 12369 8001 10046 17702 3196 9534 12867 4184 11455 18853 9151 6981 14266 20262 3031 9918 17574 758 4056 6089 5962 11327 9023 16554 5329 6472 15917 13886 2903 9790 630 15029 3928 11199 8895 5456 6726 62 1430 2775 17447 9407 502 3800 11071 5583 190 8767 8639 8384 19878 1302 4440 2647 5836 16810 3672 10943 5203 6294 4820 17830 19750 15664 4693 2519 7236 16682 14649 3544 18598 10815 6599 16172 5075 13636 12224 1046 15537 2391 2263 834 3416 18470 16427 10687 4947 8129 13508 12096 15409 918 7620 15282 2135 7109 14776 3288 18342 10559 13380 11968 19366 17320 7492 17192 16938 14903 2007 16300 12754 18214 10431 13764 14013 8257 4567 13252 7747 11840 19238 17065 7364 294 6854 1879 8512 18086 12626 10303 17958 15791 7874 13124 11712 15156 19110 5710 14523 1751 14140 16045 12498 10175 9663 12996 4313 11584 9280 18726 14395 1623 6167 12370 17703 10047 8002 3197 4185 9535 12868 11456 9152 18854 6982 14267 20263 3032 17575 9919 759 6090 4057 11328 5963 9024 16555 5330 6473 20135 13887 15918 2904 9791 15030 631 11200 8896 6727 5457 63 1431 20007 2776 17448 9408 503 3801 11072 5584 191 8768 8640 8385 1303 4441 2648 5837 16811 3673 10944 6295 5204 17831 4821 19751 15665 1175 2520 7237 16683 3545 18599 10816 6600 16173 5076 13637 12225 4694 15538 1047 2392 2264 835 14650 18471 3417 10688 4948 8130 13509 12097 19495 15410 919 15283 7621 7110 14777 2136 16428 18343 10560 13381 11969 17321 17193 7493 16939 14904 2008 16301 18215 12755 13765 10432 8258 4568 13253 11841 7748 7365 17066 295 6855 1880 8513 14014 18087 12627 10304 17959 15792 7875 13125 11713 15157 19111 5711 14524 1752 14141 16046 12499 10176 4314 9664 12997 11585 18983 9281 18727 14396 1624 6168 12371 10048 17704 8003 3198 4186 12869 9536 11457 9153 18855 6983 14268 3033 17576 9920 760 4058 6091 5964 11329 9025 16556 5331 6474 15919 13888 2905 9792 632 15031 3930 11201 8897 6728 5458 64 1432 20008 17449 2777 9409 3802 11073 192 5585 8769 8641 8386 1304 19880 4442 5838 16812 3674 10945 5205 6296 17832 4822 15666 1176 2521 7238 16684 18600 3546 10817 6601 16174 5077 13638 12226 4695 1048 15539 2393 2265 836 14651 3418 18472 10689 4949 13510 8131 12098 19496 15411 920 15284 7622 2137 14778 7111 16429 18344 3290 10561 13382 11970 19368 17322 17194 7494 16940 14905 2009 16302 12756 18216 10433 13766 8259 4569 13254 11842 19240 17067 7366 296 1881 6856 8514 12628 14015 18088 10305 17960 15793 7876 7749 13126 11714 15158 5712 14525 1753 14142 16047 12500 10177 12998 9665 11586 9282 18984 18728 14397 1625 6169 12372 8004 17705 10049 3199 12870 9537 4187 11458 18856 9154 6984 14269 20265 3034 9921 17577 761 4059 6092 11330 5965 9026 16557 5332 6475 20137 13889 15920 2906 9793 15032 633 3931 11202 8898 6729 5459 65 1433 2778 17450 9410 505 3803 11074 193 5586 8770 8642 8387 19881 1305 2650 5839 16813 3675 10946 5206 6297 4823 17833 15667 4443 2522 7239 16685 3547 18601 10818 6602 16175 5078 13639 12227 4696 1049 19625 15540 2394 2266 837 14652 3419 18473 10690 4950 8132 13511 12099 921 15412 15285 7623 7112 14779 2138 16430 18345 3291 10562 13383 11971 17323 7495 16941 14906 2010 16303 12757 18217 10434 13767 8260 13255 4570 11843 19241 17195 17068 7367 297 1882 6857 8515 18089 14016 12629 17961 10306 15794 7877 13127 7750 11715 15159 19113 5713 14526 1754 14143 16048 12501 10178 9666 12999 4316 11587 9283 18729 14398 1626 6170 12373 8005 10050 17706 3200 4188 9538 12871 11459 9155 18857 6985 14270 3035 17578 9922 762 6093 4060 5966 11331 9027 16558 6476 20138 15921 13890 2907 9794 634 11203 8899 6730 5460 66 5333 1434 20010 2779 17451 9411 506 3804 11075 194 5587 8771 8643 8388 1306 15033 5840 16814 3676 10947 5207 6298 17834 4824 15668 1178 4444 2523 7240 16686 3548 18602 10819 6603 16176 5079 13640 12228 4697 19626 15541 1050 2267 838 14653 18474 3420 10691 4951 8133 13512 12100 19498 15413 7624 15286 2139 7113 16431 18346 10563 13384 11972 19370 17324 7496 16942 14907 14780 2011 16304 12758 18218 10435 8261 13256 11844 17196 7368 17069 298 6858 1883 8516 14017 18090 12630 10307 17962 15795 4571 7878 7751 13128 11716 15160 19114 14527 1755 14144 13768 16049 12502 10179 13000 9667 4317 11588 9284 5714 18730 14399 1627 6171 12374 17707 10051 8006 3201 4189 9539 12872 11460 9156 18858 6986 14271 20267 3036 17579 9923 763 4061 6094 11332 5967 9028 16559 6477 13891 15922 2908 9795 635 3933 11204 8900 6731 5461 67 5334 1435 20011 17452 2780 9412 507 3805 11076 771 5588 8772 8644 8389 1307 2652 15034 16815 5841 3677 10948 5208 6299 4825 17835 1179 19755 15669 4445 2524 7241 16687 18603 3549 10820 6604 5080 13641 12229 4698 1051 15542 2396 2268 839 18475 3421 10692 16177 4952 13513 8134 12101 923 15414 15287 7625 7114 2140 14654 16432 18347 3293 10564 13385 11973 19371 17325 7497 14908 14781 2012 16305 18219 12759 10436 13257 11845 19243 17197 17070 7369 16943 299 1884 6859 8517 12631 14018 18091 17963 10308 15796 4572 7879 7752 13129 11717 15161 14528 1756 14145 13769 16050 8262 12503 10180 4318 13001 9668 11589 9285 5715 18731 14400 1628 6172 12375 8007 17708 10052 3202 12873 9540 4190 11461 18859 9157 6987 14272 20268 3037 17580 9924 764 6095 4062 5968 11333 9029 16560 6478 20140 15923 13892 2909 9796 636 11205 8901 68 5462 6732 5335 1436 2781 17453 9413 508 3806 11077 5589 772 8773 8645 8390 1308 15035 16816 3678 10949 6300 5209 17836 4826 1180 19756 15670 4446 2525 7242 5842 16688 3550 18604 10821 6605 5081 13642 12230 4699 1052 19628 15543 2397 2269 840 3422 18476 10693 16178 4953 8135 13514 12102 19500 15415 924 15288 7626 2141 7115 14655 16433 3294 18348 10565 13386 11974 17326 7498 14782 2013 16306 12760 18220 10437 13258 11846 19244 17198 17071 7370 16944 14909 300 1885 6860 8518 14019 18092 12632 10309 17964 15797 4573 7880 7753 13130 11718 15162 14529 1757 14146 16051 13770 8263 12504 10181 9669 13002 4319 11590 18988 9286 5716 18732 14401 1629 6173 12376 17709 10053 8008 3203 4191 9541 12874 11462 9158 18860 6988 14273 3038 17581 9925 765 6096 4063 5969 11334 9030 16561 6479 20141 13893 15924 2910 9797 637 3935 11206 8902 6733 5463 69 5336 1437 2782 17454 9414 509 3807 11078 773 8774 8646 8391 19885 1309 2654 15036 16817 3679 5590 10950 5210 6301 4827 17837 15671 1181 4447 2526 7243 5843 16689 3551 18605 10822 6606 5082 13643 12231 4700 1053 15544 2270 841 18477 3423 10694 16179 4954 8136 13515 12103 19501 15416 925 15289 7627 2142 14656 18349 10566 13387 11975 19373 17327 7499 7116 14783 2014 16307 12761 18221 10438 13259 11847 17199 7371 17072 16945 14910 301 6861 1886 16434 8519 12633 18093 14020 17965 10310 15798 4574 7881 7754 13131 11719 15163 14530 1758 14147 13771 16052 8264 12505 10182 4320 13003 9670 11591 9287 18989 5717 18733 14402 1630 6174 12377 17710 10054 8009 3204 4192 12875 9542 11463 9159 18861 6989 14274 20270 3039 9926 17582 766 4064 6097 5970 11335 9031 16562 6480 13894 15925 2911 9798 638 3936 11207 8903 70 5464 6734 5337 1438 17455 2783 9415 510 3808 11079 774 8775 8647 8392 1310 19886 15037 16818 3680 5591 10951 5211 6302 4828 17838 1182 15672 19758 2527 7244 5844 16690 18606 3552 10823 6607 5083 13644 12232 1054 15545 19630 4448 2399 2271 842 3424 18478 10695 16180 4955 13516 8137 4701 12104 926 15417 15290 7628 2143 14657 18350 3296 10567 13388 11976 17328 19374 7500 7117 14784 2015 16308 12762 18222 10439 13260 11848 17200 17073 7372 16946 14911 302 1887 6862 16435 8520 12634 18094 17966 10311 4575 13132 7755 11720 15164 19118 14531 1759 14148 13772 14021 16053 12506 8265 15799 10183 4321 13004 9671 11592 9288 5718 18734 14403 1631 6175 12378 8010 17711 10055 3205 9543 12876 4193 11464 9160 18862 6990 14275 20271 3040 17583 9927 767 4065 6098 5971 11336 9032 16563 6481 15926 13895 2912 9799 639 11208 8904 5465 6735 71 5338 1439 20015 2784 17456 9416 3809 11080 775 8776 8648 8393 1311 2656 15038 16819 3681 5592 10952 6303 5212 4829 17839 1183 2528 7245 5845 16691 3553 18607 10824 6608 5084 13645 12233 15673 1055 15546 19631 4449 2400 2272 843 3425 18479 10696 4956 8138 13517 4702 12105 15418 927 19503 15291 7629 2144 14658 3297 18351 16181 10568 13389 11977 17329 7501 7118 14785 2016 16309 12763 18223 10440 13261 11849 17201 17074 7373 14912 303 1888 6863 16436 8521 12635 18095 10312 17967 7883 13133 11721 15165 19119 16947 14532 1760 14149 13773 14022 16054 8266 12507 15800 10184 4576 7756 9672 13005 4322 11593 9289 18991 18735 14404 1632 6176 12379 10056 8011 17712 3206 4194 9544 12877 11465 9161 18863 5719 6991 14276 3041 9928 17584 768 6099 4066 5972 11337 9033 16564 6482 15927 2913 9800 640 3938 11209 8905 6736 5466 72 13896 1440 20016 2785 17457 9417 512 3810 11081 776 8777 8649 8394 19888 15039 16820 3682 5593 10953 5339 5213 6304 4830 17840 1184 19760 2529 7246 16692 3554 18608 10825 6609 5085 13646 12234 15674 1056 15547 4450 2401 2273 844 5846 3426 18480 10697 4957 8139 13518 4703 12106 15419 928 19504 15292 7630 2145 18352 10569 16182 13390 11978 17330 7502 14786 7119 14659 2017 16310 12764 18224 10441 13262 11850 19248 17202 7374 17075 14913 304 6864 1889 16437 8522 12636 18096 10313 17968 7884 13134 11722 15166 16948 14533 1761 14150 14023 13774 16055 12508 10185 15801 4577 7757 13006 9673 4323 11594 9290 18736 14405 1633 6177 8267 12380 10057 8012 17713 3207 4195 12878 9545 11466 9162 18864 5720 6992 14277 3042 9929 17585 769 6100 4067 5973 11338 9034 6483 20145 15928 2914 9801 641 11210 8906 5467 6737 73 1441 13897 2786 17458 9418 513 3811 11082 777 16565 8778 8650 1313 2658 16821 3683 10954 5594 5340 6305 5214 4831 17841 1185 19761 2530 15040 7247 16693 3555 18609 10826 6610 5086 13647 12235 15675 1057 19633 15548 4451 2402 2274 845 5847 3427 18481 10698 4958 8140 13519 12107 4704 929 15420 7631 15293 2146 3299 18353 10570 16183 13391 11979 17331 7503 14787 2018 14660 16311 12765 18225 10442 13263 11851 19249 17203 7375 17076 14914 7120 305 1890 16438 8523 12637 18097 10314 17969 7885 13135 11723 15167 19121 16949 6865 14534 1762 14151 14024 16056 12509 10186 15802 4578 7758 4324 13007 9674 11595 9291 18993 18737 14406 1634 13775 6178 8268 12381 8013 10058 17714 3208 9546 12879 4196 11467 9163 18865 5721 6993 14278 3043 9930 17586 770 6101 4068 5974 11339 9035 6484 20146 15929 2915 9802 642 3940 11211 8907 74 5468 6738 1442 20018 13898 17459 9419 3812 11083 778 16566 8779 8651 8396 1314 19890 16822 3684 10955 5341 5215 6306 17842 1186 2531 15041 7248 16694 3556 5595 10827 6611 5087 13648 4832 12236 15676 1058 19634 15549 4452 2403 2275 846 5848 18610 3428 18482 10699 4959 8141 13520 12108 930 15421 7632 15294 2147 3300 18354 10571 16184 4705 13392 11980 19378 17332 7504 14788 2019 14661 16312 12766 18226 10443 13264 11852 17204 7376 17077 14915 7121 306 1891 8524 12638 18098 10315 17970 7886 13136 11724 16950 6866 14535 1763 16439 14152 16057 14025 12510 10187 4579 7759 9675 13008 4325 11596 15168 9292 18994 18738 14407 1635 13776 6179 8269 12382 15803 8014 10059 17715 4197 9547 12880 11468 9164 18866 5722 6994 14279 20275 3044 9931 17587 3081 4069 6102 5975 11340 9036 6485 15930 2916 9803 643 3941 11212 8908 6739 5469 75 13899 1443 2788 17460 9420 515 3813 11084 779 16567 8780 8652 8397 1315 19891 1545 2660 16823 3685 10956 5342 5216 6307 17843 1187 19763 2532 15042 7249 16695 3557 5596 10828 6612 5088 13649 4833 12237 15677 1059 15550 2404 2276 847 5849 18611 3429 18483 10700 4960 8142 13521 12109 4453 931 15422 7633 15295 2148 18355 10572 4706 13393 11981 19379 17333 7505 14789 2020 14662 16313 12767 18227 16185 10444 13265 11853 19251 17205 7377 17078 7122 307 1892 8525 12639 18099 10316 17971 7887 13137 11725 19123 16951 14916 6867 14536 1764 16440 14153 16058 12511 10188 4580 7760 4326 13009 9676 15169 11597 9293 18739 14408 1636 6180 13777 14026 8270 12383 15804 10060 8015 17716 4198 12881 9548 11469 9165 18867 5723 6995 14280 20276 3045 17588 9932 3082 6103 4070 5976 11341 9037 6486 20148 15931 2917 9804 644 11213 8909 6740 5470 76 1444 13900 20020 2789 17461 9421 516 3814 11085 780 16568 8781 8653 8398 1316 1546 16824 3686 10957 6308 5217 17844 1188 19764 2533 15043 7250 16696 5597 3558 10829 5343 6613 5089 13650 12238 4834 15678 1060 15551 2405 2277 5850 848 18612 3430 18484 10701 4961 13522 8143 12110 932 4454 19508 15423 7634 15296 2149 3302 18356 10573 13394 4707 11982 17334 7506 14790 2021 14663 16314 12768 18228 16186 10445 13266 11854 17206 7378 17079 7123 308 1893 8526 12640 18100 17972 10317 7888 13138 11726 19124 14917 14537 6868 1765 16441 14154 16059 12512 10189 4581 4327 13010 9677 11598 15170 9294 18996 16952 18740 14409 1637 13778 6181 14027 12384 15805 8016 17717 10061 7761 9549 12882 4199 11470 18868 9166 6996 5724 14281 8271 3046 17589 9933 3083 4071 6104 5977 11342 9038 15932 2918 9805 645 3943 11214 8910 5471 77 6741 6487 13901 1445 20021 2790 17462 9422 3815 11086 781 16569 8782 8654 8399 1317 19893 2662 1547 16825 3687 10958 5218 6309 17845 1189 2534 15044 7251 16697 5598 3559 10830 5344 6614 5090 13651 4835 12239 1061 15552 2406 2278 849 18613 3431 18485 10702 4962 13523 8144 12111 4455 933 19509 15424 7635 15297 5851 2150 3303 18357 10574 4708 15679 13395 11983 19381 17335 7507 14791 2022 14664 16315 12769 18229 16187 10446 13267 11855 19253 17207 17080 7379 309 1894 8527 12641 18101 17973 10318 7889 13139 11727 14918 7124 14538 1766 16442 14155 16060 12513 10190 4582 4328 9678 13011 15171 11599 18997 16953 9295 18741 6869 14410 1638 6182 14028 13779 12385 15806 10062 17718 8017 7762 4200 9550 12883 11471 9167 18869 6997 14282 20278 8272 3047 17590 9934 3084 4072 6105 5978 11343 9039 20150 15933 2919 9806 646 11215 5725 8911 5472 78 6742 6488 1446 13902 2791 17463 9423 518 3816 11087 782 16570 8783 8655 8400 1318 19894 1548 16826 3688 10959 6310 5219 17846 1190 2535 7252 16698 3560 5599 10831 5345 6615 5091 13652 4836 12240 1062 19638 15553 2407 15045 2279 850 18614 3432 18486 10703 4963 8145 13524 12112 4456 934 15425 7636 15298 2151 5852 18358 10575 4709 15680 13396 11984 17336 7508 14792 2023 16316 12770 18230 16188 10447 13268 11856 19254 17208 17081 7380 310 1895 8528 12642 18102 10319 17974 7890 13140 11728 19126 14919 7125 14665 14539 1767 14156 16061 12514 10191 4329 9679 13012 11600 16954 9296 18742 6870 16443 14411 1639 14029 6183 12386 17719 10063 8018 4583 7763 4201 9551 12884 15172 11472 9168 18870 6998 14283 13780 8273 15807 3048 9935 17591 3085 4073 6106 5979 11344 9040 20151 15934 2920 9807 647 3945 11216 5726 8912 6743 79 5473 6489 1447 20023 17464 9424 519 3817 11088 783 8784 8656 8401 13903 1319 2664 1549 16827 3689 10960 6311 5220 17847 1191 2536 7253 16699 5600 3561 16571 10832 6616 5346 5092 13653 4837 12241 1063 19639 15554 2408 15046 2280 851 18615 3433 18487 10704 4964 8146 13525 12113 935 4457 19511 15426 7637 15299 2152 5853 3305 18359 10576 4710 15681 13397 11985 19383 17337 7509 14793 2024 16317 12771 18231 10448 13269 11857 17209 7381 17082 311 1896 16189 8529 12643 18103 17975 10320 7891 13141 11729 19127 14920 7126 14666 14540 1768 14157 16062 12515 10192 4330 9680 13013 11601 9297 16955 18743 6871 16444 14412 1640 6184 14030 12387 8019 10064 17720 4584 7764 9552 15173 12885 4202 11473 18871 9169 6999 14284 20280 13781 8274 15808 3049 9936 17592 3086 6107 4074 11345 5980 9041 15935 2921 9808 648 11217 5727 8913 80 6744 5474 6490 1448 20024 2793 17465 9425 3818 11089 784 8785 8657 8402 13904 1320 1550 16828 3690 10961 5221 6312 1192 19768 2537 7254 16700 3562 16572 5601 10833 6617 5347 5093 13654 12242 17848 4838 1064 15555 2409 15047 2281 852 18616 3434 18488 10705 4965 8147 13526 12114 4458 936 15427 15300 7638 2153 5854 3306 18360 10577 13398 15682 4711 11986 19384 17338 7510 14794 2025 16318 12772 18232 10449 13270 11858 19256 17210 17083 7382 312 1897 8530 16190 12644 18104 10321 17976 7892 13142 11730 7127 14667 14541 1769 14158 16063 12516 10193 9681 13014 4331 11602 9298 14921 18744 6872 16445 14413 1641 14031 6185 12388 17721 10065 8020 4585 7765 4203 15174 9553 12886 11474 16956 9170 18872 7000 14285 20281 13782 8275 15809 3050 9937 17593 3087 6108 4075 5981 11346 9042 20153 15936 2922 9809 649 3947 11218 5728 8914 81 6745 5475 1449 2794 17466 9426 521 3819 11090 785 8786 8658 6491 13905 1321 1551 2666 16829 3691 10962 6313 5222 19769 1193 2538 7255 16701 3563 16573 10834 6618 5094 13655 17849 12243 1065 19641 15556 15048 2282 853 5602 18617 18489 3435 5348 10706 4966 4839 8148 13527 12115 19513 15428 4459 937 15301 5855 2154 18361 10578 15683 13399 11987 7639 17339 7511 14795 2026 16319 12773 18233 10450 4712 13271 11859 19257 17211 17084 7383 313 1898 16191 8531 12645 18105 17977 10322 7893 13143 11731 14668 14542 1770 14159 16064 12517 10194 13015 9682 4332 11603 19001 14922 9299 7128 18745 16446 14414 1642 14032 6186 12389 10066 17722 8021 4586 7766 4204 9554 12887 15175 11475 16957 9171 18873 7001 6873 14286 13783 8276 15810 3051 9938 17594 3088 6109 4076 5982 11347 9043 20154 15937 2923 9810 650 3948 11219 5729 8915 6746 5476 82 1450 2795 17467 9427 522 3820 11091 786 8787 8659 6492 8404 13906 1322 19898 1552 16830 3692 10963 6314 5223 1194 2539 7256 16702 16574 3564 10835 6619 5095 13656 17850 12244 15557 1066 15049 2411 2283 854 5603 18618 3436 18490 5349 10707 4967 4840 13528 8149 12116 938 19514 15429 15302 2155 5856 18362 3308 10579 13400 15684 11988 4460 7640 19386 17340 7512 14796 2027 16320 12774 18234 10451 4713 13272 11860 17212 7384 17085 314 1899 16192 8532 18106 12646 10323 17978 7894 13144 11732 14543 1771 14160 16065 12518 10195 4333 13016 11604 9300 19002 14923 7129 14669 18746 16447 14415 1643 6187 12390 8022 17723 10067 7767 9683 9555 12888 15176 4205 11476 16958 18874 9172 7002 6874 14287 20283 14033 13784 8277 15811 3052 4587 9939 17595 3089 4077 6110 11348 5983 9044 15938 2924 9811 651 11220 5730 8916 6747 5477 83 1451 17468 2796 9428 3821 11092 787 8788 8660 6493 8405 13907 19899 1323 2668 1553 16831 3693 10964 5224 6315 19771 1195 2540 7257 16703 3565 16575 10836 6620 5096 13657 17851 12245 1067 19643 15558 15050 2412 2284 855 5604 18619 3437 18491 10708 5350 4968 4841 13529 8150 12117 15430 939 15303 5857 2156 18363 3309 10580 15685 13401 11989 4461 7641 19387 17341 7513 14797 2028 16321 18235 12775 10452 4714 13273 11861 17213 17086 7385 315 1900 8533 16193 12647 18107 17979 10324 7895 13145 11733 19131 14544 1772 14161 16066 12519 10196 13017 4334 11605 9301 14924 7130 14670 18747 16448 14416 1644 6188 12391 10068 17724 8023 9684 9556 12889 4206 11477 16959 9173 18875 7003 6875 14288 20284 14034 8278 15812 3053 9940 17596 4588 7768 15177 3090 6111 4078 11349 9045 13785 15939 2925 9812 652 5984 3950 11221 5731 8917 84 5478 6748 20028 1452 17469 524 3822 11093 788 8789 8661 6494 8406 1324 1554 9429 16832 10965 6316 5225 13908 1196 2541 7258 16704 3566 16576 10837 6621 5097 13658 12246 1068 19644 15559 2413 2285 856 5605 18492 3438 10709 5351 4969 4842 8151 17852 13530 12118 19516 15431 940 15304 2157 18620 18364 10581 13402 15686 11990 4462 7642 17342 7514 15051 5858 14798 2029 16322 12776 18236 10453 4715 13274 11862 17214 17087 7386 316 1901 8534 16194 12648 18108 10325 17980 7896 13146 11734 19132 14545 1773 195 14162 16067 12520 10197 4335 13018 11606 19004 14925 9302 7131 18748 14671 16449 14417 1645 6189 12392 17725 10069 8024 9685 4207 9557 12890 11478 16960 9174 18876 7004 6876 14289 14035 8279 15813 3054 9941 17597 4589 7769 3091 15178 6112 4079 11350 9046 13786 15940 2926 9813 653 5985 11222 5732 8918 6749 5479 85 20029 1453 17470 2798 525 3823 11094 789 8790 8662 8407 1325 19901 2670 1555 9430 16833 3695 10966 6317 6495 5226 13909 1197 19773 2542 7259 16705 16577 3567 10838 6622 5098 13659 12247 15560 1069 2414 2286 857 18493 3439 10710 5352 4970 13531 17853 8152 4843 12119 941 19517 15432 15305 2158 5606 18621 18365 3311 10582 15687 13403 11991 4463 17343 7643 7515 15052 5859 14799 2030 16323 12777 18237 10454 4716 13275 11863 19261 17215 7387 17088 317 1902 16195 8535 12649 18109 17981 10326 7897 13147 11735 14546 1774 196 14163 16068 12521 10198 4336 13019 11607 9303 14926 7132 18749 14672 16450 14418 1646 6190 12393 8025 10070 17726 9686 12891 9558 4208 11479 18877 9175 7005 14290 14036 15814 3055 4590 9942 17598 7770 15179 3092 6113 4080 16961 11351 9047 6877 20158 13787 15941 2927 9814 654 3952 5986 11223 8919 86 6750 5480 8280 1454 2799 17471 3824 5733 11095 790 8791 8663 8408 1326 2671 1556 16834 3696 10967 5227 6496 6318 13910 19774 1198 2543 7260 16706 3568 16578 10839 6623 5099 13660 12248 1070 19646 15561 2415 2287 858 3440 18494 10711 4971 8153 13532 17854 12120 15433 942 15306 2159 5607 18622 3312 5353 18366 10583 4844 15688 13404 11992 4464 17344 7516 15053 5860 14800 2031 16324 12778 18238 10455 4717 13276 11864 7644 19262 17216 17089 7388 318 1903 8536 16196 18110 12650 10327 17982 7898 13148 11736 19134 14547 1775 197 16069 12522 10199 13020 4337 11608 9304 19006 14927 7133 18750 14673 16451 14419 1647 14164 6191 12394 17727 10071 8026 9687 4209 9559 12892 11480 9176 18878 7006 14291 3056 4591 9943 17599 7771 3093 15180 4081 6114 11352 16962 9048 6878 13788 14037 20159 15942 15815 2928 9815 655 3953 5987 11224 8920 5481 6751 87 20031 8281 1455 2800 17472 527 3825 5734 11096 791 8792 8664 8409 1327 19903 1557 2672 9432 16835 10968 5228 6319 6497 13911 1199 2544 7261 16707 3569 16579 10840 6624 5100 13661 12249 1071 19647 15562 2416 2288 859 18495 3441 10712 4972 17855 8154 13533 12121 15434 943 15307 2160 18623 5608 5354 18367 10584 4845 13405 11993 19391 17345 7517 15054 5861 14801 2032 16325 18239 12779 10456 4718 15689 13277 4465 11865 7645 17217 17090 7389 319 1904 8537 16197 18111 12651 17983 10328 7899 13149 11737 14548 1776 198 16070 12523 10200 4338 13021 11609 19007 9305 18751 16452 14420 1648 14165 6192 12395 10072 17728 8027 9688 4210 12893 9560 11481 14928 9177 18879 14674 7007 14292 20288 3057 4592 17600 9944 7772 15181 3094 6115 4082 11353 16963 7134 9049 13789 14038 15943 15816 2929 9816 656 3954 11225 8921 88 6752 5482 8282 1456 17473 2801 528 5988 3826 11097 5735 792 8793 8665 8410 1328 19904 2673 1558 16836 3698 10969 5229 6320 6498 13912 1200 19776 2545 9433 7262 16708 16580 3570 10841 6625 5101 13662 12250 15563 1072 2417 2289 860 3442 18496 10713 4973 13534 17856 8155 12122 944 15435 15308 2161 5609 18624 18368 5355 3314 10585 4846 13406 11994 19392 17346 7518 15055 14802 5862 2033 16326 12780 18240 10457 15690 4719 13278 4466 11866 7646 19264 17218 7390 17091 320 1905 16198 8538 12652 18112 10329 17984 7900 13150 11738 19136 14549 1777 199 16071 12524 10201 13022 4339 11610 9306 18752 16453 14421 1649 14166 6193 12396 8028 17729 10073 9689 12894 9561 4211 11482 14929 18880 9178 14675 7008 14293 20289 3058 9945 17601 4593 7773 15182 3095 4083 6116 16964 11354 7135 9050 6880 13790 20161 14039 15944 15817 2930 9817 657 3955 11226 8922 6753 5483 89 20033 8283 1457 2802 17474 529 5989 3827 5736 11098 793 8794 8411 1329 2674 1559 16837 10970 6499 5230 6321 13913 19777 1201 2546 9434 7263 16709 3571 16581 10842 6626 5102 13663 12251 1073 15564 2418 2290 861 3443 18497 10714 4974 8156 13535 17857 12123 19521 15436 945 15309 2162 5610 18625 18369 5356 3315 10586 4847 13407 11995 17347 7519 15056 14803 2034 16327 12781 18241 10458 15691 4720 13279 11867 4467 7647 17219 17092 7391 5863 321 1906 16199 8539 12653 18113 17985 10330 7901 13151 11739 19137 14550 1778 200 16072 12525 10202 13023 4340 11611 9307 19009 18753 16454 14422 1650 14167 6194 12397 17730 10074 8029 9690 4212 9562 12895 11483 14930 9179 18881 7009 14676 14294 3059 9946 17602 7774 15183 3096 4084 6117 11355 16965 7136 9051 6881 14040 13791 15945 15818 2931 4594 9818 658 3956 11227 8923 90 5484 6754 20034 8284 2803 17475 530 5990 3828 11099 5737 794 8795 8667 8412 1330 19906 1560 2675 16838 3700 10971 6500 5231 6322 13914 1202 2547 7264 16710 3572 16582 10843 6627 5103 13664 12252 1074 15565 2419 2291 862 18498 3444 10715 4975 17858 8157 13536 12124 19522 15437 946 2163 5611 18626 18370 10587 4848 13408 11996 19394 17348 15310 7520 15057 14804 2035 5357 16328 12782 18242 10459 4721 15692 13280 4468 11868 7648 19266 17220 17093 7392 5864 322 1907 8540 16200 18114 12654 10331 17986 7902 13152 11740 14551 1779 201 16073 12526 10203 4341 13024 11612 19010 9308 18754 16455 14423 1651 14168 6195 12398 8030 17731 10075 9691 9563 12896 4213 11484 14931 18882 9180 14677 7010 14295 20291 3060 9947 17603 7775 3097 6118 4085 11356 16966 7137 9052 14041 20163 15946 4595 2932 9819 15184 659 3957 11228 8924 91 6755 5485 13792 1459 15819 17476 2804 531 5991 3829 5738 11100 795 8796 8668 8413 8285 1331 19907 2676 1561 16839 3701 10972 6501 5232 6323 1203 2548 9436 7265 16711 16583 3573 10844 6628 5104 13665 13915 12253 19651 15566 1075 2420 2292 863 18499 3445 10716 4976 8158 13537 17859 12125 947 15438 2164 18627 5612 18371 3317 10588 4849 13409 11997 17349 15311 7521 15058 14805 2036 5358 16329 18243 12783 10460 4722 15693 13281 4469 11869 7649 19267 17221 7393 5865 323 1908 16201 8541 18115 12655 17987 10332 7903 13153 11741 19139 14552 1780 202 16074 12527 10204 4342 13025 11613 17094 9309 18755 16456 14424 1652 14169 6196 12399 17732 10076 8031 9692 9564 12897 4214 11485 18883 9181 14678 7011 14296 3061 9948 17604 7776 3098 4086 6119 14932 11357 7138 9053 6883 14042 20164 15947 2933 4596 9820 15185 660 3958 11229 8925 5486 6756 92 13793 20036 1460 15820 17477 16967 5992 532 3830 11101 5739 796 8797 8669 8414 8286 1332 2677 1562 16840 10973 6502 1204 2549 16712 3574 16584 10845 6629 6324 5105 13916 13666 12254 1076 19652 15567 2421 9437 2293 864 3446 18500 10717 5233 4977 8159 13538 17860 12126 19524 15439 948 7266 2165 18628 3318 18372 10589 13410 11998 19396 17350 15312 7522 14806 2037 5613 5359 16330 12784 18244 10461 4723 15694 13282 4470 11870 17222 15059 7394 5866 324 1909 8542 16202 12656 18116 10333 17988 4850 7904 13154 11742 19140 14553 1781 203 16075 12528 10205 7650 13026 4343 11614 17095 9310 18756 16457 14425 1653 14170 6197 12400 8032 17733 10077 9693 4215 9565 12898 11486 9182 18884 7012 14297 20293 3062 9949 17605 7777 3099 4087 6120 11358 14933 9054 14679 6884 14043 15948 4597 2934 9821 15186 661 3959 7139 11230 8926 6757 5487 13794 1461 20037 15821 17478 2806 16968 3831 11102 797 93 8798 8670 8415 8287 1333 1563 2678 5993 16841 5740 3703 10974 1205 19781 2550 16713 3575 16585 10846 6630 6503 6325 5106 13667 13917 12255 1077 15568 9438 2422 2294 865 18501 3447 10718 5234 4978 17861 8160 13539 12127 15440 949 7267 2166 18629 18373 10590 13411 11999 19397 17351 15313 7523 14807 2038 5614 16331 5360 12785 18245 10462 4724 13283 11871 4471 19269 17223 15060 7395 5867 325 1910 16203 8543 18117 12657 17989 10334 4851 7905 13155 11743 14554 1782 204 16076 12529 10206 15695 4344 7651 13027 11615 17096 9311 18757 16458 14426 1654 6198 12401 17734 10078 8033 9694 4216 12899 9566 11487 18885 9183 7013 14298 14171 20294 3063 9950 17606 7778 3100 6121 4088 11359 14934 14680 9055 6885 20166 15949 2935 4598 9822 15187 662 3960 11231 7140 8927 5488 6758 13795 14044 1462 15822 2807 17479 16969 534 3832 11103 798 8799 94 8671 8416 8288 1334 2679 1564 5994 16842 5741 10975 1206 19782 2551 16714 16586 3576 10847 6631 6326 6504 5107 13668 13918 12256 19654 15569 1078 2423 9439 2295 866 3448 18502 10719 5235 4979 8161 13540 17862 12128 950 19526 15441 7268 2167 18630 18374 3320 10591 13412 12000 17352 7524 14808 2039 5615 16332 12786 18246 10463 4725 13284 11872 15314 19270 17224 7396 15061 5868 326 1911 5361 16204 8544 12658 18118 17990 10335 4852 4472 13156 11744 14555 1783 205 16077 12530 10207 15696 7906 7652 13028 11616 17097 9312 19014 18758 16459 14427 1655 6199 12402 17735 10079 8034 9695 9567 12900 4217 11488 9184 18886 7014 14299 14172 3064 9951 17607 7779 3101 4089 6122 14935 11360 9056 14681 6886 20167 15950 4599 2936 9823 15188 663 3961 11232 7141 8928 5489 6759 14045 13796 1463 2808 17480 16970 535 3833 11104 799 95 8800 8672 8417 19911 15823 1335 2680 1565 5995 16843 407 5742 3705 10976 8289 1207 2552 16715 3577 16587 10848 6632 6505 6327 5108 13669 12257 1079 15570 9440 2424 2296 3449 18503 10720 5236 4980 13919 13541 17863 8162 12129 19527 15442 951 7269 2168 18631 18375 3321 10592 13413 12001 19399 17353 7525 14809 2040 5616 16333 12787 18247 10464 4726 13285 11873 15315 17225 7397 15062 5869 327 1912 5362 8545 16205 12659 18119 17991 10336 4853 13157 4473 11745 14556 1784 206 16078 12531 10208 15697 7907 7653 13029 4346 11617 17098 9313 19015 18759 16460 14428 1656 6200 12403 8035 10080 17736 9696 4218 9568 12901 11489 18887 9185 7015 14300 14173 20296 3065 17608 9952 7780 3102 4090 6123 14936 11361 14682 9057 6887 15951 2937 4600 9824 664 3962 11233 7142 8929 6760 5490 14046 1464 17481 2809 15189 16971 3834 11105 800 96 8801 8673 8418 13797 1336 19912 15824 1566 2681 5996 408 16844 5743 3706 10977 8290 1208 19784 2553 16716 16588 3578 10849 6633 6506 6328 5109 13670 12258 1080 19656 15571 2425 2297 18504 3450 10721 5237 4981 13920 8163 13542 12130 15443 952 9441 7270 2169 18632 18376 10593 13414 12002 19400 17354 7526 14810 2041 5617 16334 18248 12788 10465 17864 13286 11874 15316 17226 15063 7398 328 1913 5363 8546 16206 18120 12660 17992 10337 4854 4474 13158 11746 19144 5870 14557 1785 207 16079 12532 10209 4727 15698 7908 4347 13030 11618 17099 9314 16461 14429 1657 6201 12404 8036 17737 10081 7654 9697 4219 9569 12902 11490 9186 18888 18760 7016 14301 14174 20297 3066 17609 9953 7781 3103 6124 4091 11362 14937 9058 6888 15952 4601 2938 9825 665 3963 11234 14683 8930 5491 6761 14047 1465 20041 2810 17482 15190 16972 537 3835 7143 11106 801 8802 97 8674 13798 8419 1337 15825 2682 1567 5997 16845 409 5744 10978 8291 1209 2554 16717 16589 3579 10850 6634 6329 5110 13671 12259 19657 15572 1081 2426 18505 3451 10722 5238 6507 13921 4982 8164 13543 12131 953 19529 15444 9442 7271 2170 18633 18377 3323 10594 13415 12003 17355 7527 14811 2042 5618 16335 12789 18249 10466 17865 13287 11875 15317 17227 15064 7399 329 1914 5364 16207 8547 12661 18121 17993 10338 4855 13159 4475 11747 19145 5871 14558 1786 208 16080 12533 10210 4728 7909 13031 11619 9315 19017 16462 14430 1658 6202 12405 17738 15699 10082 8037 7655 9698 9570 12903 4220 11491 18889 9187 7017 18761 14302 14175 3067 9954 17610 7782 3104 4092 17100 6125 14938 11363 9059 6889 15953 2939 4602 9826 666 3964 11235 14684 8931 5492 6762 14048 20042 1466 17483 2811 15191 16973 538 7144 3836 11107 802 8803 8675 8420 13799 19914 15826 1338 2683 1568 5998 410 16846 3708 10979 98 8292 19786 1210 2555 5745 16718 3580 16590 10851 6635 5111 13672 12260 1082 15573 2427 2299 3452 18506 10723 6508 5239 4983 13922 13544 8165 12132 19530 15445 954 9443 2171 18634 3324 18378 6330 10595 13416 12004 7528 14812 2043 5619 16336 18250 12790 10467 17866 13288 11876 15318 19274 17228 15065 7400 7272 330 1915 5365 8548 16208 12662 18122 17994 10339 4856 13160 11748 17356 5872 1787 209 16081 12534 10211 4729 7910 4476 13032 4349 11620 9316 16463 14431 1659 6203 12406 8038 17739 15700 10083 7656 9699 9571 12904 4221 11492 18890 9188 18762 7018 14559 14303 3068 17611 9955 7783 3105 4093 17101 6126 11364 9060 6890 14176 20171 15954 2940 9827 667 3965 14939 11236 14685 8932 5493 6763 14049 1467 2812 17484 15192 16974 3837 7145 11108 8804 8676 13800 8421 1339 15827 4603 1569 2684 5999 16847 411 10980 99 8293 1211 19787 2556 5746 16719 16591 3581 391 10852 6636 5112 13673 12261 1083 19659 15574 2428 2300 18507 3453 10724 6509 5240 4984 13923 8166 13545 12133 15446 955 9444 2172 18635 18379 6331 10596 13417 12005 7529 14813 2044 5620 16337 18251 12791 10468 17867 13289 11877 19275 17229 7401 7273 331 1916 5366 16209 8549 18123 12663 17995 10340 13161 11749 17357 15319 19147 15066 5873 1788 210 16082 12535 4857 10212 4730 4477 4350 13033 11621 19019 9317 16464 14432 1660 6204 12407 8039 10084 17740 15701 7911 7657 9700 4222 9572 12905 11493 9189 18891 7019 18763 14560 14304 3069 9956 17612 7784 3106 17102 6127 4094 11365 9061 6891 14177 20172 15955 2941 9828 668 14940 3966 11237 14686 8933 5494 6764 14050 1468 20044 17485 2813 15193 16975 540 7146 3838 11109 8805 8677 13801 8422 1340 19916 4604 2685 1570 412 16848 3710 10981 100 8294 15828 1212 2557 6000 16720 5747 392 3582 16592 10853 6637 5113 13674 12262 19660 15575 1084 2429 2301 3454 18508 10725 6510 5241 13924 4985 8167 13546 12134 956 15447 2173 18636 18380 3326 10597 6332 13418 12006 19404 7530 9445 14814 2045 5621 16338 12792 18252 10469 17868 13290 11878 17230 7402 7274 332 1917 5367 16210 8550 18124 12664 10341 17996 13162 17358 15320 11750 15067 1789 211 16083 12536 4858 10213 4731 4478 13034 4351 11622 9318 19020 5874 16465 14433 1661 6205 12408 17741 15702 10085 8040 7912 9701 7658 9573 12906 4223 11494 9190 18892 7020 18764 14561 14305 20301 3070 9957 17613 7785 3107 4095 6128 17103 11366 9062 6892 14178 15956 2942 9829 669 3967 14941 11238 8934 6765 5495 14051 1469 17486 2814 15194 16976 541 7147 3839 14687 11110 8806 8678 8423 13802 19917 1341 4605 2686 1571 16849 413 3711 10982 101 8295 15829 19789 1213 2558 6001 5748 16721 16593 3583 393 10854 6638 5114 13675 12263 1085 15576 2430 2302 3455 18509 10726 4986 13925 13547 8168 12135 15448 957 2174 18637 18381 3327 6511 10598 6333 13419 12007 19405 7531 9446 14815 2046 5622 16339 5242 12793 18253 10470 13291 11879 19277 17231 7403 7275 333 1918 5368 8551 16211 12665 18125 17997 10342 17869 13163 11751 17359 15321 19149 15068 1790 212 16084 12537 4859 10214 4732 4479 13035 4352 11623 9319 5875 16466 14434 1662 6206 12409 8041 17742 10086 7913 9702 4224 12907 9574 11495 18893 9191 7021 14562 14306 20302 3071 15703 17614 9958 7786 7659 3108 4096 17104 6129 11367 18765 9063 6893 14179 20174 15957 2943 9830 670 14942 3968 11239 8935 6766 14052 1470 20046 17487 2815 15195 16977 3840 7148 14688 11111 5496 8807 8679 8424 13803 1342 4606 1572 2687 414 16850 10983 102 8296 15830 19790 1214 2559 6002 5749 16722 394 16594 3584 10855 6639 5115 13676 12264 1086 15577 2431 2303 18510 3456 10727 4987 8169 13548 12136 19534 15449 958 2175 18638 18382 6512 10599 6334 13926 13420 12008 7532 14816 2047 16340 5243 18254 12794 10471 13292 11880 17232 7404 7276 334 5623 1919 5369 16212 8552 18126 12666 17998 10343 17870 13164 11752 17360 15322 19150 15069 1791 213 16085 12538 4860 10215 4733 4480 4353 13036 11624 19022 9320 5876 16467 14435 1663 6207 12410 8042 17743 10087 7914 9703 4225 12908 9575 11496 9192 18894 7022 14563 14307 15704 3072 9959 17615 7787 7660 3109 17105 6130 4097 11368 9064 18766 6894 14180 15958 2944 9831 671 3969 14943 11240 8936 6767 14053 1471 20047 17488 2816 16978 543 7149 3841 14689 11112 5497 8808 8680 8425 1343 19919 4607 2688 1573 15196 16851 415 3713 10984 103 13804 8297 15831 1215 2560 6003 5750 16723 3585 16595 395 10856 6640 5116 13677 12265 15578 1087 2432 2304 3457 18511 10728 4988 13549 8170 12137 959 19535 15450 2176 18639 18383 3329 10600 6513 13927 13421 12009 19407 7533 9448 14817 2048 16341 6335 12795 18255 5244 10472 13293 11881 19279 17233 7405 7277 335 1920 5624 5370 16213 8553 12667 18127 17999 10344 17871 13165 11753 15323 15070 1792 214 16086 12539 10216 4861 4481 4354 17361 13037 11625 9321 19023 5877 16468 14436 1664 6208 12411 4734 17744 10088 8043 9704 9576 12909 4226 11497 9193 18895 7023 14564 14308 20304 3073 15705 7915 9960 17616 7788 7661 3110 4098 6131 11369 9065 18767 6895 14181 20176 15959 2945 9832 672 14944 3970 11241 8937 6768 14054 1472 2817 17489 17106 16979 544 3842 7150 14690 11113 8809 5498 8681 8426 19920 1344 4608 2689 1574 15197 416 16852 10985 104 13805 8298 15832 1216 2561 6004 16724 5751 16596 3586 396 10857 20423 6641 5117 13678 12266 1088 19664 15579 2433 2305 18512 3458 10729 4989 8171 13550 12138 960 15451 2177 18640 3330 18384 10601 6514 13928 13422 12010 7534 14818 2049 16342 6336 18256 5245 12796 10473 13294 11882 19280 17234 7406 9449 7278 336 1921 5625 5371 16214 8554 12668 18128 10345 18000 17872 13166 15324 11754 19152 1793 215 16087 12540 10217 4482 13038 17362 4355 11626 15071 9322 5878 16469 14437 1665 6209 4862 12412 4735 8044 17745 10089 9705 4227 12910 9577 11498 18896 9194 7024 14565 14309 15706 3074 9961 17617 7916 7789 7662 3111 4099 6132 11370 18768 9066 6896 20177 15960 2946 9833 673 3971 14945 11242 8938 6769 14055 1473 20049 17490 2818 17107 16980 7151 3843 11114 14691 5499 8810 8682 14182 8427 1345 4609 1575 2690 15198 16853 417 3715 10986 105 13806 8299 15833 1217 2562 16725 3587 16597 397 10858 6642 5118 13679 12267 19665 15580 1089 2434 6005 2306 5752 18513 3459 10730 4990 8172 13551 12139 19537 15452 961 2178 18641 18385 10602 6515 13929 13423 12011 19409 7535 14819 2050 16343 18257 5246 12797 6337 10474 13295 11883 17235 9450 7407 7279 337 5626 1922 5372 8555 16215 18129 12669 18001 10346 13167 11755 15325 19153 1794 216 16088 12541 10218 17873 17363 13039 4356 11627 15072 9323 5879 16470 14438 1666 6210 4863 12413 4736 8045 17746 10090 4483 9578 12911 4228 11499 9195 18897 7025 14566 14310 20306 3075 15707 9962 17618 7917 7790 9706 3112 6133 4100 11371 9067 18769 6897 15961 2947 9834 7663 674 14946 3972 11243 8939 6770 14056 1474 20050 2819 17491 17108 16981 546 7152 3844 14692 11115 5500 8811 8683 14183 8428 1346 2691 1576 15199 418 16854 10987 106 13807 8300 15834 19794 1218 4610 2563 16726 398 16598 3588 10859 6643 5119 13680 12268 15581 1090 2435 2307 6006 5753 3460 18514 10731 4991 13552 8173 12140 962 15453 2179 18642 18386 3332 10603 13930 13424 12012 19410 7536 14820 2051 16344 6338 6516 12798 18258 10475 13296 11884 19282 17236 7408 7280 338 5627 5373 5247 16216 8556 18130 12670 18002 10347 13168 11756 1795 217 16089 12542 17874 10219 4357 13040 17364 15326 11628 15073 9324 5880 16471 14439 1667 6211 4864 12414 4737 10091 17747 8046 4484 9579 12912 4229 11500 9196 18898 7026 14567 14311 20307 3076 9963 17619 7918 7791 9707 3113 4101 6134 11372 18770 9068 6898 20179 15962 15708 2948 9835 7664 675 3973 14947 11244 8940 6771 14057 1475 17492 2820 17109 16982 547 3845 7153 14693 11116 5501 8812 8684 14184 8429 1347 2692 1577 16855 419 3717 10988 107 8301 15835 1219 19795 4611 2564 15200 16727 16599 3589 399 10860 6644 5120 13808 13681 12269 1091 19667 15582 2436 6007 2308 5754 3461 18515 10732 4992 13553 8174 12141 19539 15454 963 2180 18643 18387 3333 10604 13931 13425 12013 7537 14821 2052 16345 6339 12799 18259 6517 10476 13297 11885 19283 17237 7409 9452 7281 339 1924 5374 5248 8557 16217 12671 18131 18003 10348 13169 11757 5628 1796 218 16090 12543 10220 17875 15327 13041 4358 11629 15074 9325 19027 16472 14440 1668 6212 4865 12415 17748 10092 8047 4738 4485 17365 4230 12913 9580 11501 5881 18899 9197 7027 14312 3077 9964 17620 7919 7792 9708 3114 4102 6135 11373 18771 9069 6899 20180 15963 15709 2949 9836 7665 676 14948 3974 11245 14568 8941 6772 14058 1476 2821 17493 17110 16983 7154 3846 11117 14694 8813 5502 8685 14185 8430 1348 19924 1578 2693 420 16856 10989 108 8302 15836 1220 4612 15201 2565 16728 400 3590 16600 10861 6645 13809 5121 13682 12270 1092 2437 6008 5755 18516 3462 10733 4993 8175 13554 12142 15583 19540 15455 964 2309 2181 18644 18388 10605 13932 13426 12014 19412 7538 2053 16346 6340 18260 6518 12800 10477 13298 11886 17238 7410 7282 14822 340 1925 5375 16218 8558 5249 18132 12672 10349 13170 11758 9453 5629 1797 16091 12544 18004 17876 10221 4359 15328 13042 11630 15075 19028 9326 16473 14441 1669 6213 4866 12416 8048 10093 17749 4486 17366 4231 9581 12914 11502 9198 18900 5882 7028 14313 20309 3078 4739 7920 9965 17621 7793 9709 3115 6136 4103 11374 9070 18772 6900 15964 15710 2950 9837 7666 677 3975 11246 8942 14569 6773 1477 17494 2822 17111 16984 14949 549 3847 7155 11118 14695 8814 8686 14186 8431 1349 19925 2694 1579 16857 421 3719 10990 109 5503 14059 8303 15837 19797 1221 4613 15202 2566 16729 16601 3591 401 10862 6646 13810 5122 13683 12271 19669 1093 2438 6009 3463 18517 10734 4994 8176 13555 12143 15584 965 15456 2310 2182 5756 18645 18389 3335 10606 13933 13427 12015 19413 7539 2054 16347 6519 12801 18261 6341 10478 13299 11887 17239 7411 7283 14823 341 1926 5376 5250 16219 8559 12673 18133 10350 13171 11759 9454 19157 5630 1798 16092 12545 18005 10222 17877 4360 13043 15329 11631 15076 9327 16474 14442 1670 6214 4867 12417 10094 8049 4487 17367 9582 12915 4232 11503 9199 18901 5883 7029 14314 20310 4740 17750 3079 9966 17622 7921 7794 9710 3116 4104 6137 11375 18773 9071 6901 15965 15711 2951 9838 7667 678 3976 11247 14570 8943 6774 20054 1478 2823 17495 16985 14950 550 7156 3848 14696 11119 8815 8687 14187 8432 1350 2695 1580 422 16858 10991 110 5504 14060 8304 15838 1222 4614 2567 15203 17112 16730 402 3592 16602 10863 6647 5123 13811 13684 12272 1094 19670 2439 6010 3464 18518 10735 4995 13556 8177 12144 15585 19542 15457 966 2311 2183 5757 18646 3336 18390 10607 13934 13428 12016 7540 2055 16348 6520 12802 18262 6342 10479 13300 11888 17240 7412 7284 14824 342 1927 5377 5251 8560 16220 12674 18134 10351 13172 11760 9455 19158 5631 1799 16093 12546 18006 17878 10223 15330 13044 4361 11632 15077 9328 19030 16475 14443 1671 6215 12418 10095 8050 4488 17368 4233 12916 9583 11504 5884 18902 9200 7030 14315 3080 4741 17751 9967 17623 7922 7795 9711 3117 4105 6138 11376 9072 18774 6902 15966 4868 15712 2952 9839 679 3977 11248 14571 8944 6775 1479 20055 17496 2824 7668 16986 14951 7157 3849 14697 11120 8816 8688 14188 8433 1351 19927 1581 2696 16859 423 3721 10992 111 5505 14061 8305 19799 1223 2568 15204 17113 16731 16603 3593 403 10864 6648 13812 5124 13685 15839 12273 4615 1095 2440 18519 3465 10736 4996 8178 13557 12145 15586 19543 15458 967 2312 2184 5758 18647 18391 10608 13429 12017 7541 6011 2056 16349 18263 6521 6343 10480 13301 11889 19287 17241 7413 7285 14825 343 1928 5378 5252 16221 8561 18135 12675 13935 10352 13173 11761 9456 5632 1800 3209 18007 12547 10224 17879 13045 4362 11633 9329 16476 14444 1672 16094 6216 12419 8051 10096 4489 17369 15331 4234 12917 9584 15078 11505 5885 9201 18903 7031 14316 4742 12291 17752 9968 17624 7923 7796 9712 3118 6139 4106 11377 18775 9073 6903 20184 15967 4869 15713 2953 9840 680 3978 11249 8945 14572 6776 1480 2825 17497 7669 16987 14952 552 3850 7158 11121 14698 8817 8689 8434 1352 2697 1582 424 16860 10993 112 5506 14189 14062 8306 19800 1224 15205 2569 17114 16732 404 16604 3594 10865 6649 5125 13813 13686 12274 15840 4616 19672 1096 2441 3466 18520 10737 4997 13558 8179 12146 968 15459 2313 2185 5759 18648 18392 3338 10609 13430 12018 15587 6012 2057 16350 3210 6522 18264 10481 13302 11890 19288 17242 7414 7286 14826 344 1929 5379 16222 8562 5253 12676 18136 10353 13936 13174 11762 19160 5633 1801 6344 12548 18008 10225 17880 4363 13046 11634 9457 9330 19032 16477 14445 1673 6217 16095 12420 10097 8052 4490 17370 15332 9585 12918 4235 11506 15079 5886 9202 18904 7032 14317 4743 12292 17753 9969 17625 7924 7797 9713 3119 4107 6140 11378 9074 18776 6904 20185 15968 4870 15714 2954 9841 681 3979 11250 8946 6777 20057 1481 17498 2826 7670 16988 14953 553 7159 3851 11122 14699 14573 8818 8690 8435 19929 1353 2698 1583 16861 425 3723 10994 113 5507 14190 14063 8307 1225 2570 15206 17115 16733 3595 16605 405 10866 6650 13814 5126 13687 15841 12275 1097 4617 19673 2442 3467 18521 10738 4998 8180 13559 12147 15460 969 2314 2186 5760 18649 18393 3339 10610 13431 15588 12019 19417 7543 6013 2058 16351 3211 6523 18265 10482 13303 11891 17243 7287 14827 345 1930 5380 8563 16223 5254 12677 18137 13937 10354 13175 11763 1802 6345 18009 12549 10226 17881 13047 4364 11635 9458 9331 19033 16478 14446 1674 16096 6218 12421 8053 10098 4491 17371 15333 4236 12919 9586 11507 15080 5887 18905 9203 7033 5634 14318 20314 17754 4744 12293 7925 9970 17626 7798 9714 3120 4108 6141 11379 18777 9075 6905 15969 4871 15715 2955 9842 682 3980 11251 8947 6778 1482 17499 2827 7671 16989 3852 7160 14700 11123 14574 8819 8691 8436 1354 19930 1584 2699 14954 426 16862 10995 114 14191 14064 8308 19802 1226 2571 17116 16734 406 16606 3596 5508 10867 6651 5127 13688 12276 15842 4618 1098 15207 2443 18522 3468 10739 13815 4999 8181 13560 12148 15461 970 2315 2187 5761 18650 18394 10611 13432 12020 15589 19418 7544 6014 2059 16352 18266 6524 3212 10483 13304 11892 19290 17244 7416 7288 14828 346 1931 5381 16224 8564 5255 18138 12678 13938 10355 13176 11764 19162 1803 6346 12550 18010 10227 17882 4365 13048 11636 9459 9332 16479 14447 1675 6219 16097 12422 8054 10099 4492 17372 15334 4237 12920 9587 15081 11508 5888 9204 18906 7034 5635 14319 12294 17755 9971 17627 7926 7799 9715 3121 6142 4109 11380 18778 9076 6906 20187 15970 4872 15716 2956 9843 683 3981 11252 8948 6779 1483 20059 4745 17500 2828 16990 555 7161 3853 11124 14701 14575 8820 8692 8437 1355 2700 7672 1585 14955 16863 427 3725 10996 115 14192 14065 8309 19803 1227 2572 17117 16735 3597 16607 5509 10868 6652 5128 13689 12277 4619 1099 15208 2444 3469 18523 10740 13816 5000 13561 15843 8182 12149 971 19547 15462 2316 2188 5762 18651 18395 3341 10612 13433 15590 12021 6015 2060 16353 3213 18267 6525 10484 13305 11893 17245 7417 7289 347 1932 5382 16225 8565 12679 18139 13939 10356 13177 11765 19163 14829 219 1804 6347 18011 12551 17883 10228 4366 13049 11637 9460 9333 19035 16480 14448 1676 5256 6220 12423 10100 8055 4493 17373 15335 9588 12921 4238 11509 9205 18907 5889 7035 5636 14320 16098 17756 12295 9972 17628 7927 7800 9716 3122 4110 6143 15082 11381 9077 18779 6907 15971 4873 2957 9844 684 3982 11253 8949 6780 20060 1484 4746 2829 17501 16991 556 7162 3854 14702 11125 14576 8821 8693 8438 19932 1356 15717 7673 2701 1586 14956 428 16864 10997 116 14193 8310 1228 2573 17118 16736 16608 3598 10869 5510 6653 14066 5129 13690 12278 1100 4620 15209 2445 3470 18524 10741 13817 5001 13562 15844 8183 12150 972 19548 15463 2317 2189 18652 3342 18396 10613 13434 12022 19420 7546 6016 5763 2061 16354 3214 18268 6526 10485 13306 15591 11894 19292 17246 7290 348 1933 5383 8566 16226 12680 18140 13940 10357 13178 11766 14830 220 1805 6348 18012 12552 10229 17884 13050 4367 11638 9461 9334 19036 14449 16481 1677 5257 6221 12424 8056 10101 4494 17374 15336 4239 12922 9589 11510 18908 9206 7036 5637 14321 16099 12296 7928 17629 9973 7801 9717 3123 4111 15083 6144 11382 9078 18780 6908 20189 15972 4874 17757 2958 9845 685 3983 5890 11254 8950 6781 1485 4747 2830 17502 16992 3855 7163 14703 11126 14577 8822 8694 8439 1357 19933 15718 1587 7674 2702 14957 16865 429 3727 10998 117 8311 1229 2574 17119 16737 16609 3599 5511 10870 6654 14194 14067 5130 13691 12279 19677 1101 15210 2446 18525 3471 10742 13818 5002 8184 15845 13563 12151 15464 973 2318 2190 18653 0
281.10/281.16	c Terminating MUSer ...
281.10/281.16	c CPU Time: 280.81

Verifier Data

OK	19459

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-3493283-1307798840/watcher-3493283-1307798840 -o /tmp/evaluation-result-3493283-1307798840/solver-3493283-1307798840 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493283-1307798840.cnf 

running on 2 cores: 1,3

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: 0.21 0.09 0.48 4/189 17215
/proc/meminfo: memFree=30604428/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=4620 CPUtime=0 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 632 0 0 0 0 0 0 0 18 0 1 0 891482509 4730880 586 33554432000 4194304 5696331 140735545360224 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 1155 588 114 367 0 785 0

[startup+0.0102151 s]
/proc/loadavg: 0.21 0.09 0.48 4/189 17215
/proc/meminfo: memFree=30604428/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=6000 CPUtime=0 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 940 0 0 0 0 0 0 0 18 0 1 0 891482509 6144000 894 33554432000 4194304 5696331 140735545360224 18446744073709551615 4210886 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 1500 916 114 367 0 1130 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6000

[startup+0.100238 s]
/proc/loadavg: 0.21 0.09 0.48 4/189 17215
/proc/meminfo: memFree=30604428/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=8936 CPUtime=0.09 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 1990 0 0 0 9 0 0 0 18 0 1 0 891482509 9150464 1942 33554432000 4194304 5696331 140735545360224 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 2234 1942 143 367 0 1864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8936

[startup+0.300204 s]
/proc/loadavg: 0.21 0.09 0.48 4/189 17215
/proc/meminfo: memFree=30604428/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=10256 CPUtime=0.29 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 2309 0 0 0 29 0 0 0 18 0 1 0 891482509 10502144 2261 33554432000 4194304 5696331 140735545360224 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 2564 2261 143 367 0 2194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10256

[startup+0.701137 s]
/proc/loadavg: 0.21 0.09 0.48 4/189 17215
/proc/meminfo: memFree=30604428/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=13152 CPUtime=0.69 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 2994 0 0 0 69 0 0 0 18 0 1 0 891482509 13467648 2946 33554432000 4194304 5696331 140735545360224 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 3288 2946 143 367 0 2918 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13152

[startup+1.50101 s]
/proc/loadavg: 0.51 0.15 0.50 5/190 17216
/proc/meminfo: memFree=30224880/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=18876 CPUtime=1.49 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 4409 0 0 0 148 1 0 0 20 0 1 0 891482509 19329024 4361 33554432000 4194304 5696331 140735545360224 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 4719 4361 143 367 0 4349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18876

[startup+3.10074 s]
/proc/loadavg: 0.51 0.15 0.50 5/190 17216
/proc/meminfo: memFree=29501684/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=29748 CPUtime=3.09 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 7116 0 0 0 306 3 0 0 25 0 1 0 891482509 30461952 7068 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400388 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 7437 7068 143 367 0 7067 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29748

[startup+6.30021 s]
/proc/loadavg: 0.51 0.15 0.50 5/190 17216
/proc/meminfo: memFree=29366080/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=51864 CPUtime=6.29 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 12542 0 0 0 625 4 0 0 25 0 1 0 891482509 53108736 12493 33554432000 4194304 5696331 140735545360224 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 12966 12493 143 367 0 12596 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51864

[startup+12.7011 s]
/proc/loadavg: 1.05 0.28 0.54 5/190 17216
/proc/meminfo: memFree=29612512/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=22048 CPUtime=12.69 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 24030 0 0 0 1263 6 0 0 25 0 1 0 891482509 22577152 5186 33554432000 4194304 5696331 140735545360224 18446744073709551615 4965734 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 5512 5186 144 367 0 5142 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22048

[startup+25.501 s]
/proc/loadavg: 1.50 0.40 0.57 5/190 17217
/proc/meminfo: memFree=29410144/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=219764 CPUtime=25.49 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 81764 0 0 0 2535 14 0 0 25 0 1 0 891482509 225038336 54579 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400211 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 54941 54579 149 367 0 54571 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 219764

[startup+51.1007 s]
/proc/loadavg: 2.35 0.69 0.66 5/190 17369
/proc/meminfo: memFree=30152388/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=508300 CPUtime=51.09 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 153844 0 0 0 5088 21 0 0 25 0 1 0 891482509 520499200 126615 33554432000 4194304 5696331 140735545360224 18446744073709551615 4419584 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 127075 126615 149 367 0 126705 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 508300

[startup+102.301 s]
/proc/loadavg: 2.25 0.95 0.75 3/178 17419
/proc/meminfo: memFree=30338452/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=742164 CPUtime=102.29 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212301 0 0 0 10199 30 0 0 25 0 1 0 891482509 759975936 185062 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185541 185062 150 367 0 185171 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 742164

[startup+162.301 s]
/proc/loadavg: 1.80 1.07 0.81 2/172 17444
/proc/meminfo: memFree=30737636/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=162.3 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212366 0 0 0 16198 32 0 0 25 0 1 0 891482509 759775232 185078 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400289 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185078 150 367 0 185122 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 741968

[startup+222.301 s]
/proc/loadavg: 1.29 1.06 0.82 2/172 17446
/proc/meminfo: memFree=30737824/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=222.29 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 22196 33 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4402313 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 741968

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

[startup+231.3 s]
/proc/loadavg: 1.25 1.05 0.82 2/172 17446
/proc/meminfo: memFree=30737812/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=231.29 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 23096 33 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 231.29
Current children cumulated vsize (KiB) 741968

[startup+256.9 s]
/proc/loadavg: 1.16 1.05 0.82 2/172 17447
/proc/meminfo: memFree=30737796/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=256.89 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 25655 34 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 256.89
Current children cumulated vsize (KiB) 741968

[startup+269.701 s]
/proc/loadavg: 1.14 1.05 0.82 2/172 17447
/proc/meminfo: memFree=30737788/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=269.69 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 26934 35 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4371136 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 269.69
Current children cumulated vsize (KiB) 741968

[startup+276.101 s]
/proc/loadavg: 1.12 1.04 0.82 2/172 17447
/proc/meminfo: memFree=30737900/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=276.1 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 27574 36 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 276.1
Current children cumulated vsize (KiB) 741968

[startup+279.306 s]
/proc/loadavg: 1.12 1.04 0.82 2/172 17447
/proc/meminfo: memFree=30737896/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=279.3 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 27894 36 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 279.3
Current children cumulated vsize (KiB) 741968

[startup+280.1 s]
/proc/loadavg: 1.12 1.04 0.82 2/172 17447
/proc/meminfo: memFree=30737896/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=280.1 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 27974 36 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4400768 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 741968

[startup+280.901 s]
/proc/loadavg: 1.12 1.04 0.82 2/172 17447
/proc/meminfo: memFree=30737896/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=280.9 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 28054 36 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4300628 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 280.9
Current children cumulated vsize (KiB) 741968

[startup+281.101 s]
/proc/loadavg: 1.12 1.04 0.82 2/172 17447
/proc/meminfo: memFree=30737896/32951124 swapFree=67054524/67111528
[pid=17215] ppid=17213 vsize=741968 CPUtime=281.1 cores=1,3
/proc/17215/stat : 17215 (muser) R 17213 17215 16678 0 -1 4202496 212382 0 0 0 28074 36 0 0 25 0 1 0 891482509 759775232 185094 33554432000 4194304 5696331 140735545360224 18446744073709551615 4380994 0 0 4096 24615 0 0 0 17 1 0 0 0
/proc/17215/statm: 185492 185094 150 367 0 185122 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 741968

Child status: 20
Real time (s): 281.194
CPU time (s): 281.197
CPU user time (s): 280.806
CPU system time (s): 0.39094
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 742164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.806
system time used= 0.39094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212383
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 3168

runsolver used 0.395939 second user time and 0.998848 second system time

The end

Launcher Data

Begin job on node130 at 2011-06-11 15:27:20
IDJOB=3493283
IDBENCH=89311
IDSOLVER=1969
FILE ID=node130/3493283-1307798840
RUNJOBID= node130-1307798837-17159
PBS_JOBID= 13551018
Free space on /tmp= 73832 MiB

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

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

MD5SUM BENCH= 90f51dc4b61ceb76a01f9d3a6fa2459f
RANDOM SEED=1159146153

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30613528 kB
Buffers:        272144 kB
Cached:        1103272 kB
SwapCached:      10548 kB
Active:        1365664 kB
Inactive:       773424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30613528 kB
SwapTotal:    67111528 kB
SwapFree:     67054524 kB
Dirty:          125564 kB
Writeback:           0 kB
AnonPages:      761216 kB
Mapped:          14064 kB
Slab:           133180 kB
PageTables:       6748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1007388 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= 73952 MiB
End job on node130 at 2011-06-11 15:32:01