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