eda5034ed505661deadd751af79f39140147ca4f  devices.tex