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