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