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