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