METHOD_0 ( ) { org . IDENT_0 . IDENT_1 . utils . IDENT_2 . IDENT_3 server = new org . IDENT_0 . IDENT_1 . utils . IDENT_2 . METHOD_1 ( ) ; java . math . BigInteger IDENT_4 = new java . math . BigInteger ( org . IDENT_0 . IDENT_1 . IDENT_5 . IDENT_6 . IDENT_7 ) ; java . math . BigInteger g = java . math . BigInteger . valueOf ( 2 ) ; java . math . BigInteger k = java . math . BigInteger . valueOf ( 3 ) ; java . lang . String IDENT_8 = STRING_0 ; java . lang . String IDENT_9 = STRING_1 ; server . METHOD_2 ( IDENT_4 , g , k , IDENT_8 , IDENT_9 ) ; org . IDENT_0 . IDENT_1 . utils . IDENT_2 . IDENT_10 client = new org . IDENT_0 . IDENT_1 . utils . IDENT_2 . METHOD_3 ( IDENT_4 , g , k , IDENT_8 , IDENT_9 ) ; client . METHOD_4 ( server ) ; "<AssertPlaceHolder>" ; } METHOD_5 ( ) { return METHOD_5 ; }
org . junit . Assert . assertTrue ( server . METHOD_5 ( ) )