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