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