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