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