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