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