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