Tile a grid with dominoes. The width is fixed and small ( cells). Profile has bits. Only possible masks. Enumerate transitions by hand or compute programmatically.
Key: many masks are unreachable. For , only certain patterns work. The recurrence simplifies. Find: (or similar). Small width allows closed-form recurrences. Width is small enough that transitions can be enumerated by hand. Find the pattern in the recurrence.