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