The free-subgroup conjecture for the Manturov group G42G^2_4G42
Free-subgroup conjecture. The group G42G^2_4G42 has a free subgroup of rank 222.