From 1ffdb3cfceee426519e50bfa4c18a4d30149b4d1 Mon Sep 17 00:00:00 2001 From: Stas Versilov Date: Thu, 31 May 2018 18:04:40 +0400 Subject: [PATCH] Add visualization example. --- Matrex.ipynb | 101 ++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 99 insertions(+), 2 deletions(-) diff --git a/Matrex.ipynb b/Matrex.ipynb index bbae898..4437aac 100644 --- a/Matrex.ipynb +++ b/Matrex.ipynb @@ -11,7 +11,7 @@ }, { "cell_type": "code", - "execution_count": 1, + "execution_count": 17, "metadata": {}, "outputs": [ { @@ -20,12 +20,14 @@ "{:module, LinearRegression, <<70, 79, 82, 49, 0, 0, 16, 0, 66, 69, 65, 77, 65, 116, 85, 56, 0, 0, 1, 124, 0, 0, 0, 45, 23, 69, 108, 105, 120, 105, 114, 46, 76, 105, 110, 101, 97, 114, 82, 101, 103, 114, 101, 115, 115, 105, 111, ...>>, {:lr_cost_fun_ops, 2}}" ] }, - "execution_count": 1, + "execution_count": 17, "metadata": {}, "output_type": "execute_result" } ], "source": [ + "import Matrex\n", + "\n", "# Define cost function with regularization.\n", "# Take notion of heavy usage of paired functions, which do two matrix operations at one call.\n", "# For example, dot_tn() returns dot product of two matrices, the first of which is being\n", @@ -162,11 +164,106 @@ } ], "source": [ + "\n", "# Load training data (5 000 MNIST digits in 20x20 pixels format)\n", "# A column of ones was added to the beginning of the matrix.\n", "x = Matrex.load(\"../matrex/test/data/X.mtx.gz\")" ] }, + { + "cell_type": "code", + "execution_count": 27, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "\u001b[?25l\u001b[0m#Matrex[\u001b[33m80\u001b[0m×\u001b[33m80\u001b[0m]\n", + "\u001b[0m┌ ┐\n", + "│\u001b[48;5;254m \u001b[38;5;255m▄▄▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;253;38;5;251m▄\u001b[48;5;243;38;5;233m▄\u001b[48;5;236;38;5;232m▄\u001b[48;5;239m▄\u001b[48;5;245m▄\u001b[48;5;249;38;5;234m▄\u001b[48;5;254;38;5;242m▄\u001b[38;5;252m▄ \u001b[38;5;255m▄ \u001b[48;5;255;38;5;251m▄\u001b[38;5;247m▄\u001b[38;5;246m▄\u001b[48;5;254;38;5;252m▄ \u001b[38;5;253m▄\u001b[48;5;253;38;5;241m▄\u001b[48;5;254;38;5;244m▄\u001b[48;5;252;38;5;239m▄\u001b[48;5;245;38;5;241m▄\u001b[48;5;241;38;5;244m▄\u001b[48;5;245m \u001b[48;5;255m \u001b[48;5;254m \u001b[48;5;249;38;5;250m▄\u001b[48;5;238;38;5;246m▄\u001b[48;5;242;38;5;254m▄\u001b[48;5;243m▄\u001b[48;5;242m▄\u001b[48;5;239;38;5;252m▄\u001b[48;5;242;38;5;245m▄\u001b[48;5;249;38;5;237m▄\u001b[48;5;254;38;5;244m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;252;38;5;254m▄\u001b[48;5;235;38;5;248m▄\u001b[48;5;232;38;5;237m▄\u001b[48;5;236;38;5;243m▄\u001b[48;5;235;38;5;250m▄\u001b[48;5;0;38;5;239m▄\u001b[48;5;232;38;5;233m▄\u001b[48;5;241;38;5;232m▄\u001b[48;5;254;38;5;245m▄ \u001b[48;5;255;38;5;247m▄\u001b[48;5;254;38;5;237m▄\u001b[48;5;247;38;5;232m▄\u001b[48;5;238;38;5;234m▄\u001b[48;5;235;38;5;241m▄\u001b[48;5;233;38;5;245m▄\u001b[48;5;232;38;5;239m▄\u001b[48;5;239;38;5;234m▄\u001b[48;5;253;38;5;252m▄\u001b[48;5;254m \u001b[48;5;255;38;5;247m▄\u001b[48;5;248;38;5;235m▄\u001b[48;5;232;38;5;234m▄\u001b[48;5;234;38;5;249m▄\u001b[48;5;244;38;5;255m▄\u001b[48;5;254;38;5;251m▄\u001b[48;5;245;38;5;238m▄\u001b[48;5;247;38;5;252m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;252;38;5;255m▄\u001b[48;5;238;38;5;251m▄\u001b[48;5;244;38;5;239m▄\u001b[48;5;255;38;5;248m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;253m▄\u001b[48;5;249m▄\u001b[48;5;253m▄\u001b[48;5;254m \u001b[48;5;238;38;5;240m▄\u001b[48;5;0m \u001b[48;5;237;38;5;236m▄\u001b[48;5;252;38;5;251m▄\u001b[48;5;254m \u001b[48;5;244m \u001b[48;5;232;38;5;237m▄\u001b[38;5;246m▄\u001b[48;5;242;38;5;254m▄\u001b[48;5;250;38;5;255m▄\u001b[48;5;255m \u001b[48;5;253;38;5;246m▄\u001b[48;5;236;38;5;232m▄\u001b[48;5;239;38;5;245m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;253m▄\u001b[48;5;248;38;5;237m▄\u001b[48;5;233m \u001b[48;5;235;38;5;251m▄\u001b[48;5;249;38;5;255m▄\u001b[48;5;254m▄\u001b[38;5;248m▄\u001b[48;5;243;38;5;238m▄\u001b[38;5;252m▄\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;246;38;5;248m▄\u001b[48;5;242;38;5;243m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;240;38;5;238m▄\u001b[48;5;0m \u001b[48;5;237;38;5;242m▄\u001b[48;5;252;38;5;255m▄\u001b[48;5;254m \u001b[38;5;255m▄▄▄▄▄▄\u001b[48;5;255;38;5;250m▄\u001b[48;5;250;38;5;236m▄\u001b[48;5;234;38;5;237m▄\u001b[48;5;240;38;5;253m▄\u001b[48;5;254;38;5;255m▄ \u001b[48;5;252;38;5;254m▄\u001b[48;5;238;38;5;253m▄\u001b[48;5;247;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;252;38;5;240m▄\u001b[48;5;237;38;5;238m▄\u001b[48;5;245;38;5;252m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;248;38;5;245m▄\u001b[48;5;243;38;5;241m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;255m▄▄▄▄▄▄▄\u001b[48;5;255;38;5;247m▄\u001b[48;5;247;38;5;234m▄\u001b[48;5;232m \u001b[48;5;236;38;5;242m▄\u001b[48;5;251;38;5;254m▄\u001b[48;5;254m \u001b[38;5;252m▄\u001b[38;5;243m▄\u001b[48;5;253;38;5;238m▄\u001b[48;5;251;38;5;235m▄\u001b[48;5;250;38;5;233m▄\u001b[38;5;234m▄\u001b[48;5;251;38;5;235m▄\u001b[48;5;250m▄\u001b[48;5;249;38;5;233m▄\u001b[48;5;238;38;5;232m▄\u001b[48;5;232;38;5;233m▄\u001b[48;5;245;38;5;236m▄\u001b[48;5;252;38;5;240m▄\u001b[48;5;253;38;5;248m▄\u001b[48;5;254m \u001b[48;5;255;38;5;250m▄\u001b[48;5;254;38;5;241m▄\u001b[48;5;252;38;5;236m▄\u001b[48;5;249;38;5;233m▄\u001b[48;5;247;38;5;232m▄\u001b[48;5;243;38;5;0m▄\u001b[48;5;242;38;5;232m▄\u001b[48;5;238;38;5;247m▄\u001b[48;5;252;38;5;255m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;253;38;5;243m▄\u001b[48;5;237;38;5;240m▄\u001b[48;5;246;38;5;253m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;248m▄\u001b[48;5;252;38;5;236m▄\u001b[48;5;251;38;5;232m▄\u001b[48;5;244m▄\u001b[48;5;241m▄\u001b[48;5;246m▄\u001b[48;5;251m▄▄\u001b[48;5;243m▄\u001b[48;5;234m▄\u001b[48;5;232m \u001b[48;5;236;38;5;232m▄\u001b[48;5;250;38;5;238m▄\u001b[48;5;255;38;5;243m▄\u001b[48;5;254;38;5;251m▄ \u001b[38;5;252m▄\u001b[48;5;242;38;5;235m▄\u001b[48;5;233;38;5;245m▄\u001b[48;5;238;38;5;255m▄\u001b[48;5;242m▄▄\u001b[48;5;240;38;5;250m▄\u001b[48;5;238m \u001b[48;5;232;38;5;233m▄\u001b[48;5;234;38;5;246m▄\u001b[48;5;244;38;5;255m▄\u001b[48;5;250m▄\u001b[48;5;251;38;5;254m▄▄\u001b[48;5;253m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;253;38;5;247m▄\u001b[48;5;242;38;5;232m▄\u001b[48;5;234;38;5;238m▄\u001b[48;5;236;38;5;249m▄\u001b[48;5;240m▄\u001b[48;5;249;38;5;243m▄\u001b[48;5;246;38;5;235m▄\u001b[48;5;234;38;5;244m▄\u001b[38;5;238m▄\u001b[48;5;248;38;5;247m▄\u001b[48;5;255m \u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;247;38;5;238m▄\u001b[48;5;238;38;5;246m▄\u001b[48;5;239;38;5;252m▄\u001b[48;5;241;38;5;249m▄\u001b[48;5;243;38;5;247m▄\u001b[48;5;244;38;5;243m▄\u001b[48;5;249;38;5;236m▄\u001b[48;5;248;38;5;233m▄\u001b[48;5;238m \u001b[48;5;252;38;5;244m▄\u001b[48;5;255;38;5;246m▄\u001b[38;5;249m▄\u001b[48;5;254;38;5;251m▄▄\u001b[38;5;252m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;238;38;5;245m▄\u001b[48;5;232m \u001b[48;5;233;38;5;0m▄▄▄\u001b[38;5;232m▄\u001b[48;5;232;38;5;235m▄\u001b[38;5;241m▄\u001b[48;5;234;38;5;250m▄\u001b[48;5;239;38;5;254m▄\u001b[48;5;241m▄\u001b[48;5;236;38;5;252m▄\u001b[48;5;235m▄\u001b[48;5;240;38;5;254m▄\u001b[48;5;249m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[48;5;252;38;5;254m▄\u001b[48;5;235;38;5;243m▄\u001b[48;5;238;38;5;234m▄\u001b[48;5;248;38;5;233m▄\u001b[48;5;245m▄\u001b[48;5;240;38;5;236m▄\u001b[48;5;234;38;5;244m▄\u001b[48;5;235;38;5;252m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;245;38;5;250m▄\u001b[48;5;0;38;5;239m▄\u001b[48;5;234;38;5;237m▄\u001b[48;5;235m▄\u001b[48;5;233;38;5;243m▄\u001b[38;5;250m▄\u001b[48;5;243;38;5;255m▄\u001b[48;5;250;38;5;248m▄\u001b[48;5;235;38;5;233m▄\u001b[48;5;249;38;5;251m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;240;38;5;248m▄\u001b[48;5;247;38;5;238m▄\u001b[48;5;255;38;5;243m▄\u001b[38;5;244m▄\u001b[48;5;252;38;5;240m▄\u001b[48;5;245;38;5;242m▄\u001b[48;5;236;38;5;249m▄\u001b[48;5;246;38;5;254m▄\u001b[48;5;250;38;5;255m▄\u001b[48;5;247m▄\u001b[48;5;244;38;5;254m▄▄\u001b[48;5;242;38;5;253m▄\u001b[48;5;240m▄\u001b[48;5;248;38;5;254m▄\u001b[48;5;255m▄\u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;252;38;5;254m▄\u001b[48;5;246;38;5;255m▄\u001b[48;5;245m▄▄▄\u001b[48;5;246m▄\u001b[48;5;251m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;249;38;5;255m▄\u001b[48;5;246m▄\u001b[48;5;248m▄\u001b[48;5;252;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;252;38;5;254m▄\u001b[48;5;246;38;5;255m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;251;38;5;255m▄\u001b[48;5;245m▄\u001b[48;5;246m▄\u001b[48;5;251;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;255m▄▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;250m▄\u001b[38;5;247m▄\u001b[48;5;254;38;5;253m▄\u001b[38;5;255m▄ \u001b[38;5;251m▄\u001b[38;5;241m▄\u001b[48;5;252;38;5;236m▄\u001b[48;5;251;38;5;0m▄▄\u001b[48;5;252;38;5;234m▄\u001b[48;5;253;38;5;239m▄\u001b[48;5;254;38;5;248m▄\u001b[38;5;255m▄ \u001b[38;5;255m▄▄\u001b[38;5;252m▄\u001b[48;5;255;38;5;249m▄▄\u001b[48;5;254;38;5;242m▄\u001b[38;5;248m▄\u001b[38;5;255m▄ \u001b[38;5;250m▄\u001b[48;5;251;38;5;233m▄▄\u001b[48;5;253;38;5;237m▄\u001b[48;5;254;38;5;243m▄\u001b[48;5;255;38;5;248m▄\u001b[48;5;254;38;5;253m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;244;38;5;245m▄\u001b[48;5;232;38;5;0m▄\u001b[48;5;238;38;5;232m▄\u001b[48;5;248;38;5;233m▄\u001b[48;5;243m▄\u001b[38;5;232m▄▄\u001b[48;5;252;38;5;245m▄\u001b[48;5;254;38;5;255m▄ \u001b[48;5;238;38;5;236m▄\u001b[48;5;0;38;5;232m▄\u001b[48;5;233;38;5;250m▄\u001b[48;5;239;38;5;254m▄\u001b[48;5;240m▄\u001b[48;5;233;38;5;252m▄\u001b[48;5;0;38;5;243m▄\u001b[48;5;234;38;5;232m▄\u001b[48;5;247;38;5;234m▄\u001b[48;5;255;38;5;249m▄\u001b[48;5;254;38;5;255m▄ \u001b[38;5;255m▄\u001b[48;5;255;38;5;250m▄\u001b[48;5;254;38;5;241m▄\u001b[48;5;251;38;5;232m▄\u001b[48;5;245;38;5;235m▄\u001b[48;5;249;38;5;243m▄\u001b[48;5;248;38;5;252m▄\u001b[38;5;253m▄\u001b[48;5;246;38;5;241m▄\u001b[48;5;236;38;5;243m▄\u001b[48;5;251;38;5;255m▄\u001b[48;5;254m \u001b[48;5;250;38;5;254m▄\u001b[48;5;240m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;245m▄\u001b[48;5;237;38;5;253m▄\u001b[48;5;233;38;5;245m▄\u001b[48;5;239;38;5;232m▄\u001b[48;5;251;38;5;240m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;246;38;5;253m▄\u001b[48;5;234;38;5;252m▄\u001b[48;5;235m▄\u001b[48;5;233;38;5;246m▄\u001b[48;5;232;38;5;242m▄\u001b[38;5;234m▄ \u001b[48;5;245m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[38;5;253m▄\u001b[48;5;253;38;5;246m▄\u001b[48;5;254;38;5;252m▄ \u001b[48;5;249;38;5;255m▄\u001b[48;5;244m▄\u001b[48;5;252;38;5;254m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;241;38;5;250m▄\u001b[48;5;0;38;5;233m▄\u001b[48;5;244;38;5;241m▄\u001b[48;5;254m \u001b[48;5;253;38;5;252m▄\u001b[48;5;244;38;5;236m▄\u001b[48;5;234;38;5;239m▄\u001b[48;5;232;38;5;248m▄\u001b[48;5;239;38;5;254m▄\u001b[48;5;250;38;5;255m▄\u001b[48;5;255;38;5;252m▄\u001b[48;5;254;38;5;241m▄\u001b[48;5;241;38;5;242m▄\u001b[48;5;240;38;5;252m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;248m▄\u001b[48;5;248;38;5;234m▄\u001b[48;5;233;38;5;237m▄\u001b[48;5;241;38;5;251m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;253;38;5;251m▄\u001b[48;5;248;38;5;236m▄\u001b[48;5;235;38;5;232m▄\u001b[48;5;0;38;5;243m▄\u001b[48;5;245;38;5;250m▄\u001b[48;5;255m▄\u001b[48;5;252;38;5;239m▄\u001b[48;5;249;38;5;233m▄\u001b[48;5;252;38;5;237m▄\u001b[48;5;244m \u001b[48;5;253;38;5;255m▄\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;252m \u001b[48;5;234m \u001b[48;5;237;38;5;238m▄\u001b[48;5;254m \u001b[48;5;253;38;5;255m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;250m▄\u001b[48;5;252;38;5;237m▄\u001b[48;5;238;38;5;240m▄\u001b[48;5;240;38;5;252m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[38;5;246m▄\u001b[48;5;245;38;5;233m▄\u001b[48;5;234;38;5;238m▄\u001b[48;5;237;38;5;251m▄\u001b[48;5;252;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;252;38;5;253m▄\u001b[48;5;237;38;5;239m▄\u001b[48;5;232m \u001b[48;5;240;38;5;232m▄\u001b[48;5;238m▄\u001b[48;5;233m▄\u001b[48;5;232;38;5;235m▄\u001b[48;5;234;38;5;248m▄\u001b[48;5;241;38;5;253m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[48;5;252;38;5;240m▄\u001b[48;5;242;38;5;0m▄\u001b[48;5;237;38;5;233m▄\u001b[48;5;236;38;5;240m▄\u001b[38;5;241m▄\u001b[38;5;242m▄\u001b[38;5;246m▄\u001b[48;5;238;38;5;242m▄\u001b[48;5;240;38;5;233m▄\u001b[48;5;232m \u001b[48;5;243;38;5;235m▄\u001b[48;5;255;38;5;245m▄\u001b[48;5;254m \u001b[48;5;255;38;5;250m▄\u001b[48;5;254;38;5;241m▄\u001b[48;5;253;38;5;238m▄\u001b[48;5;251;38;5;236m▄\u001b[48;5;252;38;5;237m▄\u001b[48;5;251;38;5;235m▄\u001b[48;5;239;38;5;240m▄\u001b[48;5;238;38;5;253m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;249;38;5;239m▄\u001b[48;5;233;38;5;235m▄\u001b[48;5;238;38;5;251m▄\u001b[48;5;253;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;251m▄\u001b[38;5;242m▄\u001b[48;5;250;38;5;234m▄\u001b[48;5;241;38;5;232m▄\u001b[48;5;233m \u001b[48;5;232m \u001b[38;5;233m▄\u001b[48;5;235;38;5;243m▄\u001b[48;5;249;38;5;254m▄\u001b[48;5;252m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;251m▄\u001b[48;5;235;38;5;240m▄\u001b[48;5;234;38;5;0m▄\u001b[48;5;246;38;5;236m▄\u001b[48;5;253;38;5;241m▄\u001b[48;5;255;38;5;244m▄\u001b[48;5;254;38;5;241m▄\u001b[48;5;252;38;5;235m▄\u001b[48;5;241;38;5;0m▄\u001b[48;5;232;38;5;235m▄\u001b[48;5;234;38;5;249m▄\u001b[48;5;233;38;5;247m▄\u001b[48;5;232;38;5;236m▄\u001b[48;5;244;38;5;232m▄\u001b[48;5;254;38;5;250m▄ \u001b[38;5;255m▄\u001b[48;5;251;38;5;241m▄\u001b[48;5;235m \u001b[48;5;236;38;5;252m▄\u001b[48;5;243;38;5;251m▄\u001b[48;5;237;38;5;238m▄\u001b[48;5;232;38;5;241m▄\u001b[48;5;233;38;5;249m▄\u001b[48;5;242;38;5;235m▄\u001b[48;5;254;38;5;245m▄ \u001b[48;5;251;38;5;249m▄\u001b[48;5;235m \u001b[48;5;244;38;5;249m▄\u001b[48;5;255m \u001b[48;5;254m \u001b[38;5;255m▄\u001b[38;5;252m▄\u001b[38;5;243m▄\u001b[38;5;249m▄\u001b[38;5;255m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;246;38;5;245m▄\u001b[48;5;232m \u001b[38;5;233m▄\u001b[38;5;235m▄\u001b[48;5;233;38;5;250m▄\u001b[48;5;243;38;5;254m▄\u001b[48;5;254m \u001b[48;5;251;38;5;254m▄\u001b[48;5;241m▄\u001b[48;5;233;38;5;249m▄\u001b[48;5;232;38;5;246m▄\u001b[48;5;0;38;5;247m▄\u001b[48;5;232;38;5;246m▄\u001b[48;5;233;38;5;249m▄\u001b[48;5;239;38;5;254m▄\u001b[48;5;249;38;5;255m▄\u001b[48;5;255;38;5;254m▄ \u001b[48;5;249;38;5;248m▄\u001b[48;5;234;38;5;233m▄\u001b[48;5;248m \u001b[48;5;255m \u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;244;38;5;251m▄\u001b[48;5;235m \u001b[48;5;245;38;5;233m▄\u001b[48;5;237;38;5;242m▄\u001b[48;5;240;38;5;254m▄\u001b[48;5;252m▄\u001b[48;5;255m \u001b[48;5;241;38;5;244m▄\u001b[48;5;238;38;5;237m▄\u001b[48;5;254m \u001b[48;5;253;38;5;255m▄\u001b[48;5;236;38;5;246m▄\u001b[48;5;240;38;5;233m▄\u001b[48;5;253;38;5;237m▄\u001b[48;5;255;38;5;247m▄\u001b[38;5;249m▄\u001b[48;5;254;38;5;243m▄\u001b[48;5;250;38;5;234m▄\u001b[48;5;239;38;5;235m▄\u001b[48;5;234;38;5;248m▄\u001b[48;5;251;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;245;38;5;246m▄\u001b[48;5;0;38;5;235m▄\u001b[48;5;233;38;5;236m▄\u001b[48;5;245;38;5;249m▄\u001b[48;5;250;38;5;255m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄▄▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;246;38;5;253m▄\u001b[48;5;233;38;5;251m▄\u001b[48;5;249;38;5;254m▄\u001b[48;5;254m \u001b[48;5;250;38;5;255m▄\u001b[48;5;247m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;247;38;5;253m▄\u001b[48;5;242m▄\u001b[48;5;254m \u001b[48;5;247;38;5;255m▄\u001b[48;5;237;38;5;253m▄\u001b[48;5;232;38;5;251m▄\u001b[48;5;233m▄\u001b[48;5;236;38;5;252m▄\u001b[48;5;243;38;5;255m▄\u001b[48;5;251;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;255;38;5;244m▄\u001b[48;5;254;38;5;250m▄\u001b[38;5;255m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;255;38;5;250m▄\u001b[38;5;247m▄\u001b[48;5;254;38;5;243m▄\u001b[38;5;242m▄\u001b[48;5;252;38;5;234m▄\u001b[48;5;251m▄\u001b[48;5;252;38;5;238m▄\u001b[48;5;254;38;5;249m▄ \u001b[48;5;255;38;5;254m▄\u001b[48;5;250;38;5;251m▄\u001b[48;5;233;38;5;236m▄\u001b[48;5;235;38;5;0m▄\u001b[48;5;251;38;5;240m▄\u001b[48;5;255;38;5;253m▄\u001b[48;5;254m \u001b[48;5;255;38;5;249m▄\u001b[48;5;251;38;5;236m▄\u001b[48;5;239;38;5;241m▄\u001b[48;5;237;38;5;243m▄\u001b[48;5;249;38;5;238m▄\u001b[48;5;254;38;5;252m▄ \u001b[38;5;255m▄\u001b[48;5;255;38;5;251m▄\u001b[48;5;253;38;5;239m▄\u001b[48;5;251;38;5;234m▄\u001b[48;5;254;38;5;244m▄\u001b[38;5;242m▄\u001b[48;5;253;38;5;240m▄\u001b[48;5;254;38;5;252m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;244;38;5;247m▄\u001b[48;5;234;38;5;236m▄\u001b[48;5;233;38;5;243m▄\u001b[48;5;234;38;5;253m▄\u001b[48;5;241;38;5;254m▄\u001b[48;5;246;38;5;255m▄\u001b[48;5;249m▄\u001b[48;5;247;38;5;254m▄\u001b[48;5;240;38;5;239m▄\u001b[48;5;252;38;5;243m▄\u001b[48;5;254m \u001b[48;5;243;38;5;254m▄\u001b[48;5;232;38;5;236m▄ \u001b[48;5;240;38;5;232m▄\u001b[48;5;254;38;5;249m▄ \u001b[48;5;253;38;5;242m▄\u001b[48;5;242;38;5;249m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;254m \u001b[48;5;253;38;5;254m▄\u001b[48;5;236;38;5;239m▄\u001b[48;5;245;38;5;243m▄\u001b[48;5;255m \u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;249m▄\u001b[48;5;254;38;5;238m▄\u001b[48;5;247;38;5;232m▄\u001b[48;5;235;38;5;236m▄\u001b[48;5;232;38;5;245m▄\u001b[48;5;234;38;5;251m▄\u001b[48;5;239;38;5;254m▄\u001b[48;5;243;38;5;248m▄\u001b[48;5;235;38;5;238m▄\u001b[48;5;249;38;5;253m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;253;38;5;248m▄\u001b[48;5;236;38;5;232m▄\u001b[48;5;239;38;5;241m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;250m▄\u001b[48;5;240;38;5;235m▄\u001b[48;5;232;38;5;0m▄\u001b[48;5;235;38;5;244m▄\u001b[48;5;252;38;5;255m▄\u001b[48;5;254m \u001b[48;5;243;38;5;254m▄\u001b[48;5;253m▄\u001b[48;5;254m \u001b[38;5;252m▄\u001b[48;5;240;38;5;236m▄\u001b[48;5;244;38;5;243m▄\u001b[48;5;255m \u001b[48;5;254m \u001b[38;5;252m▄\u001b[48;5;248;38;5;237m▄\u001b[48;5;234;38;5;238m▄\u001b[38;5;251m▄\u001b[48;5;244;38;5;255m▄\u001b[48;5;252;38;5;254m▄\u001b[48;5;255m▄ \u001b[38;5;246m▄\u001b[48;5;239;38;5;235m▄\u001b[48;5;241;38;5;250m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;248m▄\u001b[48;5;251;38;5;236m▄\u001b[48;5;237;38;5;232m▄\u001b[48;5;234;38;5;246m▄\u001b[48;5;250;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[38;5;253m▄\u001b[48;5;255;38;5;244m▄\u001b[48;5;253;38;5;238m▄\u001b[48;5;246;38;5;232m▄\u001b[48;5;236;38;5;0m▄\u001b[48;5;0;38;5;234m▄\u001b[48;5;237;38;5;250m▄\u001b[48;5;251;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[38;5;255m▄▄ \u001b[38;5;252m▄\u001b[38;5;253m▄▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;249;38;5;242m▄\u001b[48;5;235;38;5;240m▄\u001b[48;5;247;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[48;5;252;38;5;255m▄\u001b[48;5;247m▄\u001b[48;5;253m▄\u001b[48;5;255m \u001b[48;5;254;38;5;255m▄▄\u001b[48;5;255;38;5;250m▄\u001b[48;5;247;38;5;236m▄\u001b[48;5;234;38;5;244m▄\u001b[48;5;246;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;255;38;5;246m▄\u001b[48;5;249;38;5;235m▄\u001b[48;5;233m \u001b[38;5;246m▄\u001b[48;5;244;38;5;255m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[38;5;252m▄\u001b[38;5;241m▄\u001b[48;5;252;38;5;236m▄\u001b[48;5;248;38;5;234m▄\u001b[48;5;240;38;5;0m▄\u001b[48;5;232m \u001b[48;5;0;38;5;232m▄\u001b[48;5;232;38;5;247m▄\u001b[48;5;237;38;5;255m▄\u001b[48;5;249m▄\u001b[48;5;255m \u001b[48;5;254;38;5;255m▄\u001b[48;5;255;38;5;246m▄\u001b[38;5;241m▄\u001b[48;5;254;38;5;252m▄ \u001b[38;5;244m▄\u001b[48;5;249;38;5;237m▄\u001b[48;5;246;38;5;242m▄\u001b[48;5;248;38;5;249m▄\u001b[48;5;243m▄\u001b[48;5;241;38;5;253m▄\u001b[48;5;240;38;5;252m▄\u001b[48;5;243m▄\u001b[48;5;239;38;5;238m▄\u001b[48;5;234m▄\u001b[48;5;241;38;5;247m▄\u001b[48;5;249;38;5;248m▄\u001b[48;5;252;38;5;250m▄\u001b[48;5;254m \u001b[38;5;244m▄\u001b[48;5;250;38;5;234m▄\u001b[48;5;249;38;5;233m▄▄▄\u001b[48;5;251;38;5;235m▄\u001b[48;5;249;38;5;233m▄\u001b[48;5;237;38;5;240m▄\u001b[48;5;242;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;245m▄\u001b[48;5;245;38;5;234m▄\u001b[48;5;235;38;5;238m▄\u001b[38;5;249m▄\u001b[48;5;245;38;5;255m▄\u001b[48;5;254m \u001b[48;5;253;38;5;252m▄\u001b[48;5;238;38;5;236m▄\u001b[48;5;0;38;5;232m▄\u001b[48;5;232;38;5;0m▄ \u001b[48;5;234;38;5;232m▄\u001b[48;5;239m▄\u001b[48;5;244m▄\u001b[48;5;243m▄\u001b[38;5;0m▄\u001b[48;5;242m▄\u001b[48;5;236m▄\u001b[48;5;232;38;5;236m▄\u001b[48;5;237;38;5;251m▄\u001b[48;5;253;38;5;255m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;250;38;5;244m▄\u001b[48;5;236;38;5;242m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;255;38;5;254m▄▄▄\u001b[48;5;254;38;5;255m▄\u001b[48;5;255;38;5;246m▄\u001b[48;5;246;38;5;238m▄\u001b[48;5;237;38;5;248m▄\u001b[48;5;250;38;5;255m▄\u001b[48;5;255;38;5;254m▄▄\u001b[48;5;254m \u001b[48;5;255m \u001b[48;5;248m \u001b[48;5;233m \u001b[48;5;232;38;5;0m▄\u001b[48;5;234;38;5;232m▄\u001b[48;5;233m \u001b[48;5;0;38;5;238m▄\u001b[48;5;233;38;5;247m▄\u001b[48;5;232;38;5;245m▄\u001b[48;5;233;38;5;236m▄\u001b[48;5;242;38;5;0m▄\u001b[48;5;253;38;5;241m▄\u001b[48;5;255;38;5;253m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;247;38;5;248m▄\u001b[48;5;233m \u001b[38;5;0m▄\u001b[48;5;244;38;5;232m▄\u001b[48;5;253;38;5;238m▄\u001b[48;5;254;38;5;240m▄▄\u001b[38;5;245m▄\u001b[38;5;253m▄ \u001b[48;5;252;38;5;254m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;245m▄\u001b[48;5;242;38;5;254m▄\u001b[48;5;238m▄\u001b[48;5;237m▄\u001b[48;5;233;38;5;253m▄\u001b[38;5;248m▄\u001b[48;5;232m▄\u001b[48;5;237;38;5;253m▄\u001b[48;5;240;38;5;254m▄\u001b[48;5;243m▄\u001b[48;5;251;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;246;38;5;254m▄\u001b[48;5;238;38;5;243m▄\u001b[48;5;251;38;5;235m▄\u001b[48;5;254;38;5;237m▄\u001b[38;5;235m▄\u001b[48;5;252;38;5;236m▄\u001b[48;5;243m \u001b[48;5;240;38;5;253m▄\u001b[48;5;252;38;5;255m▄\u001b[48;5;254m \u001b[48;5;253;38;5;254m▄\u001b[48;5;247;38;5;255m▄\u001b[48;5;244;38;5;254m▄\u001b[48;5;243m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;252;38;5;254m▄\u001b[48;5;255m▄▄\u001b[48;5;250;38;5;255m▄\u001b[48;5;236;38;5;249m▄\u001b[48;5;232;38;5;234m▄\u001b[48;5;240;38;5;232m▄\u001b[48;5;254;38;5;245m▄\u001b[38;5;255m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;253;38;5;254m▄\u001b[48;5;247;38;5;255m▄\u001b[48;5;243;38;5;254m▄\u001b[38;5;255m▄\u001b[48;5;239;38;5;253m▄\u001b[48;5;238m▄\u001b[48;5;237m▄\u001b[48;5;236;38;5;252m▄\u001b[48;5;250;38;5;253m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;249;38;5;255m▄\u001b[48;5;245m▄\u001b[48;5;244m▄\u001b[48;5;249m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;244m▄\u001b[48;5;0;38;5;251m▄\u001b[48;5;237m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;255m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;255;38;5;249m▄\u001b[38;5;250m▄\u001b[38;5;248m▄\u001b[38;5;244m▄\u001b[38;5;245m▄\u001b[38;5;247m▄\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;255;38;5;246m▄\u001b[48;5;254;38;5;240m▄▄\u001b[48;5;252;38;5;234m▄\u001b[48;5;251;38;5;0m▄\u001b[48;5;252;38;5;234m▄\u001b[48;5;251;38;5;232m▄\u001b[48;5;252;38;5;234m▄\u001b[48;5;254;38;5;250m▄\u001b[38;5;255m▄ \u001b[38;5;255m▄\u001b[38;5;248m▄\u001b[48;5;255;38;5;244m▄\u001b[48;5;254;38;5;253m▄ \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;250m▄\u001b[48;5;241;38;5;233m▄\u001b[48;5;234m \u001b[38;5;238m▄\u001b[38;5;242m▄\u001b[48;5;0;38;5;241m▄\u001b[38;5;239m▄\u001b[48;5;233m \u001b[48;5;245;38;5;233m▄\u001b[48;5;254;38;5;246m▄\u001b[38;5;255m▄ \u001b[38;5;255m▄▄\u001b[38;5;251m▄\u001b[48;5;255;38;5;249m▄\u001b[38;5;248m▄▄▄▄\u001b[48;5;254;38;5;252m▄ \u001b[48;5;252;38;5;254m▄\u001b[48;5;243m▄\u001b[48;5;240m▄\u001b[48;5;244m▄\u001b[48;5;247;38;5;255m▄\u001b[48;5;246m▄▄▄\u001b[38;5;254m▄\u001b[48;5;252m▄\u001b[48;5;254m \u001b[38;5;251m▄\u001b[48;5;250;38;5;240m▄\u001b[48;5;249;38;5;250m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;250m▄\u001b[48;5;253;38;5;239m▄\u001b[48;5;247;38;5;244m▄\u001b[48;5;242;38;5;248m▄\u001b[48;5;240;38;5;246m▄\u001b[48;5;251;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;249;38;5;253m▄\u001b[48;5;234;38;5;246m▄\u001b[48;5;246;38;5;252m▄\u001b[48;5;255m \u001b[48;5;254;38;5;255m▄\u001b[48;5;245m▄\u001b[48;5;233;38;5;241m▄\u001b[48;5;236;38;5;232m▄\u001b[48;5;251;38;5;248m▄\u001b[48;5;255m \u001b[48;5;254m \u001b[38;5;255m▄\u001b[38;5;251m▄\u001b[48;5;255;38;5;241m▄\u001b[48;5;253;38;5;234m▄\u001b[48;5;247m▄\u001b[48;5;241;38;5;238m▄\u001b[48;5;236;38;5;246m▄\u001b[48;5;234;38;5;251m▄\u001b[48;5;237;38;5;253m▄\u001b[48;5;239;38;5;254m▄\u001b[48;5;242;38;5;250m▄\u001b[48;5;239;38;5;236m▄\u001b[48;5;235;38;5;238m▄\u001b[48;5;251;38;5;252m▄\u001b[48;5;254m \u001b[38;5;255m▄ \u001b[38;5;241m▄\u001b[48;5;247;38;5;232m▄\u001b[48;5;242;38;5;237m▄\u001b[48;5;250;38;5;251m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;253;38;5;252m▄\u001b[48;5;240;38;5;245m▄\u001b[48;5;244;38;5;253m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;253;38;5;243m▄\u001b[48;5;243;38;5;237m▄\u001b[48;5;238;38;5;250m▄\u001b[48;5;247;38;5;231m▄\u001b[48;5;253;38;5;245m▄\u001b[48;5;243;38;5;244m▄\u001b[48;5;251;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[38;5;251m▄\u001b[48;5;253;38;5;239m▄\u001b[48;5;249;38;5;234m▄▄\u001b[38;5;233m▄\u001b[48;5;247m▄\u001b[48;5;251;38;5;235m▄\u001b[48;5;244m▄\u001b[48;5;233m \u001b[48;5;248;38;5;247m▄\u001b[48;5;255m \u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;249m▄\u001b[48;5;248;38;5;234m▄\u001b[48;5;235;38;5;238m▄\u001b[48;5;236;38;5;250m▄\u001b[48;5;240;38;5;255m▄\u001b[48;5;247m▄\u001b[48;5;254m▄\u001b[48;5;255;38;5;252m▄\u001b[38;5;241m▄\u001b[48;5;254;38;5;238m▄\u001b[48;5;248;38;5;245m▄\u001b[48;5;238;38;5;250m▄\u001b[48;5;243;38;5;254m▄\u001b[48;5;253m▄\u001b[48;5;254m \u001b[38;5;255m▄\u001b[48;5;255;38;5;249m▄\u001b[48;5;252;38;5;236m▄\u001b[48;5;241;38;5;237m▄\u001b[48;5;235;38;5;250m▄\u001b[48;5;244;38;5;255m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[38;5;253m▄\u001b[48;5;255;38;5;245m▄▄\u001b[48;5;254;38;5;252m▄ \u001b[48;5;249;38;5;255m▄\u001b[48;5;252m▄\u001b[48;5;255;38;5;252m▄\u001b[48;5;249;38;5;241m▄\u001b[48;5;239;38;5;249m▄\u001b[48;5;253;38;5;255m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;239;38;5;236m▄\u001b[48;5;0;38;5;232m▄\u001b[48;5;232;38;5;244m▄\u001b[48;5;235;38;5;251m▄\u001b[48;5;238;38;5;254m▄\u001b[48;5;236;38;5;252m▄\u001b[48;5;232;38;5;240m▄ \u001b[48;5;245;38;5;238m▄\u001b[48;5;255;38;5;253m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;247m▄\u001b[48;5;243m▄\u001b[48;5;253;38;5;255m▄\u001b[48;5;254m \u001b[48;5;255;38;5;247m▄\u001b[48;5;251;38;5;236m▄\u001b[48;5;244;38;5;232m▄\u001b[48;5;235;38;5;243m▄\u001b[48;5;236;38;5;251m▄\u001b[48;5;246;38;5;255m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;253m▄\u001b[48;5;251;38;5;238m▄\u001b[48;5;234;38;5;236m▄\u001b[48;5;237;38;5;251m▄\u001b[48;5;252;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;252;38;5;254m▄\u001b[48;5;244;38;5;255m▄\u001b[48;5;251;38;5;254m▄\u001b[48;5;254;38;5;255m▄\u001b[38;5;253m▄\u001b[48;5;255;38;5;247m▄\u001b[38;5;242m▄\u001b[48;5;254;38;5;240m▄\u001b[48;5;255;38;5;241m▄\u001b[48;5;254;38;5;239m▄\u001b[48;5;240;38;5;242m▄\u001b[48;5;245;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;241;38;5;244m▄\u001b[48;5;232;38;5;0m▄\u001b[48;5;249;38;5;242m▄\u001b[48;5;255;38;5;252m▄\u001b[38;5;253m▄\u001b[48;5;254;38;5;242m▄\u001b[48;5;241;38;5;0m▄\u001b[48;5;232;38;5;233m▄\u001b[48;5;233;38;5;247m▄\u001b[48;5;232;38;5;241m▄\u001b[48;5;240;38;5;233m▄\u001b[48;5;253;38;5;248m▄\u001b[48;5;254;38;5;255m▄ \u001b[48;5;255;38;5;248m▄\u001b[48;5;251;38;5;235m▄\u001b[48;5;240;38;5;0m▄\u001b[48;5;233m▄\u001b[38;5;234m▄\u001b[48;5;240;38;5;235m▄\u001b[48;5;242;38;5;239m▄\u001b[48;5;240m \u001b[48;5;236;38;5;244m▄\u001b[48;5;235m▄▄▄\u001b[48;5;236;38;5;240m▄\u001b[48;5;245m▄\u001b[48;5;254m \u001b[48;5;255;38;5;253m▄\u001b[48;5;244;38;5;238m▄\u001b[48;5;233;38;5;236m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[48;5;248;38;5;238m▄\u001b[48;5;236;38;5;242m▄\u001b[38;5;252m▄\u001b[48;5;241;38;5;246m▄\u001b[38;5;237m▄\u001b[48;5;232;38;5;243m▄\u001b[48;5;235;38;5;253m▄\u001b[48;5;238;38;5;247m▄\u001b[48;5;250;38;5;242m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;251m▄\u001b[48;5;236;38;5;248m▄\u001b[48;5;232;38;5;238m▄\u001b[48;5;236;38;5;232m▄\u001b[48;5;237m▄\u001b[48;5;232;38;5;238m▄\u001b[48;5;233;38;5;249m▄\u001b[48;5;242;38;5;254m▄\u001b[48;5;255m \u001b[48;5;248;38;5;250m▄\u001b[48;5;232m \u001b[48;5;243;38;5;241m▄\u001b[48;5;254m \u001b[48;5;238;38;5;248m▄\u001b[48;5;233;38;5;252m▄\u001b[48;5;239;38;5;254m▄\u001b[48;5;246;38;5;255m▄\u001b[48;5;249m▄\u001b[48;5;251m▄\u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄▄▄▄\u001b[48;5;254m \u001b[48;5;253;38;5;254m▄\u001b[48;5;254m \u001b[48;5;251;38;5;254m▄\u001b[48;5;236;38;5;243m▄\u001b[48;5;235;38;5;0m▄\u001b[48;5;252;38;5;236m▄\u001b[48;5;254;38;5;241m▄▄▄\u001b[38;5;240m▄\u001b[38;5;238m▄\u001b[38;5;250m▄\u001b[38;5;255m▄ \u001b[48;5;241;38;5;252m▄\u001b[48;5;238;38;5;248m▄\u001b[48;5;239;38;5;249m▄\u001b[38;5;253m▄\u001b[48;5;248;38;5;255m▄\u001b[48;5;254m \u001b[48;5;253;38;5;254m▄\u001b[48;5;243;38;5;252m▄\u001b[48;5;250;38;5;253m▄\u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;253m▄\u001b[48;5;247;38;5;255m▄▄\u001b[48;5;251;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[48;5;236;38;5;246m▄\u001b[48;5;241;38;5;244m▄\u001b[48;5;254m \u001b[48;5;253;38;5;254m▄\u001b[48;5;244m▄\u001b[48;5;233;38;5;252m▄\u001b[48;5;0;38;5;251m▄\u001b[48;5;232m▄▄\u001b[48;5;233m▄\u001b[48;5;237;38;5;253m▄\u001b[48;5;250;38;5;254m▄\u001b[48;5;255m▄\u001b[48;5;254m \u001b[0m│\n", + "│\u001b[48;5;254m \u001b[48;5;255;38;5;254m▄\u001b[48;5;254m \u001b[0m│\n", + "\u001b[0m└ ┘\u001b[?25h\n" + ] + }, + { + "data": { + "text/plain": [ + "\u001b[0m#Matrex[\u001b[33m80\u001b[0m×\u001b[33m80\u001b[0m]\n", + "\u001b[0m┌ ┐\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 0.99992 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0007 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.00269 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.00279 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.00278 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.00278 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.00113 1.0 1.0 1.0\u001b[0m │\n", + "│ ⋮ ⋮ ⋮ ⋮ ⋮ … ⋮ ⋮ ⋮ ⋮ │\n", + "│\u001b[33m 1.0 1.0 1.0 1.00371 0.9915\u001b[0m … \u001b[33m 0.99991 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.00487 0.97717\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.00278 1.00287\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.00177 1.01581\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.00016 1.02008\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 0.99997 1.00158\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 0.99983\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0\u001b[0m │\n", + "│\u001b[33m 1.0 1.0 1.0 1.0 1.0\u001b[0m … \u001b[33m 1.0 1.0 1.0 1.0 \u001b[0m│\n", + "\u001b[0m└ ┘" + ] + }, + "execution_count": 27, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "# Visualize a piece of data\n", + "x[1100..1115] |> list_of_rows() |> Enum.map(&(reshape(&1, 20, 20) |> transpose() |> subtract_inverse(1))) |> reshape(4, 4) |> heatmap()\n" + ] + }, { "cell_type": "code", "execution_count": 4,