NN-Minimax.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "import gym_2048\n",
    "import gym\n",
    "import numpy as np\n",
    "import random\n",
    "import copy\n",
    "\n",
    "from itertools import permutations\n",
    "from collections import Counter\n",
    "\n",
    "import copy\n",
    "import random\n",
    "import math\n",
    "from timeit import default_timer as timer"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "import copy\n",
    "import random\n",
    "import math\n",
    "\n",
    "\n",
    "def numberofzeroes(bb):\n",
    "    count = 0\n",
    "    b = copy.deepcopy(bb)\n",
    "\n",
    "    for i in range(4):\n",
    "        for j in range(4):\n",
    "            if b[i][j] == 0:\n",
    "                count = count + 1\n",
    "    return 2**count\n",
    "\n",
    "\n",
    "def calculate(board1):\n",
    "    b = copy.deepcopy(board1)\n",
    "    sum = 0\n",
    "    for i in range(3):\n",
    "        for j in range(3):\n",
    "            sum = sum + b[i][j] * boardm[i][j]\n",
    "    return sum\n",
    "\n",
    "\n",
    "def is_done(bb):\n",
    "    b = copy.deepcopy(bb)\n",
    "\n",
    "    if b == push_down(b)[0] and b == push_up(b)[0] and b == push_left(b)[0] and b == push_right(b)[0]:\n",
    "        return True\n",
    "    else:\n",
    "        return False\n",
    "\n",
    "\n",
    "def print_board(bb):\n",
    "    b = copy.deepcopy(bb)\n",
    "    for i in b:\n",
    "        print(i)\n",
    "\n",
    "\n",
    "def find_zeros(bb):\n",
    "    b = copy.deepcopy(bb)\n",
    "    list = []\n",
    "    for i in range(4):\n",
    "        for j in range(4):\n",
    "            if b[i][j] == 0:\n",
    "                list.append((i, j))\n",
    "    return list\n",
    "\n",
    "\n",
    "def pick_random_place(bb):\n",
    "    b = copy.deepcopy(bb)\n",
    "    list = find_zeros(b)\n",
    "    return random.choice(list)\n",
    "\n",
    "\n",
    "def place_random(bb):\n",
    "    b = copy.deepcopy(bb)\n",
    "    picked_location = pick_random_place(b)\n",
    "    q = random.randint(0, 100)\n",
    "    f=2 #since i am checking only for 2 as min\n",
    "    # if q < 80:\n",
    "\n",
    "    #     f = 2\n",
    "    # else:\n",
    "    #     f = 4\n",
    "\n",
    "    b[picked_location[0]][picked_location[1]] = f\n",
    "    return b\n",
    "\n",
    "\n",
    "def push_up(bb):\n",
    "    s = 0\n",
    "\n",
    "    b = copy.deepcopy(bb)\n",
    "    b_new = copy.deepcopy(bb)\n",
    "\n",
    "    for i in [0, 1, 2, 3]:\n",
    "        l = []\n",
    "        for j in range(0, 4):\n",
    "            l.append(b[j][i])\n",
    "\n",
    "        l = list(filter((0).__ne__, l))\n",
    "\n",
    "        l_n = []\n",
    "        while len(l) > 1:\n",
    "            if l[0] == l[1]:\n",
    "                l_n.append(2 * l[0])\n",
    "                s = s + (2 * l[0])\n",
    "                l.pop(0)\n",
    "                l.pop(0)\n",
    "\n",
    "            else:\n",
    "                l_n.append(l[0])\n",
    "                l.pop(0)\n",
    "        if len(l) == 1:\n",
    "            l_n.append(l[0])\n",
    "            l.pop(0)\n",
    "\n",
    "        for k in range(4 - len(l_n)):\n",
    "            l_n.append(0)\n",
    "\n",
    "        for j in range(0, 4):\n",
    "            b_new[j][i] = l_n[j]\n",
    "    return b_new, s\n",
    "\n",
    "\n",
    "def push_down(bb):\n",
    "    s = 0\n",
    "\n",
    "    b = copy.deepcopy(bb)\n",
    "    b_new = copy.deepcopy(bb)\n",
    "\n",
    "    for i in [0, 1, 2, 3]:\n",
    "        l = []\n",
    "        for j in [3, 2, 1, 0]:\n",
    "            l.append(b[j][i])\n",
    "\n",
    "        l = list(filter((0).__ne__, l))\n",
    "\n",
    "        l_n = []\n",
    "        while len(l) > 1:\n",
    "            if l[0] == l[1]:\n",
    "                l_n.append(2 * l[0])\n",
    "                s = s + (2 * l[0])\n",
    "                l.pop(0)\n",
    "                l.pop(0)\n",
    "\n",
    "            else:\n",
    "                l_n.append(l[0])\n",
    "                l.pop(0)\n",
    "        if len(l) == 1:\n",
    "            l_n.append(l[0])\n",
    "            l.pop(0)\n",
    "\n",
    "        for k in range(4 - len(l_n)):\n",
    "            l_n.append(0)\n",
    "\n",
    "        for j in range(0, 4):\n",
    "            b_new[j][i] = l_n[3 - j]\n",
    "    return b_new, s\n",
    "\n",
    "\n",
    "def push_left(bb):\n",
    "    s = 0\n",
    "\n",
    "    b = copy.deepcopy(bb)\n",
    "    b_new = copy.deepcopy(bb)\n",
    "\n",
    "    for i in [0, 1, 2, 3]:\n",
    "        l = []\n",
    "        for j in [0, 1, 2, 3]:\n",
    "            l.append(b[i][j])\n",
    "\n",
    "        l = list(filter((0).__ne__, l))\n",
    "\n",
    "        l_n = []\n",
    "        while len(l) > 1:\n",
    "            if l[0] == l[1]:\n",
    "                l_n.append(2 * l[0])\n",
    "                s = s + (2 * l[0])\n",
    "                l.pop(0)\n",
    "                l.pop(0)\n",
    "\n",
    "            else:\n",
    "                l_n.append(l[0])\n",
    "                l.pop(0)\n",
    "        if len(l) == 1:\n",
    "            l_n.append(l[0])\n",
    "            l.pop(0)\n",
    "\n",
    "        for k in range(4 - len(l_n)):\n",
    "            l_n.append(0)\n",
    "\n",
    "        for j in range(0, 4):\n",
    "            b_new[i][j] = l_n[j]\n",
    "\n",
    "    return b_new, s\n",
    "\n",
    "\n",
    "def push_right(bb):\n",
    "    s = 0\n",
    "\n",
    "    b = copy.deepcopy(bb)\n",
    "    b_new = copy.deepcopy(bb)\n",
    "\n",
    "    for i in [0, 1, 2, 3]:\n",
    "        l = []\n",
    "        for j in [3, 2, 1, 0]:\n",
    "            l.append(b[i][j])\n",
    "\n",
    "        l = list(filter((0).__ne__, l))\n",
    "\n",
    "        l_n = []\n",
    "        while len(l) > 1:\n",
    "            if l[0] == l[1]:\n",
    "                l_n.append(2 * l[0])\n",
    "                s = s + (2 * l[0])\n",
    "                l.pop(0)\n",
    "                l.pop(0)\n",
    "            else:\n",
    "                l_n.append(l[0])\n",
    "                l.pop(0)\n",
    "        if len(l) == 1:\n",
    "            l_n.append(l[0])\n",
    "            l.pop(0)\n",
    "\n",
    "        for k in range(4 - len(l_n)):\n",
    "            l_n.append(0)\n",
    "\n",
    "        for j in range(0, 4):\n",
    "            b_new[i][j] = l_n[3 - j]\n",
    "\n",
    "    return b_new, s\n",
    "\n",
    "\n",
    "def max1(b):\n",
    "    l=b[0][0]\n",
    "    for i in range(4):\n",
    "        for j in range(4):\n",
    "            if b[i][j]>l:\n",
    "                l=b[i][j]\n",
    "    return l\n",
    "\n",
    "def minimax(board, is_maximising, depth, alpha, beta, score, action, max_depth):\n",
    "    # print(\"depth:\", depth, score)\n",
    "    # print_board(board)\n",
    "\n",
    "    if is_done(board):\n",
    "        return score, 0, action\n",
    "\n",
    "    if depth == max_depth:\n",
    "        # print(\"Depth Reached\", depth)\n",
    "        return (numberofzeroes(board) + calculate(board)), 0, action\n",
    "\n",
    "    if is_maximising:\n",
    "\n",
    "        # print(\"\\n\\n***Max\")\n",
    "\n",
    "        actions = ['up', 'down', 'left', 'right']\n",
    "\n",
    "        best = -math.inf\n",
    "        best_move = actions[0]\n",
    "\n",
    "        for i in actions:\n",
    "            temp_board = []\n",
    "            temp_board = copy.deepcopy(board)\n",
    "            # print(\"\\nAction\", i)\n",
    "\n",
    "            if i == 'left':\n",
    "                result = push_left(temp_board)\n",
    "\n",
    "            elif i == 'right':\n",
    "                result = push_right(temp_board)\n",
    "\n",
    "            elif i == 'up':\n",
    "                result = push_up(temp_board)\n",
    "\n",
    "            elif i == 'down':\n",
    "                result = push_down(temp_board)\n",
    "\n",
    "            if result[0] != board:\n",
    "                temp_board = copy.deepcopy(result[0])\n",
    "                # print_board(temp_board)\n",
    "\n",
    "                return_value = minimax(temp_board, False, depth + 1, alpha, beta, (result[1] * numberofzeroes(temp_board) * calculate(board)), action + \" \" + i, max_depth)\n",
    "                if best < return_value[0]:\n",
    "                    # print(\"Return at Max: \", return_value[0], best, i, \"Depth:\", depth)\n",
    "                    # print(\"Replacing at Max with\", return_value[0], best)\n",
    "                    best = return_value[0]\n",
    "                    best_move = i\n",
    "                # alpha = max(alpha, best)\n",
    "                # if beta <= alpha:\n",
    "                #     return score, best_move, action\n",
    "                if alpha < best:\n",
    "                    alpha = best\n",
    "                if beta <= alpha:\n",
    "                    break\n",
    "        return best, best_move, action\n",
    "\n",
    "    else:\n",
    "        empty = find_zeros(board)\n",
    "        # print(empty)\n",
    "\n",
    "        if len(empty) == 0:\n",
    "            return score, 0\n",
    "\n",
    "        # print(\"\\n\\n***Min\")\n",
    "        best_min = +math.inf\n",
    "        best_min_move = empty[0]\n",
    "\n",
    "        for i in empty:\n",
    "            temp_board = copy.deepcopy(board)\n",
    "            temp_board[i[0]][i[1]] = 2\n",
    "            return_value = minimax(temp_board, True, depth + 1, alpha, beta, (numberofzeroes(temp_board) * calculate(temp_board)), action, max_depth)\n",
    "            # print(\"Return at Min: \", return_value)\n",
    "            if best_min > return_value[0]:\n",
    "                # print(\"Replacing at Min with\", return_value[0], best_min)\n",
    "                best_min = return_value[0]\n",
    "                best_min_move = i\n",
    "            # beta = min(beta, best_min)\n",
    "            # if beta <= alpha:\n",
    "            #     return score, best_min_move, action\n",
    "\n",
    "            if beta > best_min:\n",
    "                beta = best_min\n",
    "            if beta <= alpha:\n",
    "                break\n",
    "\n",
    "        return best_min, best_min_move"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "dump = []"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 2]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "\n",
      "\n",
      "[128, 4, 256, 2]\n",
      "[32, 512, 128, 4]\n",
      "[4, 64, 16, 2]\n",
      "[2, 8, 2, 4]\n",
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[2, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "\n",
      "\n",
      "[256, 512, 256, 2]\n",
      "[32, 64, 128, 4]\n",
      "[8, 32, 16, 32]\n",
      "[4, 2, 8, 2]\n",
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 2, 0, 0]\n",
      "\n",
      "\n",
      "[2048, 1024, 512, 2]\n",
      "[4, 64, 128, 4]\n",
      "[32, 16, 8, 2]\n",
      "[2, 4, 2, 32]\n",
      "\n",
      "\n",
      "[2, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "\n",
      "\n",
      "[1024, 512, 32, 8]\n",
      "[64, 128, 256, 16]\n",
      "[4, 64, 32, 4]\n",
      "[2, 8, 4, 2]\n",
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 2, 0, 0]\n",
      "\n",
      "\n",
      "[128, 16, 8, 2]\n",
      "[2, 64, 2048, 4]\n",
      "[256, 32, 16, 8]\n",
      "[16, 4, 32, 2]\n",
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 2, 0]\n",
      "\n",
      "\n",
      "[1024, 512, 64, 16]\n",
      "[32, 128, 256, 8]\n",
      "[4, 16, 32, 4]\n",
      "[2, 8, 4, 2]\n",
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 2, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "\n",
      "\n",
      "[2048, 512, 8, 2]\n",
      "[2, 128, 256, 32]\n",
      "[16, 4, 16, 4]\n",
      "[2, 8, 4, 2]\n",
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 2, 0]\n",
      "\n",
      "\n",
      "[1024, 512, 32, 2]\n",
      "[32, 128, 256, 4]\n",
      "[8, 64, 16, 8]\n",
      "[4, 8, 4, 2]\n",
      "\n",
      "\n",
      "[0, 2, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "\n",
      "\n",
      "[512, 256, 4, 2]\n",
      "[32, 64, 2048, 32]\n",
      "[16, 32, 16, 8]\n",
      "[4, 8, 4, 2]\n",
      "\n",
      "\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 0, 0]\n",
      "[0, 0, 2, 0]\n",
      "[0, 0, 0, 0]\n",
      "\n",
      "\n",
      "[2048, 1024, 64, 2]\n",
      "[64, 128, 512, 4]\n",
      "[16, 64, 32, 16]\n",
      "[4, 8, 4, 2]\n"
     ]
    }
   ],
   "source": [
    "for i in range(10):\n",
    "    boardm = [[4 ** 15, 4 ** 14, 4 ** 13, 4 ** 12],\n",
    "              [4 ** 8, 4 ** 9, 4 ** 10, 4 ** 11],\n",
    "              [4 ** 7, 4 ** 6, 4 ** 5, 4 ** 4],\n",
    "              [4 ** 0, 4 ** 1, 4 ** 2, 4 ** 3]]\n",
    "\n",
    "    board = [[0, 0, 0, 0], [0, 0, 0, 0], [0, 0, 0, 0], [0, 0, 0, 0]]\n",
    "    score1 = 0\n",
    "    board = place_random(board)\n",
    "    \n",
    "    print(\"\\n\")\n",
    "\n",
    "    print_board(board)\n",
    "\n",
    "\n",
    "    score = 0\n",
    "\n",
    "    max_depth = 2\n",
    "\n",
    "    # t = minimax(board, True, 0, -1, +1, score, \"\", max_depth)\n",
    "    # print(t)\n",
    "    arr=[]\n",
    "    ss=[]\n",
    "\n",
    "    board = [[0, 0, 0, 0], [0, 0, 0, 0], [0, 0, 0, 0], [0, 0, 0, 0]]\n",
    "    score1 = 0\n",
    "    choices = [2, 4]\n",
    "    score = 0\n",
    "\n",
    "    max_depth = 3\n",
    "\n",
    "    board = place_random(board)\n",
    "    while not is_done(board):\n",
    "        t = minimax(board, True, 0, float(\"-inf\"), float(\"inf\"), score, \"\", max_depth)[1]\n",
    "        # print(\"\\nFinal Action:\", t) kar dena\n",
    "        if t == 'left':\n",
    "            result = push_left(board)\n",
    "            act=[0,0,0,1]\n",
    "\n",
    "        elif t == 'right':\n",
    "            act=[0,1,0,0]\n",
    "            result = push_right(board)\n",
    "\n",
    "        elif t == 'up':\n",
    "            act=[1,0,0,0]\n",
    "            result = push_up(board)\n",
    "\n",
    "        elif t == 'down':\n",
    "            act=[0,0,1,0]\n",
    "            result = push_down(board)\n",
    "\n",
    "        if result[0] != board:\n",
    "            board = copy.deepcopy(result[0])\n",
    "            # print_board(board) kar dena\n",
    "            score1 = score1 + result[1]\n",
    "            score = result[1] * numberofzeroes(board) * calculate(board)\n",
    "            newspace=[]\n",
    "            for m in range(4):\n",
    "                for n in range(4):\n",
    "                    newspace.append(result[0][m][n])\n",
    "            dump.append((newspace, int(score/1000000000000), act))\n",
    "            # print(\"\\n\") kar dena\n",
    "            # print(\"=\" * 20) kar dena\n",
    "            # print(\"score\", score1)kar dena\n",
    "            # print(\"Final----\")kar dena\n",
    "            board = place_random(board)\n",
    "    #         print_board(board)\n",
    "    #         print(dump)\n",
    "    #         print()\n",
    "    #     print(score1)\n",
    "        ss.append(score)\n",
    "        s=max1(board)\n",
    "        arr.append(s)\n",
    "    print(\"\\n\")\n",
    "    print_board(board)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "# dump=[]"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "12740"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "len(dump)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[([2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0], 351, [0, 0, 0, 1]),\n",
       " ([4, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([4, 4, 2, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([0, 0, 8, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0], 70, [0, 1, 0, 0]),\n",
       " ([8, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([8, 4, 0, 2, 4, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([8, 4, 2, 2, 4, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([8, 4, 4, 0, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 40, [0, 0, 0, 1]),\n",
       " ([8, 8, 0, 0, 4, 2, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0], 87, [0, 0, 0, 1]),\n",
       " ([16, 2, 0, 0, 4, 2, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0], 290, [0, 0, 0, 1]),\n",
       " ([16, 4, 0, 2, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0], 299, [1, 0, 0, 0]),\n",
       " ([16, 4, 0, 2, 8, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 299, [1, 0, 0, 0]),\n",
       " ([16, 4, 0, 2, 8, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 149, [1, 0, 0, 0]),\n",
       " ([16, 8, 2, 2, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 318, [1, 0, 0, 0]),\n",
       " ([16, 8, 4, 2, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([16, 8, 4, 4, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([16, 8, 8, 0, 8, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 325, [0, 0, 0, 1]),\n",
       " ([16, 16, 0, 0, 8, 2, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0], 703, [0, 0, 0, 1]),\n",
       " ([32, 0, 0, 0, 8, 2, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0], 5066, [0, 0, 0, 1]),\n",
       " ([32, 2, 2, 0, 8, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 4, 0, 0, 8, 0, 0, 0, 4, 2, 0, 0, 0, 0, 0, 0], 290, [0, 0, 0, 1]),\n",
       " ([32, 0, 0, 0, 8, 0, 0, 0, 4, 4, 0, 0, 2, 2, 0, 0], 0, [0, 0, 1, 0]),\n",
       " ([32, 4, 2, 0, 8, 2, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 4, 4, 0, 8, 2, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 73, [1, 0, 0, 0]),\n",
       " ([32, 8, 2, 0, 8, 2, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 150, [0, 0, 0, 1]),\n",
       " ([32, 8, 4, 0, 8, 2, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 75, [0, 0, 0, 1]),\n",
       " ([32, 0, 0, 0, 8, 0, 0, 0, 4, 8, 4, 0, 2, 2, 2, 0], 0, [0, 0, 1, 0]),\n",
       " ([32, 2, 4, 0, 8, 8, 2, 0, 4, 2, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 2, 4, 0, 16, 2, 0, 0, 4, 2, 0, 0, 4, 0, 0, 0], 180, [0, 0, 0, 1]),\n",
       " ([32, 4, 4, 0, 16, 2, 2, 0, 8, 0, 0, 0, 0, 0, 0, 0], 219, [1, 0, 0, 0]),\n",
       " ([32, 4, 4, 0, 16, 4, 2, 0, 8, 0, 0, 0, 0, 0, 0, 0], 73, [1, 0, 0, 0]),\n",
       " ([32, 8, 4, 2, 16, 0, 2, 0, 8, 0, 0, 0, 0, 0, 0, 0], 150, [1, 0, 0, 0]),\n",
       " ([32, 8, 4, 2, 16, 4, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0], 75, [0, 0, 0, 1]),\n",
       " ([32, 8, 4, 4, 16, 4, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0], 75, [1, 0, 0, 0]),\n",
       " ([32, 8, 8, 0, 16, 4, 0, 0, 8, 2, 0, 0, 0, 0, 0, 0], 151, [0, 0, 0, 1]),\n",
       " ([32, 16, 2, 0, 16, 4, 0, 0, 8, 2, 0, 0, 0, 0, 0, 0], 317, [0, 0, 0, 1]),\n",
       " ([32, 16, 2, 0, 16, 4, 0, 0, 8, 4, 0, 0, 0, 0, 0, 0], 79, [0, 0, 0, 1]),\n",
       " ([0, 32, 16, 2, 0, 16, 4, 2, 0, 0, 8, 4, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([32, 16, 2, 0, 16, 4, 2, 0, 8, 4, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 16, 2, 0, 16, 4, 2, 0, 8, 4, 0, 0, 4, 0, 0, 0], 19, [0, 0, 0, 1]),\n",
       " ([32, 0, 0, 0, 16, 0, 0, 0, 8, 16, 2, 0, 4, 8, 4, 0], 105, [0, 0, 1, 0]),\n",
       " ([32, 16, 2, 2, 16, 8, 4, 0, 8, 0, 0, 0, 4, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 16, 4, 0, 16, 8, 4, 0, 8, 0, 0, 0, 4, 2, 0, 0], 19, [0, 0, 0, 1]),\n",
       " ([32, 16, 8, 0, 16, 8, 2, 0, 8, 2, 0, 0, 4, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 0, 16, 8, 4, 0, 8, 2, 0, 0, 4, 0, 0, 0], 20, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 0, 16, 8, 4, 0, 8, 2, 2, 0, 4, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 2, 16, 8, 4, 0, 8, 2, 2, 0, 4, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 4, 16, 8, 4, 0, 8, 2, 2, 0, 4, 0, 0, 0], 5, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 4, 16, 8, 4, 2, 0, 0, 8, 4, 0, 0, 0, 4], 5, [0, 1, 0, 0]),\n",
       " ([32, 16, 8, 4, 16, 8, 4, 2, 8, 4, 0, 0, 2, 4, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 16, 8, 4, 16, 8, 4, 2, 0, 8, 4, 2, 0, 0, 2, 4], 0, [0, 1, 0, 0]),\n",
       " ([32, 16, 8, 4, 16, 16, 8, 4, 2, 0, 2, 4, 0, 0, 0, 0], 35, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 4, 32, 8, 4, 0, 4, 4, 0, 0, 2, 0, 0, 0], 90, [0, 0, 0, 1]),\n",
       " ([32, 16, 8, 4, 32, 8, 4, 0, 8, 0, 0, 0, 4, 0, 0, 0], 60, [0, 0, 0, 1]),\n",
       " ([64, 16, 8, 4, 8, 8, 4, 2, 4, 0, 0, 0, 0, 0, 0, 0], 602, [1, 0, 0, 0]),\n",
       " ([64, 16, 8, 4, 0, 16, 4, 2, 0, 0, 0, 4, 0, 0, 0, 2], 150, [0, 1, 0, 0]),\n",
       " ([64, 32, 8, 4, 0, 0, 4, 2, 0, 0, 2, 4, 0, 0, 0, 2], 318, [1, 0, 0, 0]),\n",
       " ([64, 32, 8, 4, 0, 2, 4, 2, 0, 0, 2, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([64, 32, 8, 4, 4, 4, 2, 0, 2, 4, 0, 0, 2, 0, 0, 0], 19, [0, 0, 0, 1]),\n",
       " ([64, 32, 8, 4, 0, 0, 8, 2, 0, 2, 4, 2, 0, 0, 0, 2], 39, [0, 1, 0, 0]),\n",
       " ([64, 32, 16, 4, 0, 4, 4, 4, 0, 0, 0, 2, 0, 0, 0, 0], 481, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 8, 0, 4, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 8, 2, 4, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 8, 4, 4, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 8, 0, 4, 8, 2, 0, 0, 0, 2, 0, 0, 0, 2], 80, [0, 1, 0, 0]),\n",
       " ([64, 32, 16, 8, 2, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 8, 2, 4, 8, 4, 0, 0, 0, 4, 0, 0, 0, 0], 40, [0, 1, 0, 0]),\n",
       " ([64, 32, 16, 8, 2, 4, 8, 4, 2, 4, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 32, 16, 8, 4, 8, 8, 4, 2, 0, 0, 0, 0, 0, 0, 0], 120, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 8, 0, 4, 16, 4, 0, 0, 0, 2, 0, 0, 0, 2], 160, [0, 1, 0, 0]),\n",
       " ([64, 32, 32, 8, 2, 4, 0, 4, 0, 0, 0, 4, 0, 0, 0, 0], 732, [1, 0, 0, 0]),\n",
       " ([64, 64, 8, 0, 2, 8, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 3186, [0, 0, 0, 1]),\n",
       " ([128, 8, 0, 0, 2, 8, 0, 0, 4, 2, 0, 0, 2, 0, 0, 0], 9148, [0, 0, 0, 1]),\n",
       " ([128, 16, 2, 0, 2, 2, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 1162, [1, 0, 0, 0]),\n",
       " ([128, 16, 4, 0, 4, 0, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 1163, [0, 0, 0, 1]),\n",
       " ([128, 16, 4, 0, 4, 0, 0, 0, 4, 2, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 16, 4, 0, 8, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0], 581, [1, 0, 0, 0]),\n",
       " ([128, 16, 4, 0, 8, 2, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0], 290, [1, 0, 0, 0]),\n",
       " ([128, 16, 8, 0, 8, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0], 582, [1, 0, 0, 0]),\n",
       " ([128, 16, 8, 2, 8, 2, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 16, 8, 2, 0, 0, 8, 4, 0, 0, 0, 2, 0, 0, 0, 2], 145, [0, 1, 0, 0]),\n",
       " ([128, 16, 16, 2, 0, 2, 0, 4, 0, 0, 0, 4, 0, 0, 0, 0], 1462, [1, 0, 0, 0]),\n",
       " ([128, 16, 16, 2, 0, 2, 2, 8, 0, 0, 0, 0, 0, 0, 0, 0], 584, [1, 0, 0, 0]),\n",
       " ([128, 16, 16, 2, 0, 2, 4, 8, 0, 0, 0, 0, 0, 0, 0, 0], 292, [1, 0, 0, 0]),\n",
       " ([128, 32, 2, 0, 2, 4, 8, 0, 0, 0, 0, 0, 2, 0, 0, 0], 2394, [0, 0, 0, 1]),\n",
       " ([128, 32, 2, 2, 4, 4, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0], 299, [1, 0, 0, 0]),\n",
       " ([128, 32, 4, 0, 8, 8, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 1797, [0, 0, 0, 1]),\n",
       " ([128, 32, 4, 2, 16, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 2396, [0, 0, 0, 1]),\n",
       " ([128, 32, 4, 2, 16, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 32, 4, 2, 0, 0, 16, 2, 0, 0, 0, 4, 0, 0, 0, 0], 299, [0, 1, 0, 0]),\n",
       " ([128, 32, 4, 4, 2, 0, 16, 4, 0, 0, 0, 0, 0, 0, 0, 0], 299, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 0, 2, 16, 4, 0, 0, 0, 0, 0, 2, 0, 0, 0], 600, [0, 0, 0, 1]),\n",
       " ([128, 32, 8, 0, 4, 16, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0], 300, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 0, 4, 16, 4, 0, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 32, 8, 2, 4, 16, 4, 0, 4, 0, 0, 0, 0, 0, 0, 0], 150, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 2, 8, 16, 4, 0, 0, 2, 0, 0, 0, 0, 0, 0], 300, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 2, 0, 8, 16, 4, 0, 0, 0, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 32, 8, 2, 2, 8, 16, 4, 0, 0, 0, 4, 0, 0, 0, 0], 75, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 2, 2, 8, 16, 4, 0, 0, 0, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 32, 8, 2, 2, 8, 16, 4, 2, 4, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 32, 8, 2, 2, 8, 16, 4, 2, 4, 0, 0, 4, 0, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([128, 32, 8, 2, 4, 8, 16, 4, 4, 4, 0, 2, 0, 0, 0, 0], 18, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 2, 8, 8, 16, 4, 0, 4, 2, 2, 0, 0, 0, 0], 37, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 2, 0, 16, 16, 4, 0, 0, 4, 4, 0, 0, 0, 2], 187, [0, 1, 0, 0]),\n",
       " ([128, 32, 8, 2, 2, 32, 4, 0, 8, 0, 0, 0, 2, 0, 0, 0], 750, [0, 0, 0, 1]),\n",
       " ([128, 64, 8, 2, 2, 2, 4, 0, 8, 0, 0, 0, 2, 0, 0, 0], 1271, [1, 0, 0, 0]),\n",
       " ([128, 64, 8, 4, 2, 2, 4, 0, 8, 0, 0, 0, 2, 0, 0, 0], 79, [1, 0, 0, 0]),\n",
       " ([128, 64, 8, 4, 2, 2, 4, 2, 8, 0, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 64, 8, 4, 4, 4, 2, 0, 8, 0, 0, 0, 4, 0, 0, 0], 158, [0, 0, 0, 1]),\n",
       " ([128, 64, 8, 4, 0, 0, 8, 2, 0, 0, 8, 2, 0, 0, 0, 4], 158, [0, 1, 0, 0]),\n",
       " ([128, 64, 8, 4, 0, 0, 8, 2, 0, 2, 8, 2, 0, 0, 0, 4], 0, [0, 1, 0, 0]),\n",
       " ([128, 64, 8, 4, 0, 2, 8, 2, 0, 2, 8, 2, 0, 0, 0, 4], 0, [0, 1, 0, 0]),\n",
       " ([128, 64, 16, 4, 2, 4, 8, 4, 0, 0, 0, 4, 0, 0, 0, 0], 478, [1, 0, 0, 0]),\n",
       " ([128, 64, 16, 4, 2, 4, 8, 4, 4, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 64, 16, 4, 2, 4, 8, 4, 4, 0, 0, 0, 4, 0, 0, 0], 39, [0, 0, 0, 1]),\n",
       " ([128, 64, 16, 4, 2, 4, 8, 4, 0, 0, 4, 2, 0, 0, 0, 4], 0, [0, 1, 0, 0]),\n",
       " ([128, 64, 16, 8, 4, 4, 8, 2, 0, 0, 4, 4, 0, 0, 0, 0], 119, [1, 0, 0, 0]),\n",
       " ([128, 64, 16, 8, 8, 8, 2, 0, 8, 0, 0, 0, 2, 0, 0, 0], 318, [0, 0, 0, 1]),\n",
       " ([128, 64, 16, 8, 0, 0, 16, 4, 0, 0, 0, 8, 0, 0, 0, 2], 797, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 0, 2, 4, 0, 0, 0, 8, 0, 0, 0, 2], 1284, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 0, 2, 4, 0, 0, 0, 8, 0, 0, 0, 4], 160, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 4, 0, 0, 8, 0, 0, 0, 2, 4, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 0, 0, 2, 4, 0, 0, 8, 2, 0, 0, 2, 4], 0, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 2, 2, 4, 0, 0, 8, 2, 0, 0, 2, 4], 0, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 2, 2, 4, 0, 0, 8, 2, 0, 0, 2, 4], 0, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 4, 2, 4, 0, 8, 2, 0, 0, 4, 4, 0, 0], 40, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 4, 4, 4, 2, 8, 4, 0, 0, 4, 0, 0, 0], 20, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 4, 8, 2, 0, 0, 8, 4, 0, 0, 4, 2], 40, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 4, 16, 2, 0, 0, 4, 4, 0, 0, 0, 2], 80, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 4, 4, 16, 2, 0, 0, 4, 4, 0, 0, 0, 2], 20, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 8, 16, 2, 0, 0, 2, 8, 0, 0, 0, 2], 160, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 8, 16, 2, 0, 2, 2, 8, 0, 0, 0, 2], 0, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 8, 16, 2, 0, 2, 2, 8, 0, 0, 0, 2], 0, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 8, 16, 2, 4, 8, 0, 0, 4, 0, 0, 0], 40, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 2, 16, 16, 2, 8, 0, 2, 0, 0, 0, 0, 0], 240, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 2, 32, 2, 0, 0, 8, 4, 0, 0, 0, 0], 722, [0, 1, 0, 0]),\n",
       " ([128, 64, 64, 8, 2, 2, 8, 2, 0, 0, 0, 4, 0, 0, 0, 0], 1301, [1, 0, 0, 0]),\n",
       " ([128, 128, 8, 0, 4, 8, 2, 0, 2, 4, 0, 0, 0, 0, 0, 0], 5823, [0, 0, 0, 1]),\n",
       " ([256, 8, 0, 0, 4, 8, 2, 0, 2, 4, 0, 0, 2, 0, 0, 0], 18155, [0, 0, 0, 1]),\n",
       " ([256, 16, 2, 0, 4, 4, 0, 0, 4, 2, 0, 0, 0, 0, 0, 0], 2860, [1, 0, 0, 0]),\n",
       " ([256, 16, 2, 0, 8, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0], 1144, [1, 0, 0, 0]),\n",
       " ([256, 16, 2, 2, 8, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 16, 4, 2, 8, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0], 286, [1, 0, 0, 0]),\n",
       " ([256, 16, 4, 2, 0, 8, 4, 2, 0, 0, 0, 4, 0, 0, 0, 0], 286, [0, 1, 0, 0]),\n",
       " ([256, 16, 8, 4, 2, 8, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0], 1718, [1, 0, 0, 0]),\n",
       " ([256, 16, 8, 8, 4, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 3437, [1, 0, 0, 0]),\n",
       " ([256, 16, 16, 0, 4, 8, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 4591, [0, 0, 0, 1]),\n",
       " ([256, 16, 16, 0, 4, 8, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 32, 0, 0, 4, 8, 2, 0, 4, 0, 0, 0, 0, 0, 0, 0], 10449, [0, 0, 0, 1]),\n",
       " ([256, 32, 0, 0, 4, 8, 2, 0, 4, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 32, 2, 2, 8, 8, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 1161, [1, 0, 0, 0]),\n",
       " ([0, 256, 32, 4, 0, 0, 0, 16, 0, 0, 0, 4, 0, 0, 0, 0], 3483, [0, 1, 0, 0]),\n",
       " ([2, 256, 32, 4, 16, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([2, 256, 32, 4, 0, 0, 0, 16, 0, 0, 0, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([2, 256, 32, 4, 0, 0, 2, 16, 0, 0, 0, 4, 0, 0, 0, 2], 0, [1, 0, 0, 0]),\n",
       " ([2, 256, 32, 4, 2, 16, 0, 0, 2, 4, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([4, 256, 32, 4, 4, 16, 2, 0, 0, 4, 0, 0, 0, 0, 0, 0], 153, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 4, 0, 16, 2, 2, 0, 4, 0, 0, 0, 0, 0, 0], 162, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 4, 0, 0, 16, 4, 0, 0, 4, 2, 0, 0, 0, 0], 81, [0, 1, 0, 0]),\n",
       " ([8, 256, 32, 8, 0, 0, 16, 2, 0, 0, 4, 0, 0, 0, 2, 0], 162, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 8, 0, 2, 16, 2, 0, 0, 4, 0, 0, 0, 2, 0], 0, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 8, 0, 2, 16, 4, 0, 0, 4, 0, 0, 0, 2, 0], 40, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 8, 0, 4, 16, 4, 0, 0, 0, 4, 0, 0, 0, 2], 40, [0, 1, 0, 0]),\n",
       " ([8, 256, 32, 8, 0, 4, 16, 8, 0, 2, 0, 2, 0, 0, 0, 0], 81, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 16, 2, 4, 16, 2, 0, 2, 0, 0, 0, 0, 0, 0], 162, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 16, 4, 4, 16, 2, 0, 2, 0, 0, 0, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([8, 256, 32, 16, 8, 16, 2, 0, 2, 0, 0, 0, 2, 0, 0, 0], 81, [0, 0, 0, 1]),\n",
       " ([16, 256, 32, 16, 4, 16, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0], 450, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 0, 4, 16, 4, 0, 0, 0, 0, 0, 0, 0, 2], 90, [0, 1, 0, 0]),\n",
       " ([16, 256, 32, 16, 0, 4, 16, 4, 0, 0, 2, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 2, 4, 16, 4, 0, 0, 2, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 4, 4, 16, 4, 0, 0, 2, 2, 0, 0, 0, 0], 22, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 0, 8, 16, 4, 0, 0, 0, 4, 0, 0, 0, 2], 135, [0, 1, 0, 0]),\n",
       " ([16, 256, 32, 16, 2, 8, 16, 8, 0, 0, 0, 2, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 4, 8, 16, 8, 0, 0, 0, 2, 0, 0, 0, 0], 45, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 4, 8, 16, 8, 0, 2, 0, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 4, 8, 16, 8, 4, 0, 0, 0, 2, 0, 0, 0], 22, [0, 0, 0, 1]),\n",
       " ([16, 256, 32, 16, 8, 8, 16, 8, 2, 0, 0, 2, 0, 0, 0, 0], 45, [1, 0, 0, 0]),\n",
       " ([16, 256, 32, 16, 16, 16, 8, 0, 4, 0, 0, 0, 2, 0, 0, 0], 225, [0, 0, 0, 1]),\n",
       " ([32, 256, 32, 16, 4, 16, 8, 2, 2, 0, 0, 0, 0, 0, 0, 0], 431, [1, 0, 0, 0]),\n",
       " ([32, 256, 32, 16, 4, 16, 8, 2, 4, 0, 0, 0, 0, 0, 0, 0], 53, [1, 0, 0, 0]),\n",
       " ([32, 256, 32, 16, 8, 16, 8, 2, 0, 0, 2, 0, 0, 0, 0, 0], 107, [1, 0, 0, 0]),\n",
       " ([32, 256, 32, 16, 8, 16, 8, 2, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 256, 32, 16, 8, 16, 8, 2, 2, 0, 0, 0, 4, 0, 0, 0], 26, [0, 0, 0, 1]),\n",
       " ([32, 256, 32, 16, 8, 16, 8, 2, 2, 0, 0, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 256, 32, 16, 8, 16, 8, 2, 4, 0, 0, 0, 4, 2, 0, 0], 13, [0, 0, 0, 1]),\n",
       " ([32, 256, 32, 16, 8, 16, 8, 4, 8, 2, 0, 0, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([32, 256, 32, 16, 8, 16, 8, 4, 0, 0, 8, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([32, 256, 32, 16, 8, 16, 16, 4, 0, 2, 0, 4, 0, 0, 0, 0], 134, [1, 0, 0, 0]),\n",
       " ([32, 256, 32, 16, 0, 8, 32, 4, 0, 0, 2, 4, 0, 0, 0, 2], 215, [0, 1, 0, 0]),\n",
       " ([32, 256, 64, 16, 0, 8, 4, 8, 0, 0, 0, 2, 0, 0, 0, 0], 2089, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 16, 2, 8, 4, 8, 2, 0, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 16, 4, 8, 4, 8, 0, 0, 0, 2, 0, 0, 0, 0], 54, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 16, 4, 8, 4, 8, 0, 2, 0, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 16, 4, 8, 4, 8, 4, 2, 0, 0, 0, 0, 0, 0], 27, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 16, 4, 8, 4, 8, 0, 0, 4, 4, 0, 0, 0, 0], 27, [0, 1, 0, 0]),\n",
       " ([32, 256, 64, 16, 4, 8, 8, 8, 2, 0, 0, 4, 0, 0, 0, 0], 54, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 16, 4, 16, 8, 0, 2, 4, 0, 0, 2, 0, 0, 0], 109, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 16, 0, 4, 16, 8, 0, 0, 2, 4, 0, 0, 0, 4], 27, [0, 1, 0, 0]),\n",
       " ([32, 256, 64, 16, 0, 4, 16, 8, 0, 0, 2, 4, 0, 0, 2, 4], 0, [0, 1, 0, 0]),\n",
       " ([32, 256, 64, 16, 2, 4, 16, 8, 0, 0, 4, 8, 0, 0, 0, 0], 82, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 16, 4, 4, 16, 16, 0, 0, 4, 0, 0, 0, 0, 0], 274, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 4, 4, 16, 2, 0, 0, 4, 0, 0, 0, 0, 0], 439, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 8, 16, 2, 0, 2, 4, 0, 0, 0, 0, 0, 0], 109, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 0, 8, 16, 2, 0, 0, 2, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([32, 256, 64, 32, 0, 8, 16, 2, 0, 2, 2, 4, 0, 0, 0, 2], 0, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 0, 8, 16, 2, 0, 4, 2, 4, 0, 0, 0, 2], 13, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 2, 0, 4, 2, 4, 0, 0, 0, 2], 0, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 2, 4, 2, 4, 0, 4, 0, 0, 0], 6, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 2, 4, 2, 4, 2, 0, 0, 0, 4], 0, [0, 1, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 4, 4, 2, 4, 4, 0, 0, 2, 0], 3, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 4, 4, 2, 8, 0, 4, 0, 0, 0], 20, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 4, 4, 2, 8, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 4, 8, 4, 8, 2, 0, 0, 0, 0], 20, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 4, 8, 4, 8, 2, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 4, 8, 4, 8, 2, 4, 0, 0, 0], 3, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 4, 8, 4, 8, 4, 4, 0, 0, 0], 3, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 8, 8, 4, 8, 0, 4, 0, 2, 0], 6, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 8, 8, 4, 8, 2, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 8, 8, 4, 8, 2, 4, 4, 0, 0], 1, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 8, 8, 8, 8, 4, 4, 0, 0, 0], 10, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 8, 0, 8, 16, 4, 0, 0, 4, 2], 13, [0, 1, 0, 0]),\n",
       " ([32, 256, 64, 32, 2, 8, 16, 8, 2, 8, 16, 4, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 4, 16, 32, 8, 4, 2, 2, 4, 0, 0, 0, 0], 89, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 8, 16, 32, 8, 0, 2, 2, 4, 0, 0, 0, 2], 13, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 8, 16, 32, 8, 4, 4, 0, 0, 4, 0, 0, 0], 27, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 8, 16, 32, 8, 8, 2, 0, 0, 4, 0, 0, 0], 27, [0, 0, 0, 1]),\n",
       " ([32, 256, 64, 32, 16, 16, 32, 8, 4, 2, 2, 0, 0, 0, 0, 0], 54, [1, 0, 0, 0]),\n",
       " ([32, 256, 64, 32, 32, 32, 8, 0, 4, 4, 0, 0, 2, 0, 0, 0], 247, [0, 0, 0, 1]),\n",
       " ([64, 256, 64, 32, 4, 32, 8, 0, 2, 4, 2, 0, 0, 0, 0, 0], 580, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 0, 4, 32, 8, 0, 2, 4, 4, 0, 0, 0, 0], 36, [0, 1, 0, 0]),\n",
       " ([64, 256, 64, 32, 0, 4, 32, 8, 0, 0, 2, 8, 0, 0, 0, 2], 72, [0, 1, 0, 0]),\n",
       " ([64, 256, 64, 32, 0, 4, 32, 8, 0, 0, 2, 8, 0, 0, 0, 4], 36, [0, 1, 0, 0]),\n",
       " ([64, 256, 64, 32, 0, 4, 32, 8, 0, 0, 2, 8, 0, 0, 2, 4], 0, [0, 1, 0, 0]),\n",
       " ([64, 256, 64, 32, 2, 4, 32, 8, 2, 8, 0, 0, 2, 4, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 64, 32, 4, 4, 32, 8, 2, 8, 2, 0, 0, 4, 0, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 0, 8, 32, 8, 0, 2, 8, 2, 0, 0, 4, 2], 18, [0, 1, 0, 0]),\n",
       " ([64, 256, 64, 32, 0, 8, 32, 8, 0, 4, 8, 4, 0, 0, 4, 0], 36, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 2, 8, 32, 8, 0, 4, 8, 4, 0, 0, 4, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 2, 8, 32, 8, 4, 8, 4, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 64, 32, 2, 16, 32, 8, 8, 2, 4, 2, 0, 0, 0, 0], 54, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 2, 16, 32, 8, 8, 2, 4, 4, 0, 0, 0, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 2, 16, 32, 8, 8, 4, 4, 4, 0, 0, 0, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 2, 16, 32, 8, 8, 8, 4, 0, 2, 0, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([64, 256, 64, 32, 2, 16, 32, 8, 0, 0, 16, 4, 0, 0, 0, 4], 90, [0, 1, 0, 0]),\n",
       " ([64, 256, 64, 32, 2, 16, 32, 8, 2, 16, 4, 0, 4, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 64, 32, 4, 32, 32, 8, 4, 0, 4, 0, 0, 0, 2, 0], 163, [1, 0, 0, 0]),\n",
       " ([64, 256, 64, 32, 0, 4, 64, 8, 0, 0, 0, 8, 0, 0, 0, 4], 1379, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 4, 0, 16, 0, 2, 0, 4, 0, 0, 0, 0], 5383, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 0, 4, 16, 0, 0, 4, 4, 0, 0, 0, 0], 149, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 0, 8, 16, 0, 0, 2, 4, 0, 0, 0, 0], 299, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 2, 8, 16, 0, 0, 2, 4, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 16, 0, 4, 4, 0, 0, 0, 0, 0, 0], 74, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 2, 8, 16, 2, 4, 4, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 16, 2, 0, 0, 0, 8, 0, 0, 0, 2], 74, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 16, 2, 2, 8, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 16, 16, 2, 2, 2, 0, 0, 0, 0, 0, 0], 186, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 16, 16, 2, 2, 2, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 16, 16, 2, 2, 2, 4, 0, 0, 0, 0, 0], 18, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 16, 16, 2, 4, 2, 4, 0, 0, 0, 0, 0], 18, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 4, 32, 2, 0, 4, 2, 4, 0, 0, 0, 2], 149, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 4, 32, 2, 0, 4, 2, 4, 0, 0, 0, 4], 18, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 32, 2, 0, 0, 2, 8, 0, 0, 0, 0], 149, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 32, 2, 4, 8, 0, 0, 0, 0, 0, 0], 37, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 2, 4, 0, 2, 0, 0, 0, 0, 0], 149, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 2, 4, 2, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 2, 4, 4, 0, 0, 2, 0, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 2, 8, 2, 0, 0, 2, 0, 0, 0], 37, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 8, 2, 0, 0, 2, 0, 0, 0], 18, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 8, 2, 2, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 8, 4, 2, 0, 2, 0, 0, 0], 9, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 8, 4, 2, 2, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 8, 4, 4, 0, 4, 0, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 8, 8, 2, 0, 4, 0, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 8, 8, 4, 0, 4, 0, 0, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 0, 0, 16, 4, 0, 0, 4, 2], 37, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 16, 32, 4, 2, 16, 4, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 32, 32, 4, 4, 2, 4, 2, 0, 0, 0, 0], 84, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 32, 4, 0, 2, 4, 2, 0, 0, 2, 0], 18, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 32, 4, 0, 4, 4, 2, 0, 0, 2, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 32, 4, 2, 4, 4, 2, 0, 0, 2, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 32, 4, 2, 4, 4, 4, 0, 0, 2, 0], 4, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 32, 8, 4, 4, 4, 0, 0, 0, 2, 0], 28, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 8, 64, 8, 0, 0, 4, 8, 0, 0, 0, 4], 710, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 8, 64, 16, 0, 0, 4, 4, 0, 0, 2, 0], 149, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 8, 64, 16, 0, 2, 4, 4, 0, 0, 2, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 8, 64, 16, 0, 4, 4, 4, 0, 0, 2, 0], 18, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 64, 16, 0, 4, 4, 4, 0, 0, 2, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 64, 16, 0, 0, 4, 8, 0, 0, 0, 4], 56, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 2, 8, 64, 16, 2, 4, 8, 0, 4, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 8, 64, 16, 4, 4, 8, 0, 0, 2, 0, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 8, 64, 16, 8, 8, 0, 0, 4, 0, 0, 0], 56, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 8, 0, 2, 0, 4, 0, 0, 0], 74, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 8, 0, 2, 2, 4, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 8, 2, 2, 2, 4, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 8, 4, 2, 0, 4, 2, 0, 0], 4, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 8, 4, 2, 0, 4, 4, 0, 0], 4, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 8, 4, 2, 0, 8, 2, 0, 0], 9, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 16, 4, 2, 2, 0, 2, 0, 0],\n",
       "  18,\n",
       "  [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 16, 64, 16, 0, 16, 4, 4, 0, 0, 0, 4],\n",
       "  18,\n",
       "  [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 32, 64, 16, 0, 2, 4, 8, 0, 0, 0, 0],\n",
       "  187,\n",
       "  [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 4, 32, 64, 16, 2, 4, 8, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 4, 32, 64, 16, 4, 4, 8, 0, 0, 0, 2, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 0, 4, 8, 2, 0, 0, 2, 0], 18, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 2, 4, 8, 2, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 4, 4, 8, 2, 0, 2, 0, 0], 4, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 8, 8, 2, 0, 4, 0, 0, 0], 28, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 16, 2, 0, 0, 4, 2, 0, 0],\n",
       "  37,\n",
       "  [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 0, 0, 16, 4, 0, 0, 4, 2], 9, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 16, 4, 0, 0, 2, 4, 2, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 16, 8, 2, 2, 2, 0, 0, 0], 9, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 16, 8, 4, 2, 2, 0, 0, 0], 4, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 16, 8, 4, 4, 2, 0, 0, 0], 4, [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 16, 8, 8, 0, 4, 0, 0, 0],\n",
       "  28,\n",
       "  [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 16, 16, 0, 0, 4, 2, 0, 0],\n",
       "  37,\n",
       "  [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 32, 2, 0, 0, 4, 2, 0, 0],\n",
       "  74,\n",
       "  [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 0, 0, 32, 4, 0, 0, 4, 2], 9, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 32, 4, 0, 0, 2, 4, 2, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 256, 128, 32, 8, 32, 64, 16, 0, 32, 4, 2, 0, 2, 4, 2], 0, [0, 1, 0, 0]),\n",
       " ([64, 256, 128, 32, 8, 64, 64, 16, 2, 2, 8, 4, 0, 0, 0, 0],\n",
       "  177,\n",
       "  [1, 0, 0, 0]),\n",
       " ([64, 256, 128, 32, 0, 8, 128, 16, 0, 4, 8, 4, 0, 0, 0, 2],\n",
       "  617,\n",
       "  [0, 1, 0, 0]),\n",
       " ([64, 256, 256, 32, 2, 8, 8, 16, 0, 4, 0, 4, 0, 0, 0, 2], 1266, [1, 0, 0, 0]),\n",
       " ([64, 512, 32, 0, 2, 16, 16, 0, 4, 2, 4, 0, 2, 0, 0, 0], 7039, [0, 0, 0, 1]),\n",
       " ([64, 512, 32, 0, 2, 32, 0, 0, 4, 2, 4, 2, 2, 0, 0, 0], 426, [0, 0, 0, 1]),\n",
       " ([64, 512, 32, 4, 2, 32, 4, 0, 4, 2, 0, 0, 2, 0, 0, 0], 53, [1, 0, 0, 0]),\n",
       " ([64, 512, 32, 4, 0, 2, 32, 4, 0, 0, 4, 2, 0, 0, 0, 4], 53, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 2, 4, 2, 0, 0, 0, 4, 0, 0, 0, 0], 1939, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 4, 4, 2, 0, 2, 4, 0, 0, 0, 0, 0, 0], 107, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 4, 8, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0], 215, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 0, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 2], 107, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 8, 0, 4, 8, 4, 0, 2, 0, 4, 0, 0, 0, 0], 107, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 0, 4, 8, 8, 0, 2, 2, 0, 0, 0, 0, 0], 215, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 4, 16, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 1077, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 0, 0, 4, 16, 0, 0, 4, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 0, 8, 16, 0, 0, 0, 4, 0, 0, 0, 0], 646, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 2, 8, 16, 0, 0, 0, 4, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 0, 4, 8, 16, 0, 0, 2, 4, 0, 0, 0, 0], 107, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 8, 4, 8, 16, 0, 4, 4, 0, 0, 0, 0, 0, 0], 107, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 8, 8, 16, 0, 0, 4, 2, 0, 0, 0, 0, 0], 215, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 8, 8, 16, 2, 0, 4, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 16, 16, 2, 0, 2, 4, 2, 0, 0, 0, 0, 0], 215, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 0, 0, 32, 4, 0, 2, 4, 2, 0, 0, 0, 0], 969, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 2, 32, 4, 0, 0, 4, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 4, 32, 4, 0, 0, 4, 2, 0, 0, 0, 0], 53, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 4, 4, 32, 4, 0, 0, 4, 2, 0, 0, 0, 0], 53, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 4, 4, 32, 4, 0, 2, 4, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 0, 8, 32, 4, 0, 2, 4, 2, 0, 0, 0, 2], 53, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 8, 32, 4, 0, 2, 4, 4, 0, 0, 0, 0], 26, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 8, 32, 4, 4, 8, 0, 0, 0, 0, 0, 0], 161, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 4, 0, 2, 0, 0, 0, 0, 0], 215, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 4, 2, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 4, 4, 0, 0, 2, 0, 0, 0], 26, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 8, 2, 0, 0, 2, 0, 0, 0], 53, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 8, 2, 0, 0, 4, 0, 0, 0], 26, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 8, 2, 2, 0, 4, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 0, 8, 2, 4, 0, 0, 0, 4], 13, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 8, 2, 16, 32, 4, 2, 8, 2, 4, 4, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 4, 16, 32, 8, 4, 8, 2, 0, 0, 2, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 8, 4, 16, 32, 8, 4, 8, 2, 0, 4, 0, 0, 0], 13, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 8, 4, 16, 32, 8, 4, 8, 2, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 16, 8, 16, 32, 2, 4, 8, 2, 0, 0, 2, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 16, 8, 16, 32, 2, 4, 8, 2, 0, 4, 0, 0, 0], 13, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 16, 8, 16, 32, 2, 8, 8, 4, 0, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 16, 16, 16, 32, 2, 2, 8, 4, 0, 0, 0, 0, 0], 107, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 16, 32, 32, 2, 0, 2, 8, 4, 0, 2, 0, 0, 0], 215, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 16, 64, 2, 0, 0, 2, 8, 4, 0, 4, 0, 0, 0], 915, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 2, 2, 4, 2, 4, 8, 0, 0, 0, 0, 0, 0], 2287, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 0, 4, 4, 2, 0, 0, 4, 8, 0, 0, 0, 2], 71, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 16, 0, 4, 8, 2, 0, 2, 0, 8, 0, 0, 0, 2], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 4, 8, 2, 2, 8, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 2, 4, 8, 2, 0, 2, 8, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 4, 16, 4, 0, 4, 0, 2, 0, 0, 0, 0], 428, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 4, 8, 16, 4, 0, 0, 0, 2, 0, 0, 0, 0], 428, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 4, 8, 16, 4, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 4, 8, 16, 4, 4, 2, 0, 0, 0, 0, 0, 0], 71, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 8, 8, 16, 4, 2, 2, 0, 0, 0, 0, 0, 0], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 0, 16, 16, 4, 0, 0, 2, 4, 0, 0, 0, 0], 714, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 16, 0, 2, 32, 4, 0, 0, 2, 4, 0, 0, 0, 0], 1143, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 16, 0, 4, 32, 4, 0, 0, 2, 4, 0, 0, 0, 0], 142, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 16, 0, 4, 32, 4, 0, 0, 2, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 4, 32, 8, 0, 0, 2, 2, 0, 0, 0, 0], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 4, 32, 8, 0, 0, 2, 4, 0, 0, 0, 0], 71, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 4, 32, 8, 4, 4, 0, 0, 0, 0, 0, 0], 71, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 2, 8, 32, 8, 4, 2, 0, 0, 0, 0, 0, 0], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 8, 32, 8, 4, 2, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 8, 32, 8, 4, 4, 0, 0, 2, 0, 0, 0], 35, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 2, 8, 32, 8, 8, 2, 0, 0, 2, 0, 0, 0], 71, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 2, 8, 32, 8, 8, 2, 0, 2, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 8, 32, 8, 8, 2, 0, 4, 2, 0, 0, 0], 17, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 8, 32, 8, 0, 8, 2, 4, 0, 0, 0, 4], 17, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 16, 2, 16, 32, 8, 0, 2, 2, 8, 0, 0, 0, 0], 214, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 4, 16, 32, 16, 0, 2, 2, 0, 0, 0, 0, 0],\n",
       "  357,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 16, 4, 16, 32, 16, 4, 0, 0, 0, 2, 0, 0, 0], 71, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 4, 16, 32, 16, 4, 0, 0, 0, 4, 0, 0, 0], 71, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 16, 4, 16, 32, 16, 0, 0, 4, 2, 0, 0, 0, 4], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 2, 0, 2, 4, 4, 0, 0, 0, 0], 285, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 2, 2, 2, 4, 4, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 2, 4, 8, 0, 0, 2, 0, 0, 0], 107, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 2, 4, 8, 0, 0, 4, 0, 0, 0], 35, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 2, 4, 8, 0, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 8, 16, 32, 2, 4, 8, 2, 0, 0, 2, 0, 0], 35, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 8, 16, 32, 2, 4, 8, 2, 0, 4, 0, 0, 0], 17, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 8, 16, 32, 4, 8, 8, 2, 0, 0, 0, 0, 0], 107, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 16, 16, 32, 4, 2, 8, 2, 0, 0, 0, 0, 0],\n",
       "  142,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 32, 32, 4, 0, 2, 8, 2, 0, 0, 0, 2], 285, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 0, 64, 4, 0, 2, 8, 2, 0, 0, 0, 4], 1215, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 4], 4789, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 4], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 4, 8, 4, 4, 0, 0, 0, 4, 0, 0, 0], 72, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 2, 4, 8, 4, 0, 0, 0, 4, 0, 0, 4, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 4, 8, 8, 0, 2, 4, 2, 0, 0, 0, 0], 72, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 4, 16, 0, 2, 4, 2, 0, 2, 0, 0, 0], 145, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 2, 4, 16, 0, 2, 4, 2, 0, 4, 0, 0, 0], 36, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 4, 8, 16, 2, 4, 0, 2, 0, 0, 0, 0, 0], 217, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 8, 16, 2, 0, 2, 2, 0, 0, 0, 0, 0], 145, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 16, 2, 0, 4, 0, 0, 0, 2, 0, 0, 0],\n",
       "  725,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 0, 0, 32, 2, 0, 0, 0, 4, 0, 0, 0, 4],\n",
       "  2612,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 0, 32, 2, 0, 0, 0, 4, 0, 0, 2, 4], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 0, 32, 2, 0, 0, 2, 8, 0, 0, 0, 0], 290, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 32, 2, 0, 2, 8, 0, 0, 0, 0, 0, 0], 145, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 0, 4, 32, 2, 0, 2, 8, 2, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 4, 32, 2, 0, 4, 8, 2, 0, 0, 0, 0], 72, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 32, 2, 0, 4, 8, 2, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 0, 4, 32, 2, 0, 4, 8, 4, 0, 0, 0, 2], 36, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 8, 32, 2, 0, 0, 8, 4, 0, 0, 2, 2], 72, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 8, 32, 2, 0, 2, 8, 4, 0, 0, 0, 4], 36, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 8, 32, 2, 0, 2, 8, 8, 0, 0, 0, 0], 72, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 8, 32, 2, 0, 2, 8, 8, 0, 0, 0, 0], 36, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 8, 32, 2, 4, 16, 0, 0, 0, 0, 0, 0],\n",
       "  362,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 8, 8, 32, 4, 0, 16, 0, 0, 0, 0, 0, 0],\n",
       "  435,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 8, 32, 4, 2, 16, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 8, 32, 4, 4, 16, 0, 0, 0, 0, 0, 0], 72, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 8, 32, 4, 4, 16, 0, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 16, 32, 4, 0, 4, 16, 2, 0, 0, 0, 2],\n",
       "  145,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 16, 32, 4, 0, 4, 16, 4, 0, 0, 2, 0],\n",
       "  36,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 16, 32, 8, 0, 4, 16, 2, 0, 0, 2, 0],\n",
       "  72,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 16, 32, 8, 0, 4, 16, 4, 0, 0, 2, 0],\n",
       "  36,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 16, 32, 8, 4, 16, 4, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 2, 32, 32, 8, 4, 0, 4, 2, 2, 0, 0, 0],\n",
       "  145,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 32, 32, 8, 4, 0, 4, 4, 2, 0, 0, 0], 18, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 32, 32, 8, 4, 2, 4, 4, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 2, 64, 8, 0, 4, 2, 8, 0, 0, 0, 4], 689, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 2, 64, 16, 0, 4, 2, 4, 0, 0, 0, 0],\n",
       "  145,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 4, 64, 16, 2, 4, 2, 4, 0, 0, 0, 0], 36, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 8, 64, 16, 0, 0, 4, 4, 0, 0, 0, 0],\n",
       "  217,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 8, 64, 16, 0, 0, 0, 8, 0, 0, 0, 2],\n",
       "  145,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 8, 64, 16, 2, 8, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 4, 16, 64, 16, 2, 2, 0, 0, 0, 0, 0, 0],\n",
       "  362,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 16, 64, 16, 4, 0, 0, 0, 2, 0, 0, 0],\n",
       "  72,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 8, 16, 64, 16, 2, 0, 2, 0, 0, 0, 0, 0],\n",
       "  145,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 16, 64, 16, 2, 2, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 16, 64, 16, 4, 2, 2, 0, 0, 0, 0, 0],\n",
       "  36,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 16, 64, 16, 4, 4, 0, 0, 2, 0, 0, 0],\n",
       "  36,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 8, 16, 64, 16, 8, 0, 0, 0, 4, 0, 0, 0],\n",
       "  217,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 16, 16, 64, 16, 4, 0, 2, 0, 0, 0, 0, 0],\n",
       "  290,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 0, 32, 64, 16, 0, 0, 4, 2, 0, 0, 0, 2],\n",
       "  580,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 32, 64, 16, 0, 0, 4, 4, 0, 0, 0, 0],\n",
       "  72,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 32, 64, 16, 0, 0, 0, 8, 0, 0, 0, 2],\n",
       "  145,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 32, 64, 16, 0, 0, 0, 8, 0, 0, 0, 2],\n",
       "  72,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 32, 64, 16, 2, 8, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 4, 32, 64, 16, 4, 8, 2, 0, 0, 0, 0, 0],\n",
       "  36,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 32, 64, 16, 0, 8, 2, 2, 0, 0, 0, 0],\n",
       "  72,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 8, 32, 64, 16, 8, 4, 0, 0, 2, 0, 0, 0],\n",
       "  36,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 8, 32, 64, 16, 8, 4, 0, 0, 4, 0, 0, 0],\n",
       "  36,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 4, 4, 0, 0, 0, 2, 0, 0],\n",
       "  145,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 4, 4, 2, 0, 0, 2, 0, 0],\n",
       "  0,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 4, 4, 4, 0, 0, 2, 0, 0],\n",
       "  18,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 4, 4, 4, 2, 0, 2, 0, 0],\n",
       "  0,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 0, 4, 8, 2, 0, 0, 0, 4],\n",
       "  54,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 2, 4, 8, 2, 4, 0, 0, 0],\n",
       "  0,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 2, 4, 8, 2, 0, 0, 4, 2],\n",
       "  0,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 2, 4, 8, 2, 2, 4, 2, 0],\n",
       "  0,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 4, 8, 8, 4, 0, 0, 2, 0],\n",
       "  36,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 4, 16, 4, 0, 4, 0, 0, 0],\n",
       "  90,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 8, 16, 4, 2, 0, 0, 0, 0],\n",
       "  36,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 8, 16, 4, 2, 0, 0, 0, 2],\n",
       "  0,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 8, 16, 4, 4, 0, 0, 2, 0],\n",
       "  9,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 0, 8, 16, 8, 0, 0, 0, 4],\n",
       "  54,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 16, 32, 64, 16, 8, 16, 8, 0, 2, 4, 0, 0],\n",
       "  0,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 0, 16, 32, 64, 0, 8, 16, 8, 32, 2, 4, 2, 16],\n",
       "  0,\n",
       "  [0, 0, 1, 0]),\n",
       " ([128, 512, 128, 2, 16, 32, 64, 32, 8, 16, 8, 16, 2, 4, 2, 0],\n",
       "  0,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 2, 16, 32, 64, 32, 8, 16, 8, 16, 0, 2, 4, 4],\n",
       "  2,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 2, 16, 32, 64, 32, 8, 16, 8, 16, 4, 8, 0, 0],\n",
       "  13,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 2, 16, 32, 64, 32, 8, 16, 8, 16, 0, 4, 8, 2],\n",
       "  0,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 2, 16, 32, 64, 32, 8, 16, 16, 16, 2, 4, 0, 2],\n",
       "  9,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 2, 16, 32, 64, 32, 8, 32, 16, 0, 2, 4, 4, 0],\n",
       "  40,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 128, 2, 16, 64, 64, 32, 8, 4, 16, 2, 2, 0, 4, 0],\n",
       "  72,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 2, 0, 16, 128, 32, 8, 4, 16, 2, 0, 2, 4, 2],\n",
       "  145,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 256, 2, 8, 16, 16, 32, 2, 4, 4, 4, 0, 2, 0, 0],\n",
       "  607,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 2, 8, 32, 32, 0, 2, 8, 4, 0, 4, 0, 0, 0], 411, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 2, 8, 64, 0, 0, 2, 8, 4, 0, 4, 2, 0, 0], 598, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 4, 8, 64, 4, 0, 2, 8, 0, 0, 4, 2, 0, 0], 37, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 4, 0, 8, 64, 4, 0, 0, 2, 8, 0, 0, 4, 4], 37, [0, 1, 0, 0]),\n",
       " ([128, 512, 256, 8, 2, 8, 64, 8, 0, 0, 2, 4, 0, 0, 4, 0], 74, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 8, 2, 8, 64, 8, 2, 4, 0, 0, 2, 4, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 4, 8, 64, 2, 2, 8, 0, 0, 0, 0, 0, 0], 523, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 4, 16, 64, 2, 4, 0, 0, 0, 0, 0, 0, 0],\n",
       "  747,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 4, 16, 64, 2, 4, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 4, 16, 64, 2, 4, 0, 0, 0, 4, 0, 0, 0], 74, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 8, 16, 64, 2, 4, 2, 0, 0, 0, 0, 0, 0],\n",
       "  149,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 8, 16, 64, 2, 4, 4, 0, 0, 0, 0, 0, 0], 74, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 8, 16, 64, 2, 8, 2, 0, 0, 0, 0, 0, 0],\n",
       "  149,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 16, 16, 64, 4, 0, 2, 0, 0, 0, 0, 0, 0],\n",
       "  747,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 0, 32, 64, 4, 0, 0, 0, 4, 0, 0, 0, 0],\n",
       "  2692,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 256, 16, 0, 32, 64, 8, 0, 0, 2, 0, 0, 0, 0, 0],\n",
       "  598,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 0, 32, 64, 8, 0, 0, 0, 4, 0, 0, 0, 0],\n",
       "  299,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 512, 256, 16, 32, 64, 8, 0, 4, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 0, 32, 64, 8, 0, 0, 4, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 256, 16, 0, 32, 64, 8, 0, 2, 4, 4, 0, 0, 0, 0], 74, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 2, 32, 64, 8, 2, 8, 0, 0, 0, 0, 0, 0],\n",
       "  149,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 4, 32, 64, 8, 0, 8, 0, 0, 0, 2, 0, 0], 74, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 4, 32, 64, 8, 8, 2, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 4, 32, 64, 8, 0, 0, 8, 4, 0, 0, 0, 2], 37, [0, 1, 0, 0]),\n",
       " ([128, 512, 256, 16, 4, 32, 64, 8, 0, 2, 8, 4, 0, 0, 0, 2], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 4, 32, 64, 8, 4, 8, 4, 0, 2, 0, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 4, 32, 64, 8, 4, 8, 4, 0, 4, 0, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 8, 32, 64, 8, 4, 8, 4, 2, 0, 0, 0, 0], 37, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 8, 32, 64, 8, 4, 8, 4, 4, 0, 0, 0, 0], 18, [1, 0, 0, 0]),\n",
       " ([128, 512, 256, 16, 8, 32, 64, 8, 4, 8, 8, 0, 2, 0, 0, 0], 37, [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 8, 32, 64, 8, 4, 16, 2, 0, 2, 0, 0, 0],\n",
       "  74,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 8, 32, 64, 8, 4, 16, 2, 0, 4, 0, 0, 0],\n",
       "  18,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 512, 256, 16, 8, 32, 64, 8, 8, 16, 4, 0, 0, 0, 0, 0],\n",
       "  112,\n",
       "  [1, 0, 0, 0]),\n",
       " ([0, 0, 0, 0, 0, 512, 256, 16, 128, 32, 64, 8, 16, 16, 4, 2],\n",
       "  0,\n",
       "  [0, 0, 1, 0]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 0, 32, 4, 2, 0, 16, 0, 0],\n",
       "  0,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 4, 2, 0, 16, 2, 0, 0],\n",
       "  0,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 4, 2, 0, 16, 4, 0, 0],\n",
       "  4,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 8, 2, 2, 16, 0, 0, 0],\n",
       "  9,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 8, 4, 2, 16, 0, 0, 0],\n",
       "  4,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 8, 4, 4, 16, 0, 0, 0],\n",
       "  4,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 8, 8, 0, 16, 2, 0, 0],\n",
       "  9,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 8, 8, 2, 16, 2, 0, 0],\n",
       "  0,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 2, 256, 16, 16, 512, 64, 8, 32, 8, 8, 4, 16, 2, 0, 0],\n",
       "  2,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 2, 256, 0, 16, 512, 64, 16, 32, 8, 8, 8, 16, 2, 2, 4],\n",
       "  0,\n",
       "  [0, 0, 1, 0]),\n",
       " ([128, 2, 256, 2, 16, 512, 64, 16, 32, 16, 8, 0, 16, 4, 4, 0],\n",
       "  12,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 2, 256, 0, 16, 512, 64, 2, 32, 16, 8, 16, 16, 4, 4, 2],\n",
       "  0,\n",
       "  [0, 0, 1, 0]),\n",
       " ([128, 2, 256, 2, 16, 512, 64, 2, 32, 16, 8, 16, 0, 16, 8, 2],\n",
       "  2,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 2, 256, 4, 16, 512, 64, 16, 32, 32, 16, 2, 2, 0, 0, 0],\n",
       "  64,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 0, 256, 0, 16, 2, 64, 4, 32, 512, 16, 16, 2, 32, 2, 2],\n",
       "  0,\n",
       "  [0, 0, 1, 0]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 32, 32, 16, 2, 2, 0, 2, 0],\n",
       "  2,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 32, 32, 16, 4, 2, 0, 2, 0],\n",
       "  2,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 4, 0, 4, 2, 0, 0],\n",
       "  84,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 4, 0, 4, 4, 0, 0],\n",
       "  4,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 4, 2, 8, 0, 0, 0],\n",
       "  9,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 4, 2, 0, 0, 8, 2],\n",
       "  0,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 4, 4, 0, 2, 8, 0],\n",
       "  2,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 8, 0, 4, 8, 0, 0],\n",
       "  14,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 8, 2, 0, 0, 4, 8],\n",
       "  0,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 8, 2, 2, 4, 8, 0],\n",
       "  0,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 16, 16, 4, 2, 4, 0, 0],\n",
       "  12,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 32, 4, 0, 2, 4, 2, 0],\n",
       "  19,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 32, 4, 0, 2, 4, 4, 0],\n",
       "  2,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 4, 16, 512, 64, 16, 64, 32, 8, 2, 2, 4, 0, 0],\n",
       "  4,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 0, 16, 512, 64, 4, 64, 32, 8, 16, 2, 4, 2, 2],\n",
       "  0,\n",
       "  [0, 0, 1, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 64, 4, 64, 32, 8, 16, 0, 2, 4, 4],\n",
       "  1,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 64, 4, 64, 32, 8, 16, 4, 8, 0, 0],\n",
       "  7,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 2, 16, 512, 64, 4, 64, 32, 8, 16, 0, 4, 8, 2],\n",
       "  0,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 64, 4, 64, 32, 16, 16, 2, 4, 0, 2],\n",
       "  4,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 64, 4, 64, 32, 32, 0, 2, 4, 4, 0],\n",
       "  22,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 2, 16, 512, 64, 4, 0, 64, 64, 2, 0, 0, 2, 8],\n",
       "  89,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 2, 64, 2, 2, 0, 0, 0, 8],\n",
       "  159,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 2, 2, 0, 0, 0, 8], 4, [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 4, 2, 0, 0, 0, 8], 4, [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 4, 2, 2, 8, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 4, 4, 2, 8, 0, 0], 2, [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 8, 0, 2, 8, 2, 0], 4, [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 8, 2, 2, 8, 2, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 8, 2, 0, 2, 8, 4], 1, [0, 1, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 4, 64, 8, 2, 4, 8, 4, 0], 1, [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 8, 64, 8, 4, 0, 8, 4, 0], 7, [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 4, 8, 64, 8, 4, 8, 4, 2, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 2, 16, 512, 128, 8, 16, 64, 8, 2, 0, 4, 2, 0],\n",
       "  14,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 32, 512, 128, 8, 2, 64, 8, 2, 0, 4, 2, 0],\n",
       "  19,\n",
       "  [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 32, 512, 128, 8, 2, 64, 8, 4, 0, 4, 2, 0], 2, [1, 0, 0, 0]),\n",
       " ([128, 4, 256, 2, 32, 512, 128, 8, 2, 64, 8, 4, 4, 4, 0, 0], 2, [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 0, 32, 512, 128, 2, 2, 64, 8, 8, 4, 4, 2, 4], 0, [0, 0, 1, 0]),\n",
       " ([128, 4, 256, 0, 32, 512, 128, 4, 2, 64, 8, 8, 4, 4, 2, 4], 1, [0, 0, 1, 0]),\n",
       " ([128, 4, 256, 2, 32, 512, 128, 4, 2, 64, 16, 0, 8, 2, 4, 0],\n",
       "  14,\n",
       "  [0, 0, 0, 1]),\n",
       " ([128, 4, 256, 2, 32, 512, 128, 4, 2, 64, 16, 2, 0, 8, 2, 4],\n",
       "  0,\n",
       "  [0, 1, 0, 0]),\n",
       " ([128, 4, 256, 2, 32, 512, 128, 4, 4, 64, 16, 2, 0, 8, 2, 4],\n",
       "  1,\n",
       "  [1, 0, 0, 0]),\n",
       " ([0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([4, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 281, [0, 0, 0, 1]),\n",
       " ([4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 281, [1, 0, 0, 0]),\n",
       " ([0, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0], 140, [0, 0, 0, 1]),\n",
       " ([8, 0, 2, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 571, [1, 0, 0, 0]),\n",
       " ([0, 0, 8, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0], 17, [0, 1, 0, 0]),\n",
       " ([8, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([8, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0], 158, [0, 0, 0, 1]),\n",
       " ([8, 4, 0, 0, 8, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 316, [1, 0, 0, 0]),\n",
       " ([16, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 1205, [1, 0, 0, 0]),\n",
       " ([16, 4, 4, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 303, [1, 0, 0, 0]),\n",
       " ([16, 4, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([16, 4, 4, 2, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([16, 4, 4, 4, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 75, [1, 0, 0, 0]),\n",
       " ([0, 16, 4, 8, 0, 0, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0], 112, [0, 1, 0, 0]),\n",
       " ([16, 4, 8, 0, 2, 4, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([16, 8, 8, 0, 4, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 488, [1, 0, 0, 0]),\n",
       " ([16, 16, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0], 703, [0, 0, 0, 1]),\n",
       " ([32, 0, 0, 0, 4, 2, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0], 2251, [0, 0, 0, 1]),\n",
       " ([32, 4, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0], 1161, [1, 0, 0, 0]),\n",
       " ([32, 4, 0, 2, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 1161, [1, 0, 0, 0]),\n",
       " ([32, 4, 2, 2, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 4, 4, 0, 8, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 292, [0, 0, 0, 1]),\n",
       " ([0, 0, 32, 8, 0, 0, 8, 4, 0, 0, 0, 0, 0, 0, 0, 0], 105, [0, 1, 0, 0]),\n",
       " ([0, 0, 32, 8, 0, 0, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([32, 8, 0, 0, 2, 8, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 16, 4, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 1594, [1, 0, 0, 0]),\n",
       " ([32, 16, 4, 2, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 16, 4, 4, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 159, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 0, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 321, [0, 0, 0, 1]),\n",
       " ([32, 16, 8, 0, 4, 2, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 16, 8, 0, 4, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0], 321, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 2, 8, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 321, [1, 0, 0, 0]),\n",
       " ([32, 16, 8, 2, 0, 0, 8, 4, 0, 0, 0, 0, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([32, 16, 16, 2, 0, 2, 0, 4, 0, 0, 0, 2, 0, 0, 0, 0], 325, [1, 0, 0, 0]),\n",
       " ([32, 32, 2, 0, 2, 4, 0, 0, 2, 0, 0, 0, 2, 0, 0, 0], 705, [0, 0, 0, 1]),\n",
       " ([32, 32, 2, 0, 4, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0], 88, [1, 0, 0, 0]),\n",
       " ([32, 32, 2, 2, 4, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 32, 4, 2, 4, 4, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0], 44, [1, 0, 0, 0]),\n",
       " ([32, 32, 4, 2, 4, 4, 0, 0, 4, 2, 0, 0, 0, 0, 0, 0], 44, [1, 0, 0, 0]),\n",
       " ([32, 32, 4, 2, 8, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0], 88, [1, 0, 0, 0]),\n",
       " ([64, 4, 2, 0, 8, 4, 2, 0, 2, 0, 0, 0, 2, 0, 0, 0], 1145, [0, 0, 0, 1]),\n",
       " ([64, 4, 2, 0, 8, 4, 2, 0, 2, 0, 0, 0, 4, 0, 0, 0], 71, [0, 0, 0, 1]),\n",
       " ([64, 8, 4, 2, 8, 0, 0, 0, 2, 0, 0, 0, 4, 0, 0, 0], 437, [1, 0, 0, 0]),\n",
       " ([64, 8, 4, 4, 8, 0, 0, 0, 2, 0, 0, 0, 4, 0, 0, 0], 145, [1, 0, 0, 0]),\n",
       " ([64, 8, 8, 0, 8, 0, 0, 0, 2, 0, 0, 0, 4, 2, 0, 0], 292, [0, 0, 0, 1]),\n",
       " ([64, 8, 8, 0, 8, 2, 2, 0, 2, 0, 0, 0, 4, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 8, 8, 0, 8, 2, 4, 0, 2, 0, 0, 0, 4, 0, 0, 0], 73, [1, 0, 0, 0]),\n",
       " ([64, 16, 0, 0, 8, 2, 4, 0, 4, 0, 0, 0, 4, 0, 0, 0], 747, [0, 0, 0, 1]),\n",
       " ([64, 16, 4, 0, 8, 2, 2, 0, 8, 0, 0, 0, 0, 0, 0, 0], 300, [1, 0, 0, 0]),\n",
       " ([64, 16, 4, 2, 16, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 600, [1, 0, 0, 0]),\n",
       " ([64, 16, 4, 2, 0, 16, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0], 150, [0, 1, 0, 0]),\n",
       " ([64, 32, 4, 2, 2, 0, 2, 4, 0, 0, 0, 0, 0, 0, 0, 0], 1271, [1, 0, 0, 0]),\n",
       " ([64, 32, 4, 2, 0, 0, 4, 4, 0, 0, 0, 2, 0, 0, 0, 0], 158, [0, 1, 0, 0]),\n",
       " ([64, 32, 8, 2, 0, 2, 0, 4, 0, 0, 0, 2, 0, 0, 0, 0], 318, [1, 0, 0, 0]),\n",
       " ([64, 32, 8, 2, 0, 2, 2, 4, 0, 0, 0, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 32, 8, 2, 4, 2, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0], 79, [0, 0, 0, 1]),\n",
       " ([64, 32, 8, 2, 4, 2, 4, 0, 4, 0, 0, 0, 0, 0, 0, 0], 79, [0, 0, 0, 1]),\n",
       " ([64, 32, 8, 2, 8, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0], 478, [1, 0, 0, 0]),\n",
       " ([64, 32, 8, 2, 0, 0, 8, 8, 0, 0, 0, 0, 0, 0, 0, 2], 318, [0, 1, 0, 0]),\n",
       " ([64, 32, 16, 2, 0, 0, 0, 8, 0, 0, 0, 4, 0, 0, 0, 0], 1605, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 2, 0, 0, 2, 8, 0, 0, 0, 4, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 2, 0, 0, 4, 8, 0, 0, 0, 4, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 2, 0, 2, 4, 8, 0, 0, 0, 4, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 2, 2, 4, 8, 0, 2, 4, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 32, 16, 2, 2, 4, 8, 0, 2, 4, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 32, 16, 2, 2, 4, 8, 0, 2, 4, 2, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 32, 16, 2, 2, 4, 8, 0, 2, 4, 2, 0, 4, 0, 0, 0], 10, [0, 0, 0, 1]),\n",
       " ([64, 32, 16, 4, 4, 8, 8, 0, 4, 0, 2, 0, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 4, 8, 8, 8, 0, 0, 2, 2, 0, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([64, 32, 16, 4, 16, 8, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 401, [0, 0, 0, 1]),\n",
       " ([64, 32, 16, 4, 0, 0, 16, 8, 0, 0, 4, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([64, 32, 32, 4, 0, 2, 4, 8, 0, 0, 0, 4, 0, 0, 0, 0], 732, [1, 0, 0, 0]),\n",
       " ([64, 64, 4, 0, 2, 4, 8, 0, 4, 0, 0, 0, 2, 0, 0, 0], 1411, [0, 0, 0, 1]),\n",
       " ([128, 4, 0, 0, 2, 4, 8, 0, 4, 0, 0, 0, 4, 0, 0, 0], 9361, [0, 0, 0, 1]),\n",
       " ([128, 8, 2, 0, 2, 0, 8, 0, 8, 0, 0, 0, 0, 0, 0, 0], 2289, [1, 0, 0, 0]),\n",
       " ([128, 8, 2, 0, 4, 8, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0], 572, [0, 0, 0, 1]),\n",
       " ([128, 0, 0, 0, 4, 0, 0, 0, 8, 0, 0, 0, 2, 16, 2, 0], 2251, [0, 0, 1, 0]),\n",
       " ([128, 16, 2, 2, 4, 0, 0, 0, 8, 0, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 16, 4, 0, 4, 0, 0, 0, 8, 2, 0, 0, 2, 0, 0, 0], 290, [0, 0, 0, 1]),\n",
       " ([128, 16, 4, 2, 4, 2, 0, 0, 8, 0, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 16, 4, 2, 0, 0, 4, 2, 0, 0, 8, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 16, 8, 4, 0, 2, 8, 4, 0, 0, 0, 0, 0, 0, 0, 0], 1165, [1, 0, 0, 0]),\n",
       " ([128, 16, 16, 8, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 3509, [1, 0, 0, 0]),\n",
       " ([128, 16, 16, 8, 0, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 0, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 12006, [0, 0, 0, 1]),\n",
       " ([128, 32, 8, 2, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 32, 8, 2, 8, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 1200, [0, 0, 0, 1]),\n",
       " ([128, 32, 8, 2, 0, 0, 8, 2, 0, 0, 0, 2, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([128, 32, 16, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0], 7230, [1, 0, 0, 0]),\n",
       " ([128, 32, 16, 4, 4, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 32, 16, 4, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 32, 16, 4, 4, 2, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0], 301, [0, 0, 0, 1]),\n",
       " ([128, 32, 16, 4, 8, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 602, [1, 0, 0, 0]),\n",
       " ([128, 32, 16, 4, 0, 0, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 301, [0, 1, 0, 0]),\n",
       " ([128, 32, 16, 4, 0, 2, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([128, 32, 16, 4, 0, 2, 8, 4, 0, 0, 0, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 32, 16, 4, 0, 2, 8, 4, 0, 0, 0, 2, 0, 0, 0, 4], 75, [0, 1, 0, 0]),\n",
       " ([128, 32, 16, 4, 0, 2, 8, 4, 0, 0, 0, 4, 0, 0, 0, 4], 75, [0, 1, 0, 0]),\n",
       " ([128, 32, 16, 8, 0, 2, 8, 8, 0, 0, 2, 0, 0, 0, 0, 0], 602, [1, 0, 0, 0]),\n",
       " ([128, 32, 16, 16, 0, 2, 8, 2, 0, 0, 2, 0, 0, 0, 0, 0], 602, [1, 0, 0, 0]),\n",
       " ([128, 32, 32, 0, 2, 8, 2, 0, 4, 0, 0, 0, 0, 0, 0, 0], 2731, [0, 0, 0, 1]),\n",
       " ([128, 32, 32, 2, 2, 8, 2, 0, 4, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 32, 32, 4, 2, 8, 2, 0, 4, 0, 0, 0, 0, 0, 0, 0], 151, [1, 0, 0, 0]),\n",
       " ([128, 32, 32, 4, 2, 8, 4, 0, 4, 0, 0, 0, 0, 0, 0, 0], 151, [1, 0, 0, 0]),\n",
       " ([128, 64, 4, 0, 2, 8, 4, 0, 4, 0, 0, 0, 2, 0, 0, 0], 2537, [0, 0, 0, 1]),\n",
       " ([128, 64, 4, 0, 2, 8, 4, 0, 4, 2, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 64, 8, 0, 2, 8, 2, 0, 4, 2, 0, 0, 2, 0, 0, 0], 158, [1, 0, 0, 0]),\n",
       " ([128, 64, 8, 2, 2, 8, 2, 0, 4, 2, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 64, 8, 2, 0, 2, 8, 2, 0, 0, 4, 4, 0, 0, 0, 2], 39, [0, 1, 0, 0]),\n",
       " ([128, 64, 16, 4, 2, 2, 4, 4, 0, 0, 0, 2, 0, 0, 0, 0], 398, [1, 0, 0, 0]),\n",
       " ([128, 64, 16, 8, 2, 2, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0], 159, [1, 0, 0, 0]),\n",
       " ([128, 64, 16, 8, 2, 4, 4, 2, 0, 0, 2, 0, 0, 0, 0, 0], 79, [1, 0, 0, 0]),\n",
       " ([128, 64, 16, 8, 0, 2, 8, 2, 0, 0, 0, 2, 0, 0, 0, 2], 159, [0, 1, 0, 0]),\n",
       " ([128, 64, 16, 8, 2, 2, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 79, [1, 0, 0, 0]),\n",
       " ([128, 64, 16, 8, 0, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 2], 79, [0, 1, 0, 0]),\n",
       " ([128, 64, 16, 8, 2, 4, 8, 4, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 64, 16, 8, 4, 4, 8, 4, 2, 0, 0, 2, 0, 0, 0, 0], 39, [1, 0, 0, 0]),\n",
       " ([128, 64, 16, 8, 0, 8, 8, 4, 0, 0, 2, 4, 0, 0, 0, 0], 239, [0, 1, 0, 0]),\n",
       " ([128, 64, 16, 8, 0, 0, 16, 4, 0, 0, 2, 4, 0, 0, 0, 2], 318, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 2, 2, 8, 0, 0, 0, 2, 0, 0, 0, 0], 1605, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 2, 4, 8, 0, 0, 0, 2, 0, 0, 0, 0], 160, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 4, 8, 0, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 0, 2, 4, 8, 0, 0, 0, 4, 0, 0, 0, 2], 80, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 4, 8, 0, 4, 0, 0, 0, 4, 0, 0, 0], 80, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 0, 2, 4, 8, 0, 0, 0, 4, 0, 0, 4, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 4, 8, 0, 2, 4, 0, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 4, 8, 8, 2, 4, 2, 0, 0, 0, 0, 0, 0], 120, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 8, 8, 8, 2, 0, 2, 2, 0, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 8, 8, 8, 2, 0, 2, 4, 0, 0, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 8, 16, 2, 0, 2, 4, 2, 0, 0, 0, 0], 160, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 8, 16, 4, 0, 2, 4, 0, 0, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 2, 8, 16, 4, 2, 4, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 2, 8, 16, 4, 2, 4, 0, 0, 4, 0, 0, 0], 20, [0, 0, 0, 1]),\n",
       " ([128, 64, 32, 8, 4, 8, 16, 4, 4, 4, 0, 2, 0, 0, 0, 0], 20, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 8, 8, 16, 4, 2, 4, 0, 2, 0, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 16, 16, 4, 0, 2, 4, 2, 0, 0, 0, 2], 80, [0, 1, 0, 0]),\n",
       " ([128, 64, 32, 8, 0, 0, 32, 4, 0, 2, 4, 2, 0, 0, 0, 4], 361, [0, 1, 0, 0]),\n",
       " ([128, 64, 64, 8, 0, 2, 4, 4, 0, 0, 2, 2, 0, 0, 0, 4], 650, [1, 0, 0, 0]),\n",
       " ([128, 128, 8, 0, 2, 8, 0, 0, 4, 2, 0, 0, 4, 0, 0, 0], 6176, [0, 0, 0, 1]),\n",
       " ([256, 8, 0, 0, 2, 8, 0, 0, 4, 2, 0, 0, 4, 2, 0, 0], 18155, [0, 0, 0, 1]),\n",
       " ([256, 16, 0, 2, 2, 4, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0], 8004, [1, 0, 0, 0]),\n",
       " ([256, 16, 0, 4, 2, 4, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0], 1143, [1, 0, 0, 0]),\n",
       " ([256, 16, 0, 4, 2, 4, 0, 2, 8, 0, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 16, 2, 4, 2, 4, 2, 0, 8, 0, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 16, 4, 4, 2, 4, 0, 2, 8, 0, 0, 0, 0, 0, 0, 0], 286, [1, 0, 0, 0]),\n",
       " ([256, 16, 8, 0, 2, 4, 2, 0, 8, 2, 0, 0, 0, 0, 0, 0], 572, [0, 0, 0, 1]),\n",
       " ([256, 16, 8, 2, 0, 2, 4, 2, 0, 0, 8, 2, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([256, 16, 8, 4, 0, 2, 4, 4, 0, 0, 8, 0, 0, 0, 0, 0], 572, [1, 0, 0, 0]),\n",
       " ([256, 16, 8, 8, 0, 2, 4, 2, 0, 0, 8, 0, 0, 0, 0, 0], 572, [1, 0, 0, 0]),\n",
       " ([256, 16, 16, 0, 2, 4, 2, 0, 8, 0, 0, 0, 2, 0, 0, 0], 1147, [0, 0, 0, 1]),\n",
       " ([256, 16, 16, 2, 2, 4, 2, 0, 8, 0, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 16, 16, 4, 2, 4, 2, 0, 8, 0, 0, 0, 2, 0, 0, 0], 143, [1, 0, 0, 0]),\n",
       " ([256, 16, 16, 4, 2, 4, 2, 0, 8, 2, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 32, 4, 0, 2, 4, 2, 0, 8, 4, 0, 0, 2, 0, 0, 0], 1307, [0, 0, 0, 1]),\n",
       " ([256, 32, 4, 2, 0, 2, 4, 2, 0, 0, 8, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([256, 32, 8, 4, 2, 2, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 436, [1, 0, 0, 0]),\n",
       " ([256, 32, 16, 8, 4, 2, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0], 4079, [1, 0, 0, 0]),\n",
       " ([256, 32, 16, 8, 4, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0], 582, [0, 0, 0, 1]),\n",
       " ([256, 32, 16, 8, 0, 0, 8, 2, 0, 0, 0, 2, 0, 0, 0, 0], 1165, [0, 1, 0, 0]),\n",
       " ([256, 32, 16, 8, 0, 0, 8, 4, 0, 0, 2, 0, 0, 0, 0, 0], 582, [1, 0, 0, 0]),\n",
       " ([256, 32, 16, 8, 2, 0, 8, 4, 0, 0, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 32, 16, 8, 2, 2, 8, 4, 0, 0, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 32, 16, 8, 0, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 2], 145, [0, 1, 0, 0]),\n",
       " ([256, 32, 16, 8, 0, 4, 8, 4, 0, 2, 0, 4, 0, 0, 0, 0], 145, [1, 0, 0, 0]),\n",
       " ([256, 32, 16, 8, 0, 4, 8, 8, 0, 2, 2, 0, 0, 0, 0, 0], 291, [1, 0, 0, 0]),\n",
       " ([256, 32, 16, 16, 2, 4, 8, 0, 0, 2, 2, 0, 0, 0, 0, 0], 582, [1, 0, 0, 0]),\n",
       " ([256, 32, 32, 0, 2, 4, 8, 0, 4, 0, 0, 0, 2, 0, 0, 0], 2632, [0, 0, 0, 1]),\n",
       " ([256, 0, 0, 0, 2, 0, 0, 0, 4, 32, 32, 0, 2, 4, 8, 2], 0, [0, 0, 1, 0]),\n",
       " ([256, 32, 32, 4, 2, 4, 8, 0, 4, 0, 0, 0, 2, 0, 0, 0], 146, [1, 0, 0, 0]),\n",
       " ([256, 64, 4, 0, 2, 4, 8, 0, 4, 0, 0, 0, 4, 0, 0, 0], 5088, [0, 0, 0, 1]),\n",
       " ([256, 64, 4, 0, 2, 4, 8, 0, 8, 2, 0, 0, 0, 0, 0, 0], 598, [1, 0, 0, 0]),\n",
       " ([256, 64, 4, 2, 2, 4, 8, 0, 8, 2, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 64, 4, 2, 0, 2, 4, 8, 0, 0, 8, 4, 0, 0, 0, 0], 149, [0, 1, 0, 0]),\n",
       " ([256, 64, 8, 2, 0, 2, 8, 8, 0, 0, 2, 4, 0, 0, 0, 0], 299, [1, 0, 0, 0]),\n",
       " ([256, 64, 16, 2, 2, 2, 2, 8, 0, 0, 0, 4, 0, 0, 0, 0], 600, [1, 0, 0, 0]),\n",
       " ([256, 64, 16, 2, 0, 2, 4, 8, 0, 0, 0, 4, 0, 0, 0, 2], 150, [0, 1, 0, 0]),\n",
       " ([256, 64, 16, 2, 2, 2, 4, 8, 0, 0, 0, 4, 0, 0, 0, 2], 0, [1, 0, 0, 0]),\n",
       " ([256, 64, 16, 2, 4, 4, 8, 0, 4, 0, 0, 0, 4, 0, 0, 0], 300, [0, 0, 0, 1]),\n",
       " ([256, 64, 16, 2, 8, 4, 8, 0, 4, 0, 2, 0, 0, 0, 0, 0], 300, [1, 0, 0, 0]),\n",
       " ([256, 64, 16, 4, 8, 4, 8, 0, 4, 0, 2, 0, 0, 0, 0, 0], 150, [1, 0, 0, 0]),\n",
       " ([256, 64, 16, 4, 8, 4, 8, 0, 4, 4, 0, 0, 0, 0, 0, 0], 150, [0, 0, 0, 1]),\n",
       " ([256, 64, 16, 4, 8, 4, 8, 0, 8, 0, 0, 0, 2, 0, 0, 0], 300, [0, 0, 0, 1]),\n",
       " ([256, 64, 16, 4, 16, 4, 8, 2, 2, 0, 0, 0, 0, 0, 0, 0], 600, [1, 0, 0, 0]),\n",
       " ([256, 64, 16, 4, 16, 4, 8, 2, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 64, 16, 4, 16, 4, 8, 2, 0, 0, 0, 4, 0, 0, 0, 2], 75, [0, 1, 0, 0]),\n",
       " ([256, 64, 16, 4, 16, 4, 8, 2, 4, 0, 0, 0, 4, 0, 0, 0], 75, [0, 0, 0, 1]),\n",
       " ([256, 64, 16, 4, 16, 4, 8, 2, 0, 0, 4, 2, 0, 0, 0, 4], 0, [0, 1, 0, 0]),\n",
       " ([256, 64, 16, 4, 16, 4, 8, 2, 4, 2, 0, 0, 2, 4, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 64, 16, 4, 16, 4, 8, 2, 4, 4, 0, 0, 2, 4, 0, 0], 18, [0, 0, 0, 1]),\n",
       " ([256, 64, 16, 4, 16, 8, 8, 4, 4, 4, 0, 0, 2, 0, 0, 0], 112, [1, 0, 0, 0]),\n",
       " ([256, 64, 16, 4, 0, 16, 16, 4, 0, 0, 0, 8, 0, 0, 0, 4], 1050, [0, 1, 0, 0]),\n",
       " ([256, 64, 32, 8, 0, 16, 0, 8, 0, 2, 0, 4, 0, 0, 0, 0], 3012, [1, 0, 0, 0]),\n",
       " ([256, 64, 32, 8, 0, 16, 2, 8, 0, 0, 2, 4, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([256, 64, 32, 16, 2, 16, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0], 1506, [1, 0, 0, 0]),\n",
       " ([256, 64, 32, 16, 0, 2, 16, 8, 0, 0, 0, 2, 0, 0, 0, 0], 602, [0, 1, 0, 0]),\n",
       " ([256, 64, 32, 16, 0, 2, 16, 8, 0, 0, 0, 4, 0, 0, 0, 0], 301, [0, 1, 0, 0]),\n",
       " ([256, 64, 32, 16, 0, 2, 16, 8, 0, 0, 2, 4, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 64, 32, 16, 0, 2, 16, 8, 0, 0, 4, 4, 0, 0, 0, 0], 150, [0, 1, 0, 0]),\n",
       " ([256, 64, 32, 16, 0, 4, 16, 8, 0, 0, 0, 8, 0, 0, 0, 0], 903, [0, 1, 0, 0]),\n",
       " ([256, 64, 32, 16, 0, 4, 16, 16, 0, 0, 2, 0, 0, 0, 0, 0], 1205, [1, 0, 0, 0]),\n",
       " ([256, 64, 32, 32, 2, 4, 16, 0, 0, 0, 2, 0, 0, 0, 0, 0], 2410, [1, 0, 0, 0]),\n",
       " ([256, 64, 64, 0, 2, 4, 16, 0, 4, 0, 0, 0, 0, 0, 0, 0], 10318, [0, 0, 0, 1]),\n",
       " ([0, 0, 256, 128, 0, 2, 4, 16, 0, 0, 4, 2, 0, 0, 0, 0], 1126, [0, 1, 0, 0]),\n",
       " ([256, 128, 0, 0, 2, 4, 16, 0, 4, 2, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 0, 0, 0, 2, 128, 0, 0, 4, 4, 2, 0, 2, 2, 16, 0], 0, [0, 0, 1, 0]),\n",
       " ([256, 128, 4, 0, 2, 4, 16, 0, 4, 2, 0, 0, 2, 0, 0, 0], 158, [1, 0, 0, 0]),\n",
       " ([256, 128, 4, 0, 2, 4, 16, 0, 4, 2, 0, 0, 4, 0, 0, 0], 158, [0, 0, 0, 1]),\n",
       " ([256, 128, 4, 2, 0, 2, 4, 16, 0, 0, 4, 2, 0, 0, 0, 4], 0, [0, 1, 0, 0]),\n",
       " ([256, 128, 8, 2, 0, 4, 4, 16, 0, 0, 0, 2, 0, 0, 0, 4], 475, [1, 0, 0, 0]),\n",
       " ([256, 128, 8, 2, 0, 0, 8, 16, 0, 0, 0, 4, 0, 0, 0, 4], 951, [0, 1, 0, 0]),\n",
       " ([256, 128, 16, 2, 0, 0, 2, 16, 0, 0, 0, 8, 0, 0, 0, 0], 3813, [1, 0, 0, 0]),\n",
       " ([256, 128, 16, 2, 0, 0, 4, 16, 0, 0, 0, 8, 0, 0, 0, 0], 635, [1, 0, 0, 0]),\n",
       " ([256, 128, 16, 2, 4, 16, 0, 0, 2, 8, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 16, 2, 4, 16, 0, 0, 2, 8, 2, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 16, 2, 4, 16, 4, 0, 2, 8, 0, 0, 0, 0, 0, 0], 158, [1, 0, 0, 0]),\n",
       " ([256, 128, 16, 2, 0, 4, 16, 4, 0, 2, 8, 2, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([256, 128, 32, 2, 0, 4, 8, 4, 0, 4, 0, 2, 0, 0, 0, 0], 1434, [1, 0, 0, 0]),\n",
       " ([256, 128, 32, 2, 2, 8, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 318, [1, 0, 0, 0]),\n",
       " ([256, 128, 32, 2, 4, 8, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0], 159, [1, 0, 0, 0]),\n",
       " ([256, 128, 32, 2, 0, 4, 16, 4, 0, 0, 0, 2, 0, 0, 0, 2], 637, [0, 1, 0, 0]),\n",
       " ([256, 128, 32, 2, 0, 4, 16, 4, 0, 0, 2, 4, 0, 0, 0, 0], 159, [1, 0, 0, 0]),\n",
       " ([256, 128, 32, 2, 2, 4, 16, 4, 2, 4, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 32, 2, 4, 8, 16, 4, 2, 0, 0, 0, 0, 0, 0, 0], 478, [1, 0, 0, 0]),\n",
       " ([256, 128, 32, 2, 4, 8, 16, 4, 2, 0, 0, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 128, 32, 2, 4, 8, 16, 4, 4, 2, 0, 0, 0, 0, 0, 0], 79, [0, 0, 0, 1]),\n",
       " ([256, 128, 32, 2, 8, 8, 16, 4, 0, 2, 2, 0, 0, 0, 0, 0], 159, [1, 0, 0, 0]),\n",
       " ([256, 128, 32, 2, 0, 16, 16, 4, 0, 0, 0, 4, 0, 0, 0, 2], 797, [0, 1, 0, 0]),\n",
       " ([256, 128, 32, 2, 0, 0, 32, 4, 0, 0, 0, 4, 0, 0, 0, 4], 2870, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 2, 0, 0, 2, 8, 0, 0, 0, 4, 0, 0, 0, 0], 11558, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 2, 0, 0, 4, 8, 0, 0, 0, 4, 0, 0, 0, 0], 642, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 2, 0, 2, 4, 8, 0, 0, 0, 4, 0, 0, 0, 0], 0, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 4, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 4, 0, 0, 0, 4, 0, 0, 0], 160, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 4, 0, 0, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 4, 2, 0, 0, 4, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 4, 4, 0, 0, 4, 2, 0, 0], 40, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 8, 0, 0, 0, 4, 4, 0, 0], 240, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 8, 0, 0, 0, 8, 2, 0, 0], 160, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 2, 2, 4, 8, 0, 8, 2, 0, 0, 8, 2, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 4, 2, 4, 8, 0, 16, 4, 0, 0, 0, 0, 0, 0], 963, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 4, 2, 8, 8, 2, 16, 0, 0, 0, 0, 0, 0, 0], 321, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 4, 2, 16, 2, 0, 16, 0, 0, 0, 2, 0, 0, 0], 642, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 4, 0, 2, 16, 2, 0, 0, 16, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 4, 0, 2, 16, 2, 0, 2, 16, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 4, 0, 4, 32, 4, 0, 0, 2, 2, 0, 0, 0, 0], 1605, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 4, 0, 4, 32, 4, 0, 0, 0, 4, 0, 0, 0, 2], 160, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 8, 0, 4, 32, 4, 0, 0, 2, 2, 0, 0, 0, 0], 321, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 8, 2, 4, 32, 4, 0, 0, 0, 4, 0, 0, 0, 0], 160, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 8, 2, 4, 32, 4, 2, 4, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 8, 4, 8, 32, 4, 0, 2, 0, 0, 0, 0, 0, 0], 481, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 8, 4, 8, 32, 4, 2, 2, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 8, 4, 8, 32, 4, 4, 0, 0, 0, 2, 0, 0, 0], 80, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 8, 8, 8, 32, 4, 2, 0, 0, 2, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 8, 0, 16, 32, 4, 0, 0, 2, 4, 0, 0, 0, 0], 802, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 8, 0, 16, 32, 8, 0, 0, 2, 2, 0, 0, 0, 0], 321, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 8, 0, 16, 32, 8, 0, 0, 0, 4, 0, 0, 0, 2], 160, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 4, 0, 0, 0, 2, 0, 0, 0, 0], 642, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 4, 0, 0, 0, 4, 0, 0, 0, 0], 160, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 4, 0, 0, 0, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 4, 4, 0, 0, 0, 4, 0, 0, 0], 80, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 4, 8, 0, 0, 2, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 4, 8, 0, 0, 4, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 8, 8, 0, 2, 0, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 2, 16, 32, 8, 0, 0, 8, 4, 0, 0, 0, 0], 80, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 0, 0, 8, 4, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 8, 4, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 8, 4, 2, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 8, 4, 2, 2, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 8, 4, 4, 2, 2, 0, 0, 0], 10, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 8, 8, 2, 0, 4, 0, 0, 0], 60, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 16, 2, 0, 0, 4, 2, 0, 0], 80, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 16, 2, 0, 0, 4, 4, 0, 0], 20, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 0, 0, 16, 4, 0, 0, 0, 8],\n",
       "  120,\n",
       "  [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 16, 4, 0, 0, 2, 8, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([256, 128, 64, 16, 4, 16, 32, 8, 0, 16, 4, 2, 0, 0, 2, 8], 0, [0, 1, 0, 0]),\n",
       " ([256, 128, 64, 16, 4, 32, 32, 8, 2, 0, 4, 2, 0, 0, 2, 8], 80, [1, 0, 0, 0]),\n",
       " ([256, 128, 64, 16, 0, 4, 64, 8, 0, 2, 4, 2, 0, 0, 4, 8], 341, [0, 1, 0, 0]),\n",
       " ([256, 128, 128, 16, 0, 4, 8, 8, 0, 4, 0, 2, 0, 0, 0, 8], 2847, [1, 0, 0, 0]),\n",
       " ([256, 256, 16, 0, 4, 16, 0, 0, 4, 2, 0, 0, 2, 8, 0, 0], 12000, [0, 0, 0, 1]),\n",
       " ([512, 16, 0, 0, 4, 16, 0, 0, 4, 2, 0, 0, 2, 8, 2, 0], 36310, [0, 0, 0, 1]),\n",
       " ([512, 32, 4, 0, 8, 2, 0, 0, 2, 8, 0, 0, 0, 0, 0, 0], 12584, [1, 0, 0, 0]),\n",
       " ([0, 512, 32, 4, 0, 0, 8, 4, 0, 0, 2, 8, 0, 0, 0, 0], 285, [0, 1, 0, 0]),\n",
       " ([2, 512, 32, 8, 0, 0, 8, 8, 0, 0, 2, 0, 0, 0, 0, 0], 580, [1, 0, 0, 0]),\n",
       " ([4, 512, 32, 16, 0, 0, 8, 0, 0, 0, 2, 0, 0, 0, 0, 0], 2946, [1, 0, 0, 0]),\n",
       " ([4, 512, 32, 16, 0, 0, 8, 2, 0, 0, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([4, 512, 32, 16, 2, 0, 8, 2, 0, 0, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([4, 512, 32, 16, 2, 0, 8, 4, 0, 0, 2, 0, 0, 0, 0, 0], 147, [1, 0, 0, 0]),\n",
       " ([4, 512, 32, 16, 2, 2, 8, 4, 0, 0, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([4, 512, 32, 16, 4, 8, 4, 0, 4, 0, 0, 0, 0, 0, 0, 0], 294, [0, 0, 0, 1]),\n",
       " ([8, 512, 32, 16, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 0, 0], 303, [1, 0, 0, 0]),\n",
       " ([8, 512, 32, 16, 0, 4, 8, 4, 0, 0, 0, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([8, 512, 32, 16, 2, 4, 8, 4, 0, 0, 0, 4, 0, 0, 0, 0], 75, [1, 0, 0, 0]),\n",
       " ([8, 512, 32, 16, 2, 4, 8, 4, 2, 4, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([8, 512, 32, 16, 4, 8, 8, 4, 0, 0, 2, 0, 0, 0, 0, 0], 227, [1, 0, 0, 0]),\n",
       " ([8, 512, 32, 16, 0, 4, 16, 4, 0, 0, 0, 2, 0, 0, 0, 2], 303, [0, 1, 0, 0]),\n",
       " ([8, 512, 32, 16, 2, 4, 16, 4, 2, 0, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([8, 512, 32, 16, 4, 4, 16, 4, 2, 0, 2, 0, 0, 0, 0, 0], 37, [1, 0, 0, 0]),\n",
       " ([8, 512, 32, 16, 8, 16, 4, 0, 4, 2, 0, 0, 0, 0, 0, 0], 227, [0, 0, 0, 1]),\n",
       " ([16, 512, 32, 16, 4, 16, 4, 0, 2, 2, 0, 0, 0, 0, 0, 0], 321, [1, 0, 0, 0]),\n",
       " ([16, 512, 32, 16, 0, 4, 16, 4, 0, 0, 0, 4, 0, 0, 0, 2], 80, [0, 1, 0, 0]),\n",
       " ([16, 512, 32, 16, 2, 4, 16, 8, 0, 0, 0, 2, 0, 0, 0, 0], 160, [1, 0, 0, 0]),\n",
       " ([16, 512, 32, 16, 4, 4, 16, 8, 0, 0, 0, 2, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([16, 512, 32, 16, 0, 8, 16, 8, 0, 0, 0, 2, 0, 0, 0, 2], 160, [0, 1, 0, 0]),\n",
       " ([16, 512, 32, 16, 2, 8, 16, 8, 0, 0, 0, 4, 0, 0, 0, 0], 80, [1, 0, 0, 0]),\n",
       " ([16, 512, 32, 16, 2, 8, 16, 8, 2, 4, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([16, 512, 32, 16, 4, 8, 16, 8, 0, 4, 2, 0, 0, 0, 0, 0], 40, [1, 0, 0, 0]),\n",
       " ([16, 512, 32, 16, 4, 8, 16, 8, 4, 2, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([16, 512, 32, 16, 8, 8, 16, 8, 2, 4, 0, 0, 0, 0, 0, 0], 120, [1, 0, 0, 0]),\n",
       " ([16, 512, 32, 16, 16, 16, 8, 0, 2, 4, 2, 0, 0, 0, 0, 0], 160, [0, 0, 0, 1]),\n",
       " ([32, 512, 32, 16, 4, 16, 8, 0, 0, 4, 2, 0, 0, 0, 0, 0], 801, [1, 0, 0, 0]),\n",
       " ([32, 512, 32, 16, 0, 4, 16, 8, 0, 0, 4, 4, 0, 0, 0, 0], 89, [0, 1, 0, 0]),\n",
       " ([32, 512, 32, 16, 0, 4, 16, 8, 0, 0, 0, 8, 0, 0, 0, 2], 178, [0, 1, 0, 0]),\n",
       " ([32, 512, 32, 16, 2, 4, 16, 16, 0, 0, 0, 2, 0, 0, 0, 0], 356, [1, 0, 0, 0]),\n",
       " ([32, 512, 32, 32, 2, 4, 16, 2, 0, 2, 0, 0, 0, 0, 0, 0], 712, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 0, 2, 4, 16, 2, 4, 0, 0, 0, 0, 0, 0, 0], 3065, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 2, 2, 4, 16, 0, 4, 0, 0, 0, 2, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 2, 0, 2, 4, 16, 0, 0, 4, 2, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([32, 512, 64, 2, 2, 4, 16, 0, 2, 4, 2, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 2, 4, 8, 16, 0, 2, 2, 2, 0, 0, 0, 0, 0], 135, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 2, 4, 8, 16, 0, 4, 4, 0, 0, 0, 0, 0, 0], 180, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 2, 4, 8, 16, 2, 8, 0, 0, 0, 0, 0, 0, 0], 180, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 4, 4, 8, 16, 0, 8, 0, 2, 0, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 4, 4, 8, 16, 0, 8, 2, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 4, 0, 4, 8, 16, 0, 0, 8, 4, 0, 0, 0, 2], 45, [0, 1, 0, 0]),\n",
       " ([32, 512, 64, 4, 4, 8, 16, 0, 2, 8, 4, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 4, 4, 16, 16, 2, 4, 0, 4, 0, 0, 0, 0, 0], 225, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 4, 8, 16, 16, 2, 2, 0, 4, 0, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 4, 8, 32, 2, 0, 4, 4, 0, 0, 0, 0, 0, 0], 811, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 4, 0, 8, 32, 2, 0, 0, 8, 2, 0, 0, 0, 0], 180, [0, 1, 0, 0]),\n",
       " ([32, 512, 64, 4, 0, 8, 32, 4, 0, 2, 8, 0, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 4, 0, 8, 32, 4, 0, 0, 2, 8, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([32, 512, 64, 8, 0, 8, 32, 8, 0, 2, 2, 2, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 8, 2, 8, 32, 8, 4, 2, 0, 0, 0, 0, 0, 0], 45, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 16, 2, 8, 32, 0, 4, 4, 0, 0, 0, 0, 0, 0], 450, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 16, 2, 8, 32, 2, 0, 0, 0, 8, 0, 0, 0, 0], 180, [0, 1, 0, 0]),\n",
       " ([32, 512, 64, 16, 4, 8, 32, 2, 0, 0, 0, 8, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 16, 4, 8, 32, 2, 2, 8, 0, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 16, 4, 8, 32, 2, 2, 8, 2, 0, 0, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 16, 4, 16, 32, 4, 2, 0, 2, 0, 0, 0, 0, 0], 225, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 16, 4, 16, 32, 4, 4, 0, 0, 0, 2, 0, 0, 0], 45, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 16, 8, 16, 32, 4, 2, 0, 0, 2, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 16, 8, 16, 32, 4, 4, 0, 0, 2, 0, 0, 0, 0], 45, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 16, 8, 16, 32, 4, 4, 2, 0, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 16, 8, 16, 32, 4, 4, 4, 0, 0, 2, 0, 0, 0], 22, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 16, 8, 16, 32, 4, 8, 2, 0, 0, 2, 0, 0, 0], 45, [0, 0, 0, 1]),\n",
       " ([32, 512, 64, 16, 16, 16, 32, 4, 2, 2, 0, 2, 0, 0, 0, 0], 90, [1, 0, 0, 0]),\n",
       " ([32, 512, 64, 16, 32, 32, 4, 0, 4, 2, 0, 0, 2, 0, 0, 0], 405, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 16, 4, 32, 4, 2, 2, 2, 0, 0, 0, 0, 0, 0], 862, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 16, 4, 32, 4, 2, 4, 0, 0, 0, 2, 0, 0, 0], 53, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 16, 8, 32, 4, 4, 2, 0, 0, 0, 0, 0, 0, 0], 323, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 16, 0, 8, 32, 8, 0, 0, 0, 2, 0, 0, 0, 2], 215, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 16, 0, 8, 32, 8, 0, 2, 0, 4, 0, 0, 0, 0], 107, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 16, 0, 8, 32, 8, 0, 0, 2, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 16, 0, 8, 32, 8, 0, 0, 4, 4, 0, 0, 0, 2], 53, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 16, 0, 8, 32, 8, 0, 0, 0, 8, 0, 0, 0, 4], 323, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 16, 0, 8, 32, 16, 0, 2, 0, 4, 0, 0, 0, 0], 431, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 16, 0, 8, 32, 16, 0, 0, 2, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 32, 0, 8, 32, 4, 0, 2, 2, 2, 0, 0, 0, 0], 431, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 0, 8, 32, 4, 0, 2, 2, 4, 0, 0, 0, 0], 53, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 2, 8, 32, 8, 0, 2, 2, 0, 0, 0, 0, 0], 107, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 2, 8, 32, 8, 0, 0, 2, 4, 0, 0, 0, 0], 53, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 32, 2, 8, 32, 8, 4, 4, 0, 0, 0, 0, 0, 0], 53, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 32, 2, 8, 32, 8, 4, 4, 0, 2, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 2, 8, 32, 8, 8, 2, 0, 0, 2, 0, 0, 0], 53, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 32, 2, 8, 32, 8, 0, 0, 8, 4, 0, 0, 0, 2], 26, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 32, 4, 8, 32, 8, 0, 0, 8, 4, 0, 0, 0, 2], 26, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 4, 8, 32, 8, 2, 8, 4, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 32, 4, 16, 32, 8, 4, 0, 4, 0, 0, 0, 2, 0], 134, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 8, 16, 32, 8, 0, 2, 4, 0, 0, 0, 2, 0], 53, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 8, 16, 32, 8, 0, 4, 4, 0, 0, 0, 2, 0], 26, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 8, 16, 32, 8, 8, 0, 0, 0, 4, 0, 0, 0], 161, [0, 0, 0, 1]),\n",
       " ([64, 512, 64, 32, 16, 16, 32, 8, 4, 0, 2, 0, 0, 0, 0, 0], 215, [1, 0, 0, 0]),\n",
       " ([64, 512, 64, 32, 0, 32, 32, 8, 0, 0, 4, 2, 0, 0, 0, 2], 431, [0, 1, 0, 0]),\n",
       " ([64, 512, 64, 32, 64, 8, 0, 0, 4, 2, 0, 0, 4, 0, 0, 0], 1831, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 8, 8, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0], 20011, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 8, 8, 0, 2, 0, 4, 0, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 16, 2, 0, 0, 4, 0, 0, 0, 2, 0, 0, 0], 1143, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 0, 0, 16, 4, 0, 0, 0, 4, 0, 0, 0, 2], 285, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 2, 16, 4, 0, 0, 0, 4, 0, 0, 0, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 2, 2, 16, 8, 0, 0, 0, 2, 0, 0, 0, 0], 285, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 4, 16, 8, 0, 0, 0, 2, 0, 0, 0, 2], 142, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 4, 16, 8, 0, 2, 0, 4, 0, 0, 0, 0], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 4, 16, 8, 0, 2, 2, 4, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 2, 4, 16, 8, 4, 4, 0, 0, 0, 0, 0, 0], 71, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 2, 8, 16, 8, 4, 0, 0, 2, 0, 0, 0, 0], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 2, 8, 16, 8, 4, 2, 0, 0, 2, 0, 0, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 2, 8, 16, 8, 4, 4, 0, 0, 2, 0, 0, 0], 35, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 2, 8, 16, 8, 0, 0, 0, 8, 0, 0, 0, 4], 214, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 2, 8, 16, 16, 0, 0, 2, 4, 0, 0, 0, 0], 285, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 2, 8, 32, 0, 2, 4, 0, 0, 2, 0, 0, 0], 571, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 2, 8, 32, 0, 2, 4, 0, 0, 4, 0, 0, 0], 71, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 4, 8, 32, 2, 4, 4, 0, 0, 0, 0, 0, 0], 71, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 8, 8, 32, 2, 0, 4, 2, 0, 0, 0, 0, 0], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 8, 8, 32, 2, 2, 4, 2, 0, 0, 0, 0, 0], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 16, 32, 2, 0, 2, 4, 2, 0, 2, 0, 0, 0], 142, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 16, 32, 2, 0, 2, 4, 4, 0, 2, 0, 0, 0], 35, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 16, 32, 2, 0, 4, 4, 4, 0, 0, 0, 2, 0], 35, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 16, 32, 2, 0, 8, 4, 0, 0, 4, 0, 0, 0], 214, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 0, 16, 32, 2, 0, 0, 8, 4, 0, 0, 4, 2], 0, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 16, 32, 2, 0, 2, 8, 4, 0, 0, 4, 2], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 2, 16, 32, 2, 0, 2, 8, 4, 0, 0, 4, 2], 0, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 2, 0, 2, 8, 4, 0, 0, 4, 2], 8, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 2, 2, 8, 4, 0, 2, 4, 2, 0], 0, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 4, 4, 8, 4, 0, 0, 4, 2, 0], 17, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 4, 4, 8, 4, 0, 4, 4, 0, 0], 8, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 4, 16, 32, 4, 4, 8, 4, 2, 8, 0, 0, 0], 17, [0, 0, 0, 1]),\n",
       " ([128, 512, 64, 32, 8, 16, 32, 4, 8, 8, 4, 2, 0, 2, 0, 0], 17, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 8, 16, 32, 4, 0, 16, 4, 2, 0, 0, 0, 4], 89, [0, 1, 0, 0]),\n",
       " ([128, 512, 64, 32, 8, 32, 32, 4, 0, 2, 4, 2, 0, 0, 0, 4], 142, [1, 0, 0, 0]),\n",
       " ([128, 512, 64, 32, 0, 8, 64, 4, 0, 2, 4, 2, 0, 0, 2, 4], 285, [0, 1, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 8, 4, 4, 0, 2, 2, 2, 0, 0, 0, 4], 580, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 2, 8, 4, 4, 0, 4, 2, 2, 0, 0, 0, 4], 18, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 8, 4, 4, 0, 4, 2, 2, 0, 0, 0, 4], 18, [1, 0, 0, 0]),\n",
       " ([128, 512, 128, 32, 4, 8, 8, 0, 4, 4, 0, 0, 2, 4, 0, 0], 108, [0, 0, 0, 1]),\n",
       " ...]"
      ]
     },
     "execution_count": 7,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "dump"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "name": "stderr",
     "output_type": "stream",
     "text": [
      "Using Theano backend.\n"
     ]
    }
   ],
   "source": [
    "import os\n",
    "os.environ['KERAS_BACKEND'] = 'theano'\n",
    "\n",
    "from keras.models import Sequential\n",
    "from keras.layers import Dense, Activation\n",
    "from keras.utils import np_utils\n",
    "\n",
    "import numpy\n",
    "import pandas as pd\n",
    "import theano"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [],
   "source": [
    "model = Sequential()\n",
    "\n",
    "model.add(Dense(100, input_dim=16, activation='relu'))\n",
    "model.add(Dense(100, activation='relu'))\n",
    "# model.add(Dense(50, activation='relu'))\n",
    "model.add(Dense(10, activation='relu'))\n",
    "model.add(Dense(4, activation='softmax'))\n",
    "\n",
    "model.compile(loss='categorical_crossentropy', optimizer='adam', metrics=['accuracy'])"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "_________________________________________________________________\n",
      "Layer (type)                 Output Shape              Param #   \n",
      "=================================================================\n",
      "dense_1 (Dense)              (None, 100)               1700      \n",
      "_________________________________________________________________\n",
      "dense_2 (Dense)              (None, 100)               10100     \n",
      "_________________________________________________________________\n",
      "dense_3 (Dense)              (None, 10)                1010      \n",
      "_________________________________________________________________\n",
      "dense_4 (Dense)              (None, 4)                 44        \n",
      "=================================================================\n",
      "Total params: 12,854\n",
      "Trainable params: 12,854\n",
      "Non-trainable params: 0\n",
      "_________________________________________________________________\n"
     ]
    }
   ],
   "source": [
    "model.summary()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [],
   "source": [
    "def get_vectors(dump):\n",
    "    d = np.array(dump)\n",
    "    l=d[:,0]\n",
    "    x=list(l)\n",
    "    x = np.array(x)\n",
    "    p = d[:,2]\n",
    "    y = list(p)\n",
    "    y = np.array(y)\n",
    "    return x, y"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [],
   "source": [
    "x, y = get_vectors(dump)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Epoch 1/200\n",
      "12740/12740 [==============================] - 0s 28us/step - loss: 1.9887 - acc: 0.4560\n",
      "Epoch 2/200\n",
      "12740/12740 [==============================] - 0s 29us/step - loss: 1.2059 - acc: 0.4834\n",
      "Epoch 3/200\n",
      "12740/12740 [==============================] - 1s 40us/step - loss: 1.1577 - acc: 0.4834\n",
      "Epoch 4/200\n",
      "12740/12740 [==============================] - 0s 38us/step - loss: 1.1333 - acc: 0.4834\n",
      "Epoch 5/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.1236 - acc: 0.4837\n",
      "Epoch 6/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.1152 - acc: 0.4837\n",
      "Epoch 7/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.1092 - acc: 0.4837\n",
      "Epoch 8/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 1.1136 - acc: 0.4842\n",
      "Epoch 9/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 1.1018 - acc: 0.4841\n",
      "Epoch 10/200\n",
      "12740/12740 [==============================] - 0s 36us/step - loss: 1.0997 - acc: 0.4842\n",
      "Epoch 11/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0991 - acc: 0.4843\n",
      "Epoch 12/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0953 - acc: 0.4840\n",
      "Epoch 13/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0936 - acc: 0.4841\n",
      "Epoch 14/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0957 - acc: 0.4840\n",
      "Epoch 15/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0935 - acc: 0.4842\n",
      "Epoch 16/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0982 - acc: 0.4841\n",
      "Epoch 17/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 1.0954 - acc: 0.4850\n",
      "Epoch 18/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0892 - acc: 0.4861\n",
      "Epoch 19/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0888 - acc: 0.4863\n",
      "Epoch 20/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0886 - acc: 0.4861\n",
      "Epoch 21/200\n",
      "12740/12740 [==============================] - 0s 37us/step - loss: 1.0883 - acc: 0.4861\n",
      "Epoch 22/200\n",
      "12740/12740 [==============================] - 1s 41us/step - loss: 1.0879 - acc: 0.4863\n",
      "Epoch 23/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0879 - acc: 0.4861\n",
      "Epoch 24/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0884 - acc: 0.4862\n",
      "Epoch 25/200\n",
      "12740/12740 [==============================] - 0s 36us/step - loss: 1.0878 - acc: 0.4863\n",
      "Epoch 26/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0871 - acc: 0.4863\n",
      "Epoch 27/200\n",
      "12740/12740 [==============================] - 0s 37us/step - loss: 1.0872 - acc: 0.4863\n",
      "Epoch 28/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0863 - acc: 0.4867\n",
      "Epoch 29/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0864 - acc: 0.4862\n",
      "Epoch 30/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0877 - acc: 0.4863\n",
      "Epoch 31/200\n",
      "12740/12740 [==============================] - 0s 38us/step - loss: 1.0864 - acc: 0.4865\n",
      "Epoch 32/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0861 - acc: 0.4871\n",
      "Epoch 33/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0856 - acc: 0.4867\n",
      "Epoch 34/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0950 - acc: 0.4869\n",
      "Epoch 35/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0930 - acc: 0.4870\n",
      "Epoch 36/200\n",
      "12740/12740 [==============================] - 1s 39us/step - loss: 1.0951 - acc: 0.4871\n",
      "Epoch 37/200\n",
      "12740/12740 [==============================] - 1s 40us/step - loss: 1.0919 - acc: 0.4885\n",
      "Epoch 38/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0986 - acc: 0.4874\n",
      "Epoch 39/200\n",
      "12740/12740 [==============================] - 0s 38us/step - loss: 1.0924 - acc: 0.4876\n",
      "Epoch 40/200\n",
      "12740/12740 [==============================] - 0s 36us/step - loss: 1.0910 - acc: 0.4884\n",
      "Epoch 41/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0899 - acc: 0.4888\n",
      "Epoch 42/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0916 - acc: 0.4881\n",
      "Epoch 43/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0913 - acc: 0.4886\n",
      "Epoch 44/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0895 - acc: 0.4891\n",
      "Epoch 45/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0879 - acc: 0.4892\n",
      "Epoch 46/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0874 - acc: 0.4898\n",
      "Epoch 47/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.1076 - acc: 0.4874\n",
      "Epoch 48/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0888 - acc: 0.4876\n",
      "Epoch 49/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0856 - acc: 0.4878\n",
      "Epoch 50/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0873 - acc: 0.4887\n",
      "Epoch 51/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0917 - acc: 0.4887\n",
      "Epoch 52/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0844 - acc: 0.4890\n",
      "Epoch 53/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0812 - acc: 0.4890\n",
      "Epoch 54/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0791 - acc: 0.4895\n",
      "Epoch 55/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0768 - acc: 0.4899\n",
      "Epoch 56/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0765 - acc: 0.4911\n",
      "Epoch 57/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0748 - acc: 0.4914\n",
      "Epoch 58/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0748 - acc: 0.4915\n",
      "Epoch 59/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0735 - acc: 0.4927\n",
      "Epoch 60/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0759 - acc: 0.4924\n",
      "Epoch 61/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0717 - acc: 0.4929\n",
      "Epoch 62/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0694 - acc: 0.4939\n",
      "Epoch 63/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0693 - acc: 0.4932\n",
      "Epoch 64/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 1.0796 - acc: 0.4910\n",
      "Epoch 65/200\n",
      "12740/12740 [==============================] - 0s 38us/step - loss: 1.0752 - acc: 0.4905\n",
      "Epoch 66/200\n",
      "12740/12740 [==============================] - 0s 36us/step - loss: 1.0766 - acc: 0.4904\n",
      "Epoch 67/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0745 - acc: 0.4914\n",
      "Epoch 68/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0743 - acc: 0.4909\n",
      "Epoch 69/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0730 - acc: 0.4911\n",
      "Epoch 70/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0723 - acc: 0.4911\n",
      "Epoch 71/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0685 - acc: 0.4921\n",
      "Epoch 72/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0703 - acc: 0.4926\n",
      "Epoch 73/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0686 - acc: 0.4940\n",
      "Epoch 74/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0795 - acc: 0.4933\n",
      "Epoch 75/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0664 - acc: 0.4947\n",
      "Epoch 76/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0629 - acc: 0.4981\n",
      "Epoch 77/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0721 - acc: 0.4943\n",
      "Epoch 78/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0654 - acc: 0.4954\n",
      "Epoch 79/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0624 - acc: 0.4959\n",
      "Epoch 80/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0661 - acc: 0.4960\n",
      "Epoch 81/200\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0616 - acc: 0.4988\n",
      "Epoch 82/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0637 - acc: 0.4938\n",
      "Epoch 83/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0664 - acc: 0.4935\n",
      "Epoch 84/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0674 - acc: 0.4931\n",
      "Epoch 85/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0672 - acc: 0.4944\n",
      "Epoch 86/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 1.0650 - acc: 0.4958\n",
      "Epoch 87/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0720 - acc: 0.4967\n",
      "Epoch 88/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0594 - acc: 0.4956\n",
      "Epoch 89/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0510 - acc: 0.4978\n",
      "Epoch 90/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0535 - acc: 0.4990\n",
      "Epoch 91/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0619 - acc: 0.4966\n",
      "Epoch 92/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0389 - acc: 0.5035\n",
      "Epoch 93/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 1.0454 - acc: 0.5065\n",
      "Epoch 94/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 1.0260 - acc: 0.5145\n",
      "Epoch 95/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 1.0488 - acc: 0.5030\n",
      "Epoch 96/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 1.0535 - acc: 0.5068\n",
      "Epoch 97/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0546 - acc: 0.4995\n",
      "Epoch 98/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0445 - acc: 0.5019\n",
      "Epoch 99/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 1.0331 - acc: 0.5135\n",
      "Epoch 100/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.9761 - acc: 0.5374\n",
      "Epoch 101/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.8784 - acc: 0.6002\n",
      "Epoch 102/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.9212 - acc: 0.5641\n",
      "Epoch 103/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.9623 - acc: 0.5447\n",
      "Epoch 104/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.9979 - acc: 0.5370\n",
      "Epoch 105/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 1.0193 - acc: 0.5155\n",
      "Epoch 106/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.8492 - acc: 0.6139\n",
      "Epoch 107/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 0.7921 - acc: 0.6322\n",
      "Epoch 108/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 0.7316 - acc: 0.6741\n",
      "Epoch 109/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 0.9187 - acc: 0.5938\n",
      "Epoch 110/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 1.0324 - acc: 0.5138\n",
      "Epoch 111/200\n",
      "12740/12740 [==============================] - 0s 34us/step - loss: 0.8503 - acc: 0.5940\n",
      "Epoch 112/200\n",
      "12740/12740 [==============================] - 0s 35us/step - loss: 0.7202 - acc: 0.6750: 0s - loss: 0.7378 - acc: 0.\n",
      "Epoch 113/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 0.7068 - acc: 0.6827\n",
      "Epoch 114/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.9332 - acc: 0.5552\n",
      "Epoch 115/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.9828 - acc: 0.5462\n",
      "Epoch 116/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 0.7874 - acc: 0.6549\n",
      "Epoch 117/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.7231 - acc: 0.6827\n",
      "Epoch 118/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.7876 - acc: 0.6552\n",
      "Epoch 119/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.9360 - acc: 0.5797\n",
      "Epoch 120/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.9252 - acc: 0.5783\n",
      "Epoch 121/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.7778 - acc: 0.6400\n",
      "Epoch 122/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6860 - acc: 0.6981\n",
      "Epoch 123/200\n",
      "12740/12740 [==============================] - 0s 33us/step - loss: 0.6708 - acc: 0.7130\n",
      "Epoch 124/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7736 - acc: 0.6717\n",
      "Epoch 125/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7883 - acc: 0.6597\n",
      "Epoch 126/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6671 - acc: 0.7199\n",
      "Epoch 127/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.9375 - acc: 0.5761\n",
      "Epoch 128/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.8503 - acc: 0.6347\n",
      "Epoch 129/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7281 - acc: 0.6871\n",
      "Epoch 130/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7229 - acc: 0.6899\n",
      "Epoch 131/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.8450 - acc: 0.6279\n",
      "Epoch 132/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7508 - acc: 0.6636\n",
      "Epoch 133/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7708 - acc: 0.6614\n",
      "Epoch 134/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.7210 - acc: 0.6973\n",
      "Epoch 135/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6544 - acc: 0.7362\n",
      "Epoch 136/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.7601 - acc: 0.6574\n",
      "Epoch 137/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7309 - acc: 0.6864\n",
      "Epoch 138/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6783 - acc: 0.7140\n",
      "Epoch 139/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6189 - acc: 0.7364\n",
      "Epoch 140/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6088 - acc: 0.7389\n",
      "Epoch 141/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6907 - acc: 0.6995\n",
      "Epoch 142/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6324 - acc: 0.7357\n",
      "Epoch 143/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.7238 - acc: 0.6617\n",
      "Epoch 144/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6718 - acc: 0.7089\n",
      "Epoch 145/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6285 - acc: 0.7381\n",
      "Epoch 146/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6137 - acc: 0.7411\n",
      "Epoch 147/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6114 - acc: 0.7416\n",
      "Epoch 148/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5897 - acc: 0.7543\n",
      "Epoch 149/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6782 - acc: 0.6928\n",
      "Epoch 150/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6842 - acc: 0.6752\n",
      "Epoch 151/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6271 - acc: 0.7229\n",
      "Epoch 152/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5815 - acc: 0.7532\n",
      "Epoch 153/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5753 - acc: 0.7543\n",
      "Epoch 154/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5710 - acc: 0.7581\n",
      "Epoch 155/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6909 - acc: 0.6760\n",
      "Epoch 156/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6601 - acc: 0.6768\n",
      "Epoch 157/200\n",
      "12740/12740 [==============================] - 0s 29us/step - loss: 0.6476 - acc: 0.7116\n",
      "Epoch 158/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6815 - acc: 0.6889\n",
      "Epoch 159/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6437 - acc: 0.7291\n",
      "Epoch 160/200\n"
     ]
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6381 - acc: 0.7268\n",
      "Epoch 161/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6170 - acc: 0.7322\n",
      "Epoch 162/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5823 - acc: 0.7506\n",
      "Epoch 163/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5649 - acc: 0.7653\n",
      "Epoch 164/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5688 - acc: 0.7641\n",
      "Epoch 165/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5560 - acc: 0.7662\n",
      "Epoch 166/200\n",
      "12740/12740 [==============================] - 0s 29us/step - loss: 0.5460 - acc: 0.7711\n",
      "Epoch 167/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5427 - acc: 0.7711\n",
      "Epoch 168/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5472 - acc: 0.7709\n",
      "Epoch 169/200\n",
      "12740/12740 [==============================] - 0s 29us/step - loss: 0.5546 - acc: 0.7743\n",
      "Epoch 170/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6619 - acc: 0.6801\n",
      "Epoch 171/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.6123 - acc: 0.7210\n",
      "Epoch 172/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5747 - acc: 0.7572\n",
      "Epoch 173/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5472 - acc: 0.7703\n",
      "Epoch 174/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5488 - acc: 0.7687\n",
      "Epoch 175/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5282 - acc: 0.7769\n",
      "Epoch 176/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5261 - acc: 0.7794\n",
      "Epoch 177/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5374 - acc: 0.7772\n",
      "Epoch 178/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5060 - acc: 0.7859\n",
      "Epoch 179/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5783 - acc: 0.7337\n",
      "Epoch 180/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5924 - acc: 0.7234\n",
      "Epoch 181/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5342 - acc: 0.7735\n",
      "Epoch 182/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5134 - acc: 0.7819\n",
      "Epoch 183/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5153 - acc: 0.7840\n",
      "Epoch 184/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5366 - acc: 0.7668\n",
      "Epoch 185/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5260 - acc: 0.7741\n",
      "Epoch 186/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5019 - acc: 0.7848\n",
      "Epoch 187/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.4947 - acc: 0.7873\n",
      "Epoch 188/200\n",
      "12740/12740 [==============================] - 0s 32us/step - loss: 0.5329 - acc: 0.7700\n",
      "Epoch 189/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5111 - acc: 0.7878\n",
      "Epoch 190/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5118 - acc: 0.7852\n",
      "Epoch 191/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.6183 - acc: 0.7210\n",
      "Epoch 192/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5278 - acc: 0.7753\n",
      "Epoch 193/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.4998 - acc: 0.7875\n",
      "Epoch 194/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.4900 - acc: 0.7885\n",
      "Epoch 195/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.4821 - acc: 0.7959\n",
      "Epoch 196/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.5124 - acc: 0.7801\n",
      "Epoch 197/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.4979 - acc: 0.7892\n",
      "Epoch 198/200\n",
      "12740/12740 [==============================] - 0s 30us/step - loss: 0.4793 - acc: 0.7967\n",
      "Epoch 199/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.5689 - acc: 0.7400\n",
      "Epoch 200/200\n",
      "12740/12740 [==============================] - 0s 31us/step - loss: 0.4991 - acc: 0.7838\n"
     ]
    },
    {
     "data": {
      "text/plain": [
       "<keras.callbacks.History at 0x119221358>"
      ]
     },
     "execution_count": 12,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "model.fit(x, y, epochs=200)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {},
   "outputs": [],
   "source": [
    "# y_dash = model.predict(x.reshape(len(x),16))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [],
   "source": [
    "# import keras.utils"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {},
   "outputs": [],
   "source": [
    "# y_dash"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [],
   "source": [
    "# np.argmax(y_dash, axis=1)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {},
   "outputs": [],
   "source": [
    "env = gym.make('2048-v0')\n",
    "env.reset()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "\n",
      "Iteration :  0\n",
      "[[  4   8  16   2]\n",
      " [  2   4   2  16]\n",
      " [  4   8  32 128]\n",
      " [  2   4   8  32]]\n",
      "\n",
      "Iteration :  1\n",
      "[[  2   4   8   2]\n",
      " [  4   8  16   4]\n",
      " [  8  16  64  16]\n",
      " [ 32  64 128  32]]\n",
      "\n",
      "Iteration :  2\n",
      "[[  4   2  16 128]\n",
      " [  2   4   8  32]\n",
      " [  4   8  64 128]\n",
      " [  2   4  16  64]]\n",
      "\n",
      "Iteration :  3\n",
      "[[ 4  2  8 16]\n",
      " [ 2  4 16 32]\n",
      " [ 4 16  2  4]\n",
      " [ 8  2  4 16]]\n",
      "\n",
      "Iteration :  4\n",
      "[[ 4  2  4  2]\n",
      " [ 8  4  2  4]\n",
      " [16  8  4  8]\n",
      " [64 32 16  4]]\n",
      "\n",
      "Iteration :  5\n",
      "[[ 2  8  4  2]\n",
      " [ 4  2  8  4]\n",
      " [ 8 32  4  8]\n",
      " [ 2  8 32 16]]\n",
      "\n",
      "Iteration :  6\n",
      "[[ 4  2  4 16]\n",
      " [ 2  4 16  4]\n",
      " [ 4 16  2 16]\n",
      " [ 2  4 16 64]]\n",
      "\n",
      "Iteration :  7\n",
      "[[ 4  8 16  2]\n",
      " [ 8 16 32 64]\n",
      " [ 4 32 64 16]\n",
      " [ 2  8 16 32]]\n",
      "\n",
      "Iteration :  8\n",
      "[[  2   4   8   4]\n",
      " [  8  16  32   8]\n",
      " [ 32 128   4  16]\n",
      " [  2  64   8   4]]\n",
      "\n",
      "Iteration :  9\n",
      "[[  2   4   8  64]\n",
      " [  4   8  16   4]\n",
      " [  8  16  32 128]\n",
      " [  2   4  16  32]]\n"
     ]
    }
   ],
   "source": [
    "counter = 0\n",
    "\n",
    "explore_rate = 0.05\n",
    "\n",
    "for iteration in range(10):\n",
    "\n",
    "    env.reset()\n",
    "\n",
    "    action = env.action_space.sample()\n",
    "    observation, reward, done, _ = env.step(action + 1)\n",
    "\n",
    "\n",
    "    while True:\n",
    "#         env.render()\n",
    "\n",
    "        counter += 1\n",
    "\n",
    "        rand_action = env.action_space.sample()\n",
    "\n",
    "        max_action = np.argmax(model.predict(np.ravel(np.array(list(observation))).reshape(1,16)), axis=1)[0]\n",
    "\n",
    "        action = int(np.random.choice([rand_action, max_action], 1, p=[explore_rate, 1 - explore_rate]))\n",
    "\n",
    "#         print(\"\\nAction\",action)\n",
    "\n",
    "        observation, reward, done, _ = env.step(action + 1)\n",
    "\n",
    "        if done:\n",
    "            print(\"\\nIteration : \", iteration)\n",
    "            print(observation)\n",
    "            break"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.0"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}