bbb6ab4c16181d9fa1ae6f8e6c2cc4228973523e  devices.tex