<filename>pte_sieve/pte_solutions/solution_data.py
# Copyright (c) Microsoft Corporation.
# Licensed under the MIT license.
# solution_data.py
# 
# File with PTE solution data.

# Dictionary to collect solutions of different degrees.
solutions = {}

# Solutions of size 4:
solutions['size-4'] = [
[[0, 3, 4, 7], [1, 1, 6, 6], 1],
[[0, 5, 12, 17], [2, 2, 15, 15], 1],
[[0, 8, 15, 23], [3, 3, 20, 20], 1],
[[0, 7, 24, 31], [3, 3, 28, 28], 1],
[[0, 9, 40, 49], [4, 4, 45, 45], 1],
[[0, 12, 35, 47], [5, 5, 42, 42], 1],
[[0, 20, 21, 41], [6, 6, 35, 35], 1],
[[0, 11, 60, 71], [5, 5, 66, 66], 1],
[[0, 16, 63, 79], [7, 7, 72, 72], 1],
[[0, 13, 84, 97], [6, 6, 91, 91], 1],
[[0, 28, 45, 73], [10, 10, 63, 63], 1],
[[0, 33, 56, 89], [12, 12, 77, 77], 1],
[[0, 48, 55, 103], [15, 15, 88, 88], 1]
]

# Solutions of size 6:
solutions['size-6'] = [
[[0, 3, 5, 11, 13, 16], [1, 1, 8, 8, 15, 15], 1],
[[0, 5, 6, 16, 17, 22], [1, 2, 10, 12, 20, 21], 1],
[[0, 4, 9, 17, 22, 26], [1, 2, 12, 14, 24, 25], 1],
[[0, 7, 7, 21, 21, 28], [1, 3, 12, 16, 25, 27], 1],
[[0, 7, 8, 22, 23, 30], [2, 2, 15, 15, 28, 28], 1],
[[0, 5, 13, 23, 31, 36], [1, 3, 16, 20, 33, 35], 1],
[[0, 8, 9, 25, 26, 34], [1, 4, 14, 20, 30, 33], 1],
[[0, 7, 11, 25, 29, 36], [1, 4, 15, 21, 32, 35], 1],
[[0, 9, 11, 29, 31, 40], [1, 5, 16, 24, 35, 39], 1],
[[0, 8, 11, 27, 30, 38], [2, 3, 18, 20, 35, 36], 1],
[[0, 5, 16, 26, 37, 42], [2, 2, 21, 21, 40, 40], 1],
[[0, 6, 17, 29, 40, 46], [1, 4, 20, 26, 42, 45], 1],
[[0, 7, 14, 28, 35, 42], [2, 3, 20, 22, 39, 40], 1],
[[0, 10, 13, 33, 36, 46], [1, 6, 18, 28, 40, 45], 1],
[[0, 9, 17, 34, 36, 46], [1, 6, 24, 25, 42, 44], 0],
[[0, 9, 14, 32, 37, 46], [2, 4, 21, 25, 42, 44], 1],
[[0, 9, 16, 34, 41, 50], [1, 6, 20, 30, 44, 49], 1],
[[0, 11, 15, 37, 41, 52], [1, 7, 20, 32, 45, 51], 1],
[[0, 7, 21, 35, 49, 56], [1, 5, 24, 32, 51, 55], 1],
[[0, 12, 13, 37, 38, 50], [2, 5, 22, 28, 45, 48], 1],
[[0, 6, 23, 35, 52, 58], [2, 3, 28, 30, 55, 56], 1],
[[0, 13, 15, 41, 43, 56], [1, 8, 21, 35, 48, 55], 1],
[[0, 12, 17, 41, 46, 58], [1, 8, 22, 36, 50, 57], 1],
[[0, 10, 17, 37, 44, 54], [2, 5, 24, 30, 49, 52], 1],
[[0, 13, 13, 39, 39, 52], [3, 4, 25, 27, 48, 49], 1],
[[0, 8, 25, 41, 58, 66], [1, 6, 28, 38, 60, 65], 1],
[[0, 11, 21, 43, 53, 64], [1, 8, 25, 39, 56, 63], 1],
[[2, 6, 25, 33, 52, 56], [0, 12, 17, 41, 46, 58], 1],
[[0, 10, 19, 39, 48, 58], [3, 4, 28, 30, 54, 55], 1],
[[0, 13, 19, 45, 51, 64], [1, 9, 24, 40, 55, 63], 1],
[[0, 9, 22, 40, 53, 62], [2, 5, 28, 34, 57, 60], 1],
[[0, 16, 17, 49, 50, 66], [1, 10, 24, 42, 56, 65], 1],
[[0, 11, 20, 42, 51, 62], [2, 6, 27, 35, 56, 60], 1],
[[0, 15, 16, 46, 47, 62], [2, 7, 26, 36, 55, 60], 1],
[[0, 14, 21, 49, 56, 70], [1, 10, 26, 44, 60, 69], 1],
[[0, 9, 29, 47, 67, 76], [1, 7, 32, 44, 69, 75], 1],
[[0, 7, 30, 44, 67, 74], [2, 4, 35, 39, 70, 72], 1],
[[0, 9, 25, 43, 59, 68], [3, 4, 33, 35, 64, 65], 1],
[[0, 11, 23, 45, 57, 68], [3, 5, 32, 36, 63, 65], 1],
[[0, 12, 23, 47, 58, 70], [2, 7, 30, 40, 63, 68], 1],
[[0, 15, 23, 53, 61, 76], [1, 11, 28, 48, 65, 75], 1],
[[0, 13, 26, 52, 65, 78], [1, 10, 30, 48, 68, 77], 1],
[[0, 19, 19, 57, 57, 76], [1, 12, 27, 49, 64, 75], 1],
[[0, 7, 33, 47, 73, 80], [3, 3, 40, 40, 77, 77], 1],
[[0, 11, 24, 46, 59, 70], [4, 4, 35, 35, 66, 66], 1],
[[0, 15, 19, 49, 53, 68], [4, 5, 33, 35, 63, 64], 1],
[[0, 10, 33, 53, 76, 86], [1, 8, 36, 50, 78, 85], 1],
[[0, 16, 25, 57, 66, 82], [1, 12, 30, 52, 70, 81], 1],
[[0, 17, 20, 54, 57, 74], [2, 9, 30, 44, 65, 72], 1],
[[2, 8, 33, 45, 70, 76], [0, 13, 26, 52, 65, 78], 1],
[[0, 11, 30, 52, 71, 82], [2, 7, 36, 46, 75, 80], 1],
[[0, 21, 22, 64, 65, 86], [1, 14, 30, 56, 72, 85], 1],
[[0, 8, 37, 53, 82, 90], [2, 5, 42, 48, 85, 88], 1],
[[0, 17, 27, 61, 71, 88], [1, 13, 32, 56, 75, 87], 1],
[[0, 11, 37, 59, 85, 96], [1, 9, 40, 56, 87, 95], 1],
[[0, 15, 31, 61, 77, 92], [1, 12, 35, 57, 80, 91], 1],
[[0, 17, 24, 58, 65, 82], [2, 10, 33, 49, 72, 80], 1],
[[0, 12, 29, 53, 70, 82], [4, 5, 40, 42, 77, 78], 1],
[[0, 14, 29, 57, 72, 86], [2, 9, 36, 50, 77, 84], 1],
[[0, 17, 23, 57, 63, 80], [3, 8, 35, 45, 72, 77], 1],
[[0, 18, 29, 65, 76, 94], [1, 14, 34, 60, 80, 93], 1],
[[0, 19, 25, 57, 62, 86], [2, 11, 40, 42, 69, 85], 0],
[[0, 16, 27, 59, 70, 86], [2, 10, 35, 51, 76, 84], 1],
[[0, 19, 24, 62, 67, 86], [2, 11, 34, 52, 75, 84], 1],
[[0, 23, 25, 71, 73, 96], [1, 16, 33, 63, 80, 95], 1],
[[0, 12, 41, 65, 94, 106], [1, 10, 44, 62, 96, 105], 1],
[[0, 13, 31, 57, 75, 88], [3, 7, 40, 48, 81, 85], 1],
[[0, 19, 31, 69, 81, 100], [1, 15, 36, 64, 85, 99], 1],
[[0, 8, 43, 59, 94, 102], [3, 4, 50, 52, 98, 99], 1],
[[0, 17, 25, 59, 67, 84], [4, 7, 39, 45, 77, 80], 1],
[[0, 11, 36, 58, 83, 94], [3, 6, 44, 50, 88, 91], 1],
[[0, 15, 32, 62, 79, 94], [2, 10, 39, 55, 84, 92], 1],
[[0, 20, 26, 66, 72, 92], [2, 12, 36, 56, 80, 90], 1],
[[0, 9, 44, 62, 97, 106], [2, 6, 49, 57, 100, 104], 1],
[[0, 17, 36, 70, 89, 106], [1, 14, 40, 66, 92, 105], 1],
[[0, 17, 26, 60, 69, 86], [5, 6, 42, 44, 80, 81], 1],
[[0, 20, 33, 73, 86, 106], [1, 16, 38, 68, 90, 105], 1],
[[0, 13, 34, 60, 81, 94], [4, 6, 45, 49, 88, 90], 1],
[[0, 25, 28, 78, 81, 106], [1, 18, 36, 70, 88, 105], 1],
[[0, 13, 38, 64, 89, 102], [2, 9, 44, 58, 93, 100], 1],
[[0, 13, 45, 71, 103, 116], [1, 11, 48, 68, 105, 115], 1],
[[0, 11, 39, 61, 89, 100], [4, 5, 49, 51, 95, 96], 1],
[[0, 13, 35, 61, 83, 96], [5, 5, 48, 48, 91, 91], 1],
[[0, 15, 32, 62, 79, 94], [4, 7, 44, 50, 87, 90], 1],
[[0, 21, 28, 70, 77, 98], [2, 13, 38, 60, 85, 96], 1],
[[0, 14, 35, 63, 84, 98], [3, 8, 44, 54, 90, 95], 1],
[[0, 19, 28, 66, 75, 94], [3, 10, 40, 54, 84, 91], 1],
[[0, 16, 35, 67, 86, 102], [2, 11, 42, 60, 91, 100], 1],
[[0, 21, 35, 77, 91, 112], [1, 17, 40, 72, 95, 111], 1],
[[0, 23, 25, 71, 73, 96], [3, 11, 40, 56, 85, 93], 1],
[[0, 23, 28, 74, 79, 102], [2, 14, 39, 63, 88, 100], 1],
[[0, 14, 49, 77, 112, 126], [1, 12, 52, 74, 114, 125], 1],
[[0, 27, 31, 85, 89, 116], [1, 20, 39, 77, 96, 115], 1],
[[0, 19, 41, 79, 101, 120], [1, 16, 45, 75, 104, 119], 1],
[[0, 22, 37, 81, 96, 118], [1, 18, 42, 76, 100, 117], 1],
[[0, 10, 51, 71, 112, 122], [2, 7, 56, 66, 115, 120], 1],
[[0, 23, 25, 71, 73, 96], [5, 8, 45, 51, 88, 91], 1],
[[0, 17, 38, 72, 93, 110], [2, 12, 45, 65, 98, 108], 1],
[[4, 9, 45, 55, 91, 96], [0, 19, 31, 69, 81, 100], 1],
[[0, 14, 39, 67, 92, 106], [4, 7, 50, 56, 99, 102], 1],
[[0, 9, 53, 71, 115, 124], [3, 5, 60, 64, 119, 121], 1],
[[0, 23, 39, 85, 101, 124], [1, 19, 44, 80, 105, 123], 1],
[[0, 23, 32, 78, 87, 110], [2, 15, 42, 68, 95, 108], 1],
[[0, 15, 53, 83, 121, 136], [1, 13, 56, 80, 123, 135], 1],
[[0, 20, 37, 77, 94, 114], [2, 14, 45, 69, 100, 112], 1],
[[0, 14, 41, 69, 96, 110], [5, 6, 54, 56, 104, 105], 1],
[[0, 29, 34, 92, 97, 126], [1, 22, 42, 84, 104, 125], 1],
[[0, 19, 33, 71, 85, 104], [5, 8, 49, 55, 96, 99], 1],
[[0, 18, 41, 77, 100, 118], [2, 13, 48, 70, 105, 116], 1],
[[0, 15, 46, 76, 107, 122], [2, 11, 52, 70, 111, 120], 1],
[[0, 9, 56, 74, 121, 130], [4, 4, 65, 65, 126, 126], 1],
[[0, 24, 41, 89, 106, 130], [1, 20, 46, 84, 110, 129], 1],
[[0, 13, 47, 73, 107, 120], [3, 8, 55, 65, 112, 117], 1],
[[0, 21, 46, 88, 113, 134], [1, 18, 50, 84, 116, 133], 1],
[[0, 19, 34, 72, 87, 106], [6, 7, 52, 54, 99, 100], 1],
[[0, 16, 39, 71, 94, 110], [6, 6, 55, 55, 104, 104], 1],
[[0, 16, 43, 75, 102, 118], [3, 10, 52, 66, 108, 115], 1],
[[0, 11, 58, 80, 127, 138], [2, 8, 63, 75, 130, 136], 1],
[[0, 25, 43, 93, 111, 136], [1, 21, 48, 88, 115, 135], 1],
[[0, 16, 57, 89, 130, 146], [1, 14, 60, 86, 132, 145], 1],
[[0, 15, 44, 74, 103, 118], [4, 8, 55, 63, 110, 114], 1],
[[0, 31, 37, 99, 105, 136], [1, 24, 45, 91, 112, 135], 1],
[[0, 19, 44, 82, 107, 126], [2, 14, 51, 75, 112, 124], 1],
[[0, 25, 36, 86, 97, 122], [2, 17, 46, 76, 105, 120], 1],
[[0, 29, 32, 90, 93, 122], [2, 18, 45, 77, 104, 120], 1],
[[0, 26, 45, 97, 116, 142], [1, 22, 50, 92, 120, 141], 1],
[[0, 21, 37, 79, 95, 116], [4, 11, 51, 65, 105, 112], 1],
[[0, 15, 47, 77, 109, 124], [5, 7, 60, 64, 117, 119], 1],
[[0, 10, 63, 83, 136, 146], [3, 6, 70, 76, 140, 143], 1],
[[0, 23, 51, 97, 125, 148], [1, 20, 55, 93, 128, 147], 1],
[[0, 17, 61, 95, 139, 156], [1, 15, 64, 92, 141, 155], 1],
[[0, 23, 38, 84, 99, 122], [3, 14, 50, 72, 108, 119], 1],
[[0, 17, 47, 81, 111, 128], [3, 11, 56, 72, 117, 125], 1],
[[0, 13, 53, 79, 119, 132], [4, 7, 63, 69, 125, 128], 1],
[[0, 20, 47, 87, 114, 134], [2, 15, 54, 80, 119, 132], 1],
[[0, 27, 47, 101, 121, 148], [1, 23, 52, 96, 125, 147], 1],
[[0, 33, 40, 106, 113, 146], [1, 26, 48, 98, 120, 145], 1],
# Last solution with 31-bit constant.
[[0, 16, 49, 81, 114, 130], [4, 9, 60, 70, 121, 126], 1],
[[0, 17, 54, 88, 125, 142], [2, 13, 60, 82, 129, 140], 1],
[[0, 12, 65, 89, 142, 154], [2, 9, 70, 84, 145, 152], 1],
[[0, 21, 40, 82, 101, 122], [5, 10, 56, 66, 112, 117], 1],
[[0, 27, 40, 94, 107, 134], [2, 19, 50, 84, 115, 132], 1],
[[0, 13, 56, 82, 125, 138], [5, 6, 68, 70, 132, 133], 1],
[[0, 28, 31, 87, 90, 118], [6, 10, 55, 63, 108, 112], 1],
[[0, 28, 49, 105, 126, 154], [1, 24, 54, 100, 130, 153], 1],
[[0, 18, 65, 101, 148, 166], [1, 16, 68, 98, 150, 165], 1],
[[0, 21, 50, 92, 121, 142], [2, 16, 57, 85, 126, 140], 1],
[[0, 10, 69, 89, 148, 158], [4, 5, 78, 80, 153, 154], 1],
[[0, 35, 43, 113, 121, 156], [1, 28, 51, 105, 128, 155], 1],
[[0, 24, 47, 95, 118, 142], [2, 18, 55, 87, 124, 140], 1],
[[0, 25, 56, 106, 137, 162], [1, 22, 60, 102, 140, 161], 1],
[[0, 15, 58, 88, 131, 146], [3, 10, 66, 80, 136, 143], 1],
[[0, 29, 51, 109, 131, 160], [1, 25, 56, 104, 135, 159], 1],
[[0, 16, 53, 85, 122, 138], [5, 8, 66, 72, 130, 133], 1],
[[0, 21, 43, 85, 107, 128], [7, 8, 63, 65, 120, 121], 1],
[[0, 23, 43, 89, 109, 132], [4, 13, 57, 75, 119, 128], 1],
[[3, 16, 55, 81, 120, 133], [0, 25, 43, 93, 111, 136], 1],
[[0, 35, 36, 106, 107, 142], [2, 22, 51, 91, 120, 140], 1],
[[0, 19, 69, 107, 157, 176], [1, 17, 72, 104, 159, 175], 1],
[[0, 22, 53, 97, 128, 150], [2, 17, 60, 90, 133, 148], 1],
[[4, 10, 65, 77, 132, 138], [0, 17, 54, 88, 125, 142], 1],
[[0, 29, 44, 102, 117, 146], [2, 21, 54, 92, 125, 144], 1],
[[0, 30, 53, 113, 136, 166], [1, 26, 58, 108, 140, 165], 1],
[[0, 13, 72, 98, 157, 170], [2, 10, 77, 93, 160, 168], 1],
[[0, 16, 55, 87, 126, 142], [6, 7, 70, 72, 135, 136], 1],
[[0, 11, 73, 95, 157, 168], [3, 7, 80, 88, 161, 165], 1],
[[0, 37, 46, 120, 129, 166], [1, 30, 54, 112, 136, 165], 1],
[[0, 19, 55, 93, 129, 148], [3, 13, 64, 84, 135, 145], 1],
# Last solution with 32-bit constant.
[[0, 31, 55, 117, 141, 172], [1, 27, 60, 112, 145, 171], 1],
[[0, 19, 62, 100, 143, 162], [2, 15, 68, 94, 147, 160], 1],
[[0, 27, 61, 115, 149, 176], [1, 24, 65, 111, 152, 175], 1],
[[0, 20, 73, 113, 166, 186], [1, 18, 76, 110, 168, 185], 1],
[[0, 23, 56, 102, 135, 158], [2, 18, 63, 95, 140, 156], 1],
[[0, 23, 47, 93, 117, 140], [5, 12, 63, 77, 128, 135], 1],
[[0, 32, 57, 121, 146, 178], [1, 28, 62, 116, 150, 177], 1],
[[0, 17, 59, 93, 135, 152], [5, 9, 72, 80, 143, 147], 1],
[[0, 39, 49, 127, 137, 176], [1, 32, 57, 119, 144, 175], 1],
[[0, 18, 59, 95, 136, 154], [4, 11, 70, 84, 143, 150], 1],
[[0, 31, 48, 110, 127, 158], [2, 23, 58, 100, 135, 156], 1],
[[0, 20, 59, 99, 138, 158], [3, 14, 68, 90, 144, 155], 1],
[[0, 15, 67, 97, 149, 164], [4, 9, 77, 87, 155, 160], 1],
[[0, 24, 59, 107, 142, 166], [2, 19, 66, 100, 147, 164], 1],
[[0, 14, 79, 107, 172, 186], [2, 11, 84, 102, 175, 184], 1],
[[0, 21, 77, 119, 175, 196], [1, 19, 80, 116, 177, 195], 1],
[[0, 25, 49, 99, 123, 148], [4, 15, 63, 85, 133, 144], 1],
[[0, 33, 59, 125, 151, 184], [1, 29, 64, 120, 155, 183], 1],
[[0, 23, 50, 96, 123, 146], [6, 11, 68, 78, 135, 140], 1],
[[0, 29, 66, 124, 161, 190], [1, 26, 70, 120, 164, 189], 1],
[[0, 40, 41, 121, 122, 162], [2, 26, 57, 105, 136, 160], 1],
[[0, 11, 82, 104, 175, 186], [4, 6, 91, 95, 180, 182], 1],
[[0, 17, 62, 96, 141, 158], [6, 8, 77, 81, 150, 152], 1],
[[0, 17, 69, 103, 155, 172], [3, 12, 77, 95, 160, 169], 1],
[[0, 41, 52, 134, 145, 186], [1, 34, 60, 126, 152, 185], 1],
[[0, 17, 63, 97, 143, 160], [7, 7, 80, 80, 153, 153], 1],
[[0, 12, 83, 107, 178, 190], [3, 8, 90, 100, 182, 187], 1],
[[0, 34, 61, 129, 156, 190], [1, 30, 66, 124, 160, 189], 1],
[[0, 28, 57, 113, 142, 170], [2, 22, 65, 105, 148, 168], 1],
[[0, 25, 62, 112, 149, 174], [2, 20, 69, 105, 154, 172], 1],
[[0, 22, 81, 125, 184, 206], [1, 20, 84, 122, 186, 205], 1],
[[0, 23, 52, 98, 127, 150], [7, 10, 72, 78, 140, 143], 1],
[[0, 11, 85, 107, 181, 192], [5, 5, 96, 96, 187, 187], 1],
[[0, 21, 70, 112, 161, 182], [2, 17, 76, 106, 165, 180], 1],
[[0, 33, 52, 118, 137, 170], [2, 25, 62, 108, 145, 168], 1],
[[0, 19, 64, 102, 147, 166], [4, 12, 75, 91, 154, 162], 1],
[[0, 32, 41, 105, 114, 146], [6, 14, 65, 81, 132, 140], 1],
[[0, 23, 53, 99, 129, 152], [8, 9, 75, 77, 143, 144], 1],
# Last solution with 33-bit constant.
[[5, 10, 78, 88, 156, 161], [0, 18, 65, 101, 148, 166], 1],
[[0, 35, 63, 133, 161, 196], [1, 31, 68, 128, 165, 195], 1],
[[0, 15, 73, 103, 161, 176], [5, 8, 85, 91, 168, 171], 1],
[[0, 29, 53, 111, 135, 164], [3, 20, 65, 99, 144, 161], 1],
[[0, 15, 86, 116, 187, 202], [2, 12, 91, 111, 190, 200], 1],
[[0, 20, 61, 101, 142, 162], [6, 10, 77, 85, 152, 156], 1],
[[0, 43, 55, 141, 153, 196], [1, 36, 63, 133, 160, 195], 1],
[[0, 25, 54, 104, 133, 158], [5, 14, 70, 88, 144, 153], 1],
[[0, 26, 65, 117, 156, 182], [2, 21, 72, 110, 161, 180], 1],
[[0, 31, 71, 133, 173, 204], [1, 28, 75, 129, 176, 203], 1],
[[0, 23, 85, 131, 193, 216], [1, 21, 88, 128, 195, 215], 1],
[[0, 36, 65, 137, 166, 202], [1, 32, 70, 132, 170, 201], 1],
[[0, 27, 55, 109, 137, 164], [4, 17, 69, 95, 147, 160], 1],
[[0, 22, 67, 111, 156, 178], [3, 16, 76, 102, 162, 175], 1],
[[0, 15, 76, 106, 167, 182], [6, 7, 90, 92, 175, 176], 1],
[[0, 35, 56, 126, 147, 182], [2, 27, 66, 116, 155, 180], 1],
[[0, 20, 69, 109, 158, 178], [4, 13, 80, 98, 165, 174], 1],
[[0, 37, 67, 141, 171, 208], [1, 33, 72, 136, 175, 207], 1],
[[0, 27, 68, 122, 163, 190], [2, 22, 75, 115, 168, 188], 1],
[[0, 45, 58, 148, 161, 206], [1, 38, 66, 140, 168, 205], 1],
[[0, 32, 45, 109, 122, 154], [10, 10, 77, 77, 144, 144], 1],
[[0, 44, 47, 135, 138, 182], [2, 30, 63, 119, 152, 180], 1],
[[0, 24, 89, 137, 202, 226], [1, 22, 92, 134, 204, 225], 1],
[[0, 13, 93, 119, 199, 212], [3, 9, 100, 112, 203, 209], 1],
[[0, 18, 71, 107, 160, 178], [7, 8, 88, 90, 170, 171], 1],
[[0, 25, 58, 108, 141, 166], [6, 13, 76, 90, 153, 160], 1],
[[0, 19, 71, 109, 161, 180], [5, 11, 84, 96, 169, 175], 1],
[[0, 38, 69, 145, 176, 214], [1, 34, 74, 140, 180, 213], 1],
[[0, 33, 76, 142, 185, 218], [1, 30, 80, 138, 188, 217], 1],
[[0, 16, 93, 125, 202, 218], [2, 13, 98, 120, 205, 216], 1],
[[0, 31, 58, 120, 147, 178], [3, 22, 70, 108, 156, 175], 1],
[[0, 23, 78, 124, 179, 202], [2, 19, 84, 118, 183, 200], 1],
[[0, 12, 95, 119, 202, 214], [4, 7, 104, 110, 207, 210], 1],
[[0, 23, 71, 117, 165, 188], [3, 17, 80, 108, 171, 185], 1],
[[0, 19, 80, 118, 179, 198], [3, 14, 88, 110, 184, 195], 1],
[[0, 28, 71, 127, 170, 198], [2, 23, 78, 120, 175, 196], 1],
[[0, 17, 81, 115, 179, 196], [4, 11, 91, 105, 185, 192], 1],
[[0, 47, 61, 155, 169, 216], [1, 40, 69, 147, 176, 215], 1],
[[0, 25, 93, 143, 211, 236], [1, 23, 96, 140, 213, 235], 1],
[[0, 39, 71, 149, 181, 220], [1, 35, 76, 144, 185, 219], 1],
[[0, 37, 60, 134, 157, 194], [2, 29, 70, 124, 165, 192], 1],
[[0, 32, 67, 131, 166, 198], [2, 26, 75, 123, 172, 196], 1],
[[0, 25, 61, 111, 147, 172], [7, 12, 81, 91, 160, 165], 1],
[[0, 21, 74, 116, 169, 190], [4, 14, 85, 105, 176, 186], 1],
[[5, 16, 77, 99, 160, 171], [0, 27, 61, 115, 149, 176], 1],
[[0, 29, 61, 119, 151, 180], [4, 19, 75, 105, 161, 176], 1],
# Last solution with 34-bit constant.
[[0, 40, 73, 153, 186, 226], [1, 36, 78, 148, 190, 225], 1],
[[0, 19, 76, 114, 171, 190], [6, 10, 91, 99, 180, 184], 1],
[[0, 29, 74, 132, 177, 206], [2, 24, 81, 125, 182, 204], 1],
[[0, 35, 81, 151, 197, 232], [1, 32, 85, 147, 200, 231], 1],
[[0, 12, 101, 125, 214, 226], [5, 6, 112, 114, 220, 221], 1],
[[0, 25, 63, 113, 151, 176], [8, 11, 85, 91, 165, 168], 1],
[[0, 26, 97, 149, 220, 246], [1, 24, 100, 146, 222, 245], 1],
[[0, 49, 64, 162, 177, 226], [1, 42, 72, 154, 184, 225], 1],
[[0, 20, 77, 117, 174, 194], [5, 12, 90, 104, 182, 189], 1],
[[0, 17, 100, 134, 217, 234], [2, 14, 105, 129, 220, 232], 1],
[[0, 25, 64, 114, 153, 178], [9, 10, 88, 90, 168, 169], 1],
[[0, 41, 75, 157, 191, 232], [1, 37, 80, 152, 195, 231], 1],
[[0, 48, 53, 149, 154, 202], [2, 34, 69, 133, 168, 200], 1],
[[0, 14, 103, 131, 220, 234], [3, 10, 110, 124, 224, 231], 1],
[[0, 19, 79, 117, 177, 196], [7, 9, 96, 100, 187, 189], 1],
[[0, 39, 64, 142, 167, 206], [2, 31, 74, 132, 175, 204], 1],
[[0, 30, 77, 137, 184, 214], [2, 25, 84, 130, 189, 212], 1],
[[0, 25, 86, 136, 197, 222], [2, 21, 92, 130, 201, 220], 1],
[[0, 22, 79, 123, 180, 202], [4, 15, 90, 112, 187, 198], 1],
[[8, 8, 99, 99, 190, 190], [0, 19, 80, 118, 179, 198], 1],
[[0, 42, 77, 161, 196, 238], [1, 38, 82, 156, 200, 237], 1],
[[0, 25, 79, 129, 183, 208], [3, 19, 88, 120, 189, 205], 1],
[[0, 51, 67, 169, 185, 236], [1, 44, 75, 161, 192, 235], 1],
[[0, 17, 90, 124, 197, 214], [5, 10, 102, 112, 204, 209], 1],
[[0, 37, 86, 160, 209, 246], [1, 34, 90, 156, 212, 245], 1],
[[0, 13, 108, 134, 229, 242], [4, 8, 117, 125, 234, 238], 1],
[[0, 43, 79, 165, 201, 244], [1, 39, 84, 160, 205, 243], 1],
[[0, 31, 67, 129, 165, 196], [4, 21, 81, 115, 175, 192], 1],
[[0, 31, 80, 142, 191, 222], [2, 26, 87, 135, 196, 220], 1],
[[0, 18, 107, 143, 232, 250], [2, 15, 112, 138, 235, 248], 1],
[[0, 20, 83, 123, 186, 206], [6, 11, 98, 108, 195, 200], 1],
[[0, 21, 91, 133, 203, 224], [3, 16, 99, 125, 208, 221], 1],
[[0, 29, 68, 126, 165, 194], [5, 18, 84, 110, 176, 189], 1],
[[0, 21, 83, 125, 187, 208], [5, 13, 96, 112, 195, 203], 1],
[[0, 35, 68, 138, 171, 206], [3, 26, 80, 126, 180, 203], 1],
[[0, 41, 68, 150, 177, 218], [2, 33, 78, 140, 185, 216], 1],
[[0, 44, 81, 169, 206, 250], [1, 40, 86, 164, 210, 249], 1],
[[0, 53, 70, 176, 193, 246], [1, 46, 78, 168, 200, 245], 1],
[[0, 26, 83, 135, 192, 218], [3, 20, 92, 126, 198, 215], 1],
[[0, 23, 84, 130, 191, 214], [4, 16, 95, 119, 198, 210], 1],
[[0, 27, 70, 124, 167, 194], [7, 14, 90, 104, 180, 187], 1],
[[0, 32, 83, 147, 198, 230], [2, 27, 90, 140, 203, 228], 1],
[[0, 36, 77, 149, 190, 226], [2, 30, 85, 141, 196, 224], 1],
[[0, 19, 95, 133, 209, 228], [4, 13, 105, 123, 215, 224], 1],
[[0, 39, 91, 169, 221, 260], [1, 36, 95, 165, 224, 259], 1],
[[0, 17, 96, 130, 209, 226], [6, 9, 110, 116, 217, 220], 1],
[[0, 45, 83, 173, 211, 256], [1, 41, 88, 168, 215, 255], 1],
[[0, 15, 113, 143, 241, 256], [3, 11, 120, 136, 245, 253], 1],
[[0, 20, 87, 127, 194, 214], [7, 10, 104, 110, 204, 207], 1],
[[0, 52, 59, 163, 170, 222], [2, 38, 75, 147, 184, 220], 1],
[[0, 27, 94, 148, 215, 242], [2, 23, 100, 142, 219, 240], 1],
# Last solution with 35-bit constant.
[[0, 55, 73, 183, 201, 256], [1, 48, 81, 175, 208, 255], 1],
[[0, 19, 114, 152, 247, 266], [2, 16, 119, 147, 250, 264], 1],
[[0, 27, 73, 127, 173, 200], [8, 13, 95, 105, 187, 192], 1],
[[0, 46, 85, 177, 216, 262], [1, 42, 90, 172, 220, 261], 1],
[[0, 33, 86, 152, 205, 238], [2, 28, 93, 145, 210, 236], 1],
[[0, 20, 89, 129, 198, 218], [8, 9, 108, 110, 209, 210], 1],
[[0, 43, 72, 158, 187, 230], [2, 35, 82, 148, 195, 228], 1],
[[0, 17, 99, 133, 215, 232], [7, 8, 115, 117, 224, 225], 1],
[[0, 13, 117, 143, 247, 260], [5, 7, 128, 132, 253, 255], 1],
[[0, 22, 89, 133, 200, 222], [5, 14, 102, 120, 208, 217], 1],
[[0, 33, 73, 139, 179, 212], [4, 23, 87, 125, 189, 208], 1],
[[4, 17, 100, 126, 209, 222], [0, 24, 89, 137, 202, 226], 1],
[[0, 24, 83, 131, 190, 214], [6, 14, 99, 115, 200, 208], 1],
[[0, 36, 59, 131, 154, 190], [10, 14, 91, 99, 176, 180], 1],
[[0, 37, 73, 147, 183, 220], [3, 28, 85, 135, 192, 217], 1],
[[6, 17, 92, 114, 189, 200], [0, 29, 74, 132, 177, 206], 1],
[[0, 47, 87, 181, 221, 268], [1, 43, 92, 176, 225, 267], 1],
[[0, 41, 96, 178, 233, 274], [1, 38, 100, 174, 236, 273], 1],
[[0, 13, 120, 146, 253, 266], [6, 6, 133, 133, 260, 260], 1],
[[0, 57, 76, 190, 209, 266], [1, 50, 84, 182, 216, 265], 1],
[[0, 31, 75, 137, 181, 212], [5, 20, 91, 121, 192, 207], 1],
[[0, 34, 89, 157, 212, 246], [2, 29, 96, 150, 217, 244], 1],
[[0, 27, 76, 130, 179, 206], [10, 11, 102, 104, 195, 196], 1],
[[0, 14, 121, 149, 256, 270], [4, 9, 130, 140, 261, 266], 1],
[[0, 28, 91, 147, 210, 238], [3, 22, 100, 138, 216, 235], 1],
[[0, 40, 61, 141, 162, 202], [6, 22, 85, 117, 180, 196], 1],
[[0, 48, 89, 185, 226, 274], [1, 44, 94, 180, 230, 273], 1],
[[0, 23, 102, 148, 227, 250], [3, 18, 110, 140, 232, 247], 1],
[[0, 45, 76, 166, 197, 242], [2, 37, 86, 156, 205, 240], 1],
[[0, 20, 121, 161, 262, 282], [2, 17, 126, 156, 265, 280], 1],
[[0, 16, 123, 155, 262, 278], [3, 12, 130, 148, 266, 275], 1],
[[0, 29, 102, 160, 233, 262], [2, 25, 108, 154, 237, 260], 1],
[[0, 21, 95, 137, 211, 232], [7, 11, 112, 120, 221, 225], 1],
[[0, 25, 94, 144, 213, 238], [4, 18, 105, 133, 220, 234], 1],
[[0, 35, 92, 162, 219, 254], [2, 30, 99, 155, 224, 252], 1],
[[0, 49, 91, 189, 231, 280], [1, 45, 96, 184, 235, 279], 1],
[[0, 56, 65, 177, 186, 242], [2, 42, 81, 161, 200, 240], 1],
[[0, 59, 79, 197, 217, 276], [1, 52, 87, 189, 224, 275], 1],
[[0, 23, 95, 141, 213, 236], [5, 15, 108, 128, 221, 231], 1],
[[0, 29, 79, 137, 187, 216], [7, 16, 99, 117, 200, 209], 1],
[[0, 43, 101, 187, 245, 288], [1, 40, 105, 183, 248, 287], 1],
[[0, 19, 107, 145, 233, 252], [5, 12, 119, 133, 240, 247], 1],
[[0, 40, 87, 167, 214, 254], [2, 34, 95, 159, 220, 252], 1],
[[0, 29, 95, 153, 219, 248], [3, 23, 104, 144, 225, 245], 1],
[[0, 35, 79, 149, 193, 228], [4, 25, 93, 135, 203, 224], 1],
[[0, 22, 97, 141, 216, 238], [6, 13, 112, 126, 225, 232], 1],
[[0, 50, 93, 193, 236, 286], [1, 46, 98, 188, 240, 285], 1],
[[0, 21, 98, 140, 217, 238], [8, 10, 117, 121, 228, 230], 1],
[[0, 36, 95, 167, 226, 262], [2, 31, 102, 160, 231, 260], 1],
[[0, 47, 80, 174, 207, 254], [2, 39, 90, 164, 215, 252], 1],
[[0, 61, 82, 204, 225, 286], [1, 54, 90, 196, 232, 285], 1],
[[0, 21, 109, 151, 239, 260], [4, 15, 119, 141, 245, 256], 1],
[[0, 51, 95, 197, 241, 292], [1, 47, 100, 192, 245, 291], 1],
[[0, 31, 82, 144, 195, 226], [6, 19, 100, 126, 207, 220], 1],
[[0, 21, 128, 170, 277, 298], [2, 18, 133, 165, 280, 296], 1],
[[0, 26, 99, 151, 224, 250], [4, 19, 110, 140, 231, 246], 1],
[[0, 33, 82, 148, 197, 230], [5, 22, 98, 132, 208, 225], 1],
[[0, 29, 83, 141, 195, 224], [8, 15, 105, 119, 209, 216], 1],
# Last solution with 36-bit constant.
[[0, 45, 106, 196, 257, 302], [1, 42, 110, 192, 260, 301], 1],
[[0, 37, 98, 172, 233, 270], [2, 32, 105, 165, 238, 268], 1],
[[0, 24, 101, 149, 226, 250], [5, 16, 114, 136, 234, 245], 1],
[[0, 52, 97, 201, 246, 298], [1, 48, 102, 196, 250, 297], 1],
[[0, 14, 133, 161, 280, 294], [5, 8, 144, 150, 286, 289], 1],
[[0, 24, 95, 143, 214, 238], [10, 10, 119, 119, 228, 228], 1],
[[0, 41, 83, 165, 207, 248], [3, 32, 95, 153, 216, 245], 1],
[[0, 31, 110, 172, 251, 282], [2, 27, 116, 166, 255, 280], 1],
[[0, 17, 133, 167, 283, 300], [3, 13, 140, 160, 287, 297], 1],
[[0, 63, 85, 211, 233, 296], [1, 56, 93, 203, 240, 295], 1],
[[0, 15, 134, 164, 283, 298], [4, 10, 143, 155, 288, 294], 1],
[[0, 22, 103, 147, 228, 250], [7, 12, 120, 130, 238, 243], 1],
[[0, 25, 113, 163, 251, 276], [3, 20, 121, 155, 256, 273], 1],
[[0, 60, 71, 191, 202, 262], [2, 46, 87, 175, 216, 260], 1],
[[0, 53, 99, 205, 251, 304], [1, 49, 104, 200, 255, 303], 1],
[[0, 49, 84, 182, 217, 266], [2, 41, 94, 172, 225, 264], 1],
[[0, 29, 86, 144, 201, 230], [9, 14, 110, 120, 216, 221], 1],
[[0, 23, 104, 150, 231, 254], [6, 14, 119, 135, 240, 248], 1],
[[0, 37, 85, 159, 207, 244], [4, 27, 99, 145, 217, 240], 1],
[[0, 38, 101, 177, 240, 278], [2, 33, 108, 170, 245, 276], 1],
[[0, 19, 116, 154, 251, 270], [6, 11, 130, 140, 259, 264], 1],
[[0, 31, 103, 165, 237, 268], [3, 25, 112, 156, 243, 265], 1],
[[0, 27, 104, 158, 235, 262], [4, 20, 115, 147, 242, 258], 1],
[[0, 22, 135, 179, 292, 314], [2, 19, 140, 174, 295, 312], 1],
[[0, 54, 101, 209, 256, 310], [1, 50, 106, 204, 260, 309], 1],
[[0, 47, 111, 205, 269, 316], [1, 44, 115, 201, 272, 315], 1],
[[0, 29, 88, 146, 205, 234], [10, 13, 114, 120, 221, 224], 1],
[[0, 14, 139, 167, 292, 306], [6, 7, 152, 154, 299, 300], 1],
[[0, 65, 88, 218, 241, 306], [1, 58, 96, 210, 248, 305], 1],
[[0, 31, 88, 150, 207, 238], [7, 18, 108, 130, 220, 231], 1],
[[0, 22, 107, 151, 236, 258], [8, 11, 126, 132, 247, 250], 1],
[[0, 44, 71, 159, 186, 230], [6, 26, 95, 135, 204, 224], 1],
[[0, 29, 89, 147, 207, 236], [11, 12, 117, 119, 224, 225], 1],
[[0, 25, 107, 157, 239, 264], [5, 17, 120, 144, 247, 259], 1],
[[0, 39, 104, 182, 247, 286], [2, 34, 111, 175, 252, 284], 1],
[[0, 55, 103, 213, 261, 316], [1, 51, 108, 208, 265, 315], 1],
[[0, 44, 97, 185, 238, 282], [2, 38, 105, 177, 244, 280], 1],
[[0, 43, 88, 174, 219, 262], [3, 34, 100, 162, 228, 259], 1],
[[0, 35, 89, 159, 213, 248], [5, 24, 105, 143, 224, 243], 1],
[[0, 51, 88, 190, 227, 278], [2, 43, 98, 180, 235, 276], 1],
[[0, 22, 109, 153, 240, 262], [9, 10, 130, 132, 252, 253], 1],
[[0, 32, 107, 171, 246, 278], [3, 26, 116, 162, 252, 275], 1],
[[10, 18, 105, 121, 208, 216], [0, 40, 73, 153, 186, 226], 1],
[[0, 67, 91, 225, 249, 316], [1, 60, 99, 217, 256, 315], 1],
[[0, 19, 122, 160, 263, 282], [7, 10, 138, 144, 272, 275], 1],
[[0, 33, 118, 184, 269, 302], [2, 29, 124, 178, 273, 300], 1],
[[0, 56, 105, 217, 266, 322], [1, 52, 110, 212, 270, 321], 1],
[[0, 28, 109, 165, 246, 274], [4, 21, 120, 154, 253, 270], 1],
[[0, 18, 143, 179, 304, 322], [3, 14, 150, 172, 308, 319], 1],
[[0, 49, 116, 214, 281, 330], [1, 46, 120, 210, 284, 329], 1],
[[0, 23, 111, 157, 245, 268], [7, 13, 128, 140, 255, 261], 1],
[[0, 40, 107, 187, 254, 294], [2, 35, 114, 180, 259, 292], 1],
[[0, 23, 142, 188, 307, 330], [2, 20, 147, 183, 310, 328], 1],
[[4, 29, 105, 155, 231, 256], [0, 39, 91, 169, 221, 260], 1],
[[0, 23, 123, 169, 269, 292], [4, 17, 133, 159, 275, 288], 1],
[[0, 64, 77, 205, 218, 282], [2, 50, 93, 189, 232, 280], 1],
[[0, 57, 107, 221, 271, 328], [1, 53, 112, 216, 275, 327], 1],
[[0, 21, 124, 166, 269, 290], [5, 14, 136, 154, 276, 285], 1],
[[0, 31, 93, 155, 217, 248], [8, 17, 115, 133, 231, 240], 1],
[[0, 19, 125, 163, 269, 288], [8, 9, 143, 145, 279, 280], 1],
[[0, 16, 147, 179, 310, 326], [4, 11, 156, 170, 315, 322], 1],
[[0, 69, 94, 232, 257, 326], [1, 62, 102, 224, 264, 325], 1],
[[0, 53, 92, 198, 237, 290], [2, 45, 102, 188, 245, 288], 1],
[[0, 28, 105, 161, 238, 266], [6, 18, 121, 145, 248, 260], 1],
[[0, 26, 113, 165, 252, 278], [5, 18, 126, 152, 260, 273], 1],
[[0, 27, 124, 178, 275, 302], [3, 22, 132, 170, 280, 299], 1],
[[0, 41, 110, 192, 261, 302], [2, 36, 117, 185, 266, 300], 1],
[[0, 15, 149, 179, 313, 328], [5, 9, 160, 168, 319, 323], 1],
[[0, 58, 109, 225, 276, 334], [1, 54, 114, 220, 280, 333], 1],
[[0, 40, 77, 157, 194, 234], [14, 14, 117, 117, 220, 220], 1],
[[0, 29, 114, 172, 257, 286], [4, 22, 125, 161, 264, 282], 1],
[[0, 23, 116, 162, 255, 278], [8, 12, 135, 143, 266, 270], 1],
[[0, 51, 121, 223, 293, 344], [1, 48, 125, 219, 296, 343], 1],
# Last solution with 37-bit constant.
[[0, 59, 111, 229, 281, 340], [1, 55, 116, 224, 285, 339], 1],
[[0, 24, 149, 197, 322, 346], [2, 21, 154, 192, 325, 344], 1],
[[0, 31, 97, 159, 225, 256], [9, 16, 121, 135, 240, 247], 1],
[[0, 37, 96, 170, 229, 266], [5, 26, 112, 154, 240, 261], 1],
[[0, 71, 97, 239, 265, 336], [1, 64, 105, 231, 272, 335], 1],
[[0, 42, 113, 197, 268, 310], [2, 37, 120, 190, 273, 308], 1],
[[0, 33, 97, 163, 227, 260], [7, 20, 117, 143, 240, 253], 1],
[[0, 34, 115, 183, 264, 298], [3, 28, 124, 174, 270, 295], 1],
[[0, 35, 126, 196, 287, 322], [2, 31, 132, 190, 291, 320], 1],
[[0, 25, 118, 168, 261, 286], [6, 16, 133, 153, 270, 280], 1],
[[0, 19, 153, 191, 325, 344], [3, 15, 160, 184, 329, 341], 1],
[[0, 55, 96, 206, 247, 302], [2, 47, 106, 196, 255, 300], 1],
[[0, 23, 119, 165, 261, 284], [9, 11, 140, 144, 273, 275], 1],
[[0, 60, 113, 233, 286, 346], [1, 56, 118, 228, 290, 345], 1],
[[0, 41, 97, 179, 235, 276], [4, 31, 111, 165, 245, 272], 1],
[[0, 35, 98, 168, 231, 266], [6, 23, 116, 150, 243, 260], 1],
[[0, 24, 119, 167, 262, 286], [7, 14, 136, 150, 272, 279], 1],
[[0, 48, 107, 203, 262, 310], [2, 42, 115, 195, 268, 308], 1],
[[0, 23, 120, 166, 263, 286], [10, 10, 143, 143, 276, 276], 1],
[[0, 27, 119, 173, 265, 292], [5, 19, 132, 160, 273, 287], 1],
[[0, 31, 100, 162, 231, 262], [10, 15, 126, 136, 247, 252], 1],
[[0, 43, 116, 202, 275, 318], [2, 38, 123, 195, 280, 316], 1],
[[0, 68, 83, 219, 234, 302], [2, 54, 99, 203, 248, 300], 1],
[[0, 30, 119, 179, 268, 298], [4, 23, 130, 168, 275, 294], 1],
[[0, 47, 98, 192, 243, 290], [3, 38, 110, 180, 252, 287], 1],
[[0, 73, 100, 246, 273, 346], [1, 66, 108, 238, 280, 345], 1],
[[0, 61, 115, 237, 291, 352], [1, 57, 120, 232, 295, 351], 1],
[[0, 15, 158, 188, 331, 346], [6, 8, 171, 175, 338, 340], 1],
[[0, 35, 119, 189, 273, 308], [3, 29, 128, 180, 279, 305], 1],
[[0, 25, 156, 206, 337, 362], [2, 22, 161, 201, 340, 360], 1],
[[0, 31, 102, 164, 235, 266], [11, 14, 130, 136, 252, 255], 1],
[[0, 21, 136, 178, 293, 314], [6, 13, 150, 164, 301, 308], 1],
[[0, 62, 117, 241, 296, 358], [1, 58, 122, 236, 300, 357], 1],
[[0, 17, 160, 194, 337, 354], [4, 12, 169, 185, 342, 350], 1],
[[0, 15, 161, 191, 337, 352], [7, 7, 176, 176, 345, 345], 1],
[[0, 57, 100, 214, 257, 314], [2, 49, 110, 204, 265, 312], 1],
[[0, 44, 119, 207, 282, 326], [2, 39, 126, 200, 287, 324], 1],
[[12, 13, 133, 135, 255, 256], [0, 31, 103, 165, 237, 268], 1],
[[0, 33, 103, 169, 239, 272], [8, 19, 125, 147, 253, 264], 1],
[[0, 29, 135, 193, 299, 328], [3, 24, 143, 185, 304, 325], 1],
[[0, 75, 103, 253, 281, 356], [1, 68, 111, 245, 288, 355], 1],
[[0, 24, 125, 173, 274, 298], [8, 13, 144, 154, 285, 290], 1],
[[0, 25, 137, 187, 299, 324], [4, 19, 147, 177, 305, 320], 1],
[[0, 63, 119, 245, 301, 364], [1, 59, 124, 240, 305, 363], 1],
[[0, 26, 125, 177, 276, 302], [6, 17, 140, 162, 285, 296], 1],
[[0, 37, 134, 208, 305, 342], [2, 33, 140, 202, 309, 340], 1],
[[0, 39, 103, 181, 245, 284], [5, 28, 119, 165, 256, 279], 1],
[[0, 31, 124, 186, 279, 310], [4, 24, 135, 175, 286, 306], 1],
[[0, 28, 125, 181, 278, 306], [5, 20, 138, 168, 286, 301], 1],
[[0, 43, 103, 189, 249, 292], [4, 33, 117, 175, 259, 288], 1],
[[0, 20, 163, 203, 346, 366], [3, 16, 170, 196, 350, 363], 1],
[[0, 16, 165, 197, 346, 362], [5, 10, 176, 186, 352, 357], 1],
[[0, 45, 122, 212, 289, 334], [2, 40, 129, 205, 294, 332], 1],
[[0, 49, 103, 201, 255, 304], [3, 40, 115, 189, 264, 301], 1],
[[0, 25, 127, 177, 279, 304], [7, 15, 144, 160, 289, 297], 1],
[[0, 64, 121, 249, 306, 370], [1, 60, 126, 244, 310, 369], 1],
[[0, 23, 141, 187, 305, 328], [5, 16, 153, 175, 312, 323], 1],
[[0, 35, 106, 176, 247, 282], [7, 22, 126, 156, 260, 275], 1],
[[0, 26, 163, 215, 352, 378], [2, 23, 168, 210, 355, 376], 1],
[[0, 77, 106, 260, 289, 366], [1, 70, 114, 252, 296, 365], 1],
[[0, 59, 104, 222, 267, 326], [2, 51, 114, 212, 275, 324], 1],
[[0, 37, 106, 180, 249, 286], [6, 25, 124, 162, 261, 280], 1],
[[0, 72, 89, 233, 250, 322], [2, 58, 105, 217, 264, 320], 1],
[[0, 44, 87, 175, 218, 262], [10, 22, 119, 143, 240, 252], 1],
[[0, 65, 123, 253, 311, 376], [1, 61, 128, 248, 315, 375], 1],
[[0, 46, 125, 217, 296, 342], [2, 41, 132, 210, 301, 340], 1],
[[0, 37, 127, 201, 291, 328], [3, 31, 136, 192, 297, 325], 1],
[[0, 24, 131, 179, 286, 310], [10, 11, 154, 156, 299, 300], 1],
[[0, 52, 117, 221, 286, 338], [2, 46, 125, 213, 292, 336], 1],
[[0, 21, 145, 187, 311, 332], [7, 12, 161, 171, 320, 325], 1],
[[0, 32, 129, 193, 290, 322], [4, 25, 140, 182, 297, 318], 1],
[[0, 66, 125, 257, 316, 382], [1, 62, 130, 252, 320, 381], 1],
[[0, 79, 109, 267, 297, 376], [1, 72, 117, 259, 304, 375], 1],
[[0, 29, 131, 189, 291, 320], [5, 21, 144, 176, 299, 315], 1],
[[0, 39, 142, 220, 323, 362], [2, 35, 148, 214, 327, 360], 1],
[[0, 47, 128, 222, 303, 350], [2, 42, 135, 215, 308, 348], 1],
[[0, 61, 108, 230, 277, 338], [2, 53, 118, 220, 285, 336], 1],
[[0, 18, 173, 209, 364, 382], [4, 13, 182, 200, 369, 378], 1],
[[0, 45, 109, 199, 263, 308], [4, 35, 123, 185, 273, 304], 1],
[[0, 25, 134, 184, 293, 318], [8, 14, 153, 165, 304, 310], 1],
[[0, 27, 170, 224, 367, 394], [2, 24, 175, 219, 370, 392], 1],
[[0, 67, 127, 261, 321, 388], [1, 63, 132, 256, 325, 387], 1],
[[5, 30, 126, 176, 272, 297], [0, 41, 110, 192, 261, 302], 1],
[[0, 33, 112, 178, 257, 290], [10, 17, 138, 152, 273, 280], 1],
[[0, 21, 173, 215, 367, 388], [3, 17, 180, 208, 371, 385], 1],
[[0, 38, 131, 207, 300, 338], [3, 32, 140, 198, 306, 335], 1]
# Last solution with 38-bit constant..
]

# Solutions of size 6 with one side a square:
solutions["size-6-squ"] = [
[[0, 3, 5, 11, 13, 16], [1, 1, 8, 8, 15, 15], 1],
[[0, 7, 8, 22, 23, 30], [2, 2, 15, 15, 28, 28], 1],
[[0, 5, 16, 26, 37, 42], [2, 2, 21, 21, 40, 40], 1],
[[0, 7, 33, 47, 73, 80], [3, 3, 40, 40, 77, 77], 1],
[[0, 11, 24, 46, 59, 70], [4, 4, 35, 35, 66, 66], 1],
[[0, 13, 35, 61, 83, 96], [5, 5, 48, 48, 91, 91], 1],
[[0, 9, 56, 74, 121, 130], [4, 4, 65, 65, 126, 126], 1],
[[0, 16, 39, 71, 94, 110], [6, 6, 55, 55, 104, 104], 1],
[[0, 17, 63, 97, 143, 160], [7, 7, 80, 80, 153, 153], 1],
[[0, 11, 85, 107, 181, 192], [5, 5, 96, 96, 187, 187], 1],
[[0, 32, 45, 109, 122, 154], [10, 10, 77, 77, 144, 144], 1],
[[0, 19, 80, 118, 179, 198], [8, 8, 99, 99, 190, 190], 1],
[[0, 13, 120, 146, 253, 266], [6, 6, 133, 133, 260, 260], 1],
[[0, 24, 95, 143, 214, 238], [10, 10, 119, 119, 228, 228], 1],
[[0, 40, 77, 157, 194, 234], [14, 14, 117, 117, 220, 220], 1],
[[0, 23, 120, 166, 263, 286], [10, 10, 143, 143, 276, 276], 1],
[[0, 15, 161, 191, 337, 352], [7, 7, 176, 176, 345, 345], 1],
[[0, 25, 143, 193, 311, 336], [11, 11, 168, 168, 325, 325], 1],
[[0, 17, 208, 242, 433, 450], [8, 8, 225, 225, 442, 442], 1],
[[0, 32, 175, 239, 382, 414], [14, 14, 207, 207, 400, 400], 1],
[[0, 29, 195, 253, 419, 448], [13, 13, 224, 224, 435, 435], 1],
[[0, 19, 261, 299, 541, 560], [9, 9, 280, 280, 551, 551], 1],
[[0, 31, 224, 286, 479, 510], [14, 14, 255, 255, 496, 496], 1],
[[0, 56, 165, 277, 386, 442], [22, 22, 221, 221, 420, 420], 1],
[[0, 21, 320, 362, 661, 682], [10, 10, 341, 341, 672, 672], 1],
[[0, 35, 288, 358, 611, 646], [16, 16, 323, 323, 630, 630], 1],
[[0, 40, 279, 359, 598, 638], [18, 18, 319, 319, 620, 620], 1],
[[0, 23, 385, 431, 793, 816], [11, 11, 408, 408, 805, 805], 1],
[[0, 64, 221, 349, 506, 570], [26, 26, 285, 285, 544, 544], 1],
[[0, 37, 323, 397, 683, 720], [17, 17, 360, 360, 703, 703], 1],
[[0, 25, 456, 506, 937, 962], [12, 12, 481, 481, 950, 950], 1],
[[0, 41, 399, 481, 839, 880], [19, 19, 440, 440, 861, 861], 1],
[[0, 27, 533, 587, 1093, 1120], [13, 13, 560, 560, 1107, 1107], 1],
[[0, 48, 407, 503, 862, 910], [22, 22, 455, 455, 888, 888], 1],
[[0, 43, 440, 526, 923, 966], [20, 20, 483, 483, 946, 946], 1],
[[0, 29, 616, 674, 1261, 1290], [14, 14, 645, 645, 1276, 1276], 1],
[[0, 80, 357, 517, 794, 874], [34, 34, 437, 437, 840, 840], 1],
[[0, 47, 528, 622, 1103, 1150], [22, 22, 575, 575, 1128, 1128], 1],
[[0, 31, 705, 767, 1441, 1472], [15, 15, 736, 736, 1457, 1457], 1],
[[0, 49, 575, 673, 1199, 1248], [23, 23, 624, 624, 1225, 1225], 1],
[[0, 56, 559, 671, 1174, 1230], [26, 26, 615, 615, 1204, 1204], 1],
[[0, 88, 437, 613, 962, 1050], [38, 38, 525, 525, 1012, 1012], 1],
[[0, 33, 800, 866, 1633, 1666], [16, 16, 833, 833, 1650, 1650], 1]
]


# Solutions of size 6 with first hitting set {1, 2, 5}:
solutions["size-6-1-2-5"] = [
[[0, 3, 5, 11, 13, 16], [1, 1, 8, 8, 15, 15], 1],
[[0, 5, 6, 16, 17, 22], [1, 2, 10, 12, 20, 21], 1],
[[0, 4, 9, 17, 22, 26], [1, 2, 12, 14, 24, 25], 1],
[[0, 7, 7, 21, 21, 28], [1, 3, 12, 16, 25, 27], 1],
[[0, 7, 8, 22, 23, 30], [2, 2, 15, 15, 28, 28], 1],
[[0, 5, 13, 23, 31, 36], [1, 3, 16, 20, 33, 35], 1],
[[0, 8, 9, 25, 26, 34], [1, 4, 14, 20, 30, 33], 1],
[[0, 7, 11, 25, 29, 36], [1, 4, 15, 21, 32, 35], 1],
[[0, 9, 11, 29, 31, 40], [1, 5, 16, 24, 35, 39], 1],
[[0, 8, 11, 27, 30, 38], [2, 3, 18, 20, 35, 36], 1],
[[0, 5, 16, 26, 37, 42], [2, 2, 21, 21, 40, 40], 1],
[[0, 6, 17, 29, 40, 46], [1, 4, 20, 26, 42, 45], 1],
[[0, 7, 14, 28, 35, 42], [2, 3, 20, 22, 39, 40], 1],
[[0, 10, 13, 33, 36, 46], [1, 6, 18, 28, 40, 45], 1],
[[0, 9, 17, 34, 36, 46], [1, 6, 24, 25, 42, 44], 0],
[[0, 9, 14, 32, 37, 46], [2, 4, 21, 25, 42, 44], 1],
[[0, 9, 16, 34, 41, 50], [1, 6, 20, 30, 44, 49], 1],
[[0, 11, 15, 37, 41, 52], [1, 7, 20, 32, 45, 51], 1],
[[0, 7, 21, 35, 49, 56], [1, 5, 24, 32, 51, 55], 1],
[[0, 12, 13, 37, 38, 50], [2, 5, 22, 28, 45, 48], 1],
[[0, 6, 23, 35, 52, 58], [2, 3, 28, 30, 55, 56], 1],
[[0, 13, 15, 41, 43, 56], [1, 8, 21, 35, 48, 55], 1],
[[0, 12, 17, 41, 46, 58], [1, 8, 22, 36, 50, 57], 1],
[[0, 10, 17, 37, 44, 54], [2, 5, 24, 30, 49, 52], 1],
[[0, 8, 25, 41, 58, 66], [1, 6, 28, 38, 60, 65], 1],
[[0, 11, 21, 43, 53, 64], [1, 8, 25, 39, 56, 63], 1],
[[2, 6, 25, 33, 52, 56], [0, 12, 17, 41, 46, 58], 1],
[[0, 13, 19, 45, 51, 64], [1, 9, 24, 40, 55, 63], 1],
[[0, 9, 22, 40, 53, 62], [2, 5, 28, 34, 57, 60], 1],
[[0, 16, 17, 49, 50, 66], [1, 10, 24, 42, 56, 65], 1],
[[0, 11, 20, 42, 51, 62], [2, 6, 27, 35, 56, 60], 1],
[[0, 15, 16, 46, 47, 62], [2, 7, 26, 36, 55, 60], 1],
[[0, 14, 21, 49, 56, 70], [1, 10, 26, 44, 60, 69], 1],
[[0, 9, 29, 47, 67, 76], [1, 7, 32, 44, 69, 75], 1],
[[0, 7, 30, 44, 67, 74], [2, 4, 35, 39, 70, 72], 1],
[[0, 11, 23, 45, 57, 68], [3, 5, 32, 36, 63, 65], 1],
[[0, 12, 23, 47, 58, 70], [2, 7, 30, 40, 63, 68], 1],
[[0, 15, 23, 53, 61, 76], [1, 11, 28, 48, 65, 75], 1],
[[0, 13, 26, 52, 65, 78], [1, 10, 30, 48, 68, 77], 1],
[[0, 19, 19, 57, 57, 76], [1, 12, 27, 49, 64, 75], 1],
[[0, 15, 19, 49, 53, 68], [4, 5, 33, 35, 63, 64], 1],
[[0, 10, 33, 53, 76, 86], [1, 8, 36, 50, 78, 85], 1],
[[0, 16, 25, 57, 66, 82], [1, 12, 30, 52, 70, 81], 1],
[[0, 17, 20, 54, 57, 74], [2, 9, 30, 44, 65, 72], 1],
[[2, 8, 33, 45, 70, 76], [0, 13, 26, 52, 65, 78], 1],
[[0, 11, 30, 52, 71, 82], [2, 7, 36, 46, 75, 80], 1],
[[0, 21, 22, 64, 65, 86], [1, 14, 30, 56, 72, 85], 1],
[[0, 8, 37, 53, 82, 90], [2, 5, 42, 48, 85, 88], 1],
[[0, 17, 27, 61, 71, 88], [1, 13, 32, 56, 75, 87], 1],
[[0, 11, 37, 59, 85, 96], [1, 9, 40, 56, 87, 95], 1],
[[0, 15, 31, 61, 77, 92], [1, 12, 35, 57, 80, 91], 1],
[[0, 17, 24, 58, 65, 82], [2, 10, 33, 49, 72, 80], 1],
[[0, 12, 29, 53, 70, 82], [4, 5, 40, 42, 77, 78], 1],
[[0, 14, 29, 57, 72, 86], [2, 9, 36, 50, 77, 84], 1],
[[0, 18, 29, 65, 76, 94], [1, 14, 34, 60, 80, 93], 1],
[[0, 19, 25, 57, 62, 86], [2, 11, 40, 42, 69, 85], 0],
[[0, 16, 27, 59, 70, 86], [2, 10, 35, 51, 76, 84], 1],
[[0, 19, 24, 62, 67, 86], [2, 11, 34, 52, 75, 84], 1],
[[0, 23, 25, 71, 73, 96], [1, 16, 33, 63, 80, 95], 1],
[[0, 12, 41, 65, 94, 106], [1, 10, 44, 62, 96, 105], 1],
[[0, 19, 31, 69, 81, 100], [1, 15, 36, 64, 85, 99], 1],
[[0, 15, 32, 62, 79, 94], [2, 10, 39, 55, 84, 92], 1],
[[0, 20, 26, 66, 72, 92], [2, 12, 36, 56, 80, 90], 1],
[[0, 9, 44, 62, 97, 106], [2, 6, 49, 57, 100, 104], 1],
[[0, 17, 36, 70, 89, 106], [1, 14, 40, 66, 92, 105], 1],
[[0, 17, 26, 60, 69, 86], [5, 6, 42, 44, 80, 81], 1],
[[0, 20, 33, 73, 86, 106], [1, 16, 38, 68, 90, 105], 1],
[[0, 25, 28, 78, 81, 106], [1, 18, 36, 70, 88, 105], 1],
[[0, 13, 38, 64, 89, 102], [2, 9, 44, 58, 93, 100], 1],
[[0, 13, 45, 71, 103, 116], [1, 11, 48, 68, 105, 115], 1],
[[0, 11, 39, 61, 89, 100], [4, 5, 49, 51, 95, 96], 1],
[[0, 13, 35, 61, 83, 96], [5, 5, 48, 48, 91, 91], 1],
[[0, 21, 28, 70, 77, 98], [2, 13, 38, 60, 85, 96], 1],
[[0, 16, 35, 67, 86, 102], [2, 11, 42, 60, 91, 100], 1],
[[0, 21, 35, 77, 91, 112], [1, 17, 40, 72, 95, 111], 1],
[[0, 23, 28, 74, 79, 102], [2, 14, 39, 63, 88, 100], 1],
[[0, 14, 49, 77, 112, 126], [1, 12, 52, 74, 114, 125], 1],
[[0, 27, 31, 85, 89, 116], [1, 20, 39, 77, 96, 115], 1],
[[0, 19, 41, 79, 101, 120], [1, 16, 45, 75, 104, 119], 1],
[[0, 22, 37, 81, 96, 118], [1, 18, 42, 76, 100, 117], 1],
[[0, 10, 51, 71, 112, 122], [2, 7, 56, 66, 115, 120], 1],
[[0, 23, 25, 71, 73, 96], [5, 8, 45, 51, 88, 91], 1],
[[0, 17, 38, 72, 93, 110], [2, 12, 45, 65, 98, 108], 1],
[[0, 9, 53, 71, 115, 124], [3, 5, 60, 64, 119, 121], 1],
[[0, 23, 39, 85, 101, 124], [1, 19, 44, 80, 105, 123], 1],
[[0, 23, 32, 78, 87, 110], [2, 15, 42, 68, 95, 108], 1],
[[0, 15, 53, 83, 121, 136], [1, 13, 56, 80, 123, 135], 1],
[[0, 20, 37, 77, 94, 114], [2, 14, 45, 69, 100, 112], 1],
[[0, 14, 41, 69, 96, 110], [5, 6, 54, 56, 104, 105], 1],
[[0, 29, 34, 92, 97, 126], [1, 22, 42, 84, 104, 125], 1],
[[0, 19, 33, 71, 85, 104], [5, 8, 49, 55, 96, 99], 1],
[[0, 18, 41, 77, 100, 118], [2, 13, 48, 70, 105, 116], 1],
[[0, 15, 46, 76, 107, 122], [2, 11, 52, 70, 111, 120], 1],
[[0, 24, 41, 89, 106, 130], [1, 20, 46, 84, 110, 129], 1],
[[0, 21, 46, 88, 113, 134], [1, 18, 50, 84, 116, 133], 1],
[[0, 11, 58, 80, 127, 138], [2, 8, 63, 75, 130, 136], 1],
[[0, 25, 43, 93, 111, 136], [1, 21, 48, 88, 115, 135], 1],
[[0, 16, 57, 89, 130, 146], [1, 14, 60, 86, 132, 145], 1],
[[0, 31, 37, 99, 105, 136], [1, 24, 45, 91, 112, 135], 1],
[[0, 19, 44, 82, 107, 126], [2, 14, 51, 75, 112, 124], 1],
[[0, 25, 36, 86, 97, 122], [2, 17, 46, 76, 105, 120], 1],
[[0, 29, 32, 90, 93, 122], [2, 18, 45, 77, 104, 120], 1],
[[0, 26, 45, 97, 116, 142], [1, 22, 50, 92, 120, 141], 1],
[[0, 15, 47, 77, 109, 124], [5, 7, 60, 64, 117, 119], 1],
[[0, 23, 51, 97, 125, 148], [1, 20, 55, 93, 128, 147], 1],
[[0, 17, 61, 95, 139, 156], [1, 15, 64, 92, 141, 155], 1],
[[0, 20, 47, 87, 114, 134], [2, 15, 54, 80, 119, 132], 1],
[[0, 27, 47, 101, 121, 148], [1, 23, 52, 96, 125, 147], 1],
[[0, 33, 40, 106, 113, 146], [1, 26, 48, 98, 120, 145], 1],
# Last solutions with 31-bit constant.
[[0, 17, 54, 88, 125, 142], [2, 13, 60, 82, 129, 140], 1],
[[0, 12, 65, 89, 142, 154], [2, 9, 70, 84, 145, 152], 1],
[[0, 21, 40, 82, 101, 122], [5, 10, 56, 66, 112, 117], 1],
[[0, 27, 40, 94, 107, 134], [2, 19, 50, 84, 115, 132], 1],
[[0, 13, 56, 82, 125, 138], [5, 6, 68, 70, 132, 133], 1],
[[0, 28, 49, 105, 126, 154], [1, 24, 54, 100, 130, 153], 1],
[[0, 18, 65, 101, 148, 166], [1, 16, 68, 98, 150, 165], 1],
[[0, 21, 50, 92, 121, 142], [2, 16, 57, 85, 126, 140], 1],
[[0, 35, 43, 113, 121, 156], [1, 28, 51, 105, 128, 155], 1],
[[0, 24, 47, 95, 118, 142], [2, 18, 55, 87, 124, 140], 1],
[[0, 25, 56, 106, 137, 162], [1, 22, 60, 102, 140, 161], 1],
[[0, 29, 51, 109, 131, 160], [1, 25, 56, 104, 135, 159], 1],
[[0, 16, 53, 85, 122, 138], [5, 8, 66, 72, 130, 133], 1],
[[0, 35, 36, 106, 107, 142], [2, 22, 51, 91, 120, 140], 1],
[[0, 19, 69, 107, 157, 176], [1, 17, 72, 104, 159, 175], 1],
[[0, 22, 53, 97, 128, 150], [2, 17, 60, 90, 133, 148], 1],
[[0, 29, 44, 102, 117, 146], [2, 21, 54, 92, 125, 144], 1],
[[0, 30, 53, 113, 136, 166], [1, 26, 58, 108, 140, 165], 1],
[[0, 13, 72, 98, 157, 170], [2, 10, 77, 93, 160, 168], 1],
[[0, 37, 46, 120, 129, 166], [1, 30, 54, 112, 136, 165], 1],
# Last solutions with 32-bit constant.
[[0, 31, 55, 117, 141, 172], [1, 27, 60, 112, 145, 171], 1],
[[0, 19, 62, 100, 143, 162], [2, 15, 68, 94, 147, 160], 1],
[[0, 27, 61, 115, 149, 176], [1, 24, 65, 111, 152, 175], 1],
[[0, 20, 73, 113, 166, 186], [1, 18, 76, 110, 168, 185], 1],
[[0, 23, 56, 102, 135, 158], [2, 18, 63, 95, 140, 156], 1],
[[0, 23, 47, 93, 117, 140], [5, 12, 63, 77, 128, 135], 1],
[[0, 32, 57, 121, 146, 178], [1, 28, 62, 116, 150, 177], 1],
[[0, 17, 59, 93, 135, 152], [5, 9, 72, 80, 143, 147], 1],
[[0, 39, 49, 127, 137, 176], [1, 32, 57, 119, 144, 175], 1],
[[0, 31, 48, 110, 127, 158], [2, 23, 58, 100, 135, 156], 1],
[[0, 24, 59, 107, 142, 166], [2, 19, 66, 100, 147, 164], 1],
[[0, 14, 79, 107, 172, 186], [2, 11, 84, 102, 175, 184], 1],
[[0, 21, 77, 119, 175, 196], [1, 19, 80, 116, 177, 195], 1],
[[0, 33, 59, 125, 151, 184], [1, 29, 64, 120, 155, 183], 1],
[[0, 29, 66, 124, 161, 190], [1, 26, 70, 120, 164, 189], 1],
[[0, 40, 41, 121, 122, 162], [2, 26, 57, 105, 136, 160], 1],
[[0, 41, 52, 134, 145, 186], [1, 34, 60, 126, 152, 185], 1],
[[0, 34, 61, 129, 156, 190], [1, 30, 66, 124, 160, 189], 1],
[[0, 28, 57, 113, 142, 170], [2, 22, 65, 105, 148, 168], 1],
[[0, 25, 62, 112, 149, 174], [2, 20, 69, 105, 154, 172], 1],
[[0, 22, 81, 125, 184, 206], [1, 20, 84, 122, 186, 205], 1],
[[0, 11, 85, 107, 181, 192], [5, 5, 96, 96, 187, 187], 1],
[[0, 21, 70, 112, 161, 182], [2, 17, 76, 106, 165, 180], 1],
[[0, 33, 52, 118, 137, 170], [2, 25, 62, 108, 145, 168], 1],
# Last solution with 33-bit constant.
[[5, 10, 78, 88, 156, 161], [0, 18, 65, 101, 148, 166], 1],
[[0, 35, 63, 133, 161, 196], [1, 31, 68, 128, 165, 195], 1],
[[0, 15, 73, 103, 161, 176], [5, 8, 85, 91, 168, 171], 1],
[[0, 15, 86, 116, 187, 202], [2, 12, 91, 111, 190, 200], 1],
[[0, 43, 55, 141, 153, 196], [1, 36, 63, 133, 160, 195], 1],
[[0, 25, 54, 104, 133, 158], [5, 14, 70, 88, 144, 153], 1],
[[0, 26, 65, 117, 156, 182], [2, 21, 72, 110, 161, 180], 1],
[[0, 31, 71, 133, 173, 204], [1, 28, 75, 129, 176, 203], 1],
[[0, 23, 85, 131, 193, 216], [1, 21, 88, 128, 195, 215], 1],
[[0, 36, 65, 137, 166, 202], [1, 32, 70, 132, 170, 201], 1],
[[0, 35, 56, 126, 147, 182], [2, 27, 66, 116, 155, 180], 1],
[[0, 37, 67, 141, 171, 208], [1, 33, 72, 136, 175, 207], 1],
[[0, 27, 68, 122, 163, 190], [2, 22, 75, 115, 168, 188], 1],
[[0, 45, 58, 148, 161, 206], [1, 38, 66, 140, 168, 205], 1],
[[0, 44, 47, 135, 138, 182], [2, 30, 63, 119, 152, 180], 1],
[[0, 24, 89, 137, 202, 226], [1, 22, 92, 134, 204, 225], 1],
[[0, 19, 71, 109, 161, 180], [5, 11, 84, 96, 169, 175], 1],
[[0, 38, 69, 145, 176, 214], [1, 34, 74, 140, 180, 213], 1],
[[0, 33, 76, 142, 185, 218], [1, 30, 80, 138, 188, 217], 1],
[[0, 16, 93, 125, 202, 218], [2, 13, 98, 120, 205, 216], 1],
[[0, 23, 78, 124, 179, 202], [2, 19, 84, 118, 183, 200], 1],
[[0, 28, 71, 127, 170, 198], [2, 23, 78, 120, 175, 196], 1],
[[0, 47, 61, 155, 169, 216], [1, 40, 69, 147, 176, 215], 1],
[[0, 25, 93, 143, 211, 236], [1, 23, 96, 140, 213, 235], 1],
[[0, 39, 71, 149, 181, 220], [1, 35, 76, 144, 185, 219], 1],
[[0, 37, 60, 134, 157, 194], [2, 29, 70, 124, 165, 192], 1],
[[0, 32, 67, 131, 166, 198], [2, 26, 75, 123, 172, 196], 1],
[[5, 16, 77, 99, 160, 171], [0, 27, 61, 115, 149, 176], 1],
# Last solution with 34-bit constant.
[[0, 40, 73, 153, 186, 226], [1, 36, 78, 148, 190, 225], 1],
[[0, 29, 74, 132, 177, 206], [2, 24, 81, 125, 182, 204], 1],
[[0, 35, 81, 151, 197, 232], [1, 32, 85, 147, 200, 231], 1],
[[0, 12, 101, 125, 214, 226], [5, 6, 112, 114, 220, 221], 1],
[[0, 26, 97, 149, 220, 246], [1, 24, 100, 146, 222, 245], 1],
[[0, 49, 64, 162, 177, 226], [1, 42, 72, 154, 184, 225], 1],
[[0, 20, 77, 117, 174, 194], [5, 12, 90, 104, 182, 189], 1],
[[0, 17, 100, 134, 217, 234], [2, 14, 105, 129, 220, 232], 1],
[[0, 41, 75, 157, 191, 232], [1, 37, 80, 152, 195, 231], 1],
[[0, 48, 53, 149, 154, 202], [2, 34, 69, 133, 168, 200], 1],
[[0, 39, 64, 142, 167, 206], [2, 31, 74, 132, 175, 204], 1],
[[0, 30, 77, 137, 184, 214], [2, 25, 84, 130, 189, 212], 1],
[[0, 25, 86, 136, 197, 222], [2, 21, 92, 130, 201, 220], 1],
[[0, 42, 77, 161, 196, 238], [1, 38, 82, 156, 200, 237], 1],
[[0, 51, 67, 169, 185, 236], [1, 44, 75, 161, 192, 235], 1],
[[0, 17, 90, 124, 197, 214], [5, 10, 102, 112, 204, 209], 1],
[[0, 37, 86, 160, 209, 246], [1, 34, 90, 156, 212, 245], 1],
[[0, 43, 79, 165, 201, 244], [1, 39, 84, 160, 205, 243], 1],
[[0, 31, 80, 142, 191, 222], [2, 26, 87, 135, 196, 220], 1],
[[0, 18, 107, 143, 232, 250], [2, 15, 112, 138, 235, 248], 1],
[[0, 29, 68, 126, 165, 194], [5, 18, 84, 110, 176, 189], 1],
[[0, 21, 83, 125, 187, 208], [5, 13, 96, 112, 195, 203], 1],
[[0, 41, 68, 150, 177, 218], [2, 33, 78, 140, 185, 216], 1],
[[0, 44, 81, 169, 206, 250], [1, 40, 86, 164, 210, 249], 1],
[[0, 53, 70, 176, 193, 246], [1, 46, 78, 168, 200, 245], 1],
[[0, 32, 83, 147, 198, 230], [2, 27, 90, 140, 203, 228], 1],
[[0, 36, 77, 149, 190, 226], [2, 30, 85, 141, 196, 224], 1],
[[0, 39, 91, 169, 221, 260], [1, 36, 95, 165, 224, 259], 1],
[[0, 45, 83, 173, 211, 256], [1, 41, 88, 168, 215, 255], 1],
[[0, 52, 59, 163, 170, 222], [2, 38, 75, 147, 184, 220], 1],
[[0, 27, 94, 148, 215, 242], [2, 23, 100, 142, 219, 240], 1],
# Last solution with 35-bit constant.
[[0, 55, 73, 183, 201, 256], [1, 48, 81, 175, 208, 255], 1],
[[0, 19, 114, 152, 247, 266], [2, 16, 119, 147, 250, 264], 1],
[[0, 46, 85, 177, 216, 262], [1, 42, 90, 172, 220, 261], 1],
[[0, 33, 86, 152, 205, 238], [2, 28, 93, 145, 210, 236], 1],
[[0, 43, 72, 158, 187, 230], [2, 35, 82, 148, 195, 228], 1],
[[0, 13, 117, 143, 247, 260], [5, 7, 128, 132, 253, 255], 1],
[[0, 22, 89, 133, 200, 222], [5, 14, 102, 120, 208, 217], 1],
[[0, 47, 87, 181, 221, 268], [1, 43, 92, 176, 225, 267], 1],
[[0, 41, 96, 178, 233, 274], [1, 38, 100, 174, 236, 273], 1],
[[0, 57, 76, 190, 209, 266], [1, 50, 84, 182, 216, 265], 1],
[[0, 31, 75, 137, 181, 212], [5, 20, 91, 121, 192, 207], 1],
[[0, 34, 89, 157, 212, 246], [2, 29, 96, 150, 217, 244], 1],
[[0, 48, 89, 185, 226, 274], [1, 44, 94, 180, 230, 273], 1],
[[0, 45, 76, 166, 197, 242], [2, 37, 86, 156, 205, 240], 1],
[[0, 20, 121, 161, 262, 282], [2, 17, 126, 156, 265, 280], 1],
[[0, 29, 102, 160, 233, 262], [2, 25, 108, 154, 237, 260], 1],
[[0, 35, 92, 162, 219, 254], [2, 30, 99, 155, 224, 252], 1],
[[0, 49, 91, 189, 231, 280], [1, 45, 96, 184, 235, 279], 1],
[[0, 56, 65, 177, 186, 242], [2, 42, 81, 161, 200, 240], 1],
[[0, 59, 79, 197, 217, 276], [1, 52, 87, 189, 224, 275], 1],
[[0, 23, 95, 141, 213, 236], [5, 15, 108, 128, 221, 231], 1],
[[0, 43, 101, 187, 245, 288], [1, 40, 105, 183, 248, 287], 1],
[[0, 19, 107, 145, 233, 252], [5, 12, 119, 133, 240, 247], 1],
[[0, 40, 87, 167, 214, 254], [2, 34, 95, 159, 220, 252], 1],
[[0, 50, 93, 193, 236, 286], [1, 46, 98, 188, 240, 285], 1],
[[0, 36, 95, 167, 226, 262], [2, 31, 102, 160, 231, 260], 1],
[[0, 47, 80, 174, 207, 254], [2, 39, 90, 164, 215, 252], 1],
[[0, 61, 82, 204, 225, 286], [1, 54, 90, 196, 232, 285], 1],
[[0, 51, 95, 197, 241, 292], [1, 47, 100, 192, 245, 291], 1],
[[0, 21, 128, 170, 277, 298], [2, 18, 133, 165, 280, 296], 1],
[[0, 33, 82, 148, 197, 230], [5, 22, 98, 132, 208, 225], 1],
# Last solution with 36-bit constant.
[[0, 45, 106, 196, 257, 302], [1, 42, 110, 192, 260, 301], 1],
[[0, 37, 98, 172, 233, 270], [2, 32, 105, 165, 238, 268], 1],
[[0, 24, 101, 149, 226, 250], [5, 16, 114, 136, 234, 245], 1],
[[0, 52, 97, 201, 246, 298], [1, 48, 102, 196, 250, 297], 1],
[[0, 14, 133, 161, 280, 294], [5, 8, 144, 150, 286, 289], 1],
[[0, 31, 110, 172, 251, 282], [2, 27, 116, 166, 255, 280], 1],
[[0, 63, 85, 211, 233, 296], [1, 56, 93, 203, 240, 295], 1],
[[0, 60, 71, 191, 202, 262], [2, 46, 87, 175, 216, 260], 1],
[[0, 53, 99, 205, 251, 304], [1, 49, 104, 200, 255, 303], 1],
[[0, 49, 84, 182, 217, 266], [2, 41, 94, 172, 225, 264], 1],
[[0, 38, 101, 177, 240, 278], [2, 33, 108, 170, 245, 276], 1],
[[0, 22, 135, 179, 292, 314], [2, 19, 140, 174, 295, 312], 1],
[[0, 54, 101, 209, 256, 310], [1, 50, 106, 204, 260, 309], 1],
[[0, 47, 111, 205, 269, 316], [1, 44, 115, 201, 272, 315], 1],
[[0, 65, 88, 218, 241, 306], [1, 58, 96, 210, 248, 305], 1],
[[0, 25, 107, 157, 239, 264], [5, 17, 120, 144, 247, 259], 1],
[[0, 39, 104, 182, 247, 286], [2, 34, 111, 175, 252, 284], 1],
[[0, 55, 103, 213, 261, 316], [1, 51, 108, 208, 265, 315], 1],
[[0, 44, 97, 185, 238, 282], [2, 38, 105, 177, 244, 280], 1],
[[0, 35, 89, 159, 213, 248], [5, 24, 105, 143, 224, 243], 1],
[[0, 51, 88, 190, 227, 278], [2, 43, 98, 180, 235, 276], 1],
[[0, 67, 91, 225, 249, 316], [1, 60, 99, 217, 256, 315], 1],
[[0, 33, 118, 184, 269, 302], [2, 29, 124, 178, 273, 300], 1],
[[0, 56, 105, 217, 266, 322], [1, 52, 110, 212, 270, 321], 1],
[[0, 49, 116, 214, 281, 330], [1, 46, 120, 210, 284, 329], 1],
[[0, 40, 107, 187, 254, 294], [2, 35, 114, 180, 259, 292], 1],
[[0, 23, 142, 188, 307, 330], [2, 20, 147, 183, 310, 328], 1],
[[0, 64, 77, 205, 218, 282], [2, 50, 93, 189, 232, 280], 1],
[[0, 57, 107, 221, 271, 328], [1, 53, 112, 216, 275, 327], 1],
[[0, 21, 124, 166, 269, 290], [5, 14, 136, 154, 276, 285], 1],
[[0, 69, 94, 232, 257, 326], [1, 62, 102, 224, 264, 325], 1],
[[0, 53, 92, 198, 237, 290], [2, 45, 102, 188, 245, 288], 1],
[[0, 26, 113, 165, 252, 278], [5, 18, 126, 152, 260, 273], 1],
[[0, 41, 110, 192, 261, 302], [2, 36, 117, 185, 266, 300], 1],
[[0, 15, 149, 179, 313, 328], [5, 9, 160, 168, 319, 323], 1],
[[0, 58, 109, 225, 276, 334], [1, 54, 114, 220, 280, 333], 1],
[[0, 51, 121, 223, 293, 344], [1, 48, 125, 219, 296, 343], 1],
# Last solution with 37-bit constant.
[[0, 59, 111, 229, 281, 340], [1, 55, 116, 224, 285, 339], 1],
[[0, 24, 149, 197, 322, 346], [2, 21, 154, 192, 325, 344], 1],
[[0, 37, 96, 170, 229, 266], [5, 26, 112, 154, 240, 261], 1],
[[0, 71, 97, 239, 265, 336], [1, 64, 105, 231, 272, 335], 1],
[[0, 42, 113, 197, 268, 310], [2, 37, 120, 190, 273, 308], 1],
[[0, 35, 126, 196, 287, 322], [2, 31, 132, 190, 291, 320], 1],
[[0, 55, 96, 206, 247, 302], [2, 47, 106, 196, 255, 300], 1],
[[0, 60, 113, 233, 286, 346], [1, 56, 118, 228, 290, 345], 1],
[[0, 48, 107, 203, 262, 310], [2, 42, 115, 195, 268, 308], 1],
[[0, 27, 119, 173, 265, 292], [5, 19, 132, 160, 273, 287], 1],
[[0, 43, 116, 202, 275, 318], [2, 38, 123, 195, 280, 316], 1],
[[0, 68, 83, 219, 234, 302], [2, 54, 99, 203, 248, 300], 1],
[[0, 73, 100, 246, 273, 346], [1, 66, 108, 238, 280, 345], 1],
[[0, 61, 115, 237, 291, 352], [1, 57, 120, 232, 295, 351], 1],
[[0, 25, 156, 206, 337, 362], [2, 22, 161, 201, 340, 360], 1],
[[0, 62, 117, 241, 296, 358], [1, 58, 122, 236, 300, 357], 1],
[[0, 57, 100, 214, 257, 314], [2, 49, 110, 204, 265, 312], 1],
[[0, 44, 119, 207, 282, 326], [2, 39, 126, 200, 287, 324], 1],
[[0, 75, 103, 253, 281, 356], [1, 68, 111, 245, 288, 355], 1],
[[0, 63, 119, 245, 301, 364], [1, 59, 124, 240, 305, 363], 1],
[[0, 37, 134, 208, 305, 342], [2, 33, 140, 202, 309, 340], 1],
[[0, 39, 103, 181, 245, 284], [5, 28, 119, 165, 256, 279], 1],
[[0, 28, 125, 181, 278, 306], [5, 20, 138, 168, 286, 301], 1],
[[0, 16, 165, 197, 346, 362], [5, 10, 176, 186, 352, 357], 1],
[[0, 45, 122, 212, 289, 334], [2, 40, 129, 205, 294, 332], 1],
[[0, 64, 121, 249, 306, 370], [1, 60, 126, 244, 310, 369], 1],
[[0, 23, 141, 187, 305, 328], [5, 16, 153, 175, 312, 323], 1],
[[0, 26, 163, 215, 352, 378], [2, 23, 168, 210, 355, 376], 1],
[[0, 77, 106, 260, 289, 366], [1, 70, 114, 252, 296, 365], 1],
[[0, 59, 104, 222, 267, 326], [2, 51, 114, 212, 275, 324], 1],
[[0, 72, 89, 233, 250, 322], [2, 58, 105, 217, 264, 320], 1],
[[0, 65, 123, 253, 311, 376], [1, 61, 128, 248, 315, 375], 1],
[[0, 46, 125, 217, 296, 342], [2, 41, 132, 210, 301, 340], 1],
[[0, 52, 117, 221, 286, 338], [2, 46, 125, 213, 292, 336], 1],
[[0, 66, 125, 257, 316, 382], [1, 62, 130, 252, 320, 381], 1],
[[0, 79, 109, 267, 297, 376], [1, 72, 117, 259, 304, 375], 1],
[[0, 29, 131, 189, 291, 320], [5, 21, 144, 176, 299, 315], 1],
[[0, 39, 142, 220, 323, 362], [2, 35, 148, 214, 327, 360], 1],
[[0, 47, 128, 222, 303, 350], [2, 42, 135, 215, 308, 348], 1],
[[0, 61, 108, 230, 277, 338], [2, 53, 118, 220, 285, 336], 1],
[[0, 27, 170, 224, 367, 394], [2, 24, 175, 219, 370, 392], 1],
[[0, 67, 127, 261, 321, 388], [1, 63, 132, 256, 325, 387], 1],
[[5, 30, 126, 176, 272, 297], [0, 41, 110, 192, 261, 302], 1] 
]

# Solutions of size 10:
solutions["size-10"] = [
[[0, 12, 125, 213, 214, 412, 413, 501, 614, 626], 
 [5, 6, 133, 182, 242, 384, 444, 493, 620, 621], 1]
]

# Solutions of size 12:
solutions["size-12"] = [
[[0, 11, 24, 65, 90, 129, 173, 212, 237, 278, 291, 302], 
 [3, 5, 30, 57, 104, 116, 186, 198, 245, 272, 297, 299], 1]
]
