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