D

dedukti-bench