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