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