Triangle ABC has vertices at (1, 5), (4, 8), and (16, 12). Triangle ABC was dilated to create triangle DEF. Triangle DEF has vertices at (4, 20), (16, 32), and (64, 48). What is the algebraic representation used to create triangle DEF?