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