A dataset and tools for verification of Tails