0.00/0.24	c run usual solver
0.95/1.05	o 119
0.95/1.05	c starting approximation
0.95/1.05	c factor = 2
0.95/1.05	c factor still to low - shrinking to 4.86877
0.95/1.05	c approx number of clauses: 1e+06
0.95/1.05	c current bound: 59
1.21/1.42	c current bound: 59
1.78/1.80	c current bound: 59
2.07/2.17	c current bound: 59
2.33/2.54	c current bound: 59
2.70/2.91	c current bound: 59
3.18/3.29	c current bound: 59
3.45/3.66	c current bound: 59
3.82/4.03	c current bound: 59
4.38/4.40	c current bound: 59
4.57/5.36	c current bound: 59
4.93/5.73	c current bound: 59
5.31/6.10	c current bound: 59
5.69/6.48	c current bound: 59
6.07/6.85	c current bound: 59
6.42/7.22	c current bound: 59
6.80/7.60	c current bound: 59
7.18/7.97	c current bound: 59
7.55/8.34	c current bound: 59
8.09/8.72	c current bound: 59
8.31/9.09	c current bound: 59
8.69/9.47	c current bound: 59
9.18/9.85	c current bound: 59
9.43/10.23	c current bound: 59
9.99/10.60	c current bound: 59
10.27/10.97	c current bound: 59
10.54/11.34	c current bound: 59
10.92/11.72	c current bound: 59
11.38/12.09	c current bound: 59
11.66/12.46	c current bound: 59
12.04/12.84	c current bound: 59
12.58/13.21	c current bound: 59
12.78/13.59	c current bound: 59
13.15/13.96	c current bound: 59
13.68/14.33	c current bound: 59
13.90/14.70	c current bound: 59
14.28/15.08	c current bound: 59
14.77/15.45	c current bound: 59
15.03/15.83	c current bound: 59
15.41/16.20	c current bound: 59
15.88/16.58	c current bound: 59
16.15/16.95	c current bound: 59
16.52/17.33	c current bound: 59
16.90/17.71	c current bound: 59
17.27/18.08	c current bound: 59
17.65/18.45	c current bound: 59
18.03/18.83	c current bound: 59
18.40/19.21	c current bound: 59
18.76/19.58	c current bound: 59
19.15/19.96	c current bound: 59
19.53/20.34	c current bound: 59
19.91/20.71	c current bound: 59
20.48/21.10	c current bound: 59
20.67/21.47	c current bound: 59
21.05/21.85	c current bound: 59
21.43/22.24	c current bound: 59
21.80/22.61	c current bound: 59
22.18/22.98	c current bound: 59
22.55/23.36	c current bound: 59
22.92/23.73	c current bound: 59
23.29/24.10	c current bound: 59
23.66/24.48	c current bound: 59
24.05/24.85	c current bound: 59
24.59/25.22	c current bound: 59
24.98/25.60	c current bound: 59
25.17/25.97	c current bound: 59
25.67/26.34	c current bound: 59
25.90/26.72	c current bound: 59
26.28/27.09	c current bound: 59
26.78/27.46	c current bound: 59
27.03/27.83	c current bound: 59
27.41/28.21	c current bound: 59
27.89/28.58	c current bound: 59
28.15/28.95	c current bound: 59
28.51/29.33	c current bound: 59
28.99/29.70	c current bound: 59
29.26/30.07	c current bound: 59
29.64/30.45	c current bound: 59
30.19/30.82	c current bound: 59
30.40/31.19	c current bound: 59
30.76/31.56	c current bound: 59
31.28/31.94	c current bound: 59
31.51/32.31	c current bound: 59
31.89/32.68	c current bound: 59
32.37/33.06	c current bound: 59
32.64/33.43	c current bound: 59
33.01/33.81	c current bound: 59
33.47/34.18	c current bound: 59
33.75/34.57	c current bound: 59
34.12/34.94	c current bound: 59
34.51/35.32	c current bound: 59
34.87/35.69	c current bound: 59
35.26/36.07	c current bound: 59
35.63/36.45	c current bound: 59
36.00/36.82	c current bound: 59
36.38/37.19	c current bound: 59
36.75/37.57	c current bound: 59
37.13/37.94	c current bound: 59
37.50/38.32	c current bound: 59
38.06/38.70	c current bound: 59
38.24/39.08	c current bound: 59
38.61/39.45	c current bound: 59
39.01/39.89	c current bound: 59
39.39/40.26	c current bound: 59
39.90/40.64	c current bound: 59
40.13/41.01	c current bound: 59
40.51/41.38	c current bound: 59
40.99/41.76	c current bound: 59
41.26/42.13	c current bound: 59
41.62/42.50	c current bound: 59
42.08/42.88	c current bound: 59
42.36/43.25	c current bound: 59
42.74/43.62	c current bound: 59
43.20/43.99	c current bound: 59
43.49/44.37	c current bound: 59
43.86/44.74	c current bound: 59
44.41/45.11	c current bound: 59
44.60/45.49	c current bound: 59
44.98/45.86	c current bound: 59
45.49/46.24	c current bound: 59
45.73/46.61	c current bound: 59
46.10/46.98	c current bound: 59
46.61/47.35	c current bound: 59
46.85/47.73	c current bound: 59
47.42/48.10	c current bound: 59
47.70/48.47	c current bound: 59
47.97/48.85	c current bound: 59
48.35/49.22	c current bound: 59
48.71/49.61	c current bound: 59
49.10/49.98	c current bound: 59
49.47/50.35	c current bound: 59
49.85/50.73	c current bound: 59
50.23/51.10	c current bound: 59
50.61/51.49	c current bound: 59
50.99/51.87	c current bound: 59
51.37/52.24	c current bound: 59
51.74/52.62	c current bound: 59
52.13/53.01	c current bound: 59
52.51/53.38	c current bound: 59
52.88/53.76	c current bound: 59
53.25/54.13	c current bound: 59
53.82/54.50	c current bound: 59
54.17/55.01	c current bound: 59
54.38/55.39	c current bound: 59
54.76/55.76	c current bound: 59
55.28/56.13	c current bound: 59
55.50/56.51	c current bound: 59
55.88/56.88	c current bound: 59
56.38/57.25	c current bound: 59
56.63/57.62	c current bound: 59
57.19/58.00	c current bound: 59
57.49/58.37	c current bound: 59
57.76/58.74	c current bound: 59
58.13/59.11	c current bound: 59
58.49/59.49	c current bound: 59
59.07/59.96	c current bound: 59
59.25/60.33	c current bound: 59
59.63/60.72	c current bound: 59
60.21/61.10	c current bound: 59
60.39/61.47	c current bound: 59
60.76/61.85	c current bound: 59
61.14/62.23	c current bound: 59
61.53/62.60	c current bound: 59
61.90/62.97	c current bound: 59
62.27/63.35	c current bound: 59
62.81/63.72	c current bound: 59
63.22/64.10	c current bound: 59
63.39/64.47	c current bound: 59
63.91/64.84	c current bound: 59
64.15/65.22	c current bound: 59
64.53/65.59	c current bound: 59
65.03/65.96	c current bound: 59
65.26/66.34	c current bound: 59
65.64/66.71	c current bound: 59
66.12/67.08	c current bound: 59
66.40/67.46	c current bound: 59
66.76/67.83	c current bound: 59
67.33/68.21	c current bound: 59
67.51/68.58	c current bound: 59
67.89/68.96	c current bound: 59
68.42/69.33	c current bound: 59
68.63/69.70	c current bound: 59
69.02/70.08	c current bound: 59
69.52/70.45	c current bound: 59
69.76/70.82	c current bound: 59
70.13/71.19	c current bound: 59
70.63/71.57	c current bound: 59
70.89/71.94	c current bound: 59
71.25/72.31	c current bound: 59
71.73/72.69	c current bound: 59
72.01/73.06	c current bound: 59
72.37/73.43	c current bound: 59
72.74/73.81	c current bound: 59
73.10/74.18	c current bound: 59
73.49/74.56	c current bound: 59
73.88/75.06	c current bound: 59
74.24/75.43	c current bound: 59
74.80/75.81	c current bound: 59
74.98/76.18	c current bound: 59
75.37/76.55	c current bound: 59
75.90/76.93	c current bound: 59
76.30/77.30	c current bound: 59
76.49/77.67	c current bound: 59
77.00/78.05	c current bound: 59
77.22/78.42	c current bound: 59
77.60/78.79	c current bound: 59
78.08/79.17	c current bound: 59
78.35/79.54	c current bound: 59
78.73/79.91	c current bound: 59
79.24/80.35	c current bound: 59
79.49/80.72	c current bound: 59
79.85/81.09	c current bound: 59
80.35/81.47	c current bound: 59
80.60/81.84	c current bound: 59
80.97/82.21	c current bound: 59
81.45/82.59	c current bound: 59
81.72/82.96	c current bound: 59
82.09/83.33	c current bound: 59
82.47/83.71	c current bound: 59
82.83/84.09	c current bound: 59
83.21/84.46	c current bound: 59
83.59/84.83	c current bound: 59
83.96/85.21	c current bound: 59
84.32/85.58	c current bound: 59
84.71/85.96	c current bound: 59
85.09/86.33	c current bound: 59
85.46/86.71	c current bound: 59
85.84/87.09	c current bound: 59
86.20/87.46	c current bound: 59
86.59/87.84	c current bound: 59
86.95/88.21	c current bound: 59
87.34/88.59	c current bound: 59
87.71/88.96	c current bound: 59
88.08/89.34	c current bound: 59
88.47/89.71	c current bound: 59
88.84/90.09	c current bound: 59
89.21/90.46	c current bound: 59
89.59/90.84	c current bound: 59
90.14/91.21	c current bound: 59
90.34/91.58	c current bound: 59
90.71/91.96	c current bound: 59
91.24/92.33	c current bound: 59
91.65/92.70	c current bound: 59
91.82/93.08	c current bound: 59
92.33/93.45	c current bound: 59
92.58/93.83	c current bound: 59
93.14/94.20	c current bound: 59
93.43/94.57	c current bound: 59
93.70/94.95	c current bound: 59
94.07/95.32	c current bound: 59
94.55/95.69	c current bound: 59
94.82/96.07	c current bound: 59
95.19/96.44	c current bound: 59
95.75/96.81	c current bound: 59
95.94/97.18	c current bound: 59
96.32/97.56	c current bound: 59
96.83/97.93	c current bound: 59
97.25/98.30	c current bound: 59
97.44/98.68	c current bound: 59
97.93/99.05	c current bound: 59
98.18/99.42	c current bound: 59
98.54/99.79	c current bound: 59
99.04/100.17	c current bound: 59
99.29/100.54	c current bound: 59
99.67/100.92	c current bound: 59
100.04/101.29	c current bound: 59
100.42/101.66	c current bound: 59
100.78/102.04	c current bound: 59
101.17/102.41	c current bound: 59
101.54/102.79	c current bound: 59
101.93/103.16	c current bound: 59
102.28/103.54	c current bound: 59
102.67/103.92	c current bound: 59
103.04/104.29	c current bound: 59
103.41/104.67	c current bound: 59
103.78/105.08	c current bound: 59
104.15/105.46	c current bound: 59
104.54/105.83	c current bound: 59
104.91/106.21	c current bound: 59
105.29/106.58	c current bound: 59
105.65/106.95	c current bound: 59
106.03/107.32	c current bound: 59
106.40/107.70	c current bound: 59
106.77/108.07	c current bound: 59
107.15/108.44	c current bound: 59
107.69/108.82	c current bound: 59
107.90/109.19	c current bound: 59
108.28/109.57	c current bound: 59
108.79/109.94	c current bound: 59
109.02/110.32	c current bound: 59
109.40/110.69	c current bound: 59
109.89/111.07	c current bound: 59
110.15/111.44	c current bound: 59
110.53/111.82	c current bound: 59
111.00/112.19	c current bound: 59
111.27/112.56	c current bound: 59
111.65/112.93	c current bound: 59
112.21/113.31	c current bound: 59
112.40/113.68	c current bound: 59
112.78/114.05	c current bound: 59
113.30/114.42	c current bound: 59
113.72/114.80	c current bound: 59
113.90/115.17	c current bound: 59
114.40/115.54	c current bound: 59
114.64/115.92	c current bound: 59
115.02/116.29	c current bound: 59
115.50/116.66	c current bound: 59
115.76/117.03	c current bound: 59
116.14/117.41	c current bound: 59
116.61/117.78	c current bound: 59
116.88/118.16	c current bound: 59
117.26/118.53	c current bound: 59
117.64/118.92	c current bound: 59
118.20/119.30	c current bound: 59
118.39/119.67	c current bound: 59
118.76/120.05	c current bound: 59
119.14/120.47	c current bound: 59
119.51/120.84	c current bound: 59
119.90/121.23	c current bound: 59
120.26/121.60	c current bound: 59
120.64/121.98	c current bound: 59
121.01/122.35	c current bound: 59
121.40/122.72	c current bound: 59
121.96/123.10	c current bound: 59
122.15/123.48	c current bound: 59
122.53/123.85	c current bound: 59
123.05/124.24	c current bound: 59
123.27/124.61	c current bound: 59
123.66/124.98	c current bound: 59
124.16/125.36	c current bound: 59
124.41/125.73	c current bound: 59
124.96/126.10	c current bound: 59
125.25/126.48	c current bound: 59
125.53/126.85	c current bound: 59
125.90/127.22	c current bound: 59
126.36/127.59	c current bound: 59
126.65/127.97	c current bound: 59
127.02/128.34	c current bound: 59
127.56/128.71	c current bound: 59
127.77/129.09	c current bound: 59
128.15/129.46	c current bound: 59
128.67/129.83	c current bound: 59
128.88/130.21	c current bound: 59
129.25/130.58	c current bound: 59
129.75/130.95	c current bound: 59
130.01/131.33	c current bound: 59
130.57/131.70	c current bound: 59
130.86/132.07	c current bound: 59
131.14/132.46	c current bound: 59
131.51/132.83	c current bound: 59
131.89/133.20	c current bound: 59
132.27/133.58	c current bound: 59
132.62/133.95	c current bound: 59
133.00/134.33	c current bound: 59
133.56/134.70	c current bound: 59
133.74/135.07	c current bound: 59
134.13/135.47	c current bound: 59
134.50/135.84	c current bound: 59
134.87/136.22	c current bound: 59
135.24/136.59	c current bound: 59
135.62/136.97	c current bound: 59
136.00/137.35	c current bound: 59
136.38/137.72	c current bound: 59
136.76/138.09	c current bound: 59
137.13/138.47	c current bound: 59
137.50/138.84	c current bound: 59
137.87/139.21	c current bound: 59
138.25/139.58	c current bound: 59
138.62/139.96	c current bound: 59
139.00/140.33	c current bound: 59
139.55/140.70	c current bound: 59
139.74/141.08	c current bound: 59
140.12/141.45	c current bound: 59
140.66/141.82	c current bound: 59
141.06/142.20	c current bound: 59
141.24/142.57	c current bound: 59
141.76/142.95	c current bound: 59
142.00/143.32	c current bound: 59
142.36/143.70	c current bound: 59
142.86/144.07	c current bound: 59
143.11/144.44	c current bound: 59
143.48/144.81	c current bound: 59
144.05/145.20	c current bound: 59
144.24/145.58	c current bound: 59
144.61/145.95	c current bound: 59
145.13/146.32	c current bound: 59
145.54/146.70	c current bound: 59
145.73/147.07	c current bound: 59
146.23/147.44	c current bound: 59
146.48/147.82	c current bound: 59
146.84/148.19	c current bound: 59
147.34/148.56	c current bound: 59
147.59/148.94	c current bound: 59
147.97/149.31	c current bound: 59
148.44/149.69	c current bound: 59
148.72/150.06	c current bound: 59
149.09/150.43	c current bound: 59
149.46/150.81	c current bound: 59
149.84/151.18	c current bound: 59
150.21/151.56	c current bound: 59
150.58/151.93	c current bound: 59
150.95/152.31	c current bound: 59
151.33/152.68	c current bound: 59
151.70/153.06	c current bound: 59
152.08/153.43	c current bound: 59
152.46/153.81	c current bound: 59
152.82/154.19	c current bound: 59
153.19/154.56	c current bound: 59
153.58/154.93	c current bound: 59
153.94/155.32	c current bound: 59
154.31/155.69	c current bound: 59
154.69/156.06	c current bound: 59
155.06/156.43	c current bound: 59
155.43/156.81	c current bound: 59
155.80/157.18	c current bound: 59
156.18/157.55	c current bound: 59
156.56/157.93	c current bound: 59
156.94/158.30	c current bound: 59
157.31/158.67	c current bound: 59
157.68/159.05	c current bound: 59
158.22/159.42	c current bound: 59
158.43/159.79	c current bound: 59
158.80/160.31	c current bound: 59
159.30/160.69	c current bound: 59
159.58/161.06	c current bound: 59
159.95/161.43	c current bound: 59
160.32/161.81	c current bound: 59
160.69/162.18	c current bound: 59
161.07/162.55	c current bound: 59
161.46/162.93	c current bound: 59
161.82/163.31	c current bound: 59
162.20/163.68	c current bound: 59
162.56/164.06	c current bound: 59
162.93/164.43	c current bound: 59
163.32/164.81	c current bound: 59
163.68/165.33	c current bound: 59
164.06/165.71	c current bound: 59
164.54/166.08	c current bound: 59
164.82/166.45	c current bound: 59
165.19/166.83	c current bound: 59
165.65/167.20	c current bound: 59
165.95/167.57	c current bound: 59
166.31/167.95	c current bound: 59
166.84/168.33	c current bound: 59
167.24/168.70	c current bound: 59
167.44/169.08	c current bound: 59
167.94/169.45	c current bound: 59
168.18/169.82	c current bound: 59
168.55/170.33	c current bound: 59
168.94/170.72	c current bound: 59
169.50/171.10	c current bound: 59
169.69/171.47	c current bound: 59
170.06/171.85	c current bound: 59
170.43/172.22	c current bound: 59
170.81/172.59	c current bound: 59
171.18/172.97	c current bound: 59
171.56/173.34	c current bound: 59
172.10/173.71	c current bound: 59
172.31/174.09	c current bound: 59
172.69/174.46	c current bound: 59
173.20/174.84	c current bound: 59
173.43/175.28	c current bound: 59
173.80/175.66	c current bound: 59
174.33/176.05	c current bound: 59
174.58/176.43	c current bound: 59
174.96/176.81	c current bound: 59
175.33/177.19	c current bound: 59
175.73/177.58	c current bound: 59
176.10/177.96	c current bound: 59
176.50/178.34	c current bound: 59
176.86/178.72	c current bound: 59
177.25/179.11	c current bound: 59
177.64/179.49	c current bound: 59
178.02/179.88	c current bound: 59
178.41/180.28	c current bound: 59
178.77/180.66	c current bound: 59
179.16/181.04	c current bound: 59
179.70/181.42	c current bound: 59
179.93/181.80	c current bound: 59
180.31/182.19	c current bound: 59
180.80/182.57	c current bound: 59
181.07/182.95	c current bound: 59
181.45/183.33	c current bound: 59
181.99/183.72	c current bound: 59
182.41/184.10	c current bound: 59
182.61/184.48	c current bound: 59
183.10/184.88	c current bound: 59
183.58/185.31	c current bound: 59
183.78/185.69	c current bound: 59
184.16/186.07	c current bound: 59
184.55/186.46	c current bound: 59
184.92/186.84	c current bound: 59
185.30/187.22	c current bound: 59
185.89/187.60	c current bound: 59
186.07/187.98	c current bound: 59
186.44/188.36	c current bound: 59
186.84/188.74	c current bound: 59
187.38/189.12	c current bound: 59
187.60/189.50	c current bound: 59
187.97/189.89	c current bound: 59
188.55/190.33	c current bound: 59
188.75/190.72	c current bound: 59
189.33/191.10	c current bound: 59
189.61/191.48	c current bound: 59
189.90/191.86	c current bound: 59
190.28/192.25	c current bound: 59
190.66/192.63	c current bound: 59
191.05/193.01	c current bound: 59
191.44/193.39	c current bound: 59
191.80/193.78	c current bound: 59
192.19/194.16	c current bound: 59
192.57/194.53	c current bound: 59
192.96/194.93	c current bound: 59
193.34/195.34	c current bound: 59
193.87/195.73	c current bound: 59
194.10/196.11	c current bound: 59
194.69/196.50	c current bound: 59
195.00/196.88	c current bound: 59
195.27/197.26	c current bound: 59
195.65/197.64	c current bound: 59
196.19/198.02	c current bound: 59
196.60/198.40	c current bound: 59
196.79/198.78	c current bound: 59
197.29/199.17	c current bound: 59
197.55/199.55	c current bound: 59
197.94/199.93	c current bound: 59
198.33/200.34	c current bound: 59
198.69/200.72	c current bound: 59
199.27/201.10	c current bound: 59
199.45/201.48	c current bound: 59
199.83/201.86	c current bound: 59
200.22/202.24	c current bound: 59
200.61/202.62	c current bound: 59
200.98/203.00	c current bound: 59
201.37/203.38	c current bound: 59
201.75/203.76	c current bound: 59
202.14/204.15	c current bound: 59
202.67/204.53	c current bound: 59
202.91/204.91	c current bound: 59
203.29/205.44	c current bound: 59
203.68/205.82	c current bound: 59
204.25/206.20	c current bound: 59
204.43/206.58	c current bound: 59
204.81/206.96	c current bound: 59
205.20/207.34	c current bound: 59
205.59/207.73	c current bound: 59
205.97/208.11	c current bound: 59
206.35/208.49	c current bound: 59
206.74/208.87	c current bound: 59
207.13/209.26	c current bound: 59
207.51/209.64	c current bound: 59
208.06/210.03	c current bound: 59
208.29/210.41	c current bound: 59
208.68/210.79	c current bound: 59
209.16/211.17	c current bound: 59
209.42/211.55	c current bound: 59
209.81/211.93	c current bound: 59
210.37/212.32	c current bound: 59
210.77/212.70	c current bound: 59
210.96/213.08	c current bound: 59
211.47/213.46	c current bound: 59
211.73/213.84	c current bound: 59
212.11/214.22	c current bound: 59
212.50/214.60	c current bound: 59
212.88/214.99	c current bound: 59
213.45/215.42	c current bound: 59
213.63/215.80	c current bound: 59
214.01/216.18	c current bound: 59
214.40/216.56	c current bound: 59
214.77/216.95	c current bound: 59
215.16/217.33	c current bound: 59
215.72/217.72	c current bound: 59
216.12/218.10	c current bound: 59
216.31/218.48	c current bound: 59
216.80/218.86	c current bound: 59
217.07/219.24	c current bound: 59
217.46/219.62	c current bound: 59
218.02/220.01	c current bound: 59
218.42/220.45	c current bound: 59
218.60/220.84	c current bound: 59
219.00/221.22	c current bound: 59
219.38/221.61	c current bound: 59
219.77/221.99	c current bound: 59
220.15/222.37	c current bound: 59
220.53/222.76	c current bound: 59
220.92/223.14	c current bound: 59
221.30/223.52	c current bound: 59
221.89/223.90	c current bound: 59
222.07/224.28	c current bound: 59
222.46/224.66	c current bound: 59
222.83/225.04	c current bound: 59
223.38/225.47	c current bound: 59
223.61/225.85	c current bound: 59
223.98/226.23	c current bound: 59
224.54/226.62	c current bound: 59
224.77/227.00	c current bound: 59
225.15/227.38	c current bound: 59
225.64/227.76	c current bound: 59
225.89/228.14	c current bound: 59
226.29/228.52	c current bound: 59
226.67/228.91	c current bound: 59
227.05/229.29	c current bound: 59
227.43/229.67	c current bound: 59
227.82/230.05	c current bound: 59
228.20/230.55	c current bound: 59
228.74/230.93	c current bound: 59
228.96/231.31	c current bound: 59
229.36/231.69	c current bound: 59
229.83/232.08	c current bound: 59
230.11/232.46	c current bound: 59
230.51/232.85	c current bound: 59
231.04/233.23	c current bound: 59
231.27/233.61	c current bound: 59
231.66/233.99	c current bound: 59
232.14/234.39	c current bound: 59
232.44/234.77	c current bound: 59
232.81/235.15	c current bound: 59
233.20/235.53	c current bound: 59
233.59/235.91	c current bound: 59
233.96/236.29	c current bound: 59
234.35/236.68	c current bound: 59
234.73/237.06	c current bound: 59
235.13/237.44	c current bound: 59
235.49/237.82	c current bound: 59
235.88/238.21	c current bound: 59
236.27/238.59	c current bound: 59
236.66/238.98	c current bound: 59
237.04/239.36	c current bound: 59
237.56/239.75	c current bound: 59
237.81/240.13	c current bound: 59
238.19/240.51	c current bound: 59
238.66/240.90	c current bound: 59
238.96/241.28	c current bound: 59
239.33/241.66	c current bound: 59
239.87/242.04	c current bound: 59
240.09/242.42	c current bound: 59
240.48/242.81	c current bound: 59
241.06/243.21	c current bound: 59
241.26/243.59	c current bound: 59
241.63/243.97	c current bound: 59
242.02/244.35	c current bound: 59
242.40/244.73	c current bound: 59
242.79/245.11	c current bound: 59
243.35/245.51	c current bound: 59
243.53/245.89	c current bound: 59
243.92/246.27	c current bound: 59
244.29/246.65	c current bound: 59
244.68/247.03	c current bound: 59
245.23/247.42	c current bound: 59
245.63/247.80	c current bound: 59
245.83/248.18	c current bound: 59
246.32/248.56	c current bound: 59
246.59/248.95	c current bound: 59
246.99/249.33	c current bound: 59
247.52/249.73	c current bound: 59
247.75/250.11	c current bound: 59
248.33/250.55	c current bound: 59
248.53/250.93	c current bound: 59
248.90/251.31	c current bound: 59
249.47/251.70	c current bound: 59
249.68/252.08	c current bound: 59
250.05/252.46	c current bound: 59
250.43/252.84	c current bound: 59
250.81/253.22	c current bound: 59
251.19/253.60	c current bound: 59
251.57/253.99	c current bound: 59
251.95/254.37	c current bound: 59
252.33/254.75	c current bound: 59
252.87/255.13	c current bound: 59
253.09/255.55	c current bound: 59
253.48/255.93	c current bound: 59
254.02/256.32	c current bound: 59
254.44/256.70	c current bound: 59
254.64/257.08	c current bound: 59
255.15/257.48	c current bound: 59
255.41/257.86	c current bound: 59
255.79/258.24	c current bound: 59
256.17/258.62	c current bound: 59
256.76/259.00	c current bound: 59
256.94/259.38	c current bound: 59
257.33/259.76	c current bound: 59
257.72/260.15	c current bound: 59
258.09/260.56	c current bound: 59
258.49/260.94	c current bound: 59
258.86/261.33	c current bound: 59
259.43/261.71	c current bound: 59
259.64/262.09	c current bound: 59
260.02/262.47	c current bound: 59
260.52/262.87	c current bound: 59
260.79/263.25	c current bound: 59
261.17/263.63	c current bound: 59
261.72/264.02	c current bound: 59
262.15/264.40	c current bound: 59
262.34/264.78	c current bound: 59
262.84/265.17	c current bound: 59
263.10/265.58	c current bound: 59
263.48/265.96	c current bound: 59
263.86/266.34	c current bound: 59
264.25/266.72	c current bound: 59
264.63/267.09	c current bound: 59
265.02/267.48	c current bound: 59
265.39/267.85	c current bound: 59
265.77/268.23	c current bound: 59
266.14/268.61	c current bound: 59
266.53/268.99	c current bound: 59
266.91/269.37	c current bound: 59
267.31/269.75	c current bound: 59
267.68/270.13	c current bound: 59
268.22/270.67	c current bound: 59
268.43/271.05	c current bound: 59
268.83/271.44	c current bound: 59
269.21/271.82	c current bound: 59
269.78/272.20	c current bound: 59
269.97/272.58	c current bound: 59
270.36/272.96	c current bound: 59
270.74/273.34	c current bound: 59
271.13/273.73	c current bound: 59
271.52/274.11	c current bound: 59
272.10/274.50	c current bound: 59
272.30/274.88	c current bound: 59
272.67/275.26	c current bound: 59
273.05/275.64	c current bound: 59
273.60/276.02	c current bound: 59
274.00/276.40	c current bound: 59
274.21/276.78	c current bound: 59
274.71/277.18	c current bound: 59
274.96/277.56	c current bound: 59
275.35/277.94	c current bound: 59
275.90/278.35	c current bound: 59
276.15/278.73	c current bound: 59
276.53/279.11	c current bound: 59
276.91/279.49	c current bound: 59
277.29/279.87	c current bound: 59
277.68/280.26	c current bound: 59
278.05/280.67	c current bound: 59
278.44/281.04	c current bound: 59
278.81/281.43	c current bound: 59
279.20/281.81	c current bound: 59
279.58/282.19	c current bound: 59
279.97/282.57	c current bound: 59
280.35/282.95	c current bound: 59
280.73/283.33	c current bound: 59
281.28/283.71	c current bound: 59
281.50/284.09	c current bound: 59
281.88/284.47	c current bound: 59
282.38/284.86	c current bound: 59
282.65/285.24	c current bound: 59
283.23/285.72	c current bound: 59
283.40/286.11	c current bound: 59
283.80/286.49	c current bound: 59
284.19/286.87	c current bound: 59
284.58/287.25	c current bound: 59
284.95/287.64	c current bound: 59
285.34/288.02	c current bound: 59
285.92/288.40	c current bound: 59
286.11/288.78	c current bound: 59
286.49/289.17	c current bound: 59
286.87/289.55	c current bound: 59
287.26/289.93	c current bound: 59
287.81/290.32	c current bound: 59
288.21/290.71	c current bound: 59
288.41/291.09	c current bound: 59
288.90/291.47	c current bound: 59
289.16/291.85	c current bound: 59
289.54/292.23	c current bound: 59
290.10/292.62	c current bound: 59
290.51/293.00	c current bound: 59
290.69/293.38	c current bound: 59
291.20/293.78	c current bound: 59
291.48/294.16	c current bound: 59
291.85/294.54	c current bound: 59
292.24/294.92	c current bound: 59
292.62/295.30	c current bound: 59
293.20/295.82	c current bound: 59
293.58/296.20	c current bound: 59
293.77/296.57	c current bound: 59
294.28/296.96	c current bound: 59
294.54/297.34	c current bound: 59
294.91/297.72	c current bound: 59
295.37/298.10	c current bound: 59
295.68/298.48	c current bound: 59
296.06/298.86	c current bound: 59
296.57/299.25	c current bound: 59
296.83/299.63	c current bound: 59
297.19/300.01	c current bound: 59
297.58/300.39	c current bound: 59
298.16/300.84	c current bound: 59
298.34/301.21	c current bound: 59
298.71/301.59	c current bound: 59
299.10/301.97	c current bound: 59
299.48/302.37	c current bound: 59
299.88/302.75	c current bound: 59
300.26/303.13	c current bound: 59
300.82/303.51	c current bound: 59
301.02/303.91	c current bound: 59
301.42/304.29	c current bound: 59
301.91/304.68	c current bound: 59
302.20/305.06	c current bound: 59
302.58/305.44	c current bound: 59
303.10/305.83	c current bound: 59
303.34/306.21	c current bound: 59
303.71/306.59	c current bound: 59
304.21/306.99	c current bound: 59
304.50/307.37	c current bound: 59
304.88/307.76	c current bound: 59
305.28/308.14	c current bound: 59
305.66/308.52	c current bound: 59
306.24/308.90	c current bound: 59
306.43/309.28	c current bound: 59
306.82/309.66	c current bound: 59
307.20/310.04	c current bound: 59
307.58/310.43	c current bound: 59
307.98/310.88	c current bound: 59
308.48/311.26	c current bound: 59
308.74/311.64	c current bound: 59
309.12/312.02	c current bound: 59
309.69/312.41	c current bound: 59
309.90/312.79	c current bound: 59
310.28/313.17	c current bound: 59
310.80/313.56	c current bound: 59
311.04/313.94	c current bound: 59
311.43/314.32	c current bound: 59
312.00/314.70	c current bound: 59
312.19/315.08	c current bound: 59
312.57/315.46	c current bound: 59
312.95/315.97	c current bound: 59
313.33/316.35	c current bound: 59
313.85/316.74	c current bound: 59
314.11/317.12	c current bound: 59
314.69/317.50	c current bound: 59
314.97/317.89	c current bound: 59
315.25/318.27	c current bound: 59
315.64/318.65	c current bound: 59
316.18/319.03	c current bound: 59
316.41/319.41	c current bound: 59
316.81/319.79	c current bound: 59
317.28/320.18	c current bound: 59
317.56/320.56	c current bound: 59
317.95/320.94	c current bound: 59
318.32/321.32	c current bound: 59
318.72/321.70	c current bound: 59
319.09/322.08	c current bound: 59
319.47/322.46	c current bound: 59
319.86/322.84	c current bound: 59
320.23/323.22	c current bound: 59
320.81/323.60	c current bound: 59
320.99/323.98	c current bound: 59
321.36/324.36	c current bound: 59
321.75/324.75	c current bound: 59
322.14/325.13	c current bound: 59
322.70/325.51	c current bound: 59
323.10/325.95	c current bound: 59
323.29/326.33	c current bound: 59
323.84/326.72	c current bound: 59
324.24/327.10	c current bound: 59
324.43/327.48	c current bound: 59
324.93/327.88	c current bound: 59
325.22/328.26	c current bound: 59
325.60/328.64	c current bound: 59
325.98/329.02	c current bound: 59
326.54/329.40	c current bound: 59
326.74/329.78	c current bound: 59
327.13/330.16	c current bound: 59
327.50/330.54	c current bound: 59
327.88/330.98	c current bound: 59
328.26/331.36	c current bound: 59
328.65/331.74	c current bound: 59
329.19/332.13	c current bound: 59
329.44/332.51	c current bound: 59
329.81/332.89	c current bound: 59
330.30/333.28	c current bound: 59
330.58/333.66	c current bound: 59
330.98/334.05	c current bound: 59
331.50/334.44	c current bound: 59
331.74/334.83	c current bound: 59
332.13/335.21	c current bound: 59
332.52/335.59	c current bound: 59
332.89/335.99	c current bound: 59
333.27/336.38	c current bound: 59
333.65/336.75	c current bound: 59
334.03/337.13	c current bound: 59
334.40/337.51	c current bound: 59
334.79/337.89	c current bound: 59
335.18/338.27	c current bound: 59
335.54/338.65	c current bound: 59
335.93/339.03	c current bound: 59
336.31/339.41	c current bound: 59
336.70/339.79	c current bound: 59
337.08/340.18	c current bound: 59
337.46/340.58	c current bound: 59
338.02/341.04	c current bound: 59
338.23/341.44	c current bound: 59
338.62/341.83	c current bound: 59
339.02/342.23	c current bound: 59
339.42/342.64	c current bound: 59
339.84/343.03	c current bound: 59
340.21/343.43	c current bound: 59
340.61/343.83	c current bound: 59
341.20/344.22	c current bound: 59
341.41/344.62	c current bound: 59
341.81/345.02	c current bound: 59
342.41/345.41	c current bound: 59
342.61/345.81	c current bound: 59
343.21/346.20	c current bound: 59
343.60/346.60	c current bound: 59
343.80/346.99	c current bound: 59
344.18/347.39	c current bound: 59
344.59/347.79	c current bound: 59
344.99/348.16	c current bound: 59
345.36/348.56	c current bound: 59
345.75/348.96	c current bound: 59
346.15/349.35	c current bound: 59
346.71/349.75	c current bound: 59
346.95/350.14	c current bound: 59
347.34/350.54	c current bound: 59
347.91/350.93	c current bound: 59
348.12/351.35	c current bound: 59
348.53/351.75	c current bound: 59
348.92/352.14	c current bound: 59
349.32/352.54	c current bound: 59
349.72/352.93	c current bound: 59
350.12/353.33	c current bound: 59
350.53/353.73	c current bound: 59
351.10/354.13	c current bound: 59
351.32/354.52	c current bound: 59
351.71/354.92	c current bound: 59
352.30/355.31	c current bound: 59
352.50/355.69	c current bound: 59
353.09/356.10	c current bound: 59
353.49/356.50	c current bound: 59
353.67/356.89	c current bound: 59
354.06/357.29	c current bound: 59
354.46/357.68	c current bound: 59
354.86/358.08	c current bound: 59
355.26/358.45	c current bound: 59
355.64/358.86	c current bound: 59
356.03/359.23	c current bound: 59
356.58/359.62	c current bound: 59
356.80/360.01	c current bound: 59
357.21/360.41	c current bound: 59
357.80/360.80	c current bound: 59
358.19/361.20	c current bound: 59
358.59/361.60	c current bound: 59
358.99/362.00	c current bound: 59
359.19/362.39	c current bound: 59
359.59/362.79	c current bound: 59
359.96/363.18	c current bound: 59
360.36/363.58	c current bound: 59
360.76/363.97	c current bound: 59
361.17/364.37	c current bound: 59
361.56/364.76	c current bound: 59
362.11/365.16	c current bound: 59
362.35/365.55	c current bound: 59
362.74/365.95	c current bound: 59
363.34/366.40	c current bound: 59
363.74/366.80	c current bound: 59
363.94/367.19	c current bound: 59
364.32/367.59	c current bound: 59
364.73/367.99	c current bound: 59
365.12/368.38	c current bound: 59
365.52/368.79	c current bound: 59
365.93/369.18	c current bound: 59
366.43/369.58	c current bound: 59
366.72/369.98	c current bound: 59
367.11/370.35	c current bound: 59
367.65/370.74	c current bound: 59
367.87/371.14	c current bound: 59
368.27/371.54	c current bound: 59
368.68/371.91	c current bound: 59
369.06/372.31	c current bound: 59
369.44/372.70	c current bound: 59
370.06/373.10	c current bound: 59
370.44/373.50	c current bound: 59
370.63/373.90	c current bound: 59
371.03/374.29	c current bound: 59
371.42/374.68	c current bound: 59
371.95/375.08	c current bound: 59
372.22/375.48	c current bound: 59
372.62/375.87	c current bound: 59
373.15/376.27	c current bound: 59
373.40/376.67	c current bound: 59
373.80/377.06	c current bound: 59
374.19/377.46	c current bound: 59
374.59/377.85	c current bound: 59
374.99/378.22	c current bound: 59
375.37/378.61	c current bound: 59
375.96/379.00	c current bound: 59
376.12/379.40	c current bound: 59
376.53/379.79	c current bound: 59
376.93/380.19	c current bound: 59
377.44/380.59	c current bound: 59
377.72/380.98	c current bound: 59
378.12/381.39	c current bound: 59
378.61/381.79	c current bound: 59
378.89/382.19	c current bound: 59
379.29/382.58	c current bound: 59
379.69/382.98	c current bound: 59
380.08/383.38	c current bound: 59
380.48/383.77	c current bound: 59
380.88/384.14	c current bound: 59
381.25/384.54	c current bound: 59
381.82/384.94	c current bound: 59
382.05/385.34	c current bound: 59
382.44/385.73	c current bound: 59
383.03/386.15	c current bound: 59
383.24/386.52	c current bound: 59
383.61/386.92	c current bound: 59
384.20/387.30	c current bound: 59
384.61/387.70	c current bound: 59
384.79/388.09	c current bound: 59
385.18/388.49	c current bound: 59
385.58/388.89	c current bound: 59
385.99/389.29	c current bound: 59
386.40/389.69	c current bound: 59
386.78/390.08	c current bound: 59
387.30/390.46	c current bound: 59
387.56/390.86	c current bound: 59
387.96/391.24	c current bound: 59
388.50/391.63	c current bound: 59
388.73/392.01	c current bound: 59
389.10/392.38	c current bound: 59
389.60/392.78	c current bound: 59
389.88/393.17	c current bound: 59
390.26/393.54	c current bound: 59
390.64/393.94	c current bound: 59
391.04/394.34	c current bound: 59
391.43/394.74	c current bound: 59
391.82/395.13	c current bound: 59
392.22/395.52	c current bound: 59
392.80/395.92	c current bound: 59
393.03/396.31	c current bound: 59
393.39/396.71	c current bound: 59
394.01/397.11	c current bound: 59
394.20/397.48	c current bound: 59
394.57/397.87	c current bound: 59
395.11/398.28	c current bound: 59
395.38/398.68	c current bound: 59
395.77/399.07	c current bound: 59
396.17/399.47	c current bound: 59
396.57/399.86	c current bound: 59
396.96/400.26	c current bound: 59
397.37/400.65	c current bound: 59
397.75/401.05	c current bound: 59
398.31/401.44	c current bound: 59
398.55/401.84	c current bound: 59
398.93/402.23	c current bound: 59
399.51/402.63	c current bound: 59
399.93/403.00	c current bound: 59
400.31/403.40	c current bound: 59
400.61/403.79	c current bound: 59
400.91/404.19	c current bound: 59
401.29/404.59	c current bound: 59
401.70/404.98	c current bound: 59
402.08/405.36	c current bound: 59
402.46/405.76	c current bound: 59
402.86/406.28	c current bound: 59
403.27/406.67	c current bound: 59
403.79/407.07	c current bound: 59
404.06/407.46	c current bound: 59
404.45/407.86	c current bound: 59
404.85/408.25	c current bound: 59
405.25/408.65	c current bound: 59
405.65/409.04	c current bound: 59
406.03/409.44	c current bound: 59
406.43/409.83	c current bound: 59
407.00/410.23	c current bound: 59
407.23/410.62	c current bound: 59
407.62/411.02	c current bound: 59
408.21/411.42	c current bound: 59
408.41/411.82	c current bound: 59
408.81/412.21	c current bound: 59
409.40/412.61	c current bound: 59
409.62/413.01	c current bound: 59
410.02/413.41	c current bound: 59
410.40/413.81	c current bound: 59
411.01/414.20	c current bound: 59
411.42/414.60	c current bound: 59
411.61/415.00	c current bound: 59
412.00/415.39	c current bound: 59
412.51/415.79	c current bound: 59
412.99/416.25	c current bound: 59
413.19/416.64	c current bound: 59
413.58/417.04	c current bound: 59
413.97/417.43	c current bound: 59
414.36/417.83	c current bound: 59
414.76/418.22	c current bound: 59
415.15/418.61	c current bound: 59
415.76/419.01	c current bound: 59
416.16/419.40	c current bound: 59
416.35/419.80	c current bound: 59
416.85/420.19	c current bound: 59
417.14/420.57	c current bound: 59
417.51/420.94	c current bound: 59
418.05/421.34	c current bound: 59
418.28/421.74	c current bound: 59
418.68/422.13	c current bound: 59
419.07/422.53	c current bound: 59
419.47/422.92	c current bound: 59
419.87/423.32	c current bound: 59
420.26/423.71	c current bound: 59
420.65/424.11	c current bound: 59
421.05/424.50	c current bound: 59
421.44/424.89	c current bound: 59
421.84/425.29	c current bound: 59
422.36/425.68	c current bound: 59
422.63/426.08	c current bound: 59
423.03/426.47	c current bound: 59
423.55/426.88	c current bound: 59
423.82/427.28	c current bound: 59
424.23/427.65	c current bound: 59
424.60/428.05	c current bound: 59
425.00/428.45	c current bound: 59
425.41/428.84	c current bound: 59
425.80/429.23	c current bound: 59
426.19/429.63	c current bound: 59
426.77/430.03	c current bound: 59
426.99/430.42	c current bound: 59
427.38/430.81	c current bound: 59
427.98/431.32	c current bound: 59
428.16/431.72	c current bound: 59
428.56/432.11	c current bound: 59
428.96/432.51	c current bound: 59
429.57/432.90	c current bound: 59
429.74/433.30	c current bound: 59
430.14/433.71	c current bound: 59
430.76/434.10	c current bound: 59
431.07/434.49	c current bound: 59
431.33/434.88	c current bound: 59
431.72/435.27	c current bound: 59
432.24/435.65	c current bound: 59
432.48/436.04	c current bound: 59
432.88/436.44	c current bound: 59
433.27/436.83	c current bound: 59
433.67/437.23	c current bound: 59
434.07/437.63	c current bound: 59
434.46/438.02	c current bound: 59
434.86/438.42	c current bound: 59
435.44/438.81	c current bound: 59
435.66/439.21	c current bound: 59
436.05/439.61	c current bound: 59
436.66/440.00	c current bound: 59
437.07/440.40	c current bound: 59
437.24/440.79	c current bound: 59
437.77/441.18	c current bound: 59
438.03/441.61	c current bound: 59
438.44/442.01	c current bound: 59
439.04/442.40	c current bound: 59
439.45/442.80	c current bound: 59
439.62/443.19	c current bound: 59
440.02/443.59	c current bound: 59
440.42/443.98	c current bound: 59
440.94/444.38	c current bound: 59
441.20/444.78	c current bound: 59
441.60/445.17	c current bound: 59
442.13/445.57	c current bound: 59
442.40/445.96	c current bound: 59
442.79/446.36	c current bound: 59
443.18/446.75	c current bound: 59
443.58/447.13	c current bound: 59
443.96/447.52	c current bound: 59
444.35/447.91	c current bound: 59
444.74/448.31	c current bound: 59
445.36/448.70	c current bound: 59
445.77/449.10	c current bound: 59
445.93/449.50	c current bound: 59
446.44/449.89	c current bound: 59
446.73/450.29	c current bound: 59
447.13/450.68	c current bound: 59
447.65/451.07	c current bound: 59
447.93/451.47	c current bound: 59
448.32/451.86	c current bound: 59
448.71/452.26	c current bound: 59
449.11/452.65	c current bound: 59
449.50/453.05	c current bound: 59
449.90/453.44	c current bound: 59
450.30/453.84	c current bound: 59
450.86/454.23	c current bound: 59
451.09/454.63	c current bound: 59
451.48/455.02	c current bound: 59
452.07/455.40	c current bound: 59
452.46/455.80	c current bound: 59
452.65/456.19	c current bound: 59
453.05/456.59	c current bound: 59
453.43/456.99	c current bound: 59
453.83/457.38	c current bound: 59
454.22/457.78	c current bound: 59
454.62/458.17	c current bound: 59
455.00/458.56	c current bound: 59
455.39/458.96	c current bound: 59
455.79/459.35	c current bound: 59
456.35/459.75	c current bound: 59
456.59/460.14	c current bound: 59
456.98/460.54	c current bound: 59
457.54/460.93	c current bound: 59
457.77/461.37	c current bound: 59
458.16/461.76	c current bound: 59
458.56/462.16	c current bound: 59
458.96/462.56	c current bound: 59
459.36/462.95	c current bound: 59
459.75/463.35	c current bound: 59
460.15/463.75	c current bound: 59
460.70/464.15	c current bound: 59
460.95/464.54	c current bound: 59
461.35/464.93	c current bound: 59
461.92/465.32	c current bound: 59
462.12/465.71	c current bound: 59
462.51/466.11	c current bound: 59
463.01/466.49	c current bound: 59
463.29/466.89	c current bound: 59
463.70/467.28	c current bound: 59
464.09/467.68	c current bound: 59
464.49/468.07	c current bound: 59
464.87/468.47	c current bound: 59
465.27/468.86	c current bound: 59
465.67/469.26	c current bound: 59
466.22/469.63	c current bound: 59
466.44/470.03	c current bound: 59
466.83/470.42	c current bound: 59
467.42/470.81	c current bound: 59
467.63/471.21	c current bound: 59
468.01/471.65	c current bound: 59
468.42/472.05	c current bound: 59
468.82/472.44	c current bound: 59
469.21/472.83	c current bound: 59
469.59/473.23	c current bound: 59
470.00/473.62	c current bound: 59
470.58/474.02	c current bound: 59
470.79/474.42	c current bound: 59
471.20/474.81	c current bound: 59
471.80/475.22	c current bound: 59
472.00/475.62	c current bound: 59
472.41/476.02	c current bound: 59
472.81/476.39	c current bound: 59
473.17/476.79	c current bound: 59
473.57/477.19	c current bound: 59
473.98/477.59	c current bound: 59
474.37/477.98	c current bound: 59
474.78/478.37	c current bound: 59
475.17/478.77	c current bound: 59
475.56/479.16	c current bound: 59
476.10/479.56	c current bound: 59
476.36/479.95	c current bound: 59
476.75/480.35	c current bound: 59
477.31/480.75	c current bound: 59
477.55/481.14	c current bound: 59
477.94/481.53	c current bound: 59
478.33/481.93	c current bound: 59
478.73/482.33	c current bound: 59
479.13/482.72	c current bound: 59
479.53/483.12	c current bound: 59
479.92/483.51	c current bound: 59
480.53/483.91	c current bound: 59
480.71/484.31	c current bound: 59
481.31/484.70	c current bound: 59
481.61/485.09	c current bound: 59
481.90/485.49	c current bound: 59
482.29/485.88	c current bound: 59
482.82/486.28	c current bound: 59
483.30/486.70	c current bound: 59
483.48/487.09	c current bound: 59
483.87/487.49	c current bound: 59
484.27/487.88	c current bound: 59
484.66/488.28	c current bound: 59
485.06/488.68	c current bound: 59
485.46/489.08	c current bound: 59
485.99/489.47	c current bound: 59
486.25/489.87	c current bound: 59
486.65/490.26	c current bound: 59
487.18/490.66	c current bound: 59
487.43/491.05	c current bound: 59
487.83/491.43	c current bound: 59
488.21/491.82	c current bound: 59
488.61/492.22	c current bound: 59
489.00/492.61	c current bound: 59
489.41/493.01	c current bound: 59
489.80/493.41	c current bound: 59
490.41/493.81	c current bound: 59
490.59/494.20	c current bound: 59
490.99/494.58	c current bound: 59
491.50/494.97	c current bound: 59
491.77/495.37	c current bound: 59
492.15/495.77	c current bound: 59
492.70/496.16	c current bound: 59
492.94/496.55	c current bound: 59
493.34/496.95	c current bound: 59
493.74/497.34	c current bound: 59
494.13/497.74	c current bound: 59
494.54/498.14	c current bound: 59
494.92/498.54	c current bound: 59
495.32/498.93	c current bound: 59
495.88/499.33	c current bound: 59
496.11/499.70	c current bound: 59
496.70/500.10	c current bound: 59
497.00/500.49	c current bound: 59
497.28/500.89	c current bound: 59
497.68/501.29	c current bound: 59
498.07/501.72	c current bound: 59
498.46/502.12	c current bound: 59
498.87/502.51	c current bound: 59
499.26/502.91	c current bound: 59
499.65/503.32	c current bound: 59
500.27/503.72	c current bound: 59
500.46/504.12	c current bound: 59
500.86/504.51	c current bound: 59
501.47/504.91	c current bound: 59
501.65/505.30	c current bound: 59
502.26/505.70	c current bound: 59
502.66/506.10	c current bound: 59
502.85/506.50	c current bound: 59
503.24/506.89	c current bound: 59
503.65/507.29	c current bound: 59
504.03/507.68	c current bound: 59
504.42/508.08	c current bound: 59
504.82/508.47	c current bound: 59
505.22/508.87	c current bound: 59
505.76/509.24	c current bound: 59
506.00/509.64	c current bound: 59
506.40/510.03	c current bound: 59
506.97/510.43	c current bound: 59
507.19/510.82	c current bound: 59
507.57/511.22	c current bound: 59
507.96/511.60	c current bound: 59
508.34/511.99	c current bound: 59
508.74/512.38	c current bound: 59
509.14/512.78	c current bound: 59
509.53/513.17	c current bound: 59
509.92/513.57	c current bound: 59
510.32/513.96	c current bound: 59
510.72/514.36	c current bound: 59
511.26/514.76	c current bound: 59
511.51/515.15	c current bound: 59
511.91/515.55	c current bound: 59
512.46/515.94	c current bound: 59
512.69/516.31	c current bound: 59
513.06/516.72	c current bound: 59
513.47/517.09	c current bound: 59
513.84/517.48	c current bound: 59
514.24/517.88	c current bound: 59
514.64/518.28	c current bound: 59
515.03/518.68	c current bound: 59
515.42/519.07	c current bound: 59
515.83/519.45	c current bound: 59
516.21/519.84	c current bound: 59
516.76/520.22	c current bound: 59
516.98/520.62	c current bound: 59
517.38/521.01	c current bound: 59
517.98/521.54	c current bound: 59
518.16/521.93	c current bound: 59
518.56/522.33	c current bound: 59
518.96/522.72	c current bound: 59
519.34/523.12	c current bound: 59
519.93/523.52	c current bound: 59
520.15/523.91	c current bound: 59
520.54/524.32	c current bound: 59
521.14/524.73	c current bound: 59
521.35/525.12	c current bound: 59
521.75/525.53	c current bound: 59
522.16/525.93	c current bound: 59
522.56/526.32	c current bound: 59
522.95/526.72	c current bound: 59
523.35/527.11	c current bound: 59
523.75/527.51	c current bound: 59
524.36/527.91	c current bound: 59
524.55/528.30	c current bound: 59
525.16/528.70	c current bound: 59
525.43/529.09	c current bound: 59
525.73/529.49	c current bound: 59
526.13/529.86	c current bound: 59
526.65/530.26	c current bound: 59
526.90/530.66	c current bound: 59
527.30/531.05	c current bound: 59
527.87/531.50	c current bound: 59
528.29/531.90	c current bound: 59
528.48/532.30	c current bound: 59
528.87/532.69	c current bound: 59
529.27/533.09	c current bound: 59
529.78/533.46	c current bound: 59
530.03/533.85	c current bound: 59
530.42/534.25	c current bound: 59
530.98/534.64	c current bound: 59
531.23/535.04	c current bound: 59
531.62/535.43	c current bound: 59
532.01/535.83	c current bound: 59
532.41/536.22	c current bound: 59
532.80/536.61	c current bound: 59
533.20/536.98	c current bound: 59
533.56/537.38	c current bound: 59
533.96/537.77	c current bound: 59
534.36/538.17	c current bound: 59
534.76/538.56	c current bound: 59
535.30/538.96	c current bound: 59
535.55/539.36	c current bound: 59
535.95/539.75	c current bound: 59
536.50/540.15	c current bound: 59
536.74/540.54	c current bound: 59
537.14/540.94	c current bound: 59
537.54/541.34	c current bound: 59
537.94/541.73	c current bound: 59
538.34/542.13	c current bound: 59
538.73/542.50	c current bound: 59
539.32/542.90	c current bound: 59
539.50/543.29	c current bound: 59
540.11/543.70	c current bound: 59
540.51/544.10	c current bound: 59
540.80/544.47	c current bound: 59
541.07/544.87	c current bound: 59
541.48/545.26	c current bound: 59
542.01/545.68	c current bound: 59
542.24/546.08	c current bound: 59
542.65/546.60	c current bound: 59
543.26/547.00	c current bound: 59
543.66/547.40	c current bound: 59
543.95/547.80	c current bound: 59
544.24/548.19	c current bound: 59
544.64/548.58	c current bound: 59
545.16/548.98	c current bound: 59
545.42/549.37	c current bound: 59
545.82/549.77	c current bound: 59
546.22/550.17	c current bound: 59
546.62/550.57	c current bound: 59
547.02/550.94	c current bound: 59
547.39/551.32	c current bound: 59
547.77/551.71	c current bound: 59
548.57/552.11	c current bound: 59
548.56/552.50	c current bound: 59
549.17/552.90	c current bound: 59
549.46/553.30	c current bound: 59
549.75/553.67	c current bound: 59
550.12/554.07	c current bound: 59
550.67/554.46	c current bound: 59
550.91/554.86	c current bound: 59
551.32/555.26	c current bound: 59
551.72/555.65	c current bound: 59
552.11/556.04	c current bound: 59
552.50/556.44	c current bound: 59
552.90/556.86	c current bound: 59
553.29/557.25	c current bound: 59
553.85/557.65	c current bound: 59
554.10/558.02	c current bound: 59
554.47/558.41	c current bound: 59
555.08/558.80	c current bound: 59
555.45/559.20	c current bound: 59
555.65/559.59	c current bound: 59
556.15/559.99	c current bound: 59
556.44/560.38	c current bound: 59
556.84/560.76	c current bound: 59
557.22/561.13	c current bound: 59
557.80/561.61	c current bound: 59
558.17/562.01	c current bound: 59
558.38/562.41	c current bound: 59
558.77/562.81	c current bound: 59
559.38/563.20	c current bound: 59
559.58/563.58	c current bound: 59
559.95/563.97	c current bound: 59
560.47/564.37	c current bound: 59
560.74/564.77	c current bound: 59
561.14/565.16	c current bound: 59
561.53/565.56	c current bound: 59
561.93/565.95	c current bound: 59
562.32/566.33	c current bound: 59
562.69/566.73	c current bound: 59
563.10/567.12	c current bound: 59
563.67/567.51	c current bound: 59
563.89/567.89	c current bound: 59
564.26/568.27	c current bound: 59
564.79/568.66	c current bound: 59
565.04/569.06	c current bound: 59
565.44/569.46	c current bound: 59
566.00/569.85	c current bound: 59
566.24/570.23	c current bound: 59
566.61/570.62	c current bound: 59
567.20/571.00	c current bound: 59
567.39/571.39	c current bound: 59
567.77/571.79	c current bound: 59
568.17/572.18	c current bound: 59
568.58/572.58	c current bound: 59
568.96/572.98	c current bound: 59
569.37/573.37	c current bound: 59
569.77/573.77	c current bound: 59
570.30/574.17	c current bound: 59
570.56/574.57	c current bound: 59
570.96/574.96	c current bound: 59
571.51/575.36	c current bound: 59
571.76/575.75	c current bound: 59
572.15/576.14	c current bound: 59
572.75/576.62	c current bound: 59
572.93/577.01	c current bound: 59
573.53/577.41	c current bound: 59
573.93/577.80	c current bound: 59
574.33/578.20	c current bound: 59
574.63/578.59	c current bound: 59
574.91/578.98	c current bound: 59
575.30/579.38	c current bound: 59
575.83/579.77	c current bound: 59
576.09/580.17	c current bound: 59
576.49/580.57	c current bound: 59
576.90/580.96	c current bound: 59
577.28/581.36	c current bound: 59
577.69/581.76	c current bound: 59
578.08/582.15	c current bound: 59
578.49/582.55	c current bound: 59
579.02/582.94	c current bound: 59
579.28/583.34	c current bound: 59
579.68/583.71	c current bound: 59
580.26/584.11	c current bound: 59
580.65/584.50	c current bound: 59
581.05/584.90	c current bound: 59
581.45/585.30	c current bound: 59
581.63/585.69	c current bound: 59
582.02/586.09	c current bound: 59
582.41/586.48	c current bound: 59
582.80/586.94	c current bound: 59
583.39/587.33	c current bound: 59
583.61/587.73	c current bound: 59
584.00/588.12	c current bound: 59
584.58/588.52	c current bound: 59
584.79/588.89	c current bound: 59
585.15/589.29	c current bound: 59
585.68/589.69	c current bound: 59
585.96/590.09	c current bound: 59
586.36/590.48	c current bound: 59
586.75/590.87	c current bound: 59
587.14/591.27	c current bound: 59
587.53/591.68	c current bound: 59
587.94/592.07	c current bound: 59
588.33/592.48	c current bound: 59
588.87/592.88	c current bound: 59
589.14/593.27	c current bound: 59
589.54/593.67	c current bound: 59
590.09/594.06	c current bound: 59
590.33/594.45	c current bound: 59
590.72/594.85	c current bound: 59
591.12/595.25	c current bound: 59
591.52/595.64	c current bound: 59
591.91/596.01	c current bound: 59
592.29/596.42	c current bound: 59
592.71/596.81	c current bound: 59
593.30/597.20	c current bound: 59
593.70/597.60	c current bound: 59
594.08/598.00	c current bound: 59
594.38/598.38	c current bound: 59
594.65/598.77	c current bound: 59
595.04/599.17	c current bound: 59
595.58/599.56	c current bound: 59
595.83/599.96	c current bound: 59
596.22/600.35	c current bound: 59
596.61/600.72	c current bound: 59
596.98/601.12	c current bound: 59
597.38/601.51	c current bound: 59
597.77/601.95	c current bound: 59
598.16/602.34	c current bound: 59
598.72/602.74	c current bound: 59
598.94/603.14	c current bound: 59
599.34/603.53	c current bound: 59
599.92/603.92	c current bound: 59
600.33/604.30	c current bound: 59
600.52/604.69	c current bound: 59
601.03/605.08	c current bound: 59
601.31/605.48	c current bound: 59
601.70/605.87	c current bound: 59
602.09/606.27	c current bound: 59
602.50/606.67	c current bound: 59
602.89/607.07	c current bound: 59
603.29/607.46	c current bound: 59
603.68/607.85	c current bound: 59
604.24/608.25	c current bound: 59
604.46/608.64	c current bound: 59
604.87/609.04	c current bound: 59
605.45/609.43	c current bound: 59
605.66/609.82	c current bound: 59
606.25/610.20	c current bound: 59
606.53/610.59	c current bound: 59
606.82/610.99	c current bound: 59
607.22/611.38	c current bound: 59
607.62/611.78	c current bound: 59
608.01/612.17	c current bound: 59
608.41/612.57	c current bound: 59
608.81/612.98	c current bound: 59
609.23/613.37	c current bound: 59
609.75/613.77	c current bound: 59
610.01/614.17	c current bound: 59
610.41/614.56	c current bound: 59
610.94/614.96	c current bound: 59
611.20/615.35	c current bound: 59
611.59/615.75	c current bound: 59
612.00/616.15	c current bound: 59
612.39/616.54	c current bound: 59
612.80/616.93	c current bound: 59
613.18/617.33	c current bound: 59
613.57/617.72	c current bound: 59
614.16/618.12	c current bound: 59
614.37/618.51	c current bound: 59
614.77/618.90	c current bound: 59
615.27/619.30	c current bound: 59
615.77/619.70	c current bound: 59
615.94/620.09	c current bound: 59
616.46/620.48	c current bound: 59
616.74/620.88	c current bound: 59
617.13/621.27	c current bound: 59
617.74/621.74	c current bound: 59
617.91/622.14	c current bound: 59
618.47/622.51	c current bound: 59
618.68/622.91	c current bound: 59
619.28/623.30	c current bound: 59
619.58/623.69	c current bound: 59
619.86/624.09	c current bound: 59
620.25/624.46	c current bound: 59
620.79/624.86	c current bound: 59
621.04/625.25	c current bound: 59
621.44/625.65	c current bound: 59
621.82/626.04	c current bound: 59
622.22/626.43	c current bound: 59
622.62/626.83	c current bound: 59
623.01/627.23	c current bound: 59
623.60/627.60	c current bound: 59
623.78/628.00	c current bound: 59
624.40/628.40	c current bound: 59
624.60/628.79	c current bound: 59
625.10/629.19	c current bound: 59
625.39/629.58	c current bound: 59
625.79/629.97	c current bound: 59
626.30/630.35	c current bound: 59
626.56/630.75	c current bound: 59
626.95/631.14	c current bound: 59
627.34/631.53	c current bound: 59
627.75/631.93	c current bound: 59
628.14/632.33	c current bound: 59
628.72/632.70	c current bound: 59
628.91/633.09	c current bound: 59
629.30/633.49	c current bound: 59
629.70/633.89	c current bound: 59
630.09/634.26	c current bound: 59
630.62/634.67	c current bound: 59
630.87/635.06	c current bound: 59
631.27/635.46	c current bound: 59
631.82/635.85	c current bound: 59
632.05/636.25	c current bound: 59
632.45/636.64	c current bound: 59
632.85/637.06	c current bound: 59
633.24/637.45	c current bound: 59
633.64/637.84	c current bound: 59
634.02/638.24	c current bound: 59
634.41/638.63	c current bound: 59
634.99/639.03	c current bound: 59
635.22/639.42	c current bound: 59
635.61/639.81	c current bound: 59
636.20/640.21	c current bound: 59
636.60/640.60	c current bound: 59
637.01/641.00	c current bound: 59
637.29/641.39	c current bound: 59
637.58/641.79	c current bound: 59
637.96/642.18	c current bound: 59
638.36/642.58	c current bound: 59
638.77/642.97	c current bound: 59
639.16/643.37	c current bound: 59
639.56/643.76	c current bound: 59
639.95/644.14	c current bound: 59
640.49/644.53	c current bound: 59
640.73/644.92	c current bound: 59
641.12/645.32	c current bound: 59
641.70/645.72	c current bound: 59
641.91/646.12	c current bound: 59
642.30/646.51	c current bound: 59
642.70/646.90	c current bound: 59
643.31/647.30	c current bound: 59
643.49/647.67	c current bound: 59
643.87/648.06	c current bound: 59
644.27/648.46	c current bound: 59
644.67/648.85	c current bound: 59
645.05/649.25	c current bound: 59
645.45/649.64	c current bound: 59
646.01/650.04	c current bound: 59
646.25/650.43	c current bound: 59
646.65/650.83	c current bound: 59
647.22/651.23	c current bound: 59
647.45/651.62	c current bound: 59
647.83/652.03	c current bound: 59
648.24/652.43	c current bound: 59
648.64/652.82	c current bound: 59
649.03/653.22	c current bound: 59
649.43/653.59	c current bound: 59
649.81/653.99	c current bound: 59
650.21/654.38	c current bound: 59
650.60/654.77	c current bound: 59
651.00/655.17	c current bound: 59
651.53/655.56	c current bound: 59
651.78/655.96	c current bound: 59
652.19/656.35	c current bound: 59
652.74/656.79	c current bound: 59
652.97/657.19	c current bound: 59
653.36/657.56	c current bound: 59
653.73/657.94	c current bound: 59
654.11/658.33	c current bound: 59
654.50/658.72	c current bound: 59
655.09/659.10	c current bound: 59
655.28/659.49	c current bound: 59
655.67/659.89	c current bound: 59
656.06/660.29	c current bound: 59
656.46/660.66	c current bound: 59
657.00/661.04	c current bound: 59
657.23/661.44	c current bound: 59
657.63/661.83	c current bound: 59
658.20/662.22	c current bound: 59
658.40/662.62	c current bound: 59
658.81/663.01	c current bound: 59
659.37/663.41	c current bound: 59
659.80/663.80	c current bound: 59
660.20/664.20	c current bound: 59
660.39/664.59	c current bound: 59
660.79/664.99	c current bound: 59
661.19/665.38	c current bound: 59
661.57/665.78	c current bound: 59
661.97/666.18	c current bound: 59
662.51/666.57	c current bound: 59
662.77/666.97	c current bound: 59
663.17/667.36	c current bound: 59
663.72/667.76	c current bound: 59
663.96/668.15	c current bound: 59
664.35/668.54	c current bound: 59
664.75/668.94	c current bound: 59
665.14/669.34	c current bound: 59
665.55/669.74	c current bound: 59
665.95/670.14	c current bound: 59
666.34/670.54	c current bound: 59
666.93/670.91	c current bound: 59
667.13/671.30	c current bound: 59
667.73/671.70	c current bound: 59
668.07/672.15	c current bound: 59
668.30/672.54	c current bound: 59
668.70/672.94	c current bound: 59
669.10/673.33	c current bound: 59
669.49/673.73	c current bound: 59
669.88/674.12	c current bound: 59
670.29/674.53	c current bound: 59
670.68/674.92	c current bound: 59
671.08/675.30	c current bound: 59
671.47/675.69	c current bound: 59
671.86/676.09	c current bound: 59
672.37/676.48	c current bound: 59
672.65/676.88	c current bound: 59
673.04/677.27	c current bound: 59
673.58/677.66	c current bound: 59
673.83/678.05	c current bound: 59
674.23/678.46	c current bound: 59
674.63/678.85	c current bound: 59
675.03/679.24	c current bound: 59
675.43/679.64	c current bound: 59
675.81/680.04	c current bound: 59
676.20/680.43	c current bound: 59
676.78/680.82	c current bound: 59
677.00/681.21	c current bound: 59
677.39/681.61	c current bound: 59
677.89/682.00	c current bound: 59
678.18/682.39	c current bound: 59
678.57/682.79	c current bound: 59
679.10/683.18	c current bound: 59
679.37/683.57	c current bound: 59
679.76/683.95	c current bound: 59
680.13/684.34	c current bound: 59
680.53/684.74	c current bound: 59
680.92/685.13	c current bound: 59
681.32/685.53	c current bound: 59
681.71/685.93	c current bound: 59
682.29/686.32	c current bound: 59
682.51/686.72	c current bound: 59
682.91/687.14	c current bound: 59
683.48/687.53	c current bound: 59
683.70/687.92	c current bound: 59
684.09/688.31	c current bound: 59
684.67/688.71	c current bound: 59
684.88/689.11	c current bound: 59
685.29/689.50	c current bound: 59
685.89/689.90	c current bound: 59
686.08/690.29	c current bound: 59
686.46/690.69	c current bound: 59
686.86/691.08	c current bound: 59
687.26/691.48	c current bound: 59
687.79/691.88	c current bound: 59
688.06/692.27	c current bound: 59
688.45/692.66	c current bound: 59
688.98/693.06	c current bound: 59
689.23/693.45	c current bound: 59
689.62/693.85	c current bound: 59
690.03/694.25	c current bound: 59
690.42/694.64	c current bound: 59
690.82/695.04	c current bound: 59
691.22/695.43	c current bound: 59
691.60/695.83	c current bound: 59
692.19/696.23	c current bound: 59
692.42/696.62	c current bound: 59
692.79/696.99	c current bound: 59
693.29/697.39	c current bound: 59
693.57/697.79	c current bound: 59
693.96/698.18	c current bound: 59
694.50/698.58	c current bound: 59
694.76/698.98	c current bound: 59
695.16/699.35	c current bound: 59
695.53/699.75	c current bound: 59
695.92/700.12	c current bound: 59
696.30/700.51	c current bound: 59
696.70/700.91	c current bound: 59
697.08/701.31	c current bound: 59
697.49/701.70	c current bound: 59
697.88/702.09	c current bound: 59
698.28/702.49	c current bound: 59
698.79/702.88	c current bound: 59
699.06/703.28	c current bound: 59
699.47/703.67	c current bound: 59
700.00/704.06	c current bound: 59
700.26/704.46	c current bound: 59
700.64/704.85	c current bound: 59
701.04/705.25	c current bound: 59
701.44/705.64	c current bound: 59
701.84/706.04	c current bound: 59
702.23/706.43	c current bound: 59
702.64/706.88	c current bound: 59
703.14/707.27	c current bound: 59
703.40/707.66	c current bound: 59
703.80/708.06	c current bound: 59
704.36/708.45	c current bound: 59
704.58/708.84	c current bound: 59
704.97/709.24	c current bound: 59
705.37/709.63	c current bound: 59
705.76/710.03	c current bound: 59
706.35/710.40	c current bound: 59
706.75/710.80	c current bound: 59
706.93/711.19	c current bound: 59
707.33/711.59	c current bound: 59
707.71/711.98	c current bound: 59
708.12/712.38	c current bound: 59
708.65/712.77	c current bound: 59
708.91/713.17	c current bound: 59
709.32/713.57	c current bound: 59
709.85/713.96	c current bound: 59
710.10/714.36	c current bound: 59
710.50/714.75	c current bound: 59
710.89/715.14	c current bound: 59
711.30/715.54	c current bound: 59
711.68/715.93	c current bound: 59
712.09/716.33	c current bound: 59
712.49/716.72	c current bound: 59
713.05/717.14	c current bound: 59
713.28/717.53	c current bound: 59
713.85/717.90	c current bound: 59
714.14/718.29	c current bound: 59
714.42/718.69	c current bound: 59
714.83/719.08	c current bound: 59
715.33/719.46	c current bound: 59
715.60/719.86	c current bound: 59
716.00/720.25	c current bound: 59
716.60/720.70	c current bound: 59
717.00/721.10	c current bound: 59
717.18/721.49	c current bound: 59
717.57/721.92	c current bound: 59
717.98/722.32	c current bound: 59
718.57/722.72	c current bound: 59
718.77/723.11	c current bound: 59
719.17/723.50	c current bound: 59
719.78/723.90	c current bound: 59
720.17/724.30	c current bound: 59
720.36/724.69	c current bound: 59
720.76/725.10	c current bound: 59
721.16/725.49	c current bound: 59
721.55/725.89	c current bound: 59
721.95/726.29	c current bound: 59
722.36/726.69	c current bound: 59
722.88/727.08	c current bound: 59
723.14/727.47	c current bound: 59
723.54/727.87	c current bound: 59
724.08/728.25	c current bound: 59
724.33/728.65	c current bound: 59
724.72/729.02	c current bound: 59
725.10/729.39	c current bound: 59
725.47/729.79	c current bound: 59
725.87/730.18	c current bound: 59
726.25/730.57	c current bound: 59
726.65/730.97	c current bound: 59
727.06/731.37	c current bound: 59
727.45/731.76	c current bound: 59
727.86/732.17	c current bound: 59
728.40/732.57	c current bound: 59
728.65/732.94	c current bound: 59
729.02/733.34	c current bound: 59
729.60/733.73	c current bound: 59
729.82/734.13	c current bound: 59
730.22/734.53	c current bound: 59
730.62/734.93	c current bound: 59
731.02/735.32	c current bound: 59
731.42/735.72	c current bound: 59
731.81/736.11	c current bound: 59
732.21/736.51	c current bound: 59
732.82/736.96	c current bound: 59
732.99/737.35	c current bound: 59
733.39/737.75	c current bound: 59
733.94/738.14	c current bound: 59
734.19/738.55	c current bound: 59
734.60/738.94	c current bound: 59
734.99/739.33	c current bound: 59
735.39/739.73	c current bound: 59
735.78/740.13	c current bound: 59
736.17/740.51	c current bound: 59
736.56/740.92	c current bound: 59
737.16/741.32	c current bound: 59
737.36/741.72	c current bound: 59
737.76/742.11	c current bound: 59
738.27/742.48	c current bound: 59
738.53/742.88	c current bound: 59
738.93/743.27	c current bound: 59
739.46/743.67	c current bound: 59
739.71/744.07	c current bound: 59
740.11/744.46	c current bound: 59
740.52/744.86	c current bound: 59
740.90/745.25	c current bound: 59
741.31/745.65	c current bound: 59
741.71/746.06	c current bound: 59
742.12/746.45	c current bound: 59
742.68/746.85	c current bound: 59
742.90/747.27	c current bound: 59
743.30/747.67	c current bound: 59
743.83/748.06	c current bound: 59
744.09/748.44	c current bound: 59
744.48/748.84	c current bound: 59
744.87/749.23	c current bound: 59
745.27/749.63	c current bound: 59
745.68/750.03	c current bound: 59
746.06/750.42	c current bound: 59
746.45/750.82	c current bound: 59
747.04/751.21	c current bound: 59
747.24/751.58	c current bound: 59
747.61/752.01	c current bound: 59
748.23/752.40	c current bound: 59
748.61/752.80	c current bound: 59
748.80/753.19	c current bound: 59
749.33/753.59	c current bound: 59
749.60/753.96	c current bound: 59
749.97/754.36	c current bound: 59
750.37/754.75	c current bound: 59
750.78/755.15	c current bound: 59
751.16/755.54	c current bound: 59
751.57/755.93	c current bound: 59
751.94/756.33	c current bound: 59
752.52/756.72	c current bound: 59
752.74/757.12	c current bound: 59
753.14/757.51	c current bound: 59
753.74/757.91	c current bound: 59
753.93/758.30	c current bound: 59
754.55/758.70	c current bound: 59
754.94/759.10	c current bound: 59
755.11/759.49	c current bound: 59
755.50/759.89	c current bound: 59
755.92/760.28	c current bound: 59
756.31/760.68	c current bound: 59
756.70/761.07	c current bound: 59
757.10/761.47	c current bound: 59
757.50/761.87	c current bound: 59
758.04/762.26	c current bound: 59
758.28/762.65	c current bound: 59
758.67/763.05	c current bound: 59
759.24/763.44	c current bound: 59
759.47/763.81	c current bound: 59
759.83/764.21	c current bound: 59
760.42/764.61	c current bound: 59
760.64/765.01	c current bound: 59
761.24/765.40	c current bound: 59
761.64/765.80	c current bound: 59
762.05/766.20	c current bound: 59
762.22/766.59	c current bound: 59
762.63/766.99	c current bound: 59
763.02/767.41	c current bound: 59
763.63/767.80	c current bound: 59
764.03/768.20	c current bound: 59
764.20/768.59	c current bound: 59
764.72/768.97	c current bound: 59
764.98/769.36	c current bound: 59
765.38/769.76	c current bound: 59
765.78/770.16	c current bound: 59
766.18/770.55	c current bound: 59
766.57/770.95	c current bound: 59
766.96/771.35	c current bound: 59
767.36/771.74	c current bound: 59
767.92/772.15	c current bound: 59
768.16/772.54	c current bound: 59
768.56/772.92	c current bound: 59
769.12/773.31	c current bound: 59
769.33/773.71	c current bound: 59
769.73/774.10	c current bound: 59
770.22/774.48	c current bound: 59
770.49/774.88	c current bound: 59
770.90/775.27	c current bound: 59
771.29/775.67	c current bound: 59
771.69/776.06	c current bound: 59
772.08/776.44	c current bound: 59
772.46/776.83	c current bound: 59
772.86/777.23	c current bound: 59
773.44/777.62	c current bound: 59
773.65/778.02	c current bound: 59
774.05/778.42	c current bound: 59
774.63/778.81	c current bound: 59
774.84/779.21	c current bound: 59
775.23/779.61	c current bound: 59
775.82/780.00	c current bound: 59
776.24/780.40	c current bound: 59
776.42/780.79	c current bound: 59
776.83/781.19	c current bound: 59
777.22/781.58	c current bound: 59
777.61/781.98	c current bound: 59
778.01/782.37	c current bound: 59
778.40/782.77	c current bound: 59
778.95/783.16	c current bound: 59
779.21/783.56	c current bound: 59
779.59/783.96	c current bound: 59
780.15/784.35	c current bound: 59
780.39/784.72	c current bound: 59
780.76/785.12	c current bound: 59
781.15/785.49	c current bound: 59
781.53/785.88	c current bound: 59
781.92/786.28	c current bound: 59
782.31/786.68	c current bound: 59
782.72/787.05	c current bound: 59
783.09/787.44	c current bound: 59
783.49/787.86	c current bound: 59
783.90/788.25	c current bound: 59
784.45/788.65	c current bound: 59
784.69/789.04	c current bound: 59
785.09/789.44	c current bound: 59
785.64/789.84	c current bound: 59
785.88/790.23	c current bound: 59
786.28/790.63	c current bound: 59
786.68/791.02	c current bound: 59
787.07/791.42	c current bound: 59
787.46/791.81	c current bound: 59
787.87/792.25	c current bound: 59
788.26/792.64	c current bound: 59
788.82/793.02	c current bound: 59
789.02/793.41	c current bound: 59
789.41/793.79	c current bound: 59
789.92/794.18	c current bound: 59
790.20/794.58	c current bound: 59
790.60/794.97	c current bound: 59
791.11/795.37	c current bound: 59
791.37/795.77	c current bound: 59
791.77/796.16	c current bound: 59
792.17/796.56	c current bound: 59
792.56/796.95	c current bound: 59
792.95/797.36	c current bound: 59
793.35/797.76	c current bound: 59
793.74/798.13	c current bound: 59
794.31/798.52	c current bound: 59
794.51/798.92	c current bound: 59
794.91/799.32	c current bound: 59
795.41/799.69	c current bound: 59
795.68/800.06	c current bound: 59
796.06/800.45	c current bound: 59
796.60/800.85	c current bound: 59
796.83/801.24	c current bound: 59
797.24/801.64	c current bound: 59
797.63/802.04	c current bound: 59
798.03/802.44	c current bound: 59
798.44/802.83	c current bound: 59
798.83/803.23	c current bound: 59
799.23/803.63	c current bound: 59
799.81/804.02	c current bound: 59
800.02/804.42	c current bound: 59
800.42/804.81	c current bound: 59
801.03/805.20	c current bound: 59
801.21/805.59	c current bound: 59
801.60/805.99	c current bound: 59
802.20/806.40	c current bound: 59
802.64/806.80	c current bound: 59
802.80/807.19	c current bound: 59
803.20/807.58	c current bound: 59
803.60/807.98	c current bound: 59
803.99/808.38	c current bound: 59
804.40/808.79	c current bound: 59
804.82/809.19	c current bound: 59
805.33/809.58	c current bound: 59
805.60/809.98	c current bound: 59
806.01/810.38	c current bound: 59
806.53/810.75	c current bound: 59
806.79/811.14	c current bound: 59
807.18/811.54	c current bound: 59
807.57/811.93	c current bound: 59
808.19/812.50	c current bound: 59
808.47/812.90	c current bound: 59
808.97/813.30	c current bound: 59
809.16/813.69	c current bound: 59
809.67/814.09	c current bound: 59
809.96/814.49	c current bound: 59
810.36/814.88	c current bound: 59
810.73/815.28	c current bound: 59
811.14/815.67	c current bound: 59
811.53/816.07	c current bound: 59
811.93/816.48	c current bound: 59
812.34/816.87	c current bound: 59
812.86/817.27	c current bound: 59
813.13/817.74	c current bound: 59
813.53/818.14	c current bound: 59
813.93/818.53	c current bound: 59
814.33/818.93	c current bound: 59
814.73/819.33	c current bound: 59
815.31/819.70	c current bound: 59
815.71/820.10	c current bound: 59
815.89/820.50	c current bound: 59
816.30/820.88	c current bound: 59
816.67/821.26	c current bound: 59
817.20/821.65	c current bound: 59
817.46/822.05	c current bound: 59
817.84/822.44	c current bound: 59
818.39/822.83	c current bound: 59
818.62/823.23	c current bound: 59
819.02/823.62	c current bound: 59
819.41/823.99	c current bound: 59
819.78/824.36	c current bound: 59
820.15/824.76	c current bound: 59
820.56/825.15	c current bound: 59
820.95/825.55	c current bound: 59
821.33/825.94	c current bound: 59
821.73/826.34	c current bound: 59
822.13/826.73	c current bound: 59
822.70/827.13	c current bound: 59
822.93/827.52	c current bound: 59
823.31/827.91	c current bound: 59
823.92/828.31	c current bound: 59
824.10/828.72	c current bound: 59
824.51/829.09	c current bound: 59
825.00/829.49	c current bound: 59
825.29/829.89	c current bound: 59
825.69/830.29	c current bound: 59
826.09/830.68	c current bound: 59
826.48/831.05	c current bound: 59
826.86/831.45	c current bound: 59
827.25/831.84	c current bound: 59
827.64/832.22	c current bound: 59
828.21/832.61	c current bound: 59
828.41/833.01	c current bound: 59
828.82/833.40	c current bound: 59
829.32/833.80	c current bound: 59
829.81/834.20	c current bound: 59
830.01/834.59	c current bound: 59
830.51/834.99	c current bound: 59
830.79/835.38	c current bound: 59
831.19/835.78	c current bound: 59
831.58/836.17	c current bound: 59
831.98/836.58	c current bound: 59
832.39/836.97	c current bound: 59
832.77/837.49	c current bound: 59
833.18/837.89	c current bound: 59
833.68/838.29	c current bound: 59
833.96/838.69	c current bound: 59
834.36/839.06	c current bound: 59
834.74/839.43	c current bound: 59
835.12/839.83	c current bound: 59
835.50/840.23	c current bound: 59
835.92/840.63	c current bound: 59
836.49/841.00	c current bound: 59
836.67/841.39	c current bound: 59
837.07/841.78	c current bound: 59
837.46/842.17	c current bound: 59
837.99/842.56	c current bound: 59
838.25/842.95	c current bound: 59
838.64/843.32	c current bound: 59
839.20/843.72	c current bound: 59
839.41/844.12	c current bound: 59
839.82/844.52	c current bound: 59
840.20/844.89	c current bound: 59
840.59/845.29	c current bound: 59
840.99/845.68	c current bound: 59
841.38/846.08	c current bound: 59
841.78/846.47	c current bound: 59
842.17/846.87	c current bound: 59
842.57/847.26	c current bound: 59
842.95/847.65	c current bound: 59
843.51/848.04	c current bound: 59
843.74/848.45	c current bound: 59
844.14/848.84	c current bound: 59
844.69/849.24	c current bound: 59
844.94/849.63	c current bound: 59
845.32/850.03	c current bound: 59
845.72/850.43	c current bound: 59
846.11/850.82	c current bound: 59
846.51/851.21	c current bound: 59
846.91/851.61	c current bound: 59
847.50/852.00	c current bound: 59
847.90/852.44	c current bound: 59
848.09/852.83	c current bound: 59
848.48/853.23	c current bound: 59
849.07/853.62	c current bound: 59
849.26/854.01	c current bound: 59
849.66/854.41	c current bound: 59
850.28/854.80	c current bound: 59
850.45/855.19	c current bound: 59
851.06/855.60	c current bound: 59
851.24/855.99	c current bound: 59
851.64/856.38	c current bound: 59
852.04/856.78	c current bound: 59
852.42/857.17	c current bound: 59
852.82/857.57	c current bound: 59
853.37/857.96	c current bound: 59
853.61/858.35	c current bound: 59
854.01/858.75	c current bound: 59
854.56/859.14	c current bound: 59
854.79/859.54	c current bound: 59
855.19/859.93	c current bound: 59
855.58/860.32	c current bound: 59
855.96/860.72	c current bound: 59
856.36/861.11	c current bound: 59
856.76/861.50	c current bound: 59
857.35/861.90	c current bound: 59
857.55/862.30	c current bound: 59
857.93/862.69	c current bound: 59
858.33/863.09	c current bound: 59
858.86/863.47	c current bound: 59
859.11/863.87	c current bound: 59
859.51/864.26	c current bound: 59
860.04/864.66	c current bound: 59
860.29/865.06	c current bound: 59
860.69/865.45	c current bound: 59
861.09/865.84	c current bound: 59
861.48/866.24	c current bound: 59
861.88/866.63	c current bound: 59
862.47/867.00	c current bound: 59
862.85/867.50	c current bound: 59
863.15/867.89	c current bound: 59
863.42/868.28	c current bound: 59
863.83/868.68	c current bound: 59
864.36/869.08	c current bound: 59
864.62/869.47	c current bound: 59
865.02/869.87	c current bound: 59
865.43/870.26	c current bound: 59
865.81/870.66	c current bound: 59
866.21/871.05	c current bound: 59
866.61/871.45	c current bound: 59
866.99/871.84	c current bound: 59
867.58/872.24	c current bound: 59
867.80/872.63	c current bound: 59
868.18/873.02	c current bound: 59
868.79/873.41	c current bound: 59
869.18/873.80	c current bound: 59
869.36/874.19	c current bound: 59
869.88/874.57	c current bound: 59
870.14/874.97	c current bound: 59
870.53/875.36	c current bound: 59
870.93/875.76	c current bound: 59
871.33/876.13	c current bound: 59
871.70/876.53	c current bound: 59
872.10/876.93	c current bound: 59
872.50/877.32	c current bound: 59
873.07/877.72	c current bound: 59
873.28/878.11	c current bound: 59
873.68/878.51	c current bound: 59
874.28/878.90	c current bound: 59
874.68/879.30	c current bound: 59
874.87/879.69	c current bound: 59
875.38/880.09	c current bound: 59
875.67/880.48	c current bound: 59
876.05/880.88	c current bound: 59
876.46/881.27	c current bound: 59
876.84/881.67	c current bound: 59
877.25/882.07	c current bound: 59
877.86/882.52	c current bound: 59
878.06/882.91	c current bound: 59
878.63/883.31	c current bound: 59
878.83/883.70	c current bound: 59
879.23/884.08	c current bound: 59
879.73/884.47	c current bound: 59
879.99/884.86	c current bound: 59
880.39/885.26	c current bound: 59
880.77/885.65	c current bound: 59
881.18/886.04	c current bound: 59
881.58/886.44	c current bound: 59
881.97/886.83	c current bound: 59
882.37/887.23	c current bound: 59
882.96/887.62	c current bound: 59
883.16/888.01	c current bound: 59
883.76/888.40	c current bound: 59
884.04/888.80	c current bound: 59
884.33/889.19	c current bound: 59
884.73/889.59	c current bound: 59
885.26/889.98	c current bound: 59
885.52/890.37	c current bound: 59
885.91/890.76	c current bound: 59
886.30/891.15	c current bound: 59
886.70/891.55	c current bound: 59
887.08/891.94	c current bound: 59
887.49/892.32	c current bound: 59
887.87/892.72	c current bound: 59
888.45/893.11	c current bound: 59
888.67/893.51	c current bound: 59
889.27/893.90	c current bound: 59
889.56/894.27	c current bound: 59
889.83/894.66	c current bound: 59
890.22/895.06	c current bound: 59
890.77/895.45	c current bound: 59
891.01/895.85	c current bound: 59
891.41/896.24	c current bound: 59
891.81/896.64	c current bound: 59
892.19/897.04	c current bound: 59
892.59/897.43	c current bound: 59
892.99/897.87	c current bound: 59
893.38/898.27	c current bound: 59
893.93/898.67	c current bound: 59
894.19/899.07	c current bound: 59
894.58/899.46	c current bound: 59
895.13/899.85	c current bound: 59
895.37/900.25	c current bound: 59
895.76/900.64	c current bound: 59
896.17/901.03	c current bound: 59
896.55/901.42	c current bound: 59
896.95/901.82	c current bound: 59
897.34/902.22	c current bound: 59
897.74/902.61	c current bound: 59
898.13/903.00	c current bound: 59
898.75/903.40	c current bound: 59
898.92/903.79	c current bound: 59
899.44/904.18	c current bound: 59
899.71/904.58	c current bound: 59
900.11/904.97	c current bound: 59
900.65/905.35	c current bound: 59
900.87/905.75	c current bound: 59
901.27/906.14	c current bound: 59
901.67/906.53	c current bound: 59
902.06/906.93	c current bound: 59
902.46/907.32	c current bound: 59
902.85/907.72	c current bound: 59
903.25/908.11	c current bound: 59
903.86/908.51	c current bound: 59
904.25/908.90	c current bound: 59
904.64/909.30	c current bound: 59
904.94/909.70	c current bound: 59
905.23/910.09	c current bound: 59
905.62/910.49	c current bound: 59
906.14/910.88	c current bound: 59
906.42/911.27	c current bound: 59
906.81/911.67	c current bound: 59
907.20/912.06	c current bound: 59
907.60/912.43	c current bound: 59
907.98/912.84	c current bound: 59
908.39/913.25	c current bound: 59
908.78/913.65	c current bound: 59
909.34/914.04	c current bound: 59
909.56/914.43	c current bound: 59
909.97/914.83	c current bound: 59
910.54/915.22	c current bound: 59
910.75/915.62	c current bound: 59
911.15/916.02	c current bound: 59
911.56/916.39	c current bound: 59
911.92/916.79	c current bound: 59
912.32/917.18	c current bound: 59
912.92/917.63	c current bound: 59
913.11/918.02	c current bound: 59
913.68/918.42	c current bound: 59
913.90/918.81	c current bound: 59
914.30/919.21	c current bound: 59
914.89/919.61	c current bound: 59
915.09/920.00	c current bound: 59
915.49/920.38	c current bound: 59
916.00/920.78	c current bound: 59
916.27/921.18	c current bound: 59
916.66/921.58	c current bound: 59
917.06/921.98	c current bound: 59
917.46/922.37	c current bound: 59
917.86/922.77	c current bound: 59
918.26/923.17	c current bound: 59
918.67/923.57	c current bound: 59
919.19/923.97	c current bound: 59
919.44/924.36	c current bound: 59
919.85/924.76	c current bound: 59
920.39/925.15	c current bound: 59
920.64/925.54	c current bound: 59
921.04/925.94	c current bound: 59
921.43/926.33	c current bound: 59
921.83/926.74	c current bound: 59
922.24/927.13	c current bound: 59
922.84/927.60	c current bound: 59
923.23/928.00	c current bound: 59
923.53/928.39	c current bound: 59
923.81/928.78	c current bound: 59
924.20/929.18	c current bound: 59
924.72/929.56	c current bound: 59
924.98/929.96	c current bound: 59
925.38/930.35	c current bound: 59
925.78/930.74	c current bound: 59
926.17/931.14	c current bound: 59
926.57/931.54	c current bound: 59
926.97/931.93	c current bound: 59
927.36/932.33	c current bound: 59
927.95/932.72	c current bound: 59
928.16/933.13	c current bound: 59
928.56/933.53	c current bound: 59
929.14/933.92	c current bound: 59
929.34/934.29	c current bound: 59
929.73/934.69	c current bound: 59
930.24/935.09	c current bound: 59
930.53/935.49	c current bound: 59
930.93/935.89	c current bound: 59
931.32/936.29	c current bound: 59
931.72/936.68	c current bound: 59
932.12/937.08	c current bound: 59
932.52/937.48	c current bound: 59
932.91/937.88	c current bound: 59
933.42/938.28	c current bound: 59
933.71/938.67	c current bound: 59
934.12/939.05	c current bound: 59
934.64/939.44	c current bound: 59
934.88/939.84	c current bound: 59
935.29/940.22	c current bound: 59
935.66/940.59	c current bound: 59
936.03/940.99	c current bound: 59
936.42/941.39	c current bound: 59
936.84/941.78	c current bound: 59
937.22/942.18	c current bound: 59
937.80/942.68	c current bound: 59
938.01/943.08	c current bound: 59
938.41/943.47	c current bound: 59
938.95/943.87	c current bound: 59
939.20/944.27	c current bound: 59
939.60/944.66	c current bound: 59
939.99/945.06	c current bound: 59
940.39/945.46	c current bound: 59
940.78/945.85	c current bound: 59
941.19/946.24	c current bound: 59
941.57/946.64	c current bound: 59
942.15/947.04	c current bound: 59
942.36/947.44	c current bound: 59
942.77/947.83	c current bound: 59
943.34/948.22	c current bound: 59
943.56/948.62	c current bound: 59
943.96/948.99	c current bound: 59
944.44/949.39	c current bound: 59
944.73/949.79	c current bound: 59
945.13/950.19	c current bound: 59
945.52/950.58	c current bound: 59
945.93/950.98	c current bound: 59
946.32/951.37	c current bound: 59
946.72/951.77	c current bound: 59
947.12/952.16	c current bound: 59
947.65/952.56	c current bound: 59
947.90/952.95	c current bound: 59
948.30/953.35	c current bound: 59
948.86/953.74	c current bound: 59
949.10/954.14	c current bound: 59
949.49/954.53	c current bound: 59
949.88/954.93	c current bound: 59
950.28/955.32	c current bound: 59
950.68/955.72	c current bound: 59
951.07/956.11	c current bound: 59
951.46/956.51	c current bound: 59
952.08/956.91	c current bound: 59
952.28/957.29	c current bound: 59
952.65/957.73	c current bound: 59
953.21/958.12	c current bound: 59
953.62/958.50	c current bound: 59
953.82/958.89	c current bound: 59
954.31/959.28	c current bound: 59
954.60/959.67	c current bound: 59
955.00/960.05	c current bound: 59
955.38/960.45	c current bound: 59
955.78/960.84	c current bound: 59
956.17/961.23	c current bound: 59
956.55/961.62	c current bound: 59
957.14/962.00	c current bound: 59
957.33/962.39	c current bound: 59
957.73/962.77	c current bound: 59
958.11/963.16	c current bound: 59
958.64/963.54	c current bound: 59
958.87/963.92	c current bound: 59
959.45/964.30	c current bound: 59
959.72/964.68	c current bound: 59
960.01/965.06	c current bound: 59
960.39/965.44	c current bound: 59
960.93/965.83	c current bound: 59
961.16/966.20	c current bound: 59
961.52/966.59	c current bound: 59
962.01/966.99	c current bound: 59
962.32/967.37	c current bound: 59
962.68/967.79	c current bound: 59
963.07/968.17	c current bound: 59
963.46/968.55	c current bound: 59
963.84/968.93	c current bound: 59
964.22/969.31	c current bound: 59
964.59/969.69	c current bound: 59
964.98/970.07	c current bound: 59
965.35/970.45	c current bound: 59
965.74/970.83	c current bound: 59
966.29/971.21	c current bound: 59
966.69/971.60	c current bound: 59
966.89/971.98	c current bound: 59
967.38/972.37	c current bound: 59
967.83/972.80	c current bound: 59
968.03/973.18	c current bound: 59
968.53/973.57	c current bound: 59
968.78/973.95	c current bound: 59
969.17/974.33	c current bound: 59
969.56/974.71	c current bound: 59
969.93/975.09	c current bound: 59
970.31/975.46	c current bound: 59
970.69/975.85	c current bound: 59
971.07/976.23	c current bound: 59
971.46/976.60	c current bound: 59
971.84/976.99	c current bound: 59
972.22/977.36	c current bound: 59
972.79/977.82	c current bound: 59
973.17/978.20	c current bound: 59
973.35/978.58	c current bound: 59
973.87/978.96	c current bound: 59
974.11/979.33	c current bound: 59
974.50/979.71	c current bound: 59
974.97/980.09	c current bound: 59
975.26/980.47	c current bound: 59
975.64/980.86	c current bound: 59
976.18/981.25	c current bound: 59
976.42/981.63	c current bound: 59
976.81/982.01	c current bound: 59
977.28/982.39	c current bound: 59
977.77/982.85	c current bound: 59
977.96/983.24	c current bound: 59
978.33/983.62	c current bound: 59
978.91/984.00	c current bound: 59
979.12/984.38	c current bound: 59
979.49/984.76	c current bound: 59
979.88/985.14	c current bound: 59
980.42/985.52	c current bound: 59
980.64/985.90	c current bound: 59
981.02/986.28	c current bound: 59
981.52/986.66	c current bound: 59
981.78/987.04	c current bound: 59
982.17/987.43	c current bound: 59
982.72/987.84	c current bound: 59
982.94/988.22	c current bound: 59
983.31/988.59	c current bound: 59
983.80/988.98	c current bound: 59
984.07/989.35	c current bound: 59
984.45/989.73	c current bound: 59
984.82/990.11	c current bound: 59
985.20/990.49	c current bound: 59
985.58/990.87	c current bound: 59
985.98/991.25	c current bound: 59
986.37/991.63	c current bound: 59
986.75/992.01	c current bound: 59
987.13/992.39	c current bound: 59
987.51/992.88	c current bound: 59
988.01/993.26	c current bound: 59
988.28/993.64	c current bound: 59
988.67/994.02	c current bound: 59
989.24/994.42	c current bound: 59
989.63/994.80	c current bound: 59
989.81/995.18	c current bound: 59
990.33/995.58	c current bound: 59
990.60/995.96	c current bound: 59
990.97/996.34	c current bound: 59
991.36/996.72	c current bound: 59
991.74/997.10	c current bound: 59
992.13/997.48	c current bound: 59
992.50/997.89	c current bound: 59
992.88/998.27	c current bound: 59
993.27/998.65	c current bound: 59
993.66/999.03	c current bound: 59
994.04/999.42	c current bound: 59
994.43/999.80	c current bound: 59
994.81/1000.18	c current bound: 59
995.19/1000.56	c current bound: 59
995.72/1000.95	c current bound: 59
995.96/1001.33	c current bound: 59
996.33/1001.71	c current bound: 59
996.82/1002.10	c current bound: 59
997.11/1002.48	c current bound: 59
997.48/1002.86	c current bound: 59
998.01/1003.24	c current bound: 59
998.25/1003.62	c current bound: 59
998.83/1004.00	c current bound: 59
999.12/1004.38	c current bound: 59
999.39/1004.76	c current bound: 59
999.77/1005.14	c current bound: 59
1000.16/1005.52	c current bound: 59
1000.72/1005.90	c current bound: 59
1000.91/1006.28	c current bound: 59
1001.30/1006.66	c current bound: 59
1001.67/1007.04	c current bound: 59
1002.06/1007.42	c current bound: 59
1002.44/1007.87	c current bound: 59
1002.83/1008.25	c current bound: 59
1003.35/1008.64	c current bound: 59
1003.59/1009.02	c current bound: 59
1003.98/1009.40	c current bound: 59
1004.45/1009.79	c current bound: 59
1004.74/1010.17	c current bound: 59
1005.12/1010.54	c current bound: 59
1005.66/1010.94	c current bound: 59
1005.91/1011.32	c current bound: 59
1006.47/1011.70	c current bound: 59
1006.85/1012.10	c current bound: 59
1007.06/1012.48	c current bound: 59
1007.62/1012.90	c current bound: 59
1007.81/1013.28	c current bound: 59
1008.19/1013.66	c current bound: 59
1008.58/1014.04	c current bound: 59
1008.95/1014.42	c current bound: 59
1009.52/1014.80	c current bound: 59
1009.71/1015.18	c current bound: 59
1010.10/1015.58	c current bound: 59
1010.50/1015.97	c current bound: 59
1011.04/1016.36	c current bound: 59
1011.28/1016.76	c current bound: 59
1011.67/1017.15	c current bound: 59
1012.23/1017.55	c current bound: 59
1012.46/1017.97	c current bound: 59
1012.86/1018.36	c current bound: 59
1013.26/1018.76	c current bound: 59
1013.66/1019.15	c current bound: 59
1014.05/1019.55	c current bound: 59
1014.45/1019.95	c current bound: 59
1014.85/1020.35	c current bound: 59
1015.41/1020.74	c current bound: 59
1015.63/1021.14	c current bound: 59
1016.04/1021.53	c current bound: 59
1016.61/1021.93	c current bound: 59
1016.82/1022.32	c current bound: 59
1017.22/1022.71	c current bound: 59
1017.81/1023.11	c current bound: 59
1018.00/1023.51	c current bound: 59
1018.62/1023.90	c current bound: 59
1018.80/1024.29	c current bound: 59
1019.19/1024.69	c current bound: 59
1019.58/1025.08	c current bound: 59
1019.98/1025.48	c current bound: 59
1020.38/1025.88	c current bound: 59
1020.90/1026.26	c current bound: 59
1021.16/1026.65	c current bound: 59
1021.56/1027.02	c current bound: 59
1022.12/1027.42	c current bound: 59
1022.33/1027.81	c current bound: 59
1022.71/1028.23	c current bound: 59
1023.10/1028.62	c current bound: 59
1023.49/1029.02	c current bound: 59
1023.89/1029.41	c current bound: 59
1024.29/1029.80	c current bound: 59
1024.90/1030.20	c current bound: 59
1025.08/1030.60	c current bound: 59
1025.48/1030.99	c current bound: 59
1025.86/1031.39	c current bound: 59
1026.39/1031.78	c current bound: 59
1026.65/1032.18	c current bound: 59
1027.05/1032.58	c current bound: 59
1027.58/1032.97	c current bound: 59
1027.84/1033.37	c current bound: 59
1028.24/1033.74	c current bound: 59
1028.61/1034.14	c current bound: 59
1029.00/1034.54	c current bound: 59
1029.40/1034.93	c current bound: 59
1029.81/1035.33	c current bound: 59
1030.20/1035.74	c current bound: 59
1030.78/1036.13	c current bound: 59
1030.99/1036.53	c current bound: 59
1031.39/1036.92	c current bound: 59
1031.97/1037.32	c current bound: 59
1032.18/1037.71	c current bound: 59
1032.57/1038.11	c current bound: 59
1033.17/1038.51	c current bound: 59
1033.37/1038.90	c current bound: 59
1033.98/1039.30	c current bound: 59
1034.16/1039.69	c current bound: 59
1034.56/1040.09	c current bound: 59
1034.95/1040.49	c current bound: 59
1035.35/1040.88	c current bound: 59
1035.75/1041.28	c current bound: 59
1036.28/1041.68	c current bound: 59
1036.55/1042.07	c current bound: 59
1036.94/1042.46	c current bound: 59
1037.56/1042.97	c current bound: 59
1037.74/1043.36	c current bound: 59
1038.14/1043.75	c current bound: 59
1038.54/1044.15	c current bound: 59
1038.93/1044.54	c current bound: 59
1039.50/1044.94	c current bound: 59
1039.73/1045.34	c current bound: 59
1040.12/1045.74	c current bound: 59
1040.70/1046.14	c current bound: 59
1040.93/1046.53	c current bound: 59
1041.32/1046.93	c current bound: 59
1041.72/1047.32	c current bound: 59
1042.12/1047.71	c current bound: 59
1042.50/1048.11	c current bound: 59
1043.12/1048.50	c current bound: 59
1043.52/1048.90	c current bound: 59
1043.70/1049.29	c current bound: 59
1044.09/1049.69	c current bound: 59
1044.49/1050.08	c current bound: 59
1045.01/1050.48	c current bound: 59
1045.29/1050.87	c current bound: 59
1045.67/1051.27	c current bound: 59
1046.23/1051.66	c current bound: 59
1046.47/1052.06	c current bound: 59
1046.87/1052.46	c current bound: 59
1047.27/1052.83	c current bound: 59
1047.63/1053.25	c current bound: 59
1048.03/1053.65	c current bound: 59
1048.44/1054.06	c current bound: 59
1048.85/1054.47	c current bound: 59
1049.39/1054.86	c current bound: 59
1049.64/1055.26	c current bound: 59
1050.04/1055.63	c current bound: 59
1050.61/1056.03	c current bound: 59
1050.81/1056.42	c current bound: 59
1051.21/1056.81	c current bound: 59
1051.61/1057.19	c current bound: 59
1051.98/1057.59	c current bound: 59
1052.38/1058.07	c current bound: 59
1052.78/1058.47	c current bound: 59
1053.17/1058.84	c current bound: 59
1053.72/1059.24	c current bound: 59
1053.94/1059.64	c current bound: 59
1054.35/1060.03	c current bound: 59
1054.92/1060.42	c current bound: 59
1055.13/1060.82	c current bound: 59
1055.54/1061.21	c current bound: 59
1056.11/1061.60	c current bound: 59
1056.52/1062.00	c current bound: 59
1056.71/1062.39	c current bound: 59
1057.10/1062.77	c current bound: 59
1057.47/1063.16	c current bound: 59
1057.86/1063.53	c current bound: 59
1058.42/1063.90	c current bound: 59
1058.81/1064.30	c current bound: 59
1059.00/1064.69	c current bound: 59
1059.40/1065.09	c current bound: 59
1059.81/1065.50	c current bound: 59
1060.33/1065.90	c current bound: 59
1060.61/1066.27	c current bound: 59
1060.99/1066.67	c current bound: 59
1061.53/1067.06	c current bound: 59
1061.78/1067.46	c current bound: 59
1062.17/1067.85	c current bound: 59
1062.57/1068.25	c current bound: 59
1062.96/1068.65	c current bound: 59
1063.36/1069.04	c current bound: 59
1063.76/1069.44	c current bound: 59
1064.16/1069.83	c current bound: 59
1064.72/1070.23	c current bound: 59
1064.94/1070.62	c current bound: 59
1065.34/1071.02	c current bound: 59
1065.93/1071.41	c current bound: 59
1066.12/1071.80	c current bound: 59
1066.73/1072.20	c current bound: 59
1067.13/1072.60	c current bound: 59
1067.52/1073.10	c current bound: 59
1067.70/1073.49	c current bound: 59
1068.09/1073.88	c current bound: 59
1068.49/1074.28	c current bound: 59
1069.03/1074.68	c current bound: 59
1069.30/1075.07	c current bound: 59
1069.69/1075.47	c current bound: 59
1070.23/1075.86	c current bound: 59
1070.49/1076.26	c current bound: 59
1070.88/1076.65	c current bound: 59
1071.27/1077.04	c current bound: 59
1071.67/1077.43	c current bound: 59
1072.05/1077.83	c current bound: 59
1072.45/1078.22	c current bound: 59
1072.84/1078.62	c current bound: 59
1073.43/1079.01	c current bound: 59
1073.63/1079.41	c current bound: 59
1074.03/1079.81	c current bound: 59
1074.65/1080.20	c current bound: 59
1074.82/1080.61	c current bound: 59
1075.43/1081.00	c current bound: 59
1075.84/1081.40	c current bound: 59
1076.24/1081.80	c current bound: 59
1076.43/1082.19	c current bound: 59
1076.82/1082.59	c current bound: 59
1077.21/1083.12	c current bound: 59
1077.81/1083.51	c current bound: 59
1078.02/1083.91	c current bound: 59
1078.42/1084.30	c current bound: 59
1079.02/1084.71	c current bound: 59
1079.22/1085.11	c current bound: 59
1079.83/1085.50	c current bound: 59
1080.22/1085.90	c current bound: 59
1080.63/1086.30	c current bound: 59
1080.82/1086.70	c current bound: 59
1081.21/1087.08	c current bound: 59
1081.59/1087.48	c current bound: 59
1082.13/1087.87	c current bound: 59
1082.39/1088.26	c current bound: 59
1082.79/1088.66	c current bound: 59
1083.32/1089.06	c current bound: 59
1083.57/1089.45	c current bound: 59
1083.96/1089.84	c current bound: 59
1084.36/1090.24	c current bound: 59
1084.76/1090.64	c current bound: 59
1085.16/1091.01	c current bound: 59
1085.52/1091.41	c current bound: 59
1086.13/1091.80	c current bound: 59
1086.32/1092.20	c current bound: 59
1086.93/1092.60	c current bound: 59
1087.11/1093.12	c current bound: 59
1087.51/1093.49	c current bound: 59
1087.87/1093.89	c current bound: 59
1088.28/1094.28	c current bound: 59
1088.68/1094.67	c current bound: 59
1089.07/1095.08	c current bound: 59
1089.48/1095.47	c current bound: 59
1089.86/1095.87	c current bound: 59
1090.25/1096.27	c current bound: 59
1090.80/1096.66	c current bound: 59
1091.05/1097.06	c current bound: 59
1091.46/1097.45	c current bound: 59
1092.00/1097.85	c current bound: 59
1092.24/1098.24	c current bound: 59
1092.63/1098.64	c current bound: 59
1093.04/1099.04	c current bound: 59
1093.43/1099.45	c current bound: 59
1093.84/1099.84	c current bound: 59
1094.26/1100.26	c current bound: 59
1094.65/1100.65	c current bound: 59
1095.20/1101.05	c current bound: 59
1095.45/1101.45	c current bound: 59
1095.84/1101.84	c current bound: 59
1096.41/1102.24	c current bound: 59
1096.65/1102.63	c current bound: 59
1097.24/1103.10	c current bound: 59
1097.43/1103.49	c current bound: 59
1097.83/1103.89	c current bound: 59
1098.21/1104.28	c current bound: 59
1098.62/1104.68	c current bound: 59
1099.02/1105.07	c current bound: 59
1099.55/1105.47	c current bound: 59
1099.81/1105.87	c current bound: 59
1100.22/1106.26	c current bound: 59
1100.74/1106.66	c current bound: 59
1101.01/1107.05	c current bound: 59
1101.39/1107.44	c current bound: 59
1101.80/1107.84	c current bound: 59
1102.18/1108.23	c current bound: 59
1102.57/1108.62	c current bound: 59
1102.97/1109.02	c current bound: 59
1103.37/1109.41	c current bound: 59
1103.97/1109.81	c current bound: 59
1104.37/1110.20	c current bound: 59
1104.77/1110.60	c current bound: 59
1105.07/1110.99	c current bound: 59
1105.35/1111.39	c current bound: 59
1105.75/1111.78	c current bound: 59
1106.26/1112.18	c current bound: 59
1106.54/1112.57	c current bound: 59
1106.93/1112.95	c current bound: 59
1107.31/1113.36	c current bound: 59
1107.71/1113.75	c current bound: 59
1108.10/1114.15	c current bound: 59
1108.51/1114.56	c current bound: 59
1108.91/1114.95	c current bound: 59
1109.46/1115.35	c current bound: 59
1109.70/1115.75	c current bound: 59
1110.10/1116.14	c current bound: 59
1110.67/1116.54	c current bound: 59
1110.90/1116.94	c current bound: 59
1111.29/1117.34	c current bound: 59
1111.69/1117.73	c current bound: 59
1112.08/1118.12	c current bound: 59
1112.48/1118.52	c current bound: 59
1112.88/1118.92	c current bound: 59
1113.28/1119.32	c current bound: 59
1113.68/1119.69	c current bound: 59
1114.05/1120.08	c current bound: 59
1114.44/1120.49	c current bound: 59
1114.97/1120.89	c current bound: 59
1115.24/1121.28	c current bound: 59
1115.64/1121.67	c current bound: 59
1116.17/1122.05	c current bound: 59
1116.41/1122.45	c current bound: 59
1116.82/1122.84	c current bound: 59
1117.21/1123.24	c current bound: 59
1117.60/1123.63	c current bound: 59
1118.00/1124.03	c current bound: 59
1118.41/1124.43	c current bound: 59
1118.79/1124.82	c current bound: 59
1119.38/1125.22	c current bound: 59
1119.59/1125.61	c current bound: 59
1119.99/1126.01	c current bound: 59
1120.59/1126.40	c current bound: 59
1120.99/1126.80	c current bound: 59
1121.39/1127.20	c current bound: 59
1121.78/1127.60	c current bound: 59
1121.96/1127.97	c current bound: 59
1122.34/1128.37	c current bound: 59
1122.74/1128.77	c current bound: 59
1123.13/1129.16	c current bound: 59
1123.53/1129.56	c current bound: 59
1123.93/1129.93	c current bound: 59
1124.31/1130.33	c current bound: 59
1124.87/1130.73	c current bound: 59
1125.10/1131.12	c current bound: 59
1125.49/1131.52	c current bound: 59
1125.97/1131.89	c current bound: 59
1126.25/1132.29	c current bound: 59
1126.66/1132.68	c current bound: 59
1127.25/1133.18	c current bound: 59
1127.45/1133.57	c current bound: 59
1127.85/1133.97	c current bound: 59
1128.25/1134.37	c current bound: 59
1128.65/1134.76	c current bound: 59
1129.18/1135.16	c current bound: 59
1129.44/1135.56	c current bound: 59
1129.84/1135.95	c current bound: 59
1130.39/1136.35	c current bound: 59
1130.63/1136.74	c current bound: 59
1131.01/1137.13	c current bound: 59
1131.39/1137.53	c current bound: 59
1131.80/1137.92	c current bound: 59
1132.21/1138.32	c current bound: 59
1132.59/1138.71	c current bound: 59
1132.99/1139.11	c current bound: 59
1133.60/1139.50	c current bound: 59
1133.99/1139.90	c current bound: 59
1134.18/1140.29	c current bound: 59
1134.80/1140.71	c current bound: 59
1134.96/1141.10	c current bound: 59
1135.57/1141.50	c current bound: 59
1135.97/1141.90	c current bound: 59
1136.16/1142.30	c current bound: 59
1136.56/1142.69	c current bound: 59
1136.96/1143.16	c current bound: 59
1137.36/1143.56	c current bound: 59
1137.91/1143.95	c current bound: 59
1138.15/1144.35	c current bound: 59
1138.55/1144.74	c current bound: 59
1139.12/1145.14	c current bound: 59
1139.33/1145.53	c current bound: 59
1139.73/1145.93	c current bound: 59
1140.14/1146.32	c current bound: 59
1140.53/1146.72	c current bound: 59
1140.93/1147.12	c current bound: 59
1141.33/1147.51	c current bound: 59
1141.72/1147.90	c current bound: 59
1142.12/1148.30	c current bound: 59
1142.51/1148.69	c current bound: 59
1142.91/1149.09	c current bound: 59
1143.42/1149.49	c current bound: 59
1143.70/1149.88	c current bound: 59
1144.10/1150.28	c current bound: 59
1144.62/1150.67	c current bound: 59
1144.90/1151.07	c current bound: 59
1145.29/1151.46	c current bound: 59
1145.69/1151.86	c current bound: 59
1146.08/1152.25	c current bound: 59
1146.46/1152.64	c current bound: 59
1146.86/1153.04	c current bound: 59
1147.27/1153.44	c current bound: 59
1147.83/1153.84	c current bound: 59
1148.05/1154.23	c current bound: 59
1148.46/1154.63	c current bound: 59
1149.05/1155.02	c current bound: 59
1149.25/1155.41	c current bound: 59
1149.64/1155.81	c current bound: 59
1150.25/1156.20	c current bound: 59
1150.65/1156.60	c current bound: 59
1150.83/1156.99	c current bound: 59
1151.22/1157.38	c current bound: 59
1151.63/1157.78	c current bound: 59
1152.22/1158.22	c current bound: 59
1152.41/1158.62	c current bound: 59
1152.82/1158.99	c current bound: 59
1153.31/1159.39	c current bound: 59
1153.59/1159.78	c current bound: 59
1153.99/1160.17	c current bound: 59
1154.51/1160.57	c current bound: 59
1154.77/1160.96	c current bound: 59
1155.17/1161.36	c current bound: 59
1155.57/1161.76	c current bound: 59
1155.97/1162.15	c current bound: 59
1156.38/1162.55	c current bound: 59
1156.78/1162.96	c current bound: 59
1157.18/1163.35	c current bound: 59
1157.72/1163.75	c current bound: 59
1157.97/1164.15	c current bound: 59
1158.37/1164.54	c current bound: 59
1158.92/1164.93	c current bound: 59
1159.15/1165.32	c current bound: 59
1159.55/1165.72	c current bound: 59
1159.93/1166.09	c current bound: 59
1160.31/1166.49	c current bound: 59
1160.71/1166.88	c current bound: 59
1161.12/1167.28	c current bound: 59
1161.49/1167.68	c current bound: 59
1161.90/1168.07	c current bound: 59
1162.30/1168.44	c current bound: 59
1162.66/1168.84	c current bound: 59
1163.23/1169.23	c current bound: 59
1163.45/1169.62	c current bound: 59
1163.84/1170.02	c current bound: 59
1164.44/1170.41	c current bound: 59
1164.64/1170.81	c current bound: 59
1165.25/1171.20	c current bound: 59
1165.54/1171.59	c current bound: 59
1165.82/1171.99	c current bound: 59
1166.21/1172.39	c current bound: 59
1166.61/1172.78	c current bound: 59
1167.00/1173.28	c current bound: 59
1167.54/1173.68	c current bound: 59
1167.81/1174.07	c current bound: 59
1168.20/1174.46	c current bound: 59
1168.74/1174.86	c current bound: 59
1168.99/1175.25	c current bound: 59
1169.39/1175.65	c current bound: 59
1169.78/1176.04	c current bound: 59
1170.18/1176.44	c current bound: 59
1170.56/1176.83	c current bound: 59
1170.97/1177.23	c current bound: 59
1171.36/1177.62	c current bound: 59
1171.95/1178.02	c current bound: 59
1172.16/1178.41	c current bound: 59
1172.55/1178.81	c current bound: 59
1173.04/1179.20	c current bound: 59
1173.55/1179.60	c current bound: 59
1173.73/1179.99	c current bound: 59
1174.25/1180.37	c current bound: 59
1174.51/1180.76	c current bound: 59
1174.90/1181.16	c current bound: 59
1175.29/1181.55	c current bound: 59
1175.69/1181.94	c current bound: 59
1176.09/1182.34	c current bound: 59
1176.49/1182.73	c current bound: 59
1176.88/1183.12	c current bound: 59
1177.43/1183.54	c current bound: 59
1177.67/1183.94	c current bound: 59
1178.05/1184.33	c current bound: 59
1178.63/1184.73	c current bound: 59
1178.86/1185.12	c current bound: 59
1179.25/1185.52	c current bound: 59
1179.65/1185.89	c current bound: 59
1180.03/1186.29	c current bound: 59
1180.43/1186.69	c current bound: 59
1180.81/1187.08	c current bound: 59
1181.21/1187.48	c current bound: 59
1181.59/1187.87	c current bound: 59
1182.00/1188.35	c current bound: 59
1182.39/1188.75	c current bound: 59
1182.94/1189.15	c current bound: 59
1183.18/1189.54	c current bound: 59
1183.58/1189.94	c current bound: 59
1183.97/1190.34	c current bound: 59
1184.38/1190.73	c current bound: 59
1184.77/1191.13	c current bound: 59
1185.17/1191.52	c current bound: 59
1185.56/1191.92	c current bound: 59
1186.15/1192.31	c current bound: 59
1186.35/1192.70	c current bound: 59
1186.95/1193.10	c current bound: 59
1187.26/1193.49	c current bound: 59
1187.53/1193.89	c current bound: 59
1187.93/1194.28	c current bound: 59
1188.43/1194.68	c current bound: 59
1188.72/1195.07	c current bound: 59
1189.12/1195.47	c current bound: 59
1189.51/1195.86	c current bound: 59
1189.91/1196.26	c current bound: 59
1190.31/1196.65	c current bound: 59
1190.70/1197.04	c current bound: 59
1191.10/1197.44	c current bound: 59
1191.68/1197.83	c current bound: 59
1191.88/1198.23	c current bound: 59
1192.29/1198.63	c current bound: 59
1192.76/1199.00	c current bound: 59
1193.27/1199.40	c current bound: 59
1193.68/1199.80	c current bound: 59
1193.96/1200.17	c current bound: 59
1194.23/1200.57	c current bound: 59
1194.63/1200.96	c current bound: 59
1195.02/1201.35	c current bound: 59
1195.42/1201.75	c current bound: 59
1195.81/1202.14	c current bound: 59
1196.21/1202.54	c current bound: 59
1196.61/1202.91	c current bound: 59
1197.17/1203.38	c current bound: 59
1197.36/1203.78	c current bound: 59
1197.77/1204.17	c current bound: 59
1198.30/1204.57	c current bound: 59
1198.55/1204.96	c current bound: 59
1198.95/1205.35	c current bound: 59
1199.34/1205.75	c current bound: 59
1199.74/1206.15	c current bound: 59
1200.15/1206.54	c current bound: 59
1200.53/1206.94	c current bound: 59
1200.92/1207.33	c current bound: 59
1201.51/1207.73	c current bound: 59
1201.73/1208.12	c current bound: 59
1202.12/1208.51	c current bound: 59
1202.72/1208.92	c current bound: 59
1202.92/1209.31	c current bound: 59
1203.32/1209.70	c current bound: 59
1203.82/1210.10	c current bound: 59
1204.32/1210.50	c current bound: 59
1204.50/1210.89	c current bound: 59
1204.89/1211.29	c current bound: 59
1205.30/1211.69	c current bound: 59
1205.68/1212.08	c current bound: 59
1206.09/1212.48	c current bound: 59
1206.47/1212.87	c current bound: 59
1207.02/1213.27	c current bound: 59
1207.28/1213.67	c current bound: 59
1207.66/1214.07	c current bound: 59
1208.21/1214.46	c current bound: 59
1208.46/1214.85	c current bound: 59
1208.86/1215.25	c current bound: 59
1209.26/1215.64	c current bound: 59
1209.64/1216.04	c current bound: 59
1210.04/1216.44	c current bound: 59
1210.45/1216.84	c current bound: 59
1210.85/1217.23	c current bound: 59
1211.42/1217.62	c current bound: 59
1211.63/1218.02	c current bound: 59
1212.03/1218.42	c current bound: 59
1212.63/1218.81	c current bound: 59
1212.83/1219.21	c current bound: 59
1213.22/1219.60	c current bound: 59
1213.73/1220.00	c current bound: 59
1214.03/1220.39	c current bound: 59
1214.40/1220.78	c current bound: 59
1214.80/1221.18	c current bound: 59
1215.20/1221.58	c current bound: 59
1215.60/1221.97	c current bound: 59
1216.00/1222.37	c current bound: 59
1216.39/1222.76	c current bound: 59
1216.93/1223.16	c current bound: 59
1217.18/1223.55	c current bound: 59
1217.57/1223.94	c current bound: 59
1218.15/1224.34	c current bound: 59
1218.37/1224.74	c current bound: 59
1218.76/1225.14	c current bound: 59
1219.16/1225.54	c current bound: 59
1219.57/1225.94	c current bound: 59
1219.97/1226.33	c current bound: 59
1220.36/1226.73	c current bound: 59
1220.76/1227.12	c current bound: 59
1221.35/1227.51	c current bound: 59
1221.55/1227.91	c current bound: 59
1221.95/1228.30	c current bound: 59
1222.51/1228.74	c current bound: 59
1222.74/1229.14	c current bound: 59
1223.14/1229.53	c current bound: 59
1223.72/1229.90	c current bound: 59
1223.89/1230.29	c current bound: 59
1224.28/1230.68	c current bound: 59
1224.69/1231.08	c current bound: 59
1225.08/1231.47	c current bound: 59
1225.48/1231.86	c current bound: 59
1225.87/1232.26	c current bound: 59
1226.26/1232.65	c current bound: 59
1226.82/1233.05	c current bound: 59
1227.05/1233.46	c current bound: 59
1227.44/1233.83	c current bound: 59
1228.01/1234.22	c current bound: 59
1228.21/1234.62	c current bound: 59
1228.60/1235.01	c current bound: 59
1229.19/1235.41	c current bound: 59
1229.59/1235.80	c current bound: 59
1230.00/1236.20	c current bound: 59
1230.18/1236.59	c current bound: 59
1230.80/1237.00	c current bound: 59
1230.99/1237.38	c current bound: 59
1231.36/1237.77	c current bound: 59
1231.75/1238.17	c current bound: 59
1232.29/1238.57	c current bound: 59
1232.55/1238.97	c current bound: 59
1232.95/1239.36	c current bound: 59
1233.49/1239.75	c current bound: 59
1233.74/1240.15	c current bound: 59
1234.13/1240.54	c current bound: 59
1234.53/1240.94	c current bound: 59
1234.92/1241.33	c current bound: 59
1235.32/1241.73	c current bound: 59
1235.71/1242.12	c current bound: 59
1236.11/1242.51	c current bound: 59
1236.71/1242.91	c current bound: 59
1236.90/1243.30	c current bound: 59
1237.52/1243.70	c current bound: 59
1237.80/1244.09	c current bound: 59
1238.08/1244.49	c current bound: 59
1238.48/1244.88	c current bound: 59
1238.99/1245.27	c current bound: 59
1239.46/1245.76	c current bound: 59
1239.64/1246.15	c current bound: 59
1240.05/1246.55	c current bound: 59
1240.44/1246.92	c current bound: 59
1241.00/1247.32	c current bound: 59
1241.22/1247.71	c current bound: 59
1241.60/1248.11	c current bound: 59
1242.20/1248.54	c current bound: 59
1242.39/1248.93	c current bound: 59
1242.79/1249.33	c current bound: 59
1243.36/1249.70	c current bound: 59
1243.55/1250.09	c current bound: 59
1243.94/1250.49	c current bound: 59
1244.33/1250.88	c current bound: 59
1244.74/1251.28	c current bound: 59
1245.14/1251.67	c current bound: 59
1245.52/1252.07	c current bound: 59
1245.92/1252.46	c current bound: 59
1246.46/1252.86	c current bound: 59
1246.72/1253.26	c current bound: 59
1247.11/1253.65	c current bound: 59
1247.68/1254.05	c current bound: 59
1247.90/1254.44	c current bound: 59
1248.29/1254.84	c current bound: 59
1248.71/1255.25	c current bound: 59
1249.11/1255.64	c current bound: 59
1249.50/1256.04	c current bound: 59
1249.91/1256.43	c current bound: 59
1250.30/1256.84	c current bound: 59
1250.88/1257.23	c current bound: 59
1251.10/1257.63	c current bound: 59
1251.49/1258.03	c current bound: 59
1252.09/1258.58	c current bound: 59
1252.30/1258.98	c current bound: 59
1252.69/1259.37	c current bound: 59
1253.08/1259.77	c current bound: 59
1253.48/1260.16	c current bound: 59
1254.03/1260.56	c current bound: 59
1254.28/1260.95	c current bound: 59
1254.68/1261.35	c current bound: 59
1255.23/1261.74	c current bound: 59
1255.47/1262.15	c current bound: 59
1255.87/1262.54	c current bound: 59
1256.26/1262.94	c current bound: 59
1256.65/1263.34	c current bound: 59
1257.06/1263.73	c current bound: 59
1257.45/1264.13	c current bound: 59
1257.86/1264.52	c current bound: 59
1258.43/1264.92	c current bound: 59
1258.64/1265.31	c current bound: 59
1259.03/1265.71	c current bound: 59
1259.64/1266.11	c current bound: 59
1260.03/1266.50	c current bound: 59
1260.44/1266.90	c current bound: 59
1260.82/1267.31	c current bound: 59
1261.03/1267.70	c current bound: 59
1261.64/1268.10	c current bound: 59
1261.81/1268.64	c current bound: 59
1262.22/1269.02	c current bound: 59
1262.79/1269.41	c current bound: 59
1263.20/1269.80	c current bound: 59
1263.37/1270.17	c current bound: 59
1263.89/1270.57	c current bound: 59
1264.15/1270.95	c current bound: 59
1264.54/1271.33	c current bound: 59
1264.90/1271.70	c current bound: 59
1265.28/1272.08	c current bound: 59
1265.66/1272.46	c current bound: 59
1266.04/1272.84	c current bound: 59
1266.43/1273.22	c current bound: 59
1267.00/1273.60	c current bound: 59
1267.18/1273.97	c current bound: 59
1267.55/1274.36	c current bound: 59
1267.94/1274.74	c current bound: 59
1268.34/1275.12	c current bound: 59
1268.90/1275.50	c current bound: 59
1269.09/1275.88	c current bound: 59
1269.46/1276.26	c current bound: 59
1269.85/1276.63	c current bound: 59
1270.40/1277.02	c current bound: 59
1270.81/1277.40	c current bound: 59
1271.00/1277.78	c current bound: 59
1271.48/1278.17	c current bound: 59
1271.76/1278.66	c current bound: 59
1272.14/1279.04	c current bound: 59
1272.52/1279.42	c current bound: 59
1273.09/1279.80	c current bound: 59
1273.28/1280.18	c current bound: 59
1273.66/1280.55	c current bound: 59
1274.04/1280.93	c current bound: 59
1274.41/1281.31	c current bound: 59
1274.79/1281.69	c current bound: 59
1275.19/1282.07	c current bound: 59
1275.56/1282.45	c current bound: 59
1275.95/1282.84	c current bound: 59
1276.33/1283.22	c current bound: 59
1276.90/1283.66	c current bound: 59
1277.10/1284.04	c current bound: 59
1277.48/1284.42	c current bound: 59
1278.07/1284.81	c current bound: 59
1278.26/1285.19	c current bound: 59
1278.63/1285.57	c current bound: 59
1279.15/1285.96	c current bound: 59
1279.41/1286.34	c current bound: 59
1279.79/1286.72	c current bound: 59
1280.17/1287.10	c current bound: 59
1280.56/1287.48	c current bound: 59
1280.93/1287.86	c current bound: 59
1281.31/1288.24	c current bound: 59
1281.71/1288.73	c current bound: 59
1282.24/1289.12	c current bound: 59
1282.65/1289.50	c current bound: 59
1282.85/1289.88	c current bound: 59
1283.35/1290.26	c current bound: 59
1283.61/1290.64	c current bound: 59
1283.99/1291.02	c current bound: 59
1284.56/1291.40	c current bound: 59
1284.76/1291.78	c current bound: 59
1285.14/1292.16	c current bound: 59
1285.65/1292.55	c current bound: 59
1285.91/1292.93	c current bound: 59
1286.29/1293.31	c current bound: 59
1286.86/1293.71	c current bound: 59
1287.05/1294.09	c current bound: 59
1287.43/1294.47	c current bound: 59
1287.81/1294.85	c current bound: 59
1288.19/1295.23	c current bound: 59
1288.57/1295.60	c current bound: 59
1288.94/1295.99	c current bound: 59
1289.32/1296.38	c current bound: 59
1289.71/1296.76	c current bound: 59
1290.10/1297.13	c current bound: 59
1290.48/1297.51	c current bound: 59
1290.86/1297.89	c current bound: 59
1291.24/1298.27	c current bound: 59
1291.81/1298.73	c current bound: 59
1292.18/1299.12	c current bound: 59
1292.59/1299.50	c current bound: 59
1292.78/1299.88	c current bound: 59
1293.28/1300.28	c current bound: 59
1293.55/1300.66	c current bound: 59
1293.94/1301.04	c current bound: 59
1294.33/1301.43	c current bound: 59
1294.72/1301.81	c current bound: 59
1295.11/1302.19	c current bound: 59
1295.49/1302.57	c current bound: 59
1295.89/1302.95	c current bound: 59
1296.27/1303.34	c current bound: 59
1296.65/1303.73	c current bound: 59
1297.02/1304.11	c current bound: 59
1297.40/1304.49	c current bound: 59
1297.78/1304.87	c current bound: 59
1298.16/1305.25	c current bound: 59
1298.70/1305.63	c current bound: 59
1298.91/1306.00	c current bound: 59
1299.30/1306.38	c current bound: 59
1299.79/1306.77	c current bound: 59
1300.06/1307.15	c current bound: 59
1300.45/1307.53	c current bound: 59
1301.00/1307.91	c current bound: 59
1301.21/1308.29	c current bound: 59
1301.78/1308.75	c current bound: 59
1301.97/1309.14	c current bound: 59
1302.36/1309.53	c current bound: 59
1302.74/1309.91	c current bound: 59
1303.12/1310.29	c current bound: 59
1303.50/1310.66	c current bound: 59
1303.89/1311.04	c current bound: 59
1304.25/1311.42	c current bound: 59
1304.84/1311.80	c current bound: 59
1305.03/1312.18	c current bound: 59
1305.40/1312.56	c current bound: 59
1305.79/1312.94	c current bound: 59
1306.33/1313.32	c current bound: 59
1306.54/1313.78	c current bound: 59
1306.93/1314.16	c current bound: 59
1307.45/1314.54	c current bound: 59
1307.69/1314.92	c current bound: 59
1308.27/1315.30	c current bound: 59
1308.66/1315.71	c current bound: 59
1308.85/1316.09	c current bound: 59
1309.24/1316.47	c current bound: 59
1309.61/1316.86	c current bound: 59
1309.99/1317.24	c current bound: 59
1310.38/1317.61	c current bound: 59
1310.76/1317.99	c current bound: 59
1311.13/1318.38	c current bound: 59
1311.70/1318.83	c current bound: 59
1311.90/1319.21	c current bound: 59
1312.47/1319.60	c current bound: 59
1312.76/1319.99	c current bound: 59
1313.05/1320.37	c current bound: 59
1313.43/1320.74	c current bound: 59
1313.96/1321.14	c current bound: 59
1314.19/1321.52	c current bound: 59
1314.77/1321.90	c current bound: 59
1315.06/1322.29	c current bound: 59
1315.35/1322.67	c current bound: 59
1315.74/1323.05	c current bound: 59
1316.10/1323.43	c current bound: 59
1316.49/1323.85	c current bound: 59
1316.86/1324.23	c current bound: 59
1317.24/1324.61	c current bound: 59
1317.63/1324.99	c current bound: 59
1318.00/1325.38	c current bound: 59
1318.40/1325.76	c current bound: 59
1318.77/1326.14	c current bound: 59
1319.31/1326.53	c current bound: 59
1319.54/1326.91	c current bound: 59
1319.91/1327.29	c current bound: 59
1320.42/1327.67	c current bound: 59
1320.68/1328.05	c current bound: 59
1321.07/1328.43	c current bound: 59
1321.61/1328.87	c current bound: 59
1321.83/1329.25	c current bound: 59
1322.20/1329.63	c current bound: 59
1322.59/1330.01	c current bound: 59
1322.96/1330.39	c current bound: 59
1323.35/1330.76	c current bound: 59
1323.73/1331.14	c current bound: 59
1324.11/1331.52	c current bound: 59
1324.51/1331.90	c current bound: 59
1324.89/1332.28	c current bound: 59
1325.26/1332.66	c current bound: 59
1325.65/1333.04	c current bound: 59
1326.03/1333.42	c current bound: 59
1326.41/1333.95	c current bound: 59
1326.94/1334.34	c current bound: 59
1327.19/1334.72	c current bound: 59
1327.76/1335.10	c current bound: 59
1328.05/1335.49	c current bound: 59
1328.33/1335.86	c current bound: 59
1328.72/1336.24	c current bound: 59
1329.10/1336.63	c current bound: 59
1329.49/1337.01	c current bound: 59
1329.87/1337.38	c current bound: 59
1330.26/1337.76	c current bound: 59
1330.65/1338.15	c current bound: 59
1331.02/1338.53	c current bound: 59
1331.41/1338.91	c current bound: 59
1331.80/1339.29	c current bound: 59
1332.17/1339.67	c current bound: 59
1332.56/1340.06	c current bound: 59
1332.95/1340.44	c current bound: 59
1333.51/1340.82	c current bound: 59
1333.72/1341.20	c current bound: 59
1334.10/1341.59	c current bound: 59
1334.60/1341.97	c current bound: 59
1334.87/1342.35	c current bound: 59
1335.25/1342.73	c current bound: 59
1335.81/1343.12	c current bound: 59
1336.22/1343.50	c current bound: 59
1336.60/1343.90	c current bound: 59
1336.89/1344.28	c current bound: 59
1337.16/1344.67	c current bound: 59
1337.54/1345.05	c current bound: 59
1337.94/1345.43	c current bound: 59
1338.31/1345.81	c current bound: 59
1338.68/1346.19	c current bound: 59
1339.07/1346.57	c current bound: 59
1339.45/1346.94	c current bound: 59
1339.83/1347.33	c current bound: 59
1340.21/1347.71	c current bound: 59
1340.59/1348.08	c current bound: 59
1340.98/1348.46	c current bound: 59
1341.55/1348.95	c current bound: 59
1341.73/1349.33	c current bound: 59
1342.29/1349.72	c current bound: 59
1342.52/1350.10	c current bound: 59
1342.89/1350.48	c current bound: 59
1343.39/1350.88	c current bound: 59
1343.68/1351.26	c current bound: 59
1344.05/1351.64	c current bound: 59
1344.43/1352.02	c current bound: 59
1345.02/1352.40	c current bound: 59
1345.21/1352.78	c current bound: 59
1345.58/1353.16	c current bound: 59
1345.96/1353.54	c current bound: 59
1346.34/1353.96	c current bound: 59
1346.73/1354.34	c current bound: 59
1347.11/1354.73	c current bound: 59
1347.69/1355.11	c current bound: 59
1347.88/1355.49	c current bound: 59
1348.25/1355.87	c current bound: 59
1348.78/1356.25	c current bound: 59
1349.01/1356.63	c current bound: 59
1349.40/1357.01	c current bound: 59
1349.99/1357.40	c current bound: 59
1350.17/1357.78	c current bound: 59
1350.55/1358.16	c current bound: 59
1351.07/1358.56	c current bound: 59
1351.32/1358.98	c current bound: 59
1351.71/1359.36	c current bound: 59
1352.08/1359.74	c current bound: 59
1352.47/1360.12	c current bound: 59
1353.03/1360.50	c current bound: 59
1353.22/1360.87	c current bound: 59
1353.60/1361.25	c current bound: 59
1353.98/1361.63	c current bound: 59
1354.35/1362.01	c current bound: 59
1354.74/1362.39	c current bound: 59
1355.12/1362.77	c current bound: 59
1355.51/1363.15	c current bound: 59
1355.88/1363.53	c current bound: 59
1356.43/1364.05	c current bound: 59
1356.64/1364.43	c current bound: 59
1357.04/1364.81	c current bound: 59
1357.42/1365.22	c current bound: 59
1357.82/1365.61	c current bound: 59
1358.21/1365.99	c current bound: 59
1358.60/1366.36	c current bound: 59
1358.95/1366.74	c current bound: 59
1359.34/1367.12	c current bound: 59
1359.90/1367.50	c current bound: 59
1360.10/1367.88	c current bound: 59
1360.48/1368.26	c current bound: 59
1360.87/1368.64	c current bound: 59
1361.24/1369.02	c current bound: 59
1361.63/1369.40	c current bound: 59
1362.03/1369.78	c current bound: 59
1362.41/1370.16	c current bound: 59
1362.92/1370.54	c current bound: 59
1363.17/1370.92	c current bound: 59
1363.56/1371.30	c current bound: 59
1364.04/1371.69	c current bound: 59
1364.31/1372.07	c current bound: 59
1364.69/1372.45	c current bound: 59
1365.23/1372.85	c current bound: 59
1365.49/1373.23	c current bound: 59
1365.87/1373.61	c current bound: 59
1366.24/1374.02	c current bound: 59
1366.65/1374.39	c current bound: 59
1367.03/1374.78	c current bound: 59
1367.41/1375.16	c current bound: 59
1367.80/1375.54	c current bound: 59
1368.17/1375.92	c current bound: 59
1368.56/1376.30	c current bound: 59
1368.94/1376.68	c current bound: 59
1369.33/1377.06	c current bound: 59
1369.70/1377.44	c current bound: 59
1370.09/1377.82	c current bound: 59
1370.47/1378.20	c current bound: 59
1370.85/1378.58	c current bound: 59
1371.43/1379.04	c current bound: 59
1371.77/1379.42	c current bound: 59
1372.00/1379.81	c current bound: 59
1372.38/1380.18	c current bound: 59
1372.86/1380.59	c current bound: 59
1373.16/1380.97	c current bound: 59
1373.53/1381.35	c current bound: 59
1373.91/1381.73	c current bound: 59
1374.30/1382.11	c current bound: 59
1374.68/1382.49	c current bound: 59
1375.07/1382.87	c current bound: 59
1375.44/1383.25	c current bound: 59
1375.82/1383.63	c current bound: 59
1376.21/1384.04	c current bound: 59
1376.59/1384.42	c current bound: 59
1377.16/1384.80	c current bound: 59
1377.35/1385.18	c current bound: 59
1377.74/1385.56	c current bound: 59
1378.27/1385.95	c current bound: 59
1378.51/1386.34	c current bound: 59
1378.89/1386.71	c current bound: 59
1379.37/1387.08	c current bound: 59
1379.62/1387.45	c current bound: 59
1380.00/1387.83	c current bound: 59
1380.46/1388.20	c current bound: 59
1380.75/1388.57	c current bound: 59
1381.12/1388.95	c current bound: 59
1381.65/1389.32	c current bound: 59
1381.87/1389.69	c current bound: 59
1382.24/1390.07	c current bound: 59
1382.76/1390.44	c current bound: 59
1382.98/1390.81	c current bound: 59
1383.36/1391.19	c current bound: 59
1383.86/1391.56	c current bound: 59
1384.10/1391.93	c current bound: 59
1384.48/1392.30	c current bound: 59
1384.97/1392.68	c current bound: 59
1385.23/1393.05	c current bound: 59
1385.60/1393.42	c current bound: 59
1386.17/1393.80	c current bound: 59
1386.36/1394.17	c current bound: 59
1386.72/1394.54	c current bound: 59
1387.10/1394.92	c current bound: 59
1387.47/1395.29	c current bound: 59
1387.84/1395.66	c current bound: 59
1388.22/1396.04	c current bound: 59
1388.59/1396.41	c current bound: 59
1388.96/1396.79	c current bound: 59
1389.34/1397.17	c current bound: 59
1389.71/1397.54	c current bound: 59
1390.09/1397.91	c current bound: 59
1390.46/1398.29	c current bound: 59
1390.84/1398.66	c current bound: 59
1391.21/1399.07	c current bound: 59
1391.58/1399.44	c current bound: 59
1391.96/1399.82	c current bound: 59
1392.32/1400.19	c current bound: 59
1392.71/1400.56	c current bound: 59
1393.08/1400.93	c current bound: 59
1393.63/1401.31	c current bound: 59
1393.84/1401.68	c current bound: 59
1394.20/1402.05	c current bound: 59
1394.73/1402.43	c current bound: 59
1395.13/1402.80	c current bound: 59
1395.32/1403.17	c current bound: 59
1395.83/1403.54	c current bound: 59
1396.07/1403.92	c current bound: 59
1396.44/1404.29	c current bound: 59
1396.94/1404.66	c current bound: 59
1397.18/1405.03	c current bound: 59
1397.55/1405.41	c current bound: 59
1398.04/1405.78	c current bound: 59
1398.31/1406.16	c current bound: 59
1398.69/1406.53	c current bound: 59
1399.25/1406.90	c current bound: 59
1399.44/1407.28	c current bound: 59
1399.80/1407.65	c current bound: 59
1400.33/1408.02	c current bound: 59
1400.54/1408.39	c current bound: 59
1400.92/1408.77	c current bound: 59
1401.45/1409.14	c current bound: 59
1401.66/1409.52	c current bound: 59
1402.05/1409.89	c current bound: 59
1402.54/1410.27	c current bound: 59
1402.79/1410.64	c current bound: 59
1403.16/1411.01	c current bound: 59
1403.64/1411.39	c current bound: 59
1403.92/1411.76	c current bound: 59
1404.29/1412.13	c current bound: 59
1404.65/1412.51	c current bound: 59
1405.02/1412.88	c current bound: 59
1405.40/1413.25	c current bound: 59
1405.78/1413.64	c current bound: 59
1406.16/1414.01	c current bound: 59
1406.52/1414.40	c current bound: 59
1406.90/1414.78	c current bound: 59
1407.27/1415.16	c current bound: 59
1407.64/1415.53	c current bound: 59
1408.01/1415.90	c current bound: 59
1408.39/1416.28	c current bound: 59
1408.76/1416.65	c current bound: 59
1409.15/1417.04	c current bound: 59
1409.52/1417.41	c current bound: 59
1409.90/1417.78	c current bound: 59
1410.28/1418.16	c current bound: 59
1410.66/1418.53	c current bound: 59
1411.03/1418.90	c current bound: 59
1411.40/1419.27	c current bound: 59
1411.77/1419.65	c current bound: 59
1412.30/1420.02	c current bound: 59
1412.51/1420.39	c current bound: 59
1412.89/1420.76	c current bound: 59
1413.42/1421.14	c current bound: 59
1413.64/1421.51	c current bound: 59
1414.01/1421.88	c current bound: 59
1414.52/1422.25	c current bound: 59
1414.75/1422.64	c current bound: 59
1415.14/1423.01	c current bound: 59
1415.61/1423.38	c current bound: 59
1415.88/1423.75	c current bound: 59
1416.25/1424.16	c current bound: 59
1416.78/1424.54	c current bound: 59
1417.01/1424.91	c current bound: 59
1417.38/1425.28	c current bound: 59
1417.87/1425.65	c current bound: 59
1418.11/1426.03	c current bound: 59
1418.67/1426.40	c current bound: 59
1418.98/1426.77	c current bound: 59
1419.23/1427.14	c current bound: 59
1419.60/1427.52	c current bound: 59
1419.98/1427.90	c current bound: 59
1420.36/1428.27	c current bound: 59
1420.73/1428.64	c current bound: 59
1421.11/1429.02	c current bound: 59
1421.49/1429.39	c current bound: 59
1421.85/1429.76	c current bound: 59
1422.23/1430.14	c current bound: 59
1422.60/1430.51	c current bound: 59
1422.98/1430.88	c current bound: 59
1423.37/1431.27	c current bound: 59
1423.73/1431.64	c current bound: 59
1424.10/1432.02	c current bound: 59
1424.68/1432.40	c current bound: 59
1424.86/1432.78	c current bound: 59
1425.24/1433.15	c current bound: 59
1425.60/1433.52	c current bound: 59
1425.97/1433.89	c current bound: 59
1426.35/1434.26	c current bound: 59
1426.71/1434.64	c current bound: 59
1427.09/1435.01	c current bound: 59
1427.46/1435.38	c current bound: 59
1427.84/1435.75	c current bound: 59
1428.21/1436.12	c current bound: 59
1428.78/1436.50	c current bound: 59
1428.96/1436.87	c current bound: 59
1429.32/1437.24	c current bound: 59
1429.85/1437.63	c current bound: 59
1430.26/1438.00	c current bound: 59
1430.45/1438.37	c current bound: 59
1430.97/1438.74	c current bound: 59
1431.39/1439.22	c current bound: 59
1431.56/1439.59	c current bound: 59
1432.06/1439.97	c current bound: 59
1432.31/1440.34	c current bound: 59
1432.69/1440.71	c current bound: 59
1433.15/1441.08	c current bound: 59
1433.44/1441.46	c current bound: 59
1433.81/1441.83	c current bound: 59
1434.19/1442.20	c current bound: 59
1434.56/1442.58	c current bound: 59
1434.92/1442.95	c current bound: 59
1435.31/1443.33	c current bound: 59
1435.68/1443.71	c current bound: 59
1436.05/1444.08	c current bound: 59
1436.62/1444.50	c current bound: 59
1436.81/1444.87	c current bound: 59
1437.17/1445.24	c current bound: 59
1437.56/1445.63	c current bound: 59
1437.94/1446.00	c current bound: 59
1438.32/1446.38	c current bound: 59
1438.68/1446.75	c current bound: 59
1439.06/1447.12	c current bound: 59
1439.43/1447.50	c current bound: 59
1439.80/1447.87	c current bound: 59
1440.18/1448.24	c current bound: 59
1440.72/1448.61	c current bound: 59
1440.93/1448.99	c current bound: 59
1441.31/1449.38	c current bound: 59
1441.80/1449.75	c current bound: 59
1442.04/1450.12	c current bound: 59
1442.62/1450.50	c current bound: 59
1442.90/1450.87	c current bound: 59
1443.17/1451.24	c current bound: 59
1443.55/1451.62	c current bound: 59
1444.01/1451.99	c current bound: 59
1444.29/1452.36	c current bound: 59
1444.67/1452.73	c current bound: 59
1445.22/1453.11	c current bound: 59
1445.41/1453.48	c current bound: 59
1445.79/1453.85	c current bound: 59
1446.32/1454.27	c current bound: 59
1446.53/1454.64	c current bound: 59
1446.91/1455.02	c current bound: 59
1447.27/1455.39	c current bound: 59
1447.65/1455.76	c current bound: 59
1448.02/1456.13	c current bound: 59
1448.39/1456.51	c current bound: 59
1448.76/1456.88	c current bound: 59
1449.13/1457.26	c current bound: 59
1449.50/1457.64	c current bound: 59
1449.89/1458.01	c current bound: 59
1450.25/1458.38	c current bound: 59
1450.62/1458.76	c current bound: 59
1451.00/1459.13	c current bound: 59
1451.38/1459.54	c current bound: 59
1451.77/1459.92	c current bound: 59
1452.15/1460.29	c current bound: 59
1452.52/1460.67	c current bound: 59
1452.90/1461.04	c current bound: 59
1453.27/1461.41	c current bound: 59
1453.62/1461.78	c current bound: 59
1454.00/1462.16	c current bound: 59
1454.38/1462.53	c current bound: 59
1454.74/1462.90	c current bound: 59
1455.12/1463.28	c current bound: 59
1455.50/1463.65	c current bound: 59
1456.03/1464.02	c current bound: 59
1456.45/1464.40	c current bound: 59
1456.62/1464.77	c current bound: 59
1457.13/1465.14	c current bound: 59
1457.37/1465.52	c current bound: 59
1457.74/1465.89	c current bound: 59
1458.23/1466.27	c current bound: 59
1458.49/1466.64	c current bound: 59
1458.87/1467.01	c current bound: 59
1459.34/1467.38	c current bound: 59
1459.62/1467.76	c current bound: 59
1459.99/1468.13	c current bound: 59
1460.44/1468.50	c current bound: 59
1460.74/1468.87	c current bound: 59
1461.30/1469.31	c current bound: 59
1461.57/1469.68	c current bound: 59
1461.84/1470.05	c current bound: 59
1462.23/1470.43	c current bound: 59
1462.60/1470.81	c current bound: 59
1462.98/1471.19	c current bound: 59
1463.34/1471.56	c current bound: 59
1463.72/1471.94	c current bound: 59
1464.11/1472.31	c current bound: 59
1464.48/1472.69	c current bound: 59
1464.86/1473.07	c current bound: 59
1465.23/1473.44	c current bound: 59
1465.60/1473.81	c current bound: 59
1465.98/1474.19	c current bound: 59
1466.36/1474.59	c current bound: 59
1466.73/1474.97	c current bound: 59
1467.12/1475.34	c current bound: 59
1467.48/1475.71	c current bound: 59
1467.87/1476.08	c current bound: 59
1468.23/1476.45	c current bound: 59
1468.61/1476.83	c current bound: 59
1468.98/1477.20	c current bound: 59
1469.34/1477.57	c current bound: 59
1469.72/1477.94	c current bound: 59
1470.26/1478.31	c current bound: 59
1470.46/1478.69	c current bound: 59
1470.85/1479.06	c current bound: 59
1471.36/1479.43	c current bound: 59
1471.77/1479.80	c current bound: 59
1471.95/1480.17	c current bound: 59
1472.47/1480.55	c current bound: 59
1472.70/1480.92	c current bound: 59
1473.08/1481.29	c current bound: 59
1473.58/1481.66	c current bound: 59
1473.83/1482.03	c current bound: 59
1474.19/1482.41	c current bound: 59
1474.68/1482.78	c current bound: 59
1474.95/1483.15	c current bound: 59
1475.31/1483.52	c current bound: 59
1475.77/1483.89	c current bound: 59
1476.24/1484.34	c current bound: 59
1476.43/1484.71	c current bound: 59
1476.90/1485.09	c current bound: 59
1477.18/1485.46	c current bound: 59
1477.55/1485.83	c current bound: 59
1477.93/1486.21	c current bound: 59
1478.31/1486.58	c current bound: 59
1478.69/1486.96	c current bound: 59
1479.05/1487.34	c current bound: 59
1479.43/1487.71	c current bound: 59
1479.80/1488.09	c current bound: 59
1480.18/1488.47	c current bound: 59
1480.56/1488.84	c current bound: 59
1480.94/1489.22	c current bound: 59
1481.33/1489.61	c current bound: 59
1481.69/1489.98	c current bound: 59
1482.07/1490.36	c current bound: 59
1482.45/1490.73	c current bound: 59
1482.81/1491.10	c current bound: 59
1483.19/1491.48	c current bound: 59
1483.56/1491.85	c current bound: 59
1483.94/1492.22	c current bound: 59
1484.32/1492.60	c current bound: 59
1484.69/1492.97	c current bound: 59
1485.06/1493.34	c current bound: 59
1485.61/1493.71	c current bound: 59
1485.80/1494.09	c current bound: 59
1486.18/1494.46	c current bound: 59
1486.71/1494.83	c current bound: 59
1487.11/1495.20	c current bound: 59
1487.30/1495.57	c current bound: 59
1487.82/1495.95	c current bound: 59
1488.04/1496.32	c current bound: 59
1488.41/1496.69	c current bound: 59
1488.90/1497.06	c current bound: 59
1489.16/1497.44	c current bound: 59
1489.54/1497.81	c current bound: 59
1490.01/1498.18	c current bound: 59
1490.27/1498.55	c current bound: 59
1490.65/1498.92	c current bound: 59
1491.20/1499.35	c current bound: 59
1491.40/1499.72	c current bound: 59
1491.78/1500.09	c current bound: 59
1492.26/1500.47	c current bound: 59
1492.51/1500.84	c current bound: 59
1492.89/1501.21	c current bound: 59
1493.37/1501.58	c current bound: 59
1493.64/1501.95	c current bound: 59
1494.01/1502.33	c current bound: 59
1494.57/1502.70	c current bound: 59
1494.76/1503.07	c current bound: 59
1495.14/1503.45	c current bound: 59
1495.52/1503.83	c current bound: 59
1496.08/1504.20	c current bound: 59
1496.45/1504.60	c current bound: 59
1496.63/1504.98	c current bound: 59
1497.01/1505.36	c current bound: 59
1497.39/1505.73	c current bound: 59
1497.77/1506.13	c current bound: 59
1498.34/1506.50	c current bound: 59
1498.52/1506.87	c current bound: 59
1498.89/1507.24	c current bound: 59
1499.27/1507.62	c current bound: 59
1499.64/1507.99	c current bound: 59
1500.01/1508.36	c current bound: 59
1500.38/1508.73	c current bound: 59
1500.95/1509.11	c current bound: 59
1501.32/1509.50	c current bound: 59
1501.50/1509.87	c current bound: 59
1502.01/1510.25	c current bound: 59
1502.24/1510.62	c current bound: 59
1502.82/1511.00	c current bound: 59
1503.11/1511.37	c current bound: 59
1503.37/1511.74	c current bound: 59
1503.74/1512.11	c current bound: 59
1504.20/1512.49	c current bound: 59
1504.49/1512.86	c current bound: 59
1504.86/1513.23	c current bound: 59
1505.40/1513.62	c current bound: 59
1505.61/1513.99	c current bound: 59
1505.99/1514.38	c current bound: 59
1506.49/1514.75	c current bound: 59
1506.74/1515.13	c current bound: 59
1507.30/1515.50	c current bound: 59
1507.59/1515.87	c current bound: 59
1507.85/1516.24	c current bound: 59
1508.23/1516.61	c current bound: 59
1508.70/1516.99	c current bound: 59
1508.98/1517.37	c current bound: 59
1509.36/1517.74	c current bound: 59
1509.72/1518.12	c current bound: 59
1510.10/1518.49	c current bound: 59
1510.48/1518.86	c current bound: 59
1510.85/1519.24	c current bound: 59
1511.23/1519.66	c current bound: 59
1511.59/1520.03	c current bound: 59
1511.97/1520.42	c current bound: 59
1512.35/1520.79	c current bound: 59
1512.71/1521.17	c current bound: 59
1513.10/1521.54	c current bound: 59
1513.48/1521.91	c current bound: 59
1513.84/1522.28	c current bound: 59
1514.22/1522.65	c current bound: 59
1514.60/1523.03	c current bound: 59
1514.97/1523.40	c current bound: 59
1515.34/1523.77	c current bound: 59
1515.71/1524.14	c current bound: 59
1516.24/1524.52	c current bound: 59
1516.45/1524.89	c current bound: 59
1516.83/1525.26	c current bound: 59
1517.34/1525.63	c current bound: 59
1517.57/1526.00	c current bound: 59
1517.95/1526.38	c current bound: 59
1518.46/1526.75	c current bound: 59
1518.69/1527.12	c current bound: 59
1519.06/1527.49	c current bound: 59
1519.56/1527.87	c current bound: 59
1519.81/1528.24	c current bound: 59
1520.19/1528.61	c current bound: 59
1520.67/1528.98	c current bound: 59
1520.94/1529.38	c current bound: 59
1521.32/1529.76	c current bound: 59
1521.83/1530.14	c current bound: 59
1522.06/1530.51	c current bound: 59
1522.44/1530.88	c current bound: 59
1522.94/1531.25	c current bound: 59
1523.18/1531.63	c current bound: 59
1523.75/1532.00	c current bound: 59
1524.04/1532.37	c current bound: 59
1524.30/1532.74	c current bound: 59
1524.67/1533.11	c current bound: 59
1525.15/1533.49	c current bound: 59
1525.42/1533.86	c current bound: 59
1525.80/1534.24	c current bound: 59
1526.19/1534.72	c current bound: 59
1526.57/1535.09	c current bound: 59
1526.94/1535.46	c current bound: 59
1527.29/1535.83	c current bound: 59
1527.67/1536.20	c current bound: 59
1528.05/1536.58	c current bound: 59
1528.43/1536.95	c current bound: 59
1528.80/1537.32	c current bound: 59
1529.18/1537.70	c current bound: 59
1529.56/1538.07	c current bound: 59
1529.91/1538.44	c current bound: 59
1530.47/1538.81	c current bound: 59
1530.67/1539.18	c current bound: 59
1531.04/1539.56	c current bound: 59
1531.57/1539.93	c current bound: 59
1531.80/1540.31	c current bound: 59
1532.17/1540.68	c current bound: 59
1532.68/1541.05	c current bound: 59
1532.93/1541.43	c current bound: 59
1533.29/1541.80	c current bound: 59
1533.78/1542.18	c current bound: 59
1534.05/1542.55	c current bound: 59
1534.42/1542.92	c current bound: 59
1534.89/1543.29	c current bound: 59
1535.17/1543.67	c current bound: 59
1535.53/1544.04	c current bound: 59
1536.08/1544.42	c current bound: 59
1536.29/1544.79	c current bound: 59
1536.66/1545.16	c current bound: 59
1537.18/1545.53	c current bound: 59
1537.41/1545.91	c current bound: 59
1537.78/1546.28	c current bound: 59
1538.29/1546.66	c current bound: 59
1538.52/1547.03	c current bound: 59
1539.09/1547.40	c current bound: 59
1539.39/1547.77	c current bound: 59
1539.64/1548.14	c current bound: 59
1540.01/1548.52	c current bound: 59
1540.59/1548.90	c current bound: 59
1540.78/1549.27	c current bound: 59
1541.16/1549.69	c current bound: 59
1541.54/1550.07	c current bound: 59
1541.91/1550.44	c current bound: 59
1542.29/1550.82	c current bound: 59
1542.67/1551.19	c current bound: 59
1543.02/1551.57	c current bound: 59
1543.41/1551.94	c current bound: 59
1543.80/1552.32	c current bound: 59
1544.16/1552.69	c current bound: 59
1544.54/1553.06	c current bound: 59
1544.92/1553.43	c current bound: 59
1545.29/1553.81	c current bound: 59
1545.65/1554.18	c current bound: 59
1546.03/1554.55	c current bound: 59
1546.39/1554.92	c current bound: 59
1546.78/1555.30	c current bound: 59
1547.15/1555.67	c current bound: 59
1547.52/1556.04	c current bound: 59
1548.06/1556.41	c current bound: 59
1548.27/1556.78	c current bound: 59
1548.64/1557.16	c current bound: 59
1549.17/1557.53	c current bound: 59
1549.40/1557.91	c current bound: 59
1549.79/1558.28	c current bound: 59
1550.27/1558.66	c current bound: 59
1550.52/1559.03	c current bound: 59
1550.90/1559.47	c current bound: 59
1551.42/1559.84	c current bound: 59
1551.64/1560.21	c current bound: 59
1552.01/1560.58	c current bound: 59
1552.52/1560.96	c current bound: 59
1552.76/1561.33	c current bound: 59
1553.14/1561.70	c current bound: 59
1553.61/1562.08	c current bound: 59
1553.88/1562.45	c current bound: 59
1554.26/1562.82	c current bound: 59
1554.63/1563.19	c current bound: 59
1555.01/1563.57	c current bound: 59
1555.39/1563.95	c current bound: 59
1555.77/1564.33	c current bound: 59
1556.14/1564.72	c current bound: 59
1556.52/1565.09	c current bound: 59
1556.89/1565.47	c current bound: 59
1557.27/1565.85	c current bound: 59
1557.64/1566.22	c current bound: 59
1558.01/1566.59	c current bound: 59
1558.39/1566.97	c current bound: 59
1558.75/1567.34	c current bound: 59
1559.14/1567.72	c current bound: 59
1559.52/1568.09	c current bound: 59
1559.88/1568.46	c current bound: 59
1560.25/1568.84	c current bound: 59
1560.64/1569.21	c current bound: 59
1561.00/1569.58	c current bound: 59
1561.38/1569.95	c current bound: 59
1561.76/1570.32	c current bound: 59
1562.13/1570.70	c current bound: 59
1562.50/1571.07	c current bound: 59
1562.86/1571.44	c current bound: 59
1563.41/1571.81	c current bound: 59
1563.61/1572.18	c current bound: 59
1563.99/1572.55	c current bound: 59
1564.52/1572.93	c current bound: 59
1564.92/1573.30	c current bound: 59
1565.12/1573.67	c current bound: 59
1565.62/1574.05	c current bound: 59
1565.85/1574.48	c current bound: 59
1566.23/1574.85	c current bound: 59
1566.78/1575.22	c current bound: 59
1567.17/1575.60	c current bound: 59
1567.35/1575.97	c current bound: 59
1567.87/1576.34	c current bound: 59
1568.09/1576.71	c current bound: 59
1568.47/1577.09	c current bound: 59
1568.97/1577.46	c current bound: 59
1569.22/1577.84	c current bound: 59
1569.59/1578.21	c current bound: 59
1570.07/1578.59	c current bound: 59
1570.34/1578.96	c current bound: 59
1570.71/1579.33	c current bound: 59
1571.10/1579.71	c current bound: 59
1571.46/1580.09	c current bound: 59
1571.84/1580.46	c current bound: 59
1572.22/1580.84	c current bound: 59
1572.58/1581.21	c current bound: 59
1572.95/1581.58	c current bound: 59
1573.34/1581.96	c current bound: 59
1573.71/1582.34	c current bound: 59
1574.08/1582.71	c current bound: 59
1574.47/1583.09	c current bound: 59
1574.84/1583.46	c current bound: 59
1575.22/1583.83	c current bound: 59
1575.58/1584.21	c current bound: 59
1575.95/1584.58	c current bound: 59
1576.33/1584.96	c current bound: 59
1576.70/1585.33	c current bound: 59
1577.26/1585.70	c current bound: 59
1577.44/1586.07	c current bound: 59
1577.82/1586.46	c current bound: 59
1578.20/1586.83	c current bound: 59
1578.58/1587.20	c current bound: 59
1578.95/1587.57	c current bound: 59
1579.31/1587.95	c current bound: 59
1579.86/1588.32	c current bound: 59
1580.07/1588.69	c current bound: 59
1580.44/1589.06	c current bound: 59
1581.01/1589.52	c current bound: 59
1581.19/1589.89	c current bound: 59
1581.56/1590.27	c current bound: 59
1582.08/1590.64	c current bound: 59
1582.30/1591.01	c current bound: 59
1582.67/1591.38	c current bound: 59
1583.18/1591.76	c current bound: 59
1583.42/1592.13	c current bound: 59
1583.99/1592.50	c current bound: 59
1584.29/1592.87	c current bound: 59
1584.54/1593.25	c current bound: 59
1584.91/1593.62	c current bound: 59
1585.48/1594.00	c current bound: 59
1585.66/1594.37	c current bound: 59
1586.03/1594.81	c current bound: 59
1586.43/1595.19	c current bound: 59
1586.80/1595.56	c current bound: 59
1587.18/1595.94	c current bound: 59
1587.56/1596.33	c current bound: 59
1588.12/1596.70	c current bound: 59
1588.30/1597.07	c current bound: 59
1588.68/1597.45	c current bound: 59
1589.05/1597.82	c current bound: 59
1589.43/1598.20	c current bound: 59
1589.81/1598.57	c current bound: 59
1590.19/1598.94	c current bound: 59
1590.74/1599.32	c current bound: 59
1590.93/1599.69	c current bound: 59
1591.30/1600.06	c current bound: 59
1591.82/1600.43	c current bound: 59
1592.04/1600.81	c current bound: 59
1592.42/1601.18	c current bound: 59
1592.93/1601.55	c current bound: 59
1593.17/1601.92	c current bound: 59
1593.53/1602.29	c current bound: 59
1594.03/1602.67	c current bound: 59
1594.28/1603.04	c current bound: 59
1594.65/1603.42	c current bound: 59
1595.12/1603.79	c current bound: 59
1595.42/1604.16	c current bound: 59
1595.79/1604.54	c current bound: 59
1596.35/1604.91	c current bound: 59
1596.53/1605.28	c current bound: 59
1596.90/1605.65	c current bound: 59
1597.43/1606.03	c current bound: 59
1597.85/1606.40	c current bound: 59
1598.02/1606.77	c current bound: 59
1598.55/1607.14	c current bound: 59
1598.78/1607.51	c current bound: 59
1599.14/1607.89	c current bound: 59
1599.64/1608.26	c current bound: 59
1599.90/1608.63	c current bound: 59
1600.45/1609.00	c current bound: 59
1600.74/1609.37	c current bound: 59
1601.01/1609.75	c current bound: 59
1601.39/1610.12	c current bound: 59
1601.76/1610.52	c current bound: 59
1602.15/1610.89	c current bound: 59
1602.53/1611.26	c current bound: 59
1602.91/1611.64	c current bound: 59
1603.29/1612.02	c current bound: 59
1603.68/1612.39	c current bound: 59
1604.04/1612.77	c current bound: 59
1604.41/1613.15	c current bound: 59
1604.78/1613.52	c current bound: 59
1605.35/1613.90	c current bound: 59
1605.53/1614.27	c current bound: 59
1605.91/1614.64	c current bound: 59
1606.29/1615.03	c current bound: 59
1606.66/1615.40	c current bound: 59
1607.04/1615.77	c current bound: 59
1607.41/1616.15	c current bound: 59
1607.78/1616.52	c current bound: 59
1608.15/1616.89	c current bound: 59
1608.52/1617.26	c current bound: 59
1608.91/1617.64	c current bound: 59
1609.47/1618.01	c current bound: 59
1609.64/1618.38	c current bound: 59
1610.01/1618.77	c current bound: 59
1610.54/1619.14	c current bound: 59
1610.79/1619.55	c current bound: 59
1611.15/1619.93	c current bound: 59
1611.60/1620.30	c current bound: 59
1611.89/1620.67	c current bound: 59
1612.26/1621.05	c current bound: 59
1612.80/1621.42	c current bound: 59
1613.01/1621.79	c current bound: 59
1613.38/1622.17	c current bound: 59
1613.90/1622.54	c current bound: 59
1614.13/1622.91	c current bound: 59
1614.50/1623.29	c current bound: 59
1615.00/1623.66	c current bound: 59
1615.25/1624.03	c current bound: 59
1615.62/1624.40	c current bound: 59
1616.00/1624.84	c current bound: 59
1616.37/1625.21	c current bound: 59
1616.96/1625.60	c current bound: 59
1617.14/1625.98	c current bound: 59
1617.51/1626.36	c current bound: 59
1617.88/1626.73	c current bound: 59
1618.25/1627.10	c current bound: 59
1618.63/1627.48	c current bound: 59
1619.01/1627.85	c current bound: 59
1619.39/1628.24	c current bound: 59
1619.78/1628.61	c current bound: 59
1620.15/1628.98	c current bound: 59
1620.51/1629.36	c current bound: 59
1620.89/1629.77	c current bound: 59
1621.43/1630.14	c current bound: 59
1621.66/1630.51	c current bound: 59
1622.04/1630.88	c current bound: 59
1622.53/1631.26	c current bound: 59
1622.77/1631.63	c current bound: 59
1623.34/1632.00	c current bound: 59
1623.63/1632.37	c current bound: 59
1623.89/1632.75	c current bound: 59
1624.26/1633.12	c current bound: 59
1624.73/1633.49	c current bound: 59
1625.01/1633.86	c current bound: 59
1625.39/1634.24	c current bound: 59
1625.95/1634.61	c current bound: 59
1626.13/1634.98	c current bound: 59
1626.51/1635.35	c current bound: 59
1627.04/1635.72	c current bound: 59
1627.45/1636.10	c current bound: 59
1627.62/1636.47	c current bound: 59
1628.15/1636.84	c current bound: 59
1628.38/1637.21	c current bound: 59
1628.75/1637.58	c current bound: 59
1629.25/1637.96	c current bound: 59
1629.50/1638.33	c current bound: 59
1629.88/1638.70	c current bound: 59
1630.36/1639.07	c current bound: 59
1630.61/1639.45	c current bound: 59
1630.99/1639.82	c current bound: 59
1631.36/1640.20	c current bound: 59
1631.74/1640.58	c current bound: 59
1632.12/1640.95	c current bound: 59
1632.50/1641.33	c current bound: 59
1632.88/1641.71	c current bound: 59
1633.25/1642.08	c current bound: 59
1633.63/1642.46	c current bound: 59
1634.00/1642.83	c current bound: 59
1634.37/1643.21	c current bound: 59
1634.76/1643.59	c current bound: 59
1635.14/1643.96	c current bound: 59
1635.50/1644.34	c current bound: 59
1635.87/1644.71	c current bound: 59
1636.24/1645.08	c current bound: 59
1636.62/1645.46	c current bound: 59
1637.00/1645.83	c current bound: 59
1637.56/1646.20	c current bound: 59
1637.74/1646.57	c current bound: 59
1638.11/1646.95	c current bound: 59
1638.48/1647.32	c current bound: 59
1638.87/1647.69	c current bound: 59
1639.25/1648.07	c current bound: 59
1639.62/1648.44	c current bound: 59
1640.16/1648.81	c current bound: 59
1640.35/1649.18	c current bound: 59
1640.72/1649.61	c current bound: 59
1641.20/1649.99	c current bound: 59
1641.49/1650.36	c current bound: 59
1641.85/1650.74	c current bound: 59
1642.41/1651.11	c current bound: 59
1642.61/1651.50	c current bound: 59
1643.00/1651.87	c current bound: 59
1643.51/1652.24	c current bound: 59
1643.75/1652.61	c current bound: 59
1644.11/1652.98	c current bound: 59
1644.61/1653.36	c current bound: 59
1644.86/1653.73	c current bound: 59
1645.22/1654.11	c current bound: 59
1645.71/1654.48	c current bound: 59
1645.99/1654.87	c current bound: 59
1646.35/1655.24	c current bound: 59
1646.74/1655.62	c current bound: 59
1647.29/1656.00	c current bound: 59
1647.48/1656.37	c current bound: 59
1647.85/1656.75	c current bound: 59
1648.23/1657.12	c current bound: 59
1648.78/1657.50	c current bound: 59
1648.98/1657.88	c current bound: 59
1649.36/1658.25	c current bound: 59
1649.73/1658.62	c current bound: 59
1650.30/1659.00	c current bound: 59
1650.48/1659.37	c current bound: 59
1650.86/1659.74	c current bound: 59
1651.22/1660.12	c current bound: 59
1651.59/1660.49	c current bound: 59
1651.97/1660.86	c current bound: 59
1652.35/1661.24	c current bound: 59
1652.72/1661.61	c current bound: 59
1653.09/1661.99	c current bound: 59
1653.47/1662.36	c current bound: 59
1653.85/1662.73	c current bound: 59
1654.41/1663.10	c current bound: 59
1654.58/1663.48	c current bound: 59
1654.96/1663.85	c current bound: 59
1655.49/1664.22	c current bound: 59
1655.89/1664.62	c current bound: 59
1656.08/1664.99	c current bound: 59
1656.58/1665.36	c current bound: 59
1656.83/1665.74	c current bound: 59
1657.19/1666.11	c current bound: 59
1657.67/1666.48	c current bound: 59
1657.94/1666.85	c current bound: 59
1658.31/1667.22	c current bound: 59
1658.88/1667.60	c current bound: 59
1659.06/1667.98	c current bound: 59
1659.44/1668.36	c current bound: 59
1659.97/1668.73	c current bound: 59
1660.38/1669.10	c current bound: 59
1660.56/1669.48	c current bound: 59
1661.05/1669.88	c current bound: 59
1661.31/1670.25	c current bound: 59
1661.68/1670.63	c current bound: 59
1662.07/1671.01	c current bound: 59
1662.45/1671.38	c current bound: 59
1662.82/1671.76	c current bound: 59
1663.19/1672.14	c current bound: 59
1663.57/1672.51	c current bound: 59
1663.95/1672.88	c current bound: 59
1664.33/1673.26	c current bound: 59
1664.69/1673.63	c current bound: 59
1665.06/1674.01	c current bound: 59
1665.44/1674.38	c current bound: 59
1665.82/1674.75	c current bound: 59
1666.19/1675.13	c current bound: 59
1666.75/1675.50	c current bound: 59
1666.94/1675.87	c current bound: 59
1667.31/1676.25	c current bound: 59
1667.68/1676.62	c current bound: 59
1668.05/1676.99	c current bound: 59
1668.41/1677.37	c current bound: 59
1668.80/1677.74	c current bound: 59
1669.18/1678.11	c current bound: 59
1669.55/1678.49	c current bound: 59
1669.92/1678.86	c current bound: 59
1670.29/1679.23	c current bound: 59
1670.86/1679.63	c current bound: 59
1671.04/1680.01	c current bound: 59
1671.42/1680.38	c current bound: 59
1671.93/1680.75	c current bound: 59
1672.17/1681.12	c current bound: 59
1672.54/1681.49	c current bound: 59
1673.03/1681.87	c current bound: 59
1673.28/1682.24	c current bound: 59
1673.66/1682.61	c current bound: 59
1674.13/1682.99	c current bound: 59
1674.41/1683.36	c current bound: 59
1674.79/1683.73	c current bound: 59
1675.33/1684.11	c current bound: 59
1675.54/1684.48	c current bound: 59
1675.91/1684.93	c current bound: 59
1676.29/1685.31	c current bound: 59
1676.65/1685.68	c current bound: 59
1677.03/1686.05	c current bound: 59
1677.41/1686.44	c current bound: 59
1677.79/1686.81	c current bound: 59
1678.16/1687.18	c current bound: 59
1678.54/1687.57	c current bound: 59
1678.91/1687.94	c current bound: 59
1679.28/1688.31	c current bound: 59
1679.65/1688.68	c current bound: 59
1680.02/1689.06	c current bound: 59
1680.40/1689.43	c current bound: 59
1680.79/1689.82	c current bound: 59
1681.17/1690.19	c current bound: 59
1681.54/1690.57	c current bound: 59
1681.93/1690.95	c current bound: 59
1682.30/1691.32	c current bound: 59
1682.66/1691.69	c current bound: 59
1683.04/1692.07	c current bound: 59
1683.42/1692.44	c current bound: 59
1683.96/1692.81	c current bound: 59
1684.16/1693.19	c current bound: 59
1684.53/1693.56	c current bound: 59
1685.06/1693.93	c current bound: 59
1685.28/1694.30	c current bound: 59
1685.65/1694.68	c current bound: 59
1686.16/1695.05	c current bound: 59
1686.41/1695.43	c current bound: 59
1686.98/1695.80	c current bound: 59
1687.27/1696.17	c current bound: 59
1687.53/1696.55	c current bound: 59
1687.89/1696.92	c current bound: 59
1688.37/1697.29	c current bound: 59
1688.65/1697.66	c current bound: 59
1689.02/1698.04	c current bound: 59
1689.56/1698.42	c current bound: 59
1689.77/1698.79	c current bound: 59
1690.14/1699.16	c current bound: 59
1690.66/1699.54	c current bound: 59
1690.88/1699.91	c current bound: 59
1691.26/1700.28	c current bound: 59
1691.76/1700.65	c current bound: 59
1692.00/1701.02	c current bound: 59
1692.57/1701.40	c current bound: 59
1692.86/1701.77	c current bound: 59
1693.12/1702.14	c current bound: 59
1693.49/1702.52	c current bound: 59
1693.86/1702.89	c current bound: 59
1694.24/1703.26	c current bound: 59
1694.61/1703.63	c current bound: 59
1694.99/1704.01	c current bound: 59
1695.35/1704.38	c current bound: 59
1695.72/1704.76	c current bound: 59
1696.10/1705.15	c current bound: 59
1696.48/1705.52	c current bound: 59
1696.86/1705.89	c current bound: 59
1697.24/1706.28	c current bound: 59
1697.61/1706.65	c current bound: 59
1697.99/1707.02	c current bound: 59
1698.35/1707.39	c current bound: 59
1698.73/1707.77	c current bound: 59
1699.10/1708.14	c current bound: 59
1699.48/1708.52	c current bound: 59
1699.86/1708.89	c current bound: 59
1700.24/1709.27	c current bound: 59
1700.62/1709.69	c current bound: 59
1700.98/1710.06	c current bound: 59
1701.50/1710.43	c current bound: 59
1701.73/1710.81	c current bound: 59
1702.09/1711.18	c current bound: 59
1702.60/1711.55	c current bound: 59
1702.85/1711.92	c current bound: 59
1703.21/1712.29	c current bound: 59
1703.70/1712.67	c current bound: 59
1703.95/1713.04	c current bound: 59
1704.33/1713.41	c current bound: 59
1704.80/1713.79	c current bound: 59
1705.07/1714.16	c current bound: 59
1705.45/1714.53	c current bound: 59
1706.02/1714.90	c current bound: 59
1706.19/1715.28	c current bound: 59
1706.55/1715.65	c current bound: 59
1707.09/1716.02	c current bound: 59
1707.49/1716.40	c current bound: 59
1707.68/1716.77	c current bound: 59
1708.21/1717.14	c current bound: 59
1708.43/1717.52	c current bound: 59
1708.81/1717.89	c current bound: 59
1709.31/1718.26	c current bound: 59
1709.56/1718.63	c current bound: 59
1709.94/1719.01	c current bound: 59
1710.40/1719.38	c current bound: 59
1710.68/1719.75	c current bound: 59
1711.05/1720.12	c current bound: 59
1711.43/1720.49	c current bound: 59
1711.81/1720.87	c current bound: 59
1712.17/1721.24	c current bound: 59
1712.55/1721.61	c current bound: 59
1712.91/1721.99	c current bound: 59
1713.29/1722.36	c current bound: 59
1713.67/1722.74	c current bound: 59
1714.05/1723.11	c current bound: 59
1714.42/1723.48	c current bound: 59
1714.81/1723.86	c current bound: 59
1715.17/1724.23	c current bound: 59
1715.54/1724.61	c current bound: 59
1715.91/1724.99	c current bound: 59
1716.30/1725.36	c current bound: 59
1716.67/1725.73	c current bound: 59
1717.05/1726.12	c current bound: 59
1717.43/1726.49	c current bound: 59
1717.81/1726.86	c current bound: 59
1718.18/1727.24	c current bound: 59
1718.55/1727.61	c current bound: 59
1718.93/1727.98	c current bound: 59
1719.29/1728.35	c current bound: 59
1719.67/1728.73	c current bound: 59
1720.04/1729.10	c current bound: 59
1720.42/1729.47	c current bound: 59
1720.79/1729.84	c current bound: 59
1721.31/1730.22	c current bound: 59
1721.52/1730.59	c current bound: 59
1721.91/1730.96	c current bound: 59
1722.43/1731.33	c current bound: 59
1722.66/1731.71	c current bound: 59
1723.02/1732.08	c current bound: 59
1723.53/1732.45	c current bound: 59
1723.77/1732.82	c current bound: 59
1724.14/1733.20	c current bound: 59
1724.63/1733.57	c current bound: 59
1724.90/1733.94	c current bound: 59
1725.27/1734.31	c current bound: 59
1725.73/1734.69	c current bound: 59
1726.00/1735.12	c current bound: 59
1726.57/1735.50	c current bound: 59
1726.88/1735.87	c current bound: 59
1727.12/1736.24	c current bound: 59
1727.49/1736.61	c current bound: 59
1727.98/1736.99	c current bound: 59
1728.24/1737.36	c current bound: 59
1728.62/1737.73	c current bound: 59
1729.00/1738.11	c current bound: 59
1729.37/1738.49	c current bound: 59
1729.75/1738.86	c current bound: 59
1730.12/1739.24	c current bound: 59
1730.50/1739.61	c current bound: 59
1730.86/1739.98	c current bound: 59
1731.25/1740.37	c current bound: 59
1731.61/1740.74	c current bound: 59
1731.99/1741.11	c current bound: 59
1732.37/1741.49	c current bound: 59
1732.73/1741.86	c current bound: 59
1733.11/1742.23	c current bound: 59
1733.49/1742.61	c current bound: 59
1733.86/1742.98	c current bound: 59
1734.21/1743.35	c current bound: 59
1734.59/1743.72	c current bound: 59
1735.16/1744.10	c current bound: 59
1735.34/1744.47	c current bound: 59
1735.71/1744.84	c current bound: 59
1736.09/1745.21	c current bound: 59
1736.67/1745.61	c current bound: 59
1736.84/1745.98	c current bound: 59
1737.22/1746.35	c current bound: 59
1737.75/1746.72	c current bound: 59
1737.96/1747.11	c current bound: 59
1738.35/1747.48	c current bound: 59
1738.86/1747.85	c current bound: 59
1739.10/1748.23	c current bound: 59
1739.66/1748.60	c current bound: 59
1739.95/1748.97	c current bound: 59
1740.21/1749.34	c current bound: 59
1740.59/1749.71	c current bound: 59
1741.14/1750.12	c current bound: 59
1741.35/1750.49	c current bound: 59
1741.72/1750.86	c current bound: 59
1742.23/1751.23	c current bound: 59
1742.46/1751.60	c current bound: 59
1742.83/1751.98	c current bound: 59
1743.35/1752.35	c current bound: 59
1743.59/1752.73	c current bound: 59
1744.15/1753.10	c current bound: 59
1744.45/1753.48	c current bound: 59
1744.72/1753.85	c current bound: 59
1745.08/1754.22	c current bound: 59
1745.46/1754.60	c current bound: 59
1745.84/1754.98	c current bound: 59
1746.22/1755.35	c current bound: 59
1746.60/1755.73	c current bound: 59
1747.16/1756.10	c current bound: 59
1747.34/1756.47	c current bound: 59
1747.71/1756.84	c current bound: 59
1748.08/1757.22	c current bound: 59
1748.46/1757.59	c current bound: 59
1748.85/1757.97	c current bound: 59
1749.21/1758.34	c current bound: 59
1749.57/1758.71	c current bound: 59
1750.15/1759.10	c current bound: 59
1750.34/1759.47	c current bound: 59
1750.71/1759.85	c current bound: 59
1751.09/1760.22	c current bound: 59
1751.64/1760.60	c current bound: 59
1751.82/1760.97	c current bound: 59
1752.19/1761.34	c current bound: 59
1752.57/1761.71	c current bound: 59
1752.94/1762.08	c current bound: 59
1753.32/1762.46	c current bound: 59
1753.69/1762.83	c current bound: 59
1754.05/1763.20	c current bound: 59
1754.43/1763.57	c current bound: 59
1754.80/1763.94	c current bound: 59
1755.34/1764.32	c current bound: 59
1755.55/1764.69	c current bound: 59
1755.91/1765.06	c current bound: 59
1756.45/1765.43	c current bound: 59
1756.67/1765.81	c current bound: 59
1757.04/1766.18	c current bound: 59
1757.53/1766.55	c current bound: 59
1757.79/1766.94	c current bound: 59
1758.16/1767.31	c current bound: 59
1758.64/1767.69	c current bound: 59
1758.92/1768.06	c current bound: 59
1759.29/1768.43	c current bound: 59
1759.83/1768.81	c current bound: 59
1760.03/1769.18	c current bound: 59
1760.41/1769.55	c current bound: 59
1760.95/1769.95	c current bound: 59
1761.16/1770.32	c current bound: 59
1761.73/1770.74	c current bound: 59
1761.92/1771.12	c current bound: 59
1762.29/1771.49	c current bound: 59
1762.66/1771.87	c current bound: 59
1763.03/1772.24	c current bound: 59
1763.42/1772.63	c current bound: 59
1763.79/1773.01	c current bound: 59
1764.16/1773.39	c current bound: 59
1764.53/1773.76	c current bound: 59
1764.91/1774.13	c current bound: 59
1765.30/1774.52	c current bound: 59
1765.66/1774.89	c current bound: 59
1766.03/1775.26	c current bound: 59
1766.41/1775.64	c current bound: 59
1766.77/1776.01	c current bound: 59
1767.16/1776.38	c current bound: 59
1767.53/1776.75	c current bound: 59
1767.90/1777.12	c current bound: 59
1768.27/1777.50	c current bound: 59
1768.64/1777.87	c current bound: 59
1769.01/1778.24	c current bound: 59
1769.56/1778.61	c current bound: 59
1769.76/1778.99	c current bound: 59
1770.14/1779.36	c current bound: 59
1770.67/1779.74	c current bound: 59
1770.89/1780.14	c current bound: 59
1771.26/1780.51	c current bound: 59
1771.74/1780.88	c current bound: 59
1772.00/1781.26	c current bound: 59
1772.38/1781.63	c current bound: 59
1772.85/1782.00	c current bound: 59
1773.13/1782.37	c current bound: 59
1773.51/1782.74	c current bound: 59
1774.04/1783.11	c current bound: 59
1774.24/1783.49	c current bound: 59
1774.62/1783.86	c current bound: 59
1775.14/1784.23	c current bound: 59
1775.36/1784.60	c current bound: 59
1775.74/1784.98	c current bound: 59
1776.25/1785.35	c current bound: 59
1776.49/1785.72	c current bound: 59
1776.85/1786.09	c current bound: 59
1777.34/1786.46	c current bound: 59
1777.60/1786.84	c current bound: 59
1777.97/1787.21	c current bound: 59
1778.44/1787.58	c current bound: 59
1778.72/1787.95	c current bound: 59
1779.11/1788.33	c current bound: 59
1779.66/1788.70	c current bound: 59
1779.85/1789.08	c current bound: 59
1780.22/1789.45	c current bound: 59
1780.77/1789.90	c current bound: 59
1780.96/1790.27	c current bound: 59
1781.35/1790.65	c current bound: 59
1781.71/1791.02	c current bound: 59
1782.09/1791.39	c current bound: 59
1782.45/1791.76	c current bound: 59
1782.83/1792.13	c current bound: 59
1783.20/1792.50	c current bound: 59
1783.57/1792.88	c current bound: 59
1783.95/1793.25	c current bound: 59
1784.32/1793.62	c current bound: 59
1784.68/1793.99	c current bound: 59
1785.05/1794.37	c current bound: 59
1785.43/1794.74	c current bound: 59
1785.98/1795.11	c current bound: 59
1786.18/1795.48	c current bound: 59
1786.54/1795.86	c current bound: 59
1787.07/1796.23	c current bound: 59
1787.48/1796.60	c current bound: 59
1787.67/1796.97	c current bound: 59
1788.18/1797.35	c current bound: 59
1788.42/1797.72	c current bound: 59
1788.79/1798.09	c current bound: 59
1789.28/1798.47	c current bound: 59
1789.54/1798.84	c current bound: 59
1789.92/1799.21	c current bound: 59
1790.38/1799.58	c current bound: 59
1790.65/1800.08	c current bound: 59
1791.02/1800.45	c current bound: 59
1791.40/1800.83	c current bound: 59
1791.96/1801.20	c current bound: 59
1792.15/1801.57	c current bound: 59
1792.53/1801.95	c current bound: 59
1792.90/1802.32	c current bound: 59
1793.46/1802.70	c current bound: 59
1793.66/1803.08	c current bound: 59
1794.02/1803.46	c current bound: 59
1794.39/1803.83	c current bound: 59
1794.77/1804.20	c current bound: 59
1795.15/1804.58	c current bound: 59
1795.52/1804.98	c current bound: 59
1795.90/1805.35	c current bound: 59
1796.26/1805.73	c current bound: 59
1796.64/1806.10	c current bound: 59
1797.02/1806.48	c current bound: 59
1797.39/1806.85	c current bound: 59
1797.93/1807.23	c current bound: 59
1798.32/1807.60	c current bound: 59
1798.51/1807.97	c current bound: 59
1799.02/1808.35	c current bound: 59
1799.26/1808.72	c current bound: 59
1799.63/1809.09	c current bound: 59
1799.84/1809.10	HOME/npSolver-wbo-Itdqb.sh: line 18:  3773 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3753030-1339206193/watcher-3753030-1339206193 -o /tmp/evaluation-result-3753030-1339206193/solver-3753030-1339206193 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753030-1339206193.wbo 952261933 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.07 3/173 3770
/proc/meminfo: memFree=31267640/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0

[startup+0.0412301 s]
/proc/loadavg: 2.03 2.03 2.07 3/173 3770
/proc/meminfo: memFree=31267640/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100249 s]
/proc/loadavg: 2.03 2.03 2.07 3/173 3770
/proc/meminfo: memFree=31267640/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300128 s]
/proc/loadavg: 2.03 2.03 2.07 3/173 3770
/proc/meminfo: memFree=31267640/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700126 s]
/proc/loadavg: 2.03 2.03 2.07 3/173 3770
/proc/meminfo: memFree=31267640/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50018 s]
/proc/loadavg: 2.03 2.03 2.07 3/183 3786
/proc/meminfo: memFree=31198988/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1.46 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 10792 27756 0 0 33 8 87 18 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422884176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 35732

[startup+3.10036 s]
/proc/loadavg: 2.03 2.03 2.07 3/181 3843
/proc/meminfo: memFree=31207096/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=3.08 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 20417 85586 0 0 52 12 187 57 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35732

[startup+6.30031 s]
/proc/loadavg: 2.11 2.04 2.07 3/181 4001
/proc/meminfo: memFree=31218592/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=5.69 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 37245 171965 0 0 86 17 343 123 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 35732

[startup+12.7003 s]
/proc/loadavg: 2.18 2.06 2.08 3/183 4359
/proc/meminfo: memFree=31198192/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=12.04 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 78113 383744 0 0 169 29 728 278 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 12.04
Current children cumulated vsize (KiB) 35732

[startup+25.5004 s]
/proc/loadavg: 2.21 2.07 2.08 3/183 5084
/proc/meminfo: memFree=31186852/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=24.79 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 159849 807024 0 0 334 53 1494 598 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 24.79
Current children cumulated vsize (KiB) 35732

[startup+51.1003 s]
/proc/loadavg: 2.40 2.13 2.10 3/183 6474
/proc/meminfo: memFree=31167416/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=50.23 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 323321 1652972 0 0 663 103 3025 1232 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (KiB) 35732

[startup+102.307 s]
/proc/loadavg: 2.28 2.15 2.11 3/183 9306
/proc/meminfo: memFree=31175108/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=101.17 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 650265 3347786 0 0 1323 199 6095 2500 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 35732

[startup+162.3 s]
/proc/loadavg: 1.85 2.04 2.07 3/183 12561
/proc/meminfo: memFree=31173208/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=160.95 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 1034896 5326817 0 0 2101 313 9689 3992 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422884176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 10 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 35732

[startup+222.3 s]
/proc/loadavg: 1.77 1.97 2.04 3/183 15855
/proc/meminfo: memFree=31168776/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=220.15 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 1407525 7262398 0 0 2939 437 13195 5444 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 220.15
Current children cumulated vsize (KiB) 35732

[startup+282.3 s]
/proc/loadavg: 1.70 1.90 2.01 3/182 19073
/proc/meminfo: memFree=31204080/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=279.84 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 1782540 9198322 0 0 3812 563 16693 6916 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422884176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 10 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (KiB) 35732

[startup+342.3 s]
/proc/loadavg: 1.72 1.86 1.99 3/183 22354
/proc/meminfo: memFree=31171296/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=339.29 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 2155160 11126553 0 0 4674 686 20180 8389 20 0 1 0 386747843 27222016 5846 33554432000 4194304 6006132 140737422892816 140737422884176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/3773/statm: 6646 5846 177 443 0 6199 0
Current children cumulated CPU time (s) 339.29
Current children cumulated vsize (KiB) 35732

[startup+402.3 s]
/proc/loadavg: 1.71 1.82 1.97 3/183 25554
/proc/meminfo: memFree=31187256/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1176.09
Current children cumulated vsize (KiB) 35732

[startup+1242.3 s]
/proc/loadavg: 1.85 1.75 1.81 3/183 6122
/proc/meminfo: memFree=31181564/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1235.98 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 6237958 39473172 0 0 15825 2236 74208 31329 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422884176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 67 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1235.98
Current children cumulated vsize (KiB) 35732

[startup+1302.3 s]
/proc/loadavg: 1.64 1.70 1.79 3/182 9391
/proc/meminfo: memFree=31154948/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1295.36 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 6478321 41377575 0 0 16630 2343 77726 32837 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422884176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 67 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
[pid=9390] ppid=3773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9390/stat : 9390 (satsolver.sh) S 3773 3770 3271 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386878069 9367552 267 33554432000 4194304 5064252 140737368245968 140737368244880 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9390/statm: 2287 267 226 213 0 72 0
[pid=9391] ppid=9390 vsize=31040 CPUtime=0.04 cores=0,2,4,6
/proc/9391/stat : 9391 (glucose) R 9390 3770 3271 0 -1 4202496 6217 0 0 0 3 1 0 0 20 0 1 0 386878069 31784960 6631 33554432000 4194304 5208918 140736774207184 140736773156824 4469616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9391/statm: 7760 6632 70 248 0 7509 0
Current children cumulated CPU time (s) 1295.4
Current children cumulated vsize (KiB) 75920

[startup+1362.3 s]
/proc/loadavg: 1.66 1.70 1.78 3/183 12622
/proc/meminfo: memFree=31184528/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1354.74 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 6721835 43316840 0 0 17489 2458 81212 34315 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 67 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1354.74
Current children cumulated vsize (KiB) 35732

[startup+1422.31 s]
/proc/loadavg: 1.50 1.65 1.76 3/184 15936
/proc/meminfo: memFree=31179012/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26588 CPUtime=1414.63 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) R 3770 3770 3271 0 -1 4202496 6971614 45285187 0 0 18305 2569 84782 35807 20 0 1 0 386747843 27226112 6035 33554432000 4194304 6006132 140737422892816 140737422884752 5195051 0 0 4096 0 0 0 0 17 4 0 0 69 0 0
/proc/3773/statm: 6647 6035 177 443 0 6200 0
Current children cumulated CPU time (s) 1414.63
Current children cumulated vsize (KiB) 35736

[startup+1482.3 s]
/proc/loadavg: 1.69 1.67 1.75 3/183 19188
/proc/meminfo: memFree=31166380/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1474.19 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 7221413 47270425 0 0 19077 2675 88370 37297 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 79 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1474.19
Current children cumulated vsize (KiB) 35732

[startup+1542.3 s]
/proc/loadavg: 1.62 1.65 1.74 3/181 22504
/proc/meminfo: memFree=31184996/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1533.93 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 7472764 49254096 0 0 19854 2781 91974 38784 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422884176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 83 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1533.93
Current children cumulated vsize (KiB) 35732

[startup+1602.3 s]
/proc/loadavg: 1.67 1.66 1.73 3/183 25761
/proc/meminfo: memFree=31176212/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1593.73 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) R 3770 3770 3271 0 -1 4202496 7723382 51246543 0 0 20628 2885 95586 40274 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422884752 5056705 0 0 4096 0 0 0 0 17 4 0 0 88 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1593.73
Current children cumulated vsize (KiB) 35732

[startup+1662.3 s]
/proc/loadavg: 1.37 1.58 1.70 3/182 29087
/proc/meminfo: memFree=31190964/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1653.47 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 7973922 53238967 0 0 21406 2991 99176 41774 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 93 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1653.47
Current children cumulated vsize (KiB) 35732

[startup+1722.3 s]
/proc/loadavg: 1.56 1.58 1.69 3/183 32351
/proc/meminfo: memFree=31145484/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1713.29 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 8225282 55229747 0 0 22182 3096 102776 43275 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 99 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1713.29
Current children cumulated vsize (KiB) 35732

[startup+1782.3 s]
/proc/loadavg: 1.64 1.60 1.69 3/183 3279
/proc/meminfo: memFree=31164204/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1773.13 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) S 3770 3770 3271 0 -1 4202496 8476642 57223585 0 0 22959 3203 106380 44771 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422883664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 107 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1773.13
Current children cumulated vsize (KiB) 35732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.1 s]
/proc/loadavg: 1.70 1.61 1.69 3/181 4788
/proc/meminfo: memFree=31178404/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1799.84 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) R 3770 3770 3271 0 -1 4202496 8589344 58110909 0 0 23306 3249 107997 45432 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422884752 5056705 0 0 4096 0 0 0 0 17 4 0 0 107 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 35732

Sending SIGTERM to process tree (bottom up)

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

[startup+1809.1 s]
/proc/loadavg: 1.70 1.61 1.69 3/181 4788
/proc/meminfo: memFree=31178404/32873844 swapFree=7116/7116
[pid=3770] ppid=3767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3770/stat : 3770 (npSolver-wbo-It) S 3767 3770 3271 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386747843 9367552 274 33554432000 4194304 5064252 140736959474512 140736959473424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3770/statm: 2287 274 233 213 0 72 0
[pid=3773] ppid=3770 vsize=26584 CPUtime=1799.84 cores=0,2,4,6
/proc/3773/stat : 3773 (npSolver-wbo) R 3770 3770 3271 0 -1 4202496 8589344 58110909 0 0 23306 3249 107997 45432 20 0 1 0 386747843 27222016 6035 33554432000 4194304 6006132 140737422892816 140737422884752 5056705 0 0 4096 0 0 0 0 17 4 0 0 107 0 0
/proc/3773/statm: 6646 6035 177 443 0 6199 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 35732

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.339966
#  lost CPU user time (s): 0.25
#  lost CPU system time (s): 0.0900116

Real time (s): 1809.11
CPU time (s): 1800.2
CPU user time (s): 1313.29
CPU system time (s): 486.918
CPU usage (%): 99.5078
Max. virtual memory (cumulated for all children) (KiB): 79360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1313.04
system time used= 486.828
maximum resident set size= 39376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66700632
page faults= 0
swaps= 0
block input operations= 8
block output operations= 46229168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1066432
involuntary context switches= 53174

runsolver used 5.52516 second user time and 13.9519 second system time

The end

Begin job on node103 at 2012-06-09 03:43:13
IDJOB=3753030
IDBENCH=79089
IDSOLVER=2336
FILE ID=node103/3753030-1339206193
RUNJOBID= node103-1339204392-3287
PBS_JOBID= 14643851
Free space on /tmp= 71264 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j602_7-unsat--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753030-1339206193/watcher-3753030-1339206193 -o /tmp/evaluation-result-3753030-1339206193/solver-3753030-1339206193 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753030-1339206193.wbo 952261933 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 542acc6a88f2f74cb83091764e7f930f
RANDOM SEED=952261933

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31268740 kB
Buffers:          364900 kB
Cached:           338712 kB
SwapCached:         5468 kB
Active:           626784 kB
Inactive:          84260 kB
Active(anon):       2448 kB
Inactive(anon):     7352 kB
Active(file):     624336 kB
Inactive(file):    76908 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096900 kB
Dirty:             17480 kB
Writeback:             0 kB
AnonPages:        108688 kB
Mapped:             8408 kB
Shmem:                 0 kB
Slab:             754580 kB
SReclaimable:     195168 kB
SUnreclaim:       559412 kB
KernelStack:        1520 kB
PageTables:         3368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71244 MiB
End job on node103 at 2012-06-09 04:13:22