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