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