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