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