(* Content-type: application/mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 6.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 145, 7] NotebookDataLength[ 41105, 1004] NotebookOptionsPosition[ 39069, 928] NotebookOutlinePosition[ 39453, 945] CellTagsIndexPosition[ 39410, 942] WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell["Initialisation", "Subsection", CellChangeTimes->{{3.4325292399779587`*^9, 3.4325292416002913`*^9}}], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{ RowBox[{"FusionAtlasPaths", "=", RowBox[{"{", RowBox[{ "\"\<~/projects/fusionatlas/code/package/\>\"", ",", "\"\<~/Documents/math papers/fusionatlas/code/package/\>\"", ",", "\"\<~/Documents/Math/fusionatlas/code/package/\>\""}], "}"}]}], ";"}], "\n", RowBox[{ RowBox[{"$Path", "=", RowBox[{"$Path", "~", "Join", "~", "FusionAtlasPaths"}]}], ";"}], "\[IndentingNewLine]", RowBox[{"<<", "FusionAtlas`"}]}], "Input", CellChangeTimes->{{3.4202924816948385`*^9, 3.4202924867921677`*^9}, { 3.420292533539387*^9, 3.4202925795154977`*^9}, {3.4223754203353004`*^9, 3.4223754221679363`*^9}, {3.4783511812374763`*^9, 3.478351190871888*^9}, { 3.478353790142556*^9, 3.478353790976256*^9}}], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"Loading FusionAtlas` version 0\\n\"\>", "\[InvisibleSpace]", "\<\"Read more at \ http://tqft.net/wiki/Atlas_of_subfactors\"\>"}], SequenceForm[ "Loading FusionAtlas` version 0\n", "Read more at http://tqft.net/wiki/Atlas_of_subfactors"], Editable->False]], "Print", CellChangeTimes->{{3.4301860428144627`*^9, 3.4301860507759104`*^9}, 3.4301866068755426`*^9, {3.4316487205672894`*^9, 3.431648731593144*^9}, 3.4316487704289875`*^9, 3.4316583040476575`*^9, 3.431727325859375*^9, 3.432426714623371*^9, 3.4324280910225363`*^9, 3.4324281800906096`*^9, 3.4324282978799825`*^9, 3.4324284616654944`*^9, 3.432428596489362*^9, 3.432428694209877*^9, 3.4324287934425664`*^9, 3.4324301291432095`*^9, 3.4324302354761086`*^9, 3.4324302986569586`*^9, {3.432430337683075*^9, 3.4324303654129486`*^9}, 3.432430439729811*^9, 3.4324305608639936`*^9, 3.432431015207307*^9, 3.432431517930187*^9, 3.4324317064512672`*^9, 3.4324319060482736`*^9, 3.4324331295275507`*^9, 3.4324332513527265`*^9, 3.4324338167657504`*^9, 3.4325099804140654`*^9, 3.4325142724256754`*^9, 3.4325227427153535`*^9, 3.432522818604477*^9, 3.4325229590964947`*^9, 3.4325295153339005`*^9, 3.4325315068175135`*^9, {3.4325323238423376`*^9, 3.43253234157784*^9}, 3.4325323716811266`*^9, 3.432532982799872*^9, 3.4325332442257843`*^9, 3.4325335413730607`*^9, 3.432538189366547*^9, 3.432604830842637*^9, 3.432605904566576*^9, 3.432606214962904*^9, 3.432608114814757*^9, 3.4326082507602367`*^9, 3.4327640943170304`*^9, 3.432764178558163*^9, 3.4327642522641473`*^9, 3.432764786832819*^9, 3.432764848771883*^9, 3.432779271010043*^9, 3.4327793498333855`*^9, 3.4327794091987486`*^9, 3.432779607844387*^9, 3.432779676663344*^9, 3.4327797135964513`*^9, 3.432779779651434*^9, 3.4328470111319585`*^9, 3.432847254291605*^9, 3.4328511785544176`*^9, 3.432865204372554*^9, 3.4329524423856163`*^9, 3.4329525828676195`*^9, 3.4329526268909216`*^9, 3.432952685014499*^9, 3.4329530292394705`*^9, 3.4329531471890736`*^9, 3.43295337742013*^9, 3.478351194011939*^9, 3.478353636845921*^9, 3.478353791458108*^9}], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"Found precomputed data in \"\>", "\[InvisibleSpace]", \ "\<\"/Users/scott/projects/fusionatlas/code/data\"\>"}], SequenceForm[ "Found precomputed data in ", "/Users/scott/projects/fusionatlas/code/data"], Editable->False]], "Print", CellChangeTimes->{{3.4301860428144627`*^9, 3.4301860507759104`*^9}, 3.4301866068755426`*^9, {3.4316487205672894`*^9, 3.431648731593144*^9}, 3.4316487704289875`*^9, 3.4316583040476575`*^9, 3.431727325859375*^9, 3.432426714623371*^9, 3.4324280910225363`*^9, 3.4324281800906096`*^9, 3.4324282978799825`*^9, 3.4324284616654944`*^9, 3.432428596489362*^9, 3.432428694209877*^9, 3.4324287934425664`*^9, 3.4324301291432095`*^9, 3.4324302354761086`*^9, 3.4324302986569586`*^9, {3.432430337683075*^9, 3.4324303654129486`*^9}, 3.432430439729811*^9, 3.4324305608639936`*^9, 3.432431015207307*^9, 3.432431517930187*^9, 3.4324317064512672`*^9, 3.4324319060482736`*^9, 3.4324331295275507`*^9, 3.4324332513527265`*^9, 3.4324338167657504`*^9, 3.4325099804140654`*^9, 3.4325142724256754`*^9, 3.4325227427153535`*^9, 3.432522818604477*^9, 3.4325229590964947`*^9, 3.4325295153339005`*^9, 3.4325315068175135`*^9, {3.4325323238423376`*^9, 3.43253234157784*^9}, 3.4325323716811266`*^9, 3.432532982799872*^9, 3.4325332442257843`*^9, 3.4325335413730607`*^9, 3.432538189366547*^9, 3.432604830842637*^9, 3.432605904566576*^9, 3.432606214962904*^9, 3.432608114814757*^9, 3.4326082507602367`*^9, 3.4327640943170304`*^9, 3.432764178558163*^9, 3.4327642522641473`*^9, 3.432764786832819*^9, 3.432764848771883*^9, 3.432779271010043*^9, 3.4327793498333855`*^9, 3.4327794091987486`*^9, 3.432779607844387*^9, 3.432779676663344*^9, 3.4327797135964513`*^9, 3.432779779651434*^9, 3.4328470111319585`*^9, 3.432847254291605*^9, 3.4328511785544176`*^9, 3.432865204372554*^9, 3.4329524423856163`*^9, 3.4329525828676195`*^9, 3.4329526268909216`*^9, 3.432952685014499*^9, 3.4329530292394705`*^9, 3.4329531471890736`*^9, 3.43295337742013*^9, 3.478351194011939*^9, 3.478353636845921*^9, 3.4783537914635277`*^9}] }, Open ]] }, Open ]], Cell[BoxData[ RowBox[{ RowBox[{"(*", RowBox[{ RowBox[{ "Here", " ", "D", " ", "is", " ", "the", " ", "global", " ", "dimension"}], ",", " ", RowBox[{ RowBox[{ "k", " ", "is", " ", "the", " ", "number", " ", "of", " ", "objects", " ", "with", " ", "dimension", " ", "1.", " ", "The", " ", "largest", " ", "interesting", " ", "rank", " ", "is", " ", "the", " ", "largest", " ", "possible", " ", "rank", " ", "where", " ", "you", " ", "might", " ", "have", " ", "a", " ", "non"}], "-", "re", "-", RowBox[{ "expandable", " ", "example", " ", "with", " ", "index", " ", "above", " ", "5."}]}]}], "*)"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"LargestInterestingRank", "[", RowBox[{"D_", ",", "k_Integer"}], "]"}], ":=", RowBox[{"Floor", "[", FractionBox[ RowBox[{"D", "+", RowBox[{"3", "k"}]}], "4"], "]"}]}]}]], "Input", CellChangeTimes->{{3.4223772643268304`*^9, 3.4223772957019453`*^9}, { 3.422377784765184*^9, 3.422377838171979*^9}, {3.478391133794922*^9, 3.4783911387068987`*^9}, {3.478391681029333*^9, 3.478391681128303*^9}}], Cell[BoxData[ RowBox[{"n", "\[LessEqual]", RowBox[{ FractionBox[ RowBox[{"D", "-", "k"}], SuperscriptBox["d", "2"]], "+", "k"}]}]], "Input", CellChangeTimes->{{3.478390993595748*^9, 3.478391031137158*^9}}], Cell[BoxData[ RowBox[{ RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"D_", ",", "k_Integer"}], "]"}], ":=", RowBox[{"Table", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{"N", "@", SqrtBox[ FractionBox[ RowBox[{"D", "-", "k"}], RowBox[{"r", "-", "k"}]]]}], ",", "r"}], "}"}], ",", RowBox[{"{", RowBox[{"r", ",", RowBox[{"k", "+", "1"}], ",", RowBox[{"LargestInterestingRank", "[", RowBox[{"D", ",", "k"}], "]"}]}], "}"}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4223778956546354`*^9, 3.4223779498425536`*^9}, { 3.422378118595208*^9, 3.4223781200973682`*^9}, {3.4301880360806384`*^9, 3.4301880432609634`*^9}, {3.478351416434915*^9, 3.478351420811981*^9}, { 3.478352053247449*^9, 3.4783520573167667`*^9}, {3.478352093852442*^9, 3.478352107183359*^9}, {3.47835214989447*^9, 3.478352157619915*^9}, { 3.4783550571856203`*^9, 3.478355058818454*^9}, {3.47835508933969*^9, 3.478355091545012*^9}, {3.478390890656917*^9, 3.478390898721834*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"120", ",", "1"}], "]"}]], "Input", CellChangeTimes->{{3.478391313120183*^9, 3.478391313390586*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"10.908712114635714`", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"7.713624310270756`", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"6.298147875897061`", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5.454356057317857`", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4.878524367060187`", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"4.453463071962462`", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"4.123105625617661`", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"3.856812155135378`", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"3.6362373715452376`", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"3.449637662132068`", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"3.2891004572955533`", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"3.1490739379485304`", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"3.0255323752764824`", ",", "14"}], "}"}], ",", RowBox[{"{", RowBox[{"2.9154759474226504`", ",", "15"}], "}"}], ",", RowBox[{"{", RowBox[{"2.816617356570348`", ",", "16"}], "}"}], ",", RowBox[{"{", RowBox[{"2.7271780286589284`", ",", "17"}], "}"}], ",", RowBox[{"{", RowBox[{"2.6457513110645907`", ",", "18"}], "}"}], ",", RowBox[{"{", RowBox[{"2.571208103423585`", ",", "19"}], "}"}], ",", RowBox[{"{", RowBox[{"2.5026301953618404`", ",", "20"}], "}"}], ",", RowBox[{"{", RowBox[{"2.4392621835300936`", ",", "21"}], "}"}], ",", RowBox[{"{", RowBox[{"2.3804761428476167`", ",", "22"}], "}"}], ",", RowBox[{"{", RowBox[{"2.3257452373574603`", ",", "23"}], "}"}], ",", RowBox[{"{", RowBox[{"2.274623714700579`", ",", "24"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.478391313861293*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"60", ",", "1"}], "]"}]], "Input", CellChangeTimes->{{3.478353814154214*^9, 3.478353814389049*^9}, { 3.4783731894918613`*^9, 3.478373190474564*^9}, {3.478390672626173*^9, 3.4783906739453993`*^9}, {3.478390895841092*^9, 3.478390896011902*^9}, { 3.47839115339683*^9, 3.478391154155643*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7.681145747868608`", ",", "2"}], "}"}], ",", RowBox[{"{", RowBox[{"5.431390245600108`", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"4.43471156521669`", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"3.840572873934304`", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3.4351128074635335`", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"3.13581462037113`", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"2.903200204700225`", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"2.715695122800054`", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2.5603819159562025`", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"2.4289915602982237`", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"2.3159525823376357`", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"2.217355782608345`", ",", "13"}], "}"}], ",", RowBox[{"{", RowBox[{"2.1303665267886505`", ",", "14"}], "}"}], ",", RowBox[{"{", RowBox[{"2.052872551885702`", ",", "15"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{{3.478353803405168*^9, 3.478353815005217*^9}, 3.478355060448138*^9, 3.4783550989607267`*^9, 3.478373191498505*^9, 3.4783906746126223`*^9, {3.478390892259446*^9, 3.478390899824699*^9}, { 3.478391146416527*^9, 3.478391154722186*^9}, 3.4783916869715643`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"60", ",", "2"}], "]"}]], "Input", CellChangeTimes->{{3.4783911726025877`*^9, 3.4783911726741953`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7.615773105863909`", ",", "3"}], "}"}], ",", RowBox[{"{", RowBox[{"5.385164807134504`", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"4.396968652757639`", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"3.8078865529319543`", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"3.40587727318528`", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"3.1091263510296048`", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"2.878491668515698`", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2.692582403567252`", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"2.5385910352879693`", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"2.4083189157584592`", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"2.2962419891481978`", ",", "13"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.478391173080657*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"60", ",", "3"}], "]"}]], "Input", CellChangeTimes->{{3.4783911976374826`*^9, 3.478391197702297*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"7.54983443527075`", ",", "4"}], "}"}], ",", RowBox[{"{", RowBox[{"5.338539126015656`", ",", "5"}], "}"}], ",", RowBox[{"{", RowBox[{"4.358898943540674`", ",", "6"}], "}"}], ",", RowBox[{"{", RowBox[{"3.774917217635375`", ",", "7"}], "}"}], ",", RowBox[{"{", RowBox[{"3.3763886032268267`", ",", "8"}], "}"}], ",", RowBox[{"{", RowBox[{"3.082207001484488`", ",", "9"}], "}"}], ",", RowBox[{"{", RowBox[{"2.8535691936340255`", ",", "10"}], "}"}], ",", RowBox[{"{", RowBox[{"2.669269563007828`", ",", "11"}], "}"}], ",", RowBox[{"{", RowBox[{"2.516611478423583`", ",", "12"}], "}"}], ",", RowBox[{"{", RowBox[{"2.3874672772626644`", ",", "13"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{3.4783911981168003`*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"60", ",", "28"}], "]"}]], "Input", CellChangeTimes->{{3.478391201942782*^9, 3.478391214218466*^9}, { 3.478391272086886*^9, 3.4783912868760147`*^9}}], Cell[BoxData[ RowBox[{"{", "}"}]], "Output", CellChangeTimes->{{3.478391202418036*^9, 3.478391214680826*^9}, { 3.478391272584927*^9, 3.4783912873574266`*^9}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "@", RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"DeleteCases", "[", RowBox[{ RowBox[{"Cases", "[", RowBox[{ RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"240", ",", "2"}], "]"}], ",", RowBox[{ RowBox[{"{", RowBox[{"d_", ",", "___"}], "}"}], "/;", RowBox[{"d", ">", SqrtBox["5"]}]}]}], "]"}], ",", RowBox[{"{", RowBox[{"_", ",", "_", ",", RowBox[{"0", "|", RowBox[{"-", "1"}]}], ",", "_"}], "}"}]}], "]"}], ",", RowBox[{ RowBox[{"{", RowBox[{"d_", ",", "_", ",", "1", ",", "e_"}], "}"}], "/;", RowBox[{"e", ">", RowBox[{ SuperscriptBox["d", "2"], "-", "1"}]}]}]}], "]"}]}]], "Input", CellChangeTimes->{{3.4783512003518543`*^9, 3.478351207963347*^9}, { 3.478351238244207*^9, 3.4783512382909203`*^9}, {3.478351430302614*^9, 3.478351459339932*^9}, {3.4783518230042257`*^9, 3.4783518540325623`*^9}, { 3.478351903418666*^9, 3.478351906391658*^9}, {3.4783521666178493`*^9, 3.4783521872462463`*^9}, {3.4783524201276503`*^9, 3.4783524395987673`*^9}, { 3.478352619169873*^9, 3.478352619250169*^9}, {3.478353523231801*^9, 3.478353548535879*^9}, {3.47835383569864*^9, 3.4783538854153337`*^9}, { 3.478353983505632*^9, 3.478353997264729*^9}, {3.4783545017870827`*^9, 3.4783545509708347`*^9}, {3.4783545922167473`*^9, 3.478354592293437*^9}, { 3.4783549252894573`*^9, 3.478354926573421*^9}, {3.478355019710539*^9, 3.478355019793475*^9}, {3.4783550689966516`*^9, 3.4783550693613462`*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{ "8.906926143924924`", ",", "5.`", ",", "2.`", ",", "229.09307385607508`"}], "}"}], ",", RowBox[{"{", RowBox[{ "7.713624310270756`", ",", "6.`", ",", "3.`", ",", "230.28637568972925`"}], "}"}], ",", RowBox[{"{", RowBox[{ "6.899275324264136`", ",", "7.`", ",", "4.`", ",", "231.10072467573588`"}], "}"}], ",", RowBox[{"{", RowBox[{ "6.298147875897061`", ",", "8.`", ",", "5.`", ",", "231.70185212410294`"}], "}"}], ",", RowBox[{"{", RowBox[{ "5.830951894845301`", ",", "9.`", ",", "6.`", ",", "232.1690481051547`"}], "}"}], ",", RowBox[{"{", RowBox[{ "5.454356057317857`", ",", "10.`", ",", "7.`", ",", "232.54564394268215`"}], "}"}], ",", RowBox[{"{", RowBox[{ "5.14241620684717`", ",", "11.`", ",", "8.`", ",", "232.85758379315283`"}], "}"}], ",", RowBox[{"{", RowBox[{ "4.878524367060187`", ",", "12.`", ",", "9.`", ",", "233.12147563293982`"}], "}"}], ",", RowBox[{"{", RowBox[{ "4.651490474714921`", ",", "13.`", ",", "10.`", ",", "233.34850952528507`"}], "}"}], ",", RowBox[{"{", RowBox[{ "4.453463071962462`", ",", "14.`", ",", "11.`", ",", "233.54653692803754`"}], "}"}], ",", RowBox[{"{", RowBox[{ "4.278748918514886`", ",", "15.`", ",", "12.`", ",", "233.72125108148512`"}], "}"}], ",", RowBox[{"{", RowBox[{ "4.123105625617661`", ",", "16.`", ",", "13.`", ",", "233.87689437438235`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.9832984656772417`", ",", "17.`", ",", "14.`", ",", "234.01670153432275`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.856812155135378`", ",", "18.`", ",", "15.`", ",", "234.14318784486463`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.7416573867739413`", ",", "19.`", ",", "16.`", ",", "234.25834261322606`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.6362373715452376`", ",", "20.`", ",", "17.`", ",", "234.36376262845477`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.539253563885143`", ",", "21.`", ",", "18.`", ",", "234.46074643611485`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.449637662132068`", ",", "22.`", ",", "19.`", ",", "234.55036233786794`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.366501646120693`", ",", "23.`", ",", "20.`", ",", "234.6334983538793`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.2891004572955533`", ",", "24.`", ",", "21.`", ",", "234.71089954270445`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.2168037066250283`", ",", "25.`", ",", "22.`", ",", "234.78319629337497`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.1490739379485304`", ",", "26.`", ",", "23.`", ",", "234.85092606205146`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.0854497241083028`", ",", "27.`", ",", "24.`", ",", "234.91455027589168`"}], "}"}], ",", RowBox[{"{", RowBox[{ "3.0255323752764824`", ",", "28.`", ",", "25.`", ",", "234.97446762472353`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.968975381308308`", ",", "29.`", ",", "26.`", ",", "235.0310246186917`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.9154759474226504`", ",", "30.`", ",", "27.`", ",", "235.08452405257734`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.8647681497329134`", ",", "31.`", ",", "28.`", ",", "235.13523185026708`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.816617356570348`", ",", "32.`", ",", "29.`", ",", "235.18338264342964`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.770815647934505`", ",", "33.`", ",", "30.`", ",", "235.2291843520655`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.7271780286589284`", ",", "34.`", ",", "31.`", ",", "235.27282197134107`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.6855392777096396`", ",", "35.`", ",", "32.`", ",", "235.31446072229036`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.6457513110645907`", ",", "36.`", ",", "33.`", ",", "235.3542486889354`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.6076809620810595`", ",", "37.`", ",", "34.`", ",", "235.39231903791895`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.571208103423585`", ",", "38.`", ",", "35.`", ",", "235.42879189657643`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.536224050124995`", ",", "39.`", ",", "36.`", ",", "235.46377594987501`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.5026301953618404`", ",", "40.`", ",", "37.`", ",", "235.49736980463817`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.4703368398993897`", ",", "41.`", ",", "38.`", ",", "235.5296631601006`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.4392621835300936`", ",", "42.`", ",", "39.`", ",", "235.5607378164699`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.4093314526607763`", ",", "43.`", ",", "40.`", ",", "235.59066854733922`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.3804761428476167`", ",", "44.`", ",", "41.`", ",", "235.6195238571524`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.352633358798228`", ",", "45.`", ",", "42.`", ",", "235.64736664120178`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.3257452373574603`", ",", "46.`", ",", "43.`", ",", "235.67425476264253`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.2997584414213783`", ",", "47.`", ",", "44.`", ",", "235.70024155857863`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.274623714700579`", ",", "48.`", ",", "45.`", ",", "235.72537628529943`"}], "}"}], ",", RowBox[{"{", RowBox[{ "2.2502954888711932`", ",", "49.`", ",", "46.`", ",", "235.7497045111288`"}], "}"}]}], "}"}]], "Output", CellChangeTimes->{ 3.478351208352942*^9, 3.4783512392584057`*^9, {3.47835142613581*^9, 3.478351459839384*^9}, {3.478351824557576*^9, 3.478351854411634*^9}, 3.478351906876699*^9, 3.478352058669429*^9, 3.478352109338257*^9, { 3.47835215189043*^9, 3.478352187987404*^9}, {3.478352421591131*^9, 3.478352440105262*^9}, 3.47835261973267*^9, 3.478353796408951*^9, { 3.4783538489330177`*^9, 3.478353885936225*^9}, {3.478353984069113*^9, 3.478353997809331*^9}, {3.478354534963256*^9, 3.478354551431836*^9}, 3.478354592832487*^9, 3.478354927433424*^9, 3.478355023162662*^9, 3.4783550706907883`*^9, 3.478356161540669*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Solve", "[", RowBox[{ RowBox[{"{", RowBox[{ RowBox[{ RowBox[{"a", "+", "b", "+", "1"}], "\[Equal]", "k"}], ",", RowBox[{ SuperscriptBox["d", "2"], "\[Equal]", RowBox[{"a", "+", "e", "+", "1"}]}], ",", RowBox[{ RowBox[{"d", " ", "e"}], "==", RowBox[{"d", "+", "b"}]}]}], "}"}], ",", "e"}], "]"}]], "Input", CellChangeTimes->{{3.478354285350485*^9, 3.4783543126956453`*^9}}], Cell[BoxData[ RowBox[{"{", "}"}]], "Output", CellChangeTimes->{{3.4783543085668783`*^9, 3.4783543133851347`*^9}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"GlobalEvenDimension", "[", "HaagerupBigraph", "]"}]], "Input", CellChangeTimes->{{3.4223782948085904`*^9, 3.4223782972420893`*^9}, { 3.4783525673736897`*^9, 3.478352573042426*^9}}], Cell[BoxData[ RowBox[{"3", "+", RowBox[{ FractionBox["3", "4"], " ", SuperscriptBox[ RowBox[{"(", RowBox[{"3", "+", SqrtBox["13"]}], ")"}], "2"]}]}]], "Output", CellChangeTimes->{ 3.4223782975425215`*^9, 3.4223790758416605`*^9, 3.422380313311054*^9, 3.4223841649995103`*^9, 3.4301876055615826`*^9, 3.4301878801063585`*^9, 3.43018804598488*^9, {3.478351350813929*^9, 3.4783513575157146`*^9}, { 3.478352550359098*^9, 3.478352573580328*^9}}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"N", "[", "%", "]"}]], "Input", CellChangeTimes->{{3.4783514448417788`*^9, 3.47835144542063*^9}}], Cell[BoxData["35.724980739587956`"], "Output", CellChangeTimes->{{3.47835144580282*^9, 3.478351462245887*^9}, { 3.478352556447392*^9, 3.478352574728875*^9}}] }, Open ]], Cell[BoxData[{ RowBox[{"Clear", "[", "BigraphsUpToGlobalDimension", "]"}], "\[IndentingNewLine]", RowBox[{ RowBox[{"BigraphsUpToGlobalDimension", "[", RowBox[{"D_", ",", "k_"}], "]"}], ":=", RowBox[{ RowBox[{"BigraphsUpToGlobalDimension", "[", RowBox[{"D", ",", "k"}], "]"}], "=", RowBox[{"Cases", "[", RowBox[{ RowBox[{"Union", "[", RowBox[{"Flatten", "[", RowBox[{ RowBox[{ RowBox[{"(", RowBox[{"FindAllBigraphs", "@@", "#"}], ")"}], "&"}], "/@", RowBox[{"InterestingDimensionsAndRanks", "[", RowBox[{"D", ",", "k"}], "]"}]}], "]"}], "]"}], ",", RowBox[{"g_GradedBigraph", "/;", RowBox[{ RowBox[{"GraphGlobalDimension", "[", "g", "]"}], "\[LessEqual]", "D"}]}]}], "]"}]}]}]}], "Input", CellChangeTimes->{{3.4223797502313857`*^9, 3.422379892666197*^9}}], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"DisplayBigraph", "/@", RowBox[{"BigraphsUpToGlobalDimension", "[", RowBox[{"20", ",", "1"}], "]"}]}]], "Input", CellChangeTimes->{{3.422379858797496*^9, 3.4223799295091743`*^9}, { 3.4223800515947247`*^9, 3.4223800516247683`*^9}, {3.422384168995256*^9, 3.4223841690353136`*^9}, 3.4301878865856752`*^9}], Cell[BoxData[ RowBox[{"{", RowBox[{ GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["2", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["2", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["2", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}, { PointBox[{3, 1}], PointBox[{4, 1}], LineBox[{{3, 1}, {4, 1}}], {}}}]}], "}"}]], "Output", CellChangeTimes->{{3.422379867930629*^9, 3.4223799299097505`*^9}, 3.4223800681585426`*^9, 3.422384170397272*^9, 3.430187609186795*^9, { 3.4301878817787633`*^9, 3.43018788709641*^9}, 3.430188047567155*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"DisplayBigraph", "/@", RowBox[{"BigraphsUpToGlobalDimension", "[", RowBox[{"23", ",", "1"}], "]"}]}]], "Input", CellChangeTimes->{{3.422380076440451*^9, 3.4223800823589616`*^9}, { 3.4301877237615457`*^9, 3.4301877238016033`*^9}, {3.430187817055696*^9, 3.4301878545896673`*^9}, {3.4301878929247904`*^9, 3.430187908006477*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["2", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["3", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["2", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["2", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}, { PointBox[{3, 1}], PointBox[{4, 1}], LineBox[{{3, 1}, {4, 1}}], {}}}]}], "}"}]], "Output", CellChangeTimes->{{3.4301877181134243`*^9, 3.430187732353901*^9}, { 3.430187822583645*^9, 3.4301878597270546`*^9}, {3.4301878898103123`*^9, 3.4301879104700193`*^9}, 3.430188050220971*^9}] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"DisplayBigraph", "/@", RowBox[{"BigraphsUpToGlobalDimension", "[", RowBox[{"30", ",", "2"}], "]"}]}]], "Input", CellChangeTimes->{{3.430188056149496*^9, 3.4301880842699313`*^9}, { 3.4301882640083823`*^9, 3.430188264078483*^9}}], Cell[BoxData[ RowBox[{"{", RowBox[{ GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["2", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["3", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["2", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["2", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], InsetBox["2", NCache[{Rational[5, 2], 1.6}, {2.5, 1.6}]]}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["3", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["3", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], InsetBox["2", NCache[{Rational[5, 2], 1.6}, {2.5, 1.6}]]}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, -1}], LineBox[{{2, 1}, {3, -1}}], InsetBox["2", NCache[{Rational[5, 2], 0.10000000000000009`}, {2.5, 0.10000000000000009`}]]}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 3}], LineBox[{{2, 1}, {3, 3}}], {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, -2}], LineBox[{{2, 1}, {3, -2}}], {}}, {PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], {}}, {PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}, {PointBox[{2, 1}], PointBox[{3, 4}], LineBox[{{2, 1}, {3, 4}}], {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["2", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}, { PointBox[{3, 1}], PointBox[{4, 1}], LineBox[{{3, 1}, {4, 1}}], {}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["3", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}, { PointBox[{3, 1}], PointBox[{4, 1}], LineBox[{{3, 1}, {4, 1}}], {}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], {}}, {PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{PointBox[{3, 0}], PointBox[{4, 1}], LineBox[{{3, 0}, {4, 1}}], InsetBox["2", NCache[{Rational[7, 2], 0.6}, {3.5, 0.6}]]}, { PointBox[{3, 2}], PointBox[{4, 1}], {}, {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], {}}, {PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{{PointBox[{3, 0}], PointBox[{4, 0}], LineBox[{{3, 0}, {4, 0}}], {}}, {PointBox[{3, 0}], PointBox[{4, 2}], LineBox[{{3, 0}, {4, 2}}], {}}}, {{PointBox[{3, 2}], PointBox[{4, 0}], LineBox[{{3, 2}, {4, 0}}], {}}, {PointBox[{3, 2}], PointBox[{4, 2}], {}, {}}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["2", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{ PointBox[{3, 0}], PointBox[{4, 1}], {}, {}}, {PointBox[{3, 2}], PointBox[{4, 1}], LineBox[{{3, 2}, {4, 1}}], InsetBox["2", NCache[{Rational[7, 2], 1.6}, {3.5, 1.6}]]}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], InsetBox["2", NCache[{Rational[5, 2], 0.6}, {2.5, 0.6}]]}, { PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{ PointBox[{3, 0}], PointBox[{4, 1}], LineBox[{{3, 0}, {4, 1}}], InsetBox["2", NCache[{Rational[7, 2], 0.6}, {3.5, 0.6}]]}, { PointBox[{3, 2}], PointBox[{4, 1}], {}, {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, -1}], LineBox[{{2, 1}, {3, -1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 3}], LineBox[{{2, 1}, {3, 3}}], {}}}, {{PointBox[{3, -1}], PointBox[{4, 1}], LineBox[{{3, -1}, {4, 1}}], {}}, {PointBox[{3, 1}], PointBox[{4, 1}], LineBox[{{3, 1}, {4, 1}}], {}}, {PointBox[{3, 3}], PointBox[{4, 1}], {}, {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, -1}], LineBox[{{2, 1}, {3, -1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 3}], LineBox[{{2, 1}, {3, 3}}], {}}}, {{PointBox[{3, -1}], PointBox[{4, 1}], LineBox[{{3, -1}, {4, 1}}], InsetBox["2", NCache[{Rational[7, 2], 0.09999999999999998}, {3.5, 0.09999999999999998}]]}, {PointBox[{3, 1}], PointBox[{4, 1}], {}, {}}, {PointBox[{3, 3}], PointBox[{4, 1}], {}, {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {PointBox[{2, 1}], PointBox[{3, 1}], LineBox[{{2, 1}, {3, 1}}], InsetBox["2", NCache[{Rational[5, 2], 1.1}, {2.5, 1.1}]]}, { PointBox[{3, 1}], PointBox[{4, 1}], LineBox[{{3, 1}, {4, 1}}], {}}, { PointBox[{4, 1}], PointBox[{5, 1}], LineBox[{{4, 1}, {5, 1}}], InsetBox["2", NCache[{Rational[9, 2], 1.1}, {4.5, 1.1}]]}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], {}}, {PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{PointBox[{3, 0}], PointBox[{4, 1}], LineBox[{{3, 0}, {4, 1}}], {}}, {PointBox[{3, 2}], PointBox[{4, 1}], LineBox[{{3, 2}, {4, 1}}], {}}}, {PointBox[{4, 1}], PointBox[{5, 1}], LineBox[{{4, 1}, {5, 1}}], {}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], {}}, {PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{{PointBox[{3, 0}], PointBox[{4, 0}], LineBox[{{3, 0}, {4, 0}}], {}}, {PointBox[{3, 0}], PointBox[{4, 2}], LineBox[{{3, 0}, {4, 2}}], {}}}, {{PointBox[{3, 2}], PointBox[{4, 0}], {}, {}}, {PointBox[{3, 2}], PointBox[{4, 2}], {}, {}}}}, {{PointBox[{4, 0}], PointBox[{5, 1}], LineBox[{{4, 0}, {5, 1}}], {}}, {PointBox[{4, 2}], PointBox[{5, 1}], LineBox[{{4, 2}, {5, 1}}], {}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], {}}, {PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{{PointBox[{3, 0}], PointBox[{4, 0}], LineBox[{{3, 0}, {4, 0}}], {}}, {PointBox[{3, 0}], PointBox[{4, 2}], LineBox[{{3, 0}, {4, 2}}], {}}}, {{PointBox[{3, 2}], PointBox[{4, 0}], {}, {}}, {PointBox[{3, 2}], PointBox[{4, 2}], {}, {}}}}, {{{PointBox[{4, 0}], PointBox[{5, 0}], LineBox[{{4, 0}, {5, 0}}], {}}, {PointBox[{4, 0}], PointBox[{5, 2}], LineBox[{{4, 0}, {5, 2}}], {}}}, {{PointBox[{4, 2}], PointBox[{5, 0}], {}, {}}, {PointBox[{4, 2}], PointBox[{5, 2}], {}, {}}}}}], ",", GraphicsBox[{{PointBox[{1, 1}], PointBox[{2, 1}], LineBox[{{1, 1}, {2, 1}}], {}}, {{PointBox[{2, 1}], PointBox[{3, 0}], LineBox[{{2, 1}, {3, 0}}], {}}, {PointBox[{2, 1}], PointBox[{3, 2}], LineBox[{{2, 1}, {3, 2}}], {}}}, {{{PointBox[{3, 0}], PointBox[{4, 0}], LineBox[{{3, 0}, {4, 0}}], {}}, {PointBox[{3, 0}], PointBox[{4, 2}], LineBox[{{3, 0}, {4, 2}}], {}}}, {{PointBox[{3, 2}], PointBox[{4, 0}], LineBox[{{3, 2}, {4, 0}}], {}}, {PointBox[{3, 2}], PointBox[{4, 2}], {}, {}}}}, {{PointBox[{4, 0}], PointBox[{5, 1}], LineBox[{{4, 0}, {5, 1}}], {}}, {PointBox[{4, 2}], PointBox[{5, 1}], {}, {}}}}]}], "}"}]], "Output", CellChangeTimes->{{3.4301880572911377`*^9, 3.430188095456016*^9}, 3.430188292809797*^9}] }, Open ]] }, Open ]] }, Evaluator->"Local (2)", WindowSize->{1272, 679}, WindowMargins->{{0, Automatic}, {Automatic, 0}}, ShowSelection->True, FrontEndVersion->"7.0 for Mac OS X x86 (32-bit) (February 18, 2009)", StyleDefinitions->"Default.nb" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[567, 22, 106, 1, 34, "Subsection"], Cell[CellGroupData[{ Cell[698, 27, 753, 17, 70, "Input"], Cell[CellGroupData[{ Cell[1476, 48, 2192, 34, 36, "Print"], Cell[3671, 84, 2157, 33, 20, "Print"] }, Open ]] }, Open ]], Cell[5855, 121, 1148, 26, 104, "Input"], Cell[7006, 149, 222, 6, 48, "Input"], Cell[7231, 157, 1056, 24, 65, "Input"], Cell[CellGroupData[{ Cell[8312, 185, 173, 3, 39, "Input"], Cell[8488, 190, 1870, 49, 55, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10395, 244, 368, 6, 39, "Input"], Cell[10766, 252, 1412, 34, 55, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[12215, 291, 176, 3, 39, "Input"], Cell[12394, 296, 939, 25, 39, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[13370, 326, 174, 3, 39, "Input"], Cell[13547, 331, 863, 23, 39, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[14447, 359, 224, 4, 39, "Input"], Cell[14674, 365, 162, 3, 39, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[14873, 373, 1606, 35, 51, "Input"], Cell[16482, 410, 6590, 192, 160, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[23109, 607, 457, 13, 45, "Input"], Cell[23569, 622, 115, 2, 39, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[23721, 629, 207, 3, 27, "Input"], Cell[23931, 634, 480, 12, 46, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[24448, 651, 121, 2, 27, "Input"], Cell[24572, 655, 160, 2, 27, "Output"] }, Open ]], Cell[24747, 660, 882, 23, 73, "Input"], Cell[CellGroupData[{ Cell[25654, 687, 340, 6, 27, "Input"], Cell[25997, 695, 1141, 21, 197, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[27175, 721, 362, 6, 27, "Input"], Cell[27540, 729, 1361, 25, 197, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[28938, 759, 261, 5, 27, "Input"], Cell[29202, 766, 9839, 158, 795, "Output"] }, Open ]] }, Open ]] } ] *) (* End of internal cache information *)