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