100644 blob a64a000fee5855c968722d2a37f45ffc8f2b25d9	CHESS.p2f
100644 blob 6007b45ff80e4f803a2112f418582b3c1b866e76	CHESSMLprofile.pdf
100755 blob 511b3526da972b77bbdea4690382ab8bb9f25b02	CHESS_ArchitecturalPatternsGuides.pdf
100755 blob fbc5ad185e1435495e50b7ec954a4d4494b42097	CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
100755 blob 548de454f4b5f0ee9fa701c4b9a1ed255b459fea	CHESS_DependabilityGuide.pdf
100755 blob 30792109666cd58b6d879978350a13a9311c19fe	CHESS_MobiusIntegrationGuide.pdf
100755 blob 5700652e5a739e05d7370153f1d23c708bba694e	CHESS_RuntimeMonitoringGuide.pdf
100755 blob fefb15537b95070e223d481445930da4f571de75	CHESS_SWDevelopmentGuide.pdf
100755 blob ec211dc1621431e829583deedc4bde3f3e62ad10	CHESS_ToolsetGuide.pdf