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