040000 tree 7a0d1274156635f8cea4c61641b9f7b2a4801f94	adt
040000 tree 6f3fb329ca429427947ada782e51d114f01556d8	compile
040000 tree ad49f1f351ea709eff435767d3309f4a89abdce9	convert
040000 tree 5d0b08a792edaa81f10017bb18210d2c1ccbdab3	debug
040000 tree 0c8f081ca68fc6ade0e61a9ec6dbb6524f34ee3d	eval
040000 tree c7f4c4bba40e6c613f0a83c01b639533e229973f	export
040000 tree 692657cb893b0614273551dc77868dd5efa00789	runtime
040000 tree e390f4b7247bc94b793dd84c932b55be18761d71	subsume
040000 tree f42d0c50f287dc3b816efa134f1dc25e8d0c87a2	validate