61c5cbba06e2705d90f49dbe9b0ac9486e092b735f4746059844ae84268f0792  devices.tex