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