** 0
seq before: 0
seq after 0

** 1
seq before: 1
seq after 1000

** 2
seq before: 10
seq after 10

** 3
seq before: 11
seq after 1010

** 4
seq before: 100
seq after 100

** 5
seq before: 101
seq after 1100

** 6
seq before: 110
seq after 110

** 7
seq before: 111
seq after 1110

** 8
seq before: 1000
seq after 1

** 9
seq before: 1001
seq after 1001

** 10
seq before: 1010
seq after 11

** 11
seq before: 1011
seq after 1011

** 0
skip before: 0
skip after:  110

** 1
skip before: 1
skip after:  111

** 2
skip before: 10
skip after:  110

** 3
skip before: 11
skip after:  111

** 4
skip before: 100
skip after:  110

** 5
skip before: 101
skip after:  111

** 6
skip before: 110
skip after:  110

** 7
skip before: 111
skip after:  111

** 8
skip before: 1000
skip after:  1110

** 9
skip before: 1001
skip after:  1111

** 10
skip before: 1010
skip after:  1110

** 11
skip before: 1011
skip after:  1111