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