Trace number 4440627

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_no_SoPlex 2024-07-05SAT (TO)7566824 3420.64 3703.38

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUM5c8d8ce64a950076da07daccd75facb4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4052992
Best CPU time to get the best result obtained on this benchmark71226.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.59/0.62	o 29417974
0.99/1.06	o 29290998
0.99/1.06	o 29115894
0.99/1.07	o 29022710
0.99/1.07	o 28840438
0.99/1.08	o 28689910
0.99/1.08	o 28474870
0.99/1.09	o 28225014
0.99/1.09	o 28225008
0.99/1.10	o 28225002
1.09/1.12	o 28224996
1.09/1.13	o 28224994
1.09/1.14	o 28224993
1.09/1.16	o 28109281
1.09/1.17	o 27936225
1.09/1.17	o 27740641
1.09/1.18	o 27472353
1.09/1.18	o 27213281
1.09/1.19	o 26964449
1.09/1.19	o 26842593
1.18/1.20	o 26688993
1.18/1.20	o 26503649
1.18/1.21	o 26314209
1.18/1.21	o 26173921
1.18/1.22	o 25946593
1.18/1.22	o 25829857
1.18/1.23	o 25677281
1.18/1.23	o 25448929
1.18/1.23	o 25239009
1.18/1.24	o 25050593
1.18/1.25	o 24893761
1.18/1.26	o 24893759
1.18/1.28	o 24804738
1.27/1.30	o 24804737
1.27/1.32	o 24802689
1.27/1.38	o 24802686
1.27/1.39	o 24802679
1.27/1.39	o 24802663
1.38/1.40	o 24802655
1.38/1.43	o 24800641
1.38/1.44	o 24784255
1.38/1.44	o 24607110
1.38/1.45	o 24607108
1.78/1.86	o 24607099
3.37/3.43	o 24511839
3.57/3.62	o 24511835
3.57/3.67	o 24499547
3.67/3.73	o 24499546
3.77/3.81	o 24499545
3.77/3.83	o 24499541
3.77/3.84	o 24499540
3.77/3.86	o 24499539
3.87/3.92	o 24499535
4.08/4.12	o 24366735
4.37/4.41	o 24288276
4.47/4.57	o 24100116
4.56/4.64	o 24047589
4.56/4.65	o 24047586
4.56/4.67	o 24047584
4.56/4.68	o 24047582
4.66/4.73	o 24046558
4.66/4.79	o 24046555
4.77/4.82	o 23979995
4.86/5.01	o 23972809
4.97/5.07	o 23972805
4.97/5.11	o 23972801
7.45/7.51	o 23972797
12.41/12.72	o 23967677
12.41/12.74	o 23965117
12.41/12.76	o 23964877
12.41/12.79	o 23777614
12.51/12.83	o 23685472
12.51/12.86	o 23685328
12.51/12.88	o 23685296
12.60/12.91	o 23684016
12.60/12.95	o 23683888
12.72/13.03	o 23644752
12.72/13.08	o 23644750
12.72/13.10	o 23644748
12.81/13.12	o 23644744
12.81/13.13	o 23644730
12.81/13.15	o 23624250
13.01/13.32	o 23624206
13.01/13.35	o 23624194
13.01/13.39	o 23618050
13.11/13.44	o 23616002
13.50/13.81	o 23490915
13.50/13.87	o 23490912
13.60/13.90	o 23490910
13.60/13.92	o 23490908
13.60/13.94	o 23490905
13.60/13.99	o 23490884
13.71/14.04	o 23490628
13.81/14.11	o 23490626
13.81/14.14	o 23490622
13.81/14.17	o 23490618
13.81/14.19	o 23490614
13.90/14.22	o 23490566
13.90/14.25	o 23490562
13.90/14.27	o 23490558
14.00/14.30	o 23490552
14.00/14.34	o 23490549
14.11/14.47	o 23470431
14.30/14.62	o 23470430
14.30/14.65	o 23470429
14.40/14.74	o 23470415
14.60/14.94	o 23470159
14.99/15.39	o 23470157
18.29/18.64	o 23470153
27.67/28.05	o 23364599
27.67/28.11	o 23364561
27.77/28.12	o 23364556
27.77/28.18	o 23363532
27.85/28.21	o 23357388
27.85/28.25	o 23223392
27.85/28.27	o 23223388
27.95/28.30	o 23223384
27.95/28.32	o 23223363
27.95/28.34	o 23223362
27.95/28.37	o 23218781
28.05/28.41	o 23218776
28.05/28.43	o 23218774
28.15/28.56	o 23218772
28.35/28.72	o 23057325
28.35/28.75	o 23057285
28.35/28.76	o 23057181
28.55/28.95	o 23015444
28.55/28.97	o 23015443
29.25/29.68	o 23015437
29.35/29.76	o 23015433
29.35/29.79	o 23009289
29.45/29.87	o 23007241
29.66/30.04	o 23000182
29.66/30.08	o 23000168
29.76/30.15	o 23000166
29.76/30.18	o 23000165
29.95/30.35	o 22999909
30.05/30.45	o 22999897
30.25/30.60	o 22999896
30.25/30.63	o 22999892
30.25/30.65	o 22999891
30.35/30.78	o 22999889
30.45/30.81	o 22999888
30.45/30.87	o 22999887
30.54/30.98	o 22999880
31.14/31.56	o 22999879
31.44/31.82	o 22999877
31.54/31.94	o 22999853
31.54/31.98	o 22999852
31.65/32.02	o 22999848
32.54/32.91	o 22999336
36.23/36.68	o 22999335
37.43/37.82	o 22999330
38.63/39.09	o 22999328
39.64/40.06	o 22909855
39.74/40.17	o 22843337
39.82/40.22	o 22843313
40.02/40.48	o 22835121
40.12/40.53	o 22834865
40.12/40.59	o 22834769
40.22/40.67	o 22831121
40.32/40.75	o 22831025
40.51/40.94	o 22830001
40.73/41.15	o 22829993
40.81/41.24	o 22829983
40.81/41.29	o 22829981
41.12/41.54	o 22829979
41.22/41.61	o 22829971
41.32/41.79	o 22829969
42.26/43.59	o 22780817
42.56/43.84	o 22780810
42.66/43.92	o 22780806
43.66/44.97	o 22780774
44.15/45.48	o 22780772
51.04/52.36	o 22649564
51.04/52.38	o 22649563
51.23/52.50	o 22649559
51.23/52.52	o 22464215
51.23/52.54	o 22464213
51.23/52.58	o 22453581
51.53/52.84	o 22347533
51.63/52.93	o 22157069
51.63/52.97	o 22157068
51.63/52.98	o 22157046
51.63/53.01	o 22157045
51.75/53.02	o 22157044
51.75/53.09	o 22156912
51.85/53.11	o 22156910
51.85/53.13	o 22156903
51.85/53.15	o 22155879
51.94/53.20	o 22155878
51.94/53.26	o 22154598
52.04/53.30	o 22154502
52.04/53.33	o 22153478
52.04/53.39	o 22153462
52.44/53.76	o 22150156
52.44/53.79	o 22150126
52.53/53.90	o 22149102
52.63/53.91	o 22149097
52.63/53.93	o 22149081
53.43/54.77	o 22149075
53.63/54.94	o 22149072
53.63/55.00	o 22149071
53.74/55.05	o 22149068
53.84/55.17	o 22141191
53.93/55.21	o 22141190
53.93/55.28	o 22117516
54.03/55.30	o 22117510
54.03/55.35	o 22117509
54.03/55.37	o 22117497
54.03/55.39	o 22117491
54.12/55.42	o 22117488
54.32/55.63	o 22117472
54.32/55.68	o 22117466
54.42/55.78	o 22061114
54.62/55.98	o 22061112
54.74/56.01	o 22039616
54.74/56.03	o 21989427
54.74/56.05	o 21988411
54.74/56.09	o 21988027
54.84/56.16	o 21987835
54.93/56.22	o 21987323
55.03/56.30	o 21987067
55.03/56.33	o 21877499
55.13/56.48	o 21877475
55.22/56.51	o 21877473
55.22/56.57	o 21875233
55.32/56.60	o 21875105
55.32/56.69	o 21783201
55.52/56.86	o 21771443
55.52/56.89	o 21771331
55.73/57.05	o 21771330
55.83/57.18	o 21709298
55.92/57.23	o 21709282
56.02/57.30	o 21709218
56.02/57.39	o 21709090
56.42/57.73	o 21709082
56.42/57.75	o 21709002
56.52/57.87	o 21708982
56.62/57.92	o 21701609
56.73/58.04	o 21701577
56.73/58.08	o 21701575
56.83/58.13	o 21701571
56.91/58.24	o 21622034
56.91/58.26	o 21622033
57.01/58.39	o 21622029
57.11/58.43	o 21622027
57.11/58.46	o 21500175
57.11/58.49	o 21498383
57.22/58.52	o 21498381
57.22/58.57	o 21496589
57.32/58.67	o 21496571
57.42/58.70	o 21496569
57.42/58.74	o 21496313
57.42/58.77	o 21496301
57.52/58.80	o 21496291
57.52/58.83	o 21496267
57.61/58.94	o 21414347
57.73/59.04	o 21414341
57.73/59.07	o 21408197
57.73/59.10	o 21407877
57.83/59.14	o 21407870
57.83/59.19	o 21407864
57.91/59.26	o 21407862
58.01/59.39	o 21407861
58.21/59.54	o 21407605
58.31/59.60	o 21249919
58.31/59.64	o 21249914
58.41/59.71	o 21249900
58.41/59.79	o 21249897
58.51/59.82	o 21249817
58.51/59.89	o 21240706
58.61/59.97	o 21240658
65.99/67.30	o 21240656
65.99/67.34	o 21240272
66.09/67.41	o 21188208
66.09/67.44	o 21188203
66.18/67.54	o 21186411
66.18/67.56	o 21186379
66.18/67.59	o 21186376
66.39/67.76	o 21185353
66.59/67.90	o 21092169
66.70/68.06	o 21092145
66.70/68.10	o 21092139
67.48/68.83	o 21023578
67.48/68.88	o 21023482
67.58/68.92	o 21020410
67.58/69.00	o 21020408
68.28/69.63	o 21020400
68.48/69.82	o 20966385
68.48/69.86	o 20966382
68.58/69.95	o 20966016
68.58/69.97	o 20966015
68.58/69.99	o 20966012
68.69/70.01	o 20966007
68.69/70.05	o 20965935
68.69/70.07	o 20965807
68.69/70.09	o 20965679
68.80/70.14	o 20964655
69.18/70.50	o 20964591
69.28/70.66	o 20964589
69.38/70.71	o 20964583
69.38/70.75	o 20964581
69.48/70.81	o 20934527
69.48/70.84	o 20934520
69.48/70.87	o 20934496
69.58/70.92	o 20934490
69.69/71.06	o 20934488
71.58/72.98	o 20934484
71.69/73.03	o 20934476
71.79/73.18	o 20934460
84.23/87.09	o 20914568
90.70/93.52	o 20914562
90.70/93.58	o 20832636
90.80/93.61	o 20832631
90.80/93.62	o 20832627
90.80/93.63	o 20832623
90.80/93.64	o 20832621
90.80/93.66	o 20832620
90.80/93.67	o 20832619
90.90/93.71	o 20832107
90.90/93.73	o 20832099
91.20/94.01	o 20832098
91.20/94.04	o 20832086
91.40/94.21	o 20832079
91.40/94.24	o 20832076
91.50/94.30	o 20832075
91.60/94.43	o 20806719
91.60/94.49	o 20806715
91.70/94.53	o 20676934
91.70/94.58	o 20676678
91.80/94.64	o 20676614
91.80/94.66	o 20676502
91.80/94.68	o 20676500
91.89/94.74	o 20676498
91.99/94.83	o 20676490
91.99/94.85	o 20669738
91.99/94.86	o 20669642
91.99/94.89	o 20658422
92.09/94.93	o 20658418
92.30/95.14	o 20634119
92.30/95.17	o 20634113
92.39/95.23	o 20634107
92.39/95.24	o 20634103
92.49/95.34	o 20568295
92.49/95.36	o 20568293
92.70/95.54	o 20568284
92.70/95.57	o 20568277
92.80/95.61	o 20495586
92.80/95.62	o 20358370
92.80/95.66	o 20357346
92.90/95.70	o 20357090
92.90/95.72	o 20357066
92.90/95.74	o 20357065
92.90/95.75	o 20357053
92.90/95.79	o 20356861
92.99/95.87	o 20356445
93.09/95.90	o 20258141
93.20/96.03	o 20221661
93.20/96.05	o 20221501
93.20/96.08	o 20221490
93.20/96.10	o 20221485
93.30/96.11	o 20221437
93.30/96.13	o 20221341
93.30/96.17	o 20221317
93.30/96.18	o 20221061
93.39/96.22	o 20141045
93.39/96.24	o 20141041
93.39/96.28	o 20141037
93.49/96.33	o 20112365
93.49/96.39	o 20112357
93.59/96.48	o 20112341
94.39/97.22	o 20112337
94.39/97.26	o 20110289
94.49/97.30	o 20110033
94.49/97.33	o 20109841
94.58/97.45	o 20109713
94.68/97.54	o 20109697
94.79/97.64	o 20076958
94.89/97.70	o 20068766
94.99/97.88	o 20059963
95.09/97.91	o 20059949
95.09/97.93	o 20059945
95.09/97.97	o 20057897
95.68/98.53	o 20057449
95.68/98.57	o 20057442
95.78/98.60	o 20056994
95.78/98.69	o 20056993
95.89/98.72	o 20056991
95.89/98.74	o 20056986
96.20/99.08	o 20056982
96.30/99.14	o 20056975
96.30/99.17	o 20056947
96.38/99.28	o 20056691
96.48/99.33	o 20056179
96.58/99.44	o 20056051
97.98/100.87	o 20056049
98.08/100.91	o 20055601
98.08/100.93	o 20055585
98.19/101.03	o 20055583
98.19/101.07	o 20055551
107.66/110.50	o 20055527
107.85/110.78	o 20055367
107.95/110.81	o 20055355
107.95/110.82	o 20055349
107.95/110.83	o 20055317
107.95/110.88	o 20037067
107.95/110.89	o 20037065
108.05/110.91	o 20037064
108.05/110.94	o 20037032
108.05/110.99	o 19962283
108.26/111.11	o 19962277
108.36/111.21	o 19962270
108.36/111.23	o 19962262
108.85/111.76	o 19962246
108.95/111.87	o 19887526
109.06/111.94	o 19887514
109.06/111.95	o 19887512
109.06/111.97	o 19887384
109.16/112.04	o 19887326
109.16/112.06	o 19887318
109.27/112.12	o 19887314
109.27/112.13	o 19887266
109.27/112.15	o 19887264
109.27/112.17	o 19887261
109.27/112.18	o 19887133
109.35/112.21	o 19886845
109.35/112.26	o 19886834
109.45/112.31	o 19886778
109.65/112.51	o 19886771
109.65/112.53	o 19886769
109.65/112.54	o 19886762
109.65/112.59	o 19883690
109.75/112.63	o 19883686
109.85/112.70	o 19879078
109.95/112.82	o 19879062
109.95/112.88	o 19878998
110.05/112.96	o 19849751
110.05/112.97	o 19849740
110.05/112.99	o 19711500
110.16/113.05	o 19711276
110.64/113.52	o 19707692
110.74/113.60	o 19707685
110.74/113.69	o 19704101
110.94/113.87	o 19704097
111.16/114.05	o 19702305
111.16/114.08	o 19702241
111.35/114.24	o 19702239
111.35/114.26	o 19702236
111.35/114.28	o 19702234
111.45/114.30	o 19702210
111.45/114.32	o 19702206
112.44/115.39	o 19698622
112.74/115.65	o 19698574
112.84/115.72	o 19696782
112.84/115.75	o 19696758
112.84/115.78	o 19696646
112.94/115.81	o 19693318
112.94/115.84	o 19692998
113.84/116.73	o 19692996
114.04/116.92	o 19686852
114.25/117.15	o 19686850
114.64/117.58	o 19563146
114.74/117.61	o 19563138
114.74/117.63	o 19563135
114.74/117.65	o 19498383
124.62/127.54	o 19428461
130.00/132.97	o 19428460
131.59/134.59	o 19350514
131.69/134.60	o 19350510
131.69/134.61	o 19350502
131.69/134.63	o 19350490
131.69/134.66	o 19350462
131.69/134.67	o 19348414
131.79/134.70	o 19348410
132.29/135.21	o 19348406
132.29/135.23	o 19348374
132.29/135.25	o 19348358
133.59/136.52	o 19230910
133.59/136.55	o 19230880
133.59/136.57	o 19230752
133.69/136.61	o 19230748
133.99/137.01	o 19230746
134.11/137.04	o 19230745
135.06/139.19	o 19230735
135.16/139.21	o 19230727
135.16/139.24	o 19230718
135.35/139.49	o 19230714
135.65/139.74	o 19230713
135.65/139.77	o 19230710
136.24/140.34	o 19230705
136.24/140.37	o 19230703
136.24/140.38	o 19230702
136.34/140.41	o 19230696
136.34/140.43	o 19122152
138.45/142.55	o 19122151
148.32/152.47	o 19122149
148.32/152.49	o 19122146
148.52/152.65	o 19122145
148.52/152.67	o 19122115
148.52/152.68	o 19122113
148.61/152.70	o 19122105
148.61/152.71	o 19122101
148.61/152.74	o 19006389
148.71/152.82	o 19006387
148.71/152.86	o 19006385
148.71/152.89	o 19006379
148.81/152.91	o 19006376
148.81/152.93	o 19005352
148.81/152.96	o 19005096
148.92/153.07	o 19005092
149.11/153.21	o 19005090
149.11/153.22	o 19004834
149.11/153.24	o 19003042
149.11/153.27	o 19002530
151.41/155.53	o 18916959
151.51/155.62	o 18916949
151.61/155.76	o 18916941
151.71/155.80	o 18916925
151.81/156.00	o 18916887
151.92/156.06	o 18916885
151.92/156.08	o 18916882
152.10/156.22	o 18906642
153.40/157.50	o 18892170
153.50/157.62	o 18892070
154.80/158.96	o 18892062
154.91/159.01	o 18891678
155.01/159.13	o 18799740
155.20/159.33	o 18799728
155.20/159.36	o 18799719
155.30/159.44	o 18799626
155.30/159.48	o 18798951
155.50/159.66	o 18683239
155.60/159.72	o 18683238
159.69/163.83	o 18683235
159.69/163.85	o 18683234
160.00/164.12	o 18683170
160.09/164.20	o 18683166
160.29/164.45	o 18683165
160.39/164.51	o 18682141
160.39/164.54	o 18677661
161.28/165.49	o 18677659
161.38/165.52	o 18676635
161.38/165.57	o 18676571
161.48/165.64	o 18556263
162.18/166.36	o 18556255
162.28/166.43	o 18556254
162.38/166.52	o 18556252
162.48/166.68	o 18555996
162.58/166.71	o 18555868
164.67/168.88	o 18555855
172.61/177.89	o 18555087
173.40/178.63	o 18555071
174.40/179.67	o 18555068
174.60/179.82	o 18552939
174.60/179.86	o 18552931
174.70/179.90	o 18552929
174.70/179.92	o 18477167
174.70/179.94	o 18477165
174.70/179.97	o 18477163
175.69/181.00	o 18477161
178.90/184.17	o 18475497
178.99/184.25	o 18471401
182.48/187.75	o 18385049
190.06/195.32	o 18385048
190.36/195.61	o 18385042
190.46/195.78	o 18249884
190.56/195.81	o 18085353
190.56/195.82	o 18085352
190.56/195.84	o 18085349
190.56/195.85	o 18085342
190.66/195.91	o 18085341
190.77/196.09	o 18085335
191.15/196.47	o 18085079
191.15/196.49	o 18085076
191.35/196.62	o 18084692
191.87/197.12	o 18076260
191.87/197.15	o 18075492
191.96/197.20	o 17934180
191.96/197.22	o 17934176
192.06/197.35	o 17934168
193.04/198.38	o 17934164
193.14/198.44	o 17934156
193.35/198.60	o 17933132
193.45/198.75	o 17933124
193.65/198.95	o 17929028
193.86/199.17	o 17929026
193.95/199.23	o 17929024
194.25/199.56	o 17885008
194.45/199.75	o 17884992
194.45/199.78	o 17884988
194.54/199.81	o 17884912
195.05/200.31	o 17859276
195.15/200.41	o 17859273
195.35/200.67	o 17858485
195.44/200.74	o 17858481
197.14/203.66	o 17858457
197.95/204.45	o 17834261
198.05/204.51	o 17834260
198.15/204.63	o 17833236
198.15/204.68	o 17832852
200.24/206.76	o 17832850
200.65/207.19	o 17832846
200.74/207.28	o 17832843
200.83/207.33	o 17832827
201.13/207.62	o 17832820
201.23/207.76	o 17832815
209.63/216.18	o 17832687
219.29/225.85	o 17831663
219.29/225.88	o 17831603
219.39/225.91	o 17831579
219.39/225.92	o 17831543
219.39/225.94	o 17831539
219.39/225.96	o 17831528
219.39/225.97	o 17831525
219.51/226.08	o 17831524
219.51/226.09	o 17831521
219.69/226.26	o 17831519
219.69/226.27	o 17831518
219.79/226.30	o 17831517
219.89/226.41	o 17831515
219.89/226.43	o 17765021
219.89/226.45	o 17765016
219.89/226.46	o 17765012
219.99/226.50	o 17765008
220.29/226.82	o 17765007
221.19/227.76	o 17765005
221.19/227.78	o 17673426
221.29/227.84	o 17581266
221.29/227.87	o 17581264
221.39/227.90	o 17581260
221.39/227.95	o 17581258
221.39/227.98	o 17581252
221.39/228.01	o 17581248
221.50/228.03	o 17581246
221.60/228.15	o 17581238
221.60/228.19	o 17581234
222.19/228.77	o 17581230
222.29/228.89	o 17537654
222.38/228.92	o 17537646
222.38/228.95	o 17537642
222.38/228.97	o 17537631
222.38/229.00	o 17537630
222.50/229.03	o 17537625
223.08/229.64	o 17537622
223.08/229.69	o 17537620
223.28/229.82	o 17537616
223.28/229.87	o 17537612
224.08/230.61	o 17528552
224.08/230.64	o 17528551
224.08/230.67	o 17528535
224.28/230.80	o 17528534
232.91/240.53	o 17528529
233.01/240.66	o 17528465
233.11/240.78	o 17528462
233.11/240.79	o 17528457
233.21/240.82	o 17528452
233.21/240.87	o 17528447
233.31/240.90	o 17528435
233.52/241.12	o 17528433
233.52/241.13	o 17528401
239.41/247.03	o 17528397
241.59/249.23	o 17525837
246.07/253.70	o 17405433
246.48/254.17	o 17404793
246.57/254.25	o 17404777
246.67/254.30	o 17404757
246.67/254.36	o 17404513
246.77/254.44	o 17404512
246.88/254.51	o 17399487
246.98/254.60	o 17399482
246.98/254.64	o 17399477
246.98/254.69	o 17399407
247.08/254.73	o 17295983
247.39/255.05	o 17295887
247.57/255.22	o 17295886
247.67/255.34	o 17295880
247.77/255.46	o 17284092
247.87/255.52	o 17283068
248.07/255.72	o 17283064
248.07/255.77	o 17283049
248.17/255.81	o 17283013
248.87/256.53	o 17213403
262.21/271.11	o 17213391
262.31/271.14	o 17204111
262.31/271.19	o 17204103
270.68/279.54	o 17204092
270.68/279.59	o 17204090
270.78/279.67	o 17165069
270.88/279.78	o 17165061
270.98/279.87	o 17164549
271.19/280.11	o 17164545
271.77/280.64	o 17160449
275.47/284.36	o 17053441
279.86/288.79	o 17053435
279.96/288.86	o 17053434
280.05/288.91	o 17053433
280.05/288.97	o 16973645
291.83/303.49	o 16973638
301.60/313.23	o 16973534
301.60/313.24	o 16973278
301.60/313.25	o 16973150
301.60/313.27	o 16973134
308.88/320.50	o 16973133
308.98/320.66	o 16973131
308.98/320.69	o 16845313
310.28/321.93	o 16845311
310.28/321.95	o 16845300
310.68/322.35	o 16844276
320.27/335.58	o 16844270
320.78/336.06	o 16764855
320.78/336.08	o 16764844
320.78/336.10	o 16764838
320.88/336.11	o 16764832
320.88/336.15	o 16764808
320.88/336.16	o 16764728
320.88/336.18	o 16764721
320.97/336.22	o 16764717
321.07/336.33	o 16764714
321.36/336.67	o 16763434
321.46/336.79	o 16763430
321.56/336.84	o 16763429
322.77/338.02	o 16763423
322.96/338.26	o 16763406
326.05/341.30	o 16763394
327.45/342.77	o 16603735
327.87/343.18	o 16603695
344.41/359.77	o 16603693
356.69/374.20	o 16603669
356.69/374.21	o 16603661
356.80/374.38	o 16603637
356.89/374.48	o 16603621
356.99/374.53	o 16602597
357.68/375.22	o 16602587
357.78/375.36	o 16602571
357.89/375.44	o 16602567
357.89/375.48	o 16536418
357.99/375.50	o 16536403
357.99/375.52	o 16536391
357.99/375.56	o 16447696
357.99/375.59	o 16447440
358.09/375.66	o 16447392
358.09/375.69	o 16446880
358.29/375.84	o 16446872
359.18/376.72	o 16446870
359.69/377.21	o 16446742
359.79/377.37	o 16446739
359.79/377.39	o 16446737
360.18/377.75	o 16446673
360.28/377.83	o 16446670
360.28/377.86	o 16446668
360.88/378.42	o 16446667
362.59/380.16	o 16446661
372.64/390.22	o 16446659
372.74/390.31	o 16446658
372.74/390.32	o 16446653
373.04/390.69	o 16446651
373.13/390.72	o 16446650
373.23/390.89	o 16446634
374.14/391.74	o 16434458
374.33/391.99	o 16434451
375.60/396.90	o 16434443
375.60/397.00	o 16434433
375.71/397.08	o 16434427
375.81/397.13	o 16434171
376.21/397.53	o 16434139
376.21/397.58	o 16434091
376.30/397.61	o 16434085
376.30/397.64	o 16434083
376.30/397.66	o 16434077
376.40/397.71	o 16434072
376.40/397.77	o 16433142
377.00/398.31	o 16433141
378.09/399.45	o 16433140
378.19/399.55	o 16433137
378.19/399.59	o 16431601
378.50/399.89	o 16431595
378.60/399.93	o 16431589
378.71/400.02	o 16431397
378.71/400.09	o 16431391
378.81/400.13	o 16303574
378.81/400.17	o 16211426
379.29/400.61	o 16211419
379.29/400.68	o 16211417
379.39/400.73	o 16211413
379.39/400.76	o 16211411
381.38/402.73	o 16210387
382.49/403.90	o 16150319
382.70/404.02	o 16150279
382.70/404.11	o 16035591
388.47/409.84	o 16035587
391.46/412.85	o 15956533
401.34/422.76	o 15956531
401.34/422.77	o 15956527
401.44/422.82	o 15956495
401.44/422.85	o 15956485
401.84/423.24	o 15956473
401.93/423.30	o 15956461
402.13/423.53	o 15956457
402.13/423.55	o 15956453
402.24/423.63	o 15956447
402.24/423.65	o 15956435
402.65/424.08	o 15956433
402.94/424.32	o 15901556
402.94/424.36	o 15901546
403.04/424.44	o 15901410
403.14/424.57	o 15901405
404.10/428.01	o 15901376
404.29/428.24	o 15900352
404.38/428.34	o 15899840
409.97/433.96	o 15899832
410.08/434.07	o 15899792
410.18/434.14	o 15899784
410.27/434.21	o 15899744
410.87/434.80	o 15888046
410.87/434.86	o 15887982
412.56/436.54	o 15887960
412.86/436.82	o 15887953
416.95/440.95	o 15887949
428.53/452.58	o 15886105
428.53/452.59	o 15886087
428.62/452.61	o 15886023
428.62/452.64	o 15886013
428.62/452.65	o 15886012
428.62/452.66	o 15885996
428.72/452.72	o 15885988
428.72/452.74	o 15885982
428.72/452.76	o 15884958
428.72/452.78	o 15884944
428.72/452.80	o 15884940
428.82/452.83	o 15884936
428.92/452.90	o 15884928
428.92/452.91	o 15884924
428.92/452.93	o 15884860
429.14/453.14	o 15827239
429.22/453.26	o 15827237
429.22/453.28	o 15827235
429.52/453.55	o 15739171
429.62/453.60	o 15649059
429.72/453.76	o 15649043
429.92/453.94	o 15649019
456.55/482.36	o 15599643
480.78/508.95	o 15599638
480.89/509.05	o 15599062
480.89/509.06	o 15495638
480.89/509.08	o 15428180
481.37/509.53	o 15428176
482.07/510.28	o 15428172
482.07/510.29	o 15426124
482.17/510.39	o 15425868
482.27/510.42	o 15424844
482.66/510.86	o 15424840
482.66/510.89	o 15424839
482.77/510.98	o 15424831
485.66/513.82	o 15424703
485.66/513.85	o 15424699
485.66/513.88	o 15424698
485.66/513.89	o 15424697
486.06/514.27	o 15424696
486.16/514.39	o 15424632
486.26/514.49	o 15424624
486.36/514.53	o 15424622
486.36/514.55	o 15424590
486.36/514.58	o 15424588
486.46/514.60	o 15424584
496.28/526.95	o 15424580
496.88/527.56	o 15424576
498.57/529.21	o 15411505
498.67/529.31	o 15411503
501.96/532.64	o 15411487
502.97/533.63	o 15411423
503.26/533.93	o 15298783
503.66/534.34	o 15286781
503.66/534.39	o 15286777
503.76/534.46	o 15286769
503.86/534.53	o 15284705
503.86/534.58	o 15283681
503.96/534.62	o 15283665
503.96/534.66	o 15282641
504.06/534.72	o 15282639
504.85/535.51	o 15282615
504.85/535.55	o 15282609
505.05/535.70	o 15282607
505.05/535.75	o 15282351
505.15/535.82	o 15282345
507.05/537.78	o 15282338
507.65/538.36	o 15282334
507.75/538.45	o 15282333
507.85/538.51	o 15282332
508.04/538.71	o 15208612
508.64/539.31	o 15208608
509.64/540.37	o 15208605
509.74/540.42	o 15208601
509.74/540.48	o 15207577
510.54/541.28	o 15207233
510.64/541.34	o 15206977
510.64/541.38	o 15206945
517.43/548.13	o 15206933
523.45/554.74	o 15206912
523.45/554.76	o 15206904
524.15/555.46	o 15206840
524.15/555.48	o 15206831
524.15/555.49	o 15206826
524.35/555.68	o 15206825
524.86/556.12	o 15186677
524.86/556.16	o 15140660
524.86/556.18	o 15140640
524.94/556.20	o 15140636
524.94/556.21	o 15140632
525.15/556.42	o 15100994
525.15/556.43	o 15100992
525.15/556.47	o 15100982
540.51/571.89	o 15100981
540.61/571.97	o 15100949
540.82/572.16	o 15021083
540.82/572.18	o 15021078
540.91/572.27	o 15020566
540.91/572.29	o 15020562
541.61/573.00	o 15020561
542.21/573.52	o 15020553
542.21/573.54	o 15020551
542.31/573.61	o 15020550
542.31/573.69	o 15016454
542.41/573.73	o 15015942
542.50/573.82	o 15015558
545.70/577.06	o 15015557
550.98/582.36	o 14954641
551.08/582.41	o 14954633
551.18/582.59	o 14954629
551.28/582.65	o 14954117
551.48/582.88	o 14954107
551.58/582.93	o 14954105
551.58/582.98	o 14954101
551.88/583.27	o 14954099
551.98/583.30	o 14954097
551.98/583.34	o 14954095
552.08/583.46	o 14954093
552.18/583.50	o 14954091
552.58/583.94	o 14926893
552.89/584.28	o 14926877
554.72/586.95	o 14926876
557.31/589.53	o 14900664
557.31/589.58	o 14900644
557.51/589.78	o 14818724
559.51/591.78	o 14818704
559.71/591.95	o 14818688
560.01/592.22	o 14818678
560.11/592.35	o 14818668
560.21/592.44	o 14805502
560.21/592.49	o 14805486
560.41/592.66	o 14805484
560.51/592.75	o 14805464
560.61/592.84	o 14805459
560.71/592.93	o 14805324
560.82/593.02	o 14805321
562.71/594.90	o 14805318
564.60/596.83	o 14802005
564.70/596.91	o 14802001
564.70/596.98	o 14795345
564.81/597.05	o 14792017
565.70/597.95	o 14792016
566.70/599.00	o 14792015
566.99/599.21	o 14792011
567.19/599.48	o 14791999
577.88/610.19	o 14791983
578.27/610.58	o 14791982
578.37/610.61	o 14791962
578.88/611.14	o 14791957
579.26/611.59	o 14791955
579.37/611.61	o 14791954
579.37/611.65	o 14791942
579.37/611.68	o 14791940
579.77/612.08	o 14791938
579.77/612.10	o 14791935
580.16/612.48	o 14790399
580.26/612.55	o 14790383
580.77/613.10	o 14658837
580.96/613.28	o 14658069
581.06/613.33	o 14658063
581.15/613.44	o 14657967
581.15/613.48	o 14657963
581.87/614.18	o 14657955
581.95/614.21	o 14657952
581.95/614.26	o 14657945
588.11/622.21	o 14657939
588.61/622.79	o 14657938
589.31/623.43	o 14657937
589.41/623.50	o 14657936
590.41/624.50	o 14657932
590.41/624.54	o 14657927
590.51/624.63	o 14657926
591.01/625.16	o 14559654
591.80/625.95	o 14559653
603.88/638.01	o 14559635
603.88/638.03	o 14559626
603.98/638.14	o 14559590
603.98/638.15	o 14559589
604.07/638.27	o 14559584
604.07/638.29	o 14559568
604.17/638.31	o 14557520
604.17/638.34	o 14557518
604.17/638.36	o 14557511
604.17/638.37	o 14490951
612.96/647.14	o 14490943
613.15/647.37	o 14490929
613.24/647.40	o 14490896
613.24/647.42	o 14490889
613.34/647.55	o 14490888
613.34/647.58	o 14490868
656.05/692.53	o 14490860
656.05/692.60	o 14490852
656.15/692.64	o 14490840
656.15/692.68	o 14490816
690.92/728.30	o 14454204
746.40/785.72	o 14454184
746.40/785.73	o 14454180
747.90/787.29	o 14454172
748.29/787.67	o 14454168
748.39/787.79	o 14453629
748.49/787.82	o 14453624
748.71/788.06	o 14453622
749.39/788.71	o 14421549
749.39/788.74	o 14421545
749.49/788.85	o 14421535
749.59/788.93	o 14421533
750.00/789.35	o 14421532
750.00/789.39	o 14421528
750.10/789.41	o 14421522
750.19/789.59	o 14339351
750.29/789.63	o 14339349
750.29/789.65	o 14339343
750.29/789.67	o 14339340
750.29/789.69	o 14339338
750.39/789.72	o 14339335
750.49/789.83	o 14339332
750.99/790.31	o 14339330
750.99/790.34	o 14339285
751.81/791.17	o 14339282
751.81/791.20	o 14339274
751.89/791.28	o 14338954
752.29/791.63	o 14326666
752.29/791.65	o 14326663
752.80/792.16	o 14286961
752.88/792.26	o 14286959
753.59/793.00	o 14286957
753.98/793.34	o 14286943
754.08/793.45	o 14286913
754.08/793.49	o 14286911
754.58/793.98	o 14286791
754.69/794.01	o 14286788
754.69/794.05	o 14286783
754.69/794.09	o 14286780
754.80/794.12	o 14286777
754.80/794.19	o 14286711
755.18/794.57	o 14286703
755.28/794.63	o 14286694
755.28/794.66	o 14276454
755.28/794.69	o 14276447
756.17/795.51	o 14276436
756.17/795.55	o 14276432
756.47/795.81	o 14276416
756.57/795.94	o 14276096
756.69/796.01	o 14276080
756.69/796.05	o 14276072
756.69/796.08	o 14276068
756.69/796.11	o 14276066
756.79/796.14	o 14276062
756.88/796.25	o 14275806
756.98/796.33	o 14275802
757.08/796.44	o 14275798
757.08/796.48	o 14275794
757.37/796.71	o 14275792
757.37/796.76	o 14275790
757.47/796.82	o 14275788
757.47/796.86	o 14275779
770.94/811.05	o 14227566
770.94/811.07	o 14227564
771.05/811.12	o 14157910
771.13/811.27	o 14157904
771.23/811.35	o 14157520
774.22/814.31	o 14157517
774.22/814.35	o 14157510
774.22/814.38	o 14157507
774.42/814.53	o 14157251
775.72/815.85	o 14109608
775.82/815.92	o 14109605
776.72/816.84	o 14109599
776.93/817.08	o 14109598
777.03/817.12	o 14109592
777.12/817.21	o 14109589
777.32/817.40	o 14109557
778.31/818.40	o 14109552
779.81/819.95	o 14109551
780.81/820.91	o 14109535
781.40/821.53	o 14109530
781.51/821.60	o 14109527
781.51/821.65	o 14109517
783.20/823.38	o 14109509
783.30/823.43	o 14109489
783.40/823.52	o 14109485
783.60/823.73	o 14021421
794.37/834.55	o 14021416
808.09/848.92	o 14014460
808.09/848.94	o 14014444
808.20/849.02	o 14014092
808.30/849.16	o 14014091
808.39/849.22	o 14014087
808.39/849.23	o 14014085
808.88/849.70	o 14014083
808.88/849.72	o 14014082
808.98/849.89	o 14014081
809.08/849.90	o 14014076
809.08/849.93	o 14014073
809.08/849.96	o 14008953
809.08/849.99	o 14007929
809.20/850.01	o 14007927
809.20/850.07	o 13855368
809.20/850.11	o 13855363
809.30/850.12	o 13855043
809.30/850.14	o 13854883
809.30/850.15	o 13854803
809.39/850.20	o 13854793
809.39/850.26	o 13853513
809.39/850.27	o 13853481
809.39/850.29	o 13853457
809.58/850.40	o 13853453
809.78/850.67	o 13853450
809.88/850.80	o 13853441
809.98/850.82	o 13853431
811.20/852.04	o 13833405
811.20/852.08	o 13833403
811.20/852.11	o 13833371
811.31/852.14	o 13831355
829.93/870.87	o 13831353
839.48/882.25	o 13830329
839.48/882.26	o 13830323
839.48/882.28	o 13830320
839.48/882.29	o 13830318
839.87/882.68	o 13830314
839.97/882.78	o 13830309
840.49/883.24	o 13830307
841.96/884.76	o 13830291
842.28/885.04	o 13828243
842.38/885.11	o 13828239
842.38/885.16	o 13828237
842.56/885.32	o 13748373
842.76/885.53	o 13748369
842.76/885.56	o 13748349
842.87/885.63	o 13747325
842.87/885.69	o 13740157
843.86/886.62	o 13740152
844.16/886.94	o 13740150
844.16/886.98	o 13740148
847.16/889.96	o 13740144
859.82/902.64	o 13740141
859.82/902.66	o 13740139
859.82/902.68	o 13740135
859.92/902.77	o 13738087
860.02/902.83	o 13738082
860.02/902.85	o 13738080
860.02/902.88	o 13738072
860.02/902.89	o 13737808
860.12/902.93	o 13737792
860.92/903.75	o 13736768
861.02/903.82	o 13736688
861.02/903.86	o 13734128
861.02/903.88	o 13731824
861.23/904.08	o 13731728
861.33/904.19	o 13731184
861.42/904.25	o 13731176
861.42/904.27	o 13731174
861.42/904.29	o 13731173
862.79/906.42	o 13731170
862.99/906.61	o 13602153
863.19/906.86	o 13601833
863.19/906.88	o 13601828
863.19/906.89	o 13601793
863.29/906.92	o 13601788
863.78/907.45	o 13601778
864.09/907.76	o 13601774
864.40/908.07	o 13601754
864.69/908.37	o 13601738
864.79/908.41	o 13601723
864.79/908.43	o 13601715
864.79/908.47	o 13601651
866.78/910.40	o 13601645
867.39/911.04	o 13600621
867.39/911.11	o 13600619
867.50/911.15	o 13600617
867.68/911.34	o 13600616
868.49/912.13	o 13569309
868.49/912.16	o 13569305
868.49/912.18	o 13569300
868.58/912.21	o 13569299
868.58/912.23	o 13569294
868.58/912.27	o 13568910
868.68/912.30	o 13568749
868.68/912.32	o 13568746
868.68/912.34	o 13568745
869.07/912.76	o 13568744
869.17/912.80	o 13568704
869.17/912.83	o 13568700
872.37/916.07	o 13568699
872.37/916.11	o 13568694
872.48/916.18	o 13568686
872.56/916.24	o 13568683
872.56/916.27	o 13568679
876.37/920.07	o 13564176
876.37/920.10	o 13564167
876.47/920.14	o 13564166
876.56/920.21	o 13564150
876.65/920.36	o 13490399
876.75/920.40	o 13490389
877.05/920.76	o 13475603
877.15/920.82	o 13475591
877.15/920.86	o 13475581
877.37/921.07	o 13475579
877.56/921.22	o 13448574
877.56/921.26	o 13448565
877.66/921.32	o 13448563
877.76/921.46	o 13448561
877.86/921.51	o 13448559
885.04/928.73	o 13448557
897.89/943.06	o 13445485
898.00/943.12	o 13445469
898.00/943.17	o 13445445
898.00/943.19	o 13445437
918.43/963.64	o 13445409
926.30/972.96	o 13377174
942.86/989.51	o 13377078
944.15/990.83	o 13377048
944.25/990.95	o 13377040
944.55/991.22	o 13377008
944.75/991.44	o 13328880
944.75/991.47	o 13328876
944.85/991.53	o 13328868
944.95/991.67	o 13326820
945.05/991.70	o 13326812
945.05/991.77	o 13326792
945.14/991.81	o 13326760
945.14/991.88	o 13301781
945.24/991.93	o 13301775
945.24/991.99	o 13301759
945.65/992.35	o 13301747
945.65/992.37	o 13301731
946.14/992.88	o 13301729
946.24/992.91	o 13301723
946.24/992.95	o 13301717
946.24/992.99	o 13301711
946.35/993.02	o 13301703
946.35/993.07	o 13301639
946.85/993.52	o 13301635
946.85/993.54	o 13301630
948.94/995.66	o 13301582
949.04/995.72	o 13301454
949.04/995.79	o 13301326
949.24/995.90	o 13301182
949.24/995.96	o 13301179
949.24/995.99	o 13301176
949.35/996.02	o 13301152
949.35/996.05	o 13208918
949.93/996.62	o 13208915
950.63/997.31	o 13208911
950.63/997.36	o 13208905
950.73/997.40	o 13208903
950.73/997.42	o 13208901
950.73/997.44	o 13208885
950.73/997.49	o 13208881
951.13/997.80	o 13208878
951.44/998.19	o 13208874
951.63/998.35	o 13208663
951.63/998.39	o 13183073
953.13/999.89	o 13181009
953.22/999.94	o 13176913
957.55/1005.41	o 13176910
957.64/1005.50	o 13176907
957.64/1005.55	o 13176904
957.74/1005.62	o 13176837
957.74/1005.66	o 13176831
957.74/1005.69	o 13176828
957.84/1005.77	o 13170684
958.55/1006.47	o 13160444
958.75/1006.64	o 13155324
958.84/1006.74	o 13152764
959.04/1006.90	o 13152666
964.93/1012.89	o 13152663
965.03/1012.95	o 13152660
965.03/1013.00	o 13152657
966.02/1013.92	o 12992913
973.40/1021.35	o 12992912
982.28/1030.23	o 12992911
982.28/1030.24	o 12992910
982.28/1030.27	o 12988814
982.38/1030.32	o 12988811
982.38/1030.34	o 12988802
982.38/1030.38	o 12988799
982.38/1030.39	o 12988790
983.47/1031.47	o 12988598
983.47/1031.49	o 12988406
983.57/1031.51	o 12988022
983.87/1031.85	o 12988021
983.87/1031.87	o 12988018
983.97/1031.99	o 12988013
983.97/1032.01	o 12988010
984.08/1032.02	o 12988007
984.08/1032.07	o 12988006
984.08/1032.09	o 12988004
984.26/1032.22	o 12988000
984.26/1032.28	o 12987998
987.00/1036.19	o 12987988
989.18/1038.38	o 12970795
989.27/1038.43	o 12970793
989.27/1038.45	o 12970791
989.38/1038.57	o 12960551
989.99/1039.12	o 12960543
990.27/1039.42	o 12923155
990.27/1039.45	o 12923151
990.27/1039.48	o 12923145
990.37/1039.52	o 12923142
990.89/1040.05	o 12843507
990.89/1040.11	o 12843501
992.17/1041.30	o 12843495
992.17/1041.37	o 12843483
992.27/1041.40	o 12843459
992.37/1041.52	o 12843455
992.77/1041.90	o 12843439
992.88/1042.03	o 12835759
992.98/1042.12	o 12835744
992.98/1042.16	o 12826528
992.98/1042.19	o 12825712
993.06/1042.22	o 12825688
995.16/1044.33	o 12825680
1007.84/1057.10	o 12817488
1007.95/1057.12	o 12645456
1009.13/1058.34	o 12644432
1009.22/1058.42	o 12644240
1010.42/1059.62	o 12644237
1010.73/1059.92	o 12634221
1010.73/1059.98	o 12617837
1010.94/1060.15	o 12617773
1010.94/1060.18	o 12617769
1011.12/1060.34	o 12617763
1012.12/1061.38	o 12617762
1012.22/1061.47	o 12617751
1012.32/1061.51	o 12612119
1012.52/1061.79	o 12611943
1012.62/1061.86	o 12611940
1012.93/1062.12	o 12611934
1012.93/1062.18	o 12608916
1013.02/1062.22	o 12608912
1013.02/1062.25	o 12608910
1013.02/1062.27	o 12608908
1013.12/1062.34	o 12608772
1013.12/1062.37	o 12608766
1013.21/1062.40	o 12608750
1013.21/1062.43	o 12608718
1013.41/1062.62	o 12608574
1013.41/1062.67	o 12608565
1014.12/1063.33	o 12608533
1015.55/1065.49	o 12608317
1016.05/1065.91	o 12608293
1016.19/1066.09	o 12607525
1016.45/1066.36	o 12602405
1016.55/1066.48	o 12601621
1016.65/1066.57	o 12601620
1016.75/1066.67	o 12601613
1016.85/1066.72	o 12601607
1022.94/1072.83	o 12585222
1035.01/1084.93	o 12585219
1043.28/1093.20	o 12577027
1044.20/1094.17	o 12577013
1044.38/1094.31	o 12486901
1044.38/1094.37	o 12486899
1107.86/1160.92	o 12486897
1107.86/1161.01	o 12486891
1108.56/1161.62	o 12486890
1109.86/1162.91	o 12486889
1109.86/1162.94	o 12486887
1109.97/1163.01	o 12486631
1110.07/1163.19	o 12422641
1110.16/1163.27	o 12422636
1115.06/1168.14	o 12422631
1115.25/1168.36	o 12330643
1115.95/1169.06	o 12330635
1115.95/1169.09	o 12330623
1116.05/1169.18	o 12330617
1116.14/1169.22	o 12299988
1117.24/1170.33	o 12299966
1117.34/1170.41	o 12299963
1117.34/1170.47	o 12299958
1117.44/1170.54	o 12298934
1117.64/1170.74	o 12298927
1117.64/1170.78	o 12298831
1117.74/1170.89	o 12274255
1118.23/1171.37	o 12274253
1118.53/1171.60	o 12270157
1119.14/1172.20	o 12270153
1119.63/1172.71	o 12270149
1119.94/1173.02	o 12269637
1120.23/1173.34	o 12269635
1120.23/1173.39	o 12269630
1120.33/1173.49	o 12249150
1121.23/1174.37	o 12212568
1121.33/1174.43	o 12212488
1122.52/1175.63	o 12210440
1122.62/1175.73	o 12209160
1122.62/1175.78	o 12208392
1123.62/1176.75	o 12208387
1124.52/1177.67	o 12208386
1124.62/1177.73	o 12208382
1124.62/1177.77	o 12208377
1124.93/1178.08	o 12207865
1125.03/1178.18	o 12207859
1125.72/1178.85	o 12150507
1126.21/1179.30	o 12150503
1126.21/1179.36	o 12040595
1126.31/1179.45	o 12040591
1127.03/1180.15	o 12040580
1127.12/1180.21	o 12040576
1127.22/1180.39	o 12038528
1128.41/1181.55	o 12038527
1131.50/1184.60	o 12038524
1132.02/1185.14	o 12038523
1132.11/1185.20	o 12038522
1132.30/1185.43	o 12038518
1138.99/1192.65	o 12038506
1139.09/1192.73	o 12038505
1150.77/1204.47	o 12038501
1173.57/1228.18	o 12038469
1173.67/1228.23	o 12038462
1176.66/1231.24	o 12038461
1176.66/1231.25	o 12038460
1176.66/1231.26	o 12038459
1176.76/1231.30	o 12038355
1176.76/1231.35	o 12038354
1176.76/1231.36	o 12038353
1176.76/1231.38	o 12038289
1176.76/1231.40	o 12038257
1177.36/1231.92	o 12036209
1177.36/1231.95	o 12036206
1177.65/1232.27	o 11959856
1177.75/1232.30	o 11959854
1177.96/1232.50	o 11959853
1177.96/1232.53	o 11959597
1178.25/1232.81	o 11959592
1182.34/1236.91	o 11959584
1182.94/1237.57	o 11959576
1184.04/1238.67	o 11958936
1184.83/1239.47	o 11957689
1184.93/1239.52	o 11957685
1184.93/1239.55	o 11957677
1185.03/1239.65	o 11957653
1185.03/1239.68	o 11957525
1185.13/1239.71	o 11957461
1185.44/1240.02	o 11957453
1185.44/1240.10	o 11956941
1185.54/1240.17	o 11956685
1185.63/1240.22	o 11956681
1191.62/1246.22	o 11956657
1191.62/1246.29	o 11956653
1201.10/1255.70	o 11956649
1201.19/1255.86	o 11956647
1201.29/1255.93	o 11956645
1202.59/1260.24	o 11956641
1203.78/1261.49	o 11956639
1203.88/1261.55	o 11956635
1203.98/1261.60	o 11956619
1204.27/1261.98	o 11864059
1204.47/1262.13	o 11864033
1205.26/1262.93	o 11864025
1205.37/1263.03	o 11863993
1205.48/1263.12	o 11863991
1206.48/1264.11	o 11863982
1216.35/1274.08	o 11863975
1216.35/1274.10	o 11863968
1216.63/1274.36	o 11863966
1216.94/1274.62	o 11854078
1217.04/1274.72	o 11854072
1217.04/1274.75	o 11854070
1217.04/1274.76	o 11854063
1217.04/1274.78	o 11787503
1217.53/1275.22	o 11787502
1217.53/1275.26	o 11787499
1217.93/1275.64	o 11787494
1218.45/1276.17	o 11787492
1218.93/1276.66	o 11787490
1219.03/1276.70	o 11787473
1219.03/1276.74	o 11787468
1219.23/1276.92	o 11787461
1219.23/1276.96	o 11787446
1219.23/1276.98	o 11787439
1222.22/1279.97	o 11787430
1222.43/1280.13	o 11754908
1224.11/1281.87	o 11754892
1224.82/1282.59	o 11754891
1238.90/1298.58	o 11754890
1238.90/1298.59	o 11754889
1239.00/1298.67	o 11754888
1239.00/1298.69	o 11754760
1239.19/1298.80	o 11754632
1239.51/1299.14	o 11505800
1239.51/1299.16	o 11505778
1239.69/1299.30	o 11502706
1239.89/1299.51	o 11502442
1239.99/1299.63	o 11485034
1240.29/1300.00	o 11485032
1240.40/1300.05	o 11485016
1240.89/1300.56	o 11485004
1241.09/1300.76	o 11484990
1241.19/1300.82	o 11484984
1241.19/1300.85	o 11484975
1241.19/1300.88	o 11484961
1241.29/1300.91	o 11484946
1241.29/1300.95	o 11484916
1241.29/1300.98	o 11484914
1241.29/1301.00	o 11484882
1241.40/1301.11	o 11470592
1241.50/1301.14	o 11470590
1241.50/1301.19	o 11470576
1260.64/1320.32	o 11470574
1270.38/1333.34	o 11470573
1277.07/1340.05	o 11424467
1277.07/1340.07	o 11424463
1277.07/1340.09	o 11424454
1277.17/1340.16	o 11424342
1277.47/1340.41	o 11424335
1277.47/1340.43	o 11424328
1278.56/1341.56	o 11424296
1278.66/1341.61	o 11424232
1279.35/1342.35	o 11344918
1279.55/1342.53	o 11344822
1279.55/1342.55	o 11256758
1280.17/1343.19	o 11256754
1280.35/1343.30	o 11256742
1282.45/1345.47	o 11256734
1283.06/1346.05	o 11256726
1283.06/1346.08	o 11256722
1283.16/1346.17	o 11256706
1283.25/1346.20	o 11256690
1284.94/1347.97	o 11256686
1300.96/1366.13	o 11256684
1302.15/1367.30	o 11256620
1302.15/1367.38	o 11256618
1302.25/1367.40	o 11256616
1302.34/1367.56	o 11256614
1302.34/1367.58	o 11256612
1308.03/1373.27	o 11256608
1309.22/1374.42	o 11256604
1309.32/1374.53	o 11256603
1309.72/1375.00	o 11256411
1314.31/1379.57	o 11256409
1323.56/1391.74	o 11256407
1323.56/1391.76	o 11255403
1339.72/1407.98	o 11255399
1349.29/1417.58	o 11252691
1349.39/1417.61	o 11252685
1349.39/1417.63	o 11252173
1349.39/1417.67	o 11249613
1349.49/1417.75	o 11249603
1349.49/1417.77	o 11249602
1349.70/1417.90	o 11249601
1349.81/1418.02	o 11249600
1349.81/1418.04	o 11249599
1349.81/1418.07	o 11249591
1349.91/1418.14	o 11200543
1349.91/1418.15	o 11200540
1349.91/1418.17	o 11200532
1349.99/1418.27	o 11186267
1350.09/1418.30	o 11186253
1350.09/1418.34	o 11186249
1350.19/1418.48	o 11186244
1350.29/1418.50	o 11186230
1350.29/1418.52	o 11186224
1350.29/1418.55	o 11159597
1350.99/1419.27	o 11158970
1351.09/1419.31	o 11158957
1351.09/1419.35	o 11158956
1352.19/1420.44	o 11158932
1352.19/1420.46	o 11158904
1353.79/1422.08	o 11158855
1370.21/1440.57	o 11151755
1370.31/1440.60	o 11151739
1370.31/1440.61	o 11151737
1370.82/1441.17	o 11151705
1370.91/1441.28	o 11151703
1371.01/1441.31	o 11151701
1371.01/1441.33	o 11149653
1371.61/1441.95	o 11149647
1371.72/1442.05	o 11149641
1372.10/1442.43	o 11149640
1373.71/1444.09	o 11149638
1373.90/1444.21	o 11149636
1373.90/1444.28	o 11048081
1374.30/1444.60	o 11048061
1374.39/1444.72	o 11048053
1374.59/1444.90	o 11048021
1374.82/1445.20	o 11048019
1375.10/1445.48	o 11048018
1375.20/1445.52	o 11047250
1375.20/1445.55	o 11046866
1375.20/1445.59	o 11046770
1375.81/1446.15	o 11046768
1376.09/1446.45	o 11046767
1376.19/1446.55	o 11045231
1381.69/1452.04	o 11045225
1381.79/1452.15	o 11045201
1381.88/1452.21	o 11033393
1386.95/1458.27	o 11033377
1388.34/1459.64	o 11033361
1389.75/1461.06	o 11033354
1390.04/1461.36	o 11033338
1409.50/1480.84	o 11033335
1418.95/1490.93	o 11033307
1418.95/1490.97	o 11033300
1418.95/1490.99	o 11033292
1419.06/1491.02	o 11033285
1444.58/1516.65	o 11033278
1515.67/1594.26	o 11033264
1515.87/1594.42	o 11033068
1515.87/1594.43	o 11033040
1515.97/1594.53	o 11032848
1522.95/1601.52	o 11028749
1523.05/1601.67	o 11020557
1523.15/1601.70	o 11017485
1523.15/1601.79	o 11011853
1524.35/1602.99	o 11011851
1576.94/1658.44	o 11011843
1654.78/1741.73	o 11011836
1706.97/1801.80	o 11011832
1707.08/1801.93	o 11011828
1707.08/1801.96	o 11011824
1708.18/1803.11	o 11005869
1708.29/1803.18	o 11005867
1718.54/1813.41	o 10978287
1718.54/1813.45	o 10978286
1718.54/1813.48	o 10978270
1718.64/1813.52	o 10856430
1718.64/1813.54	o 10856421
1718.85/1813.73	o 10856414
1718.85/1813.78	o 10789904
1718.95/1813.80	o 10789898
1718.95/1813.82	o 10789891
1718.95/1813.85	o 10789884
1718.95/1813.87	o 10789878
1719.54/1814.42	o 10789872
1720.04/1814.90	o 10789866
1721.44/1816.33	o 10789860
1721.44/1816.39	o 10789852
1724.45/1820.75	o 10789844
1724.56/1820.82	o 10789764
1724.96/1821.27	o 10789758
1725.06/1821.33	o 10789748
1725.25/1821.51	o 10716148
1725.25/1821.56	o 10716130
1725.45/1821.77	o 10716123
1725.55/1821.81	o 10716067
1725.55/1821.86	o 10716039
1725.55/1821.89	o 10716032
1725.76/1822.02	o 10662805
1725.87/1822.17	o 10662796
1725.96/1822.22	o 10662789
1727.45/1823.74	o 10662785
1734.93/1831.28	o 10634113
1735.13/1831.46	o 10634101
1739.73/1836.05	o 10632309
1739.92/1836.29	o 10632190
1740.02/1836.32	o 10632183
1740.02/1836.33	o 10632176
1740.02/1836.36	o 10507248
1740.52/1836.82	o 10507239
1740.52/1836.87	o 10507234
1740.62/1836.97	o 10504162
1740.73/1837.11	o 10498018
1741.11/1837.49	o 10498014
1741.21/1837.52	o 10498010
1741.21/1837.56	o 10497840
1741.21/1837.58	o 10497839
1741.31/1837.60	o 10497824
1741.31/1837.62	o 10497816
1741.31/1837.64	o 10497814
1741.31/1837.66	o 10497810
1741.52/1837.89	o 10497804
1741.62/1837.92	o 10497802
1741.73/1838.03	o 10497798
1741.73/1838.05	o 10497794
1741.73/1838.07	o 10497782
1741.73/1838.09	o 10497778
1741.83/1838.12	o 10497770
1741.83/1838.16	o 10497710
1741.83/1838.18	o 10497695
1741.92/1838.20	o 10497690
1741.92/1838.23	o 10492570
1741.92/1838.26	o 10491930
1742.21/1838.51	o 10491928
1742.21/1838.57	o 10491922
1742.21/1838.59	o 10490770
1742.31/1838.63	o 10486162
1742.92/1839.22	o 10486158
1742.92/1839.26	o 10486134
1743.01/1839.30	o 10482294
1743.11/1839.41	o 10351617
1743.31/1839.68	o 10351575
1743.41/1839.71	o 10351570
1743.41/1839.73	o 10351566
1743.51/1839.83	o 10349406
1744.01/1840.36	o 10349334
1744.21/1840.50	o 10349262
1744.41/1840.77	o 10349260
1744.60/1840.90	o 10197712
1761.24/1860.00	o 10197704
1761.36/1860.01	o 10197696
1761.36/1860.03	o 10197584
1761.36/1860.05	o 10197576
1761.36/1860.06	o 10197568
1777.32/1876.08	o 10197536
1779.00/1877.76	o 10197504
1787.30/1887.42	o 10197488
1787.30/1887.44	o 10197486
1788.49/1888.69	o 10197484
1788.59/1888.71	o 10197483
1788.59/1888.73	o 10197482
1788.59/1888.77	o 10197464
1788.90/1889.04	o 10197463
1789.00/1889.19	o 10197446
1789.18/1889.32	o 10197432
1789.18/1889.37	o 10197431
1789.29/1889.42	o 10196535
1789.29/1889.47	o 10196009
1789.29/1889.49	o 10195994
1789.39/1889.50	o 10195993
1789.39/1889.52	o 10195980
1789.39/1889.54	o 10195979
1789.39/1889.55	o 10195978
1789.39/1889.56	o 10195977
1789.39/1889.57	o 10195976
1790.28/1890.40	o 10195968
1790.39/1890.53	o 10195456
1790.39/1890.58	o 10195455
1790.49/1890.60	o 10195453
1790.59/1890.70	o 10195452
1790.59/1890.72	o 10195451
1790.59/1890.74	o 10195444
1791.18/1891.36	o 10195440
1791.18/1891.38	o 10195439
1793.08/1893.28	o 10195437
1793.18/1893.32	o 10195436
1793.18/1893.35	o 10195435
1797.26/1897.45	o 10195427
1797.66/1897.82	o 10195423
1802.97/1903.18	o 10195422
1818.16/1919.82	o 10195413
1818.16/1919.84	o 10195381
1821.06/1922.77	o 10195372
1821.06/1922.78	o 10195364
1821.16/1922.80	o 10195363
1821.66/1923.31	o 10195361
1821.76/1923.40	o 10195359
1821.76/1923.42	o 10195358
1821.76/1923.46	o 10195356
1821.76/1923.48	o 10195355
1824.75/1926.43	o 10195353
1824.85/1926.51	o 10195346
1824.85/1926.54	o 10195341
1824.85/1926.56	o 10195337
1833.45/1935.19	o 10195335
1834.03/1935.72	o 10195331
1834.92/1936.61	o 10158191
1835.12/1936.82	o 10158063
1835.12/1936.87	o 10158061
1835.22/1936.91	o 10157997
1850.14/1953.14	o 10157993
1879.31/1983.63	o 10157991
1879.31/1983.66	o 10157983
1880.11/1984.46	o 10157981
1880.11/1984.47	o 10157980
1880.21/1984.51	o 10157948
1880.21/1984.56	o 10157947
1880.21/1984.57	o 10157946
1880.51/1984.86	o 10157850
1880.61/1984.92	o 10157849
1880.61/1984.94	o 10157777
1880.61/1984.96	o 10157745
1881.61/1985.96	o 10157744
1881.61/1985.99	o 10157743
1881.61/1986.01	o 10157741
1881.72/1986.07	o 10157110
1881.82/1986.11	o 10157102
1882.61/1986.99	o 10157086
1882.72/1987.02	o 10157071
1882.72/1987.05	o 10157066
1882.82/1987.12	o 10157065
1889.29/1993.69	o 10157059
1889.39/1993.73	o 10157050
1889.49/1993.81	o 10148858
1889.58/1994.00	o 10147834
1889.98/1994.34	o 10147832
1890.08/1994.49	o 10104480
1890.18/1994.58	o 10102432
1890.28/1994.69	o 10102412
1900.26/2004.64	o 10102392
1900.77/2005.11	o 10102390
1900.77/2005.18	o 10102385
1901.46/2005.86	o 10102381
1902.76/2007.19	o 10102376
1903.46/2007.81	o 10102370
1903.56/2007.93	o 10102368
1903.56/2007.98	o 10102364
1903.67/2008.04	o 10102353
1905.90/2011.39	o 10102344
1906.00/2011.47	o 10102335
1906.10/2011.52	o 10102326
1906.20/2011.60	o 10102317
1906.20/2011.65	o 10102308
1907.01/2012.44	o 10102292
1907.10/2012.59	o 10102244
1907.30/2012.71	o 10100708
1907.40/2012.85	o 10100690
1907.61/2013.07	o 10100683
1907.71/2013.12	o 10100647
1907.71/2013.17	o 10100629
1907.80/2013.22	o 10100625
1910.71/2016.13	o 10100616
1910.79/2016.24	o 10100612
1910.89/2016.37	o 10100606
1910.99/2016.42	o 10100574
1910.99/2016.47	o 10100573
1911.09/2016.52	o 10100557
1911.09/2016.58	o 10100301
1911.19/2016.63	o 10100093
1911.19/2016.68	o 10099581
1911.29/2016.72	o 10099565
1911.29/2016.76	o 10099549
1912.19/2017.65	o 10099517
1914.38/2019.85	o 10099512
1921.76/2027.22	o 10099507
1922.36/2027.83	o 10099499
1922.57/2028.08	o 10077654
1922.86/2028.34	o 10077653
1922.86/2028.36	o 10077651
1922.96/2028.40	o 10077649
1923.06/2028.50	o 10077648
1923.67/2029.14	o 10077646
1925.46/2030.91	o 10077644
1925.46/2030.97	o 10077631
1929.94/2035.46	o 10077628
1930.14/2035.67	o 10077623
1930.34/2035.87	o 10033740
1930.44/2035.97	o 10033739
1930.55/2036.06	o 10033736
1930.55/2036.09	o 10033731
1931.93/2037.41	o 9949259
1948.72/2056.70	o 9948491
1948.72/2056.71	o 9948107
1948.92/2056.98	o 9948079
1951.02/2059.08	o 9948077
1951.02/2059.10	o 9948076
1953.91/2061.91	o 9948072
1954.30/2062.34	o 9948068
1954.40/2062.49	o 9948056
1954.61/2062.64	o 9948054
1955.20/2063.28	o 9866135
1955.40/2063.41	o 9866126
1955.60/2063.62	o 9866121
1955.60/2063.68	o 9866118
1956.30/2064.33	o 9866117
1957.12/2065.16	o 9866115
1957.20/2065.21	o 9865631
1957.20/2065.26	o 9865630
1957.20/2065.29	o 9865629
1957.30/2065.31	o 9865626
1957.30/2065.34	o 9865594
1958.50/2066.55	o 9865586
1958.69/2066.73	o 9865298
1958.79/2066.89	o 9791917
1959.00/2067.09	o 9791916
1959.11/2067.12	o 9791913
1961.59/2069.64	o 9791906
1969.04/2078.60	o 9791898
1969.04/2078.66	o 9775984
1973.63/2083.29	o 9775978
1973.83/2083.42	o 9775972
1986.29/2096.00	o 9775937
1998.96/2109.66	o 9775928
1998.96/2109.67	o 9775919
1998.96/2109.69	o 9775910
2000.47/2111.15	o 9775900
2000.86/2111.52	o 9775896
2000.86/2111.56	o 9775892
2001.95/2112.63	o 9775883
2001.95/2112.64	o 9775874
2001.95/2112.65	o 9775865
2001.95/2112.67	o 9775860
2002.47/2113.13	o 9775853
2002.47/2113.16	o 9775849
2002.75/2113.44	o 9775846
2004.05/2114.74	o 9775837
2025.29/2137.31	o 9775816
2026.49/2138.56	o 9756420
2026.49/2138.57	o 9756388
2026.49/2138.59	o 9756380
2027.29/2139.36	o 9666652
2079.79/2192.80	o 9666619
2090.04/2204.22	o 9666618
2091.74/2205.97	o 9666610
2091.85/2206.02	o 9666602
2094.64/2208.87	o 9666593
2095.84/2210.09	o 9666588
2095.94/2210.13	o 9666586
2096.13/2210.35	o 9666330
2096.84/2211.08	o 9666324
2096.94/2211.13	o 9666318
2097.94/2212.19	o 9666312
2098.03/2212.24	o 9666306
2101.31/2215.51	o 9666303
2116.27/2230.59	o 9666298
2117.81/2232.96	o 9666262
2119.02/2234.17	o 9665238
2119.41/2234.56	o 9665230
2119.51/2234.67	o 9665182
2120.11/2235.30	o 9665174
2120.21/2235.35	o 9509526
2123.59/2238.70	o 9509521
2125.49/2240.61	o 9509520
2125.59/2240.71	o 9509508
2125.69/2240.80	o 9509124
2127.59/2242.75	o 9474627
2127.79/2242.99	o 9474615
2127.90/2243.02	o 9474608
2127.90/2243.05	o 9401904
2129.79/2244.92	o 9401893
2141.86/2257.03	o 9401887
2141.86/2257.04	o 9401881
2142.05/2257.28	o 9401872
2142.16/2257.35	o 9401866
2142.26/2257.40	o 9401856
2142.26/2257.42	o 9401853
2144.35/2259.53	o 9401847
2144.35/2259.55	o 9401842
2144.74/2259.96	o 9401841
2144.97/2260.14	o 9401073
2145.05/2260.26	o 9400817
2159.16/2280.52	o 9400816
2170.33/2291.79	o 9400810
2170.43/2291.81	o 9400778
2171.03/2292.45	o 9400690
2171.12/2292.52	o 9400653
2171.32/2292.76	o 9400652
2171.64/2293.04	o 9400641
2171.82/2293.25	o 9400640
2171.82/2293.28	o 9400628
2171.82/2293.29	o 9400613
2171.93/2293.32	o 9400181
2172.13/2293.59	o 9400166
2172.22/2293.61	o 9400160
2172.22/2293.65	o 9400154
2176.11/2297.59	o 9400153
2176.21/2297.69	o 9207961
2176.81/2298.29	o 9204121
2181.15/2308.66	o 9204109
2197.52/2325.12	o 9204091
2212.64/2341.23	o 9171963
2212.74/2341.30	o 9171957
2216.23/2344.83	o 9171951
2216.23/2344.85	o 9171939
2216.33/2344.96	o 9171747
2217.43/2346.10	o 9171741
2238.24/2369.88	o 9171729
2272.39/2407.20	o 9171718
2272.48/2407.21	o 9171707
2272.48/2407.22	o 9171663
2272.48/2407.23	o 9171641
2272.59/2407.30	o 9171617
2272.98/2407.76	o 9171593
2273.39/2408.16	o 9171581
2290.54/2425.38	o 9171559
2290.83/2425.62	o 9171558
2291.14/2425.90	o 9171549
2291.14/2425.93	o 9171540
2291.14/2425.98	o 9171529
2292.63/2427.42	o 9097891
2292.63/2427.48	o 9097855
2292.73/2427.55	o 9092095
2293.43/2428.24	o 9092075
2298.40/2434.99	o 9092039
2298.51/2435.07	o 9091979
2300.80/2437.30	o 9091963
2301.79/2438.32	o 9091957
2301.79/2438.38	o 9091945
2301.89/2438.44	o 9091938
2301.89/2438.49	o 9091933
2302.90/2439.49	o 9091921
2303.10/2439.63	o 9091914
2303.20/2439.70	o 9091878
2303.20/2439.74	o 9091866
2303.29/2439.80	o 9091860
2304.88/2441.48	o 9091812
2305.08/2441.63	o 9091788
2305.08/2441.69	o 9091776
2305.68/2442.20	o 9091771
2307.38/2443.93	o 9091770
2316.66/2453.23	o 9091765
2316.66/2453.24	o 9091749
2316.66/2453.26	o 9091685
2317.06/2453.69	o 9091680
2317.16/2453.78	o 9091673
2319.95/2456.51	o 9091577
2319.95/2456.53	o 9091289
2319.95/2456.55	o 9085145
2326.77/2477.70	o 9085141
2326.87/2477.82	o 9084789
2341.74/2492.77	o 9084704
2369.71/2524.71	o 9084686
2369.71/2524.75	o 9084662
2373.12/2528.18	o 9084622
2374.20/2529.28	o 9083198
2374.30/2529.33	o 9083182
2374.60/2529.61	o 9083116
2374.60/2529.64	o 9083110
2375.01/2530.05	o 9083104
2375.01/2530.07	o 9083098
2375.01/2530.11	o 9083050
2376.01/2531.07	o 9083044
2376.01/2531.09	o 9083014
2378.10/2533.18	o 9083008
2378.69/2533.74	o 9082968
2387.33/2554.48	o 9082965
2394.40/2561.54	o 9082961
2394.40/2561.59	o 9082954
2394.50/2561.61	o 9082940
2394.50/2561.65	o 9082930
2396.70/2563.81	o 9052558
2396.70/2563.87	o 9052362
2423.80/2593.60	o 9052354
2446.02/2617.11	o 9044826
2446.02/2617.17	o 9044810
2446.10/2617.20	o 9044799
2446.41/2617.57	o 9044795
2446.61/2617.77	o 9044789
2449.10/2620.25	o 9022783
2449.40/2620.50	o 9022755
2449.40/2620.53	o 9022739
2454.19/2625.37	o 9020683
2454.29/2625.48	o 9020619
2454.39/2625.58	o 9020611
2454.48/2625.63	o 9020607
2554.37/2730.24	o 9020519
2554.47/2730.34	o 9020517
2554.58/2730.41	o 9020459
2554.58/2730.43	o 9020453
2554.67/2730.52	o 9020442
2554.67/2730.53	o 9020431
2555.67/2731.59	o 9020420
2556.18/2732.08	o 9020416
2556.28/2732.11	o 9020414
2556.28/2732.18	o 9020413
2559.16/2735.05	o 9020389
2559.76/2735.60	o 9009005
2560.05/2735.94	o 9008993
2560.85/2736.76	o 9008988
2561.27/2737.18	o 9008983
2561.35/2737.22	o 9008979
2561.35/2737.25	o 9008976
2561.35/2737.28	o 9008972
2561.45/2737.31	o 9008968
2561.45/2737.34	o 9008964
2563.46/2740.57	o 9008962
2563.64/2740.71	o 9008950
2564.53/2741.61	o 9008926
2564.63/2741.75	o 9008920
2564.84/2742.00	o 9008872
2566.24/2743.34	o 9008860
2566.44/2743.50	o 9008804
2567.23/2744.30	o 9008792
2577.03/2754.13	o 9008408
2594.72/2775.19	o 9008396
2595.41/2775.84	o 9008300
2595.41/2775.86	o 9008240
2595.41/2775.88	o 9008216
2596.10/2776.50	o 9008204
2596.10/2776.57	o 9008192
2596.20/2776.61	o 9008180
2596.20/2776.63	o 9008168
2596.30/2776.72	o 8900386
2596.30/2776.73	o 8900382
2596.30/2776.79	o 8900352
2596.40/2776.85	o 8900224
2596.40/2776.87	o 8808064
2596.50/2776.91	o 8808028
2596.50/2776.93	o 8807932
2596.50/2776.95	o 8807910
2596.50/2776.99	o 8807814
2598.50/2778.95	o 8807813
2598.50/2778.98	o 8807626
2598.50/2778.99	o 8807604
2598.50/2779.01	o 8807516
2598.61/2779.02	o 8807505
2598.71/2779.19	o 8807409
2599.60/2780.06	o 8807373
2599.60/2780.08	o 8807362
2599.71/2780.11	o 8807178
2599.89/2780.32	o 8806455
2599.89/2780.34	o 8806446
2599.89/2780.38	o 8806443
2600.00/2780.40	o 8806434
2600.00/2780.41	o 8806431
2600.00/2780.43	o 8806422
2600.20/2780.62	o 8806410
2600.20/2780.64	o 8806407
2600.20/2780.66	o 8806398
2600.20/2780.68	o 8806350
2600.30/2780.70	o 8806326
2600.30/2780.74	o 8806314
2601.19/2781.70	o 8806302
2601.29/2781.72	o 8806266
2601.29/2781.75	o 8806250
2604.98/2785.40	o 8806230
2604.98/2785.43	o 8806218
2606.59/2787.04	o 8806190
2606.69/2787.15	o 8806184
2606.69/2787.18	o 8806016
2606.87/2787.35	o 8806013
2606.87/2787.38	o 8806010
2606.97/2787.47	o 8764484
2607.07/2787.56	o 8764372
2607.77/2788.24	o 8764276
2607.77/2788.28	o 8764180
2607.88/2788.31	o 8764168
2608.68/2789.12	o 8764162
2608.68/2789.15	o 8764159
2608.68/2789.19	o 8764117
2608.77/2789.23	o 8764114
2608.77/2789.26	o 8764110
2608.87/2789.37	o 8764106
2608.97/2789.40	o 8703006
2609.27/2789.74	o 8703002
2609.27/2789.78	o 8702994
2609.37/2789.81	o 8702990
2611.46/2792.01	o 8694798
2611.57/2792.07	o 8694670
2613.76/2794.29	o 8694666
2630.50/2811.67	o 8694634
2633.59/2814.77	o 8694610
2638.78/2819.97	o 8694606
2651.13/2832.34	o 8694600
2653.79/2836.02	o 8694591
2653.89/2836.12	o 8578879
2653.98/2836.26	o 8578862
2653.98/2836.28	o 8578851
2655.67/2837.99	o 8578838
2659.57/2841.80	o 8578835
2659.57/2841.83	o 8578829
2662.96/2845.21	o 8578826
2663.35/2845.64	o 8573828
2663.35/2845.69	o 8573822
2663.45/2845.75	o 8573812
2663.55/2845.84	o 8573784
2663.55/2845.89	o 8573774
2665.05/2847.36	o 8573762
2665.55/2847.80	o 8573761
2665.87/2848.12	o 8539329
2665.95/2848.22	o 8539307
2665.95/2848.29	o 8539295
2677.42/2859.70	o 8539277
2691.09/2873.94	o 8539273
2691.09/2873.98	o 8539267
2691.09/2874.00	o 8539261
2691.39/2874.20	o 8492963
2691.39/2874.22	o 8492957
2691.39/2874.23	o 8492951
2691.60/2874.43	o 8492945
2691.60/2874.45	o 8492927
2691.99/2874.84	o 8490876
2691.99/2874.85	o 8490865
2691.99/2874.87	o 8490857
2692.09/2874.90	o 8490855
2692.09/2874.92	o 8490853
2764.50/2949.44	o 8490841
2764.69/2949.65	o 8490839
2765.59/2950.50	o 8490833
2765.59/2950.53	o 8490831
2765.59/2950.54	o 8490827
2765.59/2950.56	o 8490825
2765.59/2950.57	o 8490815
2766.78/2951.78	o 8490813
2766.88/2951.80	o 8490811
2766.88/2951.81	o 8490809
2766.88/2951.83	o 8490807
2766.88/2951.85	o 8490775
2766.88/2951.88	o 8490773
2767.29/2952.22	o 8490771
2767.29/2952.24	o 8490769
2769.48/2954.40	o 8490761
2787.60/2974.84	o 8477727
2787.60/2974.86	o 8477709
2787.60/2974.87	o 8477673
2787.60/2974.89	o 8477655
2794.89/2982.15	o 8477559
2794.98/2982.20	o 8477555
2794.98/2982.23	o 8476019
2795.08/2982.37	o 8475999
2795.28/2982.52	o 8475423
2795.68/2982.91	o 8431114
2795.68/2982.93	o 8431102
2795.98/2983.29	o 8431087
2796.18/2983.49	o 8327095
2796.28/2983.51	o 8327071
2796.28/2983.53	o 8327060
2796.48/2983.71	o 8327054
2796.58/2983.80	o 8327053
2796.58/2983.82	o 8326993
2796.58/2983.85	o 8326873
2797.89/2985.14	o 8326869
2799.53/2986.76	o 8326857
2799.97/2987.26	o 8326813
2800.88/2988.15	o 8326809
2802.77/2990.11	o 8326799
2802.96/2990.20	o 8326798
2802.96/2990.24	o 8326787
2803.87/2991.13	o 8326781
2803.96/2991.25	o 8326763
2804.76/2992.07	o 8326759
2808.56/2997.90	o 8326751
2809.15/2998.51	o 8195919
2809.15/2998.55	o 8195343
2809.26/2998.63	o 8195340
2809.26/2998.66	o 8195334
2809.36/2998.70	o 8195046
2813.55/3003.01	o 8195042
2814.54/3003.91	o 8194970
2814.54/3003.99	o 8194954
2814.65/3004.03	o 8194948
2815.33/3004.77	o 8194944
2815.43/3004.81	o 8194933
2815.43/3004.84	o 8194927
2816.43/3005.89	o 8194921
2816.53/3005.93	o 8194917
2816.53/3005.96	o 8194906
2820.02/3009.44	o 8194899
2826.20/3015.63	o 8194890
2826.20/3015.64	o 8194881
2826.20/3015.66	o 8194875
2826.90/3016.31	o 8194871
2827.89/3017.30	o 8194727
2827.99/3017.49	o 8194637
2828.09/3017.51	o 8194622
2828.09/3017.52	o 8194592
2828.09/3017.54	o 8194568
2831.98/3021.44	o 8194557
2831.98/3021.46	o 8194546
2832.08/3021.58	o 8194537
2852.58/3043.55	o 8194519
2852.58/3043.59	o 8194513
2852.67/3043.60	o 8194501
2856.07/3047.10	o 8194483
2856.17/3047.16	o 8194411
2917.46/3110.39	o 8194405
2917.56/3110.42	o 8194399
2931.72/3126.14	o 8194394
2931.72/3126.17	o 8194376
2931.81/3126.22	o 8188232
2932.50/3126.95	o 8188231
2933.00/3127.43	o 8188213
2933.51/3128.01	o 8188208
2937.49/3132.01	o 8148068
2943.69/3138.12	o 8148044
2943.77/3138.29	o 8148042
2943.88/3138.31	o 8148036
2943.98/3138.48	o 8148020
2944.08/3138.53	o 8124468
2944.37/3138.84	o 8120372
2944.88/3139.35	o 8120370
2945.17/3139.64	o 8088906
2945.17/3139.66	o 8088900
2945.17/3139.68	o 8088780
2945.37/3139.83	o 8088776
2945.37/3139.87	o 8088774
2945.77/3140.28	o 8088772
2945.87/3140.37	o 8080580
2945.96/3140.49	o 8080564
2946.07/3140.53	o 8080562
2946.17/3140.67	o 8080557
2947.96/3142.44	o 8080301
2948.06/3142.50	o 8080287
2949.36/3143.81	o 8080273
2967.95/3163.28	o 8080237
2967.95/3163.29	o 8080225
2968.15/3163.46	o 8060401
2968.15/3163.47	o 8060385
2968.15/3163.48	o 8060361
2968.25/3163.53	o 8060353
2968.25/3163.54	o 8054721
2969.94/3165.28	o 8054719
2970.05/3165.34	o 8054607
2970.05/3165.36	o 8046415
2971.04/3166.31	o 8045443
2971.34/3166.68	o 8045425
2972.14/3167.45	o 8045422
2972.24/3167.50	o 7988870
2972.24/3167.53	o 7987846
2972.24/3167.57	o 7987590
2976.43/3171.75	o 7987510
2976.53/3171.81	o 7987504
2976.63/3171.92	o 7987474
2976.93/3172.26	o 7987074
2987.40/3182.72	o 7987071
2987.40/3182.77	o 7987055
2987.50/3182.85	o 7987045
3010.80/3206.91	o 7987031
3039.18/3237.42	o 7987021
3041.07/3239.38	o 7987015
3041.58/3239.81	o 7986961
3041.58/3239.87	o 7986952
3041.79/3240.05	o 7986904
3041.89/3240.12	o 7983231
3042.67/3240.96	o 7983215
3042.78/3241.02	o 7983199
3042.78/3241.06	o 7966815
3043.06/3241.31	o 7966807
3043.06/3241.37	o 7966801
3043.06/3241.39	o 7966792
3043.17/3241.44	o 7966788
3046.17/3244.46	o 7966728
3047.36/3245.65	o 7966726
3047.66/3245.97	o 7966722
3047.76/3246.04	o 7966713
3048.26/3246.50	o 7966710
3048.26/3246.53	o 7966708
3048.26/3246.56	o 7966706
3059.92/3261.57	o 7952034
3060.02/3261.67	o 7952030
3066.51/3268.13	o 7952026
3068.79/3270.42	o 7951580
3068.89/3270.51	o 7951577
3068.99/3270.60	o 7951574
3068.99/3270.68	o 7951570
3069.09/3270.77	o 7951564
3069.19/3270.81	o 7951542
3069.19/3270.86	o 7951528
3097.49/3304.67	o 7951464
3123.69/3363.77	o 7951455
3125.68/3365.74	o 7951407
3125.68/3365.77	o 7949359
3125.68/3365.79	o 7949343
3125.99/3366.04	o 7949327
3126.28/3366.39	o 7949271
3126.38/3366.40	o 7949247
3126.98/3367.10	o 7949183
3127.18/3367.21	o 7949111
3127.18/3367.23	o 7949103
3127.18/3367.24	o 7949039
3127.18/3367.28	o 7945583
3127.47/3367.58	o 7944494
3127.47/3367.59	o 7867694
3128.70/3372.84	o 7867667
3128.91/3373.06	o 7867663
3130.59/3374.75	o 7867151
3131.19/3375.36	o 7867139
3131.69/3375.82	o 7867134
3132.09/3376.29	o 7867006
3133.09/3377.29	o 7866998
3133.19/3377.38	o 7866742
3138.08/3382.25	o 7866739
3138.18/3382.33	o 7866733
3156.72/3403.48	o 7866653
3167.68/3414.42	o 7866597
3168.58/3415.35	o 7865573
3169.39/3416.18	o 7865563
3169.47/3416.22	o 7865552
3169.47/3416.24	o 7865550
3169.47/3416.26	o 7865539
3170.87/3417.67	o 7865483
3170.98/3417.72	o 7865475
3171.28/3418.06	o 7865464
3171.39/3418.14	o 7865458
3171.39/3418.16	o 7865451
3171.39/3418.18	o 7865424
3172.16/3418.90	o 7865419
3172.67/3419.40	o 7865410
3172.67/3419.42	o 7865405
3172.76/3419.53	o 7865117
3172.76/3419.59	o 7865082
3172.97/3419.78	o 7865077
3173.07/3419.81	o 7865066
3173.07/3419.83	o 7865044
3173.07/3419.86	o 7865040
3174.06/3420.85	o 7865035
3174.16/3420.97	o 7865028
3176.16/3422.90	o 7865008
3178.55/3425.32	o 7865002
3194.93/3445.08	o 7865001
3195.31/3445.49	o 7865000
3195.42/3445.51	o 7864994
3195.42/3445.54	o 7864983
3197.92/3448.04	o 7864958
3197.92/3448.06	o 7864954
3198.02/3448.15	o 7864952
3198.12/3448.28	o 7864922
3198.22/3448.34	o 7864778
3198.31/3448.41	o 7843130
3198.31/3448.47	o 7843102
3201.92/3452.09	o 7843098
3201.92/3452.11	o 7843087
3202.40/3452.56	o 7843012
3202.50/3452.61	o 7843008
3202.50/3452.64	o 7842978
3203.02/3453.16	o 7842967
3203.10/3453.22	o 7842953
3203.10/3453.26	o 7842057
3205.80/3455.91	o 7842051
3205.80/3456.00	o 7842045
3207.89/3458.06	o 7841901
3210.48/3460.66	o 7841888
3212.68/3462.87	o 7841884
3212.89/3463.01	o 7841858
3216.60/3469.86	o 7841849
3216.70/3469.95	o 7841844
3225.68/3478.92	o 7841835
3239.05/3492.32	o 7841834
3240.45/3493.77	o 7841826
3241.14/3494.43	o 7841814
3241.24/3494.52	o 7841812
3241.24/3494.55	o 7841802
3241.24/3494.57	o 7841798
3241.34/3494.62	o 7841734
3244.27/3500.46	o 7841733
3244.27/3500.50	o 7799845
3244.88/3501.10	o 7799843
3245.07/3501.26	o 7799831
3245.17/3501.30	o 7799825
3245.36/3501.59	o 7799569
3246.56/3502.73	o 7799561
3246.56/3502.76	o 7799539
3246.66/3502.80	o 7799528
3247.36/3503.50	o 7799513
3247.97/3504.15	o 7799509
3247.97/3504.18	o 7799498
3248.06/3504.20	o 7799483
3253.14/3509.30	o 7799477
3271.79/3529.91	o 7799473
3272.00/3530.12	o 7799449
3296.99/3555.28	o 7799441
3297.09/3555.30	o 7696017
3297.90/3556.13	o 7695993
3305.37/3567.31	o 7675373
3305.47/3567.46	o 7675229
3305.47/3567.48	o 7675181
3305.87/3567.80	o 7672109
3307.08/3569.02	o 7592909
3307.18/3569.17	o 7592907
3418.11/3697.61	o 7592904
3418.11/3697.66	o 7581905
3418.11/3697.68	o 7581883
3418.21/3697.75	o 7581795
3418.21/3697.77	o 7581091
3418.41/3697.94	o 7570412
3418.52/3698.03	o 7570408
3418.52/3698.08	o 7570390
3418.62/3698.17	o 7566830
3418.62/3698.19	o 7566824
3420.52/3700.01	c Program interrupted by user.
3420.52/3700.01	s SATISFIABLE
3420.52/3700.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 -x64 x65 x66 x67 -x68 x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 x249 x250 -x251 -x252 x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 x395 x396 -x397 -x398 x399 x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 x515 x516 -x517 x518 x519 x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 x846 x847 -x848 -x849 x850 x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 -x904 -x905 x906 x907 x908 x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 x1083 x1084 -x1085 x1086 x1087 x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 x1353 -x1354 x1355 x1356 x1357 x1358 -x1359 -x1360 x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 x1566 x1567 -x1568 -x1569 x1570 x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 x1654 -x1655 x1656 -x1657 -x1658 x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 x1804 x1805 -x1806 -x1807 x1808 x1809 -x1810 x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 x2012 x2013 -x2014 x2015 -x2016 x2017 x2018 -x2019 x2020 -x2021 x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 x2282 x2283 x2284 -x2285 -x2286 x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 -x2464 x2465 x2466 x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 x2555 x2556 x2557 x2558 x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 x2703 x2704 -x2705 -x2706 x2707 x2708 x2709 x2710 x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 x2851 x2852 -x2853 -x2854 x2855 -x2856 x2857 -x2858 -x2859 x2860 -x2861 x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 -x2914 -x2915 x2916 x2917 -x2918 x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 -x3037 x3038 -x3039 -x3040 x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 x3154 -x3155 -x3156 -x3157 -x3158 x3159 -x3160 x3161 -x3162 x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 x3368 -x3369 -x3370 -x3371 x3372 x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 x3427 -x3428 x3429 x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 x3606 x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 x3723 -x3724 x3725 x3726 x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 -x3902 -x3903 x3904 x3905 -x3906 -x3907 -x3908 -x3909 x3910 x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 x4142 -x4143 x4144 x4145 -x4146 -x4147 x4148 -x4149 -x4150 x4151 x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 x4172 x4173 x4174 -x4175 -x4176 x4177 -x4178 x4179 x4180 -x4181 x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 x4621 x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 x4629 x4630 -x4631 x4632 -x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 x4655 x4656 x4657 -x4658 x4659 -x4660 x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 x4928 x4929 x4930 x4931 -x4932 -x4933 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 x5223 x5224 x5225 -x5226 -x5227 x5228 -x5229 x5230 x5231 -x5232 -x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 x5498 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 x5977 -x5978 x5979 x5980 x5981 -x5982 x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 x6571 -x6572 -x6573 -x6574 x6575 x6576 -x6577 x6578 -x6579 -x6580 -x6581 x6582 x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 x7182 -x7183 x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 x7563 -x7564 -x7565 x7566 -x7567 -x7568 x7569 -x7570 -x7571 -x7572 -x7573 x7574 -x7575 -x7576 -x7577 x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 x7589 -x7590 x7591 -x7592 -x7593 -x7594 -x7595 -x7596 x7597 -x7598 x7599 -x7600 -x7601 -x7602 -x7603 x7604 -x7605 x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 x7613 -x7614 -x7615 x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 x7628 -x7629 -x7630 -x7631 -x7632 x7633 -x7634 -x7635 -x7636 x7637 -x7638 -x7639 -x7640 -x7641 -x7642 x7643 -x7644 -x7645 x7646 x7647 -x7648 -x7649 -x7650 x7651 x7652 -x7653 -x7654 -x7655 x7656 -x7657 x7658 -x7659 -x7660 -x7661 x7662 -x7663 x7664 -x7665 x7666 x7667 -x7668 -x7669 -x7670 -x7671 -x7672 x7673 -x7674 x7675 -x7676 x7677 -x7678 -x7679 -x7680 x7681 -x7682 -x7683 -x7684 x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 x7700 -x7701 -x7702 x7703 x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 x7715 x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812

Verifier Data 

OK	7566824

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 (61074 MiB free)
  memory of node 1: 64473 MiB (61220 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440627-1721752167/watcher-4440627-1721752167 -o /tmp/evaluation-result-4440627-1721752167/solver-4440627-1721752167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721752167-105174 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440627-1721752167 --seed=2080928096 HOME/instance-4440627-1721752167.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=105206, runsolver pid=105203

[startup+0.10031 s]*
/proc/loadavg: 2.27 2.24 2.20 5/243 105224
/proc/meminfo: memFree=125189724/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=36260 memory=14136 CPUtime=0.09 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 3194 0 0 0 8 1 0 0 20 0 1 0 11206195 37130240 3534 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 9065 3534 770 747 0 8128 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36260 KiB
Current children cumulated memory: 14136 KiB

[startup+0.21425 s]*
/proc/loadavg: 2.27 2.24 2.20 5/249 105234
/proc/meminfo: memFree=125114592/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=36788 memory=14784 CPUtime=0.21 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 3334 0 0 0 18 3 0 0 20 0 1 0 11206195 37670912 3696 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 9197 3696 802 747 0 8260 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 14784 KiB

[startup+0.313314 s]*
/proc/loadavg: 2.27 2.24 2.20 5/249 105234
/proc/meminfo: memFree=125060056/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=37720 memory=15576 CPUtime=0.3 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 3550 0 0 0 27 3 0 0 20 0 1 0 11206195 38625280 3894 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 9430 3894 802 747 0 8493 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37720 KiB
Current children cumulated memory: 15576 KiB

[startup+0.70031 s]
/proc/loadavg: 2.48 2.29 2.21 5/249 105234
/proc/meminfo: memFree=125002092/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=42624 memory=19476 CPUtime=0.68 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 4704 0 0 0 63 5 0 0 20 0 1 0 11206195 43646976 4869 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 10656 4869 850 747 0 9719 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42624 KiB
Current children cumulated memory: 19476 KiB

[startup+1.50033 s]
/proc/loadavg: 2.48 2.29 2.21 5/249 105236
/proc/meminfo: memFree=124929688/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=46384 memory=26800 CPUtime=1.48 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 5985 0 0 0 141 7 0 0 20 0 1 0 11206195 47497216 6700 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 11596 6700 850 747 0 10659 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46384 KiB
Current children cumulated memory: 26800 KiB

[startup+3.11321 s]
/proc/loadavg: 2.48 2.29 2.21 5/249 105236
/proc/meminfo: memFree=124640092/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=51424 memory=37936 CPUtime=3.08 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 7265 0 0 0 298 10 0 0 20 0 1 0 11206195 52658176 9484 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 12856 9484 850 747 0 11919 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51424 KiB
Current children cumulated memory: 37936 KiB

[startup+6.30031 s]
/proc/loadavg: 2.61 2.32 2.22 5/252 105239
/proc/meminfo: memFree=124240452/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=87004 memory=76492 CPUtime=6.26 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 13006 0 0 0 612 14 0 0 20 0 1 0 11206195 89092096 19123 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 21751 19123 850 747 0 20814 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87004 KiB
Current children cumulated memory: 76492 KiB

[startup+12.7003 s]
/proc/loadavg: 2.88 2.38 2.24 5/253 105241
/proc/meminfo: memFree=123546364/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=122336 memory=99408 CPUtime=12.41 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 16099 0 0 0 1219 22 0 0 20 0 1 0 11206195 125272064 24852 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 23 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 30584 24852 850 747 0 29647 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 122336 KiB
Current children cumulated memory: 99408 KiB

[startup+25.5003 s]
/proc/loadavg: 3.13 2.45 2.27 5/252 105245
/proc/meminfo: memFree=121764996/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=133584 memory=120892 CPUtime=25.17 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 18920 0 0 0 2481 36 0 0 20 0 1 0 11206195 136790016 30223 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 23 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 33396 30223 850 747 0 32459 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 133584 KiB
Current children cumulated memory: 120892 KiB

[startup+51.1133 s]
/proc/loadavg: 3.47 2.60 2.32 5/250 105251
/proc/meminfo: memFree=118793136/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=206520 memory=180044 CPUtime=49.85 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 27180 0 0 0 4924 61 0 0 20 0 1 0 11206195 211476480 45011 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 107 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 51630 45011 850 747 0 50693 0
Current children cumulated CPU time: 49.85 s
Current children cumulated vsize: 206520 KiB
Current children cumulated memory: 180044 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 2.90 2.44 5/254 105320
/proc/meminfo: memFree=113233132/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=234608 memory=209516 CPUtime=99.48 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 31109 0 0 0 9842 106 0 0 20 0 1 0 11206195 240238592 52379 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 241 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 58652 52379 850 747 0 57715 0
Current children cumulated CPU time: 99.48 s
Current children cumulated vsize: 234608 KiB
Current children cumulated memory: 209516 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 3.16 2.56 5/257 105336
/proc/meminfo: memFree=107136308/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=267376 memory=233096 CPUtime=158.19 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 32016 0 0 0 15649 170 0 0 20 0 1 0 11206195 273793024 58274 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 352 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 66844 58274 850 747 0 65907 0
Current children cumulated CPU time: 158.19 s
Current children cumulated vsize: 267376 KiB
Current children cumulated memory: 233096 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.33 2.66 5/264 105354
/proc/meminfo: memFree=101054852/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=267376 memory=235644 CPUtime=215.8 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 32258 0 0 0 21358 222 0 0 20 0 1 0 11206195 273793024 58911 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 571 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 66844 58911 850 747 0 65907 0
Current children cumulated CPU time: 215.8 s
Current children cumulated vsize: 267376 KiB
Current children cumulated memory: 235644 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 3.53 2.77 5/268 105368
/proc/meminfo: memFree=94457700/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=267376 memory=235644 CPUtime=273.48 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 32360 0 0 0 27049 299 0 0 20 0 1 0 11206195 273793024 58911 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 781 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 66844 58911 850 747 0 65907 0
Current children cumulated CPU time: 273.48 s
Current children cumulated vsize: 267376 KiB
Current children cumulated memory: 235644 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 3.65 2.86 5/274 105385
/proc/meminfo: memFree=88321760/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=267376 memory=235644 CPUtime=327.05 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 32448 0 0 0 32340 365 0 0 20 0 1 0 11206195 273793024 58911 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1402 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 66844 58911 850 747 0 65907 0
Current children cumulated CPU time: 327.05 s
Current children cumulated vsize: 267376 KiB
Current children cumulated memory: 235644 KiB

[startup+402.3 s]
/proc/loadavg: 4.74 3.90 3.00 5/271 105396
/proc/meminfo: memFree=82624708/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=267376 memory=239740 CPUtime=380.99 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 32545 0 0 0 37671 428 0 0 20 0 1 0 11206195 273793024 59935 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 1982 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 66844 59935 850 747 0 65907 0
Current children cumulated CPU time: 380.99 s
Current children cumulated vsize: 267376 KiB
Current children cumulated memory: 239740 KiB

[startup+462.3 s]
/proc/loadavg: 4.70 4.04 3.10 4/273 105409
/proc/meminfo: memFree=76154716/131655788 swapFree=131071996/131071996
[pid=105206] ppid=105203 vsize=267376 memory=239740 CPUtime=436.61 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 32575 0 0 0 43173 488 0 0 20 0 1 0 11206195 273793024 59935 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 2404 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 66844 59935 850 747 0 65907 0

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


[startup+3162.3 s]
/proc/loadavg: 4.26 4.36 4.25 5/277 106616
/proc/meminfo: memFree=678944/131655788 swapFree=131071472/131071996
[pid=105206] ppid=105203 vsize=360548 memory=329948 CPUtime=2967.05 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 44208 0 0 0 293116 3589 0 0 20 0 1 0 11206195 369201152 82487 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18603 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90137 82487 850 747 0 89200 0
Current children cumulated CPU time: 2967.05 s
Current children cumulated vsize: 360548 KiB
Current children cumulated memory: 329948 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.31 4.24 5/277 106628
/proc/meminfo: memFree=602976/131655788 swapFree=131071472/131071996
[pid=105206] ppid=105203 vsize=360712 memory=330064 CPUtime=3024.12 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 44344 0 0 0 298749 3663 0 0 20 0 1 0 11206195 369369088 82516 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 18878 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90178 82516 850 747 0 89241 0
Current children cumulated CPU time: 3024.12 s
Current children cumulated vsize: 360712 KiB
Current children cumulated memory: 330064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.45 4.37 4.26 2/277 106640
/proc/meminfo: memFree=525000/131655788 swapFree=131071216/131071996
[pid=105206] ppid=105203 vsize=361200 memory=330524 CPUtime=3080.22 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) D 105203 105206 105161 0 -1 4194304 44505 0 0 0 304300 3722 0 0 20 0 1 0 11206195 369868800 82631 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 19208 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90300 82631 850 747 0 89363 0
Current children cumulated CPU time: 3080.22 s
Current children cumulated vsize: 361200 KiB
Current children cumulated memory: 330524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.51 4.41 4.28 4/272 107069
/proc/meminfo: memFree=4611764/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=361888 memory=331236 CPUtime=3102.33 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 44697 0 0 0 306485 3748 0 0 20 0 1 0 11206195 370573312 82809 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 23031 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90472 82809 850 747 0 89535 0
Current children cumulated CPU time: 3102.33 s
Current children cumulated vsize: 361888 KiB
Current children cumulated memory: 331236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.36 4.27 4/268 107101
/proc/meminfo: memFree=30941368/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=361888 memory=331236 CPUtime=3155.72 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) D 105203 105206 105161 0 -1 4194304 44816 0 0 0 311765 3807 0 0 20 0 1 0 11206195 370573312 82809 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 23438 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90472 82809 850 747 0 89535 0
Current children cumulated CPU time: 3155.72 s
Current children cumulated vsize: 361888 KiB
Current children cumulated memory: 331236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.34 4.27 4/268 107113
/proc/meminfo: memFree=27261908/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=361888 memory=331236 CPUtime=3212.17 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 44942 0 0 0 317331 3886 0 0 20 0 1 0 11206195 370573312 82809 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 24016 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90472 82809 850 747 0 89535 0
Current children cumulated CPU time: 3212.17 s
Current children cumulated vsize: 361888 KiB
Current children cumulated memory: 331236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.32 4.27 7/260 107292
/proc/meminfo: memFree=23683956/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=361888 memory=331236 CPUtime=3266.11 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 45057 0 0 0 322658 3953 0 0 20 0 1 0 11206195 370573312 82809 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 24607 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90472 82809 850 747 0 89535 0
Current children cumulated CPU time: 3266.11 s
Current children cumulated vsize: 361888 KiB
Current children cumulated memory: 331236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.29 4.26 5/264 107308
/proc/meminfo: memFree=20386624/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=361888 memory=331236 CPUtime=3317.94 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 45082 0 0 0 327754 4040 0 0 20 0 1 0 11206195 370573312 82809 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 25407 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90472 82809 850 747 0 89535 0
Current children cumulated CPU time: 3317.94 s
Current children cumulated vsize: 361888 KiB
Current children cumulated memory: 331236 KiB

[startup+3642.3 s]
/proc/loadavg: 4.17 4.27 4.26 5/264 107375
/proc/meminfo: memFree=18373024/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=361888 memory=331236 CPUtime=3368.18 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 45221 0 0 0 332711 4107 0 0 20 0 1 0 11206195 370573312 82809 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 26368 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90472 82809 850 747 0 89535 0
Current children cumulated CPU time: 3368.18 s
Current children cumulated vsize: 361888 KiB
Current children cumulated memory: 331236 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.16 4.25 4.25 5/262 107385
/proc/meminfo: memFree=15654120/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=361888 memory=331236 CPUtime=3420.52 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) R 105203 105206 105161 0 -1 4194304 45335 0 0 0 337872 4180 0 0 20 0 1 0 11206195 370573312 82809 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 26889 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 90472 82809 850 747 0 89535 0
Current children cumulated CPU time: 3420.52 s
Current children cumulated vsize: 361888 KiB
Current children cumulated memory: 331236 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.31 4.28 4.26 4/257 107395
/proc/meminfo: memFree=17033408/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=196516 memory=191968 CPUtime=3420.59 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) D 105203 105206 105161 0 -1 4194304 45335 0 0 0 337873 4186 0 0 20 0 1 0 11206195 201232384 47992 134679101440 4194304 7250417 140721124506000 0 0 256 0 0 8404994 0 0 0 17 5 0 0 27240 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 49129 47992 850 747 0 48192 0
??? kill 105206 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3378.73 s, system=41.9065 s

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

[startup+3700.8 s]
/proc/loadavg: 4.16 4.25 4.25 5/262 107385
/proc/meminfo: memFree=15654120/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=196516 memory=191968 CPUtime=3420.58 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) D 105203 105206 105161 0 -1 4194304 45335 0 0 0 337873 4185 0 0 20 0 1 0 11206195 201232384 47992 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 7 0 0 27023 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 49129 47992 850 747 0 48192 0
Current children cumulated CPU time: 3420.58 s
Current children cumulated vsize: 196516 KiB
Current children cumulated memory: 191968 KiB

[startup+3701.6 s]
/proc/loadavg: 4.16 4.25 4.25 4/262 107387
/proc/meminfo: memFree=16410612/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=196516 memory=191968 CPUtime=3420.59 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) D 105203 105206 105161 0 -1 4194304 45335 0 0 0 337873 4186 0 0 20 0 1 0 11206195 201232384 47992 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 7 0 0 27169 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 49129 47992 850 747 0 48192 0
Current children cumulated CPU time: 3420.59 s
Current children cumulated vsize: 196516 KiB
Current children cumulated memory: 191968 KiB

[startup+3702 s]*
/proc/loadavg: 4.31 4.28 4.26 2/257 107395
/proc/meminfo: memFree=17033200/131655788 swapFree=131070960/131071996
[pid=105206] ppid=105203 vsize=196516 memory=191968 CPUtime=3420.59 cores=5,7
/proc/105206/stat : 105206 (Exact_veripb2_n) D 105203 105206 105161 0 -1 4194304 45335 0 0 0 337873 4186 0 0 20 0 1 0 11206195 201232384 47992 134679101440 4194304 7250417 140721124506000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 27237 0 0 7950792 8015128 33681408 140721124512570 140721124512859 140721124512859 140721124519870 0
/proc/105206/statm: 49129 47992 850 747 0 48192 0
Current children cumulated CPU time: 3420.59 s
Current children cumulated vsize: 196516 KiB
Current children cumulated memory: 191968 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3703.38
CPU time (s): 3420.64
CPU user time (s): 3378.73
CPU system time (s): 41.9065
CPU usage (%): 92.3653
Max. virtual memory (cumulated for all children) (KiB): 434500
Max. memory (cumulated for all children) (KiB): 343688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3378.73
system time used= 41.9065
maximum resident set size= 353928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 154197304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11572
involuntary context switches= 6010


# summary of solver processes directly reported to runsolver:
#   pid: 105206
#   total CPU time (s): 3420.64
#   total CPU user time (s): 3378.73
#   total CPU system time (s): 41.9065

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.9928 second user time and 33.1613 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-23 18:29:28
IDJOB=4440627
IDBENCH=146763
IDSOLVER=3080
FILE ID=nodeC007/4440627-1721752167
RUNJOBID= nodeC007-1721752167-105174
SLURM_JOB_ID= 7770656
Free space on /tmp= 723780 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --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-4440627-1721752167/watcher-4440627-1721752167 -o /tmp/evaluation-result-4440627-1721752167/solver-4440627-1721752167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721752167-105174 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440627-1721752167 --seed=2080928096 HOME/instance-4440627-1721752167.opb

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

MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4
RANDOM SEED=2080928096

nodeC007.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		: 1197.210
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.67
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		: 1197.204
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.37
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		: 1197.206
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.67
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		: 1197.204
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.37
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		: 1197.206
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.67
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		: 3376.504
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.37
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		: 1197.221
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.67
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		: 1197.201
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125238804 kB
MemAvailable:   130008808 kB
Buffers:          174024 kB
Cached:          5379740 kB
SwapCached:            0 kB
Active:          1064448 kB
Inactive:        4746052 kB
Active(anon):       1380 kB
Inactive(anon):   293056 kB
Active(file):    1063068 kB
Inactive(file):  4452996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16508 kB
Writeback:             8 kB
AnonPages:        256876 kB
Mapped:           102776 kB
Shmem:             37696 kB
KReclaimable:     188276 kB
Slab:             290620 kB
SReclaimable:     188276 kB
SUnreclaim:       102344 kB
KernelStack:        3760 kB
PageTables:         9664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     518876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18432 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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:      283464 kB
DirectMap2M:    24786944 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC007 at 2024-07-23 19:31:11