Trace number 3495674

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
MoUsSaka 2011-03-26UNSAT 221.993 221.998

General information on the benchmark

NameSAT02/industrial/
dellacherie/fifo8/fifo8_100.shuffled.cnf
MD5SUM703baa1dc77fa758c28d9599beaa3f41
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark218.851
Satisfiable
(Un)Satisfiability was proved
Number of variables64762
Number of clauses176313
Sum of the clauses size398865
Maximum clause length11
Minimum clause length1
Number of clauses of size 11539
Number of clauses of size 2135466
Number of clauses of size 333726
Number of clauses of size 44487
Number of clauses of size 5399
Number of clauses of size over 5696

Solver Data

0.00/0.00	c MoUsSaka vegetarian
5.39/5.42	
5.39/5.42	s UNSATISFIABLE
221.89/221.98	c Core is minimal
221.89/221.98	
221.89/221.98	v 169216 101464 90941 127289 86373 166105 42744 30762 33089 99672 15347 105982 55938 35491 117842 125188 37923 120495 134303 24548 86035 151795 121108 117519 106123 59242 148031 14988 129887 58713 37649 47412 53146 114274 17275 5516 143484 60302 115038 8213 152159 103631 102281 30341 38442 80305 16925 779 2893 39062 57831 159654 68553 77881 147532 76407 2940 90085 36477 34261 148200 128942 121016 13482 62509 48083 139575 42643 137985 675 159836 66198 114962 29583 34482 144405 104852 64411 93885 87097 63945 166396 107 43025 136238 39209 146517 81575 150877 3002 44136 153821 111322 99032 104686 151213 77826 130347 34911 14358 134508 96172 38366 163520 53078 47317 50706 62696 19042 101993 23359 2042 105661 166081 112735 62086 62118 39717 123492 141343 54131 20806 38444 47048 49194 42419 104613 146808 78431 97790 34649 118413 119276 117644 109461 34765 92905 158675 155034 34774 2098 99680 11484 164819 145652 20767 64456 54787 142145 38621 140332 26564 170330 88123 97297 153289 2907 12340 172184 56539 115988 10171 21163 104602 30770 152949 157526 167228 144220 118562 9993 157323 72635 163257 122107 161486 92635 103216 100273 121405 111025 67033 172431 66121 59818 97465 30819 8371 80189 70195 92854 138583 105119 76094 62454 33383 56712 168792 52854 128317 60384 78432 112872 114871 146976 94282 61304 138060 136211 69763 31066 32255 30384 38256 53001 55414 134902 161373 58082 26299 102307 137550 170473 3361 132992 97244 91253 18096 170444 46281 132156 18656 2054 133084 53384 73039 143892 37515 174758 96719 118675 126646 67721 52123 12526 9809 140413 7037 146190 4434 169666 158530 34145 133483 140559 4103 55962 114468 152285 96090 51905 34079 145518 3277 84230 132929 34348 64839 167252 48284 31466 62654 168895 6435 150741 71980 126657 169693 137881 54419 982 63615 106817 24072 34149 4797 120288 2648 55026 27030 91331 1803 131274 64227 17968 140221 59811 145440 113777 111255 160771 53106 133537 167412 46355 12895 113339 97097 156621 42200 164582 158105 2713 86991 74150 12808 82705 129859 154629 140044 55072 45864 142839 80678 169663 45361 75359 143859 33071 121904 138796 46776 2882 107117 49891 174123 157809 160955 123815 51513 27856 61520 4139 82670 124115 94068 128173 54093 40936 140062 161882 36878 28226 90612 95319 110800 122701 96027 171676 2725 103633 30371 60950 156061 109976 68581 72084 104951 102513 159516 169633 129482 68524 18458 152250 139627 175595 167473 171241 71188 58124 42038 61604 89973 83719 58957 118093 22123 168989 88623 5331 66767 173167 131212 169083 42114 13914 148383 141904 11939 38636 2855 138863 69349 80827 65327 140901 43488 144933 31056 19620 171001 36191 131070 128717 141106 102013 171584 29243 22253 18584 132229 130886 101280 109519 47361 19859 175101 6080 7653 127149 39038 106777 57543 164111 19566 42976 160611 50272 44838 143991 22548 121604 22604 173249 92645 40334 43059 100776 111013 11830 77098 14462 44504 57195 18049 127166 150343 55214 24528 125465 23526 10466 130172 48399 25502 45948 132533 152897 67522 81978 116808 137930 47211 149296 68053 117940 56244 65603 155158 144801 145207 93855 123190 100445 80949 142612 145986 63076 154095 134278 74225 1381 4788 140491 119724 111355 172633 32002 112921 142859 63870 133255 168925 24013 45706 61697 123313 47624 110234 147324 70695 30992 4479 155241 169370 89677 172451 102631 154928 104523 176269 17724 149892 18580 103040 62804 120063 151812 6720 64290 8798 50752 47912 145139 18732 74104 88962 3438 172535 134772 40231 27412 51470 76931 112944 151289 113549 143296 16382 12302 12463 123850 167801 16032 59134 14430 4451 118737 110424 145217 74427 162710 39587 97373 37073 37925 81449 58819 58954 121717 83429 54423 27139 50257 22474 148716 106116 148713 47809 100767 33736 50614 12169 22 160700 140709 38291 54539 12648 37992 149866 110812 133677 20539 28046 95432 132998 41320 89024 20703 46872 86862 98046 92987 6745 9728 143482 80293 138052 22218 145441 67655 94354 60193 34126 137757 120237 25544 164053 32310 43099 155859 8078 7638 173120 175246 56273 44171 129016 124936 159857 89651 10745 84237 84203 82036 39975 20077 52985 88195 5731 107603 118043 12641 43653 174017 144278 32874 9882 79067 121339 111015 94142 141538 136827 23810 89825 18396 56504 151966 5354 107355 143455 44412 55190 146975 81944 80340 98698 175626 88289 163123 1596 47057 105588 127239 88222 155916 173113 24524 27630 71644 71374 145787 85859 58606 167485 81231 12104 144152 128702 69801 91236 100086 26709 24307 28748 151884 95234 25666 141340 164426 158053 94580 166010 29323 58187 97087 27638 169495 162894 80918 90755 99808 107586 82404 8075 27348 76318 33774 27427 115874 57621 133265 88922 11418 37693 4771 141694 19307 64524 125364 103032 19296 53414 133201 115810 71258 26253 28194 74322 158964 80440 137578 84544 19771 81755 141441 159480 139325 121577 45975 130842 94035 94999 18447 11812 110687 18300 14450 655 55291 80054 117697 156301 114691 68398 74925 130583 31018 122794 26947 135261 49607 72011 144598 133905 107915 27150 140560 39809 17279 33313 113437 115849 129527 41598 153611 171743 50522 56105 89961 133271 155894 77580 105984 38681 64572 144198 113479 37521 42954 134685 104264 167025 172594 107974 66559 118300 63302 162551 155027 20833 47980 82846 26217 10019 38728 12661 67728 151230 131480 114628 156058 11581 120886 15354 4642 21064 35043 171503 80123 133011 83047 114924 36693 143658 57416 67313 53907 4666 78288 4746 158787 123298 69180 94854 85232 7757 59940 7020 101770 137256 30238 98390 164893 154142 21690 38749 174186 156768 132105 155012 41720 28171 156201 143332 28700 65399 96949 112780 123794 130317 41350 127624 170567 46084 81284 39279 66893 67137 130468 92107 97419 63993 56992 162833 109614 16967 15632 164760 71557 97324 122583 54964 85466 111326 17148 175618 128779 31347 55463 29120 116579 37990 8929 8416 51416 172768 123967 78623 98569 87209 74911 124883 157854 2058 48370 75150 148814 168627 20486 175897 39298 110946 106824 82062 1098 22821 124020 174424 30113 126876 80942 98516 163516 160408 39909 85792 87570 88430 78000 125528 142559 11910 75069 15133 134316 108958 64606 25020 116686 18710 74028 152054 106956 28174 111630 172134 123293 137575 78714 160871 171634 39878 132547 146805 1564 81455 27019 153356 89052 153924 122776 147535 37656 161368 11267 95419 170489 11315 164284 146045 98204 71937 122736 115248 44235 273 13494 77237 63092 134434 152960 139891 95354 142821 83474 2946 157413 101911 21030 62800 165576 151606 137541 25181 87408 6553 126111 135220 5266 150135 80968 165564 135069 132759 116850 165241 48567 170231 161573 97784 120175 73993 129282 146938 108023 16996 94520 114216 57320 109585 60439 28511 122845 39145 30107 4581 79988 30735 14037 126000 141301 151483 101726 98383 36924 37749 126662 41568 17800 40290 108160 19938 9069 8704 92774 125442 8073 116466 155268 120925 92227 127659 59043 92140 165661 36094 975 406 137772 37860 72064 63503 161273 125002 155809 128670 33897 138687 100213 102111 85181 114096 111080 160670 86335 1868 46757 48785 2080 96100 14987 67336 138459 80915 29750 109825 54790 24830 164857 2758 122329 34014 42445 150775 23345 130503 111747 68171 156609 111212 127904 124300 140183 154248 2555 142661 52154 24815 148526 13460 80460 28917 90236 174167 20518 174793 29612 84101 68599 77803 125012 108136 98721 145447 38680 169333 2309 145297 89520 22325 87001 68979 15271 102185 34493 9373 13992 50318 40325 168952 9058 157630 170908 173417 130572 161349 68108 128363 120936 153644 167478 127488 119144 82929 38667 86647 160456 94036 12801 80032 140050 120164 84630 36691 48867 8324 155458 123240 136564 131200 1914 77828 74012 75794 126639 120081 53677 148400 137222 123104 90308 130494 113819 63243 89512 164597 16817 17980 11788 126933 39276 121516 91661 152016 175710 106451 57406 15639 66251 37168 118036 166543 104321 152050 6889 138605 91578 19411 164858 69429 41204 79299 63125 19565 128876 87606 12405 23342 164255 39543 166535 112036 64060 134099 30642 142961 114546 133060 167495 168311 152008 16230 108301 169365 16725 131308 123489 74765 72309 170828 122240 46527 58109 7863 70376 97043 169236 169528 167824 4078 89810 30186 129417 90123 52061 45628 153529 115625 119922 4324 128033 103075 109412 172281 33851 100904 106241 51106 117154 100077 61912 31763 168791 49614 157461 12668 65586 68223 1847 161854 147372 131613 139463 59519 67779 53397 162136 104837 169629 152064 162481 85382 94399 34369 8707 121294 72487 43238 139027 11985 149823 35782 160242 174987 29186 77046 138611 175503 40035 156317 148197 114031 75848 18301 62813 60039 82266 78483 143689 51001 64541 37988 169037 108803 51464 94122 43708 32764 112169 47745 29562 171818 95385 156510 74208 172918 95448 38576 18059 50800 160243 37470 103253 131935 135732 18976 15349 173926 110059 91865 136241 118787 86464 81873 56293 52418 62531 62687 60623 92393 163975 67374 162807 66026 138366 157543 78877 175117 22805 164567 27393 49263 7889 165055 100160 150796 148908 154517 36447 77521 98340 149737 139968 100344 60122 5765 102672 106472 57813 148913 80311 73406 19298 92136 87542 73564 48068 28483 19418 70980 78995 170224 3690 31421 163968 40707 87781 91059 19680 98472 53079 12651 100780 148018 154574 162229 120674 155558 16337 32683 57140 148000 133734 91752 127753 16249 32018 65711 1073 29694 143534 139948 149408 132864 5199 176135 131962 118871 146490 35039 89405 93167 49787 49054 174490 133849 83390 40819 152398 11565 133311 90033 157967 119076 7763 109723 14768 145156 111529 67197 133189 173643 77462 49198 132451 152257 157731 110243 57880 12159 70597 63110 108668 132883 169736 64888 10979 92448 132043 143755 83991 69143 151075 30381 104669 47023 145223 13706 35057 36106 95141 24379 114269 92866 33809 59828 129851 120754 102995 53015 140229 79927 107325 112367 31796 160628 163750 143607 4848 153381 78812 162640 168992 86354 41020 67342 115759 87519 3045 28943 140907 70683 160011 139897 159973 75224 8462 129811 153091 93767 27407 97535 6922 164519 143477 74684 147454 162330 135813 104807 76815 166366 147397 25498 63636 121403 65644 59573 143500 856 17033 171222 73644 69077 71183 47719 8614 52585 97599 125858 161239 77662 125238 36706 92457 14531 163210 14198 75939 43626 71385 5316 174079 43110 152344 75910 114154 77731 155984 62319 147785 22064 158286 152287 9836 86289 74719 141357 157408 20928 97239 80873 31891 155499 20092 123827 142185 4374 96612 74552 132841 63083 53744 140500 62339 105364 81262 57280 32940 24054 57716 11411 76268 67035 175977 58362 65172 57454 100222 100518 130843 61514 161022 158140 59228 11894 86296 118592 1353 174795 23722 102200 161907 83552 33347 2062 31086 103706 2966 93420 11912 22027 16666 54204 60568 112395 141552 135273 58439 35091 60528 150923 57185 22145 101968 139166 62528 110383 60071 104435 87740 40646 45268 50040 34730 70403 125780 61438 157 69612 106273 108920 163716 10330 96454 140177 19004 85600 152399 171249 133003 62913 91515 101779 23849 153919 137683 76330 57103 40901 127371 133163 137502 7790 49983 158232 66510 166006 5206 14882 26558 121322 150843 88851 119064 175097 10512 86065 70498 8860 169761 29074 138590 158765 71775 15910 27216 86488 49173 51238 122305 151135 1985 3854 102115 87392 27454 63959 16769 132665 171944 1380 163696 162093 45181 141513 140307 10995 175403 23142 150645 152143 106431 89210 121699 48677 75733 140809 149275 92195 158008 93732 137836 46208 78190 169941 46736 129644 38689 154325 53823 23790 100057 13646 138803 61897 5470 160004 170798 149547 81012 2300 42331 59491 115382 156711 81148 165793 119191 36941 137007 142962 127668 149461 85848 141335 128152 105572 172548 27233 56987 21964 80891 27826 165336 45158 65495 80576 137975 142170 56829 32210 98582 39897 18522 5067 127751 90980 79627 21603 158183 118693 72769 151219 121262 119375 137732 137927 125054 69897 163576 87850 38583 70875 43687 11992 111557 5037 79523 58106 83324 123249 99968 153649 127789 102105 163534 131771 116723 151475 33775 94590 137950 165992 78200 77174 50942 140102 110589 62690 81773 110546 50527 149197 97961 67978 37914 146094 17563 108690 121939 94057 139984 89839 19412 137645 54582 150587 136670 55798 174098 146429 29113 22342 21499 150807 25582 43011 52565 101612 6132 154310 113576 118816 120563 45437 153486 127026 78952 114911 24454 76582 42691 35048 128728 122111 173483 120205 161775 57552 11041 87744 71203 96582 18144 158875 127135 128435 66409 51423 154501 147381 70538 5798 35356 24362 77964 71839 167570 114144 80332 20653 60732 90514 125396 43916 4748 78684 99042 36744 53847 9987 3935 125639 103843 62087 107699 131673 146674 93798 114057 161846 166629 80796 4431 140640 15222 167797 27248 68081 146137 142678 99750 16798 84928 9567 174839 52628 156522 97597 159791 11532 161144 112702 169407 33468 17458 33529 85441 41791 2161 59950 35810 61182 27290 10486 20174 172229 59757 58131 162465 158122 12127 118252 30916 107607 60641 97856 71084 160085 160284 53208 104888 92713 49236 8771 81819 167638 41202 61821 547 24636 650 27817 38525 56187 3123 109658 74525 73814 129424 17389 143194 31101 138423 154127 168401 41120 77614 68976 85881 126147 130540 123741 58816 115500 77350 104706 129112 143950 38566 10502 85128 110740 123757 8411 50132 56789 78108 173421 141002 1424 76378 157253 168672 13795 161629 73220 83404 17129 59257 100586 15861 24671 70459 135439 117778 43353 175497 77849 127042 49154 154624 153555 136617 27302 85338 165976 30682 83688 116506 151366 159023 58625 153984 164972 129123 3309 16431 39129 60459 144730 103029 79029 151607 20465 87052 84923 46964 94120 53947 74656 44587 70371 165589 48094 115676 82455 11524 167035 100844 99864 119456 164859 161609 153582 72314 92808 129611 48484 154765 92157 105185 121442 19393 71577 161531 12513 24063 88901 155088 67636 96139 45360 105491 92117 72142 130284 30753 136694 75403 102536 112007 10634 167738 98420 168369 119863 143686 106327 95369 60581 25695 56949 127556 170923 39478 117716 139877 19120 144636 2380 174013 47135 57268 107794 51665 132127 130993 88332 130250 128965 95592 130682 154504 91157 87275 40768 42022 61700 41823 45321 145617 137140 160202 60928 8248 16126 95994 134360 100630 125114 4710 121160 132407 100463 157266 107912 168763 99488 167782 128731 71434 40098 170897 84205 97780 70531 106026 54731 133050 38008 128705 27792 66343 105374 70021 92365 41143 44106 129251 126359 45785 155743 73647 103282 140562 31617 98726 40825 106530 116843 48669 142142 92977 81976 160536 172336 154727 170354 150966 21968 171333 96372 70562 34588 36413 71432 104105 841 99506 124274 159126 110757 93403 135368 80823 68330 85844 167108 71571 33066 36380 23535 173314 43702 162138 83491 117010 104253 71294 150727 105833 127358 36141 24136 101410 164666 82427 54606 962 38502 175617 133058 156421 99821 170867 39713 19245 31792 111834 64587 85944 105598 11870 72905 52987 3650 83195 30242 45452 96114 129606 160239 137041 14105 6359 34247 165515 114958 74505 171911 4717 160268 152457 125083 61336 78935 102486 79239 63442 174532 72115 32722 50413 75897 27851 96365 117472 101419 166430 43251 164744 148280 107021 125910 100708 83048 124113 19509 99863 174561 87657 95907 18896 77244 53330 63585 63767 24083 66057 89231 63665 34939 118140 118535 574 32867 134463 104250 96179 91494 152542 65416 112340 121639 148894 134849 33095 45455 131188 57962 136861 106496 26052 31264 102086 169582 54778 72323 34029 140365 34799 17139 159877 97662 85145 129668 54551 76770 34233 91658 159016 12569 14612 50292 132881 50109 82889 125354 90465 171763 31274 55618 77360 90801 118171 30767 24556 155713 129180 91588 120229 42434 68454 104494 95347 72296 160695 165575 15952 45442 9744 123291 106684 132236 43526 170932 136190 87320 147575 68230 149971 31232 27998 81774 24455 43549 45427 21413 76644 2425 128784 162270 108873 27775 47656 146366 33276 156807 59225 120141 71713 145487 97161 55330 5176 48499 11557 63912 71466 16029 99895 13064 34076 44419 85436 79906 24352 48708 118920 112449 75183 89319 172390 109797 145491 70546 165064 64203 96995 158564 149435 156707 34755 174084 117935 130597 25240 102691 116598 67396 127669 83410 29374 96481 99039 155284 82928 22830 3075 90052 74050 29130 152470 24775 60244 123191 99432 90619 139822 110939 74920 20791 64468 157241 98403 98157 110527 75730 109529 123307 147194 136942 56253 131752 157547 128781 34041 97483 23115 85694 85190 97325 16345 160720 81691 49591 54698 152448 14651 15383 59433 161395 32844 123032 71119 110613 153556 69416 77192 94600 33755 5656 141291 108617 67534 43451 32282 63723 144647 136275 71971 5793 9948 156542 127761 50516 139552 58944 144964 86016 173349 159811 102742 104469 53641 44477 39877 95127 22543 107739 162083 152959 145524 63958 81828 144523 160068 88609 89721 53312 146676 50074 29519 93903 16147 55921 114717 100540 95921 39518 67597 10491 89665 373 154161 43312 19705 163044 19891 129499 76350 104155 23555 56512 73964 50129 41654 137085 16922 17431 23783 102983 80586 82133 106521 60984 146540 75092 72611 135510 26543 64799 61807 70869 49363 173518 142708 141 169900 149636 5687 174765 60423 95193 98203 155266 147023 40014 6159 136291 105322 49187 156960 44314 57824 15579 141375 164935 61772 74375 130899 108417 63152 47329 72966 106077 83122 84473 92240 43160 171568 138580 85261 3485 73538 168093 40139 164190 25552 14887 17127 4383 51087 43882 132624 98767 150780 112327 45996 94979 11612 173568 98384 174647 71808 49989 103392 122629 97675 23533 147373 71179 163145 17828 111064 135165 85114 24226 45416 160274 62426 96965 8375 4416 132646 88075 136184 120996 135400 13797 86535 135910 148695 135150 50963 153301 41666 114826 140550 8659 74021 167368 1940 166977 87188 9222 163373 49602 98640 165637 142656 27910 80897 57751 170287 158297 1501 19126 19608 117118 89162 95634 17315 71961 101262 119936 56552 98135 14136 92215 50588 24209 6623 40665 140575 162881 349 38942 127136 113840 79773 175428 104248 105156 63677 36720 90310 167472 133674 118713 137127 9954 3978 45198 111309 156328 130122 90784 31307 140933 124779 46798 107550 159272 119541 175358 96828 50780 15460 8504 155902 21232 166781 116651 120573 142378 167743 59749 155595 49010 2602 83396 110660 132506 82786 152877 140053 116456 25394 47396 1605 50598 109695 16951 158524 73029 64032 66651 152733 175294 60794 140424 162968 88058 42165 106429 148264 161379 102437 97329 155723 73172 116910 24527 22910 158731 125726 31890 42920 33504 102695 166700 113608 62072 175954 131817 23600 46812 88572 70097 140029 160302 105326 142436 98283 169111 58305 50116 45063 17034 11876 92468 80221 41251 52359 166671 9089 115329 124270 8385 89494 82797 96487 96643 41697 156326 96721 18430 126635 25893 161862 42820 25423 74894 23666 28665 11658 30140 166848 75977 13781 70896 115456 70067 112012 16919 58773 49232 11151 161342 76921 42412 96991 175791 29041 122659 125116 174315 82238 33340 86187 72832 7154 75595 82308 61907 168051 75467 17556 14206 42223 93563 63734 166805 147551 154695 119385 166716 1080 51829 44217 108425 71133 59131 19227 73643 16988 13383 36073 166568 146774 131223 148051 54162 161932 143681 107571 71145 107451 59371 15805 60838 121594 19861 88047 49856 130152 73463 8730 49651 59938 174649 152885 146120 159598 122829 47349 2739 52519 130346 10661 165362 30606 153551 60955 128229 79483 21381 2935 52344 9225 17206 139221 167504 138545 106878 94934 81849 174437 63279 106252 8818 98991 22462 66894 45797 58007 135570 5992 114142 146256 69091 106989 48726 17633 81998 82223 140367 101127 142529 150291 42282 32791 114880 10453 90870 139351 164222 119933 163499 65897 89376 76742 14857 123731 72631 3714 153367 106996 127618 122231 27524 164621 5499 20683 76930 95053 117348 4222 50680 122373 54688 140114 106381 92527 138962 67689 152120 16688 114456 1846 122176 32205 24813 18786 28889 49036 143577 31755 9287 82105 141265 93120 72321 27426 17170 83250 1936 95367 6483 72545 173890 20320 148108 129890 151858 162483 26685 167652 45084 169109 46309 173469 126307 35097 24484 139713 125782 150580 59412 70511 101283 95020 41881 67799 73480 38720 14331 71302 89906 146223 102646 9512 32970 26649 95470 31724 153417 68950 133936 108525 130267 130521 111315 78533 80559 139643 162784 155451 100054 10643 32723 25455 28191 155707 33740 31262 145409 139788 153507 145693 40466 76076 103891 50275 42962 50633 164715 21588 164406 148612 65328 73296 42790 18715 15661 73355 9119 72685 47141 135313 117947 21260 65503 54329 174269 77147 168954 154986 95751 14719 148959 17646 53515 84037 99575 48775 64057 29138 65869 98982 106080 154081 82469 47859 149637 82493 46063 106832 158620 173710 48489 136838 106512 144575 102165 34839 142765 142642 139066 2387 136651 160373 90997 6888 138660 86695 60536 20487 92031 23003 94237 19308 47122 136381 122887 88828 61289 34235 33239 7335 2059 160815 171505 102785 17596 32400 53434 55417 77780 156452 82686 40116 68896 149200 129326 117217 95142 45554 62476 112972 153325 59004 108961 30294 86797 3785 111277 87047 87467 73678 97025 124140 42702 161198 74465 101865 135355 138083 41915 166844 19170 129571 12656 9176 27110 175380 127187 25346 91006 20482 15213 33155 109263 156923 160010 78302 58043 21425 105039 171185 157569 8489 18871 34642 13305 152828 108351 41657 84310 167862 145610 116440 165988 16077 32772 77750 27377 15733 147671 22554 159237 130549 25001 150104 166960 140989 57147 47749 75698 100359 7892 68692 141586 175520 166969 118490 29330 50577 139157 53232 171646 81358 62749 30059 124218 127467 13162 143445 158644 155163 153753 98835 126779 61996 145452 153493 96357 84267 138768 127163 90296 13755 94534 172346 126631 19877 169372 49148 134901 158520 31990 22519 22421 139023 151020 169260 53173 135693 39483 102554 84303 6510 168987 69507 17548 131746 79088 169927 160996 25654 150526 17393 157338 24521 3058 50578 36797 117 150568 87777 68897 99970 16554 175038 121241 90705 53505 62322 38540 93760 173047 138976 43206 106091 114066 158126 57129 40593 122886 104247 89257 136342 138576 19016 157393 103561 94018 131630 136261 102746 114653 100856 5750 34026 83273 51721 130186 94053 114405 12884 142236 143214 66438 7948 105745 48226 84840 16217 119559 172453 58651 46024 110621 142053 75356 160349 133792 99977 53618 140455 107997 11649 116050 154753 172407 93205 75443 140080 62184 173929 12336 61318 36956 73227 133798 48757 1953 132260 101194 45838 146791 157017 58972 135233 141725 122037 17256 14304 149065 121374 149696 105316 65107 68749 11148 154674 22897 142151 51019 69121 92933 53533 80334 122563 74792 60166 60458 119438 164638 13673 174325 147985 145609 67671 139875 18095 85668 467 125134 142297 45764 40366 117660 124350 14919 165954 31739 115876 6158 141774 19099 135765 131426 145226 103798 69666 158193 122212 107636 57545 10290 51227 56166 160569 109889 142318 159 81437 166134 80458 82746 69643 21045 79449 58226 6535 14163 22452 154621 89404 124276 90375 103383 128132 155173 151114 129730 156625 176052 89197 72098 128761 106055 133104 143645 106784 49311 121949 154508 117604 156782 48909 151426 145336 123327 77968 18272 51482 11227 25068 111683 132447 143716 56605 53979 54265 24301 171615 149972 72260 64766 169120 148104 66023 159828 120212 127747 101655 59000 151686 150763 173213 81542 49118 45939 161123 12783 60882 13279 158278 60202 151250 89502 85938 141411 44469 141157 168231 92024 22670 3648 25154 87319 49836 38826 146912 2934 43203 41636 158128 45185 79097 3839 90410 58751 63982 116504 36930 69236 66869 80797 63593 119707 22987 102558 174764 165070 112270 94371 101430 127162 55011 30282 51694 139808 32188 16276 11083 175824 112082 169652 39277 153646 111335 76311 146172 59075 35534 141006 7681 155437 132253 71443 106653 173725 171764 26605 173102 126663 44760 10565 152932 49222 86406 168006 150074 127752 41311 63836 31760 121864 138919 175698 67233 71510 38848 58678 22664 27101 163316 67612 32284 25766 85587 145697 119881 60431 65274 27506 395 10080 53682 115052 121457 54630 56890 33465 3840 143345 176041 76572 160518 3403 110915 59244 136058 145040 109933 53790 9891 44999 91096 156000 91042 68595 39387 97724 24670 137087 173881 52873 162795 136510 17074 156769 86841 154001 137028 52017 162673 95401 3578 142229 170656 59330 117915 75440 166404 176272 67672 12389 39368 143556 120742 2673 139547 3502 112851 143163 38158 155198 128289 74235 46633 31286 118245 27959 102522 73473 144066 72956 124938 86153 80330 84778 130380 84638 172987 158047 139515 124302 479 52339 42491 50685 173851 74133 115749 143308 46263 51373 84272 37782 147511 142401 102476 84215 163142 132083 140552 25379 119016 6824 171480 94067 24355 54446 158869 134427 65257 29324 173854 103787 43517 119396 104540 120916 20261 36176 127032 150714 159306 71972 23744 118875 52250 9678 21459 70645 90998 13328 70712 22349 38269 23443 170426 160377 149945 84586 85148 62286 98914 44682 16424 66594 172204 20896 21116 67957 102112 124574 81443 173813 98558 167702 43878 104258 55223 69169 137076 84555 167184 3360 38129 90124 41315 138434 163812 172219 131831 166348 96567 41555 4025 9304 14102 24913 113138 166603 114660 20470 77981 105003 115613 51835 93190 84292 32513 113272 167700 49103 91504 44901 109726 56752 172501 45367 58063 160107 152987 117073 164951 105430 145426 120075 91347 1546 155204 165302 8984 20336 144604 167281 89126 148232 136672 23561 83713 72407 102749 43244 15573 100899 119401 55181 112824 23822 114680 157080 64172 104482 67019 56027 126046 13085 162644 150996 11196 49988 172571 149917 94574 154632 159294 30692 122901 110454 129612 83372 140209 164000 87084 100646 173869 98313 62280 121154 160980 163985 76225 128552 55790 118893 143631 72729 161545 135757 50482 98414 75008 33894 24012 84690 41005 93661 37298 80166 138295 37867 91571 159501 33277 121064 13894 167661 26268 23627 4346 168276 167645 97199 133278 99882 100689 27100 151561 103772 16296 8666 73115 95641 170107 124467 155603 15981 50774 74258 144746 160987 140410 160709 42053 20758 99368 41206 107416 84330 19208 39033 99764 73301 150403 99033 126397 174603 40705 50637 63923 151866 48545 83485 34644 91086 148199 59405 25478 139693 100956 25429 45049 76514 135366 92153 48477 99961 53775 38178 105368 75110 150376 51993 8398 162503 127977 128663 96346 146388 107660 57368 152395 113774 140006 121503 93974 61079 22511 89086 159029 158534 161211 92960 163971 162735 25903 17133 171277 142123 121276 79979 123871 5919 115687 144529 147305 80407 83710 170916 50761 33191 107203 79321 123594 161794 90738 119116 155971 8777 53794 67084 3768 145880 138865 91453 96921 38694 55418 5136 153772 115801 57925 75620 73849 146128 24912 103213 159440 5087 36710 42926 32688 33827 168751 138867 57693 40246 125583 134725 102275 89134 155537 5391 22802 145010 42293 29734 150141 43810 47702 175376 47405 126720 32777 92318 144931 52494 147490 134739 148470 150419 68340 89445 54418 167297 113726 31012 156973 123521 103167 165232 52587 118122 74011 125992 48065 156938 146349 80713 100287 86980 50751 71653 8361 136377 6482 103013 122328 10808 125958 54106 169936 119309 116902 74715 130868 91050 80772 26910 73939 9493 41501 20184 53425 150097 66958 65872 86511 142327 40856 175812 126519 23346 140441 97638 137600 126756 46183 17398 51828 25368 160174 155632 90816 95468 161249 33617 133161 158861 136439 128180 174648 105994 31699 140369 48217 124994 135034 37072 36632 92942 167188 163824 68853 92591 67109 39158 86414 72031 4125 142814 162690 15373 49255 93673 93944 32636 146411 29502 9638 164975 123150 163894 24563 78338 10499 103079 3109 79696 120689 149008 66882 140834 48799 63526 8904 108255 2191 16819 110676 89993 88955 52530 161982 168888 11785 13537 128581 153414 125880 52361 138645 65582 108595 36306 45358 84681 104938 18877 49907 159145 175320 4994 41838 94764 142624 104955 124609 117283 118062 36525 20985 149643 67752 118178 49420 17705 91767 134686 933 172938 145665 141056 175152 72117 90117 52618 107986 118005 132110 68468 31461 172168 171744 165838 161505 74884 72288 37980 171639 8551 19492 35541 99036 7104 122974 34244 105360 165199 48580 89022 39800 108854 66877 107311 111928 74027 29835 90935 173920 16054 58844 26282 60792 87436 76098 86517 79876 47652 167528 96711 113251 59911 65266 36517 159855 43552 125072 10195 59738 28014 128336 63586 81554 88608 67577 62442 118415 91915 5218 63824 167010 19916 97242 95300 166169 88987 66217 118455 160762 171085 26080 137475 26150 104583 114250 105826 55453 131707 43124 92723 7642 152963 134546 76363 130699 73807 17280 40323 54472 70561 24825 52221 54252 155856 95261 12421 88704 155878 80172 47466 21462 80903 162156 169183 54341 26116 59625 140630 130225 89388 6558 114843 51420 135372 167419 153048 56371 124038 61846 139480 166056 133937 73173 90882 63002 154274 97755 167683 164189 132696 114029 82264 125147 77448 131271 141652 91197 39021 137010 40944 124148 150770 77768 146029 101299 120662 52129 91516 30279 79825 64433 33021 174160 96287 17037 114827 13910 78253 13347 33953 30321 118222 156261 23534 114688 50919 27479 35825 70127 41969 133562 59557 80562 142274 172562 167361 12585 158813 95817 50023 45847 163073 44545 167110 31653 159230 150293 12388 34204 170180 76795 168278 22471 61676 16348 41270 158107 39994 172975 110508 150665 132109 173378 166194 169981 9708 119980 48091 61745 105241 86638 112058 175638 159334 65492 121863 127424 104671 167717 7270 45926 145252 42768 168439 19073 32500 270 136136 63894 70981 34157 103294 39555 67875 101251 139565 116268 15252 160545 15054 73506 150974 98623 164631 142604 75307 33461 134602 134967 232 135916 105031 43217 174413 87798 72492 144327 101608 14212 9060 157597 167440 67212 116154 171467 135380 122962 98425 46169 63987 130821 87659 14419 86541 36017 149452 7984 137510 155213 24573 15715 59580 31443 158593 2524 82119 84941 149686 165823 27399 12709 19528 82080 47049 145390 152350 94400 39463 80362 71529 22614 172465 34295 122828 137051 166154 165137 36487 116523 22884 36126 52707 98847 101375 57658 173289 127529 72908 141536 125001 97666 55661 70946 75237 129788 162186 123413 48805 148105 106044 126597 1008 82279 98571 33350 32656 54829 105483 156176 157224 7651 98020 135607 92091 71584 112407 84235 72470 31918 85648 43340 54222 108766 153796 158576 54326 36589 40760 79044 22069 110103 141715 113330 113322 171462 46988 30962 129228 11590 105018 168406 78053 175120 4546 139321 32386 152051 90764 12020 41192 93314 75324 114313 69290 4328 30336 94438 132275 98300 52095 152433 74960 11476 156366 17290 152671 25934 133445 116900 132706 125057 158275 105617 39039 100955 54357 47704 119603 41404 140432 47250 121326 31088 143086 134691 148112 86043 149609 79993 63538 124153 6657 28305 104379 157802 56327 49243 75341 22643 150705 27613 32512 161670 21149 36777 50086 100089 107226 46680 158909 34735 1740 174246 9977 99593 169073 128017 48880 42043 80902 18206 25310 130685 89916 5275 125504 91082 175224 125620 97140 60746 103230 153589 105447 148445 43157 111261 35988 99363 155875 5436 92331 110528 154597 85811 94913 88272 145388 7252 166196 12893 2310 130703 85836 48162 16061 154018 101967 133151 19710 41127 99476 24197 69729 100737 65776 84514 22800 130161 13244 88108 38775 63839 124182 136868 168179 80738 1897 146378 142143 30406 163986 140764 80670 78964 58252 79166 166491 124297 102316 154227 14966 149879 86708 157231 91216 40994 163860 166408 94356 94486 64358 122539 11017 47944 106132 132554 29888 143441 26192 76240 6115 34634 157540 38150 99796 138533 140386 47695 87746 95387 93485 166654 10828 133670 98226 126321 21977 86180 88596 156463 10826 110400 697 40494 32407 65601 121749 96449 49769 8819 7215 92408 9398 63606 63323 106534 17464 147360 120048 150051 173551 112629 41041 129106 154971 17193 77741 15717 74066 76058 136362 20739 114737 5303 82652 155388 120230 86588 93972 2663 77500 73114 46528 21420 17520 163010 72209 167826 10765 9465 26560 11844 23295 107191 55796 118978 172849 3907 29087 141249 150049 37428 47323 170510 154895 127518 1491 71219 7793 68356 19762 131570 169338 45457 20631 176049 143966 14219 9466 47289 117612 40092 77242 47709 79415 72569 39746 127191 136105 175407 65349 31376 156438 167855 100 105413 175276 36767 55554 128874 120009 136113 76455 12942 79348 162674 55623 39872 129901 15159 48684 122878 77036 72995 68841 160574 49152 53390 26218 50801 47854 107883 89471 172752 132221 27821 124000 10157 157405 119788 152382 54310 41796 169771 117282 96221 41447 119423 61113 173216 53749 105286 10121 4115 71990 158167 149454 10066 90786 122368 153606 60045 31875 13112 73848 23581 133581 5059 166653 155155 152580 94043 55195 138986 58257 128296 4901 133387 13575 173177 82688 125700 55476 176248 55302 109473 25707 49739 108474 116631 16489 167552 126797 15351 128921 106063 17538 156845 91279 152842 48982 144019 170526 129920 160891 140322 61674 125753 83254 147659 118587 175461 27073 158429 144615 161788 158532 30812 3667 12582 136712 11920 65198 28616 58760 69490 31636 100786 95454 36934 47490 11734 75457 98456 76723 161772 175800 88816 168911 59982 71684 57179 4470 41331 113741 22839 133092 88464 57203 9436 123835 141071 56928 155371 28126 15175 6446 63871 124948 85117 61701 61189 95434 40824 134862 30602 134165 159726 86585 52420 167453 27038 136945 53293 62467 18622 164681 127964 6071 134624 154652 160967 146471 173512 58743 48011 144377 105529 151127 106094 111244 59192 24994 103623 159381 38313 26378 106354 107259 62903 8507 5103 114529 70752 18007 52752 85297 78090 67621 37476 30725 45191 37303 145087 128142 46820 141965 78632 21823 20894 19965 8355 83476 76328 131617 115913 157894 11173 10670 43785 4378 59333 25674 130310 175381 48358 46032 136915 111006 49964 149091 15469 157244 14143 161095 164836 132039 172419 168772 152905 12125 90359 140695 31758 80485 88443 36690 130488 142195 131650 41582 48371 39186 66982 143128 162903 70556 126525 164514 35531 132835 18987 26791 129546 86640 31217 14311 108371 101498 129384 81837 7985 89277 73978 54287 52345 169885 85799 92500 121998 16271 173990 47129 23614 131208 46047 10966 36119 54974 133689 87839 77017 122656 84998 160750 45504 101086 97948 86735 23389 143418 64673 68898 116678 31512 58112 17999 170253 38823 64797 5986 67506 99273 39505 41848 129783 168089 7193 132973 138202 118399 79379 82950 53631 85758 64552 37857 81006 69174 25920 90357 61731 59377 159424 118800 109236 137343 174368 89041 147839 44971 114727 146354 4676 73253 175410 130647 136696 54758 3525 16368 55493 135613 79763 98268 60839 121997 25947 23010 72107 15859 12914 58926 90653 18321 14307 133722 104194 171559 169281 45453 61206 46319 57355 80985 103436 112258 154362 130739 24827 26619 157753 71240 1480 66171 64466 43646 60149 156448 147580 87271 105221 88949 84635 90868 99248 28139 19598 80947 76230 52438 44818 170080 112498 20101 8458 56419 110616 154024 139989 142027 129716 34167 59072 88242 172406 5317 33548 148237 149225 132155 173959 126535 47654 93680 120774 116332 50239 153137 125419 76802 678 34059 67443 137499 5238 45298 44568 120038 91544 25733 94434 75360 8182 40064 174026 107342 80788 59395 49367 58204 111983 88425 159210 68555 104780 115579 7462 84372 79969 44972 163070 3082 75068 47897 17094 22372 125657 39542 50332 120911 7551 38441 108113 165526 36979 66615 17632 89615 81938 148807 40581 163127 117972 46720 68167 71864 2394 166072 114682 152691 120421 19177 148754 108875 54193 63061 125712 133754 166985 71562 111054 102101 170387 116657 91655 118865 111910 133241 4552 114673 103680 120065 141140 89738 29276 59366 101025 121756 97787 110919 44994 4884 30409 158475 3193 112556 107122 175008 141569 13143 69132 141117 98919 144975 61482 148443 49140 143843 21538 11794 149314 115508 114562 142565 56897 15027 143668 168794 44479 114652 119487 58717 79538 429 159577 92199 10611 147634 111624 24942 48425 143831 151530 136715 82072 141574 98788 30583 29228 94256 166318 36451 90675 12241 4915 72025 122403 12293 51145 172080 32023 71816 144177 23938 128857 162390 131 143436 44772 75990 143973 158623 173972 14116 7284 36298 114271 32476 162004 2493 125713 146544 35332 69402 132068 150396 15842 144125 138881 135225 10651 82666 110811 149902 8947 167120 161838 136162 151595 137776 173319 109127 5916 115632 170886 119421 111511 35537 147256 61835 104182 70030 60211 144122 14808 28396 95549 103946 5285 89898 118183 114042 84812 1289 152043 30851 148391 31907 133622 12158 53639 134816 70678 102747 127995 16011 34150 15141 51719 69780 65136 87022 89327 116697 123729 123659 102918 44186 156503 10953 112709 98662 37494 15694 162338 157925 150257 136608 47802 173515 135067 45873 63328 157658 92581 141246 34957 35862 129768 39128 132573 106471 58056 52622 110923 91841 19145 9537 60889 3484 87269 75355 29631 22498 162874 147124 75635 84913 47517 176201 155457 76265 23612 30278 49819 122126 127836 115468 122590 156720 124173 60820 39950 37193 18748 56113 20691 158438 35183 84374 36134 50905 173282 59378 89002 173036 98459 142421 86444 63449 126120 53459 15885 37856 40111 121412 95202 79172 41276 151038 100869 44327 122796 43622 103139 8459 25861 135911 109689 137923 46220 128134 7664 110600 20606 107158 116987 76981 109097 11163 66362 45751 110960 12851 67715 45879 69276 59800 158320 134912 106281 169180 52904 26527 159671 96353 28042 89051 52615 103823 130742 115143 92361 14795 72146 54405 19091 66975 50198 61215 139439 170258 39212 71746 63539 8362 42816 3837 8118 20930 31798 24640 149759 34129 171236 95109 15305 106147 97051 64277 101059 80214 54601 130463 69118 122073 30657 51940 169573 112393 132 66361 150150 141055 175599 130215 58673 172894 85961 98869 56815 7384 158663 167983 22857 9845 96484 8223 75550 146609 30501 24220 34728 74998 9866 48610 162029 147268 91260 87453 150601 163612 100142 77926 41148 61664 165966 106500 98603 153086 119378 17671 61350 46139 43812 94302 37744 169429 17716 164113 116474 29985 136500 94930 28912 126881 111587 26517 82507 69189 168421 102023 31959 138207 174914 148856 106168 141488 70900 37415 68144 80434 109604 51745 90914 676 45463 2703 49689 2119 120218 38678 69111 57316 75317 146844 32113 20016 137180 176236 102943 87616 60853 135548 113496 25957 18761 59170 28389 64913 171397 169971 1795 73515 54593 174591 62142 56438 100293 20745 37680 161634 155494 97073 97017 2785 66338 71331 169966 3767 109525 69812 118521 59985 40239 68907 29560 142833 150865 74364 62952 9619 49899 136724 101034 38448 11117 70590 44736 150612 129615 23141 46246 108419 21095 72788 148510 153411 10112 69232 15680 8231 121584 159676 34394 25036 3964 40081 71760 12228 31282 59472 101192 82533 168566 82419 37934 6741 57837 47204 110903 81789 101265 49948 101395 34991 75890 94079 76056 40278 20673 38559 5619 126952 38271 39293 1064 21828 1885 86961 161089 30894 116670 134041 115020 23977 45217 51614 57559 4727 52693 92264 104005 158229 174738 118822 124587 122690 23165 35266 120383 17932 80040 128800 25268 117625 84543 29666 39006 131716 136428 162033 156167 72776 80701 77854 43271 170996 47140 63812 521 148721 101167 10287 162461 20420 87582 9713 115290 80928 110578 28516 97923 150506 159315 24977 31517 75657 132239 60901 111053 134738 147036 54297 94244 32379 96531 100305 49183 135394 113210 50461 83687 76046 154987 120560 36419 169524 20319 142910 65040 158984 62533 86748 104690 6350 158788 69339 107112 29644 3923 35709 46424 73300 135678 33657 47335 23399 60185 27256 92382 55175 67516 25563 16486 4236 166852 64144 86705 94902 84441 132537 117749 90294 1357 100911 138334 112980 161623 20746 76297 102764 110847 102142 139637 118673 19369 44879 133252 35554 78573 15638 29227 62413 63638 146824 98730 56254 96717 34280 100002 14144 78919 100706 147865 175366 141949 82850 139301 128403 119627 89063 133468 160055 123929 106694 164263 86402 84523 174068 88619 39860 58636 82039 10503 93144 129909 140634 144972 104104 174251 16314 41669 98764 100465 100815 82645 171894 106541 100087 109718 93786 101771 23871 170249 127048 62131 90880 60365 75459 125249 72351 60978 34533 26208 170209 81540 44366 144038 64340 76704 7626 89561 45459 4048 57527 100167 59482 84465 84279 135232 37294 77937 128645 153295 34328 11541 140370 122166 35331 136388 122628 132860 59753 14284 65750 35524 84772 152351 63731 61810 121625 101712 35942 78477 84895 170029 149526 129349 77909 86779 128472 98096 64306 50101 13643 116962 82420 143544 93853 145449 127563 145935 43461 90635 85997 52739 99521 172646 129964 57350 127943 127858 158582 41973 85218 51213 40973 6861 95359 84802 60918 92431 27438 121978 106313 59746 105703 51253 222 128240 141147 149470 51249 74125 104885 159623 36187 166748 135863 152520 97269 78626 72383 165126 102064 475 104028 161086 124243 116103 30831 37374 160439 76853 48989 25436 142531 63590 53244 40780 131608 155835 149202 140043 149172 96898 47313 56066 83070 173219 157856 37266 65971 19302 142581 83109 146880 158272 42486 89394 77302 122361 15389 164251 135292 50730 166472 21950 61392 97756 29487 11421 157291 71099 2013 159197 150920 114465 126699 120704 47113 89398 171316 61129 121176 145506 86020 22623 76304 33302 170084 52863 132284 77536 31597 132202 80686 88875 28610 109226 101757 131104 164711 17623 49661 133229 166560 94994 171679 135713 71286 84400 145439 59453 121542 83496 109896 117770 61716 97503 157245 27363 33859 93217 107157 170315 133343 156525 98122 39380 109129 57699 114805 78732 76413 166232 161664 138907 1329 136383 129753 168245 60036 161146 160730 93211 20942 52114 98124 86205 100072 139289 138822 83853 172129 135158 119040 45533 44379 116439 167501 113807 171841 78265 42458 171782 41292 56689 3032 143901 28266 20200 157066 42312 57656 50456 38816 140248 62119 49664 143098 136776 33012 15051 2135 50604 172303 108174 113332 68949 89214 58276 161725 123383 167406 46436 172023 64658 32535 162188 63135 7545 63540 131092 122568 100074 131794 69747 139881 29635 51840 65929 27188 103708 154944 134023 88056 136368 134682 91788 119314 15979 33471 155315 88745 75095 81129 64481 119029 82435 175178 136785 161091 48592 106913 137840 95111 106734 95230 92267 76139 119597 104180 21882 100663 122647 57954 19282 84982 123290 158365 44487 130435 152699 103095 7000 27673 106935 154960 158312 85507 92982 155234 105696 104246 93898 72399 135710 98933 128092 78755 167205 143222 172810 83830 170651 103168 13926 87632 35132 29872 96548 123035 112679 32097 41269 133790 77923 52313 41264 45372 2831 92502 129181 85491 12153 159067 129548 31097 65325 50957 57395 140360 143288 126764 142994 50821 131218 116880 165234 137736 57617 98372 6442 6631 125827 93633 129313 69312 30955 137763 74122 101772 134594 84608 112901 48447 142463 4237 153114 14943 41525 36473 56596 97822 23201 49643 91669 103668 140317 43859 40480 175293 84593 74991 28085 5367 38244 3492 137068 124215 176029 19478 122289 19278 102024 125612 163924 97125 116299 40797 20844 46343 108395 154718 38555 48683 140784 159265 98890 112016 57610 142076 122996 131384 451 140301 108598 80317 153598 147948 29988 171993 133714 163797 174012 27723 82475 94225 78013 79323 13163 67247 113853 35053 55613 30256 153784 7032 165208 144489 37385 58327 103067 128256 57730 165098 173227 49777 152100 67412 97338 111623 136721 57349 135696 97754 61422 35824 114544 31620 22177 153941 101403 11561 14306 72015 45741 524 33062 74081 20619 149235 74486 41492 155085 47622 124735 78963 49441 80025 4974 83965 38043 27558 44549 111374 53574 89226 78661 168075 163035 147749 70952 134879 88209 41239 143067 37568 17955 94343 53402 175118 129547 165022 103205 48434 168435 83582 147348 100809 86135 175983 59456 117076 87440 77469 32134 65458 133437 162569 115017 45633 86972 87210 152886 145444 107294 29399 486 93750 139009 94922 41485 33280 39295 138709 106017 86075 80974 27842 50506 18749 78398 13885 103115 21864 30118 98600 11750 93981 22870 79429 93670 21289 85105 132571 70510 45262 1788 45973 71667 64722 69258 140529 77552 162546 21304 130154 162373 17543 18533 144761 131306 40656 143354 60260 3195 12316 56494 154015 113265 85267 17747 671 14697 92247 39040 115204 166284 148847 102020 55821 134441 168191 17225 37924 125192 156339 125425 93610 80946 88665 17591 29854 62688 130300 95684 28000 124440 86674 176026 25435 12930 49440 77210 64608 73736 130485 62436 26385 108665 62170 164689 72947 87630 96171 167005 74807 108704 32703 159003 58722 84696 153509 4700 132769 107409 33301 143417 170621 132999 29550 6149 140932 59235 13940 42652 53799 92906 107213 84262 87714 162011 31495 19222 90418 68632 56233 146038 128395 11871 22921 121752 170388 52011 4281 57108 104366 16881 102700 113381 165012 138076 135980 138034 57928 158824 73946 29998 155353 116587 4083 124532 174574 95080 91008 64533 123546 76488 168483 17499 100298 93961 57806 79500 61031 35507 22563 59797 84048 50027 52334 87044 40184 45259 28975 24483 30246 11452 95516 133868 94123 119092 25754 36980 157312 96098 161582 132495 138877 120888 138134 129297 54276 163988 149182 175613 59174 11472 12986 63334 122813 135746 146114 161525 107384 141803 145634 166257 107199 38758 128844 49703 106070 129567 3098 28801 22734 84327 24299 63674 109343 138250 102972 23944 155002 14960 95894 137804 44224 160519 73617 143964 16921 112185 55310 69103 77022 3028 159686 92801 59286 113185 127129 66778 74870 34031 173650 164668 9491 59250 88594 7768 142386 143313 58864 135092 55196 166928 37414 81029 142095 70113 123896 43880 145142 85454 111311 44635 105818 69725 110582 44172 18344 96583 175295 129700 43147 131514 173607 32519 136530 164154 667 168265 123720 43963 137622 138992 62778 20831 4084 49800 27540 11029 138829 7236 103468 168541 24898 825 144930 134727 63423 60177 115863 54420 77522 31835 99673 108638 154934 76939 27379 70045 156638 66089 105380 86165 144460 21612 144747 134121 150808 77654 69286 31621 94920 8360 37200 112448 5245 26043 89539 110233 78031 503 105438 150855 133121 59755 114199 114868 102967 127051 162981 166683 136610 139039 13213 84641 116838 12647 95555 2856 19923 81466 67318 126308 134019 3148 168688 36368 97154 100347 37852 169266 111959 99040 137610 134005 73247 46185 84054 104896 159939 14937 146498 121493 65102 71349 22797 7950 45675 14178 85576 46966 173032 125507 26090 38013 86314 41091 70345 33178 85140 106821 152635 175006 57233 60509 133551 10639 107627 109479 8177 171029 166471 8727 109768 73155 133944 34242 111684 15869 97496 145191 142266 70941 24157 66968 161533 150143 35911 139404 142078 92693 35230 138674 172248 47143 53563 65511 133493 12341 67836 132576 43423 100127 141988 128217 173011 38297 11923 34959 154284 63429 25956 97494 119337 104094 51512 152770 125353 3911 166904 83430 61467 27371 157555 91411 153028 20817 5078 28489 563 108851 107204 129831 110874 62868 167160 67658 32182 145221 15120 107994 96112 65691 50277 100500 33686 163883 155586 25764 160819 1462 167650 71075 80286 48509 111600 104779 86082 50204 154058 35467 67607 28592 149619 57528 93648 167789 28324 132333 90678 163051 129250 115922 118045 32456 145782 28813 20986 169571 140414 72676 4535 133183 46366 158430 508 116509 78667 116399 132403 73459 106211 48699 30924 36064 105599 2536 96122 111631 153200 147184 30744 112527 36771 74492 174861 135599 76995 53176 124633 142112 36327 95677 33346 78002 151783 113861 44991 163739 15308 87088 56998 38486 77644 78232 62159 86932 90568 33654 107904 8691 34780 154582 147112 11778 149967 82972 115887 126042 2056 83590 77080 17994 22289 111085 147545 97250 14045 27433 43847 6079 16583 91739 94501 64095 116045 97750 9024 114543 86913 4895 31646 35223 174920 13726 61416 146580 59614 89850 45740 157351 64159 42839 12637 138604 124290 956 771 114048 131749 53489 141404 54019 20119 42258 99253 171770 53493 54755 169368 152269 142853 31509 141907 148854 42301 132032 57449 34259 20595 82709 89189 59281 170993 28878 57999 94255 105953 149673 35299 106522 120270 161822 159861 90374 89072 118210 82998 22996 119885 166955 67581 38027 169048 135638 118382 21094 152369 56262 37263 139376 26289 134361 24342 109746 170534 84114 39248 112552 67234 105829 115809 78740 27528 155287 57008 71545 152089 12220 89840 29125 159911 64261 103329 79213 23767 175586 135332 123227 134755 17691 154385 38501 46811 61984 2084 66223 26582 76864 68742 4022 107481 126086 76971 118755 94770 48579 34344 68602 82978 43714 74585 49714 51100 113346 169184 13635 31578 128484 770 57934 107159 124985 69006 119944 42814 170535 95929 42106 111283 51928 146532 60824 96920 28930 69421 71671 29206 10729 129343 105573 69166 44107 103899 36868 128031 28441 62774 39607 62938 62317 20657 147010 120894 65544 76765 102247 106090 107363 153047 123273 128056 56626 146342 45371 11003 109088 45855 162871 164380 126538 85853 83887 81844 171984 111652 68689 143661 23343 87180 152329 70581 3464 81590 158652 169063 167559 60680 17995 18619 81999 138122 19609 55244 84118 92630 35907 100940 134344 33530 85447 121274 65009 121669 92451 98787 140373 167161 100332 33978 154733 106836 174854 1156 66586 32713 4709 136720 22097 14388 84005 78180 92541 5098 32767 37883 41605 149383 7136 49772 126674 92843 14650 121705 26438 15818 27466 4763 134702 147150 114077 19937 19601 110369 131440 113665 32068 112453 42417 8049 38272 107726 119903 127973 37720 95882 72951 116328 59553 102726 139952 74278 75644 146798 138571 76767 160909 12832 139454 59555 21783 22257 23926 69235 51254 47392 67862 72834 19906 12981 133464 33353 101623 114240 16559 165959 107155 38308 152396 68046 447 58897 104335 76203 39433 62607 128684 151367 156613 74569 148595 134172 134106 105805 135629 77019 134469 113745 125878 21169 15318 159981 43788 142429 139674 137277 132892 17708 110755 133853 37825 128183 17424 326 17966 124203 2218 24908 2468 121983 174255 47589 24278 53429 62418 26230 29706 94970 62249 80470 90433 39520 160203 125021 1523 42232 46597 125301 19330 144577 101435 159305 82379 101987 129660 121682 116426 132354 113640 68224 125091 92384 70209 73684 2044 153570 154915 170995 128708 119954 88950 44840 116750 36527 134882 128567 46202 138618 88653 148286 8316 173326 94475 132640 48892 77551 12214 174039 45993 22278 32230 129774 25341 82586 80235 133108 84051 136573 172470 142384 22829 79069 136183 9925 115580 53259 30543 111023 130727 137920 43836 3849 164147 125038 113267 30203 49196 66694 76890 17525 26063 102942 110222 130878 157746 22844 2167 126461 91099 4159 9134 10132 133484 34544 10723 164866 151746 59268 144999 119404 156457 18586 67535 153662 27828 139262 79859 141439 133924 44467 15208 30303 106231 1577 21975 171538 90548 121110 90779 149805 82537 159816 140010 120861 122067 138726 20350 38914 155150 133391 64715 120161 83371 82403 155803 71498 52336 36663 74070 7417 25339 1678 118690 43921 171302 100375 137626 27452 58391 72526 64836 143984 125395 72612 38844 26099 45549 62271 160753 16400 59332 12597 139645 130489 115392 26603 59037 159292 92073 11427 128808 31588 8065 127782 68538 151494 8986 652 12970 30882 19794 23811 144843 139418 89171 110080 56961 135348 76464 170967 163354 114889 43201 145844 17086 117401 109703 121269 143797 122116 166480 159498 35811 170858 23563 91622 121812 171233 30369 5713 49674 165183 169501 17719 1442 46548 105954 165636 59768 97647 66401 17199 17309 24971 20035 127049 16699 18546 141199 81747 161320 157757 68051 32090 137020 154060 123999 89645 7677 134087 87637 149424 35791 16163 155674 175490 123498 76676 69617 154132 117487 160676 91129 131185 46765 168037 121008 169740 118930 72948 2015 38012 128067 26783 21914 68189 133017 69566 70587 146737 96177 107432 51548 49163 173605 55184 125164 30904 34713 140346 65939 2185 40133 50508 17544 58460 137822 17796 43995 121651 1283 24074 157460 161036 146736 70627 167704 85557 11840 164995 1595 31314 69242 163292 85458 81654 61367 152274 79311 65975 113122 109330 157552 162514 173994 78379 94641 163795 25533 6917 65694 25380 114929 59221 16190 148335 127905 6765 57868 51680 173280 62882 87532 77676 115894 123851 176280 167056 73327 23893 139814 122754 61799 93368 15069 89363 42109 45577 157673 15101 172974 47353 169350 67473 119567 72716 29711 128613 99922 3313 119582 30068 45867 88009 57137 70461 128185 48754 127428 97079 165617 121816 139912 125834 107323 22182 91269 128488 66226 164690 84619 167823 155627 148329 51435 138958 46058 16716 124536 57654 135875 138148 77979 9873 170752 173541 14905 92169 58245 138810 117961 15304 169614 107189 120915 81221 133374 64630 122128 79606 22935 175436 91987 77470 7635 24824 69036 113650 76860 92940 2858 94649 172539 41412 87245 119602 163658 89433 94218 122382 69549 63892 43897 160360 50979 173913 58229 141401 68969 75434 100709 5973 43908 106144 145065 21962 81086 83307 44074 43749 95887 55137 126484 171904 82951 92472 49115 148842 61258 66891 30260 113229 137198 66333 143612 126383 119022 123406 121194 114000 57347 86234 142248 111074 36330 162285 145176 114896 115870 56051 151407 70828 118561 102286 78017 39575 9019 152819 170716 156594 13609 44550 165109 149762 4344 82335 152242 105766 73706 38092 107006 3009 25971 124851 83100 94303 156985 18382 140664 148672 146385 111329 45128 167338 135929 129992 7177 18351 130101 117710 47148 20152 9848 39858 5512 15190 128314 29474 67311 142908 148998 135341 65830 164386 13451 87694 33291 144719 162161 73392 22798 81709 143316 120128 106827 62847 167820 80201 44728 49412 32252 73618 99850 19415 124426 89955 141391 90112 176190 102081 93484 73198 134217 150867 23168 54564 127469 159298 145049 72258 97860 109209 156184 70122 11832 21440 52817 146637 21334 57021 159217 27742 106389 81847 54775 89733 366 161510 78735 82362 131777 22366 162314 90526 113311 138059 64600 137917 72782 136086 6821 138262 138150 59251 31499 123399 127642 43623 79362 156403 161181 86272 118285 72426 50417 102573 153352 72085 125881 170686 173211 35190 119476 19820 123172 56316 82591 98105 80893 67261 57410 105299 80864 21752 89436 50404 52113 169459 92535 93669 144273 125234 78098 129372 48511 70982 33608 120889 15563 166230 103247 60657 173404 158621 7899 50583 102405 79910 77179 152958 86040 132939 60006 56495 107312 60086 111735 162750 164787 31687 59731 130363 67887 62991 169608 161868 69061 14910 97999 111259 64646 28991 125088 54799 132385 96521 90341 140561 33662 47987 53326 24930 129589 132398 35857 18702 92862 585 121279 72605 1428 4219 7709 127928 64642 152204 64949 87119 105166 127347 171119 67722 128642 137401 109296 45391 43724 42347 153557 149417 79555 35899 159207 118321 161480 136844 41642 124047 124797 158615 9569 32803 132877 81675 100775 41443 165276 10659 138856 80457 141706 82848 61814 5389 96799 77027 106329 119836 117676 124280 153603 39286 79819 101534 122970 103104 86832 41907 63013 144566 79899 93096 138140 53272 30442 48187 47759 62132 10323 171292 131152 31741 2510 129160 61050 128267 173266 22657 88960 127171 18420 36800 5779 85377 122791 160281 3799 97131 17698 14587 95643 172027 38399 154873 169585 76667 155037 30261 96024 129545 151956 139569 130181 140905 151035 127576 173057 3852 74882 77863 138947 137614 112072 64276 53139 161303 118965 143179 86700 19760 32657 8647 157748 166874 4551 58136 53424 131941 85621 49346 116148 81702 103595 34335 105864 79119 165535 52161 111917 167068 93946 118248 103368 59993 137090 24121 83137 96011 65143 126123 96970 22313 41429 156311 27000 161203 4285 114636 175493 103508 100920 95780 172442 143509 74040 158711 146638 40535 134335 141096 129677 37357 132643 73727 88833 91844 141660 49896 5888 149251 14662 5757 166241 110199 117352 104946 36605 51759 13332 85757 92915 41799 4112 18754 139696 26006 11810 126090 40256 76417 85988 120948 138188 88187 108781 31249 79211 28846 88173 125792 33448 93219 73413 172631 31706 130105 142371 10063 26702 160673 117374 139280 59784 173447 171980 95925 102350 118957 137738 49035 101606 15401 127951 108484 110257 106023 50829 31272 81149 123778 123762 49260 175957 72517 52217 90462 139374 28800 124143 16052 3371 1704 54651 72200 138695 149598 66792 5181 79124 1019 172695 14633 150130 90356 148881 15229 61554 94214 88092 146417 101361 28003 135227 143757 132760 69537 142502 104319 28263 78523 121665 82324 172120 82987 71477 120149 163995 174538 82940 141940 176031 100994 65579 16060 11739 68527 148437 142647 109931 94210 75639 32414 14368 28885 74290 129838 1738 69915 115972 103287 62792 57980 31182 176240 88914 112701 160738 122553 109299 35180 159297 143130 126053 52713 85306 113955 64142 130268 96007 141238 25318 169160 112028 146800 107752 88614 107806 136509 35948 88304 40776 50762 2730 150407 5653 9753 25965 99413 175406 136247 92615 67812 68498 111881 104838 172780 49164 82158 133964 114836 130388 130925 42295 173375 35971 150087 126707 20823 124345 170731 26185 72981 159484 115761 88928 80671 91573 124768 56485 175837 18951 123435 70780 105391 37816 36292 6182 91349 96259 12225 42069 95999 46017 26772 121566 84890 168447 133597 139445 88384 42271 10918 12794 110239 140810 113123 96966 40795 72433 145393 101981 1232 149992 87395 2319 44254 147417 168085 5857 19742 21776 60734 42628 68941 130088 39939 159274 56508 118958 148129 137153 40601 90572 94623 38785 2363 31394 87654 142549 30436 9106 18601 78986 109710 88249 39537 156083 119293 20105 26667 71865 171441 83941 148098 104674 78790 85829 48089 162813 66798 16133 157506 130145 127818 44414 56350 47721 31367 11206 105247 2224 132393 112895 57112 148586 119512 77493 96232 130321 66328 98092 103734 54764 17853 108109 23969 163892 146268 71303 39169 147768 117951 45803 83844 118078 46067 34480 111906 15013 174828 130135 68400 41379 155434 82413 4877 24620 65598 134393 126847 156029 83342 20814 162236 71069 47419 68933 106251 139079 122694 69237 8466 41523 74921 4397 72576 30503 157800 114784 87865 54336 138482 105568 118195 77759 128035 161223 16613 48212 53170 125770 168083 64214 173834 119755 173936 51577 162731 73279 98680 160475 1309 67142 146884 4259 127841 127981 158933 92351 46635 109117 159107 6171 101273 35517 57324 120019 62807 100365 26846 146885 69081 90594 135058 47102 34439 24987 57357 157097 44605 149451 65309 19581 124529 149862 93991 169933 20295 59902 48574 137487 97369 125922 84749 32629 165876 133302 42880 128862 42970 144313 133388 97855 75969 71473 123905 175554 120809 37092 5305 109441 102462 159021 61580 137414 164322 129550 102823 3917 52215 5928 147141 112484 88445 123846 138038 99609 14397 90279 48927 91621 145006 50778 67598 19168 25635 24937 131191 15283 72216 106566 126973 118440 175426 133741 6156 55415 90069 26214 32914 100715 86983 152953 88829 144924 165079 165140 21785 158035 150597 136798 21812 155511 132196 91212 75022 6197 63717 170266 175331 118735 108527 78585 174163 38406 40060 101637 138608 134341 155908 8806 5925 93106 31010 162125 145775 148823 106948 50215 142376 90971 39535 125111 23935 9941 49834 65713 98683 82066 62165 81803 138967 45413 141402 163687 138676 69150 144225 102077 13791 48883 54308 27513 144688 34617 146467 50734 173340 54277 119795 998 95180 73607 163798 126129 1573 123214 170742 63299 15015 91395 132655 128085 157234 83345 76539 11828 149810 16608 7767 55983 19428 58331 116700 91895 168819 160207 60057 39658 145695 92459 156867 158470 42780 75762 25238 113084 114402 126666 118534 102509 21203 98019 106388 146209 78962 49831 77217 87620 68681 65452 4799 72531 20100 28722 161893 7527 110045 169065 26460 135515 124266 18809 159353 92436 61862 102907 150871 62720 1716 39185 75463 10355 169472 117090 30853 12642 39224 151639 161397 116953 169441 67407 14702 130876 4871 65210 11898 20779 12426 132558 141274 107281 45982 104172 4070 18720 90781 68777 57058 169482 8955 38884 25476 28642 116528 3530 96889 150037 89150 127400 41872 119585 171539 50142 85330 28681 152479 43141 163818 21162 7166 34626 174088 112797 33934 128580 170598 176128 8 137107 7332 165533 144243 125045 173817 29875 153983 154169 88122 136454 17366 97643 83010 11467 14002 110605 116109 102831 64021 74710 6093 139115 59869 164707 135733 19028 92711 167507 144508 146422 100965 93906 55614 115479 84871 102458 112519 3671 132233 98795 31065 24464 135450 14456 33802 32847 90196 148678 92234 89193 4327 130329 57104 76126 58443 124651 176133 167162 142503 119301 49002 20250 148925 131069 157627 112805 152348 75561 23134 19554 53807 135000 15807 65038 31988 98363 92597 138841 135488 28114 54267 141568 48963 74588 3310 17026 48244 42154 65 46269 98577 166630 42236 124554 104862 120803 106513 102323 77877 57043 79008 152578 62208 118141 169462 140910 9159 14165 140443 167978 11268 102226 170682 51689 161169 30632 61559 81840 95388 154128 153339 37557 19416 112183 2727 23835 61345 65567 96308 14229 148249 27535 39284 146606 65724 84377 135421 129755 116500 137304 44937 101204 105722 18980 71582 119516 61099 162319 120879 81842 94470 9888 157362 86555 93951 99681 81037 106165 7399 70401 47999 1122 147698 96626 43546 157429 140153 55059 129506 167381 157304 145169 156038 166227 125510 100440 88221 138314 85705 14020 75855 125307 67107 171098 4790 154609 175402 138436 45870 106773 42532 22338 35138 73095 12152 83645 166407 13975 145985 15898 166035 41401 75805 160317 90120 102000 90403 27537 101223 33960 114722 62910 170880 70926 98070 101063 89027 141742 44915 139222 41029 48986 141712 175585 15132 9780 138799 37927 53612 135605 64589 75250 145702 170101 139521 16470 152921 64757 996 147380 137265 146812 98273 37513 89878 15319 36351 158259 107943 25363 155967 130950 126865 17335 121351 76944 144757 152162 148126 129686 135235 28238 26212 114745 20442 163772 63040 37013 164086 67236 47240 45987 146613 89806 120247 133910 146784 42782 100342 154735 56792 155263 18887 59105 143000 110409 134705 118839 45760 65580 21357 107383 104000 131521 158604 155052 31858 18492 119068 79418 95541 24488 2564 95721 111888 71120 82620 70928 73321 28902 118664 40034 76513 119 118557 113837 73418 22668 98946 143027 73970 155062 45022 124490 125319 165684 42010 125868 21171 2321 117299 21613 152951 151632 163269 50389 144672 71021 154947 139144 13146 148843 16703 33309 124060 20159 173368 93154 84442 44424 41716 83426 79096 147 5032 147585 138330 110380 167575 173205 46241 20452 118548 87380 164268 98581 110522 98101 137246 128237 22708 13468 55129 115059 113723 146904 2456 19516 134586 153459 159414 6749 74865 172973 91861 114009 71283 154938 103396 99595 149583 30029 104534 17405 66726 134189 71 41581 162214 18468 76129 156640 130314 110215 2756 167024 30859 73571 152163 140458 92007 51743 144231 100262 102505 16414 123670 150042 59487 133290 171383 6278 91412 174720 119993 146662 107826 74817 1168 164207 99022 162036 33701 95135 115193 124149 72893 124745 8951 129465 67079 108326 83029 52528 58736 78715 134707 42905 124129 112686 74283 72591 133870 95011 83840 33927 48292 115955 28837 44899 142041 29598 107780 171728 21698 114180 27453 48056 128736 70189 125173 161701 124579 159143 67822 109167 49609 26491 101884 47398 50381 106954 33502 138002 42538 93758 29269 65649 156103 115997 143540 141427 103084 46889 44670 48576 128563 114331 88367 130577 43851 25013 39811 151706 77219 147132 172131 125302 34163 12247 162225 174888 80516 161065 24741 139663 172209 161299 15752 140722 156013 11709 65343 6580 322 57415 16780 82986 69506 6431 164708 51103 44704 99401 158976 26616 149493 126425 81341 94041 69613 51122 147766 102627 112995 113081 36233 94497 53309 70395 31092 50191 175268 125456 153858 157988 110707 41672 19181 109814 175663 153747 42035 66642 168608 26666 94601 72777 153392 54081 135535 120522 67100 151784 168904 4388 25434 101234 90278 85132 164611 168638 155188 10399 19152 164318 169683 112257 41627 74478 90041 127362 153576 159529 153067 96977 17834 31558 10585 109953 17601 59651 118086 117806 62440 119736 61094 114877 58840 74728 10147 97418 32185 64753 14424 95445 173996 171681 138801 113407 31786 9185 53582 114956 95998 68870 108147 97813 112823 77846 164564 78272 139183 21287 39623 99937 84350 143717 128919 127178 35536 86761 7085 171824 140885 121313 34511 122504 79495 92065 145109 5616 46501 144188 87992 22514 80329 148404 152537 173498 33582 75295 146161 90866 124355 112359 100338 35124 6213 143519 41093 70355 125706 145222 76400 93100 31634 63007 98412 504 32061 144213 30491 38413 121715 123479 75679 28536 10061 101469 92476 10328 112627 69123 75811 45172 82681 117772 57208 133509 41803 82576 37801 99285 155251 15618 58002 56674 52911 165485 168118 136376 168663 16563 2076 2258 126207 114967 163802 69266 111553 106562 174778 71646 112441 112292 117538 45311 164293 129913 77683 97607 46028 146984 133755 107634 90087 4539 137900 560 72065 102709 99947 175567 23620 14568 97092 65433 113771 41895 89299 102890 14538 97323 31977 8084 2344 121554 173334 167627 88807 88535 49092 174047 5975 98931 87406 14086 168032 77211 50442 22398 160882 93668 85656 78160 67162 162146 85456 64002 18269 107375 95110 113427 31015 61669 33327 113040 53821 86709 33419 138526 78976 154487 7461 92279 89122 173158 54784 54119 18686 10833 146035 153689 106844 163259 55104 133917 110669 109973 98369 42011 39529 71500 72387 78727 93226 94124 55740 11367 112547 135030 160910 43690 14291 101085 45015 171964 39876 117550 136461 361 66446 6443 53014 20396 168207 124037 26620 29510 116387 72484 54180 164057 113155 69783 84408 10854 23675 161312 112810 96022 50397 150402 3786 38698 132209 1674 10899 34351 153543 17942 21560 122608 124636 19088 42968 84752 175077 65933 70494 103934 109785 79489 64886 48160 134671 106977 19429 171961 170317 135012 87981 25693 122467 79283 21545 169056 46626 51209 145108 64334 106364 28626 30729 89663 135598 6201 1576 118095 144205 84191 93463 45569 10129 73441 19465 29768 39637 163459 153390 151000 53636 12726 34111 79839 103273 144781 173480 62930 29397 144735 39480 15906 74508 118482 174328 158841 160577 120918 41237 22791 153296 6437 169949 14799 16025 69997 62398 106102 83376 14071 157666 101041 117679 113667 172892 23373 173850 175131 173067 168852 132629 109454 31759 56714 96167 136101 33549 15565 136728 175177 127544 22051 105817 1246 20364 81352 89301 15006 143572 23791 26373 82665 99181 47918 144749 167229 139787 129916 113192 156881 174879 169662 44716 78112 157089 31143 175460 60969 62220 36449 29801 157162 120736 107348 155710 82053 8423 19803 64011 63146 148650 3477 122028 1620 111470 165482 128081 62633 78499 79715 67090 85993 44024 147447 167124 115518 54926 173586 84807 44215 171588 4734 20996 139928 136493 30626 111811 4099 86304 114779 11509 94838 172634 70588 76387 328 50554 162271 3510 126520 62199 70293 172587 34677 104739 45113 146192 159637 23403 42227 11292 6185 35020 22703 85162 18320 51883 23004 65197 57389 48408 47093 93175 28199 76452 159976 8702 4200 4477 148583 64118 131560 51402 64000 10969 32308 3143 136151 161699 83405 30432 136634 1389 59347 13406 101193 139310 174555 19306 74314 10759 38685 19326 125520 88778 408 89940 149494 97548 141170 63460 36313 163420 99301 100114 65121 48147 139644 56064 97195 89834 152296 102805 50262 28179 120840 171823 28455 7737 174548 91768 81150 53607 88113 134428 43359 103717 104819 140210 136089 24905 63961 25915 27740 125172 23293 124134 146750 72739 147164 122140 44667 26205 54033 168163 23933 171033 70348 121694 157498 143744 167225 82033 101069 21101 12406 122890 69830 111384 35045 80955 129254 164929 127729 118449 105095 44205 131261 38182 156076 54737 134171 14854 145611 48059 50935 73046 48803 167113 159615 633 35100 2351 148709 80517 173755 107024 72181 129100 173801 79736 114720 149629 118276 10579 146945 170556 97678 44124 8689 151292 35992 61168 47913 157310 32666 26369 134424 113911 145932 159983 6046 63565 20064 35692 79958 10042 82284 23328 78155 46849 33006 149135 23531 116499 10376 139145 32287 84394 2653 79444 79674 76073 2633 34886 155982 53558 156007 11976 34595 99509 83522 92206 154716 131074 748 99290 14436 175531 162068 125016 65200 146762 130751 75033 160095 68120 31552 43104 36888 141091 78496 72472 62746 45479 22001 81340 96697 105044 156652 45790 149033 75222 77708 84282 158673 125341 160779 83524 137183 123451 157655 142432 173456 140797 4030 154559 38118 38920 93799 128459 104440 126232 146087 110210 113628 27224 130055 16218 92042 57157 97654 109288 153058 60064 152385 79381 44597 54610 82600 164648 121829 171154 122438 26001 30291 82641 887 28070 108698 40839 73559 125191 101082 145916 156970 156068 58171 47116 16909 98053 173288 42832 70524 59129 105856 113828 129937 111452 11251 174724 168957 24184 110618 120363 24611 32050 142437 63479 57769 108723 175090 69573 101196 6915 162657 126184 160584 168131 44922 20908 168476 8105 149243 65381 96334 108235 115427 64496 39949 60719 122677 22237 88600 23598 68743 82785 134298 37464 2371 146775 146770 48140 141194 36887 159189 51192 21214 36884 149490 100928 101558 28698 66522 135167 148233 98749 37429 103008 31102 129752 140857 111738 487 60760 102435 47914 70773 123637 40666 82975 88391 91589 67058 1282 13813 79646 109022 114024 155421 151559 150253 52685 91204 139971 117346 115964 30332 8946 55403 154717 142577 114476 126438 168008 158594 67776 32125 5814 175096 129352 94618 51811 97526 65887 121350 94656 133572 61614 145404 130500 106615 142293 173743 132836 115296 170389 12380 129685 119349 78217 123095 18971 35029 148880 43086 144851 96656 101894 10116 36297 13123 27799 111055 154087 23560 131662 164413 126424 164167 131462 60410 107109 95716 117271 172596 60024 20058 58547 4798 132731 86274 11745 22374 159919 43306 33356 159678 9714 2994 127074 117455 58347 57839 2878 146096 87961 106633 44092 78785 26668 96944 60326 154327 84822 30991 53065 96592 107769 97879 165875 41764 81780 113983 77808 175370 132384 103969 92352 87681 138541 134794 157252 112334 16611 74965 115531 101657 150672 30800 84259 119792 28608 129325 50111 85083 112983 122372 155232 42982 161900 6991 117011 172151 137689 137092 118372 12754 101300 38679 142514 165586 176144 160661 67801 61748 167404 104929 72975 173262 125402 137971 125947 73908 9321 60146 69910 129169 33190 72232 4820 12049 47149 167621 107800 101924 98386 18765 96630 148671 135741 136931 80173 76543 142548 161006 119030 65228 41450 166326 80299 98398 118277 104410 62239 27527 42519 76516 13218 27353 24845 38656 49055 24759 29461 29261 64867 119974 151437 99674 40504 5212 103252 152273 119625 15594 75747 12615 157828 85597 169225 56425 71614 144431 139180 16581 25927 117489 101725 143824 69253 86017 25817 53913 14518 38236 145057 85634 73338 3348 51144 147731 75642 36562 164236 151533 77139 155107 2337 107659 60124 104765 163889 173923 87950 111570 67305 170965 118180 40493 117595 160813 3096 83899 124790 81945 162718 66120 24242 51738 31331 149287 16855 167927 88842 102040 175187 76627 104222 68648 63810 16485 5623 7608 73944 56000 75773 117214 130307 100439 89352 57774 137043 81127 133291 108879 33950 70390 54175 146123 114854 174917 140703 56606 159232 100190 176181 39711 86030 17927 43062 113026 131633 8225 150218 4910 152186 174713 166132 154835 82983 174858 39428 173041 104520 163387 31267 75567 120054 67693 61098 146426 17527 160009 3029 124631 3049 24776 146081 45845 130789 7478 15246 69574 80477 157798 62176 125478 12296 30917 40702 100710 155822 66167 100902 148341 80474 6811 30797 122585 136444 124333 7167 52794 83536 58351 21947 108906 120998 136417 175980 101716 76384 118278 69758 109208 106344 9754 34028 148252 158175 79987 117422 127705 124649 36726 90023 148235 66243 37920 105070 9162 144382 32580 13007 163282 158052 53542 164581 117786 174911 161442 146756 26599 72278 48700 64071 61565 126554 100396 167270 59851 23879 134916 64954 12434 103806 61244 116713 119391 58384 126811 70052 18400 86074 166886 106771 104979 69227 80063 112543 10293 147504 11132 69639 38472 59469 66147 53011 12555 129369 165579 86456 65067 90282 42641 32411 82582 145262 30996 66553 45441 139203 63265 161374 24499 163341 113785 52991 58325 47598 98281 6022 118271 657 166277 39462 23539 73146 77436 85522 157126 136347 86218 157289 140042 172828 45352 7970 166919 59602 72745 77418 21039 7152 151390 48420 123116 14127 15178 50098 136818 108382 81063 132482 35013 135090 122697 114681 153156 22636 77914 107858 12212 137167 116138 36290 126276 110119 64120 139257 139972 156012 123265 139841 156293 155557 33702 87930 3846 143938 42810 69320 118148 91735 72751 157889 169943 46177 54860 120114 159528 114441 175082 114748 70649 103390 174271 91557 38011 112316 72954 104367 51386 39625 128760 43509 134659 13981 79660 176032 19143 90686 79447 61195 170969 146380 136035 47787 44406 1701 78020 101882 108258 108221 21998 37811 86869 159924 173179 4688 84011 95720 144544 30613 158141 153846 50268 109966 111925 163266 149635 153220 157702 152427 90943 16127 114380 105913 167639 135202 100150 70650 6563 82802 44652 24617 26663 7517 14753 138850 45423 112646 55992 4800 58740 1918 141516 133883 51535 97040 3684 83412 12080 30070 169625 134157 57842 11979 70572 780 89843 66500 121089 174205 75042 42475 42793 152701 42462 109407 109260 85510 22142 164964 104157 89741 51834 122389 128038 95299 138975 85535 16917 126828 69821 154109 28214 98691 144014 135411 8438 91892 100016 90574 39275 127203 68845 75476 47870 88343 38962 62750 145889 121452 105353 30848 37983 142670 158947 160800 55558 164868 6763 47813 167775 45011 96734 144728 93075 150712 161520 72581 146733 43181 6393 117791 45349 150134 3331 173521 64027 46411 25273 5896 64872 98147 48438 125104 160275 162910 138064 42937 169706 112486 32178 164876 81368 48283 1482 144319 11773 174337 174234 70449 133836 24402 110712 105165 110831 131124 102383 64895 38194 165782 88806 153214 67368 15556 148266 125908 60646 94333 16388 15985 101022 168873 15216 54554 22836 149842 34136 49531 95348 165138 112966 70788 57435 150485 57004 20236 164838 47186 104310 58632 89822 31789 61703 149302 126488 144502 7460 76593 167703 12634 127986 28627 154849 474 123551 121654 55355 99207 60432 21311 68217 55300 51022 124172 48060 37610 138702 59147 29950 112811 48741 20980 72003 76187 43202 135586 53059 13518 45841 6414 147015 53891 117128 8815 141270 118812 76916 109102 34178 117405 1014 78917 10149 162639 166958 85497 90585 124611 14415 73615 152822 35085 159214 113304 112994 165674 51727 157093 2215 75782 15016 14616 117096 121500 139625 87732 91715 7511 97925 10949 24044 142675 113372 44239 3411 69989 63776 139279 139288 4414 115396 165898 130863 9419 107613 118785 3621 128238 30361 73915 137162 42488 52980 133625 141253 84058 110310 44676 4850 20413 81184 84024 90750 89995 63168 39291 170136 107277 69318 62872 2112 71795 3844 44979 102004 60851 78310 147189 98731 76341 124436 170291 169060 77925 60127 116906 103385 29470 16422 116963 1370 123672 137957 142550 50486 596 137231 12973 106856 55343 32882 98049 72479 89061 18041 56146 118196 122910 143190 32320 28690 170998 112243 57534 53958 46994 156341 77922 4339 130078 67907 8543 145520 125477 19973 72009 111717 146241 146875 5140 24261 98682 115491 2861 35924 78605 51854 155589 103472 18410 121887 171830 23536 64169 176030 70310 163236 123955 53240 125470 120215 56258 92646 69480 57218 41310 48078 173614 165844 87753 171518 136008 111804 56416 163836 7532 123225 143793 24129 89078 30351 87884 74374 149638 68664 114610 148040 56240 111121 136306 101231 62060 169846 20405 101956 54395 155131 152975 141048 124040 105586 150540 26007 97613 18836 34822 78446 73113 103314 80169 95800 34938 4049 16667 115225 159049 65678 26248 56072 171908 60686 44483 150412 50844 157636 72558 10726 87919 150275 95682 50587 50073 26905 48066 267 72681 29852 165026 27319 64972 23625 93342 55609 86726 76547 143683 135639 47665 49594 68075 34238 8188 116126 208 75956 34679 126920 156997 7847 131880 171724 123708 53606 139083 66527 170672 118546 34414 144602 116063 37777 146846 136215 56421 112673 167308 139448 98434 93060 59957 61631 167075 134536 49629 153615 10200 51627 147345 135791 160648 32928 64899 7878 164601 40439 134114 110904 86993 12989 88110 84200 106226 95910 88336 84748 167449 148385 163754 49177 60061 125130 153071 67283 111525 5319 173894 109255 135385 7131 106658 111038 58368 130869 106105 7836 134823 30447 50781 19301 76469 35056 40054 19508 149562 147243 66097 162960 67308 120800 151978 88986 174868 137869 44375 66234 153870 34888 83041 74067 90195 84571 105942 108359 162843 158895 68808 16856 76410 9766 23244 159483 115721 98630 124369 108806 130675 46769 61234 165248 159741 170487 171421 155923 128667 9538 166916 57755 29115 172870 166511 93204 62469 6440 65903 34477 99365 144526 91921 11559 22391 72669 151974 2154 103776 133323 74253 54611 105341 67273 588 97349 96292 15259 53554 35926 114918 129946 44230 64748 44328 79589 35873 103814 120014 32823 18262 142096 30756 136606 88924 91928 118291 148469 74530 170528 78988 85766 139432 112638 76996 67070 88423 34195 115789 91054 160305 35418 6246 176188 115224 10911 117454 86193 21732 98499 170190 159236 43858 55130 87057 59146 146278 48451 149168 58810 37431 98249 134116 119308 173612 154234 94027 98626 120280 5596 60361 28968 175844 141176 142408 119393 102146 82867 35411 24836 122294 54576 39616 6010 131387 65422 151514 161083 173895 63930 63445 59944 56190 172261 46823 40206 170744 26445 108315 3719 76602 39427 96758 2765 149980 136422 147350 75621 143072 133153 25179 101377 108491 107080 114334 155162 74974 43696 118515 148426 26955 70029 110824 106424 42311 67477 4183 43221 54828 82869 33380 135159 151684 85591 162389 4823 121425 71161 127436 167487 166588 158709 6609 122929 57394 102498 44411 170169 57105 162867 27565 152876 4405 52687 127483 167647 173553 41676 86625 20050 112070 167099 161801 167589 173371 42216 105363 117880 15665 35859 128102 89848 130677 126188 159019 16806 126326 26036 30932 155858 171055 23718 46525 40622 144318 13999 60464 42597 140339 49093 160350 99763 37692 170471 91172 165529 121534 73356 153584 25220 64848 72072 64921 773 83803 98970 140377 31657 54963 144742 163510 5741 16156 66305 127991 61426 22310 14533 161409 164947 94360 74992 49742 70684 91377 27145 87374 44338 104688 85360 140714 76500 65831 162105 137424 68541 100810 31021 57187 130555 10469 56725 145546 19514 106887 85305 163124 53114 885 92797 166691 5019 30839 172721 97004 25284 157476 149354 110389 51397 145366 64697 140107 73047 413 130657 81143 89987 33076 163898 122931 169973 46625 61583 40372 100059 68705 63138 31306 20310 169930 43767 88968 40039 100556 22140 93171 154032 43030 152298 84920 135448 97639 38096 66732 123092 64408 17638 29029 159252 45362 87027 98024 59802 91110 127418 84451 25448 16539 163778 136521 169427 129756 402 150210 129221 52450 90471 13402 50099 10075 156105 157776 93444 82089 93866 116007 62781 130482 78306 148077 175970 23906 99027 67227 4385 126649 138326 90113 19499 60906 72606 109687 121231 161739 88306 70591 172290 171784 54491 101852 159735 110968 276 168864 103066 28530 130637 149413 21988 150909 44007 85003 65534 130768 33513 153963 46722 12062 37271 5502 76865 107847 175692 119862 46523 117476 22601 20456 109764 58234 105224 96627 123055 5626 107107 12257 133886 160974 6597 89165 63858 92320 138 37102 133570 63301 53510 85448 4979 28084 136157 17132 168633 91439 101188 122408 48931 69381 32295 77993 51564 126138 71788 161087 13811 71789 20755 143080 42774 162335 33875 144542 345 51222 153330 19033 134977 173793 169420 98357 149030 95972 88084 6380 31290 9691 71638 59015 56128 128419 48997 125779 137864 128008 26577 121098 21422 36461 26981 84521 42015 37701 132316 132637 61383 91705 86699 60111 147248 120586 19860 107587 62512 87768 51921 50201 34966 23508 100814 113660 53216 47533 88046 97335 164358 157544 118991 87790 20036 15919 46480 23491 35426 65675 139397 69271 40163 105136 84955 99592 85544 39322 58582 115446 93044 115821 21704 14183 144007 131294 24661 97791 27635 169788 132803 72202 104442 99667 51525 42134 151341 10114 8603 14641 123667 30711 36523 78588 68119 140685 60857 89443 37191 94773 106670 16942 13517 170954 11194 102194 55356 175763 163076 164761 132343 725 106582 123797 71804 36030 43282 130271 55139 45566 97873 69026 126171 130609 29241 155356 141563 13658 73662 146907 106776 130786 75797 160994 16338 103249 121567 36374 31717 136736 91251 131655 163513 139138 86707 21641 110653 100443 99411 36761 158958 13299 171899 75684 13052 139285 75834 9175 169307 92186 27657 111794 98072 45648 167608 40502 131289 170553 149342 14256 147069 67733 153385 121130 107028 58001 15278 140938 89584 97510 117930 99110 129023 119426 83164 169325 33158 150216 160561 10544 136234 103926 169143 124689 18986 28410 148254 43195 36248 26462 18376 74670 93653 8160 124690 16083 103142 102592 56878 55056 90065 81655 134980 160430 5994 110784 72984 106973 107063 54484 27515 165308 72871 135155 2339 59099 147082 46939 147301 122692 65654 59303 137240 33729 145809 101867 164355 116960 121747 42423 28796 150500 85742 26696 146842 71451 121759 154446 169920 51239 53290 6663 84542 154500 65522 158635 85942 9640 26942 131332 143165 86809 9980 173431 54347 133875 1142 99016 123988 10382 118268 164558 49578 21165 159387 136732 10909 93306 137646 111897 154212 78018 144681 49040 11715 109008 166486 2567 8672 21262 124429 41449 144210 59188 113158 40389 173888 59990 70832 49660 54391 77776 103985 79156 22287 151272 51677 59503 397 74504 68029 84507 137065 8091 171951 80623 13574 77887 55781 6184 60345 34990 102490 59388 6971 120181 23 102773 28111 164188 69291 69468 36284 58616 87664 136692 43173 84436 44085 170443 130256 96077 70654 71753 25089 21781 103576 123657 57585 116243 176101 134519 109457 148198 7258 144692 9680 51965 170460 12579 93032 101510 113960 100214 175324 99983 71450 133088 175930 68130 34100 160434 35890 84970 96223 160446 43919 32553 2522 23126 19743 102481 79200 86525 35489 113152 7130 84765 141670 58202 30931 2101 4653 88927 165917 134497 48379 111857 57520 140977 86206 24057 52931 7736 76066 79934 117095 77592 21497 61277 107183 95343 105406 11485 166063 42039 129407 65844 152572 174007 9545 168983 115512 145383 85609 66056 98421 16139 159370 159920 45796 3439 78135 37651 47508 67072 157921 16222 92863 114124 172424 135793 3194 44344 126084 90740 64037 97102 15000 60042 66254 61513 26324 75688 62656 107389 46068 59694 115001 93774 3168 143467 35822 21172 55224 162126 58422 67735 165149 49041 34055 37936 31133 47481 15982 171931 63973 5958 160205 24754 31169 1273 19087 4004 39802 138836 141692 173973 137620 132673 53160 64223 73931 12197 109048 57265 62400 166999 1644 7346 21978 88325 132173 129436 154625 126049 32340 150943 99941 98899 150487 104793 83165 110407 30857 160155 76935 133845 116211 5145 65839 171314 138942 58038 55058 16411 112835 25548 124576 142344 30856 86368 10103 124826 109725 98756 92423 94783 95797 78541 38753 74425 174011 151409 59737 134795 87359 117677 87676 69071 88991 54908 161954 153239 53789 4953 124086 25632 103043 53385 44079 93474 53984 79443 77299 70583 123601 106036 4988 63206 101266 103124 114294 138516 135507 97055 96125 126131 171367 60736 110912 173891 96824 118016 120513 14461 144659 40885 147627 47926 67115 70709 83931 134028 58032 156713 19071 118309 8721 167417 110944 18883 9534 150698 167909 49542 87922 84649 110674 166144 48228 40380 9695 7684 167287 37367 39624 70413 91047 66878 148425 61203 122326 20311 80793 120620 150299 100137 39983 77234 149489 63405 45986 148196 56303 25791 172458 116830 126165 136025 79352 154381 120604 172984 174582 141831 39992 116189 107722 129952 76677 161452 172197 168211 165291 104263 33635 111466 29943 39378 20940 163092 99050 151891 5866 85316 74034 164140 42821 85298 86937 121368 55375 43070 157076 91199 42857 120135 47503 65311 135835 127767 70932 92887 7315 129286 106075 107287 36832 65660 20472 56084 30298 145547 130810 51146 173432 96873 42191 129800 60492 110117 155060 28847 131080 65849 100358 157128 117797 5406 13079 147258 9587 141815 25459 164471 128929 165868 12939 103817 44947 51555 49882 98336 174611 17043 51255 123771 172245 114592 117702 97127 95497 139652 45666 11862 67454 119457 9350 155646 38466 150685 173780 21878 104844 47221 102195 97405 101996 34152 15207 31672 118614 83115 13769 66221 13909 110007 70061 95881 170176 44677 112090 47117 121672 103351 47207 54338 87351 169877 111413 113870 61477 85468 160222 128820 82356 72161 137225 98056 62099 72401 61982 8773 129222 124279 38000 70280 68864 126486 28231 114065 100219 129535 76475 121072 54408 102482 94673 133073 103521 45579 89549 36822 104849 136514 108322 123565 27184 101873 39629 73364 77311 98540 16152 14646 118517 122186 165627 145505 66477 155545 142369 67603 78391 63908 164099 141947 578 105045 125393 167865 175776 79684 61115 58470 146313 79852 81398 29555 169904 144358 58874 73275 168019 56941 10337 62987 122462 95174 19077 11873 131783 67947 17428 104185 91085 134919 121153 146262 65630 135093 133228 111519 112518 48282 167268 83635 121421 134231 113174 80175 143885 152970 165145 7390 158379 15640 81613 65920 48168 134792 34794 43277 63402 73734 175047 135137 4446 2409 126101 12941 70059 163201 145069 24281 19666 68486 93498 30194 36582 44888 24257 2165 161890 165755 53282 91284 16318 167682 75028 171695 32861 10963 83021 76100 159809 120598 33466 135854 34941 168520 151019 82494 12290 163317 158401 31563 110113 98924 117647 10945 43857 174706 166357 33556 43761 84027 122131 66148 64664 21853 11599 61250 95352 102877 2521 16041 38879 72239 119633 134199 123553 40316 42966 46678 1775 29793 85953 175653 56823 147068 68701 149517 92449 116087 114881 37642 69608 147529 1260 77586 2790 121958 52632 99879 65498 172200 77679 97539 95329 91009 140807 32275 124942 97721 107016 130938 124493 77247 92223 102271 124506 98223 127021 100289 65388 105786 56294 47801 174521 57587 84994 53488 105715 151099 31111 85376 123694 29896 78462 100864 27783 113699 29232 15240 28116 176308 11582 8625 115272 91223 19585 10950 6007 141646 56461 47404 67629 34138 158748 91909 56103 10620 168239 56518 138342 12919 141641 135814 159328 125741 3515 110124 126087 135085 80877 24718 73694 44804 1641 79395 72899 133025 93777 172238 61463 103438 113794 148058 13175 161353 44686 50517 136905 70217 62624 83826 139802 160059 98926 119013 32062 81028 26660 12778 173978 41462 44785 84019 115425 3018 1681 99379 88214 29645 118101 14432 29217 63377 17734 85647 174590 117109 90306 176074 41464 37161 151324 158020 163770 125727 162350 30739 49521 151012 170289 20234 113615 118775 109907 64132 118017 50076 15340 106074 167919 73800 78249 93113 123144 6860 75219 137310 92498 24003 168671 116806 100626 54745 96536 66479 10556 139246 96252 26980 128924 83341 147687 105469 74181 72859 89368 161247 106932 118323 13477 139704 73349 2225 148092 115494 124642 153704 171153 77329 50892 132449 131439 21190 23316 157601 130093 36361 121009 55166 157440 148054 52184 41820 129044 120927 30173 89389 118543 49912 109307 121788 87364 98638 126512 9936 85287 36901 143707 126322 162959 34932 49400 163849 112800 64087 65708 22647 122267 11851 102871 109422 135135 129729 17090 141208 59681 13474 169704 36997 49905 54607 70994 96950 142052 166494 145592 17669 141502 38260 89079 110741 48886 10784 55169 72977 136989 84744 980 135663 138241 99565 23180 5691 159813 115775 51880 33490 99935 8701 155544 87107 168233 10891 70676 66580 80314 138215 70505 162527 83053 74745 154926 34847 19367 68533 37812 68462 53544 59862 117767 57646 89617 175479 171721 114709 73831 82249 71369 134137 174311 104030 83806 41944 71861 155465 82234 50092 119223 134668 24779 138365 97257 86473 176247 29110 15923 78922 81665 119871 57194 73124 147431 45793 7774 11102 51641 97368 101044 129124 170132 148032 51097 95424 98865 42943 78245 170724 56756 90660 10336 48710 135682 139501 169648 30053 143576 36218 96411 99352 143976 92613 103835 57903 92360 71494 28479 63515 157058 150902 134072 135811 14286 173327 24819 96283 150109 10106 166295 131460 9521 57111 23114 170654 53382 89742 97355 51763 87356 96115 98554 29220 131239 20211 76329 26284 139540 96291 3429 33605 128514 161984 175538 78357 27095 115093 144694 90015 51336 157840 1143 57679 531 82451 79017 61180 79056 129072 106224 49179 40931 159412 124468 128213 32975 132982 136290 12499 13864 123476 61158 53871 109211 78883 36329 12231 78234 64721 73859 174897 949 38590 78060 67758 101525 79054 175705 37503 176124 52635 20669 94984 43518 48047 168908 55341 70252 17569 147024 17370 117021 80103 91407 173877 130673 8971 150572 85490 69464 35815 32965 173960 84954 51118 77444 61512 37509 98633 128827 5520 163293 138389 6135 173511 143024 100533 39990 63571 108850 95938 169799 66072 66297 143376 163783 99364 133682 162243 106455 51143 59220 69786 133928 158891 88368 46609 45112 3115 42033 110271 173788 19107 78162 4427 164398 65755 103643 146782 149720 77902 53068 128971 15353 95646 73780 143473 43268 117056 165894 171814 95964 145675 127781 39269 24396 14556 2511 45542 90498 49266 110525 58008 62287 152352 150258 134899 111524 66637 85825 174655 175660 43001 163288 84472 154745 29946 105615 126140 57356 106243 139322 32446 151574 175160 79230 106101 76210 148332 110225 107584 33667 8997 61218 20649 69748 159149 167455 46619 132755 63088 149108 49612 161 99583 155577 40540 80480 161094 114917 169327 155765 175110 85869 24693 107002 11652 51455 47110 98740 95877 89670 108317 83159 119577 158335 15520 146694 79053 138321 109719 89686 80813 39832 48274 145034 77157 13572 102901 139264 40220 79306 45429 15487 134599 105342 96111 96790 139008 166964 70441 82078 63932 87177 167420 34401 56373 48402 119595 122196 66690 138998 25334 13580 42985 47127 6502 81254 147713 21593 136464 82129 102456 24094 101769 23429 51446 140553 166793 27567 12496 94774 86992 95524 133521 102349 98168 149248 84894 102240 14460 95637 138549 95380 86902 46842 155126 51950 87878 135708 135461 100412 86682 129249 77144 154689 155740 54210 154729 107610 83248 150693 83281 31341 45366 28113 158386 31662 150594 29133 27664 24414 40730 139034 15612 23473 126896 138373 102128 9709 11638 155753 97743 75521 23618 134355 23088 85090 14742 38530 147546 128414 155912 102242 46372 86480 85036 84233 102678 102108 86018 101504 134481 135051 78350 38404 23470 25043 15532 23097 138507 128775 100897 76680 57618 139247 87928 155831 99287 76243 84164 107862 66482 107346 83482 107336 7787 48130 74890 29513 108246 66035 25021 18849 29837 1759 161789 118394 108630 44837 5542 35881 155016 77085 134090 45650 117796 111501 50382 131001 102300 6207 137895 48119 109294 126791 138392 25035 121303 80744 58381 167719 119274 158248 139058 157764 158235 115693 60790 118205 133967 66654 154206 168835 157095 173856 32925 85770 47310 139669 140039 44535 78445 11332 30783 51690 155904 155310 126974 23719 17418 75342 125638 86764 132680 57054 158472 75363 132168 122317 174890 66921 157059 35126 56617 66184 127703 153123 4072 7070 141300 60531 124367 112845 142900 38124 68089 22648 113074 120308 104033 100228 9919 89858 40388 40826 120990 67041 55803 115326 158568 15777 156005 81078 152253 28829 108190 129380 45399 81030 174249 59501 15899 70135 119940 119021 100475 137411 10845 103582 104245 82506 139367 169032 811 20500 121943 123972 74008 160130 155960 81195 87329 28052 6253 130697 106888 145244 137314 39445 74296 167065 27938 152198 57145 166650 34380 152225 81515 149070 156168 126327 21268 21084 156006 109679 78748 14507 127148 112064 102186 131079 73697 118760 74972 56292 135417 117334 3457 170179 162014 31419 48433 36896 31986 125428 158866 151997 70771 151979 148758 157980 173233 30035 32554 47889 2803 8571 77632 121238 149557 49014 161972 58600 84503 2272 56059 2650 158612 122311 174130 73435 19799 118283 86828 79635 29045 76147 125932 54164 34924 110973 16355 54857 16920 86996 167442 127430 166507 58646 21825 4687 8622 158558 128159 54489 159773 66521 48321 31493 54805 110840 53495 168347 88488 170122 4670 44082 83674 87075 149264 85493 79978 19880 106361 99604 136298 149626 135736 135726 130035 136727 87996 101289 12731 11256 88193 100924 28789 150543 139345 86011 134603 86170 86146 155476 15481 155389 101948 21742 79875 29540 107254 128290 81294 82476 152802 20729 95806 99277 46561 6110 102693 84431 14502 41039 152525 81114 107537 47895 28619 107227 84552 14695 15465 145088 105330 99804 100762 11639 22217 126986 102216 102059 40524 102083 45231 84689 28964 40659 45728 51357 107442 7830 150600 50422 152245 150811 5107 75124 79788 150211 151566 29811 107630 150700 147260 27484 146156 155806 138433 161905 106064 47981 157580 74644 167464 118177 156065 56428 115991 72453 156340 18345 118511 80114 141266 136896 136908 96034 118921 27082 148666 147790 8891 106440 151743 27870 153402 39407 127007 133482 101370 147958 30596 24175 129304 100444 168463 16292 123960 175952 172639 61264 7302 65729 22861 65670 150774 86634 53016 126119 31144 87192 83228 13479 40750 23252 139099 41518 110427 87120 157914 54517 169055 54397 19219 89664 143880 145255 159545 75652 8606 80267 56938 32595 58758 79419 166926 72400 19436 171221 165704 165908 131601 104666 120844 143635 41836 172525 146376 165437 130192 98766 13159 134952 120707 3640 142284 68294 37677 132632 122691 92493 47626 88920 143378 175270 4690 26624 140867 61746 93848 10465 142325 52350 142349 91227 103536 32490 3130 170095 16947 59865 19613 164571 69439 37851 16929 159888 114884 16730 59806 120147 14060 103345 105782 143377 19640 159611 31991 67851 2887 166155 36121 1301 13959 50941 22388 100590 27253 130130 81893 147034 62535 143996 29627 81864 69626 69637 93155 34869 90259 120066 61515 43642 9597 118175 17240 166203 113241 49813 116946 69047 88730 130543 145784 47641 141587 19720 14529 111771 90698 155024 96559 146678 148030 170774 94823 6086 153717 44732 124329 14915 128558 83519 80960 150351 108448 151456 81505 28953 24624 88775 88787 22684 70995 131107 146713 64818 12846 93241 56140 1325 93440 103882 105111 23779 12863 137727 13157 135387 67953 145590 142100 145966 103901 141954 9467 105085 26861 71027 165368 52263 162577 18815 141635 165053 35088 120503 165879 92363 92364 22533 174997 58656 58892 56219 124731 123215 114174 55240 163009 162928 163136 168142 3205 67447 57348 162945 67248 1057 73511 131510 63470 173516 57353 63549 120974 32463 70604 163443 163258 71920 71469 71585 256 118497 32324 59215 35174 73783 167739 733 161176 114538 167886 43929 60766 162605 3647 123532 48382 167737 51369 167250 2051 63533 63899 172900 34299 171937 172989 115465 4073 16109 163908 91444 46217 159677 160048 141724 120106 69131 35882 169546 56308 166940 34721 64381 164160 38051 163675 113027 175297 43795 3083 91465 10223 143462 1229 120351 62965 2988 61375 163956 43590 70474 73529 69530 175565 123198 36578 74274 124726 121214 173162 50658 59933 136642 93679 165967 103473 10381 145373 68865 1037 130629 165456 144299 135066 97915 92981 37482 57516 140881 171447 17790 173666 123252 57592 145716 93274 73546 65411 168683 114582 116702 42621 112490 125331 65239 18895 167238 159479 63775 16135 115907 74280 56822 122269 64885 25983 74345 175753 167893 19777 19887 125042 17791 160365 32877 36645 43081 19269 115281 163214 169438 140814 25810 167224 123325 4483 171220 67918 20176 112958 63604 131853 121851 73043 104464 42611 120235 35867 123076 17433 69120 91215 143732 93921 65160 91220 63187 120882 17236 63192 166102 34985 57816 36943 43727 73726 4805 67694 32146 176288 141771 10322 73085 71344 20102 172982 73625 131618 162906 42310 74532 4585 72885 120013 4932 40618 174146 67687 124384 125338 162944 166524 27045 115730 117418 137159 169481 33243 18370 166501 169890 159037 114994 26936 38972 49058 175357 113168 63558 37118 173885 19759 176035 24822 22396 103432 73983 58374 36289 71945 33215 57491 126510 106490 106879 82268 28657 87557 16822 167363 141292 121698 140911 25621 135182 101075 107030 28069 11373 86383 67460 18347 42404 162517 32118 149310 51203 23863 106557 129640 94750 138265 133844 11835 4817 173558 20043 170849 49050 58681 18288 48598 173376 58341 118345 159970 124816 94071 144545 132740 140880 10232 104712 38931 47386 88863 104557 104541 98604 16378 111833 118385 25432 82560 129291 18042 41203 29514 151647 53391 87473 25134 102417 94349 7884 13759 52162 140993 93985 142018 52265 144902 165402 122906 143836 134073 38843 96206 138893 39122 21990 114212 162444 43734 175451 134139 84725 7959 29198 132291 46860 135279 39241 144300 170347 70686 114922 71770 129936 129935 161678 128666 108811 82836 82838 150212 134946 40903 131615 173415 57407 35512 35664 37646 117692 133684 144766 88220 40569 134156 51546 29625 137504 24595 139466 9261 123804 62123 164640 164360 55258 64366 161966 174431 66948 83044 83226 150532 129434 126414 150931 53082 87589 147214 100662 134887 103669 11277 102998 118566 17906 112821 70715 57809 85994 51868 51872 95730 143542 130975 134527 98870 84769 133169 105807 100241 100276 173191 71851 58856 174514 32739 3810 154631 51477 146324 42698 27283 141868 137704 137702 168833 72717 64723 167311 13228 41034 54132 45938 126470 46326 100040 137977 51953 95955 147165 51088 9827 129551 27504 130322 9338 123881 4846 20696 48115 78875 30558 101978 15324 24508 87533 46713 140684 22963 74203 39052 12194 151810 39473 60016 60885 118954 3893 117926 65472 65024 4711 159703 143849 161797 162250 71462 19901 60874 172638 172756 161174 43865 80233 126347 158888 126345 6035 127475 93656 119165 33024 162399 175440 169621 167930 9649 89207 60866 21628 18169 115822 173838 1700 27943 153173 74838 115838 169255 75255 126127 75257 83167 75569 81676 29001 436 66046 107165 79886 50776 88213 157529 98334 7348 98841 87934 136535 155633 137105 9242 134447 135049 56727 29663 150133 69518 43681 137497 89923 95473 29490 132868 136450 96376 11243 148540 38714 105992 82465 128061 102087 82474 106650 2697 47773 153229 161620 54749 77771 66310 21089 73703 73315 38314 91419 165432 1475 75339 162965 49252 165104 41252 62752 37935 62201 120946 123798 71391 65125 48681 2273 110417 37372 34371 41244 115770 121917 66535 134 176176 146857 108731 20923 158606 108586 15185 14375 124295 28910 159366 123821 40161 162987 59297 149957 150228 7340 64745 162499 43027 19878 82373 13612 40468 129944 48153 84470 8263 7734 25290 95360 96821 88980 145641 88539 89264 130688 134874 90322 104565 6950 96472 138062 97478 133968 88021 88011 9374 69485 1198 52312 144813 130893 143419 52473 162576 38161 57155 114770 92978 125162 166367 117415 37441 4134 47216 94709 14192 24885 155403 39548 91245 143041 163187 120027 165031 146390 12958 23683 101305 99814 136412 99191 99410 155294 102354 133015 102925 133001 82107 84549 79198 133569 9647 145434 130646 62668 165405 70956 162045 165328 40808 93623 142834 13034 86679 52819 22385 86215 148124 95048 123730 44096 51720 99597 133412 115089 106884 107955 24401 96812 139314 155839 143129 120902 111449 37270 58696 130483 131561 91527 39363 68843 142584 92354 131924 70004 172760 165892 2993 48789 165701 93851 141050 132512 10345 45994 144895 146279 146311 69064 146725 123287 113093 146409 9855 116857 173018 13426 65466 21680 148182 24599 4718 141248 141207 67860 123330 22063 116685 13870 165207 2764 1363 38893 143055 165048 123589 163340 59521 19106 54973 174794 174941 111602 145427 114718 104857 19800 92520 143083 165732 37657 69810 31276 156978 156934 67401 63954 77367 77363 79549 79511 76748 109242 30156 157788 125775 108885 74968 83671 152017 85060 85052 27933 75765 150441 41365 28477 160253 85838 148362 110581 157284 153568 156275 38346 77573 156549 125960 157147 38320 72023 36701 155929 59404 72783 109265 154306 126323 77630 156203 79497 102321 104871 144165 156969 161002 72823 157373 96883 51733 40712 7048 79295 8661 122 111498 40141 114672 126332 75009 156847 76948 157883 8460 79931 129495 151154 5563 153024 31078 119221 80126 75458 31397 139195 154825 158602 156492 28488 78622 53323 21647 85545 148293 109717 148343 14077 41337 110984 85323 106790 119202 24879 52594 20273 80031 90712 5839 5853 85550 170094 157512 125893 90785 10006 89366 90790 105449 50615 76148 153741 154120 54333 5891 5368 157766 44150 53994 127490 30017 53841 76224 153514 16101 57078 124615 112318 5530 21451 149966 76403 110700 156388 145531 10458 142691 60252 55602 8781 148050 136786 88972 131187 104965 92587 13834 9939 135485 57949 111642 173746 37340 159626 175528 161886 37320 174216 59539 117323 163017 36266 60218 67279 16886 125095 32805 71165 162176 66052 169206 61929 69369 37735 65217 173783 121017 2645 63408 166881 166867 72573 3808 159513 74367 112131 163213 36653 132133 173014 124013 125901 76427 6694 8472 156842 67387 127306 53997 109173 50308 110645 76908 85387 53310 28360 32839 85763 48036 153730 110529 14573 80439 153231 153629 39458 111224 30296 154070 154084 76710 110555 125986 108605 133546 126912 76457 28450 80039 31253 80038 80647 7058 31683 165251 62827 123502 120042 142880 62635 104021 91470 105753 43475 4517 145649 130578 143245 10296 91743 143267 93396 141393 10263 93795 93794 143598 91307 14047 140916 58621 10273 25829 93905 46114 68737 100931 105510 145795 70106 172831 168316 65609 35062 121255 1094 33394 120227 33244 167655 121344 164517 63026 172565 63073 68359 3013 116603 165980 166229 142817 169577 56092 33263 74954 108892 80134 110936 76039 125865 80423 76357 76379 111282 54669 125459 158929 158919 85432 110805 20354 79717 127379 150980 110719 76314 44318 157633 29027 164303 16478 61247 3638 163621 70073 163648 983 164661 55779 164966 68677 113943 113746 35817 68702 33856 63052 793 122575 166162 113889 113932 116282 114132 165621 68513 56591 61879 164484 69405 158117 171801 19573 171795 48541 123019 176178 163106 171080 39708 166207 63166 166226 63178 68266 81701 150207 21455 150194 83656 150177 62989 120750 2978 120798 170910 17265 42786 104595 22441 91790 26554 68349 166117 116978 113269 61574 116136 166139 61619 113303 1078 80878 108431 21050 108414 127931 157804 109056 6777 79741 79742 79744 44151 110950 158085 75790 29767 53772 62940 171293 116221 120702 68338 62856 33760 68316 68306 62861 33472 44262 150098 153887 15219 7325 108108 81775 81779 152034 82647 7607 82691 151256 7613 82701 152441 39494 29334 82730 107754 107746 45055 172356 55469 108459 152756 69853 172635 45125 21388 83332 47878  0
221.89/221.99	
221.89/221.99	c Core has size 15846

Verifier Data

OK	15846

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-3495674-1307807262/watcher-3495674-1307807262 -o /tmp/evaluation-result-3495674-1307807262/solver-3495674-1307807262 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495674-1307807262.cnf 

running on 2 cores: 0,2

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: 1.25 1.82 2.49 5/183 10942
/proc/meminfo: memFree=31135252/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=20560 CPUtime=0 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 2028 0 0 0 0 0 0 0 21 0 1 0 873142494 21053440 1713 33554432000 4194304 4365125 140735278456944 18446744073709551615 4293720 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 5140 1725 246 42 0 2288 0

[startup+0.044801 s]
/proc/loadavg: 1.25 1.82 2.49 5/183 10942
/proc/meminfo: memFree=31135252/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=22356 CPUtime=0.03 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 4131 0 0 0 3 0 0 0 21 0 1 0 873142494 22892544 2513 33554432000 4194304 4365125 140735278456944 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 5589 2514 254 42 0 2737 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22356

[startup+0.100804 s]
/proc/loadavg: 1.25 1.82 2.49 5/183 10942
/proc/meminfo: memFree=31135252/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=30396 CPUtime=0.09 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 8345 0 0 0 9 0 0 0 21 0 1 0 873142494 31125504 4193 33554432000 4194304 4365125 140735278456944 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 7599 4194 254 42 0 4747 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30396

[startup+0.30076 s]
/proc/loadavg: 1.25 1.82 2.49 5/183 10942
/proc/meminfo: memFree=31135252/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=34252 CPUtime=0.28 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 10040 0 0 0 28 0 0 0 22 0 1 0 873142494 35074048 4676 33554432000 4194304 4365125 140735278456944 18446744073709551615 4247043 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 8563 4676 262 42 0 5711 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34252

[startup+0.700698 s]
/proc/loadavg: 1.25 1.82 2.49 5/183 10942
/proc/meminfo: memFree=31135252/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=37352 CPUtime=0.69 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 11110 0 0 0 68 1 0 0 24 0 1 0 873142494 38248448 5489 33554432000 4194304 4365125 140735278456944 18446744073709551615 4249796 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 9338 5489 262 42 0 6486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37352

[startup+1.50055 s]
/proc/loadavg: 1.25 1.82 2.49 6/190 10956
/proc/meminfo: memFree=31003176/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=47836 CPUtime=1.48 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 17247 0 0 0 147 1 0 0 25 0 1 0 873142494 48984064 7525 33554432000 4194304 4365125 140735278456944 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 11959 7525 262 42 0 9107 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47836

[startup+3.10023 s]
/proc/loadavg: 1.25 1.82 2.49 5/190 10956
/proc/meminfo: memFree=30924188/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=76912 CPUtime=3.09 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 40350 0 0 0 305 4 0 0 25 0 1 0 873142494 78757888 13133 33554432000 4194304 4365125 140735278456944 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 19228 13133 262 42 0 16376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76912

[startup+6.3007 s]
/proc/loadavg: 1.47 1.86 2.49 6/190 10956
/proc/meminfo: memFree=30701104/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=6.29 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 92111 0 0 0 619 10 0 0 25 0 1 0 873142494 206798848 33224 33554432000 4194304 4365125 140735278456944 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 33224 263 42 0 47636 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 201952

[startup+12.7005 s]
/proc/loadavg: 1.67 1.89 2.50 6/190 10956
/proc/meminfo: memFree=30566692/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=12.69 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93406 0 0 0 1259 10 0 0 25 0 1 0 873142494 206798848 34519 33554432000 4194304 4365125 140735278456944 18446744073709551615 4272662 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34519 263 42 0 47636 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 201952

[startup+25.5003 s]
/proc/loadavg: 2.19 2.00 2.53 5/190 10956
/proc/meminfo: memFree=30056916/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=25.48 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93429 0 0 0 2538 10 0 0 25 0 1 0 873142494 206798848 34542 33554432000 4194304 4365125 140735278456944 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34542 263 42 0 47636 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 201952

[startup+51.1007 s]
/proc/loadavg: 2.80 2.16 2.56 6/190 10957
/proc/meminfo: memFree=29729792/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=51.08 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93580 0 0 0 5098 10 0 0 25 0 1 0 873142494 206798848 34693 33554432000 4194304 4365125 140735278456944 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34693 263 42 0 47636 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 201952

[startup+102.308 s]
/proc/loadavg: 3.48 2.44 2.64 5/190 10959
/proc/meminfo: memFree=29109284/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=102.29 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 10218 11 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4311240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 201952

[startup+162.301 s]
/proc/loadavg: 3.94 2.75 2.73 6/190 10960
/proc/meminfo: memFree=29175716/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=162.28 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 16216 12 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 201952

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

[startup+179.101 s]
/proc/loadavg: 3.95 2.81 2.75 6/190 10961
/proc/meminfo: memFree=29251844/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=179.09 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 17896 13 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 201952

[startup+204.7 s]
/proc/loadavg: 4.03 2.94 2.79 5/190 10961
/proc/meminfo: memFree=29183240/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=204.68 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 20455 13 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4258138 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 204.68
Current children cumulated vsize (KiB) 201952

[startup+211.101 s]
/proc/loadavg: 4.03 2.96 2.80 6/190 10961
/proc/meminfo: memFree=28846828/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=211.1 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 21096 14 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 212039679895 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 211.1
Current children cumulated vsize (KiB) 201952

[startup+217.501 s]
/proc/loadavg: 4.03 2.97 2.80 5/190 11000
/proc/meminfo: memFree=29241152/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=217.49 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 21735 14 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4242730 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 217.49
Current children cumulated vsize (KiB) 201952

[startup+219.101 s]
/proc/loadavg: 4.03 2.99 2.81 5/190 11000
/proc/meminfo: memFree=29143936/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=219.09 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 21895 14 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 219.09
Current children cumulated vsize (KiB) 201952

[startup+220.7 s]
/proc/loadavg: 4.03 2.99 2.81 5/190 11000
/proc/meminfo: memFree=29097808/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=220.69 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 22055 14 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 220.69
Current children cumulated vsize (KiB) 201952

[startup+221.5 s]
/proc/loadavg: 4.03 2.99 2.81 5/190 11000
/proc/meminfo: memFree=29005060/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=221.49 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 22135 14 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4242833 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 201952

[startup+221.901 s]
/proc/loadavg: 4.03 2.99 2.81 5/190 11000
/proc/meminfo: memFree=29005060/32951124 swapFree=67050916/67111528
[pid=10942] ppid=10939 vsize=201952 CPUtime=221.89 cores=0,2
/proc/10942/stat : 10942 (MoUsSaka) R 10939 10942 9411 0 -1 4202496 93619 0 0 0 22175 14 0 0 25 0 1 0 873142494 206798848 34732 33554432000 4194304 4365125 140735278456944 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/10942/statm: 50488 34732 263 42 0 47636 0
Current children cumulated CPU time (s) 221.89
Current children cumulated vsize (KiB) 201952

Child status: 20
Real time (s): 221.998
CPU time (s): 221.993
CPU user time (s): 221.841
CPU system time (s): 0.151976
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 255228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.841
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93624
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= 6
involuntary context switches= 718

runsolver used 0.373943 second user time and 0.829873 second system time

The end

Launcher Data

Begin job on node146 at 2011-06-11 17:47:42
IDJOB=3495674
IDBENCH=88052
IDSOLVER=1989
FILE ID=node146/3495674-1307807262
RUNJOBID= node146-1307807262-10897
PBS_JOBID= 13551045
Free space on /tmp= 74084 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT02/industrial/dellacherie/fifo8/fifo8_100.shuffled.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495674-1307807262/watcher-3495674-1307807262 -o /tmp/evaluation-result-3495674-1307807262/solver-3495674-1307807262 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495674-1307807262.cnf

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

MD5SUM BENCH= 703baa1dc77fa758c28d9599beaa3f41
RANDOM SEED=1747532712

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31136572 kB
Buffers:        316712 kB
Cached:        1264620 kB
SwapCached:      14576 kB
Active:         627168 kB
Inactive:       980656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31136572 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:            6260 kB
Writeback:           0 kB
AnonPages:       23920 kB
Mapped:           9336 kB
Slab:           142312 kB
PageTables:       5820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   215440 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= 74076 MiB
End job on node146 at 2011-06-11 17:51:24