Trace number 4112750

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742bSAT (TO)34 1800.02 1800.31

General information on the benchmark

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

Verifier Data 

OK	34

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-4112750-1466564261/watcher-4112750-1466564261 -o /tmp/evaluation-result-4112750-1466564261/solver-4112750-1466564261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466551518-27979 --watchdog 1960 minisatp HOME/instance-4112750-1466564261.opb 

pid=29725
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 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.22 2.23 2.18 3/176 29728
/proc/meminfo: memFree=29325540/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=8280 CPUtime=0 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 58471895 8478720 630 33554432000 4194304 5646918 140736602847936 140737413333224 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 2070 630 94 355 0 1711 0

[startup+0.100154 s]
/proc/loadavg: 2.22 2.23 2.18 3/176 29728
/proc/meminfo: memFree=29325540/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=13992 CPUtime=0.09 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 2184 0 0 0 9 0 0 0 20 0 1 0 58471895 14327808 2018 33554432000 4194304 5646918 140736602847936 140737413333224 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 3498 2018 94 355 0 3139 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13992

[startup+0.200326 s]
/proc/loadavg: 2.22 2.23 2.18 3/176 29728
/proc/meminfo: memFree=29325540/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=19528 CPUtime=0.19 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 3595 0 0 0 19 0 0 0 20 0 1 0 58471895 19996672 3429 33554432000 4194304 5646918 140736602847936 140737413333224 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 4882 3430 94 355 0 4523 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19528

[startup+0.300294 s]
/proc/loadavg: 2.22 2.23 2.18 3/176 29728
/proc/meminfo: memFree=29325540/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=25412 CPUtime=0.29 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 5033 0 0 0 28 1 0 0 20 0 1 0 58471895 26021888 4867 33554432000 4194304 5646918 140736602847936 140737413333224 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 6353 4867 94 355 0 5994 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25412

[startup+0.70021 s]
/proc/loadavg: 2.22 2.23 2.18 3/176 29728
/proc/meminfo: memFree=29325540/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=32152 CPUtime=0.69 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 8145 0 0 0 66 3 0 0 20 0 1 0 58471895 32923648 7685 33554432000 4194304 5646918 140736602847936 140737413333224 4460868 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 8038 7685 137 355 0 7679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32152

[startup+1.50023 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 29729
/proc/meminfo: memFree=29291588/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=32152 CPUtime=1.49 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 8145 0 0 0 146 3 0 0 20 0 1 0 58471895 32923648 7685 33554432000 4194304 5646918 140736602847936 140736602846600 4346528 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 8038 7685 137 355 0 7679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32152

[startup+3.10029 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 29729
/proc/meminfo: memFree=29291216/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=32152 CPUtime=3.09 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 8145 0 0 0 306 3 0 0 20 0 1 0 58471895 32923648 7685 33554432000 4194304 5646918 140736602847936 140736602846600 4832054 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 8038 7685 137 355 0 7679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32152

[startup+6.30023 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 29729
/proc/meminfo: memFree=29288432/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=33184 CPUtime=6.29 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 8395 0 0 0 626 3 0 0 20 0 1 0 58471895 33980416 7935 33554432000 4194304 5646918 140736602847936 140736602368056 4346594 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 8296 7935 137 355 0 7937 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33184

[startup+12.7002 s]
/proc/loadavg: 2.26 2.24 2.19 4/177 29729
/proc/meminfo: memFree=29262612/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=58120 CPUtime=12.68 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 12087 0 0 0 1265 3 0 0 20 0 1 0 58471895 59514880 13816 33554432000 4194304 5646918 140736602847936 140736602846600 4563504 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 14530 13816 186 355 0 14171 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58120

[startup+25.5003 s]
/proc/loadavg: 2.49 2.29 2.20 3/177 29729
/proc/meminfo: memFree=29753148/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=70252 CPUtime=25.49 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 13038 0 0 0 2545 4 0 0 20 0 1 0 58471895 71938048 16808 33554432000 4194304 5646918 140736602847936 140736602846600 4824677 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 17563 16808 187 355 0 17204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70252

[startup+51.1004 s]
/proc/loadavg: 2.38 2.28 2.20 4/177 29729
/proc/meminfo: memFree=29752644/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=69656 CPUtime=51.08 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 13732 0 0 0 5104 4 0 0 20 0 1 0 58471895 71327744 17109 33554432000 4194304 5646918 140736602847936 140736602846248 4817409 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 17414 17109 189 355 0 17055 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69656

[startup+102.3 s]
/proc/loadavg: 2.20 2.25 2.19 4/177 29730
/proc/meminfo: memFree=29719080/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=111612 CPUtime=102.27 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 16927 0 0 0 10221 6 0 0 20 0 1 0 58471895 114290688 24995 33554432000 4194304 5646918 140736602847936 140736602846600 4824670 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 27903 24995 190 355 0 27544 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 111612

[startup+162.3 s]
/proc/loadavg: 2.34 2.28 2.20 3/178 29734
/proc/meminfo: memFree=29515536/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=168636 CPUtime=162.26 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 19540 0 0 0 16216 10 0 0 20 0 1 0 58471895 172683264 33912 33554432000 4194304 5646918 140736602847936 140736602846232 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 42159 33912 190 355 0 41800 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 168636

[startup+222.307 s]
/proc/loadavg: 2.35 2.29 2.21 3/178 29758
/proc/meminfo: memFree=29449292/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=168636 CPUtime=222.26 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 21582 0 0 0 22211 15 0 0 20 0 1 0 58471895 172683264 35448 33554432000 4194304 5646918 140736602847936 140736602846232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 42159 35448 190 355 0 41800 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 168636

[startup+282.3 s]
/proc/loadavg: 2.31 2.28 2.20 4/177 29760
/proc/meminfo: memFree=29410672/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=168636 CPUtime=282.24 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 23749 0 0 0 28204 20 0 0 20 0 1 0 58471895 172683264 34936 33554432000 4194304 5646918 140736602847936 140736602846232 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 42159 34936 190 355 0 41800 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 168636

[startup+342.3 s]
/proc/loadavg: 2.30 2.28 2.21 3/177 29761
/proc/meminfo: memFree=29321136/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=249544 CPUtime=342.23 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 25901 0 0 0 34200 23 0 0 20 0 1 0 58471895 255533056 46056 33554432000 4194304 5646918 140736602847936 140736602846632 4403087 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 62386 46056 190 355 0 62027 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 249544

[startup+402.3 s]
/proc/loadavg: 2.24 2.27 2.21 3/177 29762
/proc/meminfo: memFree=29320268/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=199456 CPUtime=402.22 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 27353 0 0 0 40196 26 0 0 20 0 1 0 58471895 204242944 39611 33554432000 4194304 5646918 140736602847936 140736602846632 4403411 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 49864 39611 190 355 0 49505 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 199456

[startup+462.3 s]
/proc/loadavg: 2.25 2.28 2.21 4/177 29763
/proc/meminfo: memFree=29359392/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=119316 CPUtime=462.21 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 28130 0 0 0 46193 28 0 0 20 0 1 0 58471895 122179584 26120 33554432000 4194304 5646918 140736602847936 140736602846648 4403173 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 29829 26120 190 355 0 29470 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 119316

[startup+522.3 s]
/proc/loadavg: 2.22 2.27 2.21 3/177 29764
/proc/meminfo: memFree=29310228/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=168636 CPUtime=522.21 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 29817 0 0 0 52189 32 0 0 20 0 1 0 58471895 172683264 35448 33554432000 4194304 5646918 140736602847936 140736602846232 4398908 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 42159 35448 190 355 0 41800 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 168636

[startup+582.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 29766
/proc/meminfo: memFree=29258456/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=199456 CPUtime=582.19 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 31828 0 0 0 58184 35 0 0 20 0 1 0 58471895 204242944 43195 33554432000 4194304 5646918 140736602847936 140736602846632 4402815 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 49864 43195 190 355 0 49505 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 199456


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


[startup+942.3 s]
/proc/loadavg: 2.31 2.31 2.24 3/177 29776
/proc/meminfo: memFree=29185952/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=131840 CPUtime=942.14 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 40146 0 0 0 94163 51 0 0 20 0 1 0 58471895 135004160 32662 33554432000 4194304 5646918 140736602847936 140736602846648 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 32960 32662 190 355 0 32601 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 131840

[startup+1002.3 s]
/proc/loadavg: 2.30 2.31 2.25 4/177 29777
/proc/meminfo: memFree=29650932/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=181160 CPUtime=1002.13 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 41835 0 0 0 100159 54 0 0 20 0 1 0 58471895 185507840 42502 33554432000 4194304 5646918 140736602847936 140736602846232 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 45290 42502 190 355 0 44931 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 181160

[startup+1062.3 s]
/proc/loadavg: 2.39 2.34 2.26 3/177 29778
/proc/meminfo: memFree=29557916/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=181160 CPUtime=1062.12 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 43100 0 0 0 106156 56 0 0 20 0 1 0 58471895 185507840 44945 33554432000 4194304 5646918 140736602847936 140736602846232 4403431 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 45290 44945 190 355 0 44931 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 181160

[startup+1122.3 s]
/proc/loadavg: 2.43 2.37 2.27 3/177 29779
/proc/meminfo: memFree=29498612/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=211980 CPUtime=1122.12 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 44022 0 0 0 112153 59 0 0 20 0 1 0 58471895 217067520 48204 33554432000 4194304 5646918 140736602847936 140736602846632 4402824 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 52995 48204 190 355 0 52636 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 211980

[startup+1182.3 s]
/proc/loadavg: 2.17 2.31 2.26 4/177 29837
/proc/meminfo: memFree=30069452/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=181160 CPUtime=1182.1 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 44417 0 0 0 118149 61 0 0 20 0 1 0 58471895 185507840 40969 33554432000 4194304 5646918 140736602847936 140736602846232 4402916 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 45290 40969 190 355 0 44931 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 181160

[startup+1242.3 s]
/proc/loadavg: 2.22 2.30 2.26 3/177 29893
/proc/meminfo: memFree=30044552/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=181160 CPUtime=1242.1 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 45863 0 0 0 124146 64 0 0 20 0 1 0 58471895 185507840 41481 33554432000 4194304 5646918 140736602847936 140736602846232 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 45290 41481 190 355 0 44931 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 181160

[startup+1302.3 s]
/proc/loadavg: 2.40 2.33 2.27 3/177 29894
/proc/meminfo: memFree=30028268/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=131840 CPUtime=1302.08 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 47188 0 0 0 130142 66 0 0 20 0 1 0 58471895 135004160 32665 33554432000 4194304 5646918 140736602847936 140736602846648 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 32960 32665 190 355 0 32601 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 131840

[startup+1362.3 s]
/proc/loadavg: 2.36 2.34 2.28 4/178 29898
/proc/meminfo: memFree=30023160/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=181160 CPUtime=1362.08 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 48047 0 0 0 136139 69 0 0 20 0 1 0 58471895 185507840 41993 33554432000 4194304 5646918 140736602847936 140736602846232 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 45290 41993 190 355 0 44931 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 181160

[startup+1422.3 s]
/proc/loadavg: 2.47 2.38 2.29 3/177 29899
/proc/meminfo: memFree=29978300/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=211980 CPUtime=1422.07 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 49375 0 0 0 142136 71 0 0 20 0 1 0 58471895 217067520 49228 33554432000 4194304 5646918 140736602847936 140736602846632 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 52995 49228 190 355 0 52636 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 211980

[startup+1482.3 s]
/proc/loadavg: 2.30 2.35 2.28 3/177 29901
/proc/meminfo: memFree=30019828/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=155484 CPUtime=1482.05 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 51486 0 0 0 148130 75 0 0 20 0 1 0 58471895 159215616 38573 33554432000 4194304 5646918 140736602847936 140736602846648 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 38871 38573 190 355 0 38512 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 155484

[startup+1542.31 s]
/proc/loadavg: 2.22 2.33 2.28 4/177 29902
/proc/meminfo: memFree=29977172/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=204804 CPUtime=1542.05 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 53175 0 0 0 154127 78 0 0 20 0 1 0 58471895 209719296 49437 33554432000 4194304 5646918 140736602847936 140736602846232 4399784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 51201 49437 190 355 0 50842 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 204804

[startup+1602.3 s]
/proc/loadavg: 2.28 2.33 2.27 3/177 29903
/proc/meminfo: memFree=29968532/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=235624 CPUtime=1602.03 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 55320 0 0 0 160122 81 0 0 20 0 1 0 58471895 241278976 51552 33554432000 4194304 5646918 140736602847936 140736602846632 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 58906 51552 190 355 0 58547 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 235624

[startup+1662.3 s]
/proc/loadavg: 2.30 2.32 2.27 3/177 29904
/proc/meminfo: memFree=29970936/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=235624 CPUtime=1662.03 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 56880 0 0 0 166119 84 0 0 20 0 1 0 58471895 241278976 51552 33554432000 4194304 5646918 140736602847936 140736602846632 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 58906 51552 190 355 0 58547 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 235624

[startup+1722.3 s]
/proc/loadavg: 2.28 2.32 2.27 4/177 29905
/proc/meminfo: memFree=29931012/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=235624 CPUtime=1722.02 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 58431 0 0 0 172116 86 0 0 20 0 1 0 58471895 241278976 53088 33554432000 4194304 5646918 140736602847936 140736602846632 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 58906 53088 190 355 0 58547 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 235624

[startup+1782.3 s]
/proc/loadavg: 2.30 2.32 2.27 3/176 29906
/proc/meminfo: memFree=29972892/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=204804 CPUtime=1782.01 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 59400 0 0 0 178112 89 0 0 20 0 1 0 58471895 209719296 50461 33554432000 4194304 5646918 140736602847936 140736602846232 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 51201 50461 190 355 0 50842 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 204804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.35 2.33 2.28 3/177 29908
/proc/meminfo: memFree=29956436/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=235624 CPUtime=1800.01 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 59995 0 0 0 179912 89 0 0 20 0 1 0 58471895 241278976 54624 33554432000 4194304 5646918 140736602847936 140736602846632 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 58906 54624 190 355 0 58547 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 235624

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.3 s]
/proc/loadavg: 2.35 2.33 2.28 3/177 29908
/proc/meminfo: memFree=29956436/32872528 swapFree=1499884/1696108
[pid=29728] ppid=29725 vsize=235624 CPUtime=1800.01 cores=0,2,4,6
/proc/29728/stat : 29728 (minisatp) R 29725 29728 27963 0 -1 4202496 59995 0 0 0 179912 89 0 0 20 0 1 0 58471895 241278976 54624 33554432000 4194304 5646918 140736602847936 140736602846632 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29728/statm: 58906 54624 190 355 0 58547 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 235624

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.12
CPU system time (s): 0.900863
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 285712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.900863
maximum resident set size= 246324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59995
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= 16
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5873 second user time and 6.90495 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-22 04:57:42
IDJOB=4112750
IDBENCH=24973
IDSOLVER=2555
FILE ID=node137/4112750-1466564261
RUNJOBID= node137-1466551518-27979
PBS_JOBID= 19943328
Free space on /tmp= 71648 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112750-1466564261/watcher-4112750-1466564261 -o /tmp/evaluation-result-4112750-1466564261/solver-4112750-1466564261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466551518-27979 --watchdog 1960  minisatp HOME/instance-4112750-1466564261.opb

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

MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4
RANDOM SEED=640811208

node137.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.486
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	: 5332.97
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.486
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.486
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.56
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.486
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.486
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.55
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.486
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.38
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.486
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.56
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.486
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29325440 kB
Buffers:           73236 kB
Cached:            86216 kB
SwapCached:         1560 kB
Active:           995408 kB
Inactive:          98908 kB
Active(anon):     934980 kB
Inactive(anon):     2104 kB
Active(file):      60428 kB
Inactive(file):    96804 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100532 kB
Dirty:              5048 kB
Writeback:             4 kB
AnonPages:       2648160 kB
Mapped:             9516 kB
Shmem:                 0 kB
Slab:             602640 kB
SReclaimable:      46576 kB
SUnreclaim:       556064 kB
KernelStack:        1432 kB
PageTables:         9400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2826472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1107968 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-4112750-1466564261.opb

Free space on /tmp at the end= 71648 MiB
End job on node137 at 2016-06-22 05:27:42