Trace number 4441029

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)5313536 3451.51 3706.36

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM6ea30ee5c980a208725b42ec6ced88d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4372480
Best CPU time to get the best result obtained on this benchmark2892.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8060
Total number of constraints296
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 constraints296
Minimum length of a constraint31
Maximum length of a constraint780
Number of terms in the objective function 8060
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 1599918681646
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 1599918681646
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 

1.17/1.21	o 32374858
2.08/2.13	o 32307274
2.08/2.13	o 32183370
2.08/2.13	o 31998026
2.08/2.14	o 31858762
2.08/2.14	o 31676490
2.08/2.15	o 31511626
2.08/2.15	o 31330378
2.08/2.15	o 31085642
2.08/2.16	o 30859338
2.08/2.16	o 30704714
2.08/2.17	o 30451786
2.08/2.17	o 30195786
2.08/2.17	o 30086218
2.08/2.18	o 29822026
2.08/2.18	o 29625418
2.08/2.18	o 29377610
2.08/2.19	o 29300810
2.08/2.19	o 29209674
2.16/2.20	o 28993610
2.27/2.30	o 28934602
2.27/2.31	o 28849610
2.27/2.34	o 28849608
2.37/2.40	o 28717512
2.37/2.41	o 28598728
2.37/2.42	o 28449224
2.37/2.43	o 28316104
2.37/2.43	o 28230088
2.37/2.43	o 28102088
2.37/2.44	o 27926984
2.37/2.44	o 27746760
2.37/2.45	o 27514312
2.37/2.46	o 27352520
2.37/2.46	o 27167176
2.37/2.47	o 26982856
2.37/2.47	o 26871240
2.37/2.48	o 26684872
2.37/2.48	o 26470856
2.37/2.48	o 26351048
2.37/2.49	o 26096072
2.37/2.49	o 25916872
2.37/2.50	o 25839048
2.47/2.50	o 25654728
2.47/2.50	o 25517512
2.47/2.51	o 25337288
2.47/2.51	o 25141704
2.47/2.51	o 25030088
2.47/2.52	o 24852936
2.47/2.52	o 24629704
2.47/2.53	o 24509896
2.47/2.53	o 24248776
2.47/2.53	o 24126920
2.47/2.54	o 23967176
2.47/2.55	o 23967146
2.47/2.56	o 23967142
2.56/2.61	o 23833094
2.56/2.65	o 23833022
2.56/2.68	o 23833017
2.66/2.70	o 23833016
2.66/2.74	o 23723826
2.66/2.75	o 23723823
2.66/2.77	o 23723820
3.08/3.12	o 23723308
4.97/5.07	o 23723276
4.97/5.08	o 23723274
5.07/5.15	o 23723270
5.07/5.19	o 23723262
5.16/5.20	o 23723246
5.16/5.22	o 23723230
5.36/5.49	o 23723224
5.55/5.61	o 23634258
5.65/5.75	o 23634226
5.85/5.96	o 23630266
5.85/5.98	o 23630252
5.85/6.01	o 23630236
5.96/6.03	o 23630232
5.96/6.09	o 23630228
6.07/6.12	o 23630224
6.07/6.17	o 23630064
6.16/6.20	o 23630063
6.16/6.23	o 23554287
6.16/6.28	o 23515375
6.25/6.35	o 23465071
6.35/6.41	o 23465070
6.35/6.42	o 23464558
6.35/6.46	o 23464302
6.45/6.52	o 23464272
6.45/6.54	o 23464270
6.45/6.59	o 23464262
6.55/6.62	o 23464134
6.55/6.67	o 23444134
6.66/6.71	o 23444070
6.85/6.98	o 23428982
7.06/7.15	o 23428975
7.46/7.53	o 23428971
25.80/26.20	o 23428959
25.80/26.28	o 23428855
26.00/26.41	o 23428847
26.31/26.79	o 23428841
26.41/26.88	o 23428840
26.51/26.94	o 23428838
26.51/27.01	o 23428070
26.90/27.36	o 23428006
27.00/27.43	o 23427974
27.10/27.50	o 23209862
27.61/28.01	o 23208838
27.61/28.07	o 23054214
27.90/28.35	o 22952800
28.20/28.61	o 22952799
28.30/28.71	o 22952796
28.40/28.82	o 22952284
28.50/28.94	o 22952280
28.50/29.00	o 22952279
28.71/29.16	o 22788439
28.90/29.36	o 22788438
29.09/29.52	o 22788436
29.20/29.60	o 22788435
29.20/29.64	o 22788434
29.39/29.86	o 22788432
29.49/29.91	o 22788431
29.49/29.94	o 22788430
29.71/30.12	o 22788422
29.71/30.17	o 22788416
29.79/30.22	o 22788415
29.79/30.26	o 22788414
29.89/30.39	o 22788410
32.29/32.74	o 22788330
32.29/32.77	o 22788324
32.29/32.79	o 22788312
32.49/32.93	o 22788311
32.49/32.98	o 22788310
32.60/33.07	o 22788278
32.60/33.10	o 22595766
33.48/33.96	o 22536082
33.59/34.07	o 22536081
33.59/34.10	o 22536076
33.88/34.38	o 22536073
33.98/34.42	o 22536070
34.60/35.08	o 22536069
34.70/35.16	o 22536063
35.07/35.51	o 22536062
35.27/35.72	o 22529918
37.47/37.93	o 22525022
37.47/37.96	o 22525007
37.47/38.00	o 22525002
37.87/38.35	o 22524874
37.87/38.38	o 22524872
38.06/38.60	o 22524744
38.27/38.75	o 22521672
38.37/38.82	o 22516552
38.58/39.08	o 22516549
38.87/39.35	o 22488629
39.06/39.57	o 22488597
39.16/39.63	o 22488581
39.36/39.88	o 22488549
39.76/40.23	o 22488533
39.86/40.35	o 22488517
39.96/40.46	o 22488512
40.06/40.53	o 22354552
40.06/40.57	o 22354168
40.16/40.61	o 22354124
40.16/40.65	o 22354120
40.26/40.78	o 22353096
40.46/40.98	o 22336712
40.57/41.10	o 22336707
40.68/41.14	o 22336706
41.71/42.89	o 22260482
42.11/43.26	o 22260479
42.21/43.35	o 22260477
42.31/43.40	o 22260475
42.41/43.55	o 22260474
42.51/43.68	o 22260472
42.61/43.76	o 22260471
42.71/43.81	o 22260468
43.02/44.18	o 22191157
43.11/44.22	o 22084661
43.21/44.35	o 22042597
43.31/44.45	o 22036453
43.31/44.47	o 22030309
43.60/44.72	o 22014949
43.70/44.82	o 22014948
43.70/44.86	o 22014942
43.91/45.01	o 21895147
43.91/45.09	o 21895142
44.51/45.62	o 21894950
44.70/45.87	o 21893926
44.92/46.11	o 21893925
45.10/46.22	o 21893637
45.20/46.31	o 21893452
45.20/46.36	o 21893420
46.10/47.26	o 21893416
46.20/47.34	o 21845478
46.20/47.39	o 21752294
46.30/47.44	o 21703304
46.30/47.49	o 21703300
46.69/47.83	o 21703296
46.79/47.95	o 21703294
46.91/48.04	o 21703293
47.10/48.23	o 21629565
47.30/48.40	o 21626507
47.30/48.45	o 21614219
47.40/48.50	o 21613831
47.40/48.54	o 21613703
48.70/49.89	o 21559131
48.91/50.08	o 21559127
49.09/50.24	o 21559117
49.28/50.46	o 21559053
50.18/51.32	o 21558805
50.28/51.41	o 21558677
50.38/51.50	o 21558613
50.38/51.57	o 21558421
50.48/51.63	o 21558325
50.58/51.70	o 21558301
50.68/51.85	o 21557277
51.78/52.96	o 21439241
51.90/53.10	o 21439185
52.00/53.15	o 21372625
53.89/55.09	o 21372624
55.47/56.66	o 21372623
55.57/56.75	o 21372622
55.67/56.84	o 21372619
55.77/57.00	o 21372427
56.17/57.36	o 21257739
56.77/57.97	o 21257452
56.89/58.05	o 21257432
56.99/58.13	o 21257431
57.27/58.41	o 21257426
61.55/62.73	o 21257425
61.66/62.83	o 21254865
61.87/63.08	o 21253585
61.97/63.19	o 21158353
68.64/69.81	o 21158345
68.64/69.85	o 20942281
70.13/71.30	o 20822395
70.13/71.39	o 20822394
70.23/71.43	o 20822389
73.37/75.68	o 20822388
73.67/75.90	o 20822386
73.67/75.98	o 20822384
73.98/76.29	o 20822380
74.57/76.85	o 20772934
74.67/76.90	o 20772870
74.67/76.93	o 20772806
75.17/77.46	o 20772166
76.17/78.45	o 20772150
76.17/78.49	o 20772148
76.27/78.54	o 20772146
76.27/78.57	o 20772144
76.37/78.61	o 20772142
76.67/78.92	o 20772126
77.17/79.45	o 20772125
77.27/79.50	o 20772123
77.27/79.55	o 20772119
77.37/79.63	o 20772115
77.56/79.80	o 20772051
90.74/93.07	o 20772047
90.84/93.14	o 20759759
92.03/94.36	o 20744321
92.03/94.37	o 20670593
92.13/94.49	o 20670579
96.32/98.68	o 20628967
96.92/99.23	o 20628966
97.32/99.68	o 20628965
97.42/99.72	o 20628961
97.51/99.88	o 20448768
97.73/100.02	o 20448750
97.73/100.04	o 20448748
98.22/100.59	o 20448746
98.32/100.62	o 20448744
98.32/100.64	o 20448742
98.32/100.67	o 20448734
98.42/100.71	o 20448606
98.42/100.75	o 20448542
98.91/101.29	o 20448539
99.01/101.34	o 20448537
99.11/101.49	o 20339037
99.21/101.55	o 20218205
99.31/101.67	o 20218199
99.41/101.76	o 20218198
99.41/101.79	o 20218070
99.61/101.91	o 20218064
99.72/102.03	o 20218058
99.82/102.15	o 20003208
99.82/102.18	o 20003203
99.91/102.22	o 20003197
99.91/102.25	o 20003196
100.01/102.30	o 20003192
100.01/102.39	o 20003191
100.11/102.43	o 20000143
100.11/102.49	o 20000137
100.21/102.51	o 20000131
100.21/102.53	o 20000125
100.21/102.55	o 20000119
100.21/102.58	o 20000077
100.31/102.60	o 20000069
100.31/102.63	o 20000065
100.31/102.65	o 20000063
100.31/102.69	o 20000039
100.41/102.77	o 19995943
100.41/102.80	o 19995847
100.51/102.87	o 19995655
101.10/103.41	o 19995559
101.10/103.45	o 19995537
101.10/103.48	o 19995519
101.21/103.52	o 19977087
101.21/103.55	o 19967871
101.61/103.92	o 19865471
101.72/104.02	o 19838815
104.49/108.34	o 19838813
104.59/108.43	o 19838797
104.89/108.75	o 19838794
104.89/108.79	o 19838793
104.99/108.88	o 19838766
105.09/108.91	o 19838765
105.49/109.32	o 19838763
105.59/109.49	o 19838762
105.79/109.64	o 19802230
105.89/109.71	o 19802214
105.99/109.90	o 19802210
106.20/110.07	o 19801442
106.30/110.16	o 19801440
106.39/110.21	o 19801436
106.39/110.25	o 19797340
106.79/110.69	o 19796828
106.99/110.81	o 19593067
107.69/111.52	o 19593062
107.79/111.61	o 19593058
107.99/111.87	o 19593056
108.58/112.40	o 19574964
108.58/112.46	o 19574957
108.68/112.53	o 19574955
108.68/112.58	o 19574953
109.09/112.94	o 19574951
109.20/113.02	o 19414264
109.20/113.05	o 19319032
109.39/113.30	o 19310840
109.59/113.42	o 19310839
109.68/113.51	o 19310838
109.68/113.57	o 19310836
109.78/113.67	o 19310835
109.98/113.87	o 19310833
110.19/114.06	o 19228777
110.29/114.16	o 19228745
110.38/114.23	o 19222601
110.48/114.35	o 19222553
111.07/114.98	o 19222493
111.38/115.23	o 19219421
111.58/115.45	o 19219420
118.36/122.25	o 19216348
118.36/122.26	o 19216220
118.36/122.29	o 19216156
118.46/122.34	o 19216152
118.46/122.36	o 19075864
118.56/122.45	o 18936964
118.66/122.54	o 18936948
118.76/122.60	o 18936945
118.86/122.78	o 18936881
118.96/122.80	o 18780703
119.56/123.45	o 18780698
119.56/123.46	o 18780695
119.56/123.48	o 18780691
119.66/123.50	o 18780690
119.76/123.62	o 18780626
119.85/123.73	o 18780625
119.95/123.83	o 18780621
119.95/123.86	o 18748300
120.27/124.19	o 18747276
120.56/124.40	o 18747268
120.66/124.55	o 18747262
121.17/125.02	o 18734974
121.55/125.41	o 18730878
122.05/125.93	o 18730876
122.05/125.96	o 18730866
122.16/126.03	o 18730865
122.16/126.06	o 18730864
122.26/126.17	o 18632722
122.35/126.20	o 18632714
122.66/126.56	o 18632710
122.66/126.59	o 18632707
122.75/126.68	o 18632702
122.85/126.75	o 18632698
122.85/126.78	o 18632695
122.95/126.80	o 18632686
122.95/126.85	o 18632685
123.05/126.92	o 18632429
123.16/127.03	o 18632397
123.16/127.06	o 18632389
123.26/127.17	o 18632357
123.35/127.26	o 18632261
123.45/127.30	o 18632245
123.45/127.35	o 18632243
123.45/127.39	o 18632223
123.55/127.45	o 18632207
123.84/127.79	o 18632205
124.04/127.90	o 18632203
124.04/127.94	o 18632201
124.26/128.11	o 18631177
124.35/128.25	o 18629641
124.45/128.38	o 18629601
124.55/128.41	o 18629593
124.55/128.44	o 18629588
124.55/128.47	o 18629580
127.04/131.01	o 18629576
129.15/133.10	o 18629448
129.25/133.15	o 18629444
129.53/133.41	o 18629380
134.86/140.16	o 18629376
142.74/148.07	o 18629375
142.74/148.08	o 18628351
142.84/148.15	o 18628319
142.93/148.23	o 18628315
143.03/148.33	o 18628123
143.03/148.34	o 18627931
143.03/148.37	o 18621787
143.23/148.53	o 18564443
144.13/149.43	o 18564419
144.52/149.80	o 18564407
144.52/149.84	o 18564375
144.52/149.86	o 18564367
144.62/149.95	o 18511519
144.62/149.96	o 18511507
144.74/150.06	o 18510995
144.83/150.13	o 18510963
144.83/150.15	o 18392180
144.83/150.17	o 18338932
144.92/150.21	o 18312318
144.92/150.25	o 18311806
145.03/150.39	o 18269852
145.13/150.45	o 18269850
145.22/150.57	o 18263706
145.32/150.63	o 18263642
146.02/151.35	o 18263610
146.12/151.41	o 18263604
146.32/151.69	o 18240340
146.42/151.73	o 18239316
146.42/151.78	o 18239314
146.42/151.79	o 18239310
146.52/151.81	o 18239308
146.52/151.83	o 18239276
146.52/151.85	o 18239260
146.52/151.88	o 18239252
146.63/151.90	o 18229578
146.63/152.00	o 18218812
146.83/152.19	o 18218808
146.92/152.21	o 18218804
146.92/152.29	o 18218548
147.12/152.44	o 18218500
147.12/152.49	o 18218473
147.22/152.54	o 18218337
147.22/152.56	o 18218335
147.22/152.59	o 18218334
147.31/152.61	o 18218330
147.62/152.94	o 18218328
147.73/153.04	o 18096475
147.73/153.06	o 18096474
147.83/153.13	o 18096473
147.83/153.20	o 18096472
147.92/153.27	o 18095704
147.92/153.29	o 18095696
148.02/153.32	o 18095695
148.02/153.36	o 18095503
148.02/153.38	o 18095375
148.11/153.44	o 18095343
148.42/153.78	o 18095331
148.83/154.18	o 18095327
148.91/154.26	o 17987116
149.83/155.14	o 17986732
150.52/155.85	o 17952234
150.52/155.89	o 17952231
150.62/155.92	o 17952230
150.62/155.95	o 17952222
150.73/156.02	o 17951710
150.73/156.07	o 17951326
150.83/156.11	o 17951314
150.91/156.20	o 17951311
163.02/170.18	o 17951310
163.02/170.20	o 17951300
163.11/170.28	o 17949508
163.21/170.38	o 17949492
163.31/170.48	o 17835828
163.41/170.53	o 17829684
163.50/170.68	o 17829620
163.60/170.73	o 17829616
163.70/170.87	o 17829608
163.80/170.99	o 17829602
163.92/171.01	o 17782306
163.92/171.03	o 17782242
163.92/171.04	o 17654344
166.69/173.80	o 17654296
166.79/173.97	o 17636361
166.91/174.04	o 17636356
166.91/174.06	o 17636355
166.91/174.09	o 17636331
169.59/176.74	o 17636323
169.79/176.91	o 17636319
169.90/177.03	o 17635775
169.90/177.07	o 17635727
169.90/177.09	o 17635703
170.00/177.14	o 17555111
170.08/177.26	o 17554087
170.18/177.30	o 17554059
170.28/177.47	o 17553937
170.28/177.49	o 17553930
170.69/177.85	o 17553918
170.79/177.96	o 17553916
170.79/177.99	o 17553904
170.90/178.05	o 17553840
171.00/178.14	o 17552816
171.00/178.18	o 17552808
171.09/178.23	o 17552744
171.19/178.32	o 17552743
171.19/178.34	o 17552741
171.19/178.40	o 17550693
171.28/178.44	o 17470393
171.28/178.47	o 17470391
171.38/178.50	o 17247159
171.38/178.58	o 17101157
171.90/179.10	o 17101153
172.89/180.09	o 17099105
173.18/180.39	o 17099057
173.48/180.60	o 17092913
173.48/180.64	o 17092897
173.48/180.66	o 17092887
173.78/180.91	o 17092885
174.67/181.85	o 17092875
175.98/183.19	o 17056429
176.07/183.23	o 17054893
176.07/183.28	o 17053357
176.17/183.39	o 17053355
176.37/183.50	o 17053344
176.37/183.53	o 17053339
176.67/183.84	o 17050267
176.78/183.98	o 17044123
176.89/184.03	o 17027739
177.37/184.52	o 17026715
177.67/184.83	o 17026203
177.67/184.89	o 17026197
177.77/184.98	o 17026190
177.88/185.01	o 17026187
177.88/185.04	o 17026179
177.88/185.07	o 17026176
178.07/185.22	o 17017984
178.88/186.10	o 17017960
179.06/186.29	o 17017924
179.36/186.56	o 17017908
179.57/186.77	o 17017906
179.67/186.88	o 17017898
179.77/186.96	o 17017896
180.36/187.51	o 17016260
180.36/187.59	o 17016259
180.87/188.04	o 17014723
181.76/188.97	o 17014339
181.87/189.09	o 16940628
182.36/189.58	o 16940564
184.45/191.62	o 16939988
184.45/191.69	o 16939976
184.55/191.76	o 16939752
184.97/192.17	o 16939699
185.05/192.24	o 16939696
185.05/192.30	o 16939693
185.25/192.46	o 16939597
185.35/192.56	o 16939573
185.45/192.66	o 16939381
188.14/195.34	o 16939378
193.77/204.17	o 16938994
193.86/204.22	o 16938991
193.86/204.24	o 16938988
193.86/204.25	o 16938976
193.86/204.26	o 16938952
193.86/204.27	o 16938949
193.86/204.28	o 16938946
193.95/204.32	o 16938758
193.95/204.34	o 16938757
193.95/204.34	o 16938756
193.95/204.36	o 16860932
193.95/204.37	o 16856838
194.55/204.95	o 16855814
194.55/204.97	o 16855813
194.55/204.99	o 16855809
199.14/209.54	o 16855807
210.02/220.40	o 16854783
210.02/220.42	o 16854767
210.02/220.47	o 16854575
210.12/220.54	o 16854574
210.22/220.65	o 16854510
210.51/220.96	o 16830454
210.62/221.05	o 16681248
211.31/221.72	o 16681224
211.31/221.74	o 16681128
211.31/221.78	o 16681122
211.51/221.93	o 16640027
211.51/221.95	o 16640026
211.81/222.21	o 16610339
211.81/222.24	o 16610333
211.92/222.33	o 16610330
211.92/222.35	o 16610329
212.02/222.44	o 16589844
212.02/222.46	o 16589841
212.02/222.48	o 16589837
212.31/222.75	o 16589829
212.31/222.77	o 16589826
212.31/222.79	o 16589825
212.41/222.82	o 16589822
212.41/222.83	o 16585729
212.41/222.88	o 16585345
212.41/222.89	o 16411265
212.62/223.03	o 16396325
212.62/223.07	o 16275573
212.62/223.09	o 16275570
212.62/223.11	o 16272498
212.72/223.12	o 16270962
212.72/223.13	o 16270194
212.72/223.16	o 16269810
212.72/223.18	o 16269618
213.50/224.01	o 16269610
213.62/224.02	o 16269608
213.62/224.10	o 16268584
216.61/227.08	o 16267023
216.71/227.15	o 16267019
216.89/227.30	o 16267017
216.89/227.34	o 16267011
217.00/227.45	o 16266179
217.00/227.48	o 16265945
217.10/227.50	o 16265881
217.10/227.56	o 16265829
217.30/227.77	o 16265825
223.16/238.90	o 16265819
223.47/239.16	o 16265803
223.56/239.23	o 16265795
223.56/239.27	o 16265787
223.66/239.35	o 16265755
223.66/239.39	o 16265731
226.15/241.82	o 16265677
226.25/242.00	o 16265676
226.36/242.10	o 16265672
226.47/242.15	o 16265671
227.46/243.14	o 16265667
227.54/243.21	o 16265663
227.54/243.29	o 16249279
232.04/247.78	o 16249276
239.63/255.36	o 16249264
239.92/255.68	o 16249262
240.33/256.10	o 16249258
240.43/256.12	o 16249252
240.52/256.27	o 16249188
240.72/256.44	o 16173518
240.72/256.46	o 16173494
240.82/256.50	o 16173470
240.92/256.64	o 16173467
240.92/256.68	o 16173463
241.02/256.73	o 16173460
241.12/256.82	o 16173204
241.12/256.86	o 16173076
241.22/256.90	o 16105492
241.72/257.48	o 16105364
241.81/257.54	o 16105108
241.81/257.57	o 16105000
241.91/257.60	o 16104996
241.91/257.69	o 16104990
242.01/257.77	o 16099230
242.21/257.95	o 16093086
242.51/258.22	o 16093082
242.62/258.38	o 16092810
242.72/258.42	o 16092762
242.72/258.48	o 16092570
243.33/259.03	o 16092558
243.33/259.10	o 16092534
243.43/259.13	o 16092532
243.51/259.23	o 16086388
243.51/259.27	o 16086384
243.61/259.31	o 16086383
243.61/259.34	o 16085999
244.11/259.85	o 16085993
244.11/259.88	o 16085992
244.21/259.97	o 16085928
244.32/260.06	o 16085920
244.42/260.11	o 16085664
244.42/260.19	o 16085632
244.61/260.36	o 16085120
245.21/260.92	o 16085114
245.21/261.03	o 16084602
246.11/264.75	o 16084601
247.10/265.79	o 16053305
259.07/277.73	o 16053241
260.57/279.25	o 16053240
260.67/279.31	o 16053237
260.67/279.33	o 16053234
260.77/279.41	o 16052594
260.87/279.53	o 16052454
260.87/279.57	o 16052448
260.87/279.59	o 16052442
260.97/279.63	o 16052424
261.17/279.82	o 16046320
261.27/279.91	o 16046318
261.38/280.09	o 16044430
261.48/280.15	o 16044429
261.57/280.27	o 16042893
261.77/280.44	o 16026509
262.56/281.28	o 15918349
262.76/281.45	o 15918343
263.56/282.23	o 15918340
263.66/282.33	o 15913220
263.66/282.36	o 15912708
263.76/282.42	o 15912705
263.86/282.55	o 15666945
264.06/282.73	o 15666935
264.16/282.84	o 15666887
264.27/282.95	o 15666881
264.56/283.25	o 15666877
264.76/283.48	o 15597197
264.86/283.51	o 15596685
265.16/283.87	o 15593613
265.26/283.94	o 15593607
265.66/284.37	o 15593589
265.76/284.41	o 15593581
265.86/284.58	o 15593579
267.55/286.26	o 15593576
267.65/286.31	o 15593573
267.65/286.38	o 15593570
268.06/286.78	o 15591010
268.37/287.10	o 15591008
269.75/288.42	o 15581248
269.85/288.53	o 15581245
272.24/290.93	o 15581241
272.84/291.50	o 15558907
273.54/292.29	o 15558883
273.89/294.79	o 15558875
277.88/298.78	o 15558874
286.36/307.27	o 15558858
286.36/307.29	o 15558834
286.55/307.42	o 15538354
286.65/307.51	o 15538344
286.65/307.52	o 15538339
286.65/307.54	o 15537859
286.65/307.55	o 15537858
289.35/310.21	o 15509986
289.35/310.26	o 15509980
289.45/310.30	o 15509979
289.55/310.42	o 15509977
289.75/310.65	o 15509974
289.75/310.69	o 15509206
289.85/310.74	o 15509014
289.95/310.83	o 15508886
289.95/310.88	o 15371670
290.16/311.05	o 15321494
290.26/311.14	o 15321489
290.45/311.33	o 15321441
290.64/311.58	o 15321440
290.75/311.62	o 15321436
290.85/311.72	o 15321434
290.85/311.74	o 15321433
290.85/311.76	o 15321432
290.85/311.78	o 15321431
290.95/311.86	o 15321423
291.05/311.95	o 15309135
291.34/312.26	o 15308623
291.34/312.29	o 15308111
292.34/313.23	o 15308047
292.44/313.34	o 15308031
292.44/313.38	o 15308021
292.55/313.43	o 15303925
293.04/313.96	o 15303921
293.04/314.00	o 15303919
294.63/315.55	o 15303917
294.73/315.65	o 15303913
294.94/315.85	o 15303911
295.53/316.48	o 15303909
295.63/316.59	o 15303905
295.73/316.67	o 15303904
295.83/316.73	o 15303902
295.93/316.82	o 15082718
296.14/317.04	o 14953825
296.43/317.32	o 14953697
297.04/317.92	o 14952673
309.09/331.91	o 14952669
309.09/331.92	o 14952661
309.39/332.23	o 14952613
309.39/332.26	o 14949205
314.87/337.74	o 14922903
314.98/337.82	o 14922895
315.08/337.91	o 14922887
315.19/338.08	o 14922807
330.64/353.56	o 14879207
338.36/364.23	o 14879193
338.36/364.23	o 14879189
338.36/364.26	o 14878165
350.53/376.46	o 14878146
358.42/384.36	o 14878114
358.42/384.36	o 14878112
358.42/384.37	o 14878110
358.42/384.39	o 14878108
358.52/384.40	o 14878100
358.52/384.42	o 14877844
358.52/384.44	o 14877839
358.82/384.73	o 14877679
359.23/385.12	o 14877677
374.71/402.53	o 14876653
374.71/402.54	o 14876651
375.21/403.07	o 14876641
375.21/403.09	o 14876639
375.32/403.18	o 14876607
375.41/403.23	o 14876605
377.31/405.15	o 14848901
377.31/405.16	o 14848899
377.40/405.28	o 14848895
377.40/405.29	o 14848889
377.50/405.31	o 14848883
377.60/405.42	o 14845811
378.10/405.96	o 14845810
378.10/405.99	o 14845802
378.21/406.09	o 14845290
379.00/406.86	o 14827714
379.10/406.95	o 14827712
379.39/407.20	o 14827708
379.39/407.26	o 14815420
379.39/407.28	o 14812348
379.49/407.35	o 14810812
379.60/407.46	o 14810811
379.90/407.71	o 14810795
379.90/407.74	o 14810793
379.90/407.76	o 14810765
379.99/407.83	o 14810762
380.30/408.14	o 14810760
380.39/408.22	o 14727896
380.59/408.47	o 14727892
381.31/409.19	o 14727891
381.39/409.22	o 14727890
381.39/409.24	o 14727889
381.39/409.26	o 14727888
381.39/409.29	o 14725840
381.49/409.33	o 14725839
381.49/409.37	o 14724815
381.59/409.46	o 14724495
381.69/409.54	o 14724494
381.69/409.58	o 14614940
381.99/409.84	o 14563528
382.09/409.93	o 14563523
382.39/410.24	o 14563519
382.89/410.78	o 14563455
383.30/411.19	o 14545017
383.38/411.23	o 14545005
383.38/411.30	o 14544621
383.48/411.34	o 14542573
383.58/411.41	o 14539501
384.09/411.98	o 14539493
384.20/412.04	o 14539445
384.58/412.48	o 14539235
384.68/412.51	o 14539229
384.68/412.55	o 14539225
384.78/412.62	o 14535129
384.78/412.68	o 14535121
386.08/413.94	o 14535107
386.58/414.46	o 14426427
386.68/414.59	o 14426395
386.78/414.66	o 14426379
387.08/414.94	o 14426378
387.19/415.03	o 14426282
387.29/415.12	o 14426280
387.29/415.16	o 14426274
387.38/415.21	o 14425698
387.38/415.27	o 14423650
387.48/415.40	o 14423642
387.67/415.50	o 14423641
387.67/415.55	o 14423636
388.67/416.51	o 14423635
388.97/416.87	o 14423634
389.07/417.00	o 14423632
389.18/417.04	o 14423631
389.47/417.36	o 14423615
389.67/417.57	o 14423613
389.77/417.61	o 14423607
389.77/417.65	o 14423605
389.96/417.85	o 14423585
390.07/417.90	o 14346785
390.07/417.98	o 14346781
390.19/418.03	o 14257693
390.29/418.18	o 14257501
390.37/418.24	o 14257500
390.57/418.44	o 14257499
390.97/418.80	o 14257444
391.06/418.94	o 14257374
391.06/418.99	o 14257372
391.17/419.05	o 14257371
391.28/419.12	o 14253275
391.36/419.23	o 14252811
391.36/419.29	o 14252747
391.46/419.38	o 14252742
392.18/420.10	o 14252740
401.50/430.87	o 14252738
401.71/431.01	o 14252354
401.71/431.05	o 14252338
401.82/431.16	o 14252209
401.82/431.17	o 14252208
401.82/431.18	o 14252196
401.82/431.19	o 14252100
403.20/432.58	o 14240271
403.30/432.60	o 14240255
403.71/433.03	o 14066279
403.71/433.07	o 14066272
403.81/433.19	o 14050975
403.89/433.22	o 14050968
403.89/433.28	o 14050964
404.29/433.66	o 14050962
404.89/434.26	o 14050948
404.99/434.30	o 14050946
405.09/434.40	o 14050944
405.09/434.42	o 14050940
405.19/434.56	o 14037568
405.99/435.31	o 14037565
406.09/435.46	o 14024698
406.19/435.54	o 14024697
406.49/435.80	o 14024695
407.99/437.33	o 14024693
411.08/440.44	o 14009499
411.08/440.47	o 14009497
411.18/440.51	o 14009495
411.18/440.56	o 14009487
411.28/440.61	o 14009467
411.28/440.65	o 14009465
411.28/440.67	o 14009464
411.38/440.71	o 14009458
411.38/440.78	o 14009457
411.48/440.80	o 14009455
411.48/440.82	o 14009453
411.48/440.85	o 14009452
411.58/440.93	o 14009451
411.58/440.98	o 14009419
411.69/441.01	o 14009207
411.69/441.05	o 14009195
411.69/441.08	o 14009179
426.05/457.63	o 14009171
426.05/457.64	o 14009163
426.34/457.99	o 14009159
426.46/458.02	o 14009157
426.46/458.10	o 14009156
426.56/458.14	o 14009154
426.56/458.16	o 14009153
426.95/458.54	o 14009145
426.95/458.55	o 14009139
427.14/458.73	o 14009138
427.24/458.81	o 14009130
427.34/458.98	o 14001194
427.65/459.21	o 14001193
427.65/459.22	o 14001187
427.94/459.50	o 14001185
427.94/459.55	o 14001121
428.73/460.30	o 14001119
428.73/460.36	o 14001111
429.04/460.64	o 14000887
429.33/460.99	o 13998871
429.44/461.08	o 13732649
429.44/461.09	o 13732640
429.55/461.16	o 13732638
430.34/461.99	o 13730590
430.45/462.02	o 13730582
430.83/462.42	o 13728022
430.93/462.50	o 13728020
431.23/462.83	o 13728016
431.23/462.89	o 13728014
431.83/463.48	o 13727246
432.13/463.74	o 13727243
432.63/464.21	o 13724171
432.63/464.26	o 13724170
432.83/464.44	o 13724158
432.93/464.56	o 13724155
433.83/465.42	o 13723899
434.32/465.92	o 13723827
434.32/465.94	o 13723825
434.44/466.05	o 13723777
434.63/466.24	o 13700225
434.73/466.36	o 13700219
434.73/466.39	o 13700216
434.83/466.43	o 13700186
434.83/466.46	o 13700177
434.83/466.49	o 13700174
434.93/466.53	o 13699478
434.93/466.56	o 13699475
434.93/466.58	o 13699472
435.03/466.68	o 13699470
435.22/466.85	o 13699468
435.32/466.92	o 13699456
435.32/467.00	o 13699453
435.43/467.08	o 13699449
435.53/467.11	o 13699433
435.53/467.14	o 13699421
435.53/467.18	o 13699165
435.62/467.26	o 13695069
435.83/467.40	o 13695066
435.83/467.45	o 13695063
435.83/467.49	o 13694943
436.53/468.14	o 13694927
436.62/468.23	o 13694925
436.62/468.29	o 13694923
451.18/482.82	o 13694917
461.11/493.59	o 13694907
461.21/493.65	o 13694891
461.21/493.69	o 13694889
461.91/494.38	o 13639593
462.01/494.44	o 13639591
462.21/494.61	o 13639589
462.21/494.68	o 13639585
462.51/494.90	o 13639473
462.81/495.21	o 13639465
463.11/495.51	o 13639457
463.20/495.69	o 13621647
463.30/495.72	o 13619599
463.30/495.75	o 13619596
463.51/495.90	o 13619574
463.51/495.97	o 13619560
463.62/496.02	o 13619558
463.62/496.07	o 13616486
463.72/496.14	o 13615462
463.72/496.17	o 13615446
463.72/496.19	o 13615442
463.81/496.20	o 13437266
464.10/496.51	o 13437263
464.10/496.57	o 13437261
464.10/496.59	o 13437260
465.50/497.94	o 13437257
465.50/497.96	o 13437254
465.50/498.00	o 13437245
465.61/498.02	o 13437242
465.72/498.18	o 13359418
466.30/498.72	o 13359415
466.30/498.79	o 13359409
466.40/498.86	o 13287729
466.50/498.95	o 13287728
466.50/498.96	o 13287722
466.61/499.09	o 13287712
466.71/499.15	o 13287706
466.89/499.31	o 13287702
466.89/499.32	o 13287694
466.89/499.36	o 13176078
466.99/499.50	o 12989749
481.26/513.73	o 12989685
481.46/513.91	o 12989653
482.57/515.02	o 12989652
482.57/515.09	o 12989650
482.57/515.10	o 12989646
482.67/515.13	o 12988622
482.76/515.26	o 12986574
482.86/515.35	o 12986572
483.16/515.66	o 12930892
483.26/515.76	o 12930860
483.26/515.77	o 12930828
483.57/516.05	o 12930818
483.57/516.07	o 12930810
483.57/516.09	o 12930804
483.57/516.10	o 12930802
483.67/516.11	o 12930794
483.67/516.13	o 12851364
484.86/517.32	o 12845220
484.86/517.34	o 12845204
484.95/517.42	o 12845200
484.95/517.45	o 12844944
484.95/517.48	o 12844942
484.95/517.49	o 12844940
485.05/517.50	o 12844938
485.65/519.75	o 12844934
486.45/520.59	o 12844902
486.75/520.80	o 12844899
486.85/520.90	o 12844803
486.96/521.10	o 12764003
487.07/521.15	o 12761955
487.35/521.48	o 12761763
488.06/522.13	o 12761757
488.45/522.52	o 12760733
488.75/522.81	o 12706716
489.24/523.35	o 12706714
489.24/523.38	o 12706706
489.34/523.42	o 12706698
489.34/523.45	o 12706442
489.44/523.50	o 12654410
489.44/523.52	o 12654408
492.64/526.77	o 12654404
492.74/526.81	o 12654400
492.74/526.88	o 12654399
492.84/527.00	o 12654397
493.13/527.20	o 12535357
493.23/527.37	o 12535293
498.62/532.71	o 12535291
498.62/532.76	o 12535265
498.72/532.89	o 12535261
499.22/533.33	o 12535249
499.22/533.36	o 12535237
499.22/533.39	o 12535221
499.52/533.65	o 12533173
499.52/533.69	o 12532149
499.63/533.73	o 12503477
499.93/534.01	o 12503471
499.93/534.07	o 12503470
499.93/534.10	o 12503466
500.04/534.13	o 12503454
500.04/534.17	o 12503390
500.62/534.78	o 12503382
500.72/534.88	o 12503380
501.62/535.71	o 12503370
503.32/537.42	o 12503354
503.52/537.67	o 12503352
503.62/537.71	o 12503344
504.22/538.30	o 12503092
504.22/538.35	o 12503088
504.22/538.39	o 12503048
504.32/538.43	o 12503032
506.70/540.80	o 12485374
514.88/551.05	o 12485372
514.98/551.12	o 12485370
517.87/554.09	o 12485114
517.97/554.15	o 12485098
523.34/559.52	o 12480517
523.34/559.54	o 12480515
523.34/559.59	o 12480503
528.95/565.14	o 12480479
538.81/575.07	o 12474335
539.01/575.21	o 12473951
542.70/578.96	o 12462919
546.80/584.29	o 12462916
546.90/584.31	o 12462883
547.00/584.40	o 12462660
547.19/584.63	o 12462657
549.89/587.36	o 12462655
550.09/587.53	o 12462125
560.87/598.38	o 12462117
561.06/598.55	o 12462105
561.06/598.59	o 12462009
562.36/599.83	o 12368825
562.47/600.00	o 12368813
562.58/600.03	o 12368801
562.58/600.06	o 12368790
562.58/600.07	o 12368754
562.58/600.08	o 12368751
563.06/600.55	o 12368745
563.06/600.59	o 12368729
563.16/600.63	o 12368721
565.25/602.79	o 12368705
565.35/602.82	o 12368583
565.35/602.86	o 12368527
567.45/604.96	o 12368525
567.45/605.00	o 12368509
567.85/605.33	o 12368497
576.09/614.87	o 12368487
587.06/625.89	o 12368459
587.28/626.02	o 12368456
587.28/626.03	o 12368450
587.28/626.08	o 12368258
587.38/626.14	o 12368244
587.47/626.26	o 12327284
587.57/626.32	o 12322164
587.57/626.33	o 12320628
587.66/626.43	o 12314484
587.87/626.61	o 12314481
588.97/627.78	o 12314479
588.97/627.79	o 12314475
589.07/627.83	o 12304235
589.38/628.15	o 12304187
589.66/628.45	o 12302139
589.76/628.56	o 12302134
589.87/628.67	o 12273462
590.27/629.03	o 12222904
590.38/629.19	o 12204629
590.46/629.26	o 12204624
590.46/629.28	o 12204619
590.56/629.30	o 12204609
590.56/629.33	o 12204603
590.56/629.35	o 12204599
590.56/629.37	o 12199479
592.27/631.09	o 12199478
592.37/631.17	o 12199476
592.46/631.27	o 12136736
592.46/631.29	o 12136721
592.56/631.31	o 12135889
592.56/631.33	o 12135249
592.66/631.48	o 12135121
592.76/631.53	o 12135109
592.76/631.56	o 12135105
604.58/644.83	o 12113740
613.36/653.68	o 12113724
613.36/653.69	o 12047276
613.46/653.71	o 12047270
613.56/653.86	o 12047260
613.96/654.20	o 12047259
614.06/654.39	o 12035611
614.25/654.53	o 12034075
614.25/654.57	o 12034070
614.46/654.72	o 12034064
614.46/654.76	o 12034063
614.46/654.78	o 12034060
614.56/654.84	o 12027660
615.95/656.26	o 12027658
616.05/656.39	o 12027210
616.25/656.51	o 12027198
616.25/656.55	o 12027174
616.35/656.67	o 12027150
616.55/656.80	o 11940110
616.77/657.05	o 11939726
617.05/657.33	o 11839374
617.05/657.37	o 11839356
617.55/657.89	o 11839345
617.65/657.95	o 11838961
619.44/659.77	o 11771253
619.54/659.88	o 11771205
619.64/660.00	o 11740489
619.75/660.04	o 11740486
619.75/660.05	o 11666758
619.86/660.13	o 11642198
619.86/660.18	o 11642193
626.84/667.12	o 11642190
641.13/684.50	o 11642184
641.13/684.56	o 11642181
641.33/684.74	o 11568484
641.53/684.92	o 11568477
642.33/685.79	o 11568459
642.43/685.86	o 11568447
642.53/685.91	o 11568435
642.53/685.92	o 11568075
642.82/686.22	o 11568054
642.82/686.25	o 11568022
642.92/686.32	o 11568019
643.02/686.48	o 11496339
643.12/686.50	o 11496335
643.12/686.52	o 11496333
643.33/686.71	o 11481997
643.42/686.84	o 11469709
643.42/686.87	o 11277197
643.52/686.93	o 11277195
643.52/686.98	o 11276427
643.93/687.30	o 11276411
643.93/687.32	o 11276393
643.93/687.36	o 11276391
647.52/690.98	o 11276385
647.63/691.06	o 11276379
648.72/692.11	o 11186243
648.72/692.13	o 11186235
648.72/692.14	o 11186234
648.72/692.17	o 11186232
648.72/692.19	o 11186136
648.81/692.21	o 11185944
651.30/694.70	o 11185941
651.40/694.88	o 11185917
651.51/695.00	o 11185901
651.62/695.03	o 11185899
651.81/695.23	o 11185515
651.90/695.30	o 11185511
651.90/695.33	o 11185503
652.00/695.48	o 11114470
652.10/695.55	o 11114458
652.20/695.65	o 11108120
652.20/695.68	o 11108112
652.30/695.79	o 11108088
652.80/696.29	o 11108073
653.10/696.51	o 11108070
653.20/696.68	o 11108058
653.40/696.86	o 10860506
653.61/697.10	o 10860504
653.72/697.13	o 10860500
654.39/697.80	o 10860488
654.61/698.04	o 10860104
654.90/698.33	o 10859720
655.10/698.53	o 10700576
655.29/698.71	o 10700480
658.19/701.62	o 10700474
671.61/716.79	o 10700472
671.71/716.81	o 10700471
671.71/716.83	o 10700468
672.11/717.22	o 10700466
672.11/717.27	o 10700465
672.11/717.28	o 10700462
672.21/717.36	o 10700445
672.30/717.40	o 10700441
672.30/717.43	o 10700429
672.30/717.46	o 10700333
672.30/717.48	o 10700285
672.71/717.84	o 10622461
672.81/717.93	o 10622450
672.81/717.95	o 10622444
672.81/717.96	o 10622433
678.70/723.89	o 10621289
688.77/733.97	o 10621288
689.08/734.21	o 10621287
689.08/734.22	o 10621286
689.08/734.22	o 10621285
689.18/734.35	o 10608197
689.27/734.42	o 10608195
689.27/734.44	o 10608183
689.47/734.64	o 10608143
689.47/734.66	o 10608133
689.47/734.69	o 10608123
689.57/734.70	o 10608091
689.57/734.72	o 10605019
689.98/735.19	o 10596547
690.07/735.28	o 10596538
773.89/824.56	o 10596522
773.89/824.59	o 10596330
814.85/871.30	o 10596138
815.74/872.21	o 10596126
815.74/872.22	o 10596117
815.74/872.24	o 10596114
815.74/872.25	o 10596090
815.74/872.29	o 10569555
816.04/872.50	o 10569459
816.14/872.63	o 10568179
816.14/872.65	o 10568051
816.14/872.69	o 10567987
818.65/875.16	o 10552627
818.73/875.24	o 10544435
818.83/875.36	o 10544387
818.93/875.42	o 10544363
818.93/875.44	o 10544315
819.03/875.51	o 10544309
819.03/875.53	o 10544291
819.14/875.65	o 10543523
819.83/876.32	o 10543499
819.83/876.33	o 10543487
819.93/876.49	o 10543481
820.33/876.85	o 10543477
820.33/876.87	o 10543475
820.54/877.11	o 10531187
820.93/877.42	o 10509683
820.93/877.45	o 10509529
820.93/877.47	o 10509528
821.13/877.61	o 10509525
821.13/877.66	o 10507989
821.23/877.70	o 10507221
821.23/877.73	o 10505685
821.23/877.77	o 10504917
821.23/877.78	o 10504533
821.33/877.81	o 10504149
822.33/878.81	o 10495463
822.33/878.84	o 10495460
822.43/878.91	o 10495428
822.54/879.02	o 10494916
823.72/880.27	o 10493852
823.82/880.33	o 10488913
825.12/881.60	o 10487377
825.32/881.89	o 10409892
825.53/882.09	o 10409889
825.92/882.45	o 10409887
826.02/882.51	o 10409871
826.42/882.98	o 10408335
826.63/883.19	o 10408287
826.92/883.43	o 10408275
827.02/883.51	o 10408269
827.02/883.56	o 10408263
827.12/883.60	o 10408257
827.12/883.67	o 10408251
827.22/883.71	o 10288443
937.85/1003.44	o 10288442
937.85/1003.46	o 10288424
937.85/1003.48	o 10288420
940.94/1006.51	o 10288418
940.94/1006.53	o 10288415
941.14/1006.71	o 10230905
941.14/1006.79	o 10230881
941.24/1006.82	o 10230875
941.24/1006.83	o 10230869
941.34/1006.91	o 10230867
941.34/1006.92	o 10230835
941.94/1007.54	o 10230830
942.33/1007.97	o 10230829
942.33/1008.00	o 10230826
942.55/1008.11	o 10212394
942.64/1008.22	o 10209322
942.84/1008.45	o 10209320
943.23/1008.85	o 10208680
943.33/1008.91	o 10208488
943.33/1008.96	o 10191936
943.33/1008.99	o 10191934
943.45/1009.02	o 10191870
943.45/1009.04	o 10190846
943.45/1009.07	o 10190590
952.31/1017.92	o 10169543
952.61/1018.28	o 10169523
952.72/1018.38	o 10169519
952.82/1018.42	o 10169517
953.11/1018.73	o 10168493
958.13/1026.11	o 10104139
958.13/1026.14	o 10104137
958.13/1026.19	o 10104129
958.71/1026.72	o 10104128
960.81/1028.81	o 10104116
960.81/1028.87	o 10104112
961.31/1029.31	o 10104088
961.41/1029.40	o 10104074
961.91/1029.96	o 10104068
973.67/1041.73	o 10104064
973.78/1041.87	o 10104046
973.78/1041.89	o 10104042
973.88/1041.90	o 10104030
973.88/1041.95	o 10099934
973.88/1041.98	o 10099932
974.09/1042.17	o 10099931
974.09/1042.19	o 10099907
974.18/1042.20	o 10099906
975.17/1043.25	o 10099900
975.78/1043.86	o 10099895
975.78/1043.88	o 10099891
975.78/1043.89	o 10099887
975.87/1043.94	o 10099885
975.87/1043.95	o 10099877
975.98/1044.05	o 10099821
976.17/1044.21	o 10099815
976.17/1044.25	o 10099807
976.17/1044.28	o 10099805
976.27/1044.32	o 10099803
976.57/1044.65	o 10099419
976.87/1044.93	o 10099416
976.87/1044.96	o 10099413
976.99/1045.02	o 10099317
977.17/1045.24	o 10099308
977.17/1045.28	o 10099305
977.37/1045.41	o 10098909
977.57/1045.61	o 10098907
977.57/1045.67	o 10098879
977.57/1045.69	o 10098875
977.87/1045.99	o 10098873
977.98/1046.09	o 10098869
978.27/1046.32	o 10098357
979.26/1047.30	o 10028096
979.46/1047.58	o 10028088
980.76/1048.86	o 10014340
980.76/1048.89	o 10014339
981.46/1049.59	o 10014325
981.66/1049.74	o 10014321
981.66/1049.78	o 10014311
990.40/1059.45	o 10014307
1003.57/1072.69	o 10014297
1003.67/1072.73	o 10011481
1004.47/1073.52	o 9947439
1004.47/1073.54	o 9947434
1004.57/1073.60	o 9947430
1004.57/1073.69	o 9947424
1005.56/1074.61	o 9947423
1005.56/1074.62	o 9947421
1008.26/1077.32	o 9947413
1008.36/1077.41	o 9947410
1008.36/1077.44	o 9947398
1008.36/1077.48	o 9947382
1008.46/1077.59	o 9945334
1008.55/1077.62	o 9945331
1008.76/1077.85	o 9945327
1008.86/1077.91	o 9879561
1008.86/1077.95	o 9879529
1011.25/1080.34	o 9879518
1011.46/1080.56	o 9879510
1011.56/1080.63	o 9879498
1011.56/1080.66	o 9879492
1011.56/1080.68	o 9879488
1011.66/1080.73	o 9879472
1011.66/1080.75	o 9879236
1011.96/1081.02	o 9854705
1012.06/1081.11	o 9854701
1012.15/1081.24	o 9826741
1012.15/1081.27	o 9753525
1020.80/1090.61	o 9746543
1020.80/1090.65	o 9746539
1020.90/1090.73	o 9746533
1022.80/1092.69	o 9746512
1032.57/1102.42	o 9746509
1032.57/1102.43	o 9746505
1032.67/1102.51	o 9742409
1033.67/1103.54	o 9679056
1033.67/1103.55	o 9679053
1049.30/1121.02	o 9664717
1061.05/1132.89	o 9663949
1061.37/1133.15	o 9663944
1062.95/1134.75	o 9663941
1063.26/1135.04	o 9663938
1063.26/1135.06	o 9663935
1063.36/1135.13	o 9663921
1063.36/1135.15	o 9663897
1063.36/1135.17	o 9663891
1063.36/1135.18	o 9663879
1063.44/1135.29	o 9639366
1063.54/1135.35	o 9639362
1063.65/1135.43	o 9638978
1064.54/1136.34	o 9638969
1064.84/1136.68	o 9638777
1064.94/1136.79	o 9638775
1065.05/1136.81	o 9638751
1065.15/1136.97	o 9599487
1065.15/1136.99	o 9599473
1065.15/1137.01	o 9599469
1065.26/1137.03	o 9599453
1065.26/1137.06	o 9598941
1067.83/1139.67	o 9598935
1068.25/1140.06	o 9598932
1068.63/1140.47	o 9598929
1068.84/1140.68	o 9498605
1069.14/1140.95	o 9498581
1069.14/1140.99	o 9498575
1069.25/1141.06	o 9498191
1069.35/1141.15	o 9494095
1069.35/1141.19	o 9493967
1069.44/1141.24	o 9493935
1069.63/1141.46	o 9493591
1069.73/1141.50	o 9493588
1069.73/1141.54	o 9493586
1069.73/1141.56	o 9493582
1069.83/1141.60	o 9493581
1070.54/1142.32	o 9493570
1070.54/1142.36	o 9493569
1070.64/1142.46	o 9493568
1070.64/1142.49	o 9493567
1070.74/1142.54	o 9493566
1070.74/1142.57	o 9493565
1070.74/1142.59	o 9493564
1070.83/1142.62	o 9493563
1073.42/1145.25	o 9493559
1073.42/1145.29	o 9493557
1075.02/1146.84	o 9493551
1088.11/1161.29	o 9493503
1088.11/1161.29	o 9493495
1090.50/1163.68	o 9491408
1091.21/1164.39	o 9491404
1091.31/1164.41	o 9491400
1091.31/1164.42	o 9491368
1093.10/1166.22	o 9491360
1093.10/1166.25	o 9491352
1093.10/1166.27	o 9491344
1093.10/1166.28	o 9491280
1093.70/1166.82	o 9491186
1093.91/1167.02	o 9490162
1094.10/1167.21	o 9490160
1094.10/1167.24	o 9457392
1094.10/1167.26	o 9457384
1094.10/1167.28	o 9457377
1094.20/1167.32	o 9457249
1094.49/1167.60	o 9457233
1094.49/1167.62	o 9457225
1097.39/1170.50	o 9457222
1097.39/1170.55	o 9457218
1097.90/1171.05	o 9453122
1098.48/1171.69	o 9453118
1098.58/1171.71	o 9453117
1098.58/1171.76	o 9453113
1098.69/1171.83	o 9453097
1099.78/1172.95	o 9453094
1099.78/1172.99	o 9453086
1100.68/1173.81	o 9453054
1101.08/1174.28	o 9436158
1101.78/1175.00	o 9436156
1102.00/1175.13	o 9415392
1102.08/1175.22	o 9415376
1103.38/1176.58	o 9415336
1103.48/1176.68	o 9415330
1104.07/1177.25	o 9301602
1104.18/1177.33	o 9301596
1104.18/1177.38	o 9221724
1104.77/1178.00	o 9221717
1104.88/1178.04	o 9221661
1104.88/1178.10	o 9207381
1104.98/1178.13	o 9207213
1110.91/1184.60	o 9207211
1124.17/1198.01	o 9207203
1125.97/1199.76	o 9207195
1126.86/1200.65	o 9207189
1126.86/1200.67	o 9207183
1127.07/1200.84	o 9207180
1127.07/1200.85	o 9207172
1127.07/1200.87	o 9207164
1127.07/1200.88	o 9207132
1127.17/1200.90	o 9207108
1127.86/1201.65	o 9207106
1127.86/1201.67	o 9207098
1127.86/1201.68	o 9207094
1127.96/1201.70	o 9207092
1128.17/1201.97	o 9207082
1129.76/1203.54	o 9207078
1129.85/1203.67	o 9096486
1129.95/1203.72	o 9096485
1134.55/1208.38	o 9096477
1134.65/1208.45	o 9096429
1135.26/1209.04	o 9096428
1135.36/1209.11	o 9096420
1135.36/1209.15	o 9096416
1136.35/1210.11	o 9096414
1136.35/1210.17	o 9096413
1138.87/1213.63	o 9096405
1151.64/1226.40	o 9096373
1151.83/1226.70	o 9095861
1152.04/1226.88	o 9095848
1152.04/1226.89	o 9095837
1152.14/1226.91	o 9095833
1153.13/1227.94	o 9095830
1153.13/1227.98	o 9095825
1153.83/1228.62	o 9095824
1154.63/1229.48	o 9084543
1155.24/1230.06	o 9084542
1155.24/1230.07	o 9084541
1155.34/1230.12	o 9084249
1155.34/1230.14	o 9084247
1155.34/1230.16	o 9084240
1155.34/1230.18	o 9084238
1155.42/1230.20	o 9084237
1156.83/1231.67	o 9084235
1157.03/1231.84	o 9084228
1157.03/1231.88	o 9084225
1157.12/1231.91	o 9084221
1157.12/1231.95	o 9084220
1157.12/1231.97	o 9084216
1157.12/1232.00	o 8991096
1157.42/1232.29	o 8991072
1157.92/1232.79	o 8990944
1158.12/1232.95	o 8990840
1158.12/1232.97	o 8990834
1158.12/1232.99	o 8990810
1158.23/1233.02	o 8990804
1159.12/1234.00	o 8990760
1159.23/1234.02	o 8990754
1159.23/1234.06	o 8990730
1159.92/1234.71	o 8990728
1159.92/1234.78	o 8990648
1160.02/1234.81	o 8990616
1160.62/1235.44	o 8990200
1160.71/1235.50	o 8990199
1160.71/1235.52	o 8990196
1160.71/1235.55	o 8990195
1160.71/1235.57	o 8990192
1160.81/1235.60	o 8990064
1160.81/1235.63	o 8990048
1165.51/1240.37	o 8990015
1165.61/1240.40	o 8990011
1165.61/1240.43	o 8990010
1165.61/1240.47	o 8989994
1173.72/1249.63	o 8989992
1187.20/1263.15	o 8989991
1187.20/1263.17	o 8989975
1187.29/1263.23	o 8989959
1272.10/1351.29	o 8989927
1272.20/1351.31	o 8989925
1272.20/1351.38	o 8988901
1273.20/1352.34	o 8988899
1273.30/1352.47	o 8987873
1273.91/1353.03	o 8987871
1274.40/1353.59	o 8987869
1274.50/1353.66	o 8987867
1274.50/1353.69	o 8987865
1275.30/1354.45	o 8987860
1275.30/1354.46	o 8910036
1275.40/1354.53	o 8910034
1275.50/1354.67	o 8910023
1278.69/1357.88	o 8898371
1278.79/1357.91	o 8898367
1278.90/1358.07	o 8898363
1279.59/1358.76	o 8898362
1279.69/1358.81	o 8898358
1279.69/1358.86	o 8898357
1281.08/1360.22	o 8898355
1281.08/1360.25	o 8898353
1281.18/1360.33	o 8898342
1281.18/1360.36	o 8898339
1282.47/1361.65	o 8898337
1282.58/1361.73	o 8898323
1282.58/1361.79	o 8898311
1282.78/1361.98	o 8898307
1282.89/1362.03	o 8898299
1285.98/1365.15	o 8898283
1286.17/1365.36	o 8898280
1286.37/1365.58	o 8898088
1290.46/1369.67	o 8898079
1290.56/1369.71	o 8898076
1290.75/1369.95	o 8898075
1290.96/1370.17	o 8898069
1291.14/1370.68	o 8799765
1294.77/1374.37	o 8799749
1294.97/1374.54	o 8799745
1295.07/1374.67	o 8799713
1297.37/1376.97	o 8799681
1307.83/1387.49	o 8783235
1307.93/1387.50	o 8783233
1307.93/1387.53	o 8783232
1308.93/1388.59	o 8783228
1313.43/1393.07	o 8782652
1313.91/1393.59	o 8782644
1314.31/1393.99	o 8782643
1314.42/1394.10	o 8782515
1314.52/1394.13	o 8706739
1314.71/1394.36	o 8706731
1315.31/1394.95	o 8704683
1315.31/1394.99	o 8700587
1315.42/1395.03	o 8700579
1316.91/1396.52	o 8700515
1316.91/1396.55	o 8700359
1316.91/1396.58	o 8700353
1317.30/1396.95	o 8700352
1317.52/1397.13	o 8699840
1317.52/1397.18	o 8699456
1317.61/1397.22	o 8699328
1317.70/1397.32	o 8595904
1317.70/1397.34	o 8595884
1317.70/1397.39	o 8595876
1318.70/1398.36	o 8595864
1318.70/1398.38	o 8595840
1318.80/1398.41	o 8595684
1319.70/1399.35	o 8595683
1319.70/1399.38	o 8595139
1319.89/1399.53	o 8595135
1319.89/1399.55	o 8595131
1319.89/1399.59	o 8595003
1320.20/1399.88	o 8538345
1320.41/1400.10	o 8537113
1320.51/1400.13	o 8537061
1320.51/1400.15	o 8537049
1320.51/1400.17	o 8537017
1320.51/1400.19	o 8537001
1320.59/1400.23	o 8536809
1321.79/1401.48	o 8536803
1321.89/1401.59	o 8536779
1322.09/1401.70	o 8536691
1322.09/1401.74	o 8536667
1322.59/1402.79	o 8536655
1338.65/1418.88	o 8536647
1338.75/1418.93	o 8536643
1339.96/1420.19	o 8536579
1340.35/1420.51	o 8536515
1340.65/1420.87	o 8536451
1341.34/1421.59	o 8536259
1341.55/1421.75	o 8536255
1341.55/1421.77	o 8536251
1341.55/1421.79	o 8536219
1341.65/1421.85	o 8536209
1341.65/1421.86	o 8536208
1341.65/1421.88	o 8443024
1343.05/1423.20	o 8443020
1343.05/1423.22	o 8443016
1343.05/1423.25	o 8442960
1343.44/1423.67	o 8442920
1344.34/1424.52	o 8442772
1344.34/1424.57	o 8442740
1344.44/1424.61	o 8442739
1344.96/1425.13	o 8442737
1345.85/1426.03	o 8442733
1345.85/1426.05	o 8442728
1345.85/1426.08	o 8442727
1346.43/1426.67	o 8442719
1348.95/1429.15	o 8442703
1349.03/1429.20	o 8442607
1349.03/1429.27	o 8442606
1350.13/1430.31	o 8442539
1350.13/1430.34	o 8442538
1350.13/1430.37	o 8442531
1350.23/1430.41	o 8442527
1351.43/1431.66	o 8439455
1351.52/1431.70	o 8437919
1357.11/1438.29	o 8437918
1357.21/1438.33	o 8437912
1357.31/1438.40	o 8437909
1357.31/1438.43	o 8437904
1357.50/1438.65	o 8437903
1358.11/1439.28	o 8437901
1367.17/1448.37	o 8437869
1367.38/1448.56	o 8437863
1367.48/1448.61	o 8437857
1367.99/1449.15	o 8437855
1368.57/1449.75	o 8437853
1368.57/1449.76	o 8437848
1368.67/1449.86	o 8437845
1368.77/1449.94	o 8426794
1368.77/1449.96	o 8426789
1368.77/1450.00	o 8426405
1368.89/1450.01	o 8426213
1368.99/1450.13	o 8426212
1369.37/1450.54	o 8426211
1369.37/1450.56	o 8426206
1369.37/1450.58	o 8426194
1369.98/1451.11	o 8426150
1369.98/1451.13	o 8426114
1370.07/1451.22	o 8426106
1370.07/1451.24	o 8425338
1370.27/1451.47	o 8425318
1371.77/1452.94	o 8425316
1371.88/1453.05	o 8425310
1372.06/1453.28	o 8425303
1373.46/1454.63	o 8425271
1373.56/1454.74	o 8425263
1374.36/1455.57	o 8425257
1374.46/1455.60	o 8425248
1374.46/1455.64	o 8425234
1374.46/1455.67	o 8425222
1374.98/1456.16	o 8425214
1375.06/1456.24	o 8425202
1375.06/1456.28	o 8425201
1375.16/1456.34	o 8421105
1375.16/1456.37	o 8421009
1375.26/1456.40	o 8399505
1375.26/1456.46	o 8374929
1375.75/1456.99	o 8374905
1375.97/1457.16	o 8372857
1376.06/1457.21	o 8372855
1376.06/1457.25	o 8372849
1376.06/1457.27	o 8372848
1377.45/1458.69	o 8372847
1394.05/1476.31	o 8372838
1394.05/1476.37	o 8372826
1394.05/1476.38	o 8372820
1449.17/1532.17	o 8372815
1449.17/1532.18	o 8372814
1449.27/1532.24	o 8372766
1453.75/1536.72	o 8372760
1469.03/1552.05	o 8372712
1482.44/1566.08	o 8372705
1482.55/1566.17	o 8372704
1483.44/1567.05	o 8372700
1483.63/1567.25	o 8372672
1483.63/1567.27	o 8372668
1484.54/1568.15	o 8372662
1484.54/1568.19	o 8372656
1484.63/1568.22	o 8372642
1484.63/1568.26	o 8372638
1484.63/1568.28	o 8372634
1484.73/1568.30	o 8372622
1484.73/1568.32	o 8372110
1484.73/1568.34	o 8371786
1484.73/1568.37	o 8371754
1484.83/1568.48	o 8371682
1485.44/1569.03	o 8340816
1486.62/1570.20	o 8340815
1487.02/1570.67	o 8339663
1487.22/1570.87	o 8273743
1487.32/1570.94	o 8273733
1487.44/1571.09	o 8273715
1487.53/1571.12	o 8273703
1487.53/1571.15	o 8273693
1487.72/1571.37	o 8273691
1487.82/1571.40	o 8273681
1487.82/1571.47	o 8273653
1488.62/1572.22	o 8273645
1488.62/1572.25	o 8273633
1488.62/1572.27	o 8273623
1488.72/1572.31	o 8273619
1489.22/1572.86	o 8273617
1489.22/1572.89	o 8273615
1491.02/1574.61	o 8273597
1491.02/1574.65	o 8273595
1492.31/1575.90	o 8273592
1498.80/1582.48	o 8273588
1498.80/1582.49	o 8195764
1498.99/1582.64	o 8195760
1499.41/1583.02	o 8195756
1499.41/1583.08	o 8194220
1500.69/1584.31	o 8194218
1500.69/1584.35	o 8194216
1502.19/1585.84	o 8106242
1502.19/1585.89	o 8106050
1502.40/1586.04	o 8105858
1502.40/1586.06	o 8105856
1504.49/1588.14	o 8105850
1504.68/1588.32	o 8105844
1504.99/1588.61	o 8105838
1505.28/1588.96	o 8105826
1505.68/1589.34	o 8105823
1505.78/1589.48	o 8105567
1505.88/1589.56	o 8105555
1505.88/1589.57	o 8105435
1507.77/1591.48	o 8105423
1518.89/1603.17	o 8105419
1518.98/1603.20	o 8105399
1518.98/1603.23	o 8105381
1518.98/1603.25	o 8105253
1519.68/1603.97	o 8056101
1523.37/1607.63	o 8056098
1527.06/1611.37	o 8056086
1527.16/1611.41	o 8056050
1532.45/1616.70	o 8056036
1532.45/1616.71	o 8056032
1532.76/1617.05	o 8055984
1533.65/1617.94	o 8055981
1553.65/1638.51	o 8055969
1553.75/1638.64	o 8055963
1553.75/1638.65	o 8055953
1553.85/1638.70	o 8023185
1589.64/1675.26	o 8018321
1595.73/1681.36	o 8018319
1595.73/1681.37	o 8018315
1596.33/1681.92	o 8015243
1604.33/1691.16	o 8012897
1620.77/1707.60	o 8012895
1620.77/1707.61	o 8012383
1620.77/1707.65	o 8000951
1620.77/1707.68	o 8000943
1620.77/1707.69	o 8000927
1620.87/1707.70	o 8000923
1620.87/1707.71	o 8000919
1620.87/1707.72	o 7907258
1739.54/1830.81	o 7907242
1739.54/1830.82	o 7907236
1739.86/1831.19	o 7906724
1739.94/1831.23	o 7906596
1739.94/1831.24	o 7906580
1844.08/1938.69	o 7906578
1844.19/1938.71	o 7906574
1844.19/1938.73	o 7906572
1877.84/1973.37	o 7906568
1878.24/1973.74	o 7906565
1878.24/1973.79	o 7906533
1887.09/1984.46	o 7906531
1887.09/1984.48	o 7906529
1887.19/1984.50	o 7906527
1887.70/1985.03	o 7906501
1887.80/1985.11	o 7906497
1888.19/1985.59	o 7906495
1888.88/1986.29	o 7875764
1891.28/1988.69	o 7875740
1891.38/1988.78	o 7874204
1892.17/1989.57	o 7874172
1892.28/1989.65	o 7874156
1892.28/1989.68	o 7874148
1892.38/1989.71	o 7874144
1892.48/1989.85	o 7874136
1892.48/1989.88	o 7874132
1892.58/1989.90	o 7874130
1894.87/1992.20	o 7874128
1895.07/1992.47	o 7852362
1895.27/1992.61	o 7852298
1896.17/1993.52	o 7852202
1896.17/1993.58	o 7852194
1896.27/1993.69	o 7852178
1896.37/1993.73	o 7852170
1896.97/1994.38	o 7851914
1899.36/1996.72	o 7846698
1899.46/1996.83	o 7846694
1900.35/1997.79	o 7846692
1900.46/1997.82	o 7846688
1900.46/1997.89	o 7846684
1906.23/2003.63	o 7846680
1906.34/2003.73	o 7846676
1906.44/2003.81	o 7846548
1907.94/2005.31	o 7846536
1911.84/2010.79	o 7846532
1916.63/2015.55	o 7846526
1928.50/2027.40	o 7846518
1928.90/2027.80	o 7844470
1928.90/2027.84	o 7844466
1930.40/2029.31	o 7844438
1930.40/2029.39	o 7844434
1931.00/2029.91	o 7844430
1933.39/2032.36	o 7837424
1944.34/2044.17	o 7837420
1944.34/2044.19	o 7837164
1944.42/2044.21	o 7836972
1944.63/2044.41	o 7836716
1944.73/2044.51	o 7756892
1949.61/2049.48	o 7756844
1950.90/2050.76	o 7756812
1951.00/2050.88	o 7662604
1951.10/2050.97	o 7662601
1951.41/2051.21	o 7662593
1951.51/2051.30	o 7662401
1951.90/2051.76	o 7662311
1952.00/2051.80	o 7662305
1954.40/2054.26	o 7662277
1954.49/2054.30	o 7662269
1956.31/2056.12	o 7662245
1956.31/2056.15	o 7662237
1956.39/2056.25	o 7662229
1957.31/2057.15	o 7662225
1971.62/2071.90	o 7662209
1971.62/2071.91	o 7662145
1971.83/2072.19	o 7662129
1972.12/2072.43	o 7662109
1972.22/2072.56	o 7643541
1972.22/2072.57	o 7643501
1972.32/2072.61	o 7643499
1972.32/2072.67	o 7643494
1972.42/2072.70	o 7643489
1972.42/2072.72	o 7643484
1973.01/2073.31	o 7643474
1973.22/2073.51	o 7643472
1974.51/2074.86	o 7643466
1977.01/2077.32	o 7643460
1977.11/2077.42	o 7643456
1978.10/2078.49	o 7639360
1978.50/2078.81	o 7627825
1978.50/2078.85	o 7627824
1978.50/2078.87	o 7627822
1981.49/2081.85	o 7627817
1981.49/2081.88	o 7627816
1981.60/2081.90	o 7627808
1981.71/2082.05	o 7627806
1981.90/2082.20	o 7627805
1981.90/2082.22	o 7627801
1982.00/2082.39	o 7627799
1982.10/2082.41	o 7627791
1982.10/2082.46	o 7627788
1982.10/2082.48	o 7627785
1982.19/2082.52	o 7627782
1982.19/2082.54	o 7627779
1991.17/2091.55	o 7627775
1991.17/2091.58	o 7627771
1991.28/2091.61	o 7627763
1994.37/2094.78	o 7608918
1994.46/2094.83	o 7608910
1994.46/2094.87	o 7509582
1995.36/2095.76	o 7505230
1995.46/2095.86	o 7505226
1995.56/2095.93	o 7505198
2010.12/2111.11	o 7505195
2039.16/2141.00	o 7476529
2039.27/2141.01	o 7476521
2039.27/2141.02	o 7476519
2039.27/2141.03	o 7476516
2039.27/2141.04	o 7476510
2039.27/2141.04	o 7476507
2040.06/2141.86	o 7476504
2040.06/2141.87	o 7476495
2040.16/2141.96	o 7476482
2040.27/2142.07	o 7476481
2040.27/2142.09	o 7476478
2040.37/2142.19	o 7403518
2040.45/2142.23	o 7327755
2040.45/2142.24	o 7327745
2040.45/2142.27	o 7327742
2040.56/2142.37	o 7327740
2040.66/2142.40	o 7327730
2040.66/2142.41	o 7327724
2040.66/2142.43	o 7327719
2041.37/2143.16	o 7327705
2041.37/2143.18	o 7327701
2041.37/2143.19	o 7325909
2041.45/2143.21	o 7325906
2041.45/2143.22	o 7322834
2041.85/2143.65	o 7322828
2041.85/2143.67	o 7322768
2041.85/2143.69	o 7322762
2042.36/2144.17	o 7322759
2042.36/2144.18	o 7322756
2042.95/2144.76	o 7306372
2043.06/2144.80	o 7306341
2043.06/2144.84	o 7283813
2043.06/2144.86	o 7283801
2043.06/2144.89	o 7283797
2044.95/2146.72	o 7283795
2044.95/2146.75	o 7283790
2044.95/2146.78	o 7283781
2045.05/2146.80	o 7283776
2049.44/2151.26	o 7283741
2049.54/2151.31	o 7271453
2049.54/2151.36	o 7271451
2058.12/2159.90	o 7271259
2058.71/2160.59	o 7271256
2060.51/2162.35	o 7271252
2060.61/2162.42	o 7271240
2060.71/2162.53	o 7166289
2060.71/2162.56	o 7166280
2061.81/2163.66	o 7166277
2062.61/2164.40	o 7166275
2062.61/2164.42	o 7166273
2062.61/2164.45	o 7166271
2062.61/2164.47	o 7166269
2062.71/2164.54	o 7166237
2062.91/2164.77	o 7166232
2063.01/2164.84	o 7166224
2063.50/2165.35	o 7166214
2063.50/2165.38	o 7166194
2063.60/2165.47	o 7166189
2063.70/2165.51	o 7166149
2063.70/2165.58	o 7166144
2063.90/2165.70	o 7158822
2066.59/2169.71	o 7158813
2066.59/2169.78	o 7155741
2066.68/2169.82	o 7139357
2067.49/2170.65	o 7139354
2067.79/2170.97	o 7139348
2068.29/2171.49	o 7139342
2068.38/2171.53	o 7139336
2069.18/2172.36	o 7139330
2069.18/2172.39	o 7139322
2069.28/2172.43	o 7139318
2069.28/2172.46	o 7139314
2069.28/2172.48	o 7139254
2070.18/2173.39	o 7139252
2070.38/2173.51	o 7139249
2070.38/2173.55	o 7139245
2070.48/2173.62	o 7139243
2071.07/2174.24	o 7139215
2071.17/2174.34	o 7139213
2071.38/2174.52	o 7138189
2071.58/2174.73	o 7138187
2071.67/2174.85	o 7129995
2071.88/2175.06	o 7129989
2072.00/2175.15	o 7127941
2072.18/2175.34	o 7127940
2072.18/2175.37	o 7127939
2072.28/2175.41	o 7127937
2075.98/2179.16	o 7127929
2078.46/2181.61	o 7127920
2083.86/2187.08	o 7127919
2084.25/2187.47	o 7127903
2085.05/2188.21	o 7127898
2085.05/2188.22	o 7127897
2085.05/2188.25	o 7127895
2085.34/2188.50	o 7127886
2085.34/2188.51	o 7127885
2085.34/2188.55	o 7127858
2085.34/2188.57	o 7127857
2085.65/2188.86	o 7127855
2085.65/2188.88	o 7127851
2085.74/2188.90	o 7127850
2085.74/2188.91	o 7127849
2085.74/2188.93	o 7127847
2085.85/2189.05	o 7078183
2085.96/2189.13	o 7078179
2088.95/2192.18	o 7078173
2088.95/2192.19	o 7078169
2089.73/2192.97	o 7076121
2091.33/2194.50	o 7076089
2111.15/2215.37	o 7075833
2113.05/2217.27	o 7075829
2113.15/2217.31	o 7075827
2113.15/2217.32	o 7075825
2113.55/2217.77	o 7044082
2113.65/2217.85	o 7043570
2116.14/2220.37	o 7043558
2116.24/2220.40	o 7043555
2117.64/2221.84	o 7043547
2117.74/2221.91	o 7043543
2118.33/2222.58	o 7043540
2118.54/2222.72	o 7040468
2120.34/2224.55	o 7040467
2120.34/2224.58	o 7040464
2121.03/2225.22	o 7040463
2121.03/2225.25	o 7040462
2121.33/2225.55	o 7040451
2121.73/2225.96	o 7034623
2121.85/2226.06	o 7034595
2121.85/2226.10	o 7034531
2122.72/2227.01	o 7034529
2122.84/2227.04	o 7034527
2122.95/2227.15	o 6911129
2123.13/2227.30	o 6911128
2123.13/2227.35	o 6911122
2123.13/2227.37	o 6911121
2123.23/2227.43	o 6911097
2123.23/2227.46	o 6911096
2123.23/2227.49	o 6911095
2123.33/2227.54	o 6911079
2124.32/2228.59	o 6911077
2124.42/2228.63	o 6911075
2124.52/2228.76	o 6911073
2124.52/2228.79	o 6911072
2124.62/2228.82	o 6796384
2125.53/2229.72	o 6796352
2126.22/2230.91	o 6796336
2128.11/2232.82	o 6796330
2128.21/2232.93	o 6796282
2130.80/2235.59	o 6796258
2131.50/2236.23	o 6796250
2131.50/2236.27	o 6796242
2131.60/2236.30	o 6796202
2131.80/2236.53	o 6796190
2131.80/2236.56	o 6796184
2135.19/2239.93	o 6796180
2135.19/2239.99	o 6795796
2135.30/2240.06	o 6795604
2150.56/2255.32	o 6795598
2157.64/2262.40	o 6795596
2157.64/2262.42	o 6795592
2157.64/2262.43	o 6795584
2157.64/2262.49	o 6795376
2157.74/2262.54	o 6795344
2157.74/2262.56	o 6795340
2157.74/2262.57	o 6795336
2158.85/2276.27	o 6791240
2180.55/2298.68	o 6725448
2181.65/2299.70	o 6725446
2181.65/2299.77	o 6724806
2260.81/2380.49	o 6724804
2261.61/2381.22	o 6724782
2261.61/2381.23	o 6724780
2262.61/2382.22	o 6724756
2263.31/2382.92	o 6724747
2263.53/2383.18	o 6724717
2263.61/2383.20	o 6724693
2263.61/2383.29	o 6724690
2263.81/2383.40	o 6724687
2264.71/2384.35	o 6724685
2264.71/2384.37	o 6724683
2265.80/2385.48	o 6696363
2265.90/2385.50	o 6692267
2265.90/2385.53	o 6684075
2265.90/2385.56	o 6574507
2265.90/2385.59	o 6493611
2266.00/2385.65	o 6493355
2266.52/2386.12	o 6493227
2266.52/2386.16	o 6493163
2266.60/2386.20	o 6491115
2266.90/2386.59	o 6491083
2267.00/2386.61	o 6491067
2267.00/2386.67	o 6491061
2267.29/2386.93	o 6491051
2267.70/2387.37	o 6491037
2267.80/2387.45	o 6491027
2275.08/2395.12	o 6491024
2275.26/2395.35	o 6491020
2275.36/2395.44	o 6491018
2275.75/2395.86	o 6491015
2277.96/2398.07	o 6491013
2278.06/2398.11	o 6491005
2278.35/2398.46	o 6490877
2280.44/2400.59	o 6490874
2280.65/2400.75	o 6490873
2280.75/2400.81	o 6490872
2280.85/2400.90	o 6467968
2280.85/2400.92	o 6467964
2280.85/2400.95	o 6467948
2280.85/2400.98	o 6467946
2280.96/2401.03	o 6467944
2280.96/2401.05	o 6467940
2280.96/2401.10	o 6467938
2281.06/2401.19	o 6467936
2294.93/2415.05	o 6467930
2294.93/2415.07	o 6467926
2295.03/2415.14	o 6467925
2296.21/2416.36	o 6467885
2296.31/2416.46	o 6467879
2296.31/2416.49	o 6467876
2296.41/2416.51	o 6467870
2296.50/2416.63	o 6467866
2296.71/2416.85	o 6467860
2299.30/2419.40	o 6467850
2316.19/2436.89	o 6467846
2316.29/2436.90	o 6467844
2325.66/2446.30	o 6467835
2325.76/2446.40	o 6390011
2326.95/2447.65	o 6389499
2326.95/2447.68	o 6389243
2327.05/2447.70	o 6389195
2327.05/2447.73	o 6389179
2327.48/2448.18	o 6389147
2327.56/2448.23	o 6389115
2328.36/2449.06	o 6389099
2328.56/2449.23	o 6389097
2328.56/2449.26	o 6389081
2328.85/2449.55	o 6389017
2328.96/2449.62	o 6385945
2328.96/2449.68	o 6385944
2331.75/2452.46	o 6385936
2331.75/2452.48	o 6385932
2331.75/2452.50	o 6385930
2331.84/2452.54	o 6385926
2332.04/2452.73	o 6385924
2332.04/2452.77	o 6385922
2332.04/2452.79	o 6385920
2332.54/2453.25	o 6321996
2332.65/2453.95	o 6321994
2332.65/2453.99	o 6321978
2332.86/2454.13	o 6321946
2333.64/2454.99	o 6321936
2335.13/2456.42	o 6321935
2336.75/2458.02	o 6321775
2344.42/2465.72	o 6321695
2344.62/2465.92	o 6321675
2345.73/2467.11	o 6321674
2345.83/2467.12	o 6321673
2345.83/2467.14	o 6321657
2347.01/2468.38	o 6321649
2347.11/2468.40	o 6321645
2347.31/2468.69	o 6321644
2347.41/2468.72	o 6321643
2349.61/2470.95	o 6321616
2349.61/2470.97	o 6321600
2349.72/2471.05	o 6313408
2349.72/2471.06	o 6313280
2349.72/2471.08	o 6309184
2349.72/2471.09	o 6308928
2351.82/2473.19	o 6286400
2370.53/2492.96	o 6254656
2370.83/2493.20	o 6254640
2371.33/2493.77	o 6254634
2371.53/2493.90	o 6254628
2373.53/2495.97	o 6254618
2373.53/2495.99	o 6254598
2405.26/2529.93	o 6254597
2432.90/2570.36	o 6254405
2432.90/2570.39	o 6254403
2435.98/2573.49	o 6254397
2436.60/2574.10	o 6254391
2439.19/2576.65	o 6254385
2439.19/2576.66	o 6254379
2443.77/2581.27	o 6254369
2443.88/2581.37	o 6254368
2445.27/2582.75	o 6254340
2445.58/2583.03	o 6254338
2445.76/2583.23	o 6254337
2448.06/2585.58	o 6198305
2448.86/2586.36	o 6198177
2449.16/2586.61	o 6198176
2449.16/2586.64	o 6120448
2449.67/2587.12	o 6098944
2454.66/2592.16	o 6045696
2495.72/2642.01	o 5974016
2495.82/2642.14	o 5971968
2495.82/2642.18	o 5968384
2495.82/2642.19	o 5968128
2495.91/2642.22	o 5968000
2495.91/2642.23	o 5967936
2495.91/2642.24	o 5967904
2495.91/2642.24	o 5967888
2496.11/2642.49	o 5967872
2496.21/2642.50	o 5967824
2496.21/2642.51	o 5967568
2496.21/2642.52	o 5967552
2496.21/2642.53	o 5967040
2496.21/2642.54	o 5958848
2496.91/2643.20	o 5958720
2496.91/2643.26	o 5958688
2496.91/2643.27	o 5958672
2496.91/2643.28	o 5958656
2498.30/2644.61	o 5954560
2498.41/2644.71	o 5952512
2593.84/2745.38	o 5952480
2593.94/2745.40	o 5952464
2593.94/2745.41	o 5951952
2593.94/2745.43	o 5951824
2593.94/2745.44	o 5951568
2593.94/2745.47	o 5951504
2633.83/2786.66	o 5926928
2712.92/2870.57	o 5904400
2712.92/2870.59	o 5904397
2713.22/2870.80	o 5831549
2713.22/2870.82	o 5830013
2713.22/2870.84	o 5829245
2713.33/2870.90	o 5804669
2713.33/2870.91	o 5798525
2713.54/2871.12	o 5798497
2713.54/2871.13	o 5798483
2714.12/2871.79	o 5798471
2714.31/2871.93	o 5798023
2714.31/2871.96	o 5797799
2714.31/2872.00	o 5797687
2714.62/2872.21	o 5797639
2714.62/2872.22	o 5797633
2714.62/2872.28	o 5797249
2715.32/2872.95	o 5797181
2715.32/2872.98	o 5796989
2715.71/2873.38	o 5796977
2716.02/2873.65	o 5796893
2716.11/2873.70	o 5796887
2716.11/2873.78	o 5796884
2716.91/2874.58	o 5796867
2717.01/2874.64	o 5751811
2717.01/2874.66	o 5751808
2717.42/2875.04	o 5720064
2730.17/2888.34	o 5570560
2731.98/2890.13	o 5537792
2736.25/2894.45	o 5528576
2739.15/2897.35	o 5506048
2739.15/2897.39	o 5470208
2817.79/2977.03	o 5440512
2897.34/3060.40	o 5331968
3260.98/3477.57	o 5325824
3332.04/3553.66	o 5321728
3360.02/3592.81	o 5313536
3451.42/3700.05	c Program interrupted by user.
3451.42/3700.05	s SATISFIABLE
3451.42/3700.05	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 x1542 -x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 x4061 -x4062 -x4063 -x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 x4541 -x4542 x4543 -x4544 x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 x4903 x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 x5532 -x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 x6552 x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 x7804 -x7805 x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 x7814 -x7815 -x7816 -x7817 -x7818 x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 x7856 -x7857 -x7858 x7859 -x7860 -x7861 -x7862 -x7863 x7864 -x7865 -x7866 -x7867 x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 x7891 -x7892 x7893 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 x7910 x7911 x7912 -x7913 -x7914 -x7915 x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 x7949 -x7950 -x7951 x7952 x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 x7961 -x7962 -x7963 x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 x8019 x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060

Verifier Data 

OK	5313536

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-4441029-1721752159/watcher-4441029-1721752159 -o /tmp/evaluation-result-4441029-1721752159/solver-4441029-1721752159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107565 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441029-1721752159 --seed=1289981903 HOME/instance-4441029-1721752159.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=107605, runsolver pid=107598
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 2.06 2.18 2.17 6/251 107622
/proc/meminfo: memFree=124958172/131655788 swapFree=131071996/131071996
[pid=107605] ppid=107598 vsize=37696 memory=14732 CPUtime=0.09 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 3253 0 0 0 8 1 0 0 20 0 1 0 11205829 38600704 3683 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 9424 3683 884 1006 0 8185 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37696 KiB
Current children cumulated memory: 14732 KiB

[startup+0.215075 s]*
/proc/loadavg: 2.06 2.18 2.17 6/254 107628
/proc/meminfo: memFree=124874604/131655788 swapFree=131071996/131071996
[pid=107605] ppid=107598 vsize=37696 memory=14732 CPUtime=0.2 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 3256 0 0 0 19 1 0 0 20 0 1 0 11205829 38600704 3683 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 9424 3683 884 1006 0 8185 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37696 KiB
Current children cumulated memory: 14732 KiB

[startup+0.313382 s]*
/proc/loadavg: 2.06 2.18 2.17 5/254 107628
/proc/meminfo: memFree=124826652/131655788 swapFree=131071996/131071996
[pid=107605] ppid=107598 vsize=37696 memory=14732 CPUtime=0.29 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 3259 0 0 0 28 1 0 0 20 0 1 0 11205829 38600704 3683 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 9424 3683 884 1006 0 8185 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 37696 KiB
Current children cumulated memory: 14732 KiB

[startup+0.700299 s]
/proc/loadavg: 2.06 2.18 2.17 5/254 107628
/proc/meminfo: memFree=124768704/131655788 swapFree=131071996/131071996
[pid=107605] ppid=107598 vsize=38752 memory=15904 CPUtime=0.67 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 3529 0 0 0 63 4 0 0 20 0 1 0 11205829 39682048 3976 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 9688 3976 915 1006 0 8449 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38752 KiB
Current children cumulated memory: 15904 KiB

[startup+1.50032 s]
/proc/loadavg: 2.06 2.18 2.17 6/254 107628
/proc/meminfo: memFree=124686560/131655788 swapFree=131071996/131071996
[pid=107605] ppid=107598 vsize=50284 memory=26928 CPUtime=1.47 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 6532 0 0 0 139 8 0 0 20 0 1 0 11205829 51490816 6732 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 12571 6732 1139 1006 0 11332 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50284 KiB
Current children cumulated memory: 26928 KiB

[startup+3.11413 s]
/proc/loadavg: 2.06 2.18 2.17 6/254 107630
/proc/meminfo: memFree=124363212/131655788 swapFree=131071996/131071996
[pid=107605] ppid=107598 vsize=60752 memory=46248 CPUtime=3.08 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 9295 0 0 0 298 10 0 0 20 0 1 0 11205829 62210048 11562 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 15188 11562 1155 1006 0 13949 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60752 KiB
Current children cumulated memory: 46248 KiB

[startup+6.30031 s]
/proc/loadavg: 2.29 2.23 2.19 5/254 107630
/proc/meminfo: memFree=123994756/131655788 swapFree=131071996/131071996
[pid=107605] ppid=107598 vsize=68092 memory=59752 CPUtime=6.25 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 11129 0 0 0 611 14 0 0 20 0 1 0 11205829 69726208 14938 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 17023 14938 1155 1006 0 15784 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 68092 KiB
Current children cumulated memory: 59752 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=107605] ppid=107598 vsize=119048 memory=91664 CPUtime=12.35 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 16690 0 0 0 1214 21 0 0 20 0 1 0 11205829 121905152 22916 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 29 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 29762 22916 1155 1006 0 28523 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 119048 KiB
Current children cumulated memory: 91664 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=107605] ppid=107598 vsize=129592 memory=112288 CPUtime=25.11 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 19334 0 0 0 2485 26 0 0 20 0 1 0 11205829 132702208 28072 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 29 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 32398 28072 1155 1006 0 31159 0
Current children cumulated CPU time: 25.11 s
Current children cumulated vsize: 129592 KiB
Current children cumulated memory: 112288 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=107605] ppid=107598 vsize=220884 memory=196620 CPUtime=50 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 25725 0 0 0 4950 50 0 0 20 0 1 0 11205829 226185216 49155 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 93 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 55221 49155 1155 1006 0 53982 0
Current children cumulated CPU time: 50 s
Current children cumulated vsize: 220884 KiB
Current children cumulated memory: 196620 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=107605] ppid=107598 vsize=350864 memory=289712 CPUtime=100.01 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 33169 0 0 0 9884 117 0 0 20 0 1 0 11205829 359284736 72428 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 198 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 87716 72428 1155 1006 0 86477 0
Current children cumulated CPU time: 100.01 s
Current children cumulated vsize: 350864 KiB
Current children cumulated memory: 289712 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=107605] ppid=107598 vsize=350864 memory=295072 CPUtime=156.99 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 33378 0 0 0 15517 182 0 0 20 0 1 0 11205829 359284736 73768 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 484 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 87716 73768 1155 1006 0 86477 0
Current children cumulated CPU time: 156.99 s
Current children cumulated vsize: 350864 KiB
Current children cumulated memory: 295072 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=107605] ppid=107598 vsize=363152 memory=305632 CPUtime=211.92 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 34087 0 0 0 20941 251 0 0 20 0 1 0 11205829 371867648 76408 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 978 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 90788 76408 1155 1006 0 89549 0
Current children cumulated CPU time: 211.92 s
Current children cumulated vsize: 363152 KiB
Current children cumulated memory: 305632 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=107605] ppid=107598 vsize=370540 memory=313520 CPUtime=263.66 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 34582 0 0 0 26055 311 0 0 20 0 1 0 11205829 379432960 78380 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1790 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 92635 78380 1155 1006 0 91396 0
Current children cumulated CPU time: 263.66 s
Current children cumulated vsize: 370540 KiB
Current children cumulated memory: 313520 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=107605] ppid=107598 vsize=370540 memory=313564 CPUtime=319.46 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 34702 0 0 0 31568 378 0 0 20 0 1 0 11205829 379432960 78391 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2196 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 92635 78391 1155 1006 0 91396 0
Current children cumulated CPU time: 319.46 s
Current children cumulated vsize: 370540 KiB
Current children cumulated memory: 313564 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=107605] ppid=107598 vsize=370540 memory=313564 CPUtime=374.5 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 34822 0 0 0 36995 455 0 0 20 0 1 0 11205829 379432960 78391 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2677 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 92635 78391 1155 1006 0 91396 0
Current children cumulated CPU time: 374.5 s
Current children cumulated vsize: 370540 KiB
Current children cumulated memory: 313564 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=107605] ppid=107598 vsize=370540 memory=313564 CPUtime=430.73 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 34946 0 0 0 42541 532 0 0 20 0 1 0 11205829 379432960 78391 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3040 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 92635 78391 1155 1006 0 91396 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=2993.96 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 44387 0 0 0 295135 4261 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16069 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 2993.96 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3052.72 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 44526 0 0 0 300941 4331 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16179 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3052.72 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3111.41 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 44707 0 0 0 306741 4400 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16296 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3111.41 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3133.2 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) D 107598 107605 107554 0 -1 4194304 44760 0 0 0 308892 4428 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 16296 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3133.2 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3187.04 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 44892 0 0 0 314216 4488 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 20712 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3187.04 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3246.47 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 45038 0 0 0 320087 4560 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 20755 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3246.47 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3303.46 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 45200 0 0 0 325719 4627 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 21041 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3303.46 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3350.37 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 45327 0 0 0 330342 4695 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 22338 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3350.37 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3407.33 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 45477 0 0 0 335951 4782 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 22627 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3407.33 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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=107605] ppid=107598 vsize=508816 memory=463004 CPUtime=3451.42 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) R 107598 107605 107554 0 -1 4194304 45652 0 0 0 340298 4844 0 0 20 0 1 0 11205829 521027584 115751 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 23978 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 127204 115751 1155 1006 0 125965 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 508816 KiB
Current children cumulated memory: 463004 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 1/271 109686
/proc/meminfo: memFree=2863596/131655788 swapFree=131071472/131071996
[pid=107605] ppid=107598 vsize=193388 memory=189040 CPUtime=3451.46 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) D 107598 107605 107554 0 -1 4194304 45656 0 1 0 340299 4847 0 0 20 0 1 0 11205829 198029312 47260 134679101440 4194304 8311665 140726251542256 0 0 256 0 0 8404994 0 0 0 17 4 0 0 24362 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 48347 47260 1170 1006 0 47108 0
??? kill 107605 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3403 s, system=48.5107 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=107605] ppid=107598 vsize=193388 memory=189040 CPUtime=3451.45 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) D 107598 107605 107554 0 -1 4194304 45656 0 1 0 340298 4847 0 0 20 0 1 0 11205829 198029312 47260 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 24115 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 48347 47260 1170 1006 0 47108 0
Current children cumulated CPU time: 3451.45 s
Current children cumulated vsize: 193388 KiB
Current children cumulated memory: 189040 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=107605] ppid=107598 vsize=193388 memory=189040 CPUtime=3451.46 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) D 107598 107605 107554 0 -1 4194304 45656 0 1 0 340299 4847 0 0 20 0 1 0 11205829 198029312 47260 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 24272 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 48347 47260 1170 1006 0 47108 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 193388 KiB
Current children cumulated memory: 189040 KiB

[startup+3702 s]*
/proc/loadavg: 4.11 4.17 4.11 2/271 109686
/proc/meminfo: memFree=2864588/131655788 swapFree=131071472/131071996
[pid=107605] ppid=107598 vsize=193388 memory=189040 CPUtime=3451.46 cores=4,6
/proc/107605/stat : 107605 (Exact_veripb2) D 107598 107605 107554 0 -1 4194304 45656 0 1 0 340299 4847 0 0 20 0 1 0 11205829 198029312 47260 134679101440 4194304 8311665 140726251542256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 24356 0 0 9173656 9252184 24662016 140726251549512 140726251549792 140726251549792 140726251556807 0
/proc/107605/statm: 48347 47260 1170 1006 0 47108 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 193388 KiB
Current children cumulated memory: 189040 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3706.36
CPU time (s): 3451.51
CPU user time (s): 3403
CPU system time (s): 48.5107
CPU usage (%): 93.1238
Max. virtual memory (cumulated for all children) (KiB): 508816
Max. memory (cumulated for all children) (KiB): 463004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3403
system time used= 48.5107
maximum resident set size= 463004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45656
page faults= 1
swaps= 0
block input operations= 2824
block output operations= 159470072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6939
involuntary context switches= 4677


# summary of solver processes directly reported to runsolver:
#   pid: 107605
#   total CPU time (s): 3451.51
#   total CPU user time (s): 3403
#   total CPU system time (s): 48.5107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3687 second user time and 41.4984 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-23 18:29:20
IDJOB=4441029
IDBENCH=146743
IDSOLVER=3081
FILE ID=nodeC009/4441029-1721752159
RUNJOBID= nodeC009-1721752159-107565
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-ran10x26.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-4441029-1721752159/watcher-4441029-1721752159 -o /tmp/evaluation-result-4441029-1721752159/solver-4441029-1721752159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721752159-107565 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4441029-1721752159 --seed=1289981903 HOME/instance-4441029-1721752159.opb

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
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