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