METHOD_0 ( ) { java . lang . String IDENT_0 = STRING_0 ; byte [ ] hash = org . IDENT_1 . IDENT_2 . security . IDENT_3 . hash ( IDENT_0 ) ; "<AssertPlaceHolder>" ; } verify ( java . lang . String , byte [ ] ) { byte [ ] IDENT_4 = java . util . Arrays . METHOD_1 ( hash , ( ( ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_5 ) + ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_6 ) ) + 3 ) ) ; int n = 1 << ( ( IDENT_4 [ ( ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_5 ) + ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_6 ) ) ] ) & 255 ) ; int r = ( IDENT_4 [ ( ( ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_5 ) + ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_6 ) ) + 1 ) ] ) & 255 ; int p = ( IDENT_4 [ ( ( ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_5 ) + ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_6 ) ) + 2 ) ] ) & 255 ; if ( ( ( ( ( ( n > ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_7 ) ) || ( n < ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_8 ) ) ) || ( r > ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_9 ) ) ) || ( r < ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_10 ) ) ) || ( p > ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_11 ) ) ) || ( p < ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_12 ) ) ) { n = org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_7 ; r = org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_9 ; p = org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_11 ; } byte [ ] IDENT_13 = new byte [ org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_6 ] ; java . lang . System . METHOD_2 ( IDENT_4 , org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_5 , IDENT_13 , 0 , org . IDENT_1 . IDENT_2 . security . IDENT_3 . IDENT_6 ) ; byte [ ] expected = org . IDENT_1 . IDENT_2 . security . IDENT_3 . hash ( IDENT_0 , IDENT_13 , r , n , p ) ; int result = 0 ; for ( int i = 0 ; i < ( IDENT_4 . length ) ; i ++ ) { result OP_0 ( IDENT_4 [ i ] ) OP_1 ( expected [ i ] ) ; } return result == 0 ; }
org . junit . Assert . assertTrue ( org . IDENT_1 . IDENT_2 . security . IDENT_3 . verify ( IDENT_0 , hash ) )