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