output all facts as json