[math-fun] Groups of small degree (was order 16)