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

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

(I) Following is a form readable by MAGMA:

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

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

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