Trace number 4429426

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
RoundingSat nolog (1)SAT (TO)335 3600.11 3612.42

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark220
Best CPU time to get the best result obtained on this benchmark3558.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
2.09/2.18	c #variables 10000 #constraints 656900
4.67/4.76	c bounds 497469 >= 0 @ 1.51085
4.67/4.76	c rational objective 160.199
41.73/41.98	c bounds 6672 >= 0 @ 8.57287
41.73/41.98	c bounds 6653 >= 0 @ 8.58075
41.73/41.98	c bounds 6281 >= 0 @ 8.58724
41.73/41.98	c bounds 6185 >= 0 @ 8.59293
41.73/41.98	c bounds 6100 >= 0 @ 8.59965
41.73/41.98	c bounds 6097 >= 0 @ 8.60416
41.73/41.98	c bounds 5958 >= 0 @ 8.6107
41.73/41.98	c bounds 5892 >= 0 @ 8.61897
41.73/41.98	c bounds 5781 >= 0 @ 8.62374
41.73/41.98	c bounds 5769 >= 0 @ 8.63364
41.73/41.98	c bounds 5763 >= 0 @ 8.63964
41.73/41.98	c bounds 5728 >= 0 @ 8.64683
41.73/41.98	c bounds 5673 >= 0 @ 8.65117
41.73/41.98	c bounds 5637 >= 0 @ 8.65625
41.73/41.98	c bounds 5536 >= 0 @ 8.66235
41.73/41.98	c bounds 5381 >= 0 @ 8.66569
41.73/41.98	c bounds 5379 >= 0 @ 8.67
41.73/41.98	c bounds 5378 >= 0 @ 8.67732
41.73/41.98	c bounds 5371 >= 0 @ 8.68493
41.73/41.98	c bounds 5253 >= 0 @ 8.69037
41.73/41.98	c bounds 5174 >= 0 @ 8.69529
41.73/41.98	c bounds 5096 >= 0 @ 8.70049
41.73/41.98	c bounds 5019 >= 0 @ 8.70582
41.73/41.98	c bounds 4958 >= 0 @ 8.71246
41.73/41.98	c bounds 4926 >= 0 @ 8.71719
41.73/41.98	c bounds 4772 >= 0 @ 8.72311
41.73/41.98	c bounds 4684 >= 0 @ 8.72904
41.73/41.98	c bounds 4641 >= 0 @ 8.74731
41.73/41.98	c bounds 4546 >= 0 @ 8.75178
41.73/41.98	c bounds 4503 >= 0 @ 8.75731
41.73/41.98	c bounds 4482 >= 0 @ 8.76673
41.73/41.98	c bounds 4440 >= 0 @ 8.77428
41.73/41.98	c bounds 4330 >= 0 @ 8.78234
41.73/41.98	c bounds 4325 >= 0 @ 8.7894
41.73/41.98	c bounds 4225 >= 0 @ 8.79687
41.73/41.98	c bounds 4161 >= 0 @ 8.80221
41.73/41.98	c bounds 4126 >= 0 @ 8.80784
41.73/41.98	c bounds 4049 >= 0 @ 8.8114
41.73/41.98	c bounds 3978 >= 0 @ 8.81712
41.73/41.98	c bounds 3918 >= 0 @ 8.82228
41.73/41.98	c bounds 3885 >= 0 @ 8.82786
41.73/41.98	c bounds 3859 >= 0 @ 8.83425
41.73/41.98	c bounds 3673 >= 0 @ 8.84406
41.73/41.98	c bounds 3649 >= 0 @ 8.85903
41.73/41.98	c bounds 3546 >= 0 @ 8.86401
41.73/41.98	c bounds 3542 >= 0 @ 8.86886
41.73/41.98	c bounds 3511 >= 0 @ 8.87994
41.73/41.98	c bounds 3461 >= 0 @ 8.88935
41.73/41.98	c bounds 3456 >= 0 @ 8.89999
41.73/41.98	c bounds 3242 >= 0 @ 8.90717
41.73/41.98	c bounds 3168 >= 0 @ 8.91093
41.73/41.98	c bounds 3120 >= 0 @ 8.9248
41.73/41.98	c bounds 3014 >= 0 @ 8.92943
41.73/41.98	c bounds 2965 >= 0 @ 8.9321
41.73/41.98	c bounds 2895 >= 0 @ 8.93794
41.73/41.98	c bounds 2880 >= 0 @ 8.94122
41.73/41.98	c bounds 2818 >= 0 @ 8.94646
41.73/41.98	c bounds 2798 >= 0 @ 8.95502
41.73/41.98	c bounds 2660 >= 0 @ 8.98388
41.73/41.98	c bounds 2657 >= 0 @ 8.98791
41.73/41.98	c bounds 2646 >= 0 @ 8.99234
41.73/41.98	c bounds 2629 >= 0 @ 8.99927
41.73/41.98	c bounds 2594 >= 0 @ 9.00637
41.73/41.98	c bounds 2593 >= 0 @ 9.01222
41.73/41.98	c bounds 2583 >= 0 @ 9.01975
41.73/41.98	c bounds 2572 >= 0 @ 9.02488
41.73/41.98	c bounds 2537 >= 0 @ 9.03297
41.73/41.98	c bounds 2521 >= 0 @ 9.04264
41.73/41.98	c bounds 2479 >= 0 @ 9.04875
41.73/41.98	c bounds 2441 >= 0 @ 9.05517
41.73/41.98	c bounds 2430 >= 0 @ 9.06404
41.73/41.98	c bounds 2393 >= 0 @ 9.06934
41.73/41.98	c bounds 2328 >= 0 @ 9.08191
41.73/41.98	c bounds 2295 >= 0 @ 9.09135
41.73/41.98	c bounds 2142 >= 0 @ 9.09941
41.73/41.98	c bounds 2121 >= 0 @ 9.10451
41.73/41.98	c bounds 2112 >= 0 @ 9.11363
41.73/41.98	c bounds 2108 >= 0 @ 9.11744
41.73/41.98	c bounds 2006 >= 0 @ 9.12653
41.73/41.98	c bounds 1989 >= 0 @ 9.17038
41.73/41.98	c bounds 1972 >= 0 @ 9.17605
41.73/41.98	c bounds 1968 >= 0 @ 9.36138
41.73/41.98	c bounds 1945 >= 0 @ 9.45562
41.73/41.98	c bounds 1932 >= 0 @ 9.4637
41.73/41.98	c bounds 1834 >= 0 @ 9.47466
41.73/41.98	c bounds 1826 >= 0 @ 9.60692
41.73/41.98	c bounds 1670 >= 0 @ 9.61467
41.73/41.98	c bounds 1634 >= 0 @ 9.62261
41.73/41.98	c bounds 1627 >= 0 @ 9.73176
41.73/41.98	c bounds 1610 >= 0 @ 9.7443
41.73/41.98	c bounds 1605 >= 0 @ 9.77245
41.73/41.98	c bounds 1604 >= 0 @ 9.77897
41.73/41.98	c bounds 1572 >= 0 @ 9.78834
41.73/41.98	c bounds 1479 >= 0 @ 9.79593
41.73/41.98	c bounds 1430 >= 0 @ 9.80636
41.73/41.98	c bounds 1413 >= 0 @ 9.8269
41.73/41.98	c #Conflicts:       1000 | #Constraints:     658000
41.73/41.98	c bounds 1387 >= 0 @ 10.1941
41.73/41.98	c bounds 1370 >= 0 @ 10.2044
41.73/41.98	c bounds 1352 >= 0 @ 10.3412
41.73/41.98	c bounds 1341 >= 0 @ 10.5933
41.73/41.98	c bounds 1261 >= 0 @ 10.6035
41.73/41.98	c bounds 1253 >= 0 @ 10.6178
41.73/41.98	c bounds 1220 >= 0 @ 10.6245
41.73/41.98	c bounds 1148 >= 0 @ 10.7606
41.73/41.98	c bounds 1133 >= 0 @ 10.8121
41.73/41.99	c bounds 979 >= 0 @ 10.8322
41.73/41.99	c bounds 963 >= 0 @ 10.8776
41.73/41.99	c bounds 897 >= 0 @ 10.8861
41.73/41.99	c bounds 891 >= 0 @ 10.9035
41.73/41.99	c bounds 851 >= 0 @ 11.0013
41.73/41.99	c bounds 850 >= 0 @ 11.0058
41.73/41.99	c bounds 847 >= 0 @ 11.0178
41.73/41.99	c bounds 846 >= 0 @ 11.0243
41.73/41.99	c bounds 827 >= 0 @ 11.2522
41.73/41.99	c bounds 826 >= 0 @ 11.4672
41.73/41.99	c bounds 689 >= 0 @ 11.6645
41.73/41.99	c #Conflicts:       2000 | #Constraints:     659023
41.73/41.99	c INPROCESSING
41.73/41.99	c GARBAGE COLLECT
41.73/41.99	c bounds 686 >= 0 @ 13.0819
41.73/41.99	c bounds 678 >= 0 @ 13.0891
41.73/41.99	c bounds 671 >= 0 @ 13.2082
41.73/41.99	c bounds 597 >= 0 @ 14.0913
41.73/41.99	c bounds 594 >= 0 @ 14.1021
41.73/41.99	c #Conflicts:       3000 | #Constraints:     658918
41.73/41.99	c bounds 587 >= 0 @ 20.7643
41.73/41.99	c #Conflicts:       4000 | #Constraints:     659938
41.73/41.99	c INPROCESSING
41.73/41.99	c GARBAGE COLLECT
41.73/41.99	c bounds 554 >= 0 @ 23.4163
41.73/41.99	c bounds 503 >= 0 @ 24.4269
41.73/41.99	c #Conflicts:       5000 | #Constraints:     659331
41.73/41.99	c #Conflicts:       6000 | #Constraints:     660331
41.73/41.99	c INPROCESSING
41.73/41.99	c GARBAGE COLLECT
41.73/41.99	c #Conflicts:       7000 | #Constraints:     659328
41.73/41.99	c #Conflicts:       8000 | #Constraints:     660328
41.73/41.99	c #Conflicts:       9000 | #Constraints:     661328
48.30/48.51	c INPROCESSING
48.30/48.51	c GARBAGE COLLECT
48.30/48.51	c rational objective 160.956
65.63/65.92	c #Conflicts:      10000 | #Constraints:     660027
65.63/65.92	c #Conflicts:      11000 | #Constraints:     661027
65.63/65.92	c #Conflicts:      12000 | #Constraints:     662027
65.63/65.92	c INPROCESSING
65.63/65.92	c GARBAGE COLLECT
65.63/65.92	c rational objective 161.86
93.14/93.54	c bounds 499 >= 0 @ 66.8498
93.14/93.54	c bounds 498 >= 0 @ 69.978
93.14/93.54	c #Conflicts:      13000 | #Constraints:     660496
93.14/93.54	c #Conflicts:      14000 | #Constraints:     661496
93.14/93.54	c #Conflicts:      15000 | #Constraints:     662496
93.14/93.54	c INPROCESSING
93.14/93.54	c GARBAGE COLLECT
93.14/93.54	c #Conflicts:      16000 | #Constraints:     660714
93.14/93.54	c #Conflicts:      17000 | #Constraints:     661714
93.14/93.54	c #Conflicts:      18000 | #Constraints:     662714
93.14/93.54	c INPROCESSING
93.14/93.54	c GARBAGE COLLECT
93.14/93.54	c rational objective 162.3
112.48/112.92	c bounds 493 >= 0 @ 95.0467
112.48/112.92	c bounds 489 >= 0 @ 97.0009
112.48/112.92	c bounds 489 >= 6 @ 97.0139
112.48/112.92	c #Conflicts:      19000 | #Constraints:     660743
112.48/112.92	c #Conflicts:      20000 | #Constraints:     661743
112.48/112.92	c #Conflicts:      21000 | #Constraints:     662743
112.48/112.92	c INPROCESSING
112.48/112.92	c GARBAGE COLLECT
112.48/112.92	c rational objective 162.359
172.28/172.96	c bounds 487 >= 6 @ 114.34
172.28/172.96	c bounds 481 >= 6 @ 114.38
172.28/172.96	c bounds 479 >= 6 @ 114.429
172.28/172.96	c #Conflicts:      22000 | #Constraints:     660544
172.28/172.96	c bounds 476 >= 6 @ 116.248
172.28/172.96	c #Conflicts:      23000 | #Constraints:     661547
172.28/172.96	c #Conflicts:      24000 | #Constraints:     662547
172.28/172.96	c #Conflicts:      25000 | #Constraints:     663547
172.28/172.96	c INPROCESSING
172.28/172.96	c GARBAGE COLLECT
172.28/172.96	c bounds 472 >= 6 @ 129.956
172.28/172.96	c bounds 472 >= 10 @ 129.968
172.28/172.96	c bounds 472 >= 14 @ 129.982
172.28/172.96	c bounds 472 >= 18 @ 130.036
172.28/172.96	c bounds 472 >= 22 @ 130.505
172.28/172.96	c #Conflicts:      26000 | #Constraints:     661182
172.28/172.96	c #Conflicts:      27000 | #Constraints:     662182
172.28/172.96	c #Conflicts:      28000 | #Constraints:     663183
172.28/172.96	c bounds 472 >= 26 @ 158.328
172.28/172.96	c bounds 470 >= 26 @ 158.446
172.28/172.96	c bounds 469 >= 26 @ 158.72
172.28/172.96	c bounds 467 >= 26 @ 160.714
172.28/172.96	c bounds 462 >= 26 @ 160.876
172.28/172.96	c bounds 460 >= 26 @ 161.961
172.28/172.96	c bounds 457 >= 26 @ 162.071
172.28/172.96	c bounds 456 >= 26 @ 162.208
172.28/172.96	c bounds 453 >= 26 @ 162.33
172.28/172.96	c bounds 452 >= 26 @ 162.438
172.28/172.96	c #Conflicts:      29000 | #Constraints:     664206
172.28/172.96	c INPROCESSING
172.28/172.96	c GARBAGE COLLECT
172.28/172.96	c rational objective 162.401
213.35/214.14	c bounds 447 >= 26 @ 172.375
213.35/214.14	c bounds 446 >= 26 @ 172.436
213.35/214.14	c bounds 442 >= 26 @ 172.467
213.35/214.14	c bounds 438 >= 26 @ 173.154
213.35/214.14	c bounds 436 >= 26 @ 173.176
213.35/214.14	c bounds 433 >= 26 @ 173.692
213.35/214.14	c bounds 431 >= 26 @ 174.059
213.35/214.14	c bounds 429 >= 26 @ 174.095
213.35/214.14	c bounds 428 >= 26 @ 174.497
213.35/214.14	c bounds 425 >= 26 @ 175.632
213.35/214.14	c bounds 424 >= 26 @ 175.844
213.35/214.14	c bounds 423 >= 26 @ 176.055
213.35/214.14	c bounds 421 >= 26 @ 176.351
213.35/214.14	c bounds 415 >= 26 @ 176.384
213.35/214.14	c bounds 414 >= 26 @ 179.51
213.35/214.14	c bounds 412 >= 26 @ 179.545
213.35/214.14	c #Conflicts:      30000 | #Constraints:     661599
213.35/214.14	c bounds 410 >= 26 @ 180.425
213.35/214.14	c bounds 408 >= 26 @ 182.674
213.35/214.14	c bounds 404 >= 26 @ 184.546
213.35/214.14	c bounds 403 >= 26 @ 185.097
213.35/214.14	c bounds 399 >= 26 @ 187.241
213.35/214.14	c #Conflicts:      31000 | #Constraints:     662623
213.35/214.14	c bounds 397 >= 26 @ 188.542
213.35/214.14	c bounds 396 >= 26 @ 188.588
213.35/214.14	c bounds 395 >= 26 @ 188.886
213.35/214.14	c bounds 390 >= 26 @ 189.28
213.35/214.14	c bounds 384 >= 26 @ 189.402
213.35/214.14	c bounds 381 >= 26 @ 189.569
213.35/214.14	c bounds 379 >= 26 @ 189.996
213.35/214.14	c bounds 377 >= 26 @ 190.035
213.35/214.14	c #Conflicts:      32000 | #Constraints:     663640
213.35/214.14	c #Conflicts:      33000 | #Constraints:     664640
213.35/214.14	c INPROCESSING
213.35/214.14	c GARBAGE COLLECT
213.35/214.14	c rational objective 162.65
302.55/303.62	c bounds 376 >= 26 @ 213.609
302.55/303.62	c #Conflicts:      34000 | #Constraints:     661819
302.55/303.62	c #Conflicts:      35000 | #Constraints:     662831
302.55/303.62	c bounds 366 >= 26 @ 234.645
302.55/303.62	c bounds 366 >= 29 @ 234.693
302.55/303.62	c bounds 366 >= 32 @ 234.802
302.55/303.62	c bounds 366 >= 35 @ 236.492
302.55/303.62	c #Conflicts:      36000 | #Constraints:     663852
302.55/303.62	c #Conflicts:      37000 | #Constraints:     664854
302.55/303.62	c INPROCESSING
302.55/303.62	c GARBAGE COLLECT
302.55/303.62	c #Conflicts:      38000 | #Constraints:     661824
302.55/303.62	c #Conflicts:      39000 | #Constraints:     662825
302.55/303.62	c #Conflicts:      40000 | #Constraints:     663825
302.55/303.62	c #Conflicts:      41000 | #Constraints:     664825
302.55/303.62	c INPROCESSING
302.55/303.62	c rational objective 162.726
348.30/349.54	c #Conflicts:      42000 | #Constraints:     661620
348.30/349.54	c #Conflicts:      43000 | #Constraints:     662645
348.30/349.54	c #Conflicts:      44000 | #Constraints:     663742
348.30/349.54	c #Conflicts:      45000 | #Constraints:     664778
348.30/349.54	c #Conflicts:      46000 | #Constraints:     665780
348.30/349.54	c INPROCESSING
348.30/349.54	c GARBAGE COLLECT
348.30/349.54	c #Conflicts:      47000 | #Constraints:     662288
348.30/349.54	c #Conflicts:      48000 | #Constraints:     663291
348.30/349.54	c #Conflicts:      49000 | #Constraints:     664328
348.30/349.54	c #Conflicts:      50000 | #Constraints:     665330
348.30/349.54	c #Conflicts:      51000 | #Constraints:     666330
348.30/349.54	c INPROCESSING
348.30/349.54	c rational objective 162.869
447.37/448.90	c #Conflicts:      52000 | #Constraints:     662671
447.37/448.90	c #Conflicts:      53000 | #Constraints:     663673
447.37/448.90	c #Conflicts:      54000 | #Constraints:     664674
447.37/448.90	c #Conflicts:      55000 | #Constraints:     665674
447.37/448.90	c #Conflicts:      56000 | #Constraints:     666682
447.37/448.90	c INPROCESSING
447.37/448.90	c GARBAGE COLLECT
447.37/448.90	c bounds 358 >= 35 @ 379.46
447.37/448.90	c bounds 356 >= 35 @ 380.069
447.37/448.90	c bounds 355 >= 35 @ 380.742
447.37/448.90	c #Conflicts:      57000 | #Constraints:     662867
447.37/448.90	c bounds 352 >= 35 @ 398.132
447.37/448.90	c bounds 352 >= 37 @ 398.2
447.37/448.90	c #Conflicts:      58000 | #Constraints:     664003
447.37/448.90	c #Conflicts:      59000 | #Constraints:     665004
447.37/448.90	c #Conflicts:      60000 | #Constraints:     666005
447.37/448.90	c #Conflicts:      61000 | #Constraints:     667011
447.37/448.90	c INPROCESSING
447.37/448.90	c GARBAGE COLLECT
447.37/448.90	c rational objective 162.873
523.11/524.93	c #Conflicts:      62000 | #Constraints:     662966
523.11/524.93	c #Conflicts:      63000 | #Constraints:     664038
523.11/524.93	c #Conflicts:      64000 | #Constraints:     665049
523.11/524.93	c #Conflicts:      65000 | #Constraints:     666071
523.11/524.93	c bounds 351 >= 37 @ 503.996
523.11/524.93	c bounds 351 >= 38 @ 504.046
523.11/524.93	c bounds 351 >= 39 @ 504.092
523.11/524.93	c bounds 351 >= 40 @ 504.141
523.11/524.93	c bounds 351 >= 41 @ 504.196
523.11/524.93	c bounds 351 >= 42 @ 504.257
523.11/524.93	c bounds 351 >= 43 @ 504.308
523.11/524.93	c bounds 351 >= 44 @ 504.366
523.11/524.93	c bounds 351 >= 45 @ 504.421
523.11/524.93	c bounds 351 >= 46 @ 504.471
523.11/524.93	c bounds 351 >= 47 @ 504.524
523.11/524.93	c bounds 351 >= 48 @ 504.579
523.11/524.93	c bounds 351 >= 49 @ 504.638
523.11/524.93	c bounds 351 >= 50 @ 504.698
523.11/524.93	c bounds 351 >= 51 @ 504.761
523.11/524.93	c bounds 351 >= 52 @ 504.814
523.11/524.93	c bounds 351 >= 53 @ 504.869
523.11/524.93	c bounds 351 >= 54 @ 504.928
523.11/524.93	c bounds 351 >= 55 @ 504.982
523.11/524.93	c #Conflicts:      66000 | #Constraints:     667162
523.11/524.93	c bounds 351 >= 56 @ 506.747
523.11/524.93	c bounds 351 >= 57 @ 506.915
523.11/524.93	c bounds 351 >= 58 @ 507.106
523.11/524.93	c bounds 351 >= 59 @ 507.244
523.11/524.93	c bounds 351 >= 60 @ 507.45
523.11/524.93	c bounds 351 >= 61 @ 508.21
523.11/524.93	c bounds 351 >= 62 @ 509.112
523.11/524.93	c bounds 351 >= 63 @ 511.218
523.11/524.93	c INPROCESSING
523.11/524.93	c GARBAGE COLLECT
523.11/524.93	c rational objective 162.877
771.79/774.48	c bounds 351 >= 64 @ 522.348
771.79/774.48	c #Conflicts:      67000 | #Constraints:     662944
771.79/774.48	c bounds 351 >= 65 @ 528.79
771.79/774.48	c #Conflicts:      68000 | #Constraints:     663983
771.79/774.48	c bounds 351 >= 66 @ 532.759
771.79/774.48	c #Conflicts:      69000 | #Constraints:     665008
771.79/774.48	c #Conflicts:      70000 | #Constraints:     666008
771.79/774.48	c bounds 351 >= 67 @ 556.742
771.79/774.48	c #Conflicts:      71000 | #Constraints:     667044
771.79/774.48	c #Conflicts:      72000 | #Constraints:     668044
771.79/774.48	c INPROCESSING
771.79/774.48	c GARBAGE COLLECT
771.79/774.48	c #Conflicts:      73000 | #Constraints:     663584
771.79/774.48	c bounds 351 >= 68 @ 644.019
771.79/774.48	c #Conflicts:      74000 | #Constraints:     664608
771.79/774.48	c #Conflicts:      75000 | #Constraints:     665608
771.79/774.48	c bounds 351 >= 69 @ 653.611
771.79/774.48	c #Conflicts:      76000 | #Constraints:     666641
771.79/774.48	c #Conflicts:      77000 | #Constraints:     667641
771.79/774.48	c bounds 351 >= 70 @ 674.2
771.79/774.48	c #Conflicts:      78000 | #Constraints:     668662
771.79/774.48	c INPROCESSING
771.79/774.48	c GARBAGE COLLECT
771.79/774.48	c bounds 350 >= 70 @ 707.73
771.79/774.48	c #Conflicts:      79000 | #Constraints:     664034
771.79/774.48	c #Conflicts:      80000 | #Constraints:     665040
771.79/774.48	c #Conflicts:      81000 | #Constraints:     666058
771.79/774.48	c bounds 348 >= 70 @ 738.811
771.79/774.48	c #Conflicts:      82000 | #Constraints:     667066
771.79/774.48	c #Conflicts:      83000 | #Constraints:     668066
771.79/774.48	c #Conflicts:      84000 | #Constraints:     669066
771.79/774.48	c INPROCESSING
771.79/774.48	c GARBAGE COLLECT
771.79/774.48	c rational objective 162.881
1046.92/1050.45	c #Conflicts:      85000 | #Constraints:     664243
1046.92/1050.45	c bounds 348 >= 71 @ 773.642
1046.92/1050.45	c #Conflicts:      86000 | #Constraints:     665273
1046.92/1050.45	c #Conflicts:      87000 | #Constraints:     666273
1046.92/1050.45	c #Conflicts:      88000 | #Constraints:     667273
1046.92/1050.45	c #Conflicts:      89000 | #Constraints:     668273
1046.92/1050.45	c bounds 348 >= 72 @ 813.245
1046.92/1050.45	c #Conflicts:      90000 | #Constraints:     669303
1046.92/1050.45	c INPROCESSING
1046.92/1050.45	c GARBAGE COLLECT
1046.92/1050.45	c bounds 347 >= 72 @ 930.088
1046.92/1050.45	c #Conflicts:      91000 | #Constraints:     664276
1046.92/1050.45	c #Conflicts:      92000 | #Constraints:     665276
1046.92/1050.45	c #Conflicts:      93000 | #Constraints:     666276
1046.92/1050.45	c #Conflicts:      94000 | #Constraints:     667296
1046.92/1050.45	c #Conflicts:      95000 | #Constraints:     668309
1046.92/1050.45	c #Conflicts:      96000 | #Constraints:     669323
1046.92/1050.45	c INPROCESSING
1046.92/1050.45	c GARBAGE COLLECT
1046.92/1050.45	c rational objective 162.894
1227.77/1231.98	c #Conflicts:      97000 | #Constraints:     664096
1227.77/1231.98	c #Conflicts:      98000 | #Constraints:     665096
1227.77/1231.98	c #Conflicts:      99000 | #Constraints:     666096
1227.77/1231.98	c #Conflicts:     100000 | #Constraints:     667096
1227.77/1231.98	c #Conflicts:     101000 | #Constraints:     668096
1227.77/1231.98	c bounds 347 >= 73 @ 1081.7
1227.77/1231.98	c #Conflicts:     102000 | #Constraints:     669132
1227.77/1231.98	c #Conflicts:     103000 | #Constraints:     670132
1227.77/1231.98	c INPROCESSING
1227.77/1231.98	c GARBAGE COLLECT
1227.77/1231.98	c #Conflicts:     104000 | #Constraints:     664724
1227.77/1231.98	c #Conflicts:     105000 | #Constraints:     665724
1227.77/1231.98	c #Conflicts:     106000 | #Constraints:     666725
1227.77/1231.98	c #Conflicts:     107000 | #Constraints:     667725
1227.77/1231.98	c #Conflicts:     108000 | #Constraints:     668725
1227.77/1231.98	c #Conflicts:     109000 | #Constraints:     669725
1227.77/1231.98	c #Conflicts:     110000 | #Constraints:     670725
1227.77/1231.98	c INPROCESSING
1227.77/1231.98	c GARBAGE COLLECT
1227.77/1231.98	c rational objective 162.896
1305.28/1309.78	c #Conflicts:     111000 | #Constraints:     665126
1305.28/1309.78	c #Conflicts:     112000 | #Constraints:     666126
1305.28/1309.78	c bounds 347 >= 74 @ 1232.81
1305.28/1309.78	c #Conflicts:     113000 | #Constraints:     667165
1305.28/1309.78	c #Conflicts:     114000 | #Constraints:     668165
1305.28/1309.78	c #Conflicts:     115000 | #Constraints:     669166
1305.28/1309.78	c #Conflicts:     116000 | #Constraints:     670166
1305.28/1309.78	c #Conflicts:     117000 | #Constraints:     671166
1305.28/1309.78	c INPROCESSING
1305.28/1309.78	c GARBAGE COLLECT
1305.28/1309.78	c rational objective 162.896
1493.90/1499.05	c #Conflicts:     118000 | #Constraints:     665361
1493.90/1499.05	c #Conflicts:     119000 | #Constraints:     666361
1493.90/1499.05	c #Conflicts:     120000 | #Constraints:     667501
1493.90/1499.05	c #Conflicts:     121000 | #Constraints:     668638
1493.90/1499.05	c #Conflicts:     122000 | #Constraints:     669743
1493.90/1499.05	c #Conflicts:     123000 | #Constraints:     670776
1493.90/1499.05	c #Conflicts:     124000 | #Constraints:     671786
1493.90/1499.05	c INPROCESSING
1493.90/1499.05	c GARBAGE COLLECT
1493.90/1499.05	c #Conflicts:     125000 | #Constraints:     665558
1493.90/1499.05	c #Conflicts:     126000 | #Constraints:     666558
1493.90/1499.05	c #Conflicts:     127000 | #Constraints:     667558
1493.90/1499.05	c #Conflicts:     128000 | #Constraints:     668559
1493.90/1499.05	c #Conflicts:     129000 | #Constraints:     669560
1493.90/1499.05	c #Conflicts:     130000 | #Constraints:     670561
1493.90/1499.05	c #Conflicts:     131000 | #Constraints:     671561
1493.90/1499.05	c INPROCESSING
1493.90/1499.05	c GARBAGE COLLECT
1493.90/1499.05	c rational objective 162.896
1713.11/1719.03	c #Conflicts:     132000 | #Constraints:     665271
1713.11/1719.03	c #Conflicts:     133000 | #Constraints:     666271
1713.11/1719.03	c #Conflicts:     134000 | #Constraints:     667272
1713.11/1719.03	c #Conflicts:     135000 | #Constraints:     668272
1713.11/1719.03	c #Conflicts:     136000 | #Constraints:     669272
1713.11/1719.03	c #Conflicts:     137000 | #Constraints:     670272
1713.11/1719.03	c #Conflicts:     138000 | #Constraints:     671273
1713.11/1719.03	c bounds 347 >= 75 @ 1570
1713.11/1719.03	c #Conflicts:     139000 | #Constraints:     672309
1713.11/1719.03	c INPROCESSING
1713.11/1719.03	c GARBAGE COLLECT
1713.11/1719.03	c rational objective 162.896
1779.75/1785.92	c #Conflicts:     140000 | #Constraints:     665855
1779.75/1785.92	c #Conflicts:     141000 | #Constraints:     666855
1779.75/1785.92	c #Conflicts:     142000 | #Constraints:     667855
1779.75/1785.92	c #Conflicts:     143000 | #Constraints:     668855
1779.75/1785.92	c #Conflicts:     144000 | #Constraints:     669856
1779.75/1785.92	c #Conflicts:     145000 | #Constraints:     670856
1779.75/1785.92	c #Conflicts:     146000 | #Constraints:     671856
1779.75/1785.92	c #Conflicts:     147000 | #Constraints:     672857
1779.75/1785.92	c INPROCESSING
1779.75/1785.92	c GARBAGE COLLECT
1779.75/1785.92	c rational objective 162.896
2244.67/2252.44	c #Conflicts:     148000 | #Constraints:     666243
2244.67/2252.44	c #Conflicts:     149000 | #Constraints:     667268
2244.67/2252.44	c #Conflicts:     150000 | #Constraints:     668282
2244.67/2252.44	c #Conflicts:     151000 | #Constraints:     669331
2244.67/2252.44	c #Conflicts:     152000 | #Constraints:     670345
2244.67/2252.44	c bounds 343 >= 75 @ 1837.88
2244.67/2252.44	c #Conflicts:     153000 | #Constraints:     671352
2244.67/2252.44	c #Conflicts:     154000 | #Constraints:     672352
2244.67/2252.44	c #Conflicts:     155000 | #Constraints:     673352
2244.67/2252.44	c INPROCESSING
2244.67/2252.44	c GARBAGE COLLECT
2244.67/2252.44	c #Conflicts:     156000 | #Constraints:     666475
2244.67/2252.44	c #Conflicts:     157000 | #Constraints:     667475
2244.67/2252.44	c #Conflicts:     158000 | #Constraints:     668475
2244.67/2252.44	c #Conflicts:     159000 | #Constraints:     669475
2244.67/2252.44	c #Conflicts:     160000 | #Constraints:     670475
2244.67/2252.44	c #Conflicts:     161000 | #Constraints:     671475
2244.67/2252.44	c #Conflicts:     162000 | #Constraints:     672475
2244.67/2252.44	c #Conflicts:     163000 | #Constraints:     673475
2244.67/2252.44	c INPROCESSING
2244.67/2252.44	c GARBAGE COLLECT
2244.67/2252.44	c #Conflicts:     164000 | #Constraints:     666449
2244.67/2252.44	c #Conflicts:     165000 | #Constraints:     667449
2244.67/2252.44	c #Conflicts:     166000 | #Constraints:     668449
2244.67/2252.44	c #Conflicts:     167000 | #Constraints:     669449
2244.67/2252.44	c #Conflicts:     168000 | #Constraints:     670449
2244.67/2252.44	c #Conflicts:     169000 | #Constraints:     671449
2244.67/2252.44	c #Conflicts:     170000 | #Constraints:     672449
2244.67/2252.44	c bounds 343 >= 76 @ 2159.48
2244.67/2252.44	c #Conflicts:     171000 | #Constraints:     673485
2244.67/2252.44	c INPROCESSING
2244.67/2252.44	c GARBAGE COLLECT
2244.67/2252.44	c rational objective 162.896
3216.51/3227.48	c #Conflicts:     172000 | #Constraints:     666281
3216.51/3227.48	c #Conflicts:     173000 | #Constraints:     667300
3216.51/3227.48	c #Conflicts:     174000 | #Constraints:     668329
3216.51/3227.48	c bounds 341 >= 76 @ 2270.79
3216.51/3227.48	c #Conflicts:     175000 | #Constraints:     669334
3216.51/3227.48	c #Conflicts:     176000 | #Constraints:     670416
3216.51/3227.48	c #Conflicts:     177000 | #Constraints:     671528
3216.51/3227.48	c #Conflicts:     178000 | #Constraints:     672583
3216.51/3227.48	c #Conflicts:     179000 | #Constraints:     673633
3216.51/3227.48	c #Conflicts:     180000 | #Constraints:     674753
3216.51/3227.48	c INPROCESSING
3216.51/3227.48	c GARBAGE COLLECT
3216.51/3227.48	c #Conflicts:     181000 | #Constraints:     667105
3216.51/3227.48	c #Conflicts:     182000 | #Constraints:     668105
3216.51/3227.48	c #Conflicts:     183000 | #Constraints:     669105
3216.51/3227.48	c #Conflicts:     184000 | #Constraints:     670106
3216.51/3227.48	c #Conflicts:     185000 | #Constraints:     671106
3216.51/3227.48	c #Conflicts:     186000 | #Constraints:     672106
3216.51/3227.48	c #Conflicts:     187000 | #Constraints:     673107
3216.51/3227.48	c #Conflicts:     188000 | #Constraints:     674107
3216.51/3227.48	c #Conflicts:     189000 | #Constraints:     675107
3216.51/3227.48	c INPROCESSING
3216.51/3227.48	c GARBAGE COLLECT
3216.51/3227.48	c #Conflicts:     190000 | #Constraints:     667379
3216.51/3227.48	c #Conflicts:     191000 | #Constraints:     668380
3216.51/3227.48	c #Conflicts:     192000 | #Constraints:     669380
3216.51/3227.48	c #Conflicts:     193000 | #Constraints:     670380
3216.51/3227.48	c #Conflicts:     194000 | #Constraints:     671380
3216.51/3227.48	c #Conflicts:     195000 | #Constraints:     672380
3216.51/3227.48	c #Conflicts:     196000 | #Constraints:     673380
3216.51/3227.48	c #Conflicts:     197000 | #Constraints:     674380
3216.51/3227.48	c #Conflicts:     198000 | #Constraints:     675380
3216.51/3227.48	c INPROCESSING
3216.51/3227.48	c GARBAGE COLLECT
3216.51/3227.48	c #Conflicts:     199000 | #Constraints:     667523
3216.51/3227.48	c #Conflicts:     200000 | #Constraints:     668523
3216.51/3227.48	c #Conflicts:     201000 | #Constraints:     669523
3216.51/3227.48	c #Conflicts:     202000 | #Constraints:     670523
3216.51/3227.48	c #Conflicts:     203000 | #Constraints:     671523
3216.51/3227.48	c #Conflicts:     204000 | #Constraints:     672523
3216.51/3227.48	c #Conflicts:     205000 | #Constraints:     673523
3216.51/3227.48	c #Conflicts:     206000 | #Constraints:     674523
3216.51/3227.48	c #Conflicts:     207000 | #Constraints:     675523
3216.51/3227.48	c INPROCESSING
3216.51/3227.48	c GARBAGE COLLECT
3216.51/3227.48	c #Conflicts:     208000 | #Constraints:     667482
3216.51/3227.48	c #Conflicts:     209000 | #Constraints:     668482
3216.51/3227.48	c #Conflicts:     210000 | #Constraints:     669482
3216.51/3227.48	c #Conflicts:     211000 | #Constraints:     670482
3216.51/3227.48	c #Conflicts:     212000 | #Constraints:     671482
3216.51/3227.48	c #Conflicts:     213000 | #Constraints:     672482
3216.51/3227.48	c #Conflicts:     214000 | #Constraints:     673482
3216.51/3227.48	c #Conflicts:     215000 | #Constraints:     674483
3216.51/3227.48	c #Conflicts:     216000 | #Constraints:     675483
3216.51/3227.48	c INPROCESSING
3216.51/3227.48	c GARBAGE COLLECT
3216.51/3227.48	c #Conflicts:     217000 | #Constraints:     667267
3216.51/3227.48	c #Conflicts:     218000 | #Constraints:     668267
3216.51/3227.48	c #Conflicts:     219000 | #Constraints:     669267
3216.51/3227.48	c #Conflicts:     220000 | #Constraints:     670267
3216.51/3227.48	c #Conflicts:     221000 | #Constraints:     671267
3216.51/3227.48	c #Conflicts:     222000 | #Constraints:     672267
3216.51/3227.48	c #Conflicts:     223000 | #Constraints:     673267
3216.51/3227.48	c #Conflicts:     224000 | #Constraints:     674267
3216.51/3227.48	c #Conflicts:     225000 | #Constraints:     675267
3216.51/3227.48	c #Conflicts:     226000 | #Constraints:     676267
3216.51/3227.48	c INPROCESSING
3216.51/3227.48	c GARBAGE COLLECT
3216.51/3227.48	c rational objective 162.896
3507.54/3519.58	c #Conflicts:     227000 | #Constraints:     667865
3507.54/3519.58	c #Conflicts:     228000 | #Constraints:     668866
3507.54/3519.58	c #Conflicts:     229000 | #Constraints:     669867
3507.54/3519.58	c #Conflicts:     230000 | #Constraints:     670867
3507.54/3519.58	c #Conflicts:     231000 | #Constraints:     671867
3507.54/3519.58	c #Conflicts:     232000 | #Constraints:     672867
3507.54/3519.58	c #Conflicts:     233000 | #Constraints:     673867
3507.54/3519.58	c #Conflicts:     234000 | #Constraints:     674867
3507.54/3519.58	c #Conflicts:     235000 | #Constraints:     675867
3507.54/3519.58	c #Conflicts:     236000 | #Constraints:     676867
3507.54/3519.58	c INPROCESSING
3507.54/3519.58	c GARBAGE COLLECT
3507.54/3519.58	c #Conflicts:     237000 | #Constraints:     668262
3507.54/3519.58	c #Conflicts:     238000 | #Constraints:     669262
3507.54/3519.58	c #Conflicts:     239000 | #Constraints:     670262
3507.54/3519.58	c #Conflicts:     240000 | #Constraints:     671262
3507.54/3519.58	c bounds 338 >= 76 @ 3409.41
3507.54/3519.58	c #Conflicts:     241000 | #Constraints:     672265
3507.54/3519.58	c #Conflicts:     242000 | #Constraints:     673265
3507.54/3519.58	c #Conflicts:     243000 | #Constraints:     674265
3507.54/3519.58	c #Conflicts:     244000 | #Constraints:     675265
3507.54/3519.58	c #Conflicts:     245000 | #Constraints:     676265
3507.54/3519.58	c #Conflicts:     246000 | #Constraints:     677265
3507.54/3519.58	c INPROCESSING
3507.54/3519.58	c GARBAGE COLLECT
3507.54/3519.58	c rational objective 162.896
3600.09/3612.40	c
3600.09/3612.40	s SATISFIABLE
3600.09/3612.40	v ~x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 x346 ~x347 x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 ~x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 ~x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~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 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 ~x3176 x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 ~x3434 ~x3435 ~x3436 ~x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 ~x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 ~x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 ~x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 ~x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 ~x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 ~x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 ~x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 ~x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 ~x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 ~x3809 ~x3810 ~x3811 ~x3812 ~x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 ~x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 ~x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 ~x3883 ~x3884 x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 ~x3912 ~x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 ~x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 ~x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 ~x3991 ~x3992 ~x3993 ~x3994 ~x3995 ~x3996 ~x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 ~x4010 ~x4011 x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 ~x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 ~x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 ~x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 ~x4093 ~x4094 ~x4095 ~x4096 ~x4097 ~x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 ~x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 ~x4156 ~x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 ~x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 ~x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 ~x4229 ~x4230 ~x4231 ~x4232 ~x4233 ~x4234 ~x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 ~x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 ~x4261 ~x4262 ~x4263 ~x4264 ~x4265 ~x4266 ~x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 ~x4277 ~x4278 x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 ~x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 x4301 ~x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 ~x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 ~x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 ~x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 ~x4410 ~x4411 ~x4412 ~x4413 ~x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 ~x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 ~x4429 ~x4430 ~x4431 ~x4432 ~x4433 ~x4434 ~x4435 ~x4436 ~x4437 ~x4438 ~x4439 ~x4440 ~x4441 ~x4442 ~x4443 ~x4444 ~x4445 ~x4446 ~x4447 ~x4448 ~x4449 ~x4450 ~x4451 ~x4452 ~x4453 ~x4454 ~x4455 ~x4456 ~x4457 ~x4458 ~x4459 ~x4460 ~x4461 ~x4462 ~x4463 ~x4464 ~x4465 ~x4466 ~x4467 ~x4468 ~x4469 ~x4470 ~x4471 ~x4472 ~x4473 ~x4474 ~x4475 ~x4476 ~x4477 ~x4478 ~x4479 x4480 ~x4481 ~x4482 ~x4483 ~x4484 ~x4485 ~x4486 ~x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 ~x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 ~x4513 ~x4514 ~x4515 ~x4516 ~x4517 ~x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 ~x4543 ~x4544 ~x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 ~x4564 ~x4565 ~x4566 ~x4567 ~x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 ~x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 ~x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 ~x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 ~x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 ~x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 ~x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 ~x4685 ~x4686 ~x4687 ~x4688 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 ~x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 ~x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 ~x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 ~x4763 ~x4764 ~x4765 ~x4766 ~x4767 ~x4768 ~x4769 ~x4770 ~x4771 ~x4772 ~x4773 ~x4774 ~x4775 ~x4776 ~x4777 ~x4778 ~x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 ~x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 ~x4808 ~x4809 ~x4810 ~x4811 ~x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 ~x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 ~x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 ~x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 ~x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 ~x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 ~x5095 ~x5096 ~x5097 ~x5098 ~x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 ~x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 x5140 ~x5141 ~x5142 ~x5143 ~x5144 ~x5145 ~x5146 ~x5147 ~x5148 ~x5149 ~x5150 ~x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 ~x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 ~x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 ~x5238 ~x5239 ~x5240 ~x5241 ~x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 ~x5255 ~x5256 ~x5257 ~x5258 ~x5259 ~x5260 ~x5261 ~x5262 ~x5263 ~x5264 ~x5265 ~x5266 ~x5267 x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 ~x5299 ~x5300 ~x5301 ~x5302 ~x5303 x5304 ~x5305 ~x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 ~x5312 ~x5313 x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 ~x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 ~x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 ~x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 ~x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 ~x5569 ~x5570 ~x5571 ~x5572 ~x5573 ~x5574 ~x5575 ~x5576 ~x5577 ~x5578 ~x5579 ~x5580 ~x5581 ~x5582 ~x5583 ~x5584 ~x5585 ~x5586 ~x5587 ~x5588 ~x5589 ~x5590 ~x5591 ~x5592 ~x5593 ~x5594 ~x5595 ~x5596 ~x5597 ~x5598 ~x5599 ~x5600 ~x5601 ~x5602 ~x5603 ~x5604 ~x5605 ~x5606 ~x5607 ~x5608 ~x5609 ~x5610 ~x5611 ~x5612 ~x5613 ~x5614 ~x5615 ~x5616 ~x5617 ~x5618 ~x5619 ~x5620 ~x5621 ~x5622 ~x5623 ~x5624 ~x5625 ~x5626 ~x5627 ~x5628 ~x5629 ~x5630 ~x5631 ~x5632 ~x5633 ~x5634 ~x5635 ~x5636 ~x5637 ~x5638 ~x5639 ~x5640 ~x5641 ~x5642 ~x5643 ~x5644 ~x5645 ~x5646 ~x5647 ~x5648 ~x5649 ~x5650 ~x5651 ~x5652 ~x5653 ~x5654 ~x5655 ~x5656 ~x5657 ~x5658 ~x5659 ~x5660 ~x5661 ~x5662 ~x5663 ~x5664 ~x5665 ~x5666 ~x5667 ~x5668 x5669 ~x5670 ~x5671 ~x5672 ~x5673 ~x5674 ~x5675 ~x5676 ~x5677 ~x5678 ~x5679 ~x5680 ~x5681 ~x5682 ~x5683 ~x5684 ~x5685 ~x5686 ~x5687 ~x5688 ~x5689 ~x5690 ~x5691 ~x5692 ~x5693 ~x5694 ~x5695 ~x5696 ~x5697 ~x5698 ~x5699 ~x5700 ~x5701 ~x5702 ~x5703 ~x5704 ~x5705 ~x5706 ~x5707 ~x5708 ~x5709 ~x5710 ~x5711 x5712 ~x5713 ~x5714 ~x5715 ~x5716 ~x5717 ~x5718 ~x5719 ~x5720 ~x5721 ~x5722 ~x5723 ~x5724 ~x5725 ~x5726 ~x5727 ~x5728 ~x5729 ~x5730 ~x5731 ~x5732 ~x5733 ~x5734 ~x5735 ~x5736 ~x5737 ~x5738 ~x5739 ~x5740 ~x5741 ~x5742 ~x5743 ~x5744 ~x5745 ~x5746 ~x5747 ~x5748 ~x5749 ~x5750 ~x5751 ~x5752 ~x5753 ~x5754 ~x5755 ~x5756 ~x5757 ~x5758 ~x5759 ~x5760 ~x5761 ~x5762 ~x5763 ~x5764 ~x5765 ~x5766 ~x5767 ~x5768 ~x5769 ~x5770 ~x5771 ~x5772 ~x5773 ~x5774 ~x5775 ~x5776 ~x5777 ~x5778 ~x5779 ~x5780 ~x5781 ~x5782 ~x5783 ~x5784 ~x5785 ~x5786 ~x5787 ~x5788 ~x5789 ~x5790 ~x5791 ~x5792 ~x5793 ~x5794 ~x5795 ~x5796 ~x5797 ~x5798 ~x5799 ~x5800 ~x5801 ~x5802 ~x5803 ~x5804 ~x5805 ~x5806 ~x5807 ~x5808 ~x5809 ~x5810 ~x5811 ~x5812 ~x5813 ~x5814 ~x5815 ~x5816 ~x5817 ~x5818 ~x5819 ~x5820 ~x5821 ~x5822 ~x5823 ~x5824 ~x5825 ~x5826 ~x5827 ~x5828 ~x5829 ~x5830 ~x5831 ~x5832 ~x5833 ~x5834 ~x5835 ~x5836 ~x5837 ~x5838 ~x5839 ~x5840 ~x5841 ~x5842 ~x5843 ~x5844 ~x5845 ~x5846 ~x5847 ~x5848 ~x5849 ~x5850 ~x5851 ~x5852 ~x5853 ~x5854 ~x5855 x5856 ~x5857 ~x5858 ~x5859 ~x5860 ~x5861 ~x5862 ~x5863 ~x5864 ~x5865 ~x5866 ~x5867 ~x5868 ~x5869 ~x5870 ~x5871 ~x5872 ~x5873 ~x5874 ~x5875 ~x5876 ~x5877 ~x5878 ~x5879 ~x5880 ~x5881 ~x5882 ~x5883 ~x5884 ~x5885 ~x5886 ~x5887 ~x5888 ~x5889 ~x5890 ~x5891 ~x5892 ~x5893 ~x5894 ~x5895 ~x5896 ~x5897 ~x5898 ~x5899 ~x5900 ~x5901 ~x5902 ~x5903 ~x5904 ~x5905 ~x5906 ~x5907 ~x5908 ~x5909 ~x5910 ~x5911 ~x5912 ~x5913 ~x5914 ~x5915 ~x5916 ~x5917 ~x5918 ~x5919 ~x5920 ~x5921 ~x5922 ~x5923 ~x5924 ~x5925 ~x5926 ~x5927 ~x5928 ~x5929 ~x5930 ~x5931 ~x5932 ~x5933 ~x5934 ~x5935 ~x5936 ~x5937 ~x5938 ~x5939 ~x5940 ~x5941 ~x5942 ~x5943 ~x5944 ~x5945 ~x5946 ~x5947 ~x5948 ~x5949 ~x5950 ~x5951 ~x5952 ~x5953 ~x5954 ~x5955 ~x5956 ~x5957 ~x5958 ~x5959 ~x5960 ~x5961 ~x5962 ~x5963 ~x5964 ~x5965 ~x5966 ~x5967 ~x5968 ~x5969 ~x5970 ~x5971 ~x5972 ~x5973 ~x5974 ~x5975 ~x5976 ~x5977 ~x5978 ~x5979 ~x5980 ~x5981 ~x5982 ~x5983 ~x5984 ~x5985 ~x5986 ~x5987 ~x5988 ~x5989 x5990 ~x5991 ~x5992 ~x5993 ~x5994 ~x5995 ~x5996 ~x5997 ~x5998 ~x5999 ~x6000 ~x6001 ~x6002 ~x6003 ~x6004 ~x6005 ~x6006 ~x6007 ~x6008 ~x6009 ~x6010 ~x6011 ~x6012 ~x6013 ~x6014 ~x6015 ~x6016 ~x6017 ~x6018 ~x6019 x6020 ~x6021 ~x6022 ~x6023 ~x6024 ~x6025 ~x6026 ~x6027 ~x6028 ~x6029 ~x6030 ~x6031 ~x6032 ~x6033 ~x6034 ~x6035 ~x6036 ~x6037 ~x6038 ~x6039 ~x6040 ~x6041 ~x6042 ~x6043 ~x6044 ~x6045 ~x6046 ~x6047 ~x6048 ~x6049 ~x6050 ~x6051 ~x6052 ~x6053 ~x6054 ~x6055 ~x6056 ~x6057 ~x6058 ~x6059 ~x6060 ~x6061 ~x6062 ~x6063 ~x6064 ~x6065 ~x6066 ~x6067 ~x6068 ~x6069 ~x6070 ~x6071 ~x6072 ~x6073 ~x6074 ~x6075 ~x6076 ~x6077 ~x6078 ~x6079 ~x6080 ~x6081 ~x6082 ~x6083 ~x6084 ~x6085 ~x6086 ~x6087 ~x6088 ~x6089 ~x6090 ~x6091 ~x6092 ~x6093 ~x6094 ~x6095 ~x6096 ~x6097 ~x6098 ~x6099 ~x6100 ~x6101 ~x6102 ~x6103 ~x6104 ~x6105 ~x6106 ~x6107 ~x6108 ~x6109 ~x6110 ~x6111 ~x6112 ~x6113 ~x6114 ~x6115 ~x6116 ~x6117 ~x6118 ~x6119 ~x6120 ~x6121 ~x6122 ~x6123 ~x6124 ~x6125 ~x6126 ~x6127 ~x6128 ~x6129 ~x6130 ~x6131 ~x6132 ~x6133 ~x6134 ~x6135 ~x6136 ~x6137 ~x6138 ~x6139 ~x6140 ~x6141 ~x6142 ~x6143 ~x6144 ~x6145 ~x6146 ~x6147 ~x6148 ~x6149 ~x6150 ~x6151 ~x6152 ~x6153 ~x6154 ~x6155 ~x6156 ~x6157 ~x6158 ~x6159 ~x6160 ~x6161 ~x6162 ~x6163 ~x6164 ~x6165 ~x6166 ~x6167 ~x6168 ~x6169 ~x6170 ~x6171 ~x6172 ~x6173 ~x6174 ~x6175 ~x6176 ~x6177 ~x6178 ~x6179 ~x6180 ~x6181 ~x6182 ~x6183 ~x6184 ~x6185 ~x6186 ~x6187 ~x6188 ~x6189 ~x6190 ~x6191 ~x6192 ~x6193 ~x6194 x6195 ~x6196 ~x6197 ~x6198 ~x6199 ~x6200 ~x6201 ~x6202 ~x6203 ~x6204 ~x6205 ~x6206 ~x6207 ~x6208 ~x6209 ~x6210 ~x6211 ~x6212 ~x6213 ~x6214 ~x6215 ~x6216 ~x6217 ~x6218 ~x6219 ~x6220 ~x6221 ~x6222 ~x6223 ~x6224 ~x6225 ~x6226 ~x6227 ~x6228 ~x6229 ~x6230 ~x6231 ~x6232 ~x6233 ~x6234 ~x6235 ~x6236 ~x6237 ~x6238 ~x6239 ~x6240 ~x6241 ~x6242 ~x6243 ~x6244 ~x6245 ~x6246 ~x6247 ~x6248 ~x6249 ~x6250 ~x6251 ~x6252 ~x6253 ~x6254 ~x6255 ~x6256 ~x6257 ~x6258 ~x6259 ~x6260 ~x6261 ~x6262 ~x6263 ~x6264 ~x6265 ~x6266 ~x6267 ~x6268 ~x6269 ~x6270 ~x6271 ~x6272 ~x6273 ~x6274 ~x6275 ~x6276 ~x6277 ~x6278 ~x6279 ~x6280 ~x6281 ~x6282 ~x6283 ~x6284 ~x6285 ~x6286 ~x6287 ~x6288 ~x6289 ~x6290 ~x6291 x6292 ~x6293 ~x6294 ~x6295 ~x6296 ~x6297 ~x6298 ~x6299 ~x6300 ~x6301 ~x6302 x6303 ~x6304 ~x6305 ~x6306 ~x6307 ~x6308 ~x6309 ~x6310 ~x6311 ~x6312 ~x6313 ~x6314 ~x6315 ~x6316 ~x6317 ~x6318 ~x6319 ~x6320 ~x6321 ~x6322 ~x6323 ~x6324 ~x6325 ~x6326 ~x6327 ~x6328 ~x6329 ~x6330 ~x6331 ~x6332 ~x6333 ~x6334 ~x6335 ~x6336 ~x6337 ~x6338 ~x6339 ~x6340 ~x6341 ~x6342 ~x6343 ~x6344 ~x6345 ~x6346 ~x6347 ~x6348 ~x6349 ~x6350 ~x6351 ~x6352 ~x6353 ~x6354 ~x6355 ~x6356 ~x6357 ~x6358 ~x6359 ~x6360 ~x6361 ~x6362 ~x6363 ~x6364 ~x6365 ~x6366 ~x6367 ~x6368 ~x6369 ~x6370 ~x6371 ~x6372 ~x6373 ~x6374 ~x6375 ~x6376 ~x6377 ~x6378 ~x6379 ~x6380 ~x6381 ~x6382 ~x6383 ~x6384 ~x6385 ~x6386 ~x6387 ~x6388 ~x6389 ~x6390 ~x6391 ~x6392 ~x6393 ~x6394 ~x6395 ~x6396 ~x6397 ~x6398 ~x6399 ~x6400 ~x6401 ~x6402 ~x6403 ~x6404 ~x6405 ~x6406 ~x6407 ~x6408 ~x6409 ~x6410 ~x6411 ~x6412 ~x6413 ~x6414 ~x6415 ~x6416 ~x6417 ~x6418 ~x6419 ~x6420 ~x6421 ~x6422 ~x6423 ~x6424 ~x6425 ~x6426 ~x6427 ~x6428 ~x6429 ~x6430 ~x6431 ~x6432 ~x6433 ~x6434 ~x6435 ~x6436 ~x6437 ~x6438 ~x6439 ~x6440 ~x6441 ~x6442 ~x6443 ~x6444 ~x6445 ~x6446 ~x6447 ~x6448 ~x6449 ~x6450 ~x6451 ~x6452 ~x6453 ~x6454 ~x6455 ~x6456 ~x6457 ~x6458 ~x6459 ~x6460 ~x6461 ~x6462 ~x6463 ~x6464 ~x6465 ~x6466 ~x6467 ~x6468 ~x6469 ~x6470 ~x6471 ~x6472 ~x6473 ~x6474 ~x6475 ~x6476 ~x6477 ~x6478 ~x6479 ~x6480 ~x6481 x6482 ~x6483 ~x6484 ~x6485 ~x6486 ~x6487 ~x6488 ~x6489 ~x6490 ~x6491 ~x6492 ~x6493 ~x6494 ~x6495 ~x6496 ~x6497 ~x6498 ~x6499 ~x6500 ~x6501 ~x6502 ~x6503 ~x6504 ~x6505 ~x6506 ~x6507 ~x6508 ~x6509 ~x6510 ~x6511 ~x6512 ~x6513 ~x6514 ~x6515 ~x6516 x6517 ~x6518 ~x6519 ~x6520 ~x6521 ~x6522 ~x6523 ~x6524 ~x6525 ~x6526 ~x6527 ~x6528 ~x6529 ~x6530 ~x6531 ~x6532 ~x6533 ~x6534 ~x6535 ~x6536 ~x6537 ~x6538 ~x6539 ~x6540 ~x6541 ~x6542 ~x6543 ~x6544 ~x6545 ~x6546 ~x6547 ~x6548 ~x6549 ~x6550 ~x6551 ~x6552 ~x6553 ~x6554 ~x6555 ~x6556 ~x6557 ~x6558 ~x6559 ~x6560 ~x6561 ~x6562 ~x6563 ~x6564 ~x6565 ~x6566 ~x6567 ~x6568 ~x6569 ~x6570 ~x6571 ~x6572 ~x6573 ~x6574 ~x6575 ~x6576 ~x6577 ~x6578 ~x6579 ~x6580 ~x6581 ~x6582 ~x6583 ~x6584 ~x6585 ~x6586 ~x6587 ~x6588 ~x6589 ~x6590 ~x6591 ~x6592 ~x6593 ~x6594 ~x6595 ~x6596 ~x6597 ~x6598 ~x6599 ~x6600 ~x6601 ~x6602 ~x6603 ~x6604 ~x6605 ~x6606 ~x6607 ~x6608 ~x6609 x6610 ~x6611 ~x6612 ~x6613 ~x6614 ~x6615 ~x6616 ~x6617 ~x6618 ~x6619 ~x6620 ~x6621 ~x6622 ~x6623 ~x6624 ~x6625 ~x6626 ~x6627 ~x6628 ~x6629 ~x6630 ~x6631 ~x6632 ~x6633 ~x6634 ~x6635 ~x6636 ~x6637 ~x6638 ~x6639 ~x6640 ~x6641 ~x6642 ~x6643 ~x6644 ~x6645 ~x6646 ~x6647 ~x6648 ~x6649 ~x6650 ~x6651 ~x6652 ~x6653 ~x6654 ~x6655 ~x6656 ~x6657 ~x6658 ~x6659 ~x6660 ~x6661 ~x6662 ~x6663 ~x6664 ~x6665 ~x6666 ~x6667 ~x6668 ~x6669 ~x6670 ~x6671 ~x6672 ~x6673 ~x6674 ~x6675 ~x6676 ~x6677 ~x6678 ~x6679 ~x6680 ~x6681 ~x6682 ~x6683 ~x6684 ~x6685 ~x6686 ~x6687 ~x6688 ~x6689 ~x6690 ~x6691 ~x6692 ~x6693 ~x6694 ~x6695 ~x6696 ~x6697 ~x6698 ~x6699 ~x6700 ~x6701 ~x6702 ~x6703 ~x6704 ~x6705 ~x6706 ~x6707 ~x6708 ~x6709 ~x6710 ~x6711 ~x6712 ~x6713 ~x6714 ~x6715 ~x6716 ~x6717 ~x6718 ~x6719 ~x6720 ~x6721 ~x6722 ~x6723 ~x6724 ~x6725 ~x6726 ~x6727 ~x6728 ~x6729 ~x6730 ~x6731 ~x6732 ~x6733 ~x6734 ~x6735 ~x6736 ~x6737 ~x6738 ~x6739 ~x6740 ~x6741 ~x6742 ~x6743 ~x6744 ~x6745 ~x6746 ~x6747 ~x6748 ~x6749 ~x6750 ~x6751 ~x6752 ~x6753 ~x6754 ~x6755 ~x6756 ~x6757 ~x6758 ~x6759 ~x6760 ~x6761 ~x6762 ~x6763 ~x6764 ~x6765 ~x6766 ~x6767 ~x6768 ~x6769 ~x6770 ~x6771 ~x6772 ~x6773 ~x6774 ~x6775 ~x6776 ~x6777 ~x6778 ~x6779 ~x6780 ~x6781 ~x6782 ~x6783 x6784 ~x6785 ~x6786 ~x6787 ~x6788 ~x6789 ~x6790 ~x6791 ~x6792 ~x6793 ~x6794 ~x6795 ~x6796 ~x6797 ~x6798 ~x6799 ~x6800 ~x6801 ~x6802 ~x6803 ~x6804 ~x6805 ~x6806 ~x6807 ~x6808 ~x6809 ~x6810 ~x6811 ~x6812 ~x6813 ~x6814 ~x6815 ~x6816 ~x6817 ~x6818 ~x6819 ~x6820 ~x6821 ~x6822 ~x6823 ~x6824 ~x6825 ~x6826 ~x6827 ~x6828 ~x6829 x6830 ~x6831 ~x6832 ~x6833 ~x6834 ~x6835 ~x6836 ~x6837 ~x6838 ~x6839 ~x6840 ~x6841 ~x6842 ~x6843 ~x6844 ~x6845 ~x6846 ~x6847 ~x6848 ~x6849 ~x6850 ~x6851 ~x6852 ~x6853 ~x6854 ~x6855 ~x6856 ~x6857 ~x6858 ~x6859 ~x6860 ~x6861 ~x6862 ~x6863 ~x6864 ~x6865 ~x6866 ~x6867 ~x6868 ~x6869 ~x6870 ~x6871 ~x6872 ~x6873 ~x6874 ~x6875 ~x6876 ~x6877 ~x6878 ~x6879 ~x6880 ~x6881 ~x6882 ~x6883 ~x6884 ~x6885 ~x6886 ~x6887 ~x6888 ~x6889 ~x6890 ~x6891 ~x6892 ~x6893 ~x6894 ~x6895 ~x6896 ~x6897 ~x6898 ~x6899 ~x6900 ~x6901 ~x6902 ~x6903 ~x6904 ~x6905 ~x6906 ~x6907 ~x6908 ~x6909 ~x6910 ~x6911 ~x6912 ~x6913 ~x6914 ~x6915 ~x6916 ~x6917 ~x6918 ~x6919 ~x6920 ~x6921 ~x6922 ~x6923 ~x6924 ~x6925 ~x6926 ~x6927 ~x6928 ~x6929 ~x6930 ~x6931 ~x6932 ~x6933 ~x6934 ~x6935 ~x6936 ~x6937 ~x6938 ~x6939 ~x6940 ~x6941 ~x6942 ~x6943 ~x6944 ~x6945 ~x6946 ~x6947 ~x6948 ~x6949 ~x6950 ~x6951 ~x6952 ~x6953 ~x6954 ~x6955 ~x6956 ~x6957 ~x6958 ~x6959 ~x6960 ~x6961 ~x6962 ~x6963 ~x6964 ~x6965 ~x6966 ~x6967 ~x6968 ~x6969 ~x6970 ~x6971 ~x6972 ~x6973 ~x6974 ~x6975 ~x6976 ~x6977 ~x6978 ~x6979 ~x6980 ~x6981 ~x6982 ~x6983 ~x6984 ~x6985 ~x6986 ~x6987 ~x6988 ~x6989 x6990 ~x6991 ~x6992 ~x6993 ~x6994 ~x6995 ~x6996 ~x6997 ~x6998 ~x6999 ~x7000 ~x7001 ~x7002 ~x7003 ~x7004 ~x7005 ~x7006 ~x7007 ~x7008 ~x7009 ~x7010 ~x7011 ~x7012 ~x7013 ~x7014 ~x7015 ~x7016 ~x7017 ~x7018 ~x7019 ~x7020 ~x7021 ~x7022 ~x7023 x7024 ~x7025 ~x7026 ~x7027 ~x7028 ~x7029 ~x7030 ~x7031 ~x7032 ~x7033 ~x7034 ~x7035 ~x7036 ~x7037 ~x7038 ~x7039 ~x7040 ~x7041 ~x7042 ~x7043 ~x7044 ~x7045 ~x7046 ~x7047 ~x7048 ~x7049 ~x7050 ~x7051 ~x7052 ~x7053 ~x7054 ~x7055 ~x7056 ~x7057 ~x7058 ~x7059 ~x7060 ~x7061 ~x7062 ~x7063 ~x7064 ~x7065 ~x7066 ~x7067 ~x7068 ~x7069 ~x7070 ~x7071 ~x7072 ~x7073 ~x7074 ~x7075 ~x7076 ~x7077 ~x7078 ~x7079 ~x7080 ~x7081 ~x7082 ~x7083 ~x7084 ~x7085 ~x7086 ~x7087 ~x7088 ~x7089 ~x7090 ~x7091 ~x7092 ~x7093 ~x7094 ~x7095 ~x7096 ~x7097 ~x7098 ~x7099 ~x7100 ~x7101 ~x7102 ~x7103 ~x7104 ~x7105 ~x7106 ~x7107 ~x7108 ~x7109 ~x7110 ~x7111 ~x7112 ~x7113 ~x7114 ~x7115 ~x7116 ~x7117 ~x7118 ~x7119 ~x7120 ~x7121 ~x7122 ~x7123 ~x7124 ~x7125 ~x7126 ~x7127 ~x7128 ~x7129 ~x7130 ~x7131 ~x7132 ~x7133 ~x7134 ~x7135 x7136 ~x7137 ~x7138 ~x7139 ~x7140 ~x7141 ~x7142 ~x7143 ~x7144 ~x7145 ~x7146 ~x7147 ~x7148 ~x7149 ~x7150 ~x7151 ~x7152 ~x7153 ~x7154 ~x7155 ~x7156 ~x7157 ~x7158 ~x7159 ~x7160 ~x7161 ~x7162 ~x7163 ~x7164 ~x7165 ~x7166 ~x7167 ~x7168 ~x7169 ~x7170 ~x7171 ~x7172 ~x7173 ~x7174 ~x7175 ~x7176 ~x7177 ~x7178 ~x7179 ~x7180 ~x7181 ~x7182 ~x7183 ~x7184 ~x7185 ~x7186 ~x7187 ~x7188 ~x7189 ~x7190 ~x7191 ~x7192 ~x7193 ~x7194 ~x7195 ~x7196 ~x7197 ~x7198 ~x7199 ~x7200 ~x7201 ~x7202 ~x7203 ~x7204 ~x7205 ~x7206 ~x7207 ~x7208 ~x7209 ~x7210 ~x7211 ~x7212 ~x7213 ~x7214 ~x7215 ~x7216 ~x7217 ~x7218 ~x7219 ~x7220 ~x7221 ~x7222 ~x7223 ~x7224 ~x7225 ~x7226 ~x7227 ~x7228 ~x7229 ~x7230 ~x7231 ~x7232 ~x7233 ~x7234 ~x7235 ~x7236 ~x7237 ~x7238 ~x7239 ~x7240 ~x7241 ~x7242 ~x7243 ~x7244 ~x7245 ~x7246 ~x7247 ~x7248 ~x7249 ~x7250 ~x7251 ~x7252 ~x7253 ~x7254 ~x7255 ~x7256 ~x7257 ~x7258 ~x7259 ~x7260 ~x7261 ~x7262 ~x7263 ~x7264 ~x7265 ~x7266 ~x7267 ~x7268 ~x7269 ~x7270 ~x7271 ~x7272 ~x7273 ~x7274 ~x7275 x7276 ~x7277 ~x7278 ~x7279 ~x7280 ~x7281 ~x7282 ~x7283 ~x7284 ~x7285 ~x7286 ~x7287 ~x7288 ~x7289 ~x7290 ~x7291 ~x7292 ~x7293 ~x7294 ~x7295 ~x7296 ~x7297 ~x7298 ~x7299 ~x7300 ~x7301 ~x7302 ~x7303 ~x7304 ~x7305 ~x7306 ~x7307 ~x7308 ~x7309 ~x7310 ~x7311 ~x7312 ~x7313 ~x7314 ~x7315 ~x7316 ~x7317 ~x7318 ~x7319 ~x7320 ~x7321 ~x7322 ~x7323 ~x7324 ~x7325 ~x7326 ~x7327 ~x7328 ~x7329 ~x7330 ~x7331 ~x7332 ~x7333 ~x7334 ~x7335 ~x7336 ~x7337 ~x7338 ~x7339 ~x7340 ~x7341 ~x7342 ~x7343 ~x7344 ~x7345 ~x7346 ~x7347 ~x7348 ~x7349 ~x7350 ~x7351 ~x7352 ~x7353 ~x7354 ~x7355 ~x7356 ~x7357 ~x7358 ~x7359 ~x7360 ~x7361 ~x7362 ~x7363 ~x7364 ~x7365 ~x7366 ~x7367 ~x7368 ~x7369 ~x7370 ~x7371 ~x7372 ~x7373 ~x7374 ~x7375 ~x7376 ~x7377 ~x7378 ~x7379 ~x7380 ~x7381 ~x7382 ~x7383 ~x7384 ~x7385 ~x7386 ~x7387 ~x7388 ~x7389 ~x7390 ~x7391 ~x7392 ~x7393 ~x7394 ~x7395 ~x7396 x7397 ~x7398 ~x7399 ~x7400 ~x7401 ~x7402 ~x7403 ~x7404 ~x7405 ~x7406 ~x7407 ~x7408 ~x7409 ~x7410 ~x7411 ~x7412 ~x7413 ~x7414 ~x7415 ~x7416 ~x7417 ~x7418 ~x7419 ~x7420 ~x7421 ~x7422 ~x7423 ~x7424 ~x7425 ~x7426 ~x7427 ~x7428 ~x7429 ~x7430 ~x7431 ~x7432 ~x7433 ~x7434 ~x7435 ~x7436 ~x7437 ~x7438 ~x7439 ~x7440 ~x7441 ~x7442 ~x7443 ~x7444 ~x7445 ~x7446 ~x7447 ~x7448 ~x7449 ~x7450 ~x7451 ~x7452 ~x7453 ~x7454 ~x7455 ~x7456 ~x7457 ~x7458 ~x7459 ~x7460 ~x7461 ~x7462 ~x7463 ~x7464 ~x7465 ~x7466 x7467 ~x7468 ~x7469 ~x7470 ~x7471 ~x7472 ~x7473 ~x7474 ~x7475 ~x7476 ~x7477 ~x7478 ~x7479 ~x7480 ~x7481 ~x7482 x7483 ~x7484 ~x7485 ~x7486 ~x7487 ~x7488 ~x7489 ~x7490 ~x7491 ~x7492 ~x7493 ~x7494 ~x7495 ~x7496 ~x7497 ~x7498 ~x7499 ~x7500 ~x7501 ~x7502 ~x7503 ~x7504 ~x7505 ~x7506 ~x7507 ~x7508 ~x7509 ~x7510 ~x7511 ~x7512 ~x7513 ~x7514 ~x7515 ~x7516 ~x7517 ~x7518 ~x7519 ~x7520 ~x7521 ~x7522 ~x7523 ~x7524 ~x7525 ~x7526 ~x7527 ~x7528 ~x7529 ~x7530 ~x7531 ~x7532 ~x7533 ~x7534 ~x7535 ~x7536 ~x7537 ~x7538 ~x7539 ~x7540 ~x7541 ~x7542 ~x7543 ~x7544 ~x7545 ~x7546 ~x7547 ~x7548 ~x7549 ~x7550 ~x7551 ~x7552 ~x7553 ~x7554 ~x7555 ~x7556 x7557 ~x7558 ~x7559 ~x7560 ~x7561 ~x7562 ~x7563 ~x7564 ~x7565 ~x7566 ~x7567 ~x7568 ~x7569 ~x7570 ~x7571 ~x7572 ~x7573 ~x7574 ~x7575 ~x7576 ~x7577 ~x7578 ~x7579 ~x7580 ~x7581 ~x7582 ~x7583 ~x7584 ~x7585 ~x7586 ~x7587 ~x7588 ~x7589 ~x7590 ~x7591 ~x7592 ~x7593 ~x7594 ~x7595 ~x7596 ~x7597 ~x7598 ~x7599 ~x7600 ~x7601 ~x7602 ~x7603 ~x7604 ~x7605 ~x7606 ~x7607 ~x7608 ~x7609 ~x7610 ~x7611 ~x7612 ~x7613 ~x7614 ~x7615 ~x7616 ~x7617 ~x7618 ~x7619 ~x7620 ~x7621 ~x7622 ~x7623 ~x7624 ~x7625 ~x7626 ~x7627 ~x7628 ~x7629 ~x7630 ~x7631 ~x7632 ~x7633 ~x7634 ~x7635 ~x7636 ~x7637 ~x7638 ~x7639 ~x7640 ~x7641 ~x7642 x7643 ~x7644 ~x7645 ~x7646 ~x7647 ~x7648 ~x7649 ~x7650 ~x7651 ~x7652 ~x7653 ~x7654 ~x7655 ~x7656 ~x7657 ~x7658 ~x7659 ~x7660 ~x7661 ~x7662 ~x7663 ~x7664 ~x7665 ~x7666 ~x7667 ~x7668 ~x7669 ~x7670 ~x7671 ~x7672 ~x7673 ~x7674 ~x7675 ~x7676 ~x7677 ~x7678 ~x7679 ~x7680 ~x7681 ~x7682 ~x7683 ~x7684 ~x7685 ~x7686 ~x7687 ~x7688 ~x7689 ~x7690 ~x7691 ~x7692 ~x7693 ~x7694 ~x7695 ~x7696 ~x7697 ~x7698 ~x7699 ~x7700 ~x7701 ~x7702 ~x7703 ~x7704 ~x7705 ~x7706 ~x7707 ~x7708 ~x7709 ~x7710 ~x7711 ~x7712 ~x7713 ~x7714 ~x7715 ~x7716 ~x7717 ~x7718 ~x7719 ~x7720 ~x7721 ~x7722 ~x7723 ~x7724 ~x7725 ~x7726 ~x7727 ~x7728 ~x7729 ~x7730 ~x7731 ~x7732 ~x7733 ~x7734 ~x7735 ~x7736 ~x7737 ~x7738 ~x7739 ~x7740 ~x7741 ~x7742 ~x7743 ~x7744 ~x7745 ~x7746 ~x7747 ~x7748 ~x7749 ~x7750 ~x7751 ~x7752 ~x7753 ~x7754 ~x7755 ~x7756 ~x7757 ~x7758 ~x7759 ~x7760 ~x7761 ~x7762 ~x7763 ~x7764 ~x7765 ~x7766 ~x7767 ~x7768 ~x7769 ~x7770 ~x7771 ~x7772 ~x7773 ~x7774 ~x7775 ~x7776 ~x7777 ~x7778 ~x7779 ~x7780 ~x7781 ~x7782 ~x7783 ~x7784 ~x7785 ~x7786 x7787 ~x7788 ~x7789 ~x7790 ~x7791 ~x7792 ~x7793 ~x7794 ~x7795 ~x7796 ~x7797 ~x7798 ~x7799 ~x7800 ~x7801 ~x7802 ~x7803 ~x7804 ~x7805 ~x7806 ~x7807 ~x7808 ~x7809 ~x7810 ~x7811 ~x7812 ~x7813 ~x7814 ~x7815 ~x7816 ~x7817 ~x7818 ~x7819 ~x7820 ~x7821 ~x7822 ~x7823 ~x7824 ~x7825 ~x7826 ~x7827 ~x7828 ~x7829 ~x7830 ~x7831 ~x7832 ~x7833 ~x7834 ~x7835 ~x7836 ~x7837 ~x7838 ~x7839 ~x7840 ~x7841 ~x7842 ~x7843 ~x7844 ~x7845 ~x7846 ~x7847 ~x7848 ~x7849 ~x7850 ~x7851 x7852 ~x7853 ~x7854 ~x7855 ~x7856 ~x7857 ~x7858 ~x7859 ~x7860 ~x7861 ~x7862 ~x7863 ~x7864 ~x7865 ~x7866 ~x7867 ~x7868 ~x7869 ~x7870 ~x7871 ~x7872 ~x7873 ~x7874 ~x7875 ~x7876 ~x7877 ~x7878 ~x7879 ~x7880 ~x7881 ~x7882 ~x7883 ~x7884 ~x7885 ~x7886 ~x7887 ~x7888 ~x7889 ~x7890 ~x7891 ~x7892 ~x7893 ~x7894 ~x7895 ~x7896 ~x7897 ~x7898 ~x7899 ~x7900 ~x7901 x7902 ~x7903 ~x7904 ~x7905 ~x7906 ~x7907 ~x7908 ~x7909 ~x7910 ~x7911 ~x7912 ~x7913 ~x7914 ~x7915 ~x7916 ~x7917 ~x7918 ~x7919 ~x7920 ~x7921 ~x7922 ~x7923 ~x7924 ~x7925 ~x7926 ~x7927 ~x7928 ~x7929 ~x7930 ~x7931 ~x7932 ~x7933 ~x7934 ~x7935 ~x7936 ~x7937 ~x7938 ~x7939 ~x7940 ~x7941 ~x7942 ~x7943 ~x7944 ~x7945 ~x7946 ~x7947 ~x7948 ~x7949 ~x7950 ~x7951 ~x7952 ~x7953 ~x7954 ~x7955 ~x7956 ~x7957 ~x7958 ~x7959 ~x7960 ~x7961 ~x7962 ~x7963 ~x7964 ~x7965 ~x7966 ~x7967 ~x7968 ~x7969 ~x7970 ~x7971 ~x7972 ~x7973 ~x7974 ~x7975 ~x7976 ~x7977 ~x7978 ~x7979 ~x7980 ~x7981 ~x7982 ~x7983 ~x7984 ~x7985 ~x7986 ~x7987 ~x7988 ~x7989 ~x7990 ~x7991 ~x7992 ~x7993 ~x7994 ~x7995 ~x7996 ~x7997 ~x7998 ~x7999 ~x8000 ~x8001 ~x8002 ~x8003 ~x8004 ~x8005 ~x8006 ~x8007 ~x8008 ~x8009 ~x8010 ~x8011 ~x8012 ~x8013 ~x8014 ~x8015 ~x8016 ~x8017 ~x8018 ~x8019 ~x8020 ~x8021 ~x8022 ~x8023 ~x8024 ~x8025 ~x8026 ~x8027 ~x8028 ~x8029 ~x8030 ~x8031 ~x8032 ~x8033 ~x8034 ~x8035 ~x8036 ~x8037 ~x8038 ~x8039 ~x8040 ~x8041 ~x8042 ~x8043 ~x8044 ~x8045 ~x8046 ~x8047 ~x8048 ~x8049 ~x8050 ~x8051 ~x8052 ~x8053 ~x8054 ~x8055 ~x8056 ~x8057 ~x8058 ~x8059 ~x8060 ~x8061 ~x8062 ~x8063 ~x8064 ~x8065 ~x8066 ~x8067 ~x8068 ~x8069 ~x8070 ~x8071 ~x8072 ~x8073 ~x8074 ~x8075 ~x8076 ~x8077 ~x8078 ~x8079 ~x8080 ~x8081 ~x8082 ~x8083 ~x8084 ~x8085 ~x8086 ~x8087 ~x8088 ~x8089 ~x8090 x8091 ~x8092 ~x8093 ~x8094 ~x8095 ~x8096 ~x8097 ~x8098 ~x8099 ~x8100 ~x8101 ~x8102 ~x8103 ~x8104 ~x8105 ~x8106 ~x8107 ~x8108 ~x8109 ~x8110 ~x8111 ~x8112 ~x8113 ~x8114 ~x8115 ~x8116 ~x8117 ~x8118 ~x8119 ~x8120 ~x8121 ~x8122 ~x8123 ~x8124 ~x8125 ~x8126 ~x8127 ~x8128 ~x8129 ~x8130 ~x8131 ~x8132 ~x8133 ~x8134 ~x8135 ~x8136 ~x8137 ~x8138 ~x8139 ~x8140 ~x8141 ~x8142 ~x8143 ~x8144 ~x8145 ~x8146 ~x8147 ~x8148 ~x8149 ~x8150 ~x8151 ~x8152 ~x8153 ~x8154 ~x8155 ~x8156 ~x8157 ~x8158 ~x8159 ~x8160 ~x8161 ~x8162 ~x8163 ~x8164 ~x8165 ~x8166 ~x8167 ~x8168 ~x8169 ~x8170 ~x8171 ~x8172 ~x8173 ~x8174 ~x8175 ~x8176 ~x8177 ~x8178 ~x8179 ~x8180 ~x8181 ~x8182 ~x8183 ~x8184 ~x8185 ~x8186 ~x8187 ~x8188 ~x8189 ~x8190 ~x8191 ~x8192 ~x8193 ~x8194 ~x8195 ~x8196 ~x8197 ~x8198 ~x8199 x8200 ~x8201 ~x8202 ~x8203 ~x8204 ~x8205 ~x8206 ~x8207 ~x8208 ~x8209 ~x8210 ~x8211 ~x8212 ~x8213 ~x8214 ~x8215 ~x8216 ~x8217 ~x8218 ~x8219 ~x8220 ~x8221 ~x8222 ~x8223 ~x8224 ~x8225 ~x8226 ~x8227 ~x8228 ~x8229 ~x8230 ~x8231 ~x8232 ~x8233 ~x8234 x8235 ~x8236 ~x8237 ~x8238 ~x8239 ~x8240 ~x8241 ~x8242 ~x8243 ~x8244 ~x8245 ~x8246 ~x8247 ~x8248 ~x8249 ~x8250 ~x8251 ~x8252 ~x8253 ~x8254 ~x8255 ~x8256 ~x8257 ~x8258 ~x8259 ~x8260 ~x8261 ~x8262 ~x8263 ~x8264 ~x8265 ~x8266 ~x8267 ~x8268 ~x8269 ~x8270 ~x8271 ~x8272 ~x8273 ~x8274 ~x8275 ~x8276 ~x8277 ~x8278 ~x8279 ~x8280 ~x8281 ~x8282 ~x8283 ~x8284 ~x8285 ~x8286 ~x8287 ~x8288 ~x8289 ~x8290 ~x8291 ~x8292 ~x8293 ~x8294 ~x8295 ~x8296 ~x8297 ~x8298 ~x8299 ~x8300 ~x8301 ~x8302 ~x8303 ~x8304 ~x8305 ~x8306 ~x8307 ~x8308 ~x8309 ~x8310 ~x8311 ~x8312 ~x8313 ~x8314 ~x8315 ~x8316 ~x8317 ~x8318 ~x8319 ~x8320 ~x8321 ~x8322 ~x8323 ~x8324 ~x8325 ~x8326 ~x8327 ~x8328 ~x8329 ~x8330 ~x8331 ~x8332 ~x8333 ~x8334 ~x8335 ~x8336 ~x8337 ~x8338 ~x8339 ~x8340 ~x8341 ~x8342 ~x8343 ~x8344 ~x8345 ~x8346 ~x8347 ~x8348 ~x8349 ~x8350 x8351 ~x8352 ~x8353 ~x8354 ~x8355 ~x8356 ~x8357 ~x8358 ~x8359 ~x8360 ~x8361 ~x8362 ~x8363 ~x8364 ~x8365 ~x8366 ~x8367 ~x8368 ~x8369 ~x8370 ~x8371 ~x8372 ~x8373 ~x8374 ~x8375 ~x8376 ~x8377 ~x8378 ~x8379 ~x8380 ~x8381 ~x8382 ~x8383 ~x8384 ~x8385 ~x8386 ~x8387 ~x8388 ~x8389 ~x8390 ~x8391 ~x8392 ~x8393 ~x8394 ~x8395 ~x8396 ~x8397 ~x8398 ~x8399 ~x8400 ~x8401 ~x8402 ~x8403 ~x8404 ~x8405 ~x8406 ~x8407 ~x8408 ~x8409 ~x8410 ~x8411 ~x8412 ~x8413 ~x8414 ~x8415 ~x8416 ~x8417 ~x8418 ~x8419 ~x8420 ~x8421 ~x8422 ~x8423 ~x8424 ~x8425 ~x8426 ~x8427 ~x8428 ~x8429 ~x8430 ~x8431 ~x8432 ~x8433 ~x8434 ~x8435 ~x8436 ~x8437 ~x8438 ~x8439 ~x8440 ~x8441 ~x8442 ~x8443 ~x8444 ~x8445 ~x8446 ~x8447 ~x8448 ~x8449 ~x8450 ~x8451 ~x8452 ~x8453 ~x8454 ~x8455 ~x8456 ~x8457 ~x8458 ~x8459 ~x8460 ~x8461 ~x8462 ~x8463 ~x8464 ~x8465 ~x8466 ~x8467 ~x8468 ~x8469 ~x8470 ~x8471 ~x8472 ~x8473 ~x8474 ~x8475 ~x8476 ~x8477 ~x8478 ~x8479 ~x8480 x8481 ~x8482 ~x8483 ~x8484 ~x8485 ~x8486 ~x8487 ~x8488 ~x8489 ~x8490 ~x8491 ~x8492 ~x8493 ~x8494 ~x8495 ~x8496 ~x8497 ~x8498 ~x8499 ~x8500 ~x8501 ~x8502 ~x8503 ~x8504 ~x8505 ~x8506 ~x8507 ~x8508 ~x8509 ~x8510 ~x8511 ~x8512 ~x8513 ~x8514 ~x8515 ~x8516 ~x8517 ~x8518 ~x8519 ~x8520 ~x8521 ~x8522 ~x8523 ~x8524 ~x8525 ~x8526 ~x8527 ~x8528 ~x8529 ~x8530 ~x8531 ~x8532 ~x8533 ~x8534 ~x8535 ~x8536 ~x8537 ~x8538 ~x8539 ~x8540 ~x8541 ~x8542 ~x8543 ~x8544 ~x8545 ~x8546 ~x8547 ~x8548 ~x8549 ~x8550 ~x8551 ~x8552 ~x8553 ~x8554 ~x8555 ~x8556 ~x8557 ~x8558 ~x8559 ~x8560 ~x8561 ~x8562 ~x8563 ~x8564 ~x8565 ~x8566 ~x8567 ~x8568 ~x8569 ~x8570 ~x8571 ~x8572 x8573 ~x8574 ~x8575 ~x8576 ~x8577 ~x8578 ~x8579 ~x8580 ~x8581 ~x8582 ~x8583 ~x8584 ~x8585 ~x8586 ~x8587 ~x8588 ~x8589 ~x8590 ~x8591 ~x8592 ~x8593 ~x8594 ~x8595 ~x8596 ~x8597 ~x8598 ~x8599 ~x8600 ~x8601 ~x8602 ~x8603 ~x8604 ~x8605 ~x8606 ~x8607 ~x8608 ~x8609 ~x8610 ~x8611 ~x8612 ~x8613 ~x8614 ~x8615 ~x8616 ~x8617 ~x8618 ~x8619 ~x8620 ~x8621 ~x8622 x8623 ~x8624 ~x8625 ~x8626 ~x8627 ~x8628 ~x8629 ~x8630 ~x8631 ~x8632 ~x8633 ~x8634 ~x8635 ~x8636 ~x8637 ~x8638 ~x8639 ~x8640 ~x8641 ~x8642 ~x8643 ~x8644 ~x8645 ~x8646 ~x8647 ~x8648 ~x8649 ~x8650 ~x8651 ~x8652 ~x8653 ~x8654 ~x8655 ~x8656 ~x8657 ~x8658 ~x8659 ~x8660 ~x8661 ~x8662 ~x8663 ~x8664 ~x8665 ~x8666 ~x8667 ~x8668 ~x8669 ~x8670 ~x8671 ~x8672 ~x8673 ~x8674 ~x8675 ~x8676 ~x8677 ~x8678 ~x8679 ~x8680 ~x8681 ~x8682 ~x8683 ~x8684 ~x8685 ~x8686 ~x8687 ~x8688 ~x8689 ~x8690 ~x8691 ~x8692 ~x8693 ~x8694 ~x8695 ~x8696 ~x8697 ~x8698 ~x8699 ~x8700 ~x8701 ~x8702 ~x8703 ~x8704 ~x8705 ~x8706 ~x8707 ~x8708 ~x8709 ~x8710 ~x8711 ~x8712 ~x8713 ~x8714 ~x8715 ~x8716 ~x8717 ~x8718 ~x8719 ~x8720 ~x8721 ~x8722 ~x8723 ~x8724 ~x8725 ~x8726 ~x8727 ~x8728 ~x8729 ~x8730 ~x8731 ~x8732 ~x8733 ~x8734 ~x8735 ~x8736 ~x8737 ~x8738 ~x8739 ~x8740 ~x8741 ~x8742 ~x8743 ~x8744 ~x8745 ~x8746 ~x8747 ~x8748 ~x8749 x8750 ~x8751 ~x8752 ~x8753 ~x8754 ~x8755 ~x8756 ~x8757 ~x8758 ~x8759 ~x8760 ~x8761 ~x8762 ~x8763 ~x8764 ~x8765 ~x8766 ~x8767 ~x8768 ~x8769 ~x8770 ~x8771 ~x8772 ~x8773 ~x8774 ~x8775 ~x8776 ~x8777 ~x8778 ~x8779 ~x8780 ~x8781 ~x8782 ~x8783 ~x8784 ~x8785 ~x8786 ~x8787 ~x8788 ~x8789 ~x8790 ~x8791 ~x8792 ~x8793 ~x8794 ~x8795 ~x8796 ~x8797 ~x8798 ~x8799 ~x8800 ~x8801 ~x8802 ~x8803 ~x8804 ~x8805 ~x8806 ~x8807 ~x8808 ~x8809 ~x8810 ~x8811 ~x8812 ~x8813 ~x8814 ~x8815 ~x8816 ~x8817 ~x8818 ~x8819 ~x8820 ~x8821 ~x8822 ~x8823 ~x8824 ~x8825 ~x8826 ~x8827 ~x8828 ~x8829 ~x8830 ~x8831 ~x8832 ~x8833 ~x8834 ~x8835 ~x8836 ~x8837 ~x8838 ~x8839 ~x8840 ~x8841 ~x8842 ~x8843 ~x8844 ~x8845 ~x8846 ~x8847 ~x8848 ~x8849 ~x8850 ~x8851 ~x8852 ~x8853 ~x8854 ~x8855 ~x8856 ~x8857 ~x8858 ~x8859 ~x8860 ~x8861 ~x8862 ~x8863 ~x8864 ~x8865 ~x8866 ~x8867 ~x8868 ~x8869 ~x8870 ~x8871 ~x8872 ~x8873 ~x8874 ~x8875 ~x8876 ~x8877 ~x8878 ~x8879 ~x8880 ~x8881 ~x8882 ~x8883 ~x8884 ~x8885 ~x8886 ~x8887 ~x8888 ~x8889 ~x8890 ~x8891 ~x8892 ~x8893 ~x8894 ~x8895 x8896 ~x8897 ~x8898 ~x8899 ~x8900 ~x8901 ~x8902 ~x8903 ~x8904 ~x8905 ~x8906 ~x8907 ~x8908 ~x8909 ~x8910 ~x8911 ~x8912 ~x8913 ~x8914 ~x8915 ~x8916 ~x8917 ~x8918 ~x8919 ~x8920 ~x8921 ~x8922 ~x8923 ~x8924 ~x8925 ~x8926 ~x8927 ~x8928 ~x8929 ~x8930 ~x8931 ~x8932 ~x8933 ~x8934 ~x8935 ~x8936 ~x8937 ~x8938 ~x8939 ~x8940 ~x8941 ~x8942 ~x8943 ~x8944 ~x8945 ~x8946 ~x8947 ~x8948 ~x8949 ~x8950 ~x8951 ~x8952 ~x8953 ~x8954 x8955 ~x8956 ~x8957 ~x8958 ~x8959 ~x8960 ~x8961 ~x8962 ~x8963 ~x8964 ~x8965 ~x8966 ~x8967 ~x8968 ~x8969 ~x8970 ~x8971 ~x8972 ~x8973 ~x8974 ~x8975 ~x8976 ~x8977 ~x8978 ~x8979 ~x8980 ~x8981 ~x8982 ~x8983 ~x8984 ~x8985 ~x8986 ~x8987 ~x8988 ~x8989 ~x8990 ~x8991 ~x8992 ~x8993 ~x8994 ~x8995 ~x8996 ~x8997 ~x8998 ~x8999 ~x9000 ~x9001 ~x9002 ~x9003 ~x9004 ~x9005 ~x9006 ~x9007 ~x9008 ~x9009 ~x9010 ~x9011 ~x9012 ~x9013 ~x9014 ~x9015 ~x9016 ~x9017 ~x9018 ~x9019 ~x9020 ~x9021 ~x9022 ~x9023 ~x9024 ~x9025 ~x9026 ~x9027 ~x9028 ~x9029 ~x9030 ~x9031 ~x9032 ~x9033 ~x9034 ~x9035 ~x9036 ~x9037 ~x9038 ~x9039 ~x9040 ~x9041 ~x9042 ~x9043 ~x9044 ~x9045 ~x9046 ~x9047 ~x9048 ~x9049 ~x9050 ~x9051 ~x9052 ~x9053 ~x9054 ~x9055 ~x9056 ~x9057 ~x9058 ~x9059 ~x9060 ~x9061 ~x9062 ~x9063 ~x9064 ~x9065 ~x9066 ~x9067 ~x9068 ~x9069 ~x9070 ~x9071 ~x9072 ~x9073 ~x9074 ~x9075 ~x9076 ~x9077 ~x9078 ~x9079 ~x9080 ~x9081 ~x9082 ~x9083 ~x9084 ~x9085 ~x9086 ~x9087 ~x9088 ~x9089 ~x9090 ~x9091 x9092 ~x9093 ~x9094 ~x9095 ~x9096 ~x9097 ~x9098 ~x9099 ~x9100 ~x9101 ~x9102 ~x9103 ~x9104 ~x9105 ~x9106 ~x9107 ~x9108 ~x9109 ~x9110 ~x9111 ~x9112 ~x9113 ~x9114 ~x9115 ~x9116 ~x9117 ~x9118 ~x9119 ~x9120 ~x9121 ~x9122 ~x9123 ~x9124 ~x9125 ~x9126 ~x9127 ~x9128 ~x9129 ~x9130 ~x9131 ~x9132 ~x9133 ~x9134 ~x9135 ~x9136 ~x9137 ~x9138 ~x9139 ~x9140 ~x9141 ~x9142 ~x9143 ~x9144 ~x9145 ~x9146 ~x9147 ~x9148 ~x9149 ~x9150 ~x9151 ~x9152 ~x9153 ~x9154 ~x9155 ~x9156 ~x9157 ~x9158 ~x9159 ~x9160 ~x9161 ~x9162 ~x9163 ~x9164 ~x9165 ~x9166 ~x9167 ~x9168 ~x9169 ~x9170 x9171 ~x9172 ~x9173 ~x9174 ~x9175 ~x9176 ~x9177 ~x9178 ~x9179 ~x9180 ~x9181 ~x9182 ~x9183 ~x9184 ~x9185 ~x9186 ~x9187 ~x9188 ~x9189 ~x9190 ~x9191 ~x9192 ~x9193 ~x9194 ~x9195 ~x9196 ~x9197 ~x9198 ~x9199 ~x9200 ~x9201 ~x9202 ~x9203 ~x9204 ~x9205 ~x9206 ~x9207 ~x9208 ~x9209 ~x9210 ~x9211 ~x9212 ~x9213 ~x9214 ~x9215 ~x9216 ~x9217 ~x9218 x9219 ~x9220 ~x9221 ~x9222 ~x9223 ~x9224 ~x9225 ~x9226 ~x9227 ~x9228 ~x9229 ~x9230 ~x9231 ~x9232 ~x9233 ~x9234 ~x9235 ~x9236 ~x9237 ~x9238 ~x9239 ~x9240 ~x9241 ~x9242 ~x9243 ~x9244 ~x9245 ~x9246 ~x9247 ~x9248 ~x9249 ~x9250 ~x9251 ~x9252 ~x9253 ~x9254 ~x9255 ~x9256 ~x9257 ~x9258 ~x9259 ~x9260 ~x9261 ~x9262 ~x9263 ~x9264 ~x9265 ~x9266 ~x9267 ~x9268 ~x9269 ~x9270 ~x9271 ~x9272 ~x9273 ~x9274 ~x9275 ~x9276 ~x9277 ~x9278 ~x9279 ~x9280 ~x9281 ~x9282 ~x9283 ~x9284 ~x9285 ~x9286 ~x9287 ~x9288 ~x9289 ~x9290 ~x9291 ~x9292 ~x9293 ~x9294 ~x9295 ~x9296 ~x9297 ~x9298 ~x9299 ~x9300 ~x9301 ~x9302 ~x9303 ~x9304 ~x9305 ~x9306 ~x9307 ~x9308 ~x9309 ~x9310 ~x9311 ~x9312 ~x9313 ~x9314 ~x9315 ~x9316 ~x9317 ~x9318 ~x9319 ~x9320 ~x9321 ~x9322 ~x9323 ~x9324 ~x9325 ~x9326 ~x9327 ~x9328 ~x9329 ~x9330 ~x9331 ~x9332 ~x9333 ~x9334 ~x9335 ~x9336 ~x9337 ~x9338 ~x9339 ~x9340 ~x9341 ~x9342 ~x9343 ~x9344 ~x9345 ~x9346 ~x9347 ~x9348 ~x9349 ~x9350 ~x9351 ~x9352 ~x9353 ~x9354 ~x9355 ~x9356 ~x9357 ~x9358 ~x9359 ~x9360 ~x9361 x9362 ~x9363 ~x9364 ~x9365 ~x9366 ~x9367 ~x9368 ~x9369 ~x9370 ~x9371 ~x9372 ~x9373 ~x9374 ~x9375 ~x9376 ~x9377 ~x9378 ~x9379 ~x9380 ~x9381 ~x9382 ~x9383 ~x9384 ~x9385 ~x9386 ~x9387 ~x9388 ~x9389 ~x9390 ~x9391 ~x9392 ~x9393 ~x9394 ~x9395 ~x9396 ~x9397 ~x9398 ~x9399 ~x9400 ~x9401 ~x9402 ~x9403 ~x9404 ~x9405 ~x9406 ~x9407 ~x9408 ~x9409 ~x9410 ~x9411 ~x9412 ~x9413 ~x9414 ~x9415 ~x9416 ~x9417 ~x9418 ~x9419 ~x9420 ~x9421 ~x9422 ~x9423 ~x9424 ~x9425 ~x9426 ~x9427 ~x9428 ~x9429 ~x9430 ~x9431 ~x9432 ~x9433 ~x9434 ~x9435 ~x9436 ~x9437 ~x9438 ~x9439 ~x9440 ~x9441 x9442 ~x9443 ~x9444 ~x9445 ~x9446 ~x9447 ~x9448 ~x9449 ~x9450 ~x9451 ~x9452 ~x9453 ~x9454 ~x9455 ~x9456 ~x9457 ~x9458 ~x9459 ~x9460 ~x9461 ~x9462 ~x9463 ~x9464 ~x9465 ~x9466 ~x9467 ~x9468 ~x9469 ~x9470 ~x9471 ~x9472 ~x9473 ~x9474 x9475 ~x9476 ~x9477 ~x9478 ~x9479 ~x9480 ~x9481 ~x9482 ~x9483 ~x9484 ~x9485 ~x9486 ~x9487 ~x9488 ~x9489 ~x9490 ~x9491 ~x9492 ~x9493 ~x9494 ~x9495 ~x9496 ~x9497 ~x9498 ~x9499 ~x9500 ~x9501 ~x9502 ~x9503 ~x9504 ~x9505 ~x9506 ~x9507 x9508 ~x9509 ~x9510 ~x9511 ~x9512 ~x9513 ~x9514 ~x9515 ~x9516 ~x9517 ~x9518 ~x9519 ~x9520 ~x9521 ~x9522 ~x9523 ~x9524 ~x9525 ~x9526 ~x9527 ~x9528 ~x9529 ~x9530 ~x9531 ~x9532 ~x9533 ~x9534 ~x9535 ~x9536 ~x9537 ~x9538 ~x9539 ~x9540 ~x9541 ~x9542 ~x9543 ~x9544 ~x9545 ~x9546 ~x9547 ~x9548 ~x9549 ~x9550 ~x9551 ~x9552 ~x9553 ~x9554 ~x9555 ~x9556 ~x9557 ~x9558 ~x9559 ~x9560 ~x9561 ~x9562 ~x9563 ~x9564 ~x9565 ~x9566 ~x9567 ~x9568 ~x9569 ~x9570 ~x9571 ~x9572 ~x9573 ~x9574 ~x9575 ~x9576 ~x9577 ~x9578 ~x9579 ~x9580 ~x9581 ~x9582 ~x9583 ~x9584 ~x9585 ~x9586 ~x9587 ~x9588 ~x9589 ~x9590 ~x9591 ~x9592 ~x9593 ~x9594 ~x9595 ~x9596 ~x9597 ~x9598 ~x9599 ~x9600 ~x9601 ~x9602 ~x9603 ~x9604 ~x9605 x9606 ~x9607 ~x9608 ~x9609 ~x9610 ~x9611 ~x9612 ~x9613 ~x9614 ~x9615 ~x9616 ~x9617 ~x9618 ~x9619 ~x9620 ~x9621 ~x9622 ~x9623 ~x9624 ~x9625 ~x9626 ~x9627 ~x9628 ~x9629 ~x9630 ~x9631 ~x9632 ~x9633 ~x9634 ~x9635 ~x9636 ~x9637 ~x9638 ~x9639 ~x9640 ~x9641 ~x9642 ~x9643 ~x9644 ~x9645 ~x9646 ~x9647 ~x9648 ~x9649 ~x9650 ~x9651 ~x9652 ~x9653 ~x9654 ~x9655 ~x9656 ~x9657 ~x9658 ~x9659 ~x9660 ~x9661 ~x9662 ~x9663 ~x9664 ~x9665 ~x9666 ~x9667 ~x9668 ~x9669 ~x9670 ~x9671 ~x9672 ~x9673 ~x9674 ~x9675 ~x9676 ~x9677 ~x9678 ~x9679 ~x9680 ~x9681 ~x9682 ~x9683 ~x9684 ~x9685 ~x9686 ~x9687 ~x9688 ~x9689 ~x9690 ~x9691 ~x9692 ~x9693 ~x9694 ~x9695 ~x9696 ~x9697 ~x9698 ~x9699 ~x9700 ~x9701 ~x9702 ~x9703 ~x9704 ~x9705 ~x9706 ~x9707 ~x9708 ~x9709 ~x9710 ~x9711 ~x9712 ~x9713 ~x9714 ~x9715 ~x9716 ~x9717 ~x9718 ~x9719 ~x9720 ~x9721 ~x9722 ~x9723 ~x9724 ~x9725 ~x9726 ~x9727 ~x9728 ~x9729 ~x9730 ~x9731 ~x9732 ~x9733 ~x9734 ~x9735 ~x9736 ~x9737 x9738 ~x9739 ~x9740 ~x9741 ~x9742 ~x9743 ~x9744 ~x9745 ~x9746 ~x9747 ~x9748 ~x9749 ~x9750 ~x9751 ~x9752 ~x9753 ~x9754 ~x9755 ~x9756 ~x9757 ~x9758 ~x9759 ~x9760 ~x9761 ~x9762 ~x9763 ~x9764 ~x9765 ~x9766 ~x9767 ~x9768 ~x9769 ~x9770 ~x9771 ~x9772 ~x9773 ~x9774 ~x9775 ~x9776 ~x9777 ~x9778 ~x9779 ~x9780 ~x9781 ~x9782 ~x9783 ~x9784 ~x9785 ~x9786 ~x9787 ~x9788 ~x9789 ~x9790 ~x9791 ~x9792 ~x9793 ~x9794 ~x9795 ~x9796 ~x9797 ~x9798 ~x9799 ~x9800 ~x9801 ~x9802 ~x9803 ~x9804 ~x9805 ~x9806 ~x9807 ~x9808 ~x9809 ~x9810 ~x9811 ~x9812 ~x9813 ~x9814 ~x9815 ~x9816 ~x9817 ~x9818 ~x9819 ~x9820 ~x9821 ~x9822 ~x9823 ~x9824 ~x9825 ~x9826 ~x9827 ~x9828 ~x9829 ~x9830 ~x9831 ~x9832 ~x9833 ~x9834 ~x9835 ~x9836 ~x9837 ~x9838 ~x9839 ~x9840 ~x9841 ~x9842 ~x9843 ~x9844 ~x9845 ~x9846 ~x9847 ~x9848 ~x9849 ~x9850 ~x9851 ~x9852 ~x9853 x9854 ~x9855 ~x9856 ~x9857 ~x9858 ~x9859 ~x9860 ~x9861 ~x9862 ~x9863 ~x9864 ~x9865 ~x9866 ~x9867 ~x9868 ~x9869 ~x9870 ~x9871 ~x9872 ~x9873 ~x9874 ~x9875 ~x9876 ~x9877 ~x9878 ~x9879 ~x9880 ~x9881 ~x9882 ~x9883 ~x9884 ~x9885 ~x9886 ~x9887 ~x9888 ~x9889 ~x9890 ~x9891 ~x9892 ~x9893 ~x9894 ~x9895 ~x9896 ~x9897 ~x9898 ~x9899 ~x9900 ~x9901 ~x9902 ~x9903 ~x9904 ~x9905 ~x9906 ~x9907 ~x9908 ~x9909 ~x9910 ~x9911 ~x9912 ~x9913 ~x9914 ~x9915 ~x9916 ~x9917 ~x9918 ~x9919 ~x9920 ~x9921 ~x9922 ~x9923 ~x9924 ~x9925 ~x9926 ~x9927 ~x9928 x9929 ~x9930 ~x9931 ~x9932 ~x9933 ~x9934 ~x9935 ~x9936 ~x9937 ~x9938 ~x9939 ~x9940 ~x9941 ~x9942 ~x9943 x9944 ~x9945 ~x9946 ~x9947 ~x9948 ~x9949 ~x9950 ~x9951 ~x9952 ~x9953 ~x9954 ~x9955 ~x9956 ~x9957 ~x9958 ~x9959 ~x9960 ~x9961 ~x9962 ~x9963 ~x9964 ~x9965 ~x9966 ~x9967 ~x9968 ~x9969 ~x9970 ~x9971 ~x9972 ~x9973 ~x9974 ~x9975 ~x9976 ~x9977 ~x9978 ~x9979 ~x9980 ~x9981 ~x9982 ~x9983 ~x9984 ~x9985 ~x9986 ~x9987 ~x9988 ~x9989 ~x9990 ~x9991 ~x9992 ~x9993 ~x9994 ~x9995 ~x9996 ~x9997 ~x9998 ~x9999 ~x10000
3600.09/3612.40	c bounds 335 >= 76 @ 3493.46
3600.09/3612.40	c #Conflicts:     247000 | #Constraints:     668463
3600.09/3612.40	c #Conflicts:     248000 | #Constraints:     669483
3600.09/3612.40	c #Conflicts:     249000 | #Constraints:     670492
3600.09/3612.40	c #Conflicts:     250000 | #Constraints:     671502
3600.09/3612.40	c #Conflicts:     251000 | #Constraints:     672507

Verifier Data 

OK	335

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62454 MiB free)
  memory of node 1: 64510 MiB (63390 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429426-1721048652/watcher-4429426-1721048652 -o /tmp/evaluation-result-4429426-1721048652/solver-4429426-1721048652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795059 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429426-1721048652.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=795090, runsolver pid=795087
Current StackSize limit: 8192 KiB


[startup+0.100103 s]*
/proc/loadavg: 4.07 4.15 4.18 5/230 795091
/proc/meminfo: memFree=128836232/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=40440 memory=9024 CPUtime=0.1 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 1594 0 1 0 7 3 0 0 20 0 1 0 157021888 41410560 2256 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 10110 2256 1258 922 0 2062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 9024 KiB

[startup+0.21458 s]*
/proc/loadavg: 4.14 4.16 4.18 5/230 795091
/proc/meminfo: memFree=128800832/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=40824 memory=12128 CPUtime=0.22 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 1854 0 1 0 16 6 0 0 20 0 1 0 157021888 41803776 3032 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 10206 3032 1258 922 0 2158 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 12128 KiB

[startup+0.313608 s]*
/proc/loadavg: 4.14 4.16 4.18 5/226 795091
/proc/meminfo: memFree=128794812/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=41088 memory=12388 CPUtime=0.31 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 1913 0 1 0 22 9 0 0 20 0 1 0 157021888 42074112 3097 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 10272 3097 1258 922 0 2224 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41088 KiB
Current children cumulated memory: 12388 KiB

[startup+0.700273 s]
/proc/loadavg: 4.14 4.16 4.18 5/231 795103
/proc/meminfo: memFree=128793784/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=47424 memory=19064 CPUtime=0.68 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 3598 0 1 0 47 21 0 0 20 0 1 0 157021888 48562176 4766 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 11856 4766 1258 922 0 3808 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47424 KiB
Current children cumulated memory: 19064 KiB

[startup+1.50028 s]
/proc/loadavg: 4.14 4.16 4.18 5/242 795124
/proc/meminfo: memFree=128753600/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=78824 memory=39476 CPUtime=1.48 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 6632 0 1 0 101 47 0 0 20 0 1 0 157021888 80715776 9869 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 19706 9869 1258 922 0 11658 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78824 KiB
Current children cumulated memory: 39476 KiB

[startup+3.113 s]
/proc/loadavg: 4.14 4.16 4.18 5/242 795124
/proc/meminfo: memFree=128362272/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=360728 memory=330652 CPUtime=3.1 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 58006 0 1 0 235 75 0 0 20 0 1 0 157021888 369385472 82663 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 90182 82663 1639 922 0 82134 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 360728 KiB
Current children cumulated memory: 330652 KiB

[startup+6.30034 s]
/proc/loadavg: 4.13 4.16 4.18 5/240 795138
/proc/meminfo: memFree=128294140/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=360728 memory=330652 CPUtime=6.27 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 58042 0 1 0 552 75 0 0 20 0 1 0 157021888 369385472 82663 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 90182 82663 1639 922 0 82134 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360728 KiB
Current children cumulated memory: 330652 KiB

[startup+12.7003 s]
/proc/loadavg: 4.04 4.14 4.17 5/240 795185
/proc/meminfo: memFree=128340260/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=474576 memory=374968 CPUtime=12.65 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 63159 0 1 0 1127 138 0 0 20 0 1 0 157021888 485965824 93742 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 118644 93742 1860 922 0 110596 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 474576 KiB
Current children cumulated memory: 374968 KiB

[startup+25.5004 s]
/proc/loadavg: 4.03 4.13 4.17 5/242 795219
/proc/meminfo: memFree=127997804/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=637436 memory=504520 CPUtime=25.39 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 71580 0 1 0 2375 164 0 0 20 0 1 0 157021888 652734464 126130 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 159359 126130 1860 922 0 151311 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 637436 KiB
Current children cumulated memory: 504520 KiB

[startup+51.1131 s]
/proc/loadavg: 4.09 4.14 4.17 5/242 795362
/proc/meminfo: memFree=128190076/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=637824 memory=504696 CPUtime=50.9 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 71736 0 1 0 4902 188 0 0 20 0 1 0 157021888 653131776 126174 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 159456 126174 1860 922 0 151408 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 637824 KiB
Current children cumulated memory: 504696 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.11 4.16 5/242 795462
/proc/meminfo: memFree=128207204/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=675572 memory=570360 CPUtime=101.92 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 74635 0 1 0 9956 236 0 0 20 0 1 0 157021888 691785728 142590 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 168893 142590 1860 922 0 160845 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 675572 KiB
Current children cumulated memory: 570360 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/240 795486
/proc/meminfo: memFree=128063544/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=1018896 memory=800720 CPUtime=161.71 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 101698 0 1 0 15844 327 0 0 20 0 1 0 157021888 1043349504 200180 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 254724 200180 1993 922 0 246676 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1018896 KiB
Current children cumulated memory: 800720 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/242 795942
/proc/meminfo: memFree=127614740/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=1267548 memory=1118160 CPUtime=221.51 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 127166 0 1 0 21746 405 0 0 20 0 1 0 157021888 1297969152 279540 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 316887 279540 1993 922 0 308839 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1267548 KiB
Current children cumulated memory: 1118160 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/242 795952
/proc/meminfo: memFree=127504036/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=1276164 memory=1155904 CPUtime=281.32 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 128014 0 1 0 27710 422 0 0 20 0 1 0 157021888 1306791936 288976 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 319041 288976 1993 922 0 310993 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1276164 KiB
Current children cumulated memory: 1155904 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/242 795962
/proc/meminfo: memFree=127430472/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=1278732 memory=1158192 CPUtime=341.12 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 128537 0 1 0 33634 478 0 0 20 0 1 0 157021888 1309421568 289548 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 319683 289548 1993 922 0 311635 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 1278732 KiB
Current children cumulated memory: 1158192 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/245 795978
/proc/meminfo: memFree=127060840/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=1394948 memory=1279680 CPUtime=400.92 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 134192 0 1 0 39562 530 0 0 20 0 1 0 157021888 1428426752 319920 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 348737 319920 1993 922 0 340689 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 1394948 KiB
Current children cumulated memory: 1279680 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/246 795989
/proc/meminfo: memFree=126834424/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=1617960 memory=1328824 CPUtime=460.73 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 137247 0 1 0 45515 558 0 0 20 0 1 0 157021888 1656791040 332206 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0

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

Current children cumulated memory: 2566856 KiB

[startup+2862.3 s]
/proc/loadavg: 4.32 4.29 4.20 5/245 797199
/proc/meminfo: memFree=126094872/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2770364 memory=2567792 CPUtime=2852.7 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 330033 0 1 0 283716 1554 0 0 20 0 1 0 157021888 2836852736 641948 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 692591 641948 1993 922 0 684543 0
Current children cumulated CPU time: 2852.7 s
Current children cumulated vsize: 2770364 KiB
Current children cumulated memory: 2567792 KiB

[startup+2922.3 s]
/proc/loadavg: 4.24 4.27 4.19 5/245 797210
/proc/meminfo: memFree=126094440/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2770364 memory=2567792 CPUtime=2912.51 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 331241 0 1 0 289672 1579 0 0 20 0 1 0 157021888 2836852736 641948 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 692591 641948 1993 922 0 684543 0
Current children cumulated CPU time: 2912.51 s
Current children cumulated vsize: 2770364 KiB
Current children cumulated memory: 2567792 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.23 4.18 5/245 797220
/proc/meminfo: memFree=126096032/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2753276 memory=2560772 CPUtime=2972.31 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 341281 0 1 0 295618 1613 0 0 20 0 1 0 157021888 2819354624 640193 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 688319 640193 1993 922 0 680271 0
Current children cumulated CPU time: 2972.31 s
Current children cumulated vsize: 2753276 KiB
Current children cumulated memory: 2560772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/244 797231
/proc/meminfo: memFree=125938216/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2898500 memory=2705612 CPUtime=3032.09 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 350986 0 1 0 301559 1650 0 0 20 0 1 0 157021888 2968064000 676403 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 724625 676403 1993 922 0 716577 0
Current children cumulated CPU time: 3032.09 s
Current children cumulated vsize: 2898500 KiB
Current children cumulated memory: 2705612 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.23 4.18 5/245 797627
/proc/meminfo: memFree=126005244/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2830136 memory=2637916 CPUtime=3091.86 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 357638 0 1 0 307511 1675 0 0 20 0 1 0 157021888 2898059264 659479 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 707534 659479 1993 922 0 699486 0
Current children cumulated CPU time: 3091.86 s
Current children cumulated vsize: 2830136 KiB
Current children cumulated memory: 2637916 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.20 4.18 5/245 797637
/proc/meminfo: memFree=126075176/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2762344 memory=2566804 CPUtime=3151.65 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 359436 0 1 0 313473 1692 0 0 20 0 1 0 157021888 2828640256 641701 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 690586 641701 1993 922 0 682538 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 2762344 KiB
Current children cumulated memory: 2566804 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/245 797647
/proc/meminfo: memFree=126074356/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2762344 memory=2566920 CPUtime=3211.42 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 359652 0 1 0 319446 1696 0 0 20 0 1 0 157021888 2828640256 641730 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 690586 641730 1993 922 0 682538 0
Current children cumulated CPU time: 3211.42 s
Current children cumulated vsize: 2762344 KiB
Current children cumulated memory: 2566920 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/246 797827
/proc/meminfo: memFree=126002796/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2831848 memory=2638444 CPUtime=3271.21 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 370483 0 1 0 325391 1730 0 0 20 0 1 0 157021888 2899812352 659611 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 707962 659611 1993 922 0 699914 0
Current children cumulated CPU time: 3271.21 s
Current children cumulated vsize: 2831848 KiB
Current children cumulated memory: 2638444 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/246 797837
/proc/meminfo: memFree=126000228/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2831848 memory=2639284 CPUtime=3330.99 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 372585 0 1 0 331326 1773 0 0 20 0 1 0 157021888 2899812352 659821 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 707962 659821 1993 922 0 699914 0
Current children cumulated CPU time: 3330.99 s
Current children cumulated vsize: 2831848 KiB
Current children cumulated memory: 2639284 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 797861
/proc/meminfo: memFree=126071436/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2762024 memory=2566932 CPUtime=3390.77 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 374481 0 1 0 337288 1789 0 0 20 0 1 0 157021888 2828312576 641733 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 690506 641733 1993 922 0 682458 0
Current children cumulated CPU time: 3390.77 s
Current children cumulated vsize: 2762024 KiB
Current children cumulated memory: 2566932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/245 797872
/proc/meminfo: memFree=126075968/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2763284 memory=2562900 CPUtime=3450.54 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 380093 0 1 0 343231 1823 0 0 20 0 1 0 157021888 2829602816 640725 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 690821 640725 1993 922 0 682773 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 2763284 KiB
Current children cumulated memory: 2562900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/245 797883
/proc/meminfo: memFree=126069628/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2768416 memory=2568976 CPUtime=3510.33 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 381687 0 1 0 349179 1854 0 0 20 0 1 0 157021888 2834857984 642244 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 692104 642244 1993 922 0 684056 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 2768416 KiB
Current children cumulated memory: 2568976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.40 4.20 4.18 5/245 797893
/proc/meminfo: memFree=126069156/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2768416 memory=2568980 CPUtime=3570.1 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 382672 0 1 0 355140 1870 0 0 20 0 1 0 157021888 2834857984 642245 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 692104 642245 1993 922 0 684056 0
Current children cumulated CPU time: 3570.1 s
Current children cumulated vsize: 2768416 KiB
Current children cumulated memory: 2568980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.72 4.29 4.21 5/245 797898
/proc/meminfo: memFree=126068344/131655788 swapFree=131071996/131071996
[pid=795090] ppid=795087 vsize=2768416 memory=2568980 CPUtime=3600.09 cores=0,2
/proc/795090/stat : 795090 (roundingsat) R 795087 795090 795049 0 -1 4194304 383281 0 1 0 358131 1878 0 0 20 0 1 0 157021888 2834857984 642245 134679101440 4194304 7968869 140730188912000 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 15753216 140730188915646 140730188915810 140730188915810 140730188922825 0
/proc/795090/statm: 692104 642245 1993 922 0 684056 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2768416 KiB
Current children cumulated memory: 2568980 KiB

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

[startup+3612.42 s]
# the end of solver process 795090 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3581.31 s, system=18.7981 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1

Real time (s): 3612.42
CPU time (s): 3600.11
CPU user time (s): 3581.31
CPU system time (s): 18.7981
CPU usage (%): 99.6594
Max. virtual memory (cumulated for all children) (KiB): 2906236
Max. memory (cumulated for all children) (KiB): 2714016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.31
system time used= 18.7981
maximum resident set size= 2714020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383294
page faults= 1
swaps= 0
block input operations= 264
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117
involuntary context switches= 25220


# summary of solver processes directly reported to runsolver:
#   pid: 795090
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3581.31
#   total CPU system time (s): 18.7981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7291 second user time and 29.7611 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-15 15:04:25
IDJOB=4429426
IDBENCH=147565
IDSOLVER=3051
FILE ID=nodeC007/4429426-1721048652
RUNJOBID= nodeC007-1721048664-795059
SLURM_JOB_ID= 7505467
Free space on /tmp= 723716 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429426-1721048652/watcher-4429426-1721048652 -o /tmp/evaluation-result-4429426-1721048652/solver-4429426-1721048652 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795059 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429426-1721048652.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=2073310199

nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2445.097
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.210
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.138
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.130
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.131
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.130
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.164
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.138
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128876968 kB
MemAvailable:   129920220 kB
Buffers:          361440 kB
Cached:          1515164 kB
SwapCached:            0 kB
Active:           571568 kB
Inactive:        1666228 kB
Active(anon):       1396 kB
Inactive(anon):   397532 kB
Active(file):     570172 kB
Inactive(file):  1268696 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             85948 kB
Writeback:             0 kB
AnonPages:        361364 kB
Mapped:           103060 kB
Shmem:             37704 kB
KReclaimable:      88828 kB
Slab:             184516 kB
SReclaimable:      88828 kB
SUnreclaim:        95688 kB
KernelStack:        3696 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     810944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51104 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      248648 kB
DirectMap2M:    22724608 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC007 at 2024-07-15 16:04:37