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