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