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