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