Sixteeen corners

code.kt

import kotlin.system.measureTimeMillis

fun Int.hasBit(bit: Int) = ((1 shl bit) and this) != 0
fun Int.withBit(bit: Int) = (1 shl bit) or this

fun Int.hasDownSegment() = (0b0001 and this) != 0
fun Int.hasUpSegment() = (0b0010 and this) != 0
fun Int.hasRightSegment() = (0b0100 and this) != 0
fun Int.hasLeftSegment() = (0b1000 and this) != 0

fun validTables(): Sequence<IntArray> = sequence {
  val state = IntArray(16)
  suspend fun SequenceScope<IntArray>.placeCorner(index: Int, used: Int) {
    if (index == 16) {
      check(used == 0xFFFF)
      yield(state.clone())
      return
    }
    for (corner in 0 until 16) {
      if (used.hasBit(corner)) continue

      if (index > 11 && corner.hasDownSegment()) continue // Bottom row
      if (index % 4 == 3 && corner.hasRightSegment()) continue // Right column

      // Find the previous row and column corners so we can test if the current corner can fit at
      // this position. Use 0 when in top row or left column since it will always be incompatible.
      val previousRowCorner = if (index % 4 == 0) 0 else state[index - 1]
      val previousColCorner = if (index < 4) 0 else state[index - 4]

      if (previousRowCorner.hasRightSegment() != corner.hasLeftSegment()) continue // Horizontal mismatch
      if (previousColCorner.hasDownSegment() != corner.hasUpSegment()) continue // Vertical mismatch

      state[index] = corner
      placeCorner(index + 1, used.withBit(i))
    }
  }
  placeCorner(0, 0)
}

fun main() {
  val time = measureTimeMillis {
    validTables().forEachIndexed { index, corners ->
      val table = corners.map { corner -> " ╷╵│╶┌└├╴┐┘┤─┬┴┼".get(corner) }
        .joinToString("")
        .chunked(4)
        .joinToString("\n")

      println("#${index + 1}: ${corners.contentToString()}\n$table\n")
    }
  }
  println("Done. Took $time milliseconds.")
}

valid.txt

#1: [0, 1, 4, 8, 5, 15, 12, 9, 3, 7, 13, 11, 2, 6, 14, 10]
 ╷╶╴
┌┼─┐
│├┬┤
╵└┴┘

#2: [0, 1, 4, 8, 5, 15, 12, 9, 3, 7, 13, 11, 6, 14, 10, 2]
 ╷╶╴
┌┼─┐
│├┬┤
└┴┘╵

#3: [0, 1, 4, 8, 5, 15, 13, 9, 3, 2, 7, 11, 6, 12, 14, 10]
 ╷╶╴
┌┼┬┐
│╵├┤
└─┴┘

#4: [0, 1, 4, 8, 5, 15, 13, 9, 3, 7, 14, 11, 2, 6, 12, 10]
 ╷╶╴
┌┼┬┐
│├┴┤
╵└─┘

#5: [0, 1, 4, 8, 5, 15, 13, 9, 7, 11, 2, 3, 6, 14, 12, 10]
 ╷╶╴
┌┼┬┐
├┤╵│
└┴─┘

#6: [0, 1, 4, 8, 5, 15, 13, 9, 7, 14, 11, 3, 6, 12, 10, 2]
 ╷╶╴
┌┼┬┐
├┴┤│
└─┘╵

#7: [0, 1, 4, 9, 5, 15, 8, 3, 7, 14, 13, 11, 6, 12, 10, 2]
 ╷╶┐
┌┼╴│
├┴┬┤
└─┘╵

#8: [0, 1, 4, 9, 5, 15, 12, 11, 3, 7, 13, 10, 2, 6, 14, 8]
 ╷╶┐
┌┼─┤
│├┬┘
╵└┴╴

#9: [0, 1, 4, 9, 5, 15, 13, 11, 3, 2, 7, 10, 6, 12, 14, 8]
 ╷╶┐
┌┼┬┤
│╵├┘
└─┴╴

#10: [0, 1, 4, 9, 5, 15, 13, 11, 3, 7, 10, 2, 6, 14, 12, 8]
 ╷╶┐
┌┼┬┤
│├┘╵
└┴─╴

#11: [0, 1, 4, 9, 5, 15, 13, 11, 3, 7, 14, 10, 2, 6, 12, 8]
 ╷╶┐
┌┼┬┤
│├┴┘
╵└─╴

#12: [0, 1, 4, 9, 5, 15, 13, 11, 7, 10, 3, 2, 6, 12, 14, 8]
 ╷╶┐
┌┼┬┤
├┘│╵
└─┴╴

#13: [0, 1, 4, 9, 5, 15, 13, 11, 7, 14, 10, 3, 6, 12, 8, 2]
 ╷╶┐
┌┼┬┤
├┴┘│
└─╴╵

#14: [0, 4, 8, 1, 5, 12, 9, 3, 7, 13, 15, 11, 2, 6, 14, 10]
 ╶╴╷
┌─┐│
├┬┼┤
╵└┴┘

#15: [0, 4, 8, 1, 5, 12, 9, 3, 7, 13, 15, 11, 6, 14, 10, 2]
 ╶╴╷
┌─┐│
├┬┼┤
└┴┘╵

#16: [0, 4, 8, 1, 5, 13, 9, 3, 7, 14, 15, 11, 6, 12, 10, 2]
 ╶╴╷
┌┬┐│
├┴┼┤
└─┘╵

#17: [0, 4, 8, 1, 5, 13, 9, 3, 7, 15, 14, 11, 2, 6, 12, 10]
 ╶╴╷
┌┬┐│
├┼┴┤
╵└─┘

#18: [0, 4, 8, 1, 5, 13, 12, 11, 7, 15, 9, 3, 2, 6, 14, 10]
 ╶╴╷
┌┬─┤
├┼┐│
╵└┴┘

#19: [0, 4, 8, 1, 5, 13, 12, 11, 7, 15, 9, 3, 6, 14, 10, 2]
 ╶╴╷
┌┬─┤
├┼┐│
└┴┘╵

#20: [0, 4, 9, 1, 5, 12, 11, 3, 7, 13, 15, 10, 2, 6, 14, 8]
 ╶┐╷
┌─┤│
├┬┼┘
╵└┴╴

#21: [0, 4, 9, 1, 5, 12, 15, 11, 7, 13, 10, 3, 6, 14, 8, 2]
 ╶┐╷
┌─┼┤
├┬┘│
└┴╴╵

#22: [0, 4, 9, 1, 5, 13, 10, 3, 7, 15, 12, 11, 6, 14, 8, 2]
 ╶┐╷
┌┬┘│
├┼─┤
└┴╴╵

#23: [0, 4, 9, 1, 5, 13, 11, 3, 7, 15, 10, 2, 6, 14, 12, 8]
 ╶┐╷
┌┬┤│
├┼┘╵
└┴─╴

#24: [0, 4, 9, 1, 5, 13, 11, 3, 7, 15, 14, 10, 2, 6, 12, 8]
 ╶┐╷
┌┬┤│
├┼┴┘
╵└─╴

#25: [0, 4, 9, 1, 5, 13, 14, 11, 7, 15, 8, 3, 2, 6, 12, 10]
 ╶┐╷
┌┬┴┤
├┼╴│
╵└─┘

#26: [0, 4, 9, 1, 5, 13, 15, 11, 3, 2, 7, 10, 6, 12, 14, 8]
 ╶┐╷
┌┬┼┤
│╵├┘
└─┴╴

#27: [0, 4, 9, 1, 5, 13, 15, 11, 3, 7, 10, 2, 6, 14, 12, 8]
 ╶┐╷
┌┬┼┤
│├┘╵
└┴─╴

#28: [0, 4, 9, 1, 5, 13, 15, 11, 3, 7, 14, 10, 2, 6, 12, 8]
 ╶┐╷
┌┬┼┤
│├┴┘
╵└─╴

#29: [0, 4, 9, 1, 5, 13, 15, 11, 7, 10, 3, 2, 6, 12, 14, 8]
 ╶┐╷
┌┬┼┤
├┘│╵
└─┴╴

#30: [0, 4, 9, 1, 5, 13, 15, 11, 7, 14, 10, 3, 6, 12, 8, 2]
 ╶┐╷
┌┬┼┤
├┴┘│
└─╴╵

#31: [0, 4, 12, 8, 1, 5, 13, 9, 3, 7, 15, 11, 2, 6, 14, 10]
 ╶─╴
╷┌┬┐
│├┼┤
╵└┴┘

#32: [0, 4, 12, 8, 1, 5, 13, 9, 3, 7, 15, 11, 6, 14, 10, 2]
 ╶─╴
╷┌┬┐
│├┼┤
└┴┘╵

#33: [0, 4, 12, 8, 1, 5, 13, 9, 7, 15, 11, 3, 2, 6, 14, 10]
 ╶─╴
╷┌┬┐
├┼┤│
╵└┴┘

#34: [0, 4, 12, 8, 1, 5, 13, 9, 7, 15, 11, 3, 6, 14, 10, 2]
 ╶─╴
╷┌┬┐
├┼┤│
└┴┘╵

#35: [0, 4, 12, 8, 5, 13, 9, 1, 3, 7, 15, 11, 2, 6, 14, 10]
 ╶─╴
┌┬┐╷
│├┼┤
╵└┴┘

#36: [0, 4, 12, 8, 5, 13, 9, 1, 3, 7, 15, 11, 6, 14, 10, 2]
 ╶─╴
┌┬┐╷
│├┼┤
└┴┘╵

#37: [0, 4, 12, 8, 5, 13, 9, 1, 7, 15, 11, 3, 2, 6, 14, 10]
 ╶─╴
┌┬┐╷
├┼┤│
╵└┴┘

#38: [0, 4, 12, 8, 5, 13, 9, 1, 7, 15, 11, 3, 6, 14, 10, 2]
 ╶─╴
┌┬┐╷
├┼┤│
└┴┘╵

#39: [0, 4, 12, 9, 1, 5, 8, 3, 7, 15, 13, 11, 2, 6, 14, 10]
 ╶─┐
╷┌╴│
├┼┬┤
╵└┴┘

#40: [0, 4, 12, 9, 1, 5, 8, 3, 7, 15, 13, 11, 6, 14, 10, 2]
 ╶─┐
╷┌╴│
├┼┬┤
└┴┘╵

#41: [0, 4, 12, 9, 1, 5, 13, 11, 3, 7, 15, 10, 2, 6, 14, 8]
 ╶─┐
╷┌┬┤
│├┼┘
╵└┴╴

#42: [0, 4, 12, 9, 1, 5, 13, 11, 7, 15, 10, 3, 6, 14, 8, 2]
 ╶─┐
╷┌┬┤
├┼┘│
└┴╴╵

#43: [0, 4, 12, 9, 5, 8, 1, 3, 7, 13, 15, 11, 2, 6, 14, 10]
 ╶─┐
┌╴╷│
├┬┼┤
╵└┴┘

#44: [0, 4, 12, 9, 5, 8, 1, 3, 7, 13, 15, 11, 6, 14, 10, 2]
 ╶─┐
┌╴╷│
├┬┼┤
└┴┘╵

#45: [0, 4, 13, 8, 1, 5, 15, 9, 3, 2, 7, 11, 6, 12, 14, 10]
 ╶┬╴
╷┌┼┐
│╵├┤
└─┴┘

#46: [0, 4, 13, 8, 1, 5, 15, 9, 3, 7, 14, 11, 2, 6, 12, 10]
 ╶┬╴
╷┌┼┐
│├┴┤
╵└─┘

#47: [0, 4, 13, 8, 1, 5, 15, 9, 7, 11, 2, 3, 6, 14, 12, 10]
 ╶┬╴
╷┌┼┐
├┤╵│
└┴─┘

#48: [0, 4, 13, 8, 1, 5, 15, 9, 7, 14, 11, 3, 6, 12, 10, 2]
 ╶┬╴
╷┌┼┐
├┴┤│
└─┘╵

#49: [0, 4, 13, 8, 5, 9, 3, 1, 7, 14, 15, 11, 6, 12, 10, 2]
 ╶┬╴
┌┐│╷
├┴┼┤
└─┘╵

#50: [0, 4, 13, 8, 5, 9, 3, 1, 7, 15, 14, 11, 2, 6, 12, 10]
 ╶┬╴
┌┐│╷
├┼┴┤
╵└─┘

#51: [0, 4, 13, 8, 5, 12, 15, 9, 3, 1, 7, 11, 2, 6, 14, 10]
 ╶┬╴
┌─┼┐
│╷├┤
╵└┴┘

#52: [0, 4, 13, 8, 5, 12, 15, 9, 3, 1, 7, 11, 6, 14, 10, 2]
 ╶┬╴
┌─┼┐
│╷├┤
└┴┘╵

#53: [0, 4, 13, 9, 1, 5, 10, 3, 7, 15, 12, 11, 6, 14, 8, 2]
 ╶┬┐
╷┌┘│
├┼─┤
└┴╴╵

#54: [0, 4, 13, 9, 1, 5, 11, 3, 7, 15, 10, 2, 6, 14, 12, 8]
 ╶┬┐
╷┌┤│
├┼┘╵
└┴─╴

#55: [0, 4, 13, 9, 1, 5, 11, 3, 7, 15, 14, 10, 2, 6, 12, 8]
 ╶┬┐
╷┌┤│
├┼┴┘
╵└─╴

#56: [0, 4, 13, 9, 1, 5, 14, 11, 7, 15, 8, 3, 2, 6, 12, 10]
 ╶┬┐
╷┌┴┤
├┼╴│
╵└─┘

#57: [0, 4, 13, 9, 1, 5, 15, 11, 3, 2, 7, 10, 6, 12, 14, 8]
 ╶┬┐
╷┌┼┤
│╵├┘
└─┴╴

#58: [0, 4, 13, 9, 1, 5, 15, 11, 3, 7, 10, 2, 6, 14, 12, 8]
 ╶┬┐
╷┌┼┤
│├┘╵
└┴─╴

#59: [0, 4, 13, 9, 1, 5, 15, 11, 3, 7, 14, 10, 2, 6, 12, 8]
 ╶┬┐
╷┌┼┤
│├┴┘
╵└─╴

#60: [0, 4, 13, 9, 1, 5, 15, 11, 7, 10, 3, 2, 6, 12, 14, 8]
 ╶┬┐
╷┌┼┤
├┘│╵
└─┴╴

#61: [0, 4, 13, 9, 1, 5, 15, 11, 7, 14, 10, 3, 6, 12, 8, 2]
 ╶┬┐
╷┌┼┤
├┴┘│
└─╴╵

#62: [0, 4, 13, 9, 5, 12, 15, 11, 3, 1, 7, 10, 2, 6, 14, 8]
 ╶┬┐
┌─┼┤
│╷├┘
╵└┴╴

#63: [0, 5, 12, 8, 1, 3, 4, 9, 7, 15, 13, 11, 2, 6, 14, 10]
 ┌─╴
╷│╶┐
├┼┬┤
╵└┴┘

#64: [0, 5, 12, 8, 1, 3, 4, 9, 7, 15, 13, 11, 6, 14, 10, 2]
 ┌─╴
╷│╶┐
├┼┬┤
└┴┘╵

#65: [0, 5, 12, 8, 1, 7, 13, 9, 3, 6, 15, 11, 2, 4, 14, 10]
 ┌─╴
╷├┬┐
│└┼┤
╵╶┴┘

#66: [0, 5, 12, 8, 1, 7, 13, 9, 6, 15, 11, 3, 4, 14, 10, 2]
 ┌─╴
╷├┬┐
└┼┤│
╶┴┘╵

#67: [0, 5, 12, 8, 4, 15, 13, 9, 1, 3, 7, 11, 2, 6, 14, 10]
 ┌─╴
╶┼┬┐
╷│├┤
╵└┴┘

#68: [0, 5, 12, 8, 4, 15, 13, 9, 1, 3, 7, 11, 6, 14, 10, 2]
 ┌─╴
╶┼┬┐
╷│├┤
└┴┘╵

#69: [0, 5, 12, 8, 4, 15, 13, 9, 1, 7, 11, 3, 2, 6, 14, 10]
 ┌─╴
╶┼┬┐
╷├┤│
╵└┴┘

#70: [0, 5, 12, 8, 4, 15, 13, 9, 1, 7, 11, 3, 6, 14, 10, 2]
 ┌─╴
╶┼┬┐
╷├┤│
└┴┘╵

#71: [0, 5, 12, 9, 1, 3, 4, 11, 7, 15, 13, 10, 2, 6, 14, 8]
 ┌─┐
╷│╶┤
├┼┬┘
╵└┴╴

#72: [0, 5, 12, 9, 1, 7, 8, 3, 6, 15, 13, 11, 4, 14, 10, 2]
 ┌─┐
╷├╴│
└┼┬┤
╶┴┘╵

#73: [0, 5, 12, 9, 1, 7, 13, 11, 3, 6, 15, 10, 2, 4, 14, 8]
 ┌─┐
╷├┬┤
│└┼┘
╵╶┴╴

#74: [0, 5, 12, 9, 1, 7, 13, 11, 6, 15, 10, 3, 4, 14, 8, 2]
 ┌─┐
╷├┬┤
└┼┘│
╶┴╴╵

#75: [0, 5, 12, 9, 4, 15, 8, 3, 1, 7, 13, 11, 2, 6, 14, 10]
 ┌─┐
╶┼╴│
╷├┬┤
╵└┴┘

#76: [0, 5, 12, 9, 4, 15, 8, 3, 1, 7, 13, 11, 6, 14, 10, 2]
 ┌─┐
╶┼╴│
╷├┬┤
└┴┘╵

#77: [0, 5, 12, 9, 4, 15, 13, 11, 1, 3, 7, 10, 2, 6, 14, 8]
 ┌─┐
╶┼┬┤
╷│├┘
╵└┴╴

#78: [0, 5, 12, 9, 4, 15, 13, 11, 1, 7, 10, 3, 6, 14, 8, 2]
 ┌─┐
╶┼┬┤
╷├┘│
└┴╴╵

#79: [0, 5, 13, 8, 1, 2, 7, 9, 3, 4, 15, 11, 6, 12, 14, 10]
 ┌┬╴
╷╵├┐
│╶┼┤
└─┴┘

#80: [0, 5, 13, 8, 1, 3, 7, 9, 2, 6, 15, 11, 4, 12, 14, 10]
 ┌┬╴
╷│├┐
╵└┼┤
╶─┴┘

#81: [0, 5, 13, 8, 1, 3, 7, 9, 6, 14, 15, 11, 4, 12, 10, 2]
 ┌┬╴
╷│├┐
└┴┼┤
╶─┘╵

#82: [0, 5, 13, 8, 1, 6, 15, 9, 7, 12, 11, 3, 2, 4, 14, 10]
 ┌┬╴
╷└┼┐
├─┤│
╵╶┴┘

#83: [0, 5, 13, 8, 1, 7, 15, 9, 2, 3, 6, 11, 4, 14, 12, 10]
 ┌┬╴
╷├┼┐
╵│└┤
╶┴─┘

#84: [0, 5, 13, 8, 1, 7, 15, 9, 2, 6, 11, 3, 4, 12, 14, 10]
 ┌┬╴
╷├┼┐
╵└┤│
╶─┴┘

#85: [0, 5, 13, 8, 1, 7, 15, 9, 3, 6, 14, 11, 2, 4, 12, 10]
 ┌┬╴
╷├┼┐
│└┴┤
╵╶─┘

#86: [0, 5, 13, 8, 1, 7, 15, 9, 6, 11, 2, 3, 4, 14, 12, 10]
 ┌┬╴
╷├┼┐
└┤╵│
╶┴─┘

#87: [0, 5, 13, 8, 1, 7, 15, 9, 6, 14, 11, 3, 4, 12, 10, 2]
 ┌┬╴
╷├┼┐
└┴┤│
╶─┘╵

#88: [0, 5, 13, 9, 1, 2, 7, 11, 3, 4, 15, 10, 6, 12, 14, 8]
 ┌┬┐
╷╵├┤
│╶┼┘
└─┴╴

#89: [0, 5, 13, 9, 1, 3, 7, 11, 2, 6, 15, 10, 4, 12, 14, 8]
 ┌┬┐
╷│├┤
╵└┼┘
╶─┴╴

#90: [0, 5, 13, 9, 1, 3, 7, 11, 6, 15, 10, 2, 4, 14, 12, 8]
 ┌┬┐
╷│├┤
└┼┘╵
╶┴─╴

#91: [0, 5, 13, 9, 1, 6, 11, 3, 7, 12, 15, 10, 2, 4, 14, 8]
 ┌┬┐
╷└┤│
├─┼┘
╵╶┴╴

#92: [0, 5, 13, 9, 1, 7, 10, 3, 6, 15, 12, 11, 4, 14, 8, 2]
 ┌┬┐
╷├┘│
└┼─┤
╶┴╴╵

#93: [0, 5, 13, 9, 1, 7, 11, 3, 2, 6, 15, 10, 4, 12, 14, 8]
 ┌┬┐
╷├┤│
╵└┼┘
╶─┴╴

#94: [0, 5, 13, 9, 1, 7, 11, 3, 6, 15, 10, 2, 4, 14, 12, 8]
 ┌┬┐
╷├┤│
└┼┘╵
╶┴─╴

#95: [0, 5, 13, 9, 1, 7, 15, 11, 2, 3, 6, 10, 4, 14, 12, 8]
 ┌┬┐
╷├┼┤
╵│└┘
╶┴─╴

#96: [0, 5, 13, 9, 1, 7, 15, 11, 3, 6, 14, 10, 2, 4, 12, 8]
 ┌┬┐
╷├┼┤
│└┴┘
╵╶─╴

#97: [0, 5, 13, 9, 1, 7, 15, 11, 6, 10, 3, 2, 4, 12, 14, 8]
 ┌┬┐
╷├┼┤
└┘│╵
╶─┴╴

#98: [0, 5, 13, 9, 1, 7, 15, 11, 6, 14, 10, 3, 4, 12, 8, 2]
 ┌┬┐
╷├┼┤
└┴┘│
╶─╴╵

#99: [0, 5, 13, 9, 4, 15, 10, 3, 1, 7, 12, 11, 6, 14, 8, 2]
 ┌┬┐
╶┼┘│
╷├─┤
└┴╴╵

#100: [0, 5, 13, 9, 4, 15, 11, 3, 1, 2, 7, 10, 6, 12, 14, 8]
 ┌┬┐
╶┼┤│
╷╵├┘
└─┴╴

#101: [0, 5, 13, 9, 4, 15, 11, 3, 1, 7, 10, 2, 6, 14, 12, 8]
 ┌┬┐
╶┼┤│
╷├┘╵
└┴─╴

#102: [0, 5, 13, 9, 4, 15, 11, 3, 1, 7, 14, 10, 2, 6, 12, 8]
 ┌┬┐
╶┼┤│
╷├┴┘
╵└─╴

#103: [0, 5, 13, 9, 4, 15, 14, 11, 1, 7, 8, 3, 2, 6, 12, 10]
 ┌┬┐
╶┼┴┤
╷├╴│
╵└─┘

#104: [1, 0, 4, 8, 3, 5, 12, 9, 7, 15, 13, 11, 2, 6, 14, 10]
╷ ╶╴
│┌─┐
├┼┬┤
╵└┴┘

#105: [1, 0, 4, 8, 3, 5, 12, 9, 7, 15, 13, 11, 6, 14, 10, 2]
╷ ╶╴
│┌─┐
├┼┬┤
└┴┘╵

#106: [1, 0, 4, 8, 3, 5, 13, 9, 7, 14, 15, 11, 6, 12, 10, 2]
╷ ╶╴
│┌┬┐
├┴┼┤
└─┘╵

#107: [1, 0, 4, 8, 3, 5, 13, 9, 7, 15, 14, 11, 2, 6, 12, 10]
╷ ╶╴
│┌┬┐
├┼┴┤
╵└─┘

#108: [1, 0, 4, 8, 7, 12, 13, 9, 3, 5, 15, 11, 2, 6, 14, 10]
╷ ╶╴
├─┬┐
│┌┼┤
╵└┴┘

#109: [1, 0, 4, 8, 7, 12, 13, 9, 3, 5, 15, 11, 6, 14, 10, 2]
╷ ╶╴
├─┬┐
│┌┼┤
└┴┘╵

#110: [1, 0, 4, 9, 3, 5, 12, 11, 7, 15, 13, 10, 2, 6, 14, 8]
╷ ╶┐
│┌─┤
├┼┬┘
╵└┴╴

#111: [1, 0, 4, 9, 3, 5, 13, 11, 7, 15, 10, 2, 6, 14, 12, 8]
╷ ╶┐
│┌┬┤
├┼┘╵
└┴─╴

#112: [1, 0, 4, 9, 3, 5, 13, 11, 7, 15, 14, 10, 2, 6, 12, 8]
╷ ╶┐
│┌┬┤
├┼┴┘
╵└─╴

#113: [1, 0, 4, 9, 7, 12, 13, 11, 3, 5, 15, 10, 2, 6, 14, 8]
╷ ╶┐
├─┬┤
│┌┼┘
╵└┴╴

#114: [1, 0, 5, 8, 3, 4, 15, 9, 7, 13, 14, 11, 2, 6, 12, 10]
╷ ┌╴
│╶┼┐
├┬┴┤
╵└─┘

#115: [1, 0, 5, 8, 7, 12, 15, 9, 6, 13, 11, 3, 4, 14, 10, 2]
╷ ┌╴
├─┼┐
└┬┤│
╶┴┘╵

#116: [1, 0, 5, 8, 7, 13, 15, 9, 2, 3, 6, 11, 4, 14, 12, 10]
╷ ┌╴
├┬┼┐
╵│└┤
╶┴─┘

#117: [1, 0, 5, 8, 7, 13, 15, 9, 2, 6, 11, 3, 4, 12, 14, 10]
╷ ┌╴
├┬┼┐
╵└┤│
╶─┴┘

#118: [1, 0, 5, 8, 7, 13, 15, 9, 3, 6, 14, 11, 2, 4, 12, 10]
╷ ┌╴
├┬┼┐
│└┴┤
╵╶─┘

#119: [1, 0, 5, 8, 7, 13, 15, 9, 6, 11, 2, 3, 4, 14, 12, 10]
╷ ┌╴
├┬┼┐
└┤╵│
╶┴─┘

#120: [1, 0, 5, 8, 7, 13, 15, 9, 6, 14, 11, 3, 4, 12, 10, 2]
╷ ┌╴
├┬┼┐
└┴┤│
╶─┘╵

#121: [1, 0, 5, 9, 3, 4, 15, 11, 7, 13, 10, 2, 6, 14, 12, 8]
╷ ┌┐
│╶┼┤
├┬┘╵
└┴─╴

#122: [1, 0, 5, 9, 3, 4, 15, 11, 7, 13, 14, 10, 2, 6, 12, 8]
╷ ┌┐
│╶┼┤
├┬┴┘
╵└─╴

#123: [1, 0, 5, 9, 7, 12, 15, 11, 6, 13, 10, 3, 4, 14, 8, 2]
╷ ┌┐
├─┼┤
└┬┘│
╶┴╴╵

#124: [1, 0, 5, 9, 7, 13, 10, 3, 6, 15, 12, 11, 4, 14, 8, 2]
╷ ┌┐
├┬┘│
└┼─┤
╶┴╴╵

#125: [1, 0, 5, 9, 7, 13, 11, 3, 2, 6, 15, 10, 4, 12, 14, 8]
╷ ┌┐
├┬┤│
╵└┼┘
╶─┴╴

#126: [1, 0, 5, 9, 7, 13, 11, 3, 6, 15, 10, 2, 4, 14, 12, 8]
╷ ┌┐
├┬┤│
└┼┘╵
╶┴─╴

#127: [1, 0, 5, 9, 7, 13, 15, 11, 2, 3, 6, 10, 4, 14, 12, 8]
╷ ┌┐
├┬┼┤
╵│└┘
╶┴─╴

#128: [1, 0, 5, 9, 7, 13, 15, 11, 3, 6, 14, 10, 2, 4, 12, 8]
╷ ┌┐
├┬┼┤
│└┴┘
╵╶─╴

#129: [1, 0, 5, 9, 7, 13, 15, 11, 6, 10, 3, 2, 4, 12, 14, 8]
╷ ┌┐
├┬┼┤
└┘│╵
╶─┴╴

#130: [1, 0, 5, 9, 7, 13, 15, 11, 6, 14, 10, 3, 4, 12, 8, 2]
╷ ┌┐
├┬┼┤
└┴┘│
╶─╴╵

#131: [1, 4, 8, 0, 3, 5, 12, 9, 7, 15, 13, 11, 2, 6, 14, 10]
╷╶╴
│┌─┐
├┼┬┤
╵└┴┘

#132: [1, 4, 8, 0, 3, 5, 12, 9, 7, 15, 13, 11, 6, 14, 10, 2]
╷╶╴
│┌─┐
├┼┬┤
└┴┘╵

#133: [1, 4, 8, 0, 3, 5, 13, 9, 7, 14, 15, 11, 6, 12, 10, 2]
╷╶╴
│┌┬┐
├┴┼┤
└─┘╵

#134: [1, 4, 8, 0, 3, 5, 13, 9, 7, 15, 14, 11, 2, 6, 12, 10]
╷╶╴
│┌┬┐
├┼┴┤
╵└─┘

#135: [1, 4, 8, 0, 7, 12, 13, 9, 3, 5, 15, 11, 2, 6, 14, 10]
╷╶╴
├─┬┐
│┌┼┤
╵└┴┘

#136: [1, 4, 8, 0, 7, 12, 13, 9, 3, 5, 15, 11, 6, 14, 10, 2]
╷╶╴
├─┬┐
│┌┼┤
└┴┘╵

#137: [1, 4, 12, 8, 3, 0, 5, 9, 7, 13, 15, 11, 2, 6, 14, 10]
╷╶─╴
│ ┌┐
├┬┼┤
╵└┴┘

#138: [1, 4, 12, 8, 3, 0, 5, 9, 7, 13, 15, 11, 6, 14, 10, 2]
╷╶─╴
│ ┌┐
├┬┼┤
└┴┘╵

#139: [1, 4, 12, 8, 3, 5, 13, 9, 2, 7, 15, 11, 0, 6, 14, 10]
╷╶─╴
│┌┬┐
╵├┼┤
 └┴┘

#140: [1, 4, 12, 8, 3, 5, 13, 9, 7, 14, 15, 11, 2, 0, 6, 10]
╷╶─╴
│┌┬┐
├┴┼┤
╵ └┘

#141: [1, 4, 12, 8, 3, 5, 13, 9, 7, 15, 11, 2, 6, 14, 10, 0]
╷╶─╴
│┌┬┐
├┼┤╵
└┴┘

#142: [1, 4, 12, 8, 3, 5, 13, 9, 7, 15, 14, 11, 6, 10, 0, 2]
╷╶─╴
│┌┬┐
├┼┴┤
└┘ ╵

#143: [1, 4, 12, 9, 3, 0, 5, 11, 7, 13, 15, 10, 2, 6, 14, 8]
╷╶─┐
│ ┌┤
├┬┼┘
╵└┴╴

#144: [1, 4, 12, 9, 3, 5, 13, 10, 7, 15, 11, 0, 2, 6, 14, 8]
╷╶─┐
│┌┬┘
├┼┤
╵└┴╴

#145: [1, 4, 12, 9, 3, 5, 13, 11, 2, 7, 15, 10, 0, 6, 14, 8]
╷╶─┐
│┌┬┤
╵├┼┘
 └┴╴

#146: [1, 4, 12, 9, 3, 5, 13, 11, 7, 14, 15, 10, 2, 0, 6, 8]
╷╶─┐
│┌┬┤
├┴┼┘
╵ └╴

#147: [1, 4, 12, 9, 3, 5, 13, 11, 7, 14, 15, 10, 6, 8, 2, 0]
╷╶─┐
│┌┬┤
├┴┼┘
└╴╵

#148: [1, 4, 12, 9, 3, 5, 13, 11, 7, 15, 10, 2, 6, 14, 8, 0]
╷╶─┐
│┌┬┤
├┼┘╵
└┴╴

#149: [1, 4, 12, 9, 3, 5, 13, 11, 7, 15, 14, 10, 2, 6, 8, 0]
╷╶─┐
│┌┬┤
├┼┴┘
╵└╴

#150: [1, 4, 13, 8, 3, 5, 11, 0, 7, 14, 15, 9, 6, 12, 10, 2]
╷╶┬╴
│┌┤
├┴┼┐
└─┘╵

#151: [1, 4, 13, 8, 3, 5, 11, 0, 7, 15, 14, 9, 2, 6, 12, 10]
╷╶┬╴
│┌┤
├┼┴┐
╵└─┘

#152: [1, 4, 13, 8, 3, 5, 14, 9, 7, 15, 12, 11, 6, 10, 0, 2]
╷╶┬╴
│┌┴┐
├┼─┤
└┘ ╵

#153: [1, 4, 13, 8, 3, 5, 15, 9, 2, 7, 14, 11, 0, 6, 12, 10]
╷╶┬╴
│┌┼┐
╵├┴┤
 └─┘

#154: [1, 4, 13, 8, 3, 5, 15, 9, 7, 14, 11, 2, 6, 12, 10, 0]
╷╶┬╴
│┌┼┐
├┴┤╵
└─┘

#155: [1, 4, 13, 8, 7, 12, 11, 0, 3, 5, 15, 9, 2, 6, 14, 10]
╷╶┬╴
├─┤
│┌┼┐
╵└┴┘

#156: [1, 4, 13, 8, 7, 12, 11, 0, 3, 5, 15, 9, 6, 14, 10, 2]
╷╶┬╴
├─┤
│┌┼┐
└┴┘╵

#157: [1, 4, 13, 8, 7, 12, 15, 9, 2, 5, 11, 3, 0, 6, 14, 10]
╷╶┬╴
├─┼┐
╵┌┤│
 └┴┘

#158: [1, 4, 13, 8, 7, 12, 15, 9, 3, 5, 11, 2, 6, 14, 10, 0]
╷╶┬╴
├─┼┐
│┌┤╵
└┴┘

#159: [1, 4, 13, 8, 7, 12, 15, 9, 3, 5, 14, 11, 6, 10, 0, 2]
╷╶┬╴
├─┼┐
│┌┴┤
└┘ ╵

#160: [1, 4, 13, 9, 3, 5, 11, 2, 7, 14, 15, 8, 6, 12, 10, 0]
╷╶┬┐
│┌┤╵
├┴┼╴
└─┘

#161: [1, 4, 13, 9, 3, 5, 11, 2, 7, 15, 10, 0, 6, 14, 12, 8]
╷╶┬┐
│┌┤╵
├┼┘
└┴─╴

#162: [1, 4, 13, 9, 3, 5, 14, 11, 7, 15, 12, 10, 2, 6, 8, 0]
╷╶┬┐
│┌┴┤
├┼─┘
╵└╴

#163: [1, 4, 13, 9, 3, 5, 15, 10, 7, 11, 2, 0, 6, 14, 12, 8]
╷╶┬┐
│┌┼┘
├┤╵
└┴─╴

#164: [1, 4, 13, 9, 3, 5, 15, 11, 2, 7, 14, 10, 0, 6, 12, 8]
╷╶┬┐
│┌┼┤
╵├┴┘
 └─╴

#165: [1, 4, 13, 9, 3, 5, 15, 11, 7, 14, 10, 2, 6, 12, 8, 0]
╷╶┬┐
│┌┼┤
├┴┘╵
└─╴

#166: [1, 4, 13, 9, 7, 12, 11, 2, 3, 5, 15, 8, 6, 14, 10, 0]
╷╶┬┐
├─┤╵
│┌┼╴
└┴┘

#167: [1, 4, 13, 9, 7, 12, 11, 3, 2, 5, 15, 10, 0, 6, 14, 8]
╷╶┬┐
├─┤│
╵┌┼┘
 └┴╴

#168: [1, 4, 13, 9, 7, 12, 15, 10, 3, 5, 11, 0, 2, 6, 14, 8]
╷╶┬┐
├─┼┘
│┌┤
╵└┴╴

#169: [1, 4, 13, 9, 7, 12, 15, 11, 3, 5, 10, 2, 6, 14, 8, 0]
╷╶┬┐
├─┼┤
│┌┘╵
└┴╴

#170: [1, 4, 13, 9, 7, 12, 15, 11, 3, 5, 14, 10, 2, 6, 8, 0]
╷╶┬┐
├─┼┤
│┌┴┘
╵└╴

#171: [1, 5, 8, 0, 3, 6, 13, 9, 7, 12, 15, 11, 2, 4, 14, 10]
╷┌╴
│└┬┐
├─┼┤
╵╶┴┘

#172: [1, 5, 8, 0, 3, 7, 12, 9, 6, 15, 13, 11, 4, 14, 10, 2]
╷┌╴
│├─┐
└┼┬┤
╶┴┘╵

#173: [1, 5, 8, 0, 3, 7, 13, 9, 2, 6, 15, 11, 4, 12, 14, 10]
╷┌╴
│├┬┐
╵└┼┤
╶─┴┘

#174: [1, 5, 8, 0, 3, 7, 13, 9, 6, 14, 15, 11, 4, 12, 10, 2]
╷┌╴
│├┬┐
└┴┼┤
╶─┘╵

#175: [1, 5, 8, 0, 7, 14, 13, 9, 3, 4, 15, 11, 6, 12, 10, 2]
╷┌╴
├┴┬┐
│╶┼┤
└─┘╵

#176: [1, 5, 8, 0, 7, 15, 12, 9, 3, 6, 13, 11, 2, 4, 14, 10]
╷┌╴
├┼─┐
│└┬┤
╵╶┴┘

#177: [1, 5, 8, 0, 7, 15, 13, 9, 2, 3, 6, 11, 4, 14, 12, 10]
╷┌╴
├┼┬┐
╵│└┤
╶┴─┘

#178: [1, 5, 8, 0, 7, 15, 13, 9, 2, 6, 11, 3, 4, 12, 14, 10]
╷┌╴
├┼┬┐
╵└┤│
╶─┴┘

#179: [1, 5, 8, 0, 7, 15, 13, 9, 3, 6, 14, 11, 2, 4, 12, 10]
╷┌╴
├┼┬┐
│└┴┤
╵╶─┘

#180: [1, 5, 8, 0, 7, 15, 13, 9, 6, 11, 2, 3, 4, 14, 12, 10]
╷┌╴
├┼┬┐
└┤╵│
╶┴─┘

#181: [1, 5, 8, 0, 7, 15, 13, 9, 6, 14, 11, 3, 4, 12, 10, 2]
╷┌╴
├┼┬┐
└┴┤│
╶─┘╵

#182: [1, 5, 12, 8, 2, 7, 13, 9, 4, 15, 11, 3, 0, 6, 14, 10]
╷┌─╴
╵├┬┐
╶┼┤│
 └┴┘

#183: [1, 5, 12, 8, 3, 7, 13, 9, 2, 6, 15, 11, 0, 4, 14, 10]
╷┌─╴
│├┬┐
╵└┼┤
 ╶┴┘

#184: [1, 5, 12, 8, 3, 7, 13, 9, 6, 14, 15, 11, 0, 4, 10, 2]
╷┌─╴
│├┬┐
└┴┼┤
 ╶┘╵

#185: [1, 5, 12, 8, 3, 7, 13, 9, 6, 15, 11, 2, 4, 14, 10, 0]
╷┌─╴
│├┬┐
└┼┤╵
╶┴┘

#186: [1, 5, 12, 8, 3, 7, 13, 9, 6, 15, 14, 11, 0, 2, 4, 10]
╷┌─╴
│├┬┐
└┼┴┤
 ╵╶┘

#187: [1, 5, 12, 8, 3, 7, 13, 9, 6, 15, 14, 11, 4, 10, 0, 2]
╷┌─╴
│├┬┐
└┼┴┤
╶┘ ╵

#188: [1, 5, 12, 8, 6, 15, 13, 9, 0, 3, 7, 11, 4, 14, 10, 2]
╷┌─╴
└┼┬┐
 │├┤
╶┴┘╵

#189: [1, 5, 12, 8, 6, 15, 13, 9, 0, 7, 11, 3, 4, 14, 10, 2]
╷┌─╴
└┼┬┐
 ├┤│
╶┴┘╵

#190: [1, 5, 12, 8, 7, 14, 13, 9, 3, 4, 15, 11, 2, 0, 6, 10]
╷┌─╴
├┴┬┐
│╶┼┤
╵ └┘

#191: [1, 5, 12, 8, 7, 15, 13, 9, 2, 6, 11, 3, 0, 4, 14, 10]
╷┌─╴
├┼┬┐
╵└┤│
 ╶┴┘

#192: [1, 5, 12, 8, 7, 15, 13, 9, 3, 6, 14, 11, 2, 0, 4, 10]
╷┌─╴
├┼┬┐
│└┴┤
╵ ╶┘

#193: [1, 5, 12, 8, 7, 15, 13, 9, 6, 11, 3, 2, 4, 14, 10, 0]
╷┌─╴
├┼┬┐
└┤│╵
╶┴┘

#194: [1, 5, 12, 8, 7, 15, 13, 9, 6, 14, 11, 3, 0, 4, 10, 2]
╷┌─╴
├┼┬┐
└┴┤│
 ╶┘╵

#195: [1, 5, 12, 9, 2, 7, 8, 3, 4, 15, 13, 11, 0, 6, 14, 10]
╷┌─┐
╵├╴│
╶┼┬┤
 └┴┘

#196: [1, 5, 12, 9, 3, 7, 13, 11, 2, 6, 15, 10, 0, 4, 14, 8]
╷┌─┐
│├┬┤
╵└┼┘
 ╶┴╴

#197: [1, 5, 12, 9, 3, 7, 13, 11, 6, 14, 15, 10, 4, 8, 2, 0]
╷┌─┐
│├┬┤
└┴┼┘
╶╴╵

#198: [1, 5, 12, 9, 3, 7, 13, 11, 6, 15, 10, 2, 4, 14, 8, 0]
╷┌─┐
│├┬┤
└┼┘╵
╶┴╴

#199: [1, 5, 12, 9, 3, 7, 13, 11, 6, 15, 14, 10, 0, 2, 4, 8]
╷┌─┐
│├┬┤
└┼┴┘
 ╵╶╴

#200: [1, 5, 12, 9, 6, 15, 8, 3, 0, 7, 13, 11, 4, 14, 10, 2]
╷┌─┐
└┼╴│
 ├┬┤
╶┴┘╵

#201: [1, 5, 12, 9, 6, 15, 13, 11, 0, 7, 10, 3, 4, 14, 8, 2]
╷┌─┐
└┼┬┤
 ├┘│
╶┴╴╵

#202: [1, 5, 12, 9, 7, 14, 13, 11, 3, 4, 15, 10, 2, 0, 6, 8]
╷┌─┐
├┴┬┤
│╶┼┘
╵ └╴

#203: [1, 5, 12, 9, 7, 14, 13, 11, 3, 4, 15, 10, 6, 8, 2, 0]
╷┌─┐
├┴┬┤
│╶┼┘
└╴╵

#204: [1, 5, 12, 9, 7, 15, 8, 3, 2, 6, 13, 11, 0, 4, 14, 10]
╷┌─┐
├┼╴│
╵└┬┤
 ╶┴┘

#205: [1, 5, 12, 9, 7, 15, 8, 3, 6, 14, 13, 11, 0, 4, 10, 2]
╷┌─┐
├┼╴│
└┴┬┤
 ╶┘╵

#206: [1, 5, 12, 9, 7, 15, 13, 10, 3, 6, 11, 0, 2, 4, 14, 8]
╷┌─┐
├┼┬┘
│└┤
╵╶┴╴

#207: [1, 5, 12, 9, 7, 15, 13, 11, 2, 3, 6, 10, 4, 14, 8, 0]
╷┌─┐
├┼┬┤
╵│└┘
╶┴╴

#208: [1, 5, 12, 9, 7, 15, 13, 11, 3, 6, 14, 10, 2, 0, 4, 8]
╷┌─┐
├┼┬┤
│└┴┘
╵ ╶╴

#209: [1, 5, 12, 9, 7, 15, 13, 11, 3, 6, 14, 10, 2, 4, 8, 0]
╷┌─┐
├┼┬┤
│└┴┘
╵╶╴

#210: [1, 5, 12, 9, 7, 15, 13, 11, 6, 10, 3, 2, 0, 4, 14, 8]
╷┌─┐
├┼┬┤
└┘│╵
 ╶┴╴

#211: [1, 5, 12, 9, 7, 15, 13, 11, 6, 14, 10, 3, 0, 4, 8, 2]
╷┌─┐
├┼┬┤
└┴┘│
 ╶╴╵

#212: [1, 5, 12, 9, 7, 15, 13, 11, 6, 14, 10, 3, 4, 8, 0, 2]
╷┌─┐
├┼┬┤
└┴┘│
╶╴ ╵

#213: [1, 5, 13, 8, 2, 3, 7, 9, 0, 6, 15, 11, 4, 12, 14, 10]
╷┌┬╴
╵│├┐
 └┼┤
╶─┴┘

#214: [1, 5, 13, 8, 2, 3, 7, 9, 4, 15, 14, 11, 0, 6, 12, 10]
╷┌┬╴
╵│├┐
╶┼┴┤
 └─┘

#215: [1, 5, 13, 8, 2, 7, 15, 9, 0, 3, 6, 11, 4, 14, 12, 10]
╷┌┬╴
╵├┼┐
 │└┤
╶┴─┘

#216: [1, 5, 13, 8, 2, 7, 15, 9, 0, 6, 11, 3, 4, 12, 14, 10]
╷┌┬╴
╵├┼┐
 └┤│
╶─┴┘

#217: [1, 5, 13, 8, 3, 2, 7, 9, 6, 12, 15, 11, 0, 4, 14, 10]
╷┌┬╴
│╵├┐
└─┼┤
 ╶┴┘

#218: [1, 5, 13, 8, 3, 6, 11, 0, 7, 12, 15, 9, 2, 4, 14, 10]
╷┌┬╴
│└┤
├─┼┐
╵╶┴┘

#219: [1, 5, 13, 8, 3, 6, 15, 9, 2, 0, 7, 11, 4, 12, 14, 10]
╷┌┬╴
│└┼┐
╵ ├┤
╶─┴┘

#220: [1, 5, 13, 8, 3, 6, 15, 9, 7, 12, 14, 11, 2, 0, 4, 10]
╷┌┬╴
│└┼┐
├─┴┤
╵ ╶┘

#221: [1, 5, 13, 8, 3, 7, 11, 0, 2, 6, 15, 9, 4, 12, 14, 10]
╷┌┬╴
│├┤
╵└┼┐
╶─┴┘

#222: [1, 5, 13, 8, 3, 7, 11, 0, 6, 14, 15, 9, 4, 12, 10, 2]
╷┌┬╴
│├┤
└┴┼┐
╶─┘╵

#223: [1, 5, 13, 8, 3, 7, 14, 9, 6, 15, 12, 11, 0, 2, 4, 10]
╷┌┬╴
│├┴┐
└┼─┤
 ╵╶┘

#224: [1, 5, 13, 8, 3, 7, 14, 9, 6, 15, 12, 11, 4, 10, 0, 2]
╷┌┬╴
│├┴┐
└┼─┤
╶┘ ╵

#225: [1, 5, 13, 8, 3, 7, 15, 9, 2, 6, 14, 11, 0, 4, 12, 10]
╷┌┬╴
│├┼┐
╵└┴┤
 ╶─┘

#226: [1, 5, 13, 8, 3, 7, 15, 9, 6, 14, 11, 2, 4, 12, 10, 0]
╷┌┬╴
│├┼┐
└┴┤╵
╶─┘

#227: [1, 5, 13, 8, 7, 11, 3, 0, 2, 6, 15, 9, 4, 12, 14, 10]
╷┌┬╴
├┤│
╵└┼┐
╶─┴┘

#228: [1, 5, 13, 8, 7, 11, 3, 0, 6, 14, 15, 9, 4, 12, 10, 2]
╷┌┬╴
├┤│
└┴┼┐
╶─┘╵

#229: [1, 5, 13, 8, 7, 14, 11, 0, 3, 4, 15, 9, 6, 12, 10, 2]
╷┌┬╴
├┴┤
│╶┼┐
└─┘╵

#230: [1, 5, 13, 8, 7, 14, 15, 9, 3, 0, 6, 11, 2, 4, 12, 10]
╷┌┬╴
├┴┼┐
│ └┤
╵╶─┘

#231: [1, 5, 13, 8, 7, 14, 15, 9, 3, 4, 11, 2, 6, 12, 10, 0]
╷┌┬╴
├┴┼┐
│╶┤╵
└─┘

#232: [1, 5, 13, 8, 7, 14, 15, 9, 6, 12, 11, 3, 0, 4, 10, 2]
╷┌┬╴
├┴┼┐
└─┤│
 ╶┘╵

#233: [1, 5, 13, 8, 7, 15, 11, 0, 2, 3, 6, 9, 4, 14, 12, 10]
╷┌┬╴
├┼┤
╵│└┐
╶┴─┘

#234: [1, 5, 13, 8, 7, 15, 11, 0, 3, 6, 14, 9, 2, 4, 12, 10]
╷┌┬╴
├┼┤
│└┴┐
╵╶─┘

#235: [1, 5, 13, 8, 7, 15, 14, 9, 2, 3, 4, 11, 0, 6, 12, 10]
╷┌┬╴
├┼┴┐
╵│╶┤
 └─┘

#236: [1, 5, 13, 8, 7, 15, 14, 9, 3, 6, 12, 11, 2, 0, 4, 10]
╷┌┬╴
├┼┴┐
│└─┤
╵ ╶┘

#237: [1, 5, 13, 9, 2, 3, 7, 11, 0, 6, 15, 10, 4, 12, 14, 8]
╷┌┬┐
╵│├┤
 └┼┘
╶─┴╴

#238: [1, 5, 13, 9, 2, 3, 7, 11, 4, 15, 14, 10, 0, 6, 12, 8]
╷┌┬┐
╵│├┤
╶┼┴┘
 └─╴

#239: [1, 5, 13, 9, 2, 7, 11, 3, 0, 6, 15, 10, 4, 12, 14, 8]
╷┌┬┐
╵├┤│
 └┼┘
╶─┴╴

#240: [1, 5, 13, 9, 2, 7, 11, 3, 4, 15, 14, 10, 0, 6, 12, 8]
╷┌┬┐
╵├┤│
╶┼┴┘
 └─╴

#241: [1, 5, 13, 9, 2, 7, 14, 11, 4, 15, 8, 3, 0, 6, 12, 10]
╷┌┬┐
╵├┴┤
╶┼╴│
 └─┘

#242: [1, 5, 13, 9, 2, 7, 15, 11, 0, 3, 6, 10, 4, 14, 12, 8]
╷┌┬┐
╵├┼┤
 │└┘
╶┴─╴

#243: [1, 5, 13, 9, 3, 2, 7, 11, 6, 12, 15, 10, 0, 4, 14, 8]
╷┌┬┐
│╵├┤
└─┼┘
 ╶┴╴

#244: [1, 5, 13, 9, 3, 6, 15, 10, 7, 12, 11, 0, 2, 4, 14, 8]
╷┌┬┐
│└┼┘
├─┤
╵╶┴╴

#245: [1, 5, 13, 9, 3, 6, 15, 11, 2, 0, 7, 10, 4, 12, 14, 8]
╷┌┬┐
│└┼┤
╵ ├┘
╶─┴╴

#246: [1, 5, 13, 9, 3, 6, 15, 11, 7, 12, 14, 10, 2, 0, 4, 8]
╷┌┬┐
│└┼┤
├─┴┘
╵ ╶╴

#247: [1, 5, 13, 9, 3, 6, 15, 11, 7, 12, 14, 10, 2, 4, 8, 0]
╷┌┬┐
│└┼┤
├─┴┘
╵╶╴

#248: [1, 5, 13, 9, 3, 7, 11, 2, 6, 14, 15, 8, 4, 12, 10, 0]
╷┌┬┐
│├┤╵
└┴┼╴
╶─┘

#249: [1, 5, 13, 9, 3, 7, 11, 2, 6, 15, 10, 0, 4, 14, 12, 8]
╷┌┬┐
│├┤╵
└┼┘
╶┴─╴

#250: [1, 5, 13, 9, 3, 7, 14, 11, 6, 15, 12, 10, 0, 2, 4, 8]
╷┌┬┐
│├┴┤
└┼─┘
 ╵╶╴

#251: [1, 5, 13, 9, 3, 7, 15, 10, 2, 6, 11, 0, 4, 12, 14, 8]
╷┌┬┐
│├┼┘
╵└┤
╶─┴╴

#252: [1, 5, 13, 9, 3, 7, 15, 10, 6, 11, 2, 0, 4, 14, 12, 8]
╷┌┬┐
│├┼┘
└┤╵
╶┴─╴

#253: [1, 5, 13, 9, 3, 7, 15, 11, 2, 6, 14, 10, 0, 4, 12, 8]
╷┌┬┐
│├┼┤
╵└┴┘
 ╶─╴

#254: [1, 5, 13, 9, 3, 7, 15, 11, 2, 6, 14, 10, 4, 12, 8, 0]
╷┌┬┐
│├┼┤
╵└┴┘
╶─╴

#255: [1, 5, 13, 9, 3, 7, 15, 11, 6, 14, 10, 2, 0, 4, 12, 8]
╷┌┬┐
│├┼┤
└┴┘╵
 ╶─╴

#256: [1, 5, 13, 9, 3, 7, 15, 11, 6, 14, 10, 2, 4, 12, 8, 0]
╷┌┬┐
│├┼┤
└┴┘╵
╶─╴

#257: [1, 5, 13, 9, 6, 15, 10, 3, 0, 7, 12, 11, 4, 14, 8, 2]
╷┌┬┐
└┼┘│
 ├─┤
╶┴╴╵

#258: [1, 5, 13, 9, 6, 15, 11, 3, 0, 2, 7, 10, 4, 12, 14, 8]
╷┌┬┐
└┼┤│
 ╵├┘
╶─┴╴

#259: [1, 5, 13, 9, 6, 15, 11, 3, 0, 7, 10, 2, 4, 14, 12, 8]
╷┌┬┐
└┼┤│
 ├┘╵
╶┴─╴

#260: [1, 5, 13, 9, 7, 11, 2, 3, 6, 15, 12, 10, 4, 14, 8, 0]
╷┌┬┐
├┤╵│
└┼─┘
╶┴╴

#261: [1, 5, 13, 9, 7, 11, 3, 2, 6, 14, 15, 8, 4, 12, 10, 0]
╷┌┬┐
├┤│╵
└┴┼╴
╶─┘

#262: [1, 5, 13, 9, 7, 11, 3, 2, 6, 15, 10, 0, 4, 14, 12, 8]
╷┌┬┐
├┤│╵
└┼┘
╶┴─╴

#263: [1, 5, 13, 9, 7, 14, 11, 2, 3, 4, 15, 8, 6, 12, 10, 0]
╷┌┬┐
├┴┤╵
│╶┼╴
└─┘

#264: [1, 5, 13, 9, 7, 14, 11, 3, 6, 12, 15, 10, 4, 8, 2, 0]
╷┌┬┐
├┴┤│
└─┼┘
╶╴╵

#265: [1, 5, 13, 9, 7, 14, 15, 11, 3, 0, 6, 10, 2, 4, 12, 8]
╷┌┬┐
├┴┼┤
│ └┘
╵╶─╴

#266: [1, 5, 13, 9, 7, 14, 15, 11, 3, 4, 10, 2, 6, 12, 8, 0]
╷┌┬┐
├┴┼┤
│╶┘╵
└─╴

#267: [1, 5, 13, 9, 7, 14, 15, 11, 6, 8, 2, 3, 0, 4, 12, 10]
╷┌┬┐
├┴┼┤
└╴╵│
 ╶─┘

#268: [1, 5, 13, 9, 7, 14, 15, 11, 6, 8, 3, 2, 4, 12, 10, 0]
╷┌┬┐
├┴┼┤
└╴│╵
╶─┘

#269: [1, 5, 13, 9, 7, 14, 15, 11, 6, 12, 10, 3, 0, 4, 8, 2]
╷┌┬┐
├┴┼┤
└─┘│
 ╶╴╵

#270: [1, 5, 13, 9, 7, 14, 15, 11, 6, 12, 10, 3, 4, 8, 0, 2]
╷┌┬┐
├┴┼┤
└─┘│
╶╴ ╵

#271: [1, 5, 13, 9, 7, 15, 10, 3, 6, 11, 0, 2, 4, 14, 12, 8]
╷┌┬┐
├┼┘│
└┤ ╵
╶┴─╴

#272: [1, 5, 13, 9, 7, 15, 10, 3, 6, 14, 12, 11, 0, 4, 8, 2]
╷┌┬┐
├┼┘│
└┴─┤
 ╶╴╵

#273: [1, 5, 13, 9, 7, 15, 10, 3, 6, 14, 12, 11, 4, 8, 0, 2]
╷┌┬┐
├┼┘│
└┴─┤
╶╴ ╵

#274: [1, 5, 13, 9, 7, 15, 11, 2, 6, 10, 3, 0, 4, 12, 14, 8]
╷┌┬┐
├┼┤╵
└┘│
╶─┴╴

#275: [1, 5, 13, 9, 7, 15, 11, 3, 2, 6, 14, 10, 0, 4, 12, 8]
╷┌┬┐
├┼┤│
╵└┴┘
 ╶─╴

#276: [1, 5, 13, 9, 7, 15, 11, 3, 2, 6, 14, 10, 4, 12, 8, 0]
╷┌┬┐
├┼┤│
╵└┴┘
╶─╴

#277: [1, 5, 13, 9, 7, 15, 11, 3, 6, 14, 10, 2, 0, 4, 12, 8]
╷┌┬┐
├┼┤│
└┴┘╵
 ╶─╴

#278: [1, 5, 13, 9, 7, 15, 11, 3, 6, 14, 10, 2, 4, 12, 8, 0]
╷┌┬┐
├┼┤│
└┴┘╵
╶─╴

#279: [1, 5, 13, 9, 7, 15, 14, 11, 2, 3, 4, 10, 0, 6, 12, 8]
╷┌┬┐
├┼┴┤
╵│╶┘
 └─╴

#280: [1, 5, 13, 9, 7, 15, 14, 11, 2, 6, 8, 3, 0, 4, 12, 10]
╷┌┬┐
├┼┴┤
╵└╴│
 ╶─┘

#281: [1, 5, 13, 9, 7, 15, 14, 11, 3, 2, 4, 10, 6, 12, 8, 0]
╷┌┬┐
├┼┴┤
│╵╶┘
└─╴

#282: [1, 5, 13, 9, 7, 15, 14, 11, 3, 6, 12, 10, 2, 0, 4, 8]
╷┌┬┐
├┼┴┤
│└─┘
╵ ╶╴

#283: [1, 5, 13, 9, 7, 15, 14, 11, 3, 6, 12, 10, 2, 4, 8, 0]
╷┌┬┐
├┼┴┤
│└─┘
╵╶╴

#284: [1, 5, 13, 9, 7, 15, 14, 11, 6, 10, 0, 3, 4, 12, 8, 2]
╷┌┬┐
├┼┴┤
└┘ │
╶─╴╵

#285: [4, 8, 0, 1, 5, 12, 9, 3, 7, 13, 15, 11, 2, 6, 14, 10]
╶╴ ╷
┌─┐│
├┬┼┤
╵└┴┘

#286: [4, 8, 0, 1, 5, 12, 9, 3, 7, 13, 15, 11, 6, 14, 10, 2]
╶╴ ╷
┌─┐│
├┬┼┤
└┴┘╵

#287: [4, 8, 0, 1, 5, 13, 9, 3, 7, 14, 15, 11, 6, 12, 10, 2]
╶╴ ╷
┌┬┐│
├┴┼┤
└─┘╵

#288: [4, 8, 0, 1, 5, 13, 9, 3, 7, 15, 14, 11, 2, 6, 12, 10]
╶╴ ╷
┌┬┐│
├┼┴┤
╵└─┘

#289: [4, 8, 0, 1, 5, 13, 12, 11, 7, 15, 9, 3, 2, 6, 14, 10]
╶╴ ╷
┌┬─┤
├┼┐│
╵└┴┘

#290: [4, 8, 0, 1, 5, 13, 12, 11, 7, 15, 9, 3, 6, 14, 10, 2]
╶╴ ╷
┌┬─┤
├┼┐│
└┴┘╵

#291: [4, 8, 1, 0, 5, 12, 15, 9, 7, 13, 11, 3, 2, 6, 14, 10]
╶╴╷
┌─┼┐
├┬┤│
╵└┴┘

#292: [4, 8, 1, 0, 5, 12, 15, 9, 7, 13, 11, 3, 6, 14, 10, 2]
╶╴╷
┌─┼┐
├┬┤│
└┴┘╵

#293: [4, 8, 1, 0, 5, 13, 15, 9, 3, 2, 7, 11, 6, 12, 14, 10]
╶╴╷
┌┬┼┐
│╵├┤
└─┴┘

#294: [4, 8, 1, 0, 5, 13, 15, 9, 3, 7, 14, 11, 2, 6, 12, 10]
╶╴╷
┌┬┼┐
│├┴┤
╵└─┘

#295: [4, 8, 1, 0, 5, 13, 15, 9, 7, 11, 2, 3, 6, 14, 12, 10]
╶╴╷
┌┬┼┐
├┤╵│
└┴─┘

#296: [4, 8, 1, 0, 5, 13, 15, 9, 7, 14, 11, 3, 6, 12, 10, 2]
╶╴╷
┌┬┼┐
├┴┤│
└─┘╵

#297: [4, 9, 0, 1, 5, 15, 8, 3, 7, 14, 13, 11, 6, 12, 10, 2]
╶┐ ╷
┌┼╴│
├┴┬┤
└─┘╵

#298: [4, 9, 0, 1, 5, 15, 12, 11, 3, 7, 13, 10, 2, 6, 14, 8]
╶┐ ╷
┌┼─┤
│├┬┘
╵└┴╴

#299: [4, 9, 0, 1, 5, 15, 13, 11, 3, 2, 7, 10, 6, 12, 14, 8]
╶┐ ╷
┌┼┬┤
│╵├┘
└─┴╴

#300: [4, 9, 0, 1, 5, 15, 13, 11, 3, 7, 10, 2, 6, 14, 12, 8]
╶┐ ╷
┌┼┬┤
│├┘╵
└┴─╴

#301: [4, 9, 0, 1, 5, 15, 13, 11, 3, 7, 14, 10, 2, 6, 12, 8]
╶┐ ╷
┌┼┬┤
│├┴┘
╵└─╴

#302: [4, 9, 0, 1, 5, 15, 13, 11, 7, 10, 3, 2, 6, 12, 14, 8]
╶┐ ╷
┌┼┬┤
├┘│╵
└─┴╴

#303: [4, 9, 0, 1, 5, 15, 13, 11, 7, 14, 10, 3, 6, 12, 8, 2]
╶┐ ╷
┌┼┬┤
├┴┘│
└─╴╵

#304: [4, 12, 8, 0, 1, 5, 13, 9, 3, 7, 15, 11, 2, 6, 14, 10]
╶─╴
╷┌┬┐
│├┼┤
╵└┴┘

#305: [4, 12, 8, 0, 1, 5, 13, 9, 3, 7, 15, 11, 6, 14, 10, 2]
╶─╴
╷┌┬┐
│├┼┤
└┴┘╵

#306: [4, 12, 8, 0, 1, 5, 13, 9, 7, 15, 11, 3, 2, 6, 14, 10]
╶─╴
╷┌┬┐
├┼┤│
╵└┴┘

#307: [4, 12, 8, 0, 1, 5, 13, 9, 7, 15, 11, 3, 6, 14, 10, 2]
╶─╴
╷┌┬┐
├┼┤│
└┴┘╵

#308: [4, 12, 8, 0, 5, 13, 9, 1, 3, 7, 15, 11, 2, 6, 14, 10]
╶─╴
┌┬┐╷
│├┼┤
╵└┴┘

#309: [4, 12, 8, 0, 5, 13, 9, 1, 3, 7, 15, 11, 6, 14, 10, 2]
╶─╴
┌┬┐╷
│├┼┤
└┴┘╵

#310: [4, 12, 8, 0, 5, 13, 9, 1, 7, 15, 11, 3, 2, 6, 14, 10]
╶─╴
┌┬┐╷
├┼┤│
╵└┴┘

#311: [4, 12, 8, 0, 5, 13, 9, 1, 7, 15, 11, 3, 6, 14, 10, 2]
╶─╴
┌┬┐╷
├┼┤│
└┴┘╵

#312: [4, 12, 8, 1, 5, 9, 0, 3, 7, 15, 13, 11, 2, 6, 14, 10]
╶─╴╷
┌┐ │
├┼┬┤
╵└┴┘

#313: [4, 12, 8, 1, 5, 9, 0, 3, 7, 15, 13, 11, 6, 14, 10, 2]
╶─╴╷
┌┐ │
├┼┬┤
└┴┘╵

#314: [4, 12, 8, 1, 5, 13, 9, 3, 2, 7, 15, 11, 0, 6, 14, 10]
╶─╴╷
┌┬┐│
╵├┼┤
 └┴┘

#315: [4, 12, 8, 1, 5, 13, 9, 3, 7, 14, 15, 11, 2, 0, 6, 10]
╶─╴╷
┌┬┐│
├┴┼┤
╵ └┘

#316: [4, 12, 8, 1, 5, 13, 9, 3, 7, 15, 11, 2, 6, 14, 10, 0]
╶─╴╷
┌┬┐│
├┼┤╵
└┴┘

#317: [4, 12, 8, 1, 5, 13, 9, 3, 7, 15, 14, 11, 6, 10, 0, 2]
╶─╴╷
┌┬┐│
├┼┴┤
└┘ ╵

#318: [4, 12, 9, 0, 5, 8, 3, 1, 7, 13, 15, 11, 2, 6, 14, 10]
╶─┐
┌╴│╷
├┬┼┤
╵└┴┘

#319: [4, 12, 9, 0, 5, 8, 3, 1, 7, 13, 15, 11, 6, 14, 10, 2]
╶─┐
┌╴│╷
├┬┼┤
└┴┘╵

#320: [4, 12, 9, 0, 5, 13, 11, 1, 3, 7, 15, 10, 2, 6, 14, 8]
╶─┐
┌┬┤╷
│├┼┘
╵└┴╴

#321: [4, 12, 9, 0, 5, 13, 11, 1, 7, 15, 10, 3, 6, 14, 8, 2]
╶─┐
┌┬┤╷
├┼┘│
└┴╴╵

#322: [4, 12, 9, 0, 5, 13, 15, 8, 3, 7, 11, 1, 2, 6, 14, 10]
╶─┐
┌┬┼╴
│├┤╷
╵└┴┘

#323: [4, 12, 9, 0, 5, 13, 15, 8, 3, 7, 11, 1, 6, 14, 10, 2]
╶─┐
┌┬┼╴
│├┤╷
└┴┘╵

#324: [4, 12, 9, 0, 5, 13, 15, 8, 7, 11, 3, 1, 2, 6, 14, 10]
╶─┐
┌┬┼╴
├┤│╷
╵└┴┘

#325: [4, 12, 9, 0, 5, 13, 15, 8, 7, 11, 3, 1, 6, 14, 10, 2]
╶─┐
┌┬┼╴
├┤│╷
└┴┘╵

#326: [4, 12, 9, 1, 5, 13, 11, 2, 3, 7, 15, 8, 6, 14, 10, 0]
╶─┐╷
┌┬┤╵
│├┼╴
└┴┘

#327: [4, 12, 9, 1, 5, 13, 11, 3, 2, 7, 15, 10, 0, 6, 14, 8]
╶─┐╷
┌┬┤│
╵├┼┘
 └┴╴

#328: [4, 12, 9, 1, 5, 13, 11, 3, 7, 14, 15, 10, 2, 0, 6, 8]
╶─┐╷
┌┬┤│
├┴┼┘
╵ └╴

#329: [4, 12, 9, 1, 5, 13, 11, 3, 7, 14, 15, 10, 6, 8, 2, 0]
╶─┐╷
┌┬┤│
├┴┼┘
└╴╵

#330: [4, 12, 9, 1, 5, 13, 11, 3, 7, 15, 10, 2, 6, 14, 8, 0]
╶─┐╷
┌┬┤│
├┼┘╵
└┴╴

#331: [4, 12, 9, 1, 5, 13, 11, 3, 7, 15, 14, 10, 2, 6, 8, 0]
╶─┐╷
┌┬┤│
├┼┴┘
╵└╴

#332: [4, 12, 9, 1, 5, 13, 14, 11, 7, 15, 8, 3, 6, 10, 0, 2]
╶─┐╷
┌┬┴┤
├┼╴│
└┘ ╵

#333: [4, 12, 9, 1, 5, 13, 15, 10, 3, 7, 11, 0, 2, 6, 14, 8]
╶─┐╷
┌┬┼┘
│├┤
╵└┴╴

#334: [4, 12, 9, 1, 5, 13, 15, 10, 7, 11, 3, 0, 2, 6, 14, 8]
╶─┐╷
┌┬┼┘
├┤│
╵└┴╴

#335: [4, 12, 9, 1, 5, 13, 15, 11, 2, 3, 7, 10, 0, 6, 14, 8]
╶─┐╷
┌┬┼┤
╵│├┘
 └┴╴

#336: [4, 12, 9, 1, 5, 13, 15, 11, 3, 7, 10, 2, 6, 14, 8, 0]
╶─┐╷
┌┬┼┤
│├┘╵
└┴╴

#337: [4, 12, 9, 1, 5, 13, 15, 11, 3, 7, 14, 10, 2, 6, 8, 0]
╶─┐╷
┌┬┼┤
│├┴┘
╵└╴

#338: [4, 12, 9, 1, 5, 13, 15, 11, 7, 14, 10, 3, 6, 8, 0, 2]
╶─┐╷
┌┬┼┤
├┴┘│
└╴ ╵

#339: [4, 12, 13, 8, 0, 1, 7, 9, 5, 15, 11, 3, 2, 6, 14, 10]
╶─┬╴
 ╷├┐
┌┼┤│
╵└┴┘

#340: [4, 12, 13, 8, 0, 1, 7, 9, 5, 15, 11, 3, 6, 14, 10, 2]
╶─┬╴
 ╷├┐
┌┼┤│
└┴┘╵

#341: [4, 12, 13, 8, 0, 5, 15, 9, 1, 3, 7, 11, 2, 6, 14, 10]
╶─┬╴
 ┌┼┐
╷│├┤
╵└┴┘

#342: [4, 12, 13, 8, 0, 5, 15, 9, 1, 3, 7, 11, 6, 14, 10, 2]
╶─┬╴
 ┌┼┐
╷│├┤
└┴┘╵

#343: [4, 12, 13, 8, 0, 5, 15, 9, 1, 7, 11, 3, 2, 6, 14, 10]
╶─┬╴
 ┌┼┐
╷├┤│
╵└┴┘

#344: [4, 12, 13, 8, 0, 5, 15, 9, 1, 7, 11, 3, 6, 14, 10, 2]
╶─┬╴
 ┌┼┐
╷├┤│
└┴┘╵

#345: [4, 12, 13, 8, 1, 0, 7, 9, 3, 5, 15, 11, 2, 6, 14, 10]
╶─┬╴
╷ ├┐
│┌┼┤
╵└┴┘

#346: [4, 12, 13, 8, 1, 0, 7, 9, 3, 5, 15, 11, 6, 14, 10, 2]
╶─┬╴
╷ ├┐
│┌┼┤
└┴┘╵

#347: [4, 12, 13, 8, 1, 5, 11, 0, 3, 7, 15, 9, 2, 6, 14, 10]
╶─┬╴
╷┌┤
│├┼┐
╵└┴┘

#348: [4, 12, 13, 8, 1, 5, 11, 0, 3, 7, 15, 9, 6, 14, 10, 2]
╶─┬╴
╷┌┤
│├┼┐
└┴┘╵

#349: [4, 12, 13, 8, 1, 5, 15, 9, 2, 3, 7, 11, 0, 6, 14, 10]
╶─┬╴
╷┌┼┐
╵│├┤
 └┴┘

#350: [4, 12, 13, 8, 1, 5, 15, 9, 2, 7, 11, 3, 0, 6, 14, 10]
╶─┬╴
╷┌┼┐
╵├┤│
 └┴┘

#351: [4, 12, 13, 8, 1, 5, 15, 9, 3, 7, 11, 2, 6, 14, 10, 0]
╶─┬╴
╷┌┼┐
│├┤╵
└┴┘

#352: [4, 12, 13, 8, 1, 5, 15, 9, 3, 7, 14, 11, 6, 10, 0, 2]
╶─┬╴
╷┌┼┐
│├┴┤
└┘ ╵

#353: [4, 12, 13, 8, 1, 5, 15, 9, 7, 11, 3, 2, 6, 14, 10, 0]
╶─┬╴
╷┌┼┐
├┤│╵
└┴┘

#354: [4, 12, 13, 8, 1, 5, 15, 9, 7, 14, 11, 3, 2, 0, 6, 10]
╶─┬╴
╷┌┼┐
├┴┤│
╵ └┘

#355: [4, 12, 13, 8, 5, 9, 3, 0, 7, 15, 11, 1, 2, 6, 14, 10]
╶─┬╴
┌┐│
├┼┤╷
╵└┴┘

#356: [4, 12, 13, 8, 5, 9, 3, 0, 7, 15, 11, 1, 6, 14, 10, 2]
╶─┬╴
┌┐│
├┼┤╷
└┴┘╵

#357: [4, 12, 13, 8, 5, 9, 3, 1, 2, 7, 15, 11, 0, 6, 14, 10]
╶─┬╴
┌┐│╷
╵├┼┤
 └┴┘

#358: [4, 12, 13, 8, 5, 9, 3, 1, 7, 14, 15, 11, 2, 0, 6, 10]
╶─┬╴
┌┐│╷
├┴┼┤
╵ └┘

#359: [4, 12, 13, 8, 5, 9, 3, 1, 7, 15, 11, 2, 6, 14, 10, 0]
╶─┬╴
┌┐│╷
├┼┤╵
└┴┘

#360: [4, 12, 13, 8, 5, 9, 3, 1, 7, 15, 14, 11, 6, 10, 0, 2]
╶─┬╴
┌┐│╷
├┼┴┤
└┘ ╵

#361: [4, 12, 13, 9, 0, 1, 7, 11, 5, 15, 10, 3, 6, 14, 8, 2]
╶─┬┐
 ╷├┤
┌┼┘│
└┴╴╵

#362: [4, 12, 13, 9, 0, 5, 11, 3, 1, 7, 15, 10, 2, 6, 14, 8]
╶─┬┐
 ┌┤│
╷├┼┘
╵└┴╴

#363: [4, 12, 13, 9, 0, 5, 15, 11, 1, 3, 7, 10, 2, 6, 14, 8]
╶─┬┐
 ┌┼┤
╷│├┘
╵└┴╴

#364: [4, 12, 13, 9, 0, 5, 15, 11, 1, 7, 10, 3, 6, 14, 8, 2]
╶─┬┐
 ┌┼┤
╷├┘│
└┴╴╵

#365: [4, 12, 13, 9, 1, 0, 7, 11, 3, 5, 15, 10, 2, 6, 14, 8]
╶─┬┐
╷ ├┤
│┌┼┘
╵└┴╴

#366: [4, 12, 13, 9, 1, 5, 11, 2, 3, 7, 15, 8, 6, 14, 10, 0]
╶─┬┐
╷┌┤╵
│├┼╴
└┴┘

#367: [4, 12, 13, 9, 1, 5, 11, 3, 2, 7, 15, 10, 0, 6, 14, 8]
╶─┬┐
╷┌┤│
╵├┼┘
 └┴╴

#368: [4, 12, 13, 9, 1, 5, 11, 3, 7, 14, 15, 10, 2, 0, 6, 8]
╶─┬┐
╷┌┤│
├┴┼┘
╵ └╴

#369: [4, 12, 13, 9, 1, 5, 11, 3, 7, 14, 15, 10, 6, 8, 2, 0]
╶─┬┐
╷┌┤│
├┴┼┘
└╴╵

#370: [4, 12, 13, 9, 1, 5, 11, 3, 7, 15, 10, 2, 6, 14, 8, 0]
╶─┬┐
╷┌┤│
├┼┘╵
└┴╴

#371: [4, 12, 13, 9, 1, 5, 11, 3, 7, 15, 14, 10, 2, 6, 8, 0]
╶─┬┐
╷┌┤│
├┼┴┘
╵└╴

#372: [4, 12, 13, 9, 1, 5, 14, 11, 7, 15, 8, 3, 6, 10, 0, 2]
╶─┬┐
╷┌┴┤
├┼╴│
└┘ ╵

#373: [4, 12, 13, 9, 1, 5, 15, 10, 3, 7, 11, 0, 2, 6, 14, 8]
╶─┬┐
╷┌┼┘
│├┤
╵└┴╴

#374: [4, 12, 13, 9, 1, 5, 15, 10, 7, 11, 3, 0, 2, 6, 14, 8]
╶─┬┐
╷┌┼┘
├┤│
╵└┴╴

#375: [4, 12, 13, 9, 1, 5, 15, 11, 2, 3, 7, 10, 0, 6, 14, 8]
╶─┬┐
╷┌┼┤
╵│├┘
 └┴╴

#376: [4, 12, 13, 9, 1, 5, 15, 11, 3, 7, 10, 2, 6, 14, 8, 0]
╶─┬┐
╷┌┼┤
│├┘╵
└┴╴

#377: [4, 12, 13, 9, 1, 5, 15, 11, 3, 7, 14, 10, 2, 6, 8, 0]
╶─┬┐
╷┌┼┤
│├┴┘
╵└╴

#378: [4, 12, 13, 9, 1, 5, 15, 11, 7, 14, 10, 3, 6, 8, 0, 2]
╶─┬┐
╷┌┼┤
├┴┘│
└╴ ╵

#379: [4, 13, 8, 0, 1, 3, 5, 9, 7, 14, 15, 11, 6, 12, 10, 2]
╶┬╴
╷│┌┐
├┴┼┤
└─┘╵

#380: [4, 13, 8, 0, 1, 3, 5, 9, 7, 15, 14, 11, 2, 6, 12, 10]
╶┬╴
╷│┌┐
├┼┴┤
╵└─┘

#381: [4, 13, 8, 0, 5, 15, 9, 1, 3, 2, 7, 11, 6, 12, 14, 10]
╶┬╴
┌┼┐╷
│╵├┤
└─┴┘

#382: [4, 13, 8, 0, 5, 15, 9, 1, 3, 7, 14, 11, 2, 6, 12, 10]
╶┬╴
┌┼┐╷
│├┴┤
╵└─┘

#383: [4, 13, 8, 0, 5, 15, 9, 1, 7, 11, 2, 3, 6, 14, 12, 10]
╶┬╴
┌┼┐╷
├┤╵│
└┴─┘

#384: [4, 13, 8, 0, 5, 15, 9, 1, 7, 14, 11, 3, 6, 12, 10, 2]
╶┬╴
┌┼┐╷
├┴┤│
└─┘╵

#385: [4, 13, 8, 0, 5, 15, 12, 9, 7, 11, 1, 3, 2, 6, 14, 10]
╶┬╴
┌┼─┐
├┤╷│
╵└┴┘

#386: [4, 13, 8, 0, 5, 15, 12, 9, 7, 11, 1, 3, 6, 14, 10, 2]
╶┬╴
┌┼─┐
├┤╷│
└┴┘╵

#387: [4, 13, 8, 1, 0, 7, 9, 3, 5, 14, 15, 11, 6, 12, 10, 2]
╶┬╴╷
 ├┐│
┌┴┼┤
└─┘╵

#388: [4, 13, 8, 1, 0, 7, 9, 3, 5, 15, 14, 11, 2, 6, 12, 10]
╶┬╴╷
 ├┐│
┌┼┴┤
╵└─┘

#389: [4, 13, 8, 1, 0, 7, 12, 11, 5, 15, 9, 3, 2, 6, 14, 10]
╶┬╴╷
 ├─┤
┌┼┐│
╵└┴┘

#390: [4, 13, 8, 1, 0, 7, 12, 11, 5, 15, 9, 3, 6, 14, 10, 2]
╶┬╴╷
 ├─┤
┌┼┐│
└┴┘╵

#391: [4, 13, 8, 1, 5, 14, 9, 3, 7, 12, 15, 11, 2, 0, 6, 10]
╶┬╴╷
┌┴┐│
├─┼┤
╵ └┘

#392: [4, 13, 8, 1, 5, 15, 9, 3, 2, 7, 14, 11, 0, 6, 12, 10]
╶┬╴╷
┌┼┐│
╵├┴┤
 └─┘

#393: [4, 13, 8, 1, 5, 15, 9, 3, 7, 14, 11, 2, 6, 12, 10, 0]
╶┬╴╷
┌┼┐│
├┴┤╵
└─┘

#394: [4, 13, 8, 1, 5, 15, 12, 11, 2, 7, 9, 3, 0, 6, 14, 10]
╶┬╴╷
┌┼─┤
╵├┐│
 └┴┘

#395: [4, 13, 8, 1, 5, 15, 12, 11, 3, 7, 9, 2, 6, 14, 10, 0]
╶┬╴╷
┌┼─┤
│├┐╵
└┴┘

#396: [4, 13, 8, 1, 5, 15, 12, 11, 7, 14, 9, 3, 2, 0, 6, 10]
╶┬╴╷
┌┼─┤
├┴┐│
╵ └┘

#397: [4, 13, 9, 0, 5, 11, 2, 1, 7, 15, 8, 3, 6, 14, 12, 10]
╶┬┐
┌┤╵╷
├┼╴│
└┴─┘

#398: [4, 13, 9, 0, 5, 11, 3, 1, 7, 15, 10, 2, 6, 14, 12, 8]
╶┬┐
┌┤│╷
├┼┘╵
└┴─╴

#399: [4, 13, 9, 0, 5, 11, 3, 1, 7, 15, 14, 10, 2, 6, 12, 8]
╶┬┐
┌┤│╷
├┼┴┘
╵└─╴

#400: [4, 13, 9, 0, 5, 15, 10, 1, 3, 7, 12, 11, 6, 14, 8, 2]
╶┬┐
┌┼┘╷
│├─┤
└┴╴╵

#401: [4, 13, 9, 0, 5, 15, 11, 1, 3, 2, 7, 10, 6, 12, 14, 8]
╶┬┐
┌┼┤╷
│╵├┘
└─┴╴

#402: [4, 13, 9, 0, 5, 15, 11, 1, 3, 7, 10, 2, 6, 14, 12, 8]
╶┬┐
┌┼┤╷
│├┘╵
└┴─╴

#403: [4, 13, 9, 0, 5, 15, 11, 1, 3, 7, 14, 10, 2, 6, 12, 8]
╶┬┐
┌┼┤╷
│├┴┘
╵└─╴

#404: [4, 13, 9, 0, 5, 15, 11, 1, 7, 10, 3, 2, 6, 12, 14, 8]
╶┬┐
┌┼┤╷
├┘│╵
└─┴╴

#405: [4, 13, 9, 0, 5, 15, 11, 1, 7, 14, 10, 3, 6, 12, 8, 2]
╶┬┐
┌┼┤╷
├┴┘│
└─╴╵

#406: [4, 13, 9, 1, 0, 3, 7, 11, 5, 15, 10, 2, 6, 14, 12, 8]
╶┬┐╷
 │├┤
┌┼┘╵
└┴─╴

#407: [4, 13, 9, 1, 0, 3, 7, 11, 5, 15, 14, 10, 2, 6, 12, 8]
╶┬┐╷
 │├┤
┌┼┴┘
╵└─╴

#408: [4, 13, 9, 1, 0, 7, 10, 3, 5, 15, 12, 11, 6, 14, 8, 2]
╶┬┐╷
 ├┘│
┌┼─┤
└┴╴╵

#409: [4, 13, 9, 1, 0, 7, 11, 3, 5, 15, 10, 2, 6, 14, 12, 8]
╶┬┐╷
 ├┤│
┌┼┘╵
└┴─╴

#410: [4, 13, 9, 1, 0, 7, 11, 3, 5, 15, 14, 10, 2, 6, 12, 8]
╶┬┐╷
 ├┤│
┌┼┴┘
╵└─╴

#411: [4, 13, 9, 1, 0, 7, 14, 11, 5, 15, 8, 3, 2, 6, 12, 10]
╶┬┐╷
 ├┴┤
┌┼╴│
╵└─┘

#412: [4, 13, 9, 1, 0, 7, 15, 11, 5, 10, 3, 2, 6, 12, 14, 8]
╶┬┐╷
 ├┼┤
┌┘│╵
└─┴╴

#413: [4, 13, 9, 1, 0, 7, 15, 11, 5, 14, 10, 3, 6, 12, 8, 2]
╶┬┐╷
 ├┼┤
┌┴┘│
└─╴╵

#414: [4, 13, 9, 1, 5, 11, 2, 3, 7, 15, 12, 10, 6, 14, 8, 0]
╶┬┐╷
┌┤╵│
├┼─┘
└┴╴

#415: [4, 13, 9, 1, 5, 11, 3, 2, 7, 14, 15, 8, 6, 12, 10, 0]
╶┬┐╷
┌┤│╵
├┴┼╴
└─┘

#416: [4, 13, 9, 1, 5, 11, 3, 2, 7, 15, 10, 0, 6, 14, 12, 8]
╶┬┐╷
┌┤│╵
├┼┘
└┴─╴

#417: [4, 13, 9, 1, 5, 14, 11, 3, 7, 12, 15, 10, 2, 0, 6, 8]
╶┬┐╷
┌┴┤│
├─┼┘
╵ └╴

#418: [4, 13, 9, 1, 5, 14, 11, 3, 7, 12, 15, 10, 6, 8, 2, 0]
╶┬┐╷
┌┴┤│
├─┼┘
└╴╵

#419: [4, 13, 9, 1, 5, 14, 15, 11, 7, 8, 3, 2, 6, 12, 10, 0]
╶┬┐╷
┌┴┼┤
├╴│╵
└─┘

#420: [4, 13, 9, 1, 5, 14, 15, 11, 7, 12, 10, 3, 6, 8, 0, 2]
╶┬┐╷
┌┴┼┤
├─┘│
└╴ ╵

#421: [4, 13, 9, 1, 5, 15, 10, 3, 7, 11, 0, 2, 6, 14, 12, 8]
╶┬┐╷
┌┼┘│
├┤ ╵
└┴─╴

#422: [4, 13, 9, 1, 5, 15, 10, 3, 7, 14, 12, 11, 6, 8, 0, 2]
╶┬┐╷
┌┼┘│
├┴─┤
└╴ ╵

#423: [4, 13, 9, 1, 5, 15, 11, 2, 3, 7, 10, 0, 6, 14, 12, 8]
╶┬┐╷
┌┼┤╵
│├┘
└┴─╴

#424: [4, 13, 9, 1, 5, 15, 11, 2, 7, 10, 3, 0, 6, 12, 14, 8]
╶┬┐╷
┌┼┤╵
├┘│
└─┴╴

#425: [4, 13, 9, 1, 5, 15, 11, 3, 2, 7, 14, 10, 0, 6, 12, 8]
╶┬┐╷
┌┼┤│
╵├┴┘
 └─╴

#426: [4, 13, 9, 1, 5, 15, 11, 3, 7, 14, 10, 2, 6, 12, 8, 0]
╶┬┐╷
┌┼┤│
├┴┘╵
└─╴

#427: [4, 13, 9, 1, 5, 15, 14, 11, 2, 7, 8, 3, 0, 6, 12, 10]
╶┬┐╷
┌┼┴┤
╵├╴│
 └─┘

#428: [4, 13, 9, 1, 5, 15, 14, 11, 3, 7, 12, 10, 2, 6, 8, 0]
╶┬┐╷
┌┼┴┤
│├─┘
╵└╴

#429: [4, 13, 9, 1, 5, 15, 14, 11, 7, 10, 0, 3, 6, 12, 8, 2]
╶┬┐╷
┌┼┴┤
├┘ │
└─╴╵

#430: [4, 13, 12, 8, 0, 3, 5, 9, 1, 7, 15, 11, 2, 6, 14, 10]
╶┬─╴
 │┌┐
╷├┼┤
╵└┴┘

#431: [4, 13, 12, 8, 0, 3, 5, 9, 1, 7, 15, 11, 6, 14, 10, 2]
╶┬─╴
 │┌┐
╷├┼┤
└┴┘╵

#432: [4, 13, 12, 8, 0, 7, 9, 1, 5, 15, 11, 3, 2, 6, 14, 10]
╶┬─╴
 ├┐╷
┌┼┤│
╵└┴┘

#433: [4, 13, 12, 8, 0, 7, 9, 1, 5, 15, 11, 3, 6, 14, 10, 2]
╶┬─╴
 ├┐╷
┌┼┤│
└┴┘╵

#434: [4, 13, 12, 8, 1, 3, 5, 9, 2, 7, 15, 11, 0, 6, 14, 10]
╶┬─╴
╷│┌┐
╵├┼┤
 └┴┘

#435: [4, 13, 12, 8, 1, 3, 5, 9, 7, 14, 15, 11, 2, 0, 6, 10]
╶┬─╴
╷│┌┐
├┴┼┤
╵ └┘

#436: [4, 13, 12, 8, 1, 3, 5, 9, 7, 15, 11, 2, 6, 14, 10, 0]
╶┬─╴
╷│┌┐
├┼┤╵
└┴┘

#437: [4, 13, 12, 8, 1, 3, 5, 9, 7, 15, 14, 11, 6, 10, 0, 2]
╶┬─╴
╷│┌┐
├┼┴┤
└┘ ╵

#438: [4, 13, 12, 8, 5, 11, 0, 1, 7, 15, 9, 3, 2, 6, 14, 10]
╶┬─╴
┌┤ ╷
├┼┐│
╵└┴┘

#439: [4, 13, 12, 8, 5, 11, 0, 1, 7, 15, 9, 3, 6, 14, 10, 2]
╶┬─╴
┌┤ ╷
├┼┐│
└┴┘╵

#440: [4, 13, 12, 8, 5, 11, 1, 0, 3, 7, 15, 9, 2, 6, 14, 10]
╶┬─╴
┌┤╷
│├┼┐
╵└┴┘

#441: [4, 13, 12, 8, 5, 11, 1, 0, 3, 7, 15, 9, 6, 14, 10, 2]
╶┬─╴
┌┤╷
│├┼┐
└┴┘╵

#442: [4, 13, 12, 8, 5, 15, 9, 0, 3, 7, 11, 1, 2, 6, 14, 10]
╶┬─╴
┌┼┐
│├┤╷
╵└┴┘

#443: [4, 13, 12, 8, 5, 15, 9, 0, 3, 7, 11, 1, 6, 14, 10, 2]
╶┬─╴
┌┼┐
│├┤╷
└┴┘╵

#444: [4, 13, 12, 8, 5, 15, 9, 0, 7, 11, 3, 1, 2, 6, 14, 10]
╶┬─╴
┌┼┐
├┤│╷
╵└┴┘

#445: [4, 13, 12, 8, 5, 15, 9, 0, 7, 11, 3, 1, 6, 14, 10, 2]
╶┬─╴
┌┼┐
├┤│╷
└┴┘╵

#446: [4, 13, 12, 8, 5, 15, 9, 1, 2, 3, 7, 11, 0, 6, 14, 10]
╶┬─╴
┌┼┐╷
╵│├┤
 └┴┘

#447: [4, 13, 12, 8, 5, 15, 9, 1, 2, 7, 11, 3, 0, 6, 14, 10]
╶┬─╴
┌┼┐╷
╵├┤│
 └┴┘

#448: [4, 13, 12, 8, 5, 15, 9, 1, 3, 7, 11, 2, 6, 14, 10, 0]
╶┬─╴
┌┼┐╷
│├┤╵
└┴┘

#449: [4, 13, 12, 8, 5, 15, 9, 1, 3, 7, 14, 11, 6, 10, 0, 2]
╶┬─╴
┌┼┐╷
│├┴┤
└┘ ╵

#450: [4, 13, 12, 8, 5, 15, 9, 1, 7, 11, 3, 2, 6, 14, 10, 0]
╶┬─╴
┌┼┐╷
├┤│╵
└┴┘

#451: [4, 13, 12, 8, 5, 15, 9, 1, 7, 14, 11, 3, 2, 0, 6, 10]
╶┬─╴
┌┼┐╷
├┴┤│
╵ └┘

#452: [4, 13, 12, 9, 0, 3, 5, 11, 1, 7, 15, 10, 2, 6, 14, 8]
╶┬─┐
 │┌┤
╷├┼┘
╵└┴╴

#453: [4, 13, 12, 9, 1, 3, 5, 10, 7, 15, 11, 0, 2, 6, 14, 8]
╶┬─┐
╷│┌┘
├┼┤
╵└┴╴

#454: [4, 13, 12, 9, 1, 3, 5, 11, 2, 7, 15, 10, 0, 6, 14, 8]
╶┬─┐
╷│┌┤
╵├┼┘
 └┴╴

#455: [4, 13, 12, 9, 1, 3, 5, 11, 7, 14, 15, 10, 2, 0, 6, 8]
╶┬─┐
╷│┌┤
├┴┼┘
╵ └╴

#456: [4, 13, 12, 9, 1, 3, 5, 11, 7, 14, 15, 10, 6, 8, 2, 0]
╶┬─┐
╷│┌┤
├┴┼┘
└╴╵

#457: [4, 13, 12, 9, 1, 3, 5, 11, 7, 15, 10, 2, 6, 14, 8, 0]
╶┬─┐
╷│┌┤
├┼┘╵
└┴╴

#458: [4, 13, 12, 9, 1, 3, 5, 11, 7, 15, 14, 10, 2, 6, 8, 0]
╶┬─┐
╷│┌┤
├┼┴┘
╵└╴

#459: [4, 13, 12, 9, 5, 11, 1, 2, 3, 7, 15, 8, 6, 14, 10, 0]
╶┬─┐
┌┤╷╵
│├┼╴
└┴┘

#460: [4, 13, 12, 9, 5, 11, 1, 3, 2, 7, 15, 10, 0, 6, 14, 8]
╶┬─┐
┌┤╷│
╵├┼┘
 └┴╴

#461: [4, 13, 12, 9, 5, 11, 1, 3, 7, 14, 15, 10, 2, 0, 6, 8]
╶┬─┐
┌┤╷│
├┴┼┘
╵ └╴

#462: [4, 13, 12, 9, 5, 11, 1, 3, 7, 14, 15, 10, 6, 8, 2, 0]
╶┬─┐
┌┤╷│
├┴┼┘
└╴╵

#463: [4, 13, 12, 9, 5, 11, 1, 3, 7, 15, 10, 2, 6, 14, 8, 0]
╶┬─┐
┌┤╷│
├┼┘╵
└┴╴

#464: [4, 13, 12, 9, 5, 11, 1, 3, 7, 15, 14, 10, 2, 6, 8, 0]
╶┬─┐
┌┤╷│
├┼┴┘
╵└╴

#465: [4, 13, 12, 9, 5, 15, 8, 3, 7, 11, 1, 2, 6, 14, 10, 0]
╶┬─┐
┌┼╴│
├┤╷╵
└┴┘

#466: [5, 8, 0, 1, 7, 12, 9, 3, 6, 13, 15, 11, 4, 14, 10, 2]
┌╴ ╷
├─┐│
└┬┼┤
╶┴┘╵

#467: [5, 8, 0, 1, 7, 13, 9, 3, 2, 6, 15, 11, 4, 12, 14, 10]
┌╴ ╷
├┬┐│
╵└┼┤
╶─┴┘

#468: [5, 8, 0, 1, 7, 13, 9, 3, 6, 14, 15, 11, 4, 12, 10, 2]
┌╴ ╷
├┬┐│
└┴┼┤
╶─┘╵

#469: [5, 8, 0, 1, 7, 13, 12, 11, 6, 15, 9, 3, 4, 14, 10, 2]
┌╴ ╷
├┬─┤
└┼┐│
╶┴┘╵

#470: [5, 8, 1, 0, 3, 4, 15, 9, 7, 13, 14, 11, 2, 6, 12, 10]
┌╴╷
│╶┼┐
├┬┴┤
╵└─┘

#471: [5, 8, 1, 0, 7, 12, 15, 9, 6, 13, 11, 3, 4, 14, 10, 2]
┌╴╷
├─┼┐
└┬┤│
╶┴┘╵

#472: [5, 8, 1, 0, 7, 13, 15, 9, 2, 3, 6, 11, 4, 14, 12, 10]
┌╴╷
├┬┼┐
╵│└┤
╶┴─┘

#473: [5, 8, 1, 0, 7, 13, 15, 9, 2, 6, 11, 3, 4, 12, 14, 10]
┌╴╷
├┬┼┐
╵└┤│
╶─┴┘

#474: [5, 8, 1, 0, 7, 13, 15, 9, 3, 6, 14, 11, 2, 4, 12, 10]
┌╴╷
├┬┼┐
│└┴┤
╵╶─┘

#475: [5, 8, 1, 0, 7, 13, 15, 9, 6, 11, 2, 3, 4, 14, 12, 10]
┌╴╷
├┬┼┐
└┤╵│
╶┴─┘

#476: [5, 8, 1, 0, 7, 13, 15, 9, 6, 14, 11, 3, 4, 12, 10, 2]
┌╴╷
├┬┼┐
└┴┤│
╶─┘╵

#477: [5, 9, 0, 1, 3, 6, 13, 11, 7, 12, 15, 10, 2, 4, 14, 8]
┌┐ ╷
│└┬┤
├─┼┘
╵╶┴╴

#478: [5, 9, 0, 1, 3, 7, 13, 11, 2, 6, 15, 10, 4, 12, 14, 8]
┌┐ ╷
│├┬┤
╵└┼┘
╶─┴╴

#479: [5, 9, 0, 1, 3, 7, 13, 11, 6, 15, 10, 2, 4, 14, 12, 8]
┌┐ ╷
│├┬┤
└┼┘╵
╶┴─╴

#480: [5, 9, 0, 1, 7, 15, 8, 3, 2, 6, 13, 11, 4, 12, 14, 10]
┌┐ ╷
├┼╴│
╵└┬┤
╶─┴┘

#481: [5, 9, 0, 1, 7, 15, 8, 3, 6, 14, 13, 11, 4, 12, 10, 2]
┌┐ ╷
├┼╴│
└┴┬┤
╶─┘╵

#482: [5, 9, 0, 1, 7, 15, 12, 11, 3, 6, 13, 10, 2, 4, 14, 8]
┌┐ ╷
├┼─┤
│└┬┘
╵╶┴╴

#483: [5, 9, 0, 1, 7, 15, 13, 11, 2, 3, 6, 10, 4, 14, 12, 8]
┌┐ ╷
├┼┬┤
╵│└┘
╶┴─╴

#484: [5, 9, 0, 1, 7, 15, 13, 11, 3, 6, 14, 10, 2, 4, 12, 8]
┌┐ ╷
├┼┬┤
│└┴┘
╵╶─╴

#485: [5, 9, 0, 1, 7, 15, 13, 11, 6, 10, 3, 2, 4, 12, 14, 8]
┌┐ ╷
├┼┬┤
└┘│╵
╶─┴╴

#486: [5, 9, 0, 1, 7, 15, 13, 11, 6, 14, 10, 3, 4, 12, 8, 2]
┌┐ ╷
├┼┬┤
└┴┘│
╶─╴╵

#487: [5, 12, 8, 0, 3, 1, 4, 9, 7, 15, 13, 11, 2, 6, 14, 10]
┌─╴
│╷╶┐
├┼┬┤
╵└┴┘

#488: [5, 12, 8, 0, 3, 1, 4, 9, 7, 15, 13, 11, 6, 14, 10, 2]
┌─╴
│╷╶┐
├┼┬┤
└┴┘╵

#489: [5, 12, 8, 0, 3, 4, 9, 1, 7, 13, 15, 11, 2, 6, 14, 10]
┌─╴
│╶┐╷
├┬┼┤
╵└┴┘

#490: [5, 12, 8, 0, 3, 4, 9, 1, 7, 13, 15, 11, 6, 14, 10, 2]
┌─╴
│╶┐╷
├┬┼┤
└┴┘╵

#491: [5, 12, 8, 0, 7, 13, 9, 1, 3, 6, 15, 11, 2, 4, 14, 10]
┌─╴
├┬┐╷
│└┼┤
╵╶┴┘

#492: [5, 12, 8, 0, 7, 13, 9, 1, 6, 15, 11, 3, 4, 14, 10, 2]
┌─╴
├┬┐╷
└┼┤│
╶┴┘╵

#493: [5, 12, 8, 1, 6, 13, 9, 3, 0, 7, 15, 11, 4, 14, 10, 2]
┌─╴╷
└┬┐│
 ├┼┤
╶┴┘╵

#494: [5, 12, 8, 1, 7, 9, 0, 3, 6, 15, 13, 11, 4, 14, 10, 2]
┌─╴╷
├┐ │
└┼┬┤
╶┴┘╵

#495: [5, 12, 8, 1, 7, 13, 9, 3, 2, 6, 15, 11, 0, 4, 14, 10]
┌─╴╷
├┬┐│
╵└┼┤
 ╶┴┘

#496: [5, 12, 8, 1, 7, 13, 9, 3, 6, 14, 15, 11, 0, 4, 10, 2]
┌─╴╷
├┬┐│
└┴┼┤
 ╶┘╵

#497: [5, 12, 8, 1, 7, 13, 9, 3, 6, 15, 11, 2, 4, 14, 10, 0]
┌─╴╷
├┬┐│
└┼┤╵
╶┴┘

#498: [5, 12, 8, 1, 7, 13, 9, 3, 6, 15, 14, 11, 0, 2, 4, 10]
┌─╴╷
├┬┐│
└┼┴┤
 ╵╶┘

#499: [5, 12, 8, 1, 7, 13, 9, 3, 6, 15, 14, 11, 4, 10, 0, 2]
┌─╴╷
├┬┐│
└┼┴┤
╶┘ ╵

#500: [5, 12, 9, 0, 3, 4, 11, 1, 7, 13, 15, 10, 2, 6, 14, 8]
┌─┐
│╶┤╷
├┬┼┘
╵└┴╴

#501: [5, 12, 9, 0, 3, 4, 15, 8, 7, 13, 11, 1, 2, 6, 14, 10]
┌─┐
│╶┼╴
├┬┤╷
╵└┴┘

#502: [5, 12, 9, 0, 3, 4, 15, 8, 7, 13, 11, 1, 6, 14, 10, 2]
┌─┐
│╶┼╴
├┬┤╷
└┴┘╵

#503: [5, 12, 9, 0, 7, 8, 3, 1, 6, 13, 15, 11, 4, 14, 10, 2]
┌─┐
├╴│╷
└┬┼┤
╶┴┘╵

#504: [5, 12, 9, 0, 7, 13, 11, 1, 3, 6, 15, 10, 2, 4, 14, 8]
┌─┐
├┬┤╷
│└┼┘
╵╶┴╴

#505: [5, 12, 9, 0, 7, 13, 11, 1, 6, 15, 10, 3, 4, 14, 8, 2]
┌─┐
├┬┤╷
└┼┘│
╶┴╴╵

#506: [5, 12, 9, 0, 7, 13, 15, 8, 3, 6, 11, 1, 2, 4, 14, 10]
┌─┐
├┬┼╴
│└┤╷
╵╶┴┘

#507: [5, 12, 9, 0, 7, 13, 15, 8, 6, 11, 3, 1, 4, 14, 10, 2]
┌─┐
├┬┼╴
└┤│╷
╶┴┘╵

#508: [5, 12, 9, 1, 3, 4, 11, 2, 7, 13, 15, 8, 6, 14, 10, 0]
┌─┐╷
│╶┤╵
├┬┼╴
└┴┘

#509: [5, 12, 9, 1, 3, 4, 15, 10, 7, 13, 11, 0, 2, 6, 14, 8]
┌─┐╷
│╶┼┘
├┬┤
╵└┴╴

#510: [5, 12, 9, 1, 3, 4, 15, 11, 7, 13, 10, 2, 6, 14, 8, 0]
┌─┐╷
│╶┼┤
├┬┘╵
└┴╴

#511: [5, 12, 9, 1, 3, 4, 15, 11, 7, 13, 14, 10, 2, 6, 8, 0]
┌─┐╷
│╶┼┤
├┬┴┘
╵└╴

#512: [5, 12, 9, 1, 6, 13, 15, 11, 0, 7, 10, 3, 4, 14, 8, 2]
┌─┐╷
└┬┼┤
 ├┘│
╶┴╴╵

#513: [5, 12, 9, 1, 7, 13, 11, 3, 2, 6, 15, 10, 0, 4, 14, 8]
┌─┐╷
├┬┤│
╵└┼┘
 ╶┴╴

#514: [5, 12, 9, 1, 7, 13, 11, 3, 6, 14, 15, 10, 4, 8, 2, 0]
┌─┐╷
├┬┤│
└┴┼┘
╶╴╵

#515: [5, 12, 9, 1, 7, 13, 11, 3, 6, 15, 10, 2, 4, 14, 8, 0]
┌─┐╷
├┬┤│
└┼┘╵
╶┴╴

#516: [5, 12, 9, 1, 7, 13, 11, 3, 6, 15, 14, 10, 0, 2, 4, 8]
┌─┐╷
├┬┤│
└┼┴┘
 ╵╶╴

#517: [5, 12, 9, 1, 7, 13, 14, 11, 6, 15, 8, 3, 0, 2, 4, 10]
┌─┐╷
├┬┴┤
└┼╴│
 ╵╶┘

#518: [5, 12, 9, 1, 7, 13, 14, 11, 6, 15, 8, 3, 4, 10, 0, 2]
┌─┐╷
├┬┴┤
└┼╴│
╶┘ ╵

#519: [5, 12, 9, 1, 7, 13, 15, 10, 3, 6, 11, 0, 2, 4, 14, 8]
┌─┐╷
├┬┼┘
│└┤
╵╶┴╴

#520: [5, 12, 9, 1, 7, 13, 15, 11, 2, 3, 6, 10, 4, 14, 8, 0]
┌─┐╷
├┬┼┤
╵│└┘
╶┴╴

#521: [5, 12, 9, 1, 7, 13, 15, 11, 3, 6, 14, 10, 2, 0, 4, 8]
┌─┐╷
├┬┼┤
│└┴┘
╵ ╶╴

#522: [5, 12, 9, 1, 7, 13, 15, 11, 3, 6, 14, 10, 2, 4, 8, 0]
┌─┐╷
├┬┼┤
│└┴┘
╵╶╴

#523: [5, 12, 9, 1, 7, 13, 15, 11, 6, 10, 3, 2, 0, 4, 14, 8]
┌─┐╷
├┬┼┤
└┘│╵
 ╶┴╴

#524: [5, 12, 9, 1, 7, 13, 15, 11, 6, 14, 10, 3, 0, 4, 8, 2]
┌─┐╷
├┬┼┤
└┴┘│
 ╶╴╵

#525: [5, 12, 9, 1, 7, 13, 15, 11, 6, 14, 10, 3, 4, 8, 0, 2]
┌─┐╷
├┬┼┤
└┴┘│
╶╴ ╵

#526: [5, 12, 13, 8, 2, 1, 7, 9, 4, 15, 11, 3, 0, 6, 14, 10]
┌─┬╴
╵╷├┐
╶┼┤│
 └┴┘

#527: [5, 12, 13, 8, 3, 1, 7, 9, 2, 6, 15, 11, 0, 4, 14, 10]
┌─┬╴
│╷├┐
╵└┼┤
 ╶┴┘

#528: [5, 12, 13, 8, 3, 1, 7, 9, 6, 14, 15, 11, 0, 4, 10, 2]
┌─┬╴
│╷├┐
└┴┼┤
 ╶┘╵

#529: [5, 12, 13, 8, 3, 1, 7, 9, 6, 15, 11, 2, 4, 14, 10, 0]
┌─┬╴
│╷├┐
└┼┤╵
╶┴┘

#530: [5, 12, 13, 8, 3, 1, 7, 9, 6, 15, 14, 11, 0, 2, 4, 10]
┌─┬╴
│╷├┐
└┼┴┤
 ╵╶┘

#531: [5, 12, 13, 8, 3, 1, 7, 9, 6, 15, 14, 11, 4, 10, 0, 2]
┌─┬╴
│╷├┐
└┼┴┤
╶┘ ╵

#532: [5, 12, 13, 8, 3, 4, 15, 9, 2, 1, 7, 11, 0, 6, 14, 10]
┌─┬╴
│╶┼┐
╵╷├┤
 └┴┘

#533: [5, 12, 13, 8, 6, 9, 3, 1, 0, 7, 15, 11, 4, 14, 10, 2]
┌─┬╴
└┐│╷
 ├┼┤
╶┴┘╵

#534: [5, 12, 13, 8, 7, 9, 3, 0, 6, 15, 11, 1, 4, 14, 10, 2]
┌─┬╴
├┐│
└┼┤╷
╶┴┘╵

#535: [5, 12, 13, 8, 7, 9, 3, 1, 2, 6, 15, 11, 0, 4, 14, 10]
┌─┬╴
├┐│╷
╵└┼┤
 ╶┴┘

#536: [5, 12, 13, 8, 7, 9, 3, 1, 6, 14, 15, 11, 0, 4, 10, 2]
┌─┬╴
├┐│╷
└┴┼┤
 ╶┘╵

#537: [5, 12, 13, 8, 7, 9, 3, 1, 6, 15, 11, 2, 4, 14, 10, 0]
┌─┬╴
├┐│╷
└┼┤╵
╶┴┘

#538: [5, 12, 13, 8, 7, 9, 3, 1, 6, 15, 14, 11, 0, 2, 4, 10]
┌─┬╴
├┐│╷
└┼┴┤
 ╵╶┘

#539: [5, 12, 13, 8, 7, 9, 3, 1, 6, 15, 14, 11, 4, 10, 0, 2]
┌─┬╴
├┐│╷
└┼┴┤
╶┘ ╵

#540: [5, 12, 13, 9, 3, 1, 7, 11, 2, 6, 15, 10, 0, 4, 14, 8]
┌─┬┐
│╷├┤
╵└┼┘
 ╶┴╴

#541: [5, 12, 13, 9, 3, 1, 7, 11, 6, 14, 15, 10, 4, 8, 2, 0]
┌─┬┐
│╷├┤
└┴┼┘
╶╴╵

#542: [5, 12, 13, 9, 3, 1, 7, 11, 6, 15, 10, 2, 4, 14, 8, 0]
┌─┬┐
│╷├┤
└┼┘╵
╶┴╴

#543: [5, 12, 13, 9, 3, 1, 7, 11, 6, 15, 14, 10, 0, 2, 4, 8]
┌─┬┐
│╷├┤
└┼┴┘
 ╵╶╴

#544: [5, 12, 13, 9, 3, 4, 15, 11, 2, 1, 7, 10, 0, 6, 14, 8]
┌─┬┐
│╶┼┤
╵╷├┘
 └┴╴

#545: [5, 13, 8, 0, 3, 6, 9, 1, 7, 12, 15, 11, 2, 4, 14, 10]
┌┬╴
│└┐╷
├─┼┤
╵╶┴┘

#546: [5, 13, 8, 0, 3, 7, 9, 1, 2, 6, 15, 11, 4, 12, 14, 10]
┌┬╴
│├┐╷
╵└┼┤
╶─┴┘

#547: [5, 13, 8, 0, 3, 7, 9, 1, 6, 14, 15, 11, 4, 12, 10, 2]
┌┬╴
│├┐╷
└┴┼┤
╶─┘╵

#548: [5, 13, 8, 0, 7, 14, 9, 1, 3, 4, 15, 11, 6, 12, 10, 2]
┌┬╴
├┴┐╷
│╶┼┤
└─┘╵

#549: [5, 13, 8, 0, 7, 15, 9, 1, 2, 3, 6, 11, 4, 14, 12, 10]
┌┬╴
├┼┐╷
╵│└┤
╶┴─┘

#550: [5, 13, 8, 0, 7, 15, 9, 1, 2, 6, 11, 3, 4, 12, 14, 10]
┌┬╴
├┼┐╷
╵└┤│
╶─┴┘

#551: [5, 13, 8, 0, 7, 15, 9, 1, 3, 6, 14, 11, 2, 4, 12, 10]
┌┬╴
├┼┐╷
│└┴┤
╵╶─┘

#552: [5, 13, 8, 0, 7, 15, 9, 1, 6, 11, 2, 3, 4, 14, 12, 10]
┌┬╴
├┼┐╷
└┤╵│
╶┴─┘

#553: [5, 13, 8, 0, 7, 15, 9, 1, 6, 14, 11, 3, 4, 12, 10, 2]
┌┬╴
├┼┐╷
└┴┤│
╶─┘╵

#554: [5, 13, 8, 0, 7, 15, 12, 9, 6, 11, 1, 3, 4, 14, 10, 2]
┌┬╴
├┼─┐
└┤╷│
╶┴┘╵

#555: [5, 13, 8, 1, 2, 7, 9, 3, 0, 6, 15, 11, 4, 12, 14, 10]
┌┬╴╷
╵├┐│
 └┼┤
╶─┴┘

#556: [5, 13, 8, 1, 2, 7, 9, 3, 4, 15, 14, 11, 0, 6, 12, 10]
┌┬╴╷
╵├┐│
╶┼┴┤
 └─┘

#557: [5, 13, 8, 1, 2, 7, 12, 11, 4, 15, 9, 3, 0, 6, 14, 10]
┌┬╴╷
╵├─┤
╶┼┐│
 └┴┘

#558: [5, 13, 8, 1, 3, 7, 12, 11, 6, 15, 9, 2, 4, 14, 10, 0]
┌┬╴╷
│├─┤
└┼┐╵
╶┴┘

#559: [5, 13, 8, 1, 6, 15, 9, 3, 0, 2, 7, 11, 4, 12, 14, 10]
┌┬╴╷
└┼┐│
 ╵├┤
╶─┴┘

#560: [5, 13, 8, 1, 6, 15, 12, 11, 0, 7, 9, 3, 4, 14, 10, 2]
┌┬╴╷
└┼─┤
 ├┐│
╶┴┘╵

#561: [5, 13, 8, 1, 7, 14, 9, 3, 6, 12, 15, 11, 0, 4, 10, 2]
┌┬╴╷
├┴┐│
└─┼┤
 ╶┘╵

#562: [5, 13, 8, 1, 7, 15, 9, 3, 2, 6, 14, 11, 0, 4, 12, 10]
┌┬╴╷
├┼┐│
╵└┴┤
 ╶─┘

#563: [5, 13, 8, 1, 7, 15, 9, 3, 6, 14, 11, 2, 4, 12, 10, 0]
┌┬╴╷
├┼┐│
└┴┤╵
╶─┘

#564: [5, 13, 8, 1, 7, 15, 12, 11, 2, 6, 9, 3, 0, 4, 14, 10]
┌┬╴╷
├┼─┤
╵└┐│
 ╶┴┘

#565: [5, 13, 8, 1, 7, 15, 12, 11, 6, 14, 9, 3, 0, 4, 10, 2]
┌┬╴╷
├┼─┤
└┴┐│
 ╶┘╵

#566: [5, 13, 9, 0, 3, 6, 11, 1, 7, 12, 15, 10, 2, 4, 14, 8]
┌┬┐
│└┤╷
├─┼┘
╵╶┴╴

#567: [5, 13, 9, 0, 3, 6, 15, 8, 7, 12, 11, 1, 2, 4, 14, 10]
┌┬┐
│└┼╴
├─┤╷
╵╶┴┘

#568: [5, 13, 9, 0, 3, 7, 10, 1, 6, 15, 12, 11, 4, 14, 8, 2]
┌┬┐
│├┘╷
└┼─┤
╶┴╴╵

#569: [5, 13, 9, 0, 3, 7, 11, 1, 2, 6, 15, 10, 4, 12, 14, 8]
┌┬┐
│├┤╷
╵└┼┘
╶─┴╴

#570: [5, 13, 9, 0, 3, 7, 11, 1, 6, 15, 10, 2, 4, 14, 12, 8]
┌┬┐
│├┤╷
└┼┘╵
╶┴─╴

#571: [5, 13, 9, 0, 3, 7, 15, 8, 2, 6, 11, 1, 4, 12, 14, 10]
┌┬┐
│├┼╴
╵└┤╷
╶─┴┘

#572: [5, 13, 9, 0, 3, 7, 15, 8, 6, 11, 2, 1, 4, 14, 12, 10]
┌┬┐
│├┼╴
└┤╵╷
╶┴─┘

#573: [5, 13, 9, 0, 3, 7, 15, 8, 6, 14, 11, 1, 4, 12, 10, 2]
┌┬┐
│├┼╴
└┴┤╷
╶─┘╵

#574: [5, 13, 9, 0, 7, 11, 2, 1, 6, 15, 8, 3, 4, 14, 12, 10]
┌┬┐
├┤╵╷
└┼╴│
╶┴─┘

#575: [5, 13, 9, 0, 7, 11, 3, 1, 2, 6, 15, 10, 4, 12, 14, 8]
┌┬┐
├┤│╷
╵└┼┘
╶─┴╴

#576: [5, 13, 9, 0, 7, 11, 3, 1, 6, 15, 10, 2, 4, 14, 12, 8]
┌┬┐
├┤│╷
└┼┘╵
╶┴─╴

#577: [5, 13, 9, 0, 7, 14, 15, 8, 3, 4, 11, 1, 6, 12, 10, 2]
┌┬┐
├┴┼╴
│╶┤╷
└─┘╵

#578: [5, 13, 9, 0, 7, 15, 11, 1, 2, 3, 6, 10, 4, 14, 12, 8]
┌┬┐
├┼┤╷
╵│└┘
╶┴─╴

#579: [5, 13, 9, 0, 7, 15, 11, 1, 3, 6, 14, 10, 2, 4, 12, 8]
┌┬┐
├┼┤╷
│└┴┘
╵╶─╴

#580: [5, 13, 9, 0, 7, 15, 11, 1, 6, 10, 3, 2, 4, 12, 14, 8]
┌┬┐
├┼┤╷
└┘│╵
╶─┴╴

#581: [5, 13, 9, 0, 7, 15, 11, 1, 6, 14, 10, 3, 4, 12, 8, 2]
┌┬┐
├┼┤╷
└┴┘│
╶─╴╵

#582: [5, 13, 9, 1, 2, 3, 7, 11, 0, 6, 15, 10, 4, 12, 14, 8]
┌┬┐╷
╵│├┤
 └┼┘
╶─┴╴

#583: [5, 13, 9, 1, 2, 3, 7, 11, 4, 15, 14, 10, 0, 6, 12, 8]
┌┬┐╷
╵│├┤
╶┼┴┘
 └─╴

#584: [5, 13, 9, 1, 2, 7, 11, 3, 0, 6, 15, 10, 4, 12, 14, 8]
┌┬┐╷
╵├┤│
 └┼┘
╶─┴╴

#585: [5, 13, 9, 1, 2, 7, 11, 3, 4, 15, 14, 10, 0, 6, 12, 8]
┌┬┐╷
╵├┤│
╶┼┴┘
 └─╴

#586: [5, 13, 9, 1, 2, 7, 14, 11, 4, 15, 8, 3, 0, 6, 12, 10]
┌┬┐╷
╵├┴┤
╶┼╴│
 └─┘

#587: [5, 13, 9, 1, 2, 7, 15, 11, 0, 3, 6, 10, 4, 14, 12, 8]
┌┬┐╷
╵├┼┤
 │└┘
╶┴─╴

#588: [5, 13, 9, 1, 3, 2, 7, 11, 6, 12, 15, 10, 0, 4, 14, 8]
┌┬┐╷
│╵├┤
└─┼┘
 ╶┴╴

#589: [5, 13, 9, 1, 3, 6, 15, 10, 7, 12, 11, 0, 2, 4, 14, 8]
┌┬┐╷
│└┼┘
├─┤
╵╶┴╴

#590: [5, 13, 9, 1, 3, 6, 15, 11, 2, 0, 7, 10, 4, 12, 14, 8]
┌┬┐╷
│└┼┤
╵ ├┘
╶─┴╴

#591: [5, 13, 9, 1, 3, 6, 15, 11, 7, 12, 14, 10, 2, 0, 4, 8]
┌┬┐╷
│└┼┤
├─┴┘
╵ ╶╴

#592: [5, 13, 9, 1, 3, 6, 15, 11, 7, 12, 14, 10, 2, 4, 8, 0]
┌┬┐╷
│└┼┤
├─┴┘
╵╶╴

#593: [5, 13, 9, 1, 3, 7, 11, 2, 6, 14, 15, 8, 4, 12, 10, 0]
┌┬┐╷
│├┤╵
└┴┼╴
╶─┘

#594: [5, 13, 9, 1, 3, 7, 11, 2, 6, 15, 10, 0, 4, 14, 12, 8]
┌┬┐╷
│├┤╵
└┼┘
╶┴─╴

#595: [5, 13, 9, 1, 3, 7, 14, 11, 6, 15, 12, 10, 0, 2, 4, 8]
┌┬┐╷
│├┴┤
└┼─┘
 ╵╶╴

#596: [5, 13, 9, 1, 3, 7, 15, 10, 2, 6, 11, 0, 4, 12, 14, 8]
┌┬┐╷
│├┼┘
╵└┤
╶─┴╴

#597: [5, 13, 9, 1, 3, 7, 15, 10, 6, 11, 2, 0, 4, 14, 12, 8]
┌┬┐╷
│├┼┘
└┤╵
╶┴─╴

#598: [5, 13, 9, 1, 3, 7, 15, 11, 2, 6, 14, 10, 0, 4, 12, 8]
┌┬┐╷
│├┼┤
╵└┴┘
 ╶─╴

#599: [5, 13, 9, 1, 3, 7, 15, 11, 2, 6, 14, 10, 4, 12, 8, 0]
┌┬┐╷
│├┼┤
╵└┴┘
╶─╴

#600: [5, 13, 9, 1, 3, 7, 15, 11, 6, 14, 10, 2, 0, 4, 12, 8]
┌┬┐╷
│├┼┤
└┴┘╵
 ╶─╴

#601: [5, 13, 9, 1, 3, 7, 15, 11, 6, 14, 10, 2, 4, 12, 8, 0]
┌┬┐╷
│├┼┤
└┴┘╵
╶─╴

#602: [5, 13, 9, 1, 6, 15, 10, 3, 0, 7, 12, 11, 4, 14, 8, 2]
┌┬┐╷
└┼┘│
 ├─┤
╶┴╴╵

#603: [5, 13, 9, 1, 6, 15, 11, 3, 0, 2, 7, 10, 4, 12, 14, 8]
┌┬┐╷
└┼┤│
 ╵├┘
╶─┴╴

#604: [5, 13, 9, 1, 6, 15, 11, 3, 0, 7, 10, 2, 4, 14, 12, 8]
┌┬┐╷
└┼┤│
 ├┘╵
╶┴─╴

#605: [5, 13, 9, 1, 7, 11, 2, 3, 6, 15, 12, 10, 4, 14, 8, 0]
┌┬┐╷
├┤╵│
└┼─┘
╶┴╴

#606: [5, 13, 9, 1, 7, 11, 3, 2, 6, 14, 15, 8, 4, 12, 10, 0]
┌┬┐╷
├┤│╵
└┴┼╴
╶─┘

#607: [5, 13, 9, 1, 7, 11, 3, 2, 6, 15, 10, 0, 4, 14, 12, 8]
┌┬┐╷
├┤│╵
└┼┘
╶┴─╴

#608: [5, 13, 9, 1, 7, 14, 11, 2, 3, 4, 15, 8, 6, 12, 10, 0]
┌┬┐╷
├┴┤╵
│╶┼╴
└─┘

#609: [5, 13, 9, 1, 7, 14, 11, 3, 6, 12, 15, 10, 4, 8, 2, 0]
┌┬┐╷
├┴┤│
└─┼┘
╶╴╵

#610: [5, 13, 9, 1, 7, 14, 15, 11, 3, 0, 6, 10, 2, 4, 12, 8]
┌┬┐╷
├┴┼┤
│ └┘
╵╶─╴

#611: [5, 13, 9, 1, 7, 14, 15, 11, 3, 4, 10, 2, 6, 12, 8, 0]
┌┬┐╷
├┴┼┤
│╶┘╵
└─╴

#612: [5, 13, 9, 1, 7, 14, 15, 11, 6, 8, 2, 3, 0, 4, 12, 10]
┌┬┐╷
├┴┼┤
└╴╵│
 ╶─┘

#613: [5, 13, 9, 1, 7, 14, 15, 11, 6, 8, 3, 2, 4, 12, 10, 0]
┌┬┐╷
├┴┼┤
└╴│╵
╶─┘

#614: [5, 13, 9, 1, 7, 14, 15, 11, 6, 12, 10, 3, 0, 4, 8, 2]
┌┬┐╷
├┴┼┤
└─┘│
 ╶╴╵

#615: [5, 13, 9, 1, 7, 14, 15, 11, 6, 12, 10, 3, 4, 8, 0, 2]
┌┬┐╷
├┴┼┤
└─┘│
╶╴ ╵

#616: [5, 13, 9, 1, 7, 15, 10, 3, 6, 11, 0, 2, 4, 14, 12, 8]
┌┬┐╷
├┼┘│
└┤ ╵
╶┴─╴

#617: [5, 13, 9, 1, 7, 15, 10, 3, 6, 14, 12, 11, 0, 4, 8, 2]
┌┬┐╷
├┼┘│
└┴─┤
 ╶╴╵

#618: [5, 13, 9, 1, 7, 15, 10, 3, 6, 14, 12, 11, 4, 8, 0, 2]
┌┬┐╷
├┼┘│
└┴─┤
╶╴ ╵

#619: [5, 13, 9, 1, 7, 15, 11, 2, 6, 10, 3, 0, 4, 12, 14, 8]
┌┬┐╷
├┼┤╵
└┘│
╶─┴╴

#620: [5, 13, 9, 1, 7, 15, 11, 3, 2, 6, 14, 10, 0, 4, 12, 8]
┌┬┐╷
├┼┤│
╵└┴┘
 ╶─╴

#621: [5, 13, 9, 1, 7, 15, 11, 3, 2, 6, 14, 10, 4, 12, 8, 0]
┌┬┐╷
├┼┤│
╵└┴┘
╶─╴

#622: [5, 13, 9, 1, 7, 15, 11, 3, 6, 14, 10, 2, 0, 4, 12, 8]
┌┬┐╷
├┼┤│
└┴┘╵
 ╶─╴

#623: [5, 13, 9, 1, 7, 15, 11, 3, 6, 14, 10, 2, 4, 12, 8, 0]
┌┬┐╷
├┼┤│
└┴┘╵
╶─╴

#624: [5, 13, 9, 1, 7, 15, 14, 11, 2, 3, 4, 10, 0, 6, 12, 8]
┌┬┐╷
├┼┴┤
╵│╶┘
 └─╴

#625: [5, 13, 9, 1, 7, 15, 14, 11, 2, 6, 8, 3, 0, 4, 12, 10]
┌┬┐╷
├┼┴┤
╵└╴│
 ╶─┘

#626: [5, 13, 9, 1, 7, 15, 14, 11, 3, 2, 4, 10, 6, 12, 8, 0]
┌┬┐╷
├┼┴┤
│╵╶┘
└─╴

#627: [5, 13, 9, 1, 7, 15, 14, 11, 3, 6, 12, 10, 2, 0, 4, 8]
┌┬┐╷
├┼┴┤
│└─┘
╵ ╶╴

#628: [5, 13, 9, 1, 7, 15, 14, 11, 3, 6, 12, 10, 2, 4, 8, 0]
┌┬┐╷
├┼┴┤
│└─┘
╵╶╴

#629: [5, 13, 9, 1, 7, 15, 14, 11, 6, 10, 0, 3, 4, 12, 8, 2]
┌┬┐╷
├┼┴┤
└┘ │
╶─╴╵

#630: [5, 13, 12, 8, 2, 7, 9, 1, 4, 15, 11, 3, 0, 6, 14, 10]
┌┬─╴
╵├┐╷
╶┼┤│
 └┴┘

#631: [5, 13, 12, 8, 3, 7, 9, 0, 6, 15, 11, 1, 4, 14, 10, 2]
┌┬─╴
│├┐
└┼┤╷
╶┴┘╵

#632: [5, 13, 12, 8, 3, 7, 9, 1, 2, 6, 15, 11, 0, 4, 14, 10]
┌┬─╴
│├┐╷
╵└┼┤
 ╶┴┘

#633: [5, 13, 12, 8, 3, 7, 9, 1, 6, 14, 15, 11, 0, 4, 10, 2]
┌┬─╴
│├┐╷
└┴┼┤
 ╶┘╵

#634: [5, 13, 12, 8, 3, 7, 9, 1, 6, 15, 11, 2, 4, 14, 10, 0]
┌┬─╴
│├┐╷
└┼┤╵
╶┴┘

#635: [5, 13, 12, 8, 3, 7, 9, 1, 6, 15, 14, 11, 0, 2, 4, 10]
┌┬─╴
│├┐╷
└┼┴┤
 ╵╶┘

#636: [5, 13, 12, 8, 3, 7, 9, 1, 6, 15, 14, 11, 4, 10, 0, 2]
┌┬─╴
│├┐╷
└┼┴┤
╶┘ ╵

#637: [5, 13, 12, 8, 6, 15, 9, 1, 0, 3, 7, 11, 4, 14, 10, 2]
┌┬─╴
└┼┐╷
 │├┤
╶┴┘╵

#638: [5, 13, 12, 8, 6, 15, 9, 1, 0, 7, 11, 3, 4, 14, 10, 2]
┌┬─╴
└┼┐╷
 ├┤│
╶┴┘╵

#639: [5, 13, 12, 8, 7, 11, 0, 1, 6, 15, 9, 3, 4, 14, 10, 2]
┌┬─╴
├┤ ╷
└┼┐│
╶┴┘╵

#640: [5, 13, 12, 8, 7, 11, 1, 0, 3, 6, 15, 9, 2, 4, 14, 10]
┌┬─╴
├┤╷
│└┼┐
╵╶┴┘

#641: [5, 13, 12, 8, 7, 14, 9, 1, 3, 4, 15, 11, 2, 0, 6, 10]
┌┬─╴
├┴┐╷
│╶┼┤
╵ └┘

#642: [5, 13, 12, 8, 7, 15, 9, 0, 3, 6, 11, 1, 2, 4, 14, 10]
┌┬─╴
├┼┐
│└┤╷
╵╶┴┘

#643: [5, 13, 12, 8, 7, 15, 9, 0, 6, 11, 3, 1, 4, 14, 10, 2]
┌┬─╴
├┼┐
└┤│╷
╶┴┘╵

#644: [5, 13, 12, 8, 7, 15, 9, 1, 2, 6, 11, 3, 0, 4, 14, 10]
┌┬─╴
├┼┐╷
╵└┤│
 ╶┴┘

#645: [5, 13, 12, 8, 7, 15, 9, 1, 3, 6, 14, 11, 2, 0, 4, 10]
┌┬─╴
├┼┐╷
│└┴┤
╵ ╶┘

#646: [5, 13, 12, 8, 7, 15, 9, 1, 6, 11, 3, 2, 4, 14, 10, 0]
┌┬─╴
├┼┐╷
└┤│╵
╶┴┘

#647: [5, 13, 12, 8, 7, 15, 9, 1, 6, 14, 11, 3, 0, 4, 10, 2]
┌┬─╴
├┼┐╷
└┴┤│
 ╶┘╵

#648: [5, 13, 12, 9, 7, 11, 1, 3, 2, 6, 15, 10, 0, 4, 14, 8]
┌┬─┐
├┤╷│
╵└┼┘
 ╶┴╴

#649: [5, 13, 12, 9, 7, 11, 1, 3, 6, 14, 15, 10, 4, 8, 2, 0]
┌┬─┐
├┤╷│
└┴┼┘
╶╴╵

#650: [5, 13, 12, 9, 7, 11, 1, 3, 6, 15, 10, 2, 4, 14, 8, 0]
┌┬─┐
├┤╷│
└┼┘╵
╶┴╴

#651: [5, 13, 12, 9, 7, 11, 1, 3, 6, 15, 14, 10, 0, 2, 4, 8]
┌┬─┐
├┤╷│
└┼┴┘
 ╵╶╴

#652: [5, 13, 12, 9, 7, 15, 8, 3, 6, 11, 1, 2, 4, 14, 10, 0]
┌┬─┐
├┼╴│
└┤╷╵
╶┴┘

Done. Took 57 milliseconds.