Trace number 2698983

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.06 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j309_10-unsat--soft-66-100-0.wbo
MD5SUMf8e585aed580dee910146256b9cb9d64
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small 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 benchmark0.172973
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5456
Total number of constraints17015
Number of soft constraints5692
Number of constraints which are clauses16667
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 285936
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 285935
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 177
Number of bits of the biggest sum of numbers8
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.09/0.14	c constraints 237/111 clauses 6817/3927 units 1222
0.09/0.14	c vars 5456
0.69/0.78	c 0.549916 78.1562 85 136672
0.69/0.78	o 18177
0.79/0.84	c 0.570913 79.3789 112 159760
0.79/0.84	o 15768
0.79/0.88	c 0.59191 79.3789 138 170484
0.79/0.88	o 12726
0.89/0.91	c 0.600908 79.3789 151 178975
0.89/0.91	o 10111
0.89/0.93	c 0.614906 79.3789 163 183883
0.89/0.93	o 10082
0.89/0.96	c 0.628904 79.3789 178 187446
0.89/0.96	o 10071
0.89/0.99	c 0.641902 79.3789 199 194973
0.89/0.99	o 9135
0.99/1.03	c 0.660899 79.3789 214 200320
0.99/1.03	o 9123
0.99/1.05	c 0.670898 79.3789 220 204811
0.99/1.05	o 7242
0.99/1.06	c 0.679896 79.3789 224 207215
0.99/1.06	o 7240
0.99/1.09	c 0.695894 79.3789 235 213387
0.99/1.09	o 6053
1.10/1.13	c 0.710891 79.3789 254 218911
1.10/1.13	o 6045
1.10/1.16	c 0.728889 79.3789 267 223058
1.10/1.16	o 6044
1.10/1.18	c 0.743886 79.3789 272 227832
1.10/1.18	o 5538
1.19/1.20	c 0.758884 79.3789 280 231053
1.19/1.20	o 5534
1.19/1.23	c 0.776881 79.3789 290 237359
1.19/1.23	o 5517
1.19/1.25	c 0.78588 79.3789 295 241223
1.19/1.25	o 5507
1.19/1.28	c 0.800878 79.5078 304 245624
1.19/1.28	o 5502
1.19/1.29	c 0.808877 79.5078 305 249946
1.19/1.29	o 4526
1.29/1.31	c 0.818875 79.5078 306 252554
1.29/1.31	o 4523
1.29/1.33	c 0.826874 79.5078 307 254146
1.29/1.33	o 4521
1.29/1.35	c 0.837872 79.5078 312 256347
1.29/1.35	o 4517
1.29/1.37	c 0.847871 79.5078 319 262144
1.29/1.37	o 4073
2.20/2.23	c 1.09083 79.6367 823 269128
2.20/2.23	o 4072
2.20/2.26	c 1.10083 79.6367 830 270296
2.20/2.26	o 4069
2.49/2.51	c 1.19182 79.7656 1027 277954
2.49/2.51	o 4068
2.49/2.53	c 1.20282 79.7656 1032 280409
2.49/2.53	o 4067
2.59/2.66	c 1.25681 79.7656 1149 286187
2.59/2.66	o 4063
2.59/2.68	c 1.26781 79.7656 1153 289723
2.59/2.68	o 4060
2.69/2.70	c 1.2788 79.7656 1167 291277
2.69/2.70	o 4058
2.79/2.82	c 1.3118 79.7656 1217 293466
2.79/2.82	o 4053
2.79/2.85	c 1.3248 79.7656 1230 296096
2.79/2.85	o 4051
2.79/2.87	c 1.3338 79.7656 1238 298928
2.79/2.87	o 4047
2.89/2.90	c 1.34679 79.7656 1248 301308
2.89/2.90	o 4045
2.89/2.92	c 1.35479 79.7656 1253 302948
2.89/2.92	o 4041
2.89/2.95	c 1.37079 79.7656 1266 308671
2.89/2.95	o 4040
2.89/2.99	c 1.38679 79.8945 1284 315070
2.89/2.99	o 4035
3.69/3.76	c 1.66275 80.0234 1748 319741
3.69/3.76	o 4032
3.69/3.79	c 1.68574 80.0234 1766 321083
3.69/3.79	o 4031
3.99/4.05	c 1.82772 80.1523 1992 324575
3.99/4.05	o 4029
4.09/4.14	c 1.87172 80.1523 2049 325491
4.09/4.14	o 4026
4.19/4.22	c 1.91071 80.1523 2086 326143
4.19/4.22	o 4024
4.99/5.05	c 2.34264 80.4102 2707 330330
4.99/5.05	o 4023
4.99/5.09	c 2.36064 80.4102 2728 332845
4.99/5.09	o 4022
5.29/5.36	c 2.47562 80.4102 2977 339223
5.29/5.36	o 4021
5.40/5.42	c 2.50062 80.5391 2999 341926
5.40/5.42	o 4020
5.40/5.45	c 2.51862 80.5391 3013 343872
5.40/5.45	o 4015
5.40/5.47	c 2.52662 80.5391 3018 346924
5.40/5.47	o 3995
5.40/5.50	c 2.54061 80.5391 3027 348323
5.40/5.50	o 3994
5.50/5.58	c 2.57161 80.5391 3093 349942
5.50/5.58	o 3993
5.59/5.61	c 2.58261 80.5391 3101 352171
5.59/5.61	o 3989
5.59/5.63	c 2.59161 80.5391 3105 353747
5.59/5.63	o 3987
5.59/5.66	c 2.6066 80.5391 3117 355432
5.59/5.66	o 3984
5.59/5.69	c 2.6196 80.5391 3122 357635
5.59/5.69	o 3978
5.69/5.71	c 2.6306 80.5391 3129 359423
5.69/5.71	o 3976
5.69/5.73	c 2.6416 80.5391 3135 360736
5.69/5.73	o 3974
5.69/5.75	c 2.6526 80.5391 3140 363544
5.69/5.75	o 3966
5.69/5.77	c 2.6626 80.5391 3148 366662
5.69/5.77	o 3963
5.69/5.78	c 2.67459 80.5391 3152 369370
5.69/5.78	o 3958
5.89/5.96	c 2.73258 80.5391 3230 371330
5.89/5.96	o 3957
6.19/6.21	c 2.84557 80.668 3532 376474
6.19/6.21	o 3947
6.19/6.23	c 2.85457 80.668 3533 378956
6.19/6.23	o 3946
6.19/6.26	c 2.87156 80.668 3550 380577
6.19/6.26	o 3942
6.29/6.32	c 2.89656 80.668 3587 381342
6.29/6.32	o 3941
6.39/6.40	c 2.93255 80.7969 3694 383235
6.39/6.40	o 3935
7.59/7.63	c 3.42548 81.1836 5002 392091
7.59/7.63	o 3931
7.59/7.65	c 3.43648 81.1836 5009 392867
7.59/7.65	o 3924
7.59/7.68	c 3.45047 81.1836 5014 393843
7.59/7.68	o 3920
7.59/7.70	c 3.46647 81.3125 5022 396313
7.59/7.70	o 3914
7.69/7.73	c 3.48347 81.3125 5045 397517
7.69/7.73	o 3908
7.69/7.75	c 3.49547 81.3125 5050 399004
7.69/7.75	o 3907
7.69/7.78	c 3.51147 81.3125 5057 400503
7.69/7.78	o 3906
7.79/7.84	c 3.53846 81.3125 5097 404704
7.79/7.84	o 3904
7.79/7.87	c 3.55546 81.3125 5111 409710
7.79/7.87	o 3901
7.79/7.89	c 3.56346 81.3125 5112 412147
7.79/7.89	o 3899
7.89/7.91	c 3.57146 81.3125 5114 413934
7.89/7.91	o 3892
7.89/7.93	c 3.58245 81.3125 5119 415526
7.89/7.93	o 3890
7.89/7.95	c 3.59445 81.3125 5123 418614
7.89/7.95	o 3889
7.89/7.96	c 3.60545 81.3125 5123 421905
7.89/7.96	o 3855
7.89/7.98	c 3.61345 81.3125 5126 424417
7.89/7.98	o 3854
7.99/8.00	c 3.62245 81.3125 5129 426754
7.99/8.00	o 3853
7.99/8.02	c 3.63245 81.3125 5134 431402
7.99/8.02	o 3567
7.99/8.06	c 3.64744 81.3125 5155 432975
7.99/8.06	o 3562
8.19/8.23	c 3.71644 81.3125 5266 435757
8.19/8.23	o 3558
8.19/8.26	c 3.73143 81.3125 5273 437910
8.19/8.26	o 3548
8.19/8.28	c 3.74343 81.3125 5282 438560
8.19/8.28	o 3547
8.30/8.31	c 3.75743 81.3125 5292 440002
8.30/8.31	o 3545
8.30/8.33	c 3.76343 81.3125 5299 443018
8.30/8.33	o 3540
8.30/8.34	c 3.77643 81.3125 5301 445675
8.30/8.34	o 3537
8.30/8.37	c 3.78742 81.3125 5306 447031
8.30/8.37	o 3536
8.30/8.39	c 3.80042 81.3125 5314 448568
8.30/8.39	o 3535
8.39/8.43	c 3.82142 81.3125 5334 450271
8.39/8.43	o 3533
8.39/8.44	c 3.83142 81.3125 5335 451913
8.39/8.44	o 3532
8.79/8.86	c 3.99739 81.4414 5748 455568
8.79/8.86	o 3531
9.80/9.87	c 4.29535 81.6992 6235 457777
9.80/9.87	o 3529
12.69/12.74	c 5.53416 82.3438 8165 461574
12.69/12.74	o 3527
12.99/13.07	c 5.64414 82.4727 8344 462880
12.99/13.07	o 3525
13.10/13.20	c 5.68813 82.4727 8452 464869
13.10/13.20	o 3521
13.49/13.54	c 5.80412 82.6016 8703 467595
13.49/13.54	o 3516
13.70/13.80	c 5.8961 82.6016 8915 469508
13.70/13.80	o 3513
13.89/13.96	c 5.96309 82.7305 9118 471922
13.89/13.96	o 3509
13.89/13.98	c 5.97509 82.7305 9121 475428
13.89/13.98	o 3505
14.00/14.00	c 5.98309 82.7305 9121 478482
14.00/14.00	o 3489
14.30/14.37	c 6.11107 82.8594 9424 481547
14.30/14.37	o 3488
15.30/15.35	c 6.48301 82.8594 5345 485559
15.30/15.35	o 3485
15.49/15.57	c 6.557 82.8594 5489 487569
15.49/15.57	o 3483
15.59/15.68	c 6.60799 82.8594 5598 490291
15.59/15.68	o 3478
15.69/15.73	c 6.63199 82.8594 5628 491303
15.69/15.73	o 3477
15.69/15.75	c 6.64499 82.8594 5636 492677
15.69/15.75	o 3472
15.69/15.77	c 6.65399 82.8594 5639 493783
15.69/15.77	o 3471
17.09/17.13	c 7.2649 82.8594 7064 500704
17.09/17.13	o 3469
17.19/17.28	c 7.34088 82.8594 7195 502616
17.19/17.28	o 3466
17.39/17.45	c 7.41887 82.8594 7311 507871
17.39/17.45	o 3461
17.50/17.56	c 7.47686 82.8594 7477 509908
17.50/17.56	o 3460
17.69/17.79	c 7.59584 82.8594 7647 513372
17.69/17.79	o 3457
18.09/18.13	c 7.78082 82.8594 7968 517782
18.09/18.13	o 3456
18.29/18.39	c 7.8838 82.8594 8229 522592
18.29/18.39	o 3452
18.39/18.42	c 7.9008 82.8594 8234 525029
18.39/18.42	o 3451
18.39/18.45	c 7.9148 82.8594 8240 527003
18.39/18.45	o 3446
18.39/18.47	c 7.9238 82.8594 8244 529770
18.39/18.47	o 3441
18.49/18.58	c 7.96979 82.8594 8370 534030
18.49/18.58	o 3438
24.49/24.51	c 10.1935 83.2461 8728 546917
24.49/24.51	o 3437
24.99/25.07	c 10.4154 83.2461 9188 550372
24.99/25.07	o 3436
25.09/25.16	c 10.4494 83.2461 9217 550762
25.09/25.16	o 3435
25.59/25.66	c 10.6414 83.375 9626 554645
25.59/25.66	o 3434
27.59/27.66	c 11.3333 83.375 6275 561632
27.59/27.66	o 3433
28.50/28.51	c 11.6582 83.375 7247 567690
28.50/28.51	o 3432
28.79/28.80	c 11.7692 83.375 7528 570473
28.79/28.80	o 3431
29.79/29.87	c 12.2181 83.375 8468 573696
29.79/29.87	o 3426
30.39/30.45	c 12.5261 83.375 8799 577402
30.39/30.45	o 3425
30.89/30.96	c 12.825 83.375 9214 581530
30.89/30.96	o 3423
31.69/31.74	c 13.165 83.375 4895 586786
31.69/31.74	o 3422
31.69/31.79	c 13.194 83.375 4919 587835
31.69/31.79	o 3421
32.79/32.81	c 13.5419 83.375 5606 590412
32.79/32.81	o 3419
33.49/33.52	c 13.8369 83.375 6152 594422
33.49/33.52	o 3418
33.69/33.73	c 13.9249 83.375 6317 595895
33.69/33.73	o 3416
33.80/33.84	c 13.9759 83.375 6429 597189
33.80/33.84	o 3414
56.99/57.09	c 23.3874 87.5 11039 651862
56.99/57.09	o 3413
57.10/57.14	c 23.4244 87.5 5538 654454
57.10/57.14	o 3411
57.20/57.21	c 23.4664 87.5 5569 657527
57.20/57.21	o 3409
57.89/57.98	c 23.7854 87.5 6328 666153
57.89/57.98	o 3406
60.09/60.11	c 24.5813 87.5 7886 673894
60.09/60.11	o 3404
61.99/62.00	c 25.3321 87.5 9684 683574
61.99/62.00	o 3403
62.09/62.15	c 25.4051 87.5 4916 684918
62.09/62.15	o 3402
62.29/62.36	c 25.4831 87.5 5023 688134
62.29/62.36	o 3401
62.49/62.53	c 25.5511 87.5 5178 689733
62.49/62.53	o 3400
63.70/63.74	c 26.187 87.5 6214 696710
63.70/63.74	o 3398
64.59/64.62	c 26.485 87.5 6636 699217
64.59/64.62	o 3397
65.00/65.00	c 26.636 87.5 6992 702387
65.00/65.00	o 3396
65.09/65.12	c 26.6769 87.5 7097 704568
65.09/65.12	o 3395
65.09/65.13	c 26.6869 87.5 7098 706255
65.09/65.13	o 3394
65.09/65.15	c 26.6979 87.5 7101 707784
65.09/65.15	o 3391
65.09/65.17	c 26.7099 87.5 7107 710001
65.09/65.17	o 3388
65.19/65.20	c 26.7259 87.5 7114 712710
65.19/65.20	o 3387
65.19/65.24	c 26.7439 87.5 7126 720301
65.19/65.24	o 3385
65.59/65.69	c 26.9109 87.5 7548 723185
65.59/65.69	o 3384
66.00/66.09	c 27.0579 87.5 7777 724626
66.00/66.09	o 3383
66.09/66.14	c 27.0799 87.5 7793 725376
66.09/66.14	o 3382
67.00/67.06	c 27.4288 87.5 8599 731457
67.00/67.06	o 3381
67.59/67.66	c 27.6598 87.5 9143 735215
67.59/67.66	o 3380
67.59/67.70	c 27.6728 87.5 9174 736036
67.59/67.70	o 3377
69.69/69.71	c 28.4827 87.5 5856 743985
69.69/69.71	o 3375
69.89/69.97	c 28.6216 87.5 6028 745705
69.89/69.97	o 3373
70.00/70.05	c 28.6666 87.5 6048 746918
70.00/70.05	o 3372
72.20/72.23	c 29.5255 87.5 7658 752788
72.20/72.23	o 3371
72.20/72.26	c 29.5435 87.5 7668 753386
72.20/72.26	o 3370
72.39/72.42	c 29.5865 87.5 7739 757307
72.39/72.42	o 3363
72.89/72.98	c 29.8245 87.5 8189 760052
72.89/72.98	o 3362
73.29/73.39	c 29.9804 87.5 8448 762118
73.29/73.39	o 3361
73.99/74.08	c 30.2374 87.5 8969 766284
73.99/74.08	o 3360
74.19/74.21	c 30.2924 87.5 9114 767759
74.19/74.21	o 3358
74.70/74.72	c 30.5094 87.5 9573 770790
74.70/74.72	o 3357
75.19/75.21	c 30.6933 87.5 9851 772033
75.19/75.21	o 3355
75.69/75.74	c 30.9203 87.5 5288 774395
75.69/75.74	o 3354
75.69/75.79	c 30.9453 87.5 5318 775309
75.69/75.79	o 3353
77.30/77.35	c 31.7422 87.5 6830 780667
77.30/77.35	o 3352
77.30/77.39	c 31.7612 87.5 6849 782161
77.30/77.39	o 3349
77.39/77.42	c 31.7752 87.5 6859 783687
77.39/77.42	o 3348
77.39/77.45	c 31.7912 87.5 6865 787322
77.39/77.45	o 3347
77.49/77.53	c 31.8162 87.5 6911 790169
77.49/77.53	o 3343
77.69/77.75	c 31.8882 87.5 7095 792850
77.69/77.75	o 3341
78.10/78.16	c 32.0641 87.5 7416 795447
78.10/78.16	o 3340
78.19/78.21	c 32.0891 87.5 7439 796734
78.19/78.21	o 3339
78.19/78.23	c 32.1011 87.5 7443 800570
78.19/78.23	o 3337
78.29/78.34	c 32.1511 87.5 7561 802569
78.29/78.34	o 3334
80.79/80.88	c 33.097 87.5 4946 811953
80.79/80.88	o 3330
80.89/80.94	c 33.128 87.5 4978 815918
80.89/80.94	o 3325
80.89/80.96	c 33.14 87.5 4985 817468
80.89/80.96	o 3324
80.99/81.00	c 33.16 87.5 5008 819198
80.99/81.00	o 3323
83.09/83.12	c 34.0568 87.5 6625 825449
83.09/83.12	o 3322
83.09/83.15	c 34.0768 87.5 6630 826445
83.09/83.15	o 3321
83.09/83.18	c 34.0948 87.5 6640 830002
83.09/83.18	o 3320
83.29/83.31	c 34.1708 87.5 6760 834899
83.29/83.31	o 3319
87.40/87.46	c 35.6536 87.5 9783 846242
87.40/87.46	o 3318
87.70/87.78	c 35.7776 87.5 5058 848546
87.70/87.78	o 3315
88.19/88.21	c 35.9615 87.5 5411 852042
88.19/88.21	o 3313
91.30/91.33	c 37.3953 87.5 8427 860237
91.30/91.33	o 3309
92.79/92.87	c 37.9052 87.5 9480 866690
92.79/92.87	o 3307
92.99/93.08	c 38.0012 87.5 9703 869630
92.99/93.08	o 3305
93.40/93.42	c 38.1262 87.5 5032 872243
93.40/93.42	o 3304
93.40/93.46	c 38.1432 87.5 5046 873113
93.40/93.46	o 3303
93.50/93.59	c 38.1922 87.5 5183 874885
93.50/93.59	o 3302
93.59/93.64	c 38.2162 87.5 5200 876054
93.59/93.64	o 3300
93.70/93.75	c 38.2582 87.5 5277 878064
93.70/93.75	o 3299
94.09/94.14	c 38.3922 87.5 5498 881384
94.09/94.14	o 3297
94.40/94.47	c 38.5201 87.5 5830 885425
94.40/94.47	o 3296
94.50/94.58	c 38.5691 87.5 5955 886453
94.50/94.58	o 3295
94.70/94.70	c 38.6261 87.5 6034 888442
94.70/94.70	o 3294
94.70/94.72	c 38.6381 87.5 6040 890732
94.70/94.72	o 3292
96.89/96.95	c 39.776 87.5 7973 896679
96.89/96.95	o 3291
97.49/97.59	c 40.0189 87.5 8491 900333
97.49/97.59	o 3290
97.69/97.74	c 40.0729 87.5 8596 902638
97.69/97.74	o 3289
97.69/97.77	c 40.0879 87.5 8605 906147
97.69/97.77	o 3288
97.69/97.80	c 40.1019 87.5 8609 907460
97.69/97.80	o 3284
97.80/97.82	c 40.1139 87.5 8615 909989
97.80/97.82	o 3283
97.80/97.88	c 40.1329 87.5 8650 912781
97.80/97.88	o 3279
97.89/97.90	c 40.1419 87.5 8654 915514
97.89/97.90	o 3276
97.89/97.93	c 40.1529 87.5 8664 921295
97.89/97.93	o 3274
97.89/97.95	c 40.1659 87.5 8670 923269
97.89/97.95	o 3272
98.40/98.42	c 40.3499 87.5 9257 927638
98.40/98.42	o 3267
100.59/100.60	c 41.1757 87.5 6498 936262
100.59/100.60	o 3265
101.39/101.40	c 41.4797 87.5 6989 938203
101.39/101.40	o 3264
102.09/102.10	c 41.7726 87.5 7577 940671
102.09/102.10	o 3263
103.10/103.18	c 42.3706 87.5 8563 945238
103.10/103.18	o 3262
103.40/103.45	c 42.5055 87.5 8797 948470
103.40/103.45	o 3256
104.59/104.65	c 42.9245 87.5 9478 952029
104.59/104.65	o 3255
104.59/104.69	c 42.9445 87.5 9497 952710
104.59/104.69	o 3253
104.69/104.72	c 42.9565 87.5 9503 953796
104.69/104.72	o 3250
104.69/104.75	c 42.9735 87.5 9511 955371
104.69/104.75	o 3247
104.69/104.79	c 42.9915 87.5 9530 958641
104.69/104.79	o 3243
104.89/104.90	c 43.0385 87.5 9595 959635
104.89/104.90	o 3242
105.19/105.27	c 43.1614 87.5 9874 961364
105.19/105.27	o 3241
108.09/108.13	c 44.1833 87.5 7128 970942
108.09/108.13	o 3240
108.30/108.35	c 44.2623 87.5 7275 973189
108.30/108.35	o 3239
110.00/110.03	c 45.1091 87.5 8445 980948
110.00/110.03	o 3238
114.00/114.02	c 46.5119 87.5 6293 996506
114.00/114.02	o 3237
114.10/114.17	c 46.5829 87.5 6395 998192
114.10/114.17	o 3236
114.10/114.19	c 46.5959 87.5 6399 999250
114.10/114.19	o 3235
115.09/115.16	c 46.9499 87.5 7121 1002744
115.09/115.16	o 3234
119.19/119.30	c 48.6516 87.5 5808 1013845
119.19/119.30	o 3233
119.39/119.43	c 48.6986 87.5 5870 1017114
119.39/119.43	o 3232
119.60/119.69	c 48.7986 87.5 6119 1019937
119.60/119.69	o 3231
120.09/120.16	c 48.9995 87.5 6481 1024404
120.09/120.16	o 3230
120.80/120.90	c 49.3135 87.5 7408 1028200
120.80/120.90	o 3229
121.40/121.41	c 49.4965 87.5 7925 1034566
121.40/121.41	o 3228
121.40/121.43	c 49.5065 87.5 7928 1035350
121.40/121.43	o 3227
121.40/121.47	c 49.5205 87.5 7940 1036343
121.40/121.47	o 3226
122.40/122.44	c 50.0004 87.5 8795 1042952
122.40/122.44	o 3224
122.89/122.94	c 50.2774 87.5 9370 1045181
122.89/122.94	o 3223
123.50/123.58	c 50.5583 87.5 5103 1051895
123.50/123.58	o 3221
123.89/123.96	c 50.7113 87.5 5457 1055714
123.89/123.96	o 3220
124.30/124.37	c 50.8873 87.5 5848 1060353
124.30/124.37	o 3218
124.70/124.77	c 51.0372 87.5 6109 1062635
124.70/124.77	o 3216
125.79/125.81	c 51.4422 87.5 7048 1068228
125.79/125.81	o 3215
126.30/126.33	c 51.6551 87.5 7507 1071603
126.30/126.33	o 3213
127.80/127.83	c 52.2141 87.5 8519 1075608
127.80/127.83	o 3212
138.19/138.22	c 56.5064 87.5 9708 1091545
138.19/138.22	o 3211
138.19/138.28	c 56.5414 87.5 9740 1093082
138.19/138.28	o 3210
140.20/140.24	c 57.3453 87.5 6502 1105135
140.20/140.24	o 3209
140.49/140.52	c 57.4563 87.5 6733 1107606
140.49/140.52	o 3208
140.70/140.75	c 57.5513 87.5 6948 1112532
140.70/140.75	o 3207
141.90/141.97	c 58.0812 87.5 7911 1119484
141.90/141.97	o 3206
142.20/142.28	c 58.2541 87.5 8287 1122886
142.20/142.28	o 3205
142.80/142.86	c 58.5191 87.5 8660 1124414
142.80/142.86	o 3204
143.89/143.94	c 58.954 87.5 9618 1129800
143.89/143.94	o 3203
144.00/144.05	c 59.011 87.5 9728 1131016
144.00/144.05	o 3202
144.20/144.29	c 59.088 87.5 9890 1132783
144.20/144.29	o 3201
145.69/145.75	c 59.6739 87.5 6954 1139699
145.69/145.75	o 3200
146.20/146.29	c 59.8629 87.5 7305 1141615
146.20/146.29	o 3199
148.40/148.45	c 60.7318 87.5 9118 1150210
148.40/148.45	o 3197
148.40/148.48	c 60.7488 87.5 9123 1151315
148.40/148.48	o 3196
148.99/149.06	c 61.0517 87.5 9632 1154655
148.99/149.06	o 3195
149.39/149.42	c 61.2327 87.5 4988 1156859
149.39/149.42	o 3194
149.50/149.51	c 61.2667 87.5 5031 1158293
149.50/149.51	o 3193
149.50/149.56	c 61.2937 87.5 5060 1158904
149.50/149.56	o 3192
149.60/149.63	c 61.3227 87.5 5100 1159609
149.60/149.63	o 3191
151.70/151.77	c 62.1256 87.5 7257 1168248
151.70/151.77	o 3190
151.99/152.02	c 62.2115 87.5 7416 1169897
151.99/152.02	o 3189
152.69/152.75	c 62.4885 87.5 8186 1175125
152.69/152.75	o 3188
157.20/157.28	c 64.4652 87.5 5755 1182958
157.20/157.28	o 3187
157.30/157.32	c 64.4872 87.5 5768 1184551
157.30/157.32	o 3186
158.40/158.45	c 64.8961 87.5 6714 1191627
158.40/158.45	o 3185
159.30/159.34	c 65.2531 87.5 7451 1195320
159.30/159.34	o 3184
159.89/159.94	c 65.474 87.5 7935 1198236
159.89/159.94	o 3183
159.99/160.04	c 65.511 87.5 7975 1198869
159.99/160.04	o 3182
161.30/161.39	c 66.039 87.5 9010 1207038
161.30/161.39	o 3180
162.20/162.25	c 66.5159 87.5 9652 1209115
162.20/162.25	o 3179
162.40/162.45	c 66.6099 87.5 9773 1210019
162.40/162.45	o 3178
162.50/162.55	c 66.6539 87.5 9856 1211144
162.50/162.55	o 3177
162.70/162.74	c 66.7379 87.5 5050 1212552
162.70/162.74	o 3174
162.80/162.83	c 66.7768 87.5 5123 1213179
162.80/162.83	o 3173
163.09/163.12	c 66.8878 87.5 5336 1215601
163.09/163.12	o 3171
163.09/163.13	c 66.8968 87.5 5342 1216558
163.09/163.13	o 3170
165.29/165.34	c 67.7347 87.5 6895 1224148
165.29/165.34	o 3169
165.39/165.41	c 67.7637 87.5 6921 1225228
165.39/165.41	o 3168
166.80/166.83	c 68.2676 87.5 8186 1233106
166.80/166.83	o 3166
166.80/166.88	c 68.2906 87.5 8202 1235550
166.80/166.88	o 3164
167.30/167.35	c 68.4666 87.5 8496 1237251
167.30/167.35	o 3163
167.39/167.41	c 68.4996 87.5 8536 1237875
167.39/167.41	o 3162
167.49/167.51	c 68.5686 87.5 8646 1239351
167.49/167.51	o 3161
167.60/167.64	c 68.6336 87.5 8702 1240635
167.60/167.64	o 3160
168.10/168.16	c 68.9235 87.5 9249 1243827
168.10/168.16	o 3159
168.20/168.21	c 68.9555 87.5 9287 1244603
168.20/168.21	o 3157
168.30/168.31	c 69.0155 87.5 9333 1245482
168.30/168.31	o 3155
169.09/169.18	c 69.4454 87.5 5096 1249583
169.09/169.18	o 3154
169.99/170.00	c 69.8014 87.5 5807 1253804
169.99/170.00	o 3150
169.99/170.02	c 69.8144 87.5 5810 1254257
169.99/170.02	o 3149
170.50/170.56	c 70.0284 87.5 6282 1257169
170.50/170.56	o 3148
170.60/170.68	c 70.0773 87.5 6331 1257788
170.60/170.68	o 3147
170.80/170.83	c 70.1523 87.5 6455 1259149
170.80/170.83	o 3146
172.80/172.86	c 70.9492 87.5 8738 1264781
172.80/172.86	o 3144
173.39/173.47	c 71.1942 87.5 9103 1266345
173.39/173.47	o 3143
174.39/174.45	c 71.5601 87.5 5078 1271069
174.39/174.45	o 3142
174.39/174.47	c 71.5781 87.5 5084 1273203
174.39/174.47	o 3141
174.59/174.67	c 71.6751 87.5 5214 1275684
174.59/174.67	o 3133
176.80/176.86	c 72.624 87.5 7009 1284419
176.80/176.86	o 3132
176.89/176.90	c 72.645 87.5 7035 1285313
176.89/176.90	o 3131
184.10/184.14	c 75.3505 87.5 6551 1306522
184.10/184.14	o 3130
184.50/184.53	c 75.5115 87.5 6969 1309580
184.50/184.53	o 3129
184.50/184.57	c 75.5345 87.5 6989 1311154
184.50/184.57	o 3128
184.70/184.70	c 75.5885 87.5 7091 1313026
184.70/184.70	o 3127
184.70/184.73	c 75.6035 87.5 7098 1316064
184.70/184.73	o 3124
184.70/184.75	c 75.6115 87.5 7103 1317909
184.70/184.75	o 3122
184.80/184.87	c 75.6565 87.5 7171 1319547
184.80/184.87	o 3121
186.10/186.15	c 76.1284 87.5 8185 1325066
186.10/186.15	o 3120
186.29/186.31	c 76.1874 87.5 8322 1328080
186.29/186.31	o 3119
187.00/187.01	c 76.4044 87.5 8822 1330164
187.00/187.01	o 3118
187.79/187.83	c 76.8093 87.5 9314 1331590
187.79/187.83	o 3117
195.19/195.23	c 80.0218 87.5 14385 1342130
195.19/195.23	o 3116
195.81/195.81	c 80.2448 87.5 7669 1348350
195.81/195.81	o 3115
197.50/197.51	c 80.8297 87.5 8855 1354141
197.50/197.51	o 3114
197.91/197.92	c 80.9897 87.5 9139 1357093
197.91/197.92	o 3113
200.30/200.39	c 81.8726 87.5 6402 1367804
200.30/200.39	o 3112
202.70/202.74	c 82.9294 87.5 8593 1374964
202.70/202.74	o 3111
202.70/202.79	c 82.9544 87.5 8612 1375870
202.70/202.79	o 3110
203.40/203.45	c 83.2094 87.5 9209 1379694
203.40/203.45	o 3109
203.60/203.69	c 83.3193 87.5 9414 1382117
203.60/203.69	o 3107
204.00/204.00	c 83.4593 87.5 9721 1385271
204.00/204.00	o 3104
204.00/204.03	c 83.4733 87.5 9726 1385963
204.00/204.03	o 3101
204.00/204.08	c 83.4993 87.5 9746 1392007
204.00/204.08	o 3099
204.09/204.10	c 83.5123 87.5 9754 1393062
204.09/204.10	o 3094
205.50/205.55	c 84.0402 87.5 5633 1397107
205.50/205.55	o 3093
205.60/205.64	c 84.0812 87.5 5670 1397783
205.60/205.64	o 3092
205.60/205.69	c 84.1092 87.5 5695 1399732
205.60/205.69	o 3091
205.80/205.81	c 84.1592 87.5 5801 1403315
205.80/205.81	o 3089
206.10/206.15	c 84.2582 87.5 6074 1405538
206.10/206.15	o 3086
206.10/206.19	c 84.2782 87.5 6092 1407653
206.10/206.19	o 3085
206.20/206.23	c 84.2942 87.5 6116 1409379
206.20/206.23	o 3083
206.29/206.31	c 84.3232 87.5 6171 1411547
206.29/206.31	o 3082
206.39/206.43	c 84.3832 87.5 6396 1413794
206.39/206.43	o 3081
207.09/207.11	c 84.6341 87.5 6910 1417101
207.09/207.11	o 3079
207.30/207.37	c 84.7821 87.5 7047 1419466
207.30/207.37	o 3078
209.70/209.72	c 85.75 87.5 8872 1426385
209.70/209.72	o 3077
209.80/209.83	c 85.781 87.5 8923 1428535
209.80/209.83	o 3076
209.90/209.99	c 85.8359 87.5 9021 1429510
209.90/209.99	o 3074
214.40/214.46	c 87.7097 87.5 8315 1442253
214.40/214.46	o 3073
216.10/216.12	c 88.4356 87.5 9691 1449846
216.10/216.12	o 3071
216.49/216.56	c 88.6295 87.5 5155 1453549
216.49/216.56	o 3070
218.49/218.54	c 89.4434 87.5 6818 1460770
218.49/218.54	o 3069
218.70/218.77	c 89.5304 87.5 6934 1462132
218.70/218.77	o 3067
218.80/218.86	c 89.5654 87.5 6991 1462836
218.80/218.86	o 3066
219.19/219.24	c 89.7034 87.5 7184 1464677
219.19/219.24	o 3065
219.80/219.89	c 89.9243 87.5 7748 1469647
219.80/219.89	o 3062
220.70/220.74	c 90.4253 87.5 8613 1472305
220.70/220.74	o 3058
228.29/228.38	c 93.4378 87.5 15298 1483169
228.29/228.38	o 3057
233.21/233.28	c 95.3365 87.5 6315 1502381
233.21/233.28	o 3056
234.80/234.89	c 96.1854 87.5 7892 1510218
234.80/234.89	o 3055
235.00/235.01	c 96.2374 87.5 7959 1511060
235.00/235.01	o 3054
235.20/235.27	c 96.3394 87.5 8180 1513713
235.20/235.27	o 3053
235.30/235.39	c 96.3893 87.5 8292 1515976
235.30/235.39	o 3052
235.89/235.91	c 96.5853 87.5 8724 1519640
235.89/235.91	o 3051
236.10/236.18	c 96.6883 87.5 8993 1522007
236.10/236.18	o 3050
236.30/236.35	c 96.7653 87.5 9150 1523397
236.30/236.35	o 3047
236.30/236.39	c 96.7863 87.5 9163 1524376
236.30/236.39	o 3046
236.51/236.57	c 96.8503 87.5 9280 1526212
236.51/236.57	o 3045
237.00/237.08	c 97.0512 87.5 9728 1530042
237.00/237.08	o 3043
238.39/238.49	c 97.6152 87.5 6035 1535893
238.39/238.49	o 3042
238.60/238.62	c 97.6782 87.5 6154 1537307
238.60/238.62	o 3039
238.60/238.69	c 97.7171 87.5 6269 1538520
238.60/238.69	o 3038
238.70/238.75	c 97.7331 87.5 6287 1539119
238.70/238.75	o 3037
238.70/238.77	c 97.7421 87.5 6291 1541465
238.70/238.77	o 3034
238.80/238.82	c 97.7561 87.5 6308 1543441
238.80/238.82	o 3033
239.80/239.85	c 98.1961 87.5 7428 1547496
239.80/239.85	o 3032
241.29/241.37	c 98.972 87.5 8670 1551633
241.29/241.37	o 3031
242.09/242.15	c 99.2609 87.5 9269 1555046
242.09/242.15	o 3030
242.50/242.59	c 99.4479 87.5 9896 1559103
242.50/242.59	o 3029
243.90/243.93	c 99.9658 87.5 6068 1563489
243.90/243.93	o 3028
246.40/246.41	c 100.902 87.5 8055 1572470
246.40/246.41	o 3027
246.99/247.04	c 101.234 87.5 8596 1575296
246.99/247.04	o 3025
248.50/248.52	c 101.932 87.5 5029 1584713
248.50/248.52	o 3023
250.00/250.04	c 102.564 87.5 6774 1590793
250.00/250.04	o 3022
250.19/250.28	c 102.675 87.5 6971 1592277
250.19/250.28	o 3021
250.89/250.95	c 102.927 87.5 7512 1595655
250.89/250.95	o 3019
251.10/251.14	c 103.003 87.5 7724 1597400
251.10/251.14	o 3018
251.69/251.70	c 103.245 87.5 8305 1601114
251.69/251.70	o 3017
254.00/254.03	c 104.237 87.5 5333 1608456
254.00/254.03	o 3015
254.10/254.16	c 104.3 87.5 5492 1610622
254.10/254.16	o 3014
258.79/258.84	c 106.183 87.5 9126 1622808
258.79/258.84	o 3013
259.20/259.29	c 106.369 87.5 9467 1625525
259.20/259.29	o 3012
259.40/259.41	c 106.419 87.5 9537 1626211
259.40/259.41	o 3011
259.90/259.95	c 106.697 87.5 9960 1628959
259.90/259.95	o 3010
260.40/260.46	c 106.992 87.5 5294 1631799
260.40/260.46	o 3008
261.39/261.43	c 107.362 87.5 5888 1636704
261.39/261.43	o 3006
261.49/261.53	c 107.408 87.5 6000 1638295
261.49/261.53	o 3005
261.60/261.61	c 107.443 87.5 6111 1640137
261.60/261.61	o 3004
261.70/261.72	c 107.491 87.5 6168 1642276
261.70/261.72	o 3003
261.80/261.81	c 107.531 87.5 6223 1648604
261.80/261.81	o 3000
261.89/261.92	c 107.579 87.5 6410 1651403
261.89/261.92	o 2998
264.10/264.11	c 108.382 87.5 8406 1656204
264.10/264.11	o 2997
264.20/264.23	c 108.439 87.5 8509 1657399
264.20/264.23	o 2996
264.50/264.55	c 108.567 87.5 8839 1659915
264.50/264.55	o 2991
265.69/265.70	c 109.023 87.5 5035 1666180
265.69/265.70	o 2990
265.80/265.82	c 109.061 87.5 5095 1667255
265.80/265.82	o 2989
266.70/266.76	c 109.569 87.5 6229 1672030
266.70/266.76	o 2988
267.00/267.04	c 109.734 87.5 6450 1673816
267.00/267.04	o 2987
268.20/268.25	c 110.21 87.5 7557 1679405
268.20/268.25	o 2986
268.31/268.30	c 110.231 87.5 7578 1680323
268.31/268.30	o 2985
268.31/268.33	c 110.245 87.5 7586 1682275
268.31/268.33	o 2984
268.31/268.40	c 110.267 87.5 7619 1683516
268.31/268.40	o 2983
269.40/269.47	c 110.674 87.5 8665 1687749
269.40/269.47	o 2982
269.40/269.50	c 110.693 87.5 8673 1688414
269.40/269.50	o 2981
270.20/270.26	c 110.979 87.5 9176 1691864
270.20/270.26	o 2980
270.80/270.86	c 111.183 87.5 9581 1693917
270.80/270.86	o 2979
271.00/271.05	c 111.271 87.5 9722 1695646
271.00/271.05	o 2976
272.80/272.89	c 112.061 87.5 6332 1703482
272.80/272.89	o 2974
273.39/273.44	c 112.362 87.5 6671 1704933
273.39/273.44	o 2973
301.90/301.99	c 124.342 87.5 7087 1755938
301.90/301.99	o 2972
302.10/302.12	c 124.399 87.5 7180 1757189
302.10/302.12	o 2971
304.10/304.13	c 125.119 87.5 8484 1762799
304.10/304.13	o 2970
305.39/305.41	c 125.608 87.5 9440 1769915
305.39/305.41	o 2969
306.30/306.35	c 126.132 87.5 5144 1774710
306.30/306.35	o 2967
306.40/306.47	c 126.194 87.5 5219 1775866
306.40/306.47	o 2966
308.30/308.31	c 126.997 87.5 7779 1783014
308.30/308.31	o 2965
308.50/308.55	c 127.084 87.5 7925 1784825
308.50/308.55	o 2964
308.89/308.94	c 127.247 87.5 8299 1786815
308.89/308.94	o 2963
309.01/309.09	c 127.306 87.5 8371 1787306
309.01/309.09	o 2962
309.20/309.20	c 127.346 87.5 8416 1788020
309.20/309.20	o 2961
309.30/309.31	c 127.394 87.5 8535 1789190
309.30/309.31	o 2957
310.20/310.21	c 127.714 87.5 9274 1792760
310.20/310.21	o 2956
310.40/310.44	c 127.812 87.5 9447 1793696
310.40/310.44	o 2955
310.70/310.79	c 127.944 87.5 9694 1795870
310.70/310.79	o 2954
310.90/310.92	c 127.998 87.5 9757 1796707
310.90/310.92	o 2953
311.00/311.00	c 128.026 87.5 9798 1797304
311.00/311.00	o 2952
319.60/319.62	c 131.779 87.5 6396 1821819
319.60/319.62	o 2951
321.20/321.23	c 132.448 87.5 8049 1828342
321.20/321.23	o 2950
326.10/326.19	c 134.356 87.5 6377 1840986
326.10/326.19	o 2949
326.20/326.29	c 134.403 87.5 6430 1842053
326.20/326.29	o 2948
326.50/326.50	c 134.487 87.5 6545 1844943
326.50/326.50	o 2945
326.60/326.65	c 134.566 87.5 6614 1850077
326.60/326.65	o 2944
326.71/326.80	c 134.628 87.5 6771 1851320
326.71/326.80	o 2942
327.00/327.00	c 134.702 87.5 6914 1853365
327.00/327.00	o 2941
327.60/327.66	c 134.94 87.5 7429 1858595
327.60/327.66	o 2940
328.40/328.41	c 135.242 87.5 8053 1861963
328.40/328.41	o 2937
333.00/333.08	c 137.166 87.5 6776 1873779
333.00/333.08	o 2935
333.90/333.90	c 137.463 87.5 7557 1878385
333.90/333.90	o 2932
334.60/334.66	c 137.755 87.5 8130 1882580
334.60/334.66	o 2930
335.00/335.00	c 137.875 87.5 8324 1884206
335.00/335.00	o 2929
335.00/335.03	c 137.89 87.5 8335 1885032
335.00/335.03	o 2928
336.00/336.01	c 138.298 87.5 9330 1891156
336.00/336.01	o 2927
336.40/336.47	c 138.474 87.5 9721 1893051
336.40/336.47	o 2926
339.70/339.73	c 139.976 87.5 7934 1901078
339.70/339.73	o 2925
340.30/340.30	c 140.204 87.5 8556 1904407
340.30/340.30	o 2924
341.60/341.61	c 140.71 87.5 9496 1909357
341.60/341.61	o 2922
342.30/342.34	c 140.976 87.5 10030 1912396
342.30/342.34	o 2921
342.80/342.86	c 141.167 87.5 5365 1914794
342.80/342.86	o 2920
343.90/343.98	c 141.619 87.5 6218 1920005
343.90/343.98	o 2919
348.90/348.94	c 143.91 87.5 6398 1937676
348.90/348.94	o 2918
350.60/350.63	c 144.522 87.5 7772 1945396
350.60/350.63	o 2917
350.80/350.83	c 144.611 87.5 7927 1946604
350.80/350.83	o 2916
352.10/352.19	c 145.271 87.5 8951 1950873
352.10/352.19	o 2915
353.20/353.23	c 145.731 87.5 9929 1955690
353.20/353.23	o 2914
353.50/353.57	c 145.86 87.5 10109 1956768
353.50/353.57	o 2913
354.90/354.97	c 146.406 87.5 6183 1963038
354.90/354.97	o 2912
355.10/355.14	c 146.468 87.5 6279 1964009
355.10/355.14	o 2911
355.30/355.34	c 146.545 87.5 6395 1965161
355.30/355.34	o 2907
355.30/355.37	c 146.561 87.5 6417 1966459
355.30/355.37	o 2906
355.90/355.97	c 146.77 87.5 7031 1968862
355.90/355.97	o 2903
356.10/356.13	c 146.827 87.5 7118 1970485
356.10/356.13	o 2902
356.20/356.28	c 146.896 87.5 7267 1971544
356.20/356.28	o 2901
357.51/357.57	c 147.417 87.5 8291 1977217
357.51/357.57	o 2900
363.70/363.72	c 149.875 87.5 7186 1989185
363.70/363.72	o 2899
402.50/402.51	c 166.377 88.2734 7753 2061459
402.50/402.52	o 2898
402.60/402.60	c 166.412 88.2734 7789 2063047
402.60/402.60	o 2897
403.60/403.62	c 166.778 88.2734 8555 2067134
403.60/403.62	o 2896
404.20/404.24	c 167.087 88.2734 9034 2069760
404.20/404.24	o 2895
407.41/407.48	c 168.455 88.2734 6891 2080761
407.41/407.48	o 2894
407.50/407.52	c 168.475 88.2734 6906 2082372
407.50/407.52	o 2893
408.40/408.48	c 168.814 88.2734 8074 2086716
408.40/408.48	o 2892
409.11/409.15	c 169.113 88.2734 8902 2091371
409.11/409.15	o 2891
410.00/410.09	c 169.493 88.2734 9694 2094913
410.00/410.09	o 2889
411.10/411.18	c 170.026 88.2734 5358 2098307
411.10/411.18	o 2888
411.60/411.69	c 170.285 88.2734 5933 2101518
411.60/411.69	o 2887
411.81/411.81	c 170.356 88.2734 6070 2104433
411.81/411.81	o 2886
412.11/412.18	c 170.484 88.2734 6480 2107658
412.11/412.18	o 2885
420.20/420.29	c 173.715 88.2734 6726 2127177
420.20/420.29	o 2884
420.40/420.46	c 173.787 88.2734 6939 2129952
420.40/420.46	o 2883
421.20/421.21	c 174.065 88.2734 7550 2134388
421.20/421.21	o 2880
421.31/421.31	c 174.111 88.2734 7665 2138991
421.31/421.31	o 2878
421.60/421.69	c 174.263 88.2734 8003 2142082
421.60/421.69	o 2877
422.10/422.15	c 174.447 88.2734 8437 2145420
422.10/422.15	o 2876
422.30/422.35	c 174.509 88.2734 8531 2147247
422.30/422.35	o 2875
423.71/423.76	c 175.057 88.2734 9551 2153647
423.71/423.76	o 2873
427.31/427.35	c 176.544 88.2734 6060 2159854
427.31/427.35	o 2871
428.20/428.21	c 176.91 88.2734 6998 2164108
428.20/428.21	o 2870
428.60/428.65	c 177.102 88.2734 7434 2166146
428.60/428.65	o 2869
429.21/429.27	c 177.374 88.2734 7969 2169198
429.21/429.27	o 2868
429.40/429.45	c 177.455 88.2734 8153 2171368
429.40/429.45	o 2867
430.70/430.74	c 178.061 88.2734 9245 2176197
430.70/430.74	o 2866
431.50/431.51	c 178.422 88.2734 9726 2177955
431.50/431.51	o 2865
431.70/431.71	c 178.504 88.2734 9917 2178873
431.70/431.71	o 2864
431.80/431.84	c 178.559 88.2734 10031 2180373
431.80/431.84	o 2860
432.21/432.24	c 178.738 88.2734 5505 2183814
432.21/432.24	o 2859
433.41/433.44	c 179.237 88.2734 6560 2189258
433.41/433.44	o 2858
433.60/433.67	c 179.323 88.2734 6771 2191413
433.60/433.67	o 2857
434.90/434.96	c 179.861 88.2734 8126 2198184
434.90/434.96	o 2856
435.60/435.62	c 180.125 88.2734 8922 2201101
435.60/435.62	o 2853
436.40/436.40	c 180.461 88.2734 9776 2206034
436.40/436.40	o 2852
436.50/436.54	c 180.522 88.2734 9904 2207806
436.50/436.54	o 2851
437.21/437.24	c 180.903 88.2734 5412 2211354
437.21/437.24	o 2848
437.31/437.30	c 180.933 88.2734 5434 2212510
437.31/437.30	o 2847
437.90/437.97	c 181.332 88.2734 6139 2217059
437.90/437.97	o 2844
438.00/438.01	c 181.358 88.2734 6154 2217900
438.00/438.01	o 2843
439.71/439.78	c 182.061 88.2734 7786 2224140
439.71/439.78	o 2842
440.01/440.09	c 182.17 88.2734 7987 2225309
440.01/440.09	o 2841
441.90/441.90	c 182.882 88.2734 9737 2232384
441.90/441.90	o 2840
444.20/444.25	c 183.923 88.2734 6653 2240899
444.20/444.25	o 2839
444.70/444.71	c 184.158 88.2734 7002 2243263
444.70/444.71	o 2837
444.90/444.92	c 184.249 88.2734 7156 2244648
444.90/444.92	o 2836
444.90/444.99	c 184.282 88.2734 7260 2246416
444.90/444.99	o 2835
445.00/445.04	c 184.309 88.2734 7367 2247850
445.00/445.04	o 2834
446.80/446.88	c 184.96 88.2734 8538 2254781
446.80/446.88	o 2833
447.00/447.07	c 185.042 88.2734 8704 2255856
447.00/447.07	o 2832
447.40/447.47	c 185.197 88.2734 9060 2257851
447.40/447.47	o 2831
449.90/449.99	c 186.264 88.2734 5856 2264596
449.90/449.99	o 2829
450.70/450.77	c 186.695 88.2734 6388 2267637
450.70/450.77	o 2828
454.10/454.19	c 188.114 88.2734 9671 2276152
454.10/454.19	o 2827
456.80/456.89	c 189.422 88.2734 12429 2281912
456.80/456.89	o 2826
457.80/457.81	c 189.893 88.2734 7020 2288345
457.80/457.81	o 2823
457.80/457.88	c 189.93 88.2734 7069 2289740
457.80/457.88	o 2822
457.90/457.95	c 189.959 88.2734 7116 2290995
457.90/457.95	o 2821
458.01/458.04	c 189.98 88.2734 7155 2292771
458.01/458.04	o 2817
458.50/458.50	c 190.151 88.2734 7412 2295760
458.50/458.50	o 2816
458.71/458.78	c 190.259 88.2734 7729 2297622
458.71/458.78	o 2815
459.00/459.00	c 190.351 88.2734 7913 2298999
459.00/459.00	o 2814
460.21/460.21	c 190.829 88.2734 9042 2303586
460.21/460.21	o 2813
461.31/461.36	c 191.274 88.2734 9918 2307974
461.31/461.36	o 2811
463.01/463.01	c 191.963 88.2734 6529 2316947
463.01/463.01	o 2808
465.70/465.75	c 193.288 88.2734 8871 2324939
465.70/465.75	o 2807
467.00/467.04	c 193.825 88.2734 9966 2330347
467.00/467.04	o 2806
467.21/467.26	c 193.906 88.2734 10139 2331437
467.21/467.26	o 2805
467.40/467.44	c 193.983 88.2734 5189 2332761
467.40/467.44	o 2804
467.40/467.46	c 193.994 88.2734 5203 2333398
467.40/467.46	o 2803
467.80/467.84	c 194.148 88.2734 5485 2335989
467.80/467.84	o 2802
468.30/468.35	c 194.356 88.2734 5779 2338407
468.30/468.35	o 2801
471.40/471.43	c 195.868 88.2734 8601 2349091
471.40/471.43	o 2798
472.20/472.21	c 196.186 88.2734 9271 2352599
472.20/472.21	o 2797
473.70/473.76	c 196.779 88.2734 10050 2354759
473.70/473.76	o 2796
474.80/474.82	c 197.177 88.2734 5701 2359560
474.80/474.82	o 2795
475.50/475.57	c 197.481 88.2734 6266 2363611
475.50/475.57	o 2794
476.00/476.07	c 197.7 88.2734 6587 2366030
476.00/476.07	o 2793
479.00/479.04	c 199.067 88.2734 9411 2378089
479.00/479.04	o 2792
482.41/482.47	c 200.347 88.2734 6409 2384316
482.41/482.47	o 2791
482.71/482.71	c 200.471 88.2734 6550 2385580
482.71/482.71	o 2790
482.71/482.77	c 200.511 88.2734 6590 2386328
482.71/482.77	o 2785
485.50/485.51	c 201.711 88.2734 8865 2397047
485.50/485.51	o 2784
486.50/486.51	c 202.096 88.2734 9718 2401584
486.50/486.51	o 2783
495.80/495.85	c 206.017 88.2734 8144 2433411
495.80/495.85	o 2782
496.01/496.09	c 206.156 88.2734 8282 2434859
496.01/496.09	o 2781
502.11/502.18	c 209.113 88.2734 7489 2448884
502.11/502.18	o 2780
506.01/506.06	c 210.862 88.2734 6326 2462222
506.01/506.06	o 2779
507.21/507.25	c 211.322 88.2734 7310 2467140
507.21/507.25	o 2778
510.21/510.27	c 212.753 88.2734 9458 2473660
510.21/510.27	o 2777
513.50/513.59	c 214.066 88.2734 7179 2485294
513.50/513.59	o 2776
513.61/513.62	c 214.084 88.2734 7184 2485925
513.61/513.62	o 2775
513.61/513.69	c 214.11 88.2734 7222 2486501
513.61/513.69	o 2774
580.71/580.73	c 243.869 89.8438 13293 2599543
580.71/580.73	o 2773
582.41/582.48	c 244.76 89.8438 7992 2610126
582.41/582.48	o 2772
582.61/582.68	c 244.869 89.8438 8138 2612228
582.61/582.68	o 2771
585.80/585.83	c 246.115 89.8438 6193 2623198
585.80/585.83	o 2770
586.21/586.29	c 246.304 89.8438 6561 2624663
586.21/586.29	o 2769
586.40/586.49	c 246.381 89.8438 6731 2625968
586.40/586.49	o 2768
586.51/586.56	c 246.407 89.8438 6764 2626398
586.51/586.56	o 2767
592.81/592.80	c 249.569 89.8438 7118 2648903
592.81/592.80	o 2765
593.91/593.98	c 250.427 89.8438 7799 2650268
593.91/593.98	o 2764
594.01/594.03	c 250.468 89.8438 7829 2651365
594.01/594.03	o 2763
594.71/594.76	c 250.888 89.8438 8466 2654910
594.71/594.76	o 2762
595.01/595.10	c 251.098 89.8438 8677 2657096
595.01/595.10	o 2757
595.70/595.75	c 251.527 89.8438 9220 2660265
595.70/595.75	o 2756
596.31/596.35	c 251.948 89.8438 9874 2663799
596.31/596.35	o 2754
597.31/597.31	c 252.709 89.8438 5486 2667227
597.31/597.31	o 2752
598.50/598.53	c 253.559 89.8438 6310 2670090
598.50/598.53	o 2751
598.80/598.81	c 253.773 89.8438 6461 2673236
598.80/598.81	o 2750
599.20/599.26	c 254.116 89.8438 6925 2675877
599.20/599.26	o 2749
604.21/604.23	c 257.569 89.8438 5922 2691255
604.21/604.23	o 2748
604.21/604.29	c 257.613 89.8438 5943 2694910
604.21/604.29	o 2747
610.21/610.23	c 261.825 89.8438 7126 2709863
610.21/610.23	o 2746
610.51/610.58	c 262.067 89.8438 7562 2713222
610.51/610.58	o 2743
610.61/610.69	c 262.14 89.8438 7629 2714076
610.61/610.69	o 2742
611.70/611.77	c 262.937 89.8438 8425 2718364
611.70/611.77	o 2739
613.71/613.74	c 264.371 89.8438 5522 2725652
613.71/613.74	o 2738
613.71/613.80	c 264.417 89.8438 5548 2727274
613.71/613.80	o 2735
616.31/616.35	c 266.115 89.8438 7397 2735054
616.31/616.35	o 2733
616.90/616.94	c 266.561 89.8438 7980 2737710
616.90/616.94	o 2732
617.12/617.11	c 266.681 89.8438 8055 2738263
617.12/617.11	o 2731
618.31/618.33	c 267.549 89.8438 9067 2743116
618.31/618.33	o 2729
619.61/619.66	c 268.509 89.8438 5328 2747038
619.61/619.66	o 2728
624.00/624.06	c 271.644 89.8438 9939 2760208
624.00/624.06	o 2727
624.90/624.92	c 272.254 89.8438 5396 2764152
624.90/624.92	o 2723
625.51/625.56	c 272.711 89.8438 5986 2767457
625.51/625.56	o 2722
626.11/626.17	c 273.145 89.8438 6709 2770303
626.11/626.17	o 2720
629.11/629.11	c 275.158 89.8438 9229 2781320
629.11/629.11	o 2718
629.30/629.35	c 275.339 89.8438 9440 2782946
629.30/629.35	o 2717
631.01/631.00	c 276.557 89.8438 5822 2790575
631.01/631.00	o 2716
632.70/632.72	c 277.847 89.8438 7375 2796733
632.70/632.72	o 2713
632.91/632.99	c 278.068 89.8438 7698 2798399
632.91/632.99	o 2710
633.30/633.38	c 278.358 89.8438 7998 2800397
633.30/633.38	o 2709
634.50/634.53	c 279.078 89.8438 9081 2803524
634.50/634.53	o 2708
637.21/637.24	c 280.992 89.8438 10666 2806838
637.21/637.24	o 2707
637.50/637.56	c 281.251 89.8438 5668 2809196
637.50/637.56	o 2706
638.81/638.84	c 282.217 89.8438 6768 2813691
638.81/638.84	o 2705
639.41/639.42	c 282.642 89.8438 7209 2816153
639.41/639.42	o 2704
639.41/639.46	c 282.672 89.8438 7236 2816717
639.41/639.46	o 2703
642.70/642.77	c 284.951 89.8438 9973 2827208
642.70/642.77	o 2700
643.10/643.15	c 285.233 89.8438 5182 2830213
643.10/643.15	o 2699
643.10/643.18	c 285.257 89.8438 5191 2830586
643.10/643.18	o 2698
643.41/643.43	c 285.445 89.8438 5554 2832886
643.41/643.43	o 2696
644.20/644.28	c 286.042 89.8438 6069 2835661
644.20/644.28	o 2693
644.41/644.47	c 286.178 89.8438 6221 2837154
644.41/644.47	o 2692
644.71/644.74	c 286.377 89.8438 6468 2838696
644.71/644.74	o 2691
644.90/644.97	c 286.539 89.8438 6629 2840280
644.90/644.97	o 2689
645.00/645.06	c 286.599 89.8438 6765 2841468
645.00/645.06	o 2688
646.21/646.29	c 287.485 89.8438 7963 2846645
646.21/646.29	o 2687
649.02/649.06	c 289.413 89.8438 10360 2852929
649.02/649.06	o 2686
649.10/649.15	c 289.464 89.8438 5207 2853498
649.10/649.15	o 2684
649.60/649.63	c 289.719 89.8438 5647 2856169
649.60/649.63	o 2683
653.01/653.00	c 291.684 89.8438 8294 2864675
653.01/653.00	o 2682
654.01/654.08	c 292.323 89.8438 9305 2869642
654.01/654.08	o 2681
658.51/658.54	c 295.518 89.8438 7484 2880389
658.51/658.54	o 2680
659.60/659.60	c 296.306 89.8438 8481 2886044
659.60/659.60	o 2679
660.41/660.49	c 296.851 89.8438 9398 2889364
660.41/660.49	o 2678
660.50/660.59	c 296.922 89.8438 9452 2893256
660.50/660.59	o 2677
660.61/660.64	c 296.949 89.8438 9481 2894258
660.61/660.64	o 2676
661.01/661.04	c 297.201 89.8438 9922 2896761
661.01/661.04	o 2675
661.51/661.56	c 297.606 89.8438 5269 2899785
661.51/661.56	o 2674
661.71/661.72	c 297.72 89.8438 5436 2900930
661.71/661.72	o 2673
661.81/661.83	c 297.813 89.8438 5588 2902260
661.81/661.83	o 2672
662.11/662.16	c 298.042 89.8438 5854 2903543
662.11/662.16	o 2670
664.21/664.21	c 299.567 89.8438 7879 2911964
664.21/664.21	o 2669
665.20/665.24	c 300.355 89.8438 9019 2915945
665.20/665.24	o 2668
665.30/665.38	c 300.461 89.8438 9160 2917098
665.30/665.38	o 2667
669.92/669.91	c 303.592 89.8438 8814 2931079
669.92/669.91	o 2666
671.21/671.22	c 304.601 89.8438 9949 2936143
671.21/671.22	o 2665
673.11/673.14	c 305.937 89.8438 6272 2944748
673.11/673.14	o 2664
673.30/673.31	c 306.037 89.8438 6370 2946168
673.30/673.31	o 2663
678.21/678.25	c 309.501 89.8438 9540 2952783
678.21/678.25	o 2662
678.21/678.29	c 309.538 89.8438 9563 2953414
678.21/678.29	o 2661
678.31/678.35	c 309.576 89.8438 9588 2954039
678.31/678.35	o 2660
681.21/681.29	c 311.627 89.8438 7362 2964532
681.21/681.29	o 2659
681.71/681.73	c 311.958 89.8438 7760 2967063
681.71/681.73	o 2658
682.02/682.08	c 312.233 89.8438 7983 2968978
682.02/682.08	o 2657
682.61/682.69	c 312.682 89.8438 8564 2971674
682.61/682.69	o 2656
684.81/684.82	c 314.253 89.8438 5911 2980072
684.81/684.82	o 2655
685.22/685.30	c 314.595 89.8438 6252 2982874
685.22/685.30	o 2654
686.91/686.91	c 315.644 89.8438 7903 2988730
686.91/686.91	o 2653
687.01/687.03	c 315.721 89.8438 7961 2989262
687.01/687.03	o 2652
687.11/687.20	c 315.835 89.8438 8073 2990883
687.21/687.20	o 2651
687.31/687.34	c 315.943 89.8438 8143 2991973
687.31/687.34	o 2650
717.61/717.67	c 338.198 89.8438 7167 3052291
717.61/717.67	o 2649
717.91/717.97	c 338.411 89.8438 7389 3055435
717.91/717.97	o 2648
718.41/718.40	c 338.737 89.8438 7846 3060491
718.41/718.40	o 2647
721.81/721.82	c 341.154 89.8438 6048 3074299
721.81/721.82	o 2646
722.11/722.11	c 341.377 89.8438 6240 3076732
722.11/722.12	o 2644
722.91/722.97	c 342.02 89.8438 7118 3079869
722.91/722.97	o 2642
723.11/723.15	c 342.155 89.8438 7244 3082935
723.11/723.15	o 2641
723.41/723.46	c 342.372 89.8438 7443 3084998
723.41/723.46	o 2637
724.70/724.74	c 343.345 89.8438 8674 3090126
724.70/724.74	o 2636
724.70/724.80	c 343.384 89.8438 8701 3090745
724.70/724.80	o 2635
725.21/725.28	c 343.746 89.8438 9265 3093628
725.21/725.28	o 2634
726.71/726.74	c 344.678 89.8438 5491 3100052
726.71/726.74	o 2633
727.71/727.77	c 345.435 89.8438 6325 3104117
727.71/727.77	o 2632
728.00/728.05	c 345.62 89.8438 6497 3105328
728.00/728.05	o 2631
729.81/729.80	c 346.917 89.8438 8050 3112109
729.81/729.80	o 2630
731.52/731.58	c 348.237 89.8438 9382 3116256
731.52/731.58	o 2629
732.31/732.30	c 348.705 89.8438 9910 3119836
732.31/732.30	o 2628
732.40/732.40	c 348.759 89.8438 9956 3120513
732.40/732.40	o 2627
732.40/732.46	c 348.791 89.8438 9980 3121088
732.40/732.46	o 2625
732.51/732.51	c 348.822 89.8438 10005 3121911
732.51/732.51	o 2623
733.31/733.40	c 349.439 89.8438 5588 3125466
733.31/733.40	o 2622
734.01/734.01	c 349.895 89.8438 6081 3127149
734.01/734.01	o 2621
735.51/735.53	c 351.009 89.8438 7248 3131658
735.51/735.53	o 2620
735.51/735.56	c 351.034 89.8438 7255 3132577
735.51/735.56	o 2618
735.61/735.68	c 351.103 89.8438 7333 3133135
735.61/735.68	o 2617
738.71/738.74	c 353.264 89.8438 9173 3138844
738.71/738.74	o 2616
738.81/738.82	c 353.306 89.8438 9224 3139709
738.81/738.82	o 2615
739.81/739.85	c 353.978 89.8438 10304 3144637
739.81/739.85	o 2614
740.01/740.07	c 354.151 89.8438 5362 3146963
740.01/740.07	o 2613
740.11/740.20	c 354.246 89.8438 5437 3147603
740.11/740.20	o 2612
745.31/745.35	c 358.007 89.8438 5289 3158398
745.31/745.35	o 2610
747.71/747.75	c 359.707 89.8438 7327 3167630
747.71/747.75	o 2609
749.91/749.93	c 361.297 89.8438 9287 3175971
749.91/749.93	o 2608
753.21/753.25	c 363.601 89.8438 6020 3182493
753.21/753.25	o 2607
753.41/753.43	c 363.737 89.8438 6163 3183592
753.41/753.43	o 2606
754.51/754.52	c 364.538 89.8438 7079 3188725
754.51/754.52	o 2602
755.01/755.05	c 364.938 89.8438 7446 3190554
755.01/755.05	o 2601
755.41/755.42	c 365.204 89.8438 7721 3192042
755.41/755.42	o 2599
755.81/755.86	c 365.494 89.8438 8058 3194128
755.81/755.86	o 2598
758.71/758.70	c 367.494 89.8438 10255 3202652
758.71/758.70	o 2595
760.31/760.31	c 368.63 89.8438 6291 3205460
760.31/760.31	o 2594
764.52/764.59	c 371.832 89.8438 9857 3219126
764.52/764.59	o 2593
765.11/765.15	c 372.159 89.8438 10264 3221298
765.11/765.15	o 2592
765.31/765.31	c 372.232 89.8438 10357 3222088
765.31/765.31	o 2591
771.21/771.28	c 376.523 89.8438 10094 3239181
771.21/771.28	o 2590
771.81/771.86	c 376.839 89.8438 10412 3241114
771.81/771.86	o 2589
772.01/772.05	c 376.95 89.8438 5336 3242177
772.01/772.05	o 2588
793.72/793.75	c 392.691 89.8438 6208 3300162
793.72/793.75	o 2587
794.41/794.48	c 393.229 89.8438 6789 3303600
794.41/794.48	o 2585
795.11/795.14	c 393.754 89.8438 7425 3307532
795.11/795.14	o 2584
795.21/795.28	c 393.852 89.8438 7549 3310551
795.21/795.28	o 2583
795.81/795.89	c 394.302 89.8438 8093 3315697
795.81/795.89	o 2582
796.61/796.62	c 394.855 89.8438 8565 3318119
796.61/796.62	o 2581
798.11/798.11	c 395.852 89.8438 9787 3324107
798.11/798.11	o 2580
798.11/798.15	c 395.876 89.8438 9799 3324696
798.11/798.15	o 2579
799.31/799.38	c 396.763 89.8438 5890 3330456
799.31/799.38	o 2578
800.21/800.23	c 397.408 89.8438 6627 3334088
800.21/800.23	o 2577
800.71/800.79	c 397.827 89.8438 7363 3338270
800.71/800.79	o 2576
801.11/801.18	c 398.115 89.8438 7699 3340081
801.11/801.18	o 2575
804.91/804.90	c 400.736 89.8438 10600 3349071
804.91/804.90	o 2574
805.61/805.64	c 401.241 89.8438 5785 3351604
805.61/805.64	o 2573
805.91/805.97	c 401.49 89.8438 6080 3354010
805.91/805.97	o 2572
806.11/806.16	c 401.639 89.8438 6300 3356482
806.11/806.16	o 2570
807.01/807.01	c 402.285 89.8438 6968 3359483
807.01/807.01	o 2569
807.01/807.07	c 402.339 89.8438 6990 3359897
807.01/807.07	o 2568
807.21/807.30	c 402.505 89.8438 7159 3361211
807.21/807.30	o 2567
807.91/807.91	c 402.976 89.8438 7629 3363570
807.91/807.91	o 2566
809.71/809.70	c 404.3 89.8438 9152 3370516
809.71/809.70	o 2563
810.51/810.51	c 404.913 89.8438 9939 3374565
810.51/810.51	o 2562
811.91/811.91	c 405.79 89.8438 6032 3380129
811.91/811.91	o 2561
812.21/812.23	c 406.035 89.8438 6435 3382260
812.21/812.23	o 2560
812.32/812.35	c 406.12 89.8438 6502 3382751
812.32/812.35	o 2559
812.32/812.38	c 406.151 89.8438 6515 3383327
812.32/812.38	o 2558
812.41/812.45	c 406.207 89.8438 6545 3384153
812.41/812.45	o 2554
816.31/816.34	c 409.112 89.8438 10630 3393960
816.31/816.34	o 2553
816.71/816.70	c 409.391 89.8438 5715 3396023
816.71/816.70	o 2552
818.01/818.03	c 410.231 89.8438 7144 3403539
818.01/818.03	o 2551
820.31/820.30	c 411.907 89.8438 8855 3409622
820.31/820.30	o 2550
820.71/820.72	c 412.209 89.8438 9161 3411291
820.71/820.72	o 2549
821.31/821.30	c 412.649 89.8438 9512 3413319
821.31/821.30	o 2548
821.42/821.42	c 412.728 89.8438 9569 3413751
821.42/821.42	o 2547
821.92/821.97	c 413.132 89.8438 10160 3415714
821.92/821.97	o 2546
822.21/822.27	c 413.355 89.8438 5231 3417111
822.21/822.27	o 2545
823.71/823.78	c 414.46 89.8438 6659 3422990
823.71/823.78	o 2544
824.81/824.81	c 415.055 89.8438 7490 3425653
824.81/824.81	o 2543
826.12/826.12	c 416.051 89.8438 8708 3430408
826.12/826.12	o 2542
827.41/827.42	c 417.024 89.8438 9832 3434776
827.41/827.42	o 2540
827.61/827.67	c 417.211 89.8438 9991 3435789
827.61/827.67	o 2538
827.61/827.69	c 417.227 89.8438 9995 3436332
827.61/827.69	o 2537
828.31/828.39	c 417.728 89.8438 5425 3439101
828.31/828.39	o 2536
829.32/829.36	c 418.464 89.8438 6119 3442761
829.32/829.36	o 2535
832.01/832.04	c 420.208 89.8438 8123 3450402
832.01/832.04	o 2534
832.72/832.76	c 420.744 89.8438 8729 3453848
832.72/832.76	o 2533
833.21/833.28	c 421.105 89.8438 9141 3455045
833.21/833.28	o 2532
834.61/834.64	c 422.121 89.8438 5502 3459161
834.61/834.64	o 2531
835.51/835.55	c 422.797 89.8438 6212 3463229
835.51/835.55	o 2530
841.02/841.07	c 426.871 89.8438 6142 3481431
841.02/841.07	o 2529
841.11/841.13	c 426.922 89.8438 6169 3482156
841.11/841.13	o 2528
841.52/841.55	c 427.25 89.8438 6451 3483486
841.52/841.55	o 2527
842.31/842.36	c 427.889 89.8438 7150 3485216
842.31/842.36	o 2526
844.31/844.30	c 429.208 89.8438 8956 3491875
844.31/844.30	o 2525
844.31/844.39	c 429.271 89.8438 9033 3492512
844.31/844.39	o 2523
844.71/844.73	c 429.509 89.8438 9220 3493516
844.71/844.73	o 2522
846.31/846.33	c 430.689 89.8438 5341 3499834
846.31/846.33	o 2521
846.31/846.37	c 430.726 89.8438 5360 3500333
846.31/846.37	o 2520
846.92/846.98	c 431.178 89.8438 6009 3502498
846.92/846.98	o 2519
847.61/847.65	c 431.66 89.8438 6387 3504034
847.61/847.65	o 2518
849.61/849.62	c 433.168 89.8438 8041 3511180
849.61/849.62	o 2517
851.21/851.30	c 434.239 89.8438 9661 3516455
851.21/851.30	o 2514
851.61/851.66	c 434.511 89.8438 9987 3518544
851.61/851.66	o 2513
851.92/851.96	c 434.747 89.8438 10212 3519999
851.92/851.96	o 2512
858.12/858.17	c 439.263 89.8438 6494 3538443
858.12/858.17	o 2511
858.52/858.54	c 439.539 89.8438 6812 3540775
858.52/858.54	o 2510
858.61/858.63	c 439.607 89.8438 6856 3542464
858.61/858.63	o 2509
858.71/858.70	c 439.658 89.8438 6885 3542972
858.71/858.70	o 2508
858.92/858.96	c 439.848 89.8438 7060 3544166
858.92/858.96	o 2507
859.22/859.26	c 440.075 89.8438 7308 3545783
859.22/859.26	o 2506
860.21/860.29	c 440.828 89.8438 8326 3549459
860.21/860.29	o 2505
860.31/860.33	c 440.858 89.8438 8335 3549865
860.31/860.33	o 2504
861.92/861.99	c 442.14 89.8438 10024 3555715
861.92/861.99	o 2503
863.72/863.71	c 443.305 89.8438 6428 3561600
863.72/863.71	o 2502
864.01/864.08	c 443.515 89.8438 6667 3563000
864.01/864.08	o 2501
864.31/864.33	c 443.704 89.8438 6824 3563618
864.31/864.33	o 2500
865.62/865.60	c 444.664 89.8438 7823 3567344
865.62/865.60	o 2499
866.21/866.29	c 445.173 89.8438 8297 3569615
866.21/866.29	o 2497
866.51/866.51	c 445.339 89.8438 8447 3570774
866.51/866.51	o 2496
866.82/866.81	c 445.566 89.8438 8766 3572271
866.82/866.81	o 2495
868.02/868.04	c 446.474 89.8438 9650 3574365
868.02/868.04	o 2493
868.51/868.57	c 446.865 89.8438 10295 3577675
868.51/868.57	o 2492
868.61/868.66	c 446.944 89.8438 10326 3578708
868.61/868.66	o 2489
868.72/868.70	c 446.977 89.8438 10335 3579656
868.72/868.70	o 2485
868.82/868.81	c 447.06 89.8438 10387 3582470
868.82/868.81	o 2484
870.11/870.17	c 447.884 89.8438 6409 3587397
870.11/870.17	o 2482
871.61/871.62	c 448.846 89.8438 7751 3592339
871.61/871.62	o 2481
871.91/871.91	c 449.077 89.8438 8003 3593777
871.91/871.91	o 2480
872.11/872.13	c 449.24 89.8438 8209 3594803
872.11/872.13	o 2479
872.32/872.36	c 449.415 89.8438 8405 3595917
872.32/872.36	o 2477
873.61/873.61	c 450.345 89.8438 9351 3600534
873.61/873.61	o 2473
873.82/873.82	c 450.51 89.8438 9579 3601873
873.82/873.82	o 2471
873.91/873.95	c 450.596 89.8438 9647 3602679
873.91/873.95	o 2470
877.12/877.16	c 452.829 89.8438 6172 3609246
877.12/877.16	o 2468
878.62/878.63	c 453.882 89.8438 7763 3614656
878.62/878.63	o 2467
882.72/882.70	c 456.984 89.8438 6978 3630655
882.72/882.70	o 2466
883.81/883.89	c 457.712 89.8438 8056 3635262
883.81/883.89	o 2465
884.01/884.06	c 457.85 89.8438 8267 3637160
884.01/884.07	o 2464
884.21/884.20	c 457.954 89.8438 8351 3637958
884.21/884.20	o 2463
885.21/885.27	c 458.768 89.8438 9011 3640420
885.21/885.27	o 2462
885.81/885.89	c 459.19 89.8438 9368 3642004
885.81/885.89	o 2460
886.52/886.57	c 459.701 89.8438 10296 3645445
886.52/886.57	o 2458
886.62/886.64	c 459.747 89.8438 10322 3645865
886.62/886.64	o 2457
887.02/887.06	c 460.023 89.8438 5531 3647643
887.02/887.06	o 2456
887.72/887.78	c 460.553 89.8438 6067 3650390
887.72/887.78	o 2455
888.91/888.93	c 461.399 89.8438 7038 3655213
888.91/888.93	o 2454
889.51/889.58	c 461.872 89.8438 7468 3657142
889.51/889.58	o 2453
889.82/889.81	c 462 89.8438 7564 3657622
889.82/889.81	o 2452
890.72/890.78	c 462.591 89.8438 8329 3660373
890.72/890.78	o 2451
890.81/890.89	c 462.677 89.8438 8402 3661055
890.81/890.89	o 2450
891.12/891.11	c 462.839 89.8438 8563 3662046
891.12/891.11	o 2448
892.22/892.20	c 463.599 89.8438 9388 3664435
892.22/892.20	o 2446
894.92/894.96	c 465.682 89.8438 10790 3667971
894.92/894.96	o 2445
914.42/914.44	c 479.776 89.8438 9915 3691463
914.42/914.44	o 2444
914.61/914.65	c 479.949 89.8438 10063 3694693
914.61/914.65	o 2443
914.71/914.79	c 480.05 89.8438 10139 3696243
914.71/914.79	o 2442
915.11/915.15	c 480.328 89.8438 10467 3699145
915.11/915.15	o 2441
916.11/916.17	c 480.95 89.8438 6192 3705713
916.11/916.17	o 2440
917.32/917.31	c 481.749 89.8438 7270 3710395
917.32/917.31	o 2439
924.11/924.19	c 486.668 89.8438 6801 3726006
924.11/924.19	o 2438
924.31/924.38	c 486.816 89.8438 7035 3727606
924.31/924.38	o 2436
926.52/926.57	c 488.466 89.8438 8747 3734052
926.52/926.57	o 2434
926.71/926.78	c 488.626 89.8438 8914 3736072
926.71/926.78	o 2431
934.72/934.76	c 494.494 89.8438 9753 3753080
934.72/934.76	o 2429
938.52/938.54	c 497.152 89.8438 7624 3766026
938.52/938.54	o 2428
941.11/941.10	c 499.039 89.8438 9520 3774339
941.11/941.10	o 2426
941.91/941.95	c 499.645 89.8438 10493 3777628
941.91/941.95	o 2425
942.81/942.81	c 500.126 89.8438 5964 3782351
942.81/942.81	o 2424
943.11/943.18	c 500.394 89.8438 6310 3784414
943.11/943.18	o 2423
944.71/944.78	c 501.57 89.8438 7567 3789228
944.71/944.78	o 2422
947.21/947.28	c 503.447 89.8438 9570 3796901
947.21/947.28	o 2421
947.31/947.38	c 503.533 89.8438 9620 3797386
947.31/947.38	o 2420
950.43/950.49	c 505.595 89.8438 11677 3801401
950.43/950.49	o 2419
951.02/951.09	c 506.07 89.8438 6516 3804708
951.02/951.09	o 2418
953.01/953.05	c 507.546 89.8438 8208 3810795
953.01/953.05	o 2417
953.52/953.56	c 507.938 89.8438 8714 3813090
953.52/953.56	o 2416
954.72/954.71	c 508.825 89.8438 9745 3817332
954.72/954.71	o 2415
956.51/956.56	c 510.008 89.8438 5535 3820443
956.51/956.56	o 2413
956.61/956.63	c 510.066 89.8438 5586 3821071
956.61/956.63	o 2412
957.22/957.25	c 510.544 89.8438 6170 3824385
957.22/957.25	o 2411
958.12/958.15	c 511.222 89.8438 7179 3828582
958.12/958.15	o 2410
958.12/958.17	c 511.245 89.8438 7183 3829424
958.12/958.17	o 2409
961.32/961.38	c 513.637 89.8438 9652 3838271
961.32/961.38	o 2408
965.42/965.45	c 516.522 89.8438 7636 3848331
965.42/965.45	o 2407
968.02/968.06	c 518.537 89.8438 10060 3858194
968.02/968.06	o 2406
974.82/974.82	c 523.403 89.8438 6045 3880590
974.82/974.82	o 2404
978.92/978.92	c 526.337 89.8438 9286 3891882
978.92/978.92	o 2403
983.32/983.33	c 529.241 89.8438 7386 3899891
983.32/983.33	o 2402
1020.32/1020.30	c 556.324 89.8438 8633 3963557
1020.32/1020.30	o 2401
1020.41/1020.45	c 556.44 89.8438 8713 3965009
1020.41/1020.45	o 2400
1024.91/1024.98	c 559.714 89.8438 7496 3980144
1024.91/1024.98	o 2399
1028.12/1028.16	c 561.952 89.8438 10430 3988894
1028.12/1028.16	o 2398
1029.22/1029.28	c 562.796 89.8438 6067 3992330
1029.22/1029.28	o 2396
1029.62/1029.68	c 563.099 89.8438 6482 3995083
1029.62/1029.68	o 2395
1030.92/1030.95	c 564.03 89.8438 7462 4000426
1030.92/1030.95	o 2394
1033.52/1033.52	c 566.003 89.8438 10212 4008701
1033.52/1033.52	o 2393
1034.22/1034.27	c 566.481 89.8438 5678 4012050
1034.22/1034.27	o 2392
1034.41/1034.44	c 566.576 89.8438 5795 4013611
1034.41/1034.44	o 2390
1034.71/1034.77	c 566.799 89.8438 6013 4014663
1034.71/1034.77	o 2389
1035.82/1035.80	c 567.539 89.8438 6723 4017302
1035.82/1035.80	o 2388
1037.02/1037.06	c 568.378 89.8438 7685 4021528
1037.02/1037.06	o 2387
1041.02/1041.02	c 571.247 89.8438 5769 4031326
1041.02/1041.02	o 2386
1041.11/1041.13	c 571.314 89.8438 5835 4032138
1041.11/1041.13	o 2385
1044.42/1044.40	c 573.733 89.8438 8764 4040735
1044.42/1044.40	o 2384
1044.42/1044.47	c 573.782 89.8438 8785 4041117
1044.42/1044.47	o 2383
1044.62/1044.63	c 573.869 89.8438 8908 4042785
1044.62/1044.63	o 2382
1045.92/1045.95	c 574.711 89.8438 9901 4046404
1045.92/1045.95	o 2380
1052.72/1052.77	c 579.559 89.8438 5567 4060604
1052.72/1052.77	o 2379
1053.12/1053.15	c 579.841 89.8438 5873 4062626
1053.12/1053.15	o 2378
1053.32/1053.32	c 579.973 89.8438 6040 4064006
1053.32/1053.32	o 2377
1054.82/1054.84	c 580.932 89.8438 7239 4068403
1054.82/1054.84	o 2376
1055.02/1055.01	c 581.042 89.8438 7409 4069550
1055.02/1055.01	o 2375
1055.42/1055.48	c 581.351 89.8438 7965 4072298
1055.42/1055.48	o 2374
1055.51/1055.59	c 581.438 89.8438 8018 4073734
1055.51/1055.59	o 2373
1055.72/1055.75	c 581.562 89.8438 8182 4074770
1055.72/1055.75	o 2372
1055.82/1055.90	c 581.678 89.8438 8312 4075860
1055.82/1055.90	o 2371
1056.52/1056.59	c 582.113 89.8438 8631 4077666
1056.52/1056.59	o 2370
1056.82/1056.85	c 582.304 89.8438 8862 4078654
1056.82/1056.85	o 2369
1057.42/1057.45	c 582.686 89.8438 9505 4081906
1057.42/1057.45	o 2368
1057.52/1057.53	c 582.738 89.8438 9531 4082546
1057.52/1057.53	o 2366
1058.92/1058.95	c 583.762 89.8438 5442 4087594
1058.92/1058.95	o 2365
1059.12/1059.15	c 583.919 89.8438 5552 4088627
1059.12/1059.15	o 2364
1059.52/1059.52	c 584.187 89.8438 5829 4090373
1059.52/1059.52	o 2363
1060.12/1060.17	c 584.635 89.8438 6552 4093401
1060.12/1060.17	o 2362
1061.91/1061.93	c 585.822 89.8438 7861 4097757
1061.91/1061.93	o 2361
1063.12/1063.10	c 586.707 89.8438 8919 4100169
1063.12/1063.10	o 2360
1065.02/1065.01	c 588.128 89.8438 5479 4107074
1065.02/1065.01	o 2359
1065.92/1065.93	c 588.793 89.8438 6465 4110108
1065.92/1065.93	o 2358
1067.32/1067.36	c 589.742 89.8438 8056 4116280
1067.32/1067.36	o 2357
1067.52/1067.57	c 589.877 89.8438 8219 4117268
1067.52/1067.57	o 2356
1072.92/1072.93	c 593.97 89.8438 7172 4131389
1072.92/1072.93	o 2355
1073.71/1073.74	c 594.439 89.8438 7708 4132796
1073.71/1073.74	o 2354
1075.32/1075.35	c 595.638 89.8438 8936 4137449
1075.32/1075.35	o 2353
1075.92/1075.92	c 595.974 89.8438 9356 4139536
1075.92/1075.92	o 2352
1092.11/1092.11	c 607.663 89.8438 10434 4163961
1092.11/1092.11	o 2350
1092.62/1092.70	c 608.106 89.8438 5749 4168012
1092.62/1092.70	o 2349
1092.91/1092.98	c 608.282 89.8438 6012 4170088
1092.91/1092.98	o 2348
1094.02/1094.04	c 608.938 89.8438 6880 4175251
1094.02/1094.04	o 2347
1094.11/1094.11	c 608.989 89.8438 6919 4175928
1094.11/1094.11	o 2346
1095.12/1095.17	c 609.799 89.8438 7850 4179862
1095.12/1095.17	o 2345
1095.62/1095.64	c 610.147 89.8438 8188 4181711
1095.62/1095.64	o 2342
1096.02/1096.09	c 610.504 89.8438 8655 4184136
1096.02/1096.09	o 2341
1096.22/1096.20	c 610.581 89.8438 8740 4184737
1096.22/1096.20	o 2339
1096.92/1096.96	c 611.157 89.8438 9324 4187025
1096.92/1096.96	o 2337
1097.22/1097.25	c 611.382 89.8438 9518 4188252
1097.22/1097.25	o 2334
1098.02/1098.01	c 611.944 89.8438 10228 4192458
1098.02/1098.01	o 2333
1098.32/1098.33	c 612.178 89.8438 10457 4193960
1098.32/1098.33	o 2332
1098.72/1098.72	c 612.494 89.8438 5444 4195549
1098.72/1098.72	o 2331
1099.81/1099.89	c 613.279 89.8438 6771 4200679
1099.81/1099.89	o 2330
1100.31/1100.33	c 613.541 89.8438 7099 4202696
1100.31/1100.33	o 2329
1100.52/1100.56	c 613.686 89.8438 7287 4203656
1100.52/1100.56	o 2328
1100.72/1100.79	c 613.835 89.8438 7360 4204215
1100.72/1100.79	o 2327
1103.92/1103.93	c 616.16 89.8438 10427 4213765
1103.92/1103.93	o 2326
1104.02/1104.02	c 616.229 89.8438 5287 4214973
1104.02/1104.02	o 2325
1104.82/1104.83	c 616.843 89.8438 5954 4218278
1104.82/1104.83	o 2324
1104.91/1104.91	c 616.896 89.8438 5980 4218895
1104.91/1104.91	o 2323
1106.02/1106.00	c 617.599 89.8438 7216 4223671
1106.02/1106.00	o 2322
1106.12/1106.13	c 617.669 89.8438 7290 4224265
1106.12/1106.13	o 2321
1106.22/1106.22	c 617.728 89.8438 7404 4225379
1106.22/1106.22	o 2320
1106.22/1106.26	c 617.752 89.8438 7415 4225792
1106.22/1106.26	o 2319
1106.32/1106.39	c 617.823 89.8438 7505 4226289
1106.32/1106.39	o 2318
1106.62/1106.66	c 617.977 89.8438 7770 4227610
1106.62/1106.66	o 2314
1106.92/1106.94	c 618.169 89.8438 8035 4228905
1106.92/1106.94	o 2313
1108.22/1108.21	c 619.056 89.8438 8895 4231644
1108.22/1108.21	o 2311
1108.42/1108.45	c 619.218 89.8438 9121 4232874
1108.42/1108.45	o 2310
1108.52/1108.56	c 619.289 89.8438 9257 4233782
1108.52/1108.56	o 2309
1108.61/1108.66	c 619.352 89.8438 9368 4234570
1108.61/1108.66	o 2307
1118.72/1118.72	c 626.435 89.8438 7277 4254422
1118.72/1118.72	o 2306
1123.42/1123.45	c 629.87 89.8438 6291 4270556
1123.42/1123.45	o 2305
1123.52/1123.51	c 629.915 89.8438 6322 4270945
1123.52/1123.51	o 2304
1123.62/1123.66	c 630.034 89.8438 6454 4272085
1123.62/1123.66	o 2303
1124.23/1124.26	c 630.486 89.8438 6877 4274875
1124.23/1124.26	o 2299
1128.42/1128.47	c 633.369 89.8438 10460 4286432
1128.42/1128.47	o 2298
1130.72/1130.72	c 634.987 89.8438 7712 4294754
1130.72/1130.72	o 2297
1132.12/1132.18	c 636.094 89.8438 9032 4298938
1132.12/1132.18	o 2296
1135.72/1135.72	c 638.68 89.8438 7115 4309894
1135.72/1135.72	o 2295
1136.61/1136.67	c 639.32 89.8438 7942 4313639
1136.61/1136.67	o 2294
1137.11/1137.12	c 639.636 89.8438 8176 4315810
1137.11/1137.12	o 2293
1137.72/1137.73	c 640.034 89.8438 8664 4318059
1137.72/1137.73	o 2291
1138.42/1138.46	c 640.604 89.8438 9201 4320714
1138.42/1138.46	o 2290
1139.12/1139.11	c 640.98 89.8438 9677 4322771
1139.12/1139.11	o 2289
1139.12/1139.16	c 641.013 89.8438 9697 4323305
1139.12/1139.16	o 2288
1141.92/1141.92	c 643.003 89.8438 6791 4331820
1141.92/1141.92	o 2287
1142.22/1142.21	c 643.214 89.8438 7092 4333256
1142.22/1142.21	o 2286
1145.52/1145.52	c 645.653 89.8438 9565 4341181
1145.52/1145.52	o 2285
1147.12/1147.17	c 646.767 89.8438 10612 4343912
1147.12/1147.17	o 2284
1147.62/1147.64	c 647.067 89.8438 5661 4345134
1147.62/1147.64	o 2283
1147.91/1147.92	c 647.267 89.8438 5813 4346377
1147.91/1147.92	o 2282
1178.22/1178.21	c 669.376 91.0078 10015 4408083
1178.22/1178.21	o 2281
1178.53/1178.57	c 669.584 91.0078 10313 4410405
1178.53/1178.57	o 2280
1181.43/1181.45	c 671.699 91.0078 7903 4420954
1181.43/1181.45	o 2279
1181.72/1181.74	c 671.928 91.0078 8173 4422355
1181.72/1181.74	o 2278
1181.82/1181.89	c 672.047 91.0078 8303 4423540
1181.82/1181.89	o 2275
1182.32/1182.35	c 672.391 91.0078 8740 4425138
1182.32/1182.35	o 2274
1182.72/1182.76	c 672.719 91.0078 9119 4426843
1182.72/1182.76	o 2273
1185.22/1185.28	c 674.468 91.0078 5926 4432648
1185.22/1185.28	o 2272
1185.92/1185.97	c 674.94 91.0078 6569 4434585
1185.92/1185.97	o 2271
1187.52/1187.59	c 676.156 91.0078 8075 4438200
1187.52/1187.59	o 2270
1189.62/1189.65	c 677.709 91.0078 9492 4443205
1189.62/1189.65	o 2267
1190.82/1190.84	c 678.597 91.0078 10491 4446649
1190.82/1190.84	o 2266
1196.53/1196.52	c 682.607 91.0078 8646 4454788
1196.53/1196.52	o 2264
1196.63/1196.65	c 682.712 91.0078 8710 4455416
1196.63/1196.65	o 2263
1197.02/1197.06	c 683.026 91.0078 8999 4457326
1197.02/1197.06	o 2260
1198.02/1198.09	c 683.752 91.0078 10128 4461568
1198.02/1198.09	o 2259
1199.72/1199.78	c 684.909 91.0078 6062 4466366
1199.72/1199.78	o 2258
1203.72/1203.78	c 687.758 91.0078 9767 4477464
1203.72/1203.78	o 2257
1204.32/1204.35	c 688.186 91.0078 10281 4479550
1204.32/1204.35	o 2256
1207.02/1207.03	c 690.06 91.0078 7348 4487674
1207.02/1207.03	o 2255
1207.52/1207.56	c 690.45 91.0078 7701 4489174
1207.52/1207.56	o 2253
1209.52/1209.58	c 691.949 91.0078 9836 4495824
1209.52/1209.58	o 2252
1209.72/1209.76	c 692.092 91.0078 10002 4496830
1209.72/1209.76	o 2251
1210.03/1210.03	c 692.303 91.0078 10218 4498144
1210.03/1210.03	o 2250
1212.32/1212.34	c 693.927 91.0078 7352 4506206
1212.32/1212.34	o 2249
1212.42/1212.45	c 694.006 91.0078 7420 4506934
1212.42/1212.45	o 2248
1214.33/1214.34	c 695.438 91.0078 9183 4513235
1214.33/1214.34	o 2246
1214.72/1214.70	c 695.677 91.0078 9379 4514860
1214.72/1214.70	o 2245
1216.82/1216.87	c 697.334 91.0078 5659 4521457
1216.82/1216.87	o 2243
1216.92/1216.97	c 697.408 91.0078 5691 4522057
1216.92/1216.97	o 2241
1218.02/1218.08	c 698.102 91.0078 6656 4524890
1218.02/1218.08	o 2239
1218.22/1218.20	c 698.178 91.0078 6769 4525928
1218.22/1218.20	o 2238
1218.32/1218.32	c 698.255 91.0078 6840 4526784
1218.32/1218.32	o 2237
1219.02/1219.08	c 698.822 91.0078 7446 4529741
1219.02/1219.08	o 2235
1219.62/1219.64	c 699.255 91.0078 8111 4532986
1219.62/1219.64	o 2232
1220.22/1220.21	c 699.68 91.0078 8616 4534475
1220.22/1220.21	o 2230
1220.42/1220.40	c 699.831 91.0078 8728 4535176
1220.42/1220.40	o 2228
1221.83/1221.84	c 700.904 91.0078 10175 4541146
1221.83/1221.84	o 2225
1222.12/1222.17	c 701.162 91.0078 10400 4542488
1222.12/1222.17	o 2224
1222.23/1222.21	c 701.189 91.0078 10410 4543072
1222.23/1222.21	o 2223
1223.52/1223.51	c 702.175 91.0078 6537 4548719
1223.52/1223.51	o 2222
1224.23/1224.24	c 702.667 91.0078 7001 4551172
1224.23/1224.24	o 2219
1227.92/1227.91	c 705.278 91.0078 9525 4556756
1227.92/1227.91	o 2217
1230.03/1230.09	c 706.907 91.0078 5960 4563875
1230.03/1230.09	o 2216
1230.42/1230.41	c 707.135 91.0078 6152 4565089
1230.42/1230.41	o 2215
1230.93/1230.94	c 707.449 91.0078 6592 4566747
1230.93/1230.94	o 2214
1232.03/1232.03	c 708.163 91.0078 7442 4570142
1232.03/1232.03	o 2213
1234.93/1234.96	c 710.359 91.0078 9276 4575630
1234.93/1234.96	o 2212
1235.02/1235.01	c 710.4 91.0078 9301 4575992
1235.02/1235.01	o 2211
1247.82/1247.88	c 719.975 91.0078 7591 4603628
1247.82/1247.88	o 2210
1250.73/1250.74	c 722.056 91.0078 5572 4615995
1250.73/1250.74	o 2209
1254.52/1254.57	c 724.895 91.0078 9324 4626636
1254.52/1254.57	o 2208
1255.03/1255.06	c 725.281 91.0078 9847 4629243
1255.03/1255.06	o 2207
1256.32/1256.37	c 726.307 91.0078 5858 4634232
1256.32/1256.37	o 2203
1256.53/1256.54	c 726.439 91.0078 5988 4635217
1256.53/1256.54	o 2202
1260.32/1260.39	c 729.133 91.0078 10012 4647067
1260.32/1260.39	o 2201
1261.12/1261.16	c 729.747 91.0078 5458 4651010
1261.12/1261.16	o 2200
1261.22/1261.21	c 729.787 91.0078 5480 4651560
1261.22/1261.21	o 2198
1261.22/1261.28	c 729.842 91.0078 5508 4652616
1261.22/1261.28	o 2197
1265.32/1265.38	c 732.748 91.0078 9279 4664704
1265.32/1265.38	o 2196
1270.23/1270.22	c 736.216 91.0078 7277 4675082
1270.23/1270.22	o 2195
1273.13/1273.18	c 738.34 91.0078 9980 4684061
1273.13/1273.18	o 2194
1273.32/1273.31	c 738.438 91.0078 10046 4684494
1273.32/1273.31	o 2193
1273.82/1273.84	c 738.839 91.0078 10363 4686632
1273.82/1273.84	o 2192
1274.32/1274.39	c 739.257 91.0078 5451 4688790
1274.32/1274.39	o 2191
1274.93/1274.90	c 739.648 91.0078 5851 4690379
1274.93/1274.90	o 2190
1275.22/1275.27	c 739.932 91.0078 6107 4691723
1275.22/1275.27	o 2189
1276.52/1276.52	c 740.788 91.0078 7528 4697538
1276.52/1276.52	o 2187
1279.03/1279.04	c 742.48 91.0078 9407 4703674
1279.03/1279.04	o 2185
1282.22/1282.27	c 744.948 91.0078 7524 4713789
1282.22/1282.27	o 2184
1283.73/1283.78	c 745.94 91.0078 9138 4719552
1283.73/1283.78	o 2182
1285.22/1285.26	c 747.018 91.0078 5377 4724297
1285.22/1285.26	o 2179
1285.82/1285.90	c 747.512 91.0078 5848 4726802
1285.82/1285.90	o 2178
1287.03/1287.03	c 748.388 91.0078 7172 4732386
1287.03/1287.03	o 2177
1296.93/1296.95	c 755.54 91.0078 9722 4753033
1296.93/1296.95	o 2176
1297.43/1297.47	c 755.907 91.0078 10146 4754423
1297.43/1297.47	o 2175
1299.02/1299.01	c 757.077 91.0078 6118 4759182
1299.02/1299.01	o 2174
1300.93/1300.94	c 758.534 91.0078 7864 4765958
1300.93/1300.94	o 2173
1303.63/1303.61	c 760.383 91.0078 9890 4771902
1303.63/1303.61	o 2172
1318.23/1318.25	c 770.992 91.0078 11638 4796750
1318.23/1318.25	o 2171
1337.02/1337.00	c 785.698 91.0078 9900 4855718
1337.02/1337.00	o 2170
1338.73/1338.73	c 786.97 91.0078 5624 4861707
1338.73/1338.73	o 2169
1338.83/1338.80	c 787.03 91.0078 5665 4862714
1338.83/1338.80	o 2168
1339.62/1339.60	c 787.623 91.0078 6294 4865619
1339.62/1339.60	o 2167
1339.62/1339.65	c 787.662 91.0078 6320 4866145
1339.62/1339.65	o 2166
1340.03/1340.01	c 787.933 91.0078 6634 4867898
1340.03/1340.01	o 2165
1343.62/1343.63	c 790.495 91.0078 10004 4878049
1343.62/1343.63	o 2164
1344.13/1344.14	c 790.89 91.0078 10400 4879874
1344.13/1344.14	o 2163
1344.33/1344.38	c 791.074 91.0078 10534 4880931
1344.33/1344.38	o 2162
1344.92/1344.96	c 791.527 91.0078 5637 4883740
1344.92/1344.96	o 2161
1346.43/1346.44	c 792.661 91.0078 7063 4888385
1346.43/1346.44	o 2160
1346.52/1346.59	c 792.782 91.0078 7199 4889843
1346.52/1346.59	o 2159
1346.82/1346.83	c 792.962 91.0078 7408 4891548
1346.82/1346.83	o 2157
1347.73/1347.71	c 793.605 91.0078 8226 4894630
1347.73/1347.71	o 2156
1350.23/1350.26	c 795.313 91.0078 5859 4900896
1350.23/1350.26	o 2155
1350.73/1350.77	c 795.675 91.0078 6210 4903172
1350.73/1350.77	o 2152
1352.02/1352.07	c 796.655 91.0078 7242 4907756
1352.02/1352.07	o 2151
1354.82/1354.84	c 798.749 91.0078 9308 4914051
1354.82/1354.84	o 2150
1355.32/1355.35	c 799.099 91.0078 9566 4915186
1355.32/1355.35	o 2149
1355.72/1355.78	c 799.334 91.0078 9892 4917519
1355.72/1355.78	o 2148
1355.83/1355.88	c 799.396 91.0078 9932 4918113
1355.83/1355.88	o 2147
1356.62/1356.64	c 799.933 91.0078 10706 4920745
1356.62/1356.64	o 2146
1356.93/1356.95	c 800.178 91.0078 5693 4923059
1356.93/1356.95	o 2145
1359.22/1359.20	c 801.852 91.0078 7733 4929981
1359.22/1359.20	o 2144
1359.63/1359.62	c 802.164 91.0078 8024 4931391
1359.63/1359.62	o 2143
1361.42/1361.46	c 803.539 91.0078 9261 4935598
1361.42/1361.46	o 2142
1361.52/1361.55	c 803.613 91.0078 9319 4935990
1361.52/1361.55	o 2141
1364.03/1364.04	c 805.398 91.0078 11895 4941993
1364.03/1364.04	o 2140
1374.93/1374.92	c 813.481 91.0078 7934 4963323
1374.93/1374.92	o 2139
1374.93/1374.99	c 813.52 91.0078 7958 4964724
1374.93/1374.99	o 2138
1377.23/1377.25	c 815.089 91.0078 10168 4972923
1377.23/1377.25	o 2137
1379.23/1379.20	c 816.585 91.0078 5899 4976629
1379.23/1379.20	o 2136
1379.43/1379.48	c 816.815 91.0078 6087 4977632
1379.43/1379.48	o 2135
1380.92/1380.93	c 817.911 91.0078 7325 4982259
1380.92/1380.93	o 2134
1381.13/1381.12	c 818.067 91.0078 7543 4983518
1381.13/1381.12	o 2133
1384.23/1384.21	c 820.256 91.0078 9745 4990800
1384.23/1384.21	o 2132
1384.63/1384.67	c 820.605 91.0078 10179 4992936
1384.63/1384.67	o 2131
1387.62/1387.61	c 822.848 91.0078 6990 4998141
1387.62/1387.61	o 2130
1391.12/1391.18	c 825.382 91.0078 5390 5011256
1391.12/1391.18	o 2129
1393.22/1393.26	c 826.907 91.0078 7099 5017143
1393.22/1393.26	o 2127
1396.53/1396.53	c 829.177 91.0078 10211 5025268
1396.53/1396.53	o 2126
1399.82/1399.86	c 831.655 91.0078 7723 5034132
1399.82/1399.86	o 2125
1400.73/1400.76	c 832.335 91.0078 8333 5036774
1400.73/1400.76	o 2124
1402.53/1402.53	c 833.495 91.0078 9493 5039910
1402.53/1402.53	o 2122
1402.73/1402.70	c 833.628 91.0078 9621 5040601
1402.73/1402.70	o 2121
1403.22/1403.20	c 834.01 91.0078 10058 5042441
1403.22/1403.20	o 2120
1405.32/1405.33	c 835.594 91.0078 6654 5049785
1405.32/1405.33	o 2119
1406.02/1406.03	c 836.131 91.0078 7183 5052423
1406.02/1406.03	o 2118
1408.03/1408.03	c 837.603 91.0078 9367 5060272
1408.03/1408.03	o 2117
1408.12/1408.16	c 837.69 91.0078 9488 5061038
1408.12/1408.16	o 2116
1409.03/1409.09	c 838.339 91.0078 10307 5064186
1409.03/1409.09	o 2114
1410.42/1410.47	c 839.387 91.0078 6463 5068756
1410.42/1410.47	o 2113
1410.92/1410.93	c 839.735 91.0078 6820 5070254
1410.92/1410.93	o 2112
1411.03/1411.00	c 839.794 91.0078 6874 5070722
1411.03/1411.00	o 2111
1411.92/1411.93	c 840.499 91.0078 7662 5073302
1411.92/1411.93	o 2110
1412.33/1412.38	c 840.861 91.0078 8081 5075695
1412.33/1412.38	o 2109
1412.52/1412.57	c 840.983 91.0078 8159 5076272
1412.52/1412.57	o 2108
1413.13/1413.10	c 841.38 91.5078 8489 5077247
1413.13/1413.10	o 2107
1415.33/1415.30	c 842.859 91.5078 10208 5080897
1415.33/1415.30	o 2106
1415.43/1415.47	c 842.987 91.5078 10339 5082614
1415.43/1415.47	o 2105
1417.13/1417.13	c 844.265 91.5078 6577 5088555
1417.13/1417.13	o 2104
1418.53/1418.58	c 845.352 91.5078 7707 5091284
1418.53/1418.58	o 2103
1422.13/1422.15	c 847.901 91.5078 11161 5101350
1422.13/1422.15	o 2101
1424.33/1424.31	c 849.497 91.5078 7334 5107716
1424.33/1424.31	o 2100
1425.54/1425.59	c 850.421 91.5078 8804 5111830
1425.54/1425.59	o 2099
1426.12/1426.14	c 850.795 91.5078 9406 5114431
1426.12/1426.14	o 2097
1426.64/1426.61	c 851.161 91.5078 9918 5116937
1426.64/1426.61	o 2095
1427.13/1427.19	c 851.596 91.5078 10552 5119053
1427.13/1427.19	o 2094
1431.43/1431.45	c 854.636 91.5078 7847 5126254
1431.43/1431.45	o 2093
1432.42/1432.42	c 855.349 91.5078 8390 5128625
1432.42/1432.42	o 2088
1433.13/1433.11	c 855.885 91.5078 9099 5131426
1433.13/1433.11	o 2087
1433.13/1433.14	c 855.919 91.5078 9118 5132517
1433.13/1433.14	o 2086
1434.44/1434.45	c 856.789 91.5078 5379 5137278
1434.44/1434.45	o 2085
1434.63/1434.60	c 856.885 91.5078 5601 5138717
1434.63/1434.60	o 2084
1440.53/1440.59	c 861.307 91.5078 10566 5151542
1440.53/1440.59	o 2083
1440.83/1440.80	c 861.425 91.5078 10689 5153218
1440.83/1440.80	o 2082
1441.03/1441.09	c 861.606 91.5078 5565 5154736
1441.03/1441.09	o 2081
1441.93/1441.91	c 862.117 91.5078 6186 5156707
1441.93/1441.91	o 2079
1442.03/1442.02	c 862.208 91.5078 6294 5157402
1442.03/1442.02	o 2078
1442.03/1442.07	c 862.247 91.5078 6316 5157897
1442.03/1442.07	o 2077
1442.43/1442.43	c 862.532 91.5078 6543 5159130
1442.43/1442.43	o 2076
1446.43/1446.43	c 865.61 91.5078 10861 5170103
1446.43/1446.43	o 2075
1446.53/1446.55	c 865.704 91.5078 5500 5170856
1446.53/1446.55	o 2074
1446.83/1446.83	c 865.921 91.5078 5707 5171734
1446.83/1446.83	o 2073
1448.33/1448.37	c 866.871 91.5078 6859 5177148
1448.33/1448.37	o 2072
1450.33/1450.35	c 868.327 91.5078 8144 5181619
1450.33/1450.35	o 2071
1450.83/1450.84	c 868.606 91.5078 8592 5183289
1450.83/1450.84	o 2070
1450.93/1450.96	c 868.686 91.5078 8676 5183803
1450.93/1450.96	o 2069
1451.53/1451.51	c 869.062 91.5078 9227 5185855
1451.53/1451.51	o 2068
1455.12/1455.13	c 871.568 91.5078 6259 5192366
1455.12/1455.13	o 2067
1456.13/1456.10	c 872.327 91.5078 7088 5195831
1456.13/1456.10	o 2066
1456.73/1456.75	c 872.747 91.5078 7503 5197626
1456.73/1456.75	o 2065
1459.64/1459.67	c 874.946 91.5078 9915 5205707
1459.64/1459.67	o 2064
1460.23/1460.20	c 875.334 91.5078 10205 5207232
1460.23/1460.20	o 2063
1461.03/1461.00	c 875.781 91.5078 10784 5209533
1461.03/1461.00	o 2061
1461.03/1461.05	c 875.821 91.5078 5415 5210115
1461.03/1461.05	o 2060
1490.23/1490.24	c 896.998 91.5078 7507 5248974
1490.23/1490.24	o 2059
1491.73/1491.75	c 898.11 91.5078 8593 5254282
1491.73/1491.75	o 2056
1493.03/1493.04	c 899.079 91.5078 9534 5257846
1493.03/1493.04	o 2055
1493.74/1493.77	c 899.512 91.5078 10185 5261131
1493.74/1493.77	o 2054
1494.84/1494.86	c 900.315 91.5078 5819 5265723
1494.84/1494.86	o 2053
1495.94/1495.97	c 901.156 91.5078 6596 5268478
1495.94/1495.97	o 2052
1496.22/1496.21	c 901.338 91.5078 6839 5269762
1496.22/1496.21	o 2051
1496.83/1496.88	c 901.82 91.5078 7385 5272630
1496.83/1496.88	o 2050
1497.43/1497.46	c 902.28 91.5078 7828 5274725
1497.43/1497.46	o 2049
1497.73/1497.79	c 902.537 91.5078 8250 5276968
1497.73/1497.79	o 2048
1501.03/1501.05	c 904.815 91.5078 10666 5285623
1501.03/1501.05	o 2047
1501.13/1501.19	c 904.918 91.5078 5406 5286484
1501.13/1501.19	o 2046
1502.63/1502.63	c 906.031 91.5078 6946 5292577
1502.63/1502.63	o 2045
1503.13/1503.11	c 906.378 91.5078 7279 5294122
1503.13/1503.11	o 2044
1505.13/1505.16	c 907.958 91.5078 9501 5300638
1505.13/1505.16	o 2043
1505.53/1505.57	c 908.264 91.5078 9847 5302806
1505.53/1505.57	o 2042
1509.13/1509.16	c 910.785 91.5078 6794 5310089
1509.13/1509.16	o 2041
1511.44/1511.44	c 912.478 91.5078 9413 5318914
1511.44/1511.44	o 2040
1512.43/1512.48	c 913.285 91.5078 10292 5321996
1512.43/1512.48	o 2038
1514.43/1514.42	c 914.577 91.5078 6484 5327396
1514.43/1514.42	o 2037
1516.93/1516.94	c 916.437 91.5078 8840 5331797
1516.93/1516.94	o 2036
1517.13/1517.15	c 916.598 91.5078 8972 5332439
1517.13/1517.15	o 2035
1518.83/1518.88	c 917.947 91.5078 10888 5338356
1518.83/1518.88	o 2034
1519.63/1519.62	c 918.437 91.5078 6167 5341570
1519.63/1519.62	o 2033
1519.73/1519.78	c 918.532 91.5078 6292 5342357
1519.73/1519.78	o 2032
1520.83/1520.85	c 919.267 91.5078 7160 5345935
1520.83/1520.85	o 2028
1522.53/1522.52	c 920.562 91.5078 8967 5350143
1522.53/1522.52	o 2027
1523.54/1523.59	c 921.378 91.5078 9983 5354264
1523.54/1523.59	o 2026
1523.73/1523.74	c 921.483 91.5078 10031 5354652
1523.73/1523.74	o 2025
1524.63/1524.61	c 922.147 91.5078 10680 5357067
1524.63/1524.61	o 2024
1524.73/1524.78	c 922.267 91.5078 5466 5358029
1524.73/1524.78	o 2022
1532.63/1532.62	c 927.98 91.5078 6767 5377704
1532.63/1532.62	o 2021
1533.23/1533.30	c 928.345 91.5078 7350 5379611
1533.23/1533.30	o 2020
1533.73/1533.75	c 928.67 91.5078 7736 5381268
1533.73/1533.75	o 2019
1537.53/1537.55	c 931.575 91.5078 10797 5391341
1537.53/1537.55	o 2018
1537.93/1537.94	c 931.876 91.5078 5744 5393745
1537.93/1537.94	o 2016
1540.23/1540.26	c 933.457 91.5078 8352 5399433
1540.23/1540.26	o 2015
1540.53/1540.55	c 933.683 91.5078 8666 5401017
1540.53/1540.55	o 2014
1542.53/1542.54	c 935.204 91.5078 10230 5406670
1542.53/1542.54	o 2012
1543.53/1543.51	c 935.927 91.5078 5540 5409435
1543.53/1543.51	o 2011
1544.93/1544.97	c 937.011 91.5078 6856 5414049
1544.93/1544.97	o 2010
1551.53/1551.52	c 941.809 91.5078 11417 5424131
1551.53/1551.52	o 2009
1551.82/1551.82	c 942.039 91.5078 5932 5425275
1551.82/1551.82	o 2008
1552.43/1552.43	c 942.408 91.5078 6375 5427004
1552.43/1552.43	o 2007
1553.23/1553.26	c 942.94 91.5078 6951 5429315
1553.23/1553.26	o 2005
1554.53/1554.52	c 943.853 91.5078 7921 5432446
1554.53/1554.52	o 2004
1556.33/1556.33	c 945.14 91.5078 9424 5438382
1556.33/1556.33	o 2003
1557.13/1557.18	c 945.767 91.5078 9998 5440376
1557.13/1557.18	o 2002
1561.43/1561.45	c 948.839 91.5078 7460 5449164
1561.43/1561.45	o 2001
1561.83/1561.84	c 949.143 91.5078 7806 5450820
1561.83/1561.84	o 2000
1562.04/1562.02	c 949.266 91.5078 8020 5451957
1562.04/1562.02	o 1997
1564.43/1564.46	c 951.059 91.5078 9923 5458197
1564.43/1564.46	o 1995
1564.63/1564.63	c 951.191 91.5078 10150 5459113
1564.63/1564.63	o 1993
1564.83/1564.88	c 951.384 91.5078 10319 5459737
1564.83/1564.88	o 1992
1565.03/1565.00	c 951.478 91.5078 10431 5460376
1565.03/1565.00	o 1991
1565.13/1565.16	c 951.586 91.5078 10524 5461044
1565.13/1565.16	o 1990
1565.63/1565.61	c 951.845 91.5078 5468 5462787
1565.63/1565.61	o 1989
1568.83/1568.82	c 954.127 91.5078 7586 5469247
1568.83/1568.82	o 1984
1569.03/1569.07	c 954.329 91.5078 7815 5470831
1569.03/1569.07	o 1983
1569.83/1569.83	c 954.919 91.5078 8808 5474598
1569.83/1569.83	o 1980
1570.13/1570.14	c 955.155 91.5078 9141 5476051
1570.13/1570.14	o 1979
1572.23/1572.22	c 956.654 91.5078 5875 5481322
1572.23/1572.22	o 1978
1573.43/1573.40	c 957.454 91.5078 6802 5484545
1573.43/1573.40	o 1976
1577.93/1577.99	c 960.827 91.5078 10368 5495473
1577.93/1577.99	o 1975
1583.13/1583.19	c 964.53 91.5078 10482 5506422
1583.13/1583.19	o 1974
1584.93/1584.97	c 965.858 91.5078 6715 5513350
1584.93/1584.97	o 1973
1588.43/1588.43	c 968.332 91.5078 9288 5521853
1588.43/1588.43	o 1971
1588.63/1588.64	c 968.493 91.5078 9425 5522883
1588.63/1588.64	o 1970
1589.63/1589.69	c 969.286 91.5078 10335 5525614
1589.63/1589.69	o 1968
1592.53/1592.50	c 971.239 91.5078 7209 5533612
1592.53/1592.50	o 1967
1592.74/1592.73	c 971.405 91.5078 7475 5534949
1592.74/1592.73	o 1966
1593.03/1593.01	c 971.623 91.5078 7786 5536317
1593.03/1593.01	o 1965
1593.13/1593.14	c 971.71 91.5078 7859 5536804
1593.13/1593.14	o 1964
1593.33/1593.30	c 971.835 91.5078 7976 5537566
1593.33/1593.30	o 1963
1594.44/1594.49	c 972.741 91.5078 9249 5541288
1594.44/1594.49	o 1962
1600.54/1600.52	c 976.977 91.5078 7625 5554013
1600.54/1600.52	o 1961
1600.64/1600.60	c 977.036 91.5078 7655 5554390
1600.64/1600.60	o 1960
1603.44/1603.47	c 979.183 91.5078 10163 5563151
1603.44/1603.47	o 1959
1603.93/1603.91	c 979.519 91.5078 10534 5564353
1603.93/1603.91	o 1958
1604.74/1604.77	c 980.081 91.5078 6082 5566696
1604.74/1604.77	o 1957
1605.13/1605.11	c 980.288 91.5078 6426 5568304
1605.13/1605.11	o 1955
1605.43/1605.40	c 980.469 91.5078 6661 5569534
1605.43/1605.40	o 1954
1605.53/1605.57	c 980.579 91.5078 6753 5569987
1605.53/1605.57	o 1953
1605.83/1605.83	c 980.756 91.5078 6918 5570764
1605.83/1605.83	o 1952
1607.04/1607.01	c 981.654 91.5078 7744 5573410
1607.04/1607.01	o 1951
1607.73/1607.74	c 982.216 91.5078 8263 5575754
1607.73/1607.74	o 1950
1608.83/1608.89	c 983.09 91.5078 9174 5578946
1608.83/1608.89	o 1949
1609.03/1609.04	c 983.208 91.5078 9332 5579872
1609.03/1609.04	o 1947
1609.14/1609.14	c 983.281 91.5078 9463 5580489
1609.14/1609.14	o 1946
1609.43/1609.44	c 983.51 91.5078 9683 5581630
1609.43/1609.44	o 1945
1609.53/1609.55	c 983.601 91.5078 9728 5582187
1609.53/1609.55	o 1944
1621.84/1621.81	c 992.538 91.5078 7309 5607386
1621.84/1621.81	o 1943
1622.44/1622.48	c 993.05 91.5078 7788 5609959
1622.44/1622.48	o 1941
1625.24/1625.21	c 994.945 91.5078 10531 5619054
1625.24/1625.21	o 1940
1625.43/1625.44	c 995.121 91.5078 10761 5619913
1625.43/1625.44	o 1938
1626.34/1626.39	c 995.838 91.5078 6374 5623171
1626.34/1626.39	o 1937
1626.44/1626.46	c 995.894 91.5078 6414 5623909
1626.44/1626.46	o 1936
1628.13/1628.18	c 997.174 91.5078 8090 5628651
1628.13/1628.18	o 1935
1628.33/1628.30	c 997.266 91.5078 8206 5629516
1628.33/1628.30	o 1934
1632.13/1632.14	c 1000.06 91.5078 6251 5640627
1632.13/1632.14	o 1933
1632.93/1632.99	c 1000.7 91.5078 7115 5643774
1632.93/1632.99	o 1932
1633.03/1633.07	c 1000.76 91.5078 7157 5644077
1633.03/1633.07	o 1931
1638.74/1638.79	c 1004.79 91.5078 6204 5653355
1638.74/1638.79	o 1929
1643.93/1643.95	c 1008.68 91.5078 10295 5667084
1643.93/1643.95	o 1928
1644.34/1644.31	c 1008.9 91.5078 10652 5668521
1644.34/1644.31	o 1927
1645.63/1645.61	c 1009.71 91.5078 6199 5672037
1645.63/1645.61	o 1926
1646.74/1646.71	c 1010.55 91.5078 7115 5675483
1646.74/1646.71	o 1925
1648.14/1648.18	c 1011.67 91.5078 8413 5680077
1648.14/1648.18	o 1924
1650.04/1650.05	c 1013.1 91.5078 9978 5685549
1650.04/1650.05	o 1923
1653.34/1653.39	c 1015.46 91.5078 7457 5692165
1653.34/1653.39	o 1922
1653.93/1653.99	c 1015.92 91.5078 7979 5694321
1653.93/1653.99	o 1921
1654.23/1654.22	c 1016.09 91.5078 8090 5695548
1654.23/1654.22	o 1918
1654.54/1654.59	c 1016.38 91.5078 8350 5696746
1654.54/1654.59	o 1917
1655.33/1655.35	c 1016.93 91.5078 8893 5699175
1655.33/1655.35	o 1914
1655.63/1655.61	c 1017.13 91.5078 9130 5700212
1655.63/1655.61	o 1913
1656.33/1656.34	c 1017.67 91.5078 9643 5702509
1656.33/1656.34	o 1912
1656.94/1656.96	c 1018.15 91.5078 10210 5704763
1656.94/1656.96	o 1911
1659.83/1659.85	c 1020.09 91.5078 7152 5710813
1659.83/1659.85	o 1910
1659.94/1659.92	c 1020.14 91.5078 7175 5711120
1659.94/1659.92	o 1908
1660.24/1660.21	c 1020.32 91.5078 7365 5712057
1660.24/1660.21	o 1907
1661.33/1661.34	c 1021.16 91.5078 8616 5715959
1661.33/1661.34	o 1906
1663.03/1663.02	c 1022.45 91.5078 10142 5719691
1663.03/1663.02	o 1905
1666.34/1666.38	c 1024.84 91.5078 7682 5728408
1666.34/1666.38	o 1903
1666.63/1666.67	c 1025.07 91.5078 7906 5729438
1666.63/1666.67	o 1901
1667.13/1667.17	c 1025.45 91.5078 8308 5731731
1667.13/1667.17	o 1900
1668.13/1668.14	c 1026.19 91.5078 9267 5735285
1668.13/1668.14	o 1899
1668.43/1668.45	c 1026.43 91.5078 9536 5736608
1668.43/1668.45	o 1898
1668.83/1668.84	c 1026.73 91.5078 9844 5738844
1668.83/1668.84	o 1897
1668.83/1668.89	c 1026.77 91.5078 9863 5739469
1668.83/1668.89	o 1895
1669.33/1669.32	c 1027.08 91.5078 10304 5741384
1669.33/1669.32	o 1893
1669.43/1669.45	c 1027.19 91.5078 10390 5741753
1669.43/1669.45	o 1892
1672.93/1672.98	c 1029.65 91.5078 7334 5747164
1672.93/1672.98	o 1891
1673.93/1673.94	c 1030.32 91.5078 8158 5750159
1673.93/1673.94	o 1890
1674.43/1674.43	c 1030.64 91.5078 8609 5752005
1674.43/1674.43	o 1889
1674.83/1674.83	c 1030.91 91.5078 8954 5753463
1674.83/1674.83	o 1888
1675.74/1675.70	c 1031.53 91.5078 9892 5756939
1675.74/1675.70	o 1887
1676.14/1676.14	c 1031.87 91.5078 10345 5758594
1676.14/1676.14	o 1886
1677.03/1677.06	c 1032.46 91.5078 5596 5760647
1677.03/1677.06	o 1885
1677.23/1677.28	c 1032.59 91.5078 5758 5761525
1677.23/1677.28	o 1884
1684.43/1684.43	c 1037.77 91.5078 9144 5778807
1684.43/1684.43	o 1883
1686.03/1686.02	c 1038.96 91.5078 10356 5783526
1686.03/1686.02	o 1882
1687.04/1687.09	c 1039.75 91.5078 5762 5787149
1687.04/1687.09	o 1881
1689.03/1689.09	c 1041.28 91.5078 7443 5792903
1689.03/1689.09	o 1878
1690.83/1690.86	c 1042.5 91.5078 9111 5797174
1690.83/1690.86	o 1877
1693.94/1693.92	c 1044.83 91.5078 5682 5804335
1693.94/1693.92	o 1876
1696.24/1696.29	c 1046.61 91.5078 7599 5811469
1696.24/1696.29	o 1875
1696.83/1696.83	c 1046.94 91.5078 7950 5812576
1696.83/1696.83	o 1874
1700.54/1700.51	c 1049.62 91.5078 5799 5818881
1700.54/1700.51	o 1872
1702.13/1702.19	c 1050.87 91.5078 7230 5823959
1702.13/1702.19	o 1871
1702.84/1702.82	c 1051.34 91.5078 7600 5825329
1702.84/1702.82	o 1870
1703.03/1703.08	c 1051.51 91.5078 7859 5826434
1703.03/1703.08	o 1869
1705.83/1705.81	c 1053.44 91.5078 9998 5832590
1705.83/1705.81	o 1868
1706.14/1706.13	c 1053.7 91.5078 10349 5834176
1706.14/1706.13	o 1867
1710.24/1710.22	c 1056.7 91.5078 8223 5845244
1710.24/1710.22	o 1866
1710.54/1710.55	c 1056.92 91.5078 8485 5846477
1710.54/1710.55	o 1864
1711.13/1711.11	c 1057.35 91.5078 8810 5848321
1711.13/1711.11	o 1863
1711.24/1711.25	c 1057.45 91.5078 8876 5848730
1711.24/1711.25	o 1861
1729.94/1729.91	c 1071.08 91.5078 7880 5877362
1729.94/1729.91	o 1859
1730.93/1730.94	c 1071.79 91.5078 8795 5881794
1730.93/1730.94	o 1858
1733.94/1733.91	c 1074.04 91.5078 5884 5889941
1733.94/1733.91	o 1857
1733.94/1733.96	c 1074.08 91.5078 5920 5890447
1733.94/1733.96	o 1855
1737.63/1737.66	c 1076.74 91.5078 9326 5901110
1737.63/1737.66	o 1854
1739.15/1739.15	c 1077.88 91.5078 10663 5905376
1739.15/1739.15	o 1853
1739.54/1739.55	c 1078.19 91.5078 11051 5906631
1739.54/1739.55	o 1852
1740.04/1740.03	c 1078.56 91.5078 5840 5907741
1740.04/1740.03	o 1851
1741.84/1741.80	c 1079.92 91.5078 7578 5913925
1741.84/1741.80	o 1850
1745.23/1745.22	c 1082.36 91.5078 10438 5921995
1745.23/1745.22	o 1848
1745.43/1745.45	c 1082.54 91.5078 10610 5923035
1745.43/1745.45	o 1847
1745.74/1745.73	c 1082.75 91.5078 10802 5924022
1745.74/1745.73	o 1846
1746.54/1746.57	c 1083.38 91.5078 11231 5925286
1746.54/1746.57	o 1845
1747.24/1747.26	c 1083.93 91.5078 6336 5928663
1747.24/1747.26	o 1844
1747.84/1747.84	c 1084.38 91.5078 6893 5931167
1747.84/1747.84	o 1842
1750.83/1750.81	c 1086.45 91.5078 9255 5937605
1750.83/1750.81	o 1841
1751.43/1751.48	c 1086.96 91.5078 9687 5939439
1751.43/1751.48	o 1840
1753.13/1753.14	c 1088.15 91.5078 10661 5942685
1753.13/1753.14	o 1839
1755.64/1755.65	c 1090.02 91.5078 7293 5948673
1755.64/1755.65	o 1838
1775.63/1775.64	c 1104.67 91.7656 12671 5985228
1775.63/1775.64	o 1837
1776.54/1776.52	c 1105.22 91.7656 7085 5987523
1776.54/1776.52	o 1836
1777.23/1777.26	c 1105.8 91.7656 7758 5989928
1777.23/1777.26	o 1835
1778.23/1778.21	c 1106.53 91.7656 8491 5992949
1778.23/1778.21	o 1834
1778.34/1778.37	c 1106.66 91.7656 8637 5993739
1778.34/1778.37	o 1833
1778.54/1778.51	c 1106.77 91.7656 8696 5994202
1778.54/1778.51	o 1831
1780.64/1780.66	c 1108.44 91.7656 10323 5999939
1780.64/1780.66	o 1830
1781.74/1781.78	c 1109.28 91.7656 5919 6003512
1781.74/1781.78	o 1829
1782.23/1782.20	c 1109.52 91.7656 6262 6005324
1782.23/1782.20	o 1826
1783.64/1783.62	c 1110.52 91.7656 7576 6009968
1783.64/1783.62	o 1825
1785.94/1785.93	c 1112.24 91.7656 9542 6015777
1785.94/1785.93	o 1823
1787.84/1787.82	c 1113.65 91.7656 10811 6020154
1787.84/1787.82	o 1822
1795.24/1795.28	c 1119.11 91.7656 10170 6034474
1795.24/1795.28	o 1821
1795.83/1795.88	c 1119.49 91.7656 10546 6036028
1795.83/1795.88	o 1820
1797.24/1797.27	c 1120.54 91.7656 6681 6040364
1797.24/1797.27	o 1819
1799.04/1799.07	c 1121.9 91.7656 8426 6046505
1799.04/1799.07	o 1818
1799.54/1799.55	c 1122.24 91.7656 8767 6047674
1799.54/1799.55	o 1817
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

Verifier Data

OK	1817

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698983-1278462001/watcher-2698983-1278462001 -o /tmp/evaluation-result-2698983-1278462001/solver-2698983-1278462001 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698983-1278462001.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: 1.95 1.99 1.93 3/178 14439
/proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=2136 CPUtime=0
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 252 0 0 0 0 0 0 0 21 0 1 0 14413635 2187264 172 4089446400 134512640 136422188 4294361184 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14439/statm: 534 172 144 467 0 65 0

[startup+0.0980501 s]
/proc/loadavg: 1.95 1.99 1.93 3/178 14439
/proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=3588 CPUtime=0.09
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 596 0 0 0 9 0 0 0 21 0 1 0 14413635 3674112 516 4089446400 134512640 136422188 4294361184 18446744073709551615 135161950 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14439/statm: 897 516 145 467 0 428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3588

[startup+0.101088 s]
/proc/loadavg: 1.95 1.99 1.93 3/178 14439
/proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=3588 CPUtime=0.09
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 596 0 0 0 9 0 0 0 21 0 1 0 14413635 3674112 516 4089446400 134512640 136422188 4294361184 18446744073709551615 135161950 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14439/statm: 897 516 145 467 0 428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3588

[startup+0.301077 s]
/proc/loadavg: 1.95 1.99 1.93 3/178 14439
/proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=42868 CPUtime=0.29
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 10766 0 0 0 28 1 0 0 21 0 1 0 14413635 43896832 10148 4089446400 134512640 136422188 4294361184 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 10717 10151 193 467 0 10248 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42868

[startup+0.701001 s]
/proc/loadavg: 1.95 1.99 1.93 3/178 14439
/proc/meminfo: memFree=30354080/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=79892 CPUtime=0.69
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 20362 0 0 0 52 17 0 0 22 0 1 0 14413635 81809408 18815 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 19973 18815 213 467 0 19504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79892

[startup+1.50086 s]
/proc/loadavg: 1.95 1.99 1.93 3/179 14440
/proc/meminfo: memFree=30279340/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=81412 CPUtime=1.49
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 20872 0 0 0 88 61 0 0 25 0 1 0 14413635 83365888 18960 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 20353 18960 236 467 0 19884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81412

[startup+3.10057 s]
/proc/loadavg: 1.95 1.99 1.93 3/179 14440
/proc/meminfo: memFree=30278844/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=81808 CPUtime=3.09
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 20977 0 0 0 141 168 0 0 25 0 1 0 14413635 83771392 19051 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 20452 19051 237 467 0 19983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81808

[startup+6.30101 s]
/proc/loadavg: 1.95 1.99 1.93 3/179 14440
/proc/meminfo: memFree=30278404/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=82600 CPUtime=6.29
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 21223 0 0 0 288 341 0 0 25 0 1 0 14413635 84582400 19271 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 20650 19271 237 467 0 20181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82600

[startup+12.7008 s]
/proc/loadavg: 1.96 1.99 1.93 3/179 14441
/proc/meminfo: memFree=30276316/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=84316 CPUtime=12.69
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 21679 0 0 0 551 718 0 0 25 0 1 0 14413635 86339584 19695 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 21079 19695 237 467 0 20610 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84316

[startup+25.5005 s]
/proc/loadavg: 1.97 1.99 1.93 3/179 14441
/proc/meminfo: memFree=30275916/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=85240 CPUtime=25.49
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 21946 0 0 0 1057 1492 0 0 25 0 1 0 14413635 87285760 19933 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 21310 19933 237 467 0 20841 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 85240

[startup+51.1009 s]
/proc/loadavg: 1.98 1.99 1.93 3/179 14441
/proc/meminfo: memFree=30273536/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=87484 CPUtime=51.09
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 22522 0 0 0 2106 3003 0 0 25 0 1 0 14413635 89583616 20496 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 21871 20496 237 467 0 21402 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87484

[startup+102.306 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 14443
/proc/meminfo: memFree=30270988/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=89596 CPUtime=102.3
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23133 0 0 0 4190 6040 0 0 25 0 1 0 14413635 91746304 21021 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22399 21021 237 467 0 21930 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 89596

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 14445
/proc/meminfo: memFree=30270812/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=89596 CPUtime=162.29
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23197 0 0 0 6654 9575 0 0 25 0 1 0 14413635 91746304 21021 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22399 21021 237 467 0 21930 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 89596

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14446
/proc/meminfo: memFree=30270500/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=89596 CPUtime=222.3
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23274 0 0 0 9109 13121 0 0 25 0 1 0 14413635 91746304 21021 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22399 21021 237 467 0 21930 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 89596

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14447
/proc/meminfo: memFree=30270556/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=89596 CPUtime=282.3
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23338 0 0 0 11596 16634 0 0 25 0 1 0 14413635 91746304 21023 4089446400 134512640 136422188 4294361184 18446744073709551615 135026072 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22399 21023 237 467 0 21930 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 89596

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14449
/proc/meminfo: memFree=30270376/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=89596 CPUtime=342.3
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23375 0 0 0 14096 20134 0 0 25 0 1 0 14413635 91746304 21023 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22399 21023 237 467 0 21930 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 89596

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14451
/proc/meminfo: memFree=30269688/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=90388 CPUtime=402.3
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23586 0 0 0 16629 23601 0 0 25 0 1 0 14413635 92557312 21216 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22597 21216 237 467 0 22128 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 90388

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14453
/proc/meminfo: memFree=30269388/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=90388 CPUtime=462.3
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23660 0 0 0 19166 27064 0 0 25 0 1 0 14413635 92557312 21225 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22597 21225 237 467 0 22128 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 90388

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14454
/proc/meminfo: memFree=30269300/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=90388 CPUtime=522.3
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 23690 0 0 0 21733 30497 0 0 25 0 1 0 14413635 92557312 21226 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22597 21226 237 467 0 22128 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 90388

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14455
/proc/meminfo: memFree=30267520/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=582.31
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24087 0 0 0 24469 33762 0 0 25 0 1 0 14413635 94203904 21622 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/14439/statm: 22999 21622 237 467 0 22530 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 91996

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14485
/proc/meminfo: memFree=29603164/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=642.31
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24134 0 0 0 28458 35773 0 0 25 0 1 0 14413635 94203904 21623 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 22999 21623 237 467 0 22530 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 91996

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14490
/proc/meminfo: memFree=29395028/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=822.31
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24264 0 0 0 41337 40894 0 0 25 0 1 0 14413635 94203904 21625 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 22999 21625 237 467 0 22530 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 91996

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14491
/proc/meminfo: memFree=29314360/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=882.32
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24324 0 0 0 45668 42564 0 0 25 0 1 0 14413635 94203904 21626 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 22999 21626 237 467 0 22530 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 91996

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14493
/proc/meminfo: memFree=29197252/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=942.31
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24356 0 0 0 49983 44248 0 0 25 0 1 0 14413635 94203904 21626 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 22999 21626 237 467 0 22530 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 91996

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14495
/proc/meminfo: memFree=29121928/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=1002.31
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24384 0 0 0 54318 45913 0 0 25 0 1 0 14413635 94203904 21633 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 22999 21633 237 467 0 22530 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 91996

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14497
/proc/meminfo: memFree=29035444/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=1062.32
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24441 0 0 0 58610 47622 0 0 25 0 1 0 14413635 94203904 21653 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 22999 21653 237 467 0 22530 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 91996

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14498
/proc/meminfo: memFree=28956020/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=91996 CPUtime=1122.32
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24484 0 0 0 62898 49334 0 0 25 0 1 0 14413635 94203904 21653 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 22999 21653 237 467 0 22530 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 91996

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14499
/proc/meminfo: memFree=28900772/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93188 CPUtime=1182.32
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24797 0 0 0 67235 50997 0 0 25 0 1 0 14413635 95424512 21941 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23297 21941 237 467 0 22828 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 93188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14501
/proc/meminfo: memFree=28809076/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93188 CPUtime=1242.32
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24842 0 0 0 71574 52658 0 0 25 0 1 0 14413635 95424512 21942 4089446400 134512640 136422188 4294361184 18446744073709551615 135025990 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23297 21942 237 467 0 22828 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 93188

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14503
/proc/meminfo: memFree=28728520/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93188 CPUtime=1302.33
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24871 0 0 0 75956 54277 0 0 25 0 1 0 14413635 95424512 21942 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23297 21942 237 467 0 22828 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 93188

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14505
/proc/meminfo: memFree=28650860/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93188 CPUtime=1362.32
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 24902 0 0 0 80411 55821 0 0 25 0 1 0 14413635 95424512 21944 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23297 21944 237 467 0 22828 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 93188

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14506
/proc/meminfo: memFree=28562988/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93700 CPUtime=1422.34
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25070 0 0 0 84802 57432 0 0 25 0 1 0 14413635 95948800 21947 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23425 21947 237 467 0 22956 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 93700

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14507
/proc/meminfo: memFree=28500804/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93700 CPUtime=1482.33
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25103 0 0 0 89132 59101 0 0 25 0 1 0 14413635 95948800 21947 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23425 21947 237 467 0 22956 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 93700

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14509
/proc/meminfo: memFree=28495792/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93700 CPUtime=1542.33
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25141 0 0 0 93501 60732 0 0 25 0 1 0 14413635 95948800 21947 4089446400 134512640 136422188 4294361184 18446744073709551615 134865248 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23425 21947 237 467 0 22956 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 93700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14511
/proc/meminfo: memFree=28495592/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93700 CPUtime=1602.33
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25190 0 0 0 97830 62403 0 0 25 0 1 0 14413635 95948800 21957 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23425 21957 237 467 0 22956 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 93700

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14513
/proc/meminfo: memFree=28495152/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93700 CPUtime=1662.34
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25236 0 0 0 102190 64044 0 0 25 0 1 0 14413635 95948800 21959 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23425 21959 237 467 0 22956 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 93700

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14514
/proc/meminfo: memFree=28495204/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93700 CPUtime=1722.34
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25272 0 0 0 106563 65671 0 0 25 0 1 0 14413635 95948800 21959 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23425 21959 237 467 0 22956 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 93700

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14515
/proc/meminfo: memFree=28494780/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93964 CPUtime=1782.34
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25374 0 0 0 110958 67276 0 0 25 0 1 0 14413635 96219136 22033 4089446400 134512640 136422188 4294361184 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23491 22033 237 467 0 23022 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 93964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 14516
/proc/meminfo: memFree=28494528/32950928 swapFree=67111528/67111528
[pid=14439] ppid=14437 vsize=93964 CPUtime=1800.05
/proc/14439/stat : 14439 (pbct) R 14437 14439 13912 0 -1 4202496 25382 0 0 0 112258 67747 0 0 25 0 1 0 14413635 96219136 22033 4089446400 134512640 136422188 4294361184 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/14439/statm: 23491 22033 237 467 0 23022 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 93964

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.01
CPU time (s): 1800.06
CPU user time (s): 1122.58
CPU system time (s): 677.475
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 93964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1122.58
system time used= 677.475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25383
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= 1
involuntary context switches= 3673

runsolver used 2.45863 second user time and 5.80612 second system time

The end

Launcher Data

Begin job on node122 at 2010-07-07 02:20:01
IDJOB=2698983
IDBENCH=79068
IDSOLVER=1212
FILE ID=node122/2698983-1278462001
PBS_JOBID= 11233749
Free space on /tmp= 73688 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j309_10-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698983-1278462001/watcher-2698983-1278462001 -o /tmp/evaluation-result-2698983-1278462001/solver-2698983-1278462001 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698983-1278462001.wbo

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

MD5SUM BENCH= f8e585aed580dee910146256b9cb9d64
RANDOM SEED=1315258092

node122.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.839
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.67
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.839
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	: 5226.16
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.839
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.75
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.839
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.81
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.839
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.76
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.839
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.67
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.839
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.82
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.839
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30354724 kB
Buffers:        109960 kB
Cached:        2263460 kB
SwapCached:          0 kB
Active:         872796 kB
Inactive:      1583628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30354724 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2464 kB
Writeback:           0 kB
AnonPages:       82496 kB
Mapped:          15816 kB
Slab:            76976 kB
PageTables:       4168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   223984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73684 MiB
End job on node122 at 2010-07-07 02:50:03