diff --git a/puzzles/Sudoku_Miracle.ipynb b/puzzles/Sudoku_Miracle.ipynb
index 751a788af1c46ce2f399137fd9c61d435593bf3c..20b721e111b4a955f4e66ca7f2a9b8ec94b59718 100644
--- a/puzzles/Sudoku_Miracle.ipynb
+++ b/puzzles/Sudoku_Miracle.ipynb
@@ -679,7 +679,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 21,
+   "execution_count": 30,
    "metadata": {},
    "outputs": [
     {
@@ -688,14 +688,14 @@
        "Loaded machine: Sudoku_Horizontal_Vertical"
       ]
      },
-     "execution_count": 21,
+     "execution_count": 30,
      "metadata": {},
      "output_type": "execute_result"
     }
    ],
    "source": [
     "::load\n",
-    "MACHINE Sudoku_Horizontal_Vertical\n",
+    "MACHINE Sudoku_Miracle\n",
     "DEFINITIONS DOM == 1..9; D1 == 1..8; D2 == 2..9;\n",
     "      SUBSQ == { {1,2,3}, {4,5,6}, {7,8,9} };\n",
     "      ANIMATION_FUNCTION_DEFAULT == {r,c,i|r:1..9 & c:1..9 & i=0};\n",
@@ -999,6 +999,31 @@
     ":dot state_space"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": 32,
+   "metadata": {},
+   "outputs": [
+    {
+     "data": {
+      "text/markdown": [
+       "**Explored States:** 1/2  \n",
+       "**Transitions:** 1"
+      ],
+      "text/plain": [
+       "Explored States: 1/2\n",
+       "Transitions: 1"
+      ]
+     },
+     "execution_count": 32,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    ":stats"
+   ]
+  },
   {
    "cell_type": "code",
    "execution_count": null,