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