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