Code for reading Cartographer files