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