Cell[CellGroupData[{Cell[BoxData[
 RowBox[{
  RowBox[{"g14", " ", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTH\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.5961`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.5963`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHH\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.687`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHT\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.5815`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTH\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.6303`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTT\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.6306`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHH\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.8987`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHT\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.6212`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTH\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.6178`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTT\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.6212`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.7301`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHT\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.6212`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<HHHH\>\""}], ",", 
       "0.6702`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<HHTH\>\""}], ",", 
       "0.6561`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<HHTT\>\""}], ",", 
       "0.6565`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.6144`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<HTTH\>\""}], ",", 
       "0.5643`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<HTTT\>\""}], ",", 
       "0.5648`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHH\>\"", "->", "\"\<HHHT\>\""}], ",", 
       "0.8072`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<THHT\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.5568`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<THTT\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<HHHT\>\""}], ",", 
       "0.5718`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<TTHT\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHHT\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.6702`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTH\>\"", "->", "\"\<HTHH\>\""}], ",", 
       "0.5961`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTH\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.7003`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHH\>\"", "->", "\"\<HHTH\>\""}], ",", 
       "0.5672`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHT\>\"", "->", "\"\<HHTH\>\""}], ",", 
       "0.5833`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTH\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.5603`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTH\>\"", "->", "\"\<THTT\>\""}], ",", 
       "0.5579`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<HHTH\>\""}], ",", 
       "0.625`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<HHTH\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTH\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.6212`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHH\>\"", "->", "\"\<HHTT\>\""}], ",", 
       "0.5644`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.552`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<HTTH\>\""}], ",", 
       "0.6561`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<HTTT\>\""}], ",", 
       "0.6565`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHH\>\"", "->", "\"\<HHTT\>\""}], ",", 
       "0.5718`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHT\>\"", "->", "\"\<HHTT\>\""}], ",", 
       "0.5877`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.5568`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<THTT\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<TTHT\>\""}], ",", 
       "0.625`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<TTTH\>\""}], ",", 
       "0.5718`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HHTT\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.7301`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHH\>\"", "->", "\"\<THHH\>\""}], ",", 
       "0.5877`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHH\>\"", "->", "\"\<THHT\>\""}], ",", 
       "0.5833`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTH\>\"", "->", "\"\<HTHH\>\""}], ",", 
       "0.6318`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<HTHH\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHT\>\"", "->", "\"\<HTHH\>\""}], ",", 
       "0.5579`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<HTHH\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHH\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.6212`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHH\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.5568`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHT\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.5603`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHT\>\"", "->", "\"\<THTT\>\""}], ",", 
       "0.6318`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.5568`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHT\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.5603`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<HTHT\>\""}], ",", 
       "0.5568`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTHT\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.6178`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTH\>\"", "->", "\"\<THHH\>\""}], ",", 
       "0.5039`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTH\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.5603`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTT\>\"", "->", "\"\<HTTH\>\""}], ",", 
       "0.5833`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTH\>\"", "->", "\"\<TTHH\>\""}], ",", 
       "0.5877`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTH\>\"", "->", "\"\<TTHT\>\""}], ",", 
       "0.5833`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<HTTH\>\""}], ",", 
       "0.555`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTH\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.6212`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHT\>\"", "->", "\"\<HTTT\>\""}], ",", 
       "0.5039`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTT\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.5568`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTT\>\"", "->", "\"\<HTTT\>\""}], ",", 
       "0.5877`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTT\>\"", "->", "\"\<TTHH\>\""}], ",", 
       "0.5718`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTT\>\"", "->", "\"\<TTHT\>\""}], ",", 
       "0.5672`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTT\>\"", "->", "\"\<TTTH\>\""}], ",", 
       "0.8072`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<HTTT\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.8987`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<THHH\>\""}], ",", 
       "0.6565`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<THHH\>\""}], ",", 
       "0.5648`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHH\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.6306`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<THHT\>\""}], ",", 
       "0.6561`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<THHT\>\""}], ",", 
       "0.5643`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THHT\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.6303`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.552`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHT\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.7003`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<THTH\>\""}], ",", 
       "0.6144`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTH\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.5815`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTT\>\"", "->", "\"\<TTHH\>\""}], ",", 
       "0.5644`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHT\>\"", "->", "\"\<THTT\>\""}], ",", 
       "0.5961`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<THTT\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.687`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<TTHH\>\""}], ",", 
       "0.6565`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHH\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.5963`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTTH\>\"", "->", "\"\<TTHT\>\""}], ",", 
       "0.6561`"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"\"\<TTHT\>\"", "->", "\"\<TTTT\>\""}], ",", 
       "0.5961`"}], "}"}]}], "}"}]}], ";"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 InitializationCell->True,
 CellChangeTimes->{
  3.35696210375764*^9, {3.4429495936566567`*^9, 3.442949599647172*^9},
    3.443272065150081*^9, 3.4432721309453444`*^9, 
   3.760735903768794*^9},
 CellID->188728977],

Cell[BoxData[
 RowBox[{"Manipulate", "[", 
  RowBox[{
   RowBox[{"With", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"jj", " ", "=", " ", 
       RowBox[{
        RowBox[{"Reverse", "[", 
         RowBox[{"{", 
          RowBox[{
          "\"\<HHHT\>\"", ",", "\"\<THHH\>\"", ",", "\"\<HTTH\>\"", 
           ",", "\"\<HHTT\>\"", ",", "\"\<HTHH\>\"", ",", 
           "\"\<THTH\>\"", ",", "\"\<HHTH\>\"", ",", "\"\<TTTH\>\"", 
           ",", "\"\<HTTT\>\"", ",", "\"\<THHT\>\"", ",", 
           "\"\<TTHH\>\"", ",", "\"\<THTT\>\"", ",", "\"\<HTHT\>\"", 
           ",", "\"\<TTHT\>\""}], "}"}], "]"}], "[", 
        RowBox[{"[", "r", "]"}], "]"}]}], "}"}], ",", 
     RowBox[{
      RowBox[{"gg", "=", 
       RowBox[{"GraphPlot", "[", 
        RowBox[{
         RowBox[{"Select", "[", 
          RowBox[{"g14", ",", 
           RowBox[{
            RowBox[{"Not", "[", 
             RowBox[{"MemberQ", "[", 
              RowBox[{
               RowBox[{"{", 
                RowBox[{"\"\<HHHH\>\"", ",", "\"\<TTTT\>\""}], "}"}], 
               ",", 
               RowBox[{"#", "[", 
                RowBox[{"[", 
                 RowBox[{"1", ",", "2"}], "]"}], "]"}]}], "]"}], 
             "]"}], "&"}]}], "]"}], ",", 
         RowBox[{"VertexCoordinateRules", "->", 
          RowBox[{"Thread", "[", 
           RowBox[{
            RowBox[{"{", 
             RowBox[{
             "\"\<HHHT\>\"", ",", "\"\<THHH\>\"", ",", "\"\<HTTH\>\"",
               ",", "\"\<HHTT\>\"", ",", "\"\<HTHH\>\"", ",", 
              "\"\<THTH\>\"", ",", "\"\<HHTH\>\"", ",", 
              "\"\<TTTH\>\"", ",", "\"\<HTTT\>\"", ",", 
              "\"\<THHT\>\"", ",", "\"\<TTHH\>\"", ",", 
              "\"\<THTT\>\"", ",", "\"\<HTHT\>\"", ",", 
              "\"\<TTHT\>\""}], "}"}], "->", " ", 
            RowBox[{"Table", "[", " ", 
             RowBox[{
              RowBox[{"{", 
               RowBox[{
                RowBox[{"Sin", "[", 
                 RowBox[{"n", " ", 
                  RowBox[{"Pi", "/", "7"}]}], "]"}], ",", 
                RowBox[{"Cos", "[", 
                 RowBox[{"n", " ", 
                  RowBox[{"Pi", "/", "7"}]}], "]"}]}], "}"}], ",", 
              RowBox[{"{", 
               RowBox[{"n", ",", "1", ",", "14"}], "}"}]}], "]"}]}], 
           "]"}]}], ",", 
         RowBox[{"VertexLabeling", "->", "True"}], ",", 
         RowBox[{"DirectedEdges", "->", " ", "True"}], ",", 
         RowBox[{"EdgeLabeling", "->", " ", "False"}], ",", 
         RowBox[{"EdgeRenderingFunction", "->", " ", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"{", 
             RowBox[{
              RowBox[{"AbsoluteThickness", "[", 
               RowBox[{"10", " ", 
                RowBox[{"(", 
                 RowBox[{"#3", " ", "-", " ", ".5"}], ")"}]}], "]"}], 
              ",", 
              RowBox[{"If", "[", 
               RowBox[{
                RowBox[{
                 RowBox[{"First", "[", "#2", "]"}], "==", 
                 "jj"}], ",", "Green", ",", 
                RowBox[{"GrayLevel", "[", 
                 RowBox[{"1", "-", " ", 
                  RowBox[{"3", 
                   RowBox[{"(", 
                    RowBox[{"#3", " ", "-", ".45"}], ")"}]}]}], 
                 "]"}]}], "]"}], ",", 
              RowBox[{"Arrow", "[", 
               RowBox[{"#1", ",", ".07"}], "]"}], ",", "Red", ",", 
              " ", 
              RowBox[{"If", "[", 
               RowBox[{
                RowBox[{
                 RowBox[{"First", "[", "#2", "]"}], "==", 
                 "jj"}], ",", 
                RowBox[{"Style", "[", 
                 RowBox[{
                  RowBox[{"Text", "[", 
                   RowBox[{"#3", ",", 
                    RowBox[{
                    RowBox[{"(", 
                    RowBox[{
                    RowBox[{"#1", "[", 
                    RowBox[{"[", "1", "]"}], "]"}], "+", 
                    RowBox[{"2", 
                    RowBox[{"#1", "[", 
                    RowBox[{"[", "2", "]"}], "]"}]}]}], ")"}], "/", 
                    "3"}]}], "]"}], ",", "12", ",", "Bold"}], "]"}], 
                ",", 
                RowBox[{"Sequence", "@@", 
                 RowBox[{"{", "}"}]}]}], "]"}]}], "}"}], "&"}], 
           ")"}]}], ",", "
", 
         RowBox[{"VertexRenderingFunction", "->", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"{", 
             RowBox[{"White", ",", 
              RowBox[{"EdgeForm", "[", 
               RowBox[{"{", 
                RowBox[{"Black", ",", "Thick"}], "}"}], "]"}], ",", 
              RowBox[{"Disk", "[", 
               RowBox[{"#", ",", ".10"}], "]"}], ",", "Black", ",", 
              RowBox[{"Text", "[", 
               RowBox[{
                RowBox[{"Column", "[", 
                 RowBox[{
                  RowBox[{"StringJoin", "/@", 
                   RowBox[{"Partition", "[", 
                    RowBox[{
                    RowBox[{"Characters", "[", "#2", "]"}], ",", 
                    "2"}], "]"}]}], ",", 
                  RowBox[{"Spacings", "->", " ", "0"}]}], "]"}], 
                ",", 
                RowBox[{"#1", "-", 
                 RowBox[{"{", 
                  RowBox[{
                   RowBox[{"-", ".01"}], ",", ".02"}], "}"}]}]}], 
               "]"}]}], "}"}], "&"}], ")"}]}], ",", 
         RowBox[{"ImageSize", "->", " ", 
          RowBox[{"{", 
           RowBox[{"480", ",", "480"}], "}"}]}]}], "]"}]}], ";", 
      "
", 
      RowBox[{"Show", "[", 
       RowBox[{
        RowBox[{"Graphics", "[", 
         RowBox[{"{", 
          RowBox[{"Pink", ",", 
           RowBox[{"Disk", "[", 
            RowBox[{
             RowBox[{"{", 
              RowBox[{
               RowBox[{"Sin", "[", 
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"15", "-", "r"}], ")"}], " ", 
                 RowBox[{"Pi", "/", "7"}]}], "]"}], ",", 
               RowBox[{"Cos", "[", 
                RowBox[{
                 RowBox[{"(", 
                  RowBox[{"15", "-", "r"}], ")"}], " ", 
                 RowBox[{"Pi", "/", "7"}]}], "]"}]}], "}"}], ",", 
             ".13"}], "]"}], ",", " ", "White", ",", 
           RowBox[{"Point", "[", 
            RowBox[{"{", 
             RowBox[{
              RowBox[{"-", "1.2"}], ",", 
              RowBox[{"-", "1.2"}]}], "}"}], "]"}], ",", 
           RowBox[{"Point", "[", 
            RowBox[{"{", 
             RowBox[{"1.2", ",", "1.2"}], "}"}], "]"}]}], "}"}], 
         "]"}], ",", "gg"}], "]"}]}]}], "
", "]"}], 
   ",", "
", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"r", ",", "1", ",", "\"\<pick four flips\>\""}], "}"}], 
     ",", 
     RowBox[{"Thread", "[", 
      RowBox[{
       RowBox[{"Range", "[", "14", "]"}], "->", 
       RowBox[{"{", 
        RowBox[{
        "\"\<TTHT\>\"", ",", "\"\<HTHT\>\"", ",", "\"\<THTT\>\"", 
         ",", "\"\<TTHH\>\"", ",", "\"\<THHT\>\"", ",", 
         "\"\<HTTT\>\"", ",", "\"\<TTTH\>\"", ",", "\"\<HHTH\>\"", 
         ",", "\"\<THTH\>\"", ",", "\"\<HTHH\>\"", ",", 
         "\"\<HHTT\>\"", ",", "\"\<HTTH\>\"", ",", "\"\<THHH\>\"", 
         ",", "\"\<HHHT\>\""}], "}"}]}], "]"}]}], "}"}], ",", 
   RowBox[{"SaveDefinitions", "->", " ", "True"}], ",", 
   RowBox[{"AutorunSequencing", "->", " ", 
    RowBox[{"{", 
     RowBox[{"{", 
      RowBox[{"1", ",", "14"}], "}"}], "}"}]}], ",", 
   RowBox[{"SynchronousUpdating", "->", "True"}]}], 
  "]"}]], "Input",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{
  3.35696210375764*^9, {3.4429496283517237`*^9, 
   3.4429496762602453`*^9}, {3.4432722134569445`*^9, 
   3.4432722570003495`*^9}, {3.4432723072973614`*^9, 
   3.443272505896305*^9}, {3.4432725606133823`*^9, 
   3.443272727131713*^9}, {3.443272777932729*^9, 
   3.443272781322797*^9}, {3.4432739295110683`*^9, 
   3.4432739516865115`*^9}, {3.4432740136429634`*^9, 
   3.4432740161030617`*^9}, {3.4432758555268946`*^9, 
   3.4432758717612696`*^9}, {3.4432759143706446`*^9, 
   3.4432759342612696`*^9}, {3.443278678994406*^9, 
   3.44327871817019*^9}, {3.4432787531558895`*^9, 
   3.4432787589010043`*^9}, {3.4432788063719535`*^9, 
   3.443278819782222*^9}, {3.443278883413494*^9, 
   3.4432789613500533`*^9}, {3.443279440967827*^9, 
   3.4432794482625566`*^9}, {3.4432808160560293`*^9, 
   3.4432808177122793`*^9}, 3.760735903755252*^9}],

Cell[BoxData[
 TagBox[
  StyleBox[
   DynamicModuleBox[{$CellContext`r$$ = 5, Typeset`show$$ = True, 
    Typeset`bookmarkList$$ = {}, Typeset`bookmarkMode$$ = "Menu", 
    Typeset`animator$$, Typeset`animvar$$ = 1, Typeset`name$$ = 
    "\"untitled\"", Typeset`specs$$ = {{{
       Hold[$CellContext`r$$], 1, "pick four flips"}, {
      1 -> "TTHT", 2 -> "HTHT", 3 -> "THTT", 4 -> "TTHH", 5 -> "THHT",
        6 -> "HTTT", 7 -> "TTTH", 8 -> "HHTH", 9 -> "THTH", 10 -> 
       "HTHH", 11 -> "HHTT", 12 -> "HTTH", 13 -> "THHH", 14 -> 
       "HHHT"}}}, Typeset`size$$ = {360., {177., 182.}}, 
    Typeset`update$$ = 0, Typeset`initDone$$, Typeset`skipInitDone$$ =
     False, $CellContext`r$9033$$ = False}, 
    DynamicBox[Manipulate`ManipulateBoxes[
     1, StandardForm, "Variables" :> {$CellContext`r$$ = 1}, 
      "ControllerVariables" :> {
        Hold[$CellContext`r$$, $CellContext`r$9033$$, False]}, 
      "OtherVariables" :> {
       Typeset`show$$, Typeset`bookmarkList$$, Typeset`bookmarkMode$$,
         Typeset`animator$$, Typeset`animvar$$, Typeset`name$$, 
        Typeset`specs$$, Typeset`size$$, Typeset`update$$, 
        Typeset`initDone$$, Typeset`skipInitDone$$}, "Body" :> 
      With[{$CellContext`jj$ = Part[
           
           Reverse[{
            "HHHT", "THHH", "HTTH", "HHTT", "HTHH", "THTH", "HHTH", 
             "TTTH", "HTTT", "THHT", "TTHH", "THTT", "HTHT", 
             "TTHT"}], $CellContext`r$$]}, $CellContext`gg = GraphPlot[
           Select[$CellContext`g14, Not[
             MemberQ[{"HHHH", "TTTT"}, 
              Part[#, 1, 2]]]& ], VertexCoordinateRules -> 
           Thread[{
              "HHHT", "THHH", "HTTH", "HHTT", "HTHH", "THTH", "HHTH", 
               "TTTH", "HTTT", "THHT", "TTHH", "THTT", "HTHT", 
               "TTHT"} -> Table[{
                Sin[$CellContext`n (Pi/7)], 
                Cos[$CellContext`n (Pi/7)]}, {$CellContext`n, 1, 
                14}]], VertexLabeling -> True, DirectedEdges -> True, 
           EdgeLabeling -> False, EdgeRenderingFunction -> ({
             AbsoluteThickness[10 (#3 - 0.5)], 
             If[First[#2] == $CellContext`jj$, Green, 
              GrayLevel[1 - 3 (#3 - 0.45)]], 
             Arrow[#, 0.07], Red, 
             If[First[#2] == $CellContext`jj$, 
              Style[
               Text[#3, (Part[#, 1] + 2 Part[#, 2])/3], 12, Bold], 
              Apply[Sequence, {}]]}& ), 
           VertexRenderingFunction -> ({White, 
             EdgeForm[{Black, Thick}], 
             Disk[#, 0.1], Black, 
             Text[
              Column[
               Map[StringJoin, 
                Partition[
                 Characters[#2], 2]], Spacings -> 0], # - {-0.01, 
              0.02}]}& ), ImageSize -> {480, 480}]; Show[
          Graphics[{Pink, 
            Disk[{
              Sin[(15 - $CellContext`r$$) (Pi/7)], 
              Cos[(15 - $CellContext`r$$) (Pi/7)]}, 0.13], White, 
            Point[{-1.2, -1.2}], 
            Point[{1.2, 1.2}]}], $CellContext`gg]], 
      "Specifications" :> {{{$CellContext`r$$, 1, 
          "pick four flips"}, {
         1 -> "TTHT", 2 -> "HTHT", 3 -> "THTT", 4 -> "TTHH", 5 -> 
          "THHT", 6 -> "HTTT", 7 -> "TTTH", 8 -> "HHTH", 9 -> "THTH", 
          10 -> "HTHH", 11 -> "HHTT", 12 -> "HTTH", 13 -> "THHH", 14 -> 
          "HHHT"}}}, 
      "Options" :> {
       AutorunSequencing -> {{1, 14}}, SynchronousUpdating -> True}, 
      "DefaultOptions" :> {ControllerLinking -> True}],
     ImageSizeCache->{405., {222., 228.}},
     SingleEvaluation->True],
    Deinitialization:>None,
    DynamicModuleValues:>{},
    Initialization:>({$CellContext`gg = Graphics[
         Annotation[{{{
             AbsoluteThickness[1.5610000000000002`], 
             GrayLevel[0.38169999999999993`], 
             
             Arrow[{{0.4338837391175581, 0.9009688679024191}, {
              0., -1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.5649999999999997`], 
             GrayLevel[0.38050000000000006`], 
             
             Arrow[{{0.4338837391175581, 0.9009688679024191}, {
              0.9749279121818236, -0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.1439999999999995`], 
             GrayLevel[0.5068000000000001], 
             
             Arrow[{{0.4338837391175581, 
              0.9009688679024191}, {-0.4338837391175581, 
              0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6430000000000002], 
             GrayLevel[0.6571], 
             
             Arrow[{{0.4338837391175581, 0.9009688679024191}, {
              0.9749279121818236, 0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6479999999999997], 
             GrayLevel[0.6556000000000002], 
             
             Arrow[{{0.4338837391175581, 
              0.9009688679024191}, {-0.7818314824680298, \
-0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{0.4338837391175581, 
              0.9009688679024191}, {-0.9749279121818236, \
-0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5679999999999996], 
             GrayLevel[0.6796000000000002], 
             
             Arrow[{{0.4338837391175581, 0.9009688679024191}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{0.4338837391175581, 
              0.9009688679024191}, {-0.7818314824680298, 
              0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{0.4338837391175581, 0.9009688679024191}, {0., 
              1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.9609999999999996], 
             GrayLevel[0.5617000000000001], 
             
             Arrow[{{0., -1.}, {
              0.7818314824680298, -0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[2.003], 
             GrayLevel[0.24909999999999988`], 
             
             Arrow[{{0., -1.}, {-0.4338837391175581, 
              0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6030000000000002], 
             GrayLevel[0.6691], 
             
             Arrow[{{0., -1.}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5789999999999995], 
             GrayLevel[0.6763000000000001], 
             
             Arrow[{{0., -1.}, {-0.7818314824680298, 
              0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5200000000000005], 
             GrayLevel[0.694], 
             
             Arrow[{{
              0.9749279121818236, -0.2225209339563144}, \
{-0.4338837391175581, 0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.5610000000000002`], 
             GrayLevel[0.38169999999999993`], 
             Arrow[{{0.9749279121818236, -0.2225209339563144}, {
              0.9749279121818236, 0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.5649999999999997`], 
             GrayLevel[0.38050000000000006`], 
             
             Arrow[{{
              0.9749279121818236, -0.2225209339563144}, \
{-0.7818314824680298, -0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5679999999999996], 
             GrayLevel[0.6796000000000002], 
             
             Arrow[{{0.9749279121818236, -0.2225209339563144}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{
              0.9749279121818236, -0.2225209339563144}, \
{-0.7818314824680298, 0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.25], 
             GrayLevel[0.4750000000000001], 
             
             Arrow[{{0.9749279121818236, -0.2225209339563144}, {0., 
              1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.7179999999999997], 
             GrayLevel[0.6346], 
             
             Arrow[{{
              0.9749279121818236, -0.2225209339563144}, \
{-0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.3180000000000003`], 
             GrayLevel[0.4545999999999999], 
             
             Arrow[{{-0.4338837391175581, 
              0.9009688679024191}, {-0.7818314824680298, 
              0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.039000000000000146`], 
             GrayLevel[0.8383], 
             
             Arrow[{{0.9749279121818236, 0.2225209339563144}, {
              0.7818314824680298, 0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6030000000000002], 
             GrayLevel[0.6691], 
             
             Arrow[{{0.9749279121818236, 0.2225209339563144}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.877], 
             GrayLevel[0.5869], 
             
             Arrow[{{0.9749279121818236, 
              0.2225209339563144}, {-0.9749279121818236, 
              0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.8330000000000004], 
             GrayLevel[0.6000999999999999], 
             
             Arrow[{{0.9749279121818236, 0.2225209339563144}, {0., 
              1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5679999999999996], 
             GrayLevel[0.6796000000000002], 
             
             Arrow[{{-0.7818314824680298, -0.6234898018587335}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.7179999999999997], 
             GrayLevel[0.6346], 
             
             Arrow[{{-0.7818314824680298, -0.6234898018587335}, \
{-0.9749279121818236, 0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6720000000000004], 
             GrayLevel[0.6483999999999999], 
             
             Arrow[{{-0.7818314824680298, -0.6234898018587335}, {0., 
              1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[3.072], 
             GrayLevel[-0.07160000000000011], 
             
             Arrow[{{-0.7818314824680298, -0.6234898018587335}, \
{-0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[3.072], 
             GrayLevel[-0.07160000000000011], 
             
             Arrow[{{0.7818314824680298, 0.6234898018587335}, {
              0.4338837391175581, 0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6720000000000004], 
             GrayLevel[0.6483999999999999], 
             Arrow[{{0.7818314824680298, 0.6234898018587335}, {
              0., -1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.7179999999999997], 
             GrayLevel[0.6346], 
             
             Arrow[{{0.7818314824680298, 0.6234898018587335}, {
              0.9749279121818236, -0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5679999999999996], 
             GrayLevel[0.6796000000000002], 
             
             Arrow[{{0.7818314824680298, 
              0.6234898018587335}, {-0.4338837391175581, 
              0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.8330000000000004], 
             GrayLevel[0.6000999999999999], 
             
             Arrow[{{-0.9749279121818236, -0.2225209339563144}, {
              0., -1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.877], 
             GrayLevel[0.5869], 
             
             Arrow[{{-0.9749279121818236, -0.2225209339563144}, {
              0.9749279121818236, -0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6030000000000002], 
             GrayLevel[0.6691], 
             
             Arrow[{{-0.9749279121818236, -0.2225209339563144}, \
{-0.4338837391175581, 0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.039000000000000146`], 
             GrayLevel[0.8383], 
             
             Arrow[{{-0.9749279121818236, -0.2225209339563144}, \
{-0.7818314824680298, -0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.3180000000000003`], 
             GrayLevel[0.4545999999999999], 
             
             Arrow[{{0.4338837391175581, -0.9009688679024191}, {
              0.7818314824680298, -0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.8330000000000004], 
             GrayLevel[0.6000999999999999], 
             Arrow[{{-0.7818314824680298, 0.6234898018587335}, {
              0.9749279121818236, 0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.877], 
             GrayLevel[0.5869], 
             
             Arrow[{{-0.7818314824680298, 
              0.6234898018587335}, {-0.7818314824680298, \
-0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6440000000000001], 
             GrayLevel[0.6568], 
             
             Arrow[{{-0.7818314824680298, 
              0.6234898018587335}, {-0.9749279121818236, 
              0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.7179999999999997], 
             GrayLevel[0.6346], 
             
             Arrow[{{-0.9749279121818236, 0.2225209339563144}, {
              0.4338837391175581, 0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.25], 
             GrayLevel[0.4750000000000001], 
             
             Arrow[{{-0.9749279121818236, 0.2225209339563144}, {
              0., -1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{-0.9749279121818236, 0.2225209339563144}, {
              0.7818314824680298, -0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5679999999999996], 
             GrayLevel[0.6796000000000002], 
             
             Arrow[{{-0.9749279121818236, 
              0.2225209339563144}, {-0.4338837391175581, 
              0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.5649999999999997`], 
             GrayLevel[0.38050000000000006`], 
             
             Arrow[{{-0.9749279121818236, 0.2225209339563144}, {
              0.7818314824680298, 0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.5610000000000002`], 
             GrayLevel[0.38169999999999993`], 
             Arrow[{{-0.9749279121818236, 
              0.2225209339563144}, {-0.9749279121818236, \
-0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5200000000000005], 
             GrayLevel[0.694], 
             
             Arrow[{{-0.9749279121818236, 0.2225209339563144}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5789999999999995], 
             RGBColor[0, 1, 0], 
             
             Arrow[{{0., 1.}, {
              0.7818314824680298, -0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0], 
             Style[
              Text[
              0.5579, {0.5212209883120198, -0.08232653457248898}], 12,
               Bold]}, {
             AbsoluteThickness[0.6030000000000002], 
             RGBColor[0, 1, 0], 
             
             Arrow[{{0., 1.}, {-0.4338837391175581, 
              0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0], 
             Style[
              Text[0.5603, {-0.2892558260783721, 0.9339792452682794}],
               12, Bold]}, {
             AbsoluteThickness[2.003], 
             RGBColor[0, 1, 0], 
             
             Arrow[{{0., 1.}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0], 
             Style[
              Text[0.7003, {0.2892558260783721, -0.2673125786016127}],
               12, Bold]}, {
             AbsoluteThickness[0.9609999999999996], 
             RGBColor[0, 1, 0], 
             
             Arrow[{{0., 1.}, {-0.7818314824680298, 
              0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0], 
             Style[
              Text[0.5961, {-0.5212209883120198, 0.7489932012391556}],
               12, Bold]}, {
             AbsoluteThickness[0.6440000000000001], 
             GrayLevel[0.6568], 
             
             Arrow[{{0.7818314824680298, -0.6234898018587335}, {
              0.9749279121818236, -0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.877], 
             GrayLevel[0.5869], 
             
             Arrow[{{0.7818314824680298, -0.6234898018587335}, {
              0.7818314824680298, 0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.8330000000000004], 
             GrayLevel[0.6000999999999999], 
             
             Arrow[{{
              0.7818314824680298, -0.6234898018587335}, \
{-0.9749279121818236, -0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, {
              0., -1.}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, {
              0.7818314824680298, -0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5679999999999996], 
             GrayLevel[0.6796000000000002], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, \
{-0.4338837391175581, 0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.5500000000000005], 
             GrayLevel[0.6849999999999998], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, {
              0.9749279121818236, 0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6479999999999997], 
             GrayLevel[0.6556000000000002], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, {
              0.7818314824680298, 0.6234898018587335}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[0.6430000000000002], 
             GrayLevel[0.6571], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, \
{-0.9749279121818236, -0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.1439999999999995`], 
             GrayLevel[0.5068000000000001], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, {
              0.4338837391175581, -0.9009688679024191}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.5649999999999997`], 
             GrayLevel[0.38050000000000006`], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, \
{-0.9749279121818236, 0.2225209339563144}}, 0.07], 
             RGBColor[1, 0, 0]}, {
             AbsoluteThickness[1.5610000000000002`], 
             GrayLevel[0.38169999999999993`], 
             
             Arrow[{{-0.4338837391175581, -0.9009688679024191}, {0., 
              1.}}, 0.07], 
             RGBColor[1, 0, 0]}}, {{
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0.4338837391175581, 0.9009688679024191}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"HH", "HT"}, Spacings -> 0], {
              0.44388373911755813`, 0.8809688679024191}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0., -1.}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"HH", "TH"}, Spacings -> 0], {0.01, -1.02}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0.9749279121818236, -0.2225209339563144}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"HH", "TT"}, Spacings -> 0], {
              0.9849279121818236, -0.24252093395631438`}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{-0.4338837391175581, 0.9009688679024191}, 0.1], 
             GrayLevel[0], 
             Text[
              
              Column[{"HT", "HT"}, Spacings -> 
               0], {-0.4238837391175581, 0.8809688679024191}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0.9749279121818236, 0.2225209339563144}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"HT", "TH"}, Spacings -> 0], {
              0.9849279121818236, 0.2025209339563144}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{-0.7818314824680298, -0.6234898018587335}, 0.1], 
             GrayLevel[0], 
             Text[
              
              Column[{"HT", "TT"}, Spacings -> 
               0], {-0.7718314824680298, -0.6434898018587335}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0.7818314824680298, 0.6234898018587335}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"TH", "HH"}, Spacings -> 0], {
              0.7918314824680298, 0.6034898018587335}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{-0.9749279121818236, -0.2225209339563144}, 0.1], 
             GrayLevel[0], 
             Text[
              
              Column[{"TH", "HT"}, Spacings -> 
               0], {-0.9649279121818236, -0.24252093395631438`}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0.4338837391175581, -0.9009688679024191}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"TH", "TH"}, Spacings -> 0], {
              0.44388373911755813`, -0.9209688679024192}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{-0.7818314824680298, 0.6234898018587335}, 0.1], 
             GrayLevel[0], 
             Text[
              
              Column[{"TH", "TT"}, Spacings -> 
               0], {-0.7718314824680298, 0.6034898018587335}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{-0.9749279121818236, 0.2225209339563144}, 0.1], 
             GrayLevel[0], 
             Text[
              
              Column[{"TT", "HH"}, Spacings -> 
               0], {-0.9649279121818236, 0.2025209339563144}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0., 1.}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"TT", "HT"}, Spacings -> 0], {0.01, 0.98}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{0.7818314824680298, -0.6234898018587335}, 0.1], 
             GrayLevel[0], 
             Text[
              Column[{"HT", "HH"}, Spacings -> 0], {
              0.7918314824680298, -0.6434898018587335}]}, {
             GrayLevel[1], 
             EdgeForm[{
               GrayLevel[0], 
               Thickness[Large]}], 
             Disk[{-0.4338837391175581, -0.9009688679024191}, 0.1], 
             GrayLevel[0], 
             Text[
              
              Column[{"TT", "TH"}, Spacings -> 
               0], {-0.4238837391175581, -0.9209688679024192}]}}}, 
          VertexCoordinateRules -> {{0.4338837391175581, 
           0.9009688679024191}, {0., -1.}, {
           0.9749279121818236, -0.2225209339563144}, \
{-0.4338837391175581, 0.9009688679024191}, {0.9749279121818236, 
           0.2225209339563144}, {-0.7818314824680298, \
-0.6234898018587335}, {0.7818314824680298, 
           0.6234898018587335}, {-0.9749279121818236, \
-0.2225209339563144}, {
           0.4338837391175581, -0.9009688679024191}, \
{-0.7818314824680298, 0.6234898018587335}, {-0.9749279121818236, 
           0.2225209339563144}, {0., 1.}, {
           0.7818314824680298, -0.6234898018587335}, \
{-0.4338837391175581, -0.9009688679024191}}], FrameTicks -> None, 
         PlotRange -> All, PlotRangePadding -> Scaled[0.1], 
         AspectRatio -> Automatic, 
         ImageSize -> {480, 480}], $CellContext`g14 = {{
         "HHTH" -> "HHHH", 0.5961}, {"HHTT" -> "HHHH", 0.5963}, {
         "HTHH" -> "HHHH", 0.687}, {"HTHT" -> "HHHH", 0.5815}, {
         "HTTH" -> "HHHH", 0.6303}, {"HTTT" -> "HHHH", 0.6306}, {
         "THHH" -> "HHHH", 0.8987}, {"THHT" -> "HHHH", 0.6212}, {
         "THTH" -> "HHHH", 0.6178}, {"THTT" -> "HHHH", 0.6212}, {
         "TTHH" -> "HHHH", 0.7301}, {"TTHT" -> "HHHH", 0.6212}, {
         "TTTH" -> "HHHH", 0.6702}, {"HHHT" -> "HHTH", 0.6561}, {
         "HHHT" -> "HHTT", 0.6565}, {"HHHT" -> "HTHT", 0.6144}, {
         "HHHT" -> "HTTH", 0.5643}, {"HHHT" -> "HTTT", 0.5648}, {
         "THHH" -> "HHHT", 0.8072}, {"HHHT" -> "THHT", 0.555}, {
         "HHHT" -> "THTH", 0.5568}, {"HHHT" -> "THTT", 0.555}, {
         "TTHH" -> "HHHT", 0.5718}, {"HHHT" -> "TTHT", 0.555}, {
         "HHHT" -> "TTTT", 0.6702}, {"HHTH" -> "HTHH", 0.5961}, {
         "HHTH" -> "HTHT", 0.7003}, {"THHH" -> "HHTH", 0.5672}, {
         "THHT" -> "HHTH", 0.5833}, {"HHTH" -> "THTH", 0.5603}, {
         "HHTH" -> "THTT", 0.5579}, {"TTHH" -> "HHTH", 0.625}, {
         "TTTH" -> "HHTH", 0.555}, {"HHTH" -> "TTTT", 0.6212}, {
         "HTHH" -> "HHTT", 0.5644}, {"HHTT" -> "HTHT", 0.552}, {
         "HHTT" -> "HTTH", 0.6561}, {"HHTT" -> "HTTT", 0.6565}, {
         "THHH" -> "HHTT", 0.5718}, {"THHT" -> "HHTT", 0.5877}, {
         "HHTT" -> "THTH", 0.5568}, {"HHTT" -> "THTT", 0.555}, {
         "HHTT" -> "TTHT", 0.625}, {"HHTT" -> "TTTH", 0.5718}, {
         "HHTT" -> "TTTT", 0.7301}, {"HTHH" -> "THHH", 0.5877}, {
         "HTHH" -> "THHT", 0.5833}, {"THTH" -> "HTHH", 0.6318}, {
         "TTHH" -> "HTHH", 0.555}, {"TTHT" -> "HTHH", 0.5579}, {
         "TTTH" -> "HTHH", 0.555}, {"HTHH" -> "TTTT", 0.6212}, {
         "THHH" -> "HTHT", 0.5568}, {"THHT" -> "HTHT", 0.5603}, {
         "HTHT" -> "THTT", 0.6318}, {"TTHH" -> "HTHT", 0.5568}, {
         "TTHT" -> "HTHT", 0.5603}, {"TTTH" -> "HTHT", 0.5568}, {
         "HTHT" -> "TTTT", 0.6178}, {"HTTH" -> "THHH", 0.5039}, {
         "HTTH" -> "THTH", 0.5603}, {"THTT" -> "HTTH", 0.5833}, {
         "HTTH" -> "TTHH", 0.5877}, {"HTTH" -> "TTHT", 0.5833}, {
         "TTTH" -> "HTTH", 0.555}, {"HTTH" -> "TTTT", 0.6212}, {
         "THHT" -> "HTTT", 0.5039}, {"HTTT" -> "THTH", 0.5568}, {
         "THTT" -> "HTTT", 0.5877}, {"HTTT" -> "TTHH", 0.5718}, {
         "HTTT" -> "TTHT", 0.5672}, {"HTTT" -> "TTTH", 0.8072}, {
         "HTTT" -> "TTTT", 0.8987}, {"TTHH" -> "THHH", 0.6565}, {
         "TTTH" -> "THHH", 0.5648}, {"THHH" -> "TTTT", 0.6306}, {
         "TTHH" -> "THHT", 0.6561}, {"TTTH" -> "THHT", 0.5643}, {
         "THHT" -> "TTTT", 0.6303}, {"TTHH" -> "THTH", 0.552}, {
         "TTHT" -> "THTH", 0.7003}, {"TTTH" -> "THTH", 0.6144}, {
         "THTH" -> "TTTT", 0.5815}, {"THTT" -> "TTHH", 0.5644}, {
         "TTHT" -> "THTT", 0.5961}, {"THTT" -> "TTTT", 0.687}, {
         "TTTH" -> "TTHH", 0.6565}, {"TTHH" -> "TTTT", 0.5963}, {
         "TTTH" -> "TTHT", 0.6561}, {"TTHT" -> "TTTT", 0.5961}}}; 
     Typeset`initDone$$ = True),
    SynchronousInitialization->True,
    UnsavedVariables:>{Typeset`initDone$$},
    UntrackedVariables:>{Typeset`size$$}], "Manipulate",
   Deployed->True,
   StripOnInput->False],
  Manipulate`InterpretManipulate[1]]], "Output",
 CellGroupingRules->{"GroupTogetherGrouping", 10000.},
 CellChangeTimes->{3.760735903755518*^9},
 CellID->199096493]
}, {3}]]