Trace number 4441030

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_veripb2 2024-07-05SAT (TO)6452446 3404.47 3705.88

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUM5c8d8ce64a950076da07daccd75facb4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4052992
Best CPU time to get the best result obtained on this benchmark71226.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
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.97/1.07	o 29757242
2.16/2.20	o 29690682
2.16/2.20	o 29607738
2.16/2.21	o 29414202
2.16/2.21	o 29223738
2.16/2.22	o 29068090
2.16/2.22	o 28924730
2.16/2.23	o 28732218
2.16/2.23	o 28485434
2.16/2.24	o 28377914
2.16/2.24	o 28295994
2.16/2.24	o 28101434
2.16/2.25	o 28006202
2.16/2.25	o 27827002
2.16/2.26	o 27629370
2.16/2.27	o 27629367
2.16/2.28	o 27629358
2.26/2.30	o 27629355
2.26/2.31	o 27629339
2.26/2.34	o 27393819
2.26/2.35	o 27165467
2.26/2.35	o 27027227
2.26/2.35	o 26801947
2.26/2.36	o 26679067
2.26/2.36	o 26569499
2.26/2.37	o 26299163
2.26/2.37	o 26163995
2.26/2.37	o 25912091
2.26/2.38	o 25736987
2.26/2.38	o 25579291
2.26/2.38	o 25401115
2.26/2.39	o 25152283
2.26/2.39	o 24982299
2.36/2.40	o 24860443
2.36/2.40	o 24706843
2.36/2.40	o 24571675
2.36/2.41	o 24431387
2.36/2.41	o 24267547
2.36/2.42	o 24057627
2.36/2.42	o 23809819
2.36/2.42	o 23578395
2.36/2.43	o 23350043
2.36/2.43	o 23209755
2.36/2.43	o 23067419
2.36/2.44	o 22817563
2.36/2.44	o 22555419
2.36/2.45	o 22555413
2.36/2.47	o 22501138
2.46/2.52	o 22501135
2.46/2.53	o 22501133
2.56/2.66	o 22501127
2.56/2.67	o 22501125
2.75/2.80	o 22474525
2.75/2.86	o 22394653
2.75/2.87	o 22137629
2.75/2.88	o 21930781
2.97/3.06	o 21863188
2.97/3.11	o 21863186
3.07/3.12	o 21863183
3.07/3.13	o 21863178
3.07/3.14	o 21863177
3.07/3.15	o 21863176
3.07/3.16	o 21863168
3.15/3.26	o 21862656
3.15/3.27	o 21862144
3.25/3.35	o 21593856
3.35/3.47	o 21593569
5.06/5.17	o 21593565
5.06/5.20	o 21593309
5.15/5.21	o 21593253
5.15/5.24	o 21593245
5.25/5.30	o 21593236
5.25/5.33	o 21593232
5.35/5.47	o 21593228
5.84/5.98	o 21519601
5.95/6.04	o 21519597
6.15/6.26	o 21519309
6.25/6.38	o 21519308
6.34/6.40	o 21519302
6.34/6.46	o 21519301
6.44/6.55	o 21519298
6.54/6.61	o 21519292
6.54/6.64	o 21519274
6.64/6.71	o 21501426
6.64/6.76	o 21501414
6.64/6.79	o 21501398
6.75/6.83	o 21501384
6.75/6.85	o 21501378
6.75/6.88	o 21501348
6.84/6.99	o 21501347
7.05/7.12	o 21501043
7.05/7.15	o 21501042
7.05/7.17	o 21500994
7.14/7.28	o 21500989
7.24/7.31	o 21500988
7.24/7.34	o 21500983
7.34/7.45	o 21367871
7.43/7.56	o 21367863
7.83/7.94	o 21367835
7.83/7.98	o 21366811
7.94/8.02	o 21366619
7.94/8.05	o 21366523
7.94/8.09	o 21366495
8.05/8.18	o 21366447
8.14/8.25	o 21366435
8.14/8.28	o 21365859
8.33/8.42	o 21365858
8.54/8.66	o 21341282
19.24/19.67	o 21341281
19.34/19.72	o 21341280
19.34/19.76	o 21341279
19.44/19.80	o 21341278
19.44/19.84	o 21341277
19.44/19.89	o 21341245
19.54/19.96	o 21341241
19.65/20.07	o 21341240
21.43/21.85	o 21341239
21.43/21.89	o 21341219
22.53/22.93	o 21340835
22.92/23.32	o 21340817
23.13/23.55	o 21340814
23.23/23.63	o 21339790
23.63/24.08	o 21339789
23.73/24.19	o 21339784
23.92/24.32	o 21339752
24.12/24.54	o 21322411
24.22/24.60	o 21322409
24.32/24.77	o 21322401
24.52/24.97	o 21289101
24.73/25.13	o 21289095
24.73/25.18	o 21289090
24.82/25.21	o 21289084
24.82/25.26	o 21289077
24.92/25.35	o 21289076
25.01/25.49	o 21289070
25.11/25.56	o 21289069
25.21/25.68	o 21289064
25.32/25.72	o 21289063
25.32/25.76	o 21289060
25.52/25.93	o 21288804
25.63/26.08	o 21287788
25.73/26.12	o 21287782
26.02/26.44	o 21287526
26.21/26.62	o 21072486
27.51/27.95	o 21072470
27.72/28.11	o 21072450
27.81/28.20	o 21072442
27.81/28.25	o 20965270
27.81/28.28	o 20961174
27.91/28.32	o 20959126
27.91/28.36	o 20957398
28.01/28.43	o 20957366
28.51/28.95	o 20911770
28.51/28.99	o 20911765
28.62/29.02	o 20911760
28.62/29.07	o 20911759
28.80/29.27	o 20860995
28.90/29.32	o 20860947
29.00/29.44	o 20860937
29.00/29.46	o 20860921
29.50/29.99	o 20860913
29.61/30.05	o 20860911
29.71/30.16	o 20854255
30.00/30.40	o 20840431
30.00/30.43	o 20840429
30.00/30.47	o 20840425
30.10/30.50	o 20840415
30.10/30.56	o 20840412
30.31/30.77	o 20840284
30.50/30.93	o 20840281
30.62/31.06	o 20835161
30.72/31.18	o 20834137
31.10/31.55	o 20834135
31.20/31.67	o 20834130
31.30/31.77	o 20833846
31.40/31.89	o 20833750
31.61/32.02	o 20833735
31.71/32.14	o 20831687
31.79/32.28	o 20831675
31.90/32.34	o 20831673
32.00/32.44	o 20831670
32.10/32.55	o 20831668
32.20/32.64	o 20831628
32.40/32.81	o 20804898
32.50/32.92	o 20804893
32.61/33.10	o 20804881
32.71/33.17	o 20804127
32.80/33.22	o 20804120
32.89/33.30	o 20786264
32.99/33.47	o 20783608
33.09/33.52	o 20783592
33.40/33.81	o 20774376
33.50/33.98	o 20774362
34.89/35.37	o 20774106
34.98/35.48	o 20773978
35.59/36.07	o 20773964
35.70/36.16	o 20773962
35.89/36.32	o 20773898
36.28/36.73	o 20773897
36.48/36.95	o 20773894
36.98/37.41	o 20773890
37.18/37.63	o 20773888
37.27/37.71	o 20773879
37.37/37.84	o 20772343
37.78/38.23	o 20772341
37.88/38.35	o 20772331
38.27/38.70	o 20772292
38.78/39.25	o 20772290
38.87/39.34	o 20772287
38.97/39.49	o 20772285
43.45/44.67	o 20772191
61.49/62.74	o 20770399
61.49/62.79	o 20770367
61.59/62.86	o 20770365
61.69/62.91	o 20770357
61.80/63.08	o 20770325
61.90/63.16	o 20770309
61.98/63.29	o 20770305
62.08/63.39	o 20770304
62.18/63.43	o 20770303
62.18/63.48	o 20770287
62.49/63.71	o 20770244
62.49/63.77	o 20770239
62.90/64.12	o 20769919
63.19/64.40	o 20769917
63.19/64.47	o 20661373
63.29/64.59	o 20483197
63.38/64.63	o 20483195
63.58/64.83	o 20394107
64.79/66.06	o 20393979
64.98/66.28	o 20393978
65.08/66.33	o 20393974
65.08/66.37	o 20392438
65.18/66.41	o 20392435
65.18/66.45	o 20391667
65.27/66.52	o 20391274
65.48/66.78	o 20391271
65.58/66.83	o 20278646
65.68/67.00	o 20278516
66.37/67.69	o 20278492
66.57/67.87	o 20278476
66.67/67.98	o 20277708
68.66/69.97	o 20277698
69.27/70.51	o 20277442
69.37/70.69	o 20149066
69.57/70.81	o 20149063
70.26/71.56	o 20087702
70.56/71.87	o 20087699
70.66/71.95	o 20086931
70.77/72.03	o 20086835
70.87/72.13	o 20082995
72.32/74.42	o 20082993
72.52/74.63	o 20082988
73.11/75.29	o 20082980
73.31/75.43	o 19973486
75.50/77.61	o 19973483
75.60/77.77	o 19973480
75.70/77.85	o 19973475
75.91/78.01	o 19973474
76.01/78.15	o 19973421
76.30/78.47	o 19972043
76.50/78.60	o 19972041
76.70/78.85	o 19971982
76.80/79.00	o 19971979
77.01/79.14	o 19971963
77.10/79.23	o 19971915
77.20/79.33	o 19970379
77.29/79.43	o 19968843
78.79/80.92	o 19968743
78.79/81.01	o 19968742
79.20/81.31	o 19968694
79.30/81.47	o 19773110
79.49/81.61	o 19603126
79.69/81.88	o 19603108
79.79/81.95	o 19603105
80.49/82.69	o 19543721
81.28/83.41	o 19543717
82.08/84.26	o 19519601
82.18/84.38	o 19519561
82.89/85.03	o 19519557
83.37/85.58	o 19519321
83.58/85.73	o 19519309
83.68/85.82	o 19519307
83.78/85.91	o 19519299
83.78/85.98	o 19519295
83.89/86.06	o 19359551
84.08/86.27	o 19359546
85.47/87.67	o 19359541
85.77/87.94	o 19359253
85.88/88.09	o 19359237
86.57/88.75	o 19218995
86.76/88.90	o 19218978
86.88/89.04	o 19218973
87.76/89.90	o 19218969
87.97/90.15	o 19218968
88.26/90.47	o 19218965
88.36/90.56	o 19218956
88.46/90.70	o 19218952
88.56/90.79	o 19002888
89.16/91.36	o 19002882
107.63/110.77	o 18989354
107.73/110.80	o 18987818
107.83/111.00	o 18987787
115.30/118.40	o 18987781
115.30/118.44	o 18987773
115.50/118.60	o 18987765
115.50/118.65	o 18987761
115.60/118.71	o 18983665
115.70/118.88	o 18983473
116.10/119.23	o 18983458
116.59/119.78	o 18983362
116.90/120.03	o 18983290
117.09/120.20	o 18983066
117.19/120.33	o 18983060
117.50/120.64	o 18983059
118.90/122.01	o 18967725
118.90/122.08	o 18916142
119.68/122.84	o 18916141
120.58/123.79	o 18914417
120.78/123.91	o 18699395
120.78/123.96	o 18699389
121.08/124.24	o 18670716
121.18/124.30	o 18670708
121.48/124.67	o 18489460
124.17/127.30	o 18489444
124.17/127.37	o 18489437
124.27/127.42	o 18489436
124.27/127.47	o 18489433
124.37/127.52	o 18489432
124.37/127.59	o 18489176
124.89/128.07	o 18489164
125.47/128.66	o 18489052
125.66/128.83	o 18489050
125.76/128.91	o 18488986
126.16/129.32	o 18218978
126.26/129.48	o 18218933
128.36/131.54	o 18218197
129.15/132.31	o 18218037
129.35/132.54	o 18218013
129.45/132.69	o 18218011
130.25/133.46	o 18217977
140.49/145.20	o 18217961
140.49/145.22	o 18217065
140.49/145.26	o 18217005
140.59/145.30	o 18217001
140.69/145.41	o 18216997
140.69/145.45	o 18216993
140.89/145.65	o 18158881
140.89/145.68	o 18157089
141.69/146.49	o 18157084
141.79/146.51	o 18157078
141.79/146.57	o 18157077
141.89/146.60	o 18139525
141.89/146.62	o 18139509
141.89/146.64	o 18139500
141.89/146.66	o 18139497
141.99/146.76	o 18139491
142.30/147.04	o 18139487
142.69/147.42	o 18139486
142.69/147.45	o 18139484
142.98/147.73	o 18139436
143.18/147.90	o 18139434
143.18/147.94	o 18138409
143.18/147.98	o 18020649
143.48/148.29	o 18020569
143.58/148.33	o 18020537
143.58/148.36	o 18013369
143.58/148.39	o 18013365
143.69/148.41	o 18013360
143.69/148.47	o 18011568
149.16/153.99	o 18011567
149.57/154.37	o 18011566
149.86/154.60	o 18011565
149.96/154.73	o 18011564
150.27/155.04	o 18011563
150.37/155.12	o 18011560
150.55/155.30	o 17903016
151.16/155.94	o 17903008
151.75/156.54	o 17903000
151.86/156.67	o 17747416
152.27/157.06	o 17747384
152.27/157.10	o 17746360
152.55/157.33	o 17745336
152.96/157.70	o 17745327
153.15/157.95	o 17745324
153.45/158.28	o 17745323
166.61/173.17	o 17652139
166.81/173.30	o 17651883
166.91/173.45	o 17650347
167.00/173.51	o 17649579
167.20/173.79	o 17649570
167.30/173.81	o 17649563
167.30/173.84	o 17649561
167.30/173.88	o 17649417
167.40/173.98	o 17646195
167.61/174.15	o 17646191
168.10/174.68	o 17491567
168.20/174.70	o 17491566
168.20/174.73	o 17491536
168.20/174.77	o 17491530
168.30/174.82	o 17491529
168.61/175.16	o 17491528
168.61/175.18	o 17491526
168.69/175.20	o 17491524
170.98/177.50	o 17491478
170.98/177.57	o 17491474
171.08/177.67	o 17491467
171.89/178.44	o 17491464
171.89/178.48	o 17491461
171.99/178.51	o 17491458
171.99/178.55	o 17491455
171.99/178.58	o 17491452
172.09/178.61	o 17491196
172.09/178.69	o 17491192
172.19/178.73	o 17491189
172.19/178.75	o 17491185
172.59/179.17	o 17491184
172.68/179.25	o 17491152
172.88/179.45	o 17490864
172.98/179.50	o 17490861
172.98/179.58	o 17490860
173.08/179.62	o 17490851
173.17/179.77	o 17490845
173.27/179.83	o 17490843
173.38/179.93	o 17490331
173.59/180.19	o 17490281
173.78/180.35	o 17375593
174.08/180.63	o 17375209
174.28/180.83	o 17375205
174.38/180.99	o 17375201
174.49/181.09	o 17375200
174.59/181.15	o 17375192
174.67/181.24	o 17308764
174.67/181.28	o 17308759
175.37/181.90	o 17308756
175.37/181.94	o 17308751
176.17/182.70	o 17308747
176.17/182.75	o 17308743
176.17/182.79	o 17308741
176.27/182.84	o 17308485
176.37/182.92	o 17308482
176.37/182.97	o 17308480
176.66/183.22	o 17308479
177.66/184.25	o 17308478
177.76/184.35	o 17308476
177.86/184.41	o 17308465
177.97/184.51	o 17308462
177.97/184.57	o 17308337
178.06/184.62	o 17308209
178.06/184.66	o 17306673
178.16/184.74	o 17305905
178.26/184.82	o 17305903
180.06/186.67	o 17305901
180.16/186.74	o 17305898
189.02/195.62	o 17305896
189.44/196.11	o 17305894
190.01/196.64	o 17305890
190.11/196.79	o 17305888
190.22/196.83	o 17305887
190.71/197.30	o 17245747
190.71/197.37	o 17244979
190.81/197.41	o 17244963
190.81/197.45	o 17226531
190.91/197.52	o 17182441
191.01/197.62	o 17182440
191.12/197.72	o 17182439
191.71/198.35	o 17182437
191.81/198.43	o 17182436
191.81/198.48	o 17182412
191.91/198.58	o 17182410
192.01/198.60	o 17182408
193.02/202.80	o 17182398
193.23/203.04	o 17182396
193.41/203.27	o 17165548
193.51/203.31	o 17165543
193.51/203.35	o 17165541
193.51/203.39	o 17165540
193.71/203.52	o 17151005
193.81/203.65	o 17150925
194.12/203.93	o 17150923
194.12/204.01	o 17150922
194.23/204.09	o 17150917
194.33/204.16	o 17150915
194.33/204.19	o 17150907
194.51/204.33	o 17150903
195.01/204.84	o 17115885
195.11/204.96	o 17115845
195.11/204.99	o 17049285
197.00/206.87	o 17049283
197.10/206.98	o 17049281
200.20/210.03	o 17049278
200.30/210.14	o 17049277
200.40/210.25	o 17049275
200.50/210.31	o 17049274
200.50/210.37	o 17049178
200.59/210.42	o 17049154
200.59/210.46	o 17049142
200.79/210.62	o 17047606
200.89/210.79	o 17046326
200.99/210.86	o 17046324
201.09/210.93	o 17042228
201.39/211.27	o 17042196
201.49/211.32	o 17042194
201.49/211.37	o 17042192
201.59/211.40	o 17042190
201.59/211.44	o 17042132
201.69/211.50	o 17042129
201.79/211.61	o 16907985
202.39/212.21	o 16907980
202.59/212.40	o 16907975
202.78/212.61	o 16893664
211.95/221.81	o 16893661
211.95/221.84	o 16893654
211.95/221.87	o 16893462
212.17/222.02	o 16893459
212.17/222.03	o 16893457
212.27/222.14	o 16842463
212.27/222.15	o 16842460
212.27/222.17	o 16842458
212.27/222.18	o 16842449
212.27/222.18	o 16842447
212.35/222.21	o 16842319
216.54/226.41	o 16842316
216.54/226.44	o 16842313
216.94/226.88	o 16842311
217.04/226.96	o 16842263
217.04/226.98	o 16842151
217.04/227.00	o 16834983
217.25/227.11	o 16834727
217.25/227.15	o 16834711
217.54/227.40	o 16834703
217.54/227.47	o 16834698
217.74/227.67	o 16834696
217.83/227.72	o 16834688
217.83/227.79	o 16834680
218.14/228.03	o 16834679
219.24/229.16	o 16834677
219.33/229.28	o 16834597
219.93/229.88	o 16834585
220.26/235.41	o 16834581
220.36/235.55	o 16834580
220.45/235.65	o 16834420
224.13/239.38	o 16834408
224.95/240.15	o 16834393
225.23/240.40	o 16834385
225.33/240.55	o 16756070
225.43/240.61	o 16756058
225.43/240.66	o 16755290
225.54/240.70	o 16754906
227.03/242.24	o 16754902
236.80/252.05	o 16754854
236.80/252.06	o 16754342
236.80/252.08	o 16754278
236.99/252.29	o 16754242
237.09/252.32	o 16754239
237.18/252.46	o 16754230
237.28/252.52	o 16754227
237.28/252.54	o 16754216
237.28/252.57	o 16754207
237.28/252.59	o 16754015
237.38/252.66	o 16753919
237.49/252.78	o 16753900
237.59/252.80	o 16753895
237.59/252.83	o 16646391
237.59/252.84	o 16646389
237.80/253.04	o 16546302
237.90/253.14	o 16546238
237.98/253.25	o 16546078
238.80/254.04	o 16545566
238.98/254.29	o 16545561
239.08/254.35	o 16545557
239.18/254.40	o 16545237
239.18/254.43	o 16545222
239.18/254.44	o 16545217
239.18/254.47	o 16545137
241.07/256.35	o 16545134
241.18/256.46	o 16545114
241.37/256.67	o 16545109
241.88/257.17	o 16545107
241.97/257.23	o 16545102
241.97/257.25	o 16545100
242.78/258.05	o 16545098
247.34/265.48	o 16504160
247.44/265.55	o 16277222
247.54/265.64	o 16277220
247.64/265.74	o 16277156
247.74/265.83	o 16179950
248.33/266.46	o 16102194
248.33/266.49	o 16101906
248.43/266.53	o 16101842
248.43/266.57	o 16100946
251.13/269.20	o 16100914
262.19/280.32	o 16100850
262.19/280.34	o 16100786
262.39/280.57	o 16100782
262.39/280.59	o 16100780
262.48/280.62	o 16100778
262.99/281.18	o 16100746
263.28/281.44	o 16025146
263.68/281.80	o 16025142
263.68/281.86	o 15993151
263.68/281.88	o 15993088
263.78/281.90	o 15992827
263.78/281.93	o 15992818
264.08/282.28	o 15992815
264.18/282.31	o 15992814
264.57/282.76	o 15992782
264.88/283.07	o 15992779
264.88/283.11	o 15992776
264.99/283.13	o 15992744
264.99/283.15	o 15992738
264.99/283.17	o 15992690
264.99/283.18	o 15992689
265.57/283.70	o 15992688
267.67/285.89	o 15992684
271.75/290.01	o 15992675
271.86/290.05	o 15992674
272.15/290.31	o 15992669
276.30/297.33	o 15992668
277.01/298.02	o 15992665
277.29/298.34	o 15992662
277.50/298.53	o 15884520
277.60/298.66	o 15884518
277.70/298.75	o 15880422
277.80/298.80	o 15879398
277.80/298.86	o 15879358
278.01/299.01	o 15878334
278.01/299.11	o 15878078
278.20/299.28	o 15877694
278.40/299.40	o 15877182
279.30/300.36	o 15776875
279.49/300.51	o 15774827
282.09/303.14	o 15739129
290.65/311.71	o 15739001
290.96/312.06	o 15738981
290.96/312.08	o 15738969
290.96/312.09	o 15738965
291.06/312.12	o 15738957
291.45/312.53	o 15738950
291.45/312.55	o 15738946
291.55/312.61	o 15738940
291.55/312.62	o 15738939
291.65/312.75	o 15738935
291.75/312.82	o 15658964
291.75/312.84	o 15658961
291.75/312.86	o 15658957
291.75/312.89	o 15658925
292.06/313.12	o 15657901
292.96/314.01	o 15657900
294.24/315.36	o 15657896
294.34/315.43	o 15657892
294.34/315.47	o 15657876
294.64/315.73	o 15628352
294.64/315.75	o 15628344
294.95/316.02	o 15628343
294.95/316.05	o 15628341
294.95/316.09	o 15628338
296.43/317.53	o 15628337
296.43/317.55	o 15628335
296.43/317.59	o 15628143
297.04/318.18	o 15628138
297.22/318.30	o 15574466
297.22/318.38	o 15471042
297.32/318.41	o 15281620
297.32/318.43	o 15281616
297.32/318.49	o 15281552
297.42/318.55	o 15215248
297.42/318.57	o 15215247
297.53/318.60	o 15215246
297.63/318.79	o 15215244
297.73/318.84	o 15215243
297.73/318.86	o 15215242
297.83/318.90	o 15215234
297.94/319.02	o 15215232
298.12/319.27	o 14997784
298.12/319.29	o 14997779
298.22/319.31	o 14997778
298.22/319.36	o 14960802
298.33/319.41	o 14865570
298.33/319.47	o 14845162
298.33/319.48	o 14845156
298.52/319.61	o 14820580
298.52/319.67	o 14820579
298.52/319.69	o 14820578
298.82/319.90	o 14820577
299.42/320.50	o 14820571
299.52/320.63	o 14820555
299.72/320.85	o 14820551
299.81/320.97	o 14820549
299.93/321.03	o 14820539
300.22/321.39	o 14820411
300.52/321.69	o 14820410
300.62/321.73	o 14819386
301.42/322.59	o 14819302
301.51/322.64	o 14819297
301.61/322.72	o 14806161
301.71/322.81	o 14806121
301.81/322.90	o 14806077
301.81/322.97	o 14806055
301.92/323.09	o 14806053
301.92/323.13	o 14806049
302.05/323.15	o 14806047
302.05/323.19	o 14797855
302.31/323.44	o 14796319
312.73/335.92	o 14795871
312.73/335.98	o 14795843
312.84/336.03	o 14795831
313.73/336.97	o 14783772
313.73/336.98	o 14783644
313.73/336.99	o 14783580
314.02/337.26	o 14783576
314.13/337.33	o 14783564
316.02/339.22	o 14775325
316.02/339.24	o 14775320
316.12/339.32	o 14775316
316.12/339.36	o 14775260
316.61/339.85	o 14775196
316.72/339.90	o 14775100
316.72/339.95	o 14775052
316.72/339.97	o 14775044
316.93/340.14	o 14774996
317.21/340.42	o 14774484
317.32/340.52	o 14774478
317.32/340.56	o 14774430
317.42/340.66	o 14774413
317.42/340.68	o 14774406
317.52/340.71	o 14774404
317.52/340.73	o 14774376
318.31/341.56	o 14774362
318.83/342.05	o 14774360
318.93/342.17	o 14774344
319.41/342.67	o 14774343
319.82/343.02	o 14774342
319.82/343.05	o 14774340
319.82/343.07	o 14774338
319.82/343.11	o 14774322
319.92/343.14	o 14774320
319.92/343.17	o 14774318
320.01/343.20	o 14774316
320.70/344.01	o 14774302
320.81/344.03	o 14671902
320.81/344.09	o 14671898
323.59/346.88	o 14671894
323.69/346.96	o 14656253
323.69/347.00	o 14656250
323.81/347.06	o 14655738
323.99/347.28	o 14655734
324.29/347.56	o 14655732
324.39/347.63	o 14655728
324.49/347.72	o 14655721
324.69/347.91	o 14655713
324.90/348.17	o 14654887
324.99/348.21	o 14654881
325.80/349.07	o 14654817
325.99/349.29	o 14654815
326.18/349.41	o 14654767
326.69/349.96	o 14654763
326.80/350.02	o 14654757
326.90/350.18	o 14654693
327.08/350.32	o 14654691
327.08/350.38	o 14654563
327.18/350.45	o 14654543
327.28/350.57	o 14654535
327.38/350.68	o 14654407
338.67/364.73	o 14653639
338.76/364.84	o 14653635
338.76/364.88	o 14653632
339.08/365.14	o 14568640
339.08/365.16	o 14568632
339.47/365.58	o 14568629
339.56/365.68	o 14568628
339.56/365.69	o 14568609
339.66/365.72	o 14568597
339.76/365.80	o 14568085
339.76/365.83	o 14568083
343.85/369.98	o 14567923
343.96/370.02	o 14567921
346.34/372.43	o 14567920
346.34/372.46	o 14567919
346.44/372.51	o 14567917
357.71/383.83	o 14472127
372.74/400.87	o 14466942
372.84/400.94	o 14466922
374.34/402.46	o 14463338
383.60/411.75	o 14463332
383.60/411.78	o 14463326
383.70/411.80	o 14253406
384.11/412.23	o 14222806
384.11/412.27	o 14222797
384.11/412.27	o 14222788
384.11/412.29	o 14222761
384.11/412.29	o 14222752
422.47/452.76	o 14186972
444.40/477.39	o 14186916
444.50/477.43	o 14182820
444.50/477.49	o 14178724
444.79/477.73	o 14178084
444.79/477.78	o 14178078
445.00/477.99	o 14177054
445.30/478.27	o 14176798
445.30/478.29	o 14176797
445.69/478.68	o 14176796
446.11/479.08	o 14176791
446.29/479.21	o 14176790
446.29/479.23	o 14176778
446.29/479.25	o 14176746
446.29/479.28	o 14176742
461.20/495.55	o 14176736
461.39/495.78	o 14097367
461.49/495.81	o 14097366
461.59/495.92	o 14097364
461.59/495.96	o 14097346
461.59/496.00	o 14097342
461.70/496.05	o 14071240
461.70/496.10	o 14071239
461.99/496.31	o 14071238
461.99/496.35	o 14071237
463.38/497.72	o 14071225
463.38/497.80	o 14071223
463.48/497.88	o 14071222
463.58/497.91	o 14071217
463.58/497.93	o 14071216
463.58/497.97	o 14071215
463.69/498.10	o 14071205
463.89/498.20	o 14070885
463.99/498.38	o 14070880
464.28/498.62	o 14070816
473.16/507.51	o 14070496
474.25/508.66	o 14070488
474.35/508.76	o 14070481
474.35/508.77	o 14070477
474.85/509.20	o 13978545
475.34/509.70	o 13962869
475.34/509.74	o 13962809
475.34/509.78	o 13962804
475.44/509.86	o 13962788
475.44/509.88	o 13962404
475.54/509.90	o 13962308
476.34/510.72	o 13955140
476.34/510.76	o 13955136
476.65/511.10	o 13955130
476.76/511.15	o 13909154
476.76/511.16	o 13909150
476.76/511.19	o 13909149
476.84/511.21	o 13909145
477.94/512.34	o 13909134
477.94/512.36	o 13909130
478.04/512.46	o 13909129
478.04/512.48	o 13909125
478.34/512.78	o 13909121
478.53/512.93	o 13909119
478.53/512.97	o 13909116
478.65/513.01	o 13909113
478.65/513.03	o 13909101
478.83/513.23	o 13909100
478.83/513.25	o 13909099
479.03/513.41	o 13908075
479.03/513.48	o 13874566
479.23/513.65	o 13873862
480.23/514.62	o 13873848
487.05/523.04	o 13873835
487.54/523.59	o 13873833
501.19/537.25	o 13873769
501.19/537.26	o 13873257
501.29/537.32	o 13873113
501.29/537.35	o 13872793
501.39/537.40	o 13872777
501.68/537.77	o 13872773
501.79/537.82	o 13872771
502.10/538.13	o 13872515
502.19/538.29	o 13872069
502.48/538.56	o 13872065
502.58/538.65	o 13872062
502.58/538.67	o 13872058
502.68/538.72	o 13872030
502.68/538.75	o 13872026
502.68/538.79	o 13872023
502.78/538.83	o 13872022
502.78/538.84	o 13783958
504.48/540.58	o 13783952
504.57/540.61	o 13783950
504.57/540.63	o 13783914
504.57/540.64	o 13783908
504.99/541.08	o 13779300
505.09/541.13	o 13779296
505.09/541.19	o 13673309
505.27/541.31	o 13673304
505.27/541.33	o 13673290
505.87/541.97	o 13673282
505.87/542.00	o 13673276
506.09/542.16	o 13673148
506.57/542.63	o 13672988
506.57/542.65	o 13672908
507.08/543.19	o 13672803
507.17/543.22	o 13672798
507.17/543.24	o 13672792
507.17/543.27	o 13672782
507.27/543.32	o 13672763
507.27/543.35	o 13672762
507.37/543.46	o 13672761
507.46/543.57	o 13672313
507.77/543.86	o 13672311
507.87/543.94	o 13672310
507.87/544.01	o 13671542
509.07/545.17	o 13671536
509.16/545.23	o 13671532
509.26/545.31	o 13588588
509.26/545.35	o 13536364
510.66/546.74	o 13470846
510.66/546.77	o 13470843
510.76/546.80	o 13470829
510.86/546.91	o 13470702
510.86/546.94	o 13470203
510.86/546.98	o 13470189
510.97/547.02	o 13470173
511.07/547.19	o 13467101
511.65/547.73	o 13466543
511.75/547.82	o 13463471
511.75/547.86	o 13451183
517.23/555.28	o 13451181
517.32/555.34	o 13420461
519.62/557.67	o 13420456
519.92/557.94	o 13419944
520.03/558.02	o 13411752
520.31/558.36	o 13411749
520.72/558.72	o 13411744
520.82/558.81	o 13411742
521.03/559.06	o 13411738
521.52/559.50	o 13411734
529.68/567.78	o 13411724
529.78/567.80	o 13347616
529.78/567.81	o 13347598
529.78/567.81	o 13347596
529.78/567.83	o 13347589
530.49/568.53	o 13347587
530.49/568.56	o 13347577
530.49/568.58	o 13318655
530.49/568.59	o 13318649
530.88/569.01	o 13318640
530.99/569.05	o 13318635
530.99/569.06	o 13318634
531.68/569.79	o 13318631
532.09/570.18	o 13318630
532.28/570.33	o 13318628
532.38/570.49	o 13316343
532.48/570.51	o 13316341
532.48/570.52	o 13316338
532.48/570.55	o 13316336
532.58/570.62	o 13301232
532.68/570.73	o 13301230
532.68/570.75	o 13301228
532.78/570.82	o 13301108
532.78/570.83	o 13301098
532.78/570.85	o 13301096
533.37/571.41	o 13301086
533.37/571.45	o 13301077
533.67/571.76	o 13301076
533.67/571.79	o 13247830
535.77/573.80	o 13247825
535.77/573.86	o 13247820
535.87/573.94	o 13247814
535.98/574.03	o 13247813
535.98/574.06	o 13247811
536.08/574.19	o 13247807
536.16/574.27	o 13246783
537.66/575.75	o 13246780
538.07/576.18	o 13243196
538.16/576.26	o 13243194
539.36/577.46	o 13243192
539.56/577.64	o 13210811
541.15/579.26	o 13196788
541.24/579.38	o 13196785
541.85/579.99	o 13065585
541.98/581.00	o 13065580
542.16/581.14	o 13060460
542.84/581.86	o 13060420
560.68/599.73	o 13060404
560.68/599.75	o 12971316
560.88/599.90	o 12971308
561.48/600.58	o 12971152
561.58/600.65	o 12971056
561.58/600.67	o 12970960
575.56/615.92	o 12970448
575.67/616.07	o 12970445
586.42/626.87	o 12970189
592.62/633.06	o 12970182
593.10/633.50	o 12970180
593.10/633.52	o 12970172
593.10/633.54	o 12969924
593.20/633.61	o 12958262
606.67/648.62	o 12958260
617.53/659.58	o 12958256
617.63/659.62	o 12958253
617.73/659.72	o 12956717
618.04/660.10	o 12952621
618.62/660.67	o 12952447
618.72/660.72	o 12952442
618.72/660.76	o 12927354
618.72/660.78	o 12926842
618.82/660.80	o 12926202
619.23/661.27	o 12926201
619.33/661.34	o 12926199
619.43/661.41	o 12926135
619.53/661.51	o 12926119
619.82/661.82	o 12926115
619.92/661.93	o 12924579
620.03/662.04	o 12924323
620.03/662.10	o 12924321
620.22/662.23	o 12923041
621.22/663.21	o 12922537
621.22/663.28	o 12922535
621.52/663.54	o 12922530
621.72/663.72	o 12922018
621.92/663.96	o 12918882
622.32/664.31	o 12918880
622.32/664.34	o 12918866
622.32/664.38	o 12918738
623.22/665.25	o 12918736
623.42/665.47	o 12918732
623.52/665.55	o 12918731
624.61/666.68	o 12918730
628.70/670.72	o 12918725
629.11/671.17	o 12918149
629.20/671.24	o 12917957
629.59/671.64	o 12917925
630.00/672.03	o 12915877
630.69/672.71	o 12900193
630.69/672.77	o 12900183
630.79/672.82	o 12900181
630.79/672.86	o 12900178
630.89/672.92	o 12900173
630.89/672.99	o 12900171
631.00/673.03	o 12900169
631.39/673.45	o 12900167
637.68/682.91	o 12900159
646.36/691.60	o 12900154
646.36/691.65	o 12900149
647.95/693.21	o 12900143
647.95/693.23	o 12900119
647.95/693.25	o 12900117
647.95/693.27	o 12900114
647.95/693.28	o 12900101
648.05/693.32	o 12900095
648.35/693.68	o 12900093
648.55/693.84	o 12899837
648.65/693.92	o 12899836
648.65/693.96	o 12899832
648.76/694.04	o 12899828
649.54/694.84	o 12899827
649.64/694.95	o 12899823
651.75/697.09	o 12899822
658.02/703.35	o 12899818
677.04/724.41	o 12899770
677.04/724.47	o 12899690
677.14/724.57	o 12899689
677.14/724.57	o 12899686
677.34/724.72	o 12899681
677.93/725.35	o 12883184
677.93/725.36	o 12883181
678.03/725.44	o 12883176
678.24/725.63	o 12883171
678.24/725.67	o 12883166
678.34/725.71	o 12883151
678.34/725.79	o 12847852
678.44/725.84	o 12847851
678.83/726.26	o 12847850
679.92/727.35	o 12847846
679.92/727.39	o 12847838
680.03/727.47	o 12847822
681.74/729.15	o 12845262
683.63/731.04	o 12844238
683.81/731.27	o 12844230
684.11/731.51	o 12844222
684.32/731.73	o 12844220
684.41/731.84	o 12844219
684.51/731.96	o 12844215
684.81/732.27	o 12844167
685.01/732.44	o 12844163
685.11/732.50	o 12844160
687.90/735.39	o 12844159
688.30/735.79	o 12844154
688.40/735.86	o 12844150
688.50/735.93	o 12844140
688.80/736.28	o 12844137
688.90/736.35	o 12844134
689.29/736.74	o 12823446
689.60/737.05	o 12823442
689.70/737.11	o 12823438
690.78/740.17	o 12623246
691.16/740.57	o 12623241
691.36/740.72	o 12623234
691.46/740.82	o 12623206
692.56/741.97	o 12623198
692.96/742.35	o 12623080
693.67/743.05	o 12610568
693.95/743.33	o 12610536
693.95/743.39	o 12610504
694.55/744.01	o 12604360
695.45/744.87	o 12510180
695.55/744.96	o 12510177
695.76/745.14	o 12510149
695.84/745.20	o 12510146
695.84/745.24	o 12510143
696.45/745.84	o 12510140
697.34/746.70	o 12509628
697.65/747.08	o 12509627
697.94/747.36	o 12509626
698.84/748.22	o 12453369
699.04/748.49	o 12453273
699.34/748.71	o 12412397
699.34/748.79	o 12412396
699.44/748.86	o 12412395
699.53/748.92	o 12412388
701.83/751.20	o 12412387
714.29/763.79	o 12412376
714.39/763.81	o 12412296
714.49/763.96	o 12265389
714.60/764.08	o 12265381
714.78/764.29	o 12265379
714.98/764.41	o 12265366
715.08/764.58	o 12265353
715.19/764.68	o 12265129
715.29/764.70	o 12265017
715.78/765.23	o 12265016
715.88/765.35	o 12254264
715.98/765.49	o 12254261
716.08/765.51	o 12254251
717.28/766.76	o 12254237
717.77/767.23	o 12254166
717.87/767.31	o 12254164
717.87/767.34	o 12251092
717.87/767.38	o 12248212
717.97/767.40	o 12248206
717.97/767.43	o 12248203
718.38/767.85	o 12246469
718.38/767.88	o 12246462
718.47/767.91	o 12246442
719.43/770.46	o 12246440
723.21/774.27	o 12246435
723.31/774.36	o 12246425
724.12/775.14	o 12238233
725.61/776.66	o 12238226
726.20/777.27	o 12238225
726.30/777.32	o 12238224
726.90/777.92	o 12238217
728.01/779.03	o 12124559
728.30/779.39	o 12124535
729.59/780.60	o 12124529
729.59/780.67	o 12124449
729.89/780.98	o 12124448
730.29/781.32	o 12065152
730.29/781.38	o 12065149
730.39/781.47	o 12065146
730.49/781.53	o 12065142
730.59/781.63	o 12065141
731.18/782.25	o 12065129
744.74/795.86	o 12065093
744.85/795.91	o 12063581
744.85/795.92	o 12063569
745.34/796.42	o 12044556
745.34/796.43	o 12044555
745.44/796.57	o 12044331
745.54/796.65	o 11858987
745.64/796.71	o 11858975
745.64/796.72	o 11858973
745.64/796.73	o 11858961
745.64/796.74	o 11858959
745.74/796.86	o 11742725
745.84/796.94	o 11742709
745.84/796.96	o 11703825
746.13/797.24	o 11703821
746.13/797.25	o 11703809
746.23/797.35	o 11703617
746.23/797.37	o 11703614
746.23/797.38	o 11703566
747.83/799.01	o 11691777
748.23/799.37	o 11691774
749.04/801.45	o 11691772
749.54/801.96	o 11691764
749.54/802.00	o 11691759
749.65/802.08	o 11691755
749.93/802.34	o 11687659
750.14/802.53	o 11687631
750.14/802.56	o 11687619
758.80/811.24	o 11687595
758.80/811.26	o 11687589
758.91/811.31	o 11683140
759.50/811.92	o 11683139
760.01/812.46	o 11683130
760.01/812.49	o 11683125
760.20/812.60	o 11683105
837.50/902.54	o 11681825
905.17/975.36	o 11681505
905.17/975.37	o 11681185
905.17/975.38	o 11681145
905.47/975.64	o 11681144
905.57/975.70	o 11648376
906.77/976.91	o 11648360
906.88/977.02	o 11648358
906.88/977.09	o 11648350
906.98/977.11	o 11648349
906.98/977.15	o 11648344
906.98/977.18	o 11648329
907.06/977.26	o 11648327
907.06/977.28	o 11648320
907.16/977.33	o 11614296
909.56/979.79	o 11614293
909.75/979.91	o 11614289
909.75/979.94	o 11614288
909.96/980.17	o 11613264
910.16/980.36	o 11613008
910.36/980.51	o 11613006
910.55/980.72	o 11613002
910.55/980.77	o 11612995
910.55/980.79	o 11612992
910.75/980.91	o 11612990
910.75/980.94	o 11612989
910.75/980.96	o 11612986
911.05/981.25	o 11612984
911.25/981.42	o 11612728
912.15/982.39	o 11612726
912.25/982.44	o 11612724
912.74/982.94	o 11560023
913.05/983.27	o 11560021
913.95/984.14	o 11560009
914.04/984.21	o 11533769
914.04/984.23	o 11533745
914.15/984.32	o 11533721
917.43/987.61	o 11533720
917.63/987.83	o 11533718
917.63/987.86	o 11533714
917.63/987.89	o 11533706
917.73/987.93	o 11533702
917.73/987.96	o 11533690
917.84/988.06	o 11517306
918.13/988.35	o 11507955
918.13/988.38	o 11507942
918.23/988.42	o 11507930
918.43/988.65	o 11507916
918.43/988.69	o 11507913
918.53/988.73	o 11507907
918.53/988.79	o 11507905
925.76/999.19	o 11507904
926.14/999.56	o 11507892
927.44/1000.83	o 11507890
939.50/1012.96	o 11507885
939.61/1013.06	o 11507878
939.61/1013.07	o 11507871
941.29/1014.74	o 11415047
941.70/1015.14	o 11415045
941.79/1015.20	o 11414981
941.79/1015.23	o 11412933
942.79/1016.29	o 11412903
943.38/1016.80	o 11412901
943.38/1016.83	o 11412899
943.38/1016.88	o 11412891
947.97/1021.44	o 11412801
948.28/1021.74	o 11412799
948.28/1021.79	o 11387199
948.38/1021.89	o 11387191
950.17/1023.66	o 11387185
951.36/1024.89	o 11387182
951.46/1024.97	o 11387181
951.57/1025.10	o 11387180
951.67/1025.14	o 11387179
952.86/1026.38	o 11387176
952.96/1026.41	o 11387175
952.96/1026.44	o 11387174
953.59/1028.45	o 11387172
954.09/1028.91	o 11387170
955.89/1030.74	o 11376560
955.89/1030.79	o 11376544
955.99/1030.83	o 11376534
955.99/1030.86	o 11376022
956.09/1030.91	o 11376017
956.78/1031.68	o 11376011
968.75/1043.64	o 11375915
968.94/1043.81	o 11375875
968.94/1043.84	o 11375831
970.15/1045.11	o 11375829
970.25/1045.13	o 11372757
970.25/1045.19	o 11372739
970.33/1045.21	o 11372737
970.33/1045.29	o 11364127
970.44/1045.30	o 11364125
970.44/1045.31	o 11364124
970.44/1045.33	o 11364092
970.44/1045.35	o 11364089
986.88/1063.07	o 11364085
986.99/1063.13	o 11363573
987.46/1063.60	o 11363485
988.07/1064.25	o 11363484
999.73/1075.92	o 11363471
999.73/1075.93	o 11363468
999.73/1075.94	o 11363467
1000.03/1076.24	o 11363466
1000.03/1076.25	o 11363460
1000.12/1076.30	o 11363444
1000.33/1076.51	o 11363441
1000.43/1076.68	o 11277847
1000.53/1076.72	o 11277844
1001.72/1077.93	o 11277842
1002.31/1078.56	o 11277840
1002.41/1078.62	o 11277836
1002.51/1078.71	o 11277834
1002.51/1078.77	o 11272202
1002.83/1079.05	o 11270154
1003.01/1079.24	o 11270142
1003.11/1079.30	o 11191018
1005.20/1081.44	o 11191002
1005.31/1081.52	o 11190998
1006.41/1082.60	o 11188719
1006.41/1082.68	o 11188681
1006.51/1082.70	o 11188679
1006.51/1082.77	o 11188666
1006.61/1082.80	o 11188578
1009.10/1085.38	o 11188514
1009.19/1085.46	o 11188509
1009.19/1085.49	o 11188453
1009.29/1085.53	o 11188439
1009.49/1085.77	o 11188409
1018.24/1096.39	o 11154496
1033.29/1111.44	o 11154472
1033.39/1111.54	o 11154460
1033.39/1111.56	o 11154457
1033.49/1111.63	o 11154456
1033.68/1111.89	o 11126891
1033.79/1111.90	o 11125611
1033.79/1111.92	o 11125515
1034.28/1112.49	o 11125509
1034.58/1112.75	o 11125477
1034.78/1112.90	o 11125472
1035.00/1113.18	o 11125468
1035.09/1113.26	o 11125467
1035.89/1114.10	o 11119798
1036.08/1114.20	o 11119797
1036.08/1114.23	o 11119778
1037.77/1115.98	o 11119774
1042.46/1120.64	o 11119769
1044.60/1123.92	o 11119761
1044.90/1124.27	o 11085106
1045.31/1124.60	o 11085105
1054.17/1133.59	o 11085104
1062.65/1142.03	o 11084976
1062.65/1142.05	o 11084912
1062.65/1142.07	o 11084880
1091.40/1173.12	o 11084865
1118.06/1201.16	o 11084609
1120.54/1203.60	o 11084587
1120.73/1203.82	o 11084491
1120.73/1203.87	o 11084490
1120.84/1203.95	o 11084487
1120.84/1203.97	o 11084486
1120.84/1204.00	o 11084484
1120.95/1204.04	o 11083972
1121.13/1204.22	o 11058116
1121.23/1204.31	o 11058100
1121.23/1204.33	o 11058098
1121.23/1204.35	o 11058096
1121.53/1204.60	o 11058095
1121.73/1204.88	o 11058089
1121.83/1204.90	o 11058053
1121.83/1204.92	o 11047813
1121.83/1204.95	o 11047801
1121.83/1204.98	o 11047795
1122.83/1205.93	o 11047793
1122.83/1205.98	o 11047789
1122.94/1206.02	o 11047277
1123.52/1206.67	o 11029610
1123.62/1206.79	o 11029370
1124.93/1208.07	o 11029365
1125.62/1208.72	o 11029363
1125.62/1208.77	o 11029359
1125.72/1208.82	o 11029353
1125.72/1208.88	o 11029313
1125.93/1209.07	o 11029305
1126.11/1209.28	o 11029295
1126.21/1209.31	o 11029294
1126.92/1210.07	o 11029292
1127.03/1210.15	o 11022760
1127.12/1210.20	o 11022696
1127.12/1210.23	o 11022664
1127.12/1210.26	o 11022608
1127.51/1210.61	o 11022604
1127.61/1210.78	o 11022600
1127.71/1210.80	o 11022588
1127.81/1210.94	o 11022587
1128.92/1212.03	o 11022567
1128.92/1212.07	o 11022565
1129.31/1212.41	o 11022557
1129.41/1212.50	o 11022551
1129.41/1212.53	o 11022549
1129.41/1212.57	o 10890144
1129.51/1212.60	o 10890139
1129.51/1212.64	o 10890125
1129.51/1212.66	o 10890123
1132.59/1215.72	o 10890088
1132.59/1215.75	o 10890083
1140.19/1224.10	o 10890079
1140.30/1224.14	o 10890077
1140.30/1224.19	o 10890075
1140.38/1224.22	o 10890073
1140.38/1224.26	o 10890071
1140.48/1224.31	o 10890061
1140.68/1224.51	o 10890049
1140.88/1224.76	o 10890048
1140.98/1224.80	o 10890040
1140.98/1224.85	o 10890036
1141.08/1224.91	o 10890024
1151.15/1235.08	o 10890018
1151.25/1235.15	o 10890009
1151.45/1235.30	o 10879865
1151.45/1235.37	o 10879833
1151.54/1235.47	o 10879829
1151.64/1235.53	o 10879797
1151.74/1235.61	o 10879791
1151.74/1235.67	o 10876719
1151.84/1235.72	o 10876527
1151.94/1235.81	o 10874991
1151.94/1235.89	o 10874735
1205.17/1291.69	o 10874733
1205.26/1291.73	o 10874717
1207.16/1293.64	o 10874693
1207.26/1293.72	o 10874681
1207.36/1293.87	o 10874680
1207.36/1293.89	o 10874679
1207.46/1293.90	o 10874677
1207.57/1294.02	o 10874661
1207.67/1294.15	o 10782318
1207.67/1294.16	o 10782317
1207.76/1294.21	o 10782301
1207.76/1294.25	o 10782173
1207.95/1294.48	o 10782160
1209.56/1296.07	o 10782153
1209.94/1296.46	o 10782147
1210.35/1296.86	o 10698199
1212.44/1299.00	o 10698159
1213.65/1300.14	o 10698154
1213.83/1300.32	o 10698153
1214.44/1300.95	o 10648909
1214.44/1300.98	o 10648901
1214.55/1301.02	o 10648898
1215.04/1301.52	o 10648895
1215.65/1302.11	o 10648894
1215.65/1302.14	o 10648887
1215.65/1302.18	o 10648839
1215.73/1302.26	o 10648833
1216.13/1302.60	o 10648817
1216.13/1302.66	o 10648810
1216.23/1302.76	o 10648753
1216.42/1302.92	o 10573568
1217.82/1304.36	o 10573560
1236.57/1324.27	o 10573240
1236.67/1324.30	o 10491320
1251.02/1338.70	o 10491308
1251.02/1338.78	o 10491244
1251.12/1338.86	o 10491230
1251.12/1338.89	o 10491226
1251.22/1338.97	o 10491202
1251.82/1339.56	o 10491170
1251.82/1339.59	o 10491158
1251.92/1339.65	o 10490134
1251.92/1339.68	o 10490130
1252.12/1339.84	o 10487917
1252.12/1339.86	o 10487902
1252.22/1339.91	o 10487790
1255.21/1342.95	o 10483694
1255.32/1343.02	o 10483692
1319.78/1410.22	o 10483688
1329.56/1420.09	o 10483685
1330.15/1420.60	o 10483573
1330.25/1420.77	o 10483562
1330.74/1421.27	o 10467166
1330.74/1421.28	o 10467165
1330.84/1421.31	o 10467161
1332.43/1422.90	o 10467150
1332.65/1423.11	o 10467146
1332.65/1423.15	o 10406538
1332.74/1423.23	o 10406536
1333.04/1423.57	o 10390348
1335.54/1426.11	o 10390344
1335.73/1426.20	o 10390335
1336.32/1426.80	o 10390327
1336.54/1427.05	o 10390315
1336.54/1427.10	o 10390311
1336.64/1427.15	o 10390307
1337.33/1427.83	o 10390275
1337.43/1427.99	o 10390267
1337.54/1428.02	o 10390263
1337.54/1428.10	o 10318402
1337.64/1428.17	o 10318394
1338.72/1429.25	o 10318381
1339.31/1429.85	o 10318375
1339.41/1429.99	o 10318374
1339.52/1430.07	o 10318365
1339.63/1430.11	o 10318237
1339.72/1430.22	o 10318233
1339.72/1430.30	o 10318213
1339.82/1430.34	o 10318211
1339.82/1430.39	o 10318210
1356.91/1448.61	o 10318206
1357.00/1448.79	o 10318204
1357.10/1448.86	o 10318196
1357.50/1449.20	o 10318194
1357.50/1449.21	o 10317991
1357.50/1449.22	o 10317976
1359.10/1450.85	o 10317974
1359.20/1450.90	o 10317966
1359.20/1450.93	o 10317959
1359.20/1450.97	o 10317958
1362.40/1454.17	o 10317953
1363.59/1455.35	o 10317951
1364.98/1456.74	o 10317935
1365.08/1456.80	o 10317928
1365.29/1457.02	o 10317920
1365.49/1457.22	o 10297211
1365.49/1457.25	o 10297201
1365.49/1457.28	o 10297186
1365.59/1457.34	o 10297179
1365.68/1457.50	o 10297163
1365.88/1457.65	o 10173393
1365.98/1457.73	o 10173217
1369.87/1461.66	o 10173169
1370.96/1462.76	o 10173157
1371.16/1462.93	o 10173153
1371.27/1463.04	o 10173147
1371.27/1463.08	o 10173135
1371.56/1463.35	o 10109286
1371.56/1463.38	o 10109264
1372.76/1464.54	o 10109261
1372.86/1464.67	o 10109245
1373.06/1464.83	o 10109205
1373.27/1465.10	o 10109191
1373.37/1465.14	o 10109186
1373.46/1465.20	o 10109184
1373.46/1465.25	o 9988210
1374.55/1466.34	o 9988206
1374.55/1466.36	o 9988202
1374.55/1466.39	o 9988190
1375.84/1467.64	o 9988158
1375.84/1467.68	o 9988155
1376.04/1467.85	o 9988151
1376.14/1467.91	o 9988019
1377.44/1469.22	o 9988007
1377.44/1469.28	o 9987999
1377.54/1469.34	o 9985951
1379.03/1470.87	o 9979807
1379.44/1471.21	o 9952159
1380.80/1474.21	o 9951647
1381.10/1474.59	o 9951646
1381.40/1474.87	o 9896894
1382.09/1475.56	o 9896638
1382.61/1476.02	o 9896625
1382.61/1476.07	o 9896622
1382.61/1476.10	o 9896614
1382.71/1476.16	o 9896594
1383.19/1476.61	o 9896592
1383.19/1476.66	o 9896574
1383.19/1476.69	o 9896571
1383.29/1476.73	o 9896558
1383.29/1476.76	o 9896555
1383.39/1476.80	o 9895331
1383.39/1476.86	o 9895322
1384.70/1478.18	o 9894810
1384.99/1478.41	o 9889690
1385.70/1479.14	o 9887642
1394.86/1488.31	o 9883034
1395.46/1488.92	o 9768346
1395.46/1488.98	o 9768343
1395.56/1489.03	o 9768287
1395.56/1489.09	o 9768280
1395.56/1489.10	o 9768277
1400.34/1493.88	o 9768241
1400.44/1493.94	o 9768231
1400.54/1494.08	o 9701777
1401.23/1494.72	o 9668224
1401.23/1494.79	o 9668214
1401.55/1495.09	o 9668204
1402.13/1495.70	o 9668149
1402.92/1496.49	o 9668144
1403.02/1496.51	o 9668129
1403.02/1496.56	o 9668124
1403.13/1496.69	o 9668123
1403.23/1496.79	o 9668083
1403.33/1496.82	o 9668053
1405.42/1499.01	o 9668044
1405.54/1499.03	o 9667996
1405.64/1499.11	o 9667986
1405.92/1499.46	o 9667978
1407.42/1500.95	o 9569899
1407.91/1501.42	o 9556925
1427.29/1522.39	o 9556913
1428.10/1523.19	o 9556908
1428.38/1523.42	o 9556904
1428.79/1523.84	o 9556896
1429.18/1524.21	o 9556886
1429.28/1524.38	o 9554838
1429.38/1524.49	o 9553814
1431.58/1526.68	o 9456765
1432.27/1527.38	o 9456761
1433.17/1528.27	o 9456752
1433.27/1528.32	o 9456748
1434.36/1529.47	o 9456732
1434.46/1529.52	o 9456731
1435.47/1530.52	o 9456730
1435.57/1530.64	o 9456729
1435.57/1530.68	o 9455705
1435.66/1530.77	o 9455657
1435.98/1531.10	o 9361449
1437.65/1532.74	o 9361439
1443.25/1539.92	o 9361434
1443.66/1540.35	o 9323290
1445.47/1542.16	o 9323286
1447.05/1543.76	o 9323246
1447.15/1543.82	o 9323226
1447.36/1544.10	o 9323186
1448.94/1545.69	o 9323181
1459.21/1555.93	o 9323177
1459.21/1555.94	o 9323176
1459.21/1555.98	o 9323173
1462.00/1558.77	o 9323172
1462.59/1559.39	o 9318569
1462.70/1559.41	o 9318568
1462.90/1559.62	o 9318567
1463.00/1559.72	o 9317926
1463.00/1559.74	o 9317908
1479.24/1577.15	o 9317906
1489.29/1587.21	o 9317902
1489.29/1587.22	o 9317874
1489.29/1587.28	o 9317870
1489.38/1587.30	o 9107724
1489.48/1587.42	o 9090866
1489.48/1587.43	o 9090850
1489.48/1587.43	o 9090834
1489.48/1587.45	o 9084844
1489.48/1587.46	o 9084840
1497.26/1595.26	o 9084839
1497.76/1595.73	o 9084829
1497.86/1595.81	o 9084826
1512.34/1611.66	o 9084817
1512.44/1611.77	o 9084797
1512.85/1612.14	o 9084769
1520.61/1619.99	o 9084766
1522.82/1622.17	o 9084764
1522.91/1622.20	o 9082204
1522.91/1622.26	o 9082202
1522.91/1622.28	o 9082197
1523.01/1622.31	o 9082187
1523.01/1622.35	o 9082167
1523.20/1622.59	o 9082159
1523.40/1622.70	o 9080111
1523.81/1623.13	o 9080110
1523.81/1623.15	o 9080109
1523.81/1623.17	o 9080108
1523.90/1623.20	o 9080107
1523.90/1623.27	o 9080106
1524.10/1623.43	o 9080105
1524.10/1623.45	o 9080104
1524.30/1623.63	o 9017703
1524.30/1623.65	o 9017702
1524.40/1623.73	o 9017697
1524.40/1623.78	o 9017685
1524.50/1623.82	o 9017681
1524.50/1623.84	o 9017392
1525.00/1624.38	o 8974896
1525.10/1624.43	o 8974887
1525.10/1624.47	o 8974865
1525.10/1624.49	o 8974851
1525.20/1624.51	o 8974795
1525.70/1625.05	o 8974767
1526.81/1626.19	o 8965970
1526.89/1626.22	o 8965956
1526.89/1626.25	o 8965949
1526.99/1626.30	o 8965939
1529.09/1628.41	o 8965933
1529.09/1628.43	o 8965929
1529.48/1628.80	o 8965927
1529.48/1628.89	o 8965923
1529.58/1628.92	o 8965891
1529.69/1629.01	o 8959747
1529.69/1629.05	o 8959738
1529.69/1629.08	o 8959735
1529.69/1629.11	o 8959731
1532.94/1633.01	o 8959219
1534.74/1634.75	o 8959211
1534.74/1634.79	o 8959204
1534.84/1634.82	o 8959197
1534.84/1634.84	o 8959190
1534.94/1634.91	o 8959155
1537.82/1637.85	o 8959145
1537.82/1637.89	o 8959135
1543.51/1643.59	o 8959119
1562.15/1662.20	o 8959044
1572.29/1673.67	o 8958788
1572.29/1673.68	o 8958748
1572.29/1673.69	o 8958620
1572.39/1673.77	o 8957852
1572.39/1673.78	o 8957838
1572.49/1673.81	o 8957390
1573.70/1675.06	o 8957378
1573.70/1675.08	o 8957368
1573.70/1675.09	o 8957354
1573.80/1675.19	o 8957342
1573.89/1675.20	o 8957322
1574.49/1675.89	o 8957294
1574.58/1675.98	o 8957291
1575.70/1677.04	o 8957287
1576.38/1677.73	o 8957281
1576.88/1678.22	o 8957269
1578.87/1680.21	o 8957263
1592.52/1693.97	o 8957262
1592.52/1694.00	o 8957258
1592.64/1694.07	o 8955210
1592.83/1694.20	o 8955209
1595.20/1699.28	o 8955205
1595.40/1699.47	o 8955204
1595.50/1699.56	o 8955199
1595.60/1699.60	o 8951103
1595.90/1699.90	o 8947007
1597.90/1701.91	o 8947006
1597.90/1701.94	o 8946996
1598.69/1702.72	o 8945972
1599.00/1703.05	o 8945764
1616.94/1721.09	o 8945763
1634.04/1740.51	o 8945757
1634.04/1740.52	o 8945754
1636.23/1742.76	o 8940634
1636.33/1742.80	o 8940578
1636.33/1742.82	o 8940577
1636.33/1742.85	o 8940573
1655.72/1763.38	o 8925511
1664.40/1772.02	o 8925447
1664.40/1772.04	o 8925433
1980.92/2105.37	o 8925421
1980.92/2105.39	o 8924525
1981.02/2105.40	o 8924301
1981.92/2106.34	o 8924273
1982.11/2106.59	o 8924259
1982.21/2106.60	o 8924245
1983.95/2108.69	o 8857769
1984.55/2109.22	o 8857757
1986.05/2110.79	o 8857755
1986.14/2110.81	o 8857751
1986.36/2111.04	o 8857750
1986.36/2111.07	o 8856726
1986.36/2111.09	o 8856214
1986.46/2111.14	o 8855958
1986.54/2111.28	o 8833471
1986.64/2111.32	o 8833468
1986.75/2111.45	o 8833466
1987.05/2111.72	o 8833460
1987.15/2111.80	o 8833456
1987.15/2111.85	o 8814000
1987.36/2112.01	o 8805930
1987.54/2112.22	o 8805926
1987.94/2112.64	o 8805924
1987.94/2112.67	o 8805920
1988.04/2112.70	o 8805918
1988.04/2112.76	o 8805917
1989.64/2114.39	o 8805857
1989.74/2114.42	o 8805853
1989.74/2114.46	o 8805821
1989.74/2114.49	o 8805757
1989.84/2114.51	o 8805725
1989.94/2114.68	o 8805485
1990.04/2114.73	o 8805469
1990.04/2114.76	o 8805453
1993.62/2118.35	o 8805445
1994.72/2119.47	o 8805441
1994.81/2119.52	o 8805440
1994.91/2119.60	o 8805434
1994.91/2119.69	o 8804890
2000.50/2125.22	o 8802581
2007.88/2132.67	o 8802165
2007.88/2132.68	o 8802161
2007.98/2132.71	o 8802157
2009.57/2134.36	o 8783518
2009.57/2134.39	o 8783508
2012.16/2136.92	o 8783500
2012.28/2137.07	o 8783493
2012.28/2137.08	o 8783491
2012.38/2137.19	o 8783488
2012.46/2137.21	o 8783476
2012.46/2137.29	o 8713151
2012.56/2137.30	o 8713135
2012.56/2137.32	o 8713087
2012.56/2137.36	o 8713086
2029.54/2155.07	o 8713083
2039.51/2165.07	o 8713063
2039.61/2165.11	o 8712615
2040.00/2165.55	o 8712575
2040.20/2165.76	o 8712574
2040.20/2165.79	o 8712566
2040.20/2165.81	o 8712564
2040.20/2165.82	o 8712558
2040.39/2165.98	o 8712548
2040.39/2165.99	o 8712546
2040.54/2166.16	o 8689932
2040.67/2166.19	o 8689926
2040.70/2166.22	o 8589596
2040.70/2166.23	o 8589586
2041.89/2167.43	o 8589576
2042.09/2167.65	o 8589496
2043.09/2168.65	o 8589491
2043.29/2168.85	o 8532147
2043.49/2169.08	o 8532107
2043.49/2169.11	o 8528523
2043.60/2169.15	o 8528503
2043.69/2169.24	o 8528483
2043.79/2169.40	o 8527459
2044.09/2169.66	o 8527449
2044.98/2170.53	o 8527289
2067.73/2195.10	o 8527285
2068.03/2195.36	o 8527283
2068.32/2195.60	o 8527282
2068.52/2195.84	o 8527280
2068.63/2195.93	o 8444596
2068.92/2196.21	o 8444591
2069.32/2196.62	o 8444583
2070.42/2197.71	o 8444523
2070.42/2197.76	o 8444503
2072.22/2199.50	o 8444502
2072.22/2199.53	o 8444487
2072.22/2199.56	o 8444457
2072.31/2199.60	o 8444452
2072.31/2199.63	o 8444442
2072.82/2200.14	o 8444427
2072.91/2200.29	o 8444397
2073.01/2200.34	o 8444392
2073.11/2200.48	o 8444388
2073.20/2200.50	o 8444372
2073.30/2200.63	o 8444368
2073.40/2200.70	o 8444364
2073.40/2200.73	o 8444348
2073.51/2200.84	o 8444344
2074.10/2201.49	o 8405084
2075.40/2202.74	o 8405076
2077.26/2204.94	o 8405052
2077.26/2205.00	o 8405048
2077.37/2205.04	o 8405046
2077.48/2205.19	o 8405042
2093.21/2220.91	o 8405040
2093.33/2221.06	o 8342912
2093.43/2221.12	o 8342848
2093.51/2221.29	o 8342840
2093.61/2221.34	o 8342839
2164.25/2301.14	o 8342819
2164.25/2301.15	o 8342809
2164.25/2301.15	o 8342801
2164.25/2301.16	o 8342795
2164.25/2301.18	o 8342791
2164.25/2301.19	o 8342789
2164.53/2301.46	o 8342779
2164.84/2301.72	o 8342747
2164.84/2301.76	o 8342727
2164.84/2301.78	o 8342687
2165.44/2302.40	o 8342683
2165.83/2302.74	o 8342675
2165.93/2302.89	o 8342624
2166.03/2302.92	o 8342619
2166.03/2303.01	o 8252979
2166.14/2303.02	o 8252975
2166.63/2303.51	o 8252974
2167.14/2304.01	o 8238192
2167.14/2304.08	o 8238160
2171.81/2308.72	o 8238149
2171.91/2308.84	o 8238129
2171.91/2308.86	o 8238109
2172.01/2308.94	o 8236573
2174.24/2317.41	o 8236565
2174.63/2317.82	o 8236541
2174.85/2318.06	o 8236538
2174.95/2318.11	o 8236535
2175.03/2318.21	o 8236529
2175.43/2318.69	o 8218022
2175.53/2318.73	o 8217962
2175.53/2318.76	o 8217938
2175.53/2318.80	o 8217932
2175.63/2318.82	o 8217930
2175.84/2319.11	o 8217924
2176.94/2320.16	o 8215620
2177.33/2320.57	o 8215610
2190.68/2333.97	o 8215602
2190.68/2334.01	o 8215578
2190.78/2334.02	o 8215530
2191.28/2334.54	o 8215522
2191.57/2334.86	o 8215520
2191.57/2334.88	o 8215510
2192.17/2335.44	o 8215490
2192.97/2336.26	o 8215330
2194.16/2337.44	o 8215310
2194.26/2337.54	o 8215308
2194.26/2337.56	o 8215268
2194.26/2337.59	o 8215248
2196.77/2340.11	o 8215244
2196.87/2340.14	o 8215205
2232.47/2377.69	o 8215185
2275.44/2422.51	o 8214417
2275.74/2422.87	o 8214415
2276.43/2423.58	o 8214351
2276.54/2423.66	o 8214223
2278.53/2425.66	o 8214214
2278.94/2426.09	o 8214213
2279.04/2426.14	o 8214209
2279.43/2426.58	o 8214208
2279.53/2426.64	o 8214205
2279.53/2426.66	o 8214204
2279.53/2426.69	o 8214140
2279.72/2426.82	o 8214124
2279.72/2426.88	o 8214122
2279.82/2426.91	o 8214120
2279.82/2426.94	o 8214117
2279.82/2426.98	o 8214115
2280.32/2427.48	o 8214114
2280.52/2427.67	o 8214098
2280.62/2427.72	o 8211538
2280.62/2427.78	o 8210514
2280.82/2427.96	o 8200050
2280.82/2427.99	o 8200018
2280.93/2428.04	o 8199946
2281.03/2428.14	o 8199944
2281.32/2428.49	o 8199940
2281.61/2428.71	o 8199933
2281.93/2429.07	o 8199927
2282.04/2429.13	o 8199917
2282.22/2429.37	o 8199905
2282.41/2429.56	o 8199889
2285.80/2432.95	o 8199888
2285.80/2433.01	o 8199883
2285.91/2433.04	o 8199878
2285.91/2433.09	o 8199863
2286.11/2433.29	o 8199843
2286.20/2433.35	o 8199833
2288.01/2435.18	o 8199828
2288.90/2436.03	o 8199826
2289.29/2436.40	o 8199822
2290.29/2437.49	o 8199815
2291.14/2440.07	o 8199751
2291.33/2440.20	o 8197703
2291.43/2440.33	o 8193607
2291.54/2440.49	o 8193479
2295.82/2444.78	o 8191431
2295.92/2444.88	o 8191423
2296.02/2444.97	o 8126979
2296.13/2445.11	o 8126955
2302.89/2451.89	o 8126953
2316.94/2466.01	o 8126951
2317.05/2466.07	o 8126944
2317.65/2466.60	o 8126943
2318.64/2467.69	o 8126927
2318.93/2467.91	o 8126915
2319.05/2468.11	o 8126907
2319.23/2468.25	o 8039957
2319.93/2468.90	o 8037909
2320.37/2479.46	o 8037889
2383.83/2565.96	o 8037885
2383.93/2566.08	o 8037870
2392.30/2574.45	o 8037790
2408.34/2594.58	o 8037782
2408.95/2595.12	o 8037526
2414.21/2600.47	o 8037516
2414.32/2600.53	o 8037512
2414.32/2600.57	o 8037508
2414.71/2600.99	o 8037484
2414.82/2601.02	o 8037436
2414.82/2601.05	o 8037434
2414.82/2601.06	o 7962682
2415.11/2601.34	o 7962677
2415.92/2602.12	o 7962673
2415.92/2602.17	o 7962671
2416.82/2603.10	o 7962668
2417.00/2603.29	o 7962667
2417.10/2603.33	o 7962663
2417.10/2603.36	o 7962662
2418.30/2604.52	o 7962646
2418.40/2604.63	o 7961366
2418.81/2605.08	o 7960726
2419.39/2605.66	o 7960702
2419.39/2605.69	o 7960698
2419.49/2605.72	o 7960690
2419.59/2605.81	o 7960684
2420.69/2606.91	o 7960680
2420.69/2606.95	o 7960676
2420.80/2607.11	o 7960672
2420.91/2607.18	o 7960667
2420.99/2607.25	o 7960539
2421.49/2607.77	o 7960527
2421.59/2607.87	o 7960523
2423.18/2609.46	o 7960518
2441.04/2629.38	o 7960516
2441.14/2629.41	o 7960512
2443.93/2632.29	o 7960510
2444.03/2632.35	o 7960500
2460.43/2652.26	o 7951531
2460.53/2652.30	o 7951523
2460.53/2652.32	o 7951519
2460.53/2652.36	o 7951511
2460.53/2652.39	o 7950999
2460.94/2652.70	o 7950985
2461.24/2653.10	o 7950965
2462.13/2653.92	o 7950961
2463.82/2655.66	o 7950957
2464.12/2655.92	o 7950955
2464.23/2656.04	o 7948395
2464.34/2656.16	o 7948363
2464.34/2656.19	o 7948361
2464.53/2656.31	o 7948105
2464.72/2656.57	o 7947815
2466.01/2657.89	o 7947175
2466.22/2658.03	o 7947160
2476.48/2668.39	o 7947150
2476.58/2668.40	o 7947145
2476.58/2668.44	o 7947142
2477.19/2669.07	o 7947106
2477.19/2669.10	o 7947104
2478.08/2669.96	o 7947074
2478.08/2669.98	o 7947064
2478.08/2669.99	o 7947034
2478.08/2670.01	o 7947030
2478.68/2670.53	o 7947029
2479.37/2671.23	o 7947026
2479.47/2671.32	o 7946946
2479.57/2671.44	o 7946943
2480.07/2671.90	o 7946941
2480.18/2672.05	o 7946939
2480.18/2672.07	o 7946931
2480.18/2672.09	o 7946925
2480.18/2672.11	o 7946920
2480.29/2672.13	o 7946914
2480.47/2672.32	o 7931221
2480.47/2672.38	o 7931218
2480.56/2672.41	o 7931212
2480.77/2672.62	o 7931128
2482.36/2674.20	o 7931118
2486.80/2680.50	o 7931113
2486.90/2680.66	o 7931109
2487.10/2680.83	o 7931101
2487.10/2680.87	o 7930061
2488.00/2681.75	o 7930029
2488.10/2681.88	o 7929997
2488.80/2682.57	o 7929995
2488.99/2682.77	o 7929979
2505.35/2699.13	o 7929975
2516.63/2711.79	o 7929847
2516.73/2711.80	o 7929840
2516.93/2712.06	o 7929838
2516.93/2712.08	o 7929833
2517.03/2712.11	o 7873606
2517.03/2712.16	o 7873586
2517.21/2712.32	o 7873582
2517.21/2712.35	o 7873568
2517.21/2712.38	o 7833622
2517.21/2712.39	o 7833542
2518.51/2713.61	o 7833540
2518.51/2713.62	o 7833536
2518.51/2713.63	o 7833534
2518.51/2713.65	o 7833510
2518.51/2713.67	o 7833508
2518.51/2713.68	o 7833502
2521.40/2716.53	o 7833494
2540.05/2735.22	o 7833486
2540.15/2735.36	o 7826706
2540.74/2735.95	o 7826694
2540.95/2736.12	o 7826692
2540.95/2736.15	o 7826690
2540.95/2736.17	o 7816450
2555.25/2752.85	o 7816446
2555.25/2752.87	o 7816440
2556.94/2754.57	o 7816438
2557.04/2754.61	o 7816398
2557.94/2755.55	o 7816397
2557.94/2755.57	o 7816390
2559.83/2757.47	o 7731078
2559.83/2757.49	o 7731076
2559.93/2757.51	o 7728516
2559.93/2757.54	o 7728498
2559.93/2757.57	o 7728496
2560.03/2757.61	o 7633264
2562.12/2759.73	o 7633250
2562.22/2759.81	o 7633246
2563.43/2761.04	o 7633242
2563.43/2761.06	o 7633239
2563.43/2761.09	o 7633238
2563.53/2761.12	o 7633227
2563.72/2761.34	o 7633217
2563.72/2761.37	o 7633212
2564.62/2762.20	o 7633209
2564.91/2762.58	o 7616953
2565.01/2762.64	o 7616951
2565.01/2762.68	o 7614903
2565.11/2762.79	o 7614807
2565.21/2762.87	o 7614795
2565.60/2763.29	o 7614747
2565.81/2763.46	o 7614745
2565.91/2763.53	o 7614737
2565.91/2763.56	o 7613713
2566.01/2763.67	o 7613709
2566.11/2763.72	o 7613693
2566.31/2763.98	o 7613689
2566.42/2764.09	o 7613685
2566.80/2764.44	o 7612661
2574.88/2772.51	o 7612629
2575.52/2775.44	o 7546414
2579.01/2778.96	o 7546412
2579.01/2778.99	o 7546399
2580.00/2779.94	o 7546379
2580.11/2780.04	o 7546375
2580.11/2780.09	o 7479815
2581.10/2781.02	o 7394147
2581.10/2781.06	o 7394123
2581.30/2781.20	o 7394111
2581.40/2781.30	o 7394103
2581.40/2781.37	o 7394007
2581.50/2781.40	o 7394006
2581.50/2781.43	o 7394004
2581.50/2781.44	o 7389908
2589.47/2789.43	o 7389900
2605.25/2807.16	o 7389888
2605.25/2807.19	o 7389376
2608.14/2810.09	o 7389374
2608.14/2810.11	o 7389362
2609.14/2811.09	o 7389361
2609.32/2811.20	o 7389360
2609.42/2811.31	o 7389358
2609.42/2811.34	o 7389356
2609.42/2811.35	o 7389354
2609.42/2811.37	o 7389352
2609.53/2811.44	o 7389348
2609.53/2811.46	o 7389340
2634.53/2836.53	o 7389335
2646.74/2850.94	o 7389328
2647.44/2851.60	o 7389072
2648.03/2852.22	o 7389068
2648.95/2853.16	o 7388988
2648.95/2853.19	o 7388908
2650.72/2854.94	o 7382579
2670.15/2875.27	o 7373173
2670.15/2875.28	o 7373163
2670.35/2875.48	o 7373159
2670.55/2875.66	o 7373127
2672.44/2877.51	o 7373107
2672.44/2877.52	o 7373097
2672.44/2877.53	o 7373047
2672.54/2877.66	o 7373039
2672.54/2877.68	o 7373038
2672.64/2877.71	o 7369966
2673.24/2878.38	o 7369965
2673.34/2878.41	o 7369963
2673.54/2878.62	o 7338235
2673.54/2878.63	o 7338195
2673.95/2879.02	o 7338185
2673.95/2879.04	o 7338175
2673.95/2879.07	o 7338173
2674.74/2879.83	o 7338170
2674.74/2879.86	o 7338169
2675.05/2880.15	o 7338167
2676.33/2881.41	o 7338166
2676.33/2881.43	o 7338152
2676.33/2881.45	o 7338151
2677.73/2882.84	o 7280214
2707.63/2913.72	o 7280206
2717.60/2923.72	o 7280190
2717.70/2923.81	o 7280186
2720.79/2926.96	o 7280184
2721.29/2927.44	o 7266744
2721.29/2927.46	o 7265784
2721.38/2927.53	o 7265064
2742.66/2949.33	o 7265034
2776.36/2983.83	o 7264984
2776.36/2983.84	o 7264920
2776.67/2984.13	o 7264916
2776.67/2984.18	o 7264914
2776.75/2984.20	o 7176850
2897.57/3109.70	o 7176738
2897.57/3109.73	o 7176578
2897.77/3109.95	o 7176538
2897.88/3110.09	o 7176534
2898.17/3110.36	o 7176514
2898.77/3110.90	o 7176494
2899.77/3112.00	o 7176493
2899.88/3112.04	o 7176473
2902.87/3115.02	o 7173187
2902.87/3115.05	o 7173176
2902.87/3115.09	o 7173165
2905.86/3118.05	o 7173164
2908.14/3120.34	o 7173160
2910.62/3122.82	o 7173150
2910.62/3122.87	o 7173145
2910.72/3122.94	o 7170865
2910.72/3122.98	o 7170860
2910.72/3123.00	o 7074604
2914.88/3128.80	o 7074602
2914.98/3128.96	o 7074597
2915.20/3129.12	o 7074591
2915.39/3129.39	o 7074561
2916.38/3130.37	o 7074555
2917.37/3131.32	o 7074551
2917.47/3131.44	o 7074550
2918.09/3132.02	o 7070301
2934.92/3148.91	o 7070300
2935.13/3149.19	o 7070295
2935.22/3149.24	o 7070183
2935.22/3149.26	o 7070173
2935.42/3149.40	o 7070165
2935.42/3149.42	o 7070158
2935.72/3149.75	o 7070153
2935.72/3149.77	o 7070149
2935.72/3149.78	o 7070142
2935.82/3149.84	o 7070116
2935.92/3149.96	o 7070028
2936.02/3150.07	o 7070020
2936.21/3150.22	o 7070006
2936.51/3150.59	o 7068214
2937.61/3151.69	o 7068158
2939.12/3153.19	o 7067134
2939.40/3153.40	o 7067133
2939.40/3153.47	o 7067069
2941.29/3155.33	o 7067060
2941.71/3157.08	o 7067059
2942.10/3157.40	o 7067057
2945.58/3160.98	o 7067053
2945.58/3161.01	o 7067051
2945.69/3161.04	o 7067050
2956.84/3172.25	o 7067049
2960.93/3176.31	o 7067045
2963.23/3178.63	o 7067044
2963.23/3178.65	o 7067028
2963.23/3178.66	o 7067026
2963.23/3178.69	o 7067018
2964.32/3179.76	o 7051162
2964.42/3179.81	o 6985724
2964.42/3179.85	o 6985696
2964.42/3179.89	o 6984800
2964.92/3180.36	o 6984799
2965.92/3181.33	o 6984793
2966.31/3181.76	o 6970457
2966.51/3181.98	o 6970443
2967.11/3182.52	o 6970438
2967.11/3182.54	o 6970433
2967.11/3182.56	o 6970428
2967.11/3182.58	o 6970423
2967.21/3182.67	o 6942775
2967.31/3182.76	o 6942767
2967.73/3183.15	o 6940719
2968.62/3184.04	o 6938671
2970.90/3186.35	o 6938662
2971.00/3186.41	o 6938654
2978.37/3194.64	o 6938649
2990.63/3206.99	o 6938648
2990.85/3207.13	o 6938643
2990.85/3207.15	o 6938638
2990.85/3207.17	o 6938628
3061.12/3279.41	o 6938388
3090.69/3317.84	o 6938363
3090.79/3317.95	o 6938358
3090.79/3317.98	o 6938348
3091.00/3318.16	o 6938343
3091.00/3318.17	o 6938058
3091.00/3318.18	o 6938048
3091.00/3318.19	o 6938043
3091.08/3318.20	o 6938038
3091.68/3318.86	o 6937934
3091.68/3318.88	o 6937924
3091.89/3319.09	o 6937868
3092.58/3319.78	o 6937863
3095.24/3350.08	o 6937846
3096.02/3350.82	o 6937843
3096.02/3350.83	o 6937829
3096.62/3351.42	o 6937825
3096.92/3351.77	o 6937813
3096.92/3351.79	o 6937757
3098.11/3352.97	o 6937693
3098.52/3353.37	o 6937689
3098.61/3353.40	o 6937687
3099.22/3354.08	o 6930512
3099.41/3354.25	o 6929488
3099.51/3354.33	o 6928976
3107.20/3362.32	o 6928975
3107.20/3362.37	o 6894479
3107.20/3362.39	o 6894469
3107.40/3362.50	o 6894213
3107.80/3362.92	o 6893765
3107.80/3362.96	o 6893541
3107.91/3363.02	o 6893345
3107.91/3363.05	o 6893331
3107.91/3363.07	o 6893317
3108.01/3363.19	o 6892421
3108.80/3363.95	o 6892413
3111.79/3366.90	o 6825573
3111.90/3367.05	o 6825564
3114.08/3369.23	o 6825550
3114.08/3369.26	o 6825494
3114.18/3369.32	o 6825489
3114.68/3369.83	o 6825461
3114.89/3370.04	o 6825456
3119.26/3374.40	o 6825450
3122.45/3377.67	o 6825442
3128.63/3383.88	o 6825438
3128.73/3383.90	o 6825430
3128.73/3383.91	o 6825374
3128.73/3383.94	o 6825334
3134.71/3389.96	o 6825323
3158.33/3417.52	o 6825321
3158.42/3417.62	o 6825313
3158.42/3417.69	o 6825297
3246.11/3512.95	o 6822737
3279.61/3548.03	o 6822417
3279.72/3548.12	o 6821969
3279.72/3548.18	o 6821745
3279.80/3548.22	o 6821689
3279.80/3548.24	o 6821577
3280.40/3548.81	o 6821549
3280.40/3548.83	o 6821535
3280.40/3548.85	o 6821515
3280.50/3548.95	o 6821501
3280.50/3548.97	o 6821491
3280.50/3548.98	o 6819755
3280.50/3549.00	o 6819713
3280.61/3549.01	o 6805377
3280.61/3549.03	o 6798209
3280.61/3549.04	o 6794625
3281.90/3550.35	o 6794611
3282.09/3550.53	o 6794601
3282.09/3550.55	o 6794596
3282.09/3550.58	o 6690148
3282.60/3551.02	o 6690141
3282.70/3551.18	o 6690137
3282.99/3551.41	o 6690133
3283.19/3551.61	o 6690131
3283.29/3551.76	o 6690123
3283.49/3551.93	o 6690087
3283.82/3552.76	o 6570882
3283.82/3552.79	o 6570861
3283.92/3552.89	o 6570853
3284.02/3552.99	o 6570847
3284.13/3553.10	o 6568799
3284.51/3553.40	o 6568773
3284.51/3553.41	o 6568769
3284.92/3553.81	o 6568737
3284.92/3553.87	o 6568736
3284.92/3553.90	o 6568732
3285.01/3553.91	o 6568724
3285.01/3553.94	o 6568722
3285.22/3554.15	o 6568718
3285.31/3554.20	o 6568590
3285.31/3554.23	o 6568580
3285.31/3554.28	o 6568560
3286.90/3555.89	o 6568544
3287.70/3556.65	o 6552891
3287.90/3556.84	o 6552888
3288.12/3557.11	o 6552872
3288.22/3557.19	o 6552840
3288.30/3557.23	o 6552776
3288.40/3557.30	o 6552760
3290.79/3559.77	o 6552756
3302.85/3571.89	o 6552753
3302.94/3571.93	o 6552750
3303.35/3572.39	o 6526089
3303.45/3572.41	o 6526088
3303.84/3572.86	o 6526085
3304.84/3573.82	o 6526070
3304.94/3573.93	o 6526064
3305.05/3574.02	o 6526057
3313.71/3582.78	o 6469849
3313.81/3582.81	o 6469705
3313.81/3582.84	o 6465097
3314.02/3583.09	o 6465025
3314.21/3583.28	o 6464577
3329.13/3601.63	o 6458433
3335.41/3607.97	o 6458369
3335.62/3608.14	o 6458348
3335.62/3608.20	o 6458321
3335.81/3608.37	o 6458310
3335.81/3608.38	o 6458301
3335.81/3608.39	o 6458269
3335.91/3608.45	o 6458268
3336.91/3609.44	o 6458252
3338.61/3611.12	o 6458251
3357.03/3635.72	o 6457995
3357.53/3636.25	o 6457992
3359.53/3638.28	o 6457991
3359.63/3638.31	o 6457989
3359.63/3638.33	o 6457985
3359.63/3638.38	o 6457953
3360.02/3638.73	o 6457952
3361.02/3639.76	o 6457950
3361.02/3639.78	o 6457944
3361.12/3639.81	o 6457938
3361.12/3639.82	o 6457426
3361.12/3639.87	o 6457298
3361.91/3640.66	o 6457297
3364.42/3643.16	o 6457169
3364.70/3643.47	o 6457157
3364.80/3643.58	o 6457092
3365.21/3643.96	o 6457078
3365.21/3644.00	o 6457064
3366.70/3645.43	o 6457059
3366.70/3645.46	o 6456939
3367.10/3645.80	o 6456930
3367.10/3645.85	o 6456921
3367.20/3645.98	o 6452569
3367.31/3646.11	o 6452562
3374.14/3661.57	o 6452552
3374.24/3661.61	o 6452536
3374.24/3661.66	o 6452472
3374.44/3661.80	o 6452460
3374.44/3661.88	o 6452455
3380.42/3667.83	o 6452446
3404.39/3700.07	c Program interrupted by user.
3404.39/3700.07	s SATISFIABLE
3404.39/3700.07	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

Verifier Data 

OK	6452446

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (60967 MiB free)
  memory of node 1: 64473 MiB (61105 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441030-1721752159/watcher-4441030-1721752159 -o /tmp/evaluation-result-4441030-1721752159/solver-4441030-1721752159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107564 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441030-1721752159 --seed=1289981903 HOME/instance-4441030-1721752159.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100791 s]*
/proc/loadavg: 2.06 2.18 2.17 6/251 107622
/proc/meminfo: memFree=124957848/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=37484 memory=14612 CPUtime=0.08 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 3203 0 0 0 8 0 0 0 20 0 1 0 11205829 38383616 3653 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 9371 3653 884 1006 0 8132 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 37484 KiB
Current children cumulated memory: 14612 KiB

[startup+0.214422 s]*
/proc/loadavg: 2.06 2.18 2.17 5/254 107628
/proc/meminfo: memFree=124874940/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=37484 memory=14612 CPUtime=0.19 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 3207 0 0 0 18 1 0 0 20 0 1 0 11205829 38383616 3653 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 9371 3653 884 1006 0 8132 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 37484 KiB
Current children cumulated memory: 14612 KiB

[startup+0.314014 s]*
/proc/loadavg: 2.06 2.18 2.17 6/254 107628
/proc/meminfo: memFree=124826316/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=37484 memory=14612 CPUtime=0.29 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 3211 0 0 0 27 2 0 0 20 0 1 0 11205829 38383616 3653 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 9371 3653 884 1006 0 8132 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37484 KiB
Current children cumulated memory: 14612 KiB

[startup+0.700317 s]
/proc/loadavg: 2.06 2.18 2.17 6/254 107628
/proc/meminfo: memFree=124768704/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=39472 memory=16576 CPUtime=0.66 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 3700 0 0 0 62 4 0 0 20 0 1 0 11205829 40419328 4144 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 9868 4144 915 1006 0 8629 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 39472 KiB
Current children cumulated memory: 16576 KiB

[startup+1.50031 s]
/proc/loadavg: 2.06 2.18 2.17 6/254 107628
/proc/meminfo: memFree=124686560/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=48552 memory=25936 CPUtime=1.46 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 6241 0 0 0 138 8 0 0 20 0 1 0 11205829 49717248 6484 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 12138 6484 1139 1006 0 10899 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 48552 KiB
Current children cumulated memory: 25936 KiB

[startup+3.11415 s]
/proc/loadavg: 2.06 2.18 2.17 6/254 107630
/proc/meminfo: memFree=124363212/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=69576 memory=54548 CPUtime=3.07 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 11930 0 0 0 295 12 0 0 20 0 1 0 11205829 71245824 13637 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 17394 13637 1155 1006 0 16155 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 69576 KiB
Current children cumulated memory: 54548 KiB

[startup+6.3003 s]
/proc/loadavg: 2.29 2.23 2.19 5/254 107630
/proc/meminfo: memFree=123994756/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=76456 memory=66976 CPUtime=6.25 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 13515 0 0 0 609 16 0 0 20 0 1 0 11205829 78290944 16744 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 19114 16744 1155 1006 0 17875 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 76456 KiB
Current children cumulated memory: 66976 KiB

[startup+12.7003 s]
/proc/loadavg: 2.43 2.26 2.20 6/257 107634
/proc/meminfo: memFree=123379568/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=100392 memory=92260 CPUtime=12.36 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 17018 0 0 0 1211 25 0 0 20 0 1 0 11205829 102801408 23065 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 25098 23065 1155 1006 0 23859 0
Current children cumulated CPU time: 12.36 s
Current children cumulated vsize: 100392 KiB
Current children cumulated memory: 92260 KiB

[startup+25.5003 s]
/proc/loadavg: 2.78 2.34 2.23 6/257 107636
/proc/meminfo: memFree=121912852/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=142824 memory=123448 CPUtime=25.11 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 22165 0 0 0 2476 35 0 0 20 0 1 0 11205829 146251776 30862 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 35706 30862 1155 1006 0 34467 0
Current children cumulated CPU time: 25.11 s
Current children cumulated vsize: 142824 KiB
Current children cumulated memory: 123448 KiB

[startup+51.1139 s]
/proc/loadavg: 3.20 2.48 2.28 6/254 107642
/proc/meminfo: memFree=119373072/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=311948 memory=240636 CPUtime=49.94 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 32185 0 0 0 4935 59 0 0 20 0 1 0 11205829 319434752 60159 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 96 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 77987 60159 1155 1006 0 76748 0
Current children cumulated CPU time: 49.94 s
Current children cumulated vsize: 311948 KiB
Current children cumulated memory: 240636 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 2.92 2.44 6/256 107710
/proc/meminfo: memFree=114461996/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=331284 memory=294828 CPUtime=100.12 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 36149 0 0 0 9918 94 0 0 20 0 1 0 11205829 339234816 73707 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 179 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 82821 73707 1155 1006 0 81582 0
Current children cumulated CPU time: 100.12 s
Current children cumulated vsize: 331284 KiB
Current children cumulated memory: 294828 KiB

[startup+162.3 s]
/proc/loadavg: 4.68 3.28 2.60 6/256 107722
/proc/meminfo: memFree=110718360/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=375644 memory=352164 CPUtime=157.54 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 41377 0 0 0 15588 166 0 0 20 0 1 0 11205829 384659456 88041 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 417 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 93911 88041 1155 1006 0 92672 0
Current children cumulated CPU time: 157.54 s
Current children cumulated vsize: 375644 KiB
Current children cumulated memory: 352164 KiB

[startup+222.3 s]
/proc/loadavg: 4.40 3.46 2.70 6/252 107732
/proc/meminfo: memFree=106925668/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=375644 memory=352368 CPUtime=212.45 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 41423 0 0 0 21016 229 0 0 20 0 1 0 11205829 384659456 88092 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 905 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 93911 88092 1155 1006 0 92672 0
Current children cumulated CPU time: 212.45 s
Current children cumulated vsize: 375644 KiB
Current children cumulated memory: 352368 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 3.57 2.79 6/251 107743
/proc/meminfo: memFree=102746624/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=376344 memory=356536 CPUtime=264.18 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 41692 0 0 0 26122 296 0 0 20 0 1 0 11205829 385376256 89134 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1714 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 94086 89134 1155 1006 0 92847 0
Current children cumulated CPU time: 264.18 s
Current children cumulated vsize: 376344 KiB
Current children cumulated memory: 356536 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.67 2.87 6/253 107755
/proc/meminfo: memFree=99134264/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=376344 memory=359900 CPUtime=319.11 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 41808 0 0 0 31545 366 0 0 20 0 1 0 11205829 385376256 89975 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2201 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 94086 89975 1155 1006 0 92847 0
Current children cumulated CPU time: 319.11 s
Current children cumulated vsize: 376344 KiB
Current children cumulated memory: 359900 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.76 2.96 6/251 107766
/proc/meminfo: memFree=94735688/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=376344 memory=360808 CPUtime=374.24 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 41937 0 0 0 36978 446 0 0 20 0 1 0 11205829 385376256 90202 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2668 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 94086 90202 1155 1006 0 92847 0
Current children cumulated CPU time: 374.24 s
Current children cumulated vsize: 376344 KiB
Current children cumulated memory: 360808 KiB

[startup+462.3 s]
/proc/loadavg: 4.32 3.87 3.05 6/257 107785
/proc/meminfo: memFree=89202676/131655788 swapFree=131071996/131071996
[pid=107604] ppid=107599 vsize=376760 memory=361224 CPUtime=429.44 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 42192 0 0 0 42380 564 0 0 20 0 1 0 11205829 385802240 90306 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3129 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 94190 90306 1155 1006 0 92951 0

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


[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.10 6/275 108967
/proc/meminfo: memFree=547776/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=414656 memory=405252 CPUtime=2946.98 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 58652 0 0 0 290440 4258 0 0 20 0 1 0 11205829 424607744 101313 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 20508 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 103664 101313 1155 1006 0 102425 0
Current children cumulated CPU time: 2946.98 s
Current children cumulated vsize: 414656 KiB
Current children cumulated memory: 405252 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.10 6/273 108977
/proc/meminfo: memFree=533696/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=414656 memory=405260 CPUtime=3005.29 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 58804 0 0 0 296171 4358 0 0 20 0 1 0 11205829 424607744 101315 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 20657 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 103664 101315 1155 1006 0 102425 0
Current children cumulated CPU time: 3005.29 s
Current children cumulated vsize: 414656 KiB
Current children cumulated memory: 405260 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.10 6/268 108989
/proc/meminfo: memFree=638272/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=414656 memory=405260 CPUtime=3064.02 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 58965 0 0 0 301952 4450 0 0 20 0 1 0 11205829 424607744 101315 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 20763 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 103664 101315 1155 1006 0 102425 0
Current children cumulated CPU time: 3064.02 s
Current children cumulated vsize: 414656 KiB
Current children cumulated memory: 405260 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.09 3/264 109000
/proc/meminfo: memFree=573152/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=414656 memory=405260 CPUtime=3092.96 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) D 107599 107604 107554 0 -1 4194304 59075 0 0 0 304796 4500 0 0 20 0 1 0 11205829 424607744 101315 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 21636 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 103664 101315 1155 1006 0 102425 0
Current children cumulated CPU time: 3092.96 s
Current children cumulated vsize: 414656 KiB
Current children cumulated memory: 405260 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.17 4.10 6/260 109393
/proc/meminfo: memFree=565628/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=415764 memory=406376 CPUtime=3143.18 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 59501 0 0 0 309744 4574 0 0 20 0 1 0 11205829 425742336 101594 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24820 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 103941 101594 1155 1006 0 102702 0
Current children cumulated CPU time: 3143.18 s
Current children cumulated vsize: 415764 KiB
Current children cumulated memory: 406376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.18 4.11 6/268 109412
/proc/meminfo: memFree=564384/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=415764 memory=406376 CPUtime=3197.53 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 59654 0 0 0 315095 4658 0 0 20 0 1 0 11205829 425742336 101594 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25367 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 103941 101594 1155 1006 0 102702 0
Current children cumulated CPU time: 3197.53 s
Current children cumulated vsize: 415764 KiB
Current children cumulated memory: 406376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.21 4.12 7/265 109424
/proc/meminfo: memFree=624256/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=415764 memory=406376 CPUtime=3253.99 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 59787 0 0 0 320647 4752 0 0 20 0 1 0 11205829 425742336 101594 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25700 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 103941 101594 1155 1006 0 102702 0
Current children cumulated CPU time: 3253.99 s
Current children cumulated vsize: 415764 KiB
Current children cumulated memory: 406376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.27 4.20 4.12 6/266 109603
/proc/meminfo: memFree=599048/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=416076 memory=406500 CPUtime=3313.3 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 59921 0 0 0 326487 4843 0 0 20 0 1 0 11205829 426061824 101625 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25747 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 104019 101625 1155 1006 0 102780 0
Current children cumulated CPU time: 3313.3 s
Current children cumulated vsize: 416076 KiB
Current children cumulated memory: 406500 KiB

[startup+3642.3 s]
/proc/loadavg: 4.20 4.20 4.12 6/270 109618
/proc/meminfo: memFree=493920/131655788 swapFree=131071728/131071996
[pid=107604] ppid=107599 vsize=416076 memory=406700 CPUtime=3363.61 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 60061 0 0 0 331442 4919 0 0 20 0 1 0 11205829 426061824 101675 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 26700 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 104019 101675 1155 1006 0 102780 0
Current children cumulated CPU time: 3363.61 s
Current children cumulated vsize: 416076 KiB
Current children cumulated memory: 406700 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.11 4.17 4.11 6/269 109683
/proc/meminfo: memFree=693908/131655788 swapFree=131071472/131071996
[pid=107604] ppid=107599 vsize=416076 memory=406700 CPUtime=3404.39 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) R 107599 107604 107554 0 -1 4194304 60204 0 0 0 335467 4972 0 0 20 0 1 0 11205829 426061824 101675 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 28378 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 104019 101675 1155 1006 0 102780 0
Current children cumulated CPU time: 3404.39 s
Current children cumulated vsize: 416076 KiB
Current children cumulated memory: 406700 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.11 4.17 4.11 2/271 109686
/proc/meminfo: memFree=2863948/131655788 swapFree=131071472/131071996
[pid=107604] ppid=107599 vsize=246604 memory=242148 CPUtime=3404.43 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) D 107599 107604 107554 0 -1 4194304 60205 0 1 0 335469 4974 0 0 20 0 1 0 11205829 252522496 60537 134679101440 4194304 8311665 140729005069680 0 0 256 0 0 8404994 0 0 0 17 0 0 0 28754 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 61651 60537 1170 1006 0 60412 0
??? kill 107604 sig 9
??? end of watcher thread

[startup+3705.88 s]
# the end of solver process 107604 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3354.69 s, system=49.7784 s

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

[startup+3700.8 s]
/proc/loadavg: 4.11 4.17 4.11 6/269 109683
/proc/meminfo: memFree=693908/131655788 swapFree=131071472/131071996
[pid=107604] ppid=107599 vsize=246604 memory=242148 CPUtime=3404.43 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) D 107599 107604 107554 0 -1 4194304 60205 0 1 0 335469 4974 0 0 20 0 1 0 11205829 252522496 60537 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 0 0 0 28516 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 61651 60537 1170 1006 0 60412 0
Current children cumulated CPU time: 3404.43 s
Current children cumulated vsize: 246604 KiB
Current children cumulated memory: 242148 KiB

[startup+3701.6 s]
/proc/loadavg: 4.11 4.17 4.11 2/271 109685
/proc/meminfo: memFree=2863620/131655788 swapFree=131071472/131071996
[pid=107604] ppid=107599 vsize=246604 memory=242148 CPUtime=3404.43 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) D 107599 107604 107554 0 -1 4194304 60205 0 1 0 335469 4974 0 0 20 0 1 0 11205829 252522496 60537 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 2 0 0 28673 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 61651 60537 1170 1006 0 60412 0
Current children cumulated CPU time: 3404.43 s
Current children cumulated vsize: 246604 KiB
Current children cumulated memory: 242148 KiB

[startup+3702 s]*
/proc/loadavg: 4.11 4.17 4.11 2/271 109686
/proc/meminfo: memFree=2864588/131655788 swapFree=131071472/131071996
[pid=107604] ppid=107599 vsize=246604 memory=242148 CPUtime=3404.43 cores=0,2
/proc/107604/stat : 107604 (Exact_veripb2) D 107599 107604 107554 0 -1 4194304 60205 0 1 0 335469 4974 0 0 20 0 1 0 11205829 252522496 60537 134679101440 4194304 8311665 140729005069680 0 0 0 0 0 8404994 0 0 0 17 2 0 0 28749 0 0 9173656 9252184 44625920 140729005073224 140729005073504 140729005073504 140729005080519 0
/proc/107604/statm: 61651 60537 1170 1006 0 60412 0
Current children cumulated CPU time: 3404.43 s
Current children cumulated vsize: 246604 KiB
Current children cumulated memory: 242148 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3705.88
CPU time (s): 3404.47
CPU user time (s): 3354.69
CPU system time (s): 49.7784
CPU usage (%): 91.8667
Max. virtual memory (cumulated for all children) (KiB): 416076
Max. memory (cumulated for all children) (KiB): 406700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3354.69
system time used= 49.7784
maximum resident set size= 406700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60205
page faults= 1
swaps= 0
block input operations= 2824
block output operations= 162433456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6032
involuntary context switches= 24154


# summary of solver processes directly reported to runsolver:
#   pid: 107604
#   total CPU time (s): 3404.47
#   total CPU user time (s): 3354.69
#   total CPU system time (s): 49.7784

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2192 second user time and 41.7826 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-23 18:29:20
IDJOB=4441030
IDBENCH=146763
IDSOLVER=3081
FILE ID=nodeC009/4441030-1721752159
RUNJOBID= nodeC009-1721752159-107564
SLURM_JOB_ID= 7770655
Free space on /tmp= 723768 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441030-1721752159/watcher-4441030-1721752159 -o /tmp/evaluation-result-4441030-1721752159/solver-4441030-1721752159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107564 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441030-1721752159 --seed=1289981903 HOME/instance-4441030-1721752159.opb

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

MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4
RANDOM SEED=1289981903

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125007788 kB
MemAvailable:   129919012 kB
Buffers:          173268 kB
Cached:          5517276 kB
SwapCached:            0 kB
Active:          1089432 kB
Inactive:        4942228 kB
Active(anon):       1344 kB
Inactive(anon):   378156 kB
Active(file):    1088088 kB
Inactive(file):  4564072 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18796 kB
Writeback:             4 kB
AnonPages:        336988 kB
Mapped:           102272 kB
Shmem:             37704 kB
KReclaimable:     198528 kB
Slab:             301040 kB
SReclaimable:     198528 kB
SUnreclaim:       102512 kB
KernelStack:        3760 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     624508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      285512 kB
DirectMap2M:    27930624 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC009 at 2024-07-23 19:31:06