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