updated OurHMF in ECclass and again.py