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. Easy Fermat
3. Find the number of bits and the bits with proof
4. Generalised Pell x^2-37y^2=3
5. If a^b + 1 is prime, then a is even
6. If a^b + 1 is prime, then b is a power of two
7. If N divides 2^N - 1, then N is zero or one
8. Index 2 subgroup is normal
9. Limit of the arithmetic mean
10. Order-preserving bijection from rationals to non-zero rationals
11. Program Verification #4: Exponentiation by squaring
12. Prove that a ^ 4 - b ^ 4 = (a - b) * (a + b) * (a ^ 2 + b ^ 2), using nats
13. Prove that this sequence contains only integers
14. Squared triangular numbers
15. Squareful segments
16. This square is perfect
17. Verified Horner's method