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