[Home] [Table] [Glossary] [Families]

On this page are computer-accessible forms for the graph C4[ 454, 1 ] = W(227,2).

(I) Following is a form readable by MAGMA:

g:=Graph<454|{ {2, 3}, {452, 453}, {450, 451}, {448, 449}, {446, 447}, {444, 445}, {442, 443}, {440, 441}, {438, 439}, {436, 437}, {434, 435}, {432, 433}, {430, 431}, {428, 429}, {426, 427}, {424, 425}, {422, 423}, {420, 421}, {418, 419}, {416, 417}, {414, 415}, {412, 413}, {410, 411}, {408, 409}, {406, 407}, {404, 405}, {402, 403}, {400, 401}, {398, 399}, {396, 397}, {394, 395}, {392, 393}, {390, 391}, {388, 389}, {386, 387}, {384, 385}, {382, 383}, {380, 381}, {378, 379}, {376, 377}, {374, 375}, {372, 373}, {370, 371}, {368, 369}, {366, 367}, {364, 365}, {362, 363}, {360, 361}, {358, 359}, {356, 357}, {354, 355}, {352, 353}, {350, 351}, {348, 349}, {346, 347}, {344, 345}, {342, 343}, {340, 341}, {338, 339}, {336, 337}, {334, 335}, {332, 333}, {330, 331}, {328, 329}, {326, 327}, {324, 325}, {322, 323}, {320, 321}, {318, 319}, {316, 317}, {314, 315}, {312, 313}, {310, 311}, {308, 309}, {148, 149}, {146, 147}, {144, 145}, {142, 143}, {140, 141}, {138, 139}, {136, 137}, {134, 135}, {132, 133}, {130, 131}, {128, 129}, {126, 127}, {124, 125}, {122, 123}, {120, 121}, {118, 119}, {116, 117}, {114, 115}, {112, 113}, {110, 111}, {108, 109}, {106, 107}, {104, 105}, {102, 103}, {100, 101}, {98, 99}, {96, 97}, {94, 95}, {92, 93}, {90, 91}, {88, 89}, {4, 5}, {6, 7}, {8, 9}, {10, 11}, {12, 13}, {14, 15}, {16, 17}, {18, 19}, {20, 21}, {22, 23}, {24, 25}, {26, 27}, {28, 29}, {30, 31}, {32, 33}, {34, 35}, {36, 37}, {38, 39}, {40, 41}, {42, 43}, {44, 45}, {46, 47}, {48, 49}, {50, 51}, {52, 53}, {54, 55}, {56, 57}, {58, 59}, {60, 61}, {62, 63}, {64, 65}, {66, 67}, {68, 69}, {70, 71}, {72, 73}, {74, 75}, {76, 77}, {78, 79}, {80, 81}, {82, 83}, {84, 85}, {86, 87}, {150, 151}, {152, 153}, {154, 155}, {156, 157}, {158, 159}, {160, 161}, {162, 163}, {164, 165}, {166, 167}, {168, 169}, {170, 171}, {172, 173}, {174, 175}, {176, 177}, {178, 179}, {180, 181}, {182, 183}, {184, 185}, {186, 187}, {188, 189}, {190, 191}, {192, 193}, {194, 195}, {196, 197}, {198, 199}, {200, 201}, {202, 203}, {204, 205}, {206, 207}, {208, 209}, {210, 211}, {212, 213}, {214, 215}, {216, 217}, {218, 219}, {220, 221}, {222, 223}, {224, 225}, {226, 227}, {228, 229}, {230, 231}, {232, 233}, {234, 235}, {236, 237}, {238, 239}, {240, 241}, {242, 243}, {244, 245}, {246, 247}, {248, 249}, {250, 251}, {252, 253}, {254, 255}, {256, 257}, {258, 259}, {260, 261}, {262, 263}, {264, 265}, {266, 267}, {268, 269}, {270, 271}, {272, 273}, {274, 275}, {276, 277}, {278, 279}, {280, 281}, {282, 283}, {284, 285}, {286, 287}, {288, 289}, {290, 291}, {292, 293}, {294, 295}, {296, 297}, {298, 299}, {300, 301}, {302, 303}, {304, 305}, {306, 307}, {1, 2}, {453, 454}, {449, 450}, {445, 446}, {441, 442}, {437, 438}, {433, 434}, {429, 430}, {425, 426}, {421, 422}, {417, 418}, {413, 414}, {409, 410}, {405, 406}, {401, 402}, {397, 398}, {393, 394}, {389, 390}, {385, 386}, {381, 382}, {377, 378}, {373, 374}, {369, 370}, {365, 366}, {361, 362}, {357, 358}, {353, 354}, {349, 350}, {345, 346}, {341, 342}, {337, 338}, {333, 334}, {329, 330}, {325, 326}, {321, 322}, {317, 318}, {313, 314}, {309, 310}, {149, 150}, {145, 146}, {141, 142}, {137, 138}, {133, 134}, {129, 130}, {125, 126}, {121, 122}, {117, 118}, {113, 114}, {109, 110}, {105, 106}, {101, 102}, {97, 98}, {93, 94}, {89, 90}, {5, 6}, {9, 10}, {13, 14}, {17, 18}, {21, 22}, {25, 26}, {29, 30}, {33, 34}, {37, 38}, {41, 42}, {45, 46}, {49, 50}, {53, 54}, {57, 58}, {61, 62}, {65, 66}, {69, 70}, {73, 74}, {77, 78}, {81, 82}, {85, 86}, {153, 154}, {157, 158}, {161, 162}, {165, 166}, {169, 170}, {173, 174}, {177, 178}, {181, 182}, {185, 186}, {189, 190}, {193, 194}, {197, 198}, {201, 202}, {205, 206}, {209, 210}, {213, 214}, {217, 218}, {221, 222}, {225, 226}, {229, 230}, {233, 234}, {237, 238}, {241, 242}, {245, 246}, {249, 250}, {253, 254}, {257, 258}, {261, 262}, {265, 266}, {269, 270}, {273, 274}, {277, 278}, {281, 282}, {285, 286}, {289, 290}, {293, 294}, {297, 298}, {301, 302}, {305, 306}, {3, 4}, {451, 452}, {443, 444}, {435, 436}, {427, 428}, {419, 420}, {411, 412}, {403, 404}, {395, 396}, {387, 388}, {379, 380}, {371, 372}, {363, 364}, {355, 356}, {347, 348}, {339, 340}, {331, 332}, {323, 324}, {315, 316}, {307, 308}, {147, 148}, {139, 140}, {131, 132}, {123, 124}, {115, 116}, {107, 108}, {99, 100}, {91, 92}, {11, 12}, {19, 20}, {27, 28}, {35, 36}, {43, 44}, {51, 52}, {59, 60}, {67, 68}, {75, 76}, {83, 84}, {155, 156}, {163, 164}, {171, 172}, {179, 180}, {187, 188}, {195, 196}, {203, 204}, {211, 212}, {219, 220}, {227, 228}, {235, 236}, {243, 244}, {251, 252}, {259, 260}, {267, 268}, {275, 276}, {283, 284}, {291, 292}, {299, 300}, {7, 8}, {439, 440}, {423, 424}, {407, 408}, {391, 392}, {375, 376}, {359, 360}, {343, 344}, {327, 328}, {311, 312}, {135, 136}, {119, 120}, {103, 104}, {23, 24}, {39, 40}, {55, 56}, {71, 72}, {87, 88}, {151, 152}, {167, 168}, {183, 184}, {199, 200}, {215, 216}, {231, 232}, {247, 248}, {263, 264}, {279, 280}, {295, 296}, {15, 16}, {431, 432}, {399, 400}, {367, 368}, {335, 336}, {143, 144}, {111, 112}, {47, 48}, {79, 80}, {175, 176}, {207, 208}, {239, 240}, {271, 272}, {303, 304}, {31, 32}, {415, 416}, {351, 352}, {95, 96}, {159, 160}, {223, 224}, {287, 288}, {63, 64}, {447, 448}, {319, 320}, {191, 192}, {1, 227}, {4, 230}, {5, 231}, {8, 234}, {9, 235}, {12, 238}, {13, 239}, {16, 242}, {17, 243}, {20, 246}, {21, 247}, {24, 250}, {25, 251}, {28, 254}, {29, 255}, {1, 229}, {2, 230}, {3, 231}, {8, 236}, {9, 237}, {10, 238}, {11, 239}, {16, 244}, {17, 245}, {18, 246}, {19, 247}, {24, 252}, {25, 253}, {26, 254}, {27, 255}, {2, 228}, {3, 229}, {10, 236}, {11, 237}, {18, 244}, {19, 245}, {26, 252}, {27, 253}, {4, 232}, {5, 233}, {6, 234}, {7, 235}, {20, 248}, {21, 249}, {22, 250}, {23, 251}, {6, 232}, {7, 233}, {22, 248}, {23, 249}, {12, 240}, {13, 241}, {14, 242}, {15, 243}, {14, 240}, {15, 241}, {127, 128}, {383, 384}, {28, 256}, {127, 355}, {126, 354}, {125, 353}, {124, 352}, {95, 323}, {94, 322}, {93, 321}, {92, 320}, {29, 257}, {30, 258}, {31, 259}, {60, 288}, {61, 289}, {62, 290}, {63, 291}, {156, 384}, {157, 385}, {158, 386}, {159, 387}, {188, 416}, {189, 417}, {190, 418}, {191, 419}, {220, 448}, {221, 449}, {222, 450}, {223, 451}, {30, 256}, {127, 353}, {126, 352}, {95, 321}, {94, 320}, {31, 257}, {62, 288}, {63, 289}, {158, 384}, {159, 385}, {190, 416}, {191, 417}, {222, 448}, {223, 449}, {32, 258}, {125, 351}, {124, 350}, {121, 347}, {120, 346}, {117, 343}, {116, 342}, {113, 339}, {112, 338}, {109, 335}, {108, 334}, {105, 331}, {104, 330}, {101, 327}, {100, 326}, {97, 323}, {96, 322}, {33, 259}, {36, 262}, {37, 263}, {40, 266}, {41, 267}, {44, 270}, {45, 271}, {48, 274}, {49, 275}, {52, 278}, {53, 279}, {56, 282}, {57, 283}, {60, 286}, {61, 287}, {160, 386}, {161, 387}, {164, 390}, {165, 391}, {168, 394}, {169, 395}, {172, 398}, {173, 399}, {176, 402}, {177, 403}, {180, 406}, {181, 407}, {184, 410}, {185, 411}, {188, 414}, {189, 415}, {224, 450}, {225, 451}, {228, 454}, {32, 260}, {123, 351}, {122, 350}, {121, 349}, {120, 348}, {115, 343}, {114, 342}, {113, 341}, {112, 340}, {107, 335}, {106, 334}, {105, 333}, {104, 332}, {99, 327}, {98, 326}, {97, 325}, {96, 324}, {33, 261}, {34, 262}, {35, 263}, {40, 268}, {41, 269}, {42, 270}, {43, 271}, {48, 276}, {49, 277}, {50, 278}, {51, 279}, {56, 284}, {57, 285}, {58, 286}, {59, 287}, {160, 388}, {161, 389}, {162, 390}, {163, 391}, {168, 396}, {169, 397}, {170, 398}, {171, 399}, {176, 404}, {177, 405}, {178, 406}, {179, 407}, {184, 412}, {185, 413}, {186, 414}, {187, 415}, {224, 452}, {225, 453}, {226, 454}, {34, 260}, {123, 349}, {122, 348}, {115, 341}, {114, 340}, {107, 333}, {106, 332}, {99, 325}, {98, 324}, {35, 261}, {42, 268}, {43, 269}, {50, 276}, {51, 277}, {58, 284}, {59, 285}, {162, 388}, {163, 389}, {170, 396}, {171, 397}, {178, 404}, {179, 405}, {186, 412}, {187, 413}, {226, 452}, {227, 453}, {36, 264}, {119, 347}, {118, 346}, {117, 345}, {116, 344}, {103, 331}, {102, 330}, {101, 329}, {100, 328}, {37, 265}, {38, 266}, {39, 267}, {52, 280}, {53, 281}, {54, 282}, {55, 283}, {164, 392}, {165, 393}, {166, 394}, {167, 395}, {180, 408}, {181, 409}, {182, 410}, {183, 411}, {38, 264}, {119, 345}, {118, 344}, {103, 329}, {102, 328}, {39, 265}, {54, 280}, {55, 281}, {166, 392}, {167, 393}, {182, 408}, {183, 409}, {44, 272}, {111, 339}, {110, 338}, {109, 337}, {108, 336}, {45, 273}, {46, 274}, {47, 275}, {172, 400}, {173, 401}, {174, 402}, {175, 403}, {46, 272}, {111, 337}, {110, 336}, {47, 273}, {174, 400}, {175, 401}, {64, 290}, {93, 319}, {92, 318}, {89, 315}, {88, 314}, {65, 291}, {68, 294}, {69, 295}, {72, 298}, {73, 299}, {76, 302}, {77, 303}, {80, 306}, {81, 307}, {84, 310}, {85, 311}, {192, 418}, {193, 419}, {196, 422}, {197, 423}, {200, 426}, {201, 427}, {204, 430}, {205, 431}, {208, 434}, {209, 435}, {212, 438}, {213, 439}, {216, 442}, {217, 443}, {220, 446}, {221, 447}, {64, 292}, {91, 319}, {90, 318}, {89, 317}, {88, 316}, {65, 293}, {66, 294}, {67, 295}, {72, 300}, {73, 301}, {74, 302}, {75, 303}, {80, 308}, {81, 309}, {82, 310}, {83, 311}, {192, 420}, {193, 421}, {194, 422}, {195, 423}, {200, 428}, {201, 429}, {202, 430}, {203, 431}, {208, 436}, {209, 437}, {210, 438}, {211, 439}, {216, 444}, {217, 445}, {218, 446}, {219, 447}, {66, 292}, {91, 317}, {90, 316}, {67, 293}, {74, 300}, {75, 301}, {82, 308}, {83, 309}, {194, 420}, {195, 421}, {202, 428}, {203, 429}, {210, 436}, {211, 437}, {218, 444}, {219, 445}, {68, 296}, {87, 315}, {69, 297}, {70, 298}, {71, 299}, {84, 312}, {85, 313}, {86, 314}, {196, 424}, {197, 425}, {198, 426}, {199, 427}, {212, 440}, {213, 441}, {214, 442}, {215, 443}, {70, 296}, {71, 297}, {86, 312}, {87, 313}, {198, 424}, {199, 425}, {214, 440}, {215, 441}, {76, 304}, {77, 305}, {78, 306}, {79, 307}, {204, 432}, {205, 433}, {206, 434}, {207, 435}, {78, 304}, {79, 305}, {206, 432}, {207, 433}, {1, 454}, {128, 354}, {148, 374}, {145, 371}, {144, 370}, {141, 367}, {140, 366}, {137, 363}, {136, 362}, {133, 359}, {132, 358}, {129, 355}, {149, 375}, {152, 378}, {153, 379}, {156, 382}, {157, 383}, {128, 356}, {147, 375}, {146, 374}, {145, 373}, {144, 372}, {139, 367}, {138, 366}, {137, 365}, {136, 364}, {131, 359}, {130, 358}, {129, 357}, {152, 380}, {153, 381}, {154, 382}, {155, 383}, {130, 356}, {147, 373}, {146, 372}, {139, 365}, {138, 364}, {131, 357}, {154, 380}, {155, 381}, {132, 360}, {148, 376}, {135, 363}, {134, 362}, {133, 361}, {149, 377}, {150, 378}, {151, 379}, {134, 360}, {135, 361}, {150, 376}, {151, 377}, {140, 368}, {143, 371}, {142, 370}, {141, 369}, {142, 368}, {143, 369}, {255, 256} }>;

(II) A more general form is to represent the graph as the orbit of {2, 3} under the group generated by the following permutations:

a: (219, 446)
b: (91, 318)
c: (207, 434)
d: (79, 306)
e: (131, 358)
f: (224, 451)
g: (96, 323)
h: (160, 387)
m: (32, 259)
n1: (145, 372)
a1: (39, 266)
b1: (103, 330)
c1: (167, 394)
d1: (216, 443)
e1: (88, 315)
f1: (27, 254)
g1: (225, 452)
h1: (97, 324)
m1: (161, 388)
n2: (33, 260)
a2: (11, 238)
b2: (3, 230)
c2: (51, 278)
d2: (179, 406)
e2: (115, 342)
f2: (156, 383)
g2: (150, 377)
h2: (218, 445)
m2: (90, 317)
n3: (141, 368)
a3: (142, 369)
b3: (26, 253)
c3: (187, 414)
d3: (123, 350)
e3: (59, 286)
f3: (22, 249)
g3: (52, 279)
h3: (180, 407)
m3: (116, 343)
n4: (208, 435)
a4: (80, 307)
b4: (149, 376)
c4: (43, 270)
d4: (171, 398)
e4: (107, 334)
f4: (186, 413)
g4: (58, 285)
h4: (122, 349)
m4: (24, 251)
n5: (211, 438)
a5: (83, 310)
b5: (189, 416)
c5: (127, 354)
d5: (63, 290)
e5: (191, 418)
f5: (125, 352)
g5: (61, 288)
h5: (220, 447)
m5: (92, 319)
n6: (36, 263)
a6: (100, 327)
b6: (164, 391)
c6: (205, 432)
d6: (77, 304)
e6: (133, 360)
f6: (136, 363)
g6: (226, 453)
h6: (98, 325)
m6: (34, 261)
n7: (162, 389)
a7: (20, 247)
b7: (132, 359)
c7: (198, 425)
d7: (70, 297)
e7: (194, 421)
f7: (66, 293)
g7: (153, 380)
h7: (151, 378)
m7: (25, 252)
n8: (195, 422)
a8: (67, 294)
b8: (8, 235)
c8: (31, 258)
d8: (95, 322)
e8: (159, 386)
f8: (223, 450)
g8: (129, 356)
h8: (202, 429)
m8: (74, 301)
n9: (197, 424)
a9: (69, 296)
b9: (46, 273)
c9: (174, 401)
d9: (110, 337)
e9: (13, 240)
f9: (4, 231)
g9: (206, 433)
h9: (78, 305)
m9: (143, 370)
n10: (2, 229)
a10: (2, 227)(3, 226)(4, 225)(5, 224)(6, 223)(7, 222)(8, 221)(9, 220)(10, 219)(11, 218)(12, 217)(13, 216)(14, 215)(15, 214)(16, 213)(17, 212)(18, 211)(19, 210)(20, 209)(21, 208)(22, 207)(23, 206)(24, 205)(25, 204)(26, 203)(27, 202)(28, 201)(29, 200)(30, 199)(31, 198)(32, 197)(33, 196)(34, 195)(35, 194)(36, 193)(37, 192)(38, 191)(39, 190)(40, 189)(41, 188)(42, 187)(43, 186)(44, 185)(45, 184)(46, 183)(47, 182)(48, 181)(49, 180)(50, 179)(51, 178)(52, 177)(53, 176)(54, 175)(55, 174)(56, 173)(57, 172)(58, 171)(59, 170)(60, 169)(61, 168)(62, 167)(63, 166)(64, 165)(65, 164)(66, 163)(67, 162)(68, 161)(69, 160)(70, 159)(71, 158)(72, 157)(73, 156)(74, 155)(75, 154)(76, 153)(77, 152)(78, 151)(79, 150)(80, 149)(81, 148)(82, 147)(83, 146)(84, 145)(85, 144)(86, 143)(87, 142)(88, 141)(89, 140)(90, 139)(91, 138)(92, 137)(93, 136)(94, 135)(95, 134)(96, 133)(97, 132)(98, 131)(99, 130)(100, 129)(101, 128)(102, 127)(103, 126)(104, 125)(105, 124)(106, 123)(107, 122)(108, 121)(109, 120)(110, 119)(111, 118)(112, 117)(113, 116)(114, 115)(229, 454)(230, 453)(231, 452)(232, 451)(233, 450)(234, 449)(235, 448)(236, 447)(237, 446)(238, 445)(239, 444)(240, 443)(241, 442)(242, 441)(243, 440)(244, 439)(245, 438)(246, 437)(247, 436)(248, 435)(249, 434)(250, 433)(251, 432)(252, 431)(253, 430)(254, 429)(255, 428)(256, 427)(257, 426)(258, 425)(259, 424)(260, 423)(261, 422)(262, 421)(263, 420)(264, 419)(265, 418)(266, 417)(267, 416)(268, 415)(269, 414)(270, 413)(271, 412)(272, 411)(273, 410)(274, 409)(275, 408)(276, 407)(277, 406)(278, 405)(279, 404)(280, 403)(281, 402)(282, 401)(283, 400)(284, 399)(285, 398)(286, 397)(287, 396)(288, 395)(289, 394)(290, 393)(291, 392)(292, 391)(293, 390)(294, 389)(295, 388)(296, 387)(297, 386)(298, 385)(299, 384)(300, 383)(301, 382)(302, 381)(303, 380)(304, 379)(305, 378)(306, 377)(307, 376)(308, 375)(309, 374)(310, 373)(311, 372)(312, 371)(313, 370)(314, 369)(315, 368)(316, 367)(317, 366)(318, 365)(319, 364)(320, 363)(321, 362)(322, 361)(323, 360)(324, 359)(325, 358)(326, 357)(327, 356)(328, 355)(329, 354)(330, 353)(331, 352)(332, 351)(333, 350)(334, 349)(335, 348)(336, 347)(337, 346)(338, 345)(339, 344)(340, 343)(341, 342)
b10: (16, 243)
c10: (23, 250)
d10: (192, 419)
e10: (128, 355)
f10: (64, 291)
g10: (15, 242)
h10: (138, 365)
m10: (182, 409)
n11: (54, 281)
a11: (118, 345)
b11: (213, 440)
c11: (85, 312)
d11: (214, 441)
e11: (86, 313)
f11: (53, 280)
g11: (181, 408)
h11: (117, 344)
m11: (190, 417)
n12: (126, 353)
a12: (62, 289)
b12: (222, 449)
c12: (94, 321)
d12: (158, 385)
e12: (30, 257)
f12: (210, 437)
g12: (82, 309)
h12: (40, 267)
m12: (104, 331)
n13: (168, 395)
a13: (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227)(228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454)
b13: (212, 439)
c13: (84, 311)
d13: (215, 442)
e13: (87, 314)
f13: (200, 427)
g13: (72, 299)
h13: (21, 248)
m13: (50, 277)
n14: (178, 405)
a14: (114, 341)
b14: (5, 232)
c14: (45, 272)
d14: (173, 400)
e14: (109, 336)
f14: (184, 411)
g14: (56, 283)
h14: (120, 347)
m14: (204, 431)
n15: (76, 303)
a15: (134, 361)
b15: (17, 244)
c15: (140, 367)
d15: (209, 436)
e15: (81, 308)
f15: (49, 276)
g15: (177, 404)
h15: (28, 255)
m15: (221, 448)
n16: (93, 320)
a16: (185, 412)
b16: (57, 284)
c16: (121, 348)
d16: (146, 373)
e16: (157, 384)
f16: (130, 357)
g16: (29, 256)
h16: (147, 374)
m16: (12, 239)
n17: (7, 234)
a17: (44, 271)
b17: (172, 399)
c17: (108, 335)
d17: (18, 245)
e17: (10, 237)
f17: (14, 241)
g17: (135, 362)
h17: (199, 426)
m17: (71, 298)
n18: (183, 410)
a18: (55, 282)
b18: (119, 346)
c18: (19, 246)
d18: (203, 430)
e18: (75, 302)
f18: (48, 275)
g18: (176, 403)
h18: (112, 339)
m18: (175, 402)
n19: (47, 274)
a19: (111, 338)
b19: (148, 375)
c19: (41, 268)
d19: (99, 326)
e19: (163, 390)
f19: (35, 262)
g19: (105, 332)
h19: (169, 396)
m19: (227, 454)
n20: (152, 379)
a20: (188, 415)
b20: (137, 364)
c20: (124, 351)
d20: (60, 287)
e20: (154, 381)
f20: (196, 423)
g20: (68, 295)
h20: (65, 292)
m20: (139, 366)
n21: (193, 420)
a21: (201, 428)
b21: (73, 300)
c21: (144, 371)
d21: (37, 264)
e21: (101, 328)
f21: (165, 392)
g21: (42, 269)
h21: (170, 397)
m21: (106, 333)
n22: (155, 382)
a22: (9, 236)
b22: (38, 265)
c22: (102, 329)
d22: (166, 393)
e22: (6, 233)
f22: (89, 316)
g22: (217, 444)

(III) Last is Groups&Graphs. Copy everything between (not including) the lines of asterisks into a plain text file and save it as "graph.txt". Then launch G&G (Groups&Graphs) and select Read Text from the File menu.

**************

&Graph
C4[ 454, 1 ]
454
-1 2 454 227 229
-2 1 3 228 230
-3 231 2 4 229
-4 232 3 5 230
-5 231 233 4 6
-6 232 234 5 7
-7 233 235 6 8
-8 234 236 7 9
-9 235 237 8 10
-10 11 236 238 9
-11 12 237 239 10
-12 11 13 238 240
-13 12 14 239 241
-14 242 13 15 240
-15 243 14 16 241
-16 242 244 15 17
-17 243 245 16 18
-18 244 246 17 19
-19 245 247 18 20
-20 246 248 19 21
-21 22 247 249 20
-22 23 248 250 21
-23 22 24 249 251
-24 23 25 250 252
-25 253 24 26 251
-26 254 25 27 252
-27 253 255 26 28
-28 254 256 27 29
-29 255 257 28 30
-30 256 258 29 31
-31 257 259 30 32
-32 33 258 260 31
-33 34 259 261 32
-34 33 35 260 262
-35 34 36 261 263
-36 264 35 37 262
-37 265 36 38 263
-38 264 266 37 39
-39 265 267 38 40
-40 266 268 39 41
-41 267 269 40 42
-42 268 270 41 43
-43 44 269 271 42
-44 45 270 272 43
-45 44 46 271 273
-46 45 47 272 274
-47 275 46 48 273
-48 276 47 49 274
-49 275 277 48 50
-50 276 278 49 51
-51 277 279 50 52
-52 278 280 51 53
-53 279 281 52 54
-54 55 280 282 53
-55 56 281 283 54
-56 55 57 282 284
-57 56 58 283 285
-58 286 57 59 284
-59 287 58 60 285
-60 286 288 59 61
-61 287 289 60 62
-62 288 290 61 63
-63 289 291 62 64
-64 290 292 63 65
-65 66 291 293 64
-66 67 292 294 65
-67 66 68 293 295
-68 67 69 294 296
-69 297 68 70 295
-70 298 69 71 296
-71 297 299 70 72
-72 298 300 71 73
-73 299 301 72 74
-74 300 302 73 75
-75 301 303 74 76
-76 77 302 304 75
-77 78 303 305 76
-78 77 79 304 306
-79 78 80 305 307
-80 308 79 81 306
-81 309 80 82 307
-82 308 310 81 83
-83 309 311 82 84
-84 310 312 83 85
-85 311 313 84 86
-86 312 314 85 87
-87 88 313 315 86
-88 89 314 316 87
-89 88 90 315 317
-90 89 91 316 318
-91 319 90 92 317
-92 320 91 93 318
-93 319 321 92 94
-94 320 322 93 95
-95 321 323 94 96
-96 322 324 95 97
-97 323 325 96 98
-98 99 324 326 97
-99 100 325 327 98
-100 99 101 326 328
-101 100 102 327 329
-102 330 101 103 328
-103 331 102 104 329
-104 330 332 103 105
-105 331 333 104 106
-106 332 334 105 107
-107 333 335 106 108
-108 334 336 107 109
-109 110 335 337 108
-110 111 336 338 109
-111 110 112 337 339
-112 111 113 338 340
-113 341 112 114 339
-114 342 113 115 340
-115 341 343 114 116
-116 342 344 115 117
-117 343 345 116 118
-118 344 346 117 119
-119 345 347 118 120
-120 121 346 348 119
-121 122 347 349 120
-122 121 123 348 350
-123 122 124 349 351
-124 352 123 125 350
-125 353 124 126 351
-126 352 354 125 127
-127 353 355 126 128
-128 354 356 127 129
-129 355 357 128 130
-130 356 358 129 131
-131 132 357 359 130
-132 133 358 360 131
-133 132 134 359 361
-134 133 135 360 362
-135 363 134 136 361
-136 364 135 137 362
-137 363 365 136 138
-138 364 366 137 139
-139 365 367 138 140
-140 366 368 139 141
-141 367 369 140 142
-142 143 368 370 141
-143 144 369 371 142
-144 143 145 370 372
-145 144 146 371 373
-146 374 145 147 372
-147 375 146 148 373
-148 374 376 147 149
-149 375 377 148 150
-150 376 378 149 151
-151 377 379 150 152
-152 378 380 151 153
-153 154 379 381 152
-154 155 380 382 153
-155 154 156 381 383
-156 155 157 382 384
-157 385 156 158 383
-158 386 157 159 384
-159 385 387 158 160
-160 386 388 159 161
-161 387 389 160 162
-162 388 390 161 163
-163 389 391 162 164
-164 165 390 392 163
-165 166 391 393 164
-166 165 167 392 394
-167 166 168 393 395
-168 396 167 169 394
-169 397 168 170 395
-170 396 398 169 171
-171 397 399 170 172
-172 398 400 171 173
-173 399 401 172 174
-174 400 402 173 175
-175 176 401 403 174
-176 177 402 404 175
-177 176 178 403 405
-178 177 179 404 406
-179 407 178 180 405
-180 408 179 181 406
-181 407 409 180 182
-182 408 410 181 183
-183 409 411 182 184
-184 410 412 183 185
-185 411 413 184 186
-186 187 412 414 185
-187 188 413 415 186
-188 187 189 414 416
-189 188 190 415 417
-190 418 189 191 416
-191 419 190 192 417
-192 418 420 191 193
-193 419 421 192 194
-194 420 422 193 195
-195 421 423 194 196
-196 422 424 195 197
-197 198 423 425 196
-198 199 424 426 197
-199 198 200 425 427
-200 199 201 426 428
-201 429 200 202 427
-202 430 201 203 428
-203 429 431 202 204
-204 430 432 203 205
-205 431 433 204 206
-206 432 434 205 207
-207 433 435 206 208
-208 209 434 436 207
-209 210 435 437 208
-210 209 211 436 438
-211 210 212 437 439
-212 440 211 213 438
-213 441 212 214 439
-214 440 442 213 215
-215 441 443 214 216
-216 442 444 215 217
-217 443 445 216 218
-218 444 446 217 219
-219 220 445 447 218
-220 221 446 448 219
-221 220 222 447 449
-222 221 223 448 450
-223 451 222 224 449
-224 452 223 225 450
-225 451 453 224 226
-226 452 454 225 227
-227 1 453 226 228
-228 2 454 227 229
-229 1 3 228 230
-230 231 2 4 229
-231 232 3 5 230
-232 231 233 4 6
-233 232 234 5 7
-234 233 235 6 8
-235 234 236 7 9
-236 235 237 8 10
-237 11 236 238 9
-238 12 237 239 10
-239 11 13 238 240
-240 12 14 239 241
-241 242 13 15 240
-242 243 14 16 241
-243 242 244 15 17
-244 243 245 16 18
-245 244 246 17 19
-246 245 247 18 20
-247 246 248 19 21
-248 22 247 249 20
-249 23 248 250 21
-250 22 24 249 251
-251 23 25 250 252
-252 253 24 26 251
-253 254 25 27 252
-254 253 255 26 28
-255 254 256 27 29
-256 255 257 28 30
-257 256 258 29 31
-258 257 259 30 32
-259 33 258 260 31
-260 34 259 261 32
-261 33 35 260 262
-262 34 36 261 263
-263 264 35 37 262
-264 265 36 38 263
-265 264 266 37 39
-266 265 267 38 40
-267 266 268 39 41
-268 267 269 40 42
-269 268 270 41 43
-270 44 269 271 42
-271 45 270 272 43
-272 44 46 271 273
-273 45 47 272 274
-274 275 46 48 273
-275 276 47 49 274
-276 275 277 48 50
-277 276 278 49 51
-278 277 279 50 52
-279 278 280 51 53
-280 279 281 52 54
-281 55 280 282 53
-282 56 281 283 54
-283 55 57 282 284
-284 56 58 283 285
-285 286 57 59 284
-286 287 58 60 285
-287 286 288 59 61
-288 287 289 60 62
-289 288 290 61 63
-290 289 291 62 64
-291 290 292 63 65
-292 66 291 293 64
-293 67 292 294 65
-294 66 68 293 295
-295 67 69 294 296
-296 297 68 70 295
-297 298 69 71 296
-298 297 299 70 72
-299 298 300 71 73
-300 299 301 72 74
-301 300 302 73 75
-302 301 303 74 76
-303 77 302 304 75
-304 78 303 305 76
-305 77 79 304 306
-306 78 80 305 307
-307 308 79 81 306
-308 309 80 82 307
-309 308 310 81 83
-310 309 311 82 84
-311 310 312 83 85
-312 311 313 84 86
-313 312 314 85 87
-314 88 313 315 86
-315 89 314 316 87
-316 88 90 315 317
-317 89 91 316 318
-318 319 90 92 317
-319 320 91 93 318
-320 319 321 92 94
-321 320 322 93 95
-322 321 323 94 96
-323 322 324 95 97
-324 323 325 96 98
-325 99 324 326 97
-326 100 325 327 98
-327 99 101 326 328
-328 100 102 327 329
-329 330 101 103 328
-330 331 102 104 329
-331 330 332 103 105
-332 331 333 104 106
-333 332 334 105 107
-334 333 335 106 108
-335 334 336 107 109
-336 110 335 337 108
-337 111 336 338 109
-338 110 112 337 339
-339 111 113 338 340
-340 341 112 114 339
-341 342 113 115 340
-342 341 343 114 116
-343 342 344 115 117
-344 343 345 116 118
-345 344 346 117 119
-346 345 347 118 120
-347 121 346 348 119
-348 122 347 349 120
-349 121 123 348 350
-350 122 124 349 351
-351 352 123 125 350
-352 353 124 126 351
-353 352 354 125 127
-354 353 355 126 128
-355 354 356 127 129
-356 355 357 128 130
-357 356 358 129 131
-358 132 357 359 130
-359 133 358 360 131
-360 132 134 359 361
-361 133 135 360 362
-362 363 134 136 361
-363 364 135 137 362
-364 363 365 136 138
-365 364 366 137 139
-366 365 367 138 140
-367 366 368 139 141
-368 367 369 140 142
-369 143 368 370 141
-370 144 369 371 142
-371 143 145 370 372
-372 144 146 371 373
-373 374 145 147 372
-374 375 146 148 373
-375 374 376 147 149
-376 375 377 148 150
-377 376 378 149 151
-378 377 379 150 152
-379 378 380 151 153
-380 154 379 381 152
-381 155 380 382 153
-382 154 156 381 383
-383 155 157 382 384
-384 385 156 158 383
-385 386 157 159 384
-386 385 387 158 160
-387 386 388 159 161
-388 387 389 160 162
-389 388 390 161 163
-390 389 391 162 164
-391 165 390 392 163
-392 166 391 393 164
-393 165 167 392 394
-394 166 168 393 395
-395 396 167 169 394
-396 397 168 170 395
-397 396 398 169 171
-398 397 399 170 172
-399 398 400 171 173
-400 399 401 172 174
-401 400 402 173 175
-402 176 401 403 174
-403 177 402 404 175
-404 176 178 403 405
-405 177 179 404 406
-406 407 178 180 405
-407 408 179 181 406
-408 407 409 180 182
-409 408 410 181 183
-410 409 411 182 184
-411 410 412 183 185
-412 411 413 184 186
-413 187 412 414 185
-414 188 413 415 186
-415 187 189 414 416
-416 188 190 415 417
-417 418 189 191 416
-418 419 190 192 417
-419 418 420 191 193
-420 419 421 192 194
-421 420 422 193 195
-422 421 423 194 196
-423 422 424 195 197
-424 198 423 425 196
-425 199 424 426 197
-426 198 200 425 427
-427 199 201 426 428
-428 429 200 202 427
-429 430 201 203 428
-430 429 431 202 204
-431 430 432 203 205
-432 431 433 204 206
-433 432 434 205 207
-434 433 435 206 208
-435 209 434 436 207
-436 210 435 437 208
-437 209 211 436 438
-438 210 212 437 439
-439 440 211 213 438
-440 441 212 214 439
-441 440 442 213 215
-442 441 443 214 216
-443 442 444 215 217
-444 443 445 216 218
-445 444 446 217 219
-446 220 445 447 218
-447 221 446 448 219
-448 220 222 447 449
-449 221 223 448 450
-450 451 222 224 449
-451 452 223 225 450
-452 451 453 224 226
-453 452 454 225 227
-454 1 453 226 228
0

**************