INORDER=
   a0
   a1
   a7
   m1aEQm1b
   r1aEQr3b
   r1bEQr2a
   r1bEQr3a
   r1aEQr2b
   r1aEQr1b  
   currNEQlatent
   mindestEQ10000
   b0
   b1
   b7;
OUTORDER=
   DEP;
DEP=
     (!a0&a1&!a7&(b0|b1)&r1aEQr1b)|
     (!a0&a1&a7&(!b0&b1&!b7|b0)&r1aEQr1b)|
     (a0&(!b0&b1|b0)&r1aEQr1b)|
     (b0&(!a0&a1&!a7|a0)&(r1aEQr2b|(b1&r1aEQr3b)))|
     (!a0&a1&!b0&b1&m1aEQm1b&(a7 |(!a7&b7)))|
     (!b0&!b1&!a0&a1&a7&currNEQlatent)|
     ((b0|!b0&b1&!b7)&a0&r1bEQr2a)|
     ((b0|!b0&b1&!b7)&a0&a1&r1bEQr3a)|
     (!a0&!a1&a7)|
     (!b0&!b1&b7)|
     (!a0&!a1&!a7&mindestEQ10000)|
     (!a0&!a1&!a7&!b0&((b1&b7)|(!b1&!b7)));