Jar d deductive

Jar examples for d:deductive