Day 16: Early exit search loop

.aocbench.yaml

@@ -4,8 +4,8 @@ language: "scala"
 dockerfile: "Dockerfile"
 code: "/code"
 workdir: "/code"
-runonce: "./mill aoc.assembly"
-cmd: "java -jar ./out/aoc/assembly.dest/out.jar %day% %input%"
+runonce: "./mill aoc.nativeImage"
+cmd: "./out/aoc/nativeImage.dest/aoc %day% %input%"
 environment:
   - AOC_BENCH=1
 daypath: "aoc/src/dev/ctsk/aoc/days/Day%dayzero%.scala"

Dockerfile

@@ -1,9 +1,15 @@
-FROM eclipse-temurin:23-jdk-alpine
+FROM eclipse-temurin:23-jdk
 
-RUN apk add curl
+RUN apt-get update && apt-get install -y curl gzip build-essential libz-dev
+RUN curl -fL "https://github.com/coursier/launchers/raw/master/cs-x86_64-pc-linux.gz" | gzip -d > cs
+RUN chmod +x cs
+RUN cp cs /usr/local/bin
+RUN ./cs setup --yes
 
 COPY . /build
 
 WORKDIR /build
 
-RUN ./mill aoc.assembly
+RUN ./mill aoc.assembly
+
+RUN ./mill aoc.nativeImage

aoc/src/dev/ctsk/aoc/DisjointSets.scala

@@ -0,0 +1,27 @@
+package dev.ctsk.aoc
+
+import scala.collection.mutable
+
+case class DisjointSets[A](members: Seq[A]):
+  private val parent = mutable.Map.from(members.zip(members))
+  private val rank = mutable.Map.from(members.map(_ -> 1))
+
+  def joint(m1: A, m2: A): Boolean = find(m1) == find(m2)
+
+  def find(member: A): A =
+    val up = parent(member)
+    if up == member then up
+    else {
+      val root = find(up); parent(member) = root; root
+    }
+
+  def union(m1: A, m2: A): Unit =
+    val p1 = find(m1);
+    val p2 = find(m2)
+    if p1 == p2 then return
+    val r1 = rank(p1);
+    val r2 = rank(p2)
+    r1.compare(r2) match
+      case k if k < 0 => parent(p1) = p2
+      case 0          => parent(p1) = p2; rank(p2) += 1
+      case k if k > 0 => parent(p2) = p1

aoc/src/dev/ctsk/aoc/Grid.scala

@@ -10,9 +10,9 @@ case class Point(x: Int, y: Int):
   def -(o: Point): Point = Point(x - o.x, y - o.y)
   def *(n: Int): Point = Point(n * x, n * y)
   def reduce: Point = { val g = gcd(x.abs, y.abs); Point(x / g, y / g) }
+  def manhattan: Int = x.abs + y.abs
 
-val directions =
-  Seq(Direction.Up, Direction.Right, Direction.Down, Direction.Left)
+val DIRS = Seq(Direction.Up, Direction.Right, Direction.Down, Direction.Left)
 
 object Direction:
   def from(c: Char): Direction =

aoc/src/dev/ctsk/aoc/Main.scala

@@ -18,7 +18,16 @@ val solvers = Map[Int, Solver](
   13 -> Day13,
   14 -> Day14,
   15 -> Day15,
-  16 -> Day16
+  16 -> Day16,
+  17 -> Day17,
+  18 -> Day18,
+  19 -> Day19,
+  20 -> Day20,
+  21 -> Day21,
+  22 -> Day22,
+  23 -> Day23,
+  24 -> Day24,
+  25 -> Day25
 )
 
 def runSolver(solver: Solver, input: os.Path): Unit =
@@ -28,16 +37,16 @@ def runSolver(solver: Solver, input: os.Path): Unit =
       println(solution.p1)
       println(solution.p2)
     case None =>
-      println(f"==============================================")
-      println(f"Day ${solver.day}%02d ---------------------------------------")
-      println(f"Prep ${timings.prep}%38s μs")
-      println(f"Part 1 ${solution.p1}%20s ${timings.p1}%15s μs")
-      println(f"Part 2 ${solution.p2}%20s ${timings.p2}%15s μs")
-      println(f"----------------------------------------------")
-
-      println(f"Total ${timings.total}%37s μs")
-
-      println(f"==============================================")
+      println(f"=============================================================")
+      println(
+        f"Day ${solver.day}%02d ------------------------------------------------------"
+      )
+      println(f"Prep ${timings.prep}%53s μs")
+      println(f"Part 1 ${solution.p1}%40s ${timings.p1}%10s μs")
+      println(f"Part 2 ${solution.p2}%40s ${timings.p2}%10s μs")
+      println(f"-------------------------------------------------------------")
+      println(f"Total ${timings.total}%52s μs")
+      println(f"=============================================================")
 
 @main def main(day: String, input: String): Unit =
   val num = """(\d+)""".r

aoc/src/dev/ctsk/aoc/Memo.scala

@@ -0,0 +1,11 @@
+package dev.ctsk.aoc
+
+import scala.collection.mutable
+
+object Memo:
+  def Y[I, O](f: (I, I => O) => O): I => O =
+    lazy val yf: I => O = Memo(f(_, yf(_))); yf
+
+class Memo[-I, +O](f: I => O) extends (I => O):
+  private[this] val memo = mutable.Map.empty[I, O]
+  def apply(i: I): O = { lazy val o = f(i); memo.getOrElseUpdate(i, o) }

aoc/src/dev/ctsk/aoc/Trie.scala

@@ -0,0 +1,25 @@
+package dev.ctsk.aoc
+
+import scala.collection.mutable
+
+class Trie(
+    var isPrefix: Boolean = false,
+    var children: mutable.Map[Char, Trie] = mutable.Map.empty
+):
+  def insert(w: String, pos: Int = 0): Unit =
+    if pos == w.length
+    then isPrefix = true
+    else
+      children.get(w(pos)) match
+        case Some(child) => child.insert(w, pos + 1)
+        case None =>
+          val child = Trie()
+          children(w(pos)) = child
+          child.insert(w, pos + 1)
+
+  def prefixes(w: String, pos: Int = 0, acc: List[Int] = Nil): List[Int] =
+    val newAcc = if isPrefix then pos +: acc else acc
+    if pos >= w.length then return newAcc
+    children.get(w(pos)) match
+      case None        => newAcc
+      case Some(child) => child.prefixes(w, pos + 1, newAcc)

aoc/src/dev/ctsk/aoc/days/Day16.scala

@@ -3,6 +3,8 @@ package dev.ctsk.aoc.days
 import dev.ctsk.aoc.{Direction, *}
 
 import scala.collection.mutable
+import scala.util.boundary
+import scala.util.boundary.break
 
 object Day16 extends Solver(16):
   override def run(input_ : os.ReadablePath): (Timings, Solution) =
@@ -14,28 +16,40 @@ object Day16 extends Solver(16):
     val end = grid.findFirst(_ == 'E').get
 
     case class State(distance: Int, pose: Pose)
-    implicit def ord: Ordering[State] = Ordering.by(-1 * _.distance)
-
-    Direction.Up.ordinal
 
     def search(start: Pose): (Map[Pose, Int], Map[Pose, List[Pose]]) =
       val distance = mutable.Map(start -> 0)
       val ancestor = mutable.Map.empty[Pose, List[Pose]]
-      val heap = mutable.PriorityQueue(State(0, start))
+      var near = mutable.Stack(State(0, start))
+      var far = mutable.Stack.empty[State]
 
-      inline def relax(u: Pose, v: Pose, vDist: Int): Unit =
+      inline def relax(u: Pose, v: Pose, vDist: Int, isFar: Boolean): Unit =
         val oldDist = distance.getOrElse(v, 1_000_000)
         if vDist == oldDist then ancestor(v) +:= u
         if vDist < oldDist then
           ancestor(v) = List(u)
           distance(v) = vDist
-          heap.enqueue(State(vDist, v))
+          if isFar
+          then far.push(State(vDist, v))
+          else near.push(State(vDist, v))
 
-      while heap.nonEmpty do
-        val State(uDist, u) = heap.dequeue()
-        if uDist == distance(u) then
-          if !grid(u.step.pos).contains('#') then relax(u, u.step, uDist + 1)
-          for (v <- Seq(u.turnLeft, u.turnRight)) do relax(u, v, uDist + 1000)
+      boundary:
+        while near.nonEmpty do
+          var atEnd = false;
+          while near.nonEmpty do
+            val State(uDist, u) = near.pop()
+            atEnd |= u.pos == end
+            if uDist == distance(u) then
+              if !grid(u.step.pos).contains('#') then
+                relax(u, u.step, uDist + 1, false)
+              for (v <- Seq(u.turnLeft, u.turnRight)) do
+                relax(u, v, uDist + 1000, true)
+
+          if atEnd then break()
+
+          val tmp = near
+          near = far
+          far = tmp
 
       (distance.toMap, ancestor.toMap)
 
@@ -43,7 +57,7 @@ object Day16 extends Solver(16):
       search(Pose(start, Direction.Right))
     }
 
-    val endPose = directions.map(Pose(end, _)).minBy(distance(_))
+    val endPose = DIRS.map(Pose(end, _)).minBy(distance.getOrElse(_, 1_000_000))
 
     val p1 = distance(endPose)
 
@@ -51,7 +65,6 @@ object Day16 extends Solver(16):
       val all = mutable.Set(endPose)
       var cur = Set(endPose)
 
-      println(start)
       while cur.nonEmpty do
         cur = cur.filter(_ != Pose(start, Direction.Right)).flatMap(ancestor(_))
         all.addAll(cur)

aoc/src/dev/ctsk/aoc/days/Day17.scala

@@ -0,0 +1,75 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+
+import scala.util.boundary
+import scala.util.boundary.break
+
+object Day17 extends Solver(17):
+  case class Machine(var code: IndexedSeq[Long]):
+    def execute(
+        registers: Map[Char, Long],
+        output: Option[Int] = None
+    ): Vector[Long] =
+      val reg = Array.from(registers).sorted.map(_._2)
+      var pc = 0
+
+      def combo(i: Long): Long =
+        i match
+          case i if i <= 3          => i
+          case i if i > 3 && i <= 6 => reg(i.toInt - 4)
+
+      var out = Vector.empty[Long]
+      boundary:
+        while pc < code.length do
+          code(pc) match
+            case 0 => reg(0) >>= combo(code(pc + 1)); pc += 2
+            case 1 => reg(1) ^= code(pc + 1); pc += 2
+            case 2 => reg(1) = combo(code(pc + 1)) % 8; pc += 2
+            case 3 => if reg(0) != 0 then pc = code(pc + 1).toInt else pc += 2
+            case 4 => reg(1) = reg(1) ^ reg(2); pc += 2
+            case 5 =>
+              out :+= combo(code(pc + 1)) % 8;
+              if output.exists(_ >= out.length) then break()
+              pc += 2
+            case 6 => reg(1) = reg(0) >> combo(code(pc + 1)); pc += 2
+            case 7 => reg(2) = reg(0) >> combo(code(pc + 1)); pc += 2
+
+      out
+
+  def part1(machine: Machine, initialRegs: Map[Char, Long]): String =
+    machine.execute(initialRegs).mkString(",")
+
+  def part2(machine: Machine, initialRegs: Map[Char, Long]): Long =
+    val target = machine.code.reverse
+
+    def rec(pos: Int = 0, acc: Long = 0): Option[Long] =
+      if pos >= target.length then return Some(acc)
+
+      def check(aVal: Long): Boolean =
+        machine.execute(initialRegs.updated('A', aVal), Some(1)).head
+          == target(pos)
+
+      (0 until 8)
+        .map((acc << 3) + _)
+        .filter(check)
+        .flatMap(rec(pos + 1, _))
+        .headOption
+
+    rec().get
+
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val Array(initial_, code_) = os.read(input).split("\n\n")
+    val initialRegs = initial_.linesIterator
+      .map(_.split(" "))
+      .map(a => a(1)(0) -> a(2).toLong)
+      .toMap
+    val machine = Machine(longs(code_).toArray)
+
+    val (p1_time, p1_solution) = timed { part1(machine, initialRegs) }
+    val (p2_time, p2_solution) = timed { part2(machine, initialRegs) }
+
+    (
+      Timings(0, p1_time, p2_time),
+      Solution(p1_solution, Long.box(p2_solution))
+    )

aoc/src/dev/ctsk/aoc/days/Day18.scala

@@ -0,0 +1,60 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+
+import scala.collection.mutable
+import scala.util.boundary
+import scala.util.boundary.break
+
+object Day18 extends Solver(18):
+  val SIZE = 70; val P1_COUNT = 1024
+
+  def part1(grid: Grid[Char], coords: Seq[Point]): Int =
+    for coord <- coords.take(P1_COUNT) do grid(coord) = '#'
+    val dist = Grid(Array.fill(SIZE + 1, SIZE + 1)(-1))
+    val dq = mutable.ArrayDeque((0, Point(0, 0)))
+
+    while dq.nonEmpty do
+      val (distance, pt) = dq.removeHead()
+      for
+        adj <- DIRS.map(_(pt))
+        if grid(adj).contains('.')
+        if dist(adj).contains(-1)
+      do
+        dist(adj) = (distance + 1)
+        dq += ((distance + 1, adj))
+
+    dist(Point(SIZE, SIZE)).get
+
+  def part2(grid: Grid[Char], coords: Seq[Point]): Point =
+    for coord <- coords do grid(coord) = '#'
+
+    val sets = DisjointSets(grid.points)
+    for
+      point <- grid.points
+      adj <- DIRS.map(_(point))
+      if grid(point).contains('.')
+      if grid(adj).contains('.')
+    do sets.union(point, adj)
+
+    boundary:
+      for coord <- coords.reverse do
+        grid(coord) = '.'
+        for pt <- DIRS.map(_(coord)) if grid(pt).contains('.') do
+          sets.union(coord, pt)
+        if sets.joint(Point(0, 0), Point(SIZE, SIZE)) then break(coord)
+
+      coords.head
+
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val grid = Grid(Array.fill(SIZE + 1, SIZE + 1)('.'))
+    val (pre_time, coords) = timed {
+      os.read.lines(input).map(longs).map(v => Point.of(v(0), v(1)))
+    }
+    val (p1_time, p1) = timed { part1(grid, coords) }
+    val (p2_time, p2) = timed { part2(grid, coords) }
+
+    (
+      Timings(pre_time, p1_time, p2_time),
+      Solution(Int.box(p1), f"${p2.x},${p2.y}")
+    )

aoc/src/dev/ctsk/aoc/days/Day19.scala

@@ -0,0 +1,26 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+
+object Day19 extends Solver(19):
+  def pre(input: os.ReadablePath): (Trie, Seq[String]) =
+    val Array(rules_, words_) = os.read(input).split("\n\n")
+    val trie = Trie()
+    for rule <- rules_.split(", ") do trie.insert(rule)
+    (trie, words_.linesIterator.toSeq)
+
+  private def arrangements(trie: Trie, word: String): Long =
+    def rec(offset: Int, inj: Int => Long): Long =
+      if offset == word.length then return 1L
+      trie.prefixes(word, offset).map(inj).sum
+    Memo.Y(rec)(0)
+
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val (pre_time, (trie, words)) = timed { pre(input) }
+    val (p1_time, p1) = timed { words.count(arrangements(trie, _) > 0) }
+    val (p2_time, p2) = timed { words.map(arrangements(trie, _)).sum }
+
+    (
+      Timings(pre_time, p1_time, p2_time),
+      Solution(Int.box(p1), Long.box(p2))
+    )

aoc/src/dev/ctsk/aoc/days/Day20.scala

@@ -0,0 +1,41 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+
+import collection.parallel.CollectionConverters.*
+
+object Day20 extends Solver(20):
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val grid = Grid(os.read.lines(input).map(_.toArray).toArray)
+    val start = grid.findFirst(_ == 'S').get
+    val end = grid.findFirst(_ == 'E').get
+
+    val trace = Iterator
+      .unfold((end, end))((cur, prev) =>
+        val n = DIRS.map(_(cur)).filter(_ != prev).find(!grid(_).contains('#'))
+        n.map(nxt => (cur, (nxt, cur)))
+      )
+      .concat(Seq(start))
+      .toArray
+
+    def cheats(radius: Int): Int =
+      trace.indices.par
+        .map(toDist =>
+          (toDist + 100 until trace.length)
+            .count(fromDist =>
+              val from = trace(toDist)
+              val to = trace(fromDist)
+              val dist = (from - to).manhattan
+
+              dist <= radius && (fromDist - toDist >= 100 + dist)
+            )
+        )
+        .sum
+
+    val p1 = timed { cheats(2) }
+    val p2 = timed { cheats(20) }
+
+    (
+      Timings(0, p1._1, p2._1),
+      Solution(Int.box(p1._2), Int.box(p2._2))
+    )

aoc/src/dev/ctsk/aoc/days/Day21.scala

@@ -0,0 +1,48 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+
+object Day21 extends Solver(21):
+  private val keyPad = Grid(Array("789", "456", "123", " 0A").map(_.toArray))
+  private val buttonPad = Grid(Array(" ^A", "<v>").map(_.toArray))
+
+  private val paths = Memo(paths_)
+  private def paths_(args: (Char, Char, Grid[Char])): Array[Array[Char]] =
+    val (from, to, grid) = args
+    val Point(fx, fy) = grid.findFirst(_ == from).get
+    val Point(tx, ty) = grid.findFirst(_ == to).get
+    val ops = Seq((fx, tx, 'v'), (tx, fx, '^'), (fy, ty, '>'), (ty, fy, '<'))
+    val seq = ops.flatMap((a, b, c) => (a until b).map(_ => c))
+
+    def gap(path: Array[Char]): Boolean =
+      path
+        .scanLeft(Point(fx, fy))((acc, c) => Direction.from(c)(acc))
+        .exists(grid(_).contains(' '))
+
+    seq.permutations.map(_.toArray).filterNot(gap).toArray
+
+  private def countPresses(codes: Array[String], numRobots: Int): Long =
+    type State = (Char, Char, Int)
+    def minCost_(state: State, f: State => Long): Long =
+      val (from, to, robots) = state
+      if robots == 0 then return 1
+      paths(from, to, if robots == numRobots then keyPad else buttonPad)
+        .map('A' +: _ :+ 'A')
+        .map(path => path.sliding(2).map(w => f(w(0), w(1), robots - 1)).sum)
+        .min
+    val minCost = Memo.Y(minCost_)
+
+    def evalCode(line: String): Long =
+      ('A' +: line).sliding(2).map(w => minCost(w(0), w(1), numRobots)).sum
+
+    codes.map(code => code.init.toInt * evalCode(code)).sum
+
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val codes = os.read.lines(input).toArray
+    val (p1_time, p1_solution) = timed { countPresses(codes, 3) }
+    val (p2_time, p2_solution) = timed { countPresses(codes, 26) }
+
+    (
+      Timings(0, p1_time, p2_time),
+      Solution(Long.box(p1_solution), Long.box(p2_solution))
+    )

aoc/src/dev/ctsk/aoc/days/Day22.scala

@@ -0,0 +1,60 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+import scala.collection.mutable
+
+object Day22 extends Solver(22):
+  inline def hash(n: Long): Long =
+    var secret = n
+    secret ^= (secret << 6)
+    secret &= 0xffffff
+    secret ^= (secret >> 5)
+    secret &= 0xffffff
+    secret ^= (secret << 11)
+    secret &= 0xffffff
+    secret
+
+  def hash(n: Long, count: Int): Long =
+    Iterator.iterate(n)(hash).drop(count).next()
+
+  def part1(initial: Seq[Long]): Long = initial.map(hash(_, 2000)).sum
+
+  def part2(initial: Seq[Long]): Long =
+    inline def update(hash: Int, next: Int): Int =
+      ((hash << 5) & 0xfffff) | (next + 10)
+
+    val maxHash = Seq(9, 9, 9, 9).fold(0)(update)
+    val bananas = Array.fill(maxHash)(0)
+    val seen = mutable.BitSet(maxHash)
+
+    initial.foreach { value =>
+      seen.clear()
+      val it = Iterator.iterate(value)(hash).map(_.toInt % 10)
+      var last = it.next()
+      var window = 0
+
+      for v <- it.take(3) do
+        val diff = v - last
+        last = v
+        window = update(window, diff)
+
+      for v <- it.take(2000 - 3) do
+        val diff = v - last
+        last = v
+        window = update(window, diff)
+        if !seen(window) then
+          seen += window
+          bananas(window) += v
+    }
+
+    bananas.max
+
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val initial = os.read.lines(input).map(_.toLong)
+    val (p1_time, p1_solution) = timed { part1(initial) }
+    val (p2_time, p2_solution) = timed { part2(initial) }
+
+    (
+      Timings(0, p1_time, p2_time),
+      Solution(Long.box(p1_solution), Long.box(p2_solution))
+    )

aoc/src/dev/ctsk/aoc/days/Day23.scala

@@ -0,0 +1,59 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+
+object Day23 extends Solver(23):
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val edge = "([^-]*)-([^-]*)".r
+
+    def id(s: String): Int = (s(0) - 'a') * 26 + (s(1) - 'a')
+
+    val (pre_time, graph) = timed {
+      os.read
+        .lines(input)
+        .flatMap { case edge(from, to) => Seq((from, to), (to, from)) }
+        .groupMap(_._1)(_._2)
+        .view
+        .mapValues(_.toSet)
+        .toMap
+    }
+
+    val (p1_time, triangles) = timed {
+      (for
+        (u, uOut) <- graph
+        v <- uOut
+        w <- graph(v).intersect(uOut)
+        if Seq(u(0), v(0), w(0)).contains('t')
+      yield Set(u, v, w)).toSet.size
+    }
+
+    type Nodes = Set[String]
+    def cliques(clique: Nodes, cand_ : Nodes, excl_ : Nodes): Set[Nodes] =
+      if cand_.isEmpty && excl_.isEmpty then return Set(clique)
+      if cand_.isEmpty then return Set.empty
+      val pivot = cand_.maxBy(graph(_).size)
+
+      var candidates = cand_
+      var excluded = excl_
+      var acc = Set.empty[Set[String]]
+
+      for v <- cand_ -- graph(pivot)
+      do
+        acc ++= cliques(clique + v, candidates & graph(v), excluded & graph(v))
+        candidates = candidates - v
+        excluded = excluded + v
+
+      acc
+
+    val (p2_time, password) = timed {
+      cliques(Set.empty, graph.keySet, Set.empty)
+        .maxBy(_.size)
+        .toArray
+        .sorted
+        .mkString(",")
+    }
+
+    (
+      Timings(pre_time, p1_time, p2_time),
+      Solution(Int.box(triangles), password)
+    )

aoc/src/dev/ctsk/aoc/days/Day24.scala

@@ -0,0 +1,81 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+
+import scala.collection.mutable
+
+object Day24 extends Solver(24):
+  extension (s: String)
+    def binLong: Long = s.foldLeft(0L)((acc, c) => (acc << 1) + c.asDigit)
+
+  enum Op(val f: Int => Int => Int):
+    case AND extends Op(x => y => x & y)
+    case OR extends Op(x => y => x | y)
+    case XOR extends Op(x => y => x ^ y)
+
+  case class Gate(op: Op, lhs: String, rhs: String)
+  object Gate:
+    def of(op: Op, lhs: String, rhs: String): Gate =
+      Gate(op, Seq(lhs, rhs).min, Seq(lhs, rhs).max)
+
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val Array(inits_, wires_) = os.read(input).split("\n\n")
+
+    val inits = inits_.linesIterator
+      .map(_.split(": "))
+      .map { case Array(id, value) => (id, value.toInt) }
+      .toMap
+
+    val wires = wires_.linesIterator
+      .map(_.split(" "))
+      .map { case Array(in1, op, in2, _, out) =>
+        (out, Gate.of(Op.valueOf(op), in1, in2))
+      }
+      .toArray
+
+    val outs = wires.toMap
+    val ins = mutable.Map.from(wires.map(_.swap))
+
+    def tag(t: Char)(i: Int): String = f"$t$i%02d"
+    val x = tag('x'); val y = tag('y'); val z = tag('z')
+
+    def resolve_(id: String, f: String => Int): Int =
+      outs.get(id) match
+        case Some(gate) => gate.op.f(f(gate.lhs))(f(gate.rhs))
+        case _          => inits(id)
+    val resolve = Memo.Y(resolve_)
+
+    val p1 = timed { (0 to 45).reverse.map(z).map(resolve).mkString.binLong }
+
+    val p2 = timed {
+      val renames = mutable.Map.empty[String, String]
+      def rename(a: String, b: String): Unit =
+        renames(a) = b
+        renames(b) = a
+      def re(a: String): String = renames.getOrElse(a, a)
+      def lookup(gate: Gate): Option[String] =
+        ins.get(Gate.of(gate.op, re(gate.lhs), re(gate.rhs)))
+
+      var carry = ins(Gate.of(Op.AND, x(0), y(0)))
+      for i <- 1 to 44
+      do
+        val x_ = x(i)
+        val y_ = y(i)
+        val x_y_xor = lookup(Gate.of(Op.XOR, x_, y_)).get
+        val x_y_and = lookup(Gate.of(Op.AND, x_, y_)).get
+        val out = lookup(Gate.of(Op.XOR, x_y_xor, carry)) match
+          case Some(out) => out
+          case None =>
+            rename(x_y_xor, x_y_and)
+            lookup(Gate.of(Op.XOR, x_y_xor, carry)).get
+        if out != z(i) then rename(out, z(i))
+        val pre_carry = lookup(Gate.of(Op.AND, carry, x_y_xor)).get
+        carry = lookup(Gate.of(Op.OR, pre_carry, x_y_and)).get
+
+      renames.keys.toArray.sorted.mkString(",")
+    }
+
+    (
+      Timings(0, p1._1, p2._1),
+      Solution(Long.box(p1._2), p2._2)
+    )

aoc/src/dev/ctsk/aoc/days/Day25.scala

@@ -0,0 +1,35 @@
+package dev.ctsk.aoc.days
+
+import dev.ctsk.aoc.*
+import collection.parallel.CollectionConverters.*
+
+object Day25 extends Solver(25):
+  override def run(input: os.ReadablePath): (Timings, Solution) =
+    val (pre_time, (locks, keys)) = timed {
+      os
+        .read(input)
+        .split("\n\n")
+        .map(_.linesIterator.map(_.toArray).toArray.transpose)
+        .partition(_(0)(0) == '#')
+    }
+
+    def profile(lock: Array[Array[Char]]): (Array[Int], Int) =
+      (lock.map(_.count(_ == '#')), lock.head.length)
+
+    def fits(size: Int, lock: Array[Int], key: Array[Int]): Boolean =
+      lock.zip(key).forall((l, k) => l + k <= size)
+
+    def p1 = timed {
+      val keyProfiles = keys.map(profile)
+      locks
+        .map(profile)
+        .map((lock, size) =>
+          keyProfiles.count((key, _) => fits(size, lock, key))
+        )
+        .sum
+    }
+
+    (
+      Timings(pre_time, p1._1, 0),
+      Solution(Int.box(p1._2), "MERRY CHRISTMAS")
+    )

data/17.ans

@@ -0,0 +1,2 @@
+2,0,7,3,0,3,1,3,7
+247839539763386

data/17.in

@@ -0,0 +1,5 @@
+Register A: 18427963
+Register B: 0
+Register C: 0
+
+Program: 2,4,1,1,7,5,0,3,4,3,1,6,5,5,3,0

data/18.ans

@@ -0,0 +1,2 @@
+262
+22,20

data/19.ans

@@ -0,0 +1,2 @@
+280
+606411968721181

data/19.in

@@ -0,0 +1,402 @@
+rwgw, ruwgb, urwbr, wu, uurbubr, gbbr, uwwb, rubgwu, wggwbwr, rugubuww, uw, rgru, rgrr, rrg, rbb, uurbrww, br, uwrwrwgb, bwbw, wgbu, wggu, urg, ugr, ugur, gurrbrr, ubgrruu, bb, rburguu, urgg, wggugggr, brww, bwwgr, wugub, grgg, ugw, grubw, gbwru, rww, wbu, ggwbu, ugurw, ggwb, uubuwgb, bbugw, rgg, wurr, bwbb, wburbb, rbrb, bbrwgw, gwbb, ubggr, gurr, rrr, rburg, uug, bbrubu, bwgu, gwug, guw, buwurgw, rruwggg, ubb, wwb, wbrg, wgr, wgrw, gubrr, rrwru, gbub, rbr, rwr, rubwu, ub, bgwr, gu, ggggwrbr, wrw, grg, rbuwu, bgbr, ugww, wrg, brwub, gruu, gbwbw, wubw, wur, grggwb, uuwuug, wug, rruuw, wgwg, uww, gbgu, rurr, gwguu, gwrwbw, guuww, rbugw, gg, uwbw, ubgrubur, wurrb, rgugurr, wrr, buggb, urwrb, ubuu, rgu, gwggb, uuu, uub, bruubb, bww, uwgb, rrubwg, ubwu, ugu, buwrrbwr, bbr, rbrww, ubuwg, bwwrr, gbwg, bw, gguugu, bgbbw, ggb, wrruuwbr, rug, uur, rgw, gbb, wuwg, r, guug, gwb, wbgr, bbbw, grwgwr, gwg, rurur, bubu, rguu, brb, ugbbbrr, wugrrr, bbw, bbru, bgrbubg, ubw, uruu, wgrgrwwr, bbwrugu, gbbbwur, rubbwbuw, wuwrwbu, brwbru, wub, rbrg, wwbwrbu, grbbu, ubbbwb, urw, gwuw, uu, urwugu, bgw, gw, rbwwwurg, gubr, bbu, rur, rburwgr, gwwgr, gb, rbur, rbw, ug, wurur, gbbrrb, ruuuwugr, wwrgug, gbrugu, wrww, wuwbgw, uwwwgrgb, gww, grwwu, ggu, rrurr, bgr, ubugwu, wwgwur, urrrbw, bwr, wrbgbu, wrwbb, gug, bwu, ruurw, rw, wbb, bbwgwrr, wgg, ugwu, wr, wwwr, w, wbwbuw, guugg, bug, bbbb, brbb, brur, rbg, wuu, wurwgb, rru, urrrbugr, grr, rubu, uugrwbb, bgbrurr, wgw, gub, ugwwgr, urwr, wbwbg, wrrb, rwrgg, ggwgrgw, bwbu, uwb, rg, urr, brrur, wg, u, bu, ubbbrw, brgbbbbu, wgrgu, bgb, ubu, uugubg, bub, rwrr, gggbrw, gwwrww, grub, urgrgw, bru, wgwgb, wubrg, ugrwwbb, wbgwrru, gbwb, wugu, uwwwg, ubr, gwr, bguwb, guwbw, wrb, grw, gwwgbb, wbwwr, grbwub, ubg, bwbgw, rwu, uurb, rbwgur, ubbr, grrr, ubwg, rgwuug, rgb, grrbub, bwb, uwuuubg, wrugb, brurub, wurg, urur, uru, bwwrrr, urwub, uwr, brr, ggg, bbg, bgg, guuruuu, ubwb, uburgbb, gbgrgug, rbwr, uwu, rwwbuugr, ubwwg, wwr, brg, wruububu, bgbb, ww, wrgbu, ugb, gru, bbwgbr, brw, bwwbb, wbr, grbg, wbbb, brbrwwbw, gbgwrrub, wwu, wgb, rruruu, wuggr, urb, bwg, wbg, rbu, wwg, wuw, wrbbugg, rb, rrgrbrg, guu, bwwugr, rwrb, gwbrb, wrugub, ubbrwu, uggbb, ggr, wwru, rgbb, bbgbgrr, wuruw, gbg, ubbwrg, bur, wuwuu, bgu, ruwgur, gbu, wwuwb, ggbgg, ugrbb, bugw, rggrb, rrw, rgwru, ubru, grbbuw, wbrr, wruu, ggw, wbgguuw, rggrugw, gbgwwg, gwwru, gur, rr, wbgb, burbwr, rggu, wgwu, rwuug, gwrbr, wbbwbgb, wurb, gbbuggg, gbbgbg, ur, ugwwu, wgu, bg, urrbgr, gurwg, bbb, urrr, bwurbrr, gbr, gwurb, ugg, uwbbrr, buggr, rub, bwrgbw, uwbb, ububggw, uuwrbbu, rrrwr, ruwgub, bugb, wwrw, gwbg, wwwrrr, urgggwb, gwuwr, www, g, wgrg, wbuwb, grwrg, uuw, wuwgb, buru, rgr, rrgu, urbgb, wgrr, gbuwww, rrgrgw, rgbrg, gugbuw, rrb, rrgbug, ugwbrgw, rwuw, grugrrbr, gbgww, ruw, wubb, gr, ruu, ubbg, brgurb, rwg, gwu, ruwr, grb, uwg, wgww, bgbbrww, buu, rurbgr, rwbw, gwwr, rwwbbugu, grgbr
+
+rubbgwuwbrwgrgrgrbrbbubgbggrbwrurwuggggwrbrgwbrrwb
+urwgurrubuguruwuuuruwbbgrbbuwrbwrruuuubbuububuubrw
+gguurrubwbuwgrbrrurrgbgburbrrurwbrrrubburuggbbgb
+rgbuuwwwgbbwgurrwurgwgrgrbbbuggwgwugbrwb
+rwggurbrgwrrwuururwwubgrurwwrubgguububururwb
+ggrgrruwwwgrwuubgrggbbwrrgbrwrwgwwububrubguurggbrwbg
+ggurrgrggwrwruuwrbrgbrubrbuggugwgrwgwurbub
+wwwwuburrwbwugguwuwgwwrbggbwuwuuuuruwwurbwurgbwbggrr
+urburguuwwwgrbrbgbbgbgrbgbubguugwubugwgrruuuugbbbbgubggu
+guurrgwububururwgugrguuubrwrguurbuuuugrgbuwru
+urwuwuuguwwwgrgbuwbgubwuwuurwuwggbwgubrbrguurrgrwb
+bwwbbwuwbubgrbbgwuubrrbwgbggubbrbbwrwuuuguugwrwbub
+wwwguwbgrrgbrgggwrgwuuwwwgwgwrgbrbgwgwruuruguubruug
+gruuwuwbugubrwbbubrubgrruubuwugurbggrrbbbbg
+wurubbwuggrrurbwwgrwubgbwguurbrwgwwwgrwuuuggwbguwwr
+ggbguwrwguguwubgurgggrguuwugbuwbwwgwburgbwwuwgbrwbub
+gwugrwruguwuugubbbrubbwbuwwwrgburrbbguwbgbgwrwb
+grgugwwrgggbbbubububwuggrrgwruwrubwbrbbgwrwrggbuwrururrrrg
+guwgggwrwrggbgwrrubrwburbuuububrbwrrrgurwugwggr
+wuwwugwrbbuuburuururuwwrggbubwwugbuwugbburrwuwbubgbw
+ugbggwbgurubbwrgwgggggwggrruubrgrwrgugwwgurrrbwbrwwur
+wurubwrrbbgruurbbgurbbubuggubrrwwgbgwrwuuuwrgwbbrbw
+rwwbruubgwrrugggwubgwwubwruuwggwrbwwbbrrwb
+ugwgbguggggwwbwgwwuggurbwwgrbbuwurugwwrrrgugburruwb
+brrrugbwrwbwwurbgbwwuugrbwbrgwgrgrbgrurwgwurgwruuguwbrurwu
+rruwrrbgubguurwwugurrgrwbbuuwuburrbwwbbrggwuwr
+uuwrburgruurrbuwwguurwbwwbwggrbubrwuuwuuwrbbg
+gbbrrwgggbwwggwgwuurubrrurgwgwgbwgubwggrrbggug
+wrwuggugbrwuuubbgrbugubbgurgrrburgwrbugrwb
+bbbwgbuwbgrgggugrugwwwbwgrrbbbuubuguuugwburrrwrggwrrruwug
+urbwwguugwrgbrrrrrrrbbwggrrubwgwugbbbuurugggrg
+uugrugurbbruubwgbwbbbwubbrbbgwuuuwggwwwuubrrrwuwubrgrbrw
+wbrugrwrwrrgugwugrrugugwubugrrrwbrwbwrggbwurrbgubgwbgbbgrwb
+uwwbbubgrrrurgwrbgurugwbbrbbburggguugbwbrbgwbubuwbbgubgwg
+rrbwbrbruwurwbwgggwrguwbbubuwuwurwubgwbwwgbubggwbbubbrbr
+wwrwggbwwwrgubwrbwuuwbuuuwbrgwwrbrbrguruwrwbrrgrugb
+wwbwrrubbbgwurbrbubwwbbbgbrbgbwbbuggrurbrwgwbubguurrwrwwb
+rwurrgwuugrubggwbuubrbuwrggguwbgrbbgrgbbuwggbgwrbwgwbuuru
+gwrrugbuurgrrwgbggwggguwwrrbgrbwwrrgwwbwubwbwrgbrgbgwwbgu
+brrrwbururwwrwwrrgbwbubgbwgrgwwruuuwgugrwwrgbubru
+uugbwguruwuwubburrgbbgbbrwrrbubuguugwgwwbw
+gwburgbrwgwwubugrrrbuwugrbbwrrguwrbgbbgrggggbwuuwwgwgbww
+rwwwbgwuubugurwbwururgbwbwwrwubgwuuruurbwbwgbwwbuwgg
+bwwwbuwwrwgurbbwbguwwgwubwuwgwwubbwwwuwuuubbwr
+urugrwggbbrburugwggbwbbuubbrbguuggwurgbrbbbgrbwuw
+bgrbrbgbgwrrwgugbubbgbrurwrrgbwbbgrwrwbwwb
+gbwubwgurggwbbgwwgbrrubguwgwwbrgwgrgwwwgwwbruwrwbuurwb
+wuuwrwrbugruurrrrgwurguggbgwubugrugwwuguwwruuwbrrrwwruggb
+ugrugbrrwuuwrwuguggwwgggubuwrrbwrugwwuugwbburrbrwb
+wrrggbggbrgurbwguurugbwgrgwwgbwbgrbgwrbrwb
+bugubbrwbuwugwwrwbgwugbuuubrwbugwrugggbwwrbgbwuurgw
+bwrrwbrruuuugugggwgrgrwwrwwgwwgrbggwruwrwwwgrurwgggwbbw
+gwwuwbuwwgwuurwwwgbruwuugruuwrgbbwugwbbwbguguw
+uwrwwrurwwuwwwuwuubbbwbbrrwwbrrgbwbwggwgwruurrwb
+rguuugbrbgrbwbbrwuuwwubwrrwggrwrgwwrgwuubwgbbwubbwbgbrruwu
+gbgrgrwgbbbrwgubugwwuuwrrgbwbwgbwuwrugrbururbwrwrwbubrr
+ruwrgurgguuurrggrurbuurubrbbguwbbrrbuuuwrgrwb
+guurwgbwrbuurrrbugrbgbbrurbubbuugrgbwugbru
+uggbgwrrgrrubgbbgwubwurgbbugububwrwbrgwbbbwwrwb
+gwwgbbrrurbwwwrrrbruurbruggbrgwbgurbrwggwbrgurbbbwubbuw
+wbgrwbuguguwrbbuurbubgubwgwwbrrrrbugurgggbbgb
+buurgwggbbwgrrbruwuwruububuubrrbrrwrgbwbbwbwwururbgurbrrgrwb
+rbgggbwrugrgwrwgwurggbrbgwgwgwwrbubbrwrbbuurugrrgwbrggbu
+grrbbbwwguwbruwggwruwurrgrbgwubbubggwuugwubuwrrugurwb
+rrbububbrrbbuwwuuwggbbwuwuwwrwgwwgwgrburbgrgrw
+uuurugrbrrgwbrrggurrbubbuwguwuwgrurwbrbgwurwurw
+rwubrwbuuuwbggrbwrwgwwrgrbrrbbwgrrwrwrrgbruggwwwgbbrwuuwrg
+bburuwbugrggrwggrwbgbbuurwubuuugrbrrwgwgbrggrgggwbuuwbwbuw
+wrbrbugwgrbuwrubwgwuwugbrgbwrwrgwururwrrrggrgurrwb
+rggrbururgwuuwgbuwuwrruguugwbgubuwrubuwbrggbggbggrwb
+gwurbruwrrgrrwbbwuwbgwrgwubbbuburrgbwrwrwb
+urbrugbrwurgrgbrruwrbbrgwbrrbrwurbbbugwuugrwguwr
+brrgurwwrguuubrggbggwwbgbgrrwwbburwuwrrwggbwubrrbggugubu
+rwgwwuugbwrwrguwrrbrgwrurbwurrggwuwuwbgwgwwguurgrwb
+guggggubguggwugbgbbwwgurubwugrbwgububbggbbrwb
+wgwrguwggbugwwgrrrrwgwwwwrwwubgugwugbwgwggubwubrwb
+grwwgbrwbubbwrwwwubugbgrubuuwbgurwurrugbwrgrrr
+uugwwbuubggggruwugrurguwwwbrggggggrwwwrbrgugu
+rgubgwbwurrguwgwburwubgrgbubbrbrruugrugbgrwwru
+wbwwrubbbguggwbuugrgwguruuggurwggrrbruwbwrgbuw
+rgugbrwuurrrrrurubrrgguuwbrrwruggubbbubgbwguurburggbrwb
+rbuuggwwurwuuwgubgrbrruwrburugurwuubbburrguuruwr
+rwurwrbbubgrwgggwwwbruuubwrwuwuwgrgbrgrgbugwrubrrbwbwbwrwb
+gwrgbggrwrgbbbuuggbgrrgrrrruurbrwuugbubgbwur
+rrurrwuuwuguuwbububrrwugbwuurbbgguwrwrrgrwwgbrggrburwg
+ubruwgwbrubwrgbbrbbubggggwrggrgwbgggbgrburuwrbbrurgrgbbww
+wrwgubgbwruugwubbggwugbgwwugwrbruuuwrwbbrrrru
+rwubrrgbwrbgrbrwggugbbuugrguruwwwugrgurwb
+wrgruuwrgguwwbrurbbugbrgruwrgrwggrbwwbwbgwrbrwubwubrwb
+bggwugbrbwbgugwuwwurrwrrrwrgrguwuwurwguggwbrrbugrwr
+ugubbwurburwrrbbbgwrbgwuwgbubrrgwgubrubrgrbb
+gbwuggwruuuguurrwuurubrbwwbbwwuburgwgwurbbubg
+uubwugrgburwubbbuururrwrwrgwurbwrrwurrubrwb
+urbrwgwbuugbrwgbugggbbwwbuguuubbubwbguuubgbrrbububrru
+rrbwwwbgrgwgurwwuwrbgwrwgrruwbgwbgugurwgrbugrbgbrbruw
+ugrwbgrbrburugwbgugwugurrgwgrgwwrbgguwgrwrwb
+wwbgbrgrwgggrbrugwwrwrbgubgrwguwbwubwwbgguggbbrgugbugrbbr
+ubrwgwuwguwbwgguugrrbwuggwubbwwrrurbwruwbuw
+gubrwwrbbrwwbuugrbwwugbgwwbbbugwrgbwbwwbwguggb
+rurwgbbggugrwbubugrrwugrubuwwwwrwububgwwrwgwbr
+wgbbrbbubgrrwwwgugugurbrubbuwbgwwwgwwgwrbwbw
+ubgubwgwrwbuubgbbgrwbubugbbbrugrgwurubwgubguwugrrbu
+gruuuwggwwwguwwguubggbguguuugwugwwgugwrwb
+wrwbrgbgurwgbrbgurbbbggrbgwgubwbbggwrbwgbbu
+bggubwbggbgrrrrggwbwbbgrguurrrggwbgurgrgwbuwbwurg
+wuwbggrwwwbubrbwgrgrwgbrurggwwwubwwgwgbwuwwuguuwwgggbb
+rwrugrubggrbururrwuwurbrwbuuggrbrbuugrwubbruggrbwuuru
+wbrgggbwgrwwubbbguuuugrburubbrbrrrwubwgwguu
+wrugrwruurrbwwwurggwbbwbuggrbwuruugwrburrwb
+rburbbrwwrwgwbrubgwgwrwgrbwurgubuguwwwruuggbbuwwwggrwb
+gwuugurgwwwrwwgbrbwwugwgurwbbbrwuwwwgrgbwbbgbbgruwgwwgwrb
+rruwgbbwwrugugugrwubgrguguuwggbrrbrbubbwugurbgbubb
+uuubwuburgrrwuugububuuwwrwrgbwbbgwgubwwgwgubrrbgbruggbu
+wgrwuruuurwwbrwbwgrrwwrgurrbubwrwbgwrggbrrgugbuu
+ugwbrgbbbwrgrgwbrguwrbrrgggbbuubgwbwgbgrwbrrwrrrgbrbgg
+rgrggguuguwgbgrgrrgwrbbwbgurrrgwbwwguwbgggrbugugrbrurwb
+bbwuwgrbbbbwrbrgbrgbbbburgruggrrrrbwrbbrwb
+wbwuuwrruwggubggbgwbwwbggwbgbrrruggbwrrrbrwrb
+wuubruggbruggbwbwuuugwrrwuwrgbwwbwuwwwrrgwrr
+uwwgrbuubwbwbbrwburbrggburubwgguuwbwgbwburggwrgbrwb
+ggbrubuwuurubruuubrbrgwuubguwbgbgwrrubrrrwb
+rwgbbburwggwwgbbbrruuurbgrgbggrbgruuggbrgggg
+rwwbwgwgwwbrbugbuuwbgggggwgrurbgrgwgwrgbbbuugbbgruwgwwwbg
+rbwubbwuugwggrruuuugbruwwwwuuuuurgbgwwwgwbggwgbrurww
+rwguwwrgugrbuwrwwbbugurrrwubruwugbrwubrwrgrbggbgr
+ubbbugrbugrwgwggbwugwwbgwguubugbggbggrbuuwwbbbbbwr
+gburuuwbrwrguwbrubgbwgruuwrwgbrwbrwwgwbgwggw
+ggwwwguwgbuwrggbugurrrwwwrbrrbgurbbbgbruwrwwrbgrwwbuugrwb
+rgbgrbrrubwuggruuwbgggwguuwwwrrrwuwrrgrubbbgrr
+uwwgrrbugrrbwgggwuruwuuwggwbgwggwrbbuwbrrruubuguwugbrurwb
+brwruwruwggrrubrwugbgbwwuggggruubrruugbgurrgwwugrurbrr
+rgbbrrrbubrgbbbuuggruuurguubwgwgrwwgrbbwruwwb
+rrbuuwgbuwwwbggrgbuurrbwwbwbwbrwwubuurrggrbg
+urgbuwuwwugbrbguugbrbbggwggwgburgwgrwgurrbwwgrbbgw
+uubrrugwggwgwbgbbwggwrrwbruwbrwuurgwwugrwgrwg
+rgrguwguwrgwwgruggbwwbugbruubgurgrwuwrugbbggbuwrrggrwuug
+uwubrubgbbwrgbgugwwwwwubwwubrburbbuurgwrrbwbubrbw
+rgrbbwggrbgrrggrgbububggwggwwwwbrubguwgbuwbruwgugrgwrww
+bbrwwrwgbgbgbrwwubbrgwuruwbrbubrrburuurwb
+uuwgwgubwwbburwgrrbwgwrugrbwwgbggrurgwbuwru
+uuggrgwuguuwwrbwrbuwrbrbgbuburuwwbbgbggbbugwwbu
+bwbgwgwbrbbbwwbwrwgwbwgurggguwugrubrubrbrbuwwuugubru
+uwuwrgwuubbruurbbbururrurrrbrwggbgbbgwrbuwubgbrrgwuurwb
+bwgbbrgbbbbuugurgrburrrugbuubgbbwwwwgbuuwuggbgwguubb
+uubwbuurbbwgbrgruwbugguguwbubbgrgbbgwbubggrrbwrwb
+rrrguwbgwuwwbrrwrrwguwurbgbrburrwgrrburgwbbrruwwrrwbwrb
+rruguburbgwgrgbguggggrugrgwbwwbwrbggwwgbruwuwrwwbubgburgr
+rurgbwbugrbrgbgrurruwbubugubbgwuubgrwgrwwwgwbwrwbbwb
+bbgbwggwgbbwbuugrrubbubgbrbrgubrugugrwbrwwbg
+gwgugbburwwwwgbwwubwrwrwuurruuwuwwurugrrrgb
+wwwrrrgruwrrrwuubwbrrurwbwrwrwbwggggrrbwuwggg
+gbwrwguguggbwwrrbwgwwbwgbbbgwbuwuwrgwwrgbwuurb
+guguuugbrbgruwbwbubwurrwggrubruwwggbwwubguub
+uubbrubgrwwwuwrwgugbwbgurgrbbrugbrurguwrwwbbuguuuburwb
+gubbuuuuubbwubgrwwguruggrbrgrrubuuuurrwrwb
+uwwgbgrgrbrrgrguwgubuuwbwgguwbgurbwugbbrgguw
+buwbgrggwwubrgrggbwurubgrbuuuwurrbuwurbbbbbrubgbrbuwwwrw
+uwbrrbbwwruurgrrgrwruruwuubrgbrwwgwbugrbbrggrbwwbgrrwb
+rbwgwbrguubbbugwguwrgrgbggbrruggrwubrwbgbwwuuwrrgwg
+rbrbbgwggwuuburggwwrruruuruggwubruwwbrurubwbu
+rbubuuurbwrugurggbwwbugbguuuuuwrubbguwrwb
+bbwbubwrbuwgubguwrwrwgbgrrwwruurwwrbugrrurwb
+bbuguurruwrrbguuuugwrguubwuubrbggrwubgugbwbwrrurugrugrwb
+gbuuwurrbrwwrubgurbuubugrrbwubuurwuwwwgbbgbrwbrrrubggrwbgwb
+grggrugrrbruuwbbbrrugbbbbuwbrwurrwgbwbuwrwb
+bguurbwgwgbgbgrgrbbwgbbwubbwggrbubrwrbrubrbrgrwbburwb
+grrrbrrwubuuggrgrurruuwwubwuuwubrrbburbrwwggrwgurgwgggwr
+wbgubuuubwuwbrububrbwgrugrrbrrwbugguwwuuugu
+rrgwgrguwruwgrwwrbgrgbbbbbwrgbugbggbrrwb
+gwbrrgrruurwurburwbgrbggruuurbrbwubguwgrrburbgwwwu
+bwwbugbruwrrguubruwbruuwrrwuwbruwgrwgwruwurgrbgurgruguwbg
+brgrrbururwguwbburgurgrggbgubuwgruuuurbrrrrwugg
+uwrbugwwrwuwgwwbuugbuurbwwbrwwrgrbggbgwwwrbrbwrrubbgrugw
+uuggwbwrrwgrruwgggbggbgbubgwgbugwwrggrgbrgrururgugur
+bwwwrugrrgbggbggbwubburrgubgwgwwrbwwgwbgurw
+gburbuurwgbwgwwgggwbguwuwruububuwububwuwbgg
+gbwggbgguwggbgwwrurwggbuburwrrgrbgbbuwuuuwrggwggwb
+gbbwwwgbgwurgrbbwbgguwrwrggguwbugwbrgbwurgwuwgrrug
+rgbugwrgugwbbbgggrwgwubbbwuurbrbrwbrgrwuurwgrg
+ruwbuwurgwbuwrrrgwbrwrrruwwgggwugbwwrgruwgwubbgrwrrrwu
+brrbwbbgwwwuururbrbuuwwwuguwwburbrurwuwgbwrbuubrbbww
+rrrwrwugurubugbubbgwgrggwbbggbrugwbwrbggburgbrwr
+ubrggrgbgwgruggrgrrwbruubwrrurubrbgwrwbggbrgbbrgwbbbr
+ggrbbggrurbrbruwwugwrbrwrrbwgbrwwgubwrbrrgrbbwwwruwggww
+wugbrbgwwwwrbugbwwrrburuwrbruruwuuuurbuwwwbgrgbrwb
+bbgbgruurgbubburgwruwgrwuuubbwbwgugwbrbuuwwgurrurgwwrrb
+wwburbbgbwurubrbrurwwgrwgubbgwbgrguuugurbwuwbuwuwuru
+bwrgbuwrrrbubbwugbbrrgwgrbbbuguugrwbrurwrugguubbrubuggrwb
+rgrwugwgbuuwubwrguuburuuuwuwbgguwuubggrrbugrbugwbgwwubwwbb
+wbwrgurwrwrgggbbgggwwrbrbgurggubbbgrgbwbug
+rbwbuwgurbbbgwuubwbgrwwubwbbwbgggwurbbbgbuu
+wbburugwgrwwwgwwrwrbubrwuwrbgbwgbbwbrrbwbubbwbruubgrug
+wrwggwgwwuuubbgrrwggrguubrgurrwuurubwurggwbrbbbugwuuwubwgu
+bggrgbruwguurrurrbwuuwgugbrbwbuwwgwrgurggwburbbwgbuw
+wwwbbugrrwwbrbwwgwububbuggrgrurggrwgrurruggbburwwgwurwb
+rbrrwubgrwrbrbrggwwrurrwbwrurbwgbubggbrrrwwrwb
+wuburwgwrwuwggbwwrgwwwugbwbggrurgbrurruwburuugwrwb
+gwbwurbrbuurgwwbuuurrubbbrbwgruwuwuuuugwgbbb
+wguwrbrbrgbbbggbggbgbgwgwbrggbggwguwurwwbbwbrrrrbwrwgrwb
+wwwbruruubrurbugrrwwuburubbguwwrrbbwbbbrgbbubuwrurugr
+brurrgggruwgrburwuggugrrbwbuuwbwuubgurwubruwrgwurbrwb
+gwrruuwbrbwwbbbuwbwgrgubgggggwubgugubrbgugwuuburubugruwu
+uubwruurruwwbrwburwggugggrguuurrgbbwbuggbwbuuurbgrwb
+ggwrurbgrwgbbbruuurbbuubrwururgwwbuuwgrgwrgbubugrbrrgg
+gubrurubwbrgrwwgggwwbwwguubbgggbggwbwwrguwrgwuggr
+rwwugrbggburrrrbgwwgwgrurbbrguwrrbbbruwubgrgbrrwb
+bgrrrbbgrguwgwwgurwwwrwugwwgrgrrwwguugbbruruuuwburbbuur
+gwrgubrbubbbbrggrrbgwuwwbgbbuubugwgrwubgbbr
+bwwwgwguwrrguruugwwbwgrgrwwbbwbrrgwbburuubbugbbrgggw
+wburrbwwgubwbbwrbrgrwrbwugwuwwgwuugwwwgurgrguwuwgrgruu
+wggrrrbgbgwurwrrwbrubbwbrwgrrwuugbrwwuwgruwwurw
+rrbwggggurwrbwrrwubbrrurwwgbbrwuuwrruuwbrwb
+ugwwwrbrbugbgrbuwbubwuggbwwugbgwrrwurrrwrrbgwrub
+gbwgguuguuuugwgbuubggwuwbgrrbrbgwwbgugguruwrwggwwrwgwgu
+wuubbbugwgrugububgrbgwugrurruwbwrbggwbgbbgurgrgbw
+gwugwbbrwbwgwrwbrgurbwuwuugrrrbwwrburubgwrwwbbg
+wwrgrrbubbuuwwbuwgrrwrrgggguwrrubbugrgwwbbug
+gwubbruruuuwbbgrugbbbgbgwurwgwgwbwbwugggugbwuburwb
+grgwgwrugugbgbwwbwubgwgbrgwguuwrrwwwugbgwgbgwruwwrwgwwrwb
+rwrggugrwbbwgbubuwuwrrrgguguwrggbwbbwrrwb
+rbgbwuwbwrbbwbbgugwgbbbwbrrrugwbrbubgruburwgwrrwb
+wrrgbbbbwwuwgrgrrrbgurugbuwuubrgbgrbbbrrwb
+ggrbwgwgrugrbrrwgugwguuwubuwwrugbbwwbbwuwggwuu
+rwuuwwbugruwrruubuwuruuwubrugwrrwgruwrwrubbruruuwwg
+rwrwuwbuwugbubgbbrguwgubuubbuwbwbgurubggbgubgwu
+ugrrrruuwruuguwggubguwwwgrwuuwrwugwruwgrrbbw
+ggwgwgurwrggrrwgwruuguwrugubrbuurwwruwbgrgrwb
+rwbrrwuwbbbgbrrbwburwbbgbggwbbggwggugggrrrwbugg
+ugbruwrruwgrbwuggrwwbruwwubrurrggbubgubugbgruugrrwb
+wwwuubbwubwrubgubwrugrurbugguurburrrrwgguwwuggugurguwurwr
+bwwbrruwbugbwguubbgggbrwbbrurgwbrwgggbgugbbgrbww
+brgbwwubgubguwugwwuruubggwwuuwgwgwggbbwwbubbbggu
+rbbrbbrurbuwwwguggguwgwggburbggubuwwbrbbubruuwwbgbru
+rwuuugbwgwuugurbwrrwwbugbggbuururrbgwbwuuurggrurbgwbgggrrwb
+bbgrgwwugwbwugggbugbgubgbgwbbuwrruurbwurwrgwurwb
+bgwgguuwggrbbugbgwwwrwurrrbugrgguugrbgwbgwgwggruwwggwwgrwb
+urrwggrubuwgbwggbbuwwbwbbwwrrgwrwbgurwurru
+uwwbugruuuwggrrrrrbrrrbrurgwrrwwrrwbwbruwbbbuggwuu
+wrururubbrugbggubggrbruuuubuubwuggggwwwubbwbbwbgbgbbgurwb
+ubrubrbrgugurbuwrwuuwgbgwwrrwrrbbgwgbwruwrrrggggr
+rbwguruwbgbgbbbbubbrrrugrruggurwwgrrrbrwb
+rurgwubwbwgubwrbgguugrruururgwgbuwwurgugww
+bwugrgruugguguwbgrbbbwuuwrrgwrrwrrubgrbrgbrggbww
+rrgwbrwggbbgrggugurwgrgbrgwgbwrruwgwggwgrwuwrwbburwwbu
+uurbwggwubwgwwguwbbgwwggugrrruggbgwbrrgwrr
+grwbwbwrgrwrrubbbgwgrbbwrbgrurwrguwwwwggrbwbrwubbwrggr
+gbuwbugrgubbrrbwwrbgwuwrwrbrbrwwbwbwrwuurrruurwb
+ubrwurrrwwrbgwwgguubuwwgwbguwggurwbbgrugwbbrubug
+rbugbwbguwggwwrwbbgwwuuruwwbrububbrurbubrgwwrbugugwbubggru
+uuguruubgwwrrrwwugwurbgwbubrgrurrgwuuuuuggwbgrwbugu
+gwwbugrrburuuwbwwbbugguubuuwwbuwbuwgubuwbruuugrgurgbuuubbw
+ugwwgubwubbrubbrugbbbrurwgrgubgubugururgwgwwburgr
+uggrgbruwrrbwrwgrruurwgguguwrwrwgbrggububgwrbguwbugwwguw
+gruruurbgwrggggbrrugrbrgubrurrgugbbgrbgrwwugbrubw
+ruggggwgbubuuubbgbburuwwgbbugrwubbrubgbrgbggrgubrb
+wrguwbuwbrrbbbwbwrbgrrubwggbuwrrrgugbbrwbrguugrbrwgbrgg
+rrgrwbgurgbbrgrbgugwrgrruruuugrgrrbbrrrwb
+uuggrwugruuggrurbwggwgrwbwrgrbbbgbwbubugwg
+rwwwrwrrbgrrgrgrwrgururgwrwburubwgrguwbuwwrrugugbbrwb
+bbgguuwwuwbbuuwgwgurrwrwgbbrgurwgbrrbwrwbrwrbuggbwwrwrbuw
+wrwwbgwgwruwrubbwrrwurwubgrrwrggbbgbbbgwwbgwggrbbwbrbbgbg
+wgggrbrbwuwgubrguubgrguwrwuuuwbwwubuuwgbgrgbruubb
+uggrwrwwbguwurbbburrgwgwururgwrgruwbwuubugubrurbuubrwrbuurwb
+wrugguwugrgbuuwrbugrubrggggwwrbuwuurbuwruwwuww
+wugwrwbbbrbbbrggrwbuwrwgwwbbrbwwgbruwugwruggggbw
+uguurbwgwbbuuguwrwguubuugwurbgwrrbgbrrguwuwug
+uwwuubgrrwgwrbbrgwwwbwugbbggbuuuurgubgwugrbgurbbwug
+gwuwgwrrwgrwbwggugrbrggubbuburbbbgugrbuwrurrwbrwgggr
+wwgrugrwuguwbruwugguurguwrugubwubrbgwwbrwbrwgbwrgwrruwurbr
+gwgburrgwuurwburubuuwwwwgbbwbggwwgwuugrgwrbwrrw
+rbgwgbbruuwwugugugrubbuugggwgubrguwwgrwgrrrgwbggbuguwu
+rwwrrbrggruuubgruburgwubrrguwbwwgrgbwggruggwg
+burgwuwugwbbbgrwgrubguuwugrbrbguubwwwrbbrwbrrugubuwwguuurw
+gburugwwrwrrugugbbubrwrburrugrubbrurbrwwgrbbww
+wuubbrbubbrbuubuwuwwgbuubugbrrgrugwrgwgwwwwwwwuurb
+wuwgrrgwbbgrurbrgrrurbbgwuggggbgwuurwggurrwb
+grbbggbgrugwbuubruwrgbwrbbwuugwrrugwrggbrurbwrrurbrwb
+uuubbgrbwrurbwbuggbbgrwuguuwubrwgbgrrwurubbrwgggwbggrwb
+urgwrgbbuwwrbrrrbbrwgwugwwrgrugwbgbbgrwb
+wgbrwggguwwruuwwggwwrwbbbugbruwugbbbuuuwwgurrrbwwbubbwgburwb
+buggbbgbgbbwwwurwrwrwbruwgwbbgrruwwgruubgwwwuggur
+rbgbwubgbbgrurwwguwubrwubbuuggrugurubwuwgrwgubgugwguugrgw
+urbbgurbubwwgbbwburrrbgrbwwubggwugbrrbugwrbgubrb
+wbrurrrbgrgbgbwwwrwurrwbuuwrwwgrburwrrbgruggubgrguwgbwur
+uuururbwrrwgwbwwrwwgwgruwurrbugwrgburgwrwrbrbw
+rrwrurbrgubuguwurwgururugbgrbgubrgrgggurggugurgrbbuwgw
+rrwuwrugwwbbubbrbrwrbwbwubgubgwwgrbugwgrugbgb
+grwgbggwwwgwrwgruggbbgwrgwubgwrwguwgrguuuuuwgbbubgguugg
+rbuurugruurwuwgburwgwgugrwgwwgwwgbrrugguwruw
+urubgguwggurwbgrwwbubguwggbbbgrugwgrbgbrwgwrrbrbbrguub
+wrbrurgwbubbwbbrwbbrugwgbubrwbgrgwguwuugbgugrgbg
+rwuruwurgugggrgrrrugrurgggrrubguurbububugugbwurwuwwug
+uubwuwrwwgrbbwgrrgubwgguggbrrwuruuwuubgrwuggbgruggbrr
+uurbbgrgbrgbbgrgrbwwugbrrubgubgurrbbrrrbubr
+guguggbgggwbbwrwrbwbgggrurburgurgbbwwgruru
+wbrrbbuurwruuuwugrgubwuuurbrwurwurbwwbwububwbbbrwb
+ubbrwgggwrwbwwwrbgbrrrbrubwrgurgbbgbuuuuugbwgwgrwuwwbuu
+bwrbggbgrbbgubbwrrrubgwburgrgrrruurwuuggbguwbwwurrwrwb
+gwuguuwbruwuuggrbrrbuwurbggbbwguwwgwwbgrurrwb
+rrggbbgurwbbbgurbgbggubgrruuwbrbwgbrguwubbggguwbgruwwrwb
+uwugbwwwrbbruubwbrgbuuubbgrubururrbrrgwwbgrwgbrwruwrwb
+bwurruruwuguwrbuuggbwbrubbrwuwurbgwwbrgurgwuggr
+ruuuwugrrurbwrgrbgurbrwbrbubbwwuuwwuwwuugugbbgrbggwr
+uugrgwgwwgrbrubbugbgbrguwbbwwgrubbbgbgbruwugrrwb
+brbgbwwwbbuuugrwrugbwurrgggbwwuubwruuburrbrr
+wrwrgwwrwrugrwrrurbuuwgurgbrgbrwwbwrggwbrbbuugrbbwugrwb
+rugbbggbuggwgwwuruwrwbggwgburuubuwugbggbrbgubrwgr
+ubrrwuwguwwrbgwbbbrrgrggrgrgwgbrugubuwwwwuwguuurwb
+ruguguwuruubbwwwgwgrrrwrwwuuuruuuwuwgwubwwrwu
+brggrwrbrwwwuwwbwrgwbwurbuwwrbrgrrugbwugrbguuwb
+gwuugwuuuggrgurbbwggrubbwuurruuwrggrggurgrrwrrgbrb
+ugwggbgbbrrwgwrbuggurrbuugbwrurbbuggubwbgwgwuwgwrrrwubuwurwb
+wwuugrrggrbrrgwuuugbwbwrurrbuwwwubwrbrggubbubbgrrr
+ggwuubgurubrurbwgrwwuggururbrgruwgruugugrbwgrbubrbrb
+rwggguwwubburgwwuurrurrrgwgbrgbbbrruguwbwugguuurr
+rrbwbrrwbuwwbwrrbbbwwubuwgurrguwugguwrbuwuubbwuwrbggbuu
+grgrbggrburrbgwbwbuugugbburbrwrrrguuwbugggugrrrgrwrwb
+buubrrggburbggwgwgrbgurwbwwwubbwbgbwwuwbwwrwb
+wguuurrggwguurburgugugbrwrgbwrrwbgrugwuugbwgbbuubggrugbub
+wbwgruuugggrrubbwrwwubugguguwwguubwurwgwwrbgubwrgbbubrwb
+ruwrggugbbbbgurwggruuggwwggrwwrwbbbrwguuuuug
+bggwwuwgwbuguwggrgurbwugbbbuurwgwuggubgrwbwwwbwgrrbuug
+rrgwugbuwugubuuggbrwwguurwuwugwuuuubgrwrrwrbgrgwbuggwr
+grguwrrurgbwbwrgwwwrggrwbwgbuwbbbwbggrbrwbbrwb
+uubgbrgrwbbgwrbrwwgbgburbuurbubbguuwbgbuuwburbubggguug
+gwbgwrbwwwubuwwrwbbwrrrgwuwbrubwbgggubugbwwgggburrbugrgu
+bwgwguugggbrrbuggwggwgbrbugurbwwuuwwwugbbubbrwb
+rwgwbgbwwuwrbgbgwbrwuwruuubbrbwwuruwbwrbrwrwrgru
+wwrbwwwurggbgggugwuggubbbwgrrwrbwwuugwrbubwgrbgrrr
+ubrubggrgguugburwgbbrwurbrburuuwwrrbrrwwbgwbgggwugurugwwrwb
+gbggrubrgubgubbwwwwuwrbburrgrwbrgrwbrwguuwwuwrgguwrwb
+bbwgbrwggwrbwugbgubugwwuwwggbgubwubgggwwrbgrwrwwgb
+uubrbgbbguugrruurbrwbbuuuubbwwuruuuwbbgwbgrbwrrrgb
+bbbwugurwrwurgbuuugrrruubrwrgwguwubrurgburbgrrwrr
+gggwwgwubwwwrrbubuuuggrgrgburugbgbuurbgrugrwrgwgruu
+burugbguwbuwgubugubbburrgrrwuruubbrbrwwbwrburubwubbb
+wrwbwrbggggbgbruwwwubuurwbgwgrrgrwubwrrbbggrgbwbwbbbuwbbrwb
+uuurggrbbwubuwbwbwrgrbbwgrgugbrruguuugrgrubb
+buuugbwbbgwrgruuwrbwbgwbbrgwbrgrwruwwwgwruggrb
+rgwrrguwuugbgrbubgbuburgrbuuwwgbbwgurrwwubrgwguw
+ruuwwurgwurgbuwurruurbbbbugrubrrgwrgurgubbgbbwgugrwb
+urrwrwgugrrbbrgggrgubwbrwwgbgururbwruguwwrgburg
+rugrggruuubgguuwwwbgbgbbgugrwgurrruubrgburgrrwb
+ubwwrugbguwrrrbwuwggrwrwrububurbgruwbgwrbbbgrrrgggwr
+wuggwbgwbbbwugrbbwwubgrbwrgrgrrgwuuwgrwgwwurug
+bgwwbbbwrrwugwgwwrruggrbwuwbwwgrwrgrrguwgrurwgurgggrrwb
+guwrwubwrwwwgugguuwwurbgugbuwrrbwrguuwgbwbbgbgurrgwbbu
+gwugguubwruguubuguguugbuuugrrwrrrurrbwgrbwgwugburuu
+brwgwrbbgwurgrugggrrbbwruugrgburrwggwguwuuwrrbw
+bwbugwurgbgurwwrugurgbbgbuurugggwugubrwb
+bbbuuubggggggwrbrgbbwruwuuwugurbubgwgrrguugbwuggrubrwbwgr
+wgrrrurugrbgwbgbbrrgurrgwrurrwwwbgrguuggrgurwww
+gubbrbwurgwwbbggurwgbgrwrwbrugrwrburgrrugb
+uubuubgguwwbrrwwwwubgwbbwbwwwwugguguwburgbrbbbg
+ubgrwugugrruwuurrwguggwuwbrwbwrugruuuwrugwwuwrubuugbrwrrrwb
+wrgwguugruurububuurwurrwuggrrubbrrrgugwuugwurgrg
+bwubggubrrburbrbwggrurwrbwbgbbgwggubggbubrububrwb
+urugwwbubbrrwwwrbrwuwbwurwgrurbwbrurbrwrgrruburwb
+rruubgwwwgrwrggubgubwrbbgwgbguruwwgrgburgwrg
+rgugrgrbbrgwbguwgguguwrrubgwwgwgwuwubwbwrggbwuuuwrrbwgwu
+gwuwbwuwwbwwggbbgrgwugwrgugruuubgwguwwgbbrwb
+bbwuguwwwuguuuuurrbbububurbwruuubugbgrbuwgrururwb
+bbbugrrrbrgburgwuuruwrbwgwrgwgrugbrgububrbwwgrbrgbuwbgguu
+bubwuuwwuwbggrwwubruwbubbwwgwrubuguwbuuwugwrbbugr
+uwrgubbrrgguggubuuwrrrwrrurbuubrgbbbwgrwub
+wbbguubbbbguwuwbwrgwwubwrurgwurbrrwurrbgrbbburw
+rgbwugbubggbrbwgbuuubrwgbrruwggbbggbbuggwg
+rgrugbgrwbwgwuwrbggrwuburrbguwguguuugwgubrgruwwbw
+uuuruwuurbwubrwgwuuwbugrrwggbwwubbugwgubbrwgwwwugbwwrwb
+brgbguwuwggbbwrbggggbrbubbwbrwbbgwuubbbbgwrgwgbbwu
+uggrgrubuuuwruuurbuwwugbwwgwwguubuggubwwugrrwbggwrgubrbwrw
+wbburbgbbrbbggrgrrurwwgurbubwuurwwgwbwrgbguuuwrubwwubuu
+buwbgbrwgbubbrbrgwuwbgbrwburgbbrwgguwwbwgbwbgbww
+gurwggwurgwbbubbgbgruggbrbubuwbruwwrwguggrbbbrggwgbrgbgu
+wbwwwbbbwgruuuwubbrrgbbggwbrgwwbgurbbwgwgwgrbggwrugrugggbrwb
+bbgrwgruggrwwurwwrggbruugbbrgwggrrugrwuuugbrrwb
+wwbugbwuguwgbrwrwgrrbuwgwuwgwrbbbubwwgbrguwuw
+ugwbgbwrrgbwrrrbrwwguggruwugwwurwrrbgwubbwrggugbruuw
+bbbruuwuwwurrwbuwbuguuggurgbgbruruwurgbgbgrrwb
+bggwgrggrrugwwbuwgbrbbgwbbuwwuwbrgbwbggwbbgggugwggrwbbur
+uuurruuuuugrbuwwgrbwwuuwbruggggbgrbuuggbuuuwgrrb
+gbgrgubggbgrgguuwbwbrwbggwurgbwwwbrubwgwrggrbwurggrwrrr
+ggbrbrbguwguuugubruggbgwbbuwwrbuuugbuuwgww
+wurrbururbgrbrgwggwggrgrgrgbgrrgbbwwgbrgwururwb
+uubugrgbrubuggrggrbwbbbruwbrrwugugrurwbgwwwbubgrggr
+rgwwbwgbwugugrwrrwubrwbgwuwuruggbguubbwbugururu
+wbuwrbggrrwbgbrbwwwbbgwbwrrggubrubbwbubrgwrwburbgb
+gbwuruuwuwwwbggurugrwgwubbgbwwwurgwbruwgbgrbwrgurwb
+gwururwwugrrubbruwbuwrbgwrbruugbuuugggwbubwubb
+wgrgrrgwwruugbrrrbwwrwrrgbguwwgwrbgwuuwbgwuwrugg
+ugurwrbgrbubwbbgrwgrwrbgwbwuwubgrbuwwrubrggwuguwbgbu
+ugrrburuwwrrwgrugbruwgwbbubrbuwbwwruuurgbuwwgwgbwwbuburwb
+wurugurbrbubbbbburuubrbrrbwubguwggwubbrbrbrgurrbwwwuggwg
+bwrburggbggbbgbuguwbgwwbbbubugwguwbbgbgwbg
+gbwrbgbgbrugbbguruuwgurwwruggggbuburbgwwrwb
+rubrgwubrrrrrwbwbrurbwwggrrburrugrrubwbbguwbbgrwwrbburrwbr
+wgbuurbrrbgrugwgubuwbgurrwwuwgrbrgrbgwrwwbrururuuwrrrwb
+grwuuggwugwgrbggggbwbgwububwrgwgburrugurbugurrrwrwrububrwb
+bbggugurwurrgggrrbbrurubbwbuwbbwwbrwgrrrubrgur
+gwwwugwuguubuuwgbgruruwguugrbbwgbbwwgrgrwwrrrrrbuwbbwburwb

data/20.ans

@@ -0,0 +1,2 @@
+1445
+1008040

data/20.in

@@ -0,0 +1,141 @@
+#############################################################################################################################################
+#.........................#...###...#...#...#.............#...#...#...#.......###...#...#...###...#.....###...#...........#...#.........#...#
+#.#######################.#.#.###.#.#.#.#.#.#.###########.#.#.#.#.#.#.#.#####.###.#.#.#.#.#.###.#.#.###.###.#.#.#########.#.#.#.#######.#.#.#
+#...#...#...............#.#.#.....#.#.#...#.#.....#.......#.#.#.#...#.#.....#.#...#.#.#...#...#.#.#...#.#...#...#.........#.#...#...#...#.#.#
+###.#.#.#.#############.#.#.#######.#.#####.#####.#.#######.#.#.#####.#####.#.#.###.#.#######.#.#.###.#.#.#######.#########.#####.#.#.###.#.#
+###...#.#.#.............#.#.......#.#.....#...#...#.....#...#...#.....#...#.#.#...#...#.......#.#...#.#.#.#.......#.........#...#.#...###.#.#
+#######.#.#.#############.#######.#.#####.###.#.#######.#.#######.#####.#.#.#.###.#####.#######.###.#.#.#.#.#######.#########.#.#.#######.#.#
+#...###...#...#...#.....#.#.......#.#...#.#...#.#.....#.#...#...#.....#.#...#...#.#...#...#...#.#...#.#.#.#.#.......#...#.....#...###...#.#.#
+#.#.#########.#.#.#.###.#.#.#######.#.#.#.#.###.#.###.#.###.#.#.#####.#.#######.#.#.#.###.#.#.#.#.###.#.#.#.#.#######.#.#.###########.#.#.#.#
+#.#.#...#.....#.#.#.#...#.#.......#.#.#.#.#.#...#...#...###...#...#...#.....#...#...#.#...#.#.#.#...#.#.#.#.#.#.......#.#.....#...#...#.#.#.#
+#.#.#.#.#.#####.#.#.#.###.#######.#.#.#.#.#.#.#####.#############.#.#######.#.#######.#.###.#.#.###.#.#.#.#.#.#.#######.#####.#.#.#.###.#.#.#
+#.#.#.#.#.......#...#...#...#.....#...#.#.#.#...#...#...#...#.....#...#.....#.#...#...#.#...#.#.#...#.#.#.#...#.......#...#...#.#.#...#...#.#
+#.#.#.#.###############.###.#.#########.#.#.###.#.###.#.#.#.#.#######.#.#####.#.#.#.###.#.###.#.#.###.#.#.###########.###.#.###.#.###.#####.#
+#.#.#.#.###...#...#.....#...#.........#.#.#.###.#.###.#.#.#.#.....#...#.....#.#.#.#...#.#...#...#...#.#.#.#...........###...###.#...#.#.....#
+#.#.#.#.###.#.#.#.#.#####.###########.#.#.#.###.#.###.#.#.#.#####.#.#######.#.#.#.###.#.###.#######.#.#.#.#.###################.###.#.#.#####
+#.#...#.#...#.#.#.#.....#.......#...#.#.#.#.#...#.#...#...#...###.#...###...#...#...#.#.#...#.......#.#...#...........#...###...#...#.#.#...#
+#.#####.#.###.#.#.#####.#######.#.#.#.#.#.#.#.###.#.#########.###.###.###.#########.#.#.#.###.#######.###############.#.#.###.###.###.#.#.#.#
+#.....#...#...#.#.....#.......#.#.#...#...#...#...#...#.....#...#...#...#.......#...#.#.#...#.....#...#...............#.#...#...#.#...#.#.#.#
+#####.#####.###.#####.#######.#.#.#############.#####.#.###.###.###.###.#######.#.###.#.###.#####.#.###.###############.###.###.#.#.###.#.#.#
+#...#.#...#...#.....#.........#.#.........#.....#.....#...#...#.###...#.#...#...#...#.#.###.#.....#...#.#.........#...#.#...#...#.#.#...#.#.#
+#.#.#.#.#.###.#####.###########.#########.#.#####.#######.###.#.#####.#.#.#.#.#####.#.#.###.#.#######.#.#.#######.#.#.#.#.###.###.#.#.###.#.#
+#.#.#...#...#.......#.........#.###...###.#.....#.....#...###...#...#.#.#.#.#.....#.#.#...#.#.#...#...#...#.......#.#.#.#.###...#.#.#.....#.#
+#.#.#######.#########.#######.#.###.#.###.#####.#####.#.#########.#.#.#.#.#.#####.#.#.###.#.#.#.#.#.#######.#######.#.#.#.#####.#.#.#######.#
+#.#...#...#...#...#...###.....#.....#.....#.....#...#.#.......###.#.#.#.#.#...###.#...#...#.#.#.#.#.#.......###...#.#.#.#.#...#.#...#...#...#
+#.###.#.#.###.#.#.#.#####.#################.#####.#.#.#######.###.#.#.#.#.###.###.#####.###.#.#.#.#.#.#########.#.#.#.#.#.#.#.#.#####.#.#.###
+#...#.#.#...#...#...###...#.........#.....#.#...#.#.#.#.......#...#.#.#.#...#...#.#.....###.#...#...#.....#...#.#.#.#.#.#.#.#.#...#...#...###
+###.#.#.###.###########.###.#######.#.###.#.#.#.#.#.#.#.#######.###.#.#.###.###.#.#.#######.#############.#.#.#.#.#.#.#.#.#.#.###.#.#########
+#...#.#.#...###.......#.....#...###...#...#...#.#.#.#.#...#...#...#.#.#.#...#...#.#...#...#.#...#...#.....#.#...#.#.#.#.#.#.#...#.#.#...#...#
+#.###.#.#.#####.#####.#######.#.#######.#######.#.#.#.###.#.#.###.#.#.#.#.###.###.###.#.#.#.#.#.#.#.#.#####.#####.#.#.#.#.#.###.#.#.#.#.#.#.#
+#...#.#.#.#...#.....#.#.......#.......#.#.......#.#...#...#.#...#.#.#.#.#...#.#...#...#.#.#...#...#.#.#...#.#.....#.#...#...#...#.#...#...#.#
+###.#.#.#.#.#.#####.#.#.#############.#.#.#######.#####.###.###.#.#.#.#.###.#.#.###.###.#.#########.#.#.#.#.#.#####.#########.###.#########.#
+#...#...#.#.#...#...#.#...........#...#.#.#...#...#.....###...#.#.#.#.#...#.#.#...#.#...#...#...#...#...#...#...#...#...#.....#...#.........#
+#.#######.#.###.#.###.###########.#.###.#.#.#.#.###.#########.#.#.#.#.###.#.#.###.#.#.#####.#.#.#.#############.#.###.#.#.#####.###.#########
+#...#...#...#...#...#.#.......#...#...#.#.#.#.#.#...#...#...#.#.#.#.#...#.#.#.###.#.#...#...#.#.#.....#.........#.#...#...#...#...#.#.......#
+###.#.#.#####.#####.#.#.#####.#.#####.#.#.#.#.#.#.###.#.#.#.#.#.#.#.###.#.#.#.###.#.###.#.###.#.#####.#.#########.#.#######.#.###.#.#.#####.#
+###...#.....#.#...#.#.#.....#.#.....#.#.#.#.#...#...#.#.#.#.#.#.#.#...#.#.#.#...#.#...#.#...#.#.#...#.#...........#...###...#.###.#.#.#.....#
+###########.#.#.#.#.#.#####.#.#####.#.#.#.#.#######.#.#.#.#.#.#.#.###.#.#.#.###.#.###.#.###.#.#.#.#.#.###############.###.###.###.#.#.#.#####
+#...........#...#...#.......#.....#.#.#.#.#...#.....#.#.#.#.#.#...#...#.#.#.#...#.###.#...#.#.#...#.#.#.............#...#...#.....#...#...###
+#.###############################.#.#.#.#.###.#.#####.#.#.#.#.#####.###.#.#.#.###.###.###.#.#.#####.#.#.###########.###.###.#############.###
+#.......#.....#...#.......#.....#.#.#...#...#.#.#...#.#.#.#.#...###...#.#.#.#...#...#.#...#.#.#.....#.#...#...#...#.....###.#...........#...#
+#######.#.###.#.#.#.#####.#.###.#.#.#######.#.#.#.#.#.#.#.#.###.#####.#.#.#.###.###.#.#.###.#.#.#####.###.#.#.#.#.#########.#.#########.###.#
+#.......#.###...#...###...#.#...#...###...#...#.#.#.#.#.#.#.#...#.....#.#.#...#...#.#.#...#...#...#...###...#...#...###...#.#.........#...#.#
+#.#######.#############.###.#.#########.#.#####.#.#.#.#.#.#.#.###.#####.#.###.###.#.#.###.#######.#.###############.###.#.#.#########.###.#.#
+#.........#...#...#...#.....#...........#.....#.#.#.#.#.#.#.#.###...#...#...#.###.#.#.#...#.......#.#...............#...#...#.......#...#.#.#
+###########.#.#.#.#.#.#######################.#.#.#.#.#.#.#.#.#####.#.#####.#.###.#.#.#.###.#######.#.###############.#######.#####.###.#.#.#
+###...#.....#...#...#.....#...................#.#.#.#.#.#.#...#.....#.....#.#.#...#.#...###...#.....#...............#.#.......#.....#...#.#.#
+###.#.#.#################.#.###################.#.#.#.#.#.#####.#########.#.#.#.###.#########.#.###################.#.#.#######.#####.###.#.#
+#...#.#.#...#...#.......#...#.......#.......#...#.#.#.#.#.....#...#...#...#.#.#...#.........#.#.#...........#.....#...#.......#.....#.###...#
+#.###.#.#.#.#.#.#.#####.#####.#####.#.#####.#.###.#.#.#.#####.###.#.#.#.###.#.###.#########.#.#.#.#########.#.###.###########.#####.#.#######
+#.#...#...#...#...#...#.......#...#...#.....#.....#.#.#.#...#.#...#.#.#...#...###...#.....#.#.#.#...#.....#.#.###.....#.....#...###.#...#...#
+#.#.###############.#.#########.#.#####.###########.#.#.#.#.#.#.###.#.###.#########.#.###.#.#.#.###.#.###.#.#.#######.#.###.###.###.###.#.#.#
+#.#...###...###...#.#.#.........#.......###...#...#...#...#...#.#...#...#.....#.....#.###...#...###...#...#...#...###...###...#...#...#...#.#
+#.###.###.#.###.#.#.#.#.###################.#.#.#.#############.#.#####.#####.#.#####.#################.#######.#.###########.###.###.#####.#
+#...#.....#.....#...#.#.............###...#.#...#...#...#.......#.....#...#...#.....#...#...###.......#.........#...........#...#...#.......#
+###.#################.#############.###.#.#.#######.#.#.#.###########.###.#.#######.###.#.#.###.#####.#####################.###.###.#########
+###.................#.............#...#.#...#...#...#.#.#...#...#...#.###.#.###...#...#...#...#.....#.#.................#...###...#...#.....#
+###################.#############.###.#.#####.#.#.###.#.###.#.#.#.#.#.###.#.###.#.###.#######.#####.#.#.###############.#.#######.###.#.###.#
+#...#...............#...........#.#...#.#.....#.#.....#...#...#...#...#...#.#...#.#...#.....#.#.....#.#...#...........#...###...#.....#.#...#
+#.#.#.###############.#########.#.#.###.#.#####.#########.#############.###.#.###.#.###.###.#.#.#####.###.#.#########.#######.#.#######.#.###
+#.#.#...#...#.......#.###.......#.#.....#.....#.....#...#.....###.......#...#...#.#...#...#...#.....#...#...#.....#...#.......#.........#...#
+#.#.###.#.#.#.#####.#.###.#######.###########.#####.#.#.#####.###.#######.#####.#.###.###.#########.###.#####.###.#.###.###################.#
+#.#.....#.#.#.#...#...#...#.....#.#.....#...#.#...#...#.......#...#.....#...###.#.###.....###...###...#.....#...#...###.#...............#...#
+#.#######.#.#.#.#.#####.###.###.#.#.###.#.#.#.#.#.#############.###.###.###.###.#.###########.#.#####.#####.###.#######.#.#############.#.###
+#.....#...#...#.#.#...#...#.#...#...###...#.#...#...#...#...###.....###.....#...#.....#...#...#.#...#.....#...#...#...#.#.............#...###
+#####.#.#######.#.#.#.###.#.#.#############.#######.#.#.#.#.#################.#######.#.#.#.###.#.#.#####.###.###.#.#.#.#############.#######
+#...#.#.#.......#...#.#...#.#.............#.........#.#.#.#.....#...#####...#.......#.#.#.#...#...#.......###.#...#.#...#.............#.....#
+#.#.#.#.#.###########.#.###.#############.###########.#.#.#####.#.#.#####.#.#######.#.#.#.###.###############.#.###.#####.#############.###.#
+#.#.#...#...........#.#.....###...........#.........#.#.#.#.....#.#...#...#.#.......#...#.....#...#.........#.#.....#...#.........###...#...#
+#.#.###############.#.#########.###########.#######.#.#.#.#.#####.###.#.###.#.#################.#.#.#######.#.#######.#.#########.###.###.###
+#.#.#.............#.#.#.......#...........#.#######...#...#.....#.#...#...#...#...#.....#.....#.#.#.#...#...#.....#...#.....#...#...#.#...###
+#.#.#.###########.#.#.#.#####.###########.#.###################.#.#.#####.#####.#.#.###.#.###.#.#.#.#.#.#.#######.#.#######.#.#.###.#.#.#####
+#.#.#...........#.#.#.#.....#.#...#######...#################E#...#.#...#.....#.#.#.#...#.#...#.#...#.#.#.......#.#.......#...#...#...#.....#
+#.#.###########.#.#.#.#####.#.#.#.###########################.#####.#.#.#####.#.#.#.#.###.#.###.#####.#.#######.#.#######.#######.#########.#
+#.#.........#...#...#.......#...#..S###############.....#####.#...#...#.#.....#.#...#.#...#.....###...#.....#...#.#...#...#.....#.........#.#
+#.#########.#.#####################################.###.#####.#.#.#####.#.#####.#####.#.###########.#######.#.###.#.#.#.###.###.#########.#.#
+#.........#...#.......#.....#...#...#...#####.......#...#####.#.#.....#.#.......#...#...#.....#...#.......#...###.#.#.#.....#...###...###...#
+#########.#####.#####.#.###.#.#.#.#.#.#.#####.#######.#######.#.#####.#.#########.#.#####.###.#.#.#######.#######.#.#.#######.#####.#.#######
+###...#...#...#.#.....#.#...#.#...#...#.....#.....#...###...#.#.#...#...#.....#...#...###...#...#...#...#...#...#...#.........#.....#.......#
+###.#.#.###.#.#.#.#####.#.###.#############.#####.#.#####.#.#.#.#.#.#####.###.#.#####.#####.#######.#.#.###.#.#.###############.###########.#
+#...#...#...#.#.#...#...#.#...#...........#...#...#.......#.#...#.#.#...#...#.#...#...#...#.......#.#.#.....#.#.#...###.......#.....#.......#
+#.#######.###.#.###.#.###.#.###.#########.###.#.###########.#####.#.#.#.###.#.###.#.###.#.#######.#.#.#######.#.#.#.###.#####.#####.#.#######
+#.........###...###...###...###.........#.....#.#...........#...#.#.#.#.....#.....#...#.#.......#.#.#.........#...#.....#.....#.....#...#...#
+#######################################.#######.#.###########.#.#.#.#.###############.#.#######.#.#.#####################.#####.#######.#.#.#
+#.............###...........###.........###...#.#.......###...#.#.#.#.............#...#.......#...#.#...................#.......#.....#...#.#
+#.###########.###.#########.###.###########.#.#.#######.###.###.#.#.#############.#.#########.#####.#.#################.#########.###.#####.#
+#.......#...#...#.#...#...#.....#...###.....#...#.....#...#.#...#.#.#.....###...#.#.....#...#.....#.#.................#.....#...#...#.......#
+#######.#.#.###.#.#.#.#.#.#######.#.###.#########.###.###.#.#.###.#.#.###.###.#.#.#####.#.#.#####.#.#################.#####.#.#.###.#########
+###...#...#.#...#...#...#.........#.....#.........###...#.#.#.....#.#...#.....#.#.#...#...#.......#.....#...........#...#...#.#...#.........#
+###.#.#####.#.###########################.#############.#.#.#######.###.#######.#.#.#.#################.#.#########.###.#.###.###.#########.#
+#...#.....#.#.#...#.....#...............#.........#...#...#...#.....###.#.....#.#.#.#.........#.......#...#...#...#.....#.....###...........#
+#.#######.#.#.#.#.#.###.#.#############.#########.#.#.#######.#.#######.#.###.#.#.#.#########.#.#####.#####.#.#.#.###########################
+#.#.....#.#.#.#.#.#...#.#.............#.#.........#.#...###...#.......#...###.#.#...#...#.....#.###...#.....#...#.......###.................#
+#.#.###.#.#.#.#.#.###.#.#############.#.#.#########.###.###.#########.#######.#.#####.#.#.#####.###.###.###############.###.###############.#
+#...#...#...#...#.....#.###...#...#...#.#.#.......#...#...#.....#.....###...#.#.#...#.#.#...#...#...#...#...............#...#...#...#...#...#
+#####.#################.###.#.#.#.#.###.#.#.#####.###.###.#####.#.#######.#.#.#.#.#.#.#.###.#.###.###.###.###############.###.#.#.#.#.#.#.###
+#.....#.....#...#.....#.....#...#...###...#.#.....###...#.###...#...#...#.#.#.#.#.#.#.#.###...###...#.###.........#...###.#...#...#.#.#.#...#
+#.#####.###.#.#.#.###.#####################.#.#########.#.###.#####.#.#.#.#.#.#.#.#.#.#.###########.#.###########.#.#.###.#.#######.#.#.###.#
+#...#...###.#.#.#.#...#...................#.#.....#.....#.....#.....#.#...#.#.#.#.#.#.#.....#.....#.#.#.........#.#.#.....#.......#...#...#.#
+###.#.#####.#.#.#.#.###.#################.#.#####.#.###########.#####.#####.#.#.#.#.#.#####.#.###.#.#.#.#######.#.#.#############.#######.#.#
+###...#.....#.#.#.#...#.#.................#.....#.#...........#.#...#...#...#.#.#.#...#.....#...#.#...#.......#...#.#.............#...###.#.#
+#######.#####.#.#.###.#.#.#####################.#.###########.#.#.#.###.#.###.#.#.#####.#######.#.###########.#####.#.#############.#.###.#.#
+#.......#...#.#...#...#.#.#.....#.......#...#...#...#...#.....#.#.#...#.#...#.#.#.....#...#...#.#.#...........#...#.#.........#.....#...#.#.#
+#.#######.#.#.#####.###.#.#.###.#.#####.#.#.#.#####.#.#.#.#####.#.###.#.###.#.#.#####.###.#.#.#.#.#.###########.#.#.#########.#.#######.#.#.#
+#...#...#.#...#.....#...#.#...#.#.#.....#.#.#.....#.#.#.#...#...#.#...#...#.#.#.#...#.#...#.#.#.#.#.............#...#.......#...#...#...#.#.#
+###.#.#.#.#####.#####.###.###.#.#.#.#####.#.#####.#.#.#.###.#.###.#.#####.#.#.#.#.#.#.#.###.#.#.#.###################.#####.#####.#.#.###.#.#
+###...#.#.....#.....#...#...#.#...#.#...#.#...#...#.#.#...#.#.#...#.....#.#...#.#.#...#...#.#.#.#.#...#.....#.......#.....#.#.....#.#.#...#.#
+#######.#####.#####.###.###.#.#####.#.#.#.###.#.###.#.###.#.#.#.#######.#.#####.#.#######.#.#.#.#.#.#.#.###.#.#####.#####.#.#.#####.#.#.###.#
+#.....#.......###...#...#...#.#.....#.#...#...#...#.#.#...#.#.#.....#...#...###.#.....#...#.#.#.#.#.#.#...#.#.....#...#...#.#.#...#...#.#...#
+#.###.###########.###.###.###.#.#####.#####.#####.#.#.#.###.#.#####.#.#####.###.#####.#.###.#.#.#.#.#.###.#.#####.###.#.###.#.#.#.#####.#.###
+#...#.###...#...#.#...###.....#.....#...###.....#.#...#...#.#.#...#.#...#...#...#.....#...#.#...#...#.#...#.#...#.#...#...#.#...#...#...#...#
+###.#.###.#.#.#.#.#.###############.###.#######.#.#######.#.#.#.#.#.###.#.###.###.#######.#.#########.#.###.#.#.#.#.#####.#.#######.#.#####.#
+#...#.....#...#...#...#.........###.#...#.......#...#.....#.#.#.#...#...#...#...#.#...#...#.......###...###.#.#...#.#.....#.....#...#...#...#
+#.###################.#.#######.###.#.###.#########.#.#####.#.#.#####.#####.###.#.#.#.#.#########.#########.#.#####.#.#########.#.#####.#.###
+#...#.....#.......#...#...#...#.....#.#...#...#.....#.#.....#.#...#...#.....#...#.#.#...#...#...#.......#...#.....#.#.#...#...#...#.....#...#
+###.#.###.#.#####.#.#####.#.#.#######.#.###.#.#.#####.#.#####.###.#.###.#####.###.#.#####.#.#.#.#######.#.#######.#.#.#.#.#.#.#####.#######.#
+#...#...#.#.#.....#...###...#.......#.#...#.#.#.....#...#.....#...#...#.....#...#.#.#...#.#.#.#...#...#.#.....#...#.#...#...#.....#.#.......#
+#.#####.#.#.#.#######.#############.#.###.#.#.#####.#####.#####.#####.#####.###.#.#.#.#.#.#.#.###.#.#.#.#####.#.###.#############.#.#.#######
+#...#...#...#...#.....#.......#...#.#.###.#.#.#...#.....#.#...#.#.....#...#.#...#.#.#.#...#.#...#.#.#.#...#...#...#...#.....#.....#...#...###
+###.#.#########.#.#####.#####.#.#.#.#.###.#.#.#.#.#####.#.#.#.#.#.#####.#.#.#.###.#.#.#####.###.#.#.#.###.#.#####.###.#.###.#.#########.#.###
+#...#...#.......#.....#.#...#...#.#.#.#...#.#.#.#.#.....#...#.#.#...#...#.#.#.#...#.#.....#.#...#...#.#...#.#.....#...#...#.#...#...#...#...#
+#.#####.#.###########.#.#.#.#####.#.#.#.###.#.#.#.#.#########.#.###.#.###.#.#.#.###.#####.#.#.#######.#.###.#.#####.#####.#.###.#.#.#.#####.#
+#...#...#.......#.....#...#.....#...#.#...#.#.#.#.#.......#...#...#...###...#.#...#.#.....#.#.......#.#.#...#.....#.....#.#...#...#...#...#.#
+###.#.#########.#.#############.#####.###.#.#.#.#.#######.#.#####.###########.###.#.#.#####.#######.#.#.#.#######.#####.#.###.#########.#.#.#
+#...#.#.........#...#...#.......#...#...#.#.#.#.#.#...#...#...#...#...........#...#.#.#...#.........#...#...#.....#.....#...#.#.......#.#.#.#
+#.###.#.###########.#.#.#.#######.#.###.#.#.#.#.#.#.#.#.#####.#.###.###########.###.#.#.#.#################.#.#####.#######.#.#.#####.#.#.#.#
+#.#...#.......#...#.#.#...#.......#.#...#.#.#.#.#...#.#...#...#...#.....#.....#.###.#...#.................#.#.....#.#...#...#.#.....#...#.#.#
+#.#.#########.#.#.#.#.#####.#######.#.###.#.#.#.#####.###.#.#####.#####.#.###.#.###.#####################.#.#####.#.#.#.#.###.#####.#####.#.#
+#.#.#...###...#.#.#.#...#...#.......#.###.#.#.#.#.....#...#.#...#.#.....#.#...#...#.....#.....#...#.....#.#.#.....#...#...#...#.....#...#.#.#
+#.#.#.#.###.###.#.#.###.#.###.#######.###.#.#.#.#.#####.###.#.#.#.#.#####.#.#####.#####.#.###.#.#.#.###.#.#.#.#############.###.#####.#.#.#.#
+#.#.#.#.....#...#...###...###.....#...#...#.#...#...#...###...#...#.#.....#.#.....#.....#...#.#.#.#.###...#.#.............#...#.......#.#...#
+#.#.#.#######.###################.#.###.###.#######.#.#############.#.#####.#.#####.#######.#.#.#.#.#######.#############.###.#########.#####
+#...#.....#...#...#...#...#.......#...#...#...#.....#...........#...#.#.....#.....#...#...#.#...#.#.....###.#...#...#.....###...........#...#
+#########.#.###.#.#.#.#.#.#.#########.###.###.#.###############.#.###.#.#########.###.#.#.#.#####.#####.###.#.#.#.#.#.###################.#.#
+#...#.....#.###.#...#...#...#...#...#.###.....#...#...#.....#...#.....#...#.......#...#.#.#...###.....#...#...#...#.#.....................#.#
+#.#.#.#####.###.#############.#.#.#.#.###########.#.#.#.###.#.###########.#.#######.###.#.###.#######.###.#########.#######################.#
+#.#.#.....#...#.#...#...#...#.#.#.#.#.........#...#.#.#...#.#.#...#...#...#.......#...#.#...#.......#...#.........#.#.......#...#.....#...#.#
+#.#.#####.###.#.#.#.#.#.#.#.#.#.#.#.#########.#.###.#.###.#.#.#.#.#.#.#.#########.###.#.###.#######.###.#########.#.#.#####.#.#.#.###.#.#.#.#
+#.#.......#...#.#.#.#.#.#.#.#.#.#.#...#...#...#...#.#.#...#.#.#.#...#...#...#...#.#...#...#...#...#...#.#.....#...#.#...#...#.#.#...#.#.#.#.#
+#.#########.###.#.#.#.#.#.#.#.#.#.###.#.#.#.#####.#.#.#.###.#.#.#########.#.#.#.#.#.#####.###.#.#.###.#.#.###.#.###.###.#.###.#.###.#.#.#.#.#
+#...........###...#...#...#...#...###...#...#####...#...###...#...........#...#...#.......###...#.....#...###...###.....#.....#.....#...#...#
+#############################################################################################################################################

data/21.ans

@@ -0,0 +1,2 @@
+202274
+245881705840972

data/21.in

@@ -0,0 +1,5 @@
+319A
+670A
+349A
+964A
+586A

data/22.ans

@@ -0,0 +1,2 @@
+16894083306
+1925

data/23.ans

@@ -0,0 +1,2 @@
+1064
+aq,cc,ea,gc,jo,od,pa,rg,rv,ub,ul,vr,yy

data/24.ans

@@ -0,0 +1,2 @@
+51837135476040
+hjf,kdh,kpp,sgj,vss,z14,z31,z35

data/24.in

@@ -0,0 +1,313 @@
+x00: 1
+x01: 0
+x02: 0
+x03: 1
+x04: 1
+x05: 1
+x06: 0
+x07: 0
+x08: 1
+x09: 1
+x10: 0
+x11: 1
+x12: 0
+x13: 0
+x14: 1
+x15: 1
+x16: 1
+x17: 1
+x18: 0
+x19: 0
+x20: 0
+x21: 0
+x22: 1
+x23: 1
+x24: 1
+x25: 1
+x26: 1
+x27: 1
+x28: 0
+x29: 1
+x30: 1
+x31: 0
+x32: 1
+x33: 0
+x34: 0
+x35: 0
+x36: 0
+x37: 1
+x38: 1
+x39: 0
+x40: 0
+x41: 0
+x42: 0
+x43: 1
+x44: 1
+y00: 1
+y01: 1
+y02: 1
+y03: 1
+y04: 0
+y05: 0
+y06: 0
+y07: 0
+y08: 0
+y09: 1
+y10: 0
+y11: 1
+y12: 0
+y13: 0
+y14: 1
+y15: 0
+y16: 0
+y17: 0
+y18: 0
+y19: 1
+y20: 0
+y21: 0
+y22: 0
+y23: 0
+y24: 0
+y25: 1
+y26: 1
+y27: 0
+y28: 1
+y29: 0
+y30: 1
+y31: 0
+y32: 1
+y33: 1
+y34: 0
+y35: 1
+y36: 1
+y37: 1
+y38: 0
+y39: 1
+y40: 0
+y41: 1
+y42: 1
+y43: 0
+y44: 1
+
+x07 AND y07 -> ncs
+y24 AND x24 -> wrf
+x19 XOR y19 -> tsm
+x40 XOR y40 -> svt
+rjf OR src -> dfv
+fsf XOR fgs -> z44
+mhc AND jqd -> qgn
+nrr XOR sms -> kpp
+y20 AND x20 -> ngc
+y21 AND x21 -> hbc
+sgj OR ptb -> rqf
+hbc OR wdr -> gjn
+tks XOR sbg -> z23
+ddh AND tnm -> hgg
+hsf OR bjw -> vbb
+x15 XOR y15 -> vqs
+x10 AND y10 -> dtm
+vqs XOR vss -> z15
+x29 XOR y29 -> mgd
+srg OR cwb -> qtn
+nmb OR mbk -> z45
+dhs OR njq -> tng
+jfw OR jrf -> vpd
+x07 XOR y07 -> gck
+tdw XOR vrk -> z03
+y11 AND x11 -> ffw
+x16 XOR y16 -> bth
+x39 XOR y39 -> tnm
+cfg AND ngh -> jrq
+vpd AND mvn -> hbj
+rgp XOR bth -> z16
+qtn AND cjd -> vrv
+x14 AND y14 -> cgt
+dwh XOR hsk -> z24
+tgp XOR dkh -> z13
+y26 XOR x26 -> cfg
+cpc XOR nbm -> z42
+y42 XOR x42 -> cpc
+x17 XOR y17 -> cjd
+rqf XOR pqn -> z36
+x27 AND y27 -> nwg
+bcq AND hnk -> vjp
+tks AND sbg -> wqr
+wvr OR skq -> gmw
+cwm AND tpv -> pqw
+x41 AND y41 -> tqh
+jcw AND wpk -> sbr
+tgp AND dkh -> tbh
+wrg XOR nwq -> z38
+y32 XOR x32 -> gds
+bmn OR hbj -> msb
+wps XOR mtn -> z33
+ncs OR pjf -> sws
+wqr OR tqk -> dwh
+x31 AND y31 -> pwg
+y12 XOR x12 -> jcw
+nrr AND sms -> z31
+x38 AND y38 -> npd
+y02 AND x02 -> fwt
+y37 AND x37 -> rnc
+fwt OR vtm -> tdw
+x38 XOR y38 -> nwq
+gds AND ghr -> ckd
+ffw OR nfb -> wpk
+ctv XOR wht -> z05
+y11 XOR x11 -> cmg
+y05 XOR x05 -> ctv
+jhw XOR tcv -> z18
+wrf OR gnt -> rmw
+y01 AND x01 -> tnr
+x36 XOR y36 -> pqn
+gjq OR dfg -> skp
+x40 AND y40 -> ptg
+y39 AND x39 -> dqn
+bjb OR hjf -> sbg
+rrn OR rpt -> qfs
+ctv AND wht -> dhs
+sgs AND rsb -> ccw
+rmw XOR psg -> z25
+y24 XOR x24 -> hsk
+bgd XOR msb -> z10
+y17 AND x17 -> fvv
+y22 AND x22 -> kdh
+qfs AND rfv -> fgp
+wds AND fps -> rhr
+y18 XOR x18 -> tcv
+ttd AND nhg -> tfw
+bbc AND jkb -> ptb
+djn OR tnr -> cpb
+y35 XOR x35 -> bbc
+tfw OR cgt -> z14
+rgp AND bth -> srg
+dwh AND hsk -> gnt
+pqw OR ngc -> frt
+y25 XOR x25 -> psg
+y13 XOR x13 -> tgp
+x30 XOR y30 -> rbw
+vrv OR fvv -> jhw
+skp XOR mgd -> z29
+cmg XOR ntv -> z11
+vjr XOR vbb -> z04
+gkj XOR sws -> z08
+x20 XOR y20 -> tpv
+ntv AND cmg -> nfb
+x32 AND y32 -> tdk
+wmr AND cpb -> vtm
+x19 AND y19 -> jps
+jhw AND tcv -> rqv
+y27 XOR x27 -> bcq
+x34 AND y34 -> hdk
+wqc XOR qtf -> z01
+wgk OR sbr -> dkh
+x43 AND y43 -> kdb
+y04 XOR x04 -> vjr
+rmw AND psg -> fgg
+gkj AND sws -> jfw
+cwm XOR tpv -> z20
+cjd XOR qtn -> z17
+fsf AND fgs -> nmb
+wps AND mtn -> rpt
+x33 XOR y33 -> mtn
+bcq XOR hnk -> z27
+tbh OR wwk -> nhg
+twb XOR tsm -> z19
+frt AND mhw -> wdr
+y15 AND x15 -> pwr
+rbw XOR dfv -> z30
+vss AND vqs -> ctt
+x28 AND y28 -> gjq
+y28 XOR x28 -> dvf
+bbc XOR jkb -> sgj
+x43 XOR y43 -> fps
+y04 AND x04 -> khw
+pwg OR kpp -> ghr
+x31 XOR y31 -> nrr
+gmw XOR gck -> z07
+frt XOR mhw -> z21
+spb AND tng -> skq
+svt AND hkg -> knf
+gjn AND kdh -> bjb
+qfs XOR rfv -> z34
+cpc AND nbm -> jtt
+tqh OR ccw -> nbm
+jtt OR qkv -> wds
+gds XOR ghr -> z32
+rbw AND dfv -> qnv
+msb AND bgd -> gjr
+qnv OR bjd -> sms
+y18 AND x18 -> pns
+x41 XOR y41 -> rsb
+x26 AND y26 -> srh
+nvc OR npd -> ddh
+dtm OR gjr -> ntv
+x08 AND y08 -> jrf
+y14 XOR x14 -> ttd
+y06 AND x06 -> wvr
+y16 AND x16 -> cwb
+rnc OR qgn -> wrg
+y30 AND x30 -> bjd
+jqd XOR mhc -> z37
+ddh XOR tnm -> z39
+x12 AND y12 -> wgk
+cqh OR fgg -> ngh
+kdh XOR gjn -> z22
+x01 XOR y01 -> wqc
+khw OR djm -> wht
+ctt OR pwr -> rgp
+y21 XOR x21 -> mhw
+vjp OR nwg -> dhh
+x02 XOR y02 -> wmr
+gck AND gmw -> pjf
+rqv OR pns -> twb
+y00 AND x00 -> qtf
+y05 AND x05 -> njq
+y29 AND x29 -> rjf
+vrk AND tdw -> hsf
+y42 AND x42 -> qkv
+y10 XOR x10 -> bgd
+cfg XOR ngh -> z26
+tng XOR spb -> z06
+y00 XOR x00 -> z00
+cpb XOR wmr -> z02
+ckd OR tdk -> wps
+jrq OR srh -> hnk
+y22 XOR x22 -> hjf
+x03 AND y03 -> bjw
+nhg XOR ttd -> vss
+tsm AND twb -> rwg
+dqn OR hgg -> hkg
+y34 XOR x34 -> rfv
+y35 AND x35 -> z35
+x25 AND y25 -> cqh
+y33 AND x33 -> rrn
+wqc AND qtf -> djn
+sgs XOR rsb -> z41
+x08 XOR y08 -> gkj
+rwg OR jps -> cwm
+rqf AND pqn -> wbv
+x37 XOR y37 -> mhc
+dvf XOR dhh -> z28
+kdb OR rhr -> fgs
+knf OR ptg -> sgs
+svt XOR hkg -> z40
+y13 AND x13 -> wwk
+y23 AND x23 -> tqk
+fgp OR hdk -> jkb
+jcw XOR wpk -> z12
+y06 XOR x06 -> spb
+x23 XOR y23 -> tks
+y09 AND x09 -> bmn
+wds XOR fps -> z43
+dhh AND dvf -> dfg
+mgd AND skp -> src
+wrg AND nwq -> nvc
+y03 XOR x03 -> vrk
+y36 AND x36 -> kqk
+vjr AND vbb -> djm
+x44 XOR y44 -> fsf
+x44 AND y44 -> mbk
+kqk OR wbv -> jqd
+vpd XOR mvn -> z09
+y09 XOR x09 -> mvn

data/25.ans

@@ -0,0 +1 @@
+3395