dabe62cb8888c7063f75aff41e7119ecf3e588ad  reasoner-0.5.1.jar