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