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