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