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