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