Trace number 4462150

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
pb-oll-rs 2024-07-19SAT (TO)-11501 3600.17 3609.62

DiagnosticValue
AM1LB413736
LOWERBOUND-1033218
NAM1S1868
NCORES93
NEXHAUSTED1
NPBCORES0
NPBREFORM71
NTRIMMED26

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_004.opb
MD5SUM01c3dbc6b225e18f748d0dc14a4fd0f9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-13862
Best CPU time to get the best result obtained on this benchmark0.527614
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12376
Total number of constraints307
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)285
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2800
Number of terms in the objective function 12372
Biggest coefficient in the objective function 261
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1457210
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 261
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1457210
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.02	c [STEP] solving
0.00/0.02	c #variables 12376 #constraints 307
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= -1457210 @ 0.016792
0.00/0.02	c stratification level: 247
0.00/0.03	c bounds - >= -1455945 @ 0.020016
0.00/0.03	c finalizing WCE round: reformulating cores
0.09/0.12	c bounds -2025 >= -1455945 @ 0.096784
0.09/0.12	c bounds -2275 >= -1455945 @ 0.100989
0.09/0.12	c stratification level: 246
0.09/0.12	c bounds -2521 >= -1455699 @ 0.104692
0.09/0.12	c stratification level: 245
0.09/0.13	c bounds -2755 >= -1454964 @ 0.108303
0.09/0.13	c stratification level: 244
0.09/0.13	c bounds -2999 >= -1454720 @ 0.111635
0.09/0.13	c stratification level: 243
0.09/0.14	c bounds -3226 >= -1453501 @ 0.115188
0.09/0.14	c stratification level: 242
0.09/0.15	c bounds -3226 >= -1452533 @ 0.117466
0.09/0.15	c finalizing WCE round: reformulating cores
0.09/0.16	c bounds -3365 >= -1452533 @ 0.126436
0.09/0.16	c bounds -3459 >= -1452533 @ 0.134338
0.09/0.16	c stratification level: 241
0.09/0.18	c bounds -3590 >= -1450605 @ 0.140971
0.09/0.18	c stratification level: 240
0.09/0.20	c bounds -3590 >= -1449878 @ 0.143209
0.09/0.20	c finalizing WCE round: reformulating cores
0.20/0.21	c bounds -3829 >= -1449878 @ 0.154945
0.20/0.21	c bounds -3839 >= -1449878 @ 0.160441
0.20/0.21	c stratification level: 239
0.20/0.22	c bounds -3846 >= -1449161 @ 0.164938
0.20/0.22	c stratification level: 238
0.20/0.22	c bounds -4078 >= -1447971 @ 0.170165
0.20/0.22	c stratification level: 237
0.20/0.23	c bounds -4158 >= -1445838 @ 0.173746
0.20/0.23	c stratification level: 236
0.20/0.26	c bounds -4190 >= -1444422 @ 0.190538
0.20/0.26	c stratification level: 235
0.20/0.28	c bounds -4190 >= -1443234 @ 0.193083
0.20/0.28	c finalizing WCE round: reformulating cores
0.20/0.30	c bounds -4237 >= -1443234 @ 0.204945
0.20/0.30	c bounds -4404 >= -1443234 @ 0.20792
0.20/0.30	c stratification level: 234
0.30/0.31	c bounds -4564 >= -1442531 @ 0.212726
0.30/0.31	c stratification level: 233
0.30/0.32	c bounds -4564 >= -1440432 @ 0.215491
0.30/0.32	c finalizing WCE round: reformulating cores
0.30/0.35	c bounds -4617 >= -1440432 @ 0.231221
0.30/0.35	c bounds -4719 >= -1440432 @ 0.238868
0.30/0.35	c stratification level: 232
0.30/0.37	c bounds -4908 >= -1439032 @ 0.246038
0.30/0.37	c stratification level: 231
0.30/0.38	c bounds -5462 >= -1437883 @ 0.250706
0.30/0.38	c stratification level: 230
0.30/0.39	c bounds -5462 >= -1436270 @ 0.254798
0.30/0.39	c finalizing WCE round: reformulating cores
0.40/0.43	c bounds -5557 >= -1436270 @ 0.287598
0.40/0.43	c bounds -5639 >= -1436270 @ 0.291823
0.40/0.43	c stratification level: 229
0.40/0.44	c bounds -5747 >= -1435120 @ 0.300475
0.40/0.44	c stratification level: 228
0.40/0.45	c bounds -5759 >= -1433296 @ 0.304982
0.40/0.45	c stratification level: 227
0.40/0.45	c bounds -5970 >= -1431249 @ 0.308138
0.40/0.45	c stratification level: 226
0.40/0.46	c bounds -6088 >= -1430123 @ 0.312464
0.40/0.46	c stratification level: 225
0.40/0.47	c bounds -6201 >= -1427871 @ 0.317716
0.40/0.47	c stratification level: 224
0.40/0.49	c bounds -6201 >= -1426516 @ 0.323309
0.40/0.49	c finalizing WCE round: reformulating cores
0.50/0.51	c bounds -6337 >= -1426516 @ 0.352949
0.50/0.51	c bounds -6343 >= -1426516 @ 0.356889
0.50/0.51	c stratification level: 223
0.50/0.54	c bounds -6345 >= -1424504 @ 0.373821
0.50/0.54	c stratification level: 222
0.50/0.58	c bounds -6345 >= -1422285 @ 0.375875
0.50/0.58	c bounds -6345 >= -1422063 @ 0.377823
0.50/0.58	c finalizing WCE round: reformulating cores
0.50/0.60	c bounds -6578 >= -1422063 @ 0.415292
0.50/0.60	c bounds -6627 >= -1422063 @ 0.419095
0.50/0.60	c stratification level: 221
0.60/0.63	c bounds -6627 >= -1419842 @ 0.421352
0.60/0.63	c finalizing WCE round: reformulating cores
0.60/0.67	c bounds -6700 >= -1419842 @ 0.473348
0.60/0.67	c bounds -6712 >= -1419842 @ 0.476693
0.60/0.67	c stratification level: 220
0.60/0.68	c bounds -6725 >= -1418739 @ 0.481497
0.60/0.68	c stratification level: 219
0.60/0.69	c bounds -6725 >= -1415881 @ 0.485041
0.60/0.69	c finalizing WCE round: reformulating cores
0.69/0.73	c bounds -6875 >= -1415881 @ 0.516885
0.69/0.73	c bounds -7111 >= -1415881 @ 0.519278
0.69/0.73	c stratification level: 218
0.69/0.75	c bounds -7111 >= -1413906 @ 0.522355
0.69/0.75	c finalizing WCE round: reformulating cores
0.69/0.77	c bounds -7192 >= -1413906 @ 0.537967
0.69/0.77	c bounds -7212 >= -1413906 @ 0.542265
0.69/0.77	c stratification level: 217
0.69/0.78	c bounds -7212 >= -1411303 @ 0.54697
0.69/0.78	c finalizing WCE round: reformulating cores
0.79/0.80	c bounds -7277 >= -1411303 @ 0.557584
0.79/0.80	c bounds -7281 >= -1411303 @ 0.562552
0.79/0.80	c stratification level: 216
0.79/0.81	c bounds -7281 >= -1408699 @ 0.565577
0.79/0.81	c bounds -7281 >= -1408483 @ 0.567559
0.79/0.81	c finalizing WCE round: reformulating cores
0.79/0.85	c bounds -7522 >= -1408483 @ 0.599944
0.79/0.85	c bounds -7755 >= -1408483 @ 0.603928
0.79/0.85	c stratification level: 215
0.79/0.88	c bounds -7755 >= -1405688 @ 0.606431
0.79/0.88	c finalizing WCE round: reformulating cores
0.89/0.90	c bounds -7764 >= -1405688 @ 0.628283
0.89/0.90	c bounds -7766 >= -1405688 @ 0.632833
0.89/0.90	c stratification level: 214
0.89/0.91	c bounds -7766 >= -1401604 @ 0.637263
0.89/0.91	c finalizing WCE round: reformulating cores
0.89/0.94	c bounds -7885 >= -1401604 @ 0.654015
0.89/0.94	c bounds -8022 >= -1401604 @ 0.66629
0.89/0.94	c stratification level: 213
0.89/1.00	c bounds -8022 >= -1400097 @ 0.669562
0.89/1.00	c finalizing WCE round: reformulating cores
0.99/1.04	c bounds -8054 >= -1400097 @ 0.743511
0.99/1.04	c bounds -8120 >= -1400097 @ 0.747465
0.99/1.04	c stratification level: 212
0.99/1.05	c bounds -8120 >= -1396276 @ 0.751984
0.99/1.05	c finalizing WCE round: reformulating cores
1.19/1.23	c bounds -8387 >= -1396276 @ 0.90346
1.19/1.23	c bounds -8475 >= -1396276 @ 0.92114
1.19/1.23	c stratification level: 211
1.19/1.25	c bounds -8475 >= -1393307 @ 0.925876
1.19/1.25	c finalizing WCE round: reformulating cores
5.68/5.74	c bounds -8567 >= -1393307 @ 5.35923
5.68/5.74	c bounds -8935 >= -1393307 @ 5.36949
5.68/5.74	c stratification level: 210
5.68/5.77	c bounds -8935 >= -1390386 @ 5.37482
5.68/5.77	c finalizing WCE round: reformulating cores
10.26/10.34	c #Conflicts:       1000 | #Constraints:       1753
10.26/10.34	c bounds -8953 >= -1390386 @ 9.76877
10.26/10.34	c bounds -8954 >= -1390386 @ 9.89281
10.26/10.34	c stratification level: 209
10.36/10.42	c bounds -8954 >= -1387034 @ 9.90074
10.36/10.42	c finalizing WCE round: reformulating cores
10.66/10.76	c bounds -9017 >= -1387034 @ 10.2764
10.66/10.76	c bounds -9237 >= -1387034 @ 10.2825
10.66/10.76	c stratification level: 208
10.76/10.85	c bounds -9237 >= -1383709 @ 10.2909
10.76/10.85	c finalizing WCE round: reformulating cores
11.36/11.42	c bounds -9272 >= -1383709 @ 10.888
11.36/11.42	c bounds -9327 >= -1383709 @ 10.9015
11.36/11.42	c stratification level: 207
11.56/11.60	c bounds -9327 >= -1379539 @ 10.9128
11.56/11.60	c finalizing WCE round: reformulating cores
16.55/16.68	c #Conflicts:       2000 | #Constraints:       2817
16.55/16.68	c INPROCESSING
16.55/16.68	c GARBAGE COLLECT
16.55/16.68	c bounds -9385 >= -1379539 @ 15.5663
16.55/16.68	c bounds -9389 >= -1379539 @ 16.1145
16.55/16.68	c stratification level: 206
16.85/16.90	c bounds -9389 >= -1375820 @ 16.122
16.85/16.90	c finalizing WCE round: reformulating cores
19.45/19.57	c #Conflicts:       3000 | #Constraints:       2742
19.45/19.57	c bounds -9497 >= -1375820 @ 18.9513
19.45/19.57	c bounds -9512 >= -1375820 @ 18.9617
19.45/19.57	c stratification level: 205
19.75/19.86	c bounds -9512 >= -1371714 @ 18.9734
19.75/19.86	c finalizing WCE round: reformulating cores
20.44/20.55	c bounds -9524 >= -1371714 @ 19.8926
20.44/20.55	c bounds -9610 >= -1371714 @ 19.912
20.44/20.55	c stratification level: 204
21.94/22.05	c bounds -9610 >= -1368216 @ 19.9193
21.94/22.05	c finalizing WCE round: reformulating cores
21.94/22.08	c bounds -9668 >= -1368216 @ 21.409
21.94/22.08	c bounds -9674 >= -1368216 @ 21.4156
21.94/22.08	c stratification level: 203
23.33/23.49	c bounds -9674 >= -1365148 @ 21.4251
23.33/23.49	c finalizing WCE round: reformulating cores
30.32/30.44	c #Conflicts:       4000 | #Constraints:       3811
30.32/30.44	c INPROCESSING
30.32/30.44	c GARBAGE COLLECT
30.32/30.44	c bounds -9712 >= -1365148 @ 28.4558
30.32/30.44	c #Conflicts:       5000 | #Constraints:       3203
30.32/30.44	c bounds -9714 >= -1365148 @ 29.6599
30.32/30.44	c stratification level: 202
34.11/34.22	c bounds -9714 >= -1362294 @ 29.6697
34.11/34.22	c finalizing WCE round: reformulating cores
38.50/38.68	c #Conflicts:       6000 | #Constraints:       4226
38.50/38.68	c bounds -9736 >= -1362294 @ 37.0852
38.50/38.68	c bounds -9742 >= -1362294 @ 37.8241
38.50/38.68	c stratification level: 201
38.90/39.04	c bounds -9742 >= -1357855 @ 37.8363
38.90/39.04	c INPROCESSING
38.90/39.04	c GARBAGE COLLECT
38.90/39.04	c finalizing WCE round: reformulating cores
44.99/45.19	c #Conflicts:       7000 | #Constraints:       3267
44.99/45.19	c bounds -9743 >= -1357855 @ 43.9776
44.99/45.19	c bounds -9797 >= -1357855 @ 44.2801
44.99/45.19	c stratification level: 200
46.08/46.25	c bounds -9797 >= -1352433 @ 44.2957
46.08/46.25	c finalizing WCE round: reformulating cores
49.17/49.34	c bounds -9862 >= -1352433 @ 48.3375
49.17/49.34	c bounds -9911 >= -1352433 @ 48.3894
49.17/49.34	c stratification level: 199
50.08/50.21	c bounds -9911 >= -1348458 @ 48.3989
50.08/50.21	c bounds -9911 >= -1348259 @ 48.4093
50.08/50.21	c #Conflicts:       8000 | #Constraints:       4315
50.08/50.21	c finalizing WCE round: reformulating cores
51.27/51.40	c bounds -9981 >= -1348259 @ 50.3918
51.27/51.40	c bounds -10033 >= -1348259 @ 50.406
51.27/51.40	c stratification level: 198
54.17/54.34	c bounds -10033 >= -1343490 @ 50.4195
54.17/54.34	c finalizing WCE round: reformulating cores
54.37/54.55	c bounds -10038 >= -1343490 @ 53.3313
54.37/54.55	c bounds -10107 >= -1343490 @ 53.5044
54.37/54.55	c stratification level: 197
56.36/56.58	c bounds -10107 >= -1338143 @ 53.5237
56.36/56.58	c #Conflicts:       9000 | #Constraints:       5372
56.36/56.58	c finalizing WCE round: reformulating cores
63.95/64.18	c INPROCESSING
63.95/64.18	c GARBAGE COLLECT
63.95/64.18	c bounds -10155 >= -1338143 @ 59.8265
63.95/64.18	c #Conflicts:      10000 | #Constraints:       4060
63.95/64.18	c bounds -10181 >= -1338143 @ 63.0481
63.95/64.18	c stratification level: 196
69.13/69.37	c bounds -10181 >= -1333094 @ 63.0645
69.13/69.37	c finalizing WCE round: reformulating cores
81.91/82.15	c #Conflicts:      11000 | #Constraints:       5086
81.91/82.15	c bounds -10192 >= -1333094 @ 73.7282
81.91/82.15	c #Conflicts:      12000 | #Constraints:       6086
81.91/82.15	c INPROCESSING
81.91/82.15	c GARBAGE COLLECT
81.91/82.15	c bounds -10207 >= -1333094 @ 80.8768
81.91/82.15	c stratification level: 195
82.90/83.14	c bounds -10207 >= -1329567 @ 80.893
82.90/83.14	c finalizing WCE round: reformulating cores
87.59/87.83	c #Conflicts:      13000 | #Constraints:       4565
87.59/87.83	c bounds -10217 >= -1329567 @ 86.45
87.59/87.83	c bounds -10295 >= -1329567 @ 86.485
87.59/87.83	c stratification level: 194
90.27/90.55	c bounds -10295 >= -1325104 @ 86.5089
90.27/90.55	c finalizing WCE round: reformulating cores
100.35/100.66	c #Conflicts:      14000 | #Constraints:       5595
100.35/100.66	c bounds -10311 >= -1325104 @ 95.6938
100.35/100.66	c bounds -10329 >= -1325104 @ 99.2291
100.35/100.66	c stratification level: 193
101.65/101.96	c bounds -10329 >= -1319694 @ 99.2552
101.65/101.96	c finalizing WCE round: reformulating cores
108.93/109.26	c #Conflicts:      15000 | #Constraints:       6626
108.93/109.26	c INPROCESSING
108.93/109.26	c GARBAGE COLLECT
108.93/109.26	c bounds -10350 >= -1319694 @ 107.724
108.93/109.26	c bounds -10436 >= -1319694 @ 107.757
108.93/109.26	c stratification level: 192
114.72/115.03	c bounds -10436 >= -1314889 @ 107.778
114.72/115.03	c #Conflicts:      16000 | #Constraints:       4844
114.72/115.03	c finalizing WCE round: reformulating cores
115.02/115.36	c bounds -10453 >= -1314889 @ 113.516
115.02/115.36	c bounds -10460 >= -1314889 @ 113.814
115.02/115.36	c stratification level: 191
116.51/116.81	c bounds -10460 >= -1310657 @ 113.836
116.51/116.81	c bounds -10460 >= -1310466 @ 113.843
116.51/116.81	c finalizing WCE round: reformulating cores
129.79/130.11	c #Conflicts:      17000 | #Constraints:       5875
129.79/130.11	c #Conflicts:      18000 | #Constraints:       6877
129.79/130.11	c bounds -10479 >= -1310466 @ 126.249
129.79/130.11	c INPROCESSING
129.79/130.11	c GARBAGE COLLECT
129.79/130.11	c bounds -10492 >= -1310466 @ 128.486
129.79/130.11	c stratification level: 190
130.58/130.93	c bounds -10492 >= -1305691 @ 128.505
130.58/130.93	c finalizing WCE round: reformulating cores
131.57/131.95	c bounds -10500 >= -1305691 @ 129.609
131.57/131.95	c bounds -10501 >= -1305691 @ 130.31
131.57/131.95	c stratification level: 189
139.36/139.73	c bounds -10501 >= -1299441 @ 130.336
139.36/139.73	c bounds -10501 >= -1299252 @ 130.34
139.36/139.73	c bounds -10501 >= -1299063 @ 130.361
139.36/139.73	c #Conflicts:      19000 | #Constraints:       4959
139.36/139.73	c finalizing WCE round: reformulating cores
168.59/169.08	c #Conflicts:      20000 | #Constraints:       5962
168.59/169.08	c #Conflicts:      21000 | #Constraints:       6966
168.59/169.08	c INPROCESSING
168.59/169.08	c GARBAGE COLLECT
168.59/169.08	c #Conflicts:      22000 | #Constraints:       4754
168.59/169.08	c bounds -10531 >= -1299063 @ 161.813
168.59/169.08	c bounds -10553 >= -1299063 @ 167.138
168.59/169.08	c stratification level: 188
181.95/182.47	c bounds -10553 >= -1291704 @ 167.176
181.95/182.47	c #Conflicts:      23000 | #Constraints:       5783
181.95/182.47	c #Conflicts:      24000 | #Constraints:       6783
181.95/182.47	c finalizing WCE round: reformulating cores
196.12/196.61	c bounds -10555 >= -1291704 @ 187.11
196.12/196.61	c #Conflicts:      25000 | #Constraints:       7786
196.12/196.61	c INPROCESSING
196.12/196.61	c GARBAGE COLLECT
196.12/196.61	c bounds -10591 >= -1291704 @ 194.491
196.12/196.61	c stratification level: 187
224.45/225.08	c bounds -10591 >= -1286262 @ 194.514
224.45/225.08	c #Conflicts:      26000 | #Constraints:       5440
224.45/225.08	c #Conflicts:      27000 | #Constraints:       6440
224.45/225.08	c finalizing WCE round: reformulating cores
232.02/232.60	c #Conflicts:      28000 | #Constraints:       7443
232.02/232.60	c bounds -10603 >= -1286262 @ 229.775
232.02/232.60	c bounds -10626 >= -1286262 @ 230.304
232.02/232.60	c stratification level: 186
233.82/234.44	c bounds -10626 >= -1279947 @ 230.346
233.82/234.44	c finalizing WCE round: reformulating cores
255.47/256.11	c #Conflicts:      29000 | #Constraints:       8479
255.47/256.11	c INPROCESSING
255.47/256.11	c GARBAGE COLLECT
255.47/256.11	c bounds -10643 >= -1279947 @ 237.705
255.47/256.11	c #Conflicts:      30000 | #Constraints:       5858
255.47/256.11	c #Conflicts:      31000 | #Constraints:       6858
255.47/256.11	c bounds -10674 >= -1279947 @ 253.664
255.47/256.11	c stratification level: 185
257.46/258.15	c bounds -10674 >= -1274749 @ 253.695
257.46/258.15	c finalizing WCE round: reformulating cores
266.54/267.24	c #Conflicts:      32000 | #Constraints:       7887
266.54/267.24	c bounds -10678 >= -1274749 @ 260.932
266.54/267.24	c bounds -10680 >= -1274749 @ 264.689
266.54/267.24	c stratification level: 184
276.81/277.58	c bounds -10680 >= -1267356 @ 264.739
276.81/277.58	c #Conflicts:      33000 | #Constraints:       8921
276.81/277.58	c INPROCESSING
276.81/277.58	c GARBAGE COLLECT
276.81/277.58	c finalizing WCE round: reformulating cores
290.58/291.34	c #Conflicts:      34000 | #Constraints:       6134
290.58/291.34	c bounds -10688 >= -1267356 @ 279.023
290.58/291.34	c #Conflicts:      35000 | #Constraints:       7134
290.58/291.34	c bounds -10692 >= -1267356 @ 288.654
290.58/291.34	c stratification level: 183
294.47/295.27	c bounds -10692 >= -1258485 @ 288.706
294.47/295.27	c bounds -10692 >= -1258302 @ 288.725
294.47/295.27	c finalizing WCE round: reformulating cores
300.95/301.74	c bounds -10777 >= -1258299 @ 295.47
300.95/301.74	c bounds -10778 >= -1258299 @ 298.978
300.95/301.74	c stratification level: 182
301.95/302.70	c bounds -10778 >= -1253174 @ 299.015
301.95/302.70	c bounds -10778 >= -1252992 @ 299.053
301.95/302.70	c #Conflicts:      36000 | #Constraints:       8218
301.95/302.70	c finalizing WCE round: reformulating cores
317.41/318.29	c bounds -10789 >= -1252992 @ 305.684
317.41/318.29	c #Conflicts:      37000 | #Constraints:       9226
317.41/318.29	c INPROCESSING
317.41/318.29	c GARBAGE COLLECT
317.41/318.29	c bounds -10789 >= -1252813 @ 312.312
317.41/318.29	c #Conflicts:      38000 | #Constraints:       6219
317.41/318.29	c bounds -10793 >= -1252813 @ 315.435
317.41/318.29	c stratification level: 181
330.67/331.58	c bounds -10793 >= -1245234 @ 315.475
330.67/331.58	c bounds -10793 >= -1245053 @ 315.48
330.67/331.58	c #Conflicts:      39000 | #Constraints:       7265
330.67/331.58	c finalizing WCE round: reformulating cores
356.31/357.20	c #Conflicts:      40000 | #Constraints:       8268
356.31/357.20	c bounds -10831 >= -1245053 @ 342.348
356.31/357.20	c #Conflicts:      41000 | #Constraints:       9270
356.31/357.20	c bounds -10836 >= -1245053 @ 354.155
356.31/357.20	c stratification level: 180
357.80/358.71	c bounds -10836 >= -1239411 @ 354.205
357.80/358.71	c finalizing WCE round: reformulating cores
357.90/358.87	c bounds -10850 >= -1239411 @ 355.704
357.90/358.87	c bounds -10853 >= -1239411 @ 355.809
357.90/358.87	c stratification level: 179
359.29/360.23	c bounds -10853 >= -1232253 @ 355.862
359.29/360.23	c INPROCESSING
359.29/360.23	c GARBAGE COLLECT
359.29/360.23	c finalizing WCE round: reformulating cores
367.28/368.24	c #Conflicts:      42000 | #Constraints:       6159
367.28/368.24	c bounds -10877 >= -1232253 @ 364.558
367.28/368.24	c bounds -10882 >= -1232253 @ 365.122
367.28/368.24	c stratification level: 178
367.97/368.94	c bounds -10882 >= -1223663 @ 365.172
367.97/368.94	c bounds -10882 >= -1223485 @ 365.178
367.97/368.94	c finalizing WCE round: reformulating cores
380.35/381.33	c #Conflicts:      43000 | #Constraints:       7205
380.35/381.33	c bounds -10885 >= -1223485 @ 377.76
380.35/381.33	c bounds -10895 >= -1223485 @ 378.158
380.35/381.33	c stratification level: 177
383.43/384.46	c bounds -10895 >= -1215912 @ 378.203
383.43/384.46	c bounds -10895 >= -1215735 @ 378.217
383.43/384.46	c #Conflicts:      44000 | #Constraints:       8246
383.43/384.46	c finalizing WCE round: reformulating cores
402.99/404.02	c #Conflicts:      45000 | #Constraints:       9251
402.99/404.02	c bounds -10906 >= -1215735 @ 394.939
402.99/404.02	c bounds -10906 >= -1215558 @ 394.947
402.99/404.02	c #Conflicts:      46000 | #Constraints:      10252
402.99/404.02	c finalizing WCE round: reformulating cores
403.09/404.10	c bounds -10927 >= -1215558 @ 400.736
403.09/404.10	c bounds -10961 >= -1215558 @ 400.771
403.09/404.10	c stratification level: 176
403.39/404.42	c bounds -10961 >= -1208114 @ 400.824
403.39/404.42	c bounds -10961 >= -1207938 @ 400.833
403.39/404.42	c finalizing WCE round: reformulating cores
403.78/404.82	c bounds -10967 >= -1207937 @ 401.269
403.78/404.82	c bounds -10971 >= -1207937 @ 401.453
403.78/404.82	c stratification level: 175
408.37/409.47	c bounds -10971 >= -1202118 @ 401.515
408.37/409.47	c INPROCESSING
408.37/409.47	c GARBAGE COLLECT
408.37/409.47	c finalizing WCE round: reformulating cores
415.55/416.65	c #Conflicts:      47000 | #Constraints:       6933
415.55/416.65	c bounds -10974 >= -1202118 @ 413.124
415.55/416.65	c bounds -10986 >= -1202118 @ 413.195
415.55/416.65	c stratification level: 174
424.33/425.40	c bounds -10986 >= -1194241 @ 413.249
424.33/425.40	c finalizing WCE round: reformulating cores
432.11/433.27	c #Conflicts:      48000 | #Constraints:       7975
432.11/433.27	c bounds -10993 >= -1194241 @ 428.595
432.11/433.27	c bounds -11001 >= -1194241 @ 429.703
432.11/433.27	c stratification level: 173
438.10/439.28	c bounds -11001 >= -1185665 @ 429.769
438.10/439.28	c bounds -11001 >= -1185492 @ 429.822
438.10/439.28	c #Conflicts:      49000 | #Constraints:       9021
438.10/439.28	c finalizing WCE round: reformulating cores
486.46/487.72	c #Conflicts:      50000 | #Constraints:      10024
486.46/487.72	c bounds -11010 >= -1185492 @ 451.301
486.46/487.72	c #Conflicts:      51000 | #Constraints:      11026
486.46/487.72	c INPROCESSING
486.46/487.72	c GARBAGE COLLECT
486.46/487.72	c #Conflicts:      52000 | #Constraints:       7429
486.46/487.72	c #Conflicts:      53000 | #Constraints:       8429
486.46/487.72	c bounds -11022 >= -1185492 @ 483.821
486.46/487.72	c stratification level: 172
498.84/500.18	c bounds -11022 >= -1176649 @ 483.884
498.84/500.18	c #Conflicts:      54000 | #Constraints:       9475
498.84/500.18	c finalizing WCE round: reformulating cores
555.39/556.86	c #Conflicts:      55000 | #Constraints:      10478
555.39/556.86	c bounds -11033 >= -1176649 @ 507.032
555.39/556.86	c #Conflicts:      56000 | #Constraints:      11478
555.39/556.86	c INPROCESSING
555.39/556.86	c GARBAGE COLLECT
555.39/556.86	c #Conflicts:      57000 | #Constraints:       7683
555.39/556.86	c #Conflicts:      58000 | #Constraints:       8683
555.39/556.86	c #Conflicts:      59000 | #Constraints:       9683
555.39/556.86	c bounds -11132 >= -1176649 @ 552.58
555.39/556.86	c stratification level: 171
673.17/674.93	c bounds -11132 >= -1168609 @ 552.647
673.17/674.93	c bounds -11132 >= -1168438 @ 552.658
673.17/674.93	c #Conflicts:      60000 | #Constraints:      10736
673.17/674.93	c #Conflicts:      61000 | #Constraints:      11736
673.17/674.93	c INPROCESSING
673.17/674.93	c GARBAGE COLLECT
673.17/674.93	c #Conflicts:      62000 | #Constraints:       7732
673.17/674.93	c #Conflicts:      63000 | #Constraints:       8732
673.17/674.93	c #Conflicts:      64000 | #Constraints:       9732
673.17/674.93	c #Conflicts:      65000 | #Constraints:      10732
673.17/674.93	c #Conflicts:      66000 | #Constraints:      11732
673.17/674.93	c INPROCESSING
673.17/674.93	c GARBAGE COLLECT
673.17/674.93	c finalizing WCE round: reformulating cores
692.02/693.84	c #Conflicts:      67000 | #Constraints:       7520
692.02/693.84	c #Conflicts:      68000 | #Constraints:       8522
692.02/693.84	c bounds -11133 >= -1168438 @ 681.876
692.02/693.84	c #Conflicts:      69000 | #Constraints:       9522
692.02/693.84	c bounds -11138 >= -1168438 @ 688.894
692.02/693.84	c stratification level: 170
703.59/705.48	c bounds -11138 >= -1159445 @ 688.962
703.59/705.48	c finalizing WCE round: reformulating cores
718.75/720.69	c #Conflicts:      70000 | #Constraints:      10565
718.75/720.69	c bounds -11171 >= -1159445 @ 706.414
718.75/720.69	c #Conflicts:      71000 | #Constraints:      11565
718.75/720.69	c bounds -11173 >= -1159445 @ 715.621
718.75/720.69	c stratification level: 169
955.10/957.67	c bounds -11173 >= -1149316 @ 715.701
955.10/957.67	c bounds -11173 >= -1149147 @ 715.717
955.10/957.67	c #Conflicts:      72000 | #Constraints:      12623
955.10/957.67	c INPROCESSING
955.10/957.67	c GARBAGE COLLECT
955.10/957.67	c #Conflicts:      73000 | #Constraints:       8218
955.10/957.67	c #Conflicts:      74000 | #Constraints:       9218
955.10/957.67	c #Conflicts:      75000 | #Constraints:      10218
955.10/957.67	c #Conflicts:      76000 | #Constraints:      11218
955.10/957.67	c #Conflicts:      77000 | #Constraints:      12218
955.10/957.67	c #Conflicts:      78000 | #Constraints:      13218
955.10/957.67	c INPROCESSING
955.10/957.67	c GARBAGE COLLECT
955.10/957.67	c #Conflicts:      79000 | #Constraints:       8640
955.10/957.67	c #Conflicts:      80000 | #Constraints:       9640
955.10/957.67	c #Conflicts:      81000 | #Constraints:      10640
955.10/957.67	c #Conflicts:      82000 | #Constraints:      11640
955.10/957.67	c #Conflicts:      83000 | #Constraints:      12640
955.10/957.67	c finalizing WCE round: reformulating cores
1083.65/1086.59	c #Conflicts:      84000 | #Constraints:      13643
1083.65/1086.59	c INPROCESSING
1083.65/1086.59	c GARBAGE COLLECT
1083.65/1086.59	c #Conflicts:      85000 | #Constraints:       8788
1083.65/1086.59	c bounds -11186 >= -1149144 @ 964.973
1083.65/1086.59	c #Conflicts:      86000 | #Constraints:       9788
1083.65/1086.59	c #Conflicts:      87000 | #Constraints:      10788
1083.65/1086.59	c #Conflicts:      88000 | #Constraints:      11788
1083.65/1086.59	c #Conflicts:      89000 | #Constraints:      12788
1083.65/1086.59	c #Conflicts:      90000 | #Constraints:      13788
1083.65/1086.59	c INPROCESSING
1083.65/1086.59	c GARBAGE COLLECT
1083.65/1086.59	c #Conflicts:      91000 | #Constraints:       8819
1083.65/1086.59	c bounds -11196 >= -1149144 @ 1080.03
1083.65/1086.59	c stratification level: 168
1616.66/1620.98	c bounds -11196 >= -1142708 @ 1080.08
1616.66/1620.98	c bounds -11196 >= -1142540 @ 1080.09
1616.66/1620.98	c #Conflicts:      92000 | #Constraints:       9858
1616.66/1620.98	c #Conflicts:      93000 | #Constraints:      10858
1616.66/1620.98	c #Conflicts:      94000 | #Constraints:      11858
1616.66/1620.98	c #Conflicts:      95000 | #Constraints:      12858
1616.66/1620.98	c #Conflicts:      96000 | #Constraints:      13858
1616.66/1620.98	c INPROCESSING
1616.66/1620.98	c GARBAGE COLLECT
1616.66/1620.98	c #Conflicts:      97000 | #Constraints:       8662
1616.66/1620.98	c #Conflicts:      98000 | #Constraints:       9662
1616.66/1620.98	c #Conflicts:      99000 | #Constraints:      10662
1616.66/1620.98	c #Conflicts:     100000 | #Constraints:      11662
1616.66/1620.98	c #Conflicts:     101000 | #Constraints:      12662
1616.66/1620.98	c #Conflicts:     102000 | #Constraints:      13662
1616.66/1620.98	c #Conflicts:     103000 | #Constraints:      14662
1616.66/1620.98	c INPROCESSING
1616.66/1620.98	c GARBAGE COLLECT
1616.66/1620.98	c #Conflicts:     104000 | #Constraints:       9257
1616.66/1620.98	c #Conflicts:     105000 | #Constraints:      10257
1616.66/1620.98	c #Conflicts:     106000 | #Constraints:      11257
1616.66/1620.98	c #Conflicts:     107000 | #Constraints:      12257
1616.66/1620.98	c #Conflicts:     108000 | #Constraints:      13257
1616.66/1620.98	c #Conflicts:     109000 | #Constraints:      14257
1616.66/1620.98	c #Conflicts:     110000 | #Constraints:      15257
1616.66/1620.98	c INPROCESSING
1616.66/1620.98	c GARBAGE COLLECT
1616.66/1620.98	c #Conflicts:     111000 | #Constraints:       9654
1616.66/1620.98	c #Conflicts:     112000 | #Constraints:      10654
1616.66/1620.98	c #Conflicts:     113000 | #Constraints:      11654
1616.66/1620.98	c #Conflicts:     114000 | #Constraints:      12654
1616.66/1620.98	c #Conflicts:     115000 | #Constraints:      13654
1616.66/1620.98	c finalizing WCE round: reformulating cores
1713.61/1718.15	c #Conflicts:     116000 | #Constraints:      14657
1713.61/1718.15	c bounds -11197 >= -1142540 @ 1624.25
1713.61/1718.15	c #Conflicts:     117000 | #Constraints:      15659
1713.61/1718.15	c INPROCESSING
1713.61/1718.15	c GARBAGE COLLECT
1713.61/1718.15	c #Conflicts:     118000 | #Constraints:       9895
1713.61/1718.15	c #Conflicts:     119000 | #Constraints:      10895
1713.61/1718.15	c #Conflicts:     120000 | #Constraints:      11895
1713.61/1718.15	c #Conflicts:     121000 | #Constraints:      12895
1713.61/1718.15	c bounds -11210 >= -1142540 @ 1709.16
1713.61/1718.15	c stratification level: 167
1720.08/1724.64	c bounds -11210 >= -1132879 @ 1710.33
1720.08/1724.64	c #Conflicts:     122000 | #Constraints:      13939
1720.08/1724.64	c finalizing WCE round: reformulating cores
1736.45/1741.05	c bounds -11211 >= -1132879 @ 1725.43
1736.45/1741.05	c #Conflicts:     123000 | #Constraints:      14942
1736.45/1741.05	c bounds -11214 >= -1132879 @ 1731.93
1736.45/1741.05	c stratification level: 166
1774.65/1779.30	c bounds -11214 >= -1120750 @ 1733.32
1774.65/1779.30	c #Conflicts:     124000 | #Constraints:      15988
1774.65/1779.30	c INPROCESSING
1774.65/1779.30	c GARBAGE COLLECT
1774.65/1779.30	c #Conflicts:     125000 | #Constraints:       9960
1774.65/1779.30	c finalizing WCE round: reformulating cores
1797.89/1802.62	c bounds -11216 >= -1120750 @ 1775.87
1797.89/1802.62	c #Conflicts:     126000 | #Constraints:      10966
1797.89/1802.62	c #Conflicts:     127000 | #Constraints:      11966
1797.89/1802.62	c bounds -11237 >= -1120750 @ 1793.22
1797.89/1802.62	c stratification level: 165
1861.13/1866.03	c bounds -11237 >= -1111655 @ 1793.5
1861.13/1866.03	c #Conflicts:     128000 | #Constraints:      13008
1861.13/1866.03	c #Conflicts:     129000 | #Constraints:      14008
1861.13/1866.03	c #Conflicts:     130000 | #Constraints:      15008
1861.13/1866.03	c #Conflicts:     131000 | #Constraints:      16008
1861.13/1866.03	c finalizing WCE round: reformulating cores
1888.35/1893.32	c INPROCESSING
1888.35/1893.32	c GARBAGE COLLECT
1888.35/1893.32	c #Conflicts:     132000 | #Constraints:       9801
1888.35/1893.32	c bounds -11238 >= -1111655 @ 1868.8
1888.35/1893.32	c #Conflicts:     133000 | #Constraints:      10801
1888.35/1893.32	c bounds -11275 >= -1111655 @ 1883.53
1888.35/1893.32	c stratification level: 164
1927.46/1932.55	c bounds -11275 >= -1100858 @ 1884.25
1927.46/1932.55	c bounds -11275 >= -1100694 @ 1884.63
1927.46/1932.55	c #Conflicts:     134000 | #Constraints:      11850
1927.46/1932.55	c #Conflicts:     135000 | #Constraints:      12850
1927.46/1932.55	c #Conflicts:     136000 | #Constraints:      13850
1927.46/1932.55	c finalizing WCE round: reformulating cores
1957.08/1962.22	c #Conflicts:     137000 | #Constraints:      14855
1957.08/1962.22	c bounds -11308 >= -1100694 @ 1946.54
1957.08/1962.22	c bounds -11314 >= -1100694 @ 1952.15
1957.08/1962.22	c stratification level: 163
2387.55/2393.86	c bounds -11314 >= -1089012 @ 1952.97
2387.55/2393.86	c bounds -11314 >= -1088849 @ 1953.18
2387.55/2393.86	c #Conflicts:     138000 | #Constraints:      15909
2387.55/2393.86	c #Conflicts:     139000 | #Constraints:      16909
2387.55/2393.86	c INPROCESSING
2387.55/2393.86	c GARBAGE COLLECT
2387.55/2393.86	c #Conflicts:     140000 | #Constraints:      10514
2387.55/2393.86	c #Conflicts:     141000 | #Constraints:      11514
2387.55/2393.86	c #Conflicts:     142000 | #Constraints:      12514
2387.55/2393.86	c #Conflicts:     143000 | #Constraints:      13514
2387.55/2393.86	c #Conflicts:     144000 | #Constraints:      14514
2387.55/2393.86	c #Conflicts:     145000 | #Constraints:      15514
2387.55/2393.86	c #Conflicts:     146000 | #Constraints:      16514
2387.55/2393.86	c #Conflicts:     147000 | #Constraints:      17514
2387.55/2393.86	c INPROCESSING
2387.55/2393.86	c GARBAGE COLLECT
2387.55/2393.86	c #Conflicts:     148000 | #Constraints:      10924
2387.55/2393.86	c #Conflicts:     149000 | #Constraints:      11924
2387.55/2393.86	c #Conflicts:     150000 | #Constraints:      12924
2387.55/2393.86	c #Conflicts:     151000 | #Constraints:      13924
2387.55/2393.86	c #Conflicts:     152000 | #Constraints:      14924
2387.55/2393.86	c #Conflicts:     153000 | #Constraints:      15924
2387.55/2393.86	c #Conflicts:     154000 | #Constraints:      16924
2387.55/2393.86	c #Conflicts:     155000 | #Constraints:      17924
2387.55/2393.86	c INPROCESSING
2387.55/2393.86	c GARBAGE COLLECT
2387.55/2393.86	c #Conflicts:     156000 | #Constraints:      11128
2387.55/2393.86	c #Conflicts:     157000 | #Constraints:      12128
2387.55/2393.86	c #Conflicts:     158000 | #Constraints:      13128
2387.55/2393.86	c #Conflicts:     159000 | #Constraints:      14128
2387.55/2393.86	c #Conflicts:     160000 | #Constraints:      15128
2387.55/2393.86	c #Conflicts:     161000 | #Constraints:      16128
2387.55/2393.86	c #Conflicts:     162000 | #Constraints:      17128
2387.55/2393.86	c #Conflicts:     163000 | #Constraints:      18128
2387.55/2393.86	c INPROCESSING
2387.55/2393.86	c GARBAGE COLLECT
2387.55/2393.86	c finalizing WCE round: reformulating cores
2436.63/2443.08	c #Conflicts:     164000 | #Constraints:      11156
2436.63/2443.08	c bounds -11340 >= -1088849 @ 2399.37
2436.63/2443.08	c #Conflicts:     165000 | #Constraints:      12161
2436.63/2443.08	c #Conflicts:     166000 | #Constraints:      13161
2436.63/2443.08	c bounds -11360 >= -1088849 @ 2431.15
2436.63/2443.08	c stratification level: 162
2587.43/2594.21	c bounds -11360 >= -1077013 @ 2432.36
2587.43/2594.21	c #Conflicts:     167000 | #Constraints:      14223
2587.43/2594.21	c #Conflicts:     168000 | #Constraints:      15223
2587.43/2594.21	c #Conflicts:     169000 | #Constraints:      16223
2587.43/2594.21	c #Conflicts:     170000 | #Constraints:      17223
2587.43/2594.21	c #Conflicts:     171000 | #Constraints:      18223
2587.43/2594.21	c INPROCESSING
2587.43/2594.21	c GARBAGE COLLECT
2587.43/2594.21	c #Conflicts:     172000 | #Constraints:      11048
2587.43/2594.21	c #Conflicts:     173000 | #Constraints:      12048
2587.43/2594.21	c #Conflicts:     174000 | #Constraints:      13048
2587.43/2594.21	c #Conflicts:     175000 | #Constraints:      14048
2587.43/2594.21	c finalizing WCE round: reformulating cores
2589.33/2596.12	c bounds -11400 >= -1077013 @ 2582.67
2589.33/2596.12	c bounds -11420 >= -1077013 @ 2583.54
2589.33/2596.12	c stratification level: 161
2621.74/2628.62	c bounds -11420 >= -1062436 @ 2585.29
2621.74/2628.62	c #Conflicts:     176000 | #Constraints:      15108
2621.74/2628.62	c #Conflicts:     177000 | #Constraints:      16108
2621.74/2628.62	c finalizing WCE round: reformulating cores
2663.42/2670.47	c bounds -11434 >= -1062436 @ 2625.79
2663.42/2670.47	c #Conflicts:     178000 | #Constraints:      17111
2663.42/2670.47	c #Conflicts:     179000 | #Constraints:      18111
2663.42/2670.47	c bounds -11458 >= -1062436 @ 2657.53
2663.42/2670.47	c stratification level: 160
2701.22/2708.36	c bounds -11458 >= -1051154 @ 2658.84
2701.22/2708.36	c bounds -11458 >= -1050994 @ 2659.11
2701.22/2708.36	c #Conflicts:     180000 | #Constraints:      19170
2701.22/2708.36	c INPROCESSING
2701.22/2708.36	c GARBAGE COLLECT
2701.22/2708.36	c #Conflicts:     181000 | #Constraints:      11748
2701.22/2708.36	c finalizing WCE round: reformulating cores
3114.84/3123.06	c #Conflicts:     182000 | #Constraints:      12751
3114.84/3123.06	c bounds -11465 >= -1050994 @ 2710.73
3114.84/3123.06	c #Conflicts:     183000 | #Constraints:      13753
3114.84/3123.06	c #Conflicts:     184000 | #Constraints:      14753
3114.84/3123.06	c #Conflicts:     185000 | #Constraints:      15753
3114.84/3123.06	c #Conflicts:     186000 | #Constraints:      16753
3114.84/3123.06	c #Conflicts:     187000 | #Constraints:      17753
3114.84/3123.06	c #Conflicts:     188000 | #Constraints:      18753
3114.84/3123.06	c #Conflicts:     189000 | #Constraints:      19753
3114.84/3123.06	c INPROCESSING
3114.84/3123.06	c GARBAGE COLLECT
3114.84/3123.06	c #Conflicts:     190000 | #Constraints:      12152
3114.84/3123.06	c #Conflicts:     191000 | #Constraints:      13152
3114.84/3123.06	c #Conflicts:     192000 | #Constraints:      14152
3114.84/3123.06	c #Conflicts:     193000 | #Constraints:      15152
3114.84/3123.06	c #Conflicts:     194000 | #Constraints:      16152
3114.84/3123.06	c #Conflicts:     195000 | #Constraints:      17152
3114.84/3123.06	c #Conflicts:     196000 | #Constraints:      18152
3114.84/3123.06	c #Conflicts:     197000 | #Constraints:      19152
3114.84/3123.06	c #Conflicts:     198000 | #Constraints:      20152
3114.84/3123.06	c INPROCESSING
3114.84/3123.06	c GARBAGE COLLECT
3114.84/3123.06	c #Conflicts:     199000 | #Constraints:      12367
3114.84/3123.06	c #Conflicts:     200000 | #Constraints:      13367
3114.84/3123.06	c #Conflicts:     201000 | #Constraints:      14367
3114.84/3123.06	c #Conflicts:     202000 | #Constraints:      15367
3114.84/3123.06	c #Conflicts:     203000 | #Constraints:      16367
3114.84/3123.06	c #Conflicts:     204000 | #Constraints:      17367
3114.84/3123.06	c #Conflicts:     205000 | #Constraints:      18367
3114.84/3123.06	c #Conflicts:     206000 | #Constraints:      19367
3114.84/3123.06	c #Conflicts:     207000 | #Constraints:      20367
3114.84/3123.06	c bounds -11472 >= -1050994 @ 3108.45
3114.84/3123.06	c stratification level: 159
3524.35/3533.60	c bounds -11472 >= -1042505 @ 3109.91
3524.35/3533.60	c bounds -11472 >= -1042346 @ 3110.3
3524.35/3533.60	c INPROCESSING
3524.35/3533.60	c GARBAGE COLLECT
3524.35/3533.60	c #Conflicts:     208000 | #Constraints:      12378
3524.35/3533.60	c #Conflicts:     209000 | #Constraints:      13378
3524.35/3533.60	c #Conflicts:     210000 | #Constraints:      14378
3524.35/3533.60	c #Conflicts:     211000 | #Constraints:      15378
3524.35/3533.60	c #Conflicts:     212000 | #Constraints:      16378
3524.35/3533.60	c #Conflicts:     213000 | #Constraints:      17378
3524.35/3533.60	c #Conflicts:     214000 | #Constraints:      18378
3524.35/3533.60	c #Conflicts:     215000 | #Constraints:      19378
3524.35/3533.60	c #Conflicts:     216000 | #Constraints:      20378
3524.35/3533.60	c INPROCESSING
3524.35/3533.60	c GARBAGE COLLECT
3524.35/3533.60	c #Conflicts:     217000 | #Constraints:      12173
3524.35/3533.60	c #Conflicts:     218000 | #Constraints:      13173
3524.35/3533.60	c #Conflicts:     219000 | #Constraints:      14173
3524.35/3533.60	c #Conflicts:     220000 | #Constraints:      15173
3524.35/3533.60	c #Conflicts:     221000 | #Constraints:      16173
3524.35/3533.60	c #Conflicts:     222000 | #Constraints:      17173
3524.35/3533.60	c #Conflicts:     223000 | #Constraints:      18173
3524.35/3533.60	c #Conflicts:     224000 | #Constraints:      19173
3524.35/3533.60	c #Conflicts:     225000 | #Constraints:      20173
3524.35/3533.60	c #Conflicts:     226000 | #Constraints:      21173
3524.35/3533.60	c INPROCESSING
3524.35/3533.60	c GARBAGE COLLECT
3524.35/3533.60	c #Conflicts:     227000 | #Constraints:      12803
3524.35/3533.60	c finalizing WCE round: reformulating cores
3554.86/3564.27	c #Conflicts:     228000 | #Constraints:      13808
3554.86/3564.27	c bounds -11479 >= -1042346 @ 3543.32
3554.86/3564.27	c #Conflicts:     229000 | #Constraints:      14808
3554.86/3564.27	c bounds -11489 >= -1042346 @ 3548.08
3554.86/3564.27	c stratification level: 158
3588.47/3597.93	c bounds -11489 >= -1033376 @ 3549.74
3588.47/3597.93	c bounds -11489 >= -1033218 @ 3549.92
3588.47/3597.93	c #Conflicts:     230000 | #Constraints:      15848
3588.47/3597.93	c #Conflicts:     231000 | #Constraints:      16848
3588.47/3597.93	c finalizing WCE round: reformulating cores
3600.04/3609.58	c Program interrupted by user.
3600.04/3609.58	c cpu time 3593.16 s
3600.04/3609.58	c deterministic time 1025453157745 1.03e+12
3600.04/3609.58	c optimization time 420.387 s
3600.04/3609.58	c total solve time 3172.76 s
3600.04/3609.58	c core-guided solve time 3172.76 s
3600.04/3609.58	c propagation time 2842.48 s
3600.04/3609.58	c conflict analysis time 632.391 s
3600.04/3609.58	c propagations 75424154
3600.04/3609.58	c resolve steps 1321952
3600.04/3609.58	c decisions 5524134
3600.04/3609.58	c conflicts 231919
3600.04/3609.58	c restarts 520
3600.04/3609.58	c inprocessing phases 39
3600.04/3609.58	c input clauses 1931
3600.04/3609.58	c input cardinalities 310
3600.04/3609.58	c input general constraints 477
3600.04/3609.58	c input average constraint length 1341.37
3600.04/3609.58	c input average constraint degree 6968.48
3600.04/3609.58	c learned clauses 10747
3600.04/3609.58	c learned cardinalities 1100
3600.04/3609.58	c learned general constraints 220122
3600.04/3609.58	c learned average constraint length 9489.12
3600.04/3609.58	c learned average constraint degree 213618268.75
3600.04/3609.58	c watched constraints 206348
3600.04/3609.58	c counting constraints 14251
3600.04/3609.58	c gcd simplifications 1571
3600.04/3609.58	c detected cardinalities 44
3600.04/3609.58	c weakened non-implied lits 295700719
3600.04/3609.58	c weakened non-implying lits 389693
3600.04/3609.58	c original variables 12376
3600.04/3609.58	c clausal propagations 5851477
3600.04/3609.58	c cardinality propagations 34721375
3600.04/3609.58	c watched propagations 24346155
3600.04/3609.58	c counting propagations 7710342
3600.04/3609.58	c watch lookups 5525146457
3600.04/3609.58	c watch backjump lookups 4625750984
3600.04/3609.58	c watch checks 901803163282
3600.04/3609.58	c propagation checks 106910475705
3600.04/3609.58	c constraint additions 6426503933
3600.04/3609.58	c trail pops 81169095
3600.04/3609.58	c formula constraints 307
3600.04/3609.58	c learned constraints 231969
3600.04/3609.58	c bound constraints 291
3600.04/3609.58	c core-guided constraints 2120
3600.04/3609.58	c encountered formula constraints 797015
3600.04/3609.58	c encountered learned constraints 614444
3600.04/3609.58	c encountered bound constraints 2056
3600.04/3609.58	c encountered core-guided constraints 140356
3600.04/3609.58	c LP total time 0 s
3600.04/3609.58	c LP solve time 0 s
3600.04/3609.58	c LP constraints added 0
3600.04/3609.58	c LP constraints removed 0
3600.04/3609.58	c LP pivots internal 0
3600.04/3609.58	c LP pivots root 0
3600.04/3609.58	c LP calls 0
3600.04/3609.58	c LP optimalities 0
3600.04/3609.58	c LP no pivot count 0
3600.04/3609.58	c LP infeasibilities 0
3600.04/3609.58	c LP valid Farkas constraints 0
3600.04/3609.58	c LP learned Farkas constraints 0
3600.04/3609.58	c LP basis resets 0
3600.04/3609.58	c LP cycling count 0
3600.04/3609.58	c LP singular count 0
3600.04/3609.58	c LP no primal count 0
3600.04/3609.58	c LP no farkas count 0
3600.04/3609.58	c LP other issue count 0
3600.04/3609.58	c LP Gomory cuts 0
3600.04/3609.58	c LP learned cuts 0
3600.04/3609.58	c LP deleted cuts 0
3600.04/3609.58	c LP encountered Gomory constraints 0
3600.04/3609.58	c LP encountered Farkas constraints 0
3600.04/3609.58	c LP encountered learned Farkas constraints 0
3600.04/3609.58	c CG auxiliary variables introduced 1983
3600.04/3609.58	c CG solutions found 161
3600.04/3609.58	c CG cores constructed 93
3600.04/3609.58	c CG core cardinality constraints returned 4
3600.04/3609.58	c CG unit cores 0
3600.04/3609.58	c CG single cores 89
3600.04/3609.58	c CG blocks removed during cardinality reduction 0
3600.04/3609.58	c CG first core best 0
3600.04/3609.58	c CG decision core best 0
3600.04/3609.58	c CG core reduction tie 4
3600.04/3609.58	c CG core degree average 1.04
3600.04/3609.58	c CG core slack average 2.30
3600.04/3609.58	c CG exhausted 1
3600.04/3609.58	c CG exhaust time 405.335 s
3600.04/3609.58	c CG trimmed 26
3600.04/3609.58	c CG trim time 0.420839 s
3600.04/3609.58	c CG minimized 0
3600.04/3609.58	c CG minimize time 0 s
3600.04/3609.58	c CG am1 prop time 11.784 s
3600.04/3609.58	c CG # am1s reformulated 1868
3600.04/3609.58	c CG lower bound derived from am1s 413736
3600.04/3609.58	c CG # clausal cores 93
3600.04/3609.58	c CG # cardinality cores 4
3600.04/3609.58	c CG # pb cores 0
3600.04/3609.58	c CG # pb reforms 71
3600.04/3609.58	c CG # cores discarded because of pb reform 0
3600.04/3609.58	d LOWERBOUND -1033218
3600.04/3609.58	d NCORES 93
3600.04/3609.58	d NPBCORES 0
3600.04/3609.58	d NPBREFORM 71
3600.04/3609.58	d NTRIMMED 26
3600.04/3609.58	d NEXHAUSTED 1
3600.04/3609.58	d NAM1S 1868
3600.04/3609.58	d AM1LB 413736
3600.04/3609.58	o -11501
3600.04/3609.58	s SATISFIABLE
3600.04/3609.58	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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11622 x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973 -x11974 -x11975 -x11976 -x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12032 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039 -x12040 -x12041 -x12042 -x12043 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12088 -x12089 -x12090 -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12099 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 -x12256 -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12265 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272 -x12273 -x12274 -x12275 -x12276 -x12277 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 -x12290 -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12299 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306 -x12307 -x12308 -x12309 -x12310 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12321 -x12322 -x12323 -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12332 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339 -x12340 -x12341 -x12342 -x12343 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12354 -x12355 -x12356 -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12365 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372 -x12373 -x12374 -x12375 -x12376

Verifier Data 

OK	-11501

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462150-1722236576/watcher-4462150-1722236576 -o /tmp/evaluation-result-4462150-1722236576/solver-4462150-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722236576-411091 --watchdog 3760 pb-oll-rs HOME/instance-4462150-1722236576.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=411141, runsolver pid=411138

[startup+0.100089 s]*
/proc/loadavg: 0.06 0.09 0.10 5/254 411143
/proc/meminfo: memFree=122976020/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=45948 memory=15172 CPUtime=0.09 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 2710 0 0 0 8 1 0 0 20 0 1 0 60186902 47050752 3793 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 11487 3793 1415 291 0 3021 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45948 KiB
Current children cumulated memory: 15172 KiB

[startup+0.205846 s]*
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122896104/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=46156 memory=15432 CPUtime=0.2 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 2733 0 0 0 15 5 0 0 20 0 1 0 60186902 47263744 3858 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 11539 3858 1415 291 0 3073 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46156 KiB
Current children cumulated memory: 15432 KiB

[startup+0.305847 s]*
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122907008/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=49024 memory=18528 CPUtime=0.3 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 3002 0 0 0 21 9 0 0 20 0 1 0 60186902 50200576 4632 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 12256 4632 1415 291 0 3790 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49024 KiB
Current children cumulated memory: 18528 KiB

[startup+0.700227 s]
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122882688/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=54212 memory=24140 CPUtime=0.69 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 3892 0 0 0 49 20 0 0 20 0 1 0 60186902 55513088 6035 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 13553 6035 1415 291 0 5087 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54212 KiB
Current children cumulated memory: 24140 KiB

[startup+1.50025 s]
/proc/loadavg: 0.06 0.09 0.10 5/260 411153
/proc/meminfo: memFree=122803872/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=74036 memory=41736 CPUtime=1.48 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 4716 0 0 0 117 31 0 0 20 0 1 0 60186902 75812864 10434 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 18509 10434 1415 291 0 10043 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74036 KiB
Current children cumulated memory: 41736 KiB

[startup+3.10582 s]
/proc/loadavg: 0.38 0.15 0.12 5/260 411155
/proc/meminfo: memFree=122673056/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=125148 memory=69920 CPUtime=3.08 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 6138 0 0 0 275 33 0 0 20 0 1 0 60186902 128151552 17480 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 31287 17480 1415 291 0 22821 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 125148 KiB
Current children cumulated memory: 69920 KiB

[startup+6.30023 s]
/proc/loadavg: 0.38 0.15 0.12 5/260 411155
/proc/meminfo: memFree=122538208/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=178584 memory=116060 CPUtime=6.28 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 7512 0 0 0 591 37 0 0 20 0 1 0 60186902 182870016 29015 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 44646 29015 1415 291 0 36180 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 178584 KiB
Current children cumulated memory: 116060 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.30 0.17 5/260 411157
/proc/meminfo: memFree=122228392/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=265996 memory=202728 CPUtime=12.66 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 9771 0 0 0 1215 51 0 0 20 0 1 0 60186902 272379904 50682 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 66499 50682 1415 291 0 58033 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 265996 KiB
Current children cumulated memory: 202728 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.42 0.21 5/258 411159
/proc/meminfo: memFree=121758384/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=410744 memory=295208 CPUtime=25.44 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 13483 0 0 0 2478 66 0 0 20 0 1 0 60186902 420601856 73802 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 102686 73802 1479 291 0 94220 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 410744 KiB
Current children cumulated memory: 295208 KiB

[startup+51.1058 s]
/proc/loadavg: 2.33 0.71 0.31 5/258 411162
/proc/meminfo: memFree=121079224/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=435876 memory=369640 CPUtime=50.98 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 19910 0 0 0 5011 87 0 0 20 0 1 0 60186902 446337024 92410 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 108969 92410 1479 291 0 100503 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 435876 KiB
Current children cumulated memory: 369640 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.29 0.53 5/258 411172
/proc/meminfo: memFree=119855940/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=705012 memory=533552 CPUtime=102.05 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 34385 0 0 0 10082 123 0 0 20 0 1 0 60186902 721932288 133388 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 176253 133388 1479 291 0 167787 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 705012 KiB
Current children cumulated memory: 533552 KiB

[startup+162.3 s]
/proc/loadavg: 3.80 1.79 0.75 5/256 411183
/proc/meminfo: memFree=119030288/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=737456 memory=608536 CPUtime=161.9 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 42465 0 0 0 16039 151 0 0 20 0 1 0 60186902 755154944 152134 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 184364 152134 1479 291 0 175898 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 737456 KiB
Current children cumulated memory: 608536 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.22 0.97 5/256 411194
/proc/meminfo: memFree=118213244/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=753148 memory=669216 CPUtime=221.75 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 46469 0 0 0 22007 168 0 0 20 0 1 0 60186902 771223552 167304 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 188287 167304 1479 291 0 179821 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 753148 KiB
Current children cumulated memory: 669216 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.57 1.17 5/256 411204
/proc/meminfo: memFree=117139340/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=783216 memory=741980 CPUtime=281.6 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 54037 0 0 0 27965 195 0 0 20 0 1 0 60186902 802013184 185495 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 195804 185495 1479 291 0 187338 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 783216 KiB
Current children cumulated memory: 741980 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 2.84 1.35 5/255 411215
/proc/meminfo: memFree=116820160/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=817728 memory=780180 CPUtime=341.45 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 62768 0 0 0 33933 212 0 0 20 0 1 0 60186902 837353472 195045 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 204432 195045 1479 291 0 195966 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 817728 KiB
Current children cumulated memory: 780180 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.09 1.53 5/255 411225
/proc/meminfo: memFree=116478568/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=1200428 memory=854128 CPUtime=401.29 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 71604 0 0 0 39897 232 0 0 20 0 1 0 60186902 1229238272 213532 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 300107 213532 1479 291 0 291641 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 1200428 KiB
Current children cumulated memory: 854128 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.27 1.69 5/258 411240
/proc/meminfo: memFree=116093236/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=1221632 memory=960920 CPUtime=461.13 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 76836 0 0 0 45850 263 0 0 20 0 1 0 60186902 1250951168 240230 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 305408 240230 1479 291 0 296942 0

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

Current children cumulated memory: 1959432 KiB

[startup+2922.3 s]
/proc/loadavg: 4.44 4.23 4.04 5/258 412299
/proc/meminfo: memFree=108418620/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2362640 memory=1983564 CPUtime=2914.67 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 230205 0 0 0 290838 629 0 0 20 0 1 0 60186902 2419343360 495891 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 590660 495891 1479 291 0 582194 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 2362640 KiB
Current children cumulated memory: 1983564 KiB

[startup+2982.3 s]
/proc/loadavg: 4.26 4.22 4.05 5/258 412310
/proc/meminfo: memFree=108346332/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2374232 memory=1995740 CPUtime=2974.52 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 233470 0 0 0 296816 636 0 0 20 0 1 0 60186902 2431213568 498935 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 593558 498935 1479 291 0 585092 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 2374232 KiB
Current children cumulated memory: 1995740 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.21 4.05 5/258 412321
/proc/meminfo: memFree=108154276/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2374776 memory=1996364 CPUtime=3034.35 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 234265 0 0 0 302795 640 0 0 20 0 1 0 60186902 2431770624 499091 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 593694 499091 1479 291 0 585228 0
Current children cumulated CPU time: 3034.35 s
Current children cumulated vsize: 2374776 KiB
Current children cumulated memory: 1996364 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.18 4.05 5/257 412331
/proc/meminfo: memFree=107882880/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2381464 memory=2002284 CPUtime=3094.19 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 236639 0 0 0 308775 644 0 0 20 0 1 0 60186902 2438619136 500571 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 595366 500571 1479 291 0 586900 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 2381464 KiB
Current children cumulated memory: 2002284 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.06 5/257 412726
/proc/meminfo: memFree=107481092/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2389660 memory=2043816 CPUtime=3154.05 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 239251 0 0 0 314750 655 0 0 20 0 1 0 60186902 2447011840 510954 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 597415 510954 1479 291 0 588949 0
Current children cumulated CPU time: 3154.05 s
Current children cumulated vsize: 2389660 KiB
Current children cumulated memory: 2043816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.06 5/257 412736
/proc/meminfo: memFree=107024276/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2389660 memory=2043876 CPUtime=3213.88 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 239948 0 0 0 320728 660 0 0 20 0 1 0 60186902 2447011840 510969 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 597415 510969 1479 291 0 588949 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 2389660 KiB
Current children cumulated memory: 2043876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.06 5/257 412747
/proc/meminfo: memFree=106865060/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2392496 memory=2046388 CPUtime=3273.72 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 241463 0 0 0 326708 664 0 0 20 0 1 0 60186902 2449915904 511597 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 598124 511597 1479 291 0 589658 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 2392496 KiB
Current children cumulated memory: 2046388 KiB

[startup+3342.3 s]
/proc/loadavg: 4.38 4.23 4.10 5/259 412927
/proc/meminfo: memFree=106861076/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2395872 memory=2049484 CPUtime=3333.56 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 242858 0 0 0 332687 669 0 0 20 0 1 0 60186902 2453372928 512371 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 598968 512371 1479 291 0 590502 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 2395872 KiB
Current children cumulated memory: 2049484 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.24 4.10 5/259 412937
/proc/meminfo: memFree=106855024/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2397884 memory=2051344 CPUtime=3393.4 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 244103 0 0 0 338667 673 0 0 20 0 1 0 60186902 2455433216 512836 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 599471 512836 1479 291 0 591005 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 2397884 KiB
Current children cumulated memory: 2051344 KiB

[startup+3462.3 s]
/proc/loadavg: 4.43 4.30 4.13 5/260 412952
/proc/meminfo: memFree=106833040/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2406844 memory=2059664 CPUtime=3453.24 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 247028 0 0 0 344648 676 0 0 20 0 1 0 60186902 2464608256 514916 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 601711 514916 1479 291 0 593245 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 2406844 KiB
Current children cumulated memory: 2059664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.27 4.13 5/260 412974
/proc/meminfo: memFree=106761532/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2430084 memory=2128136 CPUtime=3513.07 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 252601 0 0 0 350625 682 0 0 20 0 1 0 60186902 2488406016 532034 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 607521 532034 1479 291 0 599055 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 2430084 KiB
Current children cumulated memory: 2128136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.23 4.13 5/260 412984
/proc/meminfo: memFree=106743496/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2430084 memory=2128272 CPUtime=3572.92 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 253207 0 0 0 356601 691 0 0 20 0 1 0 60186902 2488406016 532068 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 607521 532068 1479 291 0 599055 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 2430084 KiB
Current children cumulated memory: 2128272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.13 4.23 4.13 5/260 412988
/proc/meminfo: memFree=106737304/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2430568 memory=2128720 CPUtime=3600.04 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 253816 0 0 0 359307 697 0 0 20 0 1 0 60186902 2488901632 532180 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 607642 532180 1479 291 0 599176 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2430568 KiB
Current children cumulated memory: 2128720 KiB

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

[startup+3609.62 s]
# the end of solver process 411141 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3593.17 s, system=7.00675 s

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

[startup+3609.6 s]
/proc/loadavg: 4.13 4.23 4.13 5/260 412988
/proc/meminfo: memFree=106737304/131524600 swapFree=131053920/131071996
[pid=411141] ppid=411138 vsize=2337220 memory=1909608 CPUtime=3600.14 cores=1,3
/proc/411141/stat : 411141 (pb-oll-rs) R 411138 411141 411079 0 -1 4194304 253824 0 0 0 359316 698 0 0 20 0 1 0 60186902 2393313280 477402 134679101440 4194304 5384485 140720449610800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32047104 140720449614870 140720449614947 140720449614947 140720449621963 0
/proc/411141/statm: 584305 477402 1568 291 0 575839 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 2337220 KiB
Current children cumulated memory: 1909608 KiB

Child status: 0

Real time (s): 3609.62
CPU time (s): 3600.17
CPU user time (s): 3593.17
CPU system time (s): 7.00675
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 2430568
Max. memory (cumulated for all children) (KiB): 2128720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.17
system time used= 7.00676
maximum resident set size= 2128992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 3726


# summary of solver processes directly reported to runsolver:
#   pid: 411141
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3593.17
#   total CPU system time (s): 7.00675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55535 second user time and 16.9361 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-29 09:02:56
IDJOB=4462150
IDBENCH=178878
IDSOLVER=3082
FILE ID=nodeC023/4462150-1722236576
RUNJOBID= nodeC023-1722236576-411091
SLURM_JOB_ID= 8248759
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_410_004.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462150-1722236576/watcher-4462150-1722236576 -o /tmp/evaluation-result-4462150-1722236576/solver-4462150-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722236576-411091 --watchdog 3760  pb-oll-rs HOME/instance-4462150-1722236576.opb

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

MD5SUM BENCH= 01c3dbc6b225e18f748d0dc14a4fd0f9
RANDOM SEED=697437227

nodeC023.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		: 3624.343
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.85
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		: 3664.240
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	: 7007.10
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		: 3600.335
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.85
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		: 3650.083
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	: 7007.10
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		: 3628.290
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.85
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		: 3586.220
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	: 7007.10
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		: 3605.360
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.85
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		: 3529.690
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	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123013084 kB
MemAvailable:   129661484 kB
Buffers:          401960 kB
Cached:          7031620 kB
SwapCached:          208 kB
Active:          1758676 kB
Inactive:        6058192 kB
Active(anon):       2224 kB
Inactive(anon):   432900 kB
Active(file):    1756452 kB
Inactive(file):  5625292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:             11268 kB
Writeback:             0 kB
AnonPages:        382788 kB
Mapped:            97780 kB
Shmem:             52148 kB
KReclaimable:     212604 kB
Slab:             334204 kB
SReclaimable:     212604 kB
SUnreclaim:       121600 kB
KernelStack:        4036 kB
PageTables:         9704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     781584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      410324 kB
DirectMap2M:    61229056 kB
DirectMap1G:    74448896 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC023 at 2024-07-29 10:03:06