QOJ.ac

QOJ

ID	Problem	Submitter	Result	Time	Memory	Language	File size	Submit time	Judge time
#861516	#9980. Boolean Function Reconstruction	ucup-team025^#	AC ✓	312ms	4992kb	C++20	135.6kb	2025-01-18 17:51:11	2025-01-18 17:51:20

Due to the privacy settings of the submitter, you are not allowed to view this code.

Details

Tip: Click on the bar to expand more detailed information

Test #1:

score: 100

Accepted

time: 3ms

memory: 4652kb

input:

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

output:

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

result:

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

Test #2:

score: 0

Accepted

time: 2ms

memory: 4652kb

input:

output:

Yes
F
No
Yes
a
Yes
T

result:

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

Test #3:

score: 0

Accepted

time: 3ms

memory: 4644kb

input:

output:

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

result:

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

Test #4:

score: 0

Accepted

time: 4ms

memory: 4652kb

input:

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...

output:

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
...

result:

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

Test #5:

score: 0

Accepted

time: 101ms

memory: 4676kb

input:

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...

output:

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
...

result:

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

Test #6:

score: 0

Accepted

time: 82ms

memory: 4676kb

input:

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...

output:

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

result:

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

Test #7:

score: 0

Accepted

time: 13ms

memory: 4608kb

input:

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

output:

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

result:

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

Test #8:

score: 0

Accepted

time: 6ms

memory: 4864kb

input:

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

output:

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

result:

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

Test #9:

score: 0

Accepted

time: 5ms

memory: 4864kb

input:

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

output:

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

result:

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

Test #10:

score: 0

Accepted

time: 5ms

memory: 4864kb

input:

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

output:

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

result:

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

Test #11:

score: 0

Accepted

time: 5ms

memory: 4736kb

input:

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

output:

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

result:

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

Test #12:

score: 0

Accepted

time: 5ms

memory: 4992kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #13:

score: 0

Accepted

time: 4ms

memory: 4936kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000100000000000000010000000100010111000000000000000000000000000000000000000...

output:

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

result:

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

Test #14:

score: 0

Accepted

time: 5ms

memory: 4992kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #15:

score: 0

Accepted

time: 4ms

memory: 4876kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #16:

score: 0

Accepted

time: 132ms

memory: 4608kb

input:

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

output:

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

result:

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

Test #17:

score: 0

Accepted

time: 253ms

memory: 4664kb

input:

65536
7
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
7
00000001000100010001000101110111000100010111011101110111011111110001000101110111011101110111111100010001011101110111011111111111
7
000000010001001100000001001101...

output:

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

result:

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

Test #18:

score: 0

Accepted

time: 133ms

memory: 4608kb

input:

16384
8
0000000000000000000000000000000000000000000000000000000000010001000000000000000000000000000100010000000000010001000100010011011100000000000000000000000000010001000000000001000100010001011101110000000000000001000100010011011100010001000101110011011101111111
8
000101010101011100010101011101110...

output:

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

result:

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

Test #19:

score: 0

Accepted

time: 74ms

memory: 4736kb

input:

4096
9
00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000111000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000010001011100000...

output:

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

result:

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

Test #20:

score: 0

Accepted

time: 41ms

memory: 4736kb

input:

1024
10
0000000000000000000000000000000100000000000000110000000000000011000000000000000100000000000000110000000000000011000000010000001100000000000000110000000000000011000000000000001100000011000001110000000000000011000000000000001100000011000001110000001100011111000000000000001100000000000000110000...

output:

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

result:

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

Test #21:

score: 0

Accepted

time: 21ms

memory: 4608kb

input:

256
11
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #22:

score: 0

Accepted

time: 13ms

memory: 4608kb

input:

64
12
000101011111111101111111111111110001011111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001010111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001011111111111111111111111111101111111111111111111111111111111011111...

output:

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

result:

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

Test #23:

score: 0

Accepted

time: 7ms

memory: 4768kb

input:

16
13
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000011111111111111111111111111111100000000000000000000000000000000000000...

output:

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

result:

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

Test #24:

score: 0

Accepted

time: 6ms

memory: 4864kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #25:

score: 0

Accepted

time: 7ms

memory: 4736kb

input:

4
14
0000000000000000000000000000000000000000000000000001000100010101000000000000000101010101010101010001010101010101011101110111111100000000000000000000000000000001000000000000000000010101010101010000000100010001010101010101011101010101010101010111111111111111000000000000000000010101010101010000000...

output:

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

result:

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

Test #26:

score: 0

Accepted

time: 6ms

memory: 4792kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #27:

score: 0

Accepted

time: 7ms

memory: 4864kb

input:

4
14
0000000000000000000000000001001100000000000000110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110001001100111111001100111111111100110011111111110011001111111111000000000011001100000011001101110000000...

output:

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

result:

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

Test #28:

score: 0

Accepted

time: 6ms

memory: 4864kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #29:

score: 0

Accepted

time: 3ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #30:

score: 0

Accepted

time: 4ms

memory: 4872kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #31:

score: 0

Accepted

time: 4ms

memory: 4872kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #32:

score: 0

Accepted

time: 5ms

memory: 4876kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110000000000000000000000000000001100000000000000110000001100111111000000000000000000000000000000000000000...

output:

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

result:

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

Test #33:

score: 0

Accepted

time: 4ms

memory: 4864kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #34:

score: 0

Accepted

time: 5ms

memory: 4864kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010100000000000000000000000001010101000000000000000000000000000000000000000...

output:

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

result:

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

Test #35:

score: 0

Accepted

time: 312ms

memory: 4560kb

input:

65536
7
00000000000000010000000100000101000000000001011100000101010111110000000100000001000001110001011100000101001101110011011111111111
7
00000000000000010000000000010111000000000000011100000001011111110000000100000001000000110011011100010101001101110011111111111111
7
000000000000000000000001000100...

output:

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

result:

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

Test #36:

score: 0

Accepted

time: 54ms

memory: 4608kb

input:

1024
10
0000000000000000000000000000000000000000000000000000000000000011000000000000000000000001000001110000000000000111000101010111011100000000000000000000000000000111000000010001011100010011000101110000000100000001000001110001011100000101011111110101111111111111000000000000000100000000000100010000...

output:

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

result:

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

Test #37:

score: 0

Accepted

time: 16ms

memory: 4736kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000010000000100010101000101110111111100000000000000000000000000000001000000...

output:

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

result:

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

Test #38:

score: 0

Accepted

time: 13ms

memory: 4736kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

output:

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

result:

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

Test #39:

score: 0

Accepted

time: 8ms

memory: 4608kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

output:

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

result:

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

Test #40:

score: 0

Accepted

time: 5ms

memory: 4864kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000010111000000000000000000000000000000000000000...

output:

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

result:

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

Test #41:

score: 0

Accepted

time: 5ms

memory: 4812kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #42:

score: 0

Accepted

time: 6ms

memory: 4872kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000100000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #43:

score: 0

Accepted

time: 5ms

memory: 4872kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #44:

score: 0

Accepted

time: 5ms

memory: 4876kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Extra Test:

score: 0

Extra Test Passed