mapFolding 0.17.0__py3-none-any.whl → 0.18.0__py3-none-any.whl

mapFolding/tests/dataSamples/A001417.py

@@ -0,0 +1,455 @@
+"""Test data for elimination algorithm functions, indexed by n-cube dimension (2^n leavesTotal).
+
+The OEIS sequence A001417 counts the number of ways to fold a 2^n map (n-dimensional hypercube with
+side length 2 in each dimension). This module provides known test data for functions that compute
+properties of such foldings, organized by `mapShape`.
+
+Data Structure
+--------------
+Each dictionary is keyed by `mapShape` (a tuple defining the n-dimensional hypercube). The naming
+convention `2dN` refers to a shape of `(2,) * N`, which yields `2^N` leaves. For example:
+- `2d4` means `(2, 2, 2, 2)` → 16 leavesTotal
+- `2d5` means `(2, 2, 2, 2, 2)` → 32 leavesTotal
+- `2d6` means `(2, 2, 2, 2, 2, 2)` → 64 leavesTotal
+
+Synonyms:
+- n=4: (2,)*4, 2d4, 16 leavesTotal, A001417(4)
+- n=5: (2,)*5, 2d5, 32 leavesTotal, A001417(5)
+- n=6: (2,)*6, 2d6, 64 leavesTotal, A001417(6)
+
+Future Extensions
+-----------------
+When adding test data for new `mapShape`, follow these guidelines:
+1. Add the new `mapShape` as a key in the appropriate dictionary
+2. Use prime or Fibonacci indices for spot-checking when full data is unavailable
+3. Maintain the same data format as existing entries
+"""
+
+from typing import Any
+
+mapShape2d4: tuple[int, ...] = (2, 2, 2, 2)
+mapShape2d5: tuple[int, ...] = (2, 2, 2, 2, 2)
+mapShape2d6: tuple[int, ...] = (2, 2, 2, 2, 2, 2)
+
+# Leaf domain data: for each leaf, the (start, stop, step) defining its domain range
+# Extracted empirically from pickled foldings data via getDataFrameFoldings
+dictionaryLeafDomainKnown: dict[tuple[int, ...], dict[int, tuple[int, int, int]]] = {
+	mapShape2d4: {
+		0: (0, 1, 2),
+		1: (1, 2, 2),
+		2: (3, 10, 2),
+		3: (2, 9, 2),
+		4: (7, 14, 2),
+		5: (2, 13, 2),
+		6: (4, 13, 2),
+		7: (3, 12, 2),
+		8: (15, 16, 2),
+		9: (2, 15, 4),
+		10: (4, 15, 2),
+		11: (3, 14, 2),
+		12: (8, 15, 2),
+		13: (3, 14, 2),
+		14: (5, 14, 2),
+		15: (4, 13, 2),
+	},
+	mapShape2d5: {
+		0: (0, 1, 2),
+		1: (1, 2, 2),
+		2: (3, 18, 2),
+		3: (2, 17, 2),
+		4: (7, 26, 2),
+		5: (2, 25, 2),
+		6: (4, 25, 2),
+		7: (3, 24, 2),
+		8: (15, 30, 2),
+		9: (2, 29, 2),
+		10: (4, 29, 2),
+		11: (3, 28, 2),
+		12: (8, 29, 2),
+		13: (3, 28, 2),
+		14: (5, 28, 2),
+		15: (4, 27, 2),
+		16: (31, 32, 2),
+		17: (2, 31, 4),
+		18: (4, 31, 2),
+		19: (3, 30, 2),
+		20: (8, 31, 2),
+		21: (3, 30, 2),
+		22: (5, 30, 2),
+		23: (4, 29, 2),
+		24: (16, 31, 2),
+		25: (3, 30, 2),
+		26: (5, 30, 2),
+		27: (4, 29, 2),
+		28: (9, 30, 2),
+		29: (4, 29, 2),
+		30: (6, 29, 2),
+		31: (5, 28, 2),
+	},
+	mapShape2d6: {
+		0: (0, 1, 2),
+		1: (1, 2, 2),
+		2: (3, 34, 2),
+		3: (2, 33, 2),
+		4: (7, 50, 2),
+		5: (2, 49, 2),
+		6: (4, 49, 2),
+		7: (3, 48, 2),
+		8: (15, 58, 2),
+		9: (2, 57, 2),
+		10: (4, 57, 2),
+		11: (3, 56, 2),
+		12: (8, 57, 2),
+		13: (3, 56, 2),
+		14: (5, 56, 2),
+		15: (4, 55, 2),
+		16: (31, 62, 2),
+		17: (2, 61, 2),
+		18: (4, 61, 2),
+		19: (3, 60, 2),
+		20: (8, 61, 2),
+		21: (3, 60, 2),
+		22: (5, 60, 2),
+		23: (4, 59, 2),
+		24: (16, 61, 2),
+		25: (3, 60, 2),
+		26: (5, 60, 2),
+		27: (4, 59, 2),
+		28: (9, 60, 2),
+		29: (4, 59, 2),
+		30: (6, 59, 2),
+		31: (5, 58, 2),
+		32: (63, 64, 2),
+		33: (2, 63, 4),
+		34: (4, 63, 2),
+		35: (3, 62, 2),
+		36: (8, 63, 2),
+		37: (3, 62, 2),
+		38: (5, 62, 2),
+		39: (4, 61, 2),
+		40: (16, 63, 2),
+		41: (3, 62, 2),
+		42: (5, 62, 2),
+		43: (4, 61, 2),
+		44: (9, 62, 2),
+		45: (4, 61, 2),
+		46: (6, 61, 2),
+		47: (5, 60, 2),
+		48: (32, 63, 2),
+		49: (3, 62, 2),
+		50: (5, 62, 2),
+		51: (4, 61, 2),
+		52: (9, 62, 2),
+		53: (4, 61, 2),
+		54: (6, 61, 2),
+		55: (5, 60, 2),
+		56: (17, 62, 2),
+		57: (4, 61, 2),
+		58: (6, 61, 2),
+		59: (5, 60, 2),
+		60: (10, 61, 2),
+		61: (5, 60, 2),
+		62: (7, 60, 2),
+		63: (6, 59, 2),
+	},
+}
+
+dictionaryPileRangesKnown: dict[tuple[int, ...], dict[int, tuple[int, ...]]] = {
+	mapShape2d4: {
+		0: (0,), 1: (1,), 2: (3, 5, 9), 3: (2, 7, 11, 13), 4: (3, 5, 6, 10, 15),
+		5: (2, 7, 11, 13, 14), 6: (3, 5, 6, 9, 10, 15), 7: (2, 4, 7, 11, 13, 14),
+		8: (3, 5, 6, 10, 12, 15), 9: (2, 4, 7, 11, 13, 14), 10: (5, 6, 9, 10, 12, 15),
+		11: (4, 7, 11, 13, 14), 12: (5, 6, 10, 12, 15), 13: (4, 11, 13, 14),
+		14: (9, 10, 12), 15: (8,),
+	},
+	mapShape2d5: {
+		0: (0,), 1: (1,), 2: (3, 5, 9, 17), 3: (2, 7, 11, 13, 19, 21, 25),
+		4: (3, 5, 6, 9, 10, 15, 18, 23, 27, 29), 5: (2, 7, 11, 13, 14, 19, 21, 22, 25, 26, 31),
+		6: (3, 5, 6, 9, 10, 15, 17, 18, 23, 27, 29, 30), 7: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 31),
+		8: (3, 5, 6, 9, 10, 12, 15, 18, 20, 23, 27, 29, 30), 9: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		10: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 27, 29, 30), 11: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		12: (3, 5, 6, 9, 10, 12, 15, 18, 20, 23, 27, 29, 30), 13: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		14: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 27, 29, 30), 15: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		16: (3, 5, 6, 9, 10, 12, 15, 18, 20, 23, 24, 27, 29, 30), 17: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		18: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30), 19: (4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		20: (5, 6, 9, 10, 12, 15, 18, 20, 23, 24, 27, 29, 30), 21: (4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		22: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30), 23: (4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		24: (5, 6, 9, 10, 12, 15, 18, 20, 23, 24, 27, 29, 30), 25: (4, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		26: (9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30), 27: (8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31),
+		28: (9, 10, 12, 18, 20, 23, 24, 27, 29, 30), 29: (8, 19, 21, 22, 25, 26, 28),
+		30: (17, 18, 20, 24), 31: (16,),
+	},
+	mapShape2d6: {
+		0: (0,), 1: (1,), 2: (3, 5, 9, 17, 33), 3: (2, 7, 11, 13, 19, 21, 25, 35, 37, 41, 49),
+		4: (3, 5, 6, 9, 10, 15, 17, 18, 23, 27, 29, 34, 39, 43, 45, 51, 53, 57),
+		5: (2, 7, 11, 13, 14, 19, 21, 22, 25, 26, 31, 35, 37, 38, 41, 42, 47, 49, 50, 55, 59, 61),
+		6: (3, 5, 6, 9, 10, 15, 17, 18, 23, 27, 29, 30, 33, 34, 39, 43, 45, 46, 51, 53, 54, 57, 58, 63),
+		7: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 31, 35, 37, 38, 41, 42, 47, 49, 50, 55, 59, 61, 62),
+		8: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 27, 29, 30, 34, 36, 39, 43, 45, 46, 51, 53, 54, 57, 58, 63),
+		9: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 59, 61, 62),
+		10: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 27, 29, 30, 33, 34, 36, 39, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		11: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 59, 61, 62),
+		12: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 27, 29, 30, 34, 36, 39, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		13: (2, 4, 7, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 59, 61, 62),
+		14: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 27, 29, 30, 33, 34, 36, 39, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		15: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 59, 61, 62),
+		16: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		17: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		18: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		19: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		20: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		21: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		22: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		23: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		24: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		25: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		26: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		27: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		28: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		29: (2, 4, 7, 8, 11, 13, 14, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		30: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 51, 53, 54, 57, 58, 60, 63),
+		31: (2, 4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		32: (3, 5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		33: (2, 4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		34: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		35: (4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		36: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		37: (4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		38: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		39: (4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		40: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		41: (4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		42: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		43: (4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		44: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		45: (4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		46: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		47: (4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		48: (5, 6, 9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		49: (4, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		50: (9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		51: (8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		52: (9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		53: (8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		54: (9, 10, 12, 15, 17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		55: (8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		56: (9, 10, 12, 17, 18, 20, 23, 24, 27, 29, 30, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		57: (8, 16, 19, 21, 22, 25, 26, 28, 31, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		58: (17, 18, 20, 23, 24, 27, 29, 30, 33, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60, 63),
+		59: (16, 19, 21, 22, 25, 26, 28, 35, 37, 38, 41, 42, 44, 47, 49, 50, 52, 55, 56, 59, 61, 62),
+		60: (17, 18, 20, 24, 34, 36, 39, 40, 43, 45, 46, 48, 51, 53, 54, 57, 58, 60),
+		61: (16, 35, 37, 38, 41, 42, 44, 49, 50, 52, 56),
+		62: (33, 34, 36, 40, 48),
+		63: (32,),
+	},
+}
+
+dictionaryCreasesIncreaseKnown: dict[tuple[int, ...], dict[int, list[int]]] = {
+	mapShape2d5: {
+		0: [1],
+		1: [3, 5, 9, 17],
+		2: [6, 10, 18],
+		3: [2],
+		4: [12, 20],
+		5: [4, 7],
+		6: [4, 7],
+		7: [3, 5, 15, 23],
+		8: [24],
+		9: [8, 11, 13],
+		10: [8, 11, 14],
+		11: [3, 9, 15, 27],
+		12: [8, 13, 14],
+		13: [5, 9, 15, 29],
+		14: [6, 10, 30],
+		15: [11, 13, 14],
+		16: [],
+		17: [16, 19, 21, 25],
+		18: [16, 19, 22, 26],
+		19: [3, 17, 23, 27],
+		20: [16, 21, 22, 28],
+		21: [5, 17, 23, 29],
+		22: [6, 18, 30],
+		23: [19, 21, 22, 31],
+		24: [16, 25, 26, 28],
+		25: [9, 17, 27, 29],
+		26: [10, 18, 30],
+		27: [19, 25, 26, 31],
+		28: [12, 20],
+		29: [21, 25, 28, 31],
+		30: [22, 26, 28, 31],
+		31: [15, 23, 27, 29],
+	},
+	mapShape2d6: {
+		0: [1],
+		1: [3, 5, 9, 17, 33],
+		2: [6, 10, 18, 34],
+		3: [2],
+		4: [12, 20, 36],
+		5: [4, 7],
+		6: [4, 7],
+		7: [3, 5, 15, 23, 39],
+		8: [24, 40],
+		9: [8, 11, 13],
+		10: [8, 11, 14],
+		11: [3, 9, 15, 27, 43],
+		12: [8, 13, 14],
+		13: [5, 9, 15, 29, 45],
+		14: [6, 10, 30, 46],
+		15: [11, 13, 14],
+		16: [48],
+		17: [16, 19, 21, 25],
+		18: [16, 19, 22, 26],
+		19: [3, 17, 23, 27, 51],
+		20: [16, 21, 22, 28],
+		21: [5, 17, 23, 29, 53],
+		22: [6, 18, 30, 54],
+		23: [19, 21, 22, 31],
+		24: [16, 25, 26, 28],
+		25: [9, 17, 27, 29, 57],
+		26: [10, 18, 30, 58],
+		27: [19, 25, 26, 31],
+		28: [12, 20, 60],
+		29: [21, 25, 28, 31],
+		30: [22, 26, 28, 31],
+		31: [15, 23, 27, 29, 63],
+		32: [],
+		33: [32, 35, 37, 41, 49],
+		34: [32, 35, 38, 42, 50],
+		35: [3, 33, 39, 43, 51],
+		36: [32, 37, 38, 44, 52],
+		37: [5, 33, 39, 45, 53],
+		38: [6, 34, 46, 54],
+		39: [35, 37, 38, 47, 55],
+		40: [32, 41, 42, 44, 56],
+		41: [9, 33, 43, 45, 57],
+		42: [10, 34, 46, 58],
+		43: [35, 41, 42, 47, 59],
+		44: [12, 36, 60],
+		45: [37, 41, 44, 47, 61],
+		46: [38, 42, 44, 47, 62],
+		47: [15, 39, 43, 45, 63],
+		48: [32, 49, 50, 52, 56],
+		49: [17, 33, 51, 53, 57],
+		50: [18, 34, 54, 58],
+		51: [35, 49, 50, 55, 59],
+		52: [20, 36, 60],
+		53: [37, 49, 52, 55, 61],
+		54: [38, 50, 52, 55, 62],
+		55: [23, 39, 51, 53, 63],
+		56: [24, 40],
+		57: [41, 49, 56, 59, 61],
+		58: [42, 50, 56, 59, 62],
+		59: [27, 43, 51, 57, 63],
+		60: [44, 52, 56, 61, 62],
+		61: [29, 45, 53, 57, 63],
+		62: [30, 46, 54, 58],
+		63: [47, 55, 59, 61, 62],
+	},
+}
+
+dictionaryCreasesDecreaseKnown: dict[tuple[int, ...], dict[int, list[int]]] = {
+	mapShape2d5: {
+		0: [],
+		1: [0],
+		2: [3],
+		3: [1, 7, 11, 19],
+		4: [5, 6],
+		5: [1, 7, 13, 21],
+		6: [2, 14, 22],
+		7: [5, 6],
+		8: [9, 10, 12],
+		9: [1, 11, 13, 25],
+		10: [2, 14, 26],
+		11: [9, 10, 15],
+		12: [4, 28],
+		13: [9, 12, 15],
+		14: [10, 12, 15],
+		15: [7, 11, 13, 31],
+		16: [17, 18, 20, 24],
+		17: [1, 19, 21, 25],
+		18: [2, 22, 26],
+		19: [17, 18, 23, 27],
+		20: [4, 28],
+		21: [17, 20, 23, 29],
+		22: [18, 20, 23, 30],
+		23: [7, 19, 21, 31],
+		24: [8],
+		25: [17, 24, 27, 29],
+		26: [18, 24, 27, 30],
+		27: [11, 19, 25, 31],
+		28: [20, 24, 29, 30],
+		29: [13, 21, 25, 31],
+		30: [14, 22, 26],
+		31: [23, 27, 29, 30],
+	},
+	mapShape2d6: {
+		0: [],
+		1: [0],
+		2: [3],
+		3: [1, 7, 11, 19, 35],
+		4: [5, 6],
+		5: [1, 7, 13, 21, 37],
+		6: [2, 14, 22, 38],
+		7: [5, 6],
+		8: [9, 10, 12],
+		9: [1, 11, 13, 25, 41],
+		10: [2, 14, 26, 42],
+		11: [9, 10, 15],
+		12: [4, 28, 44],
+		13: [9, 12, 15],
+		14: [10, 12, 15],
+		15: [7, 11, 13, 31, 47],
+		16: [17, 18, 20, 24],
+		17: [1, 19, 21, 25, 49],
+		18: [2, 22, 26, 50],
+		19: [17, 18, 23, 27],
+		20: [4, 28, 52],
+		21: [17, 20, 23, 29],
+		22: [18, 20, 23, 30],
+		23: [7, 19, 21, 31, 55],
+		24: [8, 56],
+		25: [17, 24, 27, 29],
+		26: [18, 24, 27, 30],
+		27: [11, 19, 25, 31, 59],
+		28: [20, 24, 29, 30],
+		29: [13, 21, 25, 31, 61],
+		30: [14, 22, 26, 62],
+		31: [23, 27, 29, 30],
+		32: [33, 34, 36, 40, 48],
+		33: [1, 35, 37, 41, 49],
+		34: [2, 38, 42, 50],
+		35: [33, 34, 39, 43, 51],
+		36: [4, 44, 52],
+		37: [33, 36, 39, 45, 53],
+		38: [34, 36, 39, 46, 54],
+		39: [7, 35, 37, 47, 55],
+		40: [8, 56],
+		41: [33, 40, 43, 45, 57],
+		42: [34, 40, 43, 46, 58],
+		43: [11, 35, 41, 47, 59],
+		44: [36, 40, 45, 46, 60],
+		45: [13, 37, 41, 47, 61],
+		46: [14, 38, 42, 62],
+		47: [39, 43, 45, 46, 63],
+		48: [16],
+		49: [33, 48, 51, 53, 57],
+		50: [34, 48, 51, 54, 58],
+		51: [19, 35, 49, 55, 59],
+		52: [36, 48, 53, 54, 60],
+		53: [21, 37, 49, 55, 61],
+		54: [22, 38, 50, 62],
+		55: [39, 51, 53, 54, 63],
+		56: [40, 48, 57, 58, 60],
+		57: [25, 41, 49, 59, 61],
+		58: [26, 42, 50, 62],
+		59: [43, 51, 57, 58, 63],
+		60: [28, 44, 52],
+		61: [45, 53, 57, 60, 63],
+		62: [46, 54, 58, 60, 63],
+		63: [31, 47, 55, 59, 61],
+	},
+}
+
+def getMapShapesWithData(dataSource: dict[tuple[int, ...], Any]) -> list[tuple[int, ...]]:
+	"""Return list of mapShapes that have test data available in the given dictionary."""
+	return list(dataSource.keys())

mapFolding/tests/dataSamples/__init__.py

@@ -0,0 +1 @@
+"""Test data samples for mapFolding tests."""