Zeilberger_implemenation_feasibility.nb
(* Content-type: application/vnd.wolfram.mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 11.3' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 158, 7]
NotebookDataLength[ 40213, 1197]
NotebookOptionsPosition[ 35516, 1108]
NotebookOutlinePosition[ 35849, 1123]
CellTagsIndexPosition[ 35806, 1120]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[CellGroupData[{
Cell["Notebook for Zeilberger\[CloseCurlyQuote]s algorithm", "Title",
CellChangeTimes->{{3.8212572935351467`*^9, 3.821257294289695*^9}, {
3.821257917327559*^9,
3.821257936607318*^9}},ExpressionUUID->"afff3df8-2a3c-452a-bb6c-\
54d373073c33"],
Cell[BoxData[
RowBox[{"<<", "RISC`fastZeil`"}]], "Input",
CellLabel->"In[1]:=",ExpressionUUID->"67259d0a-33a3-45e5-bc77-8b6ab8751956"],
Cell["\<\
Fast Zeilberger Package version 3.61
written by Peter Paule, Markus Schorn, and Axel Riese
Copyright Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria\
\>", "Text",
CellFrame->True,
GeneratedCell->True,
CellAutoOverwrite->True,
CellChangeTimes->{3.82125729798236*^9},
ShowAutoSpellCheck->False,
FontColor->RGBColor[0, 0, 0],
Background->RGBColor[
0.796887, 0.789075,
0.871107],ExpressionUUID->"b706cc5e-0e94-4ada-9471-224ba3ce67fe"],
Cell[BoxData[""], "Input",
CellChangeTimes->{{3.8212573030586853`*^9,
3.821257307042148*^9}},ExpressionUUID->"37755a5e-3ea7-4adf-b788-\
cf6dc5abba31"],
Cell[CellGroupData[{
Cell[TextData[StyleBox["n even",
FontSize->36,
Background->GrayLevel[0.85]]], "Section",
CellChangeTimes->{{3.8212575376649313`*^9,
3.821257544352496*^9}},ExpressionUUID->"7188a54f-56b5-4054-8954-\
0cfb565991f4"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{"Fnkeven", "[",
RowBox[{"n_", ",", "k_"}], "]"}], "=", " ",
RowBox[{
FractionBox["1",
RowBox[{"2", "^", "n"}]],
RowBox[{"Binomial", "[",
RowBox[{"k", ",",
FractionBox["k", "2"]}], "]"}],
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{"n", "-", "k"}], ",",
FractionBox[
RowBox[{"(",
RowBox[{"n", "-", "k"}], ")"}], "2"]}], "]"}]}]}]], "Input",
CellChangeTimes->{{3.821257313397375*^9, 3.8212573179377604`*^9}, {
3.821257359257966*^9, 3.821257465975994*^9}, {3.821329687798911*^9,
3.821329736020528*^9}, {3.821330153637083*^9, 3.821330169121686*^9}, {
3.821330215734475*^9, 3.821330215778335*^9}},
CellLabel->"In[34]:=",ExpressionUUID->"642995d3-8739-489c-8c4c-79359adfc7e6"],
Cell[BoxData[
RowBox[{
SuperscriptBox["2",
RowBox[{"-", "n"}]], " ",
RowBox[{"Binomial", "[",
RowBox[{"k", ",",
FractionBox["k", "2"]}], "]"}], " ",
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{
RowBox[{"-", "k"}], "+", "n"}], ",",
RowBox[{
FractionBox["1", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "k"}], "+", "n"}], ")"}]}]}], "]"}]}]], "Output",
CellChangeTimes->{{3.821257450808611*^9, 3.821257466165464*^9}, {
3.821330146443686*^9, 3.821330172428409*^9}, 3.8213302280837708`*^9},
CellLabel->"Out[34]=",ExpressionUUID->"4d1cc436-793e-4596-aeb7-3d0d0dd575ec"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[{
RowBox[{
RowBox[{"pn", "[", "n_", "]"}], " ", "=", " ",
RowBox[{"Sqrt", "[",
RowBox[{
FractionBox["1",
RowBox[{
RowBox[{"2", "^", "n"}], " ",
RowBox[{"Factorial", "[", "n", "]"}]}]],
RowBox[{"Binomial", "[",
RowBox[{"n", ",",
FractionBox["n", "2"]}], "]"}]}], "]"}]}], "\[IndentingNewLine]",
RowBox[{
RowBox[{"pnk", "[",
RowBox[{"n_", ",", "k_"}], "]"}], " ", "=", " ",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"-", "1"}], ")"}], "^",
RowBox[{"(",
RowBox[{"k", "/", "2"}], ")"}]}], " ",
RowBox[{"2", "^",
RowBox[{"(",
RowBox[{"k", "/", "2"}], ")"}]}], " ",
RowBox[{"Factorial", "[",
FractionBox["k", "2"], "]"}], " ",
RowBox[{
RowBox[{"Binomial", "[",
RowBox[{
FractionBox["n", "2"], ",",
FractionBox["k", "2"]}], "]"}], "^", "2"}], " ",
RowBox[{"pn", "[", "n", "]"}]}]}]}], "Input",
CellChangeTimes->{{3.8212574563797083`*^9, 3.821257479072673*^9}, {
3.821258836534521*^9, 3.8212589679991493`*^9}, {3.821262384572823*^9,
3.821262399290142*^9}, {3.8213297442158613`*^9, 3.821329802868559*^9}, {
3.8213299799268427`*^9, 3.821329980723029*^9}, {3.821330122853505*^9,
3.821330124290222*^9}, {3.821330175045886*^9, 3.821330204850154*^9}},
CellLabel->"In[29]:=",ExpressionUUID->"e229a378-8f4b-4f82-8dfb-456388ce893d"],
Cell[BoxData[
SqrtBox[
FractionBox[
RowBox[{
SuperscriptBox["2",
RowBox[{"-", "n"}]], " ",
RowBox[{"Binomial", "[",
RowBox[{"n", ",",
FractionBox["n", "2"]}], "]"}]}],
RowBox[{"n", "!"}]]]], "Output",
CellChangeTimes->{
3.821258970674712*^9, 3.8212624315059233`*^9, {3.821330147417506*^9,
3.821330205367879*^9}},
CellLabel->"Out[29]=",ExpressionUUID->"fe5e6f37-849d-4671-86df-bfcbe258d246"],
Cell[BoxData[
RowBox[{
SuperscriptBox["\[ImaginaryI]", "k"], " ",
SuperscriptBox["2",
RowBox[{"k", "/", "2"}]], " ",
SuperscriptBox[
RowBox[{"Binomial", "[",
RowBox[{
FractionBox["n", "2"], ",",
FractionBox["k", "2"]}], "]"}], "2"], " ",
RowBox[{
FractionBox["k", "2"], "!"}], " ",
SqrtBox[
FractionBox[
RowBox[{
SuperscriptBox["2",
RowBox[{"-", "n"}]], " ",
RowBox[{"Binomial", "[",
RowBox[{"n", ",",
FractionBox["n", "2"]}], "]"}]}],
RowBox[{"n", "!"}]]]}]], "Output",
CellChangeTimes->{
3.821258970674712*^9, 3.8212624315059233`*^9, {3.821330147417506*^9,
3.821330205369993*^9}},
CellLabel->"Out[30]=",ExpressionUUID->"cec10417-186c-4805-8616-61946101509e"]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell["l even: Eq. (121) from main text", "Subchapter",
CellChangeTimes->{{3.821259858461774*^9, 3.821259873372992*^9}, {
3.821351374858779*^9, 3.821351388186841*^9}, {3.8213659722547493`*^9,
3.821365981708229*^9}},ExpressionUUID->"f55cebd0-b790-4896-adbc-\
ee8029954678"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
RowBox[{"Fnkeven", "[",
RowBox[{
RowBox[{"2", "t"}], ",",
RowBox[{"2", "k"}]}], "]"}], "*",
FractionBox[
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{"2", "k"}], ",",
RowBox[{"2", "s"}]}], "]"}],
RowBox[{"Factorial", "[",
RowBox[{"2", "s"}], "]"}]]}], ",",
RowBox[{"{",
RowBox[{"k", ",", "s", ",", "t"}], "}"}], ",", "t"}], "]"}]], "Input",
CellChangeTimes->{{3.8212576201079082`*^9, 3.821257629688908*^9}, {
3.821257725224614*^9, 3.8212577300071163`*^9}, {3.821257793128336*^9,
3.821257853619238*^9}, {3.821329817941325*^9, 3.821329912403706*^9}, {
3.821330043141902*^9, 3.8213300628349257`*^9}, {3.821330134165975*^9,
3.821330135330515*^9}, {3.821330209601385*^9, 3.8213302180745373`*^9}, {
3.821330248133019*^9, 3.8213302969457207`*^9}},
CellLabel->"In[39]:=",ExpressionUUID->"b6330092-4d72-4be9-a1c4-03d95d57b393"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `-s + t' is a natural number and `2 s' is no negative \
integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `-s + t' is a natural number and `2 s' is no negative integer", "",
", then:"],
Editable->False]], "Print",
CellChangeTimes->{
3.821330230045001*^9, {3.821330278413114*^9, 3.821330298390438*^9}},
CellLabel->
"During evaluation of \
In[39]:=",ExpressionUUID->"521a8c0d-a055-4778-b3ca-c2f06f462aa7"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{"2", " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "8"}], "+",
RowBox[{"5", " ", "s"}], "-",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "-",
RowBox[{"11", " ", "t"}], "+",
RowBox[{"4", " ", "s", " ", "t"}], "-",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "3"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "2"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{
3.821257854270795*^9, 3.821262434014986*^9, 3.82133014959529*^9, {
3.8213302126335363`*^9, 3.821330230047*^9}, {3.8213302784152613`*^9,
3.8213302983923683`*^9}},
CellLabel->"Out[39]=",ExpressionUUID->"dae80cd9-f45e-434d-b507-0582fff1603f"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
RowBox[{"pnk", "[",
RowBox[{
RowBox[{"2", "t"}], ",",
RowBox[{"2", "i"}]}], "]"}], " ",
RowBox[{"pnk", "[",
RowBox[{
RowBox[{"2", "t"}], ",",
RowBox[{
RowBox[{"4", "t"}], "-",
RowBox[{"4", "s"}], "-",
RowBox[{"2", "i"}]}]}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"i", ",", "0", ",",
RowBox[{
RowBox[{"2", "t"}], "-",
RowBox[{"2", "s"}]}]}], "}"}], ",", "t"}], "]"}]], "Input",
CellChangeTimes->{{3.82125897932833*^9, 3.8212590106554956`*^9}, {
3.8212590861825933`*^9, 3.8212591859267282`*^9}, {3.8212624047488527`*^9,
3.821262412129139*^9}, {3.821330326179001*^9, 3.821330344479478*^9}},
CellLabel->"In[40]:=",ExpressionUUID->"e457f6e6-db20-45a5-8775-4d8ba8bbee5f"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `-2 s + 2 t' is a natural number and `2 t' is no negative \
integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `-2 s + 2 t' is a natural number and `2 t' is no negative integer", "",
", then:"],
Editable->False]], "Print",
CellChangeTimes->{{3.82125917730969*^9, 3.821259187911084*^9},
3.821262435686399*^9, 3.821330345638859*^9},
CellLabel->
"During evaluation of \
In[40]:=",ExpressionUUID->"03cb16f5-791e-448c-b1b4-8dd7125b077d"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"-", "2"}], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{"8", "-",
RowBox[{"5", " ", "s"}], "+",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "+",
RowBox[{"11", " ", "t"}], "-",
RowBox[{"4", " ", "s", " ", "t"}], "+",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "-",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "3"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "2"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{{3.821259177337192*^9, 3.821259187917712*^9},
3.821262435688601*^9, 3.8213303456403923`*^9},
CellLabel->"Out[40]=",ExpressionUUID->"a6d0e211-f707-4255-a9ef-139ecd81c8a0"]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell["l odd: Eq. (125) from maint text", "Subchapter",
CellChangeTimes->{{3.821259734354743*^9, 3.821259771981605*^9}, {
3.8212599379071093`*^9, 3.821259953332859*^9}, {3.82135139026643*^9,
3.821351417482506*^9}, {3.8213659846041393`*^9,
3.821365996156756*^9}},ExpressionUUID->"23875361-82b5-4639-8397-\
ba8ec3ee212b"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
RowBox[{"-",
RowBox[{"Fnkeven", "[",
RowBox[{
RowBox[{"2", "t"}], ",",
RowBox[{"2", "k"}]}], "]"}]}], "*",
FractionBox[
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{"2", "k"}], ",",
RowBox[{
RowBox[{"2", "s"}], "+", "1"}]}], "]"}],
RowBox[{"Factorial", "[",
RowBox[{
RowBox[{"2", "s"}], "+", "1"}], "]"}]]}], ",",
RowBox[{"{",
RowBox[{"k", ",",
RowBox[{"s", "+", "1"}], ",", "t"}], "}"}], ",", "t"}], "]"}]], "Input",
CellChangeTimes->{{3.8212599557782507`*^9, 3.821259955780674*^9}, {
3.8212602193330383`*^9, 3.821260219439329*^9}, {3.8212602587311983`*^9,
3.821260296885339*^9}, 3.821261030237136*^9, {3.821330414610487*^9,
3.8213304293290043`*^9}, {3.821338567127894*^9, 3.821338567684111*^9}},
CellLabel->"In[93]:=",ExpressionUUID->"4ac93a86-8a1c-47d2-b1a4-048a7e4ca410"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `-1 - s + t' is a natural number and `2 (1 + s)' is no \
negative integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `-1 - s + t' is a natural number and `2 (1 + s)' is no negative \
integer", "", ", then:"],
Editable->False]], "Print",
CellChangeTimes->{3.82126029803782*^9, 3.821261031478837*^9,
3.8212624378979063`*^9, 3.821330430404889*^9, 3.821338568723531*^9},
CellLabel->
"During evaluation of \
In[93]:=",ExpressionUUID->"31e89dd1-7060-485b-8e0d-a68b1a2c5b81"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{"2", " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "6"}], "+",
RowBox[{"3", " ", "s"}], "-",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "-",
RowBox[{"9", " ", "t"}], "+",
RowBox[{"4", " ", "s", " ", "t"}], "-",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "3"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "1"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{3.821259960225251*^9, 3.8212602980396852`*^9,
3.8212610314811697`*^9, 3.8212624378996696`*^9, 3.821330430407014*^9,
3.8213385687254753`*^9},
CellLabel->"Out[93]=",ExpressionUUID->"cf222e9b-0f00-4615-adfd-576960788e6d"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
RowBox[{"pnk", "[",
RowBox[{
RowBox[{"2", "t"}], ",",
RowBox[{"2", "i"}]}], "]"}],
RowBox[{"pnk", "[",
RowBox[{
RowBox[{"2", "t"}], ",",
RowBox[{
RowBox[{"4", "t"}], "-",
RowBox[{"4", "s"}], "-",
RowBox[{"2", "i"}], "-", "2"}]}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"i", ",", "0", ",",
RowBox[{
RowBox[{"2", "t"}], "-",
RowBox[{"2", "s"}], "-", "1"}]}], "}"}], ",", "t"}], "]"}]], "Input",
CellChangeTimes->{{3.82126096379207*^9, 3.821260999824243*^9}, {
3.82126241803778*^9, 3.82126242869739*^9}, {3.82133048561854*^9,
3.821330493791184*^9}},
CellLabel->"In[94]:=",ExpressionUUID->"5c648dc0-4d97-4c43-9b7e-95f88df1bab1"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `-1 - 2 s + 2 t' is a natural number and `2 t' is no \
negative integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `-1 - 2 s + 2 t' is a natural number and `2 t' is no negative integer",
"", ", then:"],
Editable->False]], "Print",
CellChangeTimes->{3.821261002534809*^9, 3.8212624395841208`*^9,
3.82133049449503*^9, 3.821338571916924*^9},
CellLabel->
"During evaluation of \
In[94]:=",ExpressionUUID->"b26dcf45-56d3-4135-ad4d-8836d84760a2"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"-", "2"}], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{
RowBox[{"(",
RowBox[{"6", "-",
RowBox[{"3", " ", "s"}], "+",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "+",
RowBox[{"9", " ", "t"}], "-",
RowBox[{"4", " ", "s", " ", "t"}], "+",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "-",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "3"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "1"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{{3.821260988281444*^9, 3.821261002536456*^9},
3.8212624395857964`*^9, 3.821330494496585*^9, 3.8213385719186373`*^9},
CellLabel->"Out[94]=",ExpressionUUID->"ccb7f9da-9681-4bbb-bca4-4f21348b4ca6"]
}, Open ]],
Cell[CellGroupData[{
Cell[TextData[StyleBox["n odd",
FontSize->36,
Background->GrayLevel[0.85]]], "Section",
CellChangeTimes->{{3.8212575376649313`*^9, 3.821257544352496*^9}, {
3.8212648006696367`*^9,
3.821264802230742*^9}},ExpressionUUID->"4ee5bec7-e57b-4abb-aca8-\
b6d8fac8ca83"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{
RowBox[{
RowBox[{"qnk", "[",
RowBox[{"n_", ",", "k_"}], "]"}], " ", "=", " ",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"-", "1"}], ")"}], "^",
RowBox[{"(",
FractionBox["k", "2"], ")"}]}], " ",
RowBox[{"2", "^",
RowBox[{"(",
FractionBox["k", "2"], ")"}]}],
RowBox[{"Factorial", "[",
FractionBox["k", "2"], "]"}],
FractionBox[
RowBox[{"(",
RowBox[{"n", "+", "1"}], ")"}],
RowBox[{"n", "-", "k", "+", "1"}]],
RowBox[{
RowBox[{"Binomial", "[",
RowBox[{
FractionBox[
RowBox[{"n", "-", "1"}], "2"], ",",
FractionBox["k", "2"]}], "]"}], "^", "2"}]}]}],
"\[IndentingNewLine]"}]], "Input",
CellChangeTimes->{{3.8212661620433702`*^9, 3.821266238569993*^9}, {
3.821278728201686*^9, 3.821278735154029*^9}, {3.821278768236391*^9,
3.82127876951803*^9}, {3.821280152246846*^9, 3.821280185018351*^9}, {
3.821280476651019*^9, 3.821280483741295*^9}, {3.8213307138094254`*^9,
3.821330749008554*^9}, {3.821330799540412*^9, 3.8213308268965073`*^9}, {
3.821331444849167*^9, 3.821331557822669*^9}, {3.821331613458433*^9,
3.82133161917047*^9}, {3.8213317341465816`*^9, 3.821331735246643*^9}},
CellLabel->"In[65]:=",ExpressionUUID->"a51f6630-66eb-4df7-9b35-1f0a61b1dffa"],
Cell[BoxData[
FractionBox[
RowBox[{
SuperscriptBox["\[ImaginaryI]", "k"], " ",
SuperscriptBox["2",
RowBox[{"k", "/", "2"}]], " ",
RowBox[{"(",
RowBox[{"1", "+", "n"}], ")"}], " ",
SuperscriptBox[
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{
FractionBox["1", "2"], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "1"}], "+", "n"}], ")"}]}], ",",
FractionBox["k", "2"]}], "]"}], "2"], " ",
RowBox[{
FractionBox["k", "2"], "!"}]}],
RowBox[{"1", "-", "k", "+", "n"}]]], "Output",
CellChangeTimes->{{3.8212662284322243`*^9, 3.8212662322277393`*^9},
3.821267032300487*^9, 3.8212787357105637`*^9, 3.821278770719701*^9,
3.821280484708021*^9, 3.8213313386492023`*^9, 3.821331434062352*^9,
3.821331588980382*^9, 3.821331620064259*^9, 3.821331741558009*^9},
CellLabel->"Out[65]=",ExpressionUUID->"01689896-0df8-44ac-a07d-d063de629f86"]
}, Open ]]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell["l even: Eq. (132) from main text", "Subchapter",
CellChangeTimes->{{3.821259734354743*^9, 3.821259771981605*^9}, {
3.8212599379071093`*^9, 3.821259953332859*^9}, {3.8212703146572123`*^9,
3.821270315913044*^9}, {3.821351425946478*^9, 3.8213514434830227`*^9}, {
3.821366000221126*^9,
3.821366007788892*^9}},ExpressionUUID->"334231ac-f807-44b2-a892-\
fd3a3aa94df7"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
FractionBox[
RowBox[{"Factorial", "[",
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], "]"}],
RowBox[{"Factorial", "[",
RowBox[{"2", "s"}], "]"}]], " ",
FractionBox[
RowBox[{
RowBox[{
RowBox[{"Binomial", "[",
RowBox[{"t", ",",
RowBox[{"k", "+", "s"}]}], "]"}], "^", "2"}], " ",
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{
RowBox[{"2", "k"}], "+",
RowBox[{"2", "s"}]}], ",",
RowBox[{"2", "s"}]}], "]"}]}],
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], ",",
RowBox[{
RowBox[{"2", "k"}], "+",
RowBox[{"2", "s"}]}]}], "]"}]],
RowBox[{"(",
RowBox[{"1", "-",
FractionBox[
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"2", "k"}], "+",
RowBox[{"2", "s"}], "+", "1"}], ")"}], "^", "2"}],
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"2", "k"}], "+", "1"}], ")"}],
RowBox[{"(",
RowBox[{
RowBox[{"2", "t"}], "-",
RowBox[{"2", "s"}], "-",
RowBox[{"2", "k"}], "+", "1"}], ")"}]}]]}], ")"}]}], ",",
RowBox[{"{",
RowBox[{"k", ",", "0", ",",
RowBox[{"t", "-", "s"}]}], "}"}], ",", "t"}], "]"}]], "Input",
CellChangeTimes->{
3.821267149722536*^9, {3.821267226756892*^9, 3.8212672268057404`*^9}, {
3.8212673117728024`*^9, 3.821267363827508*^9}, {3.821270114345997*^9,
3.82127028319593*^9}, {3.821277914266099*^9, 3.821277954547346*^9}, {
3.821277991930708*^9, 3.821277996003055*^9}, {3.8212789021819143`*^9,
3.821278932203298*^9}, {3.821278966444414*^9, 3.8212789993669443`*^9}, {
3.821332042461319*^9, 3.821332073674252*^9}},
CellLabel->"In[80]:=",ExpressionUUID->"a6494a7d-80e5-4573-8bf9-78a49bd5cd18"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `-s + t' is a natural number and none of {2 s, 1 + 2 t} is \
a negative integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `-s + t' is a natural number and none of {2 s, 1 + 2 t} is a negative \
integer", "", ", then:"],
Editable->False]], "Print",
CellChangeTimes->{
3.8212702868366003`*^9, {3.8212779751773357`*^9, 3.8212779985927067`*^9}, {
3.8212789448376904`*^9, 3.821278968057384*^9}, 3.821279001060855*^9,
3.821332075116858*^9, 3.821335081278955*^9},
CellLabel->
"During evaluation of \
In[80]:=",ExpressionUUID->"b7048dc9-dcae-47a7-aa8a-d84fadec33b4"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"-", "32"}], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], "3"], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{"4", " ",
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"14", "-",
RowBox[{"7", " ", "s"}], "+",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "+",
RowBox[{"15", " ", "t"}], "-",
RowBox[{"4", " ", "s", " ", "t"}], "+",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "-",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "5"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "2"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{
3.8212673656963043`*^9, 3.82127028683847*^9, {3.821277975182021*^9,
3.8212779985965137`*^9}, {3.821278944842094*^9, 3.821278968061018*^9},
3.821279001062707*^9, 3.82133207511895*^9, 3.8213350812811537`*^9},
CellLabel->"Out[80]=",ExpressionUUID->"2508e796-7f31-4d3e-807f-80118dcb55ee"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
RowBox[{"qnk", "[",
RowBox[{
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], ",",
RowBox[{"2", "i"}]}], "]"}],
RowBox[{"qnk", "[",
RowBox[{
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], ",",
RowBox[{
RowBox[{"4", "t"}], "+", "2", "-",
RowBox[{"4", "s"}], "-",
RowBox[{"2", "i"}]}]}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"i", ",", "0", ",",
RowBox[{
RowBox[{"2", "t"}], "+", "1", "-",
RowBox[{"2", "s"}]}]}], "}"}], ",", "t"}], "]"}]], "Input",
CellChangeTimes->{{3.821270328665956*^9, 3.8212703324983892`*^9}, {
3.8212802199696302`*^9, 3.821280248778545*^9}, {3.821331749520073*^9,
3.8213317605408497`*^9}, {3.8213317960636873`*^9, 3.821331801820456*^9}},
CellLabel->"In[81]:=",ExpressionUUID->"6b9b8028-7473-4e94-917f-c0d2e320e436"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `1 - 2 s + 2 t' is a natural number and `t' is no negative \
integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `1 - 2 s + 2 t' is a natural number and `t' is no negative integer", "",
", then:"],
Editable->False]], "Print",
CellChangeTimes->{
3.8212788936603413`*^9, 3.821280363727721*^9, 3.8212804876193953`*^9,
3.821331437834724*^9, 3.821331598556823*^9, {3.821331745600428*^9,
3.821331761394216*^9}, 3.821331803322056*^9, 3.821335083083053*^9},
CellLabel->
"During evaluation of \
In[81]:=",ExpressionUUID->"0fa94e73-6e94-4063-b443-63090a56c4a9"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"-", "32"}], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], "3"], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{"4", " ",
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"14", "-",
RowBox[{"7", " ", "s"}], "+",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "+",
RowBox[{"15", " ", "t"}], "-",
RowBox[{"4", " ", "s", " ", "t"}], "+",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "-",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "5"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "2"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{
3.821270334229905*^9, {3.8212787409522543`*^9, 3.8212787432267437`*^9},
3.821278893662324*^9, 3.8212803637470293`*^9, 3.821280487621372*^9,
3.821331437836647*^9, 3.821331598558543*^9, {3.821331745602277*^9,
3.821331761396326*^9}, 3.821331803323773*^9, 3.821335083084813*^9},
CellLabel->"Out[81]=",ExpressionUUID->"9a9b4a44-ecfb-4862-a366-9b2d32166251"]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell["l odd: Eq. (135) from main text", "Subchapter",
CellChangeTimes->{{3.821259734354743*^9, 3.821259771981605*^9}, {
3.8212599379071093`*^9, 3.821259953332859*^9}, {3.8212703146572123`*^9,
3.821270315913044*^9}, {3.821335408425516*^9, 3.8213354086659107`*^9}, {
3.821351450090232*^9, 3.821351458824938*^9}, {3.821366012140115*^9,
3.821366022125353*^9}},ExpressionUUID->"cffe159f-de5b-45c4-a3e1-\
f984239ca36c"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
RowBox[{"qnk", "[",
RowBox[{
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], ",",
RowBox[{"2", "i"}]}], "]"}],
RowBox[{"qnk", "[",
RowBox[{
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], ",",
RowBox[{
RowBox[{"4", "t"}], "-",
RowBox[{"4", "s"}], "-",
RowBox[{"2", "i"}]}]}], "]"}]}], ",",
RowBox[{"{",
RowBox[{"i", ",", "0", ",",
RowBox[{
RowBox[{"2", "t"}], "-",
RowBox[{"2", "s"}]}]}], "}"}], ",", "t"}], "]"}]], "Input",
CellLabel->"In[83]:=",ExpressionUUID->"b12e010c-9985-41f8-a08d-88920a5d9e3b"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `-2 s + 2 t' is a natural number and `t' is no negative \
integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `-2 s + 2 t' is a natural number and `t' is no negative integer", "",
", then:"],
Editable->False]], "Print",
CellChangeTimes->{3.8213354211780033`*^9},
CellLabel->
"During evaluation of \
In[83]:=",ExpressionUUID->"1515fd32-b550-40fb-9769-7043240f5786"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"-", "32"}], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], "3"], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{"4", " ",
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"11", "-",
RowBox[{"5", " ", "s"}], "+",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "+",
RowBox[{"13", " ", "t"}], "-",
RowBox[{"4", " ", "s", " ", "t"}], "+",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "-",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "3"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "2"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{3.821335421179323*^9},
CellLabel->"Out[83]=",ExpressionUUID->"3f926d00-a3b2-41e4-88c5-b83c5097cb41"]
}, Open ]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"Zb", "[",
RowBox[{
RowBox[{
FractionBox[
RowBox[{"Factorial", "[",
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], "]"}],
RowBox[{"Factorial", "[",
RowBox[{
RowBox[{"2", "s"}], "+", "1"}], "]"}]], " ",
FractionBox[
RowBox[{
RowBox[{
RowBox[{"Binomial", "[",
RowBox[{"t", ",",
RowBox[{"k", "+", "s"}]}], "]"}], "^", "2"}], " ",
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{
RowBox[{"2", "k"}], "+",
RowBox[{"2", "s"}]}], ",",
RowBox[{
RowBox[{"2", "s"}], "+", "1"}]}], "]"}]}],
RowBox[{"Binomial", "[",
RowBox[{
RowBox[{
RowBox[{"2", "t"}], "+", "1"}], ",",
RowBox[{
RowBox[{"2", "k"}], "+",
RowBox[{"2", "s"}]}]}], "]"}]],
RowBox[{"(",
RowBox[{
RowBox[{"-", "1"}], "+",
FractionBox[
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"2", "k"}], "+",
RowBox[{"2", "s"}], "+", "1"}], ")"}], "^", "2"}],
RowBox[{
RowBox[{"(",
RowBox[{"2", "k"}], ")"}],
RowBox[{"(",
RowBox[{
RowBox[{"2", "t"}], "-",
RowBox[{"2", "s"}], "-",
RowBox[{"2", "k"}], "+", "1"}], ")"}]}]]}], ")"}]}], ",",
RowBox[{"{",
RowBox[{"k", ",", "0", ",",
RowBox[{"t", "-", "s"}]}], "}"}], ",", "t"}], "]"}]], "Input",
CellChangeTimes->{{3.821342072383679*^9, 3.821342073819322*^9}},
CellLabel->
"In[104]:=",ExpressionUUID->"a3b36695-1495-4d52-9309-596a39bb30f9"],
Cell[BoxData[
InterpretationBox[
RowBox[{"\<\"If `-s + t' is a natural number and none of {2 s, 1 + 2 t} is \
a negative integer\"\>", "\[InvisibleSpace]", "\<\"\"\>",
"\[InvisibleSpace]", "\<\", then:\"\>"}],
SequenceForm[
"If `-s + t' is a natural number and none of {2 s, 1 + 2 t} is a negative \
integer", "", ", then:"],
Editable->False]], "Print",
CellChangeTimes->{3.821338546761168*^9, 3.821342074651867*^9},
CellLabel->
"During evaluation of \
In[104]:=",ExpressionUUID->"6afb5bd6-0f03-4a99-825c-83a93c915046"],
Cell[BoxData[
RowBox[{"{",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"-", "32"}], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"1", "+", "t"}], ")"}], "2"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], "3"], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[", "t", "]"}],
HoldForm]}], "+",
RowBox[{"4", " ",
RowBox[{"(",
RowBox[{"2", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"3", "+", "t"}], ")"}], " ",
RowBox[{"(",
RowBox[{"11", "-",
RowBox[{"5", " ", "s"}], "+",
RowBox[{"2", " ",
SuperscriptBox["s", "2"]}], "+",
RowBox[{"13", " ", "t"}], "-",
RowBox[{"4", " ", "s", " ", "t"}], "+",
RowBox[{"4", " ",
SuperscriptBox["t", "2"]}]}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"1", "+", "t"}], "]"}],
HoldForm]}], "-",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"-", "3"}], "+",
RowBox[{"2", " ", "s"}], "-",
RowBox[{"2", " ", "t"}]}], ")"}], " ",
RowBox[{"(",
RowBox[{
RowBox[{"-", "2"}], "+", "s", "-", "t"}], ")"}], " ",
TagBox[
RowBox[{"SUM", "[",
RowBox[{"2", "+", "t"}], "]"}],
HoldForm]}]}], "\[Equal]", "0"}], "}"}]], "Output",
CellChangeTimes->{3.8213385467622633`*^9, 3.821342074653708*^9},
CellLabel->
"Out[104]=",ExpressionUUID->"6adf96e5-61fb-46a7-8b8e-253f1775570e"]
}, Open ]]
}, Open ]]
}, Open ]]
},
WindowSize->{960, 1017},
WindowMargins->{{0, Automatic}, {0, Automatic}},
FrontEndVersion->"11.3 for Linux x86 (64-bit) (March 6, 2018)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)
(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 246, 4, 98, "Title",ExpressionUUID->"afff3df8-2a3c-452a-bb6c-54d373073c33"],
Cell[829, 28, 136, 2, 31, "Input",ExpressionUUID->"67259d0a-33a3-45e5-bc77-8b6ab8751956"],
Cell[968, 32, 499, 14, 122, "Text",ExpressionUUID->"b706cc5e-0e94-4ada-9471-224ba3ce67fe"],
Cell[1470, 48, 154, 3, 31, "Input",ExpressionUUID->"37755a5e-3ea7-4adf-b788-cf6dc5abba31"],
Cell[CellGroupData[{
Cell[1649, 55, 218, 5, 77, "Section",ExpressionUUID->"7188a54f-56b5-4054-8954-0cfb565991f4"],
Cell[CellGroupData[{
Cell[1892, 64, 775, 20, 57, "Input",ExpressionUUID->"642995d3-8739-489c-8c4c-79359adfc7e6"],
Cell[2670, 86, 634, 18, 54, "Output",ExpressionUUID->"4d1cc436-793e-4596-aeb7-3d0d0dd575ec"]
}, Open ]],
Cell[CellGroupData[{
Cell[3341, 109, 1378, 37, 110, "Input",ExpressionUUID->"e229a378-8f4b-4f82-8dfb-456388ce893d"],
Cell[4722, 148, 436, 13, 76, "Output",ExpressionUUID->"fe5e6f37-849d-4671-86df-bfcbe258d246"],
Cell[5161, 163, 754, 24, 76, "Output",ExpressionUUID->"cec10417-186c-4805-8616-61946101509e"]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell[5964, 193, 277, 4, 65, "Subchapter",ExpressionUUID->"f55cebd0-b790-4896-adbc-ee8029954678"],
Cell[CellGroupData[{
Cell[6266, 201, 964, 23, 59, "Input",ExpressionUUID->"b6330092-4d72-4be9-a1c4-03d95d57b393"],
Cell[7233, 226, 532, 13, 25, "Print",ExpressionUUID->"521a8c0d-a055-4778-b3ca-c2f06f462aa7"],
Cell[7768, 241, 1364, 43, 40, "Output",ExpressionUUID->"dae80cd9-f45e-434d-b507-0582fff1603f"]
}, Open ]],
Cell[CellGroupData[{
Cell[9169, 289, 825, 23, 31, "Input",ExpressionUUID->"e457f6e6-db20-45a5-8775-4d8ba8bbee5f"],
Cell[9997, 314, 562, 13, 25, "Print",ExpressionUUID->"03cb16f5-791e-448c-b1b4-8dd7125b077d"],
Cell[10562, 329, 1287, 41, 40, "Output",ExpressionUUID->"a6d0e211-f707-4255-a9ef-139ecd81c8a0"]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell[11898, 376, 327, 5, 65, "Subchapter",ExpressionUUID->"23875361-82b5-4639-8397-ba8ec3ee212b"],
Cell[CellGroupData[{
Cell[12250, 385, 950, 25, 59, "Input",ExpressionUUID->"4ac93a86-8a1c-47d2-b1a4-048a7e4ca410"],
Cell[13203, 412, 593, 13, 25, "Print",ExpressionUUID->"31e89dd1-7060-485b-8e0d-a68b1a2c5b81"],
Cell[13799, 427, 1338, 42, 40, "Output",ExpressionUUID->"cf222e9b-0f00-4615-adfd-576960788e6d"]
}, Open ]],
Cell[CellGroupData[{
Cell[15174, 474, 783, 23, 31, "Input",ExpressionUUID->"5c648dc0-4d97-4c43-9b7e-95f88df1bab1"],
Cell[15960, 499, 569, 13, 25, "Print",ExpressionUUID->"b26dcf45-56d3-4135-ad4d-8836d84760a2"],
Cell[16532, 514, 1310, 41, 40, "Output",ExpressionUUID->"ccb7f9da-9681-4bbb-bca4-4f21348b4ca6"]
}, Open ]],
Cell[CellGroupData[{
Cell[17879, 560, 268, 6, 77, "Section",ExpressionUUID->"4ee5bec7-e57b-4abb-aca8-b6d8fac8ca83"],
Cell[CellGroupData[{
Cell[18172, 570, 1323, 34, 83, "Input",ExpressionUUID->"a51f6630-66eb-4df7-9b35-1f0a61b1dffa"],
Cell[19498, 606, 923, 24, 66, "Output",ExpressionUUID->"01689896-0df8-44ac-a07d-d063de629f86"]
}, Open ]]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell[20482, 637, 379, 6, 65, "Subchapter",ExpressionUUID->"334231ac-f807-44b2-a892-fd3a3aa94df7"],
Cell[CellGroupData[{
Cell[20886, 647, 1922, 56, 93, "Input",ExpressionUUID->"a6494a7d-80e5-4573-8bf9-78a49bd5cd18"],
Cell[22811, 705, 690, 15, 25, "Print",ExpressionUUID->"b7048dc9-dcae-47a7-aa8a-d84fadec33b4"],
Cell[23504, 722, 1701, 52, 67, "Output",ExpressionUUID->"2508e796-7f31-4d3e-807f-80118dcb55ee"]
}, Open ]],
Cell[CellGroupData[{
Cell[25242, 779, 897, 25, 31, "Input",ExpressionUUID->"6b9b8028-7473-4e94-917f-c0d2e320e436"],
Cell[26142, 806, 686, 15, 25, "Print",ExpressionUUID->"0fa94e73-6e94-4063-b443-63090a56c4a9"],
Cell[26831, 823, 1773, 53, 67, "Output",ExpressionUUID->"9a9b4a44-ecfb-4862-a366-9b2d32166251"]
}, Open ]]
}, Open ]],
Cell[CellGroupData[{
Cell[28653, 882, 424, 6, 65, "Subchapter",ExpressionUUID->"cffe159f-de5b-45c4-a3e1-f984239ca36c"],
Cell[CellGroupData[{
Cell[29102, 892, 659, 22, 31, "Input",ExpressionUUID->"b12e010c-9985-41f8-a08d-88920a5d9e3b"],
Cell[29764, 916, 489, 12, 25, "Print",ExpressionUUID->"1515fd32-b550-40fb-9769-7043240f5786"],
Cell[30256, 930, 1506, 49, 67, "Output",ExpressionUUID->"3f926d00-a3b2-41e4-88c5-b83c5097cb41"]
}, Open ]],
Cell[CellGroupData[{
Cell[31799, 984, 1601, 53, 93, "Input",ExpressionUUID->"a3b36695-1495-4d52-9309-596a39bb30f9"],
Cell[33403, 1039, 536, 12, 25, "Print",ExpressionUUID->"6afb5bd6-0f03-4a99-825c-83a93c915046"],
Cell[33942, 1053, 1534, 50, 67, "Output",ExpressionUUID->"6adf96e5-61fb-46a7-8b8e-253f1775570e"]
}, Open ]]
}, Open ]]
}, Open ]]
}
]
*)