100644 blob 0f3563e67e96166bf91e766f9c59972192caccc7	build_options
040000 tree ca0556a230b9eca5cdee0091adbda47ca65ba2ef	console06
100644 blob 32960f8ced39dd5eade0f15d41e275b2dc8d4c70	cpp-definition-cache
040000 tree e8c5b8f6b2c91894059fdc89c9884588d3ef2f5a	ctx
040000 tree 64730613717ad6795607c5001cf081607e2e3e95	pcs
100644 blob ebe6faf92c7b6ba5b150b5ed7c82111cd0c05890	persistent-state
100644 blob 4ce2634bc38b5d2a225bc0c34b98c69c909241f4	rmd-outputs
100644 blob 2b1bef112ac6921abda6162a65dbfcd8c6d55c80	saved_source_markers
040000 tree a0469b1c0ae8dcd533095e665d83035f18c0b163	sources