miniF2F-curriculum