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