pi-hq-m12.ik

Use it

(import "parts/lens/examples/pi-hq-m12.ik" as p)

In a design on ink: ask your agent for it by name, or by what it must be.