day17.ipynb

{
  "nbformat": 4,
  "nbformat_minor": 0,
  "metadata": {
    "colab": {
      "name": "day17.ipynb",
      "provenance": [],
      "collapsed_sections": []
    },
    "kernelspec": {
      "name": "python3",
      "display_name": "Python 3"
    }
  },
  "cells": [
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "SNjSqbGUNFRS"
      },
      "source": [
        "https://adventofcode.com/2020/day/17"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "SKMKHgXI7Ive"
      },
      "source": [
        "input = r'''.#..####\r\n",
        ".#.#...#\r\n",
        "#..#.#.#\r\n",
        "###..##.\r\n",
        "..##...#\r\n",
        "..##.###\r\n",
        "#.....#.\r\n",
        "..##..##'''"
      ],
      "execution_count": 1,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "Ssq2I6LV7QsQ"
      },
      "source": [
        "from collections import defaultdict"
      ],
      "execution_count": 2,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "ixJTWQht7fVV"
      },
      "source": [
        "def init_state(input):\n",
        "  d = defaultdict(lambda: False)\n",
        "  for y, line in enumerate(input.split('\\n')):\n",
        "    for x, c in enumerate(line):\n",
        "      d[(x, y, 0)] = (c == '#')\n",
        "  return d\n",
        "\n",
        "def next_state(d):\n",
        "  new_d = defaultdict(lambda: False)\n",
        "  for i in range(-20, 20):\n",
        "    for j in range(-20, 20):\n",
        "      for k in range(-20, 20):\n",
        "        current_state = d[(i, j, k)]\n",
        "        act_neigh = 0\n",
        "        for di in (-1, 0, 1):\n",
        "          for dj in (-1, 0, 1):\n",
        "            for dk in (-1, 0, 1):\n",
        "              if not (di == 0 and dj == 0 and dk == 0):\n",
        "                other_state = d[(i+di, j+dj, k+dk)]\n",
        "                if other_state:\n",
        "                  act_neigh += 1\n",
        "        if current_state and (act_neigh == 2 or act_neigh == 3):\n",
        "          new_d[(i, j, k)] = True\n",
        "        if (not current_state) and (act_neigh == 3):\n",
        "          new_d[(i, j, k)] = True\n",
        "  return new_d\n",
        "\n",
        "def main(input):\n",
        "  d = init_state(input)\n",
        "  for _ in range(6):\n",
        "    d = next_state(d)\n",
        "  return sum(d.values())"
      ],
      "execution_count": 3,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "HPjAV-9CIRzR",
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "outputId": "3aff1b7b-8ef1-42da-d95c-14d8b38f7bc1"
      },
      "source": [
        "main(input)"
      ],
      "execution_count": 4,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "289"
            ]
          },
          "metadata": {
            "tags": []
          },
          "execution_count": 4
        }
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "Jxs0-ILFNr_2"
      },
      "source": [
        "https://adventofcode.com/2020/day/17#part2"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "SSavSblQ8z96"
      },
      "source": [
        "def init_state2(input):\r\n",
        "  d = defaultdict(lambda: False)\r\n",
        "  for y, line in enumerate(input.split('\\n')):\r\n",
        "    for x, c in enumerate(line):\r\n",
        "      d[(x, y, 0, 0)] = (c == '#')\r\n",
        "  return d\r\n",
        "\r\n",
        "def next_state2(d):\r\n",
        "  new_d = defaultdict(lambda: False)\r\n",
        "  for i in range(-20, 20):\r\n",
        "    for j in range(-20, 20):\r\n",
        "      for k in range(-20, 20):\r\n",
        "        for l in range(-20, 20):\r\n",
        "          current_state = d[(i, j, k, l)]\r\n",
        "          act_neigh = 0\r\n",
        "          for di in (-1, 0, 1):\r\n",
        "            for dj in (-1, 0, 1):\r\n",
        "              for dk in (-1, 0, 1):\r\n",
        "                for dl in (-1, 0, 1):\r\n",
        "                  if not (di == 0 and dj == 0 and dk == 0 and dl == 0):\r\n",
        "                    other_state = d[(i+di, j+dj, k+dk, l+dl)]\r\n",
        "                    if other_state:\r\n",
        "                      act_neigh += 1\r\n",
        "          if current_state and (act_neigh == 2 or act_neigh == 3):\r\n",
        "            new_d[(i, j, k, l)] = True\r\n",
        "          if (not current_state) and (act_neigh == 3):\r\n",
        "            new_d[(i, j, k, l)] = True\r\n",
        "  return new_d\r\n",
        "\r\n",
        "def main2(input):\r\n",
        "  d = init_state2(input)\r\n",
        "  for _ in range(6):\r\n",
        "    d = next_state2(d)\r\n",
        "  return sum(d.values())"
      ],
      "execution_count": 5,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 306
        },
        "id": "D8FFzZ0sHNI3",
        "outputId": "b0bbf4ee-3826-4199-d774-43750837fe6c"
      },
      "source": [
        "main2(input) # too slow"
      ],
      "execution_count": 6,
      "outputs": [
        {
          "output_type": "error",
          "ename": "KeyboardInterrupt",
          "evalue": "ignored",
          "traceback": [
            "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
            "\u001b[0;31mKeyboardInterrupt\u001b[0m                         Traceback (most recent call last)",
            "\u001b[0;32m<ipython-input-6-566624bd7aa7>\u001b[0m in \u001b[0;36m<module>\u001b[0;34m()\u001b[0m\n\u001b[0;32m----> 1\u001b[0;31m \u001b[0mmain2\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0minput\u001b[0m\u001b[0;34m)\u001b[0m \u001b[0;31m# too slow\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m",
            "\u001b[0;32m<ipython-input-5-b4fac2971933>\u001b[0m in \u001b[0;36mmain2\u001b[0;34m(input)\u001b[0m\n\u001b[1;32m     31\u001b[0m   \u001b[0md\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0minit_state2\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0minput\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     32\u001b[0m   \u001b[0;32mfor\u001b[0m \u001b[0m_\u001b[0m \u001b[0;32min\u001b[0m \u001b[0mrange\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;36m6\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m---> 33\u001b[0;31m     \u001b[0md\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0mnext_state2\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0md\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m     34\u001b[0m   \u001b[0;32mreturn\u001b[0m \u001b[0msum\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0md\u001b[0m\u001b[0;34m.\u001b[0m\u001b[0mvalues\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
            "\u001b[0;32m<ipython-input-5-b4fac2971933>\u001b[0m in \u001b[0;36mnext_state2\u001b[0;34m(d)\u001b[0m\n\u001b[1;32m     17\u001b[0m             \u001b[0;32mfor\u001b[0m \u001b[0mdj\u001b[0m \u001b[0;32min\u001b[0m \u001b[0;34m(\u001b[0m\u001b[0;34m-\u001b[0m\u001b[0;36m1\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;36m0\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;36m1\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     18\u001b[0m               \u001b[0;32mfor\u001b[0m \u001b[0mdk\u001b[0m \u001b[0;32min\u001b[0m \u001b[0;34m(\u001b[0m\u001b[0;34m-\u001b[0m\u001b[0;36m1\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;36m0\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;36m1\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0;32m---> 19\u001b[0;31m                 \u001b[0;32mfor\u001b[0m \u001b[0mdl\u001b[0m \u001b[0;32min\u001b[0m \u001b[0;34m(\u001b[0m\u001b[0;34m-\u001b[0m\u001b[0;36m1\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;36m0\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0;36m1\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[0m\u001b[1;32m     20\u001b[0m                   \u001b[0;32mif\u001b[0m \u001b[0;32mnot\u001b[0m \u001b[0;34m(\u001b[0m\u001b[0mdi\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0;36m0\u001b[0m \u001b[0;32mand\u001b[0m \u001b[0mdj\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0;36m0\u001b[0m \u001b[0;32mand\u001b[0m \u001b[0mdk\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0;36m0\u001b[0m \u001b[0;32mand\u001b[0m \u001b[0mdl\u001b[0m \u001b[0;34m==\u001b[0m \u001b[0;36m0\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m:\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n\u001b[1;32m     21\u001b[0m                     \u001b[0mother_state\u001b[0m \u001b[0;34m=\u001b[0m \u001b[0md\u001b[0m\u001b[0;34m[\u001b[0m\u001b[0;34m(\u001b[0m\u001b[0mi\u001b[0m\u001b[0;34m+\u001b[0m\u001b[0mdi\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mj\u001b[0m\u001b[0;34m+\u001b[0m\u001b[0mdj\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0mk\u001b[0m\u001b[0;34m+\u001b[0m\u001b[0mdk\u001b[0m\u001b[0;34m,\u001b[0m \u001b[0ml\u001b[0m\u001b[0;34m+\u001b[0m\u001b[0mdl\u001b[0m\u001b[0;34m)\u001b[0m\u001b[0;34m]\u001b[0m\u001b[0;34m\u001b[0m\u001b[0;34m\u001b[0m\u001b[0m\n",
            "\u001b[0;31mKeyboardInterrupt\u001b[0m: "
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "p4mdhOboHn21"
      },
      "source": [
        "def init_state3(input, debug=False):\r\n",
        "  d = defaultdict(lambda: False)\r\n",
        "  for y, line in enumerate(input.split('\\n')):\r\n",
        "    for x, c in enumerate(line):\r\n",
        "      d[(x, y, 0, 0)] = (c == '#')\r\n",
        "  return d\r\n",
        "\r\n",
        "def next_state3(d, debug=False):\r\n",
        "  new_d = defaultdict(lambda: False)\r\n",
        "  if debug:\r\n",
        "    print(list(d.items()))\r\n",
        "  xs, ys, zs, ws = zip(*d.keys())\r\n",
        "  min_xs, max_xs = min(xs), max(xs)\r\n",
        "  min_ys, max_ys = min(ys), max(ys)\r\n",
        "  min_zs, max_zs = min(zs), max(zs)\r\n",
        "  min_ws, max_ws = min(ws), max(ws)\r\n",
        "  if debug:\r\n",
        "    print(xs, min_xs, max_xs)\r\n",
        "  for i in range(min_xs - 1, max_xs + 2):\r\n",
        "    for j in range(min_ys - 1, max_ys + 2):\r\n",
        "      for k in range(min_zs - 1, max_zs + 2):\r\n",
        "        for l in range(min_ws - 1, max_ws + 2):\r\n",
        "          current_state = d[(i, j, k, l)]\r\n",
        "          act_neigh = 0\r\n",
        "          for di in (-1, 0, 1):\r\n",
        "            for dj in (-1, 0, 1):\r\n",
        "              for dk in (-1, 0, 1):\r\n",
        "                for dl in (-1, 0, 1):\r\n",
        "                  if act_neigh >= 4:\r\n",
        "                    break\r\n",
        "                  if not (di == 0 and dj == 0 and dk == 0 and dl == 0):\r\n",
        "                    other_state = d[(i+di, j+dj, k+dk, l+dl)]\r\n",
        "                    if other_state:\r\n",
        "                      act_neigh += 1\r\n",
        "          if current_state and (act_neigh == 2 or act_neigh == 3):\r\n",
        "            new_d[(i, j, k, l)] = True\r\n",
        "          if (not current_state) and (act_neigh == 3):\r\n",
        "            new_d[(i, j, k, l)] = True\r\n",
        "  return new_d\r\n",
        "\r\n",
        "def main3(input, debug=False):\r\n",
        "  d = init_state3(input, debug=debug)\r\n",
        "  for _ in range(6):\r\n",
        "    d = next_state3(d, debug=debug)\r\n",
        "  return sum(d.values())"
      ],
      "execution_count": 7,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "hH7JYX_MIi0G"
      },
      "source": [
        "test_input = r'''.#.\r\n",
        "..#\r\n",
        "###'''"
      ],
      "execution_count": 8,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "81C38S7qJ8LG",
        "outputId": "1772a83c-4485-41b9-9633-3d74297dcf31"
      },
      "source": [
        "main3(test_input, debug=True)"
      ],
      "execution_count": 9,
      "outputs": [
        {
          "output_type": "stream",
          "text": [
            "[((0, 0, 0, 0), False), ((1, 0, 0, 0), True), ((2, 0, 0, 0), False), ((0, 1, 0, 0), False), ((1, 1, 0, 0), False), ((2, 1, 0, 0), True), ((0, 2, 0, 0), True), ((1, 2, 0, 0), True), ((2, 2, 0, 0), True)]\n",
            "(0, 1, 2, 0, 1, 2, 0, 1, 2) 0 2\n",
            "[((0, 1, -1, -1), True), ((0, 1, -1, 0), True), ((0, 1, -1, 1), True), ((0, 1, 0, -1), True), ((0, 1, 0, 0), True), ((0, 1, 0, 1), True), ((0, 1, 1, -1), True), ((0, 1, 1, 0), True), ((0, 1, 1, 1), True), ((1, 2, 0, 0), True), ((1, 3, -1, -1), True), ((1, 3, -1, 0), True), ((1, 3, -1, 1), True), ((1, 3, 0, -1), True), ((1, 3, 0, 0), True), ((1, 3, 0, 1), True), ((1, 3, 1, -1), True), ((1, 3, 1, 0), True), ((1, 3, 1, 1), True), ((2, 1, 0, 0), True), ((2, 2, -1, -1), True), ((2, 2, -1, 0), True), ((2, 2, -1, 1), True), ((2, 2, 0, -1), True), ((2, 2, 0, 0), True), ((2, 2, 0, 1), True), ((2, 2, 1, -1), True), ((2, 2, 1, 0), True), ((2, 2, 1, 1), True)]\n",
            "(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2) 0 2\n",
            "[((-1, 0, -2, 0), True), ((-1, 0, 0, -2), True), ((-1, 0, 0, 2), True), ((-1, 0, 2, 0), True), ((-1, 1, -2, 0), True), ((-1, 1, 0, -2), True), ((-1, 1, 0, 2), True), ((-1, 1, 2, 0), True), ((-1, 2, -2, 0), True), ((-1, 2, 0, -2), True), ((-1, 2, 0, 2), True), ((-1, 2, 2, 0), True), ((0, 0, -2, 0), True), ((0, 0, 0, -2), True), ((0, 0, 0, 2), True), ((0, 0, 2, 0), True), ((0, 1, -2, 0), True), ((0, 1, 0, -2), True), ((0, 1, 0, 2), True), ((0, 1, 2, 0), True), ((0, 3, -2, 0), True), ((0, 3, 0, -2), True), ((0, 3, 0, 2), True), ((0, 3, 2, 0), True), ((0, 4, -2, 0), True), ((0, 4, 0, -2), True), ((0, 4, 0, 2), True), ((0, 4, 2, 0), True), ((1, 0, -2, 0), True), ((1, 0, 0, -2), True), ((1, 0, 0, 2), True), ((1, 0, 2, 0), True), ((1, 2, -2, -2), True), ((1, 2, -2, 2), True), ((1, 2, 2, -2), True), ((1, 2, 2, 2), True), ((1, 4, -2, 0), True), ((1, 4, 0, -2), True), ((1, 4, 0, 2), True), ((1, 4, 2, 0), True), ((2, 1, -2, 0), True), ((2, 1, 0, -2), True), ((2, 1, 0, 2), True), ((2, 1, 2, 0), True), ((2, 4, -2, 0), True), ((2, 4, 0, -2), True), ((2, 4, 0, 2), True), ((2, 4, 2, 0), True), ((3, 1, -2, 0), True), ((3, 1, 0, -2), True), ((3, 1, 0, 2), True), ((3, 1, 2, 0), True), ((3, 2, -2, 0), True), ((3, 2, 0, -2), True), ((3, 2, 0, 2), True), ((3, 2, 2, 0), True), ((3, 3, -2, 0), True), ((3, 3, 0, -2), True), ((3, 3, 0, 2), True), ((3, 3, 2, 0), True)]\n",
            "(-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3) -1 3\n",
            "[((-2, 1, -3, -1), True), ((-2, 1, -3, 0), True), ((-2, 1, -3, 1), True), ((-2, 1, -2, -1), True), ((-2, 1, -2, 0), True), ((-2, 1, -2, 1), True), ((-2, 1, -1, -3), True), ((-2, 1, -1, -2), True), ((-2, 1, -1, 0), True), ((-2, 1, -1, 2), True), ((-2, 1, -1, 3), True), ((-2, 1, 0, -3), True), ((-2, 1, 0, -2), True), ((-2, 1, 0, -1), True), ((-2, 1, 0, 1), True), ((-2, 1, 0, 2), True), ((-2, 1, 0, 3), True), ((-2, 1, 1, -3), True), ((-2, 1, 1, -2), True), ((-2, 1, 1, 0), True), ((-2, 1, 1, 2), True), ((-2, 1, 1, 3), True), ((-2, 1, 2, -1), True), ((-2, 1, 2, 0), True), ((-2, 1, 2, 1), True), ((-2, 1, 3, -1), True), ((-2, 1, 3, 0), True), ((-2, 1, 3, 1), True), ((-1, 0, -2, 0), True), ((-1, 0, 0, -2), True), ((-1, 0, 0, 2), True), ((-1, 0, 2, 0), True), ((-1, 2, -2, 0), True), ((-1, 2, 0, -2), True), ((-1, 2, 0, 2), True), ((-1, 2, 2, 0), True), ((-1, 3, -3, -1), True), ((-1, 3, -3, 0), True), ((-1, 3, -3, 1), True), ((-1, 3, -2, -1), True), ((-1, 3, -2, 0), True), ((-1, 3, -2, 1), True), ((-1, 3, -1, -3), True), ((-1, 3, -1, -2), True), ((-1, 3, -1, 0), True), ((-1, 3, -1, 2), True), ((-1, 3, -1, 3), True), ((-1, 3, 0, -3), True), ((-1, 3, 0, -2), True), ((-1, 3, 0, -1), True), ((-1, 3, 0, 1), True), ((-1, 3, 0, 2), True), ((-1, 3, 0, 3), True), ((-1, 3, 1, -3), True), ((-1, 3, 1, -2), True), ((-1, 3, 1, 0), True), ((-1, 3, 1, 2), True), ((-1, 3, 1, 3), True), ((-1, 3, 2, -1), True), ((-1, 3, 2, 0), True), ((-1, 3, 2, 1), True), ((-1, 3, 3, -1), True), ((-1, 3, 3, 0), True), ((-1, 3, 3, 1), True), ((0, -1, -3, -1), True), ((0, -1, -3, 0), True), ((0, -1, -3, 1), True), ((0, -1, -2, -1), True), ((0, -1, -2, 0), True), ((0, -1, -2, 1), True), ((0, -1, -1, -3), True), ((0, -1, -1, -2), True), ((0, -1, -1, 0), True), ((0, -1, -1, 2), True), ((0, -1, -1, 3), True), ((0, -1, 0, -3), True), ((0, -1, 0, -2), True), ((0, -1, 0, -1), True), ((0, -1, 0, 1), True), ((0, -1, 0, 2), True), ((0, -1, 0, 3), True), ((0, -1, 1, -3), True), ((0, -1, 1, -2), True), ((0, -1, 1, 0), True), ((0, -1, 1, 2), True), ((0, -1, 1, 3), True), ((0, -1, 2, -1), True), ((0, -1, 2, 0), True), ((0, -1, 2, 1), True), ((0, -1, 3, -1), True), ((0, -1, 3, 0), True), ((0, -1, 3, 1), True), ((0, 3, -2, 0), True), ((0, 3, 0, -2), True), ((0, 3, 0, 2), True), ((0, 3, 2, 0), True), ((0, 4, -3, -1), True), ((0, 4, -3, 0), True), ((0, 4, -3, 1), True), ((0, 4, -2, -1), True), ((0, 4, -2, 0), True), ((0, 4, -2, 1), True), ((0, 4, -1, -3), True), ((0, 4, -1, -2), True), ((0, 4, -1, 0), True), ((0, 4, -1, 2), True), ((0, 4, -1, 3), True), ((0, 4, 0, -3), True), ((0, 4, 0, -2), True), ((0, 4, 0, -1), True), ((0, 4, 0, 1), True), ((0, 4, 0, 2), True), ((0, 4, 0, 3), True), ((0, 4, 1, -3), True), ((0, 4, 1, -2), True), ((0, 4, 1, 0), True), ((0, 4, 1, 2), True), ((0, 4, 1, 3), True), ((0, 4, 2, -1), True), ((0, 4, 2, 0), True), ((0, 4, 2, 1), True), ((0, 4, 3, -1), True), ((0, 4, 3, 0), True), ((0, 4, 3, 1), True), ((1, 0, -2, 0), True), ((1, 0, 0, -2), True), ((1, 0, 0, 2), True), ((1, 0, 2, 0), True), ((1, 2, -3, 0), True), ((1, 2, -2, 0), True), ((1, 2, -1, 0), True), ((1, 2, 0, -3), True), ((1, 2, 0, -2), True), ((1, 2, 0, -1), True), ((1, 2, 0, 1), True), ((1, 2, 0, 2), True), ((1, 2, 0, 3), True), ((1, 2, 1, 0), True), ((1, 2, 2, 0), True), ((1, 2, 3, 0), True), ((1, 4, -2, 0), True), ((1, 4, 0, -2), True), ((1, 4, 0, 2), True), ((1, 4, 2, 0), True), ((1, 5, -3, -1), True), ((1, 5, -3, 0), True), ((1, 5, -3, 1), True), ((1, 5, -2, -1), True), ((1, 5, -2, 0), True), ((1, 5, -2, 1), True), ((1, 5, -1, -3), True), ((1, 5, -1, -2), True), ((1, 5, -1, 0), True), ((1, 5, -1, 2), True), ((1, 5, -1, 3), True), ((1, 5, 0, -3), True), ((1, 5, 0, -2), True), ((1, 5, 0, -1), True), ((1, 5, 0, 1), True), ((1, 5, 0, 2), True), ((1, 5, 0, 3), True), ((1, 5, 1, -3), True), ((1, 5, 1, -2), True), ((1, 5, 1, 0), True), ((1, 5, 1, 2), True), ((1, 5, 1, 3), True), ((1, 5, 2, -1), True), ((1, 5, 2, 0), True), ((1, 5, 2, 1), True), ((1, 5, 3, -1), True), ((1, 5, 3, 0), True), ((1, 5, 3, 1), True), ((2, 0, -3, -1), True), ((2, 0, -3, 0), True), ((2, 0, -3, 1), True), ((2, 0, -2, -1), True), ((2, 0, -2, 0), True), ((2, 0, -2, 1), True), ((2, 0, -1, -3), True), ((2, 0, -1, -2), True), ((2, 0, -1, 0), True), ((2, 0, -1, 2), True), ((2, 0, -1, 3), True), ((2, 0, 0, -3), True), ((2, 0, 0, -2), True), ((2, 0, 0, -1), True), ((2, 0, 0, 1), True), ((2, 0, 0, 2), True), ((2, 0, 0, 3), True), ((2, 0, 1, -3), True), ((2, 0, 1, -2), True), ((2, 0, 1, 0), True), ((2, 0, 1, 2), True), ((2, 0, 1, 3), True), ((2, 0, 2, -1), True), ((2, 0, 2, 0), True), ((2, 0, 2, 1), True), ((2, 0, 3, -1), True), ((2, 0, 3, 0), True), ((2, 0, 3, 1), True), ((2, 1, -2, 0), True), ((2, 1, 0, -2), True), ((2, 1, 0, 2), True), ((2, 1, 2, 0), True), ((2, 4, -3, -1), True), ((2, 4, -3, 0), True), ((2, 4, -3, 1), True), ((2, 4, -2, -1), True), ((2, 4, -2, 0), True), ((2, 4, -2, 1), True), ((2, 4, -1, -3), True), ((2, 4, -1, -2), True), ((2, 4, -1, 0), True), ((2, 4, -1, 2), True), ((2, 4, -1, 3), True), ((2, 4, 0, -3), True), ((2, 4, 0, -2), True), ((2, 4, 0, -1), True), ((2, 4, 0, 1), True), ((2, 4, 0, 2), True), ((2, 4, 0, 3), True), ((2, 4, 1, -3), True), ((2, 4, 1, -2), True), ((2, 4, 1, 0), True), ((2, 4, 1, 2), True), ((2, 4, 1, 3), True), ((2, 4, 2, -1), True), ((2, 4, 2, 0), True), ((2, 4, 2, 1), True), ((2, 4, 3, -1), True), ((2, 4, 3, 0), True), ((2, 4, 3, 1), True), ((3, 1, -3, -1), True), ((3, 1, -3, 0), True), ((3, 1, -3, 1), True), ((3, 1, -2, -1), True), ((3, 1, -2, 0), True), ((3, 1, -2, 1), True), ((3, 1, -1, -3), True), ((3, 1, -1, -2), True), ((3, 1, -1, 0), True), ((3, 1, -1, 2), True), ((3, 1, -1, 3), True), ((3, 1, 0, -3), True), ((3, 1, 0, -2), True), ((3, 1, 0, -1), True), ((3, 1, 0, 1), True), ((3, 1, 0, 2), True), ((3, 1, 0, 3), True), ((3, 1, 1, -3), True), ((3, 1, 1, -2), True), ((3, 1, 1, 0), True), ((3, 1, 1, 2), True), ((3, 1, 1, 3), True), ((3, 1, 2, -1), True), ((3, 1, 2, 0), True), ((3, 1, 2, 1), True), ((3, 1, 3, -1), True), ((3, 1, 3, 0), True), ((3, 1, 3, 1), True), ((3, 2, -2, 0), True), ((3, 2, 0, -2), True), ((3, 2, 0, 2), True), ((3, 2, 2, 0), True), ((3, 3, -3, -1), True), ((3, 3, -3, 0), True), ((3, 3, -3, 1), True), ((3, 3, -2, -1), True), ((3, 3, -2, 0), True), ((3, 3, -2, 1), True), ((3, 3, -1, -3), True), ((3, 3, -1, -2), True), ((3, 3, -1, 0), True), ((3, 3, -1, 2), True), ((3, 3, -1, 3), True), ((3, 3, 0, -3), True), ((3, 3, 0, -2), True), ((3, 3, 0, -1), True), ((3, 3, 0, 1), True), ((3, 3, 0, 2), True), ((3, 3, 0, 3), True), ((3, 3, 1, -3), True), ((3, 3, 1, -2), True), ((3, 3, 1, 0), True), ((3, 3, 1, 2), True), ((3, 3, 1, 3), True), ((3, 3, 2, -1), True), ((3, 3, 2, 0), True), ((3, 3, 2, 1), True), ((3, 3, 3, -1), True), ((3, 3, 3, 0), True), ((3, 3, 3, 1), True), ((4, 2, -3, -1), True), ((4, 2, -3, 0), True), ((4, 2, -3, 1), True), ((4, 2, -2, -1), True), ((4, 2, -2, 0), True), ((4, 2, -2, 1), True), ((4, 2, -1, -3), True), ((4, 2, -1, -2), True), ((4, 2, -1, 0), True), ((4, 2, -1, 2), True), ((4, 2, -1, 3), True), ((4, 2, 0, -3), True), ((4, 2, 0, -2), True), ((4, 2, 0, -1), True), ((4, 2, 0, 1), True), ((4, 2, 0, 2), True), ((4, 2, 0, 3), True), ((4, 2, 1, -3), True), ((4, 2, 1, -2), True), ((4, 2, 1, 0), True), ((4, 2, 1, 2), True), ((4, 2, 1, 3), True), ((4, 2, 2, -1), True), ((4, 2, 2, 0), True), ((4, 2, 2, 1), True), ((4, 2, 3, -1), True), ((4, 2, 3, 0), True), ((4, 2, 3, 1), True)]\n",
            "(-2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4) -2 4\n",
            "[((-3, 0, -4, 0), True), ((-3, 0, 0, -4), True), ((-3, 0, 0, 4), True), ((-3, 0, 4, 0), True), ((-3, 1, -4, 0), True), ((-3, 1, 0, -4), True), ((-3, 1, 0, 4), True), ((-3, 1, 4, 0), True), ((-3, 2, -4, 0), True), ((-3, 2, 0, -4), True), ((-3, 2, 0, 4), True), ((-3, 2, 4, 0), True), ((-2, 0, -4, 0), True), ((-2, 0, 0, -4), True), ((-2, 0, 0, 4), True), ((-2, 0, 4, 0), True), ((-2, 1, -4, 0), True), ((-2, 1, 0, -4), True), ((-2, 1, 0, 4), True), ((-2, 1, 4, 0), True), ((-2, 3, -4, 0), True), ((-2, 3, 0, -4), True), ((-2, 3, 0, 4), True), ((-2, 3, 4, 0), True), ((-2, 4, -4, 0), True), ((-2, 4, 0, -4), True), ((-2, 4, 0, 4), True), ((-2, 4, 4, 0), True), ((-1, -2, -4, 0), True), ((-1, -2, 0, -4), True), ((-1, -2, 0, 4), True), ((-1, -2, 4, 0), True), ((-1, -1, -4, 0), True), ((-1, -1, 0, -4), True), ((-1, -1, 0, 4), True), ((-1, -1, 4, 0), True), ((-1, 1, -4, 0), True), ((-1, 1, 0, -4), True), ((-1, 1, 0, 4), True), ((-1, 1, 4, 0), True), ((-1, 5, -4, 0), True), ((-1, 5, 0, -4), True), ((-1, 5, 0, 4), True), ((-1, 5, 4, 0), True), ((0, -2, -4, 0), True), ((0, -2, 0, -4), True), ((0, -2, 0, 4), True), ((0, -2, 4, 0), True), ((0, -1, -4, 0), True), ((0, -1, 0, -4), True), ((0, -1, 0, 4), True), ((0, -1, 4, 0), True), ((0, 0, -4, 0), True), ((0, 0, 0, -4), True), ((0, 0, 0, 4), True), ((0, 0, 4, 0), True), ((0, 2, -4, -1), True), ((0, 2, -4, 1), True), ((0, 2, -1, -4), True), ((0, 2, -1, 4), True), ((0, 2, 1, -4), True), ((0, 2, 1, 4), True), ((0, 2, 4, -1), True), ((0, 2, 4, 1), True), ((0, 4, -4, -2), True), ((0, 4, -4, 2), True), ((0, 4, -2, -4), True), ((0, 4, -2, 4), True), ((0, 4, 2, -4), True), ((0, 4, 2, 4), True), ((0, 4, 4, -2), True), ((0, 4, 4, 2), True), ((0, 6, -4, 0), True), ((0, 6, 0, -4), True), ((0, 6, 0, 4), True), ((0, 6, 4, 0), True), ((1, -2, -4, 0), True), ((1, -2, 0, -4), True), ((1, -2, 0, 4), True), ((1, -2, 4, 0), True), ((1, 1, -4, -1), True), ((1, 1, -4, 1), True), ((1, 1, -1, -4), True), ((1, 1, -1, 4), True), ((1, 1, 1, -4), True), ((1, 1, 1, 4), True), ((1, 1, 4, -1), True), ((1, 1, 4, 1), True), ((1, 2, -3, 0), True), ((1, 2, 0, -3), True), ((1, 2, 0, 3), True), ((1, 2, 3, 0), True), ((1, 4, -4, -2), True), ((1, 4, -4, 2), True), ((1, 4, -2, -4), True), ((1, 4, -2, 4), True), ((1, 4, 2, -4), True), ((1, 4, 2, 4), True), ((1, 4, 4, -2), True), ((1, 4, 4, 2), True), ((1, 5, -4, -2), True), ((1, 5, -4, 2), True), ((1, 5, -2, -4), True), ((1, 5, -2, 4), True), ((1, 5, 2, -4), True), ((1, 5, 2, 4), True), ((1, 5, 4, -2), True), ((1, 5, 4, 2), True), ((1, 6, -4, 0), True), ((1, 6, 0, -4), True), ((1, 6, 0, 4), True), ((1, 6, 4, 0), True), ((2, -1, -4, 0), True), ((2, -1, 0, -4), True), ((2, -1, 0, 4), True), ((2, -1, 4, 0), True), ((2, 4, -4, -2), True), ((2, 4, -4, 2), True), ((2, 4, -2, -4), True), ((2, 4, -2, 4), True), ((2, 4, 2, -4), True), ((2, 4, 2, 4), True), ((2, 4, 4, -2), True), ((2, 4, 4, 2), True), ((2, 6, -4, 0), True), ((2, 6, 0, -4), True), ((2, 6, 0, 4), True), ((2, 6, 4, 0), True), ((3, -1, -4, 0), True), ((3, -1, 0, -4), True), ((3, -1, 0, 4), True), ((3, -1, 4, 0), True), ((3, 1, -4, -2), True), ((3, 1, -4, 2), True), ((3, 1, -2, -4), True), ((3, 1, -2, 4), True), ((3, 1, 2, -4), True), ((3, 1, 2, 4), True), ((3, 1, 4, -2), True), ((3, 1, 4, 2), True), ((3, 2, -4, -2), True), ((3, 2, -4, 2), True), ((3, 2, -2, -4), True), ((3, 2, -2, 4), True), ((3, 2, 2, -4), True), ((3, 2, 2, 4), True), ((3, 2, 4, -2), True), ((3, 2, 4, 2), True), ((3, 3, -4, -2), True), ((3, 3, -4, 2), True), ((3, 3, -2, -4), True), ((3, 3, -2, 4), True), ((3, 3, 2, -4), True), ((3, 3, 2, 4), True), ((3, 3, 4, -2), True), ((3, 3, 4, 2), True), ((3, 5, -4, 0), True), ((3, 5, 0, -4), True), ((3, 5, 0, 4), True), ((3, 5, 4, 0), True), ((4, 0, -4, 0), True), ((4, 0, 0, -4), True), ((4, 0, 0, 4), True), ((4, 0, 4, 0), True), ((4, 2, -4, -2), True), ((4, 2, -4, 2), True), ((4, 2, -2, -4), True), ((4, 2, -2, 4), True), ((4, 2, 2, -4), True), ((4, 2, 2, 4), True), ((4, 2, 4, -2), True), ((4, 2, 4, 2), True), ((4, 4, -4, 0), True), ((4, 4, 0, -4), True), ((4, 4, 0, 4), True), ((4, 4, 4, 0), True), ((5, 1, -4, 0), True), ((5, 1, 0, -4), True), ((5, 1, 0, 4), True), ((5, 1, 4, 0), True), ((5, 2, -4, 0), True), ((5, 2, 0, -4), True), ((5, 2, 0, 4), True), ((5, 2, 4, 0), True), ((5, 3, -4, 0), True), ((5, 3, 0, -4), True), ((5, 3, 0, 4), True), ((5, 3, 4, 0), True)]\n",
            "(-3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5) -3 5\n",
            "[((-4, 1, -5, -1), True), ((-4, 1, -5, 0), True), ((-4, 1, -5, 1), True), ((-4, 1, -4, -1), True), ((-4, 1, -4, 0), True), ((-4, 1, -4, 1), True), ((-4, 1, -3, -1), True), ((-4, 1, -3, 0), True), ((-4, 1, -3, 1), True), ((-4, 1, -1, -5), True), ((-4, 1, -1, -4), True), ((-4, 1, -1, -3), True), ((-4, 1, -1, 3), True), ((-4, 1, -1, 4), True), ((-4, 1, -1, 5), True), ((-4, 1, 0, -5), True), ((-4, 1, 0, -4), True), ((-4, 1, 0, -3), True), ((-4, 1, 0, 3), True), ((-4, 1, 0, 4), True), ((-4, 1, 0, 5), True), ((-4, 1, 1, -5), True), ((-4, 1, 1, -4), True), ((-4, 1, 1, -3), True), ((-4, 1, 1, 3), True), ((-4, 1, 1, 4), True), ((-4, 1, 1, 5), True), ((-4, 1, 3, -1), True), ((-4, 1, 3, 0), True), ((-4, 1, 3, 1), True), ((-4, 1, 4, -1), True), ((-4, 1, 4, 0), True), ((-4, 1, 4, 1), True), ((-4, 1, 5, -1), True), ((-4, 1, 5, 0), True), ((-4, 1, 5, 1), True), ((-3, 0, -4, 0), True), ((-3, 0, 0, -4), True), ((-3, 0, 0, 4), True), ((-3, 0, 4, 0), True), ((-3, 2, -4, 0), True), ((-3, 2, 0, -4), True), ((-3, 2, 0, 4), True), ((-3, 2, 4, 0), True), ((-3, 3, -5, -1), True), ((-3, 3, -5, 0), True), ((-3, 3, -5, 1), True), ((-3, 3, -4, -1), True), ((-3, 3, -4, 0), True), ((-3, 3, -4, 1), True), ((-3, 3, -3, -1), True), ((-3, 3, -3, 0), True), ((-3, 3, -3, 1), True), ((-3, 3, -1, -5), True), ((-3, 3, -1, -4), True), ((-3, 3, -1, -3), True), ((-3, 3, -1, 3), True), ((-3, 3, -1, 4), True), ((-3, 3, -1, 5), True), ((-3, 3, 0, -5), True), ((-3, 3, 0, -4), True), ((-3, 3, 0, -3), True), ((-3, 3, 0, 3), True), ((-3, 3, 0, 4), True), ((-3, 3, 0, 5), True), ((-3, 3, 1, -5), True), ((-3, 3, 1, -4), True), ((-3, 3, 1, -3), True), ((-3, 3, 1, 3), True), ((-3, 3, 1, 4), True), ((-3, 3, 1, 5), True), ((-3, 3, 3, -1), True), ((-3, 3, 3, 0), True), ((-3, 3, 3, 1), True), ((-3, 3, 4, -1), True), ((-3, 3, 4, 0), True), ((-3, 3, 4, 1), True), ((-3, 3, 5, -1), True), ((-3, 3, 5, 0), True), ((-3, 3, 5, 1), True), ((-2, 3, -5, -1), True), ((-2, 3, -5, 0), True), ((-2, 3, -5, 1), True), ((-2, 3, -4, -1), True), ((-2, 3, -4, 0), True), ((-2, 3, -4, 1), True), ((-2, 3, -3, -1), True), ((-2, 3, -3, 0), True), ((-2, 3, -3, 1), True), ((-2, 3, -1, -5), True), ((-2, 3, -1, -4), True), ((-2, 3, -1, -3), True), ((-2, 3, -1, 3), True), ((-2, 3, -1, 4), True), ((-2, 3, -1, 5), True), ((-2, 3, 0, -5), True), ((-2, 3, 0, -4), True), ((-2, 3, 0, -3), True), ((-2, 3, 0, 3), True), ((-2, 3, 0, 4), True), ((-2, 3, 0, 5), True), ((-2, 3, 1, -5), True), ((-2, 3, 1, -4), True), ((-2, 3, 1, -3), True), ((-2, 3, 1, 3), True), ((-2, 3, 1, 4), True), ((-2, 3, 1, 5), True), ((-2, 3, 3, -1), True), ((-2, 3, 3, 0), True), ((-2, 3, 3, 1), True), ((-2, 3, 4, -1), True), ((-2, 3, 4, 0), True), ((-2, 3, 4, 1), True), ((-2, 3, 5, -1), True), ((-2, 3, 5, 0), True), ((-2, 3, 5, 1), True), ((-2, 4, -5, -1), True), ((-2, 4, -5, 0), True), ((-2, 4, -5, 1), True), ((-2, 4, -4, -1), True), ((-2, 4, -4, 0), True), ((-2, 4, -4, 1), True), ((-2, 4, -3, -1), True), ((-2, 4, -3, 0), True), ((-2, 4, -3, 1), True), ((-2, 4, -1, -5), True), ((-2, 4, -1, -4), True), ((-2, 4, -1, -3), True), ((-2, 4, -1, 3), True), ((-2, 4, -1, 4), True), ((-2, 4, -1, 5), True), ((-2, 4, 0, -5), True), ((-2, 4, 0, -4), True), ((-2, 4, 0, -3), True), ((-2, 4, 0, 3), True), ((-2, 4, 0, 4), True), ((-2, 4, 0, 5), True), ((-2, 4, 1, -5), True), ((-2, 4, 1, -4), True), ((-2, 4, 1, -3), True), ((-2, 4, 1, 3), True), ((-2, 4, 1, 4), True), ((-2, 4, 1, 5), True), ((-2, 4, 3, -1), True), ((-2, 4, 3, 0), True), ((-2, 4, 3, 1), True), ((-2, 4, 4, -1), True), ((-2, 4, 4, 0), True), ((-2, 4, 4, 1), True), ((-2, 4, 5, -1), True), ((-2, 4, 5, 0), True), ((-2, 4, 5, 1), True), ((-1, -2, -4, 0), True), ((-1, -2, 0, -4), True), ((-1, -2, 0, 4), True), ((-1, -2, 4, 0), True), ((-1, 4, -5, 0), True), ((-1, 4, -4, 0), True), ((-1, 4, -3, 0), True), ((-1, 4, 0, -5), True), ((-1, 4, 0, -4), True), ((-1, 4, 0, -3), True), ((-1, 4, 0, 3), True), ((-1, 4, 0, 4), True), ((-1, 4, 0, 5), True), ((-1, 4, 3, 0), True), ((-1, 4, 4, 0), True), ((-1, 4, 5, 0), True), ((-1, 5, -5, 0), True), ((-1, 5, -4, 0), True), ((-1, 5, -3, 0), True), ((-1, 5, 0, -5), True), ((-1, 5, 0, -4), True), ((-1, 5, 0, -3), True), ((-1, 5, 0, 3), True), ((-1, 5, 0, 4), True), ((-1, 5, 0, 5), True), ((-1, 5, 3, 0), True), ((-1, 5, 4, 0), True), ((-1, 5, 5, 0), True), ((0, -3, -5, -1), True), ((0, -3, -5, 0), True), ((0, -3, -5, 1), True), ((0, -3, -4, -1), True), ((0, -3, -4, 0), True), ((0, -3, -4, 1), True), ((0, -3, -3, -1), True), ((0, -3, -3, 0), True), ((0, -3, -3, 1), True), ((0, -3, -1, -5), True), ((0, -3, -1, -4), True), ((0, -3, -1, -3), True), ((0, -3, -1, 3), True), ((0, -3, -1, 4), True), ((0, -3, -1, 5), True), ((0, -3, 0, -5), True), ((0, -3, 0, -4), True), ((0, -3, 0, -3), True), ((0, -3, 0, 3), True), ((0, -3, 0, 4), True), ((0, -3, 0, 5), True), ((0, -3, 1, -5), True), ((0, -3, 1, -4), True), ((0, -3, 1, -3), True), ((0, -3, 1, 3), True), ((0, -3, 1, 4), True), ((0, -3, 1, 5), True), ((0, -3, 3, -1), True), ((0, -3, 3, 0), True), ((0, -3, 3, 1), True), ((0, -3, 4, -1), True), ((0, -3, 4, 0), True), ((0, -3, 4, 1), True), ((0, -3, 5, -1), True), ((0, -3, 5, 0), True), ((0, -3, 5, 1), True), ((0, 2, -5, -1), True), ((0, 2, -5, 1), True), ((0, 2, -4, -1), True), ((0, 2, -4, 1), True), ((0, 2, -1, -5), True), ((0, 2, -1, -4), True), ((0, 2, -1, 4), True), ((0, 2, -1, 5), True), ((0, 2, 1, -5), True), ((0, 2, 1, -4), True), ((0, 2, 1, 4), True), ((0, 2, 1, 5), True), ((0, 2, 4, -1), True), ((0, 2, 4, 1), True), ((0, 2, 5, -1), True), ((0, 2, 5, 1), True), ((0, 3, -5, -2), True), ((0, 3, -5, -1), True), ((0, 3, -5, 1), True), ((0, 3, -5, 2), True), ((0, 3, -4, -2), True), ((0, 3, -4, 0), True), ((0, 3, -4, 2), True), ((0, 3, -3, -2), True), ((0, 3, -3, 0), True), ((0, 3, -3, 2), True), ((0, 3, -2, -5), True), ((0, 3, -2, -4), True), ((0, 3, -2, -3), True), ((0, 3, -2, 3), True), ((0, 3, -2, 4), True), ((0, 3, -2, 5), True), ((0, 3, -1, -5), True), ((0, 3, -1, 5), True), ((0, 3, 0, -4), True), ((0, 3, 0, -3), True), ((0, 3, 0, 3), True), ((0, 3, 0, 4), True), ((0, 3, 1, -5), True), ((0, 3, 1, 5), True), ((0, 3, 2, -5), True), ((0, 3, 2, -4), True), ((0, 3, 2, -3), True), ((0, 3, 2, 3), True), ((0, 3, 2, 4), True), ((0, 3, 2, 5), True), ((0, 3, 3, -2), True), ((0, 3, 3, 0), True), ((0, 3, 3, 2), True), ((0, 3, 4, -2), True), ((0, 3, 4, 0), True), ((0, 3, 4, 2), True), ((0, 3, 5, -2), True), ((0, 3, 5, -1), True), ((0, 3, 5, 1), True), ((0, 3, 5, 2), True), ((0, 4, -5, -3), True), ((0, 4, -5, -2), True), ((0, 4, -5, 2), True), ((0, 4, -5, 3), True), ((0, 4, -4, -3), True), ((0, 4, -4, -2), True), ((0, 4, -4, 2), True), ((0, 4, -4, 3), True), ((0, 4, -3, -5), True), ((0, 4, -3, -4), True), ((0, 4, -3, -2), True), ((0, 4, -3, 2), True), ((0, 4, -3, 4), True), ((0, 4, -3, 5), True), ((0, 4, -2, -5), True), ((0, 4, -2, -4), True), ((0, 4, -2, -3), True), ((0, 4, -2, 3), True), ((0, 4, -2, 4), True), ((0, 4, -2, 5), True), ((0, 4, 2, -5), True), ((0, 4, 2, -4), True), ((0, 4, 2, -3), True), ((0, 4, 2, 3), True), ((0, 4, 2, 4), True), ((0, 4, 2, 5), True), ((0, 4, 3, -5), True), ((0, 4, 3, -4), True), ((0, 4, 3, -2), True), ((0, 4, 3, 2), True), ((0, 4, 3, 4), True), ((0, 4, 3, 5), True), ((0, 4, 4, -3), True), ((0, 4, 4, -2), True), ((0, 4, 4, 2), True), ((0, 4, 4, 3), True), ((0, 4, 5, -3), True), ((0, 4, 5, -2), True), ((0, 4, 5, 2), True), ((0, 4, 5, 3), True), ((0, 5, -5, -3), True), ((0, 5, -5, -2), True), ((0, 5, -5, 0), True), ((0, 5, -5, 2), True), ((0, 5, -5, 3), True), ((0, 5, -4, -3), True), ((0, 5, -4, -2), True), ((0, 5, -4, 0), True), ((0, 5, -4, 2), True), ((0, 5, -4, 3), True), ((0, 5, -3, -5), True), ((0, 5, -3, -4), True), ((0, 5, -3, -2), True), ((0, 5, -3, 0), True), ((0, 5, -3, 2), True), ((0, 5, -3, 4), True), ((0, 5, -3, 5), True), ((0, 5, -2, -5), True), ((0, 5, -2, -4), True), ((0, 5, -2, -3), True), ((0, 5, -2, 3), True), ((0, 5, -2, 4), True), ((0, 5, -2, 5), True), ((0, 5, 0, -5), True), ((0, 5, 0, -4), True), ((0, 5, 0, -3), True), ((0, 5, 0, 3), True), ((0, 5, 0, 4), True), ((0, 5, 0, 5), True), ((0, 5, 2, -5), True), ((0, 5, 2, -4), True), ((0, 5, 2, -3), True), ((0, 5, 2, 3), True), ((0, 5, 2, 4), True), ((0, 5, 2, 5), True), ((0, 5, 3, -5), True), ((0, 5, 3, -4), True), ((0, 5, 3, -2), True), ((0, 5, 3, 0), True), ((0, 5, 3, 2), True), ((0, 5, 3, 4), True), ((0, 5, 3, 5), True), ((0, 5, 4, -3), True), ((0, 5, 4, -2), True), ((0, 5, 4, 0), True), ((0, 5, 4, 2), True), ((0, 5, 4, 3), True), ((0, 5, 5, -3), True), ((0, 5, 5, -2), True), ((0, 5, 5, 0), True), ((0, 5, 5, 2), True), ((0, 5, 5, 3), True), ((0, 6, -5, 0), True), ((0, 6, -4, 0), True), ((0, 6, -3, 0), True), ((0, 6, 0, -5), True), ((0, 6, 0, -4), True), ((0, 6, 0, -3), True), ((0, 6, 0, 3), True), ((0, 6, 0, 4), True), ((0, 6, 0, 5), True), ((0, 6, 3, 0), True), ((0, 6, 4, 0), True), ((0, 6, 5, 0), True), ((1, -2, -4, 0), True), ((1, -2, 0, -4), True), ((1, -2, 0, 4), True), ((1, -2, 4, 0), True), ((1, 1, -5, -1), True), ((1, 1, -5, 1), True), ((1, 1, -4, -1), True), ((1, 1, -4, 1), True), ((1, 1, -1, -5), True), ((1, 1, -1, -4), True), ((1, 1, -1, 4), True), ((1, 1, -1, 5), True), ((1, 1, 1, -5), True), ((1, 1, 1, -4), True), ((1, 1, 1, 4), True), ((1, 1, 1, 5), True), ((1, 1, 4, -1), True), ((1, 1, 4, 1), True), ((1, 1, 5, -1), True), ((1, 1, 5, 1), True), ((1, 2, -4, -1), True), ((1, 2, -4, 1), True), ((1, 2, -3, -1), True), ((1, 2, -3, 1), True), ((1, 2, -1, -4), True), ((1, 2, -1, -3), True), ((1, 2, -1, 3), True), ((1, 2, -1, 4), True), ((1, 2, 1, -4), True), ((1, 2, 1, -3), True), ((1, 2, 1, 3), True), ((1, 2, 1, 4), True), ((1, 2, 3, -1), True), ((1, 2, 3, 1), True), ((1, 2, 4, -1), True), ((1, 2, 4, 1), True), ((1, 3, -5, -3), True), ((1, 3, -5, 3), True), ((1, 3, -4, -3), True), ((1, 3, -4, 0), True), ((1, 3, -4, 3), True), ((1, 3, -3, -5), True), ((1, 3, -3, -4), True), ((1, 3, -3, 0), True), ((1, 3, -3, 4), True), ((1, 3, -3, 5), True), ((1, 3, 0, -4), True), ((1, 3, 0, -3), True), ((1, 3, 0, 3), True), ((1, 3, 0, 4), True), ((1, 3, 3, -5), True), ((1, 3, 3, -4), True), ((1, 3, 3, 0), True), ((1, 3, 3, 4), True), ((1, 3, 3, 5), True), ((1, 3, 4, -3), True), ((1, 3, 4, 0), True), ((1, 3, 4, 3), True), ((1, 3, 5, -3), True), ((1, 3, 5, 3), True), ((1, 4, -4, -2), True), ((1, 4, -4, 2), True), ((1, 4, -2, -4), True), ((1, 4, -2, 4), True), ((1, 4, 2, -4), True), ((1, 4, 2, 4), True), ((1, 4, 4, -2), True), ((1, 4, 4, 2), True), ((1, 5, -5, 0), True), ((1, 5, -4, -2), True), ((1, 5, -4, 0), True), ((1, 5, -4, 2), True), ((1, 5, -3, 0), True), ((1, 5, -2, -4), True), ((1, 5, -2, 4), True), ((1, 5, 0, -5), True), ((1, 5, 0, -4), True), ((1, 5, 0, -3), True), ((1, 5, 0, 3), True), ((1, 5, 0, 4), True), ((1, 5, 0, 5), True), ((1, 5, 2, -4), True), ((1, 5, 2, 4), True), ((1, 5, 3, 0), True), ((1, 5, 4, -2), True), ((1, 5, 4, 0), True), ((1, 5, 4, 2), True), ((1, 5, 5, 0), True), ((1, 6, -5, 0), True), ((1, 6, -4, 0), True), ((1, 6, -3, 0), True), ((1, 6, 0, -5), True), ((1, 6, 0, -4), True), ((1, 6, 0, -3), True), ((1, 6, 0, 3), True), ((1, 6, 0, 4), True), ((1, 6, 0, 5), True), ((1, 6, 3, 0), True), ((1, 6, 4, 0), True), ((1, 6, 5, 0), True), ((1, 7, -5, -1), True), ((1, 7, -5, 0), True), ((1, 7, -5, 1), True), ((1, 7, -4, -1), True), ((1, 7, -4, 0), True), ((1, 7, -4, 1), True), ((1, 7, -3, -1), True), ((1, 7, -3, 0), True), ((1, 7, -3, 1), True), ((1, 7, -1, -5), True), ((1, 7, -1, -4), True), ((1, 7, -1, -3), True), ((1, 7, -1, 3), True), ((1, 7, -1, 4), True), ((1, 7, -1, 5), True), ((1, 7, 0, -5), True), ((1, 7, 0, -4), True), ((1, 7, 0, -3), True), ((1, 7, 0, 3), True), ((1, 7, 0, 4), True), ((1, 7, 0, 5), True), ((1, 7, 1, -5), True), ((1, 7, 1, -4), True), ((1, 7, 1, -3), True), ((1, 7, 1, 3), True), ((1, 7, 1, 4), True), ((1, 7, 1, 5), True), ((1, 7, 3, -1), True), ((1, 7, 3, 0), True), ((1, 7, 3, 1), True), ((1, 7, 4, -1), True), ((1, 7, 4, 0), True), ((1, 7, 4, 1), True), ((1, 7, 5, -1), True), ((1, 7, 5, 0), True), ((1, 7, 5, 1), True), ((2, -2, -5, -1), True), ((2, -2, -5, 0), True), ((2, -2, -5, 1), True), ((2, -2, -4, -1), True), ((2, -2, -4, 0), True), ((2, -2, -4, 1), True), ((2, -2, -3, -1), True), ((2, -2, -3, 0), True), ((2, -2, -3, 1), True), ((2, -2, -1, -5), True), ((2, -2, -1, -4), True), ((2, -2, -1, -3), True), ((2, -2, -1, 3), True), ((2, -2, -1, 4), True), ((2, -2, -1, 5), True), ((2, -2, 0, -5), True), ((2, -2, 0, -4), True), ((2, -2, 0, -3), True), ((2, -2, 0, 3), True), ((2, -2, 0, 4), True), ((2, -2, 0, 5), True), ((2, -2, 1, -5), True), ((2, -2, 1, -4), True), ((2, -2, 1, -3), True), ((2, -2, 1, 3), True), ((2, -2, 1, 4), True), ((2, -2, 1, 5), True), ((2, -2, 3, -1), True), ((2, -2, 3, 0), True), ((2, -2, 3, 1), True), ((2, -2, 4, -1), True), ((2, -2, 4, 0), True), ((2, -2, 4, 1), True), ((2, -2, 5, -1), True), ((2, -2, 5, 0), True), ((2, -2, 5, 1), True), ((2, -1, -5, -1), True), ((2, -1, -5, 0), True), ((2, -1, -5, 1), True), ((2, -1, -4, -1), True), ((2, -1, -4, 0), True), ((2, -1, -4, 1), True), ((2, -1, -3, -1), True), ((2, -1, -3, 0), True), ((2, -1, -3, 1), True), ((2, -1, -1, -5), True), ((2, -1, -1, -4), True), ((2, -1, -1, -3), True), ((2, -1, -1, 3), True), ((2, -1, -1, 4), True), ((2, -1, -1, 5), True), ((2, -1, 0, -5), True), ((2, -1, 0, -4), True), ((2, -1, 0, -3), True), ((2, -1, 0, 3), True), ((2, -1, 0, 4), True), ((2, -1, 0, 5), True), ((2, -1, 1, -5), True), ((2, -1, 1, -4), True), ((2, -1, 1, -3), True), ((2, -1, 1, 3), True), ((2, -1, 1, 4), True), ((2, -1, 1, 5), True), ((2, -1, 3, -1), True), ((2, -1, 3, 0), True), ((2, -1, 3, 1), True), ((2, -1, 4, -1), True), ((2, -1, 4, 0), True), ((2, -1, 4, 1), True), ((2, -1, 5, -1), True), ((2, -1, 5, 0), True), ((2, -1, 5, 1), True), ((2, 1, -5, -2), True), ((2, 1, -5, -1), True), ((2, 1, -5, 1), True), ((2, 1, -5, 2), True), ((2, 1, -4, -2), True), ((2, 1, -4, 0), True), ((2, 1, -4, 2), True), ((2, 1, -3, -2), True), ((2, 1, -3, 0), True), ((2, 1, -3, 2), True), ((2, 1, -2, -5), True), ((2, 1, -2, -4), True), ((2, 1, -2, -3), True), ((2, 1, -2, 3), True), ((2, 1, -2, 4), True), ((2, 1, -2, 5), True), ((2, 1, -1, -5), True), ((2, 1, -1, 5), True), ((2, 1, 0, -4), True), ((2, 1, 0, -3), True), ((2, 1, 0, 3), True), ((2, 1, 0, 4), True), ((2, 1, 1, -5), True), ((2, 1, 1, 5), True), ((2, 1, 2, -5), True), ((2, 1, 2, -4), True), ((2, 1, 2, -3), True), ((2, 1, 2, 3), True), ((2, 1, 2, 4), True), ((2, 1, 2, 5), True), ((2, 1, 3, -2), True), ((2, 1, 3, 0), True), ((2, 1, 3, 2), True), ((2, 1, 4, -2), True), ((2, 1, 4, 0), True), ((2, 1, 4, 2), True), ((2, 1, 5, -2), True), ((2, 1, 5, -1), True), ((2, 1, 5, 1), True), ((2, 1, 5, 2), True), ((2, 2, -5, -3), True), ((2, 2, -5, 3), True), ((2, 2, -4, -3), True), ((2, 2, -4, 0), True), ((2, 2, -4, 3), True), ((2, 2, -3, -5), True), ((2, 2, -3, -4), True), ((2, 2, -3, 0), True), ((2, 2, -3, 4), True), ((2, 2, -3, 5), True), ((2, 2, 0, -4), True), ((2, 2, 0, -3), True), ((2, 2, 0, 3), True), ((2, 2, 0, 4), True), ((2, 2, 3, -5), True), ((2, 2, 3, -4), True), ((2, 2, 3, 0), True), ((2, 2, 3, 4), True), ((2, 2, 3, 5), True), ((2, 2, 4, -3), True), ((2, 2, 4, 0), True), ((2, 2, 4, 3), True), ((2, 2, 5, -3), True), ((2, 2, 5, 3), True), ((2, 4, -4, -2), True), ((2, 4, -4, 2), True), ((2, 4, -2, -4), True), ((2, 4, -2, 4), True), ((2, 4, 2, -4), True), ((2, 4, 2, 4), True), ((2, 4, 4, -2), True), ((2, 4, 4, 2), True), ((2, 5, -5, -3), True), ((2, 5, -5, -2), True), ((2, 5, -5, 0), True), ((2, 5, -5, 2), True), ((2, 5, -5, 3), True), ((2, 5, -4, -3), True), ((2, 5, -4, -2), True), ((2, 5, -4, 0), True), ((2, 5, -4, 2), True), ((2, 5, -4, 3), True), ((2, 5, -3, -5), True), ((2, 5, -3, -4), True), ((2, 5, -3, -2), True), ((2, 5, -3, 0), True), ((2, 5, -3, 2), True), ((2, 5, -3, 4), True), ((2, 5, -3, 5), True), ((2, 5, -2, -5), True), ((2, 5, -2, -4), True), ((2, 5, -2, -3), True), ((2, 5, -2, 3), True), ((2, 5, -2, 4), True), ((2, 5, -2, 5), True), ((2, 5, 0, -5), True), ((2, 5, 0, -4), True), ((2, 5, 0, -3), True), ((2, 5, 0, 3), True), ((2, 5, 0, 4), True), ((2, 5, 0, 5), True), ((2, 5, 2, -5), True), ((2, 5, 2, -4), True), ((2, 5, 2, -3), True), ((2, 5, 2, 3), True), ((2, 5, 2, 4), True), ((2, 5, 2, 5), True), ((2, 5, 3, -5), True), ((2, 5, 3, -4), True), ((2, 5, 3, -2), True), ((2, 5, 3, 0), True), ((2, 5, 3, 2), True), ((2, 5, 3, 4), True), ((2, 5, 3, 5), True), ((2, 5, 4, -3), True), ((2, 5, 4, -2), True), ((2, 5, 4, 0), True), ((2, 5, 4, 2), True), ((2, 5, 4, 3), True), ((2, 5, 5, -3), True), ((2, 5, 5, -2), True), ((2, 5, 5, 0), True), ((2, 5, 5, 2), True), ((2, 5, 5, 3), True), ((2, 6, -5, 0), True), ((2, 6, -4, 0), True), ((2, 6, -3, 0), True), ((2, 6, 0, -5), True), ((2, 6, 0, -4), True), ((2, 6, 0, -3), True), ((2, 6, 0, 3), True), ((2, 6, 0, 4), True), ((2, 6, 0, 5), True), ((2, 6, 3, 0), True), ((2, 6, 4, 0), True), ((2, 6, 5, 0), True), ((3, -1, -5, -1), True), ((3, -1, -5, 0), True), ((3, -1, -5, 1), True), ((3, -1, -4, -1), True), ((3, -1, -4, 0), True), ((3, -1, -4, 1), True), ((3, -1, -3, -1), True), ((3, -1, -3, 0), True), ((3, -1, -3, 1), True), ((3, -1, -1, -5), True), ((3, -1, -1, -4), True), ((3, -1, -1, -3), True), ((3, -1, -1, 3), True), ((3, -1, -1, 4), True), ((3, -1, -1, 5), True), ((3, -1, 0, -5), True), ((3, -1, 0, -4), True), ((3, -1, 0, -3), True), ((3, -1, 0, 3), True), ((3, -1, 0, 4), True), ((3, -1, 0, 5), True), ((3, -1, 1, -5), True), ((3, -1, 1, -4), True), ((3, -1, 1, -3), True), ((3, -1, 1, 3), True), ((3, -1, 1, 4), True), ((3, -1, 1, 5), True), ((3, -1, 3, -1), True), ((3, -1, 3, 0), True), ((3, -1, 3, 1), True), ((3, -1, 4, -1), True), ((3, -1, 4, 0), True), ((3, -1, 4, 1), True), ((3, -1, 5, -1), True), ((3, -1, 5, 0), True), ((3, -1, 5, 1), True), ((3, 0, -5, 0), True), ((3, 0, -4, 0), True), ((3, 0, -3, 0), True), ((3, 0, 0, -5), True), ((3, 0, 0, -4), True), ((3, 0, 0, -3), True), ((3, 0, 0, 3), True), ((3, 0, 0, 4), True), ((3, 0, 0, 5), True), ((3, 0, 3, 0), True), ((3, 0, 4, 0), True), ((3, 0, 5, 0), True), ((3, 1, -5, -3), True), ((3, 1, -5, -2), True), ((3, 1, -5, 2), True), ((3, 1, -5, 3), True), ((3, 1, -4, -3), True), ((3, 1, -4, -2), True), ((3, 1, -4, 2), True), ((3, 1, -4, 3), True), ((3, 1, -3, -5), True), ((3, 1, -3, -4), True), ((3, 1, -3, -2), True), ((3, 1, -3, 2), True), ((3, 1, -3, 4), True), ((3, 1, -3, 5), True), ((3, 1, -2, -5), True), ((3, 1, -2, -4), True), ((3, 1, -2, -3), True), ((3, 1, -2, 3), True), ((3, 1, -2, 4), True), ((3, 1, -2, 5), True), ((3, 1, 2, -5), True), ((3, 1, 2, -4), True), ((3, 1, 2, -3), True), ((3, 1, 2, 3), True), ((3, 1, 2, 4), True), ((3, 1, 2, 5), True), ((3, 1, 3, -5), True), ((3, 1, 3, -4), True), ((3, 1, 3, -2), True), ((3, 1, 3, 2), True), ((3, 1, 3, 4), True), ((3, 1, 3, 5), True), ((3, 1, 4, -3), True), ((3, 1, 4, -2), True), ((3, 1, 4, 2), True), ((3, 1, 4, 3), True), ((3, 1, 5, -3), True), ((3, 1, 5, -2), True), ((3, 1, 5, 2), True), ((3, 1, 5, 3), True), ((3, 2, -4, -2), True), ((3, 2, -4, 2), True), ((3, 2, -2, -4), True), ((3, 2, -2, 4), True), ((3, 2, 2, -4), True), ((3, 2, 2, 4), True), ((3, 2, 4, -2), True), ((3, 2, 4, 2), True), ((3, 3, -4, -2), True), ((3, 3, -4, 2), True), ((3, 3, -2, -4), True), ((3, 3, -2, 4), True), ((3, 3, 2, -4), True), ((3, 3, 2, 4), True), ((3, 3, 4, -2), True), ((3, 3, 4, 2), True), ((3, 5, -5, 0), True), ((3, 5, -4, 0), True), ((3, 5, -3, 0), True), ((3, 5, 0, -5), True), ((3, 5, 0, -4), True), ((3, 5, 0, -3), True), ((3, 5, 0, 3), True), ((3, 5, 0, 4), True), ((3, 5, 0, 5), True), ((3, 5, 3, 0), True), ((3, 5, 4, 0), True), ((3, 5, 5, 0), True), ((4, 0, -5, 0), True), ((4, 0, -4, 0), True), ((4, 0, -3, 0), True), ((4, 0, 0, -5), True), ((4, 0, 0, -4), True), ((4, 0, 0, -3), True), ((4, 0, 0, 3), True), ((4, 0, 0, 4), True), ((4, 0, 0, 5), True), ((4, 0, 3, 0), True), ((4, 0, 4, 0), True), ((4, 0, 5, 0), True), ((4, 1, -5, -3), True), ((4, 1, -5, -2), True), ((4, 1, -5, 0), True), ((4, 1, -5, 2), True), ((4, 1, -5, 3), True), ((4, 1, -4, -3), True), ((4, 1, -4, -2), True), ((4, 1, -4, 0), True), ((4, 1, -4, 2), True), ((4, 1, -4, 3), True), ((4, 1, -3, -5), True), ((4, 1, -3, -4), True), ((4, 1, -3, -2), True), ((4, 1, -3, 0), True), ((4, 1, -3, 2), True), ((4, 1, -3, 4), True), ((4, 1, -3, 5), True), ((4, 1, -2, -5), True), ((4, 1, -2, -4), True), ((4, 1, -2, -3), True), ((4, 1, -2, 3), True), ((4, 1, -2, 4), True), ((4, 1, -2, 5), True), ((4, 1, 0, -5), True), ((4, 1, 0, -4), True), ((4, 1, 0, -3), True), ((4, 1, 0, 3), True), ((4, 1, 0, 4), True), ((4, 1, 0, 5), True), ((4, 1, 2, -5), True), ((4, 1, 2, -4), True), ((4, 1, 2, -3), True), ((4, 1, 2, 3), True), ((4, 1, 2, 4), True), ((4, 1, 2, 5), True), ((4, 1, 3, -5), True), ((4, 1, 3, -4), True), ((4, 1, 3, -2), True), ((4, 1, 3, 0), True), ((4, 1, 3, 2), True), ((4, 1, 3, 4), True), ((4, 1, 3, 5), True), ((4, 1, 4, -3), True), ((4, 1, 4, -2), True), ((4, 1, 4, 0), True), ((4, 1, 4, 2), True), ((4, 1, 4, 3), True), ((4, 1, 5, -3), True), ((4, 1, 5, -2), True), ((4, 1, 5, 0), True), ((4, 1, 5, 2), True), ((4, 1, 5, 3), True), ((4, 2, -5, 0), True), ((4, 2, -4, -2), True), ((4, 2, -4, 0), True), ((4, 2, -4, 2), True), ((4, 2, -3, 0), True), ((4, 2, -2, -4), True), ((4, 2, -2, 4), True), ((4, 2, 0, -5), True), ((4, 2, 0, -4), True), ((4, 2, 0, -3), True), ((4, 2, 0, 3), True), ((4, 2, 0, 4), True), ((4, 2, 0, 5), True), ((4, 2, 2, -4), True), ((4, 2, 2, 4), True), ((4, 2, 3, 0), True), ((4, 2, 4, -2), True), ((4, 2, 4, 0), True), ((4, 2, 4, 2), True), ((4, 2, 5, 0), True), ((4, 3, -5, -3), True), ((4, 3, -5, -2), True), ((4, 3, -5, 0), True), ((4, 3, -5, 2), True), ((4, 3, -5, 3), True), ((4, 3, -4, -3), True), ((4, 3, -4, -2), True), ((4, 3, -4, 0), True), ((4, 3, -4, 2), True), ((4, 3, -4, 3), True), ((4, 3, -3, -5), True), ((4, 3, -3, -4), True), ((4, 3, -3, -2), True), ((4, 3, -3, 0), True), ((4, 3, -3, 2), True), ((4, 3, -3, 4), True), ((4, 3, -3, 5), True), ((4, 3, -2, -5), True), ((4, 3, -2, -4), True), ((4, 3, -2, -3), True), ((4, 3, -2, 3), True), ((4, 3, -2, 4), True), ((4, 3, -2, 5), True), ((4, 3, 0, -5), True), ((4, 3, 0, -4), True), ((4, 3, 0, -3), True), ((4, 3, 0, 3), True), ((4, 3, 0, 4), True), ((4, 3, 0, 5), True), ((4, 3, 2, -5), True), ((4, 3, 2, -4), True), ((4, 3, 2, -3), True), ((4, 3, 2, 3), True), ((4, 3, 2, 4), True), ((4, 3, 2, 5), True), ((4, 3, 3, -5), True), ((4, 3, 3, -4), True), ((4, 3, 3, -2), True), ((4, 3, 3, 0), True), ((4, 3, 3, 2), True), ((4, 3, 3, 4), True), ((4, 3, 3, 5), True), ((4, 3, 4, -3), True), ((4, 3, 4, -2), True), ((4, 3, 4, 0), True), ((4, 3, 4, 2), True), ((4, 3, 4, 3), True), ((4, 3, 5, -3), True), ((4, 3, 5, -2), True), ((4, 3, 5, 0), True), ((4, 3, 5, 2), True), ((4, 3, 5, 3), True), ((4, 4, -5, 0), True), ((4, 4, -4, 0), True), ((4, 4, -3, 0), True), ((4, 4, 0, -5), True), ((4, 4, 0, -4), True), ((4, 4, 0, -3), True), ((4, 4, 0, 3), True), ((4, 4, 0, 4), True), ((4, 4, 0, 5), True), ((4, 4, 3, 0), True), ((4, 4, 4, 0), True), ((4, 4, 5, 0), True), ((5, 1, -5, 0), True), ((5, 1, -4, 0), True), ((5, 1, -3, 0), True), ((5, 1, 0, -5), True), ((5, 1, 0, -4), True), ((5, 1, 0, -3), True), ((5, 1, 0, 3), True), ((5, 1, 0, 4), True), ((5, 1, 0, 5), True), ((5, 1, 3, 0), True), ((5, 1, 4, 0), True), ((5, 1, 5, 0), True), ((5, 2, -5, 0), True), ((5, 2, -4, 0), True), ((5, 2, -3, 0), True), ((5, 2, 0, -5), True), ((5, 2, 0, -4), True), ((5, 2, 0, -3), True), ((5, 2, 0, 3), True), ((5, 2, 0, 4), True), ((5, 2, 0, 5), True), ((5, 2, 3, 0), True), ((5, 2, 4, 0), True), ((5, 2, 5, 0), True), ((5, 3, -5, 0), True), ((5, 3, -4, 0), True), ((5, 3, -3, 0), True), ((5, 3, 0, -5), True), ((5, 3, 0, -4), True), ((5, 3, 0, -3), True), ((5, 3, 0, 3), True), ((5, 3, 0, 4), True), ((5, 3, 0, 5), True), ((5, 3, 3, 0), True), ((5, 3, 4, 0), True), ((5, 3, 5, 0), True), ((6, 2, -5, -1), True), ((6, 2, -5, 0), True), ((6, 2, -5, 1), True), ((6, 2, -4, -1), True), ((6, 2, -4, 0), True), ((6, 2, -4, 1), True), ((6, 2, -3, -1), True), ((6, 2, -3, 0), True), ((6, 2, -3, 1), True), ((6, 2, -1, -5), True), ((6, 2, -1, -4), True), ((6, 2, -1, -3), True), ((6, 2, -1, 3), True), ((6, 2, -1, 4), True), ((6, 2, -1, 5), True), ((6, 2, 0, -5), True), ((6, 2, 0, -4), True), ((6, 2, 0, -3), True), ((6, 2, 0, 3), True), ((6, 2, 0, 4), True), ((6, 2, 0, 5), True), ((6, 2, 1, -5), True), ((6, 2, 1, -4), True), ((6, 2, 1, -3), True), ((6, 2, 1, 3), True), ((6, 2, 1, 4), True), ((6, 2, 1, 5), True), ((6, 2, 3, -1), True), ((6, 2, 3, 0), True), ((6, 2, 3, 1), True), ((6, 2, 4, -1), True), ((6, 2, 4, 0), True), ((6, 2, 4, 1), True), ((6, 2, 5, -1), True), ((6, 2, 5, 0), True), ((6, 2, 5, 1), True)]\n",
            "(-4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -4, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -3, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -2, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6) -4 6\n"
          ],
          "name": "stdout"
        },
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "848"
            ]
          },
          "metadata": {
            "tags": []
          },
          "execution_count": 9
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "TZmgp4yVHxln",
        "outputId": "45164af1-8e41-4f69-8c6c-28952fa19c4e"
      },
      "source": [
        "main3(input, debug=False)"
      ],
      "execution_count": 10,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "2084"
            ]
          },
          "metadata": {
            "tags": []
          },
          "execution_count": 10
        }
      ]
    }
  ]
}