[aviraldg]

I gave up on TAOCP after the proof of the first algorithm (which is around 2-3 pages long!) It's still on my TO-DO list :P