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