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