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