Revert "Add expected output for beer proof"
Revert "Add expected output for beer proof"

This reverts commit 0a7e8c22d01b474d7e5141eec65e0b1b59f668ca. The proof
is bogus, and we need to find a correct one.

nomeata/incredible,psibi/incredible,eccstartup/incredible,rampion/incredible,rampion/incredible,DeepSpawn/incredible,nomeata/incredible,eccstartup/incredible,DeepSpawn/incredible,eccstartup/incredible,wirebirdlabs/incredible,rampion/incredible,psibi/incredible,wirebirdlabs/incredible,psibi/incredible,wirebirdlabs/incredible,DeepSpawn/incredible,nomeata/incredible