<filename>tests/asp/AllAnswerSets/aggregates/test10.bug.multiaggregates.gringo.test.py
input = """
3 3 2 3 4 0 0
2 6 3 0 3 2 3 4
2 5 3 0 2 2 3 4
1 1 1 0 5
0
2 a
3 b
4 c
5 d
6 e
0
B+
0
B-
1
0
1
"""
output = """
{}
{a}
{b}
{c}
"""

<filename>tests/asp/AllAnswerSets/aggregates/test10.bug.multiaggregates.gringo.test.py
input = """
3 3 2 3 4 0 0
2 6 3 0 3 2 3 4
2 5 3 0 2 2 3 4
1 1 1 0 5
0
2 a
3 b
4 c
5 d
6 e
0
B+
0
B-
1
0
1
"""
output = """
{}
{a}
{b}
{c}
"""

3 3 2 3 4 0 0 2 6 3 0 3 2 3 4 2 5 3 0 2 2 3 4 1 1 1 0 5 0 2 a 3 b 4 c 5 d 6 e 0 B+ 0 B- 1 0 1 {} {a} {b} {c}