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