C:\test>rbtcs-form-verify -H=16 -B=16 Using N x 2**16 vectors: 12 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 32 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 48 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 64 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 96 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 128 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 192 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 384 : 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 : 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 768 : 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1024 : 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1536 : 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2048 : 31 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3072 : 70 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4096 : 125 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6144 : 279 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 8192 : 491 38 3 0 0 0 0 0 0 0 0 0 0 0 0 0 12288 : 1083 125 16 2 0 0 0 0 0 0 0 0 0 0 0 0 16384 : 1887 284 47 8 1 0 0 0 0 0 0 0 0 0 0 0 24576 : 4082 877 209 53 13 3 1 0 0 0 0 0 0 0 0 0 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