Trace number 4429427

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)292 3600.05 3610.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUMa599905096c946af5176c07959aa4b57
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 benchmark225
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 488873
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 488873
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.39/2.45	c #variables 10000 #constraints 656900
4.77/4.81	c bounds 488874 >= 0 @ 1.70594
4.77/4.81	c rational objective 164.944
15.97/16.01	c bounds 5240 >= 0 @ 8.24296
15.97/16.01	c bounds 5019 >= 0 @ 8.24829
15.97/16.01	c bounds 5013 >= 0 @ 8.25605
15.97/16.01	c bounds 4998 >= 0 @ 8.26201
15.97/16.01	c bounds 4963 >= 0 @ 8.26604
15.97/16.01	c bounds 4947 >= 0 @ 8.27195
15.97/16.01	c bounds 4855 >= 0 @ 8.27927
15.97/16.01	c bounds 4585 >= 0 @ 8.28433
15.97/16.01	c bounds 4566 >= 0 @ 8.29043
15.97/16.01	c bounds 4545 >= 0 @ 8.29617
15.97/16.01	c bounds 4524 >= 0 @ 8.30389
15.97/16.01	c bounds 4480 >= 0 @ 8.31083
15.97/16.01	c bounds 4469 >= 0 @ 8.31572
15.97/16.01	c bounds 4445 >= 0 @ 8.3838
15.97/16.01	c bounds 4360 >= 0 @ 8.3898
15.97/16.01	c bounds 4313 >= 0 @ 8.40292
15.97/16.01	c bounds 4287 >= 0 @ 8.40864
15.97/16.01	c bounds 4222 >= 0 @ 8.41274
15.97/16.01	c bounds 4162 >= 0 @ 8.4177
15.97/16.01	c bounds 4120 >= 0 @ 8.42166
15.97/16.01	c bounds 4086 >= 0 @ 8.43443
15.97/16.01	c bounds 4072 >= 0 @ 8.44647
15.97/16.01	c bounds 4010 >= 0 @ 8.45236
15.97/16.01	c bounds 3988 >= 0 @ 8.46051
15.97/16.01	c bounds 3980 >= 0 @ 8.46475
15.97/16.01	c bounds 3958 >= 0 @ 8.47079
15.97/16.01	c bounds 3916 >= 0 @ 8.48025
15.97/16.01	c bounds 3909 >= 0 @ 8.48535
15.97/16.01	c bounds 3901 >= 0 @ 8.50085
15.97/16.01	c bounds 3899 >= 0 @ 8.5392
15.97/16.01	c bounds 3895 >= 0 @ 8.55387
15.97/16.01	c bounds 3849 >= 0 @ 8.58088
15.97/16.01	c bounds 3765 >= 0 @ 8.58385
15.97/16.01	c bounds 3757 >= 0 @ 8.60032
15.97/16.01	c bounds 3742 >= 0 @ 8.60563
15.97/16.01	c bounds 3686 >= 0 @ 8.61189
15.97/16.01	c bounds 3630 >= 0 @ 8.61735
15.97/16.01	c bounds 3587 >= 0 @ 8.63498
15.97/16.01	c bounds 3579 >= 0 @ 8.64057
15.97/16.01	c bounds 3557 >= 0 @ 8.64861
15.97/16.01	c bounds 3510 >= 0 @ 8.77538
15.97/16.01	c bounds 3467 >= 0 @ 8.86439
15.97/16.01	c bounds 3434 >= 0 @ 8.95112
15.97/16.01	c bounds 3405 >= 0 @ 8.96015
15.97/16.01	c bounds 3297 >= 0 @ 8.9687
15.97/16.01	c bounds 3261 >= 0 @ 8.97728
15.97/16.01	c bounds 3203 >= 0 @ 8.98538
15.97/16.01	c bounds 3149 >= 0 @ 8.99528
15.97/16.01	c bounds 3113 >= 0 @ 9.0963
15.97/16.01	c bounds 3107 >= 0 @ 9.20311
15.97/16.01	c bounds 3057 >= 0 @ 9.392
15.97/16.01	c bounds 3002 >= 0 @ 9.3987
15.97/16.01	c bounds 2975 >= 0 @ 9.40926
15.97/16.01	c #Conflicts:       1000 | #Constraints:     657965
15.97/16.01	c bounds 2948 >= 0 @ 11.1375
15.97/16.01	c bounds 2931 >= 0 @ 11.143
15.97/16.01	c bounds 2915 >= 0 @ 11.4533
15.97/16.01	c bounds 2906 >= 0 @ 11.5783
15.97/16.01	c bounds 2884 >= 0 @ 11.5962
15.97/16.01	c bounds 2880 >= 0 @ 11.6018
15.97/16.01	c bounds 2877 >= 0 @ 11.611
15.97/16.01	c bounds 2836 >= 0 @ 11.7132
15.97/16.01	c bounds 2833 >= 0 @ 11.7235
15.97/16.01	c bounds 2808 >= 0 @ 11.7304
15.97/16.01	c bounds 2801 >= 0 @ 11.7354
15.97/16.01	c bounds 2796 >= 0 @ 11.8225
15.97/16.01	c bounds 2787 >= 0 @ 11.8355
15.97/16.01	c bounds 2773 >= 0 @ 11.8459
15.97/16.01	c bounds 2771 >= 0 @ 11.8529
15.97/16.01	c bounds 2756 >= 0 @ 11.8645
15.97/16.01	c bounds 2742 >= 0 @ 11.8748
15.97/16.01	c bounds 2736 >= 0 @ 11.8856
15.97/16.01	c bounds 2729 >= 0 @ 11.9831
15.97/16.01	c bounds 2727 >= 0 @ 11.9967
15.97/16.01	c bounds 2725 >= 0 @ 12.004
15.97/16.01	c bounds 2712 >= 0 @ 12.1054
15.97/16.01	c bounds 2711 >= 0 @ 12.114
15.97/16.01	c bounds 2683 >= 0 @ 12.1233
15.97/16.01	c bounds 2645 >= 0 @ 12.1303
15.97/16.01	c bounds 2642 >= 0 @ 12.1397
15.97/16.01	c bounds 2624 >= 0 @ 12.1467
15.97/16.01	c bounds 2571 >= 0 @ 12.1543
15.97/16.01	c bounds 2566 >= 0 @ 12.1591
15.97/16.01	c bounds 2541 >= 0 @ 12.1686
15.97/16.01	c bounds 2539 >= 0 @ 12.1782
15.97/16.01	c bounds 2490 >= 0 @ 12.2605
15.97/16.01	c bounds 2454 >= 0 @ 12.275
15.97/16.01	c bounds 2438 >= 0 @ 12.2928
15.97/16.01	c bounds 2434 >= 0 @ 12.3024
15.97/16.01	c bounds 2374 >= 0 @ 12.3122
15.97/16.01	c bounds 2354 >= 0 @ 12.324
15.97/16.01	c bounds 2349 >= 0 @ 12.3398
15.97/16.01	c bounds 2330 >= 0 @ 12.4209
15.97/16.01	c bounds 2321 >= 0 @ 12.5346
15.97/16.01	c bounds 2315 >= 0 @ 12.6104
15.97/16.01	c bounds 2242 >= 0 @ 12.6179
15.97/16.01	c bounds 2196 >= 0 @ 12.6253
15.97/16.01	c bounds 2187 >= 0 @ 12.6312
15.97/16.01	c bounds 2169 >= 0 @ 12.6431
15.97/16.01	c bounds 2078 >= 0 @ 12.6563
15.97/16.01	c bounds 2067 >= 0 @ 12.6679
15.97/16.01	c bounds 2028 >= 0 @ 12.8209
15.97/16.01	c bounds 2005 >= 0 @ 12.9274
15.97/16.01	c bounds 1989 >= 0 @ 12.9423
15.97/16.01	c bounds 1986 >= 0 @ 13.0513
15.97/16.01	c bounds 1979 >= 0 @ 13.0604
15.97/16.01	c bounds 1948 >= 0 @ 13.1489
15.97/16.01	c bounds 1917 >= 0 @ 13.2847
15.97/16.01	c bounds 1908 >= 0 @ 13.3059
15.97/16.01	c bounds 1905 >= 0 @ 13.4339
15.97/16.01	c bounds 1903 >= 0 @ 13.4438
15.97/16.01	c bounds 1897 >= 0 @ 13.4547
15.97/16.01	c bounds 1884 >= 0 @ 13.4671
15.97/16.01	c bounds 1877 >= 0 @ 13.8573
15.97/16.01	c bounds 1867 >= 0 @ 13.9533
15.97/16.01	c bounds 1860 >= 0 @ 13.9619
15.97/16.01	c bounds 1849 >= 0 @ 13.9712
15.97/16.01	c bounds 1793 >= 0 @ 13.9758
15.97/16.01	c bounds 1693 >= 0 @ 13.9839
15.97/16.01	c bounds 1644 >= 0 @ 13.9968
15.97/16.01	c bounds 1617 >= 0 @ 14.0065
15.97/16.01	c bounds 1558 >= 0 @ 14.0178
15.97/16.01	c bounds 1544 >= 0 @ 14.0416
15.97/16.01	c bounds 1543 >= 0 @ 14.0566
15.97/16.01	c bounds 1514 >= 0 @ 14.1474
15.97/16.01	c bounds 1506 >= 0 @ 14.1593
15.97/16.01	c bounds 1338 >= 0 @ 14.1713
15.97/16.01	c bounds 1337 >= 0 @ 14.1816
15.97/16.01	c bounds 1267 >= 0 @ 14.195
15.97/16.01	c bounds 1262 >= 0 @ 14.2092
15.97/16.01	c bounds 1253 >= 0 @ 14.2255
15.97/16.01	c bounds 1244 >= 0 @ 14.2493
15.97/16.01	c bounds 1214 >= 0 @ 14.2639
15.97/16.01	c bounds 1207 >= 0 @ 14.2772
15.97/16.01	c bounds 1186 >= 0 @ 14.289
15.97/16.01	c bounds 1173 >= 0 @ 14.2966
15.97/16.01	c bounds 1155 >= 0 @ 14.3083
15.97/16.01	c bounds 1145 >= 0 @ 14.4646
15.97/16.01	c bounds 1121 >= 0 @ 14.4733
15.97/16.01	c bounds 1083 >= 0 @ 14.4842
15.97/16.01	c bounds 1058 >= 0 @ 14.4983
15.97/16.01	c bounds 1047 >= 0 @ 14.5135
50.05/50.21	c bounds 1011 >= 0 @ 14.5301
50.05/50.21	c bounds 877 >= 0 @ 14.6484
50.05/50.21	c bounds 866 >= 0 @ 14.6624
50.05/50.21	c bounds 728 >= 0 @ 14.6763
50.05/50.21	c bounds 718 >= 0 @ 14.6912
50.05/50.21	c bounds 649 >= 0 @ 14.7033
50.05/50.21	c bounds 647 >= 0 @ 14.7161
50.05/50.21	c bounds 622 >= 0 @ 14.7272
50.05/50.21	c bounds 620 >= 0 @ 14.7407
50.05/50.21	c bounds 615 >= 0 @ 14.9519
50.05/50.21	c bounds 611 >= 0 @ 14.9684
50.05/50.21	c bounds 607 >= 0 @ 15.0064
50.05/50.21	c bounds 598 >= 0 @ 15.7367
50.05/50.21	c #Conflicts:       2000 | #Constraints:     659087
50.05/50.21	c INPROCESSING
50.05/50.21	c GARBAGE COLLECT
50.05/50.21	c bounds 595 >= 0 @ 18.8605
50.05/50.21	c #Conflicts:       3000 | #Constraints:     658935
50.05/50.21	c bounds 592 >= 0 @ 24.2165
50.05/50.21	c bounds 570 >= 0 @ 24.6588
50.05/50.21	c #Conflicts:       4000 | #Constraints:     659950
50.05/50.21	c INPROCESSING
50.05/50.21	c GARBAGE COLLECT
50.05/50.21	c bounds 488 >= 0 @ 27.6908
50.05/50.21	c bounds 450 >= 0 @ 27.7142
50.05/50.21	c #Conflicts:       5000 | #Constraints:     659334
50.05/50.21	c #Conflicts:       6000 | #Constraints:     660334
50.05/50.21	c INPROCESSING
50.05/50.21	c #Conflicts:       7000 | #Constraints:     659325
50.05/50.21	c bounds 417 >= 0 @ 40.1014
50.05/50.21	c #Conflicts:       8000 | #Constraints:     660326
50.05/50.21	c #Conflicts:       9000 | #Constraints:     661326
50.05/50.21	c INPROCESSING
50.05/50.21	c GARBAGE COLLECT
50.05/50.21	c rational objective 165.537
83.95/84.25	c #Conflicts:      10000 | #Constraints:     660028
83.95/84.25	c #Conflicts:      11000 | #Constraints:     661035
83.95/84.25	c #Conflicts:      12000 | #Constraints:     662037
83.95/84.25	c INPROCESSING
83.95/84.25	c GARBAGE COLLECT
83.95/84.25	c bounds 414 >= 0 @ 59.5136
83.95/84.25	c bounds 408 >= 0 @ 59.5381
83.95/84.25	c bounds 406 >= 0 @ 59.5726
83.95/84.25	c bounds 400 >= 0 @ 59.6015
83.95/84.25	c bounds 394 >= 0 @ 59.6463
83.95/84.25	c bounds 393 >= 0 @ 59.6735
83.95/84.25	c bounds 388 >= 0 @ 59.7151
83.95/84.25	c bounds 387 >= 0 @ 59.734
83.95/84.25	c bounds 384 >= 0 @ 59.7642
83.95/84.25	c bounds 380 >= 0 @ 59.7944
83.95/84.25	c bounds 379 >= 0 @ 59.9071
83.95/84.25	c bounds 378 >= 0 @ 59.9459
83.95/84.25	c bounds 372 >= 0 @ 59.9647
83.95/84.25	c bounds 368 >= 0 @ 60.2348
83.95/84.25	c bounds 362 >= 0 @ 60.3395
83.95/84.25	c bounds 359 >= 0 @ 60.4718
83.95/84.25	c bounds 358 >= 0 @ 61.0442
83.95/84.25	c bounds 356 >= 0 @ 61.6497
83.95/84.25	c bounds 355 >= 0 @ 63.3249
83.95/84.25	c bounds 355 >= 5 @ 63.3343
83.95/84.25	c #Conflicts:      13000 | #Constraints:     660543
83.95/84.25	c #Conflicts:      14000 | #Constraints:     661543
83.95/84.25	c bounds 355 >= 10 @ 71.6628
83.95/84.25	c bounds 354 >= 10 @ 71.691
83.95/84.25	c bounds 353 >= 10 @ 71.7244
83.95/84.25	c bounds 349 >= 10 @ 72.5481
83.95/84.25	c #Conflicts:      15000 | #Constraints:     662554
83.95/84.25	c INPROCESSING
83.95/84.25	c GARBAGE COLLECT
83.95/84.25	c rational objective 166.077
262.46/263.26	c #Conflicts:      16000 | #Constraints:     660787
262.46/263.26	c #Conflicts:      17000 | #Constraints:     662145
262.46/263.26	c #Conflicts:      18000 | #Constraints:     663520
262.46/263.26	c INPROCESSING
262.46/263.26	c GARBAGE COLLECT
262.46/263.26	c #Conflicts:      19000 | #Constraints:     661182
262.46/263.26	c #Conflicts:      20000 | #Constraints:     662185
262.46/263.26	c #Conflicts:      21000 | #Constraints:     663185
262.46/263.26	c INPROCESSING
262.46/263.26	c GARBAGE COLLECT
262.46/263.26	c #Conflicts:      22000 | #Constraints:     660779
262.46/263.26	c #Conflicts:      23000 | #Constraints:     661779
262.46/263.26	c #Conflicts:      24000 | #Constraints:     662779
262.46/263.26	c #Conflicts:      25000 | #Constraints:     663779
262.46/263.26	c INPROCESSING
262.46/263.26	c GARBAGE COLLECT
262.46/263.26	c rational objective 167.211
323.21/324.16	c #Conflicts:      26000 | #Constraints:     661280
323.21/324.16	c #Conflicts:      27000 | #Constraints:     662281
323.21/324.16	c #Conflicts:      28000 | #Constraints:     663281
323.21/324.16	c #Conflicts:      29000 | #Constraints:     664281
323.21/324.16	c INPROCESSING
323.21/324.16	c GARBAGE COLLECT
323.21/324.16	c rational objective 167.572
662.41/664.39	c bounds 346 >= 10 @ 328.384
662.41/664.39	c #Conflicts:      30000 | #Constraints:     661633
662.41/664.39	c bounds 345 >= 10 @ 349.768
662.41/664.39	c bounds 344 >= 10 @ 349.834
662.41/664.39	c bounds 343 >= 10 @ 350.382
662.41/664.39	c bounds 341 >= 10 @ 351.462
662.41/664.39	c #Conflicts:      31000 | #Constraints:     662936
662.41/664.39	c bounds 340 >= 10 @ 358.377
662.41/664.39	c bounds 338 >= 10 @ 360.833
662.41/664.39	c #Conflicts:      32000 | #Constraints:     663953
662.41/664.39	c #Conflicts:      33000 | #Constraints:     664972
662.41/664.39	c INPROCESSING
662.41/664.39	c GARBAGE COLLECT
662.41/664.39	c bounds 338 >= 14 @ 558.344
662.41/664.39	c #Conflicts:      34000 | #Constraints:     661960
662.41/664.39	c #Conflicts:      35000 | #Constraints:     662967
662.41/664.39	c #Conflicts:      36000 | #Constraints:     663975
662.41/664.39	c #Conflicts:      37000 | #Constraints:     664983
662.41/664.39	c INPROCESSING
662.41/664.39	c GARBAGE COLLECT
662.41/664.39	c bounds 337 >= 14 @ 599.852
662.41/664.39	c #Conflicts:      38000 | #Constraints:     661877
662.41/664.39	c #Conflicts:      39000 | #Constraints:     662893
662.41/664.39	c #Conflicts:      40000 | #Constraints:     663903
662.41/664.39	c #Conflicts:      41000 | #Constraints:     664919
662.41/664.39	c INPROCESSING
662.41/664.39	c GARBAGE COLLECT
662.41/664.39	c rational objective 167.172
698.80/700.84	c #Conflicts:      42000 | #Constraints:     661643
698.80/700.84	c #Conflicts:      43000 | #Constraints:     662643
698.80/700.84	c #Conflicts:      44000 | #Constraints:     663643
698.80/700.84	c #Conflicts:      45000 | #Constraints:     664645
698.80/700.84	c #Conflicts:      46000 | #Constraints:     665645
698.80/700.84	c INPROCESSING
698.80/700.84	c rational objective 167.831
739.58/741.75	c #Conflicts:      47000 | #Constraints:     662216
739.58/741.75	c #Conflicts:      48000 | #Constraints:     663247
739.58/741.75	c #Conflicts:      49000 | #Constraints:     664263
739.58/741.75	c #Conflicts:      50000 | #Constraints:     665264
739.58/741.75	c #Conflicts:      51000 | #Constraints:     666264
739.58/741.75	c INPROCESSING
739.58/741.75	c GARBAGE COLLECT
739.58/741.75	c rational objective 167.831
798.31/800.68	c #Conflicts:      52000 | #Constraints:     662612
798.31/800.68	c #Conflicts:      53000 | #Constraints:     663621
798.31/800.68	c #Conflicts:      54000 | #Constraints:     664659
798.31/800.68	c #Conflicts:      55000 | #Constraints:     665665
798.31/800.68	c #Conflicts:      56000 | #Constraints:     666705
798.31/800.68	c INPROCESSING
798.31/800.68	c rational objective 167.843
883.28/885.83	c #Conflicts:      57000 | #Constraints:     662843
883.28/885.83	c #Conflicts:      58000 | #Constraints:     663874
883.28/885.83	c #Conflicts:      59000 | #Constraints:     664893
883.28/885.83	c #Conflicts:      60000 | #Constraints:     665893
883.28/885.83	c #Conflicts:      61000 | #Constraints:     666902
883.28/885.83	c INPROCESSING
883.28/885.83	c GARBAGE COLLECT
883.28/885.83	c #Conflicts:      62000 | #Constraints:     662826
883.28/885.83	c #Conflicts:      63000 | #Constraints:     663828
883.28/885.83	c #Conflicts:      64000 | #Constraints:     664830
883.28/885.83	c #Conflicts:      65000 | #Constraints:     665833
883.28/885.83	c #Conflicts:      66000 | #Constraints:     666834
883.28/885.83	c INPROCESSING
883.28/885.83	c rational objective 167.91
1016.32/1019.29	c #Conflicts:      67000 | #Constraints:     662598
1016.32/1019.29	c #Conflicts:      68000 | #Constraints:     663601
1016.32/1019.29	c #Conflicts:      69000 | #Constraints:     664602
1016.32/1019.29	c #Conflicts:      70000 | #Constraints:     665604
1016.32/1019.29	c #Conflicts:      71000 | #Constraints:     666606
1016.32/1019.29	c #Conflicts:      72000 | #Constraints:     667606
1016.32/1019.29	c INPROCESSING
1016.32/1019.29	c GARBAGE COLLECT
1016.32/1019.29	c rational objective 167.911
1136.03/1139.36	c #Conflicts:      73000 | #Constraints:     663189
1136.03/1139.36	c #Conflicts:      74000 | #Constraints:     664189
1136.03/1139.36	c #Conflicts:      75000 | #Constraints:     665192
1136.03/1139.36	c #Conflicts:      76000 | #Constraints:     666193
1136.03/1139.36	c #Conflicts:      77000 | #Constraints:     667195
1136.03/1139.36	c #Conflicts:      78000 | #Constraints:     668196
1136.03/1139.36	c INPROCESSING
1136.03/1139.36	c #Conflicts:      79000 | #Constraints:     663588
1136.03/1139.36	c #Conflicts:      80000 | #Constraints:     664594
1136.03/1139.36	c #Conflicts:      81000 | #Constraints:     665598
1136.03/1139.36	c #Conflicts:      82000 | #Constraints:     666602
1136.03/1139.36	c #Conflicts:      83000 | #Constraints:     667609
1136.03/1139.36	c #Conflicts:      84000 | #Constraints:     668610
1136.03/1139.36	c INPROCESSING
1136.03/1139.36	c GARBAGE COLLECT
1136.03/1139.36	c rational objective 167.942
1264.39/1268.11	c bounds 334 >= 14 @ 1132.76
1264.39/1268.11	c bounds 331 >= 14 @ 1142.54
1264.39/1268.11	c #Conflicts:      85000 | #Constraints:     663797
1264.39/1268.11	c #Conflicts:      86000 | #Constraints:     664811
1264.39/1268.11	c #Conflicts:      87000 | #Constraints:     665822
1264.39/1268.11	c #Conflicts:      88000 | #Constraints:     666832
1264.39/1268.11	c #Conflicts:      89000 | #Constraints:     667845
1264.39/1268.11	c #Conflicts:      90000 | #Constraints:     668859
1264.39/1268.11	c INPROCESSING
1264.39/1268.11	c GARBAGE COLLECT
1264.39/1268.11	c rational objective 167.951
1416.35/1420.45	c bounds 331 >= 16 @ 1260.9
1416.35/1420.45	c bounds 331 >= 18 @ 1260.91
1416.35/1420.45	c bounds 331 >= 20 @ 1260.94
1416.35/1420.45	c bounds 331 >= 22 @ 1261.06
1416.35/1420.45	c bounds 331 >= 24 @ 1263.24
1416.35/1420.45	c #Conflicts:      91000 | #Constraints:     663836
1416.35/1420.45	c #Conflicts:      92000 | #Constraints:     664836
1416.35/1420.45	c #Conflicts:      93000 | #Constraints:     665838
1416.35/1420.45	c #Conflicts:      94000 | #Constraints:     666838
1416.35/1420.45	c #Conflicts:      95000 | #Constraints:     667841
1416.35/1420.45	c bounds 331 >= 26 @ 1365.22
1416.35/1420.45	c #Conflicts:      96000 | #Constraints:     668860
1416.35/1420.45	c INPROCESSING
1416.35/1420.45	c GARBAGE COLLECT
1416.35/1420.45	c rational objective 167.951
1556.05/1560.51	c #Conflicts:      97000 | #Constraints:     663627
1556.05/1560.51	c #Conflicts:      98000 | #Constraints:     664627
1556.05/1560.51	c #Conflicts:      99000 | #Constraints:     665628
1556.05/1560.51	c #Conflicts:     100000 | #Constraints:     666629
1556.05/1560.51	c #Conflicts:     101000 | #Constraints:     667629
1556.05/1560.51	c #Conflicts:     102000 | #Constraints:     668629
1556.05/1560.51	c #Conflicts:     103000 | #Constraints:     669629
1556.05/1560.51	c INPROCESSING
1556.05/1560.51	c GARBAGE COLLECT
1556.05/1560.51	c rational objective 167.951
1722.30/1727.22	c #Conflicts:     104000 | #Constraints:     664226
1722.30/1727.22	c #Conflicts:     105000 | #Constraints:     665227
1722.30/1727.22	c #Conflicts:     106000 | #Constraints:     666227
1722.30/1727.22	c #Conflicts:     107000 | #Constraints:     667227
1722.30/1727.22	c #Conflicts:     108000 | #Constraints:     668227
1722.30/1727.22	c #Conflicts:     109000 | #Constraints:     669228
1722.30/1727.22	c #Conflicts:     110000 | #Constraints:     670228
1722.30/1727.22	c INPROCESSING
1722.30/1727.22	c GARBAGE COLLECT
1722.30/1727.22	c rational objective 167.951
1847.76/1853.08	c bounds 329 >= 26 @ 1716.72
1847.76/1853.08	c bounds 328 >= 26 @ 1716.75
1847.76/1853.08	c bounds 327 >= 26 @ 1719.17
1847.76/1853.08	c bounds 324 >= 26 @ 1719.27
1847.76/1853.08	c bounds 321 >= 26 @ 1721.32
1847.76/1853.08	c #Conflicts:     111000 | #Constraints:     664643
1847.76/1853.08	c bounds 319 >= 26 @ 1722.12
1847.76/1853.08	c bounds 318 >= 26 @ 1722.32
1847.76/1853.08	c bounds 315 >= 26 @ 1722.38
1847.76/1853.08	c bounds 314 >= 26 @ 1722.45
1847.76/1853.08	c bounds 313 >= 26 @ 1722.6
1847.76/1853.08	c #Conflicts:     112000 | #Constraints:     665666
1847.76/1853.08	c #Conflicts:     113000 | #Constraints:     666685
1847.76/1853.08	c #Conflicts:     114000 | #Constraints:     667693
1847.76/1853.08	c #Conflicts:     115000 | #Constraints:     668700
1847.76/1853.08	c #Conflicts:     116000 | #Constraints:     669712
1847.76/1853.08	c #Conflicts:     117000 | #Constraints:     670717
1847.76/1853.08	c INPROCESSING
1847.76/1853.08	c GARBAGE COLLECT
1847.76/1853.08	c rational objective 167.951
2032.23/2038.10	c bounds 313 >= 27 @ 1839.33
2032.23/2038.10	c bounds 313 >= 28 @ 1839.35
2032.23/2038.10	c bounds 313 >= 29 @ 1839.37
2032.23/2038.10	c bounds 313 >= 30 @ 1839.39
2032.23/2038.10	c bounds 313 >= 31 @ 1839.41
2032.23/2038.10	c bounds 313 >= 32 @ 1839.42
2032.23/2038.10	c bounds 313 >= 33 @ 1839.44
2032.23/2038.10	c bounds 313 >= 34 @ 1839.47
2032.23/2038.10	c bounds 313 >= 35 @ 1839.49
2032.23/2038.10	c bounds 313 >= 36 @ 1839.53
2032.23/2038.10	c bounds 313 >= 37 @ 1839.57
2032.23/2038.10	c bounds 313 >= 38 @ 1839.61
2032.23/2038.10	c bounds 313 >= 39 @ 1839.65
2032.23/2038.10	c bounds 313 >= 40 @ 1839.68
2032.23/2038.10	c bounds 313 >= 41 @ 1839.75
2032.23/2038.10	c bounds 313 >= 42 @ 1839.8
2032.23/2038.10	c bounds 313 >= 43 @ 1841.53
2032.23/2038.10	c bounds 313 >= 44 @ 1841.77
2032.23/2038.10	c bounds 313 >= 45 @ 1842.13
2032.23/2038.10	c bounds 313 >= 46 @ 1842.65
2032.23/2038.10	c bounds 313 >= 47 @ 1842.87
2032.23/2038.10	c bounds 313 >= 48 @ 1843.04
2032.23/2038.10	c bounds 313 >= 49 @ 1843.92
2032.23/2038.10	c bounds 313 >= 50 @ 1844.7
2032.23/2038.10	c #Conflicts:     118000 | #Constraints:     665080
2032.23/2038.10	c bounds 313 >= 51 @ 1850.04
2032.23/2038.10	c bounds 313 >= 52 @ 1851.08
2032.23/2038.10	c bounds 313 >= 53 @ 1852.58
2032.23/2038.10	c #Conflicts:     119000 | #Constraints:     666150
2032.23/2038.10	c bounds 313 >= 54 @ 1853.89
2032.23/2038.10	c bounds 313 >= 55 @ 1862
2032.23/2038.10	c #Conflicts:     120000 | #Constraints:     667207
2032.23/2038.10	c bounds 313 >= 56 @ 1864.8
2032.23/2038.10	c #Conflicts:     121000 | #Constraints:     668234
2032.23/2038.10	c bounds 313 >= 57 @ 1868.72
2032.23/2038.10	c #Conflicts:     122000 | #Constraints:     669258
2032.23/2038.10	c bounds 313 >= 58 @ 1878.11
2032.23/2038.10	c bounds 313 >= 59 @ 1881.35
2032.23/2038.10	c #Conflicts:     123000 | #Constraints:     670300
2032.23/2038.10	c bounds 313 >= 60 @ 1904.3
2032.23/2038.10	c #Conflicts:     124000 | #Constraints:     671336
2032.23/2038.10	c INPROCESSING
2032.23/2038.10	c GARBAGE COLLECT
2032.23/2038.10	c rational objective 167.951
2242.10/2248.50	c bounds 313 >= 61 @ 2025.46
2242.10/2248.50	c #Conflicts:     125000 | #Constraints:     665333
2242.10/2248.50	c #Conflicts:     126000 | #Constraints:     666333
2242.10/2248.50	c bounds 313 >= 62 @ 2033.72
2242.10/2248.50	c #Conflicts:     127000 | #Constraints:     667369
2242.10/2248.50	c #Conflicts:     128000 | #Constraints:     668369
2242.10/2248.50	c bounds 313 >= 63 @ 2044.4
2242.10/2248.50	c #Conflicts:     129000 | #Constraints:     669399
2242.10/2248.50	c #Conflicts:     130000 | #Constraints:     670400
2242.10/2248.50	c bounds 313 >= 64 @ 2067.57
2242.10/2248.50	c #Conflicts:     131000 | #Constraints:     671421
2242.10/2248.50	c bounds 312 >= 64 @ 2073.78
2242.10/2248.50	c INPROCESSING
2242.10/2248.50	c GARBAGE COLLECT
2242.10/2248.50	c rational objective 167.951
2320.79/2327.42	c bounds 311 >= 64 @ 2231.12
2320.79/2327.42	c #Conflicts:     132000 | #Constraints:     665231
2320.79/2327.42	c #Conflicts:     133000 | #Constraints:     666250
2320.79/2327.42	c bounds 310 >= 64 @ 2247.06
2320.79/2327.42	c #Conflicts:     134000 | #Constraints:     667251
2320.79/2327.42	c #Conflicts:     135000 | #Constraints:     668251
2320.79/2327.42	c bounds 310 >= 65 @ 2265.06
2320.79/2327.42	c #Conflicts:     136000 | #Constraints:     669290
2320.79/2327.42	c #Conflicts:     137000 | #Constraints:     670290
2320.79/2327.42	c bounds 310 >= 66 @ 2278.81
2320.79/2327.42	c bounds 309 >= 66 @ 2282.61
2320.79/2327.42	c bounds 308 >= 66 @ 2282.75
2320.79/2327.42	c #Conflicts:     138000 | #Constraints:     671331
2320.79/2327.42	c bounds 306 >= 66 @ 2294.62
2320.79/2327.42	c #Conflicts:     139000 | #Constraints:     672339
2320.79/2327.42	c INPROCESSING
2320.79/2327.42	c GARBAGE COLLECT
2320.79/2327.42	c rational objective 167.951
2646.32/2653.88	c #Conflicts:     140000 | #Constraints:     665923
2646.32/2653.88	c #Conflicts:     141000 | #Constraints:     666923
2646.32/2653.88	c bounds 306 >= 67 @ 2320.41
2646.32/2653.88	c #Conflicts:     142000 | #Constraints:     667952
2646.32/2653.88	c #Conflicts:     143000 | #Constraints:     669174
2646.32/2653.88	c #Conflicts:     144000 | #Constraints:     670684
2646.32/2653.88	c #Conflicts:     145000 | #Constraints:     671965
2646.32/2653.88	c #Conflicts:     146000 | #Constraints:     673528
2646.32/2653.88	c #Conflicts:     147000 | #Constraints:     675075
2646.32/2653.88	c INPROCESSING
2646.32/2653.88	c GARBAGE COLLECT
2646.32/2653.88	c #Conflicts:     148000 | #Constraints:     667390
2646.32/2653.88	c #Conflicts:     149000 | #Constraints:     668390
2646.32/2653.88	c bounds 306 >= 68 @ 2562.59
2646.32/2653.88	c #Conflicts:     150000 | #Constraints:     669423
2646.32/2653.88	c #Conflicts:     151000 | #Constraints:     670423
2646.32/2653.88	c bounds 306 >= 69 @ 2593.32
2646.32/2653.88	c #Conflicts:     152000 | #Constraints:     671444
2646.32/2653.88	c #Conflicts:     153000 | #Constraints:     672444
2646.32/2653.88	c #Conflicts:     154000 | #Constraints:     673444
2646.32/2653.88	c #Conflicts:     155000 | #Constraints:     674444
2646.32/2653.88	c INPROCESSING
2646.32/2653.88	c GARBAGE COLLECT
2646.32/2653.88	c rational objective 167.951
2725.02/2732.78	c #Conflicts:     156000 | #Constraints:     667116
2725.02/2732.78	c #Conflicts:     157000 | #Constraints:     668116
2725.02/2732.78	c #Conflicts:     158000 | #Constraints:     669117
2725.02/2732.78	c bounds 306 >= 70 @ 2659.05
2725.02/2732.78	c bounds 305 >= 70 @ 2659.23
2725.02/2732.78	c bounds 304 >= 70 @ 2659.42
2725.02/2732.78	c #Conflicts:     159000 | #Constraints:     670146
2725.02/2732.78	c #Conflicts:     160000 | #Constraints:     671150
2725.02/2732.78	c #Conflicts:     161000 | #Constraints:     672174
2725.02/2732.78	c bounds 303 >= 70 @ 2686.11
2725.02/2732.78	c #Conflicts:     162000 | #Constraints:     673184
2725.02/2732.78	c #Conflicts:     163000 | #Constraints:     674184
2725.02/2732.78	c INPROCESSING
2725.02/2732.78	c GARBAGE COLLECT
2725.02/2732.78	c rational objective 167.951
2825.19/2833.18	c #Conflicts:     164000 | #Constraints:     666901
2825.19/2833.18	c #Conflicts:     165000 | #Constraints:     667903
2825.19/2833.18	c #Conflicts:     166000 | #Constraints:     668903
2825.19/2833.18	c #Conflicts:     167000 | #Constraints:     669903
2825.19/2833.18	c #Conflicts:     168000 | #Constraints:     670903
2825.19/2833.18	c #Conflicts:     169000 | #Constraints:     671903
2825.19/2833.18	c bounds 303 >= 71 @ 2779.15
2825.19/2833.18	c bounds 302 >= 71 @ 2779.2
2825.19/2833.18	c #Conflicts:     170000 | #Constraints:     672961
2825.19/2833.18	c bounds 299 >= 71 @ 2781.45
2825.19/2833.18	c bounds 298 >= 71 @ 2789
2825.19/2833.18	c #Conflicts:     171000 | #Constraints:     673982
2825.19/2833.18	c bounds 296 >= 71 @ 2789.92
2825.19/2833.18	c INPROCESSING
2825.19/2833.18	c GARBAGE COLLECT
2825.19/2833.18	c rational objective 167.951
3275.35/3284.56	c #Conflicts:     172000 | #Constraints:     666641
3275.35/3284.56	c #Conflicts:     173000 | #Constraints:     667730
3275.35/3284.56	c #Conflicts:     174000 | #Constraints:     668924
3275.35/3284.56	c bounds 295 >= 71 @ 2863.3
3275.35/3284.56	c #Conflicts:     175000 | #Constraints:     669943
3275.35/3284.56	c #Conflicts:     176000 | #Constraints:     670943
3275.35/3284.56	c #Conflicts:     177000 | #Constraints:     671943
3275.35/3284.56	c #Conflicts:     178000 | #Constraints:     672943
3275.35/3284.56	c #Conflicts:     179000 | #Constraints:     673943
3275.35/3284.56	c #Conflicts:     180000 | #Constraints:     674943
3275.35/3284.56	c INPROCESSING
3275.35/3284.56	c GARBAGE COLLECT
3275.35/3284.56	c #Conflicts:     181000 | #Constraints:     667329
3275.35/3284.56	c bounds 294 >= 71 @ 3120.07
3275.35/3284.56	c #Conflicts:     182000 | #Constraints:     668340
3275.35/3284.56	c #Conflicts:     183000 | #Constraints:     669351
3275.35/3284.56	c #Conflicts:     184000 | #Constraints:     670359
3275.35/3284.56	c #Conflicts:     185000 | #Constraints:     671367
3275.35/3284.56	c #Conflicts:     186000 | #Constraints:     672377
3275.35/3284.56	c bounds 293 >= 71 @ 3200.74
3275.35/3284.56	c #Conflicts:     187000 | #Constraints:     673379
3275.35/3284.56	c #Conflicts:     188000 | #Constraints:     674379
3275.35/3284.56	c #Conflicts:     189000 | #Constraints:     675379
3275.35/3284.56	c INPROCESSING
3275.35/3284.56	c GARBAGE COLLECT
3275.35/3284.56	c rational objective 167.951
3401.03/3410.52	c #Conflicts:     190000 | #Constraints:     667626
3401.03/3410.52	c #Conflicts:     191000 | #Constraints:     668627
3401.03/3410.52	c #Conflicts:     192000 | #Constraints:     669628
3401.03/3410.52	c #Conflicts:     193000 | #Constraints:     670628
3401.03/3410.52	c #Conflicts:     194000 | #Constraints:     671628
3401.03/3410.52	c #Conflicts:     195000 | #Constraints:     672629
3401.03/3410.52	c #Conflicts:     196000 | #Constraints:     673629
3401.03/3410.52	c bounds 293 >= 72 @ 3340.77
3401.03/3410.52	c #Conflicts:     197000 | #Constraints:     674671
3401.03/3410.52	c #Conflicts:     198000 | #Constraints:     675671
3401.03/3410.52	c INPROCESSING
3401.03/3410.52	c GARBAGE COLLECT
3401.03/3410.52	c rational objective 167.951
3600.02/3610.01	c
3600.02/3610.01	s SATISFIABLE
3600.02/3610.01	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.02/3610.01	c #Conflicts:     199000 | #Constraints:     667798
3600.02/3610.01	c #Conflicts:     200000 | #Constraints:     668798
3600.02/3610.01	c #Conflicts:     201000 | #Constraints:     669798
3600.02/3610.01	c #Conflicts:     202000 | #Constraints:     670799
3600.02/3610.01	c #Conflicts:     203000 | #Constraints:     671800
3600.02/3610.01	c #Conflicts:     204000 | #Constraints:     672800
3600.02/3610.01	c #Conflicts:     205000 | #Constraints:     673800
3600.02/3610.01	c #Conflicts:     206000 | #Constraints:     674800
3600.02/3610.01	c bounds 293 >= 73 @ 3467.62
3600.02/3610.01	c #Conflicts:     207000 | #Constraints:     675848
3600.02/3610.01	c INPROCESSING
3600.02/3610.01	c GARBAGE COLLECT
3600.02/3610.01	c #Conflicts:     208000 | #Constraints:     667788
3600.02/3610.01	c bounds 292 >= 73 @ 3526.8
3600.02/3610.01	c #Conflicts:     209000 | #Constraints:     668808
3600.02/3610.01	c #Conflicts:     210000 | #Constraints:     669820
3600.02/3610.01	c #Conflicts:     211000 | #Constraints:     670831
3600.02/3610.01	c #Conflicts:     212000 | #Constraints:     671836

Verifier Data 

OK	292

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 (63313 MiB free)
  memory of node 1: 64510 MiB (61528 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=794584, runsolver pid=794581

[startup+0.100099 s]*
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127821892/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=40440 memory=10424 CPUtime=0.1 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 1457 0 0 0 7 3 0 0 20 0 1 0 157000062 41410560 2606 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 10110 2606 1225 922 0 2062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 10424 KiB

[startup+0.214489 s]*
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127819052/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=40956 memory=11064 CPUtime=0.22 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 1573 0 0 0 15 7 0 0 20 0 1 0 157000062 41938944 2766 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 10239 2766 1257 922 0 2191 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 11064 KiB

[startup+0.313593 s]*
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127811708/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=41616 memory=13636 CPUtime=0.32 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 1661 0 0 0 22 10 0 0 20 0 1 0 157000062 42614784 3409 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 10404 3409 1257 922 0 2356 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41616 KiB
Current children cumulated memory: 13636 KiB

[startup+0.700275 s]
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127798904/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=47160 memory=17744 CPUtime=0.69 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 2706 0 0 0 48 21 0 0 20 0 1 0 157000062 48291840 4436 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 11790 4436 1257 922 0 3742 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47160 KiB
Current children cumulated memory: 17744 KiB

[startup+1.50028 s]
/proc/loadavg: 3.94 4.11 4.13 5/250 794597
/proc/meminfo: memFree=127763520/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=65036 memory=34764 CPUtime=1.49 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 5449 0 0 0 102 47 0 0 20 0 1 0 157000062 66596864 8691 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 16259 8691 1257 922 0 8211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 65036 KiB
Current children cumulated memory: 34764 KiB

[startup+3.11396 s]
/proc/loadavg: 3.94 4.11 4.13 5/249 794597
/proc/meminfo: memFree=126427992/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=360720 memory=330228 CPUtime=3.1 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 57953 0 0 0 227 83 0 0 20 0 1 0 157000062 369377280 82557 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 90180 82557 1653 922 0 82132 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 330228 KiB

[startup+6.30032 s]
/proc/loadavg: 3.95 4.11 4.13 5/249 794597
/proc/meminfo: memFree=126546980/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=360720 memory=330228 CPUtime=6.27 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 57989 0 0 0 544 83 0 0 20 0 1 0 157000062 369377280 82557 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 90180 82557 1653 922 0 82132 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 330228 KiB

[startup+12.7003 s]
/proc/loadavg: 3.95 4.11 4.13 5/249 794599
/proc/meminfo: memFree=126318540/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=472760 memory=384868 CPUtime=12.65 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 61069 0 0 0 1158 107 0 0 20 0 1 0 157000062 484106240 96217 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 118190 96217 1870 922 0 110142 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 472760 KiB
Current children cumulated memory: 384868 KiB

[startup+25.5004 s]
/proc/loadavg: 4.03 4.12 4.13 5/249 794611
/proc/meminfo: memFree=125979644/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=643712 memory=542316 CPUtime=25.42 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 75550 0 0 0 2376 166 0 0 20 0 1 0 157000062 659161088 135579 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 160928 135579 1870 922 0 152880 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 643712 KiB
Current children cumulated memory: 542316 KiB

[startup+51.1141 s]
/proc/loadavg: 4.02 4.11 4.13 5/249 794616
/proc/meminfo: memFree=125557836/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=666972 memory=584948 CPUtime=50.96 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 77713 0 0 0 4888 208 0 0 20 0 1 0 157000062 682979328 146237 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 166743 146237 1870 922 0 158695 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 666972 KiB
Current children cumulated memory: 584948 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/249 794625
/proc/meminfo: memFree=124673512/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=830496 memory=696280 CPUtime=102 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 91977 0 0 0 9938 262 0 0 20 0 1 0 157000062 850427904 174070 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 207624 174070 1870 922 0 199576 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 830496 KiB
Current children cumulated memory: 696280 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/249 794635
/proc/meminfo: memFree=123821040/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=1267780 memory=1165180 CPUtime=161.83 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 163091 0 0 0 15896 287 0 0 20 0 1 0 157000062 1298206720 291295 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 316945 291295 1870 922 0 308897 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1267780 KiB
Current children cumulated memory: 1165180 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/246 794645
/proc/meminfo: memFree=123374652/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=1272100 memory=1169836 CPUtime=221.66 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 163847 0 0 0 21825 341 0 0 20 0 1 0 157000062 1302630400 292459 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 318025 292459 1870 922 0 309977 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1272100 KiB
Current children cumulated memory: 1169836 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/246 794656
/proc/meminfo: memFree=122863784/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=1300044 memory=1210772 CPUtime=281.51 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 168620 0 0 0 27700 451 0 0 20 0 1 0 157000062 1331245056 302693 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 325011 302693 1870 922 0 316963 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1300044 KiB
Current children cumulated memory: 1210772 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/241 794667
/proc/meminfo: memFree=122551092/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=1662764 memory=1399116 CPUtime=341.35 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 193695 0 0 0 33597 538 0 0 20 0 1 0 157000062 1702670336 349779 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 415691 349779 1870 922 0 407643 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1662764 KiB
Current children cumulated memory: 1399116 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/241 794677
/proc/meminfo: memFree=122258380/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=1746184 memory=1597604 CPUtime=401.19 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 200757 0 0 0 39552 567 0 0 20 0 1 0 157000062 1788092416 399401 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 436546 399401 1944 922 0 428498 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1746184 KiB
Current children cumulated memory: 1597604 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.11 4.10 6/241 794687
/proc/meminfo: memFree=122183820/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=1746184 memory=1597764 CPUtime=460.97 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 200841 0 0 0 45522 575 0 0 20 0 1 0 157000062 1788092416 399441 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 436546 399441 1944 922 0 428498 0

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

Current children cumulated memory: 2538748 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/241 795847
/proc/meminfo: memFree=117881048/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2711548 memory=2538748 CPUtime=2854.3 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 343360 0 0 0 283618 1812 0 0 20 0 1 0 157000062 2776625152 634687 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 677887 634687 1992 922 0 669839 0
Current children cumulated CPU time: 2854.3 s
Current children cumulated vsize: 2711548 KiB
Current children cumulated memory: 2538748 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/241 795858
/proc/meminfo: memFree=117878224/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2711548 memory=2538748 CPUtime=2914.15 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 346116 0 0 0 289562 1853 0 0 20 0 1 0 157000062 2776625152 634687 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 677887 634687 1992 922 0 669839 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 2711548 KiB
Current children cumulated memory: 2538748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.14 6/241 795868
/proc/meminfo: memFree=117795092/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2778564 memory=2605400 CPUtime=2974 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 352313 0 0 0 295502 1898 0 0 20 0 1 0 157000062 2845249536 651350 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 694641 651350 1992 922 0 686593 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 2778564 KiB
Current children cumulated memory: 2605400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/243 795884
/proc/meminfo: memFree=117719728/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2733760 memory=2552152 CPUtime=3033.8 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 353322 0 0 0 301473 1907 0 0 20 0 1 0 157000062 2799370240 638038 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 683440 638038 1992 922 0 675392 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 2733760 KiB
Current children cumulated memory: 2552152 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.16 4.14 5/243 795894
/proc/meminfo: memFree=117605916/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2733760 memory=2552152 CPUtime=3093.63 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 353573 0 0 0 307452 1911 0 0 20 0 1 0 157000062 2799370240 638038 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 683440 638038 1992 922 0 675392 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 2733760 KiB
Current children cumulated memory: 2552152 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/243 795904
/proc/meminfo: memFree=117707340/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2714112 memory=2541312 CPUtime=3153.46 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 357611 0 0 0 313421 1925 0 0 20 0 1 0 157000062 2779250688 635328 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 678528 635328 1992 922 0 670480 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 2714112 KiB
Current children cumulated memory: 2541312 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/243 795915
/proc/meminfo: memFree=117654156/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2714112 memory=2541312 CPUtime=3213.31 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 358739 0 0 0 319396 1935 0 0 20 0 1 0 157000062 2779250688 635328 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 678528 635328 1992 922 0 670480 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 2714112 KiB
Current children cumulated memory: 2541312 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/243 795926
/proc/meminfo: memFree=117651952/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2714112 memory=2541312 CPUtime=3273.16 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 359889 0 0 0 325359 1957 0 0 20 0 1 0 157000062 2779250688 635328 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 678528 635328 1992 922 0 670480 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 2714112 KiB
Current children cumulated memory: 2541312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/243 796320
/proc/meminfo: memFree=117627584/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2714112 memory=2541312 CPUtime=3333.01 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 360788 0 0 0 331295 2006 0 0 20 0 1 0 157000062 2779250688 635328 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 678528 635328 1992 922 0 670480 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 2714112 KiB
Current children cumulated memory: 2541312 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/243 796331
/proc/meminfo: memFree=117608392/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2714112 memory=2541312 CPUtime=3392.85 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 361501 0 0 0 337256 2029 0 0 20 0 1 0 157000062 2779250688 635328 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 678528 635328 1992 922 0 670480 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 2714112 KiB
Current children cumulated memory: 2541312 KiB

[startup+3462.3 s]
/proc/loadavg: 4.47 4.20 4.14 5/243 796341
/proc/meminfo: memFree=117521076/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2714112 memory=2541312 CPUtime=3452.7 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 362661 0 0 0 343193 2077 0 0 20 0 1 0 157000062 2779250688 635328 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 678528 635328 1992 922 0 670480 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 2714112 KiB
Current children cumulated memory: 2541312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.58 4.30 4.18 5/244 796520
/proc/meminfo: memFree=117580112/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2714112 memory=2541312 CPUtime=3512.55 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 363643 0 0 0 349156 2099 0 0 20 0 1 0 157000062 2779250688 635328 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 678528 635328 1992 922 0 670480 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 2714112 KiB
Current children cumulated memory: 2541312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.29 4.19 5/244 796530
/proc/meminfo: memFree=117221376/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2809584 memory=2636656 CPUtime=3572.38 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 367794 0 0 0 355119 2119 0 0 20 0 1 0 157000062 2877014016 659164 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 702396 659164 1992 922 0 694348 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 2809584 KiB
Current children cumulated memory: 2636656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 5.01 4.44 4.24 5/245 796540
/proc/meminfo: memFree=117213984/131655788 swapFree=131071996/131071996
[pid=794584] ppid=794581 vsize=2809584 memory=2636656 CPUtime=3600.02 cores=1,3
/proc/794584/stat : 794584 (roundingsat) R 794581 794584 794518 0 -1 4194304 368307 0 0 0 357879 2123 0 0 20 0 1 0 157000062 2877014016 659164 134679101440 4194304 7968869 140726400349840 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 41611264 140726400353214 140726400353378 140726400353378 140726400360393 0
/proc/794584/statm: 702396 659164 1992 922 0 694348 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2809584 KiB
Current children cumulated memory: 2636656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.8 s, system=21.245 s

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

Child status: 1

Real time (s): 3610.02
CPU time (s): 3600.05
CPU user time (s): 3578.8
CPU system time (s): 21.245
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 2849332
Max. memory (cumulated for all children) (KiB): 2650200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.8
system time used= 21.245
maximum resident set size= 2676228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 1981


# summary of solver processes directly reported to runsolver:
#   pid: 794584
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3578.8
#   total CPU system time (s): 21.245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6264 second user time and 37.2554 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-15 15:00:44
IDJOB=4429427
IDBENCH=147556
IDSOLVER=3051
FILE ID=nodeC012/4429427-1721048430
RUNJOBID= nodeC012-1721048443-794532
SLURM_JOB_ID= 7505465
Free space on /tmp= 723712 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.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-4429427-1721048430/watcher-4429427-1721048430 -o /tmp/evaluation-result-4429427-1721048430/solver-4429427-1721048430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721048443-794532 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429427-1721048430.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
RANDOM SEED=871709197

nodeC012.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		: 2195.093
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	: 6984.37
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		: 1895.789
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.32
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.322
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	: 6984.37
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.321
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.32
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.321
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	: 6984.37
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.344
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.32
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.326
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	: 6984.37
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.321
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127840496 kB
MemAvailable:   129923188 kB
Buffers:          360832 kB
Cached:          2541192 kB
SwapCached:            0 kB
Active:           586932 kB
Inactive:        2655736 kB
Active(anon):       1384 kB
Inactive(anon):   376980 kB
Active(file):     585548 kB
Inactive(file):  2278756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             87772 kB
Writeback:            24 kB
AnonPages:        340992 kB
Mapped:           104012 kB
Shmem:             37704 kB
KReclaimable:     116836 kB
Slab:             215476 kB
SReclaimable:     116836 kB
SUnreclaim:        98640 kB
KernelStack:        3752 kB
PageTables:         9956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     671760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      256840 kB
DirectMap2M:    20619264 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC012 at 2024-07-15 16:00:54