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