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