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

On this page are computer-accessible forms for the graph C4[ 512, 374 ] = SDD(UG(ATD[128,21])).

(I) Following is a form readable by MAGMA:

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

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

a: (15, 48)
b: (98, 129)
c: (70, 101)
d: (54, 78)
e: (250, 252)
f: (253, 255)
g: (34, 55)
h: (114, 124)
m: (46, 74)
n1: (215, 222)
a1: (39, 49)
b1: (10, 85)
c1: (218, 223)
d1: (56, 89)
e1: (94, 104)
f1: (9, 72)
g1: (36, 71)
h1: (134, 150)
m1: (24, 30)
n2: (229, 241)
a2: (245, 247)
b2: (208, 212)
c2: (75, 96)
d2: (58, 84)
e2: (113, 131)
f2: (199, 202)
g2: (189, 195)
h2: (108, 135)
m2: (31, 45)
n3: (105, 143)
a3: (157, 164)
b3: (205, 211)
c3: (224, 228)
d3: (178, 180)
e3: (235, 239)
f3: (240, 244)
g3: (21, 80)
h3: (181, 190)
m3: (83, 103)
n4: (161, 171)
a4: (44, 116)
b4: (8, 91)
c4: (79, 107)
d4: (16, 60)
e4: (2, 3)(5, 8)(7, 16)(10, 11)(12, 17)(13, 21)(15, 37)(18, 42)(19, 27)(20, 66)(23, 24)(25, 26)(29, 38)(30, 43)(32, 44)(33, 67)(36, 63)(39, 58)(40, 59)(41, 56)(46, 51)(47, 89)(48, 64)(49, 84)(52, 90)(53, 93)(54, 120)(57, 82)(60, 87)(61, 85)(62, 111)(68, 86)(69, 74)(70, 97)(71, 81)(73, 95)(76, 92)(78, 141)(79, 142)(80, 109)(88, 116)(91, 100)(101, 128)(105, 122)(106, 132)(107, 159)(108, 147)(112, 118)(114, 139)(119, 138)(124, 146)(126, 160)(127, 140)(130, 134)(133, 143)(135, 168)(136, 165)(137, 179)(144, 161)(145, 150)(148, 166)(152, 171)(154, 183)(155, 187)(156, 173)(167, 198)(170, 184)(174, 188)(175, 206)(176, 191)(177, 201)(182, 197)(185, 200)(186, 214)(189, 192)(193, 207)(194, 217)(195, 204)(199, 215)(202, 222)(203, 218)(205, 231)(210, 223)(211, 234)(213, 224)(220, 246)(221, 235)(225, 228)(226, 249)(227, 239)(233, 245)(236, 247)(238, 254)(240, 248)(243, 256)(244, 251)(257, 258)(260, 263)(262, 271)(265, 266)(267, 272)(268, 276)(270, 292)(273, 297)(274, 282)(275, 323)(278, 279)(280, 293)(281, 284)(283, 305)(285, 298)(286, 300)(287, 299)(288, 324)(289, 310)(291, 335)(294, 338)(295, 316)(296, 359)(301, 306)(302, 342)(303, 322)(304, 358)(307, 355)(308, 344)(309, 380)(312, 313)(314, 336)(315, 317)(318, 339)(319, 340)(320, 360)(321, 327)(325, 329)(326, 369)(328, 343)(332, 363)(333, 381)(337, 368)(341, 377)(347, 350)(348, 370)(349, 362)(351, 365)(352, 364)(353, 397)(354, 404)(356, 375)(357, 394)(366, 387)(367, 414)(371, 389)(372, 383)(373, 384)(374, 431)(376, 386)(379, 396)(382, 399)(385, 421)(388, 398)(392, 415)(393, 423)(402, 405)(403, 433)(407, 438)(408, 409)(410, 455)(412, 428)(413, 429)(417, 447)(418, 419)(420, 463)(422, 448)(424, 441)(425, 435)(426, 436)(427, 444)(432, 439)(434, 450)(437, 453)(440, 449)(442, 480)(443, 458)(445, 474)(451, 472)(452, 466)(454, 482)(456, 464)(457, 471)(459, 487)(460, 461)(465, 479)(467, 494)(468, 469)(473, 495)(475, 497)(476, 502)(478, 493)(481, 488)(483, 490)(484, 506)(486, 500)(491, 512)(492, 504)(498, 510)(499, 508)(503, 509)(507, 511)
f4: (148, 155)
g4: (33, 106)
h4: (4, 117)
m4: (22, 99)
n5: (17, 73)
a5: (14, 65)
b5: (142, 159)
c5: (93, 138)
d5: (77, 121)
e5: (196, 209)
f5: (41, 47)
g5: (2, 3)(4, 6)(5, 8)(7, 11)(9, 14)(10, 16)(12, 19)(13, 21)(15, 24)(17, 27)(18, 25)(20, 32)(22, 35)(23, 37)(26, 42)(28, 31)(29, 40)(30, 48)(33, 53)(36, 41)(38, 59)(43, 64)(44, 66)(45, 50)(46, 51)(47, 71)(52, 57)(56, 63)(60, 85)(61, 87)(62, 76)(65, 72)(67, 93)(68, 95)(69, 74)(70, 97)(73, 86)(77, 94)(80, 109)(81, 89)(82, 90)(83, 113)(88, 118)(91, 100)(92, 111)(98, 125)(99, 110)(101, 128)(103, 131)(104, 121)(105, 122)(106, 119)(108, 126)(112, 116)(114, 139)(115, 117)(124, 146)(127, 140)(129, 149)(130, 134)(132, 138)(133, 143)(135, 136)(137, 148)(144, 161)(145, 150)(147, 160)(151, 153)(152, 171)(154, 155)(156, 170)(162, 181)(163, 169)(165, 168)(166, 179)(167, 182)(172, 190)(173, 184)(174, 176)(175, 185)(177, 189)(183, 187)(186, 199)(188, 191)(192, 201)(193, 195)(194, 202)(196, 208)(197, 198)(200, 206)(203, 205)(204, 207)(209, 212)(210, 211)(213, 224)(214, 215)(216, 230)(217, 222)(218, 231)(219, 232)(220, 221)(223, 234)(225, 228)(226, 227)(233, 245)(235, 246)(236, 247)(237, 250)(239, 249)(240, 248)(242, 252)(244, 251)(257, 258)(259, 261)(260, 263)(262, 266)(264, 269)(265, 271)(267, 274)(268, 276)(270, 279)(272, 282)(273, 284)(275, 287)(277, 290)(278, 292)(280, 295)(281, 297)(283, 300)(285, 303)(286, 305)(288, 308)(289, 310)(291, 313)(293, 316)(294, 317)(296, 319)(298, 322)(299, 323)(301, 325)(302, 327)(304, 318)(306, 329)(307, 314)(309, 332)(311, 334)(312, 335)(315, 338)(320, 341)(321, 342)(324, 344)(326, 347)(328, 349)(330, 346)(331, 345)(333, 353)(336, 355)(337, 356)(339, 358)(340, 359)(343, 362)(348, 366)(350, 369)(351, 365)(352, 364)(354, 367)(357, 376)(360, 377)(361, 378)(363, 380)(368, 375)(370, 387)(371, 389)(372, 383)(373, 388)(374, 385)(379, 396)(381, 397)(382, 399)(384, 398)(386, 394)(390, 406)(391, 401)(392, 405)(393, 407)(395, 411)(400, 416)(402, 415)(403, 417)(404, 414)(408, 419)(409, 418)(410, 424)(412, 428)(413, 429)(420, 434)(421, 431)(422, 439)(423, 438)(425, 436)(426, 435)(427, 443)(430, 446)(432, 448)(433, 447)(437, 452)(440, 456)(441, 455)(442, 457)(444, 458)(445, 460)(449, 464)(450, 463)(451, 465)(453, 466)(454, 468)(459, 473)(461, 474)(462, 477)(467, 481)(469, 482)(470, 485)(471, 480)(472, 479)(475, 484)(476, 483)(478, 493)(486, 500)(487, 495)(488, 494)(489, 501)(490, 502)(491, 499)(492, 498)(496, 505)(497, 506)(503, 509)(504, 510)(507, 511)(508, 512)
h5: (166, 187)
m5: (102, 123)
n6: (37, 64)
a6: (233, 236)
b6: (160, 165)
c6: (3, 127)
d6: (53, 119)
e6: (25, 29)
f6: (57, 76)
g6: (144, 152)
h6: (52, 62)
m6: (230, 232)
n7: (151, 163)
a7: (197, 200)
b7: (139, 146)
c7: (11, 61)
d7: (137, 154)
e7: (28, 50)
f7: (126, 136)
g7: (18, 40)
h7: (120, 141)
m7: (214, 217)
n8: (97, 128)
a8: (182, 185)
b8: (246, 249)
c8: (122, 133)
d8: (19, 68)
e8: (238, 243)
f8: (35, 110)
g8: (179, 183)
h8: (231, 234)
m8: (63, 81)
n9: (184, 191)
a9: (201, 207)
b9: (170, 176)
c9: (125, 149)
d9: (254, 256)
e9: (12, 95)
f9: (1, 2)(3, 5)(4, 7)(6, 10)(8, 13)(9, 15)(11, 18)(12, 20)(14, 23)(16, 26)(17, 28)(19, 31)(21, 34)(22, 36)(24, 39)(25, 41)(27, 44)(29, 47)(30, 49)(32, 52)(33, 54)(35, 56)(37, 58)(38, 60)(40, 61)(42, 63)(43, 65)(45, 68)(46, 70)(48, 72)(50, 73)(51, 75)(53, 77)(55, 80)(57, 83)(59, 81)(62, 88)(64, 84)(66, 82)(67, 94)(69, 96)(71, 99)(74, 101)(76, 103)(78, 106)(79, 108)(85, 115)(86, 116)(87, 117)(89, 110)(90, 113)(91, 109)(92, 112)(93, 120)(95, 118)(97, 114)(98, 126)(100, 127)(102, 130)(104, 132)(105, 134)(107, 135)(111, 131)(119, 121)(122, 144)(123, 145)(124, 128)(125, 147)(129, 136)(133, 152)(137, 156)(138, 141)(139, 157)(140, 158)(142, 160)(143, 150)(146, 164)(148, 167)(149, 168)(151, 170)(153, 173)(154, 174)(155, 175)(159, 165)(161, 178)(162, 182)(163, 176)(166, 184)(169, 188)(171, 180)(172, 185)(177, 196)(179, 197)(181, 198)(183, 200)(186, 203)(187, 191)(189, 205)(190, 206)(192, 208)(193, 209)(194, 210)(195, 211)(199, 216)(201, 218)(202, 219)(204, 212)(207, 223)(213, 229)(214, 230)(215, 231)(217, 232)(220, 237)(221, 238)(222, 234)(224, 240)(225, 241)(226, 242)(227, 243)(228, 244)(233, 248)(235, 250)(236, 251)(239, 252)(245, 253)(246, 254)(247, 255)(249, 256)(258, 260)(259, 262)(261, 265)(263, 268)(264, 270)(266, 273)(267, 275)(269, 278)(271, 281)(272, 283)(274, 286)(276, 289)(277, 291)(279, 294)(280, 296)(282, 299)(284, 302)(285, 304)(287, 307)(288, 309)(290, 312)(292, 315)(293, 305)(295, 300)(297, 321)(298, 303)(301, 326)(306, 330)(308, 331)(311, 327)(313, 317)(314, 337)(316, 340)(319, 328)(320, 332)(322, 339)(323, 336)(324, 345)(325, 346)(329, 350)(333, 354)(334, 342)(335, 338)(341, 361)(343, 356)(344, 363)(347, 357)(348, 367)(349, 368)(351, 371)(352, 372)(353, 373)(355, 375)(359, 362)(360, 378)(364, 382)(365, 383)(366, 384)(369, 386)(370, 388)(374, 393)(376, 395)(377, 380)(379, 389)(381, 398)(385, 403)(387, 404)(390, 407)(391, 408)(392, 409)(394, 411)(396, 413)(397, 414)(399, 412)(400, 417)(401, 418)(402, 419)(405, 422)(406, 423)(410, 427)(415, 432)(416, 433)(420, 437)(421, 438)(424, 442)(425, 443)(426, 444)(428, 429)(430, 439)(431, 447)(434, 451)(435, 452)(436, 453)(440, 457)(441, 458)(445, 462)(446, 448)(449, 465)(450, 466)(454, 470)(455, 471)(456, 472)(459, 475)(460, 476)(461, 477)(463, 479)(464, 480)(467, 483)(468, 484)(469, 485)(473, 489)(474, 490)(481, 496)(482, 497)(486, 493)(487, 501)(488, 502)(491, 492)(494, 505)(495, 506)(498, 504)(500, 503)(507, 509)(508, 510)
g9: (220, 226)
h9: (130, 145)
m9: (156, 174)
n10: (20, 118)
a10: (67, 132)
b10: (153, 169)
c10: (51, 69)
d10: (162, 172)
e10: (82, 92)
f10: (192, 204)
g10: (13, 109)
h10: (173, 188)
m10: (6, 115)
n11: (216, 219)
a11: (27, 86)
b11: (147, 168)
c11: (90, 111)
d11: (2, 4)(3, 6)(5, 9)(7, 12)(8, 14)(10, 17)(11, 19)(13, 22)(15, 25)(16, 27)(18, 24)(20, 33)(21, 35)(23, 26)(28, 46)(29, 48)(30, 40)(31, 51)(32, 53)(36, 57)(37, 42)(38, 43)(41, 52)(44, 67)(45, 69)(47, 62)(50, 74)(54, 79)(56, 82)(59, 64)(60, 86)(61, 68)(63, 90)(65, 91)(66, 93)(70, 98)(71, 76)(72, 100)(73, 85)(75, 102)(77, 105)(78, 107)(80, 110)(81, 111)(83, 114)(87, 95)(88, 119)(89, 92)(94, 122)(96, 123)(97, 125)(99, 109)(101, 129)(103, 124)(104, 133)(106, 118)(108, 137)(112, 138)(113, 139)(115, 127)(116, 132)(117, 140)(120, 142)(121, 143)(126, 148)(128, 149)(130, 151)(131, 146)(134, 153)(135, 154)(136, 155)(141, 159)(144, 162)(145, 163)(147, 166)(150, 169)(152, 172)(156, 177)(157, 178)(160, 179)(161, 181)(164, 180)(165, 183)(167, 186)(168, 187)(170, 189)(171, 190)(173, 192)(174, 193)(175, 194)(176, 195)(182, 199)(184, 201)(185, 202)(188, 204)(191, 207)(196, 213)(197, 214)(198, 215)(200, 217)(203, 220)(205, 221)(206, 222)(208, 224)(209, 225)(210, 226)(211, 227)(212, 228)(216, 233)(218, 235)(219, 236)(223, 239)(230, 245)(231, 246)(232, 247)(234, 249)(237, 240)(242, 244)(248, 250)(251, 252)(257, 259)(258, 261)(260, 264)(262, 267)(263, 269)(265, 272)(266, 274)(268, 277)(270, 280)(271, 282)(273, 285)(275, 288)(276, 290)(278, 293)(279, 295)(281, 298)(283, 301)(284, 303)(286, 306)(287, 308)(289, 311)(291, 314)(292, 316)(294, 318)(296, 320)(297, 322)(299, 324)(300, 325)(302, 328)(304, 317)(305, 329)(307, 313)(309, 333)(310, 334)(312, 336)(315, 339)(319, 341)(321, 343)(323, 344)(326, 348)(327, 349)(330, 351)(331, 352)(332, 353)(335, 355)(337, 357)(338, 358)(340, 360)(342, 362)(345, 364)(346, 365)(347, 366)(350, 370)(354, 374)(356, 376)(359, 377)(361, 379)(363, 381)(367, 385)(368, 386)(369, 387)(371, 390)(372, 391)(373, 392)(375, 394)(378, 396)(380, 397)(382, 400)(383, 401)(384, 402)(388, 405)(389, 406)(393, 410)(395, 412)(398, 415)(399, 416)(403, 420)(404, 421)(407, 424)(408, 425)(409, 426)(411, 428)(413, 430)(414, 431)(417, 434)(418, 435)(419, 436)(422, 440)(423, 441)(427, 445)(429, 446)(432, 449)(433, 450)(437, 454)(438, 455)(439, 456)(442, 459)(443, 460)(444, 461)(447, 463)(448, 464)(451, 467)(452, 468)(453, 469)(457, 473)(458, 474)(462, 478)(465, 481)(466, 482)(470, 486)(471, 487)(472, 488)(475, 491)(476, 492)(477, 493)(479, 494)(480, 495)(483, 498)(484, 499)(485, 500)(489, 503)(490, 504)(496, 507)(497, 508)(501, 509)(502, 510)(505, 511)(506, 512)
e11: (237, 242)
f11: (7, 87)
g11: (221, 227)
h11: (23, 43)
m11: (2, 140)
n12: (42, 59)
a12: (248, 251)
b12: (26, 38)
c12: (186, 194)
d12: (66, 112)
e12: (32, 88)
f12: (213, 225)
g12: (198, 206)
h12: (5, 100)
m12: (177, 193)
n13: (167, 175)

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

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