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