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