Trace number 4429645

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)4219117 3600.04 3608.41

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
MD5SUM90cf94310e57120d5401aeddd838603e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4219117
Best CPU time to get the best result obtained on this benchmark1168.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 89969826346
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 89969826346
Number of bits of the biggest sum of numbers37
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 
0.09/0.13	c #variables 9940 #constraints 24510
48.05/48.27	c bounds 89969826347 >= -70 @ 0.084941
48.05/48.27	c bounds 298467801 >= -70 @ 1.72932
48.05/48.27	c bounds 298432453 >= -70 @ 1.77209
48.05/48.27	c bounds 298367449 >= -70 @ 1.81929
48.05/48.27	c bounds 293099571 >= -70 @ 1.82606
48.05/48.27	c bounds 293097517 >= -70 @ 1.84825
48.05/48.27	c bounds 179874439 >= -70 @ 1.91753
48.05/48.27	c bounds 175068599 >= -70 @ 1.92788
48.05/48.27	c bounds 174930257 >= -70 @ 2.1525
48.05/48.27	c bounds 174879659 >= -70 @ 2.18087
48.05/48.27	c bounds 174689105 >= -70 @ 2.28321
48.05/48.27	c bounds 174534659 >= -70 @ 2.2987
48.05/48.27	c bounds 174533459 >= -70 @ 2.45595
48.05/48.27	c bounds 174467353 >= -70 @ 2.47224
48.05/48.27	c bounds 174452417 >= -70 @ 2.5614
48.05/48.27	c bounds 170089925 >= -70 @ 2.72389
48.05/48.27	c bounds 170003749 >= -70 @ 2.7898
48.05/48.27	c bounds 162229289 >= -70 @ 2.90344
48.05/48.27	c bounds 162060141 >= -70 @ 2.95387
48.05/48.27	c bounds 162048343 >= -70 @ 3.09915
48.05/48.27	c bounds 161849473 >= -70 @ 3.15501
48.05/48.27	c bounds 161796679 >= -70 @ 3.21781
48.05/48.27	c bounds 134451445 >= -70 @ 3.34393
48.05/48.27	c bounds 134208545 >= -70 @ 3.37578
48.05/48.27	c bounds 134171609 >= -70 @ 3.55094
48.05/48.27	c bounds 133892989 >= -70 @ 3.90157
48.05/48.27	c bounds 133839887 >= -70 @ 4.04803
48.05/48.27	c bounds 133817587 >= -70 @ 4.2362
48.05/48.27	c bounds 133690997 >= -70 @ 4.46703
48.05/48.27	c bounds 133664249 >= -70 @ 4.51143
48.05/48.27	c bounds 133661143 >= -70 @ 4.5567
48.05/48.27	c bounds 133636123 >= -70 @ 4.58759
48.05/48.27	c bounds 126756449 >= -70 @ 5.97025
48.05/48.27	c bounds 126736479 >= -70 @ 6.04932
48.05/48.27	c bounds 126725199 >= -70 @ 6.07687
48.05/48.27	c bounds 126722175 >= -70 @ 6.32626
48.05/48.27	c bounds 126713621 >= -70 @ 6.62144
48.05/48.27	c #Conflicts:       1000 | #Constraints:      25545
48.05/48.27	c bounds 126708821 >= -70 @ 6.67999
48.05/48.27	c bounds 126707531 >= -70 @ 6.73954
48.05/48.27	c bounds 126519219 >= -70 @ 7.452
48.05/48.27	c bounds 126408395 >= -70 @ 7.59063
48.05/48.27	c bounds 126346563 >= -70 @ 7.71991
48.05/48.27	c bounds 126180709 >= -70 @ 7.82477
48.05/48.27	c bounds 126169253 >= -70 @ 8.06138
48.05/48.27	c bounds 125892575 >= -70 @ 8.3049
48.05/48.27	c bounds 125688433 >= -70 @ 8.48001
48.05/48.27	c bounds 125687879 >= -70 @ 8.5424
48.05/48.27	c bounds 122094251 >= -70 @ 9.95666
48.05/48.27	c bounds 122067659 >= -70 @ 10.0356
48.05/48.27	c bounds 122032917 >= -70 @ 10.1267
48.05/48.27	c bounds 121961451 >= -70 @ 10.2788
48.05/48.27	c bounds 121921579 >= -70 @ 12.8294
48.05/48.27	c bounds 67869947 >= -70 @ 16.9129
48.05/48.27	c bounds 67852475 >= -70 @ 17.0887
48.05/48.27	c bounds 67817483 >= -70 @ 17.2341
48.05/48.27	c bounds 67670843 >= -70 @ 17.4053
48.05/48.27	c bounds 67644707 >= -70 @ 17.6544
48.05/48.27	c bounds 67601989 >= -70 @ 17.8289
48.05/48.27	c bounds 67516119 >= -70 @ 18.1448
48.05/48.27	c bounds 67512109 >= -70 @ 18.3532
48.05/48.27	c bounds 67498669 >= -70 @ 18.494
48.05/48.27	c bounds 67457549 >= -70 @ 18.7247
48.05/48.27	c bounds 67453443 >= -70 @ 18.8588
48.05/48.27	c #Conflicts:       2000 | #Constraints:      26571
48.05/48.27	c INPROCESSING
48.05/48.27	c GARBAGE COLLECT
48.05/48.27	c bounds 59480855 >= -70 @ 20.0848
48.05/48.27	c bounds 59412757 >= -70 @ 20.2182
48.05/48.27	c bounds 59202079 >= -70 @ 20.2899
48.05/48.27	c bounds 59147749 >= -70 @ 20.3519
48.05/48.27	c bounds 59111955 >= -70 @ 22.2491
48.05/48.27	c bounds 59050903 >= -70 @ 22.3945
48.05/48.27	c bounds 58919241 >= -70 @ 22.595
48.05/48.27	c bounds 58862025 >= -70 @ 25.3525
48.05/48.27	c bounds 58761859 >= -70 @ 25.5711
48.05/48.27	c bounds 58707651 >= -70 @ 25.9023
48.05/48.27	c bounds 58698987 >= -70 @ 26.1299
48.05/48.27	c bounds 58672699 >= -70 @ 26.4014
48.05/48.27	c bounds 58559923 >= -70 @ 26.6414
48.05/48.27	c bounds 56058371 >= -70 @ 26.9099
48.05/48.27	c bounds 56057179 >= -70 @ 27.1859
48.05/48.27	c bounds 55849489 >= -70 @ 28.242
48.05/48.27	c bounds 55814331 >= -70 @ 28.484
48.05/48.27	c bounds 55714329 >= -70 @ 28.7984
48.05/48.27	c #Conflicts:       3000 | #Constraints:      26000
48.05/48.27	c bounds 46797223 >= -70 @ 39.9839
48.05/48.27	c bounds 46723571 >= -70 @ 40.153
48.05/48.27	c bounds 46661289 >= -70 @ 40.3944
48.05/48.27	c bounds 34087767 >= -70 @ 40.5588
48.05/48.27	c bounds 29714371 >= -70 @ 40.8139
48.05/48.27	c bounds 29660441 >= -70 @ 40.9792
48.05/48.27	c bounds 29650443 >= -70 @ 41.1304
48.05/48.27	c bounds 29608699 >= -70 @ 41.5914
48.05/48.27	c bounds 29500939 >= -70 @ 41.8868
48.05/48.27	c bounds 29465249 >= -70 @ 42.1267
48.05/48.27	c bounds 29422363 >= -70 @ 42.3107
48.05/48.27	c bounds 29368315 >= -70 @ 42.5785
48.05/48.27	c bounds 29351947 >= -70 @ 42.8073
48.05/48.27	c bounds 29324717 >= -70 @ 43.2214
48.05/48.27	c bounds 29307123 >= -70 @ 43.3981
48.05/48.27	c bounds 29277737 >= -70 @ 43.6798
48.05/48.27	c bounds 29253825 >= -70 @ 43.9512
48.05/48.27	c bounds 29236087 >= -70 @ 44.124
48.05/48.27	c bounds 29229193 >= -70 @ 44.3132
48.05/48.27	c bounds 29224025 >= -70 @ 44.4834
48.05/48.27	c bounds 29219655 >= -70 @ 44.6496
48.05/48.27	c bounds 29180707 >= -70 @ 44.9641
48.05/48.27	c bounds 29025697 >= -70 @ 45.1523
48.05/48.27	c bounds 28790995 >= -70 @ 45.3588
48.05/48.27	c bounds 28674643 >= -70 @ 45.555
48.05/48.27	c bounds 28621723 >= -70 @ 46.4009
48.05/48.27	c bounds 28520907 >= -70 @ 46.6024
48.05/48.27	c bounds 28511383 >= -70 @ 47.0975
48.05/48.27	c bounds 28439395 >= -70 @ 47.2779
48.05/48.27	c bounds 28252261 >= -70 @ 47.6217
99.31/99.61	c bounds 28245939 >= -70 @ 48.5577
99.31/99.61	c bounds 28192683 >= -70 @ 48.9644
99.31/99.61	c bounds 28150939 >= -70 @ 49.221
99.31/99.61	c bounds 28146763 >= -70 @ 49.4076
99.31/99.61	c bounds 28101473 >= -70 @ 49.7587
99.31/99.61	c bounds 28074761 >= -70 @ 50.7055
99.31/99.61	c bounds 28026871 >= -70 @ 51.0429
99.31/99.61	c bounds 28015843 >= -70 @ 52.0401
99.31/99.61	c bounds 28015551 >= -70 @ 52.3822
99.31/99.61	c bounds 27987849 >= -70 @ 52.6154
99.31/99.61	c bounds 27983721 >= -70 @ 54.1671
99.31/99.61	c bounds 27929661 >= -70 @ 54.4204
99.31/99.61	c bounds 27928545 >= -70 @ 55.0581
99.31/99.61	c bounds 27907127 >= -70 @ 55.6724
99.31/99.61	c bounds 27880695 >= -70 @ 56.2533
99.31/99.61	c #Conflicts:       4000 | #Constraints:      27045
99.31/99.61	c INPROCESSING
99.31/99.61	c GARBAGE COLLECT
99.31/99.61	c bounds 27866415 >= -70 @ 59.4256
99.31/99.61	c bounds 27790305 >= -70 @ 59.9709
99.31/99.61	c bounds 27788005 >= -70 @ 60.0568
99.31/99.61	c bounds 27776787 >= -70 @ 60.7646
99.31/99.61	c bounds 27758567 >= -70 @ 61.3134
99.31/99.61	c bounds 27744287 >= -70 @ 61.4574
99.31/99.61	c bounds 27741987 >= -70 @ 61.6161
99.31/99.61	c bounds 27714781 >= -70 @ 61.8514
99.31/99.61	c bounds 27703801 >= -70 @ 62.1552
99.31/99.61	c bounds 27659271 >= -70 @ 62.261
99.31/99.61	c bounds 27644991 >= -70 @ 62.3556
99.31/99.61	c bounds 27479951 >= -70 @ 62.4974
99.31/99.61	c bounds 27476459 >= -70 @ 64.3727
99.31/99.61	c #Conflicts:       5000 | #Constraints:      24023
99.31/99.61	c #Conflicts:       6000 | #Constraints:      25023
99.31/99.61	c bounds 24723749 >= -70 @ 87.9369
99.31/99.61	c bounds 24688179 >= -70 @ 88.6561
99.31/99.61	c bounds 24566265 >= -70 @ 90.7493
99.31/99.61	c bounds 24181125 >= -70 @ 91.845
99.31/99.61	c INPROCESSING
99.31/99.61	c GARBAGE COLLECT
99.31/99.61	WSVECS04 Frhs2[2939]: 6 -8281 0 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4597]: 6 -8281 0 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4979]: 6 0 1.00005 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4980]: 6 0 1.00003 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4983]: 6 0 1.00003 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4984]: 6 0 1.00006 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4986]: 6 0 1.00009 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4991]: 6 0 1.00006 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4993]: 6 0 1.00008 shouldn't be
99.31/99.61	WSVECS04 Frhs2[4996]: 6 0 1.00008 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5008]: 6 0 1.00009 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5014]: 6 0 1.00003 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5015]: 6 0 1.00003 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5017]: 6 0 1.00007 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5025]: 6 0 1.00004 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5026]: 6 0 1.00008 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5027]: 6 0 1.00001 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5030]: 6 0 1.00002 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5032]: 6 0 1.00006 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5033]: 6 0 1.00006 shouldn't be
99.31/99.61	WSVECS04 Frhs2[5036]: 6 0 1.00005 shouldn't be
99.31/99.61	WSVECS04 Frhs2[9526]: 6 -5.54523e+06 0 shouldn't be
99.31/99.61	WSVECS04 Frhs2[9659]: 6 -5.54523e+06 0 shouldn't be
326.11/327.05	c bounds 24060999 >= -70 @ 104.769
326.11/327.05	c bounds 24042335 >= -70 @ 107.436
326.11/327.05	c bounds 24042213 >= -70 @ 107.613
326.11/327.05	c bounds 24040455 >= -70 @ 108.035
326.11/327.05	c #Conflicts:       7000 | #Constraints:      23573
326.11/327.05	c bounds 24020427 >= -70 @ 109.168
326.11/327.05	c bounds 23992527 >= -70 @ 109.535
326.11/327.05	c bounds 23989903 >= -70 @ 120.579
326.11/327.05	c bounds 23414679 >= -70 @ 121.152
326.11/327.05	c bounds 23373027 >= -70 @ 121.86
326.11/327.05	c #Conflicts:       8000 | #Constraints:      24578
326.11/327.05	c #Conflicts:       9000 | #Constraints:      25578
326.11/327.05	c bounds 17397537 >= -70 @ 147.132
326.11/327.05	c bounds 17380803 >= -70 @ 147.473
326.11/327.05	c bounds 17354707 >= -70 @ 147.827
326.11/327.05	c bounds 17258713 >= -70 @ 148.235
326.11/327.05	c bounds 17246321 >= -70 @ 148.961
326.11/327.05	c bounds 17241887 >= -70 @ 149.293
326.11/327.05	c bounds 17227183 >= -70 @ 149.588
326.11/327.05	c bounds 17222753 >= -70 @ 150.275
326.11/327.05	c bounds 17182033 >= -70 @ 150.717
326.11/327.05	c INPROCESSING
326.11/327.05	c GARBAGE COLLECT
326.11/327.05	c bounds 17151383 >= -70 @ 151.825
326.11/327.05	c bounds 17143031 >= -70 @ 152.215
326.11/327.05	c bounds 17092503 >= -70 @ 152.462
326.11/327.05	c bounds 17069517 >= -70 @ 152.862
326.11/327.05	c bounds 17034497 >= -70 @ 153.004
326.11/327.05	c bounds 17023963 >= -70 @ 153.325
326.11/327.05	c bounds 16272593 >= -70 @ 153.469
326.11/327.05	c bounds 16265273 >= -70 @ 153.619
326.11/327.05	c bounds 16254041 >= -70 @ 153.838
326.11/327.05	c bounds 16160193 >= -70 @ 154.126
326.11/327.05	c bounds 16103843 >= -70 @ 154.402
326.11/327.05	c bounds 16076517 >= -70 @ 154.829
326.11/327.05	c bounds 16066523 >= -70 @ 155.21
326.11/327.05	c bounds 16056355 >= -70 @ 155.576
326.11/327.05	c bounds 16006609 >= -70 @ 156.516
326.11/327.05	c bounds 16004519 >= -70 @ 156.789
326.11/327.05	c bounds 15998353 >= -70 @ 156.924
326.11/327.05	c bounds 15955863 >= -70 @ 159.233
326.11/327.05	c bounds 15855925 >= -70 @ 159.405
326.11/327.05	c #Conflicts:      10000 | #Constraints:      23140
326.11/327.05	c bounds 15822661 >= -70 @ 163.824
326.11/327.05	c bounds 15817491 >= -70 @ 164.033
326.11/327.05	c bounds 15807479 >= -70 @ 164.249
326.11/327.05	c bounds 15733017 >= -70 @ 164.951
326.11/327.05	c bounds 15667497 >= -70 @ 165.201
326.11/327.05	c bounds 15644073 >= -70 @ 165.501
326.11/327.05	c bounds 15632345 >= -70 @ 165.723
326.11/327.05	c bounds 15609967 >= -70 @ 166.063
326.11/327.05	c #Conflicts:      11000 | #Constraints:      24148
326.11/327.05	c bounds 15600239 >= -70 @ 176.599
326.11/327.05	c bounds 15592793 >= -70 @ 176.989
326.11/327.05	c bounds 12759713 >= -70 @ 181.045
326.11/327.05	c bounds 12739065 >= -70 @ 181.521
326.11/327.05	c #Conflicts:      12000 | #Constraints:      25155
326.11/327.05	c INPROCESSING
326.11/327.05	c GARBAGE COLLECT
326.11/327.05	c bounds 12526747 >= -70 @ 191.386
326.11/327.05	c bounds 12514911 >= -70 @ 191.673
326.11/327.05	c bounds 12513999 >= -70 @ 195.138
326.11/327.05	c #Conflicts:      13000 | #Constraints:      22481
326.11/327.05	c bounds 12491061 >= -70 @ 214.212
326.11/327.05	c bounds 12489867 >= -70 @ 217.18
326.11/327.05	c bounds 12432741 >= -70 @ 217.659
326.11/327.05	c #Conflicts:      14000 | #Constraints:      23485
326.11/327.05	c bounds 12430089 >= -70 @ 221.197
326.11/327.05	c bounds 12428139 >= -70 @ 221.475
326.11/327.05	c bounds 12401095 >= -70 @ 224.943
326.11/327.05	c bounds 12400647 >= -70 @ 228.668
326.11/327.05	c bounds 12398697 >= -70 @ 228.958
326.11/327.05	c bounds 12391689 >= -70 @ 229.315
326.11/327.05	c bounds 12391247 >= -70 @ 229.92
326.11/327.05	c bounds 12389743 >= -70 @ 230.225
326.11/327.05	c bounds 12383457 >= -70 @ 230.89
326.11/327.05	c bounds 12375579 >= -70 @ 240.448
326.11/327.05	c bounds 12369881 >= -70 @ 242.456
326.11/327.05	c bounds 12262199 >= -70 @ 242.86
326.11/327.05	c bounds 12254607 >= -70 @ 243.341
326.11/327.05	c bounds 12247599 >= -70 @ 244.246
326.11/327.05	c #Conflicts:      15000 | #Constraints:      24501
326.11/327.05	c INPROCESSING
326.11/327.05	c GARBAGE COLLECT
326.11/327.05	c bounds 12239447 >= -70 @ 249.737
326.11/327.05	c bounds 12239209 >= -70 @ 252.423
326.11/327.05	c #Conflicts:      16000 | #Constraints:      22598
326.11/327.05	c #Conflicts:      17000 | #Constraints:      23600
326.11/327.05	c bounds 12195235 >= -70 @ 279.498
326.11/327.05	c bounds 12123447 >= -70 @ 281.231
326.11/327.05	c bounds 12112371 >= -70 @ 282.239
326.11/327.05	c bounds 12094147 >= -70 @ 282.722
326.11/327.05	c bounds 12072001 >= -70 @ 284.162
326.11/327.05	c bounds 12070493 >= -70 @ 284.437
326.11/327.05	c bounds 12065269 >= -70 @ 284.847
326.11/327.05	c bounds 12061615 >= -70 @ 285.883
326.11/327.05	c bounds 12052723 >= -70 @ 286.155
326.11/327.05	c bounds 12023659 >= -70 @ 286.946
326.11/327.05	c bounds 11996813 >= -70 @ 287.498
326.11/327.05	c bounds 11916283 >= -70 @ 288.481
326.11/327.05	c bounds 11887235 >= -70 @ 289.082
326.11/327.05	c bounds 11868651 >= -70 @ 289.933
326.11/327.05	c bounds 11803203 >= -70 @ 290.559
326.11/327.05	c bounds 11790187 >= -70 @ 292.63
326.11/327.05	c bounds 11758997 >= -70 @ 293.146
326.11/327.05	c bounds 11730723 >= -70 @ 294.114
326.11/327.05	c bounds 11730361 >= -70 @ 294.741
326.11/327.05	c bounds 11692777 >= -70 @ 296.97
326.11/327.05	c #Conflicts:      18000 | #Constraints:      24622
326.11/327.05	c INPROCESSING
326.11/327.05	c GARBAGE COLLECT
326.11/327.05	c bounds 11644841 >= -70 @ 307.265
326.11/327.05	c bounds 11639593 >= -70 @ 307.409
326.11/327.05	c bounds 11583275 >= -70 @ 308.167
326.11/327.05	c bounds 11578835 >= -70 @ 313.957
326.11/327.05	c #Conflicts:      19000 | #Constraints:      22448
378.66/379.73	c bounds 11122957 >= -70 @ 330.558
378.66/379.73	c bounds 10967663 >= -70 @ 330.917
378.66/379.73	c bounds 10920785 >= -70 @ 331.132
378.66/379.73	c bounds 10862817 >= -70 @ 331.683
378.66/379.73	c bounds 10831483 >= -70 @ 332.013
378.66/379.73	c bounds 10829497 >= -70 @ 332.176
378.66/379.73	c bounds 10803705 >= -70 @ 332.488
378.66/379.73	c bounds 10802457 >= -70 @ 332.783
378.66/379.73	c bounds 10736649 >= -70 @ 334.33
378.66/379.73	c bounds 10718553 >= -70 @ 334.539
378.66/379.73	c bounds 10599135 >= -70 @ 334.709
378.66/379.73	c bounds 10514213 >= -70 @ 335.056
378.66/379.73	c bounds 10432957 >= -70 @ 335.496
378.66/379.73	c bounds 10252551 >= -70 @ 335.74
378.66/379.73	c bounds 10196185 >= -70 @ 336.086
378.66/379.73	c bounds 10178727 >= -70 @ 336.55
378.66/379.73	c bounds 10143577 >= -70 @ 337.36
378.66/379.73	c bounds 10123705 >= -70 @ 337.985
378.66/379.73	c bounds 10110391 >= -70 @ 339.743
378.66/379.73	c bounds 10102409 >= -70 @ 340.034
378.66/379.73	c bounds 10092193 >= -70 @ 340.223
378.66/379.73	c bounds 10039835 >= -70 @ 340.531
378.66/379.73	c bounds 10033043 >= -70 @ 340.708
378.66/379.73	c bounds 9976979 >= -70 @ 340.938
378.66/379.73	c bounds 9943489 >= -70 @ 341.127
378.66/379.73	c #Conflicts:      20000 | #Constraints:      23473
378.66/379.73	c bounds 9322829 >= -70 @ 344.948
378.66/379.73	c bounds 9293323 >= -70 @ 345.207
378.66/379.73	c bounds 9280067 >= -70 @ 345.418
378.66/379.73	c bounds 9270765 >= -70 @ 345.734
378.66/379.73	c bounds 9215127 >= -70 @ 345.988
378.66/379.73	c bounds 9214737 >= -70 @ 346.485
378.66/379.73	c bounds 9157941 >= -70 @ 346.714
378.66/379.73	c bounds 9115151 >= -70 @ 347.329
378.66/379.73	c bounds 9106037 >= -70 @ 348.46
378.66/379.73	c bounds 9065137 >= -70 @ 348.67
378.66/379.73	c bounds 9063647 >= -70 @ 349.396
378.66/379.73	c bounds 9017535 >= -70 @ 350.14
378.66/379.73	c bounds 9014773 >= -70 @ 351.093
378.66/379.73	c bounds 9003419 >= -70 @ 351.388
378.66/379.73	c #Conflicts:      21000 | #Constraints:      24487
378.66/379.73	c INPROCESSING
378.66/379.73	c GARBAGE COLLECT
378.66/379.73	c rational objective 1.78594e+06
533.55/535.06	c bounds 8998995 >= -70 @ 378.615
533.55/535.06	c bounds 8993563 >= -70 @ 378.795
533.55/535.06	c bounds 8989131 >= -70 @ 378.965
533.55/535.06	c bounds 8988243 >= -70 @ 379.089
533.55/535.06	c bounds 8960469 >= -70 @ 379.358
533.55/535.06	c bounds 8926813 >= -70 @ 379.978
533.55/535.06	c bounds 8910523 >= -70 @ 380.999
533.55/535.06	c bounds 8910305 >= -70 @ 381.294
533.55/535.06	c bounds 8908139 >= -70 @ 381.44
533.55/535.06	c bounds 8887747 >= -70 @ 381.651
533.55/535.06	c bounds 8874309 >= -70 @ 382.507
533.55/535.06	c bounds 8862627 >= -70 @ 382.89
533.55/535.06	c bounds 8853325 >= -70 @ 383.065
533.55/535.06	c #Conflicts:      22000 | #Constraints:      21565
533.55/535.06	c bounds 8848103 >= -70 @ 384.712
533.55/535.06	c bounds 8839263 >= -70 @ 385.629
533.55/535.06	c bounds 8831789 >= -70 @ 386.258
533.55/535.06	c bounds 8819837 >= -70 @ 388.68
533.55/535.06	c bounds 8818173 >= -70 @ 389.519
533.55/535.06	c bounds 8790525 >= -70 @ 390.255
533.55/535.06	c #Conflicts:      23000 | #Constraints:      22571
533.55/535.06	c bounds 8765213 >= -70 @ 398.445
533.55/535.06	c #Conflicts:      24000 | #Constraints:      23572
533.55/535.06	c bounds 7911311 >= -70 @ 415.422
533.55/535.06	c bounds 7854141 >= -70 @ 415.703
533.55/535.06	c bounds 7829157 >= -70 @ 416.059
533.55/535.06	c bounds 7818823 >= -70 @ 416.308
533.55/535.06	c bounds 7708679 >= -70 @ 416.588
533.55/535.06	c bounds 7706689 >= -70 @ 416.933
533.55/535.06	c bounds 7704199 >= -70 @ 417.404
533.55/535.06	c bounds 7699149 >= -70 @ 417.717
533.55/535.06	c bounds 7692765 >= -70 @ 417.963
533.55/535.06	c bounds 7669333 >= -70 @ 418.291
533.55/535.06	c bounds 7656345 >= -70 @ 419.919
533.55/535.06	c bounds 7637745 >= -70 @ 420.633
533.55/535.06	c bounds 7623155 >= -70 @ 421.976
533.55/535.06	c bounds 7621237 >= -70 @ 422.366
533.55/535.06	c bounds 7592511 >= -70 @ 423.005
533.55/535.06	c bounds 7523869 >= -70 @ 423.35
533.55/535.06	c bounds 7523839 >= -70 @ 423.998
533.55/535.06	c bounds 7501331 >= -70 @ 424.316
533.55/535.06	c bounds 7473241 >= -70 @ 424.754
533.55/535.06	c bounds 7463693 >= -70 @ 425.469
533.55/535.06	c bounds 7440701 >= -70 @ 425.838
533.55/535.06	c bounds 7438057 >= -70 @ 426.209
533.55/535.06	c bounds 7427817 >= -70 @ 426.713
533.55/535.06	c bounds 7424087 >= -70 @ 427.058
533.55/535.06	c bounds 7421929 >= -70 @ 427.328
533.55/535.06	c bounds 7401867 >= -70 @ 427.661
533.55/535.06	c bounds 7397451 >= -70 @ 427.956
533.55/535.06	c #Conflicts:      25000 | #Constraints:      24599
533.55/535.06	c bounds 7396331 >= -70 @ 428.651
533.55/535.06	c bounds 7327795 >= -70 @ 429.211
533.55/535.06	c bounds 7310089 >= -70 @ 429.873
533.55/535.06	c bounds 7303003 >= -70 @ 430.154
533.55/535.06	c bounds 7283425 >= -70 @ 430.864
533.55/535.06	c INPROCESSING
533.55/535.06	c GARBAGE COLLECT
533.55/535.06	c #Conflicts:      26000 | #Constraints:      21599
533.55/535.06	c #Conflicts:      27000 | #Constraints:      22599
533.55/535.06	c #Conflicts:      28000 | #Constraints:      23599
533.55/535.06	c #Conflicts:      29000 | #Constraints:      24599
533.55/535.06	c INPROCESSING
533.55/535.06	c GARBAGE COLLECT
533.55/535.06	c bounds 7278623 >= -70 @ 466.34
533.55/535.06	c bounds 7226113 >= -70 @ 466.603
533.55/535.06	c bounds 7213795 >= -70 @ 466.829
533.55/535.06	c bounds 7200793 >= -70 @ 467.289
533.55/535.06	c bounds 7185473 >= -70 @ 469.345
533.55/535.06	c bounds 7182353 >= -70 @ 470.483
533.55/535.06	c bounds 7167711 >= -70 @ 471.086
533.55/535.06	c bounds 7163783 >= -70 @ 471.434
533.55/535.06	c bounds 7149079 >= -70 @ 472.053
533.55/535.06	c bounds 7132689 >= -70 @ 475.086
533.55/535.06	c bounds 7131121 >= -70 @ 475.928
533.55/535.06	c bounds 7120509 >= -70 @ 476.813
533.55/535.06	c #Conflicts:      30000 | #Constraints:      21989
533.55/535.06	c bounds 7093211 >= -70 @ 478.056
533.55/535.06	c bounds 7092661 >= -70 @ 478.63
533.55/535.06	c bounds 7092181 >= -70 @ 479.132
533.55/535.06	c bounds 7088475 >= -70 @ 483.88
533.55/535.06	c #Conflicts:      31000 | #Constraints:      22993
533.55/535.06	c bounds 7087675 >= -70 @ 493.291
533.55/535.06	c bounds 7062653 >= -70 @ 494.612
533.55/535.06	c bounds 7055951 >= -70 @ 498.386
533.55/535.06	c #Conflicts:      32000 | #Constraints:      23996
533.55/535.06	c bounds 6642339 >= -70 @ 514.788
533.55/535.06	c bounds 6636837 >= -70 @ 516.265
533.55/535.06	c bounds 6631139 >= -70 @ 516.765
533.55/535.06	c bounds 6600465 >= -70 @ 517.038
533.55/535.06	c bounds 6588869 >= -70 @ 517.467
533.55/535.06	c bounds 6584391 >= -70 @ 517.831
533.55/535.06	c bounds 6576303 >= -70 @ 518.075
533.55/535.06	c bounds 6564467 >= -70 @ 518.781
533.55/535.06	c bounds 6554771 >= -70 @ 519.373
533.55/535.06	c bounds 6549139 >= -70 @ 519.736
533.55/535.06	c bounds 6547883 >= -70 @ 520.03
533.55/535.06	c bounds 6547467 >= -70 @ 521.227
533.55/535.06	c bounds 6531867 >= -70 @ 521.811
533.55/535.06	c bounds 6527741 >= -70 @ 522.673
533.55/535.06	c bounds 6510437 >= -70 @ 523.103
533.55/535.06	c bounds 6482567 >= -70 @ 523.959
533.55/535.06	c #Conflicts:      33000 | #Constraints:      25012
533.55/535.06	c INPROCESSING
533.55/535.06	c GARBAGE COLLECT
533.55/535.06	c rational objective 1.79072e+06
792.62/794.78	c bounds 6475825 >= -70 @ 533.501
792.62/794.78	c bounds 6438275 >= -70 @ 533.641
792.62/794.78	c bounds 6436227 >= -70 @ 534.102
792.62/794.78	c bounds 6435003 >= -70 @ 534.274
792.62/794.78	c bounds 6432739 >= -70 @ 535.156
792.62/794.78	c bounds 6400147 >= -70 @ 535.499
792.62/794.78	c bounds 6394155 >= -70 @ 536.084
792.62/794.78	c bounds 6370355 >= -70 @ 541.959
792.62/794.78	c #Conflicts:      34000 | #Constraints:      21909
792.62/794.78	c #Conflicts:      35000 | #Constraints:      22909
792.62/794.78	c #Conflicts:      36000 | #Constraints:      23909
792.62/794.78	c #Conflicts:      37000 | #Constraints:      24909
792.62/794.78	c INPROCESSING
792.62/794.78	c GARBAGE COLLECT
792.62/794.78	c bounds 6370345 >= -70 @ 606.397
792.62/794.78	c bounds 6366511 >= -70 @ 606.564
792.62/794.78	c bounds 6358351 >= -70 @ 608.227
792.62/794.78	c bounds 6353473 >= -70 @ 608.733
792.62/794.78	c bounds 6351653 >= -70 @ 608.898
792.62/794.78	c bounds 6343545 >= -70 @ 609.511
792.62/794.78	c bounds 6341833 >= -70 @ 609.926
792.62/794.78	c bounds 6331787 >= -70 @ 614.03
792.62/794.78	c #Conflicts:      38000 | #Constraints:      21939
792.62/794.78	c bounds 6327377 >= -70 @ 620.775
792.62/794.78	c bounds 6300947 >= -70 @ 621.291
792.62/794.78	c bounds 6294881 >= -70 @ 621.83
792.62/794.78	c bounds 6293817 >= -70 @ 622.811
792.62/794.78	c bounds 6289391 >= -70 @ 623.875
792.62/794.78	c bounds 6275527 >= -70 @ 625.148
792.62/794.78	c bounds 6268305 >= -70 @ 627.508
792.62/794.78	c bounds 6257441 >= -70 @ 629.219
792.62/794.78	c bounds 6256755 >= -70 @ 629.48
792.62/794.78	c bounds 6243489 >= -70 @ 632.267
792.62/794.78	c bounds 6239239 >= -70 @ 633.87
792.62/794.78	c #Conflicts:      39000 | #Constraints:      22961
792.62/794.78	c bounds 6238903 >= -70 @ 638.227
792.62/794.78	c bounds 6231397 >= -70 @ 647.58
792.62/794.78	c #Conflicts:      40000 | #Constraints:      23984
792.62/794.78	c bounds 6225735 >= -70 @ 656.392
792.62/794.78	c #Conflicts:      41000 | #Constraints:      24985
792.62/794.78	c bounds 6222957 >= -70 @ 678.757
792.62/794.78	c bounds 6222745 >= -70 @ 689.008
792.62/794.78	c INPROCESSING
792.62/794.78	c GARBAGE COLLECT
792.62/794.78	c #Conflicts:      42000 | #Constraints:      21664
792.62/794.78	c #Conflicts:      43000 | #Constraints:      22664
792.62/794.78	c #Conflicts:      44000 | #Constraints:      23664
792.62/794.78	c #Conflicts:      45000 | #Constraints:      24664
792.62/794.78	c bounds 6151509 >= -70 @ 751.409
792.62/794.78	c bounds 6146523 >= -70 @ 752.263
792.62/794.78	c bounds 6135173 >= -70 @ 752.818
792.62/794.78	c bounds 6124317 >= -70 @ 753.94
792.62/794.78	c bounds 6120117 >= -70 @ 759.731
792.62/794.78	c bounds 6119905 >= -70 @ 763.468
792.62/794.78	c bounds 6067025 >= -70 @ 764.738
792.62/794.78	c bounds 6044065 >= -70 @ 766.932
792.62/794.78	c bounds 6027845 >= -70 @ 768.031
792.62/794.78	c bounds 6014571 >= -70 @ 769.017
792.62/794.78	c bounds 6006047 >= -70 @ 770.846
792.62/794.78	c bounds 6002823 >= -70 @ 772.697
792.62/794.78	c bounds 5987843 >= -70 @ 773.774
792.62/794.78	c #Conflicts:      46000 | #Constraints:      25677
792.62/794.78	c bounds 5976435 >= -70 @ 775.046
792.62/794.78	c bounds 5975365 >= -70 @ 776.725
792.62/794.78	c bounds 5965277 >= -70 @ 777.363
792.62/794.78	c bounds 5953187 >= -70 @ 778.002
792.62/794.78	c bounds 5940717 >= -70 @ 779.059
792.62/794.78	c bounds 5908287 >= -70 @ 779.673
792.62/794.78	c bounds 5907293 >= -70 @ 780.364
792.62/794.78	c bounds 5877107 >= -70 @ 782.002
792.62/794.78	c INPROCESSING
792.62/794.78	c GARBAGE COLLECT
792.62/794.78	WSVECS04 Frhs2[158]: 6 -85264 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[258]: 6 -12544 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[641]: 6 -85264 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[663]: 6 -77284 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[681]: 6 -33124 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[685]: 6 -45369 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[1558]: 6 -76729 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[1838]: 6 -77284 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[2438]: 6 -84681 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[3238]: 6 -33124 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[3518]: 6 -45369 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[3750]: 6 -84681 0 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4971]: 6 0 1.00008 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4972]: 6 0 1.00008 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4973]: 6 0 1.00007 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4974]: 6 0 1.00001 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4977]: 6 0 1.00006 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4978]: 6 0 1.00005 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4979]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4980]: 6 0 1.00006 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4981]: 6 0 1.00004 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4983]: 6 0 1.00005 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4984]: 6 0 1.00002 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4985]: 6 0 1.00006 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4986]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4987]: 6 0 1.00005 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4991]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4992]: 6 0 1.00003 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4993]: 6 0 1.00002 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4994]: 6 0 1.00004 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4995]: 6 0 1.00001 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4996]: 6 0 1.0001 shouldn't be
792.62/794.78	WSVECS04 Frhs2[4997]: 6 0 1.00008 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5001]: 6 0 1.00008 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5002]: 6 0 1.00008 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5004]: 6 0 1.00005 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5006]: 6 0 1.00003 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5007]: 6 0 1.00006 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5008]: 6 0 1.00003 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5009]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5011]: 6 0 1.00008 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5012]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5013]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5014]: 6 0 1.00002 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5015]: 6 0 1.00004 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5016]: 6 0 1.00003 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5017]: 6 0 1.00007 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5018]: 6 0 1.00002 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5019]: 6 0 1.00002 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5020]: 6 0 1.00007 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5021]: 6 0 1.00002 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5026]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5027]: 6 0 1.00003 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5030]: 6 0 1.00007 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5031]: 6 0 1.00009 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5032]: 6 0 1.00006 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5033]: 6 0 1.00005 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5034]: 6 0 1.00004 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5035]: 6 0 1.00008 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5038]: 6 0 1.00002 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5039]: 6 0 1.0001 shouldn't be
792.62/794.78	WSVECS04 Frhs2[5040]: 6 0 1.00004 shouldn't be
807.90/810.06	c rational objective 1.80462e+06
1138.34/1141.21	c bounds 5848461 >= -70 @ 807.595
1138.34/1141.21	c bounds 5846047 >= -70 @ 807.95
1138.34/1141.21	c bounds 5845931 >= -70 @ 808.186
1138.34/1141.21	c bounds 5823517 >= -70 @ 809.231
1138.34/1141.21	c bounds 5817685 >= -70 @ 813.615
1138.34/1141.21	c bounds 5815893 >= -70 @ 815.053
1138.34/1141.21	c bounds 5809207 >= -70 @ 815.358
1138.34/1141.21	c bounds 5784383 >= -70 @ 816.103
1138.34/1141.21	c #Conflicts:      47000 | #Constraints:      22158
1138.34/1141.21	c bounds 5778267 >= -70 @ 820.205
1138.34/1141.21	c bounds 5772267 >= -70 @ 824.336
1138.34/1141.21	c bounds 5752245 >= -70 @ 826.93
1138.34/1141.21	c bounds 5719557 >= -70 @ 828.148
1138.34/1141.21	c bounds 5719521 >= -70 @ 831.774
1138.34/1141.21	c bounds 5697869 >= -70 @ 832.185
1138.34/1141.21	c bounds 5690865 >= -70 @ 835.824
1138.34/1141.21	c bounds 5684629 >= -70 @ 836.65
1138.34/1141.21	c bounds 5682061 >= -70 @ 836.939
1138.34/1141.21	c #Conflicts:      48000 | #Constraints:      23169
1138.34/1141.21	c bounds 5681557 >= -70 @ 841.177
1138.34/1141.21	c bounds 5681541 >= -70 @ 850.793
1138.34/1141.21	c #Conflicts:      49000 | #Constraints:      24178
1138.34/1141.21	c bounds 5667517 >= -70 @ 852.823
1138.34/1141.21	c bounds 5665593 >= -70 @ 854.738
1138.34/1141.21	c bounds 5641085 >= -70 @ 869.246
1138.34/1141.21	c bounds 5622427 >= -70 @ 872.489
1138.34/1141.21	c #Conflicts:      50000 | #Constraints:      25182
1138.34/1141.21	c #Conflicts:      51000 | #Constraints:      26189
1138.34/1141.21	c INPROCESSING
1138.34/1141.21	c GARBAGE COLLECT
1138.34/1141.21	c #Conflicts:      52000 | #Constraints:      22451
1138.34/1141.21	c #Conflicts:      53000 | #Constraints:      23470
1138.34/1141.21	c bounds 5189445 >= -70 @ 955.813
1138.34/1141.21	c bounds 5188215 >= -70 @ 957.395
1138.34/1141.21	c bounds 5187039 >= -70 @ 957.782
1138.34/1141.21	c bounds 5171249 >= -70 @ 958.478
1138.34/1141.21	c bounds 5168389 >= -70 @ 959.814
1138.34/1141.21	c #Conflicts:      54000 | #Constraints:      24475
1138.34/1141.21	c bounds 5162003 >= -70 @ 980.359
1138.34/1141.21	c bounds 5161081 >= -70 @ 982.12
1138.34/1141.21	c bounds 5155523 >= -70 @ 982.956
1138.34/1141.21	c bounds 5155507 >= -70 @ 983.408
1138.34/1141.21	c bounds 5154313 >= -70 @ 984.581
1138.34/1141.21	c bounds 5153369 >= -70 @ 985.04
1138.34/1141.21	c bounds 5151369 >= -70 @ 985.506
1138.34/1141.21	c bounds 5142257 >= -70 @ 985.924
1138.34/1141.21	c bounds 5140999 >= -70 @ 987.268
1138.34/1141.21	c bounds 5139023 >= -70 @ 988.594
1138.34/1141.21	c bounds 5137553 >= -70 @ 989.905
1138.34/1141.21	c bounds 5135361 >= -70 @ 990.568
1138.34/1141.21	c bounds 5120931 >= -70 @ 991.125
1138.34/1141.21	c bounds 5120185 >= -70 @ 993.192
1138.34/1141.21	c bounds 5118967 >= -70 @ 994.281
1138.34/1141.21	c bounds 5100807 >= -70 @ 995.963
1138.34/1141.21	c bounds 5073487 >= -70 @ 996.434
1138.34/1141.21	c bounds 5071265 >= -70 @ 997.061
1138.34/1141.21	c bounds 5065253 >= -70 @ 997.809
1138.34/1141.21	c bounds 5065231 >= -70 @ 998.444
1138.34/1141.21	c bounds 5063009 >= -70 @ 998.854
1138.34/1141.21	c bounds 5062065 >= -70 @ 999.78
1138.34/1141.21	c bounds 5050607 >= -70 @ 1000.32
1138.34/1141.21	c bounds 5032119 >= -70 @ 1000.88
1138.34/1141.21	c bounds 4997523 >= -70 @ 1001.44
1138.34/1141.21	c bounds 4941161 >= -70 @ 1002.12
1138.34/1141.21	c bounds 4924579 >= -70 @ 1002.61
1138.34/1141.21	c bounds 4915605 >= -70 @ 1003.05
1138.34/1141.21	c bounds 4913029 >= -70 @ 1004.15
1138.34/1141.21	c #Conflicts:      55000 | #Constraints:      25507
1138.34/1141.21	c bounds 4909605 >= -70 @ 1006.34
1138.34/1141.21	c #Conflicts:      56000 | #Constraints:      26511
1138.34/1141.21	c INPROCESSING
1138.34/1141.21	c GARBAGE COLLECT
1138.34/1141.21	c bounds 4903519 >= -70 @ 1068.22
1138.34/1141.21	c bounds 4888585 >= -70 @ 1068.55
1138.34/1141.21	c bounds 4886805 >= -70 @ 1068.75
1138.34/1141.21	c bounds 4885221 >= -70 @ 1068.91
1138.34/1141.21	c bounds 4878043 >= -70 @ 1069.2
1138.34/1141.21	c bounds 4874119 >= -70 @ 1069.77
1138.34/1141.21	c bounds 4870983 >= -70 @ 1069.95
1138.34/1141.21	c bounds 4867199 >= -70 @ 1070.64
1138.34/1141.21	c bounds 4863329 >= -70 @ 1070.8
1138.34/1141.21	c bounds 4824825 >= -70 @ 1070.93
1138.34/1141.21	c bounds 4817967 >= -70 @ 1071.14
1138.34/1141.21	c bounds 4814097 >= -70 @ 1071.35
1138.34/1141.21	c bounds 4783949 >= -70 @ 1071.49
1138.34/1141.21	c bounds 4778957 >= -70 @ 1071.82
1138.34/1141.21	c bounds 4775421 >= -70 @ 1071.97
1138.34/1141.21	c bounds 4771281 >= -70 @ 1072.9
1138.34/1141.21	c bounds 4770825 >= -70 @ 1073.27
1138.34/1141.21	c bounds 4738967 >= -70 @ 1073.56
1138.34/1141.21	c bounds 4737357 >= -70 @ 1073.81
1138.34/1141.21	c bounds 4728891 >= -70 @ 1074.37
1138.34/1141.21	c bounds 4728827 >= -70 @ 1074.72
1138.34/1141.21	c bounds 4728749 >= -70 @ 1074.9
1138.34/1141.21	c bounds 4724613 >= -70 @ 1075.07
1138.34/1141.21	c bounds 4723549 >= -70 @ 1076.18
1138.34/1141.21	c bounds 4721043 >= -70 @ 1077.82
1138.34/1141.21	c bounds 4718843 >= -70 @ 1079.85
1138.34/1141.21	c bounds 4717877 >= -70 @ 1080.04
1138.34/1141.21	c bounds 4714647 >= -70 @ 1080.28
1138.34/1141.21	c bounds 4712627 >= -70 @ 1080.48
1138.34/1141.21	c #Conflicts:      57000 | #Constraints:      22319
1138.34/1141.21	c bounds 4707867 >= -70 @ 1081.96
1138.34/1141.21	c bounds 4707323 >= -70 @ 1083.7
1138.34/1141.21	c bounds 4707309 >= -70 @ 1084.19
1138.34/1141.21	c bounds 4705847 >= -70 @ 1084.36
1138.34/1141.21	c bounds 4705785 >= -70 @ 1084.77
1138.34/1141.21	c bounds 4703083 >= -70 @ 1085.03
1138.34/1141.21	c bounds 4701643 >= -70 @ 1085.81
1138.34/1141.21	c #Conflicts:      58000 | #Constraints:      23326
1138.34/1141.21	c bounds 4701277 >= -70 @ 1099.73
1138.34/1141.21	c #Conflicts:      59000 | #Constraints:      24327
1138.34/1141.21	c #Conflicts:      60000 | #Constraints:      25327
1138.34/1141.21	c #Conflicts:      61000 | #Constraints:      26327
1138.34/1141.21	c INPROCESSING
1138.34/1141.21	c GARBAGE COLLECT
1354.66/1358.01	c bounds 4699507 >= -70 @ 1135.14
1354.66/1358.01	c bounds 4698579 >= -70 @ 1135.27
1354.66/1358.01	c bounds 4698563 >= -70 @ 1135.46
1354.66/1358.01	c bounds 4697849 >= -70 @ 1135.67
1354.66/1358.01	c bounds 4694073 >= -70 @ 1138.57
1354.66/1358.01	c bounds 4692745 >= -70 @ 1138.88
1354.66/1358.01	c #Conflicts:      62000 | #Constraints:      22201
1354.66/1358.01	c bounds 4692659 >= -70 @ 1149.89
1354.66/1358.01	c #Conflicts:      63000 | #Constraints:      23202
1354.66/1358.01	c #Conflicts:      64000 | #Constraints:      24202
1354.66/1358.01	c #Conflicts:      65000 | #Constraints:      25202
1354.66/1358.01	c #Conflicts:      66000 | #Constraints:      26202
1354.66/1358.01	c INPROCESSING
1354.66/1358.01	c GARBAGE COLLECT
1354.66/1358.01	c #Conflicts:      67000 | #Constraints:      21955
1354.66/1358.01	c #Conflicts:      68000 | #Constraints:      22955
1354.66/1358.01	c bounds 4692585 >= -70 @ 1237.03
1354.66/1358.01	c bounds 4691769 >= -70 @ 1241.31
1354.66/1358.01	c #Conflicts:      69000 | #Constraints:      23957
1354.66/1358.01	c bounds 4691665 >= -70 @ 1264.41
1354.66/1358.01	c bounds 4689033 >= -70 @ 1278.73
1354.66/1358.01	c bounds 4689031 >= -70 @ 1280.57
1354.66/1358.01	c bounds 4688943 >= -70 @ 1281.03
1354.66/1358.01	c #Conflicts:      70000 | #Constraints:      24962
1354.66/1358.01	c bounds 4688929 >= -70 @ 1285.09
1354.66/1358.01	c bounds 4687601 >= -70 @ 1290.98
1354.66/1358.01	c bounds 4687599 >= -70 @ 1293.86
1354.66/1358.01	c bounds 4686825 >= -70 @ 1300.62
1354.66/1358.01	c #Conflicts:      71000 | #Constraints:      25970
1354.66/1358.01	c bounds 4679605 >= -70 @ 1308.28
1354.66/1358.01	c bounds 4661253 >= -70 @ 1309.14
1354.66/1358.01	c bounds 4634409 >= -70 @ 1311.42
1354.66/1358.01	c bounds 4628815 >= -70 @ 1314.58
1354.66/1358.01	c #Conflicts:      72000 | #Constraints:      26983
1354.66/1358.01	c INPROCESSING
1354.66/1358.01	c GARBAGE COLLECT
1354.66/1358.01	c rational objective 1.86036e+06
1989.92/1994.80	c bounds 4620089 >= -70 @ 1352.97
1989.92/1994.80	c bounds 4615999 >= -70 @ 1353.94
1989.92/1994.80	c bounds 4590679 >= -70 @ 1354.59
1989.92/1994.80	c bounds 4580071 >= -70 @ 1356.39
1989.92/1994.80	c bounds 4577773 >= -70 @ 1357.35
1989.92/1994.80	c bounds 4570507 >= -70 @ 1357.79
1989.92/1994.80	c bounds 4563025 >= -70 @ 1359.28
1989.92/1994.80	c #Conflicts:      73000 | #Constraints:      22532
1989.92/1994.80	c bounds 4561307 >= -70 @ 1363.17
1989.92/1994.80	c bounds 4558869 >= -70 @ 1363.72
1989.92/1994.80	c bounds 4558517 >= -70 @ 1364.07
1989.92/1994.80	c bounds 4554813 >= -70 @ 1365.91
1989.92/1994.80	c bounds 4544205 >= -70 @ 1366.95
1989.92/1994.80	c bounds 4543887 >= -70 @ 1373.25
1989.92/1994.80	c bounds 4542271 >= -70 @ 1374.09
1989.92/1994.80	c #Conflicts:      74000 | #Constraints:      23545
1989.92/1994.80	c bounds 4537791 >= -70 @ 1382.89
1989.92/1994.80	c #Conflicts:      75000 | #Constraints:      24552
1989.92/1994.80	c #Conflicts:      76000 | #Constraints:      25555
1989.92/1994.80	c #Conflicts:      77000 | #Constraints:      26555
1989.92/1994.80	c #Conflicts:      78000 | #Constraints:      27555
1989.92/1994.80	c INPROCESSING
1989.92/1994.80	c GARBAGE COLLECT
1989.92/1994.80	c bounds 4534929 >= -70 @ 1458.97
1989.92/1994.80	c #Conflicts:      79000 | #Constraints:      22891
1989.92/1994.80	c #Conflicts:      80000 | #Constraints:      23892
1989.92/1994.80	c #Conflicts:      81000 | #Constraints:      24893
1989.92/1994.80	c #Conflicts:      82000 | #Constraints:      25893
1989.92/1994.80	c #Conflicts:      83000 | #Constraints:      26896
1989.92/1994.80	c #Conflicts:      84000 | #Constraints:      27907
1989.92/1994.80	c INPROCESSING
1989.92/1994.80	c GARBAGE COLLECT
1989.92/1994.80	c #Conflicts:      85000 | #Constraints:      23204
1989.92/1994.80	c #Conflicts:      86000 | #Constraints:      24214
1989.92/1994.80	c #Conflicts:      87000 | #Constraints:      25221
1989.92/1994.80	c #Conflicts:      88000 | #Constraints:      26222
1989.92/1994.80	c #Conflicts:      89000 | #Constraints:      27295
1989.92/1994.80	c #Conflicts:      90000 | #Constraints:      28298
1989.92/1994.80	c INPROCESSING
1989.92/1994.80	c GARBAGE COLLECT
1989.92/1994.80	c #Conflicts:      91000 | #Constraints:      23180
1989.92/1994.80	c #Conflicts:      92000 | #Constraints:      24181
1989.92/1994.80	c #Conflicts:      93000 | #Constraints:      25181
1989.92/1994.80	c #Conflicts:      94000 | #Constraints:      26183
1989.92/1994.80	c #Conflicts:      95000 | #Constraints:      27184
1989.92/1994.80	c #Conflicts:      96000 | #Constraints:      28205
1989.92/1994.80	c INPROCESSING
1989.92/1994.80	c GARBAGE COLLECT
1989.92/1994.80	c #Conflicts:      97000 | #Constraints:      22917
1989.92/1994.80	c #Conflicts:      98000 | #Constraints:      23925
1989.92/1994.80	c bounds 4534203 >= -70 @ 1888.71
1989.92/1994.80	c bounds 4531813 >= -70 @ 1889.05
1989.92/1994.80	c bounds 4530935 >= -70 @ 1889.6
1989.92/1994.80	c bounds 4527855 >= -70 @ 1889.97
1989.92/1994.80	c bounds 4522451 >= -70 @ 1890.43
1989.92/1994.80	c bounds 4503891 >= -70 @ 1892.01
1989.92/1994.80	c bounds 4495297 >= -70 @ 1892.91
1989.92/1994.80	c bounds 4491223 >= -70 @ 1894.38
1989.92/1994.80	c #Conflicts:      99000 | #Constraints:      24939
1989.92/1994.80	c bounds 4490127 >= -70 @ 1897.03
1989.92/1994.80	c bounds 4483467 >= -70 @ 1897.73
1989.92/1994.80	c bounds 4478873 >= -70 @ 1898.73
1989.92/1994.80	c bounds 4475515 >= -70 @ 1900.13
1989.92/1994.80	c bounds 4461529 >= -70 @ 1900.98
1989.92/1994.80	c bounds 4458457 >= -70 @ 1902.09
1989.92/1994.80	c bounds 4457225 >= -70 @ 1902.4
1989.92/1994.80	c bounds 4454255 >= -70 @ 1902.88
1989.92/1994.80	c bounds 4452727 >= -70 @ 1904.52
1989.92/1994.80	c bounds 4440263 >= -70 @ 1904.99
1989.92/1994.80	c bounds 4439461 >= -70 @ 1907.75
1989.92/1994.80	c bounds 4439031 >= -70 @ 1908.35
1989.92/1994.80	c bounds 4430343 >= -70 @ 1910.63
1989.92/1994.80	c #Conflicts:     100000 | #Constraints:      25968
1989.92/1994.80	c #Conflicts:     101000 | #Constraints:      26979
1989.92/1994.80	c bounds 4428831 >= -70 @ 1933.11
1989.92/1994.80	c bounds 4427223 >= -70 @ 1936.98
1989.92/1994.80	c bounds 4426981 >= -70 @ 1940.11
1989.92/1994.80	c bounds 4422579 >= -70 @ 1942.13
1989.92/1994.80	c bounds 4413229 >= -70 @ 1947.68
1989.92/1994.80	c #Conflicts:     102000 | #Constraints:      27995
1989.92/1994.80	c bounds 4411975 >= -70 @ 1956.33
1989.92/1994.80	c #Conflicts:     103000 | #Constraints:      29000
1989.92/1994.80	c INPROCESSING
1989.92/1994.80	c GARBAGE COLLECT
1989.92/1994.80	c rational objective 1.80952e+06
2255.04/2260.62	c bounds 4407013 >= -70 @ 1987.12
2255.04/2260.62	c bounds 4406227 >= -70 @ 1987.28
2255.04/2260.62	c bounds 4404619 >= -70 @ 1987.44
2255.04/2260.62	c #Conflicts:     104000 | #Constraints:      23470
2255.04/2260.62	c #Conflicts:     105000 | #Constraints:      24473
2255.04/2260.62	c #Conflicts:     106000 | #Constraints:      25484
2255.04/2260.62	c #Conflicts:     107000 | #Constraints:      26497
2255.04/2260.62	c #Conflicts:     108000 | #Constraints:      27497
2255.04/2260.62	c #Conflicts:     109000 | #Constraints:      28498
2255.04/2260.62	c #Conflicts:     110000 | #Constraints:      29509
2255.04/2260.62	c INPROCESSING
2255.04/2260.62	c GARBAGE COLLECT
2255.04/2260.62	c #Conflicts:     111000 | #Constraints:      23843
2255.04/2260.62	c #Conflicts:     112000 | #Constraints:      24843
2255.04/2260.62	c #Conflicts:     113000 | #Constraints:      25843
2255.04/2260.62	c #Conflicts:     114000 | #Constraints:      26843
2255.04/2260.62	c #Conflicts:     115000 | #Constraints:      27843
2255.04/2260.62	c #Conflicts:     116000 | #Constraints:      28843
2255.04/2260.62	c #Conflicts:     117000 | #Constraints:      29843
2255.04/2260.62	c INPROCESSING
2255.04/2260.62	c GARBAGE COLLECT
2255.04/2260.62	c rational objective 1.80975e+06
2797.37/2804.16	c #Conflicts:     118000 | #Constraints:      23982
2797.37/2804.16	c #Conflicts:     119000 | #Constraints:      24982
2797.37/2804.16	c #Conflicts:     120000 | #Constraints:      25982
2797.37/2804.16	c #Conflicts:     121000 | #Constraints:      26982
2797.37/2804.16	c #Conflicts:     122000 | #Constraints:      27984
2797.37/2804.16	c #Conflicts:     123000 | #Constraints:      28984
2797.37/2804.16	c #Conflicts:     124000 | #Constraints:      29985
2797.37/2804.16	c INPROCESSING
2797.37/2804.16	c GARBAGE COLLECT
2797.37/2804.16	c #Conflicts:     125000 | #Constraints:      23981
2797.37/2804.16	c #Conflicts:     126000 | #Constraints:      25003
2797.37/2804.16	c #Conflicts:     127000 | #Constraints:      26129
2797.37/2804.16	c #Conflicts:     128000 | #Constraints:      27130
2797.37/2804.16	c #Conflicts:     129000 | #Constraints:      28131
2797.37/2804.16	c #Conflicts:     130000 | #Constraints:      29140
2797.37/2804.16	c #Conflicts:     131000 | #Constraints:      30142
2797.37/2804.16	c INPROCESSING
2797.37/2804.16	c GARBAGE COLLECT
2797.37/2804.16	c #Conflicts:     132000 | #Constraints:      23766
2797.37/2804.16	c #Conflicts:     133000 | #Constraints:      24766
2797.37/2804.16	c #Conflicts:     134000 | #Constraints:      25766
2797.37/2804.16	c #Conflicts:     135000 | #Constraints:      26768
2797.37/2804.16	c #Conflicts:     136000 | #Constraints:      27769
2797.37/2804.16	c #Conflicts:     137000 | #Constraints:      28771
2797.37/2804.16	c #Conflicts:     138000 | #Constraints:      29771
2797.37/2804.16	c #Conflicts:     139000 | #Constraints:      30771
2797.37/2804.16	c INPROCESSING
2797.37/2804.16	c GARBAGE COLLECT
2797.37/2804.16	c rational objective 1.81059e+06
2947.15/2954.23	c #Conflicts:     140000 | #Constraints:      24194
2947.15/2954.23	c #Conflicts:     141000 | #Constraints:      25194
2947.15/2954.23	c #Conflicts:     142000 | #Constraints:      26195
2947.15/2954.23	c #Conflicts:     143000 | #Constraints:      27196
2947.15/2954.23	c #Conflicts:     144000 | #Constraints:      28198
2947.15/2954.23	c #Conflicts:     145000 | #Constraints:      29200
2947.15/2954.23	c #Conflicts:     146000 | #Constraints:      30200
2947.15/2954.23	c #Conflicts:     147000 | #Constraints:      31200
2947.15/2954.23	c INPROCESSING
2947.15/2954.23	c GARBAGE COLLECT
2947.15/2954.23	c rational objective 1.81091e+06
3052.03/3059.30	c #Conflicts:     148000 | #Constraints:      24474
3052.03/3059.30	c #Conflicts:     149000 | #Constraints:      25474
3052.03/3059.30	c #Conflicts:     150000 | #Constraints:      26474
3052.03/3059.30	c #Conflicts:     151000 | #Constraints:      27474
3052.03/3059.30	c #Conflicts:     152000 | #Constraints:      28474
3052.03/3059.30	c #Conflicts:     153000 | #Constraints:      29474
3052.03/3059.30	c #Conflicts:     154000 | #Constraints:      30474
3052.03/3059.30	c #Conflicts:     155000 | #Constraints:      31475
3052.03/3059.30	c INPROCESSING
3052.03/3059.30	c GARBAGE COLLECT
3052.03/3059.30	c rational objective 1.81313e+06
3564.80/3573.18	c #Conflicts:     156000 | #Constraints:      24626
3564.80/3573.18	c #Conflicts:     157000 | #Constraints:      25627
3564.80/3573.18	c #Conflicts:     158000 | #Constraints:      26628
3564.80/3573.18	c #Conflicts:     159000 | #Constraints:      27629
3564.80/3573.18	c #Conflicts:     160000 | #Constraints:      28630
3564.80/3573.18	c #Conflicts:     161000 | #Constraints:      29630
3564.80/3573.18	c #Conflicts:     162000 | #Constraints:      30631
3564.80/3573.18	c bounds 4403275 >= -70 @ 3246.01
3564.80/3573.18	c bounds 4403211 >= -70 @ 3246.56
3564.80/3573.18	c bounds 4403011 >= -70 @ 3247.12
3564.80/3573.18	c bounds 4399365 >= -70 @ 3247.67
3564.80/3573.18	c bounds 4399301 >= -70 @ 3248.1
3564.80/3573.18	c bounds 4399165 >= -70 @ 3248.91
3564.80/3573.18	c bounds 4398331 >= -70 @ 3249.53
3564.80/3573.18	c bounds 4397661 >= -70 @ 3249.99
3564.80/3573.18	c bounds 4393851 >= -70 @ 3250.91
3564.80/3573.18	c bounds 4393787 >= -70 @ 3251.34
3564.80/3573.18	c bounds 4393055 >= -70 @ 3253.78
3564.80/3573.18	c bounds 4390291 >= -70 @ 3256.75
3564.80/3573.18	c bounds 4368463 >= -70 @ 3258.7
3564.80/3573.18	c #Conflicts:     163000 | #Constraints:      31771
3564.80/3573.18	c bounds 4367587 >= -70 @ 3263.43
3564.80/3573.18	c bounds 4361629 >= -70 @ 3267.08
3564.80/3573.18	c INPROCESSING
3564.80/3573.18	c GARBAGE COLLECT
3564.80/3573.18	c bounds 4349555 >= -70 @ 3277.2
3564.80/3573.18	c #Conflicts:     164000 | #Constraints:      24794
3564.80/3573.18	c bounds 4325175 >= -70 @ 3303.42
3564.80/3573.18	c #Conflicts:     165000 | #Constraints:      25799
3564.80/3573.18	c #Conflicts:     166000 | #Constraints:      26802
3564.80/3573.18	c bounds 4320801 >= -70 @ 3381.25
3564.80/3573.18	c #Conflicts:     167000 | #Constraints:      27808
3564.80/3573.18	c bounds 4319359 >= -70 @ 3382.91
3564.80/3573.18	c bounds 4314871 >= -70 @ 3383.27
3564.80/3573.18	c bounds 4313821 >= -70 @ 3383.63
3564.80/3573.18	c bounds 4311859 >= -70 @ 3384.43
3564.80/3573.18	c bounds 4309997 >= -70 @ 3386.29
3564.80/3573.18	c #Conflicts:     168000 | #Constraints:      28816
3564.80/3573.18	c bounds 4309463 >= -70 @ 3400.04
3564.80/3573.18	c bounds 4297493 >= -70 @ 3400.53
3564.80/3573.18	c bounds 4296659 >= -70 @ 3400.95
3564.80/3573.18	c bounds 4286893 >= -70 @ 3402.39
3564.80/3573.18	c bounds 4281879 >= -70 @ 3403.06
3564.80/3573.18	c bounds 4278573 >= -70 @ 3403.77
3564.80/3573.18	c #Conflicts:     169000 | #Constraints:      29824
3564.80/3573.18	c #Conflicts:     170000 | #Constraints:      30824
3564.80/3573.18	c #Conflicts:     171000 | #Constraints:      31827
3564.80/3573.18	c INPROCESSING
3564.80/3573.18	c GARBAGE COLLECT
3564.80/3573.18	c rational objective 1.81315e+06
3600.02/3608.40	c
3600.02/3608.40	s SATISFIABLE
3600.02/3608.40	v ~x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 x1059 ~x1060 ~x1061 ~x1062 x1063 x1064 ~x1065 x1066 x1067 ~x1068 x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 x1075 ~x1076 ~x1077 x1078 ~x1079 ~x1080 x1081 x1082 ~x1083 ~x1084 ~x1085 x1086 ~x1087 x1088 ~x1089 ~x1090 x1091 ~x1092 ~x1093 x1094 x1095 x1096 ~x1097 ~x1098 x1099 x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 x1107 ~x1108 ~x1109 ~x1110 ~x1111 x1112 ~x1113 ~x1114 ~x1115 x1116 x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 x1261 x1262 ~x1263 x1264 ~x1265 x1266 ~x1267 ~x1268 ~x1269 ~x1270 x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 x1287 ~x1288 x1289 ~x1290 ~x1291 ~x1292 x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 x1299 x1300 ~x1301 x1302 x1303 ~x1304 ~x1305 ~x1306 x1307 ~x1308 ~x1309 ~x1310 x1311 ~x1312 x1313 ~x1314 x1315 x1316 ~x1317 ~x1318 x1319 x1320 ~x1321 ~x1322 x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 ~x1830 ~x1831 ~x1832 ~x1833 ~x1834 ~x1835 ~x1836 ~x1837 ~x1838 ~x1839 ~x1840 ~x1841 ~x1842 ~x1843 ~x1844 ~x1845 x1846 ~x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 ~x1853 ~x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 ~x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 ~x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 ~x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 x3173 ~x3174 ~x3175 ~x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 ~x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 ~x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 ~x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 ~x3434 ~x3435 ~x3436 x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 ~x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 ~x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 ~x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 ~x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 ~x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 ~x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 ~x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 ~x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 ~x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 ~x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 ~x3775 ~x3776 ~x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 ~x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 x3806 ~x3807 ~x3808 ~x3809 ~x3810 ~x3811 ~x3812 ~x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 ~x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 ~x3883 ~x3884 ~x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 ~x3912 ~x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 ~x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 ~x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 ~x3991 ~x3992 ~x3993 ~x3994 ~x3995 ~x3996 x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 ~x4010 ~x4011 ~x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 ~x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 ~x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 ~x4093 ~x4094 ~x4095 ~x4096 ~x4097 ~x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 ~x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 ~x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 x4156 ~x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 ~x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 ~x4229 ~x4230 ~x4231 ~x4232 ~x4233 ~x4234 ~x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 ~x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 ~x4261 ~x4262 ~x4263 ~x4264 ~x4265 ~x4266 ~x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 x4277 ~x4278 ~x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 ~x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 ~x4301 ~x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 ~x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 ~x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 ~x4410 ~x4411 ~x4412 ~x4413 ~x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 ~x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 ~x4429 ~x4430 ~x4431 ~x4432 x4433 ~x4434 ~x4435 ~x4436 ~x4437 ~x4438 ~x4439 ~x4440 ~x4441 ~x4442 ~x4443 ~x4444 ~x4445 ~x4446 ~x4447 ~x4448 ~x4449 ~x4450 ~x4451 ~x4452 ~x4453 ~x4454 ~x4455 ~x4456 ~x4457 ~x4458 ~x4459 ~x4460 ~x4461 ~x4462 ~x4463 ~x4464 ~x4465 ~x4466 ~x4467 ~x4468 ~x4469 ~x4470 ~x4471 ~x4472 ~x4473 ~x4474 ~x4475 ~x4476 ~x4477 ~x4478 ~x4479 ~x4480 ~x4481 ~x4482 ~x4483 ~x4484 ~x4485 ~x4486 x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 ~x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 ~x4513 ~x4514 ~x4515 ~x4516 ~x4517 ~x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 ~x4543 ~x4544 ~x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 ~x4564 ~x4565 ~x4566 ~x4567 ~x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 ~x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 ~x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 ~x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 ~x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 ~x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 ~x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 ~x4685 ~x4686 ~x4687 ~x4688 ~x4689 ~x4690 ~x4691 ~x4692 ~x4693 ~x4694 ~x4695 ~x4696 x4697 ~x4698 ~x4699 ~x4700 ~x4701 ~x4702 ~x4703 ~x4704 ~x4705 ~x4706 ~x4707 ~x4708 ~x4709 ~x4710 ~x4711 ~x4712 ~x4713 ~x4714 ~x4715 ~x4716 ~x4717 ~x4718 ~x4719 ~x4720 ~x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 ~x4728 ~x4729 ~x4730 ~x4731 ~x4732 ~x4733 ~x4734 ~x4735 ~x4736 ~x4737 ~x4738 ~x4739 ~x4740 ~x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 ~x4747 ~x4748 ~x4749 ~x4750 ~x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 x4763 ~x4764 x4765 ~x4766 ~x4767 ~x4768 ~x4769 x4770 ~x4771 x4772 ~x4773 ~x4774 x4775 ~x4776 ~x4777 x4778 ~x4779 x4780 ~x4781 x4782 ~x4783 x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 x4790 ~x4791 ~x4792 ~x4793 x4794 x4795 ~x4796 x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 x4808 ~x4809 ~x4810 ~x4811 x4812 ~x4813 x4814 ~x4815 ~x4816 ~x4817 x4818 ~x4819 ~x4820 x4821 ~x4822 ~x4823 x4824 x4825 ~x4826 ~x4827 x4828 ~x4829 x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 ~x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 ~x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 x4993 ~x4994 ~x4995 x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 ~x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 ~x5037 ~x5038 ~x5039 ~x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 ~x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 ~x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 ~x5095 ~x5096 ~x5097 ~x5098 ~x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 ~x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 ~x5140 ~x5141 ~x5142 ~x5143 ~x5144 ~x5145 ~x5146 ~x5147 ~x5148 ~x5149 ~x5150 ~x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 ~x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 ~x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 ~x5238 ~x5239 ~x5240 ~x5241 ~x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 ~x5255 ~x5256 ~x5257 ~x5258 ~x5259 ~x5260 ~x5261 ~x5262 ~x5263 ~x5264 ~x5265 ~x5266 ~x5267 ~x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 ~x5299 ~x5300 ~x5301 ~x5302 ~x5303 ~x5304 ~x5305 ~x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 ~x5312 ~x5313 ~x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 ~x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 ~x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 ~x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 ~x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 ~x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 ~x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 ~x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 ~x5569 ~x5570 ~x5571 ~x5572 ~x5573 ~x5574 ~x5575 ~x5576 ~x5577 ~x5578 ~x5579 ~x5580 ~x5581 ~x5582 ~x5583 ~x5584 ~x5585 ~x5586 ~x5587 ~x5588 ~x5589 ~x5590 ~x5591 ~x5592 ~x5593 ~x5594 ~x5595 ~x5596 ~x5597 ~x5598 ~x5599 ~x5600 ~x5601 ~x5602 ~x5603 ~x5604 ~x5605 ~x5606 ~x5607 ~x5608 ~x5609 ~x5610 ~x5611 ~x5612 ~x5613 ~x5614 ~x5615 ~x5616 ~x5617 ~x5618 ~x5619 ~x5620 ~x5621 ~x5622 ~x5623 ~x5624 ~x5625 ~x5626 ~x5627 ~x5628 ~x5629 ~x5630 ~x5631 ~x5632 ~x5633 ~x5634 ~x5635 ~x5636 ~x5637 ~x5638 ~x5639 ~x5640 ~x5641 ~x5642 ~x5643 ~x5644 ~x5645 ~x5646 ~x5647 ~x5648 ~x5649 ~x5650 ~x5651 ~x5652 ~x5653 ~x5654 ~x5655 ~x5656 ~x5657 ~x5658 ~x5659 ~x5660 ~x5661 ~x5662 ~x5663 ~x5664 ~x5665 ~x5666 ~x5667 ~x5668 ~x5669 ~x5670 ~x5671 ~x5672 ~x5673 ~x5674 ~x5675 ~x5676 ~x5677 ~x5678 ~x5679 ~x5680 ~x5681 ~x5682 ~x5683 ~x5684 ~x5685 ~x5686 ~x5687 ~x5688 ~x5689 ~x5690 ~x5691 ~x5692 ~x5693 ~x5694 ~x5695 ~x5696 ~x5697 ~x5698 ~x5699 ~x5700 ~x5701 ~x5702 ~x5703 ~x5704 ~x5705 ~x5706 ~x5707 ~x5708 ~x5709 ~x5710 ~x5711 ~x5712 ~x5713 ~x5714 ~x5715 ~x5716 ~x5717 ~x5718 ~x5719 ~x5720 ~x5721 ~x5722 ~x5723 ~x5724 ~x5725 ~x5726 ~x5727 ~x5728 ~x5729 ~x5730 ~x5731 ~x5732 ~x5733 ~x5734 ~x5735 ~x5736 ~x5737 ~x5738 ~x5739 ~x5740 ~x5741 ~x5742 ~x5743 ~x5744 ~x5745 ~x5746 ~x5747 ~x5748 ~x5749 ~x5750 ~x5751 ~x5752 ~x5753 ~x5754 ~x5755 ~x5756 ~x5757 ~x5758 ~x5759 ~x5760 ~x5761 ~x5762 ~x5763 ~x5764 ~x5765 ~x5766 ~x5767 ~x5768 ~x5769 ~x5770 ~x5771 ~x5772 ~x5773 ~x5774 ~x5775 ~x5776 ~x5777 ~x5778 ~x5779 ~x5780 ~x5781 ~x5782 ~x5783 ~x5784 ~x5785 ~x5786 ~x5787 ~x5788 ~x5789 ~x5790 ~x5791 ~x5792 ~x5793 ~x5794 ~x5795 ~x5796 ~x5797 ~x5798 ~x5799 ~x5800 ~x5801 ~x5802 ~x5803 ~x5804 ~x5805 ~x5806 ~x5807 ~x5808 ~x5809 ~x5810 ~x5811 ~x5812 ~x5813 ~x5814 ~x5815 ~x5816 ~x5817 ~x5818 ~x5819 ~x5820 ~x5821 ~x5822 ~x5823 ~x5824 ~x5825 ~x5826 ~x5827 ~x5828 ~x5829 ~x5830 ~x5831 ~x5832 ~x5833 ~x5834 ~x5835 ~x5836 ~x5837 ~x5838 ~x5839 ~x5840 ~x5841 ~x5842 ~x5843 ~x5844 ~x5845 ~x5846 ~x5847 ~x5848 ~x5849 ~x5850 ~x5851 ~x5852 ~x5853 ~x5854 ~x5855 ~x5856 ~x5857 ~x5858 ~x5859 ~x5860 ~x5861 ~x5862 ~x5863 ~x5864 ~x5865 ~x5866 ~x5867 ~x5868 ~x5869 ~x5870 ~x5871 ~x5872 ~x5873 ~x5874 ~x5875 ~x5876 ~x5877 ~x5878 ~x5879 ~x5880 ~x5881 ~x5882 ~x5883 ~x5884 ~x5885 ~x5886 ~x5887 ~x5888 ~x5889 ~x5890 ~x5891 ~x5892 ~x5893 ~x5894 ~x5895 ~x5896 ~x5897 ~x5898 ~x5899 ~x5900 ~x5901 ~x5902 ~x5903 ~x5904 ~x5905 ~x5906 ~x5907 ~x5908 ~x5909 ~x5910 ~x5911 ~x5912 ~x5913 ~x5914 ~x5915 ~x5916 ~x5917 ~x5918 ~x5919 ~x5920 ~x5921 ~x5922 ~x5923 ~x5924 ~x5925 ~x5926 ~x5927 ~x5928 ~x5929 ~x5930 ~x5931 ~x5932 ~x5933 ~x5934 ~x5935 ~x5936 ~x5937 ~x5938 ~x5939 ~x5940 ~x5941 ~x5942 ~x5943 ~x5944 ~x5945 ~x5946 ~x5947 ~x5948 ~x5949 ~x5950 ~x5951 ~x5952 ~x5953 ~x5954 ~x5955 ~x5956 ~x5957 ~x5958 ~x5959 ~x5960 ~x5961 ~x5962 ~x5963 ~x5964 ~x5965 ~x5966 ~x5967 ~x5968 ~x5969 ~x5970 ~x5971 ~x5972 ~x5973 ~x5974 ~x5975 ~x5976 ~x5977 ~x5978 ~x5979 ~x5980 ~x5981 ~x5982 ~x5983 ~x5984 ~x5985 ~x5986 ~x5987 ~x5988 ~x5989 ~x5990 ~x5991 ~x5992 ~x5993 ~x5994 ~x5995 ~x5996 ~x5997 ~x5998 ~x5999 ~x6000 ~x6001 ~x6002 ~x6003 ~x6004 ~x6005 ~x6006 ~x6007 ~x6008 ~x6009 ~x6010 ~x6011 ~x6012 ~x6013 ~x6014 ~x6015 ~x6016 ~x6017 ~x6018 ~x6019 ~x6020 ~x6021 ~x6022 ~x6023 ~x6024 ~x6025 ~x6026 x6027 x6028 ~x6029 ~x6030 ~x6031 ~x6032 ~x6033 ~x6034 ~x6035 ~x6036 ~x6037 ~x6038 ~x6039 ~x6040 ~x6041 ~x6042 ~x6043 ~x6044 ~x6045 x6046 ~x6047 ~x6048 ~x6049 ~x6050 ~x6051 ~x6052 ~x6053 ~x6054 ~x6055 ~x6056 ~x6057 ~x6058 ~x6059 ~x6060 ~x6061 ~x6062 ~x6063 ~x6064 ~x6065 ~x6066 ~x6067 ~x6068 ~x6069 ~x6070 ~x6071 ~x6072 ~x6073 ~x6074 ~x6075 ~x6076 ~x6077 ~x6078 ~x6079 ~x6080 ~x6081 ~x6082 ~x6083 ~x6084 ~x6085 ~x6086 ~x6087 ~x6088 ~x6089 ~x6090 ~x6091 ~x6092 ~x6093 ~x6094 ~x6095 ~x6096 ~x6097 ~x6098 ~x6099 ~x6100 ~x6101 ~x6102 ~x6103 ~x6104 ~x6105 ~x6106 ~x6107 ~x6108 ~x6109 ~x6110 ~x6111 ~x6112 ~x6113 ~x6114 ~x6115 ~x6116 ~x6117 ~x6118 ~x6119 ~x6120 ~x6121 ~x6122 ~x6123 ~x6124 ~x6125 ~x6126 ~x6127 ~x6128 ~x6129 ~x6130 ~x6131 ~x6132 ~x6133 ~x6134 ~x6135 ~x6136 ~x6137 ~x6138 ~x6139 ~x6140 ~x6141 ~x6142 ~x6143 ~x6144 ~x6145 ~x6146 ~x6147 ~x6148 ~x6149 ~x6150 ~x6151 ~x6152 ~x6153 ~x6154 ~x6155 ~x6156 ~x6157 ~x6158 ~x6159 ~x6160 ~x6161 ~x6162 ~x6163 ~x6164 ~x6165 ~x6166 ~x6167 ~x6168 ~x6169 ~x6170 ~x6171 ~x6172 ~x6173 ~x6174 ~x6175 ~x6176 ~x6177 ~x6178 ~x6179 ~x6180 ~x6181 ~x6182 ~x6183 ~x6184 ~x6185 ~x6186 ~x6187 ~x6188 ~x6189 ~x6190 ~x6191 ~x6192 ~x6193 ~x6194 ~x6195 ~x6196 ~x6197 ~x6198 ~x6199 ~x6200 ~x6201 ~x6202 ~x6203 ~x6204 ~x6205 ~x6206 ~x6207 ~x6208 ~x6209 ~x6210 ~x6211 ~x6212 ~x6213 ~x6214 ~x6215 ~x6216 ~x6217 ~x6218 ~x6219 ~x6220 ~x6221 ~x6222 ~x6223 ~x6224 ~x6225 ~x6226 ~x6227 ~x6228 ~x6229 ~x6230 ~x6231 ~x6232 ~x6233 ~x6234 ~x6235 ~x6236 ~x6237 x6238 ~x6239 ~x6240 ~x6241 ~x6242 ~x6243 ~x6244 ~x6245 ~x6246 ~x6247 ~x6248 ~x6249 ~x6250 ~x6251 ~x6252 x6253 ~x6254 ~x6255 ~x6256 ~x6257 ~x6258 ~x6259 ~x6260 ~x6261 ~x6262 ~x6263 ~x6264 ~x6265 ~x6266 ~x6267 ~x6268 ~x6269 ~x6270 ~x6271 ~x6272 ~x6273 ~x6274 ~x6275 ~x6276 ~x6277 ~x6278 ~x6279 ~x6280 ~x6281 ~x6282 ~x6283 ~x6284 ~x6285 ~x6286 ~x6287 ~x6288 ~x6289 ~x6290 ~x6291 ~x6292 ~x6293 ~x6294 ~x6295 ~x6296 ~x6297 ~x6298 ~x6299 ~x6300 ~x6301 ~x6302 ~x6303 ~x6304 ~x6305 ~x6306 ~x6307 ~x6308 ~x6309 ~x6310 ~x6311 ~x6312 ~x6313 ~x6314 ~x6315 ~x6316 ~x6317 ~x6318 ~x6319 ~x6320 ~x6321 ~x6322 ~x6323 ~x6324 ~x6325 ~x6326 ~x6327 ~x6328 ~x6329 ~x6330 ~x6331 ~x6332 ~x6333 ~x6334 ~x6335 ~x6336 ~x6337 ~x6338 ~x6339 ~x6340 ~x6341 ~x6342 ~x6343 ~x6344 ~x6345 ~x6346 ~x6347 ~x6348 ~x6349 ~x6350 ~x6351 ~x6352 ~x6353 ~x6354 ~x6355 ~x6356 ~x6357 ~x6358 ~x6359 ~x6360 ~x6361 ~x6362 ~x6363 ~x6364 ~x6365 ~x6366 ~x6367 ~x6368 ~x6369 ~x6370 ~x6371 ~x6372 ~x6373 ~x6374 ~x6375 ~x6376 ~x6377 ~x6378 ~x6379 ~x6380 ~x6381 ~x6382 ~x6383 ~x6384 ~x6385 ~x6386 ~x6387 ~x6388 ~x6389 ~x6390 ~x6391 ~x6392 ~x6393 ~x6394 ~x6395 ~x6396 ~x6397 ~x6398 ~x6399 ~x6400 ~x6401 ~x6402 ~x6403 ~x6404 ~x6405 ~x6406 ~x6407 ~x6408 ~x6409 ~x6410 ~x6411 ~x6412 ~x6413 ~x6414 ~x6415 ~x6416 ~x6417 ~x6418 ~x6419 ~x6420 ~x6421 ~x6422 ~x6423 ~x6424 ~x6425 ~x6426 ~x6427 ~x6428 ~x6429 ~x6430 ~x6431 ~x6432 ~x6433 ~x6434 ~x6435 ~x6436 ~x6437 ~x6438 ~x6439 ~x6440 ~x6441 ~x6442 ~x6443 ~x6444 ~x6445 ~x6446 ~x6447 ~x6448 ~x6449 ~x6450 ~x6451 ~x6452 ~x6453 ~x6454 ~x6455 ~x6456 ~x6457 ~x6458 ~x6459 ~x6460 ~x6461 ~x6462 ~x6463 ~x6464 ~x6465 ~x6466 ~x6467 ~x6468 ~x6469 ~x6470 ~x6471 ~x6472 ~x6473 ~x6474 ~x6475 ~x6476 ~x6477 ~x6478 ~x6479 ~x6480 ~x6481 ~x6482 ~x6483 ~x6484 ~x6485 ~x6486 ~x6487 ~x6488 ~x6489 ~x6490 ~x6491 ~x6492 ~x6493 ~x6494 ~x6495 ~x6496 ~x6497 ~x6498 ~x6499 ~x6500 ~x6501 ~x6502 ~x6503 ~x6504 ~x6505 ~x6506 ~x6507 ~x6508 ~x6509 ~x6510 ~x6511 ~x6512 ~x6513 ~x6514 ~x6515 ~x6516 ~x6517 ~x6518 ~x6519 ~x6520 ~x6521 ~x6522 ~x6523 ~x6524 ~x6525 ~x6526 ~x6527 ~x6528 ~x6529 ~x6530 ~x6531 ~x6532 ~x6533 ~x6534 ~x6535 ~x6536 ~x6537 ~x6538 ~x6539 ~x6540 ~x6541 ~x6542 ~x6543 ~x6544 ~x6545 ~x6546 ~x6547 ~x6548 ~x6549 ~x6550 ~x6551 ~x6552 ~x6553 ~x6554 ~x6555 ~x6556 ~x6557 ~x6558 ~x6559 ~x6560 ~x6561 ~x6562 ~x6563 ~x6564 ~x6565 ~x6566 ~x6567 ~x6568 ~x6569 ~x6570 ~x6571 ~x6572 ~x6573 ~x6574 ~x6575 ~x6576 ~x6577 ~x6578 ~x6579 ~x6580 ~x6581 ~x6582 ~x6583 ~x6584 ~x6585 ~x6586 ~x6587 ~x6588 ~x6589 ~x6590 ~x6591 ~x6592 ~x6593 ~x6594 ~x6595 ~x6596 ~x6597 ~x6598 ~x6599 ~x6600 ~x6601 ~x6602 ~x6603 ~x6604 ~x6605 ~x6606 ~x6607 ~x6608 ~x6609 ~x6610 ~x6611 ~x6612 ~x6613 ~x6614 ~x6615 ~x6616 ~x6617 ~x6618 ~x6619 ~x6620 ~x6621 ~x6622 ~x6623 ~x6624 ~x6625 ~x6626 ~x6627 ~x6628 ~x6629 ~x6630 ~x6631 ~x6632 ~x6633 ~x6634 ~x6635 ~x6636 ~x6637 ~x6638 ~x6639 ~x6640 ~x6641 ~x6642 ~x6643 ~x6644 ~x6645 ~x6646 ~x6647 ~x6648 ~x6649 ~x6650 ~x6651 ~x6652 ~x6653 ~x6654 ~x6655 ~x6656 ~x6657 ~x6658 ~x6659 ~x6660 ~x6661 ~x6662 ~x6663 ~x6664 ~x6665 ~x6666 ~x6667 ~x6668 ~x6669 ~x6670 ~x6671 ~x6672 ~x6673 ~x6674 ~x6675 ~x6676 ~x6677 ~x6678 ~x6679 ~x6680 ~x6681 ~x6682 ~x6683 ~x6684 ~x6685 ~x6686 ~x6687 ~x6688 ~x6689 ~x6690 ~x6691 ~x6692 ~x6693 ~x6694 ~x6695 ~x6696 ~x6697 ~x6698 ~x6699 ~x6700 ~x6701 ~x6702 ~x6703 ~x6704 ~x6705 ~x6706 ~x6707 ~x6708 ~x6709 ~x6710 ~x6711 ~x6712 ~x6713 ~x6714 ~x6715 ~x6716 ~x6717 ~x6718 ~x6719 ~x6720 ~x6721 ~x6722 ~x6723 ~x6724 ~x6725 ~x6726 ~x6727 ~x6728 ~x6729 ~x6730 ~x6731 ~x6732 ~x6733 ~x6734 ~x6735 ~x6736 ~x6737 ~x6738 ~x6739 ~x6740 ~x6741 ~x6742 ~x6743 ~x6744 ~x6745 ~x6746 ~x6747 ~x6748 ~x6749 ~x6750 ~x6751 ~x6752 ~x6753 ~x6754 ~x6755 ~x6756 ~x6757 ~x6758 ~x6759 ~x6760 ~x6761 ~x6762 ~x6763 ~x6764 ~x6765 ~x6766 ~x6767 ~x6768 ~x6769 ~x6770 ~x6771 ~x6772 ~x6773 ~x6774 ~x6775 ~x6776 ~x6777 ~x6778 ~x6779 ~x6780 ~x6781 ~x6782 ~x6783 ~x6784 ~x6785 ~x6786 ~x6787 ~x6788 ~x6789 ~x6790 ~x6791 ~x6792 ~x6793 ~x6794 ~x6795 ~x6796 ~x6797 ~x6798 ~x6799 ~x6800 ~x6801 ~x6802 ~x6803 ~x6804 ~x6805 ~x6806 ~x6807 ~x6808 ~x6809 ~x6810 ~x6811 ~x6812 ~x6813 ~x6814 ~x6815 ~x6816 ~x6817 ~x6818 ~x6819 ~x6820 ~x6821 ~x6822 ~x6823 ~x6824 ~x6825 ~x6826 ~x6827 ~x6828 ~x6829 ~x6830 ~x6831 ~x6832 ~x6833 ~x6834 ~x6835 ~x6836 ~x6837 ~x6838 ~x6839 ~x6840 ~x6841 ~x6842 ~x6843 ~x6844 ~x6845 ~x6846 ~x6847 ~x6848 ~x6849 ~x6850 ~x6851 ~x6852 ~x6853 ~x6854 ~x6855 ~x6856 ~x6857 ~x6858 ~x6859 ~x6860 ~x6861 ~x6862 ~x6863 ~x6864 ~x6865 ~x6866 ~x6867 ~x6868 ~x6869 ~x6870 ~x6871 ~x6872 ~x6873 ~x6874 ~x6875 ~x6876 ~x6877 ~x6878 ~x6879 ~x6880 ~x6881 ~x6882 ~x6883 ~x6884 ~x6885 ~x6886 ~x6887 ~x6888 ~x6889 ~x6890 ~x6891 ~x6892 ~x6893 ~x6894 ~x6895 ~x6896 ~x6897 ~x6898 ~x6899 ~x6900 ~x6901 ~x6902 ~x6903 ~x6904 ~x6905 ~x6906 ~x6907 ~x6908 ~x6909 ~x6910 ~x6911 ~x6912 ~x6913 ~x6914 ~x6915 ~x6916 ~x6917 ~x6918 ~x6919 ~x6920 ~x6921 ~x6922 ~x6923 ~x6924 ~x6925 ~x6926 ~x6927 ~x6928 ~x6929 ~x6930 ~x6931 ~x6932 ~x6933 ~x6934 ~x6935 ~x6936 ~x6937 ~x6938 ~x6939 ~x6940 ~x6941 ~x6942 ~x6943 ~x6944 ~x6945 ~x6946 ~x6947 ~x6948 ~x6949 ~x6950 ~x6951 ~x6952 ~x6953 ~x6954 ~x6955 ~x6956 ~x6957 ~x6958 ~x6959 ~x6960 ~x6961 ~x6962 ~x6963 ~x6964 ~x6965 ~x6966 ~x6967 ~x6968 ~x6969 ~x6970 ~x6971 ~x6972 ~x6973 ~x6974 ~x6975 ~x6976 ~x6977 ~x6978 ~x6979 ~x6980 ~x6981 ~x6982 ~x6983 ~x6984 ~x6985 ~x6986 ~x6987 ~x6988 ~x6989 ~x6990 ~x6991 ~x6992 ~x6993 ~x6994 ~x6995 ~x6996 ~x6997 ~x6998 ~x6999 ~x7000 ~x7001 ~x7002 ~x7003 ~x7004 ~x7005 ~x7006 ~x7007 ~x7008 ~x7009 ~x7010 ~x7011 ~x7012 ~x7013 ~x7014 ~x7015 ~x7016 ~x7017 ~x7018 ~x7019 ~x7020 ~x7021 ~x7022 ~x7023 ~x7024 ~x7025 ~x7026 ~x7027 ~x7028 ~x7029 ~x7030 ~x7031 ~x7032 ~x7033 ~x7034 ~x7035 ~x7036 ~x7037 ~x7038 ~x7039 ~x7040 ~x7041 ~x7042 ~x7043 ~x7044 ~x7045 ~x7046 ~x7047 ~x7048 ~x7049 ~x7050 ~x7051 ~x7052 ~x7053 ~x7054 ~x7055 ~x7056 ~x7057 ~x7058 ~x7059 ~x7060 ~x7061 ~x7062 ~x7063 ~x7064 ~x7065 ~x7066 ~x7067 ~x7068 ~x7069 ~x7070 ~x7071 ~x7072 ~x7073 ~x7074 ~x7075 ~x7076 ~x7077 ~x7078 ~x7079 ~x7080 ~x7081 ~x7082 ~x7083 ~x7084 ~x7085 ~x7086 ~x7087 ~x7088 ~x7089 ~x7090 ~x7091 ~x7092 ~x7093 ~x7094 ~x7095 ~x7096 ~x7097 ~x7098 ~x7099 ~x7100 ~x7101 ~x7102 ~x7103 ~x7104 ~x7105 ~x7106 ~x7107 ~x7108 ~x7109 ~x7110 ~x7111 ~x7112 ~x7113 ~x7114 ~x7115 ~x7116 ~x7117 ~x7118 ~x7119 ~x7120 ~x7121 ~x7122 ~x7123 ~x7124 ~x7125 ~x7126 ~x7127 ~x7128 ~x7129 ~x7130 ~x7131 ~x7132 ~x7133 ~x7134 ~x7135 ~x7136 ~x7137 ~x7138 ~x7139 ~x7140 ~x7141 ~x7142 ~x7143 ~x7144 ~x7145 ~x7146 ~x7147 ~x7148 ~x7149 ~x7150 ~x7151 ~x7152 ~x7153 ~x7154 ~x7155 ~x7156 ~x7157 ~x7158 ~x7159 ~x7160 ~x7161 ~x7162 ~x7163 ~x7164 ~x7165 ~x7166 ~x7167 ~x7168 ~x7169 ~x7170 ~x7171 ~x7172 ~x7173 ~x7174 ~x7175 ~x7176 ~x7177 ~x7178 ~x7179 ~x7180 ~x7181 ~x7182 ~x7183 ~x7184 ~x7185 ~x7186 ~x7187 ~x7188 ~x7189 ~x7190 ~x7191 ~x7192 ~x7193 ~x7194 ~x7195 ~x7196 ~x7197 ~x7198 ~x7199 ~x7200 ~x7201 ~x7202 ~x7203 ~x7204 ~x7205 ~x7206 ~x7207 ~x7208 ~x7209 ~x7210 ~x7211 ~x7212 ~x7213 ~x7214 ~x7215 ~x7216 ~x7217 ~x7218 ~x7219 ~x7220 ~x7221 ~x7222 ~x7223 ~x7224 ~x7225 ~x7226 ~x7227 ~x7228 ~x7229 ~x7230 ~x7231 ~x7232 ~x7233 ~x7234 ~x7235 ~x7236 ~x7237 ~x7238 ~x7239 ~x7240 ~x7241 ~x7242 ~x7243 ~x7244 ~x7245 ~x7246 ~x7247 ~x7248 ~x7249 ~x7250 ~x7251 ~x7252 ~x7253 ~x7254 ~x7255 ~x7256 ~x7257 ~x7258 ~x7259 ~x7260 ~x7261 ~x7262 ~x7263 ~x7264 ~x7265 ~x7266 ~x7267 ~x7268 ~x7269 ~x7270 ~x7271 ~x7272 ~x7273 ~x7274 ~x7275 ~x7276 ~x7277 ~x7278 ~x7279 ~x7280 ~x7281 ~x7282 ~x7283 ~x7284 ~x7285 ~x7286 ~x7287 ~x7288 ~x7289 ~x7290 ~x7291 ~x7292 ~x7293 ~x7294 ~x7295 ~x7296 ~x7297 ~x7298 ~x7299 ~x7300 ~x7301 ~x7302 ~x7303 ~x7304 ~x7305 ~x7306 ~x7307 ~x7308 ~x7309 ~x7310 ~x7311 ~x7312 ~x7313 ~x7314 ~x7315 ~x7316 ~x7317 ~x7318 ~x7319 ~x7320 ~x7321 ~x7322 ~x7323 ~x7324 ~x7325 ~x7326 ~x7327 ~x7328 ~x7329 ~x7330 ~x7331 ~x7332 ~x7333 ~x7334 ~x7335 ~x7336 ~x7337 ~x7338 ~x7339 ~x7340 ~x7341 ~x7342 ~x7343 ~x7344 ~x7345 ~x7346 ~x7347 ~x7348 ~x7349 ~x7350 ~x7351 ~x7352 ~x7353 ~x7354 ~x7355 ~x7356 ~x7357 ~x7358 ~x7359 ~x7360 ~x7361 ~x7362 ~x7363 ~x7364 ~x7365 ~x7366 ~x7367 ~x7368 ~x7369 ~x7370 ~x7371 ~x7372 ~x7373 ~x7374 ~x7375 ~x7376 ~x7377 ~x7378 ~x7379 ~x7380 ~x7381 ~x7382 ~x7383 ~x7384 ~x7385 ~x7386 ~x7387 ~x7388 ~x7389 ~x7390 ~x7391 ~x7392 ~x7393 ~x7394 ~x7395 ~x7396 ~x7397 ~x7398 ~x7399 ~x7400 ~x7401 ~x7402 ~x7403 ~x7404 ~x7405 ~x7406 ~x7407 ~x7408 ~x7409 ~x7410 ~x7411 ~x7412 ~x7413 ~x7414 ~x7415 ~x7416 ~x7417 ~x7418 ~x7419 ~x7420 ~x7421 ~x7422 ~x7423 ~x7424 ~x7425 ~x7426 ~x7427 ~x7428 ~x7429 ~x7430 ~x7431 ~x7432 ~x7433 ~x7434 ~x7435 ~x7436 ~x7437 ~x7438 ~x7439 ~x7440 ~x7441 ~x7442 ~x7443 ~x7444 ~x7445 ~x7446 ~x7447 ~x7448 ~x7449 ~x7450 ~x7451 ~x7452 ~x7453 ~x7454 ~x7455 ~x7456 ~x7457 ~x7458 ~x7459 ~x7460 ~x7461 ~x7462 ~x7463 ~x7464 ~x7465 ~x7466 ~x7467 ~x7468 ~x7469 ~x7470 ~x7471 ~x7472 ~x7473 ~x7474 ~x7475 ~x7476 ~x7477 ~x7478 ~x7479 ~x7480 ~x7481 ~x7482 ~x7483 ~x7484 ~x7485 ~x7486 ~x7487 ~x7488 ~x7489 ~x7490 ~x7491 ~x7492 ~x7493 ~x7494 ~x7495 ~x7496 ~x7497 ~x7498 ~x7499 ~x7500 ~x7501 ~x7502 ~x7503 ~x7504 ~x7505 ~x7506 ~x7507 ~x7508 ~x7509 ~x7510 ~x7511 ~x7512 ~x7513 ~x7514 ~x7515 ~x7516 ~x7517 ~x7518 ~x7519 ~x7520 ~x7521 ~x7522 ~x7523 ~x7524 ~x7525 ~x7526 ~x7527 ~x7528 ~x7529 ~x7530 ~x7531 ~x7532 ~x7533 ~x7534 ~x7535 ~x7536 ~x7537 ~x7538 ~x7539 ~x7540 ~x7541 ~x7542 ~x7543 ~x7544 ~x7545 ~x7546 ~x7547 ~x7548 ~x7549 ~x7550 ~x7551 ~x7552 ~x7553 ~x7554 ~x7555 ~x7556 ~x7557 ~x7558 ~x7559 ~x7560 ~x7561 ~x7562 ~x7563 ~x7564 ~x7565 ~x7566 ~x7567 ~x7568 ~x7569 ~x7570 ~x7571 ~x7572 ~x7573 ~x7574 ~x7575 ~x7576 ~x7577 ~x7578 ~x7579 ~x7580 ~x7581 ~x7582 ~x7583 ~x7584 ~x7585 ~x7586 ~x7587 ~x7588 ~x7589 ~x7590 ~x7591 ~x7592 ~x7593 ~x7594 ~x7595 ~x7596 ~x7597 ~x7598 ~x7599 ~x7600 ~x7601 ~x7602 ~x7603 ~x7604 ~x7605 ~x7606 ~x7607 ~x7608 ~x7609 ~x7610 ~x7611 ~x7612 ~x7613 ~x7614 ~x7615 ~x7616 ~x7617 ~x7618 ~x7619 ~x7620 ~x7621 ~x7622 ~x7623 ~x7624 ~x7625 ~x7626 ~x7627 ~x7628 ~x7629 ~x7630 ~x7631 ~x7632 ~x7633 ~x7634 ~x7635 ~x7636 ~x7637 ~x7638 ~x7639 ~x7640 ~x7641 ~x7642 ~x7643 ~x7644 ~x7645 ~x7646 ~x7647 ~x7648 ~x7649 ~x7650 ~x7651 ~x7652 ~x7653 ~x7654 ~x7655 ~x7656 ~x7657 ~x7658 ~x7659 ~x7660 ~x7661 ~x7662 ~x7663 ~x7664 ~x7665 ~x7666 ~x7667 ~x7668 ~x7669 ~x7670 ~x7671 ~x7672 ~x7673 ~x7674 ~x7675 ~x7676 ~x7677 ~x7678 ~x7679 ~x7680 ~x7681 ~x7682 ~x7683 ~x7684 ~x7685 ~x7686 ~x7687 ~x7688 ~x7689 ~x7690 ~x7691 ~x7692 ~x7693 ~x7694 ~x7695 ~x7696 ~x7697 ~x7698 ~x7699 ~x7700 ~x7701 ~x7702 ~x7703 ~x7704 ~x7705 ~x7706 ~x7707 ~x7708 ~x7709 ~x7710 ~x7711 ~x7712 ~x7713 ~x7714 ~x7715 ~x7716 ~x7717 ~x7718 ~x7719 ~x7720 ~x7721 ~x7722 ~x7723 ~x7724 ~x7725 ~x7726 ~x7727 ~x7728 ~x7729 ~x7730 ~x7731 ~x7732 ~x7733 ~x7734 ~x7735 ~x7736 ~x7737 ~x7738 ~x7739 ~x7740 ~x7741 ~x7742 ~x7743 ~x7744 ~x7745 ~x7746 ~x7747 ~x7748 ~x7749 ~x7750 ~x7751 ~x7752 ~x7753 ~x7754 ~x7755 ~x7756 ~x7757 ~x7758 ~x7759 ~x7760 ~x7761 ~x7762 ~x7763 ~x7764 ~x7765 ~x7766 ~x7767 ~x7768 ~x7769 ~x7770 ~x7771 ~x7772 ~x7773 ~x7774 ~x7775 ~x7776 ~x7777 ~x7778 ~x7779 ~x7780 ~x7781 ~x7782 ~x7783 ~x7784 ~x7785 ~x7786 ~x7787 ~x7788 ~x7789 ~x7790 ~x7791 ~x7792 ~x7793 ~x7794 ~x7795 ~x7796 ~x7797 ~x7798 ~x7799 ~x7800 ~x7801 ~x7802 ~x7803 ~x7804 ~x7805 ~x7806 ~x7807 ~x7808 ~x7809 ~x7810 ~x7811 ~x7812 ~x7813 ~x7814 ~x7815 ~x7816 ~x7817 ~x7818 ~x7819 ~x7820 ~x7821 ~x7822 ~x7823 ~x7824 ~x7825 ~x7826 ~x7827 ~x7828 ~x7829 ~x7830 ~x7831 ~x7832 ~x7833 ~x7834 ~x7835 ~x7836 ~x7837 ~x7838 ~x7839 ~x7840 ~x7841 ~x7842 ~x7843 ~x7844 ~x7845 ~x7846 ~x7847 ~x7848 ~x7849 ~x7850 ~x7851 ~x7852 ~x7853 ~x7854 ~x7855 ~x7856 ~x7857 ~x7858 ~x7859 ~x7860 ~x7861 ~x7862 ~x7863 ~x7864 ~x7865 ~x7866 ~x7867 ~x7868 ~x7869 ~x7870 ~x7871 ~x7872 ~x7873 ~x7874 ~x7875 ~x7876 ~x7877 ~x7878 ~x7879 ~x7880 ~x7881 ~x7882 ~x7883 ~x7884 ~x7885 ~x7886 ~x7887 ~x7888 ~x7889 ~x7890 ~x7891 ~x7892 ~x7893 ~x7894 ~x7895 ~x7896 ~x7897 ~x7898 ~x7899 ~x7900 ~x7901 ~x7902 ~x7903 ~x7904 ~x7905 ~x7906 ~x7907 ~x7908 ~x7909 ~x7910 ~x7911 ~x7912 ~x7913 ~x7914 ~x7915 ~x7916 ~x7917 ~x7918 ~x7919 ~x7920 ~x7921 ~x7922 ~x7923 ~x7924 ~x7925 ~x7926 ~x7927 ~x7928 ~x7929 ~x7930 ~x7931 ~x7932 ~x7933 ~x7934 ~x7935 ~x7936 ~x7937 ~x7938 ~x7939 ~x7940 ~x7941 ~x7942 ~x7943 ~x7944 ~x7945 ~x7946 ~x7947 ~x7948 ~x7949 ~x7950 ~x7951 ~x7952 ~x7953 ~x7954 ~x7955 ~x7956 ~x7957 ~x7958 ~x7959 ~x7960 ~x7961 ~x7962 ~x7963 ~x7964 ~x7965 ~x7966 ~x7967 ~x7968 ~x7969 ~x7970 ~x7971 ~x7972 ~x7973 ~x7974 ~x7975 ~x7976 ~x7977 ~x7978 ~x7979 ~x7980 ~x7981 ~x7982 ~x7983 ~x7984 ~x7985 ~x7986 ~x7987 ~x7988 ~x7989 ~x7990 ~x7991 ~x7992 ~x7993 ~x7994 ~x7995 ~x7996 ~x7997 ~x7998 ~x7999 ~x8000 ~x8001 ~x8002 ~x8003 ~x8004 ~x8005 ~x8006 ~x8007 ~x8008 ~x8009 ~x8010 ~x8011 ~x8012 ~x8013 ~x8014 ~x8015 ~x8016 ~x8017 ~x8018 ~x8019 ~x8020 ~x8021 ~x8022 ~x8023 ~x8024 ~x8025 ~x8026 ~x8027 ~x8028 ~x8029 ~x8030 ~x8031 ~x8032 ~x8033 ~x8034 ~x8035 ~x8036 ~x8037 ~x8038 ~x8039 ~x8040 ~x8041 ~x8042 ~x8043 ~x8044 ~x8045 ~x8046 ~x8047 ~x8048 ~x8049 ~x8050 ~x8051 ~x8052 ~x8053 ~x8054 ~x8055 ~x8056 ~x8057 ~x8058 ~x8059 ~x8060 ~x8061 ~x8062 ~x8063 ~x8064 ~x8065 ~x8066 ~x8067 ~x8068 ~x8069 ~x8070 ~x8071 ~x8072 ~x8073 ~x8074 ~x8075 ~x8076 ~x8077 ~x8078 ~x8079 ~x8080 ~x8081 ~x8082 ~x8083 ~x8084 ~x8085 ~x8086 ~x8087 ~x8088 ~x8089 ~x8090 ~x8091 ~x8092 ~x8093 ~x8094 ~x8095 ~x8096 ~x8097 ~x8098 ~x8099 ~x8100 ~x8101 ~x8102 ~x8103 ~x8104 ~x8105 ~x8106 ~x8107 ~x8108 ~x8109 ~x8110 ~x8111 ~x8112 ~x8113 ~x8114 ~x8115 ~x8116 ~x8117 ~x8118 ~x8119 ~x8120 ~x8121 ~x8122 ~x8123 ~x8124 ~x8125 ~x8126 ~x8127 ~x8128 ~x8129 ~x8130 ~x8131 ~x8132 ~x8133 ~x8134 ~x8135 ~x8136 ~x8137 ~x8138 ~x8139 ~x8140 ~x8141 ~x8142 ~x8143 ~x8144 ~x8145 ~x8146 ~x8147 ~x8148 ~x8149 ~x8150 ~x8151 ~x8152 ~x8153 ~x8154 ~x8155 ~x8156 ~x8157 ~x8158 ~x8159 ~x8160 ~x8161 ~x8162 ~x8163 ~x8164 ~x8165 ~x8166 ~x8167 ~x8168 ~x8169 ~x8170 ~x8171 ~x8172 ~x8173 ~x8174 ~x8175 ~x8176 ~x8177 ~x8178 ~x8179 ~x8180 ~x8181 ~x8182 ~x8183 ~x8184 ~x8185 ~x8186 ~x8187 ~x8188 ~x8189 ~x8190 ~x8191 ~x8192 ~x8193 ~x8194 ~x8195 ~x8196 ~x8197 ~x8198 ~x8199 ~x8200 ~x8201 ~x8202 ~x8203 ~x8204 ~x8205 ~x8206 ~x8207 ~x8208 ~x8209 ~x8210 ~x8211 ~x8212 ~x8213 ~x8214 ~x8215 ~x8216 ~x8217 ~x8218 ~x8219 ~x8220 ~x8221 ~x8222 ~x8223 ~x8224 ~x8225 ~x8226 ~x8227 ~x8228 ~x8229 ~x8230 ~x8231 ~x8232 ~x8233 ~x8234 ~x8235 ~x8236 ~x8237 ~x8238 ~x8239 ~x8240 ~x8241 ~x8242 ~x8243 ~x8244 ~x8245 ~x8246 ~x8247 ~x8248 ~x8249 ~x8250 ~x8251 ~x8252 ~x8253 ~x8254 ~x8255 ~x8256 ~x8257 ~x8258 ~x8259 ~x8260 ~x8261 ~x8262 ~x8263 ~x8264 ~x8265 ~x8266 ~x8267 ~x8268 ~x8269 ~x8270 ~x8271 ~x8272 ~x8273 ~x8274 ~x8275 ~x8276 ~x8277 ~x8278 ~x8279 ~x8280 ~x8281 ~x8282 ~x8283 ~x8284 ~x8285 ~x8286 ~x8287 ~x8288 ~x8289 ~x8290 ~x8291 ~x8292 ~x8293 ~x8294 ~x8295 ~x8296 ~x8297 ~x8298 ~x8299 ~x8300 ~x8301 ~x8302 ~x8303 ~x8304 ~x8305 ~x8306 ~x8307 ~x8308 ~x8309 ~x8310 ~x8311 ~x8312 ~x8313 ~x8314 ~x8315 ~x8316 ~x8317 ~x8318 ~x8319 ~x8320 ~x8321 ~x8322 ~x8323 ~x8324 ~x8325 ~x8326 ~x8327 ~x8328 ~x8329 ~x8330 ~x8331 ~x8332 ~x8333 ~x8334 ~x8335 ~x8336 ~x8337 ~x8338 ~x8339 ~x8340 ~x8341 ~x8342 ~x8343 ~x8344 ~x8345 ~x8346 ~x8347 ~x8348 ~x8349 ~x8350 ~x8351 ~x8352 ~x8353 ~x8354 ~x8355 ~x8356 ~x8357 ~x8358 ~x8359 ~x8360 ~x8361 ~x8362 ~x8363 ~x8364 ~x8365 ~x8366 ~x8367 ~x8368 ~x8369 ~x8370 ~x8371 ~x8372 ~x8373 ~x8374 ~x8375 ~x8376 ~x8377 ~x8378 ~x8379 ~x8380 ~x8381 ~x8382 ~x8383 ~x8384 ~x8385 ~x8386 ~x8387 ~x8388 ~x8389 ~x8390 ~x8391 ~x8392 ~x8393 ~x8394 ~x8395 ~x8396 ~x8397 ~x8398 ~x8399 ~x8400 ~x8401 ~x8402 ~x8403 ~x8404 ~x8405 ~x8406 ~x8407 ~x8408 ~x8409 ~x8410 ~x8411 ~x8412 ~x8413 ~x8414 ~x8415 ~x8416 ~x8417 ~x8418 ~x8419 ~x8420 ~x8421 ~x8422 ~x8423 ~x8424 ~x8425 ~x8426 ~x8427 ~x8428 ~x8429 ~x8430 ~x8431 ~x8432 ~x8433 ~x8434 ~x8435 ~x8436 ~x8437 ~x8438 ~x8439 ~x8440 ~x8441 ~x8442 ~x8443 ~x8444 ~x8445 ~x8446 ~x8447 ~x8448 ~x8449 ~x8450 ~x8451 ~x8452 ~x8453 ~x8454 ~x8455 ~x8456 ~x8457 ~x8458 ~x8459 ~x8460 ~x8461 ~x8462 ~x8463 ~x8464 ~x8465 ~x8466 ~x8467 ~x8468 ~x8469 ~x8470 ~x8471 ~x8472 ~x8473 ~x8474 ~x8475 ~x8476 ~x8477 ~x8478 ~x8479 ~x8480 ~x8481 ~x8482 ~x8483 ~x8484 ~x8485 ~x8486 ~x8487 ~x8488 ~x8489 ~x8490 ~x8491 ~x8492 ~x8493 ~x8494 ~x8495 ~x8496 ~x8497 ~x8498 ~x8499 ~x8500 ~x8501 ~x8502 ~x8503 ~x8504 ~x8505 ~x8506 ~x8507 ~x8508 ~x8509 ~x8510 ~x8511 ~x8512 ~x8513 ~x8514 ~x8515 ~x8516 ~x8517 ~x8518 ~x8519 ~x8520 ~x8521 ~x8522 ~x8523 ~x8524 ~x8525 ~x8526 ~x8527 ~x8528 ~x8529 ~x8530 ~x8531 ~x8532 ~x8533 ~x8534 ~x8535 ~x8536 ~x8537 ~x8538 ~x8539 ~x8540 ~x8541 ~x8542 ~x8543 ~x8544 ~x8545 ~x8546 ~x8547 ~x8548 ~x8549 ~x8550 ~x8551 ~x8552 ~x8553 ~x8554 ~x8555 ~x8556 ~x8557 ~x8558 ~x8559 ~x8560 ~x8561 ~x8562 ~x8563 ~x8564 ~x8565 ~x8566 ~x8567 ~x8568 ~x8569 ~x8570 ~x8571 ~x8572 ~x8573 ~x8574 ~x8575 ~x8576 ~x8577 ~x8578 ~x8579 ~x8580 ~x8581 ~x8582 ~x8583 ~x8584 ~x8585 ~x8586 ~x8587 ~x8588 ~x8589 ~x8590 ~x8591 ~x8592 ~x8593 ~x8594 ~x8595 ~x8596 ~x8597 ~x8598 ~x8599 ~x8600 ~x8601 ~x8602 ~x8603 ~x8604 ~x8605 ~x8606 ~x8607 ~x8608 ~x8609 ~x8610 ~x8611 ~x8612 ~x8613 ~x8614 ~x8615 ~x8616 ~x8617 ~x8618 ~x8619 ~x8620 ~x8621 ~x8622 ~x8623 ~x8624 ~x8625 ~x8626 ~x8627 ~x8628 ~x8629 ~x8630 ~x8631 ~x8632 ~x8633 ~x8634 ~x8635 ~x8636 ~x8637 ~x8638 ~x8639 ~x8640 ~x8641 ~x8642 ~x8643 ~x8644 ~x8645 ~x8646 ~x8647 ~x8648 ~x8649 ~x8650 ~x8651 ~x8652 ~x8653 ~x8654 ~x8655 ~x8656 ~x8657 ~x8658 ~x8659 ~x8660 ~x8661 ~x8662 ~x8663 ~x8664 ~x8665 ~x8666 ~x8667 ~x8668 ~x8669 ~x8670 ~x8671 ~x8672 ~x8673 ~x8674 ~x8675 ~x8676 ~x8677 ~x8678 ~x8679 ~x8680 ~x8681 ~x8682 ~x8683 ~x8684 ~x8685 ~x8686 ~x8687 ~x8688 ~x8689 ~x8690 ~x8691 ~x8692 ~x8693 ~x8694 ~x8695 ~x8696 ~x8697 ~x8698 ~x8699 ~x8700 ~x8701 ~x8702 ~x8703 ~x8704 ~x8705 ~x8706 ~x8707 ~x8708 ~x8709 ~x8710 ~x8711 ~x8712 ~x8713 ~x8714 ~x8715 ~x8716 ~x8717 ~x8718 ~x8719 ~x8720 ~x8721 ~x8722 ~x8723 ~x8724 ~x8725 ~x8726 ~x8727 ~x8728 ~x8729 ~x8730 ~x8731 ~x8732 ~x8733 ~x8734 ~x8735 ~x8736 ~x8737 ~x8738 ~x8739 ~x8740 ~x8741 ~x8742 ~x8743 ~x8744 ~x8745 ~x8746 ~x8747 ~x8748 ~x8749 ~x8750 ~x8751 ~x8752 ~x8753 ~x8754 ~x8755 ~x8756 ~x8757 ~x8758 ~x8759 ~x8760 ~x8761 ~x8762 ~x8763 ~x8764 ~x8765 ~x8766 ~x8767 ~x8768 ~x8769 ~x8770 ~x8771 ~x8772 ~x8773 ~x8774 ~x8775 ~x8776 ~x8777 ~x8778 ~x8779 ~x8780 ~x8781 ~x8782 ~x8783 ~x8784 ~x8785 ~x8786 ~x8787 ~x8788 ~x8789 ~x8790 ~x8791 ~x8792 ~x8793 ~x8794 ~x8795 ~x8796 ~x8797 ~x8798 ~x8799 ~x8800 ~x8801 ~x8802 ~x8803 ~x8804 ~x8805 ~x8806 ~x8807 ~x8808 ~x8809 ~x8810 ~x8811 ~x8812 ~x8813 ~x8814 ~x8815 ~x8816 ~x8817 ~x8818 ~x8819 ~x8820 ~x8821 ~x8822 ~x8823 ~x8824 ~x8825 ~x8826 ~x8827 ~x8828 ~x8829 ~x8830 ~x8831 ~x8832 ~x8833 ~x8834 ~x8835 ~x8836 ~x8837 ~x8838 ~x8839 ~x8840 ~x8841 ~x8842 ~x8843 ~x8844 ~x8845 ~x8846 ~x8847 ~x8848 ~x8849 ~x8850 ~x8851 ~x8852 ~x8853 ~x8854 ~x8855 ~x8856 ~x8857 ~x8858 ~x8859 ~x8860 ~x8861 ~x8862 ~x8863 ~x8864 ~x8865 ~x8866 ~x8867 ~x8868 ~x8869 ~x8870 ~x8871 ~x8872 ~x8873 ~x8874 ~x8875 ~x8876 ~x8877 ~x8878 ~x8879 ~x8880 ~x8881 ~x8882 ~x8883 ~x8884 ~x8885 ~x8886 ~x8887 ~x8888 ~x8889 ~x8890 ~x8891 ~x8892 ~x8893 ~x8894 ~x8895 ~x8896 ~x8897 ~x8898 ~x8899 ~x8900 ~x8901 ~x8902 ~x8903 ~x8904 ~x8905 ~x8906 ~x8907 ~x8908 ~x8909 ~x8910 ~x8911 ~x8912 ~x8913 ~x8914 ~x8915 ~x8916 ~x8917 ~x8918 ~x8919 ~x8920 ~x8921 ~x8922 ~x8923 ~x8924 ~x8925 ~x8926 ~x8927 ~x8928 ~x8929 ~x8930 ~x8931 ~x8932 ~x8933 ~x8934 ~x8935 ~x8936 ~x8937 ~x8938 ~x8939 ~x8940 ~x8941 ~x8942 ~x8943 ~x8944 ~x8945 ~x8946 ~x8947 ~x8948 ~x8949 ~x8950 ~x8951 ~x8952 ~x8953 ~x8954 ~x8955 ~x8956 ~x8957 ~x8958 ~x8959 ~x8960 ~x8961 ~x8962 ~x8963 ~x8964 ~x8965 ~x8966 ~x8967 ~x8968 ~x8969 ~x8970 ~x8971 ~x8972 ~x8973 ~x8974 ~x8975 ~x8976 ~x8977 ~x8978 ~x8979 ~x8980 ~x8981 ~x8982 ~x8983 ~x8984 ~x8985 ~x8986 ~x8987 ~x8988 ~x8989 ~x8990 ~x8991 ~x8992 ~x8993 ~x8994 ~x8995 ~x8996 ~x8997 ~x8998 ~x8999 ~x9000 ~x9001 ~x9002 ~x9003 ~x9004 ~x9005 ~x9006 ~x9007 ~x9008 ~x9009 ~x9010 ~x9011 ~x9012 ~x9013 ~x9014 ~x9015 ~x9016 ~x9017 ~x9018 ~x9019 ~x9020 ~x9021 ~x9022 ~x9023 ~x9024 ~x9025 ~x9026 ~x9027 ~x9028 ~x9029 ~x9030 ~x9031 ~x9032 ~x9033 ~x9034 ~x9035 ~x9036 ~x9037 ~x9038 ~x9039 ~x9040 ~x9041 ~x9042 ~x9043 ~x9044 ~x9045 ~x9046 ~x9047 ~x9048 ~x9049 ~x9050 ~x9051 ~x9052 ~x9053 ~x9054 ~x9055 ~x9056 ~x9057 ~x9058 ~x9059 ~x9060 ~x9061 ~x9062 ~x9063 ~x9064 ~x9065 ~x9066 ~x9067 ~x9068 ~x9069 ~x9070 ~x9071 ~x9072 ~x9073 ~x9074 ~x9075 ~x9076 ~x9077 ~x9078 ~x9079 ~x9080 ~x9081 ~x9082 ~x9083 ~x9084 ~x9085 ~x9086 ~x9087 ~x9088 ~x9089 ~x9090 ~x9091 ~x9092 ~x9093 ~x9094 ~x9095 ~x9096 ~x9097 ~x9098 ~x9099 ~x9100 ~x9101 ~x9102 ~x9103 ~x9104 ~x9105 ~x9106 ~x9107 ~x9108 ~x9109 ~x9110 ~x9111 ~x9112 ~x9113 ~x9114 ~x9115 ~x9116 ~x9117 ~x9118 ~x9119 ~x9120 ~x9121 ~x9122 ~x9123 ~x9124 ~x9125 ~x9126 ~x9127 ~x9128 ~x9129 ~x9130 ~x9131 ~x9132 ~x9133 ~x9134 ~x9135 ~x9136 ~x9137 ~x9138 ~x9139 ~x9140 ~x9141 ~x9142 ~x9143 ~x9144 ~x9145 ~x9146 ~x9147 ~x9148 ~x9149 ~x9150 ~x9151 ~x9152 ~x9153 ~x9154 ~x9155 ~x9156 ~x9157 ~x9158 ~x9159 ~x9160 ~x9161 ~x9162 ~x9163 ~x9164 ~x9165 ~x9166 ~x9167 ~x9168 ~x9169 ~x9170 ~x9171 ~x9172 ~x9173 ~x9174 ~x9175 ~x9176 ~x9177 ~x9178 ~x9179 ~x9180 ~x9181 ~x9182 ~x9183 ~x9184 ~x9185 ~x9186 ~x9187 ~x9188 ~x9189 ~x9190 ~x9191 ~x9192 ~x9193 ~x9194 ~x9195 ~x9196 ~x9197 ~x9198 ~x9199 ~x9200 ~x9201 ~x9202 ~x9203 ~x9204 ~x9205 ~x9206 ~x9207 ~x9208 ~x9209 ~x9210 ~x9211 ~x9212 ~x9213 ~x9214 ~x9215 ~x9216 ~x9217 ~x9218 ~x9219 ~x9220 ~x9221 ~x9222 ~x9223 ~x9224 ~x9225 ~x9226 ~x9227 ~x9228 ~x9229 ~x9230 ~x9231 ~x9232 ~x9233 ~x9234 ~x9235 ~x9236 ~x9237 ~x9238 ~x9239 ~x9240 ~x9241 ~x9242 ~x9243 ~x9244 ~x9245 ~x9246 ~x9247 ~x9248 ~x9249 ~x9250 ~x9251 ~x9252 ~x9253 ~x9254 ~x9255 ~x9256 ~x9257 ~x9258 ~x9259 ~x9260 ~x9261 ~x9262 ~x9263 ~x9264 ~x9265 ~x9266 ~x9267 ~x9268 ~x9269 ~x9270 ~x9271 ~x9272 ~x9273 ~x9274 ~x9275 ~x9276 ~x9277 ~x9278 ~x9279 ~x9280 ~x9281 ~x9282 ~x9283 ~x9284 ~x9285 ~x9286 ~x9287 ~x9288 ~x9289 ~x9290 ~x9291 ~x9292 ~x9293 ~x9294 ~x9295 ~x9296 ~x9297 ~x9298 ~x9299 ~x9300 ~x9301 ~x9302 ~x9303 ~x9304 ~x9305 ~x9306 ~x9307 ~x9308 ~x9309 ~x9310 ~x9311 ~x9312 ~x9313 ~x9314 ~x9315 ~x9316 ~x9317 ~x9318 ~x9319 ~x9320 ~x9321 ~x9322 ~x9323 ~x9324 ~x9325 ~x9326 ~x9327 ~x9328 ~x9329 ~x9330 ~x9331 ~x9332 ~x9333 ~x9334 ~x9335 ~x9336 ~x9337 ~x9338 ~x9339 ~x9340 ~x9341 ~x9342 ~x9343 ~x9344 ~x9345 ~x9346 ~x9347 ~x9348 ~x9349 ~x9350 ~x9351 ~x9352 ~x9353 ~x9354 ~x9355 ~x9356 ~x9357 ~x9358 ~x9359 ~x9360 ~x9361 ~x9362 ~x9363 ~x9364 ~x9365 ~x9366 ~x9367 ~x9368 ~x9369 ~x9370 ~x9371 ~x9372 ~x9373 ~x9374 ~x9375 ~x9376 ~x9377 ~x9378 ~x9379 ~x9380 ~x9381 ~x9382 ~x9383 ~x9384 ~x9385 ~x9386 ~x9387 ~x9388 ~x9389 ~x9390 ~x9391 ~x9392 ~x9393 ~x9394 ~x9395 ~x9396 ~x9397 ~x9398 ~x9399 ~x9400 ~x9401 ~x9402 ~x9403 ~x9404 ~x9405 ~x9406 ~x9407 ~x9408 ~x9409 ~x9410 ~x9411 ~x9412 ~x9413 ~x9414 ~x9415 ~x9416 ~x9417 ~x9418 ~x9419 ~x9420 ~x9421 ~x9422 ~x9423 ~x9424 ~x9425 ~x9426 ~x9427 ~x9428 ~x9429 ~x9430 ~x9431 ~x9432 ~x9433 ~x9434 ~x9435 ~x9436 ~x9437 ~x9438 ~x9439 ~x9440 ~x9441 ~x9442 ~x9443 ~x9444 ~x9445 ~x9446 ~x9447 ~x9448 ~x9449 ~x9450 ~x9451 ~x9452 ~x9453 ~x9454 ~x9455 ~x9456 ~x9457 ~x9458 ~x9459 ~x9460 ~x9461 ~x9462 ~x9463 ~x9464 ~x9465 ~x9466 ~x9467 ~x9468 ~x9469 ~x9470 ~x9471 ~x9472 ~x9473 ~x9474 ~x9475 ~x9476 ~x9477 ~x9478 ~x9479 ~x9480 ~x9481 ~x9482 ~x9483 ~x9484 ~x9485 ~x9486 ~x9487 ~x9488 ~x9489 ~x9490 ~x9491 ~x9492 ~x9493 ~x9494 ~x9495 ~x9496 ~x9497 ~x9498 ~x9499 ~x9500 ~x9501 ~x9502 ~x9503 ~x9504 ~x9505 ~x9506 ~x9507 ~x9508 ~x9509 ~x9510 ~x9511 ~x9512 ~x9513 ~x9514 ~x9515 ~x9516 ~x9517 ~x9518 ~x9519 ~x9520 ~x9521 ~x9522 ~x9523 ~x9524 ~x9525 ~x9526 ~x9527 ~x9528 ~x9529 ~x9530 ~x9531 ~x9532 ~x9533 ~x9534 ~x9535 ~x9536 ~x9537 ~x9538 ~x9539 ~x9540 ~x9541 ~x9542 ~x9543 ~x9544 ~x9545 ~x9546 ~x9547 ~x9548 ~x9549 ~x9550 ~x9551 ~x9552 ~x9553 ~x9554 ~x9555 ~x9556 ~x9557 ~x9558 ~x9559 ~x9560 ~x9561 ~x9562 ~x9563 ~x9564 ~x9565 ~x9566 ~x9567 ~x9568 ~x9569 ~x9570 ~x9571 ~x9572 ~x9573 ~x9574 ~x9575 ~x9576 ~x9577 ~x9578 ~x9579 ~x9580 ~x9581 ~x9582 ~x9583 ~x9584 ~x9585 ~x9586 ~x9587 ~x9588 ~x9589 ~x9590 ~x9591 ~x9592 ~x9593 ~x9594 ~x9595 ~x9596 ~x9597 ~x9598 ~x9599 ~x9600 ~x9601 ~x9602 ~x9603 ~x9604 ~x9605 ~x9606 ~x9607 ~x9608 ~x9609 ~x9610 ~x9611 ~x9612 ~x9613 ~x9614 ~x9615 ~x9616 ~x9617 ~x9618 ~x9619 ~x9620 ~x9621 ~x9622 ~x9623 ~x9624 ~x9625 ~x9626 ~x9627 ~x9628 ~x9629 ~x9630 ~x9631 ~x9632 ~x9633 ~x9634 ~x9635 ~x9636 ~x9637 ~x9638 ~x9639 ~x9640 ~x9641 ~x9642 ~x9643 ~x9644 ~x9645 ~x9646 ~x9647 ~x9648 ~x9649 ~x9650 ~x9651 ~x9652 ~x9653 ~x9654 ~x9655 ~x9656 ~x9657 ~x9658 ~x9659 ~x9660 ~x9661 ~x9662 ~x9663 ~x9664 ~x9665 ~x9666 ~x9667 ~x9668 ~x9669 ~x9670 ~x9671 ~x9672 ~x9673 ~x9674 ~x9675 ~x9676 ~x9677 ~x9678 ~x9679 ~x9680 ~x9681 ~x9682 ~x9683 ~x9684 ~x9685 ~x9686 ~x9687 ~x9688 ~x9689 ~x9690 ~x9691 ~x9692 ~x9693 ~x9694 ~x9695 ~x9696 ~x9697 ~x9698 ~x9699 ~x9700 ~x9701 ~x9702 ~x9703 ~x9704 ~x9705 ~x9706 ~x9707 ~x9708 ~x9709 ~x9710 ~x9711 ~x9712 ~x9713 ~x9714 ~x9715 ~x9716 ~x9717 ~x9718 ~x9719 ~x9720 ~x9721 ~x9722 ~x9723 ~x9724 ~x9725 ~x9726 ~x9727 ~x9728 ~x9729 ~x9730 ~x9731 ~x9732 ~x9733 ~x9734 ~x9735 ~x9736 ~x9737 x9738 ~x9739 ~x9740 ~x9741 ~x9742 ~x9743 ~x9744 ~x9745 ~x9746 ~x9747 ~x9748 ~x9749 ~x9750 ~x9751 ~x9752 x9753 ~x9754 ~x9755 ~x9756 ~x9757 ~x9758 ~x9759 ~x9760 ~x9761 ~x9762 ~x9763 ~x9764 ~x9765 ~x9766 ~x9767 ~x9768 ~x9769 ~x9770 ~x9771 ~x9772 ~x9773 ~x9774 ~x9775 ~x9776 ~x9777 ~x9778 ~x9779 ~x9780 ~x9781 ~x9782 ~x9783 ~x9784 ~x9785 ~x9786 ~x9787 ~x9788 ~x9789 ~x9790 ~x9791 ~x9792 ~x9793 ~x9794 ~x9795 ~x9796 ~x9797 ~x9798 ~x9799 ~x9800 ~x9801 ~x9802 ~x9803 ~x9804 ~x9805 ~x9806 x9807 ~x9808 ~x9809 ~x9810 ~x9811 ~x9812 ~x9813 ~x9814 ~x9815 ~x9816 ~x9817 ~x9818 ~x9819 ~x9820 ~x9821 ~x9822 x9823 ~x9824 ~x9825 x9826 ~x9827 ~x9828 ~x9829 ~x9830 ~x9831 ~x9832 ~x9833 ~x9834 ~x9835 ~x9836 ~x9837 ~x9838 ~x9839 ~x9840 ~x9841 ~x9842 ~x9843 ~x9844 ~x9845 ~x9846 ~x9847 ~x9848 ~x9849 ~x9850 ~x9851 ~x9852 ~x9853 ~x9854 ~x9855 ~x9856 ~x9857 ~x9858 ~x9859 ~x9860 ~x9861 ~x9862 ~x9863 ~x9864 ~x9865 ~x9866 ~x9867 ~x9868 ~x9869 ~x9870 ~x9871 ~x9872 ~x9873 ~x9874 ~x9875 ~x9876 ~x9877 ~x9878 ~x9879 ~x9880 ~x9881 ~x9882 ~x9883 ~x9884 ~x9885 ~x9886 ~x9887 ~x9888 ~x9889 ~x9890 ~x9891 ~x9892 ~x9893 ~x9894 ~x9895 ~x9896 ~x9897 ~x9898 ~x9899 ~x9900 ~x9901 ~x9902 ~x9903 ~x9904 ~x9905 ~x9906 ~x9907 ~x9908 ~x9909 ~x9910 ~x9911 ~x9912 ~x9913 ~x9914 ~x9915 ~x9916 ~x9917 ~x9918 ~x9919 ~x9920 ~x9921 ~x9922 ~x9923 ~x9924 ~x9925 ~x9926 ~x9927 ~x9928 ~x9929 ~x9930 ~x9931 ~x9932 ~x9933 ~x9934 ~x9935 ~x9936 ~x9937 ~x9938 ~x9939 ~x9940
3600.02/3608.40	c bounds 4254281 >= -70 @ 3559.67
3600.02/3608.40	c bounds 4246055 >= -70 @ 3560.55
3600.02/3608.40	c bounds 4244371 >= -70 @ 3560.77
3600.02/3608.40	c bounds 4241789 >= -70 @ 3561.39
3600.02/3608.40	c #Conflicts:     172000 | #Constraints:      24475
3600.02/3608.40	c bounds 4240453 >= -70 @ 3562.65
3600.02/3608.40	c bounds 4237301 >= -70 @ 3563.02
3600.02/3608.40	c bounds 4235295 >= -70 @ 3563.85
3600.02/3608.40	c bounds 4227133 >= -70 @ 3564.21
3600.02/3608.40	c bounds 4226877 >= -70 @ 3569.63
3600.02/3608.40	c #Conflicts:     173000 | #Constraints:      25494
3600.02/3608.40	c bounds 4219117 >= -70 @ 3571.62
3600.02/3608.40	c #Conflicts:     174000 | #Constraints:      26501

Verifier Data 

OK	4219117

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (59882 MiB free)
  memory of node 1: 64473 MiB (60668 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429645-1721051104/watcher-4429645-1721051104 -o /tmp/evaluation-result-4429645-1721051104/solver-4429645-1721051104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721049184-797700 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429645-1721051104.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=799112, runsolver pid=799109

[startup+0.10037 s]*
/proc/loadavg: 4.16 4.17 4.10 5/243 799113
/proc/meminfo: memFree=123438820/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=41040 memory=9904 CPUtime=0.09 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 1878 0 0 0 6 3 0 0 20 0 1 0 157267539 42024960 2476 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 10260 2476 1246 922 0 2212 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41040 KiB
Current children cumulated memory: 9904 KiB

[startup+0.209585 s]*
/proc/loadavg: 4.16 4.17 4.10 5/243 799113
/proc/meminfo: memFree=123420916/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=57688 memory=28096 CPUtime=0.2 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 6624 0 0 0 16 4 0 0 20 0 1 0 157267539 59072512 7024 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 14422 7024 1612 922 0 6374 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57688 KiB
Current children cumulated memory: 28096 KiB

[startup+0.309594 s]*
/proc/loadavg: 4.16 4.17 4.10 5/243 799113
/proc/meminfo: memFree=123420916/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=58244 memory=28980 CPUtime=0.3 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 6757 0 0 0 26 4 0 0 20 0 1 0 157267539 59641856 7245 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 14561 7245 1708 922 0 6513 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58244 KiB
Current children cumulated memory: 28980 KiB

[startup+0.700312 s]
/proc/loadavg: 4.16 4.17 4.10 5/243 799113
/proc/meminfo: memFree=123419516/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=59320 memory=30036 CPUtime=0.68 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 6996 0 0 0 63 5 0 0 20 0 1 0 157267539 60743680 7509 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 14830 7509 1708 922 0 6782 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59320 KiB
Current children cumulated memory: 30036 KiB

[startup+1.50028 s]
/proc/loadavg: 4.16 4.17 4.10 5/243 799114
/proc/meminfo: memFree=123419132/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=60832 memory=31476 CPUtime=1.48 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 7346 0 0 0 143 5 0 0 20 0 1 0 157267539 62291968 7869 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 15208 7869 1740 922 0 7160 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60832 KiB
Current children cumulated memory: 31476 KiB

[startup+3.11265 s]
/proc/loadavg: 4.16 4.17 4.10 5/243 799114
/proc/meminfo: memFree=123389796/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=92684 memory=64104 CPUtime=3.09 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 12927 0 0 0 299 10 0 0 20 0 1 0 157267539 94908416 16026 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 23171 16026 1801 922 0 15123 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 92684 KiB
Current children cumulated memory: 64104 KiB

[startup+6.30032 s]
/proc/loadavg: 4.14 4.17 4.10 5/243 799114
/proc/meminfo: memFree=123343796/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=146720 memory=108328 CPUtime=6.27 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 19895 0 0 0 613 14 0 0 20 0 1 0 157267539 150241280 27082 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 36680 27082 1801 922 0 28632 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146720 KiB
Current children cumulated memory: 108328 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.17 4.10 5/243 799116
/proc/meminfo: memFree=123257000/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=226584 memory=198040 CPUtime=12.66 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 32609 0 0 0 1243 23 0 0 20 0 1 0 157267539 232022016 49510 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 56646 49510 1801 922 0 48598 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 226584 KiB
Current children cumulated memory: 198040 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.16 4.10 5/243 799117
/proc/meminfo: memFree=123191728/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=324500 memory=252344 CPUtime=25.42 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 43808 0 0 0 2509 33 0 0 20 0 1 0 157267539 332288000 63086 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 81125 63086 1817 922 0 73077 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 324500 KiB
Current children cumulated memory: 252344 KiB

[startup+51.1127 s]
/proc/loadavg: 4.20 4.18 4.10 5/241 799122
/proc/meminfo: memFree=123108888/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=440520 memory=333456 CPUtime=50.96 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 54443 0 0 0 5042 54 0 0 20 0 1 0 157267539 451092480 83364 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 110130 83364 1817 922 0 102082 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 440520 KiB
Current children cumulated memory: 333456 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.10 5/243 799134
/proc/meminfo: memFree=122874120/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=600308 memory=559620 CPUtime=102.01 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 92180 0 0 0 10116 85 0 0 20 0 1 0 157267539 614715392 139905 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 150077 139905 1817 922 0 142029 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 600308 KiB
Current children cumulated memory: 559620 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/243 799145
/proc/meminfo: memFree=122841192/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=749140 memory=589084 CPUtime=161.83 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 97302 0 0 0 16069 114 0 0 20 0 1 0 157267539 767119360 147271 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 187285 147271 1817 922 0 179237 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 749140 KiB
Current children cumulated memory: 589084 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/243 799155
/proc/meminfo: memFree=122742368/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=786812 memory=644988 CPUtime=221.67 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 104356 0 0 0 22032 135 0 0 20 0 1 0 157267539 805695488 161247 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 196703 161247 1817 922 0 188655 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 786812 KiB
Current children cumulated memory: 644988 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/244 799169
/proc/meminfo: memFree=122581164/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=857368 memory=714652 CPUtime=281.51 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 116416 0 0 0 27995 156 0 0 20 0 1 0 157267539 877944832 178663 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 214342 178663 1817 922 0 206294 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 857368 KiB
Current children cumulated memory: 714652 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 4.17 4.10 5/245 799182
/proc/meminfo: memFree=122501164/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=910472 memory=785408 CPUtime=341.36 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 125493 0 0 0 33952 184 0 0 20 0 1 0 157267539 932323328 196352 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 227618 196352 1817 922 0 219570 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 910472 KiB
Current children cumulated memory: 785408 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/245 799193
/proc/meminfo: memFree=122462424/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=926968 memory=816216 CPUtime=401.19 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 129095 0 0 0 39912 207 0 0 20 0 1 0 157267539 949215232 204054 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 231742 204054 1817 922 0 223694 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 926968 KiB
Current children cumulated memory: 816216 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/243 799204
/proc/meminfo: memFree=122438224/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=949448 memory=834156 CPUtime=461.02 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 133947 0 0 0 45878 224 0 0 20 0 1 0 157267539 972234752 208539 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 237362 208539 1817 922 0 229314 0

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

Current children cumulated memory: 1367424 KiB

[startup+2862.3 s]
/proc/loadavg: 2.10 2.16 2.67 2/223 800906
/proc/meminfo: memFree=123526564/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1541136 memory=1368736 CPUtime=2855.44 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 225489 0 0 0 284851 693 0 0 20 0 1 0 157267539 1578123264 342184 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385284 342184 1966 922 0 377236 0
Current children cumulated CPU time: 2855.44 s
Current children cumulated vsize: 1541136 KiB
Current children cumulated memory: 1368736 KiB

[startup+2922.3 s]
/proc/loadavg: 1.52 1.98 2.58 2/223 800916
/proc/meminfo: memFree=123526340/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1541304 memory=1368824 CPUtime=2915.31 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 226074 0 0 0 290829 702 0 0 20 0 1 0 157267539 1578295296 342206 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385326 342206 1966 922 0 377278 0
Current children cumulated CPU time: 2915.31 s
Current children cumulated vsize: 1541304 KiB
Current children cumulated memory: 1368824 KiB

[startup+2982.3 s]
/proc/loadavg: 1.25 1.81 2.48 2/223 800927
/proc/meminfo: memFree=123524804/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1541304 memory=1370008 CPUtime=2975.2 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 226677 0 0 0 296807 713 0 0 20 0 1 0 157267539 1578295296 342502 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385326 342502 1966 922 0 377278 0
Current children cumulated CPU time: 2975.2 s
Current children cumulated vsize: 1541304 KiB
Current children cumulated memory: 1370008 KiB

[startup+3042.3 s]
/proc/loadavg: 1.14 1.68 2.39 2/222 800938
/proc/meminfo: memFree=123524680/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1541304 memory=1370008 CPUtime=3035.07 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 227260 0 0 0 302786 721 0 0 20 0 1 0 157267539 1578295296 342502 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385326 342502 1966 922 0 377278 0
Current children cumulated CPU time: 3035.07 s
Current children cumulated vsize: 1541304 KiB
Current children cumulated memory: 1370008 KiB

[startup+3102.3 s]
/proc/loadavg: 1.16 1.58 2.31 2/220 800948
/proc/meminfo: memFree=123521868/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543520 memory=1372336 CPUtime=3094.94 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 228492 0 0 0 308756 738 0 0 20 0 1 0 157267539 1580564480 343084 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385880 343084 1966 922 0 377832 0
Current children cumulated CPU time: 3094.94 s
Current children cumulated vsize: 1543520 KiB
Current children cumulated memory: 1372336 KiB

[startup+3162.3 s]
/proc/loadavg: 1.15 1.50 2.24 2/220 800958
/proc/meminfo: memFree=123521564/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543520 memory=1372508 CPUtime=3154.82 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 229115 0 0 0 314738 744 0 0 20 0 1 0 157267539 1580564480 343127 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385880 343127 1966 922 0 377832 0
Current children cumulated CPU time: 3154.82 s
Current children cumulated vsize: 1543520 KiB
Current children cumulated memory: 1372508 KiB

[startup+3222.3 s]
/proc/loadavg: 1.10 1.43 2.16 2/220 800968
/proc/meminfo: memFree=123521244/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543520 memory=1372508 CPUtime=3214.71 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 229724 0 0 0 320719 752 0 0 20 0 1 0 157267539 1580564480 343127 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385880 343127 1966 922 0 377832 0
Current children cumulated CPU time: 3214.71 s
Current children cumulated vsize: 1543520 KiB
Current children cumulated memory: 1372508 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.38 2.10 2/220 800979
/proc/meminfo: memFree=123510764/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543520 memory=1382748 CPUtime=3274.59 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 230369 0 0 0 326696 763 0 0 20 0 1 0 157267539 1580564480 345687 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385880 345687 1966 922 0 377832 0
Current children cumulated CPU time: 3274.59 s
Current children cumulated vsize: 1543520 KiB
Current children cumulated memory: 1382748 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.32 2.03 2/223 800994
/proc/meminfo: memFree=123506228/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543520 memory=1386844 CPUtime=3334.47 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 231006 0 0 0 332667 780 0 0 20 0 1 0 157267539 1580564480 346711 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385880 346711 1966 922 0 377832 0
Current children cumulated CPU time: 3334.47 s
Current children cumulated vsize: 1543520 KiB
Current children cumulated memory: 1386844 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.29 1.97 2/223 801004
/proc/meminfo: memFree=123505996/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543520 memory=1386844 CPUtime=3394.35 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 231592 0 0 0 338642 793 0 0 20 0 1 0 157267539 1580564480 346711 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385880 346711 1966 922 0 377832 0
Current children cumulated CPU time: 3394.35 s
Current children cumulated vsize: 1543520 KiB
Current children cumulated memory: 1386844 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.25 1.91 2/223 801015
/proc/meminfo: memFree=123505648/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543520 memory=1386844 CPUtime=3454.22 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 232202 0 0 0 344624 798 0 0 20 0 1 0 157267539 1580564480 346711 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385880 346711 1966 922 0 377832 0
Current children cumulated CPU time: 3454.22 s
Current children cumulated vsize: 1543520 KiB
Current children cumulated memory: 1386844 KiB

[startup+3522.3 s]
/proc/loadavg: 1.16 1.24 1.87 2/223 801025
/proc/meminfo: memFree=123505228/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1543832 memory=1386992 CPUtime=3514.1 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 232872 0 0 0 350607 803 0 0 20 0 1 0 157267539 1580883968 346748 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 385958 346748 1966 922 0 377910 0
Current children cumulated CPU time: 3514.1 s
Current children cumulated vsize: 1543832 KiB
Current children cumulated memory: 1386992 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.21 1.81 2/223 801036
/proc/meminfo: memFree=123498908/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1553008 memory=1393016 CPUtime=3573.97 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 235045 0 0 0 356580 817 0 0 20 0 1 0 157267539 1590280192 348254 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 388252 348254 1966 922 0 380204 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 1553008 KiB
Current children cumulated memory: 1393016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 1.08 1.19 1.79 2/222 801039
/proc/meminfo: memFree=123491928/131655788 swapFree=131071996/131071996
[pid=799112] ppid=799109 vsize=1559700 memory=1399984 CPUtime=3600.02 cores=5,7
/proc/799112/stat : 799112 (roundingsat) R 799109 799112 797687 0 -1 4194304 236994 0 0 0 359178 824 0 0 20 0 1 0 157267539 1597132800 349996 134679101440 4194304 7968869 140733918015984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 37658624 140733918020542 140733918020706 140733918020706 140733918027721 0
/proc/799112/statm: 389925 349996 1966 922 0 381877 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1559700 KiB
Current children cumulated memory: 1399984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.79 s, system=8.24781 s

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

Child status: 1

Real time (s): 3608.41
CPU time (s): 3600.04
CPU user time (s): 3591.79
CPU system time (s): 8.24781
CPU usage (%): 99.768
Max. virtual memory (cumulated for all children) (KiB): 1559700
Max. memory (cumulated for all children) (KiB): 1399984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.79
system time used= 8.24781
maximum resident set size= 1399984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228
involuntary context switches= 2532


# summary of solver processes directly reported to runsolver:
#   pid: 799112
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3591.79
#   total CPU system time (s): 8.24781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0267 second user time and 36.1842 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-15 15:45:16
IDJOB=4429645
IDBENCH=155605
IDSOLVER=3051
FILE ID=nodeC011/4429645-1721051104
RUNJOBID= nodeC011-1721049184-797700
SLURM_JOB_ID= 7505475
Free space on /tmp= 723760 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.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-4429645-1721051104/watcher-4429645-1721051104 -o /tmp/evaluation-result-4429645-1721051104/solver-4429645-1721051104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721049184-797700 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429645-1721051104.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=672785773

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123443820 kB
MemAvailable:   128451472 kB
Buffers:          377024 kB
Cached:          5409740 kB
SwapCached:            0 kB
Active:           619844 kB
Inactive:        6925968 kB
Active(anon):       1444 kB
Inactive(anon):  1795316 kB
Active(file):     618400 kB
Inactive(file):  5130652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5840 kB
Writeback:             0 kB
AnonPages:       1755740 kB
Mapped:           113360 kB
Shmem:             37704 kB
KReclaimable:     197596 kB
Slab:             307312 kB
SReclaimable:     197596 kB
SUnreclaim:       109716 kB
KernelStack:        3916 kB
PageTables:        12732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2297200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51392 kB
HardwareCorrupted:     0 kB
AnonHugePages:    890880 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-15 16:45:25