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