 n > 0   h a s   2   s t a t e s :   7 m s 
   i > = 1   h a s   2   s t a t e s :   5 m s 
     ( i > = 1 & s t a r t s W i t h 2 Z e r o s ( i ) )   h a s   2   s t a t e s :   1 m s 
       ( ( i > = 1 & s t a r t s W i t h 2 Z e r o s ( i ) ) & s t a r t s W i t h 2 Z e r o s ( n ) )   h a s   2   s t a t e s :   1 m s 
         k < n   h a s   2   s t a t e s :   0 m s 
           P F m s d [ f ] [ ( i + k ) ] = P F m s d [ f ] [ ( ( i + k ) + n ) ]   h a s   1 6 2   s t a t e s :   3 6 8 m s 
             ( k < n = > P F m s d [ f ] [ ( i + k ) ] = P F m s d [ f ] [ ( ( i + k ) + n ) ] )   h a s   2 4 8   s t a t e s :   1 4 1 m s 
               ( A   k   ( k < n = > P F m s d [ f ] [ ( i + k ) ] = P F m s d [ f ] [ ( ( i + k ) + n ) ] ) )   h a s   3 6   s t a t e s :   3 7 2 1 m s 
                 ( ( ( i > = 1 & s t a r t s W i t h 2 Z e r o s ( i ) ) & s t a r t s W i t h 2 Z e r o s ( n ) ) & ( A   k   ( k < n = > P F m s d [ f ] [ ( i + k ) ] = P F m s d [ f ] [ ( ( i + k ) + n ) ] ) ) )   h a s   3 6   s t a t e s :   1 m s 
                   ( E   f   ,   i   ( ( ( i > = 1 & s t a r t s W i t h 2 Z e r o s ( i ) ) & s t a r t s W i t h 2 Z e r o s ( n ) ) & ( A   k   ( k < n = > P F m s d [ f ] [ ( i + k ) ] = P F m s d [ f ] [ ( ( i + k ) + n ) ] ) ) ) )   h a s   4   s t a t e s :   1 m s 
                     ( n > 0 & ( E   f   ,   i   ( ( ( i > = 1 & s t a r t s W i t h 2 Z e r o s ( i ) ) & s t a r t s W i t h 2 Z e r o s ( n ) ) & ( A   k   ( k < n = > P F m s d [ f ] [ ( i + k ) ] = P F m s d [ f ] [ ( ( i + k ) + n ) ] ) ) ) ) )   h a s   4   s t a t e s :   0 m s 
 t o t a l   c o m p u t a t i o n   t i m e :   4 2 7 0 m s