Как часто два плюс два равно пяти? Оказывается, в некотором смысле даже чаще, чем четырем!

https://mobile.twitter.com/andrejbauer/status/1296555230184837122

А именно, есть 2453 коммутативных полукольца с единицей размера не больше 6, в которых 2+2=5. Понятно, что такие вещи можно перечислять только алгоритмически, что и сделал этот пользователь твиттера (☝️ выводы программы на картинках). Полукольца, в которых 2+2=5, составляют почти 80% всех коммутативных полуколец с единицей размера не больше 6.

Интересно, какова асимптотическая доля полуколец, где 2+2=5 или 2+2=4?