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