040000 tree b3cca6c1c4881398e0b62f354fc2450285d80247	cons
040000 tree 0c88d4ec7ab0e2243c3c66e6657ff89bd88b8d6f	operators
100644 blob 1d38a2a6f5fb07445d877bd20d576cb57dd98129	pr60037.cc
040000 tree 3576635c5fd95c6379514e943f762cacc517de0c	requirements