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