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