mlfoundations-dev/oh_v3-1_only_metamath_40k