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