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