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