Trace number 3493431

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 330.246 330.261

General information on the benchmark

Namemus/marques-silva/
hardware-verification/g6bid.cnf
MD5SUM506b5f635b81c7e2a4dd5dbcee848ec4
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark209.295
Satisfiable
(Un)Satisfiability was proved
Number of variables40371
Number of clauses118192
Sum of the clauses size275780
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 278794
Number of clauses of size 339397
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.01	c *** MUSer: a MUS extractor ***
0.00/0.01	c *** release date: 2011210 ***
0.00/0.01	c *** release ref: f95464aa99ac ***
0.00/0.01	c *** built: 2011-Feb-10 00:59 ***
0.00/0.01	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.01	c 
0.00/0.01	c *** instance: HOME/instance-3493431-1307798864.cnf ***
0.00/0.01	c 
0.09/0.14	c Parsing CPU Time: 0.12898
0.09/0.14	c Running MUSer ...
4.29/4.36	c 0.00% completed ... 
20.49/20.56	c 5.01% completed ... 
23.99/24.00	c 10.02% completed ... 
37.18/37.21	c 15.05% completed ... 
48.69/48.70	c 20.05% completed ... 
113.38/113.49	c 35.05% completed ... 
124.78/124.87	c 43.90% completed ... 
147.08/147.19	c 48.91% completed ... 
181.48/181.52	c 64.89% completed ... 
212.28/212.36	c 71.71% completed ... 
300.87/300.92	c 92.46% completed ... 
325.77/325.85	c 97.47% completed ... 
330.17/330.21	c 100.00% completed ... 
330.17/330.21	c MUS size: 18221
330.17/330.21	s UNSATISFIABLE
330.17/330.21	v 107424 33645 117543 29290 88595 108833 35054 30699 90004 40818 5081 32108 11999 91413 2519 92822 3544 30571 104350 40690 110114 1174 31980 17506 91285 2391 92694 3416 34798 30443 109986 1046 31852 81038 91157 12884 52090 82447 834 92566 88211 3288 104094 30315 10206 21605 918 80910 91029 2135 82319 108321 114085 80782 90901 5978 34414 103838 30059 9950 89364 109602 35823 31468 105247 80654 90773 5850 86418 1879 92182 108065 83472 118184 93591 89236 21221 105119 31340 5722 1751 106528 83344 34158 29803 103582 89108 109346 84753 80398 31212 5594 3197 29675 54268 88980 84625 109218 31084 80270 114982 90389 5466 112036 107681 33902 759 29547 88852 109090 84497 30956 104735 114854 90261 5338 110499 85906 106144 32365 107553 33774 117672 631 29419 54012 88724 108962 84369 30828 110371 106016 32237 116135 91542 2648 107425 33646 117544 29291 108834 35055 30700 40819 1303 32109 91414 111652 2520 107297 3545 63 104351 30572 114470 4954 110115 17507 91286 2392 117288 3417 34799 30444 10335 4826 109987 31853 11744 91158 52091 2264 835 82448 92567 28907 88212 3289 30316 104095 10207 36080 21606 80911 91030 6107 2136 106913 82320 10079 114086 89493 40307 80783 90902 5979 106785 92311 108194 34415 93720 30060 89365 9951 35824 31469 105248 90774 5851 1880 92183 112421 83473 108066 93592 89237 84882 21222 31341 90646 5723 106529 34159 83345 118057 29804 89109 84754 109347 80399 31213 115111 5595 1624 3198 29676 88981 109219 31085 80271 114983 5467 106273 112037 107682 33903 117801 760 29548 88853 25193 109091 84498 35312 104736 30957 114855 5339 110500 85907 32366 106145 12257 91671 33775 107554 117673 632 29420 88725 84370 108963 30829 40948 90134 110372 1432 106017 32238 91543 116136 2649 33647 107426 117545 29292 88597 35056 108835 30701 40820 114599 5083 32110 105889 91415 2521 24809 3546 104352 30573 10464 40692 4955 110116 81168 31982 91287 2393 117289 3418 34800 30445 10336 4827 109988 31854 91159 11745 52092 2265 836 82449 92568 28908 3290 108451 30317 104096 10208 36081 70793 80912 31726 91031 2137 108323 93849 10080 114087 89494 40308 35953 80784 31598 90903 41717 106786 57600 116905 87957 108195 83602 34416 30061 103840 9952 89366 35825 105249 80656 31470 90775 5852 86420 1881 92184 112422 83474 118186 93593 89238 109476 31342 105121 5724 86292 12372 83346 34160 118058 68872 103584 29805 89110 84755 109348 21095 31214 104993 80400 5596 18149 117930 3199 29677 88982 109220 80272 104865 31086 114984 5468 33904 107683 117802 29549 761 88854 84499 109092 35313 30958 104737 114856 5340 110501 85908 106146 32367 107555 33776 117674 633 29421 88726 84371 108964 30830 90135 110373 1433 106018 81425 32239 91544 116137 2650 107427 33648 117546 29293 88598 108836 35057 55295 30702 40821 5084 110245 32111 81297 91416 52349 2522 3547 30574 104353 40693 110117 1177 81169 31983 91288 2394 117290 92697 3419 34801 30446 4828 109989 81041 31855 91160 12887 837 82450 92569 3291 104097 30318 21608 921 80913 91032 6109 2138 108324 69257 114088 89495 35954 90904 5981 87958 34417 30062 9953 89367 109605 35826 31471 90776 5853 86421 1882 92185 112423 108068 83475 118187 93594 89239 109477 21224 31343 90648 5725 86293 1754 83347 34161 29806 103585 89111 109349 84756 21096 80401 31215 5597 1626 3200 54271 29678 88983 109221 84628 80273 114985 5469 33905 117803 93210 762 29550 88855 35314 84500 109093 30959 104738 114857 5341 85909 110502 32368 107556 33777 117675 634 29422 88727 108965 84372 30831 90136 110374 106019 32240 116138 91545 2651 33649 29294 108837 35058 55296 30703 90008 40822 110246 32112 91417 52350 2523 107300 92826 66 30575 104354 40694 4957 110118 31984 91289 2395 92698 3420 34802 30447 4829 109990 1050 31856 11747 91161 52094 2267 838 82451 92570 28910 3292 30319 10210 36083 21609 80914 91033 6110 2139 106916 10082 114089 35955 90905 5982 57602 106788 87959 108197 83604 34418 93723 30063 89368 9954 31472 56065 105251 90777 5854 1883 92186 112424 83476 108069 89240 109478 84885 105123 31344 90649 5726 86294 1755 34162 83348 29807 103586 89112 84757 109350 104995 80402 5598 1627 106404 3201 29679 88984 109222 31088 80274 114986 90393 106276 33906 763 29551 88856 25196 109094 84501 104739 30960 114858 5342 110503 85910 32369 106148 91674 33778 107557 117676 29423 635 88728 84373 108966 30832 40951 90137 110375 1435 106020 32241 116139 91546 2652 107429 33650 29295 35059 108838 771 30704 40823 114602 110247 105892 91418 2524 104355 30576 10467 114474 40695 4958 1179 31985 91290 2396 92699 117292 3421 34803 30448 10339 109991 1051 31857 91162 11748 52095 2268 839 82452 92571 28911 3293 98335 108454 104099 30320 36084 70796 31729 80915 91034 2140 108326 93852 69259 10083 114090 35956 31601 90906 106789 92315 108198 34419 93724 30064 103843 89369 35828 56066 105252 31473 90778 5855 1884 92187 87832 112425 83477 108070 89241 84886 31345 105124 90650 5727 1756 106533 83349 34163 118061 68875 103587 29808 89113 84758 109351 21098 80403 5599 1628 81812 18152 117933 3202 29680 88985 109223 84630 104868 31089 114987 90394 5471 112041 33907 93212 764 29552 88857 109095 84502 35316 30961 104740 80147 114859 5343 110504 85911 106149 32370 17896 12261 33779 107558 117677 29424 88729 84374 108967 30833 40952 90138 110376 1436 81428 32242 116140 91547 2653 107430 33651 29296 108839 35060 55298 30705 90010 40824 110248 1308 81300 91419 52352 2525 107302 3550 30577 10468 40696 1180 81172 31986 91291 2397 3422 34804 30449 10340 4831 109992 1052 81044 31858 91163 12890 52096 82453 840 92572 28912 3294 104100 30321 36085 924 21611 80916 31730 91035 6112 2141 108327 30193 114091 35957 90907 5984 106790 116909 34420 83606 108199 93725 30065 103844 9956 89370 109608 35829 80660 56067 31474 90779 5856 86424 1885 92188 112426 108071 83478 89242 84887 105125 31346 90651 5728 83350 34164 29809 103588 89114 109352 84759 21099 80404 104997 115116 5600 1629 106406 117934 3203 29681 88986 109224 31090 104869 80276 90395 114988 5472 106278 33908 107687 765 29553 88858 84503 109096 104741 80148 30962 114860 5344 85912 110505 32371 107559 33780 117678 637 29425 88730 108968 84375 30834 90139 110377 1437 32243 106022 116141 91548 2654 33652 29297 88602 108840 35061 30706 55299 40825 90011 5088 110249 1309 105894 81301 91420 52353 2526 92829 88474 3551 69 30578 104357 10469 40697 4960 1181 31987 81173 91292 2398 3423 34805 30450 10341 4832 109993 11750 91164 52097 2270 841 82454 92573 28913 3295 30322 10213 21612 31731 91036 6113 2142 106919 69261 114092 89499 35958 90908 5985 92317 116910 87962 108200 83607 34421 103845 30066 89371 9957 80661 90780 1886 92189 112427 83479 108072 118191 89243 105126 80533 31347 90652 5729 34165 29810 103589 89115 84760 109353 80405 5601 1630 117935 3204 54275 29682 88987 84632 109225 104870 80277 31091 90396 114989 5473 106279 107688 33909 117807 29554 766 88859 25199 109097 84504 80149 104742 30963 114861 5345 85913 32372 12263 107560 33781 638 29426 88731 108969 84376 30835 90140 40954 110378 1438 106023 32244 91549 116142 2655 107432 33653 29298 88603 35062 108841 774 30707 55300 90012 40826 114605 5089 110250 1310 105895 81302 91421 52354 2527 92830 3552 104358 30579 40698 114477 4961 1182 31988 91293 2399 117295 3424 34806 30451 10342 109994 1054 91165 11751 52098 2271 842 82455 92574 3296 108457 30323 104102 10214 80918 31732 91037 2143 92446 108329 93855 114093 35959 31604 90909 57606 87963 108201 34422 30067 9958 89372 35831 56069 31476 90781 5858 1887 92190 112428 108073 83480 118192 89244 109482 105127 90653 5730 86298 1759 106536 34166 103590 29811 89116 109354 84761 104999 80406 5602 1631 81815 18155 29683 3205 54276 88988 109226 84633 80278 31092 114990 5474 106280 112044 33910 29555 767 88860 84505 109098 35319 30964 80150 114862 5346 110507 85914 32373 33782 107561 29427 88732 108970 30836 90141 114734 110379 1439 81431 32245 91550 116143 2656 107433 33654 29299 88604 775 108842 35063 30708 90013 40827 5090 110251 1311 105896 91422 52355 111660 2528 107305 92831 30580 10471 1183 31989 91294 2400 92703 3425 34807 30452 10343 109995 1055 81047 31861 91166 12893 2272 843 82456 92575 28915 3297 108458 104103 30324 10215 36088 927 70800 46207 80919 91038 2144 92447 108330 69263 30196 114094 35960 90910 5987 92319 83609 108202 34423 30068 103847 89373 9959 109611 35832 80663 90782 5859 86427 1888 92191 87836 112429 108074 83481 29940 89245 105128 90654 16875 5731 106537 34167 68879 29812 103591 89117 109355 84762 80407 115119 5603 1632 3206 29684 88989 109227 31093 104872 90398 5475 106281 33911 93216 768 29556 88861 109099 84506 30965 114863 5347 110508 32374 107562 33783 117681 29428 88733 108971 30837 40956 114735 110380 1440 32246 12137 91551 116144 2657 33655 29300 88605 108843 776 35064 30709 110252 1312 105897 91423 2529 88477 3554 72 30581 4963 1184 31990 81176 91295 2401 3426 34808 30453 10344 109996 11753 91167 2273 844 82457 92576 28916 3298 98340 108459 30325 104104 10216 36089 928 80920 91039 2145 106922 92448 108331 69264 30197 89502 114095 35961 21487 90911 5988 57608 92320 87965 108203 83610 34424 93729 103848 30069 89374 9960 35833 31478 80664 90783 86428 1889 92192 112430 83482 108075 89246 84891 105129 80536 90655 5732 96419 1761 106538 34168 83354 29813 103592 89118 84763 109356 105001 80408 5604 1633 3207 54278 29685 88990 109228 84635 31094 90399 86044 106282 33912 117810 29557 25202 109100 84507 104745 30966 90271 114864 5348 85916 32375 17901 33784 107563 29429 88734 108972 30838 90143 114736 110381 1441 32247 91552 116145 111790 2658 33656 107435 29301 35065 108844 30710 90015 40829 5092 110253 1313 105898 91424 111662 2530 3555 73 30582 114480 1185 31991 91296 117298 3427 34809 30454 10345 4836 109997 91168 11754 2274 845 82458 92577 28917 3299 108460 30326 104105 10217 36090 929 91040 2146 92449 108332 93858 30198 89503 114096 31607 90912 5989 92321 87966 83611 108204 34425 9961 89375 35834 90784 5861 86429 1890 92193 87838 112431 83483 29942 89247 109485 90656 16877 5733 86301 1762 83355 34169 103593 29814 89119 84764 109357 80409 115121 5605 1634 81818 117939 3208 54279 29686 88991 84636 109229 80281 31095 5477 106283 112047 33913 117811 29558 88863 84508 35322 109101 30967 114865 5349 85917 32376 12267 33785 68497 642 29430 88735 84380 108973 30839 90144 40958 114737 110382 22129 1442 32248 91553 116146 2659 107436 33657 29302 88607 778 35066 108845 55304 30711 40830 114609 5093 110254 1314 105899 81306 91425 52358 2531 107308 88479 3556 74 30583 10474 1186 31992 91297 92706 3428 34810 30455 10346 4837 109998 31864 91169 2275 846 82459 92578 28918 3300 104106 30327 10218 36091 70803 31736 91041 2147 92450 108333 69266 30199 89504 114097 50437 35963 90913 5990 37372 92322 34426 83612 30071 9962 89376 109614 31480 90785 5862 1891 108077 83484 89248 109486 105131 80538 5734 86302 1763 34170 103594 29815 89120 84765 109358 80410 105003 115122 5606 1635 29687 88992 84637 109230 104875 5478 106284 18031 33914 117812 29559 88864 84509 35323 109102 30968 80154 114866 32377 17903 33786 117684 29431 643 88736 84381 108974 30840 40959 114738 110383 1443 32249 91554 116147 2660 33658 29303 88608 779 35067 108846 104491 55305 30712 114610 110255 1315 105900 91426 1545 2532 92835 88480 30584 10475 1187 31993 81179 91298 92707 3429 34811 30456 10347 109999 1059 81051 31865 11756 91170 2276 82460 847 92579 28919 3301 98343 30328 104107 10219 36092 46211 931 80923 31737 91042 2148 106925 92451 108334 69267 30200 114098 35964 21490 80795 90914 5991 92323 87968 108206 83613 34427 93732 30072 89377 9963 35836 90786 1892 92195 87840 83485 108078 89249 84894 109487 80539 105132 90658 5735 86303 1764 34171 107950 68883 29816 103595 89121 84766 109359 31225 105004 80411 5607 1636 106413 54281 29688 88993 84638 109231 31097 80283 5479 86047 106285 33915 93220 29560 88865 25205 84510 35324 109103 104748 80155 30969 90274 114867 32378 33787 107566 117685 644 29432 88737 108975 30841 90146 114739 110384 1444 32250 91555 116148 111793 2661 33659 107438 29304 35068 108847 780 30713 5095 110256 1316 105901 91427 52360 1546 2533 88481 76 30585 10476 114483 4967 110128 1188 31994 91299 2405 92708 117301 3430 34812 30457 110000 1060 31866 91171 11757 2277 82461 848 92580 28920 3302 104108 30329 10220 36093 932 91043 51976 92452 108335 93861 30201 114099 21491 80796 31610 90915 5992 57612 92324 87969 83614 34428 108207 93733 30073 89378 9964 35837 109616 31482 90787 5864 1893 92196 87841 83486 29945 89250 84895 80540 90659 115252 5736 1765 106542 34172 103596 29817 89122 84767 109360 80412 31226 105005 5608 1637 81821 117942 54282 29689 88994 84639 109232 80284 31098 104877 106286 112050 33916 29561 88866 84511 109104 30970 104749 114868 5352 32379 17905 33788 68500 117686 29433 645 88738 108976 30842 90147 110385 1445 32251 91556 116149 111794 2662 33660 107439 29305 781 35069 108848 55307 30714 114612 5096 110257 1317 81309 105902 91428 1547 111666 2534 107311 88482 3559 77 30586 10477 4968 110129 31995 91300 2406 3431 34813 30458 10349 110001 1061 81053 31867 91172 2278 82462 849 92581 28921 98345 3303 108464 30330 104109 10221 36094 70806 80925 31739 91044 2150 92453 83743 108336 69269 30202 114100 50440 35966 21492 80797 90916 5993 92325 87970 34429 83615 93734 30074 89379 9965 109617 90788 5865 86433 1894 92197 87842 83487 108080 89251 84896 80541 16881 1766 34173 68885 118071 29818 103597 89123 84768 109361 80413 31227 105006 5609 1638 106415 117943 29690 88995 84640 109233 31099 80285 5481 86049 106287 33917 29562 88867 84512 35326 109105 30971 104750 90276 114869 32380 33789 646 29434 88739 108977 30843 114741 110386 1446 32252 91557 116150 2663 33661 782 35070 108849 30715 55308 104494 114613 110258 1318 81310 105903 91429 1548 2535 107312 92838 88483 30587 10478 110130 1190 31996 81182 91301 3432 34814 30459 10350 4841 91173 2279 82463 92582 28922 3304 98346 108465 30331 104110 36095 80926 31740 91045 2151 106928 92454 108337 69270 30203 89508 114101 50441 35967 21493 70679 90917 5994 57614 92326 87971 83616 34430 108209 30075 89380 9966 90789 1895 92198 87843 83488 108081 29947 89252 80542 5738 1767 34174 107953 29819 103598 89124 84769 109362 31228 80414 105007 5610 1639 117944 54284 29691 88996 84641 109234 31100 104879 80286 5482 86050 33918 117816 29563 88868 25208 84513 109106 30972 90277 114870 32381 12272 33790 107569 29435 647 88740 108978 30844 110387 1447 32253 91558 116151 2664 33662 107441 29307 35071 108850 783 30716 55309 114614 5098 110259 1319 81311 32125 105904 91430 1549 2536 107313 92839 88484 3561 30588 10479 114486 4970 110131 1191 31997 91302 2408 3433 34815 30460 4842 1063 91174 2280 82464 92583 28923 3305 30332 104111 10223 36096 46215 31741 80927 91046 51979 108338 93864 30204 10095 114102 50442 35968 70680 21494 31613 90918 5995 92327 116920 87972 83617 34431 108210 89381 9967 56078 90790 1896 92199 83489 29948 89253 109491 80543 115255 5739 86307 1768 106545 34175 68887 118073 29820 103599 89125 84770 109363 80415 31229 105008 5611 1640 81824 106417 29692 54285 88997 84642 109235 31101 5483 86051 112053 33919 29564 88869 84514 35328 109107 30973 80159 104752 90278 41092 114871 5355 32382 33791 68503 29436 648 88741 108979 30845 114743 110388 1448 32254 91559 116152 2665 33663 107442 29308 784 35072 108851 30717 104496 114615 5099 110260 105905 32126 91431 52364 1550 2537 33535 107314 92840 88485 3562 30589 10480 40708 4971 110132 1192 31998 91303 2409 92712 117305 3434 34816 30461 10352 1064 81056 91175 2281 82465 852 92584 28924 98348 3306 30333 104112 10224 70809 936 31742 80928 91047 51980 2153 92456 83746 108339 69272 50443 35969 21495 90919 5996 37378 92328 87973 34432 83618 30077 89382 9968 35841 90791 86436 1897 92200 87845 108083 83490 29949 89254 80544 90663 1769 116665 34176 107955 29821 103600 89126 84771 109364 80416 31230 105009 90535 5612 1641 29693 88998 84643 109236 20983 31102 104881 5484 86052 33920 93225 29565 88870 84515 109108 30974 104753 80160 90279 114872 5356 32383 33792 93097 117690 649 29437 88742 108980 30846 114744 1449 32255 91560 116153 2666 33664 29309 35073 108852 785 30718 104497 110261 1321 32127 105906 91432 52365 111670 1551 2538 33536 88486 3563 81 30590 40709 10481 4972 110133 31999 81185 91304 2410 117306 3435 34817 30462 10353 4844 31871 91176 2282 82466 92585 28925 3307 30334 104113 36098 31743 91048 51981 2154 106931 92457 108340 93866 69273 30206 89511 50444 21496 70682 80801 90920 5997 37379 92329 87974 108212 83619 34433 93738 30078 89383 35842 70554 90792 86437 1898 92201 87846 83491 108084 29950 89255 84900 80545 90664 115257 5741 1770 116666 34177 29822 103601 89127 84772 109365 31231 80417 5613 1642 54287 29694 88999 84644 109237 31103 86053 33921 29566 88871 25211 35330 84516 109109 30975 104754 114873 5357 32384 33793 107572 650 29438 88743 108981 30847 114745 110390 1450 32256 91561 116154 2667 107444 33665 29310 35074 108853 786 30719 104498 5101 110262 1322 32128 105907 91433 1552 2539 33537 88487 3564 82 30591 40710 10482 114489 4973 110134 32000 91305 2411 3436 34818 30463 40582 4845 1066 31872 91177 2283 82467 92586 28926 3308 30335 104114 10226 36099 70811 31744 91049 51982 2155 24443 83748 93867 30207 89512 10098 114105 50445 35971 70683 21497 80802 31616 90921 37380 57618 92330 116923 87975 83620 34434 108213 103858 9970 89384 80674 31488 90793 86438 1899 92202 87847 83492 89256 109494 80546 90665 41479 5742 86310 1771 106548 116667 107957 34178 29823 103602 89128 84773 109366 80418 31232 105011 5614 1643 81827 3052 117948 29695 54288 89000 84645 109238 31104 104883 5486 86054 112056 33922 117820 29567 88872 84517 35331 109110 30976 80162 104755 41095 90281 114874 32385 33794 107573 29439 651 88744 108982 30848 114746 110391 1451 32257 91562 116155 2668 33666 107445 29311 787 35075 108854 55313 30720 104499 5102 110263 81315 32129 105908 91434 52367 1553 2540 33538 3565 83 30592 40711 110135 1195 32001 91306 2412 92715 3437 34819 30464 4846 1067 81059 91178 2284 82468 855 92587 28927 3309 30336 104115 10227 939 31745 91050 51983 2156 69275 89513 10099 50446 35972 21498 90922 5999 92331 34435 83621 89385 9971 70556 56082 90794 1900 92203 83493 108086 29952 89257 109495 80547 90666 115259 1772 116668 34179 107958 29824 89129 84774 109367 31233 105012 90538 5615 1644 106421 3053 29696 89001 84646 109239 104884 5487 86055 33923 93228 29568 88873 35332 84518 109111 30977 80163 90282 114875 32386 33795 107574 68507 93100 117693 29440 652 88745 108983 30849 114747 1452 32258 91563 116156 2669 33667 107446 29312 788 35076 108855 30721 55314 104500 110264 32130 105909 91435 52368 1554 2541 33539 107318 92844 88489 3566 24829 108727 30593 10484 40712 114491 4975 110136 32002 105781 81188 91307 2413 3438 34820 30465 10356 4847 31874 91179 2285 856 82469 28928 3310 98352 30337 104116 36101 940 31746 91051 51984 2157 106934 83750 108343 69276 30209 10100 50447 70685 80804 6000 37382 57620 92332 116925 87977 83622 34436 108215 93741 89386 9972 35845 31490 90795 1901 92204 87849 83494 108087 29953 89258 84903 109496 80548 115260 5744 1773 116669 34180 68892 118078 29825 89130 84775 109368 80420 31234 5616 1645 106422 3054 54290 29697 89002 84647 109240 20987 104885 86056 2926 33924 29569 88874 25214 84519 35333 109112 30978 41097 114876 90283 32387 33796 107575 653 29441 88746 108984 30850 1453 32259 116157 91564 2670 107447 33668 29313 35077 108856 789 30722 104501 5104 110265 32131 105910 91436 1555 111674 2542 33540 107319 88490 3567 85 30594 40713 10485 4976 110137 1197 32003 91308 2414 3439 34821 30466 40585 1069 31875 91180 2286 82470 857 28929 3311 104117 30338 36102 941 91052 51985 2158 82342 83751 30210 114108 50448 70686 21500 80805 31619 90924 37383 92333 87978 83623 34437 108216 93742 103861 9973 89387 35846 90796 1902 92205 87850 29954 89259 80549 41482 90668 5745 86313 1774 106551 116670 107960 34181 29826 103605 89131 84776 109369 31235 80421 90540 1646 81830 3055 117951 54291 29698 89003 84648 109241 20988 104886 5489 86057 2927 33925 29570 88875 84520 35334 109113 30979 41098 114877 90284 5361 32388 33797 93102 29442 88747 35206 108985 30851 85801 1454 32260 116158 91565 2671 33669 107448 29314 790 35078 108857 55316 30723 104502 90028 5105 110266 1326 81318 32132 105911 91437 52370 111675 1556 2543 33541 86 30595 40714 110138 1198 32004 91309 2415 92718 34822 30467 4849 1070 21757 31876 91181 2287 82471 28930 3312 30339 104118 36103 31748 91053 51986 2159 69278 30211 10102 114109 21501 90925 6002 116927 92334 34438 83624 93743 9974 89388 35847 70559 90797 86442 1903 92206 87851 108089 29955 89260 80550 41483 115262 90669 1775 116671 34182 107961 29827 89132 84777 109370 80422 31236 16762 90541 5618 1647 106424 3056 29699 89004 84649 109242 104887 5490 86058 2928 33926 93231 29571 88876 109114 30980 104759 41099 114878 90285 32389 2800 33798 117696 655 29443 88748 108986 30852 114750 22142 1455 32261 116159 91566 2672 33670 107449 29315 35079 108858 791 30724 104503 55317 110267 1327 81319 32133 105912 91438 52371 1557 2544 33542 92847 3569 24832 108730 30596 10487 40715 114494 110139 1199 32005 81191 105784 91310 2416 34823 30468 40587 10359 4850 110011 31877 81063 91182 2288 859 82472 92591 28931 3313 30340 104119 36104 31749 91054 51987 2160 106937 83753 108346 69279 30212 114110 89517 50450 35976 70688 31621 90926 6003 92335 116928 108218 83625 34439 103863 89389 9975 35848 80679 90798 5875 1904 92207 87852 108090 29956 89261 84906 80551 115263 1776 116672 107962 34183 118081 29828 89133 84778 109371 31237 90542 5619 1648 106425 3057 29700 89005 84650 109243 20990 104888 5491 86059 2929 33927 29572 88877 25217 35336 109115 30981 104760 41100 114879 32390 2801 33799 93104 68511 656 29444 88749 108987 30853 90158 1456 32262 116160 91567 2673 33671 107450 29316 35080 108859 792 30725 55318 104504 110268 1328 81320 32134 91439 1558 111677 2545 33543 92848 24833 3570 30597 40716 10488 110140 1200 32006 91311 2417 3442 34824 30469 10360 40588 110012 1072 31878 91183 2289 860 82473 28932 3314 104120 30341 91055 2161 47633 82345 83754 30213 50451 35977 70689 21503 90927 6004 92336 87981 83626 34440 108219 103864 9976 89390 35849 80680 90799 1905 92208 83498 29957 89262 109500 80552 86316 1777 106554 116673 34184 107963 118082 29829 103608 89134 109372 84779 31238 90543 1649 81833 3058 117954 29701 89006 109244 84651 20991 104889 5492 86060 106298 2930 33928 29573 88878 35337 109116 30982 90287 41101 114880 5364 32391 2802 33800 107579 93105 29445 88750 35209 108988 30854 85804 1457 32263 91568 116161 2674 33672 107451 29317 35081 108860 793 30726 104505 90031 110269 1329 32135 105914 91440 52373 111678 1559 33544 92849 88494 108732 30598 40717 4980 110141 1201 32007 105786 91312 2418 92721 88366 3443 34825 30470 10361 40589 110013 1073 21760 31879 91184 2290 82474 861 28933 3315 30342 104121 36106 945 31751 91056 51989 2162 82346 83755 69281 30214 10105 21504 90928 116930 92337 34441 83627 103865 9977 89391 35850 80681 90800 86445 1906 108092 83499 29958 89263 80553 41486 115265 1778 116674 34185 107964 29830 103609 89135 109373 84780 80425 31239 90544 5621 110782 1650 29702 89007 84652 109245 80297 115009 5493 86061 2931 33929 93234 29574 88879 35338 109117 84524 104762 30983 114881 90288 5365 2803 33801 107580 117699 29446 88751 108989 30855 114753 1458 32264 116162 91569 2675 33673 107452 29318 35082 108861 794 30727 104506 5109 110270 1330 32136 105915 91441 52374 111679 1560 33545 88495 3572 90 30599 40718 4981 110142 1202 32008 105787 81194 91313 52246 2419 92722 3444 34826 30471 40590 110014 21761 31880 91185 2291 862 82475 28934 3316 30343 104122 36107 31752 91057 51990 2163 106940 108349 83756 69282 30215 10106 89520 50453 70691 90929 6006 37388 92338 116931 108221 34442 83628 93747 103866 89392 35851 70563 90801 5878 86446 1907 92210 108093 29959 89264 84909 80554 115266 1779 116675 34186 107965 118084 103610 29831 89136 84781 109374 31240 90545 5622 1651 106428 29703 89008 84653 109246 80298 104891 86062 2932 33930 117828 29575 88880 109118 84525 30984 104763 114882 5366 110527 2804 33802 93107 29447 88752 108990 30856 114754 85806 22146 1459 32265 91570 116163 2676 107453 33674 29319 35083 108862 795 30728 104507 90033 5110 110271 1331 32137 91442 1561 111680 33546 88496 24836 3573 91 108734 30600 40719 10491 114498 110143 1203 32009 105788 91314 2420 117316 92723 34827 30472 40591 10363 4854 110015 21762 31881 91186 2292 863 82476 92595 28935 3317 30344 104123 80939 91058 2164 108350 83757 30216 10107 50454 35980 70692 46099 90930 6007 92339 87984 12655 34443 108222 83629 103867 89393 35852 31497 90802 5879 86447 1908 92211 108094 29960 89265 109503 80555 86319 1780 106557 116676 34187 107966 118085 29832 89137 84782 109375 31241 80427 16767 90546 1652 81836 117957 29704 89009 109247 84654 104892 80299 86063 106301 33931 29576 88881 35340 109119 30985 104764 90290 114883 111937 2805 33803 93108 29448 660 88753 35212 108991 30857 114755 85807 1460 32266 91571 116164 2677 33675 107454 29320 35084 108863 55322 30729 104508 90034 5111 1332 32138 81324 91443 52376 1562 111681 2549 33547 88497 3574 108735 92 30601 40720 110144 1204 32010 105789 91315 2421 88369 3446 34828 30473 40592 4855 110016 21763 91187 2293 864 92596 28936 3318 30345 104124 46228 948 31754 80940 91059 51992 2165 82349 83758 108351 69284 30217 10108 114115 35981 31626 90931 6008 116933 92340 87985 34444 108223 83630 103868 89394 35853 90803 5880 1909 108095 29961 89266 15487 109504 80556 41489 115268 86320 1781 116677 34188 107967 29833 103612 89138 109376 84783 80428 31242 90547 5624 1653 3062 29705 89010 109248 84655 31114 5496 86064 33932 117830 93237 29577 88882 35341 109120 30986 104765 114884 90291 2806 33804 117702 661 29449 88754 108992 30858 16384 85808 22148 1461 32267 116165 91572 2678 33676 107455 29321 35085 108864 30730 104509 55323 90035 110273 1333 32139 91444 52377 111682 1563 2550 33548 92853 3575 30602 40721 114500 110145 1205 105790 81197 91316 2422 24710 3447 34829 30474 40593 110017 21764 1077 31883 91188 2294 865 28937 3319 104125 30346 949 31755 80941 91060 51993 2166 106943 108352 83759 69285 30218 10109 89523 35982 70694 90932 6009 92341 116934 87986 108224 34445 83631 93750 103869 89395 70566 31499 80685 90804 1910 92213 108096 29962 89267 109505 84912 80557 115269 1782 116678 87730 34189 118087 29834 89139 109377 84784 31243 80429 16769 90548 5625 3063 29706 89011 109249 84656 31115 115013 86065 106303 33933 29578 88883 35342 109121 30987 104766 80173 114885 110530 33805 93110 662 29450 88755 108993 30859 85809 1462 32268 116166 91573 2679 33677 29322 35086 108865 798 30731 104510 90036 110274 1334 32140 91445 111683 33549 88499 24839 3576 94 108737 30603 40722 10494 4985 110146 1206 105791 91317 52250 2423 117319 88371 3448 34830 30475 10366 110018 21765 31884 91189 2295 866 82479 28938 3320 30347 104126 36111 950 91061 2167 83760 30219 10110 35983 70695 90933 37392 92342 108225 83632 93751 30091 89396 35855 80686 90805 111043 326 1911 92214 108097 29963 89268 80558 86322 1783 106560 116679 34190 107969 29835 89140 109378 84785 31244 80430 106432 117960 29707 89012 109250 84657 31116 86066 106304 2936 33934 93239 29579 88884 35343 109122 104767 30988 114886 5370 33806 93111 29451 88756 108994 30860 85810 1463 32269 116167 91574 2680 33678 29323 35087 108866 55325 30732 104511 90037 1335 32141 81327 91446 52379 111684 2552 33550 407 88500 3577 95 108738 30604 10495 4986 110147 105792 91318 2424 92727 88372 34831 30476 10367 110019 70952 21766 91190 28939 3321 30348 104127 10239 36112 31757 91062 2168 83761 69287 30220 10111 35984 80815 90934 6011 116936 92343 12659 83633 108226 34447 93752 30092 103871 89397 35856 70568 31501 80687 90806 86451 1912 108098 29964 89269 35728 80559 41492 115271 5755 1784 116680 34191 107970 29836 103615 89141 109379 84786 31245 90550 1656 3065 107842 29708 89013 84658 109251 80303 115015 5499 86067 106305 2937 33935 93240 29580 88885 109123 104768 30989 41108 114887 110532 106177 33807 117705 664 29452 88757 35216 108995 30861 85811 1464 32270 116168 91575 2681 33679 107458 29324 35088 108867 30733 104512 55326 90038 1336 32142 81328 91447 52380 111685 1566 2553 33551 92856 408 3578 24841 108739 30605 10496 40724 110148 1208 105793 81200 91319 52252 2425 117321 88373 34832 30477 10368 4859 110020 21767 31886 91191 52124 92600 28940 3322 30349 36113 31758 91063 2169 106946 83762 69288 30221 10112 89526 35985 70697 31630 90935 6012 37394 116937 34448 108227 83634 30093 103872 89398 90807 328 1913 92216 53149 108099 29965 89270 25610 84915 80560 115272 1785 116681 87733 34192 118090 29837 103616 89142 84787 109380 21127 31246 90551 3066 29709 89014 84659 109252 31118 80304 5500 86068 33936 117834 103360 29581 88886 109124 30990 80176 114888 110533 2810 33808 93113 665 29453 88758 108996 30862 85812 1465 22152 32271 91576 116169 2682 33680 29325 35089 108868 801 30734 55327 104513 90039 5116 1337 81329 32143 91448 111686 2554 33552 92857 3579 108740 30606 40725 4988 110149 1209 105794 91320 2426 88374 3451 34833 30478 10369 4860 110021 21768 81073 31887 91192 2298 82482 28941 3323 30350 104129 80945 31759 91064 11650 108356 83763 30222 10113 114120 35986 70698 90936 6013 92345 87990 83635 108228 30094 9985 89399 35858 90808 329 1914 92217 108100 29966 54559 89271 109509 80561 86325 1786 106563 116682 34193 107972 118091 29838 103617 89143 109381 84788 31247 3067 117963 29710 89015 109253 84660 5501 86069 106307 18054 2939 33937 29582 88887 35346 109125 30991 41110 114889 5373 110534 17926 2811 33809 93114 29454 88759 108997 30863 85813 1466 106051 32272 91577 116170 2683 33681 29326 802 35090 108869 30735 104514 90040 32144 91449 111687 2555 33553 92858 410 3580 108741 30607 10498 4989 110150 1210 105795 91321 2427 117323 92730 88375 34834 30479 10370 110022 70955 91193 82483 28942 3324 30351 104130 10242 36115 954 31760 80946 91065 2171 83764 108357 69290 30223 35987 80818 90937 6014 57634 116939 92346 12662 83636 108229 103874 89400 35859 70571 90809 330 86454 1915 108101 29967 89272 35731 80562 41495 115274 5758 1787 116683 87735 34194 107973 29839 9730 89144 109382 84789 31248 1659 106436 3068 107845 29711 89016 84661 109254 31120 80306 86070 106308 18055 2940 33938 29583 88888 109126 30992 104771 80178 114890 5374 110535 106180 33810 117708 667 29455 88760 108998 30864 90169 85814 22154 1467 32273 116171 91578 2684 33682 107461 29327 35091 108870 30736 90041 1339 32145 91450 111688 1569 2556 33554 3581 108742 99 30608 4990 110151 105796 81203 91322 2428 117324 92731 391 88376 3453 34835 30480 10371 4862 110023 21770 31889 91194 28943 3325 30352 10243 36116 31761 91066 11652 2172 34579 83765 69291 30224 10115 89529 35988 70700 90938 6015 92347 116940 108230 83637 93756 30096 103875 89401 35860 31505 80691 90810 331 86455 1916 53152 108102 89273 25613 84918 115275 5759 1788 116684 87736 34195 118093 29840 103619 89145 84790 109383 1660 3069 29712 89017 84662 109255 31121 80307 86071 18056 2941 33939 117837 29584 103363 88889 109127 80179 30993 104772 114891 5375 110536 17928 111945 2813 33811 668 29456 88761 35220 108999 30865 40984 85815 1468 32274 91579 116172 2685 33683 29328 35092 108871 30737 90042 5119 1340 32146 91451 1570 111689 2557 33555 24845 3582 100 108743 30609 4991 110152 105797 91323 52256 2429 92732 392 88377 3454 34836 30481 10372 4863 110024 21771 31890 91195 52128 2301 82485 92604 28944 3326 30353 10244 31762 80948 91067 52000 34580 83766 30225 10116 114123 70701 31634 80820 90939 37398 92348 87993 34452 108231 83638 103876 30097 89402 80692 31506 90811 332 86456 1917 108103 29969 89274 109512 31378 80564 5760 92092 116685 87737 107975 34196 118094 29841 103620 89146 84791 109384 21131 31250 90555 1661 106438 3070 107847 117966 29713 89018 109256 84663 31122 90427 86072 2942 33940 117838 29585 88890 35349 109128 30994 80180 114892 110537 106182 2814 33812 93117 29457 88762 109000 30866 85816 1469 32275 106054 91580 116173 2686 33684 29329 35093 108872 55331 30738 104517 90043 5120 32147 81333 91452 111690 1571 2558 33556 3583 108744 101 30610 10501 110153 1213 105798 91324 2430 117326 393 88378 3455 34837 30482 10373 4864 110025 70958 91196 2302 82486 28945 3327 30354 36118 957 31763 80949 91068 52001 2174 117070 83767 34581 69293 30226 35990 80821 31635 90940 6017 116942 92349 87994 12665 108232 30098 103877 9989 89403 80693 90812 333 1918 108104 29970 89275 109513 80565 41498 115277 86329 116686 87738 34197 107976 29842 89147 109385 84792 21132 31251 90556 3071 29714 89019 84664 109257 31123 5505 86073 2943 33941 117839 29586 103365 88891 35350 109129 30995 80181 114893 110538 106183 111947 2815 33813 117711 670 29458 88763 109001 30867 90172 85817 110410 1470 32276 116174 91581 2687 33685 107464 29330 108873 30739 55332 90044 5121 32148 91453 111691 2559 33557 92862 3584 30611 10502 4993 110154 105799 91325 52258 2431 117327 394 88379 3456 34838 30483 10374 4865 110026 21773 31892 81078 91197 52130 82487 28946 3328 30355 10246 114253 36119 958 31764 91069 52002 2175 117071 34582 83768 69294 30227 10118 114125 89532 35991 70703 31636 80822 90941 6018 37400 57638 116943 87995 93759 30099 103878 89404 35863 70575 31508 90813 5890 334 1919 53155 108105 93631 29971 89276 25616 109514 84921 80566 115278 1791 116687 87739 34198 29843 89148 109386 84793 31252 90557 106440 3072 107849 29715 89020 84665 109258 5506 86074 2944 33942 103366 29587 88892 35351 109130 30996 80182 90301 41115 114894 110539 106184 2816 33814 117712 671 29459 88764 109002 30868 40987 85818 1471 32277 106056 91582 116175 2688 33686 107465 29331 88636 35095 108874 30740 90045 32149 91454 12040 111692 2560 33558 3585 103 108746 30612 10503 4994 1215 105800 81207 42140 91326 2432 395 3457 34839 104263 30484 40603 110027 21774 81079 31893 91198 2304 82488 28947 3329 30356 114254 959 31765 91070 2176 106953 117072 34583 83769 69295 30228 10119 70704 31637 80823 90942 92351 93760 30100 103879 89405 35864 80695 31509 90814 5891 335 1920 87868 108106 29972 89277 84922 116688 92095 87740 34199 107978 118097 29844 89149 109387 84794 21134 31253 90558 5635 1664 3073 107850 117969 29716 89021 109259 84666 31125 90430 86075 2945 33943 29588 103367 88893 109131 20878 80183 30997 90302 114895 5379 110540 106185 2817 33815 117713 93120 29460 88765 109003 30869 90174 85819 1472 106057 32278 91583 116176 2689 33687 107466 29332 35096 108875 55334 30741 104520 90046 5123 1344 32150 81336 91455 111693 1574 2561 33559 24849 3586 104 108747 30613 10504 110156 1216 105801 91327 2433 117329 92736 88381 396 3458 34840 108619 30485 40604 10376 4867 110028 70961 81080 105673 31894 91199 28948 3330 30357 114255 36121 31766 91071 52004 2177 117073 83770 34584 69296 30229 35993 31638 80824 90943 6020 116945 92352 12668 108235 83642 93761 103880 30101 9992 89406 35865 70577 80696 90815 5892 336 86460 1921 108107 29973 89278 84923 41501 115280 87741 34200 107979 29845 89150 109388 84795 21135 31254 1665 106442 3074 29717 89022 84667 109260 31126 5508 86076 2946 33944 29589 103368 88894 109132 30998 80184 114896 90303 110541 106186 81593 2818 33816 93121 673 29461 88766 109004 30870 40989 90175 110413 85820 1473 32279 106058 116177 91584 2690 33688 107467 29333 108876 30742 104521 55335 90047 5124 1345 32151 81337 91456 111694 1575 2562 33560 92865 3587 30614 10505 110157 1217 105802 91328 52261 2434 117330 397 88382 3459 34841 30486 40605 10377 4868 110029 31895 91200 2306 82490 28949 3331 30358 10249 40477 114256 36122 31767 91072 52005 111310 2178 106955 117074 34585 83771 69297 30230 114128 35994 70706 80825 90944 6021 116946 83643 30102 103881 89407 35866 80697 90816 5893 337 1922 108108 93634 29974 89279 25619 80569 31383 115281 1794 92097 34201 29846 89151 84796 109389 80441 90560 1666 106443 3075 107852 29718 89023 84668 109261 31127 90432 5509 2947 33945 117843 29590 103369 88895 109133 80185 30999 90304 41118 114897 110542 106187 111951 2819 33817 93122 674 29462 88767 109005 30871 40990 90176 114769 85821 1474 32280 106059 116178 91585 2691 33689 29334 88639 108877 30743 55336 104522 90048 5125 1346 32152 81338 12043 91457 1576 111695 2563 33561 29206 24851 3588 108749 30615 10506 1218 105803 81210 42143 91329 52262 2435 398 34842 30487 104266 40606 110030 31896 91201 52134 2307 82491 28950 30359 10250 114257 21649 31768 91073 52006 2179 117075 34586 83772 69298 30231 35995 70707 80826 90945 6022 37404 92354 87999 30103 103882 114001 89408 35867 80698 31512 90817 5894 338 1923 53159 108109 29975 89280 35739 109518 115282 86334 1795 92098 116691 107981 34202 68914 29847 89152 35611 109390 84797 31256 80442 90561 5638 86206 3076 107853 117972 29719 89024 109262 84669 31128 90433 5510 86078 2948 33946 103370 29591 88896 35355 109134 31000 80186 114898 90305 5382 110543 106188 2820 33818 29463 88768 109006 30872 40991 114770 90177 85822 110415 1475 32281 106060 91586 116179 2692 33690 547 29335 108878 30744 1347 32153 91458 111696 2564 33562 3589 108750 30616 10507 4998 1219 81211 105804 91330 52263 2436 117332 92739 399 3461 34843 108622 30488 10379 40607 110031 70964 31897 105676 91202 52135 28951 30360 10251 114258 36124 963 91074 52007 2180 117076 34587 83773 69299 30232 70708 80827 90946 6023 106829 116948 92355 12671 108238 103883 30104 9995 114002 89409 35868 70580 80699 90818 5895 339 86463 1924 92227 53160 87872 108110 29976 89281 80571 41504 115283 1796 92099 87744 34203 107982 29848 89153 109391 84798 31257 80443 5639 3077 107854 117973 29720 89025 84670 109263 31129 90434 5511 86079 2949 33947 29592 103371 88897 109135 20882 31001 80187 41120 114899 90306 5383 110544 106189 81596 2821 33819 117717 93124 676 29464 88769 109007 30873 90178 40992 114771 85823 110416 1476 32282 106061 116180 91587 2693 33691 29336 88641 35100 108879 30745 104524 90050 5127 1348 32154 91459 111697 2565 33563 92868 3590 108 30617 10508 4999 1220 91331 52264 2437 117333 92740 400 3462 34844 30489 104268 40608 10380 110032 46372 31898 81084 91203 2309 82493 28952 3334 30361 10252 40480 114259 36125 91075 52008 2181 117077 34588 83774 69300 30233 70709 80828 90947 6024 37406 116949 93765 30105 103884 89410 114003 35869 80700 90819 5896 340 86464 1925 108111 29977 89282 25622 35741 84927 80572 115284 92100 34204 29849 89154 84799 109392 31258 5640 1669 3078 107855 117974 29721 89026 84671 109264 31130 90435 106318 2950 33948 117846 29593 103372 88898 109136 20883 31002 80188 90307 114900 5384 110545 106190 2822 33820 677 29465 88770 109008 30874 40993 114772 90179 110417 85824 1477 32283 106062 91588 116181 2694 33692 107471 29337 88642 35101 108880 30746 90051 1349 32155 91460 111698 1579 2566 33564 24854 3591 109 108752 30618 10509 1221 105806 81213 42146 91332 52265 92741 401 88386 34845 108624 30490 104269 40609 4872 110033 81085 31899 105678 91204 52137 2310 82494 28953 24598 3335 30362 10253 114260 21652 31771 91076 2182 106959 117078 34589 83775 30234 114132 35998 70710 80829 90948 6025 92357 116950 88002 30106 103885 89411 9997 114004 35870 90820 5897 341 86465 1926 53162 87874 108112 29978 89283 109521 80573 31387 92101 116694 34205 107984 68917 29850 89155 84800 35614 109393 31259 86209 107856 29722 89027 109265 84672 31131 80317 90436 5513 106319 2951 33949 29594 103373 88899 35358 109137 31003 80189 114901 90308 110546 106191 111955 2823 33821 93126 29466 109009 30875 40994 114773 90180 110418 85825 1478 32284 106063 116182 91589 2695 82879 33693 107472 29338 88643 35102 108881 55340 30747 90052 1350 32156 81342 91461 111699 2567 33565 29210 3592 108753 110 30619 1222 105807 91333 52266 117335 88387 402 3464 34846 104270 30491 40610 4873 110034 70967 31900 105679 81086 91205 28954 24599 3336 30363 40482 10254 114261 36127 21653 966 91077 2183 117079 83776 34590 30235 35999 80830 90949 6026 106832 116951 92358 88003 12674 108241 103886 30107 114005 89412 35871 31516 80702 90821 5898 342 1927 92230 53163 87875 108113 29979 89284 109522 80574 41507 5770 86338 116695 92102 87747 34206 107985 68918 103630 29851 89156 109394 84801 31260 1671 107857 29723 89028 84673 109266 31132 90437 5514 106320 2952 33950 29595 103374 88900 109138 31004 80190 114902 90309 110547 106192 81599 2824 33822 117720 29467 679 88772 109010 30876 90181 40995 114774 110419 85826 1479 32285 106064 116183 91590 2696 33694 29339 88644 108882 30748 104527 55341 90053 5130 1351 32157 91462 111700 1581 2568 33566 92871 3593 30620 10511 1223 81215 91334 52267 117336 403 88388 3465 108626 34847 30492 104271 16018 40611 10383 110035 105680 31901 91206 52139 2312 82496 28955 83905 30364 10255 40483 114262 36128 21654 967 80959 91078 2184 117080 34591 83777 30236 36000 80831 90950 6027 116952 88004 108242 93768 30108 103887 114006 89413 70584 80703 90822 5899 343 1928 92231 3209 108114 29980 89285 25625 109523 84930 5771 1800 116696 92103 87748 34207 107986 29852 89157 35616 109395 84802 80447 86211 1672 106449 107858 29724 89029 84674 109267 31133 90438 5515 33951 117849 103375 29596 88901 109139 80191 31005 41124 114903 110548 106193 2825 33823 93128 117721 680 29468 109011 30877 90182 110420 85827 1480 32286 106065 91591 116184 2697 33695 29340 552 88645 35104 108883 30749 104528 90054 1352 32158 91463 1582 111701 2569 33567 3594 112 108755 30621 10512 5003 1224 81216 42149 91335 52268 2441 404 88389 3466 34848 108627 30493 104272 40612 110036 81088 31902 105681 91207 52140 2313 82497 28956 3338 30365 40484 10256 114263 968 21655 31774 91079 2185 117081 92488 3210 34592 83778 30237 114135 36001 80832 90951 108243 93769 103888 114007 89414 35873 80704 90823 5900 344 1929 92232 53165 108115 29981 89286 84931 5772 92104 87749 107987 34208 29853 89158 35617 109396 84803 80448 86212 1673 12292 107859 117978 29725 89030 109268 84675 31134 80320 90439 5516 33952 29597 103376 88902 35361 109140 31006 80192 41125 114904 90311 5388 110549 106194 2826 33824 117722 93129 68536 29469 681 88774 109012 30878 90183 85828 110421 1481 32287 106066 12178 116185 91592 2698 33696 82882 553 29341 88646 35105 108884 30750 104529 55343 90055 110293 1353 32159 81345 91464 111702 1583 2570 33568 117466 29213 3595 24858 113 108756 30622 5004 91336 52269 2442 117338 92745 405 3467 34849 30494 104273 40613 110037 70970 31903 105682 81089 91208 82498 28957 3339 30366 40485 10257 114264 36130 21656 31775 91080 2186 106963 117082 3211 83779 34593 30238 36002 80833 90952 6029 106835 12677 108244 93770 30110 103889 114008 89415 35874 90824 5901 345 86469 1930 53166 87878 108116 93642 29982 89287 84932 31391 41510 5773 116698 92105 34209 107988 118107 29854 103633 89159 35618 109397 84804 86213 1674 106451 29726 89031 84676 109269 31135 90440 18070 33953 29598 103377 88903 35362 109141 31007 80193 114905 90312 110550 81602 33825 93130 682 29470 88775 109013 30879 90184 114777 110422 85829 1482 32288 106067 116186 91593 2699 33697 29342 554 88647 108885 30751 55344 90056 5133 1354 32160 81346 91465 111703 1584 2571 33569 117467 92874 3596 24859 30623 10514 1226 81218 32032 91337 52270 117339 406 88391 3468 108629 34850 30495 104274 40614 10386 4877 105683 91209 52142 2315 82499 28958 3340 83908 30367 40486 114265 21657 31776 80962 91081 2187 117083 3212 34594 83780 30239 114137 36003 80834 90953 6030 30111 103890 89416 10002 114009 70587 80706 90825 5902 346 1931 92234 108117 89288 25628 31392 90697 5774 110935 1803 92106 34210 107989 29855 89160 35619 109398 84805 80450 16790 86214 1675 107861 29727 89032 109270 84677 31136 80322 5518 18071 33954 117852 103378 29599 88904 109142 80194 31008 114906 41127 110551 106196 111960 33826 93131 683 29471 88776 109014 30880 90185 110423 85830 1483 32289 106068 116187 2700 33698 82884 29343 555 88648 35107 108886 30752 104531 55345 90057 5134 1355 32161 81347 91466 1585 111704 2572 33570 117468 24860 3597 108758 30624 10515 5006 1227 32033 81219 42152 91338 52271 2444 107221 88392 3469 34851 108630 30496 104275 10387 40615 4878 110039 105684 81091 91210 52143 2316 82500 28959 30368 10259 114266 40487 36132 21658 105556 31777 91082 2188 82372 117084 92491 3213 34595 83781 30240 10131 36004 80835 90954 6031 88008 30112 103891 114010 89417 35876 70588 80707 90826 5903 347 1932 53168 108118 93644 29984 89289 35748 109527 31393 5775 86343 92107 34211 107990 118109 29856 103635 89161 84806 35620 109399 80451 86215 1676 106453 12295 107862 117981 29728 89033 109271 84678 80323 31137 90442 5519 33955 107734 29600 103379 88905 35364 109143 80195 31009 41128 114907 5391 110552 106197 33827 93132 29472 684 88777 109015 30881 90186 85831 110424 1484 32290 106069 116188 2701 33699 556 29344 88649 35108 108887 30753 104532 90058 5135 110296 32162 91467 111705 1586 2573 33571 117469 29216 3598 108759 30625 5007 1228 32034 91339 52272 2445 117341 92748 3470 34852 108631 30497 104276 10388 40616 110040 105685 31906 81092 91211 82501 28960 83910 30369 10260 114267 40488 36133 21659 972 80964 91083 2189 3214 83782 34596 30241 36005 80836 90955 6032 111193 106838 12680 30113 103892 114011 89418 35877 80708 90827 5904 348 86472 1933 92236 53169 108119 29985 89290 31394 41513 5776 116701 92108 34212 107991 29857 103636 89162 35621 109400 84807 86216 1677 12296 117982 29729 89034 109272 84679 21019 31138 80324 90443 33956 29601 103380 88906 35365 109144 31010 80196 41129 114908 5392 110553 81605 33828 117726 29473 685 88778 109016 30882 114780 90187 110425 85832 1485 32291 106070 12182 116189 91596 2702 82886 33700 29345 557 108888 30754 90059 1357 32163 91468 111706 1587 2574 33572 117470 92877 3599 24862 117 30626 5008 32035 81221 91340 52273 2446 117342 92749 3471 34853 108632 30498 104277 40617 4880 105686 81093 91212 2318 82502 28961 3343 30370 36134 21660 80965 91084 2190 3215 34597 83783 30242 114140 36006 80837 90956 6033 108248 93774 69181 30114 103893 89419 10005 114012 35878 70590 80709 90828 5905 349 86473 1934 92237 87882 108120 89291 25631 35750 84936 31395 90700 5777 110938 1806 92109 107992 34213 29858 103637 89163 84808 35622 109401 86217 1678 106455 107864 117983 68797 29730 89035 84680 109273 31139 80325 33957 117855 29602 103381 88907 35366 109145 80197 31011 114909 41130 5393 110554 111963 33829 93134 686 29474 88779 109017 30883 90188 114781 110426 85833 1486 32292 106071 116190 2703 33701 82887 29346 558 88651 35110 108889 30755 90060 110298 1358 105943 32164 91469 111707 1588 2575 33573 117471 29218 24863 3600 118 108761 30627 10518 5009 32036 81222 42155 91341 52274 2447 92750 3472 34854 108633 30499 104278 10390 4881 81094 105687 91213 11799 2319 82503 28962 83912 30371 10262 36135 80966 91085 52018 82375 106968 117087 3216 34598 83784 30243 10134 80838 90957 108249 30115 103894 89420 10006 114013 35879 80710 31524 90829 5906 350 86474 1935 92238 53171 108121 89292 109530 31396 5778 86346 92110 34214 107993 29859 103638 89164 35623 84809 109402 5650 86218 1679 107865 29731 89036 109274 84681 80326 31140 110683 18075 33958 107737 29603 103382 88908 109146 35367 31012 80198 114910 110555 17947 111964 33830 93135 29475 687 88780 109018 35239 30884 114782 90189 110427 1487 32293 106072 12184 116191 2704 33702 559 29347 88652 35111 108890 55349 30756 90061 110299 32165 81351 91470 1589 111708 2576 33574 117472 29219 3601 108762 119 30628 1231 32037 91342 52275 111580 2448 117344 3473 34855 108634 30500 104279 40619 4882 31909 81095 105688 91214 52147 82504 28963 3345 83913 30372 10263 114270 36136 21662 975 31781 80967 91086 52019 2192 82376 53428 3217 83785 34599 30244 10135 36008 80839 90958 6035 111196 106841 88012 12683 103895 30116 10007 114014 89421 70592 80711 90830 5907 351 1936 53172 108122 89293 31397 90702 41516 5779 116704 92111 107994 34215 103639 29860 89165 35624 109403 84810 5651 86219 1680 106457 29732 89037 84682 109275 80327 5523 18076 33959 29604 103383 88909 109147 31013 80199 114911 41132 85963 110556 81608 111965 33831 93136 117729 29476 688 88781 109019 30885 90190 110428 85835 1488 32294 106073 116192 91599 2705 33703 82889 560 29348 108891 30757 55350 90062 114655 5139 110300 32166 91471 111709 1590 2577 33575 117473 92880 29220 3602 108763 30629 5011 32038 81224 91343 52276 2449 107226 117345 3474 108635 34856 30501 104280 40620 4883 31910 105689 81096 11801 91215 2321 82505 28964 3346 30373 36137 976 21663 31782 105561 80968 91087 52020 2193 92496 3218 34600 83786 30245 10136 36009 80840 90959 6036 92368 93777 30117 103896 114015 89422 35881 70593 56119 31526 80712 90831 5908 352 1937 108123 89294 25634 84939 31398 90703 5780 1809 92112 34216 107995 118114 29861 103640 89166 109404 84811 35625 31270 5652 86220 1681 106458 107867 29733 89038 84683 109276 21023 31142 80328 90447 106330 107739 33960 117858 29605 88910 35369 109148 80200 31014 114912 110557 33832 117730 689 29477 88782 109020 30886 90191 110429 85836 1489 106074 32295 116193 91600 2706 82890 33704 29349 561 35113 108892 30758 114656 90063 110301 32167 105946 91472 111710 1591 2578 33576 117474 29221 3603 121 108764 30630 10521 5012 1233 81225 32039 11930 42158 91344 52277 2450 107227 117346 3475 108636 34857 104281 30502 10393 105690 31911 91216 2322 82506 28965 3347 83915 30374 36138 977 80969 105562 91088 106971 117090 3219 83787 34601 30246 114144 80841 90960 93778 30118 103897 10009 114016 89423 35882 70594 56120 5909 353 1938 53174 87886 108124 89295 109533 84940 35754 80585 31399 90704 5781 110942 86349 92113 34217 29862 103641 89167 109405 84812 35626 31271 5653 86221 1682 106459 107868 117987 29734 89039 109277 84684 21024 80329 31143 90448 106331 18078 33961 29606 88911 109149 35370 80201 31015 41134 114913 5397 110558 33833 117731 93138 29478 690 88783 109021 30887 90192 5269 110430 1490 32296 116194 91601 2707 82891 33705 562 29350 35114 108893 55352 30759 114657 110302 1362 81354 32168 91473 1592 111711 2579 33577 117475 29222 3604 122 108765 30631 10522 1234 32040 91345 52278 2451 107228 117347 92754 3476 34858 30503 104282 10394 4885 105691 81098 31912 91217 82507 28966 3348 83916 30375 114273 36139 21665 105563 80970 31784 91089 52022 2195 82379 117091 53431 3220 83788 34602 30247 10138 36011 80842 90961 6038 37420 106844 12686 93779 103898 30119 114017 89424 70595 31528 90833 5910 354 86478 1939 53175 93651 89296 84941 31400 80586 90705 41519 5782 86350 92114 116707 34218 29863 89168 109406 84813 31272 5654 86222 1683 106460 12302 29735 89040 109278 84685 31144 80330 90449 106332 107741 33962 103386 29607 88912 35371 109150 80202 31016 114914 41135 110559 85966 81611 33834 93139 691 29479 88784 35243 109022 30888 114786 90193 110431 1491 32297 106076 12188 116195 2708 33706 82892 563 29351 88656 108894 30760 55353 114658 90065 5142 110303 1363 105948 32169 91474 111712 1593 2580 33578 117476 92883 29223 88528 3605 108766 30632 10523 1235 32041 81227 91346 52279 2452 117348 24740 3477 108638 34859 104283 30504 10395 4886 105692 81099 91218 2324 82508 28967 3349 83917 30376 114274 36140 21666 80971 31785 91090 52023 2196 117092 3221 34603 83789 30248 36012 80843 90962 6039 111200 92371 103899 30120 89425 10011 114018 70596 56122 5911 355 1940 89297 80587 31401 90706 5783 86351 1812 92115 34219 107998 118117 29864 103643 89169 84814 109407 31273 5655 86223 1684 106461 107870 29736 89041 109279 84686 21026 31145 80331 90450 107742 33963 117861 29608 88913 109151 35372 31017 114915 110560 111969 33835 93140 692 29480 88785 109023 30889 90194 110432 1492 106077 32298 116196 2709 33707 82893 29352 88657 108895 30761 55354 114659 90066 5143 110304 1364 32170 105949 91475 1594 111713 2581 33579 117477 29224 3606 108767 30633 110176 1236 81228 32042 42161 91347 52280 2453 3478 108639 34860 30505 104284 10396 105693 91219 11805 2325 82509 28968 3350 83918 108511 30377 114275 36141 31786 80972 91091 52024 2197 92500 3222 83790 34604 30249 114147 36013 80844 31658 90963 92372 88017 114019 89426 90835 5912 356 1941 108127 93653 89298 109536 31402 90707 5784 86352 1813 92116 34220 118118 103644 29865 89170 84815 109408 35629 5656 86224 1685 107871 117990 29737 89042 109280 84687 21027 80332 31146 33964 29609 88914 109152 35373 80204 31018 114916 41137 5400 110561 85968 33836 93141 693 29481 88786 109024 30890 90195 5272 110433 1493 116197 2710 82894 33708 565 29353 88658 108896 55355 30762 114660 5144 110305 1365 105950 81357 32171 91476 1595 111714 33580 117478 92885 29225 3607 108768 30634 5016 1237 32043 91348 52281 2454 92757 3479 34861 30506 104285 10397 81101 105694 91220 2326 82510 28969 3351 83919 30378 981 80973 31787 91092 52025 2198 117094 53434 3223 83791 34605 30250 10141 36014 90964 106847 92373 12689 103901 10013 114020 89427 35886 56124 90836 5913 357 86481 1942 92245 69061 89299 35758 31403 90708 5785 86353 110946 1814 92117 12433 34221 29866 89171 35630 109409 84816 80461 31275 5657 86225 1686 106463 117991 29738 89043 109281 84688 31147 80333 90452 107744 33965 103389 29610 88915 109153 31019 80205 114917 5401 85969 110562 106207 81614 83023 33837 117735 694 29482 88787 109025 30891 90196 114789 5273 110434 1494 116198 91605 2711 82895 33709 566 29354 108897 35118 104542 55356 30763 90068 114661 110306 1366 105951 32172 91477 111715 1596 33581 117479 92886 29226 88531 3608 108769 126 30635 5017 1238 81230 32044 91349 52282 2455 107232 92758 3480 108641 34862 104286 30507 10398 105695 31916 11807 91221 2327 82511 28970 83920 30379 40498 114277 80974 105567 31788 91093 52026 2199 3224 34606 83792 30251 10142 114149 21541 80846 90965 37424 92374 93783 103902 89428 10014 114021 35887 31532 90837 5914 358 1943 89300 84945 31404 90709 5786 86354 116711 92118 34222 108001 118120 103646 29867 89172 84817 109410 35631 31276 5658 86226 1687 106464 107873 117992 29739 89044 84689 109282 80334 31148 90453 107745 33966 117864 29611 103390 3133 88916 109154 80206 31020 114918 5402 85970 110563 111972 33838 695 29483 88788 109026 35247 30892 90197 110435 1495 12192 116199 2712 33710 82896 29355 88660 108898 35119 55357 30764 114662 90069 110307 1367 105952 32173 12064 91478 111716 1597 33582 117480 29227 3609 127 108770 30636 10527 110179 1239 32045 81231 42164 91350 52283 2456 92759 3481 84049 108642 34863 30508 10399 4890 81103 105696 31917 91222 2328 82512 28971 3353 108514 83921 30380 40499 36144 105568 80975 31789 91094 2200 3225 83793 34607 30252 15778 10143 36016 80847 31661 90966 111204 88020 10015 89429 114022 56126 31533 90838 5915 359 1944 108130 89301 109539 80591 31405 90710 5787 86355 1816 116712 92119 34223 118121 103647 29868 89173 35632 84818 109411 31277 5659 86227 1688 107874 29740 89045 25385 109283 84690 80335 31149 33967 107746 29612 103391 88917 109155 35376 31021 114919 110564 85971 111973 33839 93144 696 29484 88789 109027 30893 90198 110436 1496 12193 116200 2713 82897 33711 29356 88661 35120 108899 30765 114663 110308 1368 32174 105953 81360 91479 1598 111717 2585 33583 29228 88533 3610 128 108771 30637 1240 32046 91351 52284 2457 107234 3482 34864 30509 10400 4891 91223 2329 82513 28972 3354 83922 30381 40500 984 105569 80976 31790 91095 2201 117097 92504 3226 83794 34608 30253 10144 40372 36017 80848 90967 106850 92376 88021 12692 10016 114023 89430 56127 90839 5916 360 86484 69064 93657 89302 80592 31406 5788 86356 1817 92120 34224 29869 103648 89174 109412 84819 35633 80464 31278 5660 86228 1689 106466 29741 89046 84691 109284 31150 80336 107747 33968 68680 29613 88918 109156 31022 114920 41141 110565 85972 106210 81617 111974 83026 33840 117738 29485 697 88790 109028 30894 114792 5276 110437 1497 12194 116201 91608 2714 33712 82898 29357 108900 104545 30766 90071 114664 5148 110309 1369 105954 32175 91480 111718 1599 2586 33584 29229 88534 3611 108772 30638 110181 1241 81233 32047 91352 52285 2458 3483 108644 34865 104289 30510 10401 81105 31919 91224 2330 82514 92633 28973 83923 108516 94042 30382 40501 36146 985 80977 31791 91096 2202 92505 53438 3227 34609 83795 30254 10145 114152 21544 105442 90968 2074 92377 88022 93786 10017 114024 89431 35890 31535 56128 90840 361 92249 69065 29998 89303 84948 31407 90712 5789 86357 92121 12437 34225 108004 103649 29870 89175 84820 109413 35634 31279 5661 86229 1690 106467 107876 29742 89047 84692 109285 80337 31151 16677 5533 107748 33969 117867 3136 29614 103393 88919 109157 80209 31023 114921 85973 110566 33841 117739 698 29486 88791 109029 30895 90200 110438 1498 116202 91609 2715 82899 33713 68425 570 29358 88663 108901 30767 114665 90072 110310 1370 32176 105955 91481 1600 111719 33585 117483 29230 88535 3612 130 108773 30639 10530 5021 110182 1242 32048 81234 42167 91353 52286 2459 3484 108645 84052 34866 30511 81106 105699 31920 91225 11811 111463 2331 82515 28974 3356 83924 30383 114281 40502 36147 986 80978 91097 2203 92506 53439 3228 83796 34610 30255 10146 21545 80850 31664 90969 82259 92378 93787 114025 89432 35891 56129 31536 90841 5918 362 1947 108133 69066 29999 89304 109542 84949 35763 80594 31408 90713 5790 86358 108005 34226 103650 29871 89176 35635 84821 109414 31280 80466 5662 86230 1691 106468 107877 117996 29743 89048 25388 109286 84693 80338 31152 110695 33970 107749 3137 29615 88920 109158 35379 31024 114922 5406 110567 85974 106212 33842 83028 117740 93147 699 29487 88792 109030 30896 90201 5278 110439 1499 116203 91610 82900 33714 571 29359 88664 108902 104547 55361 30768 114666 110311 1371 105956 81363 32177 12068 91482 111720 1601 2588 33586 29231 88536 3613 131 108774 30640 5022 110183 32049 91354 52287 2460 107237 92763 3485 34867 30512 10403 31921 81107 91226 82516 92635 28975 3357 108518 83925 30384 10275 40503 36148 31793 80979 91098 41912 2204 92507 117100 3 3229 83797 34611 30256 104035 10147 40375 15782 21546 80851 90970 106853 92379 12695 93788 10019 114026 89433 35892 80723 56130 90842 5919 363 86487 92251 108134 69067 30000 89305 84950 31409 80595 5791 86359 92123 108006 34227 118125 29872 103651 89177 109415 84822 35636 80467 31281 5663 86231 1692 106469 107878 29744 89049 109287 84694 31153 80339 16679 107750 33971 68683 3138 29616 88921 109159 35380 80211 31025 114923 85975 110568 106213 81620 33843 93148 700 29488 88793 109031 30897 90202 114795 5279 110440 1500 116204 12197 82901 33715 572 29360 108903 30769 104548 55362 114667 5151 110312 1372 105957 32178 91483 111721 1602 2589 33587 29232 88537 3614 108775 30641 110184 1244 81236 32050 91355 52288 2461 3486 34868 108647 84054 104292 30513 10404 4895 31922 81108 91227 11813 82517 28976 3358 83926 108519 94045 30385 40504 36149 80980 105573 31794 91099 2205 92508 53441 3230 34612 83798 30257 10148 36021 21547 80852 90971 2077 92380 24365 89434 10020 114027 35893 31538 80724 90843 364 108135 93661 89306 31410 5792 86360 1821 92124 12440 108007 34228 29873 103652 89178 84823 109416 35637 31282 80468 5664 86232 1693 106470 107879 29745 89050 109288 84695 31154 80340 106342 107751 33972 117870 29617 103396 88922 109160 35381 80212 31026 114924 41145 85976 110569 106214 111978 33844 83030 93149 701 29489 88794 109032 30898 90203 5280 110441 1501 116205 33716 82902 573 29361 88666 108904 30770 104549 114668 5152 110313 1373 105958 32179 91484 12070 1603 111722 2590 33588 117486 29233 88538 3615 133 108776 30642 10533 5024 110185 1245 81237 32051 91356 52289 2462 3487 108648 34869 30514 104293 4896 105702 31923 91228 111466 82518 28977 3359 83927 30386 40505 114284 36150 80981 105574 91100 2206 92509 53442 3231 83799 34613 30258 114156 40377 10149 36022 21548 80853 31667 90972 82262 92381 88026 10021 89435 114028 35894 80725 56132 31539 90844 5921 365 92253 108136 30002 89307 109545 35766 31411 5793 86361 1822 92125 34229 103653 29874 89179 84824 109417 80469 31283 5665 86233 1694 106471 107880 117999 29746 89051 25391 109289 84696 80341 31155 106343 33973 3140 103397 29618 88923 109161 80213 31027 41146 114925 5409 110570 85977 106215 33845 83031 702 29490 88795 109033 30899 90204 5281 110442 1502 116206 82903 33717 574 29362 88667 108905 104550 55364 30771 114669 5153 110314 105959 81366 32180 91485 111723 1604 2591 33589 117487 29234 88539 134 108777 30643 5025 110186 1246 81238 32052 91357 52290 2463 92766 3488 34870 84056 6 30515 104294 10406 31924 105703 91229 2335 82519 28978 3360 108521 83928 94047 30387 40506 10278 36151 990 105575 80982 31796 91101 41915 2207 92510 117103 3232 83800 34614 104038 30259 40378 15785 21549 80854 105447 90973 106856 92382 30131 89436 114029 35895 105319 90845 5922 366 86490 92254 89308 31412 90717 5794 86362 1823 92126 118128 29875 103654 89180 35639 109418 84825 80470 31284 90589 5666 86234 1695 96353 106472 107881 118000 29747 89052 84697 109290 80342 110699 106344 33974 107753 3141 103398 29619 88924 109162 31028 80214 41147 114926 85978 110571 106216 81623 33846 117744 29491 703 88796 109034 30900 114798 5282 110443 1503 91614 116207 82904 33718 29363 575 108906 104551 55365 30772 110315 1375 105960 32181 91486 111724 1605 2592 33590 117488 29235 88540 108778 30644 5026 110187 32053 81239 91358 52291 2464 92767 3489 7 108650 84057 34871 30516 10407 4898 110059 105704 31925 91230 82520 28979 3361 108522 83929 94048 30388 10279 40507 114286 36152 31797 91102 2208 92511 53444 3233 34615 30260 10151 40379 21550 80855 105448 90974 2080 92383 93792 89437 10023 114030 35896 31541 90846 367 92255 69071 30004 89309 84954 31413 90718 5795 86363 1824 92127 12443 34231 103655 29876 89181 84826 109419 35640 31285 80471 5667 86235 1696 106473 107882 118001 29748 89053 109291 84698 31157 80343 107754 33975 68687 117873 3142 29620 88925 109163 31029 114927 85979 110572 106217 111981 33847 83033 107626 704 29492 88797 109035 30901 41020 90206 5283 110444 12201 116208 82905 33719 576 29364 88669 108907 55366 104552 30773 110316 1376 32182 105961 91487 1606 111725 2593 33591 29236 88541 3618 136 108779 30645 89950 10536 5027 110188 81240 32054 91359 52292 2465 92768 3490 108651 8 34872 30517 104296 114415 4899 31926 91231 11817 82521 92640 28980 3362 83930 108523 94049 30389 10280 40508 36153 80984 91103 52036 2209 92512 53445 3234 34616 104040 30261 40380 10152 114159 36025 21551 105449 80856 31670 90975 2081 82265 33079 92384 88029 10024 89438 114031 35897 31542 90847 5924 368 92256 30005 89310 109548 35769 31414 90719 5796 86364 1825 92128 108011 34232 103656 29877 89182 84827 109420 80472 31286 5668 86236 1697 106474 107883 29749 89054 25394 109292 84699 80344 31158 33976 29621 103400 88926 109164 20911 31030 41149 114928 5412 85980 110573 106218 33848 83034 93153 705 29493 88798 109036 30902 90207 5284 110445 32311 12202 116209 82906 33720 577 29365 88670 108908 104553 30774 114672 110317 105962 81369 32183 12074 91488 1607 111726 2594 33592 117490 29237 3619 137 108780 30646 110189 1249 32055 91360 52293 2466 3491 34873 84059 30518 114416 4900 91232 111470 82522 28981 3363 108524 83931 94050 30390 40509 114288 993 31799 91104 41918 52037 2210 92513 3235 34617 30262 104041 40381 36026 21552 90976 2082 106859 92385 88030 30134 89439 10025 114032 35898 31543 80729 105322 90848 5925 369 86493 92257 108140 93666 30006 89311 109549 31415 86365 1826 92129 116722 108012 118131 29878 103657 89183 35642 84828 109421 80473 31287 90592 5669 86237 1698 106475 107884 29750 89055 84700 109293 31159 80345 107756 33977 103401 29622 88927 109165 31031 41150 114929 85981 110574 106219 83035 33849 117747 706 29494 88799 35258 109037 30903 114801 5285 110446 1506 32312 12203 91617 116210 33721 82907 578 29366 108909 30775 5157 110318 105963 32184 91489 1608 111727 2595 33593 29238 88543 3620 108781 30647 5029 110190 105835 32056 91361 52294 2467 3492 34874 84060 108653 30519 10410 114417 4901 110062 31928 91233 11819 2339 82523 28982 3364 83932 108525 94051 30391 40510 10282 31800 91105 52038 2211 92514 117107 53447 3236 34618 83804 30263 104042 10154 40382 15789 36027 90977 92386 88031 93795 89440 10026 114033 31544 80730 90849 370 32953 92258 108141 30007 89312 84957 109550 31416 90721 5798 86366 1827 92130 12446 29879 103658 89184 84829 35643 109422 80474 5670 86238 106476 107885 29751 89056 84701 109294 31160 80346 110703 33978 107757 117876 3145 29623 88928 109166 31032 114930 85982 110575 106220 111984 33850 83036 107629 117748 29495 707 88800 109038 30904 41023 90209 5286 110447 32313 91618 116211 82908 33722 579 29367 88672 108910 104555 30776 110319 32185 105964 91490 111728 2596 33594 29239 88544 139 108782 30648 89953 10539 5030 110191 1251 32057 81243 91362 52295 2468 107245 3493 84061 34875 108654 104299 30520 114418 105708 31929 91234 82524 28983 3365 83933 108526 94052 40511 114290 91106 82396 92515 117108 53448 3237 83805 34619 104043 30264 40383 10155 114162 36028 21554 867 31673 90978 2084 82268 33082 92387 93796 30136 89441 10027 114034 35900 105324 31545 90850 371 92259 87904 34363 69075 30008 89313 84958 35772 31417 90722 5799 86367 1828 112369 103659 29880 89185 84830 35644 109423 31289 80475 90594 5671 86239 107886 118005 29752 89057 25397 84702 109295 31161 110704 33979 68691 29624 88929 35388 109167 31033 114931 5415 85983 110576 106221 33851 83037 93156 117749 29496 708 88801 35260 109039 30905 41024 90210 5287 110448 1508 32314 12205 91619 116212 82909 33723 580 29368 88673 108911 104556 55370 30777 90082 114675 110320 1380 32186 81372 105965 91491 111729 2597 33595 117493 29240 140 108783 30649 110192 1252 32058 91363 52296 2469 92772 84062 34876 108655 12 30521 104300 114419 4903 110064 21811 91235 52168 2341 82525 28984 3366 108527 83934 94053 30393 40512 114291 996 80988 31802 91107 41921 52040 2213 92516 3238 34620 30265 104044 36029 868 21555 105453 90979 2085 106862 92388 93797 89442 114035 35901 105325 80732 90851 372 92260 34364 93669 30009 89314 84959 31418 86368 1829 32827 92132 116725 34236 118134 29881 103660 89186 84831 109424 80476 31290 90595 5672 86240 1701 107887 29753 89058 84703 109296 31162 80348 110705 107759 33980 29625 3147 88930 109168 20915 31034 114932 85984 110577 83038 33852 107631 93157 709 29497 88802 109040 30906 114804 5288 110449 1509 32315 12206 116213 82910 33724 29369 581 108912 30778 55371 40897 114676 5160 110321 1381 32187 105966 91492 12078 111730 2598 33596 29241 108784 30650 89955 110193 1253 32059 105838 91364 52297 2470 84063 34877 108656 30522 104301 10413 114420 4904 110065 31931 91236 111474 2342 28985 3367 83935 108528 30394 10285 31803 105582 91108 52041 2214 92517 53450 3239 34621 104045 30266 114164 36030 869 105454 90980 30138 89443 114036 31547 105326 80733 90852 373 32956 92261 34365 69077 30010 89315 80605 31419 90724 5801 86369 1830 92133 12449 29882 103661 89187 84832 35646 109425 31291 80477 90596 5673 86241 106479 29754 89059 84704 109297 80349 31163 5545 83167 33981 107760 117879 3148 29626 88931 35390 109169 20916 31035 90340 41154 114933 85985 110578 106223 111987 33853 83039 93158 710 29498 88803 109041 30907 90212 41026 114805 5289 110450 1510 32316 116214 33725 82911 29370 88675 108913 30779 104558 114677 5161 110322 1382 32188 91493 111731 2599 33597 29242 108785 30651 89956 10542 110194 1254 81246 32060 91365 52298 2471 53707 3496 84064 108657 30523 10414 114421 110066 31932 105711 91237 11823 28986 3368 83936 94055 30395 10286 40514 114293 4777 31804 91109 52042 82399 92518 53451 3240 34622 30267 104046 36031 21557 870 31676 105455 90981 2087 33085 82271 92390 88035 30139 89444 10030 114037 35903 31548 105327 90853 374 92262 34366 30011 89316 35775 109554 105199 31420 90725 5802 86370 1831 116727 29883 103662 89188 35647 84833 109426 80478 31292 90597 5674 86242 32701 118008 29755 89060 25400 84705 109298 80350 31164 5546 33982 3149 29627 88932 109170 31036 41155 90341 114934 5418 85986 110579 106224 107633 83040 33854 29499 711 88804 109042 30908 90213 114806 5290 110451 32317 116215 82912 33726 583 29371 88676 108914 55373 30780 104559 90085 5162 110323 1383 32189 81375 105968 12080 91494 111732 2600 33598 117496 29243 88548 84193 108786 30652 10543 89957 5034 110195 1255 81247 32061 105840 91366 52299 2472 107249 92775 88420 3497 84065 34879 108658 15 30524 104303 10415 114422 110067 21814 81119 91238 111476 28987 3369 108530 83937 94056 30396 40515 10287 114294 4778 999 31805 105584 91110 41924 52043 2216 82400 92519 3241 34623 30268 104047 114166 36032 871 21558 90982 2088 33086 92391 30140 89445 114038 35904 105328 90854 375 92263 87908 34367 69079 93672 30012 89317 9903 31421 86371 1832 32830 92135 118137 29884 103663 89189 35648 84834 109427 80479 31293 90598 5675 86243 96362 1704 107890 118009 29756 89061 84706 109299 5547 110708 8110 33983 107762 29628 3150 88933 109171 20918 31037 90342 41156 114935 5419 85987 110580 83041 33855 107634 117753 712 29500 88805 109043 30909 41028 114807 5291 110452 32318 91623 116216 82913 33727 584 29372 108915 104560 55374 30781 90086 40900 110324 1384 32190 105969 91495 111733 2601 33599 29244 88549 108787 144 30653 89958 10544 5035 110196 1256 32062 105841 81248 91367 52300 2473 92776 3498 16 34880 84066 108659 30525 104304 114423 110068 21815 31934 81120 91239 52172 2345 82529 28988 3370 83938 108531 30397 10288 4779 31806 91111 52044 2217 92520 53453 3242 34624 108403 30269 104048 36033 872 105457 90983 2089 33087 106866 92392 93801 30141 89446 10032 114039 35905 31550 105329 90855 376 32959 92264 34368 30013 89318 84963 80608 31422 90727 5804 86372 1833 92136 116729 112374 12452 118138 29885 103664 89190 35649 109428 31294 80480 90599 5676 86244 1705 106482 118010 29757 89062 84707 109300 5548 106354 32575 83170 33984 107763 117882 29629 3151 88934 109172 20919 31038 114936 85988 110581 111990 83042 33856 29501 713 88806 35265 109044 30910 5292 110453 1513 32319 116217 82914 33728 29373 88678 108916 55375 104561 30782 90087 114680 110325 1385 32191 91496 111734 2602 33600 29245 88550 108788 30654 89959 110197 1257 105842 32063 91368 52301 107251 92777 53710 84067 108660 17 30526 10417 114424 4908 110069 21816 81121 31935 105714 91240 111478 82530 28989 3371 83939 94058 30398 10289 114296 4780 31807 105586 91112 2218 92521 53454 3243 34625 30270 104049 114168 873 31679 105458 90984 2090 82274 33088 92393 88038 89447 114040 31551 105330 90856 377 32960 92265 87910 34369 30014 89319 35778 109557 31423 105202 90728 5805 86373 1834 116730 118139 29886 103665 89191 35650 109429 21176 31295 80481 90600 86245 1706 32704 106483 29758 89063 25403 84708 109301 80353 5549 106355 33985 3152 29630 88935 35394 109173 31039 80225 41158 90344 114937 5421 85989 110582 111991 107636 83043 33857 93162 29502 714 88807 109045 30911 41030 114809 5293 110454 32320 12211 116218 52558 82915 33729 29374 88679 108917 30783 104562 40902 110326 1386 32192 81378 91497 111735 2603 33601 117499 29246 88551 84196 108789 30655 10546 89960 110198 1258 32064 105843 91369 52302 107252 88423 3500 84068 108661 30527 114425 4909 110070 21817 91241 52174 92650 28990 3372 83940 108533 94059 30399 10290 114297 109942 70875 1002 31808 80994 91113 41927 2219 92522 3244 34626 30271 104050 36035 874 90985 2091 92394 30143 89448 114041 31552 105331 90857 378 32961 92266 87911 34370 93675 30015 89320 109558 31424 80610 86374 1835 32833 92138 112376 12454 29887 103666 89192 35651 84837 109430 80482 31296 90601 5678 86246 106484 107893 29759 89064 84709 109302 5550 110711 106356 33986 107765 83172 29631 3153 88936 109174 31040 80226 90345 41159 114938 85990 110583 32449 111992 83044 33858 107637 117756 29503 715 88808 109046 30912 41031 114810 5294 110455 1515 32321 12212 91626 116219 52559 33730 82916 29375 108918 30784 104563 40903 90089 5166 110327 1387 32193 91498 12084 111736 2604 33602 29247 35011 108790 30656 89961 110199 1259 32065 105844 91370 52303 3501 84069 108662 30528 114426 110071 21818 31937 91242 2348 28991 3373 83941 108534 94060 30400 10291 31809 91114 2220 82404 92523 3245 34627 108406 30272 104051 114170 36036 875 80867 90986 2092 92395 93804 30144 89449 10035 114042 35908 31553 105332 90858 5935 379 32962 106741 92267 34371 30016 89321 84966 109559 80611 31425 105204 90730 86375 1836 32834 92139 116732 87784 12455 118141 29888 103667 89193 35652 109431 31297 80483 90602 5679 86247 96366 29760 89065 84710 109303 80355 5551 32578 2989 33987 107766 117885 29632 103411 88937 109175 80227 31041 114939 5423 85991 110584 33859 83045 107638 117757 716 29504 88809 109047 30913 5295 110456 1516 32322 91627 116220 52560 111865 82917 33731 29376 588 88681 108919 104564 30785 40904 114683 110328 1388 32194 91499 111737 2605 33603 29248 88553 84198 35012 108791 30657 89962 10548 5039 110200 1260 105845 81252 32066 91371 52304 2477 53713 88425 3502 84070 34884 108663 30529 10420 114427 110072 21819 31938 105717 91243 28992 3374 83942 94061 30401 10292 114299 4783 31810 80996 105589 91115 2221 92524 3246 34628 30273 104052 114171 876 80868 31682 90987 2093 82277 106870 92396 88041 93805 30145 89450 114043 35909 31554 105333 90859 5936 380 92268 87913 34372 69084 30017 89322 84967 35781 80612 105205 31426 90731 86376 1837 32835 116733 112378 29889 103668 89194 35653 109432 31298 80484 16824 86248 1709 32707 118014 29761 89066 25406 84711 109304 80356 5552 2990 33988 83174 3155 29633 88938 109176 31042 41161 114940 5424 85992 110585 83046 33860 107639 117758 93165 29505 717 88810 109048 30914 5296 110457 1517 32323 116221 91628 82918 33732 589 29377 108920 55379 30786 104565 90091 40905 110329 1389 32195 81381 12086 91500 111738 2606 33604 29249 88554 35013 108792 30658 89963 5040 110201 32067 105846 91372 52305 2478 92781 88426 84071 108664 21 30530 10421 114428 110073 21820 81125 31939 91244 28993 3375 108536 83943 94062 30402 10293 114300 4784 109945 70878 1005 31811 41930 91116 2222 117118 92525 3247 34629 108408 30274 104053 40393 114172 36038 80869 105462 90988 2094 33092 92397 93806 30146 114044 89451 35910 31555 105334 90860 5937 381 92269 34373 93678 30018 89323 84968 105206 80613 31427 86377 1838 32836 12457 29890 103669 89195 35654 84840 109433 80485 31299 90604 5681 86249 96368 1710 32708 12329 107896 29762 89067 84712 109305 80357 5553 2991 107768 83175 33989 29634 3156 88939 35398 109177 31043 41162 114941 5425 85993 110586 32452 2863 83047 33861 107640 93166 718 29506 88811 109049 80101 30915 5297 110458 1518 32324 116222 33733 29378 590 108921 30787 104566 55380 90092 40906 5169 110330 1390 32196 91501 111739 2607 33605 117503 29250 35014 84200 108793 30659 89964 110202 1262 105847 32068 91373 52306 107256 88427 84072 30531 10422 114429 4913 110074 21821 81126 31940 91245 111483 2351 92654 28994 3376 83944 108537 94063 30403 1006 31812 105591 91117 2223 82407 92526 3248 34630 30275 104054 40394 114173 36039 90989 2095 33093 92398 30147 10038 114045 35911 31556 105335 90861 5938 382 106744 92270 87915 34374 30019 89324 80614 31428 105207 90733 86378 110971 1839 116735 112380 12458 29891 103670 89196 84841 35655 109434 80486 105079 31300 90605 5682 86250 1711 96369 32709 106488 107897 29763 89068 84713 109306 80358 5554 32581 2992 33990 107769 117888 29635 103414 88940 109178 31044 41163 114942 5426 85994 111996 2864 33862 83048 107641 719 29507 88812 109050 30916 5298 110459 1519 32325 12216 116223 33734 29379 591 88684 108922 30788 104567 40907 114686 90093 5170 110331 1391 32197 91502 111740 2608 33606 117504 29251 151 84201 35015 108794 30660 89965 5042 110203 1263 81255 32069 105848 91374 52307 2480 88428 3505 84073 30532 10423 4914 110075 21822 31941 105720 91246 28995 3377 94064 30404 10295 114302 4786 109947 1007 70880 31813 91118 2224 92527 3249 108410 34631 30276 104055 40395 10167 114174 36040 879 31685 90990 2096 82280 92399 88044 10039 114046 35912 80743 31557 105336 90862 5939 383 32966 92271 34375 30020 89325 35784 109563 31429 80615 105208 90734 86379 1840 116736 87788 29892 103671 89197 35656 84842 109435 80487 31301 96370 32710 107898 118017 29764 89069 25409 84714 109307 5555 32582 2993 33991 83177 107770 117889 3158 29636 88941 109179 31045 80231 114943 5427 85995 2865 33863 83049 107642 93168 29508 720 88813 109051 30917 5299 110460 1520 32326 106105 116224 2737 33735 592 29380 88685 108923 55382 30789 104568 40908 5171 110332 32198 81384 91503 111741 2609 33607 29252 152 35016 108795 30661 89966 10552 114559 5043 110204 1264 81256 32070 105849 91375 52308 2481 92784 53717 88429 84074 108667 24 30533 10424 110076 31942 81128 91247 28996 3378 108539 94065 30405 10296 114303 4787 109948 105593 81000 41933 91119 2225 117121 92528 3250 34632 108411 30277 104056 40396 114175 90991 2097 33095 106874 92400 10040 114047 89454 35913 31558 105337 90863 5940 384 32967 106746 92272 34376 93681 30021 89326 105209 80616 31430 86380 1841 112382 118146 29893 89198 35657 109436 80488 31302 5684 96371 12332 107899 118018 29765 89070 84715 109308 21055 31174 5556 32583 2994 83178 33992 107771 117890 29637 3159 103416 88942 109180 31046 80232 114944 32455 2866 83050 33864 107643 93169 117762 29509 721 88814 109052 80104 30918 90223 5300 110461 1521 32327 116225 91632 2738 82922 33736 29381 593 88686 108924 104569 55383 30790 110333 1393 32199 91504 12090 111742 2610 33608 29253 35017 84203 108796 30662 114560 89967 5044 110205 32071 81257 105850 91376 52309 2482 107259 53718 88430 3507 25 84075 30534 10425 114432 4916 110077 21824 81129 31943 91248 2354 92657 28997 3379 108540 94066 30406 109949 1009 91120 2226 82410 92529 3251 34633 30278 104057 40397 114176 80873 31687 105466 90992 2098 33096 106875 93810 114048 35914 31559 105338 90864 5941 385 92273 87918 34377 30022 89327 84972 80617 31431 105210 90736 86381 1842 32840 116738 87790 112383 118147 29894 103673 89199 35658 109437 80489 105082 5685 86253 1714 96372 106491 118019 29766 89071 109309 84716 31175 5557 86125 32584 2995 83179 33993 107772 3160 29638 103417 88943 109181 31047 114945 5429 85997 32456 111999 2867 33865 83051 93170 29510 722 88815 109053 30919 80105 5301 110462 1522 32328 116226 2739 33737 82923 29382 594 88687 108925 30791 104570 55384 114689 110334 1394 32200 91505 111743 2611 33609 29254 35018 108797 84204 30663 89968 114561 5045 110206 105851 32072 91377 52310 2483 88431 3508 26 84076 30535 104314 10426 4917 110078 21825 31944 105723 91249 28998 3380 83948 94067 30407 10298 114305 109950 70883 1010 31816 105595 91121 52054 2227 47699 82411 117123 92530 3252 34634 108413 30279 104058 40398 10170 114177 36043 882 80874 90993 2099 82283 33097 92402 88047 114049 35915 80746 31560 105339 90865 5942 386 32969 106748 92274 34378 30023 89328 35787 109566 31432 105211 80618 90737 86382 1843 32841 116739 87791 118148 29895 103674 89200 35659 109438 80490 90609 106492 29767 89072 25412 109310 84717 31176 90481 5558 33994 107773 83180 29639 3161 103418 88944 35403 109182 31048 80234 114946 5430 85998 32457 17983 112000 2868 107645 33866 83052 93171 29511 723 88816 35275 109054 80106 30920 5302 110463 1523 32329 106108 12220 116227 2740 33738 595 29383 88688 108926 30792 104571 110335 32201 81387 12092 91506 111744 2612 33610 29255 84205 35019 108798 30664 89969 10555 110207 1267 32073 105852 91378 52311 2484 107261 92787 53720 88432 3509 84077 108670 30536 10427 4918 110079 31945 91250 28999 24644 3381 108542 83949 94068 30408 10299 114306 4790 109951 41936 91122 52055 2228 92531 3253 34635 108414 30280 10171 40399 36044 883 90994 2100 33098 92403 114050 89457 35916 105340 90866 5943 387 32970 106749 92275 34379 93684 30024 89329 109567 31433 105212 80619 5815 86383 1844 112385 29896 89201 35660 109439 84846 105084 90610 1716 106493 32714 12335 29768 89073 84718 109311 5559 33995 107774 83181 29640 3162 103419 88945 109183 31049 80235 114947 32458 112001 2869 33867 107646 83053 117765 29512 724 88817 109055 80107 30921 90226 5303 110464 1524 32330 116228 91635 2741 33739 107518 596 29384 88689 108927 30793 104572 5175 110336 32202 91507 111745 2613 33611 29256 35020 108799 84206 30665 114563 89970 5047 110208 32074 105853 91379 52312 2485 53721 88433 3510 84078 30537 10428 114435 4919 110080 21827 31946 91251 2357 92660 29000 3382 108543 30409 4791 109952 105597 91123 52056 2229 82413 117125 92532 3254 34636 108415 30281 10172 40400 4663 36045 884 80876 90995 2101 33099 93813 114051 89458 31562 105341 80748 90867 5944 388 32971 106750 92276 87921 34380 30025 89330 109568 84975 80620 31434 105213 90739 86384 1845 32843 116741 87793 112386 29897 89202 35661 109440 105085 80492 90611 86256 1717 32715 107903 29769 89074 84719 109312 21059 31178 86128 83182 33996 107775 117894 3163 29641 103420 88946 109184 31050 114948 5432 33868 83054 117766 93173 725 29513 88818 109056 30922 80108 90227 114820 5304 110465 1525 32331 106110 116229 91636 2742 33740 29385 597 88690 108928 30794 104573 114692 110337 32203 91508 111746 2614 33612 29257 35021 108800 84207 30666 89971 114564 5048 110209 1269 32075 105854 81261 91380 52313 2486 107263 3511 84079 30538 104317 114436 110081 21828 31947 105726 91252 29001 3383 30410 114308 109953 70886 31819 105598 91124 82414 117126 92533 3255 34637 108416 30282 104061 40401 36046 105470 31691 80877 90996 2102 33100 82286 92405 88050 93814 40273 114052 89459 35918 31563 105342 90868 5945 389 32972 92277 87922 34381 30026 9917 89331 35790 31435 105214 80621 90740 86385 1846 32844 116742 92149 29898 89203 35662 109441 105086 80493 90612 86257 1718 83311 107904 118023 29770 89075 25415 109313 84720 21060 90484 5561 32588 2999 33997 107776 83183 3164 29642 103421 88947 109185 31051 114949 5433 33869 107648 83055 117767 93174 29514 726 88819 109057 30923 80109 90228 5305 110466 1526 32332 106111 12223 116230 91637 2743 33741 29386 598 88691 108929 55388 30795 104574 110338 1398 32204 81390 91509 111747 2615 33613 29258 84208 35022 108801 30667 89972 114565 110210 1270 32076 105855 91381 52314 2487 92790 53723 88435 3512 108673 30 84080 30539 10430 114437 4921 110082 31948 91253 92662 3384 108545 30411 114309 4793 109954 1014 105599 31820 81006 91125 52058 2231 82415 92534 3256 34638 108417 30283 40402 10174 36047 886 31692 90997 2103 33101 92406 93815 114053 35919 80750 90869 5946 390 32973 87923 34382 93687 30027 9918 89332 31436 105215 80622 5818 86386 1847 32845 112388 87795 118152 29899 89204 35663 109442 84849 80494 105087 86258 1719 32717 12338 29771 89076 109314 84721 31180 104959 5562 86130 32589 18115 3000 33998 107777 83184 29643 3165 103422 88948 35407 109186 31052 114950 83056 33870 107649 93175 727 29515 88820 35279 109058 30924 90229 5306 110467 1527 32333 106112 12224 116231 33742 107521 599 29387 88692 84337 108930 30796 104575 55389 5178 110339 1399 32205 81391 91510 12096 111748 2616 33614 29259 35023 108802 84209 30668 10559 114566 89973 110211 1271 32077 105856 91382 52315 2488 53724 88436 24776 3513 108674 84081 30540 104319 10431 4922 110083 91254 2360 92663 3385 108546 30412 4794 109955 1015 31821 105600 91126 52059 2232 803 82416 117128 92535 3257 108418 34639 30284 40403 36048 887 105472 90998 2104 33102 10047 114054 31565 80751 90870 5947 32974 106753 116872 92279 34383 103807 89333 84978 80623 31437 105216 90742 5819 86387 1848 32846 116744 112389 87796 118153 29900 89205 35664 109443 84850 105088 90614 1720 32718 106497 29772 89077 109315 84722 21062 31181 90486 86131 83185 33999 107778 117897 3166 29644 88949 109187 31053 114951 32462 17988 112005 2873 33871 83057 93176 728 29516 88821 109059 80111 30925 114823 5307 110468 1528 32334 106113 116232 33743 29388 88693 108931 30797 104576 114695 5179 110340 1400 91511 111749 2617 33615 29260 35024 108803 84210 30669 89974 110212 1272 32078 105857 81264 91383 52316 2489 108675 84082 30541 104320 114439 110084 105729 91255 108547 30413 114311 109956 1016 70889 21703 105601 31822 81008 91127 52060 82417 92536 117129 24521 3258 34640 108419 30285 104064 40404 36049 888 31694 90999 2105 82289 30157 40276 114055 35921 80752 31566 105345 90871 5948 32975 116873 92280 34384 30029 89334 35793 109572 105217 31438 80624 5820 86388 1849 32847 116745 118154 29901 89206 35665 109444 84851 105089 90615 1721 32719 83314 118026 29773 89078 109316 84723 21063 31182 90487 5564 86132 32591 3002 34000 83186 107779 117898 29645 103424 3167 88950 109188 31054 114952 5436 32463 2874 33872 107651 83058 93177 29517 729 88822 35281 109060 30926 80112 90231 5308 110469 1529 32335 106114 116233 33744 107523 601 29389 88694 108932 55391 30798 104577 90103 5180 110341 1401 12098 91512 111750 2618 33616 117514 29261 84211 35025 108804 30670 89975 114568 5052 110213 1273 81265 32079 105858 91384 52317 2490 92793 53726 3515 84083 108676 33 30542 104321 10433 110085 31951 91256 92665 108548 30414 114312 4796 109957 105602 91128 52061 2234 805 82418 92537 3259 34641 108420 30286 104065 10177 40405 36050 889 31695 91000 111238 2106 33104 30158 10049 114056 89463 35922 80753 31567 90872 5949 32976 106755 92281 116874 34385 93690 30030 89335 35794 31439 105218 80625 86389 1850 32848 82034 92153 112391 87798 29902 89207 35666 109445 21192 80497 105090 110854 1722 32720 12341 29774 89079 84724 109317 31183 104962 80369 90488 5565 86133 32592 3003 34001 83187 117899 29646 3168 103425 88951 109189 31055 114953 106243 17990 83059 33873 107652 730 29518 88823 35282 109061 30927 114825 90232 5309 1530 106115 32336 116234 91641 2747 33745 602 29390 88695 108933 84340 30799 104578 55392 40918 110342 1402 91513 111751 2619 33617 29262 35026 84212 108805 30671 114569 89976 5053 110214 1274 81266 32080 91385 52318 2491 107268 53727 29134 3516 34 84084 30543 104322 10434 110086 91257 2363 92666 3388 108549 30415 4797 109958 1018 70891 105603 91129 52062 2235 806 82419 117131 92538 3260 34642 30287 104066 10178 40406 36051 890 31696 91001 2107 33105 93819 30159 40278 114057 35923 31568 80754 41687 90873 116875 92282 34386 30031 103810 89336 84981 80626 31440 105219 90745 86390 1851 32849 116747 112392 29903 89208 35667 109446 21193 105091 31312 86262 1723 32721 106500 83316 29775 89080 109318 84725 31184 80370 90489 86134 32593 3004 83188 34002 3169 29647 88952 109190 31056 114954 32465 112008 2876 83060 33874 731 29519 88824 109062 30928 80114 90233 114826 5310 1531 32337 106116 12228 116235 2748 107525 33746 29391 88696 108934 55393 30800 104579 40919 114698 110343 1403 81395 91514 2620 33618 29263 35027 108806 84213 30672 114570 110215 1275 32081 105860 91386 52319 2492 107269 88440 35 84085 30544 104323 4926 110087 81139 105732 91258 88312 3389 108550 30416 114314 109959 21706 1019 91130 2236 807 82420 117132 92539 3261 108422 34643 30288 40407 10179 891 105476 31697 91002 2108 30160 40279 114058 35924 80755 105348 90874 5951 32978 106757 116876 92283 34387 30032 89337 35796 109575 31441 105220 80627 90746 86391 1852 32850 92155 116748 87800 29904 89209 35668 109447 105092 80499 5695 1724 32722 106501 118029 29776 89081 109319 84726 31185 104964 80371 90490 5567 86135 32594 3005 34003 83189 107782 29648 103427 3170 88953 35412 109191 31057 114955 5439 32466 112009 2877 33875 107654 83061 93180 29520 732 88825 109063 30929 80115 114827 90234 5311 1532 106117 32338 116236 33747 107526 29392 88697 108935 84342 30801 104580 90106 40920 110344 1404 91515 2621 33619 117517 29264 84214 35028 108807 30673 40792 89978 110216 1276 32082 105861 91387 52320 2493 92796 53729 88441 3518 84086 30545 104324 114443 4927 110088 31954 91259 2365 92668 29008 3390 108551 30417 114315 4799 36181 109960 21707 70893 31826 105605 91131 2237 808 82421 92540 3262 34644 108423 30289 104068 10180 36053 892 31698 91003 2109 33107 82293 108295 30161 40280 114059 89466 80756 105349 31570 90875 5952 32979 106758 92284 116877 34388 93693 30033 103812 89338 35797 109576 31442 105221 80628 90747 86392 1853 82037 92156 112394 87801 118158 29905 89210 35669 109448 84855 80500 31314 105093 1725 106502 32723 12344 83318 29777 89082 84727 109320 31186 104965 90491 5568 86136 32595 3006 34004 83190 29649 3171 103428 88954 109192 31058 114956 5440 32467 106246 112010 2878 33876 107655 83062 117774 733 29521 88826 35285 109064 80116 30930 114828 90235 5312 1533 32339 106118 12230 116237 91644 2750 33748 53986 29393 88698 108936 30802 104581 40921 5184 110345 1405 91516 2622 33620 29265 35029 84215 108808 30674 114572 89979 110217 1277 32083 91388 52321 2494 107271 53730 88442 3519 108680 84087 30546 104325 10437 110089 31955 91260 92669 108552 30418 4800 36182 109961 21708 31827 105606 91132 2238 809 82422 117134 92541 3263 34645 30290 40409 10181 36054 893 31699 91004 33108 93822 30162 40281 10053 114060 89467 35926 105350 80757 41690 90876 5953 116878 92285 34389 30034 103813 89339 35798 109577 84984 80629 31443 105222 90748 86393 1854 32852 116750 92157 112395 87802 29906 89211 35670 109449 21196 31315 80501 105094 86265 1726 32724 83319 29778 89083 84728 109321 104966 31187 90492 86137 32596 3007 83191 34005 117903 3172 29650 103429 88955 109193 31059 80245 114957 5441 32468 17994 2879 33877 734 29522 88827 109065 30931 90236 114829 5313 1534 32340 106119 116238 91645 2751 33749 107528 29394 606 88699 84344 108937 30803 104582 40922 114701 90108 110346 1406 81398 91517 111755 2623 33621 117519 29266 35030 108809 84216 30675 89980 114573 5057 110218 1278 32084 81270 91389 52322 2495 88443 3520 108681 84088 30547 110090 31956 105735 81142 91261 88315 3392 108553 30419 114317 109962 21709 91133 2239 810 82423 117135 92542 3264 34646 108425 30291 40410 10182 894 31700 91005 2111 82295 30163 40282 114061 89468 35927 80758 90877 5954 111115 32981 106760 116879 92286 34390 30035 103814 89340 35799 80630 31444 90749 86394 1855 32853 116751 92158 87803 29907 89212 109450 21197 31316 105095 80502 5698 86266 1727 118032 29779 89084 109322 84729 31188 104967 90493 86138 32597 3008 34006 107785 83192 3173 29651 103430 88956 35415 109194 31060 104839 114958 32469 106248 2880 107657 33878 117776 93183 29523 735 88828 109066 30932 114830 90237 5314 85882 1535 32341 106120 12232 116239 91646 2752 33750 107529 607 29395 88700 108938 84345 55397 30804 104583 90109 40923 110347 1407 91518 2624 33622 29267 84217 35031 108810 30676 40795 89981 5058 110219 1279 32085 91390 52323 2496 107273 92799 53732 3521 39 30548 104327 114446 110091 31957 91262 92671 3393 108554 30420 15946 10311 114318 36184 109963 21710 1023 31829 91134 2240 82424 811 92543 3265 34647 108426 30292 104071 10183 36056 895 80887 31701 105480 91006 2112 33110 108298 30164 40283 114062 80759 90878 5955 32982 116880 34391 93696 30036 103815 89341 35800 31445 80631 16971 90750 86395 1856 82040 116752 112397 87804 118161 29908 89213 35672 109451 84858 21198 31317 105096 5699 86267 1728 32726 12347 83321 29780 89085 109323 84730 31189 80375 104968 115087 90494 86139 32598 3009 34007 83193 29652 3174 103431 88957 109195 31061 114959 5443 32470 106249 2881 33879 107658 93184 736 29524 88829 35288 109067 80119 30933 90238 114831 5315 1536 32342 106121 12233 116240 2753 33751 107530 29396 53989 608 88701 108939 30805 55398 90110 5187 110348 1408 91519 2625 33623 117521 29268 35032 108811 84218 30677 89982 110220 1280 32086 91391 52324 2497 107274 53733 88445 3522 30549 104328 10440 4931 110092 81144 91263 2369 92672 88317 3394 108555 30421 109964 21711 1024 31830 91135 2241 812 82425 117137 92544 3266 34648 30293 104072 10184 36057 896 91007 2113 33111 92416 93825 30165 40284 10056 114063 105353 80760 41693 90879 5956 92288 116881 34392 103816 89342 35801 84987 80632 31446 105225 90751 86396 1857 32855 116753 92160 112398 29909 89214 35673 109452 84859 21199 105097 5700 1729 32727 106506 83322 29781 89086 109324 84731 104969 31190 80376 86140 3010 83194 34008 117906 3175 29653 103432 88958 109196 31062 80248 114960 5444 106250 32471 112014 2882 33880 83066 93185 737 29525 88830 109068 30934 114832 90239 5316 1537 32343 106122 116241 2754 33752 107531 29397 609 88702 84347 108940 30806 104585 90111 110349 1409 81401 116113 91520 2626 33624 117522 29269 35033 108812 84219 30678 89983 40797 114576 5060 110221 1281 32087 81273 91392 52325 2498 88446 3523 30550 10441 4932 110093 81145 105738 91264 2370 33368 88318 108556 30422 114320 36186 109965 1025 21712 31831 91136 12863 82426 813 92545 117138 3267 108428 34649 30294 104073 10185 36058 897 31703 105482 91008 2114 108300 10057 114064 80761 90880 5957 32984 106763 116882 92289 34393 103817 89343 35802 109581 31447 80633 90752 86397 1858 32856 116754 29910 89215 35674 109453 84860 21200 31319 105098 1730 83323 118035 29782 89087 109325 84732 31191 104970 90496 86141 32600 3011 34009 83195 107788 117907 29654 103433 3176 88959 35418 109197 31063 104842 114961 5445 32472 106251 2883 33881 107660 83067 29526 738 88831 35290 109069 30935 80121 114833 90240 5317 85885 1538 32344 106123 12235 116242 2755 33753 107532 610 29398 88703 108941 84348 55400 30807 104586 114705 90112 110350 116114 91521 111759 2627 33625 29270 84220 35034 108813 30679 40798 89984 5061 110222 1282 81274 32088 91393 52326 2499 107276 92802 3524 42 84092 30551 104330 10442 114449 110094 81146 91265 92674 88319 30423 10314 114321 109966 21713 31832 91137 2243 814 82427 92546 3268 34650 108429 30295 36059 898 31704 80890 91009 2115 33113 82299 114065 89472 35931 80762 90881 5958 111119 32985 116883 34394 69106 93699 103818 89344 35803 84989 31448 80634 90753 5830 86398 1859 82043 112400 118164 29911 89216 35675 109454 21201 31320 105099 110863 1731 32729 12350 83324 29783 89088 109326 84733 31192 104971 80378 16718 90497 86142 32601 3012 34010 107789 83196 117908 29655 3177 103434 88960 109198 31064 80250 114962 106252 2884 33882 107661 117780 739 29527 88832 35291 109070 80122 30936 114834 90241 5318 110479 1539 106124 32345 12236 116243 91650 2756 33754 107533 29399 53992 611 88704 84349 108942 30808 55401 90113 5190 110351 1411 91522 116115 2628 33626 117524 29271 35035 84221 108814 30680 40799 89985 5062 110223 1283 32089 81275 91394 52327 2500 107277 92803 3525 43 84093 30552 104331 4934 110095 31961 81147 91266 2372 117268 88320 3397 30424 10315 36188 109967 1027 21714 31833 91138 2244 815 82428 117140 92547 3269 34651 30296 104075 10187 899 91010 2116 33114 92419 108302 93828 10059 114066 35932 80763 41696 90882 5959 106765 92291 116884 34395 93700 103819 89345 35804 84990 80635 31449 105228 90754 5831 86399 1860 32858 112401 118165 29912 89217 35676 109455 21202 105100 31321 86271 1732 32730 106509 83325 29784 89089 84734 109327 31193 104972 80379 115091 86143 3013 34011 107790 83197 29656 103435 3178 88961 109199 80251 31065 104844 114963 5447 32474 106253 112017 2885 33883 107662 740 29528 88833 109071 80123 30937 41056 114835 90242 5319 110480 85887 1540 32346 106125 116244 2757 33755 107534 29400 612 88705 108943 84350 30809 114707 90114 110352 1412 105997 32218 81404 116116 91523 111761 2629 33627 117525 29272 35036 108815 84222 30681 40800 114579 5063 110224 1284 32090 91395 52328 2501 92804 3526 44 30553 104332 10444 4935 110096 31962 105741 81148 91267 111505 2373 117269 88321 108559 30425 10316 114323 4807 36189 109968 1028 31834 91139 52072 12866 2245 82429 816 117141 92548 3270 34652 108431 30297 104076 10188 36061 900 31706 105485 80892 91011 6088 2117 82301 108303 10060 114067 80764 105357 90883 5960 32987 57580 116885 92292 34396 103820 89346 35805 109584 31450 80636 105229 90755 5832 86400 1861 32859 118166 29913 89218 35677 109456 21203 31322 105101 1733 106510 83326 118038 29785 89090 109328 84735 31194 104973 86144 32603 3014 34012 107791 83198 3179 29657 103436 88962 35421 109200 20947 31066 80252 104845 114964 5448 32475 106254 112018 2886 33884 107663 29529 741 88834 35293 109072 30938 80124 114836 90243 5320 85888 110481 1541 106126 32347 12238 116245 2758 33756 107535 613 29401 88706 108944 84351 30810 90115 32219 116117 91524 33628 29273 35037 108816 84223 30682 40801 114580 89987 110225 1285 32091 91396 52329 2502 107279 68212 3527 30554 104333 114452 4936 110097 81149 91268 2374 33372 117270 88322 3399 30426 114324 36190 109969 21716 31835 91140 52073 2246 817 82430 92549 3271 34653 108432 30298 36062 901 31707 91012 2118 92421 10061 114068 89475 80765 90884 5961 111122 32988 116886 34397 69109 93702 103821 89347 35806 109585 105230 31451 90756 5833 86401 1862 82046 112403 83455 29914 89219 35678 109457 84864 21204 31323 105102 1734 32732 106511 12353 83327 29786 89091 84736 109329 104974 31195 115093 86145 32604 3015 34013 83199 68725 29658 3180 103437 88963 109201 31067 104846 80253 114965 5449 106255 112019 2887 33885 107664 117783 742 29530 88835 35294 109073 80125 30939 114837 5321 85889 110482 1542 32348 106127 116246 91653 2759 33757 614 29402 88707 84352 108945 30811 90116 114709 5193 32220 91525 116118 111763 33629 117527 29274 35038 108817 84224 30683 40802 114581 89988 5065 110226 1286 32092 91397 2503 107280 3528 30555 104334 4937 110098 31964 81150 91269 2375 117271 88323 3400 30427 36191 109970 21717 31836 81022 91141 52074 2247 818 82431 117143 92550 3272 34654 30299 10190 902 80894 91013 2119 92422 108305 93831 10062 114069 89476 35935 80766 41699 90885 34398 69110 93703 103822 9934 89348 35807 109586 31452 80638 90757 5834 86402 1863 32861 112404 29915 89220 35679 109458 31324 86274 1735 32733 83328 118040 29787 89092 84737 109330 31196 104975 90501 5578 86146 18131 83200 117912 3181 29659 103438 88964 109202 80254 31068 104847 90373 114966 5450 110611 106256 32477 2888 33886 107665 117784 743 29531 88836 84481 109074 30940 104719 41059 90245 114838 5322 110483 85890 1543 32349 106128 116247 91654 2760 33758 107537 29403 615 53996 88708 108946 84353 30812 90117 32221 106000 81407 91526 116119 2632 33630 117528 29275 35039 108818 84225 30684 40803 5066 110227 1287 32093 81279 91398 2504 107281 3529 30556 104335 10447 110099 1159 81151 31965 105744 91270 111508 2376 117272 92679 88324 3401 24664 108562 30428 114326 36192 109971 91142 12869 2248 819 82432 92551 117144 3273 108434 34655 30300 10191 903 31709 105488 80895 91014 2120 92423 108306 10063 114070 89477 35936 80767 90886 5963 106769 87940 34399 93704 103823 89349 35808 31453 90758 5835 86403 1864 32862 29916 89221 109459 21206 31325 86275 1736 12355 83329 29788 89093 109331 84738 31197 104976 90502 86147 32606 83201 34015 3182 29660 103439 88965 35424 109203 31069 80255 41188 114967 5451 32478 106257 2889 107666 33887 117785 93192 29532 744 88837 25177 35296 109075 30941 114839 90246 5323 110484 85891 1544 32350 106129 116248 91655 2761 33759 107538 29404 616 53997 88709 108947 84354 30813 90118 114711 1416 32222 116120 91527 33631 107410 29276 84226 35040 108819 30685 89990 110228 1288 32094 91399 2505 92808 3530 48 30557 104336 10448 114455 4939 110100 1160 31966 81152 91271 111509 2377 117273 88325 3402 30429 10320 114327 4811 109972 21719 1032 31838 91143 52076 2249 82433 820 92552 3274 34656 108435 80896 31710 91015 6092 2121 82305 92424 108307 10064 114071 35937 105361 80768 90887 5964 116889 34400 93705 103824 89350 31454 105233 80640 90759 5836 86404 1865 82049 112406 83458 118170 89222 35681 109460 84867 21207 31326 105105 86276 1737 32735 83330 29789 89094 109332 84739 31198 104977 90503 115096 86148 32607 34016 107795 83202 29661 3183 103440 88966 109204 20951 31070 104849 80256 114968 5452 106258 33888 107667 745 29533 88838 35297 109076 80128 30942 41061 114840 90247 5324 85892 110485 32351 106130 12242 116249 2762 33760 617 29405 88710 84355 108948 30814 90119 5196 1417 32223 106002 116121 91528 33632 117530 29277 88582 84227 35041 108820 30686 89991 110229 1289 32095 91400 2506 107283 3531 30558 104337 10449 4940 110101 1161 31967 81153 91272 2378 117274 3403 30430 36194 109973 21720 1033 31839 91144 52077 111382 2250 821 82434 117146 92553 88198 3275 34657 30302 36066 80897 91016 2122 108308 93834 10065 114072 35938 80769 41702 90888 34401 93706 30046 103825 9937 89351 35810 80641 31455 90760 5837 86405 1866 112407 29918 89223 35682 109461 84868 80513 1738 32736 106515 83331 118043 29790 89095 109333 84740 31199 104978 90504 5581 86149 106387 18134 83203 107796 117915 3184 103441 29662 88967 109205 20952 80257 31071 104850 114969 90376 32480 106259 112023 33889 107668 93194 746 29534 88839 109077 84484 30943 104722 41062 90248 114841 5325 110486 85893 32352 106131 116250 2763 33761 107540 29406 53999 88711 84356 108949 30815 90120 5197 1418 32224 106003 81410 116122 91529 2635 33633 117531 29278 35042 108821 84228 30687 114585 110230 1290 32096 81282 91401 2507 3532 30559 104338 10450 110102 81154 31968 105747 91273 2379 117275 92682 88327 3404 24667 108565 30431 114329 109974 1034 91145 12872 52078 2251 82435 822 92554 117147 3276 108437 34658 36067 906 31712 80898 91017 2123 82307 92426 108309 40294 114073 35939 80770 90889 5966 106772 34402 93707 30047 103826 9938 89352 35811 109590 31456 80642 105235 90761 5838 86406 1867 92170 83460 118172 29919 89224 84869 21209 80514 5710 1739 83332 29791 89096 109334 84741 31200 104979 5582 86150 1611 32609 83204 117916 29663 103442 3185 88968 35427 109206 31072 104851 80258 41191 114970 5454 32481 106260 33890 107669 29535 747 88840 35299 109078 30944 80130 114842 90249 41063 5326 85894 110487 32353 106132 12244 116251 33762 107541 619 29407 54000 88712 108950 84357 30816 90121 32225 106004 116123 91530 111768 2636 33634 107413 29279 84229 35043 108822 30688 89993 5070 110231 1291 81283 32097 91402 52335 2508 107285 92811 3533 51 30560 104339 10451 114458 110103 105748 31969 81155 91274 2380 92683 117276 88328 24668 3405 108566 30432 10323 114330 4814 109975 31841 81027 91146 52079 2252 82436 92555 117148 3277 34659 108438 30304 80899 31713 91018 6095 2124 92427 108310 10067 114074 89481 40295 35940 80771 90890 5967 116892 87944 34403 93708 30048 103827 89353 31457 80643 90762 5839 86407 1868 82052 112409 93580 29920 89225 35684 21210 105108 80515 5711 1740 12359 34147 83333 118045 29792 89097 84742 109335 104980 31201 90506 5583 86151 32610 83205 117917 29664 3186 103443 88969 109207 20954 31073 104852 80259 41192 114971 90378 106261 33891 107670 117789 748 29536 88841 25181 109079 84486 30945 104724 90250 114843 41064 5327 85895 110488 106133 32354 116252 91659 33763 620 29408 88713 108951 84358 30817 90122 5199 1420 32226 106005 116124 91531 2637 33635 117533 29280 88585 35044 84230 108823 30689 89994 5071 110232 1292 32098 81284 91403 2509 107286 92812 3534 52 30561 104340 10452 110104 1164 31970 105749 81156 11861 91275 2381 92684 117277 108567 30433 114331 109976 1036 81028 31842 91147 52080 2253 82437 117149 92556 88201 3278 34660 108439 30305 21595 31714 80900 91019 2125 92428 108311 93837 10068 114075 40296 35941 105365 80772 90891 41705 5968 106774 116893 34404 30049 103828 89354 35813 31458 105237 80644 90763 5840 86408 1869 112410 83462 29921 89226 35685 109464 21211 105109 5712 86280 1741 106518 34148 83334 118046 29793 89098 84743 109336 31202 104981 115100 90507 86152 106390 18137 34020 83206 3187 29665 103444 88970 35429 109208 20955 80260 31074 104853 90379 114972 5456 32483 106262 112026 33892 107671 749 29537 88842 109080 30946 80132 104725 114844 90251 5328 110489 85896 32355 106134 116253 33764 107543 54002 29409 88714 84359 108952 30818 90123 1421 32227 106006 81413 91532 116125 2638 33636 107415 117534 29281 35045 108824 84231 30690 114588 110233 1293 32099 91404 52337 92813 3535 53 30562 104341 10453 4944 110105 81157 31971 105750 91276 2382 117278 3407 108568 30434 109977 1037 81029 11734 91148 12875 111386 2254 825 82438 117150 92557 28897 3279 34661 108440 30306 36070 909 31715 80901 91020 2126 92429 108312 10069 40297 114076 35942 90892 5969 116894 87946 34405 30050 103829 9941 89355 35814 109593 31459 90764 5841 86409 1870 83463 68989 29922 89227 35686 105110 5713 1742 106519 34149 83335 29794 89099 109337 84744 31203 104982 80389 86153 1614 29666 103445 3188 88971 35430 109209 31075 104854 80261 90380 114973 41194 5457 32484 106263 112027 33893 93198 29538 750 88843 84488 109081 104726 30947 80133 114845 90252 41066 5329 85897 110490 106135 32356 116254 33765 107544 29410 54003 88715 108953 84360 30819 90124 110362 106007 32228 116126 91533 2639 33637 29282 88587 35046 108825 84232 30691 110234 32100 91405 107288 3536 30563 104342 10454 4945 110106 81158 91277 2383 92686 117279 3408 30435 10326 114333 4817 109978 31844 91149 111387 2255 82439 92558 88203 3280 108441 30307 104086 36071 910 80902 31716 91021 6098 2127 82311 92430 10070 40298 114077 89484 35943 80774 90893 5970 87947 24287 34406 93711 30051 103830 9942 89356 109594 35815 31460 105239 90765 5842 86410 1871 82055 92174 112412 118176 93583 29923 89228 84873 35687 5714 1743 106520 12362 34150 83336 118048 29795 89100 84745 109338 115102 86154 1615 106392 29667 3189 103446 88972 109210 31076 104855 80262 114974 90381 5458 112028 33894 117792 751 29539 88844 25184 109082 84489 35303 30948 104727 90253 114846 41067 5330 85898 110491 32357 106136 12248 17883 116255 91662 33766 117664 29411 88716 108954 84361 30820 90125 110363 1423 32229 106008 91534 116127 2640 107417 33638 117536 68350 29283 88588 108826 35047 30692 110235 1295 32101 91406 107289 3537 30564 104343 10455 114462 4946 110107 31973 105752 81159 91278 2384 117280 88332 30436 114334 109979 81031 31845 91150 111388 2256 82440 92559 88204 3281 34663 108442 30308 36072 911 21598 31717 80903 91022 108314 93840 15706 10071 114078 89485 40299 80775 90894 41708 5971 116896 92303 34407 30052 89357 9943 109595 31461 90766 5843 86411 1872 112413 83465 108058 29924 89229 109467 35688 21214 80519 5715 86283 34151 83337 118049 29796 89101 84746 109339 31205 86155 1616 18140 117921 3190 29668 103447 88973 109211 80263 31077 104856 90382 114975 41196 5459 33895 107674 117793 752 29540 88845 109083 35304 30949 80135 104728 114847 90254 5331 110492 85899 32358 106137 116256 33767 107546 117665 29412 624 54005 88717 84362 108955 30821 90126 110364 1424 106009 32230 81416 91535 116128 2641 107418 33639 117537 29284 88589 108827 35048 30693 114591 5075 1296 32102 81288 91407 2513 3538 30565 104344 110108 1168 31974 105753 81160 91279 17500 2385 117281 88333 3410 30437 114335 4819 109980 81032 91151 12878 2257 828 82441 92560 88205 3282 108443 34664 30309 36073 21599 31718 80904 91023 2129 82313 92432 108315 10072 40300 114079 89486 35945 105369 90895 5972 106778 87949 34408 108187 30053 9944 89358 31462 80648 105241 90767 5844 86412 1873 92176 83466 118178 93585 29925 89230 35689 109468 105113 80520 5716 86284 83338 34152 29797 89102 109340 84747 31206 104985 80392 86156 106394 83210 3191 29669 103448 88974 109212 31078 104857 80264 90383 114976 5460 33896 117794 68608 29541 753 88846 109084 84491 30950 104729 80136 114848 90255 5332 110493 85900 32359 106138 116257 107547 33768 117666 625 29413 54006 88718 108956 84363 30822 90127 110365 106010 32231 116129 91536 2642 33640 29285 88590 108828 35049 30694 40813 5076 1297 32103 91408 52341 2514 107291 92817 3539 57 30566 104345 10457 114464 4948 110109 81161 91280 2386 92689 117282 88334 3411 108572 30438 10329 114336 109981 1041 31847 11738 91152 2258 829 82442 92561 28901 3283 108444 30310 104089 36074 21600 80905 31719 91024 6101 2130 92433 10073 114080 40301 35946 80777 90896 5973 34409 93714 30054 103833 15580 89359 9945 35818 31463 90768 5845 86413 1874 82058 112415 83467 93586 89231 35690 109469 84876 21216 5717 86285 1746 34153 83339 29798 89103 84748 109341 31207 115105 86157 83211 29670 3192 103449 88975 109213 31079 104858 80265 114977 90384 5461 33897 93202 754 29542 88847 25187 35306 109085 84492 104730 30951 114849 5333 85901 110494 32360 106139 116258 91665 33769 117667 29414 626 88719 84364 108957 30823 90128 110366 1426 106011 32232 116130 91537 2643 107420 33641 117539 29286 88591 35050 108829 84236 30695 40814 114593 32104 91409 107292 3540 104346 30567 10458 4949 110110 81162 31976 91281 2387 88335 3412 108573 30439 114337 109982 1042 81034 31848 11739 91153 2259 830 82443 92562 28902 88207 3284 108445 30311 36075 21601 80906 31720 91025 82315 108317 93843 10074 114081 40302 31592 90897 41711 116899 87951 34410 93715 30055 9946 89360 35819 105243 31464 90769 5846 86414 1875 92178 112416 108061 83468 93587 29927 89232 84877 35691 21217 105115 80522 31336 5718 106524 12366 83340 34154 118052 29799 89104 84749 109342 31208 80394 115106 1619 106396 18143 117924 3193 29671 88976 109214 80266 104859 31080 114978 90385 5462 112032 33898 107677 755 29543 88848 84493 109086 35307 104731 30952 90257 114850 5334 110495 85902 106140 32361 12252 116259 33770 107549 117668 54008 627 29415 88720 84365 108958 30824 90129 110367 1427 106012 81419 32233 116131 91538 2644 107421 33642 117540 68354 29287 88592 108830 84237 35051 30696 40815 5078 32105 81291 91410 2516 107293 3541 104347 30568 40687 110111 31977 91282 2388 92691 3413 24676 34795 30440 114338 109983 1043 81035 31849 91154 12881 111392 82444 92563 88208 3285 108446 104091 30312 10203 36076 21602 915 80907 31721 91026 2132 92435 108318 10075 40303 114082 35948 80779 105372 90898 5975 106781 108190 34411 93716 30056 9947 89361 109599 35820 31465 105244 90770 5847 86415 1876 92179 83469 93588 29928 89233 84878 21218 31337 80523 5719 83341 34155 29800 103579 89105 109343 84750 80395 104988 31209 86159 1620 117925 29672 3194 103451 54265 88977 109215 31081 104860 80267 114979 90386 33899 756 29544 88849 109087 84494 104732 30953 114851 90258 5335 85903 110496 32362 106141 116260 107550 33771 117669 628 29416 54009 88721 108959 84366 30825 90130 110368 32234 106013 116132 91539 2645 107422 33643 29288 88593 108831 35052 20578 30697 40816 5079 1300 81292 32106 91411 2517 107294 92820 3542 60 104348 30569 10460 114467 4951 110112 1172 91283 2389 117285 88337 24677 3414 34796 30441 10332 114339 4823 109984 31850 11741 91155 2261 82445 832 92564 28904 88209 3286 108447 34668 104092 30313 36077 21603 80908 31722 91027 6104 2133 82317 92436 10076 114083 89490 40304 35949 90899 5976 57596 34412 103836 30057 89362 9948 35821 31466 105245 80652 90771 5848 86416 1877 82061 92180 112418 83470 108063 93589 118182 89234 21219 105117 31338 90643 5720 1749 12368 34156 83342 29801 89106 84751 109344 21091 31210 80396 104989 86160 1621 106398 117926 3195 103452 29673 88978 109216 31082 104861 80268 114980 5464 33900 117798 757 29545 88850 25190 35309 109088 84495 104733 30954 114852 5336 85904 110497 106142 32363 12254 116261 91668 33772 117670 629 29417 88722 108960 84367 30826 90131 110369 1429 106014 32235 91540 116133 2646 33644 107423 117542 29289 88594 108832 35053 30698 55291 40817 114596 5080 1301 32107 81293 91412 52345 2518 92821 3543 104349 30570 10461 4952 110113 1173 31979 81165 17505 91284 2390 88338 3415 34797 30442 4824 109985 1045 31851 91156 11742 2262 833 82446 92565 28905 3287 108448 30314 104093 36078 21604 80909 31723 91028 2134 108320 93846 69253 10077 114084 40305 35950 80781 31595 90900 41714 5977 116902 87954 83599 108192 34413 30058 103837 9949 89363 35822 105246 31467 90772 5849 86417 1878 92181 112419 83471 93590 118183 89235 109473 21220 31339 5721 86289 1750 106527 83343 34157 118055 68869 29802 89107 84752 109345 31211 104990 80397 115109 5593 18146 29674 3196 88979 109217 80269 104862 31083 90388 114981 112035 33901 107680 29546 758 88851 109089 84496 35310 104734 30955 90260 114853 5337 110498 85905 106143 32364 116262 107552 33773 117671 630 54011 29418 88723 108961 84368 30827 90132 110370 1430 32236 106015 81422 116134 91541 2647 0
330.17/330.22	c Terminating MUSer ...
330.17/330.22	c CPU Time: 329.74

Verifier Data

OK	18221

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-3493431-1307798864/watcher-3493431-1307798864 -o /tmp/evaluation-result-3493431-1307798864/solver-3493431-1307798864 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493431-1307798864.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: 3.06 0.84 0.86 4/187 20847
/proc/meminfo: memFree=31373104/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=4484 CPUtime=0 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 596 0 0 0 0 0 0 0 23 0 1 0 891485064 4591616 551 33554432000 4194304 5696331 140736926398016 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 1121 553 114 367 0 751 0

[startup+0.0843439 s]
/proc/loadavg: 3.06 0.84 0.86 4/187 20847
/proc/meminfo: memFree=31373104/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=21716 CPUtime=0.07 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 5363 0 0 0 7 0 0 0 23 0 1 0 891485064 22237184 4880 33554432000 4194304 5696331 140736926398016 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 5429 4882 114 367 0 5059 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21716

[startup+0.100309 s]
/proc/loadavg: 3.06 0.84 0.86 4/187 20847
/proc/meminfo: memFree=31373104/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=25104 CPUtime=0.09 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 6194 0 0 0 9 0 0 0 24 0 1 0 891485064 25706496 5711 33554432000 4194304 5696331 140736926398016 18446744073709551615 4208167 0 0 4096 24615 0 0 0 17 7 0 0 0
/proc/20847/statm: 6276 5711 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.300271 s]
/proc/loadavg: 3.06 0.84 0.86 4/187 20847
/proc/meminfo: memFree=31373104/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=43152 CPUtime=0.29 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 11380 0 0 0 28 1 0 0 25 0 1 0 891485064 44187648 10316 33554432000 4194304 5696331 140736926398016 18446744073709551615 4399885 0 0 4096 24615 0 0 0 17 7 0 0 0
/proc/20847/statm: 10788 10316 142 367 0 10418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43152

[startup+0.700205 s]
/proc/loadavg: 3.06 0.84 0.86 4/187 20847
/proc/meminfo: memFree=31373104/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=43572 CPUtime=0.69 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 11505 0 0 0 67 2 0 0 25 0 1 0 891485064 44617728 10441 33554432000 4194304 5696331 140736926398016 18446744073709551615 4416744 0 0 4096 24615 0 0 0 17 7 0 0 0
/proc/20847/statm: 10893 10441 142 367 0 10523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43572

[startup+1.5011 s]
/proc/loadavg: 3.06 0.84 0.86 5/185 20915
/proc/meminfo: memFree=31300388/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=46120 CPUtime=1.49 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 12128 0 0 0 147 2 0 0 25 0 1 0 891485064 47226880 11064 33554432000 4194304 5696331 140736926398016 18446744073709551615 4400122 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 11530 11064 142 367 0 11160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46120

[startup+3.10082 s]
/proc/loadavg: 3.06 0.84 0.86 5/188 20925
/proc/meminfo: memFree=31119188/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=37848 CPUtime=3.09 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 14794 0 0 0 306 3 0 0 25 0 1 0 891485064 38756352 9091 33554432000 4194304 5696331 140736926398016 18446744073709551615 4400331 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 9462 9091 143 367 0 9092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37848

[startup+6.30027 s]
/proc/loadavg: 3.14 0.89 0.88 6/188 20926
/proc/meminfo: memFree=30881740/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=70532 CPUtime=6.29 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 27694 0 0 0 623 6 0 0 25 0 1 0 891485064 72224768 17296 33554432000 4194304 5696331 140736926398016 18446744073709551615 4400217 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 17633 17296 148 367 0 17263 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70532

[startup+12.7002 s]
/proc/loadavg: 3.45 0.99 0.91 6/188 20926
/proc/meminfo: memFree=30700312/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=236720 CPUtime=12.69 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 69163 0 0 0 1256 13 0 0 25 0 1 0 891485064 242401280 58744 33554432000 4194304 5696331 140736926398016 18446744073709551615 4381173 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 59180 58744 149 367 0 58810 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 236720

[startup+25.501 s]
/proc/loadavg: 3.79 1.19 0.97 5/188 21040
/proc/meminfo: memFree=30787860/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=267952 CPUtime=25.49 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 76987 0 0 0 2531 18 0 0 25 0 1 0 891485064 274382848 66568 33554432000 4194304 5696331 140736926398016 18446744073709551615 4370288 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 66988 66568 150 367 0 66618 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 267952

[startup+51.1006 s]
/proc/loadavg: 3.24 1.27 1.01 3/176 21126
/proc/meminfo: memFree=30814516/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=351960 CPUtime=51.09 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 97886 0 0 0 5087 22 0 0 25 0 1 0 891485064 360407040 87464 33554432000 4194304 5696331 140736926398016 18446744073709551615 4403158 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 87990 87464 150 367 0 87620 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 351960

[startup+102.307 s]
/proc/loadavg: 2.54 1.38 1.05 3/176 21128
/proc/meminfo: memFree=30341828/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=804680 CPUtime=102.29 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 211124 0 0 0 10191 38 0 0 25 0 1 0 891485064 823992320 200661 33554432000 4194304 5696331 140736926398016 18446744073709551615 4301745 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 201170 200661 150 367 0 200800 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 804680

[startup+162.3 s]
/proc/loadavg: 2.20 1.49 1.11 3/176 21130
/proc/meminfo: memFree=30248948/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=880968 CPUtime=162.28 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230082 0 0 0 16185 43 0 0 25 0 1 0 891485064 902111232 219610 33554432000 4194304 5696331 140736926398016 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220242 219610 150 367 0 219872 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 880968

[startup+222.301 s]
/proc/loadavg: 2.07 1.58 1.16 3/176 21130
/proc/meminfo: memFree=30237016/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=880968 CPUtime=222.27 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230118 0 0 0 22183 44 0 0 25 0 1 0 891485064 902111232 219646 33554432000 4194304 5696331 140736926398016 18446744073709551615 4300638 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220242 219646 150 367 0 219872 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 880968

[startup+282.301 s]
/proc/loadavg: 2.02 1.65 1.21 3/176 21132
/proc/meminfo: memFree=30225476/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=880968 CPUtime=282.28 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230148 0 0 0 28182 46 0 0 25 0 1 0 891485064 902111232 219676 33554432000 4194304 5696331 140736926398016 18446744073709551615 4416833 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220242 219676 150 367 0 219872 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 880968

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

[startup+307.101 s]
/proc/loadavg: 2.10 1.70 1.24 3/176 21134
/proc/meminfo: memFree=30225224/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=307.08 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230158 0 0 0 30661 47 0 0 25 0 1 0 891485064 902725632 219686 33554432000 4194304 5696331 140736926398016 18446744073709551615 4301755 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219686 150 367 0 220022 0
Current children cumulated CPU time (s) 307.08
Current children cumulated vsize (KiB) 881568

[startup+319.9 s]
/proc/loadavg: 2.07 1.71 1.25 3/176 21134
/proc/meminfo: memFree=30221872/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=319.88 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230165 0 0 0 31941 47 0 0 25 0 1 0 891485064 902725632 219693 33554432000 4194304 5696331 140736926398016 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219693 150 367 0 220022 0
Current children cumulated CPU time (s) 319.88
Current children cumulated vsize (KiB) 881568

[startup+326.3 s]
/proc/loadavg: 2.07 1.71 1.25 3/176 21134
/proc/meminfo: memFree=30221748/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=326.27 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230168 0 0 0 32580 47 0 0 25 0 1 0 891485064 902725632 219696 33554432000 4194304 5696331 140736926398016 18446744073709551615 4381151 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219696 150 367 0 220022 0
Current children cumulated CPU time (s) 326.27
Current children cumulated vsize (KiB) 881568

[startup+327.901 s]
/proc/loadavg: 2.07 1.71 1.25 3/176 21134
/proc/meminfo: memFree=30221868/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=327.88 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230168 0 0 0 32741 47 0 0 25 0 1 0 891485064 902725632 219696 33554432000 4194304 5696331 140736926398016 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219696 150 367 0 220022 0
Current children cumulated CPU time (s) 327.88
Current children cumulated vsize (KiB) 881568

[startup+329.501 s]
/proc/loadavg: 2.06 1.72 1.26 3/176 21134
/proc/meminfo: memFree=30221868/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=329.47 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230170 0 0 0 32900 47 0 0 25 0 1 0 891485064 902725632 219698 33554432000 4194304 5696331 140736926398016 18446744073709551615 4300606 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219698 150 367 0 220022 0
Current children cumulated CPU time (s) 329.47
Current children cumulated vsize (KiB) 881568

[startup+329.901 s]
/proc/loadavg: 2.06 1.72 1.26 3/176 21134
/proc/meminfo: memFree=30221868/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=329.88 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230170 0 0 0 32941 47 0 0 25 0 1 0 891485064 902725632 219698 33554432000 4194304 5696331 140736926398016 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219698 150 367 0 220022 0
Current children cumulated CPU time (s) 329.88
Current children cumulated vsize (KiB) 881568

[startup+330.101 s]
/proc/loadavg: 2.06 1.72 1.26 3/176 21134
/proc/meminfo: memFree=30221868/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=330.07 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230170 0 0 0 32960 47 0 0 25 0 1 0 891485064 902725632 219698 33554432000 4194304 5696331 140736926398016 18446744073709551615 4300606 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219698 150 367 0 220022 0
Current children cumulated CPU time (s) 330.07
Current children cumulated vsize (KiB) 881568

[startup+330.201 s]
/proc/loadavg: 2.06 1.72 1.26 3/176 21134
/proc/meminfo: memFree=30221868/32951132 swapFree=67052544/67111528
[pid=20847] ppid=20845 vsize=881568 CPUtime=330.17 cores=5,7
/proc/20847/stat : 20847 (muser) R 20845 20847 19969 0 -1 4202496 230170 0 0 0 32970 47 0 0 25 0 1 0 891485064 902725632 219698 33554432000 4194304 5696331 140736926398016 18446744073709551615 4370288 0 0 4096 24615 0 0 0 17 5 0 0 0
/proc/20847/statm: 220392 219698 150 367 0 220022 0
Current children cumulated CPU time (s) 330.17
Current children cumulated vsize (KiB) 881568

Child status: 20
Real time (s): 330.261
CPU time (s): 330.246
CPU user time (s): 329.736
CPU system time (s): 0.509922
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 881568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 329.736
system time used= 0.509922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230171
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= 1003

runsolver used 0.45593 second user time and 1.15182 second system time

The end

Launcher Data

Begin job on node128 at 2011-06-11 15:27:44
IDJOB=3493431
IDBENCH=89514
IDSOLVER=1969
FILE ID=node128/3493431-1307798864
RUNJOBID= node128-1307798835-20450
PBS_JOBID= 13551022
Free space on /tmp= 74120 MiB

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

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

MD5SUM BENCH= 506b5f635b81c7e2a4dd5dbcee848ec4
RANDOM SEED=722641443

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31373780 kB
Buffers:        272124 kB
Cached:         919156 kB
SwapCached:      11368 kB
Active:         465048 kB
Inactive:       907180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31373780 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:            8240 kB
Writeback:         152 kB
AnonPages:      178960 kB
Mapped:          11780 kB
Slab:           140332 kB
PageTables:       5320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   412852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74100 MiB
End job on node128 at 2011-06-11 15:33:14