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