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