Trace number 4440626

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)8852630 3439.17 3702.77

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

1.09/1.19	o 33183792
1.48/1.51	o 33011760
1.48/1.51	o 32810032
1.48/1.52	o 32718896
1.48/1.52	o 32623664
1.48/1.53	o 32359472
1.48/1.53	o 32266288
1.48/1.54	o 32177200
1.48/1.54	o 32088112
1.48/1.54	o 31974448
1.48/1.55	o 31788080
1.48/1.55	o 31708208
1.48/1.56	o 31566896
1.48/1.56	o 31362096
1.48/1.57	o 31129648
1.48/1.57	o 30975024
1.48/1.58	o 30810160
1.48/1.58	o 30670896
1.48/1.59	o 30435376
1.48/1.59	o 30209072
1.57/1.60	o 29999152
1.57/1.60	o 29889584
1.57/1.61	o 29644848
1.57/1.61	o 29520944
1.57/1.61	o 29405232
1.57/1.62	o 29279280
1.57/1.62	o 29062192
1.68/1.75	o 29062190
1.68/1.76	o 29062186
1.68/1.77	o 29062183
1.68/1.77	o 29062173
1.68/1.79	o 29062128
1.78/1.80	o 29062121
1.78/1.81	o 29062107
1.78/1.88	o 29062075
2.09/2.17	o 29062070
3.67/3.71	o 29028409
3.67/3.74	o 29028401
3.67/3.75	o 29028391
3.67/3.77	o 29028385
3.67/3.79	o 28878881
3.77/3.81	o 28622881
3.77/3.82	o 28615693
3.77/3.82	o 28615691
3.77/3.83	o 28615688
3.77/3.84	o 28388368
3.77/3.84	o 28237840
3.77/3.85	o 27997200
3.77/3.86	o 27853840
3.77/3.86	o 27669520
3.77/3.87	o 27437072
3.77/3.87	o 27244560
3.77/3.88	o 27041808
3.77/3.88	o 26892304
3.77/3.89	o 26724368
3.77/3.89	o 26604560
3.87/3.90	o 26424336
3.87/3.90	o 26247184
3.87/3.91	o 26023952
3.87/3.91	o 25904144
3.87/3.92	o 25704464
3.87/3.92	o 25544720
3.87/3.93	o 25544716
3.87/3.93	o 25544713
3.87/3.94	o 25412617
3.87/3.95	o 25412613
3.87/3.97	o 25313510
3.87/3.97	o 25313502
3.87/3.98	o 25312473
3.98/4.01	o 25312455
3.98/4.03	o 25312443
4.08/4.12	o 25312441
4.08/4.15	o 25312433
4.08/4.16	o 25310897
4.08/4.18	o 25310513
4.08/4.19	o 25310321
4.17/4.26	o 25310317
4.17/4.28	o 25178289
4.46/4.51	o 25171114
4.46/4.59	o 25171104
4.57/4.60	o 25171082
4.57/4.62	o 25171072
4.57/4.63	o 25171070
4.57/4.64	o 25171060
4.57/4.67	o 25053608
4.67/4.76	o 25051746
4.67/4.77	o 25051728
4.77/4.85	o 25051716
4.77/4.87	o 25051710
4.77/4.89	o 25051704
4.86/4.90	o 24884804
4.86/4.91	o 24884798
4.86/4.97	o 24884750
4.98/5.05	o 24884738
4.98/5.06	o 24884735
5.16/5.20	o 24884411
5.16/5.21	o 24883985
5.16/5.22	o 24883979
5.37/5.41	o 24882443
5.37/5.49	o 24878483
5.46/5.51	o 24878475
5.46/5.56	o 24872359
5.56/5.61	o 24841643
6.26/6.36	o 24841387
11.80/12.13	o 24838827
11.89/12.27	o 24838821
12.08/12.49	o 24838053
12.69/13.03	o 24837669
12.69/13.10	o 24836901
12.79/13.13	o 24836517
12.79/13.15	o 24836325
12.79/13.17	o 24836133
12.87/13.21	o 24836121
12.87/13.24	o 24774685
12.87/13.27	o 24704029
12.97/13.31	o 24578083
13.07/13.43	o 24578081
13.07/13.45	o 24578073
13.07/13.47	o 24578069
13.18/13.52	o 24462941
13.28/13.60	o 24462939
13.28/13.62	o 24460635
13.28/13.64	o 24460491
13.28/13.67	o 24441627
13.38/13.71	o 24441621
13.48/13.88	o 24440853
13.69/14.07	o 24440847
14.58/14.94	o 24434441
14.69/15.06	o 24434440
14.69/15.11	o 24434439
14.79/15.13	o 24434438
14.79/15.17	o 24434436
15.57/15.91	o 24348932
16.07/16.41	o 24348931
16.07/16.47	o 24348927
17.06/17.46	o 24348919
17.77/18.19	o 24174816
18.68/19.05	o 24174688
19.06/19.41	o 23939168
19.06/19.46	o 23843936
19.26/19.64	o 23658672
19.35/19.70	o 23444656
19.35/19.77	o 23444655
19.45/19.84	o 23391891
19.45/19.86	o 23391888
19.55/19.90	o 23391885
19.55/19.98	o 23391883
21.15/21.54	o 23391879
26.65/27.08	o 23391878
26.65/27.09	o 23280262
26.75/27.15	o 23280260
26.75/27.16	o 23280256
26.83/27.20	o 23280255
26.83/27.27	o 23280250
26.83/27.29	o 23280247
27.03/27.42	o 23279735
27.03/27.46	o 23279731
27.13/27.55	o 23152176
27.23/27.61	o 23152131
27.23/27.62	o 23032332
27.23/27.64	o 23032331
27.23/27.68	o 23032330
27.33/27.70	o 23032308
27.33/27.72	o 23032307
27.43/27.80	o 22902643
27.43/27.89	o 22751139
27.53/28.00	o 22750969
27.64/28.06	o 22750953
27.64/28.07	o 22750952
27.82/28.24	o 22750950
27.82/28.26	o 22750948
27.93/28.30	o 22648206
27.93/28.33	o 22648203
27.93/28.35	o 22648123
27.93/28.37	o 22648097
28.23/28.61	o 22648061
28.23/28.63	o 22648053
28.23/28.67	o 22648051
28.23/28.69	o 22648050
28.32/28.76	o 22648028
28.42/28.89	o 22648019
28.52/28.91	o 22648018
28.64/29.01	o 22645970
28.93/29.38	o 22612727
29.03/29.47	o 22611831
29.13/29.55	o 22611828
29.13/29.58	o 22611826
29.52/29.91	o 22611819
29.52/29.95	o 22611816
29.52/29.97	o 22611752
29.64/30.07	o 22611720
29.64/30.10	o 22611592
29.74/30.14	o 22611560
29.82/30.20	o 22607881
29.82/30.23	o 22607785
29.82/30.25	o 22607161
29.82/30.27	o 22607137
29.82/30.30	o 22607125
30.02/30.47	o 22606101
30.32/30.73	o 22604053
30.63/31.02	o 22604045
30.73/31.14	o 22604044
30.82/31.23	o 22603788
31.02/31.43	o 22603786
31.12/31.51	o 22603770
31.12/31.57	o 22603768
31.42/31.81	o 22603704
31.42/31.84	o 22603691
31.52/31.90	o 22603690
31.52/31.95	o 22603689
31.52/31.98	o 22562369
31.52/32.00	o 22562368
31.63/32.02	o 22562365
31.81/32.24	o 22562363
32.11/32.55	o 22463055
32.21/32.63	o 22463031
33.51/33.90	o 22462019
43.68/45.26	o 22462014
43.68/45.27	o 22461996
43.68/45.29	o 22461993
43.78/45.30	o 22386217
43.78/45.32	o 22231593
43.78/45.34	o 22231591
44.18/45.72	o 22231463
44.18/45.78	o 22231455
44.28/45.81	o 22231327
44.28/45.83	o 22231325
44.28/45.86	o 22231295
44.28/45.87	o 22231293
44.38/45.92	o 22225094
44.38/45.95	o 22225090
44.77/46.33	o 22043128
44.97/46.57	o 22042872
45.07/46.60	o 21922040
45.38/47.00	o 21851558
45.67/47.27	o 21795313
46.37/47.93	o 21795306
46.37/47.96	o 21795288
46.77/48.32	o 21795287
46.97/48.58	o 21795075
47.07/48.61	o 21795070
47.07/48.64	o 21795066
47.26/48.87	o 21795064
47.36/48.91	o 21795062
47.36/48.96	o 21795058
47.87/49.42	o 21795054
48.57/50.11	o 21705766
48.66/50.21	o 21705246
48.66/50.30	o 21705182
48.96/50.55	o 21705181
48.96/50.59	o 21705180
49.36/50.92	o 21705148
49.36/51.00	o 21598652
49.48/51.10	o 21549646
49.58/51.13	o 21549644
49.58/51.16	o 21549629
49.66/51.20	o 21549620
49.66/51.22	o 21549618
49.66/51.25	o 21549592
49.86/51.43	o 21533604
49.86/51.46	o 21533602
50.26/51.82	o 21434469
50.26/51.85	o 21434463
50.57/52.12	o 21434455
52.05/53.64	o 21434447
52.15/53.76	o 21434423
52.25/53.81	o 21434414
52.25/53.83	o 21434351
56.64/58.27	o 21434344
56.83/58.41	o 21434343
57.03/58.61	o 21434316
63.11/64.74	o 21434252
63.11/64.79	o 21342156
63.21/64.82	o 21342154
63.21/64.89	o 21342146
63.31/64.91	o 21342145
63.31/64.92	o 21342140
63.31/64.98	o 21342092
63.53/65.19	o 21341970
63.72/65.30	o 21341969
63.72/65.31	o 21341964
63.82/65.45	o 21341963
63.91/65.51	o 21341947
64.01/65.66	o 21341945
64.11/65.74	o 21341561
64.21/65.80	o 21155321
64.21/65.89	o 21143033
64.81/66.41	o 21092161
64.81/66.46	o 21092159
64.81/66.49	o 21092153
64.90/66.53	o 21092152
64.90/66.54	o 21092151
64.90/66.56	o 21045061
65.21/66.84	o 21017335
65.31/66.95	o 21017333
65.42/67.03	o 21015302
65.42/67.04	o 21015292
65.42/67.06	o 20843260
65.42/67.10	o 20843259
69.09/70.74	o 20843252
69.40/71.10	o 20842228
70.69/72.36	o 20842220
71.08/72.78	o 20841360
71.18/72.87	o 20841359
71.28/72.91	o 20837263
71.28/72.94	o 20837007
71.40/73.03	o 20835471
71.40/73.05	o 20835423
71.59/73.23	o 20798698
71.59/73.26	o 20798687
74.96/78.22	o 20782412
81.85/85.13	o 20782410
81.94/85.24	o 20782408
81.94/85.25	o 20782407
81.94/85.28	o 20782405
81.94/85.29	o 20782404
82.04/85.34	o 20518375
82.04/85.35	o 20518367
82.04/85.35	o 20518365
82.04/85.36	o 20518363
82.04/85.38	o 20431323
82.14/85.41	o 20423013
82.33/85.70	o 20423005
82.43/85.71	o 20423001
82.43/85.78	o 20422997
82.54/85.83	o 20422995
83.63/86.94	o 20422994
83.93/87.21	o 20422993
84.43/87.70	o 20401373
84.63/87.92	o 20397550
84.92/88.21	o 20397543
86.02/89.39	o 20382951
86.22/89.51	o 20382439
87.52/90.83	o 20356276
87.52/90.85	o 20356275
87.62/90.95	o 20356264
87.62/90.98	o 20356251
87.73/91.09	o 20356241
87.92/91.22	o 20356049
87.92/91.28	o 20353927
88.02/91.33	o 20353735
88.12/91.45	o 20353687
88.22/91.57	o 20353675
88.31/91.64	o 20352651
89.11/92.45	o 20352649
89.21/92.53	o 20352265
89.21/92.56	o 20351881
89.32/92.62	o 20351635
89.32/92.65	o 20351629
89.32/92.69	o 20351623
89.42/92.72	o 20351521
89.42/92.76	o 20351497
89.51/92.89	o 20339775
89.61/92.95	o 20339769
89.82/93.16	o 20339767
91.00/94.36	o 20339703
98.79/102.13	o 20339697
98.79/102.14	o 20339633
98.79/102.15	o 20339569
98.79/102.18	o 20339567
98.88/102.25	o 20339503
98.98/102.31	o 20339502
99.18/102.51	o 20339486
99.69/103.05	o 20339478
99.87/103.20	o 20304733
99.87/103.22	o 20304723
99.87/103.24	o 20304722
99.87/103.26	o 20304717
99.87/103.27	o 20304716
99.97/103.30	o 20304704
102.53/107.09	o 20279647
102.72/107.20	o 20279631
102.72/107.25	o 20279599
102.72/107.28	o 20279595
103.11/107.62	o 20279591
103.21/107.72	o 20279587
103.31/107.85	o 20277539
103.31/107.89	o 20277537
103.41/107.97	o 20144446
103.41/108.01	o 20144426
103.52/108.06	o 20144421
103.52/108.09	o 20144413
103.71/108.23	o 20144410
103.81/108.34	o 20045422
104.11/108.66	o 20045398
104.21/108.78	o 19983956
104.41/108.99	o 19983932
104.53/109.01	o 19983928
104.53/109.03	o 19983896
104.53/109.04	o 19983878
104.53/109.06	o 19983874
104.53/109.08	o 19847856
104.53/109.09	o 19847784
104.63/109.12	o 19754603
104.63/109.17	o 19754601
105.41/109.97	o 19645033
167.76/174.07	o 19644905
167.95/174.20	o 19639107
167.95/174.20	o 19639104
167.95/174.21	o 19639098
167.95/174.22	o 19638906
167.95/174.24	o 19638897
167.95/174.26	o 19634417
167.95/174.29	o 19634415
168.05/174.30	o 19634223
170.45/176.70	o 19634220
183.30/189.65	o 19634028
183.59/189.98	o 19634027
183.70/190.06	o 19633979
183.80/190.12	o 19633974
183.80/190.19	o 19633966
183.89/190.21	o 19633956
183.89/190.23	o 19633952
183.89/190.28	o 19633945
183.89/190.29	o 19633941
183.99/190.30	o 19633940
183.99/190.37	o 19633808
183.99/190.39	o 19633688
184.09/190.42	o 19633685
184.09/190.44	o 19633684
184.29/190.62	o 19608672
184.29/190.65	o 19608160
184.29/190.67	o 19607134
184.39/190.75	o 19607130
184.39/190.77	o 19606746
184.70/191.07	o 19606682
184.98/191.33	o 19606554
185.08/191.49	o 19605786
185.18/191.54	o 19604890
185.38/191.75	o 19603866
185.48/191.80	o 19603862
185.48/191.84	o 19603860
185.48/191.86	o 19603846
185.58/191.94	o 19603783
185.80/192.18	o 19603735
185.89/192.22	o 19603671
185.89/192.25	o 19603670
186.39/192.73	o 19590352
186.39/192.76	o 19590350
186.49/192.80	o 19590338
186.49/192.83	o 19589966
186.80/193.19	o 19587151
186.98/193.30	o 19587143
187.08/193.46	o 19587135
187.18/193.58	o 19467543
187.28/193.66	o 19467479
187.28/193.68	o 19467351
187.88/194.28	o 19400153
187.98/194.33	o 19400143
187.98/194.35	o 19400136
188.08/194.43	o 19396040
188.08/194.45	o 19395912
188.78/195.13	o 19395688
188.78/195.19	o 19395675
188.88/195.28	o 19395663
189.08/195.46	o 19395655
189.18/195.52	o 19375175
189.27/195.61	o 19373895
189.47/195.82	o 19373883
189.97/196.35	o 19142411
189.97/196.38	o 19115202
190.57/196.93	o 19106884
190.57/196.96	o 19106876
190.68/197.02	o 19106868
190.68/197.07	o 19106863
190.86/197.25	o 19106862
190.86/197.28	o 19106846
190.96/197.31	o 19106350
190.96/197.36	o 19106334
190.96/197.40	o 18985502
191.06/197.45	o 18985462
191.06/197.47	o 18885110
191.16/197.52	o 18885100
191.26/197.69	o 18885096
191.46/197.80	o 18723560
191.46/197.83	o 18723520
191.46/197.85	o 18723516
191.97/198.30	o 18723512
192.17/198.53	o 18723500
203.94/211.50	o 18723488
209.55/217.14	o 18670188
209.55/217.18	o 18670184
209.63/217.24	o 18670128
209.83/217.46	o 18669573
209.93/217.53	o 18669572
209.93/217.59	o 18669569
210.03/217.63	o 18669565
210.03/217.67	o 18669529
210.03/217.68	o 18669521
210.03/217.69	o 18669505
210.12/217.71	o 18663361
210.12/217.77	o 18634152
210.22/217.88	o 18583156
210.32/217.96	o 18583155
210.32/217.98	o 18582899
210.43/218.04	o 18582891
210.62/218.29	o 18582635
210.73/218.35	o 18582631
210.73/218.36	o 18582627
210.73/218.38	o 18582622
210.73/218.40	o 18582606
210.83/218.45	o 18582603
210.93/218.50	o 18582602
210.93/218.52	o 18580367
211.13/218.73	o 18570093
211.23/218.88	o 18569981
211.54/219.13	o 18569869
211.62/219.23	o 18569868
211.62/219.25	o 18569866
211.82/219.49	o 18569863
214.02/221.66	o 18480775
215.01/222.69	o 18480772
228.80/238.00	o 18480770
228.92/238.01	o 18480002
231.20/240.34	o 18479998
231.50/240.60	o 18479992
231.50/240.62	o 18479936
232.40/241.58	o 18479896
232.60/241.71	o 18476312
232.60/241.77	o 18475800
233.00/242.11	o 18466444
233.09/242.23	o 18466436
233.09/242.28	o 18465956
233.40/242.51	o 18465188
233.50/242.62	o 18465184
233.50/242.65	o 18465182
233.50/242.67	o 18465166
233.59/242.72	o 18465158
233.59/242.75	o 18465154
233.59/242.79	o 18455556
233.69/242.86	o 18455555
233.79/242.93	o 18455554
233.79/242.95	o 18455042
233.91/243.05	o 18452994
234.00/243.18	o 18314754
235.38/244.54	o 18252663
235.48/244.65	o 18203637
235.78/244.92	o 18203631
236.48/245.66	o 18203503
236.78/245.98	o 18203502
236.89/246.02	o 18203499
237.08/246.25	o 18203497
237.28/246.43	o 18198165
237.38/246.52	o 18198111
237.38/246.59	o 18198079
237.48/246.67	o 18196287
237.77/246.92	o 18177768
237.77/246.97	o 18177384
237.77/246.99	o 18126756
237.89/247.08	o 18126700
237.99/247.16	o 18126692
237.99/247.18	o 18126688
238.18/247.33	o 18007966
238.18/247.38	o 18007964
238.28/247.41	o 17953844
238.89/248.07	o 17942620
238.89/248.10	o 17942617
239.17/248.38	o 17849029
239.28/248.44	o 17849026
240.27/249.44	o 17849022
240.27/249.49	o 17848990
240.37/249.53	o 17836441
240.47/249.64	o 17836425
240.57/249.70	o 17836421
240.67/249.81	o 17813915
240.67/249.88	o 17703323
241.17/250.32	o 17703315
244.16/253.31	o 17572249
244.26/253.45	o 17572233
244.36/253.51	o 17568685
244.36/253.56	o 17568681
244.36/253.59	o 17568679
244.46/253.61	o 17568678
244.46/253.64	o 17533446
244.56/253.76	o 17496542
244.65/253.82	o 17496534
245.05/254.23	o 17496532
245.26/254.49	o 17496520
246.35/255.50	o 17496516
246.65/255.88	o 17496510
247.35/256.56	o 17495998
247.45/256.63	o 17495997
247.45/256.66	o 17495994
247.55/256.77	o 17492922
248.86/258.04	o 17424264
254.94/264.19	o 17424248
255.02/264.22	o 17424232
255.52/264.71	o 17423720
255.72/264.95	o 17423718
256.17/266.83	o 17419213
256.17/266.87	o 17419212
256.48/267.12	o 17383828
256.56/267.22	o 17383827
256.67/267.33	o 17382803
256.67/267.37	o 17382611
257.06/267.77	o 17382579
257.16/267.82	o 17382547
257.47/268.14	o 17381011
257.47/268.17	o 17368723
257.56/268.26	o 17368720
257.66/268.30	o 17341088
257.66/268.33	o 17341082
257.66/268.36	o 17341072
257.76/268.41	o 17341070
257.76/268.48	o 17320590
258.37/269.08	o 17320587
258.47/269.11	o 17320586
258.47/269.15	o 17320585
258.47/269.18	o 17227412
265.13/275.83	o 17227410
275.60/286.33	o 17227408
275.60/286.35	o 17227404
281.30/292.07	o 17143243
281.58/292.33	o 17143115
281.78/292.53	o 17128523
281.78/292.58	o 17128507
281.89/292.63	o 17128475
282.40/293.17	o 17106464
282.98/293.78	o 17106436
283.08/293.84	o 17106430
284.07/294.88	o 17106429
284.17/294.92	o 17106425
314.47/327.29	o 17022720
338.49/354.60	o 17022718
338.49/354.61	o 17022708
338.49/354.62	o 17022702
338.70/354.80	o 17022690
338.70/354.87	o 17022670
338.70/354.88	o 17022667
338.70/354.89	o 17022664
338.80/354.91	o 17022661
338.80/354.97	o 17021381
338.91/355.08	o 17021355
338.91/355.09	o 17021345
338.91/355.10	o 17021339
339.01/355.13	o 17021336
339.01/355.14	o 17021333
339.01/355.16	o 17021324
340.01/356.13	o 17020554
340.01/356.14	o 17020548
340.01/356.16	o 17020542
340.01/356.17	o 17020536
340.01/356.18	o 17020530
340.09/356.20	o 17020524
340.19/356.33	o 17018228
340.19/356.35	o 17018180
340.29/356.40	o 17018177
340.39/356.57	o 17018171
340.49/356.61	o 17018168
340.49/356.65	o 17018163
340.49/356.66	o 17018162
340.49/356.68	o 17018156
340.59/356.70	o 17018151
340.59/356.71	o 17018150
340.69/356.87	o 17018144
347.76/367.41	o 17017760
347.76/367.44	o 17017736
347.76/367.47	o 17017676
347.76/367.49	o 17017670
347.86/367.51	o 17017640
347.86/367.54	o 16917288
347.96/367.61	o 16916512
348.47/368.12	o 16916510
349.05/368.75	o 16916470
349.05/368.78	o 16916430
349.15/368.81	o 16853976
349.47/369.16	o 16853970
350.05/369.75	o 16853964
350.15/369.88	o 16849868
350.95/370.68	o 16849676
352.94/372.66	o 16781702
353.04/372.71	o 16781698
353.04/372.77	o 16781686
353.14/372.81	o 16781674
353.14/372.88	o 16781546
353.54/373.28	o 16781514
362.33/382.11	o 16781512
362.43/382.12	o 16781510
362.43/382.18	o 16781509
362.43/382.18	o 16781506
362.52/382.20	o 16781490
362.52/382.22	o 16781489
362.52/382.25	o 16781486
362.52/382.26	o 16781485
362.81/382.56	o 16781482
362.81/382.57	o 16781481
362.91/382.63	o 16781470
362.91/382.64	o 16781469
362.91/382.66	o 16781463
363.43/383.11	o 16781451
363.61/383.33	o 16768188
363.61/383.34	o 16768184
364.61/384.34	o 16768183
364.61/384.36	o 16768172
364.71/384.42	o 16768124
364.71/384.45	o 16767100
364.81/384.52	o 16767094
364.90/384.66	o 16767093
365.80/385.53	o 16767085
365.80/385.56	o 16767079
365.80/385.58	o 16767063
365.91/385.62	o 16551024
365.91/385.64	o 16551004
365.91/385.66	o 16550999
367.79/387.59	o 16550991
369.19/388.97	o 16550990
369.19/389.00	o 16550984
370.19/389.91	o 16523800
370.19/389.98	o 16523795
376.61/402.79	o 16523794
384.89/411.06	o 16523792
384.89/411.08	o 16523791
385.77/411.92	o 16523789
385.77/411.94	o 16523788
385.77/411.96	o 16523786
385.77/412.01	o 16523782
385.88/412.06	o 16523780
385.88/412.08	o 16523778
385.88/412.09	o 16523760
385.88/412.10	o 16523748
385.99/412.11	o 16523742
385.99/412.12	o 16523726
385.99/412.13	o 16523694
385.99/412.14	o 16523678
385.99/412.15	o 16523662
385.99/412.17	o 16523278
386.07/412.21	o 16523276
386.17/412.31	o 16523262
386.17/412.35	o 16523258
386.17/412.37	o 16523257
386.17/412.38	o 16523256
386.17/412.39	o 16523224
386.27/412.41	o 16522200
386.27/412.46	o 16522199
386.27/412.47	o 16522175
386.27/412.49	o 16522174
386.37/412.59	o 16456375
386.48/412.66	o 16445739
386.48/412.69	o 16445703
386.57/412.71	o 16445639
386.67/412.81	o 16445619
387.57/413.71	o 16445427
388.27/414.42	o 16445419
388.66/414.85	o 16443371
388.87/415.07	o 16360859
389.98/416.15	o 16345514
390.66/416.86	o 16222631
390.76/416.90	o 16222630
390.76/416.93	o 16222627
390.76/416.95	o 16222626
390.87/417.05	o 16222610
391.76/417.97	o 16222606
391.87/418.06	o 16222602
392.06/418.22	o 16190910
392.75/418.90	o 16190898
392.75/418.93	o 16190894
392.75/418.97	o 16190890
392.75/419.01	o 16190886
392.87/419.03	o 16190878
392.87/419.06	o 16190874
392.87/419.09	o 16190794
394.25/420.43	o 16190784
394.65/420.89	o 16190776
394.74/420.93	o 16190772
395.14/421.31	o 16186683
395.14/421.35	o 16186679
395.14/421.39	o 16186667
395.24/421.45	o 16186659
395.34/421.51	o 16083235
401.72/427.99	o 16019549
410.91/438.37	o 16019453
410.91/438.38	o 16019449
411.62/439.07	o 16019448
411.72/439.12	o 16019446
411.72/439.16	o 16013302
413.10/440.54	o 16013298
414.79/442.23	o 16013297
415.49/442.92	o 16013288
415.49/442.95	o 16013264
415.71/443.19	o 16013261
416.50/443.98	o 16013260
417.38/444.89	o 16006371
417.48/444.93	o 16006370
417.48/444.97	o 16006367
417.48/445.00	o 16006335
417.60/445.04	o 16006327
417.60/445.07	o 16006326
418.48/445.97	o 16006278
425.06/452.55	o 16006276
435.18/464.33	o 16000782
435.18/464.37	o 16000768
435.68/464.88	o 16000762
436.00/465.18	o 16000506
436.18/465.36	o 15998970
436.18/465.38	o 15998959
436.28/465.40	o 15998948
436.28/465.42	o 15859684
436.68/465.80	o 15859682
436.99/466.11	o 15859678
436.99/466.15	o 15859674
436.99/466.16	o 15859670
436.99/466.18	o 15859662
436.99/466.19	o 15859658
437.08/466.21	o 15859642
437.08/466.23	o 15845306
437.99/467.16	o 15845302
438.38/467.59	o 15845286
438.78/467.98	o 15805368
438.89/468.06	o 15805112
438.89/468.08	o 15805044
439.37/468.50	o 15805040
439.77/468.93	o 15805036
439.77/468.96	o 15805034
440.98/470.11	o 15769720
440.98/470.15	o 15769714
441.27/470.40	o 15713866
441.27/470.47	o 15713858
441.37/470.58	o 15713854
441.47/470.63	o 15713853
441.47/470.67	o 15713848
441.56/470.76	o 15713840
441.66/470.81	o 15713712
442.06/471.27	o 15713710
442.06/471.29	o 15713706
442.56/471.78	o 15713690
443.06/472.28	o 15713687
443.56/472.78	o 15501721
443.76/472.98	o 15501719
443.76/473.01	o 15501715
444.06/473.26	o 15501203
444.56/473.71	o 15501111
455.94/485.16	o 15501105
455.94/485.17	o 15501099
455.94/485.18	o 15501081
455.94/485.19	o 15501079
456.02/485.25	o 15501073
456.02/485.26	o 15501069
456.02/485.28	o 15494925
456.02/485.29	o 15494922
456.12/485.30	o 15494920
456.12/485.37	o 15494902
456.12/485.38	o 15494901
456.12/485.39	o 15494892
458.32/487.50	o 15494824
458.32/487.54	o 15494822
458.32/487.56	o 15494820
458.32/487.58	o 15486628
458.41/487.60	o 15485284
458.41/487.64	o 15485276
458.41/487.66	o 15396188
462.60/491.88	o 15396187
466.03/497.77	o 15396155
466.23/497.94	o 15396153
497.52/529.32	o 15333744
520.77/552.96	o 15333740
521.37/553.53	o 15333716
521.98/554.15	o 15333713
521.98/554.18	o 15333712
522.07/554.22	o 15313262
522.07/554.23	o 15313252
522.07/554.25	o 15313242
522.36/554.51	o 15313237
522.36/554.54	o 15313223
522.36/554.56	o 15313213
522.36/554.57	o 15313208
522.46/554.64	o 15313128
522.56/554.75	o 15313122
522.66/554.86	o 15301874
522.77/554.96	o 15301854
522.77/554.99	o 15301844
523.36/555.52	o 15291669
523.36/555.56	o 15291629
523.36/555.58	o 15291619
523.46/555.60	o 15291615
523.46/555.64	o 15291612
523.46/555.66	o 15291610
523.76/555.94	o 15291584
523.76/555.96	o 15291582
523.76/555.98	o 15291578
523.76/556.01	o 15291575
525.16/557.39	o 15291527
525.35/557.59	o 15291526
525.45/557.61	o 15291523
525.45/557.64	o 15291522
526.35/558.54	o 15291521
526.75/558.90	o 15291489
526.75/558.93	o 15291481
526.96/559.13	o 15291449
527.96/560.16	o 15291445
528.24/560.43	o 15291444
528.24/560.47	o 15289908
528.85/561.02	o 15289907
529.74/561.95	o 15283763
529.85/562.06	o 15283251
529.85/562.10	o 15283187
529.95/562.14	o 15097843
535.20/567.95	o 15097839
535.50/568.20	o 15097519
536.10/568.88	o 15008465
536.20/568.92	o 15008455
536.20/569.00	o 15008453
536.31/569.03	o 15008447
536.70/569.40	o 15008443
536.70/569.43	o 15008433
536.80/569.57	o 15008273
537.00/569.74	o 15004177
537.10/569.80	o 14986029
537.31/570.02	o 14929008
537.41/570.12	o 14928992
538.49/571.27	o 14795872
539.40/572.17	o 14795870
541.58/574.33	o 14795867
550.55/583.30	o 14795863
550.55/583.39	o 14795857
550.65/583.41	o 14795761
550.65/583.43	o 14795377
550.85/583.60	o 14795375
550.85/583.68	o 14795371
550.85/583.69	o 14795370
550.95/583.70	o 14795365
551.36/584.14	o 14795361
551.36/584.16	o 14795359
551.45/584.25	o 14795357
551.45/584.26	o 14795356
553.44/586.20	o 14795328
553.64/586.43	o 14795326
553.64/586.48	o 14795323
553.84/586.66	o 14795321
553.94/586.71	o 14795257
559.52/592.33	o 14795241
559.52/592.39	o 14795240
559.71/592.54	o 14795237
559.71/592.57	o 14795236
559.71/592.59	o 14795234
559.81/592.63	o 14795231
559.81/592.68	o 14792159
562.00/594.83	o 14789012
562.00/594.89	o 14789010
562.10/594.96	o 14789002
562.10/594.98	o 14788990
562.22/595.01	o 14788986
562.22/595.05	o 14786938
562.22/595.09	o 14785914
562.33/595.11	o 14785402
562.35/595.87	o 14785018
562.39/595.96	o 14783994
575.64/609.26	o 14745676
575.94/609.55	o 14745672
576.04/609.61	o 14745671
576.04/609.63	o 14745659
576.04/609.65	o 14745651
576.34/609.93	o 14745650
576.34/609.95	o 14745647
576.34/609.98	o 14673901
576.45/610.08	o 14673897
576.55/610.17	o 14673893
576.84/610.42	o 14673890
578.93/612.55	o 14673887
578.93/612.57	o 14673883
579.03/612.62	o 14673691
579.03/612.64	o 14673563
579.03/612.67	o 14673435
579.13/612.70	o 14673179
579.13/612.75	o 14673123
581.12/614.79	o 14673107
581.32/614.95	o 14673102
581.43/615.05	o 14586578
586.60/620.28	o 14586574
586.70/620.31	o 14586558
586.70/620.33	o 14586553
586.80/620.47	o 14586545
586.90/620.55	o 14586528
586.90/620.58	o 14586500
587.00/620.61	o 14586495
587.00/620.64	o 14586485
587.41/621.07	o 14586481
588.90/622.59	o 14586473
589.30/622.94	o 14586471
591.79/625.46	o 14586470
592.19/625.80	o 14586462
592.79/626.43	o 14584403
592.79/626.49	o 14584397
592.89/626.54	o 14584383
592.89/626.59	o 14584379
592.99/626.67	o 14584375
593.19/626.81	o 14584366
598.28/632.98	o 14584365
608.65/643.35	o 14544420
608.65/643.38	o 14544415
608.85/643.59	o 14544414
608.95/643.60	o 14538782
608.95/643.61	o 14535966
608.95/643.62	o 14535614
610.04/644.78	o 14535612
610.04/644.79	o 14535607
610.35/645.09	o 14535595
610.84/645.57	o 14535593
610.94/645.61	o 14535585
610.94/645.66	o 14530465
611.35/646.06	o 14529468
611.35/646.08	o 14529464
611.35/646.10	o 14529452
611.45/646.12	o 14529448
611.45/646.13	o 14529324
611.45/646.16	o 14529084
611.45/646.17	o 14529080
611.45/646.18	o 14529068
611.54/646.21	o 14529063
611.54/646.23	o 14529059
611.94/646.66	o 14529056
611.94/646.67	o 14529054
612.04/646.71	o 14529049
612.45/647.16	o 14529047
613.63/648.31	o 14527767
613.93/648.60	o 14527127
614.03/648.74	o 14527087
615.03/649.76	o 14527085
615.13/649.89	o 14527081
615.23/649.94	o 14527077
615.34/650.11	o 14527013
619.51/654.22	o 14527011
620.21/654.95	o 14519331
620.91/655.66	o 14519329
621.01/655.70	o 14519325
621.01/655.75	o 14519323
622.51/657.22	o 14519321
639.34/676.11	o 14519317
639.43/676.23	o 14519301
639.43/676.28	o 14519298
639.52/676.30	o 14516226
639.52/676.34	o 14516194
639.52/676.35	o 14516066
639.52/676.38	o 14503778
639.73/676.57	o 14503777
640.63/677.44	o 14502753
640.63/677.49	o 14502752
640.73/677.51	o 14502749
640.73/677.55	o 14501725
640.83/677.60	o 14501720
640.92/677.78	o 14501709
641.02/677.87	o 14501703
641.12/677.90	o 14501702
641.12/677.92	o 14501700
641.12/677.93	o 14501699
641.23/678.01	o 14491459
641.23/678.09	o 14491406
690.60/729.23	o 14491394
691.41/730.10	o 14478258
694.69/733.31	o 14478252
706.55/745.29	o 14476313
706.65/745.34	o 14476301
706.65/745.35	o 14476297
706.65/745.36	o 14476293
709.64/748.30	o 14476197
709.64/748.35	o 14476189
709.64/748.36	o 14476185
709.64/748.38	o 14476181
709.74/748.47	o 14472085
757.92/798.41	o 14472082
758.02/798.51	o 14471570
758.02/798.53	o 14471567
796.37/837.67	o 14471565
796.37/837.68	o 14471562
796.37/837.69	o 14471559
796.46/837.71	o 14471550
796.46/837.73	o 14471502
796.46/837.75	o 14471246
796.46/837.76	o 14471118
796.46/837.77	o 14471054
798.05/839.31	o 14454794
798.46/839.75	o 14366730
798.55/839.80	o 14366725
798.55/839.86	o 14366723
798.55/839.87	o 14366643
799.45/840.76	o 14366638
801.86/843.14	o 14366622
802.44/843.70	o 14366616
803.04/844.36	o 14366612
803.14/844.43	o 14366602
803.24/844.50	o 14358092
803.24/844.54	o 14356812
803.34/844.60	o 14351692
803.54/844.87	o 14341214
803.64/844.96	o 14341209
803.75/845.02	o 14336089
803.75/845.06	o 14335449
804.54/845.81	o 14335433
804.93/846.22	o 14333953
804.93/846.28	o 14333933
805.03/846.37	o 14333925
805.13/846.43	o 14333845
805.13/846.49	o 14333821
805.43/846.76	o 14333805
807.42/848.78	o 14333741
821.85/864.29	o 14333737
821.95/864.32	o 14317353
821.95/864.33	o 14317352
821.95/864.34	o 14317347
821.95/864.36	o 14317342
822.25/864.60	o 14317341
822.25/864.61	o 14317336
822.25/864.64	o 14317304
822.35/864.71	o 14311160
822.35/864.73	o 14311157
822.35/864.74	o 14311156
822.95/865.36	o 14311118
823.05/865.42	o 14311116
823.05/865.46	o 14311052
823.44/865.81	o 14311050
823.84/866.24	o 14271131
823.84/866.27	o 14271125
823.94/866.33	o 14271079
823.94/866.35	o 14271067
823.94/866.37	o 14271061
823.94/866.39	o 14271055
824.04/866.45	o 14269417
824.04/866.47	o 14269402
824.65/867.05	o 14269357
824.76/867.14	o 14269351
824.76/867.17	o 14201847
824.76/867.19	o 14201840
825.75/868.15	o 14201833
825.75/868.18	o 14201805
826.75/869.17	o 14128823
826.93/869.36	o 14128816
827.03/869.46	o 14120624
840.92/883.91	o 14120540
852.19/895.22	o 14120539
852.19/895.27	o 14119003
852.49/895.57	o 14118961
852.59/895.62	o 14118960
852.88/895.90	o 14118932
852.88/895.98	o 14094356
853.00/896.10	o 14092020
854.88/898.00	o 14091956
855.00/898.06	o 14091952
856.18/899.25	o 14075918
856.28/899.31	o 14075916
856.28/899.34	o 14075912
856.28/899.38	o 14075910
863.15/906.29	o 14075908
863.26/906.36	o 14075904
863.36/906.41	o 14075900
864.45/907.50	o 14066684
864.75/907.84	o 14066606
864.75/907.87	o 14066604
864.85/908.00	o 14062508
875.03/918.72	o 14061484
881.91/925.68	o 14060588
882.01/925.70	o 14052614
882.01/925.78	o 14052613
882.71/926.48	o 14052605
882.80/926.52	o 14052597
884.80/928.59	o 14052213
885.31/929.02	o 14041485
899.65/943.48	o 14041476
899.95/943.77	o 14041473
900.05/943.88	o 14041437
900.15/943.96	o 14041400
900.15/943.97	o 14041397
900.15/943.99	o 14041383
900.15/944.00	o 14041379
900.26/944.01	o 14041363
926.28/970.77	o 14041305
934.35/978.83	o 14041304
934.35/978.85	o 14038524
934.35/978.87	o 14038519
934.45/978.91	o 14006793
934.45/978.92	o 14006792
934.45/978.94	o 14006785
934.45/978.98	o 14006783
934.85/979.33	o 14006782
934.95/979.49	o 14004734
935.05/979.51	o 14004732
935.20/982.38	o 14002710
935.60/982.74	o 14002706
935.70/982.80	o 14002705
935.70/982.86	o 14002697
935.91/983.09	o 14002695
936.01/983.17	o 14002687
936.19/983.34	o 14002685
936.19/983.37	o 14002679
936.40/983.53	o 13999095
936.59/983.78	o 13998775
936.69/983.82	o 13998615
937.29/984.41	o 13998608
937.29/984.46	o 13998528
937.50/984.69	o 13998088
937.59/984.72	o 13998080
937.59/984.76	o 13998024
937.59/984.79	o 13998016
938.90/986.07	o 13998005
954.24/1001.41	o 13998002
955.13/1002.31	o 13943718
955.13/1002.35	o 13943715
955.13/1002.38	o 13735843
956.43/1003.65	o 13735763
956.53/1003.74	o 13735667
956.73/1003.97	o 13731571
958.62/1005.83	o 13731379
958.62/1005.89	o 13731363
959.71/1007.00	o 13731349
959.83/1007.02	o 13731341
962.40/1009.62	o 13731021
963.31/1010.53	o 13731017
963.40/1010.64	o 13727177
963.91/1011.14	o 13727171
964.61/1015.71	o 13727166
964.71/1015.83	o 13727038
965.61/1016.75	o 13726910
965.71/1016.85	o 13726830
966.03/1017.19	o 13726334
966.11/1017.24	o 13726298
966.11/1017.29	o 13726290
966.21/1017.34	o 13726272
969.70/1020.87	o 13726262
981.66/1032.87	o 13677277
990.03/1041.29	o 13675741
991.42/1042.65	o 13675737
991.62/1042.87	o 13675734
991.62/1042.89	o 13675718
991.72/1043.00	o 13582295
991.83/1043.02	o 13582291
991.88/1044.19	o 13582271
993.06/1045.30	o 13582270
993.15/1045.40	o 13582259
993.15/1045.43	o 13582252
993.15/1045.46	o 13549484
993.25/1045.53	o 13542346
993.25/1045.55	o 13542026
993.25/1045.57	o 13541996
994.26/1046.59	o 13541992
994.35/1046.63	o 13541960
1000.53/1052.83	o 13541952
1000.63/1052.92	o 13537344
1001.74/1054.06	o 13537343
1001.85/1054.11	o 13537342
1005.62/1057.95	o 13534174
1017.68/1070.01	o 13534172
1017.68/1070.03	o 13534168
1017.68/1070.06	o 13534158
1017.68/1070.07	o 13523705
1017.68/1070.08	o 13523693
1017.68/1070.09	o 13523692
1018.79/1071.13	o 13523664
1019.26/1071.62	o 13523661
1019.26/1071.64	o 13523660
1019.26/1071.66	o 13523656
1019.26/1071.68	o 13523654
1019.36/1071.70	o 13523653
1019.36/1071.71	o 13523652
1019.87/1072.29	o 13523644
1019.97/1072.33	o 13523637
1022.90/1076.72	o 13523604
1022.90/1076.76	o 13523596
1023.00/1076.87	o 13523593
1023.09/1076.90	o 13523592
1025.09/1078.96	o 13383452
1025.09/1078.99	o 13383448
1025.20/1079.01	o 13377304
1025.39/1079.21	o 13377288
1025.39/1079.24	o 13377272
1025.39/1079.25	o 13377264
1025.88/1079.71	o 13377259
1025.88/1079.79	o 13347695
1025.98/1079.82	o 13347690
1025.98/1079.84	o 13347684
1026.08/1079.95	o 13347683
1026.08/1079.97	o 13347681
1026.30/1080.14	o 13347169
1026.39/1080.20	o 13347168
1026.39/1080.23	o 13347163
1026.39/1080.25	o 13347158
1029.19/1083.10	o 13347153
1032.37/1086.23	o 13347151
1034.28/1088.18	o 13347147
1044.62/1098.53	o 13347142
1044.62/1098.55	o 13347027
1044.62/1098.57	o 13347022
1044.62/1098.58	o 13347012
1057.46/1112.25	o 13347000
1057.87/1112.65	o 13346996
1058.76/1113.56	o 13346994
1069.73/1124.59	o 13346986
1069.82/1124.69	o 13346982
1069.93/1124.73	o 13346980
1069.93/1124.76	o 13346974
1074.32/1129.12	o 13346971
1074.32/1129.16	o 13346970
1074.51/1129.32	o 13314227
1074.61/1129.49	o 13314219
1074.71/1129.55	o 13314216
1075.22/1130.01	o 13262092
1075.22/1130.03	o 13262081
1075.22/1130.06	o 13262077
1075.32/1130.15	o 13262076
1075.32/1130.18	o 13262068
1075.32/1130.20	o 13262065
1075.41/1130.22	o 13262057
1075.51/1130.37	o 13262044
1075.61/1130.45	o 13262012
1108.51/1164.41	o 13246028
1131.80/1188.55	o 13246012
1131.80/1188.58	o 13244860
1131.80/1188.59	o 13244284
1131.90/1188.60	o 13244278
1131.90/1188.65	o 13228022
1131.90/1188.68	o 13228018
1132.31/1189.08	o 13228014
1132.41/1189.12	o 13228010
1132.41/1189.13	o 13228002
1132.41/1189.16	o 13228001
1132.41/1189.17	o 13227997
1132.41/1189.18	o 13227979
1134.00/1190.78	o 13227978
1134.10/1190.83	o 13227976
1137.39/1194.13	o 13227972
1139.87/1196.63	o 13227969
1141.39/1198.18	o 13227967
1141.57/1198.39	o 13227964
1155.47/1213.82	o 13227956
1156.57/1214.91	o 13227952
1156.57/1214.98	o 13208023
1156.57/1214.99	o 13208019
1156.57/1215.00	o 13208015
1156.68/1215.02	o 13208010
1157.06/1215.47	o 13207995
1157.06/1215.48	o 13207990
1157.16/1215.58	o 13207985
1157.27/1215.65	o 13195697
1157.86/1216.25	o 13129137
1157.96/1216.31	o 13128753
1157.96/1216.34	o 13128748
1157.96/1216.35	o 13128743
1157.96/1216.37	o 13126183
1158.36/1216.76	o 13125415
1159.36/1217.76	o 13125413
1159.46/1217.80	o 13125393
1160.16/1218.56	o 13125388
1160.16/1218.60	o 13125384
1160.26/1218.61	o 13125380
1160.26/1218.62	o 13125374
1160.35/1218.78	o 13125368
1160.45/1218.86	o 13125360
1161.77/1220.14	o 13125356
1162.25/1220.68	o 13087408
1162.35/1220.70	o 13087406
1162.35/1220.72	o 13087404
1162.35/1220.74	o 13087402
1162.35/1220.76	o 13087400
1162.35/1220.77	o 13087392
1162.45/1220.81	o 13087390
1162.45/1220.83	o 13087388
1163.66/1222.07	o 13087386
1163.66/1222.09	o 13087374
1163.76/1222.11	o 13087372
1165.24/1223.62	o 13087370
1165.34/1223.71	o 13087368
1165.34/1223.75	o 13087358
1165.44/1223.83	o 13087356
1165.54/1223.93	o 13087352
1165.54/1223.97	o 13087348
1165.65/1224.02	o 13087344
1165.65/1224.06	o 12936816
1166.76/1225.12	o 12936815
1166.76/1225.16	o 12936813
1166.83/1225.20	o 12936810
1166.83/1225.23	o 12936804
1166.83/1225.28	o 12843367
1166.94/1225.32	o 12843365
1168.03/1226.40	o 12843354
1168.03/1226.44	o 12843353
1168.23/1226.60	o 12843345
1168.33/1226.79	o 12843089
1168.92/1227.34	o 12843085
1169.02/1227.46	o 12843081
1169.12/1227.54	o 12843067
1169.43/1227.89	o 12843059
1169.52/1227.93	o 12843057
1173.41/1231.82	o 12843053
1173.41/1231.88	o 12843029
1173.51/1231.97	o 12827446
1186.60/1245.67	o 12827394
1194.48/1253.52	o 12827392
1194.48/1253.55	o 12827376
1198.97/1258.09	o 12827364
1215.22/1275.72	o 12827360
1215.32/1275.84	o 12827344
1215.53/1276.08	o 12827342
1215.53/1276.10	o 12827340
1216.32/1276.85	o 12826142
1216.42/1276.91	o 12817950
1216.42/1276.94	o 12817822
1216.42/1277.01	o 12815508
1216.53/1277.02	o 12815500
1217.22/1277.75	o 12815494
1217.32/1277.81	o 12815490
1217.32/1277.84	o 12647554
1217.91/1278.48	o 12647550
1218.30/1278.84	o 12617590
1218.52/1279.03	o 12615542
1218.71/1279.21	o 12613494
1218.81/1279.36	o 12611574
1218.91/1279.41	o 12611446
1218.91/1279.48	o 12611414
1219.01/1279.55	o 12611158
1219.40/1279.96	o 12592726
1219.62/1280.16	o 12580438
1219.80/1280.32	o 12580374
1219.80/1280.39	o 12580182
1220.90/1281.48	o 12541798
1221.00/1281.54	o 12541794
1221.40/1281.94	o 12541789
1221.40/1281.98	o 12541787
1221.51/1282.04	o 12541784
1222.00/1282.57	o 12533592
1222.10/1282.63	o 12525400
1222.29/1282.81	o 12517208
1222.61/1283.18	o 12517202
1222.69/1283.25	o 12515666
1223.30/1283.83	o 12515658
1226.49/1287.08	o 12515650
1227.59/1288.14	o 12515645
1229.66/1290.26	o 12495601
1229.77/1290.31	o 12495594
1229.77/1290.38	o 12495591
1230.37/1290.97	o 12495588
1231.26/1291.89	o 12495580
1231.36/1291.93	o 12495571
1231.36/1291.96	o 12495565
1232.47/1293.10	o 12495559
1242.93/1303.98	o 12495553
1252.40/1313.40	o 12474911
1252.40/1313.45	o 12474910
1257.18/1318.21	o 12474909
1257.18/1318.25	o 12474904
1257.39/1318.41	o 12474901
1273.42/1335.55	o 12474895
1286.77/1349.00	o 12474835
1300.14/1362.35	o 12474822
1300.63/1362.82	o 12474806
1301.99/1364.73	o 12407222
1302.09/1364.85	o 12407214
1302.18/1364.93	o 12407211
1302.58/1365.37	o 12373963
1302.88/1365.69	o 12373939
1303.08/1365.81	o 12373891
1303.58/1366.36	o 12373763
1303.68/1366.45	o 12373761
1305.47/1368.22	o 12373757
1305.57/1368.35	o 12373755
1305.77/1368.59	o 12306175
1306.57/1369.35	o 12303652
1306.57/1369.38	o 12303644
1306.67/1369.42	o 12303640
1306.77/1369.57	o 12302360
1307.17/1369.94	o 12302283
1307.17/1369.98	o 12302280
1307.29/1370.04	o 12302275
1308.77/1371.55	o 12302265
1309.96/1372.70	o 12302257
1309.96/1372.74	o 12302249
1310.16/1372.90	o 12302121
1310.16/1372.99	o 12302119
1310.27/1373.02	o 12302116
1310.27/1373.05	o 12210980
1310.37/1373.15	o 12205307
1310.37/1373.18	o 12205306
1310.47/1373.24	o 12205296
1310.57/1373.30	o 12205294
1310.57/1373.33	o 12205288
1310.76/1373.52	o 12204776
1311.45/1374.26	o 12204775
1311.66/1374.47	o 12204755
1311.86/1374.61	o 12204747
1311.96/1374.79	o 12202699
1312.75/1375.56	o 12202507
1312.85/1375.60	o 12202458
1312.96/1375.70	o 12202456
1312.96/1375.74	o 12202452
1312.96/1375.79	o 12202444
1313.95/1376.76	o 12202428
1314.15/1376.90	o 12202427
1314.27/1377.02	o 12202426
1314.27/1377.07	o 12202423
1314.37/1377.12	o 12202419
1316.54/1379.33	o 12184223
1317.54/1380.37	o 12184219
1317.74/1380.50	o 12184213
1317.74/1380.56	o 12184204
1317.84/1380.60	o 12184199
1317.84/1380.65	o 12184193
1317.84/1380.69	o 12184185
1317.94/1380.72	o 12184182
1323.04/1387.86	o 12184179
1333.18/1398.15	o 12184172
1333.18/1398.16	o 12184170
1333.18/1398.17	o 12182634
1337.94/1402.95	o 12182633
1338.16/1403.13	o 12182626
1338.16/1403.15	o 12182623
1338.16/1403.18	o 12182621
1349.60/1414.65	o 12182614
1358.18/1423.29	o 12182612
1358.44/1425.22	o 12182602
1359.13/1425.93	o 12178506
1359.63/1426.46	o 12178501
1359.63/1426.48	o 12178498
1359.72/1426.54	o 12178480
1359.72/1426.59	o 12178477
1359.82/1426.60	o 12178470
1359.82/1426.68	o 12178467
1359.92/1426.70	o 12178443
1361.92/1428.72	o 12097680
1362.02/1428.80	o 12097660
1362.02/1428.82	o 12013692
1362.42/1429.23	o 12013690
1362.42/1429.25	o 12013686
1362.42/1429.28	o 12013682
1363.61/1430.45	o 12013672
1363.72/1430.50	o 12013520
1363.72/1430.53	o 12013511
1363.72/1430.54	o 12013502
1364.12/1430.98	o 12013501
1364.33/1431.18	o 11908113
1364.41/1431.20	o 11907089
1364.41/1431.23	o 11907085
1364.41/1431.24	o 11907069
1365.80/1432.67	o 11907060
1366.01/1432.84	o 11907030
1366.01/1432.87	o 11907029
1366.50/1433.32	o 11898073
1366.71/1433.52	o 11898067
1368.10/1434.90	o 11898043
1382.55/1449.41	o 11898040
1382.55/1449.46	o 11898038
1382.55/1449.47	o 11898033
1382.55/1449.48	o 11898032
1384.36/1451.22	o 11898030
1384.44/1451.37	o 11895982
1384.65/1451.51	o 11875502
1384.85/1451.78	o 11875482
1384.95/1451.81	o 11875481
1386.54/1453.45	o 11787090
1386.54/1453.47	o 11787086
1386.64/1453.53	o 11787082
1386.64/1453.58	o 11787081
1386.74/1453.60	o 11787076
1386.84/1453.75	o 11787012
1386.84/1453.79	o 11770628
1386.94/1453.83	o 11758340
1389.16/1456.97	o 11758325
1389.47/1457.24	o 11758316
1390.47/1458.29	o 11758314
1392.64/1460.48	o 11758310
1393.04/1460.81	o 11758301
1393.04/1460.86	o 11758293
1393.14/1460.91	o 11758269
1393.24/1461.06	o 11758267
1393.46/1461.29	o 11758266
1393.94/1461.76	o 11758258
1398.92/1466.76	o 11758249
1399.02/1466.86	o 11758246
1399.12/1466.94	o 11758237
1399.44/1467.29	o 11743673
1399.52/1467.37	o 11743664
1399.62/1467.44	o 11743659
1399.92/1467.73	o 11740587
1400.02/1467.88	o 11740582
1400.12/1467.95	o 11740578
1411.68/1479.52	o 11740574
1422.31/1490.82	o 11724190
1422.50/1491.04	o 11709366
1422.50/1491.09	o 11709360
1422.50/1491.10	o 11709356
1422.61/1491.11	o 11709355
1422.61/1491.13	o 11627437
1422.61/1491.14	o 11621293
1422.61/1491.20	o 11621261
1424.50/1493.00	o 11595405
1424.72/1493.23	o 11595309
1436.06/1504.65	o 11595213
1447.32/1515.94	o 11595129
1447.32/1515.95	o 11595121
1447.32/1515.96	o 11595089
1447.32/1515.97	o 11594833
1447.32/1515.98	o 11594641
1450.76/1520.24	o 11585259
1450.76/1520.25	o 11585257
1450.84/1520.31	o 11585250
1517.65/1590.87	o 11585242
1537.29/1610.54	o 11585162
1580.84/1656.75	o 11584371
1593.90/1669.88	o 11584361
1595.59/1671.57	o 11566773
1595.59/1671.59	o 11566771
1595.90/1671.80	o 11566763
1595.90/1671.83	o 11566747
1595.90/1671.85	o 11566740
1595.90/1671.88	o 11566738
1596.90/1672.81	o 11566730
1596.90/1672.84	o 11566722
1596.99/1672.97	o 11566706
1597.09/1673.01	o 11566704
1597.30/1673.23	o 11566703
1597.39/1673.30	o 11566699
1597.39/1673.36	o 11562603
1602.21/1679.49	o 11562602
1602.31/1679.55	o 11562586
1602.31/1679.58	o 11562570
1602.41/1679.65	o 11562567
1602.51/1679.71	o 11562566
1602.51/1679.75	o 11562518
1602.51/1679.78	o 11562511
1602.61/1679.81	o 11562487
1602.61/1679.89	o 11558903
1603.92/1681.19	o 11558895
1604.02/1681.22	o 11558735
1604.02/1681.24	o 11558639
1604.02/1681.27	o 11558607
1604.02/1681.28	o 11558591
1612.19/1690.73	o 11558463
1627.14/1705.70	o 11555903
1627.35/1705.90	o 11522457
1627.35/1705.92	o 11522455
1627.65/1706.28	o 11507469
1682.58/1768.75	o 11507461
1682.58/1768.77	o 11507456
1756.44/1848.00	o 11507452
1756.44/1848.01	o 11505404
1757.03/1848.69	o 11471810
1757.33/1848.94	o 11471808
1757.33/1848.96	o 11471807
1757.33/1848.98	o 11471795
1757.43/1849.00	o 11471792
1757.53/1849.20	o 11469744
1757.82/1849.45	o 11380734
1757.82/1849.46	o 11380696
1757.82/1849.48	o 11380694
1757.93/1849.56	o 11380600
1758.01/1852.05	o 11380576
1758.01/1852.09	o 11380574
1758.08/1852.12	o 11380566
1758.08/1852.15	o 11380564
1765.27/1859.37	o 11380548
1765.76/1859.81	o 11380546
1765.76/1859.84	o 11380544
1765.76/1859.87	o 11380542
1766.45/1860.50	o 11380534
1768.54/1862.65	o 11380524
1768.64/1862.70	o 11380460
1768.64/1862.74	o 11380452
1768.83/1862.93	o 11380428
1768.93/1863.05	o 11380426
1769.03/1863.12	o 11380416
1769.44/1863.50	o 11380414
1772.92/1867.04	o 11380410
1773.24/1867.33	o 11379386
1775.81/1869.93	o 11379370
1777.51/1871.67	o 11379368
1779.00/1873.18	o 11379367
1779.49/1873.62	o 11267885
1779.59/1873.71	o 11267883
1780.60/1874.74	o 11267871
1780.70/1874.82	o 11267862
1780.80/1874.97	o 11267844
1780.90/1875.06	o 11267841
1782.20/1876.33	o 11267457
1783.48/1877.68	o 11267289
1783.69/1877.83	o 11267285
1788.23/1883.73	o 11265237
1788.53/1884.00	o 11265109
1796.61/1892.13	o 11265103
1796.83/1892.34	o 11265039
1796.91/1892.46	o 11265031
1796.91/1892.48	o 11265027
1800.59/1896.13	o 11265015
1800.70/1896.28	o 11265009
1800.81/1896.35	o 11265003
1800.81/1896.37	o 11265000
1820.07/1917.66	o 11168307
1829.83/1927.41	o 11168303
1829.83/1927.45	o 11167279
1829.83/1927.46	o 11163183
1829.83/1927.48	o 11161135
1830.33/1927.90	o 11088384
1830.44/1928.04	o 11088256
1830.44/1928.09	o 11088254
1830.93/1928.57	o 11088250
1831.33/1928.94	o 11088238
1831.33/1928.96	o 11088234
1831.43/1929.00	o 11088106
1831.43/1929.02	o 11088101
1831.43/1929.03	o 11088090
1831.43/1929.05	o 11088026
1832.22/1929.86	o 11088005
1832.33/1929.90	o 11087994
1833.82/1931.45	o 11087982
1850.14/1949.12	o 11087966
1850.25/1949.31	o 11087958
1850.36/1949.32	o 11087957
1850.83/1949.88	o 11087909
1852.24/1951.26	o 11087779
1852.24/1951.28	o 11087773
1852.43/1951.44	o 11087741
1852.43/1951.49	o 11087717
1853.34/1952.38	o 11087621
1853.43/1952.43	o 11087549
1853.63/1952.67	o 11082285
1853.73/1952.72	o 11082261
1854.24/1953.29	o 11082003
1854.24/1953.31	o 11081995
1854.34/1953.34	o 11081947
1856.01/1955.08	o 11081945
1861.80/1960.86	o 11081545
1861.90/1960.96	o 11081537
1861.90/1960.99	o 10993473
1883.89/1983.77	o 10993463
1893.16/1993.08	o 10993458
1911.32/2012.38	o 10993438
1920.58/2021.65	o 10993435
1920.58/2021.66	o 10993430
1920.58/2021.69	o 10993425
1921.67/2022.76	o 10993423
1921.67/2022.80	o 10993417
1922.57/2023.60	o 10993413
1940.93/2044.68	o 10993373
1941.03/2044.70	o 10993370
1941.55/2045.30	o 10993093
1942.43/2046.18	o 10992933
1942.73/2046.42	o 10992821
1942.73/2046.44	o 10992813
1942.73/2046.48	o 10992173
1942.83/2046.53	o 10992169
1942.83/2046.55	o 10992161
1942.83/2046.58	o 10992157
1943.13/2046.82	o 10992155
1943.32/2047.09	o 10992140
1943.42/2047.11	o 10992135
1943.42/2047.20	o 10992127
1943.54/2047.22	o 10992123
1943.93/2047.66	o 10992088
1943.93/2047.69	o 10992082
1944.02/2047.79	o 10992079
1944.12/2047.81	o 10992073
1944.12/2047.83	o 10992070
1946.72/2050.48	o 10992067
1947.21/2051.00	o 10992066
1947.31/2051.04	o 10992052
1947.31/2051.09	o 10992050
1947.41/2051.12	o 10991924
1947.41/2051.18	o 10964333
1953.19/2056.94	o 10964325
1954.28/2058.02	o 10964319
1954.38/2058.12	o 10964317
1964.05/2067.85	o 10964311
1964.05/2067.89	o 10964309
1969.34/2075.01	o 10936045
1970.73/2076.40	o 10936042
1970.83/2076.55	o 10936032
1970.93/2076.62	o 10936023
1970.93/2076.66	o 10936020
1971.04/2076.72	o 10936017
1991.75/2097.59	o 10936014
2016.49/2123.31	o 10936011
2019.16/2126.09	o 10936008
2019.26/2126.18	o 10926384
2019.66/2126.57	o 10924848
2019.76/2126.60	o 10924842
2019.76/2126.62	o 10924840
2020.37/2127.22	o 10924837
2020.65/2127.57	o 10924789
2020.75/2127.61	o 10924783
2020.75/2127.63	o 10924771
2020.75/2127.68	o 10889865
2020.85/2127.71	o 10889853
2020.85/2127.73	o 10889829
2020.85/2127.78	o 10889826
2021.55/2128.40	o 10889820
2022.46/2129.37	o 10889819
2022.55/2129.40	o 10889816
2024.36/2131.25	o 10889815
2024.46/2131.33	o 10880599
2024.46/2131.36	o 10880215
2025.54/2132.48	o 10880212
2025.64/2132.53	o 10880208
2025.93/2132.89	o 10880048
2028.87/2136.89	o 10880047
2029.07/2137.03	o 10880033
2034.66/2142.68	o 10880029
2034.76/2142.72	o 10880028
2034.76/2142.75	o 10880020
2034.86/2142.80	o 10880019
2044.43/2152.46	o 10880011
2044.53/2152.53	o 10880010
2045.42/2153.42	o 10880007
2045.42/2153.48	o 10880001
2045.72/2153.72	o 10879998
2046.12/2154.20	o 10879995
2047.51/2155.57	o 10801299
2056.08/2164.16	o 10801293
2065.99/2174.72	o 10801273
2065.99/2174.75	o 10801269
2065.99/2174.76	o 10801249
2065.99/2174.78	o 10799969
2065.99/2174.79	o 10798689
2066.09/2174.80	o 10798593
2066.09/2174.81	o 10798587
2147.95/2258.41	o 10786145
2147.95/2258.44	o 10786141
2148.05/2258.54	o 10785757
2148.05/2258.55	o 10785755
2148.05/2258.57	o 10785563
2148.25/2258.74	o 10771219
2148.35/2258.82	o 10771217
2153.13/2269.23	o 10771145
2153.13/2269.25	o 10771127
2153.81/2269.91	o 10771099
2155.12/2271.22	o 10771035
2155.23/2271.37	o 10770523
2160.10/2276.29	o 10770270
2162.69/2278.83	o 10770256
2162.69/2278.89	o 10770252
2162.88/2279.06	o 10691574
2162.98/2279.12	o 10691565
2162.98/2279.18	o 10691561
2163.58/2279.74	o 10691547
2163.68/2279.82	o 10691538
2168.08/2284.22	o 10691529
2176.94/2293.13	o 10691522
2187.57/2308.31	o 10691521
2187.67/2308.37	o 10691425
2213.81/2335.55	o 10691424
2222.49/2344.25	o 10691423
2222.87/2344.60	o 10691416
2223.08/2344.86	o 10690136
2223.18/2344.95	o 10690134
2223.18/2344.96	o 10689622
2223.27/2345.02	o 10605441
2223.27/2345.04	o 10605421
2223.67/2345.41	o 10605417
2224.07/2345.89	o 10605416
2245.18/2369.53	o 10605380
2245.18/2369.54	o 10605312
2247.27/2371.69	o 10605306
2247.38/2371.71	o 10605305
2247.38/2371.73	o 10605299
2247.38/2371.74	o 10605243
2247.38/2371.76	o 10605240
2247.48/2371.85	o 10605235
2247.48/2371.86	o 10605229
2247.48/2371.88	o 10605226
2250.17/2374.50	o 10605218
2250.17/2374.52	o 10605217
2250.27/2374.60	o 10605214
2250.27/2374.62	o 10605186
2250.27/2374.65	o 10605185
2250.27/2374.69	o 10605177
2260.23/2384.67	o 10605173
2317.60/2443.55	o 10605172
2317.70/2443.61	o 10605163
2317.70/2443.63	o 10420239
2318.00/2443.97	o 10420235
2336.69/2478.80	o 10420232
2342.46/2484.51	o 10420222
2356.82/2498.91	o 10420214
2367.88/2515.99	o 10420210
2368.19/2516.31	o 10420209
2409.93/2571.66	o 10377258
2438.90/2603.65	o 10377257
2438.90/2603.67	o 10377248
2438.90/2603.68	o 10377246
2439.80/2604.55	o 10377234
2440.30/2605.02	o 10377220
2440.30/2605.09	o 10377212
2440.40/2605.10	o 10377210
2440.40/2605.14	o 10377200
2440.51/2605.24	o 10377188
2441.00/2605.72	o 10373429
2441.00/2605.74	o 10373419
2441.10/2605.80	o 10373416
2441.10/2605.85	o 10323940
2441.10/2605.87	o 10323934
2441.30/2606.04	o 10282810
2441.40/2606.12	o 10282778
2442.30/2608.50	o 10282770
2444.59/2610.84	o 10282763
2444.69/2610.99	o 10282755
2445.00/2611.29	o 10282749
2445.49/2611.79	o 10282746
2448.17/2614.45	o 10267674
2448.27/2614.51	o 10267671
2448.27/2614.55	o 10267665
2450.77/2617.07	o 10267660
2450.87/2617.13	o 10267659
2451.27/2617.50	o 10267657
2451.36/2617.64	o 10184096
2547.84/2718.27	o 10184089
2547.84/2718.28	o 10184088
2603.49/2775.70	o 10174448
2603.69/2775.98	o 10174440
2603.78/2776.02	o 10174422
2709.32/2888.04	o 10174420
2709.82/2888.55	o 10174416
2709.93/2888.62	o 10173648
2716.25/2896.37	o 10173642
2716.34/2896.42	o 10173640
2716.34/2896.45	o 10173624
2716.44/2896.53	o 10172872
2716.54/2896.62	o 10083784
2717.84/2897.96	o 10083740
2719.33/2899.46	o 10083716
2719.43/2899.50	o 10083712
2723.13/2903.22	o 10083700
2731.69/2911.85	o 10083688
2732.20/2912.32	o 10083120
2732.20/2912.38	o 10083114
2732.79/2913.00	o 10082986
2739.57/2919.76	o 10082985
2748.44/2928.98	o 10082982
2751.43/2931.94	o 10082928
2751.43/2931.95	o 10082910
2751.63/2932.17	o 10082568
2751.93/2932.48	o 10082550
2752.53/2933.02	o 10082478
2752.53/2933.05	o 10082476
2753.12/2933.61	o 10082475
2753.12/2933.63	o 10082473
2753.12/2933.69	o 10082471
2753.32/2933.80	o 10074279
2754.52/2935.01	o 10074277
2756.41/2936.94	o 10074276
2756.41/2936.96	o 10074273
2756.91/2937.42	o 10074257
2756.91/2937.48	o 10074249
2758.11/2938.60	o 10074247
2758.11/2938.63	o 10074243
2758.11/2938.67	o 10074238
2758.20/2938.70	o 10074236
2758.20/2938.72	o 10074234
2758.50/2939.00	o 10074233
2758.50/2939.06	o 10070137
2758.81/2939.34	o 10069909
2758.81/2939.37	o 10069893
2758.90/2939.40	o 10069885
2758.90/2939.42	o 10069645
2758.90/2939.45	o 10069637
2758.90/2939.48	o 10069629
2759.60/2940.14	o 10069613
2784.80/2966.00	o 10046071
2784.90/2966.18	o 10046047
2826.43/3008.47	o 10046046
2826.43/3008.49	o 10046041
2826.63/3008.62	o 10046040
2826.63/3008.64	o 10046026
2826.73/3008.71	o 10046024
2827.03/3009.07	o 10045640
2827.13/3009.19	o 10045635
2827.63/3009.65	o 10045632
2827.82/3009.84	o 10045627
2827.92/3009.91	o 10013271
2827.92/3009.93	o 10013270
2827.92/3009.99	o 10013268
2828.02/3010.09	o 10013262
2828.13/3010.13	o 10013256
2828.43/3010.49	o 10013208
2828.53/3010.56	o 10013205
2828.63/3010.62	o 10013157
2828.73/3010.72	o 9985266
2828.73/3010.75	o 9985251
2828.82/3010.87	o 9985248
2829.72/3011.71	o 9984167
2830.72/3012.71	o 9984162
2830.72/3012.77	o 9984144
2830.82/3012.82	o 9984136
2830.82/3012.85	o 9971848
2830.91/3012.90	o 9971844
2831.11/3013.12	o 9971839
2831.11/3013.16	o 9971836
2834.50/3016.56	o 9971827
2834.71/3016.72	o 9971822
2835.50/3017.55	o 9929969
2835.60/3017.65	o 9929945
2836.50/3018.57	o 9929933
2836.60/3018.61	o 9929912
2836.60/3018.64	o 9929910
2836.60/3018.68	o 9929907
2836.70/3018.75	o 9929887
2839.41/3022.04	o 9929885
2839.91/3022.55	o 9929373
2840.11/3022.70	o 9928349
2841.20/3023.80	o 9851556
2841.20/3023.85	o 9851540
2847.29/3029.99	o 9851539
2859.66/3042.38	o 9851379
2864.33/3047.08	o 9850099
2864.54/3047.24	o 9850095
2864.54/3047.27	o 9850031
2864.54/3047.29	o 9849967
2870.32/3053.82	o 9849966
2870.32/3053.86	o 9849848
2870.32/3053.89	o 9849843
2870.41/3053.92	o 9849838
2870.41/3053.95	o 9741294
2871.01/3054.55	o 9741262
2871.91/3055.40	o 9741257
2872.41/3055.96	o 9741241
2874.60/3058.11	o 9741229
2874.60/3058.14	o 9741227
2875.40/3058.99	o 9741223
2875.60/3059.10	o 9741215
2875.71/3059.30	o 9741211
2875.81/3059.36	o 9669203
2877.99/3061.57	o 9669202
2888.26/3071.83	o 9669200
2888.67/3072.25	o 9593424
2888.67/3072.27	o 9593382
2888.77/3072.31	o 9593374
2888.96/3072.56	o 9593373
2888.96/3072.57	o 9593365
2888.96/3072.58	o 9593363
2890.16/3073.73	o 9592723
2890.16/3073.75	o 9591699
2895.64/3079.28	o 9591698
2895.83/3079.40	o 9591626
2895.83/3079.43	o 9591622
2896.04/3079.69	o 9591614
2896.24/3079.87	o 9591612
2896.33/3079.91	o 9576220
2896.33/3079.96	o 9576211
2896.43/3080.02	o 9576099
2897.04/3080.68	o 9541311
2897.13/3080.75	o 9541283
2897.13/3080.78	o 9541281
2897.23/3080.81	o 9541277
2897.23/3080.83	o 9541249
2897.53/3081.15	o 9541247
2897.93/3081.59	o 9541245
2898.03/3081.62	o 9541241
2898.03/3081.64	o 9541237
2898.03/3081.68	o 9541233
2898.13/3081.70	o 9541231
2898.53/3082.20	o 9541227
2898.64/3082.23	o 9541223
2898.64/3082.30	o 9541127
2898.74/3082.35	o 9541125
2900.84/3085.08	o 9541117
2901.05/3085.21	o 9541109
2901.05/3085.30	o 9541101
2902.15/3086.39	o 9541093
2902.83/3087.08	o 9541089
2902.93/3087.14	o 9522636
2903.53/3087.70	o 9522612
2903.53/3087.75	o 9522604
2907.91/3092.18	o 9511460
2918.87/3103.18	o 9511456
2918.87/3103.19	o 9511453
2918.87/3103.21	o 9511449
2918.98/3103.22	o 9511447
2918.98/3103.23	o 9511439
2918.98/3103.28	o 9502103
2918.98/3103.30	o 9500815
2918.98/3103.31	o 9500783
2919.09/3103.33	o 9500271
2932.71/3118.07	o 9500263
2932.92/3118.23	o 9500231
2984.06/3171.56	o 9499207
2984.06/3171.60	o 9499199
3005.23/3193.61	o 9476871
3013.11/3201.52	o 9476868
3032.63/3222.16	o 9476864
3032.85/3222.37	o 9476861
3033.03/3222.52	o 9476853
3033.23/3222.78	o 9453726
3033.33/3222.80	o 9453710
3033.53/3223.00	o 9453709
3035.23/3224.72	o 9453705
3035.23/3224.79	o 9453701
3035.32/3224.82	o 9453689
3035.32/3224.83	o 9453681
3036.52/3226.03	o 9453675
3037.92/3227.42	o 9422731
3037.92/3227.47	o 9410443
3038.41/3227.99	o 9410427
3038.52/3228.04	o 9408379
3038.52/3228.06	o 9408371
3038.92/3228.48	o 9376950
3039.01/3228.50	o 9376948
3039.01/3228.54	o 9376945
3040.31/3229.85	o 9376933
3044.29/3233.82	o 9376932
3045.00/3234.52	o 9376929
3045.49/3235.04	o 9376915
3055.35/3245.97	o 9376913
3055.54/3246.11	o 9376912
3055.54/3246.14	o 9376911
3055.54/3246.18	o 9376909
3055.65/3246.23	o 9376907
3084.01/3275.16	o 9376905
3110.05/3338.36	o 9376777
3110.05/3338.39	o 9376713
3110.05/3338.39	o 9376681
3110.13/3338.40	o 9376673
3110.33/3338.60	o 9317581
3110.33/3338.64	o 9317561
3110.33/3338.65	o 9317560
3110.33/3338.67	o 9317558
3111.53/3339.81	o 9317556
3111.53/3339.84	o 9317555
3111.72/3340.10	o 9317553
3111.82/3340.13	o 9317551
3111.82/3340.15	o 9317549
3111.82/3340.19	o 9247374
3113.81/3342.15	o 9247372
3113.81/3342.17	o 9247360
3113.92/3342.22	o 9247352
3113.92/3342.25	o 9247224
3114.52/3342.82	o 9247216
3114.52/3342.85	o 9247214
3114.52/3342.87	o 9247198
3114.52/3342.88	o 9247194
3114.62/3342.92	o 9247154
3114.62/3342.95	o 9246962
3114.62/3342.97	o 9246834
3114.72/3343.09	o 9246820
3114.93/3343.22	o 9246817
3114.93/3343.25	o 9246810
3114.93/3343.28	o 9246782
3114.93/3343.30	o 9246558
3115.03/3343.34	o 9246430
3115.61/3343.99	o 9246423
3115.92/3344.22	o 9246421
3115.92/3344.25	o 9246405
3116.02/3344.31	o 9146053
3116.02/3344.35	o 9126491
3116.02/3344.37	o 9126487
3116.02/3344.39	o 9126461
3116.31/3344.67	o 9126459
3117.60/3345.97	o 9126455
3117.70/3346.01	o 9126439
3122.79/3351.16	o 9126427
3122.79/3351.20	o 9048603
3123.38/3351.79	o 9048587
3125.07/3353.45	o 9048580
3125.17/3353.50	o 9048578
3126.66/3355.08	o 9048574
3126.76/3355.13	o 9048572
3128.76/3357.10	o 9048566
3129.06/3357.46	o 9048560
3137.41/3366.13	o 9048554
3138.01/3366.71	o 9045226
3138.11/3366.81	o 9045222
3152.16/3380.92	o 9045219
3164.12/3392.92	o 9045193
3164.12/3392.99	o 9045187
3164.22/3393.00	o 9045185
3164.22/3393.02	o 9045177
3164.22/3393.04	o 9045081
3182.27/3411.92	o 9045075
3205.19/3436.36	o 9045068
3205.47/3436.61	o 9045067
3206.19/3437.39	o 9045059
3206.67/3437.89	o 8969604
3207.18/3438.34	o 8969598
3207.18/3438.36	o 8969086
3207.26/3438.45	o 8969084
3207.57/3438.76	o 8969060
3209.76/3440.96	o 8969056
3210.35/3441.58	o 8969046
3211.75/3442.95	o 8969042
3212.55/3443.74	o 8969040
3213.84/3445.05	o 8969000
3213.94/3445.12	o 8968988
3214.15/3445.35	o 8968524
3214.15/3445.38	o 8968522
3214.23/3445.44	o 8968506
3216.05/3447.27	o 8968500
3216.05/3447.30	o 8968496
3216.15/3447.35	o 8968492
3216.83/3448.02	o 8945846
3216.83/3448.06	o 8945814
3220.14/3451.39	o 8945791
3220.22/3451.44	o 8945783
3250.18/3485.69	o 8945771
3278.69/3514.42	o 8945770
3278.79/3514.52	o 8945769
3278.79/3514.58	o 8945766
3278.98/3514.72	o 8945765
3278.98/3514.75	o 8945760
3279.18/3514.94	o 8945759
3280.18/3515.92	o 8945757
3280.49/3516.22	o 8945752
3280.49/3516.24	o 8945748
3281.38/3517.20	o 8945746
3281.49/3517.27	o 8945618
3285.76/3521.52	o 8945617
3285.76/3521.55	o 8945615
3285.86/3521.64	o 8945612
3288.53/3524.90	o 8945610
3288.63/3525.06	o 8945609
3294.01/3530.48	o 8945608
3294.11/3530.52	o 8945605
3294.21/3530.69	o 8945602
3295.82/3532.23	o 8945600
3297.40/3533.81	o 8945532
3297.40/3533.85	o 8945524
3297.40/3533.89	o 8945508
3297.51/3533.94	o 8945504
3298.10/3534.51	o 8945484
3298.10/3534.56	o 8945476
3298.30/3534.74	o 8945472
3298.40/3534.84	o 8945420
3299.20/3535.67	o 8945412
3301.40/3537.87	o 8945410
3305.38/3541.83	o 8945406
3305.58/3542.01	o 8944382
3313.35/3549.80	o 8944379
3334.81/3576.47	o 8944377
3358.23/3599.91	o 8944376
3358.23/3599.95	o 8944375
3358.23/3599.97	o 8944373
3358.34/3600.02	o 8873048
3358.73/3600.41	o 8852715
3388.98/3638.90	o 8852703
3416.54/3673.72	o 8852702
3418.63/3675.80	o 8852699
3418.63/3675.83	o 8852696
3418.63/3675.89	o 8852694
3419.14/3676.33	o 8852654
3419.53/3676.78	o 8852638
3419.62/3676.82	o 8852632
3419.62/3676.85	o 8852630
3439.09/3700.00	c Program interrupted by user.
3439.09/3700.00	s SATISFIABLE
3439.09/3700.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 x34 x35 x36 -x37 -x38 -x39 x40 x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 x187 x188 x189 x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 x214 -x215 -x216 -x217 x218 x219 -x220 x221 x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 x302 x303 -x304 x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 -x394 x395 x396 -x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 x635 x636 x637 x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 -x963 x964 -x965 -x966 x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 x1299 x1300 x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 x1392 -x1393 x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 -x1420 x1421 x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 x1623 x1624 x1625 -x1626 -x1627 x1628 -x1629 -x1630 x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 x2043 x2044 x2045 x2046 x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 x2346 x2347 x2348 x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 x2433 -x2434 x2435 -x2436 -x2437 x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 x2583 -x2584 -x2585 x2586 x2587 x2588 x2589 x2590 x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 -x2673 -x2674 x2675 x2676 -x2677 x2678 x2679 x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 x2941 x2942 x2943 x2944 x2945 x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 x3124 x3125 x3126 -x3127 x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 x3152 -x3153 -x3154 -x3155 -x3156 x3157 -x3158 x3159 x3160 x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 x3336 x3337 -x3338 x3339 x3340 -x3341 x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 x3519 x3520 x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 x3542 x3543 x3544 x3545 x3546 x3547 x3548 x3549 x3550 -x3551 -x3552 -x3553 x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 x3812 -x3813 x3814 x3815 x3816 x3817 x3818 x3819 x3820 x3821 x3822 x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4561 -x4562 -x4563 -x4564 -x4565 -x4566 x4567 x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 -x4892 -x4893 x4894 -x4895 x4896 -x4897 -x4898 -x4899 x4900 -x4901 -x4902 x4903 x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 x5371 -x5372 x5373 x5374 x5375 x5376 x5377 -x5378 -x5379 x5380 -x5381 x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 x5736 x5737 -x5738 -x5739 -x5740 x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 x5884 -x5885 x5886 x5887 -x5888 x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 x5912 x5913 x5914 x5915 x5916 x5917 x5918 x5919 -x5920 x5921 x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 -x5972 -x5973 x5974 x5975 x5976 -x5977 x5978 x5979 x5980 -x5981 x5982 -x5983 -x5984 x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 x6302 x6303 x6304 x6305 x6306 x6307 x6308 x6309 -x6310 -x6311 x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 x6393 x6394 x6395 x6396 x6397 -x6398 x6399 x6400 x6401 x6402 -x6403 x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 x6457 x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 -x6662 x6663 -x6664 -x6665 x6666 x6667 x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 x6936 x6937 x6938 -x6939 -x6940 -x6941 x6942 x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 -x7202 -x7203 x7204 -x7205 -x7206 x7207 x7208 x7209 x7210 x7211 -x7212 x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 x7681 x7682 x7683 -x7684 -x7685 -x7686 x7687 -x7688 -x7689 -x7690 x7691 x7692 -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 x7803 -x7804 -x7805 x7806 x7807 x7808 -x7809 -x7810 x7811 -x7812 -x7813 x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 x7833 -x7834 -x7835 x7836 x7837 -x7838 x7839 -x7840 -x7841 -x7842 -x7843 x7844 -x7845 x7846 x7847 x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 x7855 -x7856 -x7857 -x7858 x7859 -x7860 -x7861 x7862 -x7863 x7864 -x7865 -x7866 -x7867 -x7868 x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 x7878 x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 x7887 -x7888 -x7889 x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 x7906 -x7907 -x7908 -x7909 -x7910 x7911 x7912 -x7913 -x7914 -x7915 x7916 -x7917 x7918 x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 x7928 x7929 x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 x7953 -x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 x7961 -x7962 -x7963 x7964 x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 x7992 -x7993 -x7994 -x7995 -x7996 x7997 x7998 -x7999 x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 x8011 -x8012 -x8013 x8014 -x8015 x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 x8057 -x8058 -x8059 -x8060

Verifier Data

OK	8852630

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100293 s]*
/proc/loadavg: 2.27 2.24 2.20 5/246 105228
/proc/meminfo: memFree=125183344/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=36472 memory=14260 CPUtime=0.1 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3240 0 0 0 9 1 0 0 20 0 1 0 11206198 37347328 3565 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 9118 3565 770 747 0 8181 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36472 KiB
Current children cumulated memory: 14260 KiB

[startup+0.213716 s]*
/proc/loadavg: 2.27 2.24 2.20 5/249 105234
/proc/meminfo: memFree=125097624/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=36472 memory=14260 CPUtime=0.21 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3243 0 0 0 20 1 0 0 20 0 1 0 11206198 37347328 3565 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 9118 3565 770 747 0 8181 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36472 KiB
Current children cumulated memory: 14260 KiB

[startup+0.314579 s]*
/proc/loadavg: 2.27 2.24 2.20 5/249 105234
/proc/meminfo: memFree=125045428/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=36472 memory=14260 CPUtime=0.32 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3246 0 0 0 30 2 0 0 20 0 1 0 11206198 37347328 3565 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 9118 3565 770 747 0 8181 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 36472 KiB
Current children cumulated memory: 14260 KiB

[startup+0.700358 s]
/proc/loadavg: 2.48 2.29 2.21 5/249 105236
/proc/meminfo: memFree=125000412/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=37132 memory=15172 CPUtime=0.68 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 3417 0 0 0 64 4 0 0 20 0 1 0 11206198 38023168 3793 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 9283 3793 802 747 0 8346 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 37132 KiB
Current children cumulated memory: 15172 KiB

[startup+1.50034 s]
/proc/loadavg: 2.48 2.29 2.21 5/249 105236
/proc/meminfo: memFree=124926328/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=42608 memory=21440 CPUtime=1.48 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 4649 0 0 0 141 7 0 0 20 0 1 0 11206198 43630592 5360 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 10652 5360 850 747 0 9715 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42608 KiB
Current children cumulated memory: 21440 KiB

[startup+3.11388 s]
/proc/loadavg: 2.48 2.29 2.21 5/249 105236
/proc/meminfo: memFree=124638076/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=50936 memory=35224 CPUtime=3.08 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 6593 0 0 0 298 10 0 0 20 0 1 0 11206198 52158464 8806 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 12734 8806 850 747 0 11797 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50936 KiB
Current children cumulated memory: 35224 KiB

[startup+6.30031 s]
/proc/loadavg: 2.61 2.32 2.22 5/252 105239
/proc/meminfo: memFree=124237428/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=79556 memory=68260 CPUtime=6.26 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 10965 0 0 0 612 14 0 0 20 0 1 0 11206198 81465344 17065 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 19889 17065 850 747 0 18952 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 79556 KiB
Current children cumulated memory: 68260 KiB

[startup+12.7003 s]
/proc/loadavg: 2.88 2.38 2.24 5/253 105241
/proc/meminfo: memFree=123544684/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=105448 memory=77308 CPUtime=12.38 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 12109 0 0 0 1217 21 0 0 20 0 1 0 11206198 107978752 19327 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 26362 19327 850 747 0 25425 0
Current children cumulated CPU time: 12.38 s
Current children cumulated vsize: 105448 KiB
Current children cumulated memory: 77308 KiB

[startup+25.5003 s]
/proc/loadavg: 3.13 2.45 2.27 5/252 105245
/proc/meminfo: memFree=121763988/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=182264 memory=146704 CPUtime=25.13 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 21755 0 0 0 2479 34 0 0 20 0 1 0 11206198 186638336 36676 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 45566 36676 850 747 0 44629 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 182264 KiB
Current children cumulated memory: 146704 KiB

[startup+51.1148 s]
/proc/loadavg: 3.47 2.60 2.32 5/250 105251
/proc/meminfo: memFree=118790784/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=209748 memory=173644 CPUtime=49.58 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 25988 0 0 0 4893 65 0 0 20 0 1 0 11206198 214781952 43411 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 134 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 52437 43411 850 747 0 51500 0
Current children cumulated CPU time: 49.58 s
Current children cumulated vsize: 209748 KiB
Current children cumulated memory: 173644 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 2.90 2.44 5/254 105320
/proc/meminfo: memFree=113232124/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=242516 memory=203076 CPUtime=98.98 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 27294 0 0 0 9772 126 0 0 20 0 1 0 11206198 248336384 50769 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 295 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 60629 50769 850 747 0 59692 0
Current children cumulated CPU time: 98.98 s
Current children cumulated vsize: 242516 KiB
Current children cumulated memory: 203076 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 3.16 2.56 5/257 105336
/proc/meminfo: memFree=107135300/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=360592 memory=317944 CPUtime=157.03 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 40072 0 0 0 15532 171 0 0 20 0 1 0 11206198 369246208 79486 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 470 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 90148 79486 850 747 0 89211 0
Current children cumulated CPU time: 157.03 s
Current children cumulated vsize: 360592 KiB
Current children cumulated memory: 317944 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.33 2.66 5/264 105354
/proc/meminfo: memFree=101051504/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=378220 memory=335944 CPUtime=214.71 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42221 0 0 0 21245 226 0 0 20 0 1 0 11206198 387297280 83986 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 681 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 94555 83986 850 747 0 93618 0
Current children cumulated CPU time: 214.71 s
Current children cumulated vsize: 378220 KiB
Current children cumulated memory: 335944 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 3.53 2.77 5/268 105368
/proc/meminfo: memFree=94457028/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=378492 memory=344100 CPUtime=271.61 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42412 0 0 0 26860 301 0 0 20 0 1 0 11206198 387575808 86025 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 971 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 94623 86025 850 747 0 93686 0
Current children cumulated CPU time: 271.61 s
Current children cumulated vsize: 378492 KiB
Current children cumulated memory: 344100 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 3.65 2.86 5/274 105385
/proc/meminfo: memFree=88320416/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=378492 memory=344296 CPUtime=326.23 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42538 0 0 0 32272 351 0 0 20 0 1 0 11206198 387575808 86074 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1491 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 94623 86074 850 747 0 93686 0
Current children cumulated CPU time: 326.23 s
Current children cumulated vsize: 378492 KiB
Current children cumulated memory: 344296 KiB

[startup+402.3 s]
/proc/loadavg: 4.74 3.90 3.00 5/271 105396
/proc/meminfo: memFree=82624372/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=378492 memory=344296 CPUtime=376.2 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 42665 0 0 0 37212 408 0 0 20 0 1 0 11206198 387575808 86074 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2476 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 94623 86074 850 747 0 93686 0
Current children cumulated CPU time: 376.2 s
Current children cumulated vsize: 378492 KiB
Current children cumulated memory: 344296 KiB

[startup+462.301 s]
/proc/loadavg: 4.70 4.04 3.10 7/273 105409
/proc/meminfo: memFree=76155376/131655788 swapFree=131071996/131071996
[pid=105216] ppid=105213 vsize=378492 memory=344296 CPUtime=434.49 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 42787 0 0 0 42971 478 0 0 20 0 1 0 11206198 387575808 86074 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2594 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 94623 86074 850 747 0 93686 0

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


[startup+3162.32 s]
/proc/loadavg: 4.26 4.36 4.25 4/277 106616
/proc/meminfo: memFree=668248/131655788 swapFree=131071472/131071996
[pid=105216] ppid=105213 vsize=428884 memory=392644 CPUtime=2974.9 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54110 0 0 0 293796 3694 0 0 20 0 1 0 11206198 439177216 98161 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 17712 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 107221 98161 850 747 0 106284 0
Current children cumulated CPU time: 2974.9 s
Current children cumulated vsize: 428884 KiB
Current children cumulated memory: 392644 KiB

[startup+3222.32 s]
/proc/loadavg: 4.15 4.31 4.24 5/277 106628
/proc/meminfo: memFree=562728/131655788 swapFree=131071472/131071996
[pid=105216] ppid=105213 vsize=428884 memory=392644 CPUtime=3032.85 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54249 0 0 0 299499 3786 0 0 20 0 1 0 11206198 439177216 98161 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 17898 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 107221 98161 850 747 0 106284 0
Current children cumulated CPU time: 3032.85 s
Current children cumulated vsize: 428884 KiB
Current children cumulated memory: 392644 KiB

[startup+3282.32 s]
/proc/loadavg: 4.45 4.37 4.26 2/277 106640
/proc/meminfo: memFree=523288/131655788 swapFree=131071216/131071996
[pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3090.79 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 54431 0 0 0 305201 3878 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 18044 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 109148 98162 850 747 0 108211 0
Current children cumulated CPU time: 3090.79 s
Current children cumulated vsize: 436592 KiB
Current children cumulated memory: 392648 KiB

[startup+3342.32 s]
/proc/loadavg: 4.51 4.41 4.28 4/272 107069
/proc/meminfo: memFree=4598012/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3114.03 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54449 0 0 0 307502 3901 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 21752 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 109148 98162 850 747 0 108211 0
Current children cumulated CPU time: 3114.03 s
Current children cumulated vsize: 436592 KiB
Current children cumulated memory: 392648 KiB

[startup+3402.32 s]
/proc/loadavg: 4.31 4.36 4.27 3/268 107101
/proc/meminfo: memFree=30939284/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3172.71 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54638 0 0 0 313300 3971 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 21864 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 109148 98162 850 747 0 108211 0
Current children cumulated CPU time: 3172.71 s
Current children cumulated vsize: 436592 KiB
Current children cumulated memory: 392648 KiB

[startup+3462.31 s]
/proc/loadavg: 4.28 4.34 4.27 7/268 107113
/proc/meminfo: memFree=27265624/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3226.96 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 54776 0 0 0 318662 4034 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 22419 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 109148 98162 850 747 0 108211 0
Current children cumulated CPU time: 3226.96 s
Current children cumulated vsize: 436592 KiB
Current children cumulated memory: 392648 KiB

[startup+3522.32 s]
/proc/loadavg: 4.27 4.32 4.27 6/260 107292
/proc/meminfo: memFree=23679520/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=436592 memory=392648 CPUtime=3285.97 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 54927 0 0 0 324509 4088 0 0 20 0 1 0 11206198 447070208 98162 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 22440 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 109148 98162 850 747 0 108211 0
Current children cumulated CPU time: 3285.97 s
Current children cumulated vsize: 436592 KiB
Current children cumulated memory: 392648 KiB

[startup+3582.31 s]
/proc/loadavg: 4.20 4.29 4.26 5/264 107308
/proc/meminfo: memFree=20340368/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=452976 memory=401336 CPUtime=3340.7 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 55252 0 0 0 329934 4136 0 0 20 0 1 0 11206198 463847424 100334 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 23009 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 113244 100334 850 747 0 112307 0
Current children cumulated CPU time: 3340.7 s
Current children cumulated vsize: 452976 KiB
Current children cumulated memory: 401336 KiB

[startup+3642.31 s]
/proc/loadavg: 4.17 4.27 4.26 5/264 107375
/proc/meminfo: memFree=18356248/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=452976 memory=401336 CPUtime=3392.39 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 55358 0 0 0 335055 4184 0 0 20 0 1 0 11206198 463847424 100334 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 23824 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 113244 100334 850 747 0 112307 0
Current children cumulated CPU time: 3392.39 s
Current children cumulated vsize: 452976 KiB
Current children cumulated memory: 401336 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=15710656/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=452976 memory=401336 CPUtime=3439.09 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) R 105213 105216 105161 0 -1 4194304 55510 0 0 0 339679 4230 0 0 20 0 1 0 11206198 463847424 100334 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24906 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 113244 100334 850 747 0 112307 0
Current children cumulated CPU time: 3439.09 s
Current children cumulated vsize: 452976 KiB
Current children cumulated memory: 401336 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 3/257 107395
/proc/meminfo: memFree=17031920/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.15 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4235 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 256 0 0 8404994 0 0 0 17 0 0 0 25277 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 71898 63841 850 747 0 70961 0
??? kill 105216 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3396.81 s, system=42.3606 s

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

[startup+3701 s]
/proc/loadavg: 4.16 4.25 4.25 2/262 107385
/proc/meminfo: memFree=16413076/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.14 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4234 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25077 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 71898 63841 850 747 0 70961 0
Current children cumulated CPU time: 3439.14 s
Current children cumulated vsize: 287592 KiB
Current children cumulated memory: 255364 KiB

[startup+3701.8 s]
/proc/loadavg: 4.31 4.28 4.26 2/262 107387
/proc/meminfo: memFree=16409332/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.14 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4234 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25234 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 71898 63841 850 747 0 70961 0
Current children cumulated CPU time: 3439.14 s
Current children cumulated vsize: 287592 KiB
Current children cumulated memory: 255364 KiB

[startup+3702 s]
/proc/loadavg: 4.31 4.28 4.26 2/262 107387
/proc/meminfo: memFree=16409332/131655788 swapFree=131070960/131071996
[pid=105216] ppid=105213 vsize=287592 memory=255364 CPUtime=3439.15 cores=0,2
/proc/105216/stat : 105216 (Exact_veripb2_n) D 105213 105216 105161 0 -1 4194304 55510 0 0 0 339680 4235 0 0 20 0 1 0 11206198 294494208 63841 134679101440 4194304 7250417 140725610223760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 25273 0 0 7950792 8015128 19337216 140725610226490 140725610226779 140725610226779 140725610233790 0
/proc/105216/statm: 71898 63841 850 747 0 70961 0
Current children cumulated CPU time: 3439.15 s
Current children cumulated vsize: 287592 KiB
Current children cumulated memory: 255364 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3702.77
CPU time (s): 3439.17
CPU user time (s): 3396.81
CPU system time (s): 42.3606
CPU usage (%): 92.881
Max. virtual memory (cumulated for all children) (KiB): 452976
Max. memory (cumulated for all children) (KiB): 401336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3396.81
system time used= 42.3606
maximum resident set size= 401336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 147892784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6132
involuntary context switches= 23634


# summary of solver processes directly reported to runsolver:
#   pid: 105216
#   total CPU time (s): 3439.17
#   total CPU user time (s): 3396.81
#   total CPU system time (s): 42.3606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.2317 second user time and 38.9323 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-23 18:29:28
IDJOB=4440626
IDBENCH=146743
IDSOLVER=3080
FILE ID=nodeC007/4440626-1721752167
RUNJOBID= nodeC007-1721752167-105171
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-ran10x26.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-4440626-1721752167/watcher-4440626-1721752167 -o /tmp/evaluation-result-4440626-1721752167/solver-4440626-1721752167 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721752167-105171 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440626-1721752167 --seed=2080928096 HOME/instance-4440626-1721752167.opb

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

MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
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:        125238468 kB
MemAvailable:   130008796 kB
Buffers:          174024 kB
Cached:          5380388 kB
SwapCached:            0 kB
Active:          1064448 kB
Inactive:        4746376 kB
Active(anon):       1380 kB
Inactive(anon):   293056 kB
Active(file):    1063068 kB
Inactive(file):  4453320 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16832 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:10