Trace number 3291216

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
UmSat 2011-02-25Wrong Cert. 3.37649 3.3761

General information on the benchmark

NameSAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
MD5SUM8bd122b0caab0988cbc54e4731b25623
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.2178
Satisfiable
(Un)Satisfiability was proved
Number of variables17064
Number of clauses545612
Sum of the clauses size1608428
Maximum clause length187
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2476931
Number of clauses of size 356141
Number of clauses of size 4301
Number of clauses of size 5290
Number of clauses of size over 511948

Solver Data 

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

Verifier Data 

ERROR: clause is not satisfied: 4924 12329 0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3291216-1303779555/watcher-3291216-1303779555 -o /tmp/evaluation-result-3291216-1303779555/solver-3291216-1303779555 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3291216-1303779555.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.68 3.94 3.91 5/184 9219
/proc/meminfo: memFree=17464016/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=11644 CPUtime=0 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4194304 354 0 0 0 0 0 0 0 20 0 1 0 568186264 11923456 294 33554432000 4194304 4263880 140733598025120 18446744073709551615 47312552384042 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 2911 294 241 17 0 84 0

[startup+0.0800661 s]
/proc/loadavg: 3.68 3.94 3.91 5/184 9219
/proc/meminfo: memFree=17464016/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=12560 CPUtime=0.07 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4194304 618 0 0 0 7 0 0 0 20 0 1 0 568186264 12861440 509 33554432000 4194304 4263880 140733598025120 18446744073709551615 4232280 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 3140 509 242 17 0 313 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12560

[startup+0.101059 s]
/proc/loadavg: 3.68 3.94 3.91 5/184 9219
/proc/meminfo: memFree=17464016/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=13472 CPUtime=0.1 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4194304 878 0 0 0 10 0 0 0 20 0 1 0 568186264 13795328 672 33554432000 4194304 4263880 140733598025120 18446744073709551615 47312552374979 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 3368 673 242 17 0 541 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13472

[startup+0.301027 s]
/proc/loadavg: 3.68 3.94 3.91 5/184 9219
/proc/meminfo: memFree=17464016/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=15428 CPUtime=0.29 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4194304 1579 0 0 0 29 0 0 0 21 0 1 0 568186264 15798272 1180 33554432000 4194304 4263880 140733598025120 18446744073709551615 47312552209036 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 3857 1180 242 17 0 1030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15428

[startup+0.700965 s]
/proc/loadavg: 3.68 3.94 3.91 5/184 9219
/proc/meminfo: memFree=17464016/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=26768 CPUtime=0.69 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4194304 4872 0 0 0 69 0 0 0 22 0 1 0 568186264 27410432 3319 33554432000 4194304 4263880 140733598025120 18446744073709551615 4232297 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 6692 3319 242 17 0 3865 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26768

[startup+1.5008 s]
/proc/loadavg: 3.68 3.94 3.91 4/186 9271
/proc/meminfo: memFree=17436536/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=41888 CPUtime=1.49 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4194304 9560 0 0 0 148 1 0 0 25 0 1 0 568186264 42893312 6470 33554432000 4194304 4263880 140733598025120 18446744073709551615 47312552267191 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 10472 6471 242 17 0 7645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41888

[startup+3.1005 s]
/proc/loadavg: 3.70 3.94 3.91 5/184 9324
/proc/meminfo: memFree=17402724/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=121872 CPUtime=3.09 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4202496 30913 0 0 0 306 3 0 0 25 0 1 0 568186264 124796928 24750 33554432000 4194304 4263880 140733598025120 18446744073709551615 231895151301 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 30468 24753 244 17 0 27641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121872

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

[startup+3.30646 s]
/proc/loadavg: 3.70 3.94 3.91 5/184 9324
/proc/meminfo: memFree=17283240/32950928 swapFree=67111528/67111528
[pid=9219] ppid=9217 vsize=109992 CPUtime=3.3 cores=0,2
/proc/9219/stat : 9219 (umsat) R 9217 9219 7067 0 -1 4202496 33169 0 0 0 326 4 0 0 25 0 1 0 568186264 112631808 23809 33554432000 4194304 4263880 140733598025120 18446744073709551615 231895146378 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9219/statm: 27498 23809 253 17 0 24671 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 109992

Child status: 0
Real time (s): 3.3761
CPU time (s): 3.37649
CPU user time (s): 3.32949
CPU system time (s): 0.046992
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 121872

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

runsolver used 0.005999 second user time and 0.017997 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-26 02:59:16
IDJOB=3291216
IDBENCH=84172
IDSOLVER=1582
FILE ID=node114/3291216-1303779555
RUNJOBID= node114-1303779555-9131
PBS_JOBID= 13157162
Free space on /tmp= 71568 MiB

SOLVER NAME= UmSat 2011-02-25
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= umsat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291216-1303779555/watcher-3291216-1303779555 -o /tmp/evaluation-result-3291216-1303779555/solver-3291216-1303779555 -C 2400 -W 1300 -M 7680  umsat HOME/instance-3291216-1303779555.cnf

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

MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=1792293432

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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:     32950928 kB
MemFree:      17463932 kB
Buffers:       2298584 kB
Cached:       12522760 kB
SwapCached:          0 kB
Active:        6709916 kB
Inactive:      8190084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17463932 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20196 kB
Writeback:           0 kB
AnonPages:       77580 kB
Mapped:          14876 kB
Slab:           520800 kB
PageTables:       5184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   244408 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71508 MiB
End job on node114 at 2011-04-26 02:59:19