···
-
44..52 |> Enum.map(&rem(&1, 26))
<!-- livebook:{"output":true} -->
-
[18, 19, 20, 21, 22, 23, 24, 25, 0]
-
IO.inspect(Day24.evaluate(input, 11_111_111_111_131))
<!-- livebook:{"output":true} -->
-
%{w: 1, x: 1, y: 16, z: 5400141854}
<!-- livebook:{"output":true} -->
-
%{w: 1, x: 1, y: 16, z: 5400141854}
-
result = Day24.evaluate(input, ver)
-
throw({:ok, Integer.undigits(ver)})
···
<!-- livebook:{"output":true} -->
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 0, y: 0, z: 11790415}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 0, y: 0, z: 11790415}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 0, y: 0, z: 11790415}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 0, y: 0, z: 11790415}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 0, y: 0, z: 306550811}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 0, y: 0, z: 306550811}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 0, y: 0, z: 306550811}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 0, y: 0, z: 306550811}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 306550814}
-
%{w: 8, x: 1, y: 23, z: 306550813}
-
%{w: 7, x: 1, y: 22, z: 306550812}
-
%{w: 6, x: 1, y: 21, z: 306550811}
-
%{w: 5, x: 1, y: 20, z: 306550810}
-
%{w: 4, x: 1, y: 19, z: 306550809}
-
%{w: 3, x: 1, y: 18, z: 306550808}
-
%{w: 2, x: 1, y: 17, z: 306550807}
-
%{w: 1, x: 1, y: 16, z: 306550806}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321110}
-
%{w: 8, x: 1, y: 23, z: 7970321109}
-
%{w: 7, x: 1, y: 22, z: 7970321108}
-
%{w: 6, x: 1, y: 21, z: 7970321107}
-
%{w: 5, x: 1, y: 20, z: 7970321106}
-
%{w: 4, x: 1, y: 19, z: 7970321105}
-
%{w: 3, x: 1, y: 18, z: 7970321104}
-
%{w: 2, x: 1, y: 17, z: 7970321103}
-
%{w: 1, x: 1, y: 16, z: 7970321102}
-
%{w: 9, x: 1, y: 24, z: 7970321084}
-
%{w: 8, x: 1, y: 23, z: 7970321083}
-
%{w: 7, x: 1, y: 22, z: 7970321082}
-
%{w: 6, x: 1, y: 21, z: 7970321081}
-
%{w: 5, x: 1, y: 20, z: 7970321080}
-
%{w: 4, x: 0, y: 0, z: 306550810}
-
%{w: 3, x: 1, y: 18, z: 7970321078}
-
%{w: 2, x: 1, y: 17, z: 7970321077}
-
%{w: 1, x: 1, y: 16, z: 7970321076}
-
%{w: 9, x: 1, y: 24, z: 7970321084}
-
%{w: 8, x: 1, y: 23, z: 7970321083}
-
%{w: 7, x: 1, y: 22, z: 7970321082}
-
%{w: 6, x: 1, y: 21, z: 7970321081}
-
%{w: 5, x: 1, y: 20, z: 7970321080}
···
+
{:inp, _} = inp, [] -> {:cont, [inp]}
+
{:inp, _} = inp, acc -> {:cont, Enum.reverse(acc), [inp]}
+
other, acc -> {:cont, [other | acc]}
+
fn acc -> {:cont, Enum.reverse(acc), []} end
<!-- livebook:{"output":true} -->
+
List.myers_difference(hd(digits), Enum.at(digits, 4))
<!-- livebook:{"output":true} -->
+
eq: [{:inp, :w}, {:mul, :x, 0}, {:add, :x, :z}, {:mod, :x, 26}],
+
del: [{:div, :z, 1}, {:add, :x, 11}],
+
ins: [{:div, :z, 26}, {:add, :x, -3}],
+
eq: [{:mul, :y, :x}, {:add, :z, :y}]
+
Enum.map(digits, fn sub ->
+
|> Enum.map(&Enum.at(sub, &1))
+
|> Enum.map(&elem(&1, 2))
<!-- livebook:{"output":true} -->
+
def solve(params, range) do
+
params |> solve(0, [], range) |> Enum.reverse() |> Integer.undigits()
+
defp solve([], _z, acc, _range), do: acc
+
defp solve([[a, b] | rest], z, acc, range) when a > 0 do
+
Enum.find_value(range, fn w ->
+
solve(rest, 26 * z + w + b, [w | acc], range)
+
defp solve([[a, _] | rest], z, acc, range) when a < 0 do
+
solve(rest, div(z, 26), [value | acc], range)
···
<!-- livebook:{"output":true} -->
+
{:module, ALU, <<70, 79, 82, 49, 0, 0, 10, ...>>, {:solve, 4}}
+
ALU.solve(params, 9..1//-1)
+
<!-- livebook:{"output":true} -->
+
ALU.solve(params, 1..9)
+
<!-- livebook:{"output":true} -->
hauleth.dev