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