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