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