(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 13.1' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 320185, 7987] NotebookOptionsPosition[ 311978, 7794] NotebookOutlinePosition[ 313958, 7852] CellTagsIndexPosition[ 313915, 7849] WindowTitle->Wolfram/CodeEquivalenceUtilities | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell[TextData[{ "Basic Examples", "\[NonBreakingSpace]", Cell["(2)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->462042388], Cell["Check if two expressions are equivalent:", "Text", TaggingRules->{}, CellID->128039117], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, { 205., 212.31669425964355`}, {246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, { 369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{30.928985595703125`, 307.0436840057373}, {153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, {30.928985595703125`, 117.59068870544434`}, {30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, { 364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"CodeEquivalentQ", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{ "\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`CodeEquivalentQ\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`CodeEquivalentQ"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`CodeEquivalentQ"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`CodeEquivalentQ"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", RowBox[{ RowBox[{"RandomInteger", "/@", RowBox[{"Range", "[", "5", "]"}]}], ",", RowBox[{"Array", "[", RowBox[{"RandomInteger", ",", "5"}], "]"}]}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[1]:=", CellID->145660176], Cell[BoxData["True"], "Output", TaggingRules->{}, CellLabel->"Out[1]=", CellID->47767555] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", TaggingRules->{}, CellID->123543145], Cell["View the canonical representations of expressions:", "Text", TaggingRules->{}, CellID->61801984], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, { 205., 212.31669425964355`}, {246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, { 369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{30.928985595703125`, 307.0436840057373}, {153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, {30.928985595703125`, 117.59068870544434`}, {30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, { 364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"MakeCanonicalForm", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{ "\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", RowBox[{"RandomInteger", "/@", RowBox[{"Range", "[", "5", "]"}]}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[1]:=", CellID->30954357], Cell[BoxData[ TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox["\<\"\[ScriptCapitalR]\"\>", Background->RGBColor[{ Rational[199, 255], Rational[72, 85], Rational[152, 255]}], ContentPadding->False, FrameMargins->3, RoundingRadius->3, StripOnInput->False], StripOnInput->False, ShowStringCharacters->False, FontWeight->Bold, FontColor->RGBColor[{ Rational[107, 255], Rational[44, 85], Rational[37, 255]}]], "\"RandomValue\"", TooltipStyle->"TextStyling"], Annotation[#, "RandomValue", "Tooltip"]& ], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Common`RandomValue], "[", RowBox[{"DiscreteUniformDistribution", "[", RowBox[{"{", RowBox[{"0", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]]}], "}"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]], "Output", TaggingRules->{}, CellLabel->"Out[1]=", CellID->39964845] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, { 205., 212.31669425964355`}, {246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, { 369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{30.928985595703125`, 307.0436840057373}, {153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, {30.928985595703125`, 117.59068870544434`}, {30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, { 364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"MakeCanonicalForm", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{ "\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", RowBox[{"Array", "[", RowBox[{"RandomInteger", ",", "5"}], "]"}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[2]:=", CellID->136440674], Cell[BoxData[ TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox["\<\"\[ScriptCapitalR]\"\>", Background->RGBColor[{ Rational[199, 255], Rational[72, 85], Rational[152, 255]}], ContentPadding->False, FrameMargins->3, RoundingRadius->3, StripOnInput->False], StripOnInput->False, ShowStringCharacters->False, FontWeight->Bold, FontColor->RGBColor[{ Rational[107, 255], Rational[44, 85], Rational[37, 255]}]], "\"RandomValue\"", TooltipStyle->"TextStyling"], Annotation[#, "RandomValue", "Tooltip"]& ], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Common`RandomValue], "[", RowBox[{"DiscreteUniformDistribution", "[", RowBox[{"{", RowBox[{"0", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]]}], "}"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]], "Output", TaggingRules->{}, CellLabel->"Out[2]=", CellID->102837553] }, Open ]], Cell["These are directly comparable:", "Text", TaggingRules->{}, CellID->367095856], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"%", "===", "%%"}]], "Input", TaggingRules->{}, CellLabel->"In[3]:=", CellID->53743161], Cell[BoxData["True"], "Output", TaggingRules->{}, CellLabel->"Out[3]=", CellID->664959305] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[{ "Scope", "\[NonBreakingSpace]", Cell["(3)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->365377965], Cell["Get additional information about the equivalence test:", "Text", TaggingRules->{}, CellID->574259458], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, { 205., 212.31669425964355`}, {246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, { 369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{30.928985595703125`, 307.0436840057373}, {153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, {30.928985595703125`, 117.59068870544434`}, {30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, { 364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"EquivalenceTestData", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{ "\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`EquivalenceTestData\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`EquivalenceTestData"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`EquivalenceTestData"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`EquivalenceTestData"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"First", "[", RowBox[{"Rest", "[", RowBox[{"Range", "/@", RowBox[{"Range", "[", RowBox[{"2", "^", "100"}], "]"}]}], "]"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"Part", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{"j", ",", RowBox[{"{", RowBox[{"j", ",", "i"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", RowBox[{"2", "^", "100"}]}], "}"}]}], "]"}], ",", "2"}], "]"}]}], "\[IndentingNewLine]", "]"}]], "Input", TaggingRules->{}, CellLabel->"In[1]:=", CellID->19701662], Cell[BoxData[ RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{"\<\"Timing\"\>", "\[Rule]", RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{"\<\"SameQ\"\>", "\[Rule]", "0``7.451544993495968"}], ",", RowBox[{"\<\"ToCanonicalForm1\"\>", "\[Rule]", "1.4329981`7.607790608066336"}], ",", RowBox[{"\<\"ToCanonicalForm2\"\>", "\[Rule]", "2.2020018`7.794362663140673"}]}], "\[RightAssociation]"}]}], ",", RowBox[{"\<\"SameQ\"\>", "\[Rule]", "False"}], ",", RowBox[{"\<\"CanonicalForms\"\>", "\[Rule]", RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{"1", "\[Rule]", RowBox[{"HoldComplete", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "1267650600228229401496703205376", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], "]"}]}], ",", RowBox[{"2", "\[Rule]", RowBox[{"HoldComplete", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "1267650600228229401496703205376", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], "]"}]}]}], "\[RightAssociation]"}]}], ",", RowBox[{"\<\"CanonicalEquivalentQ\"\>", "\[Rule]", "True"}], ",", RowBox[{"\<\"EquivalentQ\"\>", "\[Rule]", "True"}]}], "\[RightAssociation]"}]], "Output", TaggingRules->{}, CellLabel->"Out[1]=", CellID->137244875] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", TaggingRules->{}, CellID->183270128], Cell["\<\ View the sequence of transformations used to convert an expression to its \ canonical form:\ \>", "Text", TaggingRules->{}, CellID->304712455], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, { 1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, {205., 212.31669425964355`}, { 246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, {369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{ 30.928985595703125`, 307.0436840057373}, {153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, {30.928985595703125`, 117.59068870544434`}, {30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, { 364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"MakeCanonicalForm", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{ "\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", RowBox[{ RowBox[{"Array", "[", RowBox[{"RandomInteger", ",", "5"}], "]"}], ",", RowBox[{"\"\\"", "->", "True"}]}], "]"}], "//", "Column"}]], "Input", TaggingRules->{}, CellLabel->"In[1]:=", CellID->78977440], Cell[BoxData[ TagBox[GridBox[{ { TagBox[ RowBox[{"Array", "[", RowBox[{"RandomInteger", ",", "5"}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"RandomInteger", "[", InterpretationBox[ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], ",", "5"}], "}"}]}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"RandomInteger", "[", InterpretationBox[ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"RandomInteger", "[", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"RandomInteger", "[", RowBox[{"{", RowBox[{"0", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]]}], "}"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox["\<\"\[ScriptCapitalR]\"\>", Background->RGBColor[{ Rational[199, 255], Rational[72, 85], Rational[152, 255]}], ContentPadding->False, FrameMargins->3, RoundingRadius->3, StripOnInput->False], StripOnInput->False, ShowStringCharacters->False, FontWeight->Bold, FontColor->RGBColor[{ Rational[107, 255], Rational[44, 85], Rational[37, 255]}]], "\"RandomValue\"", TooltipStyle->"TextStyling"], Annotation[#, "RandomValue", "Tooltip"]& ], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Common`RandomValue], "[", RowBox[{"DiscreteUniformDistribution", "[", RowBox[{"{", RowBox[{"0", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]]}], "}"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox["\<\"\[ScriptCapitalR]\"\>", Background->RGBColor[{ Rational[199, 255], Rational[72, 85], Rational[152, 255]}], ContentPadding->False, FrameMargins->3, RoundingRadius->3, StripOnInput->False], StripOnInput->False, ShowStringCharacters->False, FontWeight->Bold, FontColor->RGBColor[{ Rational[107, 255], Rational[44, 85], Rational[37, 255]}]], "\"RandomValue\"", TooltipStyle->"TextStyling"], Annotation[#, "RandomValue", "Tooltip"]& ], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Common`RandomValue], "[", RowBox[{"DiscreteUniformDistribution", "[", RowBox[{"{", RowBox[{"0", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]]}], "}"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], "Column"]], "Output", TaggingRules->{}, CellLabel->"Out[1]=", CellID->242653389] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[Cell["\t", "ExampleDelimiter"], $Line = 0; Null]], "ExampleDelimiter", TaggingRules->{}, CellID->359786118], Cell["Convert a canonical representation to a normal expression:", "Text", TaggingRules->{}, CellID->156285582], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, { 205., 212.31669425964355`}, {246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, { 369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{30.928985595703125`, 307.0436840057373}, {153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, {30.928985595703125`, 117.59068870544434`}, {30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, { 364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"MakeCanonicalForm", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{ "\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`MakeCanonicalForm"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", RowBox[{"Array", "[", RowBox[{"RandomInteger", ",", "5"}], "]"}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[1]:=", CellID->756564778], Cell[BoxData[ TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox["\<\"\[ScriptCapitalR]\"\>", Background->RGBColor[{ Rational[199, 255], Rational[72, 85], Rational[152, 255]}], ContentPadding->False, FrameMargins->3, RoundingRadius->3, StripOnInput->False], StripOnInput->False, ShowStringCharacters->False, FontWeight->Bold, FontColor->RGBColor[{ Rational[107, 255], Rational[44, 85], Rational[37, 255]}]], "\"RandomValue\"", TooltipStyle->"TextStyling"], Annotation[#, "RandomValue", "Tooltip"]& ], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Common`RandomValue], "[", RowBox[{"DiscreteUniformDistribution", "[", RowBox[{"{", RowBox[{"0", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]]}], "}"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]], "Output", TaggingRules->{}, CellLabel->"Out[1]=", CellID->187936985] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, { 205., 212.31669425964355`}, {246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, { 369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{30.928985595703125`, 307.0436840057373}, {153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, {30.928985595703125`, 117.59068870544434`}, {30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, { 364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"FromCanonicalForm", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{ "\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`FromCanonicalForm\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`FromCanonicalForm"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`FromCanonicalForm"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`FromCanonicalForm"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", "%", "]"}]], "Input", TaggingRules->{}, CellLabel->"In[2]:=", CellID->328679117], Cell[BoxData[ TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"RandomVariate", "[", RowBox[{"DiscreteUniformDistribution", "[", RowBox[{"{", RowBox[{"0", ",", "S1"}], "}"}], "]"}], "]"}], ",", RowBox[{"{", RowBox[{"S1", ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]], "Output", TaggingRules->{}, CellLabel->"Out[2]=", CellID->227470473] }, Open ]], Cell["Evaluate:", "Text", TaggingRules->{}, CellID->479534276], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"ReleaseHold", "[", "%", "]"}]], "Input", TaggingRules->{}, CellLabel->"In[3]:=", CellID->70732566], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "1", ",", "2", ",", "0", ",", "4"}], "}"}]], "Output", TaggingRules->{}, CellLabel->"Out[3]=", CellID->66350377] }, Open ]] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ "Neat Examples", "\[NonBreakingSpace]", Cell["(6)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->170216056], Cell["\<\ Here is a list of expressions, some of which are equivalent to others:\ \>", "Text", TaggingRules->{}, CellID->142845178], Cell[BoxData[ RowBox[{ RowBox[{"expressions", "=", RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{"HoldForm", "[", RowBox[{"Table", "[", RowBox[{"i", ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"i", "+", "2"}]}], "}"}]}], "]"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"HoldForm", "[", RowBox[{"Array", "[", RowBox[{"Range", ",", "5", ",", "3"}], "]"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"HoldForm", "[", RowBox[{"Table", "[", RowBox[{ RowBox[{"ConstantArray", "[", RowBox[{"i", ",", RowBox[{"i", "+", "2"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}]}], "]"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"HoldForm", "[", RowBox[{"First", "[", RowBox[{"Rest", "[", RowBox[{"Range", "/@", RowBox[{"Range", "[", "10", "]"}]}], "]"}], "]"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"HoldForm", "[", RowBox[{"Range", "/@", RowBox[{"Range", "[", RowBox[{"3", ",", "7"}], "]"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"HoldForm", "[", RowBox[{"Part", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{"j", ",", RowBox[{"{", RowBox[{"j", ",", "i"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "10"}], "}"}]}], "]"}], ",", "2"}], "]"}], "]"}]}], "\[IndentingNewLine]", "}"}]}], ";"}]], "Input", TaggingRules->{}, CellLabel->"In[1]:=", CellID->8689250], Cell["Find the sequence of transformations for each expression:", "Text", TaggingRules->{}, CellID->6364326], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Short", "[", RowBox[{"traces", "=", RowBox[{ RowBox[{ RowBox[{"Most", "@", RowBox[{ InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, {205., 212.31669425964355`}, {246.01799774169922`, 235.99870109558105`}, {369.0710144042969, 307.0436840057373}, {369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{ 30.928985595703125`, 307.0436840057373}, { 153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, { 30.928985595703125`, 117.59068870544434`}, { 30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, {364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, { 181.00001525878906`, 46.90887451171875}, { 44.92900085449219, 125.46986389160156`}, { 44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"ToCanonicalForm", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{"\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`ToCanonicalForm\""}], "]"}], TooltipStyle->{ ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`ToCanonicalForm"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`ToCanonicalForm"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`ToCanonicalForm"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False], "[", RowBox[{"#", ",", RowBox[{"\"\\"", "->", "True"}]}], "]"}]}], "&"}], "/@", "expressions"}]}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[2]:=", CellID->10456278], Cell[BoxData[ TagBox[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"Table", "[", RowBox[{"i", ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"i", "+", "2"}]}], "}"}]}], "]"}], ",", RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2], ",", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "+", "2"}]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], ",", "5"}], "}"}]}], "]"}], ",", RowBox[{"\[LeftSkeleton]", "4", "\[RightSkeleton]"}], ",", RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", RowBox[{"2", "+", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]]}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]}], "}"}], ",", RowBox[{"\[LeftSkeleton]", "4", "\[RightSkeleton]"}], ",", RowBox[{"{", RowBox[{"\[LeftSkeleton]", "1", "\[RightSkeleton]"}], "}"}]}], "}"}], Short]], "Output", TaggingRules->{}, CellLabel->"Out[2]//Short=", CellID->134563795] }, Open ]], Cell["Generate a graph for each sequence:", "Text", TaggingRules->{}, CellID->380755029], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"paths", "=", RowBox[{ RowBox[{ RowBox[{"Graph", "[", RowBox[{"DirectedEdge", "@@@", RowBox[{"Partition", "[", RowBox[{"#", ",", "2", ",", "1"}], "]"}]}], "]"}], "&"}], "/@", "traces"}]}]], "Input", TaggingRules->{}, CellLabel->"In[3]:=", CellID->7543077], Cell[BoxData[ RowBox[{"{", RowBox[{ GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{ HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 5}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]]}, {{{1, 2}, {2, 3}, {3, 4}, {4, 5}, { 5, 6}, {6, 7}}, Null}]]}, TagBox[ GraphicsGroupBox[ GraphicsComplexBox[{{0., 0.}, {1., 0.}, {2., 0.}, {3., 0.}, {4., 0.}, {5., 0.}, {6., 0.}}, { {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[Medium], ArrowBox[{{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}, {6, 7}}, 0.048477]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.048477], DiskBox[2, 0.048477], DiskBox[3, 0.048477], DiskBox[4, 0.048477], DiskBox[5, 0.048477], DiskBox[6, 0.048477], DiskBox[7, 0.048477]}}]], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None], ",", GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{ HoldForm[ Array[Range, 5, 3]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 1, 5, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]]}, {{{1, 2}, {2, 3}, {3, 4}, {4, 5}, { 5, 6}, {6, 7}, {7, 8}, {8, 9}}, Null}]]}, TagBox[ GraphicsGroupBox[ GraphicsComplexBox[{{0., 0.}, {1., 0.}, {2., 0.}, {3., 0.}, {4., 0.}, {5., 0.}, {6., 0.}, {7., 0.}, {8., 0.}}, { {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.018073], ArrowBox[{{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}, {6, 7}, {7, 8}, { 8, 9}}, 0.057834]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.057834], DiskBox[2, 0.057834], DiskBox[3, 0.057834], DiskBox[4, 0.057834], DiskBox[5, 0.057834], DiskBox[6, 0.057834], DiskBox[7, 0.057834], DiskBox[8, 0.057834], DiskBox[9, 0.057834]}}]], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None], ",", GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{ HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]], HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1 + 2], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]], HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]]}, {{{1, 2}, {2, 3}, {3, 4}, {4, 5}, { 5, 6}}, Null}]]}, TagBox[ GraphicsGroupBox[ GraphicsComplexBox[{{0., 0.}, {1., 0.}, {2., 0.}, {3., 0.}, {4., 0.}, {5., 0.}}, { {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[Medium], ArrowBox[{{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}}, 0.043048]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.043048], DiskBox[2, 0.043048], DiskBox[3, 0.043048], DiskBox[4, 0.043048], DiskBox[5, 0.043048], DiskBox[6, 0.043048]}}]], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None], ",", GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{ HoldForm[ First[ Rest[ Map[Range, Range[10]]]]], HoldForm[ Part[ Map[Range, Range[10]], 2]], HoldForm[ Part[ Map[Range, Range[10], {1}], 2]], HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]]}, {{{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}, {6, 7}, {7, 8}, {8, 9}, {9, 10}}, Null}]]}, TagBox[ GraphicsGroupBox[ GraphicsComplexBox[{{0., 0.}, {1., 0.}, {2., 0.}, {3., 0.}, {4., 0.}, {5., 0.}, {6., 0.}, {7., 0.}, {8., 0.}, {9., 0.}}, { {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.017193], ArrowBox[{{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}, {6, 7}, {7, 8}, { 8, 9}, {9, 10}}, 0.061894]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.061894], DiskBox[2, 0.061894], DiskBox[3, 0.061894], DiskBox[4, 0.061894], DiskBox[5, 0.061894], DiskBox[6, 0.061894], DiskBox[7, 0.061894], DiskBox[8, 0.061894], DiskBox[9, 0.061894], DiskBox[10, 0.061894]}}]], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None], ",", GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{ HoldForm[ Map[Range, Range[3, 7]]], HoldForm[ Map[Range, Range[3, 7], {1}]], HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7}], {1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 1, 5, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]]}, {{{1, 2}, {2, 3}, {3, 4}, {4, 5}, { 5, 6}, {6, 7}, {7, 8}, {8, 9}, {9, 10}, {10, 11}}, Null}]]}, TagBox[ GraphicsGroupBox[ GraphicsComplexBox[{{0., 0.}, {1., 0.}, {2., 0.}, {3., 0.}, {4., 0.}, {5., 0.}, {6., 0.}, {7., 0.}, {8., 0.}, {9., 0.}, {10., 0.}}, { {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.016403], ArrowBox[{{1, 2}, {2, 3}, {3, 4}, {4, 5}, {5, 6}, {6, 7}, {7, 8}, { 8, 9}, {9, 10}, {10, 11}}, 0.065612]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.065612], DiskBox[2, 0.065612], DiskBox[3, 0.065612], DiskBox[4, 0.065612], DiskBox[5, 0.065612], DiskBox[6, 0.065612], DiskBox[7, 0.065612], DiskBox[8, 0.065612], DiskBox[9, 0.065612], DiskBox[10, 0.065612], DiskBox[11, 0.065612]}}]], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None], ",", GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{ HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]]}, {{{1, 2}, {2, 3}, {3, 4}, {4, 5}}, Null}]]}, TagBox[ GraphicsGroupBox[ GraphicsComplexBox[{{0., 0.}, {1., 0.}, {2., 0.}, {3., 0.}, {4., 0.}}, { {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[Medium], ArrowBox[{{1, 2}, {2, 3}, {3, 4}, {4, 5}}, 0.037006]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], DiskBox[1, 0.037006], DiskBox[2, 0.037006], DiskBox[3, 0.037006], DiskBox[4, 0.037006], DiskBox[5, 0.037006]}}]], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None]}], "}"}]], "Output", TaggingRules->{}, CellLabel->"Out[3]=", CellID->174708868] }, Open ]], Cell["Combine the graphs:", "Text", TaggingRules->{}, CellID->629391993], Cell[BoxData[ RowBox[{ RowBox[{"graph", "=", RowBox[{"Graph", "[", RowBox[{ RowBox[{"GraphUnion", "@@", "paths"}], ",", InterpretationBox[ DynamicModuleBox[{Typeset`open = False}, TemplateBox[{"Expression", "SequenceIcon", GridBox[{{ RowBox[{ TagBox["\"Head: \"", "IconizedLabel"], "\[InvisibleSpace]", TagBox["Sequence", "IconizedItem"]}]}, { RowBox[{ TagBox["\"Length: \"", "IconizedLabel"], "\[InvisibleSpace]", TagBox["2", "IconizedItem"]}]}, { RowBox[{ TagBox["\"Byte count: \"", "IconizedLabel"], "\[InvisibleSpace]", TagBox["304", "IconizedItem"]}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}}, DefaultBaseStyle -> "Column", GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Dynamic[Typeset`open]}, "IconizedObject"]], Sequence[ VertexLabels -> Placed["Name", Tooltip], GraphLayout -> "LayeredDigraphEmbedding"], SelectWithContents->True, Selectable->False]}], "]"}]}], ";"}]], "Input", TaggingRules->{}, CellLabel->"In[4]:=", CellID->81711613], Cell["\<\ Equivalent expressions converge to the same connected component:\ \>", "Text", TaggingRules->{}, CellID->127544466], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"HighlightGraph", "[", RowBox[{"graph", ",", "paths"}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[5]:=", CellID->347655374], Cell[BoxData[ GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{ HoldForm[ Array[Range, 5, 3]], HoldForm[ First[ Rest[ Map[Range, Range[10]]]]], HoldForm[ Map[Range, Range[3, 7]]], HoldForm[ Map[Range, Range[3, 7], {1}]], HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7}], {1}]], HoldForm[ Part[ Map[Range, Range[10]], 2]], HoldForm[ Part[ Map[Range, Range[10], {1}], 2]], HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 10}], {1}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 10}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 10, 1}], 2]], HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]], HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1 + 2], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]], HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]] + 2], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 1, 5, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]] + 2], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 5}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 5, 1}]], HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]]}, {{{34, 25}, {25, 26}, { 26, 28}, {28, 29}, {29, 32}, {32, 33}, {1, 22}, {22, 23}, {23, 20}, { 20, 21}, {21, 24}, {24, 27}, {27, 30}, {30, 31}, {17, 18}, {18, 19}, { 19, 29}, {2, 6}, {6, 7}, {7, 8}, {8, 9}, {9, 10}, {10, 11}, {11, 14}, { 14, 15}, {15, 16}, {3, 4}, {4, 5}, {5, 22}, {12, 13}, {13, 14}}, Null}, {GraphHighlight -> { HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1 + 2], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]], DirectedEdge[ HoldForm[ Map[Range, Range[3, 7]]], HoldForm[ Map[Range, Range[3, 7], {1}]]], DirectedEdge[ HoldForm[ First[ Rest[ Map[Range, Range[10]]]]], HoldForm[ Part[ Map[Range, Range[10]], 2]]], DirectedEdge[ HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]]], HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 1, 5, 1}]], HoldForm[ Array[Range, 5, 3]], HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7}], {1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7, 1}]], HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 5}]], DirectedEdge[ HoldForm[ Map[Range, Range[3, 7], {1}]], HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}], {1}]]], DirectedEdge[ HoldForm[ Array[Range, 5, 3]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]]], HoldForm[ Map[Range, Range[3, 7]]], HoldForm[ First[ Rest[ Map[Range, Range[10]]]]], HoldForm[ Map[Range, Range[3, 7], {1}]], DirectedEdge[ HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7, 1}]]], DirectedEdge[ HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, 1, 5, 1}]], DirectedEdge[ HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 5}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 10, 1}], 2]], DirectedEdge[ HoldForm[ Part[ Map[Range, Range[10]], 2]], HoldForm[ Part[ Map[Range, Range[10], {1}], 2]]], HoldForm[ Part[ Map[Range, Range[10]], 2]], DirectedEdge[ HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}], {1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]]], DirectedEdge[ HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 5}]]], DirectedEdge[ HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 10, 1}], 2]]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1], {Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, 3, 7}]], HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]], DirectedEdge[ HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]], HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]], DirectedEdge[ HoldForm[ Part[ Map[Range, Range[10], {1}], 2]], HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, 10, 1}], 2]], HoldForm[ Part[ Map[Range, Range[10], {1}], 2]], HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]], DirectedEdge[ HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, 10, 1}], 2]]]}, GraphHighlightStyle -> {HoldForm[ Part[ Map[Range, Range[10]], 2]] -> {VertexStyle -> Directive[ Hue[0.07, 1, 1], EdgeForm[{ Hue[0.07, 1, 1], Opacity[1]}]]}, DirectedEdge[ HoldForm[ Part[ Map[Range, Range[10]], 2]], HoldForm[ Part[ Map[Range, Range[10], {1}], 2]]] -> {EdgeStyle -> Directive[ Hue[0.07, 1, 1], Opacity[1]]}, DirectedEdge[ HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 5}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]]] -> {EdgeStyle -> Directive[ Hue[0, 1, 0.8], Opacity[1]]}, HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 10, 1}], 2]] -> {VertexStyle -> Directive[ Hue[0.07, 1, 1], EdgeForm[{ Hue[0.07, 1, 1], Opacity[1]}]]}, HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]] -> {VertexStyle -> Directive[ Hue[0.8, 0.6, 0.8], EdgeForm[{ Hue[0.8, 0.6, 0.8], Opacity[1]}]]}, DirectedEdge[ HoldForm[ Map[Range, Range[3, 7]]], HoldForm[ Map[Range, Range[3, 7], {1}]]] -> {EdgeStyle -> Directive[ Hue[0.2, 1, 0.6], Opacity[1]]}, HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]] -> {VertexStyle -> Directive[ Hue[0.07, 1, 1], EdgeForm[{ Hue[0.07, 1, 1], Opacity[1]}]]}, HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, 10, 1}], 2]] -> {VertexStyle -> Directive[ Hue[0.1, 0.6, 0.7], EdgeForm[{ Hue[0.1, 0.6, 0.7], Opacity[1]}]]}, HoldForm[ Map[Range, Range[3, 7]]] -> {VertexStyle -> Directive[ Hue[0.2, 1, 0.6], EdgeForm[{ Hue[0.2, 1, 0.6], Opacity[1]}]]}, DirectedEdge[ HoldForm[ Map[Range, Range[3, 7], {1}]], HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}], {1}]]] -> {EdgeStyle -> Directive[ Hue[0.2, 1, 0.6], Opacity[1]]}, HoldForm[ First[ Rest[ Map[Range, Range[10]]]]] -> {VertexStyle -> Directive[ Hue[0.07, 1, 1], EdgeForm[{ Hue[0.07, 1, 1], Opacity[1]}]]}, HoldForm[ Array[Range, 5, 3]] -> {VertexStyle -> Directive[ Hue[0.14, 1, 0.9], EdgeForm[{ Hue[0.14, 1, 0.9], Opacity[1]}]]}, DirectedEdge[ HoldForm[ First[ Rest[ Map[Range, Range[10]]]]], HoldForm[ Part[ Map[Range, Range[10]], 2]]] -> {EdgeStyle -> Directive[ Hue[0.07, 1, 1], Opacity[1]]}, HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]] -> {VertexStyle -> Directive[ EdgeForm[ Directive[ Hue[0.14, 1, 0.9], Opacity[1]]], Hue[0.2, 1, 0.6]]}, HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]] -> {VertexStyle -> Directive[ EdgeForm[ Directive[ Hue[0.14, 1, 0.9], Opacity[1]]], Hue[0.2, 1, 0.6]]}, DirectedEdge[ HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]], HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 5}]]] -> {EdgeStyle -> Directive[ Hue[0, 1, 0.8], Opacity[1]]}, DirectedEdge[ HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7, 1}]]] -> {EdgeStyle -> Directive[ Opacity[1], Hue[0.2, 1, 0.6]]}, DirectedEdge[ HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]], HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, 10, 1}], 2]]] -> {EdgeStyle -> Directive[ Hue[0.1, 0.6, 0.7], Opacity[1]]}, DirectedEdge[ HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]]] -> {EdgeStyle -> Directive[ Hue[0.07, 1, 1], Opacity[1]]}, HoldForm[ Part[ Map[Range, Range[10], {1}], 2]] -> {VertexStyle -> Directive[ Hue[0.07, 1, 1], EdgeForm[{ Hue[0.07, 1, 1], Opacity[1]}]]}, HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]] -> { VertexStyle -> Directive[ Hue[0, 1, 0.8], EdgeForm[{ Hue[0, 1, 0.8], Opacity[1]}]]}, DirectedEdge[ HoldForm[ Array[Range, 5, 3]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]]] -> {EdgeStyle -> Directive[ Hue[0.14, 1, 0.9], Opacity[1]]}, HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]] -> {VertexStyle -> Directive[ Hue[0.07, 1, 1], EdgeForm[{ Hue[0.07, 1, 1], Opacity[1]}]]}, DirectedEdge[ HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}], {1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]]] -> {EdgeStyle -> Directive[ Hue[0.2, 1, 0.6], Opacity[1]]}, DirectedEdge[ HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]], HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]]] -> {EdgeStyle -> Directive[ Hue[0.8, 0.6, 0.8], Opacity[1]]}, HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]] -> {VertexStyle -> Directive[ Hue[0.8, 0.6, 0.8], EdgeForm[{ Hue[0.8, 0.6, 0.8], Opacity[1]}]]}, HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]] -> {VertexStyle -> Directive[ Hue[0.1, 0.6, 0.7], EdgeForm[{ Hue[0.1, 0.6, 0.7], Opacity[1]}]]}, DirectedEdge[ HoldForm[ Part[ Map[Range, Range[10], {1}], 2]], HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]]] -> {EdgeStyle -> Directive[ Hue[0.07, 1, 1], Opacity[1]]}, DirectedEdge[ HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7, 1}]], HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]]] -> {EdgeStyle -> Directive[ Opacity[1], Hue[0.2, 1, 0.6]]}, HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}], {1}]] -> {VertexStyle -> Directive[ Hue[0.2, 1, 0.6], EdgeForm[{ Hue[0.2, 1, 0.6], Opacity[1]}]]}, HoldForm[ Map[Range, Range[3, 7], {1}]] -> {VertexStyle -> Directive[ Hue[0.2, 1, 0.6], EdgeForm[{ Hue[0.2, 1, 0.6], Opacity[1]}]]}, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]] -> {VertexStyle -> Directive[ Hue[0, 1, 0.8], EdgeForm[{ Hue[0, 1, 0.8], Opacity[1]}]]}, DirectedEdge[ HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]], HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 10, 1}], 2]]] -> {EdgeStyle -> Directive[ Hue[0.07, 1, 1], Opacity[1]]}, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 5}]] -> {VertexStyle -> Directive[ Hue[0, 1, 0.8], EdgeForm[{ Hue[0, 1, 0.8], Opacity[1]}]]}, HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7, 1}]] -> {VertexStyle -> Directive[ EdgeForm[ Directive[ Hue[0.14, 1, 0.9], Opacity[1]]], Hue[0.2, 1, 0.6]]}}, GraphLayout -> { "Dimension" -> 2, "VertexLayout" -> "LayeredDigraphEmbedding"}, VertexLabels -> { Placed["Name", Tooltip]}}]]}, TagBox[GraphicsGroupBox[{ {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.021395], {Hue[0.14, 1, 0.9], Opacity[1], ArrowBox[{{1.1667, -3.1667}, {2.1667, -4.1667}}, 0.065612]}, {Hue[0.07, 1, 1], Opacity[1], ArrowBox[{{4.5, -1.1667}, {4.5, -2.1667}}, 0.065612]}, {Hue[0.2, 1, 0.6], Opacity[1], ArrowBox[{{2.1667, -1.1667}, {2.1667, -2.1667}}, 0.065612]}, {Hue[0.2, 1, 0.6], Opacity[1], ArrowBox[{{2.1667, -2.1667}, {2.1667, -3.1667}}, 0.065612]}, {Hue[0.2, 1, 0.6], Opacity[1], ArrowBox[{{2.1667, -3.1667}, {2.1667, -4.1667}}, 0.065612]}, {Hue[0.07, 1, 1], Opacity[1], ArrowBox[{{4.5, -2.1667}, {4.5, -3.1667}}, 0.065612]}, {Hue[0.07, 1, 1], Opacity[1], ArrowBox[{{4.5, -3.1667}, {4.5, -4.1667}}, 0.065612]}, {Hue[0.07, 1, 1], Opacity[1], ArrowBox[{{4.5, -4.1667}, {4.5, -5.1667}}, 0.065612]}, {Hue[0.07, 1, 1], Opacity[1], ArrowBox[{{4.5, -5.1667}, {4.5, -6.1667}}, 0.065612]}, ArrowBox[{{4.5, -6.1667}, {4.5, -7.1667}}, 0.065612], ArrowBox[{{4.5, -7.1667}, {5.5, -8.1667}}, 0.065612], {Hue[0.1, 0.6, 0.7], Opacity[1], ArrowBox[{{5.5, -6.1667}, {5.5, -7.1667}}, 0.065612]}, ArrowBox[{{5.5, -7.1667}, {5.5, -8.1667}}, 0.065612], ArrowBox[{{5.5, -8.1667}, {5.5, -9.1667}}, 0.065612], ArrowBox[{{5.5, -9.1667}, {5.5, -10.167}}, 0.065612], {Hue[0.8, 0.6, 0.8], Opacity[1], ArrowBox[{{7.8334, -2.1667}, {7.8334, -3.1667}}, 0.065612]}, ArrowBox[{{7.8334, -3.1667}, {7.8334, -4.1667}}, 0.065612], ArrowBox[{{7.8334, -4.1667}, {7.8334, -5.1667}}, 0.065612], ArrowBox[{{2.1667, -6.1667}, {2.1667, -7.1667}}, 0.065612], ArrowBox[{{2.1667, -7.1667}, {2.1667, -8.1667}}, 0.065612], {Hue[0.2, 1, 0.6], Opacity[1], ArrowBox[{{2.1667, -4.1667}, {2.1667, -5.1667}}, 0.065612]}, {Hue[0.2, 1, 0.6], Opacity[1], ArrowBox[{{2.1667, -5.1667}, {2.1667, -6.1667}}, 0.065612]}, ArrowBox[{{2.1667, -8.1667}, {2.1667, -9.1667}}, 0.065612], {Hue[0, 1, 0.8], Opacity[1], ArrowBox[{{8.8334, -2.1667}, {8.8334, -3.1667}}, 0.065612]}, ArrowBox[{{8.8334, -3.1667}, {8.8334, -4.1667}}, 0.065612], ArrowBox[{{2.1667, -9.1667}, {2.1667, -10.167}}, 0.065612], ArrowBox[{{8.8334, -4.1667}, {7.8334, -5.1667}}, 0.065612], ArrowBox[{{7.8334, -5.1667}, {7.8334, -6.1667}}, 0.065612], ArrowBox[{{2.1667, -10.167}, {2.1667, -11.167}}, 0.065612], ArrowBox[{{7.8334, -6.1667}, {7.8334, -7.1667}}, 0.065612], {Hue[0, 1, 0.8], Opacity[1], ArrowBox[{{8.8334, -1.1667}, {8.8334, -2.1667}}, 0.065612]}}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[0.7]}], TagBox[ TooltipBox[ {Hue[0.14, 1, 0.9], EdgeForm[{Hue[0.14, 1, 0.9], Opacity[1]}], DiskBox[{1.1667, -3.1667}, 0.065612]}, RowBox[{"Array", "[", RowBox[{"Range", ",", "5", ",", "3"}], "]"}]], Annotation[#, HoldForm[ Array[Range, 5, 3]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.07, 1, 1], EdgeForm[{Hue[0.07, 1, 1], Opacity[1]}], DiskBox[{4.5, -1.1667}, 0.065612]}, RowBox[{"First", "[", RowBox[{"Rest", "[", RowBox[{"Range", "/@", RowBox[{"Range", "[", "10", "]"}]}], "]"}], "]"}]], Annotation[#, HoldForm[ First[ Rest[ Map[Range, Range[10]]]]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.2, 1, 0.6], EdgeForm[{Hue[0.2, 1, 0.6], Opacity[1]}], DiskBox[{2.1667, -1.1667}, 0.065612]}, RowBox[{"Range", "/@", RowBox[{"Range", "[", RowBox[{"3", ",", "7"}], "]"}]}]], Annotation[#, HoldForm[ Map[Range, Range[3, 7]]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.2, 1, 0.6], EdgeForm[{Hue[0.2, 1, 0.6], Opacity[1]}], DiskBox[{2.1667, -2.1667}, 0.065612]}, RowBox[{"Map", "[", RowBox[{"Range", ",", RowBox[{"Range", "[", RowBox[{"3", ",", "7"}], "]"}], ",", RowBox[{"{", "1", "}"}]}], "]"}]], Annotation[#, HoldForm[ Map[Range, Range[3, 7], {1}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.2, 1, 0.6], EdgeForm[{Hue[0.2, 1, 0.6], Opacity[1]}], DiskBox[{2.1667, -3.1667}, 0.065612]}, RowBox[{"Map", "[", RowBox[{"Range", ",", RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "3", ",", "7"}], "}"}]}], "]"}], ",", RowBox[{"{", "1", "}"}]}], "]"}]], Annotation[#, HoldForm[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}], {1}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.07, 1, 1], EdgeForm[{Hue[0.07, 1, 1], Opacity[1]}], DiskBox[{4.5, -2.1667}, 0.065612]}, RowBox[{ RowBox[{"(", RowBox[{"Range", "/@", RowBox[{"Range", "[", "10", "]"}]}], ")"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Map[Range, Range[10]], 2]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.07, 1, 1], EdgeForm[{Hue[0.07, 1, 1], Opacity[1]}], DiskBox[{4.5, -3.1667}, 0.065612]}, RowBox[{ RowBox[{"Map", "[", RowBox[{"Range", ",", RowBox[{"Range", "[", "10", "]"}], ",", RowBox[{"{", "1", "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Map[Range, Range[10], {1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.07, 1, 1], EdgeForm[{Hue[0.07, 1, 1], Opacity[1]}], DiskBox[{4.5, -4.1667}, 0.065612]}, RowBox[{ RowBox[{"Map", "[", RowBox[{"Range", ",", RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "10"}], "}"}]}], "]"}], ",", RowBox[{"{", "1", "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Map[Range, Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], {1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.07, 1, 1], EdgeForm[{Hue[0.07, 1, 1], Opacity[1]}], DiskBox[{4.5, -5.1667}, 0.065612]}, RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Range", "[", InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "10"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 10}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.07, 1, 1], EdgeForm[{Hue[0.07, 1, 1], Opacity[1]}], DiskBox[{4.5, -6.1667}, 0.065612]}, RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Range", "[", InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 10, 1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{4.5, -7.1667}, 0.065612], RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Range", "[", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 10, 1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.1, 0.6, 0.7], EdgeForm[{Hue[0.1, 0.6, 0.7], Opacity[1]}], DiskBox[{5.5, -6.1667}, 0.065612]}, RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{"j", ",", RowBox[{"{", RowBox[{"j", ",", "i"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "10"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.1, 0.6, 0.7], EdgeForm[{Hue[0.1, 0.6, 0.7], Opacity[1]}], DiskBox[{5.5, -7.1667}, 0.065612]}, RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", InterpretationBox[ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, 10, 1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{5.5, -8.1667}, 0.065612], RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{5.5, -9.1667}, 0.065612], RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "1", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{5.5, -10.167}, 0.065612], RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}]], Annotation[#, HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 10, 1}], 2]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.8, 0.6, 0.8], EdgeForm[{Hue[0.8, 0.6, 0.8], Opacity[1]}], DiskBox[{7.8334, -2.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{ RowBox[{"ConstantArray", "[", RowBox[{"i", ",", RowBox[{"i", "+", "2"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.8, 0.6, 0.8], EdgeForm[{Hue[0.8, 0.6, 0.8], Opacity[1]}], DiskBox[{7.8334, -3.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{ RowBox[{"ConstantArray", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "+", "2"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{7.8334, -4.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"ConstantArray", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], "+", "2"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ ConstantArray[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.2, 1, 0.6], EdgeForm[{Hue[0.14, 1, 0.9], Opacity[1]}], DiskBox[{2.1667, -6.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{ RowBox[{"Range", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "+", "2"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{2.1667, -7.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Range", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], "+", "2"}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.2, 1, 0.6], EdgeForm[{Hue[0.14, 1, 0.9], Opacity[1]}], DiskBox[{2.1667, -4.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{ RowBox[{"Range", "[", InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "3", ",", "7"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0.2, 1, 0.6], EdgeForm[{Hue[0.14, 1, 0.9], Opacity[1]}], DiskBox[{2.1667, -5.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{ RowBox[{"Range", "[", InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "3", ",", "7", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Range[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 3, 7, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{2.1667, -8.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], "+", "2"}]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0, 1, 0.8], EdgeForm[{Hue[0, 1, 0.8], Opacity[1]}], DiskBox[{8.8334, -2.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2], ",", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "+", "2"}]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "5"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 5}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0, 1, 0.8], EdgeForm[{Hue[0, 1, 0.8], Opacity[1]}], DiskBox[{8.8334, -3.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2], ",", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], "+", "2"}]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1 + 2}], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{2.1667, -9.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1], ",", "1", ",", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], "+", "2"}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{8.8334, -4.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2], ",", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], "+", "2"}]}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{7.8334, -5.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2], ",", "1", ",", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], "+", "2"}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{2.1667, -10.167}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], "+", "2"}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{2.1667, -11.167}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", RowBox[{"2", "+", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]]}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{7.8334, -6.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], "+", "2"}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]] + 2, 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[DiskBox[{7.8334, -7.1667}, 0.065612], RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", RowBox[{"2", "+", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]]}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor -> RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor -> RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor -> RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], ContentPadding -> False, FrameStyle -> None, RoundingRadius -> 5, Background -> RGBColor[0.8421, 0.87669, 0.92745]], FontSize -> 0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]], "Tooltip"]& ], TagBox[ TooltipBox[ {Hue[0, 1, 0.8], EdgeForm[{Hue[0, 1, 0.8], Opacity[1]}], DiskBox[{8.8334, -1.1667}, 0.065612]}, RowBox[{"Table", "[", RowBox[{"i", ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"i", "+", "2"}]}], "}"}]}], "]"}]], Annotation[#, HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]], "Tooltip"]& ]}}], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->{ "NetworkGraphics", FrontEnd`GraphicsHighlightColor -> Hue[0.8, 1., 0.6]}, FormatType->TraditionalForm, FrameTicks->None, ImageSize->{208.89, Automatic}]], "Output", TaggingRules->{}, CellLabel->"Out[5]=", CellID->74972427] }, Open ]], Cell["\<\ Group the expressions into their corresponding equivalence class:\ \>", "Text", TaggingRules->{}, CellID->323935280], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"grouped", "=", RowBox[{"GroupBy", "[", RowBox[{"expressions", ",", InterpretationBox[ FrameBox[ TagBox[ TooltipBox[ PaneBox[GridBox[{ { GraphicsBox[ {Thickness[0.0025], {FaceForm[{RGBColor[ 0.9607843137254902, 0.5058823529411764, 0.19607843137254902`], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}, {1, 3, 3}, { 0, 1, 0}, {1, 3, 3}, {0, 1, 0}, {1, 3, 3}}}, {{{205., 22.863691329956055`}, {205., 212.31669425964355`}, { 246.01799774169922`, 235.99870109558105`}, { 369.0710144042969, 307.0436840057373}, {369.0710144042969, 117.59068870544434`}, {205., 22.863691329956055`}}, {{ 30.928985595703125`, 307.0436840057373}, { 153.98200225830078`, 235.99870109558105`}, {195., 212.31669425964355`}, {195., 22.863691329956055`}, { 30.928985595703125`, 117.59068870544434`}, { 30.928985595703125`, 307.0436840057373}}, {{200., 410.42970085144043`}, {364.0710144042969, 315.7036876678467}, {241.01799774169922`, 244.65868949890137`}, {200., 220.97669792175293`}, { 158.98200225830078`, 244.65868949890137`}, { 35.928985595703125`, 315.7036876678467}, {200., 410.42970085144043`}}, CompressedData[" 1:eJxTTMoPSmViYGCQAWIQDQQPlDrLHYA0XxdDiQNYJCATwveoAtG/6uTA/HWX w8B8tsaHGch8BoYNGcjqGS7lmqOYd/qhKYj2c/hUDJF/awKiz129jsL3c9qN wo/gXBuDzK/YbRWDbF6F4MVoZPtmvJoejeyehpD9yiA6e88JMD+h/JYS2J6k J2C+gleGEkQ9QyYyf9NcaWR+w1Rn80xk/bDwgZkPCz+Y/QGPF5Yju++B0sZy ZPfD+DD/wfgw/8P4sPCBmQcLP5T4AgBuZHHc "]}]}, {FaceForm[{RGBColor[ 0.5529411764705883, 0.6745098039215687, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{44.92900085449219, 282.59088134765625`}, { 181.00001525878906`, 204.0298843383789}, {181.00001525878906`, 46.90887451171875}, {44.92900085449219, 125.46986389160156`}, {44.92900085449219, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6627450980392157, 0.803921568627451, 0.5686274509803921], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{355.0710144042969, 282.59088134765625`}, { 355.0710144042969, 125.46986389160156`}, {219., 46.90887451171875}, {219., 204.0298843383789}, { 355.0710144042969, 282.59088134765625`}}}]}, {FaceForm[{RGBColor[ 0.6901960784313725, 0.5882352941176471, 0.8117647058823529], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{200., 394.0606994628906}, {336.0710144042969, 315.4997024536133}, {200., 236.93968200683594`}, { 63.928985595703125`, 315.4997024536133}, {200., 394.0606994628906}}}]}}, BaselinePosition->Scaled[0.15], ImageSize->10], StyleBox[ RowBox[{"ToCanonicalForm", " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->0.9 Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->{Left, Baseline}, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], RowBox[{"PacletSymbol", "[", RowBox[{"\"Wolfram/CodeEquivalenceUtilities\"", ",", "\"Wolfram`CodeEquivalenceUtilities`ToCanonicalForm\""}], "]"}], TooltipStyle->{ShowAutoStyles -> True, ShowStringCharacters -> True}], Annotation[#, Style[ Defer[ PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`ToCanonicalForm"]], ShowStringCharacters -> True], "Tooltip"]& ], Background->RGBColor[0.968, 0.976, 0.984], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 1}}, FrameStyle->RGBColor[0.831, 0.847, 0.85], RoundingRadius->4], PacletSymbol[ "Wolfram/CodeEquivalenceUtilities", "Wolfram`CodeEquivalenceUtilities`ToCanonicalForm"], TaggingRules -> { "Paclet" -> "Wolfram/CodeEquivalenceUtilities", "Symbol" -> "Wolfram`CodeEquivalenceUtilities`ToCanonicalForm"}, BoxID -> "PacletSymbolBox", SelectWithContents->True, Selectable->False]}], "]"}]}]], "Input", TaggingRules->{}, CellLabel->"In[6]:=", CellID->615243750], Cell[BoxData[ RowBox[{"\[LeftAssociation]", RowBox[{ RowBox[{ TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", RowBox[{"2", "+", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]]}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm], "\[Rule]", RowBox[{"{", RowBox[{ TagBox[ RowBox[{"Table", "[", RowBox[{"i", ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"i", "+", "2"}]}], "}"}]}], "]"}], HoldForm], ",", TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"ConstantArray", "[", RowBox[{"i", ",", RowBox[{"i", "+", "2"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}]}], "]"}], HoldForm]}], "}"}]}], ",", RowBox[{ TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", RowBox[{"2", "+", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]]}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm], "\[Rule]", RowBox[{"{", RowBox[{ TagBox[ RowBox[{"Array", "[", RowBox[{"Range", ",", "5", ",", "3"}], "]"}], HoldForm], ",", TagBox[ RowBox[{"Range", "/@", RowBox[{"Range", "[", RowBox[{"3", ",", "7"}], "]"}]}], HoldForm]}], "}"}]}], ",", RowBox[{ TagBox[ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]]], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], HoldForm], "\[Rule]", RowBox[{"{", RowBox[{ TagBox[ RowBox[{"First", "[", RowBox[{"Rest", "[", RowBox[{"Range", "/@", RowBox[{"Range", "[", "10", "]"}]}], "]"}], "]"}], HoldForm], ",", TagBox[ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{"j", ",", RowBox[{"{", RowBox[{"j", ",", "i"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "10"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], HoldForm]}], "}"}]}]}], "\[RightAssociation]"}]], "Output", TaggingRules->{}, CellLabel->"Out[6]=", CellID->91602001] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"TableForm", "[", RowBox[{"KeyValueMap", "[", RowBox[{ RowBox[{"Reverse", "@*", "List"}], ",", "grouped"}], "]"}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[7]:=", CellID->249180527], Cell[BoxData[ InterpretationBox[GridBox[{ {GridBox[{ { TagBox[ RowBox[{"Table", "[", RowBox[{"i", ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"j", ",", RowBox[{"i", "+", "2"}]}], "}"}]}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"ConstantArray", "[", RowBox[{"i", ",", RowBox[{"i", "+", "2"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "5"}], "}"}]}], "]"}], HoldForm]} }, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.28], { Offset[0.7]}, Offset[0.28]}, "Rows" -> { Offset[0.2], { Offset[0.1]}, Offset[0.2]}}], TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", RowBox[{"2", "+", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]]}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]}, {GridBox[{ { TagBox[ RowBox[{"Array", "[", RowBox[{"Range", ",", "5", ",", "3"}], "]"}], HoldForm]}, { TagBox[ RowBox[{"Range", "/@", RowBox[{"Range", "[", RowBox[{"3", ",", "7"}], "]"}]}], HoldForm]} }, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.28], { Offset[0.7]}, Offset[0.28]}, "Rows" -> { Offset[0.2], { Offset[0.1]}, Offset[0.2]}}], TagBox[ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", RowBox[{"2", "+", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]]}], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]]], ",", "1", ",", "5", ",", "1"}], "}"}]}], "]"}], HoldForm]}, {GridBox[{ { TagBox[ RowBox[{"First", "[", RowBox[{"Rest", "[", RowBox[{"Range", "/@", RowBox[{"Range", "[", "10", "]"}]}], "]"}], "]"}], HoldForm]}, { TagBox[ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{"j", ",", RowBox[{"{", RowBox[{"j", ",", "i"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{"i", ",", "10"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], HoldForm]} }, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.28], { Offset[0.7]}, Offset[0.28]}, "Rows" -> { Offset[0.2], { Offset[0.1]}, Offset[0.2]}}], TagBox[ RowBox[{ RowBox[{"Table", "[", RowBox[{ RowBox[{"Table", "[", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S1", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S1, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S1, Blank[Integer]]], ",", "1", ",", InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`\ CanonicalForms`Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1"}], "}"}]}], "]"}], ",", RowBox[{"{", RowBox[{ InterpretationBox[ TagBox[ TooltipBox[ StyleBox[ FrameBox[ RowBox[{ StyleBox["S2", FontColor->RGBColor[{ Rational[47, 255], Rational[13, 51], Rational[6, 17]}]], StyleBox["\[Proportion]", FontColor->RGBColor[{ Rational[94, 255], Rational[43, 85], Rational[181, 255]}]], StyleBox["\[DoubleStruckCapitalZ]", FontColor->RGBColor[{ Rational[14, 51], Rational[97, 255], Rational[8, 15]}]]}], Background->RGBColor[0.8421, 0.87669, 0.92745], ContentPadding->False, FrameStyle->None, RoundingRadius->5], FontSize->0.9 Inherited], "\"TypedSymbol[Wolfram`CodeEquivalenceUtilities`CanonicalForms`\ Scope`LocalSymbols`S2, _Integer]\""], #& ], Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`\ LocalSymbols`S2, Blank[Integer]]], ",", "1", ",", "10", ",", "1"}], "}"}]}], "]"}], "\[LeftDoubleBracket]", "2", "\[RightDoubleBracket]"}], HoldForm]} }, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxSpacings->{"Columns" -> { Offset[0.28], { Offset[2.1]}, Offset[0.28]}, "Rows" -> { Offset[0.2], { Offset[0.4]}, Offset[0.2]}}], TableForm[{{{ HoldForm[ Table[$CellContext`i, {$CellContext`i, 5}, {$CellContext`j, $CellContext`i + 2}]], HoldForm[ Table[ ConstantArray[$CellContext`i, $CellContext`i + 2], {$CellContext`i, 5}]]}, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Blank[Integer]], 1, 5, 1}]]}, {{ HoldForm[ Array[Range, 5, 3]], HoldForm[ Map[Range, Range[3, 7]]]}, HoldForm[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, 2 + Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`S2, Blank[Integer]], 1, 5, 1}]]}, {{ HoldForm[ First[ Rest[ Map[Range, Range[10]]]]], HoldForm[ Part[ Table[ Table[$CellContext`j, {$CellContext`j, $CellContext`i}], \ {$CellContext`i, 10}], 2]]}, HoldForm[ Part[ Table[ Table[ Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S1, Blank[Integer]], 1, Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1}], { Wolfram`CodeEquivalenceUtilities`Types`TypedSymbol[ Wolfram`CodeEquivalenceUtilities`CanonicalForms`Scope`LocalSymbols`\ S2, Blank[Integer]], 1, 10, 1}], 2]]}}]]], "Output", TaggingRules->{}, CellLabel->"Out[7]//TableForm=", CellID->19776170] }, Open ]] }, Closed]] }, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"Wolfram/CodeEquivalenceUtilities | Example Notebook", TaggingRules->{ "Metadata" -> { "ResourceType" -> "Paclet", "Name" -> "Wolfram/CodeEquivalenceUtilities", "Property" -> "ExampleNotebook"}}, FrontEndVersion->"13.1 for Linux x86 (64-bit) (June 16, 2022)", StyleDefinitions->Notebook[{ Cell[ CellGroupData[{ Cell[ StyleData[ StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb", CharacterEncoding -> "UTF-8"]]], Cell[ StyleData[All, "Working"], Editable -> True, DockedCells -> {}]}, Open]], Cell[ StyleData["Notebook"], Editable -> True, DockedCells -> {}, ScrollingOptions -> {"VerticalScrollRange" -> Automatic}], Cell[ StyleData[ "Section", StyleDefinitions -> StyleData["PrimaryExamplesSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Subsection", StyleDefinitions -> StyleData["ExampleSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsection", StyleDefinitions -> StyleData["ExampleSubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsubsection", StyleDefinitions -> StyleData["ExampleSubsubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Text", StyleDefinitions -> StyleData["ExampleText"]], Editable -> True]}, Visible -> False, FrontEndVersion -> "13.1 for Linux x86 (64-bit) (June 16, 2022)", StyleDefinitions -> "PrivateStylesheetFormatting.nb"], $CellContext`ClosingSaveDialog -> False ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[645, 23, 168, 7, 70, "Subsection",ExpressionUUID->"92545319-7496-4b1d-9aa8-5dfef52c27c2", CellID->462042388], Cell[816, 32, 95, 2, 70, "Text",ExpressionUUID->"4b1e2712-e1d8-4d89-9ead-f84a78b1c22c", CellID->128039117], Cell[CellGroupData[{ Cell[936, 38, 5223, 111, 70, "Input",ExpressionUUID->"5d0f0ed2-9529-4340-a10d-e15e08b40f1c", CellID->145660176], Cell[6162, 151, 92, 3, 70, "Output",ExpressionUUID->"9b95c6c4-b1bc-458a-af08-8daa9467ec60", CellID->47767555] }, Open ]], Cell[CellGroupData[{ Cell[6291, 159, 144, 4, 70, "ExampleDelimiter",ExpressionUUID->"d035c133-6b80-4057-9f0f-09cea3f9e084", CellID->123543145], Cell[6438, 165, 104, 2, 70, "Text",ExpressionUUID->"53365d2c-9b39-4b37-9719-a0dfabf7c649", CellID->61801984], Cell[CellGroupData[{ Cell[6567, 171, 5137, 108, 70, "Input",ExpressionUUID->"41b7d651-ed99-4eb8-ba81-ba3eb327d604", CellID->30954357], Cell[11707, 281, 3539, 105, 70, "Output",ExpressionUUID->"470afc31-9b46-4c1f-bac8-752c403ce935", CellID->39964845] }, Open ]], Cell[CellGroupData[{ Cell[15283, 391, 5137, 108, 70, "Input",ExpressionUUID->"d14e4916-20e7-400f-8fa9-8202733d1503", CellID->136440674], Cell[20423, 501, 3540, 105, 70, "Output",ExpressionUUID->"af4ebd1f-92df-4a54-b581-b134be5e2675", CellID->102837553] }, Open ]], Cell[23978, 609, 85, 2, 70, "Text",ExpressionUUID->"b8ab09a2-612b-4adc-89f8-692659567e47", CellID->367095856], Cell[CellGroupData[{ Cell[24088, 615, 113, 4, 70, "Input",ExpressionUUID->"b3e6482b-bf15-49e5-a934-82a2926e6939", CellID->53743161], Cell[24204, 621, 93, 3, 70, "Output",ExpressionUUID->"ba788961-a613-486b-865a-9ac070318317", CellID->664959305] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[24358, 631, 159, 7, 70, "Subsection",ExpressionUUID->"42af9d5e-2427-4f98-ad8e-1b817565fe2d", CellID->365377965], Cell[24520, 640, 109, 2, 70, "Text",ExpressionUUID->"277076dd-6da4-4633-a321-3d972e85b739", CellID->574259458], Cell[CellGroupData[{ Cell[24654, 646, 5682, 126, 70, "Input",ExpressionUUID->"fdfb1367-2e69-4e7e-93cc-1e7a97a7e5a4", CellID->19701662], Cell[30339, 774, 12870, 319, 70, "Output",ExpressionUUID->"5c0a750f-c481-4cba-8b59-483db56f2ea6", CellID->137244875] }, Open ]], Cell[CellGroupData[{ Cell[43246, 1098, 144, 4, 70, "ExampleDelimiter",ExpressionUUID->"530f9052-3040-4e26-aa38-7d4c462b838a", CellID->183270128], Cell[43393, 1104, 154, 5, 70, "Text",ExpressionUUID->"666153bc-9c0e-45d4-a1ea-35a5dd449cc9", CellID->304712455], Cell[CellGroupData[{ Cell[43572, 1113, 5334, 112, 70, "Input",ExpressionUUID->"c8349e10-56d6-4f5f-83d0-e8cecdd0ef53", CellID->78977440], Cell[48909, 1227, 15276, 428, 70, "Output",ExpressionUUID->"f1c081e7-8d51-4ba2-935b-4189bd7b29ce", CellID->242653389] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[64234, 1661, 144, 4, 70, "ExampleDelimiter",ExpressionUUID->"942be1f4-d70e-4b52-917a-90da6a14d50f", CellID->359786118], Cell[64381, 1667, 113, 2, 70, "Text",ExpressionUUID->"7bb81eb7-5d26-4eba-9a1e-feb5bf4d9715", CellID->156285582], Cell[CellGroupData[{ Cell[64519, 1673, 5137, 108, 70, "Input",ExpressionUUID->"76594d32-796c-4c22-9080-42d0b1678e55", CellID->756564778], Cell[69659, 1783, 3540, 105, 70, "Output",ExpressionUUID->"f6e97506-6c82-4e13-afac-cc2f47fc6ffd", CellID->187936985] }, Open ]], Cell[CellGroupData[{ Cell[73236, 1893, 5069, 106, 70, "Input",ExpressionUUID->"43bcdfbc-43d9-4a47-9f64-79d1b610b1cc", CellID->328679117], Cell[78308, 2001, 395, 13, 70, "Output",ExpressionUUID->"f5638d6d-f114-494c-9806-afdf40ac5c5e", CellID->227470473] }, Open ]], Cell[78718, 2017, 64, 2, 70, "Text",ExpressionUUID->"efb0b3eb-0808-451a-b4c1-bb779f09c102", CellID->479534276], Cell[CellGroupData[{ Cell[78807, 2023, 125, 4, 70, "Input",ExpressionUUID->"a52b25fa-5430-429a-ba91-c589f8145fdb", CellID->70732566], Cell[78935, 2029, 164, 5, 70, "Output",ExpressionUUID->"867daaa8-78f5-4904-9133-5434182b7f5d", CellID->66350377] }, Open ]] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[79160, 2041, 167, 7, 70, "Subsection",ExpressionUUID->"5e3a055a-6576-4bd5-97d0-3215c55033af", CellID->170216056], Cell[79330, 2050, 133, 4, 70, "Text",ExpressionUUID->"025f6892-4e81-45c8-ad1b-65f4c4e82518", CellID->142845178], Cell[79466, 2056, 1755, 51, 70, "Input",ExpressionUUID->"f61990c3-adc0-4445-9233-b4f073985caa", CellID->8689250], Cell[81224, 2109, 110, 2, 70, "Text",ExpressionUUID->"db850a74-c46c-45a1-b9b6-8624868fb2ba", CellID->6364326], Cell[CellGroupData[{ Cell[81359, 2115, 5856, 119, 70, "Input",ExpressionUUID->"ba5c7a4a-2499-411c-901b-b22c1ed941fe", CellID->10456278], Cell[87218, 2236, 7698, 211, 70, "Output",ExpressionUUID->"15071c7d-689d-4d51-96ff-53460c90d4cf", CellID->134563795] }, Open ]], Cell[94931, 2450, 90, 2, 70, "Text",ExpressionUUID->"0faf8e15-4c1f-432e-95fd-dfbc3311a9bf", CellID->380755029], Cell[CellGroupData[{ Cell[95046, 2456, 316, 11, 70, "Input",ExpressionUUID->"6fdf3a25-2229-4087-8f74-f17527d77bf3", CellID->7543077], Cell[95365, 2469, 28778, 693, 70, "Output",ExpressionUUID->"db6294f7-3ec2-4609-b20c-1f0ff6a6fba4", CellID->174708868] }, Open ]], Cell[124158, 3165, 74, 2, 70, "Text",ExpressionUUID->"a80fe1e8-dfe4-4082-bdfe-22f82a264f59", CellID->629391993], Cell[124235, 3169, 1261, 33, 70, "Input",ExpressionUUID->"850eef21-46e9-4c55-bdc4-4be51f279cb1", CellID->81711613], Cell[125499, 3204, 127, 4, 70, "Text",ExpressionUUID->"5ec808d0-c867-4762-a4ba-8321b7481eb6", CellID->127544466], Cell[CellGroupData[{ Cell[125651, 3212, 160, 5, 70, "Input",ExpressionUUID->"d4b1238b-cea5-461e-aaff-6c12c9e75918", CellID->347655374], Cell[125814, 3219, 139414, 3318, 70, "Output",ExpressionUUID->"fa8c27bd-a137-41ab-9b7f-861e434bfaea", CellID->74972427] }, Open ]], Cell[265243, 6540, 128, 4, 70, "Text",ExpressionUUID->"4e0370e0-ff7c-4312-b11c-211e487db1f2", CellID->323935280], Cell[CellGroupData[{ Cell[265396, 6548, 5364, 111, 70, "Input",ExpressionUUID->"47266d86-9bfe-4e81-8493-addd85188aa6", CellID->615243750], Cell[270763, 6661, 18318, 501, 70, "Output",ExpressionUUID->"32cdacc3-e0ba-4b3e-bfe8-6605f5f25a09", CellID->91602001] }, Open ]], Cell[CellGroupData[{ Cell[289118, 7167, 230, 8, 70, "Input",ExpressionUUID->"e4776a99-d5f5-4689-9c45-d04f5b27f41b", CellID->249180527], Cell[289351, 7177, 22599, 613, 70, "Output",ExpressionUUID->"46b29db6-2b2c-43cd-ae45-f89925e8cf9c", CellID->19776170] }, Open ]] }, Closed]] } ] *) (* End of internal cache information *)