The Toccata gallery of verified programs was moved here. Please update your link accordingly.