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