040000 tree 422394806b87f9b108a4a6508bdd142e7673e1ca	aas
040000 tree a5c1a2d8b069799735051daca2964e10d4380d73	abstraction
040000 tree a6cc890bd23ff4d97baa8c00d3ae2716b5e6c570	log
040000 tree d02d93ccc4955c60581c7f816892b5068b735d0b	server
040000 tree ded0c97dd0561d4e852dd391a2faa809ea2a330d	shared
040000 tree cb847c1b253b8ba734e1371d2d855912b0664178	submodel
040000 tree 801b96559d1958b79e324828ac36379b0b3d5645	util
040000 tree 2c50b5f413ae98d1f7f318676ca6c41ef6f73404	vab