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