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