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