 n > 0   h a s   2   s t a t e s :   0 m s 
   i > = 1   h a s   2   s t a t e s :   1 m s 
     ( i > = 1 & e n d s I n 2 Z e r o s ( i ) )   h a s   2   s t a t e s :   0 m s 
       ( ( i > = 1 & e n d s I n 2 Z e r o s ( i ) ) & e n d s I n 2 Z e r o s ( n ) )   h a s   2   s t a t e s :   1 m s 
         k < ( 2 * n )   h a s   3   s t a t e s :   1 m s 
           P F [ f ] [ ( i + k ) ] = P F [ f ] [ ( ( i + k ) + n ) ]   h a s   3 4   s t a t e s :   9 m s 
             ( k < ( 2 * n ) = > P F [ f ] [ ( i + k ) ] = P F [ f ] [ ( ( i + k ) + n ) ] )   h a s   7 1   s t a t e s :   4 m s 
               ( A   k   ( k < ( 2 * n ) = > P F [ f ] [ ( i + k ) ] = P F [ f ] [ ( ( i + k ) + n ) ] ) )   h a s   1 8   s t a t e s :   7 6 m s 
                 ( ( ( i > = 1 & e n d s I n 2 Z e r o s ( i ) ) & e n d s I n 2 Z e r o s ( n ) ) & ( A   k   ( k < ( 2 * n ) = > P F [ f ] [ ( i + k ) ] = P F [ f ] [ ( ( i + k ) + n ) ] ) ) )   h a s   1 9   s t a t e s :   0 m s 
                   ( E   f   ,   i   ( ( ( i > = 1 & e n d s I n 2 Z e r o s ( i ) ) & e n d s I n 2 Z e r o s ( n ) ) & ( A   k   ( k < ( 2 * n ) = > P F [ f ] [ ( i + k ) ] = P F [ f ] [ ( ( i + k ) + n ) ] ) ) ) )   h a s   2   s t a t e s :   1 m s 
                     ( n > 0 & ( E   f   ,   i   ( ( ( i > = 1 & e n d s I n 2 Z e r o s ( i ) ) & e n d s I n 2 Z e r o s ( n ) ) & ( A   k   ( k < ( 2 * n ) = > P F [ f ] [ ( i + k ) ] = P F [ f ] [ ( ( i + k ) + n ) ] ) ) ) ) )   h a s   2   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 :   9 4 m s