examples/python/contact-mechanics/compression.geo