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