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