Trace number 4429429

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)369 3600.08 3613.31

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK	369

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62800 MiB free)
  memory of node 1: 64473 MiB (62641 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=804824, runsolver pid=804819

[startup+0.100087 s]*
/proc/loadavg: 3.90 4.09 4.10 5/257 804843
/proc/meminfo: memFree=128425788/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=40956 memory=12596 CPUtime=0.09 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 1914 0 1 0 7 2 0 0 20 0 1 0 157014327 41938944 3149 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 10239 3149 1310 922 0 2191 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 12596 KiB

[startup+0.206014 s]*
/proc/loadavg: 3.90 4.09 4.10 6/257 804843
/proc/meminfo: memFree=128414292/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=42408 memory=14180 CPUtime=0.2 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 2315 0 1 0 14 6 0 0 20 0 1 0 157014327 43425792 3545 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 10602 3545 1310 922 0 2554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42408 KiB
Current children cumulated memory: 14180 KiB

[startup+0.305504 s]*
/proc/loadavg: 3.90 4.09 4.10 6/257 804843
/proc/meminfo: memFree=128400344/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=47028 memory=18684 CPUtime=0.3 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 2895 0 1 0 22 8 0 0 20 0 1 0 157014327 48156672 4671 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 11757 4671 1310 922 0 3709 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47028 KiB
Current children cumulated memory: 18684 KiB

[startup+0.700185 s]
/proc/loadavg: 3.90 4.09 4.10 6/257 804843
/proc/meminfo: memFree=128373628/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=64112 memory=31088 CPUtime=0.69 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 5000 0 1 0 47 22 0 0 20 0 1 0 157014327 65650688 7772 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 16028 7772 1310 922 0 7980 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64112 KiB
Current children cumulated memory: 31088 KiB

[startup+1.50023 s]
/proc/loadavg: 3.91 4.09 4.10 5/257 804843
/proc/meminfo: memFree=128315584/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=145456 memory=113844 CPUtime=1.48 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 22861 0 1 0 103 45 0 0 20 0 1 0 157014327 148946944 28461 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 36364 28461 1597 922 0 28316 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 145456 KiB
Current children cumulated memory: 113844 KiB

[startup+3.10642 s]
/proc/loadavg: 3.91 4.09 4.10 5/257 804843
/proc/meminfo: memFree=127153228/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=360724 memory=328972 CPUtime=3.08 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 57658 0 1 0 252 56 0 0 20 0 1 0 157014327 369381376 82243 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 90181 82243 1676 922 0 82133 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 360724 KiB
Current children cumulated memory: 328972 KiB

[startup+6.30022 s]
/proc/loadavg: 3.91 4.08 4.10 5/257 804845
/proc/meminfo: memFree=127153196/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=420012 memory=333200 CPUtime=6.27 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 61132 0 1 0 569 58 0 0 20 0 1 0 157014327 430092288 83300 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 105003 83300 1772 922 0 96955 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 420012 KiB
Current children cumulated memory: 333200 KiB

[startup+12.7002 s]
/proc/loadavg: 3.92 4.08 4.10 5/257 804845
/proc/meminfo: memFree=126923792/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=514076 memory=406212 CPUtime=12.64 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 68007 0 1 0 1173 91 0 0 20 0 1 0 157014327 526413824 101553 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 128519 101553 1872 922 0 120471 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 514076 KiB
Current children cumulated memory: 406212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.01 4.10 4.10 5/257 804848
/proc/meminfo: memFree=126634688/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=651852 memory=529040 CPUtime=25.39 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 80036 0 1 0 2414 125 0 0 20 0 1 0 157014327 667496448 132260 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 162963 132260 1872 922 0 154915 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 651852 KiB
Current children cumulated memory: 529040 KiB

[startup+51.1064 s]
/proc/loadavg: 4.01 4.09 4.10 5/257 804851
/proc/meminfo: memFree=126139768/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=820296 memory=668980 CPUtime=50.89 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 96171 0 1 0 4941 148 0 0 20 0 1 0 157014327 839983104 167245 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 205074 167245 1872 922 0 197026 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 820296 KiB
Current children cumulated memory: 668980 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/257 804861
/proc/meminfo: memFree=125741032/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=1082652 memory=886904 CPUtime=101.88 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 116129 0 1 0 9983 205 0 0 20 0 1 0 157014327 1108635648 221726 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 270663 221726 1872 922 0 262615 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1082652 KiB
Current children cumulated memory: 886904 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 804871
/proc/meminfo: memFree=124715376/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=1275100 memory=1129604 CPUtime=161.64 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 150480 0 1 0 15913 251 0 0 20 0 1 0 157014327 1305702400 282401 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 318775 282401 1872 922 0 310727 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1275100 KiB
Current children cumulated memory: 1129604 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/256 804882
/proc/meminfo: memFree=124078292/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=1316296 memory=1171332 CPUtime=221.41 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 153988 0 1 0 21863 278 0 0 20 0 1 0 157014327 1347887104 292833 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 329074 292833 1872 922 0 321026 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 1316296 KiB
Current children cumulated memory: 1171332 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/256 804893
/proc/meminfo: memFree=123826096/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=1582172 memory=1306268 CPUtime=281.17 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 167402 0 1 0 27795 322 0 0 20 0 1 0 157014327 1620144128 326567 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 395543 326567 1872 922 0 387495 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 1582172 KiB
Current children cumulated memory: 1306268 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 804903
/proc/meminfo: memFree=123527248/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=1621080 memory=1334924 CPUtime=340.92 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 172145 0 1 0 33739 353 0 0 20 0 1 0 157014327 1659985920 333731 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 405270 333731 1872 922 0 397222 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 1621080 KiB
Current children cumulated memory: 1334924 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 804914
/proc/meminfo: memFree=123082404/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=1621080 memory=1362424 CPUtime=400.68 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 174118 0 1 0 39657 411 0 0 20 0 1 0 157014327 1659985920 340606 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 405270 340606 1872 922 0 397222 0
Current children cumulated CPU time: 400.68 s
Current children cumulated vsize: 1621080 KiB
Current children cumulated memory: 1362424 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 804924
/proc/meminfo: memFree=122900772/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=1628788 memory=1379888 CPUtime=460.46 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 175036 0 1 0 45617 429 0 0 20 0 1 0 157014327 1667878912 344972 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0

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

Current children cumulated memory: 2679440 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/255 806112
/proc/meminfo: memFree=118001156/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2760156 memory=2679448 CPUtime=2911.4 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 360423 0 1 0 289688 1452 0 0 20 0 1 0 157014327 2826399744 669862 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 690039 669862 2005 922 0 681991 0
Current children cumulated CPU time: 2911.4 s
Current children cumulated vsize: 2760156 KiB
Current children cumulated memory: 2679448 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/255 806124
/proc/meminfo: memFree=117905812/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2760156 memory=2679448 CPUtime=2971.18 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 361495 0 1 0 295633 1485 0 0 20 0 1 0 157014327 2826399744 669862 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 690039 669862 2005 922 0 681991 0
Current children cumulated CPU time: 2971.18 s
Current children cumulated vsize: 2760156 KiB
Current children cumulated memory: 2679448 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/256 806138
/proc/meminfo: memFree=117872996/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786692 memory=2705984 CPUtime=3030.98 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 365490 0 1 0 301568 1530 0 0 20 0 1 0 157014327 2853572608 676496 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696673 676496 2005 922 0 688625 0
Current children cumulated CPU time: 3030.98 s
Current children cumulated vsize: 2786692 KiB
Current children cumulated memory: 2705984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/256 806149
/proc/meminfo: memFree=117739612/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786692 memory=2705984 CPUtime=3090.78 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 366706 0 1 0 307510 1568 0 0 20 0 1 0 157014327 2853572608 676496 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696673 676496 2005 922 0 688625 0
Current children cumulated CPU time: 3090.78 s
Current children cumulated vsize: 2786692 KiB
Current children cumulated memory: 2705984 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/256 806159
/proc/meminfo: memFree=117790564/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786692 memory=2705984 CPUtime=3150.58 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 367788 0 1 0 313468 1590 0 0 20 0 1 0 157014327 2853572608 676496 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696673 676496 2005 922 0 688625 0
Current children cumulated CPU time: 3150.58 s
Current children cumulated vsize: 2786692 KiB
Current children cumulated memory: 2705984 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/257 806172
/proc/meminfo: memFree=117717100/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786692 memory=2705984 CPUtime=3210.39 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 368855 0 1 0 319427 1612 0 0 20 0 1 0 157014327 2853572608 676496 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696673 676496 2005 922 0 688625 0
Current children cumulated CPU time: 3210.39 s
Current children cumulated vsize: 2786692 KiB
Current children cumulated memory: 2705984 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/257 806182
/proc/meminfo: memFree=117715732/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786692 memory=2705984 CPUtime=3270.18 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 369998 0 1 0 325369 1649 0 0 20 0 1 0 157014327 2853572608 676496 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696673 676496 2005 922 0 688625 0
Current children cumulated CPU time: 3270.18 s
Current children cumulated vsize: 2786692 KiB
Current children cumulated memory: 2705984 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 806576
/proc/meminfo: memFree=117676832/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786692 memory=2705984 CPUtime=3329.97 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 370746 0 1 0 331326 1671 0 0 20 0 1 0 157014327 2853572608 676496 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696673 676496 2005 922 0 688625 0
Current children cumulated CPU time: 3329.97 s
Current children cumulated vsize: 2786692 KiB
Current children cumulated memory: 2705984 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 806587
/proc/meminfo: memFree=117662932/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786972 memory=2706264 CPUtime=3389.77 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 373009 0 1 0 337286 1691 0 0 20 0 1 0 157014327 2853859328 676566 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696743 676566 2005 922 0 688695 0
Current children cumulated CPU time: 3389.77 s
Current children cumulated vsize: 2786972 KiB
Current children cumulated memory: 2706264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/257 806597
/proc/meminfo: memFree=117631912/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786972 memory=2706264 CPUtime=3449.57 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 375286 0 1 0 343227 1730 0 0 20 0 1 0 157014327 2853859328 676566 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696743 676566 2005 922 0 688695 0
Current children cumulated CPU time: 3449.57 s
Current children cumulated vsize: 2786972 KiB
Current children cumulated memory: 2706264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/258 806777
/proc/meminfo: memFree=117672364/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786972 memory=2706264 CPUtime=3509.37 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 377553 0 1 0 349161 1776 0 0 20 0 1 0 157014327 2853859328 676566 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696743 676566 2005 922 0 688695 0
Current children cumulated CPU time: 3509.37 s
Current children cumulated vsize: 2786972 KiB
Current children cumulated memory: 2706264 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 806789
/proc/meminfo: memFree=117673672/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786972 memory=2706264 CPUtime=3569.18 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 378531 0 1 0 355098 1820 0 0 20 0 1 0 157014327 2853859328 676566 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696743 676566 2005 922 0 688695 0
Current children cumulated CPU time: 3569.18 s
Current children cumulated vsize: 2786972 KiB
Current children cumulated memory: 2706264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 806914
/proc/meminfo: memFree=125537632/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786972 memory=2706264 CPUtime=3600.06 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 379053 0 1 0 358168 1838 0 0 20 0 1 0 157014327 2853859328 676566 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696743 676566 2005 922 0 688695 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2786972 KiB
Current children cumulated memory: 2706264 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.69 s, system=18.3956 s

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

[startup+3613.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 806914
/proc/meminfo: memFree=125537632/131524600 swapFree=131071996/131071996
[pid=804824] ppid=804819 vsize=2786972 memory=2706264 CPUtime=3600.06 cores=0,2
/proc/804824/stat : 804824 (roundingsat) R 804819 804824 804770 0 -1 4194304 379053 0 1 0 358168 1838 0 0 20 0 1 0 157014327 2853859328 676566 134679101440 4194304 7968869 140724129957264 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 17670144 140724129964990 140724129965154 140724129965154 140724129972169 0
/proc/804824/statm: 696743 676566 2005 922 0 688695 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2786972 KiB
Current children cumulated memory: 2706264 KiB

Child status: 1

Real time (s): 3613.31
CPU time (s): 3600.08
CPU user time (s): 3581.69
CPU system time (s): 18.3956
CPU usage (%): 99.6339
Max. virtual memory (cumulated for all children) (KiB): 2826852
Max. memory (cumulated for all children) (KiB): 2745996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.69
system time used= 18.3956
maximum resident set size= 2746144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379072
page faults= 1
swaps= 0
block input operations= 248
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 25218


# summary of solver processes directly reported to runsolver:
#   pid: 804824
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3581.69
#   total CPU system time (s): 18.3956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45012 second user time and 19.853 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 15:01:06
IDJOB=4429429
IDBENCH=147564
IDSOLVER=3051
FILE ID=nodeC032/4429429-1721048454
RUNJOBID= nodeC032-1721048466-804780
SLURM_JOB_ID= 7505466
Free space on /tmp= 890020 MiB

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

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=20980160

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

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

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

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

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

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

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

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

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

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


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

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