=== (A) every Hamilton cycle of C_n^2 as "the periphery" ===
n=7: 23 Hamilton cycles of C_n^2 (types {'rim': 1, 'mixed': 21, 'boundary': 1}); 5 non-isomorphic graphs produced by the recipe
   types=['mixed', 'rim']       embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6]  deleted=[(0, 1), (2, 3)]  degree-4=[4, 5, 6]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5]  deleted=[(2, 3), (4, 6)]  degree-4=[0, 1, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5]  deleted=[(4, 6), (5, 0)]  degree-4=[1, 2, 3]
   types=['boundary', 'mixed']  embeds in G_n: False  example periphery P=[0, 1, 3, 2, 4, 6, 5]  deleted=[(5, 0), (1, 3)]  degree-4=[2, 4, 6]
   types=['mixed']              embeds in G_n: True   example periphery P=[0, 1, 3, 5, 6, 4, 2]  deleted=[(0, 1), (3, 5)]  degree-4=[2, 4, 6]
n=9: 41 Hamilton cycles of C_n^2 (types {'rim': 1, 'mixed': 39, 'boundary': 1}); 7 non-isomorphic graphs produced by the recipe
   types=['mixed', 'rim']       embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8]  deleted=[(0, 1), (2, 3), (4, 5)]  degree-4=[6, 7, 8]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7]  deleted=[(2, 3), (4, 5), (6, 8)]  degree-4=[0, 1, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7]  deleted=[(4, 5), (6, 8), (7, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 8, 7]  deleted=[(7, 0), (1, 2), (3, 5)]  degree-4=[4, 6, 8]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 4, 3, 5, 6, 8, 7]  deleted=[(2, 4), (3, 5), (6, 8)]  degree-4=[0, 1, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 8, 6, 4, 2]  deleted=[(0, 1), (3, 5), (7, 8)]  degree-4=[2, 4, 6]
   types=['boundary', 'mixed']  embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 8, 6, 4, 2]  deleted=[(1, 3), (5, 7), (8, 6)]  degree-4=[0, 2, 4]
n=11: 79 Hamilton cycles of C_n^2 (types {'rim': 1, 'mixed': 77, 'boundary': 1}); 10 non-isomorphic graphs produced by the recipe
   types=['mixed', 'rim']       embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]  deleted=[(0, 1), (2, 3), (4, 5), (6, 7)]  degree-4=[8, 9, 10]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9]  deleted=[(2, 3), (4, 5), (6, 7), (8, 10)]  degree-4=[0, 1, 9]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9]  deleted=[(4, 5), (6, 7), (8, 10), (9, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9]  deleted=[(6, 7), (8, 10), (9, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 10, 9]  deleted=[(9, 0), (1, 2), (3, 4), (5, 7)]  degree-4=[6, 8, 10]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 10, 9]  deleted=[(2, 3), (4, 6), (5, 7), (8, 10)]  degree-4=[0, 1, 9]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 10, 9]  deleted=[(4, 6), (5, 7), (8, 10), (9, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 10, 9]  deleted=[(8, 10), (9, 0), (1, 2), (3, 5)]  degree-4=[4, 6, 7]
   types=['boundary', 'mixed']  embeds in G_n: False  example periphery P=[0, 1, 3, 2, 4, 5, 7, 6, 8, 10, 9]  deleted=[(9, 0), (1, 3), (2, 4), (5, 7)]  degree-4=[6, 8, 10]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 10, 8, 6, 4, 2]  deleted=[(0, 1), (3, 5), (7, 9), (10, 8)]  degree-4=[2, 4, 6]
n=13: 158 Hamilton cycles of C_n^2 (types {'rim': 1, 'mixed': 156, 'boundary': 1}); 14 non-isomorphic graphs produced by the recipe
   types=['mixed', 'rim']       embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]  deleted=[(0, 1), (2, 3), (4, 5), (6, 7), (8, 9)]  degree-4=[10, 11, 12]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11]  deleted=[(2, 3), (4, 5), (6, 7), (8, 9), (10, 12)]  degree-4=[0, 1, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11]  deleted=[(4, 5), (6, 7), (8, 9), (10, 12), (11, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11]  deleted=[(6, 7), (8, 9), (10, 12), (11, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 12, 11]  deleted=[(11, 0), (1, 2), (3, 4), (5, 6), (7, 9)]  degree-4=[8, 10, 12]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 12, 11]  deleted=[(2, 3), (4, 5), (6, 8), (7, 9), (10, 12)]  degree-4=[0, 1, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 12, 11]  deleted=[(4, 5), (6, 8), (7, 9), (10, 12), (11, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 12, 11]  deleted=[(10, 12), (11, 0), (1, 2), (3, 4), (5, 7)]  degree-4=[6, 8, 9]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 12, 11]  deleted=[(2, 3), (4, 6), (5, 7), (8, 9), (10, 12)]  degree-4=[0, 1, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 12, 11]  deleted=[(4, 6), (5, 7), (8, 9), (10, 12), (11, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 9, 8, 10, 12, 11]  deleted=[(11, 0), (1, 2), (3, 5), (4, 6), (7, 9)]  degree-4=[8, 10, 12]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 4, 3, 5, 6, 8, 7, 9, 10, 12, 11]  deleted=[(2, 4), (3, 5), (6, 8), (7, 9), (10, 12)]  degree-4=[0, 1, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 12, 10, 8, 6, 4, 2]  deleted=[(0, 1), (3, 5), (7, 9), (11, 12), (10, 8)]  degree-4=[2, 4, 6]
   types=['boundary', 'mixed']  embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 12, 10, 8, 6, 4, 2]  deleted=[(1, 3), (5, 7), (9, 11), (12, 10), (8, 6)]  degree-4=[0, 2, 4]
n=15: 325 Hamilton cycles of C_n^2 (types {'rim': 1, 'mixed': 323, 'boundary': 1}); 23 non-isomorphic graphs produced by the recipe
   types=['mixed', 'rim']       embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14]  deleted=[(0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (10, 11)]  degree-4=[12, 13, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13]  deleted=[(2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (12, 14)]  degree-4=[0, 1, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13]  deleted=[(4, 5), (6, 7), (8, 9), (10, 11), (12, 14), (13, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13]  deleted=[(6, 7), (8, 9), (10, 11), (12, 14), (13, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13]  deleted=[(8, 9), (10, 11), (12, 14), (13, 0), (1, 2), (3, 4)]  degree-4=[5, 6, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10, 12, 14, 13]  deleted=[(13, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 11)]  degree-4=[10, 12, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 14, 13]  deleted=[(2, 3), (4, 5), (6, 7), (8, 10), (9, 11), (12, 14)]  degree-4=[0, 1, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 14, 13]  deleted=[(4, 5), (6, 7), (8, 10), (9, 11), (12, 14), (13, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 14, 13]  deleted=[(6, 7), (8, 10), (9, 11), (12, 14), (13, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 14, 13]  deleted=[(12, 14), (13, 0), (1, 2), (3, 4), (5, 6), (7, 9)]  degree-4=[8, 10, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 14, 13]  deleted=[(2, 3), (4, 5), (6, 8), (7, 9), (10, 11), (12, 14)]  degree-4=[0, 1, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 14, 13]  deleted=[(4, 5), (6, 8), (7, 9), (10, 11), (12, 14), (13, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 14, 13]  deleted=[(10, 11), (12, 14), (13, 0), (1, 2), (3, 4), (5, 7)]  degree-4=[6, 8, 9]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 14, 13]  deleted=[(12, 14), (13, 0), (1, 2), (3, 4), (5, 7), (6, 8)]  degree-4=[9, 10, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 11, 10, 12, 14, 13]  deleted=[(13, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 11)]  degree-4=[10, 12, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 10, 9, 11, 12, 14, 13]  deleted=[(2, 3), (4, 6), (5, 7), (8, 10), (9, 11), (12, 14)]  degree-4=[0, 1, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 10, 9, 11, 12, 14, 13]  deleted=[(4, 6), (5, 7), (8, 10), (9, 11), (12, 14), (13, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 9, 11, 10, 12, 14, 13]  deleted=[(13, 0), (1, 2), (3, 5), (4, 6), (7, 8), (9, 11)]  degree-4=[10, 12, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 10, 9, 11, 12, 14, 13]  deleted=[(8, 10), (9, 11), (12, 14), (13, 0), (1, 2), (3, 5)]  degree-4=[4, 6, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 10, 9, 11, 12, 14, 13]  deleted=[(9, 11), (12, 14), (13, 0), (1, 2), (3, 5), (4, 6)]  degree-4=[7, 8, 10]
   types=['boundary', 'mixed']  embeds in G_n: False  example periphery P=[0, 1, 3, 2, 4, 5, 7, 6, 8, 9, 11, 10, 12, 14, 13]  deleted=[(13, 0), (1, 3), (2, 4), (5, 7), (6, 8), (9, 11)]  degree-4=[10, 12, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 13, 14, 12, 10, 8, 6, 4, 2]  deleted=[(0, 1), (3, 5), (7, 9), (11, 13), (14, 12), (10, 8)]  degree-4=[2, 4, 6]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 13, 14, 12, 10, 8, 6, 4, 2]  deleted=[(4, 2), (0, 1), (3, 5), (7, 9), (11, 13), (14, 12)]  degree-4=[6, 8, 10]
n=17: 682 Hamilton cycles of C_n^2 (types {'rim': 1, 'mixed': 680, 'boundary': 1}); 33 non-isomorphic graphs produced by the recipe
   types=['mixed', 'rim']       embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16]  deleted=[(0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (12, 13)]  degree-4=[14, 15, 16]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 15]  deleted=[(2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (12, 13), (14, 16)]  degree-4=[0, 1, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 15]  deleted=[(4, 5), (6, 7), (8, 9), (10, 11), (12, 13), (14, 16), (15, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 15]  deleted=[(6, 7), (8, 9), (10, 11), (12, 13), (14, 16), (15, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 15]  deleted=[(8, 9), (10, 11), (12, 13), (14, 16), (15, 0), (1, 2), (3, 4)]  degree-4=[5, 6, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 12, 14, 16, 15]  deleted=[(15, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 10), (11, 13)]  degree-4=[12, 14, 16]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(2, 3), (4, 5), (6, 7), (8, 9), (10, 12), (11, 13), (14, 16)]  degree-4=[0, 1, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(4, 5), (6, 7), (8, 9), (10, 12), (11, 13), (14, 16), (15, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(6, 7), (8, 9), (10, 12), (11, 13), (14, 16), (15, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10, 12, 13, 14, 16, 15]  deleted=[(14, 16), (15, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 11)]  degree-4=[10, 12, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 13, 14, 16, 15]  deleted=[(2, 3), (4, 5), (6, 7), (8, 10), (9, 11), (12, 13), (14, 16)]  degree-4=[0, 1, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 13, 14, 16, 15]  deleted=[(4, 5), (6, 7), (8, 10), (9, 11), (12, 13), (14, 16), (15, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 13, 14, 16, 15]  deleted=[(6, 7), (8, 10), (9, 11), (12, 13), (14, 16), (15, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 13, 14, 16, 15]  deleted=[(12, 13), (14, 16), (15, 0), (1, 2), (3, 4), (5, 6), (7, 9)]  degree-4=[8, 10, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 13, 14, 16, 15]  deleted=[(14, 16), (15, 0), (1, 2), (3, 4), (5, 6), (7, 9), (8, 10)]  degree-4=[11, 12, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 13, 12, 14, 16, 15]  deleted=[(15, 0), (1, 2), (3, 4), (5, 6), (7, 9), (8, 10), (11, 13)]  degree-4=[12, 14, 16]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 13, 14, 16, 15]  deleted=[(2, 3), (4, 5), (6, 8), (7, 9), (10, 11), (12, 13), (14, 16)]  degree-4=[0, 1, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 13, 14, 16, 15]  deleted=[(4, 5), (6, 8), (7, 9), (10, 11), (12, 13), (14, 16), (15, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(2, 3), (4, 5), (6, 8), (7, 9), (10, 12), (11, 13), (14, 16)]  degree-4=[0, 1, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(4, 5), (6, 8), (7, 9), (10, 12), (11, 13), (14, 16), (15, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 13, 12, 14, 16, 15]  deleted=[(15, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 10), (11, 13)]  degree-4=[12, 14, 16]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(10, 12), (11, 13), (14, 16), (15, 0), (1, 2), (3, 4), (5, 7)]  degree-4=[6, 8, 9]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(11, 13), (14, 16), (15, 0), (1, 2), (3, 4), (5, 7), (6, 8)]  degree-4=[9, 10, 12]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(2, 3), (4, 6), (5, 7), (8, 9), (10, 12), (11, 13), (14, 16)]  degree-4=[0, 1, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(4, 6), (5, 7), (8, 9), (10, 12), (11, 13), (14, 16), (15, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(5, 7), (8, 9), (10, 12), (11, 13), (14, 16), (15, 0), (1, 2)]  degree-4=[3, 4, 6]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 9, 11, 10, 12, 13, 14, 16, 15]  deleted=[(14, 16), (15, 0), (1, 2), (3, 5), (4, 6), (7, 8), (9, 11)]  degree-4=[10, 12, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 9, 8, 10, 11, 13, 12, 14, 16, 15]  deleted=[(15, 0), (1, 2), (3, 5), (4, 6), (7, 9), (8, 10), (11, 13)]  degree-4=[12, 14, 16]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 9, 8, 10, 12, 11, 13, 14, 16, 15]  deleted=[(11, 13), (14, 16), (15, 0), (1, 2), (3, 5), (4, 6), (7, 9)]  degree-4=[8, 10, 12]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 4, 3, 5, 6, 8, 7, 9, 10, 12, 11, 13, 14, 16, 15]  deleted=[(2, 4), (3, 5), (6, 8), (7, 9), (10, 12), (11, 13), (14, 16)]  degree-4=[0, 1, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 13, 15, 16, 14, 12, 10, 8, 6, 4, 2]  deleted=[(0, 1), (3, 5), (7, 9), (11, 13), (15, 16), (14, 12), (10, 8)]  degree-4=[2, 4, 6]
   types=['boundary', 'mixed']  embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 13, 15, 16, 14, 12, 10, 8, 6, 4, 2]  deleted=[(1, 3), (5, 7), (9, 11), (13, 15), (16, 14), (12, 10), (8, 6)]  degree-4=[0, 2, 4]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 13, 15, 16, 14, 12, 10, 8, 6, 4, 2]  deleted=[(4, 2), (0, 1), (3, 5), (7, 9), (11, 13), (15, 16), (14, 12)]  degree-4=[6, 8, 10]
n=19: 1446 Hamilton cycles of C_n^2 (types {'rim': 1, 'mixed': 1444, 'boundary': 1}); 53 non-isomorphic graphs produced by the recipe
   types=['mixed', 'rim']       embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18]  deleted=[(0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (12, 13), (14, 15)]  degree-4=[16, 17, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (12, 13), (14, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(4, 5), (6, 7), (8, 9), (10, 11), (12, 13), (14, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(6, 7), (8, 9), (10, 11), (12, 13), (14, 15), (16, 18), (17, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(8, 9), (10, 11), (12, 13), (14, 15), (16, 18), (17, 0), (1, 2), (3, 4)]  degree-4=[5, 6, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(10, 11), (12, 13), (14, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 6)]  degree-4=[7, 8, 9]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 10), (11, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (12, 14), (13, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(4, 5), (6, 7), (8, 9), (10, 11), (12, 14), (13, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(6, 7), (8, 9), (10, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(8, 9), (10, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 4)]  degree-4=[5, 6, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 12, 14, 15, 16, 18, 17]  deleted=[(16, 18), (17, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 10), (11, 13)]  degree-4=[12, 14, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11, 13, 14, 15, 16, 18, 17]  deleted=[(2, 3), (4, 5), (6, 7), (8, 9), (10, 12), (11, 13), (14, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11, 13, 14, 15, 16, 18, 17]  deleted=[(4, 5), (6, 7), (8, 9), (10, 12), (11, 13), (14, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 11, 13, 14, 15, 16, 18, 17]  deleted=[(6, 7), (8, 9), (10, 12), (11, 13), (14, 15), (16, 18), (17, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10, 12, 13, 14, 15, 16, 18, 17]  deleted=[(14, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 11)]  degree-4=[10, 12, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10, 12, 13, 14, 15, 16, 18, 17]  deleted=[(16, 18), (17, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 11), (10, 12)]  degree-4=[13, 14, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 10, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 4), (5, 6), (7, 8), (9, 11), (10, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(2, 3), (4, 5), (6, 7), (8, 10), (9, 11), (12, 13), (14, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(4, 5), (6, 7), (8, 10), (9, 11), (12, 13), (14, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(6, 7), (8, 10), (9, 11), (12, 13), (14, 15), (16, 18), (17, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(2, 3), (4, 5), (6, 7), (8, 10), (9, 11), (12, 14), (13, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(4, 5), (6, 7), (8, 10), (9, 11), (12, 14), (13, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(6, 7), (8, 10), (9, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(12, 13), (14, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 6), (7, 9)]  degree-4=[8, 10, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 13, 14, 15, 16, 18, 17]  deleted=[(14, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 6), (7, 9), (8, 10)]  degree-4=[11, 12, 13]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 4), (5, 6), (7, 9), (8, 10), (11, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 6), (7, 9)]  degree-4=[8, 10, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 7, 9, 8, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(13, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 6), (7, 9), (8, 10)]  degree-4=[11, 12, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(2, 3), (4, 5), (6, 8), (7, 9), (10, 11), (12, 14), (13, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(4, 5), (6, 8), (7, 9), (10, 11), (12, 14), (13, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(6, 8), (7, 9), (10, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2)]  degree-4=[3, 4, 5]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 6, 8, 7, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(7, 9), (10, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 4)]  degree-4=[5, 6, 8]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 10), (11, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(10, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 7)]  degree-4=[6, 8, 9]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 7), (6, 8)]  degree-4=[9, 10, 11]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(13, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 10)]  degree-4=[11, 12, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 13, 12, 14, 15, 16, 18, 17]  deleted=[(16, 18), (17, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 10), (11, 13)]  degree-4=[12, 14, 15]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 10, 11, 13, 12, 14, 15, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 10), (11, 13), (12, 14)]  degree-4=[15, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 11, 10, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 11), (10, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 5, 7, 6, 8, 9, 11, 10, 12, 14, 13, 15, 16, 18, 17]  deleted=[(13, 15), (16, 18), (17, 0), (1, 2), (3, 4), (5, 7), (6, 8), (9, 11)]  degree-4=[10, 12, 14]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 12, 11, 13, 14, 15, 16, 18, 17]  deleted=[(2, 3), (4, 6), (5, 7), (8, 9), (10, 12), (11, 13), (14, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 9, 10, 12, 11, 13, 14, 15, 16, 18, 17]  deleted=[(4, 6), (5, 7), (8, 9), (10, 12), (11, 13), (14, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 10, 9, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(2, 3), (4, 6), (5, 7), (8, 10), (9, 11), (12, 14), (13, 15), (16, 18)]  degree-4=[0, 1, 17]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 4, 6, 5, 7, 8, 10, 9, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(4, 6), (5, 7), (8, 10), (9, 11), (12, 14), (13, 15), (16, 18), (17, 0)]  degree-4=[1, 2, 3]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 9, 11, 10, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 5), (4, 6), (7, 8), (9, 11), (10, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 10, 9, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(8, 10), (9, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 5)]  degree-4=[4, 6, 7]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 8, 10, 9, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(9, 11), (12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 5), (4, 6)]  degree-4=[7, 8, 10]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 9, 8, 10, 11, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 2), (3, 5), (4, 6), (7, 9), (8, 10), (11, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 2, 3, 5, 4, 6, 7, 9, 8, 10, 11, 12, 14, 13, 15, 16, 18, 17]  deleted=[(12, 14), (13, 15), (16, 18), (17, 0), (1, 2), (3, 5), (4, 6), (7, 9)]  degree-4=[8, 10, 11]
   types=['boundary', 'mixed']  embeds in G_n: False  example periphery P=[0, 1, 3, 2, 4, 5, 7, 6, 8, 9, 11, 10, 12, 13, 15, 14, 16, 18, 17]  deleted=[(17, 0), (1, 3), (2, 4), (5, 7), (6, 8), (9, 11), (10, 12), (13, 15)]  degree-4=[14, 16, 18]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 13, 15, 17, 18, 16, 14, 12, 10, 8, 6, 4, 2]  deleted=[(0, 1), (3, 5), (7, 9), (11, 13), (15, 17), (18, 16), (14, 12), (10, 8)]  degree-4=[2, 4, 6]
   types=['mixed']              embeds in G_n: False  example periphery P=[0, 1, 3, 5, 7, 9, 11, 13, 15, 17, 18, 16, 14, 12, 10, 8, 6, 4, 2]  deleted=[(8, 6), (4, 2), (0, 1), (3, 5), (7, 9), (11, 13), (15, 17), (18, 16)]  degree-4=[10, 12, 14]
  (A) time 51.2s
=== (B) every matching M of size (n-3)/2 in C_n^2, up to dihedral symmetry ===
n=7: 6 dihedral classes of matchings
   U=boundary-consecutive  M=mixed   embeds=True  : 1
   U=boundary-consecutive  M=square  embeds=False : 1
   U=other                 M=mixed   embeds=False : 1
   U=other                 M=rim     embeds=False : 1
   U=rim-consecutive       M=rim     embeds=False : 1
   U=rim-consecutive       M=square  embeds=False : 1
   embeddable examples for ('boundary-consecutive', 'mixed') : [(((0, 1), (3, 5)), [2, 4, 6])]
n=9: 14 dihedral classes of matchings
   U=boundary-consecutive  M=mixed   embeds=False : 2
   U=boundary-consecutive  M=square  embeds=False : 1
   U=other                 M=mixed   embeds=False : 3
   U=other                 M=mixed   embeds=True  : 2
   U=other                 M=rim     embeds=False : 1
   U=other                 M=rim     embeds=True  : 1
   U=other                 M=square  embeds=False : 2
   U=rim-consecutive       M=mixed   embeds=False : 1
   U=rim-consecutive       M=rim     embeds=False : 1
   embeddable examples for ('other', 'rim') : [(((0, 1), (2, 3), (5, 6)), [4, 7, 8])]
   embeddable examples for ('other', 'mixed') : [(((0, 1), (2, 4), (5, 6)), [3, 7, 8]), (((0, 1), (3, 5), (4, 6)), [2, 7, 8])]
n=11: 31 dihedral classes of matchings
   U=boundary-consecutive  M=mixed   embeds=False : 2
   U=boundary-consecutive  M=mixed   embeds=True  : 1
   U=boundary-consecutive  M=square  embeds=False : 1
   U=other                 M=mixed   embeds=False : 17
   U=other                 M=mixed   embeds=True  : 1
   U=other                 M=rim     embeds=False : 2
   U=other                 M=rim     embeds=True  : 1
   U=other                 M=square  embeds=False : 2
   U=rim-consecutive       M=mixed   embeds=False : 2
   U=rim-consecutive       M=rim     embeds=False : 1
   U=rim-consecutive       M=square  embeds=False : 1
   embeddable examples for ('boundary-consecutive', 'mixed') : [(((0, 1), (2, 3), (4, 5), (7, 9)), [6, 8, 10])]
   embeddable examples for ('other', 'rim') : [(((0, 1), (2, 3), (5, 6), (7, 8)), [4, 9, 10])]
   embeddable examples for ('other', 'mixed') : [(((0, 1), (2, 4), (3, 5), (7, 8)), [6, 9, 10])]
n=13: 65 dihedral classes of matchings
   U=boundary-consecutive  M=mixed   embeds=False : 5
   U=boundary-consecutive  M=square  embeds=False : 1
   U=other                 M=mixed   embeds=False : 42
   U=other                 M=mixed   embeds=True  : 4
   U=other                 M=rim     embeds=False : 2
   U=other                 M=rim     embeds=True  : 2
   U=other                 M=square  embeds=False : 4
   U=rim-consecutive       M=mixed   embeds=False : 4
   U=rim-consecutive       M=rim     embeds=False : 1
   embeddable examples for ('other', 'rim') : [(((0, 1), (2, 3), (4, 5), (6, 7), (9, 10)), [8, 11, 12]), (((0, 1), (2, 3), (4, 5), (7, 8), (9, 10)), [6, 11, 12])]
   embeddable examples for ('other', 'mixed') : [(((0, 1), (2, 3), (4, 5), (6, 8), (9, 10)), [7, 11, 12]), (((0, 1), (2, 3), (4, 5), (7, 9), (8, 10)), [6, 11, 12])]
n=15: 139 dihedral classes of matchings
   U=boundary-consecutive  M=mixed   embeds=False : 7
   U=boundary-consecutive  M=mixed   embeds=True  : 1
   U=boundary-consecutive  M=square  embeds=False : 1
   U=other                 M=mixed   embeds=False : 108
   U=other                 M=mixed   embeds=True  : 2
   U=other                 M=rim     embeds=False : 5
   U=other                 M=rim     embeds=True  : 1
   U=other                 M=square  embeds=False : 5
   U=rim-consecutive       M=mixed   embeds=False : 7
   U=rim-consecutive       M=rim     embeds=False : 1
   U=rim-consecutive       M=square  embeds=False : 1
   embeddable examples for ('boundary-consecutive', 'mixed') : [(((0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (11, 13)), [10, 12, 14])]
   embeddable examples for ('other', 'rim') : [(((0, 1), (2, 3), (4, 5), (6, 7), (9, 10), (11, 12)), [8, 13, 14])]
   embeddable examples for ('other', 'mixed') : [(((0, 1), (2, 3), (4, 5), (6, 8), (7, 9), (11, 12)), [10, 13, 14]), (((0, 1), (2, 3), (4, 5), (7, 9), (8, 10), (11, 12)), [6, 13, 14])]
n=17: 278 dihedral classes of matchings
   U=boundary-consecutive  M=mixed   embeds=False : 13
   U=boundary-consecutive  M=square  embeds=False : 1
   U=other                 M=mixed   embeds=False : 232
   U=other                 M=mixed   embeds=True  : 6
   U=other                 M=rim     embeds=False : 4
   U=other                 M=rim     embeds=True  : 3
   U=other                 M=square  embeds=False : 7
   U=rim-consecutive       M=mixed   embeds=False : 11
   U=rim-consecutive       M=rim     embeds=False : 1
   embeddable examples for ('other', 'rim') : [(((0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (10, 11), (13, 14)), [12, 15, 16]), (((0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (11, 12), (13, 14)), [10, 15, 16])]
   embeddable examples for ('other', 'mixed') : [(((0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (10, 12), (13, 14)), [11, 15, 16]), (((0, 1), (2, 3), (4, 5), (6, 7), (8, 9), (11, 13), (12, 14)), [10, 15, 16])]
  (B) time 0.8s
