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