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