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