or download this
C:\test>rbtcs-form-verify -H=16 -B=16
Using N x 2**16 vectors:
...
32768 : 6981 1908 577 185 61 20 7 2
+ 0 0 0 0 0 0 0 0
49152 : 14573 5450 2241 971 435 200 93 44
+ 21 10 4 2 1 0 0 0
65536 : 24109 11016 5498 2882 1559 862 485 276
+ 159 92 53 31 18 11 6 3