100644 blob 92d1f2bee3cd126563bc6d1c546cc02ed5722462	.project
040000 tree 93d4a30048c736dab561ec5b0e464f29024829eb	PlugA
040000 tree ae37024e51f0caf7398c62669f341cb81d7577bb	configurations
040000 tree fd634ebf7379dbfcde35979fcbbad5496b7f26d3	estimation
100644 blob 6527ba3d7a7b84f87a9f1c1c883a2c879572ccb1	library.xmi