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