5c0a7af385ef64062e409f63b4d439dc5694c8273d4269e69d823480843283b9  devices.tex