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