C:\test>rbtcs-form-verify -H=16 -B=16 Using N x 2**16 vectors: 12 : 23 0 23 0 24 0 24 0 24 0 23 0 23 0 23 0 16 : 31 0 31 0 31 0 32 0 32 0 32 0 32 0 32 0 24 : 47 0 47 0 48 0 47 0 48 0 47 0 47 0 47 0 32 : 63 0 63 0 64 0 64 0 64 0 64 0 64 0 64 0 48 : 95 0 95 0 95 0 95 0 95 0 96 0 96 0 96 0 64 : 127 0 127 0 128 0 128 0 128 0 127 0 128 0 127 0 96 : 191 0 191 0 192 0 192 0 192 0 192 0 191 0 191 0 128 : 255 0 255 0 256 0 255 0 256 0 256 0 256 0 256 0 192 : 383 0 383 0 383 0 384 0 384 0 384 0 384 0 384 0 256 : 511 0 511 0 511 0 511 0 512 0 511 0 512 0 512 0 384 : 766 0 767 0 767 0 768 0 768 0 767 0 768 0 767 0 512 : 1022 0 1023 0 1023 0 1024 0 1024 0 1024 0 1024 0 1024 0 768 : 1531 0 1535 0 1535 0 1536 0 1536 0 1536 0 1536 0 1536 0 1024 : 2040 0 2047 0 2047 0 2048 0 2048 0 2048 0 2048 0 2048 0 1536 : 3054 0 3071 0 3071 0 3071 0 3072 0 3072 0 3072 0 3072 0 2048 : 4064 0 4095 0 4095 0 4095 0 4095 0 4096 0 4096 0 4096 0 3072 : 6073 2 6143 0 6143 0 6143 0 6144 0 6144 0 6144 0 6144 0 4096 : 8066 5 8191 0 8191 0 8191 0 8191 0 8191 0 8191 0 8192 0 6144 : 12008 16 12286 0 12287 0 12287 0 12287 0 12287 0 12288 0 12287 0 8192 : 15892 38 16380 0 16383 0 16383 0 16383 0 16383 0 16383 0 16383 0 12288 : 23492 125 24559 2 24575 0 24575 0 24575 0 24575 0 24575 0 24576 0 16384 : 30880 284 32720 8 32766 0 32767 0 32767 0 32767 0 32767 0 32767 0 24576 : 45069 877 48942 53 49138 3 49150 0 49151 0 49151 0 49151 0 49151 0 32768 : 58554 1908 64958 185 65474 20 65528 2 65535 0 65535 0 65535 0 65535 0 49152 : 83730 5450 96062 971 97868 200 98210 44 98282 10 98299 2 98302 0 98303 0 65536 : 106962 11016 125573 2882 129512 862 130586 276 130912 92 131018 31 131053 11 131065 3