foo ← (x0*x1*x2*x3*x4*x5*x6*x7)+~x0*~(x1*x2*x3*x4*x5*x6*x7)+(x0+~x1+x2)*(x3*x4*x5*x6*x7)+~x8*(x0*x1*x2*x3*x4*x5*x6*x7)+~x0*~(x1*x2*x3*x4*x5*x6*x7)+((x0+~x1+x2)*(x3*x4*x5*x6*x7))
foo ← a * b + x * (a* b)
indigo/dragon7.0/ifupla/ifuplaInstrDecode1.ttt
indigo/dragon7.0/ifupla/ifuplaInterlock.ttt