If they’d used binary with 5 options (‾ _ | / \) for 4 positions, they could have gone up to 2^20 = ~1 million…