connect_four_mini.ipynb

connect_four_mini.ipynb

{
  "nbformat": 4,
  "nbformat_minor": 0,
  "metadata": {
    "colab": {
      "provenance": [],
      "toc_visible": true,
      "authorship_tag": "ABX9TyOQVo4/MamsR88tqMS5ZSBx",
      "include_colab_link": true
    },
    "kernelspec": {
      "name": "python3",
      "display_name": "Python 3"
    },
    "language_info": {
      "name": "python"
    }
  },
  "cells": [
    {
      "cell_type": "markdown",
      "metadata": {
        "id": "view-in-github",
        "colab_type": "text"
      },
      "source": [
        "<a href=\"https://colab.research.google.com/gist/HlexNC/eabbd48c9b1eb0c407f109cb59037789/connect_four_mini.ipynb\" target=\"_parent\"><img src=\"https://colab.research.google.com/assets/colab-badge.svg\" alt=\"Open In Colab\"/></a>"
      ]
    },
    {
      "cell_type": "markdown",
      "source": [
        "# Connect Four Console: Mini Project\n",
        "\n",
        "> By: _@HlexNC_\n",
        "\n",
        "#### Description:\n",
        "This mini project implements a console-based version of the classic Connect Four game. The game allows two players to compete by taking turns dropping colored discs into a seven-column, six-row grid. The goal is to be the first to form a horizontal, vertical, or diagonal line of four discs.\n",
        "\n",
        "This project includes the following key features:\n",
        "- A visually appealing board display using the `rich` library for console output.\n",
        "- Several strategies for gameplay, including:\n",
        "  - **Human Strategy**: Allows human players to input their moves.\n",
        "  - **Random Strategy**: Makes random moves for a simple AI opponent.\n",
        "  - **Minimax Strategy**: Uses the minimax algorithm with alpha-beta pruning for a challenging AI opponent.\n",
        "\n",
        "## Table of Contents\n",
        "1. [Introduction](#scrollTo=fAYAG73FyJ8l)\n",
        "2. [Imports](#scrollTo=dLsdyGuvb7Oq)\n",
        "3. [Board Initialization](#scrollTo=hC81FLO4Z65-)\n",
        "4. [Display Function](#Display-Function)\n",
        "5. [Game Logic Functions](#scrollTo=sEwJWsfvleRh)\n",
        "6. [Minimax Algorithm](#scrollTo=LkDctgDOGCE-)\n",
        "7. [Strategies](#scrollTo=O4yTRvFNxIef)\n",
        "    - [Random Strategy](#scrollTo=wc67xjXCxPbm)\n",
        "    - [Human Strategy](#scrollTo=_oysj1NOzXJj)\n",
        "    - [Minimax Strategy](#scrollTo=fI7ikyo81Lpq)\n",
        "8. [Play the Game](#scrollTo=ynE0ZvnzpyE1)\n",
        "\n",
        "---"
      ],
      "metadata": {
        "id": "AQ9BDOJmp0tF"
      }
    },
    {
      "cell_type": "markdown",
      "source": [
        "## What is Conncect Four?\n",
        "\n",
        "Connect Four is a two-player connection game in which the players first choose a color and then take turns dropping colored discs from the top into a seven-column, six-row vertically suspended grid. The pieces fall straight down, occupying the lowest available space within the column. The objective of the game is to be the first to form a horizontal, vertical, or diagonal line of four of one's own discs."
      ],
      "metadata": {
        "id": "fAYAG73FyJ8l"
      }
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Imports"
      ],
      "metadata": {
        "id": "dLsdyGuvb7Oq"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "from rich.console import Console\n",
        "from rich.table import Table\n",
        "import random\n",
        "import math\n",
        "import numpy as np\n"
      ],
      "metadata": {
        "id": "hC0LvQVGb7nB"
      },
      "execution_count": 1,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Board Initialization"
      ],
      "metadata": {
        "id": "hC81FLO4Z65-"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "ROWS = 6\n",
        "COLS = 7"
      ],
      "metadata": {
        "id": "WuW9lewKZ6QC"
      },
      "execution_count": 2,
      "outputs": []
    },
    {
      "cell_type": "code",
      "source": [
        "board = [[' ' for _ in range(COLS)] for _ in range(ROWS)]"
      ],
      "metadata": {
        "id": "1BRZULj2aEhn"
      },
      "execution_count": 3,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Display Function\n",
        "This function takes the board as an argument and prints it in a formatted table with colored \"O\" and \"X\" cells."
      ],
      "metadata": {
        "id": "wgqXmFz6xpA7"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def display_board(board):\n",
        "    console = Console()\n",
        "    table = Table(show_header=True, header_style=\"bold magenta\")\n",
        "\n",
        "    for i in range(COLS):\n",
        "        table.add_column(str(i + 1))\n",
        "\n",
        "    for row in board:\n",
        "        colored_row = [\n",
        "            f\"[red]{cell}[/red]\" if cell == 'O' else (f\"[blue]{cell}[/blue]\" if cell == 'X' else cell)\n",
        "            for cell in row\n",
        "        ]\n",
        "        table.add_row(*colored_row)\n",
        "\n",
        "    console.print(table)\n"
      ],
      "metadata": {
        "id": "5U53HHscqoQh"
      },
      "execution_count": 4,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## User Input"
      ],
      "metadata": {
        "id": "w7QwYb6DdY6g"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def get_user_input(player):\n",
        "    while True:\n",
        "        try:\n",
        "            column = int(input(f\"Player {player}, choose a column (1-{COLS}): \")) - 1\n",
        "            if column < 0 or column >= COLS:\n",
        "                raise ValueError\n",
        "            if board[0][column] != ' ':\n",
        "                print(\"Column is full. Choose another column.\")\n",
        "                continue\n",
        "            return column\n",
        "        except ValueError:\n",
        "            print(f\"Invalid input. Please enter a number between 1 and {COLS}.\")\n"
      ],
      "metadata": {
        "id": "n7vzptO8fuN5"
      },
      "execution_count": 5,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Game Logic Functions"
      ],
      "metadata": {
        "id": "sEwJWsfvleRh"
      }
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Provde valid step options"
      ],
      "metadata": {
        "id": "m-UPYTd0FqDf"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def get_valid_locations(board):\n",
        "    return [col for col in range(COLS) if board[0][col] == ' ']"
      ],
      "metadata": {
        "id": "CCXL1RDdEZhm"
      },
      "execution_count": 6,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Drop a Piece Function\n",
        "I was debating it I should display the reversed list or add to the end. But this is much better. I am basically flipping the list and adding like to an actual function."
      ],
      "metadata": {
        "id": "P07TGDS4llAz"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def drop_piece(board, column, piece):\n",
        "    for row in reversed(range(ROWS)):\n",
        "        if board[row][column] == ' ':\n",
        "            board[row][column] = piece\n",
        "            return\n"
      ],
      "metadata": {
        "id": "cZmOMSOgl4mM"
      },
      "execution_count": 7,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Check for a Win"
      ],
      "metadata": {
        "id": "PypUdyIqmAcx"
      }
    },
    {
      "cell_type": "markdown",
      "source": [
        "#### Individual Check Functions"
      ],
      "metadata": {
        "id": "-aSCiszJr3ui"
      }
    },
    {
      "cell_type": "markdown",
      "source": [
        "Check horizontal locations `-`"
      ],
      "metadata": {
        "id": "5T9xfiHhowfS"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def check_horizontal(board, piece):\n",
        "    for c in range(COLS - 3):\n",
        "        for r in range(ROWS):\n",
        "            if board[r][c] == piece and board[r][c+1] == piece and board[r][c+2] == piece and board[r][c+3] == piece:\n",
        "                return True\n",
        "    return False"
      ],
      "metadata": {
        "id": "IoUFktJomGmc"
      },
      "execution_count": 8,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "Check vertical locations `|`"
      ],
      "metadata": {
        "id": "uomlUtwOoyhH"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def check_vertical(board, piece):\n",
        "    for c in range(COLS):\n",
        "        for r in range(ROWS - 3):\n",
        "            if board[r][c] == piece and board[r+1][c] == piece and board[r+2][c] == piece and board[r+3][c] == piece:\n",
        "                return True\n",
        "    return False"
      ],
      "metadata": {
        "id": "xZALTu2kmUJ2"
      },
      "execution_count": 9,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "Check positively sloped diagonals `/`"
      ],
      "metadata": {
        "id": "U12ROhYSo0bA"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def check_diagonal_positive(board, piece):\n",
        "    for c in range(COLS - 3):\n",
        "        for r in range(ROWS - 3):\n",
        "            if board[r][c] == piece and board[r+1][c+1] == piece and board[r+2][c+2] == piece and board[r+3][c+3] == piece:\n",
        "                return True\n",
        "    return False"
      ],
      "metadata": {
        "id": "if-hbnznmgLa"
      },
      "execution_count": 10,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "Check negatively sloped diagonals `\\`"
      ],
      "metadata": {
        "id": "qJroGhawo2ep"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def check_diagonal_negative(board, piece):\n",
        "    for c in range(COLS - 3):\n",
        "        for r in range(3, ROWS):\n",
        "            if board[r][c] == piece and board[r-1][c+1] == piece and board[r-2][c+2] == piece and board[r-3][c+3] == piece:\n",
        "                return True\n",
        "    return False"
      ],
      "metadata": {
        "id": "O7SlSE9ynSJd"
      },
      "execution_count": 11,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "#### Function to Check for a Win"
      ],
      "metadata": {
        "id": "zdZF1xuEog2h"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def check_win(board, piece):\n",
        "    return (check_horizontal(board, piece) or\n",
        "            check_vertical(board, piece) or\n",
        "            check_diagonal_positive(board, piece) or\n",
        "            check_diagonal_negative(board, piece))"
      ],
      "metadata": {
        "id": "MzdLTpaWncr_"
      },
      "execution_count": 12,
      "outputs": []
    },
    {
      "cell_type": "code",
      "source": [
        "def is_terminal_node(board):\n",
        "    return check_win(board, 'X') or check_win(board, 'O') or len(get_valid_locations(board)) == 0"
      ],
      "metadata": {
        "id": "N27NP9rnSd0g"
      },
      "execution_count": 13,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "#### Score of a position evaluation"
      ],
      "metadata": {
        "id": "2rvOL80rSoxs"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def score_position(board, piece):\n",
        "    opponent_piece = 'O' if piece == 'X' else 'X'\n",
        "    if check_win(board, piece):\n",
        "        return 100000\n",
        "    elif check_win(board, opponent_piece):\n",
        "        return -100000\n",
        "    else:\n",
        "        return 0"
      ],
      "metadata": {
        "id": "hJCKZFXYF3X6"
      },
      "execution_count": 14,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Minimax **Algorithm**\n"
      ],
      "metadata": {
        "id": "LkDctgDOGCE-"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def minimax(board, depth, alpha, beta, maximizingPlayer, player):\n",
        "    valid_locations = get_valid_locations(board)\n",
        "    terminal = is_terminal_node(board)\n",
        "    opponent = 'O' if player == 'X' else 'X'\n",
        "    if depth == 0 or terminal:\n",
        "        if terminal:\n",
        "            if check_win(board, player):\n",
        "                return (None, 100000)\n",
        "            elif check_win(board, opponent):\n",
        "                return (None, -100000)\n",
        "            else:\n",
        "                return (None, 0)\n",
        "        else:\n",
        "            return (None, score_position(board, player))\n",
        "    if maximizingPlayer:\n",
        "        value = -math.inf\n",
        "        best_column = random.choice(valid_locations)\n",
        "        for col in valid_locations:\n",
        "            temp_board = [row[:] for row in board]\n",
        "            drop_piece(temp_board, col, player)\n",
        "            new_score = minimax(temp_board, depth-1, alpha, beta, False, player)[1]\n",
        "            if new_score > value:\n",
        "                value = new_score\n",
        "                best_column = col\n",
        "            alpha = max(alpha, value)\n",
        "            if alpha >= beta:\n",
        "                break\n",
        "        return best_column, value\n",
        "    else:\n",
        "        value = math.inf\n",
        "        best_column = random.choice(valid_locations)\n",
        "        for col in valid_locations:\n",
        "            temp_board = [row[:] for row in board]\n",
        "            drop_piece(temp_board, col, opponent)\n",
        "            new_score = minimax(temp_board, depth-1, alpha, beta, True, player)[1]\n",
        "            if new_score < value:\n",
        "                value = new_score\n",
        "                best_column = col\n",
        "            beta = min(beta, value)\n",
        "            if alpha >= beta:\n",
        "                break\n",
        "        return best_column, value"
      ],
      "metadata": {
        "id": "0w4CZS94F7Ev"
      },
      "execution_count": 15,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Main Game Loop"
      ],
      "metadata": {
        "id": "6bclLujy4Q4X"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "def play_game(strategy1, strategy2):\n",
        "    board = [[' ' for _ in range(COLS)] for _ in range(ROWS)]\n",
        "    game_over = False\n",
        "    turn = 0  # Strategy 1 starts first\n",
        "    while not game_over:\n",
        "        if turn == 0:\n",
        "            col = strategy1.get_move(board)\n",
        "            if col is not None:\n",
        "                drop_piece(board, col, 'X')\n",
        "                if check_win(board, 'X'):\n",
        "                    display_board(board)\n",
        "                    print(\"Player 1 (X) wins!\")\n",
        "                    game_over = True\n",
        "        else:\n",
        "            col = strategy2.get_move(board)\n",
        "            if col is not None:\n",
        "                drop_piece(board, col, 'O')\n",
        "                if check_win(board, 'O'):\n",
        "                    display_board(board)\n",
        "                    print(\"Player 2 (O) wins!\")\n",
        "                    game_over = True\n",
        "        display_board(board)\n",
        "        turn += 1\n",
        "        turn %= 2\n",
        "        if not game_over and len(get_valid_locations(board)) == 0:\n",
        "            print(\"It's a tie!\")\n",
        "            game_over = True"
      ],
      "metadata": {
        "id": "pEaohI4l4UXU"
      },
      "execution_count": 16,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "## Strategy Pattern"
      ],
      "metadata": {
        "id": "O4yTRvFNxIef"
      }
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Human Strategy"
      ],
      "metadata": {
        "id": "wc67xjXCxPbm"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "class HumanStrategy:\n",
        "    def get_move(self, board, player):\n",
        "        return get_user_input(player)"
      ],
      "metadata": {
        "id": "bI7_8Tc2zSq2"
      },
      "execution_count": 17,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "### Random Strategy"
      ],
      "metadata": {
        "id": "_oysj1NOzXJj"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "class RandomStrategy:\n",
        "    def get_move(self, board, player):\n",
        "        valid_columns = [col for col in range(COLS) if board[0][col] == ' ']\n",
        "        return random.choice(valid_columns)\n"
      ],
      "metadata": {
        "id": "U_DUFy0nzaZh"
      },
      "execution_count": 18,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "### AI Strategy using Minimax"
      ],
      "metadata": {
        "id": "fI7ikyo81Lpq"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "class MinimaxStrategy:\n",
        "    def __init__(self, depth):\n",
        "        self.depth = depth\n",
        "\n",
        "    def get_move(self, board):\n",
        "        return minimax(board, self.depth, -math.inf, math.inf, True, 'X')[0]"
      ],
      "metadata": {
        "id": "zD0PK1a9zlR2"
      },
      "execution_count": 19,
      "outputs": []
    },
    {
      "cell_type": "markdown",
      "source": [
        "# Play the game\n",
        "If there are issues with the input block not appearing, just re-run the block play game block"
      ],
      "metadata": {
        "id": "ynE0ZvnzpyE1"
      }
    },
    {
      "cell_type": "code",
      "source": [
        "board = [[' ' for _ in range(COLS)] for _ in range(ROWS)]\n",
        "\n",
        "# Example strategies\n",
        "human = HumanStrategy()\n",
        "random_move = RandomStrategy()\n",
        "ai1 = MinimaxStrategy(depth=4)\n",
        "ai2 = MinimaxStrategy(depth=4)\n",
        "\n",
        "# Play a game between a human and the AI\n",
        "play_game(ai1, ai2)\n"
      ],
      "metadata": {
        "colab": {
          "base_uri": "https://localhost:8080/",
          "height": 1000
        },
        "id": "MgYljLT0p0pt",
        "outputId": "df8bb56a-52b9-4b09-fd00-e2cfe68ebd54"
      },
      "execution_count": 20,
      "outputs": [
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│   │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│   │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │   │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │   │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │   │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        },
        {
          "output_type": "stream",
          "name": "stdout",
          "text": [
            "Player 2 (O) wins!\n"
          ]
        },
        {
          "output_type": "display_data",
          "data": {
            "text/plain": [
              "┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃\u001b[1;35m \u001b[0m\u001b[1;35m1\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m2\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m3\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m4\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m5\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m6\u001b[0m\u001b[1;35m \u001b[0m┃\u001b[1;35m \u001b[0m\u001b[1;35m7\u001b[0m\u001b[1;35m \u001b[0m┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │   │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │   │\n",
              "│ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[31mO\u001b[0m │\n",
              "│ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[31mO\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │ \u001b[34mX\u001b[0m │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n"
            ],
            "text/html": [
              "<pre style=\"white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace\">┏━━━┳━━━┳━━━┳━━━┳━━━┳━━━┳━━━┓\n",
              "┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 1 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 2 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 3 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 4 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 5 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 6 </span>┃<span style=\"color: #800080; text-decoration-color: #800080; font-weight: bold\"> 7 </span>┃\n",
              "┡━━━╇━━━╇━━━╇━━━╇━━━╇━━━╇━━━┩\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │   │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │   │\n",
              "│ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │\n",
              "│ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #800000; text-decoration-color: #800000\">O</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │ <span style=\"color: #000080; text-decoration-color: #000080\">X</span> │\n",
              "└───┴───┴───┴───┴───┴───┴───┘\n",
              "</pre>\n"
            ]
          },
          "metadata": {}
        }
      ]
    }
  ]
}