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

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

(I) Following is a form readable by MAGMA:

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

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

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