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

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

(I) Following is a form readable by MAGMA:

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

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

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

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

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