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