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