Theorem 1.4 in Zipei Nie's paper arXiv:2301.05704v1 [math.CO], for n from 1\ to, 12, are true, true, true, true, true, true, true, true, true, true, true, true --------------------------------------------------------------- Theorem 2.1 in Zipei Nie's paper arXiv:2301.05704v1 [math.CO], for n from \ 3 to, 12, are true, true, true, true, true, true, true, true, true, true --------------------------------------------------------------- Theorem 2.2 in Zipei Nie's paper, arXiv:2301.05704v1 [math.CO], for n fro\ m 3 to, 12, are true, true, true, true, true, true, true, true, true, true --------------------------------------------------------------- Theorem 2.3 in Zipei Nie's paper, arXiv:2301.05704v1 [math.CO], for n from\ 3 to, 12, are true, true, true, true, true, true, true, true, true, true --------------------------------------------------------------- This took, 175.553, seconds.