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