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