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