[math-fun] Non-isomorphic finite simple groups of the same order