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