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