Trace number 3493715

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MUSer 2011-02-10UNSAT 227.396 227.394

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp0neg-tseitin.cnf
MD5SUM4cbc17c0fba4366b08e82594de9ab9bd
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark227.396
Satisfiable
(Un)Satisfiability was proved
Number of variables63394
Number of clauses175697
Sum of the clauses size409957
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2117130
Number of clauses of size 358565
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3493715-1307802541.cnf ***
0.00/0.00	c 
0.09/0.19	c Parsing CPU Time: 0.180972
0.09/0.19	c Running MUSer ...
3.19/3.24	c 0.00% completed ... 
5.50/5.51	c 5.88% completed ... 
8.99/9.07	c 11.13% completed ... 
18.69/18.78	c 16.13% completed ... 
31.39/31.42	c 21.15% completed ... 
42.09/42.15	c 26.57% completed ... 
66.49/66.52	c 41.80% completed ... 
88.60/88.68	c 56.80% completed ... 
126.59/126.61	c 72.04% completed ... 
147.19/147.30	c 77.10% completed ... 
207.69/207.80	c 92.10% completed ... 
223.30/223.36	c 97.18% completed ... 
227.30/227.38	c 100.00% completed ... 
227.30/227.38	c MUS size: 19442
227.30/227.38	s UNSATISFIABLE
227.30/227.38	v 39706 113485 84537 94656 80182 16522 164080 114894 6532 81591 42524 28050 43933 84409 143714 163952 65580 75699 1471 56870 17803 175480 82872 152296 88636 64043 133467 94400 134876 66861 101573 1573 62506 170997 98627 74034 59560 16138 149222 110155 150631 13053 37785 72497 92735 43549 63787 123092 84025 108618 44958 69551 114382 110027 134620 120146 154858 115791 121555 107081 53540 24592 10247 65068 89661 134492 159085 85306 31765 164849 150375 125782 135901 156139 131546 117072 63531 122836 157548 15754 173431 35992 85178 154602 130009 80823 135773 111180 96706 145892 63403 98115 9991 25745 173303 35864 144355 100933 125526 86459 18444 92223 102342 161647 63275 12539 108106 167411 64684 15498 9863 158701 70448 21262 105160 164465 51619 100805 76212 71857 121043 106569 18316 67502 13822 8326 97859 118097 113742 144099 51491 76084 174456 135389 142562 167155 39835 162800 129497 80311 139616 6661 86075 169973 22415 71601 18060 126551 171382 44062 123605 94657 143843 119250 16523 114895 75828 28051 151016 175609 62763 33815 142306 152425 94529 55462 106057 56871 146533 43806 152297 88637 64044 98756 133468 59689 79927 85691 32150 105929 66862 150760 175353 170998 48033 156524 58152 117457 43678 147814 24849 143459 139104 165106 146277 121684 127448 88381 63788 24721 147686 44959 69552 4867 134621 85435 31894 154859 11785 115792 125911 92608 117201 127320 159086 130138 11657 160495 96835 121428 72242 117073 63532 112718 122837 98244 73651 157549 10120 173432 35993 169077 80824 154603 101062 111181 47521 170486 145893 72114 67759 98116 147302 73523 79287 40220 25746 7046 111053 71986 57512 92224 102343 97988 163057 113871 35737 158702 105161 139873 86332 81977 141282 67503 48674 34200 167284 54438 128217 79031 173048 133981 158574 115152 76085 174457 110797 61611 126680 151273 77494 171511 44191 39836 162801 138208 89022 123734 168565 80312 55719 164210 65838 61483 159855 135262 57128 28180 151145 142435 167028 93249 148199 123606 109132 94658 55591 90303 75829 135134 42526 62764 146662 113359 139361 10761 159599 19214 117586 39452 113231 88638 49571 98757 84283 168181 79928 110285 32151 17677 116049 66863 150761 166644 88510 143460 79800 65326 139105 114512 4996 32023 154988 130395 11914 165107 160752 47906 146278 72499 156397 107211 92737 117330 53670 147687 84027 138977 40605 89791 81081 17421 115793 37659 117202 63661 122966 3331 98373 118611 69425 130139 154732 31767 140258 164851 11658 160496 47650 72243 106955 117074 67888 63533 147431 98245 59178 158959 144485 119892 80825 101063 135775 121301 131420 151658 63405 98117 34457 93762 15628 163186 64814 25747 35866 144357 129883 56104 80697 51749 86461 18446 92225 67632 63277 161649 122582 147175 108108 167413 163058 113872 134110 119636 129755 80569 100807 125400 76214 160112 96452 81978 67504 73268 132573 54439 138337 133982 158575 35610 109389 21136 105034 115153 164339 51493 135391 1666 67376 13696 52902 28309 8200 157038 162802 133854 109261 21008 143973 41246 115025 75958 86077 159856 135263 110670 169975 77367 132317 93250 167029 39709 162674 113488 148200 123607 80185 65711 164083 6535 106187 165492 101832 62765 146663 43936 117715 123479 84412 143717 119124 10762 90176 75702 110414 1474 17806 175483 82875 88639 39453 64046 133470 168182 32152 105931 17678 1576 131933 152171 59563 118868 143461 55208 79801 4997 110158 85565 154989 150634 136160 47907 43552 152043 78264 162162 63790 147688 130268 154861 105675 81082 17422 52134 150506 121558 24595 147560 83900 89664 65071 60716 159088 85309 31768 125785 135904 33177 67889 28822 112720 137313 122839 59179 64943 15757 114129 35995 119893 169079 31640 130012 51878 125657 135776 96709 92354 98118 9994 89408 158832 144358 168951 100936 51750 125529 22802 67633 53159 161650 8457 122583 97990 9866 64687 21265 129756 105163 164468 139875 51622 125401 76215 110927 160113 71860 106572 81979 151403 13825 8329 73269 132574 79033 113745 173050 35611 158576 154221 80442 100680 76087 71732 52903 161394 13836 142565 167158 39838 172922 109262 45602 119381 80314 115026 149738 86078 6664 171385 156911 93251 3113 88896 133727 114898 135136 28054 151019 126426 101833 175612 142309 127835 39582 55465 104651 10763 114770 90177 124889 146536 132062 82876 43809 142181 147945 108878 133471 59692 85694 81339 150763 146408 121815 58155 156527 117460 43681 39326 123224 79802 114514 89921 110159 154990 165109 121687 82620 63791 88384 24724 147689 84029 94148 4870 31897 105676 11788 66609 52135 125914 111440 107085 92611 78137 151916 148970 134496 169208 96838 72245 33178 63535 88128 59180 10123 125658 111184 47524 145896 72117 67762 151660 127067 69171 30104 79290 64816 158833 144359 125530 71989 67634 53160 77753 161651 122584 108110 163060 148586 35740 119638 154350 41504 76216 86335 106573 67506 13826 132575 34203 167287 68915 152813 113746 162932 64560 35612 133984 129629 80443 164341 100681 110800 159986 42785 52904 171514 142566 138211 113618 84670 21010 70196 129501 164213 90434 65841 130910 28183 142438 138083 123609 109135 70068 55594 104780 16527 106189 28055 146665 171258 39583 113362 98888 168312 85823 22163 82877 43810 117589 88641 133472 84286 69812 79931 163829 75576 85695 32154 17680 62511 121816 58156 131935 33563 166647 127580 88513 74039 118870 143463 4999 85567 32026 56619 130398 11917 165110 13058 47909 156400 131807 92740 117333 98504 147690 108623 84030 114387 85439 107086 57900 82493 102731 63664 3334 98376 118614 138852 15887 60718 95430 154735 31770 11661 52008 47653 72246 67891 127196 88129 63536 98248 10124 158962 164726 111185 170490 24341 79291 15631 163189 40224 35869 85055 144360 129886 56107 154479 80700 41633 17040 125531 135650 18449 161652 12544 163061 113875 134113 60334 100810 6922 86336 61743 106574 155760 34204 138340 64561 133985 109392 21139 105037 51496 135394 1669 57260 131039 116565 13699 28312 126684 8203 157041 117974 123738 109264 21011 115028 75961 135266 151149 132320 44067 39712 113491 123610 70069 80188 75833 159731 6538 85952 146666 171259 117718 152430 29465 84415 143720 119127 168313 114772 139365 1477 17809 175486 43811 117590 127709 113235 133473 168185 114644 140646 66867 175358 1579 146410 58157 33564 131936 166648 123226 59566 143464 89923 56620 154992 130399 11918 150637 47910 43555 78267 63793 84031 59438 44964 85440 21780 154864 17425 115797 150509 160628 121561 72375 107087 127325 24598 98377 122970 89667 26007 159091 134498 130143 140262 150381 125788 67892 28825 137316 147435 73656 15760 114132 60591 154608 130015 51881 101067 135779 96712 121305 127069 48935 79292 30106 128478 40225 9997 25751 134242 144361 129887 154480 17041 140006 100939 106703 67636 18450 126941 102348 122586 9869 25623 144233 21268 119640 129759 105166 41506 51625 76218 71863 155761 8332 34205 118103 128222 35614 109393 168698 115157 76090 61616 159988 71735 155633 57261 67380 151278 136804 167161 44196 152687 29722 39841 89027 162806 113620 35486 55724 80317 115029 135267 6667 71607 130912 106319 81726 171388 167033 162678 158323 75834 110546 130784 42531 175615 62769 142312 29466 148076 119128 55468 110418 101708 146539 64050 59695 79933 105935 116054 150766 146411 117463 166649 43684 152175 139110 89924 65331 165112 121690 72504 82623 53675 88387 63794 24727 40610 4873 85441 31900 130272 11791 17426 101324 150510 125917 37664 82495 131681 92614 117207 102733 88259 98378 122971 172157 83904 89668 15889 169211 140263 164856 150382 96841 121434 18707 102605 137317 63538 114133 10126 64947 169083 31644 80830 140135 51882 111187 47527 145899 92358 67765 151663 69174 40226 114005 89412 25752 134243 144362 17042 125533 86466 71992 131297 67637 77756 151535 102349 73401 108113 167418 163063 9870 35743 84929 60336 154353 80574 110931 86338 141288 102221 167290 118104 162935 173054 35615 109394 133987 115158 96329 71736 106448 171517 44197 93383 142569 138214 162807 172926 90437 115030 139623 149742 110675 86082 71608 169980 81727 28186 142441 117848 167034 162679 123612 158324 109138 55597 146668 113365 25112 119129 10767 75707 48168 156659 117592 88644 123356 59696 84289 153713 114646 26393 75579 17683 150767 121819 156531 131938 127583 88516 39330 113109 84161 143466 94280 114518 65332 5002 32029 11920 101453 121691 156403 82624 92743 162167 172286 114390 169340 130273 125918 96970 57903 92615 127327 151920 63667 49193 3337 83905 59312 89669 154738 140264 164857 47656 121435 67894 43301 137318 112725 114134 158965 36000 169084 31645 154610 164729 145900 63411 69175 15634 163192 35872 158837 144363 129889 80703 56110 125534 86467 155891 8462 161655 108114 9871 15506 113878 134116 158709 139880 100813 125406 76220 61746 81984 141289 132579 118105 167291 93512 152817 79038 138343 162936 173055 21142 129633 105040 80447 90566 51499 135397 1672 131042 13702 28315 8206 13841 161399 73146 34079 44198 117977 29724 15250 162808 133860 109267 55726 115031 90438 164217 75964 13574 101966 44070 152561 39715 113494 148206 158325 20886 55598 80191 6541 106193 165498 126431 146669 117721 152433 84418 168316 80063 139368 1480 17812 175489 82881 43814 117593 39459 137831 133476 45223 168188 110292 165242 140649 1582 146413 156532 131939 166651 127584 39331 113110 123229 74043 59569 114519 105809 154995 130402 56623 150640 82625 43558 89798 114391 85443 154867 160631 96971 121564 57904 107090 131683 156276 33311 127328 24601 49194 10256 114263 26010 159094 169213 125791 111317 57776 67895 102607 151793 88133 147438 73659 118490 15763 169085 154611 130018 164730 51884 111189 96715 145901 156020 28700 63412 128481 40228 10000 114007 134245 158838 129890 80704 41637 100942 86468 96587 92232 67639 53165 126944 40100 60338 158710 21271 105169 41509 51628 125407 76221 71866 81985 155764 131171 28444 102223 8335 113751 123870 154227 100686 76093 110805 102095 167164 39844 133861 55727 129506 80320 65846 90439 115032 6670 130915 171391 132324 44071 113495 148207 84547 158326 16532 90311 110549 85956 165499 175618 52653 142315 166908 39588 143724 55471 90183 135014 61235 146542 43815 39460 59698 45224 119003 153715 26395 85700 110293 140650 150769 175362 156533 58161 117466 43687 166652 102992 39332 118875 114520 56624 121693 117338 88390 24730 84035 114392 4876 85444 60851 31903 11794 66615 164987 125920 101327 47786 96972 57905 92617 102736 138857 89671 134502 60723 95435 11666 135911 96844 92489 53422 88134 63541 147439 3211 172032 44712 10129 173441 154612 80833 150257 125664 51885 111190 160376 135783 47530 96716 170495 67768 128482 79296 89415 71995 131300 106707 92233 77759 126945 63285 118235 167421 15508 163066 9873 35746 168830 154356 80577 139882 125408 155765 67512 34209 167293 118107 128226 113752 133990 109397 158583 154228 80449 139754 86213 131044 81858 116570 126689 136808 171520 34081 157046 142572 29726 152691 138217 15252 89031 162810 123743 55728 100559 6671 106323 81730 13576 28189 101968 142444 117851 93258 158327 109141 94667 168446 55600 110550 71483 171264 166909 113368 98894 172673 109013 90184 114777 61236 72764 117595 113240 88647 123359 84292 45225 90056 26396 75582 32160 105939 17686 66872 140651 165244 62517 121822 88519 114521 40742 5005 32032 11923 17558 156406 92746 78272 63798 147696 73917 84036 118748 130276 66616 115802 101328 37668 136040 63670 49196 3340 65079 26012 60724 154741 31776 130148 164860 47659 57778 102609 88135 147440 118492 93899 134375 60596 158968 144494 164732 125665 145903 128483 15637 163195 89416 35875 144366 129892 56113 154485 17046 115418 86470 155894 77760 63286 161658 108117 167422 9874 113881 173186 134119 119645 129764 80578 76223 100816 22682 131173 67513 126818 138346 162939 109398 60212 158584 21145 144110 105043 51502 1675 96333 131045 106452 13705 151283 28318 8209 97742 142573 152692 113625 89032 162811 148337 84677 109270 55729 104915 90441 164220 75967 135272 106324 28190 73021 39718 113497 158328 80194 110551 6544 28062 13449 62774 156791 25116 84421 75711 135016 1483 22170 56882 130661 17815 175492 88648 133479 94412 79938 85702 32161 165245 1585 62518 146416 152180 98639 24860 123232 59572 139115 114522 163708 21914 130405 150643 72509 43561 162171 147697 84037 85446 169344 154870 105684 52143 37669 160634 47788 121567 96974 82500 156279 53552 24604 94028 15894 65080 60725 159097 169216 31777 150387 125794 47660 131558 151796 53424 137322 15766 130021 160378 111192 96718 145904 121311 72125 92363 102482 89417 163196 10003 173315 158841 80707 100945 160250 86471 67642 77761 53168 161659 122592 73406 167423 84934 60341 21274 168832 105172 164477 51631 76224 71869 102226 8338 97871 93516 123873 84806 105044 90570 76096 37029 67386 161403 142574 167167 117981 152693 39847 162812 172931 80323 90442 139628 149747 6673 71613 126563 38310 171394 44074 113498 148210 84550 158329 75840 85959 106197 42537 28063 175621 146673 142318 25117 172675 84422 94541 55474 80067 10772 174084 61238 27935 175493 146545 48173 152309 113242 88649 98768 172547 133480 59701 45227 168192 90058 110296 145008 165246 150772 175365 117469 166655 43690 163709 65337 21915 160763 121696 82629 127460 88393 24733 84038 89802 4879 31906 11797 150516 125923 101330 96975 107094 156280 92620 117213 104148 10260 114267 26014 80964 11669 96847 121440 156152 67899 28832 102611 53425 88137 63544 3214 172035 93901 15767 10132 36005 95310 80836 41769 101074 150260 111193 47533 145905 121312 106838 67771 63416 147314 48942 93773 69180 30113 51760 111065 86472 71998 53169 161660 122593 163069 40104 9876 35749 84935 60342 158714 21275 154359 76225 61751 135530 6930 22684 81989 126820 28448 122465 132584 167296 118110 113755 133993 60214 119519 80452 71742 81861 67387 102099 97744 146930 171523 73151 44203 29729 138220 162813 148339 35493 143984 129510 55731 125155 36902 169986 13579 28192 97616 142447 167040 148211 158330 109144 20891 55603 114908 75841 85960 42538 77250 113371 25118 90187 72767 82886 117598 113243 39464 49583 133481 84295 119007 75585 130535 17689 33572 156537 88522 147827 24862 143472 139117 5008 32035 155000 11926 68156 92749 117342 152054 98513 84039 138989 89803 21788 17433 150517 136043 107095 156281 131688 57909 117214 63673 3343 49199 104149 95439 154744 130151 80965 164863 11670 135915 47662 106967 53426 112731 172036 118495 158971 154616 164735 101075 111194 72127 33060 92365 63417 98129 48943 69181 118367 15640 163198 40233 35878 60471 168962 129895 56116 154488 41642 160252 155897 28577 77763 151542 63289 108120 15512 40105 113884 25631 134122 84936 158715 154360 129767 139886 76226 100819 6931 160124 96464 81990 28449 147059 167297 79044 138349 173061 35622 21148 129639 105046 51505 1678 71743 57269 81862 106455 116574 13708 28321 8212 136812 171524 142576 29730 89035 172933 35494 133866 109273 84680 129511 90444 75970 135275 110682 169987 22429 167041 39721 113500 158331 168450 80197 65723 85961 6547 91725 13452 123491 84424 90188 65595 75714 110426 1486 120545 56885 17818 175495 171140 48175 117599 88651 39465 98770 147956 94415 153720 75586 32164 140655 91469 1588 146419 58166 68285 88523 123235 59575 143473 139118 163711 32036 81222 17562 150646 101460 136172 146291 92750 43564 147700 118752 65211 154873 17434 121570 47791 131689 107096 24607 147572 49200 26016 159100 11671 125797 135916 121442 151799 53427 112732 172037 44717 15769 130024 154617 164736 125669 101076 111195 96721 145907 92366 122723 69182 79301 128487 163199 10006 158844 80710 100948 125541 22814 155898 92238 67645 126950 151543 63290 108121 167426 9878 40106 15513 173190 158716 84937 21277 119649 168835 129768 105175 139887 51634 76227 71872 67517 151415 102229 8341 97874 34214 93519 79045 128231 173062 35623 158588 129640 100692 76099 81863 131049 34086 142577 167170 44205 152696 39850 172934 84681 45614 119393 129512 80326 115038 125157 159869 135276 6676 110683 38313 73025 171397 156923 132330 93263 3125 113501 84553 164096 110555 106200 28066 175624 146676 156795 142321 43949 39594 55477 104663 61241 135020 56886 27938 175496 146548 132074 107481 142193 152312 88652 113245 137838 172550 49585 108890 133483 59704 45230 94416 90061 85706 150775 146420 121827 117472 43693 147829 59576 55221 36392 169476 81223 121699 156411 127463 88396 24736 73922 123108 147701 84041 94160 4882 60857 144755 21790 31909 130281 11800 125926 136045 160638 92623 78149 118625 10263 114270 26017 85322 159101 31781 130153 96850 121443 131562 57783 156155 102614 78021 53428 88140 63547 122852 3217 10135 36008 95313 80839 154618 41772 125670 101077 47536 67774 28707 98131 118369 93776 158845 144371 17051 164609 125542 51763 72001 155899 92239 98003 122596 108122 167427 163072 25633 148598 35752 80583 90702 164481 51635 76228 67518 13977 167299 93520 162944 133996 100693 96338 67390 97747 171526 44206 39851 138223 113630 148342 80327 55734 115039 139632 149751 135277 13582 28195 126567 77381 38314 73026 132331 142450 19485 138095 148214 109147 55606 104792 51251 135149 110556 101846 171270 39595 113374 135021 110428 85835 61242 120547 107482 117601 137839 123365 84298 69824 119010 45231 79943 163841 26402 85707 130538 17692 91471 171014 33575 166659 127592 88525 55222 5011 173832 32038 155003 130410 11929 17564 121700 131819 92752 68159 127464 152057 162176 24737 98516 65213 169349 105689 101334 52148 146165 102743 63676 3346 147574 138864 15899 114271 65085 163457 154747 31782 140273 47665 121444 117089 127208 102615 137327 44719 36009 158974 95314 144500 150264 160383 72130 24353 98132 73539 93777 30117 15643 163201 35881 85067 158846 168965 129898 56119 135662 92240 28580 126952 122597 167428 40108 134125 84939 158718 95058 80584 76229 100822 125415 160127 106586 18333 97876 73283 48690 93521 138352 15387 123878 21151 119523 105049 90575 164354 51508 1681 57272 67391 13711 28324 8215 161408 73155 146934 89038 109276 84683 45616 139633 75973 125159 159871 22432 57144 77382 38315 73027 44079 3127 39724 158334 20895 80200 164098 139505 75845 6550 81609 13455 171271 43951 29477 84427 80072 10777 90191 65598 174089 135022 61243 1489 17821 175498 161024 72771 132076 88654 119011 45232 16284 145013 32167 81353 165251 175370 1591 146422 33576 123238 172424 59578 143476 85580 130411 155004 17565 150649 82634 156413 141939 68160 43567 102872 152058 63805 147703 84043 59450 143348 144757 154876 17437 150521 121573 131692 82506 24610 118627 69441 114272 26019 85324 159103 125800 12815 150393 111326 53430 98261 15772 95315 130027 154620 101079 96724 121317 145910 82250 10009 144373 80713 140018 100951 86477 22817 155901 67648 28581 98005 93650 9881 173193 21280 168838 144245 129771 105178 51637 125416 76230 110942 160128 71875 77639 126825 8344 97877 73284 118115 113760 173065 119524 94931 80457 115169 76102 61628 71747 131052 57273 151290 73156 167173 44208 113632 39853 84684 45617 80329 135279 6679 61500 71619 77383 171400 44080 167045 148216 123623 20896 51253 75846 101848 175627 97493 146679 156798 142324 148088 55480 61244 17822 146551 132077 152315 113248 59707 119012 168198 16285 90064 130540 150778 146423 117475 43696 147832 143477 129003 169479 130412 17566 150650 136176 121702 72516 68161 127466 63806 88399 24739 163587 4885 31912 130284 11803 17438 125929 150522 136048 57914 82507 131693 92626 117219 151931 88271 98390 172169 104154 15901 159104 95444 130156 164868 150394 96853 156158 127210 78024 151803 63550 3220 59195 10138 130028 140147 125673 47539 145911 67777 127082 48948 153084 40238 158848 60476 144374 154493 51766 135664 72004 22818 131309 155902 18463 167430 29991 163075 9882 113889 173194 35755 90705 135536 13980 97878 167302 128235 113761 162947 173066 133999 35627 84813 158592 119525 71748 106460 116579 73157 171529 93395 142581 152700 39854 138226 162819 35499 60092 80330 55737 115042 71620 13585 28198 73029 44081 142453 19488 167046 113505 109150 168455 55609 139507 91730 140916 146680 142325 43953 152444 39598 113377 119141 80074 139379 75719 135024 61245 27942 111840 48180 156671 132078 43825 117604 113249 133487 84301 168199 16286 130541 17695 140660 127595 88528 172426 84173 168071 94292 5014 32041 11932 165125 92755 117348 63807 73926 147705 84045 143350 94164 60861 130285 170761 63679 122984 3349 59324 143222 138867 65088 26021 154750 31785 47668 117092 28839 112737 49077 114146 134384 158977 150267 160386 121319 63423 118373 128492 15646 163204 35884 158849 129901 164613 125546 72005 102362 8474 93652 9883 113890 89297 134128 84942 95061 80587 100825 86351 97879 68931 113762 138355 162948 21154 94933 144119 129645 105052 115171 51511 110816 37037 1684 96342 13714 28327 8218 13853 136818 12303 152701 162820 89041 35500 133872 109279 55738 115043 41264 75976 125162 81740 52792 73030 3130 152573 39727 123625 158337 104796 80203 164101 6553 28071 13458 146681 19361 29480 39599 25125 84430 143735 80075 163973 65601 85839 1492 17824 77129 175501 97367 39471 123369 45235 153726 114659 26406 1594 146425 121832 127596 59581 143479 118886 30633 149243 60990 36397 105821 17568 150652 117349 43570 102875 63808 162180 73927 123113 98520 84046 94165 65217 130286 154879 121576 131695 156288 53561 102747 24613 65089 138868 159106 85327 12818 125803 121448 131567 67907 78026 88145 49078 93909 15775 64961 85199 169097 130030 154623 41777 150268 135794 160387 96727 121320 166151 127084 63424 163205 10012 64833 25766 168969 144376 80716 100954 125547 96599 106718 155904 18465 67651 126956 28584 113891 134129 95062 21283 168841 105181 139893 51640 135538 71878 8347 138356 109408 164358 26919 100698 76105 96343 102107 77514 136819 12304 34092 167176 152702 39856 148347 35501 133873 60094 55739 80332 125163 149756 159875 6682 61503 22436 126572 8091 38319 171403 158338 168457 90323 13459 77258 175630 146682 33836 156801 142327 29481 137972 168329 55483 114788 174093 120552 146554 171147 107487 43827 113251 39472 137844 24998 59710 153727 90067 145017 105950 130543 91476 165255 150781 175374 19106 117478 68292 43699 103004 113123 147835 34989 139125 173837 85584 36398 130415 121705 156417 33452 43571 127469 102876 88402 8988 24742 147707 98521 69573 114404 16032 4888 31915 11806 164999 125932 37679 170763 156289 92629 102748 118631 138869 159107 130159 11678 164871 96856 121449 57789 92501 67908 78027 151806 63553 49079 3223 59198 93910 44724 10141 89555 64962 134386 95319 130031 150269 125676 47542 121321 145914 33068 67780 122730 48951 93782 153087 25767 158851 144377 168970 56124 140022 125548 135667 86481 72007 57533 18466 126957 63297 118247 167433 163078 9885 40113 35758 95063 139894 125420 37167 67524 77643 97881 167305 15392 173069 109409 134002 119528 144121 168714 139766 86225 96344 77515 126701 12305 171532 34093 39857 138229 123755 80333 164231 22437 130928 57149 13588 28201 77387 73032 142456 167049 113508 123627 158339 109153 168458 55612 71495 57021 140919 101852 146683 171276 142328 43956 39601 113380 98906 109025 104670 80077 139382 6427 27945 111843 38064 171148 48183 117607 152319 113252 88659 137845 49592 59711 84304 168202 143609 114661 32172 17698 136308 166665 88531 123243 114533 89940 139126 5017 149245 26280 32044 11935 111587 23334 92758 141944 127470 102877 8989 63810 84048 143353 85457 144762 81102 17442 125933 18851 63682 122987 3352 98394 69446 89684 26024 154753 31788 47671 121450 57790 156162 67909 147452 44725 64963 85201 158980 125677 131441 166153 18595 48952 98138 122731 153088 15649 163207 40242 35887 134259 56125 129904 154497 115430 131313 126958 63298 134131 158724 129776 100828 6359 67525 126830 97882 138358 35631 21157 105055 80462 115174 51514 1687 106464 116583 13717 28330 102109 151295 8221 146940 93399 89044 109282 104927 115046 75979 61505 22438 77388 3133 39730 162695 123628 172814 148221 80206 65732 41139 51258 6556 57022 140920 91734 28074 101853 77260 52667 166922 84433 119145 143738 104671 90197 139383 75723 1495 130673 17827 27946 175504 111844 48184 43829 137846 133491 94424 168203 45238 16290 140664 1597 121835 146428 166666 152192 98651 59584 94296 129008 30636 36400 21926 169484 56638 155010 165129 150655 136181 72521 68166 43573 8990 112997 147709 84049 94168 114406 65220 154882 130289 105696 81103 52155 170765 121579 107105 18852 24616 83921 59328 94040 104159 31789 125806 150399 111332 33198 117096 127215 88148 44726 15778 31661 130033 125678 101085 135797 96730 33070 102494 24360 118377 93784 153089 10015 89429 40243 144379 56126 100957 125550 22823 67654 126959 48825 29996 9887 173199 158725 21286 168844 105184 90710 51643 86355 160134 135541 71881 131186 106593 8350 13985 142714 128240 113766 148478 26922 76108 106465 67398 102110 167179 162824 35504 45623 55742 115047 41268 125166 6685 61506 71625 106337 130930 8094 171406 156932 19493 158341 41140 75852 51259 140921 101854 175633 146685 43958 142330 19365 127856 98908 133620 168332 55486 163977 27947 111845 48185 146557 132083 43830 152321 113254 59713 143611 90070 139256 150784 175377 121836 156548 117481 43702 39347 108771 34992 118890 143483 30637 110180 155011 165130 160775 97115 121708 156420 102879 88405 24745 84050 65221 16035 4891 85459 31918 11809 125935 150528 170766 156292 92632 117225 78158 24617 65093 26026 169229 31790 12822 96859 121452 33199 67911 28844 112742 88149 63556 3226 93913 143099 10144 64965 101086 47545 145917 106850 18597 67783 63428 24361 98140 158854 164618 140025 111077 135670 72010 126960 167436 163081 173200 35761 84947 80592 139897 174609 86356 160135 106594 18341 6361 77646 8351 97884 48698 167308 118122 173072 134005 158598 94938 168717 80464 26923 71754 106466 67399 151297 171535 68808 162825 138232 143996 55743 90455 164234 41269 149760 159879 13591 28204 52797 8095 142459 113511 123630 172816 109156 158342 55615 104801 114920 75853 175634 43959 39604 113383 25130 98909 172688 119147 80080 85844 135030 12194 38067 97372 171151 117610 152322 113255 88662 39476 25002 84307 114664 110309 17701 136311 97244 117482 103008 88534 34993 30638 5020 173841 60995 32047 130419 11938 165131 111590 23337 156421 92761 117354 102880 162185 98525 84051 118763 65222 139001 130291 17445 125936 150529 170767 131700 117226 63685 122990 3355 98397 118635 94042 15908 159111 154756 130163 11682 47674 96860 106979 92505 147455 59202 93914 64966 25899 158983 119916 154628 164747 125680 111206 160392 37427 121325 145918 102496 63429 122734 15652 163210 35890 158855 134262 80721 154500 129907 41654 140026 18470 102368 53182 63301 69065 167437 9889 173201 134134 95067 80593 129779 41526 139898 100831 125424 86357 96476 77647 15396 113768 162954 138361 158599 109413 35634 21160 168718 119532 105058 129651 164363 26924 51517 1690 71755 13720 126705 28333 8224 12309 93402 68809 89047 39861 109285 60099 133878 168590 80337 115049 75982 106339 52798 8096 38324 107748 44088 3136 39733 113512 123631 109157 158343 119276 80209 159752 6559 85973 106211 57025 101856 43960 123503 84436 168334 75726 174098 135031 1498 17830 175507 38068 97373 171152 107492 152323 88663 39477 25003 49596 147968 94427 139258 134903 145022 1600 146431 131957 147840 59587 34994 114537 110182 159368 85589 21929 11939 150658 160777 23338 146303 156422 43576 141948 137593 89816 110054 36275 154885 17446 160649 170768 121582 53567 24619 98398 89688 21673 31792 125809 121454 117099 28846 88151 15781 64967 25900 85205 36019 95324 130036 125681 160393 37428 96733 145919 121326 48956 10018 40246 168975 144382 80722 100960 160265 67657 48828 167438 21289 80594 154373 105187 129780 164492 51646 110951 37172 71884 67529 18343 151427 8353 48700 15397 162955 148481 119533 168719 144126 129652 100704 76111 61637 28334 167182 93403 60100 119405 90457 115050 125169 6688 22442 130933 171409 93275 68682 167054 113513 123632 104803 41143 110567 130805 175636 146688 156807 43961 142333 172690 133623 168335 55489 90201 120558 38069 146560 97374 48188 142205 88664 113257 25004 172562 108902 59716 94428 75599 85718 61125 159497 22058 32177 91482 150787 117484 43705 152196 69707 129012 89945 26285 149250 21930 56642 155014 23339 121711 97118 141949 102882 88408 8994 137594 24748 98527 147713 4894 31921 11812 17447 125938 170769 92635 98399 60741 21674 31793 135929 96862 121455 117100 102626 88152 63559 147457 3229 132983 93916 10147 64968 36020 134392 130037 101089 111208 160394 135801 47548 121327 106853 92379 67786 166158 73550 93788 153093 158857 80723 100961 135673 72013 22827 151556 102370 48829 30000 163084 113898 148610 35764 158729 105188 76240 160138 71885 106597 131190 67530 167311 68939 148482 134008 119534 115179 100705 160010 116588 171538 93404 138235 60101 45627 115051 164237 125170 22443 13594 28207 8098 44090 142462 138107 123633 158345 109159 55618 104804 135161 22315 81620 91739 140925 171282 156808 43962 39607 113386 104676 80083 139388 120559 111849 97375 146561 132087 117613 152325 84310 69836 45243 79955 16295 114667 163853 110312 17704 91483 140669 52416 88537 49470 94301 69708 143487 5023 36405 32050 155015 56643 11941 165134 97119 131831 92764 152069 127476 63816 172307 147714 85463 169361 144768 105701 52160 125939 131703 63688 3358 59333 118638 15911 169233 154759 11685 47677 121456 117101 88153 112746 147458 59205 158986 144512 119919 154631 164750 125683 150276 135802 106854 92380 102499 93789 15655 163213 64841 35893 85079 158858 56131 129910 160267 53185 8483 48830 30001 35765 158730 134137 168849 56003 41529 139901 76241 100834 86360 110953 160139 106598 73295 157193 93533 138364 148483 173076 158602 21163 105061 90587 16808 51520 1693 131063 67403 13723 77522 28336 126708 8227 13862 97760 171539 68812 142591 89050 39864 148355 109288 133881 144000 11045 115052 90459 75985 125171 36918 135290 107751 93277 3139 39736 113515 109160 158346 80212 65738 75857 6562 71502 106214 28080 171283 19370 43963 25134 84439 143744 119151 104677 163982 110441 135034 1501 17833 175510 161036 103140 39480 133497 90075 175382 1603 37943 146434 108776 59590 69709 55235 30642 40761 110185 56644 150661 111594 160780 92765 43579 127477 137596 63817 162189 147715 5 59462 69581 16040 89819 85464 144769 154888 150533 160652 121585 24622 122994 147587 114284 15912 26031 130167 150405 125812 98273 59206 132985 15784 119920 154632 130039 164751 101091 150277 96736 121329 82262 98145 24366 93790 10021 40249 56132 100963 125556 67660 18474 167441 69069 9893 134138 144257 21292 105190 80597 139902 51649 76242 174614 71887 22701 8356 118127 68941 113772 158603 115181 164367 76114 26928 160012 71759 151302 126709 167185 152711 129527 90460 115053 139646 75986 149765 6691 71631 32564 171412 156938 107752 44092 68685 167057 158347 45501 75858 110570 85977 71503 106215 28081 175639 97505 142336 148100 25135 133626 55492 104678 139390 135035 146563 97377 171156 107496 113260 88667 133498 59719 119024 85721 61128 22061 32180 150790 136316 121842 131961 117487 43708 103013 34998 79829 40762 173846 61000 85593 159372 121714 97121 72528 88411 137597 24751 73937 147716 89820 4897 85465 31924 130296 11815 150534 170772 92638 117231 78164 151943 88283 59335 94047 153352 60744 130168 150406 12828 96865 92510 67917 102629 63562 3232 59207 10150 173462 85209 36023 134395 144514 119921 101092 111211 47551 67789 24367 93791 64843 158860 154505 140031 125557 135676 72016 18475 102373 126966 63306 98018 69070 167442 163087 9894 35767 158732 95072 168851 80598 154377 115310 164496 41531 155786 157195 167314 162959 148485 134011 94944 164368 71760 81879 126710 77524 13864 12314 97762 171541 113645 162831 39866 138238 123764 35511 125173 159885 71632 22446 13597 28210 52803 107753 142465 68686 167058 113517 109162 158348 94688 55621 100452 135164 130809 156811 43965 152456 39610 113389 98915 143746 168339 80086 75731 110443 106088 38073 156683 117616 88668 172566 123380 84313 75603 61129 110315 22062 32181 17707 37945 121843 131962 127607 88540 84185 69711 143490 5026 26289 85594 32053 56646 11944 97122 23343 117360 92767 152072 24752 147717 84057 89821 4898 136061 18860 63691 3361 59336 36152 109931 169236 154762 12829 160526 47680 67918 28851 158989 36024 144515 125686 102502 63435 24368 93792 15658 64844 163216 35896 158861 134268 56134 129913 140032 160270 155915 141441 151560 126967 142850 163088 148614 84954 134140 139904 41532 100837 76244 125430 135549 73298 118129 162960 138367 148486 35640 21166 94945 105064 129657 16811 164369 51523 110828 1696 131066 116592 13726 52932 28339 8230 171542 93408 142594 162832 89053 39867 35512 109291 11048 90462 164241 139648 75988 159886 142466 68687 3142 152585 39739 138111 158349 80215 139520 85979 6565 22319 165522 101862 171286 146693 156812 93152 148102 84442 119154 1504 12201 17836 175513 72786 103143 39483 69840 61130 110316 140673 1606 146437 97251 131963 152201 59593 69712 55238 129017 65357 10536 26290 85595 61002 105833 56647 165138 150664 92768 117361 43582 127480 152073 8999 63820 98532 84058 89822 139008 85467 154891 125943 160655 121588 151945 63692 3362 24625 153354 114287 15915 154763 164882 125815 47681 121460 131579 92512 151817 88157 147462 15787 124278 60618 169109 154635 130042 101094 96739 121332 63436 142979 153098 10024 40252 25778 134269 140033 100966 96611 106730 67663 77782 53189 161680 8487 158734 21295 105193 56007 129786 51652 125431 76245 86364 135550 71890 155788 8359 73299 93537 35641 100710 76117 61643 135422 47169 155660 67407 151305 13866 167188 39868 74580 80344 129530 90463 125175 6694 86108 126584 171415 44095 59978 90335 75861 135166 140930 101863 175642 171287 33848 142339 25138 84443 133629 119155 55495 114800 106090 56904 12202 101735 111854 146566 107499 39484 113263 98789 59722 114672 110317 81369 126200 150793 175386 52421 156557 117490 43711 127609 113135 49475 123254 108780 10537 65358 40765 149256 61003 36410 56648 165139 121717 127481 88414 24754 59466 94178 139009 4900 85468 60875 36282 31927 130299 11818 165011 170775 92641 88286 34745 15916 159119 60747 169238 11690 150409 96868 121461 156173 92513 112751 88158 63565 3235 15788 10153 109805 60619 111214 135807 47554 67792 166164 127097 142980 158863 72019 57545 155917 131324 77783 53190 63309 161681 118259 163090 9897 35770 21296 56008 129787 115313 174618 86365 110958 67536 167317 142724 148488 134014 168726 115185 86237 81882 151306 77527 13867 97765 171544 138241 133886 144005 80345 90464 71635 13600 28213 97637 142468 167061 113520 148232 123639 109165 20912 55624 139522 100455 22321 13472 146695 156814 93154 39613 113392 133630 109037 119156 168342 80089 139394 51141 126329 146567 107500 93026 117619 39485 25011 84316 119028 22065 17710 150794 121846 152203 88543 147848 108781 69714 30647 55240 10538 40766 114545 5029 149257 32056 56649 11947 165140 160785 92770 63822 162194 137601 147720 60876 70995 11819 52166 170776 18863 102761 63694 3364 153356 114289 89696 60748 159120 36155 169239 154765 31800 130172 150410 47683 121462 67921 102633 53447 28854 127226 88159 73685 132990 158992 70739 119925 164756 125689 150282 37436 67793 166165 102505 24371 118388 142981 15661 163219 35899 60492 80730 154509 129916 41663 115442 125561 160273 72020 141444 18479 53191 126970 98022 158736 134143 168855 56009 139907 115314 100840 110959 86366 22706 67537 126842 138370 173082 21169 168727 105067 55881 115186 51526 26933 1699 81883 131069 13729 151307 28342 8233 171545 142597 113649 89056 35515 109294 60108 55753 104939 80346 90465 164244 75991 125177 159889 71636 101993 107757 142469 3145 39742 162707 123640 158352 45506 80218 6568 71508 106220 28086 146696 171289 48324 156815 166934 152460 98919 148105 84445 139395 75735 1507 130685 17839 175516 72789 107501 43841 110319 121847 146440 131966 156559 152204 98663 35003 59596 139139 65360 61005 150667 52295 136193 111600 72533 92771 43585 63823 98535 143366 89825 60877 85470 154894 105708 125946 136065 170777 121591 18864 88288 24628 34747 83933 153357 159121 60749 36156 154766 31801 125818 111344 121463 67922 92515 117108 28855 102634 151820 88160 73686 15790 124281 31673 130045 125690 150283 101097 96742 156047 127099 40255 10027 148746 25781 17071 100969 76376 125562 106733 67666 141445 18480 126971 8490 69075 124025 158737 21298 105196 154382 139908 115315 51655 125434 71893 155791 8362 97895 157200 93540 138371 173083 55882 16815 115187 76120 110832 37053 135425 47172 81884 67410 18224 13730 102122 167191 44226 162836 39871 113650 74583 35516 55754 80347 11052 159890 6697 32570 8106 171418 97639 59981 143879 85983 71509 57035 130814 101866 175645 48325 142342 127868 25141 69972 143751 55498 139396 6441 126331 38078 72790 146569 171162 43842 39487 113266 59725 75608 110320 150796 37950 156560 117493 43714 127612 39359 129021 114547 111601 23348 121720 127484 88417 24757 84062 89826 114419 4903 31930 130302 11821 52168 150540 160659 92644 117237 153358 89698 65105 114291 21683 130174 11693 96871 121464 156176 131583 117109 28856 53449 151821 88161 63568 3238 143111 10156 124282 25910 109808 60622 70741 164758 150284 76505 47557 106862 67795 63440 142983 153102 25782 134273 158866 56139 164630 111089 72022 106734 131327 141446 77786 151565 161684 167448 163093 9900 148619 35773 84959 80604 51656 125435 82013 126844 93541 167320 142727 118134 25526 134017 158610 119543 96359 71766 47173 106478 116597 52937 93413 44227 162837 138244 74584 123770 55755 129534 36926 32571 13603 28216 77402 8107 73047 142471 138116 148235 109168 59982 55627 41153 114932 100458 51272 71510 106222 165527 101867 146698 39616 113395 74328 55499 80092 139397 85856 6442 171163 72791 43843 117622 103148 39488 98793 172572 84319 59726 69845 143624 155152 17713 140678 126204 160916 43715 88546 49479 79836 5032 32059 11950 52297 33468 117366 127485 63825 9004 3495 84063 143368 118775 169370 70998 130303 150541 170779 156305 117238 63697 3367 69461 153359 15920 114292 4776 60751 159123 169242 154768 140294 11694 111346 47686 67924 112755 49095 59214 124283 158995 144521 154640 125692 37439 121337 156049 102508 151694 63441 15664 163222 35902 60495 134274 168986 129919 17073 76378 135683 37311 121209 155921 122618 167449 9901 173213 158739 134146 168858 129791 115317 100843 135555 96488 97897 93542 162966 138373 158611 35646 21172 105070 80477 129663 90596 51529 135427 160020 1702 47174 71767 151310 28345 13732 8236 89059 74585 109297 133890 55756 80349 75994 125180 159892 32572 155537 57165 77403 23862 44100 3148 39745 123643 158355 119288 80221 75866 135171 6571 28089 171292 148108 123515 84448 90212 139398 75738 61264 1510 17842 175519 93030 98794 172573 74201 94439 110322 130560 146443 33597 49480 59599 118904 79837 65363 10542 5033 150670 146315 156434 43588 127486 102893 162198 59471 70999 154897 105711 125949 136068 170780 121594 53579 127358 24631 153360 15921 36159 125821 111347 92518 147468 59215 15793 109810 130048 125693 76507 37440 96745 127102 48968 122747 40258 10030 148749 60496 109682 129920 115446 100972 106736 67669 102381 53195 63314 142857 30011 9902 124028 158740 168859 21301 105199 80606 129792 115318 51658 174623 110963 71896 22710 131201 67541 151439 8365 138374 162967 173086 55885 129664 100716 76123 160021 1703 106480 57294 131073 13872 171549 167194 93415 109298 119417 104943 55757 125181 36928 6700 22454 106352 77404 23863 171421 132354 167066 113525 138118 123644 158356 45510 114934 6572 110579 85986 175648 52683 142345 93159 29499 25144 69975 55501 114806 51146 61265 81503 32317 17843 27962 77148 146572 107505 93031 43845 142217 152336 113269 98795 108914 59728 119033 150799 175392 126206 121851 131970 117496 43717 152208 29243 55245 65364 121723 92775 88420 24760 147725 118777 4906 60881 71000 120186 31933 11824 125950 121595 170781 131714 92647 98411 172190 118649 30396 15922 114294 31805 135941 111348 96874 121467 33214 28859 88164 63571 49097 147469 3241 44742 10159 109811 119930 160406 47560 106865 67798 151696 147341 142986 60497 158869 144395 17075 160278 72025 102382 53196 126975 122620 163096 173215 35776 158741 168860 154386 150031 22711 67542 102254 122492 167323 118137 173087 134020 55886 100717 96362 102126 93416 162840 39875 138247 113654 55758 129537 139656 145420 32574 13606 28219 8110 97643 23864 107762 142474 138119 158357 109171 45511 143883 55630 100461 85987 135173 130818 93160 152465 39619 113398 74331 172703 80095 61266 77149 93032 43846 117625 74203 123389 59729 84322 94441 79967 163865 90086 75612 17716 175393 160919 131971 156564 152209 88549 94313 55246 5035 36417 32062 11953 156436 131843 102895 63828 137607 3498 59473 84066 143371 60882 130306 125951 136070 170782 92648 117241 88293 63700 123005 3370 34752 143243 30397 15923 169245 154771 56399 130178 11697 76637 47689 166299 102639 112758 132996 93929 158998 154643 164762 101102 125695 47561 121340 33087 106866 43206 98156 122749 15667 163225 35905 85091 134277 154515 129922 41669 82145 141450 77790 161688 167452 9904 158742 134149 109556 154387 80608 115320 100846 150032 135558 110965 1833 82017 118138 138376 21175 105073 51532 37058 110837 1705 67415 28348 13735 8239 89062 39876 148367 133893 109300 129538 139657 115064 75997 145421 106354 57168 8111 142475 44103 3151 39748 113527 123646 119291 80224 65750 100462 75869 85988 135174 6574 22328 106226 32447 165531 171295 19382 93161 113399 74332 148111 84451 163994 114808 61267 1513 17845 175522 126336 161048 117626 152338 88678 172576 84323 119035 114680 75613 81377 32191 160920 146446 131972 127617 172448 59602 55247 79840 129026 11954 150673 43591 18998 29117 137608 147727 17 59474 65238 154900 150545 125952 136071 170783 121597 117242 53582 88294 24634 147599 94058 30398 153363 169246 150417 125824 92521 117114 151826 112759 132997 64982 15796 124287 158999 85220 109813 70746 144525 154644 130051 164763 96748 121341 82274 92393 127105 24378 108276 44616 118395 153107 15668 40261 10033 109685 56144 154516 100975 125568 135687 82146 155925 106739 67672 77791 167453 93674 9905 144269 21304 154388 56016 105202 51661 150033 135559 1834 71899 82018 102256 53070 8368 97901 157206 118139 138377 158615 21176 80481 16821 76126 160024 71771 47178 131076 167197 113656 74589 109301 129539 41286 11058 125184 159896 6703 71643 57169 171424 73052 156950 132357 167069 113528 138121 123647 114937 75870 106227 175651 97517 171296 146703 142348 74333 172705 25147 55504 90216 61268 27965 146575 171168 48203 43848 152339 88679 113272 98798 123391 172577 147984 59731 119036 75614 85733 169631 105971 150802 160921 37956 117499 43720 103025 143501 139146 26300 110198 155029 52302 160793 72540 121726 156438 33473 92778 18999 127490 102897 88423 24763 147728 45001 4909 120189 31936 11827 150546 125953 37700 121598 170784 92650 78176 53583 28990 88295 83940 118652 4781 169247 56401 150418 27453 96877 156182 117115 67929 112760 63574 147472 122879 3244 93931 64983 10162 173474 31680 115578 47563 67801 102513 24379 73565 108277 93803 69210 44617 118396 158872 17078 76383 125569 37316 72028 121214 82147 106740 53199 63318 48844 122623 167454 163099 173218 124032 35779 105203 150034 174627 1835 77664 151443 102257 157207 167326 15413 162971 173090 134023 80482 55889 16822 135432 47179 71772 126722 58707 39878 162843 138250 35523 11059 115066 110711 71644 57170 13609 28222 132358 142477 167070 113529 148241 59988 158360 109174 94700 143886 55633 65752 26685 110583 106228 28094 39622 113401 80098 75743 51150 77152 146576 156695 93035 117628 88680 84325 59732 94444 5166 81379 130565 17719 126210 37957 171041 72669 152212 88552 39366 172450 84197 94316 10547 163740 139147 5038 32065 81251 11956 165149 17591 141965 19000 117372 102898 152084 127491 88424 162203 84069 59476 120190 169376 71004 31937 130309 81123 170785 63703 123008 98415 3373 83941 69467 118653 109943 159129 154774 31809 11700 27454 76640 160538 47692 33218 117116 151828 73694 49101 147473 59220 159001 46155 119934 31681 101105 125698 76512 150291 131462 43209 63447 73566 15670 163228 148754 35908 144399 129925 115451 17079 92267 48845 93676 84966 134152 109559 80611 100849 76256 150035 125442 86375 48717 162972 35652 21178 55890 129669 105076 90602 164381 51535 1708 96366 106485 28351 13738 8242 13877 162844 89065 35524 109303 104948 80355 115067 76000 145424 77409 52816 97647 73054 23868 132359 156952 44106 3154 39751 113530 143887 80227 26686 6577 71517 106229 171298 152469 148114 84454 69980 139404 114811 51151 110456 1516 56915 17848 77153 175525 121984 107510 33731 93036 166815 43850 127748 88681 39495 168224 169633 160923 146449 39367 59605 94317 143503 110200 85607 21947 150676 136202 156440 117373 43594 102899 84070 45003 65241 120191 154903 81124 125955 170786 121600 107126 78178 112890 24637 147602 153366 15927 4783 159130 169249 11701 164894 27455 125827 111353 121472 156184 92524 151829 88169 122881 59221 118526 64985 15799 169121 154647 130054 76513 150292 101106 135818 96751 102515 151701 63448 88041 73567 122753 98160 142991 89450 40264 10036 35909 144400 140045 76385 100978 135690 96623 82149 155928 67675 102387 48846 21307 129798 105205 164510 51664 150036 125443 71902 57428 8371 118142 50127 148499 35653 51536 76129 100722 61655 67419 165791 122369 167200 44235 162845 172964 80356 41289 125187 86120 6706 171427 156953 44107 138124 123650 158362 143888 90347 114940 26687 75873 71518 22332 130823 106230 175654 171299 146706 33860 142351 152470 172708 25150 168353 55507 153879 139405 90219 163998 61271 81509 175526 161052 146578 97392 171171 33732 152342 113275 88682 39496 74208 32195 150805 175398 160924 117502 43723 113147 123266 94318 45132 129030 36422 21948 155032 72543 121729 92781 19002 152086 102900 63833 88426 3503 24766 84071 45004 94190 65242 4912 31939 154904 11830 165023 150549 170787 92653 78179 151958 98417 94062 153367 30402 114300 169250 11702 76642 150421 160540 96880 166304 63577 3247 59222 93934 89579 10165 115581 76514 47566 82278 67804 24382 153111 158875 134282 109689 144401 76386 135691 72031 57557 82150 141455 77795 63321 98033 118271 163102 9909 35782 105206 129799 150037 76258 135563 110970 57429 67548 102260 77667 97905 167329 138381 173093 134026 158619 55892 164383 76130 86249 71775 165792 126725 13879 171556 48591 58710 167201 39881 138253 133898 144017 104950 164255 90476 139662 125188 6707 159900 32580 13612 28225 77411 52818 136716 142480 167073 113532 109177 20924 55636 165536 146707 58454 152471 39625 113404 74337 109049 119168 80101 61272 32324 52562 33733 117631 88683 98802 84328 168226 143633 5169 85737 32196 17722 33605 88555 147860 168098 79845 5041 85609 32068 11959 87018 92782 19003 102901 137613 98546 24767 59479 65243 139022 85481 28994 78180 102773 63706 3376 34758 44877 153368 114301 154777 47695 96881 127238 112764 73697 49104 118528 30275 114173 124292 159004 109818 46158 125701 111227 43212 127110 24383 93807 15673 138638 163231 89452 35911 168995 154521 129928 140047 17082 76387 125573 121218 116863 161694 48848 89324 64731 9910 84969 158748 134155 139919 100852 150038 1839 57430 67549 77668 53075 68958 148501 21181 80486 55893 105079 51538 61657 1711 96369 57302 106488 165793 151319 28354 126726 13741 8245 112252 171557 48592 58711 162847 89068 39882 113661 74594 109306 168611 104951 41291 139663 76003 125189 110715 71648 32581 18107 77412 102005 122243 3157 39754 148245 123652 119297 80230 139535 135180 6580 155418 130825 52691 28098 146708 171301 166946 133643 84457 143762 90221 75747 174119 61273 1519 130697 17851 175528 127751 98803 147989 123396 59736 17723 160926 146452 98675 59608 69727 110203 17595 150679 156443 92783 43597 84073 45006 89837 110075 154906 125958 160670 121603 53588 151960 28995 112893 24640 147605 3377 34759 69471 15930 159133 169252 56406 11704 150423 125830 47696 121475 33222 131594 92527 67934 151832 88172 49105 73698 44750 64988 138767 15802 159005 46159 70752 130057 150295 96754 121347 131466 108282 69215 163232 40267 10039 134284 17083 100981 76388 125574 160286 121219 82152 67678 77797 126983 161695 64732 173223 84970 158749 21310 105208 51667 174632 150039 135565 71905 77669 151448 8374 63195 83433 50130 115199 76132 100725 61658 96370 106489 67422 28355 102134 112253 171558 58712 167203 44238 162848 113662 109307 35528 80359 90478 115071 86123 6709 71649 145428 52820 77413 8118 171430 48465 83177 132363 39755 138127 80231 114943 135181 130826 32454 175657 58456 142354 93168 127880 64220 172711 25153 84458 119170 168356 55510 139408 110460 52564 146581 171174 33735 127752 113278 98804 94449 139280 61146 150808 72674 117505 43726 49490 143507 45135 163745 155035 17596 121732 156444 19005 92784 102903 63836 88429 24769 84074 55126 114431 4915 71009 120195 31942 154907 130314 11833 17468 150552 170790 92656 117249 28996 147606 83946 15931 169253 11705 164898 76645 150424 27459 160543 111357 96883 121476 151833 88173 63580 49106 3250 143123 93937 30277 15803 89582 64989 10168 85227 70753 119939 46160 31686 76517 47569 121348 33095 67807 102519 63452 38859 73571 122757 134285 158878 144404 56151 164642 76389 111101 72034 131339 151577 69088 163105 9912 148631 124038 35785 84971 21311 80616 105209 76261 125447 110973 155804 57432 97908 167332 50131 134029 80488 96371 71778 126728 151321 44239 167204 39884 138256 123782 35529 144020 80360 129546 104953 41293 115072 164258 71650 13615 28228 77414 8119 136719 23873 73059 48466 142483 138128 113535 109180 168485 55639 139537 51284 26691 71522 13487 52693 161184 33864 39628 113407 148119 80104 90223 139409 114816 174121 85868 81513 32327 27972 136463 171175 33736 166820 43855 117634 152346 127753 39500 9272 84331 69857 168229 110333 169638 105978 17725 150809 121861 127625 88558 39372 147863 123270 45136 69729 94322 79848 114560 5044 32071 56664 11962 87021 92785 117378 63837 137616 24770 172328 59482 85484 150553 156317 117250 63709 147607 123014 3379 98421 83947 44880 114304 89711 154780 31815 130187 140306 47698 82410 156189 166308 151834 69345 44752 10169 85228 159007 31687 154652 125704 43215 151706 88046 63453 73572 93810 15676 163234 89455 35914 134286 168998 129931 140050 76390 72035 57561 141459 126985 48851 124039 173225 134158 129803 139922 100855 125448 22721 96500 57433 102264 93554 162978 173097 50132 148504 35658 21184 129675 105082 51541 1714 71779 81898 28357 126729 13744 102136 8248 48595 44240 39885 35530 133902 109309 144021 80361 129547 164259 76006 155549 77415 136720 73060 83179 44112 3160 39757 162722 158367 45521 119300 80233 65759 75878 6583 155421 165540 146711 171304 19391 29510 113408 123527 84460 119172 153884 164003 26564 6455 110462 1522 32328 17854 27973 175531 161057 171176 97397 93042 137873 59739 143637 139282 155165 130572 105979 146455 131981 39373 108797 59611 45137 69730 118916 94323 129035 40782 150682 136208 87022 146327 43600 152091 137617 26 10426 89840 85485 110078 154909 150554 160673 121606 28998 127370 112896 3380 24643 83948 44881 94067 30407 114305 159136 31816 150426 125833 86766 23106 67937 92530 117123 151835 88175 24515 98294 15805 31688 130060 115586 111231 96757 82283 156062 33097 43216 153116 40270 138642 10042 173354 76391 100984 67681 116867 53207 63326 48852 69090 64735 45906 21313 129804 51670 150042 125449 71908 155806 131213 67553 8377 63198 73317 83436 162979 148505 129676 76135 6840 71780 81899 18239 165797 126730 112256 13884 167206 152732 39886 113665 123784 80362 31176 41295 6712 71652 52823 136721 171433 73061 156959 167078 138130 168487 119301 164132 114946 135184 175660 146712 142357 88816 74342 25156 133647 168359 143766 94580 55513 135056 61277 136465 146584 33738 142229 127755 113281 74214 108926 143638 5174 61149 175404 150811 117508 43729 103034 39374 147865 69731 87023 121735 92787 88432 137618 24772 73958 172330 167975 79722 10427 89841 4918 31945 130317 11836 170793 33354 131726 92659 78185 53592 147609 123016 44882 15934 89713 85358 130189 160546 135953 96886 23107 121479 67938 117124 151836 102650 112769 63583 88176 3253 89585 10171 109823 111232 86639 47572 33098 106877 67810 102522 38862 122760 142998 158881 76392 72037 151580 44498 163108 35788 158753 168872 80619 115331 51671 174636 1844 57435 67554 48725 83437 167335 89201 134032 158625 139796 165798 126731 13885 58716 167207 29768 138259 89073 123785 35532 55770 104956 90482 41296 100601 86127 159906 110720 13618 28231 52824 8122 142486 138131 113538 49878 109183 119302 55642 139540 135185 120711 130830 161187 122120 142358 127884 39631 113410 119174 80107 114819 110464 155295 43858 117637 127756 74215 84334 79979 163877 90098 61150 110336 17728 150812 175405 52440 121864 88561 69732 143511 118918 5047 36429 32074 11965 121736 131855 24773 59485 45011 118790 110080 144792 130318 125963 150556 136082 170794 33355 117253 127372 63712 3382 49238 147610 98424 94069 65121 154783 23108 47701 82413 127244 8763 88177 24517 89586 159010 46164 119943 154655 164774 125707 76521 150300 111233 121352 131471 102523 38863 108287 93813 15679 163237 35917 85103 134289 144408 154527 129934 41681 164646 72038 131343 18497 77802 102395 69092 158754 134161 105213 139925 100858 125451 131215 83438 132624 138388 148507 134033 158626 35661 21187 144152 105085 51544 100730 110849 1717 71782 131087 106494 67427 151325 28360 126732 13747 8251 13886 89074 39888 148379 123786 133905 109312 104957 80364 76009 159907 86128 8123 122249 132368 33996 44115 3163 39760 113539 88946 172844 20931 55643 80236 164134 75881 159779 6586 86000 71526 22340 140950 28104 171307 156833 58461 93173 88818 84463 119175 114820 139413 26567 75753 135058 61279 1525 32331 17857 27976 175534 72807 166824 162469 39504 59742 114692 61151 134930 52441 146458 48086 152222 59614 69733 55259 163750 114564 5048 105854 150685 43603 157858 55131 120200 154912 150557 170795 121609 112899 3383 24646 98425 94070 85360 27464 76650 125836 86769 92533 53466 8764 30282 15808 89587 105470 154656 31691 130063 86641 135827 96760 121353 57693 106879 92405 102524 38864 88050 93814 40273 10045 25799 144409 169002 56156 154528 164647 100987 125580 106751 67684 151582 9917 173229 45909 144281 21316 115333 51673 150045 71911 96504 155809 8380 63201 48727 93558 138389 148508 50136 129679 80493 76138 61664 135443 6843 71783 1718 106495 155681 77547 167209 29770 89075 31179 41298 115077 90484 100603 6715 145434 106367 171436 122250 167081 113540 138133 20932 119304 65763 26696 100475 75882 110594 140951 175663 28105 97529 146715 33869 142360 64226 88819 25159 94583 119176 55516 153888 114821 90228 75754 174126 17858 27977 146587 171180 121994 166825 127758 113284 162470 147996 59743 45269 79981 110338 150814 117511 43732 39377 123275 158 79853 56669 160805 121738 92790 127502 88435 157859 118792 79725 4921 60896 31948 154913 11839 125965 37712 136084 92662 112900 88307 98426 147612 118664 60768 105599 125837 160549 86770 96889 117127 166313 28874 127246 8765 63586 3256 10174 173486 130064 101116 47575 96761 131473 156066 67813 127118 88051 93815 25800 158884 134291 169003 144410 41683 140055 125581 72040 57566 141464 18499 116871 63330 163111 173230 35791 45910 168875 80622 150046 167338 68966 15425 162983 138390 134035 129680 80494 160037 106496 81903 165801 18243 13888 112260 162855 39890 138262 113669 31180 55773 129552 104959 145435 32589 13621 28234 136725 97658 122251 171437 156963 83184 142489 167082 49881 109186 94712 55645 139543 135188 130833 165545 77292 103294 39634 113413 119177 168363 94584 80110 22214 106112 156707 43861 117640 152352 162471 147997 59744 84337 45270 110339 169644 130577 17731 150815 121867 29259 88564 84209 69735 143514 40787 5050 32077 11968 87027 121739 141977 117384 137622 172334 59488 114438 60897 169388 144795 130321 150559 125966 136085 72425 131730 78189 127375 63715 15938 26057 109955 159141 21702 154786 31821 11712 86771 47704 24520 89589 159013 164777 101117 125710 111236 160422 131474 63459 118409 15682 163240 35920 129937 41684 115463 72041 155939 77805 151584 122636 69095 173231 158757 134164 45911 105216 80623 115335 100861 150047 160166 132627 44374 162984 138391 25545 134036 21190 105088 90614 51547 37073 71785 1720 96378 81904 131090 18244 28363 13750 8254 29772 162856 39891 109315 104960 129553 31181 80367 41300 76012 159910 36945 135317 106369 28235 33999 44118 128016 3166 39763 49882 158373 80239 114951 6589 106241 130834 155427 171310 19397 64228 49754 133652 84466 94585 119178 65637 90230 135061 6461 1528 17860 175537 27979 136470 117641 152353 162472 9279 88693 45271 94457 163881 114695 90102 169645 146461 147870 59617 94329 104448 139160 163753 5051 56671 11969 150688 117385 43606 24777 123149 157861 55134 89846 114439 60898 144796 154915 160679 121612 156324 107138 18885 24649 49242 123021 26058 21703 130194 11713 150432 125839 121484 23112 92536 88181 15811 89590 60642 169133 105473 130066 135830 96763 57696 106882 63460 108291 143003 93817 40276 138648 10048 134293 164650 41685 140057 100990 96635 106754 67687 18501 92280 151585 69096 93689 9920 21319 154403 129810 115336 164522 139929 51676 174641 71914 8383 63204 132628 83442 68968 93561 25546 76141 100734 37074 135446 110853 1721 96379 131091 67431 122381 171567 58721 167212 29773 113671 172976 129554 86132 159911 6718 71658 171439 122253 132372 113543 162729 138136 88950 49883 158374 143900 90359 86004 120716 155428 130835 140954 175666 161192 146718 156837 142363 93177 127889 88822 25162 55519 104705 26571 110469 106114 146590 171183 121997 97404 9280 113287 162473 98813 172592 59746 114696 75629 85748 32207 175410 117514 43735 103040 63973 113159 94330 118923 104449 40789 36434 76910 121741 92793 127505 88438 157862 94202 55135 79728 4924 110085 144797 169390 31951 11842 17477 125968 156325 92665 117258 49243 3387 118667 65126 15940 4796 26059 130195 52061 150433 160552 96892 72299 82418 151842 78063 63589 88182 122894 3259 10177 60643 134422 46169 119948 105474 140186 47578 22985 67816 38868 158887 27212 106755 92281 63333 98045 122638 163114 9921 148640 35794 168878 129811 135575 67560 63205 38612 132629 167341 93562 138393 148512 35666 134038 158631 45785 119564 80497 90616 37075 61668 160040 165804 171568 39893 138265 123791 4156 35538 133910 144029 55776 104962 135319 86133 71659 57185 130964 13624 28237 142492 167085 88951 162730 113544 148256 109189 55648 114953 164139 100479 135191 110598 101888 146719 156838 93178 152483 39637 88823 113416 49756 109061 168366 94587 80113 114825 61284 6463 110470 72812 117643 162474 88695 84340 69866 79985 114697 17734 160937 43736 88567 162 79857 139162 5053 134807 32080 11971 47963 33489 92794 98558 59491 89848 10434 60900 169391 150562 127378 102785 63718 167854 118668 159144 154789 76655 47707 166317 53471 151843 88183 8769 24523 89592 173490 159016 109830 164780 125713 150306 101120 86646 98174 15685 163243 35923 169007 154533 129940 125585 37332 135704 106756 155942 141468 151587 134167 168879 105219 164524 115338 100864 150050 125457 96509 106628 67561 93563 167342 162987 50141 21193 105091 90617 164396 51550 6848 1723 47195 71788 165805 18247 28366 126738 13753 77552 8257 29775 89080 39894 172978 35539 109318 80370 41303 76015 100608 86134 106372 57186 102017 97662 44121 128019 3169 39766 88952 109190 20937 94716 80242 6592 71532 165549 28110 146720 171313 122127 156839 58467 166958 19400 103298 84469 94588 153893 90233 75759 110471 6464 1531 130709 17863 77168 175540 23627 117644 152356 64103 162475 39510 88696 110343 85750 32209 150819 146464 88568 98687 59620 84213 163756 5054 85622 21962 32081 11972 150691 111624 156455 92795 117388 43609 102914 63847 172338 24780 94204 10435 114442 149154 60901 154918 17479 150563 72429 121615 24652 4798 159145 21706 11716 164909 125842 86775 121487 131606 92539 117132 88184 30288 15814 154662 130069 150307 101121 37461 111240 96766 121359 131478 18632 24396 10051 85110 27214 100993 125586 160298 72045 67690 98047 30032 99456 168880 45915 21322 105220 154406 115339 51679 125458 150051 110984 71917 151460 8386 38614 97919 44378 118157 25549 45787 115211 90618 100737 76144 1724 165806 67434 126739 167215 29776 89081 162860 39895 113674 31185 80371 139676 100609 61542 6721 32594 130966 126611 136730 8130 171442 132375 138139 123665 20938 75888 36821 86007 71533 106245 151076 175669 101890 58468 142366 19401 152485 148130 25165 133656 55522 51167 174132 36693 101762 146593 171186 97407 152357 113290 162476 39511 75632 81396 160939 48093 117517 43738 94333 118926 76913 87032 121744 117389 29136 88441 137627 123153 98560 79731 114443 4927 60902 31954 130326 11845 160683 72430 92668 151973 147618 69484 15943 159146 11717 72302 96895 121488 156200 33235 102659 63592 88185 3262 59237 143135 69356 30289 10180 60646 154663 31698 140189 111241 160427 135834 22988 47581 121360 131479 67819 63464 24397 158890 85111 169009 56163 140061 111113 82165 116877 92284 122641 163117 35797 158762 105221 80628 115340 150052 96511 102275 122513 167344 44379 173108 134041 158634 164398 160043 155688 81909 112266 39896 162861 138268 89082 144032 80372 104965 164270 41305 6722 86136 13627 28240 151205 8131 171443 34004 132376 83190 142495 49887 109192 20939 55651 75889 51296 86008 120720 140958 175670 146722 93181 39640 64233 113419 88826 133657 94590 129302 80116 90235 65642 139421 114828 174133 6466 77170 23629 97408 171187 117646 162477 88698 172596 84343 45276 163886 90107 95871 130583 56804 17737 127637 88570 39384 118927 94334 79860 114572 124691 85624 32083 56676 11974 121745 47966 92797 19018 29137 152102 102916 59494 157866 84087 79732 85496 60903 144801 95615 150565 72431 92669 127381 63721 49247 147619 143264 167857 154792 31827 105606 140318 150437 23117 47710 96896 72303 67948 151846 63593 24526 122898 159019 31699 140190 125716 135835 111242 57701 106887 151718 63465 108296 15688 163246 40281 35926 129943 41690 140062 155945 116878 134170 168882 80629 129815 105222 115341 100867 96512 126869 73328 83447 132633 167345 44380 162990 15432 35670 21196 129687 105094 80501 51553 160044 37079 71791 96384 131096 155689 28369 13756 8260 13895 112267 171572 44252 29778 89083 138269 162862 39897 172981 123795 133914 109321 144033 76018 71663 106375 155561 102020 97665 83191 132377 44124 3172 39769 162734 80245 139550 114957 86009 36823 135195 6595 22349 146723 171316 156842 88827 123539 133658 84472 164015 114829 6467 1534 17866 77171 175543 161069 136476 97409 171188 117647 64106 88699 148004 59751 45277 168242 79989 114701 110346 32212 150822 160941 146467 39385 108809 59623 104454 163759 40794 139166 21965 56677 11975 150694 136220 111627 47967 146339 156458 92798 117391 43612 141984 24783 98562 84088 94207 55140 65259 89852 154921 150566 125973 121618 151975 3392 24655 49248 4801 173622 26064 60776 31828 11719 150438 125845 160557 72304 47711 131609 67949 92542 53475 151847 127254 78068 98306 65003 15817 148901 85241 130072 164784 140191 51938 150310 96769 82295 18635 38873 122771 118416 40282 163247 10054 89468 25808 134299 140063 100996 125589 160301 72048 106760 82167 67693 126998 63338 99459 21325 105223 129816 51682 150054 71920 67565 53091 8389 122515 97922 162991 15433 148517 168755 129688 76147 160045 37080 96385 28370 126742 102149 171573 167218 152744 29779 39898 35543 94848 6724 71664 81783 171445 122259 97666 167090 44125 138142 164144 100484 71536 106248 101893 175672 142369 152488 103302 49761 84473 55525 129304 153897 30932 41051 139423 26577 36696 130713 81527 77172 136477 146596 142241 152360 113293 108938 79990 114702 105992 130585 175416 160942 117520 43741 167 40795 139167 114574 89981 26321 124693 5058 36440 21966 56678 111628 121747 156459 141985 19020 92799 127511 88444 63851 73970 24784 123156 98563 167987 89853 4930 95617 31957 130329 11848 92671 117264 49249 69487 26065 159149 125846 135965 96898 72305 131610 166322 53476 102662 8774 63595 3265 15818 10183 173495 109835 105480 150311 47584 131482 43229 18636 67822 151720 24400 143010 118417 40283 158893 144419 37337 121235 82168 131354 106761 67694 141473 19917 163120 9927 148646 99460 35800 158765 21326 154410 164529 150055 125462 67566 102278 97923 167347 44382 89213 162992 138399 173111 134044 80503 139808 96386 1728 131098 126743 171574 44254 39899 64492 162864 138271 89085 99204 35544 80375 129561 104968 164273 6725 110732 36953 57191 13630 28243 77429 8134 97667 122260 142498 128024 123669 109195 94721 168500 20942 55654 71537 165554 13502 151080 93184 39643 113422 88829 129305 80119 26578 36697 6469 81528 27987 77173 33751 162480 88701 84346 69872 168244 143651 79991 75636 36569 85755 17740 175417 63980 88573 84218 94337 40796 139168 32086 165170 76917 111629 136222 92800 19021 63852 123157 59497 65261 149159 85499 169397 130330 17484 150568 117265 127384 63724 147622 118674 89726 60778 159150 154795 130202 52068 101254 86780 47713 146085 72306 33239 107018 24529 49122 147494 148903 159022 31702 154667 140193 125719 135838 86652 22992 121364 63468 122773 73587 15691 64877 163249 89470 35929 154539 129946 115472 27219 92288 151593 102407 9928 99461 158766 134173 45920 80632 105225 100870 150056 125463 86396 57448 92160 38619 138400 148519 21199 45792 144164 105097 90623 51556 100742 160047 71794 131099 67439 28372 13759 102151 8263 97796 29781 39900 148391 172984 133917 109324 31190 129562 80376 164274 115088 76021 61547 81785 130971 13631 102023 77430 8135 3175 39772 123670 119315 80248 114960 51300 75893 135198 6598 28116 171319 19406 88830 25170 84475 143780 30934 164018 41053 65646 75765 36698 6470 1537 81529 17869 27988 175546 43871 127769 39516 59754 105994 101639 150825 160944 146470 152234 39388 59626 55271 61035 36442 150697 136223 117394 43615 102920 123158 172344 41 94210 134686 85500 154924 17485 150569 125976 121621 151978 24658 49251 147623 133149 118675 4804 173625 134558 154796 56424 11722 140322 125848 76662 37595 47714 131612 92545 117138 67952 151850 167733 15820 31703 154668 130075 140194 51941 86653 96772 121365 156077 92417 102536 108300 163250 10057 25811 35930 134302 85116 169014 56168 154540 41694 100999 160304 135711 72051 155949 131356 82170 67696 151594 64750 134174 144293 21328 129819 51685 150057 71923 131228 67568 77687 8392 157230 162994 148520 158639 139810 76150 135455 160048 13899 171576 167221 35546 94851 55784 41310 6727 36955 22481 52838 102024 171448 132381 167093 44128 162738 138145 88959 49892 123671 114961 139554 75894 120725 106251 52710 151082 28117 77303 175675 97541 146727 33881 156846 142372 29526 64238 25171 84476 55528 153900 65647 164019 114833 90240 75766 130716 77175 146599 23634 171192 33753 117651 152363 113296 64110 172601 59755 45281 143653 95876 145062 1410 130588 150826 160945 146471 156590 117523 43744 39389 123287 84220 45153 143525 118932 79865 139170 11979 115986 160817 121750 156462 33497 43616 19023 92802 88447 172345 24787 4933 144806 31960 11851 125977 37724 131741 92674 88319 98438 172217 44897 153388 169271 130204 37596 96901 121494 33241 117139 67953 151851 78072 88191 63598 147496 122903 3268 98310 44769 15821 10186 51942 47587 18639 67825 127130 147368 40286 25812 158896 164660 135712 47459 72052 57578 82171 116883 63342 118292 19920 163123 35803 21329 154413 51686 37212 57450 67569 122519 132638 167350 162995 134047 129692 80506 76151 106508 155694 97798 93443 138274 99207 104971 90497 6728 22482 57194 32601 13633 28246 52839 102025 8137 73077 117908 142501 167094 148265 109198 119317 55657 139555 114962 100488 106252 140964 13505 156847 93187 39646 113425 25172 119189 94596 153901 80122 6472 130717 81531 77176 33754 156719 43873 127771 162483 59756 108942 84349 45282 168247 75639 36572 85758 1411 56810 17743 150827 160946 88576 63983 147881 84221 118933 168119 94340 104459 32089 81275 101513 156463 19024 127515 102922 59500 157872 43 118805 55145 150571 125978 112913 63727 123032 44898 69491 153389 15950 26069 109967 159153 154798 31833 37597 47716 121495 107021 156207 166326 78073 127259 102666 88192 24532 49125 98311 159025 134432 140196 125722 51943 174908 135841 37469 15694 163252 89473 35932 129949 125594 82172 19921 15566 89345 173243 158769 134176 168888 80635 154414 105228 41568 139940 100873 125466 170297 57451 131230 67570 92163 167351 138403 15438 148522 173115 35676 21202 129693 105100 51559 160050 110864 71797 131102 28375 13762 8266 118037 64496 138275 99208 172987 35548 109327 21074 144039 55786 76024 57195 130974 142502 3178 39775 113554 168504 80251 100489 6601 106253 81660 140965 171322 156848 84478 94597 153902 129309 164021 1540 81532 130718 17872 52584 175549 29400 162484 172603 94469 75640 85759 81404 160947 146473 142118 63984 172475 59629 118934 5063 124698 150700 175293 111633 47973 117397 43618 141990 98568 157873 94213 65265 149163 110096 134689 95622 169401 154927 121624 72438 107150 151981 24661 147626 44899 143271 118678 69492 89730 4807 26070 134561 56427 11725 150444 125851 76665 47717 131615 107022 92548 151853 49126 73719 118550 15823 169145 31706 130078 164790 174909 96775 28760 122777 143015 40288 163253 10060 64881 134305 169017 101002 47461 96647 72054 155952 82173 92292 67699 151597 19922 93701 40160 99465 134177 21331 168889 154415 129822 51688 150060 71926 126876 8395 97928 15439 162997 148523 173116 35677 144168 129694 139813 90627 100746 76153 1733 131103 67443 13902 122393 171579 167224 99209 144040 129566 61551 71670 106382 130975 81789 52841 102027 171451 48486 44131 113555 138148 123674 148267 172860 143912 90371 100490 130847 81661 175678 142375 19410 127901 103308 49767 3911 84479 119191 168377 55531 90243 135074 81533 17873 52585 77178 146602 171195 33756 113299 162485 172604 75641 61167 145065 105998 130591 150829 175422 146474 117526 43747 103052 29273 113171 49511 59630 108816 84223 143528 36446 115989 175294 121753 117398 141991 19026 92805 88450 98569 172348 147755 118807 4936 31963 130335 11854 140454 17489 92677 117270 127389 69493 143272 118679 94086 153391 56428 115733 76666 150445 37599 96904 146090 107023 131616 117142 63601 49127 147499 3271 15824 10189 89603 65010 148908 130079 164791 101131 174910 47590 106895 67828 127133 102540 63473 73592 93830 64882 158899 160308 72055 92293 116886 151598 63345 15568 64754 163126 9933 89347 35806 21332 129823 51689 135587 170299 57453 102284 126877 77691 8396 167353 15440 138405 173117 134050 158643 119576 135459 131104 113684 138277 162870 35550 133922 21076 104974 61552 71671 130976 13636 28249 102028 48487 73080 142504 113556 109201 119320 55660 51305 120729 106255 97545 93190 103309 54123 152495 39649 113428 49768 109073 30939 104718 80125 6475 81534 27993 33757 166841 43876 127774 152367 59759 84352 1414 145066 95880 105999 81406 17746 12111 88579 63986 147884 123291 108817 94343 143529 79869 89988 134819 61040 32092 115990 156466 141992 172349 46 59503 144810 130336 125981 150574 37728 156338 18899 102797 63730 98442 133154 44901 153392 173630 159156 169275 154801 31836 56429 140327 76667 37600 72312 117143 151855 24535 122907 98314 118552 10190 65011 159028 134435 109842 125725 150318 174911 111251 22998 43236 8653 88067 98186 108305 15697 64883 35935 85121 154545 129952 115478 27225 125597 18515 92294 116887 44517 69110 64755 134179 80638 129824 105231 139943 100876 22742 57454 106640 92166 63218 38625 122523 97930 157235 93575 138406 148525 21205 45798 129696 105103 51562 47207 71800 131105 28378 13765 8269 162871 172990 35551 109330 94856 55789 90501 164280 51434 76027 135332 6732 8141 132386 117912 152624 3181 39778 45542 20949 80254 6604 71544 28122 13509 171325 166970 94600 119193 168379 104719 164024 75771 110483 135076 1543 17875 175552 161078 162487 39522 59760 36576 61169 145067 106000 56814 150831 160950 146476 132002 103054 63987 59632 45158 94344 69751 89989 36448 11984 115991 150703 136229 117400 43621 147757 24792 47 143402 94216 55149 65268 154930 125982 160694 121627 68086 112917 24664 147629 44902 114326 15954 4810 159157 169276 130209 11728 164921 101261 125854 121499 33246 107025 92551 88196 122908 89605 154674 130081 56302 150319 22999 96778 121371 82304 43237 127135 8654 40291 10063 173375 27226 101005 125598 47464 72057 116888 67702 147245 48873 44518 69111 30044 64756 168892 105232 51691 150063 110996 37217 47336 71929 57455 67574 102286 8398 38626 163000 45799 139816 115223 100749 76156 155699 131106 67446 97803 167227 64500 144043 90502 164281 86147 32606 81792 52844 102030 8142 171454 122268 44134 138151 162744 172863 20950 51307 75900 110612 71545 175681 72954 142378 148142 94601 55534 153906 164025 51179 56943 17876 52588 146605 23640 33759 113302 39523 88709 162488 59761 108947 119066 117529 43750 103055 84226 94345 139176 121756 117401 92808 88453 118810 55150 65269 114455 4939 110100 31966 11857 140457 101390 121628 107154 92680 44903 159158 134565 169277 115736 37602 96907 47721 121500 33247 107026 156212 166331 88197 63604 122909 3274 143147 10192 134437 130082 154675 31710 164794 51948 101134 135846 47593 121372 67831 102543 63476 98188 122781 163257 134309 85123 158902 56175 101006 111125 96651 151601 98060 48874 19926 15571 163129 40164 9936 124062 35809 158774 168893 129826 105233 41573 115352 125471 150064 51692 106642 57456 67575 126880 77694 167356 163001 138408 15443 134053 158646 73211 138280 99213 35553 21079 144044 129570 104977 90503 51436 5580 100622 81793 106386 13639 28252 52845 8143 73083 142507 117914 167100 162745 113559 172864 123678 109204 55663 51308 75901 130851 72955 93193 54126 39652 113431 64245 3915 172736 84483 119195 80128 1609 110485 6478 111894 23641 117658 166844 127777 113303 162489 123422 84355 163898 90119 110357 85764 106002 17749 12114 43751 127649 103056 88582 39396 79872 139177 32095 17621 101519 175298 111638 92809 152114 98573 49 59506 143404 20439 55151 65270 139049 149168 144813 130339 17493 150577 136103 72443 151986 63733 98445 69497 44904 118683 114328 163514 89735 154804 164923 150449 160568 146094 141739 53486 24538 59250 93962 114200 15828 159031 164795 125728 174914 131492 102544 63477 44648 93834 15700 173377 35938 85124 129955 18518 40165 89351 64758 99470 35810 134182 21336 129827 100879 150065 92169 67576 77695 53102 148528 173121 35682 21208 105106 164411 51565 71803 155701 28381 13768 8272 171584 113688 35554 84740 133926 109333 168638 115097 5581 76030 86149 71675 81794 155573 106387 67320 73084 167101 152627 3184 39781 123679 172865 148272 55664 80257 6607 86021 13512 52718 171328 54127 152499 29534 123551 94603 129315 135079 17878 175555 97421 72828 171200 117659 127778 88711 108949 59763 114713 85765 134951 150834 160953 146479 68345 39397 59635 94347 69754 168126 104466 124704 85637 150706 101520 37860 146351 156470 117403 43624 92810 98574 20440 79745 89864 163643 144814 95628 154933 17494 125985 121630 156342 3404 24667 73853 123039 98446 133158 94091 69498 153396 15957 4813 134567 159160 11731 150450 125857 101264 146095 107028 92554 141740 151859 59251 44777 65015 130084 150322 174915 96781 102545 10066 140075 125601 101008 47467 72060 106772 18519 67705 63350 98062 40166 64759 134183 105235 139947 115354 164540 110999 71932 96525 170304 67577 92170 8401 63222 97934 157239 163003 40038 84869 105107 139819 76159 155702 48620 167230 118044 152756 39910 113689 162875 35555 109334 80386 164284 5582 76031 135336 22490 71676 8145 171457 73085 152628 138154 148273 123680 20953 164156 120734 81667 13513 175684 97550 33890 142381 152500 54128 138026 168383 55537 129316 17879 146608 142253 117660 113305 162491 108950 139307 85766 61173 95885 145071 175428 160954 117532 43753 108822 84229 143534 168127 104467 26333 124705 17623 115995 150707 136233 121759 156471 88456 63863 73982 84101 167999 20441 118813 114458 4942 60917 95629 144815 31969 11860 101393 37733 92683 117276 98447 147633 73854 159161 85382 169280 31841 101265 135977 96910 131622 141741 151860 63607 3277 89609 10195 65016 148914 173507 109847 56306 130085 101137 135849 47596 67834 28767 63479 122784 163260 173379 158905 56178 121247 57587 116892 151604 15574 163132 148658 124065 35812 158777 168896 105236 129829 80643 139948 150067 125474 111000 96526 106645 67578 97935 167359 40039 89225 163004 138411 134056 164413 39911 138283 162876 172995 35556 21082 144047 104980 90506 164285 139692 51439 6737 110744 1612 13642 28255 77441 8146 161339 97679 142510 152629 162748 109207 20954 94733 55666 135209 86023 71549 130854 13514 101906 175685 52720 72958 93196 39655 113434 148146 25181 119198 94605 30945 80131 65657 139436 6481 27999 111897 97423 19289 117661 29408 113306 84358 69884 80003 75648 110360 17752 175429 160955 88585 108823 114587 139180 85639 32098 155063 165182 107286 24797 52 59509 94221 85511 60918 150580 117277 112922 63736 73855 114331 134569 21723 154807 130214 115740 164926 96911 131623 156216 141742 67963 166335 151861 24541 73727 44779 93965 69372 89610 65017 148915 159034 154679 164798 125731 121376 43242 127140 151733 63480 24413 118430 15703 173380 35941 129958 154551 28640 102419 69116 64761 124066 134185 158778 21339 41577 100882 125475 51696 111001 86408 102291 97936 25566 21211 80516 129702 105109 51568 100754 37094 71806 67451 28384 13771 8275 97808 171587 39912 138284 148403 109336 84743 144048 80388 115100 76033 86152 122273 73087 44139 117918 3187 39784 162749 119327 80260 164158 75905 6610 130855 155448 28128 171331 156857 39656 138028 133673 94606 143792 119199 30946 80132 153911 75777 56948 28000 175558 111898 161084 72831 166848 39528 88714 59766 114716 90123 75649 110361 101651 146482 53874 152246 108824 59638 158010 143536 55283 139181 21980 150709 101523 175302 37863 111642 92813 117406 43627 63865 123170 53 114460 110105 154936 17497 140462 136107 121633 72447 107159 63737 24670 83975 69501 89739 163518 4816 85384 11734 125860 101267 76674 33252 156217 92557 141743 117150 78083 93966 89611 134442 154680 174918 96784 121377 82310 156089 43243 92429 63481 10069 163262 134314 154552 56180 101011 47470 96656 106775 18522 67708 53234 48879 19931 40169 89355 148660 124067 105238 41578 71935 32868 8404 63225 97937 163006 158651 129703 139822 76162 47214 32740 28385 102164 171588 167233 68861 39913 113692 99218 172997 35558 84744 158523 119456 168642 159932 22493 161341 8148 171460 44140 167105 152631 138157 113564 148276 75906 86025 130856 28129 101908 175687 44012 142384 127910 29538 64250 3920 55540 114845 164031 75778 111899 146611 72832 171204 117663 127782 113308 162494 98834 25055 139310 61176 12119 160957 156602 117535 43756 103061 39401 84232 158011 79877 114589 110234 21981 155065 17626 160829 121762 92814 127526 88459 79749 114461 89868 4945 21853 31972 130344 11863 17498 136108 72448 131753 68093 92686 88331 24671 147636 73857 89740 130216 101268 121506 96913 117151 151863 88203 63610 3280 93967 15833 10198 65019 31716 140207 47599 43244 67837 8661 157499 10070 114077 163263 173382 158908 164672 66300 53235 63354 48880 69118 15577 163135 148661 25696 35815 168899 129832 80646 32869 106648 67581 63226 147124 97938 167362 40042 163007 138414 134059 164416 160061 145587 47215 73217 146996 167234 152760 39914 138286 89100 35559 84745 21085 144050 129576 104983 80390 51442 5586 1615 22494 67325 13645 28258 77444 44141 142513 167106 152632 148277 109210 168515 55669 114974 135212 120738 57078 175688 93199 29539 54132 39658 113437 143794 94608 168387 129320 80134 164032 51186 6484 85898 17883 72833 146612 156731 142257 162495 84361 69887 143666 61177 85770 169668 106008 17755 175432 150839 160958 152248 88588 39402 147893 85642 32101 56694 76932 107289 68222 152120 24800 73986 55 59512 20445 40683 144819 21854 130345 150583 125990 101397 136109 156347 63739 73858 123044 133163 89741 109979 134572 169284 154810 31845 62202 47728 96914 121507 131626 18780 67966 88204 24544 89613 159037 31717 130089 56310 164801 125734 150327 156091 67838 8662 157500 118433 15706 163264 173383 35944 158909 169028 129961 56182 125606 37353 135725 96658 72065 155963 151608 128424 173255 148662 134188 158781 21342 80647 100885 150071 125478 63227 147125 157244 40043 138415 15450 35688 21214 144179 105112 51571 110876 71809 28387 13774 52980 8278 39915 35560 133932 109339 129577 80391 90510 76036 61562 159934 110748 77445 97683 3190 39787 20958 80263 139568 86027 159806 6613 71553 57079 155451 171334 78726 64252 84490 133676 94609 129321 90254 51187 130730 175561 166851 43886 59769 94481 69888 61178 145076 106009 146485 68351 53877 88589 39403 59641 118946 168132 104472 65405 40812 5075 110236 32102 105881 116000 150712 111645 117409 43630 102935 63868 24801 56 118818 85515 130346 154939 160703 121636 131755 127400 112926 24673 153402 4819 169285 11737 125863 150456 47729 131627 92560 141746 98324 89614 134445 60666 169157 174921 96787 121380 157501 163265 10072 35945 154555 101014 160319 47473 96659 116897 67711 93713 9944 113951 139953 71938 170310 131243 8407 15451 138416 163009 35689 80520 100758 76165 160063 135470 1745 81929 67455 165827 13775 28388 52981 122405 171591 167236 133933 119459 90511 139697 115104 110749 71682 171463 146870 152634 138160 113567 148279 20959 119331 90383 57080 155452 28132 101911 175690 33896 142387 148151 84491 94610 55543 75781 101783 146614 171207 166852 152378 113311 59770 143668 139313 134958 22112 150841 160960 117538 142131 68352 43759 53878 113183 49523 123302 84235 143540 130475 17629 42222 150713 111646 121765 53750 152122 88462 24802 123174 4948 21856 31975 154940 11866 125992 72451 156349 92689 117282 68096 151994 112927 73860 118691 94098 153403 169286 164931 150457 96916 47730 117154 141747 166340 151866 63613 3283 69377 10201 75141 60667 174922 47602 106907 67840 63485 93842 163266 173385 134318 158911 154556 66303 72067 57593 77831 15580 163138 40173 25699 124071 74885 35818 168902 21344 129835 111006 71939 170311 106651 122534 147127 167365 25571 134062 84876 158655 119588 129707 80521 164419 76166 32744 155709 128170 138289 162882 173001 21088 119460 144053 104986 80393 115105 90512 51445 1618 71683 130988 13648 28261 142516 109213 119332 55672 104858 135215 155453 28133 175691 93202 44016 39661 138033 113440 109085 84492 94611 168390 55544 129323 80137 164035 75782 6487 106139 28005 111903 146615 166853 43888 162498 25059 59771 84364 139314 75654 134959 110366 17758 150842 175435 160961 156606 142132 68353 103065 53879 152251 88591 39405 143541 79881 134831 85645 32104 81290 56697 76935 37868 111647 59515 114465 17502 125993 150586 136112 160705 156350 68097 102809 112928 63742 108573 143285 94099 154813 140339 115746 76679 62205 96917 47731 67969 127274 24547 147512 93971 89616 159040 130092 140211 125737 174923 88079 63486 157503 118436 15709 163267 35947 158912 129964 66304 115490 125609 72068 96661 121254 155966 92306 77832 69122 128427 134191 21345 168903 129836 105243 80650 100888 111007 160193 22754 131245 29927 152892 40046 158656 21217 129708 105115 139827 66048 51574 110879 71812 131117 106524 155710 165829 28390 13777 8281 73221 128171 162883 113697 109342 158528 119461 144054 129580 76039 159937 57210 67329 102041 161346 142517 3193 39790 113569 45554 80266 139571 114978 6616 86030 71556 106268 171337 44017 166982 29543 78729 138034 25188 84493 164036 61309 81547 101785 175564 127787 39534 25060 148025 139315 75655 1427 46707 106012 150843 146488 132014 68354 74118 147897 59644 158016 143542 40815 130477 11996 150715 76936 175308 117412 43633 53752 24804 79754 154942 121639 131758 3413 24676 123048 133167 118693 4822 109983 11740 115747 125866 62206 121511 131630 92563 88208 93972 134448 85262 154686 164805 96790 121383 63487 157504 118437 93844 10075 134320 66305 125610 101017 135729 61950 160322 47476 121255 72069 106781 155967 67714 28647 102426 77833 147257 69123 30056 128428 74887 168904 21346 154430 150075 71941 67586 8410 63231 157248 15454 138419 163012 40047 25573 168776 115235 76168 110880 47220 145592 81932 18272 28391 171594 167239 152765 89105 35564 84750 129581 80395 65921 5591 110752 86159 130990 67330 8154 171466 122280 146873 138163 162756 123689 20962 104860 100505 75912 110624 86031 120743 28135 142390 54137 127916 78730 133680 143799 55546 104732 81548 77193 146617 142262 117669 152381 39535 113314 25061 119078 75656 110368 85775 169673 106013 150844 160963 117541 68355 43762 78474 84238 143543 90002 65409 81292 17632 42225 76937 175309 121768 107294 102939 152125 88465 73991 147770 20450 40688 4951 159298 144824 31978 130350 11869 165062 72454 92692 68099 123049 83982 50679 134577 62207 121512 47733 131631 18785 141750 127276 14430 88209 63616 122921 3286 147514 10204 75144 173516 134449 60670 154687 31722 130094 11613 47605 121384 67843 63488 73607 157505 118438 163269 173388 158914 144440 115492 150204 72070 102427 63360 128429 15583 163141 148667 35821 158786 129838 51704 125483 160195 155840 106654 63232 167368 29929 15455 138420 173132 134065 80524 139829 125355 86288 160067 47221 131119 126764 171595 138292 173004 60158 35565 21091 119463 104989 51448 100634 1621 13651 28264 102043 8155 97688 167112 142519 29673 162757 109216 94742 55675 164166 75913 93205 78731 39664 113443 64257 84495 129326 80140 51192 159683 6490 61311 81549 28008 117670 43891 127789 162501 123434 59774 84367 69893 139317 56828 17761 175438 160964 156609 29289 127661 152254 88594 168137 94358 143544 104477 79884 65410 110241 32107 56700 42226 102940 78347 98585 59518 114468 4952 134706 150589 68100 63745 83983 69509 154816 31851 150461 160580 37615 131632 107039 166344 14431 24550 49143 10205 75145 159043 130095 140214 125740 174926 150333 121385 131504 63489 157506 103965 15712 35950 158915 129967 115493 135731 96664 151614 63361 113956 134194 21348 168906 129839 105246 80653 100891 51705 131248 126893 63233 112419 152895 113828 134066 35694 21220 119592 105118 66051 51577 110882 47222 71815 32748 13780 8284 171596 147003 128174 113700 173005 35566 133938 109345 119464 65923 115109 76042 135347 71687 155585 57213 52858 142520 167113 44148 3196 39793 113572 148284 80269 139574 114981 164167 41202 110626 135219 6619 175695 171340 113444 25191 123563 109089 129327 164039 51193 110498 61312 56957 175567 136500 171212 142264 127790 162502 59775 119080 114725 139318 85777 46710 56829 150846 160965 146491 156610 53883 74121 59647 118952 40818 85649 56701 81294 42227 150718 111651 146363 156482 117415 19043 68229 43636 102941 123179 24807 62 26216 36335 21861 130352 154945 125997 136116 121642 24679 4825 31852 56445 11743 125869 150462 96921 92566 117159 151871 14432 122923 75146 124332 130096 125741 174927 150334 7260 135860 96793 18659 102557 122795 118440 103966 10078 163271 115494 140087 125613 101020 61953 47479 96665 72072 67717 53243 151615 113957 124076 25704 168907 105247 164552 51706 111011 71944 155842 67589 151487 8413 147132 163015 40050 148541 158660 66052 100764 76171 131121 67461 126766 77580 167242 113701 162887 173006 35567 158532 154177 71688 106400 126638 171469 138166 114982 41203 100508 106272 28138 97562 142393 166986 44021 138038 25192 133683 143802 55549 104735 41075 51194 149566 101789 111908 146620 142265 113317 162503 148029 40947 85778 46711 56830 27882 160966 156611 117544 43765 78477 84241 168139 45174 40819 26345 81295 56702 17635 97178 121771 33518 78349 127535 88468 98587 84113 168011 94232 79758 4954 60929 31981 11872 165065 37745 136117 160710 72457 92695 117288 98459 3417 108578 69511 50682 134580 135989 107041 141753 127279 88212 63619 3289 147517 59264 10207 134452 109859 130097 174928 7261 47608 96794 121387 67846 127151 147389 163272 173391 158917 80783 66309 150207 61954 37361 170445 106785 98075 30060 15586 163144 9951 35824 158789 105248 129841 41588 125486 111012 61826 92183 67590 126895 102302 167371 29932 89237 134068 158661 168780 66053 100765 86291 145596 106529 81936 67462 18276 165834 77581 28395 171598 29804 113702 162888 138295 158533 35568 21094 119466 104992 80399 154178 115111 139704 51451 6749 86163 1624 57215 13654 28267 52860 142522 29676 109219 20966 55678 114983 71561 175697 93208 44022 152513 39667 113446 64260 25193 133684 119210 143803 80143 149567 110500 6493 146621 117673 127792 152385 14946 123437 108963 84370 80015 90134 139320 110372 22119 169677 46712 17764 175441 97307 117545 43766 78478 152257 88597 39411 158021 168140 118954 40820 32110 130482 165194 121772 33519 92824 19045 53757 88469 123181 147774 59521 118826 55166 79759 26218 85523 31982 11873 91287 165066 150592 136118 131763 117289 63748 49274 133172 50683 109988 154819 41973 62211 160583 37618 141754 151873 24553 49146 159046 154691 140217 125743 7262 121388 151745 24425 157509 15715 163273 40308 173392 35953 129970 154563 61955 96667 121260 155972 77838 128433 9952 113959 163145 89366 74892 148671 158790 134197 21351 168909 56063 100894 125487 51708 86420 96539 131251 122541 157253 69000 113831 25578 158662 35697 21223 129714 105121 139833 51580 37106 110885 86292 160071 71818 131123 81937 13783 8287 97820 48634 148415 109348 144060 139705 76045 86164 102047 161352 122285 142523 29677 3199 39796 113575 162761 148287 55679 104865 80272 164170 75917 6622 135222 171343 78735 64261 138040 113447 133685 104737 129330 164042 75789 106146 77198 175570 161096 136503 33776 142267 152386 127793 14947 39540 123438 108964 119083 69897 110373 101663 175442 150849 160968 146494 78479 39412 59650 55295 65414 5084 81297 56704 150721 175314 33520 156485 92825 117418 43639 102944 127537 24810 123182 79760 65286 110117 46457 56576 154948 165067 91288 121645 107171 24682 147647 83987 143292 114344 4828 50684 26091 159175 56448 11746 164939 125872 150465 160584 96924 107043 131636 92569 141755 151874 49147 124335 109861 154692 130099 11618 125744 96796 82322 92441 88086 122798 10081 173393 154564 101023 160328 135735 47482 121261 72075 67720 77839 127025 53246 151618 98077 119724 150081 61828 71947 106659 57473 53118 8416 97949 122542 73356 163018 25579 80529 129715 125360 76174 110886 86293 1754 126769 167245 128178 64518 109349 60163 144061 154180 80401 57217 106403 81810 52862 161353 8160 171472 167117 29678 162762 138169 20968 104866 139578 75918 86037 130868 28141 142396 68617 64262 55552 114857 75790 81554 106147 28013 136504 171216 146623 117675 113320 14948 162506 98846 45305 114729 110374 27885 117547 68361 43768 24939 84244 45177 79889 65415 40822 110246 81298 17638 42231 150722 160841 121774 97181 92826 88471 24811 98590 4957 60932 85525 134711 31984 130356 11875 76815 72460 92698 88343 3420 98462 167886 143293 134583 21737 169295 56449 146111 121518 47739 107044 156230 131637 92570 166349 14436 88215 63622 49148 3292 15845 10210 124336 75150 173522 134455 85269 31728 47611 67849 127154 102561 88087 73613 122799 69258 114089 50429 25836 158920 164684 150210 121262 155974 33009 53247 151619 63366 15589 163147 124080 35827 129844 105251 80658 154437 150082 135608 18407 77712 8417 112424 167374 152900 138426 148545 25580 134071 158664 119597 96413 131125 77584 97822 113705 89112 64519 138298 4189 35571 21097 104995 154181 129588 90521 65928 164300 51454 1627 106404 13657 28270 44153 167118 162763 109222 94748 168527 55681 100512 86038 110631 13529 93211 39670 113449 109094 84501 119213 80146 149570 6496 85910 61317 101793 77200 136505 161098 33778 117676 127795 25068 84373 75663 110375 56834 17767 175444 156615 43769 68362 53888 152260 88600 24940 74126 45178 118957 69771 143550 114602 65416 26349 32113 111656 97182 131894 24812 172370 59524 26221 60933 46459 21866 165069 150595 63751 98463 108582 114346 89753 134584 130229 154822 56450 31857 140348 41976 160586 37621 121519 47740 141757 88216 24556 124337 25965 85270 159049 31729 130101 11620 125746 174932 150339 111272 82324 117036 151748 63495 147393 157512 69259 103971 30192 15718 173395 25837 35956 169040 129973 115499 125618 160330 96670 33010 18536 127027 122672 44538 64776 173267 158793 134200 80659 105252 154438 139964 100897 57475 18408 92187 126899 147137 93596 138427 148546 158665 21226 144191 80531 105124 66057 139836 51583 86295 160074 71821 81940 13786 8290 19689 68875 29808 39927 109351 133944 168656 154182 129589 41336 139708 76048 57219 52864 3202 152645 39799 80275 6625 71565 169937 126515 171346 166991 84502 129333 90266 61318 81556 175573 161099 142270 29424 162508 39543 148034 119086 94493 40952 75664 110376 46716 56835 77073 175445 150852 146497 156616 172499 59653 158025 143551 168144 45179 85655 81300 12005 165198 150724 101538 175317 156488 117421 92828 43642 78354 152133 49406 89882 65289 134713 130358 154951 165070 121648 43514 127412 24685 98464 49278 147650 133176 4831 159178 11749 41977 125875 37622 96927 156232 107046 92572 117165 88217 98336 25966 159050 169169 154695 174933 7266 96799 82325 156104 102563 63496 157513 118446 10084 163277 50431 173396 109736 80788 66314 164686 101026 61959 135738 47485 170450 72078 67723 98080 93725 44539 30065 89370 119727 80660 56067 86424 71950 18409 8419 157257 163021 113835 148547 168785 80532 139837 100770 76177 86296 37110 145601 67467 48638 122417 167248 19690 29809 113707 109352 133945 60166 144064 80404 154183 115116 41337 71694 57220 106406 81813 155592 102051 171475 142527 39800 113579 162765 138172 168529 80276 90395 75921 6626 169938 130871 28144 13531 171347 33908 142399 64265 148163 109096 94622 168401 143808 55555 129334 164046 41081 85912 106150 17897 140862 161100 171219 146626 117678 127797 113323 159563 169682 150853 27888 156617 43771 117550 78483 29297 113195 39416 49535 123314 84247 94366 55299 65418 5088 17641 121777 33524 92829 102948 152134 88474 172372 49407 147779 65290 4960 110121 36342 31987 11878 17513 76818 72463 92701 117294 152006 172244 49279 83991 167889 89755 50688 91164 41978 62216 96928 107047 117166 141759 102692 63625 3295 143168 10213 89627 25967 130103 47614 106919 43259 67852 18666 157514 59142 118447 163278 40313 158923 80789 154568 150213 135739 72079 57605 131384 77843 122674 118319 128438 15592 163150 9957 113964 124083 35830 21356 56068 129847 115373 5857 67596 77715 97953 142784 167377 93598 69005 173141 134074 158667 144193 80533 129719 139838 125364 1758 22637 165840 48639 19691 93470 162894 138301 25455 21100 144065 104998 41338 51457 110762 1630 71695 81814 155593 13660 28273 8164 73104 25327 109225 55684 104870 100515 86041 116398 68621 166993 93214 44028 78740 39673 113452 138045 172757 109097 143809 45437 129335 104742 80149 114861 75794 6499 17898 28017 126389 152391 127798 14952 84376 45309 143681 139326 159564 17770 150854 175447 43772 88603 39417 24943 147908 94367 79893 134843 32116 33525 131897 102949 53763 127542 24815 49408 59527 65291 130360 91293 165072 76819 150598 43516 102821 63754 73873 98466 167890 114349 36215 154825 150470 76691 160589 47743 96929 107048 33269 53507 88219 24559 93983 114221 159052 130104 164816 140223 150342 125749 47615 156106 117039 151751 73617 30195 15721 163279 173398 35959 109738 80790 129976 150214 125621 135740 72080 96673 155978 33013 92318 18539 77844 142913 163151 124084 74898 25712 134203 56069 100900 5858 51714 125493 61833 22766 67597 18411 77716 53123 112428 73361 167378 113837 138430 35703 21229 168787 105127 80534 129720 51586 125365 86298 71824 121010 22638 81943 131129 165841 13789 28402 8293 48640 162895 39930 109354 154185 164304 76051 81815 57222 87579 44157 3205 39802 45566 119345 20973 80278 100516 6628 86042 169940 71568 130873 106280 116399 171349 33910 166994 29555 113453 138046 25200 84505 143810 119217 94624 104743 90269 41083 75795 149574 17899 175576 87323 136509 142273 29427 84377 119089 45310 139327 26481 134972 159565 1439 146500 97314 132026 142145 29299 88604 24944 59656 158028 143554 114606 32117 42236 12008 150727 175320 131898 117424 43645 53764 102950 98595 24816 143426 154954 76820 121651 24688 147653 98467 167891 4834 159181 130233 11752 125878 160590 96930 121523 107049 92575 141761 88220 14441 118577 75155 124341 159053 134460 130105 154698 140224 41852 174936 96802 121395 88092 122804 10087 163280 15722 173399 35960 169044 80791 164689 115503 101029 125622 47488 57607 155979 67726 98083 147269 93728 89373 74899 124085 21358 154442 125494 51715 71953 77717 126903 8422 138431 163024 9831 148550 173143 35704 168788 21230 80535 115247 76180 22639 155723 131130 28403 68879 167251 152777 128184 89117 35576 109355 80407 129593 115119 159950 106409 102054 171478 44158 152649 138175 25329 60041 35448 20974 104872 100517 75924 28147 171350 142402 44030 127928 138047 148166 109099 133692 119218 168404 45439 55558 104744 90270 75796 85915 61322 81560 77205 146629 142274 117681 29428 127800 113326 172631 59785 143683 75668 61194 165330 27891 117553 92960 123317 158029 84250 69776 94369 143555 90014 26354 5091 85659 17644 12009 140609 175321 121780 156492 131899 88477 74003 172375 49410 114479 4963 110124 46464 31990 154955 11881 37754 72466 131771 92704 117297 152009 127416 98468 73875 108587 83994 118706 10344 134589 130234 91167 76693 96931 47745 121524 63628 3298 10216 114223 89630 65037 154699 31734 160463 47617 121396 67855 43262 102567 88093 63500 147398 59145 93857 118450 103976 158926 134333 144452 86556 160335 170454 57608 155980 63372 73491 69136 15595 163153 89374 35833 158798 21359 129850 92192 167380 93601 113839 173144 134077 144196 55943 66062 76181 121012 145605 131131 73235 48642 68880 128185 138304 21103 144068 105001 65934 51460 100646 6758 1633 106410 57224 131003 13663 28276 52869 97700 167124 113583 109228 20975 55687 75925 106282 57096 130875 33912 39676 113455 148167 84507 133693 168405 80152 65678 159695 6502 61323 22256 81561 17901 77206 52613 28020 126392 87325 166868 93089 29429 162513 39548 123446 84379 59786 159567 46721 169686 17773 27892 150857 77078 175450 117554 127673 88606 49539 147911 123318 158030 94370 168149 32119 165203 12010 101543 175322 97188 142019 98597 49411 147783 59530 143428 110125 159311 134718 130363 165075 17517 150601 136127 43519 112943 63757 73876 98469 123062 133181 26099 36218 154828 31863 91168 140354 41982 150473 47746 24562 93986 69393 20207 89631 159055 154700 41854 164819 125752 7271 131516 117042 88094 63501 122806 118451 44672 163282 15724 50436 35962 80793 154572 129979 90912 61964 72083 96676 121269 57609 155981 102440 63373 48899 89375 134206 119732 105258 115377 100903 86429 160208 18414 102312 157262 69009 142788 21232 105130 80537 51589 71827 22641 121013 155725 13792 28405 8296 48643 73236 68881 19695 113712 39933 60171 133950 154188 65935 76054 159952 135359 71699 52870 77463 87582 167125 3208 39805 113584 25331 80281 75926 6631 86045 169943 130876 116402 171352 156878 68625 44032 127930 25203 84508 94627 41086 75798 140867 77207 175579 161105 171224 142276 172633 59787 168278 119092 139330 26484 1442 150858 146503 92962 43776 78488 152267 137793 98726 147912 24947 59659 55304 139202 61068 140611 150730 146375 131901 117427 43648 78360 152139 147784 74 59531 110126 154957 121654 107180 152011 63758 24691 4837 50693 31864 11755 91169 150474 125881 96933 33273 92578 141764 117171 78104 172121 93987 134463 140227 174939 135872 96805 82331 151755 93859 89504 10090 35963 134335 164692 140099 101032 125625 47491 72084 121270 106796 155982 67729 93731 69138 113969 21361 105259 115378 90785 51718 111023 71956 22770 67601 18415 102313 126906 8425 14060 147144 69010 163027 35707 80538 51590 100776 76183 22642 131133 67473 8297 73237 167254 162899 4197 173018 25460 35579 144070 119477 41343 71700 87583 8169 171481 93347 44161 19568 152652 162771 138178 45570 143942 169944 28150 171353 142405 93219 127931 109102 45442 55561 164052 114866 85918 126394 146632 142277 93091 14957 113329 143686 139331 124857 61197 165333 126266 146504 132030 68370 117556 123320 24948 84253 118965 61069 159441 17647 12012 101545 121783 131902 78361 127547 88480 147785 49413 84125 168023 94244 114482 4966 31993 154958 11884 91298 72469 92707 73878 147657 123064 10347 134592 125882 136001 47748 121527 33274 141765 63631 3301 122936 59276 15854 65040 10219 148938 134464 154702 31737 130109 140228 11628 76568 174940 150347 47620 131518 67858 127163 102570 59148 30200 109743 158929 21490 86559 131390 93732 15598 163156 9963 124089 35836 158801 168920 129853 80667 154446 115379 51719 125498 37245 18416 67602 112433 167383 69011 15470 89249 113842 138435 148554 35708 134080 158673 168792 55946 80539 76184 100777 81948 67474 48645 68883 162900 138307 4198 109359 35580 21106 105004 80411 129597 41344 164309 51463 135361 1636 22515 57227 67346 13666 28279 87584 136770 8170 97703 138179 162772 148298 109231 55690 114995 75928 135233 71573 130878 93220 152525 127932 39679 113458 25205 109103 84510 80155 164053 6505 126395 136514 123449 84382 59789 168280 80027 163925 90146 75672 61198 159570 17776 175453 160979 88609 39423 3686 69780 143559 118966 55306 79899 139204 32122 12013 76953 1546 166615 59533 118838 55178 139076 134721 150604 43522 63760 112946 73879 108591 118710 110000 154831 130238 156240 162004 24565 20210 114227 65041 10220 124346 60686 159058 154703 130110 11629 174941 125755 160467 121400 67859 43266 117045 102571 151757 98216 147402 24437 89506 40320 15727 35965 109744 85151 169049 21491 80796 129982 90915 96679 93733 69140 9964 109616 60430 158802 134209 90787 139973 100906 125499 111025 61839 37246 96551 106670 92196 14062 63248 9836 148555 173148 158674 168793 21235 105133 55947 129726 51592 110897 47237 71830 22644 77594 13795 8299 68884 113715 148427 119479 154191 76057 100650 61583 159955 6762 142535 152654 39808 64401 25334 35453 104877 80284 139589 75929 159827 6634 81693 32507 13539 171355 72983 93221 44035 59918 94630 119223 149580 110513 175582 117686 142279 39552 49671 123450 59790 114740 61199 145097 17777 101675 150861 146506 39424 98729 59662 158034 69781 94374 55307 79900 150733 175326 126140 131904 117430 166616 43651 152142 127549 98601 134722 154960 121657 117302 127421 24694 73880 83999 89763 4840 36222 11758 164951 150477 125884 96936 156241 131648 92581 117174 162005 122938 159059 130111 140230 76570 96808 117046 92453 102572 151758 122810 163286 10093 109745 35966 129983 90916 164695 76442 101035 37375 47494 170459 131392 67732 48903 134210 80669 105262 56076 51721 5865 61840 71959 92197 8428 97961 163030 148556 35710 144201 55948 129727 76186 145610 121017 155729 18290 13796 167257 173021 154192 164311 86177 57229 52874 97705 171484 73112 19571 167129 44164 142536 152655 64402 138181 113588 25335 133826 104878 164183 86049 110642 169947 57101 116406 13540 28153 33917 142408 167001 25207 109105 133698 168410 55564 16497 51209 149581 85921 140871 28025 101804 175583 126397 87330 161109 171228 146635 113332 98858 108977 143689 139334 124860 134979 169691 81438 126269 117559 152271 49544 98730 24951 123323 84256 94375 110258 61072 17650 12015 160853 121786 166617 152143 88483 98602 118840 114485 4969 134723 46470 31996 154961 130368 11887 17522 165080 37760 72472 92710 88355 73881 147660 89764 85409 134595 130240 41987 91173 125885 146123 47751 121530 141768 18803 63634 3304 118584 89636 10222 173534 148941 60688 134467 154705 130112 140231 41859 135876 47623 82335 131521 67861 122811 59151 114101 163287 158932 90917 22902 121274 57614 106800 63378 48904 69142 93735 15601 163159 35839 168923 105263 129856 115382 164568 5866 135620 92198 122555 167386 9838 134083 119609 55949 76187 160085 81951 155730 126782 73241 19700 68886 89124 162903 138310 173022 60176 109362 21109 45702 119481 154193 105007 164312 51466 1639 13669 28282 52875 136773 142537 167130 138182 60048 109234 94760 55693 104879 75931 100524 86050 135236 107697 167002 39682 113461 109106 133699 84513 80158 164056 139463 16498 110515 6508 17907 132162 162519 84385 119097 26489 124861 110387 134980 145099 81439 17779 175456 107441 92967 88612 137798 98731 123324 139207 32125 140616 12016 76956 1549 121787 166618 98603 59536 94248 168027 118841 85538 46471 150607 43525 152016 63763 143306 154834 81055 31869 121531 33278 18804 127295 162007 24568 118585 10223 148942 60689 159061 11632 164825 150351 125758 160470 111284 43269 127167 63507 122812 59152 40323 15730 50442 109747 21494 154578 129985 125630 96682 93736 9967 173279 134212 21366 80671 139976 100909 111028 160214 37249 22775 102318 14065 63251 112437 97963 147149 142794 89253 168796 21238 105136 55950 51595 110900 71833 96426 155731 13798 8302 97835 73242 113718 158549 133956 119482 168668 144075 80415 41348 76060 6765 136774 87588 97707 73114 39811 162776 113590 45575 80287 55694 41220 139592 114999 100525 135237 6637 71577 126527 171358 107698 133700 59921 168412 16499 90278 164057 75804 5355 17908 175585 136518 117689 142282 93096 162520 49674 148046 94505 90150 124862 1448 165338 160983 146509 132035 68375 3690 108851 59665 110260 150736 101550 76957 175329 126143 131907 117433 92840 166619 43654 102959 79775 89894 16115 17524 165082 121660 107186 112950 24697 123069 10352 4843 11761 125887 121532 96939 33279 131651 92584 162008 98348 49162 20214 89638 114231 148943 85283 60690 31742 130114 11633 160471 96811 121404 43270 63508 24441 122813 40324 163289 10096 50443 169053 154579 164698 101038 86564 37378 47497 82209 155988 67735 102447 127040 93737 30077 138568 9968 124094 60434 109620 144332 71962 102319 8431 29949 163033 113847 35713 158678 80544 100782 160087 110901 96427 67479 126784 102191 167260 152786 113719 173024 133957 80416 41349 139721 71706 136775 171487 97708 44167 142539 162777 138184 123710 35457 94762 129474 164186 169950 13543 28156 142411 127937 148175 59922 109108 55567 139465 75805 5356 135110 85924 171231 146638 93097 117690 152402 113335 119099 168285 104625 139337 114744 159575 106034 160984 156629 92969 43783 117562 152274 39428 113207 98733 84259 118971 17653 12018 76958 121789 166620 19062 88486 24826 74012 4972 134726 31999 130371 11890 17525 165083 72475 92713 117306 84003 108596 143308 138953 89767 134598 96940 33280 141771 102704 63637 3307 10225 65046 60691 154708 160472 47626 131524 106931 43271 67864 147407 122814 40325 163290 158935 35970 169054 80801 76446 170463 22905 155989 106803 102448 93738 15604 163162 64790 113976 35842 168926 129859 154452 105266 90792 160216 67608 8432 167389 134086 158679 129731 139850 110902 86309 145614 155733 28413 89127 39941 138313 35586 109365 21112 168670 45705 119484 154196 129603 105010 51469 100655 110774 1642 71707 13672 28285 171488 167133 19575 35458 109237 94763 168542 55696 115001 75934 36867 169951 81698 130884 13544 33921 93226 167005 44040 39685 113464 109109 80161 5357 110518 6511 106163 28029 132165 93098 113336 98862 84388 75678 85797 169695 1450 81442 56849 17782 150866 175459 126273 160985 107444 43784 92970 152275 88615 39429 98734 158039 94379 79905 114617 134855 32128 81314 56721 12019 1552 121790 92842 166621 152147 24827 59539 118844 89896 114489 154965 150610 92714 43528 102833 88359 63766 89768 21753 154837 115770 150482 160601 96941 121534 156246 107060 117179 141772 43400 53519 63638 24571 98350 49164 93995 118588 10226 65047 159064 154709 76575 150354 125761 163291 15733 169055 129988 90921 76447 125633 135752 96685 121278 57618 92330 18551 48908 24315 9970 158808 134215 109622 56081 80674 154453 105267 115386 100912 51726 125505 135624 67609 89256 25596 21241 129732 105139 164444 51598 76191 71836 28414 13801 102193 8305 103602 35587 109366 119485 105011 129604 154197 115130 76063 155606 57234 102065 97710 39814 94764 119357 55697 80290 41223 36868 6640 169952 71580 130885 171361 93227 59924 143822 90281 16502 135112 130757 17911 140876 175588 126402 142285 127811 39558 143694 40967 75679 85798 110391 106036 155222 56850 146512 156631 92971 142157 137802 59668 133447 40839 85670 105908 150739 175332 101553 156503 117436 166622 43657 24828 83 79778 55185 16118 85542 134728 165085 121663 112953 24700 123072 167903 4846 81059 130245 11764 91178 125890 47756 121535 156247 33282 92587 141773 127299 24572 65048 60693 134472 164829 76576 135881 96814 156119 147409 163292 10099 21498 76448 150227 125634 101041 160346 47500 106805 67738 147281 73502 48909 69147 158809 144335 115387 164573 139980 125506 135625 71965 8434 63255 29952 89257 163036 113850 35716 80547 115259 86311 121023 126787 167263 113722 162908 39943 173027 109367 119486 154198 80419 100657 22523 106421 126659 8178 171490 44170 29696 162780 138187 113594 168544 129477 164189 41224 86055 96174 32514 116412 28159 142414 167007 64280 138059 148178 84518 59925 109111 168416 55570 104756 90282 155351 106165 175589 87336 146641 33795 39559 113338 55442 40968 124866 145104 56851 150868 92972 43786 117565 137803 98736 84262 94381 143567 26366 17656 12021 101554 175333 121792 166623 19065 88489 24829 168032 94253 55186 4975 26238 32002 56595 130374 11893 7538 72478 131783 92716 117309 112954 98480 123073 84006 118718 128837 89770 40584 134601 130246 125891 96943 107062 18809 102707 88233 63640 162012 3310 69404 15863 89642 148947 60694 154711 31746 130118 41865 76577 47629 96815 131527 67867 63512 147410 163293 158938 35973 109752 144464 101042 135754 37382 72094 155992 67739 127044 102451 63384 48910 69148 15607 163165 113979 35845 60438 144336 21371 129862 41609 115388 111033 155864 57492 14070 112442 167392 89258 134089 160091 121024 138316 173028 109368 21115 119487 105013 51472 100658 1645 131015 13675 28288 77474 8179 87593 136779 171491 167136 133833 109240 20987 55699 41225 164190 75937 100530 96175 116413 107703 142415 93229 167008 44043 127941 39688 113467 148179 168417 80164 65690 75809 110521 159707 6514 32387 101811 87337 136523 49679 84391 119103 40969 90155 139341 17785 150869 175462 160988 92973 127685 88618 39432 3695 147923 168161 85672 32131 81317 12022 165215 140622 101555 175334 1555 121793 131912 92845 172388 24830 59542 16120 114492 60951 56596 130375 165087 17529 150613 43531 112955 63769 108600 143312 167905 134602 154840 31875 140366 115773 150485 160604 96944 146130 121537 107063 88234 24574 98353 49167 93998 89643 25983 159067 154712 130119 41866 125764 156121 63513 24446 73632 163294 15736 154584 129991 164703 37383 135755 72095 96688 82214 106807 155993 131400 18554 102452 63385 153047 89387 9973 113980 134218 144337 168930 154456 100915 86441 126917 122562 93614 167393 138445 15480 25599 144209 21244 55956 129735 105142 164447 139854 51601 76194 86313 110906 71839 131144 13804 8308 103605 60183 133962 109369 154200 76066 71711 13676 28289 126661 102068 167137 39817 172901 133834 80293 55700 139598 164191 115005 100531 36871 6643 106295 130888 171364 156890 98994 168418 75810 5361 85929 17914 175591 101812 171236 142288 43916 168290 55444 104630 75682 106039 27905 146515 48143 156634 107448 92974 142160 88619 59671 158043 45197 143569 85673 81318 32132 140623 150742 146387 156506 117439 43660 24831 45069 118848 65307 110138 134731 165088 17530 121666 24703 98482 94127 143313 118720 128839 4849 31876 11767 115774 150486 125893 160605 37640 47759 146131 96945 131657 92590 117183 78116 49168 172133 93999 20220 89644 10230 60696 134475 76579 96817 121410 163295 10102 129992 140111 76451 101044 37384 22910 47503 72096 170468 67741 48912 113981 109626 154457 56085 160221 135628 71968 155866 67613 53139 8437 63258 147156 122563 29955 163039 15481 9846 113853 148565 35719 80550 125381 100788 86314 37128 135500 110907 71840 145619 67485 28418 167266 152792 103606 113725 162911 39946 35591 45710 80422 154201 71712 81831 106424 102069 171493 93359 167138 44173 142545 138190 143954 129480 100532 130889 28162 142417 167010 29571 103350 84521 109114 168419 55573 114878 81575 52627 146644 132170 127815 113341 98867 172646 75683 169700 81447 155226 92975 68382 117568 133451 84265 69791 81319 17659 12024 131914 166626 88492 74018 172390 147797 84137 45070 79782 89901 4978 26241 32005 11896 72481 92719 88364 98483 143314 40587 169316 81063 130249 140368 115775 37641 47760 96946 107065 18812 63643 3313 59288 20221 89645 40459 15866 173543 25985 134476 130121 154714 31749 11640 150359 135885 47632 121411 131530 67870 24448 122820 93872 163296 158941 35976 134348 105400 90926 76452 150231 111164 160350 72097 33030 53268 151640 24320 153049 15610 163168 35848 158813 21374 144339 129865 80679 56086 90798 51731 125510 160222 67614 77733 63259 167395 93616 9847 113854 134092 158685 119618 80551 164449 100789 76196 86315 155739 67486 28419 103607 162912 138319 35592 109371 21118 154202 129609 105016 90542 51475 1648 96306 67358 13678 28291 142546 19581 29700 148310 109243 94769 139600 164193 75940 71585 106297 101942 44046 152537 39691 113470 84522 168420 119234 80167 85931 6517 71457 106169 28035 126407 127816 29444 123461 84394 119106 80039 139344 81448 56855 17788 175465 142162 92976 29316 88621 147926 168164 79911 61082 32134 101558 1558 131915 39307 14714 49426 59545 110140 56599 105785 165090 150616 156380 43534 63772 59417 40588 134605 154843 140369 37642 121540 107066 18813 127304 102711 24577 98356 89646 15867 159070 154715 130122 11641 125767 135886 156124 43278 151769 137295 24449 73635 147414 122821 44687 40332 138704 15739 35977 158942 144468 80808 129994 135758 96691 72098 121284 155996 63388 69152 54678 9976 25730 158814 134221 144340 21375 90799 100918 125511 96563 106682 126920 63260 112446 167396 138448 89262 25602 158686 21247 105145 139857 51604 76197 86316 160095 135502 71842 155740 28420 13807 8311 138320 148439 154203 76069 61595 135374 81833 161376 97716 19582 167140 152666 29701 39820 162785 133837 143956 80296 164194 115008 6646 171367 68640 44047 98997 106170 28036 175594 136527 33800 142291 93105 29445 127817 39564 119107 55447 40973 124871 81449 56856 101687 150873 160992 146518 88622 147927 59674 118979 94386 79912 85676 134862 32135 81321 150745 175338 121797 156509 117442 43663 19070 147799 55191 65310 149208 26243 134734 56600 154972 165091 150617 160736 121669 117314 127433 63773 88366 24706 147671 123078 84011 143316 40589 4852 120132 31879 11770 164963 150489 125896 96948 92593 117186 102712 138833 40461 148952 130123 135887 96820 43279 18686 92465 102584 157534 10105 173417 134350 76454 125640 101047 135759 47506 121285 72099 82218 67744 18558 151642 127049 63389 69153 30086 89391 37259 71971 57497 131276 151514 8440 163042 25603 35722 70434 168806 139858 76198 86317 22657 121029 122438 167269 86189 71715 126665 136784 8184 97717 171496 167141 44176 39821 138193 80297 55704 129483 115009 110654 96180 28165 101944 97589 107708 142420 109117 94643 55576 110526 106171 77223 122054 171240 146647 29446 152411 113344 123463 108989 119108 104634 40974 145110 160993 117571 39437 49556 123335 59675 84268 45201 134863 81322 56729 17662 160865 166629 88495 172393 49428 45073 55192 79785 65311 40718 16125 89904 4981 26244 110142 32008 154973 130380 11899 165092 37772 72484 92722 152027 88367 123079 172265 108605 59419 94131 21761 31880 105659 17406 52118 37644 131661 107068 63646 162018 49172 122951 3316 138834 15869 154717 130124 47635 117059 67873 127178 73637 157535 44689 114113 163299 158944 35979 125641 37388 160353 135760 111167 170472 82219 131405 106812 15613 163171 138578 35851 144342 129868 80682 56089 164580 51734 77736 14076 167398 93619 9850 25604 134095 80554 129740 139859 76199 67489 28422 48660 93491 162915 138322 60188 109374 21121 144086 119493 80426 129612 105019 51478 174443 135376 1651 96309 13681 28294 171497 142549 152668 109246 129484 104891 164196 115010 75943 135248 122183 142421 39694 113473 168423 80170 114882 5366 6520 22274 17919 52631 146648 117700 84397 143702 104635 85806 110399 145111 17791 175468 160994 156639 88624 158048 133455 168167 45202 40847 32137 81323 1561 19072 166630 14717 49429 98615 59548 55193 79786 16126 65312 89905 85550 130381 165093 150619 7545 146264 43537 63775 123080 98487 69539 128844 134608 154846 130253 115779 160610 146136 121543 162019 24580 98359 49173 10235 40463 114242 15870 173547 25989 159073 130125 11644 76584 150363 125770 111296 156127 67874 151772 102586 63519 122824 93876 40335 15742 35980 119878 80811 154590 129997 37389 111168 96694 18560 14205 24324 122696 34443 54681 9979 173291 134224 168936 164581 100921 51735 22787 77737 53144 126923 14077 147161 167399 138451 9851 21250 105148 51607 86319 160098 71845 155743 67490 13810 8314 97847 54425 103611 138323 113730 158561 133968 119494 154206 76072 100665 131022 167143 152669 39823 162788 89009 148314 45587 143959 94773 80299 6649 71589 126539 171370 68643 29576 103355 45459 75816 85935 32394 106173 175597 52632 117701 142294 127820 29448 148058 94517 55450 134993 85807 48149 146521 132047 107454 68387 43794 88625 172523 59677 94389 65441 139220 81324 56731 32138 12029 150748 175341 131919 117445 166631 43666 79787 149211 110144 134737 154975 17536 150620 7546 121672 107198 88369 112962 24709 98488 147674 69540 4855 21763 120135 31882 11773 125899 121544 146137 96951 92596 151901 122953 15871 25990 134481 144600 130126 31754 11645 96823 121416 131535 63520 73639 122825 98232 59165 44691 10108 119879 80812 154591 150236 101050 135762 111169 47509 121288 67747 18561 151645 14206 8571 24325 93749 54682 153054 134225 168937 105277 111041 71974 131279 106686 77738 8443 97976 12528 163045 113859 25606 35725 158690 70437 164454 76201 100794 22660 121032 155744 13811 167272 133969 139733 174445 100666 106430 81837 131023 97720 171499 44179 162789 138196 113603 123722 55707 139605 28168 142423 68644 167016 109120 55579 75817 71462 56988 106174 77226 52633 146650 33804 29449 152414 113347 123466 124875 61215 110401 48150 107455 156641 43795 142167 117574 39440 113219 123338 84271 108864 40849 26375 110273 85680 17665 156513 88498 39312 49431 4984 149212 85552 32011 11902 37775 92725 117318 152030 127437 112963 147675 84015 138965 120136 130255 160612 146138 102716 63649 3319 138837 15872 25991 148956 134482 154720 130127 160484 47638 106943 67876 53402 137300 147419 157538 44692 40337 173421 158947 35982 144473 80813 76458 121289 18562 127053 14207 122698 54683 15616 163174 138581 113988 35854 129871 80685 56092 154464 115397 7035 57501 92213 67620 102332 112451 12529 89267 134098 158691 70438 119624 80557 129743 96440 121033 18306 28425 73256 68901 93494 54427 138325 35598 21124 144089 105022 51481 110786 1654 96312 42771 13684 28297 126669 161381 97721 142552 133842 109249 70182 75946 135251 57117 68645 167017 44052 39697 113476 88883 99002 168426 94647 80173 139478 61344 6523 28041 136532 122058 33805 156770 29450 84400 75690 110402 17794 175471 48151 142168 39441 123339 108865 79917 114629 139222 165224 1564 166633 92854 152159 49432 59551 149213 21893 130384 165096 17538 150622 37776 136148 107200 43540 63778 73897 108609 134611 120137 154849 140375 150494 121546 117191 53531 151903 102717 24583 98362 147548 40466 159076 130128 164840 125773 43284 117063 151775 53403 127182 73641 118472 15745 173422 169067 105407 130000 125645 37392 111171 96697 156002 92342 127054 34446 9982 89396 158820 134227 80686 154465 100924 125517 86450 7036 57502 131281 67621 12530 70439 21253 129744 105151 51610 71848 121034 155746 151391 13813 8317 73257 113733 35599 119497 154209 115142 76075 71720 106432 67365 167146 39826 113605 143962 119369 80302 135252 6652 86066 96185 71592 171373 44053 94648 70055 168427 45462 90293 85938 106176 175600 52635 126414 142297 43925 29451 64163 39570 55453 114758 75691 85810 146524 142169 152288 98747 123340 59680 158052 168171 150751 131922 117448 166634 43669 14721 123212 110147 21894 17539 72489 47896 121675 107201 88372 24712 59424 84017 44950 143322 94136 4858 31885 105664 11776 17411 52123 125902 121547 96954 92599 102718 122956 118601 40467 114246 144603 105536 11648 125774 111300 96826 43285 102590 53404 73642 44694 163304 40339 138711 10111 173423 119882 125646 101053 160358 111172 47512 170477 67750 18564 127055 53276 8574 147293 34447 93752 30092 134228 158821 168940 105280 125518 7037 71977 126927 102334 8446 63267 167403 163048 113862 89269 35728 105152 115271 22663 102206 167275 128208 162920 113734 173039 133972 109379 119498 154210 129617 100669 110788 131026 81840 67366 8190 171502 167147 44182 162792 138199 89013 55710 110660 22407 28171 77357 73002 142426 103359 138071 148190 109123 168428 94649 55582 104768 114887 85939 61346 17924 77229 52636 171246 146653 117705 127824 39571 113350 148062 65573 61218 48153 117577 29324 88629 84274 114631 65445 32142 17668 12033 116040 170990 43670 117449 166635 127568 88501 39315 49434 168044 94265 114503 16131 89910 4987 60962 134741 110148 21895 32014 11905 72490 131795 107202 92728 117321 73899 59425 84018 143323 105665 130258 115784 52124 72362 96955 156260 63652 147550 3322 143195 148959 134485 154723 31758 140249 11649 47641 72234 43286 67879 102591 63524 122829 59169 44695 118474 93881 158950 35985 169069 164714 150240 145885 63396 98108 34448 118346 15619 163177 113991 35857 168941 129874 56095 41621 135638 92216 63268 8447 147166 97980 89270 134101 158694 76205 22664 141274 93497 103616 138328 133973 21127 154211 105025 80432 51484 1657 96315 81841 131027 42774 13687 52893 28300 8191 89014 109252 70185 168557 20999 55711 75949 18053 13559 73003 39700 88886 113479 172784 45464 70057 119243 80176 65702 90295 75821 85940 159719 6526 71466 77230 28044 171247 156773 43927 127825 152418 148063 84403 65574 90167 61219 17797 175474 156645 43799 127697 39444 133461 65446 139225 76974 175346 1567 121805 48026 131924 166636 92857 39316 59554 118859 89911 139097 130387 150625 72491 43543 63781 162153 73900 98493 84019 108612 128850 89783 134614 154852 105666 17413 52125 150497 160616 96956 47770 121549 102720 24586 118603 167789 94010 15876 148960 159079 31759 130131 11650 150369 125776 160488 72235 53406 102592 77999 63525 137304 98237 73644 157542 163306 15748 154596 130003 105410 150241 111174 96700 145886 131412 63397 14211 93754 54687 113992 64806 9985 134230 164587 100927 106691 144221 21256 129747 105154 51613 76206 110918 37139 71851 13816 102208 8320 138329 173041 60195 109381 119500 115145 76078 174450 96316 71723 81842 42775 102080 161385 167149 39829 89015 35474 109253 70186 143965 80305 159848 6655 110662 171376 122190 156902 44056 167021 39701 113480 88887 84532 168430 45465 80177 114889 75822 110534 71467 56993 175603 52638 77231 142300 152419 127826 123471 168302 55456 65575 124880 61220 1466 146527 156646 68393 43800 29326 133462 59683 150754 146399 121806 131925 117451 166637 43672 113096 24843 143453 89912 149217 121678 88375 112968 24715 147680 108613 44953 128851 4861 120141 31888 105667 154853 11779 140379 52126 150498 125905 160617 92602 117195 78128 53535 88247 172145 122959 114249 148961 150370 96829 121422 156134 53407 151779 73645 44697 163307 10114 89528 173426 105411 140123 150242 101056 135768 47515 145887 156006 131413 67753 93755 153060 113993 134231 154469 105283 71980 67625 126930 8449 12534 167406 163051 9858 113865 35731 70443 80562 76207 125393 100800 121038 155750 67497 28430 167278 152804 54432 128211 162923 113737 109382 133975 158568 35603 80434 115146 110791 71724 42776 13828 171505 93371 167150 44185 142557 138202 70187 168559 55713 18055 28174 142429 167022 88888 148193 109126 84533 94652 168431 143838 55585 114890 81587 165485 17927 101825 146656 156775 113353 98879 139355 75695 135000 106052 156647 43801 117580 152292 88632 49565 123344 98751 84277 143582 26381 17671 12036 116043 121807 117452 166638 88504 74030 84149 79794 114506 4990 32017 11908 165101 17543 13049 37781 92731 112969 24716 73902 108614 143326 118733 89785 169328 111432 63655 3325 98367 59300 114250 138843 89657 154726 11652 47644 121423 67882 117068 102594 78001 73646 122832 59172 118477 158953 169072 119886 51871 101057 160362 135769 47516 145888 170481 73518 147297 98111 153061 15622 163180 35860 60453 158825 168944 129877 56098 80691 125522 7041 155879 131286 67626 8450 122576 147169 9859 134104 158697 100801 106565 67498 128212 162924 138331 173043 158569 35604 21130 144095 154214 129621 105028 139740 115147 90554 51487 1660 106437 13690 52896 28303 8194 13829 113610 133848 109255 55714 75952 61478 71597 73006 142430 152549 39703 113482 88889 148194 119246 80179 90298 61350 6529 17928 126419 77233 122064 166895 148066 84406 168304 80051 65577 90170 159594 135001 1468 17800 175477 77105 161003 68395 64040 137819 147938 123345 84278 158057 79923 116044 165230 66858 76977 1570 170994 166639 92860 59557 45083 118862 94269 79795 114507 21899 105797 130390 154983 17544 150628 156392 43546 112970 63784 147682 69548 143327 154855 105669 66602 115788 52128 96959 72366 121552 127316 24589 69420 114251 138844 159082 144608 11653 140253 125779 111305 72238 53409 88121 63528 59173 93885 64937 15751 89530 130006 105413 80820 160363 96703 145889 121296 82229 8579 63400 98112 34452 15623 9988 60454 158826 100930 125523 86456 160235 22796 96575 92220 158698 21259 105157 51616 76209 110921 71854 141278 13819 8323 93501 128213 152806 60198 109384 21131 139741 76081 100674 61607 67371 52897 102083 8195 167152 39832 162797 113611 133849 45596 143968 21003 80308 41241 135258 6658 106310 171379 44059 117838 103364 162669 88890 148195 123602 164078 65706 61351 165487 175606 62760 142303 39576 55459 65578 139357 90171 106054 27920 146530 132056 43803 59686 168177 118991 79924 116045 150757 175350 76978 62504 121809 131928 117454 166640 43675 102980 14727 74032 24846 143456 21900 154984 165103 160748 121681 107207 117326 88378 24718 147683 84023 118735 114380 4864 31891 11782 164975 150501 125908 72367 47774 96960 131672 92605 147555 98369 83895 118607 94014 65066 60711 134490 85304 31763 140254 52001 135899 72239 96832 33172 92477 151782 28817 59174 93886 10117 25871 35990 31635 105414 125652 101059 160364 47518 145890 121297 72111 156009 33044 67756 98113 48927 60455 144353 51745 71983 18442 8452 63273 161645 118223 167409 163054 15496 113868 35734 158699 168818 80565 76210 18314 28433 167281 152807 60199 133978 154216 80437 110794 86201 71727 67372 151270 102084 13831 171508 167153 44188 138205 168562 55716 164207 149733 61480 135259 28177 77363 171380 156906 142432 93246 109129 84536 70062 55588 16521 61352 171252 146659 156778 152423 113356 64170 109001 119120 90172 124884 117583 152295 39449 88635 147940 98754 133466 84280 168178 90044 17674 76979 150758 160877 146403 166641 14728 88507 39321 74033 147812 16137 89916 4993 110154 32020 11911 165104 47903 72496 156394 92734 152039 53667 162158 84024 89788 134619 85433 66604 111435 47775 72368 78132 63658 3328 148965 134491 154729 31764 130136 105543 140255 160493 47647 156138 67885 78004 137309 122835 73649 93887 114125 173430 158956 101060 125653 37400 135772 145891 14216 63402 93759 54692 15625 163183 35863 134235 168947 129880 56101 154473 80694 51746 160237 71984 67629 8453 63274 161646 147172 122579 167410 9862 163055 64683 173174 134107 129752 80566 139871 100804 76211 160109 86330 155754 28434 73265 132570 162927 138334 60200 133979 35607 21133 129624 105031 51490 1663 67373 42780 13693 151271 28306 77492 8197 13832 161390 148325 109258 70191 104903 115022 75955 36888 0
227.30/227.38	c Terminating MUSer ...
227.30/227.38	c CPU Time: 227.30

Verifier Data

OK	19442

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 0.93 1.00 1.05 5/184 15466
/proc/meminfo: memFree=31293880/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=4880 CPUtime=0 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 709 0 0 0 0 0 0 0 23 0 1 0 891852030 4997120 663 33554432000 4194304 5696331 140734841285920 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 1220 665 114 367 0 850 0

[startup+0.0265999 s]
/proc/loadavg: 0.93 1.00 1.05 5/184 15466
/proc/meminfo: memFree=31293880/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=9344 CPUtime=0.02 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 1975 0 0 0 2 0 0 0 23 0 1 0 891852030 9568256 1782 33554432000 4194304 5696331 140734841285920 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 2336 1785 114 367 0 1966 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9344

[startup+0.100604 s]
/proc/loadavg: 0.93 1.00 1.05 5/184 15466
/proc/meminfo: memFree=31293880/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=25104 CPUtime=0.09 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 6195 0 0 0 9 0 0 0 23 0 1 0 891852030 25706496 5711 33554432000 4194304 5696331 140734841285920 18446744073709551615 4208167 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 6276 5711 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.300553 s]
/proc/loadavg: 0.93 1.00 1.05 5/184 15466
/proc/meminfo: memFree=31293880/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=61848 CPUtime=0.29 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 16250 0 0 0 28 1 0 0 25 0 1 0 891852030 63332352 14714 33554432000 4194304 5696331 140734841285920 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 15462 14715 142 367 0 15092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61848

[startup+0.700479 s]
/proc/loadavg: 0.93 1.00 1.05 5/184 15466
/proc/meminfo: memFree=31293880/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=61848 CPUtime=0.69 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 16381 0 0 0 68 1 0 0 25 0 1 0 891852030 63332352 14845 33554432000 4194304 5696331 140734841285920 18446744073709551615 4400331 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 15462 14845 142 367 0 15092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61848

[startup+1.50033 s]
/proc/loadavg: 0.93 1.00 1.05 5/194 15497
/proc/meminfo: memFree=30863712/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=62904 CPUtime=1.49 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 16634 0 0 0 148 1 0 0 25 0 1 0 891852030 64413696 15098 33554432000 4194304 5696331 140734841285920 18446744073709551615 4400413 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 15726 15098 142 367 0 15356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62904

[startup+3.10104 s]
/proc/loadavg: 1.26 1.07 1.07 5/194 15497
/proc/meminfo: memFree=30843936/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=49384 CPUtime=3.09 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 22415 0 0 0 307 2 0 0 25 0 1 0 891852030 50569216 11950 33554432000 4194304 5696331 140734841285920 18446744073709551615 4399971 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 12346 11950 143 367 0 11976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49384

[startup+6.30046 s]
/proc/loadavg: 1.26 1.07 1.07 5/194 15497
/proc/meminfo: memFree=30823484/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=95932 CPUtime=6.29 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 36371 0 0 0 625 4 0 0 25 0 1 0 891852030 98234368 23541 33554432000 4194304 5696331 140734841285920 18446744073709551615 4417521 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 23983 23541 149 367 0 23613 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95932

[startup+12.7003 s]
/proc/loadavg: 1.68 1.16 1.10 5/194 15497
/proc/meminfo: memFree=30780884/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=112500 CPUtime=12.69 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 40517 0 0 0 1264 5 0 0 25 0 1 0 891852030 115200000 27686 33554432000 4194304 5696331 140734841285920 18446744073709551615 4380923 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 28125 27686 150 367 0 27755 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112500

[startup+25.501 s]
/proc/loadavg: 2.11 1.27 1.13 5/194 15497
/proc/meminfo: memFree=30805184/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=112500 CPUtime=25.49 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 40525 0 0 0 2544 5 0 0 25 0 1 0 891852030 115200000 27694 33554432000 4194304 5696331 140734841285920 18446744073709551615 4381173 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 28125 27694 150 367 0 27755 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112500

[startup+51.1003 s]
/proc/loadavg: 2.75 1.49 1.21 5/194 15498
/proc/meminfo: memFree=30568756/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=51.09 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41844 0 0 0 5103 6 0 0 25 0 1 0 891852030 120553472 29013 33554432000 4194304 5696331 140734841285920 18446744073709551615 4417500 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29013 150 367 0 29062 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117728

[startup+102.307 s]
/proc/loadavg: 3.50 1.91 1.37 5/194 15499
/proc/meminfo: memFree=29861564/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=102.3 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41872 0 0 0 10223 7 0 0 25 0 1 0 891852030 120553472 29041 33554432000 4194304 5696331 140734841285920 18446744073709551615 4417500 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29041 150 367 0 29062 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 117728

[startup+162.301 s]
/proc/loadavg: 3.80 2.26 1.52 5/194 15501
/proc/meminfo: memFree=28607772/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=162.3 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41894 0 0 0 16222 8 0 0 25 0 1 0 891852030 120553472 29063 33554432000 4194304 5696331 140734841285920 18446744073709551615 4300606 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29063 150 367 0 29062 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 117728

[startup+222.3 s]
/proc/loadavg: 3.93 2.60 1.68 5/194 15503
/proc/meminfo: memFree=27301780/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=222.3 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41902 0 0 0 22221 9 0 0 25 0 1 0 891852030 120553472 29071 33554432000 4194304 5696331 140734841285920 18446744073709551615 4417519 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29071 150 367 0 29062 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 117728

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

[startup+223.901 s]
/proc/loadavg: 3.93 2.60 1.68 5/194 15503
/proc/meminfo: memFree=27297192/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=223.9 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41902 0 0 0 22381 9 0 0 25 0 1 0 891852030 120553472 29071 33554432000 4194304 5696331 140734841285920 18446744073709551615 4301705 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29071 150 367 0 29062 0
Current children cumulated CPU time (s) 223.9
Current children cumulated vsize (KiB) 117728

[startup+225.507 s]
/proc/loadavg: 3.93 2.60 1.68 5/194 15503
/proc/meminfo: memFree=27266564/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=225.5 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41902 0 0 0 22541 9 0 0 25 0 1 0 891852030 120553472 29071 33554432000 4194304 5696331 140734841285920 18446744073709551615 4300606 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29071 150 367 0 29062 0
Current children cumulated CPU time (s) 225.5
Current children cumulated vsize (KiB) 117728

[startup+226.3 s]
/proc/loadavg: 3.93 2.60 1.68 5/194 15503
/proc/meminfo: memFree=27266564/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=226.3 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41902 0 0 0 22621 9 0 0 25 0 1 0 891852030 120553472 29071 33554432000 4194304 5696331 140734841285920 18446744073709551615 4417715 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29071 150 367 0 29062 0
Current children cumulated CPU time (s) 226.3
Current children cumulated vsize (KiB) 117728

[startup+227.1 s]
/proc/loadavg: 3.93 2.60 1.68 5/194 15503
/proc/meminfo: memFree=27260488/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=227.1 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41902 0 0 0 22701 9 0 0 25 0 1 0 891852030 120553472 29071 33554432000 4194304 5696331 140734841285920 18446744073709551615 4300638 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29071 150 367 0 29062 0
Current children cumulated CPU time (s) 227.1
Current children cumulated vsize (KiB) 117728

[startup+227.3 s]
/proc/loadavg: 3.93 2.60 1.68 5/194 15503
/proc/meminfo: memFree=27260488/32951124 swapFree=67054536/67111528
[pid=15466] ppid=15464 vsize=117728 CPUtime=227.3 cores=5,7
/proc/15466/stat : 15466 (muser) R 15464 15466 11621 0 -1 4202496 41902 0 0 0 22721 9 0 0 25 0 1 0 891852030 120553472 29071 33554432000 4194304 5696331 140734841285920 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/15466/statm: 29432 29071 150 367 0 29062 0
Current children cumulated CPU time (s) 227.3
Current children cumulated vsize (KiB) 117728

Child status: 20
Real time (s): 227.394
CPU time (s): 227.396
CPU user time (s): 227.297
CPU system time (s): 0.098984
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 117728

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

runsolver used 0.357945 second user time and 0.887865 second system time

The end

Launcher Data

Begin job on node133 at 2011-06-11 16:29:01
IDJOB=3493715
IDBENCH=82484
IDSOLVER=1969
FILE ID=node133/3493715-1307802541
RUNJOBID= node133-1307802541-15441
PBS_JOBID= 13551015
Free space on /tmp= 74076 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bc57sensorsp0neg-tseitin.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493715-1307802541/watcher-3493715-1307802541 -o /tmp/evaluation-result-3493715-1307802541/solver-3493715-1307802541 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493715-1307802541.cnf

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

MD5SUM BENCH= 4cbc17c0fba4366b08e82594de9ab9bd
RANDOM SEED=1941574436

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.74
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.834
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:      31295176 kB
Buffers:        281828 kB
Cached:        1140540 kB
SwapCached:      10420 kB
Active:         601924 kB
Inactive:       852156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31295176 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:           14484 kB
Writeback:           0 kB
AnonPages:       28724 kB
Mapped:          12308 kB
Slab:           137016 kB
PageTables:       5956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   204472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74056 MiB
End job on node133 at 2011-06-11 16:32:49