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