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