{"files":[],"types":[],"functors":[],"constants":[],"rules":[],"transforms":[],"facts":[]}