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