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