Trace number 4429425

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)315 3600.08 3609.32

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUM37dc22c6a12cddf588c55f8d6ee6d8c2
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 benchmark240
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 492823
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 492823
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 
1.69/1.73	c #variables 10000 #constraints 656900
3.68/3.72	c bounds 492824 >= 0 @ 1.2165
3.68/3.72	c rational objective 165.925
47.06/47.25	c bounds 6998 >= 0 @ 7.45356
47.06/47.25	c bounds 6800 >= 0 @ 7.46111
47.06/47.25	c bounds 6758 >= 0 @ 7.46938
47.06/47.25	c bounds 6321 >= 0 @ 7.47637
47.06/47.25	c bounds 6285 >= 0 @ 7.48383
47.06/47.25	c bounds 6247 >= 0 @ 7.49395
47.06/47.25	c bounds 6206 >= 0 @ 7.49635
47.06/47.25	c bounds 6165 >= 0 @ 7.50106
47.06/47.25	c bounds 6056 >= 0 @ 7.5083
47.06/47.25	c bounds 6007 >= 0 @ 7.5249
47.06/47.25	c bounds 5977 >= 0 @ 7.53142
47.06/47.25	c bounds 5926 >= 0 @ 7.5372
47.06/47.25	c bounds 5751 >= 0 @ 7.54408
47.06/47.25	c bounds 5744 >= 0 @ 7.54798
47.06/47.25	c bounds 5671 >= 0 @ 7.55307
47.06/47.25	c bounds 5637 >= 0 @ 7.55604
47.06/47.25	c bounds 5554 >= 0 @ 7.5603
47.06/47.25	c bounds 5347 >= 0 @ 7.56578
47.06/47.25	c bounds 5169 >= 0 @ 7.57327
47.06/47.25	c bounds 5163 >= 0 @ 7.58285
47.06/47.25	c bounds 5091 >= 0 @ 7.59044
47.06/47.25	c bounds 4963 >= 0 @ 7.59789
47.06/47.25	c bounds 4872 >= 0 @ 7.60271
47.06/47.25	c bounds 4868 >= 0 @ 7.60877
47.06/47.25	c bounds 4845 >= 0 @ 7.61737
47.06/47.25	c bounds 4652 >= 0 @ 7.62471
47.06/47.25	c bounds 4594 >= 0 @ 7.62856
47.06/47.25	c bounds 4548 >= 0 @ 7.63164
47.06/47.25	c bounds 4527 >= 0 @ 7.63875
47.06/47.25	c bounds 4505 >= 0 @ 7.6475
47.06/47.25	c bounds 4365 >= 0 @ 7.65095
47.06/47.25	c bounds 4193 >= 0 @ 7.65561
47.06/47.25	c bounds 4152 >= 0 @ 7.66501
47.06/47.25	c bounds 3966 >= 0 @ 7.6696
47.06/47.25	c bounds 3849 >= 0 @ 7.67313
47.06/47.25	c bounds 3848 >= 0 @ 7.67802
47.06/47.25	c bounds 3844 >= 0 @ 7.73837
47.06/47.25	c bounds 3816 >= 0 @ 7.75428
47.06/47.25	c bounds 3702 >= 0 @ 7.75914
47.06/47.25	c bounds 3681 >= 0 @ 7.76282
47.06/47.25	c bounds 3675 >= 0 @ 7.77503
47.06/47.25	c bounds 3624 >= 0 @ 7.86774
47.06/47.25	c bounds 3599 >= 0 @ 7.87493
47.06/47.25	c bounds 3564 >= 0 @ 7.96333
47.06/47.25	c bounds 3559 >= 0 @ 7.97151
47.06/47.25	c bounds 3521 >= 0 @ 8.06982
47.06/47.25	c bounds 3506 >= 0 @ 8.0797
47.06/47.25	c bounds 3392 >= 0 @ 8.08584
47.06/47.25	c bounds 3366 >= 0 @ 8.09097
47.06/47.25	c bounds 3325 >= 0 @ 8.185
47.06/47.25	c bounds 3308 >= 0 @ 8.19541
47.06/47.25	c bounds 3257 >= 0 @ 8.20126
47.06/47.25	c bounds 3164 >= 0 @ 8.2098
47.06/47.25	c bounds 3126 >= 0 @ 8.26653
47.06/47.25	c bounds 3044 >= 0 @ 8.2697
47.06/47.25	c bounds 2926 >= 0 @ 8.27258
47.06/47.25	c bounds 2831 >= 0 @ 8.27848
47.06/47.25	c bounds 2772 >= 0 @ 8.28482
47.06/47.25	c bounds 2769 >= 0 @ 8.29687
47.06/47.25	c bounds 2625 >= 0 @ 8.40469
47.06/47.25	c bounds 2591 >= 0 @ 8.41432
47.06/47.25	c bounds 2549 >= 0 @ 8.42225
47.06/47.25	c bounds 2480 >= 0 @ 8.42828
47.06/47.25	c bounds 2465 >= 0 @ 8.43396
47.06/47.25	c bounds 2380 >= 0 @ 8.4416
47.06/47.25	c bounds 2368 >= 0 @ 8.46167
47.06/47.25	c bounds 2357 >= 0 @ 8.46616
47.06/47.25	c bounds 2355 >= 0 @ 8.50885
47.06/47.25	c bounds 2213 >= 0 @ 8.51577
47.06/47.25	c bounds 2187 >= 0 @ 8.53377
47.06/47.25	c bounds 1979 >= 0 @ 8.54156
47.06/47.25	c bounds 1800 >= 0 @ 8.54857
47.06/47.25	c bounds 1793 >= 0 @ 8.55348
47.06/47.25	c bounds 1755 >= 0 @ 8.56123
47.06/47.25	c bounds 1742 >= 0 @ 8.57372
47.06/47.25	c bounds 1737 >= 0 @ 8.58843
47.06/47.25	c bounds 1731 >= 0 @ 8.70536
47.06/47.25	c bounds 1642 >= 0 @ 8.7145
47.06/47.25	c bounds 1641 >= 0 @ 8.72997
47.06/47.25	c bounds 1635 >= 0 @ 8.74351
47.06/47.25	c bounds 1619 >= 0 @ 8.75113
47.06/47.25	c bounds 1567 >= 0 @ 8.75687
47.06/47.25	c bounds 1474 >= 0 @ 8.82774
47.06/47.25	c bounds 1445 >= 0 @ 9.56522
47.06/47.25	c bounds 1360 >= 0 @ 9.57824
47.06/47.25	c bounds 1342 >= 0 @ 9.59109
47.06/47.25	c bounds 1300 >= 0 @ 9.59714
47.06/47.25	c bounds 1205 >= 0 @ 9.60242
47.06/47.25	c bounds 1198 >= 0 @ 9.61002
47.06/47.25	c bounds 1147 >= 0 @ 9.66333
47.06/47.25	c bounds 1143 >= 0 @ 9.67766
47.06/47.25	c bounds 1140 >= 0 @ 9.68574
47.06/47.25	c bounds 1139 >= 0 @ 9.70693
47.06/47.25	c #Conflicts:       1000 | #Constraints:     658002
47.06/47.25	c bounds 1132 >= 0 @ 10.9387
47.06/47.25	c bounds 1119 >= 0 @ 10.9571
47.06/47.25	c bounds 928 >= 0 @ 11.0333
47.06/47.25	c bounds 907 >= 0 @ 11.0459
47.06/47.25	c bounds 905 >= 0 @ 11.0644
47.06/47.25	c bounds 887 >= 0 @ 11.0747
47.06/47.25	c bounds 768 >= 0 @ 11.2588
47.06/47.25	c bounds 761 >= 0 @ 11.2673
47.06/47.25	c bounds 679 >= 0 @ 11.2809
47.06/47.25	c bounds 619 >= 0 @ 11.298
47.06/47.25	c bounds 567 >= 0 @ 11.5406
47.06/47.25	c #Conflicts:       2000 | #Constraints:     659013
47.06/47.25	c INPROCESSING
47.06/47.25	c GARBAGE COLLECT
47.06/47.25	c #Conflicts:       3000 | #Constraints:     658911
47.06/47.25	c #Conflicts:       4000 | #Constraints:     659911
47.06/47.25	c INPROCESSING
47.06/47.25	c GARBAGE COLLECT
47.06/47.25	c bounds 562 >= 0 @ 23.8359
47.06/47.25	c bounds 559 >= 0 @ 24.0853
47.06/47.25	c #Conflicts:       5000 | #Constraints:     659320
47.06/47.25	c #Conflicts:       6000 | #Constraints:     660320
47.06/47.25	c INPROCESSING
47.06/47.25	c GARBAGE COLLECT
47.06/47.25	c bounds 558 >= 0 @ 28.5632
47.06/47.25	c bounds 552 >= 0 @ 28.579
47.06/47.25	c bounds 547 >= 0 @ 28.5918
47.06/47.25	c bounds 546 >= 0 @ 28.6121
47.06/47.25	c #Conflicts:       7000 | #Constraints:     659329
47.06/47.25	c #Conflicts:       8000 | #Constraints:     660351
47.06/47.25	c bounds 545 >= 0 @ 39.4158
47.06/47.25	c #Conflicts:       9000 | #Constraints:     661363
47.06/47.25	c INPROCESSING
47.06/47.25	c GARBAGE COLLECT
47.06/47.25	c rational objective 167.755
61.22/61.44	c #Conflicts:      10000 | #Constraints:     660045
61.22/61.44	c #Conflicts:      11000 | #Constraints:     661045
61.22/61.44	c #Conflicts:      12000 | #Constraints:     662045
61.22/61.44	c INPROCESSING
61.22/61.44	c GARBAGE COLLECT
61.22/61.44	c rational objective 168.618
77.19/77.46	c #Conflicts:      13000 | #Constraints:     660488
77.19/77.46	c bounds 377 >= 0 @ 67.1875
77.19/77.46	c bounds 377 >= 6 @ 67.2019
77.19/77.46	c #Conflicts:      14000 | #Constraints:     661492
77.19/77.46	c #Conflicts:      15000 | #Constraints:     662492
77.19/77.46	c INPROCESSING
77.19/77.46	c GARBAGE COLLECT
77.19/77.46	c rational objective 169.141
95.34/95.63	c #Conflicts:      16000 | #Constraints:     660717
95.34/95.63	c #Conflicts:      17000 | #Constraints:     661717
95.34/95.63	c #Conflicts:      18000 | #Constraints:     662717
95.34/95.63	c INPROCESSING
95.34/95.63	c GARBAGE COLLECT
95.34/95.63	c rational objective 169.182
113.19/113.51	c #Conflicts:      19000 | #Constraints:     660743
113.19/113.51	c #Conflicts:      20000 | #Constraints:     661743
113.19/113.51	c #Conflicts:      21000 | #Constraints:     662743
113.19/113.51	c INPROCESSING
113.19/113.51	c GARBAGE COLLECT
113.19/113.51	c rational objective 169.182
168.06/168.55	c bounds 376 >= 6 @ 115.254
168.06/168.55	c bounds 375 >= 6 @ 115.276
168.06/168.55	c bounds 372 >= 6 @ 115.3
168.06/168.55	c bounds 367 >= 6 @ 115.35
168.06/168.55	c bounds 362 >= 6 @ 115.383
168.06/168.55	c bounds 360 >= 6 @ 115.405
168.06/168.55	c #Conflicts:      22000 | #Constraints:     660551
168.06/168.55	c bounds 358 >= 6 @ 119.729
168.06/168.55	c bounds 358 >= 11 @ 119.74
168.06/168.55	c bounds 358 >= 16 @ 120.202
168.06/168.55	c #Conflicts:      23000 | #Constraints:     661565
168.06/168.55	c #Conflicts:      24000 | #Constraints:     662565
168.06/168.55	c bounds 358 >= 21 @ 131.141
168.06/168.55	c bounds 355 >= 21 @ 131.208
168.06/168.55	c #Conflicts:      25000 | #Constraints:     663640
168.06/168.55	c INPROCESSING
168.06/168.55	c GARBAGE COLLECT
168.06/168.55	c rational objective 169.415
237.68/238.38	c #Conflicts:      26000 | #Constraints:     661191
237.68/238.38	c #Conflicts:      27000 | #Constraints:     662192
237.68/238.38	c #Conflicts:      28000 | #Constraints:     663192
237.68/238.38	c #Conflicts:      29000 | #Constraints:     664193
237.68/238.38	c INPROCESSING
237.68/238.38	c GARBAGE COLLECT
237.68/238.38	c rational objective 169.708
373.33/374.35	c bounds 354 >= 21 @ 245.763
373.33/374.35	c #Conflicts:      30000 | #Constraints:     661613
373.33/374.35	c #Conflicts:      31000 | #Constraints:     662810
373.33/374.35	c #Conflicts:      32000 | #Constraints:     664256
373.33/374.35	c bounds 351 >= 21 @ 341.811
373.33/374.35	c bounds 351 >= 25 @ 344.316
373.33/374.35	c #Conflicts:      33000 | #Constraints:     665953
373.33/374.35	c INPROCESSING
373.33/374.35	c GARBAGE COLLECT
373.33/374.35	c rational objective 169.708
591.18/592.73	c #Conflicts:      34000 | #Constraints:     662450
591.18/592.73	c #Conflicts:      35000 | #Constraints:     663451
591.18/592.73	c #Conflicts:      36000 | #Constraints:     664453
591.18/592.73	c #Conflicts:      37000 | #Constraints:     665458
591.18/592.73	c INPROCESSING
591.18/592.73	c GARBAGE COLLECT
591.18/592.73	c #Conflicts:      38000 | #Constraints:     662108
591.18/592.73	c #Conflicts:      39000 | #Constraints:     663112
591.18/592.73	c #Conflicts:      40000 | #Constraints:     664115
591.18/592.73	c #Conflicts:      41000 | #Constraints:     665118
591.18/592.73	c INPROCESSING
591.18/592.73	c GARBAGE COLLECT
591.18/592.73	c #Conflicts:      42000 | #Constraints:     661742
591.18/592.73	c #Conflicts:      43000 | #Constraints:     662747
591.18/592.73	c #Conflicts:      44000 | #Constraints:     663755
591.18/592.73	c #Conflicts:      45000 | #Constraints:     664762
591.18/592.73	c #Conflicts:      46000 | #Constraints:     665763
591.18/592.73	c INPROCESSING
591.18/592.73	c GARBAGE COLLECT
591.18/592.73	c #Conflicts:      47000 | #Constraints:     662259
591.18/592.73	c #Conflicts:      48000 | #Constraints:     663259
591.18/592.73	c #Conflicts:      49000 | #Constraints:     664259
591.18/592.73	c #Conflicts:      50000 | #Constraints:     665260
591.18/592.73	c #Conflicts:      51000 | #Constraints:     666262
591.18/592.73	c INPROCESSING
591.18/592.73	c GARBAGE COLLECT
591.18/592.73	c #Conflicts:      52000 | #Constraints:     662609
591.18/592.73	c #Conflicts:      53000 | #Constraints:     663610
591.18/592.73	c #Conflicts:      54000 | #Constraints:     664612
591.18/592.73	c #Conflicts:      55000 | #Constraints:     665615
591.18/592.73	c #Conflicts:      56000 | #Constraints:     666618
591.18/592.73	c INPROCESSING
591.18/592.73	c GARBAGE COLLECT
591.18/592.73	c rational objective 169.708
651.12/652.87	c #Conflicts:      57000 | #Constraints:     662794
651.12/652.87	c #Conflicts:      58000 | #Constraints:     663797
651.12/652.87	c #Conflicts:      59000 | #Constraints:     664800
651.12/652.87	c #Conflicts:      60000 | #Constraints:     665803
651.12/652.87	c #Conflicts:      61000 | #Constraints:     666803
651.12/652.87	c INPROCESSING
651.12/652.87	c GARBAGE COLLECT
651.12/652.87	c rational objective 169.791
706.66/708.50	c #Conflicts:      62000 | #Constraints:     662784
706.66/708.50	c #Conflicts:      63000 | #Constraints:     663784
706.66/708.50	c #Conflicts:      64000 | #Constraints:     664785
706.66/708.50	c #Conflicts:      65000 | #Constraints:     665787
706.66/708.50	c #Conflicts:      66000 | #Constraints:     666788
706.66/708.50	c INPROCESSING
706.66/708.50	c GARBAGE COLLECT
706.66/708.50	c rational objective 170.784
808.28/810.47	c #Conflicts:      67000 | #Constraints:     662570
808.28/810.47	c bounds 350 >= 25 @ 713.37
808.28/810.47	c bounds 350 >= 28 @ 713.392
808.28/810.47	c #Conflicts:      68000 | #Constraints:     663579
808.28/810.47	c #Conflicts:      69000 | #Constraints:     664589
808.28/810.47	c #Conflicts:      70000 | #Constraints:     665596
808.28/810.47	c #Conflicts:      71000 | #Constraints:     666616
808.28/810.47	c #Conflicts:      72000 | #Constraints:     667633
808.28/810.47	c INPROCESSING
808.28/810.47	c GARBAGE COLLECT
808.28/810.47	c #Conflicts:      73000 | #Constraints:     663194
808.28/810.47	c #Conflicts:      74000 | #Constraints:     664195
808.28/810.47	c #Conflicts:      75000 | #Constraints:     665198
808.28/810.47	c #Conflicts:      76000 | #Constraints:     666202
808.28/810.47	c #Conflicts:      77000 | #Constraints:     667203
808.28/810.47	c #Conflicts:      78000 | #Constraints:     668205
808.28/810.47	c INPROCESSING
808.28/810.47	c GARBAGE COLLECT
808.28/810.47	c rational objective 169.723
903.14/905.51	c #Conflicts:      79000 | #Constraints:     663593
903.14/905.51	c #Conflicts:      80000 | #Constraints:     664692
903.14/905.51	c #Conflicts:      81000 | #Constraints:     665767
903.14/905.51	c #Conflicts:      82000 | #Constraints:     666795
903.14/905.51	c #Conflicts:      83000 | #Constraints:     667897
903.14/905.51	c #Conflicts:      84000 | #Constraints:     668967
903.14/905.51	c INPROCESSING
903.14/905.51	c GARBAGE COLLECT
903.14/905.51	c rational objective 170.518
1019.25/1021.99	c bounds 348 >= 28 @ 903.132
1019.25/1021.99	c #Conflicts:      85000 | #Constraints:     663990
1019.25/1021.99	c #Conflicts:      86000 | #Constraints:     664998
1019.25/1021.99	c #Conflicts:      87000 | #Constraints:     666005
1019.25/1021.99	c #Conflicts:      88000 | #Constraints:     667010
1019.25/1021.99	c #Conflicts:      89000 | #Constraints:     668018
1019.25/1021.99	c #Conflicts:      90000 | #Constraints:     669027
1019.25/1021.99	c INPROCESSING
1019.25/1021.99	c GARBAGE COLLECT
1019.25/1021.99	c rational objective 170.522
1204.36/1207.59	c bounds 348 >= 30 @ 1017.21
1204.36/1207.59	c bounds 348 >= 32 @ 1017.22
1204.36/1207.59	c bounds 348 >= 34 @ 1017.24
1204.36/1207.59	c bounds 348 >= 36 @ 1020.15
1204.36/1207.59	c #Conflicts:      91000 | #Constraints:     663923
1204.36/1207.59	c #Conflicts:      92000 | #Constraints:     664923
1204.36/1207.59	c #Conflicts:      93000 | #Constraints:     665923
1204.36/1207.59	c #Conflicts:      94000 | #Constraints:     666924
1204.36/1207.59	c bounds 348 >= 38 @ 1105.91
1204.36/1207.59	c #Conflicts:      95000 | #Constraints:     667933
1204.36/1207.59	c #Conflicts:      96000 | #Constraints:     668933
1204.36/1207.59	c INPROCESSING
1204.36/1207.59	c GARBAGE COLLECT
1204.36/1207.59	c rational objective 170.522
1287.24/1290.61	c #Conflicts:      97000 | #Constraints:     663666
1287.24/1290.61	c #Conflicts:      98000 | #Constraints:     664674
1287.24/1290.61	c #Conflicts:      99000 | #Constraints:     665683
1287.24/1290.61	c #Conflicts:     100000 | #Constraints:     666689
1287.24/1290.61	c #Conflicts:     101000 | #Constraints:     667703
1287.24/1290.61	c #Conflicts:     102000 | #Constraints:     668714
1287.24/1290.61	c #Conflicts:     103000 | #Constraints:     669727
1287.24/1290.61	c INPROCESSING
1287.24/1290.61	c GARBAGE COLLECT
1287.24/1290.61	c rational objective 170.591
1487.45/1491.38	c #Conflicts:     104000 | #Constraints:     664272
1487.45/1491.38	c #Conflicts:     105000 | #Constraints:     665272
1487.45/1491.38	c #Conflicts:     106000 | #Constraints:     666273
1487.45/1491.38	c #Conflicts:     107000 | #Constraints:     667274
1487.45/1491.38	c #Conflicts:     108000 | #Constraints:     668274
1487.45/1491.38	c #Conflicts:     109000 | #Constraints:     669274
1487.45/1491.38	c #Conflicts:     110000 | #Constraints:     670276
1487.45/1491.38	c INPROCESSING
1487.45/1491.38	c GARBAGE COLLECT
1487.45/1491.38	c rational objective 170.592
1585.41/1589.50	c #Conflicts:     111000 | #Constraints:     664644
1585.41/1589.50	c #Conflicts:     112000 | #Constraints:     665656
1585.41/1589.50	c bounds 347 >= 38 @ 1507.99
1585.41/1589.50	c bounds 345 >= 38 @ 1516.98
1585.41/1589.50	c bounds 344 >= 38 @ 1522
1585.41/1589.50	c bounds 343 >= 38 @ 1522.23
1585.41/1589.50	c bounds 340 >= 38 @ 1523.88
1585.41/1589.50	c #Conflicts:     113000 | #Constraints:     666797
1585.41/1589.50	c bounds 339 >= 38 @ 1525.69
1585.41/1589.50	c bounds 336 >= 38 @ 1526.36
1585.41/1589.50	c bounds 335 >= 38 @ 1526.71
1585.41/1589.50	c bounds 332 >= 38 @ 1527.4
1585.41/1589.50	c bounds 331 >= 38 @ 1533.66
1585.41/1589.50	c bounds 331 >= 39 @ 1533.69
1585.41/1589.50	c bounds 331 >= 40 @ 1533.72
1585.41/1589.50	c bounds 331 >= 41 @ 1533.75
1585.41/1589.50	c bounds 331 >= 42 @ 1533.79
1585.41/1589.50	c bounds 331 >= 43 @ 1533.83
1585.41/1589.50	c bounds 331 >= 44 @ 1533.88
1585.41/1589.50	c bounds 331 >= 45 @ 1533.92
1585.41/1589.50	c bounds 331 >= 46 @ 1533.96
1585.41/1589.50	c bounds 331 >= 47 @ 1534.05
1585.41/1589.50	c bounds 331 >= 48 @ 1534.13
1585.41/1589.50	c bounds 331 >= 49 @ 1534.27
1585.41/1589.50	c bounds 331 >= 50 @ 1536.12
1585.41/1589.50	c bounds 331 >= 51 @ 1536.48
1585.41/1589.50	c bounds 331 >= 52 @ 1536.61
1585.41/1589.50	c bounds 331 >= 53 @ 1536.78
1585.41/1589.50	c bounds 331 >= 54 @ 1537.28
1585.41/1589.50	c #Conflicts:     114000 | #Constraints:     667972
1585.41/1589.50	c bounds 331 >= 55 @ 1538.71
1585.41/1589.50	c bounds 331 >= 56 @ 1539.95
1585.41/1589.50	c bounds 331 >= 57 @ 1541.84
1585.41/1589.50	c #Conflicts:     115000 | #Constraints:     669047
1585.41/1589.50	c bounds 330 >= 57 @ 1550.54
1585.41/1589.50	c bounds 330 >= 58 @ 1558.87
1585.41/1589.50	c #Conflicts:     116000 | #Constraints:     670077
1585.41/1589.50	c bounds 330 >= 59 @ 1563.42
1585.41/1589.50	c bounds 330 >= 60 @ 1568.11
1585.41/1589.50	c #Conflicts:     117000 | #Constraints:     671143
1585.41/1589.50	c INPROCESSING
1585.41/1589.50	c GARBAGE COLLECT
1585.41/1589.50	c rational objective 170.601
1632.81/1637.08	c bounds 330 >= 61 @ 1580.13
1632.81/1637.08	c #Conflicts:     118000 | #Constraints:     665217
1632.81/1637.08	c bounds 330 >= 62 @ 1582.54
1632.81/1637.08	c #Conflicts:     119000 | #Constraints:     666241
1632.81/1637.08	c bounds 330 >= 63 @ 1585.96
1632.81/1637.08	c #Conflicts:     120000 | #Constraints:     667278
1632.81/1637.08	c #Conflicts:     121000 | #Constraints:     668281
1632.81/1637.08	c bounds 329 >= 63 @ 1601
1632.81/1637.08	c #Conflicts:     122000 | #Constraints:     669283
1632.81/1637.08	c bounds 329 >= 64 @ 1608.08
1632.81/1637.08	c bounds 328 >= 64 @ 1608.12
1632.81/1637.08	c bounds 327 >= 64 @ 1608.2
1632.81/1637.08	c #Conflicts:     123000 | #Constraints:     670309
1632.81/1637.08	c bounds 325 >= 64 @ 1613.03
1632.81/1637.08	c #Conflicts:     124000 | #Constraints:     671310
1632.81/1637.08	c INPROCESSING
1632.81/1637.08	c GARBAGE COLLECT
1632.81/1637.08	c rational objective 170.602
1751.80/1756.37	c bounds 325 >= 65 @ 1630.42
1751.80/1756.37	c #Conflicts:     125000 | #Constraints:     665287
1751.80/1756.37	c bounds 323 >= 65 @ 1633.95
1751.80/1756.37	c #Conflicts:     126000 | #Constraints:     666293
1751.80/1756.37	c #Conflicts:     127000 | #Constraints:     667293
1751.80/1756.37	c bounds 323 >= 66 @ 1645.29
1751.80/1756.37	c bounds 322 >= 66 @ 1645.89
1751.80/1756.37	c #Conflicts:     128000 | #Constraints:     668315
1751.80/1756.37	c #Conflicts:     129000 | #Constraints:     669389
1751.80/1756.37	c #Conflicts:     130000 | #Constraints:     670504
1751.80/1756.37	c #Conflicts:     131000 | #Constraints:     671529
1751.80/1756.37	c INPROCESSING
1751.80/1756.37	c GARBAGE COLLECT
1751.80/1756.37	c rational objective 170.607
2273.94/2279.84	c #Conflicts:     132000 | #Constraints:     665214
2273.94/2279.84	c #Conflicts:     133000 | #Constraints:     666214
2273.94/2279.84	c bounds 322 >= 67 @ 1759.33
2273.94/2279.84	c #Conflicts:     134000 | #Constraints:     667253
2273.94/2279.84	c #Conflicts:     135000 | #Constraints:     668253
2273.94/2279.84	c #Conflicts:     136000 | #Constraints:     669253
2273.94/2279.84	c #Conflicts:     137000 | #Constraints:     670254
2273.94/2279.84	c bounds 322 >= 68 @ 1793.48
2273.94/2279.84	c #Conflicts:     138000 | #Constraints:     671281
2273.94/2279.84	c #Conflicts:     139000 | #Constraints:     672281
2273.94/2279.84	c INPROCESSING
2273.94/2279.84	c GARBAGE COLLECT
2273.94/2279.84	c #Conflicts:     140000 | #Constraints:     665806
2273.94/2279.84	c #Conflicts:     141000 | #Constraints:     666806
2273.94/2279.84	c #Conflicts:     142000 | #Constraints:     667806
2273.94/2279.84	c #Conflicts:     143000 | #Constraints:     668807
2273.94/2279.84	c bounds 322 >= 69 @ 1899.4
2273.94/2279.84	c #Conflicts:     144000 | #Constraints:     669834
2273.94/2279.84	c #Conflicts:     145000 | #Constraints:     670834
2273.94/2279.84	c #Conflicts:     146000 | #Constraints:     671834
2273.94/2279.84	c #Conflicts:     147000 | #Constraints:     672834
2273.94/2279.84	c INPROCESSING
2273.94/2279.84	c GARBAGE COLLECT
2273.94/2279.84	c #Conflicts:     148000 | #Constraints:     666198
2273.94/2279.84	c #Conflicts:     149000 | #Constraints:     667198
2273.94/2279.84	c #Conflicts:     150000 | #Constraints:     668198
2273.94/2279.84	c #Conflicts:     151000 | #Constraints:     669198
2273.94/2279.84	c bounds 322 >= 70 @ 2117.97
2273.94/2279.84	c #Conflicts:     152000 | #Constraints:     670229
2273.94/2279.84	c #Conflicts:     153000 | #Constraints:     671229
2273.94/2279.84	c #Conflicts:     154000 | #Constraints:     672229
2273.94/2279.84	c #Conflicts:     155000 | #Constraints:     673229
2273.94/2279.84	c INPROCESSING
2273.94/2279.84	c GARBAGE COLLECT
2273.94/2279.84	c #Conflicts:     156000 | #Constraints:     666415
2273.94/2279.84	c #Conflicts:     157000 | #Constraints:     667415
2273.94/2279.84	c #Conflicts:     158000 | #Constraints:     668415
2273.94/2279.84	c bounds 322 >= 71 @ 2194.32
2273.94/2279.84	c #Conflicts:     159000 | #Constraints:     669457
2273.94/2279.84	c #Conflicts:     160000 | #Constraints:     670474
2273.94/2279.84	c #Conflicts:     161000 | #Constraints:     671489
2273.94/2279.84	c #Conflicts:     162000 | #Constraints:     672496
2273.94/2279.84	c #Conflicts:     163000 | #Constraints:     673504
2273.94/2279.84	c INPROCESSING
2273.94/2279.84	c GARBAGE COLLECT
2273.94/2279.84	c rational objective 170.612
2377.98/2384.13	c #Conflicts:     164000 | #Constraints:     666472
2377.98/2384.13	c #Conflicts:     165000 | #Constraints:     667473
2377.98/2384.13	c #Conflicts:     166000 | #Constraints:     668473
2377.98/2384.13	c #Conflicts:     167000 | #Constraints:     669473
2377.98/2384.13	c #Conflicts:     168000 | #Constraints:     670473
2377.98/2384.13	c #Conflicts:     169000 | #Constraints:     671473
2377.98/2384.13	c #Conflicts:     170000 | #Constraints:     672474
2377.98/2384.13	c bounds 322 >= 72 @ 2336.64
2377.98/2384.13	c #Conflicts:     171000 | #Constraints:     673504
2377.98/2384.13	c INPROCESSING
2377.98/2384.13	c GARBAGE COLLECT
2377.98/2384.13	c rational objective 170.648
2607.89/2614.64	c #Conflicts:     172000 | #Constraints:     666284
2607.89/2614.64	c #Conflicts:     173000 | #Constraints:     667284
2607.89/2614.64	c #Conflicts:     174000 | #Constraints:     668284
2607.89/2614.64	c #Conflicts:     175000 | #Constraints:     669286
2607.89/2614.64	c #Conflicts:     176000 | #Constraints:     670287
2607.89/2614.64	c #Conflicts:     177000 | #Constraints:     671288
2607.89/2614.64	c #Conflicts:     178000 | #Constraints:     672288
2607.89/2614.64	c #Conflicts:     179000 | #Constraints:     673289
2607.89/2614.64	c #Conflicts:     180000 | #Constraints:     674290
2607.89/2614.64	c INPROCESSING
2607.89/2614.64	c GARBAGE COLLECT
2607.89/2614.64	c bounds 321 >= 72 @ 2453.6
2607.89/2614.64	c bounds 319 >= 72 @ 2454.24
2607.89/2614.64	c #Conflicts:     181000 | #Constraints:     666887
2607.89/2614.64	c bounds 317 >= 72 @ 2460.34
2607.89/2614.64	c #Conflicts:     182000 | #Constraints:     667903
2607.89/2614.64	c bounds 316 >= 72 @ 2476.11
2607.89/2614.64	c #Conflicts:     183000 | #Constraints:     668919
2607.89/2614.64	c bounds 315 >= 72 @ 2481.32
2607.89/2614.64	c #Conflicts:     184000 | #Constraints:     669933
2607.89/2614.64	c #Conflicts:     185000 | #Constraints:     670945
2607.89/2614.64	c #Conflicts:     186000 | #Constraints:     671959
2607.89/2614.64	c #Conflicts:     187000 | #Constraints:     672970
2607.89/2614.64	c #Conflicts:     188000 | #Constraints:     673974
2607.89/2614.64	c #Conflicts:     189000 | #Constraints:     674982
2607.89/2614.64	c INPROCESSING
2607.89/2614.64	c GARBAGE COLLECT
2607.89/2614.64	c rational objective 170.647
2811.35/2818.63	c #Conflicts:     190000 | #Constraints:     667327
2811.35/2818.63	c #Conflicts:     191000 | #Constraints:     668327
2811.35/2818.63	c #Conflicts:     192000 | #Constraints:     669327
2811.35/2818.63	c #Conflicts:     193000 | #Constraints:     670327
2811.35/2818.63	c #Conflicts:     194000 | #Constraints:     671327
2811.35/2818.63	c #Conflicts:     195000 | #Constraints:     672327
2811.35/2818.63	c #Conflicts:     196000 | #Constraints:     673327
2811.35/2818.63	c bounds 315 >= 73 @ 2680.98
2811.35/2818.63	c #Conflicts:     197000 | #Constraints:     674381
2811.35/2818.63	c #Conflicts:     198000 | #Constraints:     675381
2811.35/2818.63	c INPROCESSING
2811.35/2818.63	c GARBAGE COLLECT
2811.35/2818.63	c rational objective 170.654
3203.55/3211.82	c #Conflicts:     199000 | #Constraints:     667547
3203.55/3211.82	c #Conflicts:     200000 | #Constraints:     668547
3203.55/3211.82	c #Conflicts:     201000 | #Constraints:     669547
3203.55/3211.82	c #Conflicts:     202000 | #Constraints:     670547
3203.55/3211.82	c #Conflicts:     203000 | #Constraints:     671547
3203.55/3211.82	c #Conflicts:     204000 | #Constraints:     672547
3203.55/3211.82	c #Conflicts:     205000 | #Constraints:     673548
3203.55/3211.82	c #Conflicts:     206000 | #Constraints:     674548
3203.55/3211.82	c #Conflicts:     207000 | #Constraints:     675549
3203.55/3211.82	c INPROCESSING
3203.55/3211.82	c GARBAGE COLLECT
3203.55/3211.82	c #Conflicts:     208000 | #Constraints:     667531
3203.55/3211.82	c #Conflicts:     209000 | #Constraints:     668531
3203.55/3211.82	c #Conflicts:     210000 | #Constraints:     669531
3203.55/3211.82	c #Conflicts:     211000 | #Constraints:     670531
3203.55/3211.82	c #Conflicts:     212000 | #Constraints:     671531
3203.55/3211.82	c #Conflicts:     213000 | #Constraints:     672550
3203.55/3211.82	c #Conflicts:     214000 | #Constraints:     673559
3203.55/3211.82	c #Conflicts:     215000 | #Constraints:     674567
3203.55/3211.82	c #Conflicts:     216000 | #Constraints:     675578
3203.55/3211.82	c INPROCESSING
3203.55/3211.82	c GARBAGE COLLECT
3203.55/3211.82	c rational objective 170.659
3437.75/3446.62	c #Conflicts:     217000 | #Constraints:     667348
3437.75/3446.62	c #Conflicts:     218000 | #Constraints:     668348
3437.75/3446.62	c #Conflicts:     219000 | #Constraints:     669350
3437.75/3446.62	c #Conflicts:     220000 | #Constraints:     670350
3437.75/3446.62	c #Conflicts:     221000 | #Constraints:     671350
3437.75/3446.62	c #Conflicts:     222000 | #Constraints:     672350
3437.75/3446.62	c #Conflicts:     223000 | #Constraints:     673350
3437.75/3446.62	c #Conflicts:     224000 | #Constraints:     674350
3437.75/3446.62	c #Conflicts:     225000 | #Constraints:     675350
3437.75/3446.62	c #Conflicts:     226000 | #Constraints:     676350
3437.75/3446.62	c INPROCESSING
3437.75/3446.62	c GARBAGE COLLECT
3437.75/3446.62	c rational objective 170.659
3555.86/3565.00	c #Conflicts:     227000 | #Constraints:     667946
3555.86/3565.00	c #Conflicts:     228000 | #Constraints:     668946
3555.86/3565.00	c #Conflicts:     229000 | #Constraints:     669947
3555.86/3565.00	c #Conflicts:     230000 | #Constraints:     670947
3555.86/3565.00	c #Conflicts:     231000 | #Constraints:     671947
3555.86/3565.00	c #Conflicts:     232000 | #Constraints:     672947
3555.86/3565.00	c #Conflicts:     233000 | #Constraints:     673947
3555.86/3565.00	c #Conflicts:     234000 | #Constraints:     674947
3555.86/3565.00	c bounds 315 >= 74 @ 3505.94
3555.86/3565.00	c #Conflicts:     235000 | #Constraints:     675980
3555.86/3565.00	c #Conflicts:     236000 | #Constraints:     676983
3555.86/3565.00	c INPROCESSING
3555.86/3565.00	c GARBAGE COLLECT
3555.86/3565.00	c rational objective 170.659
3600.05/3609.30	c
3600.05/3609.30	s SATISFIABLE
3600.05/3609.30	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.05/3609.30	c #Conflicts:     237000 | #Constraints:     668359
3600.05/3609.30	c #Conflicts:     238000 | #Constraints:     669359
3600.05/3609.30	c #Conflicts:     239000 | #Constraints:     670359

Verifier Data 

OK	315

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: 63968 MiB (62800 MiB free)
  memory of node 1: 64473 MiB (62641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429425-1721048454/watcher-4429425-1721048454 -o /tmp/evaluation-result-4429425-1721048454/solver-4429425-1721048454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721048466-804783 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429425-1721048454.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
Current StackSize limit: 8192 KiB

solver pid=804830, runsolver pid=804821

[startup+0.100087 s]*
/proc/loadavg: 3.90 4.09 4.10 7/257 804843
/proc/meminfo: memFree=128425452/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=40824 memory=11048 CPUtime=0.09 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 1569 0 1 0 6 3 0 0 20 0 1 0 157014327 41803776 2762 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 10206 2762 1253 922 0 2158 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 11048 KiB

[startup+0.2059 s]*
/proc/loadavg: 3.90 4.09 4.10 7/257 804843
/proc/meminfo: memFree=128414292/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=42276 memory=14412 CPUtime=0.19 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 1913 0 1 0 13 6 0 0 20 0 1 0 157014327 43290624 3603 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 10569 3603 1253 922 0 2521 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42276 KiB
Current children cumulated memory: 14412 KiB

[startup+0.304932 s]*
/proc/loadavg: 3.90 4.09 4.10 5/257 804843
/proc/meminfo: memFree=128400344/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=46500 memory=16672 CPUtime=0.3 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 2440 0 1 0 20 10 0 0 20 0 1 0 157014327 47616000 4168 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 11625 4168 1253 922 0 3577 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46500 KiB
Current children cumulated memory: 16672 KiB

[startup+0.700138 s]
/proc/loadavg: 3.90 4.09 4.10 5/257 804843
/proc/meminfo: memFree=128373628/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=63980 memory=29076 CPUtime=0.69 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 5066 0 1 0 47 22 0 0 20 0 1 0 157014327 65515520 7269 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 15995 7269 1253 922 0 7947 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63980 KiB
Current children cumulated memory: 29076 KiB

[startup+1.50017 s]
/proc/loadavg: 3.91 4.09 4.10 7/257 804843
/proc/meminfo: memFree=128315584/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=109048 memory=78952 CPUtime=1.49 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 14649 0 1 0 102 47 0 0 20 0 1 0 157014327 111665152 19738 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 27262 19738 1584 922 0 19214 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109048 KiB
Current children cumulated memory: 78952 KiB

[startup+3.10649 s]
/proc/loadavg: 3.91 4.09 4.10 7/257 804843
/proc/meminfo: memFree=127153228/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=360720 memory=330516 CPUtime=3.09 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 58656 0 1 0 250 59 0 0 20 0 1 0 157014327 369377280 82629 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 90180 82629 1663 922 0 82132 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 330516 KiB

[startup+6.30018 s]
/proc/loadavg: 3.91 4.08 4.10 7/257 804845
/proc/meminfo: memFree=127153196/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=360720 memory=330900 CPUtime=6.28 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 58685 0 1 0 569 59 0 0 20 0 1 0 157014327 369377280 82725 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 90180 82725 1759 922 0 82132 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 360720 KiB
Current children cumulated memory: 330900 KiB

[startup+12.7002 s]
/proc/loadavg: 3.92 4.08 4.10 7/257 804845
/proc/meminfo: memFree=126923792/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=524904 memory=404424 CPUtime=12.66 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 66652 0 1 0 1141 125 0 0 20 0 1 0 157014327 537501696 101106 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 131226 101106 1881 922 0 123178 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 524904 KiB
Current children cumulated memory: 404424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.01 4.10 4.10 7/257 804848
/proc/meminfo: memFree=126634688/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=541236 memory=429396 CPUtime=25.42 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 67823 0 1 0 2400 142 0 0 20 0 1 0 157014327 554225664 107349 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 135309 107349 1881 922 0 127261 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 541236 KiB
Current children cumulated memory: 429396 KiB

[startup+51.1063 s]
/proc/loadavg: 4.01 4.09 4.10 7/257 804851
/proc/meminfo: memFree=126139768/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=805320 memory=637400 CPUtime=50.96 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 92931 0 1 0 4919 177 0 0 20 0 1 0 157014327 824647680 159350 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 201330 159350 1881 922 0 193282 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 805320 KiB
Current children cumulated memory: 637400 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 7/257 804861
/proc/meminfo: memFree=125741032/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=819052 memory=658796 CPUtime=102.02 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 94993 0 1 0 9982 220 0 0 20 0 1 0 157014327 838709248 164699 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 204763 164699 1881 922 0 196715 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 819052 KiB
Current children cumulated memory: 658796 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/257 804871
/proc/meminfo: memFree=124715376/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=1075716 memory=897108 CPUtime=161.87 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 120818 0 1 0 15901 286 0 0 20 0 1 0 157014327 1101533184 224277 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 268929 224277 1881 922 0 260881 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1075716 KiB
Current children cumulated memory: 897108 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.09 7/256 804882
/proc/meminfo: memFree=124078292/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=1182944 memory=1032064 CPUtime=221.72 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 138793 0 1 0 21816 356 0 0 20 0 1 0 157014327 1211334656 258016 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 295736 258016 2006 922 0 287688 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1182944 KiB
Current children cumulated memory: 1032064 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 7/256 804893
/proc/meminfo: memFree=123826096/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=1270076 memory=1140744 CPUtime=281.57 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 159604 0 1 0 27783 374 0 0 20 0 1 0 157014327 1300557824 285186 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 317519 285186 2006 922 0 309471 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1270076 KiB
Current children cumulated memory: 1140744 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 7/254 804903
/proc/meminfo: memFree=123527248/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=1568028 memory=1327356 CPUtime=341.42 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 184535 0 1 0 33749 393 0 0 20 0 1 0 157014327 1605660672 331839 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 392007 331839 2006 922 0 383959 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 1568028 KiB
Current children cumulated memory: 1327356 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/254 804914
/proc/meminfo: memFree=123082404/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=1706844 memory=1476880 CPUtime=401.26 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 194556 0 1 0 39710 416 0 0 20 0 1 0 157014327 1747808256 369220 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 426711 369220 2006 922 0 418663 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 1706844 KiB
Current children cumulated memory: 1476880 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 7/254 804924
/proc/meminfo: memFree=122900772/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=1706844 memory=1484084 CPUtime=461.1 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 194945 0 1 0 45660 450 0 0 20 0 1 0 157014327 1747808256 371021 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 426711 371021 2006 922 0 418663 0

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

Current children cumulated memory: 2483404 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.12 7/255 806112
/proc/meminfo: memFree=118001156/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2773096 memory=2483404 CPUtime=2914.79 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 324896 0 1 0 289862 1617 0 0 20 0 1 0 157014327 2839650304 620851 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 693274 620851 2006 922 0 685226 0
Current children cumulated CPU time: 2914.79 s
Current children cumulated vsize: 2773096 KiB
Current children cumulated memory: 2483404 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.11 7/255 806124
/proc/meminfo: memFree=117905812/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2773096 memory=2483460 CPUtime=2974.63 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 326464 0 1 0 295838 1625 0 0 20 0 1 0 157014327 2839650304 620865 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 693274 620865 2006 922 0 685226 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 2773096 KiB
Current children cumulated memory: 2483460 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.11 7/256 806138
/proc/meminfo: memFree=117872996/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2773096 memory=2483460 CPUtime=3034.47 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 326747 0 1 0 301817 1630 0 0 20 0 1 0 157014327 2839650304 620865 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 693274 620865 2006 922 0 685226 0
Current children cumulated CPU time: 3034.47 s
Current children cumulated vsize: 2773096 KiB
Current children cumulated memory: 2483460 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.11 7/256 806149
/proc/meminfo: memFree=117739612/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2773096 memory=2483460 CPUtime=3094.33 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 327726 0 1 0 307791 1642 0 0 20 0 1 0 157014327 2839650304 620865 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 693274 620865 2006 922 0 685226 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 2773096 KiB
Current children cumulated memory: 2483460 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 7/256 806159
/proc/meminfo: memFree=117790564/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2720764 memory=2431128 CPUtime=3154.17 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 330219 0 1 0 313761 1656 0 0 20 0 1 0 157014327 2786062336 607782 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 680191 607782 2006 922 0 672143 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 2720764 KiB
Current children cumulated memory: 2431128 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 7/257 806172
/proc/meminfo: memFree=117717100/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2720764 memory=2434448 CPUtime=3214.02 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 331960 0 1 0 319737 1665 0 0 20 0 1 0 157014327 2786062336 608612 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 680191 608612 2006 922 0 672143 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 2720764 KiB
Current children cumulated memory: 2434448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.10 7/257 806182
/proc/meminfo: memFree=117715732/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2720764 memory=2434448 CPUtime=3273.87 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 332681 0 1 0 325700 1687 0 0 20 0 1 0 157014327 2786062336 608612 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 680191 608612 2006 922 0 672143 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 2720764 KiB
Current children cumulated memory: 2434448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 7/257 806576
/proc/meminfo: memFree=117676832/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2757820 memory=2471380 CPUtime=3333.73 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 338451 0 1 0 331667 1706 0 0 20 0 1 0 157014327 2824007680 617845 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 689455 617845 2006 922 0 681407 0
Current children cumulated CPU time: 3333.73 s
Current children cumulated vsize: 2757820 KiB
Current children cumulated memory: 2471380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.10 7/257 806587
/proc/meminfo: memFree=117662932/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2757820 memory=2471380 CPUtime=3393.56 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 338619 0 1 0 337645 1711 0 0 20 0 1 0 157014327 2824007680 617845 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 689455 617845 2006 922 0 681407 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 2757820 KiB
Current children cumulated memory: 2471380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 7/257 806597
/proc/meminfo: memFree=117631912/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2757820 memory=2471380 CPUtime=3453.41 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 339797 0 1 0 343617 1724 0 0 20 0 1 0 157014327 2824007680 617845 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 689455 617845 2006 922 0 681407 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 2757820 KiB
Current children cumulated memory: 2471380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 7/258 806777
/proc/meminfo: memFree=117672364/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2759500 memory=2473060 CPUtime=3513.26 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 343477 0 1 0 349572 1754 0 0 20 0 1 0 157014327 2825728000 618265 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 689875 618265 2006 922 0 681827 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 2759500 KiB
Current children cumulated memory: 2473060 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/258 806789
/proc/meminfo: memFree=117673672/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2759500 memory=2473060 CPUtime=3573.12 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 345635 0 1 0 355525 1787 0 0 20 0 1 0 157014327 2825728000 618265 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 689875 618265 2006 922 0 681827 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 2759500 KiB
Current children cumulated memory: 2473060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.15 4.13 4.10 7/259 806808
/proc/meminfo: memFree=117626488/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2759500 memory=2473060 CPUtime=3600.05 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 346028 0 1 0 358202 1803 0 0 20 0 1 0 157014327 2825728000 618265 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 689875 618265 2006 922 0 681827 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2759500 KiB
Current children cumulated memory: 2473060 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.03 s, system=18.0502 s

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

[startup+3609.3 s]
/proc/loadavg: 4.15 4.13 4.10 7/259 806808
/proc/meminfo: memFree=117626488/131524600 swapFree=131071996/131071996
[pid=804830] ppid=804821 vsize=2759500 memory=2473060 CPUtime=3600.05 cores=5,7
/proc/804830/stat : 804830 (roundingsat) R 804821 804830 804770 0 -1 4194304 346028 0 1 0 358202 1803 0 0 20 0 1 0 157014327 2825728000 618265 134679101440 4194304 7968869 140733196189168 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 30363648 140733196190654 140733196190818 140733196190818 140733196197833 0
/proc/804830/statm: 689875 618265 2006 922 0 681827 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2759500 KiB
Current children cumulated memory: 2473060 KiB

Child status: 1

Real time (s): 3609.32
CPU time (s): 3600.08
CPU user time (s): 3582.03
CPU system time (s): 18.0502
CPU usage (%): 99.744
Max. virtual memory (cumulated for all children) (KiB): 2821860
Max. memory (cumulated for all children) (KiB): 2532144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.03
system time used= 18.0502
maximum resident set size= 2532144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346040
page faults= 1
swaps= 0
block input operations= 16
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112
involuntary context switches= 1871


# summary of solver processes directly reported to runsolver:
#   pid: 804830
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3582.03
#   total CPU system time (s): 18.0502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46958 second user time and 19.6391 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 15:01:06
IDJOB=4429425
IDBENCH=147559
IDSOLVER=3051
FILE ID=nodeC032/4429425-1721048454
RUNJOBID= nodeC032-1721048466-804783
SLURM_JOB_ID= 7505466
Free space on /tmp= 890012 MiB

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

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
RANDOM SEED=20980160

nodeC032.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	: 0xb00002a
cpu MHz		: 3620.668
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3677.643
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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	: 0xb00002a
cpu MHz		: 3656.439
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3583.553
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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	: 0xb00002a
cpu MHz		: 3649.986
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3668.069
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
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	: 0xb00002a
cpu MHz		: 3498.483
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.33
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	: 0xb00002a
cpu MHz		: 3549.316
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128458676 kB
MemAvailable:   129724952 kB
Buffers:          360376 kB
Cached:          1735740 kB
SwapCached:            0 kB
Active:           613308 kB
Inactive:        1845584 kB
Active(anon):       1460 kB
Inactive(anon):   399388 kB
Active(file):     611848 kB
Inactive(file):  1446196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             83512 kB
Writeback:             0 kB
AnonPages:        363216 kB
Mapped:           103244 kB
Shmem:             37720 kB
KReclaimable:      96108 kB
Slab:             201408 kB
SReclaimable:      96108 kB
SUnreclaim:       105300 kB
KernelStack:        3968 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     835132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61888 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      219860 kB
DirectMap2M:    19476480 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC032 at 2024-07-15 16:01:16