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