Counting the maximal intermediate constructive logics