040000 tree 23a3198f75ce541724f23c555977ecb6611d1050	exec
040000 tree 2bc22a92d14410a9081862a81f36d00af37f3dfd	file
040000 tree 204568dcfdcfa2048570945f68068d6ce52352c3	misc
040000 tree ab1cf80c9a150589063ceada8dfb3d903c152717	options
040000 tree 5f9713b5fa5a870a08e0d60ebde303b8afa4967c	problems
040000 tree f61ad00e7252babe19416c39fe6ce3105d8b1db4	resources
040000 tree 1b962eb0e54af5828c9e9c852f76c90f26ec0c21	ui
040000 tree 45caf370892dcfb2c4659030ccc1a26340f78390	util