and its numbered siblings are not real fonts you can download from the internet. Instead, they are generic placeholders created by software when a font isn't properly embedded during the PDF export process.
(repack.pe opens F1, imports mappings from F2–F4, generates new CID font)