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