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