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