testwords := [ a , a * G.10 , a * G.12 , a * G.14 , a * G.18 , a * G.20 , a * G.21 , a * G.26 , a * G.27 , a * G.31 , a * G.33 , a * G.35 , a * G.37 , a * G.38 , 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.18 , a * G.5 * G.20 , a * G.5 * G.21 , 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.16 , b * G.19 , b * G.23 , b * G.25 , b * G.28 , b * G.30 , b * G.32 , b * G.34 , 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.16 , b * G.4 * G.19 , 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.16 , a * b * G.19 , a * b * G.23 , a * b * G.25 , a * b * G.28 , a * b * G.30 , a * b * G.32 , a * b * G.34 , 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.16 , a * b * G.4 * G.19 , 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.16 , a^2 * b * G.19 , a^2 * b * G.23 , a^2 * b * G.25 , a^2 * b * G.28 , a^2 * b * G.30 , a^2 * b * G.32 , a^2 * b * G.34 , 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.16 , a^2 * b * G.4 * G.19 , 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.16 , a^3 * b * G.19 , a^3 * b * G.23 , a^3 * b * G.25 , a^3 * b * G.28 , a^3 * b * G.30 , a^3 * b * G.32 , a^3 * b * G.34 , 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.16 , a^3 * b * G.4 * G.19 , 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.16 , a^4 * b * G.19 , a^4 * b * G.23 , a^4 * b * G.25 , a^4 * b * G.28 , a^4 * b * G.30 , a^4 * b * G.32 , a^4 * b * G.34 , 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.16 , a^4 * b * G.4 * G.19 , 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.16 , a^5 * b * G.19 , a^5 * b * G.23 , a^5 * b * G.25 , a^5 * b * G.28 , a^5 * b * G.30 , a^5 * b * G.32 , a^5 * b * G.34 , 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.16 , a^6 * b * G.19 , a^6 * b * G.23 , a^6 * b * G.25 , a^6 * b * G.6 , a^6 * b * G.4 , a^6 * b * G.4 * G.6 , a^6 * b * G.4^2 ];