general såsom den blifvande republikens president och Mariano de Carvalho såsom hans premierminister.