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