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