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