realizability command printing changes
realizabilitiy printing changes
jar update