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