QOJ.ac

QOJ

ID	Problem	Submitter	Result	Time	Memory	Language	File size	Submit time	Judge time
#862151	#9980. Boolean Function Reconstruction	ucup-team5015^#	AC ✓	1428ms	21768kb	Rust	5.0kb	2025-01-18 22:17:42	2025-01-18 22:17:42

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

memory: 2176kb

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)|((a|b)&c))
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: 2176kb

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: 2176kb

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

memory: 2176kb

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

memory: 7176kb

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: 2176kb

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

result:

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

Test #7:

score: 0

Accepted

time: 25ms

memory: 2816kb

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

result:

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

Test #8:

score: 0

Accepted

time: 5ms

memory: 3504kb

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

result:

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

Test #9:

score: 0

Accepted

time: 6ms

memory: 3456kb

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

result:

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

Test #10:

score: 0

Accepted

time: 5ms

memory: 3360kb

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

result:

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

Test #11:

score: 0

Accepted

time: 5ms

memory: 3456kb

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

result:

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

Test #12:

score: 0

Accepted

time: 6ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #13:

score: 0

Accepted

time: 5ms

memory: 4480kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000100000000000000010000000100010111000000000000000000000000000000000000000...

output:

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

result:

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

Test #14:

score: 0

Accepted

time: 5ms

memory: 4608kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #15:

score: 0

Accepted

time: 5ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #16:

score: 0

Accepted

time: 631ms

memory: 13316kb

input:

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

output:

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

result:

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

Test #17:

score: 0

Accepted

time: 1243ms

memory: 21508kb

input:

65536
7
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
7
00000001000100010001000101110111000100010111011101110111011111110001000101110111011101110111111100010001011101110111011111111111
7
000000010001001100000001001101...

output:

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

result:

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

Test #18:

score: 0

Accepted

time: 624ms

memory: 11136kb

input:

16384
8
0000000000000000000000000000000000000000000000000000000000010001000000000000000000000000000100010000000000010001000100010011011100000000000000000000000000010001000000000001000100010001011101110000000000000001000100010011011100010001000101110011011101111111
8
000101010101011100010101011101110...

output:

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

result:

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

Test #19:

score: 0

Accepted

time: 306ms

memory: 6400kb

input:

4096
9
00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000111000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000010001011100000...

output:

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

result:

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

Test #20:

score: 0

Accepted

time: 151ms

memory: 4224kb

input:

1024
10
0000000000000000000000000000000100000000000000110000000000000011000000000000000100000000000000110000000000000011000000010000001100000000000000110000000000000011000000000000001100000011000001110000000000000011000000000000001100000011000001110000001100011111000000000000001100000000000000110000...

output:

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

result:

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

Test #21:

score: 0

Accepted

time: 76ms

memory: 3200kb

input:

256
11
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #22:

score: 0

Accepted

time: 38ms

memory: 2816kb

input:

64
12
000101011111111101111111111111110001011111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001010111111111011111111111111100010111111111110111111111111111000101111111111101111111111111110001011111111111111111111111111101111111111111111111111111111111011111...

output:

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

result:

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

Test #23:

score: 0

Accepted

time: 17ms

memory: 3180kb

input:

16
13
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000011111111111111111111111111111100000000000000000000000000000000000000...

output:

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

result:

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

Test #24:

score: 0

Accepted

time: 9ms

memory: 3724kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #25:

score: 0

Accepted

time: 8ms

memory: 3716kb

input:

4
14
0000000000000000000000000000000000000000000000000001000100010101000000000000000101010101010101010001010101010101011101110111111100000000000000000000000000000001000000000000000000010101010101010000000100010001010101010101011101010101010101010111111111111111000000000000000000010101010101010000000...

output:

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

result:

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

Test #26:

score: 0

Accepted

time: 11ms

memory: 3744kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #27:

score: 0

Accepted

time: 10ms

memory: 3572kb

input:

4
14
0000000000000000000000000001001100000000000000110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110000000000110011000000000011001100000000001100110001001100111111001100111111111100110011111111110011001111111111000000000011001100000011001101110000000...

output:

Yes
(((((((((((((a&j)&c)&f)|((((a&j)|((a|j)&c))|(((a|j)|c)&f))&e))&k)&m)&g)&h)|((((((((j&c)&f)&e)&k)&m)|(((((((a&j)&c)&f)&e)|((((j&c)&f)|((((a&j)|((a|j)&c))|f)&e))&k))|(((((j&c)&f)|((((a&j)|((a|j)&c))|f)&e))|(((((a|j)|c)|f)|e)&k))&m))&g))|(((((((j&c)&f)&e)|(((((a&j)&c)|((j|c)&f))|((((a|j)|c)|f)&e))&...

result:

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

Test #28:

score: 0

Accepted

time: 10ms

memory: 3724kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #29:

score: 0

Accepted

time: 3ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #30:

score: 0

Accepted

time: 6ms

memory: 4608kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #31:

score: 0

Accepted

time: 3ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

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

result:

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

Test #32:

score: 0

Accepted

time: 7ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000110000000000000000000000000000001100000000000000110000001100111111000000000000000000000000000000000000000...

output:

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

result:

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

Test #33:

score: 0

Accepted

time: 5ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Test #34:

score: 0

Accepted

time: 5ms

memory: 4608kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010100000000000000000000000001010101000000000000000000000000000000000000000...

output:

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

result:

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

Test #35:

score: 0

Accepted

time: 1428ms

memory: 21768kb

input:

65536
7
00000000000000010000000100000101000000000001011100000101010111110000000100000001000001110001011100000101001101110011011111111111
7
00000000000000010000000000010111000000000000011100000001011111110000000100000001000000110011011100010101001101110011111111111111
7
000000000000000000000001000100...

output:

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

result:

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

Test #36:

score: 0

Accepted

time: 211ms

memory: 4224kb

input:

1024
10
0000000000000000000000000000000000000000000000000000000000000011000000000000000000000001000001110000000000000111000101010111011100000000000000000000000000000111000000010001011100010011000101110000000100000001000001110001011100000101011111110101111111111111000000000000000100000000000100010000...

output:

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

result:

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

Test #37:

score: 0

Accepted

time: 53ms

memory: 2816kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000001000101110000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000010000000100010101000101110111111100000000000000000000000000000001000000...

output:

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

result:

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

Test #38:

score: 0

Accepted

time: 50ms

memory: 3072kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

output:

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

result:

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

Test #39:

score: 0

Accepted

time: 45ms

memory: 2944kb

input:

64
12
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000...

output:

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

result:

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

Test #40:

score: 0

Accepted

time: 15ms

memory: 3740kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000010111000000000000000000000000000000000000000...

output:

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

result:

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

Test #41:

score: 0

Accepted

time: 13ms

memory: 3652kb

input:

4
14
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000...

output:

Yes
(((((((((((((c&f)&n)&g)&i)&m)|((((((c&f)&n)&g)&i)|(((((c&f)&n)&g)|((((c&f)|((c|f)&n))&g)&i))&m))&k))&a)&b)|(((((((((c&f)&n)&g)&i)&m)|((((((c&f)&n)&g)&i)|(((((c&f)&n)|(((c&f)|(f&n))&g))&i)&m))&k))&a)|((((((((c&f)&n)&g)&i)|(((((c&f)&n)&g)|((((c&f)|((c|f)&n))&g)&i))&m))&k)|(((((((c&f)&n)&g)|(((c&f)...

result:

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

Test #42:

score: 0

Accepted

time: 7ms

memory: 4608kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000100000001000000000000000000000000000000000000000...

output:

Yes
((((((((((((((o&n)&g)&b)&i)&f)|((((((o&n)&g)&b)&i)|(((((o&n)&g)&b)|((((o&n)&g)|(((o&n)|(o&g))&b))&i))&f))&e))&a)|((((((((o&n)&g)&b)&i)|((((o&n)&g)&b)&f))&e)|(((((((o&n)&g)&b)&i)|((((n&g)&b)&i)&f))|((((((o&n)&g)&b)|((((o&n)&g)|((o&g)&b))&i))|(((((o&n)&g)|(((o|n)&g)&b))|((((o&n)|(n&g))|(((o&n)|g)&...

result:

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

Test #43:

score: 0

Accepted

time: 9ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

Yes
((((((((((((((h&n)&f)&k)&o)&d)|((((((h&n)|(n&f))&k)&o)&d)&g))&a)&b)|(((((((((h&n)&f)&k)|((((h&n)|(h&f))&k)&o))&d)&g)&a)|((((((((h&n)&f)&k)&o)|(((((h&n)&f)&k)|(((n&f)&k)&o))&d))&g)|(((((((h&n)&f)&k)&o)|(((((h&n)&f)&k)|(((n&f)&k)&o))&d))|((((((h&n)&f)|((h&f)&k))&o)|(((((h&n)&f)|(((h&n)|((h|n)&f))&...

result:

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

Test #44:

score: 0

Accepted

time: 6ms

memory: 4736kb

input:

1
15
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000...

output:

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

result:

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

Extra Test:

score: 0

Extra Test Passed