0303_more_or_tools_happiness.ipynb

{
  "nbformat": 4,
  "nbformat_minor": 0,
  "metadata": {
    "colab": {
      "provenance": [],
      "include_colab_link": true
    },
    "kernelspec": {
      "name": "python3",
      "display_name": "Python 3"
    },
    "language_info": {
      "name": "python"
    }
  },
  "cells": [
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "view-in-github",
        "colab_type": "text"
      },
      "source": [
        "<a href=\"https://colab.research.google.com/github/lmcanavals/cs_topics/blob/main/0303_more_or_tools_happiness.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "thxRAD5zL4Jk",
        "outputId": "6edb93a4-ada7-4622-9d34-a02bf39c067d"
      },
      "source": [
        "!pip install ortools"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Collecting ortools\n",
            "  Downloading ortools-9.0.9048-cp37-cp37m-manylinux1_x86_64.whl (14.4 MB)\n",
            "\u001b[K     |████████████████████████████████| 14.4 MB 95 kB/s \n",
            "\u001b[?25hRequirement already satisfied: protobuf>=3.15.8 in /usr/local/lib/python3.7/dist-packages (from ortools) (3.17.3)\n",
            "Requirement already satisfied: absl-py>=0.11 in /usr/local/lib/python3.7/dist-packages (from ortools) (0.12.0)\n",
            "Requirement already satisfied: six in /usr/local/lib/python3.7/dist-packages (from absl-py>=0.11->ortools) (1.15.0)\n",
            "Installing collected packages: ortools\n",
            "Successfully installed ortools-9.0.9048\n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "vVUS5Q8XMw03"
      },
      "source": [
        "from ortools.sat.python import cp_model"
      ],
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "HJk7TBQgPz_-"
      },
      "source": [
        "#First example"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "WPNHzwOoM1jO"
      },
      "source": [
        "#crear el modelo CSP\n",
        "model = cp_model.CpModel()"
      ],
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "iuosiAvoM7T2",
        "outputId": "5f89a625-71b9-473c-d388-c03ac9a499ea"
      },
      "source": [
        "#variables y dominios\n",
        "x = model.NewIntVar(0,2,'x')\n",
        "y = model.NewIntVar(0,2,'y')\n",
        "z = model.NewIntVar(0,2,'z')\n",
        "#restricciones\n",
        "model.Add(x != y)\n",
        "model.Add(y == z + 1)"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<ortools.sat.python.cp_model.Constraint at 0x7fa384c1c7d0>"
            ]
          },
          "metadata": {},
          "execution_count": 4
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "eS-octuCNjMn",
        "outputId": "9a955422-69f7-4869-ce8c-c6b23c726f1f"
      },
      "source": [
        "#crear el solver\n",
        "solver = cp_model.CpSolver()\n",
        "status = solver.Solve(model)\n",
        "\n",
        "if status == cp_model.OPTIMAL:\n",
        "  print('x = {:d}'.format(solver.Value(x)))\n",
        "  print('y = {:d}'.format(solver.Value(y)))\n",
        "  print('z = {:d}'.format(solver.Value(z)))"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "x = 0\n",
            "y = 1\n",
            "z = 0\n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "wh3NpxexPWlH"
      },
      "source": [
        "#Cryptogram"
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "R56K6mjXPYT3"
      },
      "source": [
        "##Brute-force"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "tutu2BtcPa3M",
        "outputId": "78e09e78-1c2b-4090-9d56-9133260e917d"
      },
      "source": [
        "def cryptogramBF():\n",
        "  for s in range(1,10):\n",
        "    for e in range(10):\n",
        "      for n in range(10):\n",
        "        for d in range(10):\n",
        "          for m in range(1,10):\n",
        "            for o in range(10):\n",
        "              for r in range(10):\n",
        "                for y in range(10):\n",
        "                  l = [s,e,n,d,m,o,r,y]\n",
        "                  c = set(l)\n",
        "                  if len(l) == len(c) and 1000*(s + m) + 100*(e + o) + 10*(n + r) + (d + e) == 10000*m + 1000*o + 100*n + 10*e + y:\n",
        "                    print(' ',s,e,n,d,'+')\n",
        "                    print(' ',m,o,r,e)\n",
        "                    print('---------')\n",
        "                    print(m,o,n,e,y)\n",
        "cryptogramBF()"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "  9 5 6 7 +\n",
            "  1 0 8 5\n",
            "---------\n",
            "1 0 6 5 2\n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "QJpQJxHuSzyf",
        "outputId": "e2f3d793-9f94-4e54-fb7c-2466f01bd56c"
      },
      "source": [
        "#crear CSP\n",
        "model = cp_model.CpModel()\n",
        "#variables y dominios\n",
        "s = model.NewIntVar(1,9,'s')\n",
        "e = model.NewIntVar(0,9,'e')\n",
        "n = model.NewIntVar(0,9,'n')\n",
        "d = model.NewIntVar(0,9,'d')\n",
        "m = model.NewIntVar(1,1,'m')\n",
        "o = model.NewIntVar(0,9,'o')\n",
        "r = model.NewIntVar(0,9,'r')\n",
        "y = model.NewIntVar(0,9,'y')\n",
        "v = [s,e,n,d,m,o,r,y]\n",
        "#restricciones\n",
        "model.Add(1000 * (s+m) + 100 * (e+o) + 10 * (n+r) + (d+e) == 10000*m+1000*o+100*n+10*e+y)\n",
        "model.AddAllDifferent(v)"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<ortools.sat.python.cp_model.Constraint at 0x7fa384c2fa90>"
            ]
          },
          "metadata": {},
          "execution_count": 7
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "r0unwWBRTroH",
        "outputId": "289252f7-e981-42ae-cb1e-ad981ddce3cb"
      },
      "source": [
        "solver = cp_model.CpSolver()\n",
        "status = solver.Solve(model)\n",
        "\n",
        "if status == cp_model.OPTIMAL:\n",
        "  s,e,n,d,m,o,r,y = solver.Value(s),solver.Value(e),solver.Value(n),solver.Value(d),solver.Value(m),solver.Value(o),solver.Value(r),solver.Value(y)\n",
        "  print(' ',s,e,n,d,'+')\n",
        "  print(' ',m,o,r,e)\n",
        "  print('---------')\n",
        "  print(m,o,n,e,y)"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "  9 5 6 7 +\n",
            "  1 0 8 5\n",
            "---------\n",
            "1 0 6 5 2\n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "watO7h1RVdtm",
        "outputId": "2c98afd2-694f-436d-80ea-1f8dcd001f59"
      },
      "source": [
        "print(solver.StatusName(4))"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "OPTIMAL\n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "PZDq3TbwbrWn"
      },
      "source": [
        "##Latin Square"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "fGO3xTNDbtX9"
      },
      "source": [
        "n = 9\n",
        "#crear CSP\n",
        "model = cp_model.CpModel()\n",
        "#variables y dominios\n",
        "grilla = []\n",
        "for i in range(n):\n",
        "  fila = []\n",
        "  for j in range(n):\n",
        "    fila += [model.NewIntVar(1,n,'x'+str(i)+str(j))]\n",
        "  #fila = [model.NewIntVar(1,n,'x'+str(i)+str(j)) for j in range(n)]\n",
        "  grilla += [fila]\n",
        "#print(grilla)\n",
        "#restricciones\n",
        "##toda fila tiene valores distintos\n",
        "for i in range(n):\n",
        "  model.AddAllDifferent(grilla[i])\n",
        "##toda columna tiene valores distintos\n",
        "for j in range(n):\n",
        "  #recuperar columna\n",
        "  c = [grilla[i][j] for i in range(n)]\n",
        "  #print(c)\n",
        "  model.AddAllDifferent(c)"
      ],
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "Gj3YDacFeJpO",
        "outputId": "406607b8-ef61-4158-a511-f4cc1c8faeca"
      },
      "source": [
        "solver = cp_model.CpSolver()\n",
        "status = solver.Solve(model)\n",
        "if status == cp_model.OPTIMAL:\n",
        "  for i in range(n):\n",
        "    for j in range(n):\n",
        "      print(solver.Value(grilla[i][j]),end=' ')\n",
        "    print()"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "1 2 4 7 5 6 8 9 3 \n",
            "6 4 9 8 7 5 3 1 2 \n",
            "3 7 6 9 8 1 2 4 5 \n",
            "4 8 2 1 9 3 7 5 6 \n",
            "5 3 1 4 2 8 9 6 7 \n",
            "7 1 8 5 3 9 6 2 4 \n",
            "9 5 3 6 4 2 1 7 8 \n",
            "8 9 7 2 6 4 5 3 1 \n",
            "2 6 5 3 1 7 4 8 9 \n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "nDXe-QjFf0bm"
      },
      "source": [
        "#Magic Square"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "oxwKqLLOf2Gd",
        "outputId": "ac6751d5-a2a3-4c06-9a07-61c0765b1a05"
      },
      "source": [
        "n = 4\n",
        "s = int((n**2)*(1+n**2)/(2*n))\n",
        "print(s)\n",
        "#crear CSP\n",
        "model = cp_model.CpModel()\n",
        "#variables y dominios\n",
        "grilla = []\n",
        "for i in range(n):\n",
        "  fila = []\n",
        "  for j in range(n):\n",
        "    fila += [model.NewIntVar(1,n**2,'x'+str(i)+str(j))]\n",
        "  grilla += [fila]\n",
        "#print(grilla)\n",
        "#restricciones\n",
        "##recuperar todos los valores de la grilla en un solo arreglo\n",
        "v = []\n",
        "for i in range(n):\n",
        "  v += grilla[i]\n",
        "#print(v)\n",
        "model.AddAllDifferent(v)\n",
        "##todas las filas deben sumar el mismo valor\n",
        "for i in range(n):\n",
        "  model.Add(sum(grilla[i]) == s)\n",
        "##todas las columnas deben sumar el mismo valor\n",
        "for j in range(n):\n",
        "  c = [grilla[i][j] for i in range(n)]\n",
        "  model.Add(sum(c) == s)"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "34\n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "tyO_nRpelOll",
        "outputId": "0d76a1c2-435b-4f51-cf73-2258054c52ea"
      },
      "source": [
        "#one solution\n",
        "solver = cp_model.CpSolver()\n",
        "status = solver.Solve(model)\n",
        "\n",
        "if status == cp_model.OPTIMAL:\n",
        "  for i in range(n):\n",
        "    for j in range(n):\n",
        "      print(solver.Value(grilla[i][j]),end=' ')\n",
        "    print()"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "1 2 16 15 \n",
            "12 5 9 8 \n",
            "10 14 3 7 \n",
            "11 13 6 4 \n"
          ]
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "id": "96iYItn_kyYV"
      },
      "source": [
        "class VarArraySolutionPrinter(cp_model.CpSolverSolutionCallback):\n",
        "    \"\"\"Print intermediate solutions.\"\"\"\n",
        "\n",
        "    def __init__(self, variables):\n",
        "        cp_model.CpSolverSolutionCallback.__init__(self)\n",
        "        self.__variables = variables\n",
        "        self.__solution_count = 0\n",
        "\n",
        "    def on_solution_callback(self):\n",
        "        self.__solution_count += 1\n",
        "        for v in self.__variables:\n",
        "            print('%s=%i' % (v, self.Value(v)), end=' ')\n",
        "        print()\n",
        "\n",
        "    def solution_count(self):\n",
        "        return self.__solution_count"
      ],
      "execution_count": null,
      "outputs": []
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "wH5UdE1Bg_K2",
        "outputId": "19c6ec25-3418-4add-abb1-c1579042d3bc"
      },
      "source": [
        "#all solutions\n",
        "solver = cp_model.CpSolver()\n",
        "solution_printer = VarArraySolutionPrinter(v)\n",
        "status = solver.SearchForAllSolutions(model,solution_printer)\n",
        "print(solution_printer.solution_count())"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "x00=16 x01=13 x02=2 x03=3 x10=9 x11=12 x12=7 x13=6 x20=8 x21=5 x22=10 x23=11 x30=1 x31=4 x32=15 x33=14 \n",
            "x00=7 x01=13 x02=10 x03=4 x10=14 x11=1 x12=3 x13=16 x20=5 x21=11 x22=6 x23=12 x30=8 x31=9 x32=15 x33=2 \n",
            "x00=3 x01=6 x02=10 x03=15 x10=16 x11=4 x12=9 x13=5 x20=1 x21=13 x22=8 x23=12 x30=14 x31=11 x32=7 x33=2 \n",
            "x00=16 x01=8 x02=6 x03=4 x10=1 x11=15 x12=5 x13=13 x20=14 x21=2 x22=11 x23=7 x30=3 x31=9 x32=12 x33=10 \n",
            "x00=2 x01=14 x02=15 x03=3 x10=11 x11=10 x12=7 x13=6 x20=5 x21=9 x22=8 x23=12 x30=16 x31=1 x32=4 x33=13 \n",
            "x00=1 x01=13 x02=12 x03=8 x10=15 x11=6 x12=3 x13=10 x20=16 x21=4 x22=5 x23=9 x30=2 x31=11 x32=14 x33=7 \n",
            "x00=2 x01=13 x02=16 x03=3 x10=7 x11=9 x12=12 x13=6 x20=14 x21=4 x22=1 x23=15 x30=11 x31=8 x32=5 x33=10 \n",
            "x00=5 x01=12 x02=4 x03=13 x10=11 x11=7 x12=14 x13=2 x20=8 x21=9 x22=1 x23=16 x30=10 x31=6 x32=15 x33=3 \n",
            "x00=10 x01=7 x02=11 x03=6 x10=14 x11=13 x12=3 x13=4 x20=1 x21=12 x22=5 x23=16 x30=9 x31=2 x32=15 x33=8 \n",
            "x00=6 x01=11 x02=10 x03=7 x10=2 x11=1 x12=15 x13=16 x20=14 x21=13 x22=4 x23=3 x30=12 x31=9 x32=5 x33=8 \n",
            "x00=11 x01=2 x02=14 x03=7 x10=6 x11=15 x12=1 x13=12 x20=4 x21=9 x22=16 x23=5 x30=13 x31=8 x32=3 x33=10 \n",
            "x00=10 x01=3 x02=15 x03=6 x10=9 x11=16 x12=5 x13=4 x20=1 x21=8 x22=12 x23=13 x30=14 x31=7 x32=2 x33=11 \n",
            "x00=10 x01=14 x02=2 x03=8 x10=7 x11=12 x12=11 x13=4 x20=1 x21=5 x22=15 x23=13 x30=16 x31=3 x32=6 x33=9 \n",
            "x00=6 x01=14 x02=3 x03=11 x10=7 x11=15 x12=10 x13=2 x20=5 x21=4 x22=13 x23=12 x30=16 x31=1 x32=8 x33=9 \n",
            "x00=1 x01=14 x02=4 x03=15 x10=7 x11=12 x12=13 x13=2 x20=10 x21=5 x22=11 x23=8 x30=16 x31=3 x32=6 x33=9 \n",
            "x00=1 x01=14 x02=4 x03=15 x10=7 x11=12 x12=13 x13=2 x20=10 x21=5 x22=8 x23=11 x30=16 x31=3 x32=9 x33=6 \n",
            "x00=1 x01=14 x02=4 x03=15 x10=9 x11=10 x12=13 x13=2 x20=8 x21=3 x22=12 x23=11 x30=16 x31=7 x32=5 x33=6 \n",
            "x00=1 x01=15 x02=4 x03=14 x10=8 x11=10 x12=13 x13=3 x20=9 x21=2 x22=12 x23=11 x30=16 x31=7 x32=5 x33=6 \n",
            "x00=1 x01=15 x02=4 x03=14 x10=9 x11=10 x12=12 x13=3 x20=8 x21=2 x22=13 x23=11 x30=16 x31=7 x32=5 x33=6 \n",
            "x00=8 x01=3 x02=12 x03=11 x10=1 x11=14 x12=15 x13=4 x20=16 x21=10 x22=2 x23=6 x30=9 x31=7 x32=5 x33=13 \n",
            "x00=13 x01=8 x02=3 x03=10 x10=9 x11=6 x12=12 x13=7 x20=1 x21=4 x22=14 x23=15 x30=11 x31=16 x32=5 x33=2 \n",
            "x00=4 x01=15 x02=13 x03=2 x10=9 x11=6 x12=12 x13=7 x20=5 x21=10 x22=8 x23=11 x30=16 x31=3 x32=1 x33=14 \n",
            "x00=9 x01=7 x02=16 x03=2 x10=4 x11=10 x12=5 x13=15 x20=8 x21=11 x22=12 x23=3 x30=13 x31=6 x32=1 x33=14 \n",
            "x00=15 x01=16 x02=1 x03=2 x10=4 x11=7 x12=10 x13=13 x20=6 x21=3 x22=11 x23=14 x30=9 x31=8 x32=12 x33=5 \n",
            "x00=15 x01=2 x02=8 x03=9 x10=1 x11=16 x12=11 x13=6 x20=14 x21=3 x22=10 x23=7 x30=4 x31=13 x32=5 x33=12 \n",
            "x00=1 x01=13 x02=16 x03=4 x10=7 x11=2 x12=10 x13=15 x20=12 x21=11 x22=5 x23=6 x30=14 x31=8 x32=3 x33=9 \n",
            "x00=1 x01=15 x02=11 x03=7 x10=5 x11=2 x12=14 x13=13 x20=12 x21=9 x22=3 x23=10 x30=16 x31=8 x32=6 x33=4 \n",
            "x00=1 x01=12 x02=8 x03=13 x10=3 x11=6 x12=15 x13=10 x20=16 x21=5 x22=4 x23=9 x30=14 x31=11 x32=7 x33=2 \n",
            "x00=16 x01=7 x02=1 x03=10 x10=5 x11=12 x12=14 x13=3 x20=2 x21=9 x22=15 x23=8 x30=11 x31=6 x32=4 x33=13 \n",
            "x00=2 x01=15 x02=9 x03=8 x10=11 x11=6 x12=16 x13=1 x20=14 x21=3 x22=4 x23=13 x30=7 x31=10 x32=5 x33=12 \n",
            "x00=1 x01=12 x02=13 x03=8 x10=14 x11=11 x12=6 x13=3 x20=4 x21=9 x22=5 x23=16 x30=15 x31=2 x32=10 x33=7 \n",
            "x00=4 x01=5 x02=9 x03=16 x10=10 x11=6 x12=3 x13=15 x20=13 x21=12 x22=8 x23=1 x30=7 x31=11 x32=14 x33=2 \n",
            "x00=9 x01=6 x02=5 x03=14 x10=8 x11=15 x12=10 x13=1 x20=4 x21=2 x22=12 x23=16 x30=13 x31=11 x32=7 x33=3 \n",
            "x00=3 x01=8 x02=7 x03=16 x10=12 x11=9 x12=11 x13=2 x20=14 x21=13 x22=6 x23=1 x30=5 x31=4 x32=10 x33=15 \n",
            "x00=4 x01=16 x02=8 x03=6 x10=1 x11=9 x12=11 x13=13 x20=14 x21=7 x22=10 x23=3 x30=15 x31=2 x32=5 x33=12 \n",
            "x00=13 x01=3 x02=10 x03=8 x10=4 x11=9 x12=7 x13=14 x20=15 x21=6 x22=12 x23=1 x30=2 x31=16 x32=5 x33=11 \n",
            "x00=11 x01=1 x02=12 x03=10 x10=6 x11=16 x12=8 x13=4 x20=3 x21=15 x22=9 x23=7 x30=14 x31=2 x32=5 x33=13 \n",
            "x00=7 x01=4 x02=11 x03=12 x10=3 x11=16 x12=13 x13=2 x20=14 x21=6 x22=9 x23=5 x30=10 x31=8 x32=1 x33=15 \n",
            "x00=15 x01=1 x02=10 x03=8 x10=2 x11=16 x12=7 x13=9 x20=11 x21=14 x22=5 x23=4 x30=6 x31=3 x32=12 x33=13 \n",
            "x00=3 x01=11 x02=14 x03=6 x10=16 x11=9 x12=4 x13=5 x20=8 x21=12 x22=1 x23=13 x30=7 x31=2 x32=15 x33=10 \n",
            "x00=13 x01=4 x02=15 x03=2 x10=3 x11=14 x12=10 x13=7 x20=6 x21=11 x22=1 x23=16 x30=12 x31=5 x32=8 x33=9 \n",
            "x00=10 x01=13 x02=7 x03=4 x10=8 x11=3 x12=9 x13=14 x20=5 x21=16 x22=12 x23=1 x30=11 x31=2 x32=6 x33=15 \n",
            "x00=14 x01=8 x02=10 x03=2 x10=6 x11=5 x12=7 x13=16 x20=11 x21=9 x22=13 x23=1 x30=3 x31=12 x32=4 x33=15 \n",
            "x00=8 x01=13 x02=12 x03=1 x10=14 x11=4 x12=10 x13=6 x20=7 x21=2 x22=9 x23=16 x30=5 x31=15 x32=3 x33=11 \n",
            "x00=7 x01=12 x02=13 x03=2 x10=10 x11=9 x12=14 x13=1 x20=6 x21=8 x22=4 x23=16 x30=11 x31=5 x32=3 x33=15 \n",
            "x00=8 x01=12 x02=13 x03=1 x10=6 x11=10 x12=2 x13=16 x20=9 x21=7 x22=4 x23=14 x30=11 x31=5 x32=15 x33=3 \n",
            "x00=12 x01=8 x02=13 x03=1 x10=6 x11=10 x12=3 x13=15 x20=7 x21=11 x22=2 x23=14 x30=9 x31=5 x32=16 x33=4 \n",
            "x00=12 x01=8 x02=1 x03=13 x10=6 x11=10 x12=15 x13=3 x20=7 x21=11 x22=2 x23=14 x30=9 x31=5 x32=16 x33=4 \n",
            "x00=11 x01=2 x02=8 x03=13 x10=6 x11=15 x12=9 x13=4 x20=7 x21=12 x22=1 x23=14 x30=10 x31=5 x32=16 x33=3 \n",
            "x00=11 x01=2 x02=13 x03=8 x10=6 x11=15 x12=4 x13=9 x20=7 x21=12 x22=1 x23=14 x30=10 x31=5 x32=16 x33=3 \n",
            "x00=13 x01=3 x02=10 x03=8 x10=6 x11=12 x12=7 x13=9 x20=4 x21=14 x22=1 x23=15 x30=11 x31=5 x32=16 x33=2 \n",
            "x00=13 x01=3 x02=8 x03=10 x10=6 x11=12 x12=9 x13=7 x20=4 x21=14 x22=1 x23=15 x30=11 x31=5 x32=16 x33=2 \n",
            "x00=13 x01=3 x02=16 x03=2 x10=6 x11=12 x12=9 x13=7 x20=4 x21=14 x22=1 x23=15 x30=11 x31=5 x32=8 x33=10 \n",
            "x00=13 x01=3 x02=16 x03=2 x10=6 x11=12 x12=7 x13=9 x20=4 x21=14 x22=1 x23=15 x30=11 x31=5 x32=10 x33=8 \n",
            "x00=6 x01=3 x02=16 x03=9 x10=13 x11=12 x12=7 x13=2 x20=4 x21=14 x22=1 x23=15 x30=11 x31=5 x32=10 x33=8 \n",
            "x00=8 x01=3 x02=16 x03=7 x10=9 x11=12 x12=11 x13=2 x20=4 x21=14 x22=1 x23=15 x30=13 x31=5 x32=6 x33=10 \n",
            "x00=8 x01=3 x02=13 x03=10 x10=6 x11=12 x12=9 x13=7 x20=4 x21=14 x22=1 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=8 x01=3 x02=13 x03=10 x10=4 x11=14 x12=9 x13=7 x20=6 x21=12 x22=1 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=13 x01=3 x02=8 x03=10 x10=4 x11=14 x12=9 x13=7 x20=1 x21=12 x22=6 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=8 x01=3 x02=13 x03=10 x10=9 x11=12 x12=6 x13=7 x20=1 x21=14 x22=4 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=8 x01=3 x02=13 x03=10 x10=9 x11=14 x12=4 x13=7 x20=1 x21=12 x22=6 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=10 x01=3 x02=13 x03=8 x10=7 x11=14 x12=4 x13=9 x20=1 x21=12 x22=6 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=10 x01=3 x02=13 x03=8 x10=7 x11=12 x12=6 x13=9 x20=1 x21=14 x22=4 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=10 x01=3 x02=8 x03=13 x10=7 x11=14 x12=9 x13=4 x20=1 x21=12 x22=6 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=8 x01=3 x02=10 x03=13 x10=9 x11=14 x12=7 x13=4 x20=1 x21=12 x22=6 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=13 x01=3 x02=10 x03=8 x10=4 x11=14 x12=7 x13=9 x20=1 x21=12 x22=6 x23=15 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=7 x01=3 x02=14 x03=10 x10=9 x11=12 x12=5 x13=8 x20=2 x21=13 x22=4 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=7 x01=3 x02=14 x03=10 x10=9 x11=13 x12=4 x13=8 x20=2 x21=12 x22=5 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=7 x11=13 x12=4 x13=10 x20=2 x21=12 x22=5 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=7 x11=12 x12=5 x13=10 x20=2 x21=13 x22=4 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=5 x11=12 x12=7 x13=10 x20=4 x21=13 x22=2 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=4 x11=13 x12=7 x13=10 x20=5 x21=12 x22=2 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=9 x01=3 x02=8 x03=14 x10=7 x11=13 x12=10 x13=4 x20=2 x21=12 x22=5 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=7 x01=3 x02=10 x03=14 x10=9 x11=13 x12=8 x13=4 x20=2 x21=12 x22=5 x23=15 x30=16 x31=6 x32=11 x33=1 \n",
            "x00=9 x01=3 x02=7 x03=15 x10=8 x11=12 x12=10 x13=4 x20=1 x21=14 x22=6 x23=13 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=9 x01=3 x02=8 x03=14 x10=7 x11=13 x12=10 x13=4 x20=2 x21=6 x22=11 x23=15 x30=16 x31=12 x32=5 x33=1 \n",
            "x00=3 x01=9 x02=8 x03=14 x10=13 x11=7 x12=10 x13=4 x20=2 x21=6 x22=11 x23=15 x30=16 x31=12 x32=5 x33=1 \n",
            "x00=13 x01=12 x02=1 x03=8 x10=9 x11=5 x12=4 x13=16 x20=2 x21=11 x22=14 x23=7 x30=10 x31=6 x32=15 x33=3 \n",
            "x00=5 x01=9 x02=13 x03=7 x10=10 x11=15 x12=8 x13=1 x20=3 x21=6 x22=11 x23=14 x30=16 x31=4 x32=2 x33=12 \n",
            "x00=4 x01=9 x02=13 x03=8 x10=16 x11=5 x12=12 x13=1 x20=11 x21=6 x22=7 x23=10 x30=3 x31=14 x32=2 x33=15 \n",
            "x00=7 x01=4 x02=12 x03=11 x10=10 x11=8 x12=15 x13=1 x20=14 x21=6 x22=5 x23=9 x30=3 x31=16 x32=2 x33=13 \n",
            "x00=2 x01=15 x02=6 x03=11 x10=13 x11=8 x12=9 x13=4 x20=16 x21=1 x22=12 x23=5 x30=3 x31=10 x32=7 x33=14 \n",
            "x00=1 x01=9 x02=14 x03=10 x10=13 x11=8 x12=11 x13=2 x20=4 x21=12 x22=3 x23=15 x30=16 x31=5 x32=6 x33=7 \n",
            "x00=6 x01=12 x02=11 x03=5 x10=3 x11=13 x12=8 x13=10 x20=16 x21=2 x22=1 x23=15 x30=9 x31=7 x32=14 x33=4 \n",
            "x00=13 x01=11 x02=2 x03=8 x10=3 x11=10 x12=5 x13=16 x20=4 x21=6 x22=15 x23=9 x30=14 x31=7 x32=12 x33=1 \n",
            "x00=15 x01=9 x02=8 x03=2 x10=7 x11=10 x12=4 x13=13 x20=1 x21=3 x22=16 x23=14 x30=11 x31=12 x32=6 x33=5 \n",
            "x00=8 x01=11 x02=9 x03=6 x10=1 x11=14 x12=16 x13=3 x20=13 x21=4 x22=7 x23=10 x30=12 x31=5 x32=2 x33=15 \n",
            "x00=12 x01=3 x02=10 x03=9 x10=5 x11=11 x12=16 x13=2 x20=13 x21=6 x22=7 x23=8 x30=4 x31=14 x32=1 x33=15 \n",
            "x00=5 x01=3 x02=14 x03=12 x10=10 x11=6 x12=11 x13=7 x20=4 x21=9 x22=8 x23=13 x30=15 x31=16 x32=1 x33=2 \n",
            "x00=1 x01=15 x02=14 x03=4 x10=16 x11=2 x12=10 x13=6 x20=5 x21=9 x22=7 x23=13 x30=12 x31=8 x32=3 x33=11 \n",
            "x00=5 x01=9 x02=8 x03=12 x10=4 x11=2 x12=13 x13=15 x20=11 x21=7 x22=10 x23=6 x30=14 x31=16 x32=3 x33=1 \n",
            "x00=12 x01=5 x02=10 x03=7 x10=6 x11=4 x12=15 x13=9 x20=3 x21=14 x22=1 x23=16 x30=13 x31=11 x32=8 x33=2 \n",
            "x00=1 x01=3 x02=16 x03=14 x10=12 x11=9 x12=8 x13=5 x20=10 x21=7 x22=4 x23=13 x30=11 x31=15 x32=6 x33=2 \n",
            "x00=10 x01=7 x02=2 x03=15 x10=14 x11=3 x12=12 x13=5 x20=9 x21=13 x22=4 x23=8 x30=1 x31=11 x32=16 x33=6 \n",
            "x00=8 x01=12 x02=9 x03=5 x10=4 x11=10 x12=7 x13=13 x20=16 x21=1 x22=3 x23=14 x30=6 x31=11 x32=15 x33=2 \n",
            "x00=3 x01=10 x02=5 x03=16 x10=9 x11=4 x12=6 x13=15 x20=14 x21=7 x22=12 x23=1 x30=8 x31=13 x32=11 x33=2 \n",
            "x00=1 x01=15 x02=12 x03=6 x10=16 x11=3 x12=4 x13=11 x20=7 x21=14 x22=5 x23=8 x30=10 x31=2 x32=13 x33=9 \n",
            "x00=13 x01=6 x02=11 x03=4 x10=3 x11=14 x12=10 x13=7 x20=2 x21=5 x22=12 x23=15 x30=16 x31=9 x32=1 x33=8 \n",
            "x00=3 x01=1 x02=14 x03=16 x10=13 x11=12 x12=4 x13=5 x20=8 x21=15 x22=9 x23=2 x30=10 x31=6 x32=7 x33=11 \n",
            "x00=14 x01=3 x02=16 x03=1 x10=5 x11=15 x12=6 x13=8 x20=11 x21=9 x22=2 x23=12 x30=4 x31=7 x32=10 x33=13 \n",
            "x00=4 x01=9 x02=5 x03=16 x10=7 x11=14 x12=11 x13=2 x20=15 x21=10 x22=6 x23=3 x30=8 x31=1 x32=12 x33=13 \n",
            "x00=8 x01=4 x02=9 x03=13 x10=11 x11=14 x12=7 x13=2 x20=10 x21=15 x22=6 x23=3 x30=5 x31=1 x32=12 x33=16 \n",
            "x00=2 x01=10 x02=15 x03=7 x10=13 x11=16 x12=1 x13=4 x20=8 x21=5 x22=12 x23=9 x30=11 x31=3 x32=6 x33=14 \n",
            "x00=14 x01=5 x02=3 x03=12 x10=1 x11=15 x12=16 x13=2 x20=6 x21=10 x22=7 x23=11 x30=13 x31=4 x32=8 x33=9 \n",
            "x00=8 x01=11 x02=5 x03=10 x10=9 x11=6 x12=12 x13=7 x20=4 x21=14 x22=1 x23=15 x30=13 x31=3 x32=16 x33=2 \n",
            "x00=4 x01=6 x02=16 x03=8 x10=7 x11=14 x12=3 x13=10 x20=12 x21=5 x22=2 x23=15 x30=11 x31=9 x32=13 x33=1 \n",
            "x00=1 x01=12 x02=8 x03=13 x10=10 x11=7 x12=15 x13=2 x20=14 x21=11 x22=6 x23=3 x30=9 x31=4 x32=5 x33=16 \n",
            "x00=5 x01=6 x02=8 x03=15 x10=13 x11=16 x12=1 x13=4 x20=7 x21=10 x22=14 x23=3 x30=9 x31=2 x32=11 x33=12 \n",
            "x00=4 x01=1 x02=14 x03=15 x10=13 x11=12 x12=7 x13=2 x20=6 x21=16 x22=3 x23=9 x30=11 x31=5 x32=10 x33=8 \n",
            "x00=9 x01=10 x02=13 x03=2 x10=12 x11=7 x12=14 x13=1 x20=5 x21=11 x22=3 x23=15 x30=8 x31=6 x32=4 x33=16 \n",
            "x00=4 x01=13 x02=15 x03=2 x10=14 x11=8 x12=1 x13=11 x20=9 x21=3 x22=6 x23=16 x30=7 x31=10 x32=12 x33=5 \n",
            "x00=11 x01=6 x02=3 x03=14 x10=12 x11=13 x12=5 x13=4 x20=9 x21=8 x22=16 x23=1 x30=2 x31=7 x32=10 x33=15 \n",
            "x00=1 x01=7 x02=10 x03=16 x10=14 x11=2 x12=15 x13=3 x20=11 x21=13 x22=4 x23=6 x30=8 x31=12 x32=5 x33=9 \n",
            "x00=16 x01=6 x02=10 x03=2 x10=7 x11=1 x12=15 x13=11 x20=3 x21=14 x22=5 x23=12 x30=8 x31=13 x32=4 x33=9 \n",
            "x00=2 x01=3 x02=14 x03=15 x10=5 x11=12 x12=7 x13=10 x20=16 x21=6 x22=4 x23=8 x30=11 x31=13 x32=9 x33=1 \n",
            "x00=8 x01=9 x02=16 x03=1 x10=10 x11=2 x12=7 x13=15 x20=3 x21=12 x22=5 x23=14 x30=13 x31=11 x32=6 x33=4 \n",
            "x00=11 x01=13 x02=9 x03=1 x10=10 x11=3 x12=7 x13=14 x20=8 x21=6 x22=16 x23=4 x30=5 x31=12 x32=2 x33=15 \n",
            "x00=1 x01=7 x02=10 x03=16 x10=13 x11=14 x12=3 x13=4 x20=8 x21=2 x22=15 x23=9 x30=12 x31=11 x32=6 x33=5 \n",
            "x00=1 x01=13 x02=15 x03=5 x10=14 x11=4 x12=6 x13=10 x20=3 x21=8 x22=11 x23=12 x30=16 x31=9 x32=2 x33=7 \n",
            "x00=2 x01=13 x02=14 x03=5 x10=1 x11=10 x12=11 x13=12 x20=15 x21=7 x22=3 x23=9 x30=16 x31=4 x32=6 x33=8 \n",
            "x00=16 x01=6 x02=5 x03=7 x10=2 x11=11 x12=8 x13=13 x20=15 x21=3 x22=12 x23=4 x30=1 x31=14 x32=9 x33=10 \n",
            "x00=15 x01=6 x02=4 x03=9 x10=2 x11=11 x12=13 x13=8 x20=16 x21=3 x22=10 x23=5 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=6 x01=11 x02=13 x03=4 x10=10 x11=7 x12=8 x13=9 x20=3 x21=14 x22=1 x23=16 x30=15 x31=2 x32=12 x33=5 \n",
            "x00=6 x01=8 x02=5 x03=15 x10=2 x11=13 x12=12 x13=7 x20=16 x21=4 x22=3 x23=11 x30=10 x31=9 x32=14 x33=1 \n",
            "x00=16 x01=10 x02=7 x03=1 x10=12 x11=6 x12=5 x13=11 x20=4 x21=3 x22=14 x23=13 x30=2 x31=15 x32=8 x33=9 \n",
            "x00=8 x01=15 x02=10 x03=1 x10=7 x11=12 x12=2 x13=13 x20=14 x21=3 x22=6 x23=11 x30=5 x31=4 x32=16 x33=9 \n",
            "x00=4 x01=11 x02=6 x03=13 x10=10 x11=14 x12=3 x13=7 x20=15 x21=1 x22=16 x23=2 x30=5 x31=8 x32=9 x33=12 \n",
            "x00=1 x01=2 x02=15 x03=16 x10=10 x11=7 x12=6 x13=11 x20=14 x21=12 x22=5 x23=3 x30=9 x31=13 x32=8 x33=4 \n",
            "x00=1 x01=2 x02=16 x03=15 x10=10 x11=7 x12=6 x13=11 x20=14 x21=13 x22=4 x23=3 x30=9 x31=12 x32=8 x33=5 \n",
            "x00=2 x01=1 x02=16 x03=15 x10=10 x11=7 x12=6 x13=11 x20=13 x21=14 x22=4 x23=3 x30=9 x31=12 x32=8 x33=5 \n",
            "x00=4 x01=1 x02=13 x03=16 x10=10 x11=7 x12=11 x13=6 x20=15 x21=14 x22=2 x23=3 x30=5 x31=12 x32=8 x33=9 \n",
            "x00=4 x01=1 x02=15 x03=14 x10=12 x11=7 x12=9 x13=6 x20=13 x21=16 x22=2 x23=3 x30=5 x31=10 x32=8 x33=11 \n",
            "x00=1 x01=4 x02=15 x03=14 x10=12 x11=7 x12=9 x13=6 x20=16 x21=13 x22=2 x23=3 x30=5 x31=10 x32=8 x33=11 \n",
            "x00=4 x01=1 x02=16 x03=13 x10=11 x11=8 x12=9 x13=6 x20=14 x21=15 x22=2 x23=3 x30=5 x31=10 x32=7 x33=12 \n",
            "x00=11 x01=1 x02=9 x03=13 x10=4 x11=8 x12=16 x13=6 x20=14 x21=15 x22=2 x23=3 x30=5 x31=10 x32=7 x33=12 \n",
            "x00=4 x01=2 x02=15 x03=13 x10=9 x11=8 x12=11 x13=6 x20=16 x21=14 x22=1 x23=3 x30=5 x31=10 x32=7 x33=12 \n",
            "x00=1 x01=4 x02=15 x03=14 x10=9 x11=7 x12=12 x13=6 x20=16 x21=13 x22=2 x23=3 x30=8 x31=10 x32=5 x33=11 \n",
            "x00=1 x01=15 x02=4 x03=14 x10=9 x11=7 x12=12 x13=6 x20=16 x21=2 x22=13 x23=3 x30=8 x31=10 x32=5 x33=11 \n",
            "x00=1 x01=7 x02=12 x03=14 x10=9 x11=15 x12=4 x13=6 x20=16 x21=2 x22=13 x23=3 x30=8 x31=10 x32=5 x33=11 \n",
            "x00=2 x01=8 x02=11 x03=13 x10=9 x11=15 x12=4 x13=6 x20=16 x21=1 x22=14 x23=3 x30=7 x31=10 x32=5 x33=12 \n",
            "x00=2 x01=15 x02=4 x03=13 x10=9 x11=8 x12=11 x13=6 x20=16 x21=1 x22=14 x23=3 x30=7 x31=10 x32=5 x33=12 \n",
            "x00=5 x01=15 x02=8 x03=6 x10=11 x11=7 x12=12 x13=4 x20=2 x21=9 x22=13 x23=10 x30=16 x31=3 x32=1 x33=14 \n",
            "x00=12 x01=2 x02=15 x03=5 x10=7 x11=3 x12=14 x13=10 x20=6 x21=16 x22=4 x23=8 x30=9 x31=13 x32=1 x33=11 \n",
            "x00=7 x01=2 x02=16 x03=9 x10=10 x11=15 x12=5 x13=4 x20=11 x21=3 x22=12 x23=8 x30=6 x31=14 x32=1 x33=13 \n",
            "x00=12 x01=9 x02=6 x03=7 x10=5 x11=8 x12=11 x13=10 x20=13 x21=2 x22=16 x23=3 x30=4 x31=15 x32=1 x33=14 \n",
            "x00=3 x01=9 x02=16 x03=6 x10=5 x11=15 x12=10 x13=4 x20=14 x21=2 x22=7 x23=11 x30=12 x31=8 x32=1 x33=13 \n",
            "x00=3 x01=6 x02=16 x03=9 x10=7 x11=4 x12=15 x13=8 x20=13 x21=14 x22=2 x23=5 x30=11 x31=10 x32=1 x33=12 \n",
            "x00=1 x01=14 x02=9 x03=10 x10=8 x11=6 x12=5 x13=15 x20=12 x21=11 x22=4 x23=7 x30=13 x31=3 x32=16 x33=2 \n",
            "x00=1 x01=16 x02=5 x03=12 x10=9 x11=8 x12=15 x13=2 x20=13 x21=3 x22=4 x23=14 x30=11 x31=7 x32=10 x33=6 \n",
            "x00=4 x01=7 x02=13 x03=10 x10=15 x11=16 x12=2 x13=1 x20=6 x21=3 x22=14 x23=11 x30=9 x31=8 x32=5 x33=12 \n",
            "x00=4 x01=10 x02=5 x03=15 x10=13 x11=6 x12=14 x13=1 x20=9 x21=2 x22=12 x23=11 x30=8 x31=16 x32=3 x33=7 \n",
            "x00=9 x01=16 x02=4 x03=5 x10=10 x11=6 x12=15 x13=3 x20=13 x21=1 x22=8 x23=12 x30=2 x31=11 x32=7 x33=14 \n",
            "x00=15 x01=4 x02=10 x03=5 x10=2 x11=14 x12=7 x13=11 x20=16 x21=3 x22=9 x23=6 x30=1 x31=13 x32=8 x33=12 \n",
            "x00=15 x01=4 x02=10 x03=5 x10=1 x11=14 x12=8 x13=11 x20=16 x21=3 x22=9 x23=6 x30=2 x31=13 x32=7 x33=12 \n",
            "x00=15 x01=3 x02=10 x03=6 x10=1 x11=14 x12=8 x13=11 x20=16 x21=4 x22=9 x23=5 x30=2 x31=13 x32=7 x33=12 \n",
            "x00=15 x01=3 x02=10 x03=6 x10=2 x11=14 x12=7 x13=11 x20=16 x21=4 x22=9 x23=5 x30=1 x31=13 x32=8 x33=12 \n",
            "x00=16 x01=3 x02=10 x03=5 x10=2 x11=14 x12=7 x13=11 x20=15 x21=4 x22=9 x23=6 x30=1 x31=13 x32=8 x33=12 \n",
            "x00=16 x01=3 x02=10 x03=5 x10=1 x11=14 x12=8 x13=11 x20=15 x21=4 x22=9 x23=6 x30=2 x31=13 x32=7 x33=12 \n",
            "x00=5 x01=3 x02=10 x03=16 x10=2 x11=14 x12=7 x13=11 x20=15 x21=4 x22=9 x23=6 x30=12 x31=13 x32=8 x33=1 \n",
            "x00=6 x01=3 x02=9 x03=16 x10=1 x11=14 x12=8 x13=11 x20=15 x21=4 x22=10 x23=5 x30=12 x31=13 x32=7 x33=2 \n",
            "x00=5 x01=4 x02=9 x03=16 x10=2 x11=14 x12=7 x13=11 x20=15 x21=3 x22=10 x23=6 x30=12 x31=13 x32=8 x33=1 \n",
            "x00=5 x01=4 x02=10 x03=15 x10=1 x11=14 x12=8 x13=11 x20=16 x21=3 x22=9 x23=6 x30=12 x31=13 x32=7 x33=2 \n",
            "x00=7 x01=3 x02=9 x03=15 x10=1 x11=14 x12=8 x13=11 x20=16 x21=4 x22=12 x23=2 x30=10 x31=13 x32=5 x33=6 \n",
            "x00=8 x01=3 x02=10 x03=13 x10=2 x11=14 x12=7 x13=11 x20=15 x21=1 x22=12 x23=6 x30=9 x31=16 x32=5 x33=4 \n",
            "x00=8 x01=3 x02=10 x03=13 x10=15 x11=1 x12=7 x13=11 x20=2 x21=14 x22=12 x23=6 x30=9 x31=16 x32=5 x33=4 \n",
            "x00=8 x01=1 x02=10 x03=15 x10=12 x11=4 x12=7 x13=11 x20=5 x21=13 x22=14 x23=2 x30=9 x31=16 x32=3 x33=6 \n",
            "x00=8 x01=1 x02=10 x03=15 x10=4 x11=12 x12=7 x13=11 x20=13 x21=5 x22=14 x23=2 x30=9 x31=16 x32=3 x33=6 \n",
            "x00=8 x01=12 x02=10 x03=4 x10=15 x11=1 x12=7 x13=11 x20=2 x21=5 x22=14 x23=13 x30=9 x31=16 x32=3 x33=6 \n",
            "x00=8 x01=4 x02=10 x03=12 x10=15 x11=1 x12=7 x13=11 x20=2 x21=13 x22=14 x23=5 x30=9 x31=16 x32=3 x33=6 \n",
            "x00=8 x01=1 x02=10 x03=15 x10=4 x11=12 x12=7 x13=11 x20=13 x21=16 x22=3 x23=2 x30=9 x31=5 x32=14 x33=6 \n",
            "x00=8 x01=1 x02=10 x03=15 x10=4 x11=5 x12=14 x13=11 x20=13 x21=16 x22=3 x23=2 x30=9 x31=12 x32=7 x33=6 \n",
            "x00=8 x01=1 x02=10 x03=15 x10=14 x11=5 x12=4 x13=11 x20=3 x21=16 x22=13 x23=2 x30=9 x31=12 x32=7 x33=6 \n",
            "x00=15 x01=4 x02=1 x03=14 x10=9 x11=12 x12=11 x13=2 x20=7 x21=8 x22=6 x23=13 x30=3 x31=10 x32=16 x33=5 \n",
            "x00=13 x01=5 x02=2 x03=14 x10=4 x11=6 x12=8 x13=16 x20=7 x21=11 x22=15 x23=1 x30=10 x31=12 x32=9 x33=3 \n",
            "x00=5 x01=4 x02=13 x03=12 x10=11 x11=6 x12=10 x13=7 x20=15 x21=16 x22=2 x23=1 x30=3 x31=8 x32=9 x33=14 \n",
            "x00=10 x01=5 x02=12 x03=7 x10=15 x11=6 x12=2 x13=11 x20=8 x21=9 x22=4 x23=13 x30=1 x31=14 x32=16 x33=3 \n",
            "x00=8 x01=1 x02=12 x03=13 x10=15 x11=3 x12=6 x13=10 x20=4 x21=16 x22=5 x23=9 x30=7 x31=14 x32=11 x33=2 \n",
            "x00=6 x01=7 x02=5 x03=16 x10=3 x11=4 x12=12 x13=15 x20=14 x21=10 x22=8 x23=2 x30=11 x31=13 x32=9 x33=1 \n",
            "x00=6 x01=15 x02=12 x03=1 x10=10 x11=2 x12=14 x13=8 x20=11 x21=4 x22=3 x23=16 x30=7 x31=13 x32=5 x33=9 \n",
            "x00=11 x01=4 x02=13 x03=6 x10=8 x11=12 x12=9 x13=5 x20=1 x21=15 x22=2 x23=16 x30=14 x31=3 x32=10 x33=7 \n",
            "x00=2 x01=5 x02=16 x03=11 x10=7 x11=14 x12=4 x13=9 x20=15 x21=12 x22=6 x23=1 x30=10 x31=3 x32=8 x33=13 \n",
            "x00=9 x01=12 x02=3 x03=10 x10=4 x11=2 x12=13 x13=15 x20=16 x21=6 x22=11 x23=1 x30=5 x31=14 x32=7 x33=8 \n",
            "x00=9 x01=16 x02=7 x03=2 x10=13 x11=6 x12=3 x13=12 x20=11 x21=4 x22=14 x23=5 x30=1 x31=8 x32=10 x33=15 \n",
            "x00=15 x01=10 x02=1 x03=8 x10=9 x11=7 x12=16 x13=2 x20=6 x21=12 x22=3 x23=13 x30=4 x31=5 x32=14 x33=11 \n",
            "x00=4 x01=14 x02=11 x03=5 x10=6 x11=3 x12=13 x13=12 x20=9 x21=7 x22=2 x23=16 x30=15 x31=10 x32=8 x33=1 \n",
            "x00=11 x01=9 x02=6 x03=8 x10=4 x11=7 x12=13 x13=10 x20=14 x21=16 x22=3 x23=1 x30=5 x31=2 x32=12 x33=15 \n",
            "x00=3 x01=13 x02=7 x03=11 x10=14 x11=9 x12=5 x13=6 x20=1 x21=8 x22=10 x23=15 x30=16 x31=4 x32=12 x33=2 \n",
            "x00=12 x01=5 x02=8 x03=9 x10=3 x11=16 x12=14 x13=1 x20=4 x21=7 x22=10 x23=13 x30=15 x31=6 x32=2 x33=11 \n",
            "x00=13 x01=6 x02=12 x03=3 x10=1 x11=15 x12=10 x13=8 x20=4 x21=11 x22=5 x23=14 x30=16 x31=2 x32=7 x33=9 \n",
            "x00=1 x01=15 x02=16 x03=2 x10=12 x11=8 x12=9 x13=5 x20=10 x21=7 x22=3 x23=14 x30=11 x31=4 x32=6 x33=13 \n",
            "x00=2 x01=1 x02=15 x03=16 x10=7 x11=12 x12=10 x13=5 x20=11 x21=13 x22=6 x23=4 x30=14 x31=8 x32=3 x33=9 \n",
            "x00=2 x01=8 x02=11 x03=13 x10=12 x11=7 x12=1 x13=14 x20=5 x21=9 x22=16 x23=4 x30=15 x31=10 x32=6 x33=3 \n",
            "x00=2 x01=10 x02=16 x03=6 x10=15 x11=4 x12=3 x13=12 x20=8 x21=7 x22=14 x23=5 x30=9 x31=13 x32=1 x33=11 \n",
            "x00=4 x01=6 x02=11 x03=13 x10=16 x11=9 x12=1 x13=8 x20=2 x21=14 x22=15 x23=3 x30=12 x31=5 x32=7 x33=10 \n",
            "x00=15 x01=5 x02=3 x03=11 x10=2 x11=7 x12=16 x13=9 x20=4 x21=10 x22=14 x23=6 x30=13 x31=12 x32=1 x33=8 \n",
            "x00=12 x01=5 x02=11 x03=6 x10=2 x11=15 x12=1 x13=16 x20=7 x21=10 x22=14 x23=3 x30=13 x31=4 x32=8 x33=9 \n",
            "x00=16 x01=8 x02=6 x03=4 x10=13 x11=11 x12=1 x13=9 x20=2 x21=10 x22=15 x23=7 x30=3 x31=5 x32=12 x33=14 \n",
            "x00=14 x01=11 x02=6 x03=3 x10=9 x11=8 x12=1 x13=16 x20=7 x21=10 x22=15 x23=2 x30=4 x31=5 x32=12 x33=13 \n",
            "x00=14 x01=11 x02=6 x03=3 x10=9 x11=1 x12=8 x13=16 x20=7 x21=10 x22=15 x23=2 x30=4 x31=12 x32=5 x33=13 \n",
            "x00=16 x01=9 x02=6 x03=3 x10=12 x11=1 x12=8 x13=13 x20=2 x21=10 x22=15 x23=7 x30=4 x31=14 x32=5 x33=11 \n",
            "x00=16 x01=9 x02=6 x03=3 x10=12 x11=7 x12=2 x13=13 x20=5 x21=10 x22=15 x23=4 x30=1 x31=8 x32=11 x33=14 \n",
            "x00=16 x01=9 x02=6 x03=3 x10=11 x11=8 x12=1 x13=14 x20=5 x21=10 x22=15 x23=4 x30=2 x31=7 x32=12 x33=13 \n",
            "x00=11 x01=14 x02=6 x03=3 x10=10 x11=7 x12=1 x13=16 x20=9 x21=8 x22=15 x23=2 x30=4 x31=5 x32=12 x33=13 \n",
            "x00=11 x01=14 x02=6 x03=3 x10=9 x11=8 x12=1 x13=16 x20=10 x21=7 x22=15 x23=2 x30=4 x31=5 x32=12 x33=13 \n",
            "x00=16 x01=10 x02=5 x03=3 x10=11 x11=8 x12=2 x13=13 x20=6 x21=9 x22=15 x23=4 x30=1 x31=7 x32=12 x33=14 \n",
            "x00=16 x01=3 x02=5 x03=10 x10=11 x11=8 x12=2 x13=13 x20=6 x21=9 x22=15 x23=4 x30=1 x31=14 x32=12 x33=7 \n",
            "x00=16 x01=5 x02=3 x03=10 x10=11 x11=8 x12=2 x13=13 x20=6 x21=9 x22=15 x23=4 x30=1 x31=12 x32=14 x33=7 \n",
            "x00=16 x01=10 x02=3 x03=5 x10=11 x11=8 x12=2 x13=13 x20=6 x21=9 x22=15 x23=4 x30=1 x31=7 x32=14 x33=12 \n",
            "x00=16 x01=11 x02=3 x03=4 x10=10 x11=9 x12=2 x13=13 x20=7 x21=8 x22=14 x23=5 x30=1 x31=6 x32=15 x33=12 \n",
            "x00=16 x01=11 x02=3 x03=4 x10=9 x11=10 x12=2 x13=13 x20=8 x21=7 x22=14 x23=5 x30=1 x31=6 x32=15 x33=12 \n",
            "x00=16 x01=10 x02=3 x03=5 x10=8 x11=11 x12=2 x13=13 x20=9 x21=7 x22=14 x23=4 x30=1 x31=6 x32=15 x33=12 \n",
            "x00=8 x01=10 x02=3 x03=13 x10=16 x11=11 x12=2 x13=5 x20=9 x21=7 x22=14 x23=4 x30=1 x31=6 x32=15 x33=12 \n",
            "x00=8 x01=10 x02=3 x03=13 x10=16 x11=5 x12=2 x13=11 x20=9 x21=7 x22=14 x23=4 x30=1 x31=12 x32=15 x33=6 \n",
            "x00=10 x01=8 x02=3 x03=13 x10=16 x11=5 x12=2 x13=11 x20=7 x21=9 x22=14 x23=4 x30=1 x31=12 x32=15 x33=6 \n",
            "x00=11 x01=13 x02=3 x03=7 x10=16 x11=4 x12=2 x13=12 x20=6 x21=9 x22=14 x23=5 x30=1 x31=8 x32=15 x33=10 \n",
            "x00=11 x01=13 x02=3 x03=7 x10=16 x11=4 x12=2 x13=12 x20=6 x21=8 x22=15 x23=5 x30=1 x31=9 x32=14 x33=10 \n",
            "x00=11 x01=12 x02=3 x03=8 x10=16 x11=7 x12=2 x13=9 x20=6 x21=10 x22=14 x23=4 x30=1 x31=5 x32=15 x33=13 \n",
            "x00=4 x01=14 x02=11 x03=5 x10=13 x11=3 x12=6 x13=12 x20=7 x21=16 x22=2 x23=9 x30=10 x31=1 x32=15 x33=8 \n",
            "x00=11 x01=9 x02=12 x03=2 x10=3 x11=16 x12=1 x13=14 x20=13 x21=5 x22=6 x23=10 x30=7 x31=4 x32=15 x33=8 \n",
            "x00=5 x01=16 x02=4 x03=9 x10=12 x11=1 x12=13 x13=8 x20=2 x21=14 x22=7 x23=11 x30=15 x31=3 x32=10 x33=6 \n",
            "x00=8 x01=11 x02=5 x03=10 x10=12 x11=6 x12=9 x13=7 x20=1 x21=14 x22=4 x23=15 x30=13 x31=3 x32=16 x33=2 \n",
            "x00=13 x01=11 x02=1 x03=9 x10=10 x11=5 x12=12 x13=7 x20=8 x21=4 x22=6 x23=16 x30=3 x31=14 x32=15 x33=2 \n",
            "x00=7 x01=16 x02=1 x03=10 x10=5 x11=4 x12=12 x13=13 x20=8 x21=11 x22=6 x23=9 x30=14 x31=3 x32=15 x33=2 \n",
            "x00=11 x01=3 x02=7 x03=13 x10=1 x11=15 x12=16 x13=2 x20=8 x21=12 x22=5 x23=9 x30=14 x31=4 x32=6 x33=10 \n",
            "x00=13 x01=3 x02=12 x03=6 x10=9 x11=14 x12=7 x13=4 x20=1 x21=15 x22=10 x23=8 x30=11 x31=2 x32=5 x33=16 \n",
            "x00=1 x01=11 x02=6 x03=16 x10=9 x11=4 x12=8 x13=13 x20=14 x21=12 x22=5 x23=3 x30=10 x31=7 x32=15 x33=2 \n",
            "x00=8 x01=14 x02=3 x03=9 x10=12 x11=7 x12=10 x13=5 x20=1 x21=2 x22=15 x23=16 x30=13 x31=11 x32=6 x33=4 \n",
            "x00=9 x01=7 x02=8 x03=10 x10=4 x11=14 x12=13 x13=3 x20=6 x21=12 x22=11 x23=5 x30=15 x31=1 x32=2 x33=16 \n",
            "x00=13 x01=16 x02=1 x03=4 x10=10 x11=7 x12=6 x13=11 x20=8 x21=9 x22=12 x23=5 x30=3 x31=2 x32=15 x33=14 \n",
            "x00=14 x01=10 x02=1 x03=9 x10=11 x11=7 x12=13 x13=3 x20=5 x21=15 x22=8 x23=6 x30=4 x31=2 x32=12 x33=16 \n",
            "x00=14 x01=10 x02=1 x03=9 x10=11 x11=7 x12=12 x13=4 x20=6 x21=15 x22=8 x23=5 x30=3 x31=2 x32=13 x33=16 \n",
            "x00=11 x01=10 x02=4 x03=9 x10=14 x11=7 x12=5 x13=8 x20=6 x21=15 x22=12 x23=1 x30=3 x31=2 x32=13 x33=16 \n",
            "x00=11 x01=10 x02=5 x03=8 x10=14 x11=7 x12=4 x13=9 x20=6 x21=15 x22=12 x23=1 x30=3 x31=2 x32=13 x33=16 \n",
            "x00=13 x01=10 x02=3 x03=8 x10=12 x11=7 x12=6 x13=9 x20=4 x21=15 x22=14 x23=1 x30=5 x31=2 x32=11 x33=16 \n",
            "x00=14 x01=15 x02=4 x03=1 x10=12 x11=7 x12=6 x13=9 x20=3 x21=10 x22=13 x23=8 x30=5 x31=2 x32=11 x33=16 \n",
            "x00=15 x01=12 x02=6 x03=1 x10=14 x11=7 x12=4 x13=9 x20=3 x21=10 x22=13 x23=8 x30=2 x31=5 x32=11 x33=16 \n",
            "x00=15 x01=6 x02=12 x03=1 x10=14 x11=7 x12=4 x13=9 x20=3 x21=10 x22=13 x23=8 x30=2 x31=11 x32=5 x33=16 \n",
            "x00=15 x01=6 x02=12 x03=1 x10=14 x11=7 x12=4 x13=9 x20=2 x21=11 x22=13 x23=8 x30=3 x31=10 x32=5 x33=16 \n",
            "x00=12 x01=6 x02=15 x03=1 x10=14 x11=7 x12=4 x13=9 x20=3 x21=10 x22=13 x23=8 x30=5 x31=11 x32=2 x33=16 \n",
            "x00=6 x01=12 x02=15 x03=1 x10=14 x11=7 x12=4 x13=9 x20=3 x21=10 x22=13 x23=8 x30=11 x31=5 x32=2 x33=16 \n",
            "x00=6 x01=12 x02=15 x03=1 x10=14 x11=7 x12=4 x13=9 x20=3 x21=13 x22=10 x23=8 x30=11 x31=2 x32=5 x33=16 \n",
            "x00=5 x01=13 x02=15 x03=1 x10=12 x11=7 x12=6 x13=9 x20=14 x21=10 x22=2 x23=8 x30=3 x31=4 x32=11 x33=16 \n",
            "x00=5 x01=10 x02=11 x03=8 x10=12 x11=7 x12=6 x13=9 x20=14 x21=4 x22=15 x23=1 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=7 x02=14 x03=8 x10=15 x11=4 x12=6 x13=9 x20=11 x21=10 x22=12 x23=1 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=6 x02=15 x03=8 x10=14 x11=4 x12=7 x13=9 x20=12 x21=11 x22=10 x23=1 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=4 x02=15 x03=10 x10=12 x11=6 x12=9 x13=7 x20=14 x21=11 x22=8 x23=1 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=4 x02=15 x03=10 x10=12 x11=9 x12=6 x13=7 x20=14 x21=8 x22=11 x23=1 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=4 x02=15 x03=10 x10=14 x11=8 x12=11 x13=1 x20=12 x21=9 x22=6 x23=7 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=4 x02=15 x03=10 x10=14 x11=11 x12=8 x13=1 x20=12 x21=6 x22=9 x23=7 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=6 x02=15 x03=8 x10=12 x11=11 x12=10 x13=1 x20=14 x21=4 x22=7 x23=9 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=11 x02=10 x03=8 x10=12 x11=6 x12=15 x13=1 x20=14 x21=4 x22=7 x23=9 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=5 x01=7 x02=14 x03=8 x10=12 x11=6 x12=15 x13=1 x20=13 x21=10 x22=2 x23=9 x30=4 x31=11 x32=3 x33=16 \n",
            "x00=5 x01=11 x02=10 x03=8 x10=12 x11=6 x12=15 x13=1 x20=4 x21=14 x22=7 x23=9 x30=13 x31=3 x32=2 x33=16 \n",
            "x00=5 x01=11 x02=10 x03=8 x10=4 x11=14 x12=15 x13=1 x20=12 x21=7 x22=6 x23=9 x30=13 x31=2 x32=3 x33=16 \n",
            "x00=5 x01=11 x02=10 x03=8 x10=4 x11=14 x12=15 x13=1 x20=12 x21=6 x22=7 x23=9 x30=13 x31=3 x32=2 x33=16 \n",
            "x00=5 x01=10 x02=11 x03=8 x10=4 x11=14 x12=15 x13=1 x20=12 x21=7 x22=6 x23=9 x30=13 x31=3 x32=2 x33=16 \n",
            "x00=5 x01=10 x02=11 x03=8 x10=4 x11=14 x12=1 x13=15 x20=12 x21=7 x22=6 x23=9 x30=13 x31=3 x32=16 x33=2 \n",
            "x00=5 x01=10 x02=11 x03=8 x10=1 x11=14 x12=4 x13=15 x20=12 x21=7 x22=13 x23=2 x30=16 x31=3 x32=6 x33=9 \n",
            "x00=12 x01=10 x02=4 x03=8 x10=1 x11=7 x12=11 x13=15 x20=5 x21=14 x22=13 x23=2 x30=16 x31=3 x32=6 x33=9 \n",
            "x00=10 x01=12 x02=4 x03=8 x10=1 x11=5 x12=13 x13=15 x20=7 x21=14 x22=11 x23=2 x30=16 x31=3 x32=6 x33=9 \n",
            "x00=10 x01=11 x02=5 x03=8 x10=1 x11=4 x12=14 x13=15 x20=7 x21=13 x22=12 x23=2 x30=16 x31=6 x32=3 x33=9 \n",
            "x00=6 x01=13 x02=7 x03=8 x10=1 x11=4 x12=15 x13=14 x20=11 x21=12 x22=9 x23=2 x30=16 x31=5 x32=3 x33=10 \n",
            "x00=6 x01=15 x02=12 x03=1 x10=9 x11=4 x12=5 x13=16 x20=11 x21=13 x22=3 x23=7 x30=8 x31=2 x32=14 x33=10 \n",
            "x00=5 x01=15 x02=13 x03=1 x10=12 x11=9 x12=10 x13=3 x20=6 x21=8 x22=4 x23=16 x30=11 x31=2 x32=7 x33=14 \n",
            "x00=9 x01=7 x02=14 x03=4 x10=11 x11=5 x12=16 x13=2 x20=8 x21=10 x22=3 x23=13 x30=6 x31=12 x32=1 x33=15 \n",
            "x00=5 x01=14 x02=6 x03=9 x10=12 x11=7 x12=4 x13=11 x20=2 x21=3 x22=16 x23=13 x30=15 x31=10 x32=8 x33=1 \n",
            "x00=5 x01=7 x02=14 x03=8 x10=12 x11=4 x12=3 x13=15 x20=11 x21=13 x22=1 x23=9 x30=6 x31=10 x32=16 x33=2 \n",
            "x00=2 x01=12 x02=9 x03=11 x10=8 x11=15 x12=4 x13=7 x20=14 x21=1 x22=16 x23=3 x30=10 x31=6 x32=5 x33=13 \n",
            "x00=5 x01=12 x02=16 x03=1 x10=10 x11=11 x12=7 x13=6 x20=4 x21=9 x22=8 x23=13 x30=15 x31=2 x32=3 x33=14 \n",
            "x00=2 x01=5 x02=13 x03=14 x10=15 x11=8 x12=7 x13=4 x20=16 x21=9 x22=3 x23=6 x30=1 x31=12 x32=11 x33=10 \n",
            "x00=10 x01=12 x02=7 x03=5 x10=15 x11=6 x12=9 x13=4 x20=1 x21=3 x22=16 x23=14 x30=8 x31=13 x32=2 x33=11 \n",
            "x00=6 x01=3 x02=15 x03=10 x10=9 x11=16 x12=4 x13=5 x20=11 x21=2 x22=14 x23=7 x30=8 x31=13 x32=1 x33=12 \n",
            "x00=4 x01=10 x02=13 x03=7 x10=15 x11=2 x12=1 x13=16 x20=12 x21=8 x22=9 x23=5 x30=3 x31=14 x32=11 x33=6 \n",
            "x00=6 x01=10 x02=4 x03=14 x10=16 x11=1 x12=15 x13=2 x20=3 x21=11 x22=7 x23=13 x30=9 x31=12 x32=8 x33=5 \n",
            "x00=15 x01=4 x02=10 x03=5 x10=1 x11=14 x12=7 x13=12 x20=2 x21=13 x22=8 x23=11 x30=16 x31=3 x32=9 x33=6 \n",
            "x00=5 x01=4 x02=16 x03=9 x10=6 x11=15 x12=1 x13=12 x20=10 x21=8 x22=14 x23=2 x30=13 x31=7 x32=3 x33=11 \n",
            "x00=9 x01=4 x02=13 x03=8 x10=14 x11=16 x12=3 x13=1 x20=5 x21=12 x22=7 x23=10 x30=6 x31=2 x32=11 x33=15 \n",
            "x00=1 x01=8 x02=9 x03=16 x10=14 x11=2 x12=15 x13=3 x20=7 x21=13 x22=4 x23=10 x30=12 x31=11 x32=6 x33=5 \n",
            "x00=15 x01=2 x02=3 x03=14 x10=8 x11=16 x12=9 x13=1 x20=4 x21=5 x22=12 x23=13 x30=7 x31=11 x32=10 x33=6 \n",
            "x00=6 x01=4 x02=15 x03=9 x10=3 x11=10 x12=16 x13=5 x20=14 x21=7 x22=1 x23=12 x30=11 x31=13 x32=2 x33=8 \n",
            "x00=4 x01=9 x02=15 x03=6 x10=5 x11=16 x12=2 x13=11 x20=12 x21=1 x22=7 x23=14 x30=13 x31=8 x32=10 x33=3 \n",
            "x00=3 x01=9 x02=16 x03=6 x10=5 x11=13 x12=1 x13=15 x20=12 x21=4 x22=7 x23=11 x30=14 x31=8 x32=10 x33=2 \n",
            "x00=3 x01=11 x02=14 x03=6 x10=5 x11=13 x12=4 x13=12 x20=10 x21=2 x22=7 x23=15 x30=16 x31=8 x32=9 x33=1 \n",
            "x00=6 x01=11 x02=16 x03=1 x10=5 x11=12 x12=2 x13=15 x20=10 x21=3 x22=7 x23=14 x30=13 x31=8 x32=9 x33=4 \n",
            "x00=6 x01=11 x02=16 x03=1 x10=5 x11=12 x12=3 x13=14 x20=10 x21=2 x22=7 x23=15 x30=13 x31=9 x32=8 x33=4 \n",
            "x00=14 x01=6 x02=11 x03=3 x10=1 x11=9 x12=8 x13=16 x20=15 x21=7 x22=2 x23=10 x30=4 x31=12 x32=13 x33=5 \n",
            "x00=12 x01=14 x02=3 x03=5 x10=7 x11=10 x12=11 x13=6 x20=2 x21=1 x22=16 x23=15 x30=13 x31=9 x32=4 x33=8 \n",
            "x00=1 x01=16 x02=8 x03=9 x10=11 x11=2 x12=7 x13=14 x20=12 x21=13 x22=4 x23=5 x30=10 x31=3 x32=15 x33=6 \n",
            "x00=1 x01=16 x02=11 x03=6 x10=15 x11=2 x12=5 x13=12 x20=8 x21=3 x22=14 x23=9 x30=10 x31=13 x32=4 x33=7 \n",
            "x00=1 x01=2 x02=16 x03=15 x10=14 x11=10 x12=6 x13=4 x20=8 x21=9 x22=5 x23=12 x30=11 x31=13 x32=7 x33=3 \n",
            "x00=7 x01=2 x02=11 x03=14 x10=13 x11=1 x12=12 x13=8 x20=4 x21=16 x22=5 x23=9 x30=10 x31=15 x32=6 x33=3 \n",
            "x00=8 x01=9 x02=10 x03=7 x10=12 x11=5 x12=3 x13=14 x20=1 x21=16 x22=6 x23=11 x30=13 x31=4 x32=15 x33=2 \n",
            "x00=15 x01=14 x02=1 x03=4 x10=6 x11=7 x12=12 x13=9 x20=10 x21=11 x22=5 x23=8 x30=3 x31=2 x32=16 x33=13 \n",
            "x00=14 x01=15 x02=1 x03=4 x10=7 x11=6 x12=12 x13=9 x20=10 x21=11 x22=5 x23=8 x30=3 x31=2 x32=16 x33=13 \n",
            "x00=11 x01=15 x02=2 x03=6 x10=8 x11=4 x12=13 x13=9 x20=10 x21=14 x22=3 x23=7 x30=5 x31=1 x32=16 x33=12 \n",
            "x00=11 x01=14 x02=3 x03=6 x10=8 x11=4 x12=13 x13=9 x20=10 x21=15 x22=2 x23=7 x30=5 x31=1 x32=16 x33=12 \n",
            "x00=11 x01=14 x02=2 x03=7 x10=8 x11=4 x12=13 x13=9 x20=10 x21=15 x22=3 x23=6 x30=5 x31=1 x32=16 x33=12 \n",
            "x00=11 x01=15 x02=2 x03=6 x10=8 x11=14 x12=3 x13=9 x20=10 x21=4 x22=13 x23=7 x30=5 x31=1 x32=16 x33=12 \n",
            "x00=11 x01=14 x02=3 x03=6 x10=8 x11=15 x12=2 x13=9 x20=10 x21=4 x22=13 x23=7 x30=5 x31=1 x32=16 x33=12 \n",
            "x00=8 x01=14 x02=3 x03=9 x10=11 x11=15 x12=2 x13=6 x20=10 x21=4 x22=13 x23=7 x30=5 x31=1 x32=16 x33=12 \n",
            "x00=8 x01=14 x02=3 x03=9 x10=10 x11=15 x12=2 x13=7 x20=11 x21=4 x22=13 x23=6 x30=5 x31=1 x32=16 x33=12 \n",
            "x00=7 x01=14 x02=4 x03=9 x10=12 x11=15 x12=1 x13=6 x20=10 x21=3 x22=13 x23=8 x30=5 x31=2 x32=16 x33=11 \n",
            "x00=7 x01=14 x02=4 x03=9 x10=12 x11=15 x12=6 x13=1 x20=10 x21=3 x22=8 x23=13 x30=5 x31=2 x32=16 x33=11 \n",
            "x00=7 x01=14 x02=9 x03=4 x10=12 x11=15 x12=1 x13=6 x20=10 x21=3 x22=8 x23=13 x30=5 x31=2 x32=16 x33=11 \n",
            "x00=3 x01=14 x02=6 x03=11 x10=12 x11=15 x12=5 x13=2 x20=10 x21=4 x22=7 x23=13 x30=9 x31=1 x32=16 x33=8 \n",
            "x00=5 x01=14 x02=4 x03=11 x10=12 x11=15 x12=6 x13=1 x20=10 x21=3 x22=8 x23=13 x30=7 x31=2 x32=16 x33=9 \n",
            "x00=3 x01=14 x02=2 x03=15 x10=12 x11=13 x12=5 x13=4 x20=10 x21=6 x22=11 x23=7 x30=9 x31=1 x32=16 x33=8 \n",
            "x00=2 x01=14 x02=3 x03=15 x10=13 x11=12 x12=4 x13=5 x20=10 x21=7 x22=11 x23=6 x30=9 x31=1 x32=16 x33=8 \n",
            "x00=3 x01=14 x02=2 x03=15 x10=13 x11=12 x12=5 x13=4 x20=10 x21=7 x22=11 x23=6 x30=8 x31=1 x32=16 x33=9 \n",
            "x00=3 x01=14 x02=4 x03=13 x10=15 x11=12 x12=5 x13=2 x20=10 x21=7 x22=9 x23=8 x30=6 x31=1 x32=16 x33=11 \n",
            "x00=3 x01=14 x02=9 x03=8 x10=15 x11=12 x12=5 x13=2 x20=10 x21=7 x22=4 x23=13 x30=6 x31=1 x32=16 x33=11 \n",
            "x00=3 x01=14 x02=11 x03=6 x10=13 x11=12 x12=5 x13=4 x20=10 x21=7 x22=2 x23=15 x30=8 x31=1 x32=16 x33=9 \n",
            "x00=2 x01=14 x02=3 x03=15 x10=13 x11=12 x12=5 x13=4 x20=11 x21=7 x22=10 x23=6 x30=8 x31=1 x32=16 x33=9 \n",
            "x00=2 x01=14 x02=3 x03=15 x10=13 x11=7 x12=10 x13=4 x20=11 x21=12 x22=5 x23=6 x30=8 x31=1 x32=16 x33=9 \n",
            "x00=16 x01=2 x02=15 x03=1 x10=8 x11=5 x12=9 x13=12 x20=7 x21=13 x22=4 x23=10 x30=3 x31=14 x32=6 x33=11 \n",
            "x00=6 x01=16 x02=5 x03=7 x10=3 x11=15 x12=12 x13=4 x20=14 x21=2 x22=8 x23=10 x30=11 x31=1 x32=9 x33=13 \n",
            "x00=14 x01=8 x02=3 x03=9 x10=1 x11=15 x12=16 x13=2 x20=12 x21=5 x22=4 x23=13 x30=7 x31=6 x32=11 x33=10 \n",
            "x00=6 x01=7 x02=10 x03=11 x10=9 x11=1 x12=8 x13=16 x20=15 x21=14 x22=3 x23=2 x30=4 x31=12 x32=13 x33=5 \n",
            "x00=2 x01=14 x02=5 x03=13 x10=15 x11=4 x12=8 x13=7 x20=1 x21=10 x22=12 x23=11 x30=16 x31=6 x32=9 x33=3 \n",
            "x00=2 x01=15 x02=9 x03=8 x10=10 x11=5 x12=7 x13=12 x20=6 x21=13 x22=4 x23=11 x30=16 x31=1 x32=14 x33=3 \n",
            "x00=7 x01=14 x02=10 x03=3 x10=13 x11=8 x12=4 x13=9 x20=12 x21=11 x22=5 x23=6 x30=2 x31=1 x32=15 x33=16 \n",
            "x00=9 x01=16 x02=7 x03=2 x10=13 x11=6 x12=3 x13=12 x20=1 x21=4 x22=14 x23=15 x30=11 x31=8 x32=10 x33=5 \n",
            "x00=8 x01=9 x02=15 x03=2 x10=7 x11=13 x12=10 x13=4 x20=14 x21=1 x22=3 x23=16 x30=5 x31=11 x32=6 x33=12 \n",
            "x00=3 x01=14 x02=16 x03=1 x10=13 x11=4 x12=9 x13=8 x20=12 x21=5 x22=2 x23=15 x30=6 x31=11 x32=7 x33=10 \n",
            "x00=3 x01=16 x02=9 x03=6 x10=8 x11=1 x12=14 x13=11 x20=10 x21=15 x22=4 x23=5 x30=13 x31=2 x32=7 x33=12 \n",
            "x00=1 x01=14 x02=11 x03=8 x10=6 x11=3 x12=16 x13=9 x20=12 x21=13 x22=2 x23=7 x30=15 x31=4 x32=5 x33=10 \n",
            "x00=4 x01=9 x02=16 x03=5 x10=2 x11=6 x12=14 x13=12 x20=13 x21=11 x22=3 x23=7 x30=15 x31=8 x32=1 x33=10 \n",
            "x00=14 x01=8 x02=1 x03=11 x10=2 x11=7 x12=13 x13=12 x20=15 x21=10 x22=4 x23=5 x30=3 x31=9 x32=16 x33=6 \n",
            "x00=15 x01=8 x02=7 x03=4 x10=1 x11=12 x12=11 x13=10 x20=2 x21=5 x22=13 x23=14 x30=16 x31=9 x32=3 x33=6 \n",
            "x00=11 x01=14 x02=1 x03=8 x10=5 x11=4 x12=16 x13=9 x20=6 x21=3 x22=15 x23=10 x30=12 x31=13 x32=2 x33=7 \n",
            "x00=15 x01=10 x02=2 x03=7 x10=1 x11=13 x12=11 x13=9 x20=12 x21=3 x22=5 x23=14 x30=6 x31=8 x32=16 x33=4 \n",
            "x00=11 x01=6 x02=14 x03=3 x10=1 x11=16 x12=2 x13=15 x20=10 x21=4 x22=13 x23=7 x30=12 x31=8 x32=5 x33=9 \n",
            "x00=9 x01=5 x02=13 x03=7 x10=15 x11=3 x12=2 x13=14 x20=6 x21=16 x22=11 x23=1 x30=4 x31=10 x32=8 x33=12 \n",
            "x00=13 x01=12 x02=5 x03=4 x10=3 x11=14 x12=6 x13=11 x20=16 x21=1 x22=8 x23=9 x30=2 x31=7 x32=15 x33=10 \n",
            "x00=16 x01=6 x02=5 x03=7 x10=2 x11=14 x12=8 x13=10 x20=15 x21=3 x22=12 x23=4 x30=1 x31=11 x32=9 x33=13 \n",
            "x00=16 x01=7 x02=9 x03=2 x10=10 x11=1 x12=15 x13=8 x20=5 x21=14 x22=4 x23=11 x30=3 x31=12 x32=6 x33=13 \n",
            "x00=1 x01=14 x02=4 x03=15 x10=12 x11=11 x12=5 x13=6 x20=13 x21=2 x22=9 x23=10 x30=8 x31=7 x32=16 x33=3 \n",
            "x00=8 x01=16 x02=6 x03=4 x10=9 x11=3 x12=15 x13=7 x20=12 x21=1 x22=11 x23=10 x30=5 x31=14 x32=2 x33=13 \n",
            "x00=13 x01=2 x02=12 x03=7 x10=3 x11=15 x12=5 x13=11 x20=14 x21=1 x22=9 x23=10 x30=4 x31=16 x32=8 x33=6 \n",
            "x00=6 x01=3 x02=11 x03=14 x10=4 x11=16 x12=1 x13=13 x20=9 x21=8 x22=12 x23=5 x30=15 x31=7 x32=10 x33=2 \n",
            "x00=12 x01=11 x02=5 x03=6 x10=1 x11=8 x12=16 x13=9 x20=14 x21=13 x22=3 x23=4 x30=7 x31=2 x32=10 x33=15 \n",
            "x00=5 x01=11 x02=14 x03=4 x10=10 x11=8 x12=1 x13=15 x20=3 x21=6 x22=12 x23=13 x30=16 x31=9 x32=7 x33=2 \n",
            "x00=7 x01=5 x02=12 x03=10 x10=16 x11=14 x12=3 x13=1 x20=2 x21=4 x22=13 x23=15 x30=9 x31=11 x32=6 x33=8 \n",
            "x00=11 x01=8 x02=6 x03=9 x10=14 x11=1 x12=16 x13=3 x20=5 x21=12 x22=10 x23=7 x30=4 x31=13 x32=2 x33=15 \n",
            "x00=8 x01=4 x02=12 x03=10 x10=2 x11=15 x12=1 x13=16 x20=11 x21=6 x22=14 x23=3 x30=13 x31=9 x32=7 x33=5 \n",
            "x00=16 x01=1 x02=15 x03=2 x10=5 x11=12 x12=6 x13=11 x20=3 x21=8 x22=9 x23=14 x30=10 x31=13 x32=4 x33=7 \n",
            "x00=13 x01=1 x02=15 x03=5 x10=4 x11=14 x12=6 x13=10 x20=8 x21=3 x22=11 x23=12 x30=9 x31=16 x32=2 x33=7 \n",
            "x00=11 x01=1 x02=10 x03=12 x10=2 x11=14 x12=13 x13=5 x20=15 x21=3 x22=7 x23=9 x30=6 x31=16 x32=4 x33=8 \n",
            "x00=14 x01=16 x02=1 x03=3 x10=4 x11=6 x12=13 x13=11 x20=9 x21=2 x22=15 x23=8 x30=7 x31=10 x32=5 x33=12 \n",
            "x00=16 x01=3 x02=5 x03=10 x10=15 x11=9 x12=4 x13=6 x20=2 x21=8 x22=13 x23=11 x30=1 x31=14 x32=12 x33=7 \n",
            "x00=5 x01=13 x02=4 x03=12 x10=8 x11=16 x12=1 x13=9 x20=10 x21=3 x22=15 x23=6 x30=11 x31=2 x32=14 x33=7 \n",
            "x00=13 x01=4 x02=14 x03=3 x10=12 x11=5 x12=11 x13=6 x20=7 x21=9 x22=8 x23=10 x30=2 x31=16 x32=1 x33=15 \n",
            "x00=7 x01=13 x02=4 x03=10 x10=15 x11=12 x12=5 x13=2 x20=3 x21=1 x22=14 x23=16 x30=9 x31=8 x32=11 x33=6 \n",
            "x00=6 x01=15 x02=5 x03=8 x10=11 x11=16 x12=4 x13=3 x20=10 x21=2 x22=13 x23=9 x30=7 x31=1 x32=12 x33=14 \n",
            "x00=9 x01=12 x02=8 x03=5 x10=3 x11=10 x12=7 x13=14 x20=6 x21=11 x22=4 x23=13 x30=16 x31=1 x32=15 x33=2 \n",
            "x00=5 x01=12 x02=10 x03=7 x10=6 x11=2 x12=15 x13=11 x20=14 x21=16 x22=1 x23=3 x30=9 x31=4 x32=8 x33=13 \n",
            "x00=10 x01=5 x02=15 x03=4 x10=3 x11=16 x12=2 x13=13 x20=7 x21=12 x22=9 x23=6 x30=14 x31=1 x32=8 x33=11 \n",
            "x00=10 x01=5 x02=15 x03=4 x10=3 x11=16 x12=2 x13=13 x20=7 x21=12 x22=6 x23=9 x30=14 x31=1 x32=11 x33=8 \n",
            "x00=10 x01=5 x02=15 x03=4 x10=3 x11=12 x12=6 x13=13 x20=7 x21=16 x22=2 x23=9 x30=14 x31=1 x32=11 x33=8 \n",
            "x00=10 x01=5 x02=15 x03=4 x10=7 x11=12 x12=2 x13=13 x20=3 x21=16 x22=6 x23=9 x30=14 x31=1 x32=11 x33=8 \n",
            "x00=10 x01=5 x02=15 x03=4 x10=7 x11=12 x12=2 x13=13 x20=3 x21=16 x22=9 x23=6 x30=14 x31=1 x32=8 x33=11 \n",
            "x00=10 x01=15 x02=8 x03=1 x10=6 x11=12 x12=3 x13=13 x20=4 x21=5 x22=16 x23=9 x30=14 x31=2 x32=7 x33=11 \n",
            "x00=10 x01=15 x02=8 x03=1 x10=3 x11=12 x12=6 x13=13 x20=7 x21=2 x22=16 x23=9 x30=14 x31=5 x32=4 x33=11 \n",
            "x00=10 x01=15 x02=8 x03=1 x10=12 x11=3 x12=6 x13=13 x20=7 x21=2 x22=16 x23=9 x30=5 x31=14 x32=4 x33=11 \n",
            "x00=10 x01=15 x02=1 x03=8 x10=12 x11=3 x12=13 x13=6 x20=7 x21=2 x22=16 x23=9 x30=5 x31=14 x32=4 x33=11 \n",
            "x00=10 x01=7 x02=3 x03=14 x10=12 x11=4 x12=13 x13=5 x20=1 x21=8 x22=16 x23=9 x30=11 x31=15 x32=2 x33=6 \n",
            "x00=10 x01=7 x02=3 x03=14 x10=11 x11=4 x12=13 x13=6 x20=1 x21=8 x22=16 x23=9 x30=12 x31=15 x32=2 x33=5 \n",
            "x00=10 x01=3 x02=7 x03=14 x10=15 x11=2 x12=11 x13=6 x20=8 x21=13 x22=4 x23=9 x30=1 x31=16 x32=12 x33=5 \n",
            "x00=10 x01=3 x02=7 x03=14 x10=15 x11=2 x12=12 x13=5 x20=8 x21=13 x22=4 x23=9 x30=1 x31=16 x32=11 x33=6 \n",
            "x00=10 x01=3 x02=7 x03=14 x10=15 x11=2 x12=12 x13=5 x20=8 x21=13 x22=9 x23=4 x30=1 x31=16 x32=6 x33=11 \n",
            "x00=10 x01=3 x02=7 x03=14 x10=15 x11=4 x12=9 x13=6 x20=8 x21=11 x22=13 x23=2 x30=1 x31=16 x32=5 x33=12 \n",
            "x00=10 x01=3 x02=7 x03=14 x10=15 x11=4 x12=13 x13=2 x20=8 x21=11 x22=9 x23=6 x30=1 x31=16 x32=5 x33=12 \n",
            "x00=10 x01=3 x02=7 x03=14 x10=15 x11=2 x12=6 x13=11 x20=8 x21=13 x22=9 x23=4 x30=1 x31=16 x32=12 x33=5 \n",
            "x00=10 x01=7 x02=3 x03=14 x10=15 x11=2 x12=6 x13=11 x20=8 x21=13 x22=9 x23=4 x30=1 x31=12 x32=16 x33=5 \n",
            "x00=9 x01=7 x02=4 x03=14 x10=16 x11=2 x12=5 x13=11 x20=8 x21=13 x22=10 x23=3 x30=1 x31=12 x32=15 x33=6 \n",
            "x00=9 x01=16 x02=5 x03=4 x10=8 x11=1 x12=10 x13=15 x20=6 x21=3 x22=12 x23=13 x30=11 x31=14 x32=7 x33=2 \n",
            "x00=1 x01=14 x02=3 x03=16 x10=10 x11=7 x12=6 x13=11 x20=15 x21=4 x22=13 x23=2 x30=8 x31=9 x32=12 x33=5 \n",
            "x00=10 x01=8 x02=11 x03=5 x10=6 x11=9 x12=7 x13=12 x20=15 x21=4 x22=14 x23=1 x30=3 x31=13 x32=2 x33=16 \n",
            "x00=15 x01=3 x02=4 x03=12 x10=16 x11=6 x12=7 x13=5 x20=1 x21=14 x22=10 x23=9 x30=2 x31=11 x32=13 x33=8 \n",
            "x00=11 x01=16 x02=4 x03=3 x10=7 x11=1 x12=12 x13=14 x20=6 x21=15 x22=5 x23=8 x30=10 x31=2 x32=13 x33=9 \n",
            "x00=5 x01=1 x02=15 x03=13 x10=7 x11=14 x12=9 x13=4 x20=10 x21=16 x22=2 x23=6 x30=12 x31=3 x32=8 x33=11 \n",
            "x00=15 x01=6 x02=2 x03=11 x10=12 x11=5 x12=8 x13=9 x20=3 x21=16 x22=14 x23=1 x30=4 x31=7 x32=10 x33=13 \n",
            "x00=8 x01=7 x02=3 x03=16 x10=13 x11=10 x12=6 x13=5 x20=12 x21=2 x22=11 x23=9 x30=1 x31=15 x32=14 x33=4 \n",
            "x00=16 x01=9 x02=2 x03=7 x10=1 x11=8 x12=15 x13=10 x20=14 x21=11 x22=5 x23=4 x30=3 x31=6 x32=12 x33=13 \n",
            "x00=1 x01=15 x02=16 x03=2 x10=13 x11=4 x12=5 x13=12 x20=11 x21=7 x22=10 x23=6 x30=9 x31=8 x32=3 x33=14 \n",
            "x00=5 x01=4 x02=10 x03=15 x10=14 x11=13 x12=6 x13=1 x20=3 x21=8 x22=7 x23=16 x30=12 x31=9 x32=11 x33=2 \n",
            "x00=6 x01=11 x02=5 x03=12 x10=3 x11=13 x12=4 x13=14 x20=10 x21=8 x22=9 x23=7 x30=15 x31=2 x32=16 x33=1 \n",
            "x00=8 x01=1 x02=11 x03=14 x10=10 x11=15 x12=5 x13=4 x20=7 x21=2 x22=12 x23=13 x30=9 x31=16 x32=6 x33=3 \n",
            "x00=13 x01=3 x02=11 x03=7 x10=8 x11=1 x12=15 x13=10 x20=9 x21=14 x22=6 x23=5 x30=4 x31=16 x32=2 x33=12 \n",
            "x00=6 x01=14 x02=1 x03=13 x10=11 x11=5 x12=8 x13=10 x20=15 x21=3 x22=9 x23=7 x30=2 x31=12 x32=16 x33=4 \n",
            "x00=8 x01=5 x02=12 x03=9 x10=14 x11=15 x12=3 x13=2 x20=1 x21=4 x22=13 x23=16 x30=11 x31=10 x32=6 x33=7 \n",
            "x00=7 x01=8 x02=9 x03=10 x10=14 x11=2 x12=15 x13=3 x20=1 x21=13 x22=4 x23=16 x30=12 x31=11 x32=6 x33=5 \n",
            "x00=10 x01=7 x02=12 x03=5 x10=14 x11=15 x12=3 x13=2 x20=1 x21=4 x22=13 x23=16 x30=9 x31=8 x32=6 x33=11 \n",
            "x00=7 x01=11 x02=6 x03=10 x10=14 x11=2 x12=15 x13=3 x20=1 x21=13 x22=4 x23=16 x30=12 x31=8 x32=9 x33=5 \n",
            "x00=11 x01=6 x02=12 x03=5 x10=14 x11=15 x12=2 x13=3 x20=1 x21=4 x22=13 x23=16 x30=8 x31=9 x32=7 x33=10 \n",
            "x00=3 x01=13 x02=7 x03=11 x10=2 x11=4 x12=12 x13=16 x20=14 x21=9 x22=10 x23=1 x30=15 x31=8 x32=5 x33=6 \n",
            "x00=2 x01=14 x02=13 x03=5 x10=1 x11=11 x12=10 x13=12 x20=16 x21=6 x22=4 x23=8 x30=15 x31=3 x32=7 x33=9 \n",
            "x00=12 x01=8 x02=5 x03=9 x10=1 x11=16 x12=2 x13=15 x20=11 x21=6 x22=14 x23=3 x30=10 x31=4 x32=13 x33=7 \n",
            "x00=15 x01=11 x02=2 x03=6 x10=1 x11=7 x12=10 x13=16 x20=13 x21=4 x22=8 x23=9 x30=5 x31=12 x32=14 x33=3 \n",
            "x00=3 x01=6 x02=14 x03=11 x10=16 x11=8 x12=1 x13=9 x20=5 x21=13 x22=4 x23=12 x30=10 x31=7 x32=15 x33=2 \n",
            "x00=8 x01=13 x02=2 x03=11 x10=1 x11=5 x12=12 x13=16 x20=10 x21=7 x22=14 x23=3 x30=15 x31=9 x32=6 x33=4 \n",
            "x00=11 x01=6 x02=3 x03=14 x10=9 x11=5 x12=12 x13=8 x20=13 x21=7 x22=4 x23=10 x30=1 x31=16 x32=15 x33=2 \n",
            "x00=13 x01=1 x02=11 x03=9 x10=6 x11=4 x12=8 x13=16 x20=12 x21=15 x22=5 x23=2 x30=3 x31=14 x32=10 x33=7 \n",
            "x00=5 x01=12 x02=9 x03=8 x10=13 x11=10 x12=4 x13=7 x20=2 x21=1 x22=15 x23=16 x30=14 x31=11 x32=6 x33=3 \n",
            "x00=14 x01=4 x02=15 x03=1 x10=3 x11=16 x12=2 x13=13 x20=5 x21=8 x22=10 x23=11 x30=12 x31=6 x32=7 x33=9 \n",
            "x00=11 x01=5 x02=2 x03=16 x10=14 x11=4 x12=7 x13=9 x20=3 x21=10 x22=13 x23=8 x30=6 x31=15 x32=12 x33=1 \n",
            "x00=12 x01=5 x02=10 x03=7 x10=16 x11=14 x12=1 x13=3 x20=2 x21=6 x22=15 x23=11 x30=4 x31=9 x32=8 x33=13 \n",
            "x00=10 x01=4 x02=13 x03=7 x10=15 x11=14 x12=3 x13=2 x20=1 x21=11 x22=6 x23=16 x30=8 x31=5 x32=12 x33=9 \n",
            "x00=14 x01=3 x02=4 x03=13 x10=7 x11=11 x12=6 x13=10 x20=1 x21=15 x22=16 x23=2 x30=12 x31=5 x32=8 x33=9 \n",
            "x00=4 x01=12 x02=3 x03=15 x10=13 x11=9 x12=1 x13=11 x20=7 x21=5 x22=16 x23=6 x30=10 x31=8 x32=14 x33=2 \n",
            "x00=10 x01=8 x02=5 x03=11 x10=4 x11=1 x12=15 x13=14 x20=7 x21=9 x22=12 x23=6 x30=13 x31=16 x32=2 x33=3 \n",
            "x00=12 x01=13 x02=2 x03=7 x10=11 x11=8 x12=1 x13=14 x20=5 x21=4 x22=15 x23=10 x30=6 x31=9 x32=16 x33=3 \n",
            "x00=13 x01=4 x02=15 x03=2 x10=1 x11=14 x12=3 x13=16 x20=8 x21=6 x22=9 x23=11 x30=12 x31=10 x32=7 x33=5 \n",
            "x00=9 x01=15 x02=2 x03=8 x10=16 x11=10 x12=7 x13=1 x20=4 x21=3 x22=13 x23=14 x30=5 x31=6 x32=12 x33=11 \n",
            "x00=4 x01=16 x02=5 x03=9 x10=2 x11=14 x12=10 x13=8 x20=13 x21=3 x22=12 x23=6 x30=15 x31=1 x32=7 x33=11 \n",
            "x00=7 x01=1 x02=14 x03=12 x10=6 x11=15 x12=8 x13=5 x20=11 x21=16 x22=3 x23=4 x30=10 x31=2 x32=9 x33=13 \n",
            "x00=14 x01=1 x02=16 x03=3 x10=4 x11=10 x12=7 x13=13 x20=5 x21=8 x22=9 x23=12 x30=11 x31=15 x32=2 x33=6 \n",
            "x00=14 x01=1 x02=13 x03=6 x10=3 x11=16 x12=8 x13=7 x20=12 x21=2 x22=9 x23=11 x30=5 x31=15 x32=4 x33=10 \n",
            "x00=11 x01=6 x02=12 x03=5 x10=8 x11=9 x12=13 x13=4 x20=14 x21=3 x22=2 x23=15 x30=1 x31=16 x32=7 x33=10 \n",
            "x00=10 x01=14 x02=9 x03=1 x10=13 x11=11 x12=8 x13=2 x20=7 x21=6 x22=5 x23=16 x30=4 x31=3 x32=12 x33=15 \n",
            "x00=13 x01=7 x02=12 x03=2 x10=4 x11=9 x12=5 x13=16 x20=11 x21=8 x22=14 x23=1 x30=6 x31=10 x32=3 x33=15 \n",
            "x00=16 x01=4 x02=8 x03=6 x10=1 x11=14 x12=9 x13=10 x20=15 x21=3 x22=5 x23=11 x30=2 x31=13 x32=12 x33=7 \n",
            "x00=8 x01=13 x02=12 x03=1 x10=7 x11=2 x12=11 x13=14 x20=9 x21=16 x22=5 x23=4 x30=10 x31=3 x32=6 x33=15 \n",
            "x00=4 x01=14 x02=10 x03=6 x10=8 x11=5 x12=12 x13=9 x20=15 x21=2 x22=1 x23=16 x30=7 x31=13 x32=11 x33=3 \n",
            "x00=3 x01=16 x02=11 x03=4 x10=7 x11=5 x12=13 x13=9 x20=14 x21=12 x22=2 x23=6 x30=10 x31=1 x32=8 x33=15 \n",
            "x00=3 x01=10 x02=5 x03=16 x10=11 x11=8 x12=13 x13=2 x20=14 x21=12 x22=1 x23=7 x30=6 x31=4 x32=15 x33=9 \n",
            "x00=8 x01=14 x02=9 x03=3 x10=7 x11=6 x12=11 x13=10 x20=15 x21=2 x22=1 x23=16 x30=4 x31=12 x32=13 x33=5 \n",
            "x00=2 x01=9 x02=8 x03=15 x10=11 x11=6 x12=12 x13=5 x20=7 x21=16 x22=10 x23=1 x30=14 x31=3 x32=4 x33=13 \n",
            "x00=11 x01=1 x02=12 x03=10 x10=6 x11=16 x12=8 x13=4 x20=15 x21=3 x22=9 x23=7 x30=2 x31=14 x32=5 x33=13 \n",
            "x00=9 x01=16 x02=5 x03=4 x10=14 x11=1 x12=12 x13=7 x20=8 x21=2 x22=11 x23=13 x30=3 x31=15 x32=6 x33=10 \n",
            "x00=13 x01=16 x02=3 x03=2 x10=4 x11=1 x12=15 x13=14 x20=12 x21=9 x22=6 x23=7 x30=5 x31=8 x32=10 x33=11 \n",
            "x00=9 x01=1 x02=13 x03=11 x10=8 x11=2 x12=10 x13=14 x20=5 x21=16 x22=7 x23=6 x30=12 x31=15 x32=4 x33=3 \n",
            "x00=1 x01=12 x02=8 x03=13 x10=4 x11=9 x12=5 x13=16 x20=14 x21=6 x22=11 x23=3 x30=15 x31=7 x32=10 x33=2 \n",
            "x00=9 x01=3 x02=6 x03=16 x10=13 x11=14 x12=2 x13=5 x20=4 x21=7 x22=11 x23=12 x30=8 x31=10 x32=15 x33=1 \n",
            "x00=16 x01=9 x02=4 x03=5 x10=3 x11=6 x12=13 x13=12 x20=1 x21=8 x22=10 x23=15 x30=14 x31=11 x32=7 x33=2 \n",
            "x00=11 x01=12 x02=1 x03=10 x10=15 x11=9 x12=3 x13=7 x20=2 x21=5 x22=14 x23=13 x30=6 x31=8 x32=16 x33=4 \n",
            "x00=8 x01=5 x02=15 x03=6 x10=13 x11=12 x12=2 x13=7 x20=4 x21=3 x22=16 x23=11 x30=9 x31=14 x32=1 x33=10 \n",
            "x00=6 x01=14 x02=4 x03=10 x10=2 x11=16 x12=9 x13=7 x20=11 x21=3 x22=8 x23=12 x30=15 x31=1 x32=13 x33=5 \n",
            "x00=1 x01=14 x02=12 x03=7 x10=15 x11=9 x12=4 x13=6 x20=16 x21=3 x22=5 x23=10 x30=2 x31=8 x32=13 x33=11 \n",
            "x00=15 x01=4 x02=13 x03=2 x10=8 x11=9 x12=11 x13=6 x20=1 x21=16 x22=3 x23=14 x30=10 x31=5 x32=7 x33=12 \n",
            "x00=13 x01=6 x02=12 x03=3 x10=8 x11=15 x12=1 x13=10 x20=2 x21=9 x22=16 x23=7 x30=11 x31=4 x32=5 x33=14 \n",
            "x00=1 x01=15 x02=13 x03=5 x10=6 x11=2 x12=14 x13=12 x20=16 x21=8 x22=3 x23=7 x30=11 x31=9 x32=4 x33=10 \n",
            "x00=1 x01=8 x02=13 x03=12 x10=11 x11=2 x12=14 x13=7 x20=6 x21=15 x22=3 x23=10 x30=16 x31=9 x32=4 x33=5 \n",
            "x00=1 x01=13 x02=12 x03=8 x10=14 x11=4 x12=11 x13=5 x20=16 x21=10 x22=2 x23=6 x30=3 x31=7 x32=9 x33=15 \n",
            "x00=11 x01=7 x02=10 x03=6 x10=1 x11=13 x12=4 x13=16 x20=14 x21=12 x22=5 x23=3 x30=8 x31=2 x32=15 x33=9 \n",
            "x00=12 x01=9 x02=10 x03=3 x10=11 x11=15 x12=7 x13=1 x20=6 x21=8 x22=4 x23=16 x30=5 x31=2 x32=13 x33=14 \n",
            "x00=4 x01=12 x02=2 x03=16 x10=13 x11=7 x12=11 x13=3 x20=9 x21=14 x22=6 x23=5 x30=8 x31=1 x32=15 x33=10 \n",
            "x00=1 x01=15 x02=8 x03=10 x10=16 x11=2 x12=13 x13=3 x20=5 x21=11 x22=4 x23=14 x30=12 x31=6 x32=9 x33=7 \n",
            "x00=10 x01=5 x02=4 x03=15 x10=7 x11=8 x12=3 x13=16 x20=6 x21=12 x22=14 x23=2 x30=11 x31=9 x32=13 x33=1 \n",
            "x00=7 x01=16 x02=1 x03=10 x10=4 x11=13 x12=12 x13=5 x20=14 x21=3 x22=6 x23=11 x30=9 x31=2 x32=15 x33=8 \n",
            "x00=11 x01=1 x02=14 x03=8 x10=3 x11=15 x12=4 x13=12 x20=13 x21=2 x22=10 x23=9 x30=7 x31=16 x32=6 x33=5 \n",
            "x00=5 x01=7 x02=10 x03=12 x10=4 x11=15 x12=2 x13=13 x20=9 x21=11 x22=8 x23=6 x30=16 x31=1 x32=14 x33=3 \n",
            "x00=9 x01=16 x02=5 x03=4 x10=8 x11=1 x12=12 x13=13 x20=10 x21=6 x22=15 x23=3 x30=7 x31=11 x32=2 x33=14 \n",
            "x00=11 x01=15 x02=6 x03=2 x10=8 x11=1 x12=12 x13=13 x20=5 x21=4 x22=9 x23=16 x30=10 x31=14 x32=7 x33=3 \n",
            "x00=15 x01=10 x02=2 x03=7 x10=1 x11=4 x12=13 x13=16 x20=12 x21=9 x22=5 x23=8 x30=6 x31=11 x32=14 x33=3 \n",
            "x00=9 x01=3 x02=16 x03=6 x10=8 x11=14 x12=1 x13=11 x20=12 x21=7 x22=2 x23=13 x30=5 x31=10 x32=15 x33=4 \n",
            "x00=4 x01=10 x02=14 x03=6 x10=8 x11=12 x12=3 x13=11 x20=13 x21=5 x22=1 x23=15 x30=9 x31=7 x32=16 x33=2 \n",
            "x00=9 x01=15 x02=8 x03=2 x10=14 x11=1 x12=3 x13=16 x20=7 x21=5 x22=12 x23=10 x30=4 x31=13 x32=11 x33=6 \n",
            "x00=9 x01=16 x02=8 x03=1 x10=15 x11=2 x12=7 x13=10 x20=6 x21=3 x22=14 x23=11 x30=4 x31=13 x32=5 x33=12 \n",
            "x00=9 x01=16 x02=8 x03=1 x10=14 x11=3 x12=7 x13=10 x20=6 x21=2 x22=15 x23=11 x30=5 x31=13 x32=4 x33=12 \n",
            "x00=15 x01=5 x02=13 x03=1 x10=2 x11=14 x12=8 x13=10 x20=6 x21=3 x22=9 x23=16 x30=11 x31=12 x32=4 x33=7 \n",
            "x00=15 x01=5 x02=13 x03=1 x10=2 x11=14 x12=11 x13=7 x20=9 x21=3 x22=6 x23=16 x30=8 x31=12 x32=4 x33=10 \n",
            "x00=13 x01=5 x02=10 x03=6 x10=4 x11=14 x12=15 x13=1 x20=8 x21=3 x22=7 x23=16 x30=9 x31=12 x32=2 x33=11 \n",
            "x00=13 x01=3 x02=10 x03=8 x10=4 x11=14 x12=15 x13=1 x20=6 x21=5 x22=7 x23=16 x30=11 x31=12 x32=2 x33=9 \n",
            "x00=13 x01=2 x02=11 x03=8 x10=4 x11=14 x12=15 x13=1 x20=7 x21=6 x22=5 x23=16 x30=10 x31=12 x32=3 x33=9 \n",
            "x00=14 x01=6 x02=3 x03=11 x10=5 x11=16 x12=4 x13=9 x20=8 x21=10 x22=15 x23=1 x30=7 x31=2 x32=12 x33=13 \n",
            "x00=10 x01=1 x02=15 x03=8 x10=7 x11=16 x12=9 x13=2 x20=5 x21=14 x22=4 x23=11 x30=12 x31=3 x32=6 x33=13 \n",
            "x00=8 x01=10 x02=7 x03=9 x10=13 x11=3 x12=14 x13=4 x20=2 x21=16 x22=1 x23=15 x30=11 x31=5 x32=12 x33=6 \n",
            "x00=13 x01=4 x02=5 x03=12 x10=9 x11=8 x12=3 x13=14 x20=1 x21=15 x22=16 x23=2 x30=11 x31=7 x32=10 x33=6 \n",
            "x00=4 x01=8 x02=13 x03=9 x10=10 x11=16 x12=6 x13=2 x20=15 x21=7 x22=1 x23=11 x30=5 x31=3 x32=14 x33=12 \n",
            "x00=14 x01=3 x02=1 x03=16 x10=13 x11=7 x12=10 x13=4 x20=2 x21=15 x22=11 x23=6 x30=5 x31=9 x32=12 x33=8 \n",
            "x00=7 x01=2 x02=16 x03=9 x10=13 x11=6 x12=1 x13=14 x20=4 x21=15 x22=12 x23=3 x30=10 x31=11 x32=5 x33=8 \n",
            "x00=5 x01=2 x02=11 x03=16 x10=12 x11=13 x12=1 x13=8 x20=14 x21=9 x22=7 x23=4 x30=3 x31=10 x32=15 x33=6 \n",
            "x00=10 x01=16 x02=1 x03=7 x10=8 x11=9 x12=15 x13=2 x20=4 x21=3 x22=13 x23=14 x30=12 x31=6 x32=5 x33=11 \n",
            "x00=8 x01=1 x02=13 x03=12 x10=10 x11=15 x12=3 x13=6 x20=9 x21=4 x22=16 x23=5 x30=7 x31=14 x32=2 x33=11 \n",
            "x00=13 x01=1 x02=12 x03=8 x10=16 x11=9 x12=4 x13=5 x20=3 x21=14 x22=11 x23=6 x30=2 x31=10 x32=7 x33=15 \n",
            "x00=15 x01=16 x02=2 x03=1 x10=8 x11=3 x12=9 x13=14 x20=7 x21=10 x22=11 x23=6 x30=4 x31=5 x32=12 x33=13 \n",
            "x00=2 x01=11 x02=12 x03=9 x10=15 x11=7 x12=4 x13=8 x20=14 x21=6 x22=13 x23=1 x30=3 x31=10 x32=5 x33=16 \n",
            "x00=2 x01=9 x02=10 x03=13 x10=16 x11=3 x12=11 x13=4 x20=15 x21=8 x22=6 x23=5 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=6 x01=9 x02=3 x03=16 x10=10 x11=8 x12=15 x13=1 x20=7 x21=13 x22=2 x23=12 x30=11 x31=4 x32=14 x33=5 \n",
            "x00=5 x01=6 x02=9 x03=14 x10=10 x11=15 x12=8 x13=1 x20=7 x21=11 x22=13 x23=3 x30=12 x31=2 x32=4 x33=16 \n",
            "x00=13 x01=7 x02=4 x03=10 x10=14 x11=3 x12=6 x13=11 x20=5 x21=8 x22=9 x23=12 x30=2 x31=16 x32=15 x33=1 \n",
            "x00=11 x01=5 x02=2 x03=16 x10=4 x11=14 x12=15 x13=1 x20=13 x21=3 x22=10 x23=8 x30=6 x31=12 x32=7 x33=9 \n",
            "x00=7 x01=5 x02=12 x03=10 x10=16 x11=14 x12=3 x13=1 x20=2 x21=11 x22=6 x23=15 x30=9 x31=4 x32=13 x33=8 \n",
            "x00=7 x01=15 x02=10 x03=2 x10=3 x11=6 x12=9 x13=16 x20=11 x21=5 x22=14 x23=4 x30=13 x31=8 x32=1 x33=12 \n",
            "x00=6 x01=12 x02=11 x03=5 x10=8 x11=9 x12=2 x13=15 x20=16 x21=3 x22=14 x23=1 x30=4 x31=10 x32=7 x33=13 \n",
            "x00=8 x01=7 x02=16 x03=3 x10=1 x11=14 x12=4 x13=15 x20=12 x21=11 x22=5 x23=6 x30=13 x31=2 x32=9 x33=10 \n",
            "x00=3 x01=14 x02=8 x03=9 x10=16 x11=5 x12=1 x13=12 x20=4 x21=13 x22=10 x23=7 x30=11 x31=2 x32=15 x33=6 \n",
            "x00=9 x01=4 x02=16 x03=5 x10=13 x11=12 x12=2 x13=7 x20=1 x21=15 x22=10 x23=8 x30=11 x31=3 x32=6 x33=14 \n",
            "x00=12 x01=11 x02=5 x03=6 x10=1 x11=13 x12=4 x13=16 x20=14 x21=2 x22=15 x23=3 x30=7 x31=8 x32=10 x33=9 \n",
            "x00=7 x01=3 x02=14 x03=10 x10=12 x11=16 x12=1 x13=5 x20=6 x21=13 x22=4 x23=11 x30=9 x31=2 x32=15 x33=8 \n",
            "x00=2 x01=15 x02=11 x03=6 x10=12 x11=3 x12=14 x13=5 x20=16 x21=7 x22=1 x23=10 x30=4 x31=9 x32=8 x33=13 \n",
            "x00=9 x01=8 x02=12 x03=5 x10=2 x11=11 x12=15 x13=6 x20=7 x21=14 x22=3 x23=10 x30=16 x31=1 x32=4 x33=13 \n",
            "x00=16 x01=13 x02=2 x03=3 x10=4 x11=12 x12=7 x13=11 x20=5 x21=8 x22=15 x23=6 x30=9 x31=1 x32=10 x33=14 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=9 x12=10 x13=11 x20=5 x21=8 x22=15 x23=6 x30=12 x31=1 x32=7 x33=14 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=9 x12=15 x13=6 x20=5 x21=8 x22=10 x23=11 x30=12 x31=1 x32=7 x33=14 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=11 x12=10 x13=9 x20=5 x21=6 x22=15 x23=8 x30=12 x31=1 x32=7 x33=14 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=6 x12=15 x13=9 x20=5 x21=11 x22=10 x23=8 x30=12 x31=1 x32=7 x33=14 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=8 x12=15 x13=7 x20=5 x21=9 x22=6 x23=14 x30=12 x31=1 x32=11 x33=10 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=1 x12=15 x13=14 x20=5 x21=11 x22=8 x23=10 x30=12 x31=6 x32=9 x33=7 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=1 x12=15 x13=14 x20=5 x21=10 x22=8 x23=11 x30=12 x31=7 x32=9 x33=6 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=7 x12=9 x13=14 x20=5 x21=10 x22=8 x23=11 x30=12 x31=1 x32=15 x33=6 \n",
            "x00=13 x01=16 x02=2 x03=3 x10=4 x11=1 x12=15 x13=14 x20=5 x21=8 x22=10 x23=11 x30=12 x31=9 x32=7 x33=6 \n",
            "x00=13 x01=16 x02=3 x03=2 x10=4 x11=1 x12=15 x13=14 x20=5 x21=8 x22=10 x23=11 x30=12 x31=9 x32=6 x33=7 \n",
            "x00=13 x01=16 x02=3 x03=2 x10=4 x11=1 x12=14 x13=15 x20=5 x21=8 x22=10 x23=11 x30=12 x31=9 x32=7 x33=6 \n",
            "x00=13 x01=16 x02=3 x03=2 x10=4 x11=1 x12=14 x13=15 x20=5 x21=10 x22=8 x23=11 x30=12 x31=7 x32=9 x33=6 \n",
            "x00=13 x01=16 x02=3 x03=2 x10=4 x11=8 x12=15 x13=7 x20=5 x21=9 x22=6 x23=14 x30=12 x31=1 x32=10 x33=11 \n",
            "x00=7 x01=3 x02=16 x03=8 x10=14 x11=6 x12=4 x13=10 x20=11 x21=13 x22=9 x23=1 x30=2 x31=12 x32=5 x33=15 \n",
            "x00=6 x01=7 x02=11 x03=10 x10=13 x11=4 x12=12 x13=5 x20=14 x21=8 x22=9 x23=3 x30=1 x31=15 x32=2 x33=16 \n",
            "x00=12 x01=1 x02=15 x03=6 x10=13 x11=3 x12=10 x13=8 x20=2 x21=16 x22=5 x23=11 x30=7 x31=14 x32=4 x33=9 \n",
            "x00=4 x01=7 x02=12 x03=11 x10=8 x11=10 x12=15 x13=1 x20=6 x21=14 x22=5 x23=9 x30=16 x31=3 x32=2 x33=13 \n",
            "x00=4 x01=16 x02=8 x03=6 x10=7 x11=15 x12=9 x13=3 x20=13 x21=2 x22=5 x23=14 x30=10 x31=1 x32=12 x33=11 \n",
            "x00=1 x01=7 x02=15 x03=11 x10=3 x11=10 x12=9 x13=12 x20=14 x21=13 x22=2 x23=5 x30=16 x31=4 x32=8 x33=6 \n",
            "x00=15 x01=3 x02=12 x03=4 x10=2 x11=14 x12=8 x13=10 x20=6 x21=16 x22=5 x23=7 x30=11 x31=1 x32=9 x33=13 \n",
            "x00=8 x01=9 x02=14 x03=3 x10=12 x11=5 x12=7 x13=10 x20=13 x21=4 x22=11 x23=6 x30=1 x31=16 x32=2 x33=15 \n",
            "x00=7 x01=5 x02=14 x03=8 x10=13 x11=1 x12=11 x13=9 x20=4 x21=12 x22=3 x23=15 x30=10 x31=16 x32=6 x33=2 \n",
            "x00=7 x01=16 x02=5 x03=6 x10=4 x11=15 x12=12 x13=3 x20=13 x21=2 x22=8 x23=11 x30=10 x31=1 x32=9 x33=14 \n",
            "x00=14 x01=4 x02=11 x03=5 x10=3 x11=13 x12=6 x13=12 x20=15 x21=8 x22=1 x23=10 x30=2 x31=9 x32=16 x33=7 \n",
            "x00=3 x01=11 x02=16 x03=4 x10=15 x11=6 x12=5 x13=8 x20=14 x21=10 x22=1 x23=9 x30=2 x31=7 x32=12 x33=13 \n",
            "x00=16 x01=5 x02=10 x03=3 x10=2 x11=12 x12=11 x13=9 x20=1 x21=13 x22=6 x23=14 x30=15 x31=4 x32=7 x33=8 \n",
            "x00=7 x01=10 x02=14 x03=3 x10=15 x11=1 x12=2 x13=16 x20=4 x21=11 x22=13 x23=6 x30=8 x31=12 x32=5 x33=9 \n",
            "x00=2 x01=11 x02=5 x03=16 x10=12 x11=6 x12=15 x13=1 x20=13 x21=8 x22=10 x23=3 x30=7 x31=9 x32=4 x33=14 \n",
            "x00=11 x01=7 x02=6 x03=10 x10=12 x11=4 x12=13 x13=5 x20=9 x21=8 x22=14 x23=3 x30=2 x31=15 x32=1 x33=16 \n",
            "x00=1 x01=16 x02=5 x03=12 x10=11 x11=6 x12=15 x13=2 x20=14 x21=3 x22=4 x23=13 x30=8 x31=9 x32=10 x33=7 \n",
            "x00=5 x01=10 x02=16 x03=3 x10=14 x11=4 x12=1 x13=15 x20=2 x21=12 x22=11 x23=9 x30=13 x31=8 x32=6 x33=7 \n",
            "x00=4 x01=16 x02=1 x03=13 x10=7 x11=2 x12=15 x13=10 x20=14 x21=5 x22=12 x23=3 x30=9 x31=11 x32=6 x33=8 \n",
            "x00=6 x01=12 x02=11 x03=5 x10=15 x11=2 x12=9 x13=8 x20=3 x21=16 x22=1 x23=14 x30=10 x31=4 x32=13 x33=7 \n",
            "x00=3 x01=4 x02=12 x03=15 x10=1 x11=13 x12=11 x13=9 x20=16 x21=10 x22=6 x23=2 x30=14 x31=7 x32=5 x33=8 \n",
            "x00=16 x01=7 x02=9 x03=2 x10=11 x11=4 x12=14 x13=5 x20=6 x21=10 x22=3 x23=15 x30=1 x31=13 x32=8 x33=12 \n",
            "x00=4 x01=10 x02=14 x03=6 x10=5 x11=15 x12=1 x13=13 x20=9 x21=2 x22=11 x23=12 x30=16 x31=7 x32=8 x33=3 \n",
            "x00=3 x01=9 x02=8 x03=14 x10=6 x11=16 x12=1 x13=11 x20=15 x21=2 x22=12 x23=5 x30=10 x31=7 x32=13 x33=4 \n",
            "x00=10 x01=14 x02=7 x03=3 x10=16 x11=1 x12=13 x13=4 x20=2 x21=11 x22=9 x23=12 x30=6 x31=8 x32=5 x33=15 \n",
            "x00=11 x01=16 x02=5 x03=2 x10=6 x11=1 x12=12 x13=15 x20=13 x21=10 x22=8 x23=3 x30=4 x31=7 x32=9 x33=14 \n",
            "x00=2 x01=3 x02=16 x03=13 x10=6 x11=12 x12=9 x13=7 x20=11 x21=5 x22=8 x23=10 x30=15 x31=14 x32=1 x33=4 \n",
            "x00=6 x01=16 x02=10 x03=2 x10=4 x11=1 x12=14 x13=15 x20=13 x21=5 x22=7 x23=9 x30=11 x31=12 x32=3 x33=8 \n",
            "x00=12 x01=5 x02=10 x03=7 x10=3 x11=1 x12=14 x13=16 x20=8 x21=13 x22=4 x23=9 x30=11 x31=15 x32=6 x33=2 \n",
            "x00=11 x01=12 x02=5 x03=6 x10=14 x11=8 x12=3 x13=9 x20=7 x21=13 x22=10 x23=4 x30=2 x31=1 x32=16 x33=15 \n",
            "x00=3 x01=16 x02=14 x03=1 x10=15 x11=2 x12=8 x13=9 x20=4 x21=10 x22=7 x23=13 x30=12 x31=6 x32=5 x33=11 \n",
            "x00=3 x01=16 x02=14 x03=1 x10=15 x11=2 x12=9 x13=8 x20=5 x21=10 x22=7 x23=12 x30=11 x31=6 x32=4 x33=13 \n",
            "x00=3 x01=11 x02=8 x03=12 x10=16 x11=2 x12=9 x13=7 x20=5 x21=15 x22=13 x23=1 x30=10 x31=6 x32=4 x33=14 \n",
            "x00=5 x01=10 x02=7 x03=12 x10=15 x11=2 x12=9 x13=8 x20=3 x21=16 x22=14 x23=1 x30=11 x31=6 x32=4 x33=13 \n",
            "x00=12 x01=13 x02=1 x03=8 x10=2 x11=7 x12=10 x13=15 x20=16 x21=3 x22=9 x23=6 x30=4 x31=11 x32=14 x33=5 \n",
            "x00=11 x01=7 x02=10 x03=6 x10=9 x11=8 x12=3 x13=14 x20=2 x21=15 x22=16 x23=1 x30=12 x31=4 x32=5 x33=13 \n",
            "x00=1 x01=15 x02=12 x03=6 x10=3 x11=10 x12=13 x13=8 x20=14 x21=4 x22=7 x23=9 x30=16 x31=5 x32=2 x33=11 \n",
            "x00=5 x01=10 x02=16 x03=3 x10=13 x11=6 x12=1 x13=14 x20=4 x21=7 x22=15 x23=8 x30=12 x31=11 x32=2 x33=9 \n",
            "x00=9 x01=10 x02=14 x03=1 x10=12 x11=4 x12=3 x13=15 x20=8 x21=13 x22=11 x23=2 x30=5 x31=7 x32=6 x33=16 \n",
            "x00=10 x01=13 x02=7 x03=4 x10=6 x11=8 x12=9 x13=11 x20=16 x21=1 x22=3 x23=14 x30=2 x31=12 x32=15 x33=5 \n",
            "x00=13 x01=5 x02=12 x03=4 x10=1 x11=16 x12=2 x13=15 x20=14 x21=3 x22=9 x23=8 x30=6 x31=10 x32=11 x33=7 \n",
            "x00=4 x01=16 x02=5 x03=9 x10=3 x11=6 x12=14 x13=11 x20=12 x21=2 x22=7 x23=13 x30=15 x31=10 x32=8 x33=1 \n",
            "x00=5 x01=12 x02=3 x03=14 x10=15 x11=2 x12=16 x13=1 x20=8 x21=13 x22=4 x23=9 x30=6 x31=7 x32=11 x33=10 \n",
            "x00=7 x01=10 x02=11 x03=6 x10=8 x11=4 x12=9 x13=13 x20=3 x21=5 x22=12 x23=14 x30=16 x31=15 x32=2 x33=1 \n",
            "x00=1 x01=6 x02=12 x03=15 x10=16 x11=11 x12=5 x13=2 x20=14 x21=4 x22=9 x23=7 x30=3 x31=13 x32=8 x33=10 \n",
            "x00=1 x01=11 x02=12 x03=10 x10=2 x11=13 x12=5 x13=14 x20=16 x21=3 x22=9 x23=6 x30=15 x31=7 x32=8 x33=4 \n",
            "x00=6 x01=1 x02=14 x03=13 x10=9 x11=16 x12=7 x13=2 x20=11 x21=5 x22=3 x23=15 x30=8 x31=12 x32=10 x33=4 \n",
            "x00=13 x01=1 x02=15 x03=5 x10=9 x11=7 x12=2 x13=16 x20=4 x21=14 x22=6 x23=10 x30=8 x31=12 x32=11 x33=3 \n",
            "x00=11 x01=9 x02=12 x03=2 x10=1 x11=5 x12=13 x13=15 x20=8 x21=16 x22=3 x23=7 x30=14 x31=4 x32=6 x33=10 \n",
            "x00=8 x01=12 x02=1 x03=13 x10=5 x11=4 x12=9 x13=16 x20=15 x21=7 x22=10 x23=2 x30=6 x31=11 x32=14 x33=3 \n",
            "x00=4 x01=7 x02=10 x03=13 x10=6 x11=3 x12=11 x13=14 x20=15 x21=16 x22=1 x23=2 x30=9 x31=8 x32=12 x33=5 \n",
            "x00=15 x01=4 x02=9 x03=6 x10=16 x11=10 x12=3 x13=5 x20=2 x21=13 x22=8 x23=11 x30=1 x31=7 x32=14 x33=12 \n",
            "x00=3 x01=12 x02=14 x03=5 x10=13 x11=11 x12=4 x13=6 x20=2 x21=10 x22=7 x23=15 x30=16 x31=1 x32=9 x33=8 \n",
            "x00=8 x01=9 x02=14 x03=3 x10=4 x11=12 x12=13 x13=5 x20=7 x21=11 x22=6 x23=10 x30=15 x31=2 x32=1 x33=16 \n",
            "x00=15 x01=1 x02=2 x03=16 x10=4 x11=13 x12=12 x13=5 x20=8 x21=9 x22=14 x23=3 x30=7 x31=11 x32=6 x33=10 \n",
            "x00=14 x01=7 x02=11 x03=2 x10=13 x11=12 x12=8 x13=1 x20=3 x21=6 x22=10 x23=15 x30=4 x31=9 x32=5 x33=16 \n",
            "x00=10 x01=13 x02=3 x03=8 x10=5 x11=6 x12=14 x13=9 x20=12 x21=4 x22=2 x23=16 x30=7 x31=11 x32=15 x33=1 \n",
            "x00=5 x01=10 x02=7 x03=12 x10=15 x11=2 x12=9 x13=8 x20=1 x21=16 x22=14 x23=3 x30=13 x31=6 x32=4 x33=11 \n",
            "x00=2 x01=9 x02=15 x03=8 x10=6 x11=11 x12=12 x13=5 x20=10 x21=13 x22=4 x23=7 x30=16 x31=1 x32=3 x33=14 \n",
            "x00=14 x01=13 x02=1 x03=6 x10=3 x11=12 x12=10 x13=9 x20=15 x21=4 x22=7 x23=8 x30=2 x31=5 x32=16 x33=11 \n",
            "x00=5 x01=12 x02=10 x03=7 x10=11 x11=1 x12=8 x13=14 x20=16 x21=6 x22=3 x23=9 x30=2 x31=15 x32=13 x33=4 \n",
            "x00=9 x01=14 x02=7 x03=4 x10=6 x11=1 x12=12 x13=15 x20=3 x21=8 x22=10 x23=13 x30=16 x31=11 x32=5 x33=2 \n",
            "x00=9 x01=12 x02=7 x03=6 x10=4 x11=1 x12=14 x13=15 x20=5 x21=8 x22=10 x23=11 x30=16 x31=13 x32=3 x33=2 \n",
            "x00=9 x01=12 x02=7 x03=6 x10=4 x11=1 x12=15 x13=14 x20=5 x21=8 x22=10 x23=11 x30=16 x31=13 x32=2 x33=3 \n",
            "x00=4 x01=1 x02=14 x03=15 x10=9 x11=12 x12=7 x13=6 x20=5 x21=8 x22=10 x23=11 x30=16 x31=13 x32=3 x33=2 \n",
            "x00=3 x01=4 x02=14 x03=13 x10=9 x11=10 x12=8 x13=7 x20=6 x21=15 x22=1 x23=12 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=9 x01=4 x02=14 x03=7 x10=3 x11=10 x12=8 x13=13 x20=6 x21=15 x22=1 x23=12 x30=16 x31=5 x32=11 x33=2 \n",
            "x00=9 x01=7 x02=14 x03=4 x10=3 x11=10 x12=8 x13=13 x20=6 x21=15 x22=1 x23=12 x30=16 x31=2 x32=11 x33=5 \n",
            "x00=9 x01=4 x02=14 x03=7 x10=3 x11=13 x12=8 x13=10 x20=6 x21=15 x22=1 x23=12 x30=16 x31=2 x32=11 x33=5 \n",
            "x00=11 x01=2 x02=14 x03=7 x10=1 x11=15 x12=8 x13=10 x20=6 x21=13 x22=3 x23=12 x30=16 x31=4 x32=9 x33=5 \n",
            "x00=11 x01=7 x02=14 x03=2 x10=1 x11=10 x12=8 x13=15 x20=6 x21=13 x22=3 x23=12 x30=16 x31=4 x32=9 x33=5 \n",
            "x00=3 x01=15 x02=14 x03=2 x10=9 x11=10 x12=8 x13=7 x20=6 x21=5 x22=11 x23=12 x30=16 x31=4 x32=1 x33=13 \n",
            "x00=3 x01=10 x02=14 x03=7 x10=9 x11=15 x12=8 x13=2 x20=6 x21=5 x22=11 x23=12 x30=16 x31=4 x32=1 x33=13 \n",
            "x00=3 x01=10 x02=14 x03=7 x10=6 x11=15 x12=11 x13=2 x20=9 x21=5 x22=8 x23=12 x30=16 x31=4 x32=1 x33=13 \n",
            "x00=7 x01=10 x02=14 x03=3 x10=2 x11=15 x12=11 x13=6 x20=9 x21=5 x22=8 x23=12 x30=16 x31=4 x32=1 x33=13 \n",
            "x00=2 x01=15 x02=14 x03=3 x10=7 x11=10 x12=11 x13=6 x20=9 x21=5 x22=8 x23=12 x30=16 x31=4 x32=1 x33=13 \n",
            "x00=3 x01=15 x02=14 x03=2 x10=6 x11=10 x12=11 x13=7 x20=9 x21=5 x22=8 x23=12 x30=16 x31=4 x32=1 x33=13 \n",
            "x00=7 x01=11 x02=14 x03=2 x10=3 x11=6 x12=10 x13=15 x20=8 x21=13 x22=1 x23=12 x30=16 x31=4 x32=9 x33=5 \n",
            "x00=7 x01=11 x02=14 x03=2 x10=10 x11=6 x12=3 x13=15 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=11 x01=7 x02=14 x03=2 x10=6 x11=10 x12=3 x13=15 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=7 x02=14 x03=11 x10=15 x11=10 x12=3 x13=6 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=7 x01=2 x02=14 x03=11 x10=10 x11=15 x12=3 x13=6 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=11 x01=2 x02=14 x03=7 x10=6 x11=15 x12=3 x13=10 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=7 x02=14 x03=11 x10=10 x11=15 x12=3 x13=6 x20=13 x21=8 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=11 x02=14 x03=7 x10=8 x11=13 x12=3 x13=10 x20=15 x21=6 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=11 x02=14 x03=7 x10=15 x11=6 x12=3 x13=10 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=14 x02=11 x03=7 x10=15 x11=3 x12=6 x13=10 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=7 x02=11 x03=14 x10=15 x11=10 x12=6 x13=3 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=3 x01=6 x02=10 x03=15 x10=14 x11=11 x12=7 x13=2 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=6 x01=3 x02=10 x03=15 x10=11 x11=14 x12=7 x13=2 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=7 x01=2 x02=11 x03=14 x10=10 x11=15 x12=6 x13=3 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=14 x01=2 x02=11 x03=7 x10=3 x11=15 x12=6 x13=10 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=15 x01=3 x02=10 x03=6 x10=2 x11=14 x12=7 x13=11 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=7 x02=11 x03=14 x10=10 x11=15 x12=6 x13=3 x20=13 x21=8 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=11 x01=2 x02=7 x03=14 x10=6 x11=15 x12=10 x13=3 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=14 x01=2 x02=7 x03=11 x10=3 x11=15 x12=10 x13=6 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=15 x01=6 x02=10 x03=3 x10=2 x11=11 x12=7 x13=14 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=10 x01=6 x02=15 x03=3 x10=7 x11=11 x12=2 x13=14 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=10 x01=3 x02=15 x03=6 x10=7 x11=14 x12=2 x13=11 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=6 x01=3 x02=15 x03=10 x10=7 x11=14 x12=2 x13=11 x20=12 x21=13 x22=1 x23=8 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=14 x01=7 x02=2 x03=11 x10=3 x11=10 x12=15 x13=6 x20=8 x21=13 x22=1 x23=12 x30=9 x31=4 x32=16 x33=5 \n",
            "x00=2 x01=7 x02=14 x03=11 x10=3 x11=15 x12=10 x13=6 x20=13 x21=8 x22=1 x23=12 x30=16 x31=4 x32=9 x33=5 \n",
            "x00=2 x01=7 x02=10 x03=15 x10=3 x11=11 x12=14 x13=6 x20=13 x21=12 x22=1 x23=8 x30=16 x31=4 x32=9 x33=5 \n",
            "x00=2 x01=7 x02=10 x03=15 x10=3 x11=14 x12=11 x13=6 x20=16 x21=9 x22=1 x23=8 x30=13 x31=4 x32=12 x33=5 \n",
            "x00=2 x01=7 x02=11 x03=14 x10=3 x11=15 x12=10 x13=6 x20=16 x21=8 x22=1 x23=9 x30=13 x31=4 x32=12 x33=5 \n",
            "x00=12 x01=6 x02=13 x03=3 x10=5 x11=16 x12=11 x13=2 x20=10 x21=8 x22=1 x23=15 x30=7 x31=4 x32=9 x33=14 \n",
            "x00=5 x01=4 x02=16 x03=9 x10=7 x11=11 x12=14 x13=2 x20=12 x21=13 x22=1 x23=8 x30=10 x31=6 x32=3 x33=15 \n",
            "x00=10 x01=2 x02=13 x03=9 x10=15 x11=7 x12=8 x13=4 x20=6 x21=11 x22=1 x23=16 x30=3 x31=14 x32=12 x33=5 \n",
            "x00=1 x01=14 x02=6 x03=13 x10=15 x11=8 x12=7 x13=4 x20=16 x21=3 x22=10 x23=5 x30=2 x31=9 x32=11 x33=12 \n",
            "x00=7 x01=13 x02=11 x03=3 x10=15 x11=2 x12=1 x13=16 x20=8 x21=5 x22=12 x23=9 x30=4 x31=14 x32=10 x33=6 \n",
            "x00=15 x01=3 x02=6 x03=10 x10=1 x11=13 x12=12 x13=8 x20=14 x21=2 x22=7 x23=11 x30=4 x31=16 x32=9 x33=5 \n",
            "x00=11 x01=9 x02=4 x03=10 x10=6 x11=5 x12=15 x13=8 x20=16 x21=13 x22=3 x23=2 x30=1 x31=7 x32=12 x33=14 \n",
            "x00=5 x01=11 x02=14 x03=4 x10=8 x11=10 x12=3 x13=13 x20=9 x21=7 x22=2 x23=16 x30=12 x31=6 x32=15 x33=1 \n",
            "x00=15 x01=6 x02=2 x03=11 x10=3 x11=16 x12=14 x13=1 x20=9 x21=8 x22=5 x23=12 x30=7 x31=4 x32=13 x33=10 \n",
            "x00=15 x01=1 x02=5 x03=13 x10=9 x11=3 x12=12 x13=10 x20=8 x21=16 x22=6 x23=4 x30=2 x31=14 x32=11 x33=7 \n",
            "x00=4 x01=16 x02=8 x03=6 x10=15 x11=2 x12=10 x13=7 x20=14 x21=3 x22=5 x23=12 x30=1 x31=13 x32=11 x33=9 \n",
            "x00=1 x01=3 x02=16 x03=14 x10=13 x11=7 x12=10 x13=4 x20=8 x21=15 x22=6 x23=5 x30=12 x31=9 x32=2 x33=11 \n",
            "x00=16 x01=2 x02=5 x03=11 x10=13 x11=8 x12=10 x13=3 x20=1 x21=15 x22=12 x23=6 x30=4 x31=9 x32=7 x33=14 \n",
            "x00=1 x01=13 x02=4 x03=16 x10=8 x11=5 x12=12 x13=9 x20=15 x21=2 x22=11 x23=6 x30=10 x31=14 x32=7 x33=3 \n",
            "x00=1 x01=16 x02=14 x03=3 x10=5 x11=10 x12=7 x13=12 x20=13 x21=6 x22=4 x23=11 x30=15 x31=2 x32=9 x33=8 \n",
            "x00=1 x01=8 x02=12 x03=13 x10=7 x11=2 x12=11 x13=14 x20=10 x21=15 x22=5 x23=4 x30=16 x31=9 x32=6 x33=3 \n",
            "x00=11 x01=14 x02=7 x03=2 x10=12 x11=8 x12=13 x13=1 x20=5 x21=3 x22=10 x23=16 x30=6 x31=9 x32=4 x33=15 \n",
            "x00=2 x01=5 x02=13 x03=14 x10=6 x11=8 x12=4 x13=16 x20=11 x21=12 x22=10 x23=1 x30=15 x31=9 x32=7 x33=3 \n",
            "x00=16 x01=1 x02=2 x03=15 x10=5 x11=9 x12=8 x13=12 x20=7 x21=13 x22=10 x23=4 x30=6 x31=11 x32=14 x33=3 \n",
            "x00=1 x01=7 x02=14 x03=12 x10=2 x11=10 x12=9 x13=13 x20=15 x21=6 x22=8 x23=5 x30=16 x31=11 x32=3 x33=4 \n",
            "x00=1 x01=15 x02=2 x03=16 x10=7 x11=6 x12=10 x13=11 x20=12 x21=5 x22=13 x23=4 x30=14 x31=8 x32=9 x33=3 \n",
            "x00=1 x01=16 x02=2 x03=15 x10=11 x11=4 x12=13 x13=6 x20=8 x21=9 x22=7 x23=10 x30=14 x31=5 x32=12 x33=3 \n",
            "x00=16 x01=6 x02=7 x03=5 x10=1 x11=11 x12=13 x13=9 x20=15 x21=3 x22=4 x23=12 x30=2 x31=14 x32=10 x33=8 \n",
            "x00=3 x01=14 x02=11 x03=6 x10=4 x11=1 x12=16 x13=13 x20=15 x21=9 x22=2 x23=8 x30=12 x31=10 x32=5 x33=7 \n",
            "x00=2 x01=8 x02=9 x03=15 x10=16 x11=14 x12=1 x13=3 x20=10 x21=7 x22=13 x23=4 x30=6 x31=5 x32=11 x33=12 \n",
            "x00=3 x01=8 x02=10 x03=13 x10=2 x11=5 x12=16 x13=11 x20=15 x21=12 x22=1 x23=6 x30=14 x31=9 x32=7 x33=4 \n",
            "x00=16 x01=15 x02=2 x03=1 x10=5 x11=6 x12=11 x13=12 x20=10 x21=9 x22=7 x23=8 x30=3 x31=4 x32=14 x33=13 \n",
            "x00=7 x01=13 x02=10 x03=4 x10=3 x11=14 x12=11 x13=6 x20=9 x21=5 x22=12 x23=8 x30=15 x31=2 x32=1 x33=16 \n",
            "x00=16 x01=4 x02=3 x03=11 x10=2 x11=13 x12=12 x13=7 x20=6 x21=8 x22=5 x23=15 x30=10 x31=9 x32=14 x33=1 \n",
            "x00=9 x01=3 x02=16 x03=6 x10=2 x11=14 x12=13 x13=5 x20=11 x21=7 x22=1 x23=15 x30=12 x31=10 x32=4 x33=8 \n",
            "x00=7 x01=1 x02=16 x03=10 x10=3 x11=14 x12=5 x13=12 x20=15 x21=13 x22=2 x23=4 x30=9 x31=6 x32=11 x33=8 \n",
            "x00=10 x01=14 x02=1 x03=9 x10=12 x11=3 x12=4 x13=15 x20=5 x21=11 x22=16 x23=2 x30=7 x31=6 x32=13 x33=8 \n",
            "x00=4 x01=12 x02=5 x03=13 x10=15 x11=2 x12=16 x13=1 x20=7 x21=6 x22=10 x23=11 x30=8 x31=14 x32=3 x33=9 \n",
            "x00=7 x01=5 x02=13 x03=9 x10=1 x11=6 x12=16 x13=11 x20=12 x21=15 x22=3 x23=4 x30=14 x31=8 x32=2 x33=10 \n",
            "x00=9 x01=16 x02=5 x03=4 x10=7 x11=2 x12=11 x13=14 x20=10 x21=15 x22=6 x23=3 x30=8 x31=1 x32=12 x33=13 \n",
            "x00=7 x01=16 x02=3 x03=8 x10=4 x11=15 x12=6 x13=9 x20=13 x21=2 x22=14 x23=5 x30=10 x31=1 x32=11 x33=12 \n",
            "x00=8 x01=1 x02=15 x03=10 x10=9 x11=16 x12=2 x13=7 x20=13 x21=3 x22=12 x23=6 x30=4 x31=14 x32=5 x33=11 \n",
            "x00=7 x01=1 x02=12 x03=14 x10=11 x11=15 x12=5 x13=3 x20=6 x21=16 x22=8 x23=4 x30=10 x31=2 x32=9 x33=13 \n",
            "x00=3 x01=4 x02=16 x03=11 x10=7 x11=9 x12=5 x13=13 x20=14 x21=6 x22=12 x23=2 x30=10 x31=15 x32=1 x33=8 \n",
            "x00=14 x01=4 x02=1 x03=15 x10=11 x11=8 x12=5 x13=10 x20=2 x21=13 x22=16 x23=3 x30=7 x31=9 x32=12 x33=6 \n",
            "x00=15 x01=13 x02=5 x03=1 x10=6 x11=11 x12=3 x13=14 x20=9 x21=2 x22=16 x23=7 x30=4 x31=8 x32=10 x33=12 \n",
            "x00=11 x01=3 x02=14 x03=6 x10=12 x11=8 x12=5 x13=9 x20=1 x21=16 x22=2 x23=15 x30=10 x31=7 x32=13 x33=4 \n",
            "x00=3 x01=4 x02=11 x03=16 x10=2 x11=13 x12=10 x13=9 x20=14 x21=12 x22=7 x23=1 x30=15 x31=5 x32=6 x33=8 \n",
            "x00=14 x01=8 x02=1 x03=11 x10=10 x11=9 x12=2 x13=13 x20=3 x21=12 x22=15 x23=4 x30=7 x31=5 x32=16 x33=6 \n",
            "x00=16 x01=6 x02=11 x03=1 x10=5 x11=13 x12=12 x13=4 x20=10 x21=7 x22=2 x23=15 x30=3 x31=8 x32=9 x33=14 \n",
            "x00=15 x01=3 x02=12 x03=4 x10=2 x11=11 x12=8 x13=13 x20=10 x21=14 x22=9 x23=1 x30=7 x31=6 x32=5 x33=16 \n",
            "x00=11 x01=3 x02=6 x03=14 x10=1 x11=16 x12=4 x13=13 x20=12 x21=8 x22=9 x23=5 x30=10 x31=7 x32=15 x33=2 \n",
            "x00=10 x01=8 x02=15 x03=1 x10=3 x11=16 x12=2 x13=13 x20=14 x21=4 x22=5 x23=11 x30=7 x31=6 x32=12 x33=9 \n",
            "x00=4 x01=16 x02=8 x03=6 x10=10 x11=1 x12=12 x13=11 x20=13 x21=2 x22=5 x23=14 x30=7 x31=15 x32=9 x33=3 \n",
            "x00=4 x01=7 x02=13 x03=10 x10=5 x11=9 x12=12 x13=8 x20=14 x21=2 x22=3 x23=15 x30=11 x31=16 x32=6 x33=1 \n",
            "x00=13 x01=12 x02=4 x03=5 x10=11 x11=6 x12=7 x13=10 x20=8 x21=1 x22=9 x23=16 x30=2 x31=15 x32=14 x33=3 \n",
            "x00=16 x01=4 x02=13 x03=1 x10=5 x11=14 x12=3 x13=12 x20=11 x21=7 x22=10 x23=6 x30=2 x31=9 x32=8 x33=15 \n",
            "x00=6 x01=14 x02=11 x03=3 x10=12 x11=1 x12=5 x13=16 x20=7 x21=4 x22=10 x23=13 x30=9 x31=15 x32=8 x33=2 \n",
            "x00=7 x01=6 x02=10 x03=11 x10=16 x11=1 x12=15 x13=2 x20=3 x21=14 x22=5 x23=12 x30=8 x31=13 x32=4 x33=9 \n",
            "x00=7 x01=3 x02=13 x03=11 x10=12 x11=1 x12=15 x13=6 x20=10 x21=14 x22=2 x23=8 x30=5 x31=16 x32=4 x33=9 \n",
            "x00=8 x01=2 x02=13 x03=11 x10=12 x11=1 x12=14 x13=7 x20=5 x21=15 x22=4 x23=10 x30=9 x31=16 x32=3 x33=6 \n",
            "x00=6 x01=4 x02=13 x03=11 x10=12 x11=1 x12=16 x13=5 x20=7 x21=15 x22=2 x23=10 x30=9 x31=14 x32=3 x33=8 \n",
            "x00=6 x01=4 x02=13 x03=11 x10=12 x11=1 x12=16 x13=5 x20=7 x21=14 x22=3 x23=10 x30=9 x31=15 x32=2 x33=8 \n",
            "x00=6 x01=4 x02=13 x03=11 x10=16 x11=1 x12=7 x13=10 x20=3 x21=14 x22=12 x23=5 x30=9 x31=15 x32=2 x33=8 \n",
            "x00=6 x01=4 x02=13 x03=11 x10=7 x11=1 x12=16 x13=10 x20=12 x21=14 x22=3 x23=5 x30=9 x31=15 x32=2 x33=8 \n",
            "x00=6 x01=4 x02=13 x03=11 x10=7 x11=1 x12=16 x13=10 x20=12 x21=15 x22=2 x23=5 x30=9 x31=14 x32=3 x33=8 \n",
            "x00=5 x01=4 x02=14 x03=11 x10=8 x11=1 x12=15 x13=10 x20=12 x21=13 x22=3 x23=6 x30=9 x31=16 x32=2 x33=7 \n",
            "x00=5 x01=4 x02=14 x03=11 x10=8 x11=1 x12=15 x13=10 x20=12 x21=13 x22=2 x23=7 x30=9 x31=16 x32=3 x33=6 \n",
            "x00=2 x01=7 x02=14 x03=11 x10=15 x11=1 x12=5 x13=13 x20=8 x21=10 x22=12 x23=4 x30=9 x31=16 x32=3 x33=6 \n",
            "x00=2 x01=8 x02=13 x03=11 x10=16 x11=1 x12=3 x13=14 x20=7 x21=10 x22=12 x23=5 x30=9 x31=15 x32=6 x33=4 \n",
            "x00=3 x01=11 x02=14 x03=6 x10=15 x11=1 x12=2 x13=16 x20=7 x21=10 x22=13 x23=4 x30=9 x31=12 x32=5 x33=8 \n",
            "x00=3 x01=11 x02=13 x03=7 x10=16 x11=1 x12=2 x13=15 x20=6 x21=10 x22=14 x23=4 x30=9 x31=12 x32=5 x33=8 \n",
            "x00=3 x01=1 x02=14 x03=16 x10=15 x11=11 x12=2 x13=6 x20=7 x21=10 x22=13 x23=4 x30=9 x31=12 x32=5 x33=8 \n",
            "x00=2 x01=3 x02=16 x03=13 x10=15 x11=7 x12=1 x13=11 x20=8 x21=10 x22=12 x23=4 x30=9 x31=14 x32=5 x33=6 \n",
            "x00=2 x01=3 x02=14 x03=15 x10=7 x11=13 x12=4 x13=10 x20=16 x21=6 x22=11 x23=1 x30=9 x31=12 x32=5 x33=8 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=7 x11=13 x12=4 x13=10 x20=16 x21=6 x22=11 x23=1 x30=2 x31=12 x32=5 x33=15 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=7 x11=10 x12=4 x13=13 x20=16 x21=6 x22=11 x23=1 x30=2 x31=15 x32=5 x33=12 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=7 x11=11 x12=6 x13=10 x20=16 x21=5 x22=1 x23=12 x30=2 x31=15 x32=13 x33=4 \n",
            "x00=9 x01=3 x02=14 x03=8 x10=7 x11=13 x12=4 x13=10 x20=16 x21=6 x22=1 x23=11 x30=2 x31=12 x32=15 x33=5 \n",
            "x00=7 x01=3 x02=14 x03=10 x10=9 x11=13 x12=4 x13=8 x20=16 x21=6 x22=1 x23=11 x30=2 x31=12 x32=15 x33=5 \n",
            "x00=7 x01=3 x02=14 x03=10 x10=9 x11=11 x12=6 x13=8 x20=16 x21=5 x22=1 x23=12 x30=2 x31=15 x32=13 x33=4 \n",
            "x00=5 x01=3 x02=14 x03=12 x10=11 x11=9 x12=6 x13=8 x20=16 x21=7 x22=1 x23=10 x30=2 x31=15 x32=13 x33=4 \n",
            "x00=5 x01=3 x02=14 x03=12 x10=11 x11=7 x12=6 x13=10 x20=16 x21=9 x22=1 x23=8 x30=2 x31=15 x32=13 x33=4 \n",
            "x00=5 x01=3 x02=16 x03=10 x10=15 x11=4 x12=6 x13=9 x20=12 x21=13 x22=1 x23=8 x30=2 x31=14 x32=11 x33=7 \n",
            "x00=6 x01=3 x02=16 x03=9 x10=15 x11=4 x12=10 x13=5 x20=11 x21=14 x22=1 x23=8 x30=2 x31=13 x32=7 x33=12 \n",
            "x00=6 x01=3 x02=16 x03=9 x10=15 x11=5 x12=10 x13=4 x20=11 x21=14 x22=1 x23=8 x30=2 x31=12 x32=7 x33=13 \n",
            "x00=6 x01=3 x02=16 x03=9 x10=11 x11=7 x12=12 x13=4 x20=15 x21=10 x22=1 x23=8 x30=2 x31=14 x32=5 x33=13 \n",
            "x00=10 x01=3 x02=6 x03=15 x10=9 x11=5 x12=16 x13=4 x20=13 x21=12 x22=1 x23=8 x30=2 x31=14 x32=11 x33=7 \n",
            "x00=15 x01=3 x02=6 x03=10 x10=4 x11=5 x12=16 x13=9 x20=13 x21=12 x22=1 x23=8 x30=2 x31=14 x32=11 x33=7 \n",
            "x00=15 x01=3 x02=10 x03=6 x10=4 x11=5 x12=16 x13=9 x20=13 x21=12 x22=1 x23=8 x30=2 x31=14 x32=7 x33=11 \n",
            "x00=11 x01=3 x02=16 x03=4 x10=6 x11=7 x12=12 x13=9 x20=15 x21=10 x22=1 x23=8 x30=2 x31=14 x32=5 x33=13 \n",
            "x00=13 x01=3 x02=12 x03=6 x10=4 x11=5 x12=14 x13=11 x20=15 x21=10 x22=1 x23=8 x30=2 x31=16 x32=7 x33=9 \n",
            "x00=11 x01=3 x02=7 x03=13 x10=6 x11=5 x12=14 x13=9 x20=15 x21=10 x22=1 x23=8 x30=2 x31=16 x32=12 x33=4 \n",
            "x00=6 x01=3 x02=16 x03=9 x10=11 x11=7 x12=4 x13=12 x20=15 x21=10 x22=1 x23=8 x30=2 x31=14 x32=13 x33=5 \n",
            "x00=4 x01=3 x02=16 x03=11 x10=13 x11=7 x12=5 x13=9 x20=15 x21=10 x22=1 x23=8 x30=2 x31=14 x32=12 x33=6 \n",
            "x00=11 x01=3 x02=16 x03=4 x10=6 x11=14 x12=5 x13=9 x20=15 x21=10 x22=1 x23=8 x30=2 x31=7 x32=12 x33=13 \n",
            "x00=3 x01=11 x02=16 x03=4 x10=14 x11=6 x12=5 x13=9 x20=15 x21=10 x22=1 x23=8 x30=2 x31=7 x32=12 x33=13 \n",
            "x00=4 x01=5 x02=16 x03=9 x10=13 x11=7 x12=3 x13=11 x20=15 x21=10 x22=1 x23=8 x30=2 x31=12 x32=14 x33=6 \n",
            "x00=4 x01=6 x02=15 x03=9 x10=16 x11=5 x12=3 x13=10 x20=13 x21=11 x22=2 x23=8 x30=1 x31=12 x32=14 x33=7 \n",
            "x00=6 x01=4 x02=15 x03=9 x10=16 x11=5 x12=3 x13=10 x20=11 x21=13 x22=2 x23=8 x30=1 x31=12 x32=14 x33=7 \n",
            "x00=4 x01=5 x02=15 x03=10 x10=16 x11=6 x12=3 x13=9 x20=13 x21=11 x22=2 x23=8 x30=1 x31=12 x32=14 x33=7 \n",
            "x00=16 x01=5 x02=3 x03=10 x10=4 x11=6 x12=15 x13=9 x20=13 x21=11 x22=2 x23=8 x30=1 x31=12 x32=14 x33=7 \n",
            "x00=16 x01=5 x02=3 x03=10 x10=6 x11=4 x12=15 x13=9 x20=11 x21=13 x22=2 x23=8 x30=1 x31=12 x32=14 x33=7 \n",
            "x00=16 x01=6 x02=3 x03=9 x10=4 x11=5 x12=15 x13=10 x20=13 x21=11 x22=2 x23=8 x30=1 x31=12 x32=14 x33=7 \n",
            "x00=16 x01=5 x02=3 x03=10 x10=6 x11=9 x12=15 x13=4 x20=11 x21=13 x22=2 x23=8 x30=1 x31=7 x32=14 x33=12 \n",
            "x00=16 x01=4 x02=5 x03=9 x10=6 x11=3 x12=15 x13=10 x20=11 x21=13 x22=2 x23=8 x30=1 x31=14 x32=12 x33=7 \n",
            "x00=15 x01=6 x02=4 x03=9 x10=5 x11=3 x12=16 x13=10 x20=13 x21=11 x22=2 x23=8 x30=1 x31=14 x32=12 x33=7 \n",
            "x00=4 x01=6 x02=15 x03=9 x10=16 x11=3 x12=5 x13=10 x20=13 x21=11 x22=2 x23=8 x30=1 x31=14 x32=12 x33=7 \n",
            "x00=4 x01=6 x02=15 x03=9 x10=16 x11=3 x12=10 x13=5 x20=13 x21=11 x22=2 x23=8 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=9 x01=6 x02=15 x03=4 x10=16 x11=3 x12=10 x13=5 x20=8 x21=11 x22=2 x23=13 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=9 x01=4 x02=15 x03=6 x10=16 x11=5 x12=10 x13=3 x20=8 x21=11 x22=2 x23=13 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=9 x01=4 x02=15 x03=6 x10=16 x11=3 x12=10 x13=5 x20=8 x21=13 x22=2 x23=11 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=6 x01=4 x02=15 x03=9 x10=16 x11=3 x12=10 x13=5 x20=11 x21=13 x22=2 x23=8 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=4 x01=6 x02=15 x03=9 x10=13 x11=3 x12=10 x13=8 x20=16 x21=11 x22=2 x23=5 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=5 x01=3 x02=16 x03=10 x10=15 x11=6 x12=9 x13=4 x20=13 x21=11 x22=2 x23=8 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=4 x01=6 x02=15 x03=9 x10=16 x11=5 x12=10 x13=3 x20=13 x21=11 x22=2 x23=8 x30=1 x31=12 x32=7 x33=14 \n",
            "x00=9 x01=6 x02=15 x03=4 x10=16 x11=5 x12=10 x13=3 x20=8 x21=11 x22=2 x23=13 x30=1 x31=12 x32=7 x33=14 \n",
            "x00=10 x01=5 x02=16 x03=3 x10=15 x11=6 x12=9 x13=4 x20=8 x21=11 x22=2 x23=13 x30=1 x31=12 x32=7 x33=14 \n",
            "x00=10 x01=5 x02=16 x03=3 x10=15 x11=4 x12=9 x13=6 x20=8 x21=11 x22=2 x23=13 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=10 x01=3 x02=16 x03=5 x10=15 x11=6 x12=9 x13=4 x20=8 x21=11 x22=2 x23=13 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=5 x01=3 x02=16 x03=10 x10=13 x11=8 x12=9 x13=4 x20=15 x21=11 x22=2 x23=6 x30=1 x31=12 x32=7 x33=14 \n",
            "x00=10 x01=5 x02=16 x03=3 x10=8 x11=4 x12=9 x13=13 x20=15 x21=11 x22=2 x23=6 x30=1 x31=14 x32=7 x33=12 \n",
            "x00=10 x01=3 x02=16 x03=5 x10=8 x11=6 x12=9 x13=11 x20=15 x21=13 x22=2 x23=4 x30=1 x31=12 x32=7 x33=14 \n",
            "x00=7 x01=3 x02=16 x03=8 x10=15 x11=5 x12=10 x13=4 x20=11 x21=12 x22=2 x23=9 x30=1 x31=14 x32=6 x33=13 \n",
            "x00=8 x01=10 x02=1 x03=15 x10=12 x11=7 x12=13 x13=2 x20=5 x21=14 x22=4 x23=11 x30=9 x31=3 x32=16 x33=6 \n",
            "x00=9 x01=8 x02=5 x03=12 x10=4 x11=13 x12=16 x13=1 x20=7 x21=10 x22=2 x23=15 x30=14 x31=3 x32=11 x33=6 \n",
            "x00=10 x01=2 x02=9 x03=13 x10=15 x11=14 x12=4 x13=1 x20=6 x21=11 x22=5 x23=12 x30=3 x31=7 x32=16 x33=8 \n",
            "x00=8 x01=9 x02=14 x03=3 x10=10 x11=4 x12=7 x13=13 x20=15 x21=5 x22=2 x23=12 x30=1 x31=16 x32=11 x33=6 \n",
            "x00=15 x01=9 x02=6 x03=4 x10=10 x11=5 x12=3 x13=16 x20=8 x21=13 x22=11 x23=2 x30=1 x31=7 x32=14 x33=12 \n",
            "x00=6 x01=10 x02=3 x03=15 x10=1 x11=8 x12=13 x13=12 x20=11 x21=7 x22=14 x23=2 x30=16 x31=9 x32=4 x33=5 \n",
            "x00=13 x01=7 x02=10 x03=4 x10=2 x11=9 x12=8 x13=15 x20=3 x21=6 x22=11 x23=14 x30=16 x31=12 x32=5 x33=1 \n",
            "x00=4 x01=7 x02=13 x03=10 x10=15 x11=8 x12=9 x13=2 x20=3 x21=14 x22=11 x23=6 x30=12 x31=5 x32=1 x33=16 \n",
            "x00=5 x01=10 x02=12 x03=7 x10=15 x11=14 x12=2 x13=3 x20=1 x21=6 x22=11 x23=16 x30=13 x31=4 x32=9 x33=8 \n",
            "x00=7 x01=4 x02=11 x03=12 x10=10 x11=9 x12=14 x13=1 x20=15 x21=5 x22=6 x23=8 x30=2 x31=16 x32=3 x33=13 \n",
            "x00=11 x01=1 x02=9 x03=13 x10=14 x11=12 x12=5 x13=3 x20=7 x21=15 x22=4 x23=8 x30=2 x31=6 x32=16 x33=10 \n",
            "x00=9 x01=13 x02=5 x03=7 x10=2 x11=6 x12=16 x13=10 x20=15 x21=4 x22=1 x23=14 x30=8 x31=11 x32=12 x33=3 \n",
            "x00=16 x01=5 x02=9 x03=4 x10=7 x11=10 x12=2 x13=15 x20=8 x21=13 x22=12 x23=1 x30=3 x31=6 x32=11 x33=14 \n",
            "x00=7 x01=13 x02=3 x03=11 x10=14 x11=2 x12=12 x13=6 x20=5 x21=4 x22=9 x23=16 x30=8 x31=15 x32=10 x33=1 \n",
            "x00=12 x01=10 x02=1 x03=11 x10=8 x11=4 x12=16 x13=6 x20=5 x21=13 x22=2 x23=14 x30=9 x31=7 x32=15 x33=3 \n",
            "x00=14 x01=3 x02=2 x03=15 x10=13 x11=8 x12=9 x13=4 x20=1 x21=12 x22=16 x23=5 x30=6 x31=11 x32=7 x33=10 \n",
            "x00=8 x01=15 x02=1 x03=10 x10=5 x11=4 x12=16 x13=9 x20=7 x21=3 x22=11 x23=13 x30=14 x31=12 x32=6 x33=2 \n",
            "x00=6 x01=15 x02=1 x03=12 x10=4 x11=14 x12=9 x13=7 x20=16 x21=2 x22=11 x23=5 x30=8 x31=3 x32=13 x33=10 \n",
            "x00=15 x01=8 x02=5 x03=6 x10=2 x11=13 x12=12 x13=7 x20=1 x21=9 x22=14 x23=10 x30=16 x31=4 x32=3 x33=11 \n",
            "x00=16 x01=1 x02=2 x03=15 x10=4 x11=14 x12=13 x13=3 x20=8 x21=9 x22=12 x23=5 x30=6 x31=10 x32=7 x33=11 \n",
            "x00=1 x01=2 x02=16 x03=15 x10=8 x11=11 x12=9 x13=6 x20=13 x21=14 x22=4 x23=3 x30=12 x31=7 x32=5 x33=10 \n",
            "x00=3 x01=16 x02=6 x03=9 x10=5 x11=4 x12=15 x13=10 x20=14 x21=1 x22=11 x23=8 x30=12 x31=13 x32=2 x33=7 \n",
            "x00=3 x01=14 x02=7 x03=10 x10=11 x11=1 x12=16 x13=6 x20=8 x21=4 x22=9 x23=13 x30=12 x31=15 x32=2 x33=5 \n",
            "x00=5 x01=12 x02=6 x03=11 x10=9 x11=13 x12=10 x13=2 x20=4 x21=8 x22=15 x23=7 x30=16 x31=1 x32=3 x33=14 \n",
            "x00=11 x01=3 x02=15 x03=5 x10=4 x11=14 x12=9 x13=7 x20=13 x21=1 x22=8 x23=12 x30=6 x31=16 x32=2 x33=10 \n",
            "x00=7 x01=14 x02=4 x03=9 x10=12 x11=1 x12=13 x13=8 x20=10 x21=16 x22=2 x23=6 x30=5 x31=3 x32=15 x33=11 \n",
            "x00=13 x01=1 x02=4 x03=16 x10=2 x11=11 x12=15 x13=6 x20=9 x21=8 x22=12 x23=5 x30=10 x31=14 x32=3 x33=7 \n",
            "x00=1 x01=3 x02=16 x03=14 x10=15 x11=8 x12=2 x13=9 x20=7 x21=10 x22=12 x23=5 x30=11 x31=13 x32=4 x33=6 \n",
            "x00=6 x01=11 x02=15 x03=2 x10=5 x11=1 x12=12 x13=16 x20=13 x21=8 x22=4 x23=9 x30=10 x31=14 x32=3 x33=7 \n",
            "x00=9 x01=15 x02=6 x03=4 x10=8 x11=2 x12=11 x13=13 x20=14 x21=1 x22=12 x23=7 x30=3 x31=16 x32=5 x33=10 \n",
            "x00=13 x01=2 x02=5 x03=14 x10=7 x11=16 x12=8 x13=3 x20=4 x21=15 x22=9 x23=6 x30=10 x31=1 x32=12 x33=11 \n",
            "x00=12 x01=14 x02=5 x03=3 x10=2 x11=10 x12=6 x13=16 x20=13 x21=9 x22=8 x23=4 x30=7 x31=1 x32=15 x33=11 \n",
            "x00=9 x01=8 x02=3 x03=14 x10=12 x11=4 x12=5 x13=13 x20=2 x21=15 x22=16 x23=1 x30=11 x31=7 x32=10 x33=6 \n",
            "x00=9 x01=7 x02=2 x03=16 x10=14 x11=4 x12=15 x13=1 x20=3 x21=13 x22=6 x23=12 x30=8 x31=10 x32=11 x33=5 \n",
            "x00=11 x01=6 x02=10 x03=7 x10=16 x11=15 x12=2 x13=1 x20=3 x21=8 x22=9 x23=14 x30=4 x31=5 x32=13 x33=12 \n",
            "x00=9 x01=15 x02=4 x03=6 x10=2 x11=8 x12=11 x13=13 x20=16 x21=1 x22=14 x23=3 x30=7 x31=10 x32=5 x33=12 \n",
            "x00=12 x01=5 x02=4 x03=13 x10=9 x11=8 x12=1 x13=16 x20=6 x21=11 x22=14 x23=3 x30=7 x31=10 x32=15 x33=2 \n",
            "x00=12 x01=5 x02=4 x03=13 x10=9 x11=8 x12=1 x13=16 x20=6 x21=11 x22=15 x23=2 x30=7 x31=10 x32=14 x33=3 \n",
            "x00=9 x01=8 x02=4 x03=13 x10=12 x11=5 x12=1 x13=16 x20=6 x21=11 x22=15 x23=2 x30=7 x31=10 x32=14 x33=3 \n",
            "x00=9 x01=7 x02=4 x03=14 x10=11 x11=5 x12=2 x13=16 x20=6 x21=12 x22=15 x23=1 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=5 x02=4 x03=14 x10=9 x11=7 x12=2 x13=16 x20=6 x21=12 x22=15 x23=1 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=7 x02=2 x03=14 x10=9 x11=5 x12=4 x13=16 x20=6 x21=12 x22=15 x23=1 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=7 x02=2 x03=14 x10=6 x11=1 x12=15 x13=12 x20=9 x21=16 x22=4 x23=5 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=5 x02=2 x03=16 x10=1 x11=12 x12=15 x13=6 x20=14 x21=7 x22=4 x23=9 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=5 x02=2 x03=16 x10=6 x11=12 x12=15 x13=1 x20=9 x21=7 x22=4 x23=14 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=5 x02=2 x03=16 x10=6 x11=15 x12=12 x13=1 x20=9 x21=4 x22=7 x23=14 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=5 x02=2 x03=16 x10=9 x11=7 x12=4 x13=14 x20=6 x21=12 x22=15 x23=1 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=9 x01=7 x02=2 x03=16 x10=11 x11=5 x12=4 x13=14 x20=6 x21=12 x22=15 x23=1 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=9 x01=7 x02=2 x03=16 x10=12 x11=6 x12=15 x13=1 x20=5 x21=11 x22=4 x23=14 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=9 x01=7 x02=2 x03=16 x10=6 x11=12 x12=15 x13=1 x20=11 x21=5 x22=4 x23=14 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=11 x01=7 x02=2 x03=14 x10=6 x11=12 x12=15 x13=1 x20=9 x21=5 x22=4 x23=16 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=6 x01=16 x02=1 x03=11 x10=15 x11=10 x12=7 x13=2 x20=9 x21=5 x22=12 x23=8 x30=4 x31=3 x32=14 x33=13 \n",
            "x00=6 x01=16 x02=1 x03=11 x10=14 x11=3 x12=15 x13=2 x20=4 x21=8 x22=13 x23=9 x30=10 x31=7 x32=5 x33=12 \n",
            "x00=10 x01=15 x02=1 x03=8 x10=3 x11=12 x12=6 x13=13 x20=14 x21=5 x22=11 x23=4 x30=7 x31=2 x32=16 x33=9 \n",
            "x00=16 x01=4 x02=5 x03=9 x10=3 x11=14 x12=10 x13=7 x20=2 x21=15 x22=11 x23=6 x30=13 x31=1 x32=8 x33=12 \n",
            "x00=2 x01=8 x02=10 x03=14 x10=6 x11=5 x12=7 x13=16 x20=11 x21=9 x22=13 x23=1 x30=15 x31=12 x32=4 x33=3 \n",
            "x00=6 x01=5 x02=11 x03=12 x10=3 x11=4 x12=14 x13=13 x20=16 x21=15 x22=2 x23=1 x30=9 x31=10 x32=7 x33=8 \n",
            "x00=4 x01=6 x02=16 x03=8 x10=7 x11=15 x12=3 x13=9 x20=10 x21=11 x22=1 x23=12 x30=13 x31=2 x32=14 x33=5 \n",
            "x00=1 x01=11 x02=6 x03=16 x10=15 x11=3 x12=14 x13=2 x20=13 x21=8 x22=4 x23=9 x30=5 x31=12 x32=10 x33=7 \n",
            "x00=12 x01=1 x02=8 x03=13 x10=7 x11=10 x12=15 x13=2 x20=4 x21=9 x22=5 x23=16 x30=11 x31=14 x32=6 x33=3 \n",
            "x00=15 x01=1 x02=4 x03=14 x10=6 x11=12 x12=9 x13=7 x20=10 x21=8 x22=5 x23=11 x30=3 x31=13 x32=16 x33=2 \n",
            "x00=2 x01=16 x02=13 x03=3 x10=11 x11=10 x12=8 x13=5 x20=15 x21=1 x22=4 x23=14 x30=6 x31=7 x32=9 x33=12 \n",
            "x00=9 x01=16 x02=2 x03=7 x10=6 x11=3 x12=13 x13=12 x20=8 x21=10 x22=15 x23=1 x30=11 x31=5 x32=4 x33=14 \n",
            "x00=4 x01=1 x02=14 x03=15 x10=9 x11=12 x12=7 x13=6 x20=13 x21=16 x22=2 x23=3 x30=8 x31=5 x32=11 x33=10 \n",
            "x00=11 x01=16 x02=2 x03=5 x10=9 x11=14 x12=4 x13=7 x20=6 x21=1 x22=15 x23=12 x30=8 x31=3 x32=13 x33=10 \n",
            "x00=11 x01=6 x02=12 x03=5 x10=1 x11=16 x12=3 x13=14 x20=7 x21=4 x22=10 x23=13 x30=15 x31=8 x32=9 x33=2 \n",
            "x00=11 x01=14 x02=3 x03=6 x10=1 x11=8 x12=15 x13=10 x20=9 x21=5 x22=4 x23=16 x30=13 x31=7 x32=12 x33=2 \n",
            "x00=12 x01=4 x02=3 x03=15 x10=5 x11=6 x12=7 x13=16 x20=8 x21=11 x22=14 x23=1 x30=9 x31=13 x32=10 x33=2 \n",
            "x00=9 x01=12 x02=8 x03=5 x10=4 x11=14 x12=13 x13=3 x20=15 x21=7 x22=2 x23=10 x30=6 x31=1 x32=11 x33=16 \n",
            "x00=9 x01=14 x02=8 x03=3 x10=4 x11=12 x12=13 x13=5 x20=15 x21=7 x22=2 x23=10 x30=6 x31=1 x32=11 x33=16 \n",
            "x00=9 x01=14 x02=8 x03=3 x10=4 x11=7 x12=13 x13=10 x20=15 x21=12 x22=2 x23=5 x30=6 x31=1 x32=11 x33=16 \n",
            "x00=9 x01=14 x02=8 x03=3 x10=4 x11=1 x12=13 x13=16 x20=15 x21=12 x22=2 x23=5 x30=6 x31=7 x32=11 x33=10 \n",
            "x00=6 x01=14 x02=11 x03=3 x10=4 x11=1 x12=13 x13=16 x20=15 x21=12 x22=2 x23=5 x30=9 x31=7 x32=8 x33=10 \n",
            "x00=6 x01=14 x02=11 x03=3 x10=4 x11=7 x12=13 x13=10 x20=15 x21=12 x22=2 x23=5 x30=9 x31=1 x32=8 x33=16 \n",
            "x00=6 x01=14 x02=11 x03=3 x10=4 x11=12 x12=5 x13=13 x20=15 x21=7 x22=2 x23=10 x30=9 x31=1 x32=16 x33=8 \n",
            "x00=6 x01=14 x02=11 x03=3 x10=4 x11=12 x12=13 x13=5 x20=15 x21=7 x22=2 x23=10 x30=9 x31=1 x32=8 x33=16 \n",
            "x00=6 x01=14 x02=11 x03=3 x10=4 x11=12 x12=13 x13=5 x20=15 x21=1 x22=2 x23=16 x30=9 x31=7 x32=8 x33=10 \n",
            "x00=8 x01=14 x02=9 x03=3 x10=4 x11=13 x12=12 x13=5 x20=15 x21=1 x22=2 x23=16 x30=7 x31=6 x32=11 x33=10 \n",
            "x00=8 x01=14 x02=9 x03=3 x10=4 x11=12 x12=13 x13=5 x20=15 x21=2 x22=1 x23=16 x30=7 x31=6 x32=11 x33=10 \n",
            "x00=6 x01=4 x02=10 x03=14 x10=1 x11=13 x12=15 x13=5 x20=11 x21=9 x22=2 x23=12 x30=16 x31=8 x32=7 x33=3 \n",
            "x00=14 x01=8 x02=3 x03=9 x10=2 x11=15 x12=16 x13=1 x20=12 x21=4 x22=5 x23=13 x30=6 x31=7 x32=10 x33=11 \n",
            "x00=11 x01=6 x02=10 x03=7 x10=2 x11=16 x12=15 x13=1 x20=8 x21=9 x22=5 x23=12 x30=13 x31=3 x32=4 x33=14 \n",
            "x00=12 x01=8 x02=13 x03=1 x10=14 x11=11 x12=7 x13=2 x20=5 x21=9 x22=4 x23=16 x30=3 x31=6 x32=10 x33=15 \n",
            "x00=9 x01=12 x02=10 x03=3 x10=2 x11=5 x12=13 x13=14 x20=8 x21=6 x22=4 x23=16 x30=15 x31=11 x32=7 x33=1 \n",
            "x00=11 x01=6 x02=2 x03=15 x10=1 x11=16 x12=14 x13=3 x20=13 x21=7 x22=10 x23=4 x30=9 x31=5 x32=8 x33=12 \n",
            "x00=16 x01=12 x02=5 x03=1 x10=6 x11=3 x12=14 x13=11 x20=8 x21=9 x22=2 x23=15 x30=4 x31=10 x32=13 x33=7 \n",
            "x00=13 x01=8 x02=2 x03=11 x10=4 x11=9 x12=15 x13=6 x20=1 x21=12 x22=7 x23=14 x30=16 x31=5 x32=10 x33=3 \n",
            "x00=13 x01=7 x02=2 x03=12 x10=9 x11=10 x12=1 x13=14 x20=8 x21=6 x22=15 x23=5 x30=4 x31=11 x32=16 x33=3 \n",
            "x00=16 x01=5 x02=1 x03=12 x10=3 x11=9 x12=8 x13=14 x20=11 x21=7 x22=10 x23=6 x30=4 x31=13 x32=15 x33=2 \n",
            "x00=1 x01=5 x02=15 x03=13 x10=3 x11=12 x12=8 x13=11 x20=16 x21=10 x22=2 x23=6 x30=14 x31=7 x32=9 x33=4 \n",
            "x00=1 x01=13 x02=11 x03=9 x10=15 x11=4 x12=7 x13=8 x20=2 x21=12 x22=6 x23=14 x30=16 x31=5 x32=10 x33=3 \n",
            "x00=1 x01=10 x02=14 x03=9 x10=13 x11=15 x12=2 x13=4 x20=12 x21=6 x22=11 x23=5 x30=8 x31=3 x32=7 x33=16 \n",
            "x00=4 x01=15 x02=9 x03=6 x10=14 x11=1 x12=16 x13=3 x20=5 x21=10 x22=7 x23=12 x30=11 x31=8 x32=2 x33=13 \n",
            "x00=7 x01=3 x02=10 x03=14 x10=11 x11=2 x12=15 x13=6 x20=12 x21=16 x22=1 x23=5 x30=4 x31=13 x32=8 x33=9 \n",
            "x00=4 x01=13 x02=16 x03=1 x10=15 x11=9 x12=2 x13=8 x20=12 x21=5 x22=6 x23=11 x30=3 x31=7 x32=10 x33=14 \n",
            "x00=15 x01=6 x02=9 x03=4 x10=2 x11=11 x12=8 x13=13 x20=12 x21=14 x22=7 x23=1 x30=5 x31=3 x32=10 x33=16 \n",
            "x00=1 x01=13 x02=9 x03=11 x10=2 x11=14 x12=12 x13=6 x20=15 x21=4 x22=8 x23=7 x30=16 x31=3 x32=5 x33=10 \n",
            "x00=9 x01=13 x02=5 x03=7 x10=16 x11=4 x12=3 x13=11 x20=1 x21=15 x22=12 x23=6 x30=8 x31=2 x32=14 x33=10 \n",
            "x00=2 x01=4 x02=13 x03=15 x10=12 x11=5 x12=10 x13=7 x20=6 x21=9 x22=8 x23=11 x30=14 x31=16 x32=3 x33=1 \n",
            "x00=16 x01=10 x02=2 x03=6 x10=4 x11=15 x12=12 x13=3 x20=9 x21=1 x22=13 x23=11 x30=5 x31=8 x32=7 x33=14 \n",
            "x00=16 x01=6 x02=1 x03=11 x10=9 x11=10 x12=13 x13=2 x20=4 x21=15 x22=8 x23=7 x30=5 x31=3 x32=12 x33=14 \n",
            "x00=6 x01=10 x02=3 x03=15 x10=11 x11=14 x12=7 x13=2 x20=13 x21=1 x22=8 x23=12 x30=4 x31=9 x32=16 x33=5 \n",
            "x00=10 x01=3 x02=6 x03=15 x10=7 x11=14 x12=11 x13=2 x20=13 x21=1 x22=8 x23=12 x30=4 x31=16 x32=9 x33=5 \n",
            "x00=6 x01=3 x02=10 x03=15 x10=11 x11=14 x12=7 x13=2 x20=13 x21=1 x22=8 x23=12 x30=4 x31=16 x32=9 x33=5 \n",
            "x00=4 x01=6 x02=9 x03=15 x10=7 x11=11 x12=14 x13=2 x20=13 x21=1 x22=8 x23=12 x30=10 x31=16 x32=3 x33=5 \n",
            "x00=6 x01=10 x02=3 x03=15 x10=11 x11=7 x12=14 x13=2 x20=13 x21=1 x22=8 x23=12 x30=4 x31=16 x32=9 x33=5 \n",
            "x00=10 x01=6 x02=3 x03=15 x10=7 x11=11 x12=14 x13=2 x20=13 x21=1 x22=8 x23=12 x30=4 x31=16 x32=9 x33=5 \n",
            "x00=3 x01=6 x02=10 x03=15 x10=8 x11=11 x12=13 x13=2 x20=14 x21=1 x22=7 x23=12 x30=9 x31=16 x32=4 x33=5 \n",
            "x00=3 x01=6 x02=10 x03=15 x10=13 x11=11 x12=8 x13=2 x20=14 x21=1 x22=7 x23=12 x30=4 x31=16 x32=9 x33=5 \n",
            "x00=4 x01=6 x02=9 x03=15 x10=13 x11=11 x12=8 x13=2 x20=14 x21=1 x22=7 x23=12 x30=3 x31=16 x32=10 x33=5 \n",
            "x00=6 x01=4 x02=9 x03=15 x10=11 x11=13 x12=8 x13=2 x20=14 x21=1 x22=7 x23=12 x30=3 x31=16 x32=10 x33=5 \n",
            "x00=9 x01=4 x02=6 x03=15 x10=8 x11=13 x12=11 x13=2 x20=14 x21=1 x22=7 x23=12 x30=3 x31=16 x32=10 x33=5 \n",
            "x00=9 x01=4 x02=7 x03=14 x10=8 x11=13 x12=10 x13=3 x20=15 x21=1 x22=6 x23=12 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=9 x01=4 x02=14 x03=7 x10=8 x11=13 x12=3 x13=10 x20=15 x21=1 x22=6 x23=12 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=9 x01=4 x02=11 x03=10 x10=8 x11=16 x12=3 x13=7 x20=15 x21=1 x22=6 x23=12 x30=2 x31=13 x32=14 x33=5 \n",
            "x00=7 x01=4 x02=13 x03=10 x10=9 x11=14 x12=3 x13=8 x20=16 x21=1 x22=6 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=6 x01=4 x02=13 x03=11 x10=9 x11=15 x12=2 x13=8 x20=16 x21=1 x22=7 x23=10 x30=3 x31=14 x32=12 x33=5 \n",
            "x00=8 x01=4 x02=10 x03=12 x10=9 x11=16 x12=3 x13=6 x20=15 x21=1 x22=7 x23=11 x30=2 x31=13 x32=14 x33=5 \n",
            "x00=9 x01=3 x02=10 x03=12 x10=8 x11=16 x12=4 x13=6 x20=15 x21=1 x22=7 x23=11 x30=2 x31=14 x32=13 x33=5 \n",
            "x00=6 x01=3 x02=13 x03=12 x10=9 x11=16 x12=2 x13=7 x20=15 x21=1 x22=8 x23=10 x30=4 x31=14 x32=11 x33=5 \n",
            "x00=9 x01=7 x02=6 x03=12 x10=8 x11=10 x12=3 x13=13 x20=15 x21=1 x22=14 x23=4 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=8 x01=7 x02=6 x03=13 x10=9 x11=10 x12=3 x13=12 x20=15 x21=1 x22=14 x23=4 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=13 x01=3 x02=6 x03=12 x10=4 x11=14 x12=7 x13=9 x20=15 x21=1 x22=10 x23=8 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=13 x01=3 x02=6 x03=12 x10=4 x11=14 x12=9 x13=7 x20=15 x21=1 x22=8 x23=10 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=13 x01=3 x02=8 x03=10 x10=4 x11=14 x12=9 x13=7 x20=15 x21=1 x22=6 x23=12 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=13 x01=3 x02=10 x03=8 x10=4 x11=14 x12=7 x13=9 x20=15 x21=1 x22=6 x23=12 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=13 x01=3 x02=8 x03=10 x10=4 x11=9 x12=14 x13=7 x20=15 x21=6 x22=1 x23=12 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=13 x01=1 x02=8 x03=12 x10=4 x11=7 x12=9 x13=14 x20=15 x21=10 x22=6 x23=3 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=13 x01=1 x02=9 x03=11 x10=3 x11=10 x12=7 x13=14 x20=16 x21=8 x22=6 x23=4 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=4 x02=11 x03=6 x10=3 x11=7 x12=10 x13=14 x20=16 x21=8 x22=1 x23=9 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=4 x02=9 x03=8 x10=3 x11=14 x12=7 x13=10 x20=16 x21=1 x22=6 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=4 x02=7 x03=10 x10=3 x11=14 x12=9 x13=8 x20=16 x21=1 x22=6 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=10 x02=7 x03=4 x10=3 x11=8 x12=9 x13=14 x20=16 x21=1 x22=6 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=8 x02=9 x03=4 x10=3 x11=10 x12=7 x13=14 x20=16 x21=1 x22=6 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=11 x02=4 x03=6 x10=3 x11=7 x12=10 x13=14 x20=16 x21=1 x22=8 x23=9 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=4 x02=6 x03=11 x10=3 x11=14 x12=9 x13=8 x20=16 x21=1 x22=7 x23=10 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=4 x02=6 x03=11 x10=3 x11=14 x12=7 x13=10 x20=16 x21=1 x22=9 x23=8 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=13 x01=1 x02=9 x03=11 x10=3 x11=14 x12=7 x13=10 x20=16 x21=4 x22=6 x23=8 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=16 x01=1 x02=9 x03=8 x10=3 x11=14 x12=7 x13=10 x20=13 x21=4 x22=6 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=16 x01=1 x02=7 x03=10 x10=3 x11=14 x12=9 x13=8 x20=13 x21=4 x22=6 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=16 x01=1 x02=6 x03=11 x10=3 x11=14 x12=9 x13=8 x20=13 x21=4 x22=7 x23=10 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=16 x01=1 x02=6 x03=11 x10=3 x11=14 x12=7 x13=10 x20=13 x21=4 x22=9 x23=8 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=16 x01=4 x02=6 x03=8 x10=3 x11=14 x12=7 x13=10 x20=13 x21=1 x22=9 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=16 x01=8 x02=6 x03=4 x10=3 x11=10 x12=7 x13=14 x20=13 x21=1 x22=9 x23=11 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=16 x01=8 x02=4 x03=6 x10=3 x11=10 x12=7 x13=14 x20=13 x21=1 x22=11 x23=9 x30=2 x31=15 x32=12 x33=5 \n",
            "x00=15 x01=8 x02=7 x03=4 x10=3 x11=9 x12=10 x13=12 x20=14 x21=1 x22=6 x23=13 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=15 x01=7 x02=8 x03=4 x10=3 x11=10 x12=9 x13=12 x20=14 x21=1 x22=6 x23=13 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=15 x01=9 x02=6 x03=4 x10=3 x11=8 x12=10 x13=13 x20=14 x21=1 x22=7 x23=12 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=15 x01=10 x02=6 x03=3 x10=4 x11=7 x12=9 x13=14 x20=13 x21=1 x22=8 x23=12 x30=2 x31=16 x32=11 x33=5 \n",
            "x00=14 x01=12 x02=6 x03=2 x10=4 x11=5 x12=10 x13=15 x20=13 x21=1 x22=11 x23=9 x30=3 x31=16 x32=7 x33=8 \n",
            "x00=6 x01=12 x02=5 x03=11 x10=3 x11=13 x12=4 x13=14 x20=10 x21=7 x22=16 x23=1 x30=15 x31=2 x32=9 x33=8 \n",
            "x00=8 x01=12 x02=5 x03=9 x10=1 x11=13 x12=4 x13=16 x20=11 x21=6 x22=15 x23=2 x30=14 x31=3 x32=10 x33=7 \n",
            "x00=9 x01=10 x02=11 x03=4 x10=2 x11=5 x12=14 x13=13 x20=15 x21=12 x22=6 x23=1 x30=8 x31=7 x32=3 x33=16 \n",
            "x00=9 x01=16 x02=2 x03=7 x10=4 x11=5 x12=11 x13=14 x20=15 x21=10 x22=8 x23=1 x30=6 x31=3 x32=13 x33=12 \n",
            "x00=16 x01=3 x02=10 x03=5 x10=12 x11=14 x12=7 x13=1 x20=4 x21=6 x22=9 x23=15 x30=2 x31=11 x32=8 x33=13 \n",
            "x00=5 x01=11 x02=10 x03=8 x10=15 x11=1 x12=14 x13=4 x20=12 x21=9 x22=7 x23=6 x30=2 x31=13 x32=3 x33=16 \n",
            "x00=6 x01=11 x02=1 x03=16 x10=14 x11=7 x12=8 x13=5 x20=12 x21=3 x22=10 x23=9 x30=2 x31=13 x32=15 x33=4 \n",
            "x00=2 x01=14 x02=5 x03=13 x10=16 x11=6 x12=9 x13=3 x20=15 x21=4 x22=8 x23=7 x30=1 x31=10 x32=12 x33=11 \n",
            "x00=8 x01=5 x02=10 x03=11 x10=4 x11=1 x12=14 x13=15 x20=9 x21=12 x22=7 x23=6 x30=13 x31=16 x32=3 x33=2 \n",
            "x00=12 x01=14 x02=1 x03=7 x10=8 x11=4 x12=13 x13=9 x20=11 x21=6 x22=15 x23=2 x30=3 x31=10 x32=5 x33=16 \n",
            "x00=5 x01=11 x02=4 x03=14 x10=12 x11=6 x12=1 x13=15 x20=10 x21=8 x22=13 x23=3 x30=7 x31=9 x32=16 x33=2 \n",
            "x00=11 x01=14 x02=8 x03=1 x10=15 x11=3 x12=12 x13=4 x20=2 x21=7 x22=9 x23=16 x30=6 x31=10 x32=5 x33=13 \n",
            "x00=16 x01=5 x02=11 x03=2 x10=1 x11=8 x12=12 x13=13 x20=14 x21=6 x22=4 x23=10 x30=3 x31=15 x32=7 x33=9 \n",
            "x00=13 x01=4 x02=14 x03=3 x10=8 x11=15 x12=1 x13=10 x20=2 x21=9 x22=7 x23=16 x30=11 x31=6 x32=12 x33=5 \n",
            "x00=13 x01=9 x02=11 x03=1 x10=12 x11=7 x12=5 x13=10 x20=3 x21=14 x22=2 x23=15 x30=6 x31=4 x32=16 x33=8 \n",
            "x00=10 x01=4 x02=15 x03=5 x10=2 x11=9 x12=11 x13=12 x20=16 x21=8 x22=7 x23=3 x30=6 x31=13 x32=1 x33=14 \n",
            "x00=2 x01=15 x02=6 x03=11 x10=12 x11=8 x12=9 x13=5 x20=7 x21=10 x22=3 x23=14 x30=13 x31=1 x32=16 x33=4 \n",
            "x00=13 x01=1 x02=12 x03=8 x10=2 x11=15 x12=6 x13=11 x20=3 x21=14 x22=7 x23=10 x30=16 x31=4 x32=9 x33=5 \n",
            "x00=4 x01=5 x02=16 x03=9 x10=7 x11=2 x12=14 x13=11 x20=10 x21=15 x22=1 x23=8 x30=13 x31=12 x32=3 x33=6 \n",
            "x00=5 x01=8 x02=7 x03=14 x10=6 x11=15 x12=10 x13=3 x20=12 x21=2 x22=16 x23=4 x30=11 x31=9 x32=1 x33=13 \n",
            "x00=7 x01=13 x02=3 x03=11 x10=10 x11=1 x12=9 x13=14 x20=2 x21=12 x22=16 x23=4 x30=15 x31=8 x32=6 x33=5 \n",
            "x00=9 x01=12 x02=3 x03=10 x10=7 x11=1 x12=11 x13=15 x20=2 x21=13 x22=14 x23=5 x30=16 x31=8 x32=6 x33=4 \n",
            "x00=9 x01=13 x02=1 x03=11 x10=2 x11=3 x12=15 x13=14 x20=7 x21=10 x22=12 x23=5 x30=16 x31=8 x32=6 x33=4 \n",
            "x00=6 x01=13 x02=1 x03=14 x10=2 x11=9 x12=11 x13=12 x20=10 x21=4 x22=15 x23=5 x30=16 x31=8 x32=7 x33=3 \n",
            "x00=8 x01=5 x02=10 x03=11 x10=4 x11=14 x12=7 x13=9 x20=6 x21=12 x22=15 x23=1 x30=16 x31=3 x32=2 x33=13 \n",
            "x00=2 x01=9 x02=8 x03=15 x10=6 x11=11 x12=5 x13=12 x20=10 x21=13 x22=7 x23=4 x30=16 x31=1 x32=14 x33=3 \n",
            "x00=12 x01=11 x02=6 x03=5 x10=8 x11=7 x12=10 x13=9 x20=13 x21=14 x22=3 x23=4 x30=1 x31=2 x32=15 x33=16 \n",
            "x00=3 x01=8 x02=14 x03=9 x10=5 x11=13 x12=1 x13=15 x20=10 x21=11 x22=7 x23=6 x30=16 x31=2 x32=12 x33=4 \n",
            "x00=1 x01=5 x02=13 x03=15 x10=16 x11=7 x12=9 x13=2 x20=11 x21=12 x22=8 x23=3 x30=6 x31=10 x32=4 x33=14 \n",
            "x00=1 x01=8 x02=12 x03=13 x10=14 x11=11 x12=7 x13=2 x20=16 x21=5 x22=9 x23=4 x30=3 x31=10 x32=6 x33=15 \n",
            "x00=15 x01=14 x02=2 x03=3 x10=13 x11=4 x12=9 x13=8 x20=1 x21=6 x22=16 x23=11 x30=5 x31=10 x32=7 x33=12 \n",
            "x00=15 x01=11 x02=5 x03=3 x10=9 x11=4 x12=7 x13=14 x20=2 x21=6 x22=10 x23=16 x30=8 x31=13 x32=12 x33=1 \n",
            "x00=15 x01=7 x02=1 x03=11 x10=8 x11=10 x12=4 x13=12 x20=5 x21=14 x22=13 x23=2 x30=6 x31=3 x32=16 x33=9 \n",
            "x00=6 x01=15 x02=2 x03=11 x10=9 x11=8 x12=4 x13=13 x20=5 x21=10 x22=16 x23=3 x30=14 x31=1 x32=12 x33=7 \n",
            "x00=16 x01=3 x02=13 x03=2 x10=9 x11=10 x12=1 x13=14 x20=5 x21=6 x22=12 x23=11 x30=4 x31=15 x32=8 x33=7 \n",
            "x00=1 x01=16 x02=13 x03=4 x10=11 x11=6 x12=2 x13=15 x20=12 x21=9 x22=5 x23=8 x30=10 x31=3 x32=14 x33=7 \n",
            "x00=5 x01=11 x02=16 x03=2 x10=12 x11=6 x12=1 x13=15 x20=9 x21=7 x22=4 x23=14 x30=8 x31=10 x32=13 x33=3 \n",
            "x00=4 x01=9 x02=5 x03=16 x10=15 x11=6 x12=10 x13=3 x20=13 x21=12 x22=8 x23=1 x30=2 x31=7 x32=11 x33=14 \n",
            "x00=16 x01=1 x02=12 x03=5 x10=7 x11=10 x12=6 x13=11 x20=9 x21=8 x22=13 x23=4 x30=2 x31=15 x32=3 x33=14 \n",
            "x00=7 x01=6 x02=11 x03=10 x10=8 x11=13 x12=9 x13=4 x20=3 x21=14 x22=12 x23=5 x30=16 x31=1 x32=2 x33=15 \n",
            "x00=9 x01=11 x02=4 x03=10 x10=2 x11=14 x12=13 x13=5 x20=15 x21=6 x22=1 x23=12 x30=8 x31=3 x32=16 x33=7 \n",
            "x00=10 x01=5 x02=13 x03=6 x10=15 x11=4 x12=1 x13=14 x20=7 x21=16 x22=8 x23=3 x30=2 x31=9 x32=12 x33=11 \n",
            "x00=3 x01=13 x02=14 x03=4 x10=10 x11=8 x12=7 x13=9 x20=16 x21=1 x22=2 x23=15 x30=5 x31=12 x32=11 x33=6 \n",
            "x00=6 x01=15 x02=8 x03=5 x10=1 x11=12 x12=14 x13=7 x20=16 x21=3 x22=2 x23=13 x30=11 x31=4 x32=10 x33=9 \n",
            "x00=5 x01=16 x02=12 x03=1 x10=8 x11=2 x12=9 x13=15 x20=11 x21=13 x22=6 x23=4 x30=10 x31=3 x32=7 x33=14 \n",
            "x00=3 x01=1 x02=16 x03=14 x10=4 x11=13 x12=7 x13=10 x20=12 x21=9 x22=5 x23=8 x30=15 x31=11 x32=6 x33=2 \n",
            "x00=9 x01=2 x02=13 x03=10 x10=1 x11=15 x12=4 x13=14 x20=16 x21=6 x22=5 x23=7 x30=8 x31=11 x32=12 x33=3 \n",
            "x00=9 x01=7 x02=12 x03=6 x10=16 x11=2 x12=13 x13=3 x20=1 x21=14 x22=4 x23=15 x30=8 x31=11 x32=5 x33=10 \n",
            "x00=9 x01=8 x02=1 x03=16 x10=6 x11=11 x12=14 x13=3 x20=4 x21=13 x22=7 x23=10 x30=15 x31=2 x32=12 x33=5 \n",
            "x00=1 x01=12 x02=16 x03=5 x10=13 x11=8 x12=9 x13=4 x20=6 x21=11 x22=2 x23=15 x30=14 x31=3 x32=7 x33=10 \n",
            "x00=1 x01=5 x02=16 x03=12 x10=6 x11=10 x12=7 x13=11 x20=14 x21=15 x22=2 x23=3 x30=13 x31=4 x32=9 x33=8 \n",
            "x00=13 x01=10 x02=7 x03=4 x10=5 x11=12 x12=8 x13=9 x20=2 x21=1 x22=16 x23=15 x30=14 x31=11 x32=3 x33=6 \n",
            "x00=14 x01=9 x02=6 x03=5 x10=3 x11=8 x12=13 x13=10 x20=16 x21=2 x22=4 x23=12 x30=1 x31=15 x32=11 x33=7 \n",
            "x00=13 x01=4 x02=10 x03=7 x10=12 x11=5 x12=15 x13=2 x20=8 x21=9 x22=6 x23=11 x30=1 x31=16 x32=3 x33=14 \n",
            "x00=11 x01=2 x02=15 x03=6 x10=12 x11=16 x12=1 x13=5 x20=8 x21=9 x22=4 x23=13 x30=3 x31=7 x32=14 x33=10 \n",
            "x00=4 x01=11 x02=14 x03=5 x10=7 x11=16 x12=2 x13=9 x20=13 x21=6 x22=3 x23=12 x30=10 x31=1 x32=15 x33=8 \n",
            "x00=6 x01=9 x02=7 x03=12 x10=4 x11=1 x12=15 x13=14 x20=16 x21=11 x22=2 x23=5 x30=8 x31=13 x32=10 x33=3 \n",
            "x00=12 x01=1 x02=14 x03=7 x10=2 x11=15 x12=6 x13=11 x20=16 x21=10 x22=5 x23=3 x30=4 x31=8 x32=9 x33=13 \n",
            "x00=12 x01=16 x02=2 x03=4 x10=7 x11=1 x12=15 x13=11 x20=10 x21=3 x22=8 x23=13 x30=5 x31=14 x32=9 x33=6 \n",
            "x00=11 x01=16 x02=2 x03=5 x10=6 x11=1 x12=15 x13=12 x20=8 x21=3 x22=10 x23=13 x30=9 x31=14 x32=7 x33=4 \n",
            "x00=9 x01=16 x02=2 x03=7 x10=8 x11=1 x12=15 x13=10 x20=6 x21=3 x22=12 x23=13 x30=11 x31=14 x32=5 x33=4 \n",
            "x00=7 x01=16 x02=2 x03=9 x10=10 x11=1 x12=15 x13=8 x20=6 x21=3 x22=12 x23=13 x30=11 x31=14 x32=5 x33=4 \n",
            "x00=16 x01=9 x02=2 x03=7 x10=11 x11=8 x12=5 x13=10 x20=6 x21=3 x22=12 x23=13 x30=1 x31=14 x32=15 x33=4 \n",
            "x00=16 x01=7 x02=2 x03=9 x10=11 x11=10 x12=5 x13=8 x20=6 x21=3 x22=12 x23=13 x30=1 x31=14 x32=15 x33=4 \n",
            "x00=16 x01=7 x02=2 x03=9 x10=8 x11=10 x12=5 x13=11 x20=6 x21=3 x22=12 x23=13 x30=4 x31=14 x32=15 x33=1 \n",
            "x00=16 x01=7 x02=2 x03=9 x10=4 x11=14 x12=5 x13=11 x20=6 x21=3 x22=12 x23=13 x30=8 x31=10 x32=15 x33=1 \n",
            "x00=16 x01=9 x02=2 x03=7 x10=4 x11=14 x12=5 x13=11 x20=8 x21=1 x22=12 x23=13 x30=6 x31=10 x32=15 x33=3 \n",
            "x00=14 x01=7 x02=2 x03=11 x10=4 x11=16 x12=5 x13=9 x20=6 x21=3 x22=12 x23=13 x30=10 x31=8 x32=15 x33=1 \n",
            "x00=11 x01=13 x02=2 x03=8 x10=16 x11=4 x12=5 x13=9 x20=1 x21=7 x22=12 x23=14 x30=6 x31=10 x32=15 x33=3 \n",
            "950\n"
          ]
        }
      ]
    },
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "Pjzx1MqYnOB1"
      },
      "source": [
        "#Winter school"
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "HAD7YASJnPaO",
        "outputId": "105d93e0-17ed-4967-dc12-22d74f138741"
      },
      "source": [
        "#crear CSP\n",
        "model = cp_model.CpModel()\n",
        "#variables y dominios\n",
        "sesion = []\n",
        "for i in range(11): #sesiones\n",
        "  curso = []\n",
        "  for d in range(2): #dias\n",
        "    dias =[]\n",
        "    for t in range(2): #turnos\n",
        "      turno = []\n",
        "      for s in range(3): #salones\n",
        "        turno += [model.NewBoolVar('x'+str(i)+'_'+str(d)+'_'+str(t)+'_'+str(s))]\n",
        "      dias += [turno]\n",
        "    curso += [dias]\n",
        "  sesion += [curso]\n",
        "print(sesion)\n",
        "#restricciones\n",
        "##cada curso se dicta 1 vez\n",
        "for i in range(11):\n",
        "  l = []\n",
        "  for d in range(2):\n",
        "    for t in range(2):\n",
        "      for s in range(3):\n",
        "        l += [sesion[i][d][t][s]]\n",
        "  #print(l)\n",
        "  model.Add(sum(l) == 1)\n",
        "##cada salon solo hasta 1 curso al mismo tiempo\n",
        "for d in range(2):\n",
        "  for t in range(2):\n",
        "    for s in range(3):\n",
        "      l = [sesion[i][d][t][s] for i in range(11)]\n",
        "      model.Add(sum(l) <= 1)\n",
        "##no se pueden hacer en simultaneo ciertas sesiones\n",
        "def no_simultaneo(m, a, b):\n",
        "  for d in range(2):\n",
        "    for t in range(2):\n",
        "      m.Add(sum(sesion[a][d][t]) + sum(sesion[b][d][t]) <= 1)\n",
        "\n",
        "#A B C D E F G H I J K\n",
        "#0 1 2 3 4 5 6 7 8 9 10\n",
        "\n",
        "#A y J\n",
        "no_simultaneo(model, 0, 9)\n",
        "#J e I\n",
        "no_simultaneo(model, 9, 8)\n",
        "#C y F\n",
        "no_simultaneo(model, 2, 5)\n",
        "#F and G\n",
        "no_simultaneo(model, 5, 6)\n",
        "# D and H\n",
        "no_simultaneo(model, 3, 7)\n",
        "# B and D\n",
        "no_simultaneo(model, 1, 3)\n",
        "# K and E\n",
        "no_simultaneo(model, 10, 4)\n",
        "#B, I, H and G\n",
        "no_simultaneo(model, 1, 8) #B,I\n",
        "no_simultaneo(model, 1, 7) #B,H\n",
        "no_simultaneo(model, 1, 6) #B,G\n",
        "no_simultaneo(model, 8, 7) #I,H\n",
        "no_simultaneo(model, 8, 6) #I,G\n",
        "no_simultaneo(model, 7, 6) #H,G\n",
        "#A, G and E\n",
        "#B, H and K\n",
        "#A, B, C and H\n",
        "#D, F and J\n",
        "\n",
        "#E before J\n",
        "model.Add(sum(sesion[9][0][0]) == 0)\n",
        "model.Add(sum(sesion[4][0][0]) >= sum(sesion[9][0][1]))\n",
        "model.Add(sum(sesion[4][0][0]) + sum(sesion[4][0][1]) >= sum(sesion[9][1][0]))\n",
        "model.Add(sum(sesion[4][1][0]) >= sum(sesion[9][1][1]))"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "[[[[x0_0_0_0(0..1), x0_0_0_1(0..1), x0_0_0_2(0..1)], [x0_0_1_0(0..1), x0_0_1_1(0..1), x0_0_1_2(0..1)]], [[x0_1_0_0(0..1), x0_1_0_1(0..1), x0_1_0_2(0..1)], [x0_1_1_0(0..1), x0_1_1_1(0..1), x0_1_1_2(0..1)]]], [[[x1_0_0_0(0..1), x1_0_0_1(0..1), x1_0_0_2(0..1)], [x1_0_1_0(0..1), x1_0_1_1(0..1), x1_0_1_2(0..1)]], [[x1_1_0_0(0..1), x1_1_0_1(0..1), x1_1_0_2(0..1)], [x1_1_1_0(0..1), x1_1_1_1(0..1), x1_1_1_2(0..1)]]], [[[x2_0_0_0(0..1), x2_0_0_1(0..1), x2_0_0_2(0..1)], [x2_0_1_0(0..1), x2_0_1_1(0..1), x2_0_1_2(0..1)]], [[x2_1_0_0(0..1), x2_1_0_1(0..1), x2_1_0_2(0..1)], [x2_1_1_0(0..1), x2_1_1_1(0..1), x2_1_1_2(0..1)]]], [[[x3_0_0_0(0..1), x3_0_0_1(0..1), x3_0_0_2(0..1)], [x3_0_1_0(0..1), x3_0_1_1(0..1), x3_0_1_2(0..1)]], [[x3_1_0_0(0..1), x3_1_0_1(0..1), x3_1_0_2(0..1)], [x3_1_1_0(0..1), x3_1_1_1(0..1), x3_1_1_2(0..1)]]], [[[x4_0_0_0(0..1), x4_0_0_1(0..1), x4_0_0_2(0..1)], [x4_0_1_0(0..1), x4_0_1_1(0..1), x4_0_1_2(0..1)]], [[x4_1_0_0(0..1), x4_1_0_1(0..1), x4_1_0_2(0..1)], [x4_1_1_0(0..1), x4_1_1_1(0..1), x4_1_1_2(0..1)]]], [[[x5_0_0_0(0..1), x5_0_0_1(0..1), x5_0_0_2(0..1)], [x5_0_1_0(0..1), x5_0_1_1(0..1), x5_0_1_2(0..1)]], [[x5_1_0_0(0..1), x5_1_0_1(0..1), x5_1_0_2(0..1)], [x5_1_1_0(0..1), x5_1_1_1(0..1), x5_1_1_2(0..1)]]], [[[x6_0_0_0(0..1), x6_0_0_1(0..1), x6_0_0_2(0..1)], [x6_0_1_0(0..1), x6_0_1_1(0..1), x6_0_1_2(0..1)]], [[x6_1_0_0(0..1), x6_1_0_1(0..1), x6_1_0_2(0..1)], [x6_1_1_0(0..1), x6_1_1_1(0..1), x6_1_1_2(0..1)]]], [[[x7_0_0_0(0..1), x7_0_0_1(0..1), x7_0_0_2(0..1)], [x7_0_1_0(0..1), x7_0_1_1(0..1), x7_0_1_2(0..1)]], [[x7_1_0_0(0..1), x7_1_0_1(0..1), x7_1_0_2(0..1)], [x7_1_1_0(0..1), x7_1_1_1(0..1), x7_1_1_2(0..1)]]], [[[x8_0_0_0(0..1), x8_0_0_1(0..1), x8_0_0_2(0..1)], [x8_0_1_0(0..1), x8_0_1_1(0..1), x8_0_1_2(0..1)]], [[x8_1_0_0(0..1), x8_1_0_1(0..1), x8_1_0_2(0..1)], [x8_1_1_0(0..1), x8_1_1_1(0..1), x8_1_1_2(0..1)]]], [[[x9_0_0_0(0..1), x9_0_0_1(0..1), x9_0_0_2(0..1)], [x9_0_1_0(0..1), x9_0_1_1(0..1), x9_0_1_2(0..1)]], [[x9_1_0_0(0..1), x9_1_0_1(0..1), x9_1_0_2(0..1)], [x9_1_1_0(0..1), x9_1_1_1(0..1), x9_1_1_2(0..1)]]], [[[x10_0_0_0(0..1), x10_0_0_1(0..1), x10_0_0_2(0..1)], [x10_0_1_0(0..1), x10_0_1_1(0..1), x10_0_1_2(0..1)]], [[x10_1_0_0(0..1), x10_1_0_1(0..1), x10_1_0_2(0..1)], [x10_1_1_0(0..1), x10_1_1_1(0..1), x10_1_1_2(0..1)]]]]\n"
          ]
        },
        {
          "output_type": "execute_result",
          "data": {
            "text/plain": [
              "<ortools.sat.python.cp_model.Constraint at 0x7fa38286b890>"
            ]
          },
          "metadata": {},
          "execution_count": 33
        }
      ]
    },
    {
      "cell_type": "code",
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/"
        },
        "id": "g_MmWzkyqs2d",
        "outputId": "6955bcf5-2dc1-4549-efd8-265bb92c9a52"
      },
      "source": [
        "solver = cp_model.CpSolver()\n",
        "status = solver.Solve(model)\n",
        "\n",
        "if status == cp_model.OPTIMAL:\n",
        "  for i in range(11):\n",
        "    print(i,end='\\t')\n",
        "    for d in range(2):\n",
        "      for t in range(2):\n",
        "        for s in range(3):\n",
        "          print(solver.Value(sesion[i][d][t][s]),end=' ')\n",
        "        print(\"\",end='- ')\n",
        "      print(\"\",end=\"\\t| \")\n",
        "    print()\n",
        "\n",
        "  print(\"-----------\")\n",
        "  for d in range(2):\n",
        "    print('d'+str(d+1),'\\t',end=' ')\n",
        "    for t in range(2):\n",
        "      for s in range(2):\n",
        "        for i in range(11):\n",
        "          if solver.Value(sesion[i][d][t][s]) == 1:\n",
        "            print(\"curso\"+str(i), end=' ')\n",
        "      print('',end='|')\n",
        "    print()"
      ],
      "execution_count": null,
      "outputs": [
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "0\t0 0 1 - 0 0 0 - \t| 0 0 0 - 0 0 0 - \t| \n",
            "1\t1 0 0 - 0 0 0 - \t| 0 0 0 - 0 0 0 - \t| \n",
            "2\t0 0 0 - 0 0 0 - \t| 0 0 0 - 0 1 0 - \t| \n",
            "3\t0 0 0 - 0 1 0 - \t| 0 0 0 - 0 0 0 - \t| \n",
            "4\t0 0 0 - 1 0 0 - \t| 0 0 0 - 0 0 0 - \t| \n",
            "5\t0 1 0 - 0 0 0 - \t| 0 0 0 - 0 0 0 - \t| \n",
            "6\t0 0 0 - 0 0 0 - \t| 0 0 0 - 1 0 0 - \t| \n",
            "7\t0 0 0 - 0 0 0 - \t| 1 0 0 - 0 0 0 - \t| \n",
            "8\t0 0 0 - 0 0 1 - \t| 0 0 0 - 0 0 0 - \t| \n",
            "9\t0 0 0 - 0 0 0 - \t| 0 0 0 - 0 0 1 - \t| \n",
            "10\t0 0 0 - 0 0 0 - \t| 0 0 1 - 0 0 0 - \t| \n",
            "-----------\n",
            "d1 \t curso1 curso5 |curso4 curso3 |\n",
            "d2 \t curso7 |curso6 curso2 |\n"
          ]
        }
      ]
    }
  ]
}