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