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