Post #1525233

"By ‘small’, we mean that the underlying simple group has order at most 10⁵." It wasn't obvious to me what 'small' meant, so there you go: size no bigger than 100k.