Trace number 2699041

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-66-100-0.wbo
MD5SUM3da4f5c3e5e38abb2c08bf92ba94a43a
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 benchmark2.73858
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9272
Total number of constraints29174
Number of soft constraints9967
Number of constraints which are clauses28874
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint35
Top cost 504083
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 504082
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
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.30/0.31	c constraints 188/112 clauses 11329/6720 units 2266
0.30/0.31	c vars 9272
1.39/1.45	c 1.25581 113.77 170 277224
1.39/1.45	o 37389
1.49/1.51	c 1.28181 115.082 179 299095
1.49/1.51	o 32284
1.49/1.54	c 1.3108 115.082 187 307077
1.49/1.54	o 32272
1.59/1.60	c 1.35479 115.082 217 326171
1.59/1.60	o 25981
1.59/1.63	c 1.38279 115.082 225 334246
1.59/1.63	o 24819
1.59/1.66	c 1.40679 115.082 232 341689
1.59/1.66	o 23429
1.59/1.69	c 1.42978 115.082 237 349687
1.59/1.69	o 23410
1.69/1.72	c 1.45878 115.082 243 358700
1.69/1.72	o 22620
1.69/1.75	c 1.47778 115.082 249 365272
1.69/1.75	o 22565
1.69/1.79	c 1.50677 115.082 271 368705
1.69/1.79	o 22562
1.79/1.84	c 1.54377 115.082 294 382347
1.79/1.84	o 18954
1.79/1.87	c 1.56676 115.082 298 386336
1.79/1.87	o 18947
1.89/1.90	c 1.59176 115.082 307 393509
1.89/1.90	o 15463
1.89/1.95	c 1.63475 115.211 329 407276
1.89/1.95	o 14720
1.89/1.99	c 1.66375 115.211 336 415784
1.89/1.99	o 14677
1.99/2.03	c 1.69274 115.211 344 428858
1.99/2.03	o 14660
1.99/2.07	c 1.72374 115.211 348 439254
1.99/2.07	o 13387
1.99/2.10	c 1.74673 115.211 351 443668
1.99/2.10	o 13381
2.09/2.13	c 1.76573 115.211 355 452047
2.09/2.13	o 11430
2.09/2.15	c 1.78773 115.211 358 457564
2.09/2.15	o 11408
2.09/2.18	c 1.81472 115.211 364 462239
2.09/2.18	o 11403
2.20/2.26	c 1.86772 115.211 405 467973
2.20/2.26	o 11402
2.29/2.30	c 1.89971 115.211 421 475882
2.29/2.30	o 11400
2.29/2.34	c 1.9347 115.211 432 484047
2.29/2.34	o 11392
2.39/2.40	c 1.9797 115.211 466 489689
2.39/2.40	o 11390
2.39/2.44	c 2.01069 115.211 480 498539
2.39/2.44	o 9666
2.39/2.48	c 2.03969 115.211 492 507274
2.39/2.48	o 9665
2.50/2.51	c 2.06269 115.211 500 510969
2.50/2.51	o 9656
2.50/2.55	c 2.09268 115.211 510 520380
2.50/2.55	o 9199
2.50/2.59	c 2.12468 115.211 524 525439
2.50/2.59	o 9198
2.59/2.62	c 2.15467 115.211 536 535135
2.59/2.62	o 8353
2.59/2.65	c 2.17967 115.211 538 543163
2.59/2.65	o 8216
2.69/2.70	c 2.21366 115.211 555 549210
2.69/2.70	o 8215
2.69/2.75	c 2.25166 115.34 568 557643
2.69/2.75	o 8212
2.69/2.79	c 2.28665 115.34 583 569112
2.69/2.79	o 7954
2.79/2.83	c 2.31865 115.34 590 580177
2.79/2.83	o 7023
2.89/2.91	c 2.37664 115.34 615 583866
2.89/2.91	o 7021
2.89/2.95	c 2.40663 115.34 624 591153
2.89/2.95	o 7013
2.89/2.99	c 2.44163 115.34 633 599914
2.89/2.99	o 7005
2.99/3.02	c 2.46263 115.34 635 604285
2.99/3.02	o 6996
3.29/3.40	c 2.73758 115.34 742 613516
3.29/3.40	o 6995
3.40/3.43	c 2.76658 115.34 749 619997
3.40/3.43	o 6994
3.49/3.56	c 2.85556 115.469 799 622522
3.49/3.56	o 6993
3.49/3.59	c 2.88256 115.469 807 627202
3.49/3.59	o 6991
3.69/3.78	c 3.00954 115.469 873 630522
3.69/3.78	o 6990
3.79/3.83	c 3.04754 115.469 892 639291
3.79/3.83	o 6989
3.79/3.86	c 3.07453 115.469 906 644502
3.79/3.86	o 6988
4.19/4.20	c 3.32949 115.598 1122 656447
4.19/4.20	o 6985
4.19/4.24	c 3.35849 115.598 1131 661964
4.19/4.24	o 6982
4.29/4.33	c 3.42848 115.598 1176 664360
4.29/4.33	o 6981
4.59/4.62	c 3.65044 115.727 1296 671879
4.59/4.62	o 6977
4.80/4.82	c 3.79742 115.727 1425 678820
4.80/4.82	o 6976
4.80/4.85	c 3.82542 115.727 1432 687421
4.80/4.85	o 6005
4.80/4.88	c 3.84841 115.727 1435 691564
4.80/4.88	o 5998
4.89/4.92	c 3.88141 115.727 1446 702294
4.89/4.92	o 5425
4.89/4.95	c 3.90241 115.727 1453 706447
4.89/4.95	o 5424
4.89/4.99	c 3.9384 115.727 1466 714271
4.89/4.99	o 5421
5.00/5.06	c 3.98339 115.727 1489 719976
5.00/5.06	o 5420
5.29/5.36	c 4.17936 115.855 1598 727166
5.29/5.36	o 5418
5.69/5.72	c 4.43933 115.855 1696 729891
5.69/5.72	o 5416
5.89/5.91	c 4.5693 115.855 1833 736862
5.89/5.91	o 5415
7.19/7.28	c 5.52716 116.242 2448 745494
7.19/7.28	o 5413
7.29/7.32	c 5.56315 116.242 2454 753199
7.29/7.32	o 5412
7.29/7.35	c 5.59015 116.242 2458 755568
7.29/7.35	o 5411
7.29/7.39	c 5.62214 116.242 2464 757542
7.29/7.39	o 5410
7.59/7.60	c 5.77812 116.242 2615 760598
7.59/7.60	o 5408
7.59/7.69	c 5.84311 116.371 2645 764432
7.59/7.69	o 5405
7.69/7.74	c 5.88511 116.371 2660 769223
7.69/7.74	o 5404
7.69/7.79	c 5.9181 116.371 2678 774051
7.69/7.79	o 5396
7.80/7.83	c 5.95209 116.371 2692 778149
7.80/7.83	o 5393
8.30/8.31	c 6.29804 116.5 3139 786728
8.30/8.31	o 5390
8.30/8.36	c 6.33304 116.5 3154 795806
8.30/8.36	o 5375
8.40/8.41	c 6.37203 116.5 3163 797881
8.40/8.41	o 5374
8.49/8.55	c 6.47701 116.5 3276 801098
8.49/8.55	o 5370
8.49/8.58	c 6.50001 116.629 3283 806889
8.49/8.58	o 5363
8.59/8.61	c 6.52301 116.629 3286 811420
8.59/8.61	o 5358
8.90/8.97	c 6.78397 116.629 3501 814010
8.90/8.97	o 5357
8.99/9.08	c 6.86895 116.629 3536 818827
8.99/9.08	o 5353
9.79/9.83	c 7.39888 116.887 3955 825104
9.79/9.83	o 5350
10.00/10.01	c 7.53285 116.887 4083 831465
10.00/10.01	o 5347
10.00/10.05	c 7.55885 116.887 4090 838173
10.00/10.05	o 5344
11.19/11.27	c 8.42772 117.145 4560 843583
11.19/11.27	o 5343
11.49/11.58	c 8.65468 117.273 4677 849945
11.49/11.58	o 5342
11.59/11.61	c 8.68668 117.273 4684 855854
11.59/11.61	o 5339
11.59/11.64	c 8.71268 117.273 4687 859669
11.59/11.64	o 5338
11.59/11.67	c 8.73367 117.273 4689 864722
11.59/11.67	o 5337
11.69/11.70	c 8.75367 117.273 4690 868768
11.69/11.70	o 5332
11.69/11.73	c 8.77567 117.273 4693 873450
11.69/11.73	o 5323
11.69/11.77	c 8.80766 117.273 4703 880021
11.69/11.77	o 5321
11.89/11.91	c 8.91964 117.273 4812 885899
11.89/11.91	o 5314
11.89/11.94	c 8.94764 117.273 4820 889284
11.89/11.94	o 5313
12.10/12.13	c 9.09062 117.273 4942 892040
12.10/12.13	o 5312
12.50/12.56	c 9.39957 117.531 5252 899284
12.50/12.56	o 5306
12.59/12.60	c 9.42957 117.531 5263 902141
12.59/12.60	o 5304
12.59/12.64	c 9.45856 117.531 5273 905822
12.59/12.64	o 5303
12.59/12.68	c 9.49156 117.531 5285 908280
12.59/12.68	o 5300
26.69/26.72	c 19.2681 121.285 12626 927770
26.69/26.72	o 5298
27.10/27.12	c 19.551 121.285 12762 931061
27.10/27.12	o 5297
27.10/27.19	c 19.602 121.285 12798 932015
27.10/27.19	o 5296
27.19/27.24	c 19.646 121.285 12810 933773
27.19/27.24	o 5291
30.79/30.82	c 22.1976 121.93 7285 944954
30.79/30.82	o 5289
31.79/31.89	c 22.9675 121.93 7895 967372
31.79/31.89	o 5283
32.00/32.02	c 23.0705 121.93 7945 971615
32.00/32.02	o 5280
32.79/32.80	c 23.6114 121.93 8375 982328
32.79/32.80	o 5277
32.79/32.86	c 23.6624 121.93 8392 991337
32.79/32.86	o 5274
32.89/32.91	c 23.7044 121.93 8405 999471
32.89/32.91	o 5259
33.20/33.22	c 23.9164 121.93 8565 1004931
33.20/33.22	o 5256
34.29/34.38	c 24.7482 121.93 9096 1022120
34.29/34.38	o 5254
34.40/34.48	c 24.8252 121.93 9132 1024619
34.40/34.48	o 5248
35.39/35.40	c 25.4611 121.93 9687 1035992
35.39/35.40	o 5246
35.59/35.63	c 25.6351 121.93 9792 1042456
35.59/35.63	o 5243
35.59/35.66	c 25.6591 121.93 9795 1047982
35.59/35.66	o 5241
35.59/35.69	c 25.6861 121.93 9802 1050859
35.59/35.69	o 5240
35.89/35.92	c 25.8591 121.93 9890 1052236
35.89/35.92	o 5238
36.19/36.20	c 26.063 121.93 10015 1056622
36.19/36.20	o 5236
36.19/36.25	c 26.102 121.93 10033 1064021
36.19/36.25	o 5233
36.19/36.29	c 26.137 121.93 10042 1072596
36.19/36.29	o 5225
36.30/36.33	c 26.167 121.93 10048 1075741
36.30/36.33	o 5223
36.30/36.37	c 26.2 121.93 10055 1081962
36.30/36.37	o 5220
36.49/36.58	c 26.36 121.93 10195 1085706
36.49/36.58	o 5216
36.79/36.84	c 26.534 121.93 10267 1091322
36.79/36.84	o 5212
39.30/39.39	c 28.2927 121.93 11399 1103273
39.30/39.39	o 5211
54.00/54.04	c 38.5371 122.574 8563 1125119
54.00/54.04	o 5210
58.69/58.75	c 41.8626 122.574 11073 1151888
58.69/58.75	o 5207
58.69/58.79	c 41.8916 122.574 11079 1154629
58.69/58.79	o 5206
58.79/58.83	c 41.9156 122.574 11085 1156984
58.79/58.83	o 5205
58.79/58.88	c 41.9536 122.574 11101 1159918
58.79/58.88	o 5204
58.89/58.95	c 42.0036 122.574 11127 1163353
58.89/58.95	o 5203
59.00/59.00	c 42.0436 122.574 11141 1165903
59.00/59.00	o 5202
59.00/59.03	c 42.0736 122.574 11151 1168520
59.00/59.03	o 5201
59.30/59.33	c 42.2966 122.574 11235 1171451
59.30/59.33	o 5200
59.30/59.38	c 42.3336 122.574 11244 1176386
59.30/59.38	o 5199
59.39/59.41	c 42.3586 122.574 11249 1179923
59.39/59.41	o 5198
59.39/59.48	c 42.4066 122.574 11271 1181649
59.39/59.48	o 5197
59.50/59.55	c 42.4595 122.574 11292 1187330
59.50/59.55	o 5196
59.50/59.58	c 42.4905 122.574 11305 1190893
59.50/59.58	o 5194
61.70/61.78	c 44.0433 122.574 12824 1209342
61.70/61.78	o 5193
61.80/61.84	c 44.0823 122.574 12837 1214171
61.80/61.84	o 5192
61.89/61.94	c 44.1663 122.574 12877 1221698
61.89/61.94	o 5191
62.19/62.22	c 44.3683 122.574 12960 1224947
62.19/62.22	o 5190
62.80/62.87	c 44.8212 122.574 13248 1233126
62.80/62.87	o 5189
62.90/62.90	c 44.8462 122.574 13251 1236521
62.90/62.90	o 5188
62.90/62.93	c 44.8772 122.574 13255 1240709
62.90/62.93	o 5187
62.90/62.97	c 44.9042 122.574 13262 1247950
62.90/62.97	o 5182
63.40/63.41	c 45.2111 122.574 13372 1251784
63.40/63.41	o 5181
63.80/63.90	c 45.5571 122.574 13663 1256651
63.80/63.90	o 5180
64.19/64.22	c 45.797 122.574 7050 1263959
64.19/64.22	o 5179
64.19/64.28	c 45.843 122.574 7065 1266047
64.19/64.28	o 5178
64.39/64.43	c 45.941 122.574 7117 1269370
64.39/64.43	o 5177
64.39/64.46	c 45.973 122.574 7124 1274965
64.39/64.46	o 5175
64.49/64.55	c 46.035 122.574 7147 1277815
64.49/64.55	o 5174
65.10/65.19	c 46.4819 122.574 7365 1282683
65.10/65.19	o 5173
65.40/65.44	c 46.6679 122.574 7607 1289248
65.40/65.44	o 5172
65.49/65.50	c 46.7069 122.574 7625 1293481
65.49/65.50	o 5171
65.49/65.55	c 46.7479 122.574 7643 1300241
65.49/65.55	o 5170
68.30/68.33	c 48.6976 122.574 8788 1313766
68.30/68.33	o 5169
68.30/68.37	c 48.7276 122.574 8790 1318344
68.30/68.37	o 5168
68.49/68.52	c 48.8316 122.574 8861 1321935
68.49/68.52	o 5167
68.69/68.79	c 49.0345 122.574 8982 1327665
68.69/68.79	o 5166
69.19/69.23	c 49.3435 122.574 9171 1332423
69.19/69.23	o 5165
69.19/69.27	c 49.3755 122.574 9180 1334228
69.19/69.27	o 5164
69.29/69.32	c 49.4155 122.574 9195 1338762
69.29/69.32	o 5163
69.29/69.36	c 49.4515 122.574 9204 1343081
69.29/69.36	o 5162
69.29/69.40	c 49.4805 122.574 9213 1347471
69.29/69.40	o 5158
69.40/69.43	c 49.5095 122.574 9221 1352423
69.40/69.43	o 5154
77.29/77.36	c 55.0386 122.574 12701 1371169
77.29/77.36	o 5153
77.69/77.74	c 55.3166 122.574 12843 1376421
77.69/77.74	o 5152
80.30/80.39	c 57.1823 122.574 7395 1390721
80.30/80.39	o 5151
83.09/83.12	c 59.083 122.574 8536 1404180
83.09/83.12	o 5148
83.19/83.20	c 59.148 122.574 8645 1409193
83.19/83.20	o 5147
84.40/84.43	c 60.0149 122.574 9381 1416696
84.40/84.43	o 5146
84.80/84.85	c 60.3248 122.574 9596 1425911
84.80/84.85	o 5145
84.99/85.08	c 60.4898 122.574 9704 1430968
84.99/85.08	o 5144
85.30/85.36	c 60.6878 122.574 9823 1436519
85.30/85.36	o 5143
85.30/85.39	c 60.7188 122.574 9831 1440319
85.30/85.39	o 5142
85.80/85.84	c 61.0367 122.574 9951 1444126
85.80/85.84	o 5141
86.10/86.17	c 61.2787 122.574 10076 1448084
86.10/86.17	o 5140
86.20/86.25	c 61.3297 122.574 10096 1452848
86.20/86.25	o 5139
86.40/86.43	c 61.4607 122.574 10184 1456398
86.40/86.43	o 5138
86.49/86.50	c 61.5216 122.574 10221 1458789
86.49/86.50	o 5137
86.80/86.84	c 61.7566 122.574 10327 1462314
86.80/86.84	o 5136
87.30/87.31	c 62.0866 122.574 10535 1473283
87.30/87.31	o 5134
88.00/88.01	c 62.5855 122.574 10907 1479602
88.00/88.01	o 5133
88.10/88.11	c 62.6615 122.574 10939 1480928
88.10/88.11	o 5131
88.39/88.40	c 62.8494 122.574 11084 1484085
88.39/88.40	o 5130
88.59/88.64	c 63.0274 122.574 11227 1486619
88.59/88.64	o 5129
89.60/89.61	c 63.7293 122.574 11833 1493188
89.60/89.61	o 5128
91.00/91.00	c 64.6872 122.574 12414 1500298
91.00/91.00	o 5127
91.49/91.50	c 65.0421 122.574 12677 1503601
91.49/91.50	o 5126
91.80/91.80	c 65.2621 122.574 12851 1506737
91.80/91.80	o 5125
92.50/92.57	c 65.807 122.574 13248 1513267
92.50/92.57	o 5124
93.09/93.13	c 66.2089 122.574 13560 1516850
93.09/93.13	o 5123
93.19/93.21	c 66.2719 122.574 13590 1520899
93.19/93.21	o 5122
93.19/93.26	c 66.3109 122.574 13599 1522024
93.19/93.26	o 5121
93.19/93.29	c 66.3319 122.574 13604 1525628
93.19/93.29	o 5120
93.50/93.58	c 66.5319 122.574 13708 1528857
93.50/93.58	o 5119
93.70/93.77	c 66.6719 122.574 6920 1536819
93.70/93.77	o 5118
96.59/96.64	c 68.6846 122.574 8448 1556937
96.59/96.64	o 5117
96.80/96.81	c 68.8145 122.574 8521 1560653
96.80/96.81	o 5115
96.80/96.87	c 68.8635 122.574 8536 1564697
96.80/96.87	o 5114
99.50/99.50	c 70.6913 122.574 9742 1572166
99.50/99.50	o 5113
99.90/99.95	c 71.0232 122.574 9919 1580032
99.90/99.95	o 5111
107.29/107.35	c 76.2464 122.574 13692 1604741
107.29/107.35	o 5110
108.39/108.44	c 77.0253 122.574 7349 1613923
108.39/108.44	o 5109
109.30/109.33	c 77.6572 122.574 7662 1625147
109.30/109.33	o 5108
109.30/109.37	c 77.6912 122.574 7672 1629050
109.30/109.37	o 5107
109.69/109.78	c 77.9911 122.574 7879 1633137
109.69/109.78	o 5106
109.79/109.82	c 78.0251 122.574 7894 1635436
109.79/109.82	o 5105
110.10/110.16	c 78.2711 122.574 8071 1644184
110.10/110.16	o 5104
112.30/112.38	c 79.8139 122.574 9300 1662501
112.30/112.38	o 5103
113.89/113.99	c 80.9677 122.574 10413 1672179
113.89/113.99	o 5102
114.69/114.79	c 81.5536 122.574 10865 1680381
114.69/114.79	o 5101
115.60/115.62	c 82.1385 122.574 11315 1689146
115.60/115.62	o 5099
115.79/115.84	c 82.2965 122.574 11391 1690363
115.79/115.84	o 5098
115.89/115.91	c 82.3515 122.574 11424 1692941
115.89/115.91	o 5097
116.10/116.18	c 82.5255 122.574 11489 1694342
116.10/116.18	o 5096
116.99/117.02	c 83.0954 122.574 11779 1697042
116.99/117.02	o 5095
118.00/118.01	c 83.7853 122.574 12324 1706156
118.00/118.01	o 5094
119.79/119.86	c 85.1061 122.574 13438 1713628
119.79/119.86	o 5093
123.59/123.68	c 87.8386 122.574 8550 1737280
123.59/123.68	o 5092
126.09/126.19	c 89.6444 122.574 9772 1755576
126.09/126.19	o 5091
126.50/126.57	c 89.8993 122.574 9943 1760120
126.50/126.57	o 5090
130.90/130.97	c 92.9279 122.574 11842 1767063
130.90/130.97	o 5089
133.11/133.18	c 94.4926 122.574 13296 1784023
133.11/133.18	o 5088
133.20/133.23	c 94.5306 122.574 13314 1786412
133.20/133.23	o 5087
133.20/133.27	c 94.5656 122.574 13320 1788219
133.20/133.27	o 5086
133.50/133.57	c 94.7716 122.574 13426 1795352
133.50/133.57	o 5085
133.59/133.63	c 94.8236 122.574 13469 1799819
133.59/133.63	o 5084
134.31/134.31	c 95.3205 122.574 6945 1808073
134.31/134.31	o 5083
135.80/135.82	c 96.4053 122.574 7693 1826571
135.80/135.82	o 5082
136.10/136.17	c 96.6513 122.574 7806 1830727
136.10/136.17	o 5081
136.40/136.47	c 96.8613 122.574 7910 1833768
136.40/136.47	o 5080
136.50/136.51	c 96.8903 122.574 7918 1839421
136.50/136.51	o 5079
136.50/136.57	c 96.9383 122.574 7943 1843551
136.50/136.57	o 5078
136.59/136.64	c 96.9913 122.574 7973 1845399
136.59/136.64	o 5076
136.79/136.87	c 97.1402 122.574 8041 1847280
136.79/136.87	o 5075
136.90/136.90	c 97.1692 122.574 8048 1851189
136.90/136.90	o 5074
137.10/137.15	c 97.3442 122.574 8162 1856725
137.10/137.15	o 5073
138.90/138.95	c 98.62 122.574 9137 1864799
138.90/138.95	o 5072
139.49/139.53	c 99.0259 122.574 9366 1878316
139.49/139.53	o 5070
142.20/142.23	c 100.945 122.574 10808 1891113
142.20/142.23	o 5069
142.30/142.35	c 101.042 122.574 10859 1897471
142.30/142.35	o 5068
142.90/142.95	c 101.471 122.574 11215 1903726
142.90/142.95	o 5067
143.70/143.72	c 102.021 122.574 11631 1909598
143.70/143.72	o 5066
143.70/143.76	c 102.054 122.574 11647 1913502
143.70/143.76	o 5065
143.70/143.79	c 102.081 122.574 11653 1917355
143.70/143.79	o 5064
143.79/143.83	c 102.112 122.574 11658 1920679
143.79/143.83	o 5063
143.79/143.86	c 102.142 122.574 11662 1924692
143.79/143.86	o 5059
143.89/143.91	c 102.182 122.574 11676 1926802
143.89/143.91	o 5058
145.70/145.79	c 103.513 122.574 12697 1940311
145.70/145.79	o 5057
146.30/146.38	c 103.923 122.574 12945 1948056
146.30/146.38	o 5054
148.70/148.73	c 105.601 122.574 7316 1957245
148.70/148.73	o 5053
150.40/150.48	c 106.866 122.574 8403 1968629
150.40/150.48	o 5052
151.10/151.15	c 107.321 122.574 8665 1977552
151.10/151.15	o 5051
151.40/151.47	c 107.528 122.574 8746 1979929
151.40/151.47	o 5050
161.20/161.27	c 114.557 122.832 7231 2003384
161.20/161.27	o 5045
161.30/161.31	c 114.598 122.832 7241 2007192
161.30/161.31	o 5043
161.49/161.53	c 114.754 122.832 7355 2012960
161.49/161.53	o 5042
161.49/161.57	c 114.786 122.832 7369 2014865
161.49/161.57	o 5041
161.60/161.61	c 114.815 122.832 7376 2021179
161.60/161.61	o 5038
161.60/161.65	c 114.853 122.832 7386 2026697
161.60/161.65	o 5037
162.20/162.21	c 115.231 122.832 7580 2032435
162.20/162.21	o 5035
162.40/162.46	c 115.42 122.832 7702 2038773
162.40/162.46	o 5034
162.60/162.67	c 115.582 122.832 7831 2046339
162.60/162.67	o 5033
162.80/162.83	c 115.7 122.832 7877 2050564
162.80/162.83	o 5032
162.80/162.89	c 115.749 122.832 7898 2052976
162.80/162.89	o 5029
163.10/163.17	c 115.946 122.832 8017 2059820
163.10/163.17	o 5028
163.70/163.73	c 116.327 122.832 8193 2064135
163.70/163.73	o 5027
165.90/165.96	c 117.899 122.832 9339 2076509
165.90/165.96	o 5024
166.00/166.05	c 117.97 122.832 9366 2078786
166.00/166.05	o 5023
166.11/166.10	c 118.012 122.832 9382 2082162
166.11/166.10	o 5022
166.40/166.42	c 118.238 122.832 9495 2087485
166.40/166.42	o 5016
166.40/166.46	c 118.273 122.832 9503 2091130
166.40/166.46	o 5015
166.60/166.61	c 118.382 122.832 9614 2093684
166.60/166.61	o 5013
166.60/166.69	c 118.448 122.832 9644 2099126
166.60/166.69	o 5012
166.80/166.82	c 118.53 122.832 9682 2100948
166.80/166.82	o 5011
166.80/166.85	c 118.553 122.832 9685 2103985
166.80/166.85	o 5009
166.89/166.91	c 118.6 122.832 9699 2107720
166.89/166.91	o 5008
167.10/167.12	c 118.751 122.832 9767 2110371
167.10/167.12	o 5007
167.10/167.17	c 118.791 122.832 9780 2112723
167.10/167.17	o 5006
167.21/167.22	c 118.826 122.832 9790 2116376
167.21/167.22	o 5005
167.40/167.43	c 118.978 122.832 9914 2119655
167.40/167.43	o 5004
167.70/167.71	c 119.177 122.832 10050 2123309
167.70/167.71	o 5003
169.10/169.11	c 120.153 122.832 10802 2129924
169.10/169.11	o 5002
174.30/174.35	c 123.801 122.832 13026 2144757
174.30/174.35	o 5001
176.60/176.66	c 125.392 122.832 13778 2146979
176.60/176.66	o 5000
177.60/177.67	c 126.123 122.832 7534 2157902
177.60/177.67	o 4999
178.10/178.10	c 126.422 122.832 7700 2160468
178.10/178.10	o 4998
178.10/178.17	c 126.477 122.832 7738 2164519
178.10/178.17	o 4997
179.00/179.09	c 127.127 122.832 8161 2169740
179.00/179.09	o 4996
183.90/183.95	c 130.463 122.832 10448 2184532
183.90/183.95	o 4995
184.00/184.08	c 130.57 122.832 10511 2188567
184.00/184.08	o 4994
185.10/185.11	c 131.296 122.832 11000 2198389
185.10/185.11	o 4993
185.30/185.36	c 131.486 122.832 11133 2206624
185.30/185.36	o 4991
185.50/185.55	c 131.627 122.832 11194 2209426
185.50/185.55	o 4989
185.79/185.85	c 131.827 122.832 11305 2212887
185.79/185.85	o 4988
185.79/185.89	c 131.861 122.832 11321 2216926
185.79/185.89	o 4987
185.91/185.93	c 131.893 122.832 11328 2219462
185.91/185.93	o 4986
185.91/185.98	c 131.933 122.832 11344 2223246
185.91/185.98	o 4985
186.10/186.11	c 132.04 122.832 11451 2225978
186.10/186.11	o 4984
187.50/187.51	c 133.039 122.832 11963 2240327
187.50/187.51	o 4982
187.50/187.55	c 133.069 122.832 11972 2242805
187.50/187.55	o 4981
187.60/187.60	c 133.108 122.832 11984 2251098
187.60/187.60	o 4980
187.60/187.64	c 133.144 122.832 11991 2253972
187.60/187.64	o 4979
187.90/187.92	c 133.361 122.832 12156 2260679
187.90/187.92	o 4978
188.00/188.07	c 133.465 122.832 12208 2263786
188.00/188.07	o 4977
188.11/188.10	c 133.496 122.832 12215 2268761
188.11/188.10	o 4976
188.11/188.14	c 133.521 122.832 12218 2272053
188.11/188.14	o 4973
188.11/188.17	c 133.551 122.832 12230 2277212
188.11/188.17	o 4972
206.49/206.56	c 146.541 122.961 13135 2316063
206.49/206.56	o 4971
206.91/206.91	c 146.792 122.961 13258 2319941
206.91/206.91	o 4970
207.00/207.04	c 146.891 122.961 13296 2329088
207.00/207.04	o 4969
207.30/207.38	c 147.15 122.961 13419 2333466
207.30/207.38	o 4967
207.60/207.64	c 147.34 122.961 13533 2338732
207.60/207.64	o 4966
208.20/208.24	c 147.784 122.961 13781 2348262
208.20/208.24	o 4964
208.39/208.41	c 147.909 122.961 6969 2351720
208.39/208.41	o 4963
217.50/217.59	c 154.449 122.961 11594 2379743
217.50/217.59	o 4962
225.20/225.27	c 159.862 123.219 8269 2420453
225.20/225.27	o 4961
225.80/225.87	c 160.306 123.219 8679 2431694
225.80/225.87	o 4960
225.90/225.93	c 160.349 123.219 8693 2440711
225.90/225.93	o 4959
226.50/226.56	c 160.786 123.219 8920 2445009
226.50/226.56	o 4958
226.80/226.81	c 160.972 123.219 9088 2448809
226.80/226.81	o 4956
256.00/256.05	c 180.902 126.996 11157 2480890
256.00/256.05	o 4955
256.80/256.86	c 181.439 126.996 11544 2497536
256.80/256.86	o 4954
258.01/258.00	c 182.242 126.996 12160 2513626
258.01/258.00	o 4953
258.01/258.09	c 182.301 126.996 12184 2523101
258.01/258.09	o 4952
258.20/258.27	c 182.439 126.996 12264 2530410
258.20/258.27	o 4950
260.41/260.49	c 183.968 126.996 13254 2555131
260.41/260.49	o 4949
260.60/260.69	c 184.115 126.996 13383 2566599
260.60/260.69	o 4948
260.81/260.89	c 184.26 126.996 13466 2569095
260.81/260.89	o 4947
261.00/261.04	c 184.367 126.996 13507 2570622
261.00/261.04	o 4946
263.80/263.86	c 186.302 126.996 7650 2579355
263.80/263.86	o 4945
264.01/264.07	c 186.454 126.996 7811 2583127
264.01/264.07	o 4944
264.30/264.39	c 186.677 126.996 7933 2589365
264.30/264.39	o 4943
264.40/264.43	c 186.71 126.996 7941 2591772
264.40/264.43	o 4942
264.40/264.47	c 186.75 126.996 7952 2597531
264.40/264.47	o 4941
264.60/264.66	c 186.888 126.996 8062 2604467
264.60/264.66	o 4939
266.41/266.42	c 188.147 126.996 8847 2614300
266.41/266.42	o 4938
267.20/267.22	c 188.689 126.996 9138 2618690
267.20/267.22	o 4937
268.20/268.28	c 189.453 126.996 9757 2627574
268.20/268.28	o 4936
268.30/268.32	c 189.483 126.996 9772 2631581
268.30/268.32	o 4935
268.30/268.36	c 189.514 126.996 9778 2634695
268.30/268.36	o 4934
268.60/268.64	c 189.71 126.996 9883 2639404
268.60/268.64	o 4933
268.70/268.77	c 189.805 126.996 9962 2642568
268.70/268.77	o 4932
269.01/269.08	c 190.026 126.996 10171 2647553
269.01/269.08	o 4929
269.30/269.38	c 190.249 126.996 10327 2652795
269.30/269.38	o 4928
269.40/269.42	c 190.289 126.996 10344 2654767
269.40/269.42	o 4927
269.40/269.48	c 190.337 126.996 10363 2658887
269.40/269.48	o 4926
269.51/269.55	c 190.387 126.996 10386 2666180
269.51/269.55	o 4925
269.51/269.59	c 190.42 126.996 10399 2668004
269.51/269.59	o 4924
269.80/269.83	c 190.592 126.996 10520 2671168
269.80/269.83	o 4923
269.80/269.86	c 190.621 126.996 10528 2672535
269.80/269.86	o 4922
269.90/269.91	c 190.658 126.996 10539 2679080
269.90/269.91	o 4919
269.90/269.96	c 190.691 126.996 10563 2686718
269.90/269.96	o 4918
271.80/271.82	c 192.002 126.996 11668 2696675
271.80/271.82	o 4917
272.30/272.30	c 192.36 126.996 11894 2700346
272.30/272.30	o 4916
272.40/272.48	c 192.494 126.996 12035 2703867
272.40/272.48	o 4915
273.20/273.25	c 193.043 126.996 12492 2711467
273.20/273.25	o 4914
274.21/274.25	c 193.723 126.996 13032 2718447
274.21/274.25	o 4913
275.11/275.19	c 194.389 126.996 13512 2722069
275.11/275.19	o 4912
276.40/276.46	c 195.279 126.996 14092 2724962
276.40/276.46	o 4911
278.60/278.63	c 196.811 126.996 8051 2733866
278.60/278.63	o 4910
278.80/278.84	c 196.952 126.996 8121 2736561
278.80/278.84	o 4909
279.10/279.16	c 197.175 126.996 8266 2739078
279.10/279.16	o 4908
279.51/279.59	c 197.498 126.996 8496 2744330
279.51/279.59	o 4907
285.10/285.14	c 201.423 126.996 11425 2766592
285.10/285.14	o 4906
303.60/303.70	c 214.592 126.996 9349 2813439
303.60/303.70	o 4905
303.71/303.75	c 214.636 126.996 9359 2818749
303.71/303.75	o 4904
305.60/305.62	c 215.98 126.996 10279 2836015
305.60/305.62	o 4903
306.01/306.00	c 216.25 126.996 10426 2841950
306.01/306.00	o 4902
306.61/306.66	c 216.732 126.996 10703 2850787
306.61/306.66	o 4901
306.80/306.82	c 216.855 126.996 10761 2861926
306.80/306.82	o 4900
307.90/307.93	c 217.625 126.996 11393 2867569
307.90/307.93	o 4899
308.61/308.61	c 218.108 126.996 11678 2872762
308.61/308.61	o 4898
309.21/309.29	c 218.588 126.996 12039 2883311
309.21/309.29	o 4897
309.30/309.35	c 218.637 126.996 12060 2885790
309.30/309.35	o 4896
315.81/315.86	c 223.215 126.996 8378 2911153
315.81/315.86	o 4895
316.01/316.09	c 223.386 126.996 8462 2913503
316.01/316.09	o 4894
316.50/316.52	c 223.693 126.996 8750 2917214
316.50/316.52	o 4893
316.91/316.99	c 224.008 126.996 9009 2923939
316.91/316.99	o 4892
323.10/323.15	c 228.359 126.996 13089 2937768
323.10/323.15	o 4891
323.41/323.43	c 228.572 126.996 13325 2941728
323.41/323.43	o 4890
324.01/324.02	c 229.002 126.996 13715 2946383
324.01/324.02	o 4889
324.20/324.28	c 229.194 126.996 13832 2949207
324.20/324.28	o 4888
324.30/324.33	c 229.23 126.996 13844 2953788
324.30/324.33	o 4885
324.30/324.38	c 229.27 126.996 13859 2955562
324.30/324.38	o 4884
324.41/324.43	c 229.307 126.996 13873 2961473
324.41/324.43	o 4883
333.31/333.34	c 235.552 126.996 11443 2995190
333.31/333.34	o 4882
334.01/334.08	c 236.096 126.996 11751 3003893
334.01/334.08	o 4881
338.91/338.99	c 239.572 126.996 7299 3028355
338.91/338.99	o 4880
341.01/341.01	c 241.052 126.996 8636 3039533
341.01/341.01	o 4879
341.50/341.53	c 241.442 126.996 8872 3043382
341.50/341.53	o 4878
341.71/341.74	c 241.599 126.996 8932 3046578
341.71/341.74	o 4877
342.40/342.44	c 242.076 126.996 9224 3048930
342.40/342.44	o 4876
351.51/351.53	c 248.433 126.996 15253 3060681
351.51/351.53	o 4875
352.21/352.25	c 248.955 126.996 7974 3071506
352.21/352.25	o 4874
352.30/352.37	c 249.044 126.996 8009 3076980
352.30/352.37	o 4873
358.80/358.87	c 253.648 126.996 11633 3105297
358.80/358.87	o 4872
361.60/361.63	c 255.621 126.996 12899 3117426
361.60/361.63	o 4871
361.81/361.86	c 255.79 126.996 13055 3120907
361.81/361.86	o 4870
362.11/362.14	c 255.988 126.996 13163 3126072
362.11/362.14	o 4869
362.11/362.18	c 256.022 126.996 13174 3129082
362.11/362.18	o 4868
362.20/362.26	c 256.091 126.996 13210 3135092
362.20/362.26	o 4867
365.70/365.77	c 258.58 126.996 7888 3148167
365.70/365.77	o 4866
365.80/365.83	c 258.639 126.996 7903 3151926
365.80/365.83	o 4865
365.80/365.88	c 258.682 126.996 7919 3153947
365.80/365.88	o 4864
365.91/365.92	c 258.712 126.996 7932 3156864
365.91/365.92	o 4863
365.91/365.98	c 258.759 126.996 7965 3159280
365.91/365.98	o 4862
366.01/366.07	c 258.82 126.996 7991 3165470
366.01/366.07	o 4861
366.80/366.90	c 259.395 126.996 8599 3172246
366.80/366.90	o 4860
368.70/368.71	c 260.662 126.996 9390 3181259
368.70/368.71	o 4859
376.31/376.34	c 266.108 126.996 7408 3200734
376.31/376.34	o 4858
376.40/376.49	c 266.213 126.996 7460 3203136
376.40/376.49	o 4857
376.91/376.92	c 266.531 126.996 7803 3211189
376.91/376.92	o 4856
377.21/377.21	c 266.745 126.996 7928 3221305
377.21/377.21	o 4855
379.31/379.35	c 268.246 126.996 8871 3234034
379.31/379.35	o 4854
379.51/379.58	c 268.416 126.996 8985 3240265
379.51/379.58	o 4850
379.61/379.65	c 268.463 126.996 9002 3243909
379.61/379.65	o 4849
379.61/379.69	c 268.494 126.996 9012 3248950
379.61/379.69	o 4848
379.71/379.73	c 268.536 126.996 9028 3254727
379.71/379.73	o 4847
379.81/379.83	c 268.608 126.996 9061 3264725
379.81/379.83	o 4846
381.51/381.50	c 269.798 126.996 10114 3276128
381.51/381.50	o 4845
382.31/382.37	c 270.399 126.996 10428 3280905
382.31/382.37	o 4844
382.41/382.41	c 270.431 126.996 10438 3284190
382.41/382.41	o 4843
383.11/383.11	c 270.931 126.996 10831 3290495
383.11/383.11	o 4842
383.21/383.26	c 271.038 126.996 10873 3293758
383.21/383.26	o 4841
385.01/385.10	c 272.348 126.996 11719 3301308
385.01/385.10	o 4840
387.91/387.95	c 274.308 126.996 13453 3316827
387.91/387.95	o 4839
388.61/388.64	c 274.785 126.996 13771 3323552
388.61/388.64	o 4838
416.80/416.83	c 294.72 126.996 11795 3387177
416.80/416.83	o 4837
419.71/419.76	c 296.802 126.996 13559 3400833
419.71/419.76	o 4836
421.60/421.69	c 298.175 126.996 7278 3409539
421.60/421.69	o 4835
422.31/422.30	c 298.615 126.996 7656 3421577
422.31/422.30	o 4834
427.41/427.41	c 302.233 126.996 10345 3435919
427.41/427.41	o 4832
429.51/429.58	c 303.782 126.996 11314 3446052
429.51/429.58	o 4831
434.62/434.65	c 307.345 126.996 13872 3467578
434.62/434.65	o 4830
435.61/435.64	c 308.065 126.996 7479 3476058
435.61/435.64	o 4829
449.71/449.73	c 317.966 126.996 13889 3495360
449.71/449.73	o 4828
456.70/456.79	c 322.921 126.996 9919 3536064
456.70/456.79	o 4827
456.81/456.86	c 322.98 126.996 9941 3538681
456.81/456.86	o 4826
459.61/459.60	c 324.879 126.996 11294 3555340
459.61/459.60	o 4824
468.11/468.12	c 330.841 126.996 7239 3573917
468.11/468.12	o 4823
471.31/471.30	c 333.085 126.996 8800 3595361
471.31/471.30	o 4822
471.51/471.50	c 333.235 126.996 8862 3597939
471.51/471.50	o 4821
471.51/471.55	c 333.268 126.996 8888 3602272
471.51/471.55	o 4820
471.71/471.70	c 333.373 126.996 8925 3604927
471.71/471.70	o 4819
471.71/471.75	c 333.415 126.996 8945 3610694
471.71/471.75	o 4818
472.41/472.42	c 333.879 126.996 9242 3615431
472.41/472.42	o 4817
472.41/472.49	c 333.928 126.996 9263 3622887
472.41/472.49	o 4816
472.81/472.87	c 334.219 126.996 9406 3627139
472.81/472.87	o 4815
472.91/472.91	c 334.253 126.996 9412 3630645
472.91/472.91	o 4814
474.80/474.83	c 335.603 126.996 10555 3638597
474.80/474.83	o 4813
476.41/476.46	c 336.75 126.996 11237 3644055
476.41/476.46	o 4812
477.61/477.65	c 337.573 126.996 11763 3646243
477.61/477.65	o 4811
477.81/477.89	c 337.747 126.996 11846 3648001
477.81/477.89	o 4810
480.72/480.79	c 339.801 126.996 13529 3664466
480.72/480.79	o 4809
484.81/484.83	c 342.7 126.996 9106 3680567
484.81/484.83	o 4808
486.31/486.35	c 343.804 126.996 10279 3690198
486.31/486.35	o 4807
487.01/487.04	c 344.282 126.996 10634 3697518
487.01/487.04	o 4806
487.11/487.12	c 344.338 126.996 10652 3700001
487.11/487.12	o 4805
487.21/487.26	c 344.433 126.996 10704 3701499
487.21/487.26	o 4804
487.31/487.35	c 344.504 126.996 10741 3710888
487.31/487.35	o 4803
487.51/487.54	c 344.647 126.996 10850 3714811
487.51/487.54	o 4802
487.51/487.59	c 344.688 126.996 10866 3719948
487.51/487.59	o 4801
487.61/487.67	c 344.745 126.996 10894 3727227
487.61/487.67	o 4800
487.72/487.70	c 344.777 126.996 10899 3730201
487.72/487.70	o 4799
492.91/492.92	c 348.504 126.996 7507 3751800
492.91/492.92	o 4798
493.02/493.07	c 348.613 126.996 7644 3755754
493.02/493.07	o 4797
493.12/493.16	c 348.681 126.996 7690 3760302
493.12/493.16	o 4796
493.41/493.46	c 348.875 126.996 7793 3774161
493.41/493.46	o 4795
493.41/493.50	c 348.901 126.996 7803 3777576
493.41/493.50	o 4790
494.21/494.26	c 349.438 126.996 8124 3782775
494.21/494.26	o 4789
494.71/494.74	c 349.778 126.996 8407 3788549
494.71/494.74	o 4788
495.91/495.95	c 350.638 126.996 9111 3795689
495.91/495.95	o 4787
496.11/496.14	c 350.766 126.996 9227 3797513
496.11/496.14	o 4786
496.31/496.34	c 350.921 126.996 9334 3801355
496.31/496.34	o 4785
496.31/496.38	c 350.948 126.996 9342 3804661
496.31/496.38	o 4784
496.41/496.44	c 350.996 126.996 9366 3808130
496.41/496.44	o 4783
496.41/496.50	c 351.043 126.996 9381 3810017
496.41/496.50	o 4782
496.51/496.54	c 351.074 126.996 9394 3814175
496.51/496.54	o 4781
496.61/496.63	c 351.142 126.996 9425 3815575
496.61/496.63	o 4780
496.61/496.68	c 351.18 126.996 9441 3817592
496.61/496.68	o 4779
496.91/496.94	c 351.367 126.996 9546 3822475
496.91/496.94	o 4778
496.91/496.98	c 351.403 126.996 9556 3825309
496.91/496.98	o 4777
497.01/497.09	c 351.482 126.996 9595 3828731
497.01/497.09	o 4776
497.42/497.48	c 351.759 126.996 9796 3831826
497.42/497.48	o 4775
499.42/499.41	c 353.133 126.996 10781 3847066
499.42/499.41	o 4774
500.71/500.76	c 354.081 126.996 11625 3854870
500.71/500.76	o 4773
502.31/502.33	c 355.202 126.996 12554 3863465
502.31/502.33	o 4772
502.91/502.98	c 355.644 126.996 12960 3868975
502.91/502.98	o 4771
503.41/503.41	c 355.952 126.996 13149 3872045
503.41/503.41	o 4770
503.51/503.53	c 356.026 126.996 13185 3873384
503.51/503.53	o 4769
503.71/503.75	c 356.186 126.996 13309 3876890
503.71/503.75	o 4768
504.11/504.14	c 356.456 126.996 13475 3880283
504.11/504.14	o 4766
508.42/508.41	c 359.501 126.996 8276 3899624
508.42/508.41	o 4765
508.62/508.64	c 359.66 126.996 8364 3901788
508.62/508.64	o 4764
508.81/508.87	c 359.843 126.996 8506 3904146
508.81/508.87	o 4763
511.51/511.55	c 361.743 126.996 10051 3918189
511.51/511.55	o 4762
517.41/517.45	c 365.815 126.996 13517 3931582
517.41/517.45	o 4761
517.51/517.53	c 365.878 126.996 13626 3933804
517.51/517.53	o 4760
519.61/519.68	c 367.381 126.996 7600 3947582
519.61/519.68	o 4759
520.21/520.30	c 367.828 126.996 7798 3951004
520.21/520.30	o 4758
521.01/521.08	c 368.368 126.996 8164 3958275
521.01/521.08	o 4757
523.31/523.35	c 370.005 126.996 9235 3968416
523.31/523.35	o 4756
523.42/523.41	c 370.054 126.996 9252 3975642
523.42/523.41	o 4755
544.72/544.77	c 385.029 126.996 11610 4026711
544.72/544.77	o 4754
547.22/547.29	c 386.845 126.996 13821 4046425
547.22/547.29	o 4753
548.72/548.73	c 387.861 126.996 7298 4059255
548.72/548.73	o 4752
549.91/549.90	c 388.669 126.996 7978 4065577
549.91/549.90	o 4751
550.12/550.17	c 388.847 126.996 8085 4069105
550.12/550.17	o 4750
550.41/550.46	c 389.056 126.996 8160 4071930
550.41/550.46	o 4749
551.82/551.83	c 390.036 126.996 8711 4078503
551.82/551.83	o 4748
553.42/553.40	c 391.154 126.996 9573 4092220
553.42/553.40	o 4747
554.52/554.57	c 392.012 126.996 10195 4102836
554.52/554.57	o 4746
566.62/566.61	c 400.452 126.996 14820 4114001
566.62/566.61	o 4745
566.82/566.82	c 400.613 126.996 7575 4117131
566.82/566.82	o 4744
568.82/568.81	c 402.014 126.996 8508 4130746
568.82/568.81	o 4743
573.01/573.05	c 404.992 126.996 10996 4146524
573.01/573.05	o 4741
573.31/573.36	c 405.219 126.996 11192 4148633
573.31/573.36	o 4740
573.41/573.44	c 405.282 126.996 11218 4156787
573.41/573.44	o 4739
574.12/574.20	c 405.856 126.996 11929 4168989
574.12/574.20	o 4738
578.31/578.33	c 408.822 126.996 7484 4184891
578.31/578.33	o 4737
578.41/578.49	c 408.954 126.996 7601 4189016
578.41/578.49	o 4736
583.12/583.13	c 412.254 126.996 10297 4207086
583.12/583.13	o 4735
584.61/584.62	c 413.364 126.996 11347 4214072
584.61/584.62	o 4734
586.21/586.27	c 414.514 126.996 12049 4221383
586.21/586.27	o 4733
600.32/600.37	c 424.501 126.996 9774 4247046
600.32/600.37	o 4732
601.12/601.10	c 425.03 126.996 10201 4251899
601.12/601.10	o 4731
601.42/601.43	c 425.276 126.996 10360 4255052
601.42/601.43	o 4730
602.61/602.65	c 426.146 126.996 10928 4262300
602.61/602.65	o 4729
603.11/603.17	c 426.519 126.996 11146 4266888
603.11/603.17	o 4728
604.42/604.45	c 427.43 126.996 11854 4278504
604.42/604.45	o 4727
605.12/605.12	c 427.922 126.996 12066 4283711
605.12/605.12	o 4726
609.61/609.65	c 431.155 126.996 14128 4309714
609.61/609.65	o 4725
616.21/616.21	c 435.828 126.996 11382 4331532
616.21/616.21	o 4724
624.42/624.47	c 441.553 126.996 16633 4342972
624.42/624.47	o 4723
624.61/624.64	c 441.696 126.996 8443 4348797
624.61/624.64	o 4722
625.01/625.02	c 441.969 126.996 8630 4352677
625.01/625.02	o 4721
627.32/627.37	c 443.64 126.996 10032 4375175
627.32/627.37	o 4720
629.62/629.60	c 445.2 126.996 11449 4384852
629.62/629.60	o 4719
629.62/629.66	c 445.245 126.996 11467 4387133
629.62/629.66	o 4718
629.72/629.75	c 445.31 126.996 11499 4391631
629.72/629.75	o 4717
630.12/630.13	c 445.58 126.996 11750 4395072
630.12/630.13	o 4716
631.71/631.71	c 446.687 126.996 12385 4402616
631.71/631.71	o 4715
637.11/637.17	c 450.513 126.996 7614 4416153
637.11/637.17	o 4713
638.52/638.53	c 451.491 126.996 8308 4422396
638.52/638.53	o 4712
638.52/638.59	c 451.533 126.996 8320 4425867
638.52/638.59	o 4711
638.62/638.69	c 451.609 126.996 8373 4430187
638.62/638.69	o 4710
641.72/641.70	c 453.754 126.996 10299 4445951
641.72/641.70	o 4709
641.72/641.76	c 453.809 126.996 10315 4448995
641.72/641.76	o 4708
656.02/656.05	c 463.839 126.996 10883 4480286
656.02/656.05	o 4707
656.22/656.24	c 463.981 126.996 10992 4483590
656.22/656.24	o 4706
656.32/656.37	c 464.077 126.996 11023 4486428
656.32/656.37	o 4704
657.31/657.34	c 464.791 126.996 11681 4497419
657.31/657.35	o 4703
659.72/659.76	c 466.458 126.996 12895 4509300
659.72/659.76	o 4702
662.02/662.03	c 468.07 126.996 7333 4520983
662.02/662.03	o 4701
662.23/662.21	c 468.206 126.996 7458 4524380
662.23/662.21	o 4700
662.42/662.45	c 468.374 126.996 7524 4527588
662.42/662.45	o 4699
667.22/667.27	c 471.754 126.996 9872 4544263
667.22/667.27	o 4698
668.32/668.37	c 472.528 126.996 10401 4553311
668.32/668.37	o 4697
668.52/668.50	c 472.625 126.996 10437 4555246
668.52/668.50	o 4696
671.52/671.51	c 474.746 126.996 11874 4569911
671.52/671.51	o 4695
672.13/672.16	c 475.229 126.996 12212 4572325
672.13/672.16	o 4694
672.81/672.81	c 475.682 126.996 12501 4577282
672.81/672.81	o 4693
673.52/673.51	c 476.172 126.996 12829 4583080
673.52/673.51	o 4692
679.42/679.43	c 480.33 126.996 8890 4603803
679.42/679.43	o 4691
683.92/683.94	c 483.508 126.996 11073 4622324
683.92/683.94	o 4690
684.52/684.58	c 483.983 126.996 11430 4633415
684.52/684.59	o 4689
685.42/685.44	c 484.606 126.996 11840 4640083
685.42/685.44	o 4688
685.52/685.51	c 484.653 126.996 11861 4642538
685.52/685.51	o 4687
685.52/685.55	c 484.687 126.996 11870 4646492
685.52/685.55	o 4685
691.52/691.50	c 488.864 126.996 8036 4667988
691.52/691.50	o 4684
691.82/691.80	c 489.073 126.996 8290 4676149
691.82/691.80	o 4683
691.93/691.92	c 489.167 126.996 8324 4692020
691.93/691.92	o 4682
691.93/691.95	c 489.191 126.996 8329 4694242
691.93/691.95	o 4681
692.12/692.19	c 489.342 126.996 8404 4695286
692.12/692.19	o 4680
692.21/692.28	c 489.401 126.996 8431 4698560
692.21/692.28	o 4679
692.32/692.32	c 489.432 126.996 8446 4703306
692.32/692.32	o 4678
694.92/694.97	c 491.269 126.996 9656 4719305
694.92/694.97	o 4677
695.02/695.06	c 491.339 126.996 9685 4722569
695.02/695.06	o 4676
698.32/698.33	c 493.64 126.996 11506 4733868
698.32/698.33	o 4675
700.12/700.17	c 494.951 126.996 12342 4743016
700.12/700.17	o 4674
702.12/702.12	c 496.322 126.996 13451 4752983
702.12/702.12	o 4673
703.41/703.41	c 497.233 126.996 14099 4760249
703.41/703.41	o 4672
711.22/711.25	c 502.802 126.996 11928 4794690
711.22/711.25	o 4671
711.52/711.54	c 503.014 126.996 12009 4796628
711.52/711.54	o 4670
719.22/719.23	c 508.434 126.996 14892 4805637
719.22/719.23	o 4669
723.12/723.11	c 511.204 126.996 9302 4821490
723.12/723.11	o 4668
736.73/736.71	c 520.816 126.996 7619 4853285
736.73/736.71	o 4667
736.83/736.80	c 520.881 126.996 7641 4860200
736.83/736.80	o 4666
736.83/736.83	c 520.908 126.996 7645 4862223
736.83/736.83	o 4665
738.42/738.40	c 522.052 126.996 8650 4872472
738.42/738.40	o 4664
738.82/738.82	c 522.349 126.996 8814 4875511
738.82/738.82	o 4663
742.42/742.41	c 524.885 126.996 10389 4885855
742.42/742.41	o 4662
745.52/745.55	c 527.071 126.996 11840 4901988
745.52/745.55	o 4661
745.93/746.00	c 527.362 126.996 11992 4909769
745.93/746.00	o 4660
756.62/756.63	c 534.978 126.996 9126 4933077
756.62/756.63	o 4659
759.83/759.84	c 537.236 126.996 10907 4946354
759.83/759.84	o 4658
766.22/766.24	c 541.752 126.996 14148 4965279
766.22/766.24	o 4657
774.62/774.64	c 547.638 126.996 10687 4997260
774.62/774.64	o 4656
774.72/774.70	c 547.683 126.996 10696 4999203
774.72/774.70	o 4654
774.72/774.74	c 547.71 126.996 10703 5001333
774.72/774.74	o 4653
774.72/774.79	c 547.761 126.996 10726 5008182
774.72/774.79	o 4652
774.93/775.00	c 547.905 126.996 10842 5011211
774.93/775.00	o 4651
777.22/777.21	c 549.451 126.996 11792 5019440
777.22/777.21	o 4649
777.42/777.50	c 549.655 126.996 11943 5022242
777.42/777.50	o 4648
889.23/889.29	c 628.605 130.477 9222 5139506
889.23/889.29	o 4647
889.63/889.69	c 628.909 130.477 9475 5145682
889.63/889.69	o 4646
891.14/891.16	c 629.945 130.477 10431 5159755
891.14/891.16	o 4645
891.42/891.46	c 630.159 130.477 10595 5168732
891.42/891.46	o 4644
894.12/894.18	c 632.086 130.477 12474 5185362
894.12/894.18	o 4643
904.23/904.29	c 639.236 130.477 10774 5216096
904.23/904.29	o 4642
904.42/904.43	c 639.339 130.477 10813 5220658
904.42/904.43	o 4641
909.73/909.75	c 643.185 130.477 13370 5238142
909.73/909.75	o 4640
909.83/909.80	c 643.231 130.477 13385 5240585
909.83/909.80	o 4638
909.93/909.97	c 643.349 130.477 13427 5242071
909.93/909.97	o 4637
910.12/910.13	c 643.466 130.477 13479 5245300
910.12/910.13	o 4635
910.53/910.51	c 643.742 130.477 13730 5250577
910.53/910.51	o 4632
916.22/916.21	c 647.85 130.477 8620 5259354
916.22/916.21	o 4631
920.33/920.39	c 650.749 130.477 10317 5273437
920.33/920.39	o 4630
924.63/924.65	c 653.66 130.477 12403 5293438
924.63/924.65	o 4629
931.23/931.20	c 658.172 130.477 8363 5315137
931.23/931.20	o 4628
932.03/932.05	c 658.768 130.477 8842 5319478
932.03/932.05	o 4627
932.73/932.75	c 659.255 130.477 9223 5325891
932.73/932.75	o 4626
934.23/934.25	c 660.344 130.477 10194 5335811
934.23/934.25	o 4625
934.83/934.86	c 660.777 130.477 10473 5346449
934.83/934.86	o 4624
936.93/936.98	c 662.301 130.477 11634 5356283
936.93/936.98	o 4623
937.34/937.33	c 662.553 130.477 11802 5362230
937.34/937.33	o 4622
943.63/943.60	c 667.001 130.477 8239 5372058
943.63/943.60	o 4621
944.33/944.36	c 667.526 130.477 8626 5381845
944.33/944.36	o 4620
946.73/946.70	c 669.21 130.477 10109 5399510
946.73/946.70	o 4619
948.24/948.22	c 670.319 130.477 11179 5408650
948.24/948.22	o 4618
950.03/950.00	c 671.63 130.477 12381 5422988
950.03/950.00	o 4617
953.33/953.37	c 673.964 130.477 14135 5434614
953.33/953.37	o 4616
953.53/953.59	c 674.127 130.477 7124 5438455
953.53/953.59	o 4615
955.83/955.82	c 675.68 130.477 8275 5459303
955.83/955.82	o 4614
956.33/956.39	c 676.088 130.477 8710 5466536
956.33/956.39	o 4613
956.93/956.99	c 676.512 130.477 9036 5472291
956.93/956.99	o 4612
957.23/957.22	c 676.672 130.477 9193 5475178
957.23/957.22	o 4611
959.63/959.62	c 678.373 130.477 10455 5483857
959.63/959.62	o 4610
965.33/965.39	c 682.477 130.477 13100 5493415
965.33/965.39	o 4609
969.23/969.28	c 685.248 130.477 7708 5513204
969.23/969.28	o 4608
969.43/969.41	c 685.342 130.477 7742 5515756
969.43/969.41	o 4607
974.13/974.17	c 688.643 130.477 10122 5532000
974.13/974.17	o 4606
974.53/974.58	c 688.936 130.477 10313 5537605
974.53/974.58	o 4605
975.03/975.04	c 689.258 130.477 10561 5540981
975.03/975.04	o 4604
980.03/980.04	c 692.688 130.477 12456 5547723
980.03/980.04	o 4603
980.43/980.40	c 692.952 130.477 12614 5551120
980.43/980.40	o 4602
980.83/980.83	c 693.243 130.477 12821 5556876
980.83/980.83	o 4601
986.74/986.76	c 697.494 130.477 8935 5577513
986.74/986.76	o 4600
1028.13/1028.17	c 726.957 130.477 8974 5640777
1028.13/1028.17	o 4599
1028.93/1028.94	c 727.506 130.477 9437 5649578
1028.93/1028.94	o 4598
1034.53/1034.59	c 731.498 130.477 11758 5677592
1034.53/1034.59	o 4597
1034.74/1034.72	c 731.587 130.477 11796 5687331
1034.74/1034.72	o 4596
1034.83/1034.88	c 731.703 130.477 11856 5699360
1034.83/1034.88	o 4595
1034.94/1034.93	c 731.746 130.477 11870 5702645
1034.94/1034.93	o 4594
1035.33/1035.35	c 732.045 130.477 12033 5706293
1035.33/1035.35	o 4593
1040.53/1040.59	c 735.789 130.477 8375 5725290
1040.53/1040.59	o 4592
1040.83/1040.82	c 735.944 130.477 8453 5733734
1040.83/1040.82	o 4591
1046.73/1046.78	c 740.149 130.477 11804 5758737
1046.73/1046.78	o 4590
1047.53/1047.55	c 740.688 130.477 12145 5763321
1047.53/1047.55	o 4589
1062.23/1062.21	c 750.976 130.477 11993 5791060
1062.23/1062.21	o 4588
1065.14/1065.12	c 753.021 130.477 13804 5801841
1065.14/1065.12	o 4587
1065.44/1065.48	c 753.282 130.477 13929 5812809
1065.44/1065.48	o 4586
1065.53/1065.58	c 753.358 130.477 13973 5822520
1065.53/1065.58	o 4585
1065.73/1065.72	c 753.451 130.477 14021 5828566
1065.73/1065.72	o 4584
1065.83/1065.81	c 753.507 130.477 14044 5829787
1065.83/1065.81	o 4583
1065.83/1065.84	c 753.534 130.477 14051 5831089
1065.83/1065.84	o 4582
1074.43/1074.45	c 759.614 130.477 11375 5853833
1074.43/1074.45	o 4581
1074.85/1074.84	c 759.912 130.477 11620 5856934
1074.85/1074.84	o 4580
1078.14/1078.16	c 762.219 130.477 13062 5865631
1078.14/1078.16	o 4579
1084.84/1084.88	c 767.004 130.477 9171 5889233
1084.84/1084.88	o 4578
1099.04/1099.02	c 776.963 130.477 12380 5945683
1099.04/1099.02	o 4577
1101.43/1101.41	c 778.642 130.477 13457 5956052
1101.43/1101.41	o 4576
1103.83/1103.83	c 780.358 130.477 7733 5972409
1103.83/1103.83	o 4575
1104.04/1104.06	c 780.524 130.477 7820 5975424
1104.04/1104.06	o 4574
1105.04/1105.04	c 781.202 130.477 8149 5979692
1105.04/1105.04	o 4573
1108.03/1108.01	c 783.297 130.477 9639 5996598
1108.03/1108.01	o 4572
1124.34/1124.39	c 794.825 130.477 10147 6039191
1124.34/1124.39	o 4571
1135.64/1135.63	c 802.822 130.477 9361 6073823
1135.64/1135.63	o 4570
1137.24/1137.28	c 803.97 130.477 10070 6077802
1137.24/1137.28	o 4569
1138.54/1138.57	c 804.878 130.477 10695 6083113
1138.54/1138.57	o 4568
1138.93/1138.90	c 805.114 130.477 10879 6088705
1138.93/1138.90	o 4567
1139.84/1139.81	c 805.74 130.477 11310 6093735
1139.84/1139.81	o 4566
1142.64/1142.60	c 807.683 130.477 12875 6109529
1142.64/1142.60	o 4565
1143.84/1143.81	c 808.528 130.477 13301 6117612
1143.84/1143.81	o 4564
1150.54/1150.58	c 813.234 130.477 15964 6124649
1150.54/1150.58	o 4563
1200.14/1200.18	c 848.104 131.262 11540 6185201
1200.14/1200.18	o 4562
1204.84/1204.82	c 851.412 131.262 13849 6208807
1204.84/1204.82	o 4561
1205.14/1205.10	c 851.614 131.262 13971 6214302
1205.14/1205.10	o 4560
1205.44/1205.44	c 851.84 131.262 14166 6218796
1205.44/1205.44	o 4558
1206.14/1206.14	c 852.346 131.262 7309 6223467
1206.14/1206.14	o 4557
1206.34/1206.34	c 852.478 131.262 7375 6235629
1206.34/1206.34	o 4555
1206.54/1206.54	c 852.629 131.262 7464 6236847
1206.54/1206.54	o 4554
1216.94/1216.98	c 859.929 131.262 12018 6257877
1216.94/1216.98	o 4553
1221.64/1221.64	c 863.229 131.262 7785 6280079
1221.64/1221.64	o 4552
1221.84/1221.87	c 863.384 131.262 7847 6281036
1221.84/1221.87	o 4551
1221.94/1221.94	c 863.431 131.262 7873 6284455
1221.94/1221.94	o 4548
1225.14/1225.10	c 865.653 131.262 9779 6305571
1225.14/1225.10	o 4547
1226.04/1226.08	c 866.352 131.262 10235 6312577
1226.04/1226.08	o 4546
1228.65/1228.70	c 868.261 131.262 11892 6339302
1228.65/1228.70	o 4545
1232.34/1232.35	c 870.851 131.262 14159 6363249
1232.34/1232.35	o 4544
1237.44/1237.42	c 874.425 131.262 9420 6377840
1237.44/1237.42	o 4543
1238.54/1238.52	c 875.199 131.262 9893 6385069
1238.54/1238.52	o 4542
1238.75/1238.70	c 875.342 131.262 10019 6389057
1238.75/1238.70	o 4541
1241.14/1241.10	c 877.006 131.262 11558 6397107
1241.14/1241.10	o 4540
1241.25/1241.21	c 877.09 131.262 11591 6403577
1241.25/1241.21	o 4539
1245.74/1245.74	c 880.322 131.262 13717 6418768
1245.74/1245.74	o 4538
1245.95/1245.90	c 880.439 131.262 13762 6420387
1245.95/1245.90	o 4537
1249.94/1249.92	c 883.264 131.262 15148 6424973
1249.94/1249.92	o 4536
1252.94/1252.98	c 885.438 131.262 9225 6440035
1252.94/1252.99	o 4535
1253.34/1253.32	c 885.684 131.262 9439 6445364
1253.34/1253.32	o 4534
1254.95/1254.92	c 886.766 131.262 10470 6452523
1254.95/1254.92	o 4533
1255.04/1255.02	c 886.846 131.262 10586 6456555
1255.04/1255.02	o 4532
1255.44/1255.45	c 887.135 131.262 10770 6463161
1255.44/1255.45	o 4531
1263.14/1263.12	c 892.489 131.262 7511 6482418
1263.14/1263.12	o 4530
1265.54/1265.50	c 894.178 131.262 8588 6490478
1265.54/1265.50	o 4529
1271.85/1271.84	c 898.703 131.262 12245 6511944
1271.85/1271.84	o 4528
1287.65/1287.69	c 909.732 131.262 10346 6550525
1287.65/1287.69	o 4527
1291.64/1291.63	c 912.517 131.262 12638 6567345
1291.64/1291.63	o 4526
1292.65/1292.62	c 913.232 131.262 13357 6574792
1292.65/1292.62	o 4525
1294.75/1294.72	c 914.757 131.262 7286 6581495
1294.75/1294.72	o 4524
1298.05/1298.09	c 917.15 131.262 9109 6599759
1298.05/1298.09	o 4523
1300.54/1300.59	c 918.919 131.262 10556 6614451
1300.54/1300.59	o 4522
1302.25/1302.20	c 920.076 131.262 11498 6624901
1302.25/1302.20	o 4521
1349.14/1349.16	c 953.099 131.262 11615 6696639
1349.14/1349.16	o 4520
1349.34/1349.33	c 953.225 131.262 11659 6701395
1349.34/1349.33	o 4519
1353.05/1353.07	c 955.845 131.262 13715 6717480
1353.05/1353.07	o 4518
1353.25/1353.20	c 955.947 131.262 13772 6720318
1353.25/1353.20	o 4517
1353.44/1353.47	c 956.137 131.262 13935 6727727
1353.44/1353.47	o 4516
1355.74/1355.72	c 957.737 131.262 7880 6741450
1355.74/1355.72	o 4515
1355.94/1355.92	c 957.878 131.262 7943 6746062
1355.94/1355.92	o 4514
1361.64/1361.62	c 961.962 131.262 12120 6771526
1361.64/1361.62	o 4513
1363.85/1363.86	c 963.538 131.262 13476 6785383
1363.85/1363.86	o 4512
1365.45/1365.40	c 964.622 131.262 7314 6795267
1365.45/1365.40	o 4511
1370.55/1370.57	c 968.37 131.262 10861 6812620
1370.55/1370.57	o 4510
1372.55/1372.54	c 969.781 131.262 11875 6825209
1372.55/1372.54	o 4509
1387.44/1387.46	c 980.316 131.262 13323 6872281
1387.44/1387.46	o 4508
1388.84/1388.82	c 981.294 131.262 14113 6883974
1388.84/1388.82	o 4507
1400.45/1400.43	c 989.579 131.262 14501 6915901
1400.45/1400.43	o 4506
1402.35/1402.32	c 990.969 131.262 8546 6929850
1402.35/1402.32	o 4505
1403.85/1403.87	c 992.063 131.262 9331 6940380
1403.85/1403.87	o 4504
1404.45/1404.47	c 992.493 131.262 9598 6956484
1404.45/1404.47	o 4503
1405.65/1405.61	c 993.325 131.262 10137 6965470
1405.65/1405.61	o 4502
1408.25/1408.26	c 995.183 131.262 11268 6973259
1408.25/1408.26	o 4501
1413.55/1413.51	c 998.813 131.262 13591 6986129
1413.55/1413.51	o 4500
1417.45/1417.47	c 1001.63 131.262 8414 7002485
1417.45/1417.47	o 4499
1420.34/1420.34	c 1003.65 131.262 10062 7018167
1420.34/1420.34	o 4497
1433.15/1433.13	c 1012.69 131.262 9396 7043892
1433.15/1433.13	o 4496
1433.25/1433.21	c 1012.76 131.262 9415 7045474
1433.25/1433.21	o 4495
1435.65/1435.69	c 1014.54 131.262 10487 7068916
1435.65/1435.69	o 4494
1439.55/1439.57	c 1017.3 131.262 12750 7084255
1439.55/1439.57	o 4493
1444.85/1444.87	c 1021.07 131.262 7766 7097751
1444.85/1444.87	o 4492
1444.95/1444.95	c 1021.12 131.262 7782 7099114
1444.95/1444.95	o 4491
1452.54/1452.54	c 1026.58 131.262 12386 7132763
1452.54/1452.54	o 4490
1557.06/1557.08	c 1100.6 131.391 11228 7220881
1557.06/1557.08	o 4489
1566.15/1566.19	c 1107.15 131.391 8815 7273371
1566.15/1566.19	o 4488
1567.85/1567.87	c 1108.34 131.391 9495 7282834
1567.85/1567.87	o 4487
1579.25/1579.20	c 1116.19 131.391 7440 7316701
1579.25/1579.20	o 4486
1579.56/1579.54	c 1116.44 131.391 7629 7320824
1579.56/1579.54	o 4485
1584.35/1584.32	c 1119.72 131.391 10145 7339123
1584.35/1584.32	o 4484
1586.95/1586.97	c 1121.58 131.391 11348 7354583
1586.95/1586.97	o 4483
1591.76/1591.71	c 1124.95 131.391 14194 7379487
1591.76/1591.71	o 4482
1592.35/1592.33	c 1125.39 131.391 7205 7390265
1592.35/1592.33	o 4481
1604.46/1604.43	c 1133.95 131.391 7455 7429185
1604.46/1604.43	o 4480
1605.26/1605.28	c 1134.56 131.391 8095 7438803
1605.26/1605.28	o 4477
1616.06/1616.07	c 1142.23 131.391 13231 7452830
1616.06/1616.07	o 4476
1616.85/1616.88	c 1142.81 131.391 13598 7462922
1616.85/1616.88	o 4475
1617.06/1617.01	c 1142.9 131.391 13653 7467885
1617.06/1617.01	o 4474
1625.76/1625.78	c 1149.04 131.391 10947 7496641
1625.76/1625.78	o 4473
1632.25/1632.22	c 1153.62 131.391 14074 7506706
1632.25/1632.22	o 4472
1632.47/1632.43	c 1153.77 131.391 14135 7509330
1632.47/1632.43	o 4471
1632.95/1632.96	c 1154.16 131.391 14368 7511858
1632.95/1632.96	o 4470
1638.95/1638.95	c 1158.33 131.391 10001 7539672
1638.95/1638.95	o 4469
1639.06/1639.08	c 1158.43 131.391 10061 7545363
1639.06/1639.08	o 4468
1639.35/1639.33	c 1158.59 131.391 10178 7548003
1639.35/1639.33	o 4467
1640.26/1640.23	c 1159.25 131.391 10635 7557767
1640.26/1640.23	o 4466
1654.76/1654.79	c 1169.36 131.391 15701 7571041
1654.76/1654.79	o 4465
1661.06/1661.10	c 1173.83 131.391 11313 7594424
1661.06/1661.10	o 4464
1663.46/1663.47	c 1175.51 131.391 12632 7604739
1663.46/1663.47	o 4463
1672.36/1672.32	c 1181.73 131.391 8613 7620803
1672.36/1672.32	o 4462
1679.77/1679.74	c 1187.03 131.391 12748 7649955
1679.77/1679.74	o 4461
1680.16/1680.10	c 1187.29 131.391 12949 7654952
1680.16/1680.10	o 4460
1680.26/1680.26	c 1187.42 131.391 13024 7656734
1680.26/1680.26	o 4459
1680.56/1680.57	c 1187.64 131.391 13112 7658057
1680.56/1680.57	o 4458
1688.96/1688.92	c 1193.53 131.391 10436 7689987
1688.96/1688.92	o 4457
1706.27/1706.23	c 1205.7 131.391 11884 7746784
1706.27/1706.23	o 4456
1716.46/1716.47	c 1212.79 131.391 9729 7757811
1716.46/1716.47	o 4455
1719.86/1719.84	c 1215.14 131.391 11418 7768086
1719.86/1719.84	o 4454
1719.96/1719.90	c 1215.19 131.391 11443 7770301
1719.96/1719.90	o 4453
1720.26/1720.20	c 1215.4 131.391 11571 7775877
1720.26/1720.20	o 4452
1720.66/1720.67	c 1215.74 131.391 11772 7779202
1720.66/1720.67	o 4451
1720.77/1720.73	c 1215.78 131.391 11784 7781806
1720.77/1720.73	o 4450
1729.76/1729.78	c 1222.2 131.391 9605 7814707
1729.76/1729.78	o 4449
1730.37/1730.39	c 1222.65 131.391 10039 7820328
1730.37/1730.39	o 4448
1733.96/1733.95	c 1225.19 131.391 11966 7830784
1733.96/1733.95	o 4447
1735.26/1735.22	c 1226.09 131.391 12453 7836840
1735.26/1735.22	o 4446
1739.67/1739.66	c 1229.22 131.391 14346 7848670
1739.67/1739.66	o 4445
1745.06/1745.02	c 1233.05 131.391 10070 7854356
1745.06/1745.02	o 4444
1746.16/1746.19	c 1233.85 131.391 10649 7862674
1746.16/1746.19	o 4442
1747.86/1747.86	c 1235.04 131.391 11639 7880414
1747.86/1747.86	o 4441
1747.97/1747.93	c 1235.09 131.391 11663 7886096
1747.97/1747.93	o 4440
1747.97/1747.97	c 1235.13 131.391 11675 7891402
1747.97/1747.97	o 4439
1748.07/1748.04	c 1235.19 131.391 11699 7899625
1748.07/1748.04	o 4438
1756.26/1756.22	c 1241.05 131.391 11158 7941006
1756.26/1756.22	o 4437
1756.46/1756.40	c 1241.18 131.391 11226 7945553
1756.46/1756.40	o 4436
1759.76/1759.78	c 1243.55 131.391 13381 7959127
1759.76/1759.78	o 4435
1764.57/1764.59	c 1247.04 131.391 9827 7982401
1764.57/1764.59	o 4434
1773.27/1773.27	c 1253.2 131.391 7879 8024621
1773.27/1773.28	o 4433
1773.66/1773.63	c 1253.44 131.391 8042 8031988
1773.66/1773.63	o 4432
1775.06/1775.07	c 1254.48 131.391 8797 8043186
1775.06/1775.07	o 4431
1776.17/1776.12	c 1255.22 131.391 9417 8051484
1776.17/1776.12	o 4430
1776.67/1776.69	c 1255.64 131.391 9624 8060247
1776.67/1776.69	o 4429
1781.66/1781.62	c 1259.12 131.391 12216 8074699
1781.66/1781.62	o 4428
1784.76/1784.77	c 1261.31 131.391 13325 8081481
1784.76/1784.77	o 4427
1793.86/1793.86	c 1267.76 131.391 18096 8091283
1793.86/1793.86	o 4426
1794.47/1794.49	c 1268.21 131.391 9436 8099359
1794.47/1794.49	o 4425
1800.06/1800.00	s SATISFIABLE
1800.06/1800.00	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 x103 x104 -x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 -x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 x835 x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 x862 -x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 x890 x891 x892 x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 x931 -x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x1290 x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 x1315 -x1316 -x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 x1336 x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 x1442 x1443 x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 x1475 -x1476 -x1477 -x1478 x1479 -x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568 x1569 x1570 x1571 x1572 x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 -x1593 -x1594 x1595 x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 x1785 x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 x1851 -x1852 -x1853 -x1854 x1855 x1856 x1857 x1858 x1859 x1860 x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 x1883 x1884 x1885 x1886 x1887 x1888 x1889 x1890 x1891 x1892 x1893 x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 x1939 x1940 x1941 x1942 x1943 x1944 x1945 x1946 x1947 x1948 x1949 x1950 x1951 x1952 x1953 x1954 x1955 x1956 x1957 x1958 x1959 x1960 x1961 x1962 x1963 x1964 x1965 x1966 x1967 x1968 x1969 x1970 x1971 x1972 x1973 x1974 x1975 x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 x2032 x2033 x2034 x2035 x2036 x2037 x2038 x2039 x2040 x2041 x2042 x2043 x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 x2087 x2088 x2089 x2090 x2091 x2092 x2093 x2094 x2095 x2096 x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 x2113 x2114 x2115 x2116 x2117 x2118 x2119 x2120 x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 x2172 x2173 x2174 -x2175 x2176 x2177 x2178 x2179 x2180 x2181 x2182 x2183 x2184 x2185 x2186 x2187 x2188 x2189 x2190 x2191 x2192 x2193 x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 x2239 x2240 x2241 x2242 x2243 x2244 x2245 x2246 x2247 x2248 x2249 x2250 x2251 x2252 x2253 x2254 x2255 x2256 x2257 x2258 x2259 x2260 x2261 x2262 x2263 x2264 x2265 x2266 x2267 x2268 x2269 x2270 x2271 x2272 x2273 x2274 x2275 x2276 x2277 x2278 x2279 x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 x2336 x2337 x2338 x2339 x2340 x2341 x2342 x2343 x2344 x2345 x2346 x2347 x2348 x2349 x2350 x2351 x2352 x2353 x2354 x2355 x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 x2399 x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 x2411 x2412 x2413 x2414 x2415 x2416 x2417 x2418 x2419 x2420 x2421 x2422 x2423 x2424 x2425 x2426 x2427 x2428 x2429 x2430 x2431 x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 x2486 x2487 x2488 x2489 x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 x2502 x2503 x2504 x2505 x2506 x2507 x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 x2566 x2567 x2568 x2569 x2570 x2571 x2572 x2573 x2574 x2575 x2576 x2577 x2578 x2579 x2580 x2581 x2582 x2583 x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 x2635 x2636 x2637 x2638 x2639 x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 x2648 x2649 x2650 x2651 x2652 x2653 x2654 x2655 x2656 x2657 x2658 x2659 x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 x2701 x2702 x2703 x2704 x2705 x2706 x2707 x2708 x2709 x2710 x2711 x2712 x2713 x2714 x2715 x2716 x2717 x2718 x2719 x2720 x2721 x2722 x2723 x2724 x2725 x2726 x2727 x2728 x2729 x2730 x2731 x2732 x2733 x2734 x2735 x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 x2794 x2795 x2796 x2797 x2798 x2799 x2800 x2801 x2802 x2803 x2804 x2805 x2806 x2807 x2808 x2809 x2810 x2811 x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 x2873 x2874 x2875 x2876 x2877 x2878 x2879 x2880 x2881 x2882 x2883 x2884 x2885 x2886 x2887 x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2951 x2952 x2953 x2954 x2955 x2956 x2957 x2958 x2959 x2960 x2961 x2962 x2963 x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 x3017 x3018 x3019 x3020 x3021 x3022 x3023 x3024 x3025 x3026 x3027 x3028 x3029 x3030 x3031 x3032 x3033 x3034 x3035 x3036 x3037 x3038 x3039 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 x3091 x3092 x3093 x3094 x3095 x3096 x3097 x3098 x3099 x3100 x3101 x3102 x3103 x3104 x3105 x3106 x3107 x3108 x3109 x3110 x3111 x3112 x3113 x3114 x3115 x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 x3182 x3183 x3184 x3185 x3186 x3187 x3188 x3189 x3190 x3191 x3192 x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 x3245 x3246 x3247 x3248 x3249 x3250 x3251 x3252 x3253 x3254 x3255 x3256 x3257 x3258 x3259 x3260 x3261 x3262 x3263 x3264 x3265 x3266 x3267 x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 x3336 x3337 x3338 x3339 x3340 x3341 x3342 x3343 x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3391 x3392 x3393 x3394 x3395 x3396 x3397 x3398 x3399 x3400 x3401 x3402 x3403 x3404 x3405 x3406 x3407 x3408 x3409 x3410 x3411 x3412 x3413 x3414 x3415 x3416 x3417 x3418 x3419 x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 x3482 x3483 x3484 x3485 x3486 x3487 x3488 x3489 x3490 x3491 x3492 x3493 x3494 x3495 x3496 x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 x3557 x3558 x3559 x3560 x3561 x3562 x3563 x3564 x3565 x3566 x3567 x3568 x3569 x3570 x3571 x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 x3634 x3635 x3636 x3637 x3638 x3639 x3640 x3641 x3642 x3643 x3644 x3645 x3646 x3647 x3648 x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 x3711 x3712 x3713 x3714 x3715 x3716 x3717 x3718 x3719 x3720 x3721 x3722 x3723 x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 x3782 x3783 x3784 x3785 x3786 x3787 x3788 x3789 x3790 x3791 x3792 x3793 x3794 x3795 x3796 x3797 x3798 x3799 x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 x3866 x3867 x3868 x3869 x3870 x3871 x3872 x3873 x3874 x3875 x3876 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 x3944 x3945 x3946 x3947 x3948 x3949 x3950 x3951 x3952 x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 x4013 x4014 x4015 x4016 -x4017 -x4018 x4019 x4020 x4021 x4022 x4023 x4024 x4025 x4026 x4027 x4028 x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 x4082 x4083 x4084 x4085 x4086 x4087 x4088 x4089 x4090 x4091 x4092 x4093 x4094 x4095 x4096 x4097 x4098 x4099 x4100 x4101 x4102 x4103 x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 x4171 x4172 x4173 x4174 x4175 x4176 x4177 x4178 x4179 x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 x4253 x4254 x4255 x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 x4405 x4406 x4407 x4408 x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 x4737 x4738 x4739 -x4740 -x4741 x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 x4791 x4792 x4793 x4794 x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 x4945 -x4946 x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 x4956 x4957 x4958 -x4959 x4960 x4961 x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 x5127 x5128 x5129 x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 x5180 x5181 -x5182 x5183 x5184 x5185 x5186 x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 x5280 x5281 x5282 x5283 x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 x5350 x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 x5499 x5500 x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 x5566 -x5567 x5568 -x5569 -x5570 x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 x5655 x5656 x5657 -x5658 -x5659 x5660 x5661 x5662 x5663 x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 x5728 x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 x5906 x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 x5949 x5950 -x5951 -x5952 -x5953 -x5954 x5955 x5956 -x5957 -x5958 x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 x6110 -x6111 -x6112 -x6113 -x6114 -x6115 x6116 x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 x6230 x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 x6281 x6282 -x6283 x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 x6351 x6352 x6353 x6354 x6355 x6356 x6357 x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 x6419 -x6420 -x6421 x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 x6493 x6494 x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 x6574 x6575 x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 x6666 x6667 x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 x6722 x6723 x6724 x6725 x6726 x6727 x6728 x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 x6767 x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 x6805 -x6806 x6807 x6808 x6809 -x6810 x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 x6873 -x6874 x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 x6971 -x6972 x6973 x6974 x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 x7033 x7034 x7035 x7036 x7037 x7038 x7039 x7040 -x7041 -x7042 x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 x7121 x7122 x7123 x7124 x7125 x7126 x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 x7200 -x7201 x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 x7269 x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 x7335 x7336 x7337 x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 x7428 x7429 x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 x7507 x7508 x7509 x7510 x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 x7578 x7579 x7580 x7581 x7582 x7583 x7584 x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 x7725 x7726 x7727 x7728 x7729 x7730 x7731 -x7732 -x7733 -x7734 -x7735 x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 x7805 x7806 x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 x7879 x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 x8026 x8027 x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 x8116 -x8117 x8118 x8119 x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 x8193 x8194 x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 x8268 x8269 x8270 x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 x8346 x8347 x8348 x8349 x8350 x8351 x8352 x8353 x8354 x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 x8578 x8579 x8580 x8581 x8582 x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 x8647 x8648 x8649 x8650 x8651 -x8652 -x8653 x8654 x8655 x8656 -x8657 -x8658 -x8659 -x8660 -x8661 x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 x8716 x8717 x8718 x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 x8888 x8889 x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 x8961 x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 x9039 x9040 x9041 x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 x9195 x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 x9272

Verifier Data 

OK	4425

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699041-1278462054/watcher-2699041-1278462054 -o /tmp/evaluation-result-2699041-1278462054/solver-2699041-1278462054 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699041-1278462054.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.93 1.99 1.93 4/178 14204
/proc/meminfo: memFree=30174012/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=2136 CPUtime=0
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 253 0 0 0 0 0 0 0 22 0 1 0 14417967 2187264 173 4089446400 134512640 136422188 4290676816 18446744073709551615 134536737 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14204/statm: 534 173 144 467 0 65 0

[startup+0.100532 s]
/proc/loadavg: 1.93 1.99 1.93 4/178 14204
/proc/meminfo: memFree=30174012/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=3060 CPUtime=0.1
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 480 0 0 0 10 0 0 0 22 0 1 0 14417967 3133440 400 4089446400 134512640 136422188 4290676816 18446744073709551615 135372849 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14204/statm: 765 400 144 467 0 296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3060

[startup+0.200509 s]
/proc/loadavg: 1.93 1.99 1.93 4/178 14204
/proc/meminfo: memFree=30174012/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=4268 CPUtime=0.2
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 797 0 0 0 20 0 0 0 22 0 1 0 14417967 4370432 684 4089446400 134512640 136422188 4290676816 18446744073709551615 134545506 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14204/statm: 1067 684 145 467 0 598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 4268

[startup+0.3005 s]
/proc/loadavg: 1.93 1.99 1.93 4/178 14204
/proc/meminfo: memFree=30174012/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=4408 CPUtime=0.3
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 801 0 0 0 30 0 0 0 22 0 1 0 14417967 4513792 688 4089446400 134512640 136422188 4290676816 18446744073709551615 135161944 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14204/statm: 1102 688 145 467 0 633 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4408

[startup+0.700423 s]
/proc/loadavg: 1.93 1.99 1.93 4/178 14204
/proc/meminfo: memFree=30174012/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=110172 CPUtime=0.69
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 28280 0 0 0 66 3 0 0 24 0 1 0 14417967 112816128 26420 4089446400 134512640 136422188 4290676816 18446744073709551615 134588000 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 27543 26420 203 467 0 27074 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110172

[startup+1.50026 s]
/proc/loadavg: 1.93 1.99 1.93 3/179 14205
/proc/meminfo: memFree=30062528/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=117840 CPUtime=1.49
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 30256 0 0 0 127 22 0 0 25 0 1 0 14417967 120668160 28059 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 29460 28059 237 467 0 28991 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117840

[startup+3.10098 s]
/proc/loadavg: 1.93 1.99 1.93 3/179 14205
/proc/meminfo: memFree=30060668/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=118104 CPUtime=3.09
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 30358 0 0 0 251 58 0 0 25 0 1 0 14417967 120938496 28122 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 29526 28122 237 467 0 29057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118104

[startup+6.30034 s]
/proc/loadavg: 1.93 1.99 1.93 3/179 14205
/proc/meminfo: memFree=30060260/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=118632 CPUtime=6.29
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 30532 0 0 0 484 145 0 0 25 0 1 0 14417967 121479168 28275 4089446400 134512640 136422188 4290676816 18446744073709551615 135006312 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 29658 28275 237 467 0 29189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118632

[startup+12.7011 s]
/proc/loadavg: 1.94 1.99 1.93 3/179 14205
/proc/meminfo: memFree=30058328/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=120348 CPUtime=12.69
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 30972 0 0 0 950 319 0 0 25 0 1 0 14417967 123236352 28680 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 30087 28680 237 467 0 29618 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120348

[startup+25.5007 s]
/proc/loadavg: 1.95 1.99 1.93 3/179 14205
/proc/meminfo: memFree=30054560/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=123656 CPUtime=25.49
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 31811 0 0 0 1840 709 0 0 25 0 1 0 14417967 126623744 29519 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 30914 29519 237 467 0 30445 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 123656

[startup+51.1007 s]
/proc/loadavg: 1.97 1.99 1.93 3/179 14206
/proc/meminfo: memFree=30050568/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=125512 CPUtime=51.1
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 32297 0 0 0 3652 1458 0 0 25 0 1 0 14417967 128524288 29979 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 31378 29979 237 467 0 30909 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 125512

[startup+102.301 s]
/proc/loadavg: 1.98 1.99 1.93 3/179 14207
/proc/meminfo: memFree=30046040/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=125512 CPUtime=102.3
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 32399 0 0 0 7269 2961 0 0 25 0 1 0 14417967 128524288 30001 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 31378 30001 237 467 0 30909 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 125512

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/179 14209
/proc/meminfo: memFree=30042608/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=125776 CPUtime=162.29
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 32505 0 0 0 11529 4700 0 0 25 0 1 0 14417967 128794624 30047 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 31444 30047 237 467 0 30975 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 125776

[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.93 3/179 14210
/proc/meminfo: memFree=30042540/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=126040 CPUtime=222.31
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 32640 0 0 0 15780 6451 0 0 25 0 1 0 14417967 129064960 30127 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 31510 30127 237 467 0 31041 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 126040

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/179 14212
/proc/meminfo: memFree=30038376/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=130040 CPUtime=282.3
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 33669 0 0 0 19938 8292 0 0 25 0 1 0 14417967 133160960 31108 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 32510 31108 237 467 0 32041 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 130040

[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.93 3/179 14214
/proc/meminfo: memFree=30037928/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=130040 CPUtime=342.3
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 33698 0 0 0 24197 10033 0 0 25 0 1 0 14417967 133160960 31109 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 32510 31109 237 467 0 32041 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 130040

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/179 14215
/proc/meminfo: memFree=30037864/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=130040 CPUtime=402.3
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 33735 0 0 0 28449 11781 0 0 25 0 1 0 14417967 133160960 31110 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 32510 31110 237 467 0 32041 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 130040

[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.93 3/179 14217
/proc/meminfo: memFree=30037804/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=130040 CPUtime=462.31
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 33747 0 0 0 32674 13557 0 0 25 0 1 0 14417967 133160960 31110 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 32510 31110 237 467 0 32041 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 130040

[startup+522.301 s]
/proc/loadavg: 1.99 1.99 1.93 3/179 14218
/proc/meminfo: memFree=30037600/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=130040 CPUtime=522.31
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 33811 0 0 0 36925 15306 0 0 25 0 1 0 14417967 133160960 31112 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 32510 31112 237 467 0 32041 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 130040

[startup+582.301 s]
/proc/loadavg: 2.03 2.00 1.94 3/179 14220
/proc/meminfo: memFree=30037148/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=130040 CPUtime=582.32
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 33831 0 0 0 41162 17070 0 0 25 0 1 0 14417967 133160960 31112 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 32510 31112 237 467 0 32041 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 130040

[startup+642.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/179 14222
/proc/meminfo: memFree=30036960/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=130040 CPUtime=642.32
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 33866 0 0 0 45419 18813 0 0 25 0 1 0 14417967 133160960 31120 4089446400 134512640 136422188 4290676816 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 32510 31120 237 467 0 32041 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 130040

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14228
/proc/meminfo: memFree=30033504/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=133604 CPUtime=882.33
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 34845 0 0 0 62369 25864 0 0 25 0 1 0 14417967 136810496 32043 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33401 32043 237 467 0 32932 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 133604

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14230
/proc/meminfo: memFree=30032576/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=133604 CPUtime=942.33
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 34867 0 0 0 66606 27627 0 0 25 0 1 0 14417967 136810496 32043 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33401 32043 237 467 0 32932 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 133604

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14231
/proc/meminfo: memFree=30032232/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=133604 CPUtime=1002.33
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 34889 0 0 0 70848 29385 0 0 25 0 1 0 14417967 136810496 32043 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33401 32043 237 467 0 32932 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 133604

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/179 14233
/proc/meminfo: memFree=30032412/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=133604 CPUtime=1062.34
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 34902 0 0 0 75104 31130 0 0 25 0 1 0 14417967 136810496 32044 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33401 32044 237 467 0 32932 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 133604

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14234
/proc/meminfo: memFree=30032332/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=133604 CPUtime=1122.33
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 34918 0 0 0 79335 32898 0 0 25 0 1 0 14417967 136810496 32044 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33401 32044 237 467 0 32932 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 133604

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14236
/proc/meminfo: memFree=30030544/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134264 CPUtime=1182.34
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35092 0 0 0 83548 34686 0 0 25 0 1 0 14417967 137486336 32209 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33566 32209 237 467 0 33097 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 134264

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 14238
/proc/meminfo: memFree=30029832/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134408 CPUtime=1242.34
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35142 0 0 0 87787 36447 0 0 25 0 1 0 14417967 137633792 32239 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33602 32239 237 467 0 33133 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 134408

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14239
/proc/meminfo: memFree=30029520/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134408 CPUtime=1302.34
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35161 0 0 0 92014 38220 0 0 25 0 1 0 14417967 137633792 32240 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33602 32240 237 467 0 33133 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 134408

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 14241
/proc/meminfo: memFree=30029824/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134408 CPUtime=1362.34
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35169 0 0 0 96244 39990 0 0 25 0 1 0 14417967 137633792 32240 4089446400 134512640 136422188 4290676816 18446744073709551615 135026597 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33602 32240 237 467 0 33133 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 134408

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/179 14242
/proc/meminfo: memFree=30029760/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134408 CPUtime=1422.35
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35184 0 0 0 100501 41734 0 0 25 0 1 0 14417967 137633792 32240 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33602 32240 237 467 0 33133 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 134408

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 14244
/proc/meminfo: memFree=30029576/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134408 CPUtime=1482.35
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35191 0 0 0 104760 43475 0 0 25 0 1 0 14417967 137633792 32240 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33602 32240 237 467 0 33133 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 134408

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14246
/proc/meminfo: memFree=30029540/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134540 CPUtime=1542.36
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35229 0 0 0 109026 45210 0 0 25 0 1 0 14417967 137768960 32278 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33635 32278 237 467 0 33166 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 134540

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14247
/proc/meminfo: memFree=30029348/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134540 CPUtime=1602.36
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35238 0 0 0 113245 46991 0 0 25 0 1 0 14417967 137768960 32278 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33635 32278 237 467 0 33166 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 134540

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 14249
/proc/meminfo: memFree=30029300/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134540 CPUtime=1662.36
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35253 0 0 0 117468 48768 0 0 25 0 1 0 14417967 137768960 32278 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33635 32278 237 467 0 33166 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 134540

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/179 14250
/proc/meminfo: memFree=30029096/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134540 CPUtime=1722.36
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35267 0 0 0 121689 50547 0 0 25 0 1 0 14417967 137768960 32278 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33635 32278 237 467 0 33166 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 134540

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/179 14252
/proc/meminfo: memFree=30029136/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134540 CPUtime=1782.36
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35288 0 0 0 125960 52276 0 0 25 0 1 0 14417967 137768960 32278 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33635 32278 237 467 0 33166 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 134540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 14281
/proc/meminfo: memFree=30229608/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134540 CPUtime=1800.06
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35291 0 0 0 127217 52789 0 0 25 0 1 0 14417967 137768960 32278 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33635 32278 237 467 0 33166 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 134540

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

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

[startup+1800 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 14281
/proc/meminfo: memFree=30229608/32950928 swapFree=67111528/67111528
[pid=14204] ppid=14202 vsize=134540 CPUtime=1800.06
/proc/14204/stat : 14204 (pbct) R 14202 14204 13779 0 -1 4202496 35291 0 0 0 127217 52789 0 0 25 0 1 0 14417967 137768960 32278 4089446400 134512640 136422188 4290676816 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/14204/statm: 33635 32278 237 467 0 33166 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 134540

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.09
CPU user time (s): 1272.18
CPU system time (s): 527.904
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 134540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1272.18
system time used= 527.904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35292
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= 21321

runsolver used 3.2725 second user time and 6.51201 second system time

The end

Launcher Data 

Begin job on node148 at 2010-07-07 02:20:54
IDJOB=2699041
IDBENCH=79087
IDSOLVER=1212
FILE ID=node148/2699041-1278462054
PBS_JOBID= 11233697
Free space on /tmp= 73900 MiB

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

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

MD5SUM BENCH= 3da4f5c3e5e38abb2c08bf92ba94a43a
RANDOM SEED=1891335150

node148.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.825
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.65
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.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.825
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.82
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.825
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.77
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.825
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.82
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.825
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.75
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.825
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.83
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.825
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:      30174408 kB
Buffers:        113396 kB
Cached:        2260920 kB
SwapCached:          0 kB
Active:         843968 kB
Inactive:      1784148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30174408 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6428 kB
Writeback:           0 kB
AnonPages:      254532 kB
Mapped:          15640 kB
Slab:            84164 kB
PageTables:       5056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   402352 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= 73900 MiB
End job on node148 at 2010-07-07 02:50:56