 c < 5   h a s   3   s t a t e s :   6 6 m s 
   a = ( b + 1 )   h a s   2   s t a t e s :   5 m s 
     ( c < 5 & a = ( b + 1 ) )   h a s   5   s t a t e s :   4 m s 
       e = 1 7   h a s   3   s t a t e s :   4 8 5 m s 
         ( ( c < 5 & a = ( b + 1 ) ) & e = 1 7 )   h a s   7   s t a t e s :   6 m s 
 t o t a l   c o m p u t a t i o n   t i m e :   5 8 1 m s