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