Add exact finite-sample counterexample for printed Claim 4 decoder

8815366

verified

SabaPivot commited on 26 days ago