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