100644 blob ea62e7dd83dedd5adbff14f6fd5805c373322a57	.project
040000 tree 6bc6b0a95678f3c683514a6529cad4eff17dad2e	Plug_A
040000 tree 68eb078ef1a3082f22d2c295fa6275a45c270389	Plug_A_renamed
040000 tree 95f6a9fb71b6d462cbcefae71e10e3f72d6cf737	configurations
040000 tree 72ae5d5dd075add38732d4fb3f5f462c351d3f45	estimation
100644 blob c7ac5a1639a41b8ded4664b7150be2c3e0b53b9e	library.xmi