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