Describir: Continuum many maximal consistent normal bimodal logics with inverses