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