Skip to content

Instantly share code, notes, and snippets.

@theonlypwner

theonlypwner/main.c

Last active December 5, 2015 04:07
Show Gist options
  • Save theonlypwner/2dfd743b34826d472d2d to your computer and use it in GitHub Desktop.
Save theonlypwner/2dfd743b34826d472d2d to your computer and use it in GitHub Desktop.
Download ZIP
FSM Verifier
Raw
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;
}
Raw
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment