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