What is the low energy input that helps form the high energy output ATP?