FSM Verifier

main.c

#include <stdio.h>

#define MAXSEARCHLEN 9
#define FAST 0

const char next_state[] = {
    2, 2, 2, 5, 6, 2, 2, 0,
    1, 3, 4, 3, 3, 4, 4, 0,
};

char bits[MAXSEARCHLEN], states[MAXSEARCHLEN+1];
int len;

const char *formatseq(const char *src, int len) {
    static int n = -1;
    static char buf[2][MAXSEARCHLEN + 2];

    if (++n == 2)
        n = 0;

    char *dst = buf[n];

    while(len--)
        *dst++ = '0' + *src++;
    *dst = '\0';

    return buf[n];
}

inline const char *formatbits() { return formatseq(bits, len); }
inline const char *formatstates() { return formatseq(states, len + 1); }

inline void pushbit(char b) {
    bits[len] = b;
    states[len+1] = next_state[states[len] | (b ? 8 : 0)];
    ++len;
}

inline void check() {
    int output = (states[len - 1] == (bits[len - 1] ? 6 : 5));
    int expected = len > 3 && (bits[len - 1] ^ bits[len - 4]) && bits[len - 3] && !bits[len - 2];
#if FAST
    if(output ^ expected)
#endif
        printf(
#if FAST
            "[x] %*s - %c / expected %c - states: %s\n",
#else
            "[%c] %*s - %c / expected %c - states: %s\n",
            output ^ expected ? 'x' : 'v',
#endif
            MAXSEARCHLEN,
            formatbits(),
            output + '0',
            expected + '0',
            formatstates());
}

int main(int argc, const char **argv) {
    states[len = 0] = 0;
    for (;;) {
        if (len == MAXSEARCHLEN) {
            // Rewind until we find a zero
            while (bits[--len])
                if (!len)
                    goto DONE;
            pushbit(1);
        } else {
            pushbit(0);
        }
        check();
    }
DONE:
    puts("DONE");
    return 0;
}

out.txt

[v]         0 - 0 / expected 0 - states: 02
[v]        00 - 0 / expected 0 - states: 022
[v]       000 - 0 / expected 0 - states: 0222
[v]      0000 - 0 / expected 0 - states: 02222
[v]     00000 - 0 / expected 0 - states: 022222
[v]    000000 - 0 / expected 0 - states: 0222222
[v]   0000000 - 0 / expected 0 - states: 02222222
[v]  00000000 - 0 / expected 0 - states: 022222222
[v] 000000000 - 0 / expected 0 - states: 0222222222
[v] 000000001 - 0 / expected 0 - states: 0222222224
[v]  00000001 - 0 / expected 0 - states: 022222224
[v] 000000010 - 0 / expected 0 - states: 0222222246
[v] 000000011 - 0 / expected 0 - states: 0222222243
[v]   0000001 - 0 / expected 0 - states: 02222224
[v]  00000010 - 0 / expected 0 - states: 022222246
[v] 000000100 - 0 / expected 0 - states: 0222222462
[v] 000000101 - 1 / expected 1 - states: 0222222464
[v]  00000011 - 0 / expected 0 - states: 022222243
[v] 000000110 - 0 / expected 0 - states: 0222222435
[v] 000000111 - 0 / expected 0 - states: 0222222433
[v]    000001 - 0 / expected 0 - states: 0222224
[v]   0000010 - 0 / expected 0 - states: 02222246
[v]  00000100 - 0 / expected 0 - states: 022222462
[v] 000001000 - 0 / expected 0 - states: 0222224622
[v] 000001001 - 0 / expected 0 - states: 0222224624
[v]  00000101 - 1 / expected 1 - states: 022222464
[v] 000001010 - 0 / expected 0 - states: 0222224646
[v] 000001011 - 0 / expected 0 - states: 0222224643
[v]   0000011 - 0 / expected 0 - states: 02222243
[v]  00000110 - 0 / expected 0 - states: 022222435
[v] 000001100 - 1 / expected 1 - states: 0222224352
[v] 000001101 - 0 / expected 0 - states: 0222224354
[v]  00000111 - 0 / expected 0 - states: 022222433
[v] 000001110 - 0 / expected 0 - states: 0222224335
[v] 000001111 - 0 / expected 0 - states: 0222224333
[v]     00001 - 0 / expected 0 - states: 022224
[v]    000010 - 0 / expected 0 - states: 0222246
[v]   0000100 - 0 / expected 0 - states: 02222462
[v]  00001000 - 0 / expected 0 - states: 022224622
[v] 000010000 - 0 / expected 0 - states: 0222246222
[v] 000010001 - 0 / expected 0 - states: 0222246224
[v]  00001001 - 0 / expected 0 - states: 022224624
[v] 000010010 - 0 / expected 0 - states: 0222246246
[v] 000010011 - 0 / expected 0 - states: 0222246243
[v]   0000101 - 1 / expected 1 - states: 02222464
[v]  00001010 - 0 / expected 0 - states: 022224646
[v] 000010100 - 0 / expected 0 - states: 0222246462
[v] 000010101 - 1 / expected 1 - states: 0222246464
[v]  00001011 - 0 / expected 0 - states: 022224643
[v] 000010110 - 0 / expected 0 - states: 0222246435
[v] 000010111 - 0 / expected 0 - states: 0222246433
[v]    000011 - 0 / expected 0 - states: 0222243
[v]   0000110 - 0 / expected 0 - states: 02222435
[v]  00001100 - 1 / expected 1 - states: 022224352
[v] 000011000 - 0 / expected 0 - states: 0222243522
[v] 000011001 - 0 / expected 0 - states: 0222243524
[v]  00001101 - 0 / expected 0 - states: 022224354
[v] 000011010 - 0 / expected 0 - states: 0222243546
[v] 000011011 - 0 / expected 0 - states: 0222243543
[v]   0000111 - 0 / expected 0 - states: 02222433
[v]  00001110 - 0 / expected 0 - states: 022224335
[v] 000011100 - 1 / expected 1 - states: 0222243352
[v] 000011101 - 0 / expected 0 - states: 0222243354
[v]  00001111 - 0 / expected 0 - states: 022224333
[v] 000011110 - 0 / expected 0 - states: 0222243335
[v] 000011111 - 0 / expected 0 - states: 0222243333
[v]      0001 - 0 / expected 0 - states: 02224
[v]     00010 - 0 / expected 0 - states: 022246
[v]    000100 - 0 / expected 0 - states: 0222462
[v]   0001000 - 0 / expected 0 - states: 02224622
[v]  00010000 - 0 / expected 0 - states: 022246222
[v] 000100000 - 0 / expected 0 - states: 0222462222
[v] 000100001 - 0 / expected 0 - states: 0222462224
[v]  00010001 - 0 / expected 0 - states: 022246224
[v] 000100010 - 0 / expected 0 - states: 0222462246
[v] 000100011 - 0 / expected 0 - states: 0222462243
[v]   0001001 - 0 / expected 0 - states: 02224624
[v]  00010010 - 0 / expected 0 - states: 022246246
[v] 000100100 - 0 / expected 0 - states: 0222462462
[v] 000100101 - 1 / expected 1 - states: 0222462464
[v]  00010011 - 0 / expected 0 - states: 022246243
[v] 000100110 - 0 / expected 0 - states: 0222462435
[v] 000100111 - 0 / expected 0 - states: 0222462433
[v]    000101 - 1 / expected 1 - states: 0222464
[v]   0001010 - 0 / expected 0 - states: 02224646
[v]  00010100 - 0 / expected 0 - states: 022246462
[v] 000101000 - 0 / expected 0 - states: 0222464622
[v] 000101001 - 0 / expected 0 - states: 0222464624
[v]  00010101 - 1 / expected 1 - states: 022246464
[v] 000101010 - 0 / expected 0 - states: 0222464646
[v] 000101011 - 0 / expected 0 - states: 0222464643
[v]   0001011 - 0 / expected 0 - states: 02224643
[v]  00010110 - 0 / expected 0 - states: 022246435
[v] 000101100 - 1 / expected 1 - states: 0222464352
[v] 000101101 - 0 / expected 0 - states: 0222464354
[v]  00010111 - 0 / expected 0 - states: 022246433
[v] 000101110 - 0 / expected 0 - states: 0222464335
[v] 000101111 - 0 / expected 0 - states: 0222464333
[v]     00011 - 0 / expected 0 - states: 022243
[v]    000110 - 0 / expected 0 - states: 0222435
[v]   0001100 - 1 / expected 1 - states: 02224352
[v]  00011000 - 0 / expected 0 - states: 022243522
[v] 000110000 - 0 / expected 0 - states: 0222435222
[v] 000110001 - 0 / expected 0 - states: 0222435224
[v]  00011001 - 0 / expected 0 - states: 022243524
[v] 000110010 - 0 / expected 0 - states: 0222435246
[v] 000110011 - 0 / expected 0 - states: 0222435243
[v]   0001101 - 0 / expected 0 - states: 02224354
[v]  00011010 - 0 / expected 0 - states: 022243546
[v] 000110100 - 0 / expected 0 - states: 0222435462
[v] 000110101 - 1 / expected 1 - states: 0222435464
[v]  00011011 - 0 / expected 0 - states: 022243543
[v] 000110110 - 0 / expected 0 - states: 0222435435
[v] 000110111 - 0 / expected 0 - states: 0222435433
[v]    000111 - 0 / expected 0 - states: 0222433
[v]   0001110 - 0 / expected 0 - states: 02224335
[v]  00011100 - 1 / expected 1 - states: 022243352
[v] 000111000 - 0 / expected 0 - states: 0222433522
[v] 000111001 - 0 / expected 0 - states: 0222433524
[v]  00011101 - 0 / expected 0 - states: 022243354
[v] 000111010 - 0 / expected 0 - states: 0222433546
[v] 000111011 - 0 / expected 0 - states: 0222433543
[v]   0001111 - 0 / expected 0 - states: 02224333
[v]  00011110 - 0 / expected 0 - states: 022243335
[v] 000111100 - 1 / expected 1 - states: 0222433352
[v] 000111101 - 0 / expected 0 - states: 0222433354
[v]  00011111 - 0 / expected 0 - states: 022243333
[v] 000111110 - 0 / expected 0 - states: 0222433335
[v] 000111111 - 0 / expected 0 - states: 0222433333
[v]       001 - 0 / expected 0 - states: 0224
[v]      0010 - 0 / expected 0 - states: 02246
[v]     00100 - 0 / expected 0 - states: 022462
[v]    001000 - 0 / expected 0 - states: 0224622
[v]   0010000 - 0 / expected 0 - states: 02246222
[v]  00100000 - 0 / expected 0 - states: 022462222
[v] 001000000 - 0 / expected 0 - states: 0224622222
[v] 001000001 - 0 / expected 0 - states: 0224622224
[v]  00100001 - 0 / expected 0 - states: 022462224
[v] 001000010 - 0 / expected 0 - states: 0224622246
[v] 001000011 - 0 / expected 0 - states: 0224622243
[v]   0010001 - 0 / expected 0 - states: 02246224
[v]  00100010 - 0 / expected 0 - states: 022462246
[v] 001000100 - 0 / expected 0 - states: 0224622462
[v] 001000101 - 1 / expected 1 - states: 0224622464
[v]  00100011 - 0 / expected 0 - states: 022462243
[v] 001000110 - 0 / expected 0 - states: 0224622435
[v] 001000111 - 0 / expected 0 - states: 0224622433
[v]    001001 - 0 / expected 0 - states: 0224624
[v]   0010010 - 0 / expected 0 - states: 02246246
[v]  00100100 - 0 / expected 0 - states: 022462462
[v] 001001000 - 0 / expected 0 - states: 0224624622
[v] 001001001 - 0 / expected 0 - states: 0224624624
[v]  00100101 - 1 / expected 1 - states: 022462464
[v] 001001010 - 0 / expected 0 - states: 0224624646
[v] 001001011 - 0 / expected 0 - states: 0224624643
[v]   0010011 - 0 / expected 0 - states: 02246243
[v]  00100110 - 0 / expected 0 - states: 022462435
[v] 001001100 - 1 / expected 1 - states: 0224624352
[v] 001001101 - 0 / expected 0 - states: 0224624354
[v]  00100111 - 0 / expected 0 - states: 022462433
[v] 001001110 - 0 / expected 0 - states: 0224624335
[v] 001001111 - 0 / expected 0 - states: 0224624333
[v]     00101 - 1 / expected 1 - states: 022464
[v]    001010 - 0 / expected 0 - states: 0224646
[v]   0010100 - 0 / expected 0 - states: 02246462
[v]  00101000 - 0 / expected 0 - states: 022464622
[v] 001010000 - 0 / expected 0 - states: 0224646222
[v] 001010001 - 0 / expected 0 - states: 0224646224
[v]  00101001 - 0 / expected 0 - states: 022464624
[v] 001010010 - 0 / expected 0 - states: 0224646246
[v] 001010011 - 0 / expected 0 - states: 0224646243
[v]   0010101 - 1 / expected 1 - states: 02246464
[v]  00101010 - 0 / expected 0 - states: 022464646
[v] 001010100 - 0 / expected 0 - states: 0224646462
[v] 001010101 - 1 / expected 1 - states: 0224646464
[v]  00101011 - 0 / expected 0 - states: 022464643
[v] 001010110 - 0 / expected 0 - states: 0224646435
[v] 001010111 - 0 / expected 0 - states: 0224646433
[v]    001011 - 0 / expected 0 - states: 0224643
[v]   0010110 - 0 / expected 0 - states: 02246435
[v]  00101100 - 1 / expected 1 - states: 022464352
[v] 001011000 - 0 / expected 0 - states: 0224643522
[v] 001011001 - 0 / expected 0 - states: 0224643524
[v]  00101101 - 0 / expected 0 - states: 022464354
[v] 001011010 - 0 / expected 0 - states: 0224643546
[v] 001011011 - 0 / expected 0 - states: 0224643543
[v]   0010111 - 0 / expected 0 - states: 02246433
[v]  00101110 - 0 / expected 0 - states: 022464335
[v] 001011100 - 1 / expected 1 - states: 0224643352
[v] 001011101 - 0 / expected 0 - states: 0224643354
[v]  00101111 - 0 / expected 0 - states: 022464333
[v] 001011110 - 0 / expected 0 - states: 0224643335
[v] 001011111 - 0 / expected 0 - states: 0224643333
[v]      0011 - 0 / expected 0 - states: 02243
[v]     00110 - 0 / expected 0 - states: 022435
[v]    001100 - 1 / expected 1 - states: 0224352
[v]   0011000 - 0 / expected 0 - states: 02243522
[v]  00110000 - 0 / expected 0 - states: 022435222
[v] 001100000 - 0 / expected 0 - states: 0224352222
[v] 001100001 - 0 / expected 0 - states: 0224352224
[v]  00110001 - 0 / expected 0 - states: 022435224
[v] 001100010 - 0 / expected 0 - states: 0224352246
[v] 001100011 - 0 / expected 0 - states: 0224352243
[v]   0011001 - 0 / expected 0 - states: 02243524
[v]  00110010 - 0 / expected 0 - states: 022435246
[v] 001100100 - 0 / expected 0 - states: 0224352462
[v] 001100101 - 1 / expected 1 - states: 0224352464
[v]  00110011 - 0 / expected 0 - states: 022435243
[v] 001100110 - 0 / expected 0 - states: 0224352435
[v] 001100111 - 0 / expected 0 - states: 0224352433
[v]    001101 - 0 / expected 0 - states: 0224354
[v]   0011010 - 0 / expected 0 - states: 02243546
[v]  00110100 - 0 / expected 0 - states: 022435462
[v] 001101000 - 0 / expected 0 - states: 0224354622
[v] 001101001 - 0 / expected 0 - states: 0224354624
[v]  00110101 - 1 / expected 1 - states: 022435464
[v] 001101010 - 0 / expected 0 - states: 0224354646
[v] 001101011 - 0 / expected 0 - states: 0224354643
[v]   0011011 - 0 / expected 0 - states: 02243543
[v]  00110110 - 0 / expected 0 - states: 022435435
[v] 001101100 - 1 / expected 1 - states: 0224354352
[v] 001101101 - 0 / expected 0 - states: 0224354354
[v]  00110111 - 0 / expected 0 - states: 022435433
[v] 001101110 - 0 / expected 0 - states: 0224354335
[v] 001101111 - 0 / expected 0 - states: 0224354333
[v]     00111 - 0 / expected 0 - states: 022433
[v]    001110 - 0 / expected 0 - states: 0224335
[v]   0011100 - 1 / expected 1 - states: 02243352
[v]  00111000 - 0 / expected 0 - states: 022433522
[v] 001110000 - 0 / expected 0 - states: 0224335222
[v] 001110001 - 0 / expected 0 - states: 0224335224
[v]  00111001 - 0 / expected 0 - states: 022433524
[v] 001110010 - 0 / expected 0 - states: 0224335246
[v] 001110011 - 0 / expected 0 - states: 0224335243
[v]   0011101 - 0 / expected 0 - states: 02243354
[v]  00111010 - 0 / expected 0 - states: 022433546
[v] 001110100 - 0 / expected 0 - states: 0224335462
[v] 001110101 - 1 / expected 1 - states: 0224335464
[v]  00111011 - 0 / expected 0 - states: 022433543
[v] 001110110 - 0 / expected 0 - states: 0224335435
[v] 001110111 - 0 / expected 0 - states: 0224335433
[v]    001111 - 0 / expected 0 - states: 0224333
[v]   0011110 - 0 / expected 0 - states: 02243335
[v]  00111100 - 1 / expected 1 - states: 022433352
[v] 001111000 - 0 / expected 0 - states: 0224333522
[v] 001111001 - 0 / expected 0 - states: 0224333524
[v]  00111101 - 0 / expected 0 - states: 022433354
[v] 001111010 - 0 / expected 0 - states: 0224333546
[v] 001111011 - 0 / expected 0 - states: 0224333543
[v]   0011111 - 0 / expected 0 - states: 02243333
[v]  00111110 - 0 / expected 0 - states: 022433335
[v] 001111100 - 1 / expected 1 - states: 0224333352
[v] 001111101 - 0 / expected 0 - states: 0224333354
[v]  00111111 - 0 / expected 0 - states: 022433333
[v] 001111110 - 0 / expected 0 - states: 0224333335
[v] 001111111 - 0 / expected 0 - states: 0224333333
[v]        01 - 0 / expected 0 - states: 024
[v]       010 - 0 / expected 0 - states: 0246
[v]      0100 - 0 / expected 0 - states: 02462
[v]     01000 - 0 / expected 0 - states: 024622
[v]    010000 - 0 / expected 0 - states: 0246222
[v]   0100000 - 0 / expected 0 - states: 02462222
[v]  01000000 - 0 / expected 0 - states: 024622222
[v] 010000000 - 0 / expected 0 - states: 0246222222
[v] 010000001 - 0 / expected 0 - states: 0246222224
[v]  01000001 - 0 / expected 0 - states: 024622224
[v] 010000010 - 0 / expected 0 - states: 0246222246
[v] 010000011 - 0 / expected 0 - states: 0246222243
[v]   0100001 - 0 / expected 0 - states: 02462224
[v]  01000010 - 0 / expected 0 - states: 024622246
[v] 010000100 - 0 / expected 0 - states: 0246222462
[v] 010000101 - 1 / expected 1 - states: 0246222464
[v]  01000011 - 0 / expected 0 - states: 024622243
[v] 010000110 - 0 / expected 0 - states: 0246222435
[v] 010000111 - 0 / expected 0 - states: 0246222433
[v]    010001 - 0 / expected 0 - states: 0246224
[v]   0100010 - 0 / expected 0 - states: 02462246
[v]  01000100 - 0 / expected 0 - states: 024622462
[v] 010001000 - 0 / expected 0 - states: 0246224622
[v] 010001001 - 0 / expected 0 - states: 0246224624
[v]  01000101 - 1 / expected 1 - states: 024622464
[v] 010001010 - 0 / expected 0 - states: 0246224646
[v] 010001011 - 0 / expected 0 - states: 0246224643
[v]   0100011 - 0 / expected 0 - states: 02462243
[v]  01000110 - 0 / expected 0 - states: 024622435
[v] 010001100 - 1 / expected 1 - states: 0246224352
[v] 010001101 - 0 / expected 0 - states: 0246224354
[v]  01000111 - 0 / expected 0 - states: 024622433
[v] 010001110 - 0 / expected 0 - states: 0246224335
[v] 010001111 - 0 / expected 0 - states: 0246224333
[v]     01001 - 0 / expected 0 - states: 024624
[v]    010010 - 0 / expected 0 - states: 0246246
[v]   0100100 - 0 / expected 0 - states: 02462462
[v]  01001000 - 0 / expected 0 - states: 024624622
[v] 010010000 - 0 / expected 0 - states: 0246246222
[v] 010010001 - 0 / expected 0 - states: 0246246224
[v]  01001001 - 0 / expected 0 - states: 024624624
[v] 010010010 - 0 / expected 0 - states: 0246246246
[v] 010010011 - 0 / expected 0 - states: 0246246243
[v]   0100101 - 1 / expected 1 - states: 02462464
[v]  01001010 - 0 / expected 0 - states: 024624646
[v] 010010100 - 0 / expected 0 - states: 0246246462
[v] 010010101 - 1 / expected 1 - states: 0246246464
[v]  01001011 - 0 / expected 0 - states: 024624643
[v] 010010110 - 0 / expected 0 - states: 0246246435
[v] 010010111 - 0 / expected 0 - states: 0246246433
[v]    010011 - 0 / expected 0 - states: 0246243
[v]   0100110 - 0 / expected 0 - states: 02462435
[v]  01001100 - 1 / expected 1 - states: 024624352
[v] 010011000 - 0 / expected 0 - states: 0246243522
[v] 010011001 - 0 / expected 0 - states: 0246243524
[v]  01001101 - 0 / expected 0 - states: 024624354
[v] 010011010 - 0 / expected 0 - states: 0246243546
[v] 010011011 - 0 / expected 0 - states: 0246243543
[v]   0100111 - 0 / expected 0 - states: 02462433
[v]  01001110 - 0 / expected 0 - states: 024624335
[v] 010011100 - 1 / expected 1 - states: 0246243352
[v] 010011101 - 0 / expected 0 - states: 0246243354
[v]  01001111 - 0 / expected 0 - states: 024624333
[v] 010011110 - 0 / expected 0 - states: 0246243335
[v] 010011111 - 0 / expected 0 - states: 0246243333
[v]      0101 - 1 / expected 1 - states: 02464
[v]     01010 - 0 / expected 0 - states: 024646
[v]    010100 - 0 / expected 0 - states: 0246462
[v]   0101000 - 0 / expected 0 - states: 02464622
[v]  01010000 - 0 / expected 0 - states: 024646222
[v] 010100000 - 0 / expected 0 - states: 0246462222
[v] 010100001 - 0 / expected 0 - states: 0246462224
[v]  01010001 - 0 / expected 0 - states: 024646224
[v] 010100010 - 0 / expected 0 - states: 0246462246
[v] 010100011 - 0 / expected 0 - states: 0246462243
[v]   0101001 - 0 / expected 0 - states: 02464624
[v]  01010010 - 0 / expected 0 - states: 024646246
[v] 010100100 - 0 / expected 0 - states: 0246462462
[v] 010100101 - 1 / expected 1 - states: 0246462464
[v]  01010011 - 0 / expected 0 - states: 024646243
[v] 010100110 - 0 / expected 0 - states: 0246462435
[v] 010100111 - 0 / expected 0 - states: 0246462433
[v]    010101 - 1 / expected 1 - states: 0246464
[v]   0101010 - 0 / expected 0 - states: 02464646
[v]  01010100 - 0 / expected 0 - states: 024646462
[v] 010101000 - 0 / expected 0 - states: 0246464622
[v] 010101001 - 0 / expected 0 - states: 0246464624
[v]  01010101 - 1 / expected 1 - states: 024646464
[v] 010101010 - 0 / expected 0 - states: 0246464646
[v] 010101011 - 0 / expected 0 - states: 0246464643
[v]   0101011 - 0 / expected 0 - states: 02464643
[v]  01010110 - 0 / expected 0 - states: 024646435
[v] 010101100 - 1 / expected 1 - states: 0246464352
[v] 010101101 - 0 / expected 0 - states: 0246464354
[v]  01010111 - 0 / expected 0 - states: 024646433
[v] 010101110 - 0 / expected 0 - states: 0246464335
[v] 010101111 - 0 / expected 0 - states: 0246464333
[v]     01011 - 0 / expected 0 - states: 024643
[v]    010110 - 0 / expected 0 - states: 0246435
[v]   0101100 - 1 / expected 1 - states: 02464352
[v]  01011000 - 0 / expected 0 - states: 024643522
[v] 010110000 - 0 / expected 0 - states: 0246435222
[v] 010110001 - 0 / expected 0 - states: 0246435224
[v]  01011001 - 0 / expected 0 - states: 024643524
[v] 010110010 - 0 / expected 0 - states: 0246435246
[v] 010110011 - 0 / expected 0 - states: 0246435243
[v]   0101101 - 0 / expected 0 - states: 02464354
[v]  01011010 - 0 / expected 0 - states: 024643546
[v] 010110100 - 0 / expected 0 - states: 0246435462
[v] 010110101 - 1 / expected 1 - states: 0246435464
[v]  01011011 - 0 / expected 0 - states: 024643543
[v] 010110110 - 0 / expected 0 - states: 0246435435
[v] 010110111 - 0 / expected 0 - states: 0246435433
[v]    010111 - 0 / expected 0 - states: 0246433
[v]   0101110 - 0 / expected 0 - states: 02464335
[v]  01011100 - 1 / expected 1 - states: 024643352
[v] 010111000 - 0 / expected 0 - states: 0246433522
[v] 010111001 - 0 / expected 0 - states: 0246433524
[v]  01011101 - 0 / expected 0 - states: 024643354
[v] 010111010 - 0 / expected 0 - states: 0246433546
[v] 010111011 - 0 / expected 0 - states: 0246433543
[v]   0101111 - 0 / expected 0 - states: 02464333
[v]  01011110 - 0 / expected 0 - states: 024643335
[v] 010111100 - 1 / expected 1 - states: 0246433352
[v] 010111101 - 0 / expected 0 - states: 0246433354
[v]  01011111 - 0 / expected 0 - states: 024643333
[v] 010111110 - 0 / expected 0 - states: 0246433335
[v] 010111111 - 0 / expected 0 - states: 0246433333
[v]       011 - 0 / expected 0 - states: 0243
[v]      0110 - 0 / expected 0 - states: 02435
[v]     01100 - 1 / expected 1 - states: 024352
[v]    011000 - 0 / expected 0 - states: 0243522
[v]   0110000 - 0 / expected 0 - states: 02435222
[v]  01100000 - 0 / expected 0 - states: 024352222
[v] 011000000 - 0 / expected 0 - states: 0243522222
[v] 011000001 - 0 / expected 0 - states: 0243522224
[v]  01100001 - 0 / expected 0 - states: 024352224
[v] 011000010 - 0 / expected 0 - states: 0243522246
[v] 011000011 - 0 / expected 0 - states: 0243522243
[v]   0110001 - 0 / expected 0 - states: 02435224
[v]  01100010 - 0 / expected 0 - states: 024352246
[v] 011000100 - 0 / expected 0 - states: 0243522462
[v] 011000101 - 1 / expected 1 - states: 0243522464
[v]  01100011 - 0 / expected 0 - states: 024352243
[v] 011000110 - 0 / expected 0 - states: 0243522435
[v] 011000111 - 0 / expected 0 - states: 0243522433
[v]    011001 - 0 / expected 0 - states: 0243524
[v]   0110010 - 0 / expected 0 - states: 02435246
[v]  01100100 - 0 / expected 0 - states: 024352462
[v] 011001000 - 0 / expected 0 - states: 0243524622
[v] 011001001 - 0 / expected 0 - states: 0243524624
[v]  01100101 - 1 / expected 1 - states: 024352464
[v] 011001010 - 0 / expected 0 - states: 0243524646
[v] 011001011 - 0 / expected 0 - states: 0243524643
[v]   0110011 - 0 / expected 0 - states: 02435243
[v]  01100110 - 0 / expected 0 - states: 024352435
[v] 011001100 - 1 / expected 1 - states: 0243524352
[v] 011001101 - 0 / expected 0 - states: 0243524354
[v]  01100111 - 0 / expected 0 - states: 024352433
[v] 011001110 - 0 / expected 0 - states: 0243524335
[v] 011001111 - 0 / expected 0 - states: 0243524333
[v]     01101 - 0 / expected 0 - states: 024354
[v]    011010 - 0 / expected 0 - states: 0243546
[v]   0110100 - 0 / expected 0 - states: 02435462
[v]  01101000 - 0 / expected 0 - states: 024354622
[v] 011010000 - 0 / expected 0 - states: 0243546222
[v] 011010001 - 0 / expected 0 - states: 0243546224
[v]  01101001 - 0 / expected 0 - states: 024354624
[v] 011010010 - 0 / expected 0 - states: 0243546246
[v] 011010011 - 0 / expected 0 - states: 0243546243
[v]   0110101 - 1 / expected 1 - states: 02435464
[v]  01101010 - 0 / expected 0 - states: 024354646
[v] 011010100 - 0 / expected 0 - states: 0243546462
[v] 011010101 - 1 / expected 1 - states: 0243546464
[v]  01101011 - 0 / expected 0 - states: 024354643
[v] 011010110 - 0 / expected 0 - states: 0243546435
[v] 011010111 - 0 / expected 0 - states: 0243546433
[v]    011011 - 0 / expected 0 - states: 0243543
[v]   0110110 - 0 / expected 0 - states: 02435435
[v]  01101100 - 1 / expected 1 - states: 024354352
[v] 011011000 - 0 / expected 0 - states: 0243543522
[v] 011011001 - 0 / expected 0 - states: 0243543524
[v]  01101101 - 0 / expected 0 - states: 024354354
[v] 011011010 - 0 / expected 0 - states: 0243543546
[v] 011011011 - 0 / expected 0 - states: 0243543543
[v]   0110111 - 0 / expected 0 - states: 02435433
[v]  01101110 - 0 / expected 0 - states: 024354335
[v] 011011100 - 1 / expected 1 - states: 0243543352
[v] 011011101 - 0 / expected 0 - states: 0243543354
[v]  01101111 - 0 / expected 0 - states: 024354333
[v] 011011110 - 0 / expected 0 - states: 0243543335
[v] 011011111 - 0 / expected 0 - states: 0243543333
[v]      0111 - 0 / expected 0 - states: 02433
[v]     01110 - 0 / expected 0 - states: 024335
[v]    011100 - 1 / expected 1 - states: 0243352
[v]   0111000 - 0 / expected 0 - states: 02433522
[v]  01110000 - 0 / expected 0 - states: 024335222
[v] 011100000 - 0 / expected 0 - states: 0243352222
[v] 011100001 - 0 / expected 0 - states: 0243352224
[v]  01110001 - 0 / expected 0 - states: 024335224
[v] 011100010 - 0 / expected 0 - states: 0243352246
[v] 011100011 - 0 / expected 0 - states: 0243352243
[v]   0111001 - 0 / expected 0 - states: 02433524
[v]  01110010 - 0 / expected 0 - states: 024335246
[v] 011100100 - 0 / expected 0 - states: 0243352462
[v] 011100101 - 1 / expected 1 - states: 0243352464
[v]  01110011 - 0 / expected 0 - states: 024335243
[v] 011100110 - 0 / expected 0 - states: 0243352435
[v] 011100111 - 0 / expected 0 - states: 0243352433
[v]    011101 - 0 / expected 0 - states: 0243354
[v]   0111010 - 0 / expected 0 - states: 02433546
[v]  01110100 - 0 / expected 0 - states: 024335462
[v] 011101000 - 0 / expected 0 - states: 0243354622
[v] 011101001 - 0 / expected 0 - states: 0243354624
[v]  01110101 - 1 / expected 1 - states: 024335464
[v] 011101010 - 0 / expected 0 - states: 0243354646
[v] 011101011 - 0 / expected 0 - states: 0243354643
[v]   0111011 - 0 / expected 0 - states: 02433543
[v]  01110110 - 0 / expected 0 - states: 024335435
[v] 011101100 - 1 / expected 1 - states: 0243354352
[v] 011101101 - 0 / expected 0 - states: 0243354354
[v]  01110111 - 0 / expected 0 - states: 024335433
[v] 011101110 - 0 / expected 0 - states: 0243354335
[v] 011101111 - 0 / expected 0 - states: 0243354333
[v]     01111 - 0 / expected 0 - states: 024333
[v]    011110 - 0 / expected 0 - states: 0243335
[v]   0111100 - 1 / expected 1 - states: 02433352
[v]  01111000 - 0 / expected 0 - states: 024333522
[v] 011110000 - 0 / expected 0 - states: 0243335222
[v] 011110001 - 0 / expected 0 - states: 0243335224
[v]  01111001 - 0 / expected 0 - states: 024333524
[v] 011110010 - 0 / expected 0 - states: 0243335246
[v] 011110011 - 0 / expected 0 - states: 0243335243
[v]   0111101 - 0 / expected 0 - states: 02433354
[v]  01111010 - 0 / expected 0 - states: 024333546
[v] 011110100 - 0 / expected 0 - states: 0243335462
[v] 011110101 - 1 / expected 1 - states: 0243335464
[v]  01111011 - 0 / expected 0 - states: 024333543
[v] 011110110 - 0 / expected 0 - states: 0243335435
[v] 011110111 - 0 / expected 0 - states: 0243335433
[v]    011111 - 0 / expected 0 - states: 0243333
[v]   0111110 - 0 / expected 0 - states: 02433335
[v]  01111100 - 1 / expected 1 - states: 024333352
[v] 011111000 - 0 / expected 0 - states: 0243333522
[v] 011111001 - 0 / expected 0 - states: 0243333524
[v]  01111101 - 0 / expected 0 - states: 024333354
[v] 011111010 - 0 / expected 0 - states: 0243333546
[v] 011111011 - 0 / expected 0 - states: 0243333543
[v]   0111111 - 0 / expected 0 - states: 02433333
[v]  01111110 - 0 / expected 0 - states: 024333335
[v] 011111100 - 1 / expected 1 - states: 0243333352
[v] 011111101 - 0 / expected 0 - states: 0243333354
[v]  01111111 - 0 / expected 0 - states: 024333333
[v] 011111110 - 0 / expected 0 - states: 0243333335
[v] 011111111 - 0 / expected 0 - states: 0243333333
[v]         1 - 0 / expected 0 - states: 01
[v]        10 - 0 / expected 0 - states: 012
[v]       100 - 0 / expected 0 - states: 0122
[v]      1000 - 0 / expected 0 - states: 01222
[v]     10000 - 0 / expected 0 - states: 012222
[v]    100000 - 0 / expected 0 - states: 0122222
[v]   1000000 - 0 / expected 0 - states: 01222222
[v]  10000000 - 0 / expected 0 - states: 012222222
[v] 100000000 - 0 / expected 0 - states: 0122222222
[v] 100000001 - 0 / expected 0 - states: 0122222224
[v]  10000001 - 0 / expected 0 - states: 012222224
[v] 100000010 - 0 / expected 0 - states: 0122222246
[v] 100000011 - 0 / expected 0 - states: 0122222243
[v]   1000001 - 0 / expected 0 - states: 01222224
[v]  10000010 - 0 / expected 0 - states: 012222246
[v] 100000100 - 0 / expected 0 - states: 0122222462
[v] 100000101 - 1 / expected 1 - states: 0122222464
[v]  10000011 - 0 / expected 0 - states: 012222243
[v] 100000110 - 0 / expected 0 - states: 0122222435
[v] 100000111 - 0 / expected 0 - states: 0122222433
[v]    100001 - 0 / expected 0 - states: 0122224
[v]   1000010 - 0 / expected 0 - states: 01222246
[v]  10000100 - 0 / expected 0 - states: 012222462
[v] 100001000 - 0 / expected 0 - states: 0122224622
[v] 100001001 - 0 / expected 0 - states: 0122224624
[v]  10000101 - 1 / expected 1 - states: 012222464
[v] 100001010 - 0 / expected 0 - states: 0122224646
[v] 100001011 - 0 / expected 0 - states: 0122224643
[v]   1000011 - 0 / expected 0 - states: 01222243
[v]  10000110 - 0 / expected 0 - states: 012222435
[v] 100001100 - 1 / expected 1 - states: 0122224352
[v] 100001101 - 0 / expected 0 - states: 0122224354
[v]  10000111 - 0 / expected 0 - states: 012222433
[v] 100001110 - 0 / expected 0 - states: 0122224335
[v] 100001111 - 0 / expected 0 - states: 0122224333
[v]     10001 - 0 / expected 0 - states: 012224
[v]    100010 - 0 / expected 0 - states: 0122246
[v]   1000100 - 0 / expected 0 - states: 01222462
[v]  10001000 - 0 / expected 0 - states: 012224622
[v] 100010000 - 0 / expected 0 - states: 0122246222
[v] 100010001 - 0 / expected 0 - states: 0122246224
[v]  10001001 - 0 / expected 0 - states: 012224624
[v] 100010010 - 0 / expected 0 - states: 0122246246
[v] 100010011 - 0 / expected 0 - states: 0122246243
[v]   1000101 - 1 / expected 1 - states: 01222464
[v]  10001010 - 0 / expected 0 - states: 012224646
[v] 100010100 - 0 / expected 0 - states: 0122246462
[v] 100010101 - 1 / expected 1 - states: 0122246464
[v]  10001011 - 0 / expected 0 - states: 012224643
[v] 100010110 - 0 / expected 0 - states: 0122246435
[v] 100010111 - 0 / expected 0 - states: 0122246433
[v]    100011 - 0 / expected 0 - states: 0122243
[v]   1000110 - 0 / expected 0 - states: 01222435
[v]  10001100 - 1 / expected 1 - states: 012224352
[v] 100011000 - 0 / expected 0 - states: 0122243522
[v] 100011001 - 0 / expected 0 - states: 0122243524
[v]  10001101 - 0 / expected 0 - states: 012224354
[v] 100011010 - 0 / expected 0 - states: 0122243546
[v] 100011011 - 0 / expected 0 - states: 0122243543
[v]   1000111 - 0 / expected 0 - states: 01222433
[v]  10001110 - 0 / expected 0 - states: 012224335
[v] 100011100 - 1 / expected 1 - states: 0122243352
[v] 100011101 - 0 / expected 0 - states: 0122243354
[v]  10001111 - 0 / expected 0 - states: 012224333
[v] 100011110 - 0 / expected 0 - states: 0122243335
[v] 100011111 - 0 / expected 0 - states: 0122243333
[v]      1001 - 0 / expected 0 - states: 01224
[v]     10010 - 0 / expected 0 - states: 012246
[v]    100100 - 0 / expected 0 - states: 0122462
[v]   1001000 - 0 / expected 0 - states: 01224622
[v]  10010000 - 0 / expected 0 - states: 012246222
[v] 100100000 - 0 / expected 0 - states: 0122462222
[v] 100100001 - 0 / expected 0 - states: 0122462224
[v]  10010001 - 0 / expected 0 - states: 012246224
[v] 100100010 - 0 / expected 0 - states: 0122462246
[v] 100100011 - 0 / expected 0 - states: 0122462243
[v]   1001001 - 0 / expected 0 - states: 01224624
[v]  10010010 - 0 / expected 0 - states: 012246246
[v] 100100100 - 0 / expected 0 - states: 0122462462
[v] 100100101 - 1 / expected 1 - states: 0122462464
[v]  10010011 - 0 / expected 0 - states: 012246243
[v] 100100110 - 0 / expected 0 - states: 0122462435
[v] 100100111 - 0 / expected 0 - states: 0122462433
[v]    100101 - 1 / expected 1 - states: 0122464
[v]   1001010 - 0 / expected 0 - states: 01224646
[v]  10010100 - 0 / expected 0 - states: 012246462
[v] 100101000 - 0 / expected 0 - states: 0122464622
[v] 100101001 - 0 / expected 0 - states: 0122464624
[v]  10010101 - 1 / expected 1 - states: 012246464
[v] 100101010 - 0 / expected 0 - states: 0122464646
[v] 100101011 - 0 / expected 0 - states: 0122464643
[v]   1001011 - 0 / expected 0 - states: 01224643
[v]  10010110 - 0 / expected 0 - states: 012246435
[v] 100101100 - 1 / expected 1 - states: 0122464352
[v] 100101101 - 0 / expected 0 - states: 0122464354
[v]  10010111 - 0 / expected 0 - states: 012246433
[v] 100101110 - 0 / expected 0 - states: 0122464335
[v] 100101111 - 0 / expected 0 - states: 0122464333
[v]     10011 - 0 / expected 0 - states: 012243
[v]    100110 - 0 / expected 0 - states: 0122435
[v]   1001100 - 1 / expected 1 - states: 01224352
[v]  10011000 - 0 / expected 0 - states: 012243522
[v] 100110000 - 0 / expected 0 - states: 0122435222
[v] 100110001 - 0 / expected 0 - states: 0122435224
[v]  10011001 - 0 / expected 0 - states: 012243524
[v] 100110010 - 0 / expected 0 - states: 0122435246
[v] 100110011 - 0 / expected 0 - states: 0122435243
[v]   1001101 - 0 / expected 0 - states: 01224354
[v]  10011010 - 0 / expected 0 - states: 012243546
[v] 100110100 - 0 / expected 0 - states: 0122435462
[v] 100110101 - 1 / expected 1 - states: 0122435464
[v]  10011011 - 0 / expected 0 - states: 012243543
[v] 100110110 - 0 / expected 0 - states: 0122435435
[v] 100110111 - 0 / expected 0 - states: 0122435433
[v]    100111 - 0 / expected 0 - states: 0122433
[v]   1001110 - 0 / expected 0 - states: 01224335
[v]  10011100 - 1 / expected 1 - states: 012243352
[v] 100111000 - 0 / expected 0 - states: 0122433522
[v] 100111001 - 0 / expected 0 - states: 0122433524
[v]  10011101 - 0 / expected 0 - states: 012243354
[v] 100111010 - 0 / expected 0 - states: 0122433546
[v] 100111011 - 0 / expected 0 - states: 0122433543
[v]   1001111 - 0 / expected 0 - states: 01224333
[v]  10011110 - 0 / expected 0 - states: 012243335
[v] 100111100 - 1 / expected 1 - states: 0122433352
[v] 100111101 - 0 / expected 0 - states: 0122433354
[v]  10011111 - 0 / expected 0 - states: 012243333
[v] 100111110 - 0 / expected 0 - states: 0122433335
[v] 100111111 - 0 / expected 0 - states: 0122433333
[v]       101 - 0 / expected 0 - states: 0124
[v]      1010 - 0 / expected 0 - states: 01246
[v]     10100 - 0 / expected 0 - states: 012462
[v]    101000 - 0 / expected 0 - states: 0124622
[v]   1010000 - 0 / expected 0 - states: 01246222
[v]  10100000 - 0 / expected 0 - states: 012462222
[v] 101000000 - 0 / expected 0 - states: 0124622222
[v] 101000001 - 0 / expected 0 - states: 0124622224
[v]  10100001 - 0 / expected 0 - states: 012462224
[v] 101000010 - 0 / expected 0 - states: 0124622246
[v] 101000011 - 0 / expected 0 - states: 0124622243
[v]   1010001 - 0 / expected 0 - states: 01246224
[v]  10100010 - 0 / expected 0 - states: 012462246
[v] 101000100 - 0 / expected 0 - states: 0124622462
[v] 101000101 - 1 / expected 1 - states: 0124622464
[v]  10100011 - 0 / expected 0 - states: 012462243
[v] 101000110 - 0 / expected 0 - states: 0124622435
[v] 101000111 - 0 / expected 0 - states: 0124622433
[v]    101001 - 0 / expected 0 - states: 0124624
[v]   1010010 - 0 / expected 0 - states: 01246246
[v]  10100100 - 0 / expected 0 - states: 012462462
[v] 101001000 - 0 / expected 0 - states: 0124624622
[v] 101001001 - 0 / expected 0 - states: 0124624624
[v]  10100101 - 1 / expected 1 - states: 012462464
[v] 101001010 - 0 / expected 0 - states: 0124624646
[v] 101001011 - 0 / expected 0 - states: 0124624643
[v]   1010011 - 0 / expected 0 - states: 01246243
[v]  10100110 - 0 / expected 0 - states: 012462435
[v] 101001100 - 1 / expected 1 - states: 0124624352
[v] 101001101 - 0 / expected 0 - states: 0124624354
[v]  10100111 - 0 / expected 0 - states: 012462433
[v] 101001110 - 0 / expected 0 - states: 0124624335
[v] 101001111 - 0 / expected 0 - states: 0124624333
[v]     10101 - 1 / expected 1 - states: 012464
[v]    101010 - 0 / expected 0 - states: 0124646
[v]   1010100 - 0 / expected 0 - states: 01246462
[v]  10101000 - 0 / expected 0 - states: 012464622
[v] 101010000 - 0 / expected 0 - states: 0124646222
[v] 101010001 - 0 / expected 0 - states: 0124646224
[v]  10101001 - 0 / expected 0 - states: 012464624
[v] 101010010 - 0 / expected 0 - states: 0124646246
[v] 101010011 - 0 / expected 0 - states: 0124646243
[v]   1010101 - 1 / expected 1 - states: 01246464
[v]  10101010 - 0 / expected 0 - states: 012464646
[v] 101010100 - 0 / expected 0 - states: 0124646462
[v] 101010101 - 1 / expected 1 - states: 0124646464
[v]  10101011 - 0 / expected 0 - states: 012464643
[v] 101010110 - 0 / expected 0 - states: 0124646435
[v] 101010111 - 0 / expected 0 - states: 0124646433
[v]    101011 - 0 / expected 0 - states: 0124643
[v]   1010110 - 0 / expected 0 - states: 01246435
[v]  10101100 - 1 / expected 1 - states: 012464352
[v] 101011000 - 0 / expected 0 - states: 0124643522
[v] 101011001 - 0 / expected 0 - states: 0124643524
[v]  10101101 - 0 / expected 0 - states: 012464354
[v] 101011010 - 0 / expected 0 - states: 0124643546
[v] 101011011 - 0 / expected 0 - states: 0124643543
[v]   1010111 - 0 / expected 0 - states: 01246433
[v]  10101110 - 0 / expected 0 - states: 012464335
[v] 101011100 - 1 / expected 1 - states: 0124643352
[v] 101011101 - 0 / expected 0 - states: 0124643354
[v]  10101111 - 0 / expected 0 - states: 012464333
[v] 101011110 - 0 / expected 0 - states: 0124643335
[v] 101011111 - 0 / expected 0 - states: 0124643333
[v]      1011 - 0 / expected 0 - states: 01243
[v]     10110 - 0 / expected 0 - states: 012435
[v]    101100 - 1 / expected 1 - states: 0124352
[v]   1011000 - 0 / expected 0 - states: 01243522
[v]  10110000 - 0 / expected 0 - states: 012435222
[v] 101100000 - 0 / expected 0 - states: 0124352222
[v] 101100001 - 0 / expected 0 - states: 0124352224
[v]  10110001 - 0 / expected 0 - states: 012435224
[v] 101100010 - 0 / expected 0 - states: 0124352246
[v] 101100011 - 0 / expected 0 - states: 0124352243
[v]   1011001 - 0 / expected 0 - states: 01243524
[v]  10110010 - 0 / expected 0 - states: 012435246
[v] 101100100 - 0 / expected 0 - states: 0124352462
[v] 101100101 - 1 / expected 1 - states: 0124352464
[v]  10110011 - 0 / expected 0 - states: 012435243
[v] 101100110 - 0 / expected 0 - states: 0124352435
[v] 101100111 - 0 / expected 0 - states: 0124352433
[v]    101101 - 0 / expected 0 - states: 0124354
[v]   1011010 - 0 / expected 0 - states: 01243546
[v]  10110100 - 0 / expected 0 - states: 012435462
[v] 101101000 - 0 / expected 0 - states: 0124354622
[v] 101101001 - 0 / expected 0 - states: 0124354624
[v]  10110101 - 1 / expected 1 - states: 012435464
[v] 101101010 - 0 / expected 0 - states: 0124354646
[v] 101101011 - 0 / expected 0 - states: 0124354643
[v]   1011011 - 0 / expected 0 - states: 01243543
[v]  10110110 - 0 / expected 0 - states: 012435435
[v] 101101100 - 1 / expected 1 - states: 0124354352
[v] 101101101 - 0 / expected 0 - states: 0124354354
[v]  10110111 - 0 / expected 0 - states: 012435433
[v] 101101110 - 0 / expected 0 - states: 0124354335
[v] 101101111 - 0 / expected 0 - states: 0124354333
[v]     10111 - 0 / expected 0 - states: 012433
[v]    101110 - 0 / expected 0 - states: 0124335
[v]   1011100 - 1 / expected 1 - states: 01243352
[v]  10111000 - 0 / expected 0 - states: 012433522
[v] 101110000 - 0 / expected 0 - states: 0124335222
[v] 101110001 - 0 / expected 0 - states: 0124335224
[v]  10111001 - 0 / expected 0 - states: 012433524
[v] 101110010 - 0 / expected 0 - states: 0124335246
[v] 101110011 - 0 / expected 0 - states: 0124335243
[v]   1011101 - 0 / expected 0 - states: 01243354
[v]  10111010 - 0 / expected 0 - states: 012433546
[v] 101110100 - 0 / expected 0 - states: 0124335462
[v] 101110101 - 1 / expected 1 - states: 0124335464
[v]  10111011 - 0 / expected 0 - states: 012433543
[v] 101110110 - 0 / expected 0 - states: 0124335435
[v] 101110111 - 0 / expected 0 - states: 0124335433
[v]    101111 - 0 / expected 0 - states: 0124333
[v]   1011110 - 0 / expected 0 - states: 01243335
[v]  10111100 - 1 / expected 1 - states: 012433352
[v] 101111000 - 0 / expected 0 - states: 0124333522
[v] 101111001 - 0 / expected 0 - states: 0124333524
[v]  10111101 - 0 / expected 0 - states: 012433354
[v] 101111010 - 0 / expected 0 - states: 0124333546
[v] 101111011 - 0 / expected 0 - states: 0124333543
[v]   1011111 - 0 / expected 0 - states: 01243333
[v]  10111110 - 0 / expected 0 - states: 012433335
[v] 101111100 - 1 / expected 1 - states: 0124333352
[v] 101111101 - 0 / expected 0 - states: 0124333354
[v]  10111111 - 0 / expected 0 - states: 012433333
[v] 101111110 - 0 / expected 0 - states: 0124333335
[v] 101111111 - 0 / expected 0 - states: 0124333333
[v]        11 - 0 / expected 0 - states: 013
[v]       110 - 0 / expected 0 - states: 0135
[v]      1100 - 1 / expected 1 - states: 01352
[v]     11000 - 0 / expected 0 - states: 013522
[v]    110000 - 0 / expected 0 - states: 0135222
[v]   1100000 - 0 / expected 0 - states: 01352222
[v]  11000000 - 0 / expected 0 - states: 013522222
[v] 110000000 - 0 / expected 0 - states: 0135222222
[v] 110000001 - 0 / expected 0 - states: 0135222224
[v]  11000001 - 0 / expected 0 - states: 013522224
[v] 110000010 - 0 / expected 0 - states: 0135222246
[v] 110000011 - 0 / expected 0 - states: 0135222243
[v]   1100001 - 0 / expected 0 - states: 01352224
[v]  11000010 - 0 / expected 0 - states: 013522246
[v] 110000100 - 0 / expected 0 - states: 0135222462
[v] 110000101 - 1 / expected 1 - states: 0135222464
[v]  11000011 - 0 / expected 0 - states: 013522243
[v] 110000110 - 0 / expected 0 - states: 0135222435
[v] 110000111 - 0 / expected 0 - states: 0135222433
[v]    110001 - 0 / expected 0 - states: 0135224
[v]   1100010 - 0 / expected 0 - states: 01352246
[v]  11000100 - 0 / expected 0 - states: 013522462
[v] 110001000 - 0 / expected 0 - states: 0135224622
[v] 110001001 - 0 / expected 0 - states: 0135224624
[v]  11000101 - 1 / expected 1 - states: 013522464
[v] 110001010 - 0 / expected 0 - states: 0135224646
[v] 110001011 - 0 / expected 0 - states: 0135224643
[v]   1100011 - 0 / expected 0 - states: 01352243
[v]  11000110 - 0 / expected 0 - states: 013522435
[v] 110001100 - 1 / expected 1 - states: 0135224352
[v] 110001101 - 0 / expected 0 - states: 0135224354
[v]  11000111 - 0 / expected 0 - states: 013522433
[v] 110001110 - 0 / expected 0 - states: 0135224335
[v] 110001111 - 0 / expected 0 - states: 0135224333
[v]     11001 - 0 / expected 0 - states: 013524
[v]    110010 - 0 / expected 0 - states: 0135246
[v]   1100100 - 0 / expected 0 - states: 01352462
[v]  11001000 - 0 / expected 0 - states: 013524622
[v] 110010000 - 0 / expected 0 - states: 0135246222
[v] 110010001 - 0 / expected 0 - states: 0135246224
[v]  11001001 - 0 / expected 0 - states: 013524624
[v] 110010010 - 0 / expected 0 - states: 0135246246
[v] 110010011 - 0 / expected 0 - states: 0135246243
[v]   1100101 - 1 / expected 1 - states: 01352464
[v]  11001010 - 0 / expected 0 - states: 013524646
[v] 110010100 - 0 / expected 0 - states: 0135246462
[v] 110010101 - 1 / expected 1 - states: 0135246464
[v]  11001011 - 0 / expected 0 - states: 013524643
[v] 110010110 - 0 / expected 0 - states: 0135246435
[v] 110010111 - 0 / expected 0 - states: 0135246433
[v]    110011 - 0 / expected 0 - states: 0135243
[v]   1100110 - 0 / expected 0 - states: 01352435
[v]  11001100 - 1 / expected 1 - states: 013524352
[v] 110011000 - 0 / expected 0 - states: 0135243522
[v] 110011001 - 0 / expected 0 - states: 0135243524
[v]  11001101 - 0 / expected 0 - states: 013524354
[v] 110011010 - 0 / expected 0 - states: 0135243546
[v] 110011011 - 0 / expected 0 - states: 0135243543
[v]   1100111 - 0 / expected 0 - states: 01352433
[v]  11001110 - 0 / expected 0 - states: 013524335
[v] 110011100 - 1 / expected 1 - states: 0135243352
[v] 110011101 - 0 / expected 0 - states: 0135243354
[v]  11001111 - 0 / expected 0 - states: 013524333
[v] 110011110 - 0 / expected 0 - states: 0135243335
[v] 110011111 - 0 / expected 0 - states: 0135243333
[v]      1101 - 0 / expected 0 - states: 01354
[v]     11010 - 0 / expected 0 - states: 013546
[v]    110100 - 0 / expected 0 - states: 0135462
[v]   1101000 - 0 / expected 0 - states: 01354622
[v]  11010000 - 0 / expected 0 - states: 013546222
[v] 110100000 - 0 / expected 0 - states: 0135462222
[v] 110100001 - 0 / expected 0 - states: 0135462224
[v]  11010001 - 0 / expected 0 - states: 013546224
[v] 110100010 - 0 / expected 0 - states: 0135462246
[v] 110100011 - 0 / expected 0 - states: 0135462243
[v]   1101001 - 0 / expected 0 - states: 01354624
[v]  11010010 - 0 / expected 0 - states: 013546246
[v] 110100100 - 0 / expected 0 - states: 0135462462
[v] 110100101 - 1 / expected 1 - states: 0135462464
[v]  11010011 - 0 / expected 0 - states: 013546243
[v] 110100110 - 0 / expected 0 - states: 0135462435
[v] 110100111 - 0 / expected 0 - states: 0135462433
[v]    110101 - 1 / expected 1 - states: 0135464
[v]   1101010 - 0 / expected 0 - states: 01354646
[v]  11010100 - 0 / expected 0 - states: 013546462
[v] 110101000 - 0 / expected 0 - states: 0135464622
[v] 110101001 - 0 / expected 0 - states: 0135464624
[v]  11010101 - 1 / expected 1 - states: 013546464
[v] 110101010 - 0 / expected 0 - states: 0135464646
[v] 110101011 - 0 / expected 0 - states: 0135464643
[v]   1101011 - 0 / expected 0 - states: 01354643
[v]  11010110 - 0 / expected 0 - states: 013546435
[v] 110101100 - 1 / expected 1 - states: 0135464352
[v] 110101101 - 0 / expected 0 - states: 0135464354
[v]  11010111 - 0 / expected 0 - states: 013546433
[v] 110101110 - 0 / expected 0 - states: 0135464335
[v] 110101111 - 0 / expected 0 - states: 0135464333
[v]     11011 - 0 / expected 0 - states: 013543
[v]    110110 - 0 / expected 0 - states: 0135435
[v]   1101100 - 1 / expected 1 - states: 01354352
[v]  11011000 - 0 / expected 0 - states: 013543522
[v] 110110000 - 0 / expected 0 - states: 0135435222
[v] 110110001 - 0 / expected 0 - states: 0135435224
[v]  11011001 - 0 / expected 0 - states: 013543524
[v] 110110010 - 0 / expected 0 - states: 0135435246
[v] 110110011 - 0 / expected 0 - states: 0135435243
[v]   1101101 - 0 / expected 0 - states: 01354354
[v]  11011010 - 0 / expected 0 - states: 013543546
[v] 110110100 - 0 / expected 0 - states: 0135435462
[v] 110110101 - 1 / expected 1 - states: 0135435464
[v]  11011011 - 0 / expected 0 - states: 013543543
[v] 110110110 - 0 / expected 0 - states: 0135435435
[v] 110110111 - 0 / expected 0 - states: 0135435433
[v]    110111 - 0 / expected 0 - states: 0135433
[v]   1101110 - 0 / expected 0 - states: 01354335
[v]  11011100 - 1 / expected 1 - states: 013543352
[v] 110111000 - 0 / expected 0 - states: 0135433522
[v] 110111001 - 0 / expected 0 - states: 0135433524
[v]  11011101 - 0 / expected 0 - states: 013543354
[v] 110111010 - 0 / expected 0 - states: 0135433546
[v] 110111011 - 0 / expected 0 - states: 0135433543
[v]   1101111 - 0 / expected 0 - states: 01354333
[v]  11011110 - 0 / expected 0 - states: 013543335
[v] 110111100 - 1 / expected 1 - states: 0135433352
[v] 110111101 - 0 / expected 0 - states: 0135433354
[v]  11011111 - 0 / expected 0 - states: 013543333
[v] 110111110 - 0 / expected 0 - states: 0135433335
[v] 110111111 - 0 / expected 0 - states: 0135433333
[v]       111 - 0 / expected 0 - states: 0133
[v]      1110 - 0 / expected 0 - states: 01335
[v]     11100 - 1 / expected 1 - states: 013352
[v]    111000 - 0 / expected 0 - states: 0133522
[v]   1110000 - 0 / expected 0 - states: 01335222
[v]  11100000 - 0 / expected 0 - states: 013352222
[v] 111000000 - 0 / expected 0 - states: 0133522222
[v] 111000001 - 0 / expected 0 - states: 0133522224
[v]  11100001 - 0 / expected 0 - states: 013352224
[v] 111000010 - 0 / expected 0 - states: 0133522246
[v] 111000011 - 0 / expected 0 - states: 0133522243
[v]   1110001 - 0 / expected 0 - states: 01335224
[v]  11100010 - 0 / expected 0 - states: 013352246
[v] 111000100 - 0 / expected 0 - states: 0133522462
[v] 111000101 - 1 / expected 1 - states: 0133522464
[v]  11100011 - 0 / expected 0 - states: 013352243
[v] 111000110 - 0 / expected 0 - states: 0133522435
[v] 111000111 - 0 / expected 0 - states: 0133522433
[v]    111001 - 0 / expected 0 - states: 0133524
[v]   1110010 - 0 / expected 0 - states: 01335246
[v]  11100100 - 0 / expected 0 - states: 013352462
[v] 111001000 - 0 / expected 0 - states: 0133524622
[v] 111001001 - 0 / expected 0 - states: 0133524624
[v]  11100101 - 1 / expected 1 - states: 013352464
[v] 111001010 - 0 / expected 0 - states: 0133524646
[v] 111001011 - 0 / expected 0 - states: 0133524643
[v]   1110011 - 0 / expected 0 - states: 01335243
[v]  11100110 - 0 / expected 0 - states: 013352435
[v] 111001100 - 1 / expected 1 - states: 0133524352
[v] 111001101 - 0 / expected 0 - states: 0133524354
[v]  11100111 - 0 / expected 0 - states: 013352433
[v] 111001110 - 0 / expected 0 - states: 0133524335
[v] 111001111 - 0 / expected 0 - states: 0133524333
[v]     11101 - 0 / expected 0 - states: 013354
[v]    111010 - 0 / expected 0 - states: 0133546
[v]   1110100 - 0 / expected 0 - states: 01335462
[v]  11101000 - 0 / expected 0 - states: 013354622
[v] 111010000 - 0 / expected 0 - states: 0133546222
[v] 111010001 - 0 / expected 0 - states: 0133546224
[v]  11101001 - 0 / expected 0 - states: 013354624
[v] 111010010 - 0 / expected 0 - states: 0133546246
[v] 111010011 - 0 / expected 0 - states: 0133546243
[v]   1110101 - 1 / expected 1 - states: 01335464
[v]  11101010 - 0 / expected 0 - states: 013354646
[v] 111010100 - 0 / expected 0 - states: 0133546462
[v] 111010101 - 1 / expected 1 - states: 0133546464
[v]  11101011 - 0 / expected 0 - states: 013354643
[v] 111010110 - 0 / expected 0 - states: 0133546435
[v] 111010111 - 0 / expected 0 - states: 0133546433
[v]    111011 - 0 / expected 0 - states: 0133543
[v]   1110110 - 0 / expected 0 - states: 01335435
[v]  11101100 - 1 / expected 1 - states: 013354352
[v] 111011000 - 0 / expected 0 - states: 0133543522
[v] 111011001 - 0 / expected 0 - states: 0133543524
[v]  11101101 - 0 / expected 0 - states: 013354354
[v] 111011010 - 0 / expected 0 - states: 0133543546
[v] 111011011 - 0 / expected 0 - states: 0133543543
[v]   1110111 - 0 / expected 0 - states: 01335433
[v]  11101110 - 0 / expected 0 - states: 013354335
[v] 111011100 - 1 / expected 1 - states: 0133543352
[v] 111011101 - 0 / expected 0 - states: 0133543354
[v]  11101111 - 0 / expected 0 - states: 013354333
[v] 111011110 - 0 / expected 0 - states: 0133543335
[v] 111011111 - 0 / expected 0 - states: 0133543333
[v]      1111 - 0 / expected 0 - states: 01333
[v]     11110 - 0 / expected 0 - states: 013335
[v]    111100 - 1 / expected 1 - states: 0133352
[v]   1111000 - 0 / expected 0 - states: 01333522
[v]  11110000 - 0 / expected 0 - states: 013335222
[v] 111100000 - 0 / expected 0 - states: 0133352222
[v] 111100001 - 0 / expected 0 - states: 0133352224
[v]  11110001 - 0 / expected 0 - states: 013335224
[v] 111100010 - 0 / expected 0 - states: 0133352246
[v] 111100011 - 0 / expected 0 - states: 0133352243
[v]   1111001 - 0 / expected 0 - states: 01333524
[v]  11110010 - 0 / expected 0 - states: 013335246
[v] 111100100 - 0 / expected 0 - states: 0133352462
[v] 111100101 - 1 / expected 1 - states: 0133352464
[v]  11110011 - 0 / expected 0 - states: 013335243
[v] 111100110 - 0 / expected 0 - states: 0133352435
[v] 111100111 - 0 / expected 0 - states: 0133352433
[v]    111101 - 0 / expected 0 - states: 0133354
[v]   1111010 - 0 / expected 0 - states: 01333546
[v]  11110100 - 0 / expected 0 - states: 013335462
[v] 111101000 - 0 / expected 0 - states: 0133354622
[v] 111101001 - 0 / expected 0 - states: 0133354624
[v]  11110101 - 1 / expected 1 - states: 013335464
[v] 111101010 - 0 / expected 0 - states: 0133354646
[v] 111101011 - 0 / expected 0 - states: 0133354643
[v]   1111011 - 0 / expected 0 - states: 01333543
[v]  11110110 - 0 / expected 0 - states: 013335435
[v] 111101100 - 1 / expected 1 - states: 0133354352
[v] 111101101 - 0 / expected 0 - states: 0133354354
[v]  11110111 - 0 / expected 0 - states: 013335433
[v] 111101110 - 0 / expected 0 - states: 0133354335
[v] 111101111 - 0 / expected 0 - states: 0133354333
[v]     11111 - 0 / expected 0 - states: 013333
[v]    111110 - 0 / expected 0 - states: 0133335
[v]   1111100 - 1 / expected 1 - states: 01333352
[v]  11111000 - 0 / expected 0 - states: 013333522
[v] 111110000 - 0 / expected 0 - states: 0133335222
[v] 111110001 - 0 / expected 0 - states: 0133335224
[v]  11111001 - 0 / expected 0 - states: 013333524
[v] 111110010 - 0 / expected 0 - states: 0133335246
[v] 111110011 - 0 / expected 0 - states: 0133335243
[v]   1111101 - 0 / expected 0 - states: 01333354
[v]  11111010 - 0 / expected 0 - states: 013333546
[v] 111110100 - 0 / expected 0 - states: 0133335462
[v] 111110101 - 1 / expected 1 - states: 0133335464
[v]  11111011 - 0 / expected 0 - states: 013333543
[v] 111110110 - 0 / expected 0 - states: 0133335435
[v] 111110111 - 0 / expected 0 - states: 0133335433
[v]    111111 - 0 / expected 0 - states: 0133333
[v]   1111110 - 0 / expected 0 - states: 01333335
[v]  11111100 - 1 / expected 1 - states: 013333352
[v] 111111000 - 0 / expected 0 - states: 0133333522
[v] 111111001 - 0 / expected 0 - states: 0133333524
[v]  11111101 - 0 / expected 0 - states: 013333354
[v] 111111010 - 0 / expected 0 - states: 0133333546
[v] 111111011 - 0 / expected 0 - states: 0133333543
[v]   1111111 - 0 / expected 0 - states: 01333333
[v]  11111110 - 0 / expected 0 - states: 013333335
[v] 111111100 - 1 / expected 1 - states: 0133333352
[v] 111111101 - 0 / expected 0 - states: 0133333354
[v]  11111111 - 0 / expected 0 - states: 013333333
[v] 111111110 - 0 / expected 0 - states: 0133333335
[v] 111111111 - 0 / expected 0 - states: 0133333333
DONE