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