Trace number 4113670

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisatp 2012-10-02 git-d91742bSAT 593.184 593.313

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_22.opb
MD5SUM3dca049f681eb90ab964de60b18deb2d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark37.7213
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7482
Total number of constraints36641
Number of constraints which are clauses36636
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint86
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 108
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
2.39/2.42	c Converting 36638 PB-constraints to clauses...
2.39/2.44	c   -- Unit propagations: pp
2.39/2.44	c   -- Detecting intervals from adjacent constraints: #
2.39/2.44	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.49/2.52	c ---[36636]---> Adder-cost: 162   maxlim: 64   bits: 7/7
2.49/2.52	c ---[   0]---> Adder-cost: 162   maxlim: 73   bits: 7/7
593.16/593.31	|  Eliminated clauses:           0.00 Mb                                      |
593.16/593.31	============================[ Search Statistics ]==============================
593.16/593.31	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
593.16/593.31	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
593.16/593.31	===============================================================================
593.16/593.31	|       100 |    7781    37967   538457 |    13921      100      9 |  0.333 % |
593.16/593.31	|       250 |    7781    37967   538457 |    15313      250     12 |  0.333 % |
593.16/593.31	|       475 |    7781    37967   538457 |    16844      475     89 |  0.333 % |
593.16/593.31	|       812 |    7781    37967   538457 |    18529      812    143 |  0.333 % |
593.16/593.31	|      1318 |    7781    37967   538457 |    20382     1318    291 |  0.333 % |
593.16/593.31	|      2077 |    7781    37967   538457 |    22420     2077    315 |  0.333 % |
593.16/593.31	|      3216 |    7781    37967   538457 |    24662     3216    277 |  0.333 % |
593.16/593.31	|      4924 |    7781    37967   538457 |    27128     4924    306 |  0.333 % |
593.16/593.31	|      7486 |    7781    37967   538457 |    29841     7486    347 |  0.333 % |
593.16/593.31	|     11330 |    7781    37967   538457 |    32825    11330    379 |  0.333 % |
593.16/593.31	|     17096 |    7781    37967   538457 |    36108    17096    373 |  0.333 % |
593.16/593.31	|     25745 |    7781    37967   538457 |    39718    25745    346 |  0.333 % |
593.16/593.31	|     38719 |    7781    37967   538457 |    43690    38719    357 |  0.333 % |
593.16/593.31	|     58180 |    7781    37967   538457 |    48059    26344    351 |  0.333 % |
593.16/593.31	|     87372 |    7781    37967   538457 |    52865    21214    334 |  0.333 % |
593.16/593.31	|    131161 |    7781    37967   538457 |    58152    24126    325 |  0.333 % |
593.16/593.31	|    196845 |    7781    37967   538457 |    63967    45040    349 |  0.333 % |
593.16/593.31	|    295371 |    7781    37967   538457 |    70364    40817    382 |  0.333 % |
593.16/593.31	|    443160 |    7781    37967   538457 |    77400    15830    289 |  0.333 % |
593.16/593.31	|    664843 |    7781    37967   538457 |    85140    48941    337 |  0.333 % |
593.16/593.31	|    997368 |    7781    37967   538457 |    93655    23150    337 |  0.333 % |
593.16/593.31	===============================================================================
593.16/593.31	c SATISFIABLE: No goal function specified.
593.16/593.31	s SATISFIABLE
593.16/593.31	v x1 x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 x45 -x46 x47 x48 x49 -x50 x51 x52 -x53 -x54 x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x173 -x258 -x343 -x428 -x513 -x598 -x683 -x768 -x853 -x938 -x1023 -x1108 -x1193 -x1278 -x1363 -x1448 -x1533 -x1618 -x1703 -x1788 -x1873 -x1958 -x2043 -x2128 -x2213 -x2298 -x2383 -x2468 -x2553 -x2638 -x2723 -x2808 -x2893 -x2978 -x3063 -x3148 -x3233 -x3318 -x3403 -x3488 -x3573 -x3658 -x3743 -x3828 -x3913 -x3998 -x4083 x4168 -x4253 -x4338 -x4423 -x4508 -x4593 -x4678 -x4763 -x4848 -x4933 -x5018 -x5103 -x5188 -x5273 -x5358 -x5443 -x5528 -x174 -x259 -x344 -x429 -x514 -x599 -x684 -x769 -x854 -x939 -x1024 -x1109 -x1194 x1279 -x1364 -x1449 -x1534 -x1619 -x1704 -x1789 -x1874 -x1959 -x2044 -x2129 -x2214 -x2299 -x2384 -x2469 -x2554 -x2639 -x2724 -x2809 -x2894 -x2979 -x3064 -x3149 -x3234 -x3319 -x3404 -x3489 -x3574 -x3659 -x3744 -x3829 -x3914 -x3999 -x4084 -x4169 -x4254 -x4339 -x4424 -x4509 -x4594 -x4679 x4764 -x4849 -x4934 -x5019 -x5104 -x5189 -x5274 -x5359 -x5444 -x5529 -x175 -x260 -x345 -x430 -x515 -x600 -x685 -x770 -x855 -x940 -x1025 -x1110 -x1195 -x1280 -x1365 -x1450 x1535 -x1620 -x1705 -x1790 -x1875 -x1960 -x2045 -x2130 -x2215 -x2300 -x2385 -x2470 -x2555 -x2640 -x2725 -x2810 -x2895 -x2980 -x3065 -x3150 -x3235 -x3320 -x3405 -x3490 -x3575 -x3660 -x3745 -x3830 x3915 -x4000 -x4085 -x4170 -x4255 -x4340 -x4425 -x4510 -x4595 -x4680 -x4765 -x4850 -x4935 -x5020 -x5105 -x5190 -x5275 -x5360 -x5445 -x5530 -x176 -x261 -x346 -x431 -x516 -x601 -x686 -x771 -x856 -x941 -x1026 -x1111 -x1196 -x1281 -x1366 x1451 -x1536 -x1621 -x1706 -x1791 -x1876 -x1961 -x2046 -x2131 -x2216 -x2301 -x2386 -x2471 -x2556 -x2641 -x2726 -x2811 -x2896 -x2981 -x3066 -x3151 -x3236 -x3321 -x3406 -x3491 -x3576 -x3661 -x3746 -x3831 -x3916 -x4001 -x4086 x4171 -x4256 -x4341 -x4426 -x4511 -x4596 -x4681 -x4766 -x4851 -x4936 -x5021 -x5106 -x5191 -x5276 -x5361 -x5446 -x5531 -x177 x262 -x347 -x432 -x517 -x602 -x687 -x772 -x857 -x942 -x1027 -x1112 -x1197 -x1282 -x1367 -x1452 -x1537 -x1622 -x1707 -x1792 -x1877 -x1962 -x2047 -x2132 -x2217 -x2302 -x2387 -x2472 -x2557 -x2642 -x2727 -x2812 -x2897 -x2982 -x3067 -x3152 -x3237 -x3322 -x3407 -x3492 -x3577 -x3662 -x3747 -x3832 -x3917 -x4002 -x4087 -x4172 -x4257 -x4342 -x4427 x4512 -x4597 -x4682 -x4767 -x4852 -x4937 -x5022 -x5107 -x5192 -x5277 -x5362 -x5447 -x5532 -x178 -x263 -x348 -x433 -x518 -x603 -x688 -x773 -x858 -x943 -x1028 -x1113 -x1198 -x1283 -x1368 -x1453 -x1538 -x1623 -x1708 -x1793 -x1878 -x1963 -x2048 -x2133 -x2218 -x2303 -x2388 -x2473 -x2558 -x2643 -x2728 -x2813 -x2898 -x2983 -x3068 -x3153 -x3238 -x3323 -x3408 -x3493 -x3578 -x3663 -x3748 -x3833 -x3918 -x4003 -x4088 -x4173 -x4258 -x4343 x4428 -x4513 -x4598 -x4683 -x4768 -x4853 -x4938 -x5023 -x5108 -x5193 -x5278 -x5363 -x5448 -x5533 -x179 -x264 -x349 -x434 -x519 -x604 x689 -x774 -x859 -x944 -x1029 -x1114 -x1199 -x1284 -x1369 -x1454 -x1539 -x1624 -x1709 -x1794 -x1879 -x1964 -x2049 -x2134 -x2219 -x2304 -x2389 -x2474 -x2559 -x2644 -x2729 -x2814 -x2899 -x2984 -x3069 -x3154 -x3239 -x3324 -x3409 -x3494 -x3579 -x3664 -x3749 -x3834 -x3919 -x4004 -x4089 -x4174 -x4259 -x4344 x4429 -x4514 -x4599 -x4684 -x4769 -x4854 -x4939 -x5024 -x5109 -x5194 -x5279 -x5364 -x5449 -x5534 -x180 -x265 -x350 -x435 -x520 -x605 -x690 -x775 -x860 -x945 -x1030 -x1115 -x1200 -x1285 -x1370 -x1455 -x1540 -x1625 -x1710 x1795 -x1880 -x1965 -x2050 -x2135 -x2220 -x2305 -x2390 -x2475 -x2560 -x2645 -x2730 -x2815 -x2900 -x2985 -x3070 -x3155 -x3240 -x3325 -x3410 -x3495 -x3580 -x3665 -x3750 -x3835 -x3920 -x4005 -x4090 -x4175 x4260 -x4345 -x4430 -x4515 -x4600 -x4685 -x4770 -x4855 -x4940 -x5025 -x5110 -x5195 -x5280 -x5365 -x5450 -x5535 -x181 -x266 -x351 -x436 -x521 -x606 -x691 -x776 -x861 -x946 -x1031 -x1116 -x1201 -x1286 -x1371 -x1456 -x1541 -x1626 -x1711 x1796 -x1881 -x1966 -x2051 -x2136 -x2221 -x2306 -x2391 -x2476 -x2561 -x2646 -x2731 -x2816 -x2901 -x2986 -x3071 -x3156 -x3241 -x3326 -x3411 -x3496 -x3581 -x3666 -x3751 -x3836 -x3921 -x4006 -x4091 -x4176 x4261 -x4346 -x4431 -x4516 -x4601 -x4686 -x4771 -x4856 -x4941 -x5026 -x5111 -x5196 -x5281 -x5366 -x5451 -x5536 -x182 -x267 -x352 -x437 -x522 -x607 -x692 -x777 -x862 -x947 -x1032 -x1117 -x1202 -x1287 -x1372 -x1457 -x1542 -x1627 -x1712 -x1797 -x1882 -x1967 -x2052 -x2137 -x2222 -x2307 -x2392 -x2477 -x2562 -x2647 -x2732 -x2817 -x2902 -x2987 -x3072 -x3157 -x3242 -x3327 -x3412 -x3497 -x3582 -x3667 -x3752 -x3837 -x3922 -x4007 x4092 -x4177 -x4262 -x4347 -x4432 -x4517 -x4602 -x4687 -x4772 -x4857 -x4942 -x5027 -x5112 -x5197 -x5282 -x5367 -x5452 -x5537 -x183 -x268 -x353 -x438 -x523 -x608 -x693 -x778 -x863 -x948 -x1033 -x1118 -x1203 -x1288 -x1373 -x1458 -x1543 -x1628 -x1713 -x1798 -x1883 -x1968 -x2053 -x2138 -x2223 -x2308 -x2393 -x2478 -x2563 -x2648 -x2733 -x2818 -x2903 -x2988 -x3073 -x3158 -x3243 -x3328 -x3413 -x3498 -x3583 -x3668 -x3753 -x3838 -x3923 -x4008 x4093 -x4178 -x4263 -x4348 -x4433 -x4518 -x4603 -x4688 -x4773 -x4858 -x4943 -x5028 -x5113 -x5198 -x5283 -x5368 -x5453 -x5538 -x184 -x269 -x354 -x439 -x524 -x609 -x694 -x779 -x864 -x949 -x1034 -x1119 -x1204 -x1289 -x1374 -x1459 -x1544 -x1629 -x1714 -x1799 -x1884 -x1969 -x2054 -x2139 -x2224 -x2309 -x2394 -x2479 -x2564 -x2649 -x2734 -x2819 -x2904 -x2989 -x3074 -x3159 -x3244 -x3329 -x3414 -x3499 -x3584 -x3669 -x3754 -x3839 x3924 -x4009 -x4094 -x4179 -x4264 -x4349 -x4434 -x4519 -x4604 -x4689 -x4774 -x4859 -x4944 -x5029 -x5114 -x5199 -x5284 -x5369 -x5454 -x5539 -x185 -x270 -x355 -x440 -x525 -x610 x695 -x780 -x865 -x950 -x1035 -x1120 -x1205 -x1290 -x1375 -x1460 -x1545 -x1630 -x1715 -x1800 -x1885 -x1970 -x2055 -x2140 -x2225 -x2310 -x2395 -x2480 x2565 -x2650 -x2735 -x2820 -x2905 -x2990 -x3075 -x3160 -x3245 -x3330 -x3415 -x3500 -x3585 -x3670 -x3755 -x3840 -x3925 -x4010 -x4095 -x4180 -x4265 -x4350 -x4435 -x4520 -x4605 -x4690 -x4775 -x4860 -x4945 -x5030 -x5115 -x5200 -x5285 -x5370 -x5455 -x5540 -x186 x271 -x356 -x441 -x526 -x611 -x696 -x781 -x866 -x951 -x1036 -x1121 -x1206 -x1291 -x1376 -x1461 -x1546 -x1631 -x1716 -x1801 -x1886 -x1971 -x2056 -x2141 -x2226 -x2311 -x2396 x2481 -x2566 -x2651 -x2736 -x2821 -x2906 -x2991 -x3076 -x3161 -x3246 -x3331 -x3416 -x3501 -x3586 -x3671 -x3756 -x3841 -x3926 -x4011 -x4096 -x4181 -x4266 -x4351 -x4436 -x4521 -x4606 -x4691 -x4776 -x4861 -x4946 -x5031 -x5116 -x5201 -x5286 -x5371 -x5456 -x5541 -x187 x272 -x357 -x442 -x527 -x612 -x697 -x782 -x867 -x952 -x1037 -x1122 -x1207 -x1292 -x1377 -x1462 -x1547 -x1632 -x1717 -x1802 -x1887 -x1972 -x2057 -x2142 -x2227 -x2312 -x2397 -x2482 -x2567 -x2652 -x2737 -x2822 -x2907 -x2992 -x3077 -x3162 -x3247 -x3332 -x3417 -x3502 -x3587 x3672 -x3757 -x3842 -x3927 -x4012 -x4097 -x4182 -x4267 -x4352 -x4437 -x4522 -x4607 -x4692 -x4777 -x4862 -x4947 -x5032 -x5117 -x5202 -x5287 -x5372 -x5457 -x5542 -x188 -x273 -x358 -x443 -x528 -x613 -x698 -x783 -x868 -x953 -x1038 -x1123 -x1208 -x1293 -x1378 -x1463 -x1548 -x1633 -x1718 -x1803 -x1888 -x1973 -x2058 -x2143 -x2228 -x2313 -x2398 -x2483 x2568 -x2653 -x2738 -x2823 -x2908 -x2993 -x3078 -x3163 -x3248 -x3333 -x3418 -x3503 -x3588 -x3673 -x3758 -x3843 -x3928 -x4013 -x4098 -x4183 -x4268 -x4353 -x4438 -x4523 -x4608 -x4693 -x4778 -x4863 -x4948 -x5033 -x5118 -x5203 -x5288 -x5373 -x5458 -x5543 -x189 -x274 -x359 -x444 -x529 -x614 -x699 -x784 -x869 -x954 -x1039 -x1124 -x1209 -x1294 -x1379 -x1464 -x1549 -x1634 -x1719 -x1804 -x1889 -x1974 -x2059 -x2144 -x2229 -x2314 -x2399 x2484 -x2569 -x2654 -x2739 -x2824 -x2909 -x2994 -x3079 -x3164 -x3249 -x3334 -x3419 -x3504 -x3589 -x3674 -x3759 -x3844 -x3929 -x4014 -x4099 -x4184 -x4269 -x4354 -x4439 -x4524 -x4609 -x4694 -x4779 -x4864 -x4949 -x5034 -x5119 -x5204 -x5289 -x5374 -x5459 -x5544 -x190 -x275 -x360 -x445 -x530 -x615 -x700 -x785 -x870 -x955 -x1040 -x1125 -x1210 -x1295 -x1380 -x1465 -x1550 -x1635 -x1720 -x1805 -x1890 -x1975 -x2060 -x2145 -x2230 -x2315 -x2400 -x2485 x2570 -x2655 -x2740 -x2825 -x2910 -x2995 -x3080 -x3165 -x3250 -x3335 -x3420 -x3505 -x3590 -x3675 -x3760 -x3845 -x3930 -x4015 -x4100 -x4185 -x4270 -x4355 -x4440 -x4525 -x4610 -x4695 -x4780 -x4865 -x4950 x5035 -x5120 -x5205 -x5290 -x5375 -x5460 -x5545 x191 -x276 -x361 -x446 -x531 -x616 -x701 -x786 -x871 -x956 -x1041 -x1126 -x1211 -x1296 -x1381 -x1466 -x1551 -x1636 -x1721 -x1806 -x1891 -x1976 -x2061 -x2146 -x2231 -x2316 -x2401 x2486 -x2571 -x2656 -x2741 -x2826 -x2911 -x2996 -x3081 -x3166 -x3251 -x3336 -x3421 -x3506 -x3591 -x3676 -x3761 -x3846 -x3931 -x4016 -x4101 -x4186 -x4271 -x4356 -x4441 -x4526 -x4611 -x4696 -x4781 -x4866 -x4951 -x5036 -x5121 -x5206 -x5291 -x5376 -x5461 -x5546 -x192 -x277 -x362 -x447 -x532 -x617 -x702 -x787 -x872 -x957 -x1042 -x1127 -x1212 -x1297 -x1382 -x1467 -x1552 -x1637 -x1722 -x1807 -x1892 -x1977 -x2062 -x2147 -x2232 -x2317 -x2402 -x2487 x2572 -x2657 -x2742 -x2827 -x2912 -x2997 -x3082 -x3167 -x3252 -x3337 -x3422 -x3507 -x3592 -x3677 -x3762 -x3847 -x3932 -x4017 -x4102 -x4187 -x4272 -x4357 -x4442 -x4527 -x4612 -x4697 -x4782 -x4867 x4952 -x5037 -x5122 -x5207 -x5292 -x5377 -x5462 -x5547 -x193 -x278 -x363 -x448 -x533 -x618 -x703 -x788 -x873 -x958 -x1043 -x1128 -x1213 -x1298 -x1383 -x1468 -x1553 -x1638 -x1723 -x1808 -x1893 -x1978 -x2063 -x2148 -x2233 -x2318 -x2403 x2488 -x2573 -x2658 -x2743 -x2828 -x2913 -x2998 -x3083 -x3168 -x3253 -x3338 -x3423 -x3508 -x3593 -x3678 -x3763 -x3848 -x3933 -x4018 -x4103 -x4188 -x4273 -x4358 -x4443 -x4528 -x4613 -x4698 -x4783 -x4868 -x4953 -x5038 -x5123 -x5208 -x5293 -x5378 -x5463 -x5548 -x194 -x279 -x364 -x449 -x534 -x619 -x704 -x789 -x874 -x959 -x1044 -x1129 -x1214 -x1299 -x1384 -x1469 -x1554 -x1639 -x1724 -x1809 -x1894 -x1979 -x2064 -x2149 -x2234 -x2319 -x2404 -x2489 x2574 -x2659 -x2744 -x2829 -x2914 -x2999 -x3084 -x3169 -x3254 -x3339 -x3424 -x3509 -x3594 -x3679 -x3764 -x3849 -x3934 -x4019 -x4104 -x4189 -x4274 -x4359 -x4444 -x4529 -x4614 -x4699 -x4784 -x4869 -x4954 -x5039 -x5124 -x5209 -x5294 -x5379 -x5464 -x5549 -x195 -x280 -x365 -x450 -x535 -x620 -x705 -x790 -x875 -x960 -x1045 -x1130 -x1215 -x1300 -x1385 -x1470 -x1555 -x1640 -x1725 -x1810 -x1895 -x1980 -x2065 -x2150 -x2235 -x2320 -x2405 -x2490 x2575 -x2660 -x2745 -x2830 -x2915 -x3000 -x3085 -x3170 -x3255 -x3340 -x3425 -x3510 -x3595 -x3680 -x3765 -x3850 -x3935 -x4020 -x4105 -x4190 -x4275 -x4360 -x4445 -x4530 -x4615 -x4700 -x4785 -x4870 -x4955 x5040 -x5125 -x5210 -x5295 -x5380 -x5465 -x5550 -x196 -x281 -x366 -x451 -x536 -x621 -x706 -x791 -x876 -x961 -x1046 -x1131 -x1216 -x1301 -x1386 -x1471 -x1556 -x1641 -x1726 -x1811 -x1896 -x1981 -x2066 -x2151 -x2236 -x2321 -x2406 x2491 -x2576 -x2661 -x2746 -x2831 -x2916 -x3001 -x3086 -x3171 -x3256 -x3341 -x3426 -x3511 -x3596 -x3681 -x3766 -x3851 -x3936 -x4021 -x4106 -x4191 -x4276 -x4361 -x4446 -x4531 -x4616 -x4701 -x4786 -x4871 x4956 -x5041 -x5126 -x5211 -x5296 -x5381 -x5466 -x5551 -x197 -x282 -x367 -x452 -x537 -x622 -x707 -x792 -x877 -x962 -x1047 -x1132 -x1217 -x1302 -x1387 -x1472 x1557 -x1642 -x1727 -x1812 -x1897 -x1982 -x2067 -x2152 -x2237 -x2322 -x2407 -x2492 -x2577 -x2662 -x2747 -x2832 -x2917 -x3002 -x3087 -x3172 -x3257 -x3342 -x3427 -x3512 -x3597 -x3682 -x3767 -x3852 -x3937 -x4022 -x4107 -x4192 -x4277 -x4362 -x4447 -x4532 -x4617 -x4702 -x4787 -x4872 -x4957 -x5042 -x5127 -x5212 -x5297 -x5382 -x5467 -x5552 -x198 -x283 -x368 -x453 -x538 -x623 -x708 -x793 -x878 -x963 -x1048 -x1133 -x1218 -x1303 -x1388 -x1473 -x1558 -x1643 -x1728 -x1813 -x1898 -x1983 -x2068 -x2153 -x2238 -x2323 -x2408 -x2493 x2578 -x2663 -x2748 -x2833 -x2918 -x3003 -x3088 -x3173 -x3258 -x3343 -x3428 -x3513 -x3598 -x3683 -x3768 -x3853 -x3938 -x4023 -x4108 -x4193 -x4278 -x4363 -x4448 -x4533 -x4618 -x4703 -x4788 -x4873 -x4958 -x5043 -x5128 -x5213 -x5298 -x5383 -x5468 -x5553 -x199 x284 -x369 -x454 -x539 -x624 -x709 -x794 -x879 -x964 -x1049 -x1134 -x1219 -x1304 -x1389 -x1474 -x1559 -x1644 -x1729 -x1814 -x1899 -x1984 -x2069 -x2154 -x2239 -x2324 -x2409 x2494 -x2579 -x2664 -x2749 -x2834 -x2919 -x3004 -x3089 -x3174 -x3259 -x3344 -x3429 -x3514 -x3599 -x3684 -x3769 -x3854 -x3939 -x4024 -x4109 -x4194 -x4279 -x4364 -x4449 -x4534 -x4619 -x4704 -x4789 -x4874 -x4959 -x5044 -x5129 -x5214 -x5299 -x5384 -x5469 -x5554 -x200 -x285 -x370 -x455 -x540 -x625 -x710 -x795 -x880 -x965 -x1050 -x1135 -x1220 -x1305 -x1390 -x1475 -x1560 -x1645 -x1730 x1815 -x1900 -x1985 -x2070 -x2155 -x2240 -x2325 -x2410 -x2495 -x2580 -x2665 -x2750 -x2835 -x2920 -x3005 -x3090 -x3175 -x3260 -x3345 -x3430 -x3515 -x3600 -x3685 -x3770 -x3855 -x3940 -x4025 -x4110 x4195 -x4280 -x4365 -x4450 -x4535 -x4620 -x4705 -x4790 -x4875 -x4960 -x5045 -x5130 -x5215 -x5300 -x5385 -x5470 -x5555 -x201 -x286 -x371 -x456 -x541 -x626 -x711 -x796 -x881 -x966 -x1051 -x1136 -x1221 -x1306 -x1391 x1476 -x1561 -x1646 -x1731 -x1816 -x1901 -x1986 -x2071 -x2156 -x2241 -x2326 -x2411 -x2496 -x2581 -x2666 -x2751 -x2836 -x2921 -x3006 -x3091 -x3176 -x3261 -x3346 -x3431 -x3516 -x3601 -x3686 -x3771 -x3856 -x3941 -x4026 -x4111 x4196 -x4281 -x4366 -x4451 -x4536 -x4621 -x4706 -x4791 -x4876 -x4961 -x5046 -x5131 -x5216 -x5301 -x5386 -x5471 -x5556 -x202 -x287 -x372 -x457 -x542 -x627 -x712 -x797 -x882 -x967 -x1052 -x1137 -x1222 -x1307 -x1392 -x1477 x1562 -x1647 -x1732 -x1817 -x1902 -x1987 -x2072 -x2157 -x2242 -x2327 -x2412 -x2497 -x2582 -x2667 -x2752 -x2837 -x2922 -x3007 -x3092 -x3177 -x3262 -x3347 -x3432 -x3517 -x3602 -x3687 -x3772 -x3857 -x3942 -x4027 -x4112 -x4197 -x4282 -x4367 -x4452 -x4537 -x4622 -x4707 -x4792 -x4877 -x4962 x5047 -x5132 -x5217 -x5302 -x5387 -x5472 -x5557 -x203 -x288 -x373 -x458 -x543 -x628 -x713 -x798 -x883 -x968 -x1053 -x1138 -x1223 -x1308 -x1393 x1478 -x1563 -x1648 -x1733 -x1818 -x1903 -x1988 -x2073 -x2158 -x2243 -x2328 -x2413 -x2498 -x2583 -x2668 -x2753 -x2838 -x2923 -x3008 -x3093 -x3178 -x3263 -x3348 -x3433 -x3518 -x3603 -x3688 -x3773 -x3858 -x3943 -x4028 -x4113 -x4198 -x4283 -x4368 -x4453 -x4538 -x4623 -x4708 -x4793 -x4878 x4963 -x5048 -x5133 -x5218 -x5303 -x5388 -x5473 -x5558 -x204 -x289 -x374 -x459 -x544 -x629 -x714 -x799 -x884 -x969 -x1054 -x1139 -x1224 -x1309 -x1394 -x1479 x1564 -x1649 -x1734 -x1819 -x1904 -x1989 -x2074 -x2159 -x2244 -x2329 -x2414 -x2499 -x2584 -x2669 -x2754 -x2839 -x2924 -x3009 -x3094 -x3179 -x3264 -x3349 -x3434 -x3519 -x3604 -x3689 -x3774 -x3859 -x3944 -x4029 -x4114 -x4199 -x4284 -x4369 -x4454 -x4539 -x4624 -x4709 x4794 -x4879 -x4964 -x5049 -x5134 -x5219 -x5304 -x5389 -x5474 -x5559 -x205 -x290 -x375 -x460 -x545 -x630 -x715 -x800 -x885 -x970 -x1055 -x1140 -x1225 -x1310 -x1395 x1480 -x1565 -x1650 -x1735 -x1820 -x1905 -x1990 -x2075 -x2160 -x2245 -x2330 -x2415 -x2500 -x2585 -x2670 -x2755 -x2840 -x2925 -x3010 -x3095 -x3180 -x3265 -x3350 -x3435 -x3520 -x3605 -x3690 -x3775 -x3860 -x3945 -x4030 -x4115 x4200 -x4285 -x4370 -x4455 -x4540 -x4625 -x4710 -x4795 -x4880 -x4965 -x5050 -x5135 -x5220 -x5305 -x5390 -x5475 -x5560 -x206 -x291 -x376 -x461 -x546 -x631 -x716 -x801 -x886 -x971 -x1056 -x1141 -x1226 -x1311 -x1396 -x1481 x1566 -x1651 -x1736 -x1821 -x1906 -x1991 -x2076 -x2161 -x2246 -x2331 -x2416 -x2501 -x2586 -x2671 -x2756 -x2841 -x2926 -x3011 -x3096 -x3181 -x3266 -x3351 -x3436 -x3521 -x3606 -x3691 -x3776 -x3861 -x3946 -x4031 -x4116 -x4201 -x4286 -x4371 -x4456 -x4541 -x4626 -x4711 -x4796 -x4881 -x4966 -x5051 -x5136 -x5221 -x5306 -x5391 -x5476 -x5561 -x207 -x292 -x377 -x462 -x547 -x632 x717 -x802 -x887 -x972 -x1057 -x1142 -x1227 -x1312 -x1397 -x1482 -x1567 -x1652 -x1737 -x1822 -x1907 -x1992 -x2077 -x2162 -x2247 -x2332 -x2417 -x2502 -x2587 -x2672 -x2757 -x2842 -x2927 -x3012 -x3097 -x3182 -x3267 -x3352 -x3437 -x3522 -x3607 -x3692 -x3777 -x3862 -x3947 -x4032 -x4117 -x4202 -x4287 -x4372 -x4457 x4542 -x4627 -x4712 -x4797 -x4882 -x4967 -x5052 -x5137 -x5222 -x5307 -x5392 -x5477 -x5562 -x208 -x293 -x378 -x463 -x548 -x633 -x718 -x803 -x888 -x973 -x1058 -x1143 -x1228 -x1313 -x1398 x1483 -x1568 -x1653 -x1738 -x1823 -x1908 -x1993 -x2078 -x2163 -x2248 -x2333 -x2418 -x2503 -x2588 -x2673 -x2758 -x2843 -x2928 -x3013 -x3098 -x3183 -x3268 -x3353 -x3438 -x3523 -x3608 -x3693 -x3778 -x3863 -x3948 -x4033 -x4118 -x4203 -x4288 -x4373 x4458 -x4543 -x4628 -x4713 -x4798 -x4883 -x4968 -x5053 -x5138 -x5223 -x5308 -x5393 -x5478 -x5563 -x209 -x294 -x379 -x464 -x549 -x634 -x719 -x804 -x889 -x974 -x1059 -x1144 -x1229 -x1314 -x1399 -x1484 -x1569 -x1654 -x1739 x1824 -x1909 -x1994 -x2079 -x2164 -x2249 -x2334 -x2419 -x2504 -x2589 -x2674 -x2759 -x2844 -x2929 -x3014 -x3099 -x3184 -x3269 -x3354 -x3439 -x3524 -x3609 -x3694 -x3779 -x3864 -x3949 -x4034 -x4119 -x4204 -x4289 -x4374 -x4459 -x4544 -x4629 -x4714 -x4799 -x4884 -x4969 -x5054 -x5139 -x5224 -x5309 -x5394 -x5479 -x5564 -x210 -x295 -x380 -x465 -x550 -x635 -x720 -x805 -x890 -x975 -x1060 -x1145 -x1230 -x1315 -x1400 -x1485 -x1570 -x1655 -x1740 -x1825 -x1910 -x1995 -x2080 -x2165 -x2250 -x2335 -x2420 -x2505 -x2590 -x2675 -x2760 -x2845 -x2930 -x3015 -x3100 -x3185 -x3270 -x3355 -x3440 -x3525 -x3610 -x3695 -x3780 -x3865 -x3950 -x4035 -x4120 -x4205 -x4290 -x4375 -x4460 -x4545 -x4630 -x4715 x4800 -x4885 -x4970 -x5055 -x5140 -x5225 -x5310 -x5395 -x5480 -x5565 -x211 -x296 -x381 -x466 -x551 -x636 -x721 -x806 -x891 -x976 -x1061 -x1146 -x1231 -x1316 -x1401 x1486 -x1571 -x1656 -x1741 -x1826 -x1911 -x1996 -x2081 -x2166 -x2251 -x2336 -x2421 -x2506 -x2591 -x2676 -x2761 -x2846 -x2931 -x3016 -x3101 -x3186 -x3271 -x3356 -x3441 -x3526 -x3611 -x3696 -x3781 -x3866 -x3951 -x4036 -x4121 -x4206 -x4291 -x4376 -x4461 -x4546 -x4631 -x4716 -x4801 -x4886 -x4971 -x5056 -x5141 -x5226 -x5311 -x5396 -x5481 -x5566 -x212 -x297 -x382 -x467 -x552 -x637 x722 -x807 -x892 -x977 -x1062 -x1147 -x1232 -x1317 -x1402 -x1487 -x1572 -x1657 -x1742 -x1827 -x1912 -x1997 -x2082 -x2167 -x2252 -x2337 -x2422 -x2507 -x2592 -x2677 -x2762 -x2847 -x2932 -x3017 -x3102 -x3187 -x3272 -x3357 -x3442 -x3527 -x3612 -x3697 -x3782 -x3867 -x3952 -x4037 x4122 -x4207 -x4292 -x4377 -x4462 -x4547 -x4632 -x4717 -x4802 -x4887 -x4972 -x5057 -x5142 -x5227 -x5312 -x5397 -x5482 -x5567 x213 -x298 -x383 -x468 -x553 -x638 -x723 -x808 -x893 -x978 -x1063 -x1148 -x1233 -x1318 -x1403 -x1488 -x1573 -x1658 -x1743 -x1828 -x1913 -x1998 -x2083 -x2168 -x2253 -x2338 -x2423 -x2508 -x2593 -x2678 -x2763 -x2848 -x2933 -x3018 -x3103 -x3188 -x3273 -x3358 -x3443 -x3528 -x3613 -x3698 -x3783 -x3868 -x3953 -x4038 -x4123 -x4208 -x4293 -x4378 -x4463 x4548 -x4633 -x4718 -x4803 -x4888 -x4973 -x5058 -x5143 -x5228 -x5313 -x5398 -x5483 -x5568 -x214 -x299 -x384 -x469 -x554 -x639 x724 -x809 -x894 -x979 -x1064 -x1149 -x1234 -x1319 -x1404 -x1489 -x1574 -x1659 -x1744 -x1829 -x1914 -x1999 -x2084 -x2169 -x2254 -x2339 -x2424 -x2509 -x2594 -x2679 -x2764 -x2849 -x2934 -x3019 -x3104 -x3189 -x3274 -x3359 -x3444 -x3529 -x3614 -x3699 -x3784 -x3869 x3954 -x4039 -x4124 -x4209 -x4294 -x4379 -x4464 -x4549 -x4634 -x4719 -x4804 -x4889 -x4974 -x5059 -x5144 -x5229 -x5314 -x5399 -x5484 -x5569 -x215 -x300 -x385 -x470 -x555 -x640 -x725 -x810 -x895 -x980 -x1065 -x1150 -x1235 x1320 -x1405 -x1490 -x1575 -x1660 -x1745 -x1830 -x1915 -x2000 -x2085 -x2170 -x2255 -x2340 -x2425 -x2510 -x2595 -x2680 -x2765 -x2850 -x2935 -x3020 -x3105 -x3190 -x3275 -x3360 -x3445 -x3530 -x3615 -x3700 -x3785 -x3870 -x3955 -x4040 -x4125 -x4210 -x4295 -x4380 -x4465 -x4550 -x4635 -x4720 -x4805 -x4890 x4975 -x5060 -x5145 -x5230 -x5315 -x5400 -x5485 -x5570 -x216 -x301 -x386 -x471 -x556 -x641 x726 -x811 -x896 -x981 -x1066 -x1151 -x1236 -x1321 -x1406 -x1491 -x1576 -x1661 -x1746 -x1831 -x1916 -x2001 -x2086 -x2171 -x2256 -x2341 -x2426 -x2511 -x2596 -x2681 -x2766 -x2851 -x2936 -x3021 -x3106 -x3191 -x3276 -x3361 -x3446 -x3531 -x3616 -x3701 -x3786 -x3871 -x3956 -x4041 -x4126 -x4211 x4296 -x4381 -x4466 -x4551 -x4636 -x4721 -x4806 -x4891 -x4976 -x5061 -x5146 -x5231 -x5316 -x5401 -x5486 -x5571 -x217 -x302 -x387 -x472 -x557 -x642 x727 -x812 -x897 -x982 -x1067 -x1152 -x1237 -x1322 -x1407 -x1492 -x1577 -x1662 -x1747 -x1832 -x1917 -x2002 -x2087 -x2172 -x2257 -x2342 -x2427 -x2512 -x2597 -x2682 -x2767 -x2852 -x2937 -x3022 -x3107 -x3192 -x3277 -x3362 -x3447 -x3532 -x3617 x3702 -x3787 -x3872 -x3957 -x4042 -x4127 -x4212 -x4297 -x4382 -x4467 -x4552 -x4637 -x4722 -x4807 -x4892 -x4977 -x5062 -x5147 -x5232 -x5317 -x5402 -x5487 -x5572 x218 -x303 -x388 -x473 -x558 -x643 -x728 -x813 -x898 -x983 -x1068 -x1153 -x1238 -x1323 -x1408 -x1493 -x1578 -x1663 -x1748 -x1833 -x1918 -x2003 -x2088 -x2173 -x2258 -x2343 -x2428 -x2513 -x2598 -x2683 -x2768 -x2853 -x2938 -x3023 -x3108 -x3193 -x3278 -x3363 -x3448 -x3533 -x3618 -x3703 -x3788 -x3873 -x3958 -x4043 x4128 -x4213 -x4298 -x4383 -x4468 -x4553 -x4638 -x4723 -x4808 -x4893 -x4978 -x5063 -x5148 -x5233 -x5318 -x5403 -x5488 -x5573 -x219 -x304 -x389 -x474 -x559 -x644 -x729 -x814 -x899 -x984 -x1069 -x1154 -x1239 -x1324 -x1409 -x1494 -x1579 -x1664 -x1749 -x1834 -x1919 -x2004 -x2089 -x2174 -x2259 -x2344 -x2429 -x2514 x2599 -x2684 -x2769 -x2854 -x2939 -x3024 -x3109 -x3194 -x3279 -x3364 -x3449 -x3534 -x3619 -x3704 -x3789 -x3874 -x3959 -x4044 -x4129 -x4214 -x4299 -x4384 -x4469 -x4554 -x4639 -x4724 x4809 -x4894 -x4979 -x5064 -x5149 -x5234 -x5319 -x5404 -x5489 -x5574 x220 -x305 -x390 -x475 -x560 -x645 -x730 -x815 -x900 -x985 -x1070 -x1155 -x1240 -x1325 -x1410 -x1495 -x1580 -x1665 -x1750 -x1835 -x1920 -x2005 -x2090 -x2175 -x2260 -x2345 -x2430 -x2515 -x2600 -x2685 -x2770 -x2855 -x2940 -x3025 -x3110 -x3195 -x3280 -x3365 -x3450 -x3535 -x3620 -x3705 -x3790 -x3875 x3960 -x4045 -x4130 -x4215 -x4300 -x4385 -x4470 -x4555 -x4640 -x4725 -x4810 -x4895 -x4980 -x5065 -x5150 -x5235 -x5320 -x5405 -x5490 -x5575 -x221 -x306 -x391 -x476 -x561 -x646 -x731 -x816 -x901 -x986 -x1071 -x1156 -x1241 -x1326 -x1411 -x1496 -x1581 -x1666 -x1751 -x1836 -x1921 -x2006 -x2091 -x2176 -x2261 -x2346 -x2431 x2516 -x2601 -x2686 -x2771 -x2856 -x2941 -x3026 -x3111 -x3196 -x3281 -x3366 -x3451 -x3536 -x3621 -x3706 -x3791 -x3876 -x3961 -x4046 -x4131 -x4216 -x4301 -x4386 -x4471 -x4556 -x4641 -x4726 -x4811 -x4896 x4981 -x5066 -x5151 -x5236 -x5321 -x5406 -x5491 -x5576 x222 -x307 -x392 -x477 -x562 -x647 -x732 -x817 -x902 -x987 -x1072 -x1157 -x1242 -x1327 -x1412 -x1497 -x1582 -x1667 -x1752 -x1837 -x1922 -x2007 -x2092 -x2177 -x2262 -x2347 -x2432 -x2517 -x2602 -x2687 -x2772 -x2857 -x2942 -x3027 -x3112 -x3197 -x3282 -x3367 -x3452 -x3537 -x3622 -x3707 -x3792 -x3877 -x3962 -x4047 -x4132 -x4217 -x4302 -x4387 -x4472 x4557 -x4642 -x4727 -x4812 -x4897 -x4982 -x5067 -x5152 -x5237 -x5322 -x5407 -x5492 -x5577 x223 -x308 -x393 -x478 -x563 -x648 -x733 -x818 -x903 -x988 -x1073 -x1158 -x1243 -x1328 -x1413 -x1498 -x1583 -x1668 -x1753 -x1838 -x1923 -x2008 -x2093 -x2178 -x2263 -x2348 -x2433 -x2518 -x2603 -x2688 -x2773 -x2858 -x2943 -x3028 -x3113 -x3198 -x3283 -x3368 -x3453 -x3538 -x3623 x3708 -x3793 -x3878 -x3963 -x4048 -x4133 -x4218 -x4303 -x4388 -x4473 -x4558 -x4643 -x4728 -x4813 -x4898 -x4983 -x5068 -x5153 -x5238 -x5323 -x5408 -x5493 -x5578 -x224 -x309 -x394 -x479 -x564 -x649 -x734 -x819 -x904 -x989 -x1074 -x1159 -x1244 -x1329 -x1414 -x1499 -x1584 -x1669 -x1754 -x1839 -x1924 -x2009 -x2094 -x2179 -x2264 -x2349 -x2434 -x2519 x2604 -x2689 -x2774 -x2859 -x2944 -x3029 -x3114 -x3199 -x3284 -x3369 -x3454 -x3539 -x3624 -x3709 -x3794 -x3879 -x3964 -x4049 -x4134 -x4219 -x4304 -x4389 x4474 -x4559 -x4644 -x4729 -x4814 -x4899 -x4984 -x5069 -x5154 -x5239 -x5324 -x5409 -x5494 -x5579 -x225 -x310 -x395 -x480 -x565 -x650 -x735 -x820 -x905 -x990 -x1075 -x1160 -x1245 -x1330 -x1415 -x1500 -x1585 -x1670 -x1755 -x1840 -x1925 -x2010 -x2095 -x2180 -x2265 -x2350 -x2435 -x2520 -x2605 -x2690 -x2775 -x2860 -x2945 -x3030 -x3115 -x3200 -x3285 -x3370 -x3455 -x3540 -x3625 -x3710 -x3795 -x3880 -x3965 -x4050 -x4135 -x4220 x4305 -x4390 -x4475 -x4560 -x4645 -x4730 -x4815 -x4900 -x4985 -x5070 -x5155 -x5240 -x5325 -x5410 -x5495 -x5580 x226 -x311 -x396 -x481 -x566 -x651 -x736 -x821 -x906 -x991 -x1076 -x1161 -x1246 -x1331 -x1416 -x1501 -x1586 -x1671 -x1756 -x1841 -x1926 -x2011 -x2096 -x2181 -x2266 -x2351 -x2436 -x2521 -x2606 -x2691 -x2776 -x2861 -x2946 -x3031 -x3116 -x3201 -x3286 -x3371 -x3456 -x3541 -x3626 -x3711 -x3796 -x3881 -x3966 -x4051 -x4136 -x4221 x4306 -x4391 -x4476 -x4561 -x4646 -x4731 -x4816 -x4901 -x4986 -x5071 -x5156 -x5241 -x5326 -x5411 -x5496 -x5581 -x227 x312 -x397 -x482 -x567 -x652 -x737 -x822 -x907 -x992 -x1077 -x1162 -x1247 -x1332 -x1417 -x1502 -x1587 -x1672 -x1757 -x1842 -x1927 -x2012 -x2097 -x2182 -x2267 -x2352 -x2437 -x2522 -x2607 -x2692 -x2777 -x2862 -x2947 -x3032 -x3117 -x3202 -x3287 -x3372 -x3457 -x3542 -x3627 -x3712 -x3797 -x3882 -x3967 -x4052 x4137 -x4222 -x4307 -x4392 -x4477 -x4562 -x4647 -x4732 -x4817 -x4902 -x4987 -x5072 -x5157 -x5242 -x5327 -x5412 -x5497 -x5582 -x228 x313 -x398 -x483 -x568 -x653 -x738 -x823 -x908 -x993 -x1078 -x1163 -x1248 -x1333 -x1418 -x1503 -x1588 -x1673 -x1758 -x1843 -x1928 -x2013 -x2098 -x2183 -x2268 -x2353 -x2438 -x2523 -x2608 -x2693 -x2778 -x2863 -x2948 -x3033 -x3118 -x3203 -x3288 -x3373 -x3458 -x3543 -x3628 -x3713 -x3798 -x3883 -x3968 -x4053 x4138 -x4223 -x4308 -x4393 -x4478 -x4563 -x4648 -x4733 -x4818 -x4903 -x4988 -x5073 -x5158 -x5243 -x5328 -x5413 -x5498 -x5583 -x229 -x314 -x399 -x484 -x569 -x654 -x739 -x824 -x909 -x994 -x1079 -x1164 -x1249 -x1334 -x1419 -x1504 -x1589 -x1674 -x1759 -x1844 -x1929 -x2014 -x2099 -x2184 -x2269 -x2354 -x2439 -x2524 -x2609 -x2694 -x2779 -x2864 -x2949 -x3034 -x3119 -x3204 -x3289 -x3374 -x3459 -x3544 -x3629 -x3714 -x3799 -x3884 x3969 -x4054 -x4139 -x4224 -x4309 -x4394 -x4479 -x4564 -x4649 -x4734 -x4819 -x4904 -x4989 -x5074 -x5159 -x5244 -x5329 -x5414 -x5499 -x5584 -x230 -x315 -x400 -x485 -x570 -x655 -x740 -x825 -x910 -x995 -x1080 -x1165 -x1250 -x1335 -x1420 -x1505 -x1590 -x1675 -x1760 -x1845 -x1930 -x2015 -x2100 -x2185 -x2270 -x2355 -x2440 -x2525 -x2610 -x2695 -x2780 -x2865 -x2950 -x3035 -x3120 -x3205 -x3290 -x3375 -x3460 -x3545 -x3630 -x3715 -x3800 -x3885 -x3970 -x4055 -x4140 x4225 -x4310 -x4395 -x4480 -x4565 -x4650 -x4735 -x4820 -x4905 -x4990 -x5075 -x5160 -x5245 -x5330 -x5415 -x5500 -x5585 -x231 -x316 -x401 -x486 -x571 -x656 -x741 -x826 -x911 -x996 -x1081 -x1166 -x1251 -x1336 -x1421 -x1506 -x1591 -x1676 -x1761 -x1846 -x1931 -x2016 -x2101 -x2186 -x2271 -x2356 -x2441 -x2526 x2611 -x2696 -x2781 -x2866 -x2951 -x3036 -x3121 -x3206 -x3291 -x3376 -x3461 -x3546 -x3631 -x3716 -x3801 -x3886 -x3971 -x4056 -x4141 -x4226 -x4311 -x4396 -x4481 -x4566 -x4651 -x4736 x4821 -x4906 -x4991 -x5076 -x5161 -x5246 -x5331 -x5416 -x5501 -x5586 -x232 -x317 -x402 -x487 -x572 -x657 -x742 -x827 -x912 -x997 -x1082 -x1167 -x1252 -x1337 -x1422 -x1507 x1592 -x1677 -x1762 -x1847 -x1932 -x2017 -x2102 -x2187 -x2272 -x2357 -x2442 -x2527 -x2612 -x2697 -x2782 -x2867 -x2952 -x3037 -x3122 -x3207 -x3292 -x3377 -x3462 -x3547 -x3632 -x3717 -x3802 -x3887 -x3972 -x4057 -x4142 -x4227 -x4312 -x4397 -x4482 -x4567 -x4652 -x4737 x4822 -x4907 -x4992 -x5077 -x5162 -x5247 -x5332 -x5417 -x5502 -x5587 -x233 -x318 -x403 -x488 -x573 -x658 -x743 -x828 -x913 -x998 -x1083 -x1168 -x1253 -x1338 -x1423 x1508 -x1593 -x1678 -x1763 -x1848 -x1933 -x2018 -x2103 -x2188 -x2273 -x2358 -x2443 -x2528 -x2613 -x2698 -x2783 -x2868 -x2953 -x3038 -x3123 -x3208 -x3293 -x3378 -x3463 -x3548 -x3633 x3718 -x3803 -x3888 -x3973 -x4058 -x4143 -x4228 -x4313 -x4398 -x4483 -x4568 -x4653 -x4738 -x4823 -x4908 -x4993 -x5078 -x5163 -x5248 -x5333 -x5418 -x5503 -x5588 -x234 -x319 -x404 -x489 -x574 -x659 -x744 -x829 -x914 -x999 -x1084 -x1169 -x1254 -x1339 -x1424 -x1509 -x1594 -x1679 -x1764 -x1849 -x1934 -x2019 -x2104 -x2189 -x2274 -x2359 -x2444 -x2529 -x2614 -x2699 -x2784 -x2869 -x2954 -x3039 -x3124 -x3209 -x3294 -x3379 -x3464 -x3549 -x3634 -x3719 -x3804 -x3889 -x3974 -x4059 -x4144 -x4229 -x4314 -x4399 -x4484 x4569 -x4654 -x4739 -x4824 -x4909 -x4994 -x5079 -x5164 -x5249 -x5334 -x5419 -x5504 -x5589 -x235 -x320 -x405 -x490 -x575 -x660 -x745 -x830 -x915 -x1000 -x1085 -x1170 -x1255 -x1340 -x1425 -x1510 -x1595 -x1680 -x1765 -x1850 -x1935 -x2020 -x2105 -x2190 -x2275 -x2360 -x2445 -x2530 -x2615 -x2700 -x2785 -x2870 -x2955 -x3040 -x3125 -x3210 -x3295 -x3380 -x3465 -x3550 -x3635 -x3720 -x3805 -x3890 -x3975 -x4060 -x4145 -x4230 -x4315 -x4400 -x4485 x4570 -x4655 -x4740 -x4825 -x4910 -x4995 -x5080 -x5165 -x5250 -x5335 -x5420 -x5505 -x5590 -x236 -x321 -x406 -x491 -x576 -x661 -x746 -x831 -x916 -x1001 -x1086 -x1171 -x1256 -x1341 -x1426 -x1511 x1596 -x1681 -x1766 -x1851 -x1936 -x2021 -x2106 -x2191 -x2276 -x2361 -x2446 -x2531 -x2616 -x2701 -x2786 -x2871 -x2956 -x3041 -x3126 -x3211 -x3296 -x3381 -x3466 -x3551 -x3636 -x3721 -x3806 -x3891 -x3976 -x4061 -x4146 -x4231 -x4316 -x4401 x4486 -x4571 -x4656 -x4741 -x4826 -x4911 -x4996 -x5081 -x5166 -x5251 -x5336 -x5421 -x5506 -x5591 -x237 -x322 -x407 -x492 -x577 -x662 -x747 -x832 -x917 -x1002 -x1087 -x1172 -x1257 -x1342 -x1427 x1512 -x1597 -x1682 -x1767 -x1852 -x1937 -x2022 -x2107 -x2192 -x2277 -x2362 -x2447 -x2532 -x2617 -x2702 -x2787 -x2872 -x2957 -x3042 -x3127 -x3212 -x3297 -x3382 -x3467 -x3552 -x3637 -x3722 -x3807 -x3892 -x3977 -x4062 -x4147 -x4232 x4317 -x4402 -x4487 -x4572 -x4657 -x4742 -x4827 -x4912 -x4997 -x5082 -x5167 -x5252 -x5337 -x5422 -x5507 -x5592 -x238 -x323 -x408 -x493 -x578 -x663 -x748 -x833 -x918 -x1003 -x1088 -x1173 -x1258 -x1343 -x1428 -x1513 -x1598 -x1683 -x1768 -x1853 -x1938 -x2023 -x2108 -x2193 -x2278 -x2363 -x2448 -x2533 -x2618 -x2703 -x2788 -x2873 -x2958 -x3043 -x3128 -x3213 -x3298 -x3383 -x3468 -x3553 -x3638 -x3723 -x3808 -x3893 -x3978 -x4063 -x4148 -x4233 x4318 -x4403 -x4488 -x4573 -x4658 -x4743 -x4828 -x4913 -x4998 -x5083 -x5168 -x5253 -x5338 -x5423 -x5508 -x5593 -x239 -x324 -x409 -x494 -x579 -x664 -x749 -x834 -x919 -x1004 -x1089 -x1174 -x1259 -x1344 -x1429 -x1514 -x1599 -x1684 -x1769 x1854 -x1939 -x2024 -x2109 -x2194 -x2279 -x2364 -x2449 -x2534 -x2619 -x2704 -x2789 -x2874 -x2959 -x3044 -x3129 -x3214 -x3299 -x3384 -x3469 -x3554 -x3639 -x3724 -x3809 -x3894 -x3979 -x4064 x4149 -x4234 -x4319 -x4404 -x4489 -x4574 -x4659 -x4744 -x4829 -x4914 -x4999 -x5084 -x5169 -x5254 -x5339 -x5424 -x5509 -x5594 -x240 -x325 -x410 -x495 -x580 -x665 -x750 -x835 -x920 -x1005 -x1090 -x1175 -x1260 -x1345 -x1430 -x1515 -x1600 -x1685 -x1770 -x1855 -x1940 -x2025 -x2110 -x2195 -x2280 -x2365 -x2450 -x2535 -x2620 -x2705 -x2790 -x2875 -x2960 -x3045 -x3130 -x3215 -x3300 -x3385 -x3470 -x3555 -x3640 -x3725 -x3810 -x3895 -x3980 -x4065 x4150 -x4235 -x4320 -x4405 -x4490 -x4575 -x4660 -x4745 -x4830 -x4915 -x5000 -x5085 -x5170 -x5255 -x5340 -x5425 -x5510 -x5595 -x241 -x326 -x411 -x496 -x581 -x666 x751 -x836 -x921 -x1006 -x1091 -x1176 -x1261 -x1346 -x1431 -x1516 -x1601 -x1686 -x1771 -x1856 -x1941 -x2026 -x2111 -x2196 -x2281 -x2366 -x2451 -x2536 -x2621 -x2706 -x2791 -x2876 -x2961 -x3046 -x3131 -x3216 -x3301 -x3386 -x3471 -x3556 -x3641 -x3726 -x3811 -x3896 x3981 -x4066 -x4151 -x4236 -x4321 -x4406 -x4491 -x4576 -x4661 -x4746 -x4831 -x4916 -x5001 -x5086 -x5171 -x5256 -x5341 -x5426 -x5511 -x5596 -x242 -x327 -x412 -x497 -x582 -x667 x752 -x837 -x922 -x1007 -x1092 -x1177 -x1262 -x1347 -x1432 -x1517 -x1602 -x1687 -x1772 -x1857 -x1942 -x2027 -x2112 -x2197 -x2282 -x2367 -x2452 -x2537 -x2622 -x2707 -x2792 -x2877 -x2962 -x3047 -x3132 -x3217 -x3302 -x3387 -x3472 -x3557 -x3642 -x3727 -x3812 -x3897 x3982 -x4067 -x4152 -x4237 -x4322 -x4407 -x4492 -x4577 -x4662 -x4747 -x4832 -x4917 -x5002 -x5087 -x5172 -x5257 -x5342 -x5427 -x5512 -x5597 -x243 -x328 -x413 -x498 -x583 -x668 -x753 -x838 -x923 -x1008 -x1093 -x1178 -x1263 -x1348 -x1433 -x1518 x1603 -x1688 -x1773 -x1858 -x1943 -x2028 -x2113 -x2198 -x2283 -x2368 -x2453 -x2538 -x2623 -x2708 -x2793 -x2878 -x2963 -x3048 -x3133 -x3218 -x3303 -x3388 -x3473 -x3558 -x3643 -x3728 -x3813 -x3898 -x3983 -x4068 -x4153 -x4238 -x4323 -x4408 -x4493 -x4578 -x4663 -x4748 -x4833 -x4918 x5003 -x5088 -x5173 -x5258 -x5343 -x5428 -x5513 -x5598 -x244 -x329 -x414 -x499 -x584 -x669 -x754 -x839 -x924 -x1009 -x1094 -x1179 -x1264 -x1349 -x1434 x1519 -x1604 -x1689 -x1774 -x1859 -x1944 -x2029 -x2114 -x2199 -x2284 -x2369 -x2454 -x2539 -x2624 -x2709 -x2794 -x2879 -x2964 -x3049 -x3134 -x3219 -x3304 -x3389 -x3474 -x3559 -x3644 x3729 -x3814 -x3899 -x3984 -x4069 -x4154 -x4239 -x4324 -x4409 -x4494 -x4579 -x4664 -x4749 -x4834 -x4919 -x5004 -x5089 -x5174 -x5259 -x5344 -x5429 -x5514 -x5599 -x245 -x330 -x415 -x500 -x585 -x670 -x755 -x840 -x925 -x1010 -x1095 -x1180 -x1265 -x1350 -x1435 -x1520 -x1605 -x1690 -x1775 x1860 -x1945 -x2030 -x2115 -x2200 -x2285 -x2370 -x2455 -x2540 -x2625 -x2710 -x2795 -x2880 -x2965 -x3050 -x3135 -x3220 -x3305 -x3390 -x3475 -x3560 -x3645 x3730 -x3815 -x3900 -x3985 -x4070 -x4155 -x4240 -x4325 -x4410 -x4495 -x4580 -x4665 -x4750 -x4835 -x4920 -x5005 -x5090 -x5175 -x5260 -x5345 -x5430 -x5515 -x5600 -x246 -x331 -x416 -x501 -x586 -x671 x756 -x841 -x926 -x1011 -x1096 -x1181 -x1266 -x1351 -x1436 -x1521 -x1606 -x1691 -x1776 -x1861 -x1946 -x2031 -x2116 -x2201 -x2286 -x2371 -x2456 -x2541 -x2626 -x2711 -x2796 -x2881 -x2966 -x3051 -x3136 -x3221 -x3306 -x3391 -x3476 -x3561 -x3646 -x3731 -x3816 -x3901 -x3986 -x4071 -x4156 -x4241 -x4326 -x4411 -x4496 -x4581 -x4666 -x4751 -x4836 -x4921 x5006 -x5091 -x5176 -x5261 -x5346 -x5431 -x5516 -x5601 x247 -x332 -x417 -x502 -x587 -x672 -x757 -x842 -x927 -x1012 -x1097 -x1182 -x1267 -x1352 -x1437 -x1522 -x1607 -x1692 -x1777 -x1862 -x1947 -x2032 -x2117 -x2202 -x2287 -x2372 -x2457 -x2542 -x2627 -x2712 -x2797 -x2882 -x2967 -x3052 -x3137 -x3222 -x3307 -x3392 -x3477 -x3562 -x3647 -x3732 -x3817 -x3902 -x3987 -x4072 -x4157 -x4242 -x4327 -x4412 -x4497 -x4582 -x4667 -x4752 -x4837 -x4922 -x5007 x5092 -x5177 -x5262 -x5347 -x5432 -x5517 -x5602 x248 -x333 -x418 -x503 -x588 -x673 -x758 -x843 -x928 -x1013 -x1098 -x1183 -x1268 -x1353 -x1438 -x1523 -x1608 -x1693 -x1778 -x1863 -x1948 -x2033 -x2118 -x2203 -x2288 -x2373 -x2458 -x2543 -x2628 -x2713 -x2798 -x2883 -x2968 -x3053 -x3138 -x3223 -x3308 -x3393 -x3478 -x3563 -x3648 -x3733 -x3818 -x3903 -x3988 -x4073 -x4158 -x4243 -x4328 -x4413 -x4498 -x4583 -x4668 -x4753 -x4838 -x4923 x5008 -x5093 -x5178 -x5263 -x5348 -x5433 -x5518 -x5603 -x249 -x334 -x419 -x504 -x589 -x674 -x759 -x844 -x929 -x1014 -x1099 -x1184 -x1269 -x1354 -x1439 -x1524 -x1609 -x1694 -x1779 -x1864 -x1949 -x2034 -x2119 -x2204 -x2289 -x2374 -x2459 -x2544 x2629 -x2714 -x2799 -x2884 -x2969 -x3054 -x3139 -x3224 -x3309 -x3394 -x3479 -x3564 -x3649 -x3734 -x3819 -x3904 -x3989 -x4074 -x4159 -x4244 -x4329 -x4414 -x4499 -x4584 -x4669 -x4754 -x4839 -x4924 -x5009 x5094 -x5179 -x5264 -x5349 -x5434 -x5519 -x5604 -x250 -x335 -x420 -x505 -x590 -x675 -x760 -x845 -x930 -x1015 -x1100 -x1185 -x1270 -x1355 -x1440 -x1525 -x1610 -x1695 -x1780 -x1865 -x1950 -x2035 -x2120 -x2205 -x2290 -x2375 -x2460 x2545 -x2630 -x2715 -x2800 -x2885 -x2970 -x3055 -x3140 -x3225 -x3310 -x3395 -x3480 -x3565 -x3650 -x3735 -x3820 -x3905 -x3990 -x4075 -x4160 -x4245 -x4330 -x4415 -x4500 -x4585 -x4670 -x4755 -x4840 -x4925 x5010 -x5095 -x5180 -x5265 -x5350 -x5435 -x5520 -x5605 -x251 -x336 -x421 -x506 -x591 -x676 -x761 -x846 -x931 -x1016 -x1101 -x1186 -x1271 x1356 -x1441 -x1526 -x1611 -x1696 -x1781 -x1866 -x1951 -x2036 -x2121 -x2206 -x2291 -x2376 -x2461 -x2546 -x2631 -x2716 -x2801 -x2886 -x2971 -x3056 -x3141 -x3226 -x3311 -x3396 -x3481 -x3566 -x3651 -x3736 -x3821 -x3906 -x3991 -x4076 -x4161 -x4246 -x4331 -x4416 -x4501 -x4586 -x4671 -x4756 -x4841 -x4926 -x5011 x5096 -x5181 -x5266 -x5351 -x5436 -x5521 -x5606 x252 -x337 -x422 -x507 -x592 -x677 -x762 -x847 -x932 -x1017 -x1102 -x1187 -x1272 -x1357 -x1442 -x1527 -x1612 -x1697 -x1782 -x1867 -x1952 -x2037 -x2122 -x2207 -x2292 -x2377 -x2462 -x2547 -x2632 -x2717 -x2802 -x2887 -x2972 -x3057 -x3142 -x3227 -x3312 -x3397 -x3482 -x3567 -x3652 -x3737 -x3822 -x3907 -x3992 -x4077 -x4162 -x4247 -x4332 -x4417 -x4502 -x4587 -x4672 -x4757 -x4842 -x4927 -x5012 x5097 -x5182 -x5267 -x5352 -x5437 -x5522 -x5607 -x253 -x338 -x423 -x508 -x593 -x678 x763 -x848 -x933 -x1018 -x1103 -x1188 -x1273 -x1358 -x1443 -x1528 -x1613 -x1698 -x1783 -x1868 -x1953 -x2038 -x2123 -x2208 -x2293 -x2378 -x2463 -x2548 -x2633 -x2718 -x2803 -x2888 -x2973 -x3058 -x3143 -x3228 -x3313 -x3398 -x3483 -x3568 -x3653 -x3738 -x3823 -x3908 -x3993 -x4078 -x4163 -x4248 -x4333 -x4418 -x4503 -x4588 -x4673 -x4758 -x4843 -x4928 x5013 -x5098 -x5183 -x5268 -x5353 -x5438 -x5523 -x5608 -x254 -x339 -x424 -x509 -x594 -x679 -x764 -x849 -x934 -x1019 -x1104 -x1189 -x1274 -x1359 -x1444 -x1529 -x1614 -x1699 -x1784 x1869 -x1954 -x2039 -x2124 -x2209 -x2294 -x2379 -x2464 -x2549 -x2634 -x2719 -x2804 -x2889 -x2974 -x3059 -x3144 -x3229 -x3314 -x3399 -x3484 -x3569 -x3654 -x3739 -x3824 -x3909 -x3994 -x4079 -x4164 -x4249 -x4334 -x4419 -x4504 x4589 -x4674 -x4759 -x4844 -x4929 -x5014 -x5099 -x5184 -x5269 -x5354 -x5439 -x5524 -x5609 -x255 -x340 -x425 -x510 -x595 -x680 -x765 -x850 -x935 -x1020 -x1105 -x1190 -x1275 -x1360 -x1445 -x1530 -x1615 -x1700 -x1785 x1870 -x1955 -x2040 -x2125 -x2210 -x2295 -x2380 -x2465 -x2550 -x2635 -x2720 -x2805 -x2890 -x2975 -x3060 -x3145 -x3230 -x3315 -x3400 -x3485 -x3570 -x3655 -x3740 -x3825 -x3910 -x3995 -x4080 -x4165 -x4250 -x4335 -x4420 x4505 -x4590 -x4675 -x4760 -x4845 -x4930 -x5015 -x5100 -x5185 -x5270 -x5355 -x5440 -x5525 -x5610 -x256 -x341 -x426 -x511 -x596 -x681 -x766 -x851 -x936 -x1021 -x1106 -x1191 -x1276 -x1361 -x1446 x1531 -x1616 -x1701 -x1786 -x1871 -x1956 -x2041 -x2126 -x2211 -x2296 -x2381 -x2466 -x2551 -x2636 -x2721 -x2806 -x2891 -x2976 -x3061 -x3146 -x3231 -x3316 -x3401 -x3486 -x3571 -x3656 -x3741 -x3826 -x3911 -x3996 -x4081 -x4166 -x4251 -x4336 -x4421 -x4506 -x4591 -x4676 -x4761 -x4846 -x4931 x5016 -x5101 -x5186 -x5271 -x5356 -x5441 -x5526 -x5611 -x257 x342 -x427 -x512 -x597 -x682 -x767 -x852 -x937 -x1022 -x1107 -x1192 -x1277 -x1362 -x1447 -x1532 -x1617 -x1702 -x1787 -x1872 -x1957 -x2042 -x2127 -x2212 -x2297 -x2382 -x2467 -x2552 -x2637 -x2722 -x2807 -x2892 -x2977 -x3062 -x3147 -x3232 -x3317 -x3402 -x3487 -x3572 -x3657 -x3742 -x3827 -x3912 -x3997 -x4082 -x4167 x4252 -x4337 -x4422 -x4507 -x4592 -x4677 -x4762 -x4847 -x4932 -x5017 -x5102 -x5187 -x5272 -x5357 -x5442 -x5527 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 x6558 -x6559 -x6560 -x6561 -x6562 -x6563 x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 x6657 x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 x6669 x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 x6978 -x6979 -x6980 -x6981 -x6982 -x6983 x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 x6993 x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 x7034 x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
593.16/593.31	c _______________________________________________________________________________
593.16/593.31	c 
593.16/593.31	restarts              : 2331
593.16/593.31	conflicts             : 1236366        (2086 /sec)
593.16/593.31	decisions             : 4391188        (0.00 % random) (7411 /sec)
593.16/593.31	propagations          : 733559635      (1237946 /sec)
593.16/593.31	conflict literals     : 459129707      (14.63 % deleted)
593.16/593.31	Memory used           : 341.60 MB
593.16/593.31	CPU time              : 592.562 s
593.16/593.31	c _______________________________________________________________________________

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4113670-1466629039/watcher-4113670-1466629039 -o /tmp/evaluation-result-4113670-1466629039/solver-4113670-1466629039 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466623604-11231 --watchdog 1960 minisatp HOME/instance-4113670-1466629039.opb 

pid=13330
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 13333
/proc/meminfo: memFree=31803516/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=6604 CPUtime=0 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 64953902 6762496 243 33554432000 4194304 5646918 140734788721872 140736640738712 4866896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 1651 243 94 355 0 1292 0

[startup+0.100111 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 13333
/proc/meminfo: memFree=31803516/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=11064 CPUtime=0.09 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 1337 0 0 0 9 0 0 0 20 0 1 0 64953902 11329536 1214 33554432000 4194304 5646918 140734788721872 140736640738712 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 2766 1215 94 355 0 2407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11064

[startup+0.200298 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 13333
/proc/meminfo: memFree=31803516/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=14908 CPUtime=0.19 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 2140 0 0 0 19 0 0 0 20 0 1 0 64953902 15265792 2017 33554432000 4194304 5646918 140734788721872 140736640738712 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 3727 2017 94 355 0 3368 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14908

[startup+0.300254 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 13333
/proc/meminfo: memFree=31803516/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=18596 CPUtime=0.29 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 2947 0 0 0 29 0 0 0 20 0 1 0 64953902 19042304 2824 33554432000 4194304 5646918 140734788721872 140736640738712 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 4649 2824 94 355 0 4290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18596

[startup+0.700254 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 13333
/proc/meminfo: memFree=31803516/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=33648 CPUtime=0.69 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 6160 0 0 0 68 1 0 0 20 0 1 0 64953902 34455552 6037 33554432000 4194304 5646918 140734788721872 140734788721240 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 8412 6037 94 355 0 8053 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33648

[startup+1.50028 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13334
/proc/meminfo: memFree=31765384/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=62948 CPUtime=1.49 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 12467 0 0 0 148 1 0 0 20 0 1 0 64953902 64458752 12344 33554432000 4194304 5646918 140734788721872 140734788721240 4826286 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 15737 12344 94 355 0 15378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62948

[startup+3.10019 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13334
/proc/meminfo: memFree=31721980/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=109444 CPUtime=3.09 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 23475 0 0 0 304 5 0 0 20 0 1 0 64953902 112070656 24315 33554432000 4194304 5646918 140734788721872 140734788720184 4438352 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 27361 24315 160 355 0 27002 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109444

[startup+6.30026 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 13334
/proc/meminfo: memFree=31674164/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=135440 CPUtime=6.29 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 25503 0 0 0 623 6 0 0 20 0 1 0 64953902 138690560 28382 33554432000 4194304 5646918 140734788721872 140734788720568 4416598 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 33860 28382 183 355 0 33501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 135440

[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13334
/proc/meminfo: memFree=31621840/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=154580 CPUtime=12.69 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 26396 0 0 0 1263 6 0 0 20 0 1 0 64953902 158289920 35406 33554432000 4194304 5646918 140734788721872 140734788720120 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 38645 35406 183 355 0 38286 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 154580

[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13334
/proc/meminfo: memFree=31577728/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=185400 CPUtime=25.49 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 28415 0 0 0 2541 8 0 0 20 0 1 0 64953902 189849600 37332 33554432000 4194304 5646918 140734788721872 140734788720568 4403416 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 46350 37332 185 355 0 45991 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 185400

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13334
/proc/meminfo: memFree=31627768/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=154904 CPUtime=51.08 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 30965 0 0 0 5096 12 0 0 20 0 1 0 64953902 158621696 32897 33554432000 4194304 5646918 140734788721872 140734788720568 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 38726 32897 185 355 0 38367 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154904

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13335
/proc/meminfo: memFree=31546036/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=185724 CPUtime=102.28 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 35468 0 0 0 10211 17 0 0 20 0 1 0 64953902 190181376 43970 33554432000 4194304 5646918 140734788721872 140734788720568 4403495 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 46431 43970 185 355 0 46072 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 185724

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13340
/proc/meminfo: memFree=31627548/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=154904 CPUtime=162.24 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 41155 0 0 0 16202 22 0 0 20 0 1 0 64953902 158621696 37124 33554432000 4194304 5646918 140734788721872 140734788720568 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 38726 37124 185 355 0 38367 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 154904

[startup+222.307 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 13364
/proc/meminfo: memFree=31601384/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=155096 CPUtime=222.22 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 45049 0 0 0 22194 28 0 0 20 0 1 0 64953902 158818304 38137 33554432000 4194304 5646918 140734788721872 140734788720568 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 38774 38137 185 355 0 38415 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 155096

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 13365
/proc/meminfo: memFree=31544052/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=185916 CPUtime=282.21 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 49858 0 0 0 28187 34 0 0 20 0 1 0 64953902 190377984 44854 33554432000 4194304 5646918 140734788721872 140734788720568 4403178 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 46479 44854 185 355 0 46120 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 185916

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13366
/proc/meminfo: memFree=31676348/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=136288 CPUtime=342.2 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 52886 0 0 0 34181 39 0 0 20 0 1 0 64953902 139558912 31510 33554432000 4194304 5646918 140734788721872 140734788720584 4402821 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 34072 31510 185 355 0 33713 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 136288

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13367
/proc/meminfo: memFree=31529280/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=236164 CPUtime=402.19 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 56206 0 0 0 40175 44 0 0 20 0 1 0 64953902 241831936 55110 33554432000 4194304 5646918 140734788721872 140734788720568 4403176 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 59041 55110 185 355 0 58682 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 236164

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13369
/proc/meminfo: memFree=31540632/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=186244 CPUtime=462.18 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 59409 0 0 0 46169 49 0 0 20 0 1 0 64953902 190713856 43349 33554432000 4194304 5646918 140734788721872 140734788720008 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 46561 43349 185 355 0 46202 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 186244

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13370
/proc/meminfo: memFree=31498548/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=237324 CPUtime=522.17 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 62730 0 0 0 52163 54 0 0 20 0 1 0 64953902 243019776 49220 33554432000 4194304 5646918 140734788721872 140734788720008 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 59331 49220 185 355 0 58972 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 237324

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31489096/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=238056 CPUtime=582.16 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 65856 0 0 0 58156 60 0 0 20 0 1 0 64953902 243769344 55873 33554432000 4194304 5646918 140734788721872 140734788720568 4403159 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 59514 55873 185 355 0 59155 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 238056

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13333 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+582.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31489096/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=238056 CPUtime=582.26 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 65856 0 0 0 58166 60 0 0 20 0 1 0 64953902 243769344 55873 33554432000 4194304 5646918 140734788721872 140734788720568 4403454 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 59514 55873 185 355 0 59155 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 238056

[startup+588.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31465824/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=238056 CPUtime=588.67 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 65861 0 0 0 58806 61 0 0 20 0 1 0 64953902 243769344 58433 33554432000 4194304 5646918 140734788721872 140734788720568 4403368 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 59514 58433 185 355 0 59155 0
Current children cumulated CPU time (s) 588.67
Current children cumulated vsize (KiB) 238056

[startup+590.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31459496/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=238056 CPUtime=590.27 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 65866 0 0 0 58966 61 0 0 20 0 1 0 64953902 243769344 58949 33554432000 4194304 5646918 140734788721872 140734788720568 4402751 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 59514 58949 185 355 0 59155 0
Current children cumulated CPU time (s) 590.27
Current children cumulated vsize (KiB) 238056

[startup+592 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31563680/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=138180 CPUtime=591.86 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 66378 0 0 0 59125 61 0 0 20 0 1 0 64953902 141496320 32229 33554432000 4194304 5646918 140734788721872 140734788720568 4400014 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 34545 32229 185 355 0 34186 0
Current children cumulated CPU time (s) 591.86
Current children cumulated vsize (KiB) 138180

[startup+592.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31563680/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=138180 CPUtime=592.66 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 66380 0 0 0 59204 62 0 0 20 0 1 0 64953902 141496320 33253 33554432000 4194304 5646918 140734788721872 140734788720584 4403087 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 34545 33253 185 355 0 34186 0
Current children cumulated CPU time (s) 592.66
Current children cumulated vsize (KiB) 138180

[startup+593.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31555736/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=138180 CPUtime=593.06 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 66381 0 0 0 59244 62 0 0 20 0 1 0 64953902 141496320 33765 33554432000 4194304 5646918 140734788721872 140734788720584 4402853 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 34545 33765 185 355 0 34186 0
Current children cumulated CPU time (s) 593.06
Current children cumulated vsize (KiB) 138180

[startup+593.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13371
/proc/meminfo: memFree=31555736/32872528 swapFree=164680/178988
[pid=13333] ppid=13330 vsize=138180 CPUtime=593.16 cores=1,3,5,7
/proc/13333/stat : 13333 (minisatp) R 13330 13333 11214 0 -1 4202496 66381 0 0 0 59254 62 0 0 20 0 1 0 64953902 141496320 33765 33554432000 4194304 5646918 140734788721872 140734788720584 4403164 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/13333/statm: 34545 33765 185 355 0 34186 0
Current children cumulated CPU time (s) 593.16
Current children cumulated vsize (KiB) 138180

Child status: 0
Real time (s): 593.313
CPU time (s): 593.184
CPU user time (s): 592.562
CPU system time (s): 0.621905
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 349796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 592.562
system time used= 0.621905
maximum resident set size= 283900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66391
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= 58
involuntary context switches= 606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41078 second user time and 2.44263 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-22 22:57:20
IDJOB=4113670
IDBENCH=107858
IDSOLVER=2555
FILE ID=node105/4113670-1466629039
RUNJOBID= node105-1466623604-11231
PBS_JOBID= 19957250
Free space on /tmp= 71728 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_22.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113670-1466629039/watcher-4113670-1466629039 -o /tmp/evaluation-result-4113670-1466629039/solver-4113670-1466629039 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466623604-11231 --watchdog 1960  minisatp HOME/instance-4113670-1466629039.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3dca049f681eb90ab964de60b18deb2d
RANDOM SEED=789029423

node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31803804 kB
Buffers:            5136 kB
Cached:            48568 kB
SwapCached:          704 kB
Active:           157600 kB
Inactive:          24276 kB
Active(anon):     129632 kB
Inactive(anon):      984 kB
Active(file):      27968 kB
Inactive(file):    23292 kB
Unevictable:      178988 kB
Mlocked:          164680 kB
SwapTotal:      67108856 kB
SwapFree:       67100164 kB
Dirty:              8912 kB
Writeback:             0 kB
AnonPages:        310888 kB
Mapped:             7892 kB
Shmem:                 0 kB
Slab:             572140 kB
SReclaimable:      15040 kB
SUnreclaim:       557100 kB
KernelStack:        1432 kB
PageTables:         5020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     431104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4113670-1466629039.opb

Free space on /tmp at the end= 71724 MiB
End job on node105 at 2016-06-22 23:07:13