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