0.10/0.12	o 15286474
0.10/0.13	o 15276827
0.10/0.13	o 15161115
0.10/0.13	o 15026971
0.10/0.13	o 14944027
0.10/0.13	o 14815003
0.10/0.14	o 14814996
0.20/0.24	o 14784796
0.20/0.24	o 14784789
0.20/0.24	o 14784781
0.20/0.25	o 14784777
0.30/0.31	o 14695689
0.30/0.34	o 14551305
0.30/0.36	o 14551299
0.69/0.78	o 14523586
0.69/0.79	o 14523583
0.79/0.82	o 14523503
0.79/0.83	o 14388335
0.88/0.93	o 14388330
0.88/0.93	o 14388325
0.88/0.97	o 14388213
1.69/1.77	o 14282613
2.19/2.23	o 14276849
2.19/2.24	o 14276839
2.19/2.25	o 14276832
2.19/2.28	o 14276822
2.28/2.30	o 14276818
2.28/2.33	o 14276817
2.28/2.37	o 14276815
2.59/2.61	o 14210214
2.59/2.63	o 14210209
2.59/2.65	o 14210207
2.69/2.70	o 14210200
2.69/2.73	o 14154392
2.69/2.77	o 14154374
2.79/2.81	o 14154366
3.18/3.20	o 14154238
13.06/13.16	o 14149094
13.06/13.18	o 14149090
13.16/13.20	o 14149085
13.16/13.22	o 14149073
13.16/13.26	o 14149058
13.16/13.27	o 14013890
13.16/13.28	o 13939138
13.16/13.29	o 13872578
13.16/13.29	o 13725122
13.26/13.30	o 13571522
13.26/13.30	o 13361602
13.26/13.31	o 13267394
13.26/13.32	o 13054402
13.26/13.32	o 12855746
13.26/13.33	o 12768706
13.26/13.33	o 12661186
13.26/13.34	o 12560834
13.26/13.34	o 12446146
13.26/13.35	o 12294594
13.26/13.36	o 12114370
13.26/13.37	o 11920834
13.36/13.43	o 11814338
13.36/13.44	o 11814326
13.36/13.46	o 11814306
13.45/13.50	o 11814305
13.45/13.51	o 11814300
13.55/13.63	o 11654615
13.55/13.66	o 11654608
13.96/14.02	o 11654508
13.96/14.04	o 11654478
13.96/14.05	o 11654464
13.96/14.07	o 11654462
14.25/14.31	o 11654460
14.25/14.36	o 11654458
14.35/14.40	o 11654454
14.35/14.43	o 11533158
14.45/14.57	o 11514278
14.55/14.60	o 11514274
14.65/14.75	o 11411170
14.65/14.77	o 11410914
14.65/14.79	o 11410910
14.75/14.82	o 11410862
14.85/14.96	o 11410798
15.16/15.20	o 11410786
15.16/15.24	o 11410784
16.55/16.65	o 11410780
16.55/16.69	o 11410775
16.65/16.74	o 11410769
16.74/16.81	o 11410757
16.74/16.86	o 11410752
16.74/16.88	o 11410747
19.44/19.57	o 11410745
19.44/19.59	o 11410738
19.54/19.62	o 11410736
20.14/20.25	o 11410731
20.34/20.47	o 11410726
20.44/20.53	o 11410721
20.44/20.56	o 11410697
21.14/21.26	o 11410689
21.24/21.31	o 11410685
21.44/21.55	o 11391630
21.44/21.58	o 11391616
21.54/21.61	o 11391605
21.54/21.66	o 11391597
21.54/21.68	o 11391593
21.64/21.79	o 11375599
21.74/21.86	o 11375575
21.84/21.93	o 11375572
21.84/21.98	o 11375060
22.04/22.12	o 11374228
22.14/22.26	o 11374196
22.24/22.32	o 11374195
22.24/22.35	o 11251331
22.24/22.39	o 11251330
23.04/23.17	o 11251319
30.82/30.97	o 11208908
30.92/31.01	o 11208888
30.92/31.03	o 11208864
30.92/31.05	o 11208856
30.92/31.08	o 11208808
31.02/31.12	o 11208806
31.02/31.17	o 11074662
31.12/31.22	o 10939494
31.22/31.32	o 10939486
31.22/31.34	o 10939482
34.71/34.87	o 10939481
34.81/34.90	o 10939480
34.92/35.03	o 10939479
35.11/35.23	o 10939478
35.11/35.26	o 10939476
35.21/35.34	o 10938452
35.31/35.42	o 10938444
35.51/35.62	o 10938440
36.31/36.45	o 10938438
36.80/36.92	o 10938436
36.80/36.98	o 10938428
37.10/37.27	o 10938200
37.20/37.39	o 10938196
37.30/37.44	o 10861396
37.80/37.95	o 10813755
38.10/38.21	o 10786619
38.10/38.26	o 10786617
38.20/38.30	o 10786613
38.20/38.36	o 10786612
38.30/38.40	o 10786611
39.60/39.71	o 10786609
49.47/49.63	o 10786607
49.57/49.70	o 10786605
49.88/50.03	o 10786604
50.07/50.25	o 10786603
50.17/50.30	o 10786599
50.47/50.63	o 10786343
50.47/50.66	o 10786341
50.57/50.70	o 10786338
50.57/50.72	o 10786328
50.57/50.74	o 10713624
50.57/50.77	o 10675610
51.67/51.80	o 10675354
51.67/51.85	o 10675346
53.17/53.38	o 10675345
53.37/53.51	o 10675342
53.67/53.83	o 10674318
53.67/53.86	o 10674309
53.97/54.15	o 10674053
54.16/54.34	o 10674052
54.16/54.36	o 10674051
54.26/54.42	o 10674046
54.26/54.45	o 10674045
54.46/54.66	o 10607592
54.46/54.69	o 10607591
54.56/54.76	o 10607583
54.66/54.84	o 10607581
54.76/54.98	o 10607573
55.06/55.29	o 10598357
56.16/56.31	o 10598039
56.36/56.55	o 10597991
56.76/56.99	o 10597943
58.65/58.83	o 10596919
59.75/59.97	o 10596918
60.45/60.67	o 10596902
60.55/60.73	o 10596901
60.85/61.09	o 10596899
60.95/61.14	o 10596896
61.05/61.25	o 10596891
61.15/61.30	o 10596890
72.82/73.08	o 10596888
73.11/73.33	o 10596884
73.21/73.46	o 10596883
73.41/73.63	o 10596879
75.42/75.61	o 10596877
76.61/76.87	o 10596865
77.71/77.91	o 10596833
78.60/78.86	o 10592225
79.10/79.32	o 10586329
79.20/79.40	o 10586313
79.30/79.54	o 10504452
80.40/80.68	o 10405508
81.10/81.36	o 10405506
81.20/81.43	o 10405505
81.30/81.52	o 10405503
81.40/81.61	o 10405495
81.50/81.76	o 10405493
81.60/81.83	o 10405491
82.20/82.45	o 10404467
82.39/82.68	o 10404466
89.38/89.65	o 10248818
92.18/92.46	o 10243492
93.77/94.03	o 10234201
93.77/94.08	o 10234185
93.87/94.16	o 10186057
94.27/94.55	o 10186013
94.27/94.58	o 10186012
95.57/95.86	o 10186002
95.77/96.10	o 10130698
108.33/108.67	o 10130442
108.33/108.68	o 10130314
108.74/109.05	o 10130304
108.74/109.06	o 10130299
109.14/109.48	o 10130274
109.34/109.60	o 10126122
109.34/109.61	o 10126117
109.34/109.63	o 10126107
109.34/109.66	o 10126087
110.23/110.56	o 10126082
114.62/114.94	o 10126063
114.62/114.98	o 10126059
114.73/115.01	o 10126040
114.92/115.29	o 10126012
115.12/115.45	o 10125852
120.60/121.00	o 10125850
121.21/121.56	o 10125848
121.21/121.60	o 10125846
121.31/121.64	o 10125844
121.51/121.89	o 10125843
121.71/122.05	o 10125842
122.41/122.78	o 10125836
123.00/123.35	o 10120724
123.10/123.43	o 9980756
123.50/123.80	o 9980754
134.57/134.90	o 9980745
134.57/134.92	o 9980553
134.77/135.19	o 9980544
134.87/135.20	o 9980032
134.97/135.32	o 9980022
135.07/135.40	o 9979990
135.07/135.48	o 9979988
135.17/135.55	o 9979975
135.27/135.69	o 9979972
135.37/135.72	o 9977124
135.37/135.75	o 9961764
135.97/136.31	o 9961548
135.97/136.36	o 9961512
136.17/136.60	o 9961504
136.27/136.61	o 9961499
136.77/137.19	o 9961494
136.97/137.33	o 9961493
136.97/137.36	o 9961491
137.07/137.41	o 9961481
137.17/137.51	o 9961441
137.17/137.54	o 9951201
137.87/138.28	o 9951185
137.97/138.31	o 9951163
137.97/138.35	o 9951157
138.07/138.41	o 9863093
138.07/138.47	o 9862325
138.17/138.53	o 9861365
138.27/138.66	o 9861325
138.46/138.87	o 9861301
139.36/139.76	o 9772247
139.46/139.86	o 9772230
139.46/139.89	o 9772213
140.26/140.62	o 9772207
140.76/141.11	o 9772199
140.96/141.37	o 9772194
141.46/141.84	o 9772178
142.05/142.47	o 9772162
144.25/144.64	o 9772160
144.35/144.71	o 9772158
144.35/144.74	o 9772153
144.35/144.78	o 9772148
144.95/145.38	o 9772005
145.05/145.43	o 9771993
145.05/145.48	o 9771992
150.23/150.66	o 9771978
170.48/170.94	o 9771938
203.89/204.44	o 9766818
204.09/204.61	o 9766811
204.20/204.72	o 9766810
204.30/204.85	o 9764762
207.68/208.27	o 9762025
207.68/208.29	o 9762022
207.78/208.30	o 9762021
207.78/208.31	o 9762016
207.78/208.35	o 9747611
210.18/210.75	o 9747604
219.05/219.69	o 9747564
219.46/220.07	o 9747560
219.65/220.27	o 9652476
219.75/220.30	o 9652466
219.75/220.31	o 9652456
219.75/220.37	o 9640168
219.85/220.43	o 9640166
219.85/220.44	o 9640145
219.85/220.45	o 9640140
219.85/220.47	o 9638658
220.25/220.89	o 9638652
220.35/221.00	o 9638492
220.55/221.18	o 9638490
220.65/221.21	o 9638489
220.65/221.22	o 9638488
220.65/221.26	o 9638487
220.65/221.28	o 9638485
221.75/222.35	o 9638483
221.75/222.37	o 9638480
222.25/222.85	o 9574904
222.55/223.14	o 9567056
222.75/223.31	o 9567048
227.23/227.84	o 9567042
227.23/227.88	o 9567040
227.33/227.96	o 9567038
227.83/228.48	o 9564990
229.03/229.64	o 9558767
229.03/229.67	o 9558757
229.13/229.70	o 9558755
229.13/229.74	o 9558753
229.13/229.78	o 9558751
229.23/229.82	o 9558747
229.33/229.93	o 9500982
237.81/238.49	o 9500977
253.77/254.45	o 9500975
253.77/254.45	o 9500969
253.77/254.46	o 9500965
253.97/254.64	o 9500964
254.07/254.73	o 9481812
254.07/254.76	o 9481764
254.38/255.04	o 9481763
254.38/255.06	o 9481507
254.38/255.10	o 9408803
254.48/255.13	o 9408799
254.48/255.18	o 9335060
254.48/255.19	o 9335057
254.58/255.22	o 9335054
254.58/255.23	o 9335051
254.68/255.34	o 9312523
254.78/255.40	o 9312427
254.88/255.50	o 9312235
254.88/255.51	o 9312211
254.88/255.54	o 9306067
255.48/256.16	o 9306045
256.67/257.37	o 9306043
256.77/257.47	o 9306023
256.87/257.56	o 9305997
257.96/258.61	o 9305985
258.06/258.75	o 9305981
258.16/258.84	o 9305977
258.16/258.88	o 9305969
258.26/258.96	o 9305949
258.47/259.16	o 9263223
259.66/260.30	o 9263213
259.66/260.32	o 9263203
259.66/260.36	o 9260227
259.76/260.40	o 9260099
261.37/262.08	o 9260075
261.66/262.39	o 9260069
261.76/262.43	o 9260063
261.76/262.46	o 9260051
261.86/262.51	o 9256979
262.05/262.79	o 9256959
262.15/262.83	o 9256935
262.15/262.87	o 9256911
263.55/264.22	o 9256905
263.55/264.27	o 9256899
263.65/264.30	o 9256879
263.65/264.34	o 9256873
277.33/278.04	o 9256849
277.42/278.10	o 9254801
277.52/278.24	o 9250689
277.62/278.35	o 9224206
277.62/278.37	o 9224200
277.62/278.39	o 9224184
277.72/278.43	o 9224120
277.72/278.48	o 9224118
277.92/278.61	o 9217974
277.92/278.66	o 9217970
277.92/278.67	o 9217964
277.92/278.68	o 9217958
278.02/278.70	o 9217934
280.71/281.48	o 9217928
280.81/281.50	o 9217922
280.91/281.64	o 9217800
280.91/281.66	o 9217794
281.01/281.71	o 9217666
281.41/282.13	o 9217654
281.51/282.23	o 9217606
281.51/282.25	o 9217576
281.51/282.27	o 9217480
281.51/282.29	o 9217468
281.61/282.31	o 9217462
282.11/282.80	o 9217458
283.90/284.68	o 9217456
284.00/284.73	o 9217450
284.00/284.76	o 9217444
284.50/285.27	o 9217420
285.20/285.98	o 9217418
285.40/286.15	o 9217414
285.50/286.21	o 9217406
285.70/286.44	o 9216766
286.70/287.40	o 9216764
286.70/287.44	o 9216762
286.90/287.67	o 9216758
287.00/287.71	o 9216750
288.30/289.03	o 9216744
288.80/289.52	o 9216742
289.00/289.70	o 9177318
289.40/290.19	o 9177312
290.30/291.09	o 9177288
290.40/291.14	o 9177282
292.99/293.76	o 9177276
304.05/304.82	o 9176508
304.15/304.90	o 9176470
304.15/304.92	o 9153942
304.15/304.93	o 9153366
304.45/305.23	o 9153364
304.45/305.24	o 9153362
304.45/305.26	o 9153350
304.66/305.40	o 9153342
304.66/305.44	o 9151294
304.66/305.49	o 9141054
304.76/305.51	o 9141042
304.76/305.52	o 9141030
310.25/311.05	o 9140956
310.25/311.09	o 9140948
310.34/311.11	o 9140928
310.34/311.14	o 9140832
310.34/311.16	o 9095520
318.13/318.91	o 9093984
326.00/326.89	o 9081696
365.19/366.19	o 9081690
365.28/366.27	o 9081686
370.77/371.72	o 9078614
371.17/372.13	o 9077590
391.31/392.33	o 9077584
391.51/392.52	o 9077582
391.51/392.53	o 9077580
391.61/392.64	o 9069388
391.61/392.69	o 9068876
391.71/392.76	o 8968556
392.11/393.14	o 8968538
392.21/393.20	o 8968536
392.21/393.22	o 8901610
392.21/393.24	o 8888298
392.90/393.97	o 8888122
393.50/394.52	o 8888114
393.50/394.54	o 8888102
393.70/394.79	o 8818406
393.90/394.94	o 8818402
395.30/396.37	o 8818398
395.30/396.39	o 8818390
395.40/396.41	o 8818378
400.28/401.34	o 8818366
401.98/403.06	o 8818360
404.77/405.81	o 8818264
405.17/406.21	o 8816658
405.17/406.24	o 8816656
405.17/406.28	o 8816654
405.27/406.31	o 8816638
405.27/406.36	o 8720970
405.37/406.44	o 8720954
405.47/406.55	o 8714810
405.87/406.96	o 8714808
405.87/407.00	o 8714802
405.97/407.05	o 8714800
406.86/407.91	o 8714794
408.16/409.29	o 8714410
408.26/409.36	o 8714398
408.36/409.41	o 8714386
408.36/409.44	o 8714380
409.55/410.64	o 8714378
409.65/410.72	o 8714234
409.75/410.82	o 8714204
409.85/410.91	o 8714108
412.15/413.25	o 8714102
412.25/413.30	o 8674779
412.95/414.05	o 8674774
412.95/414.09	o 8674773
419.83/420.99	o 8674761
419.93/421.03	o 8662473
420.03/421.17	o 8662439
420.13/421.21	o 8662438
420.33/421.41	o 8662437
420.43/421.54	o 8662436
442.96/444.18	o 8662428
443.06/444.22	o 8662426
443.06/444.22	o 8613276
443.36/444.54	o 8613270
443.36/444.55	o 8520086
443.86/445.02	o 8520038
444.86/446.05	o 8520033
444.86/446.08	o 8520027
444.86/446.10	o 8520021
444.95/446.11	o 8520015
446.25/447.40	o 8518735
446.64/447.83	o 8517711
449.14/450.32	o 8517704
449.24/450.41	o 8517698
450.63/451.80	o 8517694
450.63/451.86	o 8517693
450.73/451.93	o 8517692
451.83/453.08	o 8437820
452.03/453.20	o 8437819
452.03/453.24	o 8437815
452.03/453.27	o 8437814
452.03/453.29	o 8437812
452.13/453.32	o 8437811
452.13/453.35	o 8437551
452.13/453.38	o 8437487
452.22/453.41	o 8437485
452.62/453.85	o 8437484
452.72/453.94	o 8437482
452.72/453.98	o 8437476
453.43/454.69	o 8407815
453.53/454.72	o 8407812
453.53/454.75	o 8407806
455.02/456.27	o 8407804
455.12/456.31	o 8407801
455.12/456.38	o 8407798
456.32/457.54	o 8407795
456.52/457.72	o 8407603
458.21/459.42	o 8407601
458.21/459.48	o 8407595
458.61/459.82	o 8407563
459.01/460.20	o 8407557
459.01/460.26	o 8407555
459.11/460.32	o 8407549
459.11/460.39	o 8332797
461.50/462.76	o 8332791
463.40/464.65	o 8332789
463.50/464.70	o 8332787
463.50/464.75	o 8332785
463.50/464.79	o 8332779
466.59/467.88	o 8332775
481.85/483.14	o 8332774
481.85/483.15	o 8332550
481.94/483.26	o 8332532
482.75/484.09	o 8332526
483.04/484.34	o 8332514
483.14/484.41	o 8332505
483.44/484.75	o 8332504
483.44/484.79	o 8332498
483.54/484.81	o 8332492
483.54/484.85	o 8332486
483.54/484.87	o 8332482
483.64/484.91	o 8332474
483.64/484.94	o 8332466
485.83/487.17	o 8332460
485.93/487.27	o 8332454
486.02/487.30	o 8332453
486.12/487.46	o 8332431
486.22/487.52	o 8332429
486.32/487.60	o 8332423
488.52/489.84	o 8332414
488.52/489.88	o 8332411
489.73/491.08	o 8332405
490.22/491.51	o 8332402
490.52/491.83	o 8332396
490.52/491.89	o 8332390
490.62/492.00	o 8332366
492.11/493.44	o 8328296
492.21/493.51	o 8328290
492.21/493.57	o 8328266
495.10/496.45	o 8328261
495.60/496.91	o 8328258
496.00/497.36	o 8321125
496.30/497.67	o 8321117
496.50/497.80	o 8321116
496.70/498.03	o 8316565
496.80/498.11	o 8316559
496.80/498.15	o 8316557
496.80/498.18	o 8316555
496.99/498.38	o 8316550
497.09/498.45	o 8316543
497.09/498.49	o 8144511
499.59/500.96	o 8144488
516.44/517.86	o 8144485
516.53/517.90	o 8144481
517.73/519.11	o 8144480
517.73/519.14	o 8134752
517.83/519.22	o 8134751
517.83/519.23	o 8131679
517.83/519.25	o 8131653
517.83/519.26	o 8131652
526.01/527.41	o 8131588
526.01/527.43	o 8131587
549.65/551.15	o 8131557
549.65/551.16	o 8131535
549.65/551.18	o 8082383
549.65/551.19	o 8057807
549.74/551.25	o 8045519
549.74/551.26	o 8045513
549.84/551.31	o 8045257
550.33/551.82	o 8045237
550.33/551.84	o 8045227
550.33/551.84	o 8045215
550.33/551.86	o 8045203
559.01/560.52	o 8045191
559.21/560.76	o 8045145
559.31/560.83	o 8045095
559.31/560.86	o 8045083
559.41/560.92	o 8044813
559.41/560.95	o 8044801
559.41/560.97	o 8044795
559.51/561.00	o 8044775
559.51/561.03	o 8044763
581.15/582.74	o 8044757
581.74/583.32	o 8044629
582.34/583.90	o 8044623
582.64/584.29	o 8044583
582.74/584.33	o 8044571
583.64/585.28	o 8032283
586.54/588.15	o 8032277
586.54/588.16	o 8032271
595.20/596.80	o 8032269
597.80/599.42	o 8032251
597.80/599.46	o 8032239
598.00/599.63	o 8032233
598.00/599.67	o 8032227
598.30/599.96	o 8032221
598.59/600.25	o 8032197
599.49/601.18	o 8032186
599.69/601.31	o 8032181
599.69/601.35	o 8032175
608.07/609.73	o 8013958
608.17/609.80	o 8013950
608.17/609.85	o 8013945
610.95/612.62	o 8013941
611.36/613.03	o 8013934
611.36/613.08	o 8013933
611.65/613.30	o 7978125
613.24/614.92	o 7978117
613.35/615.02	o 7959685
613.84/615.57	o 7959681
613.94/615.62	o 7959669
613.94/615.69	o 7959663
614.04/615.71	o 7959660
614.04/615.73	o 7959657
614.04/615.77	o 7877993
614.04/615.79	o 7870825
614.14/615.82	o 7870823
614.14/615.88	o 7870816
614.24/615.99	o 7865696
614.35/616.01	o 7864416
614.45/616.19	o 7864414
614.75/616.46	o 7864412
614.95/616.63	o 7864408
615.15/616.83	o 7864333
615.35/617.08	o 7864328
615.54/617.26	o 7864326
615.54/617.28	o 7864324
615.64/617.31	o 7864320
616.04/617.75	o 7857792
616.24/617.91	o 7857280
616.24/617.99	o 7857276
616.35/618.03	o 7857269
616.35/618.07	o 7857257
616.45/618.13	o 7857254
617.04/618.71	o 7857248
635.58/637.35	o 7857237
635.58/637.35	o 7857223
635.68/637.40	o 7857201
637.17/638.94	o 7856529
637.28/639.03	o 7856524
637.28/639.04	o 7856460
637.28/639.08	o 7856444
637.67/639.48	o 7856440
637.77/639.50	o 7853368
637.87/639.64	o 7851832
637.87/639.67	o 7851820
637.87/639.69	o 7851808
638.07/639.81	o 7815347
638.17/639.91	o 7815344
638.77/640.55	o 7815272
638.77/640.57	o 7815256
638.87/640.62	o 7815249
640.87/642.68	o 7815248
644.85/646.60	o 7815028
644.85/646.63	o 7815024
644.85/646.69	o 7814996
645.65/647.47	o 7814991
645.75/647.52	o 7814986
646.15/647.91	o 7725898
647.05/648.87	o 7725897
647.35/649.12	o 7725894
647.55/649.32	o 7725846
647.95/649.79	o 7725841
649.44/651.23	o 7725836
650.24/652.03	o 7725833
650.24/652.08	o 7725832
650.34/652.14	o 7725829
650.34/652.18	o 7725826
650.44/652.24	o 7723778
650.44/652.29	o 7720706
651.34/653.11	o 7709578
651.43/653.20	o 7709482
651.43/653.26	o 7709480
652.03/653.83	o 7709479
652.03/653.87	o 7709478
652.73/654.51	o 7709475
652.73/654.55	o 7709472
652.73/654.59	o 7709463
652.83/654.62	o 7709460
652.93/654.72	o 7709458
652.93/654.76	o 7709455
653.13/654.95	o 7636751
654.62/656.49	o 7636750
654.82/656.64	o 7632842
654.82/656.69	o 7632839
654.92/656.79	o 7631815
655.43/657.27	o 7631806
655.53/657.32	o 7631803
655.53/657.37	o 7631797
669.08/670.94	o 7631793
669.08/670.95	o 7631781
669.08/670.97	o 7631769
669.08/670.99	o 7631765
674.27/676.15	o 7631757
708.96/710.97	o 7631750
708.96/710.97	o 7631638
708.96/710.98	o 7631590
708.96/710.99	o 7631534
709.06/711.03	o 7631383
767.09/769.29	o 7631223
775.65/777.89	o 7631219
775.75/777.92	o 7631155
775.75/777.98	o 7596463
775.86/778.01	o 7596435
830.59/832.98	o 7596433
830.59/833.00	o 7596425
830.70/833.06	o 7565572
832.79/835.11	o 7565566
840.86/843.28	o 7565538
851.03/853.45	o 7565534
851.03/853.49	o 7565532
851.83/854.26	o 7564764
851.93/854.32	o 7564761
851.93/854.35	o 7564752
851.93/854.37	o 7564751
851.93/854.38	o 7564748
852.03/854.42	o 7564739
852.03/854.45	o 7564738
852.03/854.47	o 7455170
852.63/855.02	o 7455158
853.63/856.06	o 7455150
853.92/856.32	o 7455146
853.92/856.39	o 7455082
854.02/856.42	o 7455018
854.12/856.51	o 7454890
854.12/856.54	o 7454698
854.12/856.57	o 7454498
854.22/856.63	o 7452962
854.22/856.66	o 7452770
855.22/857.61	o 7452761
856.11/858.57	o 7452705
856.21/858.66	o 7452689
856.41/858.89	o 7452688
856.51/858.92	o 7452682
856.51/858.95	o 7451658
856.51/858.97	o 7451648
856.81/859.23	o 7451520
856.91/859.32	o 7451518
856.91/859.34	o 7451454
857.11/859.56	o 7451418
857.21/859.65	o 7451410
860.90/863.39	o 7451409
863.40/865.84	o 7435474
863.60/866.07	o 7434684
863.80/866.21	o 7400935
863.89/866.33	o 7400934
863.99/866.42	o 7286266
864.19/866.60	o 7286147
864.19/866.63	o 7286139
865.09/867.55	o 7286123
865.09/867.58	o 7135603
865.19/867.60	o 7135595
879.25/881.70	o 7135579
879.25/881.74	o 7135515
879.25/881.78	o 7135505
879.25/881.79	o 7135501
879.35/881.80	o 7135497
879.35/881.81	o 7135425
880.55/883.05	o 7135421
880.74/883.20	o 7135417
880.74/883.22	o 7135413
880.74/883.23	o 7135361
880.74/883.24	o 7135353
881.74/884.21	o 7135335
881.74/884.25	o 7135321
881.74/884.27	o 7135317
882.43/884.90	o 7135305
882.43/884.93	o 7135301
882.83/885.31	o 7125961
882.83/885.34	o 7125956
882.93/885.44	o 7125832
882.93/885.49	o 7125825
883.03/885.51	o 7066443
883.23/885.77	o 7066435
883.33/885.81	o 7066434
883.33/885.85	o 7066431
883.33/885.89	o 7060294
883.43/885.92	o 7060230
883.43/885.95	o 7060198
883.43/885.97	o 7060182
883.64/886.10	o 7060178
883.83/886.33	o 7060146
883.83/886.39	o 7060138
883.93/886.42	o 7060134
883.93/886.44	o 7060130
884.83/887.31	o 7060125
889.31/891.89	o 7060109
889.41/891.94	o 7060101
889.62/892.20	o 7042717
889.81/892.31	o 7042711
890.91/893.46	o 7042709
891.01/893.50	o 7042706
891.01/893.56	o 7042699
891.11/893.61	o 6889099
891.31/893.85	o 6822539
891.41/893.90	o 6822529
892.52/895.01	o 6802049
892.71/895.27	o 6801769
893.01/895.56	o 6801729
893.01/895.59	o 6801569
893.11/895.62	o 6801489
896.60/899.18	o 6801449
911.25/913.82	o 6801445
911.25/913.84	o 6801423
911.35/913.90	o 6801407
928.80/931.44	o 6801397
936.27/938.93	o 6801386
937.67/940.31	o 6801372
937.87/940.55	o 6799964
937.97/940.67	o 6779484
938.77/941.42	o 6779456
938.87/941.58	o 6779436
938.97/941.60	o 6779426
938.97/941.66	o 6779250
939.76/942.41	o 6779206
941.96/944.60	o 6779162
958.31/961.06	o 6779158
958.31/961.08	o 6779153
958.41/961.16	o 6779148
958.50/961.23	o 6779139
958.50/961.26	o 6779121
958.50/961.27	o 6778851
958.60/961.39	o 6778848
958.91/961.69	o 6778844
959.01/961.70	o 6778841
959.01/961.76	o 6778837
959.01/961.79	o 6778833
959.11/961.82	o 6778785
959.81/962.59	o 6737889
960.60/963.34	o 6737879
961.00/963.77	o 6734392
961.10/963.80	o 6734390
962.40/965.15	o 6734386
962.40/965.19	o 6734326
962.50/965.21	o 6734321
962.50/965.24	o 6734261
962.79/965.58	o 6734252
962.89/965.61	o 6734251
963.30/966.10	o 6734179
963.40/966.14	o 6734174
965.18/967.92	o 6734170
965.29/968.05	o 6734166
965.29/968.10	o 6734102
965.40/968.14	o 6732822
966.19/968.94	o 6732812
966.19/968.97	o 6732802
966.19/969.00	o 6732762
968.97/971.72	o 6732757
968.97/971.78	o 6732752
975.36/978.12	o 6732747
983.73/986.55	o 6732737
983.73/986.56	o 6732732
985.63/988.41	o 6700540
986.03/988.85	o 6688208
986.13/988.90	o 6686160
986.13/988.94	o 6686156
986.13/988.95	o 6668236
986.23/989.08	o 6668220
986.23/989.09	o 6668216
986.42/989.21	o 6668172
986.42/989.25	o 6668161
986.42/989.29	o 6635363
986.92/989.76	o 6635362
987.02/989.81	o 6635359
988.62/991.46	o 6635297
988.92/991.79	o 6586219
989.01/991.89	o 6586215
989.11/991.93	o 6586177
989.11/991.98	o 6586155
989.71/992.56	o 6586151
1004.37/1007.20	o 6586091
1004.37/1007.24	o 6585971
1005.86/1008.74	o 6585965
1005.86/1008.77	o 6585963
1005.96/1008.88	o 6585959
1006.06/1008.94	o 6585950
1006.06/1008.95	o 6585939
1006.36/1009.24	o 6585928
1006.46/1009.35	o 6585927
1006.96/1009.81	o 6585919
1006.96/1009.83	o 6585915
1006.96/1009.85	o 6585911
1006.96/1009.87	o 6585903
1007.45/1010.39	o 6585898
1008.46/1011.35	o 6585894
1008.46/1011.39	o 6585877
1008.66/1011.52	o 6585876
1008.66/1011.59	o 6585872
1008.76/1011.64	o 6511120
1009.65/1012.50	o 6464016
1010.05/1012.95	o 6463956
1010.16/1013.02	o 6365508
1010.16/1013.07	o 6365498
1011.45/1014.30	o 6365468
1011.64/1014.57	o 6365436
1011.74/1014.62	o 6365276
1014.84/1017.74	o 6365272
1014.84/1017.78	o 6365208
1015.64/1018.51	o 6158664
1015.64/1018.55	o 6158458
1015.74/1018.61	o 6158456
1015.74/1018.64	o 6158441
1017.93/1020.81	o 6158437
1018.43/1021.39	o 6158433
1018.53/1021.47	o 6145121
1019.02/1021.90	o 6145117
1019.02/1021.94	o 6145109
1019.02/1021.96	o 6145105
1020.12/1023.05	o 6145073
1032.28/1035.26	o 6144561
1033.09/1036.03	o 6144557
1033.48/1036.49	o 6138409
1033.68/1036.63	o 6138393
1044.65/1047.67	o 6138391
1058.21/1061.25	o 6138375
1058.21/1061.27	o 6138343
1063.29/1066.34	o 6138332
1065.29/1068.33	o 6138326
1066.58/1069.65	o 6138317
1066.58/1069.69	o 6138308
1066.68/1069.73	o 6138038
1066.78/1069.83	o 6138027
1103.87/1107.03	o 6137547
1103.87/1107.07	o 6137531
1103.97/1107.16	o 6137515
1103.97/1107.19	o 6137387
1104.16/1107.33	o 6137371
1104.37/1107.55	o 6137349
1104.37/1107.57	o 6137327
1104.87/1108.05	o 6137319
1104.97/1108.15	o 6135523
1106.07/1109.28	o 6135522
1106.16/1109.30	o 6135520
1106.16/1109.33	o 6135516
1106.16/1109.35	o 6135515
1108.75/1111.99	o 6135337
1111.75/1114.97	o 6135320
1111.85/1115.10	o 6135200
1111.95/1115.14	o 6030752
1111.95/1115.17	o 6030737
1111.95/1115.19	o 5922193
1112.05/1115.21	o 5922133
1112.05/1115.27	o 5922103
1113.64/1116.82	o 5922088
1114.84/1118.05	o 5922084
1115.63/1118.81	o 5922062
1130.49/1133.70	o 5922046
1130.49/1133.71	o 5922038
1130.49/1133.72	o 5922034
1130.49/1133.74	o 5922033
1130.49/1133.75	o 5922031
1130.49/1133.76	o 5922030
1130.49/1133.79	o 5922018
1130.79/1134.03	o 5922014
1131.29/1134.51	o 5921998
1131.29/1134.54	o 5921992
1132.18/1135.47	o 5921940
1132.48/1135.72	o 5921932
1134.67/1137.99	o 5921930
1134.78/1138.02	o 5921926
1134.98/1138.26	o 5852613
1134.98/1138.27	o 5852611
1135.08/1138.30	o 5852607
1135.08/1138.33	o 5852095
1135.38/1138.63	o 5852079
1136.27/1139.56	o 5852071
1136.37/1139.65	o 5851591
1136.47/1139.77	o 5840836
1136.47/1139.79	o 5840820
1136.57/1139.83	o 5840644
1137.57/1140.81	o 5840524
1137.67/1140.90	o 5840502
1137.87/1141.11	o 5840458
1137.87/1141.14	o 5840457
1137.87/1141.16	o 5840369
1137.87/1141.18	o 5840361
1137.96/1141.21	o 5840357
1138.06/1141.35	o 5840356
1138.36/1141.61	o 5809380
1138.36/1141.63	o 5809358
1138.36/1141.66	o 5809260
1138.36/1141.68	o 5809228
1138.56/1141.84	o 5809220
1138.87/1142.13	o 5809219
1138.87/1142.16	o 5809208
1139.16/1142.41	o 5809197
1139.16/1142.44	o 5809182
1139.26/1142.52	o 5809179
1139.67/1142.90	o 5809168
1139.67/1142.93	o 5809156
1139.67/1142.95	o 5809132
1139.67/1142.97	o 5808996
1139.77/1143.02	o 5808974
1139.77/1143.04	o 5696002
1140.46/1143.77	o 5695991
1140.56/1143.80	o 5695983
1140.56/1143.84	o 5695972
1140.56/1143.86	o 5695961
1140.66/1143.90	o 5687541
1140.96/1144.27	o 5656340
1141.06/1144.32	o 5656329
1141.26/1144.57	o 5656325
1141.66/1144.98	o 5656316
1144.15/1147.48	o 5656307
1147.14/1150.45	o 5656306
1156.01/1159.37	o 5652210
1158.21/1161.50	o 5652138
1158.40/1161.78	o 5652128
1158.40/1161.79	o 5652124
1158.50/1161.80	o 5652119
1158.50/1161.83	o 5652115
1159.10/1162.42	o 5652110
1159.50/1162.83	o 5652050
1159.90/1163.23	o 5652010
1161.10/1164.47	o 5651995
1161.40/1164.75	o 5651990
1161.60/1164.97	o 5651954
1161.80/1165.14	o 5651698
1161.99/1165.36	o 5651683
1161.99/1165.39	o 5651668
1162.59/1165.91	o 5651659
1162.89/1166.25	o 5651619
1162.99/1166.31	o 5651599
1163.39/1166.73	o 5651591
1163.39/1166.75	o 5651583
1163.39/1166.78	o 5651559
1163.59/1166.91	o 5651549
1174.55/1177.97	o 5651545
1174.66/1178.06	o 5643353
1174.76/1178.11	o 5643345
1174.76/1178.11	o 5643341
1174.76/1178.12	o 5643309
1176.94/1180.30	o 5643305
1176.94/1180.31	o 5643301
1176.94/1180.32	o 5643297
1176.94/1180.33	o 5643293
1177.14/1180.58	o 5643288
1177.24/1180.60	o 5539864
1177.85/1181.29	o 5539860
1177.95/1181.32	o 5539828
1177.95/1181.34	o 5539812
1177.95/1181.35	o 5539804
1178.25/1181.62	o 5539800
1178.75/1182.15	o 5539796
1179.64/1183.04	o 5539792
1179.74/1183.12	o 5539788
1179.84/1183.20	o 5538764
1180.14/1183.50	o 5538760
1180.14/1183.52	o 5538632
1180.94/1184.38	o 5538519
1181.03/1184.41	o 5538504
1185.73/1189.18	o 5538500
1193.40/1196.85	o 5514276
1193.60/1197.04	o 5514261
1193.70/1197.18	o 5447701
1193.80/1197.20	o 5447686
1197.88/1201.35	o 5447682
1204.96/1208.41	o 5447667
1217.23/1220.70	o 5447662
1217.23/1220.72	o 5447647
1217.53/1221.08	o 5447627
1217.63/1221.11	o 5447617
1220.62/1224.11	o 5447612
1221.11/1224.67	o 5447611
1221.21/1224.70	o 5447602
1223.71/1227.28	o 5447566
1235.97/1239.56	o 5447530
1235.97/1239.57	o 5447522
1235.97/1239.58	o 5447506
1235.97/1239.59	o 5447502
1236.07/1239.60	o 5447118
1236.07/1239.63	o 5447086
1236.07/1239.64	o 5447070
1236.47/1240.02	o 5447066
1236.47/1240.04	o 5447058
1236.66/1240.21	o 5447054
1239.46/1243.01	o 5291406
1241.25/1244.83	o 5291262
1241.35/1244.98	o 5224702
1241.55/1245.12	o 5224630
1242.05/1245.60	o 5224612
1242.05/1245.64	o 5224603
1242.15/1245.72	o 5224543
1242.34/1246.00	o 5224534
1243.34/1246.96	o 5224408
1244.55/1248.12	o 5224378
1244.55/1248.19	o 5224369
1245.74/1249.38	o 5224360
1245.84/1249.48	o 5214568
1246.04/1249.66	o 5214488
1246.04/1249.69	o 5214468
1246.74/1250.35	o 5214448
1247.33/1250.90	o 5214181
1247.33/1250.92	o 5214121
1247.33/1250.95	o 5214091
1247.33/1250.97	o 5214076
1247.73/1251.32	o 5214056
1249.03/1252.64	o 5214028
1260.59/1264.28	o 5214018
1260.69/1264.31	o 5214009
1260.69/1264.34	o 5213999
1262.79/1266.41	o 5213990
1264.18/1267.80	o 5213954
1273.75/1277.45	o 5213936
1282.34/1286.05	o 5213926
1282.34/1286.08	o 5213906
1282.34/1286.10	o 5213866
1282.73/1286.46	o 5213851
1282.73/1286.49	o 5213841
1282.83/1286.51	o 5213821
1282.83/1286.52	o 5213811
1282.83/1286.53	o 5213771
1282.83/1286.55	o 5213761
1282.83/1286.56	o 5213751
1282.83/1286.57	o 5213731
1282.83/1286.59	o 5213691
1283.23/1286.98	o 5213371
1283.33/1287.01	o 5213299
1283.33/1287.03	o 5213219
1284.82/1288.57	o 5208099
1285.02/1288.72	o 5207779
1285.02/1288.74	o 5207619
1285.02/1288.76	o 5187139
1285.12/1288.89	o 5186499
1285.22/1288.92	o 5186339
1285.32/1289.07	o 5183459
1285.32/1289.09	o 5183449
1285.32/1289.10	o 5183409
1285.42/1289.11	o 5183389
1285.42/1289.13	o 5183379
1285.42/1289.14	o 5183299
1285.42/1289.15	o 5183289
1285.42/1289.17	o 5183209
1285.42/1289.18	o 5183169
1285.82/1289.58	o 5183149
1285.92/1289.62	o 5183139
1288.91/1292.61	o 5183130
1302.87/1306.68	o 5182970
1303.17/1306.95	o 5182960
1303.66/1307.46	o 5158672
1304.37/1308.18	o 5134032
1304.46/1308.20	o 5133984
1304.46/1308.24	o 5133344
1305.66/1309.45	o 5133024
1305.75/1309.55	o 5132640
1306.45/1310.20	o 5132637
1306.45/1310.22	o 5131437
1306.45/1310.24	o 5131397
1306.45/1310.26	o 5131377
1308.05/1311.81	o 5131374
1308.05/1311.83	o 5131364
1308.05/1311.86	o 5131361
1321.12/1324.98	o 5131313
1333.58/1337.41	o 5131310
1333.78/1337.63	o 5131286
1333.78/1337.67	o 5131280
1378.54/1382.59	o 5069840
1378.64/1382.61	o 4967440
1621.21/1625.92	o 4967437
1621.51/1626.23	o 4967427
1628.89/1633.67	o 4964352
1628.99/1633.70	o 4960768
1628.99/1633.72	o 4958976
1628.99/1633.74	o 4958080
1628.99/1633.77	o 4957632
1636.86/1641.67	o 4956608
1643.75/1648.51	o 4956594
1643.75/1648.52	o 4956566
1643.75/1648.53	o 4956559
1643.95/1648.78	o 4956496
1644.05/1648.85	o 4956489
1644.35/1649.11	o 4931401
1644.35/1649.17	o 4931345
1644.35/1649.19	o 4931317
1644.55/1649.30	o 4931303
1645.34/1650.15	o 4931296
1645.34/1650.16	o 4931282
1645.34/1650.17	o 4931275
1645.34/1650.19	o 4931163
1645.84/1650.69	o 4930715
1646.03/1650.86	o 4906208
1646.13/1650.90	o 4790496
1647.04/1651.85	o 4790384
1665.48/1670.31	o 4790328
1665.48/1670.32	o 4790300
1665.48/1670.33	o 4790286
1665.48/1670.35	o 4790279
1666.29/1671.18	o 4790272
1666.29/1671.19	o 4717568
1669.67/1674.55	o 4710400
1669.67/1674.59	o 4705280
1671.36/1676.25	o 4695040
1674.36/1679.29	o 4684800
1675.65/1680.52	o 4680704
1678.44/1683.36	o 4672512
1678.44/1683.39	o 4667392
1742.75/1747.85	o 4629504
1761.79/1766.94	o 4585472
1763.79/1768.91	o 4567040
1805.86/1811.16	o 4550656
1838.76/1844.19	o 4519936
1857.30/1862.76	o 4366336
1965.08/1970.86	o 4345856
2954.99/2963.72	o 4312064
3053.79/3062.87	o 4307968
3055.89/3064.96	o 4304896
3055.99/3065.00	o 4200448
3600.03/3610.70	c Program interrupted by user.
3600.03/3610.70	s SATISFIABLE
3600.03/3610.70	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

OK	4200448

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: 63931 MiB (62757 MiB free)
  memory of node 1: 64510 MiB (61383 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432970-1721063245/watcher-4432970-1721063245 -o /tmp/evaluation-result-4432970-1721063245/solver-4432970-1721063245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808122 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=503640701 HOME/instance-4432970-1721063245.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100084 s]*
/proc/loadavg: 4.07 4.08 4.09 6/248 810141
/proc/meminfo: memFree=127088396/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=43620 memory=21464 CPUtime=0.1 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 5087 0 0 0 9 1 0 0 20 0 1 0 158489414 44666880 5366 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 10905 5366 1060 1005 0 9668 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43620 KiB
Current children cumulated memory: 21464 KiB

[startup+0.205238 s]*
/proc/loadavg: 4.07 4.08 4.09 5/254 810151
/proc/meminfo: memFree=126997412/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=45392 memory=24668 CPUtime=0.2 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 5816 0 0 0 19 1 0 0 20 0 1 0 158489414 46481408 6167 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 11348 6167 1140 1005 0 10111 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45392 KiB
Current children cumulated memory: 24668 KiB

[startup+0.305293 s]*
/proc/loadavg: 4.07 4.08 4.09 5/254 810151
/proc/meminfo: memFree=126972388/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=46712 memory=28560 CPUtime=0.3 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 6274 0 0 0 29 1 0 0 20 0 1 0 158489414 47833088 7140 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 11678 7140 1140 1005 0 10441 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46712 KiB
Current children cumulated memory: 28560 KiB

[startup+0.700211 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 810151
/proc/meminfo: memFree=126934216/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=49352 memory=33244 CPUtime=0.69 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 6961 0 0 0 68 1 0 0 20 0 1 0 158489414 50536448 8311 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 12338 8311 1140 1005 0 11101 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49352 KiB
Current children cumulated memory: 33244 KiB

[startup+1.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/254 810151
/proc/meminfo: memFree=126881804/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=51952 memory=42016 CPUtime=1.48 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 7610 0 0 0 147 1 0 0 20 0 1 0 158489414 53198848 10504 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 12988 10504 1140 1005 0 11751 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51952 KiB
Current children cumulated memory: 42016 KiB

[startup+3.10511 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 810197
/proc/meminfo: memFree=126949392/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=74652 memory=60728 CPUtime=3.09 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 10439 0 0 0 306 3 0 0 20 0 1 0 158489414 76443648 15182 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 18663 15182 1140 1005 0 17426 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 74652 KiB
Current children cumulated memory: 60728 KiB

[startup+6.30021 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 810199
/proc/meminfo: memFree=126857092/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=101152 memory=78416 CPUtime=6.27 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 11696 0 0 0 623 4 0 0 20 0 1 0 158489414 103579648 19604 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 25288 19604 1140 1005 0 24051 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 101152 KiB
Current children cumulated memory: 78416 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.09 5/254 810199
/proc/meminfo: memFree=126712896/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=149692 memory=111400 CPUtime=12.66 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 14304 0 0 0 1259 7 0 0 20 0 1 0 158489414 153284608 27850 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 37423 27850 1140 1005 0 36186 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 149692 KiB
Current children cumulated memory: 111400 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.10 4.09 5/254 810200
/proc/meminfo: memFree=126380052/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=169856 memory=156436 CPUtime=25.43 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 18966 0 0 0 2532 11 0 0 20 0 1 0 158489414 173932544 39109 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 42464 39109 1140 1005 0 41227 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 169856 KiB
Current children cumulated memory: 156436 KiB

[startup+51.1053 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 810205
/proc/meminfo: memFree=125962020/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=253216 memory=216720 CPUtime=50.98 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 23028 0 0 0 5079 19 0 0 20 0 1 0 158489414 259293184 54180 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 63304 54180 1140 1005 0 62067 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 253216 KiB
Current children cumulated memory: 216720 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 810213
/proc/meminfo: memFree=125441824/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=277464 memory=244916 CPUtime=102.05 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 28709 0 0 0 10180 25 0 0 20 0 1 0 158489414 284123136 61229 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 69366 61229 1140 1005 0 68129 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 277464 KiB
Current children cumulated memory: 244916 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 810227
/proc/meminfo: memFree=125036940/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=278140 memory=245628 CPUtime=161.9 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 28968 0 0 0 16156 34 0 0 20 0 1 0 158489414 284815360 61407 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 69535 61407 1140 1005 0 68298 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 278140 KiB
Current children cumulated memory: 245628 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 810239
/proc/meminfo: memFree=124913340/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=279556 memory=252472 CPUtime=221.75 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 29458 0 0 0 22130 45 0 0 20 0 1 0 158489414 286265344 63118 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 69889 63118 1140 1005 0 68652 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 279556 KiB
Current children cumulated memory: 252472 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 810249
/proc/meminfo: memFree=124879756/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=280276 memory=253340 CPUtime=281.61 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 29647 0 0 0 28108 53 0 0 20 0 1 0 158489414 287002624 63335 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 70069 63335 1140 1005 0 68832 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 280276 KiB
Current children cumulated memory: 253340 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 810265
/proc/meminfo: memFree=124850896/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=280940 memory=254136 CPUtime=341.46 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 29925 0 0 0 34085 61 0 0 20 0 1 0 158489414 287682560 63534 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 70235 63534 1140 1005 0 68998 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 280940 KiB
Current children cumulated memory: 254136 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 810277
/proc/meminfo: memFree=124772724/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=283180 memory=256328 CPUtime=401.28 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 30481 0 0 0 40058 70 0 0 20 0 1 0 158489414 289976320 64082 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 70795 64082 1140 1005 0 69558 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 283180 KiB
Current children cumulated memory: 256328 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 810287
/proc/meminfo: memFree=124460648/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=284984 memory=258000 CPUtime=461.1 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 31027 0 0 0 46032 78 0 0 20 0 1 0 158489414 291823616 64500 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 71246 64500 1140 1005 0 70009 0

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

Current children cumulated memory: 332360 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 811724
/proc/meminfo: memFree=122064836/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=443176 memory=333712 CPUtime=2913.71 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 45325 0 0 0 290894 477 0 0 20 0 1 0 158489414 453812224 83428 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 110794 83428 1140 1005 0 109557 0
Current children cumulated CPU time: 2913.71 s
Current children cumulated vsize: 443176 KiB
Current children cumulated memory: 333712 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 811734
/proc/meminfo: memFree=122047496/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=445272 memory=335896 CPUtime=2973.54 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 45966 0 0 0 296867 487 0 0 20 0 1 0 158489414 455958528 83974 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111318 83974 1140 1005 0 110081 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 445272 KiB
Current children cumulated memory: 335896 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/257 811913
/proc/meminfo: memFree=122036936/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=445920 memory=336248 CPUtime=3033.35 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 46206 0 0 0 302838 497 0 0 20 0 1 0 158489414 456622080 84062 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111480 84062 1140 1005 0 110243 0
Current children cumulated CPU time: 3033.35 s
Current children cumulated vsize: 445920 KiB
Current children cumulated memory: 336248 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 811923
/proc/meminfo: memFree=122015548/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=446272 memory=336796 CPUtime=3093.17 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 46455 0 0 0 308811 506 0 0 20 0 1 0 158489414 456982528 84199 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111568 84199 1140 1005 0 110331 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 446272 KiB
Current children cumulated memory: 336796 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 811936
/proc/meminfo: memFree=122014108/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=446556 memory=337080 CPUtime=3153 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 46653 0 0 0 314784 516 0 0 20 0 1 0 158489414 457273344 84270 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111639 84270 1140 1005 0 110402 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 446556 KiB
Current children cumulated memory: 337080 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 811959
/proc/meminfo: memFree=122012916/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=446940 memory=337532 CPUtime=3212.81 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 46887 0 0 0 320756 525 0 0 20 0 1 0 158489414 457666560 84383 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111735 84383 1140 1005 0 110498 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 446940 KiB
Current children cumulated memory: 337532 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 811969
/proc/meminfo: memFree=122006096/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=446940 memory=337564 CPUtime=3272.63 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 47028 0 0 0 326726 537 0 0 20 0 1 0 158489414 457666560 84391 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111735 84391 1140 1005 0 110498 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 446940 KiB
Current children cumulated memory: 337564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 811980
/proc/meminfo: memFree=122005268/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=447132 memory=337680 CPUtime=3332.45 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 47188 0 0 0 332698 547 0 0 20 0 1 0 158489414 457863168 84420 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111783 84420 1140 1005 0 110546 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 447132 KiB
Current children cumulated memory: 337680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.10 4.10 5/257 811991
/proc/meminfo: memFree=122004556/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=447324 memory=337816 CPUtime=3392.27 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 47332 0 0 0 338672 555 0 0 20 0 1 0 158489414 458059776 84454 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111831 84454 1140 1005 0 110594 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 447324 KiB
Current children cumulated memory: 337816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/257 812001
/proc/meminfo: memFree=122002324/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=447824 memory=338380 CPUtime=3452.08 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 47598 0 0 0 344643 565 0 0 20 0 1 0 158489414 458571776 84595 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 111956 84595 1140 1005 0 110719 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 447824 KiB
Current children cumulated memory: 338380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.22 4.14 5/254 812011
/proc/meminfo: memFree=122001096/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=448976 memory=339360 CPUtime=3511.9 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 47977 0 0 0 350614 576 0 0 20 0 1 0 158489414 459751424 84840 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 112244 84840 1140 1005 0 111007 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 448976 KiB
Current children cumulated memory: 339360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/254 812021
/proc/meminfo: memFree=121999356/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=448976 memory=339512 CPUtime=3571.72 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 48109 0 0 0 356583 589 0 0 20 0 1 0 158489414 459751424 84878 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 112244 84878 1140 1005 0 111007 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 448976 KiB
Current children cumulated memory: 339512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.09 4.17 4.12 5/254 812120
/proc/meminfo: memFree=125705396/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=448976 memory=339512 CPUtime=3600.03 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 48112 0 0 0 359411 592 0 0 20 0 1 0 158489414 459751424 84878 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 112244 84878 1140 1005 0 111007 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 448976 KiB
Current children cumulated memory: 339512 KiB

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

[startup+3610.72 s]
# the end of solver process 810135 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3594.13 s, system=5.93208 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.7 s]
/proc/loadavg: 4.09 4.17 4.12 5/254 812120
/proc/meminfo: memFree=125705396/131524600 swapFree=131071996/131071996
[pid=810135] ppid=810132 vsize=448976 memory=339512 CPUtime=3600.03 cores=4,6
/proc/810135/stat : 810135 (Exact) R 810132 810135 808111 0 -1 4194304 48112 0 0 0 359411 592 0 0 20 0 1 0 158489414 459751424 84878 134679101440 4194304 8309489 140735179584368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 35397632 140735179588543 140735179588712 140735179588712 140735179595727 0
/proc/810135/statm: 112244 84878 1140 1005 0 111007 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 448976 KiB
Current children cumulated memory: 339512 KiB

Child status: 10

Real time (s): 3610.72
CPU time (s): 3600.06
CPU user time (s): 3594.13
CPU system time (s): 5.93208
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 448976
Max. memory (cumulated for all children) (KiB): 339512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.13
system time used= 5.93208
maximum resident set size= 472744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38
involuntary context switches= 1948


# summary of solver processes directly reported to runsolver:
#   pid: 810135
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.13
#   total CPU system time (s): 5.93208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62083 second user time and 16.639 second system time

The end

Begin job on nodeC024 at 2024-07-15 19:07:38
IDJOB=4432970
IDBENCH=146763
IDSOLVER=3060
FILE ID=nodeC024/4432970-1721063245
RUNJOBID= nodeC024-1721059648-808122
SLURM_JOB_ID= 7505503
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432970-1721063245/watcher-4432970-1721063245 -o /tmp/evaluation-result-4432970-1721063245/solver-4432970-1721063245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721059648-808122 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=503640701 HOME/instance-4432970-1721063245.opb

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

MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4
RANDOM SEED=503640701

nodeC024.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	: 0xb00002a
cpu MHz		: 3659.760
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3626.357
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
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	: 0xb00002a
cpu MHz		: 3599.958
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3657.473
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
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	: 0xb00002a
cpu MHz		: 3641.343
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3665.941
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
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	: 0xb00002a
cpu MHz		: 3650.134
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3603.956
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127115160 kB
MemAvailable:   129540448 kB
Buffers:          367908 kB
Cached:          2870444 kB
SwapCached:            0 kB
Active:           587036 kB
Inactive:        3183360 kB
Active(anon):       1564 kB
Inactive(anon):   567868 kB
Active(file):     585472 kB
Inactive(file):  2615492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12912 kB
Writeback:             0 kB
AnonPages:        530428 kB
Mapped:           112832 kB
Shmem:             37720 kB
KReclaimable:     127944 kB
Slab:             236528 kB
SReclaimable:     127944 kB
SUnreclaim:       108584 kB
KernelStack:        4080 kB
PageTables:        10588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     992244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59648 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 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:      226004 kB
DirectMap2M:    19470336 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC024 at 2024-07-15 20:07:49