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