BLC prefix		parsed term	term applied to input_bits of form \.0 M unread_bits ?

00 00 00                \.\.\.M         FAIL 2^-6
00 00 01 00 00		\.\.(\.\.M) N	FAIL 2^-10
00 00 01 00 01		\.\.(\.M N) O    				? 2^-10
00 00 01 00 10 0        \.\.(\.0) M     				? 2^-11
00 00 01 00 10 1        \.\.(\.0) 0+    FAIL 2^-11
00 00 01 00 11          \.\.(\.1+) M    FAIL 2^-10
00 00 01 01             \.\.M N         				? 2^-8
00 00 01 10             \.\.0 M         FAIL 2^-8
00 00 01 110 00 0       \.\.1 (\.M)     				? 2^-12
00 00 01 110 00 10      \.\.1 (\.0)     FAIL 2^-13
00 00 01 110 00 110     \.\.1 (\.1)     FAIL 2^-14
00 00 01 110 00 111     \.\.1 (\.2+)    FAIL 2^-14
00 00 01 110 01         \.\.1 (M N)    					? 2^-11
00 00 01 110 10         \.\.1 0                         HALT 2^-11
00 00 01 110 11         \.\.1 1+        FAIL 2^-11
00 00 01 111            \.\.2+ M        FAIL 2^-9
00 00 1                 \.\.0+          FAIL 2^-5

00 01 00 00 00          \.(\.\.\.M) N   FAIL 2^-10
00 01 00 00 01          \.(\.\.M N) O   				? 2^-10
00 01 00 00 10          \.(\.\.0) M     FAIL 2^-10
00 01 00 00 11          \.(\.\.1+) M    FAIL 2^-10
00 01 00 01 00          \.(\.(\.M) N) O 				? 2^-10
00 01 00 01 01          \.(\.M N O) P  					? 2^-10
00 01 00 01 1           \.(\.0+ M) N  					? 2^-9
00 01 00 10 00 0        \.(\.0) (\.M)					? 2^-11
00 01 00 10 00 1        \.(\.0) (\.0+)  FAIL 2^-11
00 01 00 10 01          \.(\.0) (M N)             			? 2^-10
00 01 00 10 10          \.(\.0) 0                       HALT 2^-10
00 01 00 10 11          \.(\.0) 1+      FAIL 2^-10
00 01 00 110            \.(\.1) M                       HALT 2^-9
00 01 00 111            \.(\.2+) M      FAIL 2^-9
00 01 01 00             \.(\.M) N O     				? 2^-8
									? 2^-10
									? 2^-11
									? 2^-12
00 01 01 01 01 11       \.1+ M N O P    FAIL 2^-12
00 01 01 01 10          \.0 M N O       				? 2^-10
00 01 01 01 11          \.1+ M N O      FAIL 2^-10
00 01 01 10 00          \.0 (\.M) N                         		? 2^-10
00 01 01 10 01          \.0 (M N) O                         		? 2^-10
00 01 01 10 10          \.0 0 M   			HALT 2^-10
00 01 01 10 11          \.0 1+ M        FAIL 2^-10
00 01 01 11             \.1+ M N        FAIL 2^-8
00 01 10 00 00 10       \.0 (\.\.0)                     HALT 2^-12
00 01 10 00 00 110      \.0 (\.\.1)     FAIL 2^-13
00 01 10 00 1           \.0 (\.0+)      FAIL 2^-9
00 01 10 01 10 10       \.0 (0 0)       FAIL 2^-12
00 01 10 01 10 11       \.0 (0 1+)      FAIL 2^-12
00 01 10 01 11          \.0 (1+ M)      FAIL 2^-10
00 01 10 10             \.0 0           FAIL 2^-8
00 01 10 11             \.0 1+          FAIL 2^-8
00 01 11                \.1+ M          FAIL 2^-6

00 10                   \.0                             HALT 2^-4
00 11                   \.1+            FAIL 2^-4

01 00 00 10             (\.\.0) M                       HALT 2^-8
01 00 00 111            (\.\.2+) M      FAIL 2^-9
01 00 00 11             (\.\.1+) M      FAIL 2^-8
01 00 01 10 10 1        (\.0 0) 0+      FAIL 2^-11
01 00 01 10 110 1       (\.0 1) 0+      FAIL 2^-12
01 00 01 10 1110 1      (\.0 2) 0+      FAIL 2^-13
01 00 10 00 00 10       (\.0) (\.\.0)   FAIL 2^-12
01 00 10 00 00 11       (\.0) (\.\.1+)  FAIL 2^-12
01 00 10 00 10          (\.0) (\.0)                     HALT 2^-10
01 00 10 00 11          (\.0) (\.1+)    FAIL 2^-10
01 00 10 01 1           (\.0) (0+ M)    FAIL 2^-9
01 00 10 1              (\.0) 0+        FAIL 2^-7
01 00 11                (\.1+) M        FAIL 2^-6
01 01 00 10 1           (\.0) 0+ M      FAIL 2^-9
01 01 00 11             (\.1+) M N      FAIL 2^-8
01 01 01 00 10 1        (\.0) 0+ M N    FAIL 2^-11
01 01 01 00 11          (\.1+) M N O    FAIL 2^-10
01 01 01 01 00 10 1     (\.0) 0+ M N O  FAIL 2^-13
01 01 01 01 00 11       (\.1+) M N O P  FAIL 2^-12
01 01 01 01 01 01 1     0+ M N O P R S  FAIL 2^-13
01 01 01 01 01 1        0+ M N O P R    FAIL 2^-11
01 01 01 01 1           0+ M N O P      FAIL 2^-9
01 01 01 1              0+ M N O        FAIL 2^-7
01 01 1                 0+ M N          FAIL 2^-5
01 1                    0+ M            FAIL 2^-3

1                       0+              FAIL 2^-1