100644 blob c392e54eef69c39aed459668ffedfbbf0f5ce410	.project
040000 tree 253ea773af7df9f28df77776861aed1bcd92bf36	PlugA
040000 tree ae37024e51f0caf7398c62669f341cb81d7577bb	configurations
040000 tree bb442e7df45e69ef7913b2d812cf86d3f5f7b229	estimation
100644 blob 6527ba3d7a7b84f87a9f1c1c883a2c879572ccb1	library.xmi