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