h264: miscellaneous micro-optimisations
[nihav.git] / nihav-itu / src / codecs / h264 / cabac_coder.rs
CommitLineData
696e4e20
KS
1use nihav_core::codecs::{DecoderResult, DecoderError};
2use super::slice::SliceType;
62575103
KS
3#[cfg(target_arch="x86_64")]
4use std::arch::asm;
696e4e20
KS
5
6const NUM_CABAC_CONTEXTS: usize = 1024;
7
62575103 8#[repr(C)]
696e4e20
KS
9pub struct CABAC<'a> {
10 pub src: &'a [u8],
11 pub pos: usize,
12 states: [u8; NUM_CABAC_CONTEXTS], // top bit - MPS, the rest is state index
13
14 cod_range: u16,
15 cod_offset: u16,
16 bitbuf: u16,
17 bits: u8,
18}
19
20
21impl<'a> CABAC<'a> {
22 fn calc_state(qp: u8, m: i8, n: i8) -> u8 {
23 let pre_ctx_state = (((i16::from(m) * i16::from(qp)) >> 4) + i16::from(n)).max(1).min(126) as u8;
24 if pre_ctx_state < 64 {
25 63 - pre_ctx_state
26 } else {
27 (pre_ctx_state - 64) | 0x80
28 }
29 }
30 fn calc_range(qp: u8, idx: usize, states: &mut [u8], start: usize, end: usize) {
31 for (state, &mn) in states[start..=end].iter_mut().zip(CTX_PARAMS[idx][start..=end].iter()) {
32 *state = Self::calc_state(qp, mn[0], mn[1]);
33 }
34 }
35 pub fn new(src: &'a [u8], slice_type: SliceType, slice_qp: u8, cabac_init_idc: usize) -> DecoderResult<Self> {
36 let mut states = [0; NUM_CABAC_CONTEXTS];
37 let idx = if slice_type.is_intra() { 0 } else { cabac_init_idc + 1 };
38 Self::calc_range(slice_qp, idx, &mut states, 60, 63);
39 Self::calc_range(slice_qp, idx, &mut states, 64, 67);
40 Self::calc_range(slice_qp, idx, &mut states, 68, 68);
41 Self::calc_range(slice_qp, idx, &mut states, 69, 69);
42 Self::calc_range(slice_qp, idx, &mut states, 70, 72);
43 Self::calc_range(slice_qp, idx, &mut states, 73, 76);
44 Self::calc_range(slice_qp, idx, &mut states, 77, 84);
45 Self::calc_range(slice_qp, idx, &mut states, 85, 104);
46 Self::calc_range(slice_qp, idx, &mut states, 105, 165);
47 Self::calc_range(slice_qp, idx, &mut states, 166, 226);
48 Self::calc_range(slice_qp, idx, &mut states, 227, 275);
49 Self::calc_range(slice_qp, idx, &mut states, 277, 337);
50 Self::calc_range(slice_qp, idx, &mut states, 338, 398);
51 Self::calc_range(slice_qp, idx, &mut states, 399, 401);
52 Self::calc_range(slice_qp, idx, &mut states, 402, 416);
53 Self::calc_range(slice_qp, idx, &mut states, 417, 425);
54 Self::calc_range(slice_qp, idx, &mut states, 426, 435);
55 match slice_type {
56 SliceType::I => {
57 Self::calc_range(slice_qp, idx, &mut states, 3, 10);
58 },
59 SliceType::SI => {
60 Self::calc_range(slice_qp, idx, &mut states, 0, 10);
61 },
62 SliceType::P | SliceType::SP => {
63 Self::calc_range(slice_qp, idx, &mut states, 11, 13);
64 Self::calc_range(slice_qp, idx, &mut states, 14, 20);
65 Self::calc_range(slice_qp, idx, &mut states, 21, 23);
66 Self::calc_range(slice_qp, idx, &mut states, 40, 46);
67 Self::calc_range(slice_qp, idx, &mut states, 47, 53);
68 Self::calc_range(slice_qp, idx, &mut states, 54, 59);
69 },
70 SliceType::B => {
71 Self::calc_range(slice_qp, idx, &mut states, 24, 26);
72 Self::calc_range(slice_qp, idx, &mut states, 27, 35);
73 Self::calc_range(slice_qp, idx, &mut states, 36, 39);
74 Self::calc_range(slice_qp, idx, &mut states, 40, 46);
75 Self::calc_range(slice_qp, idx, &mut states, 47, 53);
76 Self::calc_range(slice_qp, idx, &mut states, 54, 59);
77 },
78 }
79
80 let mut ctx = Self {
81 src,
82 pos: 0,
83 states,
84 cod_range: 0,
85 cod_offset: 0,
86 bitbuf: 0,
87 bits: 0,
88 };
89 ctx.reinit()?;
90 Ok(ctx)
91 }
92 pub fn reinit(&mut self) -> DecoderResult<()> {
93 self.bitbuf = 0;
94 self.bits = 0;
95 self.refill();
96 self.refill();
97 self.cod_range = 0x1FE;
98 self.cod_offset = self.bitbuf >> 7;
99 validate!(self.cod_offset < self.cod_range);
100 self.bitbuf <<= 9;
101 self.bits -= 9;
102 Ok(())
103 }
104 pub fn decode_bypass(&mut self) -> bool {
105 if self.bits == 0 {
106 self.refill();
107 }
108 self.cod_offset <<= 1;
109 self.cod_offset |= self.bitbuf >> 15;
110 self.bitbuf <<= 1;
111 self.bits -= 1;
112 if self.cod_offset >= self.cod_range {
113 self.cod_offset -= self.cod_range;
114 true
115 } else {
116 false
117 }
118 }
119 pub fn decode_bypass_bits(&mut self, nbits: u8) -> u32 {
120 let mut val = 0;
121 for _ in 0..nbits {
122 val = (val << 1) | (self.decode_bypass() as u32)
123 }
124 val
125 }
126 pub fn decode_terminate(&mut self) -> bool {
127 self.cod_range -= 2;
128 if self.cod_offset >= self.cod_range {
129 true
130 } else {
131 self.renorm();
132 false
133 }
134 }
62575103 135 #[cfg(not(target_arch="x86_64"))]
696e4e20
KS
136 pub fn decode_bit(&mut self, idx: usize) -> bool {
137 let mut val_mps = (self.states[idx] & 0x80) != 0;
14833a64 138 let state_idx = (self.states[idx] & 0x3F) as usize;
696e4e20
KS
139 let range_idx = ((self.cod_range >> 6) & 3) as usize;
140 let range_lps = u16::from(RANGE_TBL_LPS[range_idx + state_idx * 4]);
141 self.cod_range -= range_lps;
142 let bit = if self.cod_offset >= self.cod_range {
143 self.cod_offset -= self.cod_range;
144 self.cod_range = range_lps;
145 !val_mps
146 } else {
147 val_mps
148 };
149 self.states[idx] = if bit == val_mps {
4a1ca15c 150 TRANS_IDX_MPS[state_idx] + (if val_mps { 0x80 } else { 0 })
696e4e20
KS
151 } else {
152 if state_idx == 0 {
153 val_mps = !val_mps;
154 }
4a1ca15c
KS
155 TRANS_IDX_LPS[state_idx] + (if val_mps { 0x80 } else { 0 })
156 };
696e4e20
KS
157 self.renorm();
158 bit
159 }
62575103
KS
160 #[cfg(target_arch="x86_64")]
161 pub fn decode_bit(&mut self, idx: usize) -> bool {
162 unsafe {
163 // states offset - 0x18
164 // cod_range offset - 0x418
165 // cod_offset offset - 0x41A
166 let mut bit: u16;
167 asm!(
168 // unpack state
169 "movzx {state_idx:e}, byte ptr [{ctx} + 0x18 + {idx}]",
170 "mov {val_mps:x}, {state_idx:x}",
171 "and {state_idx}, 0x3F",
172 "and {val_mps:r}, 0x80",
173 "movzx {tmp}, word ptr [{ctx} + 0x418]",
174 "mov {bit:r}, {val_mps:r}",
175 "shr {tmp}, 6",
176 "and {tmp}, 3",
177 "lea {range_lps:r}, {range_tab}[rip]",
178 "lea {range_lps:r}, [{range_lps:r} + {state_idx} * 4]",
179 "movzx {range_lps:x}, byte ptr [{range_lps:r} + {tmp}]",
180 // self.cod_range -= range_lps;
181 "sub word ptr [{ctx} + 0x418], {range_lps:x}",
182 // determine bit value
183 "mov {tmp:x}, word ptr [{ctx} + 0x41A]",
184 "cmp {tmp:x}, word ptr [{ctx} + 0x418]",
185 "jl 1f",
186 "sub {tmp:x}, word ptr [{ctx} + 0x418]",
187 "mov word ptr [{ctx} + 0x418], {range_lps:x}",
188 "mov word ptr [{ctx} + 0x41A], {tmp:x}",
189 "xor {bit:l}, 0x80",
190 "1:",
191 // update state[idx]
192 "cmp {bit:x}, {val_mps:x}",
193 "jne 2f",
194 "lea {tmp}, {trans_idx_mps}[rip]",
195 "jmp 3f",
196 "2:",
197 "lea {tmp}, {trans_idx_lps}[rip]",
198 "cmp {state_idx}, 0",
199 "jnz 3f",
200 "xor {val_mps:x}, 0x80",
201 "3:",
202 "movzx {tmp}, byte ptr [{tmp} + {state_idx}]",
203 "or {tmp:x}, {val_mps:x}",
204 "mov byte ptr [{ctx} + 0x18 + {idx}], {tmp:l}",
205
206 ctx = inout(reg) self => _,
207 idx = inout(reg) idx => _,
208 bit = out(reg) bit,
209 range_tab = sym RANGE_TBL_LPS,
210 trans_idx_mps = sym TRANS_IDX_MPS,
211 trans_idx_lps = sym TRANS_IDX_LPS,
212 val_mps = out(reg) _,
213 state_idx = out(reg) _,
214 tmp = out(reg) _,
215 range_lps = out(reg) _,
216 );
217
218 self.renorm();
219 bit != 0
220 }
221 }
696e4e20
KS
222 pub fn decode_bits(&mut self, mut start: usize, maxidx: usize, len: usize) -> u8 {
223 let mut val = 0;
224 for _ in 0..len {
225 val <<= 1;
226 if self.decode_bit(start) {
227 val |= 1;
228 }
229 if start < maxidx {
230 start += 1;
231 }
232 }
233 val
234 }
235 pub fn decode_012(&mut self, start: usize) -> u8 {
236 if !self.decode_bit(start) {
237 0
754ab49a
KS
238 } else if !self.decode_bit(start + 1) {
239 1
696e4e20 240 } else {
754ab49a 241 2
696e4e20
KS
242 }
243 }
244 fn refill(&mut self) {
245 if self.pos < self.src.len() {
246 self.bitbuf |= u16::from(self.src[self.pos]) << (8 - self.bits);
247 self.pos += 1;
248 }
249 self.bits += 8;
250 }
251 fn renorm(&mut self) {
252 let shift = (self.cod_range.leading_zeros() - 7) as u8;
253 if shift > 0 {
254 if self.bits < shift {
255 self.refill();
256 }
257 self.cod_range <<= shift;
258 self.cod_offset <<= shift;
4a1ca15c 259 self.cod_offset |= self.bitbuf >> (16 - shift);
696e4e20
KS
260 self.bitbuf <<= shift;
261 self.bits -= shift;
262 }
263 }
264}
265
62575103 266static RANGE_TBL_LPS: [u8; 64 * 4] = [
696e4e20
KS
267 128, 176, 208, 240,
268 128, 167, 197, 227,
269 128, 158, 187, 216,
270 123, 150, 178, 205,
271 116, 142, 169, 195,
272 111, 135, 160, 185,
273 105, 128, 152, 175,
274 100, 122, 144, 166,
275 95, 116, 137, 158,
276 90, 110, 130, 150,
277 85, 104, 123, 142,
278 81, 99, 117, 135,
279 77, 94, 111, 128,
280 73, 89, 105, 122,
281 69, 85, 100, 116,
282 66, 80, 95, 110,
283 62, 76, 90, 104,
284 59, 72, 86, 99,
285 56, 69, 81, 94,
286 53, 65, 77, 89,
287 51, 62, 73, 85,
288 48, 59, 69, 80,
289 46, 56, 66, 76,
290 43, 53, 63, 72,
291 41, 50, 59, 69,
292 39, 48, 56, 65,
293 37, 45, 54, 62,
294 35, 43, 51, 59,
295 33, 41, 48, 56,
296 32, 39, 46, 53,
297 30, 37, 43, 50,
298 29, 35, 41, 48,
299 27, 33, 39, 45,
300 26, 31, 37, 43,
301 24, 30, 35, 41,
302 23, 28, 33, 39,
303 22, 27, 32, 37,
304 21, 26, 30, 35,
305 20, 24, 29, 33,
306 19, 23, 27, 31,
307 18, 22, 26, 30,
308 17, 21, 25, 28,
309 16, 20, 23, 27,
310 15, 19, 22, 25,
311 14, 18, 21, 24,
312 14, 17, 20, 23,
313 13, 16, 19, 22,
314 12, 15, 18, 21,
315 12, 14, 17, 20,
316 11, 14, 16, 19,
317 11, 13, 15, 18,
318 10, 12, 15, 17,
319 10, 12, 14, 16,
320 9, 11, 13, 15,
321 9, 11, 12, 14,
322 8, 10, 12, 14,
323 8, 9, 11, 13,
324 7, 9, 11, 12,
325 7, 9, 10, 12,
326 7, 8, 10, 11,
327 6, 8, 9, 11,
328 6, 7, 9, 10,
329 6, 7, 8, 9,
330 2, 2, 2, 2
331];
62575103 332static TRANS_IDX_MPS: [u8; 64] = [
696e4e20
KS
333 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
334 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32,
335 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48,
336 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 62, 63
337];
62575103 338static TRANS_IDX_LPS: [u8; 64] = [
696e4e20
KS
339 0, 0, 1, 2, 2, 4, 4, 5, 6, 7, 8, 9, 9, 11, 11, 12,
340 13, 13, 15, 15, 16, 16, 18, 18, 19, 19, 21, 21, 22, 22, 23, 24,
341 24, 25, 26, 26, 27, 27, 28, 29, 29, 30, 30, 30, 31, 32, 32, 33,
342 33, 33, 34, 34, 35, 35, 35, 36, 36, 36, 37, 37, 37, 38, 38, 63
343];
344
345const CTX_PARAMS: [[[i8; 2]; NUM_CABAC_CONTEXTS]; 4] = [
346 [
347 [ 20, -15], [ 2, 54], [ 3, 74], [ 20, -15],
348 [ 2, 54], [ 3, 74], [-28, 127], [-23, 104],
349 [ -6, 53], [ -1, 54], [ 7, 51], [ 0, 0],
350 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
351 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
352 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
353 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
354 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
355 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
356 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
357 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
358 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
359 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
360 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
361 [ 0, 0], [ 0, 0], [ 0, 0], [ 0, 0],
362 [ 0, 41], [ 0, 63], [ 0, 63], [ 0, 63],
363 [ -9, 83], [ 4, 86], [ 0, 97], [ -7, 72],
364 [ 13, 41], [ 3, 62], [ 0, 11], [ 1, 55],
365 [ 0, 69], [-17, 127], [-13, 102], [ 0, 82],
366 [ -7, 74], [-21, 107], [-27, 127], [-31, 127],
367 [-24, 127], [-18, 95], [-27, 127], [-21, 114],
368 [-30, 127], [-17, 123], [-12, 115], [-16, 122],
369 [-11, 115], [-12, 63], [ -2, 68], [-15, 84],
370 [-13, 104], [ -3, 70], [ -8, 93], [-10, 90],
371 [-30, 127], [ -1, 74], [ -6, 97], [ -7, 91],
372 [-20, 127], [ -4, 56], [ -5, 82], [ -7, 76],
373 [-22, 125], [ -7, 93], [-11, 87], [ -3, 77],
374 [ -5, 71], [ -4, 63], [ -4, 68], [-12, 84],
375 [ -7, 62], [ -7, 65], [ 8, 61], [ 5, 56],
376 [ -2, 66], [ 1, 64], [ 0, 61], [ -2, 78],
377 [ 1, 50], [ 7, 52], [ 10, 35], [ 0, 44],
378 [ 11, 38], [ 1, 45], [ 0, 46], [ 5, 44],
379 [ 31, 17], [ 1, 51], [ 7, 50], [ 28, 19],
380 [ 16, 33], [ 14, 62], [-13, 108], [-15, 100],
381 [-13, 101], [-13, 91], [-12, 94], [-10, 88],
382 [-16, 84], [-10, 86], [ -7, 83], [-13, 87],
383 [-19, 94], [ 1, 70], [ 0, 72], [ -5, 74],
384 [ 18, 59], [ -8, 102], [-15, 100], [ 0, 95],
385 [ -4, 75], [ 2, 72], [-11, 75], [ -3, 71],
386 [ 15, 46], [-13, 69], [ 0, 62], [ 0, 65],
387 [ 21, 37], [-15, 72], [ 9, 57], [ 16, 54],
388 [ 0, 62], [ 12, 72], [ 24, 0], [ 15, 9],
389 [ 8, 25], [ 13, 18], [ 15, 9], [ 13, 19],
390 [ 10, 37], [ 12, 18], [ 6, 29], [ 20, 33],
391 [ 15, 30], [ 4, 45], [ 1, 58], [ 0, 62],
392 [ 7, 61], [ 12, 38], [ 11, 45], [ 15, 39],
393 [ 11, 42], [ 13, 44], [ 16, 45], [ 12, 41],
394 [ 10, 49], [ 30, 34], [ 18, 42], [ 10, 55],
395 [ 17, 51], [ 17, 46], [ 0, 89], [ 26, -19],
396 [ 22, -17], [ 26, -17], [ 30, -25], [ 28, -20],
397 [ 33, -23], [ 37, -27], [ 33, -23], [ 40, -28],
398 [ 38, -17], [ 33, -11], [ 40, -15], [ 41, -6],
399 [ 38, 1], [ 41, 17], [ 30, -6], [ 27, 3],
400 [ 26, 22], [ 37, -16], [ 35, -4], [ 38, -8],
401 [ 38, -3], [ 37, 3], [ 38, 5], [ 42, 0],
402 [ 35, 16], [ 39, 22], [ 14, 48], [ 27, 37],
403 [ 21, 60], [ 12, 68], [ 2, 97], [ -3, 71],
404 [ -6, 42], [ -5, 50], [ -3, 54], [ -2, 62],
405 [ 0, 58], [ 1, 63], [ -2, 72], [ -1, 74],
406 [ -9, 91], [ -5, 67], [ -5, 27], [ -3, 39],
407 [ -2, 44], [ 0, 46], [-16, 64], [ -8, 68],
408 [-10, 78], [ -6, 77], [-10, 86], [-12, 92],
409 [-15, 55], [-10, 60], [ -6, 62], [ -4, 65],
410 [-12, 73], [ -8, 76], [ -7, 80], [ -9, 88],
411 [-17, 110], [-11, 97], [-20, 84], [-11, 79],
412 [ -6, 73], [ -4, 74], [-13, 86], [-13, 96],
413 [-11, 97], [-19, 117], [ -8, 78], [ -5, 33],
414 [ -4, 48], [ -2, 53], [ -3, 62], [-13, 71],
415 [-10, 79], [-12, 86], [-13, 90], [-14, 97],
416 [ 0, 0], [ -6, 93], [ -6, 84], [ -8, 79],
417 [ 0, 66], [ -1, 71], [ 0, 62], [ -2, 60],
418 [ -2, 59], [ -5, 75], [ -3, 62], [ -4, 58],
419 [ -9, 66], [ -1, 79], [ 0, 71], [ 3, 68],
420 [ 10, 44], [ -7, 62], [ 15, 36], [ 14, 40],
421 [ 16, 27], [ 12, 29], [ 1, 44], [ 20, 36],
422 [ 18, 32], [ 5, 42], [ 1, 48], [ 10, 62],
423 [ 17, 46], [ 9, 64], [-12, 104], [-11, 97],
424 [-16, 96], [ -7, 88], [ -8, 85], [ -7, 85],
425 [ -9, 85], [-13, 88], [ 4, 66], [ -3, 77],
426 [ -3, 76], [ -6, 76], [ 10, 58], [ -1, 76],
427 [ -1, 83], [ -7, 99], [-14, 95], [ 2, 95],
428 [ 0, 76], [ -5, 74], [ 0, 70], [-11, 75],
429 [ 1, 68], [ 0, 65], [-14, 73], [ 3, 62],
430 [ 4, 62], [ -1, 68], [-13, 75], [ 11, 55],
431 [ 5, 64], [ 12, 70], [ 15, 6], [ 6, 19],
432 [ 7, 16], [ 12, 14], [ 18, 13], [ 13, 11],
433 [ 13, 15], [ 15, 16], [ 12, 23], [ 13, 23],
434 [ 15, 20], [ 14, 26], [ 14, 44], [ 17, 40],
435 [ 17, 47], [ 24, 17], [ 21, 21], [ 25, 22],
436 [ 31, 27], [ 22, 29], [ 19, 35], [ 14, 50],
437 [ 10, 57], [ 7, 63], [ -2, 77], [ -4, 82],
438 [ -3, 94], [ 9, 69], [-12, 109], [ 36, -35],
439 [ 36, -34], [ 32, -26], [ 37, -30], [ 44, -32],
440 [ 34, -18], [ 34, -15], [ 40, -15], [ 33, -7],
441 [ 35, -5], [ 33, 0], [ 38, 2], [ 33, 13],
442 [ 23, 35], [ 13, 58], [ 29, -3], [ 26, 0],
443 [ 22, 30], [ 31, -7], [ 35, -15], [ 34, -3],
444 [ 34, 3], [ 36, -1], [ 34, 5], [ 32, 11],
445 [ 35, 5], [ 34, 12], [ 39, 11], [ 30, 29],
446 [ 34, 26], [ 29, 39], [ 19, 66], [ 31, 21],
447 [ 31, 31], [ 25, 50], [-17, 120], [-20, 112],
448 [-18, 114], [-11, 85], [-15, 92], [-14, 89],
449 [-26, 71], [-15, 81], [-14, 80], [ 0, 68],
450 [-14, 70], [-24, 56], [-23, 68], [-24, 50],
451 [-11, 74], [ 23, -13], [ 26, -13], [ 40, -15],
452 [ 49, -14], [ 44, 3], [ 45, 6], [ 44, 34],
453 [ 33, 54], [ 19, 82], [ -3, 75], [ -1, 23],
454 [ 1, 34], [ 1, 43], [ 0, 54], [ -2, 55],
455 [ 0, 61], [ 1, 64], [ 0, 68], [ -9, 92],
456 [-14, 106], [-13, 97], [-15, 90], [-12, 90],
457 [-18, 88], [-10, 73], [ -9, 79], [-14, 86],
458 [-10, 73], [-10, 70], [-10, 69], [ -5, 66],
459 [ -9, 64], [ -5, 58], [ 2, 59], [ 21, -10],
460 [ 24, -11], [ 28, -8], [ 28, -1], [ 29, 3],
461 [ 29, 9], [ 35, 20], [ 29, 36], [ 14, 67],
462 [-17, 123], [-12, 115], [-16, 122], [-11, 115],
463 [-12, 63], [ -2, 68], [-15, 84], [-13, 104],
464 [ -3, 70], [ -8, 93], [-10, 90], [-30, 127],
465 [-17, 123], [-12, 115], [-16, 122], [-11, 115],
466 [-12, 63], [ -2, 68], [-15, 84], [-13, 104],
467 [ -3, 70], [ -8, 93], [-10, 90], [-30, 127],
468 [ -7, 93], [-11, 87], [ -3, 77], [ -5, 71],
469 [ -4, 63], [ -4, 68], [-12, 84], [ -7, 62],
470 [ -7, 65], [ 8, 61], [ 5, 56], [ -2, 66],
471 [ 1, 64], [ 0, 61], [ -2, 78], [ 1, 50],
472 [ 7, 52], [ 10, 35], [ 0, 44], [ 11, 38],
473 [ 1, 45], [ 0, 46], [ 5, 44], [ 31, 17],
474 [ 1, 51], [ 7, 50], [ 28, 19], [ 16, 33],
475 [ 14, 62], [-13, 108], [-15, 100], [-13, 101],
476 [-13, 91], [-12, 94], [-10, 88], [-16, 84],
477 [-10, 86], [ -7, 83], [-13, 87], [-19, 94],
478 [ 1, 70], [ 0, 72], [ -5, 74], [ 18, 59],
479 [ -7, 93], [-11, 87], [ -3, 77], [ -5, 71],
480 [ -4, 63], [ -4, 68], [-12, 84], [ -7, 62],
481 [ -7, 65], [ 8, 61], [ 5, 56], [ -2, 66],
482 [ 1, 64], [ 0, 61], [ -2, 78], [ 1, 50],
483 [ 7, 52], [ 10, 35], [ 0, 44], [ 11, 38],
484 [ 1, 45], [ 0, 46], [ 5, 44], [ 31, 17],
485 [ 1, 51], [ 7, 50], [ 28, 19], [ 16, 33],
486 [ 14, 62], [-13, 108], [-15, 100], [-13, 101],
487 [-13, 91], [-12, 94], [-10, 88], [-16, 84],
488 [-10, 86], [ -7, 83], [-13, 87], [-19, 94],
489 [ 1, 70], [ 0, 72], [ -5, 74], [ 18, 59],
490 [ 24, 0], [ 15, 9], [ 8, 25], [ 13, 18],
491 [ 15, 9], [ 13, 19], [ 10, 37], [ 12, 18],
492 [ 6, 29], [ 20, 33], [ 15, 30], [ 4, 45],
493 [ 1, 58], [ 0, 62], [ 7, 61], [ 12, 38],
494 [ 11, 45], [ 15, 39], [ 11, 42], [ 13, 44],
495 [ 16, 45], [ 12, 41], [ 10, 49], [ 30, 34],
496 [ 18, 42], [ 10, 55], [ 17, 51], [ 17, 46],
497 [ 0, 89], [ 26, -19], [ 22, -17], [ 26, -17],
498 [ 30, -25], [ 28, -20], [ 33, -23], [ 37, -27],
499 [ 33, -23], [ 40, -28], [ 38, -17], [ 33, -11],
500 [ 40, -15], [ 41, -6], [ 38, 1], [ 41, 17],
501 [ 24, 0], [ 15, 9], [ 8, 25], [ 13, 18],
502 [ 15, 9], [ 13, 19], [ 10, 37], [ 12, 18],
503 [ 6, 29], [ 20, 33], [ 15, 30], [ 4, 45],
504 [ 1, 58], [ 0, 62], [ 7, 61], [ 12, 38],
505 [ 11, 45], [ 15, 39], [ 11, 42], [ 13, 44],
506 [ 16, 45], [ 12, 41], [ 10, 49], [ 30, 34],
507 [ 18, 42], [ 10, 55], [ 17, 51], [ 17, 46],
508 [ 0, 89], [ 26, -19], [ 22, -17], [ 26, -17],
509 [ 30, -25], [ 28, -20], [ 33, -23], [ 37, -27],
510 [ 33, -23], [ 40, -28], [ 38, -17], [ 33, -11],
511 [ 40, -15], [ 41, -6], [ 38, 1], [ 41, 17],
512 [-17, 120], [-20, 112], [-18, 114], [-11, 85],
513 [-15, 92], [-14, 89], [-26, 71], [-15, 81],
514 [-14, 80], [ 0, 68], [-14, 70], [-24, 56],
515 [-23, 68], [-24, 50], [-11, 74], [-14, 106],
516 [-13, 97], [-15, 90], [-12, 90], [-18, 88],
517 [-10, 73], [ -9, 79], [-14, 86], [-10, 73],
518 [-10, 70], [-10, 69], [ -5, 66], [ -9, 64],
519 [ -5, 58], [ 2, 59], [ 23, -13], [ 26, -13],
520 [ 40, -15], [ 49, -14], [ 44, 3], [ 45, 6],
521 [ 44, 34], [ 33, 54], [ 19, 82], [ 21, -10],
522 [ 24, -11], [ 28, -8], [ 28, -1], [ 29, 3],
523 [ 29, 9], [ 35, 20], [ 29, 36], [ 14, 67],
524 [ -3, 75], [ -1, 23], [ 1, 34], [ 1, 43],
525 [ 0, 54], [ -2, 55], [ 0, 61], [ 1, 64],
526 [ 0, 68], [ -9, 92], [-17, 120], [-20, 112],
527 [-18, 114], [-11, 85], [-15, 92], [-14, 89],
528 [-26, 71], [-15, 81], [-14, 80], [ 0, 68],
529 [-14, 70], [-24, 56], [-23, 68], [-24, 50],
530 [-11, 74], [-14, 106], [-13, 97], [-15, 90],
531 [-12, 90], [-18, 88], [-10, 73], [ -9, 79],
532 [-14, 86], [-10, 73], [-10, 70], [-10, 69],
533 [ -5, 66], [ -9, 64], [ -5, 58], [ 2, 59],
534 [ 23, -13], [ 26, -13], [ 40, -15], [ 49, -14],
535 [ 44, 3], [ 45, 6], [ 44, 34], [ 33, 54],
536 [ 19, 82], [ 21, -10], [ 24, -11], [ 28, -8],
537 [ 28, -1], [ 29, 3], [ 29, 9], [ 35, 20],
538 [ 29, 36], [ 14, 67], [ -3, 75], [ -1, 23],
539 [ 1, 34], [ 1, 43], [ 0, 54], [ -2, 55],
540 [ 0, 61], [ 1, 64], [ 0, 68], [ -9, 92],
541 [ -6, 93], [ -6, 84], [ -8, 79], [ 0, 66],
542 [ -1, 71], [ 0, 62], [ -2, 60], [ -2, 59],
543 [ -5, 75], [ -3, 62], [ -4, 58], [ -9, 66],
544 [ -1, 79], [ 0, 71], [ 3, 68], [ 10, 44],
545 [ -7, 62], [ 15, 36], [ 14, 40], [ 16, 27],
546 [ 12, 29], [ 1, 44], [ 20, 36], [ 18, 32],
547 [ 5, 42], [ 1, 48], [ 10, 62], [ 17, 46],
548 [ 9, 64], [-12, 104], [-11, 97], [-16, 96],
549 [ -7, 88], [ -8, 85], [ -7, 85], [ -9, 85],
550 [-13, 88], [ 4, 66], [ -3, 77], [ -3, 76],
551 [ -6, 76], [ 10, 58], [ -1, 76], [ -1, 83],
552 [ -6, 93], [ -6, 84], [ -8, 79], [ 0, 66],
553 [ -1, 71], [ 0, 62], [ -2, 60], [ -2, 59],
554 [ -5, 75], [ -3, 62], [ -4, 58], [ -9, 66],
555 [ -1, 79], [ 0, 71], [ 3, 68], [ 10, 44],
556 [ -7, 62], [ 15, 36], [ 14, 40], [ 16, 27],
557 [ 12, 29], [ 1, 44], [ 20, 36], [ 18, 32],
558 [ 5, 42], [ 1, 48], [ 10, 62], [ 17, 46],
559 [ 9, 64], [-12, 104], [-11, 97], [-16, 96],
560 [ -7, 88], [ -8, 85], [ -7, 85], [ -9, 85],
561 [-13, 88], [ 4, 66], [ -3, 77], [ -3, 76],
562 [ -6, 76], [ 10, 58], [ -1, 76], [ -1, 83],
563 [ 15, 6], [ 6, 19], [ 7, 16], [ 12, 14],
564 [ 18, 13], [ 13, 11], [ 13, 15], [ 15, 16],
565 [ 12, 23], [ 13, 23], [ 15, 20], [ 14, 26],
566 [ 14, 44], [ 17, 40], [ 17, 47], [ 24, 17],
567 [ 21, 21], [ 25, 22], [ 31, 27], [ 22, 29],
568 [ 19, 35], [ 14, 50], [ 10, 57], [ 7, 63],
569 [ -2, 77], [ -4, 82], [ -3, 94], [ 9, 69],
570 [-12, 109], [ 36, -35], [ 36, -34], [ 32, -26],
571 [ 37, -30], [ 44, -32], [ 34, -18], [ 34, -15],
572 [ 40, -15], [ 33, -7], [ 35, -5], [ 33, 0],
573 [ 38, 2], [ 33, 13], [ 23, 35], [ 13, 58],
574 [ 15, 6], [ 6, 19], [ 7, 16], [ 12, 14],
575 [ 18, 13], [ 13, 11], [ 13, 15], [ 15, 16],
576 [ 12, 23], [ 13, 23], [ 15, 20], [ 14, 26],
577 [ 14, 44], [ 17, 40], [ 17, 47], [ 24, 17],
578 [ 21, 21], [ 25, 22], [ 31, 27], [ 22, 29],
579 [ 19, 35], [ 14, 50], [ 10, 57], [ 7, 63],
580 [ -2, 77], [ -4, 82], [ -3, 94], [ 9, 69],
581 [-12, 109], [ 36, -35], [ 36, -34], [ 32, -26],
582 [ 37, -30], [ 44, -32], [ 34, -18], [ 34, -15],
583 [ 40, -15], [ 33, -7], [ 35, -5], [ 33, 0],
584 [ 38, 2], [ 33, 13], [ 23, 35], [ 13, 58],
585 [ -3, 71], [ -6, 42], [ -5, 50], [ -3, 54],
586 [ -2, 62], [ 0, 58], [ 1, 63], [ -2, 72],
587 [ -1, 74], [ -9, 91], [ -5, 67], [ -5, 27],
588 [ -3, 39], [ -2, 44], [ 0, 46], [-16, 64],
589 [ -8, 68], [-10, 78], [ -6, 77], [-10, 86],
590 [-12, 92], [-15, 55], [-10, 60], [ -6, 62],
591 [ -4, 65], [-12, 73], [ -8, 76], [ -7, 80],
592 [ -9, 88], [-17, 110], [ -3, 71], [ -6, 42],
593 [ -5, 50], [ -3, 54], [ -2, 62], [ 0, 58],
594 [ 1, 63], [ -2, 72], [ -1, 74], [ -9, 91],
595 [ -5, 67], [ -5, 27], [ -3, 39], [ -2, 44],
596 [ 0, 46], [-16, 64], [ -8, 68], [-10, 78],
597 [ -6, 77], [-10, 86], [-12, 92], [-15, 55],
598 [-10, 60], [ -6, 62], [ -4, 65], [-12, 73],
599 [ -8, 76], [ -7, 80], [ -9, 88], [-17, 110],
600 [ -3, 70], [ -8, 93], [-10, 90], [-30, 127],
601 [ -3, 70], [ -8, 93], [-10, 90], [-30, 127],
602 [ -3, 70], [ -8, 93], [-10, 90], [-30, 127]
603 ], [
604 [ 20, -15], [ 2, 54], [ 3, 74], [ 20, -15],
605 [ 2, 54], [ 3, 74], [-28, 127], [-23, 104],
606 [ -6, 53], [ -1, 54], [ 7, 51], [ 23, 33],
607 [ 23, 2], [ 21, 0], [ 1, 9], [ 0, 49],
608 [-37, 118], [ 5, 57], [-13, 78], [-11, 65],
609 [ 1, 62], [ 12, 49], [ -4, 73], [ 17, 50],
610 [ 18, 64], [ 9, 43], [ 29, 0], [ 26, 67],
611 [ 16, 90], [ 9, 104], [-46, 127], [-20, 104],
612 [ 1, 67], [-13, 78], [-11, 65], [ 1, 62],
613 [ -6, 86], [-17, 95], [ -6, 61], [ 9, 45],
614 [ -3, 69], [ -6, 81], [-11, 96], [ 6, 55],
615 [ 7, 67], [ -5, 86], [ 2, 88], [ 0, 58],
616 [ -3, 76], [-10, 94], [ 5, 54], [ 4, 69],
617 [ -3, 81], [ 0, 88], [ -7, 67], [ -5, 74],
618 [ -4, 74], [ -5, 80], [ -7, 72], [ 1, 58],
619 [ 0, 41], [ 0, 63], [ 0, 63], [ 0, 63],
620 [ -9, 83], [ 4, 86], [ 0, 97], [ -7, 72],
621 [ 13, 41], [ 3, 62], [ 0, 45], [ -4, 78],
622 [ -3, 96], [-27, 126], [-28, 98], [-25, 101],
623 [-23, 67], [-28, 82], [-20, 94], [-16, 83],
624 [-22, 110], [-21, 91], [-18, 102], [-13, 93],
625 [-29, 127], [ -7, 92], [ -5, 89], [ -7, 96],
626 [-13, 108], [ -3, 46], [ -1, 65], [ -1, 57],
627 [ -9, 93], [ -3, 74], [ -9, 92], [ -8, 87],
628 [-23, 126], [ 5, 54], [ 6, 60], [ 6, 59],
629 [ 6, 69], [ -1, 48], [ 0, 68], [ -4, 69],
630 [ -8, 88], [ -2, 85], [ -6, 78], [ -1, 75],
631 [ -7, 77], [ 2, 54], [ 5, 50], [ -3, 68],
632 [ 1, 50], [ 6, 42], [ -4, 81], [ 1, 63],
633 [ -4, 70], [ 0, 67], [ 2, 57], [ -2, 76],
634 [ 11, 35], [ 4, 64], [ 1, 61], [ 11, 35],
635 [ 18, 25], [ 12, 24], [ 13, 29], [ 13, 36],
636 [-10, 93], [ -7, 73], [ -2, 73], [ 13, 46],
637 [ 9, 49], [ -7, 100], [ 9, 53], [ 2, 53],
638 [ 5, 53], [ -2, 61], [ 0, 56], [ 0, 56],
639 [-13, 63], [ -5, 60], [ -1, 62], [ 4, 57],
640 [ -6, 69], [ 4, 57], [ 14, 39], [ 4, 51],
641 [ 13, 68], [ 3, 64], [ 1, 61], [ 9, 63],
642 [ 7, 50], [ 16, 39], [ 5, 44], [ 4, 52],
643 [ 11, 48], [ -5, 60], [ -1, 59], [ 0, 59],
644 [ 22, 33], [ 5, 44], [ 14, 43], [ -1, 78],
645 [ 0, 60], [ 9, 69], [ 11, 28], [ 2, 40],
646 [ 3, 44], [ 0, 49], [ 0, 46], [ 2, 44],
647 [ 2, 51], [ 0, 47], [ 4, 39], [ 2, 62],
648 [ 6, 46], [ 0, 54], [ 3, 54], [ 2, 58],
649 [ 4, 63], [ 6, 51], [ 6, 57], [ 7, 53],
650 [ 6, 52], [ 6, 55], [ 11, 45], [ 14, 36],
651 [ 8, 53], [ -1, 82], [ 7, 55], [ -3, 78],
652 [ 15, 46], [ 22, 31], [ -1, 84], [ 25, 7],
653 [ 30, -7], [ 28, 3], [ 28, 4], [ 32, 0],
654 [ 34, -1], [ 30, 6], [ 30, 6], [ 32, 9],
655 [ 31, 19], [ 26, 27], [ 26, 30], [ 37, 20],
656 [ 28, 34], [ 17, 70], [ 1, 67], [ 5, 59],
657 [ 9, 67], [ 16, 30], [ 18, 32], [ 18, 35],
658 [ 22, 29], [ 24, 31], [ 23, 38], [ 18, 43],
659 [ 20, 41], [ 11, 63], [ 9, 59], [ 9, 64],
660 [ -1, 94], [ -2, 89], [ -9, 108], [ -6, 76],
661 [ -2, 44], [ 0, 45], [ 0, 52], [ -3, 64],
662 [ -2, 59], [ -4, 70], [ -4, 75], [ -8, 82],
663 [-17, 102], [ -9, 77], [ 3, 24], [ 0, 42],
664 [ 0, 48], [ 0, 55], [ -6, 59], [ -7, 71],
665 [-12, 83], [-11, 87], [-30, 119], [ 1, 58],
666 [ -3, 29], [ -1, 36], [ 1, 38], [ 2, 43],
667 [ -6, 55], [ 0, 58], [ 0, 64], [ -3, 74],
668 [-10, 90], [ 0, 70], [ -4, 29], [ 5, 31],
669 [ 7, 42], [ 1, 59], [ -2, 58], [ -3, 72],
670 [ -3, 81], [-11, 97], [ 0, 58], [ 8, 5],
671 [ 10, 14], [ 14, 18], [ 13, 27], [ 2, 40],
672 [ 0, 58], [ -3, 70], [ -6, 79], [ -8, 85],
673 [ 0, 0], [-13, 106], [-16, 106], [-10, 87],
674 [-21, 114], [-18, 110], [-14, 98], [-22, 110],
675 [-21, 106], [-18, 103], [-21, 107], [-23, 108],
676 [-26, 112], [-10, 96], [-12, 95], [ -5, 91],
677 [ -9, 93], [-22, 94], [ -5, 86], [ 9, 67],
678 [ -4, 80], [-10, 85], [ -1, 70], [ 7, 60],
679 [ 9, 58], [ 5, 61], [ 12, 50], [ 15, 50],
680 [ 18, 49], [ 17, 54], [ 10, 41], [ 7, 46],
681 [ -1, 51], [ 7, 49], [ 8, 52], [ 9, 41],
682 [ 6, 47], [ 2, 55], [ 13, 41], [ 10, 44],
683 [ 6, 50], [ 5, 53], [ 13, 49], [ 4, 63],
684 [ 6, 64], [ -2, 69], [ -2, 59], [ 6, 70],
685 [ 10, 44], [ 9, 31], [ 12, 43], [ 3, 53],
686 [ 14, 34], [ 10, 38], [ -3, 52], [ 13, 40],
687 [ 17, 32], [ 7, 44], [ 7, 38], [ 13, 50],
688 [ 10, 57], [ 26, 43], [ 14, 11], [ 11, 14],
689 [ 9, 11], [ 18, 11], [ 21, 9], [ 23, -2],
690 [ 32, -15], [ 32, -15], [ 34, -21], [ 39, -23],
691 [ 42, -33], [ 41, -31], [ 46, -28], [ 38, -12],
692 [ 21, 29], [ 45, -24], [ 53, -45], [ 48, -26],
693 [ 65, -43], [ 43, -19], [ 39, -10], [ 30, 9],
694 [ 18, 26], [ 20, 27], [ 0, 57], [-14, 82],
695 [ -5, 75], [-19, 97], [-35, 125], [ 27, 0],
696 [ 28, 0], [ 31, -4], [ 27, 6], [ 34, 8],
697 [ 30, 10], [ 24, 22], [ 33, 19], [ 22, 32],
698 [ 26, 31], [ 21, 41], [ 26, 44], [ 23, 47],
699 [ 16, 65], [ 14, 71], [ 8, 60], [ 6, 63],
700 [ 17, 65], [ 21, 24], [ 23, 20], [ 26, 23],
701 [ 27, 32], [ 28, 23], [ 28, 24], [ 23, 40],
702 [ 24, 32], [ 28, 29], [ 23, 42], [ 19, 57],
703 [ 22, 53], [ 22, 61], [ 11, 86], [ 12, 40],
704 [ 11, 51], [ 14, 59], [ -4, 79], [ -7, 71],
705 [ -5, 69], [ -9, 70], [ -8, 66], [-10, 68],
706 [-19, 73], [-12, 69], [-16, 70], [-15, 67],
707 [-20, 62], [-19, 70], [-16, 66], [-22, 65],
708 [-20, 63], [ 9, -2], [ 26, -9], [ 33, -9],
709 [ 39, -7], [ 41, -2], [ 45, 3], [ 49, 9],
710 [ 45, 27], [ 36, 59], [ -6, 66], [ -7, 35],
711 [ -7, 42], [ -8, 45], [ -5, 48], [-12, 56],
712 [ -6, 60], [ -5, 62], [ -8, 66], [ -8, 76],
713 [ -5, 85], [ -6, 81], [-10, 77], [ -7, 81],
714 [-17, 80], [-18, 73], [ -4, 74], [-10, 83],
715 [ -9, 71], [ -9, 67], [ -1, 61], [ -8, 66],
716 [-14, 66], [ 0, 59], [ 2, 59], [ 21, -13],
717 [ 33, -14], [ 39, -7], [ 46, -2], [ 51, 2],
718 [ 60, 6], [ 61, 17], [ 55, 34], [ 42, 62],
719 [ -7, 92], [ -5, 89], [ -7, 96], [-13, 108],
720 [ -3, 46], [ -1, 65], [ -1, 57], [ -9, 93],
721 [ -3, 74], [ -9, 92], [ -8, 87], [-23, 126],
722 [ -7, 92], [ -5, 89], [ -7, 96], [-13, 108],
723 [ -3, 46], [ -1, 65], [ -1, 57], [ -9, 93],
724 [ -3, 74], [ -9, 92], [ -8, 87], [-23, 126],
725 [ -2, 85], [ -6, 78], [ -1, 75], [ -7, 77],
726 [ 2, 54], [ 5, 50], [ -3, 68], [ 1, 50],
727 [ 6, 42], [ -4, 81], [ 1, 63], [ -4, 70],
728 [ 0, 67], [ 2, 57], [ -2, 76], [ 11, 35],
729 [ 4, 64], [ 1, 61], [ 11, 35], [ 18, 25],
730 [ 12, 24], [ 13, 29], [ 13, 36], [-10, 93],
731 [ -7, 73], [ -2, 73], [ 13, 46], [ 9, 49],
732 [ -7, 100], [ 9, 53], [ 2, 53], [ 5, 53],
733 [ -2, 61], [ 0, 56], [ 0, 56], [-13, 63],
734 [ -5, 60], [ -1, 62], [ 4, 57], [ -6, 69],
735 [ 4, 57], [ 14, 39], [ 4, 51], [ 13, 68],
736 [ -2, 85], [ -6, 78], [ -1, 75], [ -7, 77],
737 [ 2, 54], [ 5, 50], [ -3, 68], [ 1, 50],
738 [ 6, 42], [ -4, 81], [ 1, 63], [ -4, 70],
739 [ 0, 67], [ 2, 57], [ -2, 76], [ 11, 35],
740 [ 4, 64], [ 1, 61], [ 11, 35], [ 18, 25],
741 [ 12, 24], [ 13, 29], [ 13, 36], [-10, 93],
742 [ -7, 73], [ -2, 73], [ 13, 46], [ 9, 49],
743 [ -7, 100], [ 9, 53], [ 2, 53], [ 5, 53],
744 [ -2, 61], [ 0, 56], [ 0, 56], [-13, 63],
745 [ -5, 60], [ -1, 62], [ 4, 57], [ -6, 69],
746 [ 4, 57], [ 14, 39], [ 4, 51], [ 13, 68],
747 [ 11, 28], [ 2, 40], [ 3, 44], [ 0, 49],
748 [ 0, 46], [ 2, 44], [ 2, 51], [ 0, 47],
749 [ 4, 39], [ 2, 62], [ 6, 46], [ 0, 54],
750 [ 3, 54], [ 2, 58], [ 4, 63], [ 6, 51],
751 [ 6, 57], [ 7, 53], [ 6, 52], [ 6, 55],
752 [ 11, 45], [ 14, 36], [ 8, 53], [ -1, 82],
753 [ 7, 55], [ -3, 78], [ 15, 46], [ 22, 31],
754 [ -1, 84], [ 25, 7], [ 30, -7], [ 28, 3],
755 [ 28, 4], [ 32, 0], [ 34, -1], [ 30, 6],
756 [ 30, 6], [ 32, 9], [ 31, 19], [ 26, 27],
757 [ 26, 30], [ 37, 20], [ 28, 34], [ 17, 70],
758 [ 11, 28], [ 2, 40], [ 3, 44], [ 0, 49],
759 [ 0, 46], [ 2, 44], [ 2, 51], [ 0, 47],
760 [ 4, 39], [ 2, 62], [ 6, 46], [ 0, 54],
761 [ 3, 54], [ 2, 58], [ 4, 63], [ 6, 51],
762 [ 6, 57], [ 7, 53], [ 6, 52], [ 6, 55],
763 [ 11, 45], [ 14, 36], [ 8, 53], [ -1, 82],
764 [ 7, 55], [ -3, 78], [ 15, 46], [ 22, 31],
765 [ -1, 84], [ 25, 7], [ 30, -7], [ 28, 3],
766 [ 28, 4], [ 32, 0], [ 34, -1], [ 30, 6],
767 [ 30, 6], [ 32, 9], [ 31, 19], [ 26, 27],
768 [ 26, 30], [ 37, 20], [ 28, 34], [ 17, 70],
769 [ -4, 79], [ -7, 71], [ -5, 69], [ -9, 70],
770 [ -8, 66], [-10, 68], [-19, 73], [-12, 69],
771 [-16, 70], [-15, 67], [-20, 62], [-19, 70],
772 [-16, 66], [-22, 65], [-20, 63], [ -5, 85],
773 [ -6, 81], [-10, 77], [ -7, 81], [-17, 80],
774 [-18, 73], [ -4, 74], [-10, 83], [ -9, 71],
775 [ -9, 67], [ -1, 61], [ -8, 66], [-14, 66],
776 [ 0, 59], [ 2, 59], [ 9, -2], [ 26, -9],
777 [ 33, -9], [ 39, -7], [ 41, -2], [ 45, 3],
778 [ 49, 9], [ 45, 27], [ 36, 59], [ 21, -13],
779 [ 33, -14], [ 39, -7], [ 46, -2], [ 51, 2],
780 [ 60, 6], [ 61, 17], [ 55, 34], [ 42, 62],
781 [ -6, 66], [ -7, 35], [ -7, 42], [ -8, 45],
782 [ -5, 48], [-12, 56], [ -6, 60], [ -5, 62],
783 [ -8, 66], [ -8, 76], [ -4, 79], [ -7, 71],
784 [ -5, 69], [ -9, 70], [ -8, 66], [-10, 68],
785 [-19, 73], [-12, 69], [-16, 70], [-15, 67],
786 [-20, 62], [-19, 70], [-16, 66], [-22, 65],
787 [-20, 63], [ -5, 85], [ -6, 81], [-10, 77],
788 [ -7, 81], [-17, 80], [-18, 73], [ -4, 74],
789 [-10, 83], [ -9, 71], [ -9, 67], [ -1, 61],
790 [ -8, 66], [-14, 66], [ 0, 59], [ 2, 59],
791 [ 9, -2], [ 26, -9], [ 33, -9], [ 39, -7],
792 [ 41, -2], [ 45, 3], [ 49, 9], [ 45, 27],
793 [ 36, 59], [ 21, -13], [ 33, -14], [ 39, -7],
794 [ 46, -2], [ 51, 2], [ 60, 6], [ 61, 17],
795 [ 55, 34], [ 42, 62], [ -6, 66], [ -7, 35],
796 [ -7, 42], [ -8, 45], [ -5, 48], [-12, 56],
797 [ -6, 60], [ -5, 62], [ -8, 66], [ -8, 76],
798 [-13, 106], [-16, 106], [-10, 87], [-21, 114],
799 [-18, 110], [-14, 98], [-22, 110], [-21, 106],
800 [-18, 103], [-21, 107], [-23, 108], [-26, 112],
801 [-10, 96], [-12, 95], [ -5, 91], [ -9, 93],
802 [-22, 94], [ -5, 86], [ 9, 67], [ -4, 80],
803 [-10, 85], [ -1, 70], [ 7, 60], [ 9, 58],
804 [ 5, 61], [ 12, 50], [ 15, 50], [ 18, 49],
805 [ 17, 54], [ 10, 41], [ 7, 46], [ -1, 51],
806 [ 7, 49], [ 8, 52], [ 9, 41], [ 6, 47],
807 [ 2, 55], [ 13, 41], [ 10, 44], [ 6, 50],
808 [ 5, 53], [ 13, 49], [ 4, 63], [ 6, 64],
809 [-13, 106], [-16, 106], [-10, 87], [-21, 114],
810 [-18, 110], [-14, 98], [-22, 110], [-21, 106],
811 [-18, 103], [-21, 107], [-23, 108], [-26, 112],
812 [-10, 96], [-12, 95], [ -5, 91], [ -9, 93],
813 [-22, 94], [ -5, 86], [ 9, 67], [ -4, 80],
814 [-10, 85], [ -1, 70], [ 7, 60], [ 9, 58],
815 [ 5, 61], [ 12, 50], [ 15, 50], [ 18, 49],
816 [ 17, 54], [ 10, 41], [ 7, 46], [ -1, 51],
817 [ 7, 49], [ 8, 52], [ 9, 41], [ 6, 47],
818 [ 2, 55], [ 13, 41], [ 10, 44], [ 6, 50],
819 [ 5, 53], [ 13, 49], [ 4, 63], [ 6, 64],
820 [ 14, 11], [ 11, 14], [ 9, 11], [ 18, 11],
821 [ 21, 9], [ 23, -2], [ 32, -15], [ 32, -15],
822 [ 34, -21], [ 39, -23], [ 42, -33], [ 41, -31],
823 [ 46, -28], [ 38, -12], [ 21, 29], [ 45, -24],
824 [ 53, -45], [ 48, -26], [ 65, -43], [ 43, -19],
825 [ 39, -10], [ 30, 9], [ 18, 26], [ 20, 27],
826 [ 0, 57], [-14, 82], [ -5, 75], [-19, 97],
827 [-35, 125], [ 27, 0], [ 28, 0], [ 31, -4],
828 [ 27, 6], [ 34, 8], [ 30, 10], [ 24, 22],
829 [ 33, 19], [ 22, 32], [ 26, 31], [ 21, 41],
830 [ 26, 44], [ 23, 47], [ 16, 65], [ 14, 71],
831 [ 14, 11], [ 11, 14], [ 9, 11], [ 18, 11],
832 [ 21, 9], [ 23, -2], [ 32, -15], [ 32, -15],
833 [ 34, -21], [ 39, -23], [ 42, -33], [ 41, -31],
834 [ 46, -28], [ 38, -12], [ 21, 29], [ 45, -24],
835 [ 53, -45], [ 48, -26], [ 65, -43], [ 43, -19],
836 [ 39, -10], [ 30, 9], [ 18, 26], [ 20, 27],
837 [ 0, 57], [-14, 82], [ -5, 75], [-19, 97],
838 [-35, 125], [ 27, 0], [ 28, 0], [ 31, -4],
839 [ 27, 6], [ 34, 8], [ 30, 10], [ 24, 22],
840 [ 33, 19], [ 22, 32], [ 26, 31], [ 21, 41],
841 [ 26, 44], [ 23, 47], [ 16, 65], [ 14, 71],
842 [ -6, 76], [ -2, 44], [ 0, 45], [ 0, 52],
843 [ -3, 64], [ -2, 59], [ -4, 70], [ -4, 75],
844 [ -8, 82], [-17, 102], [ -9, 77], [ 3, 24],
845 [ 0, 42], [ 0, 48], [ 0, 55], [ -6, 59],
846 [ -7, 71], [-12, 83], [-11, 87], [-30, 119],
847 [ 1, 58], [ -3, 29], [ -1, 36], [ 1, 38],
848 [ 2, 43], [ -6, 55], [ 0, 58], [ 0, 64],
849 [ -3, 74], [-10, 90], [ -6, 76], [ -2, 44],
850 [ 0, 45], [ 0, 52], [ -3, 64], [ -2, 59],
851 [ -4, 70], [ -4, 75], [ -8, 82], [-17, 102],
852 [ -9, 77], [ 3, 24], [ 0, 42], [ 0, 48],
853 [ 0, 55], [ -6, 59], [ -7, 71], [-12, 83],
854 [-11, 87], [-30, 119], [ 1, 58], [ -3, 29],
855 [ -1, 36], [ 1, 38], [ 2, 43], [ -6, 55],
856 [ 0, 58], [ 0, 64], [ -3, 74], [-10, 90],
857 [ -3, 74], [ -9, 92], [ -8, 87], [-23, 126],
858 [ -3, 74], [ -9, 92], [ -8, 87], [-23, 126],
859 [ -3, 74], [ -9, 92], [ -8, 87], [-23, 126]
860 ], [
861 [ 20, -15], [ 2, 54], [ 3, 74], [ 20, -15],
862 [ 2, 54], [ 3, 74], [-28, 127], [-23, 104],
863 [ -6, 53], [ -1, 54], [ 7, 51], [ 22, 25],
864 [ 34, 0], [ 16, 0], [ -2, 9], [ 4, 41],
865 [-29, 118], [ 2, 65], [ -6, 71], [-13, 79],
866 [ 5, 52], [ 9, 50], [ -3, 70], [ 10, 54],
867 [ 26, 34], [ 19, 22], [ 40, 0], [ 57, 2],
868 [ 41, 36], [ 26, 69], [-45, 127], [-15, 101],
869 [ -4, 76], [ -6, 71], [-13, 79], [ 5, 52],
870 [ 6, 69], [-13, 90], [ 0, 52], [ 8, 43],
871 [ -2, 69], [ -5, 82], [-10, 96], [ 2, 59],
872 [ 2, 75], [ -3, 87], [ -3, 100], [ 1, 56],
873 [ -3, 74], [ -6, 85], [ 0, 59], [ -3, 81],
874 [ -7, 86], [ -5, 95], [ -1, 66], [ -1, 77],
875 [ 1, 70], [ -2, 86], [ -5, 72], [ 0, 61],
876 [ 0, 41], [ 0, 63], [ 0, 63], [ 0, 63],
877 [ -9, 83], [ 4, 86], [ 0, 97], [ -7, 72],
878 [ 13, 41], [ 3, 62], [ 13, 15], [ 7, 51],
879 [ 2, 80], [-39, 127], [-18, 91], [-17, 96],
880 [-26, 81], [-35, 98], [-24, 102], [-23, 97],
881 [-27, 119], [-24, 99], [-21, 110], [-18, 102],
882 [-36, 127], [ 0, 80], [ -5, 89], [ -7, 94],
883 [ -4, 92], [ 0, 39], [ 0, 65], [-15, 84],
884 [-35, 127], [ -2, 73], [-12, 104], [ -9, 91],
885 [-31, 127], [ 3, 55], [ 7, 56], [ 7, 55],
886 [ 8, 61], [ -3, 53], [ 0, 68], [ -7, 74],
887 [ -9, 88], [-13, 103], [-13, 91], [ -9, 89],
888 [-14, 92], [ -8, 76], [-12, 87], [-23, 110],
889 [-24, 105], [-10, 78], [-20, 112], [-17, 99],
890 [-78, 127], [-70, 127], [-50, 127], [-46, 127],
891 [ -4, 66], [ -5, 78], [ -4, 71], [ -8, 72],
892 [ 2, 59], [ -1, 55], [ -7, 70], [ -6, 75],
893 [ -8, 89], [-34, 119], [ -3, 75], [ 32, 20],
894 [ 30, 22], [-44, 127], [ 0, 54], [ -5, 61],
895 [ 0, 58], [ -1, 60], [ -3, 61], [ -8, 67],
896 [-25, 84], [-14, 74], [ -5, 65], [ 5, 52],
897 [ 2, 57], [ 0, 61], [ -9, 69], [-11, 70],
898 [ 18, 55], [ -4, 71], [ 0, 58], [ 7, 61],
899 [ 9, 41], [ 18, 25], [ 9, 32], [ 5, 43],
900 [ 9, 47], [ 0, 44], [ 0, 51], [ 2, 46],
901 [ 19, 38], [ -4, 66], [ 15, 38], [ 12, 42],
902 [ 9, 34], [ 0, 89], [ 4, 45], [ 10, 28],
903 [ 10, 31], [ 33, -11], [ 52, -43], [ 18, 15],
904 [ 28, 0], [ 35, -22], [ 38, -25], [ 34, 0],
905 [ 39, -18], [ 32, -12], [102, -94], [ 0, 0],
906 [ 56, -15], [ 33, -4], [ 29, 10], [ 37, -5],
907 [ 51, -29], [ 39, -9], [ 52, -34], [ 69, -58],
908 [ 67, -63], [ 44, -5], [ 32, 7], [ 55, -29],
909 [ 32, 1], [ 0, 0], [ 27, 36], [ 33, -25],
910 [ 34, -30], [ 36, -28], [ 38, -28], [ 38, -27],
911 [ 34, -18], [ 35, -16], [ 34, -14], [ 32, -8],
912 [ 37, -6], [ 35, 0], [ 30, 10], [ 28, 18],
913 [ 26, 25], [ 29, 41], [ 0, 75], [ 2, 72],
914 [ 8, 77], [ 14, 35], [ 18, 31], [ 17, 35],
915 [ 21, 30], [ 17, 45], [ 20, 42], [ 18, 45],
916 [ 27, 26], [ 16, 54], [ 7, 66], [ 16, 56],
917 [ 11, 73], [ 10, 67], [-10, 116], [-23, 112],
918 [-15, 71], [ -7, 61], [ 0, 53], [ -5, 66],
919 [-11, 77], [ -9, 80], [ -9, 84], [-10, 87],
920 [-34, 127], [-21, 101], [ -3, 39], [ -5, 53],
921 [ -7, 61], [-11, 75], [-15, 77], [-17, 91],
922 [-25, 107], [-25, 111], [-28, 122], [-11, 76],
923 [-10, 44], [-10, 52], [-10, 57], [ -9, 58],
924 [-16, 72], [ -7, 69], [ -4, 69], [ -5, 74],
925 [ -9, 86], [ 2, 66], [ -9, 34], [ 1, 32],
926 [ 11, 31], [ 5, 52], [ -2, 55], [ -2, 67],
927 [ 0, 73], [ -8, 89], [ 3, 52], [ 7, 4],
928 [ 10, 8], [ 17, 8], [ 16, 19], [ 3, 37],
929 [ -1, 61], [ -5, 73], [ -1, 70], [ -4, 78],
930 [ 0, 0], [-21, 126], [-23, 124], [-20, 110],
931 [-26, 126], [-25, 124], [-17, 105], [-27, 121],
932 [-27, 117], [-17, 102], [-26, 117], [-27, 116],
933 [-33, 122], [-10, 95], [-14, 100], [ -8, 95],
934 [-17, 111], [-28, 114], [ -6, 89], [ -2, 80],
935 [ -4, 82], [ -9, 85], [ -8, 81], [ -1, 72],
936 [ 5, 64], [ 1, 67], [ 9, 56], [ 0, 69],
937 [ 1, 69], [ 7, 69], [ -7, 69], [ -6, 67],
938 [-16, 77], [ -2, 64], [ 2, 61], [ -6, 67],
939 [ -3, 64], [ 2, 57], [ -3, 65], [ -3, 66],
940 [ 0, 62], [ 9, 51], [ -1, 66], [ -2, 71],
941 [ -2, 75], [ -1, 70], [ -9, 72], [ 14, 60],
942 [ 16, 37], [ 0, 47], [ 18, 35], [ 11, 37],
943 [ 12, 41], [ 10, 41], [ 2, 48], [ 12, 41],
944 [ 13, 41], [ 0, 59], [ 3, 50], [ 19, 40],
945 [ 3, 66], [ 18, 50], [ 19, -6], [ 18, -6],
946 [ 14, 0], [ 26, -12], [ 31, -16], [ 33, -25],
947 [ 33, -22], [ 37, -28], [ 39, -30], [ 42, -30],
948 [ 47, -42], [ 45, -36], [ 49, -34], [ 41, -17],
949 [ 32, 9], [ 69, -71], [ 63, -63], [ 66, -64],
950 [ 77, -74], [ 54, -39], [ 52, -35], [ 41, -10],
951 [ 36, 0], [ 40, -1], [ 30, 14], [ 28, 26],
952 [ 23, 37], [ 12, 55], [ 11, 65], [ 37, -33],
953 [ 39, -36], [ 40, -37], [ 38, -30], [ 46, -33],
954 [ 42, -30], [ 40, -24], [ 49, -29], [ 38, -12],
955 [ 40, -10], [ 38, -3], [ 46, -5], [ 31, 20],
956 [ 29, 30], [ 25, 44], [ 12, 48], [ 11, 49],
957 [ 26, 45], [ 22, 22], [ 23, 22], [ 27, 21],
958 [ 33, 20], [ 26, 28], [ 30, 24], [ 27, 34],
959 [ 18, 42], [ 25, 39], [ 18, 50], [ 12, 70],
960 [ 21, 54], [ 14, 71], [ 11, 83], [ 25, 32],
961 [ 21, 49], [ 21, 54], [ -5, 85], [ -6, 81],
962 [-10, 77], [ -7, 81], [-17, 80], [-18, 73],
963 [ -4, 74], [-10, 83], [ -9, 71], [ -9, 67],
964 [ -1, 61], [ -8, 66], [-14, 66], [ 0, 59],
965 [ 2, 59], [ 17, -10], [ 32, -13], [ 42, -9],
966 [ 49, -5], [ 53, 0], [ 64, 3], [ 68, 10],
967 [ 66, 27], [ 47, 57], [ -5, 71], [ 0, 24],
968 [ -1, 36], [ -2, 42], [ -2, 52], [ -9, 57],
969 [ -6, 63], [ -4, 65], [ -4, 67], [ -7, 82],
970 [ -3, 81], [ -3, 76], [ -7, 72], [ -6, 78],
971 [-12, 72], [-14, 68], [ -3, 70], [ -6, 76],
972 [ -5, 66], [ -5, 62], [ 0, 57], [ -4, 61],
973 [ -9, 60], [ 1, 54], [ 2, 58], [ 17, -10],
974 [ 32, -13], [ 42, -9], [ 49, -5], [ 53, 0],
975 [ 64, 3], [ 68, 10], [ 66, 27], [ 47, 57],
976 [ 0, 80], [ -5, 89], [ -7, 94], [ -4, 92],
977 [ 0, 39], [ 0, 65], [-15, 84], [-35, 127],
978 [ -2, 73], [-12, 104], [ -9, 91], [-31, 127],
979 [ 0, 80], [ -5, 89], [ -7, 94], [ -4, 92],
980 [ 0, 39], [ 0, 65], [-15, 84], [-35, 127],
981 [ -2, 73], [-12, 104], [ -9, 91], [-31, 127],
982 [-13, 103], [-13, 91], [ -9, 89], [-14, 92],
983 [ -8, 76], [-12, 87], [-23, 110], [-24, 105],
984 [-10, 78], [-20, 112], [-17, 99], [-78, 127],
985 [-70, 127], [-50, 127], [-46, 127], [ -4, 66],
986 [ -5, 78], [ -4, 71], [ -8, 72], [ 2, 59],
987 [ -1, 55], [ -7, 70], [ -6, 75], [ -8, 89],
988 [-34, 119], [ -3, 75], [ 32, 20], [ 30, 22],
989 [-44, 127], [ 0, 54], [ -5, 61], [ 0, 58],
990 [ -1, 60], [ -3, 61], [ -8, 67], [-25, 84],
991 [-14, 74], [ -5, 65], [ 5, 52], [ 2, 57],
992 [ 0, 61], [ -9, 69], [-11, 70], [ 18, 55],
993 [-13, 103], [-13, 91], [ -9, 89], [-14, 92],
994 [ -8, 76], [-12, 87], [-23, 110], [-24, 105],
995 [-10, 78], [-20, 112], [-17, 99], [-78, 127],
996 [-70, 127], [-50, 127], [-46, 127], [ -4, 66],
997 [ -5, 78], [ -4, 71], [ -8, 72], [ 2, 59],
998 [ -1, 55], [ -7, 70], [ -6, 75], [ -8, 89],
999 [-34, 119], [ -3, 75], [ 32, 20], [ 30, 22],
1000 [-44, 127], [ 0, 54], [ -5, 61], [ 0, 58],
1001 [ -1, 60], [ -3, 61], [ -8, 67], [-25, 84],
1002 [-14, 74], [ -5, 65], [ 5, 52], [ 2, 57],
1003 [ 0, 61], [ -9, 69], [-11, 70], [ 18, 55],
1004 [ 4, 45], [ 10, 28], [ 10, 31], [ 33, -11],
1005 [ 52, -43], [ 18, 15], [ 28, 0], [ 35, -22],
1006 [ 38, -25], [ 34, 0], [ 39, -18], [ 32, -12],
1007 [102, -94], [ 0, 0], [ 56, -15], [ 33, -4],
1008 [ 29, 10], [ 37, -5], [ 51, -29], [ 39, -9],
1009 [ 52, -34], [ 69, -58], [ 67, -63], [ 44, -5],
1010 [ 32, 7], [ 55, -29], [ 32, 1], [ 0, 0],
1011 [ 27, 36], [ 33, -25], [ 34, -30], [ 36, -28],
1012 [ 38, -28], [ 38, -27], [ 34, -18], [ 35, -16],
1013 [ 34, -14], [ 32, -8], [ 37, -6], [ 35, 0],
1014 [ 30, 10], [ 28, 18], [ 26, 25], [ 29, 41],
1015 [ 4, 45], [ 10, 28], [ 10, 31], [ 33, -11],
1016 [ 52, -43], [ 18, 15], [ 28, 0], [ 35, -22],
1017 [ 38, -25], [ 34, 0], [ 39, -18], [ 32, -12],
1018 [102, -94], [ 0, 0], [ 56, -15], [ 33, -4],
1019 [ 29, 10], [ 37, -5], [ 51, -29], [ 39, -9],
1020 [ 52, -34], [ 69, -58], [ 67, -63], [ 44, -5],
1021 [ 32, 7], [ 55, -29], [ 32, 1], [ 0, 0],
1022 [ 27, 36], [ 33, -25], [ 34, -30], [ 36, -28],
1023 [ 38, -28], [ 38, -27], [ 34, -18], [ 35, -16],
1024 [ 34, -14], [ 32, -8], [ 37, -6], [ 35, 0],
1025 [ 30, 10], [ 28, 18], [ 26, 25], [ 29, 41],
1026 [ -5, 85], [ -6, 81], [-10, 77], [ -7, 81],
1027 [-17, 80], [-18, 73], [ -4, 74], [-10, 83],
1028 [ -9, 71], [ -9, 67], [ -1, 61], [ -8, 66],
1029 [-14, 66], [ 0, 59], [ 2, 59], [ -3, 81],
1030 [ -3, 76], [ -7, 72], [ -6, 78], [-12, 72],
1031 [-14, 68], [ -3, 70], [ -6, 76], [ -5, 66],
1032 [ -5, 62], [ 0, 57], [ -4, 61], [ -9, 60],
1033 [ 1, 54], [ 2, 58], [ 17, -10], [ 32, -13],
1034 [ 42, -9], [ 49, -5], [ 53, 0], [ 64, 3],
1035 [ 68, 10], [ 66, 27], [ 47, 57], [ 17, -10],
1036 [ 32, -13], [ 42, -9], [ 49, -5], [ 53, 0],
1037 [ 64, 3], [ 68, 10], [ 66, 27], [ 47, 57],
1038 [ -5, 71], [ 0, 24], [ -1, 36], [ -2, 42],
1039 [ -2, 52], [ -9, 57], [ -6, 63], [ -4, 65],
1040 [ -4, 67], [ -7, 82], [ -5, 85], [ -6, 81],
1041 [-10, 77], [ -7, 81], [-17, 80], [-18, 73],
1042 [ -4, 74], [-10, 83], [ -9, 71], [ -9, 67],
1043 [ -1, 61], [ -8, 66], [-14, 66], [ 0, 59],
1044 [ 2, 59], [ -3, 81], [ -3, 76], [ -7, 72],
1045 [ -6, 78], [-12, 72], [-14, 68], [ -3, 70],
1046 [ -6, 76], [ -5, 66], [ -5, 62], [ 0, 57],
1047 [ -4, 61], [ -9, 60], [ 1, 54], [ 2, 58],
1048 [ 17, -10], [ 32, -13], [ 42, -9], [ 49, -5],
1049 [ 53, 0], [ 64, 3], [ 68, 10], [ 66, 27],
1050 [ 47, 57], [ 17, -10], [ 32, -13], [ 42, -9],
1051 [ 49, -5], [ 53, 0], [ 64, 3], [ 68, 10],
1052 [ 66, 27], [ 47, 57], [ -5, 71], [ 0, 24],
1053 [ -1, 36], [ -2, 42], [ -2, 52], [ -9, 57],
1054 [ -6, 63], [ -4, 65], [ -4, 67], [ -7, 82],
1055 [-21, 126], [-23, 124], [-20, 110], [-26, 126],
1056 [-25, 124], [-17, 105], [-27, 121], [-27, 117],
1057 [-17, 102], [-26, 117], [-27, 116], [-33, 122],
1058 [-10, 95], [-14, 100], [ -8, 95], [-17, 111],
1059 [-28, 114], [ -6, 89], [ -2, 80], [ -4, 82],
1060 [ -9, 85], [ -8, 81], [ -1, 72], [ 5, 64],
1061 [ 1, 67], [ 9, 56], [ 0, 69], [ 1, 69],
1062 [ 7, 69], [ -7, 69], [ -6, 67], [-16, 77],
1063 [ -2, 64], [ 2, 61], [ -6, 67], [ -3, 64],
1064 [ 2, 57], [ -3, 65], [ -3, 66], [ 0, 62],
1065 [ 9, 51], [ -1, 66], [ -2, 71], [ -2, 75],
1066 [-21, 126], [-23, 124], [-20, 110], [-26, 126],
1067 [-25, 124], [-17, 105], [-27, 121], [-27, 117],
1068 [-17, 102], [-26, 117], [-27, 116], [-33, 122],
1069 [-10, 95], [-14, 100], [ -8, 95], [-17, 111],
1070 [-28, 114], [ -6, 89], [ -2, 80], [ -4, 82],
1071 [ -9, 85], [ -8, 81], [ -1, 72], [ 5, 64],
1072 [ 1, 67], [ 9, 56], [ 0, 69], [ 1, 69],
1073 [ 7, 69], [ -7, 69], [ -6, 67], [-16, 77],
1074 [ -2, 64], [ 2, 61], [ -6, 67], [ -3, 64],
1075 [ 2, 57], [ -3, 65], [ -3, 66], [ 0, 62],
1076 [ 9, 51], [ -1, 66], [ -2, 71], [ -2, 75],
1077 [ 19, -6], [ 18, -6], [ 14, 0], [ 26, -12],
1078 [ 31, -16], [ 33, -25], [ 33, -22], [ 37, -28],
1079 [ 39, -30], [ 42, -30], [ 47, -42], [ 45, -36],
1080 [ 49, -34], [ 41, -17], [ 32, 9], [ 69, -71],
1081 [ 63, -63], [ 66, -64], [ 77, -74], [ 54, -39],
1082 [ 52, -35], [ 41, -10], [ 36, 0], [ 40, -1],
1083 [ 30, 14], [ 28, 26], [ 23, 37], [ 12, 55],
1084 [ 11, 65], [ 37, -33], [ 39, -36], [ 40, -37],
1085 [ 38, -30], [ 46, -33], [ 42, -30], [ 40, -24],
1086 [ 49, -29], [ 38, -12], [ 40, -10], [ 38, -3],
1087 [ 46, -5], [ 31, 20], [ 29, 30], [ 25, 44],
1088 [ 19, -6], [ 18, -6], [ 14, 0], [ 26, -12],
1089 [ 31, -16], [ 33, -25], [ 33, -22], [ 37, -28],
1090 [ 39, -30], [ 42, -30], [ 47, -42], [ 45, -36],
1091 [ 49, -34], [ 41, -17], [ 32, 9], [ 69, -71],
1092 [ 63, -63], [ 66, -64], [ 77, -74], [ 54, -39],
1093 [ 52, -35], [ 41, -10], [ 36, 0], [ 40, -1],
1094 [ 30, 14], [ 28, 26], [ 23, 37], [ 12, 55],
1095 [ 11, 65], [ 37, -33], [ 39, -36], [ 40, -37],
1096 [ 38, -30], [ 46, -33], [ 42, -30], [ 40, -24],
1097 [ 49, -29], [ 38, -12], [ 40, -10], [ 38, -3],
1098 [ 46, -5], [ 31, 20], [ 29, 30], [ 25, 44],
1099 [-23, 112], [-15, 71], [ -7, 61], [ 0, 53],
1100 [ -5, 66], [-11, 77], [ -9, 80], [ -9, 84],
1101 [-10, 87], [-34, 127], [-21, 101], [ -3, 39],
1102 [ -5, 53], [ -7, 61], [-11, 75], [-15, 77],
1103 [-17, 91], [-25, 107], [-25, 111], [-28, 122],
1104 [-11, 76], [-10, 44], [-10, 52], [-10, 57],
1105 [ -9, 58], [-16, 72], [ -7, 69], [ -4, 69],
1106 [ -5, 74], [ -9, 86], [-23, 112], [-15, 71],
1107 [ -7, 61], [ 0, 53], [ -5, 66], [-11, 77],
1108 [ -9, 80], [ -9, 84], [-10, 87], [-34, 127],
1109 [-21, 101], [ -3, 39], [ -5, 53], [ -7, 61],
1110 [-11, 75], [-15, 77], [-17, 91], [-25, 107],
1111 [-25, 111], [-28, 122], [-11, 76], [-10, 44],
1112 [-10, 52], [-10, 57], [ -9, 58], [-16, 72],
1113 [ -7, 69], [ -4, 69], [ -5, 74], [ -9, 86],
1114 [ -2, 73], [-12, 104], [ -9, 91], [-31, 127],
1115 [ -2, 73], [-12, 104], [ -9, 91], [-31, 127],
1116 [ -2, 73], [-12, 104], [ -9, 91], [-31, 127]
1117 ], [
1118 [ 20, -15], [ 2, 54], [ 3, 74], [ 20, -15],
1119 [ 2, 54], [ 3, 74], [-28, 127], [-23, 104],
1120 [ -6, 53], [ -1, 54], [ 7, 51], [ 29, 16],
1121 [ 25, 0], [ 14, 0], [-10, 51], [ -3, 62],
1122 [-27, 99], [ 26, 16], [ -4, 85], [-24, 102],
1123 [ 5, 57], [ 6, 57], [-17, 73], [ 14, 57],
1124 [ 20, 40], [ 20, 10], [ 29, 0], [ 54, 0],
1125 [ 37, 42], [ 12, 97], [-32, 127], [-22, 117],
1126 [ -2, 74], [ -4, 85], [-24, 102], [ 5, 57],
1127 [ -6, 93], [-14, 88], [ -6, 44], [ 4, 55],
1128 [-11, 89], [-15, 103], [-21, 116], [ 19, 57],
1129 [ 20, 58], [ 4, 84], [ 6, 96], [ 1, 63],
1130 [ -5, 85], [-13, 106], [ 5, 63], [ 6, 75],
1131 [ -3, 90], [ -1, 101], [ 3, 55], [ -4, 79],
1132 [ -2, 75], [-12, 97], [ -7, 50], [ 1, 60],
1133 [ 0, 41], [ 0, 63], [ 0, 63], [ 0, 63],
1134 [ -9, 83], [ 4, 86], [ 0, 97], [ -7, 72],
1135 [ 13, 41], [ 3, 62], [ 7, 34], [ -9, 88],
1136 [-20, 127], [-36, 127], [-17, 91], [-14, 95],
1137 [-25, 84], [-25, 86], [-12, 89], [-17, 91],
1138 [-31, 127], [-14, 76], [-18, 103], [-13, 90],
1139 [-37, 127], [ 11, 80], [ 5, 76], [ 2, 84],
1140 [ 5, 78], [ -6, 55], [ 4, 61], [-14, 83],
1141 [-37, 127], [ -5, 79], [-11, 104], [-11, 91],
1142 [-30, 127], [ 0, 65], [ -2, 79], [ 0, 72],
1143 [ -4, 92], [ -6, 56], [ 3, 68], [ -8, 71],
1144 [-13, 98], [ -4, 86], [-12, 88], [ -5, 82],
1145 [ -3, 72], [ -4, 67], [ -8, 72], [-16, 89],
1146 [ -9, 69], [ -1, 59], [ 5, 66], [ 4, 57],
1147 [ -4, 71], [ -2, 71], [ 2, 58], [ -1, 74],
1148 [ -4, 44], [ -1, 69], [ 0, 62], [ -7, 51],
1149 [ -4, 47], [ -6, 42], [ -3, 41], [ -6, 53],
1150 [ 8, 76], [ -9, 78], [-11, 83], [ 9, 52],
1151 [ 0, 67], [ -5, 90], [ 1, 67], [-15, 72],
1152 [ -5, 75], [ -8, 80], [-21, 83], [-21, 64],
1153 [-13, 31], [-25, 64], [-29, 94], [ 9, 75],
1154 [ 17, 63], [ -8, 74], [ -5, 35], [ -2, 27],
1155 [ 13, 91], [ 3, 65], [ -7, 69], [ 8, 77],
1156 [-10, 66], [ 3, 62], [ -3, 68], [-20, 81],
1157 [ 0, 30], [ 1, 7], [ -3, 23], [-21, 74],
1158 [ 16, 66], [-23, 124], [ 17, 37], [ 44, -18],
1159 [ 50, -34], [-22, 127], [ 4, 39], [ 0, 42],
1160 [ 7, 34], [ 11, 29], [ 8, 31], [ 6, 37],
1161 [ 7, 42], [ 3, 40], [ 8, 33], [ 13, 43],
1162 [ 13, 36], [ 4, 47], [ 3, 55], [ 2, 58],
1163 [ 6, 60], [ 8, 44], [ 11, 44], [ 14, 42],
1164 [ 7, 48], [ 4, 56], [ 4, 52], [ 13, 37],
1165 [ 9, 49], [ 19, 58], [ 10, 48], [ 12, 45],
1166 [ 0, 69], [ 20, 33], [ 8, 63], [ 35, -18],
1167 [ 33, -25], [ 28, -3], [ 24, 10], [ 27, 0],
1168 [ 34, -14], [ 52, -44], [ 39, -24], [ 19, 17],
1169 [ 31, 25], [ 36, 29], [ 24, 33], [ 34, 15],
1170 [ 30, 20], [ 22, 73], [ 20, 34], [ 19, 31],
1171 [ 27, 44], [ 19, 16], [ 15, 36], [ 15, 36],
1172 [ 21, 28], [ 25, 21], [ 30, 20], [ 31, 12],
1173 [ 27, 16], [ 24, 42], [ 0, 93], [ 14, 56],
1174 [ 15, 57], [ 26, 38], [-24, 127], [-24, 115],
1175 [-22, 82], [ -9, 62], [ 0, 53], [ 0, 59],
1176 [-14, 85], [-13, 89], [-13, 94], [-11, 92],
1177 [-29, 127], [-21, 100], [-14, 57], [-12, 67],
1178 [-11, 71], [-10, 77], [-21, 85], [-16, 88],
1179 [-23, 104], [-15, 98], [-37, 127], [-10, 82],
1180 [ -8, 48], [ -8, 61], [ -8, 66], [ -7, 70],
1181 [-14, 75], [-10, 79], [ -9, 83], [-12, 92],
1182 [-18, 108], [ -4, 79], [-22, 69], [-16, 75],
1183 [ -2, 58], [ 1, 58], [-13, 78], [ -9, 83],
1184 [ -4, 81], [-13, 99], [-13, 81], [ -6, 38],
1185 [-13, 62], [ -6, 58], [ -2, 59], [-16, 73],
1186 [-10, 76], [-13, 86], [ -9, 83], [-10, 87],
1187 [ 0, 0], [-22, 127], [-25, 127], [-25, 120],
1188 [-27, 127], [-19, 114], [-23, 117], [-25, 118],
1189 [-26, 117], [-24, 113], [-28, 118], [-31, 120],
1190 [-37, 124], [-10, 94], [-15, 102], [-10, 99],
1191 [-13, 106], [-50, 127], [ -5, 92], [ 17, 57],
1192 [ -5, 86], [-13, 94], [-12, 91], [ -2, 77],
1193 [ 0, 71], [ -1, 73], [ 4, 64], [ -7, 81],
1194 [ 5, 64], [ 15, 57], [ 1, 67], [ 0, 68],
1195 [-10, 67], [ 1, 68], [ 0, 77], [ 2, 64],
1196 [ 0, 68], [ -5, 78], [ 7, 55], [ 5, 59],
1197 [ 2, 65], [ 14, 54], [ 15, 44], [ 5, 60],
1198 [ 2, 70], [ -2, 76], [-18, 86], [ 12, 70],
1199 [ 5, 64], [-12, 70], [ 11, 55], [ 5, 56],
1200 [ 0, 69], [ 2, 65], [ -6, 74], [ 5, 54],
1201 [ 7, 54], [ -6, 76], [-11, 82], [ -2, 77],
1202 [ -2, 77], [ 25, 42], [ 17, -13], [ 16, -9],
1203 [ 17, -12], [ 27, -21], [ 37, -30], [ 41, -40],
1204 [ 42, -41], [ 48, -47], [ 39, -32], [ 46, -40],
1205 [ 52, -51], [ 46, -41], [ 52, -39], [ 43, -19],
1206 [ 32, 11], [ 61, -55], [ 56, -46], [ 62, -50],
1207 [ 81, -67], [ 45, -20], [ 35, -2], [ 28, 15],
1208 [ 34, 1], [ 39, 1], [ 30, 17], [ 20, 38],
1209 [ 18, 45], [ 15, 54], [ 0, 79], [ 36, -16],
1210 [ 37, -14], [ 37, -17], [ 32, 1], [ 34, 15],
1211 [ 29, 15], [ 24, 25], [ 34, 22], [ 31, 16],
1212 [ 35, 18], [ 31, 28], [ 33, 41], [ 36, 28],
1213 [ 27, 47], [ 21, 62], [ 18, 31], [ 19, 26],
1214 [ 36, 24], [ 24, 23], [ 27, 16], [ 24, 30],
1215 [ 31, 29], [ 22, 41], [ 22, 42], [ 16, 60],
1216 [ 15, 52], [ 14, 60], [ 3, 78], [-16, 123],
1217 [ 21, 53], [ 22, 56], [ 25, 61], [ 21, 33],
1218 [ 19, 50], [ 17, 61], [ -3, 78], [ -8, 74],
1219 [ -9, 72], [-10, 72], [-18, 75], [-12, 71],
1220 [-11, 63], [ -5, 70], [-17, 75], [-14, 72],
1221 [-16, 67], [ -8, 53], [-14, 59], [ -9, 52],
1222 [-11, 68], [ 9, -2], [ 30, -10], [ 31, -4],
1223 [ 33, -1], [ 33, 7], [ 31, 12], [ 37, 23],
1224 [ 31, 38], [ 20, 64], [ -9, 71], [ -7, 37],
1225 [ -8, 44], [-11, 49], [-10, 56], [-12, 59],
1226 [ -8, 63], [ -9, 67], [ -6, 68], [-10, 79],
1227 [ -3, 78], [ -8, 74], [ -9, 72], [-10, 72],
1228 [-18, 75], [-12, 71], [-11, 63], [ -5, 70],
1229 [-17, 75], [-14, 72], [-16, 67], [ -8, 53],
1230 [-14, 59], [ -9, 52], [-11, 68], [ 9, -2],
1231 [ 30, -10], [ 31, -4], [ 33, -1], [ 33, 7],
1232 [ 31, 12], [ 37, 23], [ 31, 38], [ 20, 64],
1233 [ 11, 80], [ 5, 76], [ 2, 84], [ 5, 78],
1234 [ -6, 55], [ 4, 61], [-14, 83], [-37, 127],
1235 [ -5, 79], [-11, 104], [-11, 91], [-30, 127],
1236 [ 11, 80], [ 5, 76], [ 2, 84], [ 5, 78],
1237 [ -6, 55], [ 4, 61], [-14, 83], [-37, 127],
1238 [ -5, 79], [-11, 104], [-11, 91], [-30, 127],
1239 [ -4, 86], [-12, 88], [ -5, 82], [ -3, 72],
1240 [ -4, 67], [ -8, 72], [-16, 89], [ -9, 69],
1241 [ -1, 59], [ 5, 66], [ 4, 57], [ -4, 71],
1242 [ -2, 71], [ 2, 58], [ -1, 74], [ -4, 44],
1243 [ -1, 69], [ 0, 62], [ -7, 51], [ -4, 47],
1244 [ -6, 42], [ -3, 41], [ -6, 53], [ 8, 76],
1245 [ -9, 78], [-11, 83], [ 9, 52], [ 0, 67],
1246 [ -5, 90], [ 1, 67], [-15, 72], [ -5, 75],
1247 [ -8, 80], [-21, 83], [-21, 64], [-13, 31],
1248 [-25, 64], [-29, 94], [ 9, 75], [ 17, 63],
1249 [ -8, 74], [ -5, 35], [ -2, 27], [ 13, 91],
1250 [ -4, 86], [-12, 88], [ -5, 82], [ -3, 72],
1251 [ -4, 67], [ -8, 72], [-16, 89], [ -9, 69],
1252 [ -1, 59], [ 5, 66], [ 4, 57], [ -4, 71],
1253 [ -2, 71], [ 2, 58], [ -1, 74], [ -4, 44],
1254 [ -1, 69], [ 0, 62], [ -7, 51], [ -4, 47],
1255 [ -6, 42], [ -3, 41], [ -6, 53], [ 8, 76],
1256 [ -9, 78], [-11, 83], [ 9, 52], [ 0, 67],
1257 [ -5, 90], [ 1, 67], [-15, 72], [ -5, 75],
1258 [ -8, 80], [-21, 83], [-21, 64], [-13, 31],
1259 [-25, 64], [-29, 94], [ 9, 75], [ 17, 63],
1260 [ -8, 74], [ -5, 35], [ -2, 27], [ 13, 91],
1261 [ 4, 39], [ 0, 42], [ 7, 34], [ 11, 29],
1262 [ 8, 31], [ 6, 37], [ 7, 42], [ 3, 40],
1263 [ 8, 33], [ 13, 43], [ 13, 36], [ 4, 47],
1264 [ 3, 55], [ 2, 58], [ 6, 60], [ 8, 44],
1265 [ 11, 44], [ 14, 42], [ 7, 48], [ 4, 56],
1266 [ 4, 52], [ 13, 37], [ 9, 49], [ 19, 58],
1267 [ 10, 48], [ 12, 45], [ 0, 69], [ 20, 33],
1268 [ 8, 63], [ 35, -18], [ 33, -25], [ 28, -3],
1269 [ 24, 10], [ 27, 0], [ 34, -14], [ 52, -44],
1270 [ 39, -24], [ 19, 17], [ 31, 25], [ 36, 29],
1271 [ 24, 33], [ 34, 15], [ 30, 20], [ 22, 73],
1272 [ 4, 39], [ 0, 42], [ 7, 34], [ 11, 29],
1273 [ 8, 31], [ 6, 37], [ 7, 42], [ 3, 40],
1274 [ 8, 33], [ 13, 43], [ 13, 36], [ 4, 47],
1275 [ 3, 55], [ 2, 58], [ 6, 60], [ 8, 44],
1276 [ 11, 44], [ 14, 42], [ 7, 48], [ 4, 56],
1277 [ 4, 52], [ 13, 37], [ 9, 49], [ 19, 58],
1278 [ 10, 48], [ 12, 45], [ 0, 69], [ 20, 33],
1279 [ 8, 63], [ 35, -18], [ 33, -25], [ 28, -3],
1280 [ 24, 10], [ 27, 0], [ 34, -14], [ 52, -44],
1281 [ 39, -24], [ 19, 17], [ 31, 25], [ 36, 29],
1282 [ 24, 33], [ 34, 15], [ 30, 20], [ 22, 73],
1283 [ -3, 78], [ -8, 74], [ -9, 72], [-10, 72],
1284 [-18, 75], [-12, 71], [-11, 63], [ -5, 70],
1285 [-17, 75], [-14, 72], [-16, 67], [ -8, 53],
1286 [-14, 59], [ -9, 52], [-11, 68], [ -3, 78],
1287 [ -8, 74], [ -9, 72], [-10, 72], [-18, 75],
1288 [-12, 71], [-11, 63], [ -5, 70], [-17, 75],
1289 [-14, 72], [-16, 67], [ -8, 53], [-14, 59],
1290 [ -9, 52], [-11, 68], [ 9, -2], [ 30, -10],
1291 [ 31, -4], [ 33, -1], [ 33, 7], [ 31, 12],
1292 [ 37, 23], [ 31, 38], [ 20, 64], [ 9, -2],
1293 [ 30, -10], [ 31, -4], [ 33, -1], [ 33, 7],
1294 [ 31, 12], [ 37, 23], [ 31, 38], [ 20, 64],
1295 [ -9, 71], [ -7, 37], [ -8, 44], [-11, 49],
1296 [-10, 56], [-12, 59], [ -8, 63], [ -9, 67],
1297 [ -6, 68], [-10, 79], [ -3, 78], [ -8, 74],
1298 [ -9, 72], [-10, 72], [-18, 75], [-12, 71],
1299 [-11, 63], [ -5, 70], [-17, 75], [-14, 72],
1300 [-16, 67], [ -8, 53], [-14, 59], [ -9, 52],
1301 [-11, 68], [ -3, 78], [ -8, 74], [ -9, 72],
1302 [-10, 72], [-18, 75], [-12, 71], [-11, 63],
1303 [ -5, 70], [-17, 75], [-14, 72], [-16, 67],
1304 [ -8, 53], [-14, 59], [ -9, 52], [-11, 68],
1305 [ 9, -2], [ 30, -10], [ 31, -4], [ 33, -1],
1306 [ 33, 7], [ 31, 12], [ 37, 23], [ 31, 38],
1307 [ 20, 64], [ 9, -2], [ 30, -10], [ 31, -4],
1308 [ 33, -1], [ 33, 7], [ 31, 12], [ 37, 23],
1309 [ 31, 38], [ 20, 64], [ -9, 71], [ -7, 37],
1310 [ -8, 44], [-11, 49], [-10, 56], [-12, 59],
1311 [ -8, 63], [ -9, 67], [ -6, 68], [-10, 79],
1312 [-22, 127], [-25, 127], [-25, 120], [-27, 127],
1313 [-19, 114], [-23, 117], [-25, 118], [-26, 117],
1314 [-24, 113], [-28, 118], [-31, 120], [-37, 124],
1315 [-10, 94], [-15, 102], [-10, 99], [-13, 106],
1316 [-50, 127], [ -5, 92], [ 17, 57], [ -5, 86],
1317 [-13, 94], [-12, 91], [ -2, 77], [ 0, 71],
1318 [ -1, 73], [ 4, 64], [ -7, 81], [ 5, 64],
1319 [ 15, 57], [ 1, 67], [ 0, 68], [-10, 67],
1320 [ 1, 68], [ 0, 77], [ 2, 64], [ 0, 68],
1321 [ -5, 78], [ 7, 55], [ 5, 59], [ 2, 65],
1322 [ 14, 54], [ 15, 44], [ 5, 60], [ 2, 70],
1323 [-22, 127], [-25, 127], [-25, 120], [-27, 127],
1324 [-19, 114], [-23, 117], [-25, 118], [-26, 117],
1325 [-24, 113], [-28, 118], [-31, 120], [-37, 124],
1326 [-10, 94], [-15, 102], [-10, 99], [-13, 106],
1327 [-50, 127], [ -5, 92], [ 17, 57], [ -5, 86],
1328 [-13, 94], [-12, 91], [ -2, 77], [ 0, 71],
1329 [ -1, 73], [ 4, 64], [ -7, 81], [ 5, 64],
1330 [ 15, 57], [ 1, 67], [ 0, 68], [-10, 67],
1331 [ 1, 68], [ 0, 77], [ 2, 64], [ 0, 68],
1332 [ -5, 78], [ 7, 55], [ 5, 59], [ 2, 65],
1333 [ 14, 54], [ 15, 44], [ 5, 60], [ 2, 70],
1334 [ 17, -13], [ 16, -9], [ 17, -12], [ 27, -21],
1335 [ 37, -30], [ 41, -40], [ 42, -41], [ 48, -47],
1336 [ 39, -32], [ 46, -40], [ 52, -51], [ 46, -41],
1337 [ 52, -39], [ 43, -19], [ 32, 11], [ 61, -55],
1338 [ 56, -46], [ 62, -50], [ 81, -67], [ 45, -20],
1339 [ 35, -2], [ 28, 15], [ 34, 1], [ 39, 1],
1340 [ 30, 17], [ 20, 38], [ 18, 45], [ 15, 54],
1341 [ 0, 79], [ 36, -16], [ 37, -14], [ 37, -17],
1342 [ 32, 1], [ 34, 15], [ 29, 15], [ 24, 25],
1343 [ 34, 22], [ 31, 16], [ 35, 18], [ 31, 28],
1344 [ 33, 41], [ 36, 28], [ 27, 47], [ 21, 62],
1345 [ 17, -13], [ 16, -9], [ 17, -12], [ 27, -21],
1346 [ 37, -30], [ 41, -40], [ 42, -41], [ 48, -47],
1347 [ 39, -32], [ 46, -40], [ 52, -51], [ 46, -41],
1348 [ 52, -39], [ 43, -19], [ 32, 11], [ 61, -55],
1349 [ 56, -46], [ 62, -50], [ 81, -67], [ 45, -20],
1350 [ 35, -2], [ 28, 15], [ 34, 1], [ 39, 1],
1351 [ 30, 17], [ 20, 38], [ 18, 45], [ 15, 54],
1352 [ 0, 79], [ 36, -16], [ 37, -14], [ 37, -17],
1353 [ 32, 1], [ 34, 15], [ 29, 15], [ 24, 25],
1354 [ 34, 22], [ 31, 16], [ 35, 18], [ 31, 28],
1355 [ 33, 41], [ 36, 28], [ 27, 47], [ 21, 62],
1356 [-24, 115], [-22, 82], [ -9, 62], [ 0, 53],
1357 [ 0, 59], [-14, 85], [-13, 89], [-13, 94],
1358 [-11, 92], [-29, 127], [-21, 100], [-14, 57],
1359 [-12, 67], [-11, 71], [-10, 77], [-21, 85],
1360 [-16, 88], [-23, 104], [-15, 98], [-37, 127],
1361 [-10, 82], [ -8, 48], [ -8, 61], [ -8, 66],
1362 [ -7, 70], [-14, 75], [-10, 79], [ -9, 83],
1363 [-12, 92], [-18, 108], [-24, 115], [-22, 82],
1364 [ -9, 62], [ 0, 53], [ 0, 59], [-14, 85],
1365 [-13, 89], [-13, 94], [-11, 92], [-29, 127],
1366 [-21, 100], [-14, 57], [-12, 67], [-11, 71],
1367 [-10, 77], [-21, 85], [-16, 88], [-23, 104],
1368 [-15, 98], [-37, 127], [-10, 82], [ -8, 48],
1369 [ -8, 61], [ -8, 66], [ -7, 70], [-14, 75],
1370 [-10, 79], [ -9, 83], [-12, 92], [-18, 108],
1371 [ -5, 79], [-11, 104], [-11, 91], [-30, 127],
1372 [ -5, 79], [-11, 104], [-11, 91], [-30, 127],
1373 [ -5, 79], [-11, 104], [-11, 91], [-30, 127]
1374 ]
1375];