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