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