100644 blob 0f3563e67e96166bf91e766f9c59972192caccc7	build_options
040000 tree ca0556a230b9eca5cdee0091adbda47ca65ba2ef	console06
100644 blob 32960f8ced39dd5eade0f15d41e275b2dc8d4c70	cpp-definition-cache
040000 tree e8c5b8f6b2c91894059fdc89c9884588d3ef2f5a	ctx
040000 tree d5a0557eda6f68929938cc3b3ea81bb00f180438	pcs
100644 blob 2cdcc7cbf151f42b2921c3da53b9f0c5509371d0	persistent-state
100644 blob 6f2e5a4b872c6f36f0c1f9bf11f725fb0f4de602	rmd-outputs
100644 blob 2b1bef112ac6921abda6162a65dbfcd8c6d55c80	saved_source_markers
040000 tree b77a30c33d704792bdd7fe24d5e8aa24377572e0	sources