Given that (5, 12, 13)