xA : x406
x14 : (~ xA)(x234) 
xB : ~ x14
x406 : ~ xB 
x93 : x188
x60 : (x93)(~ x406) 
x234 : (x60)(~ x406)
x188 : (~ x234)(~ x395)(~ x406)
x184 : x93
x395 : x184
