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