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