competitionGraphs2018.nb

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

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

(* CreatedBy='Mathematica 11.1' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     68155,       2066]
NotebookOptionsPosition[     66894,       2033]
NotebookOutlinePosition[     67251,       2049]
CellTagsIndexPosition[     67208,       2046]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"example", " ", "graph", " ", "K5"}], " ", "*)"}], 
  "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"edgesOfK5", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "5"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.729452598772067*^9, 
  3.7294526142555227`*^9}},ExpressionUUID->"f48161f5-30aa-4f46-8443-\
4af703566dc1"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"example", " ", "graph", " ", "K8"}], " ", "*)"}], 
  "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"edgesOfK8", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "8"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.729452629575601*^9, 3.729452630326167*^9}, {
  3.729452736930935*^9, 
  3.729452743769539*^9}},ExpressionUUID->"57ce3354-385f-44d1-bcd0-\
582d28bba51d"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"example", " ", "graph", " ", "K9"}], " ", "*)"}], 
  RowBox[{"edgesOfK9", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "9"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.7294527492597513`*^9, 
  3.729452793264001*^9}},ExpressionUUID->"6eeafcbb-5cd2-439e-a3b1-\
c49a47cec479"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"example", " ", "81726"}], "*)"}], 
  RowBox[{"(*", 
   RowBox[{"33", " ", "vertices"}], "*)"}], "  ", 
  RowBox[{"edgesOfGraph1", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "2"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "10"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "20"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "25"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"1", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "10"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "17"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "20"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "25"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "29"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"2", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "5"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "6"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "7"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "12"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"3", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "8"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "9"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "11"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "15"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "24"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "26"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "27"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"4", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "6"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "7"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "12"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"5", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "7"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "12"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "25"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"6", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"7", ",", " ", "12"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"7", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"7", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"7", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"7", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"7", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"8", ",", " ", "9"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"8", ",", " ", "11"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"8", ",", " ", "15"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"8", ",", " ", "18"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"8", ",", " ", "24"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"8", ",", " ", "27"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"8", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"9", ",", " ", "11"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"9", ",", " ", "15"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"9", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"9", ",", " ", "24"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"9", ",", " ", "26"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"9", ",", " ", "27"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"9", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"10", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"10", ",", " ", "20"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"10", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"10", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"10", ",", " ", "25"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"10", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"10", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"11", ",", " ", "15"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"11", ",", " ", "18"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"11", ",", " ", "24"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"11", ",", " ", "27"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"11", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"12", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"12", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"12", ",", " ", "20"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"12", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"12", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "14"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "17"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "18"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "22"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "26"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "29"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"13", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"14", ",", " ", "16"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"14", ",", " ", "17"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"14", ",", " ", "18"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"14", ",", " ", "22"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"14", ",", " ", "26"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"14", ",", " ", "29"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"14", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"15", ",", " ", "18"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"15", ",", " ", "24"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"15", ",", " ", "27"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"15", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"16", ",", " ", "19"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"16", ",", " ", "21"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"16", ",", " ", "22"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"16", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"16", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"17", ",", " ", "18"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"17", ",", " ", "22"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"17", ",", " ", "26"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"17", ",", " ", "29"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"17", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"18", ",", " ", "22"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"18", ",", " ", "24"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"18", ",", " ", "27"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"18", ",", " ", "29"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"18", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"19", ",", " ", "20"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"19", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"19", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"20", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"20", ",", " ", "25"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"20", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"20", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"21", ",", " ", "23"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"21", ",", " ", "25"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"21", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"21", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"21", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"22", ",", " ", "26"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"22", ",", " ", "29"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"22", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"23", ",", " ", "25"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"23", ",", " ", "26"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"23", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"23", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"23", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"23", ",", " ", "33"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"24", ",", " ", "27"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"24", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"25", ",", " ", "30"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"25", ",", " ", "31"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"26", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"26", ",", " ", "29"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"26", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"27", ",", " ", "28"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"29", ",", " ", "32"}], "}"}], ",", " ", 
     RowBox[{"{", 
      RowBox[{"30", ",", " ", "31"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{
  3.7294373189630404`*^9, {3.729437355504854*^9, 3.729437436522039*^9}, {
   3.7294378259522*^9, 
   3.729437837871319*^9}},ExpressionUUID->"04a507e2-d55d-4fa8-993d-\
b1728f73dd72"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"example", " ", "81727"}], "*)"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{"33", " ", "vertices"}], "*)"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"edgesOfGraph2", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"25", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"25", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"26", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"26", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"26", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"27", ",", "30"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"28", ",", "29"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"28", ",", "31"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"29", ",", "33"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"31", ",", "32"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"32", ",", "33"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.729437483743012*^9, 3.729437484751231*^9}, {
  3.729437830357957*^9, 
  3.729437846333522*^9}},ExpressionUUID->"9fe3d2ff-1cfc-4572-ad8c-\
6606caebdb04"],

Cell[BoxData[
 RowBox[{
  StyleBox[
   RowBox[{"(*", " ", 
    RowBox[{"example", " ", "60071"}], " ", "*)"}],
   FontFamily->"Helvetica",
   FontColor->RGBColor[0, 0, 0.866667]], "\[IndentingNewLine]", 
  StyleBox["\n",
   FontFamily->"Helvetica",
   FontColor->RGBColor[0, 0, 0.866667]], 
  StyleBox[
   RowBox[{"(*", " ", 
    RowBox[{"25", " ", "vertices"}], " ", "*)"}],
   FontFamily->"Helvetica",
   FontColor->RGBColor[0, 0, 0.866667]], "\n", "\[IndentingNewLine]", 
  RowBox[{"edgesOfGraph3", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"23", ",", "25"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.7294377504610567`*^9, 3.729437795120669*^9}, {
  3.729437854580895*^9, 
  3.729437858973901*^9}},ExpressionUUID->"d53bbf9a-498e-4c22-85fb-\
9e00964896dd"],

Cell[BoxData[
 StyleBox[
  RowBox[{
   RowBox[{"(*", " ", 
    RowBox[{"example", " ", "60075"}], " ", "*)"}], "\n", "\n", 
   RowBox[{"(*", " ", 
    RowBox[{"25", " ", "vertices"}], " ", "*)"}], "\n", "\n", 
   RowBox[{"edgesOfGraph4", "=", " ", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"{", 
       RowBox[{"1", ",", "2"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "4"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "5"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "6"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "10"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "16"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "23"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "7"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "8"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "9"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "10"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "12"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "13"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"2", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "11"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "15"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "17"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "20"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "21"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "22"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"3", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "5"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "6"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "10"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "16"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "23"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"4", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"5", ",", "6"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"5", ",", "10"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"5", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"5", ",", "16"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"5", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"5", ",", "23"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"5", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"6", ",", "9"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"6", ",", "10"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"6", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"6", ",", "16"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"6", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"6", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"6", ",", "23"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "8"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "9"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "12"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "13"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"7", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"8", ",", "9"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"8", ",", "12"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"8", ",", "13"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"8", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"8", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"8", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"8", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"9", ",", "12"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"9", ",", "13"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"9", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"9", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"9", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"10", ",", "16"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"10", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"10", ",", "23"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"10", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"11", ",", "15"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"11", ",", "17"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"11", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"11", ",", "20"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"11", ",", "21"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"11", ",", "22"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"11", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"12", ",", "13"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"12", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"12", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"12", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"12", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"13", ",", "14"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"13", ",", "16"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"13", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"13", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"14", ",", "16"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"14", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"14", ",", "23"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"14", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"15", ",", "17"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"15", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"15", ",", "20"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"15", ",", "21"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"15", ",", "22"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"15", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"16", ",", "23"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"16", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"17", ",", "18"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"17", ",", "20"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"17", ",", "21"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"17", ",", "22"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"17", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"18", ",", "19"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"18", ",", "20"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"18", ",", "21"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"18", ",", "22"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"20", ",", "21"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"20", ",", "22"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"20", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"21", ",", "22"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"21", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"22", ",", "25"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"23", ",", "24"}], "}"}], ",", 
      RowBox[{"{", 
       RowBox[{"23", ",", "25"}], "}"}]}], "}"}]}]}],
  FontFamily->"Helvetica",
  FontColor->RGBColor[0, 0, 0.866667]]], "Input",
 CellChangeTimes->{{3.7294379522512693`*^9, 3.729437992448483*^9}, 
   3.729438033518475*^9, {3.7294380693454933`*^9, 3.729438072774077*^9}, 
   3.729452532989747*^9},ExpressionUUID->"6afadcae-055c-4beb-ab33-\
562a09dd8c5d"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"first", " ", "mystery", " ", "graph"}], " ", "*)"}], 
  RowBox[{"edgesOfMysteryGraph1", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "15"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.7294548263254833`*^9, 
  3.729454851235766*^9}},ExpressionUUID->"8267cd06-4f86-4524-939a-\
48d8647d0fda"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"second", " ", "mystery", " ", "graph"}], " ", "*)"}], 
  "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"edgesOfMysteryGraph2", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "16"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.7294548632996283`*^9, 3.729454875886829*^9}, {
   3.729455090773058*^9, 3.729455104946157*^9}, 
   3.729455215140415*^9},ExpressionUUID->"f695c283-bae9-4041-9164-\
953eb6a53109"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", " ", 
   RowBox[{"third", " ", "mystery", " ", "graph"}], " ", "*)"}], 
  "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"edgesOfMysteryGraph3", "=", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"1", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "2"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "3"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "4"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"23", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"25", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"25", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"25", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"26", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"26", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"27", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"1", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"2", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"3", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "5"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "6"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "7"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"4", ",", "8"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"5", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"6", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"7", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "9"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "10"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "11"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"8", ",", "12"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"9", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"10", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"11", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "13"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "14"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "15"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"12", ",", "16"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"13", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"14", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"15", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "17"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "18"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "19"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"16", ",", "20"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"17", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"18", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"19", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "21"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "22"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "23"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"20", ",", "24"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"21", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"22", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"23", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"23", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"23", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"23", ",", "28"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "25"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "26"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "27"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"24", ",", "28"}], "}"}]}], "}"}]}]}]], "Input",
 CellChangeTimes->{{3.729455116673918*^9, 3.729455121904353*^9}, 
   3.729455438247006*^9},ExpressionUUID->"23f5b389-8de8-41ee-81b6-\
0ac4d529872d"]
},
WindowSize->{844, 710},
WindowMargins->{{228, Automatic}, {-66, Automatic}},
FrontEndVersion->"11.1 for Mac OS X x86 (32-bit, 64-bit Kernel) (April 27, \
2017)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 991, 30, 75, "Input", "ExpressionUUID" -> \
"f48161f5-30aa-4f46-8443-4af703566dc1"],
Cell[1552, 52, 2172, 67, 117, "Input", "ExpressionUUID" -> \
"57ce3354-385f-44d1-bcd0-582d28bba51d"],
Cell[3727, 121, 2580, 81, 117, "Input", "ExpressionUUID" -> \
"6eeafcbb-5cd2-439e-a3b1-c49a47cec479"],
Cell[6310, 204, 11900, 321, 432, "Input", "ExpressionUUID" -> \
"04a507e2-d55d-4fa8-993d-b1728f73dd72"],
Cell[18213, 527, 10820, 334, 495, "Input", "ExpressionUUID" -> \
"9fe3d2ff-1cfc-4572-ad8c-6606caebdb04"],
Cell[29036, 863, 8246, 255, 369, "Input", "ExpressionUUID" -> \
"d53bbf9a-498e-4c22-85fb-9e00964896dd"],
Cell[37285, 1120, 8346, 249, 251, "Input", "ExpressionUUID" -> \
"6afadcae-055c-4beb-ab33-562a09dd8c5d"],
Cell[45634, 1371, 4154, 129, 180, "Input", "ExpressionUUID" -> \
"8267cd06-4f86-4524-939a-48d8647d0fda"],
Cell[49791, 1502, 6789, 209, 285, "Input", "ExpressionUUID" -> \
"f695c283-bae9-4041-9164-953eb6a53109"],
Cell[56583, 1713, 10307, 318, 432, "Input", "ExpressionUUID" -> \
"23f5b389-8de8-41ee-81b6-0ac4d529872d"]
}
]
*)