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