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