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