We might locate more pieces in Isabelle by Tirschenreuth.

If you like, we can contact you when we find more in this pattern if you register here. This service has no charge. Click here to register for Tirschenreuth Isabelle .