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