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