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