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