Trace number 3725773

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
pwbo 2.02SAT (TO)-9467 1800.08 900.421

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark26.399
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3725773-1338651550.opb.
0.00/0.00	c Instance file HOME/instance-3725773-1338651550.opb
0.00/0.00	c File size is 1509680 bytes.
0.09/0.15	c Cost Offset: -11139
0.09/0.15	c Highest Coefficient sum: 7117
0.09/0.15	c ============================[ Problem Statistics ]=============================
0.09/0.15	c |                                                                             |
0.09/0.15	c |  Parsing time:          0.15         s                                      |
0.09/0.15	c |  Number Variables:      12596                                               |
0.09/0.15	c |  Number Clauses:        2176                                                |
0.09/0.15	c |  Number Cardinality:    12361                                               |
0.09/0.15	c |  Number PB Constraints: 652                                                 |
0.09/0.15	c |                                                                             |
0.09/0.16	c |  Problem Type:          Optimization                                        |
0.09/0.16	c |  Objective Function:    PB Constraint                                       |
0.09/0.16	c |                                                                             |
0.09/0.16	c ===============================================================================
274.15/137.26	o -330
274.15/137.26	o -944
274.15/137.26	o -1594
274.15/137.26	o -1669
274.15/137.26	o -3664
274.15/137.26	o -3665
274.15/137.26	o -3731
274.15/137.26	o -3831
274.15/137.26	o -4053
274.15/137.26	o -4072
274.15/137.26	o -4250
274.15/137.26	o -4260
274.15/137.26	o -4413
274.15/137.26	o -4415
274.15/137.26	o -4419
274.15/137.26	o -4421
274.15/137.26	o -4423
274.15/137.26	o -4430
274.15/137.26	o -4922
274.15/137.26	o -4926
274.15/137.26	o -4927
274.15/137.26	o -4956
274.15/137.26	o -4957
274.15/137.26	o -4960
274.15/137.26	o -5942
274.15/137.26	o -5946
274.15/137.26	o -5951
274.15/137.26	o -5955
274.15/137.26	o -5959
274.15/137.26	o -5962
274.15/137.26	o -5964
274.15/137.26	o -5969
274.15/137.26	o -5974
274.15/137.26	o -5979
274.15/137.26	o -5983
274.15/137.26	o -5988
274.15/137.26	o -6179
274.15/137.26	o -6180
274.15/137.26	o -6181
274.15/137.26	o -6184
274.15/137.26	o -6191
274.15/137.26	o -6192
274.15/137.26	o -6194
274.15/137.26	o -6195
274.15/137.26	o -6200
274.15/137.26	o -6203
274.15/137.26	o -6205
274.15/137.26	o -6206
274.15/137.26	o -6210
274.15/137.26	o -6211
274.15/137.26	o -6213
274.15/137.26	o -6214
274.15/137.26	o -6215
274.15/137.26	o -6219
274.15/137.26	o -6268
274.15/137.26	o -6269
274.15/137.26	o -6270
274.15/137.26	o -6275
274.15/137.26	o -6277
274.15/137.26	o -6280
274.15/137.26	o -6286
274.15/137.26	o -6290
274.15/137.26	o -6294
274.15/137.26	o -6296
274.15/137.26	o -6299
274.15/137.26	o -6304
274.15/137.26	o -6305
274.15/137.26	o -6309
274.15/137.26	o -6311
274.15/137.26	o -6315
274.15/137.26	o -6318
274.15/137.26	o -6411
274.15/137.26	o -6415
274.15/137.26	o -6878
274.15/137.26	o -6883
274.15/137.26	o -6887
274.15/137.26	o -6891
274.15/137.26	o -6895
274.15/137.26	o -6899
274.15/137.26	o -6909
274.15/137.26	o -6914
274.15/137.26	o -6919
274.15/137.26	o -6924
274.15/137.26	o -6927
274.15/137.26	o -6928
274.15/137.26	o -6951
274.15/137.26	o -6955
274.15/137.26	o -6957
274.15/137.26	o -6960
274.15/137.26	o -6965
274.15/137.26	o -6967
274.15/137.26	o -6969
274.15/137.26	o -6970
274.15/137.26	o -6975
274.15/137.26	o -6977
274.15/137.26	o -6981
274.15/137.26	o -6984
274.15/137.26	o -6989
274.15/137.26	o -6993
274.15/137.26	o -6998
274.15/137.26	o -6999
274.15/137.26	o -7002
274.15/137.26	o -7004
274.15/137.26	o -7006
274.15/137.26	o -7007
274.15/137.26	o -7010
274.15/137.26	o -7013
274.15/137.26	o -7017
274.15/137.26	o -7019
274.15/137.26	o -7020
274.15/137.26	o -7025
274.15/137.26	o -7028
274.15/137.26	o -7029
274.15/137.26	o -7030
274.15/137.26	o -7031
274.15/137.26	o -7032
274.15/137.26	o -7036
274.15/137.26	o -7037
274.15/137.26	o -7039
274.15/137.26	o -7041
274.15/137.26	o -7043
274.15/137.26	o -7045
274.15/137.26	o -7048
274.15/137.26	o -7051
274.15/137.26	o -7054
274.15/137.26	o -7059
274.15/137.26	o -7061
274.15/137.26	o -7066
274.15/137.26	o -7069
274.15/137.26	o -7070
274.15/137.26	o -7075
274.15/137.26	o -7078
274.15/137.26	o -7081
274.15/137.26	o -7086
274.15/137.26	o -7090
274.15/137.26	o -7092
274.15/137.26	o -7097
274.15/137.26	o -7100
274.15/137.26	o -7101
274.15/137.26	o -7102
274.15/137.26	o -7105
274.15/137.26	o -7106
274.15/137.26	o -7108
274.15/137.26	o -7111
274.15/137.26	o -7114
274.15/137.26	o -7115
274.15/137.26	o -7119
274.15/137.26	o -7120
274.15/137.26	o -7124
274.15/137.26	o -7128
274.15/137.26	o -7131
274.15/137.26	o -7135
274.15/137.26	o -7139
274.15/137.26	o -7142
274.15/137.26	o -7145
274.15/137.26	o -7150
274.15/137.26	o -7153
274.15/137.26	o -7154
274.15/137.26	o -7155
274.15/137.26	o -7160
274.15/137.26	o -7161
274.15/137.26	o -7165
274.15/137.26	o -7168
274.15/137.26	o -7169
274.15/137.26	o -7172
274.15/137.26	o -7174
274.15/137.26	o -7175
274.15/137.26	o -7176
274.15/137.26	o -7180
274.15/137.26	o -7184
274.15/137.26	o -7185
274.15/137.26	o -7187
274.15/137.26	o -7189
274.15/137.26	o -7190
274.15/137.26	o -7192
274.15/137.26	o -7196
274.15/137.26	o -7199
274.15/137.26	o -7204
274.15/137.26	o -7205
274.15/137.26	o -7210
274.15/137.26	o -7215
274.15/137.26	o -7217
274.15/137.26	o -7222
274.15/137.26	o -7225
274.15/137.26	o -7229
274.15/137.26	o -7234
274.15/137.26	o -7236
274.15/137.26	o -7240
274.15/137.26	o -7245
274.15/137.26	o -7250
274.15/137.26	o -7253
274.15/137.26	o -7258
274.15/137.26	o -7261
274.15/137.26	o -7264
274.15/137.26	o -7269
274.15/137.26	o -7270
274.15/137.26	o -7271
274.15/137.26	o -7276
274.15/137.26	o -7278
274.15/137.26	o -7279
274.15/137.26	o -7284
274.15/137.26	o -7287
274.15/137.26	o -7289
274.15/137.26	o -7291
274.15/137.26	o -7292
274.15/137.26	o -7296
274.15/137.26	o -7300
274.15/137.26	o -7302
274.15/137.26	o -7304
274.15/137.26	o -7305
274.15/137.26	o -7309
274.15/137.26	o -7311
274.15/137.26	o -7316
274.15/137.26	o -7320
274.15/137.26	o -7321
274.15/137.26	o -7323
274.15/137.26	o -7324
274.15/137.26	o -7327
274.15/137.26	o -7332
274.15/137.26	o -7337
274.15/137.26	o -7338
274.15/137.26	o -7343
274.15/137.26	o -7346
274.15/137.26	o -7347
274.15/137.26	o -7355
274.15/137.26	o -7359
274.15/137.26	o -7398
274.15/137.26	o -7403
274.15/137.26	o -7407
274.15/137.26	o -7408
274.15/137.26	o -7413
274.15/137.26	o -7415
274.15/137.26	o -7416
274.15/137.26	o -7419
274.15/137.26	o -7420
274.15/137.26	o -7424
274.15/137.26	o -7425
274.15/137.26	o -7426
274.15/137.26	o -7431
274.15/137.26	o -7434
274.15/137.26	o -7437
274.15/137.26	o -7442
274.15/137.26	o -7443
274.15/137.26	o -7447
274.15/137.26	o -7451
274.15/137.26	o -7454
274.15/137.26	o -7455
274.15/137.26	o -7463
274.15/137.26	o -7468
274.15/137.26	o -7478
274.15/137.26	o -7483
274.15/137.26	o -7488
274.15/137.26	o -7490
274.15/137.26	o -7494
274.15/137.26	o -7497
274.15/137.26	o -7499
274.15/137.26	o -7504
274.15/137.26	o -7505
274.15/137.26	o -7506
274.15/137.26	o -7510
274.15/137.26	o -7511
274.15/137.26	o -7513
274.15/137.26	o -7514
274.15/137.26	o -7515
274.15/137.26	o -7516
274.15/137.26	o -7521
274.15/137.26	o -7522
274.15/137.26	o -7524
274.15/137.26	o -7525
274.15/137.26	o -7526
274.15/137.26	o -7530
274.15/137.26	o -7535
274.15/137.26	o -7538
274.15/137.26	o -7540
274.15/137.26	o -7545
274.15/137.26	o -7550
274.15/137.26	o -7551
274.15/137.26	o -7555
274.15/137.26	o -7560
274.15/137.26	o -7561
274.15/137.26	o -7562
274.15/137.26	o -7564
274.15/137.26	o -7565
274.15/137.26	o -7570
274.15/137.26	o -7572
274.15/137.26	o -7577
274.15/137.26	o -7582
274.15/137.26	o -7583
274.15/137.26	o -7586
274.15/137.26	o -7589
274.15/137.26	o -7592
274.15/137.26	o -7596
274.15/137.26	o -7600
274.15/137.26	o -7603
274.15/137.26	o -7608
274.15/137.26	o -7611
274.15/137.26	o -7614
274.15/137.26	o -7617
274.15/137.26	o -7620
274.15/137.26	o -7625
274.15/137.26	o -7630
274.15/137.26	o -7632
274.15/137.26	o -7637
274.15/137.26	o -7642
274.15/137.26	o -7646
274.15/137.26	o -7650
274.15/137.26	o -7653
274.15/137.26	o -7657
274.15/137.26	o -7661
274.15/137.26	o -7666
274.15/137.26	o -7670
274.15/137.26	o -7675
274.15/137.26	o -7679
274.15/137.26	o -7681
274.15/137.26	o -7686
274.15/137.26	o -7687
274.15/137.26	o -7692
274.15/137.26	o -7697
274.15/137.26	o -7702
274.15/137.26	o -7703
274.15/137.26	o -7705
274.15/137.26	o -7709
274.15/137.26	o -7710
274.15/137.26	o -7711
274.15/137.26	o -7716
274.15/137.26	o -7717
274.15/137.26	o -7721
274.15/137.26	o -7726
274.15/137.26	o -7727
274.15/137.26	o -7729
274.15/137.26	o -7730
274.15/137.26	o -7731
274.15/137.26	o -7733
274.15/137.26	o -7738
274.15/137.26	o -7740
274.15/137.26	o -7741
274.15/137.26	o -7742
274.15/137.26	o -7744
274.15/137.26	o -7747
274.15/137.26	o -7752
274.15/137.26	o -7753
274.15/137.26	o -7755
274.15/137.26	o -7758
274.15/137.26	o -7763
274.15/137.26	o -7768
274.15/137.26	o -7771
274.15/137.26	o -7776
274.15/137.26	o -7779
274.15/137.26	o -7781
274.15/137.26	o -7783
274.15/137.26	o -7784
274.15/137.26	o -7786
274.15/137.26	o -7791
274.15/137.26	o -7796
274.15/137.26	o -7800
274.15/137.26	o -7805
274.15/137.26	o -7806
274.15/137.26	o -7810
274.15/137.26	o -7815
274.15/137.26	o -7819
274.15/137.26	o -7824
274.15/137.26	o -7826
274.15/137.26	o -7831
274.15/137.26	o -7834
274.15/137.26	o -7839
274.15/137.26	o -7842
274.15/137.26	o -7844
274.15/137.26	o -7849
274.15/137.26	o -7854
274.15/137.26	o -7855
274.15/137.26	o -7856
274.15/137.26	o -7857
274.15/137.26	o -7860
274.15/137.26	o -7864
274.15/137.26	o -7866
274.15/137.26	o -7870
274.15/137.26	o -7871
274.15/137.26	o -7876
274.15/137.26	o -7881
274.15/137.26	o -7882
274.15/137.26	o -7886
274.15/137.26	o -7889
274.15/137.26	o -7894
274.15/137.26	o -7899
274.15/137.26	o -7900
274.15/137.26	o -7905
274.15/137.26	o -7907
274.15/137.26	o -7912
274.15/137.26	o -7913
274.15/137.26	o -7918
274.15/137.26	o -7923
274.15/137.26	o -7925
274.15/137.26	o -7929
274.15/137.26	o -7930
274.15/137.26	o -7933
274.15/137.26	o -7934
274.15/137.26	o -7937
274.15/137.26	o -7938
274.15/137.26	o -7942
274.15/137.26	o -7945
274.15/137.26	o -7946
274.15/137.26	o -7949
274.15/137.26	o -7953
274.15/137.26	o -7956
274.15/137.26	o -7959
274.15/137.26	o -7960
274.15/137.26	o -7961
274.15/137.26	o -7965
274.15/137.26	o -7966
274.15/137.26	o -7967
274.15/137.26	o -7971
274.15/137.26	o -7975
274.15/137.26	o -7977
274.15/137.26	o -7980
274.15/137.26	o -7984
274.15/137.26	o -7989
274.15/137.26	o -7990
274.15/137.26	o -7993
274.15/137.26	o -7995
274.15/137.26	o -8000
274.15/137.26	o -8002
274.15/137.26	o -8005
274.15/137.26	o -8009
274.15/137.26	o -8010
274.15/137.26	o -8011
274.15/137.26	o -8015
274.15/137.26	o -8018
274.15/137.26	o -8020
274.15/137.26	o -8024
274.15/137.26	o -8029
274.15/137.26	o -8030
274.15/137.26	o -8035
274.15/137.26	o -8038
274.15/137.26	o -8042
274.15/137.26	o -8043
274.15/137.26	o -8044
274.15/137.26	o -8045
274.15/137.26	o -8049
274.15/137.26	o -8050
274.15/137.26	o -8051
274.15/137.26	o -8054
274.15/137.26	o -8056
274.15/137.26	o -8061
274.15/137.26	o -8064
274.15/137.26	o -8066
274.15/137.26	o -8071
274.15/137.26	o -8076
274.15/137.26	o -8080
274.15/137.26	o -8081
274.15/137.26	o -8085
274.15/137.26	o -8088
274.15/137.26	o -8092
274.15/137.26	o -8096
274.15/137.26	o -8101
274.15/137.26	o -8105
274.15/137.26	o -8106
274.15/137.26	o -8108
274.15/137.26	o -8110
274.15/137.26	o -8111
274.15/137.26	o -8115
274.15/137.26	o -8118
274.15/137.26	o -8123
274.15/137.26	o -8125
274.15/137.26	o -8128
274.15/137.26	o -8130
274.15/137.26	o -8133
274.15/137.26	o -8136
274.15/137.26	o -8138
274.15/137.26	o -8140
274.15/137.26	o -8141
274.15/137.26	o -8145
274.15/137.26	o -8149
274.15/137.26	o -8152
274.15/137.26	o -8156
274.15/137.26	o -8160
274.15/137.26	o -8161
274.15/137.26	o -8165
274.15/137.26	o -8168
274.15/137.26	o -8169
274.15/137.26	o -8170
274.15/137.26	o -8171
274.15/137.26	o -8175
274.15/137.26	o -8179
274.15/137.26	o -8180
274.15/137.26	o -8183
274.15/137.26	o -8188
274.15/137.26	o -8190
274.15/137.26	o -8192
274.15/137.26	o -8194
274.15/137.26	o -8195
274.15/137.26	o -8196
274.15/137.26	o -8197
274.15/137.26	o -8199
274.15/137.26	o -8201
274.15/137.26	o -8202
274.15/137.26	o -8207
274.15/137.26	o -8212
274.15/137.26	o -8216
274.15/137.26	o -8219
274.15/137.26	o -8220
274.15/137.26	o -8225
274.15/137.26	o -8226
274.15/137.26	o -8228
274.15/137.26	o -8231
274.15/137.26	o -8232
274.15/137.26	o -8235
274.15/137.26	o -8237
274.15/137.26	o -8241
274.15/137.26	o -8244
274.15/137.26	o -8246
274.15/137.26	o -8249
274.15/137.26	o -8250
274.15/137.26	o -8252
1800.08/900.41	o -8255
1800.08/900.41	o -8257
1800.08/900.41	o -8262
1800.08/900.41	o -8266
1800.08/900.41	o -8268
1800.08/900.41	o -8270
1800.08/900.41	o -8272
1800.08/900.41	o -8275
1800.08/900.41	o -8280
1800.08/900.41	o -8282
1800.08/900.41	o -8284
1800.08/900.41	o -8286
1800.08/900.41	o -8290
1800.08/900.41	o -8295
1800.08/900.41	o -8296
1800.08/900.41	o -8300
1800.08/900.41	o -8304
1800.08/900.41	o -8305
1800.08/900.41	o -8307
1800.08/900.41	o -8310
1800.08/900.41	o -8315
1800.08/900.41	o -8318
1800.08/900.41	o -8320
1800.08/900.41	o -8322
1800.08/900.41	o -8326
1800.08/900.41	o -8330
1800.08/900.41	o -8333
1800.08/900.41	o -8334
1800.08/900.41	o -8335
1800.08/900.41	o -8336
1800.08/900.41	o -8340
1800.08/900.41	o -8344
1800.08/900.41	o -8346
1800.08/900.41	o -8347
1800.08/900.41	o -8352
1800.08/900.41	o -8354
1800.08/900.41	o -8355
1800.08/900.41	o -8360
1800.08/900.41	o -8361
1800.08/900.41	o -8363
1800.08/900.41	o -8366
1800.08/900.41	o -8370
1800.08/900.41	o -8371
1800.08/900.41	o -8373
1800.08/900.41	o -8377
1800.08/900.41	o -8382
1800.08/900.41	o -8387
1800.08/900.41	o -8388
1800.08/900.41	o -8390
1800.08/900.41	o -8392
1800.08/900.41	o -8395
1800.08/900.41	o -8397
1800.08/900.41	o -8399
1800.08/900.41	o -8400
1800.08/900.41	o -8404
1800.08/900.41	o -8409
1800.08/900.41	o -8410
1800.08/900.41	o -8411
1800.08/900.41	o -8415
1800.08/900.41	o -8417
1800.08/900.41	o -8420
1800.08/900.41	o -8422
1800.08/900.41	o -8425
1800.08/900.41	o -8430
1800.08/900.41	o -8431
1800.08/900.41	o -8435
1800.08/900.41	o -8436
1800.08/900.41	o -8440
1800.08/900.41	o -8442
1800.08/900.41	o -8445
1800.08/900.41	o -8447
1800.08/900.41	o -8449
1800.08/900.41	o -8450
1800.08/900.41	o -8451
1800.08/900.41	o -8456
1800.08/900.41	o -8457
1800.08/900.41	o -8459
1800.08/900.41	o -8464
1800.08/900.41	o -8468
1800.08/900.41	o -8470
1800.08/900.41	o -8472
1800.08/900.41	o -8476
1800.08/900.41	o -8480
1800.08/900.41	o -8483
1800.08/900.41	o -8486
1800.08/900.41	o -8487
1800.08/900.41	o -8490
1800.08/900.41	o -8495
1800.08/900.41	o -8496
1800.08/900.41	o -8500
1800.08/900.41	o -8504
1800.08/900.41	o -8506
1800.08/900.41	o -8507
1800.08/900.41	o -8508
1800.08/900.41	o -8509
1800.08/900.41	o -8510
1800.08/900.41	o -8513
1800.08/900.41	o -8514
1800.08/900.41	o -8516
1800.08/900.41	o -8521
1800.08/900.41	o -8522
1800.08/900.41	o -8527
1800.08/900.41	o -8528
1800.08/900.41	o -8530
1800.08/900.41	o -8535
1800.08/900.41	o -8536
1800.08/900.41	o -8538
1800.08/900.41	o -8540
1800.08/900.41	o -8541
1800.08/900.41	o -8546
1800.08/900.41	o -8550
1800.08/900.41	o -8553
1800.08/900.41	o -8556
1800.08/900.41	o -8560
1800.08/900.41	o -8565
1800.08/900.41	o -8570
1800.08/900.41	o -8575
1800.08/900.41	o -8579
1800.08/900.41	o -8581
1800.08/900.41	o -8586
1800.08/900.41	o -8590
1800.08/900.41	o -8595
1800.08/900.41	o -8596
1800.08/900.41	o -8601
1800.08/900.41	o -8603
1800.08/900.41	o -8604
1800.08/900.41	o -8609
1800.08/900.41	o -8610
1800.08/900.41	o -8613
1800.08/900.41	o -8615
1800.08/900.41	o -8620
1800.08/900.41	o -8621
1800.08/900.41	o -8626
1800.08/900.41	o -8630
1800.08/900.41	o -8633
1800.08/900.41	o -8637
1800.08/900.41	o -8640
1800.08/900.41	o -8641
1800.08/900.41	o -8646
1800.08/900.41	o -8650
1800.08/900.41	o -8655
1800.08/900.41	o -8657
1800.08/900.41	o -8660
1800.08/900.41	o -8661
1800.08/900.41	o -8666
1800.08/900.41	o -8667
1800.08/900.41	o -8671
1800.08/900.41	o -8675
1800.08/900.41	o -8680
1800.08/900.41	o -8681
1800.08/900.41	o -8683
1800.08/900.41	o -8685
1800.08/900.41	o -8686
1800.08/900.41	o -8690
1800.08/900.41	o -8691
1800.08/900.41	o -8695
1800.08/900.41	o -8698
1800.08/900.41	o -8700
1800.08/900.41	o -8703
1800.08/900.41	o -8706
1800.08/900.41	o -8711
1800.08/900.41	o -8716
1800.08/900.41	o -8720
1800.08/900.41	o -8722
1800.08/900.41	o -8726
1800.08/900.41	o -8730
1800.08/900.41	o -8731
1800.08/900.41	o -8733
1800.08/900.41	o -8735
1800.08/900.41	o -8740
1800.08/900.41	o -8745
1800.08/900.41	o -8748
1800.08/900.41	o -8749
1800.08/900.41	o -8750
1800.08/900.41	o -8755
1800.08/900.41	o -8756
1800.08/900.41	o -8758
1800.08/900.41	o -8763
1800.08/900.41	o -8766
1800.08/900.41	o -8771
1800.08/900.41	o -8776
1800.08/900.41	o -8780
1800.08/900.41	o -8785
1800.08/900.41	o -8786
1800.08/900.41	o -8787
1800.08/900.41	o -8788
1800.08/900.41	o -8790
1800.08/900.41	o -8795
1800.08/900.41	o -8797
1800.08/900.41	o -8801
1800.08/900.41	o -8805
1800.08/900.41	o -8808
1800.08/900.41	o -8813
1800.08/900.41	o -8817
1800.08/900.41	o -8820
1800.08/900.41	o -8823
1800.08/900.41	o -8827
1800.08/900.41	o -8831
1800.08/900.41	o -8832
1800.08/900.41	o -8835
1800.08/900.41	o -8836
1800.08/900.41	o -8839
1800.08/900.41	o -8840
1800.08/900.41	o -8845
1800.08/900.41	o -8846
1800.08/900.41	o -8850
1800.08/900.41	o -8855
1800.08/900.41	o -8857
1800.08/900.41	o -8860
1800.08/900.41	o -8865
1800.08/900.41	o -8870
1800.08/900.41	o -8873
1800.08/900.41	o -8875
1800.08/900.41	o -8876
1800.08/900.41	o -8880
1800.08/900.41	o -8883
1800.08/900.41	o -8885
1800.08/900.41	o -8890
1800.08/900.41	o -8895
1800.08/900.41	o -8896
1800.08/900.41	o -8900
1800.08/900.41	o -8905
1800.08/900.41	o -8906
1800.08/900.41	o -8909
1800.08/900.41	o -8910
1800.08/900.41	o -8915
1800.08/900.41	o -8919
1800.08/900.41	o -8920
1800.08/900.41	o -8921
1800.08/900.41	o -8924
1800.08/900.41	o -8928
1800.08/900.41	o -8932
1800.08/900.41	o -8935
1800.08/900.41	o -8936
1800.08/900.41	o -8940
1800.08/900.41	o -8941
1800.08/900.41	o -8945
1800.08/900.41	o -8949
1800.08/900.41	o -8951
1800.08/900.41	o -8952
1800.08/900.41	o -8955
1800.08/900.41	o -8960
1800.08/900.41	o -8963
1800.08/900.41	o -8967
1800.08/900.41	o -8970
1800.08/900.41	o -8975
1800.08/900.41	o -8976
1800.08/900.41	o -8981
1800.08/900.41	o -8985
1800.08/900.41	o -8987
1800.08/900.41	o -8990
1800.08/900.41	o -8995
1800.08/900.41	o -8998
1800.08/900.41	o -9001
1800.08/900.41	o -9005
1800.08/900.41	o -9006
1800.08/900.41	o -9007
1800.08/900.41	o -9008
1800.08/900.41	o -9011
1800.08/900.41	o -9015
1800.08/900.41	o -9018
1800.08/900.41	o -9020
1800.08/900.41	o -9021
1800.08/900.41	o -9025
1800.08/900.41	o -9027
1800.08/900.41	o -9032
1800.08/900.41	o -9036
1800.08/900.41	o -9040
1800.08/900.41	o -9041
1800.08/900.41	o -9045
1800.08/900.41	o -9050
1800.08/900.41	o -9051
1800.08/900.41	o -9052
1800.08/900.41	o -9056
1800.08/900.41	o -9057
1800.08/900.41	o -9060
1800.08/900.41	o -9065
1800.08/900.41	o -9066
1800.08/900.41	o -9068
1800.08/900.41	o -9071
1800.08/900.41	o -9073
1800.08/900.41	o -9076
1800.08/900.41	o -9081
1800.08/900.41	o -9084
1800.08/900.41	o -9085
1800.08/900.41	o -9090
1800.08/900.41	o -9091
1800.08/900.41	o -9096
1800.08/900.41	o -9097
1800.08/900.41	o -9102
1800.08/900.41	o -9105
1800.08/900.41	o -9106
1800.08/900.41	o -9110
1800.08/900.41	o -9111
1800.08/900.41	o -9115
1800.08/900.41	o -9116
1800.08/900.41	o -9118
1800.08/900.41	o -9121
1800.08/900.41	o -9125
1800.08/900.41	o -9128
1800.08/900.41	o -9131
1800.08/900.41	o -9136
1800.08/900.41	o -9138
1800.08/900.41	o -9140
1800.08/900.41	o -9141
1800.08/900.41	o -9145
1800.08/900.41	o -9146
1800.08/900.41	o -9147
1800.08/900.41	o -9151
1800.08/900.41	o -9155
1800.08/900.41	o -9156
1800.08/900.41	o -9161
1800.08/900.41	o -9165
1800.08/900.41	o -9166
1800.08/900.41	o -9170
1800.08/900.41	o -9171
1800.08/900.41	o -9172
1800.08/900.41	o -9175
1800.08/900.41	o -9179
1800.08/900.41	o -9180
1800.08/900.41	o -9181
1800.08/900.41	o -9182
1800.08/900.41	o -9186
1800.08/900.41	o -9190
1800.08/900.41	o -9191
1800.08/900.41	o -9195
1800.08/900.41	o -9196
1800.08/900.41	o -9200
1800.08/900.41	o -9205
1800.08/900.41	o -9210
1800.08/900.41	o -9215
1800.08/900.41	o -9220
1800.08/900.41	o -9225
1800.08/900.41	o -9226
1800.08/900.41	o -9231
1800.08/900.41	o -9232
1800.08/900.41	o -9235
1800.08/900.41	o -9240
1800.08/900.41	o -9245
1800.08/900.41	o -9246
1800.08/900.41	o -9251
1800.08/900.41	o -9255
1800.08/900.41	o -9258
1800.08/900.41	o -9260
1800.08/900.41	o -9265
1800.08/900.41	o -9270
1800.08/900.41	o -9275
1800.08/900.41	o -9280
1800.08/900.41	o -9283
1800.08/900.41	o -9285
1800.08/900.41	o -9286
1800.08/900.41	o -9290
1800.08/900.41	o -9291
1800.08/900.41	o -9293
1800.08/900.41	o -9296
1800.08/900.41	o -9300
1800.08/900.41	o -9301
1800.08/900.41	o -9306
1800.08/900.41	o -9310
1800.08/900.41	o -9311
1800.08/900.41	o -9316
1800.08/900.41	o -9320
1800.08/900.41	o -9325
1800.08/900.41	o -9326
1800.08/900.41	o -9330
1800.08/900.41	o -9332
1800.08/900.41	o -9335
1800.08/900.41	o -9340
1800.08/900.41	o -9345
1800.08/900.41	o -9346
1800.08/900.41	o -9350
1800.08/900.41	o -9352
1800.08/900.41	o -9355
1800.08/900.41	o -9359
1800.08/900.41	o -9360
1800.08/900.41	o -9361
1800.08/900.41	o -9365
1800.08/900.41	o -9366
1800.08/900.41	o -9371
1800.08/900.41	o -9376
1800.08/900.41	o -9380
1800.08/900.41	o -9383
1800.08/900.41	o -9385
1800.08/900.41	o -9386
1800.08/900.41	o -9391
1800.08/900.41	o -9393
1800.08/900.41	o -9395
1800.08/900.41	o -9396
1800.08/900.41	o -9400
1800.08/900.41	o -9401
1800.08/900.41	o -9405
1800.08/900.41	o -9407
1800.08/900.41	o -9410
1800.08/900.41	o -9415
1800.08/900.41	o -9418
1800.08/900.41	o -9420
1800.08/900.41	o -9421
1800.08/900.41	o -9425
1800.08/900.41	o -9428
1800.08/900.41	o -9431
1800.08/900.41	o -9435
1800.08/900.41	o -9437
1800.08/900.41	o -9441
1800.08/900.41	o -9445
1800.08/900.41	o -9447
1800.08/900.41	o -9450
1800.08/900.41	o -9451
1800.08/900.41	o -9455
1800.08/900.41	o -9460
1800.08/900.41	o -9462
1800.08/900.41	o -9465
1800.08/900.41	o -9467
1800.08/900.41	c ===============================================================================
1800.08/900.41	c Wall Clock Time: 900.41 s
1800.08/900.41	c Best Solution: -9467
1800.08/900.41	s SATISFIABLE
1800.08/900.41	v x1 x3190 x4609 x5720 x6862 x8018 x9166 x10315 x11456 x2 x1143 x2043 x2186 x2321 x2452 x2592 x2742 x2901 x3039 x3191 x3362 x3512 x3661 x3813 x3955 x4112 x4271 x4387 x4498 x4610 x4721 x4832 -x4943 x5054 x5165 x5276 x5387 x5498 -x5609 x5721 x5832 x5943 -x6054 -x6055 -x6056 -x6057 -x6058 -x6169 -x6170 -x6171 -x6172 -x6173 -x6284 -x6285 -x6286 -x6287 -x6288 -x6399 -x6400 -x6401 -x6402 -x6403 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7447 -x7448 -x7449 -x7450 -x7561 -x7562 -x7563 -x7564 -x7675 -x7676 -x7677 -x7678 -x7789 -x7790 -x7791 -x7792 -x7903 -x7904 -x7905 -x7906 -x7907 -x8019 -x8020 -x8021 -x8022 -x8023 -x8134 -x8135 -x8136 -x8137 -x8138 -x8249 -x8250 -x8251 -x8252 -x8253 -x8364 -x8365 -x8366 -x8367 -x8368 -x8479 -x8480 -x8481 -x8482 -x8483 -x8594 -x8595 -x8596 -x8597 -x8598 -x8709 -x8710 -x8711 -x8712 -x8713 -x8824 -x8825 -x8826 -x8827 -x8938 -x8939 -x8940 -x8941 -x9052 -x9053 -x9054 -x9055 -x9167 -x9168 -x9169 -x9170 -x9281 -x9282 -x9283 -x9284 -x9285 -x9396 -x9397 -x9398 -x9399 -x9400 -x9511 -x9512 -x9513 -x9514 -x9515 -x9626 -x9627 -x9628 -x9629 -x9630 -x9741 -x9742 -x9743 -x9744 -x9745 -x9856 -x9857 -x9858 -x9859 -x9860 -x9971 -x9972 -x9973 -x9974 -x9975 -x10086 -x10087 -x10088 -x10089 -x10090 -x10201 -x10202 -x10203 -x10204 -x10316 -x10317 -x10318 -x10319 -x10430 -x10431 -x10432 -x10433 -x10544 -x10545 -x10546 -x10547 -x10658 -x10659 -x10660 -x10661 -x10772 -x10773 -x10774 -x10775 -x10886 -x10887 -x10888 -x10889 -x11000 -x11001 -x11002 -x11003 -x11114 -x11115 -x11116 -x11117 -x11228 -x11229 -x11230 -x11231 -x11342 -x11343 -x11344 -x11345 -x11457 -x11458 -x11459 -x11460 -x11571 -x11572 -x11573 -x11574 -x11685 -x11686 -x11687 -x11688 -x11799 -x11800 -x11801 -x11802 -x11913 -x11914 -x11915 -x11916 -x12027 -x12028 -x12029 -x12030 -x12141 -x12142 -x12143 -x12144 -x12255 -x12256 -x12257 -x12258 -x12369 -x12370 -x12371 -x12372 -x12483 -x12484 -x12485 -x12486 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x345 -x346 -x347 -x348 -x459 -x460 -x461 -x462 -x573 -x574 x575 -x576 -x687 -x688 -x689 -x690 -x801 -x802 -x803 -x804 -x915 -x916 -x917 -x918 -x1029 -x1030 x1031 -x1032 -x1144 -x1145 -x1146 -x1147 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1722 -x1723 -x1724 -x1725 -x1726 -x1837 -x1838 x1839 -x1840 -x1841 -x1952 -x1953 -x1954 -x1955 -x1956 -x2011 -x2012 -x2013 -x2014 -x2015 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2095 -x2096 -x2097 -x2108 -x2109 -x2110 x2121 -x2122 -x2123 -x2134 -x2135 -x2136 -x2147 -x2148 -x2149 x2160 -x2161 -x2162 -x2173 -x2174 -x2175 -x2187 -x2188 -x2189 -x2200 -x2201 -x2202 -x2213 -x2214 x2215 x2226 -x2227 -x2228 -x2239 -x2240 -x2241 -x2252 -x2253 x2254 -x2255 -x2266 -x2267 -x2268 -x2269 x2280 x2281 -x2282 -x2283 -x2294 -x2295 -x2296 -x2297 -x2308 -x2309 -x2310 -x2322 -x2323 -x2324 -x2335 -x2336 -x2337 -x2348 -x2349 -x2350 -x2361 -x2362 -x2363 -x2374 -x2375 -x2376 -x2387 -x2388 -x2389 -x2400 -x2401 -x2402 -x2413 -x2414 -x2415 -x2426 -x2427 -x2428 -x2439 -x2440 -x2441 -x2453 -x2454 -x2455 -x2466 -x2467 -x2468 -x2479 -x2480 -x2481 -x2492 -x2493 -x2494 -x2505 -x2506 -x2507 -x2518 -x2519 -x2520 -x2521 -x2522 x2533 -x2534 -x2535 x2536 -x2537 -x2548 -x2549 -x2550 -x2551 -x2552 -x2563 -x2564 -x2565 -x2566 -x2567 -x2578 -x2579 -x2580 -x2581 -x2593 -x2594 -x2595 -x2596 -x2607 -x2608 -x2609 -x2610 -x2621 -x2622 -x2623 -x2624 -x2635 -x2636 -x2637 -x2638 x2649 -x2650 -x2651 -x2652 -x2663 -x2664 -x2665 x2666 -x2677 -x2678 -x2679 -x2680 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2824 -x2825 -x2826 x2827 x2828 -x2829 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2856 -x2857 x2858 -x2859 x2860 -x2861 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2888 -x2889 -x2890 -x2902 -x2903 -x2904 -x2915 -x2916 -x2917 -x2928 -x2929 -x2930 -x2941 -x2942 -x2943 -x2944 -x2955 -x2956 -x2957 -x2958 -x2969 -x2970 -x2971 -x2972 -x2983 -x2984 -x2985 -x2986 -x2997 x2998 -x2999 -x3000 -x3011 -x3012 -x3013 -x3014 -x3025 -x3026 -x3027 -x3028 -x3040 -x3041 -x3042 -x3043 -x3054 -x3055 -x3056 -x3057 -x3068 -x3069 x3070 -x3071 -x3082 -x3083 -x3084 -x3085 -x3096 -x3097 -x3098 -x3099 x3110 x3111 x3112 x3113 -x3114 -x3125 x3126 x3127 x3128 x3129 -x3130 -x3141 -x3142 x3143 -x3144 x3145 -x3156 x3157 x3158 -x3159 -x3160 -x3161 x3162 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3192 x3193 x3194 x3195 x3196 x3197 -x3198 -x3209 x3210 x3211 -x3212 -x3213 -x3214 x3215 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3243 x3244 x3245 x3246 x3247 x3248 -x3249 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 x3266 x3277 x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3294 x3295 x3296 -x3297 -x3298 -x3299 x3300 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 x3317 x3328 x3329 -x3330 x3331 -x3332 -x3333 x3334 -x3345 x3346 x3347 -x3348 -x3349 -x3350 x3351 x3391 x3392 x3393 x3394 -x3395 -x3406 -x3407 x3408 x3409 -x3410 -x3421 x3422 -x3423 x3424 -x3435 x3436 -x3437 x3438 x3439 -x3440 x3451 -x3452 x3453 -x3454 x3455 x3466 -x3467 -x3468 -x3469 x3470 -x3481 -x3482 x3483 -x3484 x3485 -x3496 x3497 -x3498 -x3499 -x3500 x3501 -x3513 -x3514 x3515 x3516 x3517 -x3528 x3529 x3530 -x3531 x3532 -x3543 -x3544 -x3545 -x3546 x3547 x3558 x3559 x3560 -x3561 -x3562 -x3573 -x3574 -x3575 -x3576 x3587 x3588 -x3589 -x3590 x3591 -x3602 -x3603 x3604 x3605 -x3606 -x3617 x3618 x3619 -x3620 -x3631 -x3632 -x3633 x3634 -x3635 x3636 x3647 x3648 -x3649 -x3650 -x3662 -x3663 -x3664 x3665 -x3666 x3677 -x3678 -x3679 x3680 -x3691 x3692 -x3693 -x3694 -x3705 x3706 x3707 x3708 x3709 -x3710 x3721 x3722 x3723 -x3724 x3725 x3736 x3737 x3738 -x3739 x3740 -x3751 x3752 -x3753 x3754 x3755 -x3766 x3767 -x3768 x3769 x3770 -x3771 x3782 -x3783 x3784 x3785 x3786 -x3787 -x3798 x3799 -x3800 x3801 x3802 -x3814 x3815 -x3816 x3817 x3818 x3829 -x3830 x3831 x3832 x3833 -x3834 -x3923 -x3924 -x3925 x3926 -x3927 x3928 -x3939 -x3940 -x3941 x3942 -x3943 x3944 -x3956 x3957 -x3958 -x3959 x3960 x3961 -x3972 -x3973 -x3974 x3975 -x3976 x3977 -x3988 -x3989 -x3990 x3991 x3992 x4003 -x4004 x4005 -x4006 x4007 x4008 -x4019 -x4020 x4021 -x4022 x4023 x4024 x4035 -x4036 x4037 -x4038 x4039 x4040 -x4051 -x4052 -x4053 x4054 x4055 x4056 -x4067 x4068 x4069 -x4070 x4071 -x4082 x4083 x4084 -x4085 x4086 -x4097 x4098 x4099 -x4100 x4101 -x4113 x4114 x4115 -x4116 x4117 x4128 -x4129 -x4130 -x4131 x4132 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4159 -x4160 -x4161 x4162 x4163 x4174 x4175 -x4176 x4177 x4178 x4179 -x4180 -x4191 -x4192 -x4193 x4194 x4195 x4196 -x4207 -x4208 x4209 x4210 x4211 x4212 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4239 -x4240 -x4241 x4242 -x4243 x4244 -x4255 -x4256 -x4257 x4258 -x4259 x4260 -x4272 -x4273 -x4274 x4275 -x4276 x4277 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x3698 -x3701 -x3702 -x3703 -x3704 -x6378 -x6383 -x6389 -x6393 -x6397 x6424 -x6428 -x6431 -x6504 -x6508 -x6512 -x6603 -x6716 -x12032 -x12039 -x12047 -x12216 -x12223 -x12229 -x12235 -x1331 -x1339 -x1348 -x1686 -x1695 -x1704 -x6407 -x6434 -x6523 -x6607 x6720 -x11987 -x12055 -x12240 -x1357 -x1712 -x6411 -x6438 -x6527 -x6612 -x6725 -x11995 -x12062 -x12246 -x675 -x1366 -x1719 -x6292 -x6441 -x6533 -x6616 -x6729 -x12002 -x12070 -x12251 -x683 -x1381 -x1732 -x6444 x6538 -x6621 -x6733 -x12010 -x12260 -x695 -x1389 -x1741 -x6293 -x6544 -x6625 -x6738 -x12018 -x12078 -x12085 -x12264 -x703 -x1398 -x1750 -x12025 -x6548 -x6637 -x6743 -x12093 -x12267 -x710 -x1407 -x1758 -x6838 -x12037 -x12045 x6642 -x6755 -x12101 -x12271 -x717 -x1416 -x1766 -x3711 -x3712 -x3713 -x3714 -x6648 -x6760 -x12109 -x12274 -x725 -x1425 -x1774 -x6652 -x6766 -x6843 -x12052 -x12116 -x12277 -x732 -x1433 -x1781 -x6847 -x6875 -x12060 -x12124 -x12280 -x739 x1441 -x1788 -x6787 -x6878 -x12068 -x12132 -x12284 -x743 -x1449 -x1792 -x6882 -x12076 -x12139 -x12288 -x748 -x1456 -x1797 -x6788 -x12083 -x12151 -x12293 -x752 -x1463 -x1801 -x12091 -x12159 -x12297 -x756 -x1467 x1806 -x12099 -x12166 -x12301 -x761 -x1472 -x1810 -x12106 -x12174 -x12306 -x874 -x1476 -x1966 -x12114 -x12183 -x12310 -x1481 -x3715 x3716 -x3717 x3718 -x12122 -x12192 -x12315 -x1485 -x12129 -x12199 -x12319 -x1675 -x12137 -x12206 -x12323 -x12149 -x12213 -x12328 -x12157 -x12219 -x12332 -x12164 -x12226 -x12337 -x12172 -x12232 -x12341 -x12181 -x12238 -x12345 -x12190 -x12243 -x12350 -x12198 -x12249 -x12354 -x3719 -x3720 x3726 -x3727 -x11028 -x12253 -x12359 -x11030 -x12262 -x3022 -x3081 -x3092 -x3103 -x3441 -x3446 -x3456 -x2993 -x3004 -x3015 -x3425 -x3430 -x3115 -x7709 -x7715 -x7720 -x7726 -x8312 -x8317 -x8324 -x8345 -x8351 x9911 -x9917 -x9922 -x9928 -x10409 -x10418 -x10428 -x10442 -x10474 -x10485 -x10496 -x10584 -x10594 -x10604 -x7731 -x8329 -x8358 -x9933 -x10452 -x10507 -x10613 -x7737 -x8025 -x8336 -x8370 -x9939 -x10462 x10517 -x10623 -x7742 -x8031 -x8377 -x9944 -x10472 -x10527 -x10633 -x7748 -x8037 -x8341 -x8385 -x9950 -x10483 -x10537 -x10643 -x3728 -x3729 -x3730 -x3731 -x3732 -x7753 -x8040 -x8348 -x8393 -x9955 -x10494 -x10551 -x10653 -x7759 -x8043 -x8355 -x8400 -x9961 -x10505 -x10561 -x10667 -x7764 -x8045 -x8361 -x8408 -x9966 -x10515 -x10571 -x10677 -x7770 -x8374 -x8416 -x9977 -x10525 -x10580 -x10687 -x7775 -x8049 -x8382 -x8423 -x9982 -x10535 -x10590 -x10697 -x7780 -x8053 -x8389 -x8430 -x9986 -x10549 -x10600 -x10707 -x7784 -x8056 -x8397 -x8437 -x9991 -x10558 -x10610 -x10718 -x1329 -x1685 -x7788 -x8405 -x8444 -x9995 -x10568 -x10620 -x10729 -x1338 -x1694 -x7797 -x8412 -x8451 -x10000 -x10578 -x10630 -x10740 -x1347 -x1703 -x7801 -x8420 -x10004 -x10588 -x10640 -x10751 -x1356 -x1710 -x3733 -x3734 -x3735 -x3741 -x3742 -x7806 -x8427 -x8458 -x10008 -x10598 -x10650 -x10762 -x674 -x1365 -x1718 -x7810 -x8434 -x8464 -x10013 -x10608 -x10664 -x10777 -x682 -x1373 -x1731 -x7847 -x7851 -x7853 -x10050 -x10054 -x10056 -x10712 -x10723 -x10734 -x10745 -x10784 -x10795 -x10900 -x10910 -x10920 -x686 -x698 -x754 -x759 -x876 -x1324 -x1333 -x1342 -x1350 -x1384 -x1393 -x1465 -x1470 -x1474 -x1680 -x1688 -x1697 -x1735 -x1744 x1803 -x1808 -x1969 -x10859 -x10870 -x10881 -x10927 -x10937 -x10947 -x11010 -x11016 -x11020 -x6373 -x6379 -x6384 -x6395 -x6405 -x6409 -x11990 -x12000 -x12008 -x12015 -x6413 -x11998 -x12023 -x11988 -x12006 -x12013 -x12035 -x12043 -x7653 -x12173 -x12182 -x12191 -x12214 -x12220 -x12227 -x12236 -x12241 -x12247 -x7712 -x7767 -x3743 -x3744 -x3745 -x3746 -x7620 -x7679 -x7690 -x7734 -x7745 -x7793 -x7804 -x7848 -x7881 -x7941 -x7996 -x7859 -x8046 -x7908 -x7974 -x8024 -x8068 x8139 -x8183 -x8227 -x7963 -x8112 -x8265 -x6575 -x6586 -x6608 -x6647 -x6669 -x6724 -x6774 -x6447 -x6451 -x6454 -x6456 -x6457 -x6460 -x6461 -x6463 -x100 -x102 -x104 -x107 -x109 -x111 -x122 -x129 -x6702 -x6464 -x6466 -x113 -x115 -x138 -x6469 -x124 -x126 -x147 -x6495 -x133 -x135 -x156 -x141 -x144 -x164 -x150 -x152 -x173 -x3695 -x3747 -x3748 -x159 -x161 -x182 -x4420 -x4423 -x168 -x170 -x190 -x4425 -x4427 -x177 -x179 -x197 -x4429 -x4431 -x6885 -x6887 -x184 -x186 -x205 -x4434 x4436 -x6889 -x192 -x194 -x213 -x4438 -x4440 -x6890 -x200 -x202 -x221 -x4444 -x207 -x210 -x228 -x4446 -x215 -x217 -x240 -x4733 -x224 -x225 -x248 -x236 -x237 -x254 -x3749 -x3750 -x3756 -x9938 -x243 -x244 -x261 -x9976 -x251 -x252 -x267 -x258 -x259 -x274 -x9723 -x9725 -x264 -x265 -x281 -x5389 -x9727 -x9729 -x271 -x272 -x287 -x5394 -x9732 -x9734 -x277 -x278 -x294 -x5384 -x5385 -x5400 -x9736 -x9738 -x284 -x285 -x300 -x5391 -x5392 -x5405 -x9740 -x9748 -x291 -x292 -x307 -x5396 -x5397 -x5411 -x9750 -x9752 -x298 -x314 -x5402 -x5403 -x5416 -x9755 -x297 -x305 -x320 -x3757 -x3758 -x5407 -x5408 -x5422 -x9754 -x304 -x310 -x311 -x327 -x5413 -x5414 -x5427 -x6004 -x9759 -x317 -x318 -x333 -x5418 -x5419 -x5431 -x6009 -x9866 -x324 -x325 -x339 -x5424 -x5425 -x5436 -x6001 -x6002 -x6015 -x331 -x344 -x8353 -x5429 -x5564 -x6006 -x6007 -x6020 -x330 -x337 -x667 -x5434 -x6012 -x6013 -x6025 -x342 -x6017 -x6018 -x6029 -x6023 -x6157 -x4403 -x9606 -x9608 -x9609 -x9610 -x354 -x362 -x373 -x384 -x395 -x422 -x434 -x446 -x458 -x479 -x491 -x503 -x515 -x4406 -x9616 -x475 -x527 -x3759 -x3760 -x3761 -x3762 -x539 -x4409 x4413 -x4416 -x9621 -x9625 -x9762 -x9765 -x9769 -x9795 -x407 -x419 -x431 -x487 -x499 -x511 -x552 -x563 -x578 -x4419 -x9773 -x9800 -x443 -x523 -x587 -x4459 -x9777 -x9805 -x455 -x535 -x596 -x9781 -x9809 -x471 -x547 -x604 -x9785 -x9814 -x483 -x558 -x611 -x9673 -x9818 -x495 -x569 -x617 -x9792 -x9821 -x508 -x583 -x624 -x9797 -x520 -x593 -x630 -x9803 -x9826 -x532 -x601 -x636 -x3763 x3764 x3765 -x9807 -x9830 -x544 -x607 -x640 -x9811 -x9833 -x555 -x614 -x646 -x9816 -x9838 -x566 -x620 -x650 -x9820 -x9842 -x581 -x627 -x655 -x9847 -x591 -x633 -x659 -x9824 -x9851 -x96 -x638 -x663 -x9716 -x9828 -x98 -x644 -x2892 -x2897 -x2907 -x2913 -x2922 -x2933 x2936 -x2939 -x2947 -x3138 -x3150 -x3165 -x3180 -x3183 -x3200 -x3208 -x3222 -x3537 -x3542 -x3553 -x3236 -x2927 -x2951 -x2959 -x2963 -x3136 -x3148 -x3163 -x3188 -x3205 -x3219 -x3242 -x3253 -x3257 -x3535 -x3539 -x3564 -x3570 -x3580 x3772 -x3773 -x3774 -x3171 -x3233 -x3268 -x3550 -x3586 -x3186 -x3239 -x3271 -x3556 -x3596 -x3203 -x3251 -x3274 -x3567 -x3600 -x3255 -x3415 -x3577 x3608 -x7856 -x7858 -x7861 -x7863 -x7865 -x8541 -x8546 -x8563 -x8568 -x8574 -x10059 -x10061 -x10063 -x10066 -x10068 -x11036 -x11052 -x11064 -x11076 -x11088 -x7867 -x7869 -x8553 -x8559 -x8580 -x8585 -x10070 -x10072 -x11047 -x11060 -x11100 -x11112 -x7872 -x7874 -x7876 -x8565 -x8571 -x8577 -x8590 -x8603 -x10074 -x10077 -x10079 -x11033 -x11044 -x11072 -x11084 -x11096 -x11128 -x11141 -x11153 -x7878 -x8582 -x8611 -x10081 -x11108 -x11165 -x7880 -x8617 -x10083 -x11056 -x11124 -x11177 -x7883 -x8624 -x10085 -x11068 -x11080 -x11136 -x11189 -x3775 -x3776 -x3777 -x7885 -x8600 -x8631 -x10093 -x11093 -x11148 -x11201 -x7887 -x7889 -x8607 -x8614 -x8646 -x10095 -x10097 -x11105 -x11121 -x11160 -x11172 -x11213 -x11225 -x7891 -x8620 -x8653 -x11185 -x11241 -x7894 -x8628 -x8661 -x10099 -x11133 -x11197 -x11252 -x7896 -x8636 -x8669 -x10101 -x10104 -x11145 -x11157 -x11263 -x7898 -x8642 -x8675 -x10106 -x11169 -x11209 -x11274 x7900 -x8650 -x8682 -x10108 -x11181 -x11221 -x11285 -x7902 -x8658 -x8690 -x10110 -x11193 -x11237 -x11296 -x8666 -x8695 -x11205 -x11248 -x11259 -x11306 -x8672 -x11218 -x11270 -x11315 -x8680 -x8702 -x11234 -x11281 -x11324 -x8686 -x8715 -x11245 -x11292 -x11333 -x8693 -x8722 -x11256 -x11302 -x11341 -x8729 -x11267 -x11312 -x11354 -x8700 -x8735 -x11278 -x11321 -x11363 -x8706 -x8743 -x11289 -x11329 -x11372 -x1497 -x8719 -x8726 -x8732 -x8751 -x8759 -x8766 -x11300 -x11310 -x11318 -x11338 -x11351 -x11360 -x11382 -x11391 -x11399 -x8740 -x8774 -x11327 -x11369 -x11408 -x8748 -x8781 -x11336 -x11378 -x11417 -x8755 -x8786 -x11349 -x11387 -x11426 -x3689 -x3699 -x8763 -x8790 -x11358 -x11396 -x11435 -x8771 -x8794 -x11366 -x11405 -x11442 -x8777 -x11376 -x11414 -x11450 -x8784 -x8798 -x11422 -x11463 -x2344 -x2353 -x2360 -x2370 -x2372 -x2381 -x2383 -x2386 -x2394 -x2397 -x2408 -x2419 -x2392 -x2405 -x2430 -x2403 -x2416 -x2438 -x2766 -x2411 -x2424 -x2449 -x2768 -x2782 -x2422 -x2435 -x2461 -x2770 -x2786 -x2433 -x2446 -x2472 -x2790 -x2801 -x3697 -x2444 -x2458 -x2483 -x2805 -x2456 -x2469 x2491 -x2815 -x2464 -x2477 -x2501 -x2475 -x2488 -x2511 -x2486 -x2498 -x2523 -x2496 -x2508 -x2530 -x2503 -x2515 -x2541 -x2513 -x2527 -x2547 -x2525 -x2538 -x2557 -x2544 -x2561 -x5024 -x9185 -x9191 -x9199 -x9207 -x9210 -x9214 -x9219 -x9228 -x5133 -x9223 -x9234 -x5116 -x5119 -x5129 -x5144 -x5156 -x9231 -x9239 -x9243 -x9252 -x5126 -x5140 -x5169 -x9247 -x9261 -x5137 -x5151 -x5181 -x9256 -x9269 -x5148 -x5163 -x5193 -x9265 -x9278 -x5160 -x5176 -x5205 -x9274 -x9292 -x5173 -x5189 -x5217 -x9288 -x9301 -x5185 -x5201 -x5229 -x9296 -x9309 -x5197 -x5213 -x5241 -x9305 -x9317 -x5209 -x5225 -x5253 -x9313 -x9325 -x5222 -x5237 -x5266 -x5797 -x9321 x9333 -x5234 -x5249 -x5278 -x5830 -x9328 -x9340 -x5246 -x5261 -x5289 -x5818 -x5841 -x9336 -x9348 -x5258 -x5272 -x5300 -x5815 -x5827 -x5852 -x9344 -x9356 -x5269 -x5284 -x5311 -x5824 -x5838 -x5863 -x9351 -x9364 -x5281 -x5295 -x5322 -x5835 -x5848 -x5873 -x9359 -x5292 -x5306 -x5331 -x5845 -x5859 -x5883 -x9367 -x9370 -x5303 -x5317 -x5341 -x5856 -x5869 -x5892 -x9373 -x9378 -x5314 -x5327 -x5350 -x5879 -x5898 -x9381 -x9386 -x5337 -x5357 -x5887 -x9389 -x9392 -x9405 -x9425 -x9430 -x9442 -x9446 -x9450 -x9453 -x1265 -x9457 -x9465 -x1316 -x8163 -x9462 -x9469 -x9474 -x9476 -x9480 -x9483 -x9490 -x1272 -x1273 -x8165 -x9486 -x9494 -x8160 -x8164 -x8166 -x8167 -x8168 -x8169 -x8170 -x8206 -x8209 -x8223 -x9492 -x9496 -x9501 -x9503 -x9505 -x9507 -x9517 -x8212 -x8217 -x8229 -x9509 -x9520 -x8215 -x8221 -x8234 -x9519 x9524 -x11749 -x8220 -x8226 -x8239 -x9522 -x9529 -x12381 -x8225 -x8232 -x8244 -x9526 -x9533 -x12374 -x12388 -x8231 -x8237 -x8255 -x9531 -x9537 -x12367 -x12379 -x12397 -x7945 -x8236 -x8242 -x8260 -x9535 -x9542 -x10148 -x12377 -x12405 -x7946 -x8241 x8247 -x8264 -x9540 -x9546 -x10149 -x12383 -x12386 -x12414 -x12393 -x7947 -x8246 -x8269 -x9544 -x10150 -x12391 -x12423 -x8258 -x9551 -x7948 -x7949 -x12402 -x8257 -x8273 -x9548 -x12433 -x10151 -x7950 -x8262 -x9556 -x12411 -x8275 -x9554 -x10152 -x12400 -x12409 -x12443 -x7951 -x8267 -x9562 -x12420 -x9559 -x10153 -x12418 -x12453 -x7953 -x8271 -x9566 -x12430 -x9564 -x10154 -x12427 -x12462 -x9572 -x7954 -x12440 -x3778 -x9569 -x9577 -x10155 -x12437 -x12449 -x12470 -x7955 -x9575 -x9581 -x10156 -x12447 -x12458 -x12479 -x9154 -x9586 -x10158 -x12457 -x12467 -x12491 -x7956 -x9584 -x9590 -x10159 -x12466 -x12499 -x7959 -x9589 -x10162 -x12475 -x12476 -x12489 -x12506 -x7962 -x9594 -x10165 -x12488 -x12496 -x12514 -x7966 -x9598 -x10169 -x12495 -x12504 -x12522 -x3779 -x3780 -x3781 -x3788 -x7969 -x9165 -x10172 -x12503 -x12512 -x12529 -x7972 -x10175 -x12511 -x12519 -x12537 -x7976 -x10178 -x12518 -x12527 -x12545 -x7979 -x10182 -x12526 -x12535 -x12552 -x7982 -x10185 -x12534 -x12543 -x12560 -x7986 -x10188 -x12541 -x12550 -x12568 -x7989 -x10192 -x12549 -x12558 -x12576 x8013 -x10220 -x12557 -x12566 -x12583 -x12565 -x12573 -x12591 -x12572 -x12581 -x9 -x3789 -x3790 -x3791 -x3792 -x12580 -x12589 -x16 -x12588 -x12596 -x24 -x12595 -x14 -x32 -x13 -x22 -x39 -x21 -x30 -x47 -x28 -x37 -x55 -x36 -x45 -x63 -x44 -x53 -x70 -x52 -x60 -x77 -x59 -x68 -x83 -x3793 -x3794 -x3795 -x3796 -x67 -x75 -x90 -x81 -x94 -x11217 -x11254 -x11287 -x11320 x11357 -x11390 -x11423 -x11461 -x11494 -x3797 -x3803 -x3804 -x3805 x3845 -x3846 x3847 x3858 -x3859 x3860 x3871 -x3872 x3873 x3884 -x3885 x3886 x3897 -x3898 x3899 x3910 -x3911 x3912 -x3806 -x3807 x3808 x3809 -x3810 -x3811 -x3812 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x5332 -x5388 -x5443 -x5499 -x5554 -x5610 -x5665 -x5722 x5777 -x5833 -x5888 -x5944 -x5988 -x6032 -x6059 -x6619 -x6680 -x6735 -x6785 -x6829 -x6880 -x6924 -x6986 -x7041 -x7103 x7147 -x7191 -x7242 -x7286 -x7337 -x7381 -x7425 -x7598 -x7664 -x7723 -x7778 -x7837 -x7892 -x7952 -x8007 -x8057 x8101 -x8150 -x8194 -x8238 -x8276 -x8309 -x8331 -x8676 -x8714 -x8747 -x8780 -x8813 -x8850 -x8883 -x8916 -x8953 -x8986 -x9019 -x9056 -x9089 -x9122 x9155 -x9193 -x9226 -x9259 -x9297 -x9330 -x9363 -x9385 -x3848 -x3849 -x393 -x426 -x463 -x496 -x529 -x551 x588 -x621 -x654 -x691 -x724 -x735 -x2351 -x2358 -x2368 -x2379 -x2390 -x2398 -x2409 -x2420 -x2431 -x2442 -x2450 -x2462 -x2473 -x2484 x2495 -x2502 -x2512 -x2524 -x2531 -x2542 -x2553 -x2558 -x2562 -x2569 -x2784 -x2788 -x2798 -x2802 -x2806 -x2816 -x2820 -x2830 x2833 -x2836 -x2839 -x2848 -x2851 -x2854 -x2855 -x2895 -x2905 -x2911 -x2920 -x2926 -x2934 x2937 -x2940 -x2948 -x2952 -x2960 -x2964 -x3001 -x3008 -x3019 -x3030 -x3036 -x3047 -x3053 -x3064 x3075 -x3086 -x3093 -x3104 -x3116 -x3123 -x3133 -x3426 -x3431 -x3442 -x3447 -x3457 -x3462 -x3471 -x3476 x3486 -x3491 -x3502 -x3507 -x3518 -x3523 -x3526 -x3696 -x3700 -x3870 -x3877 -x3881 -x3888 x3892 -x3896 -x3903 -x3908 -x3914 -x3994 -x3998 -x4002 -x4012 x4016 -x4026 -x4030 -x4034 -x4043 -x3850 -x3851 x3852 x3853 -x4087 -x4091 -x4095 -x4104 x4108 -x4118 -x4122 -x4126 -x4134 -x4173 -x4184 -x4188 -x4198 x4202 -x4206 -x4216 -x4220 -x4229 -x4349 -x4352 -x4356 -x4359 -x4362 -x4366 -x4370 -x4374 -x4379 -x4382 -x4385 -x4390 -x4393 x4396 -x4398 -x3363 -x3364 x3365 x3366 -x4424 -x4428 -x4433 x4437 -x4441 -x4445 -x4447 -x3377 -x3378 x3379 x3380 -x4462 -x4466 -x4469 x4472 -x4475 -x4479 -x4481 -x5123 -x5134 -x5145 -x5157 -x5170 -x5182 -x5194 -x5206 -x5218 -x5230 x5242 -x5255 -x5267 -x5279 -x5290 -x5301 -x5312 -x5323 -x5333 -x5342 -x5351 -x5822 -x5831 -x5842 -x5853 -x5864 -x5874 -x5884 -x5893 -x5900 -x5905 -x5911 x5916 -x5920 -x5924 -x5927 -x5929 -x6038 -x6047 -x6061 -x6069 -x6077 -x6085 x6091 -x6097 -x6102 -x6108 -x6113 -x6119 -x6124 -x6376 -x6382 -x6387 -x6392 -x6396 -x6406 -x6410 -x6414 -x6417 -x6419 -x6422 x6425 -x6429 -x6432 -x6435 -x6439 -x6442 -x6445 -x6446 -x6580 -x6582 -x6584 -x6587 -x6589 -x6591 -x6593 x6595 -x6598 -x6599 -x3854 x3855 -x3856 -x6684 -x6686 -x6688 -x6690 -x6693 -x6695 -x6697 x6699 -x6701 -x6703 -x6842 x6846 -x6850 -x6853 -x6855 -x6857 -x6859 -x6861 -x6871 -x6873 -x6876 -x6879 -x6883 -x6884 -x6905 -x6907 x6909 -x6910 -x6922 -x6925 x6927 -x6928 -x6940 -x6942 x6944 -x6945 -x6955 -x6958 x6960 -x6962 -x7254 -x7259 -x7265 -x7270 -x7274 -x7280 -x7285 -x7292 -x7300 -x7306 -x7313 -x7320 -x7327 -x7342 -x7350 -x7357 -x7365 -x7373 -x7380 -x7388 -x7396 -x7404 -x7411 -x7419 -x7427 -x7434 -x7442 -x7454 -x7461 -x7469 -x7476 -x7481 -x7486 x7490 -x7494 -x7499 -x7503 -x7594 -x7600 -x7605 -x7611 -x7615 -x7619 -x7623 -x7626 -x7630 -x7635 -x7639 -x7666 -x7670 -x7674 -x7683 -x7687 -x7692 -x7696 -x7700 -x7705 -x7710 -x7716 -x7721 -x7727 -x7732 x7738 -x7743 -x7749 -x7754 -x7760 -x7765 -x7771 -x8076 -x8082 -x8087 -x8093 -x8098 -x8104 -x8109 -x8115 x8120 -x8126 -x8131 -x8142 -x8146 -x8151 -x8155 -x8157 -x8158 x3857 -x3861 -x3862 -x9176 -x9183 -x9188 -x9196 -x9203 -x9211 -x9220 -x9229 -x9235 -x9244 -x9253 -x9262 -x9271 -x9279 -x9293 -x9302 -x9310 -x9318 -x9326 x9334 -x9342 -x9349 -x9357 -x9365 -x9371 -x9379 -x9387 -x9393 -x9406 -x9414 -x9421 -x9428 -x9435 -x9439 -x9447 -x9454 -x9460 -x9466 -x9472 -x9477 -x9484 -x9871 -x9876 -x9880 -x9885 -x9889 -x9893 -x9898 -x9902 x9907 -x9912 -x9918 -x9923 -x9929 -x9934 -x9940 -x9945 -x9951 -x9956 -x9962 -x9967 -x9978 x11993 -x12001 -x12009 -x12017 -x12024 -x12036 -x12044 -x12051 -x12059 -x12067 -x12074 -x12082 -x12090 -x12098 -x12105 -x12113 -x12121 -x12128 -x12136 -x12148 -x12155 -x12163 -x12171 -x12180 -x12188 -x12197 -x12205 -x12212 -x12218 -x12225 -x12231 -x12237 -x12242 -x12248 -x12252 -x12261 -x12265 -x12268 -x12272 -x12275 -x12278 -x12282 -x12285 -x12289 -x12294 -x12298 -x12302 -x12307 -x12311 -x12316 -x12320 -x12324 -x12329 -x12333 -x12338 -x12342 -x12346 -x12351 -x12355 -x12360 -x12362 -x844 -x846 -x848 -x851 -x853 -x855 -x857 -x859 -x862 -x864 -x866 -x868 -x870 -x873 -x875 -x1165 -x1172 -x1178 -x1184 -x1188 -x1193 -x1197 -x1201 -x1206 -x1209 -x1213 -x1218 -x1222 -x1227 -x1231 -x1234 x1238 -x1241 -x1244 -x1248 -x1251 -x1254 -x1257 -x1268 -x1271 -x1630 -x1632 -x1635 -x1637 -x1639 -x1641 -x1643 -x1646 -x1648 -x1650 -x1652 -x1654 x1657 -x1659 -x1661 -x1663 -x1665 -x1668 -x1670 -x1672 -x1674 -x1676 -x1923 -x1925 -x1927 -x1929 -x1932 -x1934 -x1936 -x1938 -x1940 -x1943 -x1945 -x1947 -x1949 -x1951 -x1959 -x1961 x1963 -x1965 -x1967 -x4443 -x4476 -x4510 -x4543 x4576 -x4611 -x4644 -x4677 -x4688 -x4955 -x5188 -x6070 -x6218 -x6251 -x6289 -x6322 -x6355 x6388 -x6426 -x6459 -x6492 -x6531 -x7576 -x8205 -x8320 -x8380 -x8413 -x8446 -x8484 x8517 -x8550 -x8583 -x8621 -x8632 -x3863 -x3864 -x3865 -x9516 -x9549 -x9582 -x9615 -x9653 -x9686 -x9719 -x9757 -x9823 -x9861 -x9894 -x9905 x10434 -x10798 -x11059 -x11092 -x11129 x11162 -x11173 -x11994 -x62 -x106 -x143 x187 -x235 -x279 -x334 -x1380 -x1457 -x1540 -x1623 -x1700 -x1782 -x1864 x1941 -x2006 -x2016 -x2020 -x2024 -x2035 -x2039 -x2570 -x2606 -x2615 -x2619 -x2627 x2631 -x2639 -x2643 -x2647 -x2655 -x2966 -x2968 -x2975 x2978 -x2981 -x2988 -x2991 -x3369 -x3373 -x3381 -x3385 x3389 -x3398 -x3402 -x3411 -x3417 -x3651 -x3654 -x3657 -x3660 x3669 -x3672 -x3675 -x3683 -x3688 -x3866 -x3931 -x3934 x3937 -x3946 -x3949 -x3969 -x3978 x3981 -x3984 -x4044 -x4063 -x4066 x4074 -x4077 -x4135 -x4154 -x4157 x4165 -x4168 -x4230 -x4278 -x4308 -x4314 -x4319 -x4325 -x4329 -x4334 -x4338 x4344 -x4375 -x4397 -x4400 -x4401 -x4404 -x4407 x4411 -x4414 -x4417 -x4418 -x4482 -x4485 -x4489 x4492 -x4495 -x4500 -x4501 -x4514 -x4519 -x4621 -x4626 -x4630 -x4635 -x4639 x4643 -x4648 -x4652 -x4657 -x4661 -x4662 -x4981 -x5012 -x5535 -x5558 -x5566 -x5568 -x5592 -x5596 -x5601 -x5605 -x5611 -x5615 -x5619 x5624 -x5625 -x5760 -x5791 -x5954 -x5973 -x5978 -x5979 -x5981 -x5984 -x5987 x5991 -x5994 -x5997 -x5998 -x6134 -x6153 -x6159 -x6168 -x6278 -x6283 -x6319 -x6325 -x6330 -x6336 -x6341 -x6346 x6350 -x6353 -x6357 -x6360 -x6363 -x6368 -x6369 -x6493 -x6539 -x6545 -x6559 -x6562 -x6566 -x6569 x6572 -x6576 -x6577 -x6643 -x6649 -x6663 -x6666 -x6670 -x6673 -x6676 x6679 -x6681 -x6710 -x6778 -x6783 x6810 -x6814 -x6819 -x6822 -x6825 -x6828 -x6832 -x6835 -x6836 -x6894 x6898 -x6901 -x6911 x6916 -x6919 -x6929 x6933 -x6937 -x6947 x6951 -x6952 -x6961 -x7016 -x7020 -x7023 -x7026 -x7029 -x7033 -x7036 -x7039 -x7043 -x7046 -x7049 -x7053 -x7056 -x7059 -x7062 -x7066 -x7069 -x7073 -x7078 -x7082 -x7087 x7091 -x7095 -x7107 -x7108 -x7478 -x7502 -x7513 -x7527 -x7555 -x7641 -x7645 -x7648 -x7651 -x7655 -x7658 -x7659 -x7661 -x7957 -x7960 -x7964 -x7967 -x7970 -x7973 -x7977 -x7983 -x7987 -x7988 -x8171 -x8175 -x8178 -x8181 -x8185 -x8188 x8191 -x8195 -x8198 -x8201 -x8202 -x8807 -x9150 -x9164 -x9611 -x9617 -x9622 -x9632 -x9637 -x9643 -x9648 -x9654 x9659 -x9663 -x9669 -x9674 -x9680 -x9685 -x9696 -x9702 -x9707 -x9712 -x9717 -x9718 -x9867 -x10160 -x10163 -x10166 -x10170 x10173 -x10176 -x10180 -x10186 -x10189 -x10191 x11735 -x11743 -x11752 -x11761 -x11770 -x11779 -x11787 -x11796 -x11809 -x11818 -x11827 -x11835 -x11844 -x11852 -x11860 -x11866 -x11873 -x11879 -x11885 -x11890 -x11895 -x11899 -x11904 -x11908 -x11921 -x11925 -x11930 -x11934 -x11938 -x11943 -x11947 -x11952 -x11956 -x11960 -x11965 -x11969 -x11974 -x11978 -x11982 -x11984 -x88 -x706 -x817 -x819 -x821 -x823 -x825 -x828 -x830 -x836 -x840 -x841 -x886 -x1276 -x1278 -x1280 -x1282 -x1284 -x1287 -x1289 -x1291 x1293 -x1298 -x1300 -x1302 -x1304 -x1306 -x1309 -x1310 -x1321 -x1368 -x1428 -x1580 -x1582 -x1585 -x1587 -x1590 x1593 -x1597 -x1600 -x1613 -x1616 -x1619 -x1622 -x1626 -x1627 -x1677 -x1753 -x1887 -x1889 -x1891 -x1893 -x1895 -x1899 -x1902 -x1905 -x1909 x1915 -x1918 -x1920 -x9790 -x4342 -x7980 -x9691 -x10183 -x11912 -x833 -x1295 -x1603 -x1912 -x3867 -x3868 -x3869 -x3874 -x3875 -x3876 -x3878 -x3879 -x3880 -x3882 -x3883 -x3887 -x3889 x3890 -x3891 -x3893 x3894 -x3895 -x3900 -x3901 x3902 -x3904 -x3905 -x3906 -x3907 -x3909 -x3913 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3929 -x3930 -x3932 -x3933 -x3935 -x3936 -x3938 x3945 -x3947 -x3948 -x3950 -x3951 -x3952 -x3953 -x3954 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3970 -x3971 -x3979 -x3980 -x3982 x3983 -x3985 -x3986 -x3987 -x3993 -x3995 -x3996 -x3997 -x3999 -x4000 -x4001 -x4009 -x4010 -x4011 -x4013 x4014 -x4015 -x4017 x4018 -x4025 -x4027 -x4028 x4029 -x4031 -x4032 -x4033 -x4041 -x4042 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4064 -x4065 -x4072 -x4073 -x4075 x4076 -x4078 -x4079 -x4080 -x4081 -x4088 -x4089 -x4090 -x4092 -x4093 -x4094 -x4096 -x4102 -x4103 -x4105 x4106 -x4107 x4109 -x4110 -x4111 -x4119 -x4120 -x4121 -x4123 -x4124 -x4125 -x4127 -x4133 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4149 -x4150 -x4151 -x4152 -x4153 x4155 x4156 x4158 -x4164 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4181 -x4182 -x4183 -x4185 -x4186 -x4187 -x4189 -x4190 -x4197 -x4199 -x4200 x4201 -x4203 -x4204 -x4205 -x4213 -x4214 -x4215 -x4217 -x4218 -x4219 -x4221 -x4222 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4309 -x4311 -x4312 -x4313 -x4315 -x4316 -x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4326 -x4327 -x4328 -x4330 -x4331 -x4333 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 x4345 -x4346 -x4347 -x4348 -x4350 -x4351 -x4353 -x4355 -x4357 -x4358 -x4360 -x4361 -x4363 -x4364 -x4367 -x4368 -x4369 -x4371 -x4372 -x4373 -x4377 -x4378 -x4380 -x4381 -x4383 -x4384 -x4386 -x4389 -x4391 -x4392 -x4394 x4395 -x4402 -x4405 -x4408 -x4412 -x4415 -x4422 -x4426 -x4430 -x4435 -x4439 -x4442 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4463 -x4464 -x4467 -x4468 -x4470 x4471 -x4473 -x4474 -x4477 -x4478 -x4480 -x4483 -x4484 -x4486 -x4488 -x4490 -x4491 -x4493 x4494 -x4496 -x4497 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4511 -x4512 x4513 -x4515 -x4516 -x4517 -x4518 -x4520 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4631 -x4632 -x4634 x4636 -x4637 x4638 x4640 -x4641 -x4642 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4653 -x4654 -x4656 -x4658 -x4659 -x4660 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5011 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5022 -x5023 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5111 -x5112 -x5113 -x5114 -x5115 -x5117 -x5118 -x5120 -x5122 -x5124 -x5125 -x5127 -x5128 -x5130 -x5131 -x5135 -x5136 -x5138 -x5139 -x5141 -x5142 -x5146 -x5147 -x5149 -x5150 -x5152 -x5153 -x5155 -x5158 -x5159 -x5161 -x5162 -x5164 -x5167 -x5168 -x5171 -x5172 -x5174 -x5175 -x5178 -x5179 -x5180 -x5183 -x5184 -x5186 -x5187 -x5190 -x5191 -x5192 -x5195 -x5196 -x5198 -x5200 -x5202 -x5203 -x5204 -x5207 -x5208 -x5211 -x5212 -x5214 -x5215 -x5216 -x5219 -x5220 -x5223 -x5224 -x5226 -x5227 -x5228 -x5231 -x5233 -x5235 -x5236 x5238 -x5239 -x5240 -x5244 -x5245 -x5247 -x5248 -x5250 x5251 -x5252 -x5256 -x5257 -x5259 -x5260 -x5262 -x5263 -x5264 -x5268 -x5270 -x5271 -x5273 -x5274 -x5275 -x5280 -x5282 -x5283 -x5285 -x5286 -x5287 -x5291 -x5293 -x5294 -x5296 -x5297 -x5298 -x5302 -x5304 -x5305 -x5307 -x5308 -x5309 -x5313 -x5315 -x5316 -x5318 -x5319 -x5320 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5334 -x5335 -x5336 -x5338 -x5339 -x5340 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5352 -x5353 -x5355 -x5356 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5386 -x5390 -x5393 -x5395 -x5398 -x5401 -x5404 -x5406 -x5409 -x5412 -x5415 -x5417 -x5420 -x5423 -x5426 -x5428 -x5430 -x5433 -x5435 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489 -x5490 -x5491 x5492 x5493 x5494 -x5495 -x5496 -x5497 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5533 -x5534 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5555 -x5556 -x5557 -x5559 -x5560 -x5561 -x5562 -x5563 -x5567 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5588 -x5589 -x5590 -x5591 -x5593 -x5594 -x5595 -x5597 -x5599 -x5600 -x5602 -x5603 -x5604 -x5606 -x5607 -x5608 -x5612 -x5613 -x5614 -x5616 -x5617 -x5618 -x5620 -x5622 -x5623 x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758 -x5759 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 x5775 -x5776 x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 x5785 -x5786 -x5787 -x5789 -x5790 -x5792 -x5793 -x5794 -x5795 -x5796 -x5798 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5819 -x5820 -x5823 -x5825 -x5826 -x5828 -x5829 -x5834 -x5836 -x5837 -x5839 -x5840 -x5843 -x5846 -x5847 -x5849 -x5850 -x5851 -x5854 -x5857 -x5858 -x5860 -x5861 -x5862 -x5865 -x5867 -x5868 -x5870 -x5871 -x5872 -x5875 -x5876 -x5878 -x5880 -x5881 -x5882 -x5885 -x5886 -x5889 -x5890 -x5891 -x5894 -x5895 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5906 -x5907 -x5908 -x5909 -x5912 -x5913 -x5914 x5915 -x5917 -x5918 -x5919 -x5922 -x5923 -x5925 -x5926 -x5928 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5974 -x5975 -x5976 -x5980 -x5982 -x5983 -x5985 -x5986 x5989 x5990 -x5992 -x5993 -x5995 -x5996 -x6000 -x6003 -x6005 -x6008 -x6011 -x6014 -x6016 -x6019 -x6022 -x6024 -x6026 -x6027 -x6028 -x6030 -x6031 -x6033 -x6034 -x6035 -x6036 -x6037 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6060 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6078 -x6079 -x6080 -x6082 -x6083 -x6084 -x6086 -x6087 x6088 -x6089 -x6090 -x6093 -x6094 x6095 -x6096 -x6098 -x6099 x6100 -x6101 -x6104 -x6105 x6106 -x6107 -x6109 -x6110 x6111 -x6112 x6115 -x6116 -x6117 -x6118 -x6120 -x6121 -x6122 -x6123 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6135 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6148 -x6149 -x6150 -x6151 -x6152 -x6154 -x6155 -x6156 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 x6249 -x6250 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6274 -x6275 -x6276 -x6277 -x6279 -x6280 -x6281 -x6282 -x6290 -x6291 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6320 -x6321 -x6323 -x6324 -x6326 -x6327 -x6328 -x6329 -x6331 -x6332 -x6334 -x6335 -x6337 -x6338 -x6339 -x6340 -x6342 -x6343 -x6345 x6347 -x6348 x6349 -x6351 -x6352 -x6354 -x6356 -x6358 -x6359 -x6361 -x6362 -x6364 -x6365 -x6367 -x6370 -x6371 -x6372 -x6374 -x6375 -x6380 -x6381 -x6385 -x6386 -x6390 -x6391 -x6394 -x6398 -x6408 -x6412 -x6416 -x6418 -x6420 -x6421 -x6423 -x6427 -x6430 -x6433 -x6436 -x6440 -x6443 -x6449 -x6450 -x6452 -x6453 -x6455 -x6458 -x6462 -x6465 -x6467 -x6468 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6494 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6513 -x6521 -x6522 -x6524 -x6525 -x6526 -x6528 -x6529 -x6530 -x6532 -x6534 -x6535 x6536 -x6537 -x6540 -x6541 -x6543 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6560 -x6561 -x6563 -x6565 -x6567 -x6568 -x6570 -x6571 -x6573 x6574 -x6578 -x6579 -x6581 x4288 -x6583 -x6585 -x6588 -x6590 -x6592 -x6594 -x6596 x4299 -x6600 -x6601 -x6602 -x6604 -x6605 -x6606 x4310 -x6609 -x6610 -x6611 -x6613 -x6614 -x6615 -x6617 -x6618 -x6620 -x6622 -x6623 -x6624 -x6626 -x6627 -x6628 -x6629 x6638 -x6639 -x6640 -x6641 -x6644 -x6645 -x6646 -x6650 -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6659 x4321 -x6660 -x6661 -x6662 -x6664 -x6665 -x6667 -x6668 -x6671 -x6672 -x6674 -x6675 -x6677 -x6678 x6682 -x6683 -x6685 -x6687 -x4332 -x4343 -x4354 -x4365 -x4376 -x4388 -x4399 -x4410 -x4421 -x4432 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x4454 -x4465 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x4487 -x4499 -x6712 -x6714 -x6715 -x6717 -x6718 x6719 -x6721 -x6722 -x6723 -x6726 -x6727 -x6728 -x6730 -x6731 -x6732 -x6734 -x6736 -x6737 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6753 -x6754 -x6756 -x6757 -x6758 -x6759 -x6761 -x6762 -x6764 -x6765 x4521 x4532 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6775 -x6776 -x6777 -x6779 -x6780 -x6781 -x6782 -x6784 -x6786 -x6789 -x6790 -x6791 x6792 -x6793 x6794 -x6795 x6797 -x6798 -x6799 -x6800 x6801 -x6802 -x6803 -x6804 x6805 -x6806 -x6808 -x6809 -x6811 -x6812 -x6813 x4554 -x4565 -x6815 -x6816 -x6817 -x6820 -x6821 -x6823 -x6824 -x6826 -x6827 -x6830 -x6831 -x6833 -x6834 -x6837 -x6839 -x6841 -x6844 -x6845 -x6848 -x6849 -x4587 -x4598 -x6852 -x6854 -x6856 -x6858 -x6860 -x6870 -x6872 -x6874 -x6877 -x6881 -x4622 -x4633 -x6886 -x6888 -x6892 -x6893 -x4655 -x4666 -x4699 -x6895 -x6896 -x6897 -x6899 x6900 -x4710 -x4722 -x4744 -x6903 -x6904 -x6906 -x6908 -x6912 -x6914 -x6915 -x6917 x6918 -x6920 -x6921 -x6923 -x4755 -x4766 -x4777 -x6926 -x6930 -x6931 -x6932 -x6934 x6936 -x6938 -x6939 -x6941 -x6943 -x6948 -x6949 -x6950 -x4788 -x4799 -x4810 x6953 -x6954 -x6956 -x6959 -x6963 -x6964 -x6965 -x6966 -x6967 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x4821 -x4833 -x4844 -x4855 -x6995 -x6996 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7017 -x7018 -x7021 -x7022 -x7024 -x7025 -x7027 -x7028 -x7031 -x7032 -x4866 -x4877 -x4888 -x4899 -x7034 -x7035 -x7037 -x7038 -x7040 -x7042 -x7044 -x7045 -x7047 -x7048 -x7050 -x7051 -x7054 -x7055 -x7057 -x7058 -x7060 -x7061 -x7064 -x7065 -x4910 -x4921 -x4932 -x4944 -x7067 -x7068 -x7070 -x7071 -x7072 -x7075 -x7076 -x7077 -x7079 -x7080 -x7081 -x7083 -x7084 -x7086 -x7088 -x7089 -x7090 -x7092 x7093 -x7094 -x7104 -x7105 -x7106 -x7109 -x7110 -x7111 -x7112 -x7113 -x7115 -x4966 -x4977 -x4988 -x4999 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x5010 -x5021 -x5032 -x5043 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7203 -x5055 -x5066 x5077 x5088 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x5099 -x5110 -x5121 -x5132 -x7255 -x7256 -x7257 -x7258 -x7260 -x7261 -x7262 -x7263 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7276 -x7277 -x7278 -x7279 -x7281 -x7282 -x7283 -x7284 -x7287 -x7288 -x7289 -x7290 -x7291 -x7293 -x7294 -x7295 -x7296 -x7298 -x7299 -x7301 -x7302 -x7303 -x7304 -x7305 -x7307 -x7309 -x7310 -x7311 -x7312 -x7314 -x5143 -x5154 -x5166 -x5177 -x7315 -x7316 -x7317 -x7318 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7328 -x7329 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7349 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7358 -x7360 -x7361 -x7362 -x7363 -x7364 -x7366 -x7367 -x7368 -x7369 -x7371 -x7372 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7389 -x7390 -x7391 -x7393 -x7394 -x7395 -x7397 -x5199 -x5210 -x5221 -x7398 -x7399 -x7400 -x7401 -x7402 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7412 -x7413 -x7415 -x7416 -x7417 -x7418 -x7420 -x7421 -x7422 -x7423 -x7424 -x7426 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7435 -x7437 -x7438 -x7439 -x7440 -x7441 -x7443 -x7444 -x7445 -x7446 -x7452 -x7453 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7470 -x7471 -x7472 -x7474 -x7475 -x7477 -x5232 -x5243 -x5254 -x7479 -x7480 -x7482 -x7483 -x7485 -x7487 -x7488 x7489 -x7491 -x7492 -x7493 -x7496 -x7497 -x7498 -x7500 -x7501 -x7504 -x7505 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x5265 -x5277 -x5288 -x7514 -x7515 -x7516 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x5299 -x5310 -x5321 -x5343 -x5354 -x5365 -x5376 -x5399 -x5410 -x5421 -x5432 -x5454 -x5465 -x5476 -x5487 -x5510 -x5521 -x5532 -x5543 -x5565 -x5576 -x5587 -x5598 -x5621 -x5632 -x5643 -x5654 -x5676 -x5687 -x5698 -x5709 -x5733 -x5744 -x5755 x5766 -x5788 -x5799 -x5810 -x5821 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7551 -x7552 -x7553 -x7554 -x7556 -x7557 -x7558 -x7559 -x7560 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x5844 -x5855 -x5866 -x5877 -x7573 -x7574 -x7575 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595 -x7596 -x7597 -x7599 -x7601 -x7602 -x7603 -x7604 -x7606 -x7607 -x7608 -x7610 -x7612 -x7613 -x7614 -x7616 -x7617 -x7618 -x5899 -x5910 -x5921 -x5932 -x7621 -x7622 -x7624 -x7625 -x7627 -x7628 -x7629 -x7632 -x7633 -x7634 -x7636 -x7637 -x7638 -x7640 -x7643 -x7644 -x7646 -x7647 -x7649 -x7650 -x7652 -x7654 -x5955 -x5966 -x5977 -x7656 -x7657 -x7660 -x5999 -x6010 -x6021 -x6043 -x7662 -x7663 -x7665 -x7667 -x7668 -x7669 -x7671 -x7672 -x7673 -x7680 -x7681 -x7682 -x7684 -x7685 -x7686 -x7688 -x7689 -x7691 -x7693 -x7694 -x7695 -x7697 -x7698 -x7699 -x7702 -x7703 -x7704 -x7706 -x7707 -x7708 -x7711 -x7713 -x7714 -x7717 -x7718 -x7719 -x7722 -x7724 -x7725 -x7728 -x7729 -x7730 -x7733 x7735 -x7736 -x7739 x7740 -x7741 -x7744 x7746 -x7747 -x7750 x7751 -x7752 -x7755 x7757 -x7758 -x7761 -x7762 x7763 -x7766 -x7768 -x7769 -x7772 -x7773 -x7774 -x7776 -x7777 -x7779 -x7781 -x7782 -x7783 -x7785 -x7786 -x7787 -x7794 -x7795 -x7796 -x7798 -x7799 -x7800 -x7802 -x7803 -x7805 -x7807 -x7808 -x7809 -x7811 -x7812 -x7813 -x7814 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7849 -x7850 -x7852 -x7854 -x7855 -x7857 -x7860 -x7862 -x7864 -x7866 -x7868 -x7871 -x7873 -x7875 -x7877 -x7879 -x7882 -x7884 -x7886 -x7888 -x7890 -x7893 -x7895 x7897 -x7899 -x7901 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7958 -x7961 -x7965 -x7968 -x7971 -x7975 -x7978 -x7981 -x7984 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 -x8011 x8012 -x8014 -x8015 -x8016 -x8017 -x8026 -x8027 -x8028 -x8029 -x8030 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8041 -x8042 -x8044 -x8047 -x8048 -x8050 -x8051 -x8052 -x8054 -x8055 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8077 -x8078 -x8080 -x8081 -x8083 -x8084 -x8085 -x8086 -x8088 -x8089 -x8091 -x8092 -x8094 -x8095 -x8096 -x8097 -x8099 -x8100 -x8102 -x8103 -x8105 -x8106 -x8107 -x8108 -x8110 -x8111 -x8113 -x8114 -x8116 -x8117 -x8118 x8119 -x8121 -x8122 -x8124 -x8125 -x8127 -x8128 -x8129 -x8130 -x8132 -x8133 -x8140 -x8141 -x8143 -x8144 -x8145 -x8147 -x8148 -x8149 -x8152 -x8153 -x8154 -x8156 -x8159 -x8162 -x8173 -x8174 -x8176 -x8177 -x8179 -x8180 -x8182 -x8184 -x8186 -x8187 -x8189 -x8190 -x8192 x8193 -x8196 -x8197 -x8199 -x8200 -x8203 -x8204 -x8207 -x8208 -x8210 -x8211 -x8213 -x8214 -x8218 -x8219 -x8222 -x8224 -x8228 -x8230 -x8233 -x8235 x8240 x8243 -x8245 -x8248 -x8256 -x8259 -x8261 -x8263 -x8266 -x8268 -x8270 -x8272 -x8274 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316 -x8318 -x8319 -x8321 -x8322 -x8323 -x8325 -x8326 -x8327 -x8328 -x8330 -x8332 -x8333 -x8334 -x8335 -x8337 -x8338 -x8339 -x8340 -x8343 -x8344 -x8346 -x8347 -x8349 -x8350 -x8352 -x8354 -x8356 -x8357 -x8359 -x8360 -x8362 -x8363 -x8371 -x8372 -x8373 -x8375 -x8376 -x8378 -x8379 -x8381 -x8383 -x8384 -x8386 -x8387 -x8388 -x8390 -x8392 -x8394 -x8395 -x8396 -x8398 -x8399 -x8401 -x8403 -x8404 -x8406 -x8407 -x8409 -x8410 -x8411 -x8414 -x8415 -x8417 -x8418 -x8419 -x8421 -x8422 -x8425 -x8426 -x8428 -x8429 -x8431 -x8432 -x8433 -x8436 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8445 -x8447 -x8448 -x8449 -x8450 -x8452 -x8453 -x6081 -x6092 -x6103 -x6114 -x6125 -x6136 -x6147 -x6158 -x6174 -x6185 -x6196 -x6207 -x8454 -x8455 -x8456 -x8459 -x8460 -x8461 -x8462 -x8463 -x8465 -x8466 -x8467 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8518 -x8519 -x8520 -x6229 -x6240 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8540 -x8542 -x8543 -x8544 -x8545 -x8547 -x8548 -x8549 -x8551 -x8552 -x8554 -x8555 -x8556 -x8557 -x8558 -x8560 -x8562 -x8564 -x8566 -x8567 -x8569 -x8570 -x8573 -x8575 -x6262 -x6273 -x8576 -x8578 -x8579 -x8581 -x8584 -x8586 -x8587 -x8588 -x8589 -x8591 -x8592 -x8593 -x8601 -x8602 -x8604 -x8605 -x8606 -x8608 -x8609 -x8612 -x8613 -x8615 -x8616 -x8618 -x8619 -x8622 -x8623 -x8625 -x8626 -x8627 -x8629 -x8630 -x8633 -x8634 -x8635 -x8637 -x8638 -x8639 -x8640 -x8641 -x8644 -x8645 -x8647 -x8648 -x6300 -x6311 -x8649 -x8651 -x8652 -x8655 -x8656 -x8657 -x8659 -x8660 -x8662 -x8663 -x8664 -x8667 -x8668 -x8670 -x8671 -x8673 -x8674 -x8677 -x8678 -x8679 -x8681 -x8683 -x8684 -x8685 -x8688 -x8689 -x8691 -x8692 -x8694 -x8696 -x8697 -x8699 -x8701 -x8703 -x8704 -x8705 -x8707 -x8708 -x8716 -x8717 -x8718 -x8720 -x8721 -x8723 x6333 x6344 -x8724 -x8727 -x8728 -x8730 -x8731 -x8733 -x8734 -x8737 -x8738 -x8739 -x8741 -x8742 -x8744 -x8745 -x8746 -x8749 -x8750 -x8752 -x8753 -x8754 -x8756 -x8757 -x8760 -x8761 -x8762 -x8764 -x8765 -x8767 -x8768 -x8770 -x8772 -x8773 -x8775 -x8776 -x8778 -x8779 -x8782 -x8783 -x8785 -x8787 -x8788 -x8789 -x8792 -x8793 x6366 -x6377 -x8795 -x8796 -x8797 -x8799 -x8800 -x8801 -x8803 -x8804 -x8805 -x8806 -x8808 -x8809 -x8810 -x8811 -x8812 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x6404 -x6415 -x8846 -x8847 -x8848 -x8849 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8906 -x8907 -x8908 -x6437 -x6448 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 x8936 -x8937 -x8943 -x8944 -x8945 x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x6470 -x6481 -x8972 -x8973 -x8974 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x6503 -x6520 -x9016 -x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x6542 -x6553 -x9065 -x9066 -x9068 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 x9085 -x9086 -x9087 -x9088 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x6564 -x6597 -x9118 -x9119 -x9120 -x9121 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9145 -x9146 -x9147 -x9148 -x9149 -x9151 -x9152 -x9153 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x6636 -x6658 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 -x9179 -x9180 -x9181 -x9184 -x9186 -x9187 -x9189 -x9190 -x9192 -x9194 -x9195 -x9197 -x9198 -x9200 -x9201 -x9202 -x9205 -x9206 -x9208 -x9209 -x9212 -x9213 -x9216 -x9217 -x9218 -x9221 -x9222 -x9224 -x9225 -x9227 -x9230 -x9232 -x9233 -x9236 -x9238 -x9240 -x9241 -x9242 -x6691 -x6713 -x9245 -x9246 -x9249 -x9250 -x9251 -x9254 -x9255 -x9257 -x9258 -x9260 -x9263 -x9264 -x9266 -x9267 -x9268 -x9272 -x9273 -x9275 -x9276 -x9277 -x9280 -x9287 -x9289 -x9290 -x9291 -x9294 -x9295 -x9298 -x9299 -x9300 -x9303 -x9304 -x9306 -x9307 -x9311 -x9312 -x9314 -x9315 -x9316 -x9320 -x9322 -x9323 -x9324 -x9327 -x9329 -x9331 -x9332 -x6752 -x6763 -x9335 -x9337 -x9338 -x9339 -x9343 -x9345 -x9346 -x9347 -x9350 -x9353 -x9354 -x9355 -x9358 -x9360 -x9361 -x9362 -x9366 -x9368 -x9369 -x9372 -x9375 -x9376 -x9377 -x9380 -x9382 -x9383 -x9384 -x9388 -x9390 -x9391 -x9394 -x9395 -x9402 -x9403 -x9404 -x9407 -x9408 -x9409 -x9410 -x9411 -x9413 -x9415 -x6796 -x6807 -x6818 -x9416 -x9417 -x9418 -x9419 -x9420 -x9422 -x9424 -x9426 -x9427 -x9429 -x9431 -x9432 -x9433 -x9436 -x9437 -x9438 -x9440 -x9441 -x9443 -x9444 -x9448 -x9449 -x9451 -x9452 -x9455 -x9458 -x9459 -x9461 -x9463 -x9464 -x9468 -x9470 -x9471 -x9473 -x9475 -x9479 -x6840 -x6851 -x6869 -x9481 -x9482 -x9485 -x9487 -x9488 -x9491 -x9493 -x9495 -x9497 -x9498 -x9499 -x9502 -x9504 -x9506 -x9508 x9510 x9518 -x9521 -x9523 -x9525 -x9528 -x9530 -x6891 -x6902 -x6913 -x9532 -x9534 -x9536 -x9539 -x9541 -x9543 -x9545 -x9547 -x9550 -x9552 -x9553 -x9555 -x9557 -x9558 -x9561 -x9563 -x9565 -x9567 -x9568 -x9570 -x9573 -x9574 -x9576 -x9578 -x9579 -x6935 -x6946 -x6957 -x6968 -x9580 -x9583 -x9585 -x9587 -x9588 -x9591 -x9592 -x9595 -x9596 -x9597 -x9599 -x9600 -x9601 -x9602 -x9603 -x9605 -x9607 -x9612 -x9613 -x9614 -x9618 -x9619 -x9620 -x9623 -x9624 -x6997 -x7008 -x7019 -x7030 -x9633 -x9634 -x9635 -x9636 -x9638 -x9639 -x9640 -x9641 -x9644 -x9645 -x9646 -x9647 -x9649 -x9650 -x9651 -x9652 -x9655 -x9656 -x9657 -x9658 -x9660 x9661 -x9662 -x9665 -x9666 -x9667 -x9668 -x9670 -x9671 -x9672 -x9676 -x9677 -x9678 -x9679 -x9681 -x9682 -x9683 -x9684 -x7052 -x7063 -x7074 -x7085 -x9687 -x9688 -x9689 -x9690 -x9692 -x9693 -x9694 -x9695 -x9698 -x9699 -x9700 -x9701 -x9703 -x9704 -x9705 -x9706 -x9709 -x9710 -x9711 -x9713 -x9714 -x9715 -x9720 -x9721 -x9722 -x9724 -x9726 -x9728 -x9731 -x9733 -x9735 -x7114 -x7125 x7136 -x9737 -x9739 -x9747 -x9749 -x9751 -x9753 -x9756 -x9758 -x9760 -x9761 -x9763 -x9764 -x9766 -x9767 -x9770 -x9771 -x9772 -x9774 -x9775 -x9776 -x9778 -x9780 -x7158 -x7169 -x7180 -x9782 -x9783 -x9784 -x9786 -x9787 -x9788 -x9789 -x9791 -x9793 -x9794 -x9796 -x9798 -x9799 -x9802 -x9804 -x9806 -x9808 -x9810 -x9813 -x9815 -x9817 -x9819 -x9822 -x7202 -x7220 -x7231 -x9825 -x9827 -x9829 -x9831 -x9832 -x9835 -x9836 -x9837 -x9839 -x9840 -x9841 -x9843 -x9844 -x9846 -x9848 -x9849 -x9850 -x9852 -x9853 -x9854 -x9855 -x9862 -x9863 -x9864 -x9865 -x7253 -x7264 -x7275 -x7297 -x7308 -x7319 -x7348 -x7359 -x7370 -x7392 -x7403 -x7414 -x7436 -x7451 -x7462 -x7473 -x7484 -x7495 -x7506 -x7517 -x7528 -x7539 -x7550 -x7565 -x7587 -x7609 -x7631 -x7642 -x7701 -x7756 -x7815 -x7826 -x7870 -x7919 -x7930 -x7985 -x8035 -x9868 -x9869 -x9870 -x9873 -x9874 -x9875 x8079 -x8090 -x9877 -x9878 -x9879 -x9881 -x9882 -x9884 -x9886 -x9887 -x9888 -x9890 -x9891 -x9892 -x9895 -x9896 -x9897 -x9899 -x9900 -x9901 x9903 -x9904 -x9906 -x9908 -x9909 -x9910 -x9913 -x9914 -x9915 -x9919 -x9920 -x9921 -x9924 -x8123 -x9925 -x9926 -x9930 -x9931 -x9932 -x9935 -x9936 -x9937 -x9941 -x9942 -x9943 -x9946 -x9947 -x9948 -x9952 -x9953 -x9954 -x9957 -x9958 -x9959 -x9963 -x9964 -x9965 -x9968 -x9969 -x9970 -x9979 -x9980 -x9981 -x9983 -x8161 -x8172 -x9984 -x9985 -x9988 -x9989 -x9990 -x9992 -x9993 -x9994 -x9996 -x9997 -x9999 -x10001 -x10002 -x10003 -x10005 -x10006 -x10007 -x10010 -x10011 -x10012 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x8216 -x10028 -x10029 -x10030 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10051 -x10052 -x10055 -x10057 -x10058 -x8254 -x10060 -x10062 -x10065 -x10067 -x10069 -x10071 -x10073 -x10076 -x10078 -x10080 -x8287 -x8298 -x10082 -x10084 -x10092 -x10094 -x10096 -x10098 -x10100 -x10103 -x10105 -x10107 -x10109 -x10111 -x10112 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x8342 -x10121 -x10122 -x10123 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10136 -x10137 -x10138 -x10139 -x8369 -x10140 -x10141 x10142 -x10143 x10144 -x10145 x10147 x10161 x10164 x10167 x10171 -x10174 -x10177 -x8391 -x8402 -x10181 -x10184 -x10187 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x8424 -x8435 -x10199 -x10200 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x8457 -x8468 -x10214 -x10215 -x10217 -x10218 -x10219 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10250 -x10251 -x10252 -x10253 -x10254 x8495 x8506 -x10255 -x10256 -x10257 -x10258 -x10259 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10332 -x10333 -x8528 -x8539 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x8561 -x8572 -x10396 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 x10407 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 x10416 -x10417 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10429 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10443 -x10444 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10453 -x10454 -x10455 -x10457 -x10458 -x10459 -x10460 -x10461 -x10463 -x10464 -x10465 -x10466 -x10468 -x10469 -x10470 -x10471 -x10473 -x10475 -x10476 -x10477 -x10479 -x10480 -x10481 -x10482 -x10484 -x10486 -x10487 -x10488 -x10490 -x10491 -x10492 -x8599 -x8610 -x10493 -x10495 -x10497 -x10498 -x10499 -x10501 -x10502 -x10503 -x10504 -x10506 -x10508 -x10509 -x10510 -x10512 -x10513 -x10514 -x10516 -x10518 -x10519 -x10520 x10521 -x10523 -x10524 -x10526 -x10528 -x10529 -x10530 -x10531 -x10532 -x10534 -x10536 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10550 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10560 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10569 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10579 -x10582 -x10583 -x10585 -x10586 -x10587 -x10589 -x10591 -x10593 -x10595 -x10596 -x8643 -x10597 -x10599 -x10601 -x10602 -x10605 -x10606 -x10607 -x10609 -x10611 -x10612 -x10615 -x10616 -x10617 -x10618 -x10619 -x10621 -x10622 -x10624 -x10626 -x10627 -x10628 -x10629 -x10631 -x10632 -x10634 -x10635 -x10637 -x10638 -x10639 -x10641 -x10642 -x10644 -x10645 -x10646 -x10648 -x10649 -x10651 -x10652 -x10654 -x10655 -x10656 -x10657 -x10663 -x10665 -x10666 -x10668 -x10669 -x10670 -x10671 -x10672 -x10674 -x10675 -x10676 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10685 -x10686 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10696 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10708 -x10709 -x10710 -x10711 -x10713 -x10714 -x10715 -x10716 -x10719 -x10720 -x10721 -x10722 -x10724 -x10725 -x10726 -x10727 -x10730 -x10731 -x10732 -x10733 -x10735 -x10736 -x10737 -x10738 -x10741 -x10742 -x10743 -x10744 -x10746 -x10747 -x10748 -x10749 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10785 -x10786 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10796 -x10797 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10854 -x10855 -x10856 -x10857 -x10858 -x10860 -x10861 -x10862 -x10863 -x10865 -x10866 -x10867 -x10868 -x10869 -x10871 -x10872 -x10873 -x10874 -x10876 -x10877 -x10878 -x10879 -x10880 -x10882 -x10883 -x10884 -x10885 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10911 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10921 -x10922 -x10924 -x10925 -x10926 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10935 -x10936 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10946 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11005 -x11006 -x11007 -x11008 -x11009 -x11011 -x11012 -x11013 -x11014 -x11017 -x11018 -x11019 -x11021 -x11022 -x11023 -x11024 -x11025 -x11027 -x11029 -x11031 -x11032 -x11034 -x11035 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11045 -x11046 x11049 -x11050 -x11051 x11053 -x11054 -x11055 -x11057 -x11058 x11061 -x11062 -x11063 -x11065 -x11066 x11067 -x11069 -x11071 -x11073 -x11074 -x11075 -x11077 -x11078 -x11079 -x11082 -x11083 -x11085 -x11086 -x11087 -x11089 -x11090 -x11091 -x11094 -x11095 -x11097 -x11098 -x11099 -x11101 -x11102 -x11104 -x11106 -x11107 -x11109 -x11110 -x11111 -x11113 -x11119 -x11120 -x11122 -x11123 -x11125 -x11126 -x11127 -x11130 -x11131 -x11132 -x11134 -x11135 -x11137 -x11138 -x11139 -x11142 -x11143 -x11144 -x11146 -x11147 -x11149 -x11150 -x11152 -x11154 -x11155 -x11156 -x11158 -x11159 -x11161 -x11163 -x11164 -x11166 -x11167 -x11168 -x11170 -x11171 -x11174 -x11175 -x11176 -x11178 -x11179 -x11180 -x11182 -x11183 -x11186 -x11187 -x11188 -x11190 -x11191 -x11192 -x11194 -x11196 -x11198 -x11199 -x11200 -x11202 -x11203 -x11204 -x11207 -x11208 -x11210 -x11211 -x11212 -x11214 -x11215 -x11216 -x11219 -x11220 -x11222 -x11223 -x11224 -x11226 -x11227 -x11233 -x11235 -x11236 -x11238 -x11239 -x11240 -x11242 -x11244 -x11246 -x11247 -x11249 -x11250 -x11251 -x11253 -x11255 -x11257 -x11258 -x11260 -x11261 -x11262 -x11264 -x11266 -x11268 -x11269 -x11271 -x11272 -x11273 -x11275 -x11277 -x11279 -x11280 -x11282 -x11283 -x11284 -x11286 -x11288 -x11290 -x11291 -x11293 -x11294 -x11295 -x11297 -x11299 -x11301 -x11303 -x11304 -x11305 -x11307 -x11308 -x11311 -x11313 -x11314 -x11316 -x11317 -x11319 -x11322 -x11323 -x11325 -x11326 -x11328 -x11330 -x11332 -x11334 -x11335 -x11337 -x11339 -x11340 -x11347 -x11348 -x11350 -x11352 -x11353 -x11355 -x11356 -x11359 -x11361 -x11362 -x11364 -x11365 -x11367 -x11370 -x11371 -x11373 -x11374 -x11375 -x11377 -x11380 -x11381 -x11383 -x11384 -x11385 -x11386 -x11388 -x11389 -x11392 -x11393 -x11394 -x11395 -x11397 -x11398 -x11400 -x11402 -x11403 -x11404 -x11406 -x11407 -x11409 -x11410 -x11411 -x11413 -x11415 -x11416 -x11418 -x11419 -x11420 -x11421 -x11424 -x11425 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11443 -x11444 -x11446 -x11447 -x11448 -x11449 -x11451 -x11452 -x11453 -x11454 -x11455 -x11462 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11517 -x8654 -x8665 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11587 -x11588 -x11589 -x11590 -x8687 -x8698 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x8725 -x8736 -x11661 -x11662 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11734 -x11736 -x11737 -x11738 x11739 -x11740 -x11741 -x11742 -x11745 -x11746 -x11747 -x11748 -x8758 -x8769 -x11750 -x11751 -x11753 -x11754 -x11756 -x11757 -x11758 -x11759 -x11760 -x11762 -x11763 -x11764 -x11765 -x11767 -x11768 -x11769 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11778 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11797 -x11798 -x11804 -x11805 -x11806 -x11807 -x11808 -x11810 -x11811 -x11812 -x11813 -x11815 -x11816 -x11817 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11826 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11837 -x11838 -x11839 -x11840 -x11841 -x8791 -x8802 -x11842 -x11843 -x11845 -x11846 -x11848 -x11849 -x11850 -x11851 -x11853 -x11854 -x11855 -x11856 -x11857 -x11859 -x11861 -x11862 -x11863 -x11864 -x11865 -x11867 -x11868 -x11870 -x11871 -x11872 -x11874 -x11875 -x11876 -x11877 -x11878 -x11881 -x11882 -x11883 -x11884 -x11886 -x11887 -x11888 -x11889 -x11892 -x11893 -x11894 -x11896 -x11897 -x11898 -x11900 -x11901 -x11903 -x8828 -x8839 -x11905 -x11906 -x11907 -x11909 -x11910 -x11911 -x11918 -x11919 -x11920 -x11922 -x11923 -x11924 -x11926 -x11927 -x11929 -x11931 -x11932 -x11933 -x11935 -x11936 -x11937 -x11940 -x11941 -x11942 -x11944 -x11945 -x11946 -x11948 -x11949 -x11951 -x8861 -x8872 -x11953 -x11954 -x11955 -x11957 -x11958 -x11959 -x11962 -x11963 -x11964 -x11966 -x11967 -x11968 -x11970 -x11971 -x11973 -x11975 -x11976 -x11977 -x11979 -x11980 -x11981 -x11985 -x11986 -x11989 -x11991 -x11992 -x11996 -x11997 -x11999 -x8894 -x8905 -x12003 -x12004 -x12007 -x12011 -x12012 -x12014 -x12019 -x12020 -x12021 -x12022 -x12026 -x12033 -x12034 -x12038 -x12040 -x12041 -x12046 -x12048 -x12049 -x12050 -x12054 -x12056 -x12057 -x12058 -x12061 -x12063 -x12065 -x12066 -x12069 -x12071 -x12072 -x12073 -x12077 -x12079 -x12080 -x12081 -x8927 -x8942 -x12084 -x12087 -x12088 -x12089 -x12092 -x12094 -x12095 -x12096 -x12100 -x12102 -x12103 -x12104 -x12107 -x12110 -x12111 -x12112 -x12115 -x12117 -x12118 -x12120 -x12123 -x12125 -x12126 -x12127 -x12131 -x12133 -x12134 -x12135 -x12138 -x12140 -x12146 -x12147 -x12150 -x12152 -x12153 -x12154 -x12158 -x12160 -x12161 -x12162 -x8964 -x8975 -x12165 -x12168 -x12169 -x12170 -x12175 -x12176 -x12177 -x12179 -x12184 -x12185 -x12186 -x12187 -x12193 -x12194 -x12195 -x12196 -x12201 -x12202 -x12203 -x12204 -x12207 -x12208 -x12209 -x12210 -x12215 -x12217 -x12221 -x12224 -x12228 -x12230 -x12234 -x8997 -x9008 -x12239 -x12245 -x12250 -x12254 -x12263 -x12266 -x12269 -x12273 -x12276 -x12279 -x9030 -x9041 -x12283 -x12286 -x12287 -x12290 -x12291 -x12295 -x12296 -x12299 -x12300 -x12304 -x12305 -x12308 -x12309 -x12312 -x12313 -x12317 -x12318 -x12321 -x12322 -x12326 -x9067 -x9078 -x12327 -x12330 -x12331 -x12334 -x12335 -x12339 -x12340 -x12343 -x12344 -x12348 -x12349 -x12352 -x12353 -x12356 -x12357 -x12361 -x12363 -x12364 -x12365 -x12366 -x12368 -x12375 -x9100 -x9111 -x12376 -x12378 -x12380 -x12382 -x12385 -x12387 -x12389 -x12390 -x12392 -x12394 -x12396 -x12398 -x12399 -x12401 -x12403 -x12404 -x12407 -x12408 -x12410 -x12412 -x12413 -x12415 -x12416 -x12419 -x12421 -x12422 -x12424 -x12425 -x12426 -x12429 -x12431 -x12432 -x12434 -x12435 -x12436 -x12438 -x12441 -x12442 -x12444 -x12445 -x12446 -x12448 -x12451 -x12452 -x12454 -x12455 -x12456 -x12459 -x12460 -x12463 -x12464 -x12465 x9133 -x9144 -x12468 -x12469 -x12471 -x12473 -x12474 -x12477 -x12478 -x12480 -x12481 -x12482 -x12490 -x12492 -x12493 -x12494 -x12497 -x12500 -x12501 -x12502 -x12505 -x12507 -x12508 -x12510 -x12513 -x12515 -x12516 -x12517 -x12521 -x12523 -x12524 -x12525 -x12528 -x12530 -x12532 -x12533 -x12536 -x12538 -x12539 -x12540 -x12544 -x12546 -x12547 -x12548 x9171 -x9182 -x12551 -x12554 -x12555 -x12556 -x12559 -x12561 -x12562 -x12563 -x12567 -x12569 -x12570 -x12571 -x12574 -x12577 -x12578 -x12579 -x12582 -x12584 -x12585 -x12587 -x12590 -x12592 -x12593 -x12594 -x8 -x10 -x11 -x12 -x15 -x17 -x19 -x20 -x23 -x25 -x26 -x27 -x31 -x33 -x34 -x35 x9204 -x9215 -x38 -x41 -x42 -x43 -x46 -x48 -x49 -x50 -x54 -x56 -x57 -x58 -x61 -x64 -x65 -x66 -x69 -x71 -x72 -x74 -x76 -x78 -x79 -x80 -x82 -x85 -x86 -x87 -x89 -x91 -x92 -x93 -x97 -x99 -x101 -x103 x9237 -x9248 -x105 -x108 -x110 -x112 -x114 -x116 -x123 -x125 -x127 -x128 -x130 -x131 -x134 -x136 -x137 -x139 -x140 -x142 -x145 -x146 -x148 -x149 -x151 -x153 -x155 -x157 -x158 -x160 -x162 -x163 -x166 -x167 -x169 -x171 -x172 -x174 -x175 -x178 -x180 -x181 -x183 -x185 -x188 -x189 -x191 x9270 -x9286 -x193 -x195 -x196 -x199 -x201 -x203 -x204 -x206 -x208 -x211 -x212 -x214 -x216 -x218 -x219 -x222 -x223 -x226 -x227 -x229 -x230 -x238 -x239 -x241 -x242 -x245 -x247 -x249 -x250 -x253 -x255 -x256 -x260 -x262 -x263 -x266 -x269 -x270 x9308 -x9319 -x273 -x275 -x276 -x280 -x282 -x283 -x286 -x288 -x289 -x293 -x295 -x296 -x299 -x302 -x303 -x306 -x308 -x309 -x313 -x315 -x316 -x319 -x321 -x322 -x326 -x328 -x329 -x332 -x335 -x336 x9341 -x9352 -x338 -x340 -x341 -x343 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x361 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x383 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x394 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x405 -x406 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x427 -x428 -x429 -x430 -x432 -x433 -x435 -x436 -x438 -x439 -x440 x9374 -x441 -x442 -x444 -x445 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x476 -x477 -x478 -x480 -x481 -x482 -x484 -x486 -x488 -x489 -x490 -x492 -x493 -x494 -x497 -x498 -x500 -x501 -x502 -x504 -x505 -x506 -x509 -x510 -x512 -x513 -x514 -x516 -x517 -x519 -x521 -x522 -x524 -x525 -x526 -x528 -x530 -x531 -x533 -x534 -x536 -x537 -x538 -x541 -x542 -x543 -x545 -x546 -x548 -x549 -x550 -x553 -x554 -x556 -x557 -x559 -x560 -x561 -x564 -x9401 -x9412 -x9423 -x9434 -x9445 -x9456 -x9467 -x9478 -x9489 -x9500 -x565 -x567 -x568 -x570 -x571 -x572 -x579 -x580 -x582 -x584 -x585 -x586 -x589 -x590 -x592 -x594 -x595 -x597 -x598 -x600 -x602 -x603 -x605 -x606 -x608 -x609 -x612 -x613 -x615 -x616 -x618 -x619 -x622 -x623 -x625 -x626 -x628 -x629 -x631 -x634 -x635 -x637 -x639 -x641 -x642 -x9527 -x9538 -x645 -x647 -x648 -x649 -x651 -x652 -x653 -x656 -x657 -x658 -x660 -x661 -x662 -x664 -x666 -x9560 -x9571 -x9593 -x9604 -x9631 -x9642 -x668 -x9664 -x9675 -x9697 -x9708 -x9730 -x9746 -x9768 -x9779 -x9801 -x9812 -x9834 -x9845 -x9872 -x9883 -x9916 -x9927 -x9949 -x9960 -x9987 -x9998 -x10009 -x10020 -x10031 -x10042 -x10053 -x10064 -x10075 -x10091 -x10102 -x10113 -x10124 -x10135 -x10146 -x10157 -x10168 -x10179 -x10190 -x10205 -x10216 -x10227 -x10238 -x10249 -x10260 -x10271 -x10282 -x10293 -x10304 -x10320 -x10331 -x10342 -x10353 -x10364 -x10375 -x10386 -x10397 -x10408 -x10419 x10445 -x10456 -x10467 -x10478 -x10489 -x10500 -x10511 -x10522 -x10533 -x10548 -x10559 -x10570 -x10581 -x10592 -x10603 -x10614 -x10625 -x10636 -x10647 -x10662 -x10673 -x10684 -x669 -x670 -x671 -x672 -x673 -x677 -x678 -x679 -x680 -x681 -x684 -x685 -x692 -x693 -x694 -x696 -x697 -x699 -x700 -x701 -x704 -x705 -x707 -x708 -x709 -x711 -x712 -x714 -x715 -x716 -x718 -x719 -x720 -x721 -x722 -x723 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x736 -x737 -x738 -x740 -x741 -x742 -x744 -x745 -x747 -x10695 -x10706 -x10717 -x749 -x750 -x751 -x753 -x755 -x758 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x10728 -x10739 -x10750 -x800 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x818 -x820 -x822 -x824 -x826 -x10761 -x10776 -x10787 -x829 -x831 -x832 -x834 -x835 -x837 -x839 -x842 -x843 -x845 -x847 -x850 -x852 -x10809 -x854 -x856 -x858 -x861 -x863 -x865 -x867 -x869 -x872 -x10820 -x10831 -x10842 -x10853 -x10864 -x10875 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x10890 -x938 -x939 -x940 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x10901 -x10912 -x10923 -x10934 -x10945 -x10956 -x10967 -x10978 -x10989 -x11004 -x11015 -x11026 -x11037 -x11048 -x1015 -x1016 -x1017 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1067 -x1068 -x1069 -x11070 -x11081 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1122 -x1123 -x1124 -x11103 -x11118 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1171 -x1173 -x1174 -x1175 -x1176 -x1177 -x1179 -x1180 -x1182 -x1183 -x1185 -x1186 -x1187 x11140 x11151 -x1189 -x1190 -x1191 -x1194 -x1195 -x1196 -x1198 -x1199 -x1200 -x1202 -x1204 -x1205 -x1207 -x1208 -x1210 -x1211 -x1212 -x1215 -x1216 -x1217 -x1219 -x1220 -x1221 -x1223 -x1224 -x1226 -x1228 -x1229 -x1230 -x11184 -x1232 -x1233 -x1235 x1237 -x1239 -x1240 -x1242 -x1243 -x1245 -x1246 -x1249 -x1250 -x1252 -x1253 -x1255 -x1256 -x1266 -x1267 -x1269 -x1270 -x11195 -x11206 -x1274 -x1277 -x1279 -x1281 -x1283 -x1285 -x1288 -x1290 -x1292 -x1294 -x11232 -x11243 -x1296 -x1299 -x1301 -x1303 -x1305 -x1307 -x1311 -x1312 -x1313 -x1314 -x1315 -x1317 -x1318 -x1320 -x11265 -x11276 -x11298 -x11309 -x11331 x11346 -x11368 -x11379 -x1322 -x11401 -x11412 -x11434 -x11445 -x1323 -x1325 -x1326 -x1327 -x1328 -x1332 -x1334 -x1335 -x1336 -x1337 -x11472 -x11483 -x1340 -x1343 -x1344 -x1345 -x1346 -x1349 -x1351 -x1353 -x1354 -x1355 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1367 -x1369 -x1370 -x1371 -x1372 -x1382 -x1383 -x1385 -x1386 -x1387 -x1388 -x1390 -x1392 -x1394 -x1395 -x1396 -x1397 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1408 -x1409 -x1410 -x1411 -x1412 -x1414 -x1415 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1426 -x1427 -x1429 -x1430 -x1431 -x1432 -x11505 -x11516 -x11527 -x11538 -x11549 -x11560 -x11575 -x11586 -x11597 -x1434 -x1436 -x1437 -x1438 x1439 -x1440 -x1442 -x1443 -x1444 -x1445 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1458 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1469 -x1471 -x1473 -x1475 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1486 -x1487 -x1488 -x1489 -x1498 -x11608 -x11619 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1552 -x1553 -x11630 -x11641 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1583 -x1586 -x1588 -x1589 -x11652 -x11663 -x1591 -x1592 -x1594 x1596 -x1598 -x1599 -x1601 -x1602 -x1604 -x1605 -x1614 -x1615 -x1617 -x1618 -x1620 -x1621 -x1624 -x1625 -x1628 -x11674 -x11689 -x1629 -x1631 -x1633 -x1636 -x1638 -x1640 -x1642 -x1644 -x1647 -x1649 -x11700 -x11711 -x1651 -x1653 -x1655 -x1658 -x1660 -x1662 -x1664 -x1666 -x1669 -x1671 x11722 x11733 -x1673 x11744 -x11755 x11766 -x11777 x11788 -x11803 x11814 -x11825 -x1679 -x1681 -x1682 -x1683 -x1684 -x1687 -x1690 -x1691 -x1692 -x1693 -x1696 -x1698 -x1699 -x1701 -x1702 -x1705 -x1706 -x1707 -x1708 -x1709 -x1713 -x1714 -x1715 -x1716 -x1717 x11836 -x11847 -x1720 -x1721 -x1728 -x1729 -x1730 -x1733 -x1734 -x1736 -x1737 -x1739 -x1740 -x1742 -x1743 -x1745 -x1746 -x1747 -x1748 -x1751 -x1752 -x1754 -x1755 -x1756 -x1757 -x1759 -x1761 -x1762 -x1763 -x1764 -x1765 -x1767 -x1768 -x1769 -x1770 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1783 -x1784 -x1785 -x1786 -x1787 -x1789 -x1790 -x1791 -x1794 -x1795 -x1796 x11858 -x11869 -x1798 -x1799 -x1800 -x1802 -x1805 -x1807 -x1809 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 x11880 -x11891 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1888 -x1890 -x1892 x11902 -x11917 -x1894 -x1896 -x1898 -x1900 -x1901 -x1903 -x1904 -x1906 -x1907 -x1910 -x1911 -x1913 -x1914 -x1916 x1917 -x1921 -x1922 x11928 -x11939 -x1924 -x1926 -x1928 -x1931 -x1933 -x1935 -x1937 -x1939 -x1942 -x1944 -x11950 -x11961 -x1946 -x1948 -x1950 -x1958 -x1960 -x1962 -x1964 -x11972 -x11983 -x12005 -x12016 -x12031 -x12042 -x12053 x12064 -x12075 -x12086 -x12097 -x12108 -x12119 -x12130 -x12145 -x12156 -x12167 -x12178 -x12189 -x12200 -x12211 -x12222 -x12233 -x12244 -x12259 -x12270 -x12281 -x12292 -x12303 -x12314 -x12325 -x12336 -x12347 -x12358 -x12373 -x12384 -x12395 -x12406 -x12417 -x12428 -x12439 -x12450 -x12461 -x12472 -x12487 -x12498 -x12509 -x12520 -x12531 -x12542 -x12553 -x12564 -x12575 -x12586 -x7 -x2865 -x2891 -x2896 -x2899 -x2906 -x2909 -x18 -x29 -x40 -x51 -x2912 -x2918 -x2921 -x2924 -x2932 -x3135 -x3137 -x3140 -x3147 -x3149 -x3152 -x3472 -x3534 -x3155 -x3164 -x3167 -x3538 -x3541 -x3170 -x3172 -x3182 -x3549 -x3552 -x3185 -x3187 -x3199 -x3555 -x3563 -x3202 -x3204 -x3207 -x3566 -x3569 -x3217 -x3218 -x3221 -x3572 -x3579 -x3224 -x3225 -x3235 -x3582 -x3585 -x73 -x84 -x95 -x3238 -x3241 -x3527 -x3595 -x3533 -x2051 -x2052 -x2054 -x2056 -x2057 -x2059 -x2068 -x2069 -x2071 -x2073 -x2074 -x2076 -x2085 -x2086 -x2088 -x2090 -x2091 -x2093 -x121 -x132 -x2098 -x2099 -x2101 -x2104 -x2105 -x2107 -x2113 -x2114 -x2116 -x2119 -x2120 -x2125 -x2128 -x2129 -x2131 -x2575 -x2659 -x2137 -x2138 -x2140 -x2662 -x2668 -x2143 -x2144 -x2146 -x2670 -x2672 -x2152 -x2153 -x2155 -x2674 -x2676 -x2158 -x2159 -x2164 -x2682 -x2684 -x154 -x165 -x176 -x2167 -x2168 -x2170 -x2686 -x2688 -x2176 -x2177 -x2179 -x2690 -x2699 -x2182 -x2183 -x2185 -x2701 -x2703 -x2192 -x2193 -x2195 -x2706 -x2715 -x2198 -x2199 -x2204 -x2718 -x2720 -x2207 -x2208 -x2210 -x2723 x2732 -x2216 -x2217 -x2219 -x2735 -x2737 -x2222 -x2223 -x2225 -x2740 -x2750 -x2231 -x2232 -x2656 -x2754 -x2657 -x198 x209 -x220 -x246 -x257 -x268 -x290 -x301 -x312 -x323 -x349 -x360 -x371 -x382 -x404 -x415 -x437 -x448 -x474 -x485 -x507 -x518 -x540 x562 -x577 x599 -x610 -x632 x643 -x665 -x676 -x702 -x713 -x860 -x930 -x996 -x2235 -x2236 -x2244 -x2245 -x2249 -x2250 -x1066 -x1132 -x1203 -x1275 -x1341 -x1424 -x1507 -x2292 -x2300 -x2304 -x2257 -x2258 -x2307 -x2262 -x2270 -x2274 x2313 -x2316 -x2319 -x2261 -x2277 -x2284 -x2287 -x2326 -x2329 -x2332 -x2630 -x2634 -x2265 -x2290 -x2642 -x2273 -x2298 -x2646 -x2338 -x2302 -x2654 -x2341 -x2571 -x746 -x757 -x768 -x779 -x790 -x805 -x816 -x827 -x838 -x849 -x871 -x882 -x893 -x904 -x919 -x941 -x952 -x963 -x974 -x985 -x1007 -x1018 -x1033 -x1044 -x1055 -x1077 -x1088 -x1099 -x1110 -x1121 -x1148 -x1159 -x1170 -x1181 -x1192 -x1214 -x1225 -x1236 -x1247 -x1264 -x1286 -x1297 -x1308 -x1319 -x1330 -x1352 -x1363 -x1391 -x1402 -x1413 -x1435 -x1446 -x1468 -x1479 -x1496 -x1518 -x1529 -x1551 -x1562 -x1573 -x1584 -x1595 -x1612 -x1634 -x1645 -x1656 -x1667 -x1678 -x1689 -x1711 -x1727 -x1738 -x1749 -x1760 -x1771 -x1793 -x1804 -x1815 -x1826 -x1842 -x1853 x1875 -x1886 -x1897 x1908 -x1919 -x1930 -x1957 -x1968 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2025 -x2033 -x2034 -x2036 -x2037 -x2038 -x2040 -x2041 -x2042 -x2053 -x2055 -x2058 -x2060 -x2070 -x2072 -x2075 -x2077 -x2087 -x2089 -x2092 -x2094 -x2100 -x2102 -x2103 -x2106 -x2111 -x2112 -x2115 -x2117 -x2118 -x2124 -x2126 -x2127 -x2130 -x2132 -x2133 -x2139 -x2141 -x2142 -x2145 -x2150 -x2151 -x2154 -x2156 -x2157 -x2163 -x2165 -x2166 -x2169 -x2171 -x2172 -x2178 -x2180 -x2181 -x2184 -x2190 -x2191 -x2194 -x2196 -x2197 -x2203 -x2205 -x2206 -x2209 -x2211 -x2212 -x2218 -x2220 -x2221 -x2224 -x2229 -x2230 -x2233 -x2234 -x2237 -x2238 -x2242 -x2243 -x2246 -x2247 -x2248 -x2251 -x2256 -x2259 -x2260 -x2263 -x2264 -x2271 -x2272 -x2275 -x2276 -x2278 -x2279 -x2285 -x2286 -x2288 -x2289 -x2291 -x2293 -x2299 -x2301 -x2303 -x2305 -x2306 -x2311 -x2343 -x2345 -x2352 -x2354 -x2359 -x2364 -x2371 -x2377 -x2385 -x2396 -x2407 -x2369 -x2380 -x2382 -x2393 -x2418 -x2404 -x2412 -x2423 -x2429 -x2437 -x2448 -x2460 -x2661 -x2669 -x2312 x2314 -x2391 -x2399 -x2434 -x2445 -x2471 -x2482 -x2490 -x2673 -x2681 -x2315 -x2317 -x2410 -x2457 -x2500 -x2685 -x2775 -x2421 -x2465 -x2689 -x2785 -x2318 -x2320 -x2432 -x2476 -x2510 -x2789 -x2819 -x2443 -x2487 -x2517 -x2529 -x2799 -x2823 -x2325 -x2327 -x2451 -x2497 -x2832 -x2803 -x2328 -x2330 -x2504 -x2540 -x2835 -x2463 -x2807 -x2474 -x2514 -x2546 -x2817 x2838 -x2331 -x2333 -x2485 -x2526 -x2556 -x2821 -x2847 -x2532 -x2560 -x2757 -x2850 -x2334 -x2339 -x2543 -x2568 -x2853 -x2758 -x2340 -x2342 -x2346 -x2347 -x2355 -x2356 -x2357 -x2365 -x2366 -x2367 -x2373 -x2378 -x2384 -x2395 -x2406 -x2417 -x2425 -x2436 -x2447 -x2459 -x2470 -x2478 -x2489 -x2499 -x2509 -x2516 -x2528 -x2539 -x3276 -x3284 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3301 -x3302 -x3303 -x3305 -x3309 -x3306 -x3307 -x3320 -x3318 -x3324 -x3310 -x3322 -x3335 -x3321 -x3326 x3339 -x3325 -x3337 -x3343 -x2545 -x3336 -x3341 -x3353 -x3340 -x3344 -x3357 -x3355 -x3361 -x3628 -x3626 -x3359 -x3416 -x3637 -x2554 -x2555 -x3629 -x3638 -x3640 -x3642 -x3644 -x3645 -x2559 -x2862 -x2864 -x2866 -x2868 -x2992 -x2995 -x3002 -x3003 -x3006 -x3009 -x3010 -x3017 -x3418 -x3420 -x3427 -x3429 -x2870 -x2878 -x3020 -x3021 -x3024 -x3432 -x3434 -x2880 -x2882 -x3031 -x3032 -x3034 -x3443 -x3445 -x2884 -x2886 -x3037 -x3038 -x3045 -x3448 -x3450 -x2962 -x3048 -x3049 -x3051 -x3458 -x3460 -x3059 -x3060 -x3062 -x3463 -x3465 -x3066 -x3067 -x3073 -x3473 -x3475 -x3077 -x3078 -x3080 -x3478 x3480 -x3088 -x3089 -x3091 -x3488 -x3490 -x3095 -x3100 -x3102 -x3493 -x3495 -x3106 -x3107 -x3109 -x3504 -x3506 -x3118 -x3119 -x3121 -x3509 -x3511 -x3131 -x3132 -x3520 -x3522 -x3525 -x2572 -x2574 -x2576 -x2582 -x2584 -x2586 -x2588 -x2590 -x2597 -x2599 -x2601 -x2603 -x2605 -x2612 -x2614 -x2617 -x2625 -x2573 -x2577 -x2583 -x2585 -x2587 -x2589 -x2591 -x2598 -x2600 -x2602 -x2604 -x2611 -x2613 -x2616 -x2618 -x2620 -x2626 -x2628 -x2629 -x2632 x2633 -x2640 -x2641 -x2644 -x2645 -x2648 -x2653 -x2658 -x2660 -x2667 -x2671 -x2675 -x2683 -x2687 -x2698 -x2700 -x2702 -x2704 -x2705 -x2707 -x2716 -x2717 -x2719 -x2721 -x2722 -x2724 x2733 -x2734 -x2736 -x2738 -x2739 -x2741 -x2751 -x2752 -x2753 -x2755 -x2756 -x2759 -x2767 -x2769 -x2771 -x2772 -x2773 -x2774 -x2783 -x2787 -x2791 -x2800 -x2804 -x2814 -x2818 -x2822 x2831 x2834 -x2837 -x2846 -x2849 -x2852 -x2863 -x2867 -x2869 -x2871 -x2879 -x2881 -x2883 -x2885 -x2887 -x2893 -x2894 -x2898 -x2900 -x2908 -x2910 -x2914 -x2919 -x2923 -x2925 -x2931 -x2935 -x2938 -x2945 -x2946 -x2949 -x2950 -x2953 -x2954 -x2961 -x2965 -x2967 x2973 x2974 x2976 -x2977 -x2979 -x2980 -x2982 -x2987 -x2989 -x2990 -x2994 -x2996 -x3146 -x3153 -x3168 -x3005 -x3007 -x3016 -x3018 -x3259 -x3583 -x3611 -x3593 -x3614 -x3023 -x3029 -x3598 -x3621 -x3624 -x3033 -x3035 -x3044 -x3046 -x3050 -x3052 -x3058 -x3061 -x3063 -x3065 -x3072 x3074 -x3076 -x3079 -x3087 -x3090 -x3094 -x3101 -x3105 -x3108 -x3117 -x3120 -x3122 -x3124 -x3134 -x3139 -x3151 -x3154 -x3166 -x3169 -x3181 -x3184 -x3189 -x3201 -x3206 -x3216 -x3220 -x3223 -x3234 -x3237 -x3240 -x3250 -x3252 -x3254 -x3256 -x3258 -x3267 -x3269 -x3270 -x3272 -x3273 -x3275 -x3285 -x3289 -x3293 -x3304 -x3308 -x3319 -x3323 -x3327 -x3338 -x3342 -x3352 -x3354 -x3356 -x3358 -x3360 -x3367 -x3368 -x3370 -x3371 -x3372 -x3374 -x3375 -x3376 -x3382 -x3383 -x3384 x3386 x3387 -x3388 -x3390 -x3396 -x3397 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3412 -x3413 -x3414 -x3419 -x3428 -x3433 -x3444 -x3449 -x3459 -x3461 -x3464 -x3474 -x3477 -x3479 -x3487 -x3489 -x3492 -x3494 -x3503 -x3505 -x3508 -x3510 -x3519 -x3521 -x3524 -x3536 -x3540 -x3548 -x3551 -x3554 -x3557 -x3565 -x3568 -x3571 -x3578 -x3581 -x3584 -x3592 -x3594 -x3597 x3599 x3601 -x3607 -x3609 -x3610 -x3612 -x3613 -x3615 -x3616 -x3622 -x3623 -x3625 -x3627 -x3630 -x3639 -x3641 -x3643 -x3646 -x3652 -x3653 -x3655 -x3656 -x3658 -x3659 -x3687 x3667 x3668 -x3670 -x3671 -x3673 -x3674 -x3676 -x3681 -x3682 -x3684 -x3685 -x3686 -x3690

Verifier Data

OK	-9467

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3725773-1338651550/watcher-3725773-1338651550 -o /tmp/evaluation-result-3725773-1338651550/solver-3725773-1338651550 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725773-1338651550.opb 

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: 1.36 1.71 1.89 4/176 21125
/proc/meminfo: memFree=28358952/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=6604 CPUtime=0 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) R 21123 21125 19474 0 -1 4202496 589 0 0 0 0 0 0 0 20 0 1 0 331280423 6762496 542 33554432000 4194304 5964478 140733920507744 140734951239848 4344880 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 1651 542 169 433 0 846 0

[startup+0.028728 s]
/proc/loadavg: 1.36 1.71 1.89 4/176 21125
/proc/meminfo: memFree=28358952/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=12948 CPUtime=0.02 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) R 21123 21125 19474 0 -1 4202496 2179 0 0 0 2 0 0 0 20 0 1 0 331280423 13258752 2133 33554432000 4194304 5964478 140733920507744 140734951239848 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 3237 2134 212 433 0 2432 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12948

[startup+0.100295 s]
/proc/loadavg: 1.36 1.71 1.89 4/176 21125
/proc/meminfo: memFree=28358952/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=24296 CPUtime=0.09 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) R 21123 21125 19474 0 -1 4202496 5132 0 0 0 8 1 0 0 20 0 1 0 331280423 24879104 5085 33554432000 4194304 5964478 140733920507744 140734951239848 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 6074 5087 387 433 0 5269 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24296

[startup+0.300177 s]
/proc/loadavg: 1.36 1.71 1.89 4/176 21125
/proc/meminfo: memFree=28358952/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=188280 CPUtime=0.42 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 14362 0 0 0 35 7 0 0 20 0 3 0 331280423 192798720 13218 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 47070 13218 199 433 0 46634 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 188280

[startup+0.700169 s]
/proc/loadavg: 1.36 1.71 1.89 4/176 21125
/proc/meminfo: memFree=28358952/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=188280 CPUtime=1.23 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 17952 0 0 0 112 11 0 0 20 0 3 0 331280423 192798720 16499 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 47070 16499 199 433 0 46634 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 188280

[startup+1.5003 s]
/proc/loadavg: 1.36 1.71 1.89 5/179 21128
/proc/meminfo: memFree=28282668/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=188280 CPUtime=2.82 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 21240 0 0 0 271 11 0 0 20 0 3 0 331280423 192798720 19200 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 47070 19200 199 433 0 46634 0
[pid=21125/tid=21127] ppid=21123 vsize=188280 CPUtime=1.32 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 11256 0 0 0 123 9 0 0 20 0 3 0 331280439 192798720 19200 33554432000 4194304 5964478 140733920507744 140045557254600 5133973 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=188280 CPUtime=1.32 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 2584 0 0 0 132 0 0 0 20 0 3 0 331280439 192798720 19200 33554432000 4194304 5964478 140733920507744 140045546764952 4392962 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 188280

[startup+3.10029 s]
/proc/loadavg: 1.36 1.71 1.89 5/179 21128
/proc/meminfo: memFree=28262572/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=188280 CPUtime=6.02 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 26541 0 0 0 590 12 0 0 20 0 3 0 331280423 192798720 22967 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 47070 22967 199 433 0 46634 0
[pid=21125/tid=21127] ppid=21123 vsize=188280 CPUtime=2.91 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 15352 0 0 0 281 10 0 0 20 0 3 0 331280439 192798720 22967 33554432000 4194304 5964478 140733920507744 140045557254504 5142509 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=188280 CPUtime=2.92 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 3789 0 0 0 292 0 0 0 20 0 3 0 331280439 192798720 22967 33554432000 4194304 5964478 140733920507744 140045546764744 4403479 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 188280

[startup+6.30029 s]
/proc/loadavg: 1.65 1.77 1.91 5/179 21128
/proc/meminfo: memFree=28226000/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=253816 CPUtime=12.41 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 30759 0 0 0 1228 13 0 0 20 0 3 0 331280423 259907584 25856 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 63454 25856 199 433 0 63018 0
[pid=21125/tid=21127] ppid=21123 vsize=253816 CPUtime=6.1 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 17950 0 0 0 600 10 0 0 20 0 3 0 331280439 259907584 25856 33554432000 4194304 5964478 140733920507744 140045557254128 4403367 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=253816 CPUtime=6.11 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 5409 0 0 0 610 1 0 0 20 0 3 0 331280439 259907584 25856 33554432000 4194304 5964478 140733920507744 140045546764952 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 253816

[startup+12.7003 s]
/proc/loadavg: 1.84 1.80 1.92 5/179 21128
/proc/meminfo: memFree=28194032/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=253816 CPUtime=25.21 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 35886 0 0 0 2506 15 0 0 20 0 3 0 331280423 259907584 29145 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 63454 29145 199 433 0 63018 0
[pid=21125/tid=21127] ppid=21123 vsize=253816 CPUtime=12.49 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 20719 0 0 0 1238 11 0 0 20 0 3 0 331280439 259907584 29145 33554432000 4194304 5964478 140733920507744 140045557254048 4403590 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=253816 CPUtime=12.49 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 7767 0 0 0 1248 1 0 0 20 0 3 0 331280439 259907584 29145 33554432000 4194304 5964478 140733920507744 140045546764704 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 253816

[startup+25.5003 s]
/proc/loadavg: 2.32 1.91 1.95 5/179 21128
/proc/meminfo: memFree=28145612/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=254740 CPUtime=50.81 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 45433 0 0 0 5063 18 0 0 20 0 3 0 331280423 260853760 36001 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 63685 36001 199 433 0 63249 0
[pid=21125/tid=21127] ppid=21123 vsize=254740 CPUtime=25.25 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 26653 0 0 0 2512 13 0 0 20 0 3 0 331280439 260853760 36001 33554432000 4194304 5964478 140733920507744 140045557254240 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=254740 CPUtime=25.26 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 11380 0 0 0 2524 2 0 0 20 0 3 0 331280439 260853760 36001 33554432000 4194304 5964478 140733920507744 140045546764952 4403698 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 254740

[startup+51.1003 s]
/proc/loadavg: 2.83 2.06 2.00 5/179 21128
/proc/meminfo: memFree=28107248/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=255796 CPUtime=101.99 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 50557 0 0 0 10180 19 0 0 20 0 3 0 331280423 261935104 37765 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 63949 37765 199 433 0 63513 0
[pid=21125/tid=21127] ppid=21123 vsize=255796 CPUtime=50.78 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 27400 0 0 0 5064 14 0 0 20 0 3 0 331280439 261935104 37765 33554432000 4194304 5964478 140733920507744 140045557253944 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=255796 CPUtime=50.79 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 15757 0 0 0 5076 3 0 0 20 0 3 0 331280439 261935104 37765 33554432000 4194304 5964478 140733920507744 140045546764952 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 255796

[startup+102.307 s]
/proc/loadavg: 3.49 2.36 2.10 5/180 21131
/proc/meminfo: memFree=28033320/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=321332 CPUtime=204.38 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 65541 0 0 0 20412 26 0 0 20 0 3 0 331280423 329043968 49599 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 80333 49599 199 433 0 79897 0
[pid=21125/tid=21127] ppid=21123 vsize=321332 CPUtime=101.85 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38491 0 0 0 10164 21 0 0 20 0 3 0 331280439 329043968 49599 33554432000 4194304 5964478 140733920507744 140045557254048 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=321332 CPUtime=101.86 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 19650 0 0 0 10182 4 0 0 20 0 3 0 331280439 329043968 49599 33554432000 4194304 5964478 140733920507744 140045546764952 4399854 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.38
Current children cumulated vsize (KiB) 321332

[startup+162.3 s]
/proc/loadavg: 3.81 2.65 2.22 5/179 21131
/proc/meminfo: memFree=27981044/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=322668 CPUtime=324.32 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 69841 0 0 0 32405 27 0 0 20 0 3 0 331280423 330412032 50773 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 80667 50773 199 433 0 80231 0
[pid=21125/tid=21127] ppid=21123 vsize=322668 CPUtime=161.69 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38648 0 0 0 16146 23 0 0 20 0 3 0 331280439 330412032 50773 33554432000 4194304 5964478 140733920507744 140045557254984 4392955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=322668 CPUtime=161.69 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 23793 0 0 0 16163 6 0 0 20 0 3 0 331280439 330412032 50773 33554432000 4194304 5964478 140733920507744 140045546764952 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.32
Current children cumulated vsize (KiB) 322668

[startup+222.3 s]
/proc/loadavg: 3.93 2.90 2.33 5/179 21131
/proc/meminfo: memFree=27879024/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=322668 CPUtime=444.27 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 75244 0 0 0 44397 30 0 0 20 0 3 0 331280423 330412032 54172 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 80667 54172 199 433 0 80231 0
[pid=21125/tid=21127] ppid=21123 vsize=322668 CPUtime=221.49 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 41120 0 0 0 22124 25 0 0 20 0 3 0 331280439 330412032 54172 33554432000 4194304 5964478 140733920507744 140045557254680 4400091 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=322668 CPUtime=221.53 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 26724 0 0 0 22144 9 0 0 20 0 3 0 331280439 330412032 54172 33554432000 4194304 5964478 140733920507744 140045546764952 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.27
Current children cumulated vsize (KiB) 322668

[startup+282.3 s]
/proc/loadavg: 3.97 3.09 2.43 5/178 21131
/proc/meminfo: memFree=27786688/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=324476 CPUtime=564.21 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 85549 0 0 0 56388 33 0 0 20 0 3 0 331280423 332263424 62687 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 81119 62687 199 433 0 80683 0
[pid=21125/tid=21127] ppid=21123 vsize=324476 CPUtime=281.31 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 49126 0 0 0 28102 29 0 0 20 0 3 0 331280439 332263424 62687 33554432000 4194304 5964478 140733920507744 140045557254136 4387936 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=324476 CPUtime=281.36 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 29023 0 0 0 28126 10 0 0 20 0 3 0 331280439 332263424 62687 33554432000 4194304 5964478 140733920507744 140045546764952 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.21
Current children cumulated vsize (KiB) 324476

[startup+342.3 s]
/proc/loadavg: 3.99 3.26 2.52 5/179 21132
/proc/meminfo: memFree=27702992/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=392008 CPUtime=684.19 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 91447 0 0 0 68384 35 0 0 20 0 3 0 331280423 401416192 67952 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 98002 67952 199 433 0 97566 0
[pid=21125/tid=21127] ppid=21123 vsize=392008 CPUtime=341.15 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 52521 0 0 0 34084 31 0 0 20 0 3 0 331280439 401416192 67952 33554432000 4194304 5964478 140733920507744 140045557253944 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=392008 CPUtime=341.21 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 31526 0 0 0 34109 12 0 0 20 0 3 0 331280439 401416192 67952 33554432000 4194304 5964478 140733920507744 140045546764952 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.19
Current children cumulated vsize (KiB) 392008

[startup+402.3 s]
/proc/loadavg: 3.99 3.39 2.61 5/179 21132
/proc/meminfo: memFree=27593404/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=392008 CPUtime=804.16 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 105813 0 0 0 80367 49 0 0 20 0 3 0 331280423 401416192 81057 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 98002 81057 199 433 0 97566 0
[pid=21125/tid=21127] ppid=21123 vsize=392008 CPUtime=400.99 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 65382 0 0 0 40053 46 0 0 20 0 3 0 331280439 401416192 81057 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=392008 CPUtime=401.06 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 33031 0 0 0 40093 13 0 0 20 0 3 0 331280439 401416192 81057 33554432000 4194304 5964478 140733920507744 140045546764952 4403376 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.16
Current children cumulated vsize (KiB) 392008

[startup+462.3 s]
/proc/loadavg: 3.99 3.50 2.70 5/179 21132
/proc/meminfo: memFree=27511076/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=458084 CPUtime=924.14 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 117151 0 0 0 92353 61 0 0 20 0 3 0 331280423 469078016 91541 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 114521 91541 199 433 0 114085 0
[pid=21125/tid=21127] ppid=21123 vsize=458084 CPUtime=460.83 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 75580 0 0 0 46026 57 0 0 20 0 3 0 331280439 469078016 91541 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=458084 CPUtime=460.9 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 34171 0 0 0 46076 14 0 0 20 0 3 0 331280439 469078016 91541 33554432000 4194304 5964478 140733920507744 140045546764952 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.14
Current children cumulated vsize (KiB) 458084

[startup+522.3 s]
/proc/loadavg: 3.99 3.59 2.78 5/179 21132
/proc/meminfo: memFree=27431652/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=524344 CPUtime=1044.11 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 129736 0 0 0 104340 71 0 0 20 0 3 0 331280423 536928256 103230 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 131086 103230 199 433 0 130650 0
[pid=21125/tid=21127] ppid=21123 vsize=524344 CPUtime=520.67 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 87034 0 0 0 51999 68 0 0 20 0 3 0 331280439 536928256 103230 33554432000 4194304 5964478 140733920507744 140045557254136 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=524344 CPUtime=520.75 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 35302 0 0 0 52061 14 0 0 20 0 3 0 331280439 536928256 103230 33554432000 4194304 5964478 140733920507744 140045546764952 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.11
Current children cumulated vsize (KiB) 524344

[startup+582.3 s]
/proc/loadavg: 3.99 3.66 2.85 5/179 21132
/proc/meminfo: memFree=27354416/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=525512 CPUtime=1164.09 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 140791 0 0 0 116326 83 0 0 20 0 3 0 331280423 538124288 113889 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 131378 113889 199 433 0 130942 0
[pid=21125/tid=21127] ppid=21123 vsize=525512 CPUtime=580.51 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 97499 0 0 0 57970 81 0 0 20 0 3 0 331280439 538124288 113889 33554432000 4194304 5964478 140733920507744 140045557254184 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=525512 CPUtime=580.59 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 35892 0 0 0 58044 15 0 0 20 0 3 0 331280439 538124288 113889 33554432000 4194304 5964478 140733920507744 140045546764952 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.09
Current children cumulated vsize (KiB) 525512

[startup+642.3 s]
/proc/loadavg: 4.04 3.73 2.92 5/179 21133
/proc/meminfo: memFree=27291444/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=591048 CPUtime=1284.07 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 148216 0 0 0 128317 90 0 0 20 0 3 0 331280423 605233152 120470 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 147762 120470 199 433 0 147326 0
[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=640.35 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 103937 0 0 0 63946 89 0 0 20 0 3 0 331280439 605233152 120470 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=640.44 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 36879 0 0 0 64027 17 0 0 20 0 3 0 331280439 605233152 120470 33554432000 4194304 5964478 140733920507744 140045546764952 4403376 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.07
Current children cumulated vsize (KiB) 591048

[startup+702.3 s]
/proc/loadavg: 4.01 3.78 2.99 5/180 21136
/proc/meminfo: memFree=27263192/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=591048 CPUtime=1404 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 149045 0 0 0 140310 90 0 0 20 0 3 0 331280423 605233152 121133 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 147762 121133 199 433 0 147326 0
[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=700.16 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 103994 0 0 0 69926 90 0 0 20 0 3 0 331280439 605233152 121133 33554432000 4194304 5964478 140733920507744 140045557254136 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=700.28 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 37651 0 0 0 70010 18 0 0 20 0 3 0 331280439 605233152 121133 33554432000 4194304 5964478 140733920507744 140045546764600 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404
Current children cumulated vsize (KiB) 591048

[startup+762.307 s]
/proc/loadavg: 4.00 3.82 3.05 5/179 21136
/proc/meminfo: memFree=27261556/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=591048 CPUtime=1523.96 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 149520 0 0 0 152305 91 0 0 20 0 3 0 331280423 605233152 121274 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 147762 121274 199 433 0 147326 0
[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=759.97 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 104046 0 0 0 75906 91 0 0 20 0 3 0 331280439 605233152 121274 33554432000 4194304 5964478 140733920507744 140045557254136 4399915 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=760.14 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38074 0 0 0 75995 19 0 0 20 0 3 0 331280439 605233152 121274 33554432000 4194304 5964478 140733920507744 140045546764952 4403677 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1523.96
Current children cumulated vsize (KiB) 591048

[startup+822.3 s]
/proc/loadavg: 4.00 3.85 3.11 5/179 21136
/proc/meminfo: memFree=27250196/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=591048 CPUtime=1643.92 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 152537 0 0 0 164299 93 0 0 20 0 3 0 331280423 605233152 124039 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 147762 124039 199 433 0 147326 0
[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=819.8 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 106811 0 0 0 81886 94 0 0 20 0 3 0 331280439 605233152 124039 33554432000 4194304 5964478 140733920507744 140045557253944 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=819.98 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38326 0 0 0 81978 20 0 0 20 0 3 0 331280439 605233152 124039 33554432000 4194304 5964478 140733920507744 140045546764952 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.92
Current children cumulated vsize (KiB) 591048

[startup+882.3 s]
/proc/loadavg: 4.00 3.87 3.16 5/179 21136
/proc/meminfo: memFree=27214756/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=591048 CPUtime=1763.87 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 161331 0 0 0 176286 101 0 0 20 0 3 0 331280423 605233152 132683 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 147762 132683 199 433 0 147326 0
[pid=21125/tid=21127] ppid=21123 vsize=591048 CPUtime=879.62 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 115304 0 0 0 87859 103 0 0 20 0 3 0 331280439 605233152 132683 33554432000 4194304 5964478 140733920507744 140045557253944 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=591048 CPUtime=879.82 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38627 0 0 0 87961 21 0 0 20 0 3 0 331280439 605233152 132683 33554432000 4194304 5964478 140733920507744 140045546764952 4403719 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.87
Current children cumulated vsize (KiB) 591048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.4 s]
/proc/loadavg: 3.85 3.85 3.16 5/179 21178
/proc/meminfo: memFree=27542264/32873852 swapFree=7624/7624
[pid=21125] ppid=21123 vsize=656584 CPUtime=1800.08 cores=0,2,4,6
/proc/21125/stat : 21125 (pwbo2.02) S 21123 21125 19474 0 -1 4202496 163290 0 0 0 179904 104 0 0 20 0 3 0 331280423 672342016 134537 33554432000 4194304 5964478 140733920507744 140733920507264 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21125/statm: 164146 134537 199 433 0 163710 0
[pid=21125/tid=21127] ppid=21123 vsize=656584 CPUtime=897.68 cores=0,2,4,6
/proc/21125/task/21127/stat : 21127 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 117161 0 0 0 89662 106 0 0 20 0 3 0 331280439 672342016 134537 33554432000 4194304 5964478 140733920507744 140045557254136 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21125/tid=21128] ppid=21123 vsize=656584 CPUtime=897.88 cores=0,2,4,6
/proc/21125/task/21128/stat : 21128 (pwbo2.02) R 21123 21125 19474 0 -1 4202560 38729 0 0 0 89766 22 0 0 20 0 3 0 331280439 672342016 134537 33554432000 4194304 5964478 140733920507744 140045546764952 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 656584

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

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21125 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=427205
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=326798
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.421
CPU time (s): 1800.08
CPU user time (s): 1799.04
CPU system time (s): 1.04
CPU usage (%): 199.915
Max. virtual memory (cumulated for all children) (KiB): 656584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.43
system time used= 1.3268
maximum resident set size= 538156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163292
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= 741
involuntary context switches= 2808

runsolver used 1.76073 second user time and 5.03523 second system time

The end

Launcher Data

Begin job on node131 at 2012-06-02 17:39:10
IDJOB=3725773
IDBENCH=1878
IDSOLVER=2309
FILE ID=node131/3725773-1338651550
RUNJOBID= node131-1338651542-21055
PBS_JOBID= 14636449
Free space on /tmp= 71396 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725773-1338651550/watcher-3725773-1338651550 -o /tmp/evaluation-result-3725773-1338651550/solver-3725773-1338651550 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725773-1338651550.opb

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=56470224

node131.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.805
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.92
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.805
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28358844 kB
Buffers:          539308 kB
Cached:          2992572 kB
SwapCached:         2348 kB
Active:          1485156 kB
Inactive:        2170420 kB
Active(anon):     120060 kB
Inactive(anon):     3676 kB
Active(file):    1365096 kB
Inactive(file):  2166744 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:             14064 kB
Writeback:             0 kB
AnonPages:        128204 kB
Mapped:            15028 kB
Shmem:                 0 kB
Slab:             719740 kB
SReclaimable:     161480 kB
SUnreclaim:       558260 kB
KernelStack:        1448 kB
PageTables:         3848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     178368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71376 MiB
End job on node131 at 2012-06-02 17:54:12