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