{
  "version": 2,
  "dgSpecHash": "FmdJ27e5RCo=",
  "success": true,
  "projectFilePath": "j:\\Language-U\\zymatica.space_repo\\10_Multi_Language_Runtimes\\zymatica-inference-engine-inventory\\zymatica-inference-engine-csharp\\proof.csproj",
  "expectedPackageFiles": [],
  "logs": []
}