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