desihardcore (150.050)