Trace number 2699120

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedMSAT (TO) 1800.07 1800.02

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo
MD5SUM0ad575c7f0542ec26b1c3f9931b01c05
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark38.1042
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7578
Total number of constraints21401
Number of soft constraints21401
Number of constraints which are clauses20501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints900
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 1076192
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1076191
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.10/0.13	c constraints 0/900 clauses 0/20501 units 0
0.10/0.13	c vars 7578
5.89/5.91	c 4.79327 185.273 407 1881820
5.89/5.91	o 16098
6.39/6.44	c 5.13522 187.531 463 2209112
6.39/6.44	o 15865
6.49/6.59	c 5.2332 187.531 514 2288619
6.49/6.59	o 15515
6.79/6.85	c 5.40918 187.531 571 2436457
6.79/6.85	o 14553
6.89/6.99	c 5.50916 187.531 619 2511620
6.89/6.99	o 14471
7.09/7.18	c 5.64414 187.531 702 2610397
7.09/7.18	o 14456
7.19/7.26	c 5.69613 187.66 728 2651153
7.19/7.26	o 14023
7.29/7.36	c 5.76412 187.66 759 2699881
7.29/7.36	o 13505
7.49/7.52	c 5.87611 187.66 795 2782890
7.49/7.52	o 12251
7.89/7.92	c 6.17906 187.789 921 2853259
7.89/7.92	o 9407
8.29/8.33	c 6.47802 187.789 1082 2921600
8.29/8.33	o 9316
8.70/8.74	c 6.77597 187.918 1210 2986111
8.70/8.74	o 9291
8.89/8.90	c 6.88395 187.918 1231 3075159
8.89/8.90	o 8316
9.80/9.85	c 7.55785 188.047 1460 3249490
9.80/9.85	o 6461
10.79/10.87	c 8.28674 188.176 1687 3421639
10.79/10.87	o 6447
13.20/13.25	c 9.97948 188.434 2220 3741128
13.20/13.25	o 6438
16.40/16.41	c 12.1582 188.723 2674 3902334
16.40/16.41	o 6434
16.69/16.75	c 12.4141 188.723 2732 4010319
16.69/16.75	o 5971
20.80/20.84	c 15.2447 188.98 3363 4153056
20.80/20.84	o 5966
20.89/20.94	c 15.3147 188.98 3374 4189805
20.89/20.94	o 5474
21.00/21.04	c 15.3847 188.98 3380 4228406
21.00/21.04	o 5464
23.79/23.81	c 17.2414 189.238 3815 4522344
23.79/23.81	o 5452
26.69/26.73	c 19.1661 189.367 4339 4670508
26.69/26.74	o 5439
26.89/26.98	c 19.3421 189.367 4379 4747264
26.89/26.98	o 5432
28.60/28.62	c 20.4209 189.496 4687 4831664
28.60/28.62	o 5377
29.79/29.81	c 21.2828 189.77 4868 5048163
29.79/29.81	o 5375
31.09/31.15	c 22.1916 189.77 5094 5181768
31.09/31.15	o 5373
31.59/31.60	c 22.5146 189.77 5134 5228091
31.59/31.60	o 5368
31.90/31.93	c 22.7425 189.77 5165 5360305
31.90/31.93	o 5366
31.99/32.04	c 22.8245 189.77 5175 5411455
31.99/32.04	o 5104
32.09/32.12	c 22.8795 189.77 5183 5443519
32.09/32.12	o 4964
32.09/32.19	c 22.9355 189.77 5184 5473532
32.09/32.19	o 4634
32.20/32.28	c 23.0005 189.77 5186 5511145
32.20/32.28	o 4499
32.29/32.38	c 23.0745 189.77 5194 5540274
32.29/32.38	o 4464
32.39/32.49	c 23.1535 189.77 5204 5593483
32.39/32.49	o 3853
32.49/32.56	c 23.2045 189.77 5213 5622250
32.49/32.56	o 3771
32.59/32.64	c 23.2585 189.77 5220 5653353
32.59/32.64	o 3735
32.70/32.73	c 23.3325 189.77 5233 5676150
32.70/32.73	o 3730
32.90/32.94	c 23.4844 189.77 5253 5747336
32.90/32.94	o 3724
33.00/33.05	c 23.5664 189.77 5261 5791641
33.00/33.05	o 3523
33.19/33.28	c 23.7474 189.77 5285 5844792
33.19/33.28	o 3522
33.39/33.44	c 23.8614 189.77 5299 5900660
33.39/33.44	o 3519
51.99/52.01	c 36.3985 190.543 7323 6091566
51.99/52.01	o 3516
55.29/55.32	c 38.6351 190.672 7662 6161284
55.29/55.32	o 3515
61.99/62.06	c 43.1534 190.93 8465 6230313
61.99/62.06	o 3511
62.19/62.27	c 43.3154 190.93 8479 6275324
62.19/62.27	o 3509
62.30/62.38	c 43.3984 190.93 8487 6298915
62.30/62.38	o 3501
62.60/62.65	c 43.5764 190.93 8510 6327693
62.60/62.65	o 3496
72.40/72.42	c 50.0924 191.316 9519 6394893
72.40/72.42	o 3495
72.89/72.98	c 50.4783 191.316 9579 6418342
72.89/72.98	o 3493
73.99/74.04	c 51.2112 191.316 9738 6499638
73.99/74.04	o 3492
74.39/74.41	c 51.4682 191.316 9773 6557945
74.39/74.41	o 3489
74.59/74.68	c 51.6591 191.316 9804 6570454
74.59/74.68	o 3488
75.59/75.66	c 52.34 191.316 9926 6591433
75.59/75.66	o 3486
76.59/76.69	c 53.0489 191.445 10051 6630868
76.59/76.69	o 3485
80.10/80.13	c 55.3906 191.574 10492 6688741
80.10/80.13	o 3481
81.60/81.62	c 56.4024 191.574 10627 6705937
81.60/81.62	o 3480
82.99/83.07	c 57.3833 191.574 10784 6743913
82.99/83.07	o 3479
90.80/90.88	c 62.6655 191.832 11664 6799325
90.80/90.88	o 3478
91.30/91.35	c 63.0004 191.961 11714 6805942
91.30/91.35	o 3477
95.50/95.56	c 65.859 192.09 12199 6835076
95.50/95.56	o 3476
95.70/95.73	c 65.986 192.09 12207 6846859
95.70/95.73	o 3461
97.20/97.26	c 67.0368 192.09 12357 6895515
97.20/97.26	o 3460
97.39/97.43	c 67.1618 192.09 12390 6957126
97.39/97.43	o 3456
97.50/97.56	c 67.2538 192.09 12401 7002296
97.50/97.56	o 3432
97.59/97.65	c 67.3288 192.09 12406 7033497
97.59/97.65	o 3406
97.80/97.80	c 67.4447 192.09 12427 7049566
97.80/97.80	o 3404
100.79/100.85	c 69.5254 192.219 12753 7126506
100.79/100.85	o 3399
100.99/101.02	c 69.6434 192.219 12769 7156983
100.99/101.02	o 3380
101.40/101.43	c 69.9054 192.219 12822 7177928
101.40/101.43	o 3373
108.60/108.67	c 74.7466 192.348 6976 7310936
108.60/108.67	o 3369
109.09/109.14	c 75.0866 192.348 7031 7334877
109.09/109.14	o 3368
110.29/110.38	c 75.9205 192.348 7249 7379327
110.29/110.38	o 3366
113.30/113.30	c 77.9252 192.348 7562 7420742
113.30/113.30	o 3365
115.69/115.73	c 79.5979 192.348 7824 7469886
115.69/115.73	o 3363
115.89/115.92	c 79.7339 192.348 7853 7525394
115.89/115.92	o 3352
116.09/116.13	c 79.8929 192.348 7887 7620160
116.09/116.13	o 3216
116.20/116.24	c 79.9818 192.348 7895 7644034
116.20/116.24	o 3200
116.30/116.36	c 80.0668 192.348 7906 7659885
116.30/116.36	o 3199
117.70/117.75	c 81.0737 192.348 8062 7745149
117.70/117.75	o 3197
121.29/121.33	c 83.5413 192.348 8407 7815410
121.29/121.33	o 3196
121.39/121.44	c 83.6343 192.348 8424 7852639
121.39/121.44	o 3192
121.70/121.75	c 83.8473 192.348 8457 7868974
121.70/121.75	o 3190
121.80/121.85	c 83.9212 192.348 8482 7874579
121.80/121.85	o 3189
125.20/125.21	c 86.2719 192.348 8805 7919968
125.20/125.21	o 3188
125.30/125.35	c 86.3879 192.348 8822 7977803
125.30/125.35	o 2877
125.40/125.42	c 86.4369 192.348 8823 8000899
125.40/125.42	o 2847
125.59/125.61	c 86.5718 192.348 8845 8016479
125.59/125.61	o 2845
125.70/125.71	c 86.6418 192.348 8853 8054419
125.70/125.71	o 2461
125.79/125.83	c 86.7308 192.348 8865 8101653
125.79/125.83	o 2437
125.89/125.93	c 86.8028 192.348 8873 8109608
125.89/125.93	o 2435
126.09/126.17	c 86.9698 192.348 8899 8116086
126.09/126.17	o 2434
131.70/131.79	c 90.7882 192.348 9518 8152158
131.70/131.79	o 2432
135.69/135.70	c 93.3838 192.348 10064 8211869
135.69/135.70	o 2429
135.79/135.87	c 93.5098 192.348 10076 8231184
135.79/135.87	o 2427
136.00/136.05	c 93.6488 192.348 10095 8273003
136.00/136.05	o 2426
136.40/136.43	c 93.9147 192.348 10130 8332616
136.40/136.43	o 2425
167.00/167.01	c 115.619 192.348 6786 8362689
167.00/167.01	o 2424
174.29/174.30	c 120.497 192.348 7528 8422972
174.29/174.30	o 2423
176.20/176.24	c 121.847 192.348 7708 8457297
176.20/176.24	o 2422
178.50/178.57	c 123.402 192.348 7967 8484764
178.50/178.57	o 2420
179.60/179.62	c 124.134 192.348 8064 8526178
179.60/179.62	o 2418
179.99/180.03	c 124.438 192.348 8126 8551856
179.99/180.03	o 2416
189.40/189.43	c 130.612 192.348 9246 8615147
189.40/189.43	o 2415
194.70/194.73	c 134.19 192.348 9962 8661278
194.70/194.73	o 2414
202.90/202.92	c 139.599 192.348 10915 8673803
202.90/202.92	o 2413
203.60/203.61	c 140.036 192.348 11040 8688901
203.60/203.61	o 2412
205.10/205.10	c 141.039 192.348 11214 8715007
205.10/205.10	o 2410
205.19/205.25	c 141.155 192.348 11237 8746598
205.19/205.25	o 2409
206.00/206.03	c 141.681 192.348 11324 8754032
206.00/206.03	o 2408
206.89/206.99	c 142.356 192.348 11429 8761341
206.89/206.99	o 2407
207.20/207.22	c 142.524 192.348 11462 8785024
207.20/207.22	o 2405
209.10/209.10	c 143.791 192.348 11727 8806164
209.10/209.10	o 2404
222.30/222.37	c 152.342 192.348 13485 8835272
222.30/222.37	o 2403
229.30/229.34	c 157.101 192.348 7426 8851370
229.30/229.34	o 2402
229.60/229.64	c 157.327 192.348 7456 8866470
229.60/229.64	o 2401
241.50/241.54	c 165.703 192.348 8731 8909733
241.50/241.54	o 2400
337.20/337.20	c 231.191 193.188 9335 8955310
337.20/337.20	o 2399
337.61/337.69	c 231.526 193.188 9387 8959675
337.61/337.69	o 2398
348.10/348.12	c 238.438 193.188 10579 9091753
348.10/348.12	o 2397
349.60/349.67	c 239.515 193.188 10721 9112153
349.60/349.67	o 2396
351.00/351.07	c 240.446 193.188 10853 9150614
351.00/351.07	o 2395
356.00/356.06	c 243.613 193.188 11407 9207740
356.00/356.06	o 2394
358.10/358.18	c 245.03 193.188 11678 9223698
358.10/358.18	o 2393
358.40/358.50	c 245.252 193.188 11708 9245967
358.40/358.50	o 2392
358.70/358.79	c 245.455 193.188 11743 9277275
358.70/358.79	o 2391
363.90/363.97	c 248.885 193.188 12259 9292425
363.90/363.97	o 2390
368.00/368.00	c 251.442 193.188 12832 9317713
368.00/368.00	o 2389
368.80/368.89	c 252.079 193.188 12908 9346210
368.80/368.89	o 2388
371.60/371.70	c 254.027 193.188 13224 9377129
371.60/371.70	o 2387
373.91/373.92	c 255.695 193.188 13483 9406495
373.91/373.92	o 2386
376.20/376.20	c 257.189 193.188 6969 9415526
376.20/376.20	o 2385
379.60/379.66	c 259.452 193.188 7351 9464862
379.60/379.66	o 2384
380.00/380.02	c 259.704 193.188 7383 9472717
380.00/380.02	o 2382
380.30/380.34	c 259.928 193.188 7416 9491072
380.30/380.34	o 2381
381.20/381.21	c 260.504 193.188 7560 9506404
381.20/381.21	o 2380
381.40/381.49	c 260.708 193.188 7594 9570374
381.40/381.49	o 2379
390.51/390.53	c 266.944 193.188 8423 9638451
390.51/390.53	o 2377
391.10/391.11	c 267.363 193.188 8476 9653135
391.10/391.11	o 2376
393.21/393.21	c 268.777 193.188 8732 9677581
393.21/393.21	o 2375
395.30/395.37	c 270.213 193.188 9011 9697327
395.30/395.37	o 2374
396.40/396.44	c 270.921 193.188 9100 9700135
396.40/396.44	o 2373
406.80/406.83	c 277.924 193.188 9880 9706388
406.80/406.83	o 2372
407.21/407.28	c 278.236 193.188 9926 9710147
407.21/407.28	o 2370
408.71/408.73	c 279.173 193.188 10062 9714379
408.71/408.73	o 2369
411.90/411.99	c 281.367 193.188 10414 9746828
411.90/412.00	o 2367
413.41/413.47	c 282.353 193.188 10543 9770350
413.41/413.47	o 2365
413.51/413.57	c 282.431 193.188 10551 9780277
413.51/413.57	o 2363
414.50/414.50	c 283.089 193.188 10663 9798854
414.50/414.50	o 2362
420.51/420.54	c 287.029 193.188 11373 9828090
420.51/420.54	o 2360
421.71/421.72	c 287.802 193.188 11492 9838126
421.71/421.72	o 2359
422.21/422.23	c 288.161 193.188 11532 9852534
422.21/422.23	o 2358
422.70/422.73	c 288.493 193.188 11579 9878508
422.70/422.73	o 2357
423.71/423.77	c 289.2 193.188 11695 9890694
423.71/423.77	o 2355
424.01/424.00	c 289.364 193.188 11719 9944026
424.01/424.00	o 2354
426.40/426.44	c 291.034 193.188 11947 9958839
426.40/426.44	o 2353
427.10/427.10	c 291.478 193.188 12056 9967136
427.10/427.10	o 2352
430.91/430.91	c 294.119 193.188 12409 9988433
430.91/430.91	o 2350
439.81/439.83	c 300.066 193.188 13433 10013542
439.81/439.83	o 2349
443.21/443.21	c 302.408 193.188 7018 10039153
443.21/443.21	o 2348
445.90/445.92	c 304.223 193.188 7339 10077003
445.90/445.92	o 2346
448.10/448.12	c 305.676 193.188 7578 10103553
448.10/448.12	o 2345
449.50/449.54	c 306.609 193.188 7726 10115383
449.50/449.54	o 2343
451.51/451.57	c 307.947 193.188 7947 10166246
451.51/451.57	o 2342
455.51/455.55	c 310.572 193.188 8391 10172597
455.51/455.55	o 2341
455.60/455.64	c 310.64 193.188 8398 10175394
455.60/455.64	o 2339
455.71/455.79	c 310.751 193.188 8415 10182213
455.71/455.79	o 2338
456.01/456.06	c 310.929 193.188 8435 10188342
456.01/456.06	o 2337
456.41/456.49	c 311.218 193.188 8476 10209399
456.41/456.49	o 2335
456.70/456.77	c 311.425 193.188 8500 10239443
456.70/456.77	o 2334
456.90/456.93	c 311.545 193.188 8512 10243451
456.90/456.93	o 2333
457.51/457.57	c 312.013 193.188 8586 10254173
457.51/457.57	o 2332
458.20/458.24	c 312.471 193.188 8675 10266819
458.20/458.24	o 2331
463.61/463.64	c 316.064 193.188 9187 10319857
463.61/463.64	o 2330
464.11/464.15	c 316.397 193.188 9297 10338769
464.11/464.15	o 2328
464.31/464.31	c 316.514 193.188 9311 10362320
464.31/464.31	o 2326
465.40/465.40	c 317.227 193.188 9442 10427085
465.40/465.40	o 2324
469.00/469.04	c 319.628 193.188 9922 10447825
469.00/469.04	o 2323
470.20/470.28	c 320.449 193.188 10076 10460389
470.20/470.28	o 2321
477.81/477.81	c 325.42 193.188 10838 10513717
477.81/477.81	o 2318
479.21/479.21	c 326.409 193.188 10969 10530773
479.21/479.21	o 2317
483.21/483.28	c 329.014 193.188 11382 10557948
483.21/483.28	o 2316
484.30/484.32	c 329.722 193.188 11477 10563575
484.30/484.32	o 2315
485.40/485.45	c 330.485 193.188 11592 10571505
485.40/485.45	o 2314
485.90/485.92	c 330.809 193.188 11630 10587481
485.90/485.92	o 2313
486.11/486.20	c 331.007 193.188 11666 10627923
486.11/486.20	o 2311
487.31/487.38	c 331.812 193.188 11779 10647142
487.31/487.38	o 2308
487.60/487.61	c 331.982 193.188 11803 10679322
487.60/487.61	o 2307
493.51/493.58	c 336.058 193.188 12342 10716239
493.51/493.58	o 2306
497.80/497.80	c 339.03 193.188 12780 10759706
497.80/497.80	o 2305
500.71/500.73	c 341.022 193.188 13093 10773462
500.71/500.73	o 2304
500.80/500.87	c 341.13 193.188 13104 10783176
500.80/500.87	o 2303
503.41/503.43	c 342.887 193.188 13344 10825415
503.41/503.43	o 2302
505.71/505.77	c 344.465 193.188 13567 10860818
505.71/505.77	o 2300
506.20/506.29	c 344.813 193.188 6844 10871961
506.20/506.29	o 2298
507.01/507.10	c 345.371 193.188 6984 10930140
507.01/507.10	o 2297
507.31/507.30	c 345.525 193.188 6998 10936052
507.31/507.30	o 2296
508.11/508.16	c 346.114 193.188 7075 10945325
508.11/508.16	o 2293
509.41/509.43	c 346.99 193.188 7206 10952910
509.41/509.43	o 2292
509.81/509.80	c 347.302 193.188 7230 10956977
509.81/509.80	o 2290
513.20/513.28	c 349.546 193.188 7664 10992838
513.20/513.28	o 2289
513.81/513.83	c 349.93 193.188 7719 11014668
513.81/513.83	o 2288
517.41/517.41	c 352.327 193.188 8079 11024134
517.41/517.41	o 2287
518.40/518.41	c 353.066 193.188 8160 11029160
518.40/518.41	o 2286
519.11/519.15	c 353.572 193.188 8226 11041226
519.11/519.15	o 2285
522.91/522.92	c 356.196 193.188 8556 11056407
522.91/522.92	o 2284
523.51/523.50	c 356.595 193.188 8621 11080893
523.51/523.50	o 2283
526.92/526.91	c 358.89 193.188 8972 11110406
526.92/526.91	o 2282
528.10/528.13	c 359.71 193.188 9099 11135988
528.10/528.13	o 2281
531.60/531.62	c 362.06 193.188 9423 11164974
531.60/531.62	o 2280
543.31/543.35	c 369.981 193.188 10462 11197152
543.31/543.35	o 2278
543.90/543.92	c 370.367 193.188 10515 11202345
543.90/543.92	o 2277
544.90/544.90	c 371.067 193.188 10596 11210492
544.90/544.90	o 2276
552.31/552.33	c 375.96 193.188 11360 11244641
552.31/552.33	o 2275
552.71/552.75	c 376.246 193.188 11405 11275767
552.71/552.75	o 2273
554.91/554.93	c 377.658 193.188 11685 11314957
554.91/554.93	o 2272
555.01/555.09	c 377.78 193.188 11707 11348804
555.01/555.09	o 2270
555.52/555.53	c 378.1 193.188 11770 11353837
555.52/555.53	o 2269
574.71/574.70	c 390.761 193.188 13593 11392627
574.71/574.70	o 2268
577.20/577.20	c 392.455 193.188 7065 11408964
577.20/577.20	o 2267
578.31/578.33	c 393.195 193.188 7148 11414876
578.31/578.33	o 2266
578.51/578.55	c 393.349 193.188 7168 11429985
578.51/578.55	o 2265
578.91/578.96	c 393.634 193.188 7218 11470614
578.91/578.96	o 2264
580.72/580.71	c 394.844 193.188 7395 11483641
580.72/580.71	o 2263
581.31/581.34	c 395.281 193.188 7471 11509509
581.31/581.34	o 2262
582.61/582.67	c 396.179 193.188 7601 11544850
582.61/582.67	o 2260
584.51/584.56	c 397.499 193.188 7796 11583332
584.51/584.56	o 2258
586.41/586.49	c 398.807 193.188 7975 11592871
586.41/586.49	o 2257
587.81/587.82	c 399.69 193.188 8146 11599515
587.81/587.82	o 2256
590.91/590.92	c 401.748 193.188 8468 11605856
590.91/590.92	o 2254
603.81/603.86	c 410.307 193.188 9748 11632138
603.81/603.86	o 2252
639.12/639.19	c 434.424 193.188 13136 11651037
639.12/639.19	o 2251
642.81/642.83	c 436.893 193.188 13510 11655159
642.81/642.83	o 2250
643.81/643.89	c 437.585 193.188 6838 11662624
643.81/643.89	o 2248
644.91/644.99	c 438.315 193.188 6969 11669297
644.91/644.99	o 2247
648.51/648.51	c 440.681 193.188 7319 11718436
648.51/648.51	o 2245
652.81/652.82	c 443.585 193.188 7771 11788584
652.81/652.82	o 2244
653.22/653.21	c 443.876 193.188 7802 11821857
653.22/653.21	o 2243
653.31/653.33	c 443.967 193.188 7813 11842246
653.31/653.33	o 2242
653.42/653.48	c 444.061 193.188 7822 11855378
653.42/653.48	o 2240
653.61/653.68	c 444.215 193.188 7842 11871980
653.61/653.68	o 2239
656.02/656.07	c 445.82 193.188 8079 11909109
656.02/656.07	o 2238
656.72/656.78	c 446.287 193.188 8136 11914422
656.72/656.78	o 2237
658.21/658.22	c 447.258 193.188 8291 11975044
658.21/658.22	o 2235
662.92/663.00	c 450.437 193.188 8930 12064875
663.01/663.00	o 2234
669.21/669.26	c 454.705 193.188 9558 12079663
669.21/669.26	o 2233
670.71/670.71	c 455.689 193.188 9691 12090293
670.71/670.71	o 2231
672.51/672.58	c 456.943 193.188 9870 12112660
672.51/672.58	o 2230
679.61/679.64	c 461.651 193.188 10800 12151525
679.61/679.64	o 2229
694.41/694.48	c 471.349 193.188 12540 12180182
694.41/694.48	o 2228
695.61/695.64	c 472.111 193.188 12696 12184814
695.61/695.64	o 2227
696.02/696.00	c 472.375 193.188 12733 12188693
696.02/696.00	o 2226
699.31/699.32	c 474.631 193.188 13065 12232841
699.31/699.32	o 2225
700.11/700.14	c 475.209 193.188 13148 12240983
700.11/700.14	o 2224
702.01/702.08	c 476.517 193.188 13374 12250782
702.01/702.08	o 2223
702.21/702.25	c 476.64 193.188 13392 12268877
702.21/702.25	o 2222
704.81/704.84	c 478.448 193.188 6883 12350494
704.81/704.84	o 2220
705.51/705.53	c 478.955 193.188 6949 12361219
705.51/705.53	o 2219
710.31/710.33	c 482.169 193.188 7434 12380943
710.31/710.33	o 2217
710.51/710.51	c 482.299 193.188 7449 12385822
710.51/710.51	o 2213
712.31/712.39	c 483.53 193.188 7652 12394328
712.31/712.39	o 2212
712.62/712.68	c 483.746 193.188 7679 12399310
712.62/712.68	o 2211
714.61/714.67	c 485.078 193.188 7877 12403952
714.61/714.67	o 2210
715.32/715.39	c 485.549 193.188 7943 12406767
715.32/715.39	o 2209
715.61/715.69	c 485.746 193.188 7979 12418945
715.61/715.69	o 2208
715.81/715.87	c 485.886 193.188 7999 12439559
715.81/715.87	o 2206
716.12/716.12	c 486.058 193.188 8031 12466988
716.12/716.12	o 2205
716.41/716.44	c 486.296 193.188 8067 12495104
716.41/716.44	o 2203
717.01/717.10	c 486.748 193.188 8119 12504600
717.01/717.10	o 2202
717.21/717.22	c 486.843 193.188 8124 12520640
717.21/717.22	o 2201
717.91/717.92	c 487.354 193.188 8178 12558717
717.91/717.92	o 2198
723.21/723.24	c 490.803 193.188 8817 12610719
723.21/723.25	o 2197
723.61/723.66	c 491.09 193.188 8855 12625427
723.61/723.66	o 2196
723.91/723.93	c 491.269 193.188 8884 12640734
723.91/723.93	o 2194
726.61/726.68	c 493.152 193.188 9160 12666671
726.61/726.68	o 2193
729.81/729.80	c 495.214 193.188 9486 12688236
729.81/729.80	o 2191
730.71/730.70	c 495.924 193.188 9558 12694397
730.71/730.70	o 2190
730.91/730.99	c 496.13 193.188 9589 12711028
730.91/730.99	o 2188
731.01/731.07	c 496.195 193.188 9597 12720599
731.01/731.07	o 2187
731.22/731.26	c 496.323 193.188 9611 12737815
731.22/731.26	o 2186
732.01/732.02	c 496.828 193.188 9730 12759255
732.01/732.02	o 2184
732.62/732.63	c 497.257 193.188 9775 12762069
732.62/732.63	o 2183
732.91/732.98	c 497.508 193.188 9805 12768181
732.91/732.98	o 2181
737.51/737.58	c 500.515 193.188 10311 12780313
737.51/737.58	o 2179
737.71/737.70	c 500.601 193.188 10322 12783929
737.71/737.70	o 2178
740.91/740.91	c 502.728 193.188 10637 12818334
740.91/740.91	o 2177
742.21/742.23	c 503.586 193.188 10756 12835814
742.21/742.23	o 2175
743.62/743.65	c 504.525 193.188 10886 12843346
743.62/743.65	o 2174
744.31/744.32	c 505.025 193.188 10930 12847107
744.31/744.32	o 2173
745.41/745.43	c 505.766 193.188 11082 12858315
745.41/745.43	o 2172
752.42/752.40	c 510.618 193.188 11635 12865730
752.42/752.40	o 2171
753.62/753.68	c 511.463 193.188 11796 12875770
753.62/753.68	o 2170
753.82/753.83	c 511.573 193.188 11807 12878639
753.82/753.83	o 2169
771.12/771.11	c 523.412 193.188 13424 12908771
771.12/771.11	o 2168
771.62/771.64	c 523.761 193.188 13477 12911691
771.62/771.64	o 2167
774.12/774.15	c 525.403 193.188 6905 12925520
774.12/774.15	o 2166
774.51/774.56	c 525.697 193.188 6950 12932630
774.51/774.56	o 2165
774.81/774.88	c 525.915 193.188 6997 12985395
774.81/774.88	o 2164
780.41/780.47	c 529.699 193.188 7649 12995012
780.41/780.47	o 2163
782.21/782.25	c 530.826 193.188 7868 13033701
782.21/782.25	o 2162
782.41/782.48	c 530.999 193.188 7890 13074110
782.41/782.48	o 2161
782.81/782.87	c 531.263 193.188 7932 13085454
782.81/782.87	o 2160
785.11/785.16	c 532.805 193.188 8177 13095722
785.11/785.16	o 2159
785.32/785.34	c 532.932 193.188 8197 13114869
785.32/785.34	o 2156
785.51/785.55	c 533.089 193.188 8223 13129827
785.51/785.55	o 2155
786.82/786.88	c 534.008 193.188 8392 13171477
786.82/786.88	o 2154
796.32/796.37	c 540.459 193.188 9337 13208202
796.32/796.37	o 2153
801.32/801.37	c 543.74 193.188 9859 13225349
801.32/801.37	o 2152
801.62/801.64	c 543.926 193.188 9887 13231206
801.62/801.64	o 2151
803.22/803.21	c 544.977 193.188 10064 13244320
803.22/803.21	o 2149
804.91/804.90	c 546.117 193.188 10266 13253781
804.91/804.90	o 2147
805.01/805.04	c 546.219 193.188 10280 13259317
805.01/805.04	o 2146
808.12/808.13	c 548.312 193.188 10593 13276934
808.12/808.13	o 2145
808.21/808.25	c 548.405 193.188 10600 13284492
808.21/808.25	o 2144
808.42/808.45	c 548.554 193.188 10622 13314564
808.42/808.45	o 2143
814.32/814.37	c 552.49 193.188 11208 13350572
814.32/814.37	o 2142
816.12/816.15	c 553.65 193.188 11446 13367960
816.12/816.15	o 2138
816.32/816.31	c 553.786 193.188 11467 13375283
816.32/816.31	o 2137
816.92/816.90	c 554.17 193.188 11535 13382448
816.92/816.90	o 2134
818.32/818.30	c 555.089 193.188 11694 13392706
818.32/818.30	o 2132
818.42/818.42	c 555.18 193.188 11707 13403740
818.42/818.42	o 2131
819.71/819.70	c 556.031 193.188 11837 13442611
819.71/819.70	o 2130
820.11/820.11	c 556.312 193.188 11871 13447816
820.11/820.11	o 2128
820.21/820.29	c 556.444 193.188 11881 13461519
820.21/820.29	o 2127
820.63/820.64	c 556.695 193.188 11914 13478331
820.63/820.64	o 2125
821.52/821.57	c 557.363 193.188 11986 13504508
821.52/821.57	o 2124
825.02/825.02	c 559.817 193.188 12299 13514446
825.02/825.02	o 2123
825.71/825.74	c 560.37 193.188 12453 13524793
825.71/825.74	o 2122
827.32/827.33	c 561.472 193.188 12577 13537171
827.32/827.33	o 2121
835.71/835.75	c 567.098 193.188 13527 13564720
835.71/835.75	o 2120
847.91/847.97	c 575.276 193.188 7792 13604843
847.91/847.97	o 2119
848.12/848.14	c 575.403 193.188 7804 13606630
848.12/848.14	o 2118
848.61/848.69	c 575.779 193.188 7968 13618823
848.61/848.69	o 2117
849.13/849.17	c 576.113 193.188 8013 13624514
849.13/849.17	o 2116
859.92/859.98	c 583.272 193.188 9225 13703775
859.92/859.98	o 2114
861.22/861.30	c 584.184 193.188 9349 13707314
861.22/861.30	o 2113
871.82/871.88	c 591.355 193.188 10479 13717115
871.82/871.88	o 2112
886.31/886.30	c 600.86 193.188 12140 13778502
886.31/886.30	o 2111
887.02/887.08	c 601.485 193.188 12214 13782001
887.02/887.08	o 2110
890.02/890.00	c 603.412 193.188 12530 13801016
890.02/890.00	o 2109
891.52/891.53	c 604.438 193.188 12679 13819483
891.52/891.53	o 2108
892.42/892.43	c 605.048 193.188 12753 13842027
892.42/892.43	o 2106
894.22/894.30	c 606.277 193.188 13025 13905675
894.22/894.30	o 2105
896.32/896.35	c 607.636 193.188 13247 13925395
896.32/896.35	o 2104
896.42/896.46	c 607.716 193.188 13256 13932526
896.42/896.46	o 2103
896.61/896.64	c 607.859 193.188 13277 13971203
896.61/896.64	o 2102
896.72/896.74	c 607.925 193.188 13283 13988676
896.72/896.74	o 2101
896.82/896.85	c 608.002 193.188 13292 14008406
896.82/896.85	o 2099
897.11/897.17	c 608.223 193.188 13322 14041014
897.11/897.17	o 2098
898.02/898.06	c 608.812 193.188 13392 14049844
898.02/898.06	o 2097
898.82/898.87	c 609.38 193.188 13466 14054966
898.82/898.87	o 2096
899.02/899.07	c 609.532 193.188 13488 14076275
899.02/899.07	o 2095
904.41/904.48	c 613.183 193.188 13937 14092618
904.41/904.48	o 2094
906.02/906.08	c 614.257 193.188 7091 14106064
906.02/906.08	o 2093
907.62/907.66	c 615.29 193.188 7312 14125973
907.62/907.66	o 2092
907.82/907.86	c 615.429 193.188 7346 14139224
907.82/907.86	o 2090
910.42/910.43	c 617.234 193.188 7683 14177255
910.42/910.43	o 2088
910.62/910.65	c 617.388 193.188 7714 14232365
910.62/910.65	o 2087
912.52/912.51	c 618.704 193.188 7875 14261914
912.52/912.51	o 2085
914.02/914.06	c 619.731 193.188 8020 14279889
914.02/914.06	o 2084
914.12/914.15	c 619.802 193.188 8030 14283634
914.12/914.15	o 2083
922.32/922.39	c 625.174 193.188 9180 14329971
922.32/922.39	o 2080
923.11/923.12	c 625.661 193.188 9261 14334857
923.11/923.12	o 2079
923.61/923.67	c 626.014 193.188 9321 14337303
923.61/923.67	o 2078
923.92/923.94	c 626.203 193.188 9351 14345570
923.92/923.94	o 2077
924.32/924.33	c 626.478 193.188 9395 14363330
924.32/924.33	o 2076
924.91/924.99	c 626.94 193.188 9453 14386769
924.91/924.99	o 2075
927.82/927.85	c 628.804 193.188 9868 14410710
927.82/927.85	o 2074
937.82/937.89	c 635.269 193.188 11215 14435486
937.82/937.89	o 2073
938.92/938.98	c 635.987 193.188 11348 14450385
938.92/938.98	o 2072
940.12/940.16	c 636.775 193.188 11468 14456758
940.12/940.16	o 2071
941.62/941.70	c 637.784 193.188 11625 14466518
941.62/941.70	o 2070
944.12/944.14	c 639.451 193.188 11880 14484870
944.12/944.14	o 2069
945.22/945.23	c 640.172 193.188 11999 14528933
945.22/945.23	o 2068
945.42/945.40	c 640.291 193.188 12011 14543263
945.42/945.40	o 2067
946.62/946.61	c 641.102 193.188 12129 14554473
946.62/946.61	o 2066
948.52/948.57	c 642.42 193.188 12355 14567633
948.52/948.57	o 2065
953.22/953.23	c 645.513 193.188 12870 14585290
953.22/953.23	o 2064
954.73/954.77	c 646.653 193.188 13013 14592108
954.73/954.77	o 2063
954.92/954.92	c 646.761 193.188 13029 14598151
954.92/954.92	o 2062
955.12/955.12	c 646.904 193.188 13056 14603432
955.12/955.12	o 2061
955.42/955.44	c 647.116 193.188 13080 14610416
955.42/955.44	o 2060
960.12/960.10	c 650.361 193.188 13481 14628772
960.12/960.10	o 2059
960.62/960.61	c 650.744 193.188 13531 14639879
960.62/960.61	o 2058
977.92/977.93	c 661.896 193.188 8962 14672365
977.92/977.93	o 2057
980.32/980.30	c 663.457 193.188 9194 14679977
980.32/980.30	o 2056
981.22/981.22	c 664.076 193.188 9306 14682852
981.22/981.22	o 2055
981.52/981.50	c 664.274 193.188 9330 14689395
981.52/981.50	o 2054
983.22/983.26	c 665.409 193.188 9543 14697889
983.22/983.26	o 2053
991.83/991.87	c 670.98 193.188 10462 14708456
991.83/991.87	o 2051
994.92/994.91	c 672.954 193.188 10805 14717184
994.92/994.91	o 2050
995.12/995.17	c 673.141 193.188 10835 14726187
995.12/995.17	o 2049
996.32/996.34	c 673.893 193.188 10961 14743834
996.32/996.34	o 2048
1001.53/1001.54	c 677.322 193.188 11616 14765624
1001.53/1001.54	o 2047
1007.32/1007.36	c 681.352 193.188 12231 14815617
1007.32/1007.36	o 2046
1008.33/1008.39	c 682.052 193.188 12341 14835691
1008.33/1008.39	o 2045
1013.03/1013.08	c 685.368 193.188 12820 14845745
1013.03/1013.08	o 2044
1015.22/1015.22	c 686.796 193.188 13063 14853156
1015.22/1015.22	o 2043
1016.33/1016.33	c 687.571 193.188 13159 14861699
1016.33/1016.33	o 2042
1020.93/1020.94	c 690.642 193.188 13667 14911523
1020.93/1020.94	o 2041
1022.32/1022.36	c 691.603 193.188 13821 14968683
1022.32/1022.36	o 2040
1022.62/1022.69	c 691.849 193.188 6940 14988425
1022.62/1022.69	o 2039
1024.22/1024.28	c 692.971 193.188 7095 15011055
1024.22/1024.28	o 2037
1029.02/1029.02	c 696.157 193.188 7596 15031012
1029.02/1029.02	o 2036
1029.93/1029.90	c 696.77 193.188 7659 15035121
1029.93/1029.90	o 2035
1030.13/1030.13	c 696.916 193.188 7681 15042424
1030.13/1030.13	o 2034
1030.43/1030.41	c 697.099 193.188 7713 15083525
1030.43/1030.41	o 2033
1030.62/1030.67	c 697.287 193.188 7737 15095836
1030.62/1030.67	o 2032
1030.92/1030.99	c 697.509 193.188 7766 15125945
1030.92/1030.99	o 2031
1032.03/1032.01	c 698.184 193.188 7898 15166163
1032.03/1032.01	o 2030
1039.83/1039.88	c 703.778 193.188 8701 15177353
1039.83/1039.88	o 2028
1048.23/1048.30	c 709.58 193.188 9584 15186546
1048.23/1048.30	o 2027
1060.12/1060.13	c 717.593 193.188 10948 15220565
1060.12/1060.13	o 2026
1061.32/1061.36	c 718.417 193.188 11045 15225702
1061.32/1061.36	o 2025
1061.62/1061.62	c 718.597 193.188 11067 15233211
1061.62/1061.62	o 2024
1062.32/1062.35	c 719.088 193.188 11120 15243337
1062.32/1062.35	o 2022
1063.73/1063.78	c 720.075 193.188 11239 15258668
1063.73/1063.78	o 2021
1063.92/1063.99	c 720.228 193.188 11260 15268341
1063.92/1063.99	o 2020
1064.73/1064.80	c 720.756 193.188 11375 15281727
1064.73/1064.80	o 2019
1065.83/1065.83	c 721.426 193.188 11513 15298703
1065.83/1065.83	o 2018
1066.32/1066.37	c 721.814 193.188 11548 15304023
1066.32/1066.37	o 2017
1082.23/1082.20	c 732.25 193.188 13308 15378175
1082.23/1082.20	o 2016
1087.02/1087.05	c 735.475 193.188 6975 15405151
1087.02/1087.05	o 2014
1091.72/1091.72	c 738.687 193.188 7394 15411323
1091.72/1091.72	o 2013
1095.63/1095.69	c 741.47 193.188 7856 15419766
1095.63/1095.69	o 2012
1101.03/1101.04	c 745.146 193.188 8458 15456724
1101.03/1101.04	o 2011
1104.02/1104.04	c 747.111 193.188 8802 15478086
1104.02/1104.04	o 2010
1106.83/1106.87	c 749.065 193.188 9022 15494610
1106.83/1106.87	o 2008
1107.73/1107.71	c 749.616 193.188 9137 15505701
1107.73/1107.71	o 2007
1108.32/1108.31	c 750.04 193.188 9179 15512543
1108.32/1108.31	o 2006
1109.02/1109.07	c 750.547 193.188 9246 15514802
1109.02/1109.07	o 2005
1109.23/1109.20	c 750.64 193.188 9255 15519345
1109.23/1109.20	o 2004
1109.52/1109.59	c 750.909 193.188 9290 15550185
1109.52/1109.59	o 2003
1112.03/1112.08	c 752.621 193.188 9529 15575245
1112.03/1112.08	o 2002
1112.23/1112.20	c 752.717 193.188 9540 15579931
1112.23/1112.20	o 2001
1112.42/1112.46	c 752.906 193.188 9567 15591665
1112.42/1112.46	o 2000
1112.93/1112.97	c 753.247 193.188 9674 15598435
1112.93/1112.97	o 1999
1113.13/1113.15	c 753.396 193.188 9708 15607633
1113.13/1113.15	o 1997
1114.23/1114.22	c 754.094 193.188 9861 15619576
1114.23/1114.22	o 1996
1118.83/1118.88	c 757.297 193.188 10387 15630237
1118.83/1118.88	o 1995
1125.62/1125.61	c 761.721 193.188 11136 15650923
1125.62/1125.61	o 1994
1132.62/1132.66	c 766.191 193.188 12294 15661749
1132.62/1132.66	o 1993
1133.03/1133.03	c 766.458 193.188 12327 15663908
1133.03/1133.04	o 1992
1141.23/1141.25	c 772.001 193.188 13062 15682471
1141.23/1141.25	o 1991
1141.63/1141.66	c 772.286 193.188 13101 15696374
1141.63/1141.66	o 1989
1143.43/1143.48	c 773.496 193.188 13349 15721240
1143.43/1143.48	o 1988
1145.53/1145.58	c 774.92 193.188 13554 15747416
1145.53/1145.58	o 1987
1155.42/1155.47	c 781.451 193.188 14500 15768681
1155.42/1155.47	o 1986
1155.73/1155.75	c 781.645 193.188 7267 15769927
1155.73/1155.75	o 1985
1155.83/1155.87	c 781.732 193.188 7274 15772638
1155.83/1155.87	o 1984
1156.33/1156.35	c 782.067 193.188 7326 15777762
1156.33/1156.35	o 1983
1156.42/1156.44	c 782.13 193.188 7336 15780459
1156.42/1156.44	o 1982
1156.63/1156.64	c 782.278 193.188 7363 15787403
1156.63/1156.64	o 1981
1157.73/1157.71	c 782.984 193.188 7505 15799103
1157.73/1157.71	o 1980
1158.42/1158.43	c 783.496 193.188 7570 15802840
1158.42/1158.43	o 1979
1159.63/1159.68	c 784.393 193.188 7688 15814517
1159.63/1159.68	o 1978
1162.23/1162.28	c 786.141 193.188 7955 15828949
1162.23/1162.28	o 1977
1163.03/1163.07	c 786.665 193.188 8018 15836694
1163.03/1163.07	o 1976
1163.63/1163.68	c 787.081 193.188 8070 15850492
1163.63/1163.68	o 1975
1164.02/1164.06	c 787.359 193.188 8098 15862592
1164.02/1164.06	o 1974
1165.03/1165.09	c 788.057 193.188 8222 15877769
1165.03/1165.09	o 1973
1165.32/1165.31	c 788.228 193.188 8238 15880761
1165.32/1165.31	o 1972
1165.53/1165.56	c 788.414 193.188 8256 15884555
1165.53/1165.56	o 1971
1165.73/1165.79	c 788.579 193.188 8287 15888569
1165.73/1165.79	o 1970
1166.43/1166.41	c 788.999 193.188 8346 15899505
1166.43/1166.41	o 1968
1166.62/1166.66	c 789.172 193.188 8367 15904570
1166.62/1166.66	o 1967
1166.93/1166.94	c 789.371 193.188 8395 15906788
1166.93/1166.94	o 1965
1167.13/1167.19	c 789.539 193.188 8422 15933231
1167.13/1167.19	o 1964
1169.92/1169.91	c 791.354 193.188 8775 15965831
1169.92/1169.91	o 1963
1172.12/1172.12	c 792.826 193.188 8994 15998685
1172.12/1172.12	o 1962
1172.33/1172.39	c 793.024 193.188 9020 16017196
1172.33/1172.39	o 1960
1243.23/1243.27	c 840.03 193.188 7844 16037448
1243.23/1243.27	o 1958
1243.53/1243.53	c 840.214 193.188 7865 16039552
1243.53/1243.53	o 1957
1244.53/1244.58	c 840.898 193.188 8016 16071032
1244.53/1244.58	o 1956
1245.03/1245.05	c 841.235 193.188 8061 16093160
1245.03/1245.05	o 1955
1247.73/1247.70	c 842.992 193.188 8329 16110775
1247.73/1247.70	o 1954
1249.13/1249.12	c 843.927 193.188 8489 16131498
1249.13/1249.12	o 1953
1250.83/1250.80	c 845.053 193.188 8666 16152552
1250.83/1250.80	o 1952
1250.93/1250.97	c 845.166 193.188 8683 16174939
1250.93/1250.97	o 1951
1254.73/1254.76	c 847.686 193.188 9100 16201311
1254.73/1254.76	o 1950
1255.04/1255.04	c 847.877 193.188 9137 16214657
1255.04/1255.04	o 1949
1258.92/1258.91	c 850.332 193.188 9612 16240172
1258.92/1258.91	o 1948
1259.03/1259.01	c 850.41 193.188 9616 16247856
1259.03/1259.01	o 1947
1259.23/1259.21	c 850.551 193.188 9640 16259488
1259.23/1259.21	o 1946
1259.33/1259.34	c 850.654 193.188 9653 16267393
1259.33/1259.34	o 1945
1259.63/1259.64	c 850.858 193.188 9687 16306464
1259.63/1259.64	o 1942
1260.12/1260.18	c 851.224 193.188 9745 16309508
1260.12/1260.18	o 1940
1260.33/1260.37	c 851.358 193.188 9768 16340348
1260.33/1260.37	o 1938
1260.73/1260.74	c 851.638 193.188 9796 16344881
1260.73/1260.74	o 1937
1261.74/1261.79	c 852.314 193.188 9906 16350750
1261.74/1261.79	o 1936
1263.33/1263.31	c 853.311 193.188 10061 16358339
1263.33/1263.31	o 1935
1263.43/1263.43	c 853.396 193.188 10066 16366494
1263.43/1263.43	o 1934
1263.53/1263.58	c 853.508 193.188 10079 16378652
1263.53/1263.58	o 1933
1263.84/1263.82	c 853.686 193.188 10108 16393691
1263.84/1263.82	o 1932
1264.73/1264.74	c 854.308 193.188 10173 16401091
1264.73/1264.74	o 1931
1266.13/1266.12	c 855.268 193.188 10301 16411600
1266.13/1266.12	o 1930
1271.43/1271.48	c 858.873 193.188 10781 16416263
1271.43/1271.48	o 1929
1276.43/1276.41	c 862.204 193.188 11333 16426869
1276.43/1276.41	o 1928
1280.93/1280.99	c 865.277 193.188 11778 16430311
1280.93/1280.99	o 1927
1282.64/1282.64	c 866.416 193.188 11952 16441614
1282.64/1282.64	o 1926
1284.93/1284.95	c 867.882 193.188 12380 16454171
1284.93/1284.95	o 1925
1285.23/1285.22	c 868.063 193.188 12409 16476997
1285.23/1285.22	o 1924
1291.13/1291.19	c 872.123 193.188 13044 16512790
1291.13/1291.19	o 1922
1302.63/1302.62	c 879.41 193.188 7261 16521972
1302.63/1302.62	o 1921
1308.53/1308.51	c 883.35 193.188 7903 16535526
1308.53/1308.51	o 1920
1309.13/1309.14	c 883.788 193.188 7954 16543295
1309.13/1309.14	o 1919
1309.53/1309.57	c 884.082 193.188 7995 16545823
1309.53/1309.57	o 1918
1313.34/1313.36	c 886.576 193.188 8411 16560604
1313.34/1313.36	o 1917
1313.63/1313.68	c 886.808 193.188 8447 16568098
1313.63/1313.68	o 1915
1316.93/1316.90	c 888.965 193.188 8720 16573395
1316.93/1316.90	o 1914
1319.23/1319.27	c 890.589 193.188 8973 16579209
1319.23/1319.27	o 1913
1321.93/1321.94	c 892.326 193.188 9242 16591720
1321.93/1321.94	o 1912
1322.14/1322.18	c 892.501 193.188 9260 16593336
1322.14/1322.18	o 1911
1322.43/1322.45	c 892.676 193.188 9280 16597218
1322.43/1322.45	o 1910
1322.83/1322.86	c 892.95 193.188 9318 16603044
1322.83/1322.86	o 1909
1323.73/1323.74	c 893.543 193.188 9440 16610833
1323.73/1323.74	o 1908
1324.03/1324.07	c 893.765 193.188 9473 16630869
1324.03/1324.07	o 1906
1324.33/1324.40	c 893.999 193.188 9508 16648094
1324.33/1324.40	o 1905
1324.53/1324.55	c 894.105 193.188 9520 16651969
1324.53/1324.55	o 1904
1330.33/1330.30	c 897.843 193.188 10056 16664185
1330.33/1330.30	o 1903
1330.44/1330.41	c 897.921 193.188 10072 16668588
1330.44/1330.41	o 1901
1333.64/1333.65	c 900.081 193.188 10493 16692749
1333.64/1333.65	o 1900
1334.13/1334.11	c 900.44 193.188 10525 16696749
1334.13/1334.11	o 1899
1340.53/1340.51	c 904.678 193.188 11059 16714849
1340.53/1340.51	o 1898
1344.03/1344.08	c 907.131 193.188 11522 16736103
1344.03/1344.08	o 1897
1354.04/1354.06	c 913.804 193.188 12543 16744005
1354.04/1354.06	o 1896
1359.03/1359.02	c 917.042 193.188 13053 16752962
1359.03/1359.02	o 1895
1359.13/1359.17	c 917.158 193.188 13069 16756123
1359.13/1359.17	o 1894
1362.33/1362.38	c 919.332 193.188 13481 16768701
1362.33/1362.38	o 1893
1363.94/1363.92	c 920.401 193.188 13624 16771452
1363.94/1363.92	o 1892
1369.74/1369.76	c 924.277 193.188 7122 16778645
1369.74/1369.76	o 1891
1392.33/1392.38	c 938.908 193.188 9433 16795163
1392.33/1392.38	o 1890
1394.63/1394.63	c 940.39 193.188 9675 16805992
1394.63/1394.63	o 1889
1394.84/1394.85	c 940.543 193.188 9699 16811791
1394.84/1394.85	o 1888
1395.23/1395.25	c 940.845 193.188 9742 16838251
1395.23/1395.25	o 1886
1399.03/1399.04	c 943.431 193.188 10145 16895191
1399.03/1399.04	o 1885
1401.03/1401.09	c 944.785 193.188 10393 16908905
1401.03/1401.09	o 1884
1402.44/1402.43	c 945.652 193.188 10543 16913278
1402.44/1402.43	o 1883
1402.94/1402.93	c 945.998 193.188 10584 16915977
1402.94/1402.93	o 1882
1403.33/1403.37	c 946.344 193.188 10662 16919558
1403.33/1403.37	o 1881
1409.04/1409.01	c 950.22 193.188 11424 16940303
1409.04/1409.01	o 1880
1410.24/1410.24	c 951.024 193.188 11513 16944094
1410.24/1410.24	o 1877
1411.54/1411.57	c 951.917 193.188 11674 16960309
1411.54/1411.57	o 1876
1412.64/1412.62	c 952.597 193.188 11793 16973193
1412.64/1412.62	o 1875
1418.53/1418.54	c 956.382 193.188 12525 16983116
1418.53/1418.54	o 1874
1419.54/1419.55	c 957.041 193.188 12633 16991232
1419.54/1419.55	o 1873
1422.13/1422.17	c 958.732 193.188 12983 17002745
1422.13/1422.17	o 1872
1433.44/1433.46	c 966.251 193.188 7293 17051128
1433.44/1433.46	o 1870
1444.93/1444.90	c 973.63 193.188 8678 17067993
1444.93/1444.90	o 1869
1445.14/1445.17	c 973.819 193.188 8699 17071029
1445.14/1445.17	o 1868
1449.34/1449.34	c 976.661 193.188 9077 17078065
1449.34/1449.34	o 1867
1452.14/1452.15	c 978.546 193.188 9400 17097376
1452.14/1452.15	o 1865
1456.63/1456.64	c 981.564 193.188 9907 17128751
1456.63/1456.64	o 1864
1478.54/1478.58	c 996.818 193.188 12408 17152324
1478.54/1478.58	o 1863
1480.34/1480.36	c 997.954 193.188 12567 17155691
1480.34/1480.36	o 1862
1481.64/1481.69	c 998.863 193.188 12700 17176631
1481.64/1481.69	o 1860
1489.13/1489.12	c 1003.69 193.188 13698 17229305
1489.13/1489.12	o 1857
1497.14/1497.13	c 1009.36 193.188 7473 17256521
1497.14/1497.13	o 1856
1497.34/1497.38	c 1009.52 193.188 7489 17260012
1497.34/1497.38	o 1855
1498.03/1498.08	c 1010.05 193.188 7554 17265870
1498.03/1498.08	o 1854
1500.83/1500.83	c 1011.96 193.188 7821 17298621
1500.83/1500.83	o 1853
1510.84/1510.87	c 1018.61 193.188 8849 17312725
1510.84/1510.87	o 1852
1511.84/1511.84	c 1019.24 193.188 8942 17325074
1511.84/1511.84	o 1851
1515.14/1515.16	c 1021.56 193.188 9272 17332921
1515.14/1515.16	o 1850
1516.64/1516.65	c 1022.52 193.188 9458 17347698
1516.64/1516.65	o 1849
1517.94/1517.91	c 1023.35 193.188 9601 17352441
1517.94/1517.91	o 1848
1518.24/1518.27	c 1023.61 193.188 9637 17357827
1518.24/1518.27	o 1847
1519.43/1519.47	c 1024.47 193.188 9735 17381813
1519.43/1519.47	o 1845
1519.64/1519.66	c 1024.6 193.188 9751 17387869
1519.64/1519.66	o 1844
1519.94/1519.91	c 1024.77 193.188 9782 17400122
1519.94/1519.91	o 1843
1520.03/1520.10	c 1024.92 193.188 9803 17415613
1520.03/1520.10	o 1842
1520.25/1520.21	c 1025.01 193.188 9819 17423566
1520.25/1520.21	o 1841
1522.74/1522.78	c 1026.72 193.188 10092 17432002
1522.74/1522.78	o 1840
1523.84/1523.83	c 1027.42 193.188 10206 17469299
1523.84/1523.83	o 1839
1525.43/1525.41	c 1028.5 193.188 10374 17487764
1525.43/1525.41	o 1838
1526.24/1526.22	c 1029.06 193.188 10455 17502754
1526.24/1526.22	o 1836
1527.73/1527.75	c 1030.11 193.188 10570 17547557
1527.73/1527.75	o 1835
1528.94/1529.00	c 1030.96 193.188 10675 17553820
1528.94/1529.00	o 1833
1529.14/1529.14	c 1031.06 193.188 10686 17562964
1529.14/1529.14	o 1831
1531.34/1531.34	c 1032.53 193.188 10925 17572792
1531.34/1531.34	o 1830
1539.24/1539.25	c 1037.72 193.188 11776 17587061
1539.24/1539.25	o 1829
1540.54/1540.54	c 1038.59 193.188 11942 17600241
1540.54/1540.54	o 1828
1558.34/1558.30	c 1049.87 193.188 14117 17608086
1558.34/1558.30	o 1827
1565.03/1565.09	c 1054.35 193.188 7690 17622700
1565.03/1565.09	o 1826
1565.24/1565.27	c 1054.48 193.188 7709 17624588
1565.24/1565.27	o 1825
1567.94/1567.98	c 1056.3 193.188 8004 17642412
1567.94/1567.98	o 1824
1571.34/1571.32	c 1058.59 193.188 8330 17680697
1571.34/1571.32	o 1823
1576.74/1576.79	c 1062.44 193.188 8833 17684760
1576.74/1576.79	o 1822
1581.84/1581.88	c 1065.82 193.188 9469 17769880
1581.84/1581.88	o 1821
1582.44/1582.41	c 1066.19 193.188 9503 17775259
1582.44/1582.41	o 1820
1582.64/1582.69	c 1066.39 193.188 9530 17784599
1582.64/1582.69	o 1819
1583.04/1583.08	c 1066.67 193.188 9574 17809294
1583.04/1583.08	o 1818
1587.24/1587.23	c 1069.59 193.188 9993 17824835
1587.24/1587.23	o 1817
1592.54/1592.56	c 1073.22 193.188 10468 17841202
1592.54/1592.56	o 1816
1594.54/1594.54	c 1074.54 193.188 10701 17864197
1594.54/1594.54	o 1815
1596.64/1596.69	c 1075.96 193.188 10932 17882365
1596.64/1596.69	o 1813
1597.83/1597.88	c 1076.74 193.188 11071 17893853
1597.83/1597.88	o 1811
1598.24/1598.26	c 1077.01 193.188 11099 17896414
1598.24/1598.26	o 1810
1598.34/1598.36	c 1077.08 193.188 11107 17899102
1598.34/1598.36	o 1809
1605.54/1605.53	c 1081.89 193.188 11831 17912381
1605.54/1605.53	o 1808
1605.84/1605.83	c 1082.11 193.188 11856 17916907
1605.84/1605.83	o 1807
1608.54/1608.55	c 1083.95 193.188 12106 17923854
1608.54/1608.55	o 1806
1609.14/1609.18	c 1084.37 193.188 12257 17928591
1609.14/1609.18	o 1805
1610.24/1610.22	c 1085.07 193.188 12377 17933085
1610.24/1610.22	o 1803
1618.74/1618.72	c 1090.65 193.188 13252 17955465
1618.74/1618.72	o 1802
1624.44/1624.41	c 1094.32 193.188 13717 17961297
1624.44/1624.41	o 1801
1629.54/1629.54	c 1097.64 193.188 7237 17980771
1629.54/1629.54	o 1800
1633.94/1633.94	c 1100.54 193.188 7650 17994416
1633.94/1633.94	o 1799
1635.04/1635.07	c 1101.33 193.188 7811 18012323
1635.04/1635.07	o 1798
1638.64/1638.63	c 1103.67 193.188 8225 18034314
1638.64/1638.63	o 1797
1639.74/1639.76	c 1104.42 193.188 8317 18037590
1639.74/1639.76	o 1796
1641.14/1641.20	c 1105.39 193.188 8501 18047816
1641.14/1641.20	o 1795
1642.44/1642.47	c 1106.21 193.188 8621 18061733
1642.44/1642.47	o 1793
1642.74/1642.70	c 1106.37 193.188 8643 18067718
1642.74/1642.70	o 1792
1643.04/1643.02	c 1106.6 193.188 8667 18075221
1643.04/1643.02	o 1791
1646.94/1646.99	c 1109.21 193.188 9175 18082930
1646.94/1646.99	o 1790
1647.14/1647.13	c 1109.3 193.188 9185 18088550
1647.14/1647.13	o 1789
1647.24/1647.28	c 1109.41 193.188 9191 18090794
1647.24/1647.28	o 1788
1647.45/1647.43	c 1109.51 193.188 9206 18098190
1647.45/1647.43	o 1787
1648.95/1648.91	c 1110.49 193.188 9354 18129945
1648.95/1648.91	o 1785
1652.34/1652.31	c 1112.81 193.188 9655 18138683
1652.34/1652.31	o 1784
1652.34/1652.38	c 1112.87 193.188 9659 18141717
1652.34/1652.38	o 1782
1653.34/1653.37	c 1113.51 193.188 9741 18143994
1653.34/1653.37	o 1780
1653.54/1653.54	c 1113.64 193.188 9753 18147491
1653.54/1653.54	o 1779
1655.94/1655.96	c 1115.19 193.188 10081 18159508
1655.94/1655.96	o 1778
1656.04/1656.07	c 1115.28 193.188 10092 18161991
1656.04/1656.07	o 1777
1659.64/1659.64	c 1117.56 193.188 10556 18175724
1659.64/1659.64	o 1776
1661.84/1661.87	c 1119.04 193.188 10783 18180497
1661.84/1661.87	o 1775
1662.04/1662.07	c 1119.18 193.188 10799 18181476
1662.04/1662.07	o 1774
1662.94/1662.90	c 1119.73 193.188 10872 18183174
1662.94/1662.90	o 1773
1663.04/1663.00	c 1119.82 193.188 10889 18185837
1663.04/1663.00	o 1772
1664.04/1664.09	c 1120.55 193.188 10987 18189144
1664.04/1664.09	o 1771
1665.14/1665.12	c 1121.26 193.188 11086 18191269
1665.14/1665.12	o 1769
1666.54/1666.56	c 1122.21 193.188 11219 18199905
1666.54/1666.56	o 1768
1666.64/1666.65	c 1122.29 193.188 11228 18205036
1666.64/1666.65	o 1767
1666.74/1666.78	c 1122.38 193.188 11241 18210770
1666.74/1666.78	o 1766
1666.84/1666.88	c 1122.46 193.188 11256 18214228
1666.84/1666.88	o 1765
1667.24/1667.28	c 1122.74 193.188 11298 18216625
1667.24/1667.28	o 1764
1668.75/1668.71	c 1123.73 193.188 11411 18223081
1668.75/1668.71	o 1763
1669.25/1669.27	c 1124.11 193.188 11459 18228198
1669.25/1669.27	o 1760
1670.64/1670.63	c 1124.99 193.188 11619 18241239
1670.64/1670.63	o 1759
1695.74/1695.76	c 1141.26 193.188 14261 18253854
1695.74/1695.76	o 1758
1696.45/1696.48	c 1141.75 193.188 7201 18257619
1696.45/1696.48	o 1757
1700.24/1700.24	c 1144.23 193.188 7669 18264078
1700.24/1700.24	o 1756
1707.75/1707.79	c 1149.31 193.188 8411 18289605
1707.75/1707.79	o 1755
1714.04/1714.06	c 1153.32 193.188 9214 18308275
1714.04/1714.06	o 1754
1715.65/1715.67	c 1154.38 193.188 9365 18345255
1715.65/1715.67	o 1753
1716.24/1716.25	c 1154.8 193.188 9427 18358183
1716.24/1716.25	o 1752
1721.25/1721.25	c 1158.15 193.188 9973 18367382
1721.25/1721.25	o 1751
1722.94/1722.93	c 1159.26 193.188 10186 18392967
1722.94/1722.93	o 1750
1725.04/1725.04	c 1160.73 193.188 10463 18414915
1725.04/1725.04	o 1749
1725.24/1725.25	c 1160.87 193.188 10493 18427541
1725.24/1725.25	o 1748
1731.04/1731.05	c 1164.65 193.188 11107 18446242
1731.04/1731.05	o 1747
1731.24/1731.24	c 1164.8 193.188 11128 18463265
1731.24/1731.24	o 1746
1731.54/1731.56	c 1165.03 193.188 11158 18467527
1731.54/1731.56	o 1745
1731.74/1731.75	c 1165.17 193.188 11176 18475375
1731.74/1731.75	o 1744
1732.14/1732.15	c 1165.45 193.188 11227 18484962
1732.14/1732.15	o 1742
1733.94/1733.90	c 1166.64 193.188 11408 18488310
1733.94/1733.90	o 1741
1734.24/1734.23	c 1166.87 193.188 11436 18491264
1734.24/1734.23	o 1739
1735.85/1735.87	c 1167.98 193.188 11582 18509410
1735.85/1735.87	o 1738
1738.64/1738.63	c 1169.79 193.188 11847 18516943
1738.64/1738.63	o 1737
1739.64/1739.64	c 1170.44 193.188 11969 18520194
1739.64/1739.64	o 1736
1740.85/1740.81	c 1171.24 193.188 12102 18553277
1740.85/1740.81	o 1735
1741.05/1741.04	c 1171.4 193.188 12123 18561235
1741.05/1741.04	o 1734
1741.44/1741.49	c 1171.72 193.188 12158 18569764
1741.44/1741.49	o 1733
1744.35/1744.35	c 1173.67 193.188 12424 18583936
1744.35/1744.35	o 1732
1744.45/1744.48	c 1173.76 193.188 12435 18588737
1744.45/1744.48	o 1731
1744.65/1744.61	c 1173.85 193.188 12448 18591173
1744.65/1744.61	o 1730
1758.24/1758.23	c 1183.05 193.188 13937 18644013
1758.24/1758.23	o 1729
1762.74/1762.75	c 1186.13 193.188 14359 18656946
1762.74/1762.75	o 1728
1763.54/1763.55	c 1186.71 193.188 7267 18660193
1763.54/1763.55	o 1727
1765.55/1765.57	c 1188 193.188 7492 18664396
1765.55/1765.57	o 1726
1765.95/1765.91	c 1188.24 193.188 7540 18669893
1765.95/1765.91	o 1725
1767.25/1767.25	c 1189.11 193.188 7722 18699506
1767.25/1767.25	o 1724
1768.35/1768.31	c 1189.83 193.188 7843 18717807
1768.35/1768.31	o 1723
1768.55/1768.57	c 1190.01 193.188 7872 18727338
1768.55/1768.57	o 1722
1768.85/1768.85	c 1190.22 193.188 7896 18732928
1768.85/1768.85	o 1721
1769.04/1769.06	c 1190.37 193.188 7916 18739973
1769.04/1769.06	o 1720
1769.55/1769.57	c 1190.71 193.188 7967 18743387
1769.55/1769.57	o 1719
1770.34/1770.30	c 1191.27 193.188 8036 18746535
1770.34/1770.30	o 1718
1775.54/1775.54	c 1194.83 193.188 8535 18753897
1775.54/1775.54	o 1717
1775.74/1775.73	c 1194.98 193.188 8557 18757135
1775.74/1775.73	o 1716
1777.84/1777.81	c 1196.41 193.188 8748 18790025
1777.84/1777.81	o 1715
1783.05/1783.04	c 1200.09 193.188 9290 18798995
1783.05/1783.04	o 1714
1787.84/1787.82	c 1203.18 193.188 9817 18813299
1787.84/1787.82	o 1713
1789.14/1789.12	c 1204.05 193.188 9940 18821168
1789.14/1789.12	o 1712
1789.24/1789.25	c 1204.15 193.188 9951 18822183
1789.24/1789.25	o 1711
1789.45/1789.44	c 1204.27 193.188 9980 18824358
1789.45/1789.44	o 1710
1793.05/1793.02	c 1206.58 193.188 10401 18835937
1793.05/1793.02	o 1709
1793.55/1793.51	c 1206.92 193.188 10434 18840341
1793.55/1793.51	o 1708
1796.05/1796.03	c 1208.59 193.188 10694 18850319
1796.05/1796.03	o 1707
1800.05/1800.00	s SATISFIABLE
1800.05/1800.00	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

Verifier Data 

OK	1707

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699120-1278462344/watcher-2699120-1278462344 -o /tmp/evaluation-result-2699120-1278462344/solver-2699120-1278462344 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699120-1278462344.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 1.95 4/182 13608
/proc/meminfo: memFree=29284660/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=2136 CPUtime=0
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 263 0 0 0 0 0 0 0 22 0 1 0 14447173 2187264 183 4089446400 134512640 136422188 4290092032 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13608/statm: 534 183 144 467 0 65 0

[startup+0.0855431 s]
/proc/loadavg: 2.01 2.02 1.95 4/182 13608
/proc/meminfo: memFree=29284660/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=3056 CPUtime=0.08
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 517 0 0 0 8 0 0 0 22 0 1 0 14447173 3129344 404 4089446400 134512640 136422188 4290092032 18446744073709551615 135378273 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13608/statm: 764 404 144 467 0 295 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3056

[startup+0.10054 s]
/proc/loadavg: 2.01 2.02 1.95 4/182 13608
/proc/meminfo: memFree=29284660/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=3576 CPUtime=0.1
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 664 0 0 0 10 0 0 0 22 0 1 0 14447173 3661824 486 4089446400 134512640 136422188 4290092032 18446744073709551615 135809714 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13608/statm: 894 486 144 467 0 425 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3576

[startup+0.300503 s]
/proc/loadavg: 2.01 2.02 1.95 4/182 13608
/proc/meminfo: memFree=29284660/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=51096 CPUtime=0.29
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 12420 0 0 0 28 1 0 0 22 0 1 0 14447173 52322304 12171 4089446400 134512640 136422188 4290092032 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 12774 12173 193 467 0 12305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51096

[startup+0.700442 s]
/proc/loadavg: 2.01 2.02 1.95 4/182 13608
/proc/meminfo: memFree=29284660/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=140048 CPUtime=0.69
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 36102 0 0 0 65 4 0 0 24 0 1 0 14447173 143409152 33466 4089446400 134512640 136422188 4290092032 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 35012 33467 193 467 0 34543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 140048

[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 1.95 3/183 13609
/proc/meminfo: memFree=29108944/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=186548 CPUtime=1.49
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 47775 0 0 0 144 5 0 0 25 0 1 0 14447173 191025152 44242 4089446400 134512640 136422188 4290092032 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 46637 44242 207 467 0 46168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186548

[startup+3.10101 s]
/proc/loadavg: 2.01 2.02 1.95 3/183 13609
/proc/meminfo: memFree=29107580/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=189576 CPUtime=3.09
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 48481 0 0 0 299 10 0 0 25 0 1 0 14447173 194125824 44948 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 47394 44948 213 467 0 46925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 189576

[startup+6.30041 s]
/proc/loadavg: 2.01 2.02 1.95 3/183 13609
/proc/meminfo: memFree=29105568/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=192028 CPUtime=6.29
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 49201 0 0 0 503 126 0 0 25 0 1 0 14447173 196636672 45087 4089446400 134512640 136422188 4290092032 18446744073709551615 134868289 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 48007 45087 237 467 0 47538 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 192028

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 1.95 3/183 13609
/proc/meminfo: memFree=29104328/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=192820 CPUtime=12.69
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 49447 0 0 0 960 309 0 0 25 0 1 0 14447173 197447680 45319 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 48205 45319 237 467 0 47736 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192820

[startup+25.5009 s]
/proc/loadavg: 2.01 2.02 1.95 3/183 13609
/proc/meminfo: memFree=29103616/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=193776 CPUtime=25.49
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 49678 0 0 0 1835 714 0 0 25 0 1 0 14447173 198426624 45543 4089446400 134512640 136422188 4290092032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 48444 45543 237 467 0 47975 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 193776

[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 1.95 3/183 13610
/proc/meminfo: memFree=29102220/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=194980 CPUtime=51.09
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50004 0 0 0 3574 1535 0 0 25 0 1 0 14447173 199659520 45849 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 48745 45849 237 467 0 48276 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 194980

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 13611
/proc/meminfo: memFree=29100064/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=196828 CPUtime=102.3
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50497 0 0 0 7049 3181 0 0 25 0 1 0 14447173 201551872 46314 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49207 46314 237 467 0 48738 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 196828

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 13613
/proc/meminfo: memFree=29099760/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=196960 CPUtime=162.29
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50564 0 0 0 11246 4983 0 0 25 0 1 0 14447173 201687040 46354 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49240 46354 237 467 0 48771 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 196960

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 13614
/proc/meminfo: memFree=29099564/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=196960 CPUtime=222.3
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50580 0 0 0 15228 7002 0 0 25 0 1 0 14447173 201687040 46354 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49240 46354 237 467 0 48771 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196960

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 13616
/proc/meminfo: memFree=29099512/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=196960 CPUtime=282.3
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50584 0 0 0 19244 8986 0 0 25 0 1 0 14447173 201687040 46354 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49240 46354 237 467 0 48771 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 196960

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 13617
/proc/meminfo: memFree=29098740/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=342.3
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50769 0 0 0 23458 10772 0 0 25 0 1 0 14447173 202567680 46537 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46537 237 467 0 48986 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 197820

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/183 13619
/proc/meminfo: memFree=29098680/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=402.3
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50792 0 0 0 27489 12741 0 0 25 0 1 0 14447173 202567680 46537 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46537 237 467 0 48986 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 197820

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 13621
/proc/meminfo: memFree=29098372/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=462.3
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50824 0 0 0 31511 14719 0 0 25 0 1 0 14447173 202567680 46538 4089446400 134512640 136422188 4290092032 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46538 237 467 0 48986 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 197820

[startup+522.3 s]
/proc/loadavg: 2.04 2.02 1.96 3/183 13650
/proc/meminfo: memFree=28825016/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=522.3
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50857 0 0 0 35573 16657 0 0 25 0 1 0 14447173 202567680 46539 4089446400 134512640 136422188 4290092032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46539 237 467 0 48986 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 197820

[startup+582.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/183 13652
/proc/meminfo: memFree=28778624/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=582.31
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50877 0 0 0 39591 18640 0 0 25 0 1 0 14447173 202567680 46539 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46539 237 467 0 48986 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 197820

[startup+642.301 s]
/proc/loadavg: 2.02 2.02 1.96 3/183 13654
/proc/meminfo: memFree=28767436/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=642.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50884 0 0 0 43648 20584 0 0 25 0 1 0 14447173 202567680 46539 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46539 237 467 0 48986 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 197820

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/183 13658
/proc/meminfo: memFree=28768020/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=822.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50978 0 0 0 55786 26446 0 0 25 0 1 0 14447173 202567680 46539 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46539 237 467 0 48986 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 197820

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 13660
/proc/meminfo: memFree=28757060/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=882.31
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 50989 0 0 0 59816 28415 0 0 25 0 1 0 14447173 202567680 46539 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46539 237 467 0 48986 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 197820

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 13661
/proc/meminfo: memFree=28753656/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=942.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51034 0 0 0 63816 30416 0 0 25 0 1 0 14447173 202567680 46549 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46549 237 467 0 48986 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 197820

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/183 13663
/proc/meminfo: memFree=28753732/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1002.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51056 0 0 0 67785 32447 0 0 25 0 1 0 14447173 202567680 46549 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46549 237 467 0 48986 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 197820

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/183 13665
/proc/meminfo: memFree=28753684/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1062.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51077 0 0 0 71904 34328 0 0 25 0 1 0 14447173 202567680 46549 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46549 237 467 0 48986 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 197820

[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 1.98 3/183 13666
/proc/meminfo: memFree=28753624/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1122.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51103 0 0 0 75950 36282 0 0 25 0 1 0 14447173 202567680 46550 4089446400 134512640 136422188 4290092032 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46550 237 467 0 48986 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 197820

[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/183 13668
/proc/meminfo: memFree=28753580/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1182.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51134 0 0 0 79947 38285 0 0 25 0 1 0 14447173 202567680 46550 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46550 237 467 0 48986 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 197820

[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 1.99 3/183 13669
/proc/meminfo: memFree=28753180/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1242.32
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51134 0 0 0 83937 40295 0 0 25 0 1 0 14447173 202567680 46550 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46550 237 467 0 48986 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 197820

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/183 13671
/proc/meminfo: memFree=28742340/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1302.34
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51166 0 0 0 87917 42317 0 0 25 0 1 0 14447173 202567680 46550 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46550 237 467 0 48986 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 197820

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/183 13673
/proc/meminfo: memFree=28733356/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1362.33
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51195 0 0 0 91926 44307 0 0 25 0 1 0 14447173 202567680 46554 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46554 237 467 0 48986 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 197820

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.99 3/183 13674
/proc/meminfo: memFree=28733064/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1422.34
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51215 0 0 0 95881 46353 0 0 25 0 1 0 14447173 202567680 46555 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46555 237 467 0 48986 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 197820

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/183 13676
/proc/meminfo: memFree=28733276/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1482.34
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51224 0 0 0 99928 48306 0 0 25 0 1 0 14447173 202567680 46555 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46555 237 467 0 48986 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 197820

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 13678
/proc/meminfo: memFree=28732972/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1542.34
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51250 0 0 0 103966 50268 0 0 25 0 1 0 14447173 202567680 46555 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46555 237 467 0 48986 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 197820

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 13679
/proc/meminfo: memFree=28733156/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1602.34
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51267 0 0 0 107973 52261 0 0 25 0 1 0 14447173 202567680 46555 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46555 237 467 0 48986 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 197820

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 13681
/proc/meminfo: memFree=28733480/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1662.35
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51298 0 0 0 111933 54302 0 0 25 0 1 0 14447173 202567680 46556 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46556 237 467 0 48986 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 197820

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 13682
/proc/meminfo: memFree=28732808/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1722.34
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51318 0 0 0 115883 56351 0 0 25 0 1 0 14447173 202567680 46556 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46556 237 467 0 48986 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 197820

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 13684
/proc/meminfo: memFree=28732884/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1782.35
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51352 0 0 0 119948 58287 0 0 25 0 1 0 14447173 202567680 46556 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46556 237 467 0 48986 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 197820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 13685
/proc/meminfo: memFree=28732744/32951124 swapFree=67111528/67111528
[pid=13608] ppid=13606 vsize=197820 CPUtime=1800.05
/proc/13608/stat : 13608 (pbct) R 13606 13608 13108 0 -1 4202496 51367 0 0 0 121130 58875 0 0 25 0 1 0 14447173 202567680 46563 4089446400 134512640 136422188 4290092032 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13608/statm: 49455 46563 237 467 0 48986 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 197820

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

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1211.31
CPU system time (s): 588.764
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 197824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1211.31
system time used= 588.763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51368
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= 4
involuntary context switches= 2504

runsolver used 2.78958 second user time and 5.85711 second system time

The end

Launcher Data 

Begin job on node133 at 2010-07-07 02:25:44
IDJOB=2699120
IDBENCH=79107
IDSOLVER=1212
FILE ID=node133/2699120-1278462344
PBS_JOBID= 11233726
Free space on /tmp= 73800 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699120-1278462344/watcher-2699120-1278462344 -o /tmp/evaluation-result-2699120-1278462344/solver-2699120-1278462344 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2699120-1278462344.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0ad575c7f0542ec26b1c3f9931b01c05
RANDOM SEED=2002423694

node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29285304 kB
Buffers:        110300 kB
Cached:        3333652 kB
SwapCached:          0 kB
Active:         655732 kB
Inactive:      2871184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29285304 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2360 kB
Writeback:           0 kB
AnonPages:       83112 kB
Mapped:          15244 kB
Slab:            76432 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   225604 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73796 MiB
End job on node133 at 2010-07-07 02:55:46