Here’s the debate editted to ten minutes, courtesy of TPM:

They cut out the winks, you know, to keep it from running 15 minutes.