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