(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 7.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 210004, 4506] NotebookOptionsPosition[ 203200, 4273] NotebookOutlinePosition[ 203594, 4290] CellTagsIndexPosition[ 203551, 4287] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Products in Categories", "Title", CellChangeTimes->{{3.497179060615942*^9, 3.497179081535542*^9}}, TextAlignment->Center], Cell["http://cis.k.hosei.ac.jp/~yukita/", "Subtitle", CellChangeTimes->{{3.497179103110342*^9, 3.497179145074342*^9}, { 3.4972136041549997`*^9, 3.4972136085386*^9}}, TextAlignment->Center], Cell[CellGroupData[{ Cell["Preparation", "Section", CellChangeTimes->{{3.4974319729454*^9, 3.4974319751294003`*^9}}], Cell["\<\ We are going to introduce various functions whose names are similar to those \ of the basic library functions. This usually causes a flood of system \ warnings that makes our presentation ugly. The system provides a means to \ avoid such nuisances, which is in general not recommended though.\ \>", "Text", CellChangeTimes->{{3.4974320132558002`*^9, 3.4974320919421997`*^9}, { 3.497432226693*^9, 3.4974322634230003`*^9}, {3.497432752723*^9, 3.4974327827939997`*^9}, {3.497432932936*^9, 3.497433027281*^9}, { 3.4974330701610003`*^9, 3.497433071939*^9}, {3.497433107237*^9, 3.497433128946*^9}, {3.497433327281*^9, 3.497433468446*^9}, { 3.497433504488*^9, 3.497433515682*^9}, 3.4974335469*^9, { 3.4974337663120003`*^9, 3.4974337703570004`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"Off", "[", RowBox[{"General", "::", "spell1"}], "]"}], ";"}]], "Input", CellChangeTimes->{{3.49722169840625*^9, 3.497221710421875*^9}, { 3.497221910546875*^9, 3.497221910671875*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Category Circ", "Section", CellChangeTimes->{{3.4971798232531424`*^9, 3.497179831224742*^9}}], Cell[CellGroupData[{ Cell["Basic Objects", "Subsection", CellChangeTimes->{{3.4972103998048*^9, 3.4972104068716*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"B0", "=", RowBox[{"{", "ast", "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"B1", "=", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], ";"}]}], "Input", CellChangeTimes->{{3.4972120821712*^9, 3.497212094698*^9}, {3.49721213752*^9, 3.497212173322*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"B2", " ", "=", " ", RowBox[{"Tuples", "[", RowBox[{"B1", ",", "2"}], "]"}]}]], "Input", CellChangeTimes->{{3.497212588984*^9, 3.4972126136476*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4972126160032*^9, 3.497221636046875*^9, 3.497221720078125*^9, 3.4974338085030003`*^9, 3.497472973384716*^9, 3.4976434535775385`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"B3", "=", RowBox[{"Tuples", "[", RowBox[{"B1", ",", "3"}], "]"}]}]], "Input", CellChangeTimes->{{3.4972127686024*^9, 3.4972127802868*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4972127824396*^9, 3.497221639328125*^9, 3.4972217221875*^9, 3.497433811019*^9, 3.497472975755916*^9, 3.4976434561515384`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Arrows", "Subsection", CellChangeTimes->{{3.497434412382*^9, 3.497434414567*^9}}], Cell["\<\ In Category Circ, all the objects are sets and all the arrows are mappings \ between the sets. We adopt the most straight forward data structure for the \ arrows. An arrow is represented as a list of elementwise correspondence \ pairs. \ \>", "Text", CellChangeTimes->{{3.497434528495*^9, 3.497434602109*^9}, { 3.4974355613032*^9, 3.4974357230532*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Primitive Arrows -- Generators", "Subsection", CellChangeTimes->{{3.4972125396412*^9, 3.4972125427924*^9}, { 3.4972128497536*^9, 3.4972128518128*^9}, {3.497472996597516*^9, 3.497473001745516*^9}}], Cell[TextData[{ "true:", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "0"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "1"], TraditionalForm]]], ", true:", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "0"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "1"], TraditionalForm]]], "\nid:", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "1"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "1"], TraditionalForm]]], ", not:", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "1"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "1"], TraditionalForm]]], "\nand:", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "2"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "1"], TraditionalForm]]], ", or:", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "2"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "1"], TraditionalForm]]], "\nsplit: ", Cell[BoxData[ FormBox[ SuperscriptBox["B", "1"], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "2"], TraditionalForm]]], "\ntwist: ", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "2"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "2"], TraditionalForm]]], "\npermute[p]: ", Cell[BoxData[ FormBox[ RowBox[{" ", SuperscriptBox["B", "n"]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "n"], TraditionalForm]]], " (repeated application of the twist function), where p is a permutation.\ \npermute: permutations ", "\[LongRightArrow]", " ", Cell[BoxData[ FormBox[ RowBox[{" ", RowBox[{"(", SuperscriptBox["B", "n"]}]}], TraditionalForm]]], "\[RightArrow]", Cell[BoxData[ FormBox[ RowBox[{ SuperscriptBox["B", "n"], ")"}], TraditionalForm]]] }], "Text", CellChangeTimes->{{3.497473107570916*^9, 3.497473129707316*^9}, { 3.497473182029716*^9, 3.497473439086516*^9}, {3.4976705869458*^9, 3.4976705909082003`*^9}, {3.4976706337925997`*^9, 3.4976706768174*^9}, { 3.4976707293114*^9, 3.497670793131*^9}, {3.4976709210354*^9, 3.497671033293*^9}}], Cell[BoxData[{ RowBox[{ RowBox[{"true", " ", "=", " ", RowBox[{"{", RowBox[{"{", RowBox[{"ast", ",", "1"}], "}"}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"false", " ", "=", " ", RowBox[{"{", RowBox[{"{", RowBox[{"ast", ",", "0"}], "}"}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"id", " ", "=", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"not", " ", "=", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"and", " ", "=", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"or", " ", "=", " ", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"split", "=", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]}], "}"}]}], ";"}]}], "Input", CellChangeTimes->{{3.4972122489351997`*^9, 3.4972123355776*^9}, { 3.4972124073532*^9, 3.4972125156015997`*^9}, {3.497223252859375*^9, 3.497223280953125*^9}, {3.497223593265625*^9, 3.49722361996875*^9}, { 3.497226543734375*^9, 3.497226559203125*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"twist", "=", RowBox[{"Map", "[", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"#", ",", RowBox[{"Reverse", "[", "#", "]"}]}], "}"}], "&"}], ",", "B2"}], "]"}]}]], "Input", CellChangeTimes->{{3.497226089328125*^9, 3.49722612303125*^9}, { 3.49722620609375*^9, 3.49722623346875*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4972262786875*^9, 3.4975017224848003`*^9}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"permute", "[", "perm_", "]"}], ":=", "\[IndentingNewLine]", RowBox[{"Map", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Function", "[", RowBox[{"x", ",", RowBox[{"{", RowBox[{"x", ",", RowBox[{"Part", "[", RowBox[{"x", ",", "perm"}], "]"}]}], "}"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"Tuples", "[", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"Length", "[", "perm", "]"}]}], "]"}]}], "\[IndentingNewLine]", "]"}]}]], "Input", CellChangeTimes->{{3.4976889341552*^9, 3.4976889697855997`*^9}, { 3.4976890371308002`*^9, 3.4976890429964*^9}, {3.4976892017732*^9, 3.4976892563732*^9}, {3.4976893015664*^9, 3.4976893187576*^9}, { 3.4976893556048*^9, 3.4976894424188004`*^9}}], Cell["Tests", "Text", CellChangeTimes->{{3.4976894910908003`*^9, 3.4976894924323997`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"permute", "[", RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.49768944713*^9, 3.4976894623244*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976894637752*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"permute", "[", RowBox[{"{", RowBox[{"2", ",", "1"}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.49768947638*^9, 3.4976894805608*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.497689481216*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"permute", "[", RowBox[{"{", RowBox[{"2", ",", "3", ",", "1"}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.4976895049124002`*^9, 3.4976895165968*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976895173612003`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Operations on arrows", "Subsection", CellChangeTimes->{{3.4972128287716*^9, 3.4972128342628*^9}}], Cell[CellGroupData[{ Cell["apply -- utility", "Subsubsection", CellChangeTimes->{{3.4972130382172003`*^9, 3.4972130391844*^9}, { 3.4974737774161158`*^9, 3.4974737807545156`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"apply", "[", RowBox[{"arrow_", ",", " ", "element_"}], "]"}], ":=", RowBox[{ RowBox[{"Cases", "[", RowBox[{"arrow", ",", " ", RowBox[{ RowBox[{"{", RowBox[{"element", ",", "value_"}], "}"}], "\[Rule]", "value"}]}], "]"}], "//", "First"}]}]], "Input", CellChangeTimes->{{3.4972129471288*^9, 3.4972129682980003`*^9}, { 3.4972131840772*^9, 3.4972132134364*^9}, {3.4972133289700003`*^9, 3.4972133298592*^9}, {3.4972133686408*^9, 3.4972134330064*^9}, { 3.4972134896977997`*^9, 3.4972134918817997`*^9}}], Cell["Tests", "Text", CellChangeTimes->{{3.4974739127461157`*^9, 3.497473914009716*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"apply", "[", RowBox[{"and", ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4972134514309998`*^9, 3.4972134672026*^9}}], Cell[BoxData["0"], "Output", CellChangeTimes->{3.4972134676862*^9, 3.4972135011482*^9, 3.4975032171554003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"apply", "[", RowBox[{"false", ",", "ast"}], "]"}]], "Input", CellChangeTimes->{{3.4972135525346003`*^9, 3.4972135645154*^9}}], Cell[BoxData["0"], "Output", CellChangeTimes->{3.4972135652174*^9, 3.4975032262346*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"apply", "[", RowBox[{"not", ",", "0"}], "]"}]], "Input", CellChangeTimes->{{3.497222136609375*^9, 3.497222146921875*^9}}], Cell[BoxData["1"], "Output", CellChangeTimes->{3.4972221475625*^9, 3.4975032308834*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"apply", "[", RowBox[{"split", ",", "0"}], "]"}]], "Input", CellChangeTimes->{{3.497223630390625*^9, 3.497223636328125*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]], "Output", CellChangeTimes->{3.497223636796875*^9, 3.4975032340657997`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["domain - utility", "Subsubsection", CellChangeTimes->{{3.4972130504944*^9, 3.4972130513524*^9}, { 3.497474232686516*^9, 3.497474235712916*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"domain", "[", "arrow_", "]"}], ":=", RowBox[{"Map", "[", RowBox[{"First", ",", "arrow"}], "]"}]}]], "Input", CellChangeTimes->{{3.4972129817139997`*^9, 3.4972130237716*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"domain", "[", "and", "]"}]], "Input", CellChangeTimes->{{3.4972131339388*^9, 3.4972131398044*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4972131407872*^9, 3.497221932609375*^9, 3.4975044462794*^9, 3.4976435770207386`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"domain", "[", "true", "]"}]], "Input", CellChangeTimes->{{3.4972131542812*^9, 3.4972131570268*^9}}], Cell[BoxData[ RowBox[{"{", "ast", "}"}]], "Output", CellChangeTimes->{3.4972131574948*^9, 3.49722193521875*^9, 3.4975044493526*^9, 3.4976435796259384`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["compose - constructor", "Subsubsection", CellChangeTimes->{{3.4972130590744*^9, 3.4972130601664*^9}, { 3.497474239332116*^9, 3.4974742445425158`*^9}}], Cell["compose: ((A\[RightArrow]B)\[Cross](B\[RightArrow]C))\[RightArrow](A\ \[RightArrow]C)", "Text", CellChangeTimes->{{3.4975032646730003`*^9, 3.497503298837*^9}, { 3.4975033320806*^9, 3.497503406087*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"compose", "[", RowBox[{"arrow2_", ",", "arrow1_"}], "]"}], ":=", RowBox[{"Map", "[", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"#", ",", RowBox[{"apply", "[", RowBox[{"arrow2", ",", RowBox[{"apply", "[", RowBox[{"arrow1", ",", "#"}], "]"}]}], "]"}]}], "}"}], "&"}], ",", RowBox[{"domain", "[", "arrow1", "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4972128708915997`*^9, 3.4972128978640003`*^9}, { 3.497221961296875*^9, 3.4972220216875*^9}, {3.497222096046875*^9, 3.497222101890625*^9}, {3.497222232359375*^9, 3.4972222594375*^9}}], Cell["Test", "Text", CellChangeTimes->{{3.4975044917377996`*^9, 3.497504492627*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"compose", "[", RowBox[{"not", ",", "not"}], "]"}]], "Input", CellChangeTimes->{{3.497222045546875*^9, 3.497222062046875*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.497222064234375*^9, 3.497222105546875*^9, 3.497222270546875*^9, 3.4975149947914*^9, 3.4976435941963387`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["compose - constructor, multiple version", "Subsubsection", CellChangeTimes->{{3.4976899265024*^9, 3.4976899461272*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"compose", "[", RowBox[{"arrow2_", ",", "arrow1_", ",", "arrows___"}], "]"}], ":=", RowBox[{"compose", "[", RowBox[{"arrow2", ",", RowBox[{"compose", "[", RowBox[{"arrow1", ",", "arrows"}], "]"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4976899655336*^9, 3.4976899863596*^9}, { 3.4976900662316*^9, 3.4976901208472*^9}, {3.4976902778612003`*^9, 3.4976903687312*^9}}], Cell["\<\ Note : patternName___ (patternName followed by three underscores ) means a \ sequence of length at least one. \ \>", "Text", CellChangeTimes->{{3.4976908045016003`*^9, 3.4976909200352*^9}}] }, Open ]], Cell[CellGroupData[{ Cell["Parallellism in the codomain", "Subsubsection", CellChangeTimes->{{3.497223054140625*^9, 3.497223055453125*^9}, { 3.497223915484375*^9, 3.49722392121875*^9}, {3.4972242546875*^9, 3.49722425553125*^9}}], Cell[GraphicsData["Metafile", "\<\ CF5dJ6E]HGAYHf4PEfU^I6mgLb15CDHPAVmbKF5d0@00080d0@0006`0000100000@000X1003GcLJJ00000000H0800P490000071N000100T000?e00000P0L0000000500002@800000 1@0000810@0000D000010_ooo`050000;P4H00001@0000/2000000D0000<0P02H08B00009PH?01X0 ooooo`0040000<3ooongoooo80800;L1000;00009PH?00`0CF5dJ5AiL6D0030070000?/2P?h00000 002@0@0000040P0@E6U]IGIGLPDVm]HFh0R:W_Mi6YkgLPnJ1VK_ 000:0240RP4000000@00013d4P040000;@4100@0003`0@000`0000000008@048900001P000024<3K 0@0000<00000000000000000000K@010=00002P0000100000P00000000000000000HA00004@30000 00000602000000028@0000P0001R000030000040000Q000020000680000<00000@000140000<0000 200000X0000@000000000000000900004000060200000P003000010000230P008P4000/0000@0000 C@000400000Q0000200002D0000<00001`00P2D0000<00000000P1H0000<0000000001P0000<0000 000001T0000<0000oooo01@0000<00003@000580001`0@000@0001800008000000000000002@0@00 0000P0L20P9C07T0L`1d06D0K@000000000000000000000000000000000000000000000000000000 0000000000000000000005DI8G@I0;01URG^M`00002P`A<00000020500020000Y<4C0:_AiF]d`Q<0 ?<4C08RWdc/A0000M<8C04ROI0X1000068iW2Uc14`2>Y]06D0M`0P0580K`1]0640 KP0000000000000000000000000000000000000000000000000000000000000000000000001T`Q<0 gS7^MfC24`1K9^ig0@0005DI8G@I0;01URG^Me1c8``d`1<000000>@400000000_ZHc1P0000000000 EATQM2h0kGND`1<0I040000000000000L4@i1P@000000000g1d:[3c24`000>egk9?]Ma8000000000 00000000002@0@00X2di1P00001E6B5dg1d:[040000B000020000000000000000000000008070P82 D`1i0000M01U06d0000000000000000000000000000000000000000000000000000006Af00P00000 9@0000`000030000:00000`000020000E00005@0002]0P009`400;X200170@000@000>CeHd000650 B`400?@000010000C00000000000000000000?ooooooooooD00006h0001_0000DP00070100020000 P?koo`000000000000000901000100001`8045@0J@1]06D0L`0P04h0I@1g0200DP1_06d0H@1^0000 0000000000000000000000000000000000000000000000000000000000000000000004304`000000 ^02EO>R]eP`<`A<0@@2EO4P75P1M09EleQd:K_2]eP`00000i0@00000000FYc<600000000001E6B5d KP0c1P0000000000EATQM2h0kGND`1<0I040000000000000L4@i1P0000000000g1d:[3c24`0P0000 k9?]Ma800000000000000000002@0@00X2di1P00001E6B5d000F0040000000002000000000000000 000100@0001@`1<0D`1i04C14`0PjIAlH02EO?oooomM09ElnYV0O0005P000000I7H02000000U0000 30000080000X0000300000<0001D0000E00008X2000[0@00Z080064100010000i?ES@000HD160000 X0400040001<00000000000000000000oooooooooom@0000@P000>D0001B0000L04000<0000B0000 2000000000000000T040000008070P82D`1i07<0M01U06d000000000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000@<0C0000002h09El L:WF30c14`1109ElB0LF05d0UGbB6@XcN:WF3000003T1000000006jW<`H00000000005DI8GA203<6 00000000001E6B5dKP0c1P0000000000EATQM2h0kGND`1<00000000000000000L4@i1R0000000000 g1d:[3c24`0P0000k9?]Ma800000000000000000000001H0X2di1P00001E6B5d000F004000000040 100005304`000000A<4C023YU7aP09Eloooooed0UGcjVH1l000F0000001TMP08000002D0000<0000 0`0002P0000<00000P0002D0000<00001`00P2D0000<00000000P300000<00003`00P2D0000<0000 3@00P4/0000@0000000000D0000X0000300000<0000U000030000000080U0000300000L0080R0000 30000?oooolU0000300000d0080X000030000040000R000030000?oooom60000=0@002P40015CDH[ ;40002@0000H00000020?`00000000000020?`0008000020:T0002@0000H0000::l1?P0000000000 0000?P3084@00953940000`000000000:d0000`0000000007T0600`0000000008D0500`000000000 240211P0000<00000Q30f`000003000@=40200`0000000007T0500`000000000:T0002@0000H0000 ::l1?P00000000000000?P3084@009538D0700`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000m/8009W3:T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:T0002@0000H0000IRcL>00000000000 IRcL>000m/8009W3:d0000`0000000007T0600`0000000008D0500`0000000007T0500`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000m/8009W38D0700`000000000:T0002@0000H0000 7IGLPDVm]HFh0R:W_Mi6YkgLP01000<000040000040000T0@00 2`00010000190000?0000240000800009@0000`0000700209@0000`0000000205P0000`000000000 600000`0000000006@0000`0003oool0500000`0000=0000DP000701000100004P0000P000000000 00000901000000201`820U<0N@1c07@0I@1]00000000000000000000000000000000000000000000 00000000000000000000000000000000EATQM1T0/06F9Nig3@0005DI8G@I0;01URG^McXbkWL70000 EATQM7C24`0l`A<0R:OC>e00001d`Q<0n0iW2P400010WfL:G<4C08jVdc]/`a<00@0007C24`1H`a<0 000005S34`2h`Q<0`l;J>dc94`2P;CT609a7``008G@@0901keS34`3``Q<0nl?J>jC8eC/aCF5d ooooo`00P3l0000000000000P3l0000000000000000003P6l=dh1/BW<`H:K`00000009C24`3``Q<0 09a7@aPO903h`A<0GU[_MoS14`1`9>ig71CG35DI8G@H7b@0I7H02000000U000030000040000H0000 30000000000B000030000040000I000030000?ooo`0F0000300001P0000:00004000000000000000 2@00010000100P00h0400580001`0@000`00023oool0000000000000002@0@000@0000L2011D06T0 K@1U07<0801>06D0M`0P0580K`1]0640KP0000000000000000000000000000000000000000000000 000006C24`3NBCkGO/Tneg 4P0000000000000000000901002P;CT6000005DI8GCF7@Yb0@0001800008000000000000002@0@00 0000P0L20P9C07T0001d06D0K@000000000000000000000000000000000000000000000000000000 0000000000000000000006Af00P000009@0000`000030000E00005@0000[0000:@4003h000190@00 0@000?lOI4000650B`400?@000010000C00000000000000000000?ooooooooooD00006d0h?nN0000 DP00070100020000P?koo`000000000000000901000100001`8045@0J@1]06D0L`0P04h0I@1g0200 DP1_06d0H@1^00000000000000000000000000000000000000000000000000000000000000000000 000006C24`3N/c<6 00000000001E6B5dK@3]MiC04`1T0@0000000000001`A3T610000000003F7@Yb?<8C0000kGO/Tneg 4P0000000000000000000901002P;CT6000005DI8GCF7@Yb0@000180000800000000000000000000 0000P0L20P9C07T0001d06D0K@000000000000000000000000000000000000000000000000000000 I7H02000000U000030000080000X0000300000<0001D0000E00000P0000]0@009P0006<100010000 oamT@000HD160000X0400040001<00000000000000000000oooooooooom@0000@P000>D0001B0000 L04000<0000B00002000000000000000T040000008070P82D`1i07<0M01U06d00000000000000000 00000000000000000000000000000000000000000000000000000000000000000000000000000000 @<0C0000002h09ElL:WF30c14`1109ElB0LF05d0UGbB6@XhN:WF3000003T1000000002Jd<`H00000 000005DI8GA203<600000000001E6B5dK@3]MiC04`1T0@0000000000001`A3T600000000003F7@Yb ?<8C0200003/Tneg4P0000000000000000000901002P;CT6000005DI8G@001H00@00000000080000 0000000000000040100005304`1C07T0A<4C023YU7aP09Eloooooed0UGcjVH1l000F0000001TMP08 000002D0000<00000`0002P0000<00000P0002D0000<00001`00P2D0000<00000000P300000<0000 3`00P2D0000<00003@00P4/0000@0000000000D0000X0000300000<0000U000030000000080U0000 300000L0080R000030000?oooolU0000300000d0080X000030000040000R000030000?oooom60000 Q0@007P40015CDH[;40002@0000H00000020?`00000000000020?`0008000020:T0002@0000H0000 700000000000IRcL>000m/8009W3 :T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000m/8009W3:T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3 :d0000`0000000007T0600`0000000008D0500`0000000007T0500`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000m/8009W38D0700`000000000:T0002@0000H000053/1?P0000000000 8R82?P20UD<0P9E3940400`00000000024041C02000T0P000Q30f`8000020000nP400=O=aYX00000 00100n010@T00000/5`000402@000od0000201`0000000D000090P00000500000P4100001@000042 oooo00D0000^0AP0000500002`8000001@0000`2h0500a80000V1Pl06P3ooooo000@0000`?oookOo ool00`00U`4000/0000V1Pl0301=HGAXE7U`I@00800L0000n`8Po`00000009010@0000@2011DJFeU Lb1>IGLPDVm]HFh0R:W_Mi6YkgLPIGLPDVm]HFh0R:W_Mi6YkgLP018@0000P0001R000030000040000A0000300000P0000:00004000000000000000 2@00010000100`00h04000`0000@0000:`4002/1000;0000400006T0000m00008@0000P0000U0000 300000L0080U000030000000080F000030000000000H000030000000000I000030000?ooo`0D0000 300000d0001B0000L0400040000B00002000000000000000T040000008070P82D`1i07<0M01U06d0 000000000000000000000000000000000000000000000000000000000000000000000000001E6B5d 6@2`0IHUkWL=0000EATQM1T0/06F9Nig>S;^M`L0001E6B5dM<8C03c14`28Ymfc34`010000M<8C05S34`000000F<@H0W4O3 000QM100T07/`mXkF<c5=HGCooooo0020?`00000000000020?`0000000000 00000000d`a4l=<VDO2P2UGcooooo8P:EO22CkGOkT^egU<0C06@100000000 000009Q4>@H400000000094I2Wdl`Q<0i9?]MnbCkGLB00000000000000000000T0400:0]>@H00000 EATQM94I2Wd100004P0000P00000000000000901000000201`820U<0N@0007@0I@1]000000000000 0000000000000000000000000000000000000000000000000000000000000000I7H02000000U0000 300000<0001D0000E00007d1000`0@00RP40050100010000fBUS@?noI4260P00m0000040001<0000 0000000000000000oooooooooom@0000KP0006l0001D0000E00005D1000`0@00J040050100010000 fBUS@?noI41;0@00m0000040001<00000000000000000000oooooooooom@0000K@0009h0001B0000 L04000800020o_oo0000000000000000T040004000070P0@E01Y06d0I@1c0200CP1U07L0801B06l0 K@1Q06h0000000000000000000000000000000000000000000000000000000000000000000000000 I<8C0=hakWMT`Q<0FbK^M`40001E6B5d6@2`0IHUkWM@Lb<<=<0C0000003T1000000003k3<`H00000 000005DI8GA]0>egU<0C06@100000000000009Q4>@H400000000094I2Wdl`Q<0003]MnbCkGLB0000 0000000000000000T0400:0]>@H00000EATQM94I2Wd100004P0000P0000000000000000000000020 1`820U<0N@0007@0I@1]0000000000000000000000000000000000000000000000000000001TMP08 000002D0000<00000P0002P0000<00000`0005@0001D0000@400000000U/egU<0C06@100000000000009Q4>@H000000000094I2Wdl`Q<0 80000>bCkGLB00000000000000000000T0400:0]>@H00000EATQM0005P010000000000P000000000 000000000@040000D<0C05<0N@14`A<08>VDO600UGcoooooG@2EO?ZIP7`001H0000006Af00P00000 9@0000`000030000:00000`000020000E00005@0001[0@00;P4007T1001@0@000@000=TYHd3o_fA0 nP400?@000010000C00000000000000000000?ooooooooooD00002_`001g0000DP00070100020000 4P0000P00000000000000901000000201`820U<0N@1c07@0I@1]0000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000000004304`000000 ^02EO>R]eP`<`A<0@@2EO4P75P1M09ElL1<:I_2]eP`00000:P000000003^`c<600000000001E6B5d :o0c1P0000000000EATQM480<`H00000000005DI8GA]0>egU<0C000000000000000009Q4>@HP0000 0000094I2Wdl`Q<080000>bCkGLB00000000000000000000000F0:0]>@H00000EATQM0005P010000 000100@0001@`1<0000004C14`0PjIAlH02EO?oooomM09ElnYV0O0005P000000I7H02000000U0000 30000080000X0000300000<0000U0000300000L0080U000030000000080`0000300000l0080U0000 300000d0081;00004000000000050000:00000`0000200009@0000`0000000209@0000`000070020 8P0000`0003ooooo9@0000`0000=0020:00000`0000100008P0000`0003oooooAP0001`4000@1000 ADe6:ba0000T000060000000P3l0000000000000P3l000200000P2Y0000T0000600001@k0Ch00000 0000028R0Sh0P9E3082E@bA0000<0000000002]0000<0000000001i01P0<0000000002501@0<0000 000003A00P0<0000000001i01@0<0000000002Y0000T0000600001@k0Ch000000000028R0Sh0P9E3 082E@b501`0<0000000002Y0000T0000600006H/g3P00000000006H/g3P00?K2002I`bY0000T0000 600006H/g3P00000000006H/g3P00?K2002I`b]0000<0000000002Y0000T0000600006H/g3P00000 000006H/g3P00?K2002I`bY0000T0000600006H/g3P00000000006H/g3P00?K2002I`b]0000<0000 000001i01P0<0000000002501@0<0000000001i01@0<0000000002Y0000T0000600006H/g3P00000 000006H/g3P00?K2002I`b501`0<0000000002Y0000T00006000000003h000000000000003h0P?Y3 0025@bA0100<0000000000Q01@G80@00_040008@`=/200000P000981003GcLJJ00000000h04P0P89 00000==M000100T000?900000P0L0000000500002@8000001@0000810@0000D000010_ooo`050000 ;P4H00001@0000/2000000D0000<0R02h04B00009PH?01X0ooooo`0040000<3ooonVooooX0400

IGLPDVm]HFh0R:W_Mi6YkgLP01000P0P0030000100003e0@002P4000/0000@0000?00004@0000Q0000 200002D0000<00001`00P2D0000<00000000P1H0000<0000000001P0000<0000000001T0000<0000 oooo01@0000<00003@000580001`0@000@0001800008000000000000002@0@000000P0L20P9C07T0 L`1d06D0K@0000000000000000000000000000000000000000000000000000000000000000000000 000005DI8G@I0;01URG^M`d0001E6B5d6@2`0IHUkWLj<^ig1`0005DI8GAd`Q<0?<4C08RWdc/E0000 M<8C04ROI0X1000068iW2Uc14`2>Y]0I4a3<62Sh00000002D`Q<0l<8C002LAd06D0M`0P0580K`1]0640KP00000000000000 00000000000000000000000000000000000000000000000000000000001T`Q<0gS7^MfC24`1K9^ig 0@0005DI8G@I0;01URG^Me1c8``d`1<000000>@400000000g[0j1P0000000000EATQM380kGND`1<0 I040000000000000V4@i1P@000000000TQT:@Cc24`000>egk9?]Ma800000000000000000002@0@00 X2di1P00001E6B5dTQT:@@40000B000020000000000000000000000008070P82D`1i0000M01U06d0 000000000000000000000000000000000000000000000000000006Af00P000009@0000`000030000 :00000`000020000E00005@0003m0@003`4001T200150@000@000000HD000650JP00080100010000 C00000000000000000000?ooooooooooD000070000300000DP000701000200004P0000P000000000 00000901000000201`820U<0N@1c07@0I@1]00000000000000000000000000000000000000000000 000000000000000000000000000000000000000000000000000004304`000000^02EO>R]eP`<`A<0 @@2EO4P75P1M09ElL1<:Jo2]eP`00000i0@00000000f/CX600000000001E6B5dL00j1P0000000000 EATQM380kGND`1<0I040000000000000V4@i1P0000000000TQT:@Cc24`0P0000k9?]Ma8000000000 00000000002@0@00X2di1P00001E6B5d000F0040000000002000000000000000000100@0001@`1<0 D`1i04C14`0PjIAlH02EO?oooomM09ElnYV0O0005P000000I7H02000000U000030000080000X0000 300000<0000U0000300000L0080U000030000000080`0000300000l0080U0000300000d0081;0000 4000000000050000:00000`0000200009@0000`0000000209@0000`0000700208P0000`0003ooooo 9@0000`0000=0020:00000`0000100008P0000`0003oooooAP0001`4000@1000ADe6:ba0000T0000 60000000P3l0000000000000P3l000200000P2Y0000T00006000000003h000000000000003h0P?Y3 0025@bA0000<0000000002]0000<0000000001i01P0<0000000002501@0<0000000003A00P0<0000 000001i01@0<0000000002Y0000T00006000000003h000000000000003h0P?Y30025@b501`0<0000 000002Y0000T0000600006H/g3P00000000006H/g3P00?K2002I`bY0000T0000600006H/g3P00000 000006H/g3P00?K2002I`b]0000<0000000002Y0000T0000600006H/g3P00000000006H/g3P00?K2 002I`bY0000T0000600006H/g3P00000000006H/g3P00?K2002I`b]0000<0000000001i01P0<0000 000002501@0<0000000001i01@0<0000000002Y0000T0000600006H/g3P00000000006H/g3P00?K2 002I`b501`0<0000000002Y0000T0000600002E90Sh000000000000003h002130025@bA0100<0000 000000Q01PG80@00_040008@`=/200000P000981003GcLJJ00000000`04P0P<900000?9M000100T0 00?900000P0L0000000500002@8000001@0000810@0000D000010_ooo`050000;P4H00001@0000/2 000000D0000<0R02`04B00009PH?01X0ooooo`0040000<3ooonVooooP0400IGLPDVm]HFh0R:W_Mi6YkgLP130008A0<000000000 `0400000808Q000020000680000<00000@000140000<0000200000X0000@00000000000000090000 40000<01000P0P0030000100002P00002P4000/0000@0000>@0004@0000Q0000200002D0000<0000 1`00P2D0000<00000000P1H0000<0000000001P0000<0000000001T0000<0000oooo01@0000<0000 3@000580001`0@000@0001800008000000000000002@0@000000P0L20P9C07T0L`1d06D0K@000000 0000000000000000000000000000000000000000000000000000000000000000000005DI8G@I0;01 URG^M`d0001E6B5d6@2`0IHUkWLj<^ig1`0005DI8GAd`Q<0?<4C08RWdc/D0000M<8C04ROI0X10000 68iW2Uc14`2>Y]06D0M`0P0580K`1]0640KP000000000000000000000000000000 0000000000000000000000000000000000000000001T`Q<0gS7^MfC24`1K9^ig0@0005DI8G@I0;01 URG^Me1c8``d`1<000000>@400000000S[lT000000000000EATQM340kGND`1<0I040000000000000 V4@i1P@000000000eQd:OCc24`000>egk9?]Ma800000000000000000002@0@00X2di1P00001E6B5d eQd:O@40000B000020000000000000000000000008070P82D`1i0000M01U06d00000000000000000 00000000000000000000000000000000000006Af00P000009@0000`000030000:00000`000020000 E00005@0002Y00003`400R]eP`<`A<0@@2EO4P75P1M09El L1<:L?2]eP`00000i0@00000003V_b@000000000001E6B5dL00T000000000000EATQM340kGND`1<0 I040000000000000V4@i1P0000000000eQd:OCc24`0P0000k9?]Ma800000000000000000002@0@00 X2di1P00001E6B5d000F0040000000002000000000000000000100@0001@`1<0D`1i04C14`0PjIAl H02EO?oooomM09ElnYV0O0005P000000I7H02000000U000030000080000X0000300000<0000U0000 300000L0080U000030000000080`0000300000l0080U0000300000d0081;00004000000000050000 :00000`0000200009@0000`0000000209@0000`0000700208P0000`0003ooooo9@0000`0000=0020 :00000`0000100008P0000`0003oooooAP000<@3002h0`00ADe6:ba0000T000060000000P3l00000 00000000P3l000200000P2Y0000T0000600002E90Sh000000000000003h002130025@bA0000<0000 000002]0000<0000000001i01P0<0000000002501@0<0000000003A00P0<0000000001i01@0<0000 000002Y0000T0000600002E90Sh000000000000003h002130025@b501`0<0000000002Y0000T0000 600006H/g3P00000000006H/g3P00?K2002I`bY0000T0000600006H/g3P00000000006H/g3P00?K2 002I`b]0000<0000000002Y0000T0000600006H/g3P00000000006H/g3P00?K2002I`bY0000T0000 600006H/g3P00000000006H/g3P00?K2002I`b]0000<0000000001i01P0<0000000002501@0<0000 000001i01@0<0000000002Y0000T0000600006H/g3P00000000006H/g3P00?K2002I`b501`0<0000 000002Y0000T000060000:^Z0Sh00000000000000Sh000e3003n@RA0100<0000000000Q01`E`0@00 I040008@`=/200000P0003X1003GcLJJ00000000P0400P89000009=M000100T000>M00000P0L0000 000500002@8000001@0000810@0000D000010_ooo`050000;P4H00001@0000/2000000D0000<0P02 P04B00009PH?01X0ooooo`0040000<3oooo6oooo@0400dT0001d`Q<0n0iW2P400010WfL:G<4C08jVdc]/`a<00@0007C24`1H`a<0000005S34`2h`Q<0 `l;J>dc94`2P;CT601R[``008G@@0901keS34`3``Q<0nl?J>jC8eC/aCF5dooooo`00P3l00000 00000000P3l0000000000000000003P6m=dh1Sc0900:^`00000009C24`3``Q<001R[@aPO903h`A<0 GU[_MoS14`1`9>igk:OG35DI8G@H7b@0I7H02000000U000030000040000H000030000000000B0000 30000040000I000030000?ooo`0F0000300001P0000:000040000000000000002@00010000200@00 00800580001`0@000P00083nool0000000000000002@0@000@0000L2011D06T0K@1U07<0801>06D0 M`0P0580K`1]0640KP0000000000000000000000000000000000000000000000000006C24`3NBCkGO/Tneg4P00000000000000 00000901002P;CT6000005DI8GCL7@Zn0@0001800008000000000000002@0@000000P0L20P9C07T0 001d06D0K@0000000000000000000000000000000000000000000000000000000000000000000000 000006Af00P000009@0000`000020000E00005@0002E0000P@000;@0002g00000@00002`ID00Q6A0 PP00060100010000C00000000000000000000?ooooooooooD00006H0001^0000DP00070100030000 4P0000P00000000000000901000000201`820U<0N@1c07@0I@1]0000000000000000000000000000 0000000000000000000000000000000000000000000000000000000000000000000006C24`3NM00000P0L0000000500002@8000001@0000810@0000D000010_ooo`050000 ;P4H00001@0000/2000000D0000<0V01P04B00009PH?01X0ooooo`0040000<3ooolV0000@04008H1 000;00009PH?00`0CF5dJ5AiL6D0030070000?/2P?h00000002@0@4000840P0@DgU]HVm/001M7PXG R>HB08RYkgNAZNmg833aMmTDI_P40000;@4000P0000b2P0170010000HGT:00009PH?00X0ooooo`40 000001`0003k0Q8020000000T04000200@820U=iLgAUK@00fAAVn0002P0Q08X100000?oooonTj180 100002d10@040000l04000<000000000240122@0000H00000Q30f`40000300000000000000000000 6d08@3@0000X00000@0000800000000000000000`4<00;130`00000000200@00001P0B4000080000 HP0000`0000100004@0000`0000800002P00010000000000000000T0000@0000P0400601000<0000 400003@1002P00002`000100000`0000;0000240000800009@0000`0000700209@0000`000000020 5P0000`000000000600000`0000000006@0000`0003oool0500000`0000=0000DP00070100010000 4P0000P00000000000000901000000201`820U<0N@1c07@0I@1]0000000000000000000000000000 000000000000000000000000000000000000000000000000EATQM1T0/06F9Nig3@0005DI8G@I0;01 URG^McXbkWL70000EATQM7C24`0l`A<0R:OC>d@0001d`Q<0@0YK2P4000083Eh:G<4C08jVdc]/`a<0 0@0007C24`1H`a<0000005S34`2h`Q<0`l;J>dc94`2P;CT600S1``008G@@0901keS34`3``Q<0 nl?J>jC8eC/aCF5dooooo`00P3l0000000000000P3l000000000000000000=<<@?3C33bf<`H:M@00 000009C24`3``Q<000S1@aPO903h`A<0GU[_MoS14`1`9>ig6;;G35DI8G@H7b@0I7H02000000U0000 30000040000H000030000000000B000030000040000I000030000?ooo`0F0000300001P0000:0000 40000000000000002@00010000200@00H0400580001`0@000`00083nool0000000000000002@0@00 0@000PL2011C07T0K@1R06l0K0000000000000000000000000000000000000000000000000000000 0000000000000000000006C24`3NBCkGO/Tneg4P0000000000000000000901002P;CT6000005DI8GA`4`Yh0@00018000080000 00000000002@0@000000P0L20P9C07T0001d06D0K@00000000000000000000000000000000000000 00000000000000000000000000000000000006Af00P000009@0000`000030000E00005@0000h0@00 T00005P1003:00000@000000HD0006507000000100010000C00000000000000000000?oooooooooo D000067`003X0000DP000701000200004P0000P00000000000000901000000201`820U<0N@1c07@0 I@1]0000000000000000000000000000000000000000000000000000000000000000000000000000 0000000000000000000006C24`3NM00000P0L0000000500002@800000 1@0000810@0000D000010_ooo`050000;P4H00001@0000/2000000D0000<0Z01H04B00009PH?01X0 ooooo`0040000<3ooolV000080400dX0001d`Q<0 n0iW2P400010WfL:G<4C08jVdc]/`a<00@0007C24`1H`a<0000005S34`2h`Q<0`l;J>dc94`2P;CT6 01R[``008G@@0901keS34`3``Q<0nl?J>jC8eC/aCF5dooooo`00P3l0000000000000P3l00000 00000000000003P6l=dh1Qc:<`H:S000000009C24`3``Q<001R[@aPO903h`A<0GU[_MoS14`1`9>ig A;cG35DI8G@H7b@0I7H02000000U000030000040000H000030000000000B000030000040000I0000 30000?ooo`0F0000300001P0000:000040000000000000002@000100001P0@00X0400580001`0@00 0P00083nool0000000000000002@0@000@0000L2011D06T0K@1U07<0801>06D0M`0P0580K`1]0640 KP0000000000000000000000000000000000000000000000000006C24`3NBCkGO/Tneg4P0000000000000000000901002P;CT6 000005DI8GBA6@Z?0@0001800008000000000000002@0@000000P0L20P9C07T0001d06D0K@000000 0000000000000000000000000000000000000000000000000000000000000000000006Af00P00000 9@0000`000020000E00005@0000L0P00O`0003H2002e00000@000000HD2`DfE0C000000100010000 C00000000000000000000?ooooooooooD00006L000380000DP000701000300004P0000P000000000 00000901000000201`820U<0N@1c07@0I@1]00000000000000000000000000000000000000000000 000000000000000000000000000000000000000000000000000006C24`3NM00000P0L0000000500002@8000001@0000810@0000D000010_ooo`050000;P4H00001@0000/2 000000D0000<0Z01`04B00009PH?01X0ooooo`0040000<3oooo6ooooP04006H1000;00009PH?00`0 CF5dJ5AiL6D0020070000?/2P?h00000002@0@4000040P0@E6U]IGc/0001d`Q<0n0iW2P400010WfL:G<4C08jVdc]/`a<00@0007C24`1H`a<0 000005S34`2h`Q<0`l;J>dc94`2P;CT601R[``008G@@0901keS34`3``Q<0nl?J>jC8eC/aCF5d ooooo`00P3l0000000000000P3l000000000000000000=<<@?3C3?c=<`H:R000000009C24`3``Q<0 01R[@aPO903h`A<0GU[_MoS14`1`9>igL06D0M`0P0580K`1]0640KP0000000000000000000000000000000000000000000000 000006C24`3NBCkGO/Tneg 4P0000000000000000000901002P;CT6000005DI8GCF7@Z;0@0001800008000000000000002@0@00 0000P0L20P9C07T0001d06D0K@000000000000000000000000000000000000000000000000000000 0000000000000000000006Af00P000009@0000`000030000E00005@0001E0@000P0007X1000h0000 0@000000HD000650F000060100010000C00000000000000000000?ooooooooooD00005P0003X0000 DP000701000200004P0000P00000000000000901000000201`820U<0N@1c07@0I@1]000000000000 00000000000000000000000000000000000000000000000000000000000000000000000000000000 000006C24`3N0000040000h0000000003P000000000 00810040000000000000000000000000000002D0000<00000@0002L0000H00000P00000000000000 000002D0000<00000P0001<0000<00000P0005/0001<0`00H04004@0001[0@00<0400280002Y0000 1@0000D0000500001@0000D0000500001@0000D0000500001@0000D0000500001@0000D000050000 1@0000D0000500001@0000D0000500001@0000D0000500001@0000D0000500001@0000D000050000 1@0000D000050000100005PFD0AH5Y44B1JA14PFD0AH5U04F1K115PF0@E85P45B1K115PF`@AH5S45 F1Ia1DPFL@E85S45F1Ha1EPFX@EH5^45B1KQ1DPFX@EH5Z45F1HA1UPFD@I85U46B1HA1UPF4@IH5X46 F1K11TPF`@I85X46F1J11UPFl@IH5S47B1Ha1dPFl@IH5_46F1IQ1ePFX@M85Z47B1IQ1ePFH@MH5]47 F1HA24PF4@Q85]47F1KA1ePF@@QH5X88B1J224PF@@QH5T48F1Jb25PFlPQ85_88B1Jb25PF/PQH5R89 F1IR2DPFHPU85R89F1HR2EPFTPUH5]89B1KB2DPFTPUH5Y89F1H22UPF@PY85T8:B1H22UPF0PYH5W8: F1Jb2TPF/PY85W8:F1Ib2UPFhPYH5R8;B1HR2dPFhPYH5^8:F1IB2ePFTP]85Y8;B1IB2ePFDP]H5/8; F1H234PF0Pa85/8;F1K22ePFB1Kc3EPFl`eH5V<> F1JS3TPFX`i85V<>F1IS3UPFd`iH5QF1I33ePFP`m85X00000000000IRcL>000m/8009W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:T0002@0000H0000IRcL>00000000000 IRcL>000m/8009W3:T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:T0002@0000H0000IRcL>00000000000 IRcL>000m/8009W3240=0Z00002D00000Q30f`00002<5000000001[j54Ko00000P00000000020000 00000000P3mH00000Q30f`00000100000P0005IEeD00000000000000000002110020?`0000000000 00000000000L00000Q30f`<00000H000103ho`00003looSo0061008@`=/000000000o`Q03P0100000400003@0002@0000T0000 0020?@00000000000020?@00000000000P0005l0000h00000@0003P000000000>000000000000P40 0@0000000000000000000000000000009@0000`0000100009@0000`0000200004`0000`000020000 F`0004`000150000B@400281001D0@000P0000T0000500001000010Bj1C;1>PDb`CH510Bf1@@4^PD h@@Q5F04h1CQ1:0Dh@@Q5A<0000<00000@0002D0000<00000000P2D0000<00001`00P2@0000T0000 0020@@00000000000020@@00000000000P0002P0000<00000@0004H0003L0@00d04004E=AR/Z@000 900001P0001V;=`h00000000001V;=`h003f`P00VL<[@00030000000000Z@000900001P0001V;=`h 00000000001V;=`h003f`P00VLKBSH^^T[<6=m:=RjjBP01000E@100400000@0000?0000900002@00000080m000000000000080m 0000000000020000G`0003P000010000>0000000000h0000000000020@0100000000000000000000 00000000000U000030000040000U000030000080000C000030000080001K0000C00009T100190@00 Q@8005@1000200002@0000D000040000X1WH5=HWf1CF9nPDX1WX5:0If1C09j0D@2SP5<0W8AG09j0D 4`0000`0000100009@0000`0000000209@0000`000070020900002@0000008110000000000000811 0000000000020000:00000`000010000AP000=`1003@0@00ADe6:bY0000T0000600006H/g3P00000 000006H/g3P00?K2002I`b]0000<0000000002Y0000T0000600006H/g3P00000000006H/g3P00?K2 002I`bY0000T0000600006H/g3P00000000006H/g3P00?K2002I`bY0000T0000600006H/g3P00000 000006H/g3P00?K2002I`b]0000<0000000002Y0000T0000600006H/g3P00000000006H/g3P00?K2 002I`bY0000T0000600006H/g3P00000000006H/g3P00?K2002I``Q04@:P0000U000008@`=/00000 S1@00000000JnQA6o`000080000000000P0000000000080oF000008@`=/000000@000080001FEME0 0000000000000000000P@@00P3l0000000000000000000007000008@`=/30000060000@0n?l00000 o?oho`01P@024<3K000000000?l8@183;000020000024<3K0P000000002:lh9:S9AABX3lh4Uj8Zm: 004001E04P0@000010000140000T000090000000P3d0000000000000P3d0000000000080001O0000 >0000040000h0000000003P00000000000810040000000000000000000000000000002D0000<0000 0@0002D0000<00000P0001<0000<00000P0005/0001<0000A@0003@000190@00:@40008000090000 1@0000@0001f56H3]0@m4ZT400000000000IRcL>000m/8009W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:T0002@0000H0000 IRcL>00000000000IRcL>000m/8009W3:T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000m/8009W3:T0002@0000H0000 IRcL>00000000000IRcL>000m/8009W3240C0Z00002D00000Q30f`00002<5000000001[j54Ko0000 0P0000000002000000000000P3mH00000Q30f`00000100000P0005IEeD0000000000000000000211 0020?`000000000000000000000L00000Q30f`<00000H000103ho`00003looSo0061008@`=/00000 0000o`Q050000000000000P400@0000000000000000000000000000009@0000`0000100009@0000`000020000 4`0000`000020000F`0004`000210@00=00008D2000Y0@000P0000T000050000100003HHF`?h9c4B kBLm4R/HIP"], "Graphics", ImageSize->{332., 165.78300653594772`}, ImageMargins->{{88., 0.}, {0., 3.279738562091495}}], Cell["Utility function \"myJoin\"", "Text", CellChangeTimes->{{3.497223935109375*^9, 3.49722395996875*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"myJoin", "[", "x__", "]"}], ":=", RowBox[{"Flatten", "[", RowBox[{"{", "x", "}"}], "]"}]}]], "Input", CellChangeTimes->{{3.4976436021367383`*^9, 3.4976436198583384`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"(*", " ", RowBox[{"An", " ", "alternative", " ", "definition"}], " ", "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"myJoin", "[", "x__", "]"}], ":=", RowBox[{"Join", "@@", RowBox[{"Map", "[", RowBox[{ RowBox[{ RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"Head", "[", "#", "]"}], "===", "List"}], ",", "#", ",", RowBox[{"{", "#", "}"}]}], "]"}], "&"}], ",", RowBox[{"{", "x", "}"}]}], "]"}]}]}]}]], "Input", Evaluatable->False, CellChangeTimes->{{3.4975539819653997`*^9, 3.4975540224006*^9}, { 3.4975542086646*^9, 3.4975542803346*^9}, {3.497554326495*^9, 3.4975543282734003`*^9}, {3.497554365183*^9, 3.4975544118582*^9}, { 3.4975545360498*^9, 3.4975545389982*^9}, {3.4976436926387386`*^9, 3.4976437336463385`*^9}}], Cell["\<\ Note : Pattern \"x__\" matches any sequence of arguments whose length is \ greater than or equal to 1.\ \>", "Text", CellChangeTimes->{{3.4975885811070004`*^9, 3.497588696142*^9}}], Cell["Tests", "Text", CellChangeTimes->{{3.4975210042072*^9, 3.4975210052032003`*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"myJoin", "[", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}], ",", "4", ",", RowBox[{"{", "5", "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.497553762801*^9, 3.4975537996014*^9}, { 3.4975542843282003`*^9, 3.4975542963557997`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "5"}], "}"}]], "Output", CellChangeTimes->{ 3.4975542974634*^9, 3.4975543316898003`*^9, {3.4975543713138*^9, 3.4975543975998*^9}, 3.4975545430542*^9, 3.4976436254899387`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"myJoin", "[", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", "4"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4975212703115997`*^9, 3.497521277316*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4"}], "}"}]], "Output", CellChangeTimes->{ 3.4975212779556*^9, {3.4975536051162*^9, 3.4975536343506002`*^9}, 3.4975545873738003`*^9, 3.4976436285475388`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"myJoin", "[", RowBox[{"1", ",", RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4975536942546*^9, 3.497553701415*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}]], "Output", CellChangeTimes->{3.4975537019765997`*^9, 3.4975545898542*^9, 3.4976436307783384`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"myJoin", "[", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", "3"}], "]"}]], "Input", CellChangeTimes->{{3.4975212497664003`*^9, 3.4975212557412*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3"}], "}"}]], "Output", CellChangeTimes->{3.4975212574884*^9, 3.4975536368154*^9, 3.4975545922878*^9, 3.4976436419947386`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"myJoin", "[", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "2"}], "}"}], ",", "3", ",", RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", "6"}], "]"}]], "Input", CellChangeTimes->{{3.497604526441*^9, 3.4976045409802*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{"1", ",", "2", ",", "3", ",", "4", ",", "5", ",", "6"}], "}"}]], "Output", CellChangeTimes->{3.497604545863*^9, 3.4976436446623383`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["fanOut constructor", "Subsubsection", CellChangeTimes->{{3.4976672673066*^9, 3.4976672722676*^9}}], Cell[TextData[{ "The fanOut constructor\nfanOut: ((", Cell[BoxData[ FormBox[ SuperscriptBox["B", "n"], TraditionalForm]], FormatType->"TraditionalForm"], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "a"], TraditionalForm]], FormatType->"TraditionalForm"], ")\[Cross](", Cell[BoxData[ FormBox[ SuperscriptBox["B", "n"], TraditionalForm]], FormatType->"TraditionalForm"], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "b"], TraditionalForm]], FormatType->"TraditionalForm"], ")\[Cross](", Cell[BoxData[ FormBox[ SuperscriptBox["B", "n"], TraditionalForm]], FormatType->"TraditionalForm"], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", "c"], TraditionalForm]], FormatType->"TraditionalForm"], "))\[LongRightArrow](", Cell[BoxData[ FormBox[ SuperscriptBox["B", "n"], TraditionalForm]], FormatType->"TraditionalForm"], "\[RightArrow]", Cell[BoxData[ FormBox[ SuperscriptBox["B", RowBox[{"a", "+", "b", "+", "c"}]], TraditionalForm]], FormatType->"TraditionalForm"], ")" }], "Text", CellChangeTimes->{{3.4976437997123384`*^9, 3.4976438024111385`*^9}, { 3.497647050296338*^9, 3.4976470667543383`*^9}, {3.4976472239399385`*^9, 3.4976473704863386`*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"fanOut", "[", "arrows__", "]"}], ":=", "\[IndentingNewLine]", RowBox[{"Map", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Function", "[", RowBox[{"x", ",", "\[IndentingNewLine]", RowBox[{"{", RowBox[{"x", ",", "\[IndentingNewLine]", RowBox[{"myJoin", "[", "\[IndentingNewLine]", RowBox[{"Map", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"Function", "[", RowBox[{"arrow", ",", RowBox[{"apply", "[", RowBox[{"arrow", ",", "x"}], "]"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"{", "arrows", "}"}]}], "]"}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", "}"}]}], "\[IndentingNewLine]", "]"}], ",", "\[IndentingNewLine]", RowBox[{"domain", "[", RowBox[{"First", "[", RowBox[{"{", "arrows", "}"}], "]"}], "]"}]}], "\[IndentingNewLine]", "]"}]}]], "Input", CellChangeTimes->{{3.4976663666112003`*^9, 3.4976663985912*^9}, { 3.4976665381924*^9, 3.4976665577860003`*^9}, {3.4976667369667997`*^9, 3.497666798094*^9}, {3.4976668493244*^9, 3.4976668618199997`*^9}, { 3.4976680200216*^9, 3.4976680554336*^9}, {3.4976680973406*^9, 3.4976680994466*^9}, {3.4976681541036*^9, 3.4976681584776*^9}, { 3.4976682566296*^9, 3.4976682604416*^9}, {3.4976683902206*^9, 3.4976684314466*^9}, {3.4976684906546*^9, 3.4976685847626*^9}, { 3.4976686914636*^9, 3.4976687177946*^9}, {3.4976687506296*^9, 3.4976687828915997`*^9}, {3.4976693064834003`*^9, 3.4976693098686*^9}, { 3.4976694645738*^9, 3.497669467101*^9}}], Cell["Tests", "Text", CellChangeTimes->{{3.4976688304676*^9, 3.4976688314746*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}]], "Input", CellChangeTimes->{{3.4976691563802*^9, 3.4976691768318*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.4976691789066*^9, 3.4976692045685997`*^9}, 3.4976693176842003`*^9, 3.4976694701898003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"fanOut", "[", RowBox[{"and", ",", "or"}], "]"}]], "Input", CellChangeTimes->{{3.4976697065453997`*^9, 3.4976697144234*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976697155934*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"fanOut", "[", RowBox[{"not", ",", "id", ",", "not"}], "]"}]], "Input", CellChangeTimes->{{3.4976697329874*^9, 3.4976697383538*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976697389309998`*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["parallel -- constructor", "Subsubsection", CellChangeTimes->{{3.4976697657474003`*^9, 3.4976697773538*^9}, { 3.4976725744014*^9, 3.4976725758366003`*^9}}], Cell["\<\ The parallel constructor parallel: \ ((A\[RightArrow]X)\[Cross](B\[RightArrow]Y)\[Times]\[CenterEllipsis]\[Times](\ C\[RightArrow]Z))\[LongRightArrow]((A\[Cross]B\[Times]\[CenterEllipsis]\ \[Cross]C)\[RightArrow](X\[Cross]Y\[Times]\[CenterEllipsis]\[Cross]Z))\ \>", "Text", CellChangeTimes->{{3.4976698004418*^9, 3.4976698076177998`*^9}, { 3.4976704638929996`*^9, 3.4976704681205997`*^9}, {3.4976725797834*^9, 3.4976725871466*^9}, {3.4976726202654*^9, 3.4976727583254004`*^9}}], Cell["\<\ We first see what we will get when we take the Cartesian product of arrows.\ \>", "Text", CellChangeTimes->{{3.4976779848792*^9, 3.4976780572944*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Tuples", "[", RowBox[{"{", RowBox[{"and", ",", "not", ",", "or"}], "}"}], "]"}]], "Input", CellChangeTimes->{{3.497677306716*^9, 3.4976773266372004`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}], ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976773272924*^9}] }, Open ]], Cell["\<\ Let us take the last member of the list and do some calculations.\ \>", "Text", CellChangeTimes->{{3.497678091942*^9, 3.497678104968*^9}, { 3.4976781351228*^9, 3.4976781752304*^9}, {3.4976782124832*^9, 3.4976782193316*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{"First", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4976774172732*^9, 3.4976775173784*^9}, { 3.4976776280604*^9, 3.49767766458*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1", ",", RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976776654536*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{"Rest", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}]}], "]"}]], "Input", CellChangeTimes->{{3.4976776953431997`*^9, 3.4976777178384*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", "1", "}"}], ",", RowBox[{"{", "0", "}"}], ",", RowBox[{"{", "1", "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976777184936*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"{", "\[IndentingNewLine]", RowBox[{ RowBox[{"myJoin", "[", RowBox[{"Map", "[", RowBox[{"First", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}]}], "]"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"myJoin", "[", RowBox[{"Map", "[", RowBox[{"Rest", ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1"}], "}"}], ",", "1"}], "}"}]}], "}"}]}], "]"}], "]"}]}], "\[IndentingNewLine]", "}"}]], "Input", CellChangeTimes->{{3.4976777605355997`*^9, 3.4976778737604*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.4976778873012*^9, 3.4976778906396*^9}}] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"parallel", "[", "arrows__", "]"}], ":=", "\[IndentingNewLine]", RowBox[{"Map", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"myJoin", "[", RowBox[{"Map", "[", RowBox[{"First", ",", "#"}], "]"}], "]"}], ",", RowBox[{"myJoin", "[", RowBox[{"Map", "[", RowBox[{"Rest", ",", "#"}], "]"}], "]"}]}], "}"}], "&"}], ",", "\[IndentingNewLine]", RowBox[{"Tuples", "[", RowBox[{"{", "arrows", "}"}], "]"}]}], "\[IndentingNewLine]", "]"}]}]], "Input", CellChangeTimes->{{3.4976784559212*^9, 3.4976786061024*^9}, { 3.4976787086412*^9, 3.4976787388115997`*^9}}], Cell["Tests", "Text", CellChangeTimes->{{3.49767864387*^9, 3.4976786447436*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"parallel", "[", RowBox[{"and", ",", "not", ",", "or"}], "]"}]], "Input", CellChangeTimes->{{3.4976786537916*^9, 3.4976786601876*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976786694695997`*^9}] }, Open ]] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Example of a Boolean function", "Section", CellChangeTimes->{{3.497179194916342*^9, 3.497179210984342*^9}}], Cell[GraphicsData["Metafile", "\<\ CF5dJ6E]HGAYHf4PEfU^I6mgLb15CDHPAVmbKF5d0@000=?<0@0006`0000?0000o?ooog43003[0@00 00000000002ZN@00k4800215CDH00040c=<006l300050000000000000000000000D0020300340@00 6P4000000000000000000>?S1P1^CP@0AP0002`0000P0000ADe6:`500@0L00004000008@`=/10000 H00006000016000030<000030015CDH[7T0500`0000000007d0300`000000000<402010000040000 0020?b501`0<000000000290100<0000000002Y0000T000060000000P3l0000000000000P3l00000 000002Y0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000 000002Y0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000 000002Y0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000 000002Y0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i``Q000900000=000008@`=/00000T0@00000000JnQA60000@@0000020000 00000000P3l24<3K000000000?l8@043V00008`000024<3K3P000000002X;We:V;[kB@SYR4ZH^_]9 1nV8BYRjndT0W8i:VK[kBK/jTdZO_`Y:^cZCBTbT6TZk>Y=:nXPZBP2LSTY000000000000P400@000000000000000000000000000000 9@0000`0000100009`0001P00002000000000000000000009@0000`0000200004`0000`000020000 F`0005`100250@007@000=01002400000P0004d0000J0000<`0006PHj06Y6^P1i1[]0AhKn@5E6`d2 RQ/X0[`KBP;/6g82@AcD0XLLBP>k7=83g1aX1>PL20GL7:X5^aa01XLLa`I173d7k1^O1k`Kb0N96nT7 EA/421hK60ST6R@8ZAXX26PH:0QX6>P1N1PP270H60RX6QP8Z1XH2>8J50SQ6QD86Q/921TK2@Q?6oD7 CQ_e1h8Kf`N16m`7/a^k1k8K^`OQ6i<7h1^D1c@L<`Ld73@7NAbo1WPL`@J/73/6[1`l1/dLY`G<7:P5 f1`81MPL2@G<76X4cAa[1:`LeP>/7=L3N1a@0gTLDP0D2aQiL680h1@;7miaHP00003L8Ql;0>0D2dS8;`2;oG1R0030o`00`?l00800 00200?SO50/0h1@;f=lD2fc8;`17A4U3D?aB06S8;`0008Mgn=Zg2;`R7P^l0P00^00000000000IRcL>000<<8003W3:T0002@0000H0000 0020?`00000000000020?gVgcd00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W324020T00000d00000Q30f`00002@1000000001[j54H00011 00000080000000000020?`8@`=/000000000o`Q00`>H0000S000008@`=/>0000000002X4dTY`I71: V3ONBW1TL4ZR6nQ:L2EmBZ8Kj4Z2L8I:XQ_XBTa>STZG=mi:c:jDBRX4dT[<[YA::PCBB/b^U4XZ1=9: c:jDBRX4dT[<[YA:9@CBB/n^U4ZCn=Q:M[N;BY?hf4Z?:H5:9@CBBV]TL4X00`<30`<30`<30@<3P`00 5D030100000400000P00024000080000HP0000`000010000900002@00000080m000000000000080m 0000000000020000G`0003P000010000>0000000000h0000000000020@0100000000000000000000 00000000000U000030000040000U000030000080000C000030000080001K0000L0800:@2003R0000 m08004P100020000TP000400001B0000DBXh3]dZ?0iG:dT>c2]L3Sd/M`jW;9P>32fo3VX]k0k1;B0? 3biG3eH^U@nD;]D?b2hK4?4^I10?;k0@8Roo42P_D14R;j8A3boa4O4^?A;8;XHBU2k<4UH^31DBXh3ZXZVPkU:_X>5b]K3cl[_PmO:b4@ MB^648<[k127:e0APb^f4GD[6a9O:h0B?b_S4QL[Aa?U:ZLCZRX856LZIAAP:UPDg2YD5=`ZE1AE:dPD E2]95B`K53P/6aBR;?XCXRcj4`H]da<5;Mh;G@C^2ed4`H^?A<5;SdC Bbh04d/^0A>8;/4BQbk24[/^OA:j;WhBhRhf4^8^=Q80;n/A02o]4A<_Wa4B;j0A62m@4AP_DA4B;`4A 4bl24@0_]100;kD@hRiZ4>8^Ja2j;R<@^bhT48L^g`n8;^0?BbjP3d/^X@l5;V@?1RiT3kP];@nh;Bd? HRgj3V<]n`h5;Lh>1Rg>3Z8/Y`jR;:L>>2b63ST/QPk9:f/>bB][3U@[F0iE:eP>g2Y<3]`ZC0iP:TP> IbXl3ZXZVPhC000030000040000U000030000000080U0000300000L0080T000090000000P4400000 00000000P440000000000080000X000030000040000R000030000?oooom60000b0800;`20015CDH[ :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H00000020?`00000000000020?fRT<4BmVh13:T0002@0000H00000020?`0000000000 0020?fRT<4BmVh13:T0002@0000H00000020?`00000000000020?fRT<4BmVh13:T0002@0000H0000 0020?`00000000000020?fRT<4BmVh13:T0002@0000H00000020?`00000000000020?fRT<4BmVh13 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H00000020?`0000000000 0020?fRT<4BmVh13:T0002@0000H00000020?`00000000000020?fRT<4BmVh13:T0002@0000H0000 0020?`00000000000020?fRT<4BmVh13140000`0000000008@0000P0000Q0000200001`000080000 B`000100000000001@0002<0000P00000020?`00000000000020?fRT<4BmVh13900002@00000080o 000000000000080oJ:@`A;fKP4<400003000010000000000000000X0000@000000000000001B0000 L0400040003Xoooo0000000000000000T0400000000400HR@@1b06T0H@1/0000O`8_0>C:;`11`g9R 83Ro283>gPP006310000`@00B48001A200000?`P7`]o0Rl03oFQhMmL`JGLTb2l0FGA`HP000000h1@;67U`HP3P50/OgW5R00000=`R7`/0h1@; BI^6Mn]:QgLVIHIga>3mO`3`oGmTMP08 000002D0000<00000@0001H0000<000060000180000<00000@0001P0000<000000000U@0001H0000 ``8000<1003G0P007@4000800000000000000000000G00000P0004`00000000000000000003ooooo oooooe00001_07803@0000P0000U0000300000d0080X000030000040000R000030000?oooolR0000 30000?oooom60000b0800;`20015CDH[:T0002@0000H00000020?`00000000000020?fRT<4BmVh13 :T0002@0000H00000020?`00000000000020?fRT<4BmVh13:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H00000020?`00000000000020?fRT<4BmVh13:T0002@0000H0000 0020?`00000000000020?fRT<4BmVh13:T0002@0000H00000020?`00000000000020?fRT<4BmVh13 :T0002@0000H00000020?`00000000000020?fRT<4BmVh13:T0002@0000H00000020?`0000000000 0020?fRT<4BmVh13:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W324040T00000d0000 0Q30f`00002@1000000001[j54H0001100000080000000000020?`8@`=/000000000o`Q01@3d[Xf=Q9Y1e7B^b30TXTCPm:I9/HBP01P@0E@0D0400000@000040000 8@0000P0001R000030000040000T000090000000P3d0000000000000P3d0000000000080001O0000 >0000040000h0000000003P00000000000810040000000000000000000000000000002D0000<0000 0@0002D0000<00000P0001<0000<00000P0005/0001D0000b0000?ooool]0@00C`000080000;0000 100000L0002H30D0]Q9`0YPL<[@00030000000000Z@000900001P0001V;=`h00000000001V;=`h 000``P00>LLL<[@00030000000000Z@000900001P0001V;=`h00000000001V;=`h 000``P00>LLL<[@00030000000000Z@000900001P0001V;=`h00000000001V;=`h 000``P00>LLLSoool00000 00000000002@0@00000000@01R910780J@1Q06`0001o0Rl0i;l800112`00H<400031 001h@P0054800000o20O2gl2;`00D2aoNLF800000g28O2`3P50]8b2l0Roe`HP00`?l00<3o 00200000P03hga@;0>0D2mSO50]/b2l0AdA9@e3lDP1Xb2l00027Mhc`]`Rl8Qh;_0800;S8;`38EHMg _0800;`R7P/000000@000?`P7`/iVhIgjdZ7MbIUQWO4h?eo0?3mOfAf00P000009@0000`000010000 5P0000`0000H00004P0000`000010000600000`000000002E0000600003K00005`000?/0000a0000 0P00000000000000000001L000030000C00000000000000000000?ooooooooooE00006h0K`1d0000 3@0000d0000700009@0000`0000=0020:00000`0000100008P0000`0003ooooo8P0000`0003ooooo AP0000000000000h0000000000020@010000000000000000000000000000000U000030000040000U0000 30000080000C000030000080001K0000E000000000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H00000020?`0000000000 0020?no^FT=4A=12:T0002@0000H00000020?`00000000000020?no^FT=4A=12:T0002@0000H0000 0020?`00000000000020?no^FT=4A=12:T0002@0000H00000020?`00000000000020?no^FT=4A=12 :T0002@0000H00000020?`00000000000020?no^FT=4A=12:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H00000020?`00000000000020?no^FT=4A=12:T0002@0000H0000 0020?`00000000000020?no^FT=4A=12:T0002@0000H00000020?`00000000000020?no^FT=4A=12 140000`0000000008@0000P0000Q0000200001`000080000B`000100000000001@0002<0000P0000 0020?`00000000000020?no^FT=4A=12900002@00000080o000000000000080okniJ@dA4d4840000 3000010000000000000000X0000@000000000000001B0000L0400040003Xoooo0000000000000000 T0400000000400HR@@1b06T0H@1/0000O`8_0>C:;`11`g9R83Ro2801@@/006310000`@00N48001A2 00000?`P7`]o0Rl03oFQhMmL`JGLTb2l0 FGA`HP000000h1@;67U`HP3P50/OgW5R00000=`R7`/0h1@;BI^6Mn]:QgLVIHIga>3mO`3`oGmTMP08000002D0000<00000@0001H0000<0000 60000180000<00000@0001P0000<000000000U@0001P0000f`0006X0003k0000Q000008000000000 00000000000G00000`0004`00000000000000000003ooooooooooe@0001^06l0M00000d0000=0000 1`0002D0000<00003@00P2P0000<00000@000280000<0000ooooob80000<0000ooooodH000380P00 _08004E=AR/Z@000900001P00000080o000000000000080okniJ@dA4d48Z@000900001P00000080o 000000000000080okniJ@dA4d48Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLL<[@00030000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLL<[@00030000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LL<8@0P2@00003@000024<3K0000090400000000 6_XDAP00044000000P0000000000080o0Q30f`000000003o24090c@0000X00000Q30f`<000000000 8Th?B/:2CDZR7DM:dTmSBR9>3d[N77U:006101E02@0@0000100000P0000Q000020000680000<0000 0@0002@0000T00000020?@00000000000020?@00000000000P0005l0000h00000@0003P000000000 >000000000000P400@0000000000000000000000000000009@0000`0000100009@0000`000020000 4`0000`000020000F`0005@000380000YP0002d1003e00000P0000/0000400001`0009P0D2aQiL680h1@;7miaHP00003L8Ql;0>0D2dS8;`2;oG1R0030o`00`?l0080000200?SO50/0h1@; f=lD2fc8;`17A4U3D?aB06S8;`0008Mg]0>h2;`R7P^l0P00^00000000000IRcL>000<<8003W3:T0002@0000H0000 0020?`00000000000020?no^FT?@C3]3:T0002@0000H00000020?`00000000000020?no^FT?@C3]3 :T0002@0000H00000020?`00000000000020?no^FT?@C3]3:T0002@0000H00000020?`0000000000 0020?no^FT?@C3]3:T0002@0000H00000020?`00000000000020?no^FT?@C3]3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3240:0T00000d00000Q30f`00002@1000000001[j54H00011 00000080000000000020?`8@`=/000000000o`Q02`3dZS/Ie: XQe7BR^HZ4XRCPm:/GjcBP01P@0E@0/0400000@0000:00008@0000P0001R000030000040000T0000 90000000P3d0000000000000P3d0000000000080001O0000>0000040000h0000000003P000000000 00810040000000000000000000000000000002D0000<00000@0002D0000<00000P0001<0000<0000 0P0005/0001D0000b00006<1000]0@00/P400080000;0000100000L0002H34DF]Q:X69P<31^H34DF Z0`06ihL<[@000 30000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLL<[@000 30000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLL<[@000 30000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLLSoool0000000000000002@0@00000000@01R910780 J@1Q06`0001o0Rl0i;l8W0A12`00H<400031001h@P0054800000o20O2gl2;`00D2aoNLF800000g28O2`3P50]8b2l0Roe`HP00`?l00<3o00200000P03hga@;0>0D2mSO50]/b2l0 AdA9@e3lDP1Xb2l00027MdP=^0Rl8Qh;_0800;S8;`38EHMg_0800;`R7P/000000@000?`P7`/iVhIg jdZ7MbIUQWO4h?eo0?3mOfAf00P000009@0000`0000100005P0000`0000H00004P0000`000010000 600000`000000002E0000600003K0000NP400?/0002D0@000P00000000000000000001L000030000 C00000000000000000000?ooooooooooE00006h0K`1d00003@0000d0000700009@0000`0000=0020 :00000`0000100008P0000`0003ooooo8P0000`0003oooooAP0002`3000P0`00ADe6:bY0000T0000 60000000P3l0000000000000P3o_kUY3J2Jl@bY0000T000060000000P3l0000000000000P3o_kUY3 J2Jl@bY0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T000060000000P3l00000 00000000P3o_kUY3J2Jl@bY0000T000060000000P3l0000000000000P3o_kUY3J2Jl@bY0000T0000 60000000P3l0000000000000P3o_kUY3J2Jl@bY0000T000060000000P3l0000000000000P3o_kUY3 J2Jl@bY0000T000060000000P3l0000000000000P3o_kUY3J2Jl@bY0000T0000600006H/g3P00000 000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000 000002Y0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000 000002Y0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i``Q030900000=000008@`=/00000T0@00000000JnQA60000@@0000020000 00000000P3l24<3K000000000?l8@0d3V00008`000024<3K3P000000002X;We:/4V>BPSYR4Z`BHi: 1nV8B[19STX0W8i:/4V>B[/jTdX`ZYA:^cZCB_Z7W4Zk>Y=:a6FTBP2LSTY4aZY:1nV8BTC6ZTX6jHQ: A000000000000P400@000000000000000000000000000000 9@0000`0000100009@0000`0000200004`0000`000020000F`0005`100250@00;P400=01002D0@00 0P0004d0000J0000<`0006PHn1:Y6_PBi1[m4QhK2A=E6a`CRQ/h4k`KFA?/6h4C@AcR4hLLEaBk7=dD g1aa5NPL41KL7;0F^aa45hLLbQM173lHk1^P6;`Kb1R:6nTHEA/56AhK61WT6R@IZAXX6FPH:1UX6?PB N1PP6G0H61VX6QPIZ1XH6N8J51WQ6QDI6Q/96ATK2AU?6oHHCQ_f688KfaR16m`H/a^k6;8K^aSQ6i@H h1^E63@L=APd73HHNAc25gPLa1N/73lG[1a05ldL[AK<7:hFf1`@5]PL4AK<778D N1aM57TLGa@d7>/C=1c/4n0KS1?Q6hdC/Q]V4k16dDCPQ]64dhK:a=?6b/C6A/H4aXK61?Q6P`C hQX<4jPJ21>X6PPCL1P84gPH01=h620I4`0000`0000100009@0000`0000000209@0000`000070020 900002@00000081100000000000008110000000000020000:00000`0000100008P0000`0003ooooo AP0000D2aQiL680h1@; 7miaHP00003L8Ql;0>0D2dS8;`2;oG1R0030o`00`?l0080000200?SO50/0h1@;f=lD2fc8;`17A4U3 D?aB06S8;`0008MgF7Rh2;`R7P^l0P00^00000000000IRcL>000<<8003W3:T0002@0000H00000020?`00000000000020?gVgcd?L5ZE3 :T0002@0000H00000020?`00000000000020?gVgcd?L5ZE3:T0002@0000H00000020?`0000000000 0020?gVgcd?L5ZE3:T0002@0000H00000020?`00000000000020?gVgcd?L5ZE3:T0002@0000H0000 0020?`00000000000020?gVgcd?L5ZE3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 240>0T00000d00000Q30f`00002@1000000001[j54H0001100000080000000000020?`8@`=/00000 0000o`Q03`>H0000S000008@`=/>000000000:@OYT[H3J9:F76`B]P=XTYHLK1:f0fRBU0T]T[H3J9: 2l>jBWUdYdX;`kY:21j^BP_3^TZGakA:D2BfBSP^^TYGLK1:>2jjBUMa/4Xh;[Y:EW6`BSP^^TYFLK1: >2jjBUEa/4Xh;[Y:Y1nVBSH^^TX00@430`<30`<30`<1P@005D0?0100000400003P00024000080000 HP0000`000010000900002@00000080m000000000000080m0000000000020000G`0003P000010000 >0000000000h0000000000020@010000000000000000000000000000000U000030000040000U0000 30000080000C000030000080001K0000A04000d2001b0@00F08001MS8c/GWB=75m@SEaL996dGJbB/5l4ToQL69F4H>bGD65`UDAUY9MPIG2EP6S/UgQX69DlK `BBd6f/T1Q`994@Le2=J79dSJaaS8gDL:B=h7>PPN1cX83PGn21`7?0PJ1`X8fPL:2=X768SIAaQ8fHL VR=L79TSG1c?8d/LcR=;708T=A`193HLHRCi6f4TnQ^e9:TK]2BZ6oTTAa_h94PK;2GH6R`UfAY=9E`J C2EN6UPUf1UH9MTIC2EC6DdUEAT/9MTH;2GJ6?PTJASi96XH]2@86;DT2AQQ9;PGHRBi5`4TNaL297`G cR=V5llSIQNI8eHGVR=F5f4SBaMR8d/G:2=85bPSB1O`84PGn2105oPPL1`C000030000040000U0000 30000000080U0000300000L0080T000090000000P440000000000000P440000000000080000X0000 30000040000R000030000?oooom60000b0800;`20015CDH[:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H00000020?`0000000000 0020?kgK2DC]I/E3:T0002@0000H00000020?`00000000000020?kgK2DC]I/E3:T0002@0000H0000 0020?`00000000000020?kgK2DC]I/E3:T0002@0000H00000020?`00000000000020?kgK2DC]I/E3 :T0002@0000H00000020?`00000000000020?kgK2DC]I/E3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H00000020?`00000000000020?kgK2DC]I/E3:T0002@0000H0000 0020?`00000000000020?kgK2DC]I/E3:T0002@0000H00000020?`00000000000020?kgK2DC]I/E3 140000`0000000008@0000P0000Q0000200001`000080000B`000100000000001@0002<0000P0000 0020?`00000000000020?kgK2DC]I/E3900002@00000080o000000000000080o_M/9A>eVaD<40000 3000010000000000000000X0000@000000000000001B0000L0400040003Xoooo0000000000000000 T0400000000400HR@@1b06T0H@1/0000O`8_0>C:;`11`g9R83Ro29`7@@/006310000`@00=48001A2 00000?`P7`]o0Rl03@0000000000o_ooookooonk825>oFQhMmL`JGLTb2l0 FGA`HP000000h1@;67U`HP3P50/OgW5R00000=`R7`/0h1@;BI^6Mn]:QgLVIHIga>3mO`3`oGmTMP08000002D0000<00000@0001H0000<0000 60000180000<00000@0001P0000<000000000U@0001D00009`8008d1000f0P00Y`40008000000000 00000000000G00000@0004`00000000000000000003ooooooooooe00000V0000400002D0000<0000 3@00P2P0000<00000@000280000<0000ooooob80000<0000ooooodH0000/0`0080<004E=AR/Z@000 900001P00000080o000000000000080o_M/9A>eVaDeVaDLeVaDeVaDeVaDeVaDeVaDLL<[@000 30000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLL<[@000 30000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LL<8@102@00003@000024<3K00000904000000006_XDAP0004400000 0P0000000000080o0Q30f`000000003o240A0iP0002<00000Q30f`h000000000Y1nVB]bb;TYHLK1: g;8^BUQa/4[L/Ri:D2BfB]bb;TX;`kY:7h0iBP_3^TXlddI:2l>jBUXVE4Y@9;I:W?=NBUMa/4ZLlei: Eg6`BYccGTYFLK1:W?=NBUIa/4ZLlei:EG6`BYccGTZT7jI:V?=NBP010@<30`<30`<30`61000E@140 400000@0000@00008@0000P0001R000030000040000T000090000000P3d0000000000000P3d00000 00000080001O0000>0000040000h0000000003P00000000000810040000000000000000000000000 000002D0000<00000@0002D0000<00000P0001<0000<00000P0005/000140@003@800740001H0P00 b000008000170000600002l0003X82P7:BbG>2PHU?`_19:@;JbCf2`TT=0cD8dXPP:0Oh860< l21H32PSF0`X8eP`c>8c/<0R@U304T9PaR9>T;HBCZ2kDTV@^d99X; nB@g2oPT>0//9LP:;2G92TdUC0Y<9Dh:F2G82EPUb@U<9D<9CBE52B`Ub@P/9LX8n2AI2?TTFPRd9?P7 ]BCi1f4TZ0MR9:T70BA[1`8TK0O>8eH7cb=F1iTSAPNJ8dH7HB`LX8cP7:20Oh8307 n21P31<0000<00000@0002D0000<00000000P2D0000<00001`00P2@0000T00000020@@0000000000 0020@@00000000000P0002P0000<00000@000280000<0000ooooodH000380P00_08004E=AR/Z@000 900001P0001V;=`h00000000001V;=`h000``P00>L<[@00030000000000Z@000900001P0001V;=`h 00000000001V;=`h000``P00>LLL<[@00030000000000Z@000900001P0001V;=`h 00000000001V;=`h000``P00>LLL<[@00030000000000Z@000900001P0001V;=`h 00000000001V;=`h000``P00>LLLSoool0000000000000002@0@00000000@01R910780J@1Q06`0001o0Rl0i;l8 70U12`00H<400031000d@P0054800000o20O2gl2;`00D2aoNLF800000g28O2`3P50]8b2l0 Roe`HP00`?l00<3o00200000P03hga@;0>0D2mSO50]/b2l0AdA9@e3lDP1Xb2l00027Ma2>^0Rl8Qh; _0800;S8;`38EHMg_0800;`R7P/000000@000?`P7`/iVhIgjdZ7MbIUQWO4h?eo0?3mOfAf00P00000 9@0000`0000100005P0000`0000H00004P0000`000010000600000`000000002E00005@0000W0P00 S00003H2002V00000P00000000000000000001L000010000C00000000000000000000?oooooooooo D00002H0000@00009@0000`0000=0020:00000`0000100008P0000`0003ooooo8P0000`0003ooooo AP000303000T0`00ADe6:bY0000T000060000000P3l0000000000000P3nmf`U4fLd9@bY0000T0000 60000000P3l0000000000000P3nmf`U4fLd9@bY0000T0000600006H/g3P00000000006H/g3P00332 000i`bY0000T000060000000P3l0000000000000P3nmf`U4fLd9@bY0000T000060000000P3l00000 00000000P3nmf`U4fLd9@bY0000T000060000000P3l0000000000000P3nmf`U4fLd9@bY0000T0000 60000000P3l0000000000000P3nmf`U4fLd9@bY0000T000060000000P3l0000000000000P3nmf`U4 fLd9@bY0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i`b]0000<0000000002Y0000T0000600006H/g3P00000000006H/g3P00332 000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i``Q04P900000=000008@`=/00000 R0@00000000JnQA60P0000000002000000000000P3l24<3K000000000?l8@1<3504000P100024<3K 70000000001@9:_?m@BX@i0TZloe1:Q3T2B[coD4Z4>@9: _?m@BXDi0TZloe1:oJ44B_d;CdZmU@I:Q:=@9:C4M8BXDi0TY0000040000h0000000003P000000000 00810040000000000000000000000000000002D0000<00000@0002D0000<00000P0001<0000<0000 0P0003/0000800006`000100002i4P00JP8005P0000X000000000000003oooooooooo`<0002h4VT2 ^19X0[TBI`8f000040000<8B000h0P00F00002P00000000000000?oooooooooo0`000<8B=`;24SH2 `a8e0SH0000@0000gA8000l2001H0000:000000000000000ooooooooool30000gA8>0]hB3@;O4Pd2 =P00010000054`00l`4005P0000X000000000000003oooooooooo`<000064o811a?b0@PClP4f0000 400003LC003Y0@00F00002P00000000000000?oooooooooo0`0003PCj04i4nP1>Q?Y0CH0000@0000 JA<00?81001H0000:000000000000000ooooooooool30000JQ?b0F/ClP5/4o<1=P000100002B4`00 3@8005P0000X000000000000003oooooooooo`<0002C4`d2U1<>0Y@C3`8f000040000:hC000e0P00 F00002P00000000000000?oooooooooo0`000:lC=P:_4cL2[aK0ZhCW08f0000400009@C00320P00F00002P000000000 00000?oooooooooo0`0009@C``:C4l@2TQ?40SH0000@0000K1<00=h2001H0000:000000000000000 ooooooooool30000Ja?O0VXCg`9Y4ml2=P000100000j4`00j08005P0000X000000000000003ooooo ooooo`<0000i4nT2>1?Y0SLCj08f0000400000PC003O0P00F00002P00000000000000?oooooooooo 0`0000LCg`864ml21A?N0SH0000@0000ga800<@2001H0000:000000000000000ooooooooool30000 gQ;40]dB``;M4/82=P00010000334P00W08005P0000X000000000000003oooooooooo`<000324Y/2 `Q:J0/8BV@8m0000200001/0000@0000dA8009H2001I0000V000000000000000oooooooooolO0000 d1:C0^XB^@;X4[L23Q?A0P/Cd08j4mT2=a?I0VHCd09S4m42RA>g0XLC^@:Q4i<2X1>F0ZTCI`:Y4fX2 X1`;84VX2 b19W0Sd000080000?00000P0000o0000600002X1000M0000?@400300000C000030000040000U0000 30000000080U0000300000L0080T000090000000P440000000000000P440000000000080000X0000 3000004000160000I08005P20015CDH[:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3240D0T00000d00000Q30f`0000281000000001[j54H20000 00000080000000000020?`8@`=/000000000o`Q05@dY:g;8^BXBSC4[L/Ri:Q:=0000040000h0000000003P00000000000810040000000000000000000000000000002D0000<0000 0@0002D0000<00000P0001<0000<00000P0003/0000800006`000100002i4P00ZPL005P0000X0000 00000000003oooooooooo`<0002h4ZT7^1:X1kTBY`Lf000040000<8B001h1`00F00002P000000000 00000?oooooooooo0`000<8BM`O24WH7`a9e1cH0000@0000gA8004l7001H0000:000000000000000 ooooooooool30000gA9>1mhBC@OO4Td7=P00010000054`00<`L005P0000X000000000000003ooooo ooooo`<000064c871aQ1i@CC`Lf000040000:hC001e1`00F00002P00000000000000?oooooooooo0`000:lCMPN_4gL7 [a=h1cH0000@0000^1<00:L7001H0000:000000000000000ooooooooool30000^A>X1kTCZ@Nh4jX7 =P000100002_4`00f@L005P0000X000000000000003oooooooooo`<0002_4mX7[a?K1jhCg0Lf0000 400009@C00022000F00002P00000000000000?oooooooooo0`0009@C0`RC4`@8TQ<423H0000@0000 K1<001h8001H0000:000000000000000ooooooooool30000Ja10L;4d47 3Q=01nPBFPOZ4UP7d19n1m4BN`O84ZX7b1:W1cd000080000?00000P0000o0000600002X1001a0000 ?@4008@0000C000030000040000U000030000000080U0000300000L0080T000090000000P4400000 00000000P440000000000080000X00003000004000160000I08005P20015CDH[:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3240F0T00000d0000 0Q30f`0000281000000001[j54H2000000000080000000000020?`8@`=/000000000o`Q05`dY:V?=NBXBSC4ZHlei:Q:=0000040000h0000000003P0000000000081004000000000 0000000000000000000002D0000<00000@0002D0000<00000P0001<0000<00000P0003/000080000 6`000100002i4P00fP`005P0000X000000000000003oooooooooo`<0002h4]T<^1;H3;TBe``f0000 40000<8B002X3000F00002P00000000000000?oooooooooo0`000<8BY`c24ZH<`a:U33H0000@0000 gA8007l<001H0000:000000000000000ooooooooool30000gA9n3=hBO@cO4Wd<=P00010000054`00 H``005P0000X000000000000003oooooooooo`<000064f8<1a=R30PCHP`f0000400003LC001I3000 F00002P00000000000000?oooooooooo0`0003PCF0`i4eP<>Q=I33H0000@0000JA<0068<001H0000 :000000000000000ooooooooool30000JQ=R36/CHPa/4f<<=P000100002B4`00O@`005P0000X0000 00000000003oooooooooo`<0002C4gdX33H0000@0000^1<00=L<001H0000:000000000000000 ooooooooool30000^A?H3;TCf@bh4mX<=P000100002_4`002@d005P0000X000000000000003ooooo ooooo`<0002_4`X=[a<;3JhC30df0000400009@C000b3@00F00002P00000000000000?oooooooooo 0`0009@C<`fC4c@=TQ1=I3CLCF0df0000400000PC001?3@00F00002P00000000000000?oooooooooo0`0000LCC`d64dl= 1A=>3CH0000@0000ga8003@=001H0000:000000000000000ooooooooool30000gQ8d3MdB<`gM4S8= =P00010000334P0030d005P0000X000000000000003oooooooooo`<000324P/=`Q8:3L8B2@dm0000 200001/0000@0000dA8000H=001I0000V000000000000000oooooooooolO0000d1833NXB:@gX4RL= 3Q=13@/C@0dj4dT==a=93FHC@0eS4d4=RA[3:4C[Pb74hP< RA>:36PBRPcZ4XP00000000000IRcL>000<<8003W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3240H0T00000d00000Q30f`0000281000000001[j54H200000000008000000000 0020?`8@`=/000000000o`Q06@dY: 3VZVBXBSC4X>JZI:Q:=JZI:Q:=0000040000h0000 000003P00000000000810040000000000000000000000000000002D0000<00000@0002D0000<0000 0P0001<0000<00000P0003/0000800006`000100002i4P00ZQP005P0000X000000000000003ooooo ooooo`<0002h4ZTH^1:X6;TBYaPf000040000<8B001h6000F00002P00000000000000?oooooooooo 0`000<8BMaS24WHH`a9e63H0000@0000gA8004lH001H0000:000000000000000ooooooooool30000 gA9>6=hBCASO4TdH=P00010000054`00Q69@CCaPf0000 40000:hC001e6000F00002P00000000000000?oooooooooo0`000:lCMQR_4gLH[a=h63H0000@0000 ^1<00:LH001H0000:000000000000000ooooooooool30000^A>X6;TCZARh4jXH=P000100002_4`00 fAP005P0000X000000000000003oooooooooo`<0002_4mXH[a?K6:hCg1Pf0000400009@C00026@00 F00002P00000000000000?oooooooooo0`0009@C0aVC4`@ITQ<46CH0000@0000K1<001hI001H0000 :000000000000000ooooooooool30000Ja1XBnASX4_LH3Q1P;4d4H3Q=06>PBFQSZ4UPH d19n6=4BNaS84ZXHb1:W63d000080000?00000P0000o0000600002X100210@00?@4009@1000C0000 30000040000U000030000000080U0000300000L0080T000090000000P440000000000000P4400000 00000080000X00003000004000160000O04007010015CDH[:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3240J0T00000d00000Q30f`0000281000 000001[j54H2000000000080000000000020?`8@`=/000000000o`Q06`000000000000P400@00000000000000 00000000000000009@0000`0000100009@0000`0000200004`0000`000020000EP0002`0000j0@00 9@0008P1000Y000010000;0CJ09`66P2L1Qh0[0CN08C000030000040000U000030000000080U0000 300000L0080T000090000000P440000000000000P440000000000080000X00003000004000160000 O04007010015CDH[:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3240L0T00000d00000Q30f`0000281000000001[j54H200000000008000000000 0020?`8@`=/000000000o`Q07@000000000000P400@0000000000000000000000000000009@0000`000010000 9@0000`0000200004`0000`000020000EP0002`0000j0@00N00008P1001l000010000;0CV0M`69P7 L1RX1k0CZ0LC000030000040000U000030000000080U0000300000L0080T000090000000P4400000 00000000P440000000000080000X00003000004000160000O04007010015CDH[:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3240N0T00000d0000 0Q30f`0000281000000001[j54H2000000000080000000000020?`8@`=/000000000o`Q07`000000000000P40 0@0000000000000000000000000000009@0000`0000100009@0000`0000200004`0000`000020000 EP0002`0000j0@00R04008P1002<0@0010000;0CV1Q`69PHL1RX6;0CZ1PC000030000040000U0000 30000000080U0000300000L0080T000090000000P440000000000000P440000000000080000X0000 3000004000160000S04008010015CDH[:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3240P0T00000d00000Q30f`00002@1000000001[j54H00011 00000080000000000020?`8@`=/000000000o`Q08@eI:00410AE08@0@000010000200000T000090000000P3d00000 00000000P3d0000000000080001O0000>0000040000h0000000003P0000000000081004000000000 0000000000000000000002D0000<00000@0002D0000<00000P0001<0000<00000P0005H000140000 >P400;D0000@0P00d00000X0002`4m<Y=:]>hJBV:DW4ZdkQY:HYBLBQB4=dX8kZE:58@gBP010@4E@2<0400000@0000R0000 900002@00000080m000000000000080m0000000000020000G`0003P000010000>0000000000h0000 000000020@010000000000000000000000000000000U000030000040000U000030000080000C0000 30000080001F0000A0000HP6`SV82/8 fah[2=/N40GS7QP5h1`H1A<0000<00000@0002D0000<00000000P2D0000<00001`00P2@0000T0000 0020@@00000000000020@@00000000000P0002P0000<00000@0004H0000D0@00204004E=AR/Z@000 900001P0001V;=`h00000000001V;=`h000``P00>L<[@00030000000000Z@000900001P0001V;=`h 00000000001V;=`h000``P00>LL<8@2@2 @00003@000024<3K00000904000000006_XDAP00044000000P0000000000080o0Q30f`000000003o 240U0c`0000`00000Q30f`@000000000^SZCB_Z7W4YRU9a:nXNLBV:DW4X>JZI:2>jUBPiZYTX00@41 5D0U010000040000900002@0000T00000020?@00000000000020?@00000000000P0005l0000h0000 0@0003P000000000>000000000000P400@0000000000000000000000000000009@0000`000010000 9@0000`0000200004`0000`000020000EP0004@0003=0@00G`40010200250@002P000>0L21K[7PPF jah`6>1SK7Q0FhahH5^0L61HC000030000040000U000030000000080U0000 300000L0080T000090000000P440000000000000P440000000000080000X00003000004000160000 504000P10015CDH[:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3240V0T00000d00000Q30f`00002@1000000001[j54H000110000008000000000 0020?`8@`=/000000000o`Q09`3d[F2l=:00410AE09`0@0000100002H0000T000090000000P3d0000000000000P3d00000 00000080001O0000>0000040000h0000000003P00000000000810040000000000000000000000000 000002D0000<00000@0002D0000<00000P0001<0000<00000P0005H000140000b@000;H1000@0P00 i`4000X0003`88PKjAj86o4NP1_a7V0NX0aP7Z03d[VYI9:004001E0:@0@0000100002P0000T000090000000P3d0000000000000P3d00000 00000080001O0000>0000040000h0000000003P00000000000810040000000000000000000000000 000002D0000<00000@0002D0000<00000P0001<0000<00000P0005H0000/0000b@0003d100280@00 @@4000@0001`6?PCX0ch4j0PC4`0000`0000100009@0000`0000000209@0000`000070020 900002@00000081100000000000008110000000000020000:00000`000010000AP0007`1001`0@00 ADe6:bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000000002Y0000T0000 600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332 000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000000002Y0000T0000 600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332 000i``Q0:P900000=000008@`=/00000R0@00000000JnQA60P0000000002000000000000P3l24<3K 000000000?l8@2/3;000020000024<3K0P000000000TCPm:k8<2BV3O>4VXa39:004001E0:`0@0000 100002X0000T000090000000P3d0000000000000P3d0000000000080001O0000>0000040000h0000 000003P00000000000810040000000000000000000000000000002D0000<00000@0002D0000<0000 0P0001<0000<00000P0005H0000/00008@0002D0003<0000O00000@0002T37P2=0:X1bd2V@NM36T2 4`0000`0000100009@0000`0000000209@0000`000070020900002@0000008110000000000000811 0000000000020000:00000`000010000AP0007`1001`0@00ADe6:bY0000T0000600006H/g3P00000 000006H/g3P00332000i`b]0000<0000000002Y0000T0000600006H/g3P00000000006H/g3P00332 000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000 000006H/g3P00332000i`b]0000<0000000002Y0000T0000600006H/g3P00000000006H/g3P00332 000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i``Q0;0900000=000008@`=/00000 R0@00000000JnQA60P0000000002000000000000P3l24<3K000000000?l8@2d3;000020000024<3K 0P000000001PgcQ9Z<@bBRA>3d[VYI9:004001E0;@0@0000100002`0000T000090000000P3d00000 00000000P3d0000000000080001O0000>0000040000h0000000003P0000000000081004000000000 0000000000000000000002D0000<00000@0002D0000<00000P0001<0000<00000P0005H0000/0000 8@0007P0003<0000@@4000@0000g0Y/7Y`c[4iX4UT1F=: 004001E0;`0@0000100002h0000T000090000000P3d0000000000000P3d0000000000080001O0000 >0000040000h0000000003P00000000000810040000000000000000000000000000002D0000<0000 0@0002D0000<00000P0001<0000<00000P0005H0000/00008@0007P0003<0000c`0000@0002T3:P7 =0;H32d2b@bM39T74`0000`0000100009@0000`0000000209@0000`000070020900002@000000811 00000000000008110000000000020000:00000`000010000AP0007`1001`0@00ADe6:bY0000T0000 600006H/g3P00000000006H/g3P00332000i`b]0000<0000000002Y0000T0000600006H/g3P00000 000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`bY0000T0000 600006H/g3P00000000006H/g3P00332000i`b]0000<0000000002Y0000T0000600006H/g3P00000 000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i``Q0<0900000 =000008@`=/00000R0@00000000JnQA60P0000000002000000000000P3l24<3K000000000?l8@343 ;000020000024<3K0P000000001PgcQ9I0ESBRA>3d[dLZQ:004001E0<@0@000010000300000T0000 90000000P3d0000000000000P3d0000000000080001O0000>0000040000h0000000003P000000000 00810040000000000000000000000000000002D0000<00000@0002D0000<00000P0001<0000<0000 0P0005H0000/00008@0004UPmX]:004001E0<`0@000010000380000T000090000000P3d0000000000000P3d00000 00000080001O0000>0000040000h0000000003P00000000000810040000000000000000000000000 000002D0000<00000@0002D0000<00000P0001<0000<00000P0005H0000/00008@0002H1003<0000 i`4000@0002J35HN:P:64SH2Na:V34/N4`0000`0000100009@0000`0000000209@0000`000070020 900002@00000081100000000000008110000000000020000:00000`000010000AP0007`1001`0@00 ADe6:bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000000002Y0000T0000 600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332 000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000000002Y0000T0000 600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332 000i``Q0=0900000=000008@`=/00000R0@00000000JnQA60P0000000002000000000000P3l24<3K 000000000?l8@3D3;000020000024<3K0P000000001PgcQ9H?J;BRA>3dYT1F=:004001E0=@0@0000 100003@0000T000090000000P3d0000000000000P3d0000000000080001O0000>0000040000h0000 000003P00000000000810040000000000000000000000000000002D0000<00000@0002D0000<0000 0P0001<0000<00000P0005H0000/00008@0000D2aQiL680h1@;7miaHP00003L8Ql;0>0D2dS8;`2;oG1R 0030o`00`?l0080000200?SO50/0h1@;f=lD2fc8;`17A4U3D?aB06S8;`0008MgG=Bh2;`R7P^l0P00 ^00000000000IRcL>000<<8003W3 :T0002@0000H00000020?`00000000000020?g]4K454A=12:T0002@0000H00000020?`0000000000 0020?g]4K454A=12:T0002@0000H00000020?`00000000000020?g]4K454A=12:T0002@0000H0000 0020?`00000000000020?g]4K454A=12:T0002@0000H00000020?`00000000000020?g]4K454A=12 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H00000020?`0000000000 0020?g]4K47@C3]3:T0002@0000H00000020?`00000000000020?g]4K47@C3]3:T0002@0000H0000 0020?`00000000000020?g]4K47@C3]3:T0002@0000H00000020?`00000000000020?g]4K47@C3]3 :T0002@0000H00000020?`00000000000020?g]4K47@C3]3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H00000020?`00000000000020?g]4K47@C3]3:T0002@0000H0000 0020?`00000000000020?g]4K47@C3]3:T0002@0000H00000020?`00000000000020?g]4K47@C3]3 140000`0000000008@0000P0000Q0000200001`000080000B`000100000000001@0002<0000P0000 0020?`00000000000020?g]4K47@C3]3900002@00000080o000000000000080oNdA/@M1<>d<40000 3000010000000000000000X0000@000000000000001B0000L0400040003Xoooo0000000000000000 T0400000000400HR@@1b06T0H@1/0000O`8_0>C:;`11`g9R83Ro2822@@/006310000`@00948001A2 00000?`P7`]o0Rl033mO`3`oGmTMP08000002D0000<00000@0001H0000<0000 60000180000<00000@0001P0000<000000000U@0001D00003`000;d0000J0000e`00008000000000 00000000000G00000@0004`00000000000000000003ooooooooooe00001i0000300002D0000<0000 3@00P2P0000<00000@000280000<0000ooooob80000<0000ooooodH0002D0`00R0<004E=AR/Z@000 900001P00000080o000000000000080oNdA/@M1<>ddLdddddLL<[@000 30000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLL<[@000 30000000000Z@000900001P0001V;=`h00000000001V;=`h000``P00>LLLSoool0000000000000002@0@00000000@01R910780 J@1Q06`0001o0Rl0i;l8E8=12`00H<400031000T@P0054800000o20O2gl2;`0XE4GJk825>000001L000000000000008@U6PT10000R2DJ2Oooool00000 ooooobS8;`30D2aoNLF800000g28O2`3P50]8b2l0Roe`HP00`?l00<3o00200000P03hga@;0>0D2mSO50]/b2l0 AdA9@e3lDP1Xb2l00027MaSP^0Rl8Qh;R0<00;S8;`38EHMgR0<00;`R7P/000000@000?`P7`_Tga@; 0>0D2bIUQWO4h?eo0?3mOfAf00P000009@0000`0000100005P0000`0000H00004P0000`000010000 600000`000000002E00005@0000?0000604001X0000b0@000P00000000000000000001L000010000 C00000000000000000000?ooooooooooD00007X0000<00009@0000`0000=0020:00000`000010000 8P0000`0003ooooo8P0000`0003oooooAP0004P2000l0P00ADe6:bY0000T000060000000P3l00000 00000000P3mkA6a14A6;@bY0000T000060000000P3l0000000000000P3mkA6a14A6;@bY0000T0000 600006H/g3P00000000006H/g3P00332000i`bY0000T000060000000P3l0000000000000P3mkA6a1 4A6;@bY0000T000060000000P3l0000000000000P3mkA6a14A6;@bY0000T000060000000P3l00000 00000000P3mkA6a14A6;@bY0000T000060000000P3l0000000000000P3mkA6a14A6;@bY0000T0000 60000000P3l0000000000000P3mkA6a14A6;@bY0000T0000600006H/g3P00000000006H/g3P00332 000i`bY0000T0000600006H/g3P00000000006H/g3P00332000i`b]0000<0000000002Y0000T0000 600006H/g3P00000000006H/g3P00332000i`bY0000T0000600006H/g3P00000000006H/g3P00332 000i``Q0=P900000=000008@`=/00000R0@00000000JnQA60P0000000002000000000000P3l24<3K 000000000?l8@3L3;000020000024<3K0P000000002bk;]::/n/BXS_a4XZcja:004001E0=`0@0000 100003H0000Q000020000680000<00000@0002@0000T00000020?@00000000000020?@0000000000 0P0005l0000h00000@0003P000000000>000000000000P400@000000000000000000000000000000 9@0000`0000100009@0000`0000200004`0000`000020000EP0002`0001I0P00U`4007X2002K0@00 10000:0UR1V@9hPIT2NH6J0UV1TC000030000040000U000030000000080U0000300000L0080T0000 90000000P440000000000000P440000000000080000X00003000004000160000O04007010015CDH[ :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 240h0T00000d00000Q30f`0000281000000001[j54H2000000000080000000000020?`8@`=/00000 0000o`Q0>@o4BYIBT4X00@005D0i010000040000 >00002@0000T00000020?@00000000000020?@00000000000P0005l0000h00000@0003P000000000 >000000000000P400@0000000000000000000000000000009@0000`0000100009@0000`000020000 4`0000`000020000EP0002`0001g0P00=P4007/2002J0@00100008PWT1V89g0CV2M`4iPWT1TC0000 30000040000U000030000000080U0000300000L0080T000090000000P440000000000000P4400000 00000080000X00003000004000160000O04007010015CDH[:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3240j0T00000d00000Q30f`0000281000 000001[j54H2000000000080000000000020?`8@`=/000000000o`Q0>`P0002@0000T00000020?@0000000000 0020?@00000000000P0005l0000h00000@0003P000000000>000000000000P400@00000000000000 00000000000000009@0000`0000100009@0000`0000200004`0000`000020000EP0002`0001h0P00 =@400:l2000i0@001000090WJ1?P:VPCh2Yh4i0WN100000000000IRcL>000<<8003W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3240l0T00000d00000Q30f`0000281000000001[j54H200000000008000000000 0020?`8@`=/000000000o`Q0?@o4BX0eA4X00@00 5D0m010000040000?00002@0000T00000020?@00000000000020?@00000000000P0005l0000h0000 0@0003P000000000>000000000000P400@0000000000000000000000000000009@0000`000010000 9@0000`0000200004`0000`000020000EP0002`0001I0P00UP0007X2002J000010000:0UN0V@9gP9 T2N82J0UR0TC000030000040000U000030000000080U0000300000L0080T000090000000P4400000 00000000P440000000000080000X00003000004000160000O04007010015CDH[:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3240n0T00000d0000 0Q30f`0000281000000001[j54H2000000000080000000000020?`8@`=/000000000o`Q0?`o4B]`LNDX00@005D0o010000040000?P0002@0000T0000 0020?@00000000000020?@00000000000P0005l0000h00000@0003P000000000>000000000000P40 0@0000000000000000000000000000009@0000`0000100009@0000`0000200004`0000`000020000 EP0002`0001g0P00U`0007/2003d0000100009PWP0VH9c0?R2L`3hPWP0TC000030000040000U0000 30000000080U0000300000L0080T000090000000P440000000000000P440000000000080000X0000 3000004000160000O04007010015CDH[:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W324000T00000d00000Q30f`0000281000000001[j54H20000 00000080000000000020?`8@`=/000000000o`Q00@000000000000P400@000000000000000000000000000000 9@0000`0000100009@0000`0000200004`0000`000020000EP0002`0001h0P00l@000:l2003e0000 1000090W:0oP:RP?h2Xh3i0W>0lC000030000040000U000030000000080U0000300000L0080T0000 90000000P440000000000000P440000000000080000X00003000004000160000O04007010015CDH[ :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 24020T00000d00000Q30f`0000281000000001[j54H2000000000080000000000020?`8@`=/00000 0000o`Q00`000000000000P400@0000000000000000000000000000009@0000`0000100009@0000`000020000 4`0000`000020000EP0002`0003a0P003`4003L3000C0@001000020_215P<`PAH300000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:T0002@0000H0000IRcL>00000000000 IRcL>000<<8003W3:d0000`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 :T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3:d0000`0000000007T0600`000000000 8D0500`0000000007T0500`000000000:T0002@0000H0000IRcL>00000000000IRcL>000<<8003W3 8D0700`000000000:T0002@0000H0000EEFQ?@0000000000002P?@10?T@005m3940400`000000000 24041BP2000L0P000Q30f`8000020000lP400=O=aYX0000000001P020@T0000045X000402@000oT0 000201`0000000D000090P00000500000P4100001@000042oooo00D0000^0AP0000500002`800000 1@0000`200801Q80000V1Pl06P3ooooo000@0000`?ooolKoooo01@00aP4000/0000V1Pl0301=HGAX E7U`I@00D00L0000n`:0oP0000000901000000@2011DJFeULb1>IGLPDVm]HFh0R:W_Mi6YkgLP2 />JOWL1>B8A`e]b8lIPSPR9800000;01gD:7Mh065`0:4P00P9[520bl;`35]SUZD;d_01Rl;`28Yg9R 3000052m;`3XmPH;0@00072L`@8h_2l0SZIbHTRn;`010000D;d_03Bn;`000000=;h_09Bm;`33`WUR :<@_000000006:_3n;Bg2000002k825>402@0@00;`3k`gURY06D0M`0P0580K`1]0640KP0000000000000000000000000000000000000000000000 0027Mdbm;`3D@hMg0@000;/P8DhI0;01gD:7MkL`YF90^bl0g;/_0?bE=F?ooooo0Zn]HXgXZf:0^bl0 `62:Mk6FQWN0WB@04000000000=@V2]LX_Bl00YN6M`bGQWL00000 2000000000000000n;Bg2000002k825>e2H:e`40000B00002000000000000000T040000008070P82 D`1i07<0M01U06d000000?3Eg8P0000000000000000000000@000:bH8h:`iYnM`4i8Q73Fg8SaV2>2 8TP00000/07M@XMgP0HG06Af00P000009@0000`000030000E00005@0001S0`00h00006`300010@00 0@000:X87M`40002k825>6@2`0Me2QgNg<:ER @;/_0000003T100000000>knD@2k825>00000000001V025>00000000000X000000000000003P9dT0 10000000003D9P[G000_00:GQWL00000000000IRcL>000<<8003W3:T0002@0000H0000 IRcL>00000000000IRcL>000<<8003W3:d0000`000000000C00006@0000N0000o?ooog43003[0@00 7P000?cooomD0`00l04002T0ZP00000000000000P3l0000000000000P3l000000000000000000000 000000000000000000000280000<0000ooooodH0000L0000400004E=AR/2@00030000000000>0000 50000000000@00005000 \>"], "Graphics", ImageSize->{510., 280.3483432455395}, ImageMargins->{{35., 0.}, {0., 13.651656754460475`}}], Cell[CellGroupData[{ Cell["Usual consctruction", "Subsection", CellChangeTimes->{{3.4976909459156*^9, 3.4976909551352*^9}}], Cell[BoxData[ RowBox[{"Remove", "[", "f", "]"}]], "Input", CellChangeTimes->{{3.4976914909639997`*^9, 3.4976914928828*^9}}], Cell["\<\ Unfortunately, 0 and 1 are non - boolean type. We need some trick here.\ \>", "Text", CellChangeTimes->{{3.4976917186148*^9, 3.497691767396*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"f", "[", RowBox[{"x_", ",", "y_", ",", "z_"}], "]"}], ":=", "\[IndentingNewLine]", RowBox[{"If", "[", RowBox[{ RowBox[{ RowBox[{"Or", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"And", "[", RowBox[{ RowBox[{"And", "[", RowBox[{ RowBox[{"Not", "[", "x", "]"}], ",", RowBox[{"Not", "[", "y", "]"}]}], "]"}], ",", RowBox[{"Not", "[", "z", "]"}]}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"And", "[", RowBox[{ RowBox[{"And", "[", RowBox[{"x", ",", RowBox[{"Not", "[", "y", "]"}]}], "]"}], ",", "z"}], "]"}]}], "\[IndentingNewLine]", "]"}], " ", "/.", RowBox[{"{", RowBox[{ RowBox[{"0", "\[Rule]", "False"}], ",", RowBox[{"1", "\[Rule]", "True"}]}], "}"}]}], ",", "1", ",", "0"}], "]"}]}]], "Input", CellChangeTimes->{{3.4976910279248*^9, 3.4976911372496*^9}, { 3.4976911778096*^9, 3.4976911942052*^9}, {3.49769134448*^9, 3.49769146577*^9}, {3.4976915006984*^9, 3.4976915674196*^9}, { 3.4976916018644*^9, 3.497691607028*^9}, {3.4976916576032*^9, 3.4976917041068*^9}, {3.497694137087*^9, 3.497694141689*^9}, { 3.4976950830554*^9, 3.4976950832738*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Map", "[", RowBox[{ RowBox[{ RowBox[{"{", RowBox[{"#", ",", RowBox[{"(", RowBox[{"f", "@@", "#"}], ")"}]}], " ", "}"}], "&"}], ",", RowBox[{"Tuples", "[", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}], ",", "3"}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.4976912074964*^9, 3.4976912747167997`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}], ",", "0"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.4976912610824003`*^9, 3.4976912756372004`*^9}, { 3.4976914777976*^9, 3.497691504068*^9}, 3.4976916757460003`*^9, 3.4976917067588*^9, 3.4976941730606003`*^9, 3.4976950870022*^9}] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell["Construction with products in Category Circ", "Subsection", CellChangeTimes->{{3.4976909731219997`*^9, 3.4976910150548*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"parallel", "[", RowBox[{ RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "not"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}]}], "]"}]], "Input", CellChangeTimes->{{3.4976821125*^9, 3.497682117993*^9}, {3.497682192401*^9, 3.4976822122*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976822172539997`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"compose", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"permute", "[", RowBox[{"{", RowBox[{"1", ",", "3", ",", "5", ",", "2", ",", "4", ",", "6"}], "}"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"parallel", "[", RowBox[{ RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "not"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}]}], "]"}]}], "\[IndentingNewLine]", "]"}]], "Input", CellChangeTimes->{{3.4976896448444*^9, 3.4976897191940002`*^9}, { 3.4976946352106*^9, 3.4976946370982*^9}, {3.497694756329*^9, 3.497694764675*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976897229692*^9, 3.4976947851266003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"parallel", "[", RowBox[{"and", ",", "id", ",", "and", ",", "id"}], "]"}]], "Input", CellChangeTimes->{{3.4976898318571997`*^9, 3.4976898406244*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "1", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976898413576*^9}] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"compose", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"parallel", "[", RowBox[{"and", ",", "id", ",", "and", ",", "id"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"permute", "[", RowBox[{"{", RowBox[{"1", ",", "3", ",", "5", ",", "2", ",", "4", ",", "6"}], "}"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"parallel", "[", RowBox[{ RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "not"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}]}], "]"}]}], "\[IndentingNewLine]", "]"}]], "Input", CellChangeTimes->{{3.4976933024966*^9, 3.4976933308262*^9}, { 3.4976947969358*^9, 3.4976948028482*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "1", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1", ",", "0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0", ",", "0", ",", "1"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.4976933161778*^9, 3.4976933343986*^9}, 3.497694807653*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"compose", "[", "\[IndentingNewLine]", RowBox[{ RowBox[{"parallel", "[", RowBox[{"and", ",", "and"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"parallel", "[", RowBox[{"and", ",", "id", ",", "and", ",", "id"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"permute", "[", RowBox[{"{", RowBox[{"1", ",", "3", ",", "5", ",", "2", ",", "4", ",", "6"}], "}"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"parallel", "[", RowBox[{ RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "not"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}]}], "]"}]}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.4976904202424*^9, 3.4976905021112003`*^9}, { 3.4976905342472*^9, 3.497690570408*^9}, {3.4976948139709997`*^9, 3.4976948215526*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"1", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "1"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{"0", ",", "0"}], "}"}]}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976905746043997`*^9, 3.4976907825992002`*^9, 3.4976948227538*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{"compose", "[", "\[IndentingNewLine]", RowBox[{"or", ",", "\[IndentingNewLine]", RowBox[{"parallel", "[", RowBox[{"and", ",", "and"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"parallel", "[", RowBox[{"and", ",", "id", ",", "and", ",", "id"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"permute", "[", RowBox[{"{", RowBox[{"1", ",", "3", ",", "5", ",", "2", ",", "4", ",", "6"}], "}"}], "]"}], ",", "\[IndentingNewLine]", RowBox[{"parallel", "[", RowBox[{ RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "not"}], "]"}], ",", RowBox[{"fanOut", "[", RowBox[{"not", ",", "id"}], "]"}]}], "]"}]}], "\[IndentingNewLine]", "]"}], "\[IndentingNewLine]"}]], "Input", CellChangeTimes->{{3.4976904202424*^9, 3.4976905021112003`*^9}, { 3.4976905342472*^9, 3.497690570408*^9}, {3.4976906010151997`*^9, 3.4976906056172*^9}, {3.4976906758328*^9, 3.497690676644*^9}, { 3.497694829883*^9, 3.4976948349997997`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "0"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "0", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"0", ",", "1", ",", "1"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "0", ",", "1"}], "}"}], ",", "1"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "0"}], "}"}], ",", "0"}], "}"}], ",", RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", "1", ",", "1"}], "}"}], ",", "0"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4976906076296*^9, 3.4976906780480003`*^9, 3.4976948361542*^9}] }, Open ]] }, Open ]] }, Open ]] }, Open ]] }, ScreenStyleEnvironment->"Presentation", WindowSize->{838, 545}, WindowMargins->{{9, Automatic}, {63, Automatic}}, FrontEndVersion->"7.0 for Microsoft Windows (32-bit) (2009\:5e744\:670823\ \:65e5)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[567, 22, 129, 2, 246, "Title"], Cell[699, 26, 192, 3, 88, "Subtitle"], Cell[CellGroupData[{ Cell[916, 33, 96, 1, 119, "Section"], Cell[1015, 36, 773, 12, 143, "Text"], Cell[1791, 50, 224, 5, 50, "Input"] }, Open ]], Cell[CellGroupData[{ Cell[2052, 60, 100, 1, 119, "Section"], Cell[CellGroupData[{ Cell[2177, 65, 97, 1, 63, "Subsection"], Cell[2277, 68, 317, 9, 85, "Input"], Cell[CellGroupData[{ Cell[2619, 81, 179, 4, 50, "Input"], Cell[2801, 87, 449, 13, 50, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[3287, 105, 170, 4, 50, "Input"], Cell[3460, 111, 758, 21, 85, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[4267, 138, 88, 1, 63, "Subsection"], Cell[4358, 141, 365, 7, 143, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[4760, 153, 208, 3, 63, "Subsection"], Cell[4971, 158, 2488, 100, 271, "Text"], Cell[7462, 260, 2570, 84, 323, "Input"], Cell[CellGroupData[{ Cell[10057, 348, 336, 10, 50, "Input"], Cell[10396, 360, 777, 27, 85, "Output"] }, Open ]], Cell[11188, 390, 838, 21, 187, "Input"], Cell[12029, 413, 91, 1, 47, "Text"], Cell[CellGroupData[{ Cell[12145, 418, 167, 4, 50, "Input"], Cell[12315, 424, 753, 27, 108, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[13105, 456, 167, 4, 50, "Input"], Cell[13275, 462, 752, 27, 108, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[14064, 494, 183, 4, 50, "Input"], Cell[14250, 500, 1577, 51, 176, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[15876, 557, 104, 1, 63, "Subsection"], Cell[CellGroupData[{ Cell[16005, 562, 160, 2, 44, "Subsubsection"], Cell[16168, 566, 580, 14, 85, "Input"], Cell[16751, 582, 89, 1, 47, "Text"], Cell[CellGroupData[{ Cell[16865, 587, 198, 5, 50, "Input"], Cell[17066, 594, 115, 2, 50, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17218, 601, 153, 3, 50, "Input"], Cell[17374, 606, 88, 1, 50, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17499, 612, 149, 3, 50, "Input"], Cell[17651, 617, 88, 1, 50, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[17776, 623, 151, 3, 50, "Input"], Cell[17930, 628, 139, 3, 50, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[18118, 637, 152, 2, 44, "Subsubsection"], Cell[18273, 641, 216, 5, 50, "Input"], Cell[CellGroupData[{ Cell[18514, 650, 123, 2, 50, "Input"], Cell[18640, 654, 398, 12, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[19075, 671, 124, 2, 50, "Input"], Cell[19202, 675, 160, 3, 73, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[19411, 684, 159, 2, 44, "Subsubsection"], Cell[19573, 688, 210, 3, 47, "Text"], Cell[19786, 693, 643, 16, 119, "Input"], Cell[20432, 711, 85, 1, 47, "Text"], Cell[CellGroupData[{ Cell[20542, 716, 153, 3, 50, "Input"], Cell[20698, 721, 304, 8, 73, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[21051, 735, 126, 1, 44, "Subsubsection"], Cell[21180, 738, 429, 10, 85, "Input"], Cell[21612, 750, 201, 4, 79, "Text"] }, Open ]], Cell[CellGroupData[{ Cell[21850, 759, 213, 3, 44, "Subsubsection"], Cell[22066, 764, 44502, 551, 178, "Graphics"], Cell[66571, 1317, 108, 1, 47, "Text"], Cell[66682, 1320, 213, 5, 50, "Input"], Cell[66898, 1327, 850, 22, 119, "Input", Evaluatable->False], Cell[67751, 1351, 192, 4, 79, "Text"], Cell[67946, 1357, 87, 1, 47, "Text"], Cell[CellGroupData[{ Cell[68058, 1362, 289, 7, 50, "Input"], Cell[68350, 1371, 260, 5, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[68647, 1381, 245, 7, 50, "Input"], Cell[68895, 1390, 234, 5, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[69166, 1400, 192, 5, 50, "Input"], Cell[69361, 1407, 174, 4, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[69572, 1416, 197, 5, 50, "Input"], Cell[69772, 1423, 190, 4, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[69999, 1432, 261, 7, 50, "Input"], Cell[70263, 1441, 179, 4, 73, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[70491, 1451, 105, 1, 44, "Subsubsection"], Cell[70599, 1454, 1271, 46, 79, "Text"], Cell[71873, 1502, 1636, 33, 459, "Input"], Cell[73512, 1537, 83, 1, 47, "Text"], Cell[CellGroupData[{ Cell[73620, 1542, 147, 3, 50, "Input"], Cell[73770, 1547, 395, 12, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[74202, 1564, 151, 3, 50, "Input"], Cell[74356, 1569, 753, 27, 108, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[75146, 1601, 159, 3, 50, "Input"], Cell[75308, 1606, 341, 11, 73, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[75698, 1623, 163, 2, 44, "Subsubsection"], Cell[75864, 1627, 493, 9, 79, "Text"], Cell[76360, 1638, 161, 3, 79, "Text"], Cell[CellGroupData[{ Cell[76546, 1645, 186, 4, 50, "Input"], Cell[76735, 1651, 11040, 388, 1128, "Output"] }, Open ]], Cell[87790, 2042, 239, 5, 47, "Text"], Cell[CellGroupData[{ Cell[88054, 2051, 523, 17, 50, "Input"], Cell[88580, 2070, 221, 7, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[88838, 2082, 483, 16, 50, "Input"], Cell[89324, 2100, 195, 6, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[89556, 2111, 1146, 35, 221, "Input"], Cell[90705, 2148, 273, 7, 73, "Output"] }, Open ]], Cell[90993, 2158, 712, 19, 187, "Input"], Cell[91708, 2179, 81, 1, 47, "Text"], Cell[CellGroupData[{ Cell[91814, 2184, 161, 3, 50, "Input"], Cell[91978, 2189, 6657, 195, 1128, "Output"] }, Open ]] }, Open ]] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[98708, 2392, 114, 1, 119, "Section"], Cell[98825, 2395, 73391, 908, 302, "Graphics"], Cell[CellGroupData[{ Cell[172241, 3307, 103, 1, 63, "Subsection"], Cell[172347, 3310, 125, 2, 50, "Input"], Cell[172475, 3314, 156, 3, 47, "Text"], Cell[172634, 3319, 1281, 32, 187, "Input"], Cell[CellGroupData[{ Cell[173940, 3355, 388, 12, 50, "Input"], Cell[174331, 3369, 1239, 38, 142, "Output"] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[175619, 3413, 131, 1, 63, "Subsection"], Cell[CellGroupData[{ Cell[175775, 3418, 380, 10, 85, "Input"], Cell[176158, 3430, 1873, 59, 312, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[178068, 3494, 710, 18, 187, "Input"], Cell[178781, 3514, 1893, 59, 312, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[180711, 3578, 176, 3, 50, "Input"], Cell[180890, 3583, 14880, 452, 2216, "Output"] }, Closed]], Cell[CellGroupData[{ Cell[195807, 4040, 787, 20, 210, "Input"], Cell[196597, 4062, 1701, 53, 176, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[198335, 4120, 992, 24, 289, "Input"], Cell[199330, 4146, 1544, 52, 176, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[200911, 4203, 1115, 25, 323, "Input"], Cell[202029, 4230, 1119, 37, 142, "Output"] }, Open ]] }, Open ]] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)