diff --git a/ipynb/Coin Flip.ipynb b/ipynb/Coin Flip.ipynb
index afae6da..75fb803 100644
--- a/ipynb/Coin Flip.ipynb	
+++ b/ipynb/Coin Flip.ipynb	
@@ -132,7 +132,33 @@
    "cell_type": "code",
    "execution_count": 3,
    "metadata": {},
-   "outputs": [],
+   "outputs": [
+    {
+     "data": {
+      "text/plain": [
+       "(set(),\n",
+       " {0},\n",
+       " {1},\n",
+       " {2},\n",
+       " {3},\n",
+       " {0, 1},\n",
+       " {0, 2},\n",
+       " {0, 3},\n",
+       " {1, 2},\n",
+       " {1, 3},\n",
+       " {2, 3},\n",
+       " {0, 1, 2},\n",
+       " {0, 1, 3},\n",
+       " {0, 2, 3},\n",
+       " {1, 2, 3},\n",
+       " {0, 1, 2, 3})"
+      ]
+     },
+     "execution_count": 3,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
    "source": [
     "all_moves()"
    ]
@@ -141,7 +167,33 @@
    "cell_type": "code",
    "execution_count": 4,
    "metadata": {},
-   "outputs": [],
+   "outputs": [
+    {
+     "data": {
+      "text/plain": [
+       "frozenset({'HHHH',\n",
+       "           'HHHT',\n",
+       "           'HHTH',\n",
+       "           'HHTT',\n",
+       "           'HTHH',\n",
+       "           'HTHT',\n",
+       "           'HTTH',\n",
+       "           'HTTT',\n",
+       "           'THHH',\n",
+       "           'THHT',\n",
+       "           'THTH',\n",
+       "           'THTT',\n",
+       "           'TTHH',\n",
+       "           'TTHT',\n",
+       "           'TTTH',\n",
+       "           'TTTT'})"
+      ]
+     },
+     "execution_count": 4,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
    "source": [
     "all_coins()"
    ]
@@ -370,7 +422,7 @@
     }
    ],
    "source": [
-    "def probably_wins(strategy, k=1000) -> bool:\n",
+    "def probably_wins(strategy, k=100) -> bool:\n",
     "    \"Is this a winning strategy? A probabilistic algorithm.\"\n",
     "    return all('T' not in play(strategy, coins)\n",
     "               for coins in all_coins() \n",
@@ -740,8 +792,8 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "CPU times: user 1min 13s, sys: 208 ms, total: 1min 13s\n",
-      "Wall time: 1min 13s\n"
+      "CPU times: user 1min 11s, sys: 146 ms, total: 1min 11s\n",
+      "Wall time: 1min 11s\n"
      ]
     }
    ],
@@ -766,7 +818,7 @@
     }
    ],
    "source": [
-    "probably_wins(strategy8, N=8, k=100)"
+    "probably_wins(strategy8, N=8)"
    ]
   },
   {
@@ -926,16 +978,18 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "   1: HHTH | rot: THHH | flip: 0123 HTTT\n",
-      "   2: HTTT | rot: HTTT | flip: 0 2  HTTT\n",
+      "   1: HHTH | rot: HTHH | flip: 0123 HTTT\n",
+      "   2: HTTT | rot: TTHT | flip: 0 2  HTTT\n",
       "   3: HTTT | rot: THTT | flip: 0123 HHHT\n",
       "   4: HHHT | rot: HHTH | flip: 01   HTTT\n",
-      "   5: HTTT | rot: HTTT | flip: 0123 HHHT\n",
-      "   6: HHHT | rot: HHHT | flip: 0 2  HTTT\n",
-      "   7: HTTT | rot: HTTT | flip: 0123 HHHT\n",
-      "   8: HHHT | rot: HTHH | flip: 012  HTHT\n",
-      "   9: HTHT | rot: THTH | flip: 0123 HTHT\n",
-      "  10: HTHT | rot: THTH | flip: 0 2  HHHH\n"
+      "   5: HTTT | rot: TTHT | flip: 0123 HHHT\n",
+      "   6: HHHT | rot: HTHH | flip: 0 2  HTTT\n",
+      "   7: HTTT | rot: TTHT | flip: 0123 HHHT\n",
+      "   8: HHHT | rot: THHH | flip: 012  HHTT\n",
+      "   9: HHTT | rot: HTTH | flip: 0123 HHTT\n",
+      "  10: HHTT | rot: TTHH | flip: 0 2  HHTT\n",
+      "  11: HHTT | rot: HHTT | flip: 0123 HHTT\n",
+      "  12: HHTT | rot: TTHH | flip: 01   HHHH\n"
      ]
     },
     {
@@ -976,259 +1030,241 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "   1: HTTHTTHT | rot: THTTHTHT | flip: 01234567 HHTHHTHT\n",
+      "   1: HTTHTTHT | rot: HTTHTTHT | flip: 01234567 HHTHHTHT\n",
       "   2: HHTHHTHT | rot: THHTHHTH | flip: 0 2 4 6  HHHHHTTT\n",
       "   3: HHHHHTTT | rot: TTTHHHHH | flip: 01234567 HHHTTTTT\n",
-      "   4: HHHTTTTT | rot: HHHTTTTT | flip: 01  45   HHTTTTHT\n",
-      "   5: HHTTTTHT | rot: HTHHTTTT | flip: 01234567 HHHHTHTT\n",
-      "   6: HHHHTHTT | rot: THTTHHHH | flip: 0 2 4 6  HHHHTTHT\n",
-      "   7: HHHHTTHT | rot: HHTTHTHH | flip: 01234567 HHTHTTTT\n",
-      "   8: HHTHTTTT | rot: THHTHTTT | flip: 012 456  HHTHTTTT\n",
-      "   9: HHTHTTTT | rot: THHTHTTT | flip: 01234567 HHHHTTHT\n",
-      "  10: HHHHTTHT | rot: THTHHHHT | flip: 0 2 4 6  HHHHTHTT\n",
-      "  11: HHHHTHTT | rot: THTTHHHH | flip: 01234567 HHTTTTHT\n",
-      "  12: HHTTTTHT | rot: THHTTTTH | flip: 01  45   HHTHHTHT\n",
-      "  13: HHTHHTHT | rot: HTHHTHTH | flip: 01234567 HTHTTHTT\n",
-      "  14: HTHTTHTT | rot: THTTHTHT | flip: 0 2 4 6  HHHTTTTT\n",
-      "  15: HHHTTTTT | rot: HTTTTTHH | flip: 01234567 HHHHHTTT\n",
-      "  16: HHHHHTTT | rot: HHTTTHHH | flip: 0123     HHHTTHHT\n",
-      "  17: HHHTTHHT | rot: THHHTTHH | flip: 01234567 HHTTHTTT\n",
-      "  18: HHTTHTTT | rot: THHTTHTT | flip: 0 2 4 6  HHHTHHTT\n",
-      "  19: HHHTHHTT | rot: THHTTHHH | flip: 01234567 HHTTTHTT\n",
-      "  20: HHTTTHTT | rot: THTTHHTT | flip: 01  45   HTTTTTTT\n",
-      "  21: HTTTTTTT | rot: TTTTTTTH | flip: 01234567 HHHHHHHT\n",
-      "  22: HHHHHHHT | rot: HHHHHTHH | flip: 0 2 4 6  HTHTHTTT\n",
-      "  23: HTHTHTTT | rot: THTHTTTH | flip: 01234567 HHHTHTHT\n",
-      "  24: HHHTHTHT | rot: HTHHHTHT | flip: 012 456  HTHTHTTT\n",
-      "  25: HTHTHTTT | rot: HTHTTTHT | flip: 01234567 HHHTHTHT\n",
-      "  26: HHHTHTHT | rot: THTHHHTH | flip: 0 2 4 6  HHHHHHHT\n",
-      "  27: HHHHHHHT | rot: HHHHHHHT | flip: 01234567 HTTTTTTT\n",
-      "  28: HTTTTTTT | rot: TTTTHTTT | flip: 01  45   HHTTTHTT\n",
-      "  29: HHTTTHTT | rot: HTTHHTTT | flip: 01234567 HHHTHHTT\n",
-      "  30: HHHTHHTT | rot: THHHTHHT | flip: 0 2 4 6  HHHTTHHT\n",
-      "  31: HHHTTHHT | rot: HTHHHTTH | flip: 01234567 HHTTHTTT\n",
-      "  32: HHTTHTTT | rot: HHTTHTTT | flip: 01234 6  HHTTHTTT\n",
-      "  33: HHTTHTTT | rot: TTHHTTHT | flip: 01234567 HHHTTHHT\n",
-      "  34: HHHTTHHT | rot: THHHTTHH | flip: 0 2 4 6  HHHTHHTT\n",
-      "  35: HHHTHHTT | rot: THHTTHHH | flip: 01234567 HHTTTHTT\n",
-      "  36: HHTTTHTT | rot: THTTHHTT | flip: 01  45   HTTTTTTT\n",
-      "  37: HTTTTTTT | rot: HTTTTTTT | flip: 01234567 HHHHHHHT\n",
-      "  38: HHHHHHHT | rot: HHHHHTHH | flip: 0 2 4 6  HTHTHTTT\n",
-      "  39: HTHTHTTT | rot: THTHTTTH | flip: 01234567 HHHTHTHT\n",
-      "  40: HHHTHTHT | rot: HHHTHTHT | flip: 012 456  HTTTTTTT\n",
-      "  41: HTTTTTTT | rot: TTTHTTTT | flip: 01234567 HHHHHHHT\n",
-      "  42: HHHHHHHT | rot: THHHHHHH | flip: 0 2 4 6  HHHTHTHT\n",
-      "  43: HHHTHTHT | rot: HTHTHTHH | flip: 01234567 HTHTHTTT\n",
-      "  44: HTHTHTTT | rot: TTHTHTHT | flip: 01  45   HHHTTHHT\n",
-      "  45: HHHTTHHT | rot: HHTHHHTT | flip: 01234567 HHTTHTTT\n",
-      "  46: HHTTHTTT | rot: TTHTTTHH | flip: 0 2 4 6  HHTTTHTT\n",
-      "  47: HHTTTHTT | rot: HHTTTHTT | flip: 01234567 HHHTHHTT\n",
-      "  48: HHHTHHTT | rot: HHHTHHTT | flip: 0123     HHHTTTTT\n",
-      "  49: HHHTTTTT | rot: TTTHHHTT | flip: 01234567 HHHHHTTT\n",
-      "  50: HHHHHTTT | rot: TTHHHHHT | flip: 0 2 4 6  HTHTTHTT\n",
-      "  51: HTHTTHTT | rot: HTTHTTHT | flip: 01234567 HHTHHTHT\n",
-      "  52: HHTHHTHT | rot: THTHHTHH | flip: 01  45   HHHHTTHT\n",
-      "  53: HHHHTTHT | rot: HHHHTTHT | flip: 01234567 HHTHTTTT\n",
-      "  54: HHTHTTTT | rot: TTTTHHTH | flip: 0 2 4 6  HHHHTHTT\n",
-      "  55: HHHHTHTT | rot: THTTHHHH | flip: 01234567 HHTTTTHT\n",
-      "  56: HHTTTTHT | rot: THTHHTTT | flip: 012 456  HHTHHTHT\n",
-      "  57: HHTHHTHT | rot: HTHHTHTH | flip: 01234567 HTHTTHTT\n",
-      "  58: HTHTTHTT | rot: HTTHTHTT | flip: 0 2 4 6  HHHHHTTT\n",
-      "  59: HHHHHTTT | rot: HHTTTHHH | flip: 01234567 HHHTTTTT\n",
-      "  60: HHHTTTTT | rot: TTTHHHTT | flip: 01  45   HHTHTTTT\n",
-      "  61: HHTHTTTT | rot: THTTTTHH | flip: 01234567 HHHHTTHT\n",
-      "  62: HHHHTTHT | rot: TTHTHHHH | flip: 0 2 4 6  HHTTTTHT\n",
-      "  63: HHTTTTHT | rot: HTHHTTTT | flip: 01234567 HHHHTHTT\n",
-      "  64: HHHHTHTT | rot: THTTHHHH | flip: 012345   HHHTHHTT\n",
-      "  65: HHHTHHTT | rot: HHTTHHHT | flip: 01234567 HHTTTHTT\n",
-      "  66: HHTTTHTT | rot: THHTTTHT | flip: 0 2 4 6  HHTTHTTT\n",
-      "  67: HHTTHTTT | rot: HHTTHTTT | flip: 01234567 HHHTTHHT\n",
-      "  68: HHHTTHHT | rot: HHHTTHHT | flip: 01  45   HTHTHTTT\n",
-      "  69: HTHTHTTT | rot: HTTTHTHT | flip: 01234567 HHHTHTHT\n",
-      "  70: HHHTHTHT | rot: THTHTHHH | flip: 0 2 4 6  HHHHHHHT\n",
-      "  71: HHHHHHHT | rot: HHHTHHHH | flip: 01234567 HTTTTTTT\n",
-      "  72: HTTTTTTT | rot: TTTHTTTT | flip: 012 456  HHHHHHHT\n",
-      "  73: HHHHHHHT | rot: HHHHTHHH | flip: 01234567 HTTTTTTT\n",
-      "  74: HTTTTTTT | rot: TTTTTHTT | flip: 0 2 4 6  HHHTHTHT\n",
-      "  75: HHHTHTHT | rot: THHHTHTH | flip: 01234567 HTHTHTTT\n",
-      "  76: HTHTHTTT | rot: THTHTTTH | flip: 01  45   HHHTHHTT\n",
-      "  77: HHHTHHTT | rot: HHTTHHHT | flip: 01234567 HHTTTHTT\n",
-      "  78: HHTTTHTT | rot: THTTHHTT | flip: 0 2 4 6  HHHTTHHT\n",
-      "  79: HHHTTHHT | rot: THHHTTHH | flip: 01234567 HHTTHTTT\n",
-      "  80: HHTTHTTT | rot: THTTTHHT | flip: 0123     HHTHHTHT\n",
-      "  81: HHTHHTHT | rot: HHTHTHHT | flip: 01234567 HTHTTHTT\n",
-      "  82: HTHTTHTT | rot: THTTHTTH | flip: 0 2 4 6  HHHHHTTT\n",
-      "  83: HHHHHTTT | rot: TTHHHHHT | flip: 01234567 HHHTTTTT\n",
-      "  84: HHHTTTTT | rot: HHHTTTTT | flip: 01  45   HHTTTTHT\n",
-      "  85: HHTTTTHT | rot: HHTTTTHT | flip: 01234567 HHHHTHTT\n",
-      "  86: HHHHTHTT | rot: HHTHTTHH | flip: 0 2 4 6  HHHHTTHT\n",
-      "  87: HHHHTTHT | rot: HHTTHTHH | flip: 01234567 HHTHTTTT\n",
-      "  88: HHTHTTTT | rot: HHTHTTTT | flip: 012 456  HHHHHTTT\n",
-      "  89: HHHHHTTT | rot: HHTTTHHH | flip: 01234567 HHHTTTTT\n",
-      "  90: HHHTTTTT | rot: HHHTTTTT | flip: 0 2 4 6  HTHTTHTT\n",
-      "  91: HTHTTHTT | rot: THTTHTHT | flip: 01234567 HHTHHTHT\n",
-      "  92: HHTHHTHT | rot: HTHTHHTH | flip: 01  45   HHTTTTHT\n",
-      "  93: HHTTTTHT | rot: TTTHTHHT | flip: 01234567 HHHHTHTT\n",
-      "  94: HHHHTHTT | rot: THHHHTHT | flip: 0 2 4 6  HHTHTTTT\n",
-      "  95: HHTHTTTT | rot: HTHTTTTH | flip: 01234567 HHHHTTHT\n",
-      "  96: HHHHTTHT | rot: HTHHHHTT | flip: 01234 6  HHTTHTTT\n",
-      "  97: HHTTHTTT | rot: HTTTHHTT | flip: 01234567 HHHTTHHT\n",
-      "  98: HHHTTHHT | rot: THHHTTHH | flip: 0 2 4 6  HHHTHHTT\n",
-      "  99: HHHTHHTT | rot: HHHTHHTT | flip: 01234567 HHTTTHTT\n",
-      " 100: HHTTTHTT | rot: HTTTHTTH | flip: 01  45   HTHTHTTT\n",
-      " 101: HTHTHTTT | rot: THTHTTTH | flip: 01234567 HHHTHTHT\n",
-      " 102: HHHTHTHT | rot: HTHTHTHH | flip: 0 2 4 6  HTTTTTTT\n",
-      " 103: HTTTTTTT | rot: TTHTTTTT | flip: 01234567 HHHHHHHT\n",
-      " 104: HHHHHHHT | rot: HHHHTHHH | flip: 012 456  HHTTHTTT\n",
-      " 105: HHTTHTTT | rot: THTTTHHT | flip: 01234567 HHHTTHHT\n",
-      " 106: HHHTTHHT | rot: HHHTTHHT | flip: 0 2 4 6  HHTTTHTT\n",
-      " 107: HHTTTHTT | rot: HTTHHTTT | flip: 01234567 HHHTHHTT\n",
-      " 108: HHHTHHTT | rot: THHHTHHT | flip: 01  45   HHHTHTHT\n",
-      " 109: HHHTHTHT | rot: THHHTHTH | flip: 01234567 HTHTHTTT\n",
-      " 110: HTHTHTTT | rot: TTHTHTHT | flip: 0 2 4 6  HTTTTTTT\n",
-      " 111: HTTTTTTT | rot: TTTTHTTT | flip: 01234567 HHHHHHHT\n",
-      " 112: HHHHHHHT | rot: HHHHHHTH | flip: 0123     HHTHTTTT\n",
-      " 113: HHTHTTTT | rot: TTTTHHTH | flip: 01234567 HHHHTTHT\n",
-      " 114: HHHHTTHT | rot: HHTTHTHH | flip: 0 2 4 6  HHTTTTHT\n",
-      " 115: HHTTTTHT | rot: HHTTTTHT | flip: 01234567 HHHHTHTT\n",
-      " 116: HHHHTHTT | rot: HTTHHHHT | flip: 01  45   HTHTTHTT\n",
-      " 117: HTHTTHTT | rot: HTTHTHTT | flip: 01234567 HHTHHTHT\n",
-      " 118: HHTHHTHT | rot: HTHHTHTH | flip: 0 2 4 6  HHHHHTTT\n",
-      " 119: HHHHHTTT | rot: HTTTHHHH | flip: 01234567 HHHTTTTT\n",
-      " 120: HHHTTTTT | rot: TTTTHHHT | flip: 012 456  HHHTTTTT\n",
-      " 121: HHHTTTTT | rot: TTTTTHHH | flip: 01234567 HHHHHTTT\n",
-      " 122: HHHHHTTT | rot: HHHHTTTH | flip: 0 2 4 6  HHTHHTHT\n",
-      " 123: HHTHHTHT | rot: HHTHTHHT | flip: 01234567 HTHTTHTT\n",
-      " 124: HTHTTHTT | rot: HTTHTTHT | flip: 01  45   HHHHTTHT\n",
-      " 125: HHHHTTHT | rot: HHTTHTHH | flip: 01234567 HHTHTTTT\n",
-      " 126: HHTHTTTT | rot: HHTHTTTT | flip: 0 2 4 6  HHHHTHTT\n",
-      " 127: HHHHTHTT | rot: HHHTHTTH | flip: 01234567 HHTTTTHT\n",
-      " 128: HHTTTTHT | rot: TTTHTHHT | flip: 0123456  HHHTHTTT\n",
-      " 129: HHHTHTTT | rot: HHTHTTTH | flip: 01234567 HHHTTTHT\n",
-      " 130: HHHTTTHT | rot: HTHHHTTT | flip: 0 2 4 6  HTTHTTTT\n",
-      " 131: HTTHTTTT | rot: TTTHTTHT | flip: 01234567 HHHHTHHT\n",
-      " 132: HHHHTHHT | rot: HTHHHHTH | flip: 01  45   HHHTTTHT\n",
-      " 133: HHHTTTHT | rot: TTTHTHHH | flip: 01234567 HHHTHTTT\n",
-      " 134: HHHTHTTT | rot: HTTTHHHT | flip: 0 2 4 6  HTTHTTTT\n",
-      " 135: HTTHTTTT | rot: THTTTTHT | flip: 01234567 HHHHTHHT\n",
-      " 136: HHHHTHHT | rot: THHHHTHH | flip: 012 456  HHTTHTHT\n",
-      " 137: HHTTHTHT | rot: HHTTHTHT | flip: 01234567 HHTHTHTT\n",
-      " 138: HHTHTHTT | rot: THTTHHTH | flip: 0 2 4 6  HHHHHHTT\n",
-      " 139: HHHHHHTT | rot: HTTHHHHH | flip: 01234567 HHTTTTTT\n",
-      " 140: HHTTTTTT | rot: THHTTTTT | flip: 01  45   HHTTHTHT\n",
-      " 141: HHTTHTHT | rot: HHTTHTHT | flip: 01234567 HHTHTHTT\n",
-      " 142: HHTHTHTT | rot: HHTHTHTT | flip: 0 2 4 6  HHHHHHTT\n",
-      " 143: HHHHHHTT | rot: HTTHHHHH | flip: 01234567 HHTTTTTT\n",
-      " 144: HHTTTTTT | rot: HHTTTTTT | flip: 0123     HHTTTTTT\n",
-      " 145: HHTTTTTT | rot: TTTTHHTT | flip: 01234567 HHHHHHTT\n",
-      " 146: HHHHHHTT | rot: HHHHHHTT | flip: 0 2 4 6  HHTTHTHT\n",
-      " 147: HHTTHTHT | rot: THTHHTTH | flip: 01234567 HHTHTHTT\n",
-      " 148: HHTHTHTT | rot: THHTHTHT | flip: 01  45   HHTHTHTT\n",
-      " 149: HHTHTHTT | rot: HHTHTHTT | flip: 01234567 HHTTHTHT\n",
-      " 150: HHTTHTHT | rot: HHTTHTHT | flip: 0 2 4 6  HHTTTTTT\n",
-      " 151: HHTTTTTT | rot: TTTHHTTT | flip: 01234567 HHHHHHTT\n",
-      " 152: HHHHHHTT | rot: HHHHHHTT | flip: 012 456  HTTHTTTT\n",
-      " 153: HTTHTTTT | rot: TTHTTHTT | flip: 01234567 HHHHTHHT\n",
-      " 154: HHHHTHHT | rot: HHTHHTHH | flip: 0 2 4 6  HHHTTTHT\n",
-      " 155: HHHTTTHT | rot: HHTTTHTH | flip: 01234567 HHHTHTTT\n",
-      " 156: HHHTHTTT | rot: HHHTHTTT | flip: 01  45   HTTHTTTT\n",
-      " 157: HTTHTTTT | rot: THTTHTTT | flip: 01234567 HHHHTHHT\n",
-      " 158: HHHHTHHT | rot: HTHHHHTH | flip: 0 2 4 6  HHHTTTHT\n",
-      " 159: HHHTTTHT | rot: HHHTTTHT | flip: 01234567 HHHTHTTT\n",
-      " 160: HHHTHTTT | rot: HHTHTTTH | flip: 01234 6  HHTTHTHT\n",
-      " 161: HHTTHTHT | rot: THHTTHTH | flip: 01234567 HHTHTHTT\n",
-      " 162: HHTHTHTT | rot: HTTHHTHT | flip: 0 2 4 6  HHTTTTTT\n",
-      " 163: HHTTTTTT | rot: TTTTHHTT | flip: 01234567 HHHHHHTT\n",
-      " 164: HHHHHHTT | rot: HHHTTHHH | flip: 01  45   HHTTHTHT\n",
-      " 165: HHTTHTHT | rot: HTTHTHTH | flip: 01234567 HHTHTHTT\n",
-      " 166: HHTHTHTT | rot: HTHTHTTH | flip: 0 2 4 6  HHTTTTTT\n",
-      " 167: HHTTTTTT | rot: TTTTTTHH | flip: 01234567 HHHHHHTT\n",
-      " 168: HHHHHHTT | rot: HHTTHHHH | flip: 012 456  HTTHTTTT\n",
-      " 169: HTTHTTTT | rot: HTTTTHTT | flip: 01234567 HHHHTHHT\n",
-      " 170: HHHHTHHT | rot: THHHHTHH | flip: 0 2 4 6  HHHTHTTT\n",
-      " 171: HHHTHTTT | rot: TTTHHHTH | flip: 01234567 HHHTTTHT\n",
-      " 172: HHHTTTHT | rot: TTTHTHHH | flip: 01  45   HHHHTHHT\n",
-      " 173: HHHHTHHT | rot: THHTHHHH | flip: 01234567 HTTHTTTT\n",
-      " 174: HTTHTTTT | rot: TTTHTTHT | flip: 0 2 4 6  HHHTTTHT\n",
-      " 175: HHHTTTHT | rot: THTHHHTT | flip: 01234567 HHHTHTTT\n",
-      " 176: HHHTHTTT | rot: TTHHHTHT | flip: 0123     HHTTHTHT\n",
-      " 177: HHTTHTHT | rot: THHTTHTH | flip: 01234567 HHTHTHTT\n",
-      " 178: HHTHTHTT | rot: THTHTTHH | flip: 0 2 4 6  HHHHHHTT\n",
-      " 179: HHHHHHTT | rot: HHTTHHHH | flip: 01234567 HHTTTTTT\n",
-      " 180: HHTTTTTT | rot: TTTHHTTT | flip: 01  45   HHTHTHTT\n",
-      " 181: HHTHTHTT | rot: THHTHTHT | flip: 01234567 HHTTHTHT\n",
-      " 182: HHTTHTHT | rot: HTHHTTHT | flip: 0 2 4 6  HHTTTTTT\n",
-      " 183: HHTTTTTT | rot: THHTTTTT | flip: 01234567 HHHHHHTT\n",
-      " 184: HHHHHHTT | rot: TTHHHHHH | flip: 012 456  HHHTHTTT\n",
-      " 185: HHHTHTTT | rot: HHHTHTTT | flip: 01234567 HHHTTTHT\n",
-      " 186: HHHTTTHT | rot: THHHTTTH | flip: 0 2 4 6  HHHHTHHT\n",
-      " 187: HHHHTHHT | rot: THHTHHHH | flip: 01234567 HTTHTTTT\n",
-      " 188: HTTHTTTT | rot: THTTHTTT | flip: 01  45   HTTHTTTT\n",
-      " 189: HTTHTTTT | rot: TTTHTTHT | flip: 01234567 HHHHTHHT\n",
-      " 190: HHHHTHHT | rot: HHHHTHHT | flip: 0 2 4 6  HHHTTTHT\n",
-      " 191: HHHTTTHT | rot: HTTTHTHH | flip: 01234567 HHHTHTTT\n",
-      " 192: HHHTHTTT | rot: TTHHHTHT | flip: 012345   HHTHHTTT\n",
-      " 193: HHTHHTTT | rot: HTTTHHTH | flip: 01234567 HHHTTHTT\n",
-      " 194: HHHTTHTT | rot: THHHTTHT | flip: 0 2 4 6  HHTHHTTT\n",
-      " 195: HHTHHTTT | rot: TTHHTHHT | flip: 01234567 HHHTTHTT\n",
-      " 196: HHHTTHTT | rot: HTTHTTHH | flip: 01  45   HHHHHTHT\n",
-      " 197: HHHHHTHT | rot: HHHTHTHH | flip: 01234567 HTHTTTTT\n",
-      " 198: HTHTTTTT | rot: TTTTHTHT | flip: 0 2 4 6  HTHTTTTT\n",
-      " 199: HTHTTTTT | rot: TTTTHTHT | flip: 01234567 HHHHHTHT\n",
-      " 200: HHHHHTHT | rot: HTHTHHHH | flip: 012 456  HTHTTTTT\n",
-      " 201: HTHTTTTT | rot: TTTTHTHT | flip: 01234567 HHHHHTHT\n",
-      " 202: HHHHHTHT | rot: HHHHTHTH | flip: 0 2 4 6  HHHHHTHT\n",
-      " 203: HHHHHTHT | rot: HHHHHTHT | flip: 01234567 HTHTTTTT\n",
-      " 204: HTHTTTTT | rot: TTTTHTHT | flip: 01  45   HHTHHTTT\n",
-      " 205: HHTHHTTT | rot: TTTHHTHH | flip: 01234567 HHHTTHTT\n",
-      " 206: HHHTTHTT | rot: HHHTTHTT | flip: 0 2 4 6  HHHTTHTT\n",
-      " 207: HHHTTHTT | rot: HTTHTTHH | flip: 01234567 HHTHHTTT\n",
-      " 208: HHTHHTTT | rot: HHTHHTTT | flip: 0123     HTHTTTTT\n",
-      " 209: HTHTTTTT | rot: THTHTTTT | flip: 01234567 HHHHHTHT\n",
-      " 210: HHHHHTHT | rot: HHTHTHHH | flip: 0 2 4 6  HHHHHTHT\n",
-      " 211: HHHHHTHT | rot: HHHHTHTH | flip: 01234567 HTHTTTTT\n",
-      " 212: HTHTTTTT | rot: TTTTHTHT | flip: 01  45   HHTHHTTT\n",
-      " 213: HHTHHTTT | rot: THHTHHTT | flip: 01234567 HHHTTHTT\n",
-      " 214: HHHTTHTT | rot: HHTTHTTH | flip: 0 2 4 6  HHTHHTTT\n",
-      " 215: HHTHHTTT | rot: HHTTTHHT | flip: 01234567 HHHTTHTT\n",
-      " 216: HHHTTHTT | rot: HTTHTTHH | flip: 012 456  HHHHHTHT\n",
-      " 217: HHHHHTHT | rot: HTHHHHHT | flip: 01234567 HTHTTTTT\n",
-      " 218: HTHTTTTT | rot: HTTTTTHT | flip: 0 2 4 6  HTHTTTTT\n",
-      " 219: HTHTTTTT | rot: THTTTTTH | flip: 01234567 HHHHHTHT\n",
-      " 220: HHHHHTHT | rot: HTHTHHHH | flip: 01  45   HHTHHTTT\n",
-      " 221: HHTHHTTT | rot: TTTHHTHH | flip: 01234567 HHHTTHTT\n",
-      " 222: HHHTTHTT | rot: HHTTHTTH | flip: 0 2 4 6  HHTHHTTT\n",
-      " 223: HHTHHTTT | rot: THHTTTHH | flip: 01234567 HHHTTHTT\n",
-      " 224: HHHTTHTT | rot: HTTHTTHH | flip: 01234 6  HHTHTTHT\n",
-      " 225: HHTHTTHT | rot: HHTHTTHT | flip: 01234567 HHTHTTHT\n",
-      " 226: HHTHTTHT | rot: HTHHTHTT | flip: 0 2 4 6  HHHHTTTT\n",
-      " 227: HHHHTTTT | rot: TTTHHHHT | flip: 01234567 HHHHTTTT\n",
-      " 228: HHHHTTTT | rot: TTTHHHHT | flip: 01  45   HHTHTTHT\n",
-      " 229: HHTHTTHT | rot: THTTHTHH | flip: 01234567 HHTHTTHT\n",
-      " 230: HHTHTTHT | rot: HHTHTTHT | flip: 0 2 4 6  HHHHTTTT\n",
-      " 231: HHHHTTTT | rot: HHTTTTHH | flip: 01234567 HHHHTTTT\n",
-      " 232: HHHHTTTT | rot: HHHHTTTT | flip: 012 456  HHHHTTTT\n",
-      " 233: HHHHTTTT | rot: HHTTTTHH | flip: 01234567 HHHHTTTT\n",
-      " 234: HHHHTTTT | rot: HHHHTTTT | flip: 0 2 4 6  HHTHTTHT\n",
-      " 235: HHTHTTHT | rot: THTHHTHT | flip: 01234567 HHTHTTHT\n",
-      " 236: HHTHTTHT | rot: HTHTTHTH | flip: 01  45   HHTHTTHT\n",
-      " 237: HHTHTTHT | rot: HTTHTHHT | flip: 01234567 HHTHTTHT\n",
-      " 238: HHTHTTHT | rot: HTHHTHTT | flip: 0 2 4 6  HHHHTTTT\n",
-      " 239: HHHHTTTT | rot: TTTTHHHH | flip: 01234567 HHHHTTTT\n",
-      " 240: HHHHTTTT | rot: TTTHHHHT | flip: 0123     HHHTHHHT\n",
-      " 241: HHHTHHHT | rot: HTHHHTHH | flip: 01234567 HTTTHTTT\n",
-      " 242: HTTTHTTT | rot: TTTHTTTH | flip: 0 2 4 6  HHHTHHHT\n",
-      " 243: HHHTHHHT | rot: HHTHHHTH | flip: 01234567 HTTTHTTT\n",
-      " 244: HTTTHTTT | rot: HTTTHTTT | flip: 01  45   HTTTHTTT\n",
-      " 245: HTTTHTTT | rot: TTTHTTTH | flip: 01234567 HHHTHHHT\n",
-      " 246: HHHTHHHT | rot: HTHHHTHH | flip: 0 2 4 6  HTTTHTTT\n",
-      " 247: HTTTHTTT | rot: HTTTHTTT | flip: 01234567 HHHTHHHT\n",
-      " 248: HHHTHHHT | rot: THHHTHHH | flip: 012 456  HHTTHHTT\n",
-      " 249: HHTTHHTT | rot: HHTTHHTT | flip: 01234567 HHTTHHTT\n",
-      " 250: HHTTHHTT | rot: HHTTHHTT | flip: 0 2 4 6  HHTTHHTT\n",
-      " 251: HHTTHHTT | rot: TTHHTTHH | flip: 01234567 HHTTHHTT\n",
-      " 252: HHTTHHTT | rot: HHTTHHTT | flip: 01  45   TTTTTTTT\n",
-      " 253: TTTTTTTT | rot: TTTTTTTT | flip: 01234567 HHHHHHHH\n"
+      "   4: HHHTTTTT | rot: TTHHHTTT | flip: 01  45   HHHHTHTT\n",
+      "   5: HHHHTHTT | rot: THHHHTHT | flip: 01234567 HHTTTTHT\n",
+      "   6: HHTTTTHT | rot: TTHTHHTT | flip: 0 2 4 6  HHTHTTTT\n",
+      "   7: HHTHTTTT | rot: THTTTTHH | flip: 01234567 HHHHTTHT\n",
+      "   8: HHHHTTHT | rot: HHHHTTHT | flip: 012 456  HHHTTTTT\n",
+      "   9: HHHTTTTT | rot: TTHHHTTT | flip: 01234567 HHHHHTTT\n",
+      "  10: HHHHHTTT | rot: TTTHHHHH | flip: 0 2 4 6  HHTHHTHT\n",
+      "  11: HHTHHTHT | rot: THHTHTHH | flip: 01234567 HTHTTHTT\n",
+      "  12: HTHTTHTT | rot: HTHTTHTT | flip: 01  45   HHTHTTTT\n",
+      "  13: HHTHTTTT | rot: TTTTHHTH | flip: 01234567 HHHHTTHT\n",
+      "  14: HHHHTTHT | rot: HHTTHTHH | flip: 0 2 4 6  HHTTTTHT\n",
+      "  15: HHTTTTHT | rot: HTTTTHTH | flip: 01234567 HHHHTHTT\n",
+      "  16: HHHHTHTT | rot: HTHTTHHH | flip: 0123     HHHTHTHT\n",
+      "  17: HHHTHTHT | rot: THTHTHHH | flip: 01234567 HTHTHTTT\n",
+      "  18: HTHTHTTT | rot: HTTTHTHT | flip: 0 2 4 6  HTTTTTTT\n",
+      "  19: HTTTTTTT | rot: TTTTHTTT | flip: 01234567 HHHHHHHT\n",
+      "  20: HHHHHHHT | rot: HHTHHHHH | flip: 01  45   HHTTTHTT\n",
+      "  21: HHTTTHTT | rot: HTTHHTTT | flip: 01234567 HHHTHHTT\n",
+      "  22: HHHTHHTT | rot: HHTHHTTH | flip: 0 2 4 6  HHHTTHHT\n",
+      "  23: HHHTTHHT | rot: HHHTTHHT | flip: 01234567 HHTTHTTT\n",
+      "  24: HHTTHTTT | rot: TTTHHTTH | flip: 012 456  HHHHHHHT\n",
+      "  25: HHHHHHHT | rot: HHHHHTHH | flip: 01234567 HTTTTTTT\n",
+      "  26: HTTTTTTT | rot: TTTTHTTT | flip: 0 2 4 6  HTHTHTTT\n",
+      "  27: HTHTHTTT | rot: THTTTHTH | flip: 01234567 HHHTHTHT\n",
+      "  28: HHHTHTHT | rot: HTHHHTHT | flip: 01  45   HHHTHHTT\n",
+      "  29: HHHTHHTT | rot: TTHHHTHH | flip: 01234567 HHTTTHTT\n",
+      "  30: HHTTTHTT | rot: HTTTHTTH | flip: 0 2 4 6  HHTTHTTT\n",
+      "  31: HHTTHTTT | rot: TTTHHTTH | flip: 01234567 HHHTTHHT\n",
+      "  32: HHHTTHHT | rot: TTHHTHHH | flip: 01234 6  HHHTTHHT\n",
+      "  33: HHHTTHHT | rot: THHHTTHH | flip: 01234567 HHTTHTTT\n",
+      "  34: HHTTHTTT | rot: HHTTHTTT | flip: 0 2 4 6  HHTTTHTT\n",
+      "  35: HHTTTHTT | rot: THTTHHTT | flip: 01234567 HHHTHHTT\n",
+      "  36: HHHTHHTT | rot: TTHHHTHH | flip: 01  45   HHHHHHHT\n",
+      "  37: HHHHHHHT | rot: THHHHHHH | flip: 01234567 HTTTTTTT\n",
+      "  38: HTTTTTTT | rot: THTTTTTT | flip: 0 2 4 6  HHHTHTHT\n",
+      "  39: HHHTHTHT | rot: HTHTHHHT | flip: 01234567 HTHTHTTT\n",
+      "  40: HTHTHTTT | rot: HTHTTTHT | flip: 012 456  HHTTTHTT\n",
+      "  41: HHTTTHTT | rot: HTTHHTTT | flip: 01234567 HHHTHHTT\n",
+      "  42: HHHTHHTT | rot: THHHTHHT | flip: 0 2 4 6  HHHTTHHT\n",
+      "  43: HHHTTHHT | rot: HTHHHTTH | flip: 01234567 HHTTHTTT\n",
+      "  44: HHTTHTTT | rot: HTTHTTTH | flip: 01  45   HHHTHTHT\n",
+      "  45: HHHTHTHT | rot: THHHTHTH | flip: 01234567 HTHTHTTT\n",
+      "  46: HTHTHTTT | rot: THTHTHTT | flip: 0 2 4 6  HHHHHHHT\n",
+      "  47: HHHHHHHT | rot: HHHHTHHH | flip: 01234567 HTTTTTTT\n",
+      "  48: HTTTTTTT | rot: TTTTTTHT | flip: 0123     HHHHTTHT\n",
+      "  49: HHHHTTHT | rot: HHTTHTHH | flip: 01234567 HHTHTTTT\n",
+      "  50: HHTHTTTT | rot: HTHTTTTH | flip: 0 2 4 6  HHTTTTHT\n",
+      "  51: HHTTTTHT | rot: TTTTHTHH | flip: 01234567 HHHHTHTT\n",
+      "  52: HHHHTHTT | rot: HHTHTTHH | flip: 01  45   HHHHHTTT\n",
+      "  53: HHHHHTTT | rot: HHHHTTTH | flip: 01234567 HHHTTTTT\n",
+      "  54: HHHTTTTT | rot: HTTTTTHH | flip: 0 2 4 6  HTHTTHTT\n",
+      "  55: HTHTTHTT | rot: HTTHTHTT | flip: 01234567 HHTHHTHT\n",
+      "  56: HHTHHTHT | rot: THHTHHTH | flip: 012 456  HHHTTTTT\n",
+      "  57: HHHTTTTT | rot: HHHTTTTT | flip: 01234567 HHHHHTTT\n",
+      "  58: HHHHHTTT | rot: HHHHHTTT | flip: 0 2 4 6  HTHTTHTT\n",
+      "  59: HTHTTHTT | rot: HTTHTTHT | flip: 01234567 HHTHHTHT\n",
+      "  60: HHTHHTHT | rot: THHTHHTH | flip: 01  45   HHTHTTTT\n",
+      "  61: HHTHTTTT | rot: TTTHHTHT | flip: 01234567 HHHHTTHT\n",
+      "  62: HHHHTTHT | rot: HTHHHHTT | flip: 0 2 4 6  HHTTTTHT\n",
+      "  63: HHTTTTHT | rot: HHTTTTHT | flip: 01234567 HHHHTHTT\n",
+      "  64: HHHHTHTT | rot: HHTHTTHH | flip: 012345   HHHHTTHT\n",
+      "  65: HHHHTTHT | rot: HHHTTHTH | flip: 01234567 HHTHTTTT\n",
+      "  66: HHTHTTTT | rot: HHTHTTTT | flip: 0 2 4 6  HHHHTHTT\n",
+      "  67: HHHHTHTT | rot: THTTHHHH | flip: 01234567 HHTTTTHT\n",
+      "  68: HHTTTTHT | rot: HTTTTHTH | flip: 01  45   HTHTTHTT\n",
+      "  69: HTHTTHTT | rot: THTTHTTH | flip: 01234567 HHTHHTHT\n",
+      "  70: HHTHHTHT | rot: THTHHTHH | flip: 0 2 4 6  HHHHHTTT\n",
+      "  71: HHHHHTTT | rot: TTTHHHHH | flip: 01234567 HHHTTTTT\n",
+      "  72: HHHTTTTT | rot: HHTTTTTH | flip: 012 456  HHHHTTHT\n",
+      "  73: HHHHTTHT | rot: HHTTHTHH | flip: 01234567 HHTHTTTT\n",
+      "  74: HHTHTTTT | rot: TTTHHTHT | flip: 0 2 4 6  HHTTTTHT\n",
+      "  75: HHTTTTHT | rot: HHTTTTHT | flip: 01234567 HHHHTHTT\n",
+      "  76: HHHHTHTT | rot: HTHTTHHH | flip: 01  45   HHTHHTHT\n",
+      "  77: HHTHHTHT | rot: THTHHTHH | flip: 01234567 HTHTTHTT\n",
+      "  78: HTHTTHTT | rot: HTHTTHTT | flip: 0 2 4 6  HHHTTTTT\n",
+      "  79: HHHTTTTT | rot: HHTTTTTH | flip: 01234567 HHHHHTTT\n",
+      "  80: HHHHHTTT | rot: HHHHHTTT | flip: 0123     HTTTTTTT\n",
+      "  81: HTTTTTTT | rot: HTTTTTTT | flip: 01234567 HHHHHHHT\n",
+      "  82: HHHHHHHT | rot: HHHTHHHH | flip: 0 2 4 6  HTHTHTTT\n",
+      "  83: HTHTHTTT | rot: HTHTTTHT | flip: 01234567 HHHTHTHT\n",
+      "  84: HHHTHTHT | rot: HTHTHTHH | flip: 01  45   HHHTHHTT\n",
+      "  85: HHHTHHTT | rot: THHHTHHT | flip: 01234567 HHTTTHTT\n",
+      "  86: HHTTTHTT | rot: THHTTTHT | flip: 0 2 4 6  HHTTHTTT\n",
+      "  87: HHTTHTTT | rot: TTTHHTTH | flip: 01234567 HHHTTHHT\n",
+      "  88: HHHTTHHT | rot: THHHTTHH | flip: 012 456  HHHTHHTT\n",
+      "  89: HHHTHHTT | rot: HTTHHHTH | flip: 01234567 HHTTTHTT\n",
+      "  90: HHTTTHTT | rot: THTTHHTT | flip: 0 2 4 6  HHHTTHHT\n",
+      "  91: HHHTTHHT | rot: HTTHHTHH | flip: 01234567 HHTTHTTT\n",
+      "  92: HHTTHTTT | rot: HTTTHHTT | flip: 01  45   HTTTTTTT\n",
+      "  93: HTTTTTTT | rot: THTTTTTT | flip: 01234567 HHHHHHHT\n",
+      "  94: HHHHHHHT | rot: HHHHHTHH | flip: 0 2 4 6  HTHTHTTT\n",
+      "  95: HTHTHTTT | rot: THTHTHTT | flip: 01234567 HHHTHTHT\n",
+      "  96: HHHTHTHT | rot: HTHTHTHH | flip: 01234 6  HTHTHTTT\n",
+      "  97: HTHTHTTT | rot: THTHTTTH | flip: 01234567 HHHTHTHT\n",
+      "  98: HHHTHTHT | rot: HTHTHTHH | flip: 0 2 4 6  HTTTTTTT\n",
+      "  99: HTTTTTTT | rot: TTTTTTHT | flip: 01234567 HHHHHHHT\n",
+      " 100: HHHHHHHT | rot: HHTHHHHH | flip: 01  45   HHTTTHTT\n",
+      " 101: HHTTTHTT | rot: HTTTHTTH | flip: 01234567 HHHTHHTT\n",
+      " 102: HHHTHHTT | rot: HHTHHTTH | flip: 0 2 4 6  HHHTTHHT\n",
+      " 103: HHHTTHHT | rot: HHHTTHHT | flip: 01234567 HHTTHTTT\n",
+      " 104: HHTTHTTT | rot: TTTHHTTH | flip: 012 456  HHHHHHHT\n",
+      " 105: HHHHHHHT | rot: HHTHHHHH | flip: 01234567 HTTTTTTT\n",
+      " 106: HTTTTTTT | rot: THTTTTTT | flip: 0 2 4 6  HHHTHTHT\n",
+      " 107: HHHTHTHT | rot: THHHTHTH | flip: 01234567 HTHTHTTT\n",
+      " 108: HTHTHTTT | rot: THTHTTTH | flip: 01  45   HHHTHHTT\n",
+      " 109: HHHTHHTT | rot: HTTHHHTH | flip: 01234567 HHTTTHTT\n",
+      " 110: HHTTTHTT | rot: HTTTHTTH | flip: 0 2 4 6  HHTTHTTT\n",
+      " 111: HHTTHTTT | rot: HTTHTTTH | flip: 01234567 HHHTTHHT\n",
+      " 112: HHHTTHHT | rot: TTHHTHHH | flip: 0123     HHHHHTTT\n",
+      " 113: HHHHHTTT | rot: TTHHHHHT | flip: 01234567 HHHTTTTT\n",
+      " 114: HHHTTTTT | rot: TTTTTHHH | flip: 0 2 4 6  HHTHHTHT\n",
+      " 115: HHTHHTHT | rot: HTHHTHHT | flip: 01234567 HTHTTHTT\n",
+      " 116: HTHTTHTT | rot: HTTHTHTT | flip: 01  45   HHTTTTHT\n",
+      " 117: HHTTTTHT | rot: TTTTHTHH | flip: 01234567 HHHHTHTT\n",
+      " 118: HHHHTHTT | rot: HHHHTHTT | flip: 0 2 4 6  HHHHTTHT\n",
+      " 119: HHHHTTHT | rot: THHHHTTH | flip: 01234567 HHTHTTTT\n",
+      " 120: HHTHTTTT | rot: TTHHTHTT | flip: 012 456  HHTHHTHT\n",
+      " 121: HHTHHTHT | rot: THTHHTHH | flip: 01234567 HTHTTHTT\n",
+      " 122: HTHTTHTT | rot: THTHTTHT | flip: 0 2 4 6  HHHHHTTT\n",
+      " 123: HHHHHTTT | rot: HHHHTTTH | flip: 01234567 HHHTTTTT\n",
+      " 124: HHHTTTTT | rot: HHTTTTTH | flip: 01  45   HHTHTTTT\n",
+      " 125: HHTHTTTT | rot: TTHHTHTT | flip: 01234567 HHHHTTHT\n",
+      " 126: HHHHTTHT | rot: TTHTHHHH | flip: 0 2 4 6  HHTTTTHT\n",
+      " 127: HHTTTTHT | rot: HHTTTTHT | flip: 01234567 HHHHTHTT\n",
+      " 128: HHHHTHTT | rot: HHHTHTTH | flip: 0123456  HHHTTTHT\n",
+      " 129: HHHTTTHT | rot: HHHTTTHT | flip: 01234567 HHHTHTTT\n",
+      " 130: HHHTHTTT | rot: HHHTHTTT | flip: 0 2 4 6  HTTHTTTT\n",
+      " 131: HTTHTTTT | rot: HTTHTTTT | flip: 01234567 HHHHTHHT\n",
+      " 132: HHHHTHHT | rot: THHHHTHH | flip: 01  45   HHHHTHHT\n",
+      " 133: HHHHTHHT | rot: THHHHTHH | flip: 01234567 HTTHTTTT\n",
+      " 134: HTTHTTTT | rot: THTTTTHT | flip: 0 2 4 6  HHHTHTTT\n",
+      " 135: HHHTHTTT | rot: THHHTHTT | flip: 01234567 HHHTTTHT\n",
+      " 136: HHHTTTHT | rot: HTHHHTTT | flip: 012 456  HHTTHTHT\n",
+      " 137: HHTTHTHT | rot: THTHHTTH | flip: 01234567 HHTHTHTT\n",
+      " 138: HHTHTHTT | rot: HTTHHTHT | flip: 0 2 4 6  HHTTTTTT\n",
+      " 139: HHTTTTTT | rot: TTTHHTTT | flip: 01234567 HHHHHHTT\n",
+      " 140: HHHHHHTT | rot: HHHHHTTH | flip: 01  45   HHTHTHTT\n",
+      " 141: HHTHTHTT | rot: THTTHHTH | flip: 01234567 HHTTHTHT\n",
+      " 142: HHTTHTHT | rot: THTHHTTH | flip: 0 2 4 6  HHHHHHTT\n",
+      " 143: HHHHHHTT | rot: HHTTHHHH | flip: 01234567 HHTTTTTT\n",
+      " 144: HHTTTTTT | rot: THHTTTTT | flip: 0123     HTTHTTTT\n",
+      " 145: HTTHTTTT | rot: TTTHTTHT | flip: 01234567 HHHHTHHT\n",
+      " 146: HHHHTHHT | rot: HHHHTHHT | flip: 0 2 4 6  HHHTTTHT\n",
+      " 147: HHHTTTHT | rot: TTTHTHHH | flip: 01234567 HHHTHTTT\n",
+      " 148: HHHTHTTT | rot: THHHTHTT | flip: 01  45   HHHTTTHT\n",
+      " 149: HHHTTTHT | rot: THHHTTTH | flip: 01234567 HHHTHTTT\n",
+      " 150: HHHTHTTT | rot: TTHHHTHT | flip: 0 2 4 6  HTTHTTTT\n",
+      " 151: HTTHTTTT | rot: TTHTTHTT | flip: 01234567 HHHHTHHT\n",
+      " 152: HHHHTHHT | rot: HTHHHHTH | flip: 012 456  HHTHTHTT\n",
+      " 153: HHTHTHTT | rot: HTHTHTTH | flip: 01234567 HHTTHTHT\n",
+      " 154: HHTTHTHT | rot: HTTHTHTH | flip: 0 2 4 6  HHHHHHTT\n",
+      " 155: HHHHHHTT | rot: TTHHHHHH | flip: 01234567 HHTTTTTT\n",
+      " 156: HHTTTTTT | rot: TTTHHTTT | flip: 01  45   HHTHTHTT\n",
+      " 157: HHTHTHTT | rot: HTHTTHHT | flip: 01234567 HHTTHTHT\n",
+      " 158: HHTTHTHT | rot: HTTHTHTH | flip: 0 2 4 6  HHHHHHTT\n",
+      " 159: HHHHHHTT | rot: HHHHHTTH | flip: 01234567 HHTTTTTT\n",
+      " 160: HHTTTTTT | rot: HHTTTTTT | flip: 01234 6  HHHTHTTT\n",
+      " 161: HHHTHTTT | rot: HHHTHTTT | flip: 01234567 HHHTTTHT\n",
+      " 162: HHHTTTHT | rot: HHTTTHTH | flip: 0 2 4 6  HHHHTHHT\n",
+      " 163: HHHHTHHT | rot: HTHHTHHH | flip: 01234567 HTTHTTTT\n",
+      " 164: HTTHTTTT | rot: THTTTTHT | flip: 01  45   HHHTHTTT\n",
+      " 165: HHHTHTTT | rot: HTHTTTHH | flip: 01234567 HHHTTTHT\n",
+      " 166: HHHTTTHT | rot: HHHTTTHT | flip: 0 2 4 6  HTTHTTTT\n",
+      " 167: HTTHTTTT | rot: THTTHTTT | flip: 01234567 HHHHTHHT\n",
+      " 168: HHHHTHHT | rot: HHTHHTHH | flip: 012 456  HHTHTHTT\n",
+      " 169: HHTHTHTT | rot: THHTHTHT | flip: 01234567 HHTTHTHT\n",
+      " 170: HHTTHTHT | rot: HTHTHHTT | flip: 0 2 4 6  HHTTTTTT\n",
+      " 171: HHTTTTTT | rot: THHTTTTT | flip: 01234567 HHHHHHTT\n",
+      " 172: HHHHHHTT | rot: TTHHHHHH | flip: 01  45   HHHHHHTT\n",
+      " 173: HHHHHHTT | rot: HHHHHTTH | flip: 01234567 HHTTTTTT\n",
+      " 174: HHTTTTTT | rot: TTHHTTTT | flip: 0 2 4 6  HHTHTHTT\n",
+      " 175: HHTHTHTT | rot: HHTHTHTT | flip: 01234567 HHTTHTHT\n",
+      " 176: HHTTHTHT | rot: HTHHTTHT | flip: 0123     HTTHTTTT\n",
+      " 177: HTTHTTTT | rot: HTTTTHTT | flip: 01234567 HHHHTHHT\n",
+      " 178: HHHHTHHT | rot: THHHHTHH | flip: 0 2 4 6  HHHTHTTT\n",
+      " 179: HHHTHTTT | rot: HTTTHHHT | flip: 01234567 HHHTTTHT\n",
+      " 180: HHHTTTHT | rot: THHHTTTH | flip: 01  45   HHHHTHHT\n",
+      " 181: HHHHTHHT | rot: HHHTHHTH | flip: 01234567 HTTHTTTT\n",
+      " 182: HTTHTTTT | rot: HTTTTHTT | flip: 0 2 4 6  HHHTTTHT\n",
+      " 183: HHHTTTHT | rot: HTHHHTTT | flip: 01234567 HHHTHTTT\n",
+      " 184: HHHTHTTT | rot: TTTHHHTH | flip: 012 456  HHHHHHTT\n",
+      " 185: HHHHHHTT | rot: HHHTTHHH | flip: 01234567 HHTTTTTT\n",
+      " 186: HHTTTTTT | rot: HTTTTTTH | flip: 0 2 4 6  HHTTHTHT\n",
+      " 187: HHTTHTHT | rot: HTHTHHTT | flip: 01234567 HHTHTHTT\n",
+      " 188: HHTHTHTT | rot: HHTHTHTT | flip: 01  45   HHTTTTTT\n",
+      " 189: HHTTTTTT | rot: TTTTHHTT | flip: 01234567 HHHHHHTT\n",
+      " 190: HHHHHHTT | rot: HHHHTTHH | flip: 0 2 4 6  HHTTHTHT\n",
+      " 191: HHTTHTHT | rot: HHTTHTHT | flip: 01234567 HHTHTHTT\n",
+      " 192: HHTHTHTT | rot: TTHHTHTH | flip: 012345   HHHTTHTT\n",
+      " 193: HHHTTHTT | rot: TTHTTHHH | flip: 01234567 HHTHHTTT\n",
+      " 194: HHTHHTTT | rot: HHTHHTTT | flip: 0 2 4 6  HHHTTHTT\n",
+      " 195: HHHTTHTT | rot: HHTTHTTH | flip: 01234567 HHTHHTTT\n",
+      " 196: HHTHHTTT | rot: HTHHTTTH | flip: 01  45   HHHHHTHT\n",
+      " 197: HHHHHTHT | rot: THHHHHTH | flip: 01234567 HTHTTTTT\n",
+      " 198: HTHTTTTT | rot: THTTTTTH | flip: 0 2 4 6  HHHHHTHT\n",
+      " 199: HHHHHTHT | rot: HTHTHHHH | flip: 01234567 HTHTTTTT\n",
+      " 200: HTHTTTTT | rot: THTHTTTT | flip: 012 456  HHHHHTHT\n",
+      " 201: HHHHHTHT | rot: HHHHTHTH | flip: 01234567 HTHTTTTT\n",
+      " 202: HTHTTTTT | rot: THTTTTTH | flip: 0 2 4 6  HHHHHTHT\n",
+      " 203: HHHHHTHT | rot: THHHHHTH | flip: 01234567 HTHTTTTT\n",
+      " 204: HTHTTTTT | rot: HTHTTTTT | flip: 01  45   HHTHHTTT\n",
+      " 205: HHTHHTTT | rot: HHTHHTTT | flip: 01234567 HHHTTHTT\n",
+      " 206: HHHTTHTT | rot: HHTTHTTH | flip: 0 2 4 6  HHTHHTTT\n",
+      " 207: HHTHHTTT | rot: TTHHTHHT | flip: 01234567 HHHTTHTT\n",
+      " 208: HHHTTHTT | rot: THTTHHHT | flip: 0123     HHHHHTHT\n",
+      " 209: HHHHHTHT | rot: HHHHTHTH | flip: 01234567 HTHTTTTT\n",
+      " 210: HTHTTTTT | rot: HTTTTTHT | flip: 0 2 4 6  HTHTTTTT\n",
+      " 211: HTHTTTTT | rot: TTHTHTTT | flip: 01234567 HHHHHTHT\n",
+      " 212: HHHHHTHT | rot: HHTHTHHH | flip: 01  45   HHTHHTTT\n",
+      " 213: HHTHHTTT | rot: HTHHTTTH | flip: 01234567 HHHTTHTT\n",
+      " 214: HHHTTHTT | rot: HTTHHHTT | flip: 0 2 4 6  HHTHHTTT\n",
+      " 215: HHTHHTTT | rot: THHTTTHH | flip: 01234567 HHHTTHTT\n",
+      " 216: HHHTTHTT | rot: TTHTTHHH | flip: 012 456  HHHTTHTT\n",
+      " 217: HHHTTHTT | rot: HHTTHTTH | flip: 01234567 HHTHHTTT\n",
+      " 218: HHTHHTTT | rot: HTTTHHTH | flip: 0 2 4 6  HHHTTHTT\n",
+      " 219: HHHTTHTT | rot: HTTHHHTT | flip: 01234567 HHTHHTTT\n",
+      " 220: HHTHHTTT | rot: THHTHHTT | flip: 01  45   HTHTTTTT\n",
+      " 221: HTHTTTTT | rot: TTHTHTTT | flip: 01234567 HHHHHTHT\n",
+      " 222: HHHHHTHT | rot: THTHHHHH | flip: 0 2 4 6  HHHHHTHT\n",
+      " 223: HHHHHTHT | rot: HHHTHTHH | flip: 01234567 HTHTTTTT\n",
+      " 224: HTHTTTTT | rot: TTTHTHTT | flip: 01234 6  HHHTHHHT\n",
+      " 225: HHHTHHHT | rot: HHTHHHTH | flip: 01234567 HTTTHTTT\n",
+      " 226: HTTTHTTT | rot: HTTTHTTT | flip: 0 2 4 6  HTTTHTTT\n",
+      " 227: HTTTHTTT | rot: TTTHTTTH | flip: 01234567 HHHTHHHT\n",
+      " 228: HHHTHHHT | rot: HHHTHHHT | flip: 01  45   HTTTHTTT\n",
+      " 229: HTTTHTTT | rot: TTTHTTTH | flip: 01234567 HHHTHHHT\n",
+      " 230: HHHTHHHT | rot: HTHHHTHH | flip: 0 2 4 6  HTTTHTTT\n",
+      " 231: HTTTHTTT | rot: HTTTHTTT | flip: 01234567 HHHTHHHT\n",
+      " 232: HHHTHHHT | rot: HTHHHTHH | flip: 012 456  HTHTHTHT\n",
+      " 233: HTHTHTHT | rot: THTHTHTH | flip: 01234567 HTHTHTHT\n",
+      " 234: HTHTHTHT | rot: HTHTHTHT | flip: 0 2 4 6  TTTTTTTT\n",
+      " 235: TTTTTTTT | rot: TTTTTTTT | flip: 01234567 HHHHHHHH\n"
      ]
     },
     {
@@ -1245,13 +1281,6 @@
    "source": [
     "play(strategy8, 'HTTHTTHT', True)"
    ]
-  },
-  {
-   "cell_type": "code",
-   "execution_count": null,
-   "metadata": {},
-   "outputs": [],
-   "source": []
   }
  ],
  "metadata": {