#include "facts.dl"

.output fact