Grundy function for turn-at-most-9-coins game.

Terms

a(0) =1a(1) =2a(2) =4a(3) =8a(4) =16a(5) =32a(6) =64a(7) =128a(8) =256a(9) =511a(10) =512a(11) =1024a(12) =2048a(13) =4096a(14) =7711a(15) =8192a(16) =16384a(17) =26215a(18) =32768a(19) =43691a(20) =54613a(21) =65536a(22) =77013a(23) =131072a(24) =143153a(25) =184230a(26) =202940a(27) =262144a(28) =276813a(29) =345179