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