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