Trace number 3493711

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 400.567 400.556

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-nusmvtcastp2-tseitin.cnf
MD5SUMb89aeb63aa93f7d74332e7bb38b0b94a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark188.396
Satisfiable
(Un)Satisfiability was proved
Number of variables116886
Number of clauses331028
Sum of the clauses size772396
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2220684
Number of clauses of size 3110342
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3493711-1307802541.cnf ***
0.00/0.00	c 
0.29/0.39	c Parsing CPU Time: 0.374943
0.29/0.39	c Running MUSer ...
31.69/31.80	c 0.00% completed ... 
39.39/39.42	c 5.65% completed ... 
57.99/58.06	c 10.75% completed ... 
78.70/78.77	c 15.75% completed ... 
92.99/93.04	c 24.11% completed ... 
108.80/108.85	c 29.18% completed ... 
124.30/124.33	c 34.19% completed ... 
134.10/134.16	c 39.37% completed ... 
182.10/182.13	c 54.83% completed ... 
211.10/211.17	c 60.25% completed ... 
286.70/286.79	c 75.48% completed ... 
359.00/359.01	c 90.48% completed ... 
377.41/377.49	c 95.58% completed ... 
400.50/400.54	c 100.00% completed ... 
400.50/400.54	c MUS size: 18474
400.50/400.54	s UNSATISFIABLE
400.50/400.54	v 17051 273100 209440 283219 219559 317931 264390 34343 60345 257089 168836 267208 154362 115295 139888 41516 209312 155771 18332 92111 249788 225195 44334 251197 113758 187537 123877 320621 193301 203420 209184 145524 91983 190355 28323 161407 235186 97747 107866 58680 142578 89037 104920 154106 75972 307428 145396 91855 298718 73026 275534 78790 227757 75844 307300 243640 313064 59833 35240 192917 291289 203036 163969 297053 257986 243512 249276 323055 195735 29348 211618 309990 49586 147958 291161 227501 169605 249148 322927 259267 210081 23456 195607 107354 43694 211490 84170 120 280914 192661 163713 296797 233137 306916 169477 179596 115936 214308 249020 160767 259139 128873 153466 65213 163585 50739 81096 11801 52148 27555 146165 121572 68031 299487 8855 147574 83914 216998 290777 99797 267593 86732 283476 131563 299359 315242 251582 50483 267465 203805 273229 27299 297822 7190 195095 235571 171911 241335 124134 296285 232625 330997 281811 203677 140017 273101 209441 283220 317932 264391 288984 225324 304867 89294 187666 99413 320750 60346 193430 154363 139889 145653 219432 92112 97876 206367 241079 187538 123878 322031 145525 219304 155644 106458 42798 91984 136815 107867 177291 89038 60090 193174 203293 75973 110685 307429 282836 145397 155516 29605 15131 59962 256706 291418 307301 243641 195864 113375 187154 291290 163970 237749 257987 179853 273870 249277 259396 195736 33704 211619 147959 281043 163842 100182 296926 169606 194199 278097 17693 91472 259268 195608 293980 131948 68288 19102 275151 137712 280915 192662 129002 227374 178188 163714 262086 100054 169478 179597 214309 160768 185361 121701 275023 84043 34857 280787 217127 50740 36266 115809 274895 102744 299488 137456 83915 65086 36138 218408 115681 52021 283477 99670 296414 179213 203806 17181 51893 289113 304996 241336 315115 153083 187795 267338 140018 17053 234035 283221 317933 264392 92241 288985 225325 299104 83531 187667 286039 154364 76230 283093 145654 170247 155773 92113 235316 107996 44336 241080 177420 60219 267082 193303 41390 90576 174474 155645 91985 190357 171528 34089 177292 89039 123751 320495 74565 60091 158463 266954 75974 110686 307430 22433 323313 171400 29606 177164 113504 291419 323185 171272 195865 43952 281172 291291 114785 297055 179854 14876 9241 281044 192791 241977 291163 227503 325875 75590 100183 233267 278098 312810 185490 293981 19103 201373 275152 137713 211492 49460 122 84172 280916 291035 163715 262087 100055 296799 243258 130412 179598 214310 298208 185362 160769 23330 121702 195481 201245 112992 84044 128875 50741 179470 66624 52150 259013 96981 131693 299489 14492 137457 65087 163459 36139 17310 52022 86734 283478 23074 28838 299361 235701 305125 216872 54840 163331 36011 203807 41775 219690 67777 43184 313707 289114 73541 304997 241337 315116 187796 15645 320880 296287 257220 273103 27173 354 283222 219562 67649 92242 264393 225326 235445 329462 304869 241209 177549 187668 286040 320752 193432 76231 272975 225198 34218 241081 290267 177421 251200 89168 138354 187540 123880 222252 31272 174475 209187 190358 235189 97750 171529 240953 29735 251072 177293 187412 158464 193176 139635 75975 110687 194585 91858 323314 97622 73029 78793 227760 75847 307303 243643 155390 323186 195866 59836 256580 281173 291292 179855 312939 195738 132078 113249 59708 281045 241978 291164 325876 100184 278099 116067 312811 322930 185491 259270 210084 33578 201374 275153 211493 137714 84173 192664 217257 153597 296800 233140 306919 282326 243259 169480 179599 115939 160770 121703 131822 201246 112993 137586 84045 182417 217129 128876 36268 243131 169352 17439 121575 137458 186644 147577 83917 280661 118629 131566 299362 137330 38958 235702 284888 147449 83789 54841 321009 90962 17183 273232 219691 289115 299234 265931 15646 124137 320881 257221 331000 281814 203680 140020 51767 273104 355 234037 317935 92243 249920 34347 304870 241210 152957 177550 187669 320753 330872 76232 297569 209316 92115 274385 97879 34219 29864 177422 138355 187541 123881 222253 31273 203424 174476 209188 219307 155647 106461 225071 136818 97751 171530 107870 89041 113634 21026 193177 178703 203296 104924 139636 75976 323315 122216 97623 290012 29608 78794 275538 113506 320369 291421 276947 139508 307304 243644 292830 42545 313068 83021 177038 281174 291293 243516 195739 181265 132079 241979 217386 296929 233269 169609 116068 312812 185492 259271 195611 23460 265035 19105 162308 124 266444 217258 291037 153598 227377 178191 100057 243260 21923 169481 130414 115940 214312 23332 146297 230195 201247 275026 137587 49334 24741 84046 217130 227249 193946 17440 170762 14494 83918 118630 315374 36141 267597 70853 115684 52024 121448 67907 299363 38959 235703 329720 315246 251586 10140 75080 99673 321010 21539 252995 273233 283352 219692 299235 235575 186389 171915 216746 187798 173324 35885 281815 267341 203681 140021 189207 356 209445 283224 317936 225328 299107 73415 34348 314990 177551 251330 187670 286042 257094 232501 267213 139893 272977 258503 283096 92116 77642 298979 34220 241083 138356 113763 267085 193306 31274 203425 209189 155648 91988 28328 161412 58685 34092 29737 89042 113635 162821 187414 123754 74568 139637 110689 171403 97624 240827 29609 275539 113507 123626 291422 90323 292831 67139 313069 323188 245054 211751 163974 297058 27944 323060 195740 132080 226097 9244 211623 147963 256454 217387 291166 227506 149372 307049 169610 179729 278101 116069 17697 249153 195612 82766 131952 19106 68292 250562 113123 246207 84175 69701 178192 163718 100058 296802 85584 179601 214313 195484 121705 211367 147707 24742 84047 182419 128878 153471 163590 243133 169354 154880 179473 81101 17441 195356 96984 137460 14495 163462 65090 267598 17313 52025 23077 18722 38960 284890 83791 59198 305128 280535 315247 251587 321011 267470 41778 67780 313710 299236 137204 235576 171916 221102 265933 30122 187799 281816 267342 189208 273106 209446 283225 219565 264396 249922 34349 286043 257095 232502 60351 193435 267214 242621 229 219437 92117 225201 309099 122474 108000 44340 241084 152831 251203 113764 187543 123883 45749 203426 65987 76106 174478 145530 91989 235192 146939 107872 304616 142584 74569 193179 104926 75978 110690 307434 91861 329081 107744 44084 78796 275540 59967 20900 227763 139510 51257 75850 91733 313070 323189 259529 320243 330362 59839 163975 213161 12191 312942 249282 273875 259401 181267 176912 211624 309996 147964 217388 291167 163847 278102 249154 322933 259273 234680 210087 23462 195613 293985 131953 68293 265037 117479 162310 246208 84176 280920 178193 163719 85585 233143 306922 169483 243262 179602 115942 160773 259145 146299 230197 112996 24743 34862 128879 153472 138998 163591 36271 115814 121578 205476 250307 299493 137461 49208 147580 83920 315376 321140 99803 36143 267599 70855 131569 200993 251588 203811 322421 283354 313711 225458 299237 235577 171917 124140 257224 331003 273107 209447 283226 219566 155906 288990 329466 241213 216620 314992 251332 226739 15521 60352 257096 232503 109538 267215 230 233912 209319 145659 170252 155778 77644 298981 73289 97882 108001 206373 29867 113765 187544 31276 174479 145531 219310 131057 155650 106464 91990 190362 161414 58687 142585 177297 74570 60096 242366 203299 139639 11039 75979 307435 155522 313199 13589 8093 78797 59968 35375 291424 227764 146684 195870 240701 314480 211753 217517 291296 163976 249283 97370 309997 147965 281049 100188 233272 218798 179731 249155 210088 259274 121835 195614 131954 68294 265038 19108 275157 127 330107 291040 153601 227380 262092 169484 179603 115943 249027 185367 131826 275029 112997 137590 211369 123116 147709 153473 128880 163592 130289 66629 52155 234425 195358 264782 102750 83921 305258 315377 65092 115687 52027 86739 38962 138743 10143 99676 306539 203812 51899 209576 283355 313712 289119 299238 280409 15650 187801 124141 281818 267344 283227 22823 92247 288991 249924 225331 299110 137078 210857 329467 241214 251333 113894 187673 320757 60353 283099 145660 225203 235322 206374 44342 177426 21158 267088 31277 115175 76108 145532 106465 155651 91991 28331 161415 171534 34095 29740 226484 187417 123757 158469 75980 297317 307436 145404 323319 73034 171406 122220 107746 304490 44086 59969 291425 227765 307308 243648 130802 91735 42549 298598 161159 259531 43958 201635 275414 211754 281178 20774 249284 259403 9247 281050 241983 202916 227509 100189 233273 105953 179732 42293 210089 185496 195615 19109 265039 176786 29228 275158 128 84178 178195 163721 262093 179604 185368 23336 121708 195487 146301 328571 107234 43574 264911 137591 24745 147710 34864 84050 217134 243136 193950 179476 27563 121580 131699 289376 102751 163465 11681 52028 23080 67911 38963 235707 8735 122861 83794 329724 305131 315250 290657 54846 10144 36017 193694 267473 203813 219696 67783 289120 200867 299239 187802 124142 320886 267345 203685 140025 273109 234042 360 283228 194975 317940 155908 57536 264399 98012 171791 108131 329468 251334 177555 320758 232505 267217 145661 155780 254152 34224 177427 251206 138360 99293 123886 65990 106466 91992 136823 161416 235195 73163 171535 74572 60098 158470 75981 91864 224948 323320 161288 122221 44087 29613 113511 139513 90327 75853 307309 282716 243649 13463 185753 259532 15011 281179 59842 291298 132084 240575 226101 211627 9248 187034 281051 227510 90071 163850 100190 321527 296934 116073 322936 185497 259276 97244 195616 265040 275159 84179 280923 217263 262094 10529 163722 100062 233146 306925 169486 179605 130419 91352 214317 160776 68168 225845 24746 147711 217135 128882 163594 17445 52157 150529 299496 147583 315379 36146 131572 67912 264656 274775 1 235708 329725 315251 54847 10145 321015 267474 283357 121325 219697 57665 299240 34481 241344 320887 331006 281820 267346 179093 203686 140026 11426 361 283229 82130 155909 264400 8480 34353 304876 241216 177556 251335 187675 286047 320759 232506 330878 225205 136952 235324 122478 97885 83411 108004 177428 123887 21160 217904 193311 203430 139770 219313 155653 91993 288737 161417 171536 34097 177300 113640 60099 158471 203302 75982 110694 323321 73036 122222 29614 275544 113512 59971 266834 307310 46906 243650 313074 195873 304364 275416 211756 281180 297063 161033 259405 171152 132085 265169 226102 211628 217392 291171 163851 179734 278106 116074 17702 312818 259277 23466 195617 19111 137721 130 217264 291043 227383 178197 163723 75470 100063 179606 249030 160777 37812 131829 264913 201253 275032 137593 147712 84052 182424 217136 128883 227255 17446 96989 121582 131701 328445 49212 315380 114281 267603 115690 52030 185114 258893 67913 235709 329726 54848 251592 99679 321016 36019 267475 283358 219698 235581 171921 241345 265938 163211 331007 203687 140027 362 209451 92250 264401 200741 249927 299113 171793 108133 34354 241217 177557 251336 286048 257100 232507 193440 155782 57410 67529 288866 161546 122479 29871 113769 187548 203431 65992 174483 209195 155654 91994 136825 290147 29743 113641 187420 123760 74574 60100 104931 75983 145407 161290 171409 97630 44089 250952 78801 275545 113513 123632 313075 224822 259534 275417 211757 305774 163980 297064 81491 155270 13337 259406 132086 226103 9250 147969 241986 217393 227512 163852 307055 179735 116075 312819 249159 23467 131958 19112 68298 265042 137722 162315 246213 59588 227384 163724 262096 100064 243267 249031 160778 37813 97118 195490 146304 131830 230202 68170 137594 147713 182425 84053 153477 128884 36276 169360 243139 17447 248903 185243 83925 243011 70860 267604 17319 52031 186524 83797 305134 251593 67786 313716 264530 299242 147329 171922 305006 15654 257229 273112 209452 121199 155911 235454 108134 34355 314997 251337 202151 286049 257101 232508 60357 193441 267220 51647 272984 254155 155783 102242 122480 34227 44346 251209 113770 138363 123889 330752 203432 31281 76112 209196 145536 28335 136826 235198 161419 12311 58692 142590 123761 60101 158473 139644 307440 145408 91867 288611 235070 44090 78802 275546 291429 139516 145280 81620 17960 313076 259535 291301 139388 163981 297065 307184 312948 249288 259407 82901 265171 147970 296937 312820 249160 322939 160907 210093 259279 23468 195619 293991 68299 201383 246214 280926 153606 262097 306928 243268 169489 312692 249032 322811 259151 23340 131831 230203 264915 211374 147714 98528 4 182426 266324 128885 153478 163597 36277 81108 150532 96991 23212 299499 112874 147586 315382 227129 65097 99809 267605 17320 131575 328319 38967 54850 251594 267477 203817 184988 131447 313717 171923 187806 257230 331009 281823 273113 364 209453 283232 155912 288996 264403 225336 304879 241219 314998 251338 187678 60358 35765 232509 193442 203561 272985 209325 145665 254156 155784 288868 161548 97888 44347 241091 314870 29873 193314 209197 258383 145537 219316 106470 57284 155656 91996 190368 97760 107879 142591 177303 158474 203305 139645 209069 307441 145409 219188 155528 161292 73039 29617 78803 162701 59974 291430 46909 42554 195876 275419 211759 123506 305776 163982 321659 312949 249289 224696 259408 147971 281055 163854 100194 81365 249161 210094 7715 259280 195620 293992 68300 19114 246215 133 84183 280927 291046 153607 227386 178200 296810 169490 243269 179609 160780 185373 121713 264916 250442 201256 275035 137596 211375 147715 24750 34869 84055 128886 99938 193955 169362 81109 150533 185245 96992 23213 137468 211247 315383 154760 115693 248777 52033 86745 315255 54851 99682 36022 267478 203818 253004 115565 41786 51905 57669 18602 313718 289125 305008 59078 241348 187807 331010 257231 267350 234047 365 92253 288997 249930 225337 299116 171796 241220 314999 202153 286051 60359 218036 301934 16937 272986 209326 121073 145666 155785 288869 298988 171668 44348 265685 177432 242501 65995 11174 145538 106471 155657 91997 190369 142592 177304 29746 187423 123763 74577 193187 104934 139646 75986 307442 323325 161293 146819 171412 97633 73040 44092 291431 90332 307314 258128 243654 46910 81622 288485 259537 245063 107624 43964 275420 211760 260946 281184 51137 297067 145154 249290 323069 259409 23598 211632 330242 20652 163855 100195 149381 17706 12071 312822 210095 185502 19115 265045 201385 137725 9125 84184 280928 153608 227387 163727 233151 130424 185374 234560 259153 23342 195493 146307 121714 211376 137597 98530 182428 114413 198311 243142 169363 312566 185246 195365 112876 162062 138878 52034 86746 283490 235713 83800 305137 267479 203819 297836 283362 219702 328193 67789 289126 299245 221111 241349 251468 187808 320892 267351 154505 203691 140031 322301 184862 317946 155914 249931 235457 171797 108137 157323 251340 177561 286052 193444 267223 283106 145667 219446 155786 254158 18347 200617 225210 235329 108009 241093 314872 251212 226619 15401 60232 45758 21165 267095 209199 106472 42812 136829 235201 161422 97762 177305 123764 57158 130937 155530 91870 323326 107753 78805 94688 139519 208943 307315 243655 292841 91742 7973 259538 58439 260947 35255 281185 291304 213170 321661 179867 23599 132090 304241 314360 265174 291176 163856 100196 296940 194213 179739 17707 116079 312823 224570 322942 185503 259282 195622 117488 275165 137726 147845 246217 84185 217269 163728 50882 100068 306931 218678 81239 214323 146308 131834 68174 264918 53700 147717 182429 163600 179483 115823 52163 150535 121587 131706 299502 211249 137470 122996 147589 49217 163472 65100 17323 23087 131578 235714 284900 321021 253006 51907 248651 283363 219703 289127 235586 14249 320893 331012 306419 281826 267352 105320 203692 140032 189218 234049 367 317947 155915 249932 235458 34359 304882 157324 241222 315001 177562 251341 187681 232512 330884 109547 218038 301936 22703 254159 225211 200618 161551 210737 235330 97891 187553 60233 21166 193317 277215 16811 90590 322046 76116 209200 120947 219319 155659 91999 171542 107882 44222 142594 113646 203308 115055 272732 110700 323327 161295 44094 78806 275550 59977 75860 297197 307316 243656 46912 17964 195879 107626 43966 281186 59849 291305 227645 312952 288359 323071 298478 132091 181277 304242 305651 281058 241991 217398 227517 149383 145028 179740 278112 17708 116080 185504 259283 23472 131963 19117 246218 136 217270 291049 202796 227389 178203 163729 262101 100069 85595 233153 130426 214324 42173 52292 249036 146309 131835 314105 53701 29108 201259 275038 137599 211378 147718 84058 128889 227261 114415 198313 36281 81112 150536 121588 23216 96995 131707 107114 43454 299503 83930 173592 218423 267609 17324 115696 312440 52036 283492 67919 289256 235715 34616 10152 99685 321022 36025 169109 11561 219704 57672 8615 171927 305011 290537 251470 320894 331013 281827 193574 267353 203693 140033 368 92256 225340 299119 34360 241223 177563 251342 187682 124022 320766 257106 203565 184736 209329 283108 194855 219448 77654 225212 200619 235331 202028 29877 177435 138368 113775 123894 306164 45760 21167 267097 65998 76117 174489 155660 28340 136831 142595 113647 187426 99173 123766 74580 158478 110701 145413 210482 73043 171415 97636 107755 44095 275551 123638 281315 94690 46913 17965 42558 259540 195880 114800 163986 321663 297070 208817 282596 179869 312953 323072 185633 259412 132092 304243 14891 20655 217399 65486 296942 307061 278113 116081 249165 23473 68304 201388 186914 147847 217271 178204 227390 89951 163730 100070 36410 233154 243273 298223 259156 121717 195496 230208 137600 147719 84059 217143 153483 10409 99942 243145 193959 81113 179485 91232 115825 52165 7463 121589 23217 96996 131708 299504 98405 315387 202541 30390 163474 232898 70866 52037 273374 283493 83803 54855 10153 321023 106859 67792 313722 43199 299248 274655 171928 305012 177692 251471 15660 281828 257235 267354 248525 155917 92257 249934 235460 34361 251343 60363 257107 193447 218040 267226 105194 178973 209330 219449 82010 155789 288873 34233 314875 251215 113776 193319 203438 31287 174490 145542 235204 97765 83291 44224 113648 74581 123767 60107 16685 139650 307446 194600 155533 91873 33977 265433 275552 113520 291435 139522 90336 75862 272606 17966 42559 259541 195881 275424 211764 98918 305781 59851 266714 129275 227647 169751 243530 179870 249294 20656 217400 227519 322945 249166 210099 171032 195625 68305 201389 137729 74069 147848 178205 153612 163731 233155 306934 144902 243274 23346 146311 131837 230209 14636 147720 153484 163603 114417 75350 296687 233027 193960 105707 115826 17454 185250 211252 147592 83932 315388 99815 257492 70867 17326 131581 38973 203823 90977 312314 51910 297840 283366 258773 299249 161810 235589 171929 15661 187812 331015 257236 168983 267355 41663 155918 92258 289002 235461 171801 108141 304885 241225 202158 251344 163091 286056 124024 4389 232515 66128 139907 76247 297584 219450 145671 288874 200621 235333 171673 34234 29879 113777 123896 222268 31288 145543 219322 106476 67409 92002 42816 97766 74582 21041 104939 203311 139651 307447 8105 44097 59980 193064 291436 90337 81627 313083 42560 107629 58443 43969 275425 250832 211765 153869 227648 312955 323074 249295 259414 20657 100200 296944 208691 307063 194217 155150 179743 249167 195626 131966 58187 68306 289643 265050 139 84189 291052 153613 227392 65360 163732 233156 243275 21938 52295 249039 185379 23347 131838 230210 18992 68178 201262 275041 137602 147721 24756 98535 182433 59468 128892 193961 17455 115827 185251 96998 131710 112881 83933 118645 315389 10283 267612 17327 115699 27446 7337 283495 38974 99688 36028 232772 242891 203824 297841 283367 289131 235590 251473 89441 187813 331016 267356 371 209460 289003 299122 249936 235462 147209 171802 251345 50246 124025 320769 232516 272992 209332 145672 219451 155791 254163 288875 200622 298994 193321 105068 203440 66001 90594 51527 76120 145544 120951 42817 92003 186020 161427 107886 187429 123769 330632 256853 139652 307448 145416 126587 323331 171418 97639 78810 291437 90338 307320 243660 81628 313084 234950 33851 275426 211766 281190 163989 321666 272480 243532 179872 312956 323075 249296 265179 129149 227521 139268 100201 233285 194218 179744 185508 259287 131967 137731 147850 246222 84190 280934 227393 163733 36413 185380 259159 195499 146313 131839 24757 147722 217146 128893 99945 233029 36285 243148 169369 115828 322691 52168 150540 185252 195371 23220 96999 65105 99817 296561 283496 82397 235719 83806 34620 153230 227009 10156 203825 277604 297842 219708 67795 313725 289132 299251 235591 251474 187814 320898 203697 140037 209461 234054 317952 131327 299123 171803 108143 315006 177567 320770 232517 60366 168857 218043 267229 301941 139909 41537 76249 209333 145673 219452 47301 254164 200623 225216 161556 314878 138372 123898 320642 256982 35645 90595 155664 42818 28344 314750 142599 177311 123770 60110 104941 5544 258263 155536 91876 323332 73047 44099 113523 139525 243661 219068 46917 81629 91748 281191 192938 227650 307193 179873 273890 132096 304247 265180 49607 123386 227522 100202 173981 194219 116085 322948 185509 210102 195628 131968 19122 275171 147851 84191 280935 217275 100074 233158 306937 130431 214329 37823 195500 131840 230212 68180 211383 217147 128894 65234 163606 114420 99946 198318 306809 115829 150541 97000 121593 137476 211255 83935 217019 153359 17329 52041 23093 211127 235720 321027 154640 51913 27320 7211 219709 320899 232646 331018 281832 267358 115445 140038 273122 317953 18482 225345 241228 315007 177568 89315 124027 320771 330890 203570 301942 76250 283113 219453 170267 254165 225217 200624 161557 235336 34237 241100 123899 222271 70358 90596 219325 106479 92005 28345 298868 136836 171548 107888 44228 177312 113652 104942 203314 5545 110706 91877 126589 323333 275556 113524 59983 256727 94695 203186 46918 243662 259545 107632 43972 29498 113396 49736 281192 227651 297075 312958 323077 259417 132097 107504 304248 33725 265181 43844 275300 281064 217404 30779 227523 51017 233287 116086 312830 23478 19123 265053 330122 280936 217276 291055 129023 227395 178209 163735 262107 5033 21941 169499 11951 214330 249042 121722 230213 275044 137605 211384 9005 14 280808 217148 290927 227267 99947 198319 233031 179490 17458 115830 66644 150542 234440 121594 97001 131713 112884 49224 83936 118648 65107 267615 80990 115702 17330 52042 283498 195245 67925 235721 14384 99691 321028 296435 219710 235593 171933 153104 99563 320900 281833 140039 317954 155922 225346 299125 249939 241229 315008 177569 251348 124028 232519 257112 193452 322181 272995 209335 283114 219454 155794 200625 161558 171677 34238 241101 29883 177441 113781 123900 222272 256984 66004 41411 209207 282986 28346 161430 177313 226499 113653 15281 187432 123772 320516 74586 158484 110707 145419 8109 171421 29627 177185 275557 113525 187304 123644 94696 75867 46919 130817 313087 259546 305786 163992 321669 297076 243535 179875 91622 312959 273892 7853 259418 132098 289775 281065 192812 217405 227524 116087 249171 23479 131970 314240 68310 137734 49481 217277 178210 227396 262108 214331 52299 249043 259162 121723 195502 146316 264926 137606 211385 147725 128896 153489 233032 218558 169372 243151 179491 17459 115831 52171 23223 97002 68054 137478 49225 329867 118649 315393 153361 65108 179363 283499 122876 83809 216893 54861 321029 283371 67798 235594 171934 221120 83681 281834 257241 27194 273124 209464 155923 225347 299126 235466 304890 202163 330892 306299 60369 257113 21302 218046 193453 267232 139912 209336 283115 170269 254167 186152 171678 270050 314881 241102 177442 89189 113782 123901 256985 21174 267104 233801 22583 145548 210617 113654 74587 123773 158485 60113 110708 307452 145420 155539 91879 161303 73050 107762 44102 275558 291441 114935 139528 75868 292850 313088 323207 259547 58448 226244 275430 29500 211770 49738 256601 227653 213179 75740 321670 307196 243536 179876 229062 249300 265183 113270 217406 291185 227525 296949 272356 179748 312832 322951 298358 131971 33599 68311 117497 280938 178211 153618 10544 233161 306940 36417 169501 17588 249044 121724 195503 23352 131843 201267 98540 16 128897 153490 202676 227269 163609 114423 21815 179492 66646 150544 23224 82529 28988 211258 137479 83938 280682 315394 153362 163481 80992 130178 106994 43334 284909 54862 251606 203829 51916 57680 235595 171935 265952 251478 187818 296309 331021 257242 267361 189227 209465 219584 317956 155924 289008 235467 8495 122621 171807 108147 34368 290417 152978 286062 124030 109556 218047 203573 139913 76253 219456 145677 254168 235339 161560 34240 29885 251222 113783 187562 123902 222274 168733 193326 203445 76125 209209 282988 194735 120956 219328 235211 136839 177315 74588 203317 104945 307453 145421 91880 97644 29629 99053 123646 320390 59986 291442 75869 307325 22328 46921 62804 107635 43975 177059 275431 211771 260957 305788 59858 227654 321671 307197 229063 312961 323080 249301 259420 23609 181286 304251 289777 147983 100206 296950 272357 233290 282476 259292 131972 68312 265056 162329 14771 147855 84195 280939 192686 291058 153619 227398 163738 85604 243281 105842 115961 214333 52301 185385 131844 68184 275047 186794 49355 17 182439 114424 233034 17461 115833 150545 131716 147599 83939 118651 315395 65110 99822 36162 267618 179365 91112 115705 17333 52045 131588 299384 34625 99694 203830 253016 313730 289137 299256 28733 221122 216767 251479 187819 331022 257243 203702 317957 289009 299128 274535 249942 235468 73436 171808 34369 108148 304892 157334 202165 286063 124031 320775 218048 203574 272998 209338 283117 145678 219457 155797 77663 200628 299000 186154 270052 34241 222275 193327 168734 178853 203446 66007 155669 161433 245331 58706 107892 290162 44232 177316 89063 187435 123775 60115 139658 110710 307454 171424 83171 240848 29630 78816 291443 46922 243666 323209 265313 275432 211772 163995 75742 297079 312962 323081 249302 259421 195761 281068 256475 20664 291187 266594 100207 296951 272358 149393 307070 273767 249174 210107 185514 195633 117499 113144 137737 147856 246228 84196 227399 153620 100079 36419 21945 214334 185386 259165 170912 195505 146319 230217 131845 68185 53711 201269 98542 182440 217152 114425 99951 282221 169375 243154 179494 17462 115834 52174 195377 97005 82531 166429 49228 118652 75230 99823 267619 141708 186539 235725 83812 280556 251608 257372 36035 203831 67801 289138 137225 187820 320904 140043 273127 258653 219586 289010 299129 249943 161690 235469 171809 108149 304893 330895 60372 193456 267235 301947 209339 145679 219458 155798 92138 288882 225222 171681 314884 152852 177445 251224 162971 187564 138378 45770 193328 21177 168735 203447 170144 145551 106484 92010 274280 28350 235213 304637 44233 142605 123776 104947 110711 155542 67289 91882 126594 97646 78817 113529 20921 178598 139531 75871 243667 91754 313091 323210 249431 28094 29503 320264 227656 163996 321673 307199 82916 132102 289779 265186 176933 250712 147985 281069 20665 291188 153749 227528 100208 322954 185515 19128 265058 275177 246229 84197 217281 306943 169504 155030 115963 185387 146320 195506 131846 58067 68186 201270 211389 19 34883 266339 227272 163612 198324 115835 185259 121599 18872 68058 112889 211261 49229 147601 83941 59348 99824 267620 66521 283503 170657 23099 131590 201014 299386 315269 241490 251609 321033 51919 289139 299258 74975 320905 281838 267364 242771 140044 273128 145808 219587 225351 249944 235470 304894 216641 124033 60373 21306 218050 203576 301948 219459 225223 161563 186156 235342 73310 147089 304766 34243 177446 187565 138379 50126 123905 256989 21178 282991 219331 161435 171554 329231 142606 113658 203320 51407 81764 91883 13610 8114 97647 107766 29632 275562 162716 123649 330512 59989 94701 307328 233549 243668 81636 259551 107638 58452 43978 240722 227657 163997 307200 243540 179880 67034 312964 323083 273897 234830 97391 195763 304254 137867 211646 147986 217410 291189 272360 307072 185516 195635 294007 23484 19129 217282 291061 178215 139148 163741 169505 146321 121728 131847 201271 275050 113018 211390 20 114427 99953 198325 17464 115836 121600 23228 131719 82533 264803 201143 73823 83942 153366 179368 115708 322571 283504 67931 225608 299387 99697 321034 171939 280430 59093 265956 226889 251482 320906 267365 129926 203705 140045 155928 225352 299131 137099 235471 34372 304895 315014 124034 320778 60374 257118 21307 203577 301949 139917 76257 273001 209341 219460 170274 131207 254172 200631 108023 34244 265700 29889 113787 187566 256990 21179 168737 203449 11189 92012 190384 107895 113659 187438 74592 60118 35525 41289 5552 73055 97648 171427 107767 304511 314630 29633 275563 94702 307329 313093 323212 161180 259552 97520 58453 49743 281199 20795 75745 321675 307201 218948 243541 179881 323084 121985 195764 304255 281071 217411 291190 227530 272361 23485 19130 68316 265060 176807 275179 162333 137740 123266 147859 217283 163742 100082 257759 233166 52305 259168 121729 195508 131848 328592 201272 211391 217155 153495 198326 99954 169378 243157 17465 115837 66651 150549 97008 23229 112891 162077 83943 315399 153367 65114 99826 306689 80997 283505 235728 83815 34629 315271 251611 321035 22973 67804 200888 299260 211007 171940 305024 265957 251483 331026 257247 203706 219589 317961 155929 57557 299132 235472 34373 177576 330898 257119 21308 218052 267238 203578 115325 139918 27072 219461 18362 288885 200632 304768 314887 241108 29890 177448 187567 113788 123907 222279 256991 168738 267110 28353 136844 161437 73184 171556 58710 44236 113660 89067 60119 154136 76002 307458 155545 91885 224969 298748 97649 107768 275564 113532 291447 139534 307330 46926 323213 13484 259553 58454 275436 29506 211776 49744 305793 281200 35270 203066 243542 179882 249306 304256 132105 289782 240596 29378 211648 147988 281072 217412 291191 20668 296955 272362 233295 312838 23486 97265 195637 107384 68317 43724 462 201401 162334 147860 227403 153624 100083 36423 115966 214338 249050 37832 195509 131849 330002 22 153496 227275 163615 114429 99955 115838 11831 185262 97009 68061 201145 211264 8885 137485 83944 118656 315400 290807 153368 163487 65115 67933 264677 299389 34630 251612 50513 36039 203835 51922 121346 195125 299261 171941 245720 265958 187824 281841 257248 21437 267367 203707 219590 155930 289014 171813 108153 304897 177577 202170 286068 99443 267239 203579 301951 139919 76259 283122 145683 288886 200633 136973 186159 235345 270057 108025 29891 177449 113789 187568 138382 222280 168739 193332 209215 282994 92014 288758 225098 97778 58711 123780 110715 307459 282866 145427 18107 91886 73057 226379 29635 15161 123652 59992 291448 81639 97522 107641 304385 211777 187184 49745 59864 297084 312967 249307 161054 195766 275309 211649 147989 291192 242006 325904 100212 296956 272363 307075 233296 91502 195638 294010 19132 68318 463 162335 84201 291064 153625 178218 163744 100084 21950 243287 115967 52307 249051 185391 68190 201274 275053 98547 182445 34887 163616 99956 198328 179499 17467 185263 23231 97010 131722 328466 82536 68062 166434 274925 83945 118657 315401 65116 179371 185135 121475 299390 49105 34631 36040 179243 203836 11576 289143 299262 122756 305026 187825 331028 289015 200762 299134 249948 235474 83561 108154 241238 286069 320781 193461 301952 209344 283123 145684 57431 288887 299006 171686 270058 304770 34247 44366 251229 138383 187569 222281 306179 193333 168740 203452 120963 92015 190387 136846 107898 58712 187441 74595 60121 266984 104952 139664 41292 307460 145428 22463 81768 73058 171430 97651 78822 59993 291449 75876 307332 243672 81640 313096 224843 171302 211778 227661 75748 321678 297085 81512 312968 323087 13358 249308 195767 304258 265191 281074 291193 227533 75620 100213 272364 233297 243416 312840 249180 185520 195639 294011 19133 201403 137743 84202 280946 36425 233169 298238 249052 185392 259171 97139 195511 146325 131851 230223 137615 34888 24 182446 217158 198329 243160 179500 17468 115840 248924 185264 259043 195383 23232 68063 166435 201147 147606 83946 118658 202556 99829 81000 28868 235731 83818 315274 251614 163361 36041 203837 67807 289144 264551 43214 299263 187826 320910 203709 140049 121220 67679 289016 299135 249949 108155 34376 286070 320782 124038 330901 218055 193462 267241 27075 209345 283124 219464 145685 92144 200635 225228 161568 304771 314890 290297 241111 177451 251230 187570 123910 168741 21183 139793 209217 120964 145557 92016 190388 225100 136847 97780 107899 29765 177323 251102 41293 145429 194615 81769 155548 91888 288632 126600 78823 29637 113535 94706 139537 75877 307333 145301 292859 243673 155420 81641 91760 97524 98933 281203 227662 297086 307205 273902 132108 289785 265192 211651 147991 281075 59738 242008 325906 100214 257891 312841 249181 160928 185521 195640 84203 305540 217287 100086 282356 21952 185393 146326 195512 131852 230224 182447 25 34889 217159 227278 163618 114432 233042 179501 115841 23233 97012 121605 201148 211267 112895 186674 137488 147607 83947 65118 297983 283509 23105 121477 328340 299392 284918 147479 315275 300801 251615 321039 90992 51925 185009 289145 299264 251487 15676 203710 140050 189236 51797 249950 225357 304900 241240 177580 124039 320783 193463 267242 21312 203582 273006 27076 170279 42959 299008 274415 225229 186162 161569 235348 177452 251231 138385 123911 222283 154268 238166 209218 282997 145558 57305 92017 225101 235220 201917 113664 21056 178733 41294 81770 91889 126601 323345 73060 107772 78824 275568 29638 113536 123655 59995 75878 307334 243674 323217 259557 97525 83051 107644 260966 281204 291323 227663 307206 194360 243546 179886 323089 224717 23618 195769 181295 289786 275312 211652 147992 197178 217416 291195 307078 233299 81386 322961 185522 259301 195641 294013 23490 265065 240472 275184 147864 280948 291067 266474 100087 85613 306950 249054 146327 121734 201277 275056 137617 217160 163619 99959 36299 169383 66656 97013 121606 170792 195385 23234 131725 82539 147608 118660 50645 179374 248798 283510 121478 131597 299393 38989 98294 300802 75110 321040 21569 253025 219722 171945 305029 35915 21441 203711 140051 234068 219594 155934 264425 299137 225358 235477 157343 34378 315020 177581 187700 286072 124040 257124 21313 203583 16958 90737 139923 27077 76263 258533 121094 219466 254178 92146 77672 186163 171689 108029 304773 44369 93555 113793 187572 222284 203455 219338 81899 155678 92018 190390 28358 136849 161442 171561 44241 29767 177325 251104 162851 89072 187444 203327 104955 145431 171433 97654 73061 107773 275569 113537 59996 292861 67169 91762 313099 288506 323218 259558 43985 275441 75751 321681 307207 145175 243547 179887 229073 273904 27974 195770 289787 275313 197179 281077 217417 291196 227536 272367 149402 257893 116099 23491 294014 68322 265066 240473 201406 275185 250592 137746 227408 100088 233172 317070 130445 115971 52311 249055 160802 259174 195514 121735 131854 53720 211397 73958 24772 84077 27 182449 153501 99960 243163 154910 312587 150555 27590 82540 201150 112897 83949 118661 315405 99832 115715 52055 283511 23107 18752 235734 49109 147481 83821 59228 99704 321041 267500 328214 67810 171946 221132 320913 281846 257253 21442 267372 189238 184883 219595 317967 155935 299138 225359 171818 286073 257125 330904 218058 267244 242651 21314 203584 301956 139924 76264 273008 170281 254179 92147 288891 186164 171690 93556 314893 241114 177454 251233 113794 187573 123913 45779 168744 267116 21186 154270 238168 120967 190391 161443 136850 97783 146969 171562 107902 123785 213447 307464 258278 145432 57179 155551 91891 323347 107774 329111 78826 275570 29640 139540 51287 208964 46932 259559 97527 211782 330392 291325 321682 307208 233429 243548 179888 12221 132111 265195 281078 217418 291197 227537 163877 296961 322963 249184 224591 259303 234710 23492 68323 265067 240474 19137 117509 275186 217290 241883 178223 153630 163749 85615 306952 36429 81260 214344 115972 195515 121736 68195 28 182450 153502 227281 139028 163621 114435 99961 198333 36301 169385 66658 150556 185268 82541 68067 250337 211270 137491 147610 83950 315406 163493 65121 321170 134545 299395 235735 109824 36045 154655 203841 51928 322451 248672 219724 299267 225488 171947 15679 257254 21443 105341 317968 155936 289020 108159 241243 177583 226769 187702 15551 257126 218059 267245 129806 203585 139925 76265 273009 260 283128 299011 161572 235351 270063 177455 113795 187574 123914 256998 193338 16832 139797 283000 120968 145561 219340 131087 155680 92020 161444 136851 171563 138260 113667 74600 60126 242396 203329 11069 272753 110721 91892 313229 323348 78827 123658 59998 35405 94710 46933 81645 146714 107647 314510 29513 211783 59870 217547 291326 321683 297090 307209 288380 195772 132112 289789 275315 291198 51032 100218 296962 307081 257895 233302 145049 218828 116101 249185 259304 121865 195644 68324 305544 291070 153631 233174 243293 214345 52313 185397 23365 275059 137620 123146 29 84079 153503 114436 163622 99962 169386 179505 27592 234455 195388 23237 131728 166440 305288 83951 315407 153375 134546 81005 179377 115717 312461 52057 67940 299396 38992 235736 14399 315279 251619 138773 99706 36046 306569 169130 267502 209606 283385 219725 289149 15680 257255 267374 22853 289021 249954 210887 235480 108160 34381 241244 113924 187703 193467 218060 203586 273010 184757 283129 186166 171692 270064 187575 193339 203458 154272 115205 272882 145562 155681 18242 225105 29770 251107 187447 139670 5561 297347 110722 81774 73064 171436 29642 49880 59999 75882 243678 130832 91765 313102 298628 323221 201665 275444 211784 49752 227667 10814 75754 297091 208838 307210 195773 132113 275316 211656 147996 281080 291199 242013 202946 325911 65507 163879 272370 105983 179762 116102 42323 185526 259305 240476 275188 29258 158 153632 163751 262123 36431 21957 185398 259177 23366 146331 131857 107264 43604 137621 73961 24775 114437 10430 99963 169387 243166 81134 179506 7484 82543 68069 166441 83952 99835 50649 232919 169259 11711 52058 23110 121482 38993 8765 147484 98298 83824 315280 290687 251620 36047 193724 267503 67813 289150 299269 140055 248546 234072 195005 219598 289022 235481 98042 171821 108161 304905 329498 124044 330907 193468 267247 105215 203587 273011 283130 92150 288894 225234 171693 270065 108033 314896 44373 241117 177457 187576 138390 99323 222288 168747 21189 76139 233816 81903 155682 225106 136853 171565 60128 158500 16706 307467 81775 155554 323350 139543 75883 272627 282746 243679 323222 275445 15041 291328 129296 227668 307211 249315 289791 275317 211657 187064 147997 291200 90101 163880 272371 312847 249187 185527 259306 195646 294018 240477 233176 144923 243295 130449 91382 115975 185399 37841 131858 68198 201282 225875 147741 24776 227284 163624 99964 296708 36304 169388 179507 185271 121611 166442 68070 211273 137494 83953 118665 65124 81007 130193 283515 121483 67942 274805 49113 315281 54877 251621 321045 203844 312335 51931 283387 219727 289151 305034 34511 15682 169004 267376 179123 140056 41684 273140 234073 219599 299142 225363 8510 171822 177586 187705 286077 124045 320789 267248 21318 203588 263 145692 299014 225235 186168 235354 171694 83441 187577 257001 168748 139800 272884 209224 283003 145564 81904 155683 92023 190395 225107 136854 235226 104960 139672 81776 57183 323351 8126 122252 97659 107778 44118 275574 123661 60001 193085 266864 75884 243680 22343 81648 62819 259563 107650 275446 291329 227669 243552 179892 273909 249316 171182 211658 147998 217422 100221 272372 208712 307084 257898 179764 116104 249188 185528 259307 294019 23496 265071 240478 201411 14786 160 178227 65381 163753 75500 296837 169517 130450 115976 195519 121740 68199 73963 32 84082 182454 217166 163625 99965 298118 121612 195391 23240 131731 82545 68071 112902 83954 153378 65125 10304 169261 179380 52060 27467 283516 258923 7358 121484 131603 38995 321046 232793 267505 41813 283388 219728 313745 171951 305035 15683 89462 163241 267377 21447 140057 213836 234074 155940 43094 249957 225364 235483 171823 34384 315026 187706 124046 320790 257130 139929 76269 273013 145693 170286 254184 67559 235355 14018 171695 270067 108035 44375 251238 113799 257002 168749 21191 105089 203461 154275 139801 238173 11201 76141 145565 81905 155684 92024 190396 136855 161448 97788 107907 177331 251110 256874 193214 41301 91896 107779 29645 78831 275575 250982 113543 60002 194495 91768 313105 259564 33872 43991 49755 75757 272501 321687 307213 155300 179893 312977 323096 265200 281083 217423 129170 163882 243425 179765 116105 322968 210122 259308 23497 294020 68328 265072 240479 473 201412 275191 280955 59618 163754 262126 110213 130451 52317 259180 37843 121741 146334 131860 68200 211403 24778 84083 217167 153507 169390 243169 66663 150561 23241 131732 68072 166444 147615 315411 153379 65126 99838 296582 50652 134550 243041 21704 52061 283517 23113 299400 38996 147487 153251 321047 267506 299272 147359 171952 305036 315155 320919 257259 21448 267378 90872 17093 273142 155941 34385 304908 320791 257131 330910 168878 267250 218064 203590 301962 41558 51677 76270 27084 209354 219473 254185 288897 161577 270068 314899 177460 251239 113800 320663 257003 330782 267122 139802 238174 272886 219345 155685 106499 190397 274295 161449 136856 97789 171568 12341 107908 89079 60131 158503 104962 41302 307470 120845 155557 91897 323353 8128 235100 73068 107780 275576 113544 49884 139546 46938 62821 259565 275448 211788 49756 192959 139418 321688 179894 195777 289794 265201 49628 281084 291203 217424 163883 296967 272374 233307 312850 249190 322969 259309 195649 23498 68329 240480 19143 201413 211532 305549 280956 217296 153636 163755 262127 296839 36435 169519 52318 249062 322841 201285 24779 266354 217168 153508 227287 65255 163627 114441 99967 198339 150562 27597 185274 166445 211276 147616 217040 315412 153380 227159 163499 134551 169263 115722 86774 170672 67945 299401 49116 54880 10178 203847 41815 51934 27341 283390 7232 219730 131477 313747 171953 329630 320920 257260 232667 21449 267379 155942 289026 171825 108165 177589 89336 257132 35795 267251 21321 218065 203591 301963 76271 27085 254186 92154 288898 299017 186171 161578 235357 304781 177461 251240 187580 113801 168751 193344 272887 283006 258413 209227 145567 219346 155686 92026 136857 97790 107909 177333 29775 89080 113673 60132 158504 193216 104963 145439 219218 57186 323354 8129 97662 113545 162731 49885 123664 60004 256748 94716 46939 81651 323226 107653 275449 29519 211789 260975 113417 123536 49757 59876 297096 321689 67049 312979 249319 23627 195778 33746 265202 275321 242018 100224 296968 307087 257901 233308 179767 116107 249191 322970 210124 294022 23499 19144 68330 226007 280957 217297 129044 153637 163756 296840 36436 306959 52319 273656 185403 68202 250472 73966 153509 114442 163628 99968 198340 27598 150563 185275 195394 23243 131734 82548 201158 112905 147617 83957 315413 65128 134552 169264 154790 179383 81011 115723 299402 98303 266099 315285 54881 251625 296456 267508 253034 115595 283391 268917 219731 18632 289155 305038 59108 153125 257261 267380 219603 171826 108166 157352 34387 177590 320793 193473 218066 273016 209356 267 145696 288899 161579 235358 171698 241122 138395 193345 267124 242531 203464 154278 41432 145568 219347 106501 190399 122384 29776 177334 251113 113674 320537 193217 203336 120847 170033 81780 57187 146849 49886 60005 94717 291461 46940 243684 91771 313108 97535 275450 211790 305807 291333 227673 51167 75760 297097 307216 229082 249320 323099 259439 195779 275322 162476 211662 148002 330272 192833 325917 163885 149411 257902 243428 179768 116108 12101 185532 259311 294023 23500 201415 275194 9155 49502 164 291077 153638 227417 163757 262129 36437 233181 208588 243300 115980 249064 322843 259183 234590 68203 53729 275066 217170 114443 36309 169393 243172 27599 185276 131735 68075 137499 65129 138908 163501 99841 115724 86776 23116 102659 147490 216914 315286 300812 251626 99713 36053 267509 66410 268918 289156 299275 221141 329632 187838 15687 140061 312212 273145 27215 322331 299147 171827 108167 304911 202184 187710 124050 320794 232541 330913 193474 267253 203593 283136 145697 219476 155816 254188 92156 225240 171699 58853 108039 44379 314902 226649 89210 15431 222294 45788 154279 139805 76145 272889 61671 81909 155688 190400 171571 97792 187454 50015 123794 60134 158506 104965 41305 139677 307473 145441 219220 57188 130967 155560 91900 171443 73071 113547 139549 10949 292871 243685 81653 43995 260977 59878 256622 35285 291334 227674 297098 243557 289797 314390 275323 113291 211663 148003 197189 242020 325918 163886 257903 243429 312853 249193 322972 185533 259312 195652 23501 33620 240483 117518 226009 309907 84215 262130 208589 233182 169522 243301 218708 195524 68204 201288 285186 98561 84087 330017 217171 128918 227290 163630 99970 36310 179513 52193 150565 121617 68076 211279 123026 280703 118671 169266 21708 81013 52065 283521 67948 39000 83831 305168 315287 54883 251627 203850 115597 51937 67820 289157 299276 235616 14279 15688 296330 320923 306449 140062 189248 17097 312213 289029 313622 249962 225369 235488 157354 152999 177592 187711 286083 124051 193475 267254 139934 27088 269 22733 254189 299020 225241 210767 186174 235360 171700 270072 108040 93566 241124 138397 222295 60263 257007 154280 139806 322076 283009 61672 209230 145570 219349 81910 155689 92029 136860 235232 122386 206284 89083 158507 104966 115085 139678 307474 97665 181563 275580 226394 113548 123667 320411 60007 291463 75890 297227 46942 243686 107656 43996 177080 227675 179898 312982 298508 259441 289798 201545 275324 211664 148004 100227 307090 233311 17738 249194 185534 259313 195653 23502 131993 265077 211536 309908 305553 35030 192707 291079 217300 202826 178233 227419 85625 233183 208590 243302 42203 209999 185406 146339 121746 131865 314135 53731 275068 29138 49376 73969 24783 84088 182460 163631 150566 23246 121618 195397 131737 82551 107144 68077 166449 43484 137501 118672 153384 50657 218453 179386 115726 283522 131609 289286 39001 54884 267511 203851 77940 8645 122771 171957 305041 329634 290567 216788 187840 320924 193604 267383 21453 140063 312214 225370 73457 304913 34390 315032 286084 124052 257136 76275 209359 194885 219478 155818 225242 186175 235361 97922 171701 108041 44381 241125 251244 138398 306194 267127 203467 238179 145571 81911 155690 225114 161454 107913 251116 89084 113677 187456 99203 123796 60136 104967 139679 5570 307475 106376 81783 323358 210512 171445 240869 78837 60008 281345 291464 46943 91774 62826 43997 49761 114830 75763 321693 282626 307219 179899 312983 185663 259442 289799 265206 275325 14921 256496 163888 100228 257905 243431 259314 23503 68334 265078 201418 275197 226011 113165 186944 84217 305554 217301 178234 227420 89981 163760 296844 322846 259186 121747 201290 211409 24784 182461 153513 243175 91262 52195 23247 121619 82552 131738 68078 137502 147621 315417 202571 163504 99844 134556 273404 283523 23119 121491 299406 39002 49121 147493 98307 83833 280577 267512 203852 41820 283395 219735 106889 67822 313752 274685 137246 235618 171958 177722 251501 187841 257265 21454 225371 235490 14153 257137 330916 218070 179003 203596 76276 209360 82040 155819 186176 161583 171702 241126 314905 152873 251245 154282 139808 238180 155691 161455 97795 171574 122388 83321 304658 240998 29780 113678 123797 193221 219223 155563 91903 323359 97667 107786 265463 78838 49890 20942 139552 211794 98948 320285 59881 305811 291337 266744 307220 169781 243560 179900 195783 265207 176954 275326 163889 100229 296973 243432 179772 116112 312856 249196 259315 210129 171062 294027 23504 240486 74099 147878 84218 168 305555 153642 227421 296845 208592 36441 243304 179644 121748 131867 230239 24785 153514 227293 114447 75380 99973 23248 82553 68079 112910 211282 137503 49250 147622 315418 50659 36185 134557 52068 67951 201035 299407 137375 98308 321054 36057 41821 115600 66414 51940 283396 258803 219736 161840 235619 320926 257266 267385 21455 17100 108171 304915 216662 315034 177595 202188 163121 187714 257138 21327 203597 66158 139937 76277 297614 273021 92160 299023 161584 235363 73331 171703 241127 29909 251246 60266 257010 193350 139809 238181 76149 283012 209233 145573 155692 106506 67439 190404 136863 44255 201932 50019 123798 193222 104969 139681 120852 91904 323360 13631 275583 49891 123670 291466 42590 107659 240743 250862 29525 211795 305812 291338 297102 243561 259444 97412 195784 275327 217431 296974 257907 307093 243433 155180 179773 116113 259316 23505 58217 68336 240487 169 280963 217303 153643 227422 163762 262134 296846 36442 208593 306965 179645 19022 201292 113039 211411 73972 98565 84091 59498 153515 128922 99974 193991 169398 115857 195400 131740 68080 264824 137504 147623 315419 153387 179389 86781 299408 39004 14411 49123 98309 315291 251631 321055 36058 242921 41822 283397 219737 289161 171960 280451 329637 251503 15692 187843 320927 257267 273150 137120 235492 147239 108172 241256 202189 187715 21328 193479 267258 139938 273 155821 254193 92161 288905 235364 171704 113808 193351 267130 203470 154284 139810 51557 155693 28373 225117 136864 107916 241000 177340 251119 113680 50020 123799 60139 158511 330662 193223 203342 104970 73076 97669 107788 304532 49892 291467 90368 243690 91777 161201 234980 285575 211796 49764 305813 20816 227679 75766 297103 321696 307222 243562 17870 323105 259445 195785 211668 148008 242025 217432 139298 307094 179774 116114 322977 185538 23506 68337 240488 482 176828 275200 226014 309912 147880 84220 217304 178237 153644 227423 262135 208594 233187 169527 249070 322849 146343 131869 328613 264953 137633 24787 98566 84092 42 163635 36315 150570 322721 185282 23250 131741 68081 112912 266234 163507 99847 21713 81018 52070 23122 121494 39005 137377 147496 54888 251632 227039 99719 36059 289162 200909 235621 171961 315164 187844 281861 140067 312218 273151 131357 57578 235493 108173 181952 202190 124056 330919 193480 218073 203599 139939 283142 219482 155822 92162 288906 225246 108045 44385 241129 314908 113809 138402 222300 35675 203471 139811 238183 76151 219354 81915 225118 136865 73205 171577 122391 107917 206289 44257 314780 113681 50021 123800 158512 104971 219226 91906 224990 161330 107789 60012 46947 243691 219098 13505 44001 29527 162611 59884 227680 289803 240617 275329 123416 148009 281093 233316 249199 322978 185539 23507 97286 68338 211541 309913 84221 291084 178238 227424 262136 233188 208595 169528 243307 27734 37853 131870 230242 78329 98567 24788 227296 114450 99976 36316 306839 179519 52199 27606 185283 23251 121623 112913 211285 137506 118677 99848 115731 283527 121495 67954 264698 211157 54889 251633 267516 115603 121367 57707 289163 235622 305046 320929 267388 115475 140068 312219 273152 283271 18512 289035 225375 235494 58988 241258 177598 124057 320801 273024 275 288907 225247 299026 136994 186180 235366 171706 270078 29912 177470 138403 222301 257013 238184 283015 145576 219355 81916 288779 225119 298898 235238 107918 206290 241002 29784 187461 74615 123801 158513 242411 104972 139684 145448 120855 57195 91907 73078 275586 88961 123673 60013 291469 203216 75896 243692 107662 304406 44002 227681 243564 179904 161075 23636 107534 289804 43874 148010 20690 325925 163893 257910 233317 307096 249200 322979 185540 259319 131999 68339 265083 240490 201423 309914 172 280966 330152 291085 217306 227425 163765 208596 21971 169529 179648 11981 249072 185412 121752 131871 230243 264955 137635 9035 73975 290957 217178 169401 185284 234470 23252 121624 195403 82557 131743 328487 68083 166455 118678 153390 134561 36189 179392 115732 185156 283528 195275 121496 131615 137379 49126 54890 138788 321058 267517 313757 171963 329640 305047 251506 187846 99593 320930 281863 140069 297746 289036 200783 225376 235495 124058 257142 21331 139941 76281 322211 57452 225248 186181 235367 270079 44387 222302 60270 257014 267133 203473 154287 272897 145577 219356 155696 81917 18257 28376 136867 161460 97800 241003 177343 251122 226529 113683 187462 15311 123802 60142 104973 76025 145449 81789 57196 42722 323364 161332 73079 187334 113555 291470 130847 91780 224864 62832 44003 49767 291342 75769 243565 179905 81533 229091 91652 13379 7883 289805 265212 281095 35165 217435 163894 233318 307097 243437 312861 210134 68340 265084 314270 275203 226017 201424 147883 84223 291086 217307 178240 163766 262138 194123 179649 278021 249073 322852 185413 97160 121753 131872 264956 275075 45 241772 153519 218588 23253 121625 82558 68084 166456 118679 315423 153391 163510 50664 99850 169274 81021 115733 52073 283529 23125 299412 137380 122906 147499 300821 321059 267518 66419 283401 234215 219741 57709 264572 235624 171964 221150 83711 329641 315167 251507 187847 237033 15696 257271 273154 121241 225377 299156 235496 280327 304920 315039 187719 320803 330922 306329 21332 139942 76282 288909 186182 161589 171708 241132 314911 177472 113812 257015 203474 139814 209238 22613 106511 136868 161461 210647 235240 171580 122394 97801 113684 187463 74617 158515 90500 174398 145450 219229 81790 91909 288653 323365 161333 171452 88963 138149 49896 114965 292880 62833 259577 29530 211800 59887 243566 179906 273923 323109 259449 195789 304280 265213 275332 197198 217436 227555 325927 163895 296979 243438 130592 179778 116118 298388 160949 294033 132001 68341 117527 226018 211544 147884 84224 153648 227427 262139 36447 169531 243310 17618 101516 259193 121754 195533 131873 230245 176704 201297 211416 84096 46 290959 217180 202706 128927 227299 243182 27609 185286 23254 82559 29018 211288 137509 112916 315424 153392 99851 21717 131617 328361 107024 67957 43364 299413 39009 83840 315296 54892 70775 115606 185030 283402 268928 219742 67829 313759 235625 171965 329642 315168 237034 320932 257272 267391 189257 312222 297748 155954 8525 280328 108177 304921 290447 241261 315040 177601 267263 139943 76283 273027 170300 219486 155826 288910 92166 200657 299029 161590 235369 171709 93575 251252 113813 123932 222304 60272 193356 139815 76155 283018 194765 57326 190410 122395 107921 44261 241005 50025 123804 158516 21077 31196 139687 155570 91910 28250 323366 97674 275589 187336 113557 99083 123676 60016 139559 307355 22358 107665 260987 211801 49769 321701 297108 307227 229093 224738 259450 195790 265214 211673 296980 282506 257913 307099 243439 81407 179779 116119 312863 210136 294034 132002 226019 211545 280969 291088 217309 153649 227428 163768 36448 85634 208599 306971 194125 278023 27738 230246 201298 176705 137638 211417 186824 73978 24792 163640 169404 253302 66677 27610 52203 298133 185287 97034 195406 131746 68086 147629 118681 315425 36192 21718 179395 91142 248819 86787 299414 137382 54893 251637 51947 273284 283403 219743 28763 171966 83713 305050 320933 257273 267392 21462 203732 17107 289039 264446 43109 274565 299158 108178 280329 157364 304922 315041 281738 257145 21334 218078 193485 203604 16979 279 121115 155827 254199 92167 161591 235370 108050 29916 222305 193357 267136 178883 154290 203476 139816 238188 76156 209240 61682 106513 190411 225123 8270 122396 107922 290192 177346 251125 113686 187465 123805 50026 60145 203348 104976 90502 174400 5579 57199 97675 73082 83201 275590 149679 194510 243696 91783 288527 259579 265343 211802 75772 297109 145196 195791 148014 281098 266624 227557 296981 257914 307100 169661 243440 179780 116120 312864 68343 201427 275206 309918 217310 153650 227429 163769 100109 296853 233193 21975 179652 27739 322855 160823 185416 259195 170942 195535 146349 131875 53741 201299 176706 211418 178115 153522 114455 99981 282251 36321 243184 312608 52204 150576 27611 23256 131747 112918 118682 163513 75260 99853 36193 134565 21719 41957 86788 23128 121500 186569 49130 147502 83842 251638 99725 321062 257402 36065 41829 328235 235627 171967 329644 315170 21463 46056 90887 140073 273157 297750 184904 258683 155956 289040 299159 161720 235499 108179 330925 21335 193486 273029 283148 145709 254200 92168 225252 171711 44391 314914 177475 163001 123934 4299 193358 154291 203477 66038 139817 76157 209241 219360 274310 28380 235243 97804 171583 107923 206295 113687 50027 123806 193230 31198 76029 120860 219232 57200 81793 155572 67319 91912 42726 97676 73083 107795 275591 29661 74492 49899 291474 178628 139561 208985 307357 46953 249461 323240 259580 44007 29533 59890 297110 307229 323112 82946 289809 275335 250742 148015 281099 153779 227558 257915 233322 243441 312865 224612 68344 226021 211547 309919 177 227430 233194 21976 169534 243313 194127 81281 155060 312737 27740 185417 146350 195536 58097 264960 49 290962 227302 169406 179525 150577 121629 18902 211291 59378 99854 115737 283533 23129 170687 131620 67960 241520 315299 251639 267522 115609 66423 51949 248693 235628 171968 315171 251511 187851 75005 320935 281868 242801 105362 203734 312225 145838 219617 155957 225381 299160 280331 315043 193487 203606 301978 281 219489 225253 299032 186186 147119 171712 44392 29918 177476 113816 50156 123935 154292 16853 139818 209242 283021 120989 219361 122398 107924 206296 123807 139690 90504 51437 272774 209114 81794 161337 73084 138153 187339 123679 330542 291475 75902 233579 307358 46954 107668 44008 321704 179910 67064 288401 273927 259453 234860 275336 137897 211676 148016 163899 233323 307102 145070 243442 312866 27869 322985 132005 68345 265089 19159 211548 309920 147888 280972 84228 217312 178245 227431 139178 262143 100111 208602 21977 115994 273671 121758 195537 264961 176708 211420 198355 99983 121630 195409 82563 68089 50669 81026 179398 115738 312482 322601 283534 315300 321064 169151 267523 66424 57714 289170 83716 329646 315172 251512 226919 187852 129956 203735 17110 312226 289042 225382 299161 235501 280332 21337 76287 273031 184778 283150 145711 170304 131237 155830 225254 171713 108053 44393 265730 241137 60276 267139 203479 139819 209243 219362 225126 161466 107925 206297 44265 177349 251128 113689 123808 74622 158520 35555 104979 120862 170048 91914 323370 161338 107797 314660 88968 94732 291476 243699 91786 323242 259582 44009 75775 321705 208859 307231 218978 179911 312995 273928 259454 265218 211677 227560 325932 65528 163900 307103 243443 185547 265090 491 275209 226023 211549 123296 147889 84229 227432 100112 296856 208603 312739 249079 322858 185419 121759 195538 131878 230250 264962 176709 275081 51 10451 169408 81155 179527 66681 52207 7505 121631 23259 97038 68090 162107 137514 83973 315429 163516 99856 232940 306719 115739 283535 23131 121503 102674 299418 147505 315301 54897 267524 66425 41832 283407 23003 219747 57715 313764 289171 211037 251513 187853 15702 257277 21466 140076 312227 248567 297753 219619 155959 289043 225383 299162 280333 304926 241266 21338 218082 105236 203608 115355 76288 209372 170305 155831 18392 161595 235374 171714 108054 138411 113818 123937 222309 257021 203480 139820 81924 161467 235246 171586 122400 107926 123809 193233 104980 16727 76032 209116 145456 219235 81796 91915 42729 323371 298778 161339 171458 75904 272648 307360 259583 8018 58484 211806 59893 129317 203096 307232 179912 253691 273929 323115 195795 265219 289812 275338 29408 211678 227561 163901 296985 179784 116124 312868 185548 210141 294039 107414 43754 275210 211550 309922 147890 84230 291093 153654 296857 208604 36453 144944 243316 194130 278028 115996 37862 185420 121760 146353 195539 131879 230251 176710 201303 137643 52 290965 99985 296729 233069 66682 11861 27615 131751 8915 118686 315430 290837 153398 99857 36197 81028 41961 234350 23132 131623 67963 299419 39015 49134 36069 115612 41833 312356 195155 219748 57716 67835 305055 15703 320938 257278 169025 21467 203737 41705 283280 219620 155960 249977 299163 280334 108183 304927 241267 315046 99473 320810 203609 301981 76289 150068 170306 219492 92172 299035 161596 186189 171715 108055 251258 138412 123938 60278 257022 193362 76161 283024 209245 81925 106518 190416 171587 107927 206299 44267 50031 193234 104981 139693 90507 76033 174405 282896 81797 91916 323372 97680 113563 15191 187342 193106 5456 307361 57076 211807 187214 297114 307233 130727 312997 323116 23645 195796 296986 208733 257919 307105 243445 91532 116125 249209 294040 19162 201432 309923 217315 291094 153655 65402 100114 296858 36454 306977 179657 278029 312741 52337 27744 259200 146354 195540 230252 314150 201304 176711 211423 137644 24798 217187 128934 198358 99986 46445 66683 23261 195412 131752 82566 68092 274955 112923 147635 315431 153399 10325 36198 81029 179401 41962 27488 7379 67964 102676 299420 39016 34661 315303 251643 321067 36070 232814 179273 41834 11606 219749 235632 83719 329649 305056 89483 320939 257279 203738 17113 312229 273162 289045 299164 235504 83591 108184 280335 241268 251387 320811 257151 193491 203610 301982 285 209374 145714 92173 288917 241140 29922 257023 306209 193363 267142 105110 154296 203482 139822 238194 145586 190417 28385 225129 97809 206300 251131 113692 50032 256895 267014 193235 203354 31203 76034 174406 209118 22493 91917 126629 210527 97681 73088 107800 88971 94735 243702 57077 91789 323245 259585 171332 33893 211808 75778 272522 321708 297115 307234 195797 211680 148020 129191 75650 296987 257920 307106 116126 27873 294041 132009 19163 201433 275212 226026 217316 291095 153656 227435 100115 36455 208606 233199 169539 312742 27745 249082 322861 298268 185422 259201 195541 131881 176712 137645 24799 147764 54 217188 128935 153528 99987 198359 233071 17498 259073 185294 97041 137517 153400 202586 163519 50673 99859 296603 134571 41963 23134 121506 28898 147508 315304 153272 251644 300830 163391 99731 36071 51954 106904 43244 289174 235633 305057 315176 281873 21469 140079 273163 297756 219622 155962 67709 289046 249979 235505 108185 265862 320812 257152 168899 193492 21341 203611 41579 286 219494 92174 313511 225258 8405 171717 108057 44397 290327 113821 193364 154297 203483 238195 190418 225130 235249 97810 171589 122403 241013 113693 187472 123812 50033 104983 31204 209119 194645 145459 120866 219238 81799 91918 73089 34022 44141 138158 113565 49905 305954 94736 291480 307363 292889 155450 323246 259586 44013 98963 59896 192980 297116 307235 259458 211681 148021 197207 49649 59768 257921 233328 312871 27874 249211 185551 201434 275213 211553 280977 178250 233200 306979 282386 169540 243319 194133 115999 27746 259202 185423 146356 230254 162239 246137 55 217189 290968 153529 65276 99988 233072 243191 42092 27618 209888 23263 121635 97042 186704 50674 99860 36200 134572 86795 283539 23135 121507 131626 67966 137390 49137 83849 315305 251645 10199 267528 91022 115615 51955 27362 7253 268937 289175 299294 235634 315177 202331 251517 187857 232688 21470 203740 189266 51827 297757 283283 219623 155963 225387 299166 241270 315049 89357 330932 193493 267272 203612 301984 273036 248443 287 283155 155835 288919 274445 299038 108058 44398 93584 314921 29924 138415 257025 154298 209248 283027 145588 81928 28387 225131 97811 171590 107930 177354 74627 104984 178763 203356 139696 90510 155579 81800 126631 58616 113566 187345 49906 256769 291481 139568 307364 106265 8022 83081 44014 29540 260996 227693 179916 313000 323119 33767 211682 148022 242039 227565 163905 272396 233329 307108 243448 27875 322991 185552 195671 294043 132011 265095 19165 211554 98708 147894 84234 266504 129065 227437 262149 100117 85643 194134 179660 116000 312744 52340 101526 121764 195543 230255 211426 137647 227309 163649 99989 198361 144820 169413 179532 52212 259075 185296 97043 170822 195415 131755 211298 112926 153402 50675 36201 179404 81032 283540 121508 67967 300832 75140 99733 321070 296477 36073 267529 21599 51956 283412 83722 329652 315178 153146 251518 187858 237044 35945 281875 203741 297758 283284 289048 225388 299167 235507 157373 280338 265864 124070 301985 273037 248444 76293 209377 258563 283156 145717 219496 235379 108059 241143 138416 123942 60282 257026 168773 267145 203485 41453 139825 11225 61691 219368 81929 92048 190420 161472 107931 44271 251134 162881 320558 158526 90511 5588 76037 209121 120868 42734 91920 323376 107803 123686 60026 94738 291482 75909 243705 57080 155452 67199 91792 107675 44015 275471 75781 321711 179917 229103 28004 265224 289817 275343 197209 192854 227566 325938 163906 233330 307109 179789 294044 19166 265096 275215 250622 226029 211555 309927 49523 147895 84235 280979 178252 262150 100118 296862 194135 179661 249085 322864 101527 185425 259204 195544 121765 53750 275087 176715 162241 246139 57 128938 198362 169414 144821 154940 179533 137520 221418 34793 266249 315435 153403 65150 163522 99862 36202 115745 86797 283541 23137 18782 147511 59258 216935 54903 267530 41838 219753 299296 329653 241400 315179 251519 187859 15708 21472 140082 51829 273166 27236 289049 225389 299168 235508 171848 304932 257155 232562 330934 267274 242681 218088 76294 273038 248445 283157 249854 225261 161601 186194 171720 93586 314923 89231 113824 123943 222315 203486 76166 190421 161473 235252 146999 171592 122406 107932 206304 44272 29798 177356 74629 158527 193239 90512 76038 258308 145462 219241 155581 91921 323377 171464 73092 329141 142516 94739 16605 51317 75910 307366 243706 117795 162626 211812 59899 256643 330422 227695 321712 233459 307238 179918 12251 265225 113312 325939 163907 296991 116130 249214 234740 195673 33641 265097 226030 275216 137777 211556 147896 84236 280980 291099 178253 36459 306982 169543 243322 278034 185426 121766 195545 131885 68225 264969 201309 147768 290971 128939 153532 227311 139058 163651 169415 144822 179534 27621 146231 121638 82571 68097 250367 211300 280724 118692 99863 321200 36203 81034 41967 23138 131629 67969 102681 39021 54904 154685 115618 51958 322481 219754 67841 225518 299297 329654 305061 315180 15709 296351 21473 203743 140083 297760 283286 299169 59003 108189 304933 265866 241273 315052 153020 226799 15581 124072 257156 267275 218089 129836 203615 76295 313515 299041 161602 241145 251264 222316 60284 193368 283030 145591 131117 92050 161474 122407 171593 107933 177357 242426 203359 139699 41327 11099 174411 81803 91922 42736 313259 323378 161346 97686 34026 44145 88976 138162 187348 49909 123688 320432 60028 35435 75911 307367 243707 323250 259590 146744 107677 314540 177101 275473 217577 291356 227696 321713 297120 265226 275345 51062 296992 257925 243451 218858 116131 249215 121895 195674 226031 201438 211557 280981 192728 291100 100120 36460 194137 179663 278035 27750 195546 201310 137650 211429 162243 49397 123176 24804 280853 153533 163652 99992 233076 42096 259078 23267 195418 131758 137522 147641 305318 118693 179407 41968 57851 67970 39022 83853 251649 138803 99736 321073 36076 306599 209636 283415 219755 57723 235638 83725 305062 216809 315181 203744 140084 283287 22883 219627 155967 289051 249984 299170 210917 73478 171850 280341 113954 187733 124073 267276 193497 248447 27110 283159 161603 171722 270094 29928 193369 267148 154302 115235 139828 145592 81932 122408 97815 29800 251137 177358 89105 31209 90514 76040 174412 91923 97687 58620 107806 240890 177230 138163 49910 60029 155455 91795 323251 298658 259591 201695 275474 75784 297121 307240 148026 256517 35180 242043 202976 227569 296993 243452 106013 179792 116132 312876 27879 132015 500 201439 29288 275218 113186 211558 280982 291101 100121 296865 36461 233205 179664 278036 116004 52344 249088 322867 185428 23396 195547 146361 230259 107294 43634 176718 24805 60 84110 241787 163653 233077 144824 179536 42097 27623 131759 68099 166471 315438 163525 50679 41969 11741 23140 39023 8795 49142 147514 83854 280598 290717 251650 41841 283416 299299 137267 235639 315182 257286 21475 51832 297762 283288 195035 219628 155968 299171 98072 171851 280342 15583 320818 257158 193498 267277 203617 301989 248448 44403 241147 152894 251266 138420 113827 99353 123946 193370 139829 76169 233846 209253 155712 28392 235255 97816 171595 107935 304679 177359 187478 193242 31210 174413 76041 145465 219244 91924 126636 73095 88978 138164 60030 20963 291486 16608 75913 282776 57084 323252 259592 15071 211815 320306 59902 291358 227698 321715 297122 313005 323124 176975 275347 187094 148027 281111 242044 227570 233334 307113 179793 27880 195676 294048 132016 19170 275219 211559 153663 233206 306985 243325 194139 179665 91412 116005 37871 195548 264972 176719 24806 147771 61 280855 217195 290974 153535 163654 99994 198366 36334 233078 144825 243197 42098 23269 112931 137524 49271 147643 34797 65154 36206 130223 52089 283545 23141 131632 67972 201056 274835 83855 251651 267534 70790 115621 283417 299300 235640 34541 251523 187863 257287 281880 21476 179153 219629 155969 225393 108192 280343 265869 216683 315055 187735 124075 257159 193499 267278 218092 301990 248449 273042 209382 219501 288925 73352 171724 83471 304808 44404 29930 177488 138421 123947 203490 76170 81934 190425 225137 171596 107936 50040 306089 31211 203362 139702 90516 76042 120873 91925 13652 161349 73096 34029 44148 177232 113572 187351 49912 60031 266894 94743 291487 16609 139574 22373 240764 29546 275476 291359 227699 321716 179922 313006 323125 23654 97433 171212 275348 148028 221807 242045 163911 257928 233335 243454 179794 27881 322997 195677 132017 19171 265101 14816 147900 84240 280984 153664 178257 262155 75530 243326 179666 278038 116006 52346 27753 259209 121770 264973 176720 113060 211432 162246 147772 246144 84112 153536 163655 198367 36335 144826 169419 259081 131761 68101 264845 201185 99867 258953 86802 283546 121514 67973 39025 49144 202466 99739 321076 36079 267535 57726 28778 83728 329658 280472 315184 163271 187864 15713 320948 273171 289054 225394 137141 171853 251396 187736 124076 330939 267279 218093 301991 16994 248450 76299 273043 209383 283162 219502 67589 171725 270097 118184 138422 60288 267151 154305 139831 76171 219374 92054 225138 161478 44277 251140 177361 50041 74634 158532 139703 76043 174415 155586 323382 161350 73097 107809 304553 58623 44149 142521 251012 49913 60032 94744 291488 16610 307371 155458 161222 97562 44021 275477 20837 307243 155330 179923 313007 323126 265230 275349 98843 281113 163912 22118 312879 19172 265102 176849 226035 275221 211561 309933 191 84241 59648 217325 227444 178258 262156 296868 169548 278039 322870 185431 259210 23399 121771 264974 275093 24808 147773 246145 280857 227316 114470 163656 198368 282266 169420 144827 179539 185303 97050 131762 68102 166474 112933 315441 128816 163528 50682 243071 81039 115751 283547 23143 121515 57855 39026 49145 147517 54909 70792 267536 41844 51963 283419 219759 57727 200930 147389 329659 187865 21478 203748 51835 297765 273172 57599 289055 225395 299174 171854 304938 280345 241278 320821 257161 330940 267280 203620 51707 76300 248451 209384 219503 313520 288927 225267 161607 171726 270098 304810 177490 113830 60289 257033 330812 209256 225139 274325 235258 161479 73226 122412 12371 171598 107938 206310 29804 113702 158533 193245 31213 174416 219247 155587 42741 225011 323383 161351 235130 171470 142522 177234 123693 60033 94745 178643 75916 307372 57087 28139 13526 211818 59905 291361 227701 139448 321718 179924 265231 240638 275350 163913 296997 179796 116136 97307 265103 226036 275222 211562 309934 84242 262157 100125 296869 36465 306988 243328 194142 169549 312752 185432 259211 195551 121772 68231 176722 201315 137655 24809 64 280858 217198 290977 266384 153538 227317 163657 99997 144828 115880 185304 97051 23272 121644 68103 166475 201187 112934 34800 153410 227189 36209 41973 23144 121516 170702 57856 131635 67975 264719 102687 54910 115624 51964 283420 121388 219760 268946 131507 57728 67847 289184 329660 305067 75020 320950 257290 21479 203749 273173 283292 249989 108195 304939 241279 315058 265872 187738 124078 257162 35825 330941 218095 203621 301993 76301 233978 288928 225268 137015 161608 171727 304811 314930 60290 281627 193374 76173 258443 81937 161480 122413 107939 206311 158534 193246 31214 203365 139705 90519 209129 120876 155588 91928 323384 73099 97692 177235 162761 113575 88982 187354 49915 123694 307373 323256 274070 259596 97564 304427 275479 261005 123566 291362 227702 276888 321719 297126 67079 313009 161096 265232 275351 20711 227574 179797 116137 19174 226037 201444 193 280987 217327 153667 100126 296870 169550 243329 179669 249093 146366 201316 250502 275095 211435 137656 162249 84115 153539 227318 114472 198370 130355 42102 214253 259084 185305 121645 131764 328508 68104 201188 211307 128818 178004 154820 57857 67976 102688 299432 14435 49147 54911 251655 99742 321079 36082 41846 51965 283421 219761 18662 313778 299304 235644 83731 305068 59138 315187 237053 257291 267410 203750 283293 170447 219633 155973 200804 171856 157382 265873 251399 187739 15588 124079 173265 193503 267282 301994 209386 283165 57473 299048 161609 235388 171728 270100 241152 216559 251271 29934 123951 257035 330814 242561 267154 76174 283037 61700 225141 122414 12373 97821 251143 177364 113704 50044 193247 139706 5597 76046 145470 73100 97693 146879 171472 107812 123695 49916 94747 110630 155461 224885 323257 259597 97565 107684 275480 74381 276889 51197 297127 307246 229112 13400 195809 148032 320183 330302 281116 307118 179798 116138 12131 312882 27885 210155 195681 132021 240512 19175 201445 275224 211564 9185 291107 153668 227447 163787 262159 100127 233211 179670 66824 116010 322873 52350 234620 97181 230265 68233 53759 162250 147776 84116 280860 69642 163659 198371 179542 42103 195425 57986 131765 68105 166477 112936 137529 147648 315444 153412 227191 138938 163531 65159 179414 81042 23146 121518 147520 251656 300842 268948 67849 289186 264593 299305 235645 305069 251528 15717 51838 322361 297768 283294 121262 219634 155974 249991 171857 265874 251400 15589 320824 173266 257164 330943 193504 267283 203623 248454 233980 317878 270101 44409 241153 216560 29935 177493 251272 226679 15461 113833 203495 76175 209259 293157 106532 92058 225142 136889 235261 12374 171601 97822 107941 187484 50045 60164 158536 76047 219250 130997 288674 126642 44153 177237 88984 60036 94748 291492 10979 75919 91802 313139 323258 259598 8033 211821 123568 35315 59908 75791 297128 307247 243587 304301 314420 148033 197219 320184 321593 297000 257933 233340 243459 27886 160970 195682 294054 132022 201446 275225 147905 262160 36468 233212 306991 243331 218738 194145 179671 278043 116011 249095 101537 146368 23403 230266 68234 264978 162251 147777 330047 217201 290980 69643 153541 227320 163660 100000 144831 243203 130357 42104 214255 97054 23275 166478 137530 112937 123056 147649 315445 99872 36212 41976 189534 234365 283551 121519 131638 328382 67978 299434 39030 83861 305198 251657 54913 115627 185051 289187 235646 14309 187869 320953 306479 267412 297769 209516 283295 219635 155975 108198 241282 315061 15590 257165 193505 267284 203624 139964 273048 22763 219507 313524 200678 225271 299050 210797 235390 44410 93596 241154 216561 29936 251273 217970 193377 154310 139836 322106 283039 61702 81940 57347 92059 190431 171602 97823 29808 158537 203368 115115 139708 90522 76048 174420 145472 126643 161355 58628 44154 29680 226424 113578 187357 123697 291493 139580 297257 110632 28143 29552 275482 211822 130742 179928 313012 224759 298538 195811 328895 201575 275354 148034 320185 233341 81428 312884 27887 323003 294055 132023 265107 84246 217330 202856 163789 233213 194146 243332 105893 179672 116012 42233 52352 249096 27759 259215 146369 314165 29168 275098 137659 211438 246150 24813 153542 163661 100001 233085 169425 115884 214256 259087 97055 121648 195427 131767 107174 43514 68107 137531 112938 147650 315446 114347 50687 134585 218483 179416 248840 86808 67979 289316 299435 54914 99745 36085 70797 57732 8675 122801 83734 329664 315190 290597 187870 320954 193634 297770 273177 283296 264467 171859 108199 265876 251402 267285 76305 273049 209389 233982 283168 121136 194915 219508 313525 225272 235391 97952 171731 304815 44411 330817 267157 209261 219380 190432 161484 12376 251146 113707 99233 60166 31218 90523 139709 76049 145473 155592 42746 323388 210542 171475 107815 142527 29681 49919 281375 291494 307377 57092 155464 91804 288548 44027 275483 211823 291366 227706 114860 75793 321723 282656 145217 243589 179929 185693 259472 195812 265236 14951 233342 243461 265108 509 226041 211567 186974 84247 217331 90011 163790 194147 169554 179673 27760 249097 322876 160844 259216 23405 162253 147779 246151 69 163662 169426 179545 130359 91292 312629 248969 121649 201192 34805 227194 178008 163534 115757 273434 86809 23149 57861 49151 147523 51969 219765 328256 106919 67852 313782 289189 299308 274715 315191 177752 251531 187871 203754 51841 273178 184925 283297 171860 108200 34421 304944 251403 30066 187743 124083 320827 257167 218100 267286 179033 301998 139966 248457 219509 82070 155849 92189 313526 235392 8420 161613 304816 216563 251275 139838 238210 6302 161485 235264 122418 83351 107944 29810 113708 50048 90524 76050 120881 145474 219253 155593 57221 323389 34037 58630 44156 142528 60039 16617 75922 209006 307378 145346 97569 123571 74385 59911 291367 266774 227707 169811 243590 22253 265237 275356 116142 312886 224633 323005 210159 171092 195685 19179 265109 211568 74129 147908 84248 305585 280992 100131 36471 306994 169555 243334 81302 179674 249098 259217 68237 264981 201321 147780 246152 84120 217204 290983 153544 163663 114477 75410 198375 144834 52226 209903 23278 131769 57990 201193 112940 147652 128823 36215 283554 131641 57862 299437 115630 51970 248714 258833 219766 313783 299309 305073 251532 267415 105383 203755 283298 225402 304945 315064 265878 251404 30067 163151 187744 124084 267287 66188 139967 248458 76307 288934 225274 235393 161614 171733 270105 304817 216564 314936 16874 209263 121010 219382 106536 81943 67469 92062 136893 161486 107945 201962 177369 123828 203371 139711 76051 272795 145475 155594 323390 161358 97698 44157 142529 113581 187360 94752 16618 307379 57094 106280 323262 259602 97570 44029 250892 291368 227708 297132 179931 288422 259474 195814 265238 281121 145091 243463 155210 116143 249227 210160 195686 201450 275229 147909 178266 163792 262164 100132 296876 243335 179675 121779 19052 201322 275101 211441 162255 147781 84121 71 59528 163664 233088 144835 42108 115887 248971 185311 259090 121651 57991 131770 68110 166482 201194 211313 112941 34807 81047 115759 312503 57863 299438 98339 251661 99748 36088 169172 242951 51971 219767 293546 57735 313784 235650 83737 329667 305074 315193 251533 267416 203756 219639 155979 249996 225403 147269 315065 187745 15594 124085 193509 248459 76308 184799 233985 283171 317883 155851 92191 225275 235394 161615 270106 241158 216565 29940 177498 330820 257041 154314 139840 51587 272924 145604 106537 6304 12379 97827 171606 50050 60169 330692 158541 193253 139712 5603 76052 120883 274205 97699 171478 107818 44158 29684 88989 60041 145348 155467 235010 259603 97571 107690 297133 208880 243592 179932 17900 323135 195815 289832 320189 148038 281122 65549 139328 243464 116144 189923 210161 132027 201451 226044 211570 147910 291113 178267 227453 163793 100133 296877 233217 116016 27763 249100 322879 52356 121780 146373 230271 211442 246154 147782 84122 227325 10472 233089 144836 81176 179548 130362 42109 115888 214260 52228 322751 7526 121652 57992 131771 166483 112942 137535 153418 227197 36217 232961 169301 96931 67983 227069 54918 251662 170582 67855 289192 235651 15723 51844 248588 297774 283300 131387 155980 289064 241287 15595 257170 193510 267289 105257 139969 76309 219512 317884 155852 92192 235395 186209 270107 241159 216566 44415 29941 177499 251278 35705 139841 238213 86300 106538 235267 97828 122421 107947 314810 187490 193254 16748 120884 145477 219256 42750 107819 142531 44159 29685 123702 291498 75925 272669 110637 219128 28148 259604 275487 123574 129338 297134 243593 313017 38139 275359 123446 148039 320190 281123 291242 297006 233346 243465 66959 249229 132028 280995 296878 36474 233218 306997 144965 243337 194151 179677 278049 27764 185441 23409 146374 230272 19054 264984 137664 246155 290986 153547 227326 296750 233090 306869 243209 115889 214261 42110 248973 195432 131772 82586 166484 250382 137536 112943 147655 128826 65166 81049 41982 283557 96932 131644 67984 299440 211187 39036 49155 83867 251663 115633 312377 235652 251535 15724 187875 169046 115505 41726 297775 155981 18542 171864 241288 315067 265881 15596 330950 257171 193511 267290 139970 76310 248461 273054 305 209394 219513 288937 225277 235396 171736 44416 216567 177500 187619 257043 193383 139842 238214 272926 145606 81946 225149 298928 29814 177372 193255 242441 203374 139714 90528 76054 174426 42751 161361 23922 142532 187363 123703 193127 291499 203246 16621 139586 110638 145350 57097 91809 62861 146759 44032 29558 275488 321728 179934 313018 259477 195817 107564 289834 43904 148040 305717 297007 208754 233347 243466 132029 265113 147912 330182 84252 65423 36475 233219 194152 243338 278050 12011 52358 230273 68241 264985 275104 137665 211444 9065 162258 24819 280868 153548 227327 163667 144838 169431 214262 248974 234500 185314 259093 121654 195433 131773 68113 112944 83996 178013 153420 65167 10346 134591 169303 81050 41983 27509 7400 195305 121526 299441 39037 138818 99751 36091 232835 316733 70803 57738 299313 83740 251536 187876 237062 99623 297776 273183 289066 225406 171865 241289 315068 251408 320832 218105 322241 76311 273055 233988 209395 283174 219514 155854 225278 299057 186211 171737 270109 44417 202094 285992 330823 257044 193384 105131 139843 272927 283046 18287 6307 28406 249743 161490 12382 29815 226559 15341 50053 31224 90529 76055 174427 42752 126650 323394 161362 171481 107821 58635 177245 88992 123704 60044 291500 307383 145351 130877 155470 57098 91810 33914 329030 275489 74390 242186 291372 227712 272543 243595 229121 179935 91682 323138 7913 259478 195818 245004 265242 281125 129212 213110 233348 307127 243467 312891 288298 27894 195690 314300 147913 84253 178270 296880 36476 194153 169560 179679 27766 322882 249103 185443 23411 121783 264986 137666 211445 24820 147785 75 217209 114482 169432 243211 218618 179551 130365 195434 121655 131774 82588 166486 98471 182369 227200 153421 296624 36220 169304 179423 96934 146120 57867 122936 300851 70804 267548 51975 219771 67858 289195 251537 187877 281894 267420 203760 312251 51847 273184 283303 225407 235526 14189 171866 304950 251409 138563 15598 187749 124089 306359 168920 302004 139972 41600 76312 233989 219515 155855 92195 235398 161619 270110 177502 251281 267164 203504 139844 238216 184675 209268 22643 219387 6308 92067 225151 298930 136898 210677 235270 44290 251153 193257 31225 90530 120887 219259 145480 323395 161363 107822 44162 29688 113586 114995 139588 75928 307384 91811 323267 62863 78746 123577 193001 291373 227713 276899 75800 321730 243596 179936 17904 323139 245005 265243 43906 275362 197228 320193 305719 163925 116148 312892 288299 27895 298418 249232 19185 275234 147914 84254 280998 178271 227457 163797 100137 296881 208628 307000 243340 169561 179680 17648 27767 101546 259223 121784 131903 230275 19057 68243 201327 147786 84126 290989 202736 65297 198381 130366 115892 52232 248976 131775 57996 166487 29048 147658 34812 163541 99881 36221 134593 81052 115764 283560 195307 121528 96935 131647 107054 67987 43394 147530 49158 315326 10220 115636 51976 27383 7274 219772 268958 57740 329672 305079 315198 237064 232709 267421 203761 273185 219644 8555 304951 315070 290477 265884 251410 89378 187750 124090 320834 173276 218107 302005 139973 308 233990 219516 288940 225280 299059 161620 235399 171739 93605 216570 314942 202096 285994 238217 209269 184676 145609 194795 219388 81949 171611 44291 177375 261273 74648 306104 60174 193258 105005 203377 139717 76057 155600 126652 323396 97704 187366 99113 256790 94758 307385 145353 28152 259608 44035 281255 59918 291374 227714 321731 179937 91684 313021 323140 33788 265244 275363 211703 297010 272417 307129 282536 116149 312893 288300 323012 19186 289709 265116 226049 201456 211575 309947 129086 163798 262170 100138 243341 169562 116021 230276 201328 275107 211447 186854 162261 147787 246159 84127 217211 69653 114484 198382 233094 130367 115893 298163 185317 259096 121657 195436 57997 131776 68116 211319 112947 98473 182371 65170 81053 41986 91172 115765 283561 157650 202481 251667 99754 296498 36094 267550 51977 273314 219773 28793 83743 305080 153167 203762 155985 289069 43139 274595 235528 304952 315071 265885 177632 251411 187751 124091 320835 218108 17009 76314 209398 283177 317889 225281 161621 235400 171740 108080 304824 241164 29946 187623 330826 168794 193387 267166 178913 203506 154320 41474 209270 184677 61712 219389 6310 186086 161493 38528 122426 12385 97833 107952 290222 251155 50056 320579 60175 158547 139718 5609 120889 97705 171484 83231 107824 142536 113588 94759 194540 57101 155473 91813 28153 259609 329033 107696 265373 78748 243598 179938 323141 54027 98858 148044 305721 281128 192875 266654 163927 297011 307130 169691 243470 116150 518 201457 49544 281000 291119 262171 100139 233223 179682 27769 322885 52362 185446 170972 131905 201329 162262 211448 74009 147788 84128 217212 227331 282281 243214 179554 214266 121658 57998 131777 201201 137541 84000 182372 128831 227203 178017 65171 163543 75290 99883 36223 21749 81054 115766 41987 283562 82463 57870 299445 186599 147532 216956 315328 54924 257432 36095 267551 67861 305081 315200 90917 51850 27257 297780 283306 258713 155986 289070 161750 24311 241293 265886 251412 15601 320836 232583 139975 76315 233992 219518 317890 235401 241165 44421 29947 177505 202098 251284 89252 163031 320708 193388 154321 203507 66068 139847 272931 28410 298933 235273 97834 177377 187496 158548 219262 67349 42756 97706 107825 44165 29691 113589 123708 291504 178658 139591 75931 110643 28154 323270 249491 8045 259610 97578 275493 123580 74394 59920 256664 243599 179939 17907 259482 195822 82976 289839 43909 250772 113333 211705 320196 153809 227588 163928 233352 307131 288302 27898 323014 33662 201458 211577 227460 233224 307003 194157 155090 179683 52363 27770 185447 23415 58127 19060 162263 137670 147789 217213 290992 128960 227332 130369 115895 214267 131778 18932 137542 147661 98475 280745 59408 217085 178018 89765 99884 169308 23159 195310 146124 131650 299446 83873 315329 241550 54925 115639 187881 75035 296372 281898 267424 242831 283307 145868 219647 155987 171870 315073 241294 153041 251413 320837 330956 139976 76316 273060 317891 155859 92199 288943 225283 235402 186216 147149 270114 216573 50186 123965 281642 203508 272932 184679 219391 28411 97835 107954 206326 29820 203380 90534 41348 51467 76060 58640 29692 88997 113590 187369 123709 320453 330572 291505 110644 323271 329035 44038 177122 275494 29564 113462 74395 297141 91687 323143 234890 259483 195823 137927 211706 320197 297013 233353 307132 243472 288303 27899 84258 281002 192749 291121 178275 139208 163801 233225 179684 116024 52364 273701 249108 68247 275110 137671 211450 49418 147790 217214 227333 233097 169437 115896 214268 42117 52236 185320 259099 121660 131779 82593 166491 112950 128833 178019 99885 169309 81056 115768 41989 322631 96939 299447 251670 99757 36097 267553 83746 216830 315202 226949 187882 320966 281899 267425 273189 219648 235531 73499 171871 315074 251414 30077 193518 27131 273061 233994 312 283180 219520 131267 155860 235403 304827 216574 320710 330829 257050 193390 203509 139849 11249 238221 272933 184680 283052 6313 28412 12388 177379 89126 187498 50059 74652 35585 105009 76061 170078 145485 91944 323400 171487 107827 314690 240911 113591 123710 291506 110645 307389 155476 323272 62868 275495 74396 291378 227718 321735 297142 219008 259484 195824 265248 320198 148047 305724 256538 227590 163930 297014 233354 307133 312897 288304 249237 113207 211579 123326 84259 217343 178276 163802 169566 243345 179685 116025 23417 146382 230280 68248 264992 211451 147791 169438 243217 179557 130371 42118 115897 131780 201204 112951 34817 84003 217087 227206 153427 99886 306749 134598 169310 179429 81057 41990 23161 49163 83875 280619 315331 36098 267554 66455 51981 23033 219777 67864 137288 211067 315203 187883 261662 281900 203766 51853 297783 273190 283309 219649 235532 171872 304956 15604 187755 124095 320839 193519 218112 302010 115385 283181 219521 317893 155861 18422 92201 161625 304828 216575 44424 152915 202101 251287 285999 123967 193391 154324 203510 238222 184681 209274 145614 298936 107956 304700 241040 113720 74653 60179 139722 42759 126657 323401 298808 161369 107828 44168 88999 20984 242321 139594 75934 307390 57105 97581 113464 123583 320327 203126 227719 75806 321736 313026 265249 43912 176996 29438 211708 291251 227591 163931 307134 257948 116154 312898 288305 323017 249238 27901 107444 19191 43784 211580 84260 158039 178277 227463 100143 307006 169567 194160 179686 116026 27773 259229 146383 131909 68249 264993 201333 84132 217216 290995 114489 198387 21881 179558 11891 115898 214270 52238 195441 58002 201205 112952 8945 49292 147664 98478 84004 182376 290867 99887 134599 81058 23162 195313 201077 137417 315332 51982 195185 219778 305085 315204 138698 320968 203767 7152 304957 216704 315076 265890 251416 99503 124096 257180 218113 302011 314 209403 317894 225286 161626 235405 73373 304829 314948 187628 286000 320712 60308 267171 154325 203511 238223 322121 209275 184682 219394 145615 225158 136905 107957 206329 54416 74654 203383 90537 76063 282926 120894 155606 323402 13673 161370 97710 89000 15221 113593 187372 94764 75935 110647 307391 91818 323274 259614 97582 329038 44041 240785 78753 187244 227720 243603 91690 313027 97454 265250 211709 320200 281133 297016 307135 243475 91562 116155 288306 27902 249239 7793 259358 19192 265122 201462 211581 309953 217345 100144 296888 249111 314180 264994 201334 275113 113081 211453 162267 147793 246165 153557 198388 233100 214271 259102 195442 121663 58003 264866 201206 274985 211325 84005 182377 217089 163548 99888 50702 134600 36228 218498 81059 41992 115771 121535 96942 49165 251673 65048 99760 36100 267556 179303 11636 51983 219779 83749 305086 280493 315205 203768 219651 155991 137162 83621 304958 265891 124097 302012 139980 209404 283183 233997 225287 299066 161627 235406 108086 216577 241170 177510 29952 320713 330832 306239 257053 193393 267172 203512 139852 184683 145616 155735 6316 225159 136906 161499 12391 97839 107958 206330 241042 113722 50062 193265 267044 22523 145488 161371 210557 97711 171490 107830 304574 58644 142542 29696 94765 110648 155479 91819 323275 161243 259615 97583 171362 107702 78754 113466 59925 20858 114875 297145 243604 17912 313028 323147 289844 148050 305727 281134 227593 163933 75680 297017 257950 243476 116156 273833 19193 265123 176870 201463 211582 227465 100145 321482 233229 179688 116028 298298 52368 19065 201335 162268 246166 198389 233101 243220 179560 130374 17528 42121 248984 121664 195443 58004 131783 112954 137547 182378 217090 202616 227209 153430 128837 163549 99889 81060 41993 52112 23164 121536 146129 57876 313925 299451 28928 137419 49166 315334 300860 163421 36101 267557 106934 67867 43274 200951 305087 315206 267429 51856 219652 155992 57620 67739 265892 241299 15607 320842 257182 193522 139981 209405 283184 219524 288948 186221 314950 290357 44427 241171 29953 202104 177511 251290 123970 193394 267173 154327 139853 238225 170210 254108 225160 298939 161500 73247 97840 107959 241043 251162 217859 194675 97712 58645 107831 142543 44171 29697 94766 291510 139597 75937 145361 57108 91820 323276 13547 259616 275499 113467 98993 123586 59926 276908 297146 307265 243605 22268 323148 210302 259488 195828 43915 240659 211711 197237 305728 59798 291254 227594 163934 213120 307137 233358 323020 249241 27904 97328 201464 275243 211583 309955 281007 256414 291126 163806 296890 307009 282416 116029 52369 322892 101555 146386 23421 33540 19066 264996 162269 137676 217219 290998 153559 233102 179561 115901 42122 185325 82598 112955 137548 211327 186734 147667 98481 34821 163550 50704 36230 134602 66587 150485 23165 195316 121537 57877 264740 299452 137420 147539 315335 65050 114236 91052 268967 235664 187887 320971 7155 219653 155993 250010 235536 171876 280367 315079 241300 251419 173285 330962 193523 203642 302014 139982 273066 219525 106679 155865 92205 274475 137036 270120 108088 93614 29954 202105 187631 123971 320715 60311 109497 203514 238226 219397 145618 235280 97841 171620 107960 206332 152791 177384 187503 60183 193267 267046 21116 178793 203386 105014 120897 219269 161373 58646 113596 89003 187375 291511 75938 83111 329041 107704 304448 44044 275500 29570 59927 291383 46862 91693 323149 161117 259489 195829 245015 289846 211712 305729 291255 20732 213121 297019 307138 233359 243478 288309 273835 19195 84264 281008 256415 217348 291127 266534 227467 243350 116030 249114 23422 146387 131913 19067 68253 264997 176744 275116 137677 211456 147796 69662 227339 89900 100019 198391 169443 21885 115902 52242 259105 170852 328529 166497 98482 34822 217092 128839 99891 134603 115774 131657 67997 299453 251676 163423 75170 99763 36103 21629 115646 283442 83752 187888 237074 35975 297788 273195 7156 283314 200825 235537 171877 315080 241301 187760 302015 273067 318 283186 258593 234000 219526 317898 155866 57494 92206 288950 186223 270121 108089 304833 202106 187632 330835 109498 257056 193396 267175 203515 139855 184686 283058 61721 170212 254110 6319 136909 12394 206333 177385 152792 113725 162911 187504 50065 139727 145491 229389 42764 323406 274220 161374 73121 171493 107833 44173 29699 123716 94768 291512 155482 67229 224906 62874 275501 113469 227724 307267 323150 13421 249371 28034 259490 195830 148053 281137 59800 297020 307139 233360 243479 179819 312903 265126 240533 19196 275245 250652 84265 281009 256416 291128 257825 233232 194165 169572 179691 322894 101557 23423 97202 131914 230286 68254 211457 137678 84137 197 198392 169444 243223 154970 179563 130377 115903 214275 185327 7541 82600 166498 201210 98483 84009 34823 266279 153433 227212 163552 99892 36232 179435 81063 66589 41996 150487 23167 18812 59288 315337 251677 36104 170597 219783 67870 264614 235666 315209 241430 187889 51859 273196 7157 121283 171878 304962 15610 124101 257185 242711 203644 273068 283187 234001 145748 219527 155867 92207 288951 299070 314953 44430 177514 251293 286005 193397 203516 139856 76196 272940 209280 155739 298942 136910 161503 235282 147029 171622 107962 177386 152793 187505 154202 90542 76068 258338 219271 288695 126663 107834 329171 29700 89005 94769 139600 51347 75940 110652 62875 97587 29572 162656 123589 330452 59929 227725 75812 233489 46864 12281 313032 304322 43918 211714 148054 305731 291257 307140 66974 116160 312904 323023 273837 249244 27907 160991 234770 265127 275246 137807 211586 84266 321486 307012 169573 249116 259235 121796 33543 230287 68255 201339 291001 153562 139088 100021 169445 130378 179564 115904 42125 52244 185328 195447 250397 211330 147670 182382 321230 99893 169317 52116 96947 195319 146133 57880 131659 328403 67999 83882 315338 251678 50579 267561 154715 115648 322511 185072 283444 299327 225548 235667 305091 35977 273197 283316 304963 59033 265896 251422 226829 124102 257186 193526 129866 203645 320 209409 234002 219528 288952 200699 299071 44431 202108 187634 286006 203517 209281 145621 219400 170214 131147 57368 288824 161504 171623 241047 267049 203389 11129 145493 155612 313289 126664 97716 29701 187378 35465 75941 91824 259620 146774 329044 107707 314570 44047 78759 217607 291386 227726 243609 91696 313033 323152 224780 211715 148055 291258 227598 163938 51092 297022 307141 257955 218888 81449 179821 288312 121925 195704 132044 201468 275247 256418 291130 169574 179693 278065 33544 201340 275119 162273 123206 147799 153563 89903 21888 130379 115905 185329 259108 23297 97076 195448 98485 84011 182383 99894 115777 66591 248861 185201 146134 23169 57881 137424 14459 163426 114240 99766 306629 36106 267562 51989 209666 283445 83755 305092 315211 22913 155997 264488 250014 210947 235540 304964 251423 30086 113984 187763 124103 320847 139986 209410 283189 121157 219529 288953 299072 108092 304836 44432 241176 29958 187635 286007 123975 60315 257059 330838 193399 203518 154332 115265 238230 184689 92081 6322 249758 12397 97845 171624 241048 152795 187507 21120 76070 174442 323409 97717 171496 58650 44176 29702 57113 155485 91825 288569 298688 259621 78760 291387 321744 307270 145238 243610 81578 323153 265257 305733 59803 35210 291259 203006 227599 163939 307142 106043 179822 288313 265129 201469 275248 29318 211588 309960 256419 52374 249118 160865 259237 121798 146391 33545 131917 107324 43664 19071 201341 147800 84140 217224 241817 163683 243226 179566 115906 312650 42127 185330 195449 201213 137553 182384 84012 153436 227215 99895 50709 134607 81066 11771 96949 146135 23170 68001 299457 137425 8825 83884 290747 65055 36107 267563 219786 328277 67873 299329 235669 305093 320976 17150 51862 184946 283318 195065 155998 289082 250015 235541 315084 241305 187764 15613 193528 218121 203647 302019 139987 283190 219530 161634 314956 241177 29959 202110 251296 187636 99383 123976 203519 272943 184690 155742 288826 298945 225166 161506 171625 97846 107965 206337 241049 152796 251168 31240 120902 145495 155614 57242 97718 73125 44177 138194 113601 60060 291516 139603 75943 209027 282806 91826 259622 97590 78761 275505 29575 15101 123592 291388 321745 307271 243611 259494 195834 289851 265258 43921 187124 227600 163940 233364 288314 116163 323026 273840 27910 224654 195706 132046 265130 19200 103098 201470 275249 309961 281013 256420 217353 227472 296896 81323 179695 91442 312779 52375 185459 146392 19072 211461 137682 84141 201 89905 100024 198396 233108 179567 42128 115907 23299 58011 314060 137554 211333 147673 98487 84013 34827 128844 99896 36236 169320 81067 52119 185203 195322 121543 57883 68002 299458 274865 137426 147545 51991 248735 283447 299330 235670 34571 329687 187893 320977 35980 105404 179183 283319 155999 229778 250016 171882 265899 241306 251425 187765 330968 218122 203648 139988 273072 155871 92211 288955 161635 186228 270126 83501 29960 251297 187637 286009 123977 60317 267180 16895 272944 184691 121031 219403 170217 155743 254115 92083 161507 171626 97847 107966 206338 152797 177390 113730 267052 76072 272816 209156 107838 94773 291517 266924 75944 22403 57115 210437 107710 329047 44050 275506 91699 288443 323155 171242 195835 281142 297025 307144 233365 145112 179824 259367 195707 132047 275250 226064 309962 14846 84270 281014 256421 217354 291133 227473 75560 179696 278068 146393 68259 19073 275122 137683 162276 147802 84142 227345 100025 36365 233109 169449 52248 185332 259111 58012 82605 166503 147674 84014 182386 163557 169321 81068 115780 312524 66594 52120 150492 258983 23172 57884 68003 299459 315342 163429 36109 169193 51992 283448 28808 315214 163301 187894 320978 17152 273201 283320 106814 289084 171883 320850 273073 184820 324 283192 234006 317904 219532 67619 92212 225296 270127 304839 177519 286010 330841 193402 267181 11261 272945 283064 155744 254116 6325 288828 235287 12400 171627 122441 206339 290237 29833 177391 152798 113731 187510 193274 21123 105021 76073 174445 120904 323412 136787 171499 107839 58653 44179 251042 29705 89010 123722 291518 57116 155488 44051 78763 275507 59934 291390 227730 208901 46869 155360 323156 195836 211719 305736 281143 59806 65570 297026 307145 233366 179825 312909 288316 13299 249249 265132 275251 211591 84271 59678 256422 217355 227474 321491 296898 233238 169578 179697 278069 312781 185461 121801 68260 265004 217227 203 10493 282296 233110 169450 243229 81197 179569 130383 115909 214281 42130 121673 166504 201216 182387 227218 163558 99898 36238 232982 169322 243101 179441 150493 185205 96952 68004 102716 186614 83887 315343 65058 36110 219789 67876 299332 235672 147419 329689 315215 187895 51865 273202 248609 283321 171884 304968 187767 15616 124107 193531 105278 51737 273074 283193 234007 317905 92213 28553 270128 108096 304840 314959 177520 202113 251299 320723 193403 267182 203522 76202 184693 209286 145626 288829 298948 274355 225169 161509 235288 171628 107968 29834 152799 113732 123851 193275 105022 31243 16769 76074 174446 209158 120905 161381 235160 73128 113604 178673 139606 75946 272690 110658 97593 78764 29578 123595 59935 291391 276917 227731 139478 75818 321748 46870 81582 313038 82991 265261 43924 211720 281144 291263 257960 312910 116166 273843 249250 27913 323029 195709 265133 226066 309964 84272 241949 296899 233239 144986 169579 179698 312782 322901 68261 289598 201345 84144 266414 89908 169451 21893 130384 179570 214282 166505 201217 211336 147676 98490 34830 217100 128847 163559 99899 81070 185206 23174 96953 170732 195325 121546 57886 68005 315344 114245 282041 267567 312398 283450 268976 131537 299333 284859 235673 305097 75050 320980 35983 169067 21509 273203 283322 7164 235545 187768 124108 173294 35855 218125 326 209415 234008 288958 225298 161638 304841 177521 251300 187640 257064 154337 209287 283066 258473 170220 145627 219406 161510 235289 122443 206341 138326 222224 193276 267055 31244 76075 209159 219278 136789 185975 73129 97722 162791 75947 110659 307403 57118 62882 259626 97594 107713 329050 44053 113477 59936 291392 227732 321749 307275 243615 67109 91702 313039 323158 245024 265262 275381 211721 291264 178418 227604 163944 208775 179827 273844 259370 195710 181236 132050 201474 275253 309965 291136 217357 65444 307019 169580 243359 179699 278071 249123 224530 259242 131922 265006 275125 250532 84145 291008 69671 36368 233112 130385 185335 259114 23303 121675 58015 201218 147677 84017 153441 10367 50714 81071 154850 179443 115783 66597 7421 131666 57887 102718 118601 163432 232856 267568 115655 283451 82352 18692 284860 305098 59168 315217 237083 203780 7165 156003 328154 289087 315089 187769 124109 320853 218126 203652 139992 248483 209416 283195 219535 299078 161639 171758 270130 108098 241182 29964 187641 74795 123981 60321 330844 242591 105152 238236 76204 61730 170221 155747 92087 6328 288831 77613 97851 171630 12403 206342 187513 113734 203396 139736 76076 174448 120907 145500 155619 323415 161383 235162 146909 171502 73130 107842 29708 89013 187385 16643 155491 57119 259627 97595 33935 44054 276919 51227 75820 272564 307276 243616 313040 259499 305739 59809 330332 291265 129233 227605 163945 213131 257962 179828 12161 273845 13302 259371 181237 265135 201475 275254 211594 9215 256425 241951 100157 278072 52380 249124 224531 185464 259243 234650 121804 19077 211466 84146 217230 301128 114503 100029 233113 144860 243232 179572 115912 42133 195455 58016 68135 166507 137559 84018 227221 138968 296645 36241 134613 66598 52124 185208 96955 68007 299463 83890 99773 321110 267569 219792 131539 67879 83762 305099 315218 251558 312272 51868 322391 156004 328155 304971 329564 265904 241311 251430 15619 173296 168941 193534 203653 302025 139993 41621 209417 283196 155876 270131 314962 241183 29965 202116 251302 226709 187642 286014 15491 123982 257066 109508 154339 238237 11265 76205 272949 170222 155748 77614 298951 225172 161512 235291 171631 97852 107971 152802 251174 138328 222226 105025 31246 174449 145501 120908 131027 155620 323416 34064 29709 113607 197505 291522 242336 139609 11009 75949 307405 313169 91832 62884 259628 29581 123598 35345 193022 243617 81585 195840 314450 43927 275383 305740 291266 217487 227606 163946 116169 13303 249253 323032 265136 19206 201476 275255 211595 147935 281019 227478 321495 208649 307021 233242 243361 218768 52381 101567 249125 224532 259244 33552 19078 201348 225941 162281 137688 147807 330077 291010 69673 207 65318 89911 100030 198402 21896 179573 166508 137560 211339 123086 147679 98493 84019 182391 153443 50716 134614 169326 66599 52125 234395 23177 195328 96956 121549 131668 68008 299464 147551 305228 118603 10241 36114 27404 283453 7295 219793 14339 93882 138713 187899 320983 306509 35986 232730 203782 17157 209546 283325 156005 328156 241312 89399 320855 330974 302026 139994 17029 273078 22793 92217 225301 210827 171760 241184 202117 251303 29966 113864 187643 123983 60323 257067 267186 154340 322136 283069 145630 219409 254121 161513 97853 171632 241056 177396 123855 267058 105026 203398 31247 115145 139738 76078 145502 120909 155621 323417 13688 122318 97725 58658 44184 226454 187387 256811 94779 75950 297287 307406 107716 44056 78768 130772 91705 298568 323161 195841 33809 201605 275384 305741 281148 291267 272438 179830 116170 13304 273847 259373 19207 275256 9217 84276 281020 291139 241953 217360 129107 202886 100159 321496 233243 243362 105923 179702 312786 42263 52382 33553 289602 19079 275128 29198 137689 217232 227351 198403 169455 259117 121678 107204 68137 43544 137561 98494 147680 84020 153444 163563 218513 179446 115786 150498 57890 68009 289346 299465 137433 315348 65063 163435 114249 99775 296519 36115 11651 51998 283454 219794 299337 235677 8705 122831 83764 329694 290627 153188 251560 193664 267443 203783 17158 273207 7168 241313 251432 30095 273079 234012 330 194945 219538 92218 225302 97982 202118 177525 29967 187644 257068 330847 168815 267187 41495 170224 155750 254122 6331 171633 12406 177397 113737 187516 138330 99263 320600 256940 129620 139739 209163 235165 171505 107845 34066 29711 113609 123728 281405 94780 57122 155494 44057 59940 227736 114890 75823 321753 307279 282686 46875 17927 323162 185723 259502 195842 14981 211725 281149 59812 192896 291268 179831 116171 312915 259374 195714 132054 265138 275257 226071 309969 187004 49565 147937 256428 90041 163820 100160 321497 169584 243363 312787 224534 259246 137690 147809 246181 209 36372 169456 243235 130389 91322 115915 42136 121679 23307 58019 98495 84021 34835 128852 153445 227224 65192 163564 36244 66601 52127 150499 68010 83893 216977 315349 153317 114250 131542 82356 67882 299338 274745 235678 177782 251561 17159 51871 273208 27278 283327 34451 15622 124113 320857 232604 330976 193537 218130 179063 203656 273080 331 219539 82100 155879 92219 288963 313556 8450 108102 314965 177526 251305 29968 89273 187645 257069 267188 76208 272952 209292 155751 254123 92091 298954 225175 161515 171634 122448 12407 83381 206346 152805 60197 217874 139740 209164 120911 155623 136794 107846 44186 142558 291525 139612 307408 29584 123601 59941 256685 266804 227737 321754 307280 46876 313044 259503 43930 275386 113354 211726 49694 291269 233373 312916 273849 323035 259375 171122 195715 33683 275258 74159 147938 84278 256429 296905 233245 169585 243364 179704 278076 312788 224535 322907 19081 217234 128981 227353 89914 114507 75440 100033 169457 115916 209933 185340 23308 131799 211342 147682 84022 280766 153446 163565 169329 150500 52128 195331 121552 68011 102723 315350 65065 114251 267573 52000 258863 299339 235679 305103 187902 296393 35989 267445 203785 273209 289092 28688 153062 251434 163181 124114 257198 218131 203657 17032 332 283200 209421 155880 171763 270135 108103 304847 29969 251306 187646 209293 283072 170226 219412 155752 67499 171635 241059 152806 123858 256942 193282 267061 21131 139741 41369 76081 174453 209165 120912 219284 89018 113611 123730 320474 307409 106310 259632 107719 44059 177143 250922 59942 301517 227738 321755 46877 243621 91708 17929 313045 323164 259504 275387 211727 227610 163950 257967 233374 155240 323036 195716 132056 201480 9220 84279 256430 192770 291142 241956 163822 100162 233246 169586 243365 278077 249129 224536 185469 33556 49439 147811 280895 59558 153575 114508 100034 36374 21900 179577 58021 166512 201224 147683 84023 128854 282176 179449 115789 66603 52129 96960 68012 137436 14471 153319 163438 36118 267574 242981 115661 305104 216851 251563 267446 203786 297803 156009 328160 289093 73520 147299 251435 124115 197894 218132 139998 27152 209422 234015 219541 155881 299084 171764 108104 304848 241188 29970 123987 60327 257071 330850 154344 11270 238242 51617 219413 155753 254125 92093 235296 97857 12409 241060 152807 89147 187519 138333 123859 222231 60199 330722 31251 139742 174454 120913 145506 42779 161389 235168 107848 44188 240932 29714 177272 75954 62889 259633 235040 97601 44060 178553 75826 243622 305745 59815 256559 291271 139358 163951 297035 249258 265141 201481 113228 147940 84280 227483 100163 194180 243366 278078 52386 249130 224537 185470 259249 265013 147812 246184 94271 114509 243238 130392 42139 115918 322781 7556 195461 68141 201225 137565 128855 153448 227227 50721 36247 134619 115790 150502 52130 131673 299469 137437 83896 280640 118608 227099 267575 283458 131545 137309 305105 251564 320988 283330 131417 156010 328161 289094 299213 304977 241317 251436 15625 74930 257200 193540 139999 288966 304849 241189 314968 152936 251308 29971 202122 187648 286020 35735 193412 154345 238243 272955 145635 254126 298957 161518 235297 97858 171637 304721 241061 314840 251180 123860 222232 256944 31252 203403 90557 139743 174455 258353 145507 120914 155626 136797 73137 107849 142561 29715 89020 291528 21005 104903 139615 75955 307411 219158 57126 91838 259634 8069 97602 29587 123604 320348 46879 243623 259506 195846 43933 177017 123476 305746 163952 179835 273852 249259 323038 265142 275261 201482 147941 84281 281025 256432 217365 296908 233248 243367 179707 52387 224538 185471 195590 289607 265014 19084 201354 137694 147813 246185 280897 153577 213 89917 233120 306899 185343 23311 201226 250412 137566 211345 49313 147685 98499 84025 182397 134620 169332 150503 195334 131674 201098 299470 137438 211217 147557 118609 153321 99780 70832 154730 52003 283459 329699 187905 320989 35992 267448 203788 115535 297805 156011 18572 313688 304978 241318 216725 251437 140000 273084 155883 92223 73394 241190 202123 251309 29972 187649 286021 60329 238244 76212 272956 283075 145636 170229 219415 288839 161519 235298 171638 97859 152809 177402 113742 256945 193285 267064 242471 203404 31253 139744 76084 120915 91967 42781 161391 73138 97731 34071 142562 29716 177274 89021 203276 307412 97603 146789 107722 44062 240806 78774 307284 46880 91711 259507 195847 245033 97475 107594 49698 281154 305747 51107 297037 233377 179836 17804 249260 323039 259379 226076 9223 84282 281026 330212 291145 241959 217366 163825 100165 233249 307028 194182 278080 12041 52388 210065 293963 265015 201355 113102 137695 9095 147814 280898 291017 214 257714 169461 234530 58024 137567 98500 84026 182398 134621 169333 179452 115792 66606 185216 96963 131675 68015 299471 315354 153322 138848 163441 65069 99781 283460 82361 299343 250157 235683 280514 251566 237092 99653 267449 203789 252975 273213 289096 137183 221081 241319 315098 251438 320862 203661 322271 336 155884 92224 304851 202124 177531 29973 257074 330853 193414 272957 145637 219416 155756 18317 225180 122453 177403 251182 226589 187522 138336 15371 113743 203405 139745 90559 174457 106442 190340 161392 235171 97732 107851 34072 304595 177275 187394 104905 154091 130907 44063 78775 275519 20879 227742 75829 81593 259508 7943 195848 289865 275391 211731 320222 281155 59818 291274 213140 233378 243497 179837 312921 13311 259380 146534 195720 132060 314330 176891 309975 147943 84283 241960 227486 163826 100166 149352 169590 243369 278081 185473 259252 23441 275135 137696 211475 147815 246187 192646 217239 227358 215 100038 36378 233122 306901 243241 218648 42142 52261 259124 201228 98501 153451 128858 227230 169334 115793 52133 121557 14475 49187 122966 147559 83899 315355 99782 70834 86717 131548 200972 299344 284870 235684 83771 329701 251567 50468 252976 273214 283333 328164 313690 14219 171896 15628 296270 124119 320863 257203 306389 193543 337 283205 155885 92225 288969 186242 171768 108108 304852 216599 314971 29974 177532 251311 187651 109517 267194 129755 139874 238246 76214 209298 22673 155757 92097 298960 210707 73268 206352 138337 60203 256947 45729 31255 139746 174458 155629 171512 34073 107852 44192 142564 29718 89023 113616 123735 291531 203278 115025 139618 75958 155501 57129 323297 13568 97605 29590 123607 276929 227743 17934 313050 323169 245035 240680 275392 211732 281156 227615 312922 298448 273855 323041 13312 259381 97349 195721 132061 181247 226078 309976 147944 241961 227487 296911 149353 233251 307030 169591 243370 179710 224541 322913 101576 210067 293965 19087 246188 192647 217240 153580 202766 227359 89920 21905 179582 52262 185346 269244 82619 68145 314075 29078 201229 112976 211348 147688 84028 163571 134623 195337 107084 264761 43424 102729 315356 153324 65071 267579 17294 52006 67889 289226 299345 235685 187908 99655 320992 17166 51878 273215 283334 219674 8585 280388 304981 290507 315100 15629 124120 296271 173306 320864 330983 297680 273087 234020 209427 219546 137057 171769 270141 108109 29975 177533 251312 123992 238247 209299 283078 194825 170232 219418 155758 254130 92098 77624 225182 122455 206353 44321 241065 138338 123864 306134 45730 193288 267067 31256 203407 139747 76087 120918 219290 106444 190342 73141 142565 29719 113617 89024 99143 123736 291532 165621 42656 210452 259638 97606 107725 304469 44065 275521 281285 59948 227744 91714 313051 161138 211733 49701 20753 163956 297040 282566 243499 312923 273856 323042 185603 259382 195722 132062 14861 9226 84285 291148 217369 233252 169592 243371 179711 116051 312795 249135 195594 289611 176765 201358 275137 186884 211477 192648 69683 217241 227360 36380 194057 169464 130397 115923 214295 298193 259126 58027 328550 68146 166518 147689 128860 134624 179455 91202 66609 115795 150507 121559 102730 137442 202511 163444 99784 267580 115667 273344 251569 187909 156015 106829 289099 43169 313692 200846 274625 171898 304982 315101 177662 251441 30104 124121 209428 57515 288971 299090 270142 108110 241194 60333 330856 193417 178943 139876 209300 170233 219419 81980 155759 92099 225183 235302 290252 251185 113746 187525 222237 139748 209172 145512 91971 136802 235174 73142 97735 171514 83261 107854 44194 29720 113618 89025 123737 291533 90434 307416 194570 155503 224927 323299 62895 44066 265403 275522 75832 46884 313052 323171 13442 98888 59821 305751 291277 266684 163957 297041 169721 273857 249264 259383 240554 147946 84286 241963 227489 243372 52392 249136 185476 259255 210069 23444 97223 171002 289612 201359 211478 74039 147818 280902 108 306904 243244 185348 195467 23316 166519 137571 227233 75320 66610 115796 52136 121560 131679 299475 186629 147562 83902 118614 257462 267581 283464 131551 82365 67891 264635 251570 187910 267453 203793 90947 51880 297810 258743 121304 219676 328167 161780 235559 171899 241323 315102 15631 296273 330985 209429 219548 317920 241195 314974 202128 163061 187654 60334 193418 66098 139877 170234 145641 155760 225184 298963 136931 235303 138340 123866 222238 139749 145513 155632 106446 67379 288716 42786 225056 97736 107855 177279 29721 203281 139621 307417 91844 249521 28184 323300 62896 29593 123610 195852 83006 304343 289869 275395 250802 291278 153839 227618 163958 179841 249265 323044 13315 161012 259384 147947 84287 281031 325862 163830 100170 296914 233254 243373 194187 155120 278085 116053 224544 131936 58157 68276 289613 19090 137700 211479 280903 192650 227362 115925 18962 137572 211351 98505 84031 59438 66611 96968 121561 195340 131680 328424 299476 118615 52009 185093 283465 121433 82366 305112 99658 50472 267454 242861 203794 17169 145898 219677 328168 304984 241324 315103 251443 296274 288973 92229 200720 299092 186246 147179 171772 241196 187655 50216 123995 60335 281672 257079 76218 283081 145642 219421 155761 57389 225185 235304 44324 241068 177408 123867 222239 60207 267070 193291 139750 90564 51497 174462 120921 136804 185990 107856 29722 177280 89027 123739 330602 104910 110674 307418 259641 107728 29594 275524 91717 224801 323173 234920 195853 289870 43940 275396 281160 227619 243502 81470 179842 323045 259385 201489 9229 281032 291151 241965 139238 163831 100171 243374 116054 312798 224545 265021 201361 137701 211480 147820 246192 110 280904 291023 192651 21909 185350 97097 195469 82623 58030 68149 137573 112980 84032 178049 153456 99915 179458 115798 248882 322661 121562 131681 299477 14480 137445 118616 315360 163447 70839 17298 283466 82367 299349 38945 235689 329706 305113 226979 35999 267455 203795 17170 273219 156018 328169 264509 313695 235561 171901 304985 241325 315104 320868 296275 257208 342 121178 219550 131297 92230 225314 186247 171773 177537 251316 123996 154353 139879 238251 76219 272963 219422 155762 97866 177409 251188 187528 138342 123868 35615 31260 139751 209175 120922 91974 225058 161398 235177 97738 107857 44197 142569 314720 177281 187400 89028 57134 288590 91846 323302 275525 74426 227748 75835 145259 219038 17939 323174 195854 269633 289871 211737 281161 59824 305754 291280 227620 243503 179843 312927 195726 132066 201490 226083 309981 123356 291152 227492 325864 163832 100172 169596 312799 52395 224546 160886 259258 210072 293970 131938 68278 201362 211481 137702 246193 111 192652 217245 153585 36384 233128 306907 21910 115927 312671 249011 121691 82624 24728 147693 134628 306779 169340 115799 52139 96970 250292 147565 83905 315361 65076 36128 17299 121435 23063 131554 328298 211097 235690 83777 320997 17171 273220 184967 219679 299222 171902 265919 315105 15634 124125 320869 296276 257209 330988 115415 343 219551 317923 18452 92231 186248 108114 314977 177538 202131 187657 123997 267200 154354 139880 76220 272964 209304 92103 225187 298966 97867 122460 206358 187529 123869 222241 60209 203412 209176 120923 155635 57263 106449 91975 190347 298838 97739 107858 142570 29724 89029 113622 203284 209048 145388 323303 73018 44070 29596 203156 227749 313056 146669 29468 211738 312928 273861 224675 323047 259387 132067 107474 265151 43814 309982 217374 233257 169597 243376 81344 116056 312800 322919 195599 23448 293971 68279 19093 275142 162296 211482 246194 330092 217246 192653 153586 227365 21911 115928 11921 62387 82625 211354 8975 98508 84034 290897 128865 163577 169341 96971 195343 121564 83906 118618 315362 99789 267585 17300 52012 248756 195215 38947 235691 251574 99661 320998 105425 273221 219680 328171 289104 304987 315106 251446 99533 124126 296277 257210 267329 273093 209433 219552 317924 225316 108115 304859 257082 16916 272965 322151 209305 283084 121052 170238 219424 155764 254136 161528 206359 34208 241071 113751 222242 267073 203413 272837 209177 282956 219296 91976 190348 28316 225060 13703 171519 58673 34080 107859 142571 226469 113623 15251 89030 123742 104913 110677 57136 259644 73019 107731 44071 29597 275527 187274 59954 227750 91720 288464 17941 313057 323176 211739 227622 163962 145133 91592 312929 273862 7823 132068 9232 309983 147951 241968 217375 291154 233258 307037 169598 243377 116057 249141 224548 185481 265024 314210 201364 275143 211483 147823 192654 153587 163706 36386 233130 169470 115929 214301 249013 121693 58033 201236 275015 24730 153459 169342 218528 179461 17429 66615 115801 312545 150513 27548 23193 137448 118619 163450 99790 36130 169214 267586 179333 115673 11666 23065 121437 122846 305116 251575 320999 297815 156021 313698 289105 235564 171904 83651 304988 265921 315107 251447 124127 281804 273094 184841 209434 219553 108116 329453 241200 123999 60339 306269 11282 209306 170239 219425 254137 206360 44328 241072 251191 138345 113752 187531 256955 203414 139754 120925 145518 22553 42791 225061 210587 161401 136808 235180 97741 171520 107860 44200 89031 60083 321896 110678 307422 145390 57137 323305 171392 97613 275528 114905 75838 208922 46890 313058 323177 275400 59827 227623 163963 213149 75710 273863 249270 265153 201493 147952 217376 291155 227495 296919 194192 52398 249142 322921 298328 259261 210075 185482 23450 201365 275144 162298 147824 246196 178181 262079 10514 233131 306910 169471 81218 17558 115930 249014 259133 225830 137577 34850 202646 66616 115802 150514 52142 96973 28958 102737 299481 137449 147568 83908 153332 65079 99791 36131 267587 283470 121438 131557 106964 43304 284879 305117 315236 251576 50477 267459 218273 203799 248630 219682 67769 313699 299225 235565 171905 221091 241329 315108 257212 330991 105299 209435 283214 219554 317926 264385 288978 299097 171777 304861 314980 290387 124000 60340 330863 109526 154357 272967 170240 145647 225190 298969 161530 97870 241073 113753 187532 123872 193296 16790 90569 120926 145519 194705 219298 155638 106452 97742 171521 58675 142573 29727 74558 158456 203287 272711 307423 145391 155510 323306 122207 29599 99023 276938 46891 243635 22298 195858 49709 227624 163964 257981 243507 179847 288338 249271 323050 259390 181256 201494 211613 309985 147953 281037 227496 114650 163836 100176 282446 145007 278091 116059 101585 210076 195602 131942 68282 19096 117468 137706 211485 246197 153589 227368 243251 179591 115931 214303 160762 185355 195474 68154 275017 201238 112985 211357 186764 128868 227240 169344 66617 96974 195346 121567 299482 137450 83909 91082 115675 312419 52015 283471 67898 299354 54833 99664 169088 267460 203800 252986 17175 51887 297817 219683 313700 28703 299226 221092 304990 241330 315109 251449 173315 296280 281806 140012 317927 264386 92235 288979 274505 225319 299098 251321 124001 257085 154358 11284 139884 272968 76224 184715 283087 219 145648 219427 155767 77633 235310 97871 107990 206362 44330 177414 123873 60213 267076 178823 174468 106453 42793 91979 225063 136810 34083 107862 142574 123745 139628 75968 110680 307424 91851 259647 73022 171394 97615 83141 107734 44074 29600 123617 291413 91723 195859 245045 43946 281166 305759 291285 213151 208796 243508 179848 249272 323051 195731 9235 309986 281038 266564 241971 291157 227497 325869 65465 163837 100177 149363 296921 194194 278092 116060 312804 210077 195603 265027 117469 201367 275146 137707 211486 147826 116 69692 192657 291029 178183 262081 21915 185356 160763 121696 170882 195475 58036 147698 34852 153462 237360 10388 50735 282191 169345 81092 179464 115804 52144 7442 131687 102739 299483 163453 75200 36133 232877 70845 21659 17304 283472 23068 121440 235695 315238 257342 36005 267461 203801 156024 67771 289108 304991 241331 315110 251450 30113 187790 15639 320874 273097 248504 283216 258623 348 92236 264387 288980 299099 265796 241203 177543 202136 187662 330865 109528 105173 139885 238257 11285 76225 145649 219428 92108 206363 34212 177415 251194 162941 138348 187534 123874 222246 45740 193298 31266 90571 174469 209181 106454 91980 274250 28320 161404 235183 171523 97744 34084 107863 44203 29729 89034 187406 74560 158458 16664 110681 67259 91852 323308 259648 33956 133737 178568 227754 75841 272585 243637 249401 28064 323180 195860 281167 59830 129254 179849 312933 132072 265156 250682 211615 281039 241972 291158 153719 227498 163838 100178 296922 307041 52401 322924 185485 259264 293976 201368 137708 211487 147827 84167 280911 117 217251 163710 36390 306913 144881 169474 243253 155000 179593 185357 160764 195476 162173 137580 98513 84039 182411 266309 227242 296666 134634 115805 17433 27552 96976 18842 147571 83911 59318 118623 36134 70846 17305 170627 131560 67900 38952 235696 83783 305120 241460 54835 321003 312293 219685 156025 313702 299228 315111 15640 74945 124131 320875 281808 257215 330994 168962 242741 140014 41642 273098 349 283217 145778 219557 92237 329457 314983 177544 257087 267206 238258 76226 209310 298972 161533 147059 34213 107992 177416 138349 187535 50096 123875 60215 193299 31267 203418 258368 219301 155641 190353 97745 34085 329201 107864 177288 113628 60087 104918 203290 139630 51377 75970 91853 323309 259649 58550 275532 29602 162686 123619 330482 193043 291415 233519 307298 243638 17946 313062 281168 291287 67004 312934 273867 259393 234800 132073 265157 137837 241973 217380 227499 296923 208670 307042 116062 52402 210079 195605 23454 293977 19099 211488 217252 153592 227371 178185 65339 139118 296795 36391 169475 179594 115934 249018 275020 211360 24735 153464 163583 321260 134635 17434 195349 96977 83912 10262 99795 267591 154745 17306 115678 52018 27425 322541 7316 225578 299357 38953 235697 251580 99667 50481 321004 232751 41771 17178 219686 156026 299229 235569 171909 59063 304993 265926 315112 226859 89420 187792 296283 129896 203675 140015 350 209439 283218 264389 299101 177545 187664 286036 209311 283090 170244 131177 155770 161534 97874 34214 138350 113757 123876 193300 267079 105047 203419 106456 91982 190354 107865 29731 113629 123748 74562 256832 35495 193172 65852 145395 171397 122211 107737 314600 275533 29603 59960 217637 291416 91726 313063 323182 33830 163968 51122 272459 257985 243511 218918 312935 259394 121955 195734 132074 9238 147957 217381 291160 129128 227500 296924 307043 116063 312807 52403 249147 195606 293978 131946 68286 265030 201370 211489 162303 123236 246201 84169 192660 100052 36392 257729 21918 179595 249019 160766 195478 24736 84041 179467 17435 66621 52147 34727 65084 163456 99796 296540 36136 306659 267592 23071 299358 305122 315241 153209 251581 50482 273228 22943 67774 313704 299230 210977 235570 171910 315113 114014 187793 296284 0
400.50/400.55	c Terminating MUSer ...
400.50/400.55	c CPU Time: 400.46

Verifier Data

OK	18474

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 0.93 1.00 1.05 4/190 15486
/proc/meminfo: memFree=31261140/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=4484 CPUtime=0 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 891852041 4591616 560 33554432000 4194304 5696331 140734420174240 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 1121 561 114 367 0 751 0

[startup+0.0350871 s]
/proc/loadavg: 0.93 1.00 1.05 4/190 15486
/proc/meminfo: memFree=31261140/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=11192 CPUtime=0.03 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 2433 0 0 0 3 0 0 0 20 0 1 0 891852041 11460608 2240 33554432000 4194304 5696331 140734420174240 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 2798 2242 114 367 0 2428 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11192

[startup+0.101075 s]
/proc/loadavg: 0.93 1.00 1.05 4/190 15486
/proc/meminfo: memFree=31261140/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=25104 CPUtime=0.09 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 6195 0 0 0 9 0 0 0 21 0 1 0 891852041 25706496 5711 33554432000 4194304 5696331 140734420174240 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 6276 5711 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.301064 s]
/proc/loadavg: 0.93 1.00 1.05 4/190 15486
/proc/meminfo: memFree=31261140/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=52652 CPUtime=0.29 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 14819 0 0 0 28 1 0 0 21 0 1 0 891852041 53915648 12601 33554432000 4194304 5696331 140734420174240 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 13163 12603 114 367 0 12793 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52652

[startup+0.700965 s]
/proc/loadavg: 0.93 1.00 1.05 4/190 15486
/proc/meminfo: memFree=31261140/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=112228 CPUtime=0.69 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 29476 0 0 0 66 3 0 0 22 0 1 0 891852041 114921472 27256 33554432000 4194304 5696331 140734420174240 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 28057 27256 142 367 0 27687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112228

[startup+1.50082 s]
/proc/loadavg: 0.93 1.00 1.05 5/194 15497
/proc/meminfo: memFree=30851560/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=112228 CPUtime=1.49 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 29508 0 0 0 146 3 0 0 25 0 1 0 891852041 114921472 27288 33554432000 4194304 5696331 140734420174240 18446744073709551615 4399919 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 28057 27288 142 367 0 27687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112228

[startup+3.10056 s]
/proc/loadavg: 1.26 1.07 1.07 5/194 15497
/proc/meminfo: memFree=30845176/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=112996 CPUtime=3.09 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 29704 0 0 0 306 3 0 0 25 0 1 0 891852041 115707904 27484 33554432000 4194304 5696331 140734420174240 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 28249 27484 142 367 0 27879 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112996

[startup+6.30097 s]
/proc/loadavg: 1.26 1.07 1.07 5/194 15497
/proc/meminfo: memFree=30820756/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=112996 CPUtime=6.29 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 29706 0 0 0 626 3 0 0 25 0 1 0 891852041 115707904 27486 33554432000 4194304 5696331 140734420174240 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 28249 27486 142 367 0 27879 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112996

[startup+12.7008 s]
/proc/loadavg: 1.68 1.16 1.10 5/194 15497
/proc/meminfo: memFree=30780636/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=113128 CPUtime=12.69 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 29777 0 0 0 1266 3 0 0 25 0 1 0 891852041 115843072 27557 33554432000 4194304 5696331 140734420174240 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 28282 27557 142 367 0 27912 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113128

[startup+25.5005 s]
/proc/loadavg: 2.11 1.27 1.13 5/194 15497
/proc/meminfo: memFree=30836060/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=116128 CPUtime=25.49 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 30501 0 0 0 2546 3 0 0 25 0 1 0 891852041 118915072 28281 33554432000 4194304 5696331 140734420174240 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 29032 28281 142 367 0 28662 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116128

[startup+51.1008 s]
/proc/loadavg: 2.75 1.49 1.21 5/194 15498
/proc/meminfo: memFree=30565656/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=113832 CPUtime=51.09 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 48529 0 0 0 5104 5 0 0 25 0 1 0 891852041 116563968 27927 33554432000 4194304 5696331 140734420174240 18446744073709551615 4416830 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 28458 27927 149 367 0 28088 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 113832

[startup+102.307 s]
/proc/loadavg: 3.50 1.91 1.37 5/194 15499
/proc/meminfo: memFree=29859084/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=102.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56084 0 0 0 10224 6 0 0 25 0 1 0 891852041 147402752 35482 33554432000 4194304 5696331 140734420174240 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35482 150 367 0 35617 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 143948

[startup+162.301 s]
/proc/loadavg: 3.80 2.26 1.52 5/194 15501
/proc/meminfo: memFree=28603928/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=162.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56125 0 0 0 16223 7 0 0 25 0 1 0 891852041 147402752 35523 33554432000 4194304 5696331 140734420174240 18446744073709551615 4381159 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35523 150 367 0 35617 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 143948

[startup+222.301 s]
/proc/loadavg: 3.93 2.60 1.68 5/194 15503
/proc/meminfo: memFree=27301780/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=222.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56138 0 0 0 22223 7 0 0 25 0 1 0 891852041 147402752 35536 33554432000 4194304 5696331 140734420174240 18446744073709551615 4416874 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35536 150 367 0 35617 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 143948

[startup+282.301 s]
/proc/loadavg: 3.97 2.83 1.81 5/194 15580
/proc/meminfo: memFree=26822044/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=282.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56152 0 0 0 28222 8 0 0 25 0 1 0 891852041 147402752 35550 33554432000 4194304 5696331 140734420174240 18446744073709551615 4416836 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35550 150 367 0 35617 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 143948

[startup+342.301 s]
/proc/loadavg: 3.99 3.06 1.96 5/194 15582
/proc/meminfo: memFree=25867960/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=342.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56165 0 0 0 34222 8 0 0 25 0 1 0 891852041 147402752 35563 33554432000 4194304 5696331 140734420174240 18446744073709551615 4416862 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35563 150 367 0 35617 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 143948

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

[startup+358.301 s]
/proc/loadavg: 4.06 3.12 1.99 5/194 15582
/proc/meminfo: memFree=25281804/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=358.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56169 0 0 0 35822 8 0 0 25 0 1 0 891852041 147402752 35567 33554432000 4194304 5696331 140734420174240 18446744073709551615 4381105 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35567 150 367 0 35617 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 143948

[startup+383.907 s]
/proc/loadavg: 4.04 3.19 2.05 5/194 15583
/proc/meminfo: memFree=24718192/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=383.91 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56176 0 0 0 38382 9 0 0 25 0 1 0 891852041 147402752 35574 33554432000 4194304 5696331 140734420174240 18446744073709551615 4381137 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35574 150 367 0 35617 0
Current children cumulated CPU time (s) 383.91
Current children cumulated vsize (KiB) 143948

[startup+390.301 s]
/proc/loadavg: 4.03 3.20 2.06 5/194 15583
/proc/meminfo: memFree=24642424/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=390.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56177 0 0 0 39021 9 0 0 25 0 1 0 891852041 147402752 35575 33554432000 4194304 5696331 140734420174240 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35575 150 367 0 35617 0
Current children cumulated CPU time (s) 390.3
Current children cumulated vsize (KiB) 143948

[startup+396.701 s]
/proc/loadavg: 4.03 3.21 2.07 5/194 15583
/proc/meminfo: memFree=24581912/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=396.7 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56179 0 0 0 39661 9 0 0 25 0 1 0 891852041 147402752 35577 33554432000 4194304 5696331 140734420174240 18446744073709551615 4417094 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35577 150 367 0 35617 0
Current children cumulated CPU time (s) 396.7
Current children cumulated vsize (KiB) 143948

[startup+398.301 s]
/proc/loadavg: 4.03 3.23 2.08 5/194 15583
/proc/meminfo: memFree=24572728/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=398.3 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56179 0 0 0 39821 9 0 0 25 0 1 0 891852041 147402752 35577 33554432000 4194304 5696331 140734420174240 18446744073709551615 4370302 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35577 150 367 0 35617 0
Current children cumulated CPU time (s) 398.3
Current children cumulated vsize (KiB) 143948

[startup+399.9 s]
/proc/loadavg: 4.03 3.23 2.08 5/194 15583
/proc/meminfo: memFree=24572728/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=399.9 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56180 0 0 0 39981 9 0 0 25 0 1 0 891852041 147402752 35578 33554432000 4194304 5696331 140734420174240 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35578 150 367 0 35617 0
Current children cumulated CPU time (s) 399.9
Current children cumulated vsize (KiB) 143948

[startup+400.3 s]
/proc/loadavg: 4.03 3.23 2.08 5/194 15583
/proc/meminfo: memFree=24572728/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=400.31 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56180 0 0 0 40022 9 0 0 25 0 1 0 891852041 147402752 35578 33554432000 4194304 5696331 140734420174240 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35578 150 367 0 35617 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 143948

[startup+400.5 s]
/proc/loadavg: 4.03 3.23 2.08 5/194 15583
/proc/meminfo: memFree=24572728/32951124 swapFree=67054536/67111528
[pid=15486] ppid=15484 vsize=143948 CPUtime=400.5 cores=4,6
/proc/15486/stat : 15486 (muser) R 15484 15486 11621 0 -1 4202496 56180 0 0 0 40041 9 0 0 25 0 1 0 891852041 147402752 35578 33554432000 4194304 5696331 140734420174240 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15486/statm: 35987 35578 150 367 0 35617 0
Current children cumulated CPU time (s) 400.5
Current children cumulated vsize (KiB) 143948

Child status: 20
Real time (s): 400.556
CPU time (s): 400.567
CPU user time (s): 400.464
CPU system time (s): 0.102984
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 143948

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

runsolver used 0.689895 second user time and 1.50077 second system time

The end

Launcher Data

Begin job on node133 at 2011-06-11 16:29:02
IDJOB=3493711
IDBENCH=82483
IDSOLVER=1969
FILE ID=node133/3493711-1307802541
RUNJOBID= node133-1307802541-15439
PBS_JOBID= 13551015
Free space on /tmp= 74064 MiB

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

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

MD5SUM BENCH= b89aeb63aa93f7d74332e7bb38b0b94a
RANDOM SEED=1941574436

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31265048 kB
Buffers:        281852 kB
Cached:        1150604 kB
SwapCached:      10420 kB
Active:         636088 kB
Inactive:       847860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31265048 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:           24960 kB
Writeback:           0 kB
AnonPages:       48512 kB
Mapped:          13860 kB
Slab:           137276 kB
PageTables:       5568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   265740 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74060 MiB
End job on node133 at 2011-06-11 16:35:42