QOJ.ac

QOJ

ID	题目	提交者	结果	用时	内存	语言	文件大小	提交时间	测评时间
#861522	#9980. Boolean Function Reconstruction	ucup-team359^#	AC ✓	645ms	4096kb	C++17	2.4kb	2025-01-18 17:53:30	2025-01-18 17:53:31

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

详细

Test #1:

score: 100

Accepted

time: 1ms

memory: 3712kb

input:

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

output:

Yes
(a&b)
Yes
(b|a)
Yes
T
Yes
((b&c)|(a&(c|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: 0ms

memory: 3712kb

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: 0ms

memory: 3712kb

input:

output:

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

result:

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

Test #4:

score: 0

Accepted

time: 0ms

memory: 3584kb

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: 8ms

memory: 3712kb

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: 8 out of 18 (65536 test cases)

Test #6:

score: 0

Accepted

time: 1ms

memory: 3712kb

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&(b|a)))
Yes
(c&d)
Yes
(a&(b&d))
Yes
(b&(d&(c|a)))
Yes
(a&(d&(c|b)))
Yes
(d&((b&c)|(a&(c|b))))
Yes
(d&(c|(a&b)))
Yes
(b&d)
Yes
(d&(b|(a&c)))
Yes
(d&(c|b))
Yes
(a&d)
Yes
(d&((b&c)|a))
Yes
(d&(c|a))
Yes
(d&(b|a))
Yes
(d&((c|b)|a))
Yes
d
Yes
...

result:

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

Test #7:

score: 0

Accepted

time: 13ms

memory: 3584kb

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&(b|a))))
Yes
(c&(d&e))
Yes
(a&(b&(d&e)))
Yes
(b&(d&(e&(c|a))))
Yes
(a&(d&(e&(c|b))))
Yes
(d&(e&((b&c)|(a&(c|b)))))
Yes
(d&(e&(c|(a&b))))
Yes
(b&(d&e))
Yes
(d&(e&(b|(a&c))))
Yes
(d&(e&(c|b)))
Yes
(a&(d&e))
Yes
(d&(e&((b&c)|a...

result:

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

Test #8:

score: 0

Accepted

time: 7ms

memory: 3840kb

input:

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

output:

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

result:

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

Test #9:

score: 0

Accepted

time: 6ms

memory: 3968kb

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
((b&c)|(a&(c|b)))
Yes
((b&(c&d))|(a&((c&d)|(b&(d|c)))))
Yes
(((c&(d&e))|(b&((d&e)|(c&(e|d)))))|(a&(((d&e)|(c&(e|d)))|(b&((e|d)|c)))))
Yes
(((c&(d&(e&f)))|(b&((d&(e&f))|(c&((e&f)|(d&(f|e)))))))|(a&(((d&(e&f))|(c&((e&f)|(d&(f|e)))))|(b&(((e&f)|(d&(f|e)))|(c&((f|e)|d)))))))
Yes
((((...

result:

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

Test #10:

score: 0

Accepted

time: 6ms

memory: 3840kb

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
((b&(c&d))|(a&((c&d)|(b&(d|c)))))
Yes
((b&(c&(d&e)))|(a&((c&(d&e))|(b&((d&e)|(c&(e|d)))))))
Yes
(((c&(d&(e&f)))|(b&((d&(e&f))|(c&((e&f)|(d&(f|e)))))))|(a&(((d&(e&f))|(c&((e&f)|(d&(f|e)))))|(b&(((e&f)|(d&(f|e)))|(c&((f|e)|d)))))))
Yes
(((c&(d&(e&(f&g))))|(b&((d&(e&(f...

result:

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

Test #11:

score: 0

Accepted

time: 5ms

memory: 3968kb

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
((b&(c&(d&e)))|(a&((c&(d&e))|(b&((d&e)|(c&(e|d)))))))
Yes
((b&(c&(d&(e&f))))|(a&((c&(d&(e&f)))|(b&((d&(e&f))|(c&((e&f)|(d&(f|e)))))))))
Yes
(((c&(d&(e&(f&g))))|(b&((d&(e&(f&g)))|(c&((e&(f&g))|(d&((f&g)|(e&(g|f)))))))))|(a&(((d&(e&(f&g)))|(c&((e&(f&g))|...

result:

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

Test #12:

score: 0

Accepted

time: 6ms

memory: 3968kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

Yes
((((((((h&(i&(j&(k&(l&(m&(n&o)))))))|(g&((i&(j&(k&(l&(m&(n&o))))))|(h&((j&(k&(l&(m&(n&o)))))|(i&((k&(l&(m&(n&o))))|(j&((l&(m&(n&o)))|(k&((m&(n&o))|(l&((n&o)|(m&(o|n)))))))))))))))|(f&(((i&(j&(k&(l&(m&(n&o))))))|(h&((j&(k&(l&(m&(n&o)))))|(i&((k&(l&(m&(n&o))))|(j&((l&(m&(n&o)))|(k&((m&(n&o))|(l&((...

result:

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

Test #13:

score: 0

Accepted

time: 7ms

memory: 4096kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000100000000000000010000000100010111000000000000000000000000000000000000000...

output:

Yes
(((((((((i&(j&(k&(l&(m&(n&o))))))|(h&((j&(k&(l&(m&(n&o)))))|(i&((k&(l&(m&(n&o))))|(j&((l&(m&(n&o)))|(k&((m&(n&o))|(l&((n&o)|(m&(o|n)))))))))))))|(g&(((j&(k&(l&(m&(n&o)))))|(i&((k&(l&(m&(n&o))))|(j&((l&(m&(n&o)))|(k&((m&(n&o))|(l&((n&o)|(m&(o|n)))))))))))|(h&(((k&(l&(m&(n&o))))|(j&((l&(m&(n&o)))|...

result:

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

Test #14:

score: 0

Accepted

time: 6ms

memory: 4096kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #15:

score: 0

Accepted

time: 6ms

memory: 3840kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #16:

score: 0

Accepted

time: 219ms

memory: 3584kb

input:

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

output:

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

result:

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

Test #17:

score: 0

Accepted

time: 474ms

memory: 3712kb

input:

65536
7
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
7
00000001000100010001000101110111000100010111011101110111011111110001000101110111011101110111111100010001011101110111011111111111
7
000000010001001100000001001101...

output:

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

result:

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

Test #18:

score: 0

Accepted

time: 265ms

memory: 3584kb

input:

16384
8
0000000000000000000000000000000000000000000000000000000000010001000000000000000000000000000100010000000000010001000100010011011100000000000000000000000000010001000000000001000100010001011101110000000000000001000100010011011100010001000101110011011101111111
8
000101010101011100010101011101110...

output:

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

result:

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

Test #19:

score: 0

Accepted

time: 140ms

memory: 3584kb

input:

4096
9
00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000111000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000010001011100000...

output:

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

result:

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

Test #20:

score: 0

Accepted

time: 75ms

memory: 3712kb

input:

1024
10
0000000000000000000000000000000100000000000000110000000000000011000000000000000100000000000000110000000000000011000000010000001100000000000000110000000000000011000000000000001100000011000001110000000000000011000000000000001100000011000001110000001100011111000000000000001100000000000000110000...

output:

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

result:

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

Test #21:

score: 0

Accepted

time: 38ms

memory: 3840kb

input:

256
11
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #22:

score: 0

Accepted

time: 19ms

memory: 3712kb

input:

64
12
000101011111111101111111111111110001011111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001010111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001011111111111111111111111111101111111111111111111111111111111011111...

output:

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

result:

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

Test #23:

score: 0

Accepted

time: 10ms

memory: 3840kb

input:

16
13
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000011111111111111111111111111111100000000000000000000000000000000000000...

output:

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

result:

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

Test #24:

score: 0

Accepted

time: 4ms

memory: 3840kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #25:

score: 0

Accepted

time: 6ms

memory: 3840kb

input:

4
14
0000000000000000000000000000000000000000000000000001000100010101000000000000000101010101010101010001010101010101011101110111111100000000000000000000000000000001000000000000000000010101010101010000000100010001010101010101011101010101010101010111111111111111000000000000000000010101010101010000000...

output:

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

result:

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

Test #26:

score: 0

Accepted

time: 5ms

memory: 3968kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #27:

score: 0

Accepted

time: 3ms

memory: 3712kb

input:

4
14
0000000000000000000000000001001100000000000000110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110001001100111111001100111111111100110011111111110011001111111111000000000011001100000011001101110000000...

output:

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

result:

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

Test #28:

score: 0

Accepted

time: 5ms

memory: 3712kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #29:

score: 0

Accepted

time: 2ms

memory: 3712kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #30:

score: 0

Accepted

time: 3ms

memory: 3584kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #31:

score: 0

Accepted

time: 2ms

memory: 3968kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #32:

score: 0

Accepted

time: 3ms

memory: 3968kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110000000000000000000000000000001100000000000000110000001100111111000000000000000000000000000000000000000...

output:

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

result:

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

Test #33:

score: 0

Accepted

time: 3ms

memory: 3840kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #34:

score: 0

Accepted

time: 4ms

memory: 3840kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010100000000000000000000000001010101000000000000000000000000000000000000000...

output:

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

result:

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

Test #35:

score: 0

Accepted

time: 645ms

memory: 3584kb

input:

65536
7
00000000000000010000000100000101000000000001011100000101010111110000000100000001000001110001011100000101001101110011011111111111
7
00000000000000010000000000010111000000000000011100000001011111110000000100000001000000110011011100010101001101110011111111111111
7
000000000000000000000001000100...

output:

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

result:

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

Test #36:

score: 0

Accepted

time: 123ms

memory: 3712kb

input:

1024
10
0000000000000000000000000000000000000000000000000000000000000011000000000000000000000001000001110000000000000111000101010111011100000000000000000000000000000111000000010001011100010011000101110000000100000001000001110001011100000101011111110101111111111111000000000000000100000000000100010000...

output:

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

result:

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

Test #37:

score: 0

Accepted

time: 35ms

memory: 3840kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000010000000100010101000101110111111100000000000000000000000000000001000000...

output:

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

result:

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

Test #38:

score: 0

Accepted

time: 33ms

memory: 3840kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

output:

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

result:

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

Test #39:

score: 0

Accepted

time: 26ms

memory: 3840kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

output:

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

result:

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

Test #40:

score: 0

Accepted

time: 9ms

memory: 3968kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000010111000000000000000000000000000000000000000...

output:

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

result:

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

Test #41:

score: 0

Accepted

time: 9ms

memory: 3968kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #42:

score: 0

Accepted

time: 4ms

memory: 4096kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000100000001000000000000000000000000000000000000000...

output:

Yes
((((((((e&(f&(g&(j&(k&(l&n))))))|(c&((f&(g&(j&(k&(l&(n&o))))))|(e&((g&(j&(k&(l&n))))|(f&((k&(n&(o&(l|g))))|(j&((l&(n&(o|g)))|(k&((n&(o|l))|(g&(o|l)))))))))))))|(a&(((f&(g&(j&(k&(n&o)))))|(e&((c&(g&(j&(n&o))))|(f&((c&(g&(j&n)))|(o&((k&(n&(j|c)))|(g&((j&(n|k))|(c&((n|k)|j)))))))))))|(l&(((f&(g&(j&...

result:

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

Test #43:

score: 0

Accepted

time: 4ms

memory: 3712kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #44:

score: 0

Accepted

time: 3ms

memory: 3968kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Extra Test:

score: 0

Extra Test Passed