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