Tip: Click on the bar to expand more detailed information

7
2
0001
2
0111
2
1111
3
00010111
1
10
2
0101
5
00000000000000000000000000000001

Yes
(a&b)
Yes
(b|a)
Yes
T
Yes
(((b|a)&c)|(a&b))
No
Yes
a
Yes
((((a&b)&c)&d)&e)

ok 7 lines, tightest: 4 out of 14 (7 test cases)

4
1
00
1
10
1
01
1
11

Yes
F
No
Yes
a
Yes
T

ok 4 lines, tightest: 0 out of 11 (4 test cases)

16
2
0000
2
1000
2
0100
2
1100
2
0010
2
1010
2
0110
2
1110
2
0001
2
1001
2
0101
2
1101
2
0011
2
1011
2
0111
2
1111

Yes
F
No
No
No
No
No
No
No
Yes
(a&b)
No
Yes
a
No
Yes
b
No
Yes
(b|a)
Yes
T

ok 16 lines, tightest: 1 out of 12 (16 test cases)

256
3
00000000
3
10000000
3
01000000
3
11000000
3
00100000
3
10100000
3
01100000
3
11100000
3
00010000
3
10010000
3
01010000
3
11010000
3
00110000
3
10110000
3
01110000
3
11110000
3
00001000
3
10001000
3
01001000
3
11001000
3
00101000
3
10101000
3
01101000
3
11101000
3
00011000
3
10011000
3
01011000...

Yes
F
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
...

ok 256 lines, tightest: 4 out of 14 (256 test cases)

65536
4
0000000000000000
4
1000000000000000
4
0100000000000000
4
1100000000000000
4
0010000000000000
4
1010000000000000
4
0110000000000000
4
1110000000000000
4
0001000000000000
4
1001000000000000
4
0101000000000000
4
1101000000000000
4
0011000000000000
4
1011000000000000
4
0111000000000000
4
1111000...

Yes
F
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
No
...

ok 65536 lines, tightest: 8 out of 18 (65536 test cases)

168
4
0000000000000000
4
0000000000000001
4
0000000000000011
4
0000000000000101
4
0000000000000111
4
0000000000001111
4
0000000000010001
4
0000000000010011
4
0000000000010101
4
0000000000010111
4
0000000000011111
4
0000000000110011
4
0000000000110111
4
0000000000111111
4
0000000001010101
4
000000000...

Yes
F
Yes
(((a&b)&c)&d)
Yes
((b&c)&d)
Yes
((a&c)&d)
Yes
(((b|a)&c)&d)
Yes
(c&d)
Yes
((a&b)&d)
Yes
(((b&c)|(a&b))&d)
Yes
(((a&c)|(a&b))&d)
Yes
((((b|a)&c)|(a&b))&d)
Yes
((c|(a&b))&d)
Yes
(b&d)
Yes
(((a&c)|b)&d)
Yes
((c|b)&d)
Yes
(a&d)
Yes
(((b&c)|a)&d)
Yes
((c|a)&d)
Yes
((b|a)&d)
Yes
((c|(b|a))&d)
Ye...

ok 168 lines, tightest: 8 out of 18 (168 test cases)

7581
5
00000000000000000000000000000000
5
00000000000000000000000000000001
5
00000000000000000000000000000011
5
00000000000000000000000000000101
5
00000000000000000000000000000111
5
00000000000000000000000000001111
5
00000000000000000000000000010001
5
00000000000000000000000000010011
5
0000000000000...

Yes
F
Yes
((((a&b)&c)&d)&e)
Yes
(((b&c)&d)&e)
Yes
(((a&c)&d)&e)
Yes
((((b|a)&c)&d)&e)
Yes
((c&d)&e)
Yes
(((a&b)&d)&e)
Yes
((((b&c)|(a&b))&d)&e)
Yes
((((a&c)|(a&b))&d)&e)
Yes
(((((b|a)&c)|(a&b))&d)&e)
Yes
(((c|(a&b))&d)&e)
Yes
((b&d)&e)
Yes
((((a&c)|b)&d)&e)
Yes
(((c|b)&d)&e)
Yes
((a&d)&e)
Yes
((((b&...

ok 7581 lines, tightest: 18 out of 26 (7581 test cases)

14
1
01
2
0111
3
00010111
4
0001011101111111
5
00000001000101110001011101111111
6
0000000100010111000101110111111100010111011111110111111111111111
7
00000000000000010000000100010111000000010001011100010111011111110000000100010111000101110111111100010111011111110111111111111111
8
00000000000000010000...

Yes
a
Yes
(b|a)
Yes
(((b|a)&c)|(a&b))
Yes
(((c|(b|a))&d)|(((b|a)&c)|(a&b)))
Yes
(((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&e)|(((((b|a)&c)|(a&b))&d)|((a&b)&c)))
Yes
(((((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b))))&f)|(((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&e)|(((((b|a)&c)|(a&b))&d)|((a&b)&c))))
Yes
((((...

ok 14 lines, tightest: 68 out of 74 (14 test cases)

14
1
01
2
0001
3
00010111
4
0000000100010111
5
00000001000101110001011101111111
6
0000000000000001000000010001011100000001000101110001011101111111
7
00000000000000010000000100010111000000010001011100010111011111110000000100010111000101110111111100010111011111110111111111111111
8
00000000000000000000...

Yes
a
Yes
(a&b)
Yes
(((b|a)&c)|(a&b))
Yes
(((((b|a)&c)|(a&b))&d)|((a&b)&c))
Yes
(((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&e)|(((((b|a)&c)|(a&b))&d)|((a&b)&c)))
Yes
(((((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&e)|(((((b|a)&c)|(a&b))&d)|((a&b)&c)))&f)|(((((((b|a)&c)|(a&b))&d)|((a&b)&c))&e)|(((a&b)&c)&d)))
Yes
((((...

ok 14 lines, tightest: 68 out of 74 (14 test cases)

14
1
00
2
0001
3
00000001
4
0000000100010111
5
00000000000000010000000100010111
6
0000000000000001000000010001011100000001000101110001011101111111
7
00000000000000000000000000000001000000000000000100000001000101110000000000000001000000010001011100000001000101110001011101111111
8
00000000000000000000...

Yes
F
Yes
(a&b)
Yes
((a&b)&c)
Yes
(((((b|a)&c)|(a&b))&d)|((a&b)&c))
Yes
(((((((b|a)&c)|(a&b))&d)|((a&b)&c))&e)|(((a&b)&c)&d))
Yes
(((((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&e)|(((((b|a)&c)|(a&b))&d)|((a&b)&c)))&f)|(((((((b|a)&c)|(a&b))&d)|((a&b)&c))&e)|(((a&b)&c)&d)))
Yes
(((((((((c|(b|a))&d)|(((b|a)&c)|...

ok 14 lines, tightest: 33 out of 42 (14 test cases)

14
1
00
2
0000
3
00000001
4
0000000000000001
5
00000000000000010000000100010111
6
0000000000000000000000000000000100000000000000010000000100010111
7
00000000000000000000000000000001000000000000000100000001000101110000000000000001000000010001011100000001000101110001011101111111
8
00000000000000000000...

Yes
F
Yes
F
Yes
((a&b)&c)
Yes
(((a&b)&c)&d)
Yes
(((((((b|a)&c)|(a&b))&d)|((a&b)&c))&e)|(((a&b)&c)&d))
Yes
(((((((((b|a)&c)|(a&b))&d)|((a&b)&c))&e)|(((a&b)&c)&d))&f)|((((a&b)&c)&d)&e))
Yes
(((((((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&e)|(((((b|a)&c)|(a&b))&d)|((a&b)&c)))&f)|(((((((b|a)&c)|(a&b))&d)|((a&b)...

ok 14 lines, tightest: 0 out of 11 (14 test cases)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

Yes
(((((((((((((((h|(g|(f|(e|(d|(c|(b|a)))))))&i)|(((g|(f|(e|(d|(c|(b|a))))))&h)|(((f|(e|(d|(c|(b|a)))))&g)|(((e|(d|(c|(b|a))))&f)|(((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b))))))))&j)|(((((g|(f|(e|(d|(c|(b|a))))))&h)|(((f|(e|(d|(c|(b|a)))))&g)|(((e|(d|(c|(b|a))))&f)|(((d|(c|(b|a)))&e)|(((c|...

ok 1 lines, tightest: 12868 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000100000000000000010000000100010111000000000000000000000000000000000000000...

Yes
(((((((((((((i|(h|(g|(f|(e|(d|(c|(b|a))))))))&j)|(((h|(g|(f|(e|(d|(c|(b|a)))))))&i)|(((g|(f|(e|(d|(c|(b|a))))))&h)|(((f|(e|(d|(c|(b|a)))))&g)|(((e|(d|(c|(b|a))))&f)|(((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b)))))))))&k)|(((((h|(g|(f|(e|(d|(c|(b|a)))))))&i)|(((g|(f|(e|(d|(c|(b|a))))))&h)|(...

ok 1 lines, tightest: 11438 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((((((g|(f|(e|(d|(c|(b|a))))))&h)|(((f|(e|(d|(c|(b|a)))))&g)|(((e|(d|(c|(b|a))))&f)|(((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b)))))))&i)|(((((f|(e|(d|(c|(b|a)))))&g)|(((e|(d|(c|(b|a))))&f)|(((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b))))))&h)|(((((e|(d|(c|(b|a))))&f)|(((d|...

ok 1 lines, tightest: 11438 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((((((((f|(e|(d|(c|(b|a)))))&g)|(((e|(d|(c|(b|a))))&f)|(((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b))))))&h)|(((((e|(d|(c|(b|a))))&f)|(((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b)))))&g)|(((((d|(c|(b|a)))&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b))))&f)|(((((c|(b|a))&d)|(((b|a)&c)|(...

ok 1 lines, tightest: 8006 out of 16394 (1 test case)

65536
6
0000001101111111000111111111111101111111111111111111111111111111
6
0000000000000000000100110011011100000000000000000001001100111111
6
0101010101110111011101111111111101110111111111111111111111111111
6
0000001100000011000000110001011100011111001111110011111100111111
6
000000010001011100000001...

Yes
(((e|(d|(c|(b|a))))&f)|(((d|(c|(a&b)))&e)|(((c|(b|a))&d)|(b&c))))
Yes
((((c&d)&e)&f)|(((((a&c)|b)&d)|((b&c)|(a&b)))&e))
Yes
(((e|(d|b))&f)|(((d|b)&e)|((b&d)|a)))
Yes
((((b&e)|((b&d)|(c|(a&b))))&f)|(((((a&c)|(a&b))&d)&e)|(b&c)))
Yes
((((b&d)|(((b|a)&c)|(a&b)))&f)|(((((b|a)&c)|(a&b))&d)|((a&b)&c))...

ok 65536 lines, tightest: 33 out of 42 (65536 test cases)

65536
7
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
7
00000001000100010001000101110111000100010111011101110111011111110001000101110111011101110111111100010001011101110111011111111111
7
000000010001001100000001001101...

Yes
((((((a&b)&c)&d)&e)&f)&g)
Yes
(((((d&e)&f)|((((c&d)|(b|a))&e)|(((b|a)&d)|(a&b))))&g)|((((((c&d)|(b|a))&e)|(((b|a)&d)|(a&b)))&f)|(((((b|a)&d)|(a&b))&e)|(((a&b)&d)|((a&b)&c)))))
Yes
(((((d&e)&f)|((b&c)&e))&g)|((((((a&c)|b)&e)|(((c|(b|a))&d)|((b&c)|(a&b))))&f)|(((((a&c)|b)&d)&e)|((((b&c)|(a&b))&d)|...

ok 65536 lines, tightest: 68 out of 74 (65536 test cases)

16384
8
0000000000000000000000000000000000000000000000000000000000010001000000000000000000000000000100010000000000010001000100010011011100000000000000000000000000010001000000000001000100010001011101110000000000000001000100010011011100010001000101110011011101111111
8
000101010101011100010101011101110...

Yes
((((((((((c&d)|((a&c)|b))&e)|((((b|a)&c)&d)|(a&b)))&f)|((((((a&c)|b)&d)|(a&b))&e)|(((a&b)&c)&d)))&g)|(((((((b|a)&d)|(a&b))&e)|((a&b)&d))&f)|(((a&b)&d)&e)))&h)|((((((((((a&c)|b)&d)|(a&b))&e)|((a&b)&d))&f)|(((a&b)&d)&e))&g)|((((a&b)&d)&e)&f)))
Yes
(((g|(f|((b&e)|(d|((b&c)|a)))))&h)|(((f|(d|(c|(b|a...

ok 16384 lines, tightest: 119 out of 138 (16384 test cases)

4096
9
00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000111000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000010001011100000...

Yes
(((((((e&f)&g)|((c&d)&e))&h)|(((((((((b|a)&c)|(a&b))&d)|((a&b)&c))&f)|((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&e))&g)|(((((d|(c|(b|a)))&e)|(((a&b)&c)&d))&f)|((((((b|a)&c)|(a&b))&d)|((a&b)&c))&e))))&i)|((((((((a&b)&d)|((a&b)&c))&e)&f)&g)&h)|(((((((b|a)&c)&d)&e)&f)&g)|(((((a&b)&c)&d)&e)&f))))
Yes
(((((e...

ok 4096 lines, tightest: 237 out of 266 (4096 test cases)

1024
10
0000000000000000000000000000000100000000000000110000000000000011000000000000000100000000000000110000000000000011000000010000001100000000000000110000000000000011000000000000001100000011000001110000000000000011000000000000001100000011000001110000001100011111000000000000001100000000000000110000...

Yes
(((((((((((c|(a&b))&e)|(a&c))&g)|(((d|b)&f)|((a&c)&e)))&h)|((((d|b)&f)&g)|((((((a&d)|b)&e)|c)&f)|(((c|b)&d)|(b&c)))))&i)|(((((((((d|b)&e)|(c|(a&b)))&f)|(b&d))&g)|(((((c|(a&b))&e)|(a&c))&f)|(((b&d)&e)|(((c|(a&b))&d)|(b&c)))))&h)|(((((c&e)&f)|(((b&d)&e)|(((c|(a&b))&d)|(b&c))))&g)|(((((c|b)&d)|(b&c...

ok 1024 lines, tightest: 370 out of 522 (1024 test cases)

256
11
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((e|a)&f)|((((c&d)|(a&b))&e)|(b&d)))&h)|((((b&e)&f)&g)|(((((c&d)|(a&b))&e)|(b&d))&f)))&i)|((((((((a&c)&d)&f)|((((a&b)&c)&d)&e))&g)|(((((c&d)|b)&e)|(b&d))&f))&h)|(((((a&b)&c)&d)&e)&f)))&j)|(((((((a&b)&e)&f)&g)|((((((a&c)|b)&d)&e)|(((a&b)&d)|(b&c)))&f))&h)&i))&k)|(((((((((e&f)&g)|((((a&e)...

ok 256 lines, tightest: 665 out of 1034 (256 test cases)

64
12
000101011111111101111111111111110001011111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001010111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001011111111111111111111111111101111111111111111111111111111111011111...

Yes
(((k|(((c|a)&j)|(i|(((((c&f)|a)&g)&h)|((a&f)|(e|(b&c)))))))&l)|(((j|(i|((g&h)|(f|(e|(c|(b|a)))))))&k)|((((((f&h)|(f&g))&i)|(e|(b&c)))&j)|(((e|(c|(b|a)))&i)|((((e&f)&g)&h)|(((b&c)&g)|(((b&c)&f)|(((c|(b|a))&e)|(d|((a&c)|(a&b)))))))))))
Yes
(((((((((((b&d)&g)&h)&i)|(((((a&b)&c)&d)&h)|((((((a&b)&d)&...

ok 64 lines, tightest: 1266 out of 2058 (64 test cases)

16
13
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000011111111111111111111111111111100000000000000000000000000000000000000...

Yes
(((((((((((h|(((e|((c|b)&d))&g)|(((d|(c|b))&f)|((((a&b)&c)&d)&e))))&i)|((((d&e)|(((c|(a&b))&d)|(b&c)))&h)|((((((c|b)&d)|(b&c))&e)&g)|((((c|(a&b))&e)|((b&c)&d))&f))))&j)|((((((((a&d)|(c|b))&g)|((a&f)|(((b&c)&d)&e)))&h)|((((a&e)|(((c|b)&d)|(b&c)))&f)&g))&i)|(((((((a&c)&e)|((b&c)&d))&g)|((((d|b)&e)...

ok 16 lines, tightest: 1774 out of 4106 (16 test cases)

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((c&e)&g)|((((c&d)|b)&e)|(b&c)))&j)|((((c&e)|(b&c))&i)|(((((b&c)&e)&g)&h)|(((b&f)&g)|((a&c)&f)))))&k)|(((((((a&e)|((a&c)|(a&b)))&h)&i)|(c&f))&j)|(((((a&f)&h)|((b&c)&e))&i)|(((((c&e)|(b&c))&f)&h)|((((a&c)&e)|((a&b)&c))&f)))))&l)|(((((((((b&e)&h)|((((a&b)&e)&g)|(a&f)))&i)|((((a&e)|(a&b)...

ok 4 lines, tightest: 2231 out of 8202 (4 test cases)

4
14
0000000000000000000000000000000000000000000000000001000100010101000000000000000101010101010101010001010101010101011101110111111100000000000000000000000000000001000000000000000000010101010101010000000100010001010101010101011101010101010101010111111111111111000000000000000000010101010101010000000...

Yes
(((((((((((((d&g)|((a&d)|(a&c)))&h)&j)|((((g&h)|(((c&d)&f)|(d&e)))&i)|((((a&b)&d)&h)|((b&e)&f))))&k)|((((a&i)|((((a&c)&d)&h)|(((d|c)&e)&f)))&j)|(((((d|c)&g)&h)&i)|((((b&f)&g)&h)|(((b&d)&e)&f)))))&l)|(((((((b&f)&i)|((((e|((b&c)&d))&f)|(((b&d)|(b&c))&e))&h))&j)|(((((d|c)&f)|((b&c)&d))&g)|(((a&c)&f...

ok 4 lines, tightest: 1539 out of 8202 (4 test cases)

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
((((((((((((((((a&e)&f)&g)|((((a&b)&e)&f)|(c&d)))&i)|((((c&d)&e)&h)|(((b&c)&d)&g)))&j)|(((((b&e)&g)&h)&i)|(((((c&d)&e)&f)&h)|((((a&b)&c)&e)&g))))&k)|((((((((((e&f)|((b&d)|c))&g)|(((b&e)&f)|((c&d)|(b&c))))&h)|((((((b&d)|c)&f)|(b&e))&g)|((((d&e)|(b&c))&f)|((a&c)&d))))&i)|(((((b&c)&d)&g)&h)|(((((((...

ok 4 lines, tightest: 3380 out of 8202 (4 test cases)

4
14
0000000000000000000000000001001100000000000000110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110001001100111111001100111111111100110011111111110011001111111111000000000011001100000011001101110000000...

Yes
(((((((((j|(f|(e|(c|a))))&k)|(((((c|a)&f)|e)&j)|(h|(g|(((e|(a&c))&f)|(c&e))))))&l)|(((((h|((c|a)&g))&j)|(i|(((f|(e|(c|a)))&h)|(((f|(e|(a&c)))&g)|(d|b)))))&k)|(((i|((((c&f)|((c|a)&e))&h)|((((e&f)|((a&c)&e))&g)|(d|b))))&j)|(((f|(e|c))&i)|(((g|((e&f)|((a&c)&e)))&h)|((((c&e)&f)&g)|(((d|b)&f)|(((d|b)...

ok 4 lines, tightest: 1911 out of 8202 (4 test cases)

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000001000000000000000000000000000000000000000...

Yes
(((((((((((((((((e&f)&g)|d)&h)|((a&f)|((d&e)|c)))&i)|(((((d&e)&g)|(c&f))&h)|((((a&f)|(c|b))&g)|((b&e)&f))))&j)|(((((((((b&e)&f)|(a&d))&g)|(((a&d)&f)|(((c&d)&e)|(b&d))))&h)|((((a&d)&e)&g)|((((a&c)|(a&b))&f)|(((b&d)&e)|(b&c)))))&i)|(((((((a&c)&f)|((b&d)&e))&g)|((b&c)&f))&h)|(((((a&b)&f)|((b&c)&e))...

ok 4 lines, tightest: 2370 out of 8202 (4 test cases)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((((((((((b&d)|((b&c)|(a&b)))&e)&f)|(((((b&c)|(a&b))&d)|((a&b)&c))&e))&h)|((((((b&c)&d)&e)&f)&g)|((((((a&b)&d)|((a&b)&c))&e)&f)|((((a&b)&c)&d)&e))))&i)|((((((((a&d)|(a&c))&e)&f)|(((a&c)&d)&e))&g)|(((a&c)&d)&f))&h))&j)|((((((((((((b&c)|(a&b))&d)|((a&b)&c))&f)|(((a&b)&c)&d))&g)|((((((c|...

ok 1 lines, tightest: 1174 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((((a&g)&i)|((d&g)|e))&j)|(((h|((((b&d)|((a&b)&c))&g)|(b&e)))&i)|(((((b&f)&g)|(d|c))&h)|((((b&c)&d)&g)|(((b&d)|(b&c))&e)))))&k)|((((((b&g)|(f|(d|c)))&i)|(h|(((e|((b&d)|(b&c)))&g)|(((e|(d|c))&f)|((b&e)|(c&d))))))&j)|(((((g|(f|b))&h)|((e&g)|(((e|(d|c))&f)|(c&d))))&i)|(((((d|c)&g)|(((d|c...

ok 1 lines, tightest: 2177 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

Yes
((((((((((((((((d&h)|(((f|a)&g)|((a&f)|(e|(c|b)))))&i)|(((e|(c|b))&h)|(((a&f)&g)|(((c|b)&e)|(b&c)))))&j)|((((((d&g)|((d&f)|(a&d)))&h)|((((a&f)|((d&e)|((c&d)|b)))&g)|((((d&e)|((c|b)&d))&f)|(((a&d)&e)|(((a&c)|(a&b))&d)))))&i)|(((((e|(c|b))&g)|(((e|(c|b))&f)|((a&e)|((a&c)|(a&b)))))&h)|(((((c|b)&e)|...

ok 1 lines, tightest: 4807 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110000000000000000000000000000001100000000000000110000001100111111000000000000000000000000000000000000000...

Yes
(((((((((((((((d|b)&e)|(c&d))&j)|(((a&d)&i)|((((a&d)|(a&b))&h)|(((b&d)&g)|(((b&d)&f)|(c&e))))))&k)|((((((a&h)|(((d|b)&g)|(((d|b)&f)|(b&d))))&i)|(((((f|(d|b))&g)|((d|b)&f))&h)|((((a&d)&e)&f)|((((a&b)&d)&e)|(((a&b)&c)&d)))))&j)|(((((e|c)&g)|(((e|c)&f)|(((d|b)&e)|((c&d)|(b&c)))))&i)|(((((e|c)&g)|((...

ok 1 lines, tightest: 3651 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((((((((a&f)&g)|((((c&e)|(b&c))&f)|(((d|((b|a)&c))&e)|((b&d)|((a&b)&c)))))&h)|(((((d&e)|(a&d))&f)&g)|(((b&c)&d)&e)))&i)|((((((((b|a)&e)|((c&d)|(a&b)))&f)|(((c&d)&e)|(((b|a)&c)&d)))&g)&h)|(((((((b&d)|((a&b)&c))&e)&f)|(((a&b)&d)&e))&g)|((((a&d)&e)|((a&b)&d))&f))))&j)|((((((((((c&e)|(b&c...

ok 1 lines, tightest: 2531 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010100000000000000000000000001010101000000000000000000000000000000000000000...

Yes
(((((((((((((f|(b&c))&j)|((b&i)|(((f|(b&c))&g)|(((c|b)&e)|((b&d)|((a&c)|(a&b)))))))&k)|(((((g|(((b&c)&f)|d))&i)|(((f|(b&c))&h)|(((e|(d|a))&g)|((((c|b)&e)|(((b&c)&d)|((a&c)|(a&b))))&f))))&j)|(((((c|b)&h)|(((b&f)&g)|((e|(((c|b)&d)|a))&f)))&i)|(((((f|(b&c))&g)|(((c|b)&e)|(((c|b)&d)|((a&c)|(a&b)))))...

ok 1 lines, tightest: 3508 out of 16394 (1 test case)

65536
7
00000000000000010000000100000101000000000001011100000101010111110000000100000001000001110001011100000101001101110011011111111111
7
00000000000000010000000000010111000000000000011100000001011111110000000100000001000000110011011100010101001101110011111111111111
7
000000000000000000000001000100...

Yes
(((((((d|b)&e)|((b&d)|(a&c)))&f)|(((((a&b)&d)|((b|a)&c))&e)|((a&b)&c)))&g)|(((((((c|a)&d)|(a&c))&e)|((((b|a)&c)|(a&b))&d))&f)|(((((a&c)&d)|((a&b)&c))&e)|(((a&b)&c)&d))))
Yes
(((((((d|(c|b))&e)|((b&d)|((a&c)|(a&b))))&f)|((((b&d)|(b&c))&e)|((a&b)&c)))&g)|(((((((c|(b|a))&d)|((a&b)&c))&e)|(((b|a)&c)...

ok 65536 lines, tightest: 60 out of 74 (65536 test cases)

1024
10
0000000000000000000000000000000000000000000000000000000000000011000000000000000000000001000001110000000000000111000101010111011100000000000000000000000000000111000000010001011100010011000101110000000100000001000001110001011100000101011111110101111111111111000000000000000100000000000100010000...

Yes
(((((((((f|a)&g)|(((e|(c|a))&f)|(((d|(c|a))&e)|(((c|(b|a))&d)|(a&c)))))&h)|((((b&f)|(((d|(b|a))&e)|(((c|a)&d)|(b&c))))&g)|(((((c|b)&e)|((c&d)|((b|a)&c)))&f)|(((((c|a)&d)|(a&c))&e)|((a&b)&c)))))&i)|(((((((d|(c|(b|a)))&f)|(((d|(b|a))&e)|(((c|a)&d)|(a&c))))&g)|((((((a&d)|b)&e)|((c&d)|((b|a)&c)))&f)...

ok 1024 lines, tightest: 322 out of 522 (1024 test cases)

64
12
000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000010000000100010101000101110111111100000000000000000000000000000001000000...

Yes
(((((((((((g|((d&f)|a))&h)|(((e|(d|(b|a)))&g)|(((c|a)&f)|(((c|b)&e)|((a&d)|(a&c))))))&i)|(((((f|((d&e)|b))&g)|((c|b)&f))&h)|(((((c|(b|a))&f)|(((b|a)&e)|((c|(b|a))&d)))&g)|(((((c|(b|a))&d)|(((b|a)&c)|(a&b)))&f)|(((((c|(b|a))&d)|((a&c)|(a&b)))&e)|(((a&c)|(a&b))&d))))))&j)|(((((((f|d)&g)|(((e|a)&f)...

ok 64 lines, tightest: 1115 out of 2058 (64 test cases)

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

Yes
(((((((((((((d|b)&g)|(((d|(c|(b|a)))&f)|(((d|(c|(b|a)))&e)|((c&d)|(a&c)))))&h)|(((((e|a)&f)|((a&e)|(a&b)))&g)|(((((d|(a&b))&e)|((c&d)|(a&c)))&f)|(((c&d)&e)|(((b|a)&c)&d)))))&i)|(((((((e|(c|(b|a)))&f)|(((c|a)&e)|((b&c)|(a&b))))&g)|(((((d|(c|b))&e)|(((b|a)&d)|((b|a)&c)))&f)|((((c&d)|(a&b))&e)|((((...

ok 64 lines, tightest: 1121 out of 2058 (64 test cases)

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

Yes
(((((((((((((((d|b)&f)|(((d|b)&e)|((c&d)|(a&c))))&g)|((((d&e)|(((c|(b|a))&d)|(((b|a)&c)|(a&b))))&f)|(((b&d)&e)|(((a&c)&d)|((a&b)&c)))))&h)|((((((b&e)|((a&d)|(((b|a)&c)|(a&b))))&f)|(((a&c)&e)|(((a&c)&d)|((a&b)&c))))&g)|(((((((a&b)&d)|(a&c))&e)|((b&c)&d))&f)|((((a&c)&d)|((a&b)&c))&e))))&i)|(((((((...

ok 64 lines, tightest: 833 out of 2058 (64 test cases)

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000010111000000000000000000000000000000000000000...

Yes
(((((((((((((h|(e|(d|b)))&i)|(((g|(f|(e|b)))&h)|(((f|(e|a))&g)|(((e|c)&f)|((d&e)|((b&d)|(a&b)))))))&j)|(((((f|(e|b))&h)|(((e|b)&g)|(((e|c)&f)|(((d|(c|a))&e)|(a&c)))))&i)|((((d&g)|(((e|(d|(c|a)))&f)|(((d|(c|(b|a)))&e)|(((c|a)&d)|(a&c)))))&h)|(((((d|b)&f)|(((d|(c|b))&e)|(((b|a)&d)|(((b|a)&c)|(a&b)...

ok 4 lines, tightest: 3964 out of 8202 (4 test cases)

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

Yes
(((((((((((((((f|(e|(c|(b|a))))&h)|(((f|(e|(b|a)))&g)|(((d|a)&f)|(((d|(b|a))&e)|((b&d)|(((b|a)&c)|(a&b)))))))&i)|(((((f|(e|(d|(c|a))))&g)|(((d|(c|b))&e)|((c|b)&d)))&h)|((((e&f)|((b&e)|(((c|b)&d)|(b&c))))&g)|(((((c|b)&e)|((c|(b|a))&d))&f)|((((a&d)|(a&c))&e)|(((b&c)&d)|((a&b)&c)))))))&j)|(((((((d|...

ok 4 lines, tightest: 3872 out of 8202 (4 test cases)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000100000001000000000000000000000000000000000000000...

Yes
(((((((((((((g|e)&j)|(((g|(e|(d|b)))&i)|((f&h)|(((e|(d|(c|a)))&g)|(((e|(c|(b|a)))&f)|(((d|b)&e)|(((c|(b|a))&d)|(b&c))))))))&k)|(((((h|(e|(b|a)))&i)|(((g|(e|(d|c)))&h)|(((c|b)&g)|((((a&e)|(d|c))&f)|((d&e)|((b&d)|((b|a)&c)))))))&j)|(((((f|b)&h)|(((e|(d|(c|b)))&g)|(((e|(d|b))&f)|(((d|(c|b))&e)|((c&...

ok 1 lines, tightest: 6937 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((((h|(g|(f|b)))&i)|(((g|(f|(d|(c|a))))&h)|(((f|(d|(c|b)))&g)|(((e|d)&f)|((a&e)|((c&d)|(a&b)))))))&j)|(((((g|(f|(e|c)))&h)|(((f|(d|(c|b)))&g)|((e&f)|(((d|a)&e)|(((c|(b|a))&d)|((b|a)&c))))))&i)|(((((d|b)&g)|(((e|a)&f)|(((c|(b|a))&e)|((a&d)|((b&c)|(a&b))))))&h)|(((((c|b)&f)|((a&e)|((b&c...

ok 1 lines, tightest: 7871 out of 16394 (1 test case)

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

Yes
(((((((((((((((((g|(f|(d|(c|b))))&h)|(((e|(d|(c|(b|a))))&g)|((c&f)|(((c|b)&e)|(a&c)))))&i)|(((((e|(d|c))&g)|(((e|a)&f)|(((d|a)&e)|(((c|(b|a))&d)|(a&b)))))&h)|(((((e|(c|b))&f)|(((d|(c|(b|a)))&e)|(((c|b)&d)|(((b|a)&c)|(a&b)))))&g)|((((c&e)|((c&d)|(a&c)))&f)|((((c&d)|(((b|a)&c)|(a&b)))&e)|(((((b|a)...

ok 1 lines, tightest: 6854 out of 16394 (1 test case)