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