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