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