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