Distilling Extractor Prime