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