Divide  { sQ (e1) = <Div1 <Const__ 1> 0 sQ (e1) > ; }

Div1    {
       s.M s.Res s.Q ( ) = s.Res ;
       s.M s.Res s.Q (ea s1),
            <Mul ( s.1 ) s.M >  : s7,
            <Add ( s.Res ) s7 > : s8,
            <Mul ( s.M ) 10 >   : s5,
            <Mod ( s5 ) s.Q >   : s6
            = <Div1 <Const__ s6>  s8 s.Q ( ea ) > ;
         }