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