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