testwords := [ a , a * G.18 , a * G.21 , a * G.24 , a * G.26 , a * G.27 , a * G.28 , a * G.29 , a * G.30 , a * G.31 , a * G.32 , a * G.38 , a * G.42 , a * G.45 , a * G.48 , a * G.49 , a * G.51 , a * G.54 , a * G.55 , a * G.57 , a * G.58 , a * G.59 , a * G.60 , a * G.61 , a * G.62 , a * G.14 , a * G.14^2 , a * G.13 , a * G.13 * G.14 , a * G.13^2 , a * G.12 , a * G.12 * G.14 , a * G.12 * G.13 , a * G.12^2 , a * G.11 , a * G.11 * G.14 , a * G.11 * G.13 , a * G.11 * G.12 , a * G.11^2 , a * G.8 , a * G.8 * G.14 , a * G.8 * G.13 , a * G.8 * G.12 , a * G.8 * G.11 , a * G.8^2 , a * G.6 , a * G.6 * G.18 , a * G.6 * G.21 , a * G.6 * G.24 , a * G.6 * G.26 , a * G.6 * G.27 , a * G.6 * G.28 , a * G.6 * G.29 , a * G.6 * G.30 , a * G.6 * G.31 , a * G.6 * G.32 , a * G.6 * G.14 , a * G.6 * G.13 , a * G.6 * G.12 , a * G.6 * G.11 , a * G.6 * G.8 , a * G.6^2 , a * G.6^2 * G.14 , a * G.6^2 * G.13 , a * G.6^2 * G.12 , a * G.6^2 * G.11 , a * G.6^2 * G.8 , a * G.6^3 , a * G.6^4 , b , b * G.15 , b * G.17 , b * G.19 , b * G.20 , b * G.22 , b * G.23 , b * G.25 , b * G.27 , b * G.29 , b * G.32 , b * G.37 , b * G.39 , b * G.41 , b * G.44 , b * G.46 , b * G.47 , b * G.49 , b * G.50 , b * G.53 , b * G.54 , b * G.56 , b * G.57 , b * G.59 , b * G.60 , b * G.14 , b * G.14^2 , b * G.12 , b * G.12 * G.14 , b * G.12^2 , b * G.10 , b * G.10 * G.14 , b * G.10 * G.12 , b * G.10^2 , b * G.9 , b * G.9 * G.14 , b * G.9 * G.12 , b * G.9 * G.10 , b * G.9^2 , b * G.7 , b * G.7 * G.14 , b * G.7 * G.12 , b * G.7 * G.10 , b * G.7 * G.9 , b * G.7^2 , b * G.5 , b * G.5 * G.15 , b * G.5 * G.17 , b * G.5 * G.19 , b * G.5 * G.20 , b * G.5 * G.22 , b * G.5 * G.23 , b * G.5 * G.25 , b * G.5 * G.27 , b * G.5 * G.29 , b * G.5 * G.32 , b * G.5 * G.14 , b * G.5 * G.12 , b * G.5 * G.10 , b * G.5 * G.9 , b * G.5 * G.7 , b * G.5^2 , b * G.5^2 * G.14 , b * G.5^2 * G.12 , b * G.5^2 * G.10 , b * G.5^2 * G.9 , b * G.5^2 * G.7 , b * G.5^3 , b * G.5^4 , a * b , a * b * G.15 , a * b * G.17 , a * b * G.19 , a * b * G.20 , a * b * G.22 , a * b * G.23 , a * b * G.25 , a * b * G.27 , a * b * G.29 , a * b * G.32 , a * b * G.37 , a * b * G.39 , a * b * G.41 , a * b * G.44 , a * b * G.46 , a * b * G.47 , a * b * G.49 , a * b * G.50 , a * b * G.53 , a * b * G.54 , a * b * G.56 , a * b * G.57 , a * b * G.59 , a * b * G.60 , a * b * G.14 , a * b * G.14^2 , a * b * G.12 , a * b * G.12 * G.14 , a * b * G.12^2 , a * b * G.10 , a * b * G.10 * G.14 , a * b * G.10 * G.12 , a * b * G.10^2 , a * b * G.9 , a * b * G.9 * G.14 , a * b * G.9 * G.12 , a * b * G.9 * G.10 , a * b * G.9^2 , a * b * G.7 , a * b * G.7 * G.14 , a * b * G.7 * G.12 , a * b * G.7 * G.10 , a * b * G.7 * G.9 , a * b * G.7^2 , a * b * G.5 , a * b * G.5 * G.15 , a * b * G.5 * G.17 , a * b * G.5 * G.19 , a * b * G.5 * G.20 , a * b * G.5 * G.22 , a * b * G.5 * G.23 , a * b * G.5 * G.25 , a * b * G.5 * G.27 , a * b * G.5 * G.29 , a * b * G.5 * G.32 , a * b * G.5 * G.14 , a * b * G.5 * G.12 , a * b * G.5 * G.10 , a * b * G.5 * G.9 , a * b * G.5 * G.7 , a * b * G.5^2 , a * b * G.5^2 * G.14 , a * b * G.5^2 * G.12 , a * b * G.5^2 * G.10 , a * b * G.5^2 * G.9 , a * b * G.5^2 * G.7 , a * b * G.5^3 , a^2 * b , a^2 * b * G.15 , a^2 * b * G.17 , a^2 * b * G.19 , a^2 * b * G.20 , a^2 * b * G.22 , a^2 * b * G.23 , a^2 * b * G.25 , a^2 * b * G.27 , a^2 * b * G.29 , a^2 * b * G.32 , a^2 * b * G.37 , a^2 * b * G.39 , a^2 * b * G.41 , a^2 * b * G.44 , a^2 * b * G.46 , a^2 * b * G.47 , a^2 * b * G.49 , a^2 * b * G.50 , a^2 * b * G.53 , a^2 * b * G.54 , a^2 * b * G.56 , a^2 * b * G.57 , a^2 * b * G.59 , a^2 * b * G.60 , a^2 * b * G.14 , a^2 * b * G.14^2 , a^2 * b * G.12 , a^2 * b * G.12 * G.14 , a^2 * b * G.12^2 , a^2 * b * G.10 , a^2 * b * G.10 * G.14 , a^2 * b * G.10 * G.12 , a^2 * b * G.10^2 , a^2 * b * G.9 , a^2 * b * G.9 * G.14 , a^2 * b * G.9 * G.12 , a^2 * b * G.9 * G.10 , a^2 * b * G.9^2 , a^2 * b * G.7 , a^2 * b * G.7 * G.14 , a^2 * b * G.7 * G.12 , a^2 * b * G.7 * G.10 , a^2 * b * G.7 * G.9 , a^2 * b * G.7^2 , a^2 * b * G.5 , a^2 * b * G.5 * G.15 , a^2 * b * G.5 * G.17 , a^2 * b * G.5 * G.19 , a^2 * b * G.5 * G.20 , a^2 * b * G.5 * G.22 , a^2 * b * G.5 * G.23 , a^2 * b * G.5 * G.25 , a^2 * b * G.5 * G.27 , a^2 * b * G.5 * G.29 , a^2 * b * G.5 * G.32 , a^2 * b * G.5 * G.14 , a^2 * b * G.5 * G.12 , a^2 * b * G.5 * G.10 , a^2 * b * G.5 * G.9 , a^2 * b * G.5 * G.7 , a^2 * b * G.5^2 , a^2 * b * G.5^3 , a^3 * b , a^3 * b * G.15 , a^3 * b * G.17 , a^3 * b * G.19 , a^3 * b * G.20 , a^3 * b * G.22 , a^3 * b * G.23 , a^3 * b * G.25 , a^3 * b * G.27 , a^3 * b * G.29 , a^3 * b * G.32 , a^3 * b * G.37 , a^3 * b * G.39 , a^3 * b * G.41 , a^3 * b * G.44 , a^3 * b * G.46 , a^3 * b * G.47 , a^3 * b * G.49 , a^3 * b * G.50 , a^3 * b * G.53 , a^3 * b * G.54 , a^3 * b * G.56 , a^3 * b * G.57 , a^3 * b * G.59 , a^3 * b * G.60 , a^3 * b * G.14 , a^3 * b * G.12 , a^3 * b * G.10 , a^3 * b * G.9 , a^3 * b * G.7 , a^3 * b * G.5 , a^3 * b * G.5 * G.14 , a^3 * b * G.5 * G.12 , a^3 * b * G.5 * G.10 , a^3 * b * G.5 * G.9 , a^3 * b * G.5 * G.7 , a^3 * b * G.5^2 , a^4 * b , a^4 * b * G.15 , a^4 * b * G.17 , a^4 * b * G.19 , a^4 * b * G.20 , a^4 * b * G.22 , a^4 * b * G.23 , a^4 * b * G.25 , a^4 * b * G.27 , a^4 * b * G.29 , a^4 * b * G.32 , a^4 * b * G.14 , a^4 * b * G.12 , a^4 * b * G.10 , a^4 * b * G.9 , a^4 * b * G.7 , a^4 * b * G.5 , a^4 * b * G.5^2 , b * c , b * c * G.15 , b * c * G.16 , b * c * G.18 , b * c * G.20 , b * c * G.21 , b * c * G.23 , b * c * G.24 , b * c * G.26 , b * c * G.28 , b * c * G.30 , b * c * G.33 , b * c * G.35 , b * c * G.37 , b * c * G.38 , b * c * G.41 , b * c * G.42 , b * c * G.44 , b * c * G.45 , b * c * G.47 , b * c * G.48 , b * c * G.50 , b * c * G.51 , b * c * G.55 , b * c * G.58 , b * c * G.13 , b * c * G.13^2 , b * c * G.11 , b * c * G.11 * G.13 , b * c * G.11^2 , b * c * G.10 , b * c * G.10 * G.13 , b * c * G.10 * G.11 , b * c * G.10^2 , b * c * G.8 , b * c * G.8 * G.13 , b * c * G.8 * G.11 , b * c * G.8 * G.10 , b * c * G.8^2 , b * c * G.7 , b * c * G.7 * G.13 , b * c * G.7 * G.11 , b * c * G.7 * G.10 , b * c * G.7 * G.8 , b * c * G.7^2 , b * c * G.4 , b * c * G.4 * G.15 , b * c * G.4 * G.16 , b * c * G.4 * G.18 , b * c * G.4 * G.20 , b * c * G.4 * G.21 , b * c * G.4 * G.23 , b * c * G.4 * G.24 , b * c * G.4 * G.26 , b * c * G.4 * G.28 , b * c * G.4 * G.30 , b * c * G.4 * G.13 , b * c * G.4 * G.11 , b * c * G.4 * G.10 , b * c * G.4 * G.8 , b * c * G.4 * G.7 , b * c * G.4^2 , b * c * G.4^2 * G.13 , b * c * G.4^2 * G.11 , b * c * G.4^2 * G.10 , b * c * G.4^2 * G.8 , b * c * G.4^2 * G.7 , b * c * G.4^3 , b * c * G.4^4 , b^2 * c , b^2 * c * G.15 , b^2 * c * G.16 , b^2 * c * G.18 , b^2 * c * G.20 , b^2 * c * G.21 , b^2 * c * G.23 , b^2 * c * G.24 , b^2 * c * G.26 , b^2 * c * G.28 , b^2 * c * G.30 , b^2 * c * G.33 , b^2 * c * G.35 , b^2 * c * G.37 , b^2 * c * G.38 , b^2 * c * G.41 , b^2 * c * G.42 , b^2 * c * G.44 , b^2 * c * G.45 , b^2 * c * G.47 , b^2 * c * G.48 , b^2 * c * G.50 , b^2 * c * G.51 , b^2 * c * G.55 , b^2 * c * G.58 , b^2 * c * G.13 , b^2 * c * G.13^2 , b^2 * c * G.11 , b^2 * c * G.11 * G.13 , b^2 * c * G.11^2 , b^2 * c * G.10 , b^2 * c * G.10 * G.13 , b^2 * c * G.10 * G.11 , b^2 * c * G.10^2 , b^2 * c * G.8 , b^2 * c * G.8 * G.13 , b^2 * c * G.8 * G.11 , b^2 * c * G.8 * G.10 , b^2 * c * G.8^2 , b^2 * c * G.7 , b^2 * c * G.7 * G.13 , b^2 * c * G.7 * G.11 , b^2 * c * G.7 * G.10 , b^2 * c * G.7 * G.8 , b^2 * c * G.7^2 , b^2 * c * G.4 , b^2 * c * G.4 * G.15 , b^2 * c * G.4 * G.16 , b^2 * c * G.4 * G.18 , b^2 * c * G.4 * G.20 , b^2 * c * G.4 * G.21 , b^2 * c * G.4 * G.23 , b^2 * c * G.4 * G.24 , b^2 * c * G.4 * G.26 , b^2 * c * G.4 * G.28 , b^2 * c * G.4 * G.30 , b^2 * c * G.4 * G.13 , b^2 * c * G.4 * G.11 , b^2 * c * G.4 * G.10 , b^2 * c * G.4 * G.8 , b^2 * c * G.4 * G.7 , b^2 * c * G.4^2 , b^2 * c * G.4^2 * G.13 , b^2 * c * G.4^2 * G.11 , b^2 * c * G.4^2 * G.10 , b^2 * c * G.4^2 * G.8 , b^2 * c * G.4^2 * G.7 , b^2 * c * G.4^3 , b^3 * c , b^3 * c * G.15 , b^3 * c * G.16 , b^3 * c * G.18 , b^3 * c * G.20 , b^3 * c * G.21 , b^3 * c * G.23 , b^3 * c * G.24 , b^3 * c * G.26 , b^3 * c * G.28 , b^3 * c * G.30 , b^3 * c * G.33 , b^3 * c * G.35 , b^3 * c * G.37 , b^3 * c * G.38 , b^3 * c * G.41 , b^3 * c * G.42 , b^3 * c * G.44 , b^3 * c * G.45 , b^3 * c * G.47 , b^3 * c * G.48 , b^3 * c * G.50 , b^3 * c * G.51 , b^3 * c * G.55 , b^3 * c * G.58 , b^3 * c * G.13 , b^3 * c * G.13^2 , b^3 * c * G.11 , b^3 * c * G.11 * G.13 , b^3 * c * G.11^2 , b^3 * c * G.10 , b^3 * c * G.10 * G.13 , b^3 * c * G.10 * G.11 , b^3 * c * G.10^2 , b^3 * c * G.8 , b^3 * c * G.8 * G.13 , b^3 * c * G.8 * G.11 , b^3 * c * G.8 * G.10 , b^3 * c * G.8^2 , b^3 * c * G.7 , b^3 * c * G.7 * G.13 , b^3 * c * G.7 * G.11 , b^3 * c * G.7 * G.10 , b^3 * c * G.7 * G.8 , b^3 * c * G.7^2 , b^3 * c * G.4 , b^3 * c * G.4 * G.15 , b^3 * c * G.4 * G.16 , b^3 * c * G.4 * G.18 , b^3 * c * G.4 * G.20 , b^3 * c * G.4 * G.21 , b^3 * c * G.4 * G.23 , b^3 * c * G.4 * G.24 , b^3 * c * G.4 * G.26 , b^3 * c * G.4 * G.28 , b^3 * c * G.4 * G.30 , b^3 * c * G.4 * G.13 , b^3 * c * G.4 * G.11 , b^3 * c * G.4 * G.10 , b^3 * c * G.4 * G.8 , b^3 * c * G.4 * G.7 , b^3 * c * G.4^2 , b^3 * c * G.4^3 , b^4 * c , b^4 * c * G.15 , b^4 * c * G.16 , b^4 * c * G.18 , b^4 * c * G.20 , b^4 * c * G.21 , b^4 * c * G.23 , b^4 * c * G.24 , b^4 * c * G.26 , b^4 * c * G.28 , b^4 * c * G.30 , b^4 * c * G.33 , b^4 * c * G.35 , b^4 * c * G.37 , b^4 * c * G.38 , b^4 * c * G.41 , b^4 * c * G.42 , b^4 * c * G.44 , b^4 * c * G.45 , b^4 * c * G.47 , b^4 * c * G.48 , b^4 * c * G.50 , b^4 * c * G.51 , b^4 * c * G.55 , b^4 * c * G.58 , b^4 * c * G.13 , b^4 * c * G.11 , b^4 * c * G.10 , b^4 * c * G.8 , b^4 * c * G.7 , b^4 * c * G.4 , b^4 * c * G.4 * G.13 , b^4 * c * G.4 * G.11 , b^4 * c * G.4 * G.10 , b^4 * c * G.4 * G.8 , b^4 * c * G.4 * G.7 , b^4 * c * G.4^2 , a * c , a * c * G.15 , a * c * G.16 , a * c * G.18 , a * c * G.20 , a * c * G.21 , a * c * G.23 , a * c * G.24 , a * c * G.26 , a * c * G.28 , a * c * G.30 , a * c * G.33 , a * c * G.35 , a * c * G.37 , a * c * G.38 , a * c * G.41 , a * c * G.42 , a * c * G.44 , a * c * G.45 , a * c * G.47 , a * c * G.48 , a * c * G.50 , a * c * G.51 , a * c * G.55 , a * c * G.58 , a * c * G.13 , a * c * G.13^2 , a * c * G.11 , a * c * G.11 * G.13 , a * c * G.11^2 , a * c * G.10 , a * c * G.10 * G.13 , a * c * G.10 * G.11 , a * c * G.10^2 , a * c * G.8 , a * c * G.8 * G.13 , a * c * G.8 * G.11 , a * c * G.8 * G.10 , a * c * G.8^2 , a * c * G.7 , a * c * G.7 * G.13 , a * c * G.7 * G.11 , a * c * G.7 * G.10 , a * c * G.7 * G.8 , a * c * G.7^2 , a * c * G.4 , a * c * G.4 * G.15 , a * c * G.4 * G.16 , a * c * G.4 * G.18 , a * c * G.4 * G.20 , a * c * G.4 * G.21 , a * c * G.4 * G.23 , a * c * G.4 * G.24 , a * c * G.4 * G.26 , a * c * G.4 * G.28 , a * c * G.4 * G.30 , a * c * G.4 * G.13 , a * c * G.4 * G.11 , a * c * G.4 * G.10 , a * c * G.4 * G.8 , a * c * G.4 * G.7 , a * c * G.4^2 , a * c * G.4^2 * G.13 , a * c * G.4^2 * G.11 , a * c * G.4^2 * G.10 , a * c * G.4^2 * G.8 , a * c * G.4^2 * G.7 , a * c * G.4^3 , a * c * G.4^4 , a * b * c , a * b * c * G.15 , a * b * c * G.16 , a * b * c * G.18 , a * b * c * G.20 , a * b * c * G.21 , a * b * c * G.23 , a * b * c * G.24 , a * b * c * G.26 , a * b * c * G.28 , a * b * c * G.30 , a * b * c * G.33 , a * b * c * G.35 , a * b * c * G.37 , a * b * c * G.38 , a * b * c * G.41 , a * b * c * G.42 , a * b * c * G.44 , a * b * c * G.45 , a * b * c * G.47 , a * b * c * G.48 , a * b * c * G.50 , a * b * c * G.51 , a * b * c * G.55 , a * b * c * G.58 , a * b * c * G.13 , a * b * c * G.13^2 , a * b * c * G.11 , a * b * c * G.11 * G.13 , a * b * c * G.11^2 , a * b * c * G.10 , a * b * c * G.10 * G.13 , a * b * c * G.10 * G.11 , a * b * c * G.10^2 , a * b * c * G.8 , a * b * c * G.8 * G.13 , a * b * c * G.8 * G.11 , a * b * c * G.8 * G.10 , a * b * c * G.8^2 , a * b * c * G.7 , a * b * c * G.7 * G.13 , a * b * c * G.7 * G.11 , a * b * c * G.7 * G.10 , a * b * c * G.7 * G.8 , a * b * c * G.7^2 , a * b * c * G.4 , a * b * c * G.4 * G.15 , a * b * c * G.4 * G.16 , a * b * c * G.4 * G.18 , a * b * c * G.4 * G.20 , a * b * c * G.4 * G.21 , a * b * c * G.4 * G.23 , a * b * c * G.4 * G.24 , a * b * c * G.4 * G.26 , a * b * c * G.4 * G.28 , a * b * c * G.4 * G.30 , a * b * c * G.4 * G.13 , a * b * c * G.4 * G.11 , a * b * c * G.4 * G.10 , a * b * c * G.4 * G.8 , a * b * c * G.4 * G.7 , a * b * c * G.4^2 , a * b * c * G.4^2 * G.13 , a * b * c * G.4^2 * G.11 , a * b * c * G.4^2 * G.10 , a * b * c * G.4^2 * G.8 , a * b * c * G.4^2 * G.7 , a * b * c * G.4^3 , a * b^2 * c , a * b^2 * c * G.15 , a * b^2 * c * G.16 , a * b^2 * c * G.18 , a * b^2 * c * G.20 , a * b^2 * c * G.21 , a * b^2 * c * G.23 , a * b^2 * c * G.24 , a * b^2 * c * G.26 , a * b^2 * c * G.28 , a * b^2 * c * G.30 , a * b^2 * c * G.33 , a * b^2 * c * G.35 , a * b^2 * c * G.37 , a * b^2 * c * G.38 , a * b^2 * c * G.41 , a * b^2 * c * G.42 , a * b^2 * c * G.44 , a * b^2 * c * G.45 , a * b^2 * c * G.47 , a * b^2 * c * G.48 , a * b^2 * c * G.50 , a * b^2 * c * G.51 , a * b^2 * c * G.55 , a * b^2 * c * G.58 , a * b^2 * c * G.13 , a * b^2 * c * G.13^2 , a * b^2 * c * G.11 , a * b^2 * c * G.11 * G.13 , a * b^2 * c * G.11^2 , a * b^2 * c * G.10 , a * b^2 * c * G.10 * G.13 , a * b^2 * c * G.10 * G.11 , a * b^2 * c * G.10^2 , a * b^2 * c * G.8 , a * b^2 * c * G.8 * G.13 , a * b^2 * c * G.8 * G.11 , a * b^2 * c * G.8 * G.10 , a * b^2 * c * G.8^2 , a * b^2 * c * G.7 , a * b^2 * c * G.7 * G.13 , a * b^2 * c * G.7 * G.11 , a * b^2 * c * G.7 * G.10 , a * b^2 * c * G.7 * G.8 , a * b^2 * c * G.7^2 , a * b^2 * c * G.4 , a * b^2 * c * G.4 * G.15 , a * b^2 * c * G.4 * G.16 , a * b^2 * c * G.4 * G.18 , a * b^2 * c * G.4 * G.20 , a * b^2 * c * G.4 * G.21 , a * b^2 * c * G.4 * G.23 , a * b^2 * c * G.4 * G.24 , a * b^2 * c * G.4 * G.26 , a * b^2 * c * G.4 * G.28 , a * b^2 * c * G.4 * G.30 , a * b^2 * c * G.4 * G.13 , a * b^2 * c * G.4 * G.11 , a * b^2 * c * G.4 * G.10 , a * b^2 * c * G.4 * G.8 , a * b^2 * c * G.4 * G.7 , a * b^2 * c * G.4^2 , a * b^2 * c * G.4^3 , a * b^3 * c , a * b^3 * c * G.15 , a * b^3 * c * G.16 , a * b^3 * c * G.18 , a * b^3 * c * G.20 , a * b^3 * c * G.21 , a * b^3 * c * G.23 , a * b^3 * c * G.24 , a * b^3 * c * G.26 , a * b^3 * c * G.28 , a * b^3 * c * G.30 , a * b^3 * c * G.33 , a * b^3 * c * G.35 , a * b^3 * c * G.37 , a * b^3 * c * G.38 , a * b^3 * c * G.41 , a * b^3 * c * G.42 , a * b^3 * c * G.44 , a * b^3 * c * G.45 , a * b^3 * c * G.47 , a * b^3 * c * G.48 , a * b^3 * c * G.50 , a * b^3 * c * G.51 , a * b^3 * c * G.55 , a * b^3 * c * G.58 , a * b^3 * c * G.13 , a * b^3 * c * G.11 , a * b^3 * c * G.10 , a * b^3 * c * G.8 , a * b^3 * c * G.7 , a * b^3 * c * G.4 , a * b^3 * c * G.4 * G.13 , a * b^3 * c * G.4 * G.11 , a * b^3 * c * G.4 * G.10 , a * b^3 * c * G.4 * G.8 , a * b^3 * c * G.4 * G.7 , a * b^3 * c * G.4^2 , a * b^4 * c , a * b^4 * c * G.15 , a * b^4 * c * G.16 , a * b^4 * c * G.18 , a * b^4 * c * G.20 , a * b^4 * c * G.21 , a * b^4 * c * G.23 , a * b^4 * c * G.24 , a * b^4 * c * G.26 , a * b^4 * c * G.28 , a * b^4 * c * G.30 , a * b^4 * c * G.13 , a * b^4 * c * G.11 , a * b^4 * c * G.10 , a * b^4 * c * G.8 , a * b^4 * c * G.7 , a * b^4 * c * G.4 , a * b^4 * c * G.4^2 , a^2 * c , a^2 * c * G.15 , a^2 * c * G.16 , a^2 * c * G.18 , a^2 * c * G.20 , a^2 * c * G.21 , a^2 * c * G.23 , a^2 * c * G.24 , a^2 * c * G.26 , a^2 * c * G.28 , a^2 * c * G.30 , a^2 * c * G.33 , a^2 * c * G.35 , a^2 * c * G.37 , a^2 * c * G.38 , a^2 * c * G.41 , a^2 * c * G.42 , a^2 * c * G.44 , a^2 * c * G.45 , a^2 * c * G.47 , a^2 * c * G.48 , a^2 * c * G.50 , a^2 * c * G.51 , a^2 * c * G.55 , a^2 * c * G.58 , a^2 * c * G.13 , a^2 * c * G.13^2 , a^2 * c * G.11 , a^2 * c * G.11 * G.13 , a^2 * c * G.11^2 , a^2 * c * G.10 , a^2 * c * G.10 * G.13 , a^2 * c * G.10 * G.11 , a^2 * c * G.10^2 , a^2 * c * G.8 , a^2 * c * G.8 * G.13 , a^2 * c * G.8 * G.11 , a^2 * c * G.8 * G.10 , a^2 * c * G.8^2 , a^2 * c * G.7 , a^2 * c * G.7 * G.13 , a^2 * c * G.7 * G.11 , a^2 * c * G.7 * G.10 , a^2 * c * G.7 * G.8 , a^2 * c * G.7^2 , a^2 * c * G.4 , a^2 * c * G.4 * G.15 , a^2 * c * G.4 * G.16 , a^2 * c * G.4 * G.18 , a^2 * c * G.4 * G.20 , a^2 * c * G.4 * G.21 , a^2 * c * G.4 * G.23 , a^2 * c * G.4 * G.24 , a^2 * c * G.4 * G.26 , a^2 * c * G.4 * G.28 , a^2 * c * G.4 * G.30 , a^2 * c * G.4 * G.13 , a^2 * c * G.4 * G.11 , a^2 * c * G.4 * G.10 , a^2 * c * G.4 * G.8 , a^2 * c * G.4 * G.7 , a^2 * c * G.4^2 , a^2 * c * G.4^2 * G.13 , a^2 * c * G.4^2 * G.11 , a^2 * c * G.4^2 * G.10 , a^2 * c * G.4^2 * G.8 , a^2 * c * G.4^2 * G.7 , a^2 * c * G.4^3 , a^2 * b * c , a^2 * b * c * G.15 , a^2 * b * c * G.16 , a^2 * b * c * G.18 , a^2 * b * c * G.20 , a^2 * b * c * G.21 , a^2 * b * c * G.23 , a^2 * b * c * G.24 , a^2 * b * c * G.26 , a^2 * b * c * G.28 , a^2 * b * c * G.30 , a^2 * b * c * G.33 , a^2 * b * c * G.35 , a^2 * b * c * G.37 , a^2 * b * c * G.38 , a^2 * b * c * G.41 , a^2 * b * c * G.42 , a^2 * b * c * G.44 , a^2 * b * c * G.45 , a^2 * b * c * G.47 , a^2 * b * c * G.48 , a^2 * b * c * G.50 , a^2 * b * c * G.51 , a^2 * b * c * G.55 , a^2 * b * c * G.58 , a^2 * b * c * G.13 , a^2 * b * c * G.13^2 , a^2 * b * c * G.11 , a^2 * b * c * G.11 * G.13 , a^2 * b * c * G.11^2 , a^2 * b * c * G.10 , a^2 * b * c * G.10 * G.13 , a^2 * b * c * G.10 * G.11 , a^2 * b * c * G.10^2 , a^2 * b * c * G.8 , a^2 * b * c * G.8 * G.13 , a^2 * b * c * G.8 * G.11 , a^2 * b * c * G.8 * G.10 , a^2 * b * c * G.8^2 , a^2 * b * c * G.7 , a^2 * b * c * G.7 * G.13 , a^2 * b * c * G.7 * G.11 , a^2 * b * c * G.7 * G.10 , a^2 * b * c * G.7 * G.8 , a^2 * b * c * G.7^2 , a^2 * b * c * G.4 , a^2 * b * c * G.4 * G.15 , a^2 * b * c * G.4 * G.16 , a^2 * b * c * G.4 * G.18 , a^2 * b * c * G.4 * G.20 , a^2 * b * c * G.4 * G.21 , a^2 * b * c * G.4 * G.23 , a^2 * b * c * G.4 * G.24 , a^2 * b * c * G.4 * G.26 , a^2 * b * c * G.4 * G.28 , a^2 * b * c * G.4 * G.30 , a^2 * b * c * G.4 * G.13 , a^2 * b * c * G.4 * G.11 , a^2 * b * c * G.4 * G.10 , a^2 * b * c * G.4 * G.8 , a^2 * b * c * G.4 * G.7 , a^2 * b * c * G.4^2 , a^2 * b * c * G.4^3 , a^2 * b^2 * c , a^2 * b^2 * c * G.15 , a^2 * b^2 * c * G.16 , a^2 * b^2 * c * G.18 , a^2 * b^2 * c * G.20 , a^2 * b^2 * c * G.21 , a^2 * b^2 * c * G.23 , a^2 * b^2 * c * G.24 , a^2 * b^2 * c * G.26 , a^2 * b^2 * c * G.28 , a^2 * b^2 * c * G.30 , a^2 * b^2 * c * G.33 , a^2 * b^2 * c * G.35 , a^2 * b^2 * c * G.37 , a^2 * b^2 * c * G.38 , a^2 * b^2 * c * G.41 , a^2 * b^2 * c * G.42 , a^2 * b^2 * c * G.44 , a^2 * b^2 * c * G.45 , a^2 * b^2 * c * G.47 , a^2 * b^2 * c * G.48 , a^2 * b^2 * c * G.50 , a^2 * b^2 * c * G.51 , a^2 * b^2 * c * G.55 , a^2 * b^2 * c * G.58 , a^2 * b^2 * c * G.13 , a^2 * b^2 * c * G.11 , a^2 * b^2 * c * G.10 , a^2 * b^2 * c * G.8 , a^2 * b^2 * c * G.7 , a^2 * b^2 * c * G.4 , a^2 * b^2 * c * G.4 * G.13 , a^2 * b^2 * c * G.4 * G.11 , a^2 * b^2 * c * G.4 * G.10 , a^2 * b^2 * c * G.4 * G.8 , a^2 * b^2 * c * G.4 * G.7 , a^2 * b^2 * c * G.4^2 , a^2 * b^3 * c , a^2 * b^3 * c * G.15 , a^2 * b^3 * c * G.16 , a^2 * b^3 * c * G.18 , a^2 * b^3 * c * G.20 , a^2 * b^3 * c * G.21 , a^2 * b^3 * c * G.23 , a^2 * b^3 * c * G.24 , a^2 * b^3 * c * G.26 , a^2 * b^3 * c * G.28 , a^2 * b^3 * c * G.30 , a^2 * b^3 * c * G.13 , a^2 * b^3 * c * G.11 , a^2 * b^3 * c * G.10 , a^2 * b^3 * c * G.8 , a^2 * b^3 * c * G.7 , a^2 * b^3 * c * G.4 , a^2 * b^3 * c * G.4^2 , a^2 * b^4 * c , a^2 * b^4 * c * G.13 , a^2 * b^4 * c * G.11 , a^2 * b^4 * c * G.10 , a^2 * b^4 * c * G.8 , a^2 * b^4 * c * G.7 , a^2 * b^4 * c * G.4 , a^3 * c , a^3 * c * G.15 , a^3 * c * G.16 , a^3 * c * G.18 , a^3 * c * G.20 , a^3 * c * G.21 , a^3 * c * G.23 , a^3 * c * G.24 , a^3 * c * G.26 , a^3 * c * G.28 , a^3 * c * G.30 , a^3 * c * G.33 , a^3 * c * G.35 , a^3 * c * G.37 , a^3 * c * G.38 , a^3 * c * G.41 , a^3 * c * G.42 , a^3 * c * G.44 , a^3 * c * G.45 , a^3 * c * G.47 , a^3 * c * G.48 , a^3 * c * G.50 , a^3 * c * G.51 , a^3 * c * G.55 , a^3 * c * G.58 , a^3 * c * G.13 , a^3 * c * G.13^2 , a^3 * c * G.11 , a^3 * c * G.11 * G.13 , a^3 * c * G.11^2 , a^3 * c * G.10 , a^3 * c * G.10 * G.13 , a^3 * c * G.10 * G.11 , a^3 * c * G.10^2 , a^3 * c * G.8 , a^3 * c * G.8 * G.13 , a^3 * c * G.8 * G.11 , a^3 * c * G.8 * G.10 , a^3 * c * G.8^2 , a^3 * c * G.7 , a^3 * c * G.7 * G.13 , a^3 * c * G.7 * G.11 , a^3 * c * G.7 * G.10 , a^3 * c * G.7 * G.8 , a^3 * c * G.7^2 , a^3 * c * G.4 , a^3 * c * G.4 * G.15 , a^3 * c * G.4 * G.16 , a^3 * c * G.4 * G.18 , a^3 * c * G.4 * G.20 , a^3 * c * G.4 * G.21 , a^3 * c * G.4 * G.23 , a^3 * c * G.4 * G.24 , a^3 * c * G.4 * G.26 , a^3 * c * G.4 * G.28 , a^3 * c * G.4 * G.30 , a^3 * c * G.4 * G.13 , a^3 * c * G.4 * G.11 , a^3 * c * G.4 * G.10 , a^3 * c * G.4 * G.8 , a^3 * c * G.4 * G.7 , a^3 * c * G.4^2 , a^3 * c * G.4^3 , a^3 * b * c , a^3 * b * c * G.15 , a^3 * b * c * G.16 , a^3 * b * c * G.18 , a^3 * b * c * G.20 , a^3 * b * c * G.21 , a^3 * b * c * G.23 , a^3 * b * c * G.24 , a^3 * b * c * G.26 , a^3 * b * c * G.28 , a^3 * b * c * G.30 , a^3 * b * c * G.33 , a^3 * b * c * G.35 , a^3 * b * c * G.37 , a^3 * b * c * G.38 , a^3 * b * c * G.41 , a^3 * b * c * G.42 , a^3 * b * c * G.44 , a^3 * b * c * G.45 , a^3 * b * c * G.47 , a^3 * b * c * G.48 , a^3 * b * c * G.50 , a^3 * b * c * G.51 , a^3 * b * c * G.55 , a^3 * b * c * G.58 , a^3 * b * c * G.13 , a^3 * b * c * G.11 , a^3 * b * c * G.10 , a^3 * b * c * G.8 , a^3 * b * c * G.7 , a^3 * b * c * G.4 , a^3 * b * c * G.4 * G.13 , a^3 * b * c * G.4 * G.11 , a^3 * b * c * G.4 * G.10 , a^3 * b * c * G.4 * G.8 , a^3 * b * c * G.4 * G.7 , a^3 * b * c * G.4^2 , a^3 * b^2 * c , a^3 * b^2 * c * G.15 , a^3 * b^2 * c * G.16 , a^3 * b^2 * c * G.18 , a^3 * b^2 * c * G.20 , a^3 * b^2 * c * G.21 , a^3 * b^2 * c * G.23 , a^3 * b^2 * c * G.24 , a^3 * b^2 * c * G.26 , a^3 * b^2 * c * G.28 , a^3 * b^2 * c * G.30 , a^3 * b^2 * c * G.13 , a^3 * b^2 * c * G.11 , a^3 * b^2 * c * G.10 , a^3 * b^2 * c * G.8 , a^3 * b^2 * c * G.7 , a^3 * b^2 * c * G.4 , a^3 * b^2 * c * G.4^2 , a^3 * b^3 * c , a^3 * b^3 * c * G.13 , a^3 * b^3 * c * G.11 , a^3 * b^3 * c * G.10 , a^3 * b^3 * c * G.8 , a^3 * b^3 * c * G.7 , a^3 * b^3 * c * G.4 , a^3 * b^4 * c , a^3 * b^4 * c * G.4 , a^4 * c , a^4 * c * G.15 , a^4 * c * G.16 , a^4 * c * G.18 , a^4 * c * G.20 , a^4 * c * G.21 , a^4 * c * G.23 , a^4 * c * G.24 , a^4 * c * G.26 , a^4 * c * G.28 , a^4 * c * G.30 , a^4 * c * G.33 , a^4 * c * G.35 , a^4 * c * G.37 , a^4 * c * G.38 , a^4 * c * G.41 , a^4 * c * G.42 , a^4 * c * G.44 , a^4 * c * G.45 , a^4 * c * G.47 , a^4 * c * G.48 , a^4 * c * G.50 , a^4 * c * G.51 , a^4 * c * G.55 , a^4 * c * G.58 , a^4 * c * G.13 , a^4 * c * G.11 , a^4 * c * G.10 , a^4 * c * G.8 , a^4 * c * G.7 , a^4 * c * G.4 , a^4 * c * G.4 * G.13 , a^4 * c * G.4 * G.11 , a^4 * c * G.4 * G.10 , a^4 * c * G.4 * G.8 , a^4 * c * G.4 * G.7 , a^4 * c * G.4^2 , a^4 * b * c , a^4 * b * c * G.15 , a^4 * b * c * G.16 , a^4 * b * c * G.18 , a^4 * b * c * G.20 , a^4 * b * c * G.21 , a^4 * b * c * G.23 , a^4 * b * c * G.24 , a^4 * b * c * G.26 , a^4 * b * c * G.28 , a^4 * b * c * G.30 , a^4 * b * c * G.13 , a^4 * b * c * G.11 , a^4 * b * c * G.10 , a^4 * b * c * G.8 , a^4 * b * c * G.7 , a^4 * b * c * G.4 , a^4 * b * c * G.4^2 , a^4 * b^2 * c , a^4 * b^2 * c * G.13 , a^4 * b^2 * c * G.11 , a^4 * b^2 * c * G.10 , a^4 * b^2 * c * G.8 , a^4 * b^2 * c * G.7 , a^4 * b^2 * c * G.4 , a^4 * b^3 * c , a^4 * b^3 * c * G.4 , a^4 * b^4 * c ];