	A	B	C	D	E	F	G	H
3
4	Instance	\|V\|	BKS 15 Dec	Is optimal(0\|1)?	NewBKS	Team	Solver	Date

5	C1_2_10	200	2624.7	1
6	C1_2_1	200	2698.6	1
7	C1_2_2	200	2694.3	1
8	C1_2_3	200	2675.8	1
9	C1_2_4	200	2625.6	1
10	C1_2_5	200	2694.9	1
11	C1_2_6	200	2694.9	1
12	C1_2_7	200	2694.9	1
13	C1_2_8	200	2684.0	1
14	C1_2_9	200	2639.6	1
15	C2_2_10	200	1791.2	1
16	C2_2_1	200	1922.1	1
17	C2_2_2	200	1851.4	1
18	C2_2_3	200	1763.4	1
19	C2_2_4	200	1695.0	0
20	C2_2_5	200	1869.6	1
21	C2_2_6	200	1844.8	1
22	C2_2_7	200	1842.2	1
23	C2_2_8	200	1813.7	1
24	C2_2_9	200	1815.0	1
25	R1_2_10	200	3293.1	1
26	R1_2_1	200	4667.2	1
27	R1_2_2	200	3919.9	1
28	R1_2_3	200	3373.9	1
29	R1_2_4	200	3047.6	1
30	R1_2_5	200	4053.2	1
31	R1_2_6	200	3559.1	1
32	R1_2_7	200	3141.9	1
33	R1_2_8	200	2938.4	1
34	R1_2_9	200	3734.7	1
35	R2_2_10	200	2549.4	1
36	R2_2_1	200	3468.0	1
37	R2_2_2	200	3008.2	1
38	R2_2_3	200	2537.5	1
39	R2_2_4	200	1928.5	1
40	R2_2_5	200	3061.1	1
41	R2_2_6	200	2675.4	1
42	R2_2_7	200	2304.7	1
43	R2_2_8	200	1842.4	1
44	R2_2_9	200	2843.3	1
45	RC1_2_10	200	2990.5	0
46	RC1_2_1	200	3516.9	1
47	RC1_2_2	200	3221.6	1
48	RC1_2_3	200	3001.4	1
49	RC1_2_4	200	2845.2	1
50	RC1_2_5	200	3325.6	1
51	RC1_2_6	200	3300.7	1
52	RC1_2_7	200	3177.8	1
53	RC1_2_8	200	3060.0	1
54	RC1_2_9	200	3073.3	0
55	RC2_2_10	200	1989.2	0
56	RC2_2_1	200	2797.4	1
57	RC2_2_2	200	2481.6	1
58	RC2_2_3	200	2227.7	1
59	RC2_2_4	200	1854.8	1
60	RC2_2_5	200	2491.4	1
61	RC2_2_6	200	2495.1	1
62	RC2_2_7	200	2287.7	1
63	RC2_2_8	200	2151.2	1
64	RC2_2_9	200	2086.6	1
65	C1_4_10	400	6825.4	1
66	C1_4_1	400	7138.8	1
67	C1_4_2	400	7113.3	1
68	C1_4_3	400	6929.9	1
69	C1_4_4	400	6777.7	1
70	C1_4_5	400	7138.8	1
71	C1_4_6	400	7140.1	1
72	C1_4_7	400	7136.2	1
73	C1_4_8	400	7083.0	1
74	C1_4_9	400	6927.8	1
75	C2_4_10	400	3665.1	1
76	C2_4_1	400	4100.3	1
77	C2_4_2	400	3914.1	1
78	C2_4_3	400	3758.3	0	3755.2	Vavavuma!	LKHSP	16/12/2021
79	C2_4_4	400	3523.7	0
80	C2_4_5	400	3923.2	1
81	C2_4_6	400	3860.1	1
82	C2_4_7	400	3870.9	1
83	C2_4_8	400	3773.7	1
84	C2_4_9	400	3842.1	0
85	R1_4_10	400	8086.4	0
86	R1_4_1	400	10305.8	1
87	R1_4_2	400	8876.4	0
88	R1_4_3	400	7802.8	0
89	R1_4_4	400	7269.0	0
90	R1_4_5	400	9188.6	0
91	R1_4_6	400	8340.4	1
92	R1_4_7	400	7602.8	0
93	R1_4_8	400	7255.8	0
94	R1_4_9	400	8680.6	0
95	R2_4_10	400	5663.5	0	5645.9	Vavavuma!	LKHSP	16/12/2021
96	R2_4_1	400	7520.7	1
97	R2_4_2	400	6482.8	1
98	R2_4_3	400	5372.9	1
99	R2_4_4	400	4211.2	0
100	R2_4_5	400	6567.9	0
101	R2_4_6	400	5818.3	0
102	R2_4_7	400	4893.5	0
103	R2_4_8	400	4001.0	0
104	R2_4_9	400	6070.2	0	6067.8	Vavavuma!	LKHSP	16/12/2021
105	RC1_4_10	400	7586.3	0	7585.3	Vavavuma!	LKHSP	20/12/2021
106	RC1_4_1	400	8524.0	0
107	RC1_4_2	400	7889.4	0	7884.9	Vavavuma!	LKHSP	20/12/2021
108	RC1_4_3	400	7516.9	0
109	RC1_4_4	400	7295.3	0
110	RC1_4_5	400	8172.4	0
111	RC1_4_6	400	8148.7	0
112	RC1_4_7	400	7942.3	0	7935.4	Vavavuma!	LKHSP	20/12/2021
113	RC1_4_8	400	7765.7	0
114	RC1_4_9	400	7723.6	0	7722.8	Vavavuma!	LKHSP	20/12/2021
115	RC2_4_10	400	4258.1	0	4252.3	Vavavuma!	LKHSP	20/12/2021
116	RC2_4_1	400	6147.3	1
117	RC2_4_2	400	5407.5	1
118	RC2_4_3	400	4573.0	0
119	RC2_4_4	400	3597.9	0
120	RC2_4_5	400	5396.9	0
121	RC2_4_6	400	5332.0	0
122	RC2_4_7	400	4987.8	0
123	RC2_4_8	400	4706.7	0
124	RC2_4_9	400	4510.4	0
125	C1_6_10	600	13636.5	0
126	C1_6_1	600	14076.6	0
127	C1_6_2	600	13948.3	0
128	C1_6_3	600	13757.0	0
129	C1_6_4	600	13572.2	0
130	C1_6_5	600	14066.8	0
131	C1_6_6	600	14070.9	0
132	C1_6_7	600	14066.8	0
133	C1_6_8	600	13991.2	0
134	C1_6_9	600	13701.5	0
135	C2_6_10	600	7123.9	0
136	C2_6_1	600	7752.2	0
137	C2_6_2	600	7474.9	0	7471.5	Vavavuma!	LKHSP	16/12/2021
138	C2_6_3	600	7215.0	0
139	C2_6_4	600	6880.7	0	6877.8	Vavavuma!	LKHSP	20/12/2021
140	C2_6_5	600	7553.8	0
141	C2_6_6	600	7449.8	0
142	C2_6_7	600	7496.7	0	7491.4	Vavavuma!	LKHSP	20/12/2021
143	C2_6_8	600	7303.7	0
144	C2_6_9	600	7303.2	0
145	R1_6_10	600	17648.1	0
146	R1_6_1	600	21276.5	0	21274.2	Vavavuma!	LKHSP	20/12/2021
147	R1_6_2	600	18581.5	0	18571.7	Vavavuma!	LKHSP	20/12/2021
148	R1_6_3	600	16941.8	0	16940.7	Vavavuma!	LKHSP	20/12/2021
149	R1_6_4	600	15774.6	0	15773.6	Vavavuma!	LKHSP	20/12/2021
150	R1_6_5	600	19324.8	0	19305.7	Vavavuma!	LKHSP	20/12/2021
151	R1_6_6	600	17805.4	0	17790.2	Vavavuma!	LKHSP	20/12/2021
152	R1_6_7	600	16555.1	0	16537.2	Vavavuma!	LKHSP	20/12/2021
153	R1_6_8	600	15624.3	0	15617.3	Vavavuma!	LKHSP	20/12/2021
154	R1_6_9	600	18533.1	0	18510	Vavavuma!	LKHSP	20/12/2021
155	R2_6_10	600	11909.5	0	11851.6	Vavavuma!	LKHSP	20/12/2021
156	R2_6_1	600	15153.0	0	15145.3	Vavavuma!	LKHSP	20/12/2021
157	R2_6_2	600	12991.9	0	12986.9	Vavavuma!	LKHSP	20/12/2021
158	R2_6_3	600	10467.2	0	10455.3	Vavavuma!	LKHSP	16/12/2021
159	R2_6_4	600	7941.7	0	7940.3	Vavavuma!	LKHSP	20/12/2021
160	R2_6_5	600	13820.6	0	13809.7	Vavavuma!	LKHSP	20/12/2021
161	R2_6_6	600	11891.3	0	11849.1	Vavavuma!	LKHSP	16/12/2021
162	R2_6_7	600	9841.2	0	9811	Vavavuma!	LKHSP	16/12/2021
163	R2_6_8	600	7512.3	0
164	R2_6_9	600	12775.9	0	12741.9	Vavavuma!	LKHSP	20/12/2021
165	RC1_6_10	600	15673.9	0	15672.8	Vavavuma!	LKHSP	20/12/2021
166	RC1_6_1	600	16985.9	0	16981.3	Vavavuma!	LKHSP	20/12/2021
167	RC1_6_2	600	15989.9	0	15982.6	Vavavuma!	LKHSP	20/12/2021
168	RC1_6_3	600	15236.2	0	15232.1	Vavavuma!	LKHSP	20/12/2021
169	RC1_6_4	600	14778.2	0
170	RC1_6_5	600	16599.8	0	16580.4	Vavavuma!	LKHSP	20/12/2021
171	RC1_6_6	600	16543.9	0	16534.9	Vavavuma!	LKHSP	20/12/2021
172	RC1_6_7	600	16092.6	0	16091.3	Vavavuma!	LKHSP	20/12/2021
173	RC1_6_8	600	15959.8	0	15955.9	Vavavuma!	LKHSP	20/12/2021
174	RC1_6_9	600	15856.0	0	15837.5	Vavavuma!	LKHSP	20/12/2021
175	RC2_6_10	600	9014.8	0
176	RC2_6_1	600	11981.0	0	11979.3	Vavavuma!	LKHSP	16/12/2021
177	RC2_6_2	600	10336.9	0
178	RC2_6_3	600	8907.4	0	8894.9	Vavavuma!	LKHSP	16/12/2021
179	RC2_6_4	600	7008.1	0	6989.4	Vavavuma!	LKHSP	20/12/2021
180	RC2_6_5	600	11084.2	0	11082.5	Vavavuma!	LKHSP	20/12/2021
181	RC2_6_6	600	10869.0	0	10843.1	Vavavuma!	LKHSP	16/12/2021
182	RC2_6_7	600	10343.4	0	10310.9	Vavavuma!	LKHSP	16/12/2021
183	RC2_6_8	600	9820.0	0
184	RC2_6_9	600	9483.2	0	9449.4	Vavavuma!	LKHSP	20/12/2021
185	C1_8_10	800	24038.2	0	24030.4	Vavavuma!	LKHSP	20/12/2021
186	C1_8_1	800	25156.9	0
187	C1_8_2	800	24975.4	0	24974.1	Vavavuma!	LKHSP	20/12/2021
188	C1_8_3	800	24201.6	0	24198.9	Vavavuma!	LKHSP	20/12/2021
189	C1_8_4	800	23841.0	0	23812.7	Vavavuma!	LKHSP	20/12/2021
190	C1_8_5	800	25138.6	0
191	C1_8_6	800	25133.3	0
192	C1_8_7	800	25127.3	0
193	C1_8_8	800	24905.9	0	24882.5	Vavavuma!	LKHSP	20/12/2021
194	C1_8_9	800	24219.0	0	24200.4	Vavavuma!	LKHSP	20/12/2021
195	C2_8_10	800	10946.0	0
196	C2_8_1	800	11631.9	0
197	C2_8_2	800	11394.5	0
198	C2_8_3	800	11138.1	0
199	C2_8_4	800	10688.0	0	10682.8	Vavavuma!	LKHSP	20/12/2021
200	C2_8_5	800	11395.6	0
201	C2_8_6	800	11316.3	0
202	C2_8_7	800	11332.9	0
203	C2_8_8	800	11133.9	0
204	C2_8_9	800	11140.4	0
205	R1_8_10	800	31116.7	0	31059.8	Vavavuma!	LKHSP	20/12/2021
206	R1_8_1	800	36429.0	0	36393.3	Vavavuma!	LKHSP	20/12/2021
207	R1_8_2	800	32400.8	0	32352.3	Vavavuma!	LKHSP	20/12/2021
208	R1_8_3	800	29439.6	0	29429.1	Vavavuma!	LKHSP	20/12/2021
209	R1_8_4	800	27866.5	0	27844.4	Vavavuma!	LKHSP	20/12/2021
210	R1_8_5	800	33640.7	0	33640	Vavavuma!	LKHSP	20/12/2021
211	R1_8_6	800	31041.3	0	30989.5	Vavavuma!	LKHSP	20/12/2021
212	R1_8_7	800	28989.1	0	28954.7	Vavavuma!	LKHSP	20/12/2021
213	R1_8_8	800	27723.2	0	27715.8	Vavavuma!	LKHSP	20/12/2021
214	R1_8_9	800	32390.5	0	32381.1	Vavavuma!	LKHSP	20/12/2021
215	R2_8_10	800	20137.8	0	20016.5	Vavavuma!	LKHSP	20/12/2021
216	R2_8_1	800	25033.5	0	24986.8	Vavavuma!	LKHSP	20/12/2021
217	R2_8_2	800	21452.6	0	21330.2	Vavavuma!	LKHSP	20/12/2021
218	R2_8_3	800	17239.2	0	17238.1	Vavavuma!	LKHSP	20/12/2021
219	R2_8_4	800	13198.4	0
220	R2_8_5	800	22875.7	0	22802	Vavavuma!	LKHSP	20/12/2021
221	R2_8_6	800	19805.0	0	19754.5	Vavavuma!	LKHSP	20/12/2021
222	R2_8_7	800	16470.1	0	16400.3	Vavavuma!	LKHSP	20/12/2021
223	R2_8_8	800	12727.5	0	12708.5	Vavavuma!	LKHSP	20/12/2021
224	R2_8_9	800	21380.9	0	21298.8	Vavavuma!	LKHSP	16/12/2021
225	RC1_8_10	800	28228.7	0	28210.7	Vavavuma!	LKHSP	20/12/2021
226	RC1_8_1	800	30062.4	0	30039.5	Vavavuma!	LKHSP	20/12/2021
227	RC1_8_2	800	28375.4	0	28363.3	Vavavuma!	LKHSP	20/12/2021
228	RC1_8_3	800	27505.5	0	27504.5	Vavavuma!	LKHSP	20/12/2021
229	RC1_8_4	800	26595.5	0	26595.4	Vavavuma!	LKHSP	20/12/2021
230	RC1_8_5	800	29306.4	0
231	RC1_8_6	800	29272.3	0	29247.1	Vavavuma!	LKHSP	20/12/2021
232	RC1_8_7	800	28868.9	0	28858.6	Vavavuma!	LKHSP	20/12/2021
233	RC1_8_8	800	28517.8	0	28505	Vavavuma!	LKHSP	20/12/2021
234	RC1_8_9	800	28411.5	0	28400.5	Vavavuma!	LKHSP	20/12/2021
235	RC2_8_10	800	14515.8	0	14445.3	Vavavuma!	LKHSP	20/12/2021
236	RC2_8_1	800	19269.4	0	19213.2	Vavavuma!	LKHSP	20/12/2021
237	RC2_8_2	800	16772.6	0	16712	Vavavuma!	LKHSP	20/12/2021
238	RC2_8_3	800	14079.3	0	14046.1	Vavavuma!	LKHSP	20/12/2021
239	RC2_8_4	800	11050.2	0	11031.6	Vavavuma!	LKHSP	20/12/2021
240	RC2_8_5	800	17541.7	0	17493.3	Vavavuma!	LKHSP	20/12/2021
241	RC2_8_6	800	17250.1	0
242	RC2_8_7	800	16521.1	0	16445.4	Vavavuma!	LKHSP	16/12/2021
243	RC2_8_8	800	15615.3	0	15601.6	Vavavuma!	LKHSP	20/12/2021
244	RC2_8_9	800	15252.4	0	15251.7	Vavavuma!	LKHSP	20/12/2021
245	C1_10_10	1000	39884.0	0	39874.5	Vavavuma!	LKHSP	20/12/2021
246	C1_10_1	1000	42444.8	0
247	C1_10_2	1000	41510.8	0	41392.7	Vavavuma!	LKHSP	20/12/2021
248	C1_10_3	1000	40160.0	0	40146.2	Vavavuma!	LKHSP	20/12/2021
249	C1_10_4	1000	39490.9	0
250	C1_10_5	1000	42434.8	0
251	C1_10_6	1000	42437.0	0
252	C1_10_7	1000	42420.4	0
253	C1_10_8	1000	41931.0	0	41837.8	Vavavuma!	LKHSP	20/12/2021
254	C1_10_9	1000	40387.1	0	40366.7	Vavavuma!	LKHSP	20/12/2021
255	C2_10_10	1000	15728.6	0
256	C2_10_1	1000	16841.1	0
257	C2_10_2	1000	16462.6	0
258	C2_10_3	1000	16036.5	0
259	C2_10_4	1000	15593.6	0	15482.9	Vavavuma!	LKHSP	20/12/2021
260	C2_10_5	1000	16521.3	0
261	C2_10_6	1000	16290.7	0
262	C2_10_7	1000	16378.4	0
263	C2_10_8	1000	16030.7	0	16029.1	Vavavuma!	LKHSP	20/12/2021
264	C2_10_9	1000	16077.0	0
265	R1_10_10	1000	47640.5	0	47570.6	Vavavuma!	LKHSP	20/12/2021
266	R1_10_1	1000	53245.4	0	53233.9	Vavavuma!	LKHSP	20/12/2021
267	R1_10_2	1000	48391.5	0	48369.1	Vavavuma!	LKHSP	20/12/2021
268	R1_10_3	1000	44884.6	0	44862.4	Vavavuma!	LKHSP	20/12/2021
269	R1_10_4	1000	42590.0	0	42577.9	Vavavuma!	LKHSP	20/12/2021
270	R1_10_5	1000	50493.7	0	50487.8	Vavavuma!	LKHSP	20/12/2021
271	R1_10_6	1000	47205.5	0	47145.8	Vavavuma!	LKHSP	20/12/2021
272	R1_10_7	1000	44284.2	0	44231.4	Vavavuma!	LKHSP	20/12/2021
273	R1_10_8	1000	42438.6	0	42435.9	Vavavuma!	LKHSP	20/12/2021
274	R1_10_9	1000	49353.2	0	49334.3	Vavavuma!	LKHSP	20/12/2021
275	R2_10_10	1000	30110.0	0	29956.9	Vavavuma!	LKHSP	20/12/2021
276	R2_10_1	1000	37147.6	0	36899.4	Vavavuma!	LKHSP	20/12/2021
277	R2_10_2	1000	31416.6	0	31296.2	Vavavuma!	LKHSP	20/12/2021
278	R2_10_3	1000	24568.8	0	24422.1	Vavavuma!	LKHSP	20/12/2021
279	R2_10_4	1000	18058.2	0	17968.1	Vavavuma!	LKHSP	20/12/2021
280	R2_10_5	1000	34361.4	0	34233	Vavavuma!	LKHSP	20/12/2021
281	R2_10_6	1000	29437.8	0	29215.3	Vavavuma!	LKHSP	20/12/2021
282	R2_10_7	1000	23309.0	0	23243.8	Vavavuma!	LKHSP	20/12/2021
283	R2_10_8	1000	17606.8	0	17512.7	Vavavuma!	LKHSP	20/12/2021
284	R2_10_9	1000	32289.9	0	32104.9	Vavavuma!	LKHSP	20/12/2021
285	RC1_10_10	1000	43750.9	0	43745.6	Vavavuma!	LKHSP	20/12/2021
286	RC1_10_1	1000	46045.5	0	45948.5	Vavavuma!	LKHSP	20/12/2021
287	RC1_10_2	1000	43870.6	0
288	RC1_10_3	1000	42402.1	0	42338	Vavavuma!	LKHSP	20/12/2021
289	RC1_10_4	1000	41499.3	0	41469.2	Vavavuma!	LKHSP	20/12/2021
290	RC1_10_5	1000	45241.0	0	45235.5	Vavavuma!	LKHSP	20/12/2021
291	RC1_10_6	1000	45174.0	0	45144	Vavavuma!	LKHSP	20/12/2021
292	RC1_10_7	1000	44692.5	0	44686.2	Vavavuma!	LKHSP	20/12/2021
293	RC1_10_8	1000	44159.6	0	44130.8	Vavavuma!	LKHSP	20/12/2021
294	RC1_10_9	1000	44118.3	0	44072.4	Vavavuma!	LKHSP	20/12/2021
295	RC2_10_10	1000	21914.4	0	21848.3	Vavavuma!	LKHSP	20/12/2021
296	RC2_10_1	1000	28269.8	0	28190.8	Vavavuma!	LKHSP	20/12/2021
297	RC2_10_2	1000	24387.5	0	24271.7	Vavavuma!	LKHSP	20/12/2021
298	RC2_10_3	1000	19768.0	0	19747.9	Vavavuma!	LKHSP	20/12/2021
299	RC2_10_4	1000	15804.9	0
300	RC2_10_5	1000	25990.2	0	25892.3	Vavavuma!	LKHSP	20/12/2021
301	RC2_10_6	1000	25911.6	0	25871	Vavavuma!	LKHSP	16/12/2021
302	RC2_10_7	1000	24544.0	0	24451.7	Vavavuma!	LKHSP	20/12/2021
303	RC2_10_8	1000	23473.0	0	23332.3	Vavavuma!	LKHSP	20/12/2021
304	RC2_10_9	1000	22945.5	0	22859.3	Vavavuma!	LKHSP	20/12/2021
305					134
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003