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