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