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