sum (81 Choose k) from k=0 to 64