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