testwords := [ a , a * G.10 , a * G.12 , a * G.14 , a * G.19 , a * G.22 , a * G.23 , a * G.27 , a * G.31 , a * G.32 , a * G.35 , a * G.37 , a * G.39 , a * G.43 , a * G.45 , a * G.47 , a * G.49 , a * G.51 , a * G.53 , a * G.54 , a * G.56 , a * G.58 , a * G.8 , a * G.8 * G.10 , a * G.8 * G.12 , a * G.8 * G.14 , a * G.8^2 , a * G.5 , a * G.5 * G.10 , a * G.5 * G.12 , a * G.5 * G.14 , a * G.5 * G.19 , a * G.5 * G.22 , a * G.5 * G.23 , a * G.5 * G.8 , a * G.5^2 , a * G.5^2 * G.8 , a * G.5^3 , b , b * G.9 , b * G.11 , b * G.13 , b * G.15 , b * G.17 , b * G.20 , b * G.25 , b * G.28 , b * G.30 , b * G.33 , b * G.36 , b * G.38 , b * G.40 , b * G.42 , b * G.44 , b * G.46 , b * G.48 , b * G.50 , b * G.52 , b * G.55 , b * G.57 , b * G.6 , b * G.6 * G.9 , b * G.6 * G.11 , b * G.6 * G.13 , b * G.6^2 , b * G.4 , b * G.4 * G.9 , b * G.4 * G.11 , b * G.4 * G.13 , b * G.4 * G.15 , b * G.4 * G.17 , b * G.4 * G.20 , b * G.4 * G.6 , b * G.4^2 , b * G.4^2 * G.6 , b * G.4^3 , a * b , a * b * G.9 , a * b * G.11 , a * b * G.13 , a * b * G.15 , a * b * G.17 , a * b * G.20 , a * b * G.25 , a * b * G.28 , a * b * G.30 , a * b * G.33 , a * b * G.36 , a * b * G.38 , a * b * G.40 , a * b * G.42 , a * b * G.44 , a * b * G.46 , a * b * G.48 , a * b * G.50 , a * b * G.52 , a * b * G.55 , a * b * G.57 , a * b * G.6 , a * b * G.6 * G.9 , a * b * G.6 * G.11 , a * b * G.6 * G.13 , a * b * G.6^2 , a * b * G.4 , a * b * G.4 * G.9 , a * b * G.4 * G.11 , a * b * G.4 * G.13 , a * b * G.4 * G.15 , a * b * G.4 * G.17 , a * b * G.4 * G.20 , a * b * G.4 * G.6 , a * b * G.4^2 , a * b * G.4^2 * G.6 , a * b * G.4^3 , a^2 * b , a^2 * b * G.9 , a^2 * b * G.11 , a^2 * b * G.13 , a^2 * b * G.15 , a^2 * b * G.17 , a^2 * b * G.20 , a^2 * b * G.25 , a^2 * b * G.28 , a^2 * b * G.30 , a^2 * b * G.33 , a^2 * b * G.36 , a^2 * b * G.38 , a^2 * b * G.40 , a^2 * b * G.42 , a^2 * b * G.44 , a^2 * b * G.46 , a^2 * b * G.48 , a^2 * b * G.50 , a^2 * b * G.52 , a^2 * b * G.55 , a^2 * b * G.57 , a^2 * b * G.6 , a^2 * b * G.6 * G.9 , a^2 * b * G.6 * G.11 , a^2 * b * G.6 * G.13 , a^2 * b * G.6^2 , a^2 * b * G.4 , a^2 * b * G.4 * G.9 , a^2 * b * G.4 * G.11 , a^2 * b * G.4 * G.13 , a^2 * b * G.4 * G.15 , a^2 * b * G.4 * G.17 , a^2 * b * G.4 * G.20 , a^2 * b * G.4 * G.6 , a^2 * b * G.4^2 , a^2 * b * G.4^2 * G.6 , a^2 * b * G.4^3 , a^3 * b , a^3 * b * G.9 , a^3 * b * G.11 , a^3 * b * G.13 , a^3 * b * G.15 , a^3 * b * G.17 , a^3 * b * G.20 , a^3 * b * G.25 , a^3 * b * G.28 , a^3 * b * G.30 , a^3 * b * G.33 , a^3 * b * G.36 , a^3 * b * G.38 , a^3 * b * G.40 , a^3 * b * G.42 , a^3 * b * G.44 , a^3 * b * G.46 , a^3 * b * G.48 , a^3 * b * G.50 , a^3 * b * G.52 , a^3 * b * G.55 , a^3 * b * G.57 , a^3 * b * G.6 , a^3 * b * G.6 * G.9 , a^3 * b * G.6 * G.11 , a^3 * b * G.6 * G.13 , a^3 * b * G.6^2 , a^3 * b * G.4 , a^3 * b * G.4 * G.9 , a^3 * b * G.4 * G.11 , a^3 * b * G.4 * G.13 , a^3 * b * G.4 * G.15 , a^3 * b * G.4 * G.17 , a^3 * b * G.4 * G.20 , a^3 * b * G.4 * G.6 , a^3 * b * G.4^2 , a^3 * b * G.4^2 * G.6 , a^3 * b * G.4^3 , a^4 * b , a^4 * b * G.9 , a^4 * b * G.11 , a^4 * b * G.13 , a^4 * b * G.15 , a^4 * b * G.17 , a^4 * b * G.20 , a^4 * b * G.25 , a^4 * b * G.28 , a^4 * b * G.30 , a^4 * b * G.33 , a^4 * b * G.36 , a^4 * b * G.38 , a^4 * b * G.40 , a^4 * b * G.42 , a^4 * b * G.44 , a^4 * b * G.46 , a^4 * b * G.48 , a^4 * b * G.50 , a^4 * b * G.52 , a^4 * b * G.55 , a^4 * b * G.57 , a^4 * b * G.6 , a^4 * b * G.6 * G.9 , a^4 * b * G.6 * G.11 , a^4 * b * G.6 * G.13 , a^4 * b * G.6^2 , a^4 * b * G.4 , a^4 * b * G.4 * G.9 , a^4 * b * G.4 * G.11 , a^4 * b * G.4 * G.13 , a^4 * b * G.4 * G.15 , a^4 * b * G.4 * G.17 , a^4 * b * G.4 * G.20 , a^4 * b * G.4 * G.6 , a^4 * b * G.4^2 , a^4 * b * G.4^3 , a^5 * b , a^5 * b * G.9 , a^5 * b * G.11 , a^5 * b * G.13 , a^5 * b * G.15 , a^5 * b * G.17 , a^5 * b * G.20 , a^5 * b * G.25 , a^5 * b * G.28 , a^5 * b * G.30 , a^5 * b * G.33 , a^5 * b * G.36 , a^5 * b * G.38 , a^5 * b * G.40 , a^5 * b * G.42 , a^5 * b * G.44 , a^5 * b * G.46 , a^5 * b * G.48 , a^5 * b * G.50 , a^5 * b * G.52 , a^5 * b * G.55 , a^5 * b * G.57 , a^5 * b * G.6 , a^5 * b * G.6^2 , a^5 * b * G.4 , a^5 * b * G.4 * G.9 , a^5 * b * G.4 * G.11 , a^5 * b * G.4 * G.13 , a^5 * b * G.4 * G.6 , a^5 * b * G.4^2 , a^6 * b , a^6 * b * G.9 , a^6 * b * G.11 , a^6 * b * G.13 , a^6 * b * G.15 , a^6 * b * G.17 , a^6 * b * G.20 , a^6 * b * G.25 , a^6 * b * G.28 , a^6 * b * G.30 , a^6 * b * G.33 , a^6 * b * G.6 , a^6 * b * G.4 , a^6 * b * G.4 * G.6 , a^6 * b * G.4^2 ];