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