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