set complaint back to 12 in AllResNetsCGI.hs