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