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