aag 8 0 3 1 5
4 6
8 1
6 17
10
10 9 4
12 9 1
14 8 2
16 13 15
2 0 1
l0 latch_x_var1
l1 latch_x_var1_prime
l2 latch_init
o0 F(X)
c
realizable

WINNING_REGION
aag 5 3 0 1 2
2
4
6
11
8 4 2
10 9 2
o0 winning region