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