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

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

(I) Following is a form readable by MAGMA:

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

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

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