(* 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[     41115,       1080]
NotebookOptionsPosition[     32103,        912]
NotebookOutlinePosition[     34358,        964]
CellTagsIndexPosition[     34281,        959]
WindowTitle->SegWitAddressQ
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {GridBox[{
      {
       ItemBox[Cell[BoxData[
         RowBox[{
          TemplateBox[{12},
           "Spacer1"], Cell[
          "WOLFRAM INSTITUTE/ PUZZLES SYMBOL", "PacletNameCell",
           TextAlignment->Center,ExpressionUUID->
           "3cafe36f-d34b-4530-9c4b-0e8a40853271"], 
          TemplateBox[{8},
           "Spacer1"]}]],
         TextAlignment->Center,ExpressionUUID->
         "09746a9d-ce71-47c4-8843-436af125f9e2"],
        Background->LightDarkSwitched[
          RGBColor[0.490196, 0.576471, 0.690196]],
        ItemSize->Full], ""}
     },
     GridBoxAlignment->{"Rows" -> {{Center}}},
     GridBoxItemSize->{"Columns" -> {Full, 
         Scaled[0.02]}, "Rows" -> {{2.5}}}], Cell[TextData[{
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "See Also",
          " ",
          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->
           "d2c4d533-893a-4aad-bc9d-b66b5ed54c84"]
         }],ExpressionUUID->"a28db8ec-08c2-4e82-a417-feb4b8b43ab5"],
         StripOnInput->False],{
        StyleBox[
          "\"SegWitAddressDecode\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/SegWitAddressDecode"], 
         StyleBox[
          "\"SegWitAddressEncode\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/SegWitAddressEncode"], 
         StyleBox["\"Bech32Q\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/Bech32Q"], 
         StyleBox[
          "\"Base58CheckQ\"", "SeeAlsoRelated", StripOnInput -> False] :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/ref/Base58CheckQ"]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"SeeAlso"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "76f095a4-b0d7-4372-8d24-d8d263014076"],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      TagBox[
       ActionMenuBox[
        FrameBox[Cell[TextData[{
          "Related Guides",
          " ",
          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->
           "a0d70c8e-4f20-45e1-91a6-41ed594a0c3b"]
         }],ExpressionUUID->"8f2b1406-d7fa-4589-a81c-cacb32695d15"],
         StripOnInput->False],{
        "\"Encodings\"" :> 
         Documentation`HelpLookup[
          "paclet:WolframInstitute/Puzzles/guide/Encodings"]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"MoreAbout"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "00b2ed95-b5cf-425a-8c42-63464cebb680"],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     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->
           "86e16aeb-8a15-4860-a842-de3ead70ff7f"]
         }],ExpressionUUID->"9e789fd5-d90a-463b-9671-86ca75dc2c71"],
         StripOnInput->False],{
        "\"WolframInstitute/Puzzles/ref/SegWitAddressQ\"" :> None, 
         "\"Copy Wolfram Documentation Center URL\"" :> 
         CopyToClipboard["WolframInstitute/Puzzles/ref/SegWitAddressQ"], 
         Delimiter, "\"Copy web URL\"" :> 
         Module[{DocumentationSearch`Private`nb$}, 
           DocumentationSearch`Private`nb$ = 
            NotebookPut[
             Notebook[{
               Cell[BoxData[
                 MakeBoxes[
                  Hyperlink[
                   "http://reference.wolfram.com/language/WolframInstitute/\
Puzzles/ref/SegWitAddressQ.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/ref/SegWitAddressQ" <> ".html"], 
              None}]}]},
        Appearance->None,
        MenuAppearance->Automatic,
        MenuStyle->"URLMenu"],
       MouseAppearanceTag["LinkHand"]]],
      LineSpacing->{1.4, 0},ExpressionUUID->
      "9502fb23-ed23-44c6-bd98-1a0e83c5b8d3"]
    }], "AnchorBar",
     CacheGraphics->False,ExpressionUUID->
     "6a0df191-c812-4a7b-8d93-8f0e5ac42277"]}
  }]], "AnchorBarGrid",
 CellID->1,ExpressionUUID->"ec3905ba-cc00-4da5-ae2d-f142ac930907"],

Cell["WolframInstitute`Puzzles`", "ContextNameCell",ExpressionUUID->"8136bcf3-2384-402d-bfa1-24246da196df"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {Cell[TextData[{
     Cell[
     "SegWitAddressQ", "ObjectName",ExpressionUUID->
      "79e493af-066f-452e-b1fe-89f82eec08dd"],
     Cell[BoxData[
      TemplateBox[{8},
       "Spacer1"]],ExpressionUUID->"c56f6f59-104f-4759-95fc-6c9a6266fd9c"],
     Cell[BoxData[
     ""], "ObjectNameTranslation",ExpressionUUID->
      "5f470fe5-9623-4211-a929-309d6f3a83ff"]
    }],ExpressionUUID->"49c8c49b-7af3-45ff-a156-bd50d40e1725"], 
    "\[SpanFromLeft]"}
  }]], "ObjectNameGrid",ExpressionUUID->"99b6b306-3db3-4536-87a0-\
83881b804ec1"],

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{
       TemplateBox[{
         Cell[
          TextData["SegWitAddressQ"]], 
         "paclet:WolframInstitute/Puzzles/ref/SegWitAddressQ", 
         "WolframInstitute/Puzzles Package Symbol"},
        "PackageLink",
        BaseStyle->"InlineFormula"], "[", 
       StyleBox["address", "TI"], "]"}]], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "5cecac82-0372-44f1-9c19-ab18208334b4"],
     "\[LineSeparator]",
     "gives ",
     Cell[BoxData["True"], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "2db0d051-6ded-46a8-bb4f-b6e6efe2d05e"],
     " if ",
     StyleBox["address", "TI"],
     " is a valid native segregated witness address, and ",
     Cell[BoxData["False"], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "25800d6f-f1c1-4393-9609-5da0e32267e5"],
     " otherwise."
    }],ExpressionUUID->"56f67ff1-1ec5-4101-9d0f-87ef5b71f0e0"]},
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{
       TemplateBox[{
         Cell[
          TextData["SegWitAddressQ"]], 
         "paclet:WolframInstitute/Puzzles/ref/SegWitAddressQ", 
         "WolframInstitute/Puzzles Package Symbol"},
        "PackageLink",
        BaseStyle->"InlineFormula"], "[", 
       RowBox[{
        StyleBox["hrp", "TI"], ",", " ", 
        StyleBox["address", "TI"]}], "]"}]], "InlineFormula",
      FontFamily->"Source Sans Pro",
      FontSize->0.9 Inherited,ExpressionUUID->
      "914a00a0-10f3-4ae0-b38c-0628d99d0d3e"],
     "\[LineSeparator]",
     "additionally requires the human-readable part to be ",
     StyleBox["hrp", "TI"],
     "."
    }],ExpressionUUID->"40c058a2-fedd-43fb-9ed5-66d26739ff95"]}
  }]], "Usage",ExpressionUUID->"b6f37bcc-d7dd-4f79-8659-95dd30fac9f2"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[Cell[TextData[{
  Cell[BoxData[
   DynamicBox[ToBoxes[
     If[CurrentValue[
        EvaluationCell[], "CellGroupOpen"] =!= Closed, 
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], 
      Rotate[
       Style[
        Graphics[{
          Thickness[0.18], 
          RGBColor[0.8509803921568627, 0.396078431372549, 0], 
          Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
         PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
        0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]],
    ImageSizeCache->{
     13.600000000000001`, {-0.1685058593749993, 13.768505859375}}]],
   ExpressionUUID->"7f0c3629-d83b-42eb-9a2c-ae6c522a505b"],
  Cell[BoxData[
   TemplateBox[{1},
    "Spacer1"]],ExpressionUUID->"03758607-6de5-46e1-ab2c-eecdc139ee06"],
  "Details and Options"
 }], "NotesFrameText",ExpressionUUID->
  "9b6c4ded-9b38-4fe5-b7cf-f7030d7c6e3d"]],ExpressionUUID->"0d47fe04-ab2a-\
431a-a726-4ca810ae9612"]], "NotesSection",
 ShowGroupOpener->"Thumbnail",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CacheGraphics->False,
 CellID->1579840635,ExpressionUUID->"53d4766e-e82e-429a-984a-67476ad8fd4a"],

Cell["\<\
The test applies every BIP173 and BIP350 rule: the Bech32 or Bech32m \
checksum, a witness version between 0 and 16, a witness program of 2 to 40 \
bytes that is exactly 20 or 32 bytes at version 0, fewer than five zero \
padding bits in the 5-bit to 8-bit regrouping, and the variant matching the \
witness version.\
\>", "Notes",ExpressionUUID->"e275a9ea-931f-484f-a810-b54d8d7aaa33"],

Cell[TextData[{
 "The one-argument form accepts any human-readable part, so a ",
 Cell[BoxData["\<\"tc1\"\>"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "0258b014-1343-416e-9d65-148b8bc1207b"],
 " address over an unused network passes it. The two-argument form is what a \
wallet checking network uses."
}], "Notes",ExpressionUUID->"90dc855a-22e7-4de6-a22e-380df5e2290d"],

Cell[TextData[{
 "Anything that is not a ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["String"]], "paclet:ref/String"},
   "RefLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",ExpressionUUID->
  "4eab9ee5-9f23-4813-8cc3-bc4e876b8d72"],
 " gives ",
 Cell[BoxData["False"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "9adc4dc9-2ab0-4dcb-ad4a-763a72b6f1df"],
 "."
}], "Notes",ExpressionUUID->"0c0dcc3d-240a-4564-ace7-ce9da2a02122"],

Cell[TextData[{
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["SegWitAddressDecode"]], 
    "paclet:WolframInstitute/Puzzles/ref/SegWitAddressDecode", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "6fe1d247-78b0-4126-845a-802cc08b3ef9"],
 " gives the same verdict with the reason attached."
}], "Notes",ExpressionUUID->"de51dd15-1c5b-4731-bea6-1ff10e81c9d8"]
}, Closed]],

Cell["", "PageDelimiter",ExpressionUUID->"75bd9103-8888-468b-899f-18a37f26c19a"],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[
     MatchQ[
      CurrentValue[
       EvaluationNotebook[], {
       TaggingRules, "Openers", "PrimaryExamplesSection"}, Open], 
      Alternatives[True, Open]], 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]],
   ImageSizeCache->{
    13.600000000000001`, {4.251494140625001, 9.348505859375}}]],
  ExpressionUUID->"170f87bf-c5b6-41d5-b209-aa89fe49701d"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"15a8757b-10dc-4861-a70d-f5ac22d300aa"],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(11)", "ExampleCount",ExpressionUUID->
  "f5ed7e28-2e36-4cb4-acc8-85fc78a761e1"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->893740937,ExpressionUUID->"5a20c7a2-729a-47f9-8826-ef7b28309537"],

Cell[BoxData[
 RowBox[{"Needs", "[", "\"\<WolframInstitute`Puzzles`\>\"", "]"}]], "Input", \
"ExampleInitialization",
 CellLabel->"In[1]:=",
 CellID->1969679695,ExpressionUUID->"e3ea620b-bae3-40ce-a2ed-3c934709910f"],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "76b9b016-2417-4096-9fc1-59ff3280df2a"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"9cdc31b3-1bc9-4a0e-97fc-e6be6c1b30e7"],
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(3)", "ExampleCount",ExpressionUUID->
  "67e18bb5-deb8-4c06-a158-14615b54ac97"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->1603301041,ExpressionUUID->"bc6e9a0f-8420-46b7-8a44-e9196749e820"],

Cell["A mainnet P2WPKH address:", "ExampleText",
 CellTags->
  "TextAnnotation",ExpressionUUID->"f5ca6ee8-e201-440e-a153-0817bdf56ab3"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", "[", 
  RowBox[{"\"\<bc\>\"", ",", 
   " ", "\"\<BC1QW508D6QEJXTDG4Y5R3ZARVARY0C5XW7KV8F3T4\>\""}], 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"ecdcee3b-f846-478f-8154-301f7d6d3eb2"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"57bd6d7e-6964-4cd9-8020-8a289a23b974"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "4fa558ca-0365-4f17-be3e-4a2f00cd4ff1"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"a5bb1c8b-f315-4dc3-\
8f6f-db30c89b281d"],

Cell["\<\
A mainnet Taproot address, which BIP350 requires to carry the Bech32m \
checksum:\
\>", "ExampleText",ExpressionUUID->"62638c35-66ca-4d8f-ac12-72ed3ab1cf9b"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", "[", 
  RowBox[{"\"\<bc\>\"", ",", 
   " ", "\"\<bc1p0xlxvlhemja6c4dqv22uapctqupfhlxm9h8z3k2e72q4k9hcz7vqzk5jj0\>\
\""}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"4a777572-9e25-4cd0-8a4e-b7730a3e285a"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"d6529cfe-143c-4af9-88c3-3fa74994302e"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "1900cd20-6f54-4d47-91d1-560a253ae7b1"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"25aeeed6-71dd-4f45-\
b619-6beebcbb063a"],

Cell["\<\
The BIP350 invalid vector that uses the Bech32 checksum at witness version 1:\
\
\>", "ExampleText",ExpressionUUID->"88cf53c2-71ac-4380-bc06-07133b72c742"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", "[", 
  RowBox[{"\"\<bc\>\"", ",", 
   " ", "\"\<bc1p0xlxvlhemja6c4dqv22uapctqupfhlxm9h8z3k2e72q4k9hcz7vqh2y7hd\>\
\""}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"7cd28b56-f6a6-4670-b650-492bf9d8b597"],

Cell[BoxData["False"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"e6e60508-5eea-4d86-a890-796e70762a7a"]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "27e4961f-3110-49d9-b0cc-bd0c39f9263a"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"2154510c-fffc-4523-a6e5-6b916bfaf8aa"],
 "Scope",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(3)", "ExampleCount",ExpressionUUID->
  "2e1f2059-fcee-4934-abe1-a1a8e6edf793"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->1293636265,ExpressionUUID->"75c014bc-cd49-4046-9e1a-667c5f8c7556"],

Cell["A testnet address fails a mainnet check:", "ExampleText",ExpressionUUID->"b9740664-11e3-4bf8-9830-e94bb4208b39"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", "[", 
  RowBox[{"\"\<bc\>\"", ",", 
   " ", "\"\<tb1qrp33g0q5c5txsp9arysrx4k6zdkfs4nce4xj0gdcccefvpysxf3q0sl5k7\>\
\""}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"ca9fba90-df04-475f-af3c-cdbf5dd9dbc9"],

Cell[BoxData["False"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"a696d2a6-9528-4080-a0d9-28756f11ae78"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "a7b68ec3-7f62-4cf1-b4ee-ba7de918821f"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"a69c0ba7-6b75-4415-\
9ab8-93bb22ba71bb"],

Cell["The same address passes against its own prefix:", "ExampleText",ExpressionUUID->"bd67eb8a-9d25-4b18-8e46-8d9963c2b5a5"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", "[", 
  RowBox[{"\"\<tb\>\"", ",", 
   " ", "\"\<tb1qrp33g0q5c5txsp9arysrx4k6zdkfs4nce4xj0gdcccefvpysxf3q0sl5k7\>\
\""}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"8e58d97d-6e49-4d37-a946-814ff6d23fd7"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"dcd7bebd-21de-4b02-b0b0-84bf73eaeda4"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "48ba25ea-e578-47a2-9eb6-6f39082e772c"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"989f57c0-53ce-4504-\
84db-40c050446e51"],

Cell[TextData[{
 "A non-string gives ",
 Cell[BoxData["False"], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "bcc3d8f1-8da4-4bd9-8e8e-65c37720a1b7"],
 " rather than an error:"
}], "ExampleText",ExpressionUUID->"d7203e3f-9713-415c-b514-e4626e516f2d"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", "[", "42", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"3930b69e-8c17-47bc-aeb1-1268dec1dc54"],

Cell[BoxData["False"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"0118804f-ca40-410e-bf89-8d8bd5c362f1"]
}, Open  ]]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "5771f54e-a6a0-41c6-8ba8-d62a45bb3eef"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"7cb28f2e-3def-437d-8750-7d8bc1546bce"],
 "Properties & Relations",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(3)", "ExampleCount",ExpressionUUID->
  "eed2d9c8-47e0-4c4a-b8f6-c5c02f3d10fd"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->2123667759,ExpressionUUID->"2306dca8-21c1-4bf6-9246-4dab4ec837ed"],

Cell["\<\
A valid Bech32 string need not be a segregated witness address, since the \
data part must also parse as a version and program:\
\>", "ExampleText",ExpressionUUID->"bb5593e3-979d-4354-8e2f-cbce3c5d343c"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"Bech32Q", "[", "\"\<a12uel5l\>\"", "]"}], ",", " ", 
   RowBox[{"SegWitAddressQ", "[", "\"\<a12uel5l\>\"", "]"}]}], "}"}]], "Input",\

 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"1f27633f-2c33-431d-a8bd-1e28cc3b8d7c"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"True", ",", "False"}], "}"}]], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"6f7c22f2-ab0f-4455-9e1e-d8774d15fa56"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "52ac197b-4eac-46a2-b26e-8dd13c10fabd"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"67d9c21e-80f8-4dec-\
8d31-4a9b8e3f87a7"],

Cell[TextData[{
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["SegWitAddressDecode"]], 
    "paclet:WolframInstitute/Puzzles/ref/SegWitAddressDecode", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "9e6ae6cb-18c1-47cc-b6ad-ecf96aba5033"],
 " gives the same verdict with the reason attached:"
}], "ExampleText",ExpressionUUID->"a9a3cb2b-a5d3-4582-9eb9-6adac876043a"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"FailureQ", "[", 
  RowBox[{"SegWitAddressDecode", "[", 
   RowBox[{"\"\<bc\>\"", ",", 
    " ", "\"\<bc1p0xlxvlhemja6c4dqv22uapctqupfhlxm9h8z3k2e72q4k9hcz7vqh2y7hd\>\
\""}], "]"}], "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"eb3f8f4e-be78-4de2-8843-d7ace390aba2"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"f9674ff2-d78b-4edf-99f7-f64841390a70"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "5d2ba761-66ec-4bb2-bdc4-fd4525a4bd7c"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"ed836641-bbcd-4b4d-\
8a9d-d5592d7864a7"],

Cell[TextData[{
 "Every address this predicate accepts round-trips through ",
 Cell[BoxData[
  TemplateBox[{
    Cell[
     TextData["SegWitAddressEncode"]], 
    "paclet:WolframInstitute/Puzzles/ref/SegWitAddressEncode", 
    "WolframInstitute/Puzzles Package Symbol"},
   "PackageLink",
   BaseStyle->"InlineFormula"]], "InlineFormula",
  FontFamily->"Source Sans Pro",
  FontSize->0.9 Inherited,ExpressionUUID->
  "0f956f12-da7c-4c93-89af-e23fe94cc54c"],
 ":"
}], "ExampleText",ExpressionUUID->"a86c1983-bc55-4308-871e-1fa66dea8f69"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"With", "[", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"decoded", " ", "=", " ", 
     RowBox[{
     "SegWitAddressDecode", 
      "[", "\"\<bc1zw508d6qejxtdg4y5r3zarvaryvaxxpcs\>\"", "]"}]}], "}"}], ",",
    " ", 
   RowBox[{"SegWitAddressEncode", "[", 
    RowBox[{"\"\<bc\>\"", ",", " ", 
     RowBox[{"decoded", "[", "\"\<WitnessVersion\>\"", "]"}], ",", " ", 
     RowBox[{"decoded", "[", "\"\<WitnessProgram\>\"", "]"}]}], "]"}]}], 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"ed32f237-a3c7-472b-91f4-c7ca513ef90c"],

Cell[BoxData["\<\"bc1zw508d6qejxtdg4y5r3zarvaryvaxxpcs\"\>"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"b298674d-ba6d-43fc-89aa-ab8a35681f56"]
}, Open  ]]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  DynamicBox[ToBoxes[
    If[CurrentValue[
       EvaluationCell[], "CellGroupOpen"] =!= Closed, 
     Style[
      Graphics[{
        Thickness[0.18], 
        RGBColor[0.8509803921568627, 0.396078431372549, 0], 
        Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
       PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
      0.68 Inherited], 
     Rotate[
      Style[
       Graphics[{
         Thickness[0.18], 
         RGBColor[0.8509803921568627, 0.396078431372549, 0], 
         Line[{{-1.8, 0.5}, {0, 0}, {1.8, 0.5}}]}, AspectRatio -> 1, 
        PlotRange -> {{-3, 4}, {-1, 1}}, ImageSize -> 20], Magnification -> 
       0.68 Inherited], Rational[1, 2] Pi, {-1.65, -1}]]]]],ExpressionUUID->
  "81f7cb1f-8961-42c4-9a17-788cec527fb6"],
 Cell[BoxData[
  TemplateBox[{1},
   "Spacer1"]],ExpressionUUID->"96af2e9e-49a7-4c78-8334-4f612d1b3f78"],
 "Possible Issues",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(2)", "ExampleCount",ExpressionUUID->
  "ddc9d6d0-13fa-4e0c-b91a-9ecc0c399133"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CacheGraphics->False,
 CellID->1305812373,ExpressionUUID->"b132e5d5-8cee-4522-9d47-56d69c17ddf5"],

Cell["\<\
The one-argument form accepts a human-readable part no Bitcoin network uses, \
because that is a network question rather than an encoding one:\
\>", "ExampleText",ExpressionUUID->"55d8b2e6-17f6-4e49-a8c8-b29c2a679b92"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", 
  "[", "\"\<tc1p0xlxvlhemja6c4dqv22uapctqupfhlxm9h8z3k2e72q4k9hcz7vq5zuyut\>\"\
", "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"2d8b8542-4b43-4fcc-acd5-ad0f5360eda2"],

Cell[BoxData["True"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"1bef8335-1b51-4be0-83df-a7845c1a175e"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell[
  "\t", "ExampleDelimiter",ExpressionUUID->
   "42e268b3-82f7-46eb-9981-4cabd1a06bda"],
  $Line = 0; Null]], "ExampleDelimiter",ExpressionUUID->"011db0a7-f910-46ee-\
a010-7da7ba7a0144"],

Cell["A base58 address is not a segregated witness address:", "ExampleText",ExpressionUUID->"629691b8-2549-47a1-8abd-04972c651bf7"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"SegWitAddressQ", "[", "\"\<1A1zP1eP5QGefi2DMPTfTL5SLmv7DivfNa\>\"", 
  "]"}]], "Input",
 CellProlog:>Needs["WolframInstitute`Puzzles`"],
 CellLabel->"In[1]:=",ExpressionUUID->"ebd16dd4-f321-4433-83a7-d3ee17140445"],

Cell[BoxData["False"], "Output",
 CellLabel->"Out[1]= ",ExpressionUUID->"74baca4b-36f8-469a-bd54-72364d75216e"]
}, Open  ]]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[BoxData[GridBox[{
   {
    DynamicBox[FEPrivate`ImportImage[
      FrontEnd`FileName[{"Documentation", "FooterIcons"}, 
       "RelatedFunction.png"]]], GridBox[{
      {
       StyleBox[
        RowBox[{"See", " ", "Also"}], "SeeAlsoSection"]},
      {Cell[TextData[{
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["SegWitAddressDecode"]], 
           "paclet:WolframInstitute/Puzzles/ref/SegWitAddressDecode", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "b8cb1eda-6c3c-4342-a8dd-28dfe397c5c4"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["SegWitAddressEncode"]], 
           "paclet:WolframInstitute/Puzzles/ref/SegWitAddressEncode", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "1ab6edb9-c0b2-4044-87da-90e7f610d9c9"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["Bech32Q"]], 
           "paclet:WolframInstitute/Puzzles/ref/Bech32Q", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "3b4bfdc3-8cfb-4df1-929d-2c330b555176"],
        "\[NonBreakingSpace]",
        StyleBox[
        "\[MediumSpace]\[FilledVerySmallSquare]\[MediumSpace]", 
         "InlineSeparator"],
        " ",
        Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["Base58CheckQ"]], 
           "paclet:WolframInstitute/Puzzles/ref/Base58CheckQ", 
           "WolframInstitute/Puzzles Package Symbol"},
          "PackageLink",
          BaseStyle->"InlineFormula"]], "InlineFormula",
         FontFamily->"Source Sans Pro",ExpressionUUID->
         "5d437b16-5e3d-45f4-951a-b7d717b6b4ce"]
       }], "SeeAlso",ExpressionUUID->"d6f9c624-cc3e-4a80-9b90-4b574da88c58"]}
     }]}
  }]], "SeeAlsoSection",ExpressionUUID->"56f2b263-1a20-4429-a950-\
8d812f90665e"],

Cell[BoxData[GridBox[{
   {
    DynamicBox[FEPrivate`ImportImage[
      FrontEnd`FileName[{"Documentation", "FooterIcons"}, 
       "RelatedGuide.png"]]], GridBox[{
      {
       StyleBox[
        RowBox[{"Related", " ", "Guides"}], "MoreAboutSection"]},
      {
       RowBox[{"\[FilledVerySmallSquare]", Cell[BoxData[
         TemplateBox[{
           Cell[
            TextData["Encodings"]], 
           "paclet:WolframInstitute/Puzzles/guide/Encodings"},
          "RefLinkPlain",
          BaseStyle->{"MoreAbout"}]], "MoreAbout",ExpressionUUID->
         "c80dbbf7-e02c-457c-88f9-0fee275984ee"]}]}
     }]}
  }]], "MoreAboutSection",ExpressionUUID->"b83ba904-e813-44c5-b779-\
b0c3db4e2ba2"],

Cell[" ", "FooterCell",ExpressionUUID->"f765ba4c-62a3-4ca9-991a-9aaffeb3d6f5"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{900, 830},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
WindowTitle->"SegWitAddressQ",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "", "LinkTrails" -> "", 
  "ExampleCounter" -> 1, 
  "Openers" -> {
   "PrimaryExamplesSection" -> Open, "ExampleSection" -> {"0" -> Open}, 
    "AllOptsTable" -> Closed}, "NewStyles" -> True, 
  "CitationPopupData" -> $Failed, "ShowCitation" -> False, "HasOptions" -> 
  True, "RootCaptions" -> "", "HeaderCoreAreaLink" -> {}, 
  "Metadata" -> {
   "built" -> "{2026, 8, 27, 0, 11, 52.522592}", 
    "history" -> {"XX", "", "", ""}, "context" -> "WolframInstitute`Puzzles`",
     "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Wolfram Institute/ Puzzles Symbol", "language" -> "en", "paclet" -> 
    "WolframInstitute/Puzzles", "status" -> "None", "summary" -> 
    "PackageLink[SegWitAddressQ,paclet : \
WolframInstitute/Puzzles/ref/SegWitAddressQ, WolframInstitute/Puzzles Package \
Symbol][address] gives True if address is a valid native segregated witness \
address, and False otherwise. PackageLink[SegWitAddressQ,paclet : \
WolframInstitute/Puzzles/ref/SegWitAddressQ, WolframInstitute/Puzzles Package \
Symbol][hrp, address] additionally requires the human-readable part to be \
hrp.", "synonyms" -> {}, "tabletags" -> {}, "title" -> "SegWitAddressQ", 
    "titlemodifier" -> "", "metadescription" -> "", "windowtitle" -> 
    "SegWitAddressQ", "type" -> "Symbol", "uri" -> 
    "WolframInstitute/Puzzles/ref/SegWitAddressQ", "WorkflowDockedCell" -> 
    ""}, "SearchTextTranslated" -> ""},
CellContext->CellGroup,
FrontEndVersion->"15.0 for Mac OS X ARM (64-bit) (May 19, 2026)",
StyleDefinitions->FrontEnd`FileName[{"Wolfram"}, "Reference.nb"],
ExpressionUUID->"91bde42b-8d1e-4375-ab22-c017578f2061"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "TextAnnotation"->{
  Cell[15190, 409, 135, 2, 70, "ExampleText",ExpressionUUID->"f5ca6ee8-e201-440e-a153-0817bdf56ab3",
   CellTags->"TextAnnotation"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"TextAnnotation", 34124, 953}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[582, 21, 5612, 138, 70, "AnchorBarGrid",ExpressionUUID->"ec3905ba-cc00-4da5-ae2d-f142ac930907",
 CellID->1],
Cell[6197, 161, 107, 0, 70, "ContextNameCell",ExpressionUUID->"8136bcf3-2384-402d-bfa1-24246da196df"],
Cell[CellGroupData[{
Cell[6329, 165, 557, 14, 70, "ObjectNameGrid",ExpressionUUID->"99b6b306-3db3-4536-87a0-83881b804ec1"],
Cell[6889, 181, 1935, 51, 70, "Usage",ExpressionUUID->"b6f37bcc-d7dd-4f79-8659-95dd30fac9f2"]
}, Open  ]],
Cell[CellGroupData[{
Cell[8861, 237, 1444, 34, 70, "NotesSection",ExpressionUUID->"53d4766e-e82e-429a-984a-67476ad8fd4a",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1579840635],
Cell[10308, 273, 396, 6, 70, "Notes",ExpressionUUID->"e275a9ea-931f-484f-a810-b54d8d7aaa33"],
Cell[10707, 281, 424, 8, 70, "Notes",ExpressionUUID->"90dc855a-22e7-4de6-a22e-380df5e2290d"],
Cell[11134, 291, 533, 16, 70, "Notes",ExpressionUUID->"0c0dcc3d-240a-4564-ace7-ce9da2a02122"],
Cell[11670, 309, 516, 13, 70, "Notes",ExpressionUUID->"de51dd15-1c5b-4731-bea6-1ff10e81c9d8"]
}, Closed]],
Cell[12201, 325, 80, 0, 70, "PageDelimiter",ExpressionUUID->"75bd9103-8888-468b-899f-18a37f26c19a"],
Cell[CellGroupData[{
Cell[12306, 329, 1401, 37, 70, "PrimaryExamplesSection",ExpressionUUID->"5a20c7a2-729a-47f9-8826-ef7b28309537",
 CellID->893740937],
Cell[13710, 368, 216, 4, 70, "Input",ExpressionUUID->"e3ea620b-bae3-40ce-a2ed-3c934709910f",
 CellID->1969679695],
Cell[CellGroupData[{
Cell[13951, 376, 1236, 31, 70, "ExampleSection",ExpressionUUID->"bc6e9a0f-8420-46b7-8a44-e9196749e820",
 CellID->1603301041],
Cell[15190, 409, 135, 2, 70, "ExampleText",ExpressionUUID->"f5ca6ee8-e201-440e-a153-0817bdf56ab3",
 CellTags->"TextAnnotation"],
Cell[CellGroupData[{
Cell[15350, 415, 287, 6, 70, "Input",ExpressionUUID->"ecdcee3b-f846-478f-8154-301f7d6d3eb2"],
Cell[15640, 423, 110, 1, 70, "Output",ExpressionUUID->"57bd6d7e-6964-4cd9-8020-8a289a23b974"]
}, Open  ]],
Cell[CellGroupData[{
Cell[15787, 429, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"a5bb1c8b-f315-4dc3-8f6f-db30c89b281d"],
Cell[16014, 436, 167, 3, 70, "ExampleText",ExpressionUUID->"62638c35-66ca-4d8f-ac12-72ed3ab1cf9b"],
Cell[CellGroupData[{
Cell[16206, 443, 306, 6, 70, "Input",ExpressionUUID->"4a777572-9e25-4cd0-8a4e-b7730a3e285a"],
Cell[16515, 451, 110, 1, 70, "Output",ExpressionUUID->"d6529cfe-143c-4af9-88c3-3fa74994302e"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[16674, 458, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"25aeeed6-71dd-4f45-b619-6beebcbb063a"],
Cell[16901, 465, 165, 3, 70, "ExampleText",ExpressionUUID->"88cf53c2-71ac-4380-bc06-07133b72c742"],
Cell[CellGroupData[{
Cell[17091, 472, 306, 6, 70, "Input",ExpressionUUID->"7cd28b56-f6a6-4670-b650-492bf9d8b597"],
Cell[17400, 480, 111, 1, 70, "Output",ExpressionUUID->"e6e60508-5eea-4d86-a890-796e70762a7a"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[17572, 488, 1227, 31, 70, "ExampleSection",ExpressionUUID->"75c014bc-cd49-4046-9e1a-667c5f8c7556",
 CellID->1293636265],
Cell[18802, 521, 118, 0, 70, "ExampleText",ExpressionUUID->"b9740664-11e3-4bf8-9830-e94bb4208b39"],
Cell[CellGroupData[{
Cell[18945, 525, 306, 6, 70, "Input",ExpressionUUID->"ca9fba90-df04-475f-af3c-cdbf5dd9dbc9"],
Cell[19254, 533, 111, 1, 70, "Output",ExpressionUUID->"a696d2a6-9528-4080-a0d9-28756f11ae78"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19402, 539, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"a69c0ba7-6b75-4415-9ab8-93bb22ba71bb"],
Cell[19629, 546, 125, 0, 70, "ExampleText",ExpressionUUID->"bd67eb8a-9d25-4b18-8e46-8d9963c2b5a5"],
Cell[CellGroupData[{
Cell[19779, 550, 306, 6, 70, "Input",ExpressionUUID->"8e58d97d-6e49-4d37-a946-814ff6d23fd7"],
Cell[20088, 558, 110, 1, 70, "Output",ExpressionUUID->"dcd7bebd-21de-4b02-b0b0-84bf73eaeda4"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[20247, 565, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"989f57c0-53ce-4504-84db-40c050446e51"],
Cell[20474, 572, 299, 7, 70, "ExampleText",ExpressionUUID->"d7203e3f-9713-415c-b514-e4626e516f2d"],
Cell[CellGroupData[{
Cell[20798, 583, 195, 3, 70, "Input",ExpressionUUID->"3930b69e-8c17-47bc-aeb1-1268dec1dc54"],
Cell[20996, 588, 111, 1, 70, "Output",ExpressionUUID->"0118804f-ca40-410e-bf89-8d8bd5c362f1"]
}, Open  ]]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[21168, 596, 1244, 31, 70, "ExampleSection",ExpressionUUID->"2306dca8-21c1-4bf6-9246-4dab4ec837ed",
 CellID->2123667759],
Cell[22415, 629, 213, 3, 70, "ExampleText",ExpressionUUID->"bb5593e3-979d-4354-8e2f-cbce3c5d343c"],
Cell[CellGroupData[{
Cell[22653, 636, 313, 7, 70, "Input",ExpressionUUID->"1f27633f-2c33-431d-a8bd-1e28cc3b8d7c"],
Cell[22969, 645, 159, 3, 70, "Output",ExpressionUUID->"6f7c22f2-ab0f-4455-9e1e-d8774d15fa56"]
}, Open  ]],
Cell[CellGroupData[{
Cell[23165, 653, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"67d9c21e-80f8-4dec-8d31-4a9b8e3f87a7"],
Cell[23392, 660, 522, 13, 70, "ExampleText",ExpressionUUID->"a9a3cb2b-a5d3-4582-9eb9-6adac876043a"],
Cell[CellGroupData[{
Cell[23939, 677, 348, 7, 70, "Input",ExpressionUUID->"eb3f8f4e-be78-4de2-8843-d7ace390aba2"],
Cell[24290, 686, 110, 1, 70, "Output",ExpressionUUID->"f9674ff2-d78b-4edf-99f7-f64841390a70"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[24449, 693, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"ed836641-bbcd-4b4d-8a9d-d5592d7864a7"],
Cell[24676, 700, 536, 14, 70, "ExampleText",ExpressionUUID->"a86c1983-bc55-4308-871e-1fa66dea8f69"],
Cell[CellGroupData[{
Cell[25237, 718, 606, 15, 70, "Input",ExpressionUUID->"ed32f237-a3c7-472b-91f4-c7ca513ef90c"],
Cell[25846, 735, 150, 1, 70, "Output",ExpressionUUID->"b298674d-ba6d-43fc-89aa-ab8a35681f56"]
}, Open  ]]
}, Open  ]]
}, Closed]],
Cell[CellGroupData[{
Cell[26057, 743, 1237, 31, 70, "ExampleSection",ExpressionUUID->"b132e5d5-8cee-4522-9d47-56d69c17ddf5",
 CellID->1305812373],
Cell[27297, 776, 228, 3, 70, "ExampleText",ExpressionUUID->"55d8b2e6-17f6-4e49-a8c8-b29c2a679b92"],
Cell[CellGroupData[{
Cell[27550, 783, 268, 5, 70, "Input",ExpressionUUID->"2d8b8542-4b43-4fcc-acd5-ad0f5360eda2"],
Cell[27821, 790, 110, 1, 70, "Output",ExpressionUUID->"1bef8335-1b51-4be0-83df-a7845c1a175e"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27968, 796, 224, 5, 70, "ExampleDelimiter",ExpressionUUID->"011db0a7-f910-46ee-a010-7da7ba7a0144"],
Cell[28195, 803, 131, 0, 70, "ExampleText",ExpressionUUID->"629691b8-2549-47a1-8abd-04972c651bf7"],
Cell[CellGroupData[{
Cell[28351, 807, 238, 4, 70, "Input",ExpressionUUID->"ebd16dd4-f321-4433-83a7-d3ee17140445"],
Cell[28592, 813, 111, 1, 70, "Output",ExpressionUUID->"74baca4b-36f8-469a-bd54-72364d75216e"]
}, Open  ]]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[28754, 820, 2563, 67, 70, "SeeAlsoSection",ExpressionUUID->"56f2b263-1a20-4429-a950-8d812f90665e"],
Cell[31320, 889, 698, 19, 70, "MoreAboutSection",ExpressionUUID->"b83ba904-e813-44c5-b779-b0c3db4e2ba2"],
Cell[32021, 910, 78, 0, 70, "FooterCell",ExpressionUUID->"f765ba4c-62a3-4ca9-991a-9aaffeb3d6f5"]
}
]
*)

(* End of internal cache information *)

