Computing the dimension of a Majorana representation of the Harada-Norton group