METHOD_0 ( ) { final ch . IDENT_0 . IDENT_1 . helper . random . IDENT_2 IDENT_3 = ch . IDENT_0 . IDENT_1 . helper . random . IDENT_4 . IDENT_5 . getInstance ( ) ; final ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . IDENT_8 IDENT_9 = ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_10 . classes . IDENT_11 . getInstance ( ch . IDENT_0 . IDENT_1 . crypto . IDENT_12 . IDENT_13 . IDENT_14 ) ; final ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_15 . classes . IDENT_16 IDENT_17 = ( ( ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_15 . classes . IDENT_16 ) ( IDENT_9 . METHOD_1 ( ) ) ) ; ch . IDENT_0 . IDENT_1 . crypto . IDENT_18 . IDENT_19 . classes . IDENT_20 IDENT_21 = ch . IDENT_0 . IDENT_1 . crypto . IDENT_18 . IDENT_19 . classes . IDENT_20 . getInstance ( IDENT_9 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . classes . IDENT_22 IDENT_23 = ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . classes . IDENT_22 . getInstance ( IDENT_17 , IDENT_17 . METHOD_2 ( java . math . BigInteger . valueOf ( 15 ) ) , IDENT_17 . METHOD_2 ( java . math . BigInteger . valueOf ( INT_0 ) ) , IDENT_17 . METHOD_2 ( java . math . BigInteger . valueOf ( INT_1 ) ) , IDENT_17 . METHOD_2 ( java . math . BigInteger . valueOf ( INT_2 ) ) ) ; ch . IDENT_0 . IDENT_1 . crypto . IDENT_12 . classes . IDENT_24 IDENT_25 = ch . IDENT_0 . IDENT_1 . crypto . IDENT_12 . classes . IDENT_24 . getInstance ( IDENT_23 , IDENT_21 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element [ ] IDENT_26 = new ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element [ ] { IDENT_17 . METHOD_2 ( java . math . BigInteger . valueOf ( INT_3 ) ) , IDENT_17 . METHOD_2 ( java . math . BigInteger . valueOf ( INT_4 ) ) , IDENT_17 . METHOD_2 ( java . math . BigInteger . valueOf ( INT_5 ) ) } ; for ( ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element IDENT_27 : IDENT_26 ) { ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element IDENT_28 = IDENT_17 . METHOD_3 ( IDENT_3 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element IDENT_29 = IDENT_21 . commit ( IDENT_27 , IDENT_28 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . classes . IDENT_30 IDENT_31 = ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . classes . IDENT_30 . getInstance ( IDENT_27 , IDENT_28 ) ; ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element IDENT_32 = IDENT_29 ; ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . classes . IDENT_30 IDENT_33 = IDENT_25 . METHOD_4 ( IDENT_31 , IDENT_32 , IDENT_3 ) ; boolean verify = IDENT_25 . verify ( IDENT_33 , IDENT_32 ) ; "<AssertPlaceHolder>" ; } } verify ( ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element , ch . IDENT_0 . IDENT_1 . math . IDENT_6 . IDENT_7 . interfaces . Element ) { if ( ( ! ( this . METHOD_5 ( ) . contains ( IDENT_33 ) ) ) || ( ! ( this . METHOD_6 ( ) . contains ( IDENT_32 ) ) ) ) { throw new java . lang . IllegalArgumentException ( ) ; } return this . METHOD_7 ( ( ( IDENT_34 ) ( IDENT_33 ) ) , ( ( IDENT_35 ) ( IDENT_32 ) ) ) ; }
org . junit . Assert . assertTrue ( ( ! verify ) )