Trace number 2657501

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT706 1798.11 1798.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
MD5SUMdae2a99f19ab3cbb5b0fd1a29cad1e80
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark54.7837
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 203
Optimality of the best value was proved NO
Number of variables10989
Total number of constraints12472
Number of constraints which are clauses10469
Number of constraints which are cardinality constraints (but not clauses)2003
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint25
Number of terms in the objective function 10989
Biggest coefficient in the objective function 5985
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32028
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5985
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32028
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657501-1276477557.opb
0.00/0.00	c File size is 603215 bytes.
0.09/0.10	c Highest Coefficient sum: 32028
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.105 s
0.09/0.11	c Var: 10989 Constr: 12473 10471/2002/0 Lit: 46389 Watch. Lit: 28907
0.09/0.11	c Obj. Vars: 10989 (100 % of total variables)
0.19/0.21	c Pre-processing Time: 0.214 s
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0  10988    12470    46385    3    28904   28787      0      0 0.21
0.19/0.21	c Switching off lower bounding mode.
0.19/0.22	o 938
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0  10988    12471    57373    4    36708   50763      1      0 0.23
0.19/0.24	o 936
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0  10988    12472    68361    5    44511   72739      2      0 0.25
0.19/0.27	o 935
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c        1  10988    12474    82537    6    52321   72739      4      3 0.28
0.79/0.84	o 747
3.99/4.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.04	c        1  10988    12475    93525    7    59775   72739      5      1 0.85
3.99/4.04	c      102  10988    12576   411972   32    59970   80013    106     66 1.53
3.99/4.04	c      353  10988    12827  1198799   93    60592   88015    357    109 3.23
3.99/4.04	o 729
409.47/409.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
409.47/409.65	c      353  10988    12828  1209787   94    68432   72739    358     87 4.05
409.47/409.65	c      454  10988    12929  1526005  118    68704   80013    459     93 4.84
409.47/409.65	c      704  10988    13179  2304664  174    69289   88015    709     99 7.10
409.47/409.65	c     1179  10988    13654  3798147  278    70088   96817   1184    113 10.39
409.47/409.65	c     1992  10988    14467  6353477  439    71665  106499   1997    130 15.28
409.47/409.65	c     3313  10988    15788 10484939  664    74312  117149   3318    145 22.84
409.47/409.65	c     5394  10988    17869 17044537  953    78493  128864   5399    147 36.47
409.47/409.65	c     8618  10988    21093 27169622 1288    84897  141751   8623    163 52.74
409.47/409.65	c    13555  10988    26030 42708961 1640    94865  155927  13560    152 88.69
409.47/409.65	c    21061  10988    33536 66445407 1981   109680  171520  21066    146 143.89
409.47/409.65	c Reducing formula size due to memory constraints
409.47/409.65	c Memory Limit: 1000.00 MB  Used: 1023.64 MB
409.47/409.65	c    32422  10988    29768 54551020 1832    71382   28263  17298    139 233.05
409.47/409.65	c Reducing formula size due to memory constraints
409.47/409.65	c Memory Limit: 1000.00 MB  Used: 1018.68 MB
409.47/409.65	c    49566  10988    31981 61594756 1925    75791   28355  19511    121 409.29
409.47/409.65	o 723
783.76/784.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
783.76/784.08	c    49566  10988    31982 61605744 1926    83559   50763  19512    121 409.55
783.76/784.08	c    49666  10988    32082 61926915 1930    83730   55840  19612    121 410.17
783.76/784.08	c    49916  10988    32332 62714841 1939    84404   61425  19862    121 412.01
783.76/784.08	c    50393  10988    32809 64205810 1956    85369   67568  20339    121 415.38
783.76/784.08	c    51207  10988    33623 66743205 1985    86987   74325  21153    122 419.33
783.76/784.08	c    52528  10988    34944 70850380 2027    89654   81758  22474    123 426.66
783.76/784.08	c    54611  10988    37027 77386311 2089    93783   89934  24557    124 438.69
783.76/784.08	c Reducing formula size due to memory constraints
783.76/784.08	c Memory Limit: 1000.00 MB  Used: 1020.40 MB
783.76/784.08	c    57834  10988    25188 39950994 1586    62237   28287  12718    124 463.26
783.76/784.08	c    62770  10988    30124 55588831 1845    72069   31116  17654    125 498.88
783.76/784.08	c    70276  10988    37630 79198653 2104    87107   34228  25160    128 547.84
783.76/784.08	c Reducing formula size due to memory constraints
783.76/784.08	c Memory Limit: 1000.00 MB  Used: 1017.36 MB
783.76/784.08	c    81638  10988    33971 67991212 2001    79767   28265  21501    127 641.11
783.76/784.08	c Reducing formula size due to memory constraints
783.76/784.08	c Memory Limit: 1000.00 MB  Used: 1022.11 MB
783.76/784.08	c    98782  10988    36143 75251214 2082    84104   28307  23673    126 783.61
783.76/784.08	o 706
1797.98/1798.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.52	c    98782  10988    36144 75262202 2082    91890   50763  23674    126 783.87
1797.98/1798.52	c    98882  10988    36244 75583924 2085    92028   55840  23774    126 784.52
1797.98/1798.52	c    99133  10988    36495 76367698 2092    92754   61425  24025    126 786.37
1797.98/1798.52	c    99608  10988    36970 77868011 2106    93625   67568  24500    126 788.90
1797.98/1798.52	c   100423  10988    37785 80385578 2127    95372   74325  25315    126 792.83
1797.98/1798.52	c Reducing formula size due to memory constraints
1797.98/1798.52	c Memory Limit: 1000.00 MB  Used: 1026.88 MB
1797.98/1798.52	c   101743  10988    24127 36990446 1533    60102   28344  11657    126 801.69
1797.98/1798.52	c   103824  10988    26208 43492563 1659    64275   31179  13738    127 812.71
1797.98/1798.52	c   107047  10988    29431 53645790 1822    70694   34297  16961    128 831.95
1797.98/1798.52	c   111983  10988    34367 69221040 2014    80583   37727  21897    129 866.61
1797.98/1798.52	c Reducing formula size due to memory constraints
1797.98/1798.52	c Memory Limit: 1000.00 MB  Used: 1023.87 MB
1797.98/1798.52	c   119490  10988    26806 45373842 1692    65435   28268  14336    130 918.62
1797.98/1798.52	c   130851  10988    38167 81074904 2124    88176   31095  25697    125 1041.88
1797.98/1798.52	c Reducing formula size due to memory constraints
1797.98/1798.52	c Memory Limit: 1000.00 MB  Used: 1018.84 MB
1797.98/1798.52	c Reducing formula size due to memory constraints
1797.98/1798.52	c Memory Limit: 1000.00 MB  Used: 1013.70 MB
1797.98/1798.52	c   147995  10988    25361 40330431 1590    62579   28339  12891    122 1209.41
1797.98/1798.52	c Reducing formula size due to memory constraints
1797.98/1798.52	c Memory Limit: 1000.00 MB  Used: 1017.07 MB
1797.98/1798.52	c   173814  10988    36169 74680374 2064    84169   28337  23699    116 1490.91
1797.98/1798.52	c Reducing formula size due to memory constraints
1797.98/1798.52	c Memory Limit: 1000.00 MB  Used: 1020.49 MB
1797.98/1798.52	c Reducing formula size due to memory constraints
1797.98/1798.52	c Memory Limit: 1000.00 MB  Used: 1025.41 MB
1797.98/1798.52	c Resources Exceeded
1797.98/1798.52	v -x10813 -x8251 x4339 -x10817 x4338 -x2585 x1692 -x8250 -x5617 x4336 -x3998 -x2584 -x2472 x1691 x1007 -x8254 x6013 -x4337 -x4002 -x2590 x1693 x1005 -x10422 x6012 -x5620 -x2589 x1694 -x8255 -x5621 -x5000 -x2591 x1695 x1006 -x10421 -x8993 x6014 -x4999 -x4651 x3704 -x2595 x1702 -x1010 -x10425 x6016 -x5417 -x5005 x3703 -x2594 x1696 -x8996 -x5416 -x5004 x3705 -x2592 x1697 -x10426 -x8997 x6017 x5422 -x5006 -x3708 -x2593 x1698 -x6019 x5421 -x5010 -x4597 x3707 x385 -x6020 -x5423 -x5009 x3712 -x1884 x384 -x10233 x5427 -x5007 -x4626 -x4600 x3711 -x1883 x386 x257 x5426 -x5008 -x4601 x3709 -x1889 -x389 -x10232 x9237 -x5692 x5424 -x3710 -x1888 x388 -x260 x9241 -x7852 x5425 -x1890 x393 -x261 -x10238 -x7851 x5691 -x1894 x392 -x10236 x7857 -x1893 x390 x7856 x6934 x5697 -x1891 -x1601 -x391 -x10237 x7858 x5695 -x1892 -x10241 x9521 x9210 -x7862 x6933 x9215 -x7861 -x6937 x5696 x9520 x9214 -x7859 x7736 -x5700 x1177 -x7860 -x6938 -x1322 x9526 x9217 -x1321 x1176 x9524 x9218 -x7546 -x1327 x1180 x9221 -x7545 -x1326 x9525 x9219 -x7547 -x1328 x1181 -x9529 -x9220 -x7548 x3973 x1332 -x5238 x1331 -x7552 x5866 -x5237 x3976 x1329 x5870 -x5239 x3977 x1330 -x5240 x10258 -x7317 x6419 x5247 -x7321 x6032 x5241 -x1676 x10261 x6031 -x5667 x5242 -x1675 x10262 x6037 x5243 -x1677 x6036 -x5670 -x2146 x1678 x6038 -x5671 x3928 -x2145 x1679 x8686 -x7292 x6042 -x5988 x3927 -x2147 x1686 -x7296 x6041 x3929 -x2150 -x1680 x8685 -x6157 x6039 -x5991 x3930 -x2418 -x2149 -x1681 -x9405 x8689 -x6161 x6040 -x5992 x3931 -x2154 -x1682 -x9404 -x6435 x6328 x3938 -x2421 -x2153 -x9406 x8690 -x6440 x3932 -x2422 -x2151 -x9407 -x6439 x6327 x3933 -x3349 x2869 -x2152 x9408 x6331 x3934 -x9803 x9415 x6442 -x3352 x9409 x6443 x6332 -x3353 -x10643 x9410 -x8640 -x7897 x6446 x9411 -x8639 x10981 x6444 x10982 -x8641 x6445 -x10466 x7900 -x6257 -x10465 -x9666 -x8646 -x7901 x649 -x10467 -x9665 -x8645 -x7915 x7904 -x3908 -x1252 x648 -x10470 x9920 -x9667 -x8872 -x8643 -x7914 x7902 -x3912 x654 -x10469 x9919 -x9668 -x8871 -x8644 -x7916 x7903 -x3297 x1934 -x1251 x653 -x10474 x9917 -x9669 -x8873 -x7919 -x3302 x655 -x10473 -x9918 -x9676 -x8874 -x7918 x4297 -x3301 x1933 -x1257 x659 -x10471 -x9670 x8875 -x7923 -x1937 -x1255 -x844 x658 -x10472 -x9671 x8882 -x7922 x4296 -x3304 x2659 -x843 -x656 -x9672 x8876 -x7920 -x3305 -x1938 -x1256 -x845 -x657 -x8877 -x7921 -x3308 -x1260 -x846 -x8878 -x3306 -x3307 x10983 x1002 -x10812 x4343 x2468 -x10816 -x8252 -x6193 -x5616 -x3997 -x2471 -x1839 x1008 -x8256 x6008 -x4001 -x2586 -x1843 x6007 -x5622 -x4647 -x2587 x1705 x1011 -x2588 x1706 x1009 -x10423 -x8992 -x8258 x6015 -x4650 -x2599 x1701 -x10427 -x8259 x6018 -x5001 -x10493 -x8998 x6022 -x5625 -x5002 x1699 -x674 -x6021 -x5418 -x5003 x3706 x678 -x10429 -x9737 -x5419 -x5014 -x4622 -x4596 x3720 -x10430 -x9741 x5420 x3716 -x10228 -x9001 -x5431 -x4625 -x4602 x3715 -x2565 x256 -x2569 -x1885 x387 -x10234 x9236 -x5687 -x1886 -x401 x262 x9240 -x1887 x397 -x10239 x5693 -x4605 -x1898 -x1597 x396 -x7853 -x10242 -x7854 -x6888 x5698 -x1600 -x265 -x10240 x7855 -x9516 -x7866 -x7732 x6935 -x5701 x5596 x9209 -x6939 -x5699 x9522 x9211 x7735 -x4379 x9216 -x4383 x9527 x9213 -x6941 -x2447 x1178 x9222 -x6942 -x1323 x1182 -x9530 -x1324 -x9528 x1325 -x7555 x3972 -x1336 x1184 -x7556 x1185 -x7551 x5865 x3978 x5869 -x7549 x6415 -x5250 -x5251 x10257 -x7316 x6418 -x5246 -x3981 -x778 -x7320 x10263 -x6487 -x5666 -x5244 x6491 x6033 x6034 -x5672 -x1689 x6035 -x1690 -x10266 -x7291 -x6046 -x5987 x1685 -x7295 -x2148 x8687 -x6156 -x5993 -x5675 x3941 -x2417 -x2162 x1683 x8691 -x6160 x3942 -x2158 x3937 -x2865 -x2423 -x2157 -x6434 -x9799 -x9418 -x8693 -x6436 x6329 -x5996 x3935 -x3348 x2868 -x2343 -x9419 -x8694 -x6441 x6333 -x2347 -x10639 -x9802 x9414 x6438 -x3354 -x2426 x6447 -x10642 x9412 x7034 -x6335 -x7896 x7038 -x6336 -x7898 x6253 -x3357 -x8642 -x8654 -x6256 -x5446 x4047 -x8650 x7905 -x4051 x9928 -x8649 -x3907 -x1247 -x10468 -x9924 -x3911 x650 -x10482 -x9923 -x9679 -x2038 -x1253 x651 -x10478 -x9680 -x7917 -x3296 x652 -x10477 -x9675 x8885 -x7931 -x4293 -x3298 x1935 -x1258 x663 x8886 -x7927 -x3303 -x1939 -x9673 x8881 -x7926 x4298 -x3300 x2658 -x1261 -x8 -x3309 -x1259 -x12 -x8879 -x4027 -x1941 x849 -x1942 x850 -x4346 -x8246 -x4347 x1001 -x10814 -x8245 -x6194 -x5612 x4342 x2467 x1003 -x10818 -x6192 -x8253 -x5618 x4340 -x3999 x2473 -x1838 -x1704 -x1127 -x10417 -x8257 -x4003 -x1842 -x1703 x1131 x1012 -x10820 -x10416 -x8988 -x8261 -x5623 -x4646 -x2602 -x10821 -x8260 x6009 -x2603 -x10489 -x10424 -x8994 x6010 -x5626 -x4652 -x4005 -x2598 -x2476 -x10428 x6011 -x5624 -x4006 -x10492 -x10432 -x8999 -x6136 x6026 -x5017 -x4592 x3717 -x2596 x1700 -x673 -x10431 -x5018 x3719 x677 -x9736 -x9002 x5434 -x5013 -x4655 -x4621 -x4598 -x252 -x9740 -x9000 x5435 -x9455 -x5430 -x5011 -x4627 -x4603 x3713 -x2564 -x398 x258 -x10227 -x2568 -x400 -x10229 x9238 -x5428 -x4606 x3714 -x1901 x263 -x10235 x9242 -x5686 -x4604 -x1902 -x10231 -x6884 -x5688 -x4630 -x1897 -x1596 x394 x266 -x10243 -x6929 x5694 x264 x9244 -x7869 -x6928 -x6887 x5690 x5592 -x1895 -x1602 -x395 x9245 -x7870 -x5702 -x7865 x7731 x6936 x5595 x3206 -x9515 -x6940 -x1172 -x10743 -x9517 -x7863 x7737 -x6944 -x4378 -x2443 -x1605 -x1171 x9523 x9212 -x6943 -x4382 x9519 -x9230 -x8187 -x2446 x1179 -x9531 x9226 x1183 x9225 -x8525 x7740 -x7554 -x3968 -x1339 x1187 -x8529 -x7553 -x1340 x1186 -x5546 x3974 -x1335 x5867 -x5249 x3979 -x1333 x5871 -x5248 -x10253 -x7550 x6414 -x3982 x774 -x3980 x10259 -x9426 -x7318 x6420 -x5873 -x5662 -x1156 x777 -x9430 -x7322 -x5874 x10264 -x6486 -x5668 -x5245 -x1688 x6490 -x1687 -x10267 -x7324 x6423 x6049 -x5983 -x5673 -x1077 -x10265 x8681 -x7325 x6050 -x1081 -x9113 x8680 -x7293 -x6045 -x5989 -x5676 -x3940 -x2413 -x2159 -x9117 -x7297 -x5674 x3939 -x2161 x8688 -x6158 -x6043 -x5994 -x2419 -x1684 x1102 x8692 -x6323 -x6162 -x1106 -x9417 -x8696 -x8280 -x7299 x6322 -x5997 -x3344 x2864 -x2424 -x2155 -x9416 -x8695 -x7300 -x5995 -x9798 x6330 -x6164 x3936 -x3350 x2870 -x2427 -x2342 -x2156 -x6437 x6334 -x6165 -x2425 -x2346 -x10638 -x9804 x6455 x6338 -x3355 -x2013 -x6451 x6337 -x10644 x9413 x7033 -x6450 -x3358 -x2873 x7037 -x3356 -x9807 -x8651 x6252 -x5442 x2844 -x8653 -x7899 -x10647 x9925 -x7913 -x6258 -x5445 x4046 x9927 -x7909 x4050 -x10479 -x9678 -x8647 -x7908 -x3909 x2034 -x10481 -x9677 -x3913 -x1929 -x1246 -x9921 x8884 -x8648 -x7928 -x6261 -x2037 -x1928 -x1248 x666 x8883 -x7930 -x1254 x667 -x10475 -x9922 -x3915 -x3799 x2655 x1936 -x1250 x662 -x4292 -x3916 -x3803 -x3299 -x1940 -x1262 -x10476 -x9674 -x7924 -x4294 -x4023 -x3317 x2660 -x1944 x848 x660 -x7 x4299 -x3313 -x1943 x847 -x11 -x8880 -x7925 -x4026 -x3312 -x10809 -x10280 -x4344 x2463 x10284 -x6195 -x3993 -x10815 -x3992 x2469 x132 -x10819 -x8247 -x5611 x1004 -x136 -x10823 -x8248 -x5613 -x4642 x4341 -x4000 -x2601 x2474 -x1840 -x1126 x1020 -x10822 -x8249 -x5619 -x4004 -x2600 -x1844 x1130 x1016 -x8265 -x5615 -x4648 -x4008 -x2477 x1015 -x10418 -x8987 -x5627 -x4007 -x2475 -x10488 -x10419 -x8989 -x6132 -x6029 -x5016 -x4653 x1846 -x10420 -x8995 -x6030 -x5015 x3718 x1847 -x10494 -x10436 -x8991 -x6135 x6025 x5433 -x4656 -x4617 -x2597 -x675 -x9003 x5432 -x4654 -x4591 x679 -x9738 -x9451 -x6023 -x4623 -x4593 -x4533 -x9742 x9232 -x4599 -x399 -x251 -x10497 -x9454 x9231 -x5012 -x4628 -x4595 -x2566 -x1900 -x681 x253 -x4607 -x2570 -x1899 -x682 x259 x9744 -x9364 x9239 -x5429 -x4631 -x1592 x255 -x10230 -x9745 x9243 -x4629 x267 -x10251 x9247 -x7868 -x6883 -x6641 -x2572 -x1598 -x10247 x9246 -x7867 -x5689 -x2573 -x10246 x7727 -x6889 -x6516 -x5710 x5591 -x3202 -x1896 -x1603 -x6930 -x5706 -x10739 -x9339 x7733 -x6931 -x5705 x5597 x3205 -x1606 x6932 -x1604 -x10742 -x9227 -x8183 -x7864 x7738 -x6948 -x6892 -x4380 -x2442 -x9518 -x9229 -x4384 x1173 x9539 -x8186 x7741 -x5600 -x2448 -x1338 x1174 -x9535 x7739 -x1337 x1175 -x9534 x9223 -x8524 -x7782 x5542 -x4386 x1191 -x8528 -x7786 -x5861 -x4387 -x3967 x9224 -x6587 -x5860 x5545 x3969 -x2451 -x6591 x3975 -x6410 x5868 x3971 -x1334 -x7312 x5872 -x3983 -x7311 x6416 -x5876 x2610 -x1152 x773 x10252 -x5875 -x2614 x10254 -x9425 -x7319 x6421 -x1155 x779 x10260 -x9429 -x7323 -x5661 x10256 -x7327 -x6488 x6424 -x6048 -x5663 -x10268 -x7326 -x7287 x6492 x6422 x6047 -x5669 -x7286 -x5665 -x4721 -x1076 -x782 -x6152 -x5982 -x5677 -x4725 -x2160 -x1080 -x9112 -x7346 -x7294 x6494 -x6151 -x5984 -x9116 x8682 -x7298 x6495 -x5990 -x2412 x8683 -x8276 -x7302 -x6159 -x6044 -x5986 x2860 -x2414 x1101 x8684 -x7301 -x6163 -x5998 -x2420 -x1105 -x9794 x8700 -x8279 -x6167 x2866 -x2416 x6324 -x6166 -x3343 -x2428 -x10634 -x9800 x6452 x6325 -x4905 -x3345 x2871 -x2344 -x2009 x6454 x6326 -x4909 -x3351 -x2348 -x10640 -x9805 x6342 -x3347 -x2874 -x2012 -x3359 -x2872 x10645 -x9808 x7035 -x6448 -x6248 x2840 -x2350 -x9806 -x8652 x7039 -x2351 -x10648 -x7910 -x6612 -x6449 x6254 x5441 x2843 -x10646 -x9926 -x7912 -x6616 -x3903 -x7041 -x6259 -x5447 x4048 -x3902 -x10480 -x7042 x4052 -x7906 -x6262 -x3910 x2033 -x665 -x7929 -x6260 -x3914 x664 -x7907 -x5450 x4054 -x3918 x2039 x4055 -x3917 -x1930 -x1249 -x3798 -x3314 -x1931 -x1270 -x3802 -x3316 x2654 x1932 -x1266 x9828 -x8059 -x4022 x2656 -x2042 -x1948 -x1265 x661 -x9 -x8063 -x4295 x2661 -x13 -x4307 x4028 -x3310 -x512 x4303 x4302 x3781 -x3311 -x1777 -x10984 -x15 -x1781 -x16 -x10279 -x6203 -x4345 -x10808 x10283 -x6199 x2462 -x1834 -x10810 -x6198 -x3948 x2464 -x1833 -x1017 x131 -x10811 -x3994 -x3952 x2470 x1019 -x135 -x10827 -x8268 -x3995 x2466 -x1841 -x1128 -x8269 -x5614 -x4641 -x3996 -x2478 -x1845 x1132 -x10484 -x8264 -x6028 -x5635 -x4643 -x4012 x1849 x1013 -x6027 -x5631 -x4649 x1848 -x669 -x10490 -x10439 -x8262 x6131 -x5630 x4645 x1134 x1014 x668 -x10440 -x9732 -x8990 x4657 -x1135 -x10495 -x10435 x9731 -x9011 x6137 -x4529 x676 -x9007 -x4616 -x2560 x680 -x10498 -x10433 -x9739 -x9450 -x9006 -x6024 -x4618 -x4532 -x2559 x684 -x10496 -x9743 -x4624 -x4594 -x683 x9747 -x9456 -x9360 x6140 -x4620 -x4615 -x2567 x9746 x9233 -x4632 -x4611 -x2571 x254 -x10248 -x9363 x9234 -x7510 -x6879 -x6637 -x4610 -x2575 x275 -x10250 x9235 -x7514 -x2574 -x1591 x271 -x9459 x9251 -x7639 -x6885 x6640 -x6512 -x5707 -x5587 -x1593 x270 -x5709 -x1599 x10348 -x10244 -x9335 -x6890 -x6515 x5593 -x3201 -x1595 -x10352 x7726 -x4374 -x1607 -x10738 -x10245 -x9338 x7728 -x6951 -x6893 -x5703 x5598 -x4373 x3207 -x2438 -x1351 -x9228 x7734 -x6952 -x6891 -x10744 x9536 x8230 -x8182 x7730 -x6947 -x5704 -x5601 -x4381 -x2444 x9538 x7742 -x5599 -x4385 -x10668 -x8188 -x6945 -x4389 -x3210 -x2449 -x1194 -x4388 -x1195 -x10747 -x9532 -x8526 -x7781 x5541 -x2452 x1190 -x8530 -x7785 -x2450 -x9533 -x8191 -x6586 x5547 x1188 -x6590 -x5862 x3970 -x8532 -x5863 x3991 -x769 -x8533 -x6409 x5864 -x3987 -x6411 -x5880 x5550 -x3986 x2609 -x1151 x775 -x7313 x6482 x6417 x2613 -x9427 -x7314 x6481 x6413 -x1157 x780 x10255 -x9431 -x7315 x6425 -x10276 -x7331 x6489 x783 x10272 x6493 -x5664 x781 x10271 -x9433 -x7342 x6497 -x5685 -x4720 -x1160 -x1078 -x9434 -x7288 x6496 -x5681 -x4724 -x1082 -x9114 -x7345 -x7289 -x5680 -x9118 -x7290 -x6153 -x5985 x8703 -x8275 -x7306 -x6154 -x6006 x1103 -x1084 x8704 x6155 -x6002 x2859 -x2415 -x2338 -x1107 -x1085 -x9120 x8699 -x8281 -x6171 -x6001 x2861 -x2436 -x2337 -x365 -x9793 -x9121 x6453 x2867 -x2432 -x369 -x9795 x8697 x8405 -x6345 -x4904 x2863 -x2431 -x2345 -x2008 x1109 -x10633 -x9801 -x7029 -x6346 -x4908 -x3346 x2875 -x2349 x1110 -x10635 -x9797 -x8284 -x7028 x6341 -x3367 -x2353 -x2014 -x10641 -x9809 -x3363 -x2352 x10637 x7036 x6339 -x5437 -x3362 x2839 -x2173 -x10649 -x7911 x7040 -x6247 -x4042 -x10327 -x9646 -x7044 -x6611 -x6249 x5443 x4041 x2845 -x2017 -x9650 -x7043 -x6615 x6255 x6251 -x5448 -x5222 x4049 x2029 -x6263 x4053 -x3904 x5451 x4057 -x3905 -x2890 -x2848 x2035 x5449 x4056 -x3906 -x2894 x10618 -x3922 x2040 -x1267 -x3315 -x1269 -x3 -x9824 -x4018 -x3800 x2043 -x1951 -x2 -x3804 x2041 -x1952 x9827 -x8058 -x4304 x4024 -x1947 -x1263 -x508 -x10 -x8062 -x4306 x2657 -x14 x4029 -x3806 x3777 -x2669 -x1945 -x1264 -x511 -x18 -x3807 x2665 -x17 x4300 -x4030 x3780 x2797 x2664 -x1776 -x4031 -x1780 x10281 -x6202 x10285 -x1122 -x1018 -x10830 -x8267 -x8158 -x6196 -x3947 -x1121 x133 -x10831 -x8266 -x8162 -x3951 x2465 x1835 x137 -x10826 -x10287 -x6197 -x5632 -x4429 -x4015 x2486 x1836 -x1129 -x10288 -x5634 -x4433 -x4016 -x2482 x1837 x1133 -x10824 -x10438 -x6127 -x4011 -x2481 x1853 x1137 -x139 -x10483 -x10437 -x4644 x1136 -x140 -x10485 -x9008 -x8263 x6133 -x5628 -x4665 -x4009 -x1572 -x633 -x10491 -x9010 -x4661 -x1576 x670 -x10487 -x9446 x6138 -x5629 -x4660 -x4528 x671 -x10499 x9733 x672 -x10434 x9734 -x9452 -x9004 x6141 -x4612 -x4534 x688 x9735 x6139 -x4619 -x4614 -x2561 x9751 -x9457 -x9359 -x9005 -x4640 -x2562 -x272 -x10249 -x4636 -x2563 x274 -x9460 -x9365 x9254 -x7635 -x7509 x6636 -x4635 -x4608 -x4537 -x2579 -x9458 x9255 -x7513 -x6878 -x5708 -x9250 -x7638 -x6880 x6642 -x6511 -x4609 x3197 -x882 x268 -x6886 -x5586 -x1594 -x886 -x10734 x10347 -x9368 -x9334 -x9248 -x6950 -x6882 -x6517 -x5588 -x4408 -x3203 -x1615 -x1522 -x1347 -x269 -x10351 -x6949 -x6894 x5594 -x1611 -x1526 -x10740 -x9340 x8226 -x8178 -x6645 x5590 x3208 -x1610 -x1350 x9537 x7729 -x5602 -x4375 -x2437 -x10745 -x10664 x8229 -x8184 x7750 -x6520 -x4376 x3211 -x2439 -x1193 -x8520 x7746 -x4377 x3209 -x2445 -x1192 -x10748 -x10667 -x9343 -x8519 -x8189 x7745 -x6946 -x5537 -x4393 -x2441 -x10746 -x2453 -x8711 -x8527 -x8192 -x7783 x5543 -x3106 -x8715 x8531 -x8190 -x7787 -x8535 -x6588 x5548 x3988 x1189 -x462 -x8534 -x6592 x3990 -x7789 x5883 x5551 -x1147 -x9421 -x7790 x5884 x5549 -x768 -x9420 -x8034 -x6594 -x5879 -x3984 x2611 -x1153 x770 -x8038 -x6595 -x6412 x2615 x776 -x10273 -x9428 -x7334 -x6433 -x5877 -x3985 -x1158 x772 -x10275 -x9432 -x7335 x6483 -x6429 -x1072 x784 -x9436 -x7330 -x6566 x6484 -x6428 -x5682 x2617 -x1161 -x1071 -x9435 -x9108 x6485 -x5684 -x2618 -x1159 x10269 -x9107 -x7341 -x7328 x6501 -x4722 x2101 -x1079 -x4726 -x2105 x1097 -x1083 x10270 -x9115 x8702 -x8271 -x7347 -x7309 -x6003 -x5678 x1096 -x1087 -x9119 x8701 -x7310 -x6005 -x1086 -x9123 -x8277 -x7305 -x6174 -x5679 -x4728 -x2433 x1104 -x9122 x6175 -x4729 -x2435 -x1108 -x8401 -x8282 -x7350 -x7303 -x6344 -x6170 -x5999 -x2004 x1112 -x364 -x6343 x2862 -x2339 x1111 -x368 x8698 x8404 -x8285 -x6168 -x6000 -x4906 -x3364 -x2883 -x2429 -x2340 -x2010 x911 -x9796 -x8283 -x4910 -x3366 -x2879 -x2341 -x9817 -x2878 -x2835 -x2430 -x2357 -x2169 -x2015 -x10636 -x9813 x7030 -x10657 -x10323 -x9812 x7031 -x6340 x4930 -x4912 -x3360 x2841 -x2172 -x2018 x10653 x7032 x5436 -x4934 -x4913 -x2016 x10652 -x10326 -x9645 -x7048 -x6613 x5438 -x5218 -x3361 x2846 -x286 -x9649 -x6617 -x6250 x5444 x4043 -x6271 x5440 -x5221 x4044 x2849 -x6267 x5452 x4045 x2847 x2028 -x10614 -x6619 -x6266 x4061 -x3925 -x2889 x2030 -x6620 -x3926 -x3794 -x2893 x2036 -x1268 x10617 -x3921 -x3793 x2032 -x1950 x2044 -x1949 x9823 -x3919 -x3801 -x4305 -x4017 -x3805 -x4 -x10539 x9829 -x8060 x4019 -x3809 -x2666 -x507 -x5 -x10543 -x8064 x4025 -x3808 -x2668 -x6 x4021 x3776 -x2793 -x1946 -x513 -x22 -x4032 -x9832 -x8066 -x4301 x3782 x2796 x2662 -x1778 -x8067 -x1782 -x10829 x10282 -x6200 -x3846 x128 -x10828 x10286 -x3850 -x10290 x8157 -x4014 -x3949 x2483 x134 -x10289 -x8161 -x5633 -x4013 -x3953 x2485 -x1123 x138 -x5197 -x4428 -x1856 x1124 x142 -x4432 -x1857 x1125 x141 -x10825 -x4662 -x3955 -x2479 x1852 x1141 x629 -x9009 -x6126 -x4664 -x3956 -x6834 -x6128 -x4524 -x4010 -x2480 x1850 -x1571 -x632 -x10486 -x6838 x6134 -x1575 -x10507 x6130 -x4658 -x4530 x691 -x307 -x10503 -x9445 x6142 -x4613 x692 -x311 -x10502 x9754 -x9447 -x9355 -x4659 -x4637 -x4535 x687 x9755 -x9453 -x4639 -x273 x9750 -x9449 -x9361 x9253 x6632 -x4538 -x2582 -x1651 -x685 -x9461 x9252 -x4536 -x2583 x9748 -x9366 -x7634 -x7511 x6638 -x6507 -x5467 -x4633 -x2578 -x7515 -x5471 -x9369 -x9330 -x7640 -x6788 x6643 -x6513 -x4634 -x4404 -x2576 -x1612 -x881 -x9367 -x6881 x3196 -x1614 -x885 x10349 -x9336 -x9249 -x7517 -x6902 x6646 -x6518 -x4407 x3198 -x1521 -x1346 -x10733 -x10353 -x7518 -x6898 x6644 -x5589 -x3204 -x1525 -x10735 -x9341 x8225 x7747 -x7643 -x6897 -x6521 -x5610 x3200 -x1608 -x1352 -x10741 -x8177 x7749 -x6519 -x5606 x3212 -x10737 -x10663 -x10355 -x9344 x8231 -x8179 -x5605 -x4396 -x1609 -x10749 -x10356 -x9342 -x8185 -x7777 -x4397 -x2440 -x10669 -x8599 -x8181 -x7776 x7743 -x4392 -x3102 -x2461 -x1355 -x932 -x8521 -x8193 -x6582 -x5536 -x2457 x936 x8710 -x8522 -x8234 -x7784 x7744 -x6581 -x6278 -x5538 -x4390 -x3105 -x2456 -x458 -x336 -x8714 x8523 -x7788 -x6282 x5544 x3989 -x10672 -x8539 -x7792 -x6589 -x5882 x5540 x2322 -x461 -x7791 -x6593 x5881 x5552 x2605 -x6597 -x4093 x2604 -x6596 -x1146 -x8033 -x7333 -x6430 -x3828 x2612 -x1148 -x10274 -x9422 -x8037 -x7332 -x6432 x2616 -x1154 x771 -x9423 -x6562 x6086 -x5878 x2620 -x1150 x792 -x9424 -x5683 -x4716 x2619 -x1162 x788 -x9440 -x7337 -x6565 -x6504 -x6426 -x4715 -x1397 x787 -x6505 -x1401 -x1073 -x7343 -x7329 -x7308 x6500 -x6427 -x4723 -x2635 x2100 -x1074 -x37 -x9109 -x7307 -x6004 -x4727 -x2639 x2104 -x1075 -x9110 -x7348 x6498 -x6173 -x4731 -x1091 -x9111 -x8270 -x6172 -x4730 -x2434 x1098 -x9127 -x8272 -x7351 x1099 -x8278 -x7349 -x4900 x1100 x8400 -x8274 -x7304 -x4899 -x2880 x1116 -x907 -x366 -x8286 -x3365 -x2882 -x2003 -x370 -x9814 x8406 -x6169 -x4907 -x2360 -x2005 x910 -x9816 -x4911 -x2361 -x2011 -x10654 -x4915 -x2876 -x2356 -x2168 -x2007 -x372 -x10656 -x6607 -x4914 -x2834 -x2019 -x373 -x10322 -x9810 x8409 x7051 -x6606 x4929 -x3056 -x2877 -x2836 -x2354 -x2174 -x282 x7052 -x4933 x2842 x10650 -x10328 -x9811 -x9647 -x7047 -x6614 -x6268 -x5217 x2838 -x285 -x9651 -x6618 -x6270 x5439 x2850 x10651 -x7045 -x6622 -x5460 -x5223 -x4064 -x3924 -x2177 -x6621 x5456 -x4065 -x3923 -x10613 -x10331 -x9653 -x6264 x5455 x4060 -x2891 -x9654 -x2895 x2031 x10619 -x9819 -x6265 x5226 x4058 -x2052 -x8054 -x3795 x2048 x9825 -x8053 -x3920 -x3796 -x2897 x2047 -x503 -x3797 -x2898 -x2667 -x10622 -x10538 -x9985 x9830 -x8061 -x3813 x3772 -x803 -x509 -x25 -x10542 -x9989 -x8065 x4020 -x1772 -x26 x9833 -x8069 x4040 x3778 -x2792 -x1771 -x514 -x21 x9831 -x8068 -x4036 x10115 -x4035 x3783 x2798 x2663 -x1779 -x515 -x19 -x1783 -x516 x10278 -x6201 -x3944 -x3845 x10277 -x3849 x2484 x127 -x10294 x8159 x5193 -x5049 -x3950 -x1855 x129 -x8163 -x5053 -x3954 -x1854 x130 -x5196 -x4430 -x3958 x1713 -x1144 -x146 -x4663 -x4434 -x3957 -x1717 x1145 x8165 -x1140 x628 x8166 -x10504 -x6833 -x4436 -x1851 x1573 -x1138 x690 x634 -x10506 -x6837 x6129 -x4523 -x4437 x1577 x689 x9753 x6150 -x4525 -x306 x9752 x6146 -x4638 -x4531 -x310 -x10500 -x6145 -x4527 -x2581 -x1647 x1579 x637 -x9448 x9354 -x7505 -x4539 -x2580 x1580 -x10501 -x9469 x9356 -x7630 -x7504 -x1650 -x686 -x9465 -x9362 x6631 x9749 -x9464 x9358 -x7636 -x7512 -x6784 x6633 -x5466 -x5078 x10343 -x9370 -x7516 x6639 -x6506 -x5470 -x1613 x10342 -x7641 -x7520 -x6899 -x6787 x6635 -x6508 -x4403 -x2577 -x1422 -x1342 -x883 -x9329 -x7519 -x6901 x6647 -x6514 -x1426 -x887 x10350 -x9331 -x8221 -x7644 -x6510 -x5607 -x4409 -x1523 -x1348 -x10354 -x9337 x7748 -x7642 -x6522 -x5609 x3199 -x1527 -x10659 -x10358 -x9333 x8227 -x6895 -x4395 x3220 -x1353 -x889 -x10736 -x10357 -x9345 -x4394 x3216 -x890 -x10757 -x10665 -x8595 x8232 -x6896 -x5603 -x4412 -x3453 x3215 -x2458 -x1814 -x1529 -x1356 -x10753 -x8180 -x2460 -x1818 -x1530 -x1354 -x10752 -x10670 -x8598 -x8235 -x8201 -x5604 -x3101 x931 -x332 -x8233 -x8197 -x7778 x935 -x10673 x8712 x8542 -x8196 -x7779 -x6277 -x4391 -x3107 -x2454 -x2318 -x457 -x335 -x10671 -x8716 x8543 -x7780 -x6583 x6281 -x5539 -x8538 -x7796 -x6584 x5560 -x4089 -x2455 x2321 -x463 -x6585 -x5556 -x8718 -x8536 -x6601 -x5555 -x4092 -x3824 -x3110 -x8719 -x6431 x2606 -x8035 x6082 -x3827 x2607 x789 -x466 -x8039 x2608 -x1149 x791 -x9443 x6561 -x6503 x6085 -x2624 -x1170 -x9444 -x6502 -x1166 -x10010 -x9439 -x8041 -x6567 -x1396 -x1165 -x785 x33 -x10014 -x8042 -x7336 -x4717 -x1400 -x9437 -x7338 -x4718 -x3875 -x2634 x2102 -x1094 -x786 x36 -x7344 -x4719 -x2638 x2106 -x1095 -x9130 -x7340 x6570 x6499 -x4735 -x1447 -x1090 -x9131 -x7352 -x1451 -x360 -x9126 x8396 -x4483 x2108 x1119 -x1088 -x359 -x8273 -x2881 x2109 x1120 -x9124 x8402 -x8294 -x2359 x1115 -x906 x824 -x367 -x9815 -x8290 -x4901 -x2358 x828 -x371 x8407 -x8289 -x4902 -x2164 x1113 x912 -x375 -x10655 -x4903 -x2006 -x374 -x10318 x8410 -x7088 -x7050 -x4919 -x3052 -x2170 -x2027 -x9641 x8408 -x7049 -x2023 -x10324 -x9640 x5213 x4931 -x3055 -x2355 -x2175 -x2022 -x915 -x281 -x6608 -x6269 -x4935 -x2837 -x10329 -x9648 -x6609 -x5457 x5219 -x4063 x2858 -x2178 -x287 -x9652 -x6610 -x5459 -x4062 -x2885 -x2854 -x2176 x10609 -x10332 x9656 -x7046 -x6626 -x5224 -x4937 -x3756 -x2884 -x2853 -x10330 x9655 -x4938 x10615 -x5453 x5227 -x2892 -x2049 -x290 x5225 -x2896 -x2051 x10620 -x10133 -x5454 x4059 -x2900 x10137 -x9818 -x2899 x10623 -x9820 -x7226 -x3816 x2045 -x799 -x24 x10621 x9826 -x8055 -x7230 -x3817 -x502 -x23 -x10540 -x9984 x9822 -x8056 -x4884 x4037 -x3812 -x2788 x2046 -x802 -x504 -x157 -x10544 -x9988 x9834 -x8057 x4039 x3771 -x510 -x161 -x10111 -x8073 -x4787 -x3810 x3773 -x2794 -x506 -x4791 x3779 -x1773 -x517 -x10546 x10114 -x4033 x3775 x2799 -x1774 -x20 -x10547 x3784 -x1775 -x10297 x8154 -x4309 -x3847 -x10298 -x4424 -x3943 -x3851 -x10293 x8160 x5192 -x5048 -x4423 -x3945 -x1143 -x149 -x8164 -x5052 -x3946 -x1142 -x150 -x10291 x8168 -x5198 -x4431 -x3962 -x3853 x1712 -x624 -x145 x8167 -x4435 -x3854 -x1716 x1567 -x4439 -x2297 x1566 x630 -x143 -x10505 -x4438 -x6835 x6147 -x5201 x1574 -x1139 x635 -x6839 x6149 x1578 x1582 x638 -x308 -x4526 x1581 x636 -x312 -x9466 -x6841 -x6143 -x4547 -x1646 -x9468 -x6842 -x4543 -x6144 -x5074 -x4542 -x1652 -x314 x9357 -x7629 -x7506 -x877 -x315 -x9462 x9378 -x7631 -x7507 -x6783 -x5468 -x5077 x4454 -x4399 -x876 -x9374 -x7637 -x7508 -x6900 x6634 -x5472 -x4458 -x1517 -x9463 -x9373 -x7633 -x7524 -x6789 x6655 -x4405 -x1655 -x1516 x1421 -x884 x10344 -x7645 x6651 -x6509 -x5608 -x1425 -x1341 -x888 -x10714 x10345 x6650 -x6530 -x5474 -x4410 x3217 -x1524 -x1343 -x892 -x10718 x10346 -x9332 -x8220 -x6526 -x5475 x3219 -x1528 -x1349 -x891 -x10754 -x10564 x10362 -x9353 x8222 -x6792 -x6525 -x4413 -x3449 -x1532 -x1345 -x10756 -x10658 -x10568 -x9349 x8228 -x4411 -x2459 -x1531 -x1357 -x10660 -x9348 -x8594 x8224 -x8198 -x3452 x3213 -x3097 -x1813 -x10666 -x8706 -x8236 -x8200 -x1817 -x10750 -x10662 -x8705 -x8600 x8541 x3214 -x3103 x933 -x453 -x331 -x10674 x8540 x937 -x10751 x8713 -x8194 -x7799 -x6279 x5557 -x3108 -x2317 -x459 -x337 -x8717 -x7800 x6283 x5559 -x8721 -x8603 -x8195 -x7795 -x6604 -x4088 -x3111 x2323 x939 -x464 -x8720 -x8029 -x6605 -x3109 x940 -x8537 -x8028 -x7793 -x6600 -x6285 -x5553 -x4094 -x3823 -x467 -x340 -x6286 x790 -x465 -x9442 -x8036 -x6598 -x6557 x6081 -x5554 -x3829 x2627 -x2326 -x1167 -x9441 -x8040 x2628 -x1169 -x8044 x6909 x6563 x6087 -x4097 -x2623 -x8043 -x6913 -x2096 -x10009 -x8968 x6568 -x4188 -x3871 -x3832 -x2621 -x2095 -x1398 -x1163 -x1093 x32 -x10013 -x8972 -x1402 -x1092 -x9438 -x9129 x6571 -x6090 -x4738 -x3874 x2697 -x2636 x2103 -x1164 x38 -x9128 -x7339 x6569 -x4739 -x2640 x2107 -x7360 -x4734 -x4479 x2111 -x1446 -x1404 -x1118 -x7356 x2110 -x1450 -x1405 -x1117 -x8291 -x8134 -x7355 -x4732 -x4482 -x2642 -x1089 -x902 -x41 x8395 -x8293 -x8138 -x2643 -x361 -x9125 x8397 -x908 x823 -x362 x8403 x827 -x363 x8399 -x8287 -x7084 -x4922 -x2024 -x1114 x913 -x379 x8411 -x4925 -x4923 -x2163 -x2026 -x8288 -x7087 -x4924 -x4918 -x3051 -x2165 -x1472 x916 -x277 -x10317 -x2171 -x1476 x914 -x10319 x4932 -x4916 -x3057 -x2855 -x2167 -x2020 -x283 -x10325 -x9642 -x5458 x5212 -x4936 x2857 -x2179 -x10321 -x9643 -x6629 x5214 -x4940 x3752 -x2021 -x288 -x10333 x9644 -x6630 x5220 -x4939 x9660 -x6625 x5216 -x3755 -x3060 -x2851 -x857 -x291 x10608 x5228 -x2886 -x2050 -x861 -x289 x10610 -x6623 -x2887 -x2852 x10616 -x2888 x10612 -x10132 x7967 -x6662 -x3815 -x2904 x10624 -x10534 x10136 -x6666 -x3814 -x10533 -x7682 -x7225 -x4880 -x798 -x9821 -x7686 -x7229 x4038 -x10541 -x9986 -x9842 -x8076 -x4883 -x804 x156 -x10545 -x9990 x9838 -x8077 -x2787 -x505 -x160 -x10549 -x10110 x9837 -x8072 -x4786 -x3811 -x2789 -x525 -x10548 -x4790 x3774 x2795 -x521 x10116 -x9992 -x8070 -x4034 x3792 x2791 -x1786 -x807 -x520 -x9993 x3788 x2800 -x1787 -x10295 x5188 x4308 -x3848 -x148 x8153 -x3852 -x147 x8155 x5194 -x5050 -x3965 -x3856 x8156 -x5054 -x4425 -x3966 -x3855 -x10292 x8172 x5199 -x4426 -x3961 -x2293 x1714 -x6829 -x4427 x1718 -x623 -x6828 -x5202 -x5056 -x4443 -x3959 -x2296 -x625 -x144 -x6148 -x5200 -x5057 x1568 x631 -x302 -x6836 x1720 x1569 x627 -x301 -x6840 x1721 x1570 x639 -x6844 -x4544 -x1642 x1586 -x309 -x9467 -x6843 -x4546 -x313 x3731 -x1648 -x317 -x5462 -x316 -x9375 x6779 -x5461 -x5073 -x4540 -x1653 x9377 -x7527 -x6785 x6652 -x5469 -x5079 -x4541 x4453 -x1656 -x7632 -x7528 x6654 -x5473 -x4457 -x4398 -x1654 -x878 -x9371 -x7653 -x7523 -x6790 -x6527 -x5477 -x4400 x1423 -x879 -x7649 -x6529 -x5476 -x4406 x3218 -x1518 x1427 -x880 -x10713 -x10365 -x9372 -x9350 -x7648 -x7521 -x6793 x6648 -x5082 -x4402 -x1519 -x896 -x10755 -x10717 -x10366 -x9352 -x6791 -x4414 x1520 -x1344 -x10563 x10361 -x8590 -x6649 -x6523 -x3448 -x1536 x1429 -x1365 -x10567 x8223 -x8199 -x1430 -x1361 x927 x10359 -x9480 -x9346 -x8596 -x8244 -x6524 -x3454 -x1815 -x1360 x926 -x327 -x10661 x8240 -x6273 -x3096 -x1819 -x10682 -x9347 -x8601 x8239 -x7798 -x7109 -x6272 -x3098 x2313 x934 -x333 -x10678 -x8707 -x7797 -x7113 x5558 -x3104 x938 -x452 -x10677 -x8708 -x8604 -x6603 -x6280 -x4084 -x3457 -x3100 -x2319 -x1821 x942 -x454 -x338 x8709 -x8602 -x6602 x6284 -x3112 -x1822 x941 -x460 x8725 -x6288 -x4090 -x3819 x2324 -x456 -x341 -x6287 -x468 -x339 -x7794 x6077 -x4095 -x3825 x2626 x2327 -x8030 x2625 x2325 -x1168 -x8031 -x6599 x6083 -x4098 -x3830 -x8032 -x6556 -x4096 -x1392 -x8048 x6908 -x6558 x6088 -x4508 -x4184 -x3833 -x1391 x28 -x6912 x6564 -x3831 -x2630 -x10011 -x8967 -x7563 x6560 -x6091 -x4737 -x4187 -x3870 -x3231 -x2693 -x2629 -x2622 -x1399 x34 -x10015 -x8971 x7567 x6572 -x6089 -x4736 -x2097 -x1403 -x7357 -x3876 x2696 -x2637 -x2098 -x1407 x39 -x7359 -x2641 x2099 -x1406 -x10017 x4478 -x2645 x2115 -x1448 -x42 -x10018 -x8292 -x2644 -x1452 -x40 -x8133 -x7353 -x4733 -x4484 -x3879 -x8137 -x901 -x9939 -x7354 -x4921 x1497 -x1454 -x903 x825 -x382 x8398 -x4920 -x2025 x1501 -x1455 -x909 x829 -x383 x8419 -x7083 -x4487 -x3378 -x3047 x905 -x378 x8415 x917 x8414 -x7089 -x6466 -x3053 -x1471 x831 -x376 -x4926 -x2856 -x2166 -x1475 x832 -x276 -x6628 -x4927 -x4917 -x3058 -x2187 -x278 -x10320 -x6627 x4928 -x2183 -x284 -x10341 x9663 x7092 -x4944 x3751 -x3061 -x2182 -x280 -x10337 x9664 x5215 -x3059 -x292 -x10336 x9659 x5236 -x3757 -x856 x5232 -x860 x9657 x7963 -x6624 -x6210 -x5231 -x2907 x10611 -x6214 -x2908 x10632 -x10134 x7966 -x6661 -x3760 -x2903 -x794 -x10628 x10138 -x9980 -x6665 -x10627 -x9979 -x9839 -x8075 -x7681 -x7227 -x4879 x3277 -x2901 -x2198 -x800 -x10535 -x9841 -x8074 -x7685 -x7231 -x3281 -x10536 x10140 -x10106 -x9987 -x4885 -x805 -x522 x158 -x10537 x10141 -x9991 -x524 -x162 -x10553 -x10112 -x9995 x9835 -x7233 -x4788 x3789 -x1785 -x808 -x9994 -x7234 -x4792 x3791 x2790 -x1784 -x806 x10117 x9836 -x8071 -x4888 x2808 -x518 -x164 x3787 x2804 -x165 -x10296 -x5045 x4310 -x3964 -x3844 x5187 -x3963 -x3843 -x1708 x8175 x5189 -x5051 -x3860 -x1707 x8176 x5195 -x5055 x8171 x5191 -x5059 -x4446 -x4314 x2292 x1715 -x5203 -x5058 -x4447 x1719 -x9310 x8169 -x4442 -x3960 -x2298 x1723 -x9314 x6830 x1722 -x626 x6831 -x4440 x1589 -x647 x6832 -x4545 x1590 -x643 -x303 x6848 x3727 -x2301 x1585 -x642 -x304 -x1641 -x305 -x5069 x3730 -x1643 x1583 -x728 -x321 -x9376 -x1649 -x7526 -x5075 -x1645 -x7525 x6778 x6653 -x5463 -x1657 -x1417 -x9621 -x7650 x6780 -x5464 -x5080 x4455 x1416 -x9625 -x7652 -x6786 -x6528 -x5465 -x4459 -x10364 x6782 -x5481 -x5083 x1424 -x899 -x10363 -x9351 x6794 -x5081 -x4401 x1428 -x900 -x10715 -x7646 -x7522 x4461 -x4422 -x3444 x1539 x1432 -x1362 -x895 -x10719 x4462 -x4418 -x1809 x1540 x1431 -x1364 -x10565 -x9476 -x8241 -x7647 -x4417 -x3450 -x1808 -x1622 -x1535 -x893 -x10569 -x8589 -x8243 -x1626 -x10721 -x10679 x10360 -x9479 -x8591 -x3455 x1868 -x1816 -x1533 -x1358 -x10722 -x10681 -x8597 -x1820 x928 -x326 -x10571 -x8593 x8237 -x7108 -x5349 -x3458 -x2969 -x1824 -x1359 x929 -x328 -x10572 -x8605 -x7112 -x6274 -x5353 -x3456 -x3099 x2312 -x1823 x930 -x334 -x10675 -x8728 x8238 -x6275 -x3120 x2314 x946 -x330 -x8729 x6276 -x4083 -x3116 -x2320 -x455 -x342 -x10676 x8724 -x6292 -x4085 -x3115 x2316 -x476 -x4091 -x3818 x2328 -x472 x8722 -x4087 -x3820 -x471 x6076 -x4099 -x3826 -x8051 -x7711 x6078 -x4955 -x4504 -x3822 -x10005 -x8052 x6084 -x4959 -x3834 -x10004 -x8047 x6910 x6080 -x4507 -x4183 -x3866 -x3227 x6914 -x6559 x6092 -x1393 x27 -x10012 -x8969 -x8045 x7562 -x6580 -x4189 -x3872 -x3230 -x2692 -x2372 -x1394 x29 -x10016 -x8973 x7566 -x7358 x6576 -x2631 -x1442 -x1395 x35 -x10020 -x6916 x6575 -x5324 -x4474 -x3877 x2698 -x2632 -x2118 -x1441 -x1411 x31 -x10019 -x6917 -x5328 -x2633 -x2119 -x43 -x10764 -x8975 x4480 -x4192 -x3880 -x2649 x2114 -x1449 -x10768 -x8976 -x3878 -x1453 -x819 -x9935 -x8135 -x4485 -x2701 x2112 -x1457 -x818 -x381 -x8139 -x1456 -x380 -x9938 x8416 -x7079 -x5795 -x4488 -x3374 x1496 x826 x8418 -x4486 x1500 -x904 x830 -x8141 -x7085 -x6462 -x3377 -x925 x834 -x8142 -x3046 -x921 x833 -x9691 x8412 -x7090 -x6465 -x3048 -x2184 -x1473 -x920 -x377 -x3054 -x2186 -x1477 -x10338 x9662 -x8413 x7093 x4947 -x3747 -x3050 -x10340 x9661 x7091 x4948 -x3062 -x279 x5233 -x4943 x3753 -x2180 x1479 -x300 x5235 x1480 -x296 -x10334 -x4941 -x3758 -x2906 -x2181 -x858 -x295 -x10128 -x2905 -x862 -x10629 -x10335 -x10127 x9658 -x8376 x7962 -x6209 -x5229 x3761 -x3514 x10631 -x8380 -x7221 -x6213 -x3759 -x10187 -x10135 x7968 -x7220 -x6663 -x5230 -x4875 -x2194 -x864 x10139 -x9840 -x6667 -x865 -x793 -x152 -x10625 x10143 -x7683 -x7228 -x4881 x3276 -x2902 -x2197 -x795 -x151 x10142 -x9981 -x7687 -x7232 -x4782 -x3280 -x801 -x523 -x10626 -x10556 -x9982 x7971 -x7236 -x6669 -x4886 -x4781 x797 x159 -x10557 -x10105 -x9983 -x7235 -x6670 x3790 -x809 -x163 -x10552 -x10107 -x9999 -x7689 -x4889 -x4789 x2805 -x167 -x10113 -x7690 -x4887 -x4793 x2807 -x166 -x10550 x10109 -x4794 -x3474 -x519 x10118 -x4795 x3785 -x3478 x2803 x8174 x4311 -x3863 x8173 -x5044 -x3864 -x7417 -x5046 -x4445 x4315 -x3859 -x2288 x5190 -x5047 -x4444 -x4313 -x1709 -x8301 x5211 -x5063 -x3857 x2294 -x1710 -x8305 x5207 x1711 -x9309 x8170 x5206 -x2299 x1727 -x1588 -x644 -x9313 -x1587 -x646 x6851 -x4441 -x2302 x6852 -x2300 x6847 x3726 -x724 -x640 -x324 -x325 x6845 x3732 x1584 -x727 -x641 -x320 -x5068 x4449 -x1644 -x5070 x4448 -x1665 -x318 -x7651 -x5076 -x1661 -x9620 -x5484 -x5072 x4456 -x3735 -x1660 -x898 -x10709 -x9624 x6781 -x5485 -x5084 -x4460 x1418 -x897 -x10708 x6802 -x5480 x4464 -x4419 -x1538 x1419 -x10559 x6798 x4463 -x4421 -x1537 x1420 -x1363 -x10716 -x10558 -x7942 x6797 -x5478 x1436 -x10720 -x8242 -x3443 -x10724 -x10566 -x9475 -x4415 -x3445 x1864 -x1621 -x894 -x10723 -x10680 -x10570 -x3451 -x1810 -x1625 -x10574 x9600 -x9481 -x4416 -x3447 -x2965 x1867 -x1811 -x1534 -x10573 -x8592 -x3459 -x1812 -x8727 -x8613 -x7110 -x5348 -x4834 -x3117 -x2968 -x1828 x949 -x8726 -x8609 -x7114 -x5352 -x3119 x950 -x329 -x9484 -x8608 x6295 x945 -x473 -x350 x6296 x2315 -x475 -x346 x7116 -x6291 -x3113 -x2336 x943 -x345 -x7117 -x4086 x2332 -x8723 -x8050 -x7707 -x6289 x5299 -x4107 -x3564 -x3114 x2331 -x469 -x8049 x6904 -x5303 -x4103 -x3821 x9575 -x7710 x6903 -x4954 -x4503 -x4179 -x4102 -x3842 -x470 -x8963 x6079 -x4958 -x3838 -x8962 x6911 -x6577 x6100 -x4509 -x4185 -x3837 -x3226 -x2688 -x2368 -x10006 x6915 -x6579 -x6096 -x3865 -x10007 -x8970 -x8046 x7564 x6919 -x6095 -x4190 -x3867 -x3232 -x2694 -x2371 -x2117 -x1414 -x10008 -x8974 x7568 -x6918 -x3873 -x2116 -x1415 x30 -x10024 -x8978 x6573 x5895 -x5323 -x4512 -x4193 -x3869 x2699 -x2652 -x1410 -x51 -x8977 -x8129 -x5327 -x4473 -x4191 -x3881 -x2653 -x1443 -x47 -x10763 -x8128 -x7570 x6574 -x4475 -x3235 -x2702 -x2648 x1444 -x1408 -x46 -x10767 -x7571 x4481 -x2700 x1445 -x9934 -x8136 x7009 -x5791 x4477 -x2646 x2113 x1461 x8417 -x8140 -x7013 -x4489 -x820 -x9940 -x8570 -x8144 -x5794 -x3373 x1498 -x1206 -x922 x821 -x8574 -x8143 -x7078 x1502 -x1467 -x924 x822 -x10518 -x9687 -x7080 -x6461 -x3379 -x1466 x838 -x7086 -x2185 -x9943 -x9690 -x8856 x7082 -x6467 x4946 -x3424 -x1504 -x1474 -x918 -x10339 x7094 x4945 -x3428 -x3049 -x1505 -x1478 -x3382 -x3070 x1482 -x919 -x297 x5234 -x3746 -x3066 x1481 -x852 -x299 -x10962 -x6470 -x3748 -x3065 -x851 -x10966 x3754 -x9262 -x7958 -x4942 x3750 -x3510 -x859 -x293 -x10630 -x9266 -x6657 x3762 -x863 x10183 -x8375 x7964 -x6656 -x6211 -x3513 -x867 -x294 -x10129 -x8379 -x7677 -x6215 -x866 -x10186 x10130 x7969 -x7676 -x6664 -x2193 x10131 -x7222 -x6668 -x4874 -x10555 x10147 x7972 -x7684 -x7223 -x6672 -x6217 -x4876 x3278 -x2199 -x10554 x7970 -x7688 -x7224 -x6671 -x6218 -x4882 x3282 -x796 -x153 -x10002 -x7692 -x7240 -x4878 -x817 -x154 -x10003 -x7691 -x4890 -x4783 -x2806 x813 x155 -x9998 -x4784 x3284 -x2202 x812 x171 -x10108 x4785 x3285 -x10551 -x10126 -x9996 -x7617 x4799 -x3473 x10122 x3786 -x3477 x2801 -x7413 x7204 x4312 -x3861 x4316 -x7416 x7369 x5208 -x5066 x2218 x5210 -x5067 -x2287 x2222 -x8300 -x5062 -x3858 -x2289 -x1730 -x8304 x2295 -x1731 -x645 -x9311 x6850 x5204 -x5060 x2291 x1726 -x9315 x6849 -x2303 -x8624 -x5205 x3722 x1724 -x323 -x322 -x9317 x3728 -x723 -x9318 x6846 x3733 -x1662 -x729 x87 -x1664 -x5483 x3736 -x2130 -x319 -x5482 -x5071 x4450 x3734 -x9622 x6799 -x5092 x4451 -x1658 -x732 -x9626 x6801 -x5088 x4452 -x4420 x7938 -x5087 -x4468 -x1659 x1439 -x10710 x1440 -x10711 -x9628 -x9471 -x7941 -x6795 -x5479 x1435 -x10712 -x10560 -x9629 -x10728 -x10561 x9596 -x9477 -x6796 x1863 -x1623 x1433 -x10562 -x7104 -x3446 -x1627 -x10578 x9599 -x9482 -x8610 -x7103 -x4830 -x3467 -x2964 x1869 -x1831 x948 -x8612 -x3463 -x3118 -x1832 x947 -x9485 -x7111 -x6294 -x5350 -x4833 -x3462 -x2970 -x1827 -x1629 -x347 -x9483 -x7115 -x6293 -x5354 -x1630 -x474 -x349 -x10892 -x8606 x7119 -x2333 x1872 -x1825 x7118 -x2335 -x8607 -x5356 -x4104 -x3560 -x2973 x944 -x343 -x5357 -x4106 x9571 -x7706 -x6290 x5298 -x4499 -x3839 -x3563 -x3399 x2329 -x344 -x5302 -x3841 -x3403 x9574 -x7712 -x6365 x6097 -x4956 -x4505 -x4100 -x3222 x2330 -x7558 x6905 -x6578 -x6369 x6099 -x4960 -x4178 -x7557 x6906 -x4510 -x4180 -x4101 -x3835 -x3228 -x2367 -x1413 -x8964 x6907 -x4186 -x2687 -x1412 -x10027 -x8965 -x7715 x7565 x6923 -x6093 x5891 -x4962 -x4513 -x4182 -x3836 -x3233 -x2689 -x2651 -x2373 -x1742 -x48 -x10028 -x8966 x7569 -x4963 -x4511 -x4194 -x3868 -x2695 -x2650 -x50 -x10023 -x8982 -x7573 -x6541 -x6094 x5894 -x5325 -x3889 -x3236 x2691 -x7572 -x5329 -x3885 -x3234 x2703 -x10765 -x10021 -x9930 -x3884 -x2376 -x1464 -x1409 -x44 -x10769 -x8130 -x4476 x1492 -x1465 -x9936 -x8131 x7008 -x5790 -x5331 x4497 -x3369 -x2647 x1491 x1460 -x1202 -x45 -x8132 -x7012 -x5332 x4493 -x923 -x10771 -x10514 -x9941 -x8569 -x8148 -x6457 -x5796 x4492 -x3688 -x3375 x1499 x1458 -x1205 -x841 -x10772 -x8573 x1503 x842 -x10517 -x9944 -x9686 x8852 -x6463 -x3380 -x1507 x837 -x9942 -x7081 -x1506 x1468 x9849 -x9692 x8855 -x7102 -x6468 -x5799 -x3423 -x3383 -x3067 x1469 x835 x9853 -x7098 -x3427 -x3381 -x3069 x1470 -x298 -x7097 -x6471 -x4136 x1486 -x6469 -x4140 -x10961 -x9695 x3081 -x3063 -x10965 -x6205 -x3749 -x853 -x9261 -x6204 x3770 -x3509 -x3064 -x854 -x9265 x7957 x3766 -x855 x10182 -x8377 x7959 -x6212 -x5029 x3765 -x3515 -x2189 -x871 -x8381 x7965 -x6658 -x6216 x3272 -x10188 x10150 x7961 -x6659 -x6220 x3271 -x2195 x10151 x7973 -x7678 -x6660 -x6219 x10146 -x10001 -x8383 -x7679 -x7243 -x6676 -x3518 x3279 -x2200 -x814 -x10000 -x8384 -x7680 -x7244 -x4877 x3283 -x816 x10191 x10144 -x7696 -x7239 -x4898 x3287 -x2203 -x174 -x4894 x3286 -x2201 -x175 -x10123 -x7613 -x7237 -x4893 -x4802 x810 x170 -x10125 -x4803 -x9997 -x7616 x4798 -x4118 -x3475 x811 x168 x10121 -x3479 x2802 -x7412 x7365 x7203 -x5065 -x4324 -x3862 -x5209 -x5064 -x4320 -x8500 -x7418 x7368 -x4319 x2217 -x1729 -x9305 -x8504 x2221 -x1728 -x9304 -x8302 -x8306 x2290 -x9312 -x8620 -x7421 -x5061 x2311 -x9316 x2307 -x9320 -x8623 -x8308 x5123 -x2306 x1725 -x719 -x9319 -x8309 -x5127 x3721 x7267 x3723 -x725 -x83 x7271 x3729 -x1663 -x8740 x3725 -x2126 -x730 x86 -x9616 x3737 -x9615 -x5089 x2544 -x2129 -x733 x6800 -x5091 -x731 -x9623 -x4471 x1438 -x9627 -x4472 x1437 -x9631 x7937 -x5085 -x4467 -x3659 -x9630 x3663 -x1617 -x10731 -x7943 -x5086 -x4465 x1859 -x1616 -x1031 -x10732 -x9470 -x10727 -x10581 x9595 -x9472 -x3464 -x2960 x1865 -x1830 -x1624 x1434 -x10582 -x9478 -x8611 -x5344 -x3466 -x1829 -x1628 -x10725 -x10577 x9601 -x9474 -x7946 -x5343 x4829 -x2966 x1870 -x1632 -x9486 -x7105 -x1631 -x348 -x10888 -x10575 -x7106 -x5646 -x5351 -x4835 -x3460 -x2971 x1873 x7107 -x5355 -x2334 x1871 -x10891 -x9604 x7123 -x5359 -x3461 -x2974 -x1826 -x5358 -x4105 -x2972 -x7702 -x4838 -x3559 -x4950 -x3840 x9570 -x7708 x5300 -x4949 -x3565 -x3398 x6098 -x5304 -x4498 -x3402 x9576 -x8326 -x7713 -x6364 -x4957 -x4500 -x2363 -x8330 -x6368 -x4961 -x4506 -x3221 -x10026 -x7716 -x6926 -x5306 -x4965 -x4502 -x3568 -x3223 -x2369 x1738 -x10025 -x7714 -x7559 -x6927 -x5319 -x5307 -x4964 -x4514 -x4181 -x3229 -x49 x9579 -x8985 -x8084 -x7560 x6922 -x6537 x5890 -x5318 -x4202 -x3886 -x3225 -x2374 -x1741 -x10759 -x8986 -x8088 x7561 -x4198 -x3888 -x3237 -x2690 -x10758 -x8981 x7577 -x6920 -x6540 x5896 -x5326 -x4197 x2711 -x2377 -x1463 -x5330 x2707 -x2375 -x1462 -x10766 -x10022 -x8979 -x5786 -x5334 x4494 -x3882 -x2722 -x2706 -x10770 -x9929 -x5333 x4496 -x10774 -x9931 -x8151 x7010 x5899 -x5792 -x3883 -x3684 -x1201 -x840 -x10773 -x9937 -x8152 -x7014 -x3368 x1493 -x839 -x10513 -x9933 -x9682 -x8571 -x8147 -x5797 x4490 -x3687 -x3370 x1494 x1459 -x1207 -x9945 -x8575 -x6456 -x3376 x1495 -x10519 -x9688 x8851 -x8145 -x7099 -x7016 -x6458 -x5800 x4491 -x3372 x1511 -x7101 -x7017 -x6464 -x5798 -x3384 -x3068 x9848 -x9693 x8857 -x8577 -x6460 -x3425 -x1489 -x1210 x836 x9852 -x8578 -x6472 -x3429 -x1490 -x10522 -x9696 -x7095 -x4135 -x3077 x1485 -x9694 -x4139 -x10963 -x8860 -x7096 -x3767 -x3505 -x3431 x3080 x1483 -x10967 -x8371 x3769 -x3432 x10178 -x9263 -x8370 -x5025 -x3511 -x1231 -x874 -x9267 -x6206 -x875 -x10969 x10184 -x10149 -x8378 -x6207 -x5028 x3763 -x3516 -x870 -x10970 -x10148 -x8382 x7960 -x6208 -x2188 -x10189 -x9269 -x8386 x7981 -x7242 -x6679 -x6224 x3764 -x3519 -x2190 -x868 -x9270 -x8385 x7977 -x7241 -x6680 -x3517 x3273 -x2196 -x815 x10192 -x7976 -x7699 -x6675 -x4895 x3274 -x2192 -x173 x10190 -x7700 -x4897 x3275 -x2204 -x172 x10145 -x7695 -x6673 -x4801 x3291 -x10124 -x4800 -x3469 x8829 -x7693 -x7612 -x7238 -x4891 -x4114 -x3468 x8833 -x7618 -x4892 x4796 -x4117 x4072 -x3476 -x169 -x10119 -x4076 -x3480 -x7414 x7364 x7205 -x4323 -x8296 -x8499 -x8295 -x7419 x7370 -x4317 x2219 -x8503 x2223 -x8303 -x7422 x7209 -x4318 x2308 -x9306 -x8307 -x7420 x2310 -x9307 -x8619 -x8311 -x7373 x2225 -x9308 -x8310 x2226 -x9324 -x8625 x5122 -x2304 -x5126 -x718 -x8736 x7266 -x2305 -x1372 -x720 x82 x7270 x3724 -x1376 -x726 -x8739 -x8628 x3745 -x2540 -x2125 -x722 x88 -x5090 x3741 -x734 -x4470 x3740 x2543 -x2131 -x9617 -x4469 -x9618 x7933 x91 -x9619 -x10730 -x9635 x7939 -x3658 -x2134 x1027 -x10729 x3662 -x10580 x9591 -x7944 -x4466 -x1030 -x10579 -x3465 x1858 -x1618 x9597 -x7947 x4825 x1860 -x1619 -x9473 -x7945 -x2959 x1866 -x1620 -x10726 x9602 -x9494 -x8480 -x5642 x4831 -x2961 x1862 -x1636 -x9490 -x5345 -x2967 x1874 -x10887 -x10576 -x9605 -x9489 x7126 -x5645 -x5346 x4836 -x2963 -x9603 x7127 -x5347 -x2975 -x10893 x7122 -x5363 x4839 -x3555 x5294 x4837 x9566 x7120 x5293 -x3561 -x7701 -x10896 x9572 -x7703 x6738 -x5938 x5301 -x3566 -x3400 -x7709 -x5942 x5305 -x4951 -x3404 x9577 -x8325 -x7705 -x6925 -x6366 x5309 -x4952 -x4676 -x3569 -x8329 -x7717 -x6924 -x6370 -x5308 -x4953 -x4501 -x3567 -x2362 x9580 -x8984 -x5886 -x4969 -x4522 -x4199 -x3406 -x2397 -x2364 x1737 x9578 -x8983 -x4518 -x4201 -x3887 -x3407 -x3224 -x2370 -x8083 x7580 -x6536 -x6372 x5892 -x4517 -x3245 x2708 -x2366 -x1743 -x8087 x7581 -x6373 -x5320 -x3241 x2710 -x2378 -x8430 x7576 -x6921 -x6542 x5897 -x5321 -x4195 -x3240 -x2718 -x10760 -x7004 -x5322 x4495 -x10761 -x8980 -x8150 x7574 -x7003 x5900 -x5338 -x4196 -x2721 -x2704 x1746 -x1197 -x10762 -x8565 -x8149 x5898 -x5785 -x10778 -x10509 -x8564 x7011 -x6545 -x5787 -x3683 -x2705 -x1203 -x9932 -x7015 -x5793 -x10515 -x9953 -x8847 -x8572 x7019 -x5789 -x3689 -x2747 x1909 -x1514 -x1208 -x9949 -x9681 -x8576 -x7100 -x7018 -x5801 -x3419 -x3371 -x1913 -x1515 -x10520 -x9948 -x9683 -x9138 x8853 -x8580 -x8146 -x3418 -x3392 -x1963 x1510 -x1488 -x1211 -x9689 -x9142 -x8579 -x6459 -x3388 -x1487 -x1209 -x10523 x9850 -x9685 x8858 -x6480 -x3692 -x3426 -x3387 x1508 x10957 -x10521 x9854 -x9697 -x6476 -x3430 x10956 -x8861 -x6475 -x4137 -x3434 x3076 -x9257 -x8859 -x4141 -x3768 -x3433 -x10964 x9856 -x9256 x3082 x1484 -x1227 -x873 -x10968 x9857 -x3504 -x872 -x10972 -x9264 -x5024 -x4143 -x3506 x1230 -x412 -x10971 x10177 -x9268 -x8372 -x4144 -x3512 x10179 -x9272 -x8373 x7978 -x6678 -x6227 -x5030 -x3508 -x3085 x10185 -x9271 -x8374 x7980 -x6677 -x6228 -x3520 x10181 -x8390 -x7698 -x6223 -x869 x10193 -x7697 -x4896 -x2191 -x7974 -x6221 -x5033 x3294 -x2212 -x961 x3295 -x2208 -x7975 -x7608 -x7163 -x6674 x3290 -x2207 x8828 -x7694 -x7614 -x4113 x3288 x8832 -x3470 -x7619 x5920 x4797 -x4119 x4071 -x3471 -x10120 x4075 -x3472 -x10030 -x7410 x7366 x7206 -x4321 x2214 -x7415 -x8501 -x7411 x7371 x7210 x2220 -x8505 -x8297 -x7423 x7208 x2309 x2224 -x8615 -x8298 x7374 -x7059 x2228 -x8299 x7372 -x7063 x2227 -x9327 -x8621 -x8507 -x8315 -x9328 -x8508 x9389 -x9323 -x8626 x5124 x78 -x5128 -x9321 -x8735 -x8629 x7268 x3742 -x2121 -x1371 x84 -x8627 x7272 x3744 -x1375 -x721 -x8741 x5130 -x2539 -x2127 -x742 x89 -x5131 -x738 -x7274 x3738 x2545 -x2132 -x737 x92 -x58 -x7275 x90 -x62 -x9638 -x8744 x3739 -x2135 -x9639 x7932 -x2133 -x9634 x7934 -x3660 x2548 x1026 x7940 x3664 -x9632 x7936 -x1032 x9590 -x7948 x9592 -x9491 -x8476 -x3666 -x1639 x9598 -x9493 x4824 -x3667 x1861 -x1640 -x10883 x9594 -x8479 -x8113 -x7125 -x5641 x4826 x1882 -x1635 -x1035 -x9606 x7124 x4832 -x2962 x1878 -x10889 -x10397 -x9487 -x5647 -x5366 x4828 -x2983 x1877 -x1633 -x10401 -x5367 x4840 -x2979 -x10894 -x9488 -x5362 -x3127 -x2978 -x3554 -x3394 -x3131 -x10897 x7121 -x6734 -x5650 -x5360 -x3556 -x3393 -x10895 x9565 -x6360 x5295 -x3562 x9567 x6737 -x6359 -x5937 x5296 -x4672 -x3558 -x3401 x9573 -x7704 -x5941 x5297 -x3570 -x3405 x9569 -x8327 -x7725 -x6367 x5313 -x4972 -x4675 -x4519 -x3409 x2393 x1733 x9581 -x8331 -x7721 -x6371 -x4973 -x4521 -x4200 -x3408 -x7720 x7579 -x6532 -x6375 -x4968 -x3252 -x3242 -x2396 x1739 -x211 x7578 -x6374 -x5885 -x3256 -x3244 x2709 -x2365 -x8426 -x8333 -x8085 -x6538 -x5887 -x5374 -x4966 -x4515 -x2386 -x1744 -x8334 -x8089 x5893 -x5378 -x2382 -x8429 -x6543 x5889 -x5341 -x4516 -x3238 -x2717 -x2381 x1747 x5901 -x5342 x1745 -x10781 -x8091 x7575 -x6546 -x5337 -x3679 -x3239 x2723 -x10782 -x8092 -x7005 -x6544 -x1196 -x10777 -x9950 -x7006 -x5335 -x3685 -x2743 -x1513 -x1198 -x10508 -x9952 -x8566 x7007 -x5788 -x1512 -x1204 -x10775 -x10510 -x8567 x7023 -x5809 -x3690 -x3389 -x2746 -x2726 x1959 x1908 -x1200 -x10516 -x9844 x8846 -x8568 -x5805 -x3391 x1912 -x1212 -x10789 -x10512 -x9946 x9843 -x9137 x8848 -x8584 -x6477 -x5804 -x3693 -x1962 -x10793 -x10524 -x9684 -x9141 x8854 -x6479 -x4131 -x3691 -x3420 -x9947 x9851 -x9705 x8850 -x4130 -x3421 -x3385 x3072 -x1509 x9855 -x9701 -x8862 -x3422 x9859 -x9700 -x6473 -x4138 -x3438 -x3386 x3078 x10958 x9858 -x4142 x10959 -x6474 -x5020 -x4146 x3083 -x1226 -x408 x10960 -x9258 -x4145 -x10976 -x9259 -x6226 -x5026 -x3086 x1232 -x411 -x9260 x7979 -x6225 -x3507 -x3084 -x9276 -x8393 -x5031 -x3528 x10180 -x8394 -x3524 x10201 -x8389 -x6303 -x5034 -x3523 -x3293 -x2209 x1306 -x1235 -x957 x10197 x6307 -x5032 x3292 -x2211 x10196 -x8387 -x7159 -x6988 -x6222 -x960 -x7162 -x4109 -x2205 -x182 -x7607 -x186 x8830 -x7609 -x5916 -x4161 -x4115 x3289 -x2206 x8834 -x7615 -x4165 -x7611 x5919 -x4120 x4073 x3623 -x3483 -x7620 x4077 -x3484 -x10029 -x8496 x7362 x7207 -x4322 -x7409 x7367 x7211 x2213 -x8502 -x7431 x7363 x2215 -x8506 -x7427 x7375 x2216 -x9326 -x8510 -x8318 -x7426 -x7058 x2232 -x9325 -x8614 -x8509 -x8319 -x7062 -x5118 x9385 -x8616 -x8314 -x5117 -x8622 -x7262 x9388 -x8731 -x8618 -x8312 -x7261 x5125 -x8630 -x5129 -x3743 x77 -x9322 -x8737 x7269 x5133 -x2535 -x1373 -x982 -x739 x79 x7273 x5132 -x2120 -x1377 -x986 -x741 x85 -x8742 x7277 -x2541 -x2122 x81 x7276 -x2128 x93 -x9637 -x8745 x2546 -x2124 -x1379 -x735 -x57 -x9636 -x8743 -x3654 -x2136 -x1380 -x61 -x3653 x2549 -x1022 -x736 x2547 -x3661 x1028 x7935 x3665 -x9633 -x7956 -x3669 -x1638 x1033 -x9492 x7952 -x3668 -x1637 -x8475 x8109 x7951 -x5637 -x1879 -x1036 x9593 x1881 -x1034 x9614 -x8481 -x8112 -x7988 -x5643 -x5365 -x2980 -x10882 x9610 -x7992 -x5364 x4827 -x2982 -x10884 -x10396 x9609 -x5648 x4848 x1875 -x1634 -x10890 x10400 -x4844 -x10886 -x8484 -x5651 -x4843 -x3126 -x2976 x1876 -x10898 -x5649 -x3130 x6733 -x5361 -x2977 -x8321 -x3557 -x3395 -x8320 -x7722 x6739 -x5939 x5316 -x4971 -x4671 -x3578 -x3396 -x437 x9568 -x7724 -x6361 -x5943 x5317 -x4970 -x4520 -x3574 -x3397 -x9589 -x8328 -x7489 -x6362 x5312 -x4677 -x3573 -x3413 x2392 -x207 x9585 -x8332 -x8079 -x6363 -x3243 x1732 x9584 -x8336 -x8078 -x7718 -x6742 -x6379 -x5945 x5310 -x3251 -x2398 -x2383 x1734 -x210 -x8335 -x6531 -x5946 -x3255 -x2385 x1740 -x9902 -x8893 -x8425 -x8086 -x7719 -x6533 -x5373 -x5340 -x4967 -x4680 -x2713 x1736 -x8897 -x8090 -x6539 -x5888 -x5377 -x5339 x1748 -x10780 -x8431 -x8094 -x6535 x5909 -x2719 x2401 -x2379 -x10779 -x8093 -x6547 x5905 x5904 x2724 -x2380 -x9951 -x3678 -x8434 x7026 -x5806 -x5336 -x3680 -x2742 -x2727 -x1984 x7027 -x5808 -x3686 -x3390 -x2725 -x1988 -x1199 -x10776 -x8587 x7022 -x3682 -x2748 x1958 x1910 -x1220 -x10511 -x8588 -x6478 -x3694 x1914 -x1216 -x10788 -x10532 -x9702 -x9139 -x8583 x7020 -x5802 -x2915 -x1964 -x1215 -x10792 -x10528 x9845 -x9704 -x9143 x8849 -x2919 -x10527 x9846 x8870 -x8581 -x5803 -x3441 -x2772 -x2751 -x1916 x9847 x8866 -x4132 -x3442 x3071 -x1917 x9863 -x9698 -x9145 x8865 -x4984 -x4133 -x3437 x3073 -x1967 -x1222 -x9146 -x4134 x3079 x10979 -x10589 -x9699 -x4150 -x3435 x3075 -x1228 -x407 x10980 -x10593 x5019 -x3087 -x10975 -x9279 -x8392 x5021 -x3525 x1233 -x413 -x9280 -x8391 x5027 -x3527 -x10973 -x10198 -x9275 x7592 x5023 -x1302 x1236 x10200 -x5035 -x2210 x1234 -x9273 -x6984 -x6302 -x3521 x1305 -x956 -x416 x6306 -x10689 x10194 -x10070 -x8388 -x7158 -x6987 -x3522 -x962 -x10693 -x8824 x10195 -x8823 -x7164 -x4233 -x181 -x4108 x4067 -x185 -x9287 x8831 x5915 -x4160 -x4110 x4066 -x3619 -x3482 x965 -x9291 x8835 -x7610 -x4164 -x4116 -x3481 -x8836 -x7628 -x7167 x5921 -x4112 x4074 x3622 -x8837 -x7624 -x4121 x4078 -x10031 -x7428 x7219 -x2079 -x8495 -x7430 x7361 x7215 -x9873 -x8497 -x8317 x7383 x7214 x2235 -x9877 -x8498 -x8316 x7379 x2236 -x10035 -x8514 -x7424 x7378 -x7060 x2231 -x7064 x9384 -x7425 x4254 -x2229 -x8617 x5119 x4258 -x1367 x9390 -x8638 -x8313 -x7066 x5120 -x1366 -x8730 -x8634 -x7263 -x7067 x5121 -x740 -x8732 -x8633 -x7264 x5137 -x1374 -x981 -x8738 x7265 -x2534 -x1378 -x985 x80 x9393 -x8922 -x8734 x7281 -x2536 -x1382 -x101 -x8746 -x2542 -x2123 -x1381 x97 x2538 -x2144 x96 x59 x2550 -x2140 x63 x8761 -x2139 -x8765 -x3655 x1021 -x7953 -x3656 x1023 x65 -x7955 x3657 x1029 x66 -x8471 -x3673 x1025 -x1880 -x1037 x9611 -x8477 x8108 x7949 x9613 -x5636 -x2981 -x8482 -x8114 -x7987 x7950 -x5638 x4845 -x7991 -x5644 x4847 -x10398 x9607 -x8485 -x5640 -x10885 x10402 -x8483 -x5652 -x10906 x9608 x8117 -x6729 -x4841 -x3128 -x10902 -x5933 -x3132 x10913 -x10901 x10404 x6735 -x5932 -x5315 -x4842 -x4667 -x3575 x433 x10917 -x10405 -x7723 -x5314 -x3577 -x9586 -x7485 x6740 -x5940 -x5841 -x4673 -x3416 -x3134 x2388 -x436 -x9588 -x8322 -x5944 -x5845 -x3417 -x3135 -x8323 -x7488 -x6743 -x6382 -x5948 -x4678 -x3571 -x3412 x2394 -x206 -x8324 -x6741 -x6383 -x5947 -x2384 -x9898 x9582 -x8421 -x8340 -x6378 x5311 -x4681 -x3572 -x3410 -x3253 -x2399 -x212 -x8080 -x4679 -x3257 x1735 -x9901 x9583 -x8892 -x8427 -x8081 -x6376 x5906 -x5375 x2402 x1756 -x8896 -x8082 -x6534 x5908 -x5379 -x2712 x2400 x1752 -x8432 -x8098 -x6555 -x3259 -x2714 x1751 -x215 -x6551 -x3260 x2720 -x8435 x7025 -x6550 x5902 -x5381 -x2738 x2716 -x8433 x7024 -x5807 -x5382 -x2728 x1904 -x8586 -x5903 -x2744 -x1983 x1954 x1903 -x1217 -x9133 -x8585 -x3681 -x1987 -x1219 -x10529 -x9132 -x6863 -x3702 -x2749 x1960 x1911 -x10531 -x9703 -x3698 x1915 -x10790 -x9140 x8867 x7021 -x3697 -x3440 -x2914 -x2768 -x2752 -x1965 -x1919 -x1213 -x10794 -x9144 x8869 -x3439 x2918 -x2750 -x1918 -x10525 -x9866 -x9148 -x8582 -x4980 -x2771 -x1968 -x1214 -x9867 -x9147 -x1966 -x10978 -x10796 -x10526 x9862 x8863 -x4983 -x4153 -x403 -x10977 -x10797 -x4154 x3074 -x1221 -x10588 -x9860 -x9278 x8864 -x4149 -x3436 x3095 x1223 -x409 -x10592 -x9277 -x3526 -x3091 -x1229 x7588 -x4147 -x3090 x1225 -x414 -x10199 x5022 x1237 -x10974 x7591 x5043 -x1301 -x952 -x417 x5039 -x415 -x10066 -x9274 -x7154 -x6983 x6304 -x5038 x1307 -x958 x6308 -x10688 -x10069 -x7160 -x6989 -x4229 -x963 -x10692 -x7165 -x6310 x5911 -x4232 x1310 x966 -x183 -x8825 -x6311 x964 -x187 -x9286 -x8826 -x7625 -x7168 -x6992 x5917 -x4162 -x3618 -x9290 x8827 -x7627 -x7166 -x4166 -x4111 x4068 x8841 x5922 -x4129 x4069 x3624 -x189 -x7623 -x4125 x4070 -x190 -x10032 -x7460 -x7429 x7380 x7218 x2234 -x2078 -x7464 x7382 -x7054 x2233 -x10036 -x9872 -x8517 x7212 -x7053 -x10034 -x9876 -x8518 x9380 -x8513 x7376 -x7213 -x7061 -x7065 x9386 -x8635 -x8511 x7377 -x7069 x4253 -x2230 -x8637 -x7068 x4257 x9391 -x5496 x5140 x5141 -x1368 x9394 -x9047 -x8918 -x8631 -x7284 x5136 -x1369 -x983 -x98 x9392 -x8733 x7285 -x1370 -x987 -x100 -x53 -x8921 -x8754 -x8661 -x8632 x7280 x5134 -x2141 -x1386 -x52 -x8750 -x8665 -x2537 -x2143 -x8749 x7278 x2558 -x989 x94 x60 -x2554 -x990 x64 x8760 -x2553 -x2137 x95 x68 -x8764 -x7954 x67 -x3676 x2268 -x2138 -x3677 x2272 x1024 x8104 -x3672 x1045 -x9612 -x8470 x1041 -x8472 x8110 -x3670 x1040 x10392 -x8478 -x4846 x10391 -x8474 x8115 -x7989 -x4354 -x8486 -x7993 -x5639 -x4358 -x3122 -x10903 -x10399 x8118 -x5660 -x3121 -x10905 x10403 x8116 -x5656 x10407 -x7995 -x5655 -x3129 -x2940 x10406 -x7996 -x6728 -x3576 -x3133 -x2944 x10912 -x10899 -x6730 -x6390 -x3415 -x3137 x432 x10916 -x9587 x6736 -x6394 -x5934 -x4666 -x3414 -x3136 -x10900 -x7761 -x7484 x6732 -x6381 -x5935 -x5840 -x4668 -x438 -x202 x6744 -x6380 -x5936 -x5844 -x4674 -x3247 x2387 -x8343 -x7490 -x5952 -x4670 -x3246 x2389 -x208 -x8344 -x5369 -x4682 x2395 x9897 -x8339 -x5368 -x3411 -x3254 x2391 x1753 -x441 -x213 -x8420 x5907 -x3258 x2403 x1755 -x9903 -x8894 -x8422 -x8337 -x8101 -x7493 -x6552 -x6377 -x5376 -x3262 x216 -x8898 -x8428 -x8102 -x6554 -x5380 -x3261 -x214 -x8424 -x8097 -x5384 x1749 -x8436 -x5383 x2715 -x9906 -x8900 -x8095 -x6548 x2736 x1750 x703 -x8901 -x2737 x2732 -x1218 -x6859 -x6549 -x3699 -x2739 -x2731 -x1985 -x10784 -x10530 -x3701 -x2745 -x1989 x1953 x1905 -x10783 x6862 -x6813 -x2741 x1955 x1906 -x9134 x8868 -x2753 x1961 x1907 -x10791 -x9865 -x9135 -x3695 -x2916 -x2767 -x1991 x1957 x1923 -x10795 -x9864 -x9136 x2920 -x1992 x1969 -x10799 -x9152 -x4979 -x4152 -x3696 -x2819 -x2773 -x10798 -x4151 x4985 x3092 x2922 x3094 x2923 -x402 -x10590 -x9861 -x2776 -x404 -x10594 x1224 -x410 x7587 x5040 -x4988 -x4148 -x3088 -x3006 -x1297 x1245 -x406 -x6298 x5042 x1241 -x418 -x10596 x7593 -x6979 x6297 -x3089 -x1303 -x1240 -x10597 -x951 -x10065 -x6985 x6305 -x5036 x1308 -x953 -x7153 x6309 -x959 -x177 -x10690 -x10071 x7596 -x7155 -x6990 x6313 -x5037 -x4228 x1311 x955 -x176 -x10694 -x7161 x6312 -x4156 x1309 x967 -x7157 -x6993 -x4234 -x4155 -x3614 -x184 -x7626 -x7169 -x6991 x5910 -x188 -x10696 -x10074 -x9288 x8844 x5912 -x4163 -x4126 -x3620 -x192 -x10697 -x9292 x8845 x5918 -x4167 -x4128 -x191 x8840 x5914 x4237 -x4168 -x4081 x3625 -x7621 x5923 -x4169 -x4124 -x4082 -x10033 -x8516 -x7459 x7381 x7216 x2671 -x2080 -x10037 -x8515 x7463 -x9874 -x9878 -x7055 -x9190 -x7056 -x2084 x9379 -x9194 -x8636 -x7057 -x9880 x9381 -x8947 -x8512 -x7073 x5492 -x5139 -x4746 x4255 -x9881 x9387 -x5138 x4750 x4259 -x977 x9383 -x9043 -x7283 -x5495 -x976 x9395 -x7282 -x99 -x9046 -x8917 -x8751 x7881 x4261 -x1389 -x984 -x8753 x4262 -x2142 -x1390 -x988 -x8923 -x8660 -x7811 -x5168 -x5135 x2555 -x1385 -x992 -x8664 -x5172 x2557 -x991 -x54 -x8747 -x7279 -x1383 -x55 x56 -x8926 x8762 -x8748 -x3675 -x2551 x72 -x8766 -x3674 -x3535 -x2552 x2267 x1042 -x3539 x2271 x1044 -x8768 -x2247 -x8769 x8103 -x7983 x8105 -x7982 -x3671 x1038 -x8473 x8111 -x8494 x8107 -x7990 -x5657 x4353 x1039 -x10904 x10393 -x8490 x8119 -x7994 -x5659 x4357 x10394 -x8489 -x7998 x10395 -x7997 -x3123 x10411 -x5653 -x3124 -x2939 -x428 -x3125 -x2943 x10914 x10863 -x7757 -x7480 x6389 -x6061 -x5654 -x3141 x434 x10918 x10867 -x6731 -x6393 -x8342 -x7760 -x7486 -x6752 -x5955 -x5842 -x439 -x8341 x6748 -x5956 -x5846 -x4669 -x201 -x10920 x9893 -x7491 x6747 -x5951 -x4690 -x442 -x203 -x10921 -x8888 -x4686 -x3248 x2390 -x1754 -x440 -x209 x9899 -x9068 -x8887 -x8100 -x7494 -x5949 -x5848 -x4685 -x3249 x2411 x205 -x9072 -x8099 -x7492 -x6553 -x5849 -x5370 -x3250 x2407 x217 -x9904 -x8895 -x8338 -x5371 -x3266 x2406 -x8899 -x8423 -x5372 x9907 -x8903 -x8444 -x5388 x2733 -x699 x9905 -x8902 -x8440 x2735 -x1979 -x8439 -x8096 -x1978 x702 x108 -x3700 x112 -x6858 -x6809 -x2729 -x1986 -x2910 -x2740 -x1990 x6864 -x6812 -x2909 -x2763 -x2761 -x2730 -x1994 x1926 -x10785 -x2757 -x1993 x1956 x1927 -x10786 -x10208 -x9155 -x4975 x4859 -x2917 -x2815 -x2769 -x2756 x1977 -x1922 -x10787 -x10212 -x9156 x2921 x1973 -x10803 -x9151 -x6867 -x4981 x2925 -x2818 -x2774 x1972 -x1920 -x10584 x3093 x2924 -x10583 -x9149 x4986 -x2777 -x2775 -x10591 x7583 x7188 -x4989 -x3002 x1242 -x10595 x5041 -x4987 x1244 -x405 -x10599 x7589 -x3005 -x426 -x10598 x1296 -x422 -x10061 x7594 x1298 -x1238 -x421 -x10684 -x6978 x6299 x1304 -x10683 -x10067 x7597 -x6980 x6300 -x4224 x1300 -x1239 x7595 -x6986 x6301 x1312 -x954 -x10691 -x10072 -x6982 x6317 -x4230 -x975 -x10695 -x9282 -x7156 -x6994 x971 -x178 -x10699 -x10075 -x9281 -x8843 -x7177 -x4235 x970 -x179 -x10698 -x10073 x8842 -x7173 -x4157 -x4127 -x3613 -x180 -x9289 -x7172 x4238 -x4158 -x4080 -x3615 -x196 -x9293 x5913 x4236 -x4159 -x4079 -x3621 -x9294 x8838 x5931 -x4173 x3617 -x9295 -x7622 x5927 -x4122 x3626 -x10045 -x9869 x7461 x7217 x2670 -x2081 -x10041 x7465 -x10040 -x9875 x5401 -x2085 -x9879 x4249 -x2083 -x9883 -x9189 -x8943 -x7467 -x7076 x4248 -x1052 -x9882 -x9193 -x7468 -x7077 -x1056 -x8946 -x7072 x5491 -x4745 x4256 x9382 x4749 x4260 -x9403 -x9042 -x8913 x7877 -x7070 -x5497 x4264 -x1388 -x9399 -x8752 x4263 -x1387 -x978 -x9398 -x9048 -x8919 x7880 -x7807 -x979 -x2556 -x980 -x8924 -x8662 -x7810 -x5500 -x5167 x4554 -x996 -x8756 -x8666 -x5171 x4558 -x9051 -x8927 -x8755 -x1384 x75 -x8925 x76 x8763 -x8668 x71 -x8767 -x8669 x1043 -x8771 -x3534 x2269 -x2243 x69 -x8770 -x3538 x2273 -x5571 -x2246 -x8491 -x5721 -x2275 -x8493 x8106 -x7984 -x5658 -x2276 x8127 -x7985 x4355 x8123 -x7986 x4359 x10414 -x8487 x8122 -x8002 -x10908 x10415 x10907 -x10410 -x8488 -x7390 -x6057 -x4361 -x3144 -x2941 -x7394 -x5836 -x4362 -x3145 -x2945 -x427 x10915 x10862 -x10408 -x7756 -x6749 x6391 -x6060 -x5954 -x5835 -x3140 -x429 x10919 x10866 -x7479 -x6751 -x6395 -x5953 x435 -x10923 -x7762 -x7481 -x5843 -x4687 -x3138 -x2947 -x1551 x431 -x10922 -x7487 -x5847 -x4689 -x2948 -x443 x8455 -x7483 x6745 -x6397 -x5851 x2408 x9892 -x7495 -x6398 -x5850 x2410 -x204 x9894 -x9067 -x9018 -x7765 x6746 -x5950 -x4683 -x3269 -x225 x9900 -x9071 -x9022 -x8889 -x3270 x221 -x10838 x9896 -x8890 -x8441 -x5391 -x4684 -x3265 x2404 x220 -x10842 x9908 -x8891 -x8443 -x5392 x2734 -x8907 -x7438 -x5387 -x3263 x2405 -x698 -x7442 -x8437 -x6854 -x5385 x704 x107 -x1980 x111 -x8438 -x8351 -x6860 -x6808 -x2758 -x1981 -x1925 -x8355 -x2760 -x1982 x1924 -x9154 x6865 -x6814 -x4855 -x2063 -x1998 x1974 -x707 -x9153 -x2911 -x2762 x1976 -x10806 -x10207 -x7832 -x6963 -x6868 x4858 x2912 -x2814 -x2764 -x2754 -x10807 -x10211 -x7836 -x6866 -x4974 x2913 -x2770 -x10802 -x6817 -x4976 x2929 -x2820 -x2766 -x2755 x1970 -x1921 -x749 x4982 -x2778 -x753 -x10800 -x9150 -x7184 x4978 x1971 -x10585 -x4990 x1243 -x10586 x7187 -x3001 -x2823 -x423 -x10587 x7582 -x425 -x10603 x7584 -x3007 x7590 x7586 -x419 x236 -x10060 x7598 x1299 -x10062 x6320 -x3010 x1320 -x972 -x420 -x10685 -x10068 -x6981 x6321 -x4223 x1316 -x974 -x10686 x10064 -x7174 -x7002 x6316 -x5274 -x4225 x1315 -x10687 -x10076 -x7176 -x6998 -x5278 -x4231 -x10703 -x6997 x6314 x4227 x968 -x199 -x9283 x4239 -x200 -x9284 -x7170 x5928 -x5151 -x4176 x969 -x195 -x9285 x5930 -x4177 -x3616 -x9299 x8839 -x7171 -x4172 x3634 -x3494 -x1761 -x193 x5926 -x4123 x3630 -x1765 -x10044 x7462 x5397 x2672 -x2082 -x9868 x7466 -x2086 -x10038 -x9870 -x9764 x7470 -x7075 x5400 -x9871 -x7469 -x7074 -x10039 -x9887 -x9191 -x8942 x5487 -x2676 -x1051 -x9195 x4250 -x1055 -x9400 -x9038 -x8948 x5493 -x4747 x4251 -x9402 x4751 x4252 -x9197 -x9044 x7876 -x7071 -x5498 x4268 -x9198 -x8912 -x8656 -x10158 -x9396 -x9049 -x8951 -x8914 -x8655 x7882 -x7806 -x5501 -x4753 -x999 -x10162 -x8920 -x5499 -x4754 -x1000 -x9964 -x9397 -x9052 -x8916 -x8663 -x7812 -x5169 x4553 -x995 x74 -x9050 -x8928 -x8667 -x5173 x4557 x73 -x8671 x7885 -x993 -x8757 -x8670 x2263 -x8758 -x7815 -x5175 x2262 x8759 -x5176 x8775 -x5567 -x3536 x2270 -x2242 x70 -x3540 x2274 x5717 -x5570 -x2278 -x2248 -x8492 x4349 -x2277 -x9546 x8124 x5720 x4348 -x3542 -x9550 x8126 -x3543 x10413 -x8005 x4356 x2251 -x483 x10412 -x8006 x4360 -x2935 -x487 -x8790 x8120 -x8001 x4364 -x3143 -x2934 x6385 -x4363 -x3142 x8121 -x7999 -x7752 -x7389 x6384 -x6056 -x2942 x10909 -x7393 -x6750 -x2946 x10910 x10864 -x10409 -x7758 x6392 -x6062 -x2950 -x1547 x10911 x10868 -x6396 -x5837 -x4688 -x2949 x430 -x10927 x8451 -x7763 -x6400 -x5838 -x3139 -x1550 x451 -x7482 -x6399 -x5839 -x2409 -x447 x10870 x8454 -x7766 -x7503 -x6065 -x5855 -x3268 -x446 -x222 x10871 -x7764 -x7499 -x3267 -x224 -x9069 -x9017 -x7498 -x5390 x9895 -x9073 -x9021 -x8442 -x5389 -x10837 x9916 -x8910 x694 -x218 -x10841 x9912 -x8911 x9911 -x9075 -x8906 -x8553 -x7437 -x3264 -x2515 x700 -x219 -x9076 -x7441 -x2519 -x8904 -x6804 -x5386 x705 x109 x6853 -x2759 x113 -x8350 x6855 -x6810 x2059 -x2001 -x708 -x8354 -x6861 -x2002 x1975 -x706 -x10805 -x6959 x6857 -x6815 -x4854 -x4212 -x2810 x2062 -x1997 x115 -x10804 -x6869 x116 -x10209 -x7831 -x6962 -x6818 -x5521 x4860 x2932 -x2816 -x1995 -x10213 -x7835 -x6816 x2933 -x2765 -x3031 x2928 -x2821 -x2786 -x748 -x4977 -x2782 -x752 -x10801 -x10215 x7183 -x4998 x4863 -x2997 x2926 -x2824 -x2781 -x532 -x10216 x4994 -x2822 -x536 -x424 -x10606 -x9712 x7189 -x6763 x4993 -x3003 -x10607 -x9716 -x10602 -x3008 -x232 x7585 -x10600 x7606 x7192 -x6319 -x3156 -x3011 x1317 x235 -x7602 x6318 -x3009 x1319 -x973 -x7601 -x6999 -x10063 -x7175 -x7001 -x10706 -x10084 -x5742 -x5273 x1313 -x198 -x10707 x10080 -x5746 -x5277 -x4226 -x197 -x10702 x10079 -x6995 x6315 -x5147 x4247 -x4175 x1314 x5929 -x4243 -x4174 -x10700 -x9302 -x6996 x5150 -x4242 x3631 -x3490 -x9303 x3633 -x9298 -x4170 -x3493 -x1760 -x194 x5924 x3629 x1764 -x10042 -x9760 x7458 x5396 x2673 -x2094 -x9185 x7457 -x2090 -x9890 -x9763 -x9184 -x8938 x7474 x5402 x2677 -x2089 -x9891 x4741 x2675 -x9886 -x9192 -x8944 x4740 -x1053 -x9401 -x9196 x5486 -x1057 -x9884 -x9200 -x8949 -x7872 x5488 -x5405 x4748 x4271 -x9199 -x9037 x5494 x4752 x4272 -x9039 -x8952 x7878 -x7802 x5490 -x4756 x4267 -x1059 -x998 -x9045 -x8950 -x5502 -x5163 -x4755 -x1060 -x997 -x10157 -x9960 -x9041 x7883 -x7808 -x5162 x4265 -x10161 -x9053 -x8915 -x8657 x9963 -x8936 -x8658 x7886 -x7813 -x6107 -x5170 x4555 -x8932 -x8659 x7884 -x6111 -x5174 x4559 -x8931 -x8675 -x7816 -x5178 -x994 -x7814 -x5177 -x3530 x8778 x4561 -x3529 -x2238 x8779 x4562 x2264 -x8774 -x5566 -x3537 x2265 x2244 -x3541 x2266 -x8772 x5716 -x5572 x3545 x2282 -x2249 -x8125 x3544 -x9545 -x8004 x5722 x2252 -x9549 -x8003 x4350 x2250 -x8786 -x5575 x4351 -x482 x4352 -x486 -x8789 -x6052 x5725 x4368 -x10858 -x2936 x10857 -x8000 -x7391 -x6058 -x2937 -x7751 -x7395 x6386 -x2938 -x10930 x10865 -x7753 x6387 -x6063 -x2954 -x1546 x448 -x10931 x10869 -x7759 x6388 x450 -x10926 x10873 x8450 -x7755 -x7500 -x7397 -x7134 x6404 -x6066 -x5858 -x1552 x10872 -x9063 -x7767 -x7502 -x7398 -x7138 -x6064 -x5859 -x223 -x10924 -x9062 x8456 -x5854 -x3324 -x444 x3328 -x10090 x9913 -x9070 -x9019 -x8909 -x7496 -x5852 -x1555 -x445 -x10094 x9915 -x9074 -x9023 -x8908 -x10839 -x9078 -x8549 x8459 -x7497 -x10843 -x9077 x693 x103 -x9909 -x9025 -x8552 -x7439 x2514 x695 x102 -x9026 -x7443 x2518 x701 -x10845 -x9910 -x8905 -x2000 x697 x110 -x10846 -x6803 -x1999 -x709 x114 -x8352 -x7445 -x6805 -x4850 -x4208 x2058 x118 -x10203 -x8356 -x7446 x6856 -x6811 x117 -x10202 -x6958 -x6877 -x6807 -x5517 x4856 -x4211 -x2931 x2064 -x6873 -x6819 -x2930 -x2809 -x10210 -x8358 -x7833 -x6964 -x6872 -x5520 x4861 -x3027 -x2811 -x2783 -x1996 -x557 -x10214 -x8359 -x7837 -x2817 -x2785 -x561 -x10218 x7179 -x4995 x4864 -x3030 -x2813 x2067 -x750 -x10217 -x4997 x4862 -x2825 -x754 -x10605 -x7839 x7185 -x6967 -x6759 x2927 -x2779 -x531 -x10604 -x7840 -x2996 -x535 -x9711 x7190 -x6762 x4991 -x2998 -x2780 -x1277 x756 -x9715 -x3004 -x1281 x757 x7603 x7193 x4992 -x3152 -x3000 -x231 x7605 x7191 -x3012 x1318 -x10601 -x6709 -x3155 x237 -x7000 x6713 -x10705 -x10081 -x7599 -x10704 -x10083 -x7600 -x5741 -x5275 x4244 -x240 -x5745 -x5279 x4246 x10077 -x9301 x5146 -x9300 x3632 -x10701 -x10078 -x5281 x5152 -x4240 x3489 -x5282 -x9296 -x4241 -x4171 -x3495 -x1762 x5925 x3627 x1766 -x10043 -x9889 -x9759 -x9158 -x8010 x7477 x5398 x2674 -x2093 -x9888 -x8014 x7478 x2678 -x1047 -x9765 x7473 x5403 -x2087 -x1046 -x9186 -x8937 -x9187 -x8939 x7471 -x5406 -x4270 -x2088 -x1054 -x9188 -x8945 -x5404 x4742 x4269 -x1058 -x10377 -x9885 -x9768 -x9204 -x8941 x4743 -x1062 -x8953 -x7871 x5489 x4744 -x1061 -x7873 x5510 x4760 -x9040 x7879 -x7801 x5506 -x4549 -x10159 -x9959 -x9061 -x8933 x7875 -x7803 x5505 -x4548 x4266 -x10163 -x9057 -x8935 x7887 -x7809 -x5164 x9965 -x9056 -x8678 -x7805 -x6106 -x5816 -x5165 x4556 -x8679 -x7817 -x6110 -x5820 -x5166 x4560 -x10165 -x8929 x8777 -x8674 -x5182 -x4701 x4564 -x10166 x8776 x4563 -x9968 -x8930 -x8672 -x5562 -x3531 -x2237 x5712 -x5568 x3532 x2285 -x2239 x3533 x2286 x2245 -x8773 x5718 -x5573 -x5103 x3549 x2281 x2241 x2253 -x9547 x5723 -x5576 x2279 -x604 -x9551 -x5574 -x608 -x8785 x5726 x4371 -x484 x7385 x5724 x4372 -x488 -x9553 -x8791 x7384 x4367 -x3177 -x9554 -x6051 -x3181 -x10942 -x10929 -x7392 -x6053 x4365 -x2957 -x1542 -x490 -x10928 x10859 -x7396 -x6059 -x2958 -x491 x449 x10860 -x8794 x8446 -x7400 x6407 -x6055 -x5963 -x5857 -x2953 -x1548 x10861 -x7754 -x7501 -x7399 x6408 -x6067 x5967 -x5856 -x10877 x8452 -x7775 -x7133 x6403 -x2951 -x1553 -x9013 -x7771 -x7137 -x10925 -x9012 x8457 -x7770 x6401 -x3323 -x1556 -x10833 -x9914 -x9064 x3327 -x1554 -x10832 x10089 -x9065 -x9020 x8460 -x5853 -x10093 -x9066 -x9024 x8458 -x7433 -x10840 -x9082 -x9028 -x8548 -x7432 -x10844 -x9027 -x10848 -x8554 -x7440 x2516 -x10847 -x8346 -x7444 x2520 x696 x104 -x8345 -x7448 -x2054 x717 x105 -x7447 -x713 x106 x8557 -x8353 x6954 -x6874 -x4207 x2522 x2060 -x712 -x122 -x8357 -x7827 -x6876 -x6806 -x4849 x2523 -x8361 -x7826 -x6960 -x6827 -x5516 x4851 -x4213 x2065 -x10204 -x8360 -x6823 x4857 -x2784 -x744 -x10205 -x7834 -x6965 -x6870 -x6822 -x5522 x4853 -x3026 x2068 -x743 -x556 -x10206 -x7838 -x4996 x4865 -x2812 x2066 -x560 -x10222 -x7842 -x6968 -x6871 -x4216 -x3032 -x2833 -x751 -x7841 x7178 -x6966 -x2829 -x755 x7180 -x6758 -x5525 -x2828 x759 -x533 x7186 x758 -x537 -x9713 x7182 -x6764 -x3035 -x1276 -x227 -x9717 x7604 x7194 -x2999 -x1280 -x3151 -x3020 x539 -x233 -x3016 x540 -x10451 -x9719 -x6767 -x6708 -x3157 -x3015 x238 -x10082 -x9720 x6712 -x5269 -x5771 -x5268 x241 x4245 x239 -x5743 -x5276 x5143 x3160 -x5747 -x5280 -x5284 x5148 x3486 -x5283 x1758 -x5749 x5153 x3491 x1757 -x5750 -x9297 -x3496 x1763 x3628 x1767 -x9761 -x9157 -x8009 -x7475 x6348 x5394 -x4276 x2686 -x2091 -x8013 x5399 -x4280 x2682 -x9766 x6237 x5395 -x2681 -x5407 -x1048 x10373 -x9769 -x9207 -x7472 -x1049 -x9767 -x9208 -x8940 -x1050 x10376 -x9203 -x8961 x5507 x4763 -x1798 -x1066 -x10153 -x8957 x5509 x4764 -x10152 -x9955 -x9201 -x9097 -x9058 -x8956 x4759 -x9060 -x8934 -x7874 -x10160 -x9961 -x8677 x7895 x5503 x4757 -x582 -x10164 -x8676 x7891 -x7804 x4550 -x586 -x10168 x9966 -x9054 x7890 -x7825 -x6108 -x5815 x5504 -x5185 -x4697 x4551 -x10167 -x7821 -x6112 -x5819 -x5186 x4552 x9969 -x9055 -x7820 -x5181 x4700 x4568 x9967 -x8673 -x6114 -x5179 x2284 -x6115 -x5561 x2283 -x5563 x5099 -x3552 -x9541 x5711 -x5569 -x3553 -x2240 -x9540 x5713 -x5565 -x5102 x3548 -x2261 x5719 -x5577 x2257 -x478 -x9548 -x8781 x5715 x4370 x3546 x2280 x2256 -x603 -x477 -x9552 x5727 x4369 -x607 -x9556 -x8787 -x485 -x9555 -x489 -x10938 -x8792 -x3176 -x2956 -x493 x7386 -x3180 -x2955 -x492 x10941 -x8795 x7387 -x6406 x4366 -x8793 x7388 x6405 -x6054 -x1541 x10880 -x7772 -x7404 -x6075 -x5962 -x1543 x10881 x8445 -x7774 -x6071 x5966 -x1549 -x10876 x8447 -x7660 -x7135 -x6070 -x2952 -x1545 x8453 -x7664 -x7139 -x1557 -x10874 x8449 -x7768 x6402 -x3325 -x9014 x8461 x3329 x10091 -x9085 -x9015 -x8545 -x7769 -x7141 -x10834 -x10095 -x9086 -x9016 -x7142 x2510 -x10835 -x9081 -x9032 -x8550 -x3899 x3331 x2509 -x10836 -x7434 x3332 -x10852 x10097 -x9079 -x8555 -x7435 x2517 -x714 x10098 -x7436 x2521 -x716 x8558 -x7452 -x4204 x2525 x125 x8556 -x8347 -x6875 x2524 -x2053 x126 -x8348 -x6824 -x5512 -x4209 -x2055 -x710 -x121 -x8349 x6953 -x6826 x2061 -x8365 x6955 -x5518 -x4214 -x3022 x2057 -x711 -x119 -x7828 -x6961 x4852 x2069 -x10225 -x9784 -x7829 x6957 -x6820 -x5523 -x4873 x4217 -x3028 -x2830 -x558 -x10226 -x7830 -x6969 x4869 x4215 -x2832 -x745 -x562 -x527 -x10221 -x7846 -x6821 -x6754 -x5526 x4868 -x3033 -x746 -x526 -x9707 -x5524 x747 -x10219 -x9706 -x6760 -x3036 -x2826 x763 -x564 -x534 x7181 -x3034 -x565 -x538 -x9714 -x9505 x7202 -x6765 -x3147 -x3017 -x2827 -x2493 -x1278 x542 -x9718 x7198 -x3019 -x2497 -x1282 x541 -x226 -x10447 x9722 x7197 -x6768 -x3153 -x228 -x9721 -x6766 -x234 -x10450 -x6710 x6687 -x5767 -x3158 -x3013 -x1284 x230 x6714 -x6691 -x5737 -x1285 x242 -x5770 -x5736 -x4814 x3161 -x3014 -x5270 x3159 x6716 -x5744 -x5271 x6717 -x5748 -x5272 x5142 -x5752 -x5288 x5144 -x5751 x5149 x3485 -x10055 x3487 x3492 x1759 -x9757 -x9159 -x8011 -x7476 x6347 -x6233 -x4275 x2685 -x2092 -x1667 -x9762 x8015 x5393 -x4279 -x9758 -x9206 x6236 x5415 -x2679 -x9770 -x9205 -x5411 x10372 -x9163 -x8958 -x8017 -x5410 x4762 -x2680 -x1794 -x1069 -x8960 -x8018 x5508 x4761 -x1070 x10378 -x9093 -x1797 -x1065 -x9059 -x9202 -x9096 -x8954 x7892 -x3606 -x1063 -x10154 -x9954 x7894 -x6102 x10381 -x10155 -x9956 -x8955 -x7822 -x6101 -x5184 -x4758 -x581 -x10156 -x9962 -x7824 -x5183 -x585 -x10172 x9958 x8208 x7888 -x6109 -x5817 -x4696 x4571 x9970 x8212 -x6113 -x5821 x4572 x7889 -x7818 -x6117 x4702 x4567 -x6116 -x8811 -x7819 -x5823 -x5180 x4565 -x3551 -x8815 -x5824 -x3550 x5098 x4705 -x2258 -x5564 -x2260 -x5585 -x5104 -x9542 x5714 -x5581 -x9543 x5735 -x5580 -x4774 x3547 x2254 -x605 -x9544 -x8780 x5731 -x609 -x479 -x9560 -x8782 x5730 -x5107 -x3585 x2255 -x480 -x8788 -x3589 -x481 -x10937 -x8784 x7538 -x3178 x611 -x497 -x8796 -x3182 x612 x10943 x10879 x7407 -x6072 x10878 -x7773 x7408 -x7129 -x6074 -x7403 -x7128 -x6185 -x5964 -x3184 x5968 -x3319 -x3185 -x1544 x10946 -x7659 -x7401 -x7136 -x6068 -x3318 -x1565 -x10086 x8448 -x7663 -x7140 -x1561 -x10875 -x10085 -x9084 x8469 x7144 -x6069 -x5970 x3326 -x1560 -x9083 x8465 -x7143 -x5971 x3330 x10092 -x9035 x8464 -x3895 x3334 -x10096 -x9036 -x8544 x3333 -x10855 x10100 -x9031 -x8546 -x3898 -x10856 x10099 -x8551 x2511 -x715 -x10851 -x9080 -x9029 -x7455 x2512 -x352 x124 x8559 -x7456 x2513 -x356 x123 -x10849 -x7451 x2529 -x6825 -x4203 -x8368 -x7449 -x4205 -x8369 -x5511 -x4210 x2056 -x552 -x10224 -x9780 -x8364 -x5513 -x4870 x2077 -x551 -x120 -x10223 x6956 -x5519 -x4872 x4218 -x3021 -x2831 x2073 x9783 -x8362 -x7849 x6977 -x5515 -x3023 x2989 x2072 -x559 -x7850 -x6973 -x5527 -x3029 -x563 -x7845 -x6972 -x4866 -x3641 -x3025 x766 -x567 -x6753 -x3645 -x3037 -x1272 x767 -x566 x528 -x10220 -x9501 -x7843 x7199 -x6755 -x4867 -x4579 -x1271 x762 x529 -x9708 x7201 -x6761 -x4583 -x3018 x530 -x9709 -x9504 -x6757 -x2492 -x1279 x760 x546 x9710 -x6769 -x6704 -x3146 -x2496 -x1283 -x10446 -x9726 x7195 x6703 -x3148 -x1287 -x3154 -x1286 -x229 -x10452 x7196 -x6711 x6686 -x5766 -x4810 x3150 -x250 x6715 x6690 x3162 -x246 -x7254 x6719 -x5772 -x4813 -x245 x6718 -x5738 -x10455 -x10305 -x5739 -x5291 x10309 -x5740 -x5292 -x10051 -x9177 -x5775 -x5756 -x5287 -x5261 x9181 x5145 -x10054 -x5285 x5161 -x4333 x5157 x3488 x5156 x3503 x1770 -x9160 -x8012 x6349 -x6232 x5412 -x4277 x2683 -x1666 -x9756 x8016 x5414 -x4281 x10368 -x9778 -x9164 -x8020 x6238 -x1068 -x9774 -x9162 -x8959 -x8019 -x1067 x10374 -x9773 x6353 -x5408 -x4283 -x1793 -x4284 x10379 x9092 x6241 -x5409 -x3602 -x1799 x7893 x10382 -x9098 -x3605 -x1064 x10380 -x7823 -x5811 -x10175 -x5810 -x4692 -x4570 -x1802 -x583 -x10176 -x9957 -x6103 x4569 -x587 -x10171 -x9978 -x9101 x8207 -x6104 -x5818 -x4698 x9974 x8211 -x6105 -x5822 -x10169 x9973 -x6121 -x5826 x4703 -x589 -x5825 -x590 -x8810 -x5094 x4706 x4566 -x8814 x4704 -x2259 -x5582 x5100 -x5584 x599 x5732 -x5105 x4770 x598 x5734 -x9563 -x5578 -x5108 -x4773 x606 -x9564 -x5106 -x3172 x610 x10933 -x9559 x7534 x5728 -x5579 -x3584 -x3171 x614 -x500 -x8783 -x3588 x613 -x501 -x10939 -x9557 -x8804 x7537 x7406 -x5729 -x3179 -x496 -x8800 x7405 -x6073 -x5958 -x3183 x10944 -x8799 -x6181 x5957 -x3187 -x494 -x3186 x10947 -x6184 -x5965 -x1562 x10945 -x7130 x5969 -x1564 x8466 -x7661 -x7402 x7131 -x5973 x8468 -x7665 x7132 -x5972 x3320 -x9034 x7148 x3321 -x1558 x10087 -x9033 x3322 -x10854 x10088 x8462 -x7667 -x3894 x3338 -x1559 -x10853 -x7668 -x8463 -x7454 -x3900 -x8547 -x7453 -x9030 x2532 -x351 -x8563 x2533 x355 -x10850 -x8562 -x8367 x2528 -x8366 -x7450 x2526 -x2074 -x4871 -x4206 x2076 -x9779 -x7848 x6974 -x2985 -x7847 x6976 -x5514 x4222 -x553 x9785 -x8363 -x5535 x4221 x2988 -x2070 x765 -x554 -x5531 -x3024 x764 -x555 -x6970 -x5530 -x3640 -x3045 -x2071 -x571 x7200 -x3644 -x3041 -x9788 -x9500 -x7844 -x6971 -x4578 -x3040 x549 -x6756 -x4582 -x1273 x550 -x10442 x9729 -x9506 -x6777 -x2494 -x1274 x761 -x545 x9730 -x6773 -x2498 -x1275 -x10448 -x9725 -x6772 -x5762 -x1291 -x543 -x247 x6705 -x3149 -x249 -x10453 -x9723 -x9509 -x7250 x6706 x6688 -x5768 -x4809 x3170 -x2500 x6707 x6692 x3166 -x2501 -x10456 -x7253 x6723 -x5773 -x5290 x4815 x3165 -x243 -x10454 -x5289 -x10304 -x6694 -x5776 -x5759 -x5257 -x244 x10308 -x6695 -x5774 -x5760 -x10050 -x9176 -x5755 -x5260 x5158 x4818 x4329 x9180 x5160 -x10056 -x5753 -x5286 -x4332 -x3500 x1769 -x3502 x1768 x5154 x3499 -x9775 -x9161 -x8008 x6350 -x6234 x5413 -x4278 x2684 -x1668 -x9777 -x9165 x8007 -x4282 x8024 x6354 x6239 -x4286 -x1789 x10367 x6352 -x4285 x10369 -x9771 x9088 x6242 -x1795 -x1672 x10375 x6240 x10371 -x9772 x9094 -x3601 -x1800 x10383 x577 -x10174 x9099 -x3607 -x1803 x576 -x10173 -x1801 -x9975 -x9102 -x584 -x9977 -x9100 -x5812 x4691 -x588 x8209 -x6124 -x5813 x4693 x3610 -x592 x8213 -x6125 -x5814 -x4699 -x591 -x10170 -x9971 -x6120 -x5830 x4695 x4707 -x9972 x8812 x8215 -x6118 x8816 x8216 -x5583 -x5093 -x5095 -x5733 x5101 -x9562 x8818 x5097 x4769 -x9561 -x8819 -x5109 x600 -x4775 x601 -x499 x602 -x498 -x8801 x7533 -x3586 x618 x10932 -x8803 -x3590 -x3173 x10934 -x9558 x7539 -x4778 -x3174 -x10940 -x3175 x10936 -x8797 -x6180 -x3592 -x3191 -x495 x10948 -x7655 x5959 -x3593 -x1563 -x8798 -x7654 x7542 -x6186 x5960 -x8467 x5961 -x7662 x7151 x5977 -x7666 x7152 -x7670 x7147 -x6189 -x3891 x3341 -x7669 x3342 x10103 x7145 -x3896 x3337 x10104 -x3901 x3335 x2531 x2530 -x353 x357 -x8560 -x2075 -x8561 x2527 x6975 -x10985 -x9781 -x5532 x2984 -x5534 x9786 x4219 -x3042 x2990 -x574 -x3044 -x575 -x9789 x9496 -x5528 x4220 -x3642 -x570 x548 -x9787 -x3646 -x2488 x547 x9728 -x9502 -x6774 -x5529 -x4580 -x3038 -x2993 -x2487 -x568 x9727 -x6776 -x4584 -x9507 x3648 -x3039 -x2495 -x1294 -x10441 -x6682 x3649 -x2499 -x1295 -x248 -x10443 -x9510 -x6770 x6681 -x4805 -x4586 x3167 -x2503 -x1290 -x544 -x10449 -x9508 -x5761 -x4587 x3169 -x2502 -x10445 -x9724 x7249 -x6771 -x6726 x6689 -x5763 -x4811 -x1288 -x10457 -x6727 x6693 -x5769 -x7255 x6722 -x6697 -x5765 -x5758 x4816 x3163 -x6696 -x5777 -x5757 x10306 -x10047 -x6720 -x5256 x4819 -x3164 x10310 -x5159 x4817 -x10052 -x9178 -x7258 -x5262 x4328 x9182 -x3501 x10312 -x10057 -x5754 -x4334 x10313 -x5265 -x5155 -x3497 -x9776 -x9170 x8025 x6351 -x6230 -x4274 x1669 -x9169 x8027 x6355 -x6235 -x4273 -x9168 x8023 x6231 -x4289 -x1673 x6243 -x1788 -x1671 x8021 x3599 -x1790 x10370 x9087 -x1796 -x10390 x9089 -x3603 x1792 x10387 x9095 -x1804 x10386 x9091 -x3608 -x9976 x9103 -x8203 x578 x8202 -x6123 x3611 x579 -x6122 x3609 x580 x8210 -x5833 -x595 x8806 x8214 -x5834 x4694 x8805 x8218 -x5829 x4714 x8217 x4711 x8813 -x6119 -x5827 x4710 x8817 x8821 x4767 x8820 -x5096 -x5116 x4771 x5113 -x3580 x7531 x5112 -x4776 -x3579 x621 -x8802 x622 x7535 -x4779 -x3587 x617 -x4777 -x3591 x7540 -x6178 -x3595 -x3194 x615 x10935 -x3594 -x3195 x10955 x7543 -x6182 -x3190 x10952 x7541 x10951 x7150 -x6187 x5980 -x3188 -x7656 x7149 x5981 -x7657 -x6190 x5976 x3340 x7658 -x6188 x3339 x10102 x7673 x5974 x10101 -x3890 x7146 -x3892 -x3897 x10986 x3336 -x354 x358 -x5533 x2986 -x573 -x9782 -x3636 -x3043 -x572 x3635 x2991 -x9790 x4574 x4573 x3643 -x2994 x9495 -x6775 -x3647 -x2992 x9497 -x4581 x3651 -x1293 -x569 -x9503 -x4585 x3650 -x2489 -x1292 x9499 -x4589 -x2490 -x9511 -x4588 x3168 -x2491 x7247 -x6725 -x2506 -x10444 -x6724 x6683 -x4804 -x10464 x7251 x6684 -x4806 -x1289 -x10461 x10300 x6685 -x5764 -x4812 -x10460 x10299 -x7256 x6700 -x5784 -x5254 x4808 x9173 -x5781 x4820 x10307 x9172 -x7259 -x6721 -x5780 -x5258 -x4327 x10311 -x10046 -x7257 x10315 -x10048 -x9179 -x5263 x4330 x10314 -x10053 x9183 -x5266 -x4335 -x5264 -x3498 -x9171 x8026 x6358 -x4291 x1670 x6356 -x6229 -x4290 x1674 -x9166 x6357 -x6246 -x4287 -x6244 -x10389 -x9167 -x8022 -x6245 -x4288 -x10388 x3598 -x1791 x3597 -x1807 x9090 -x3604 -x1805 -x10384 x9106 x3600 -x1806 x9104 x3612 -x10385 x9105 -x5832 -x597 x8204 -x5831 -x596 x8205 x4713 -x593 x8206 x4712 x8219 -x594 x8807 x8808 -x5828 x4708 x8809 x8822 -x5115 x4709 -x5114 x4766 x4765 x620 x4772 x619 -x5110 x4768 x7530 x4780 -x3581 x7529 -x5111 -x3582 -x3193 x7536 -x3583 -x3192 x10954 x7532 -x3596 x616 x10953 x7544 -x6177 -x6176 -x5979 -x6183 x5978 x10949 -x6179 -x3189 -x6191 x10950 -x7675 -x7674 x7671 -x5975 x7672 -x3893 x2987 x10987 x9791 x3637 -x2995 -x9792 x3638 x4575 x3639 x4576 x3652 x9498 x4577 x9514 x4590 -x2508 x9512 -x2507 -x10463 x9513 -x2504 -x10462 x7246 x7245 -x6702 -x5783 -x2505 x7252 x6701 -x5782 -x4807 -x10458 x7248 x6698 -x4823 x10301 -x7260 -x5253 x4821 -x10459 x10302 -x6699 -x5778 -x5252 x4822 x10303 x9174 -x5259 -x4326 -x10316 x9175 -x5779 -x5255 x4325 -x10049 -x5267 x4331 -x10988 x10989 x10058 x10059 x1 
1797.98/1798.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.52	c   43   195042  66185   422244    27323 47089114  14853    108 1798.01
1797.98/1798.52	c Objective: 706
1797.98/1798.52	s SATISFIABLE
1797.98/1798.52	c Total time: 1798.01 s

Verifier Data 

OK	706

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657501-1276477557/watcher-2657501-1276477557 -o /tmp/evaluation-result-2657501-1276477557/solver-2657501-1276477557 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657501-1276477557.opb 

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


[startup+0 s]
/proc/loadavg: 2.03 1.95 1.59 3/106 25706
/proc/meminfo: memFree=1820100/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=19352 CPUtime=0
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 355 0 0 0 0 0 0 0 15 0 1 0 23357248 19816448 274 1992294400 134512640 137138936 4289046080 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 4838 276 172 642 0 4046 0

[startup+0.094367 s]
/proc/loadavg: 2.03 1.95 1.59 3/106 25706
/proc/meminfo: memFree=1820100/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=13456 CPUtime=0.09
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 976 0 0 0 9 0 0 0 18 0 1 0 23357248 13778944 895 1992294400 134512640 137138936 4289046080 18446744073709551615 136525335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 3364 896 297 642 0 2572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13456

[startup+0.101367 s]
/proc/loadavg: 2.03 1.95 1.59 3/106 25706
/proc/meminfo: memFree=1820100/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=13456 CPUtime=0.09
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 1004 0 0 0 9 0 0 0 18 0 1 0 23357248 13778944 923 1992294400 134512640 137138936 4289046080 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 3364 923 306 642 0 2572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13456

[startup+0.301392 s]
/proc/loadavg: 2.03 1.95 1.59 3/106 25706
/proc/meminfo: memFree=1820100/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=15888 CPUtime=0.29
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 2031 0 0 0 26 3 0 0 18 0 1 0 23357248 16269312 1529 1992294400 134512640 137138936 4289046080 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 3972 1529 191 642 0 3328 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15888

[startup+0.701445 s]
/proc/loadavg: 2.03 1.95 1.59 3/106 25706
/proc/meminfo: memFree=1820100/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=15888 CPUtime=0.69
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 2031 0 0 0 66 3 0 0 18 0 1 0 23357248 16269312 1529 1992294400 134512640 137138936 4289046080 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 3972 1529 191 642 0 3328 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15888

[startup+1.50155 s]
/proc/loadavg: 1.95 1.93 1.59 2/107 25707
/proc/meminfo: memFree=1814264/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=19916 CPUtime=1.5
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 3045 0 0 0 146 4 0 0 19 0 1 0 23357248 20393984 2543 1992294400 134512640 137138936 4289046080 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 4979 2543 191 642 0 4335 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19916

[startup+3.10176 s]
/proc/loadavg: 1.95 1.93 1.59 2/107 25707
/proc/meminfo: memFree=1810048/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=29368 CPUtime=3.1
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 5806 0 0 0 305 5 0 0 24 0 1 0 23357248 30072832 4919 1992294400 134512640 137138936 4289046080 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 7342 4919 191 642 0 6698 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 29368

[startup+6.30118 s]
/proc/loadavg: 1.95 1.93 1.59 2/107 25707
/proc/meminfo: memFree=1795044/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=38572 CPUtime=6.29
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 11651 0 0 0 622 7 0 0 25 0 1 0 23357248 39497728 7220 1992294400 134512640 137138936 4289046080 18446744073709551615 134544752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 9643 7220 191 642 0 8999 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38572

[startup+12.701 s]
/proc/loadavg: 1.80 1.90 1.58 2/107 25707
/proc/meminfo: memFree=1760696/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=75460 CPUtime=12.69
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 30678 0 0 0 1256 13 0 0 25 0 1 0 23357248 77271040 16442 1992294400 134512640 137138936 4289046080 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 18865 16442 191 642 0 18221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75460

[startup+25.5007 s]
/proc/loadavg: 1.68 1.87 1.58 2/107 25709
/proc/meminfo: memFree=1669556/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=161780 CPUtime=25.48
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 65768 0 0 0 2524 24 0 0 25 0 1 0 23357248 165662720 38022 1992294400 134512640 137138936 4289046080 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 40445 38022 191 642 0 39801 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 161780

[startup+51.101 s]
/proc/loadavg: 1.51 1.81 1.57 2/107 25709
/proc/meminfo: memFree=1482812/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=350688 CPUtime=51.07
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 133635 0 0 0 5059 48 0 0 25 0 1 0 23357248 359104512 85249 1992294400 134512640 137138936 4289046080 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 87672 85249 191 642 0 87028 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 350688

[startup+102.309 s]
/proc/loadavg: 1.33 1.71 1.54 2/107 25711
/proc/meminfo: memFree=1180128/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=648960 CPUtime=102.27
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 287679 0 0 0 10126 101 0 0 25 0 1 0 23357248 664535040 159817 1992294400 134512640 137138936 4289046080 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 162240 159817 191 642 0 161596 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 648960

[startup+162.301 s]
/proc/loadavg: 1.17 1.59 1.51 2/107 25711
/proc/meminfo: memFree=854628/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=976520 CPUtime=162.24
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 449187 0 0 0 16069 155 0 0 25 0 1 0 23357248 999956480 241707 1992294400 134512640 137138936 4289046080 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 244130 241707 191 642 0 243486 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 976520

[startup+222.301 s]
/proc/loadavg: 1.11 1.49 1.48 2/107 25713
/proc/meminfo: memFree=768076/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1059704 CPUtime=222.22
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487521 0 0 0 22053 169 0 0 25 0 1 0 23357248 1085136896 262485 1992294400 134512640 137138936 4289046080 18446744073709551615 134600117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264926 262485 191 642 0 264282 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1059704

[startup+282.301 s]
/proc/loadavg: 1.15 1.43 1.46 2/107 25715
/proc/meminfo: memFree=768076/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1059704 CPUtime=282.21
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487521 0 0 0 28047 174 0 0 25 0 1 0 23357248 1085136896 262485 1992294400 134512640 137138936 4289046080 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264926 262485 191 642 0 264282 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1059704

[startup+342.301 s]
/proc/loadavg: 1.05 1.35 1.43 2/107 25717
/proc/meminfo: memFree=768200/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1058980 CPUtime=342.2
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487521 0 0 0 34042 178 0 0 25 0 1 0 23357248 1084395520 262322 1992294400 134512640 137138936 4289046080 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264745 262322 191 642 0 264101 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1058980

[startup+402.301 s]
/proc/loadavg: 1.02 1.28 1.40 2/107 25719
/proc/meminfo: memFree=768076/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1058980 CPUtime=402.18
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487521 0 0 0 40037 181 0 0 25 0 1 0 23357248 1084395520 262322 1992294400 134512640 137138936 4289046080 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264745 262322 191 642 0 264101 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1058980

[startup+462.301 s]
/proc/loadavg: 1.00 1.23 1.37 2/107 25719
/proc/meminfo: memFree=767952/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1058980 CPUtime=462.15
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487522 0 0 0 46030 185 0 0 25 0 1 0 23357248 1084395520 262323 1992294400 134512640 137138936 4289046080 18446744073709551615 134572994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264745 262323 191 642 0 264101 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1058980

[startup+522.301 s]
/proc/loadavg: 1.04 1.20 1.35 2/107 25724
/proc/meminfo: memFree=767332/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1058980 CPUtime=522.13
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487522 0 0 0 52023 190 0 0 25 0 1 0 23357248 1084395520 262323 1992294400 134512640 137138936 4289046080 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264745 262323 191 642 0 264101 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1058980

[startup+582.301 s]
/proc/loadavg: 1.01 1.16 1.33 2/107 25726
/proc/meminfo: memFree=771424/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054852 CPUtime=582.12
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487522 0 0 0 58018 194 0 0 25 0 1 0 23357248 1080168448 261291 1992294400 134512640 137138936 4289046080 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263713 261291 191 642 0 263069 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1054852

[startup+642.301 s]
/proc/loadavg: 1.00 1.13 1.30 2/107 25728
/proc/meminfo: memFree=771424/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054852 CPUtime=642.11
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 487522 0 0 0 64011 200 0 0 25 0 1 0 23357248 1080168448 261291 1992294400 134512640 137138936 4289046080 18446744073709551615 134618171 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263713 261291 191 642 0 263069 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1054852

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=771424/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054976 CPUtime=1121.97
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 492032 0 0 0 111962 235 0 0 25 0 1 0 23357248 1080295424 261322 1992294400 134512640 137138936 4289046080 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263744 261322 191 642 0 263100 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1054976

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/107 25742
/proc/meminfo: memFree=771424/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054976 CPUtime=1181.95
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 492032 0 0 0 117957 238 0 0 25 0 1 0 23357248 1080295424 261322 1992294400 134512640 137138936 4289046080 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263744 261322 191 642 0 263100 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1054976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 25744
/proc/meminfo: memFree=771300/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054976 CPUtime=1241.93
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 492032 0 0 0 123951 242 0 0 25 0 1 0 23357248 1080295424 261322 1992294400 134512640 137138936 4289046080 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263744 261322 191 642 0 263100 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1054976

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 25746
/proc/meminfo: memFree=771176/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054976 CPUtime=1301.92
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 492032 0 0 0 129947 245 0 0 25 0 1 0 23357248 1080295424 261322 1992294400 134512640 137138936 4289046080 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263744 261322 191 642 0 263100 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1054976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 25746
/proc/meminfo: memFree=771176/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054976 CPUtime=1361.9
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 492032 0 0 0 135942 248 0 0 25 0 1 0 23357248 1080295424 261322 1992294400 134512640 137138936 4289046080 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263744 261322 191 642 0 263100 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1054976

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 25748
/proc/meminfo: memFree=771176/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054976 CPUtime=1421.89
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 492032 0 0 0 141938 251 0 0 25 0 1 0 23357248 1080295424 261322 1992294400 134512640 137138936 4289046080 18446744073709551615 134578205 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263744 261322 191 642 0 263100 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1054976

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 25750
/proc/meminfo: memFree=771176/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1054976 CPUtime=1481.86
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 492032 0 0 0 147934 252 0 0 25 0 1 0 23357248 1080295424 261322 1992294400 134512640 137138936 4289046080 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 263744 261322 191 642 0 263100 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1054976

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 25752
/proc/meminfo: memFree=768448/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1058284 CPUtime=1541.84
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 493262 0 0 0 153927 257 0 0 25 0 1 0 23357248 1083682816 262130 1992294400 134512640 137138936 4289046080 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264571 262130 191 642 0 263927 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1058284

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 25754
/proc/meminfo: memFree=768324/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1058284 CPUtime=1601.83
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 493262 0 0 0 159924 259 0 0 25 0 1 0 23357248 1083682816 262130 1992294400 134512640 137138936 4289046080 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264571 262130 191 642 0 263927 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1058284

[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 1.08 2/107 25754
/proc/meminfo: memFree=768324/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1058284 CPUtime=1661.81
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 493262 0 0 0 165919 262 0 0 25 0 1 0 23357248 1083682816 262130 1992294400 134512640 137138936 4289046080 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 264571 262130 191 642 0 263927 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1058284

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.07 2/107 25756
/proc/meminfo: memFree=764232/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063420 CPUtime=1721.8
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 495880 0 0 0 171916 264 0 0 25 0 1 0 23357248 1088942080 263433 1992294400 134512640 137138936 4289046080 18446744073709551615 134542511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265855 263433 191 642 0 265211 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1063420

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063864 CPUtime=1781.78
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 496008 0 0 0 177912 266 0 0 25 0 1 0 23357248 1089396736 263526 1992294400 134512640 137138936 4289046080 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265966 263526 191 642 0 265322 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1063864

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063864 CPUtime=1791.38
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 496008 0 0 0 178872 266 0 0 25 0 1 0 23357248 1089396736 263526 1992294400 134512640 137138936 4289046080 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265966 263526 191 642 0 265322 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 1063864

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063864 CPUtime=1794.58
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 496008 0 0 0 179192 266 0 0 25 0 1 0 23357248 1089396736 263526 1992294400 134512640 137138936 4289046080 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265966 263526 191 642 0 265322 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 1063864

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063864 CPUtime=1796.17
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 496008 0 0 0 179351 266 0 0 25 0 1 0 23357248 1089396736 263526 1992294400 134512640 137138936 4289046080 18446744073709551615 134575835 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265966 263526 191 642 0 265322 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 1063864

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063864 CPUtime=1796.97
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 496008 0 0 0 179431 266 0 0 25 0 1 0 23357248 1089396736 263526 1992294400 134512640 137138936 4289046080 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265966 263526 191 642 0 265322 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 1063864

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063864 CPUtime=1797.77
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 496008 0 0 0 179511 266 0 0 25 0 1 0 23357248 1089396736 263526 1992294400 134512640 137138936 4289046080 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265966 263526 191 642 0 265322 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 1063864

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=1063864 CPUtime=1797.98
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202496 496008 0 0 0 179532 266 0 0 25 0 1 0 23357248 1089396736 263526 1992294400 134512640 137138936 4289046080 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25706/statm: 265966 263526 191 642 0 265322 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1063864

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 25758
/proc/meminfo: memFree=762496/2059040 swapFree=4140260/4192956
[pid=25706] ppid=25704 vsize=0 CPUtime=1798.08
/proc/25706/stat : 25706 (bsolo_pb10) R 25704 25706 24866 0 -1 4202500 496009 0 0 0 179534 274 0 0 25 0 1 0 23357248 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/25706/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.11
CPU user time (s): 1795.34
CPU system time (s): 2.76958
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1064632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.34
system time used= 2.76958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 496009
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= 1
involuntary context switches= 9216

runsolver used 3.01254 second user time and 8.44472 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-14 03:05:57
IDJOB=2657501
IDBENCH=2220
IDSOLVER=1163
FILE ID=node013/2657501-1276477557
PBS_JOBID= 11173367
Free space on /tmp= 62464 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657501-1276477557/watcher-2657501-1276477557 -o /tmp/evaluation-result-2657501-1276477557/solver-2657501-1276477557 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657501-1276477557.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= dae2a99f19ab3cbb5b0fd1a29cad1e80
RANDOM SEED=1439577442

node013.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1820628 kB
Buffers:         67892 kB
Cached:          92288 kB
SwapCached:       5764 kB
Active:          93620 kB
Inactive:        79664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1820628 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            4580 kB
Writeback:           0 kB
AnonPages:       11720 kB
Mapped:          12820 kB
Slab:            43364 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62460 MiB
End job on node013 at 2010-06-14 03:35:56