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