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