Add files via upload
This commit is contained in:
Peter Norvig
GitHub
@@ -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": {
|
||||
|
||||
Reference in New Issue
Block a user