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