040000 tree 20186555ea8e728994197c3ac658bf7acb2520db	cons
040000 tree fabc88567be29785bad3516f4ab402e05d8517a2	operators
100644 blob 1d38a2a6f5fb07445d877bd20d576cb57dd98129	pr60037.cc
040000 tree e23d8d4cab1b165aa4506a70287d5099926cfb42	requirements