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