Trace number 2655997

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
wbo 1.4bWrong Opt.725 182.283 182.349

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 wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655997-1276477433.opb.
0.00/0.00	c Instance file HOME/instance-2655997-1276477433.opb
0.00/0.00	c File size is 603215 bytes.
0.09/0.10	c Highest Coefficient sum: 28
0.09/0.10	c ============================[ Problem Statistics ]=============================
0.09/0.10	c |                                                                             |
0.09/0.10	c |  Parsing time:          0.10         s                                      |
0.09/0.10	c |  Number Variables:      10989                                               |
0.09/0.10	c |  Number Clauses:        10470                                               |
0.09/0.10	c |  Number Cardinality:    2002                                                |
0.09/0.10	c |  Number PB Constraints: 0                                                   |
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |   10988    12472    46387 |     5000        0    nan |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 6906
0.39/0.41	o 6906
0.39/0.41	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 179.605 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |   10988    12473    57376 |     5000        0    nan |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: 6866
0.59/0.63	o 6866
0.59/0.63	c Elapsed CPU time: 0.619905 s	Remaining CPU time: 179.38 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |         0 |   10988    12474    68365 |     5000        0    nan |  0.000 % |
0.69/0.79	c |       100 |   10988    12474    68365 |     5500      100   3182 |  0.009 % |
0.99/1.02	c ===============================================================================
0.99/1.02	c New solution: 6758
0.99/1.02	o 6758
0.99/1.02	c Elapsed CPU time: 1.00985 s	Remaining CPU time: 178.99 s
0.99/1.02	c ===============================================================================
0.99/1.02	c |       100 |   10988    12475    79354 |     5000      100   3182 |  0.009 % |
1.10/1.16	c |       200 |   10988    12475    79354 |     5500      200   3185 |  0.009 % |
1.29/1.35	c |       351 |   10988    12475    79354 |     6050      351   3167 |  0.009 % |
1.59/1.66	c |       577 |   10988    12475    79354 |     6655      577   3163 |  0.009 % |
2.10/2.10	c |       915 |   10988    12475    79354 |     7320      915   3157 |  0.009 % |
2.69/2.72	c |      1421 |   10988    12475    79354 |     8052     1421   3151 |  0.009 % |
3.59/3.65	c |      2181 |   10988    12475    79354 |     8857     2181   3150 |  0.009 % |
4.89/4.97	c |      3321 |   10988    12475    79354 |     9743     3321   3159 |  0.009 % |
7.29/7.33	c |      5030 |   10988    12475    79354 |    10717     5030   3168 |  0.009 % |
10.58/10.62	c |      7592 |   10988    12475    79354 |    11789     7592   3173 |  0.009 % |
15.78/15.87	c |     11436 |   10988    12475    79354 |    12968    11436   3169 |  0.009 % |
23.18/23.21	c |     17202 |   10988    12475    79354 |    14265    17202   3175 |  0.009 % |
35.97/36.03	c |     25851 |   10988    12475    79354 |    15692    17250   3173 |  0.009 % |
53.87/53.97	c |     38825 |   10988    12475    79354 |    17261    21599   3174 |  0.009 % |
89.36/89.45	c |     58286 |   10988    12475    79354 |    18987    13086   3187 |  0.009 % |
149.84/149.99	c |     87479 |   10988    12475    79354 |    20886    23463   3238 |  0.009 % |
150.33/150.47	c ===============================================================================
150.33/150.47	c New solution: 6723
150.33/150.47	o 6723
150.33/150.47	c Elapsed CPU time: 149.007 s	Remaining CPU time: 30.9927 s
150.33/150.47	c ===============================================================================
150.33/150.47	c |     87479 |   10988    12476    90343 |     5000    10772   3238 |  0.009 % |
150.55/150.70	c |     87580 |   10988    12476    90343 |     5500     2794   3237 |  0.009 % |
150.84/150.94	c ===============================================================================
150.84/150.94	c New solution: 6710
150.84/150.94	o 6710
150.84/150.94	c Elapsed CPU time: 149.462 s	Remaining CPU time: 30.5377 s
150.84/150.94	c ===============================================================================
150.84/150.94	c |     87580 |   10988    12477   101332 |     5000     2794   3237 |  0.009 % |
151.03/151.10	c |     87681 |   10988    12477   101332 |     5500     2895   3234 |  0.009 % |
151.24/151.31	c |     87831 |   10988    12477   101332 |     6050     3045   3230 |  0.009 % |
151.53/151.64	c |     88056 |   10988    12477   101332 |     6655     3270   3224 |  0.009 % |
151.94/152.08	c |     88393 |   10988    12477   101332 |     7320     3607   3212 |  0.009 % |
152.64/152.78	c |     88900 |   10988    12477   101332 |     8052     4114   3200 |  0.009 % |
153.63/153.77	c |     89660 |   10988    12477   101332 |     8857     4874   3188 |  0.009 % |
155.04/155.18	c |     90799 |   10988    12477   101332 |     9743     6013   3179 |  0.009 % |
157.33/157.41	c |     92507 |   10988    12477   101332 |    10717     7721   3170 |  0.009 % |
160.54/160.61	c |     95069 |   10988    12477   101332 |    11789    10283   3172 |  0.009 % |
166.04/166.13	c |     98913 |   10988    12477   101332 |    12968    14127   3164 |  0.009 % |
173.53/173.62	c |    104680 |   10988    12477   101332 |    14265    12831   3157 |  0.009 % |
181.73/181.86	c There are 1 assigned variables. 1 in cost function.
182.13/182.21	c core #1
182.13/182.21	c #cores: 1
182.13/182.21	c Final Weight: 6710
182.13/182.21	o 6710
182.13/182.21	s OPTIMUM FOUND
182.13/182.21	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
182.13/182.21	c Total CPU time: 180.361 s

Verifier Data 

OK	725

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655997-1276477433/watcher-2655997-1276477433 -o /tmp/evaluation-result-2655997-1276477433/solver-2655997-1276477433 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655997-1276477433.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: 1.07 1.03 1.01 3/106 28408
/proc/meminfo: memFree=1813124/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=4040 CPUtime=0
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 464 0 0 0 0 0 0 0 17 0 1 0 21399604 4136960 383 1992294400 134512640 135751879 4286920496 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 1010 383 140 303 0 557 0

[startup+0.0762509 s]
/proc/loadavg: 1.07 1.03 1.01 3/106 28408
/proc/meminfo: memFree=1813124/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=5888 CPUtime=0.07
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 1023 0 0 0 7 0 0 0 17 0 1 0 21399604 6029312 942 1992294400 134512640 135751879 4286920496 18446744073709551615 134559633 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 1472 942 242 303 0 1019 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5888

[startup+0.101254 s]
/proc/loadavg: 1.07 1.03 1.01 3/106 28408
/proc/meminfo: memFree=1813124/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=6280 CPUtime=0.09
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 1169 0 0 0 9 0 0 0 17 0 1 0 21399604 6430720 1088 1992294400 134512640 135751879 4286920496 18446744073709551615 135204276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 1570 1088 273 303 0 1117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6280

[startup+0.301291 s]
/proc/loadavg: 1.07 1.03 1.01 3/106 28408
/proc/meminfo: memFree=1813124/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=8344 CPUtime=0.29
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 1829 0 0 0 28 1 0 0 17 0 1 0 21399604 8544256 1600 1992294400 134512640 135751879 4286920496 18446744073709551615 134639001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 2086 1600 146 303 0 1781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8344

[startup+0.701367 s]
/proc/loadavg: 1.07 1.03 1.01 3/106 28408
/proc/meminfo: memFree=1813124/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=8344 CPUtime=0.69
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 1829 0 0 0 68 1 0 0 17 0 1 0 21399604 8544256 1600 1992294400 134512640 135751879 4286920496 18446744073709551615 134606599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 2086 1600 146 303 0 1781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8344

[startup+1.50152 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 28409
/proc/meminfo: memFree=1807164/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=12940 CPUtime=1.49
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 2990 0 0 0 147 2 0 0 18 0 1 0 21399604 13250560 2761 1992294400 134512640 135751879 4286920496 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 3235 2761 147 303 0 2930 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12940

[startup+3.10081 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 28409
/proc/meminfo: memFree=1796748/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=28564 CPUtime=3.09
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 6908 0 0 0 305 4 0 0 21 0 1 0 21399604 29249536 6679 1992294400 134512640 135751879 4286920496 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 7141 6679 147 303 0 6836 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28564

[startup+6.30141 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 28409
/proc/meminfo: memFree=1762276/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=61112 CPUtime=6.29
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 15030 0 0 0 621 8 0 0 25 0 1 0 21399604 62578688 14801 1992294400 134512640 135751879 4286920496 18446744073709551615 134607160 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 15278 14801 147 303 0 14973 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61112

[startup+12.7006 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 28409
/proc/meminfo: memFree=1699284/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=121612 CPUtime=12.69
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 30157 0 0 0 1252 17 0 0 25 0 1 0 21399604 124530688 29928 1992294400 134512640 135751879 4286920496 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 30403 29928 147 303 0 30098 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121612

[startup+25.501 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 28409
/proc/meminfo: memFree=1572680/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=244804 CPUtime=25.48
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 60970 0 0 0 2515 33 0 0 25 0 1 0 21399604 250679296 60741 1992294400 134512640 135751879 4286920496 18446744073709551615 134607648 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 61201 60741 148 303 0 60896 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 244804

[startup+51.1008 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 28411
/proc/meminfo: memFree=1348488/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=470800 CPUtime=51.07
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 117454 0 0 0 5044 63 0 0 25 0 1 0 21399604 482099200 117225 1992294400 134512640 135751879 4286920496 18446744073709551615 134606465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 117700 117226 148 303 0 117395 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 470800

[startup+102.308 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 28411
/proc/meminfo: memFree=993724/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=820532 CPUtime=102.26
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 204858 0 0 0 10120 106 0 0 25 0 1 0 21399604 840224768 204629 1992294400 134512640 135751879 4286920496 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 205133 204629 148 303 0 204828 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 820532

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28413
/proc/meminfo: memFree=597544/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=1220944 CPUtime=162.23
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 304981 0 0 0 16067 156 0 0 25 0 1 0 21399604 1250246656 304752 1992294400 134512640 135751879 4286920496 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 305236 304752 148 303 0 304931 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1220944

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

[startup+166.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28413
/proc/meminfo: memFree=560468/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=1254404 CPUtime=166.23
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 313350 0 0 0 16463 160 0 0 25 0 1 0 21399604 1284509696 313121 1992294400 134512640 135751879 4286920496 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 313601 313121 148 303 0 313296 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 1254404

[startup+172.708 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28413
/proc/meminfo: memFree=496856/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=1316580 CPUtime=172.64
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 328873 0 0 0 17096 168 0 0 25 0 1 0 21399604 1348177920 328644 1992294400 134512640 135751879 4286920496 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 329145 328645 148 303 0 328840 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 1316580

[startup+179.102 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28413
/proc/meminfo: memFree=447008/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=1374740 CPUtime=179.03
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 343405 0 0 0 17727 176 0 0 25 0 1 0 21399604 1407733760 343176 1992294400 134512640 135751879 4286920496 18446744073709551615 135420558 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 343685 343176 148 303 0 343380 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 1374740

[startup+180.701 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28415
/proc/meminfo: memFree=427664/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=1388000 CPUtime=180.62
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 346724 0 0 0 17885 177 0 0 25 0 1 0 21399604 1421312000 346495 1992294400 134512640 135751879 4286920496 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 347000 346495 148 303 0 346695 0
Current children cumulated CPU time (s) 180.62
Current children cumulated vsize (KiB) 1388000

[startup+181.508 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28415
/proc/meminfo: memFree=417744/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=1395304 CPUtime=181.43
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 348571 0 0 0 17965 178 0 0 25 0 1 0 21399604 1428791296 348342 1992294400 134512640 135751879 4286920496 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 348826 348342 148 303 0 348521 0
Current children cumulated CPU time (s) 181.43
Current children cumulated vsize (KiB) 1395304

[startup+181.901 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28415
/proc/meminfo: memFree=417744/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=1400108 CPUtime=181.83
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202496 349732 0 0 0 18004 179 0 0 25 0 1 0 21399604 1433710592 349503 1992294400 134512640 135751879 4286920496 18446744073709551615 134639009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28408/statm: 350027 349503 148 303 0 349722 0
Current children cumulated CPU time (s) 181.83
Current children cumulated vsize (KiB) 1400108

[startup+182.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28415
/proc/meminfo: memFree=417744/2059040 swapFree=4142408/4192956
[pid=28408] ppid=28406 vsize=0 CPUtime=182.23
/proc/28408/stat : 28408 (wbo1.4b) R 28406 28408 28281 0 -1 4202500 350104 0 0 0 18036 187 0 0 25 0 1 0 21399604 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28408/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.349
CPU time (s): 182.283
CPU user time (s): 180.361
CPU system time (s): 1.92271
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1401464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.361
system time used= 1.92271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350104
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= 3
involuntary context switches= 2441

runsolver used 0.361944 second user time and 0.807877 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-14 03:03:53
IDJOB=2655997
IDBENCH=2220
IDSOLVER=1161
FILE ID=node019/2655997-1276477433
PBS_JOBID= 11173378
Free space on /tmp= 62356 MiB

SOLVER NAME= wbo 1.4b
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= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655997-1276477433/watcher-2655997-1276477433 -o /tmp/evaluation-result-2655997-1276477433/solver-2655997-1276477433 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655997-1276477433.opb

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

MD5SUM BENCH= dae2a99f19ab3cbb5b0fd1a29cad1e80
RANDOM SEED=1474612482

node019.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.264
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.52
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.264
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:       1813528 kB
Buffers:         59884 kB
Cached:          95020 kB
SwapCached:       4636 kB
Active:          97688 kB
Inactive:        70524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1813528 kB
SwapTotal:     4192956 kB
SwapFree:      4142408 kB
Dirty:            3248 kB
Writeback:          28 kB
AnonPages:       11568 kB
Mapped:          13636 kB
Slab:            55488 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182472 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= 62352 MiB
End job on node019 at 2010-06-14 03:06:55