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