pump dot fun v1 (pdfv)