LittleDafny красивые дырочки

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Proin pellentesque mollis enim, at vulputate odio mollis sed. Praesent vestibulum tempor augue, vel egestas nulla commodo quis. In hac habitasse platea dictumst. Nam non tempor nunc. Nulla facilisi. Sed lectus justo, viverra in sodales eget, congue ac tellus.