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