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