List of Lean Kata to Update

The following kata are not compatible with Lean v3.20.0 with mathlib da66bb81bf0466335bae82077f0c335dfe53aeb3:

1. (5^5^5^5^5-1)/(5^5^(5^5^5-1)-1) isn't prime
2. Find the number of bits and the bits with proof
3. Generalised Pell x^2-37y^2=3
4. If a^b + 1 is prime, then a is even
5. If a^b + 1 is prime, then b is a power of two
6. If N divides 2^N - 1, then N is zero or one
7. Index 2 subgroup is normal
8. Order-preserving bijection from rationals to non-zero rationals
9. Prove that this sequence contains only integers
10. Squareful segments