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