huggingface/open-r1 ? reverse-engineered prompt