QBF
57
q
e 1 2 3 4 5
d


q
a 6 7 8
q
e 9 10
q
e 11 12 13 14
c


d


q
a 15 16 17
q
e 18 19
q
e 20 21 22 23
c


d


q
a 24 25 26
q
e 27 28
q
e 29 30 31 32
c


d


q
a 33 34 35
q
e 36 37
q
e 38 39 40 41
c


d
39
30
q
a 42
c


d
29
42
/d
d
42
29
/d
/c
/q
/d
d

31
q
a 45
c


d
29
45
/d
d
45
29
/d
/c
/q
c
40 31

d

31
c
40 31

d


c
32
41
/c
c


d


c
32 41

/c
c

32 41
/c
/d
/c
/d
/c
/d
d


c
32
41
/c
c
41
32
/c
/d
/c
/d
d
40
30
q
a 44
c


d
44
29
/d
/c
/q
/d
d
38

c


d


c


d

36 37
/d
d

36 37
/d
/c
/d
d
35
37
/d
d
34
36
/d
/c
/d
d
38
29
/d
/c
/q
/q
/q
/d
d
30
21
q
a 46
c


d
20
46
/d
d
46
20
/d
/c
/q
/d
d

22
q
a 49
c


d
20
49
/d
d
49
20
/d
/c
/q
c
22 31

d

22
c
22 31

d


c
23
32
/c
c


d


c
32 23

/c
c

32 23
/c
/d
/c
/d
/c
/d
d


c
23
32
/c
c
32
23
/c
/d
/c
/d
d
31
21
q
a 48
c


d
48
20
/d
/c
/q
/d
d
29

c


d


c


d

27 28
/d
d

27 28
/d
/c
/d
d
26
28
/d
d
25
27
/d
/c
/d
d
29
20
/d
/c
/q
/q
/q
/d
d
21
12
q
a 50
c


d
11
50
/d
d
50
11
/d
/c
/q
/d
d

13
q
a 53
c


d
11
53
/d
d
53
11
/d
/c
/q
c
13 22

d

13
c
13 22

d


c
14
23
/c
c


d


c
14 23

/c
c

14 23
/c
/d
/c
/d
/c
/d
d


c
14
23
/c
c
23
14
/c
/d
/c
/d
d
22
12
q
a 52
c


d
52
11
/d
/c
/q
/d
d
20

c


d


c


d

18 19
/d
d

18 19
/d
/c
/d
d
17
19
/d
d
16
18
/d
/c
/d
d
20
11
/d
/c
/q
/q
/q
/d
d
12
3
q
a 54
c


d
2
54
/d
d
54
2
/d
/c
/q
/d
d

4
q
a 57
c


d
2
57
/d
d
57
2
/d
/c
/q
c
4 13

d

4
c
4 13

d


c
5
14
/c
c


d


c
5 14

/c
c

5 14
/c
/d
/c
/d
/c
/d
d


c
5
14
/c
c
14
5
/c
/d
/c
/d
d
13
3
q
a 56
c


d
56
2
/d
/c
/q
/d
d
11

c


d


c


d

9 10
/d
d

9 10
/d
/c
/d
d
8
10
/d
d
7
9
/d
/c
/d
d
11
2
/d
/c
/q
/q
/q
/d
/q
QBF
