X0 : (X3+X0)(~X4)
X1 : (X0)
X2 : (X4+X1)
X3 : (X2)(~X4)
X4 : (X2)(~X5)
X5 : (X4)
