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