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