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