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