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