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