realizability printing changes
updated jar file for api