Displaying similar documents to “On recognition of all finite nonabelian simple groups with orders having prime divisors at most 13.”