In reply to Re: Challenge: Chasing Knuth's Conjecture by Anonymous Monk in thread Challenge: Chasing Knuth's Conjecture by kvale