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