Representational efficiency outweighs action efficiency in human program induction.