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