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