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