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