Horbspa7 := [[7, {{4, 6}, {1, 4}, {2, 4}}, 1, {{1, 8}, {6, 8}, {7, 8}, {4, 8}}
, {}], [7, {{1, 3}, {4, 6}, {3, 6}}, 1, {{1, 8}, {6, 8}, {7, 8}, {3, 8}}, {}],
[7, {{1, 3}, {5, 7}, {3, 5}}, 1, {{1, 8}, {5, 8}, {7, 8}, {3, 8}}, {}], [7, {{
1, 6}, {2, 4}, {2, 5}}, 1, {{1, 8}, {5, 8}, {6, 8}, {2, 8}}, {}], [7, {{5, 7}}
, 1, {{1, 8}, {5, 8}, {7, 8}, {2, 8}, {3, 8}, {4, 8}}, {}], [7, {{4, 6}, {2, 4
}, {2, 6}}, 1, {{1, 8}, {6, 8}, {7, 8}, {2, 8}}, {}], [7, {{3, 6}, {2, 6}, {3,
5}}, 1, {{1, 8}, {6, 8}, {7, 8}, {2, 8}}, {}], [7, {{4, 6}, {3, 6}, {2, 6}}, 1
, {{1, 8}, {6, 8}, {7, 8}, {2, 8}}, {}]];