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