C:\test>rbtcs-form-verify -H=10 -B=32 Using N x 2**32 vectors: 12 : 24 0 24 0 24 0 24 0 24 0 16 : 32 0 31 0 31 0 31 0 31 0 24 : 48 0 48 0 48 0 48 0 48 0 32 : 64 0 64 0 64 0 64 0 64 0 48 : 95 0 95 0 95 0 95 0 96 0 64 : 127 0 127 0 127 0 128 0 128 0 96 : 191 0 191 0 192 0 192 0 192 0 128 : 255 0 256 0 256 0 256 0 256 0 192 : 383 0 383 0 383 0 384 0 384 0 256 : 511 0 512 0 512 0 512 0 512 0 384 : 767 0 768 0 768 0 768 0 768 0 512 : 1023 0 1024 0 1024 0 1024 0 1024 0 768 : 1535 0 1536 0 1536 0 1536 0 1536 0 1024 : 2047 0 2048 0 2048 0 2048 0 2048 0 1536 : 3071 0 3072 0 3072 0 3072 0 3072 0 2048 : 4095 0 4096 0 4096 0 4096 0 4096 0 3072 : 6143 0 6144 0 6144 0 6144 0 6144 0 4096 : 8191 0 8192 0 8192 0 8192 0 8192 0 6144 : 12287 0 12288 0 12288 0 12288 0 12288 0 8192 : 16383 0 16384 0 16383 0 16383 0 16384 0 12288 : 24575 0 24576 0 24576 0 24576 0 24576 0 16384 : 32767 0 32767 0 32767 0 32767 0 32768 0 24576 : 49151 0 49151 0 49152 0 49152 0 49152 0 32768 : 65535 0 65536 0 65536 0 65536 0 65536 0 49152 : 98303 0 98304 0 98304 0 98303 0 98303 0 65536 : 131071 0 131072 0 131071 0 131072 0 131072 0 98304 : 196606 0 196608 0 196607 0 196608 0 196608 0 131072 : 262142 0 262144 0 262144 0 262143 0 262144 0 196608 : 393211 0 393216 0 393216 0 393215 0 393216 0 262144 : 524280 0 524288 0 524287 0 524287 0 524288 0 393216 : 786414 0 786431 0 786431 0 786432 0 786432 0 524288 : 1048544 0 1048575 0 1048576 0 1048576 0 1048576 0 786432 : 1572792 0 1572863 0 1572864 0 1572864 0 1572864 0 1048576 : 2097024 0 2097151 0 2097151 0 2097152 0 2097152 0 1572864 : 3145440 0 3145727 0 3145728 0 3145727 0 3145728 0 2097152 : 4193792 0 4194303 0 4194304 0 4194304 0 4194304 0 3145728 : 6290304 0 6291455 0 6291455 0 6291455 0 6291455 0 4194304 : 8386560 1 8388607 0 8388608 0 8388608 0 8388608 0 6291456 : 12578306 4 12582911 0 12582912 0 12582912 0 12582912 0 8388608 : 16769029 10 16777215 0 16777216 0 16777215 0 16777216 0 12582912 : 25147409 35 25165823 0 25165823 0 25165824 0 25165824 0 16777216 : 33521706 85 33554431 0 33554431 0 33554431 0 33554432 0 25165824 : 50258063 286 50331646 0 50331647 0 50331648 0 50331648 0 33554432 : 66978132 678 67108860 0 67108863 0 67108864 0 67108864 0 50331648 : 100369532 2283 100663276 0 100663295 0 100663296 0 100663296 0 67108864 : 133696160 5397 134217665 0 134217727 0 134217728 0 134217728 0 100663296 : 200156106 18111 201326276 5 201326591 0 201326591 0 201326592 0 134217728 : 266359979 42681 268434469 24 268435455 0 268435455 0 268435455 0 201326592 : 398007464 142383 402648282 179 402653177 0 402653183 0 402653184 0 268435456 : 528654369 333608 536855705 738 536870874 1 536870911 0 536870911 0 402653184 : 787008255 1100214 805232175 5328 805305969 30 805306365 0 805306367 0 536870912 : 1041542872 2548692 1073515796 21337 1073739728 211 1073741802 2 1073741823 0 805306368 : 1539620713 8218836 1609548824 146448 1610591774 3082 1610612273 70 1610612725 1 1073741824 : 2023785226 18623993 2144354575 558473 2147380065 19731 2147479815 755 2147483497 30 1610612736 : 2953695056 57532294 3207472286 3485537 3220308576 247526 3221157361 19018 3221220099 1532 2147483648 : 3837421596 125076314 4257101987 12129165 4290939237 1371778 4294491373 167491 4294907677 21417 3221225472 : 5487393872 357203949 6295545197 63685472 6413893311 13112112 6436324179 2901774 6441061714 670967 4294967296 : 7009904423 721946381 8229596479 188903097 8487725572 56541428 8558136669 18112153 8579512265 6047518