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