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