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