input = """
1 2 2 1 3 4
1 3 2 1 2 4
1 4 0 0
1 5 2 1 6 7
1 6 2 1 5 7
1 7 0 0
1 8 2 1 9 10
1 9 2 1 8 10
1 10 0 0
1 11 2 1 12 13
1 12 2 1 11 13
1 13 0 0
1 14 2 1 15 16
1 15 2 1 14 16
1 16 0 0
1 17 2 1 18 19
1 18 2 1 17 19
1 19 0 0
1 20 2 1 21 22
1 21 2 1 20 22
1 22 0 0
1 23 2 1 24 25
1 24 2 1 23 25
1 25 0 0
1 26 2 1 27 28
1 27 2 1 26 28
1 28 0 0
1 29 2 1 30 31
1 30 2 1 29 31
1 31 0 0
1 32 2 1 33 34
1 33 2 1 32 34
1 34 0 0
1 35 2 1 36 37
1 36 2 1 35 37
1 37 0 0
1 38 2 1 39 40
1 39 2 1 38 40
1 40 0 0
1 41 2 1 42 43
1 42 2 1 41 43
1 43 0 0
1 44 1 0 5
1 45 2 0 44 8
1 46 2 0 45 29
1 47 2 0 46 11
1 46 2 0 47 11
1 48 2 0 47 20
1 47 2 0 48 20
1 49 2 0 48 41
1 48 2 0 49 41
1 50 2 0 49 38
1 51 2 0 50 35
1 52 2 0 51 32
1 53 2 0 52 2
1 54 2 0 53 14
1 55 2 0 54 26
1 56 2 0 55 17
1 54 2 0 55 26
1 55 2 0 56 17
1 1 1 1 55
1 1 2 0 23 29
1 1 2 0 20 23
0
3 noa
15 noe
30 noj
23 h
36 nol
42 non
14 e
5 b
29 j
35 l
21 nog
41 n
20 g
12 nod
27 noi
33 nok
11 d
44 p(1,v11,v21)
45 p(1,v11,v22)
46 p(1,v11,v32)
47 p(1,v11,v42)
48 p(1,v11,v52)
49 p(1,v11,v51)
50 p(1,v11,v50)
51 p(1,v11,v60)
52 p(1,v11,v61)
53 p(1,v11,v62)
54 p(1,v11,v63)
55 p(1,v11,v53)
56 p(1,v11,v43)
6 nob
39 nom
18 nof
26 i
2 a
9 noc
8 c
17 f
38 m
32 k
24 noh
0
B+
0
B-
1
0
1
"""
output = """
{p(1,v11,v53), p(1,v11,v63), p(1,v11,v62), p(1,v11,v61), p(1,v11,v60), p(1,v11,v50), p(1,v11,v51), p(1,v11,v52), p(1,v11,v42), p(1,v11,v32), p(1,v11,v22), p(1,v11,v21), n, m, l, k, j, i, noh, g, a, b, c, d, e}
"""
