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