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