(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Wolfram 15.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       154,          7]
NotebookDataLength[    116295,       2504]
NotebookOptionsPosition[    102850,       2285]
NotebookOutlinePosition[    106617,       2361]
CellTagsIndexPosition[    106574,       2358]
WindowTitle->Cracking the Bitcoin Movie Enigma
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {GridBox[{
      {
       ItemBox[Cell[BoxData[
         RowBox[{
          TemplateBox[{12},
           "Spacer1"], Cell[
          "WOLFRAM INSTITUTE/ PUZZLES TUTORIAL", "PacletNameCell",
           TextAlignment->Center,ExpressionUUID->
           "07e05d1c-c15d-465e-9283-96a8df6b013e"], 
          TemplateBox[{8},
           "Spacer1"]}]],
         TextAlignment->Center,ExpressionUUID->
         "fb32f50d-5e6b-402c-bf5f-f00eaf9500bb"],
        Background->LightDarkSwitched[
          RGBColor[
          0.7450980392156863, 0.3254901960784314, 0.1411764705882353]],
        ItemSize->Full], ""}
     },
     GridBoxAlignment->{"Rows" -> {{Center}}},
     GridBoxItemSize->{"Columns" -> {Full, 
         Scaled[0.02]}, "Rows" -> {{2.5}}}], Cell[TextData[Cell[BoxData[
     TagBox[
      ActionMenuBox[
       FrameBox[Cell[TextData[{
         "URL",
         " ",
         Cell[BoxData[
          GraphicsBox[
           {GrayLevel[0.66667], Thickness[0.13], 
            LineBox[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]},
           AspectRatio->1,
           ImageSize->20,
           PlotRange->{{-3, 4}, {-1, 1}}]],ExpressionUUID->
          "30415c8a-e3ef-46f0-8085-bac32a450d47"]
        }],ExpressionUUID->"9b84e512-e96c-4768-a817-af7f5f3a76f1"],
        StripOnInput->False],{
       "\"WolframInstitute/Puzzles/tutorial/CrackingTheBitcoinMovieEnigma\"" :> 
        None, "\"Copy Wolfram Documentation Center URL\"" :> 
        CopyToClipboard[
         "WolframInstitute/Puzzles/tutorial/CrackingTheBitcoinMovieEnigma"], 
        Delimiter, "\"Copy web URL\"" :> 
        Module[{DocumentationSearch`Private`nb$}, 
          DocumentationSearch`Private`nb$ = 
           NotebookPut[
            Notebook[{
              Cell[BoxData[
                MakeBoxes[
                 Hyperlink[
                  "http://reference.wolfram.com/language/WolframInstitute/\
Puzzles/tutorial/CrackingTheBitcoinMovieEnigma.html"], StandardForm]], 
                "Input", TextClipboardType -> "PlainText"]}, Visible -> 
              False]]; SelectionMove[
           DocumentationSearch`Private`nb$, All, Notebook]; 
          FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
          NotebookClose[DocumentationSearch`Private`nb$]; Null], 
        "\"Go to web URL\"" :> 
        FrontEndExecute[{
          NotebookLocate[{
            URL[If[TrueQ[False], 
                "http://reference.wolfram.com/system-modeler/", 
                "http://reference.wolfram.com/language/"] <> 
              "WolframInstitute/Puzzles/tutorial/\
CrackingTheBitcoinMovieEnigma" <> ".html"], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"],
      MouseAppearanceTag["LinkHand"]]],
     LineSpacing->{1.4, 0},ExpressionUUID->
     "3423eb1b-07e0-46bd-ac3c-f3a0cbfd02b3"]], "AnchorBar",
     CacheGraphics->False,ExpressionUUID->
     "10584302-94d9-44c6-a10a-1ffa36ad7b36"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1,ExpressionUUID->"7b21f237-7f69-49ae-ace3-14ab31a6dd9e"],

Cell[CellGroupData[{

Cell["Cracking the Bitcoin Movie Enigma", "Title",
 CellID->509267359,ExpressionUUID->"300ab539-9ba7-448b-867e-604f55c941e8"],

Cell[CellGroupData[{

Cell["The puzzle, and why it is worth a page", "Section",ExpressionUUID->"4123768f-e78c-4031-9f36-1e7b3e70fb5c"],

Cell[TextData[{
 "In January 2024 a Nostr user called klems published thirty-four film stills \
and a rule: identify each film, turn each title \"somehow\" into an English \
BIP-39 word, drop ten \"intruders\" that IMDb data identifies, and the \
remaining twenty-four words in panel order restore a wallet holding 100,000 \
satoshis. The escrow is ",
 Cell[BoxData["bc1q94ecsn0qk8lap2gefrycnms3ruepy889z969a6"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "a6e1eddc-112e-4306-87e9-1435f8e861e6"],
 ", published by the author on his own wallet page, funded once in April 2022 \
and never spent."
}], "Text",ExpressionUUID->"f9b3208b-cf2d-4411-921b-412c350a9d3f"],

Cell[TextData[{
 "The prize is worth about sixty dollars. That is not the point. The point is \
that this is a rare puzzle whose remaining space is ",
 StyleBox["finite and small", "TI"],
 ", and that until the run described here ",
 StyleBox["not one candidate seed had ever been derived and checked against \
the address",
  FontWeight->"Bold"],
 " \[LongDash] the only maintained research record for the puzzle carries ",
 Cell[BoxData[
  RowBox[{"tested_total", ".", 
   RowBox[{"candidates", ":", " ", "0"}]}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "38046ad5-4454-4e81-870a-76014eed24d8"],
 ". Four years of public effort went into arguing about IMDb trivia, and none \
into the one experiment that tests every one of those arguments at once."
}], "Text",ExpressionUUID->"c8ff84de-7d99-4e26-b6e4-1009a49f17cd"],

Cell["\<\
This note is that experiment: how the space was built, how the derivation was \
made trustworthy before it was trusted, exactly which region was exhausted, \
and \[LongDash] since the answer was not in it \[LongDash] exactly what \
remains. It is a worked negative result. Nothing here found the money.\
\>", "Text",ExpressionUUID->"bf535f2d-0686-45a0-917f-d2e1eb496320"],

Cell["\<\
The first thing to establish is what the target actually is, which the paclet \
reads straight out of the address:\
\>", "Text",ExpressionUUID->"ce543a68-b7dd-4181-9527-362a588aad04"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
  "target", " ", "=", 
   " ", "\"\<bc1q94ecsn0qk8lap2gefrycnms3ruepy889z969a6\>\""}], ";"}], "\n", 
 RowBox[{"BitcoinAddressData", "[", "target", "]"}]}], "Input",
 CellLabel->"In[1]:=",ExpressionUUID->"8ad84e3c-96c2-42dd-8fd3-fa6efe7bb058"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"Form\"\>", "\[Rule]", "\<\"P2WPKH\"\>"}], ",", 
   RowBox[{"\<\"Network\"\>", "\[Rule]", "\<\"Mainnet\"\>"}], ",", 
   RowBox[{"\<\"Encoding\"\>", "\[Rule]", "\<\"Bech32\"\>"}], ",", 
   RowBox[{"\<\"WitnessVersion\"\>", "\[Rule]", "0"}], ",", 
   RowBox[{"\<\"Hash\"\>", "\[Rule]", 
    InterpretationBox[
     RowBox[{
      TagBox["ByteArray",
       "SummaryHead"], "[", 
      DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = 
       "Ready"}, 
       TemplateBox[{
         PaneSelectorBox[{False -> GridBox[{{
               GridBox[{{
                  TagBox["\"20 bytes\"", "SummaryItem"]}}, 
                GridBoxAlignment -> {
                 "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> 
                False, GridBoxItemSize -> {
                 "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
                GridBoxSpacings -> {
                 "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, 
                BaseStyle -> {
                 ShowStringCharacters -> False, NumberMarks -> False, 
                  PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, 
             GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, 
             AutoDelete -> False, 
             GridBoxItemSize -> {
              "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
             BaselinePosition -> {1, 1}], True -> GridBox[{{
               GridBox[{{
                  TagBox["\"20 bytes\"", "SummaryItem"]}}, 
                GridBoxAlignment -> {
                 "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> 
                False, GridBoxItemSize -> {
                 "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
                GridBoxSpacings -> {
                 "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, 
                BaseStyle -> {
                 ShowStringCharacters -> False, NumberMarks -> False, 
                  PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, 
             GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, 
             AutoDelete -> False, 
             GridBoxItemSize -> {
              "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
             BaselinePosition -> {1, 1}]}, 
          Dynamic[Typeset`open$$], ImageSize -> Automatic]},
        "SummaryPanel"],
       DynamicModuleValues:>{}], "]"}],
     ByteArray[{45, 115, 136, 77, 224, 177, 255, 208, 169, 25, 72, 201, 137, 
      238, 17, 31, 50, 18, 28, 229}],
     Editable->False,
     SelectWithContents->True,
     Selectable->False]}], ",", 
   RowBox[{"\<\"ScriptPubKey\"\>", "\[Rule]", 
    InterpretationBox[
     RowBox[{
      TagBox["ByteArray",
       "SummaryHead"], "[", 
      DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = 
       "Ready"}, 
       TemplateBox[{
         PaneSelectorBox[{False -> GridBox[{{
               GridBox[{{
                  TagBox["\"22 bytes\"", "SummaryItem"]}}, 
                GridBoxAlignment -> {
                 "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> 
                False, GridBoxItemSize -> {
                 "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
                GridBoxSpacings -> {
                 "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, 
                BaseStyle -> {
                 ShowStringCharacters -> False, NumberMarks -> False, 
                  PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, 
             GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, 
             AutoDelete -> False, 
             GridBoxItemSize -> {
              "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
             BaselinePosition -> {1, 1}], True -> GridBox[{{
               GridBox[{{
                  TagBox["\"22 bytes\"", "SummaryItem"]}}, 
                GridBoxAlignment -> {
                 "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> 
                False, GridBoxItemSize -> {
                 "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
                GridBoxSpacings -> {
                 "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, 
                BaseStyle -> {
                 ShowStringCharacters -> False, NumberMarks -> False, 
                  PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, 
             GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, 
             AutoDelete -> False, 
             GridBoxItemSize -> {
              "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
             BaselinePosition -> {1, 1}]}, 
          Dynamic[Typeset`open$$], ImageSize -> Automatic]},
        "SummaryPanel"],
       DynamicModuleValues:>{}], "]"}],
     ByteArray[{0, 20, 45, 115, 136, 77, 224, 177, 255, 208, 169, 25, 72, 201,
       137, 238, 17, 31, 50, 18, 28, 229}],
     Editable->False,
     SelectWithContents->True,
     Selectable->False]}]}], "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"bee700b0-c4ed-435c-bc1e-b1ea9d56c6bc"]
}, Open  ]],

Cell["\<\
A witness-version-0 program, so the natural derivation is BIP-84 \[LongDash] \
but the author never says so, and a sweep costs little more if it tests \
several paths at once.\
\>", "Text",ExpressionUUID->"20fe6a9f-63a7-4901-a151-4b853ed109ed"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Six guesses in a conjunction", "Section",ExpressionUUID->"10936d77-e09c-4c30-bd80-a9d5c7acab12"],

Cell[TextData[{
 "A candidate mnemonic only reaches the address if ",
 StyleBox["all", "TI"],
 " of the following hold: the film identifications are right; the \
title-to-word rule is the one being used; there is exactly one word per \
title; panel order is mnemonic order; exactly ten panels are dropped; and the \
derivation path and passphrase are the assumed ones. A null result kills the \
conjunction, never a conjunct. Every region reported below is therefore \
labelled with its whole assumption stack, and the parts that were varied are \
named."
}], "Text",ExpressionUUID->"467377f4-1762-4147-8453-f4619276307b"],

Cell["Two of the six were attacked directly rather than assumed.", "Text",ExpressionUUID->"002dea0c-edca-4343-ab33-8c5d32a25dc8"]
}, Open  ]],

Cell[CellGroupData[{

Cell["The word rule is the puzzle, so enumerate it", "Section",ExpressionUUID->"e62fb073-3102-468b-9f1a-838d62072cbd"],

Cell[TextData[{
 "\"Transform ",
 StyleBox["somehow", "TI"],
 " each movie title into an English BIP-0039 seed word\" is the whole \
mechanism, and the author never says what ",
 StyleBox["somehow", "TI"],
 " means. Rather than bet on one reading, each reading is a function from a \
title to the BIP-39 words it can yield, computed against the wordlist rather \
than typed out by hand."
}], "Text",ExpressionUUID->"e0699eae-ebe4-4a51-b7db-2725e44ab968"],

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"letters", "[", "t_", "]"}], " ", ":=", " ", 
   RowBox[{"ToLowerCase", " ", "@", " ", 
    RowBox[{"StringJoin", " ", "@", " ", 
     RowBox[{"StringCases", "[", 
      RowBox[{"t", ",", " ", "LetterCharacter"}], "]"}]}]}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{
   RowBox[{"tokens", "[", "t_", "]"}], " ", ":=", " ", 
   RowBox[{"Select", "[", 
    RowBox[{
     RowBox[{"ToLowerCase", " ", "/@", " ", 
      RowBox[{"StringSplit", "[", 
       RowBox[{"StringReplace", "[", 
        RowBox[{"t", ",", " ", 
         RowBox[{
          RowBox[{"Except", "[", 
           RowBox[{"LetterCharacter", " ", "|", " ", "\"\< \>\""}], "]"}], 
          " ", "->", " ", "\"\< \>\""}]}], "]"}], "]"}]}], ",", " ", 
     RowBox[{
      RowBox[{"#", " ", "=!=", " ", "\"\<\>\""}], " ", "&"}]}], "]"}]}], 
  ";"}], "\n", 
 RowBox[{
  RowBox[{"byPrefix", " ", "=", " ", 
   RowBox[{"GroupBy", "[", 
    RowBox[{"$BIP39EnglishWords", ",", " ", 
     RowBox[{
      RowBox[{"StringTake", "[", 
       RowBox[{"#", ",", " ", 
        RowBox[{"UpTo", "[", "4", "]"}]}], "]"}], " ", "&"}]}], "]"}]}], 
  ";"}]}], "Input",
 CellLabel->"In[2]:=",ExpressionUUID->"ed7852bd-522e-41b5-a399-19f821c2b98e"],

Cell["\<\
Convention S takes any BIP-39 word of three letters or more that occurs \
inside the title once punctuation and spaces are stripped, so a word may \
straddle two title words:\
\>", "Text",ExpressionUUID->"4848c55a-89e1-4735-992b-df75459a171e"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"convS", "[", "t_", "]"}], " ", ":=", " ", 
   RowBox[{"With", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"s", " ", "=", " ", 
       RowBox[{"letters", "[", "t", "]"}]}], "}"}], ",", " ", 
     RowBox[{"Select", "[", 
      RowBox[{"$BIP39EnglishWords", ",", " ", 
       RowBox[{
        RowBox[{
         RowBox[{
          RowBox[{"StringLength", "[", "#", "]"}], " ", ">=", " ", "3"}], " ",
          "&&", " ", 
         RowBox[{"StringContainsQ", "[", 
          RowBox[{"s", ",", " ", "#"}], "]"}]}], " ", "&"}]}], "]"}]}], 
    "]"}]}], ";"}], "\n", 
 RowBox[{"convS", "[", "\"\<Raiders of the Lost Ark\>\"", "]"}]}], "Input",
 CellLabel->"In[3]:=",ExpressionUUID->"9a0cda8e-b949-4a70-98a8-420c7067914c"],

Cell[BoxData[
 RowBox[{"{", "\<\"soft\"\>", "}"}]], "Output",
 CellLabel->"Out[3]= ",ExpressionUUID->"2f72e65c-8a96-4e31-aa22-471cb1156220"]
}, Open  ]],

Cell["\<\
Convention T is the same, restricted so the word must sit inside a single \
title token:\
\>", "Text",ExpressionUUID->"1ffc7a0c-6e75-4f42-bf34-1154d14f0c6e"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"convT", "[", "t_", "]"}], " ", ":=", " ", 
   RowBox[{"Union", " ", "@@", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"Function", "[", 
       RowBox[{"tok", ",", " ", 
        RowBox[{"Select", "[", 
         RowBox[{"$BIP39EnglishWords", ",", " ", 
          RowBox[{
           RowBox[{
            RowBox[{
             RowBox[{"StringLength", "[", "#", "]"}], " ", ">=", " ", "3"}], 
            " ", "&&", " ", 
            RowBox[{"StringContainsQ", "[", 
             RowBox[{"tok", ",", " ", "#"}], "]"}]}], " ", "&"}]}], "]"}]}], 
       "]"}], " ", "/@", " ", 
      RowBox[{"tokens", "[", "t", "]"}]}], ")"}]}]}], ";"}], "\n", 
 RowBox[{"convT", "[", "\"\<A Clockwork Orange\>\"", "]"}]}], "Input",
 CellLabel->"In[4]:=",ExpressionUUID->"a232e06e-73b3-413d-aa74-da69e35b485b"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"\<\"clock\"\>", ",", "\<\"lock\"\>", ",", "\<\"orange\"\>", 
   ",", "\<\"range\"\>", ",", "\<\"work\"\>"}], "}"}]], "Output",
 CellLabel->"Out[4]= ",ExpressionUUID->"29839063-c3ed-4c77-ae13-acb8eef9887b"]
}, Open  ]],

Cell[TextData[{
 "Convention W asks that a title token ",
 StyleBox["be", "TI"],
 " a BIP-39 word:"
}], "Text",ExpressionUUID->"2d287d23-fb4c-4927-8e78-6252864502a8"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"convW", "[", "t_", "]"}], " ", ":=", " ", 
   RowBox[{"Union", " ", "@", " ", 
    RowBox[{"Select", "[", 
     RowBox[{
      RowBox[{"tokens", "[", "t", "]"}], ",", " ", 
      RowBox[{
       RowBox[{"MemberQ", "[", 
        RowBox[{"$BIP39EnglishWords", ",", " ", "#"}], "]"}], " ", "&"}]}], 
     "]"}]}]}], ";"}], "\n", 
 RowBox[{"convW", "[", "\"\<Toy Story\>\"", "]"}]}], "Input",
 CellLabel->"In[5]:=",ExpressionUUID->"9c234af6-1696-4c70-9f21-5a07b47b6110"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"\<\"story\"\>", ",", "\<\"toy\"\>"}], "}"}]], "Output",
 CellLabel->"Out[5]= ",ExpressionUUID->"7bf35fa6-e898-4591-85b4-24bd0ee0aa06"]
}, Open  ]],

Cell["\<\
Convention P is BIP-39's own abbreviation rule turned into a puzzle mechanic: \
the standard guarantees that a word's first four letters identify it \
uniquely, so a title token of four letters or more names the word sharing its \
first four:\
\>", "Text",ExpressionUUID->"2cb80928-73a9-46b5-b461-3e55c24f1248"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"convP", "[", "t_", "]"}], " ", ":=", " ", 
   RowBox[{"Union", " ", "@@", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"Function", "[", 
       RowBox[{"tok", ",", " ", 
        RowBox[{"If", "[", 
         RowBox[{
          RowBox[{
           RowBox[{"StringLength", "[", "tok", "]"}], " ", ">=", " ", "4"}], ",",
           " ", 
          RowBox[{"Lookup", "[", 
           RowBox[{"byPrefix", ",", " ", 
            RowBox[{"StringTake", "[", 
             RowBox[{"tok", ",", " ", "4"}], "]"}], ",", " ", 
            RowBox[{"{", "}"}]}], "]"}], ",", " ", 
          RowBox[{"{", "}"}]}], "]"}]}], "]"}], " ", "/@", " ", 
      RowBox[{"tokens", "[", "t", "]"}]}], ")"}]}]}], ";"}], "\n", 
 RowBox[{"{", 
  RowBox[{
   RowBox[{"convP", "[", "\"\<The Shining\>\"", "]"}], ",", " ", 
   RowBox[{"convP", "[", "\"\<Barry Lyndon\>\"", "]"}], ",", " ", 
   RowBox[{"convP", "[", "\"\<Sharknado\>\"", "]"}]}], "}"}]}], "Input",
 CellLabel->"In[6]:=",ExpressionUUID->"785b4d17-13c9-4e4f-8b34-9d4872f23915"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", "\<\"shine\"\>", "}"}], ",", 
   RowBox[{"{", "\<\"barrel\"\>", "}"}], ",", 
   RowBox[{"{", "\<\"share\"\>", "}"}]}], "}"}]], "Output",
 CellLabel->"Out[6]= ",ExpressionUUID->"013b8711-c420-4f4a-b0f3-fc850957176d"]
}, Open  ]],

Cell[TextData[{
 "That is the only convention that gives ",
 StyleBox["Barry Lyndon", "TI"],
 " and ",
 StyleBox["Sharknado", "TI"],
 " a word at all, which is why it is in the list despite looking like a \
stretch."
}], "Text",ExpressionUUID->"e0c3b8e0-58f4-4ed5-a424-dc69955ed3a9"],

Cell[TextData[{
 "Convention L stems the token lightly and then asks for a BIP-39 word \
\[LongDash] the reading the community table uses when it writes ",
 StyleBox["The Shining", "TI"],
 " \[RightArrow] ",
 Cell[BoxData["shine"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "22b631a0-2c33-405d-9d32-4a0578eca19b"],
 ":"
}], "Text",ExpressionUUID->"c616f7e0-8147-4b77-8863-76274271833d"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"stems", "[", "tok_", "]"}], " ", ":=", " ", 
   RowBox[{"Union", " ", "@", " ", 
    RowBox[{"Flatten", " ", "@", " ", 
     RowBox[{"{", 
      RowBox[{"tok", ",", " ", 
       RowBox[{"Table", "[", 
        RowBox[{
         RowBox[{"If", "[", 
          RowBox[{
           RowBox[{
            RowBox[{"StringEndsQ", "[", 
             RowBox[{"tok", ",", " ", "s"}], "]"}], " ", "&&", " ", 
            RowBox[{
             RowBox[{"StringLength", "[", "tok", "]"}], " ", ">", " ", 
             RowBox[{
              RowBox[{"StringLength", "[", "s", "]"}], " ", "+", " ", 
              "1"}]}]}], ",", " ", 
           RowBox[{"{", 
            RowBox[{
             RowBox[{"StringDrop", "[", 
              RowBox[{"tok", ",", " ", 
               RowBox[{"-", 
                RowBox[{"StringLength", "[", "s", "]"}]}]}], "]"}], ",", " ", 
             
             RowBox[{
              RowBox[{"StringDrop", "[", 
               RowBox[{"tok", ",", " ", 
                RowBox[{"-", 
                 RowBox[{"StringLength", "[", "s", "]"}]}]}], "]"}], " ", "<>",
               " ", "\"\<e\>\""}]}], "}"}], ",", " ", 
           RowBox[{"{", "}"}]}], "]"}], ",", " ", 
         RowBox[{"{", 
          RowBox[{"s", ",", " ", 
           RowBox[{"{", 
            
            RowBox[{"\"\<s\>\"", ",", " ", "\"\<es\>\"", ",", 
             " ", "\"\<ed\>\"", ",", " ", "\"\<ing\>\"", ",", 
             " ", "\"\<er\>\"", ",", " ", "\"\<ers\>\"", ",", " ", "\"\<y\>\"",
              ",", " ", "\"\<ies\>\""}], "}"}]}], "}"}]}], "]"}]}], 
      "}"}]}]}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{
   RowBox[{"convL", "[", "t_", "]"}], " ", ":=", " ", 
   RowBox[{"Union", " ", "@", " ", 
    RowBox[{"Select", "[", 
     RowBox[{
      RowBox[{"Flatten", "[", 
       RowBox[{"stems", " ", "/@", " ", 
        RowBox[{"tokens", "[", "t", "]"}]}], "]"}], ",", " ", 
      RowBox[{
       RowBox[{"MemberQ", "[", 
        RowBox[{"$BIP39EnglishWords", ",", " ", "#"}], "]"}], " ", "&"}]}], 
     "]"}]}]}], ";"}], "\n", 
 RowBox[{"convL", "[", "\"\<The Shining\>\"", "]"}]}], "Input",
 CellLabel->"In[7]:=",ExpressionUUID->"313db849-4cb5-47b5-baae-d46fd67807e5"],

Cell[BoxData[
 RowBox[{"{", "\<\"shine\"\>", "}"}]], "Output",
 CellLabel->"Out[7]= ",ExpressionUUID->"e88fbbd7-4dcf-464d-8c99-76cce1213a30"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Thirty-four panels", "Section",ExpressionUUID->"12f2a3d2-bc4a-438b-a0d6-4db6765d232a"],

Cell[TextData[{
 "Each panel carries the identification this pass settled on plus any rival \
title still worth unioning into its word list, so a convention can hedge on a \
disputed frame. The identifications are the community table from the only \
prior research folder, corrected where reading the frame settled the matter. \
Every one of the thirty-four frames was looked at for this pass; the ",
 Cell[BoxData["\<\"Seen\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "868254bf-17e5-444e-b5b6-b20387fcfb92"],
 " field records how far that got. ",
 Cell[BoxData["\<\"frame\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "b9954840-e18d-497b-9044-9dfef789e91a"],
 " means the still carries a legible anchor \[LongDash] a cell card, a campus \
sign, a poster \[LongDash] that decides the film on its own; ",
 Cell[BoxData["\<\"eye\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "4f9d1d71-b885-443f-ac37-eccac91637fd"],
 " means recognition without such an anchor; ",
 Cell[BoxData["\<\"unseen\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "5dd939a1-ade7-4c86-8905-604bda4f59fc"],
 " means the frame neither confirms nor refutes the community identification; \
",
 Cell[BoxData["\<\"doubt\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "c50c54de-4838-421c-80b3-b22ca43204f8"],
 " means it contradicts it."
}], "Text",ExpressionUUID->"ae9b5689-766e-4996-93ff-a59ffda9225a"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"titles", " ", "=", " ", 
   RowBox[{"<|", "\n", "  ", 
    RowBox[{
     RowBox[{"1", " ", "->", " ", 
      RowBox[{"{", "\"\<Die Hard\>\"", "}"}]}], ",", " ", 
     RowBox[{"2", " ", "->", " ", 
      RowBox[{"{", "\"\<Paths of Glory\>\"", "}"}]}], ",", " ", 
     RowBox[{"3", " ", "->", " ", 
      RowBox[{"{", 
       RowBox[{"\"\<Alien\>\"", ",", " ", "\"\<Aliens\>\""}], "}"}]}], ",", 
     " ", 
     RowBox[{"4", " ", "->", " ", 
      RowBox[{"{", "\"\<Mad Max\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"5", " ", "->", " ", 
      RowBox[{"{", "\"\<Star Trek: The Motion Picture\>\"", "}"}]}], ",", " ", 
     RowBox[{"6", " ", "->", " ", 
      RowBox[{"{", "\"\<Apocalypse Now\>\"", "}"}]}], ",", " ", 
     RowBox[{"7", " ", "->", " ", 
      RowBox[{"{", "\"\<Escape from Alcatraz\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"8", " ", "->", " ", 
      RowBox[{"{", "\"\<The Goonies\>\"", "}"}]}], ",", " ", 
     RowBox[{"9", " ", "->", " ", 
      RowBox[{"{", "\"\<Duel in the Sun\>\"", "}"}]}], ",", " ", 
     RowBox[{"10", " ", "->", " ", 
      RowBox[{"{", "\"\<Mission: Impossible\>\"", "}"}]}], ",", " ", 
     RowBox[{"11", " ", "->", " ", 
      RowBox[{"{", "}"}]}], ",", "\n", "  ", 
     RowBox[{"12", " ", "->", " ", 
      RowBox[{"{", "\"\<Life of Pi\>\"", "}"}]}], ",", " ", 
     RowBox[{"13", " ", "->", " ", 
      RowBox[{"{", "\"\<GoodFellas\>\"", "}"}]}], ",", " ", 
     RowBox[{"14", " ", "->", " ", 
      RowBox[{"{", "\"\<Eyes Wide Shut\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"15", " ", "->", " ", 
      RowBox[{"{", 
       RowBox[{"\"\<The Crimson Rivers\>\"", ",", 
        " ", "\"\<Les rivieres pourpres\>\""}], "}"}]}], ",", " ", 
     RowBox[{"16", " ", "->", " ", 
      RowBox[{"{", "\"\<The 13th Warrior\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"17", " ", "->", " ", 
      RowBox[{"{", "\"\<A Clockwork Orange\>\"", "}"}]}], ",", " ", 
     RowBox[{"18", " ", "->", " ", 
      RowBox[{"{", 
       RowBox[{"\"\<Star Wars: Episode IV - A New Hope\>\"", ",", 
        " ", "\"\<Star Wars\>\""}], "}"}]}], ",", "\n", "  ", 
     RowBox[{"19", " ", "->", " ", 
      RowBox[{"{", "\"\<Gravity\>\"", "}"}]}], ",", " ", 
     RowBox[{"20", " ", "->", " ", 
      RowBox[{"{", "\"\<First Man\>\"", "}"}]}], ",", " ", 
     RowBox[{"21", " ", "->", " ", 
      RowBox[{"{", "\"\<Solaris\>\"", "}"}]}], ",", " ", 
     RowBox[{"22", " ", "->", " ", 
      RowBox[{"{", "\"\<Blade Runner 2049\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"23", " ", "->", " ", 
      RowBox[{
      "{", "\"\<Valerian and the City of a Thousand Planets\>\"", "}"}]}], ",",
      " ", 
     RowBox[{"24", " ", "->", " ", 
      RowBox[{"{", "\"\<Ordinary People\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"25", " ", "->", " ", 
      RowBox[{"{", "\"\<Barry Lyndon\>\"", "}"}]}], ",", " ", 
     RowBox[{"26", " ", "->", " ", 
      RowBox[{"{", "\"\<Sharknado\>\"", "}"}]}], ",", " ", 
     RowBox[{"27", " ", "->", " ", 
      RowBox[{"{", "\"\<The Lost Boys\>\"", "}"}]}], ",", " ", 
     RowBox[{"28", " ", "->", " ", 
      RowBox[{"{", "\"\<Scream 2\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"29", " ", "->", " ", 
      RowBox[{"{", "\"\<The Matrix Reloaded\>\"", "}"}]}], ",", " ", 
     RowBox[{"30", " ", "->", " ", 
      RowBox[{"{", "\"\<Toy Story\>\"", "}"}]}], ",", " ", 
     RowBox[{"31", " ", "->", " ", 
      RowBox[{"{", "\"\<Ghostbusters II\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"32", " ", "->", " ", 
      RowBox[{"{", "\"\<Raiders of the Lost Ark\>\"", "}"}]}], ",", " ", 
     RowBox[{"33", " ", "->", " ", 
      RowBox[{"{", "\"\<The Shining\>\"", "}"}]}], ",", "\n", "  ", 
     RowBox[{"34", " ", "->", " ", 
      RowBox[{"{", 
       RowBox[{"\"\<The Human Centipede (First Sequence)\>\"", ",", 
        " ", "\"\<Dead Ringers\>\""}], "}"}]}]}], "|>"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{"seen", " ", "=", " ", 
   RowBox[{"<|", 
    RowBox[{
     RowBox[{"1", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"2", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"3", " ", "->", " ", "\"\<eye\>\""}], ",", " ", 
     RowBox[{"4", " ", "->", " ", "\"\<eye\>\""}], ",", " ", 
     RowBox[{"5", " ", "->", " ", "\"\<unseen\>\""}], ",", " ", 
     RowBox[{"6", " ", "->", " ", "\"\<frame\>\""}], ",", "\n", "  ", 
     RowBox[{"7", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"8", " ", "->", " ", "\"\<doubt\>\""}], ",", " ", 
     RowBox[{"9", " ", "->", " ", "\"\<eye\>\""}], ",", " ", 
     RowBox[{"10", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"11", " ", "->", " ", "\"\<none\>\""}], ",", " ", 
     RowBox[{"12", " ", "->", " ", "\"\<eye\>\""}], ",", "\n", "  ", 
     RowBox[{"13", " ", "->", " ", "\"\<doubt\>\""}], ",", " ", 
     RowBox[{"14", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"15", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"16", " ", "->", " ", "\"\<doubt\>\""}], ",", " ", 
     RowBox[{"17", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"18", " ", "->", " ", "\"\<frame\>\""}], ",", "\n", "  ", 
     RowBox[{"19", " ", "->", " ", "\"\<eye\>\""}], ",", " ", 
     RowBox[{"20", " ", "->", " ", "\"\<unseen\>\""}], ",", " ", 
     RowBox[{"21", " ", "->", " ", "\"\<eye\>\""}], ",", " ", 
     RowBox[{"22", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"23", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"24", " ", "->", " ", "\"\<unseen\>\""}], ",", "\n", "  ", 
     RowBox[{"25", " ", "->", " ", "\"\<eye\>\""}], ",", " ", 
     RowBox[{"26", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"27", " ", "->", " ", "\"\<unseen\>\""}], ",", " ", 
     RowBox[{"28", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"29", " ", "->", " ", "\"\<eye\>\""}], ",", " ", 
     RowBox[{"30", " ", "->", " ", "\"\<frame\>\""}], ",", "\n", "  ", 
     RowBox[{"31", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"32", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"33", " ", "->", " ", "\"\<frame\>\""}], ",", " ", 
     RowBox[{"34", " ", "->", " ", "\"\<frame\>\""}]}], "|>"}]}], ";"}], "\n", 
 RowBox[{"Counts", "[", 
  RowBox[{"Values", "[", "seen", "]"}], "]"}]}], "Input",
 CellLabel->"In[8]:=",ExpressionUUID->"de9a403b-2ad6-4769-a693-76203d200f0d"],

Cell[BoxData[
 RowBox[{"\[LeftAssociation]", 
  RowBox[{
   RowBox[{"\<\"frame\"\>", "\[Rule]", "18"}], ",", 
   RowBox[{"\<\"eye\"\>", "\[Rule]", "8"}], ",", 
   RowBox[{"\<\"unseen\"\>", "\[Rule]", "4"}], ",", 
   RowBox[{"\<\"doubt\"\>", "\[Rule]", "3"}], ",", 
   RowBox[{"\<\"none\"\>", "\[Rule]", "1"}]}], 
  "\[RightAssociation]"}]], "Output",
 CellLabel->"Out[8]= ",ExpressionUUID->"9568c3bd-483d-47ad-89b4-b4290bb278ae"]
}, Open  ]],

Cell[TextData[{
 "Four identifications are worth naming. Panel 15 is settled beyond argument \
by a campus board reading ",
 Cell[BoxData[
  RowBox[{
  "P\[CapitalOHat]LE", " ", "UNIVERSITAIRE", " ", "ET", " ", "SPORTIF", " ", 
   "DE", " ", "GUERNON"}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "4ab84074-4159-4b88-9404-167fd0dc2e7a"],
 " \[LongDash] Guernon is the invented town of ",
 StyleBox["Les rivi\[EGrave]res pourpres", "TI"],
 ". Panel 28 by a poster for ",
 Cell[BoxData[
  RowBox[{
  "THE", " ", "WINDSOR", " ", "COLLEGE", " ", "DRAMA", " ", "DEPARTMENT"}]], 
  "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "a85b5759-6949-434d-a058-5d6ee1c38603"],
 ". Panel 34, recorded as disputed upstream between ",
 StyleBox["Dead Ringers", "TI"],
 " and ",
 StyleBox["The Human Centipede (First Sequence)", "TI"],
 ", is unambiguously the latter: Dieter Laser in the white living room under \
the red conjoined-figures canvas. And panel 11 remains unidentified \
\[LongDash] Bumble Bee White Tuna \"IN WATER\" cans half-buried in pale sand, \
a Nutrition Facts panel legible on one of them, which dates the prop to 1994 \
or later and nothing else."
}], "Text",ExpressionUUID->"8a78784b-4e93-44cf-b6af-18c5e538ae32"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Counting the space", "Section",ExpressionUUID->"25c7b70d-223b-4b3e-9efb-d827d2cbc8d6"],

Cell["\<\
Panel order is fixed by the rules, which is the whole difference between this \
puzzle and every other seed-phrase hunt: there is no 24! to pay. What is left \
is the choice of which twenty-four panels to keep, times the word ambiguity \
of each keeper. A panel with no candidate word cannot be kept, so it forces \
one of the ten drops. The count is the coefficient of x^24 in a product of \
one binomial per panel:\
\>", "Text",ExpressionUUID->"81309579-4611-4e47-9b11-18c01dd98e03"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
   RowBox[{"spaceSize", "[", "tab_", "]"}], " ", ":=", " ", 
   RowBox[{"Coefficient", "[", 
    RowBox[{
     RowBox[{"Expand", "[", 
      RowBox[{"Times", " ", "@@", " ", 
       RowBox[{"Table", "[", 
        RowBox[{
         RowBox[{"1", " ", "+", " ", 
          RowBox[{
           RowBox[{"Length", "[", 
            RowBox[{"tab", "[", "i", "]"}], "]"}], " ", "x"}]}], ",", " ", 
         RowBox[{"{", 
          RowBox[{"i", ",", " ", "34"}], "}"}]}], "]"}]}], "]"}], ",", " ", 
     "x", ",", " ", "24"}], "]"}]}], ";"}], "\n", 
 RowBox[{
  RowBox[{
   RowBox[{"table", "[", "conv_", "]"}], " ", ":=", " ", 
   RowBox[{"Association", " ", "@", " ", 
    RowBox[{"Table", "[", 
     RowBox[{
      RowBox[{"i", " ", "->", " ", 
       RowBox[{"Union", " ", "@@", " ", 
        RowBox[{"Append", "[", 
         RowBox[{
          RowBox[{"conv", " ", "/@", " ", 
           RowBox[{"titles", "[", "i", "]"}]}], ",", " ", 
          RowBox[{"{", "}"}]}], "]"}]}]}], ",", " ", 
      RowBox[{"{", 
       RowBox[{"i", ",", " ", "34"}], "}"}]}], "]"}]}]}], ";"}], "\n", 
 RowBox[{"Dataset", " ", "@", " ", 
  RowBox[{"Table", "[", "\n", "   ", 
   RowBox[{
    RowBox[{"With", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"t", " ", "=", " ", 
        RowBox[{"table", "[", 
         RowBox[{"c", "[", 
          RowBox[{"[", "2", "]"}], "]"}], "]"}]}], "}"}], ",", "\n", "     ", 
      
      RowBox[{"<|", 
       RowBox[{
        RowBox[{"\"\<convention\>\"", " ", "->", " ", 
         RowBox[{"c", "[", 
          RowBox[{"[", "1", "]"}], "]"}]}], ",", " ", 
        RowBox[{"\"\<wordless\>\"", " ", "->", " ", 
         RowBox[{"Length", " ", "@", " ", 
          RowBox[{"Select", "[", 
           RowBox[{
            RowBox[{"Range", "[", "34", "]"}], ",", " ", 
            RowBox[{
             RowBox[{
              RowBox[{"t", "[", "#", "]"}], " ", "===", " ", 
              RowBox[{"{", "}"}]}], " ", "&"}]}], "]"}]}]}], ",", "\n", 
        "       ", 
        RowBox[{"\"\<candidates\>\"", " ", "->", " ", 
         RowBox[{"spaceSize", "[", "t", "]"}]}]}], "|>"}]}], "]"}], ",", "\n",
     "   ", 
    RowBox[{"{", 
     RowBox[{"c", ",", " ", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{"{", 
         RowBox[{"\"\<W\>\"", ",", " ", "convW"}], "}"}], ",", " ", 
        RowBox[{"{", 
         RowBox[{"\"\<L\>\"", ",", " ", "convL"}], "}"}], ",", " ", 
        RowBox[{"{", 
         RowBox[{"\"\<P\>\"", ",", " ", "convP"}], "}"}], ",", " ", 
        RowBox[{"{", 
         RowBox[{"\"\<T\>\"", ",", " ", "convT"}], "}"}], ",", " ", 
        RowBox[{"{", 
         RowBox[{"\"\<S\>\"", ",", " ", "convS"}], "}"}]}], "}"}]}], "}"}]}], 
   "]"}]}]}], "Input",
 CellLabel->"In[9]:=",ExpressionUUID->"6ae2eb42-64e8-486b-8b82-924ec7204351"],

Cell[BoxData[
 TagBox[
  TagBox[
   DynamicModuleBox[{TypeSystem`NestedGrid`PackagePrivate`$state$$ = <|
    "InitialData" -> {<|
       "convention" -> "W", "wordless" -> 13, "candidates" -> 0|>, <|
       "convention" -> "L", "wordless" -> 10, "candidates" -> 1152|>, <|
       "convention" -> "P", "wordless" -> 7, "candidates" -> 5209760|>, <|
       "convention" -> "T", "wordless" -> 5, "candidates" -> 12026784256|>, <|
       "convention" -> "S", "wordless" -> 4, "candidates" -> 178543852288|>}, 
     "AllowEmbedding" -> True, "InitialShape" -> 
     TypeSystem`PackageScope`HeaderShape[<|{All, "convention"} -> 
        1, {All, "wordless"} -> 1, {All, "candidates"} -> 1|>, 
       TypeSystem`PackageScope`Limited[
        TypeSystem`PackageScope`ColumnShape[
         TypeSystem`PackageScope`Limited[
          
          TypeSystem`PackageScope`RowShape[<|
           "convention" -> TypeSystem`PackageScope`AtomShape[33.6], 
            "wordless" -> TypeSystem`PackageScope`AtomShape[34], "candidates" -> 
            TypeSystem`PackageScope`AtomShape[34]|>], 
          DirectedInfinity[1], 3, {All}]], 5, 
        DirectedInfinity[1], {}]], "InitialType" -> TypeSystem`Vector[
       TypeSystem`Struct[{"convention", "wordless", "candidates"}, {
         TypeSystem`Atom[String], 
         TypeSystem`Atom[Integer], 
         TypeSystem`Atom[Integer]}], 5], "Meta" -> <||>, "RowTarget" -> 20, 
     "ColumnTarget" -> 10, "Shape" -> 
     TypeSystem`PackageScope`HeaderShape[<|{All, "convention"} -> 
        1, {All, "wordless"} -> 1, {All, "candidates"} -> 1|>, 
       TypeSystem`PackageScope`Limited[
        TypeSystem`PackageScope`ColumnShape[
         TypeSystem`PackageScope`Limited[
          
          TypeSystem`PackageScope`RowShape[<|
           "convention" -> TypeSystem`PackageScope`AtomShape[33.6], 
            "wordless" -> TypeSystem`PackageScope`AtomShape[34], "candidates" -> 
            TypeSystem`PackageScope`AtomShape[34]|>], 
          DirectedInfinity[1], 3, {All}]], 5, 
        DirectedInfinity[1], {}]], "Type" -> TypeSystem`Vector[
       TypeSystem`Struct[{"convention", "wordless", "candidates"}, {
         TypeSystem`Atom[String], 
         TypeSystem`Atom[Integer], 
         TypeSystem`Atom[Integer]}], 5], "Path" -> {}, "DisplayedRowCount" -> 
     5, "DisplayedColumnCount" -> 3, "DataRowCount" -> 5, "DataColumnCount" -> 
     3, "SortPaths" -> {}, "SortDirections" -> {}, "HiddenItemsMap" -> Null, 
     "UpdateType" -> 1|>, TypeSystem`NestedGrid`PackagePrivate`$outputID$$, 
    TypeSystem`NestedGrid`PackagePrivate`$path$$ = {}, 
    TypeSystem`NestedGrid`PackagePrivate`$vPos$$ = 1, 
    TypeSystem`NestedGrid`PackagePrivate`$hPos$$ = 1, 
    TypeSystem`NestedGrid`PackagePrivate`$grid$$ = 
    DynamicModule[{
     TypeSystem`NestedGrid`PackagePrivate`renderedGrid = Deploy[
        Style[
         Grid[{{
            Item[
             Pane[
              Annotation[
               EventHandler[
                MouseAppearance[
                 Mouseover["convention", 
                  Style[
                  "convention", FontColor -> 
                   RGBColor[
                    0.2749633796890805, 0.536987306253161, 
                    0.791992189065661]]], "LinkHand"], {"MouseClicked", 1} :> 
                If[
                  TypeSystem`NestedGrid`PackagePrivate`checkInteractivity[
                  TypeSystem`NestedGrid`PackagePrivate`$state$$], 
                  TypeSystem`NestedGrid`PackagePrivate`updateState[
                  TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                   TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]]][{
                   All, "convention"}, 1]]], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{
                All, "convention"}, "ColumnHeader", True], "Mouse"], 
              ImageSize -> {{1, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], Background -> 
             RGBColor[
              0.9500473017990948, 0.9500473017990948, 0.9500473017990948], 
             Alignment -> {Left, Baseline}], 
            Item[
             Pane[
              Annotation[
               EventHandler[
                MouseAppearance[
                 Mouseover["wordless", 
                  Style[
                  "wordless", FontColor -> 
                   RGBColor[
                    0.2749633796890805, 0.536987306253161, 
                    0.791992189065661]]], "LinkHand"], {"MouseClicked", 1} :> 
                If[
                  TypeSystem`NestedGrid`PackagePrivate`checkInteractivity[
                  TypeSystem`NestedGrid`PackagePrivate`$state$$], 
                  TypeSystem`NestedGrid`PackagePrivate`updateState[
                  TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                   TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]]][{
                   All, "wordless"}, 1]]], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{
                All, "wordless"}, "ColumnHeader", True], "Mouse"], 
              ImageSize -> {{1, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], Background -> 
             RGBColor[
              0.9500473017990948, 0.9500473017990948, 0.9500473017990948], 
             Alignment -> {Left, Baseline}], 
            Item[
             Pane[
              Annotation[
               EventHandler[
                MouseAppearance[
                 Mouseover["candidates", 
                  Style[
                  "candidates", FontColor -> 
                   RGBColor[
                    0.2749633796890805, 0.536987306253161, 
                    0.791992189065661]]], "LinkHand"], {"MouseClicked", 1} :> 
                If[
                  TypeSystem`NestedGrid`PackagePrivate`checkInteractivity[
                  TypeSystem`NestedGrid`PackagePrivate`$state$$], 
                  TypeSystem`NestedGrid`PackagePrivate`updateState[
                  TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                   TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                   TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]]][{
                   All, "candidates"}, 1]]], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{
                All, "candidates"}, "ColumnHeader", True], "Mouse"], 
              ImageSize -> {{1, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], Background -> 
             RGBColor[
              0.9500473017990948, 0.9500473017990948, 0.9500473017990948], 
             Alignment -> {Left, Baseline}]}, {
            Item[
             Pane[
              Annotation["W", 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{1, 
                 Key["convention"]}, "Item", False], "Mouse"], 
              ImageSize -> {{33.6, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["13"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{1, 
                 Key["wordless"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["0"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{1, 
                 Key["candidates"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}]}, {
            Item[
             Pane[
              Annotation["L", 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{2, 
                 Key["convention"]}, "Item", False], "Mouse"], 
              ImageSize -> {{33.6, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["10"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{2, 
                 Key["wordless"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["1152"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{2, 
                 Key["candidates"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}]}, {
            Item[
             Pane[
              Annotation["P", 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{3, 
                 Key["convention"]}, "Item", False], "Mouse"], 
              ImageSize -> {{33.6, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["7"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{3, 
                 Key["wordless"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["5209760"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{3, 
                 Key["candidates"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}]}, {
            Item[
             Pane[
              Annotation["T", 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{4, 
                 Key["convention"]}, "Item", False], "Mouse"], 
              ImageSize -> {{33.6, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["5"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{4, 
                 Key["wordless"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["12026784256"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{4, 
                 Key["candidates"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}]}, {
            Item[
             Pane[
              Annotation["S", 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{5, 
                 Key["convention"]}, "Item", False], "Mouse"], 
              ImageSize -> {{33.6, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["4"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{5, 
                 Key["wordless"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}], 
            Item[
             Pane[
              Annotation[
               RawBoxes["178543852288"], 
               TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][{5, 
                 Key["candidates"]}, "Item", False], "Mouse"], 
              ImageSize -> {{34, Full}, Automatic}, 
              ImageMargins -> {{5, 3}, {4, 5}}], 
             ItemSize -> {Full, Automatic}]}}, 
          BaseStyle -> {
           ContextMenu -> 
            Dynamic[TypeSystem`NestedGrid`PackagePrivate`$contextMenuTrigger; 
              Which[TypeSystem`NestedGrid`PackagePrivate`$lastOutputID =!= 
                TypeSystem`NestedGrid`PackagePrivate`localHold[
                 TypeSystem`NestedGrid`PackagePrivate`$outputID$$], {}, 
                TypeSystem`NestedGrid`PackagePrivate`$contextMenuTrigger === 
                TypeSystem`NestedGrid`PackagePrivate`$lastContextMenuTrigger, 
                TypeSystem`NestedGrid`PackagePrivate`$lastContextMenu, True, 
                TypeSystem`NestedGrid`PackagePrivate`$lastContextMenuTrigger = 
                 TypeSystem`NestedGrid`PackagePrivate`$contextMenuTrigger; 
                TypeSystem`NestedGrid`PackagePrivate`$lastContextMenu = 
                 Block[{TypeSystem`NestedGrid`PackagePrivate`$globalScrollPos = \
{TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$hPos$$}}, 
                   
                   With[{TypeSystem`NestedGrid`PackagePrivate`lastPath$ = 
                    TypeSystem`NestedGrid`PackagePrivate`$lastPath, 
                    TypeSystem`NestedGrid`PackagePrivate`lastPathType$ = 
                    TypeSystem`NestedGrid`PackagePrivate`$lastPathType, 
                    TypeSystem`NestedGrid`PackagePrivate`isLeafHeader$ = 
                    TypeSystem`NestedGrid`PackagePrivate`$\
lastPathIsLeafHeader, TypeSystem`NestedGrid`PackagePrivate`headerHidden$ = And[
                    MatchQ[TypeSystem`NestedGrid`PackagePrivate`$lastPathType, 
                    Alternatives["RowHeader", "ColumnHeader"]], 
                    TypeSystem`NestedGrid`PackagePrivate`headerHiddenQ[
                    TypeSystem`NestedGrid`PackagePrivate`$lastPath, 
                    TypeSystem`NestedGrid`PackagePrivate`$state$$]], 
                    TypeSystem`NestedGrid`PackagePrivate`allHidden$ = 
                    TypeSystem`NestedGrid`PackagePrivate`allHiddenQ[
                    TypeSystem`NestedGrid`PackagePrivate`$lastPath, 
                    TypeSystem`NestedGrid`PackagePrivate`$state$$], 
                    TypeSystem`NestedGrid`PackagePrivate`anyHidden$ = 
                    TypeSystem`NestedGrid`PackagePrivate`anyHiddenQ[
                    TypeSystem`NestedGrid`PackagePrivate`$lastPath, 
                    TypeSystem`NestedGrid`PackagePrivate`$state$$], 
                    TypeSystem`NestedGrid`PackagePrivate`sortDirection$ = 
                    TypeSystem`NestedGrid`PackagePrivate`columnSortDirection[
                    TypeSystem`NestedGrid`PackagePrivate`$lastPath, 
                    TypeSystem`NestedGrid`PackagePrivate`$state$$[
                    "SortPaths"], 
                    TypeSystem`NestedGrid`PackagePrivate`$state$$[
                    "SortDirections"]], 
                    TypeSystem`NestedGrid`PackagePrivate`haveData$ = Not[
                    FailureQ[
                    TypeSystem`NestedGrid`PackagePrivate`datasetInitialData[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$]]], 
                    TypeSystem`NestedGrid`PackagePrivate`isKeyDummy$ = Not[
                    FreeQ[
                    TypeSystem`NestedGrid`PackagePrivate`$lastPath, Keys]]}, 
                    Join[{
                    If[
                    Or[
                    Not[TypeSystem`NestedGrid`PackagePrivate`haveData$], 
                    Not[TypeSystem`NestedGrid`PackagePrivate`anyHidden$], 
                    TypeSystem`NestedGrid`PackagePrivate`isKeyDummy$], 
                    Nothing, 
                    MenuItem[
                    "Show " <> 
                    Which[TypeSystem`NestedGrid`PackagePrivate`lastPathType$ == 
                    "Item", "", 
                    TypeSystem`NestedGrid`PackagePrivate`lastPathType$ == 
                    "RowHeader", "Row", 
                    TypeSystem`NestedGrid`PackagePrivate`lastPathType$ == 
                    "ColumnHeader", "Column", True, ""], 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`updateHiddenItems[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]]][
                    TypeSystem`NestedGrid`PackagePrivate`lastPath$, 
                    "remove"]], MenuEvaluator -> Automatic]], 
                    If[
                    Or[
                    Not[TypeSystem`NestedGrid`PackagePrivate`haveData$], 
                    TypeSystem`NestedGrid`PackagePrivate`pathEmptyQ[
                    TypeSystem`NestedGrid`PackagePrivate`$lastPath, 
                    TypeSystem`NestedGrid`PackagePrivate`$state$$], 
                    TypeSystem`NestedGrid`PackagePrivate`isKeyDummy$, 
                    And[
                    TypeSystem`NestedGrid`PackagePrivate`allHidden$, 
                    TypeSystem`NestedGrid`PackagePrivate`headerHidden$]], 
                    Nothing, 
                    MenuItem[
                    "Hide " <> 
                    Which[TypeSystem`NestedGrid`PackagePrivate`lastPathType$ == 
                    "Item", "", 
                    TypeSystem`NestedGrid`PackagePrivate`lastPathType$ == 
                    "RowHeader", "Row", 
                    TypeSystem`NestedGrid`PackagePrivate`lastPathType$ == 
                    "ColumnHeader", "Column", True, ""], 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`updateHiddenItems[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]]][
                    TypeSystem`NestedGrid`PackagePrivate`lastPath$, "add"]], 
                    MenuEvaluator -> Automatic]], Delimiter}, 
                    If[
                    And[TypeSystem`NestedGrid`PackagePrivate`haveData$, 
                    MatchQ[TypeSystem`NestedGrid`PackagePrivate`lastPathType$, 
                    Alternatives["ColumnHeader", "KeyDummy"]], 
                    TypeSystem`NestedGrid`PackagePrivate`isLeafHeader$, 
                    Not[TypeSystem`NestedGrid`PackagePrivate`allHidden$]], {
                    If[
                    TypeSystem`NestedGrid`PackagePrivate`sortDirection$ =!= 
                    "Ascending", 
                    MenuItem["Sort", 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`updateSort[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][
                    TypeSystem`NestedGrid`PackagePrivate`lastPath$, 
                    "Ascending"]], MenuEvaluator -> Automatic], Nothing], 
                    If[
                    TypeSystem`NestedGrid`PackagePrivate`sortDirection$ =!= 
                    "Descending", 
                    MenuItem["Reverse Sort", 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`updateSort[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][
                    TypeSystem`NestedGrid`PackagePrivate`lastPath$, 
                    "Descending"]], MenuEvaluator -> Automatic], Nothing], 
                    If[
                    TypeSystem`NestedGrid`PackagePrivate`sortDirection$ =!= 
                    None, 
                    MenuItem["Unsort", 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`updateSort[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$path$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
                    TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
                    TypeSystem`NestedGrid`PackagePrivate`localHold[
                    TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][
                    TypeSystem`NestedGrid`PackagePrivate`lastPath$, None]], 
                    MenuEvaluator -> Automatic], Nothing], Delimiter}, {}], {
                    MenuItem["Copy Position to Clipboard", 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`toCurrentPosition[
                    TypeSystem`NestedGrid`PackagePrivate`copyClip]], 
                    MenuEvaluator -> Automatic], 
                    If[TypeSystem`NestedGrid`PackagePrivate`haveData$, 
                    MenuItem["Copy Data to Clipboard", 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`toCurrentData[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                    TypeSystem`NestedGrid`PackagePrivate`copyClip]], 
                    MenuEvaluator -> Automatic], Nothing], Delimiter, 
                    MenuItem["Paste Position in New Cell", 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`toCurrentPosition[
                    TypeSystem`NestedGrid`PackagePrivate`cellPaste]], 
                    MenuEvaluator -> Automatic], 
                    If[TypeSystem`NestedGrid`PackagePrivate`haveData$, 
                    MenuItem["Paste Data in New Cell", 
                    KernelExecute[
                    TypeSystem`NestedGrid`PackagePrivate`toCurrentData[
                    TypeSystem`NestedGrid`PackagePrivate`$state$$, 
                    TypeSystem`NestedGrid`PackagePrivate`cellPaste]], 
                    MenuEvaluator -> Automatic], Nothing]}]]]]], FontFamily -> 
            "Source Sans Pro", FontSize -> 14, FontWeight -> Plain}, Dividers -> 
          All, FrameStyle -> 
          RGBColor[0.749003690406716, 0.749003690406716, 0.749003690406716], 
          Spacings -> {0, 0}, Alignment -> Left, 
          BaseStyle -> {
           FontFamily -> "Source Sans Pro", FontSize -> 14, FontWeight -> 
            Plain}], LineBreakWithin -> False, ContextMenu -> {}, NumberMarks -> 
         False, ShowAutoStyles -> False]], 
      TypeSystem`NestedGrid`PackagePrivate`initialQ = True}, 
     Dynamic[
      TypeSystem`NestedGrid`PackagePrivate`setupViewPath[
      TypeSystem`NestedGrid`PackagePrivate`$path$$, If[
         Not[TypeSystem`NestedGrid`PackagePrivate`initialQ], 
         Module[{
          TypeSystem`NestedGrid`PackagePrivate`tmpGrid$ = $Failed, 
           TypeSystem`NestedGrid`PackagePrivate`tmpData$ = 
           TypeSystem`NestedGrid`PackagePrivate`datasetData[
            TypeSystem`NestedGrid`PackagePrivate`$state$$]}, 
          TypeSystem`NestedGrid`PackagePrivate`tmpGrid$ = If[
             FailureQ[TypeSystem`NestedGrid`PackagePrivate`tmpData$], 
             TypeSystem`NestedGrid`PackagePrivate`renderedGrid, 
             TypeSystem`NestedGrid`PackagePrivate`renderGrid[
             TypeSystem`NestedGrid`PackagePrivate`$state$$, 
              TypeSystem`NestedGrid`PackagePrivate`$path$$, 
              TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
              TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
              TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
              TypeSystem`NestedGrid`PackagePrivate`localHold[
              TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][
             TypeSystem`NestedGrid`PackagePrivate`tmpData$]]; If[
            Not[
             FailureQ[TypeSystem`NestedGrid`PackagePrivate`tmpGrid$]], 
            TypeSystem`NestedGrid`PackagePrivate`renderedGrid = 
            TypeSystem`NestedGrid`PackagePrivate`tmpGrid$]; Null]]; 
       TypeSystem`NestedGrid`PackagePrivate`initialQ = False; 
       TypeSystem`NestedGrid`PackagePrivate`$vPos$$; 
       TypeSystem`NestedGrid`PackagePrivate`$hPos$$; If[
         FailureQ[TypeSystem`NestedGrid`PackagePrivate`renderedGrid], 
         TypeSystem`SparseGrid[
          TypeSystem`H["(data no longer present)"]], 
         TypeSystem`NestedGrid`PackagePrivate`renderedGrid]], 
      TrackedSymbols :> {
       TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
        TypeSystem`NestedGrid`PackagePrivate`$hPos$$}], 
     DynamicModuleValues :> {}], 
    TypeSystem`NestedGrid`PackagePrivate`$topBar$$ = Dynamic[
     TypeSystem`NestedGrid`PackagePrivate`makeFramedBar[
      TypeSystem`PackageScope`SubViewPathbar[
      TypeSystem`NestedGrid`PackagePrivate`$path$$, 
       TypeSystem`NestedGrid`PackagePrivate`updateState[
       TypeSystem`NestedGrid`PackagePrivate`$state$$, 
        TypeSystem`NestedGrid`PackagePrivate`$path$$, 
        TypeSystem`NestedGrid`PackagePrivate`$vPos$$, 
        TypeSystem`NestedGrid`PackagePrivate`$hPos$$, 
        TypeSystem`NestedGrid`PackagePrivate`$grid$$, 
        TypeSystem`NestedGrid`PackagePrivate`localHold[
        TypeSystem`NestedGrid`PackagePrivate`$outputID$$]]]], 
     TrackedSymbols :> {TypeSystem`NestedGrid`PackagePrivate`$path$$}], 
    TypeSystem`NestedGrid`PackagePrivate`$bottomBar$$ = Dynamic[
     Replace[
      Replace[
      TypeSystem`NestedGrid`PackagePrivate`mouseAnnotation$$, {
       TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
          TypeSystem`NestedGrid`PackagePrivate`localHold[
          TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][Null, 
          Blank[]] -> "", TypeSystem`NestedGrid`PackagePrivate`$SliceMarker[
          TypeSystem`NestedGrid`PackagePrivate`localHold[
          TypeSystem`NestedGrid`PackagePrivate`$outputID$$]][
          Pattern[TypeSystem`NestedGrid`PackagePrivate`path$, 
           Blank[]], 
          Pattern[TypeSystem`NestedGrid`PackagePrivate`pathType$, 
           Blank[]], 
          Pattern[TypeSystem`NestedGrid`PackagePrivate`isLeafHeader$, 
           Blank[]]] :> (
         Increment[TypeSystem`NestedGrid`PackagePrivate`$contextMenuTrigger]; 
         TypeSystem`NestedGrid`PackagePrivate`$lastPath = 
          TypeSystem`NestedGrid`PackagePrivate`path$; 
         TypeSystem`NestedGrid`PackagePrivate`$lastPathType = 
          TypeSystem`NestedGrid`PackagePrivate`pathType$; 
         TypeSystem`NestedGrid`PackagePrivate`$lastPathIsLeafHeader = 
          TypeSystem`NestedGrid`PackagePrivate`isLeafHeader$; 
         TypeSystem`NestedGrid`PackagePrivate`$lastOutputID = 
          TypeSystem`NestedGrid`PackagePrivate`localHold[
           TypeSystem`NestedGrid`PackagePrivate`$outputID$$]; 
         TypeSystem`NestedGrid`PackagePrivate`makePathTrail[
          TypeSystem`NestedGrid`PackagePrivate`path$, 
           TypeSystem`NestedGrid`PackagePrivate`makePathElements]), Null :> 
        Spacer[10], Blank[] :> Spacer[10]}], 
      Pattern[TypeSystem`NestedGrid`PackagePrivate`bar, 
        Except[
         Alternatives[
          Blank[Spacer], ""]]] :> 
      TypeSystem`NestedGrid`PackagePrivate`makeFramedPathbar[
       TypeSystem`NestedGrid`PackagePrivate`bar]], 
     TrackedSymbols :> {
      TypeSystem`NestedGrid`PackagePrivate`mouseAnnotation$$}], 
    TypeSystem`NestedGrid`PackagePrivate`mouseAnnotation$$ = Null}, 
    DynamicWrapperBox[
     DynamicBox[ToBoxes[
       Dataset`DatasetContent[
       2, "Path" -> Hold[TypeSystem`NestedGrid`PackagePrivate`$path$$], 
        "Grid" -> Hold[TypeSystem`NestedGrid`PackagePrivate`$grid$$], "State" -> 
        Hold[TypeSystem`NestedGrid`PackagePrivate`$state$$], "VPos" -> 
        Hold[TypeSystem`NestedGrid`PackagePrivate`$vPos$$], "HPos" -> 
        Hold[TypeSystem`NestedGrid`PackagePrivate`$hPos$$], "TopBar" -> 
        Hold[TypeSystem`NestedGrid`PackagePrivate`$topBar$$], "BottomBar" -> 
        Hold[TypeSystem`NestedGrid`PackagePrivate`$bottomBar$$], "OutputID" -> 
        Hold[
          TypeSystem`NestedGrid`PackagePrivate`localHold[
          TypeSystem`NestedGrid`PackagePrivate`$outputID$$]]], StandardForm],
      ImageSizeCache->{232.291, {77.64801025390625, 82.93902587890625}},
      TrackedSymbols:>{
       TypeSystem`NestedGrid`PackagePrivate`$state$$, 
        TypeSystem`NestedGrid`PackagePrivate`$grid$$}], 
     TypeSystem`NestedGrid`PackagePrivate`mouseAnnotation$$ = 
     MouseAnnotation[],
     ImageSizeCache->{232.291, {77.64801025390625, 82.93902587890625}}],
    BaseStyle->{
     LineBreakWithin -> False, 
      LightDarkAutoColorRules -> <|"MarkedColors" -> True|>},
    DynamicModuleValues:>{},
    Initialization:>(TypeSystem`NestedGrid`PackagePrivate`$outputID$$ = 
     CreateUUID[]),
    UnsavedVariables:>{TypeSystem`NestedGrid`PackagePrivate`$outputID$$}],
   Deploy,
   DefaultBaseStyle->"Deploy"],
  Dataset`InterpretDataset[1],
  Editable->False,
  SelectWithContents->True,
  Selectable->False]], "Output",
 CellLabel->"Out[9]= ",ExpressionUUID->"805a699c-9150-4673-a6a8-3a0f6ab55c08"]
}, Open  ]],

Cell["Three of those rows are results in themselves.", "Text",ExpressionUUID->"ec817a13-7eaf-4683-b00f-2198597ff741"],

Cell["\<\
Convention W \[LongDash] \"a title word simply is a seed word\" \[LongDash] \
leaves thirteen panels with nothing, so it cannot supply twenty-four words at \
all. It is refuted by construction, without a single derivation.\
\>", "Text",ExpressionUUID->"8684f2d7-b20e-4a3f-a237-e2aef9e32964"],

Cell[TextData[{
 "Convention L leaves exactly ",
 StyleBox["ten", "TI"],
 " panels wordless. Ten is the number of intruders. Under this reading the \
puzzle names its own intruders and the drop pattern is not a choice at all: \
the space collapses from a combinatorial explosion to ",
 StyleBox["1,152 candidates",
  FontWeight->"Bold"],
 ", about four of which survive the checksum. That is a complete hypothesis \
testable in under a second, and it had never been tested."
}], "Text",ExpressionUUID->"8726728a-454a-450e-969c-122e6c331e99"],

Cell["\<\
Convention S, at 1.8 \[Times] 10\.b9\.b9 candidates, is where the cost lives.\
\
\>", "Text",ExpressionUUID->"62699d7e-b772-4030-bb0a-37db71508bd2"]
}, Open  ]],

Cell[CellGroupData[{

Cell["The intruder rule: many criteria fit, which is the problem", "Section",ExpressionUUID->"38e4f55b-e1df-4ac7-99ae-c05213ed32cf"],

Cell[TextData[{
 "The rules pin the intruder test to a field on each film's IMDb page. The \
prior research reported that no IMDb field produces an exact 24/10 split. \
Tested properly, the opposite is true and it is worse news: ",
 StyleBox["many", "TI"],
 " do."
}], "Text",ExpressionUUID->"bbdd8e8f-b1aa-4183-b1f8-39f6397378bb"],

Cell[TextData[{
 "Five hundred and twenty-one binary criteria were built over IMDb's bulk ",
 Cell["title.basics", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "f6b2853a-1546-4ed0-bd80-eda0b9cecc20"],
 " and ",
 Cell["title.ratings", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "5bbc5e8b-ec3c-4938-a7e2-1a2c3a736475"],
 " tables plus the page-level fields (certificate, countries, languages, \
colour, aspect ratio, awards, based-on-a-novel) mirrored through Wikidata, \
and each was counted against the thirty-three identified films. Twenty-five \
of them split the set exactly 24/10. Rating \[GreaterEqual] 8.2 does. So does \
vote count \[GreaterEqual] 775,992, first genre Action, release before 1980, \
runtime < 108 minutes, an even release year, and nineteen more. With about \
five hundred criteria over thirty-four films, an exact ten-split is not \
evidence of anything, and three of the criteria that \"worked\" for earlier \
researchers died on the next identification for exactly this reason."
}], "Text",ExpressionUUID->"f14199ad-4938-4fa4-8080-20b911d4ca2e"],

Cell[TextData[{
 "One constraint does survive, and it is sharp. Panel 8 \[LongDash] ",
 StyleBox["The Goonies", "TI"],
 " under the community identification \[LongDash] has no BIP-39 word under ",
 StyleBox["any",
  FontWeight->"Bold"],
 " of the five conventions above, so it ",
 StyleBox["must", "TI"],
 " be one of the ten intruders. Of the twenty-five criteria that fit the \
count, ",
 StyleBox["not one puts panel 8 in the intruder set.",
  FontWeight->"Bold"],
 " Either the intruder rule is not a single-field threshold, or panel 8 is \
not ",
 StyleBox["The Goonies", "TI"],
 ". Reading the frame supports the second: it shows two men in belted trench \
coats and rain hats under black umbrellas beside a picket fence, with a \
freighter on the estuary behind them \[LongDash] an Astoria-looking shot that \
could not be placed in the film."
}], "Text",ExpressionUUID->"029e2343-a2f3-4052-878e-6ca7d4b19c93"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Making the derivation trustworthy before trusting it", "Section",ExpressionUUID->"ca67bda9-1227-4b3d-b1e5-d7b8a5a13b3c"],

Cell["\<\
A sweep that derives addresses incorrectly returns a null indistinguishable \
from a real one, and would be worse than not running. Three things were \
pinned before anything was enumerated.\
\>", "Text",ExpressionUUID->"07a523ce-70e7-466b-a1e7-f42b7b15b3c3"],

Cell["\<\
First, the whole chain from mnemonic to address, against the published BIP-84 \
test vectors:\
\>", "Text",ExpressionUUID->"0c773d14-1719-43df-b632-3bad034ae752"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{
  "bip84", " ", "=", 
   " ", "\"\<abandon abandon abandon abandon abandon abandon abandon abandon \
abandon abandon abandon about\>\""}], ";"}], "\n", 
 RowBox[{
  RowBox[{"root", " ", "=", " ", 
   RowBox[{"BIP32MasterKey", "[", 
    RowBox[{"BIP39Seed", "[", "bip84", "]"}], "]"}]}], ";"}], "\n", 
 RowBox[{"{", 
  RowBox[{
   RowBox[{"BitcoinAddress", "[", 
    RowBox[{
     RowBox[{"BIP32DeriveKey", "[", 
      RowBox[{"root", ",", " ", 
       RowBox[{"BIP32Path", "[", "\"\<m/84h/0h/0h/0/0\>\"", "]"}]}], "]"}], ",",
      " ", "\"\<P2WPKH\>\""}], "]"}], ",", "\n", " ", 
   RowBox[{"BitcoinAddress", "[", 
    RowBox[{
     RowBox[{"BIP32DeriveKey", "[", 
      RowBox[{"root", ",", " ", 
       RowBox[{"BIP32Path", "[", "\"\<m/84h/0h/0h/1/0\>\"", "]"}]}], "]"}], ",",
      " ", "\"\<P2WPKH\>\""}], "]"}]}], "}"}]}], "Input",
 CellLabel->"In[10]:=",ExpressionUUID->"7ca90f00-b02b-47a1-8e7f-e22001610c8e"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"\<\"bc1qcr8te4kr609gcawutmrza0j4xv80jy8z306fyu\"\>", 
   ",", "\<\"bc1q8c6fshw2dlwun7ekn9qwf37cu2rn755upcp6el\"\>"}], 
  "}"}]], "Output",
 CellLabel->
  "Out[10]= ",ExpressionUUID->"9546d41e-fdff-4c62-8784-365328d61163"]
}, Open  ]],

Cell[TextData[{
 "Those are the first receiving address and the first change address printed \
in BIP-84 itself, and the same seed's root key serialises to the ",
 Cell[BoxData["zprv"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "ee2edd7f-2a46-4bb1-ac98-03cbc9cb7a67"],
 " the standard publishes."
}], "Text",ExpressionUUID->"e3f43f87-5c7d-4826-818f-f0dfc1eb44d2"],

Cell[TextData[{
 "Second, the batched engine against the paclet's own one-candidate-at-a-time \
path. The sweep does not call ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["BIP32DeriveKey"]], 
    "paclet:WolframInstitute/Puzzles/ref/BIP32DeriveKey", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "58f86706-c28b-4469-bd0c-2375a05e50ae"],
 " per candidate: it runs CKDpriv across a whole batch so the elliptic-curve \
work goes through ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["Secp256k1PublicKeyList"]], 
    "paclet:WolframInstitute/Puzzles/ref/Secp256k1PublicKeyList", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "0a11994d-2016-429c-8a23-4f367666a1f6"],
 ", which is an order of magnitude faster per key than ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["Secp256k1PublicKey"]], 
    "paclet:WolframInstitute/Puzzles/ref/Secp256k1PublicKey", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "367309ff-d93e-45e9-9287-cec3f7b4f1cd"],
 ", and it finishes with one ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["HashChain"]], "paclet:WolframInstitute/Puzzles/ref/HashChain", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "91d197ae-06d2-44fe-a7cb-cc7ab493891c"],
 " call for the HASH160 of every derived key:"
}], "Text",ExpressionUUID->"d172bf29-bfc9-44d4-a498-96f7b8f7c5d3"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"hash160s", " ", "=", " ", 
  RowBox[{"HashChain", "[", 
   RowBox[{
    RowBox[{"Secp256k1PublicKeyList", "[", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "2", ",", " ", "3"}], "}"}], "]"}], ",", 
    " ", "\"\<RIPEMD160SHA256\>\"", ",", " ", "1", ",", 
    " ", "\"\<HexString\>\""}], "]"}]}]], "Input",
 CellLabel->"In[11]:=",ExpressionUUID->"4a3dfe81-b127-41cd-923a-8376da1d6911"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"\<\"751e76e8199196d454941c45d1b3a323f1433bd6\"\>", 
   ",", "\<\"06afd46bcdfd22ef94ac122aa11f241244a37ecc\"\>", 
   ",", "\<\"7dd65592d0ab2fe0d0257d571abf032cd9db93dc\"\>"}], "}"}]], "Output",\

 CellLabel->
  "Out[11]= ",ExpressionUUID->"af2737e4-c0a7-4afa-ba6a-a45b700d4639"]
}, Open  ]],

Cell[TextData[{
 "The first of those is the witness program of the BIP-173 example address ",
 Cell[BoxData["bc1qw508d6qejxtdg4y5r3zarvary0c5xw7kv8f3t4"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "dbff62c7-38f4-4618-b109-6c5b9e6aedc4"],
 ", which is a useful reminder that the batch path lands where the standards \
say it should. Across every one of the thirteen derivation paths the sweep \
tests, the batched result was checked to be identical to ",
 Cell[BoxData[
  RowBox[{"BitcoinPublicKeyHash", "[", 
   RowBox[{"BIP32DeriveKey", "[", "\[Ellipsis]", "]"}], "]"}]], 
  "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "ede292c6-c8d9-489b-afa5-720e94cb54ea"],
 " candidate by candidate."
}], "Text",ExpressionUUID->"5ff802db-2134-4229-868b-0a4fe1283f65"],

Cell["\<\
Third, a planted positive control. A sweep that cannot find a seed it was \
handed is worthless, so the engine was pointed at the address of a mnemonic \
drawn from the same machinery and required to report it:\
\>", "Text",ExpressionUUID->"1093a77f-5a3e-4627-b0dd-2e78aa354855"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"planted", " ", "=", " ", 
   RowBox[{"BIP39Mnemonic", "[", 
    RowBox[{"ByteArray", "[", 
     RowBox[{"IntegerDigits", "[", 
      RowBox[{"16^^b17c012e", ",", " ", "256", ",", " ", "32"}], "]"}], "]"}],
     "]"}]}], ";"}], "\n", 
 RowBox[{"BitcoinAddress", "[", 
  RowBox[{
   RowBox[{"BIP32DeriveKey", "[", 
    RowBox[{
     RowBox[{"BIP32MasterKey", "[", 
      RowBox[{"BIP39Seed", "[", "planted", "]"}], "]"}], ",", " ", 
     RowBox[{"BIP32Path", "[", "\"\<m/84h/0h/0h/0/0\>\"", "]"}]}], "]"}], ",",
    " ", "\"\<P2WPKH\>\""}], "]"}]}], "Input",
 CellLabel->"In[12]:=",ExpressionUUID->"a064c38c-4f61-4212-9061-5cbe0a869cdf"],

Cell[BoxData["\<\"bc1qhch6475h59al954t0ux0cwms6xj3p3l5c7tsyj\"\>"], "Output",
 CellLabel->
  "Out[12]= ",ExpressionUUID->"019728a0-d6eb-4087-8714-e32812b0e9c0"]
}, Open  ]],

Cell["\<\
The engine finds it. The checksum filter was pinned the same way: it accepts \
every official BIP-39 twenty-four-word vector and rejects all of them when \
any single word is perturbed.\
\>", "Text",ExpressionUUID->"82557382-e7ce-4d9c-a7eb-40623f653c14"]
}, Open  ]],

Cell[CellGroupData[{

Cell["The checksum is 255/256 of the work, and it is nearly free", "Section",ExpressionUUID->"23ca9434-3cb9-41a7-96e5-ce5a6cdec755"],

Cell[TextData[{
 "A twenty-four-word mnemonic is 264 bits: 256 of entropy and an eight-bit \
checksum that must equal the leading byte of the SHA-256 of the entropy. Only \
one candidate in 256 is a valid mnemonic at all, and that filter is thousands \
of times cheaper than a derivation, so it is what makes the arithmetic \
survivable. Word indices are packed straight into the 33 payload bytes by \
vectorised shifts \[LongDash] no strings, no ",
 Cell[BoxData["IntegerDigits"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "56c912ad-e714-4b54-9d03-9898376fd92c"],
 " per row \[LongDash] and hashed in one batch through the compiled SHA-256 \
in ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["$OracleCompiledDigests"]], 
    "paclet:WolframInstitute/Puzzles/ref/$OracleCompiledDigests", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "139a7839-ab73-4631-a7ac-aa8a45cb8950"],
 "."
}], "Text",ExpressionUUID->"d0874c45-7c8c-4257-9ef6-630161223a3f"],

Cell["Measured on one core of a laptop:", "Text",ExpressionUUID->"3d188c35-6f80-48a6-a567-c4078c66e5ec"],

Cell[BoxData[GridBox[{
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "76cf6a48-fec2-4079-b5c4-dfff05178151"], Cell["stage", "TableText",
     FontWeight->Bold,ExpressionUUID->"f286e0ac-19c8-4aba-83a2-dfb8b9c4cbaa"],
     Cell["rate", "TableText",
     FontWeight->Bold,ExpressionUUID->"0d6144bd-3c3b-482c-8e49-23984bbb3799"]},
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "39a14fd7-0e7c-406d-90c3-43dd7c0c4c20"], Cell[
    "pack + SHA-256 checksum filter", "TableText",ExpressionUUID->
     "b4fd30c5-cf87-46e8-a4b7-12450badccea"], Cell[
    "416,164 candidates/s", "TableText",ExpressionUUID->
     "ad776368-fd5f-4e3b-926d-a89e8c80f1c2"]},
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "1d7d9701-fc54-4247-aea6-94e0221c671c"], Cell[TextData[{
     "full derivation, one path (",
     Cell["m/84'/0'/0'/0/0", "InlineCode",
      FontFamily->"Source Sans Pro",ExpressionUUID->
      "7d78e3ee-da93-4b39-a8d4-f682374c97f8"],
     ")"
    }], "TableText",ExpressionUUID->"0591de03-1aa0-480b-b729-a004df56a995"], 
    Cell["470 candidates/s", "TableText",ExpressionUUID->
     "d62dc32a-227e-46c0-b048-619eafdc4f98"]},
   {Cell["      ", "TableRowIcon",ExpressionUUID->
     "ddf5270a-6362-4a8e-98bc-8a55d83c60ed"], Cell[
    "full derivation, all thirteen paths", "TableText",ExpressionUUID->
     "a77fde19-ac74-4e58-bdb7-f22472c62caa"], Cell[
    "63 seeds/s (820 node-derivations/s)", "TableText",ExpressionUUID->
     "66216d35-d597-4265-9e21-4980b647adbd"]}
  }]], "2ColumnTableMod",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "Rows" -> {None, None, None, {None}}},
 GridBoxDividers->{
  "Rows" -> {{
     True, True, True, True, 
      True}}}},ExpressionUUID->"2ce595cf-6a8f-404f-9f95-f8f0398c67a2"],

Cell[TextData[{
 "Of a single-path derivation, about 35% is the BIP-39 PBKDF2 (2048 \
HMAC-SHA-512 rounds) and about 65% is the five levels of CKDpriv. Cost for a \
space of N candidates on one core is therefore close to ",
 Cell[BoxData[
  RowBox[{
   RowBox[{"N", "/", "416164"}], " ", "+", " ", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"N", "/", "256"}], ")"}], "/", "470"}]}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "665a34ad-473e-449a-aea1-5751e0734570"],
 " seconds \[LongDash] the checksum term matters only once N passes about 10\
\.b9\:2070."
}], "Text",ExpressionUUID->"a9480cba-30b4-4838-aaa7-850cbc22f398"]
}, Open  ]],

Cell[CellGroupData[{

Cell["What was actually run", "Section",ExpressionUUID->"8b1113d1-4e6d-4466-8329-d4cabe812c33"],

Cell[TextData[{
 "Every region below was ",
 StyleBox["exhausted",
  FontWeight->"Bold"],
 ", single kernel, no passphrase, panel order, and all thirteen candidate \
derivation paths (",
 Cell["m/84'/0'/0'/0/{0,1,2}", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "f2b6af94-e97f-40a6-94a6-aa13939ce077"],
 ", ",
 Cell["m/84'/0'/0'/1/0", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "36113b21-e035-47b7-bf97-3e08db04e1c8"],
 ", ",
 Cell["m/84'/0'/1'/0/0", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "b26bdf8f-cba7-4f59-914d-65135a86f205"],
 ", ",
 Cell["m/49'/0'/0'/0/{0,1}", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "f41730e7-66d1-4183-90d5-5059a30b2096"],
 ", ",
 Cell["m/44'/0'/0'/0/{0,1}", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "ffb8d1f3-7f4c-4ce6-8455-f627b74bcbda"],
 ", ",
 Cell["m/86'/0'/0'/0/0", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "dd39a373-da1f-4d7a-8755-18aaa8b96200"],
 ", ",
 Cell["m/0'/0/0", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "14c7416e-084a-44f4-85f5-184bdca89a65"],
 ", ",
 Cell["m/0/0", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "2f71a997-061e-4989-b805-a0c776592c5e"],
 ", ",
 Cell[BoxData["m"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "4e01ff62-8323-46f5-b11a-83ef96c14290"],
 "), each compared at its own HASH160 against the target."
}], "Text",ExpressionUUID->"24427aa6-b7b5-44ea-8905-0322fe7e48e4"],

Cell[BoxData[GridBox[{
   {Cell["region", "TableText",
     FontWeight->Bold,ExpressionUUID->"96af15c7-4169-43d0-8a6d-2878f9b7c5c3"],
     Cell["candidates", "TableText",
     FontWeight->Bold,ExpressionUUID->"ac387d47-7e1c-47f4-b30c-65469cfaab3f"],
     Cell["checksum-valid", "TableText",
     FontWeight->Bold,ExpressionUUID->"525c1c35-e75e-4223-bc24-129dc545b8f6"],
     Cell["hits", "TableText",
     FontWeight->Bold,ExpressionUUID->"3fc6213f-4345-4b88-9c43-a551f4443388"]},
   {Cell["\<\
convention L, its own ten wordless panels as the intruders, every word \
combination\
\>", "TableText",ExpressionUUID->"25ad822e-a7ec-4592-8997-acf25c4c7de0"], 
    Cell["1,152", "TableText",ExpressionUUID->
     "4b7d840b-e25e-4f54-92d4-7594f6743850"], Cell[
    "5", "TableText",ExpressionUUID->"3a311c34-fb7f-4a97-9a85-c23c02c09464"], 
    Cell["0", "TableText",ExpressionUUID->
     "6032e02c-fa8b-4cf5-9ee4-3129b160a654"]},
   {Cell["\<\
the same ten intruders, widened to the T+L+numeral word lists\
\>", "TableText",ExpressionUUID->"b2fd9fe0-f298-4686-b1d4-4b7bb9957231"], 
    Cell["153,600", "TableText",ExpressionUUID->
     "958045e2-8e85-4e18-b93a-2858ada160a8"], Cell[
    "627", "TableText",ExpressionUUID->
     "c1f1fc6d-972c-4523-91cd-ccff853eb89b"], Cell[
    "0", "TableText",ExpressionUUID->
     "6f060a77-30be-442f-8dc4-afc1d400e7e3"]},
   {Cell["\<\
one canonical word per panel \[Times] every allowed drop pattern, 5 \
conventions \[Times] 3 policies\
\>", "TableText",ExpressionUUID->"8d0ac5b9-3482-4adc-91ca-69e7713de66a"], 
    Cell["4,283,955", "TableText",ExpressionUUID->
     "9a1dcccd-4a13-424b-b0ce-8595cd11cc15"], Cell[
    "16,675", "TableText",ExpressionUUID->
     "2bee5a1f-5f8b-42e7-9c67-92cdd8d30ef2"], Cell[
    "0", "TableText",ExpressionUUID->
     "6d015ddc-29a1-4b3f-b8d9-bac18af96172"]},
   {Cell[TextData[StyleBox["total",
     FontWeight->"Bold"]], "TableText",ExpressionUUID->
     "3966c98d-817f-46c2-ba5e-10f39307d927"], Cell[TextData[StyleBox[
    "4,438,707",
     FontWeight->"Bold"]], "TableText",ExpressionUUID->
     "6a8e3c53-9e14-4081-b802-affb74e1e0eb"], Cell[TextData[StyleBox[
    "17,307",
     FontWeight->"Bold"]], "TableText",ExpressionUUID->
     "f7a41d14-007c-4ce8-a729-9ba7b4430567"], Cell[TextData[StyleBox["0",
     FontWeight->"Bold"]], "TableText",ExpressionUUID->
     "64a32db7-d9e0-46a2-842c-91c29a6c435d"]}
  },
  GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}},
  GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {{True}}},
  GridBoxSpacings->{"Columns" -> {{1.5}}, "Rows" -> {{0.7}}}]], "Text",Express\
ionUUID->"e6ebea2f-73c1-4d16-ad3c-0a3660355bf5"],

Cell[TextData[{
 "The third row is the interesting one. Fixing the word axis to a single \
canonical word per panel \[LongDash] longest, shortest, or alphabetically \
first \[LongDash] makes each convention's space just the set of drop \
patterns, ",
 Cell[BoxData[
  RowBox[{"Binomial", "[", 
   RowBox[{"wordful", ",", " ", "24"}], "]"}]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "c962c76f-e1c8-4350-a19d-bb8d54303a7e"],
 ", which is 2,925 for convention P, 118,755 for T, and 593,775 for S. That \
buys coverage of the axis the puzzle actually hides its answer in: ",
 StyleBox["every",
  FontWeight->"Bold"],
 " way of choosing twenty-four keepers, for five different readings of the \
word rule, was tested. Seventeen thousand three hundred and seven \
checksum-valid mnemonics were derived to thirteen addresses each \[LongDash] \
224,991 addresses \[LongDash] in six minutes and eleven seconds on one core."
}], "Text",ExpressionUUID->"f9a65445-c894-4573-8935-9524bab211b6"],

Cell["None of them is the target.", "Text",ExpressionUUID->"103c5e6a-0406-4f09-b6da-e6c170d6d975"],

Cell[TextData[{
 "The record is on disk rather than in this page. Each derived candidate is \
content-addressed into a ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["SearchLedger"]], 
    "paclet:WolframInstitute/Puzzles/ref/SearchLedger", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "2c60c372-8629-4e74-a509-2fbbf933a0ad"],
 ", so a later run skips it:"
}], "Text",ExpressionUUID->"6d11aa75-f4d8-43b0-8f29-b649964c228d"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CandidateFingerprint", "[", "bip84", "]"}]], "Input",
 CellLabel->"In[13]:=",ExpressionUUID->"cee4cc0e-3ef4-4a97-9746-3704e60c883c"],

Cell[BoxData["\<\"\
c557eec878dfd852ba3f88087c4f350f09c55537ab5e549c3cd14320ec3cef38\"\>"], \
"Output",
 CellLabel->
  "Out[13]= ",ExpressionUUID->"bcecea04-d7f4-424d-8fe6-028d6724b58e"]
}, Open  ]],

Cell[TextData[{
 "The ledger for this target now holds 169,152 distinct candidate \
fingerprints, against three before this run and zero in the published prior \
research. Alongside it, ",
 Cell["coverage.json", "InlineCode",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "1a117537-4ca0-45f8-bf48-39ecf1037854"],
 " records the seventeen exhausted regions in closed form \[LongDash] the \
word list per panel, the keeper rule, the path set \[LongDash] because at 2.5 \
\[Times] 10\:2078 candidates a per-candidate ledger would be terabytes and a \
region description is a few kilobytes."
}], "Text",ExpressionUUID->"be4f0c30-2819-48c2-a664-287c5508c9aa"]
}, Open  ]],

Cell[CellGroupData[{

Cell["What is still open, and what it costs", "Section",ExpressionUUID->"4aa6414c-d8b2-4d4e-b019-f04394206e4f"],

Cell["\<\
The regions above are a thin slice. The full drop-pattern \[Times] \
word-choice spaces, at the measured single-core rates, cost this:\
\>", "Text",ExpressionUUID->"65178d3c-7df3-4a9f-822c-c7e4bc74c299"],

Cell[BoxData[GridBox[{
   {Cell["job", "TableText",
     FontWeight->Bold,ExpressionUUID->"f3c9e112-6023-436c-ac89-c3ba807c9c1d"],
     Cell["convention", "TableText",
     FontWeight->Bold,ExpressionUUID->"f7bed20f-6993-49cb-943c-9f9ec31306a6"],
     Cell["candidates", "TableText",
     FontWeight->Bold,ExpressionUUID->"364d336b-bf41-463c-9b96-c37af7b6b840"],
     Cell["checksum-valid", "TableText",
     FontWeight->Bold,ExpressionUUID->"e90c406e-999a-4fde-b8d5-04a12f43e63e"],
     Cell["core-hours, one path", "TableText",
     FontWeight->Bold,ExpressionUUID->"62756d32-e2c5-4f26-b3c0-d361671576a1"],
     Cell["16 cores", "TableText",
     FontWeight->Bold,ExpressionUUID->"5cdcdb52-a53d-471d-88a7-184b94e14f3e"]},
   {Cell["BME-1", "TableText",ExpressionUUID->
     "453f1b41-4550-45d3-9cd3-67d297bbdd78"], Cell[
    "P", "TableText",ExpressionUUID->"a2c4a799-bbfd-4a30-bb3c-89b28841cbf8"], 
    Cell["5,209,760", "TableText",ExpressionUUID->
     "4a255ad1-3e9a-475c-8fbc-9a2770634a1f"], Cell[
    "20,351", "TableText",ExpressionUUID->
     "bafa0925-4066-4b70-b9d8-642bfb5dd4a8"], Cell[
    "0.02", "TableText",ExpressionUUID->
     "0d1fbc23-ad00-46fb-9380-d65233484f45"], Cell[
    "seconds", "TableText",ExpressionUUID->
     "f1cad6c4-36f8-49aa-9a20-c67702773d12"]},
   {Cell["BME-2", "TableText",ExpressionUUID->
     "00e61e46-12bc-4da4-ba4e-e4174dbbc625"], Cell[
    "T", "TableText",ExpressionUUID->"ad8d82a4-b395-493b-bea8-5444b155622f"], 
    Cell["12,026,784,256", "TableText",ExpressionUUID->
     "30b65468-667f-4de2-9539-5a3876901447"], Cell[
    "46,979,626", "TableText",ExpressionUUID->
     "e96c2a89-d26f-4b82-b569-92dc6866a93c"], Cell[
    "35.8", "TableText",ExpressionUUID->
     "8169cb8d-c354-4f59-b7e8-b46452f3d286"], Cell[
    "2.2 h", "TableText",ExpressionUUID->
     "e1be43fd-de09-4737-ae18-8af9c4f648e1"]},
   {Cell["BME-3", "TableText",ExpressionUUID->
     "2c0ff008-9c41-4440-8533-8466047b0f34"], Cell[
    "T+L", "TableText",ExpressionUUID->
     "12def577-0ce5-4bd2-926e-9c026c6ee596"], Cell[
    "63,954,839,680", "TableText",ExpressionUUID->
     "134ea50c-41fd-4710-9845-1522ffa9a924"], Cell[
    "249,823,592", "TableText",ExpressionUUID->
     "6a7e5a63-5105-4595-befe-85dc788fa9db"], Cell[
    "190.4", "TableText",ExpressionUUID->
     "30b535c5-c278-44ac-bef9-77948a64cfe5"], Cell[
    "11.9 h", "TableText",ExpressionUUID->
     "f2d9d541-1232-4974-af2f-2e0526bb7685"]},
   {Cell["BME-4", "TableText",ExpressionUUID->
     "5860f95a-8d5d-47a4-b907-d244cba36b5d"], Cell[
    "T+L+numerals", "TableText",ExpressionUUID->
     "0b574960-7788-408d-8c60-473b306c82f0"], Cell[
    "143,529,321,472", "TableText",ExpressionUUID->
     "5cf4d8db-04e6-40c5-a632-a04752e361dd"], Cell[
    "560,661,412", "TableText",ExpressionUUID->
     "a42547ba-782b-412c-b03f-9d96ce758df6"], Cell[
    "427.4", "TableText",ExpressionUUID->
     "e6755ee4-1647-464b-a223-f59c833da780"], Cell[
    "26.7 h", "TableText",ExpressionUUID->
     "60ecd8e9-f963-4813-a57a-23315e53a540"]},
   {Cell["BME-5", "TableText",ExpressionUUID->
     "69d1a4a1-bfcd-4d1d-8276-9ed2b8b545c6"], Cell[
    "S", "TableText",ExpressionUUID->"3db93ec2-cd5d-4b36-ba0e-8cdabdcfbdbc"], 
    Cell["178,543,852,288", "TableText",ExpressionUUID->
     "d8d70b3d-8277-4ac4-ab50-71ecd298c98b"], Cell[
    "697,436,923", "TableText",ExpressionUUID->
     "b61c7fb1-768e-4fc7-a1db-6e481b5c9edb"], Cell[
    "531.6", "TableText",ExpressionUUID->
     "766aa932-b9b2-49f9-bbc1-4535723007d5"], Cell[
    "33.2 h", "TableText",ExpressionUUID->
     "7a15f895-5607-44aa-982c-589505ccccf0"]},
   {Cell["BME-6", "TableText",ExpressionUUID->
     "dc35031f-9bef-482f-816c-3f789c7e67a8"], Cell[
    "S+L+numerals", "TableText",ExpressionUUID->
     "39b70987-e16a-4179-88fc-179d9cb396ea"], Cell[
    "1,813,673,420,992", "TableText",ExpressionUUID->
     "983f255e-235c-47a7-b0e8-1cab47e321ed"], Cell[
    "7,084,661,801", "TableText",ExpressionUUID->
     "596a7e77-2a34-44a8-b1af-dd424f1cca64"], Cell[
    "5,400", "TableText",ExpressionUUID->
     "44e75a56-604b-4c97-8023-c1cbf43cd7cb"], Cell[
    "14 days", "TableText",ExpressionUUID->
     "3458ee08-507e-442e-84ca-5fd3f06ad3d6"]}
  },
  GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}},
  GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {{True}}},
  GridBoxSpacings->{"Columns" -> {{1.5}}, "Rows" -> {{0.7}}}]], "Text",Express\
ionUUID->"8887056a-e47c-48fe-bbca-671f51638e12"],

Cell["\<\
Testing all thirteen paths instead of one multiplies the derivation term by \
about 7.5, so BME-3 across every path is 71 hours on sixteen cores rather \
than twelve. The sensible order is BME-1 (seconds), then BME-2, then BME-3 on \
the primary path only, then BME-3's remaining paths over the checksum-valid \
set the first pass already recorded in the ledger. BME-6 wants a GPU BIP-39 \
kernel or a Rust port, not this engine.\
\>", "Text",ExpressionUUID->"13f8cf15-8f5d-46f3-9af6-a9836f99b1e7"],

Cell[TextData[{
 "The driver shards by drop pattern rather than by kernel, so a run is ",
 StyleBox["K", "TI"],
 " independent single-kernel processes and any shard can be re-run alone:"
}], "Text",ExpressionUUID->"58176a68-e479-401b-8ead-0632b7a54fc6"],

Cell["\<\
BME_CONV=T+L BME_PATHS=primary BME_SHARDS=16 BME_SHARD=0 BME_OUT=/srv/bme \\
  wolframscript -f bme-sweep.wls\
\>", "Program",ExpressionUUID->"4ad07925-5a8b-45bf-bfc2-f8a5d0156904"],

Cell["\<\
Each shard checkpoints its pattern index after every two hundred patterns, so \
a shard that dies resumes where it stopped, and each writes its \
checksum-valid candidates into the shared ledger.\
\>", "Text",ExpressionUUID->"1b876e39-d049-4cc4-a1c0-5f1c6a14f79b"]
}, Open  ]],

Cell[CellGroupData[{

Cell["The honest verdict", "Section",ExpressionUUID->"eb74d6a2-3a2c-4fcc-8e7f-3c9b450ba695"],

Cell[TextData[{
 "The money is still there. What this run bought is not a solution but the \
first ",
 StyleBox["precise", "TI"],
 " statement anyone has produced about this puzzle:"
}], "Text",ExpressionUUID->"bf687f9e-15fd-47a5-8645-5ca1a6f81d3f"],

Cell["\<\
Convention W is dead on arithmetic \[LongDash] it cannot produce twenty-four \
words.\
\>", "Item",ExpressionUUID->"d19845e9-da27-4e76-9518-ff254640b82f"],

Cell["\<\
Convention L's self-forced intruder set, which is the single cleanest reading \
of the rules and collapses the puzzle to 1,152 candidates, is dead by \
measurement.\
\>", "Item",ExpressionUUID->"4faaaaa2-f901-489f-978a-d24c1aa46dfb"],

Cell["\<\
Four and a half million candidates across five word conventions, every drop \
pattern under a canonical-word policy, thirteen derivation paths and no \
passphrase, are dead by measurement and recorded so nobody repeats them.\
\>", "Item",ExpressionUUID->"d4cd9891-3544-4204-8628-8c9c840fde0f"],

Cell[CellGroupData[{

Cell["\<\
No single-field IMDb criterion is consistent with panel 8 being wordless, and \
twenty-five different criteria fit the 24/10 count, so counting arguments \
over IMDb fields should be abandoned as a method here.\
\>", "Item",ExpressionUUID->"9edc9d9b-c00d-4c81-ac45-9d126188f4cf"],

Cell["\<\
Where the remaining probability mass sits, in order: the word rule may not be \
orthographic at all, in which case every candidate list above is wrong; panel \
11 is unidentified and panel 8 looks misidentified, and either one being a \
keeper with an unknown word puts the answer outside every space enumerable \
from these titles; and the intruder rule may be a compound of IMDb fields \
rather than a threshold on one. The cheapest next moves are therefore not \
more compute. They are a reverse-image search on panel 11's tuna-can label \
and on panel 8's two men in raincoats. After that, BME-2 and BME-3 on a pod.\
\>", "Text",ExpressionUUID->"b84c6357-7b71-49cb-bf15-bf37b5bfe6e8"],

Cell["\<\
A tech note that implied otherwise would be fiction. This one did not find \
the seed.\
\>", "Text",ExpressionUUID->"965f00dd-bb53-4bbf-93ed-06bc04bc7b4d"]
}, Open  ]]
}, Open  ]],

Cell[BoxData[GridBox[{
   {
    DynamicBox[FEPrivate`ImportImage[
      FrontEnd`FileName[{"Documentation", "FooterIcons"}, "RelatedGuide.png"]],
     ImageSizeCache->{50., {26.47265625, 33.52734375}}], GridBox[{
      {
       StyleBox[
        RowBox[{"Related", " ", "Guides"}], "TutorialMoreAboutSection"]},
      {
       RowBox[{"\[FilledVerySmallSquare]", Cell[TextData[{
         Cell[BoxData[
          TemplateBox[{
            Cell[
             TextData["Search"]], 
            "paclet:WolframInstitute/Puzzles/guide/Search"},
           "RefLinkPlain",
           BaseStyle->{"InlineFormula"}]], "InlineFormula",
          FontFamily->"Source Sans Pro",ExpressionUUID->
          "f596a77b-dcc0-412b-bc59-a58f823744ba"],
         " \[FilledVerySmallSquare] ",
         Cell[BoxData[
          TemplateBox[{
            Cell[
             TextData["Oracles"]], 
            "paclet:WolframInstitute/Puzzles/guide/Oracles"},
           "RefLinkPlain",
           BaseStyle->{"InlineFormula"}]], "InlineFormula",
          FontFamily->"Source Sans Pro",ExpressionUUID->
          "4cc8b323-eae7-4092-addc-e4385026dc9c"],
         " \[FilledVerySmallSquare] ",
         Cell[BoxData[
          TemplateBox[{
            Cell[
             TextData["Derivation"]], 
            "paclet:WolframInstitute/Puzzles/guide/Derivation"},
           "RefLinkPlain",
           BaseStyle->{"InlineFormula"}]], "InlineFormula",
          FontFamily->"Source Sans Pro",ExpressionUUID->
          "c839ad74-4045-4b1b-9984-89904d480c06"],
         " \[FilledVerySmallSquare] ",
         Cell[BoxData[
          TemplateBox[{
            Cell[
             TextData["Seeds"]], 
            "paclet:WolframInstitute/Puzzles/guide/Seeds"},
           "RefLinkPlain",
           BaseStyle->{"InlineFormula"}]], "InlineFormula",
          FontFamily->"Source Sans Pro",ExpressionUUID->
          "ab24ad55-9a15-485d-8d34-81a673f0b2b5"]
        }], "TutorialMoreAbout",ExpressionUUID->
         "cacad3c3-e9bb-44e5-9851-7f40e467b2dd"]}]}
     }]}
  }]], "TutorialMoreAboutSection",ExpressionUUID->"f238c4e8-6117-4294-8c4e-\
3b6e831c3075"]
}, Open  ]],

Cell[" ", "FooterCell",ExpressionUUID->"70c3f724-29d6-4998-ad1d-1d980fd8d8df"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{900, 830},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
WindowTitle->"Cracking the Bitcoin Movie Enigma",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "", "LinkTrails" -> "", 
  "ExampleCounter" -> 1, 
  "Openers" -> {
   "PrimaryExamplesSection" -> Open, "ExampleSection" -> {"0" -> Open}}, 
  "NewStyles" -> True, "CitationPopupData" -> {$Failed, ""}, "ShowCitation" -> 
  False, "RootCaptions" -> "", "HeaderCoreAreaLink" -> {}, 
  "Metadata" -> {
   "built" -> "{2026, 8, 27, 0, 12, 2.753015}", 
    "history" -> {"XX", "", "", ""}, "context" -> "WolframInstitute`Puzzles`",
     "keywords" -> {
     "BIP39", "BIP32", "BIP84", "mnemonic", "seed phrase", "bitcoin puzzle", 
      "candidate sweep", "search ledger", "negative result", "film stills"}, 
    "specialkeywords" -> {}, "tutorialcollectionlinks" -> {}, "index" -> True,
     "label" -> "Wolfram Institute/ Puzzles Tutorial", "language" -> "en", 
    "paclet" -> "WolframInstitute/Puzzles", "status" -> "None", "summary" -> 
    "In January 2024 a Nostr user called klems published thirty-four film \
stills and a rule: identify each film, turn each title somehow into an \
English BIP-39 word, drop ten intruders that IMDb data identifies, and the \
remaining twenty-four words in panel order restore a wallet holding 100,000 \
satoshis. The escrow is bc1q94ecsn0qk8lap2gefrycnms3ruepy889z969a6, published \
by the author on his own wallet page, funded once in April 2022 and never \
spent. The prize is worth about sixty dollars. That is not the point. The \
point is that this is a rare puzzle whose remaining space is finite and \
small, and that until the run described here not one candidate seed had ever \
been derived and checked against the address \\[LongDash] the only maintained \
research record for the puzzle carries tested_total.candidates: 0. Four years \
of public effort went into arguing about IMDb trivia, and none into the one \
experiment that tests every one of those arguments at once. This note is that \
experiment: how the space was built, how the derivation was made trustworthy \
before it was trusted, exactly which region was exhausted, and \\[LongDash] \
since the answer was not in it \\[LongDash] exactly what remains. It is a \
worked negative result. Nothing here found the money.", "synonyms" -> {}, 
    "tabletags" -> {}, "title" -> "Cracking the Bitcoin Movie Enigma", 
    "titlemodifier" -> "", "metadescription" -> "", "windowtitle" -> 
    "Cracking the Bitcoin Movie Enigma", "type" -> "Tutorial", "uri" -> 
    "WolframInstitute/Puzzles/tutorial/CrackingTheBitcoinMovieEnigma", 
    "WorkflowDockedCell" -> ""}, "SearchTextTranslated" -> ""},
CellContext->CellGroup,
FrontEndVersion->"15.0 for Mac OS X ARM (64-bit) (May 19, 2026)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> Notebook], 
   Cell[
    StyleData["Output"], CellContext -> Notebook], 
   Cell[
    StyleData["TutorialMoreAboutSection"], 
    CellGroupingRules -> {"SectionGrouping", 30}], 
   Cell[
    StyleData["RelatedTutorialsSection"], 
    CellGroupingRules -> {"SectionGrouping", 30}], 
   Cell[
    StyleData["TutorialRelatedLinksSection"], 
    CellGroupingRules -> {"SectionGrouping", 30}]}, Visible -> False, 
  FrontEndVersion -> "15.0 for Mac OS X ARM (64-bit) (May 19, 2026)", 
  StyleDefinitions -> "PrivateStylesheetFormatting.nb"],
ExpressionUUID->"5446501f-941d-4f65-a3f5-4da5519bca0b"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[601, 21, 3214, 77, 70, "AnchorBarGrid",ExpressionUUID->"7b21f237-7f69-49ae-ace3-14ab31a6dd9e",
 CellID->1],
Cell[CellGroupData[{
Cell[3840, 102, 125, 1, 70, "Title",ExpressionUUID->"300ab539-9ba7-448b-867e-604f55c941e8",
 CellID->509267359],
Cell[CellGroupData[{
Cell[3990, 107, 112, 0, 70, "Section",ExpressionUUID->"4123768f-e78c-4031-9f36-1e7b3e70fb5c"],
Cell[4105, 109, 713, 12, 70, "Text",ExpressionUUID->"f9b3208b-cf2d-4411-921b-412c350a9d3f"],
Cell[4821, 123, 873, 17, 70, "Text",ExpressionUUID->"c8ff84de-7d99-4e26-b6e4-1009a49f17cd"],
Cell[5697, 142, 381, 5, 70, "Text",ExpressionUUID->"bf535f2d-0686-45a0-917f-d2e1eb496320"],
Cell[6081, 149, 193, 3, 70, "Text",ExpressionUUID->"ce543a68-b7dd-4181-9527-362a588aad04"],
Cell[CellGroupData[{
Cell[6299, 156, 278, 6, 70, "Input",ExpressionUUID->"8ad84e3c-96c2-42dd-8fd3-fa6efe7bb058"],
Cell[6580, 164, 5129, 105, 70, "Output",ExpressionUUID->"bee700b0-c4ed-435c-bc1e-b1ea9d56c6bc"]
}, Open  ]],
Cell[11724, 272, 254, 4, 70, "Text",ExpressionUUID->"20fe6a9f-63a7-4901-a151-4b853ed109ed"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12015, 281, 102, 0, 70, "Section",ExpressionUUID->"10936d77-e09c-4c30-bd80-a9d5c7acab12"],
Cell[12120, 283, 622, 10, 70, "Text",ExpressionUUID->"467377f4-1762-4147-8453-f4619276307b"],
Cell[12745, 295, 129, 0, 70, "Text",ExpressionUUID->"002dea0c-edca-4343-ab33-8c5d32a25dc8"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12911, 300, 118, 0, 70, "Section",ExpressionUUID->"e62fb073-3102-468b-9f1a-838d62072cbd"],
Cell[13032, 302, 454, 9, 70, "Text",ExpressionUUID->"e0699eae-ebe4-4a51-b7db-2725e44ab968"],
Cell[13489, 313, 1228, 33, 70, "Input",ExpressionUUID->"ed7852bd-522e-41b5-a399-19f821c2b98e"],
Cell[14720, 348, 253, 4, 70, "Text",ExpressionUUID->"4848c55a-89e1-4735-992b-df75459a171e"],
Cell[CellGroupData[{
Cell[14998, 356, 769, 20, 70, "Input",ExpressionUUID->"9a0cda8e-b949-4a70-98a8-420c7067914c"],
Cell[15770, 378, 140, 2, 70, "Output",ExpressionUUID->"2f72e65c-8a96-4e31-aa22-471cb1156220"]
}, Open  ]],
Cell[15925, 383, 167, 3, 70, "Text",ExpressionUUID->"1ffc7a0c-6e75-4f42-bf34-1154d14f0c6e"],
Cell[CellGroupData[{
Cell[16117, 390, 844, 21, 70, "Input",ExpressionUUID->"a232e06e-73b3-413d-aa74-da69e35b485b"],
Cell[16964, 413, 245, 4, 70, "Output",ExpressionUUID->"29839063-c3ed-4c77-ae13-acb8eef9887b"]
}, Open  ]],
Cell[17224, 420, 166, 4, 70, "Text",ExpressionUUID->"2d287d23-fb4c-4927-8e78-6252864502a8"],
Cell[CellGroupData[{
Cell[17415, 428, 514, 13, 70, "Input",ExpressionUUID->"9c234af6-1696-4c70-9f21-5a07b47b6110"],
Cell[17932, 443, 174, 3, 70, "Output",ExpressionUUID->"7bf35fa6-e898-4591-85b4-24bd0ee0aa06"]
}, Open  ]],
Cell[18121, 449, 321, 5, 70, "Text",ExpressionUUID->"2cb80928-73a9-46b5-b461-3e55c24f1248"],
Cell[CellGroupData[{
Cell[18467, 458, 1062, 26, 70, "Input",ExpressionUUID->"785b4d17-13c9-4e4f-8b34-9d4872f23915"],
Cell[19532, 486, 271, 6, 70, "Output",ExpressionUUID->"013b8711-c420-4f4a-b0f3-fc850957176d"]
}, Open  ]],
Cell[19818, 495, 283, 7, 70, "Text",ExpressionUUID->"e0c3b8e0-58f4-4ed5-a424-dc69955ed3a9"],
Cell[20104, 504, 439, 10, 70, "Text",ExpressionUUID->"c616f7e0-8147-4b77-8863-76274271833d"],
Cell[CellGroupData[{
Cell[20568, 518, 2223, 57, 70, "Input",ExpressionUUID->"313db849-4cb5-47b5-baae-d46fd67807e5"],
Cell[22794, 577, 141, 2, 70, "Output",ExpressionUUID->"e88fbbd7-4dcf-464d-8c99-76cce1213a30"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[22984, 585, 92, 0, 70, "Section",ExpressionUUID->"12f2a3d2-bc4a-438b-a0d6-4db6765d232a"],
Cell[23079, 587, 1647, 33, 70, "Text",ExpressionUUID->"ae9b5689-766e-4996-93ff-a59ffda9225a"],
Cell[CellGroupData[{
Cell[24751, 624, 6375, 123, 70, "Input",ExpressionUUID->"de9a403b-2ad6-4769-a693-76203d200f0d"],
Cell[31129, 749, 429, 9, 70, "Output",ExpressionUUID->"9568c3bd-483d-47ad-89b4-b4290bb278ae"]
}, Open  ]],
Cell[31573, 761, 1323, 29, 70, "Text",ExpressionUUID->"8a78784b-4e93-44cf-b6af-18c5e538ae32"]
}, Open  ]],
Cell[CellGroupData[{
Cell[32933, 795, 92, 0, 70, "Section",ExpressionUUID->"25c7b70d-223b-4b3e-9efb-d827d2cbc8d6"],
Cell[33028, 797, 495, 7, 70, "Text",ExpressionUUID->"81309579-4611-4e47-9b11-18c01dd98e03"],
Cell[CellGroupData[{
Cell[33548, 808, 2817, 76, 70, "Input",ExpressionUUID->"6ae2eb42-64e8-486b-8b82-924ec7204351"],
Cell[36368, 886, 33944, 627, 70, "Output",ExpressionUUID->"805a699c-9150-4673-a6a8-3a0f6ab55c08"]
}, Open  ]],
Cell[70327, 1516, 117, 0, 70, "Text",ExpressionUUID->"ec817a13-7eaf-4683-b00f-2198597ff741"],
Cell[70447, 1518, 301, 4, 70, "Text",ExpressionUUID->"8684f2d7-b20e-4a3f-a237-e2aef9e32964"],
Cell[70751, 1524, 541, 10, 70, "Text",ExpressionUUID->"8726728a-454a-450e-969c-122e6c331e99"],
Cell[71295, 1536, 158, 3, 70, "Text",ExpressionUUID->"62699d7e-b772-4030-bb0a-37db71508bd2"]
}, Open  ]],
Cell[CellGroupData[{
Cell[71490, 1544, 132, 0, 70, "Section",ExpressionUUID->"38e4f55b-e1df-4ac7-99ae-c05213ed32cf"],
Cell[71625, 1546, 331, 6, 70, "Text",ExpressionUUID->"bbdd8e8f-b1aa-4183-b1f8-39f6397378bb"],
Cell[71959, 1554, 1114, 18, 70, "Text",ExpressionUUID->"f14199ad-4938-4fa4-8080-20b911d4ca2e"],
Cell[73076, 1574, 917, 19, 70, "Text",ExpressionUUID->"029e2343-a2f3-4052-878e-6ca7d4b19c93"]
}, Open  ]],
Cell[CellGroupData[{
Cell[74030, 1598, 126, 0, 70, "Section",ExpressionUUID->"ca67bda9-1227-4b3d-b1e5-d7b8a5a13b3c"],
Cell[74159, 1600, 269, 4, 70, "Text",ExpressionUUID->"07a523ce-70e7-466b-a1e7-f42b7b15b3c3"],
Cell[74431, 1606, 172, 3, 70, "Text",ExpressionUUID->"0c773d14-1719-43df-b632-3bad034ae752"],
Cell[CellGroupData[{
Cell[74628, 1613, 952, 24, 70, "Input",ExpressionUUID->"7ca90f00-b02b-47a1-8e7f-e22001610c8e"],
Cell[75583, 1639, 261, 6, 70, "Output",ExpressionUUID->"9546d41e-fdff-4c62-8784-365328d61163"]
}, Open  ]],
Cell[75859, 1648, 416, 8, 70, "Text",ExpressionUUID->"e3f43f87-5c7d-4826-818f-f0dfc1eb44d2"],
Cell[76278, 1658, 1921, 51, 70, "Text",ExpressionUUID->"d172bf29-bfc9-44d4-a498-96f7b8f7c5d3"],
Cell[CellGroupData[{
Cell[78224, 1713, 412, 9, 70, "Input",ExpressionUUID->"4a3dfe81-b127-41cd-923a-8376da1d6911"],
Cell[78639, 1724, 317, 7, 70, "Output",ExpressionUUID->"af2737e4-c0a7-4afa-ba6a-a45b700d4639"]
}, Open  ]],
Cell[78971, 1734, 859, 17, 70, "Text",ExpressionUUID->"5ff802db-2134-4229-868b-0a4fe1283f65"],
Cell[79833, 1753, 289, 4, 70, "Text",ExpressionUUID->"1093a77f-5a3e-4627-b0dd-2e78aa354855"],
Cell[CellGroupData[{
Cell[80147, 1761, 671, 16, 70, "Input",ExpressionUUID->"a064c38c-4f61-4212-9061-5cbe0a869cdf"],
Cell[80821, 1779, 160, 2, 70, "Output",ExpressionUUID->"019728a0-d6eb-4087-8714-e32812b0e9c0"]
}, Open  ]],
Cell[80996, 1784, 264, 4, 70, "Text",ExpressionUUID->"82557382-e7ce-4d9c-a7eb-40623f653c14"]
}, Open  ]],
Cell[CellGroupData[{
Cell[81297, 1793, 132, 0, 70, "Section",ExpressionUUID->"23ca9434-3cb9-41a7-96e5-ce5a6cdec755"],
Cell[81432, 1795, 1159, 25, 70, "Text",ExpressionUUID->"d0874c45-7c8c-4257-9ef6-630161223a3f"],
Cell[82594, 1822, 104, 0, 70, "Text",ExpressionUUID->"3d188c35-6f80-48a6-a567-c4078c66e5ec"],
Cell[82701, 1824, 1758, 35, 70, "2ColumnTableMod",ExpressionUUID->"2ce595cf-6a8f-404f-9f95-f8f0398c67a2"],
Cell[84462, 1861, 678, 15, 70, "Text",ExpressionUUID->"a9480cba-30b4-4838-aaa7-850cbc22f398"]
}, Open  ]],
Cell[CellGroupData[{
Cell[85177, 1881, 95, 0, 70, "Section",ExpressionUUID->"8b1113d1-4e6d-4466-8329-d4cabe812c33"],
Cell[85275, 1883, 1569, 43, 70, "Text",ExpressionUUID->"24427aa6-b7b5-44ea-8905-0322fe7e48e4"],
Cell[86847, 1928, 2646, 52, 70, "Text",ExpressionUUID->"e6ebea2f-73c1-4d16-ad3c-0a3660355bf5"],
Cell[89496, 1982, 1036, 19, 70, "Text",ExpressionUUID->"f9a65445-c894-4573-8935-9524bab211b6"],
Cell[90535, 2003, 98, 0, 70, "Text",ExpressionUUID->"103c5e6a-0406-4f09-b6da-e6c170d6d975"],
Cell[90636, 2005, 584, 15, 70, "Text",ExpressionUUID->"6d11aa75-f4d8-43b0-8f29-b649964c228d"],
Cell[CellGroupData[{
Cell[91245, 2024, 156, 2, 70, "Input",ExpressionUUID->"cee4cc0e-3ef4-4a97-9746-3704e60c883c"],
Cell[91404, 2028, 186, 4, 70, "Output",ExpressionUUID->"bcecea04-d7f4-424d-8fe6-028d6724b58e"]
}, Open  ]],
Cell[91605, 2035, 659, 11, 70, "Text",ExpressionUUID->"be4f0c30-2819-48c2-a664-287c5508c9aa"]
}, Open  ]],
Cell[CellGroupData[{
Cell[92301, 2051, 111, 0, 70, "Section",ExpressionUUID->"4aa6414c-d8b2-4d4e-b019-f04394206e4f"],
Cell[92415, 2053, 213, 3, 70, "Text",ExpressionUUID->"65178d3c-7df3-4a9f-822c-c7e4bc74c299"],
Cell[92631, 2058, 4446, 86, 70, "Text",ExpressionUUID->"8887056a-e47c-48fe-bbca-671f51638e12"],
Cell[97080, 2146, 508, 7, 70, "Text",ExpressionUUID->"13f8cf15-8f5d-46f3-9af6-a9836f99b1e7"],
Cell[97591, 2155, 253, 4, 70, "Text",ExpressionUUID->"58176a68-e479-401b-8ead-0632b7a54fc6"],
Cell[97847, 2161, 191, 3, 70, "Program",ExpressionUUID->"4ad07925-5a8b-45bf-bfc2-f8a5d0156904"],
Cell[98041, 2166, 274, 4, 70, "Text",ExpressionUUID->"1b876e39-d049-4cc4-a1c0-5f1c6a14f79b"]
}, Open  ]],
Cell[CellGroupData[{
Cell[98352, 2175, 92, 0, 70, "Section",ExpressionUUID->"eb74d6a2-3a2c-4fcc-8e7f-3c9b450ba695"],
Cell[98447, 2177, 249, 5, 70, "Text",ExpressionUUID->"bf687f9e-15fd-47a5-8645-5ca1a6f81d3f"],
Cell[98699, 2184, 164, 3, 70, "Item",ExpressionUUID->"d19845e9-da27-4e76-9518-ff254640b82f"],
Cell[98866, 2189, 243, 4, 70, "Item",ExpressionUUID->"4faaaaa2-f901-489f-978a-d24c1aa46dfb"],
Cell[99112, 2195, 303, 4, 70, "Item",ExpressionUUID->"d4cd9891-3544-4204-8628-8c9c840fde0f"],
Cell[CellGroupData[{
Cell[99440, 2203, 289, 4, 70, "Item",ExpressionUUID->"9edc9d9b-c00d-4c81-ac45-9d126188f4cf"],
Cell[99732, 2209, 698, 9, 70, "Text",ExpressionUUID->"b84c6357-7b71-49cb-bf15-bf37b5bfe6e8"],
Cell[100433, 2220, 165, 3, 70, "Text",ExpressionUUID->"965f00dd-bb53-4bbf-93ed-06bc04bc7b4d"]
}, Open  ]]
}, Open  ]],
Cell[100625, 2227, 2128, 53, 70, "TutorialMoreAboutSection",ExpressionUUID->"f238c4e8-6117-4294-8c4e-3b6e831c3075"]
}, Open  ]],
Cell[102768, 2283, 78, 0, 70, "FooterCell",ExpressionUUID->"70c3f724-29d6-4998-ad1d-1d980fd8d8df"]
}
]
*)

(* End of internal cache information *)

