HardCoreBoson small L no symmetry diagonalizations