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