Elliptic curves v2.0 (beta multiplied by 0).nb

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

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

(* CreatedBy='Mathematica 11.1' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[    144417,       3608]
NotebookOptionsPosition[    128315,       3251]
NotebookOutlinePosition[    128668,       3267]
CellTagsIndexPosition[    128625,       3264]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{
  RowBox[{"ClearAll", "[", "\"\<Global`*\>\"", "]"}], ";"}]], "Input",
 CellChangeTimes->{{3.718125557635687*^9, 
  3.7181255716234627`*^9}},ExpressionUUID->"ae1fba16-e9ca-46a6-9392-\
a9213bfd4717"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", "initialization", "*)"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"for", " ", "rational", " ", "iteration"}], " ", "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
     RowBox[{"returns", " ", 
      SuperscriptBox["x", "th"], " ", "number", " ", "in", " ", "the", " ", 
      "Calkin"}], "-", 
     RowBox[{"Wilf", " ", "sequence"}]}], ",", " ", 
    RowBox[{
     RowBox[{"see", " ", 
      RowBox[{"https", ":"}]}], "//", 
     RowBox[{
      RowBox[{
       RowBox[{
        RowBox[{"en", ".", "wikipedia", ".", "org"}], "/", "wiki"}], "/", 
       "Calkin"}], "%", "E2", "%80", "%93", "Wilf_tree", "#Breadth", "_first",
       "_traversal"}]}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"rationalCW", "[", "x_", "]"}], ":=", 
    RowBox[{"Module", "[", 
     RowBox[{
      RowBox[{"{", "b", "}"}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"b", "=", 
        RowBox[{"ToString", "[", 
         RowBox[{"BaseForm", "[", 
          RowBox[{"x", ",", "2"}], "]"}], "]"}]}], ";", "\[IndentingNewLine]", 
       RowBox[{"FromContinuedFraction", "[", 
        RowBox[{"RunLengthEncode", "[", 
         RowBox[{"Reverse", "[", 
          RowBox[{"StringPart", "[", 
           RowBox[{"b", ",", 
            RowBox[{"1", ";;", 
             RowBox[{
              RowBox[{
               RowBox[{"StringPosition", "[", 
                RowBox[{"b", ",", "\"\< \>\""}], "]"}], "[", 
               RowBox[{"[", 
                RowBox[{"1", ",", "1"}], "]"}], "]"}], "-", "2"}], ";;", 
             "1"}]}], "]"}], "]"}], "]"}], "]"}]}]}], "\[IndentingNewLine]", 
     "]"}]}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"RunLengthEncode", "[", "x_List", "]"}], ":=", 
    RowBox[{"If", "[", 
     RowBox[{
      RowBox[{
       RowBox[{"First", "[", "x", "]"}], "\[Equal]", "\"\<1\>\""}], ",", 
      RowBox[{
       RowBox[{
        RowBox[{"Length", "[", "#", "]"}], "&"}], "/@", 
       RowBox[{"Split", "[", "x", "]"}]}], ",", 
      RowBox[{"Join", "[", 
       RowBox[{
        RowBox[{"{", "0", "}"}], ",", 
        RowBox[{
         RowBox[{
          RowBox[{"Length", "[", "#", "]"}], "&"}], "/@", 
         RowBox[{"Split", "[", "x", "]"}]}]}], "]"}]}], "]"}]}], 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{"given", " ", "rational", " ", 
      RowBox[{"(", 
       RowBox[{"r", ",", "x"}], ")"}]}], ",", " ", 
     RowBox[{"returns", " ", 
      RowBox[{"(", 
       RowBox[{"m", ",", "y"}], ")"}], " ", "that", " ", "is", " ", "a", " ", 
      "solution", " ", "to", " ", "S"}]}], " ", "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"\[Phi]", "[", 
      RowBox[{"r_", ",", "x_"}], "]"}], ":=", 
     RowBox[{"{", 
      RowBox[{
       FractionBox[
        RowBox[{
         RowBox[{"-", "4"}], "-", 
         RowBox[{"4", " ", "r"}], "-", 
         SuperscriptBox["r", "2"], "-", 
         RowBox[{"4", " ", 
          SuperscriptBox["x", "2"]}], "-", 
         RowBox[{"2", " ", "r", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         SuperscriptBox["x", "4"]}], 
        RowBox[{"8", " ", "r"}]], ",", 
       FractionBox[
        RowBox[{
         RowBox[{"-", "4"}], "+", 
         SuperscriptBox["r", "2"], "-", 
         RowBox[{"4", " ", 
          SuperscriptBox["x", "2"]}], "+", 
         SuperscriptBox["x", "4"]}], 
        RowBox[{"2", " ", "r"}]]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{"given", " ", "m", " ", "and", " ", "d"}], ",", " ", 
     RowBox[{"return", " ", "gamma"}]}], " ", "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"gamma", "[", 
      RowBox[{"m_", ",", "d_"}], "]"}], ":=", 
     RowBox[{
      RowBox[{
       RowBox[{"Sqrt", "[", 
        RowBox[{
         RowBox[{"2", 
          SuperscriptBox["d", "4"]}], "+", 
         RowBox[{"8", "m", " ", 
          SuperscriptBox["d", "2"]}], "+", 
         RowBox[{"16", 
          SuperscriptBox["m", "2"]}], "+", 
         RowBox[{"16", "m"}]}], "]"}], 
       RowBox[{"(", 
        RowBox[{
         RowBox[{
          FractionBox[
           RowBox[{"-", "3"}], "16"], 
          SuperscriptBox["d", "6"]}], "-", 
         RowBox[{
          FractionBox["m", "2"], 
          SuperscriptBox["d", "4"]}], "-", 
         RowBox[{
          FractionBox[
           SuperscriptBox["m", "2"], "2"], 
          SuperscriptBox["d", "2"]}], "-", 
         RowBox[{
          FractionBox["m", "2"], 
          SuperscriptBox["d", "2"]}]}], ")"}]}], "+", 
      RowBox[{
       FractionBox["17", "64"], 
       SuperscriptBox["d", "8"]}], "+", 
      RowBox[{
       FractionBox[
        RowBox[{"5", "m"}], "4"], 
       SuperscriptBox["d", "6"]}], "+", 
      RowBox[{
       FractionBox[
        RowBox[{"11", 
         SuperscriptBox["m", "2"]}], "4"], 
       SuperscriptBox["d", "4"]}], "+", 
      RowBox[{
       FractionBox[
        RowBox[{"7", "m"}], "4"], 
       SuperscriptBox["d", "4"]}], "+", 
      RowBox[{"2", 
       SuperscriptBox["m", "3"], 
       SuperscriptBox["d", "2"]}], "+", 
      RowBox[{"2", 
       SuperscriptBox["m", "2"], 
       SuperscriptBox["d", "2"]}], "-", "m"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{"double", " ", "a", " ", "point", " ", "on", " ", "the", " ", 
      RowBox[{"E", ".", "C", ".", " ", 
       SuperscriptBox["y", "2"]}]}], " ", "\[Equal]", " ", 
     RowBox[{
      SuperscriptBox["x", 
       RowBox[{"3", " "}]], "+", " ", 
      RowBox[{"a", " ", 
       SuperscriptBox["x", "2"]}], " ", "+", " ", 
      RowBox[{"b", " ", "x"}], " ", "+", " ", "c"}]}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"doubleEC", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"x_", ",", "y_"}], "}"}], ",", "a_", ",", "b_", ",", "c_"}], 
     "]"}], ":=", 
    RowBox[{"Module", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"newx", ",", "newy", ",", "\[Lambda]", ",", "\[Gamma]"}], 
       "}"}], ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"newx", "=", 
        FractionBox[
         RowBox[{
          SuperscriptBox["x", "4"], "-", 
          RowBox[{"2", "b", " ", 
           SuperscriptBox["x", "2"]}], "-", 
          RowBox[{"8", "c", " ", "x"}], "+", 
          SuperscriptBox["b", "2"], "-", 
          RowBox[{"4", "a", " ", "c"}]}], 
         RowBox[{"4", 
          RowBox[{"(", 
           RowBox[{
            SuperscriptBox["x", "3"], "+", 
            RowBox[{"a", " ", 
             SuperscriptBox["x", "2"]}], "+", 
            RowBox[{"b", " ", "x"}], "+", "c"}], ")"}]}]]}], ";", 
       "\[IndentingNewLine]", 
       RowBox[{"\[Lambda]", "=", 
        FractionBox[
         RowBox[{
          RowBox[{"3", 
           SuperscriptBox["x", "2"]}], "+", 
          RowBox[{"2", "a", " ", "x"}], "+", "b"}], 
         RowBox[{"2", "y"}]]}], ";", "\[IndentingNewLine]", 
       RowBox[{"\[Gamma]", "=", 
        RowBox[{"y", "-", 
         RowBox[{"\[Lambda]", " ", "x"}]}]}], ";", "\[IndentingNewLine]", 
       RowBox[{"newy", "=", 
        RowBox[{"-", 
         RowBox[{"(", 
          RowBox[{
           RowBox[{"\[Lambda]", " ", "newx"}], "+", "\[Gamma]"}], ")"}]}]}], 
       ";", "\[IndentingNewLine]", 
       RowBox[{"Return", "[", 
        RowBox[{"{", 
         RowBox[{"newx", ",", "newy"}], "}"}], "]"}], ";"}]}], 
     "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{"add", " ", "two", " ", "points", " ", "on", " ", "the", " ", 
      RowBox[{"E", ".", "C", ".", " ", 
       SuperscriptBox["y", "2"]}]}], " ", "\[Equal]", " ", 
     RowBox[{
      SuperscriptBox["x", 
       RowBox[{"3", " "}]], "+", " ", 
      RowBox[{"a", " ", 
       SuperscriptBox["x", "2"]}], " ", "+", " ", 
      RowBox[{"b", " ", "x"}], " ", "+", " ", "c"}]}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"addEC", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"x1_", ",", "y1_"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"x2_", ",", "y2_"}], "}"}], ",", "a_", ",", "b_", ",", "c_"}], 
     "]"}], ":=", 
    RowBox[{"Module", "[", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"newx", ",", "newy", ",", "\[Lambda]", ",", "\[Nu]"}], "}"}], 
      ",", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"If", "[", 
        RowBox[{
         RowBox[{
          RowBox[{"x1", "\[Equal]", "x2"}], "&&", 
          RowBox[{"y1", "\[Equal]", "y2"}]}], ",", 
         RowBox[{
          RowBox[{"Return", "[", 
           RowBox[{"doubleEC", "[", 
            RowBox[{
             RowBox[{"{", 
              RowBox[{"x1", ",", "y1"}], "}"}], ",", "a", ",", "b", ",", 
             "c"}], "]"}], "]"}], ";"}]}], "]"}], ";", 
       RowBox[{"(*", 
        RowBox[{"same", " ", "point"}], "*)"}], "\[IndentingNewLine]", 
       RowBox[{"If", "[", 
        RowBox[{
         RowBox[{"x1", "\[Equal]", "x2"}], ",", 
         RowBox[{
          RowBox[{"Return", "[", 
           RowBox[{"{", 
            RowBox[{"0", ",", "ComplexInfinity"}], "}"}], "]"}], ";"}]}], 
        "]"}], ";", 
       RowBox[{"(*", "inverses", "*)"}], "\[IndentingNewLine]", 
       RowBox[{"\[Lambda]", "=", 
        FractionBox[
         RowBox[{"y2", "-", "y1"}], 
         RowBox[{"x2", "-", "x1"}]]}], ";", "\[IndentingNewLine]", 
       RowBox[{"\[Nu]", "=", 
        RowBox[{"y1", "-", 
         RowBox[{"\[Lambda]", " ", "x1"}]}]}], ";", "\[IndentingNewLine]", 
       RowBox[{"newx", "=", 
        RowBox[{
         SuperscriptBox["\[Lambda]", "2"], "-", "a", "-", "x1", "-", "x2"}]}],
        ";", "\[IndentingNewLine]", 
       RowBox[{"newy", "=", 
        RowBox[{"-", 
         RowBox[{"(", 
          RowBox[{
           RowBox[{"\[Lambda]", " ", "newx"}], "+", "\[Nu]"}], ")"}]}]}], ";",
        "\[IndentingNewLine]", 
       RowBox[{"Return", "[", 
        RowBox[{"{", 
         RowBox[{"newx", ",", "newy"}], "}"}], "]"}], ";"}]}], 
     "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{"S", " ", "\[Rule]", " ", "C"}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"tau", "[", 
      RowBox[{"x_", ",", "y_", ",", "m_"}], "]"}], ":=", 
     RowBox[{"{", 
      RowBox[{"y", ",", 
       RowBox[{
        RowBox[{"4", "m"}], "+", 
        SuperscriptBox["x", "2"], "+", "2"}], ",", "1"}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{"C", " ", "\[Rule]", " ", "S"}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"tauinv", "[", 
      RowBox[{"Y_", ",", "M_", ",", "Z_", ",", "x_"}], "]"}], ":=", 
     RowBox[{"{", 
      RowBox[{"x", ",", 
       FractionBox["Y", "Z"], ",", 
       FractionBox[
        RowBox[{"M", "-", 
         RowBox[{"2", "Z"}], "-", 
         RowBox[{
          SuperscriptBox["x", "2"], "Z"}]}], 
        RowBox[{"4", "Z"}]]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     SuperscriptBox["A", "2"], " ", "\[Rule]", " ", "C"}], " ", "*)"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"sigma", "[", 
      RowBox[{"r_", ",", "x_"}], "]"}], ":=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{
        SuperscriptBox["x", "4"], "-", 
        RowBox[{"4", 
         SuperscriptBox["x", "2"]}], "-", "4", "+", 
        SuperscriptBox["r", "2"]}], ",", 
       RowBox[{
        SuperscriptBox["x", "4"], "-", 
        RowBox[{"4", 
         SuperscriptBox["x", "2"]}], "-", "4", "-", 
        SuperscriptBox["r", "2"]}], ",", 
       RowBox[{"2", "r"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{"C", " ", "\[Rule]", " ", 
     SuperscriptBox["A", "2"]}], " ", "*)"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"sigmainv", "[", 
      RowBox[{"Y_", ",", "M_", ",", "Z_"}], "]"}], ":=", 
     RowBox[{"Module", "[", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"pos", ",", "neg"}], "}"}], ",", "\[IndentingNewLine]", 
       RowBox[{
        RowBox[{"pos", "=", 
         FractionBox[
          RowBox[{"8", "+", 
           RowBox[{"Sqrt", "[", 
            RowBox[{"64", "+", 
             RowBox[{"8", 
              RowBox[{"(", 
               RowBox[{"8", "+", "Y", "+", "M"}], ")"}]}]}], "]"}]}], "4"]}], 
        ";", "\[IndentingNewLine]", 
        RowBox[{"neg", "=", 
         FractionBox[
          RowBox[{"8", "-", 
           RowBox[{"Sqrt", "[", 
            RowBox[{"64", "+", 
             RowBox[{"8", 
              RowBox[{"(", 
               RowBox[{"8", "+", "Y", "+", "M"}], ")"}]}]}], "]"}]}], "4"]}], 
        ";", "\[IndentingNewLine]", 
        RowBox[{"If", "[", 
         RowBox[{
          RowBox[{"pos", "\[GreaterEqual]", "0"}], ",", "\[IndentingNewLine]", 
          RowBox[{"If", "[", 
           RowBox[{
            RowBox[{"neg", "\[GreaterEqual]", "0"}], ",", 
            "\[IndentingNewLine]", 
            RowBox[{"(*", " ", 
             RowBox[{"randomly", " ", "return", " ", "one"}], " ", "*)"}], 
            "\[IndentingNewLine]", 
            RowBox[{
             RowBox[{"Return", "[", 
              RowBox[{
               RowBox[{"RandomSample", "[", 
                RowBox[{
                 RowBox[{"{", 
                  RowBox[{
                   RowBox[{"{", 
                    RowBox[{
                    FractionBox["Z", "2"], ",", 
                    RowBox[{"Sqrt", "[", "pos", "]"}]}], "}"}], ",", 
                   RowBox[{"{", 
                    RowBox[{
                    FractionBox["Z", "2"], ",", 
                    RowBox[{"Sqrt", "[", "neg", "]"}]}], "}"}]}], "}"}], ",", 
                 "1"}], "]"}], "[", 
               RowBox[{"[", "1", "]"}], "]"}], "]"}], ";"}], 
            "\[IndentingNewLine]", ",", "\[IndentingNewLine]", 
            RowBox[{
             RowBox[{"Return", "[", 
              RowBox[{"{", 
               RowBox[{
                FractionBox["Z", "2"], ",", 
                RowBox[{"Sqrt", "[", "pos", "]"}]}], "}"}], "]"}], ";"}]}], 
           "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]", ",", 
          "\[IndentingNewLine]", 
          RowBox[{
           RowBox[{"Return", "[", 
            RowBox[{"{", 
             RowBox[{
              FractionBox["Z", "2"], ",", 
              RowBox[{"Sqrt", "[", "neg", "]"}]}], "}"}], "]"}], ";"}], 
          "\[IndentingNewLine]", ",", "\[IndentingNewLine]", 
          RowBox[{
           RowBox[{"Return", "[", 
            RowBox[{"{", 
             RowBox[{
              FractionBox["Z", "2"], ",", 
              RowBox[{"Sqrt", "[", "pos", "]"}]}], "}"}], "]"}], ";"}]}], 
         RowBox[{"(*", " ", 
          RowBox[{
           RowBox[{"return", " ", "positive", " ", "by", " ", "default"}], 
           ",", " ", 
           RowBox[{
            RowBox[{"e", ".", "g", ".", " ", "if"}], " ", "symbolic"}]}], " ",
           "*)"}], "\[IndentingNewLine]", "]"}]}]}], "]"}]}], 
    ";"}]}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->CompressedData["
1:eJwdzU8oQwEAx/FnLKWmFW/JSCsHSdPKQRaakmRSW62tbGkZ0hYtrSSyRvLn
YDNtTNmeP82SA0WNRYTZjC0Hof1pKWxNTly93zt8+xy/Au2ITMciCIJPBxM3
lJM6zEpigltGnWzfe08bLH9gXKuwEBHaLlMuHxKzkWSMtuy7NAVFanPGfZSV
RBMORr9wzuahzTiX7DBNtsgo2tVGbj8Uvn0Y4XRQPQVnXJXzsPjFsAJ7w1Uu
yKsmNmD7+9MmDC0c7EH9gMsPpWn2KeSLqXOoPJNF4TGp52zRKlJcEv6SXhHc
bhsTwyvfRSvUl4SlsO6TI4c7rywVVC6bNNDjjvdBSXByCIacuWFoC3yNw5pn
3wRMNDctwrx4txWmCnkOWDQ4ymhcl1PQEn/ZhbX1lgAsYNsZNX8nl7DD3HkN
SUXPHdQ+NoTgj0uVZD5WA+M/+zz26w==
  
  "],ExpressionUUID->"ceaba284-b526-4c63-8f15-867e7811febd"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  StyleBox[
   RowBox[{"(*", " ", 
    RowBox[{
    "the", " ", "thing", " ", "next", " ", "to", " ", "\[Beta]", " ", "could",
      " ", "be", " ", "0"}], " ", "*)"}],
   FontSize->24], "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"Solve", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{
        FractionBox[
         RowBox[{"-", "3"}], "16"], 
        SuperscriptBox["d", "6"]}], "-", 
       RowBox[{
        FractionBox["m", "2"], 
        SuperscriptBox["d", "4"]}], "-", 
       RowBox[{
        FractionBox[
         SuperscriptBox["m", "2"], "2"], 
        SuperscriptBox["d", "2"]}], "-", 
       RowBox[{
        FractionBox["m", "2"], 
        SuperscriptBox["d", "2"]}]}], ")"}], "\[Equal]", "0"}], ",", 
    RowBox[{"{", "m", "}"}]}], "]"}]}]], "Input",
 CellChangeTimes->{{3.718042934246234*^9, 3.7180429492420673`*^9}, {
  3.718043002446074*^9, 3.718043021311852*^9}, {3.718043154923255*^9, 
  3.7180431754585857`*^9}, {3.718044432928734*^9, 3.718044436796671*^9}, {
  3.718049901069045*^9, 3.7180499019597797`*^9}, {3.718055399492765*^9, 
  3.7180554185950003`*^9}},ExpressionUUID->"af532fac-ca3a-4f85-9157-\
39e02ca7b0c2"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"m", "\[Rule]", 
     RowBox[{
      FractionBox["1", "4"], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "2"}], "-", 
        RowBox[{"2", " ", 
         SuperscriptBox["d", "2"]}], "-", 
        RowBox[{
         SqrtBox["2"], " ", 
         SqrtBox[
          RowBox[{"2", "+", 
           RowBox[{"4", " ", 
            SuperscriptBox["d", "2"]}], "-", 
           SuperscriptBox["d", "4"]}]]}]}], ")"}]}]}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"m", "\[Rule]", 
     RowBox[{
      FractionBox["1", "4"], " ", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"-", "2"}], "-", 
        RowBox[{"2", " ", 
         SuperscriptBox["d", "2"]}], "+", 
        RowBox[{
         SqrtBox["2"], " ", 
         SqrtBox[
          RowBox[{"2", "+", 
           RowBox[{"4", " ", 
            SuperscriptBox["d", "2"]}], "-", 
           SuperscriptBox["d", "4"]}]]}]}], ")"}]}]}], "}"}]}], 
  "}"}]], "Output",
 CellChangeTimes->{{3.718042949673862*^9, 3.718043021861177*^9}, {
   3.718043155401176*^9, 3.718043176016892*^9}, 3.718044415950953*^9, {
   3.7180554001050043`*^9, 3.718055419409006*^9}, 3.7181255544758177`*^9, 
   3.7183330519731283`*^9},ExpressionUUID->"3a1448ed-889f-4413-ba21-\
f2fce6a9704b"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Collect", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     FractionBox[
      RowBox[{"-", "3"}], "16"], 
     SuperscriptBox["d", "6"]}], "-", 
    RowBox[{
     FractionBox["m", "2"], 
     SuperscriptBox["d", "4"]}], "-", 
    RowBox[{
     FractionBox[
      SuperscriptBox["m", "2"], "2"], 
     SuperscriptBox["d", "2"]}], "-", 
    RowBox[{
     FractionBox["m", "2"], 
     SuperscriptBox["d", "2"]}]}], ",", "m"}], "]"}]], "Input",
 CellChangeTimes->{{3.718119271606946*^9, 
  3.7181192806298447`*^9}},ExpressionUUID->"c6f04380-ca0c-4562-ae9b-\
9e525e04a81e"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox[
    RowBox[{"3", " ", 
     SuperscriptBox["d", "6"]}], "16"]}], "+", 
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", 
      FractionBox[
       SuperscriptBox["d", "2"], "2"]}], "-", 
     FractionBox[
      SuperscriptBox["d", "4"], "2"]}], ")"}], " ", "m"}], "-", 
  FractionBox[
   RowBox[{
    SuperscriptBox["d", "2"], " ", 
    SuperscriptBox["m", "2"]}], "2"]}]], "Output",
 CellChangeTimes->{{3.718119281293169*^9, 
  3.7181193065746326`*^9}},ExpressionUUID->"b86e7280-362f-4977-b873-\
3197957e078f"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"a", "=", 
   RowBox[{
    RowBox[{"-", 
     SuperscriptBox["d", "2"]}], "/", "2"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"b", "=", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", 
      FractionBox[
       SuperscriptBox["d", "2"], "2"]}], "-", 
     FractionBox[
      SuperscriptBox["d", "4"], "2"]}], ")"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"c", "=", 
   RowBox[{"-", 
    FractionBox[
     RowBox[{"3", " ", 
      SuperscriptBox["d", "6"]}], "16"]}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   SuperscriptBox["b", "2"], "-", 
   RowBox[{"4", "a", " ", "c"}]}], "//", "Factor"}]}], "Input",
 CellChangeTimes->{{3.718119313031396*^9, 3.718119407471064*^9}, {
  3.718120657078639*^9, 
  3.718120659901873*^9}},ExpressionUUID->"b0aa86bf-2819-4f43-806a-\
89b5a4a078ca"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "8"]}], " ", 
  SuperscriptBox["d", "4"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"-", "2"}], "-", 
    RowBox[{"4", " ", 
     SuperscriptBox["d", "2"]}], "+", 
    SuperscriptBox["d", "4"]}], ")"}]}]], "Output",
 CellChangeTimes->{{3.718119347348301*^9, 3.718119369339675*^9}, {
   3.718119399541885*^9, 3.7181194077329817`*^9}, 
   3.718120660267675*^9},ExpressionUUID->"8ed3d144-1d1e-4700-9138-\
586ee657dcc7"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
    "so", " ", "d", " ", "determines", " ", "the", " ", "value", " ", "of", 
     " ", "m"}], ",", " ", 
    RowBox[{"as", " ", "long", " ", "as", " ", 
     SqrtBox["2"], " ", 
     SqrtBox[
      RowBox[{"2", "+", 
       RowBox[{"4", " ", 
        SuperscriptBox["d", "2"]}], "-", 
       SuperscriptBox["d", "4"]}]], " ", "is", " ", 
     RowBox[{"rational", ".", " ", "So"}], " ", "we", " ", "make", " ", "a", 
     " ", "curve"}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   SuperscriptBox["y", "2"], "\[Equal]", 
   RowBox[{
    RowBox[{
     RowBox[{"-", "2"}], 
     SuperscriptBox["x", "4"]}], "+", 
    RowBox[{"8", 
     SuperscriptBox["x", "2"]}], "+", "4"}]}]}]], "Input",
 CellChangeTimes->{{3.718049909692842*^9, 3.7180499710538282`*^9}, {
  3.718050036038364*^9, 3.71805004658112*^9}, {3.718392177040853*^9, 
  3.718392227606292*^9}},ExpressionUUID->"22dc0b2c-c490-4964-88e1-\
6444c79f8df8"],

Cell[BoxData[
 RowBox[{
  SuperscriptBox["y", "2"], "\[Equal]", 
  RowBox[{"4", "+", 
   RowBox[{"8", " ", 
    SuperscriptBox["x", "2"]}], "-", 
   RowBox[{"2", " ", 
    SuperscriptBox["x", "4"]}]}]}]], "Output",
 CellChangeTimes->{
  3.7183922279544363`*^9},ExpressionUUID->"8817d506-ce7c-4339-a258-\
cd8e60413fca"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
   "transform", " ", "it", " ", "into", " ", "an", " ", "elliptic", " ", 
    "curve"}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"x", "=", 
     FractionBox["1", "x1"]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"y", "=", 
     FractionBox["y1", 
      SuperscriptBox["x1", "2"]]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    SuperscriptBox["y", "2"], "\[Equal]", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "2"}], 
      SuperscriptBox["x", "4"]}], "+", 
     RowBox[{"8", 
      SuperscriptBox["x", "2"]}], "+", "4"}]}]}]}]], "Input",
 CellChangeTimes->{{3.718392232291205*^9, 
  3.718392277984806*^9}},ExpressionUUID->"1df6b906-4acb-4b65-859e-\
5b96f82503d8"],

Cell[BoxData[
 RowBox[{
  FractionBox[
   SuperscriptBox["y1", "2"], 
   SuperscriptBox["x1", "4"]], "\[Equal]", 
  RowBox[{"4", "-", 
   FractionBox["2", 
    SuperscriptBox["x1", "4"]], "+", 
   FractionBox["8", 
    SuperscriptBox["x1", "2"]]}]}]], "Output",
 CellChangeTimes->{
  3.7183922785239*^9},ExpressionUUID->"6d4f07e3-4662-4adc-91dd-98906ba2ed40"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{
   RowBox[{
    SuperscriptBox["x1", "4"], 
    RowBox[{"(", 
     RowBox[{
      FractionBox[
       RowBox[{"-", 
        SuperscriptBox["y1", "2"]}], 
       SuperscriptBox["x1", "4"]], "+", "4", "-", 
      FractionBox["2", 
       SuperscriptBox["x1", "4"]], "+", 
      FractionBox["8", 
       SuperscriptBox["x1", "2"]]}], ")"}]}], ",", 
   RowBox[{"x1", "\[NotEqual]", "0"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.71805500480114*^9, 3.718055005975728*^9}, {
  3.718392293751011*^9, 
  3.718392335558241*^9}},ExpressionUUID->"9a887ff8-41a3-4637-94eb-\
e01345ddd5a0"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", "2"}], "+", 
  RowBox[{"8", " ", 
   SuperscriptBox["x1", "2"]}], "+", 
  RowBox[{"4", " ", 
   SuperscriptBox["x1", "4"]}], "-", 
  SuperscriptBox["y1", "2"]}]], "Output",
 CellChangeTimes->{{3.718392306628543*^9, 
  3.718392336060643*^9}},ExpressionUUID->"b4059f44-eb9e-4503-869d-\
8fa60d8ab3b2"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"x1", "=", 
   FractionBox["x2", "2"]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"y1", "=", 
   FractionBox["y2", "2"]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"4", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "2"}], "+", 
     RowBox[{"8", " ", 
      SuperscriptBox["x1", "2"]}], "+", 
     RowBox[{"4", " ", 
      SuperscriptBox["x1", "4"]}], "-", 
     SuperscriptBox["y1", "2"]}], ")"}]}], "//", "Simplify"}]}], "Input",
 CellChangeTimes->{{3.718392353319851*^9, 
  3.7183923770414343`*^9}},ExpressionUUID->"f24aef6d-4f08-4aa9-8f82-\
896689d8f493"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", "8"}], "+", 
  RowBox[{"8", " ", 
   SuperscriptBox["x2", "2"]}], "+", 
  SuperscriptBox["x2", "4"], "-", 
  SuperscriptBox["y2", "2"]}]], "Output",
 CellChangeTimes->{{3.718392368488258*^9, 
  3.718392377583497*^9}},ExpressionUUID->"1dfc32ac-dab6-4e9b-9397-\
cb64b49b53dd"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"y2", "=", 
   RowBox[{"u", "-", 
    RowBox[{"(", 
     RowBox[{
      SuperscriptBox[
       RowBox[{"(", 
        FractionBox["v", "u"], ")"}], "2"], "+", "4"}], ")"}]}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"x2", "=", 
   FractionBox["v", "u"]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"-", "8"}], "+", 
   RowBox[{"8", " ", 
    SuperscriptBox["x2", "2"]}], "+", 
   SuperscriptBox["x2", "4"], "-", 
   SuperscriptBox["y2", "2"]}], "//", "Expand"}]}], "Input",
 CellChangeTimes->{{3.718392414604141*^9, 3.718392466021119*^9}, {
  3.7183926346638937`*^9, 
  3.7183926637765303`*^9}},ExpressionUUID->"5b2cc3e4-26f2-4ba4-b696-\
8574d9fa5d54"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", "24"}], "+", 
  RowBox[{"8", " ", "u"}], "-", 
  SuperscriptBox["u", "2"], "+", 
  FractionBox[
   RowBox[{"2", " ", 
    SuperscriptBox["v", "2"]}], "u"]}]], "Output",
 CellChangeTimes->{
  3.718392466417727*^9, {3.718392657866631*^9, 
   3.718392664046936*^9}},ExpressionUUID->"9ae0d357-4def-49c8-8db6-\
11b0d31c3e44"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"u", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "24"}], "+", 
     RowBox[{"8", " ", "u"}], "-", 
     SuperscriptBox["u", "2"], "+", 
     FractionBox[
      RowBox[{"2", " ", 
       SuperscriptBox["v", "2"]}], "u"]}], ")"}]}], "//", "Expand"}]], "Input",\

 CellChangeTimes->{{3.718392696853758*^9, 
  3.718392702662286*^9}},ExpressionUUID->"b3449882-1296-4f19-a9a0-\
2c5f235665f5"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", "24"}], " ", "u"}], "+", 
  RowBox[{"8", " ", 
   SuperscriptBox["u", "2"]}], "-", 
  SuperscriptBox["u", "3"], "+", 
  RowBox[{"2", " ", 
   SuperscriptBox["v", "2"]}]}]], "Output",
 CellChangeTimes->{
  3.718392703064108*^9},ExpressionUUID->"21dcef20-41b5-415e-86fa-\
e43aea8beca2"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"u", "=", 
   FractionBox["u1", "2"]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"v", "=", 
   FractionBox["v1", "4"]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"8", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "24"}], " ", "u"}], "+", 
     RowBox[{"8", " ", 
      SuperscriptBox["u", "2"]}], "-", 
     SuperscriptBox["u", "3"], "+", 
     RowBox[{"2", " ", 
      SuperscriptBox["v", "2"]}]}], ")"}]}], "//", "Expand"}]}], "Input",
 CellChangeTimes->{{3.7183927233713837`*^9, 
  3.718392755321056*^9}},ExpressionUUID->"188f2241-6bb5-4af5-9ce1-\
272b4c4593e9"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", "96"}], " ", "u1"}], "+", 
  RowBox[{"16", " ", 
   SuperscriptBox["u1", "2"]}], "-", 
  SuperscriptBox["u1", "3"], "+", 
  SuperscriptBox["v1", "2"]}]], "Output",
 CellChangeTimes->{
  3.718392755706944*^9},ExpressionUUID->"849578c1-3ecd-4606-aa1e-\
306974ebae4c"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{"So", " ", 
     SuperscriptBox["v1", "2"]}], " ", "\[Equal]", " ", 
    RowBox[{
     SuperscriptBox["u1", "3"], " ", "-", " ", 
     RowBox[{"16", " ", 
      SuperscriptBox["u1", "2"]}], " ", "+", " ", 
     RowBox[{"96", " ", "u1"}]}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"Here", " ", "is", " ", "the", " ", "transformation"}], " ", 
   "*)"}], "\[IndentingNewLine]", 
  RowBox[{"x", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"y", "//", "Expand"}], "//", "Simplify"}]}]}]], "Input",
 CellChangeTimes->{{3.718392764975397*^9, 3.718392800974659*^9}, {
  3.718393181976816*^9, 3.7183932030510883`*^9}, {3.718393257918954*^9, 
  3.7183932645265083`*^9}, {3.7183934615432253`*^9, 3.718393466887187*^9}, {
  3.718394491087853*^9, 
  3.7183944996948547`*^9}},ExpressionUUID->"ebab2005-09db-463e-9fec-\
be80528d3eee"],

Cell[BoxData[
 FractionBox[
  RowBox[{"4", " ", "u1"}], "v1"]], "Output",
 CellChangeTimes->{{3.718393196377329*^9, 3.718393203648843*^9}, {
  3.718393259436778*^9, 
  3.71839326507281*^9}},ExpressionUUID->"d63b0969-e912-4fe2-8aae-\
fc459432fe72"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", "2"}], "-", 
  FractionBox[
   RowBox[{"32", " ", 
    SuperscriptBox["u1", "2"]}], 
   SuperscriptBox["v1", "2"]], "+", 
  FractionBox[
   RowBox[{"4", " ", 
    SuperscriptBox["u1", "3"]}], 
   SuperscriptBox["v1", "2"]]}]], "Output",
 CellChangeTimes->{{3.718393196377329*^9, 3.718393203648843*^9}, {
  3.718393259436778*^9, 
  3.7183932650794077`*^9}},ExpressionUUID->"5b360b15-e71d-4c9f-b852-\
5efe39a3da14"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"With", " ", "inverse"}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{"Solve", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{
      RowBox[{"x", "\[Equal]", 
       FractionBox[
        RowBox[{"4", "u"}], "v"]}], ",", 
      RowBox[{"y", "==", 
       RowBox[{
        FractionBox[
         RowBox[{"4", 
          SuperscriptBox["u", "3"]}], 
         SuperscriptBox["v", "2"]], "-", 
        FractionBox[
         RowBox[{"32", 
          SuperscriptBox["u", "2"]}], 
         SuperscriptBox["v", "2"]], "-", "2"}]}]}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"u", ",", "v"}], "}"}]}], "]"}]}]], "Input",
 CellChangeTimes->{{3.71839347030014*^9, 
  3.718393523430242*^9}},ExpressionUUID->"cccfee2c-430b-4174-9fcb-\
0813b9d30a12"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"u", "\[Rule]", 
     FractionBox[
      RowBox[{"4", " ", 
       RowBox[{"(", 
        RowBox[{"2", "+", 
         RowBox[{"2", " ", 
          SuperscriptBox["x", "2"]}], "+", "y"}], ")"}]}], 
      SuperscriptBox["x", "2"]]}], ",", 
    RowBox[{"v", "\[Rule]", 
     FractionBox[
      RowBox[{"16", " ", 
       RowBox[{"(", 
        RowBox[{"2", "+", 
         RowBox[{"2", " ", 
          SuperscriptBox["x", "2"]}], "+", "y"}], ")"}]}], 
      SuperscriptBox["x", "3"]]}]}], "}"}], "}"}]], "Output",
 CellChangeTimes->{
  3.718393525024238*^9},ExpressionUUID->"95bb0f70-5464-433a-bd6a-\
473bf02f9c3e"]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{"these", " ", "are", " ", "the", " ", "transformations"}], ",", 
    " ", 
    RowBox[{
    "where", " ", "A", " ", "is", " ", "the", " ", "original", " ", "curve", 
     " ", "and", " ", "E", " ", "is", " ", "the", " ", "elliptic", " ", 
     "curve"}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"EtoA", "[", 
      RowBox[{"{", 
       RowBox[{"u_", ",", "v_"}], "}"}], "]"}], ":=", 
     RowBox[{"{", 
      RowBox[{
       FractionBox[
        RowBox[{"4", "u"}], "v"], ",", 
       RowBox[{
        FractionBox[
         RowBox[{"4", 
          SuperscriptBox["u", "3"]}], 
         SuperscriptBox["v", "2"]], "-", 
        FractionBox[
         RowBox[{"32", 
          SuperscriptBox["u", "2"]}], 
         SuperscriptBox["v", "2"]], "-", "2"}]}], "}"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"AtoE", "[", 
      RowBox[{"{", 
       RowBox[{"x_", ",", "y_"}], "}"}], "]"}], ":=", 
     RowBox[{"{", 
      RowBox[{
       FractionBox[
        RowBox[{"4", " ", 
         RowBox[{"(", 
          RowBox[{"2", "+", 
           RowBox[{"2", " ", 
            SuperscriptBox["x", "2"]}], "+", "y"}], ")"}]}], 
        SuperscriptBox["x", "2"]], ",", 
       FractionBox[
        RowBox[{"16", " ", 
         RowBox[{"(", 
          RowBox[{"2", "+", 
           RowBox[{"2", " ", 
            SuperscriptBox["x", "2"]}], "+", "y"}], ")"}]}], 
        SuperscriptBox["x", "3"]]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"(*", " ", 
    RowBox[{
     RowBox[{
     "what", " ", "r", " ", "and", " ", "s", " ", "values", " ", "give", " ", 
      "m", " ", "and", " ", "gamma", " ", "such", " ", "that", " ", "m"}], 
     "="}], " ", "*)"}]}]}]], "Input",
 InitializationCell->True,
 CellChangeTimes->{{3.718393305125506*^9, 3.718393428156539*^9}, {
  3.718393529358675*^9, 3.7183935579847507`*^9}, {3.718396459632181*^9, 
  3.718396479446612*^9}, {3.718725161287281*^9, 
  3.718725181645586*^9}},ExpressionUUID->"12bfe965-b025-4d07-b71c-\
1bbc32e74724"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"EtoA", "[", 
  RowBox[{"AtoE", "[", 
   RowBox[{"{", 
    RowBox[{"2", ",", "2"}], "}"}], "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.718393571988801*^9, 3.7183935762330313`*^9}, {
  3.718393610990767*^9, 3.718393618039956*^9}, {3.7183944125204477`*^9, 
  3.718394414006805*^9}, {3.718396447344849*^9, 
  3.7183964512392893`*^9}},ExpressionUUID->"251a3aa0-248e-4f86-b12b-\
bc2f10b8c113"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"2", ",", "2"}], "}"}]], "Output",
 CellChangeTimes->{{3.718393612106861*^9, 3.718393618588155*^9}, 
   3.718394414456544*^9, 
   3.718396451639533*^9},ExpressionUUID->"84104bc7-814f-483b-a6bc-\
ab00a4268075"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"AtoE", "[", 
  RowBox[{"EtoA", "[", 
   RowBox[{"{", 
    RowBox[{"8", ",", "16"}], "}"}], "]"}], "]"}]], "Input",
 CellChangeTimes->{{3.7183944016034822`*^9, 3.7183944086067047`*^9}, {
  3.718396453271781*^9, 
  3.718396456183392*^9}},ExpressionUUID->"6b49fdcf-06ba-4c28-820b-\
d1cc719e5f00"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"8", ",", "16"}], "}"}]], "Output",
 CellChangeTimes->{3.718394409504485*^9, 
  3.7183964566436663`*^9},ExpressionUUID->"af19526c-26ff-4c96-b28f-\
5e09d1c801bf"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
     RowBox[{
     "Magma", " ", "says", " ", "that", " ", "the", " ", "generator", " ", 
      "of", " ", "the", " ", "Z", " ", "part", " ", "is", " ", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"8", ",", "16"}], ")"}], ".", "\[IndentingNewLine]", 
       "Multiples"}], " ", "of", " ", "this", " ", "are", " ", "actually", 
      " ", "all", " ", "we", " ", "need", " ", "to", " ", "check"}], ";", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"since", " ", "the", " ", "line", " ", "between", " ", 
       RowBox[{"(", 
        RowBox[{"0", ",", "0"}], ")"}], " ", "and", " ", 
       RowBox[{"(", 
        RowBox[{"u", ",", "v"}], ")"}], " ", "is", " ", "y"}], "=", "mx"}]}], 
    ",", " ", 
    RowBox[{
     RowBox[{
      RowBox[{"so", "\[IndentingNewLine]", 
       RowBox[{"(", 
        RowBox[{"0", ",", "0"}], ")"}]}], "+", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"u", ",", "v"}], ")"}], " ", "will", " ", "have", " ", "the", 
       " ", "same", " ", "value", " ", "of", " ", "4", 
       FractionBox["u", "v"]}]}], " ", "=", " ", "d"}], ",", " ", 
    RowBox[{"up", " ", "to", " ", "a", " ", 
     RowBox[{"plus", "/", "minus"}]}]}], " ", "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"P0", "=", 
     RowBox[{"{", 
      RowBox[{"8", ",", "16"}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"P", "=", "P0"}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"Do", "[", "\[IndentingNewLine]", 
    RowBox[{
     RowBox[{
      RowBox[{
       RowBox[{"{", 
        RowBox[{"d", ",", "y"}], "}"}], "=", 
       RowBox[{"EtoA", "[", "P", "]"}]}], ";", "\[IndentingNewLine]", 
      RowBox[{"m", "=", 
       RowBox[{
        FractionBox["1", "4"], " ", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"-", "2"}], "-", 
          RowBox[{"2", " ", 
           SuperscriptBox["d", "2"]}], "-", 
          RowBox[{
           SqrtBox["2"], " ", 
           SqrtBox[
            RowBox[{"2", "+", 
             RowBox[{"4", " ", 
              SuperscriptBox["d", "2"]}], "-", 
             SuperscriptBox["d", "4"]}]]}]}], ")"}]}]}], ";", 
      "\[IndentingNewLine]", 
      RowBox[{"\[Gamma]", "=", 
       RowBox[{
        RowBox[{
         FractionBox["17", "64"], 
         SuperscriptBox["d", "8"]}], "+", 
        RowBox[{
         FractionBox[
          RowBox[{"5", "m"}], "4"], 
         SuperscriptBox["d", "6"]}], "+", 
        RowBox[{
         FractionBox[
          RowBox[{"11", 
           SuperscriptBox["m", "2"]}], "4"], 
         SuperscriptBox["d", "4"]}], "+", 
        RowBox[{
         FractionBox[
          RowBox[{"7", "m"}], "4"], 
         SuperscriptBox["d", "4"]}], "+", 
        RowBox[{"2", 
         SuperscriptBox["m", "3"], 
         SuperscriptBox["d", "2"]}], "+", 
        RowBox[{"2", 
         SuperscriptBox["m", "2"], 
         SuperscriptBox["d", "2"]}], "-", "m"}]}], ";", "\[IndentingNewLine]", 
      RowBox[{
       RowBox[{"f", "[", "x_", "]"}], ":=", 
       RowBox[{
        SuperscriptBox[
         RowBox[{"(", 
          RowBox[{"x", "-", "\[Gamma]"}], ")"}], "2"], "+", "\[Gamma]", "+", 
        "m"}]}], ";", "\[IndentingNewLine]", 
      RowBox[{"Print", "[", 
       RowBox[{"i", ",", "\"\<P\>\""}], "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"Print", "[", 
       RowBox[{"N", "[", "d", "]"}], "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"Print", "[", 
       RowBox[{
        RowBox[{"Abs", "[", "d", "]"}], "<", 
        SqrtBox[
         RowBox[{"2", "+", 
          SqrtBox["6"]}]]}], "]"}], ";", "\[IndentingNewLine]", 
      RowBox[{"(*", 
       RowBox[{
        RowBox[{"Print", "[", 
         RowBox[{"\"\<d = \>\"", ",", "d"}], "]"}], ";"}], "*)"}], 
      "\[IndentingNewLine]", 
      RowBox[{"Print", "[", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"IrreduciblePolynomialQ", "[", 
          RowBox[{"f", "[", "x", "]"}], "]"}], ",", 
         RowBox[{"IrreduciblePolynomialQ", "[", 
          RowBox[{"f", "[", 
           RowBox[{"f", "[", "x", "]"}], "]"}], "]"}], ",", 
         RowBox[{"IrreduciblePolynomialQ", "[", 
          RowBox[{"f", "[", 
           RowBox[{"f", "[", 
            RowBox[{"f", "[", "x", "]"}], "]"}], "]"}], "]"}]}], "}"}], "]"}],
       ";", "\[IndentingNewLine]", 
      RowBox[{"(*", 
       RowBox[{
        RowBox[{"Print", "[", 
         RowBox[{"Factor", "[", 
          RowBox[{"f", "[", "x", "]"}], "]"}], "]"}], ";"}], "*)"}], 
      "\[IndentingNewLine]", 
      RowBox[{"P", "=", 
       RowBox[{"addEC", "[", 
        RowBox[{"P", ",", "P0", ",", 
         RowBox[{"-", "16"}], ",", "96", ",", "0"}], "]"}]}], ";"}], 
     RowBox[{"(*", " ", 
      RowBox[{"add", " ", "Z", " ", "generator"}], " ", "*)"}], 
     "\[IndentingNewLine]", ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "1", ",", "100"}], "}"}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{{3.7183945032298613`*^9, 3.718394672793825*^9}, {
   3.718394726249844*^9, 3.718394904748752*^9}, {3.718395012148054*^9, 
   3.718395094641808*^9}, {3.718395199312213*^9, 3.718395245858362*^9}, {
   3.7183952789421463`*^9, 3.7183952966459227`*^9}, {3.7183960055835533`*^9, 
   3.718396073008011*^9}, {3.718396126372188*^9, 3.718396184418692*^9}, {
   3.7183963985559072`*^9, 3.718396439770585*^9}, 3.718396501386677*^9, {
   3.718494704193618*^9, 3.7184947105966263`*^9}, {3.718495160054036*^9, 
   3.718495273138122*^9}, {3.718495307215118*^9, 3.718495333620936*^9}, {
   3.7184953949499817`*^9, 3.7184954314305468`*^9}, 3.7184955437868433`*^9, {
   3.718495780458282*^9, 3.7184957993482018`*^9}, {3.7184959211168547`*^9, 
   3.718495939914566*^9}, {3.7185005840112886`*^9, 3.718500588169675*^9}, {
   3.718500626629105*^9, 3.718500646779818*^9}, {3.718500832440387*^9, 
   3.718500833668498*^9}},ExpressionUUID->"5a4ceba4-1544-4d83-9cb5-\
3445da5f6dab"],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[
  RowBox[{"1", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[1, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836711101*^9},ExpressionUUID->"9e3f502a-a76c-4590-9c75-\
3a2b10397862"],

Cell[BoxData["2.`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836720517*^9},ExpressionUUID->"5c1d0b0d-fd87-4d02-af39-\
c61e000c9225"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836733082*^9},ExpressionUUID->"a760fcb2-8ace-426c-9e69-\
1c812a451ecd"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836742359*^9},ExpressionUUID->"0779bc25-ab4e-49ae-8dbb-\
bfad1e32ccd4"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"2", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[2, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008367532187`*^9},ExpressionUUID->"24bb902d-28b9-4865-8a84-\
035c145e9dcc"],

Cell[BoxData[
 RowBox[{"-", "0.4444444444444444`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008367632113`*^9},ExpressionUUID->"9c14e629-da3f-4275-a73a-\
c442f4e94b32"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008367721043`*^9},ExpressionUUID->"9190b677-7d5e-477d-82a9-\
53c58e3716f2"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836782319*^9},ExpressionUUID->"3f369450-33e9-4d87-9b32-\
8d4cc8b2554b"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"3", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[3, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008367920437`*^9},ExpressionUUID->"ff4496f4-2fd4-47ce-8ab5-\
f3d2d4421ff0"],

Cell[BoxData[
 RowBox[{"-", "1.3628318584070795`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008368074827`*^9},ExpressionUUID->"597347ee-4d1c-46f8-9993-\
d706b5de6bd4"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008368180313`*^9},ExpressionUUID->"01945ab8-6e3e-4515-9907-\
b6bad8fdae70"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836830761*^9},ExpressionUUID->"470948f7-af7f-41e3-b7a9-\
96527bfcfb40"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"4", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[4, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836846343*^9},ExpressionUUID->"1e5e947e-5aca-4098-bbd2-\
eb9cefb43184"],

Cell[BoxData["1.022574375840933`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008368577747`*^9},ExpressionUUID->"0ae3d882-1fce-4d79-b152-\
c21fd07d2d52"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836868808*^9},ExpressionUUID->"468a7920-cbd3-4e7d-b20b-\
910d5e7f09be"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836881188*^9},ExpressionUUID->"355792fe-6819-4ae1-9e9c-\
2d5eb787aa9b"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"5", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[5, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836893107*^9},ExpressionUUID->"18d7d831-1988-4159-b76c-\
e923f5710ab6"],

Cell[BoxData["0.70125333226581`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836905671*^9},ExpressionUUID->"e514e42b-ee6c-4160-be42-\
c3612b781764"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.71850083691646*^9},ExpressionUUID->"c0a24b6c-a901-4546-9b6d-\
b3b71f5825e4"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836925604*^9},ExpressionUUID->"a95d29c3-90f3-4a73-8ae4-\
c0de4b67ca98"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"6", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[6, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836936984*^9},ExpressionUUID->"65bd1d8d-d4e5-42a2-b04d-\
18bf2ad2a867"],

Cell[BoxData[
 RowBox[{"-", "1.729656728137813`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008369467897`*^9},ExpressionUUID->"4420a73b-c6d3-4793-88c1-\
173374cb57ed"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836956365*^9},ExpressionUUID->"25e6c164-829d-40e4-b926-\
07913e89e7e6"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836965493*^9},ExpressionUUID->"7e5b6a66-c051-44d5-ad29-\
a2f5be9d5c83"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"7", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[7, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008369747353`*^9},ExpressionUUID->"8981c702-4ceb-4e70-979b-\
30c7609057cb"],

Cell[BoxData[
 RowBox[{"-", "0.20589273798302052`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836984044*^9},ExpressionUUID->"a0376fb7-985d-4550-9420-\
e249632eee1f"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500836994678*^9},ExpressionUUID->"1dd0c3f2-fc42-46f2-a144-\
a0c098f4232a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.71850083700697*^9},ExpressionUUID->"f2c8c8fa-4f58-43f3-b2a3-\
407dfa346195"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"8", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[8, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008370171423`*^9},ExpressionUUID->"039b245b-ff3f-4136-998e-\
af3a5a4ab0d5"],

Cell[BoxData["2.1092582091340932`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837030581*^9},ExpressionUUID->"11b551c0-b8a7-4359-a4ca-\
d3c650ee3e92"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008370395203`*^9},ExpressionUUID->"807c520e-c32c-4222-af2b-\
bad28e7e7f01"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837049466*^9},ExpressionUUID->"b0340516-ef6d-4e1a-a60e-\
2a6971aa1a65"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"9", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[9, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837059513*^9},ExpressionUUID->"1c721bd5-4a22-4e66-be44-\
19fe85494f46"],

Cell[BoxData[
 RowBox[{"-", "0.22030869927819602`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837068493*^9},ExpressionUUID->"c5f87bf1-ee09-44ca-8838-\
8ea2dbd70c45"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008371223783`*^9},ExpressionUUID->"b07d1ec9-5c78-42c7-a58d-\
b1c99c3d45dc"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008371308193`*^9},ExpressionUUID->"3a92c198-2265-48d4-9038-\
09be1ddd735a"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"10", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[10, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837138624*^9},ExpressionUUID->"e56cca1d-1667-4cae-bf3e-\
e64816de6cb0"],

Cell[BoxData[
 RowBox[{"-", "1.7076278143875085`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837148703*^9},ExpressionUUID->"a75629ee-4b2e-476b-b221-\
3bfed2bc14c6"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008371567373`*^9},ExpressionUUID->"40f4fcde-8006-4817-bbc9-\
7b226a7c71e0"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008372941227`*^9},ExpressionUUID->"e91d7d69-daf7-4f7b-abc0-\
ca627eb81a72"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"11", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[11, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837304536*^9},ExpressionUUID->"9fc0615a-7c78-4fd5-94ae-\
1bdd521421cc"],

Cell[BoxData["0.7202008062368086`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837314643*^9},ExpressionUUID->"6a2807d2-a862-4a8e-a890-\
6477f933b594"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837323656*^9},ExpressionUUID->"4ea14e4e-81db-45bb-b85f-\
a1d5610e4658"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837649376*^9},ExpressionUUID->"724435de-7f70-42c7-bd3a-\
50d0b511d6ae"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"12", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[12, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500837663927*^9},ExpressionUUID->"31487b8d-b780-4104-a663-\
44290aa21369"],

Cell[BoxData["1.0006400448943293`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.71850083767789*^9},ExpressionUUID->"2a81b0ab-bf8f-4d85-a52b-\
76b8a6573513"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008376864023`*^9},ExpressionUUID->"025e4d6f-b7e2-4196-ab5a-\
0eeca75ff99f"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500838124773*^9},ExpressionUUID->"811ff680-42fc-4c79-beca-\
df3a9db388d8"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"13", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[13, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.71850083813444*^9},ExpressionUUID->"84796b65-d654-49c5-9e23-\
3aaa0e0bd0ef"],

Cell[BoxData[
 RowBox[{"-", "1.3867251801053164`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500838142824*^9},ExpressionUUID->"ef77f297-3190-4b28-89f8-\
b415a041514c"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.71850083815244*^9},ExpressionUUID->"85820d0f-933c-4772-8e66-\
6fdedc6017f0"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500838787218*^9},ExpressionUUID->"71c00c90-3d7a-4264-861f-\
d94090508996"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"14", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[14, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500838802637*^9},ExpressionUUID->"5c99227f-baa2-45ae-9cd8-\
783b9c48f0cc"],

Cell[BoxData[
 RowBox[{"-", "0.4283241838947`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500838818022*^9},ExpressionUUID->"1b078a73-0efa-4bc7-9042-\
84a4f5b5cf6d"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500838832136*^9},ExpressionUUID->"943a02f7-f2e4-484e-b2dc-\
363de4ebcc88"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500839548347*^9},ExpressionUUID->"f7a2510e-b2e2-4e7e-8f1d-\
5af82efdf471"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"15", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[15, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008395667973`*^9},ExpressionUUID->"ea2e6656-6c70-4af6-8d6d-\
4e947433777c"],

Cell[BoxData["2.013423417161331`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500839580275*^9},ExpressionUUID->"6668898a-4b39-45b8-bcc1-\
6fbb53932870"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500839593349*^9},ExpressionUUID->"336d6169-1722-4246-b2c9-\
116c4cec61bd"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008407443943`*^9},ExpressionUUID->"b138bb61-095e-44f1-8339-\
681d654dae75"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"16", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[16, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500840761249*^9},ExpressionUUID->"4eeef88e-4bb1-4ced-8c48-\
c4016926b4d3"],

Cell[BoxData[
 RowBox[{"-", "0.013810025459053956`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500840774304*^9},ExpressionUUID->"9a4ef5b8-fa04-4576-800c-\
12d5e821e19a"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.71850084078835*^9},ExpressionUUID->"87512993-896b-487d-9695-\
0e9552c6499b"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500842219681*^9},ExpressionUUID->"0e226d2c-935d-4af7-9366-\
a934131adf10"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"17", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[17, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500842232916*^9},ExpressionUUID->"1f96eb7c-ceba-4d62-83f1-\
7227f04c21e9"],

Cell[BoxData[
 RowBox[{"-", "1.9858138974418995`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500842246118*^9},ExpressionUUID->"377ae358-1f3d-4e4a-a026-\
c5bd0432742c"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500842260417*^9},ExpressionUUID->"4139fd8f-207b-46f8-889a-\
0e69c5ba225d"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500844170981*^9},ExpressionUUID->"e8651e62-81a7-4766-aaa4-\
ed4e7a0be133"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"18", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[18, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500844183921*^9},ExpressionUUID->"8ba9fed0-16b5-4906-88ae-\
40b1b81939ff"],

Cell[BoxData["0.4607174606068336`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500844196603*^9},ExpressionUUID->"95594bdd-ff07-4a43-8c73-\
c112cecbdb28"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500844209104*^9},ExpressionUUID->"d010053e-42a4-410c-99c4-\
53c9dc2d4b3c"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500846557061*^9},ExpressionUUID->"ec05d0ba-ddba-4c1d-9d79-\
042fdb03d684"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"19", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[19, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008465706663`*^9},ExpressionUUID->"00789a90-3bc2-416e-a0ab-\
420ac1450ac5"],

Cell[BoxData["1.3389755429004897`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500846584824*^9},ExpressionUUID->"a86b5470-ecf8-4288-bf2f-\
b0d7ad310950"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008465963907`*^9},ExpressionUUID->"37db841c-3653-45e3-951d-\
6866583fc14a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008499905977`*^9},ExpressionUUID->"f18fd91e-eb99-4ef8-8442-\
7b8982f8c042"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"20", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[20, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500850011221*^9},ExpressionUUID->"dc672813-433f-4c32-a384-\
8e40bdeac310"],

Cell[BoxData[
 RowBox[{"-", "1.0446947501835058`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008500314703`*^9},ExpressionUUID->"9fcfdf03-ff3b-4967-8897-\
e602f7c2db51"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500850051589*^9},ExpressionUUID->"7f2109f2-bd07-411d-8d81-\
6f5e423e60e8"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008543137093`*^9},ExpressionUUID->"f863fcc6-48af-4211-a5f8-\
9a3d9f6ca692"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"21", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[21, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500854328148*^9},ExpressionUUID->"debb0d26-5c48-4667-85b4-\
d7a4d5ecc9a0"],

Cell[BoxData[
 RowBox[{"-", "0.6825075243036016`"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500854341448*^9},ExpressionUUID->"a7cc5c9d-9847-4aa7-99fb-\
3b9a8330d66b"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008543541317`*^9},ExpressionUUID->"4886b033-7447-4188-8857-\
f0c7f7daf08a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "False", ",", "False"}], "}"}]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.7185008593675528`*^9},ExpressionUUID->"e8071481-bd0e-4388-b50a-\
85191ecd17e0"],

Cell[BoxData[
 InterpretationBox[
  RowBox[{"22", "\[InvisibleSpace]", "\<\"P\"\>"}],
  SequenceForm[22, "P"],
  Editable->False]], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500859384131*^9},ExpressionUUID->"463dd34f-3575-4f22-8f4a-\
eaf3f7f30f2a"],

Cell[BoxData["1.7513585001336602`"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500859396564*^9},ExpressionUUID->"6ba8a610-4f62-48ff-b079-\
f575ad7df322"],

Cell[BoxData["True"], "Print",
 CellChangeTimes->{
  3.718394840418312*^9, {3.718394880394032*^9, 3.7183949054241133`*^9}, 
   3.718395099130383*^9, 3.718395249056458*^9, {3.718395280242106*^9, 
   3.718395297595763*^9}, 3.718396038037264*^9, 3.71839607388163*^9, 
   3.718396145884782*^9, 3.718396186709772*^9, 3.718396410148512*^9, {
   3.718396488370658*^9, 3.7183965047874203`*^9}, 3.718399121101759*^9, 
   3.7184748599943*^9, 3.7184947134947023`*^9, {3.718495318061987*^9, 
   3.718495336383307*^9}, 3.718495433640044*^9, 3.718495545901102*^9, 
   3.7184958027041607`*^9, 3.718495953490356*^9, 3.7185005887044067`*^9, 
   3.718500647838724*^9, 
   3.718500859410706*^9},ExpressionUUID->"6825d3d0-6bd4-4242-9e68-\
616472934958"]
}, Open  ]],

Cell[BoxData["$Aborted"], "Output",
 CellChangeTimes->{3.7183965568596087`*^9, 3.7183998181248817`*^9, 
  3.718475420535927*^9, 3.7184947194838457`*^9, 3.718495320036319*^9, 
  3.718495358774433*^9, 3.7184954576249332`*^9, 3.718495772315999*^9, 
  3.718495809623603*^9, 3.71849595508106*^9, 3.71850059256432*^9, 
  3.718500711935121*^9, 
  3.718500859859746*^9},ExpressionUUID->"8e37704c-c150-45ec-b2d9-\
481a58bd1d62"]
}, Open  ]],

Cell[BoxData["\[IndentingNewLine]"], "Input",
 CellChangeTimes->{
  3.718394908011355*^9},ExpressionUUID->"de35c695-c90a-4d4a-a6df-\
df507787c40a"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"Clear", "[", 
   RowBox[{"d", ",", "r"}], "]"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"m", "=", 
   RowBox[{
    FractionBox["1", "4"], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "2"}], "-", 
      RowBox[{"2", " ", 
       SuperscriptBox["d", "2"]}], "-", 
      RowBox[{
       SqrtBox["2"], " ", 
       SqrtBox[
        RowBox[{"2", "+", 
         RowBox[{"4", " ", 
          SuperscriptBox["d", "2"]}], "-", 
         SuperscriptBox["d", "4"]}]]}]}], ")"}]}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"\[Gamma]", "=", 
   RowBox[{
    RowBox[{
     FractionBox["17", "64"], 
     SuperscriptBox["d", "8"]}], "+", 
    RowBox[{
     FractionBox[
      RowBox[{"5", "m"}], "4"], 
     SuperscriptBox["d", "6"]}], "+", 
    RowBox[{
     FractionBox[
      RowBox[{"11", 
       SuperscriptBox["m", "2"]}], "4"], 
     SuperscriptBox["d", "4"]}], "+", 
    RowBox[{
     FractionBox[
      RowBox[{"7", "m"}], "4"], 
     SuperscriptBox["d", "4"]}], "+", 
    RowBox[{"2", 
     SuperscriptBox["m", "3"], 
     SuperscriptBox["d", "2"]}], "+", 
    RowBox[{"2", 
     SuperscriptBox["m", "2"], 
     SuperscriptBox["d", "2"]}], "-", "m"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"-", "m"}], "-", "\[Gamma]"}], "//", "Simplify"}]}], "Input",
 CellChangeTimes->{{3.71839552374993*^9, 3.718395556612636*^9}, {
  3.718395780844091*^9, 
  3.718395780922715*^9}},ExpressionUUID->"418cf04e-b516-4c8e-a83a-\
732fab5cbdf4"],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "64"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{
     RowBox[{"-", "7"}], " ", 
     SuperscriptBox["d", "8"]}], "-", 
    RowBox[{"4", " ", 
     SuperscriptBox["d", "6"], " ", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"-", "6"}], "+", 
       SqrtBox[
        RowBox[{"4", "+", 
         RowBox[{"8", " ", 
          SuperscriptBox["d", "2"]}], "-", 
         RowBox[{"2", " ", 
          SuperscriptBox["d", "4"]}]}]]}], ")"}]}], "+", 
    RowBox[{"16", " ", 
     SuperscriptBox["d", "4"], " ", 
     RowBox[{"(", 
      RowBox[{"2", "+", 
       SqrtBox[
        RowBox[{"4", "+", 
         RowBox[{"8", " ", 
          SuperscriptBox["d", "2"]}], "-", 
         RowBox[{"2", " ", 
          SuperscriptBox["d", "4"]}]}]]}], ")"}]}]}], ")"}]}]], "Output",
 CellChangeTimes->{3.718395557409264*^9, 3.7183957813850803`*^9, 
  3.71841858674476*^9, 
  3.718496213880025*^9},ExpressionUUID->"04bc2751-179c-4df0-a69a-\
3955ccd8d7f9"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Collect", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{"-", "7"}], 
     SuperscriptBox["d", "4"]}], "+", 
    RowBox[{"24", 
     SuperscriptBox["d", "2"]}], "-", 
    RowBox[{"4", "r", " ", 
     SuperscriptBox["d", "2"]}], "+", "32", "+", 
    RowBox[{"16", "r"}]}], ",", "d"}], "]"}]], "Input",
 CellChangeTimes->{{3.7183957775628653`*^9, 3.718395906535808*^9}, {
  3.718496388594805*^9, 
  3.718496411023204*^9}},ExpressionUUID->"d533427c-ad87-4d7b-837c-\
14f894111ff8"],

Cell[BoxData[
 RowBox[{"32", "-", 
  RowBox[{"7", " ", 
   SuperscriptBox["d", "4"]}], "+", 
  RowBox[{
   SuperscriptBox["d", "2"], " ", 
   RowBox[{"(", 
    RowBox[{"24", "-", 
     RowBox[{"4", " ", "r"}]}], ")"}]}], "+", 
  RowBox[{"16", " ", "r"}]}]], "Output",
 CellChangeTimes->{{3.7183958107708406`*^9, 3.7183959070111*^9}, {
  3.7184963910983763`*^9, 
  3.7184964112281637`*^9}},ExpressionUUID->"a498c354-4628-4741-8736-\
1a49e5baf5d5"]
}, Open  ]],

Cell[BoxData[""], "Input",
 CellChangeTimes->{{3.718496642192803*^9, 
  3.7184967103758497`*^9}},ExpressionUUID->"883e8202-d8e9-45af-b8bf-\
66a5884820d7"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{
    RowBox[{
     RowBox[{
     "this", " ", "is", " ", "actually", " ", "plus", " ", "oR", " ", "minus",
       " ", "on", " ", "the", " ", "left"}], ";", " ", 
     RowBox[{
      RowBox[{"to", " ", "say", " ", "that", " ", 
       RowBox[{"it", "'"}], "s", " ", "plus", " ", "we", " ", "need", " ", 
       "abs", 
       RowBox[{"(", "d", ")"}]}], " ", "<", " ", 
      RowBox[{
       SqrtBox[
        RowBox[{"2", "+", 
         SqrtBox["6"]}]], ".", " ", "luckily"}]}]}], ",", " ", 
    RowBox[{"this", " ", "is", " ", 
     RowBox[{"true", "."}]}]}], " ", "*)"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"Expand", "[", 
   RowBox[{
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"16", "-", 
        RowBox[{"4", 
         SuperscriptBox["d", "2"]}]}], ")"}], "2"], 
     RowBox[{"(", 
      RowBox[{"4", "+", 
       RowBox[{"8", " ", 
        SuperscriptBox["d", "2"]}], "-", 
       RowBox[{"2", " ", 
        SuperscriptBox["d", "4"]}]}], ")"}]}], "-", 
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{
       SuperscriptBox["q", "2"], "+", 
       RowBox[{"7", 
        SuperscriptBox["d", "4"]}], "-", 
       RowBox[{"24", 
        SuperscriptBox["d", "2"]}], "-", "32"}], ")"}], "2"]}], 
   "]"}]}]], "Input",
 CellChangeTimes->{{3.718497777875016*^9, 3.7184980492198477`*^9}, {
   3.718498152397958*^9, 3.718498189577614*^9}, {3.7184982467886677`*^9, 
   3.7184982557448893`*^9}, {3.718498499992032*^9, 3.71849850217346*^9}, {
   3.7184986325874147`*^9, 3.718498633067378*^9}, {3.718500720670334*^9, 
   3.71850074024362*^9}, {3.718500818378598*^9, 3.7185008192108517`*^9}, 
   3.718547041504999*^9, {3.718547071797114*^9, 
   3.718547076045532*^9}},ExpressionUUID->"c619cd87-9ef7-45a4-87a5-\
19706b293759"],

Cell[BoxData[
 RowBox[{
  RowBox[{
   RowBox[{"-", "1600"}], " ", 
   SuperscriptBox["d", "4"]}], "+", 
  RowBox[{"720", " ", 
   SuperscriptBox["d", "6"]}], "-", 
  RowBox[{"81", " ", 
   SuperscriptBox["d", "8"]}], "+", 
  RowBox[{"64", " ", 
   SuperscriptBox["q", "2"]}], "+", 
  RowBox[{"48", " ", 
   SuperscriptBox["d", "2"], " ", 
   SuperscriptBox["q", "2"]}], "-", 
  RowBox[{"14", " ", 
   SuperscriptBox["d", "4"], " ", 
   SuperscriptBox["q", "2"]}], "-", 
  SuperscriptBox["q", "4"]}]], "Output",
 CellChangeTimes->{{3.718497864815839*^9, 3.7184979218551607`*^9}, {
   3.718497966826475*^9, 3.718498049533359*^9}, 3.7184981567797747`*^9, 
   3.71849819092832*^9, {3.718498249681096*^9, 3.718498259994219*^9}, 
   3.718498503417631*^9, 
   3.718498633573595*^9},ExpressionUUID->"7ad853ef-ab84-4a6c-927d-\
1380b269566c"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Factor", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"-", "1600"}], " ", 
     SuperscriptBox["d", "4"]}], "+", 
    RowBox[{"720", " ", 
     SuperscriptBox["d", "6"]}], "-", 
    RowBox[{"81", " ", 
     SuperscriptBox["d", "8"]}], "+", 
    RowBox[{"64", " ", 
     SuperscriptBox["q", "2"]}], "+", 
    RowBox[{"48", " ", 
     SuperscriptBox["d", "2"], " ", 
     SuperscriptBox["q", "2"]}], "-", 
    RowBox[{"14", " ", 
     SuperscriptBox["d", "4"], " ", 
     SuperscriptBox["q", "2"]}], "-", 
    SuperscriptBox["q", "4"]}], "]"}], " ", 
  RowBox[{"(*", " ", 
   RowBox[{
   "these", " ", "are", " ", "both", " ", "isomorphic", " ", "to", " ", "E"}],
    " ", "*)"}]}]], "Input",
 CellChangeTimes->{{3.718499014021261*^9, 3.718499016242036*^9}, {
  3.7185654797781153`*^9, 
  3.718565490100896*^9}},ExpressionUUID->"90a30319-8aff-4847-8c38-\
a6f5e4d7d846"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{
      RowBox[{"-", "40"}], " ", 
      SuperscriptBox["d", "2"]}], "+", 
     RowBox[{"9", " ", 
      SuperscriptBox["d", "4"]}], "+", 
     RowBox[{"8", " ", "q"}], "-", 
     RowBox[{"2", " ", 
      SuperscriptBox["d", "2"], " ", "q"}], "+", 
     SuperscriptBox["q", "2"]}], ")"}]}], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{
     RowBox[{"-", "40"}], " ", 
     SuperscriptBox["d", "2"]}], "+", 
    RowBox[{"9", " ", 
     SuperscriptBox["d", "4"]}], "-", 
    RowBox[{"8", " ", "q"}], "+", 
    RowBox[{"2", " ", 
     SuperscriptBox["d", "2"], " ", "q"}], "+", 
    SuperscriptBox["q", "2"]}], ")"}]}]], "Output",
 CellChangeTimes->{
  3.7184990168695374`*^9},ExpressionUUID->"745afc03-d7e3-4a4c-9ae3-\
c7e119d8acbe"]
}, Open  ]],

Cell[BoxData[
 StyleBox[
  RowBox[{"(*", " ", 
   RowBox[{
   "Alternate", " ", "proof", " ", "of", " ", "f", " ", "being", " ", 
    "reducible"}], " ", "*)"}],
  FontSize->24]], "Input",
 CellChangeTimes->{
  3.718500793864313*^9, {3.718565446649577*^9, 3.718565475809162*^9}, {
   3.718565512521853*^9, 
   3.7185655177086983`*^9}},ExpressionUUID->"0a31abb8-c3ae-46f4-ba52-\
65c61bb202b4"],

Cell[BoxData[
 RowBox[{"Clear", "[", 
  RowBox[{"m", ",", "\[Gamma]", ",", "d", ",", "r"}], "]"}]], "Input",
 CellChangeTimes->{
  3.7185007947655697`*^9, {3.718547498739867*^9, 
   3.7185475083424807`*^9}},ExpressionUUID->"bd7f9cf7-5adc-4978-9530-\
58172964c20f"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"\[Gamma]", "=", 
   RowBox[{
    RowBox[{
     FractionBox["17", "64"], 
     SuperscriptBox["d", "8"]}], "+", 
    RowBox[{
     FractionBox[
      RowBox[{"5", "m"}], "4"], 
     SuperscriptBox["d", "6"]}], "+", 
    RowBox[{
     FractionBox[
      RowBox[{"11", 
       SuperscriptBox["m", "2"]}], "4"], 
     SuperscriptBox["d", "4"]}], "+", 
    RowBox[{
     FractionBox[
      RowBox[{"7", "m"}], "4"], 
     SuperscriptBox["d", "4"]}], "+", 
    RowBox[{"2", 
     SuperscriptBox["m", "3"], 
     SuperscriptBox["d", "2"]}], "+", 
    RowBox[{"2", 
     SuperscriptBox["m", "2"], 
     SuperscriptBox["d", "2"]}], "-", "m"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Simplify", "[", 
  RowBox[{
   RowBox[{"-", "\[Gamma]"}], "-", "m"}], "]"}]}], "Input",
 CellChangeTimes->{{3.7185475309797792`*^9, 
  3.71854753676234*^9}},ExpressionUUID->"2512fd9e-b033-4099-a816-\
29020fc6b827"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "64"]}], " ", 
  SuperscriptBox["d", "2"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"17", " ", 
     SuperscriptBox["d", "6"]}], "+", 
    RowBox[{"80", " ", 
     SuperscriptBox["d", "4"], " ", "m"}], "+", 
    RowBox[{"128", " ", 
     SuperscriptBox["m", "2"], " ", 
     RowBox[{"(", 
      RowBox[{"1", "+", "m"}], ")"}]}], "+", 
    RowBox[{"16", " ", 
     SuperscriptBox["d", "2"], " ", "m", " ", 
     RowBox[{"(", 
      RowBox[{"7", "+", 
       RowBox[{"11", " ", "m"}]}], ")"}]}]}], ")"}]}]], "Output",
 CellChangeTimes->{3.718547538015394*^9, 3.7185656165587053`*^9, 
  3.718723380237273*^9},ExpressionUUID->"eeccff9f-ad8b-4250-ae79-\
1d2ab7b83ad8"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Expand", "[", 
  RowBox[{
   RowBox[{"-", 
    FractionBox["1", "64"]}], 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"17", " ", 
      SuperscriptBox["d", "6"]}], "+", 
     RowBox[{"80", " ", 
      SuperscriptBox["d", "4"], " ", "m"}], "+", 
     RowBox[{"128", " ", 
      SuperscriptBox["m", "2"], " ", 
      RowBox[{"(", 
       RowBox[{"1", "+", "m"}], ")"}]}], "+", 
     RowBox[{"16", " ", 
      SuperscriptBox["d", "2"], " ", "m", " ", 
      RowBox[{"(", 
       RowBox[{"7", "+", 
        RowBox[{"11", " ", "m"}]}], ")"}]}]}], ")"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.718547563352868*^9, 3.718547651457951*^9}, {
  3.71854774970697*^9, 3.718547761088047*^9}, {3.718547816051724*^9, 
  3.718547819891623*^9}},ExpressionUUID->"e76bf732-4949-4185-b07b-\
80e9d48a718a"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox[
    RowBox[{"17", " ", 
     SuperscriptBox["d", "6"]}], "64"]}], "-", 
  FractionBox[
   RowBox[{"7", " ", 
    SuperscriptBox["d", "2"], " ", "m"}], "4"], "-", 
  FractionBox[
   RowBox[{"5", " ", 
    SuperscriptBox["d", "4"], " ", "m"}], "4"], "-", 
  RowBox[{"2", " ", 
   SuperscriptBox["m", "2"]}], "-", 
  FractionBox[
   RowBox[{"11", " ", 
    SuperscriptBox["d", "2"], " ", 
    SuperscriptBox["m", "2"]}], "4"], "-", 
  RowBox[{"2", " ", 
   SuperscriptBox["m", "3"]}]}]], "Output",
 CellChangeTimes->{3.7185476521560783`*^9, 3.718547762376438*^9, 
  3.7185478202304068`*^9, 
  3.718723381846795*^9},ExpressionUUID->"2722c1b0-3ea5-4db0-9006-\
12cd13a5387e"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Expand", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"-", 
      FractionBox["1", "64"]}], 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"17", " ", 
        SuperscriptBox["d", "6"]}], "+", 
       RowBox[{"80", " ", 
        SuperscriptBox["d", "4"], " ", "m"}], "+", 
       RowBox[{"128", " ", 
        SuperscriptBox["m", "2"], " ", 
        RowBox[{"(", 
         RowBox[{"1", "+", "m"}], ")"}]}], "+", 
       RowBox[{"16", " ", 
        SuperscriptBox["d", "2"], " ", "m", " ", 
        RowBox[{"(", 
         RowBox[{"7", "+", 
          RowBox[{"11", " ", "m"}]}], ")"}]}]}], ")"}]}], "+", 
    RowBox[{"4", "m", 
     RowBox[{"(", 
      RowBox[{
       FractionBox[
        RowBox[{"3", 
         SuperscriptBox["d", "4"]}], "16"], "+", 
       FractionBox[
        RowBox[{
         SuperscriptBox["d", "2"], "m"}], "2"], "+", 
       FractionBox[
        SuperscriptBox["m", "2"], "2"], "+", 
       FractionBox["m", "2"]}], ")"}]}]}], "]"}], 
  RowBox[{"(*", " ", 
   RowBox[{"adding", " ", "0"}], " ", "*)"}]}]], "Input",
 CellChangeTimes->{{3.718547835364984*^9, 3.718547857268108*^9}, {
   3.718547958792684*^9, 3.718547959549501*^9}, 3.7185480402641153`*^9, {
   3.718548181710676*^9, 3.718548188681878*^9}, {3.718548315021935*^9, 
   3.718548349227662*^9}, 3.718565151130232*^9, {3.7185652621822443`*^9, 
   3.718565266985615*^9}, {3.71856564975972*^9, 
   3.718565673006339*^9}},ExpressionUUID->"aaea3ea3-b207-4d18-a980-\
393d9948ed05"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox[
    RowBox[{"17", " ", 
     SuperscriptBox["d", "6"]}], "64"]}], "-", 
  FractionBox[
   RowBox[{"7", " ", 
    SuperscriptBox["d", "2"], " ", "m"}], "4"], "-", 
  FractionBox[
   RowBox[{
    SuperscriptBox["d", "4"], " ", "m"}], "2"], "-", 
  FractionBox[
   RowBox[{"3", " ", 
    SuperscriptBox["d", "2"], " ", 
    SuperscriptBox["m", "2"]}], "4"]}]], "Output",
 CellChangeTimes->{{3.7185478510003567`*^9, 3.718547857821624*^9}, 
   3.718547960044833*^9, 3.718548041427854*^9, 3.718548190097867*^9, 
   3.7185483171375237`*^9, 3.718548350560771*^9, 3.7185651522546864`*^9, 
   3.718565223665454*^9, 3.718565272429982*^9, 
   3.718723383559677*^9},ExpressionUUID->"c3000c57-95ff-4d5f-afe1-\
ff9fab51e0c4"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Factor", "[", 
  RowBox[{
   RowBox[{"-", 
    FractionBox[
     RowBox[{"17", " ", 
      SuperscriptBox["d", "6"]}], "64"]}], "-", 
   FractionBox[
    RowBox[{"7", " ", 
     SuperscriptBox["d", "2"], " ", "m"}], "4"], "-", 
   FractionBox[
    RowBox[{
     SuperscriptBox["d", "4"], " ", "m"}], "2"], "-", 
   FractionBox[
    RowBox[{"3", " ", 
     SuperscriptBox["d", "2"], " ", 
     SuperscriptBox["m", "2"]}], "4"]}], "]"}]], "Input",
 CellChangeTimes->{{3.7185653094479513`*^9, 
  3.7185653152100363`*^9}},ExpressionUUID->"e7031400-9e99-4568-9b29-\
73521fafe760"],

Cell[BoxData[
 RowBox[{
  RowBox[{"-", 
   FractionBox["1", "64"]}], " ", 
  SuperscriptBox["d", "2"], " ", 
  RowBox[{"(", 
   RowBox[{
    RowBox[{"17", " ", 
     SuperscriptBox["d", "4"]}], "+", 
    RowBox[{"112", " ", "m"}], "+", 
    RowBox[{"32", " ", 
     SuperscriptBox["d", "2"], " ", "m"}], "+", 
    RowBox[{"48", " ", 
     SuperscriptBox["m", "2"]}]}], ")"}]}]], "Output",
 CellChangeTimes->{3.718565315690022*^9, 
  3.718723385481415*^9},ExpressionUUID->"725b0bcf-7a17-4f8b-987d-\
2118a6a4c000"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Expand", "[", 
   RowBox[{
    RowBox[{
     RowBox[{"-", 
      FractionBox["1", "64"]}], 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"17", " ", 
        SuperscriptBox["d", "4"]}], "+", 
       RowBox[{"112", " ", "m"}], "+", 
       RowBox[{"32", " ", 
        SuperscriptBox["d", "2"], " ", "m"}], "+", 
       RowBox[{"48", " ", 
        SuperscriptBox["m", "2"]}]}], ")"}]}], "+", 
    RowBox[{
     FractionBox["7", "2"], 
     RowBox[{"(", 
      RowBox[{
       FractionBox[
        RowBox[{"3", 
         SuperscriptBox["d", "4"]}], "16"], "+", 
       FractionBox[
        RowBox[{
         SuperscriptBox["d", "2"], "m"}], "2"], "+", 
       FractionBox[
        SuperscriptBox["m", "2"], "2"], "+", 
       FractionBox["m", "2"]}], ")"}]}]}], "]"}], " ", 
  RowBox[{"(*", " ", 
   RowBox[{"adding", " ", "0"}], " ", "*)"}]}]], "Input",
 CellChangeTimes->{{3.718565338284699*^9, 3.718565362452038*^9}, {
  3.718565674743072*^9, 
  3.71856567839817*^9}},ExpressionUUID->"d7b50058-2ed2-4d82-a4c1-\
db4f5729d9c8"],

Cell[BoxData[
 RowBox[{
  FractionBox[
   RowBox[{"25", " ", 
    SuperscriptBox["d", "4"]}], "64"], "+", 
  FractionBox[
   RowBox[{"5", " ", 
    SuperscriptBox["d", "2"], " ", "m"}], "4"], "+", 
  SuperscriptBox["m", "2"]}]], "Output",
 CellChangeTimes->{3.718565363091717*^9, 
  3.718723389978381*^9},ExpressionUUID->"5a406cd5-a4ba-4323-9da6-\
08ad8b3629a1"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Factor", "[", 
  RowBox[{
   FractionBox[
    RowBox[{"25", " ", 
     SuperscriptBox["d", "4"]}], "64"], "+", 
   FractionBox[
    RowBox[{"5", " ", 
     SuperscriptBox["d", "2"], " ", "m"}], "4"], "+", 
   SuperscriptBox["m", "2"]}], "]"}]], "Input",
 CellChangeTimes->{{3.718565367607258*^9, 
  3.718565373252206*^9}},ExpressionUUID->"55fba408-1201-44ce-85b5-\
a7a1cef4380d"],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "64"], " ", 
  SuperscriptBox[
   RowBox[{"(", 
    RowBox[{
     RowBox[{"5", " ", 
      SuperscriptBox["d", "2"]}], "+", 
     RowBox[{"8", " ", "m"}]}], ")"}], "2"]}]], "Output",
 CellChangeTimes->{3.718565373697641*^9, 
  3.718723392380271*^9},ExpressionUUID->"b7ce2aaf-9709-423f-b5a9-\
cbb7a636b105"]
}, Open  ]]
},
WindowSize->{988, 851},
WindowMargins->{{4, Automatic}, {Automatic, 0}},
FrontEndVersion->"11.1 for Mac OS X x86 (32-bit, 64-bit Kernel) (April 27, \
2017)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 222, 5, 32, "Input", "ExpressionUUID" -> \
"ae1fba16-e9ca-46a6-9392-a9213bfd4717"],
Cell[783, 27, 15736, 436, 1534, "Input", "ExpressionUUID" -> \
"ceaba284-b526-4c63-8f15-867e7811febd",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[16544, 467, 1209, 33, 107, "Input", "ExpressionUUID" -> \
"af532fac-ca3a-4f85-9157-39e02ca7b0c2"],
Cell[17756, 502, 1299, 40, 48, "Output", "ExpressionUUID" -> \
"3a1448ed-889f-4413-ba21-f2fce6a9704b"]
}, Open  ]],
Cell[CellGroupData[{
Cell[19092, 547, 590, 20, 53, "Input", "ExpressionUUID" -> \
"c6f04380-ca0c-4562-ae9b-9e525e04a81e"],
Cell[19685, 569, 577, 20, 55, "Output", "ExpressionUUID" -> \
"b86e7280-362f-4977-b873-3197957e078f"]
}, Open  ]],
Cell[CellGroupData[{
Cell[20299, 594, 857, 28, 147, "Input", "ExpressionUUID" -> \
"b0aa86bf-2819-4f43-806a-89b5a4a078ca"],
Cell[21159, 624, 480, 14, 49, "Output", "ExpressionUUID" -> \
"8ed3d144-1d1e-4700-9138-586ee657dcc7"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21676, 643, 988, 27, 63, "Input", "ExpressionUUID" -> \
"22dc0b2c-c490-4964-88e1-6444c79f8df8"],
Cell[22667, 672, 318, 10, 32, "Output", "ExpressionUUID" -> \
"8817d506-ce7c-4339-a258-cd8e60413fca"]
}, Open  ]],
Cell[CellGroupData[{
Cell[23022, 687, 773, 24, 133, "Input", "ExpressionUUID" -> \
"1df6b906-4acb-4b65-859e-5b96f82503d8"],
Cell[23798, 713, 359, 11, 52, "Output", "ExpressionUUID" -> \
"6d4f07e3-4662-4adc-91dd-98906ba2ed40"]
}, Open  ]],
Cell[CellGroupData[{
Cell[24194, 729, 629, 19, 55, "Input", "ExpressionUUID" -> \
"9a887ff8-41a3-4637-94eb-e01345ddd5a0"],
Cell[24826, 750, 337, 10, 32, "Output", "ExpressionUUID" -> \
"b4059f44-eb9e-4503-869d-8fa60d8ab3b2"]
}, Open  ]],
Cell[CellGroupData[{
Cell[25200, 765, 617, 19, 113, "Input", "ExpressionUUID" -> \
"f24aef6d-4f08-4aa9-8f82-896689d8f493"],
Cell[25820, 786, 313, 9, 32, "Output", "ExpressionUUID" -> \
"1dfc32ac-dab6-4e9b-9397-cb64b49b53dd"]
}, Open  ]],
Cell[CellGroupData[{
Cell[26170, 800, 722, 23, 108, "Input", "ExpressionUUID" -> \
"5b2cc3e4-26f2-4ba4-b696-8574d9fa5d54"],
Cell[26895, 825, 359, 11, 52, "Output", "ExpressionUUID" -> \
"9ae0d357-4def-49c8-8db6-11b0d31c3e44"]
}, Open  ]],
Cell[CellGroupData[{
Cell[27291, 841, 425, 14, 55, "Input", "ExpressionUUID" -> \
"b3449882-1296-4f19-a9a0-2c5f235665f5"],
Cell[27719, 857, 335, 11, 32, "Output", "ExpressionUUID" -> \
"21dcef20-41b5-415e-86fa-e43aea8beca2"]
}, Open  ]],
Cell[CellGroupData[{
Cell[28091, 873, 638, 20, 113, "Input", "ExpressionUUID" -> \
"188f2241-6bb5-4af5-9ce1-272b4c4593e9"],
Cell[28732, 895, 316, 10, 32, "Output", "ExpressionUUID" -> \
"849578c1-3ecd-4606-aa1e-306974ebae4c"]
}, Open  ]],
Cell[CellGroupData[{
Cell[29085, 910, 925, 22, 96, "Input", "ExpressionUUID" -> \
"ebab2005-09db-463e-9fec-be80528d3eee"],
Cell[30013, 934, 247, 6, 48, "Output", "ExpressionUUID" -> \
"d63b0969-e912-4fe2-8aae-fc459432fe72"],
Cell[30263, 942, 452, 14, 52, "Output", "ExpressionUUID" -> \
"5b360b15-e71d-4c9f-b852-5efe39a3da14"]
}, Open  ]],
Cell[CellGroupData[{
Cell[30752, 961, 799, 25, 75, "Input", "ExpressionUUID" -> \
"cccfee2c-430b-4174-9fcb-0813b9d30a12"],
Cell[31554, 988, 678, 22, 54, "Output", "ExpressionUUID" -> \
"95bb0f70-5464-433a-bd6a-473bf02f9c3e"]
}, Open  ]],
Cell[32247, 1013, 2119, 62, 162, "Input", "ExpressionUUID" -> \
"12bfe965-b025-4d07-b71c-1bbc32e74724",
 InitializationCell->True],
Cell[CellGroupData[{
Cell[34391, 1079, 413, 9, 32, "Input", "ExpressionUUID" -> \
"251a3aa0-248e-4f86-b12b-bc2f10b8c113"],
Cell[34807, 1090, 248, 6, 32, "Output", "ExpressionUUID" -> \
"84104bc7-814f-483b-a6bc-ab00a4268075"]
}, Open  ]],
Cell[CellGroupData[{
Cell[35092, 1101, 317, 8, 32, "Input", "ExpressionUUID" -> \
"6b49fdcf-06ba-4c28-820b-d1cc719e5f00"],
Cell[35412, 1111, 200, 5, 32, "Output", "ExpressionUUID" -> \
"af19526c-26ff-4c96-b28f-5e09d1c801bf"]
}, Open  ]],
Cell[CellGroupData[{
Cell[35649, 1121, 5908, 150, 484, "Input", "ExpressionUUID" -> \
"5a4ceba4-1544-4d83-9cb5-3445da5f6dab"],
Cell[CellGroupData[{
Cell[41582, 1275, 841, 16, 24, "Print", "ExpressionUUID" -> \
"9e3f502a-a76c-4590-9c75-3a2b10397862"],
Cell[42426, 1293, 732, 12, 24, "Print", "ExpressionUUID" -> \
"5c1d0b0d-fd87-4d02-af39-c61e000c9225"],
Cell[43161, 1307, 733, 12, 24, "Print", "ExpressionUUID" -> \
"a760fcb2-8ace-426c-9e69-1c812a451ecd"],
Cell[43897, 1321, 797, 14, 24, "Print", "ExpressionUUID" -> \
"0779bc25-ab4e-49ae-8dbb-bfad1e32ccd4"],
Cell[44697, 1337, 843, 16, 24, "Print", "ExpressionUUID" -> \
"24bb902d-28b9-4865-8a84-035c145e9dcc"],
Cell[45543, 1355, 767, 13, 24, "Print", "ExpressionUUID" -> \
"9c14e629-da3f-4275-a73a-c442f4e94b32"],
Cell[46313, 1370, 735, 12, 24, "Print", "ExpressionUUID" -> \
"9190b677-7d5e-477d-82a9-53c58e3716f2"],
Cell[47051, 1384, 797, 14, 24, "Print", "ExpressionUUID" -> \
"3f369450-33e9-4d87-9b32-8d4cc8b2554b"],
Cell[47851, 1400, 843, 16, 24, "Print", "ExpressionUUID" -> \
"ff4496f4-2fd4-47ce-8ab5-f3d2d4421ff0"],
Cell[48697, 1418, 767, 13, 24, "Print", "ExpressionUUID" -> \
"597347ee-4d1c-46f8-9993-d706b5de6bd4"],
Cell[49467, 1433, 735, 12, 24, "Print", "ExpressionUUID" -> \
"01945ab8-6e3e-4515-9907-b6bad8fdae70"],
Cell[50205, 1447, 797, 14, 24, "Print", "ExpressionUUID" -> \
"470948f7-af7f-41e3-b7a9-96527bfcfb40"],
Cell[51005, 1463, 841, 16, 24, "Print", "ExpressionUUID" -> \
"1e5e947e-5aca-4098-bbd2-eb9cefb43184"],
Cell[51849, 1481, 749, 12, 24, "Print", "ExpressionUUID" -> \
"0ae3d882-1fce-4d79-b152-c21fd07d2d52"],
Cell[52601, 1495, 733, 12, 24, "Print", "ExpressionUUID" -> \
"468a7920-cbd3-4e7d-b20b-910d5e7f09be"],
Cell[53337, 1509, 797, 14, 24, "Print", "ExpressionUUID" -> \
"355792fe-6819-4ae1-9e9c-2d5eb787aa9b"],
Cell[54137, 1525, 841, 16, 24, "Print", "ExpressionUUID" -> \
"18d7d831-1988-4159-b76c-e923f5710ab6"],
Cell[54981, 1543, 746, 12, 24, "Print", "ExpressionUUID" -> \
"e514e42b-ee6c-4160-be42-c3612b781764"],
Cell[55730, 1557, 732, 12, 24, "Print", "ExpressionUUID" -> \
"c0a24b6c-a901-4546-9b6d-b3b71f5825e4"],
Cell[56465, 1571, 797, 14, 24, "Print", "ExpressionUUID" -> \
"a95d29c3-90f3-4a73-8ae4-c0de4b67ca98"],
Cell[57265, 1587, 841, 16, 24, "Print", "ExpressionUUID" -> \
"65bd1d8d-d4e5-42a2-b04d-18bf2ad2a867"],
Cell[58109, 1605, 766, 13, 24, "Print", "ExpressionUUID" -> \
"4420a73b-c6d3-4793-88c1-173374cb57ed"],
Cell[58878, 1620, 733, 12, 24, "Print", "ExpressionUUID" -> \
"25e6c164-829d-40e4-b926-07913e89e7e6"],
Cell[59614, 1634, 797, 14, 24, "Print", "ExpressionUUID" -> \
"7e5b6a66-c051-44d5-ad29-a2f5be9d5c83"],
Cell[60414, 1650, 843, 16, 24, "Print", "ExpressionUUID" -> \
"8981c702-4ceb-4e70-979b-30c7609057cb"],
Cell[61260, 1668, 766, 13, 24, "Print", "ExpressionUUID" -> \
"a0376fb7-985d-4550-9420-e249632eee1f"],
Cell[62029, 1683, 733, 12, 24, "Print", "ExpressionUUID" -> \
"1dd0c3f2-fc42-46f2-a144-a0c098f4232a"],
Cell[62765, 1697, 796, 14, 24, "Print", "ExpressionUUID" -> \
"f2c8c8fa-4f58-43f3-b2a3-407dfa346195"],
Cell[63564, 1713, 843, 16, 24, "Print", "ExpressionUUID" -> \
"039b245b-ff3f-4136-998e-af3a5a4ab0d5"],
Cell[64410, 1731, 748, 12, 24, "Print", "ExpressionUUID" -> \
"11b551c0-b8a7-4359-a4ca-d3c650ee3e92"],
Cell[65161, 1745, 735, 12, 24, "Print", "ExpressionUUID" -> \
"807c520e-c32c-4222-af2b-bad28e7e7f01"],
Cell[65899, 1759, 797, 14, 24, "Print", "ExpressionUUID" -> \
"b0340516-ef6d-4e1a-a60e-2a6971aa1a65"],
Cell[66699, 1775, 841, 16, 24, "Print", "ExpressionUUID" -> \
"1c721bd5-4a22-4e66-be44-19fe85494f46"],
Cell[67543, 1793, 766, 13, 24, "Print", "ExpressionUUID" -> \
"c5f87bf1-ee09-44ca-8838-8ea2dbd70c45"],
Cell[68312, 1808, 735, 12, 24, "Print", "ExpressionUUID" -> \
"b07d1ec9-5c78-42c7-a58d-b1c99c3d45dc"],
Cell[69050, 1822, 799, 14, 24, "Print", "ExpressionUUID" -> \
"3a92c198-2265-48d4-9038-09be1ddd735a"],
Cell[69852, 1838, 843, 16, 24, "Print", "ExpressionUUID" -> \
"e56cca1d-1667-4cae-bf3e-e64816de6cb0"],
Cell[70698, 1856, 765, 13, 24, "Print", "ExpressionUUID" -> \
"a75629ee-4b2e-476b-b221-3bfed2bc14c6"],
Cell[71466, 1871, 735, 12, 24, "Print", "ExpressionUUID" -> \
"40f4fcde-8006-4817-bbc9-7b226a7c71e0"],
Cell[72204, 1885, 799, 14, 24, "Print", "ExpressionUUID" -> \
"e91d7d69-daf7-4f7b-abc0-ca627eb81a72"],
Cell[73006, 1901, 843, 16, 24, "Print", "ExpressionUUID" -> \
"9fc0615a-7c78-4fd5-94ae-1bdd521421cc"],
Cell[73852, 1919, 748, 12, 24, "Print", "ExpressionUUID" -> \
"6a2807d2-a862-4a8e-a890-6477f933b594"],
Cell[74603, 1933, 733, 12, 24, "Print", "ExpressionUUID" -> \
"4ea14e4e-81db-45bb-b85f-a1d5610e4658"],
Cell[75339, 1947, 797, 14, 24, "Print", "ExpressionUUID" -> \
"724435de-7f70-42c7-bd3a-50d0b511d6ae"],
Cell[76139, 1963, 843, 16, 24, "Print", "ExpressionUUID" -> \
"31487b8d-b780-4104-a663-44290aa21369"],
Cell[76985, 1981, 747, 12, 24, "Print", "ExpressionUUID" -> \
"2a81b0ab-bf8f-4d85-a52b-76b8a6573513"],
Cell[77735, 1995, 735, 12, 24, "Print", "ExpressionUUID" -> \
"025e4d6f-b7e2-4196-ab5a-0eeca75ff99f"],
Cell[78473, 2009, 797, 14, 24, "Print", "ExpressionUUID" -> \
"811ff680-42fc-4c79-beca-df3a9db388d8"],
Cell[79273, 2025, 842, 16, 24, "Print", "ExpressionUUID" -> \
"84796b65-d654-49c5-9e23-3aaa0e0bd0ef"],
Cell[80118, 2043, 765, 13, 24, "Print", "ExpressionUUID" -> \
"ef77f297-3190-4b28-89f8-b415a041514c"],
Cell[80886, 2058, 732, 12, 24, "Print", "ExpressionUUID" -> \
"85820d0f-933c-4772-8e66-6fdedc6017f0"],
Cell[81621, 2072, 797, 14, 24, "Print", "ExpressionUUID" -> \
"71c00c90-3d7a-4264-861f-d94090508996"],
Cell[82421, 2088, 843, 16, 24, "Print", "ExpressionUUID" -> \
"5c99227f-baa2-45ae-9cd8-783b9c48f0cc"],
Cell[83267, 2106, 762, 13, 24, "Print", "ExpressionUUID" -> \
"1b078a73-0efa-4bc7-9042-84a4f5b5cf6d"],
Cell[84032, 2121, 733, 12, 24, "Print", "ExpressionUUID" -> \
"943a02f7-f2e4-484e-b2dc-363de4ebcc88"],
Cell[84768, 2135, 797, 14, 24, "Print", "ExpressionUUID" -> \
"f7a2510e-b2e2-4e7e-8f1d-5af82efdf471"],
Cell[85568, 2151, 845, 16, 24, "Print", "ExpressionUUID" -> \
"ea2e6656-6c70-4af6-8d6d-4e947433777c"],
Cell[86416, 2169, 747, 12, 24, "Print", "ExpressionUUID" -> \
"6668898a-4b39-45b8-bcc1-6fbb53932870"],
Cell[87166, 2183, 733, 12, 24, "Print", "ExpressionUUID" -> \
"336d6169-1722-4246-b2c9-116c4cec61bd"],
Cell[87902, 2197, 799, 14, 24, "Print", "ExpressionUUID" -> \
"b138bb61-095e-44f1-8339-681d654dae75"],
Cell[88704, 2213, 843, 16, 24, "Print", "ExpressionUUID" -> \
"4eeef88e-4bb1-4ced-8c48-c4016926b4d3"],
Cell[89550, 2231, 767, 13, 24, "Print", "ExpressionUUID" -> \
"9a4ef5b8-fa04-4576-800c-12d5e821e19a"],
Cell[90320, 2246, 732, 12, 24, "Print", "ExpressionUUID" -> \
"87512993-896b-487d-9695-0e9552c6499b"],
Cell[91055, 2260, 797, 14, 24, "Print", "ExpressionUUID" -> \
"0e226d2c-935d-4af7-9366-a934131adf10"],
Cell[91855, 2276, 843, 16, 24, "Print", "ExpressionUUID" -> \
"1f96eb7c-ceba-4d62-83f1-7227f04c21e9"],
Cell[92701, 2294, 765, 13, 24, "Print", "ExpressionUUID" -> \
"377ae358-1f3d-4e4a-a026-c5bd0432742c"],
Cell[93469, 2309, 733, 12, 24, "Print", "ExpressionUUID" -> \
"4139fd8f-207b-46f8-889a-0e69c5ba225d"],
Cell[94205, 2323, 797, 14, 24, "Print", "ExpressionUUID" -> \
"e8651e62-81a7-4766-aaa4-ed4e7a0be133"],
Cell[95005, 2339, 843, 16, 24, "Print", "ExpressionUUID" -> \
"8ba9fed0-16b5-4906-88ae-40b1b81939ff"],
Cell[95851, 2357, 748, 12, 24, "Print", "ExpressionUUID" -> \
"95594bdd-ff07-4a43-8c73-c112cecbdb28"],
Cell[96602, 2371, 733, 12, 24, "Print", "ExpressionUUID" -> \
"d010053e-42a4-410c-99c4-53c9dc2d4b3c"],
Cell[97338, 2385, 797, 14, 24, "Print", "ExpressionUUID" -> \
"ec05d0ba-ddba-4c1d-9d79-042fdb03d684"],
Cell[98138, 2401, 845, 16, 24, "Print", "ExpressionUUID" -> \
"00789a90-3bc2-416e-a0ab-420ac1450ac5"],
Cell[98986, 2419, 748, 12, 24, "Print", "ExpressionUUID" -> \
"a86b5470-ecf8-4288-bf2f-b0d7ad310950"],
Cell[99737, 2433, 735, 12, 24, "Print", "ExpressionUUID" -> \
"37db841c-3653-45e3-951d-6866583fc14a"],
Cell[100475, 2447, 799, 14, 24, "Print", "ExpressionUUID" -> \
"f18fd91e-eb99-4ef8-8442-7b8982f8c042"],
Cell[101277, 2463, 843, 16, 24, "Print", "ExpressionUUID" -> \
"dc672813-433f-4c32-a384-8e40bdeac310"],
Cell[102123, 2481, 767, 13, 24, "Print", "ExpressionUUID" -> \
"9fcfdf03-ff3b-4967-8897-e602f7c2db51"],
Cell[102893, 2496, 733, 12, 24, "Print", "ExpressionUUID" -> \
"7f2109f2-bd07-411d-8d81-6f5e423e60e8"],
Cell[103629, 2510, 799, 14, 24, "Print", "ExpressionUUID" -> \
"f863fcc6-48af-4211-a5f8-9a3d9f6ca692"],
Cell[104431, 2526, 843, 16, 24, "Print", "ExpressionUUID" -> \
"debb0d26-5c48-4667-85b4-d7a4d5ecc9a0"],
Cell[105277, 2544, 765, 13, 24, "Print", "ExpressionUUID" -> \
"a7cc5c9d-9847-4aa7-99fb-3b9a8330d66b"],
Cell[106045, 2559, 735, 12, 24, "Print", "ExpressionUUID" -> \
"4886b033-7447-4188-8857-f0c7f7daf08a"],
Cell[106783, 2573, 799, 14, 24, "Print", "ExpressionUUID" -> \
"e8071481-bd0e-4388-b50a-85191ecd17e0"],
Cell[107585, 2589, 843, 16, 24, "Print", "ExpressionUUID" -> \
"463dd34f-3575-4f22-8f4a-eaf3f7f30f2a"],
Cell[108431, 2607, 748, 12, 24, "Print", "ExpressionUUID" -> \
"6ba8a610-4f62-48ff-b079-f575ad7df322"],
Cell[109182, 2621, 733, 12, 24, "Print", "ExpressionUUID" -> \
"6825d3d0-6bd4-4242-9e68-616472934958"]
}, Open  ]],
Cell[109930, 2636, 419, 7, 32, "Output", "ExpressionUUID" -> \
"8e37704c-c150-45ec-b2d9-481a58bd1d62"]
}, Open  ]],
Cell[110364, 2646, 147, 3, 54, "Input", "ExpressionUUID" -> \
"de35c695-c90a-4d4a-a6df-df507787c40a"],
Cell[CellGroupData[{
Cell[110536, 2653, 1522, 52, 136, "Input", "ExpressionUUID" -> \
"418cf04e-b516-4c8e-a83a-732fab5cbdf4"],
Cell[112061, 2707, 988, 32, 49, "Output", "ExpressionUUID" -> \
"04bc2751-179c-4df0-a69a-3955ccd8d7f9"]
}, Open  ]],
Cell[CellGroupData[{
Cell[113086, 2744, 509, 15, 35, "Input", "ExpressionUUID" -> \
"d533427c-ad87-4d7b-837c-14f894111ff8"],
Cell[113598, 2761, 446, 13, 32, "Output", "ExpressionUUID" -> \
"a498c354-4628-4741-8736-1a49e5baf5d5"]
}, Open  ]],
Cell[114059, 2777, 154, 3, 32, "Input", "ExpressionUUID" -> \
"883e8202-d8e9-45af-b8bf-66a5884820d7"],
Cell[CellGroupData[{
Cell[114238, 2784, 1828, 50, 108, "Input", "ExpressionUUID" -> \
"c619cd87-9ef7-45a4-87a5-19706b293759"],
Cell[116069, 2836, 832, 23, 32, "Output", "ExpressionUUID" -> \
"7ad853ef-ab84-4a6c-927d-1380b269566c"]
}, Open  ]],
Cell[CellGroupData[{
Cell[116938, 2864, 901, 27, 35, "Input", "ExpressionUUID" -> \
"90a30319-8aff-4847-8c38-a6f5e4d7d846"],
Cell[117842, 2893, 815, 27, 35, "Output", "ExpressionUUID" -> \
"745afc03-d7e3-4a4c-9ae3-c7e119d8acbe"]
}, Open  ]],
Cell[118672, 2923, 392, 11, 46, "Input", "ExpressionUUID" -> \
"0a31abb8-c3ae-46f4-ba52-65c61bb202b4"],
Cell[119067, 2936, 264, 6, 32, "Input", "ExpressionUUID" -> \
"bd7f9cf7-5adc-4978-9530-58172964c20f"],
Cell[CellGroupData[{
Cell[119356, 2946, 928, 31, 76, "Input", "ExpressionUUID" -> \
"2512fd9e-b033-4099-a816-29020fc6b827"],
Cell[120287, 2979, 728, 22, 49, "Output", "ExpressionUUID" -> \
"eeccff9f-ad8b-4250-ae79-1d2ab7b83ad8"]
}, Open  ]],
Cell[CellGroupData[{
Cell[121052, 3006, 810, 23, 50, "Input", "ExpressionUUID" -> \
"e76bf732-4949-4185-b07b-80e9d48a718a"],
Cell[121865, 3031, 725, 23, 52, "Output", "ExpressionUUID" -> \
"2722c1b0-3ea5-4db0-9006-12cd13a5387e"]
}, Open  ]],
Cell[CellGroupData[{
Cell[122627, 3059, 1495, 42, 55, "Input", "ExpressionUUID" -> \
"aaea3ea3-b207-4d18-a980-393d9948ed05"],
Cell[124125, 3103, 766, 21, 52, "Output", "ExpressionUUID" -> \
"c3000c57-95ff-4d5f-afe1-ff9fab51e0c4"]
}, Open  ]],
Cell[CellGroupData[{
Cell[124928, 3129, 599, 19, 53, "Input", "ExpressionUUID" -> \
"e7031400-9e99-4568-9b29-73521fafe760"],
Cell[125530, 3150, 512, 16, 49, "Output", "ExpressionUUID" -> \
"725b0bcf-7a17-4f8b-987d-2118a6a4c000"]
}, Open  ]],
Cell[CellGroupData[{
Cell[126079, 3171, 1063, 34, 55, "Input", "ExpressionUUID" -> \
"d7b50058-2ed2-4d82-a4c1-db4f5729d9c8"],
Cell[127145, 3207, 362, 11, 52, "Output", "ExpressionUUID" -> \
"5a406cd5-a4ba-4323-9da6-08ad8b3629a1"]
}, Open  ]],
Cell[CellGroupData[{
Cell[127544, 3223, 403, 12, 53, "Input", "ExpressionUUID" -> \
"55fba408-1201-44ce-85b5-a7a1cef4380d"],
Cell[127950, 3237, 349, 11, 49, "Output", "ExpressionUUID" -> \
"b7ce2aaf-9709-423f-b5a9-cbb7a636b105"]
}, Open  ]]
}
]
*)