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