Graph forms
for C4 [ 480, 49 ] = PS(4,240;13)
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 480, 49 ] =
PS(4,240;13).
(I) Following is a form readable by MAGMA:
g:=Graph<480|{ {240, 247}, {235, 242}, {237, 244}, {239, 246}, {234, 241}, {238,
245}, {236, 243}, {328, 363}, {348, 383}, {344, 379}, {340, 375}, {336, 371},
{332, 367}, {329, 364}, {347, 382}, {345, 380}, {339, 374}, {337, 372}, {331,
366}, {330, 365}, {346, 381}, {338, 373}, {327, 362}, {343, 378}, {341, 376},
{326, 361}, {342, 377}, {333, 368}, {335, 370}, {334, 369}, {288, 372}, {289,
373}, {290, 374}, {291, 375}, {296, 380}, {297, 381}, {298, 382}, {299, 383},
{292, 376}, {293, 377}, {294, 378}, {295, 379}, {284, 368}, {285, 369}, {286,
370}, {287, 371}, {128, 242}, {129, 243}, {132, 246}, {133, 247}, {136, 250},
{137, 251}, {140, 254}, {141, 255}, {280, 364}, {281, 365}, {282, 366}, {283,
367}, {130, 244}, {131, 245}, {138, 252}, {139, 253}, {8, 127}, {1, 121}, {2,
122}, {3, 123}, {4, 124}, {5, 125}, {6, 126}, {7, 127}, {3, 122}, {5, 124}, {7,
126}, {2, 121}, {6, 125}, {277, 361}, {278, 362}, {279, 363}, {134, 248}, {135,
249}, {4, 123}, {128, 255}, {121, 248}, {125, 252}, {123, 250}, {127, 254},
{122, 249}, {126, 253}, {124, 251}, {8, 128}, {120, 240}, {111, 231}, {110,
230}, {109, 229}, {108, 228}, {107, 227}, {106, 226}, {105, 225}, {104, 224},
{95, 215}, {94, 214}, {93, 213}, {92, 212}, {91, 211}, {90, 210}, {89, 209},
{88, 208}, {79, 199}, {78, 198}, {77, 197}, {76, 196}, {75, 195}, {9, 129}, {10,
130}, {11, 131}, {12, 132}, {13, 133}, {14, 134}, {15, 135}, {24, 144}, {25,
145}, {26, 146}, {27, 147}, {28, 148}, {29, 149}, {30, 150}, {31, 151}, {40,
160}, {41, 161}, {42, 162}, {43, 163}, {44, 164}, {45, 165}, {46, 166}, {47,
167}, {56, 176}, {57, 177}, {58, 178}, {59, 179}, {60, 180}, {61, 181}, {62,
182}, {63, 183}, {72, 192}, {73, 193}, {74, 194}, {9, 128}, {111, 230}, {109,
228}, {107, 226}, {105, 224}, {95, 214}, {93, 212}, {91, 210}, {89, 208}, {79,
198}, {77, 196}, {75, 194}, {11, 130}, {13, 132}, {15, 134}, {25, 144}, {27,
146}, {29, 148}, {31, 150}, {41, 160}, {43, 162}, {45, 164}, {47, 166}, {57,
176}, {59, 178}, {61, 180}, {63, 182}, {73, 192}, {10, 129}, {110, 229}, {106,
225}, {94, 213}, {90, 209}, {78, 197}, {14, 133}, {26, 145}, {30, 149}, {42,
161}, {46, 165}, {58, 177}, {62, 181}, {74, 193}, {127, 241}, {12, 131}, {108,
227}, {92, 211}, {76, 195}, {28, 147}, {44, 163}, {60, 179}, {16, 135}, {120,
239}, {112, 231}, {88, 207}, {80, 199}, {24, 143}, {48, 167}, {56, 175}, {16,
136}, {119, 239}, {118, 238}, {117, 237}, {116, 236}, {115, 235}, {114, 234},
{113, 233}, {112, 232}, {87, 207}, {86, 206}, {85, 205}, {84, 204}, {83, 203},
{82, 202}, {81, 201}, {80, 200}, {17, 137}, {18, 138}, {19, 139}, {20, 140},
{21, 141}, {22, 142}, {23, 143}, {48, 168}, {49, 169}, {50, 170}, {51, 171},
{52, 172}, {53, 173}, {54, 174}, {55, 175}, {17, 136}, {119, 238}, {117, 236},
{115, 234}, {113, 232}, {87, 206}, {85, 204}, {83, 202}, {81, 200}, {19, 138},
{21, 140}, {23, 142}, {49, 168}, {51, 170}, {53, 172}, {55, 174}, {18, 137},
{324, 479}, {320, 475}, {118, 237}, {114, 233}, {86, 205}, {82, 201}, {22, 141},
{50, 169}, {54, 173}, {256, 411}, {260, 415}, {288, 443}, {292, 447}, {257,
412}, {323, 478}, {321, 476}, {259, 414}, {289, 444}, {291, 446}, {20, 139},
{322, 477}, {116, 235}, {84, 203}, {52, 171}, {258, 413}, {290, 445}, {261,
416}, {325, 480}, {263, 418}, {269, 424}, {271, 426}, {277, 432}, {279, 434},
{285, 440}, {287, 442}, {262, 417}, {270, 425}, {278, 433}, {286, 441}, {264,
419}, {268, 423}, {280, 435}, {284, 439}, {300, 384}, {319, 403}, {318, 402},
{317, 401}, {316, 400}, {301, 385}, {302, 386}, {303, 387}, {265, 420}, {267,
422}, {281, 436}, {283, 438}, {266, 421}, {282, 437}, {304, 388}, {315, 399},
{314, 398}, {313, 397}, {312, 396}, {307, 391}, {305, 389}, {306, 390}, {32,
151}, {104, 223}, {96, 215}, {40, 159}, {32, 152}, {103, 223}, {102, 222}, {101,
221}, {100, 220}, {99, 219}, {98, 218}, {97, 217}, {96, 216}, {33, 153}, {34,
154}, {35, 155}, {36, 156}, {37, 157}, {38, 158}, {39, 159}, {33, 152}, {103,
222}, {101, 220}, {99, 218}, {97, 216}, {35, 154}, {37, 156}, {39, 158}, {34,
153}, {102, 221}, {98, 217}, {38, 157}, {272, 427}, {276, 431}, {308, 392},
{311, 395}, {310, 394}, {309, 393}, {273, 428}, {275, 430}, {36, 155}, {100,
219}, {274, 429}, {256, 460}, {257, 461}, {258, 462}, {259, 463}, {272, 476},
{273, 477}, {274, 478}, {275, 479}, {260, 464}, {360, 444}, {355, 439}, {354,
438}, {353, 437}, {352, 436}, {331, 415}, {330, 414}, {329, 413}, {328, 412},
{323, 407}, {322, 406}, {321, 405}, {320, 404}, {261, 465}, {262, 466}, {263,
467}, {268, 472}, {269, 473}, {270, 474}, {271, 475}, {264, 468}, {359, 443},
{358, 442}, {357, 441}, {356, 440}, {327, 411}, {326, 410}, {325, 409}, {324,
408}, {265, 469}, {266, 470}, {267, 471}, {349, 384}, {351, 386}, {350, 385},
{352, 387}, {360, 395}, {356, 391}, {293, 448}, {355, 390}, {353, 388}, {319,
474}, {317, 472}, {311, 466}, {309, 464}, {295, 450}, {301, 456}, {303, 458},
{294, 449}, {354, 389}, {318, 473}, {310, 465}, {302, 457}, {296, 451}, {316,
471}, {312, 467}, {300, 455}, {332, 416}, {351, 435}, {350, 434}, {349, 433},
{348, 432}, {335, 419}, {334, 418}, {333, 417}, {297, 452}, {359, 394}, {357,
392}, {315, 470}, {313, 468}, {299, 454}, {298, 453}, {358, 393}, {314, 469},
{1, 240}, {276, 480}, {347, 431}, {346, 430}, {345, 429}, {344, 428}, {339,
423}, {338, 422}, {337, 421}, {336, 420}, {64, 183}, {72, 191}, {64, 184}, {65,
185}, {66, 186}, {67, 187}, {68, 188}, {69, 189}, {70, 190}, {71, 191}, {65,
184}, {67, 186}, {69, 188}, {71, 190}, {66, 185}, {308, 463}, {70, 189}, {304,
459}, {340, 424}, {343, 427}, {342, 426}, {341, 425}, {305, 460}, {307, 462},
{68, 187}, {306, 461}, {104, 362}, {120, 378}, {117, 375}, {116, 374}, {113,
371}, {112, 370}, {109, 367}, {108, 366}, {105, 363}, {106, 364}, {115, 373},
{114, 372}, {107, 365}, {103, 361}, {119, 377}, {118, 376}, {126, 360}, {121,
355}, {124, 358}, {125, 359}, {110, 368}, {123, 357}, {122, 356}, {111, 369},
{244, 448}, {245, 449}, {246, 450}, {247, 451}, {252, 456}, {253, 457}, {254,
458}, {255, 459}, {248, 452}, {249, 453}, {250, 454}, {251, 455}, {241, 445},
{242, 446}, {243, 447}, {32, 373}, {34, 375}, {40, 381}, {42, 383}, {33, 374},
{41, 382}, {35, 376}, {39, 380}, {36, 377}, {38, 379}, {37, 378}, {245, 400},
{247, 402}, {253, 408}, {255, 410}, {246, 401}, {254, 409}, {27, 368}, {31,
372}, {248, 403}, {252, 407}, {28, 369}, {30, 371}, {249, 404}, {251, 406}, {29,
370}, {250, 405}, {24, 365}, {26, 367}, {25, 366}, {1, 379}, {4, 382}, {5, 383},
{23, 364}, {244, 399}, {20, 361}, {22, 363}, {241, 396}, {243, 398}, {2, 380},
{3, 381}, {21, 362}, {242, 397}, {129, 256}, {131, 258}, {133, 260}, {135, 262},
{137, 264}, {139, 266}, {141, 268}, {143, 270}, {145, 272}, {147, 274}, {149,
276}, {151, 278}, {153, 280}, {155, 282}, {157, 284}, {159, 286}, {161, 288},
{163, 290}, {165, 292}, {167, 294}, {169, 296}, {171, 298}, {173, 300}, {175,
302}, {177, 304}, {179, 306}, {181, 308}, {183, 310}, {185, 312}, {187, 314},
{189, 316}, {191, 318}, {193, 320}, {195, 322}, {197, 324}, {199, 326}, {201,
328}, {203, 330}, {205, 332}, {207, 334}, {209, 336}, {211, 338}, {213, 340},
{215, 342}, {217, 344}, {219, 346}, {221, 348}, {223, 350}, {225, 352}, {227,
354}, {229, 356}, {231, 358}, {233, 360}, {130, 257}, {134, 261}, {138, 265},
{142, 269}, {146, 273}, {150, 277}, {154, 281}, {158, 285}, {162, 289}, {166,
293}, {170, 297}, {174, 301}, {178, 305}, {182, 309}, {186, 313}, {190, 317},
{194, 321}, {198, 325}, {202, 329}, {206, 333}, {210, 337}, {214, 341}, {218,
345}, {222, 349}, {226, 353}, {230, 357}, {6, 384}, {102, 480}, {95, 473}, {94,
472}, {87, 465}, {86, 464}, {79, 457}, {78, 456}, {7, 385}, {14, 392}, {15,
393}, {22, 400}, {23, 401}, {30, 408}, {31, 409}, {38, 416}, {39, 417}, {46,
424}, {47, 425}, {54, 432}, {55, 433}, {62, 440}, {63, 441}, {70, 448}, {71,
449}, {132, 259}, {140, 267}, {148, 275}, {156, 283}, {164, 291}, {172, 299},
{180, 307}, {188, 315}, {196, 323}, {204, 331}, {212, 339}, {220, 347}, {228,
355}, {8, 386}, {93, 471}, {92, 470}, {89, 467}, {88, 466}, {77, 455}, {76,
454}, {9, 387}, {12, 390}, {13, 391}, {24, 402}, {25, 403}, {28, 406}, {29,
407}, {40, 418}, {41, 419}, {44, 422}, {45, 423}, {56, 434}, {57, 435}, {60,
438}, {61, 439}, {72, 450}, {73, 451}, {10, 388}, {91, 469}, {90, 468}, {75,
453}, {11, 389}, {26, 404}, {27, 405}, {42, 420}, {43, 421}, {58, 436}, {59,
437}, {74, 452}, {142, 256}, {143, 257}, {158, 272}, {159, 273}, {174, 288},
{175, 289}, {190, 304}, {191, 305}, {206, 320}, {207, 321}, {222, 336}, {223,
337}, {238, 352}, {239, 353}, {136, 263}, {152, 279}, {168, 295}, {184, 311},
{200, 327}, {216, 343}, {232, 359}, {144, 258}, {145, 259}, {148, 262}, {149,
263}, {152, 266}, {153, 267}, {156, 270}, {157, 271}, {176, 290}, {177, 291},
{180, 294}, {181, 295}, {184, 298}, {185, 299}, {188, 302}, {189, 303}, {208,
322}, {209, 323}, {212, 326}, {213, 327}, {216, 330}, {217, 331}, {220, 334},
{221, 335}, {240, 354}, {146, 260}, {147, 261}, {154, 268}, {155, 269}, {178,
292}, {179, 293}, {186, 300}, {187, 301}, {210, 324}, {211, 325}, {218, 332},
{219, 333}, {16, 394}, {85, 463}, {84, 462}, {81, 459}, {80, 458}, {17, 395},
{20, 398}, {21, 399}, {48, 426}, {49, 427}, {52, 430}, {53, 431}, {18, 396},
{83, 461}, {82, 460}, {19, 397}, {50, 428}, {51, 429}, {150, 264}, {151, 265},
{182, 296}, {183, 297}, {214, 328}, {215, 329}, {144, 271}, {176, 303}, {208,
335}, {43, 384}, {111, 452}, {107, 448}, {47, 388}, {59, 400}, {63, 404}, {44,
385}, {110, 451}, {108, 449}, {46, 387}, {60, 401}, {62, 403}, {45, 386}, {109,
450}, {61, 402}, {160, 274}, {161, 275}, {164, 278}, {165, 279}, {168, 282},
{169, 283}, {172, 286}, {173, 287}, {224, 338}, {225, 339}, {228, 342}, {229,
343}, {232, 346}, {233, 347}, {236, 350}, {237, 351}, {48, 389}, {120, 461},
{114, 455}, {112, 453}, {50, 391}, {56, 397}, {58, 399}, {162, 276}, {163, 277},
{170, 284}, {171, 285}, {226, 340}, {227, 341}, {234, 348}, {235, 349}, {49,
390}, {113, 454}, {57, 398}, {32, 410}, {101, 479}, {100, 478}, {97, 475}, {96,
474}, {33, 411}, {36, 414}, {37, 415}, {51, 392}, {119, 460}, {115, 456}, {55,
396}, {52, 393}, {118, 459}, {116, 457}, {54, 395}, {34, 412}, {99, 477}, {98,
476}, {35, 413}, {166, 280}, {167, 281}, {230, 344}, {231, 345}, {53, 394},
{117, 458}, {160, 287}, {224, 351}, {2, 463}, {16, 477}, {18, 479}, {1, 462},
{17, 478}, {3, 464}, {7, 468}, {11, 472}, {15, 476}, {4, 465}, {106, 447}, {104,
445}, {98, 439}, {96, 437}, {6, 467}, {12, 473}, {14, 475}, {64, 405}, {66,
407}, {72, 413}, {74, 415}, {5, 466}, {105, 446}, {97, 438}, {13, 474}, {65,
406}, {73, 414}, {67, 408}, {103, 444}, {99, 440}, {71, 412}, {8, 469}, {102,
443}, {100, 441}, {10, 471}, {68, 409}, {70, 411}, {9, 470}, {101, 442}, {69,
410}, {75, 416}, {95, 436}, {91, 432}, {79, 420}, {76, 417}, {94, 435}, {92,
433}, {78, 419}, {77, 418}, {93, 434}, {192, 306}, {193, 307}, {196, 310}, {197,
311}, {200, 314}, {201, 315}, {204, 318}, {205, 319}, {19, 480}, {80, 421}, {90,
431}, {88, 429}, {82, 423}, {194, 308}, {195, 309}, {202, 316}, {203, 317}, {81,
422}, {89, 430}, {64, 442}, {65, 443}, {68, 446}, {69, 447}, {83, 424}, {87,
428}, {84, 425}, {86, 427}, {66, 444}, {67, 445}, {198, 312}, {199, 313}, {85,
426}, {192, 319} }>;
(II) A more general form is to represent the graph as the orbit of {240, 247}
under the group generated by the following permutations:
a: (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) (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: (1, 121, 355, 439, 61, 181, 295, 379)(2, 228, 284, 402, 62, 168, 344, 462)(3,
215, 333, 365, 63, 155, 273, 425)(4, 202, 262, 448, 64, 142, 322, 388)(5, 189,
311, 411, 65, 129, 251, 471)(6, 176, 360, 374, 66, 236, 300, 434)(7, 163, 289,
457, 67, 223, 349, 397)(8, 150, 338, 420, 68, 210, 278, 480)(9, 137, 267, 383,
69, 197, 327, 443)(10, 124, 316, 466, 70, 184, 256, 406)(11, 231, 245, 429, 71,
171, 305, 369)(12, 218, 294, 392, 72, 158, 354, 452)(13, 205, 343, 475, 73, 145,
283, 415)(14, 192, 272, 438, 74, 132, 332, 378)(15, 179, 321, 401, 75, 239, 261,
461)(16, 166, 250, 364, 76, 226, 310, 424)(17, 153, 299, 447, 77, 213, 359,
387)(18, 140, 348, 410, 78, 200, 288, 470)(19, 127, 277, 373, 79, 187, 337,
433)(20, 234, 326, 456, 80, 174, 266, 396)(21, 221, 255, 419, 81, 161, 315,
479)(22, 208, 304, 382, 82, 148, 244, 442)(23, 195, 353, 465, 83, 135, 293,
405)(24, 182, 282, 428, 84, 122, 342, 368)(25, 169, 331, 391, 85, 229, 271,
451)(26, 156, 260, 474, 86, 216, 320, 414)(27, 143, 309, 437, 87, 203, 249,
377)(28, 130, 358, 400, 88, 190, 298, 460)(29, 237, 287, 363, 89, 177, 347,
423)(30, 224, 336, 446, 90, 164, 276, 386)(31, 211, 265, 409, 91, 151, 325,
469)(32, 198, 314, 372, 92, 138, 254, 432)(33, 185, 243, 455, 93, 125, 303,
395)(34, 172, 292, 418, 94, 232, 352, 478)(35, 159, 341, 381, 95, 219, 281,
441)(36, 146, 270, 464, 96, 206, 330, 404)(37, 133, 319, 427, 97, 193, 259,
367)(38, 240, 248, 390, 98, 180, 308, 450)(39, 227, 297, 473, 99, 167, 357,
413)(40, 214, 346, 436, 100, 154, 286, 376)(41, 201, 275, 399, 101, 141, 335,
459)(42, 188, 324, 362, 102, 128, 264, 422)(43, 175, 253, 445, 103, 235, 313,
385)(44, 162, 302, 408, 104, 222, 242, 468)(45, 149, 351, 371, 105, 209, 291,
431)(46, 136, 280, 454, 106, 196, 340, 394)(47, 123, 329, 417, 107, 183, 269,
477)(48, 230, 258, 380, 108, 170, 318, 440)(49, 217, 307, 463, 109, 157, 247,
403)(50, 204, 356, 426, 110, 144, 296, 366)(51, 191, 285, 389, 111, 131, 345,
449)(52, 178, 334, 472, 112, 238, 274, 412)(53, 165, 263, 435, 113, 225, 323,
375)(54, 152, 312, 398, 114, 212, 252, 458)(55, 139, 241, 361, 115, 199, 301,
421)(56, 126, 290, 444, 116, 186, 350, 384)(57, 233, 339, 407, 117, 173, 279,
467)(58, 220, 268, 370, 118, 160, 328, 430)(59, 207, 317, 453, 119, 147, 257,
393)(60, 194, 246, 416, 120, 134, 306, 476)
c: (2, 120)(3, 119)(4, 118)(5, 117)(6, 116)(7, 115)(8, 114)(9, 113)(10, 112)(11,
111)(12, 110)(13, 109)(14, 108)(15, 107)(16, 106)(17, 105)(18, 104)(19, 103)(20,
102)(21, 101)(22, 100)(23, 99)(24, 98)(25, 97)(26, 96)(27, 95)(28, 94)(29,
93)(30, 92)(31, 91)(32, 90)(33, 89)(34, 88)(35, 87)(36, 86)(37, 85)(38, 84)(39,
83)(40, 82)(41, 81)(42, 80)(43, 79)(44, 78)(45, 77)(46, 76)(47, 75)(48, 74)(49,
73)(50, 72)(51, 71)(52, 70)(53, 69)(54, 68)(55, 67)(56, 66)(57, 65)(58, 64)(59,
63)(60, 62)(121, 240)(122, 239)(123, 238)(124, 237)(125, 236)(126, 235)(127,
234)(128, 233)(129, 232)(130, 231)(131, 230)(132, 229)(133, 228)(134, 227)(135,
226)(136, 225)(137, 224)(138, 223)(139, 222)(140, 221)(141, 220)(142, 219)(143,
218)(144, 217)(145, 216)(146, 215)(147, 214)(148, 213)(149, 212)(150, 211)(151,
210)(152, 209)(153, 208)(154, 207)(155, 206)(156, 205)(157, 204)(158, 203)(159,
202)(160, 201)(161, 200)(162, 199)(163, 198)(164, 197)(165, 196)(166, 195)(167,
194)(168, 193)(169, 192)(170, 191)(171, 190)(172, 189)(173, 188)(174, 187)(175,
186)(176, 185)(177, 184)(178, 183)(179, 182)(180, 181)(242, 360)(243, 359)(244,
358)(245, 357)(246, 356)(247, 355)(248, 354)(249, 353)(250, 352)(251, 351)(252,
350)(253, 349)(254, 348)(255, 347)(256, 346)(257, 345)(258, 344)(259, 343)(260,
342)(261, 341)(262, 340)(263, 339)(264, 338)(265, 337)(266, 336)(267, 335)(268,
334)(269, 333)(270, 332)(271, 331)(272, 330)(273, 329)(274, 328)(275, 327)(276,
326)(277, 325)(278, 324)(279, 323)(280, 322)(281, 321)(282, 320)(283, 319)(284,
318)(285, 317)(286, 316)(287, 315)(288, 314)(289, 313)(290, 312)(291, 311)(292,
310)(293, 309)(294, 308)(295, 307)(296, 306)(297, 305)(298, 304)(299, 303)(300,
302)(361, 480)(362, 479)(363, 478)(364, 477)(365, 476)(366, 475)(367, 474)(368,
473)(369, 472)(370, 471)(371, 470)(372, 469)(373, 468)(374, 467)(375, 466)(376,
465)(377, 464)(378, 463)(379, 462)(380, 461)(381, 460)(382, 459)(383, 458)(384,
457)(385, 456)(386, 455)(387, 454)(388, 453)(389, 452)(390, 451)(391, 450)(392,
449)(393, 448)(394, 447)(395, 446)(396, 445)(397, 444)(398, 443)(399, 442)(400,
441)(401, 440)(402, 439)(403, 438)(404, 437)(405, 436)(406, 435)(407, 434)(408,
433)(409, 432)(410, 431)(411, 430)(412, 429)(413, 428)(414, 427)(415, 426)(416,
425)(417, 424)(418, 423)(419, 422)(420, 421)
C4[ 480, 49 ]
480
-1 121 462 379 240
-2 121 122 463 380
-3 122 123 464 381
-4 123 124 465 382
-5 124 125 466 383
-6 125 126 467 384
-7 385 126 127 468
-8 386 127 128 469
-9 387 128 129 470
-10 388 129 130 471
-11 389 130 131 472
-12 132 473 390 131
-13 132 133 474 391
-14 133 134 475 392
-15 134 135 476 393
-16 135 136 477 394
-17 136 137 478 395
-18 396 137 138 479
-19 397 138 139 480
-20 398 139 140 361
-21 399 140 141 362
-22 363 400 141 142
-23 143 364 401 142
-24 143 144 365 402
-25 144 145 366 403
-26 145 146 367 404
-27 146 147 368 405
-28 147 148 369 406
-29 407 148 149 370
-30 408 149 150 371
-31 409 150 151 372
-32 410 151 152 373
-33 374 411 152 153
-34 154 375 412 153
-35 154 155 376 413
-36 155 156 377 414
-37 156 157 378 415
-38 157 158 379 416
-39 158 159 380 417
-40 418 159 160 381
-41 419 160 161 382
-42 420 161 162 383
-43 421 162 163 384
-44 385 422 163 164
-45 165 386 423 164
-46 165 166 387 424
-47 166 167 388 425
-48 167 168 389 426
-49 168 169 390 427
-50 169 170 391 428
-51 429 170 171 392
-52 430 171 172 393
-53 431 172 173 394
-54 432 173 174 395
-55 396 433 174 175
-56 176 397 434 175
-57 176 177 398 435
-58 177 178 399 436
-59 178 179 400 437
-60 179 180 401 438
-61 180 181 402 439
-62 440 181 182 403
-63 441 182 183 404
-64 442 183 184 405
-65 443 184 185 406
-66 407 444 185 186
-67 187 408 445 186
-68 187 188 409 446
-69 188 189 410 447
-70 189 190 411 448
-71 190 191 412 449
-72 191 192 413 450
-73 451 192 193 414
-74 452 193 194 415
-75 453 194 195 416
-76 454 195 196 417
-77 418 455 196 197
-78 198 419 456 197
-79 198 199 420 457
-80 199 200 421 458
-81 200 201 422 459
-82 201 202 423 460
-83 202 203 424 461
-84 462 203 204 425
-85 463 204 205 426
-86 464 205 206 427
-87 465 206 207 428
-88 429 466 207 208
-89 209 430 467 208
-90 209 210 431 468
-91 210 211 432 469
-92 211 212 433 470
-93 212 213 434 471
-94 213 214 435 472
-95 473 214 215 436
-96 474 215 216 437
-97 475 216 217 438
-98 476 217 218 439
-99 440 477 218 219
-100 220 441 478 219
-101 220 221 442 479
-102 221 222 443 480
-103 222 223 444 361
-104 223 224 445 362
-105 363 224 225 446
-106 364 225 226 447
-107 365 226 227 448
-108 366 227 228 449
-109 367 228 229 450
-110 451 368 229 230
-111 231 452 369 230
-112 231 232 453 370
-113 232 233 454 371
-114 233 234 455 372
-115 234 235 456 373
-116 374 235 236 457
-117 375 236 237 458
-118 376 237 238 459
-119 377 238 239 460
-120 378 239 240 461
-121 1 2 355 248
-122 2 3 356 249
-123 3 4 357 250
-124 4 5 358 251
-125 5 6 359 252
-126 253 6 7 360
-127 254 7 8 241
-128 242 255 8 9
-129 243 256 9 10
-130 11 244 257 10
-131 11 12 245 258
-132 12 13 246 259
-133 13 14 247 260
-134 14 15 248 261
-135 15 16 249 262
-136 16 17 250 263
-137 264 17 18 251
-138 265 18 19 252
-139 253 266 19 20
-140 254 267 20 21
-141 22 255 268 21
-142 22 23 256 269
-143 23 24 257 270
-144 24 25 258 271
-145 25 26 259 272
-146 26 27 260 273
-147 27 28 261 274
-148 275 28 29 262
-149 276 29 30 263
-150 264 277 30 31
-151 265 278 31 32
-152 33 266 279 32
-153 33 34 267 280
-154 34 35 268 281
-155 35 36 269 282
-156 36 37 270 283
-157 37 38 271 284
-158 38 39 272 285
-159 286 39 40 273
-160 287 40 41 274
-161 275 288 41 42
-162 276 289 42 43
-163 44 277 290 43
-164 44 45 278 291
-165 45 46 279 292
-166 46 47 280 293
-167 47 48 281 294
-168 48 49 282 295
-169 49 50 283 296
-170 297 50 51 284
-171 298 51 52 285
-172 286 299 52 53
-173 287 300 53 54
-174 55 288 301 54
-175 55 56 289 302
-176 56 57 290 303
-177 57 58 291 304
-178 58 59 292 305
-179 59 60 293 306
-180 60 61 294 307
-181 308 61 62 295
-182 309 62 63 296
-183 297 310 63 64
-184 298 311 64 65
-185 66 299 312 65
-186 66 67 300 313
-187 67 68 301 314
-188 68 69 302 315
-189 69 70 303 316
-190 70 71 304 317
-191 71 72 305 318
-192 319 72 73 306
-193 320 73 74 307
-194 308 321 74 75
-195 309 322 75 76
-196 77 310 323 76
-197 77 78 311 324
-198 78 79 312 325
-199 79 80 313 326
-200 80 81 314 327
-201 81 82 315 328
-202 82 83 316 329
-203 330 83 84 317
-204 331 84 85 318
-205 319 332 85 86
-206 320 333 86 87
-207 88 321 334 87
-208 88 89 322 335
-209 89 90 323 336
-210 90 91 324 337
-211 91 92 325 338
-212 92 93 326 339
-213 93 94 327 340
-214 341 94 95 328
-215 342 95 96 329
-216 330 343 96 97
-217 331 344 97 98
-218 99 332 345 98
-219 99 100 333 346
-220 100 101 334 347
-221 101 102 335 348
-222 102 103 336 349
-223 103 104 337 350
-224 104 105 338 351
-225 352 105 106 339
-226 353 106 107 340
-227 341 354 107 108
-228 342 355 108 109
-229 110 343 356 109
-230 110 111 344 357
-231 111 112 345 358
-232 112 113 346 359
-233 113 114 347 360
-234 114 115 348 241
-235 242 115 116 349
-236 243 116 117 350
-237 244 117 118 351
-238 352 245 118 119
-239 353 246 119 120
-240 1 354 247 120
-241 396 234 445 127
-242 397 235 446 128
-243 398 236 447 129
-244 399 237 448 130
-245 400 238 449 131
-246 132 401 239 450
-247 451 133 402 240
-248 121 452 134 403
-249 122 453 135 404
-250 123 454 136 405
-251 124 455 137 406
-252 407 125 456 138
-253 408 126 457 139
-254 409 127 458 140
-255 410 128 459 141
-256 411 129 460 142
-257 143 412 130 461
-258 462 144 413 131
-259 132 463 145 414
-260 133 464 146 415
-261 134 465 147 416
-262 135 466 148 417
-263 418 136 467 149
-264 419 137 468 150
-265 420 138 469 151
-266 421 139 470 152
-267 422 140 471 153
-268 154 423 141 472
-269 473 155 424 142
-270 143 474 156 425
-271 144 475 157 426
-272 145 476 158 427
-273 146 477 159 428
-274 429 147 478 160
-275 430 148 479 161
-276 431 149 480 162
-277 432 150 163 361
-278 433 151 164 362
-279 165 363 434 152
-280 166 364 435 153
-281 154 167 365 436
-282 155 168 366 437
-283 156 169 367 438
-284 157 170 368 439
-285 440 158 171 369
-286 441 159 172 370
-287 442 160 173 371
-288 443 161 174 372
-289 444 162 175 373
-290 176 374 445 163
-291 177 375 446 164
-292 165 178 376 447
-293 166 179 377 448
-294 167 180 378 449
-295 168 181 379 450
-296 451 169 182 380
-297 452 170 183 381
-298 453 171 184 382
-299 454 172 185 383
-300 455 173 186 384
-301 187 385 456 174
-302 188 386 457 175
-303 176 189 387 458
-304 177 190 388 459
-305 178 191 389 460
-306 179 192 390 461
-307 462 180 193 391
-308 463 181 194 392
-309 464 182 195 393
-310 465 183 196 394
-311 466 184 197 395
-312 198 396 467 185
-313 199 397 468 186
-314 187 200 398 469
-315 188 201 399 470
-316 189 202 400 471
-317 190 203 401 472
-318 473 191 204 402
-319 474 192 205 403
-320 475 193 206 404
-321 476 194 207 405
-322 477 195 208 406
-323 209 407 478 196
-324 210 408 479 197
-325 198 211 409 480
-326 199 212 410 361
-327 200 213 411 362
-328 363 201 214 412
-329 364 202 215 413
-330 365 203 216 414
-331 366 204 217 415
-332 367 205 218 416
-333 368 206 219 417
-334 220 418 369 207
-335 221 419 370 208
-336 209 222 420 371
-337 210 223 421 372
-338 211 224 422 373
-339 374 212 225 423
-340 375 213 226 424
-341 376 214 227 425
-342 377 215 228 426
-343 378 216 229 427
-344 379 217 230 428
-345 231 429 380 218
-346 232 430 381 219
-347 220 233 431 382
-348 221 234 432 383
-349 222 235 433 384
-350 385 223 236 434
-351 386 224 237 435
-352 387 225 238 436
-353 388 226 239 437
-354 389 227 240 438
-355 121 390 228 439
-356 440 122 391 229
-357 441 123 392 230
-358 231 442 124 393
-359 232 443 125 394
-360 233 444 126 395
-361 277 103 326 20
-362 278 104 327 21
-363 22 279 105 328
-364 23 280 106 329
-365 330 24 281 107
-366 331 25 282 108
-367 332 26 283 109
-368 110 333 27 284
-369 111 334 28 285
-370 286 112 335 29
-371 287 113 336 30
-372 288 114 337 31
-373 289 115 338 32
-374 33 290 116 339
-375 34 291 117 340
-376 341 35 292 118
-377 342 36 293 119
-378 343 37 294 120
-379 1 344 38 295
-380 2 345 39 296
-381 297 3 346 40
-382 298 4 347 41
-383 299 5 348 42
-384 300 6 349 43
-385 44 301 7 350
-386 45 302 8 351
-387 352 46 303 9
-388 353 47 304 10
-389 11 354 48 305
-390 12 355 49 306
-391 13 356 50 307
-392 308 14 357 51
-393 309 15 358 52
-394 310 16 359 53
-395 311 17 360 54
-396 55 312 18 241
-397 242 56 313 19
-398 243 57 314 20
-399 244 58 315 21
-400 22 245 59 316
-401 23 246 60 317
-402 24 247 61 318
-403 319 25 248 62
-404 320 26 249 63
-405 321 27 250 64
-406 322 28 251 65
-407 66 323 29 252
-408 253 67 324 30
-409 254 68 325 31
-410 255 69 326 32
-411 33 256 70 327
-412 34 257 71 328
-413 35 258 72 329
-414 330 36 259 73
-415 331 37 260 74
-416 332 38 261 75
-417 333 39 262 76
-418 77 334 40 263
-419 264 78 335 41
-420 265 79 336 42
-421 266 80 337 43
-422 44 267 81 338
-423 45 268 82 339
-424 46 269 83 340
-425 341 47 270 84
-426 342 48 271 85
-427 343 49 272 86
-428 344 50 273 87
-429 88 345 51 274
-430 275 89 346 52
-431 276 90 347 53
-432 277 91 348 54
-433 55 278 92 349
-434 56 279 93 350
-435 57 280 94 351
-436 352 58 281 95
-437 353 59 282 96
-438 354 60 283 97
-439 355 61 284 98
-440 99 356 62 285
-441 286 100 357 63
-442 287 101 358 64
-443 288 102 359 65
-444 66 289 103 360
-445 67 290 104 241
-446 242 68 291 105
-447 243 69 292 106
-448 244 70 293 107
-449 245 71 294 108
-450 246 72 295 109
-451 110 247 73 296
-452 297 111 248 74
-453 298 112 249 75
-454 299 113 250 76
-455 77 300 114 251
-456 78 301 115 252
-457 253 79 302 116
-458 254 80 303 117
-459 255 81 304 118
-460 256 82 305 119
-461 257 83 306 120
-462 1 258 84 307
-463 308 2 259 85
-464 309 3 260 86
-465 310 4 261 87
-466 88 311 5 262
-467 89 312 6 263
-468 264 90 313 7
-469 265 91 314 8
-470 266 92 315 9
-471 267 93 316 10
-472 11 268 94 317
-473 12 269 95 318
-474 319 13 270 96
-475 320 14 271 97
-476 321 15 272 98
-477 99 322 16 273
-478 100 323 17 274
-479 275 101 324 18
-480 276 102 325 19
0