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