Trace number 4429424

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)327 3600.04 3610.22

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
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 benchmark248
Best CPU time to get the best result obtained on this benchmark3558.03
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 495457
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 495457
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.68/2.75	c #variables 10000 #constraints 656900
4.18/4.29	c bounds 495458 >= 0 @ 1.83308
4.18/4.29	c rational objective 174.592
15.55/15.69	c bounds 6222 >= 0 @ 6.86364
15.55/15.69	c bounds 6180 >= 0 @ 6.87588
15.55/15.69	c bounds 6026 >= 0 @ 6.87917
15.55/15.69	c bounds 5981 >= 0 @ 6.88393
15.55/15.69	c bounds 5900 >= 0 @ 6.88664
15.55/15.69	c bounds 5899 >= 0 @ 6.90339
15.55/15.69	c bounds 5863 >= 0 @ 6.90846
15.55/15.69	c bounds 5814 >= 0 @ 6.91132
15.55/15.69	c bounds 5767 >= 0 @ 6.91856
15.55/15.69	c bounds 5626 >= 0 @ 6.92284
15.55/15.69	c bounds 5573 >= 0 @ 6.92745
15.55/15.69	c bounds 5513 >= 0 @ 6.93393
15.55/15.69	c bounds 5453 >= 0 @ 6.94147
15.55/15.69	c bounds 5452 >= 0 @ 6.9517
15.55/15.69	c bounds 5364 >= 0 @ 6.95709
15.55/15.69	c bounds 5320 >= 0 @ 6.9598
15.55/15.69	c bounds 5300 >= 0 @ 6.96618
15.55/15.69	c bounds 5277 >= 0 @ 6.97572
15.55/15.69	c bounds 5253 >= 0 @ 6.98035
15.55/15.69	c bounds 5235 >= 0 @ 6.98433
15.55/15.69	c bounds 5233 >= 0 @ 6.99111
15.55/15.69	c bounds 5067 >= 0 @ 6.9944
15.55/15.69	c bounds 5024 >= 0 @ 6.99867
15.55/15.69	c bounds 5023 >= 0 @ 7.00093
15.55/15.69	c bounds 4955 >= 0 @ 7.00503
15.55/15.69	c bounds 4908 >= 0 @ 7.00826
15.55/15.69	c bounds 4799 >= 0 @ 7.01446
15.55/15.69	c bounds 4777 >= 0 @ 7.0217
15.55/15.69	c bounds 4715 >= 0 @ 7.02762
15.55/15.69	c bounds 4568 >= 0 @ 7.03195
15.55/15.69	c bounds 4445 >= 0 @ 7.03737
15.55/15.69	c bounds 4431 >= 0 @ 7.04298
15.55/15.69	c bounds 4361 >= 0 @ 7.05262
15.55/15.69	c bounds 4310 >= 0 @ 7.07519
15.55/15.69	c bounds 4229 >= 0 @ 7.07876
15.55/15.69	c bounds 4225 >= 0 @ 7.08247
15.55/15.69	c bounds 4040 >= 0 @ 7.08822
15.55/15.69	c bounds 4025 >= 0 @ 7.09407
15.55/15.69	c bounds 4005 >= 0 @ 7.09922
15.55/15.69	c bounds 3972 >= 0 @ 7.10685
15.55/15.69	c bounds 3825 >= 0 @ 7.10954
15.55/15.69	c bounds 3823 >= 0 @ 7.13155
15.55/15.69	c bounds 3804 >= 0 @ 7.13798
15.55/15.69	c bounds 3745 >= 0 @ 7.14494
15.55/15.69	c bounds 3731 >= 0 @ 7.15121
15.55/15.69	c bounds 3684 >= 0 @ 7.15436
15.55/15.69	c bounds 3619 >= 0 @ 7.15917
15.55/15.69	c bounds 3595 >= 0 @ 7.17546
15.55/15.69	c bounds 3582 >= 0 @ 7.18111
15.55/15.69	c bounds 3401 >= 0 @ 7.18774
15.55/15.69	c bounds 3382 >= 0 @ 7.19206
15.55/15.69	c bounds 3266 >= 0 @ 7.19758
15.55/15.69	c bounds 3241 >= 0 @ 7.20608
15.55/15.69	c bounds 3205 >= 0 @ 7.21239
15.55/15.69	c bounds 3195 >= 0 @ 7.22255
15.55/15.69	c bounds 3193 >= 0 @ 7.32909
15.55/15.69	c bounds 3158 >= 0 @ 7.33501
15.55/15.69	c bounds 3126 >= 0 @ 7.34327
15.55/15.69	c bounds 3092 >= 0 @ 7.3501
15.55/15.69	c bounds 3078 >= 0 @ 7.35823
15.55/15.69	c bounds 3053 >= 0 @ 7.36569
15.55/15.69	c bounds 3010 >= 0 @ 7.37126
15.55/15.69	c bounds 2968 >= 0 @ 7.37652
15.55/15.69	c bounds 2927 >= 0 @ 7.38469
15.55/15.69	c bounds 2922 >= 0 @ 7.38847
15.55/15.69	c bounds 2772 >= 0 @ 7.39453
15.55/15.69	c bounds 2753 >= 0 @ 7.49826
15.55/15.69	c bounds 2711 >= 0 @ 7.50693
15.55/15.69	c bounds 2610 >= 0 @ 7.51212
15.55/15.69	c bounds 2522 >= 0 @ 7.51934
15.55/15.69	c bounds 2520 >= 0 @ 7.54913
15.55/15.69	c bounds 2496 >= 0 @ 7.55589
15.55/15.69	c bounds 2461 >= 0 @ 7.65656
15.55/15.69	c bounds 2449 >= 0 @ 7.66294
15.55/15.69	c bounds 2408 >= 0 @ 7.6694
15.55/15.69	c bounds 2319 >= 0 @ 7.67737
15.55/15.69	c bounds 2279 >= 0 @ 7.68421
15.55/15.69	c bounds 2247 >= 0 @ 7.69346
15.55/15.69	c bounds 2236 >= 0 @ 7.91806
15.55/15.69	c bounds 2224 >= 0 @ 8.05156
15.55/15.69	c bounds 2124 >= 0 @ 8.05787
15.55/15.69	c bounds 2075 >= 0 @ 8.06486
15.55/15.69	c bounds 2074 >= 0 @ 8.07055
15.55/15.69	c bounds 2072 >= 0 @ 8.07724
15.55/15.69	c bounds 1944 >= 0 @ 8.08385
15.55/15.69	c bounds 1920 >= 0 @ 8.0945
15.55/15.69	c bounds 1895 >= 0 @ 8.10386
15.55/15.69	c bounds 1882 >= 0 @ 8.10874
15.55/15.69	c bounds 1858 >= 0 @ 8.12429
15.55/15.69	c bounds 1857 >= 0 @ 8.22961
15.55/15.69	c bounds 1844 >= 0 @ 8.24214
15.55/15.69	c bounds 1791 >= 0 @ 8.24797
15.55/15.69	c bounds 1645 >= 0 @ 8.25668
15.55/15.69	c bounds 1601 >= 0 @ 8.26298
15.55/15.69	c bounds 1597 >= 0 @ 8.2702
15.55/15.69	c bounds 1596 >= 0 @ 8.72708
15.55/15.69	c bounds 1594 >= 0 @ 9.3778
15.55/15.69	c bounds 1581 >= 0 @ 9.40471
15.55/15.69	c bounds 1577 >= 0 @ 9.52308
15.55/15.69	c bounds 1566 >= 0 @ 9.53267
15.55/15.69	c bounds 1542 >= 0 @ 9.64799
15.55/15.69	c bounds 1540 >= 0 @ 9.65888
15.55/15.69	c bounds 1537 >= 0 @ 9.66826
15.55/15.69	c bounds 1532 >= 0 @ 9.76235
15.55/15.69	c bounds 1528 >= 0 @ 9.86665
15.55/15.69	c bounds 1512 >= 0 @ 9.95969
15.55/15.69	c bounds 1498 >= 0 @ 10.0647
15.55/15.69	c bounds 1482 >= 0 @ 10.2338
15.55/15.69	c bounds 1472 >= 0 @ 10.2457
15.55/15.69	c bounds 1456 >= 0 @ 10.254
15.55/15.69	c bounds 1420 >= 0 @ 10.2624
15.55/15.69	c #Conflicts:       1000 | #Constraints:     658032
15.55/15.69	c bounds 1419 >= 0 @ 10.3846
15.55/15.69	c bounds 1414 >= 0 @ 10.5247
15.55/15.69	c bounds 1285 >= 0 @ 10.6903
15.55/15.69	c bounds 1282 >= 0 @ 10.7062
15.55/15.69	c bounds 1125 >= 0 @ 10.88
15.55/15.69	c bounds 1121 >= 0 @ 10.8846
15.55/15.69	c bounds 1108 >= 0 @ 10.8966
15.55/15.69	c bounds 1101 >= 0 @ 10.9046
15.55/15.69	c bounds 1100 >= 0 @ 10.9092
15.55/15.69	c bounds 1081 >= 0 @ 10.9126
15.55/15.69	c bounds 1076 >= 0 @ 10.9231
15.55/15.69	c bounds 1068 >= 0 @ 10.9275
15.55/15.69	c bounds 1062 >= 0 @ 10.9364
15.55/15.69	c bounds 1044 >= 0 @ 10.9482
15.55/15.69	c bounds 1035 >= 0 @ 10.9553
15.55/15.69	c bounds 1026 >= 0 @ 10.9657
15.55/15.69	c bounds 1024 >= 0 @ 11.2232
15.55/15.69	c bounds 1023 >= 0 @ 11.2309
15.55/15.69	c bounds 1019 >= 0 @ 11.4125
15.55/15.69	c bounds 882 >= 0 @ 11.4691
15.55/15.69	c bounds 881 >= 0 @ 11.4809
15.55/15.69	c bounds 830 >= 0 @ 11.4908
15.55/15.69	c bounds 790 >= 0 @ 11.5156
15.55/15.69	c bounds 689 >= 0 @ 12.1401
15.55/15.69	c bounds 652 >= 0 @ 12.1487
15.55/15.69	c #Conflicts:       2000 | #Constraints:     659058
15.55/15.69	c INPROCESSING
15.55/15.69	c GARBAGE COLLECT
15.55/15.69	c bounds 646 >= 0 @ 13.5073
15.55/15.69	c bounds 555 >= 0 @ 13.8336
44.75/44.98	c bounds 554 >= 0 @ 13.8405
44.75/44.98	c bounds 549 >= 0 @ 13.8487
44.75/44.98	c bounds 548 >= 0 @ 13.8557
44.75/44.98	c bounds 544 >= 0 @ 13.8654
44.75/44.98	c bounds 539 >= 0 @ 13.8711
44.75/44.98	c bounds 537 >= 0 @ 17.5056
44.75/44.98	c #Conflicts:       3000 | #Constraints:     658937
44.75/44.98	c #Conflicts:       4000 | #Constraints:     659937
44.75/44.98	c INPROCESSING
44.75/44.98	c #Conflicts:       5000 | #Constraints:     659330
44.75/44.98	c #Conflicts:       6000 | #Constraints:     660330
44.75/44.98	c INPROCESSING
44.75/44.98	c GARBAGE COLLECT
44.75/44.98	c #Conflicts:       7000 | #Constraints:     659326
44.75/44.98	c #Conflicts:       8000 | #Constraints:     660326
44.75/44.98	c bounds 496 >= 0 @ 35.9331
44.75/44.98	c bounds 490 >= 0 @ 35.9462
44.75/44.98	c bounds 488 >= 0 @ 35.9615
44.75/44.98	c bounds 487 >= 0 @ 35.9764
44.75/44.98	c bounds 486 >= 0 @ 35.99
44.75/44.98	c bounds 482 >= 0 @ 36.0097
44.75/44.98	c bounds 479 >= 0 @ 36.0257
44.75/44.98	c bounds 472 >= 0 @ 36.0419
44.75/44.98	c #Conflicts:       9000 | #Constraints:     661338
44.75/44.98	c bounds 467 >= 0 @ 38.0993
44.75/44.98	c bounds 467 >= 8 @ 38.102
44.75/44.98	c INPROCESSING
44.75/44.98	c rational objective 175.566
58.10/58.37	c #Conflicts:      10000 | #Constraints:     660035
58.10/58.37	c #Conflicts:      11000 | #Constraints:     661035
58.10/58.37	c #Conflicts:      12000 | #Constraints:     662035
58.10/58.37	c INPROCESSING
58.10/58.37	c GARBAGE COLLECT
58.10/58.37	c rational objective 177.073
74.45/74.74	c bounds 460 >= 8 @ 59.035
74.45/74.74	c bounds 457 >= 8 @ 60.9723
74.45/74.74	c #Conflicts:      13000 | #Constraints:     660493
74.45/74.74	c #Conflicts:      14000 | #Constraints:     661493
74.45/74.74	c #Conflicts:      15000 | #Constraints:     662493
74.45/74.74	c INPROCESSING
74.45/74.74	c GARBAGE COLLECT
74.45/74.74	c rational objective 177.861
91.20/91.50	c #Conflicts:      16000 | #Constraints:     660717
91.20/91.50	c #Conflicts:      17000 | #Constraints:     661717
91.20/91.50	c #Conflicts:      18000 | #Constraints:     662717
91.20/91.50	c INPROCESSING
91.20/91.50	c GARBAGE COLLECT
91.20/91.50	c rational objective 177.962
126.08/126.55	c bounds 454 >= 8 @ 91.8565
126.08/126.55	c bounds 451 >= 8 @ 92.6378
126.08/126.55	c #Conflicts:      19000 | #Constraints:     660738
126.08/126.55	c #Conflicts:      20000 | #Constraints:     661738
126.08/126.55	c #Conflicts:      21000 | #Constraints:     662738
126.08/126.55	c INPROCESSING
126.08/126.55	c GARBAGE COLLECT
126.08/126.55	c bounds 449 >= 8 @ 101.747
126.08/126.55	c bounds 448 >= 8 @ 104.542
126.08/126.55	c bounds 448 >= 13 @ 104.553
126.08/126.55	c #Conflicts:      22000 | #Constraints:     660556
126.08/126.55	c bounds 448 >= 18 @ 105.245
126.08/126.55	c #Conflicts:      23000 | #Constraints:     661562
126.08/126.55	c #Conflicts:      24000 | #Constraints:     662562
126.08/126.55	c #Conflicts:      25000 | #Constraints:     663562
126.08/126.55	c INPROCESSING
126.08/126.55	c GARBAGE COLLECT
126.08/126.55	c rational objective 178.282
166.05/166.67	c bounds 447 >= 18 @ 127.311
166.05/166.67	c bounds 445 >= 18 @ 127.398
166.05/166.67	c bounds 442 >= 18 @ 127.438
166.05/166.67	c bounds 440 >= 18 @ 129.115
166.05/166.67	c bounds 439 >= 18 @ 130.731
166.05/166.67	c bounds 438 >= 18 @ 130.761
166.05/166.67	c bounds 436 >= 18 @ 130.935
166.05/166.67	c #Conflicts:      26000 | #Constraints:     661200
166.05/166.67	c #Conflicts:      27000 | #Constraints:     662212
166.05/166.67	c bounds 435 >= 18 @ 149.698
166.05/166.67	c bounds 435 >= 22 @ 149.726
166.05/166.67	c #Conflicts:      28000 | #Constraints:     663227
166.05/166.67	c #Conflicts:      29000 | #Constraints:     664227
166.05/166.67	c INPROCESSING
166.05/166.67	c GARBAGE COLLECT
166.05/166.67	c rational objective 178.3
186.08/186.73	c #Conflicts:      30000 | #Constraints:     661576
186.08/186.73	c #Conflicts:      31000 | #Constraints:     662576
186.08/186.73	c #Conflicts:      32000 | #Constraints:     663576
186.08/186.73	c #Conflicts:      33000 | #Constraints:     664576
186.08/186.73	c INPROCESSING
186.08/186.73	c rational objective 178.44
311.75/312.78	c #Conflicts:      34000 | #Constraints:     661757
311.75/312.78	c #Conflicts:      35000 | #Constraints:     662764
311.75/312.78	c #Conflicts:      36000 | #Constraints:     663787
311.75/312.78	c #Conflicts:      37000 | #Constraints:     664826
311.75/312.78	c INPROCESSING
311.75/312.78	c GARBAGE COLLECT
311.75/312.78	c #Conflicts:      38000 | #Constraints:     661798
311.75/312.78	c #Conflicts:      39000 | #Constraints:     662837
311.75/312.78	c #Conflicts:      40000 | #Constraints:     663865
311.75/312.78	c #Conflicts:      41000 | #Constraints:     664911
311.75/312.78	c INPROCESSING
311.75/312.78	c GARBAGE COLLECT
311.75/312.78	c #Conflicts:      42000 | #Constraints:     661647
311.75/312.78	c #Conflicts:      43000 | #Constraints:     662658
311.75/312.78	c #Conflicts:      44000 | #Constraints:     663693
311.75/312.78	c #Conflicts:      45000 | #Constraints:     664716
311.75/312.78	c #Conflicts:      46000 | #Constraints:     665732
311.75/312.78	c INPROCESSING
311.75/312.78	c GARBAGE COLLECT
311.75/312.78	c rational objective 178.468
337.48/338.58	c bounds 431 >= 22 @ 313.741
337.48/338.58	c bounds 431 >= 25 @ 313.757
337.48/338.58	c #Conflicts:      47000 | #Constraints:     662249
337.48/338.58	c #Conflicts:      48000 | #Constraints:     663249
337.48/338.58	c #Conflicts:      49000 | #Constraints:     664249
337.48/338.58	c #Conflicts:      50000 | #Constraints:     665249
337.48/338.58	c #Conflicts:      51000 | #Constraints:     666249
337.48/338.58	c INPROCESSING
337.48/338.58	c GARBAGE COLLECT
337.48/338.58	c rational objective 178.468
477.80/479.21	c bounds 427 >= 25 @ 337.725
477.80/479.21	c bounds 421 >= 25 @ 345.521
477.80/479.21	c bounds 421 >= 27 @ 345.532
477.80/479.21	c bounds 421 >= 29 @ 345.542
477.80/479.21	c bounds 421 >= 31 @ 345.556
477.80/479.21	c bounds 421 >= 33 @ 345.577
477.80/479.21	c bounds 421 >= 35 @ 345.6
477.80/479.21	c bounds 421 >= 37 @ 345.656
477.80/479.21	c #Conflicts:      52000 | #Constraints:     662651
477.80/479.21	c bounds 421 >= 39 @ 348.716
477.80/479.21	c bounds 421 >= 41 @ 350.745
477.80/479.21	c #Conflicts:      53000 | #Constraints:     663681
477.80/479.21	c #Conflicts:      54000 | #Constraints:     664682
477.80/479.21	c #Conflicts:      55000 | #Constraints:     665685
477.80/479.21	c bounds 421 >= 43 @ 386.016
477.80/479.21	c bounds 420 >= 43 @ 386.777
477.80/479.21	c bounds 419 >= 43 @ 387.079
477.80/479.21	c bounds 418 >= 43 @ 387.679
477.80/479.21	c #Conflicts:      56000 | #Constraints:     666715
477.80/479.21	c INPROCESSING
477.80/479.21	c GARBAGE COLLECT
477.80/479.21	c #Conflicts:      57000 | #Constraints:     662866
477.80/479.21	c #Conflicts:      58000 | #Constraints:     663867
477.80/479.21	c #Conflicts:      59000 | #Constraints:     664867
477.80/479.21	c #Conflicts:      60000 | #Constraints:     665867
477.80/479.21	c #Conflicts:      61000 | #Constraints:     666867
477.80/479.21	c INPROCESSING
477.80/479.21	c GARBAGE COLLECT
477.80/479.21	c rational objective 178.471
635.87/637.72	c bounds 415 >= 43 @ 476.688
635.87/637.72	c bounds 411 >= 43 @ 477.625
635.87/637.72	c bounds 410 >= 43 @ 477.846
635.87/637.72	c #Conflicts:      62000 | #Constraints:     662879
635.87/637.72	c bounds 409 >= 43 @ 487.896
635.87/637.72	c #Conflicts:      63000 | #Constraints:     663889
635.87/637.72	c #Conflicts:      64000 | #Constraints:     664894
635.87/637.72	c bounds 408 >= 43 @ 500.882
635.87/637.72	c bounds 404 >= 43 @ 500.998
635.87/637.72	c bounds 400 >= 43 @ 501.709
635.87/637.72	c bounds 400 >= 44 @ 501.735
635.87/637.72	c bounds 400 >= 45 @ 501.758
635.87/637.72	c bounds 400 >= 46 @ 501.785
635.87/637.72	c bounds 400 >= 47 @ 501.804
635.87/637.72	c bounds 400 >= 48 @ 501.825
635.87/637.72	c bounds 400 >= 49 @ 501.847
635.87/637.72	c bounds 400 >= 50 @ 501.876
635.87/637.72	c bounds 400 >= 51 @ 501.904
635.87/637.72	c bounds 400 >= 52 @ 501.937
635.87/637.72	c bounds 400 >= 53 @ 501.97
635.87/637.72	c bounds 400 >= 54 @ 502.002
635.87/637.72	c bounds 400 >= 55 @ 502.034
635.87/637.72	c bounds 400 >= 56 @ 502.068
635.87/637.72	c bounds 400 >= 57 @ 502.106
635.87/637.72	c bounds 400 >= 58 @ 502.153
635.87/637.72	c bounds 400 >= 59 @ 508.042
635.87/637.72	c bounds 400 >= 60 @ 508.102
635.87/637.72	c bounds 400 >= 61 @ 508.301
635.87/637.72	c bounds 400 >= 62 @ 508.423
635.87/637.72	c bounds 400 >= 63 @ 508.656
635.87/637.72	c bounds 400 >= 64 @ 509.001
635.87/637.72	c bounds 400 >= 65 @ 509.854
635.87/637.72	c bounds 399 >= 65 @ 510.169
635.87/637.72	c bounds 398 >= 65 @ 510.245
635.87/637.72	c bounds 395 >= 65 @ 510.338
635.87/637.72	c bounds 393 >= 65 @ 510.457
635.87/637.72	c bounds 387 >= 65 @ 510.542
635.87/637.72	c bounds 386 >= 65 @ 512.396
635.87/637.72	c bounds 386 >= 66 @ 513.463
635.87/637.72	c #Conflicts:      65000 | #Constraints:     666075
635.87/637.72	c bounds 386 >= 67 @ 515.414
635.87/637.72	c bounds 386 >= 68 @ 517.887
635.87/637.72	c bounds 383 >= 68 @ 520.747
635.87/637.72	c #Conflicts:      66000 | #Constraints:     667130
635.87/637.72	c bounds 383 >= 69 @ 525.99
635.87/637.72	c INPROCESSING
635.87/637.72	c GARBAGE COLLECT
635.87/637.72	c #Conflicts:      67000 | #Constraints:     662886
635.87/637.72	c bounds 383 >= 70 @ 589.072
635.87/637.72	c bounds 380 >= 70 @ 591.502
635.87/637.72	c #Conflicts:      68000 | #Constraints:     663917
635.87/637.72	c bounds 380 >= 71 @ 597.264
635.87/637.72	c #Conflicts:      69000 | #Constraints:     664944
635.87/637.72	c bounds 379 >= 71 @ 604.045
635.87/637.72	c #Conflicts:      70000 | #Constraints:     665948
635.87/637.72	c bounds 379 >= 72 @ 612.014
635.87/637.72	c #Conflicts:      71000 | #Constraints:     666960
635.87/637.72	c bounds 379 >= 73 @ 616.79
635.87/637.72	c bounds 378 >= 73 @ 616.846
635.87/637.72	c #Conflicts:      72000 | #Constraints:     667994
635.87/637.72	c INPROCESSING
635.87/637.72	c GARBAGE COLLECT
635.87/637.72	c rational objective 178.471
781.09/783.37	c #Conflicts:      73000 | #Constraints:     663573
781.09/783.37	c bounds 378 >= 74 @ 655.422
781.09/783.37	c #Conflicts:      74000 | #Constraints:     664603
781.09/783.37	c bounds 378 >= 75 @ 661.582
781.09/783.37	c #Conflicts:      75000 | #Constraints:     665624
781.09/783.37	c bounds 376 >= 75 @ 663.289
781.09/783.37	c #Conflicts:      76000 | #Constraints:     666625
781.09/783.37	c #Conflicts:      77000 | #Constraints:     667625
781.09/783.37	c #Conflicts:      78000 | #Constraints:     668627
781.09/783.37	c INPROCESSING
781.09/783.37	c GARBAGE COLLECT
781.09/783.37	c rational objective 178.471
964.12/966.80	c #Conflicts:      79000 | #Constraints:     664030
964.12/966.80	c #Conflicts:      80000 | #Constraints:     665030
964.12/966.80	c bounds 376 >= 76 @ 808.481
964.12/966.80	c #Conflicts:      81000 | #Constraints:     666069
964.12/966.80	c #Conflicts:      82000 | #Constraints:     667069
964.12/966.80	c bounds 376 >= 77 @ 818.536
964.12/966.80	c #Conflicts:      83000 | #Constraints:     668102
964.12/966.80	c #Conflicts:      84000 | #Constraints:     669102
964.12/966.80	c INPROCESSING
964.12/966.80	c GARBAGE COLLECT
964.12/966.80	c #Conflicts:      85000 | #Constraints:     664307
964.12/966.80	c bounds 376 >= 78 @ 864.218
964.12/966.80	c #Conflicts:      86000 | #Constraints:     665334
964.12/966.80	c #Conflicts:      87000 | #Constraints:     666334
964.12/966.80	c #Conflicts:      88000 | #Constraints:     667335
964.12/966.80	c bounds 376 >= 79 @ 888.964
964.12/966.80	c #Conflicts:      89000 | #Constraints:     668374
964.12/966.80	c #Conflicts:      90000 | #Constraints:     669374
964.12/966.80	c INPROCESSING
964.12/966.80	c GARBAGE COLLECT
964.12/966.80	c rational objective 178.473
1100.17/1103.26	c #Conflicts:      91000 | #Constraints:     664392
1100.17/1103.26	c #Conflicts:      92000 | #Constraints:     665516
1100.17/1103.26	c #Conflicts:      93000 | #Constraints:     666663
1100.17/1103.26	c #Conflicts:      94000 | #Constraints:     667752
1100.17/1103.26	c #Conflicts:      95000 | #Constraints:     668758
1100.17/1103.26	c #Conflicts:      96000 | #Constraints:     669817
1100.17/1103.26	c INPROCESSING
1100.17/1103.26	c GARBAGE COLLECT
1100.17/1103.26	c rational objective 178.473
1463.64/1467.76	c #Conflicts:      97000 | #Constraints:     664430
1463.64/1467.76	c #Conflicts:      98000 | #Constraints:     665430
1463.64/1467.76	c #Conflicts:      99000 | #Constraints:     666431
1463.64/1467.76	c #Conflicts:     100000 | #Constraints:     667431
1463.64/1467.76	c #Conflicts:     101000 | #Constraints:     668432
1463.64/1467.76	c bounds 376 >= 80 @ 1141.44
1463.64/1467.76	c #Conflicts:     102000 | #Constraints:     669456
1463.64/1467.76	c #Conflicts:     103000 | #Constraints:     670456
1463.64/1467.76	c INPROCESSING
1463.64/1467.76	c GARBAGE COLLECT
1463.64/1467.76	c #Conflicts:     104000 | #Constraints:     664943
1463.64/1467.76	c #Conflicts:     105000 | #Constraints:     665943
1463.64/1467.76	c #Conflicts:     106000 | #Constraints:     666943
1463.64/1467.76	c bounds 376 >= 81 @ 1212.89
1463.64/1467.76	c #Conflicts:     107000 | #Constraints:     667979
1463.64/1467.76	c #Conflicts:     108000 | #Constraints:     668979
1463.64/1467.76	c #Conflicts:     109000 | #Constraints:     669979
1463.64/1467.76	c #Conflicts:     110000 | #Constraints:     670979
1463.64/1467.76	c INPROCESSING
1463.64/1467.76	c GARBAGE COLLECT
1463.64/1467.76	c #Conflicts:     111000 | #Constraints:     665330
1463.64/1467.76	c #Conflicts:     112000 | #Constraints:     666330
1463.64/1467.76	c #Conflicts:     113000 | #Constraints:     667330
1463.64/1467.76	c #Conflicts:     114000 | #Constraints:     668330
1463.64/1467.76	c bounds 376 >= 82 @ 1311.55
1463.64/1467.76	c #Conflicts:     115000 | #Constraints:     669366
1463.64/1467.76	c #Conflicts:     116000 | #Constraints:     670366
1463.64/1467.76	c #Conflicts:     117000 | #Constraints:     671366
1463.64/1467.76	c INPROCESSING
1463.64/1467.76	c GARBAGE COLLECT
1463.64/1467.76	c #Conflicts:     118000 | #Constraints:     665540
1463.64/1467.76	c #Conflicts:     119000 | #Constraints:     666540
1463.64/1467.76	c #Conflicts:     120000 | #Constraints:     667540
1463.64/1467.76	c #Conflicts:     121000 | #Constraints:     668540
1463.64/1467.76	c #Conflicts:     122000 | #Constraints:     669540
1463.64/1467.76	c bounds 376 >= 83 @ 1434.32
1463.64/1467.76	c #Conflicts:     123000 | #Constraints:     670585
1463.64/1467.76	c bounds 375 >= 83 @ 1436.31
1463.64/1467.76	c bounds 374 >= 83 @ 1437.36
1463.64/1467.76	c #Conflicts:     124000 | #Constraints:     671601
1463.64/1467.76	c INPROCESSING
1463.64/1467.76	c GARBAGE COLLECT
1463.64/1467.76	c rational objective 178.468
1626.35/1630.97	c #Conflicts:     125000 | #Constraints:     665590
1626.35/1630.97	c #Conflicts:     126000 | #Constraints:     666622
1626.35/1630.97	c #Conflicts:     127000 | #Constraints:     667678
1626.35/1630.97	c #Conflicts:     128000 | #Constraints:     668704
1626.35/1630.97	c #Conflicts:     129000 | #Constraints:     669817
1626.35/1630.97	c bounds 373 >= 83 @ 1579.57
1626.35/1630.97	c #Conflicts:     130000 | #Constraints:     671051
1626.35/1630.97	c #Conflicts:     131000 | #Constraints:     672051
1626.35/1630.97	c INPROCESSING
1626.35/1630.97	c GARBAGE COLLECT
1626.35/1630.97	c rational objective 178.468
1710.49/1715.39	c #Conflicts:     132000 | #Constraints:     665599
1710.49/1715.39	c #Conflicts:     133000 | #Constraints:     666599
1710.49/1715.39	c #Conflicts:     134000 | #Constraints:     667599
1710.49/1715.39	c #Conflicts:     135000 | #Constraints:     668599
1710.49/1715.39	c #Conflicts:     136000 | #Constraints:     669599
1710.49/1715.39	c #Conflicts:     137000 | #Constraints:     670599
1710.49/1715.39	c #Conflicts:     138000 | #Constraints:     671599
1710.49/1715.39	c #Conflicts:     139000 | #Constraints:     672600
1710.49/1715.39	c INPROCESSING
1710.49/1715.39	c GARBAGE COLLECT
1710.49/1715.39	c rational objective 178.468
1901.42/1906.81	c #Conflicts:     140000 | #Constraints:     666074
1901.42/1906.81	c #Conflicts:     141000 | #Constraints:     667074
1901.42/1906.81	c #Conflicts:     142000 | #Constraints:     668074
1901.42/1906.81	c #Conflicts:     143000 | #Constraints:     669074
1901.42/1906.81	c bounds 373 >= 84 @ 1743.8
1901.42/1906.81	c #Conflicts:     144000 | #Constraints:     670111
1901.42/1906.81	c #Conflicts:     145000 | #Constraints:     671111
1901.42/1906.81	c #Conflicts:     146000 | #Constraints:     672111
1901.42/1906.81	c #Conflicts:     147000 | #Constraints:     673112
1901.42/1906.81	c INPROCESSING
1901.42/1906.81	c GARBAGE COLLECT
1901.42/1906.81	c #Conflicts:     148000 | #Constraints:     666449
1901.42/1906.81	c #Conflicts:     149000 | #Constraints:     667449
1901.42/1906.81	c #Conflicts:     150000 | #Constraints:     668449
1901.42/1906.81	c #Conflicts:     151000 | #Constraints:     669449
1901.42/1906.81	c #Conflicts:     152000 | #Constraints:     670449
1901.42/1906.81	c #Conflicts:     153000 | #Constraints:     671449
1901.42/1906.81	c #Conflicts:     154000 | #Constraints:     672449
1901.42/1906.81	c #Conflicts:     155000 | #Constraints:     673449
1901.42/1906.81	c INPROCESSING
1901.42/1906.81	c GARBAGE COLLECT
1901.42/1906.81	c rational objective 178.468
2039.99/2045.89	c bounds 371 >= 84 @ 1892.01
2039.99/2045.89	c bounds 370 >= 84 @ 1895.2
2039.99/2045.89	c bounds 368 >= 84 @ 1898.11
2039.99/2045.89	c #Conflicts:     156000 | #Constraints:     666644
2039.99/2045.89	c bounds 367 >= 84 @ 1908.12
2039.99/2045.89	c #Conflicts:     157000 | #Constraints:     667741
2039.99/2045.89	c #Conflicts:     158000 | #Constraints:     668741
2039.99/2045.89	c #Conflicts:     159000 | #Constraints:     669741
2039.99/2045.89	c #Conflicts:     160000 | #Constraints:     670741
2039.99/2045.89	c #Conflicts:     161000 | #Constraints:     671741
2039.99/2045.89	c #Conflicts:     162000 | #Constraints:     672741
2039.99/2045.89	c bounds 367 >= 85 @ 1978.46
2039.99/2045.89	c bounds 366 >= 85 @ 1979.38
2039.99/2045.89	c bounds 365 >= 85 @ 1981.51
2039.99/2045.89	c #Conflicts:     163000 | #Constraints:     673798
2039.99/2045.89	c bounds 364 >= 85 @ 1982.49
2039.99/2045.89	c INPROCESSING
2039.99/2045.89	c GARBAGE COLLECT
2039.99/2045.89	c rational objective 178.468
2499.69/2506.94	c #Conflicts:     164000 | #Constraints:     666786
2499.69/2506.94	c #Conflicts:     165000 | #Constraints:     667847
2499.69/2506.94	c bounds 362 >= 85 @ 2062.98
2499.69/2506.94	c bounds 360 >= 85 @ 2063.06
2499.69/2506.94	c bounds 357 >= 85 @ 2063.15
2499.69/2506.94	c #Conflicts:     166000 | #Constraints:     668870
2499.69/2506.94	c #Conflicts:     167000 | #Constraints:     669884
2499.69/2506.94	c bounds 348 >= 85 @ 2088.17
2499.69/2506.94	c #Conflicts:     168000 | #Constraints:     670898
2499.69/2506.94	c #Conflicts:     169000 | #Constraints:     671898
2499.69/2506.94	c #Conflicts:     170000 | #Constraints:     672898
2499.69/2506.94	c #Conflicts:     171000 | #Constraints:     673898
2499.69/2506.94	c INPROCESSING
2499.69/2506.94	c GARBAGE COLLECT
2499.69/2506.94	c bounds 347 >= 85 @ 2154.15
2499.69/2506.94	c #Conflicts:     172000 | #Constraints:     666572
2499.69/2506.94	c bounds 346 >= 85 @ 2161.71
2499.69/2506.94	c #Conflicts:     173000 | #Constraints:     667589
2499.69/2506.94	c bounds 345 >= 85 @ 2162.12
2499.69/2506.94	c bounds 344 >= 85 @ 2164.88
2499.69/2506.94	c bounds 343 >= 85 @ 2168.6
2499.69/2506.94	c #Conflicts:     174000 | #Constraints:     668612
2499.69/2506.94	c #Conflicts:     175000 | #Constraints:     669623
2499.69/2506.94	c bounds 342 >= 85 @ 2189.71
2499.69/2506.94	c #Conflicts:     176000 | #Constraints:     670626
2499.69/2506.94	c #Conflicts:     177000 | #Constraints:     671626
2499.69/2506.94	c #Conflicts:     178000 | #Constraints:     672626
2499.69/2506.94	c #Conflicts:     179000 | #Constraints:     673628
2499.69/2506.94	c #Conflicts:     180000 | #Constraints:     674628
2499.69/2506.94	c INPROCESSING
2499.69/2506.94	c GARBAGE COLLECT
2499.69/2506.94	c #Conflicts:     181000 | #Constraints:     667135
2499.69/2506.94	c #Conflicts:     182000 | #Constraints:     668135
2499.69/2506.94	c #Conflicts:     183000 | #Constraints:     669381
2499.69/2506.94	c #Conflicts:     184000 | #Constraints:     670490
2499.69/2506.94	c #Conflicts:     185000 | #Constraints:     671737
2499.69/2506.94	c #Conflicts:     186000 | #Constraints:     672781
2499.69/2506.94	c #Conflicts:     187000 | #Constraints:     673792
2499.69/2506.94	c bounds 341 >= 85 @ 2455.83
2499.69/2506.94	c #Conflicts:     188000 | #Constraints:     674805
2499.69/2506.94	c #Conflicts:     189000 | #Constraints:     675805
2499.69/2506.94	c INPROCESSING
2499.69/2506.94	c GARBAGE COLLECT
2499.69/2506.94	c rational objective 178.468
2606.66/2614.23	c #Conflicts:     190000 | #Constraints:     667823
2606.66/2614.23	c #Conflicts:     191000 | #Constraints:     668824
2606.66/2614.23	c #Conflicts:     192000 | #Constraints:     669825
2606.66/2614.23	c #Conflicts:     193000 | #Constraints:     670825
2606.66/2614.23	c #Conflicts:     194000 | #Constraints:     671825
2606.66/2614.23	c #Conflicts:     195000 | #Constraints:     672826
2606.66/2614.23	c #Conflicts:     196000 | #Constraints:     673826
2606.66/2614.23	c #Conflicts:     197000 | #Constraints:     674826
2606.66/2614.23	c #Conflicts:     198000 | #Constraints:     675826
2606.66/2614.23	c INPROCESSING
2606.66/2614.23	c GARBAGE COLLECT
2606.66/2614.23	c rational objective 178.468
2769.45/2777.52	c #Conflicts:     199000 | #Constraints:     667833
2769.45/2777.52	c #Conflicts:     200000 | #Constraints:     668836
2769.45/2777.52	c #Conflicts:     201000 | #Constraints:     669837
2769.45/2777.52	c #Conflicts:     202000 | #Constraints:     670837
2769.45/2777.52	c #Conflicts:     203000 | #Constraints:     671837
2769.45/2777.52	c #Conflicts:     204000 | #Constraints:     672838
2769.45/2777.52	c #Conflicts:     205000 | #Constraints:     673841
2769.45/2777.52	c #Conflicts:     206000 | #Constraints:     674841
2769.45/2777.52	c #Conflicts:     207000 | #Constraints:     675841
2769.45/2777.52	c INPROCESSING
2769.45/2777.52	c GARBAGE COLLECT
2769.45/2777.52	c rational objective 178.468
2931.92/2940.49	c bounds 337 >= 85 @ 2756.5
2931.92/2940.49	c #Conflicts:     208000 | #Constraints:     667752
2931.92/2940.49	c #Conflicts:     209000 | #Constraints:     668874
2931.92/2940.49	c #Conflicts:     210000 | #Constraints:     669982
2931.92/2940.49	c #Conflicts:     211000 | #Constraints:     670992
2931.92/2940.49	c #Conflicts:     212000 | #Constraints:     672000
2931.92/2940.49	c #Conflicts:     213000 | #Constraints:     673009
2931.92/2940.49	c #Conflicts:     214000 | #Constraints:     674016
2931.92/2940.49	c #Conflicts:     215000 | #Constraints:     675024
2931.92/2940.49	c #Conflicts:     216000 | #Constraints:     676032
2931.92/2940.49	c INPROCESSING
2931.92/2940.49	c GARBAGE COLLECT
2931.92/2940.49	c rational objective 178.468
3062.79/3071.61	c #Conflicts:     217000 | #Constraints:     667638
3062.79/3071.61	c #Conflicts:     218000 | #Constraints:     668639
3062.79/3071.61	c #Conflicts:     219000 | #Constraints:     669639
3062.79/3071.61	c #Conflicts:     220000 | #Constraints:     670640
3062.79/3071.61	c #Conflicts:     221000 | #Constraints:     671640
3062.79/3071.61	c #Conflicts:     222000 | #Constraints:     672640
3062.79/3071.61	c #Conflicts:     223000 | #Constraints:     673642
3062.79/3071.61	c #Conflicts:     224000 | #Constraints:     674642
3062.79/3071.61	c #Conflicts:     225000 | #Constraints:     675642
3062.79/3071.61	c #Conflicts:     226000 | #Constraints:     676643
3062.79/3071.61	c INPROCESSING
3062.79/3071.61	c GARBAGE COLLECT
3062.79/3071.61	c rational objective 178.468
3260.88/3270.28	c #Conflicts:     227000 | #Constraints:     668160
3260.88/3270.28	c #Conflicts:     228000 | #Constraints:     669217
3260.88/3270.28	c #Conflicts:     229000 | #Constraints:     670492
3260.88/3270.28	c #Conflicts:     230000 | #Constraints:     672019
3260.88/3270.28	c #Conflicts:     231000 | #Constraints:     673166
3260.88/3270.28	c #Conflicts:     232000 | #Constraints:     674197
3260.88/3270.28	c bounds 336 >= 85 @ 3166.61
3260.88/3270.28	c #Conflicts:     233000 | #Constraints:     675204
3260.88/3270.28	c #Conflicts:     234000 | #Constraints:     676204
3260.88/3270.28	c #Conflicts:     235000 | #Constraints:     677204
3260.88/3270.28	c #Conflicts:     236000 | #Constraints:     678204
3260.88/3270.28	c INPROCESSING
3260.88/3270.28	c GARBAGE COLLECT
3260.88/3270.28	c rational objective 178.468
3469.04/3478.98	c bounds 335 >= 85 @ 3245.7
3469.04/3478.98	c #Conflicts:     237000 | #Constraints:     669055
3469.04/3478.98	c #Conflicts:     238000 | #Constraints:     670067
3469.04/3478.98	c #Conflicts:     239000 | #Constraints:     671071
3469.04/3478.98	c bounds 334 >= 85 @ 3289.34
3469.04/3478.98	c #Conflicts:     240000 | #Constraints:     672078
3469.04/3478.98	c #Conflicts:     241000 | #Constraints:     673078
3469.04/3478.98	c #Conflicts:     242000 | #Constraints:     674078
3469.04/3478.98	c #Conflicts:     243000 | #Constraints:     675078
3469.04/3478.98	c #Conflicts:     244000 | #Constraints:     676078
3469.04/3478.98	c #Conflicts:     245000 | #Constraints:     677078
3469.04/3478.98	c #Conflicts:     246000 | #Constraints:     678078
3469.04/3478.98	c INPROCESSING
3469.04/3478.98	c GARBAGE COLLECT
3469.04/3478.98	c rational objective 178.468
3600.02/3610.20	c
3600.02/3610.20	s SATISFIABLE
3600.02/3610.20	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.20	c bounds 329 >= 85 @ 3453.11
3600.02/3610.20	c bounds 328 >= 85 @ 3457.66
3600.02/3610.20	c bounds 327 >= 85 @ 3457.84
3600.02/3610.20	c #Conflicts:     247000 | #Constraints:     668970
3600.02/3610.20	c #Conflicts:     248000 | #Constraints:     669970
3600.02/3610.20	c #Conflicts:     249000 | #Constraints:     670970
3600.02/3610.20	c #Conflicts:     250000 | #Constraints:     672055
3600.02/3610.20	c #Conflicts:     251000 | #Constraints:     673080
3600.02/3610.20	c #Conflicts:     252000 | #Constraints:     674180
3600.02/3610.20	c #Conflicts:     253000 | #Constraints:     675268
3600.02/3610.20	c #Conflicts:     254000 | #Constraints:     676277

Verifier Data 

OK	327

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: 64096 MiB (63397 MiB free)
  memory of node 1: 64473 MiB (62201 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=802580, runsolver pid=802577
Current StackSize limit: 8192 KiB


[startup+0.100994 s]*
/proc/loadavg: 3.81 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128604056/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=40440 memory=8916 CPUtime=0.1 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 1585 0 0 0 6 4 0 0 20 0 1 0 157001828 41410560 2229 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 10110 2229 1230 922 0 2062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40440 KiB
Current children cumulated memory: 8916 KiB

[startup+0.209896 s]*
/proc/loadavg: 3.81 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128595060/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=40828 memory=9972 CPUtime=0.21 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 1822 0 0 0 14 7 0 0 20 0 1 0 157001828 41807872 2493 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 10207 2493 1230 922 0 2159 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9972 KiB

[startup+0.309587 s]*
/proc/loadavg: 3.81 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128590184/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=40960 memory=12548 CPUtime=0.31 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 1974 0 0 0 20 11 0 0 20 0 1 0 157001828 41943040 3137 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 10240 3137 1230 922 0 2192 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40960 KiB
Current children cumulated memory: 12548 KiB

[startup+0.700274 s]
/proc/loadavg: 3.81 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128583472/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=45120 memory=14744 CPUtime=0.69 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 2498 0 0 0 45 24 0 0 20 0 1 0 157001828 46202880 3686 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 11280 3686 1230 922 0 3232 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45120 KiB
Current children cumulated memory: 14744 KiB

[startup+1.50027 s]
/proc/loadavg: 3.82 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128574284/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=63320 memory=27944 CPUtime=1.48 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 4759 0 0 0 96 52 0 0 20 0 1 0 157001828 64839680 6986 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 15830 6986 1230 922 0 7782 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63320 KiB
Current children cumulated memory: 27944 KiB

[startup+3.1128 s]
/proc/loadavg: 3.82 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128124384/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=360720 memory=329128 CPUtime=3.1 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 57907 0 0 0 210 100 0 0 20 0 1 0 157001828 369377280 82282 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 90180 82282 1611 922 0 82132 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 329128 KiB

[startup+6.30023 s]
/proc/loadavg: 3.84 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128225640/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=360720 memory=329128 CPUtime=6.28 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 57923 0 0 0 528 100 0 0 20 0 1 0 157001828 369377280 82282 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 90180 82282 1611 922 0 82132 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 329128 KiB

[startup+12.7003 s]
/proc/loadavg: 3.85 4.05 4.11 5/246 802583
/proc/meminfo: memFree=128141676/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=525128 memory=406488 CPUtime=12.65 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 64701 0 0 0 1101 164 0 0 20 0 1 0 157001828 537731072 101622 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 131282 101622 1816 922 0 123234 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 525128 KiB
Current children cumulated memory: 406488 KiB

[startup+25.5003 s]
/proc/loadavg: 3.95 4.07 4.12 5/246 802595
/proc/meminfo: memFree=127949880/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=612356 memory=475524 CPUtime=25.41 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 68724 0 0 0 2341 200 0 0 20 0 1 0 157001828 627052544 118881 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 153089 118881 1816 922 0 145041 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 612356 KiB
Current children cumulated memory: 475524 KiB

[startup+51.1128 s]
/proc/loadavg: 3.97 4.06 4.11 5/246 802600
/proc/meminfo: memFree=127861440/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=658024 memory=548232 CPUtime=50.94 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 73278 0 0 0 4855 239 0 0 20 0 1 0 157001828 673816576 137058 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 164506 137058 1816 922 0 156458 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 658024 KiB
Current children cumulated memory: 548232 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.11 5/246 802608
/proc/meminfo: memFree=127795772/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=768848 memory=595496 CPUtime=101.96 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 77358 0 0 0 9907 289 0 0 20 0 1 0 157001828 787300352 148874 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 192212 148874 1816 922 0 184164 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 768848 KiB
Current children cumulated memory: 595496 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.11 5/246 802619
/proc/meminfo: memFree=127278092/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=1212484 memory=1040516 CPUtime=161.76 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 128041 0 0 0 15794 382 0 0 20 0 1 0 157001828 1241583616 260129 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 303121 260129 1816 922 0 295073 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1212484 KiB
Current children cumulated memory: 1040516 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.10 5/244 802629
/proc/meminfo: memFree=127100428/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=1348156 memory=1186700 CPUtime=221.58 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 136096 0 0 0 21730 428 0 0 20 0 1 0 157001828 1380511744 296675 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 337039 296675 1816 922 0 328991 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1348156 KiB
Current children cumulated memory: 1186700 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.10 5/244 802640
/proc/meminfo: memFree=127049344/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=1348156 memory=1187744 CPUtime=281.42 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 136347 0 0 0 27704 438 0 0 20 0 1 0 157001828 1380511744 296936 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 337039 296936 1949 922 0 328991 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1348156 KiB
Current children cumulated memory: 1187744 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 802651
/proc/meminfo: memFree=127001696/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=1348156 memory=1196692 CPUtime=341.27 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 136569 0 0 0 33646 481 0 0 20 0 1 0 157001828 1380511744 299173 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 337039 299173 1949 922 0 328991 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1348156 KiB
Current children cumulated memory: 1196692 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/241 802661
/proc/meminfo: memFree=126695504/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=1676536 memory=1414896 CPUtime=401.11 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 146550 0 0 0 39568 543 0 0 20 0 1 0 157001828 1716772864 353724 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 419134 353724 1949 922 0 411086 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 1676536 KiB
Current children cumulated memory: 1414896 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 802671
/proc/meminfo: memFree=126645852/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=1698952 memory=1438500 CPUtime=460.95 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 147566 0 0 0 45498 597 0 0 20 0 1 0 157001828 1739726848 359625 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 424738 359625 1965 922 0 416690 0

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

Current children cumulated memory: 2237760 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/241 803824
/proc/meminfo: memFree=125288640/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2582200 memory=2269632 CPUtime=2854.03 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 340589 0 0 0 283614 1789 0 0 20 0 1 0 157001828 2644172800 567408 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 645550 567408 1965 922 0 637502 0
Current children cumulated CPU time: 2854.03 s
Current children cumulated vsize: 2582200 KiB
Current children cumulated memory: 2269632 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/241 803836
/proc/meminfo: memFree=125056632/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2672016 memory=2481740 CPUtime=2913.87 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 356696 0 0 0 289583 1804 0 0 20 0 1 0 157001828 2736144384 620435 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 668004 620435 1965 922 0 659956 0
Current children cumulated CPU time: 2913.87 s
Current children cumulated vsize: 2672016 KiB
Current children cumulated memory: 2481740 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/241 803846
/proc/meminfo: memFree=124918316/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2777252 memory=2597948 CPUtime=2973.72 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 362711 0 0 0 295537 1835 0 0 20 0 1 0 157001828 2843906048 649487 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 694313 649487 1965 922 0 686265 0
Current children cumulated CPU time: 2973.72 s
Current children cumulated vsize: 2777252 KiB
Current children cumulated memory: 2597948 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/244 803861
/proc/meminfo: memFree=125010848/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2682792 memory=2503412 CPUtime=3033.56 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 365125 0 0 0 301492 1864 0 0 20 0 1 0 157001828 2747179008 625853 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670698 625853 1965 922 0 662650 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 2682792 KiB
Current children cumulated memory: 2503412 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 803872
/proc/meminfo: memFree=125005016/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2682792 memory=2507508 CPUtime=3093.41 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 366175 0 0 0 307463 1878 0 0 20 0 1 0 157001828 2747179008 626877 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670698 626877 1965 922 0 662650 0
Current children cumulated CPU time: 3093.41 s
Current children cumulated vsize: 2682792 KiB
Current children cumulated memory: 2507508 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 803882
/proc/meminfo: memFree=125001016/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2682792 memory=2507508 CPUtime=3153.25 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 367205 0 0 0 313441 1884 0 0 20 0 1 0 157001828 2747179008 626877 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670698 626877 1965 922 0 662650 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 2682792 KiB
Current children cumulated memory: 2507508 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/244 803892
/proc/meminfo: memFree=124977696/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2682792 memory=2502328 CPUtime=3213.1 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 373803 0 0 0 319395 1915 0 0 20 0 1 0 157001828 2747179008 625582 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670698 625582 1965 922 0 662650 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 2682792 KiB
Current children cumulated memory: 2502328 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/244 803903
/proc/meminfo: memFree=124959736/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2667396 memory=2497320 CPUtime=3272.95 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 379981 0 0 0 325340 1955 0 0 20 0 1 0 157001828 2731413504 624330 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 666849 624330 1965 922 0 658801 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 2667396 KiB
Current children cumulated memory: 2497320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/242 804297
/proc/meminfo: memFree=124951296/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2682792 memory=2502332 CPUtime=3332.8 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 381751 0 0 0 331291 1989 0 0 20 0 1 0 157001828 2747179008 625583 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670698 625583 1965 922 0 662650 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 2682792 KiB
Current children cumulated memory: 2502332 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/242 804307
/proc/meminfo: memFree=124950908/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2682792 memory=2502336 CPUtime=3392.64 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 382857 0 0 0 337238 2026 0 0 20 0 1 0 157001828 2747179008 625584 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670698 625584 1965 922 0 662650 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 2682792 KiB
Current children cumulated memory: 2502336 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 804317
/proc/meminfo: memFree=124944720/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2683568 memory=2507668 CPUtime=3452.49 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 393188 0 0 0 343205 2044 0 0 20 0 1 0 157001828 2747973632 626917 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670892 626917 1965 922 0 662844 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 2683568 KiB
Current children cumulated memory: 2507668 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/244 804498
/proc/meminfo: memFree=124940368/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2683568 memory=2511604 CPUtime=3512.34 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 394987 0 0 0 349175 2059 0 0 20 0 1 0 157001828 2747973632 627901 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670892 627901 1965 922 0 662844 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 2683568 KiB
Current children cumulated memory: 2511604 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/245 804509
/proc/meminfo: memFree=124934608/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2683568 memory=2511604 CPUtime=3572.18 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 396127 0 0 0 355144 2074 0 0 20 0 1 0 157001828 2747973632 627901 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670892 627901 1965 922 0 662844 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 2683568 KiB
Current children cumulated memory: 2511604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/244 804565
/proc/meminfo: memFree=125619068/131655788 swapFree=131071996/131071996
[pid=802580] ppid=802577 vsize=2683568 memory=2511604 CPUtime=3600.02 cores=5,7
/proc/802580/stat : 802580 (roundingsat) R 802577 802580 802507 0 -1 4194304 396699 0 0 0 357921 2081 0 0 20 0 1 0 157001828 2747973632 627901 134679101440 4194304 7968869 140721315017520 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 9633792 140721315025854 140721315026018 140721315026018 140721315033033 0
/proc/802580/statm: 670892 627901 1965 922 0 662844 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2683568 KiB
Current children cumulated memory: 2511604 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.22 s, system=20.8242 s

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

Child status: 1

Real time (s): 3610.22
CPU time (s): 3600.04
CPU user time (s): 3579.22
CPU system time (s): 20.8242
CPU usage (%): 99.7182
Max. virtual memory (cumulated for all children) (KiB): 2784068
Max. memory (cumulated for all children) (KiB): 2613520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.22
system time used= 20.8242
maximum resident set size= 2613700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396710
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= 141
involuntary context switches= 1908


# summary of solver processes directly reported to runsolver:
#   pid: 802580
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3579.22
#   total CPU system time (s): 20.8242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6635 second user time and 33.6657 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-15 15:00:42
IDJOB=4429424
IDBENCH=147551
IDSOLVER=3051
FILE ID=nodeC005/4429424-1721048429
RUNJOBID= nodeC005-1721048442-802520
SLURM_JOB_ID= 7505464
Free space on /tmp= 723752 MiB

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

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=104377921

nodeC005.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		: 1221.062
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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		: 1243.579
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.35
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.195
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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.193
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.35
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.177
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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		: 1351.679
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.35
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.179
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.53
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		: 1258.194
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.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128613472 kB
MemAvailable:   129963860 kB
Buffers:          345208 kB
Cached:          1833152 kB
SwapCached:            0 kB
Active:           562648 kB
Inactive:        1918600 kB
Active(anon):       3384 kB
Inactive(anon):   337548 kB
Active(file):     559264 kB
Inactive(file):  1581052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             38184 kB
Writeback:             0 kB
AnonPages:        302496 kB
Mapped:           113452 kB
Shmem:             37704 kB
KReclaimable:     100544 kB
Slab:             201264 kB
SReclaimable:     100544 kB
SUnreclaim:       100720 kB
KernelStack:        3952 kB
PageTables:        10044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     769068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52000 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 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:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723724 MiB
End job on nodeC005 at 2024-07-15 16:00:53