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

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

(I) Following is a form readable by MAGMA:

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

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

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