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