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