100644 blob c5db01a4dd987936753edd441e793d5b49f4c47e	.project
040000 tree be009573db7273c984eea7e228a7c82d6f29ef49	Plug A
040000 tree 989fd90cf89ddae5a6dec34a6cf321fd409d0e57	Plug B
040000 tree dc32cf7861e3e218d70ddb87143ea87b9ed83c48	configurations
040000 tree da7355f2153a82a5d3b1722a5fce91b6e4809e00	estimation
100644 blob c1bda3db722d1db7ecaf2d194560f74676d18abe	library.xmi