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