The borefest known as the first Democrat debate, condensed to 7 minutes