COAP Software Forum

min: +10 Z2ZZ1ZZ1 +20 Z3ZZ1ZZ1 +Z4ZZ1ZZ1 +10 Z2ZZ2ZZ1 +20 Z3ZZ2ZZ1 +Z4ZZ2ZZ1 +10 Z2ZZ3ZZ1 +20 Z3ZZ3ZZ1 +Z4ZZ3ZZ1 +10 Z2ZZ4ZZ1 +20 Z3ZZ4ZZ1 +Z4ZZ4ZZ1 +10 Z2ZZ5ZZ1 +20 Z3ZZ5ZZ1 +Z4ZZ5ZZ1 +10 Z2ZZ6ZZ1 +20 Z3ZZ6ZZ1 +Z4ZZ6ZZ1 +10 Z2ZZ7ZZ1 +20 Z3ZZ7ZZ1 +Z4ZZ7ZZ1 +10 Z2ZZ8ZZ1 +20 Z3ZZ8ZZ1 +Z4ZZ8ZZ1 +10 Z2ZZ9ZZ1 +20 Z3ZZ9ZZ1 +Z4ZZ9ZZ1 +10 Z2Z10ZZ1 +20 Z3Z10ZZ1 +Z4Z10ZZ1 +10 Z2Z11ZZ1 +20 Z3Z11ZZ1 +Z4Z11ZZ1 +10 Z2Z12ZZ1 +20 Z3Z12ZZ1 +Z4Z12ZZ1 +10 Z2Z13ZZ1 +20 Z3Z13ZZ1 +Z4Z13ZZ1 +10 Z2Z14ZZ1 +20 Z3Z14ZZ1 +Z4Z14ZZ1 +10 Z2Z15ZZ1 +20 Z3Z15ZZ1 +Z4Z15ZZ1 +10 Z2Z16ZZ1 +20 Z3Z16ZZ1 +Z4Z16ZZ1 +15 Z2Z17ZZ1 +25 Z3Z17ZZ1 +Z4Z17ZZ1 +15 Z2Z18ZZ1 +25 Z3Z18ZZ1 +Z4Z18ZZ1 +15 Z2Z19ZZ1 +25 Z3Z19ZZ1 +Z4Z19ZZ1 +15 Z2Z20ZZ1 +25 Z3Z20ZZ1 +Z4Z20ZZ1 +15 Z2Z21ZZ1 +25 Z3Z21ZZ1 +Z4Z21ZZ1 +15 Z2Z22ZZ1 +25 Z3Z22ZZ1 +Z4Z22ZZ1 +15 Z2Z23ZZ1 +25 Z3Z23ZZ1 +Z4Z23ZZ1 +15 Z2Z24ZZ1 +25 Z3Z24ZZ1 +Z4Z24ZZ1 +15 Z2Z25ZZ1 +25 Z3Z25ZZ1 +Z4Z25ZZ1 +15 Z2Z26ZZ1 +25 Z3Z26ZZ1 +Z4Z26ZZ1 +15 Z2Z27ZZ1 +25 Z3Z27ZZ1 +Z4Z27ZZ1 +15 Z2Z28ZZ1 +25 Z3Z28ZZ1 +Z4Z28ZZ1 +15 Z2Z29ZZ1 +25 Z3Z29ZZ1 +Z4Z29ZZ1 +15 Z2Z30ZZ1 +25 Z3Z30ZZ1 +Z4Z30ZZ1 +30 Z2Z31ZZ1 +40 Z3Z31ZZ1 +Z4Z31ZZ1 +30 Z2Z32ZZ1 +40 Z3Z32ZZ1 +Z4Z32ZZ1 +30 Z2Z33ZZ1 +40 Z3Z33ZZ1 +Z4Z33ZZ1 +30 Z2Z34ZZ1 +40 Z3Z34ZZ1 +Z4Z34ZZ1 +30 Z2Z35ZZ1 +40 Z3Z35ZZ1 +Z4Z35ZZ1 +30 Z2Z36ZZ1 +40 Z3Z36ZZ1 +Z4Z36ZZ1 +30 Z2Z37ZZ1 +40 Z3Z37ZZ1 +Z4Z37ZZ1 +30 Z2Z38ZZ1 +40 Z3Z38ZZ1 +Z4Z38ZZ1 +30 Z2Z39ZZ1 +40 Z3Z39ZZ1 +Z4Z39ZZ1 +30 Z2Z40ZZ1 +40 Z3Z40ZZ1 +Z4Z40ZZ1 +30 Z2Z41ZZ1 +40 Z3Z41ZZ1 +Z4Z41ZZ1 +30 Z2Z42ZZ1 +40 Z3Z42ZZ1 +Z4Z42ZZ1 +30 Z2Z43ZZ1 +40 Z3Z43ZZ1 +Z4Z43ZZ1 +30 Z2Z44ZZ1 +40 Z3Z44ZZ1 +Z4Z44ZZ1 +50 Z2Z45ZZ1 +80 Z3Z45ZZ1 +Z4Z45ZZ1 +50 Z2Z46ZZ1 +80 Z3Z46ZZ1 +Z4Z46ZZ1 +50 Z2Z47ZZ1 +80 Z3Z47ZZ1 +Z4Z47ZZ1 +10 Z2ZZ1ZZ2 +20 Z3ZZ1ZZ2 +Z4ZZ1ZZ2 +10 Z2ZZ2ZZ2 +20 Z3ZZ2ZZ2 +Z4ZZ2ZZ2 +10 Z2ZZ3ZZ2 +20 Z3ZZ3ZZ2 +Z4ZZ3ZZ2 +10 Z2ZZ4ZZ2 +20 Z3ZZ4ZZ2 +Z4ZZ4ZZ2 +10 Z2ZZ5ZZ2 +20 Z3ZZ5ZZ2 +Z4ZZ5ZZ2 +10 Z2ZZ6ZZ2 +20 Z3ZZ6ZZ2 +Z4ZZ6ZZ2 +10 Z2ZZ7ZZ2 +20 Z3ZZ7ZZ2 +Z4ZZ7ZZ2 +10 Z2ZZ8ZZ2 +20 Z3ZZ8ZZ2 +Z4ZZ8ZZ2 +10 Z2ZZ9ZZ2 +20 Z3ZZ9ZZ2 +Z4ZZ9ZZ2 +10 Z2Z10ZZ2 +20 Z3Z10ZZ2 +Z4Z10ZZ2 +10 Z2Z11ZZ2 +20 Z3Z11ZZ2 +Z4Z11ZZ2 +10 Z2Z12ZZ2 +20 Z3Z12ZZ2 +Z4Z12ZZ2 +10 Z2Z13ZZ2 +20 Z3Z13ZZ2 +Z4Z13ZZ2 +10 Z2Z14ZZ2 +20 Z3Z14ZZ2 +Z4Z14ZZ2 +10 Z2Z15ZZ2 +20 Z3Z15ZZ2 +Z4Z15ZZ2 +10 Z2Z16ZZ2 +20 Z3Z16ZZ2 +Z4Z16ZZ2 +15 Z2Z17ZZ2 +25 Z3Z17ZZ2 +Z4Z17ZZ2 +15 Z2Z18ZZ2 +25 Z3Z18ZZ2 +Z4Z18ZZ2 +15 Z2Z19ZZ2 +25 Z3Z19ZZ2 +Z4Z19ZZ2 +15 Z2Z20ZZ2 +25 Z3Z20ZZ2 +Z4Z20ZZ2 +15 Z2Z21ZZ2 +25 Z3Z21ZZ2 +Z4Z21ZZ2 +15 Z2Z22ZZ2 +25 Z3Z22ZZ2 +Z4Z22ZZ2 +15 Z2Z23ZZ2 +25 Z3Z23ZZ2 +Z4Z23ZZ2 +15 Z2Z24ZZ2 +25 Z3Z24ZZ2 +Z4Z24ZZ2 +15 Z2Z25ZZ2 +25 Z3Z25ZZ2 +Z4Z25ZZ2 +15 Z2Z26ZZ2 +25 Z3Z26ZZ2 +Z4Z26ZZ2 +15 Z2Z27ZZ2 +25 Z3Z27ZZ2 +Z4Z27ZZ2 +15 Z2Z28ZZ2 +25 Z3Z28ZZ2 +Z4Z28ZZ2 +15 Z2Z29ZZ2 +25 Z3Z29ZZ2 +Z4Z29ZZ2 +15 Z2Z30ZZ2 +25 Z3Z30ZZ2 +Z4Z30ZZ2 +30 Z2Z31ZZ2 +40 Z3Z31ZZ2 +Z4Z31ZZ2 +30 Z2Z32ZZ2 +40 Z3Z32ZZ2 +Z4Z32ZZ2 +30 Z2Z33ZZ2 +40 Z3Z33ZZ2 +Z4Z33ZZ2 +30 Z2Z34ZZ2 +40 Z3Z34ZZ2 +Z4Z34ZZ2 +30 Z2Z35ZZ2 +40 Z3Z35ZZ2 +Z4Z35ZZ2 +30 Z2Z36ZZ2 +40 Z3Z36ZZ2 +Z4Z36ZZ2 +30 Z2Z37ZZ2 +40 Z3Z37ZZ2 +Z4Z37ZZ2 +30 Z2Z38ZZ2 +40 Z3Z38ZZ2 +Z4Z38ZZ2 +30 Z2Z39ZZ2 +40 Z3Z39ZZ2 +Z4Z39ZZ2 +30 Z2Z40ZZ2 +40 Z3Z40ZZ2 +Z4Z40ZZ2 +30 Z2Z41ZZ2 +40 Z3Z41ZZ2 +Z4Z41ZZ2 +30 Z2Z42ZZ2 +40 Z3Z42ZZ2 +Z4Z42ZZ2 +30 Z2Z43ZZ2 +40 Z3Z43ZZ2 +Z4Z43ZZ2 +30 Z2Z44ZZ2 +40 Z3Z44ZZ2 +Z4Z44ZZ2 +50 Z2Z45ZZ2 +80 Z3Z45ZZ2 +Z4Z45ZZ2 +50 Z2Z46ZZ2 +80 Z3Z46ZZ2 +Z4Z46ZZ2 +50 Z2Z47ZZ2 +80 Z3Z47ZZ2 +Z4Z47ZZ2 +10 Z2ZZ1ZZ3 +20 Z3ZZ1ZZ3 +Z4ZZ1ZZ3 +10 Z2ZZ2ZZ3 +20 Z3ZZ2ZZ3 +Z4ZZ2ZZ3 +10 Z2ZZ3ZZ3 +20 Z3ZZ3ZZ3 +Z4ZZ3ZZ3 +10 Z2ZZ4ZZ3 +20 Z3ZZ4ZZ3 +Z4ZZ4ZZ3 +10 Z2ZZ5ZZ3 +20 Z3ZZ5ZZ3 +Z4ZZ5ZZ3 +10 Z2ZZ6ZZ3 +20 Z3ZZ6ZZ3 +Z4ZZ6ZZ3 +10 Z2ZZ7ZZ3 +20 Z3ZZ7ZZ3 +Z4ZZ7ZZ3 +10 Z2ZZ8ZZ3 +20 Z3ZZ8ZZ3 +Z4ZZ8ZZ3 +10 Z2ZZ9ZZ3 +20 Z3ZZ9ZZ3 +Z4ZZ9ZZ3 +10 Z2Z10ZZ3 +20 Z3Z10ZZ3 +Z4Z10ZZ3 +10 Z2Z11ZZ3 +20 Z3Z11ZZ3 +Z4Z11ZZ3 +10 Z2Z12ZZ3 +20 Z3Z12ZZ3 +Z4Z12ZZ3 +10 Z2Z13ZZ3 +20 Z3Z13ZZ3 +Z4Z13ZZ3 +10 Z2Z14ZZ3 +20 Z3Z14ZZ3 +Z4Z14ZZ3 +10 Z2Z15ZZ3 +20 Z3Z15ZZ3 +Z4Z15ZZ3 +10 Z2Z16ZZ3 +20 Z3Z16ZZ3 +Z4Z16ZZ3 +15 Z2Z17ZZ3 +25 Z3Z17ZZ3 +Z4Z17ZZ3 +15 Z2Z18ZZ3 +25 Z3Z18ZZ3 +Z4Z18ZZ3 +15 Z2Z19ZZ3 +25 Z3Z19ZZ3 +Z4Z19ZZ3 +15 Z2Z20ZZ3 +25 Z3Z20ZZ3 +Z4Z20ZZ3 +15 Z2Z21ZZ3 +25 Z3Z21ZZ3 +Z4Z21ZZ3 +15 Z2Z22ZZ3 +25 Z3Z22ZZ3 +Z4Z22ZZ3 +15 Z2Z23ZZ3 +25 Z3Z23ZZ3 +Z4Z23ZZ3 +15 Z2Z24ZZ3 +25 Z3Z24ZZ3 +Z4Z24ZZ3 +15 Z2Z25ZZ3 +25 Z3Z25ZZ3 +Z4Z25ZZ3 +15 Z2Z26ZZ3 +25 Z3Z26ZZ3 +Z4Z26ZZ3 +15 Z2Z27ZZ3 +25 Z3Z27ZZ3 +Z4Z27ZZ3 +15 Z2Z28ZZ3 +25 Z3Z28ZZ3 +Z4Z28ZZ3 +15 Z2Z29ZZ3 +25 Z3Z29ZZ3 +Z4Z29ZZ3 +15 Z2Z30ZZ3 +25 Z3Z30ZZ3 +Z4Z30ZZ3 +30 Z2Z31ZZ3 +40 Z3Z31ZZ3 +Z4Z31ZZ3 +30 Z2Z32ZZ3 +40 Z3Z32ZZ3 +Z4Z32ZZ3 +30 Z2Z33ZZ3 +40 Z3Z33ZZ3 +Z4Z33ZZ3 +30 Z2Z34ZZ3 +40 Z3Z34ZZ3 +Z4Z34ZZ3 +30 Z2Z35ZZ3 +40 Z3Z35ZZ3 +Z4Z35ZZ3 +30 Z2Z36ZZ3 +40 Z3Z36ZZ3 +Z4Z36ZZ3 +30 Z2Z37ZZ3 +40 Z3Z37ZZ3 +Z4Z37ZZ3 +30 Z2Z38ZZ3 +40 Z3Z38ZZ3 +Z4Z38ZZ3 +30 Z2Z39ZZ3 +40 Z3Z39ZZ3 +Z4Z39ZZ3 +30 Z2Z40ZZ3 +40 Z3Z40ZZ3 +Z4Z40ZZ3 +30 Z2Z41ZZ3 +40 Z3Z41ZZ3 +Z4Z41ZZ3 +30 Z2Z42ZZ3 +40 Z3Z42ZZ3 +Z4Z42ZZ3 +30 Z2Z43ZZ3 +40 Z3Z43ZZ3 +Z4Z43ZZ3 +30 Z2Z44ZZ3 +40 Z3Z44ZZ3 +Z4Z44ZZ3 +50 Z2Z45ZZ3 +80 Z3Z45ZZ3 +Z4Z45ZZ3 +50 Z2Z46ZZ3 +80 Z3Z46ZZ3 +Z4Z46ZZ3 +50 Z2Z47ZZ3 +80 Z3Z47ZZ3 +Z4Z47ZZ3 +10 Z2ZZ1ZZ4 +20 Z3ZZ1ZZ4 +Z4ZZ1ZZ4 +10 Z2ZZ2ZZ4 +20 Z3ZZ2ZZ4 +Z4ZZ2ZZ4 +10 Z2ZZ3ZZ4 +20 Z3ZZ3ZZ4 +Z4ZZ3ZZ4 +10 Z2ZZ4ZZ4 +20 Z3ZZ4ZZ4 +Z4ZZ4ZZ4 +10 Z2ZZ5ZZ4 +20 Z3ZZ5ZZ4 +Z4ZZ5ZZ4 +10 Z2ZZ6ZZ4 +20 Z3ZZ6ZZ4 +Z4ZZ6ZZ4 +10 Z2ZZ7ZZ4 +20 Z3ZZ7ZZ4 +Z4ZZ7ZZ4 +10 Z2ZZ8ZZ4 +20 Z3ZZ8ZZ4 +Z4ZZ8ZZ4 +10 Z2ZZ9ZZ4 +20 Z3ZZ9ZZ4 +Z4ZZ9ZZ4 +10 Z2Z10ZZ4 +20 Z3Z10ZZ4 +Z4Z10ZZ4 +10 Z2Z11ZZ4 +20 Z3Z11ZZ4 +Z4Z11ZZ4 +10 Z2Z12ZZ4 +20 Z3Z12ZZ4 +Z4Z12ZZ4 +10 Z2Z13ZZ4 +20 Z3Z13ZZ4 +Z4Z13ZZ4 +10 Z2Z14ZZ4 +20 Z3Z14ZZ4 +Z4Z14ZZ4 +10 Z2Z15ZZ4 +20 Z3Z15ZZ4 +Z4Z15ZZ4 +10 Z2Z16ZZ4 +20 Z3Z16ZZ4 +Z4Z16ZZ4 +15 Z2Z17ZZ4 +25 Z3Z17ZZ4 +Z4Z17ZZ4 +15 Z2Z18ZZ4 +25 Z3Z18ZZ4 +Z4Z18ZZ4 +15 Z2Z19ZZ4 +25 Z3Z19ZZ4 +Z4Z19ZZ4 +15 Z2Z20ZZ4 +25 Z3Z20ZZ4 +Z4Z20ZZ4 +15 Z2Z21ZZ4 +25 Z3Z21ZZ4 +Z4Z21ZZ4 +15 Z2Z22ZZ4 +25 Z3Z22ZZ4 +Z4Z22ZZ4 +15 Z2Z23ZZ4 +25 Z3Z23ZZ4 +Z4Z23ZZ4 +15 Z2Z24ZZ4 +25 Z3Z24ZZ4 +Z4Z24ZZ4 +15 Z2Z25ZZ4 +25 Z3Z25ZZ4 +Z4Z25ZZ4 +15 Z2Z26ZZ4 +25 Z3Z26ZZ4 +Z4Z26ZZ4 +15 Z2Z27ZZ4 +25 Z3Z27ZZ4 +Z4Z27ZZ4 +15 Z2Z28ZZ4 +25 Z3Z28ZZ4 +Z4Z28ZZ4 +15 Z2Z29ZZ4 +25 Z3Z29ZZ4 +Z4Z29ZZ4 +15 Z2Z30ZZ4 +25 Z3Z30ZZ4 +Z4Z30ZZ4 +30 Z2Z31ZZ4 +40 Z3Z31ZZ4 +Z4Z31ZZ4 +30 Z2Z32ZZ4 +40 Z3Z32ZZ4 +Z4Z32ZZ4 +30 Z2Z33ZZ4 +40 Z3Z33ZZ4 +Z4Z33ZZ4 +30 Z2Z34ZZ4 +40 Z3Z34ZZ4 +Z4Z34ZZ4 +30 Z2Z35ZZ4 +40 Z3Z35ZZ4 +Z4Z35ZZ4 +30 Z2Z36ZZ4 +40 Z3Z36ZZ4 +Z4Z36ZZ4 +30 Z2Z37ZZ4 +40 Z3Z37ZZ4 +Z4Z37ZZ4 +30 Z2Z38ZZ4 +40 Z3Z38ZZ4 +Z4Z38ZZ4 +30 Z2Z39ZZ4 +40 Z3Z39ZZ4 +Z4Z39ZZ4 +30 Z2Z40ZZ4 +40 Z3Z40ZZ4 +Z4Z40ZZ4 +30 Z2Z41ZZ4 +40 Z3Z41ZZ4 +Z4Z41ZZ4 +30 Z2Z42ZZ4 +40 Z3Z42ZZ4 +Z4Z42ZZ4 +30 Z2Z43ZZ4 +40 Z3Z43ZZ4 +Z4Z43ZZ4 +30 Z2Z44ZZ4 +40 Z3Z44ZZ4 +Z4Z44ZZ4 +50 Z2Z45ZZ4 +80 Z3Z45ZZ4 +Z4Z45ZZ4 +50 Z2Z46ZZ4 +80 Z3Z46ZZ4 +Z4Z46ZZ4 +50 Z2Z47ZZ4 +80 Z3Z47ZZ4 +Z4Z47ZZ4 +10 Z2ZZ1ZZ5 +20 Z3ZZ1ZZ5 +Z4ZZ1ZZ5 +10 Z2ZZ2ZZ5 +20 Z3ZZ2ZZ5 +Z4ZZ2ZZ5 +10 Z2ZZ3ZZ5 +20 Z3ZZ3ZZ5 +Z4ZZ3ZZ5 +10 Z2ZZ4ZZ5 +20 Z3ZZ4ZZ5 +Z4ZZ4ZZ5 +10 Z2ZZ5ZZ5 +20 Z3ZZ5ZZ5 +Z4ZZ5ZZ5 +10 Z2ZZ6ZZ5 +20 Z3ZZ6ZZ5 +Z4ZZ6ZZ5 +10 Z2ZZ7ZZ5 +20 Z3ZZ7ZZ5 +Z4ZZ7ZZ5 +10 Z2ZZ8ZZ5 +20 Z3ZZ8ZZ5 +Z4ZZ8ZZ5 +10 Z2ZZ9ZZ5 +20 Z3ZZ9ZZ5 +Z4ZZ9ZZ5 +10 Z2Z10ZZ5 +20 Z3Z10ZZ5 +Z4Z10ZZ5 +10 Z2Z11ZZ5 +20 Z3Z11ZZ5 +Z4Z11ZZ5 +10 Z2Z12ZZ5 +20 Z3Z12ZZ5 +Z4Z12ZZ5 +10 Z2Z13ZZ5 +20 Z3Z13ZZ5 +Z4Z13ZZ5 +10 Z2Z14ZZ5 +20 Z3Z14ZZ5 +Z4Z14ZZ5 +10 Z2Z15ZZ5 +20 Z3Z15ZZ5 +Z4Z15ZZ5 +10 Z2Z16ZZ5 +20 Z3Z16ZZ5 +Z4Z16ZZ5 +15 Z2Z17ZZ5 +25 Z3Z17ZZ5 +Z4Z17ZZ5 +15 Z2Z18ZZ5 +25 Z3Z18ZZ5 +Z4Z18ZZ5 +15 Z2Z19ZZ5 +25 Z3Z19ZZ5 +Z4Z19ZZ5 +15 Z2Z20ZZ5 +25 Z3Z20ZZ5 +Z4Z20ZZ5 +15 Z2Z21ZZ5 +25 Z3Z21ZZ5 +Z4Z21ZZ5 +15 Z2Z22ZZ5 +25 Z3Z22ZZ5 +Z4Z22ZZ5 +15 Z2Z23ZZ5 +25 Z3Z23ZZ5 +Z4Z23ZZ5 +15 Z2Z24ZZ5 +25 Z3Z24ZZ5 +Z4Z24ZZ5 +15 Z2Z25ZZ5 +25 Z3Z25ZZ5 +Z4Z25ZZ5 +15 Z2Z26ZZ5 +25 Z3Z26ZZ5 +Z4Z26ZZ5 +15 Z2Z27ZZ5 +25 Z3Z27ZZ5 +Z4Z27ZZ5 +15 Z2Z28ZZ5 +25 Z3Z28ZZ5 +Z4Z28ZZ5 +15 Z2Z29ZZ5 +25 Z3Z29ZZ5 +Z4Z29ZZ5 +15 Z2Z30ZZ5 +25 Z3Z30ZZ5 +Z4Z30ZZ5 +30 Z2Z31ZZ5 +40 Z3Z31ZZ5 +Z4Z31ZZ5 +30 Z2Z32ZZ5 +40 Z3Z32ZZ5 +Z4Z32ZZ5 +30 Z2Z33ZZ5 +40 Z3Z33ZZ5 +Z4Z33ZZ5 +30 Z2Z34ZZ5 +40 Z3Z34ZZ5 +Z4Z34ZZ5 +30 Z2Z35ZZ5 +40 Z3Z35ZZ5 +Z4Z35ZZ5 +30 Z2Z36ZZ5 +40 Z3Z36ZZ5 +Z4Z36ZZ5 +30 Z2Z37ZZ5 +40 Z3Z37ZZ5 +Z4Z37ZZ5 +30 Z2Z38ZZ5 +40 Z3Z38ZZ5 +Z4Z38ZZ5 +30 Z2Z39ZZ5 +40 Z3Z39ZZ5 +Z4Z39ZZ5 +30 Z2Z40ZZ5 +40 Z3Z40ZZ5 +Z4Z40ZZ5 +30 Z2Z41ZZ5 +40 Z3Z41ZZ5 +Z4Z41ZZ5 +30 Z2Z42ZZ5 +40 Z3Z42ZZ5 +Z4Z42ZZ5 +30 Z2Z43ZZ5 +40 Z3Z43ZZ5 +Z4Z43ZZ5 +30 Z2Z44ZZ5 +40 Z3Z44ZZ5 +Z4Z44ZZ5 +50 Z2Z45ZZ5 +80 Z3Z45ZZ5 +Z4Z45ZZ5 +50 Z2Z46ZZ5 +80 Z3Z46ZZ5 +Z4Z46ZZ5 +50 Z2Z47ZZ5 +80 Z3Z47ZZ5 +Z4Z47ZZ5 +10 Z2ZZ1ZZ6 +20 Z3ZZ1ZZ6 +Z4ZZ1ZZ6 +10 Z2ZZ2ZZ6 +20 Z3ZZ2ZZ6 +Z4ZZ2ZZ6 +10 Z2ZZ3ZZ6 +20 Z3ZZ3ZZ6 +Z4ZZ3ZZ6 +10 Z2ZZ4ZZ6 +20 Z3ZZ4ZZ6 +Z4ZZ4ZZ6 +10 Z2ZZ5ZZ6 +20 Z3ZZ5ZZ6 +Z4ZZ5ZZ6 +10 Z2ZZ6ZZ6 +20 Z3ZZ6ZZ6 +Z4ZZ6ZZ6 +10 Z2ZZ7ZZ6 +20 Z3ZZ7ZZ6 +Z4ZZ7ZZ6 +10 Z2ZZ8ZZ6 +20 Z3ZZ8ZZ6 +Z4ZZ8ZZ6 +10 Z2ZZ9ZZ6 +20 Z3ZZ9ZZ6 +Z4ZZ9ZZ6 +10 Z2Z10ZZ6 +20 Z3Z10ZZ6 +Z4Z10ZZ6 +10 Z2Z11ZZ6 +20 Z3Z11ZZ6 +Z4Z11ZZ6 +10 Z2Z12ZZ6 +20 Z3Z12ZZ6 +Z4Z12ZZ6 +10 Z2Z13ZZ6 +20 Z3Z13ZZ6 +Z4Z13ZZ6 +10 Z2Z14ZZ6 +20 Z3Z14ZZ6 +Z4Z14ZZ6 +10 Z2Z15ZZ6 +20 Z3Z15ZZ6 +Z4Z15ZZ6 +10 Z2Z16ZZ6 +20 Z3Z16ZZ6 +Z4Z16ZZ6 +15 Z2Z17ZZ6 +25 Z3Z17ZZ6 +Z4Z17ZZ6 +15 Z2Z18ZZ6 +25 Z3Z18ZZ6 +Z4Z18ZZ6 +15 Z2Z19ZZ6 +25 Z3Z19ZZ6 +Z4Z19ZZ6 +15 Z2Z20ZZ6 +25 Z3Z20ZZ6 +Z4Z20ZZ6 +15 Z2Z21ZZ6 +25 Z3Z21ZZ6 +Z4Z21ZZ6 +15 Z2Z22ZZ6 +25 Z3Z22ZZ6 +Z4Z22ZZ6 +15 Z2Z23ZZ6 +25 Z3Z23ZZ6 +Z4Z23ZZ6 +15 Z2Z24ZZ6 +25 Z3Z24ZZ6 +Z4Z24ZZ6 +15 Z2Z25ZZ6 +25 Z3Z25ZZ6 +Z4Z25ZZ6 +15 Z2Z26ZZ6 +25 Z3Z26ZZ6 +Z4Z26ZZ6 +15 Z2Z27ZZ6 +25 Z3Z27ZZ6 +Z4Z27ZZ6 +15 Z2Z28ZZ6 +25 Z3Z28ZZ6 +Z4Z28ZZ6 +15 Z2Z29ZZ6 +25 Z3Z29ZZ6 +Z4Z29ZZ6 +15 Z2Z30ZZ6 +25 Z3Z30ZZ6 +Z4Z30ZZ6 +30 Z2Z31ZZ6 +40 Z3Z31ZZ6 +Z4Z31ZZ6 +30 Z2Z32ZZ6 +40 Z3Z32ZZ6 +Z4Z32ZZ6 +30 Z2Z33ZZ6 +40 Z3Z33ZZ6 +Z4Z33ZZ6 +30 Z2Z34ZZ6 +40 Z3Z34ZZ6 +Z4Z34ZZ6 +30 Z2Z35ZZ6 +40 Z3Z35ZZ6 +Z4Z35ZZ6 +30 Z2Z36ZZ6 +40 Z3Z36ZZ6 +Z4Z36ZZ6 +30 Z2Z37ZZ6 +40 Z3Z37ZZ6 +Z4Z37ZZ6 +30 Z2Z38ZZ6 +40 Z3Z38ZZ6 +Z4Z38ZZ6 +30 Z2Z39ZZ6 +40 Z3Z39ZZ6 +Z4Z39ZZ6 +30 Z2Z40ZZ6 +40 Z3Z40ZZ6 +Z4Z40ZZ6 +30 Z2Z41ZZ6 +40 Z3Z41ZZ6 +Z4Z41ZZ6 +30 Z2Z42ZZ6 +40 Z3Z42ZZ6 +Z4Z42ZZ6 +30 Z2Z43ZZ6 +40 Z3Z43ZZ6 +Z4Z43ZZ6 +30 Z2Z44ZZ6 +40 Z3Z44ZZ6 +Z4Z44ZZ6 +50 Z2Z45ZZ6 +80 Z3Z45ZZ6 +Z4Z45ZZ6 +50 Z2Z46ZZ6 +80 Z3Z46ZZ6 +Z4Z46ZZ6 +50 Z2Z47ZZ6 +80 Z3Z47ZZ6 +Z4Z47ZZ6 +10 Z2ZZ1ZZ7 +20 Z3ZZ1ZZ7 +Z4ZZ1ZZ7 +10 Z2ZZ2ZZ7 +20 Z3ZZ2ZZ7 +Z4ZZ2ZZ7 +10 Z2ZZ3ZZ7 +20 Z3ZZ3ZZ7 +Z4ZZ3ZZ7 +10 Z2ZZ4ZZ7 +20 Z3ZZ4ZZ7 +Z4ZZ4ZZ7 +10 Z2ZZ5ZZ7 +20 Z3ZZ5ZZ7 +Z4ZZ5ZZ7 +10 Z2ZZ6ZZ7 +20 Z3ZZ6ZZ7 +Z4ZZ6ZZ7 +10 Z2ZZ7ZZ7 +20 Z3ZZ7ZZ7 +Z4ZZ7ZZ7 +10 Z2ZZ8ZZ7 +20 Z3ZZ8ZZ7 +Z4ZZ8ZZ7 +10 Z2ZZ9ZZ7 +20 Z3ZZ9ZZ7 +Z4ZZ9ZZ7 +10 Z2Z10ZZ7 +20 Z3Z10ZZ7 +Z4Z10ZZ7 +10 Z2Z11ZZ7 +20 Z3Z11ZZ7 +Z4Z11ZZ7 +10 Z2Z12ZZ7 +20 Z3Z12ZZ7 +Z4Z12ZZ7 +10 Z2Z13ZZ7 +20 Z3Z13ZZ7 +Z4Z13ZZ7 +10 Z2Z14ZZ7 +20 Z3Z14ZZ7 +Z4Z14ZZ7 +10 Z2Z15ZZ7 +20 Z3Z15ZZ7 +Z4Z15ZZ7 +10 Z2Z16ZZ7 +20 Z3Z16ZZ7 +Z4Z16ZZ7 +15 Z2Z17ZZ7 +25 Z3Z17ZZ7 +Z4Z17ZZ7 +15 Z2Z18ZZ7 +25 Z3Z18ZZ7 +Z4Z18ZZ7 +15 Z2Z19ZZ7 +25 Z3Z19ZZ7 +Z4Z19ZZ7 +15 Z2Z20ZZ7 +25 Z3Z20ZZ7 +Z4Z20ZZ7 +15 Z2Z21ZZ7 +25 Z3Z21ZZ7 +Z4Z21ZZ7 +15 Z2Z22ZZ7 +25 Z3Z22ZZ7 +Z4Z22ZZ7 +15 Z2Z23ZZ7 +25 Z3Z23ZZ7 +Z4Z23ZZ7 +15 Z2Z24ZZ7 +25 Z3Z24ZZ7 +Z4Z24ZZ7 +15 Z2Z25ZZ7 +25 Z3Z25ZZ7 +Z4Z25ZZ7 +15 Z2Z26ZZ7 +25 Z3Z26ZZ7 +Z4Z26ZZ7 +15 Z2Z27ZZ7 +25 Z3Z27ZZ7 +Z4Z27ZZ7 +15 Z2Z28ZZ7 +25 Z3Z28ZZ7 +Z4Z28ZZ7 +15 Z2Z29ZZ7 +25 Z3Z29ZZ7 +Z4Z29ZZ7 +15 Z2Z30ZZ7 +25 Z3Z30ZZ7 +Z4Z30ZZ7 +30 Z2Z31ZZ7 +40 Z3Z31ZZ7 +Z4Z31ZZ7 +30 Z2Z32ZZ7 +40 Z3Z32ZZ7 +Z4Z32ZZ7 +30 Z2Z33ZZ7 +40 Z3Z33ZZ7 +Z4Z33ZZ7 +30 Z2Z34ZZ7 +40 Z3Z34ZZ7 +Z4Z34ZZ7 +30 Z2Z35ZZ7 +40 Z3Z35ZZ7 +Z4Z35ZZ7 +30 Z2Z36ZZ7 +40 Z3Z36ZZ7 +Z4Z36ZZ7 +30 Z2Z37ZZ7 +40 Z3Z37ZZ7 +Z4Z37ZZ7 +30 Z2Z38ZZ7 +40 Z3Z38ZZ7 +Z4Z38ZZ7 +30 Z2Z39ZZ7 +40 Z3Z39ZZ7 +Z4Z39ZZ7 +30 Z2Z40ZZ7 +40 Z3Z40ZZ7 +Z4Z40ZZ7 +30 Z2Z41ZZ7 +40 Z3Z41ZZ7 +Z4Z41ZZ7 +30 Z2Z42ZZ7 +40 Z3Z42ZZ7 +Z4Z42ZZ7 +30 Z2Z43ZZ7 +40 Z3Z43ZZ7 +Z4Z43ZZ7 +30 Z2Z44ZZ7 +40 Z3Z44ZZ7 +Z4Z44ZZ7 +50 Z2Z45ZZ7 +80 Z3Z45ZZ7 +Z4Z45ZZ7 +50 Z2Z46ZZ7 +80 Z3Z46ZZ7 +Z4Z46ZZ7 +50 Z2Z47ZZ7 +80 Z3Z47ZZ7 +Z4Z47ZZ7 +10 Z2ZZ1ZZ8 +20 Z3ZZ1ZZ8 +Z4ZZ1ZZ8 +10 Z2ZZ2ZZ8 +20 Z3ZZ2ZZ8 +Z4ZZ2ZZ8 +10 Z2ZZ3ZZ8 +20 Z3ZZ3ZZ8 +Z4ZZ3ZZ8 +10 Z2ZZ4ZZ8 +20 Z3ZZ4ZZ8 +Z4ZZ4ZZ8 +10 Z2ZZ5ZZ8 +20 Z3ZZ5ZZ8 +Z4ZZ5ZZ8 +10 Z2ZZ6ZZ8 +20 Z3ZZ6ZZ8 +Z4ZZ6ZZ8 +10 Z2ZZ7ZZ8 +20 Z3ZZ7ZZ8 +Z4ZZ7ZZ8 +10 Z2ZZ8ZZ8 +20 Z3ZZ8ZZ8 +Z4ZZ8ZZ8 +10 Z2ZZ9ZZ8 +20 Z3ZZ9ZZ8 +Z4ZZ9ZZ8 +10 Z2Z10ZZ8 +20 Z3Z10ZZ8 +Z4Z10ZZ8 +10 Z2Z11ZZ8 +20 Z3Z11ZZ8 +Z4Z11ZZ8 +10 Z2Z12ZZ8 +20 Z3Z12ZZ8 +Z4Z12ZZ8 +10 Z2Z13ZZ8 +20 Z3Z13ZZ8 +Z4Z13ZZ8 +10 Z2Z14ZZ8 +20 Z3Z14ZZ8 +Z4Z14ZZ8 +10 Z2Z15ZZ8 +20 Z3Z15ZZ8 +Z4Z15ZZ8 +10 Z2Z16ZZ8 +20 Z3Z16ZZ8 +Z4Z16ZZ8 +15 Z2Z17ZZ8 +25 Z3Z17ZZ8 +Z4Z17ZZ8 +15 Z2Z18ZZ8 +25 Z3Z18ZZ8 +Z4Z18ZZ8 +15 Z2Z19ZZ8 +25 Z3Z19ZZ8 +Z4Z19ZZ8 +15 Z2Z20ZZ8 +25 Z3Z20ZZ8 +Z4Z20ZZ8 +15 Z2Z21ZZ8 +25 Z3Z21ZZ8 +Z4Z21ZZ8 +15 Z2Z22ZZ8 +25 Z3Z22ZZ8 +Z4Z22ZZ8 +15 Z2Z23ZZ8 +25 Z3Z23ZZ8 +Z4Z23ZZ8 +15 Z2Z24ZZ8 +25 Z3Z24ZZ8 +Z4Z24ZZ8 +15 Z2Z25ZZ8 +25 Z3Z25ZZ8 +Z4Z25ZZ8 +15 Z2Z26ZZ8 +25 Z3Z26ZZ8 +Z4Z26ZZ8 +15 Z2Z27ZZ8 +25 Z3Z27ZZ8 +Z4Z27ZZ8 +15 Z2Z28ZZ8 +25 Z3Z28ZZ8 +Z4Z28ZZ8 +15 Z2Z29ZZ8 +25 Z3Z29ZZ8 +Z4Z29ZZ8 +15 Z2Z30ZZ8 +25 Z3Z30ZZ8 +Z4Z30ZZ8 +30 Z2Z31ZZ8 +40 Z3Z31ZZ8 +Z4Z31ZZ8 +30 Z2Z32ZZ8 +40 Z3Z32ZZ8 +Z4Z32ZZ8 +30 Z2Z33ZZ8 +40 Z3Z33ZZ8 +Z4Z33ZZ8 +30 Z2Z34ZZ8 +40 Z3Z34ZZ8 +Z4Z34ZZ8 +30 Z2Z35ZZ8 +40 Z3Z35ZZ8 +Z4Z35ZZ8 +30 Z2Z36ZZ8 +40 Z3Z36ZZ8 +Z4Z36ZZ8 +30 Z2Z37ZZ8 +40 Z3Z37ZZ8 +Z4Z37ZZ8 +30 Z2Z38ZZ8 +40 Z3Z38ZZ8 +Z4Z38ZZ8 +30 Z2Z39ZZ8 +40 Z3Z39ZZ8 +Z4Z39ZZ8 +30 Z2Z40ZZ8 +40 Z3Z40ZZ8 +Z4Z40ZZ8 +30 Z2Z41ZZ8 +40 Z3Z41ZZ8 +Z4Z41ZZ8 +30 Z2Z42ZZ8 +40 Z3Z42ZZ8 +Z4Z42ZZ8 +30 Z2Z43ZZ8 +40 Z3Z43ZZ8 +Z4Z43ZZ8 +30 Z2Z44ZZ8 +40 Z3Z44ZZ8 +Z4Z44ZZ8 +50 Z2Z45ZZ8 +80 Z3Z45ZZ8 +Z4Z45ZZ8 +50 Z2Z46ZZ8 +80 Z3Z46ZZ8 +Z4Z46ZZ8 +50 Z2Z47ZZ8 +80 Z3Z47ZZ8 +Z4Z47ZZ8 +10 Z2ZZ1ZZ9 +20 Z3ZZ1ZZ9 +Z4ZZ1ZZ9 +10 Z2ZZ2ZZ9 +20 Z3ZZ2ZZ9 +Z4ZZ2ZZ9 +10 Z2ZZ3ZZ9 +20 Z3ZZ3ZZ9 +Z4ZZ3ZZ9 +10 Z2ZZ4ZZ9 +20 Z3ZZ4ZZ9 +Z4ZZ4ZZ9 +10 Z2ZZ5ZZ9 +20 Z3ZZ5ZZ9 +Z4ZZ5ZZ9 +10 Z2ZZ6ZZ9 +20 Z3ZZ6ZZ9 +Z4ZZ6ZZ9 +10 Z2ZZ7ZZ9 +20 Z3ZZ7ZZ9 +Z4ZZ7ZZ9 +10 Z2ZZ8ZZ9 +20 Z3ZZ8ZZ9 +Z4ZZ8ZZ9 +10 Z2ZZ9ZZ9 +20 Z3ZZ9ZZ9 +Z4ZZ9ZZ9 +10 Z2Z10ZZ9 +20 Z3Z10ZZ9 +Z4Z10ZZ9 +10 Z2Z11ZZ9 +20 Z3Z11ZZ9 +Z4Z11ZZ9 +10 Z2Z12ZZ9 +20 Z3Z12ZZ9 +Z4Z12ZZ9 +10 Z2Z13ZZ9 +20 Z3Z13ZZ9 +Z4Z13ZZ9 +10 Z2Z14ZZ9 +20 Z3Z14ZZ9 +Z4Z14ZZ9 +10 Z2Z15ZZ9 +20 Z3Z15ZZ9 +Z4Z15ZZ9 +10 Z2Z16ZZ9 +20 Z3Z16ZZ9 +Z4Z16ZZ9 +15 Z2Z17ZZ9 +25 Z3Z17ZZ9 +Z4Z17ZZ9 +15 Z2Z18ZZ9 +25 Z3Z18ZZ9 +Z4Z18ZZ9 +15 Z2Z19ZZ9 +25 Z3Z19ZZ9 +Z4Z19ZZ9 +15 Z2Z20ZZ9 +25 Z3Z20ZZ9 +Z4Z20ZZ9 +15 Z2Z21ZZ9 +25 Z3Z21ZZ9 +Z4Z21ZZ9 +15 Z2Z22ZZ9 +25 Z3Z22ZZ9 +Z4Z22ZZ9 +15 Z2Z23ZZ9 +25 Z3Z23ZZ9 +Z4Z23ZZ9 +15 Z2Z24ZZ9 +25 Z3Z24ZZ9 +Z4Z24ZZ9 +15 Z2Z25ZZ9 +25 Z3Z25ZZ9 +Z4Z25ZZ9 +15 Z2Z26ZZ9 +25 Z3Z26ZZ9 +Z4Z26ZZ9 +15 Z2Z27ZZ9 +25 Z3Z27ZZ9 +Z4Z27ZZ9 +15 Z2Z28ZZ9 +25 Z3Z28ZZ9 +Z4Z28ZZ9 +15 Z2Z29ZZ9 +25 Z3Z29ZZ9 +Z4Z29ZZ9 +15 Z2Z30ZZ9 +25 Z3Z30ZZ9 +Z4Z30ZZ9 +30 Z2Z31ZZ9 +40 Z3Z31ZZ9 +Z4Z31ZZ9 +30 Z2Z32ZZ9 +40 Z3Z32ZZ9 +Z4Z32ZZ9 +30 Z2Z33ZZ9 +40 Z3Z33ZZ9 +Z4Z33ZZ9 +30 Z2Z34ZZ9 +40 Z3Z34ZZ9 +Z4Z34ZZ9 +30 Z2Z35ZZ9 +40 Z3Z35ZZ9 +Z4Z35ZZ9 +30 Z2Z36ZZ9 +40 Z3Z36ZZ9 +Z4Z36ZZ9 +30 Z2Z37ZZ9 +40 Z3Z37ZZ9 +Z4Z37ZZ9 +30 Z2Z38ZZ9 +40 Z3Z38ZZ9 +Z4Z38ZZ9 +30 Z2Z39ZZ9 +40 Z3Z39ZZ9 +Z4Z39ZZ9 +30 Z2Z40ZZ9 +40 Z3Z40ZZ9 +Z4Z40ZZ9 +30 Z2Z41ZZ9 +40 Z3Z41ZZ9 +Z4Z41ZZ9 +30 Z2Z42ZZ9 +40 Z3Z42ZZ9 +Z4Z42ZZ9 +30 Z2Z43ZZ9 +40 Z3Z43ZZ9 +Z4Z43ZZ9 +30 Z2Z44ZZ9 +40 Z3Z44ZZ9 +Z4Z44ZZ9 +50 Z2Z45ZZ9 +80 Z3Z45ZZ9 +Z4Z45ZZ9 +50 Z2Z46ZZ9 +80 Z3Z46ZZ9 +Z4Z46ZZ9 +50 Z2Z47ZZ9 +80 Z3Z47ZZ9 +Z4Z47ZZ9 +10 Z2ZZ1Z10 +20 Z3ZZ1Z10 +Z4ZZ1Z10 +10 Z2ZZ2Z10 +20 Z3ZZ2Z10 +Z4ZZ2Z10 +10 Z2ZZ3Z10 +20 Z3ZZ3Z10 +Z4ZZ3Z10 +10 Z2ZZ4Z10 +20 Z3ZZ4Z10 +Z4ZZ4Z10 +10 Z2ZZ5Z10 +20 Z3ZZ5Z10 +Z4ZZ5Z10 +10 Z2ZZ6Z10 +20 Z3ZZ6Z10 +Z4ZZ6Z10 +10 Z2ZZ7Z10 +20 Z3ZZ7Z10 +Z4ZZ7Z10 +10 Z2ZZ8Z10 +20 Z3ZZ8Z10 +Z4ZZ8Z10 +10 Z2ZZ9Z10 +20 Z3ZZ9Z10 +Z4ZZ9Z10 +10 Z2Z10Z10 +20 Z3Z10Z10 +Z4Z10Z10 +10 Z2Z11Z10 +20 Z3Z11Z10 +Z4Z11Z10 +10 Z2Z12Z10 +20 Z3Z12Z10 +Z4Z12Z10 +10 Z2Z13Z10 +20 Z3Z13Z10 +Z4Z13Z10 +10 Z2Z14Z10 +20 Z3Z14Z10 +Z4Z14Z10 +10 Z2Z15Z10 +20 Z3Z15Z10 +Z4Z15Z10 +10 Z2Z16Z10 +20 Z3Z16Z10 +Z4Z16Z10 +15 Z2Z17Z10 +25 Z3Z17Z10 +Z4Z17Z10 +15 Z2Z18Z10 +25 Z3Z18Z10 +Z4Z18Z10 +15 Z2Z19Z10 +25 Z3Z19Z10 +Z4Z19Z10 +15 Z2Z20Z10 +25 Z3Z20Z10 +Z4Z20Z10 +15 Z2Z21Z10 +25 Z3Z21Z10 +Z4Z21Z10 +15 Z2Z22Z10 +25 Z3Z22Z10 +Z4Z22Z10 +15 Z2Z23Z10 +25 Z3Z23Z10 +Z4Z23Z10 +15 Z2Z24Z10 +25 Z3Z24Z10 +Z4Z24Z10 +15 Z2Z25Z10 +25 Z3Z25Z10 +Z4Z25Z10 +15 Z2Z26Z10 +25 Z3Z26Z10 +Z4Z26Z10 +15 Z2Z27Z10 +25 Z3Z27Z10 +Z4Z27Z10 +15 Z2Z28Z10 +25 Z3Z28Z10 +Z4Z28Z10 +15 Z2Z29Z10 +25 Z3Z29Z10 +Z4Z29Z10 +15 Z2Z30Z10 +25 Z3Z30Z10 +Z4Z30Z10 +30 Z2Z31Z10 +40 Z3Z31Z10 +Z4Z31Z10 +30 Z2Z32Z10 +40 Z3Z32Z10 +Z4Z32Z10 +30 Z2Z33Z10 +40 Z3Z33Z10 +Z4Z33Z10 +30 Z2Z34Z10 +40 Z3Z34Z10 +Z4Z34Z10 +30 Z2Z35Z10 +40 Z3Z35Z10 +Z4Z35Z10 +30 Z2Z36Z10 +40 Z3Z36Z10 +Z4Z36Z10 +30 Z2Z37Z10 +40 Z3Z37Z10 +Z4Z37Z10 +30 Z2Z38Z10 +40 Z3Z38Z10 +Z4Z38Z10 +30 Z2Z39Z10 +40 Z3Z39Z10 +Z4Z39Z10 +30 Z2Z40Z10 +40 Z3Z40Z10 +Z4Z40Z10 +30 Z2Z41Z10 +40 Z3Z41Z10 +Z4Z41Z10 +30 Z2Z42Z10 +40 Z3Z42Z10 +Z4Z42Z10 +30 Z2Z43Z10 +40 Z3Z43Z10 +Z4Z43Z10 +30 Z2Z44Z10 +40 Z3Z44Z10 +Z4Z44Z10 +50 Z2Z45Z10 +80 Z3Z45Z10 +Z4Z45Z10 +50 Z2Z46Z10 +80 Z3Z46Z10 +Z4Z46Z10 +50 Z2Z47Z10 +80 Z3Z47Z10 +Z4Z47Z10;
NCZZ1ZZ1: +10 Z2ZZ2ZZ1 +20 Z3ZZ2ZZ1 +Z4ZZ2ZZ1 +10 Z2Z16ZZ1 +20 Z3Z16ZZ1 +Z4Z16ZZ1 +15 Z2Z30ZZ1 +25 Z3Z30ZZ1 +Z4Z30ZZ1 > 5;
NCZZ2ZZ1: +10 Z2Z14ZZ1 +20 Z3Z14ZZ1 +Z4Z14ZZ1 +10 Z2Z15ZZ1 +20 Z3Z15ZZ1 +Z4Z15ZZ1 +15 Z2Z28ZZ1 +25 Z3Z28ZZ1 +Z4Z28ZZ1 +15 Z2Z29ZZ1 +25 Z3Z29ZZ1 +Z4Z29ZZ1 > 5;
NCZZ3ZZ1: +10 Z2ZZ1ZZ1 +20 Z3ZZ1ZZ1 +Z4ZZ1ZZ1 +10 Z2ZZ4ZZ1 +20 Z3ZZ4ZZ1 +Z4ZZ4ZZ1 +15 Z2Z17ZZ1 +25 Z3Z17ZZ1 +Z4Z17ZZ1 > -0;
NCZZ4ZZ1: +30 Z2Z32ZZ1 +40 Z3Z32ZZ1 +Z4Z32ZZ1 +30 Z2Z44ZZ1 +40 Z3Z44ZZ1 +Z4Z44ZZ1 +50 Z2Z45ZZ1 +80 Z3Z45ZZ1 +Z4Z45ZZ1 > -0;
NCZZ5ZZ1: +30 Z2Z41ZZ1 +40 Z3Z41ZZ1 +Z4Z41ZZ1 +30 Z2Z43ZZ1 +40 Z3Z43ZZ1 +Z4Z43ZZ1 > -0;
NCZZ6ZZ1: +10 Z2Z12ZZ1 +20 Z3Z12ZZ1 +Z4Z12ZZ1 +10 Z2Z13ZZ1 +20 Z3Z13ZZ1 +Z4Z13ZZ1 +15 Z2Z26ZZ1 +25 Z3Z26ZZ1 +Z4Z26ZZ1 +15 Z2Z27ZZ1 +25 Z3Z27ZZ1 +Z4Z27ZZ1 > -0;
NCZZ7ZZ1: +30 Z2Z31ZZ1 +40 Z3Z31ZZ1 +Z4Z31ZZ1 +30 Z2Z33ZZ1 +40 Z3Z33ZZ1 +Z4Z33ZZ1 > -0;
NCZZ8ZZ1: +30 Z2Z40ZZ1 +40 Z3Z40ZZ1 +Z4Z40ZZ1 +30 Z2Z42ZZ1 +40 Z3Z42ZZ1 +Z4Z42ZZ1 > -0;
NCZZ9ZZ1: +10 Z2ZZ3ZZ1 +20 Z3ZZ3ZZ1 +Z4ZZ3ZZ1 +10 Z2ZZ5ZZ1 +20 Z3ZZ5ZZ1 +Z4ZZ5ZZ1 +15 Z2Z18ZZ1 +25 Z3Z18ZZ1 +Z4Z18ZZ1 +15 Z2Z19ZZ1 +25 Z3Z19ZZ1 +Z4Z19ZZ1 > 5;
NCZ10ZZ1: +30 Z2Z34ZZ1 +40 Z3Z34ZZ1 +Z4Z34ZZ1 +30 Z2Z35ZZ1 +40 Z3Z35ZZ1 +Z4Z35ZZ1 +50 Z2Z46ZZ1 +80 Z3Z46ZZ1 +Z4Z46ZZ1 > -0;
NCZ11ZZ1: +30 Z2Z36ZZ1 +40 Z3Z36ZZ1 +Z4Z36ZZ1 +30 Z2Z37ZZ1 +40 Z3Z37ZZ1 +Z4Z37ZZ1 > -0;
NCZ12ZZ1: +30 Z2Z38ZZ1 +40 Z3Z38ZZ1 +Z4Z38ZZ1 +30 Z2Z39ZZ1 +40 Z3Z39ZZ1 +Z4Z39ZZ1 +50 Z2Z47ZZ1 +80 Z3Z47ZZ1 +Z4Z47ZZ1 > -0;
NCZ13ZZ1: +10 Z2Z10ZZ1 +20 Z3Z10ZZ1 +Z4Z10ZZ1 +10 Z2Z11ZZ1 +20 Z3Z11ZZ1 +Z4Z11ZZ1 +15 Z2Z24ZZ1 +25 Z3Z24ZZ1 +Z4Z24ZZ1 +15 Z2Z25ZZ1 +25 Z3Z25ZZ1 +Z4Z25ZZ1 > 10;
NCZ14ZZ1: +10 Z2ZZ6ZZ1 +20 Z3ZZ6ZZ1 +Z4ZZ6ZZ1 +10 Z2ZZ8ZZ1 +20 Z3ZZ8ZZ1 +Z4ZZ8ZZ1 +15 Z2Z20ZZ1 +25 Z3Z20ZZ1 +Z4Z20ZZ1 +15 Z2Z21ZZ1 +25 Z3Z21ZZ1 +Z4Z21ZZ1 > -0;
NCZ15ZZ1: +10 Z2ZZ7ZZ1 +20 Z3ZZ7ZZ1 +Z4ZZ7ZZ1 +10 Z2ZZ9ZZ1 +20 Z3ZZ9ZZ1 +Z4ZZ9ZZ1 +15 Z2Z22ZZ1 +25 Z3Z22ZZ1 +Z4Z22ZZ1 +15 Z2Z23ZZ1 +25 Z3Z23ZZ1 +Z4Z23ZZ1 > 10;
ACZZ1ZZ1: +10 Z2ZZ1ZZ1 +20 Z3ZZ1ZZ1 +Z4ZZ1ZZ1 > -0;
ACZZ2ZZ1: +10 Z2ZZ2ZZ1 +20 Z3ZZ2ZZ1 +Z4ZZ2ZZ1 > -0;
ACZZ3ZZ1: +10 Z2ZZ3ZZ1 +20 Z3ZZ3ZZ1 +Z4ZZ3ZZ1 > -0;
ACZZ4ZZ1: +10 Z2ZZ4ZZ1 +20 Z3ZZ4ZZ1 +Z4ZZ4ZZ1 > -0;
ACZZ5ZZ1: +10 Z2ZZ5ZZ1 +20 Z3ZZ5ZZ1 +Z4ZZ5ZZ1 > -0;
ACZZ6ZZ1: +10 Z2ZZ6ZZ1 +20 Z3ZZ6ZZ1 +Z4ZZ6ZZ1 > -0;
ACZZ7ZZ1: +10 Z2ZZ7ZZ1 +20 Z3ZZ7ZZ1 +Z4ZZ7ZZ1 > -0;
ACZZ8ZZ1: +10 Z2ZZ8ZZ1 +20 Z3ZZ8ZZ1 +Z4ZZ8ZZ1 > -0;
ACZZ9ZZ1: +10 Z2ZZ9ZZ1 +20 Z3ZZ9ZZ1 +Z4ZZ9ZZ1 > -0;
ACZ10ZZ1: +10 Z2Z10ZZ1 +20 Z3Z10ZZ1 +Z4Z10ZZ1 > -0;
ACZ11ZZ1: +10 Z2Z11ZZ1 +20 Z3Z11ZZ1 +Z4Z11ZZ1 > -0;
ACZ12ZZ1: +10 Z2Z12ZZ1 +20 Z3Z12ZZ1 +Z4Z12ZZ1 > -0;
ACZ13ZZ1: +10 Z2Z13ZZ1 +20 Z3Z13ZZ1 +Z4Z13ZZ1 > -0;
ACZ14ZZ1: +10 Z2Z14ZZ1 +20 Z3Z14ZZ1 +Z4Z14ZZ1 > -0;
ACZ15ZZ1: +10 Z2Z15ZZ1 +20 Z3Z15ZZ1 +Z4Z15ZZ1 > -0;
ACZ16ZZ1: +10 Z2Z16ZZ1 +20 Z3Z16ZZ1 +Z4Z16ZZ1 > -0;
ACZ17ZZ1: +15 Z2Z17ZZ1 +25 Z3Z17ZZ1 +Z4Z17ZZ1 > -0;
ACZ18ZZ1: +15 Z2Z18ZZ1 +25 Z3Z18ZZ1 +Z4Z18ZZ1 > -0;
ACZ19ZZ1: +15 Z2Z19ZZ1 +25 Z3Z19ZZ1 +Z4Z19ZZ1 > -0;
ACZ20ZZ1: +15 Z2Z20ZZ1 +25 Z3Z20ZZ1 +Z4Z20ZZ1 > -0;
ACZ21ZZ1: +15 Z2Z21ZZ1 +25 Z3Z21ZZ1 +Z4Z21ZZ1 > -0;
ACZ22ZZ1: +15 Z2Z22ZZ1 +25 Z3Z22ZZ1 +Z4Z22ZZ1 > -0;
ACZ23ZZ1: +15 Z2Z23ZZ1 +25 Z3Z23ZZ1 +Z4Z23ZZ1 > -0;
ACZ24ZZ1: +15 Z2Z24ZZ1 +25 Z3Z24ZZ1 +Z4Z24ZZ1 > -0;
ACZ25ZZ1: +15 Z2Z25ZZ1 +25 Z3Z25ZZ1 +Z4Z25ZZ1 > -0;
ACZ26ZZ1: +15 Z2Z26ZZ1 +25 Z3Z26ZZ1 +Z4Z26ZZ1 > -0;
ACZ27ZZ1: +15 Z2Z27ZZ1 +25 Z3Z27ZZ1 +Z4Z27ZZ1 > -0;
ACZ28ZZ1: +15 Z2Z28ZZ1 +25 Z3Z28ZZ1 +Z4Z28ZZ1 > -0;
ACZ29ZZ1: +15 Z2Z29ZZ1 +25 Z3Z29ZZ1 +Z4Z29ZZ1 > -0;
ACZ30ZZ1: +15 Z2Z30ZZ1 +25 Z3Z30ZZ1 +Z4Z30ZZ1 > -0;
ACZ31ZZ1: +30 Z2Z31ZZ1 +40 Z3Z31ZZ1 +Z4Z31ZZ1 > -0;
ACZ32ZZ1: +30 Z2Z32ZZ1 +40 Z3Z32ZZ1 +Z4Z32ZZ1 > -0;
ACZ33ZZ1: +30 Z2Z33ZZ1 +40 Z3Z33ZZ1 +Z4Z33ZZ1 > -0;
ACZ34ZZ1: +30 Z2Z34ZZ1 +40 Z3Z34ZZ1 +Z4Z34ZZ1 > -0;
ACZ35ZZ1: +30 Z2Z35ZZ1 +40 Z3Z35ZZ1 +Z4Z35ZZ1 > -0;
ACZ36ZZ1: +30 Z2Z36ZZ1 +40 Z3Z36ZZ1 +Z4Z36ZZ1 > -0;
ACZ37ZZ1: +30 Z2Z37ZZ1 +40 Z3Z37ZZ1 +Z4Z37ZZ1 > -0;
ACZ38ZZ1: +30 Z2Z38ZZ1 +40 Z3Z38ZZ1 +Z4Z38ZZ1 > -0;
ACZ39ZZ1: +30 Z2Z39ZZ1 +40 Z3Z39ZZ1 +Z4Z39ZZ1 > -0;
ACZ40ZZ1: +30 Z2Z40ZZ1 +40 Z3Z40ZZ1 +Z4Z40ZZ1 > -0;
ACZ41ZZ1: +30 Z2Z41ZZ1 +40 Z3Z41ZZ1 +Z4Z41ZZ1 > -0;
ACZ42ZZ1: +30 Z2Z42ZZ1 +40 Z3Z42ZZ1 +Z4Z42ZZ1 > -0;
ACZ43ZZ1: +30 Z2Z43ZZ1 +40 Z3Z43ZZ1 +Z4Z43ZZ1 > -0;
ACZ44ZZ1: +30 Z2Z44ZZ1 +40 Z3Z44ZZ1 +Z4Z44ZZ1 > -0;
ACZ45ZZ1: +50 Z2Z45ZZ1 +80 Z3Z45ZZ1 +Z4Z45ZZ1 > -0;
ACZ46ZZ1: +50 Z2Z46ZZ1 +80 Z3Z46ZZ1 +Z4Z46ZZ1 > -0;
ACZ47ZZ1: +50 Z2Z47ZZ1 +80 Z3Z47ZZ1 +Z4Z47ZZ1 > -0;
CCZZ1ZZ1: +Z1ZZ1ZZ1 +Z2ZZ1ZZ1 +Z3ZZ1ZZ1 = 1;
CCZZ2ZZ1: +Z1ZZ2ZZ1 +Z2ZZ2ZZ1 +Z3ZZ2ZZ1 = 1;
CCZZ3ZZ1: +Z1ZZ3ZZ1 +Z2ZZ3ZZ1 +Z3ZZ3ZZ1 = 1;
CCZZ4ZZ1: +Z1ZZ4ZZ1 +Z2ZZ4ZZ1 +Z3ZZ4ZZ1 = 1;
CCZZ5ZZ1: +Z1ZZ5ZZ1 +Z2ZZ5ZZ1 +Z3ZZ5ZZ1 = 1;
CCZZ6ZZ1: +Z1ZZ6ZZ1 +Z2ZZ6ZZ1 +Z3ZZ6ZZ1 = 1;
CCZZ7ZZ1: +Z1ZZ7ZZ1 +Z2ZZ7ZZ1 +Z3ZZ7ZZ1 = 1;
CCZZ8ZZ1: +Z1ZZ8ZZ1 +Z2ZZ8ZZ1 +Z3ZZ8ZZ1 = 1;
CCZZ9ZZ1: +Z1ZZ9ZZ1 +Z2ZZ9ZZ1 +Z3ZZ9ZZ1 = 1;
CCZ10ZZ1: +Z1Z10ZZ1 +Z2Z10ZZ1 +Z3Z10ZZ1 = 1;
CCZ11ZZ1: +Z1Z11ZZ1 +Z2Z11ZZ1 +Z3Z11ZZ1 = 1;
CCZ12ZZ1: +Z1Z12ZZ1 +Z2Z12ZZ1 +Z3Z12ZZ1 = 1;
CCZ13ZZ1: +Z1Z13ZZ1 +Z2Z13ZZ1 +Z3Z13ZZ1 = 1;
CCZ14ZZ1: +Z1Z14ZZ1 +Z2Z14ZZ1 +Z3Z14ZZ1 = 1;
CCZ15ZZ1: +Z1Z15ZZ1 +Z2Z15ZZ1 +Z3Z15ZZ1 = 1;
CCZ16ZZ1: +Z1Z16ZZ1 +Z2Z16ZZ1 +Z3Z16ZZ1 = 1;
CCZ17ZZ1: +Z1Z17ZZ1 +Z2Z17ZZ1 +Z3Z17ZZ1 = 1;
CCZ18ZZ1: +Z1Z18ZZ1 +Z2Z18ZZ1 +Z3Z18ZZ1 = 1;
CCZ19ZZ1: +Z1Z19ZZ1 +Z2Z19ZZ1 +Z3Z19ZZ1 = 1;
CCZ20ZZ1: +Z1Z20ZZ1 +Z2Z20ZZ1 +Z3Z20ZZ1 = 1;
CCZ21ZZ1: +Z1Z21ZZ1 +Z2Z21ZZ1 +Z3Z21ZZ1 = 1;
CCZ22ZZ1: +Z1Z22ZZ1 +Z2Z22ZZ1 +Z3Z22ZZ1 = 1;
CCZ23ZZ1: +Z1Z23ZZ1 +Z2Z23ZZ1 +Z3Z23ZZ1 = 1;
CCZ24ZZ1: +Z1Z24ZZ1 +Z2Z24ZZ1 +Z3Z24ZZ1 = 1;
CCZ25ZZ1: +Z1Z25ZZ1 +Z2Z25ZZ1 +Z3Z25ZZ1 = 1;
CCZ26ZZ1: +Z1Z26ZZ1 +Z2Z26ZZ1 +Z3Z26ZZ1 = 1;
CCZ27ZZ1: +Z1Z27ZZ1 +Z2Z27ZZ1 +Z3Z27ZZ1 = 1;
CCZ28ZZ1: +Z1Z28ZZ1 +Z2Z28ZZ1 +Z3Z28ZZ1 = 1;
CCZ29ZZ1: +Z1Z29ZZ1 +Z2Z29ZZ1 +Z3Z29ZZ1 = 1;
CCZ30ZZ1: +Z1Z30ZZ1 +Z2Z30ZZ1 +Z3Z30ZZ1 = 1;
CCZ31ZZ1: +Z1Z31ZZ1 +Z2Z31ZZ1 +Z3Z31ZZ1 = 1;
CCZ32ZZ1: +Z1Z32ZZ1 +Z2Z32ZZ1 +Z3Z32ZZ1 = 1;
CCZ33ZZ1: +Z1Z33ZZ1 +Z2Z33ZZ1 +Z3Z33ZZ1 = 1;
CCZ34ZZ1: +Z1Z34ZZ1 +Z2Z34ZZ1 +Z3Z34ZZ1 = 1;
CCZ35ZZ1: +Z1Z35ZZ1 +Z2Z35ZZ1 +Z3Z35ZZ1 = 1;
CCZ36ZZ1: +Z1Z36ZZ1 +Z2Z36ZZ1 +Z3Z36ZZ1 = 1;
CCZ37ZZ1: +Z1Z37ZZ1 +Z2Z37ZZ1 +Z3Z37ZZ1 = 1;
CCZ38ZZ1: +Z1Z38ZZ1 +Z2Z38ZZ1 +Z3Z38ZZ1 = 1;
CCZ39ZZ1: +Z1Z39ZZ1 +Z2Z39ZZ1 +Z3Z39ZZ1 = 1;
CCZ40ZZ1: +Z1Z40ZZ1 +Z2Z40ZZ1 +Z3Z40ZZ1 = 1;
CCZ41ZZ1: +Z1Z41ZZ1 +Z2Z41ZZ1 +Z3Z41ZZ1 = 1;
CCZ42ZZ1: +Z1Z42ZZ1 +Z2Z42ZZ1 +Z3Z42ZZ1 = 1;
CCZ43ZZ1: +Z1Z43ZZ1 +Z2Z43ZZ1 +Z3Z43ZZ1 = 1;
CCZ44ZZ1: +Z1Z44ZZ1 +Z2Z44ZZ1 +Z3Z44ZZ1 = 1;
CCZ45ZZ1: +Z1Z45ZZ1 +Z2Z45ZZ1 +Z3Z45ZZ1 = 1;
CCZ46ZZ1: +Z1Z46ZZ1 +Z2Z46ZZ1 +Z3Z46ZZ1 = 1;
CCZ47ZZ1: +Z1Z47ZZ1 +Z2Z47ZZ1 +Z3Z47ZZ1 = 1;
NCZZ1ZZ2: -10 Z2ZZ1ZZ1 -15 Z3ZZ1ZZ1 -5 Z3ZZ2ZZ1 -Z4ZZ2ZZ1 -10 Z2Z15ZZ1 -15 Z3Z15ZZ1 -5 Z3Z16ZZ1 -Z4Z16ZZ1 -7 Z3Z30ZZ1 -Z4Z30ZZ1 +10 Z2ZZ2ZZ2 +20 Z3ZZ2ZZ2 +Z4ZZ2ZZ2 +10 Z2Z16ZZ2 +20 Z3Z16ZZ2 +Z4Z16ZZ2 +15 Z2Z30ZZ2 +25 Z3Z30ZZ2 +Z4Z30ZZ2 > 10;
NCZZ2ZZ2: -10 Z2Z13ZZ1 -15 Z3Z13ZZ1 -5 Z3Z14ZZ1 -Z4Z14ZZ1 -5 Z3Z15ZZ1 -Z4Z15ZZ1 -10 Z2Z16ZZ1 -15 Z3Z16ZZ1 -7 Z3Z28ZZ1 -Z4Z28ZZ1 -7 Z3Z29ZZ1 -Z4Z29ZZ1 +10 Z2Z14ZZ2 +20 Z3Z14ZZ2 +Z4Z14ZZ2 +10 Z2Z15ZZ2 +20 Z3Z15ZZ2 +Z4Z15ZZ2 +15 Z2Z28ZZ2 +25 Z3Z28ZZ2 +Z4Z28ZZ2 +15 Z2Z29ZZ2 +25 Z3Z29ZZ2 +Z4Z29ZZ2 > 5;
NCZZ3ZZ2: -5 Z3ZZ1ZZ1 -Z4ZZ1ZZ1 -10 Z2ZZ2ZZ1 -15 Z3ZZ2ZZ1 -10 Z2ZZ3ZZ1 -15 Z3ZZ3ZZ1 -5 Z3ZZ4ZZ1 -Z4ZZ4ZZ1 -7 Z3Z17ZZ1 -Z4Z17ZZ1 +10 Z2ZZ1ZZ2 +20 Z3ZZ1ZZ2 +Z4ZZ1ZZ2 +10 Z2ZZ4ZZ2 +20 Z3ZZ4ZZ2 +Z4ZZ4ZZ2 +15 Z2Z17ZZ2 +25 Z3Z17ZZ2 +Z4Z17ZZ2 > 5;
NCZZ4ZZ2: -15 Z2Z29ZZ1 -18 Z3Z29ZZ1 -15 Z2Z30ZZ1 -18 Z3Z30ZZ1 -30 Z2Z31ZZ1 -33 Z3Z31ZZ1 -7 Z3Z32ZZ1 -Z4Z32ZZ1 -30 Z2Z43ZZ1 -33 Z3Z43ZZ1 -7 Z3Z44ZZ1 -Z4Z44ZZ1 -15 Z3Z45ZZ1 -Z4Z45ZZ1 +30 Z2Z32ZZ2 +40 Z3Z32ZZ2 +Z4Z32ZZ2 +30 Z2Z44ZZ2 +40 Z3Z44ZZ2 +Z4Z44ZZ2 +50 Z2Z45ZZ2 +80 Z3Z45ZZ2 +Z4Z45ZZ2 > -0;
NCZZ5ZZ2: -15 Z2Z27ZZ1 -18 Z3Z27ZZ1 -15 Z2Z28ZZ1 -18 Z3Z28ZZ1 -7 Z3Z41ZZ1 -Z4Z41ZZ1 -30 Z2Z42ZZ1 -33 Z3Z42ZZ1 -7 Z3Z43ZZ1 -Z4Z43ZZ1 -30 Z2Z44ZZ1 -33 Z3Z44ZZ1 +30 Z2Z41ZZ2 +40 Z3Z41ZZ2 +Z4Z41ZZ2 +30 Z2Z43ZZ2 +40 Z3Z43ZZ2 +Z4Z43ZZ2 > -0;
NCZZ6ZZ2: -10 Z2Z11ZZ1 -15 Z3Z11ZZ1 -5 Z3Z12ZZ1 -Z4Z12ZZ1 -5 Z3Z13ZZ1 -Z4Z13ZZ1 -10 Z2Z14ZZ1 -15 Z3Z14ZZ1 -7 Z3Z26ZZ1 -Z4Z26ZZ1 -7 Z3Z27ZZ1 -Z4Z27ZZ1 +10 Z2Z12ZZ2 +20 Z3Z12ZZ2 +Z4Z12ZZ2 +10 Z2Z13ZZ2 +20 Z3Z13ZZ2 +Z4Z13ZZ2 +15 Z2Z26ZZ2 +25 Z3Z26ZZ2 +Z4Z26ZZ2 +15 Z2Z27ZZ2 +25 Z3Z27ZZ2 +Z4Z27ZZ2 > 10;
NCZZ7ZZ2: -15 Z2Z17ZZ1 -18 Z3Z17ZZ1 -15 Z2Z18ZZ1 -18 Z3Z18ZZ1 -7 Z3Z31ZZ1 -Z4Z31ZZ1 -30 Z2Z32ZZ1 -33 Z3Z32ZZ1 -7 Z3Z33ZZ1 -Z4Z33ZZ1 -30 Z2Z34ZZ1 -33 Z3Z34ZZ1 +30 Z2Z31ZZ2 +40 Z3Z31ZZ2 +Z4Z31ZZ2 +30 Z2Z33ZZ2 +40 Z3Z33ZZ2 +Z4Z33ZZ2 > -0;
NCZZ8ZZ2: -15 Z2Z25ZZ1 -18 Z3Z25ZZ1 -15 Z2Z26ZZ1 -18 Z3Z26ZZ1 -30 Z2Z39ZZ1 -33 Z3Z39ZZ1 -7 Z3Z40ZZ1 -Z4Z40ZZ1 -30 Z2Z41ZZ1 -33 Z3Z41ZZ1 -7 Z3Z42ZZ1 -Z4Z42ZZ1 +30 Z2Z40ZZ2 +40 Z3Z40ZZ2 +Z4Z40ZZ2 +30 Z2Z42ZZ2 +40 Z3Z42ZZ2 +Z4Z42ZZ2 > -0;
NCZZ9ZZ2: -5 Z3ZZ3ZZ1 -Z4ZZ3ZZ1 -10 Z2ZZ4ZZ1 -15 Z3ZZ4ZZ1 -5 Z3ZZ5ZZ1 -Z4ZZ5ZZ1 -10 Z2ZZ6ZZ1 -15 Z3ZZ6ZZ1 -7 Z3Z18ZZ1 -Z4Z18ZZ1 -7 Z3Z19ZZ1 -Z4Z19ZZ1 +10 Z2ZZ3ZZ2 +20 Z3ZZ3ZZ2 +Z4ZZ3ZZ2 +10 Z2ZZ5ZZ2 +20 Z3ZZ5ZZ2 +Z4ZZ5ZZ2 +15 Z2Z18ZZ2 +25 Z3Z18ZZ2 +Z4Z18ZZ2 +15 Z2Z19ZZ2 +25 Z3Z19ZZ2 +Z4Z19ZZ2 > 5;
NCZ10ZZ2: -15 Z2Z19ZZ1 -18 Z3Z19ZZ1 -15 Z2Z20ZZ1 -18 Z3Z20ZZ1 -30 Z2Z33ZZ1 -33 Z3Z33ZZ1 -7 Z3Z34ZZ1 -Z4Z34ZZ1 -7 Z3Z35ZZ1 -Z4Z35ZZ1 -30 Z2Z36ZZ1 -33 Z3Z36ZZ1 -15 Z3Z46ZZ1 -Z4Z46ZZ1 +30 Z2Z34ZZ2 +40 Z3Z34ZZ2 +Z4Z34ZZ2 +30 Z2Z35ZZ2 +40 Z3Z35ZZ2 +Z4Z35ZZ2 +50 Z2Z46ZZ2 +80 Z3Z46ZZ2 +Z4Z46ZZ2 > -0;
NCZ11ZZ2: -15 Z2Z21ZZ1 -18 Z3Z21ZZ1 -15 Z2Z22ZZ1 -18 Z3Z22ZZ1 -30 Z2Z35ZZ1 -33 Z3Z35ZZ1 -7 Z3Z36ZZ1 -Z4Z36ZZ1 -7 Z3Z37ZZ1 -Z4Z37ZZ1 -30 Z2Z38ZZ1 -33 Z3Z38ZZ1 +30 Z2Z36ZZ2 +40 Z3Z36ZZ2 +Z4Z36ZZ2 +30 Z2Z37ZZ2 +40 Z3Z37ZZ2 +Z4Z37ZZ2 > -0;
NCZ12ZZ2: -15 Z2Z23ZZ1 -18 Z3Z23ZZ1 -15 Z2Z24ZZ1 -18 Z3Z24ZZ1 -30 Z2Z37ZZ1 -33 Z3Z37ZZ1 -7 Z3Z38ZZ1 -Z4Z38ZZ1 -7 Z3Z39ZZ1 -Z4Z39ZZ1 -30 Z2Z40ZZ1 -33 Z3Z40ZZ1 -15 Z3Z47ZZ1 -Z4Z47ZZ1 +30 Z2Z38ZZ2 +40 Z3Z38ZZ2 +Z4Z38ZZ2 +30 Z2Z39ZZ2 +40 Z3Z39ZZ2 +Z4Z39ZZ2 +50 Z2Z47ZZ2 +80 Z3Z47ZZ2 +Z4Z47ZZ2 > -0;
NCZ13ZZ2: -10 Z2ZZ9ZZ1 -15 Z3ZZ9ZZ1 -5 Z3Z10ZZ1 -Z4Z10ZZ1 -5 Z3Z11ZZ1 -Z4Z11ZZ1 -10 Z2Z12ZZ1 -15 Z3Z12ZZ1 -7 Z3Z24ZZ1 -Z4Z24ZZ1 -7 Z3Z25ZZ1 -Z4Z25ZZ1 +10 Z2Z10ZZ2 +20 Z3Z10ZZ2 +Z4Z10ZZ2 +10 Z2Z11ZZ2 +20 Z3Z11ZZ2 +Z4Z11ZZ2 +15 Z2Z24ZZ2 +25 Z3Z24ZZ2 +Z4Z24ZZ2 +15 Z2Z25ZZ2 +25 Z3Z25ZZ2 +Z4Z25ZZ2 > 30;
NCZ14ZZ2: -10 Z2ZZ5ZZ1 -15 Z3ZZ5ZZ1 -5 Z3ZZ6ZZ1 -Z4ZZ6ZZ1 -10 Z2ZZ7ZZ1 -15 Z3ZZ7ZZ1 -5 Z3ZZ8ZZ1 -Z4ZZ8ZZ1 -7 Z3Z20ZZ1 -Z4Z20ZZ1 -7 Z3Z21ZZ1 -Z4Z21ZZ1 +10 Z2ZZ6ZZ2 +20 Z3ZZ6ZZ2 +Z4ZZ6ZZ2 +10 Z2ZZ8ZZ2 +20 Z3ZZ8ZZ2 +Z4ZZ8ZZ2 +15 Z2Z20ZZ2 +25 Z3Z20ZZ2 +Z4Z20ZZ2 +15 Z2Z21ZZ2 +25 Z3Z21ZZ2 +Z4Z21ZZ2 > -0;
NCZ15ZZ2: -5 Z3ZZ7ZZ1 -Z4ZZ7ZZ1 -10 Z2ZZ8ZZ1 -15 Z3ZZ8ZZ1 -5 Z3ZZ9ZZ1 -Z4ZZ9ZZ1 -10 Z2Z10ZZ1 -15 Z3Z10ZZ1 -7 Z3Z22ZZ1 -Z4Z22ZZ1 -7 Z3Z23ZZ1 -Z4Z23ZZ1 +10 Z2ZZ7ZZ2 +20 Z3ZZ7ZZ2 +Z4ZZ7ZZ2 +10 Z2ZZ9ZZ2 +20 Z3ZZ9ZZ2 +Z4ZZ9ZZ2 +15 Z2Z22ZZ2 +25 Z3Z22ZZ2 +Z4Z22ZZ2 +15 Z2Z23ZZ2 +25 Z3Z23ZZ2 +Z4Z23ZZ2 > 10;
ACZZ1ZZ2: -5 Z3ZZ1ZZ1 -Z4ZZ1ZZ1 +10 Z2ZZ1ZZ2 +20 Z3ZZ1ZZ2 +Z4ZZ1ZZ2 > -0;
ACZZ2ZZ2: -5 Z3ZZ2ZZ1 -Z4ZZ2ZZ1 +10 Z2ZZ2ZZ2 +20 Z3ZZ2ZZ2 +Z4ZZ2ZZ2 > -0;
ACZZ3ZZ2: -5 Z3ZZ3ZZ1 -Z4ZZ3ZZ1 +10 Z2ZZ3ZZ2 +20 Z3ZZ3ZZ2 +Z4ZZ3ZZ2 > -0;
ACZZ4ZZ2: -5 Z3ZZ4ZZ1 -Z4ZZ4ZZ1 +10 Z2ZZ4ZZ2 +20 Z3ZZ4ZZ2 +Z4ZZ4ZZ2 > -0;
ACZZ5ZZ2: -5 Z3ZZ5ZZ1 -Z4ZZ5ZZ1 +10 Z2ZZ5ZZ2 +20 Z3ZZ5ZZ2 +Z4ZZ5ZZ2 > -0;
ACZZ6ZZ2: -5 Z3ZZ6ZZ1 -Z4ZZ6ZZ1 +10 Z2ZZ6ZZ2 +20 Z3ZZ6ZZ2 +Z4ZZ6ZZ2 > -0;
ACZZ7ZZ2: -5 Z3ZZ7ZZ1 -Z4ZZ7ZZ1 +10 Z2ZZ7ZZ2 +20 Z3ZZ7ZZ2 +Z4ZZ7ZZ2 > -0;
ACZZ8ZZ2: -5 Z3ZZ8ZZ1 -Z4ZZ8ZZ1 +10 Z2ZZ8ZZ2 +20 Z3ZZ8ZZ2 +Z4ZZ8ZZ2 > -0;
ACZZ9ZZ2: -5 Z3ZZ9ZZ1 -Z4ZZ9ZZ1 +10 Z2ZZ9ZZ2 +20 Z3ZZ9ZZ2 +Z4ZZ9ZZ2 > -0;
ACZ10ZZ2: -5 Z3Z10ZZ1 -Z4Z10ZZ1 +10 Z2Z10ZZ2 +20 Z3Z10ZZ2 +Z4Z10ZZ2 > -0;
ACZ11ZZ2: -5 Z3Z11ZZ1 -Z4Z11ZZ1 +10 Z2Z11ZZ2 +20 Z3Z11ZZ2 +Z4Z11ZZ2 > -0;
ACZ12ZZ2: -5 Z3Z12ZZ1 -Z4Z12ZZ1 +10 Z2Z12ZZ2 +20 Z3Z12ZZ2 +Z4Z12ZZ2 > -0;
ACZ13ZZ2: -5 Z3Z13ZZ1 -Z4Z13ZZ1 +10 Z2Z13ZZ2 +20 Z3Z13ZZ2 +Z4Z13ZZ2 > -0;
ACZ14ZZ2: -5 Z3Z14ZZ1 -Z4Z14ZZ1 +10 Z2Z14ZZ2 +20 Z3Z14ZZ2 +Z4Z14ZZ2 > -0;
ACZ15ZZ2: -5 Z3Z15ZZ1 -Z4Z15ZZ1 +10 Z2Z15ZZ2 +20 Z3Z15ZZ2 +Z4Z15ZZ2 > -0;
ACZ16ZZ2: -5 Z3Z16ZZ1 -Z4Z16ZZ1 +10 Z2Z16ZZ2 +20 Z3Z16ZZ2 +Z4Z16ZZ2 > -0;
ACZ17ZZ2: -7 Z3Z17ZZ1 -Z4Z17ZZ1 +15 Z2Z17ZZ2 +25 Z3Z17ZZ2 +Z4Z17ZZ2 > -0;
ACZ18ZZ2: -7 Z3Z18ZZ1 -Z4Z18ZZ1 +15 Z2Z18ZZ2 +25 Z3Z18ZZ2 +Z4Z18ZZ2 > -0;
ACZ19ZZ2: -7 Z3Z19ZZ1 -Z4Z19ZZ1 +15 Z2Z19ZZ2 +25 Z3Z19ZZ2 +Z4Z19ZZ2 > -0;
ACZ20ZZ2: -7 Z3Z20ZZ1 -Z4Z20ZZ1 +15 Z2Z20ZZ2 +25 Z3Z20ZZ2 +Z4Z20ZZ2 > -0;
ACZ21ZZ2: -7 Z3Z21ZZ1 -Z4Z21ZZ1 +15 Z2Z21ZZ2 +25 Z3Z21ZZ2 +Z4Z21ZZ2 > -0;
ACZ22ZZ2: -7 Z3Z22ZZ1 -Z4Z22ZZ1 +15 Z2Z22ZZ2 +25 Z3Z22ZZ2 +Z4Z22ZZ2 > -0;
ACZ23ZZ2: -7 Z3Z23ZZ1 -Z4Z23ZZ1 +15 Z2Z23ZZ2 +25 Z3Z23ZZ2 +Z4Z23ZZ2 > -0;
ACZ24ZZ2: -7 Z3Z24ZZ1 -Z4Z24ZZ1 +15 Z2Z24ZZ2 +25 Z3Z24ZZ2 +Z4Z24ZZ2 > -0;
ACZ25ZZ2: -7 Z3Z25ZZ1 -Z4Z25ZZ1 +15 Z2Z25ZZ2 +25 Z3Z25ZZ2 +Z4Z25ZZ2 > -0;
ACZ26ZZ2: -7 Z3Z26ZZ1 -Z4Z26ZZ1 +15 Z2Z26ZZ2 +25 Z3Z26ZZ2 +Z4Z26ZZ2 > -0;
ACZ27ZZ2: -7 Z3Z27ZZ1 -Z4Z27ZZ1 +15 Z2Z27ZZ2 +25 Z3Z27ZZ2 +Z4Z27ZZ2 > -0;
ACZ28ZZ2: -7 Z3Z28ZZ1 -Z4Z28ZZ1 +15 Z2Z28ZZ2 +25 Z3Z28ZZ2 +Z4Z28ZZ2 > -0;
ACZ29ZZ2: -7 Z3Z29ZZ1 -Z4Z29ZZ1 +15 Z2Z29ZZ2 +25 Z3Z29ZZ2 +Z4Z29ZZ2 > -0;
ACZ30ZZ2: -7 Z3Z30ZZ1 -Z4Z30ZZ1 +15 Z2Z30ZZ2 +25 Z3Z30ZZ2 +Z4Z30ZZ2 > -0;
ACZ31ZZ2: -7 Z3Z31ZZ1 -Z4Z31ZZ1 +30 Z2Z31ZZ2 +40 Z3Z31ZZ2 +Z4Z31ZZ2 > -0;
ACZ32ZZ2: -7 Z3Z32ZZ1 -Z4Z32ZZ1 +30 Z2Z32ZZ2 +40 Z3Z32ZZ2 +Z4Z32ZZ2 > -0;
ACZ33ZZ2: -7 Z3Z33ZZ1 -Z4Z33ZZ1 +30 Z2Z33ZZ2 +40 Z3Z33ZZ2 +Z4Z33ZZ2 > -0;
ACZ34ZZ2: -7 Z3Z34ZZ1 -Z4Z34ZZ1 +30 Z2Z34ZZ2 +40 Z3Z34ZZ2 +Z4Z34ZZ2 > -0;
ACZ35ZZ2: -7 Z3Z35ZZ1 -Z4Z35ZZ1 +30 Z2Z35ZZ2 +40 Z3Z35ZZ2 +Z4Z35ZZ2 > -0;
ACZ36ZZ2: -7 Z3Z36ZZ1 -Z4Z36ZZ1 +30 Z2Z36ZZ2 +40 Z3Z36ZZ2 +Z4Z36ZZ2 > -0;
ACZ37ZZ2: -7 Z3Z37ZZ1 -Z4Z37ZZ1 +30 Z2Z37ZZ2 +40 Z3Z37ZZ2 +Z4Z37ZZ2 > -0;
ACZ38ZZ2: -7 Z3Z38ZZ1 -Z4Z38ZZ1 +30 Z2Z38ZZ2 +40 Z3Z38ZZ2 +Z4Z38ZZ2 > -0;
ACZ39ZZ2: -7 Z3Z39ZZ1 -Z4Z39ZZ1 +30 Z2Z39ZZ2 +40 Z3Z39ZZ2 +Z4Z39ZZ2 > -0;
ACZ40ZZ2: -7 Z3Z40ZZ1 -Z4Z40ZZ1 +30 Z2Z40ZZ2 +40 Z3Z40ZZ2 +Z4Z40ZZ2 > -0;
ACZ41ZZ2: -7 Z3Z41ZZ1 -Z4Z41ZZ1 +30 Z2Z41ZZ2 +40 Z3Z41ZZ2 +Z4Z41ZZ2 > -0;
ACZ42ZZ2: -7 Z3Z42ZZ1 -Z4Z42ZZ1 +30 Z2Z42ZZ2 +40 Z3Z42ZZ2 +Z4Z42ZZ2 > -0;
ACZ43ZZ2: -7 Z3Z43ZZ1 -Z4Z43ZZ1 +30 Z2Z43ZZ2 +40 Z3Z43ZZ2 +Z4Z43ZZ2 > -0;
ACZ44ZZ2: -7 Z3Z44ZZ1 -Z4Z44ZZ1 +30 Z2Z44ZZ2 +40 Z3Z44ZZ2 +Z4Z44ZZ2 > -0;
ACZ45ZZ2: -15 Z3Z45ZZ1 -Z4Z45ZZ1 +50 Z2Z45ZZ2 +80 Z3Z45ZZ2 +Z4Z45ZZ2 > -0;
ACZ46ZZ2: -15 Z3Z46ZZ1 -Z4Z46ZZ1 +50 Z2Z46ZZ2 +80 Z3Z46ZZ2 +Z4Z46ZZ2 > -0;
ACZ47ZZ2: -15 Z3Z47ZZ1 -Z4Z47ZZ1 +50 Z2Z47ZZ2 +80 Z3Z47ZZ2 +Z4Z47ZZ2 > -0;
CCZZ1ZZ2: +Z1ZZ1ZZ2 +Z2ZZ1ZZ2 +Z3ZZ1ZZ2 = 1;
CCZZ2ZZ2: +Z1ZZ2ZZ2 +Z2ZZ2ZZ2 +Z3ZZ2ZZ2 = 1;
CCZZ3ZZ2: +Z1ZZ3ZZ2 +Z2ZZ3ZZ2 +Z3ZZ3ZZ2 = 1;
CCZZ4ZZ2: +Z1ZZ4ZZ2 +Z2ZZ4ZZ2 +Z3ZZ4ZZ2 = 1;
CCZZ5ZZ2: +Z1ZZ5ZZ2 +Z2ZZ5ZZ2 +Z3ZZ5ZZ2 = 1;
CCZZ6ZZ2: +Z1ZZ6ZZ2 +Z2ZZ6ZZ2 +Z3ZZ6ZZ2 = 1;
CCZZ7ZZ2: +Z1ZZ7ZZ2 +Z2ZZ7ZZ2 +Z3ZZ7ZZ2 = 1;
CCZZ8ZZ2: +Z1ZZ8ZZ2 +Z2ZZ8ZZ2 +Z3ZZ8ZZ2 = 1;
CCZZ9ZZ2: +Z1ZZ9ZZ2 +Z2ZZ9ZZ2 +Z3ZZ9ZZ2 = 1;
CCZ10ZZ2: +Z1Z10ZZ2 +Z2Z10ZZ2 +Z3Z10ZZ2 = 1;
CCZ11ZZ2: +Z1Z11ZZ2 +Z2Z11ZZ2 +Z3Z11ZZ2 = 1;
CCZ12ZZ2: +Z1Z12ZZ2 +Z2Z12ZZ2 +Z3Z12ZZ2 = 1;
CCZ13ZZ2: +Z1Z13ZZ2 +Z2Z13ZZ2 +Z3Z13ZZ2 = 1;
CCZ14ZZ2: +Z1Z14ZZ2 +Z2Z14ZZ2 +Z3Z14ZZ2 = 1;
CCZ15ZZ2: +Z1Z15ZZ2 +Z2Z15ZZ2 +Z3Z15ZZ2 = 1;
CCZ16ZZ2: +Z1Z16ZZ2 +Z2Z16ZZ2 +Z3Z16ZZ2 = 1;
CCZ17ZZ2: +Z1Z17ZZ2 +Z2Z17ZZ2 +Z3Z17ZZ2 = 1;
CCZ18ZZ2: +Z1Z18ZZ2 +Z2Z18ZZ2 +Z3Z18ZZ2 = 1;
CCZ19ZZ2: +Z1Z19ZZ2 +Z2Z19ZZ2 +Z3Z19ZZ2 = 1;
CCZ20ZZ2: +Z1Z20ZZ2 +Z2Z20ZZ2 +Z3Z20ZZ2 = 1;
CCZ21ZZ2: +Z1Z21ZZ2 +Z2Z21ZZ2 +Z3Z21ZZ2 = 1;
CCZ22ZZ2: +Z1Z22ZZ2 +Z2Z22ZZ2 +Z3Z22ZZ2 = 1;
CCZ23ZZ2: +Z1Z23ZZ2 +Z2Z23ZZ2 +Z3Z23ZZ2 = 1;
CCZ24ZZ2: +Z1Z24ZZ2 +Z2Z24ZZ2 +Z3Z24ZZ2 = 1;
CCZ25ZZ2: +Z1Z25ZZ2 +Z2Z25ZZ2 +Z3Z25ZZ2 = 1;
CCZ26ZZ2: +Z1Z26ZZ2 +Z2Z26ZZ2 +Z3Z26ZZ2 = 1;
CCZ27ZZ2: +Z1Z27ZZ2 +Z2Z27ZZ2 +Z3Z27ZZ2 = 1;
CCZ28ZZ2: +Z1Z28ZZ2 +Z2Z28ZZ2 +Z3Z28ZZ2 = 1;
CCZ29ZZ2: +Z1Z29ZZ2 +Z2Z29ZZ2 +Z3Z29ZZ2 = 1;
CCZ30ZZ2: +Z1Z30ZZ2 +Z2Z30ZZ2 +Z3Z30ZZ2 = 1;
CCZ31ZZ2: +Z1Z31ZZ2 +Z2Z31ZZ2 +Z3Z31ZZ2 = 1;
CCZ32ZZ2: +Z1Z32ZZ2 +Z2Z32ZZ2 +Z3Z32ZZ2 = 1;
CCZ33ZZ2: +Z1Z33ZZ2 +Z2Z33ZZ2 +Z3Z33ZZ2 = 1;
CCZ34ZZ2: +Z1Z34ZZ2 +Z2Z34ZZ2 +Z3Z34ZZ2 = 1;
CCZ35ZZ2: +Z1Z35ZZ2 +Z2Z35ZZ2 +Z3Z35ZZ2 = 1;
CCZ36ZZ2: +Z1Z36ZZ2 +Z2Z36ZZ2 +Z3Z36ZZ2 = 1;
CCZ37ZZ2: +Z1Z37ZZ2 +Z2Z37ZZ2 +Z3Z37ZZ2 = 1;
CCZ38ZZ2: +Z1Z38ZZ2 +Z2Z38ZZ2 +Z3Z38ZZ2 = 1;
CCZ39ZZ2: +Z1Z39ZZ2 +Z2Z39ZZ2 +Z3Z39ZZ2 = 1;
CCZ40ZZ2: +Z1Z40ZZ2 +Z2Z40ZZ2 +Z3Z40ZZ2 = 1;
CCZ41ZZ2: +Z1Z41ZZ2 +Z2Z41ZZ2 +Z3Z41ZZ2 = 1;
CCZ42ZZ2: +Z1Z42ZZ2 +Z2Z42ZZ2 +Z3Z42ZZ2 = 1;
CCZ43ZZ2: +Z1Z43ZZ2 +Z2Z43ZZ2 +Z3Z43ZZ2 = 1;
CCZ44ZZ2: +Z1Z44ZZ2 +Z2Z44ZZ2 +Z3Z44ZZ2 = 1;
CCZ45ZZ2: +Z1Z45ZZ2 +Z2Z45ZZ2 +Z3Z45ZZ2 = 1;
CCZ46ZZ2: +Z1Z46ZZ2 +Z2Z46ZZ2 +Z3Z46ZZ2 = 1;
CCZ47ZZ2: +Z1Z47ZZ2 +Z2Z47ZZ2 +Z3Z47ZZ2 = 1;
NCZZ1ZZ3: -10 Z2ZZ1ZZ2 -15 Z3ZZ1ZZ2 -5 Z3ZZ2ZZ2 -Z4ZZ2ZZ2 -10 Z2Z15ZZ2 -15 Z3Z15ZZ2 -5 Z3Z16ZZ2 -Z4Z16ZZ2 -7 Z3Z30ZZ2 -Z4Z30ZZ2 +10 Z2ZZ2ZZ3 +20 Z3ZZ2ZZ3 +Z4ZZ2ZZ3 +10 Z2Z16ZZ3 +20 Z3Z16ZZ3 +Z4Z16ZZ3 +15 Z2Z30ZZ3 +25 Z3Z30ZZ3 +Z4Z30ZZ3 > 15;
NCZZ2ZZ3: -10 Z2Z13ZZ2 -15 Z3Z13ZZ2 -5 Z3Z14ZZ2 -Z4Z14ZZ2 -5 Z3Z15ZZ2 -Z4Z15ZZ2 -10 Z2Z16ZZ2 -15 Z3Z16ZZ2 -7 Z3Z28ZZ2 -Z4Z28ZZ2 -7 Z3Z29ZZ2 -Z4Z29ZZ2 +10 Z2Z14ZZ3 +20 Z3Z14ZZ3 +Z4Z14ZZ3 +10 Z2Z15ZZ3 +20 Z3Z15ZZ3 +Z4Z15ZZ3 +15 Z2Z28ZZ3 +25 Z3Z28ZZ3 +Z4Z28ZZ3 +15 Z2Z29ZZ3 +25 Z3Z29ZZ3 +Z4Z29ZZ3 > 10;
NCZZ3ZZ3: -5 Z3ZZ1ZZ2 -Z4ZZ1ZZ2 -10 Z2ZZ2ZZ2 -15 Z3ZZ2ZZ2 -10 Z2ZZ3ZZ2 -15 Z3ZZ3ZZ2 -5 Z3ZZ4ZZ2 -Z4ZZ4ZZ2 -7 Z3Z17ZZ2 -Z4Z17ZZ2 +10 Z2ZZ1ZZ3 +20 Z3ZZ1ZZ3 +Z4ZZ1ZZ3 +10 Z2ZZ4ZZ3 +20 Z3ZZ4ZZ3 +Z4ZZ4ZZ3 +15 Z2Z17ZZ3 +25 Z3Z17ZZ3 +Z4Z17ZZ3 > 10;
NCZZ4ZZ3: -15 Z2Z29ZZ2 -18 Z3Z29ZZ2 -15 Z2Z30ZZ2 -18 Z3Z30ZZ2 -30 Z2Z31ZZ2 -33 Z3Z31ZZ2 -7 Z3Z32ZZ2 -Z4Z32ZZ2 -30 Z2Z43ZZ2 -33 Z3Z43ZZ2 -7 Z3Z44ZZ2 -Z4Z44ZZ2 -15 Z3Z45ZZ2 -Z4Z45ZZ2 +30 Z2Z32ZZ3 +40 Z3Z32ZZ3 +Z4Z32ZZ3 +30 Z2Z44ZZ3 +40 Z3Z44ZZ3 +Z4Z44ZZ3 +50 Z2Z45ZZ3 +80 Z3Z45ZZ3 +Z4Z45ZZ3 > -0;
NCZZ5ZZ3: -15 Z2Z27ZZ2 -18 Z3Z27ZZ2 -15 Z2Z28ZZ2 -18 Z3Z28ZZ2 -7 Z3Z41ZZ2 -Z4Z41ZZ2 -30 Z2Z42ZZ2 -33 Z3Z42ZZ2 -7 Z3Z43ZZ2 -Z4Z43ZZ2 -30 Z2Z44ZZ2 -33 Z3Z44ZZ2 +30 Z2Z41ZZ3 +40 Z3Z41ZZ3 +Z4Z41ZZ3 +30 Z2Z43ZZ3 +40 Z3Z43ZZ3 +Z4Z43ZZ3 > -0;
NCZZ6ZZ3: -10 Z2Z11ZZ2 -15 Z3Z11ZZ2 -5 Z3Z12ZZ2 -Z4Z12ZZ2 -5 Z3Z13ZZ2 -Z4Z13ZZ2 -10 Z2Z14ZZ2 -15 Z3Z14ZZ2 -7 Z3Z26ZZ2 -Z4Z26ZZ2 -7 Z3Z27ZZ2 -Z4Z27ZZ2 +10 Z2Z12ZZ3 +20 Z3Z12ZZ3 +Z4Z12ZZ3 +10 Z2Z13ZZ3 +20 Z3Z13ZZ3 +Z4Z13ZZ3 +15 Z2Z26ZZ3 +25 Z3Z26ZZ3 +Z4Z26ZZ3 +15 Z2Z27ZZ3 +25 Z3Z27ZZ3 +Z4Z27ZZ3 > 20;
NCZZ7ZZ3: -15 Z2Z17ZZ2 -18 Z3Z17ZZ2 -15 Z2Z18ZZ2 -18 Z3Z18ZZ2 -7 Z3Z31ZZ2 -Z4Z31ZZ2 -30 Z2Z32ZZ2 -33 Z3Z32ZZ2 -7 Z3Z33ZZ2 -Z4Z33ZZ2 -30 Z2Z34ZZ2 -33 Z3Z34ZZ2 +30 Z2Z31ZZ3 +40 Z3Z31ZZ3 +Z4Z31ZZ3 +30 Z2Z33ZZ3 +40 Z3Z33ZZ3 +Z4Z33ZZ3 > -0;
NCZZ8ZZ3: -15 Z2Z25ZZ2 -18 Z3Z25ZZ2 -15 Z2Z26ZZ2 -18 Z3Z26ZZ2 -30 Z2Z39ZZ2 -33 Z3Z39ZZ2 -7 Z3Z40ZZ2 -Z4Z40ZZ2 -30 Z2Z41ZZ2 -33 Z3Z41ZZ2 -7 Z3Z42ZZ2 -Z4Z42ZZ2 +30 Z2Z40ZZ3 +40 Z3Z40ZZ3 +Z4Z40ZZ3 +30 Z2Z42ZZ3 +40 Z3Z42ZZ3 +Z4Z42ZZ3 > -0;
NCZZ9ZZ3: -5 Z3ZZ3ZZ2 -Z4ZZ3ZZ2 -10 Z2ZZ4ZZ2 -15 Z3ZZ4ZZ2 -5 Z3ZZ5ZZ2 -Z4ZZ5ZZ2 -10 Z2ZZ6ZZ2 -15 Z3ZZ6ZZ2 -7 Z3Z18ZZ2 -Z4Z18ZZ2 -7 Z3Z19ZZ2 -Z4Z19ZZ2 +10 Z2ZZ3ZZ3 +20 Z3ZZ3ZZ3 +Z4ZZ3ZZ3 +10 Z2ZZ5ZZ3 +20 Z3ZZ5ZZ3 +Z4ZZ5ZZ3 +15 Z2Z18ZZ3 +25 Z3Z18ZZ3 +Z4Z18ZZ3 +15 Z2Z19ZZ3 +25 Z3Z19ZZ3 +Z4Z19ZZ3 > 5;
NCZ10ZZ3: -15 Z2Z19ZZ2 -18 Z3Z19ZZ2 -15 Z2Z20ZZ2 -18 Z3Z20ZZ2 -30 Z2Z33ZZ2 -33 Z3Z33ZZ2 -7 Z3Z34ZZ2 -Z4Z34ZZ2 -7 Z3Z35ZZ2 -Z4Z35ZZ2 -30 Z2Z36ZZ2 -33 Z3Z36ZZ2 -15 Z3Z46ZZ2 -Z4Z46ZZ2 +30 Z2Z34ZZ3 +40 Z3Z34ZZ3 +Z4Z34ZZ3 +30 Z2Z35ZZ3 +40 Z3Z35ZZ3 +Z4Z35ZZ3 +50 Z2Z46ZZ3 +80 Z3Z46ZZ3 +Z4Z46ZZ3 > -0;
NCZ11ZZ3: -15 Z2Z21ZZ2 -18 Z3Z21ZZ2 -15 Z2Z22ZZ2 -18 Z3Z22ZZ2 -30 Z2Z35ZZ2 -33 Z3Z35ZZ2 -7 Z3Z36ZZ2 -Z4Z36ZZ2 -7 Z3Z37ZZ2 -Z4Z37ZZ2 -30 Z2Z38ZZ2 -33 Z3Z38ZZ2 +30 Z2Z36ZZ3 +40 Z3Z36ZZ3 +Z4Z36ZZ3 +30 Z2Z37ZZ3 +40 Z3Z37ZZ3 +Z4Z37ZZ3 > -0;
NCZ12ZZ3: -15 Z2Z23ZZ2 -18 Z3Z23ZZ2 -15 Z2Z24ZZ2 -18 Z3Z24ZZ2 -30 Z2Z37ZZ2 -33 Z3Z37ZZ2 -7 Z3Z38ZZ2 -Z4Z38ZZ2 -7 Z3Z39ZZ2 -Z4Z39ZZ2 -30 Z2Z40ZZ2 -33 Z3Z40ZZ2 -15 Z3Z47ZZ2 -Z4Z47ZZ2 +30 Z2Z38ZZ3 +40 Z3Z38ZZ3 +Z4Z38ZZ3 +30 Z2Z39ZZ3 +40 Z3Z39ZZ3 +Z4Z39ZZ3 +50 Z2Z47ZZ3 +80 Z3Z47ZZ3 +Z4Z47ZZ3 > -0;
NCZ13ZZ3: -10 Z2ZZ9ZZ2 -15 Z3ZZ9ZZ2 -5 Z3Z10ZZ2 -Z4Z10ZZ2 -5 Z3Z11ZZ2 -Z4Z11ZZ2 -10 Z2Z12ZZ2 -15 Z3Z12ZZ2 -7 Z3Z24ZZ2 -Z4Z24ZZ2 -7 Z3Z25ZZ2 -Z4Z25ZZ2 +10 Z2Z10ZZ3 +20 Z3Z10ZZ3 +Z4Z10ZZ3 +10 Z2Z11ZZ3 +20 Z3Z11ZZ3 +Z4Z11ZZ3 +15 Z2Z24ZZ3 +25 Z3Z24ZZ3 +Z4Z24ZZ3 +15 Z2Z25ZZ3 +25 Z3Z25ZZ3 +Z4Z25ZZ3 > 40;
NCZ14ZZ3: -10 Z2ZZ5ZZ2 -15 Z3ZZ5ZZ2 -5 Z3ZZ6ZZ2 -Z4ZZ6ZZ2 -10 Z2ZZ7ZZ2 -15 Z3ZZ7ZZ2 -5 Z3ZZ8ZZ2 -Z4ZZ8ZZ2 -7 Z3Z20ZZ2 -Z4Z20ZZ2 -7 Z3Z21ZZ2 -Z4Z21ZZ2 +10 Z2ZZ6ZZ3 +20 Z3ZZ6ZZ3 +Z4ZZ6ZZ3 +10 Z2ZZ8ZZ3 +20 Z3ZZ8ZZ3 +Z4ZZ8ZZ3 +15 Z2Z20ZZ3 +25 Z3Z20ZZ3 +Z4Z20ZZ3 +15 Z2Z21ZZ3 +25 Z3Z21ZZ3 +Z4Z21ZZ3 > -0;
NCZ15ZZ3: -5 Z3ZZ7ZZ2 -Z4ZZ7ZZ2 -10 Z2ZZ8ZZ2 -15 Z3ZZ8ZZ2 -5 Z3ZZ9ZZ2 -Z4ZZ9ZZ2 -10 Z2Z10ZZ2 -15 Z3Z10ZZ2 -7 Z3Z22ZZ2 -Z4Z22ZZ2 -7 Z3Z23ZZ2 -Z4Z23ZZ2 +10 Z2ZZ7ZZ3 +20 Z3ZZ7ZZ3 +Z4ZZ7ZZ3 +10 Z2ZZ9ZZ3 +20 Z3ZZ9ZZ3 +Z4ZZ9ZZ3 +15 Z2Z22ZZ3 +25 Z3Z22ZZ3 +Z4Z22ZZ3 +15 Z2Z23ZZ3 +25 Z3Z23ZZ3 +Z4Z23ZZ3 > 10;
ACZZ1ZZ3: -5 Z3ZZ1ZZ2 -Z4ZZ1ZZ2 +10 Z2ZZ1ZZ3 +20 Z3ZZ1ZZ3 +Z4ZZ1ZZ3 > -0;
ACZZ2ZZ3: -5 Z3ZZ2ZZ2 -Z4ZZ2ZZ2 +10 Z2ZZ2ZZ3 +20 Z3ZZ2ZZ3 +Z4ZZ2ZZ3 > -0;
ACZZ3ZZ3: -5 Z3ZZ3ZZ2 -Z4ZZ3ZZ2 +10 Z2ZZ3ZZ3 +20 Z3ZZ3ZZ3 +Z4ZZ3ZZ3 > -0;
ACZZ4ZZ3: -5 Z3ZZ4ZZ2 -Z4ZZ4ZZ2 +10 Z2ZZ4ZZ3 +20 Z3ZZ4ZZ3 +Z4ZZ4ZZ3 > -0;
ACZZ5ZZ3: -5 Z3ZZ5ZZ2 -Z4ZZ5ZZ2 +10 Z2ZZ5ZZ3 +20 Z3ZZ5ZZ3 +Z4ZZ5ZZ3 > -0;
ACZZ6ZZ3: -5 Z3ZZ6ZZ2 -Z4ZZ6ZZ2 +10 Z2ZZ6ZZ3 +20 Z3ZZ6ZZ3 +Z4ZZ6ZZ3 > -0;
ACZZ7ZZ3: -5 Z3ZZ7ZZ2 -Z4ZZ7ZZ2 +10 Z2ZZ7ZZ3 +20 Z3ZZ7ZZ3 +Z4ZZ7ZZ3 > -0;
ACZZ8ZZ3: -5 Z3ZZ8ZZ2 -Z4ZZ8ZZ2 +10 Z2ZZ8ZZ3 +20 Z3ZZ8ZZ3 +Z4ZZ8ZZ3 > -0;
ACZZ9ZZ3: -5 Z3ZZ9ZZ2 -Z4ZZ9ZZ2 +10 Z2ZZ9ZZ3 +20 Z3ZZ9ZZ3 +Z4ZZ9ZZ3 > -0;
ACZ10ZZ3: -5 Z3Z10ZZ2 -Z4Z10ZZ2 +10 Z2Z10ZZ3 +20 Z3Z10ZZ3 +Z4Z10ZZ3 > -0;
ACZ11ZZ3: -5 Z3Z11ZZ2 -Z4Z11ZZ2 +10 Z2Z11ZZ3 +20 Z3Z11ZZ3 +Z4Z11ZZ3 > -0;
ACZ12ZZ3: -5 Z3Z12ZZ2 -Z4Z12ZZ2 +10 Z2Z12ZZ3 +20 Z3Z12ZZ3 +Z4Z12ZZ3 > -0;
ACZ13ZZ3: -5 Z3Z13ZZ2 -Z4Z13ZZ2 +10 Z2Z13ZZ3 +20 Z3Z13ZZ3 +Z4Z13ZZ3 > -0;
ACZ14ZZ3: -5 Z3Z14ZZ2 -Z4Z14ZZ2 +10 Z2Z14ZZ3 +20 Z3Z14ZZ3 +Z4Z14ZZ3 > -0;
ACZ15ZZ3: -5 Z3Z15ZZ2 -Z4Z15ZZ2 +10 Z2Z15ZZ3 +20 Z3Z15ZZ3 +Z4Z15ZZ3 > -0;
ACZ16ZZ3: -5 Z3Z16ZZ2 -Z4Z16ZZ2 +10 Z2Z16ZZ3 +20 Z3Z16ZZ3 +Z4Z16ZZ3 > -0;
ACZ17ZZ3: -7 Z3Z17ZZ2 -Z4Z17ZZ2 +15 Z2Z17ZZ3 +25 Z3Z17ZZ3 +Z4Z17ZZ3 > -0;
ACZ18ZZ3: -7 Z3Z18ZZ2 -Z4Z18ZZ2 +15 Z2Z18ZZ3 +25 Z3Z18ZZ3 +Z4Z18ZZ3 > -0;
ACZ19ZZ3: -7 Z3Z19ZZ2 -Z4Z19ZZ2 +15 Z2Z19ZZ3 +25 Z3Z19ZZ3 +Z4Z19ZZ3 > -0;
ACZ20ZZ3: -7 Z3Z20ZZ2 -Z4Z20ZZ2 +15 Z2Z20ZZ3 +25 Z3Z20ZZ3 +Z4Z20ZZ3 > -0;
ACZ21ZZ3: -7 Z3Z21ZZ2 -Z4Z21ZZ2 +15 Z2Z21ZZ3 +25 Z3Z21ZZ3 +Z4Z21ZZ3 > -0;
ACZ22ZZ3: -7 Z3Z22ZZ2 -Z4Z22ZZ2 +15 Z2Z22ZZ3 +25 Z3Z22ZZ3 +Z4Z22ZZ3 > -0;
ACZ23ZZ3: -7 Z3Z23ZZ2 -Z4Z23ZZ2 +15 Z2Z23ZZ3 +25 Z3Z23ZZ3 +Z4Z23ZZ3 > -0;
ACZ24ZZ3: -7 Z3Z24ZZ2 -Z4Z24ZZ2 +15 Z2Z24ZZ3 +25 Z3Z24ZZ3 +Z4Z24ZZ3 > -0;
ACZ25ZZ3: -7 Z3Z25ZZ2 -Z4Z25ZZ2 +15 Z2Z25ZZ3 +25 Z3Z25ZZ3 +Z4Z25ZZ3 > -0;
ACZ26ZZ3: -7 Z3Z26ZZ2 -Z4Z26ZZ2 +15 Z2Z26ZZ3 +25 Z3Z26ZZ3 +Z4Z26ZZ3 > -0;
ACZ27ZZ3: -7 Z3Z27ZZ2 -Z4Z27ZZ2 +15 Z2Z27ZZ3 +25 Z3Z27ZZ3 +Z4Z27ZZ3 > -0;
ACZ28ZZ3: -7 Z3Z28ZZ2 -Z4Z28ZZ2 +15 Z2Z28ZZ3 +25 Z3Z28ZZ3 +Z4Z28ZZ3 > -0;
ACZ29ZZ3: -7 Z3Z29ZZ2 -Z4Z29ZZ2 +15 Z2Z29ZZ3 +25 Z3Z29ZZ3 +Z4Z29ZZ3 > -0;
ACZ30ZZ3: -7 Z3Z30ZZ2 -Z4Z30ZZ2 +15 Z2Z30ZZ3 +25 Z3Z30ZZ3 +Z4Z30ZZ3 > -0;
ACZ31ZZ3: -7 Z3Z31ZZ2 -Z4Z31ZZ2 +30 Z2Z31ZZ3 +40 Z3Z31ZZ3 +Z4Z31ZZ3 > -0;
ACZ32ZZ3: -7 Z3Z32ZZ2 -Z4Z32ZZ2 +30 Z2Z32ZZ3 +40 Z3Z32ZZ3 +Z4Z32ZZ3 > -0;
ACZ33ZZ3: -7 Z3Z33ZZ2 -Z4Z33ZZ2 +30 Z2Z33ZZ3 +40 Z3Z33ZZ3 +Z4Z33ZZ3 > -0;
ACZ34ZZ3: -7 Z3Z34ZZ2 -Z4Z34ZZ2 +30 Z2Z34ZZ3 +40 Z3Z34ZZ3 +Z4Z34ZZ3 > -0;
ACZ35ZZ3: -7 Z3Z35ZZ2 -Z4Z35ZZ2 +30 Z2Z35ZZ3 +40 Z3Z35ZZ3 +Z4Z35ZZ3 > -0;
ACZ36ZZ3: -7 Z3Z36ZZ2 -Z4Z36ZZ2 +30 Z2Z36ZZ3 +40 Z3Z36ZZ3 +Z4Z36ZZ3 > -0;
ACZ37ZZ3: -7 Z3Z37ZZ2 -Z4Z37ZZ2 +30 Z2Z37ZZ3 +40 Z3Z37ZZ3 +Z4Z37ZZ3 > -0;
ACZ38ZZ3: -7 Z3Z38ZZ2 -Z4Z38ZZ2 +30 Z2Z38ZZ3 +40 Z3Z38ZZ3 +Z4Z38ZZ3 > -0;
ACZ39ZZ3: -7 Z3Z39ZZ2 -Z4Z39ZZ2 +30 Z2Z39ZZ3 +40 Z3Z39ZZ3 +Z4Z39ZZ3 > -0;
ACZ40ZZ3: -7 Z3Z40ZZ2 -Z4Z40ZZ2 +30 Z2Z40ZZ3 +40 Z3Z40ZZ3 +Z4Z40ZZ3 > -0;
ACZ41ZZ3: -7 Z3Z41ZZ2 -Z4Z41ZZ2 +30 Z2Z41ZZ3 +40 Z3Z41ZZ3 +Z4Z41ZZ3 > -0;
ACZ42ZZ3: -7 Z3Z42ZZ2 -Z4Z42ZZ2 +30 Z2Z42ZZ3 +40 Z3Z42ZZ3 +Z4Z42ZZ3 > -0;
ACZ43ZZ3: -7 Z3Z43ZZ2 -Z4Z43ZZ2 +30 Z2Z43ZZ3 +40 Z3Z43ZZ3 +Z4Z43ZZ3 > -0;
ACZ44ZZ3: -7 Z3Z44ZZ2 -Z4Z44ZZ2 +30 Z2Z44ZZ3 +40 Z3Z44ZZ3 +Z4Z44ZZ3 > -0;
ACZ45ZZ3: -15 Z3Z45ZZ2 -Z4Z45ZZ2 +50 Z2Z45ZZ3 +80 Z3Z45ZZ3 +Z4Z45ZZ3 > -0;
ACZ46ZZ3: -15 Z3Z46ZZ2 -Z4Z46ZZ2 +50 Z2Z46ZZ3 +80 Z3Z46ZZ3 +Z4Z46ZZ3 > -0;
ACZ47ZZ3: -15 Z3Z47ZZ2 -Z4Z47ZZ2 +50 Z2Z47ZZ3 +80 Z3Z47ZZ3 +Z4Z47ZZ3 > -0;
CCZZ1ZZ3: +Z1ZZ1ZZ3 +Z2ZZ1ZZ3 +Z3ZZ1ZZ3 = 1;
CCZZ2ZZ3: +Z1ZZ2ZZ3 +Z2ZZ2ZZ3 +Z3ZZ2ZZ3 = 1;
CCZZ3ZZ3: +Z1ZZ3ZZ3 +Z2ZZ3ZZ3 +Z3ZZ3ZZ3 = 1;
CCZZ4ZZ3: +Z1ZZ4ZZ3 +Z2ZZ4ZZ3 +Z3ZZ4ZZ3 = 1;
CCZZ5ZZ3: +Z1ZZ5ZZ3 +Z2ZZ5ZZ3 +Z3ZZ5ZZ3 = 1;
CCZZ6ZZ3: +Z1ZZ6ZZ3 +Z2ZZ6ZZ3 +Z3ZZ6ZZ3 = 1;
CCZZ7ZZ3: +Z1ZZ7ZZ3 +Z2ZZ7ZZ3 +Z3ZZ7ZZ3 = 1;
CCZZ8ZZ3: +Z1ZZ8ZZ3 +Z2ZZ8ZZ3 +Z3ZZ8ZZ3 = 1;
CCZZ9ZZ3: +Z1ZZ9ZZ3 +Z2ZZ9ZZ3 +Z3ZZ9ZZ3 = 1;
CCZ10ZZ3: +Z1Z10ZZ3 +Z2Z10ZZ3 +Z3Z10ZZ3 = 1;
CCZ11ZZ3: +Z1Z11ZZ3 +Z2Z11ZZ3 +Z3Z11ZZ3 = 1;
CCZ12ZZ3: +Z1Z12ZZ3 +Z2Z12ZZ3 +Z3Z12ZZ3 = 1;
CCZ13ZZ3: +Z1Z13ZZ3 +Z2Z13ZZ3 +Z3Z13ZZ3 = 1;
CCZ14ZZ3: +Z1Z14ZZ3 +Z2Z14ZZ3 +Z3Z14ZZ3 = 1;
CCZ15ZZ3: +Z1Z15ZZ3 +Z2Z15ZZ3 +Z3Z15ZZ3 = 1;
CCZ16ZZ3: +Z1Z16ZZ3 +Z2Z16ZZ3 +Z3Z16ZZ3 = 1;
CCZ17ZZ3: +Z1Z17ZZ3 +Z2Z17ZZ3 +Z3Z17ZZ3 = 1;
CCZ18ZZ3: +Z1Z18ZZ3 +Z2Z18ZZ3 +Z3Z18ZZ3 = 1;
CCZ19ZZ3: +Z1Z19ZZ3 +Z2Z19ZZ3 +Z3Z19ZZ3 = 1;
CCZ20ZZ3: +Z1Z20ZZ3 +Z2Z20ZZ3 +Z3Z20ZZ3 = 1;
CCZ21ZZ3: +Z1Z21ZZ3 +Z2Z21ZZ3 +Z3Z21ZZ3 = 1;
CCZ22ZZ3: +Z1Z22ZZ3 +Z2Z22ZZ3 +Z3Z22ZZ3 = 1;
CCZ23ZZ3: +Z1Z23ZZ3 +Z2Z23ZZ3 +Z3Z23ZZ3 = 1;
CCZ24ZZ3: +Z1Z24ZZ3 +Z2Z24ZZ3 +Z3Z24ZZ3 = 1;
CCZ25ZZ3: +Z1Z25ZZ3 +Z2Z25ZZ3 +Z3Z25ZZ3 = 1;
CCZ26ZZ3: +Z1Z26ZZ3 +Z2Z26ZZ3 +Z3Z26ZZ3 = 1;
CCZ27ZZ3: +Z1Z27ZZ3 +Z2Z27ZZ3 +Z3Z27ZZ3 = 1;
CCZ28ZZ3: +Z1Z28ZZ3 +Z2Z28ZZ3 +Z3Z28ZZ3 = 1;
CCZ29ZZ3: +Z1Z29ZZ3 +Z2Z29ZZ3 +Z3Z29ZZ3 = 1;
CCZ30ZZ3: +Z1Z30ZZ3 +Z2Z30ZZ3 +Z3Z30ZZ3 = 1;
CCZ31ZZ3: +Z1Z31ZZ3 +Z2Z31ZZ3 +Z3Z31ZZ3 = 1;
CCZ32ZZ3: +Z1Z32ZZ3 +Z2Z32ZZ3 +Z3Z32ZZ3 = 1;
CCZ33ZZ3: +Z1Z33ZZ3 +Z2Z33ZZ3 +Z3Z33ZZ3 = 1;
CCZ34ZZ3: +Z1Z34ZZ3 +Z2Z34ZZ3 +Z3Z34ZZ3 = 1;
CCZ35ZZ3: +Z1Z35ZZ3 +Z2Z35ZZ3 +Z3Z35ZZ3 = 1;
CCZ36ZZ3: +Z1Z36ZZ3 +Z2Z36ZZ3 +Z3Z36ZZ3 = 1;
CCZ37ZZ3: +Z1Z37ZZ3 +Z2Z37ZZ3 +Z3Z37ZZ3 = 1;
CCZ38ZZ3: +Z1Z38ZZ3 +Z2Z38ZZ3 +Z3Z38ZZ3 = 1;
CCZ39ZZ3: +Z1Z39ZZ3 +Z2Z39ZZ3 +Z3Z39ZZ3 = 1;
CCZ40ZZ3: +Z1Z40ZZ3 +Z2Z40ZZ3 +Z3Z40ZZ3 = 1;
CCZ41ZZ3: +Z1Z41ZZ3 +Z2Z41ZZ3 +Z3Z41ZZ3 = 1;
CCZ42ZZ3: +Z1Z42ZZ3 +Z2Z42ZZ3 +Z3Z42ZZ3 = 1;
CCZ43ZZ3: +Z1Z43ZZ3 +Z2Z43ZZ3 +Z3Z43ZZ3 = 1;
CCZ44ZZ3: +Z1Z44ZZ3 +Z2Z44ZZ3 +Z3Z44ZZ3 = 1;
CCZ45ZZ3: +Z1Z45ZZ3 +Z2Z45ZZ3 +Z3Z45ZZ3 = 1;
CCZ46ZZ3: +Z1Z46ZZ3 +Z2Z46ZZ3 +Z3Z46ZZ3 = 1;
CCZ47ZZ3: +Z1Z47ZZ3 +Z2Z47ZZ3 +Z3Z47ZZ3 = 1;
NCZZ1ZZ4: -10 Z2ZZ1ZZ3 -15 Z3ZZ1ZZ3 -5 Z3ZZ2ZZ3 -Z4ZZ2ZZ3 -10 Z2Z15ZZ3 -15 Z3Z15ZZ3 -5 Z3Z16ZZ3 -Z4Z16ZZ3 -7 Z3Z30ZZ3 -Z4Z30ZZ3 +10 Z2ZZ2ZZ4 +20 Z3ZZ2ZZ4 +Z4ZZ2ZZ4 +10 Z2Z16ZZ4 +20 Z3Z16ZZ4 +Z4Z16ZZ4 +15 Z2Z30ZZ4 +25 Z3Z30ZZ4 +Z4Z30ZZ4 > 20;
NCZZ2ZZ4: -10 Z2Z13ZZ3 -15 Z3Z13ZZ3 -5 Z3Z14ZZ3 -Z4Z14ZZ3 -5 Z3Z15ZZ3 -Z4Z15ZZ3 -10 Z2Z16ZZ3 -15 Z3Z16ZZ3 -7 Z3Z28ZZ3 -Z4Z28ZZ3 -7 Z3Z29ZZ3 -Z4Z29ZZ3 +10 Z2Z14ZZ4 +20 Z3Z14ZZ4 +Z4Z14ZZ4 +10 Z2Z15ZZ4 +20 Z3Z15ZZ4 +Z4Z15ZZ4 +15 Z2Z28ZZ4 +25 Z3Z28ZZ4 +Z4Z28ZZ4 +15 Z2Z29ZZ4 +25 Z3Z29ZZ4 +Z4Z29ZZ4 > 10;
NCZZ3ZZ4: -5 Z3ZZ1ZZ3 -Z4ZZ1ZZ3 -10 Z2ZZ2ZZ3 -15 Z3ZZ2ZZ3 -10 Z2ZZ3ZZ3 -15 Z3ZZ3ZZ3 -5 Z3ZZ4ZZ3 -Z4ZZ4ZZ3 -7 Z3Z17ZZ3 -Z4Z17ZZ3 +10 Z2ZZ1ZZ4 +20 Z3ZZ1ZZ4 +Z4ZZ1ZZ4 +10 Z2ZZ4ZZ4 +20 Z3ZZ4ZZ4 +Z4ZZ4ZZ4 +15 Z2Z17ZZ4 +25 Z3Z17ZZ4 +Z4Z17ZZ4 > 20;
NCZZ4ZZ4: -15 Z2Z29ZZ3 -18 Z3Z29ZZ3 -15 Z2Z30ZZ3 -18 Z3Z30ZZ3 -30 Z2Z31ZZ3 -33 Z3Z31ZZ3 -7 Z3Z32ZZ3 -Z4Z32ZZ3 -30 Z2Z43ZZ3 -33 Z3Z43ZZ3 -7 Z3Z44ZZ3 -Z4Z44ZZ3 -15 Z3Z45ZZ3 -Z4Z45ZZ3 +30 Z2Z32ZZ4 +40 Z3Z32ZZ4 +Z4Z32ZZ4 +30 Z2Z44ZZ4 +40 Z3Z44ZZ4 +Z4Z44ZZ4 +50 Z2Z45ZZ4 +80 Z3Z45ZZ4 +Z4Z45ZZ4 > -0;
NCZZ5ZZ4: -15 Z2Z27ZZ3 -18 Z3Z27ZZ3 -15 Z2Z28ZZ3 -18 Z3Z28ZZ3 -7 Z3Z41ZZ3 -Z4Z41ZZ3 -30 Z2Z42ZZ3 -33 Z3Z42ZZ3 -7 Z3Z43ZZ3 -Z4Z43ZZ3 -30 Z2Z44ZZ3 -33 Z3Z44ZZ3 +30 Z2Z41ZZ4 +40 Z3Z41ZZ4 +Z4Z41ZZ4 +30 Z2Z43ZZ4 +40 Z3Z43ZZ4 +Z4Z43ZZ4 > -0;
NCZZ6ZZ4: -10 Z2Z11ZZ3 -15 Z3Z11ZZ3 -5 Z3Z12ZZ3 -Z4Z12ZZ3 -5 Z3Z13ZZ3 -Z4Z13ZZ3 -10 Z2Z14ZZ3 -15 Z3Z14ZZ3 -7 Z3Z26ZZ3 -Z4Z26ZZ3 -7 Z3Z27ZZ3 -Z4Z27ZZ3 +10 Z2Z12ZZ4 +20 Z3Z12ZZ4 +Z4Z12ZZ4 +10 Z2Z13ZZ4 +20 Z3Z13ZZ4 +Z4Z13ZZ4 +15 Z2Z26ZZ4 +25 Z3Z26ZZ4 +Z4Z26ZZ4 +15 Z2Z27ZZ4 +25 Z3Z27ZZ4 +Z4Z27ZZ4 > 30;
NCZZ7ZZ4: -15 Z2Z17ZZ3 -18 Z3Z17ZZ3 -15 Z2Z18ZZ3 -18 Z3Z18ZZ3 -7 Z3Z31ZZ3 -Z4Z31ZZ3 -30 Z2Z32ZZ3 -33 Z3Z32ZZ3 -7 Z3Z33ZZ3 -Z4Z33ZZ3 -30 Z2Z34ZZ3 -33 Z3Z34ZZ3 +30 Z2Z31ZZ4 +40 Z3Z31ZZ4 +Z4Z31ZZ4 +30 Z2Z33ZZ4 +40 Z3Z33ZZ4 +Z4Z33ZZ4 > -0;
NCZZ8ZZ4: -15 Z2Z25ZZ3 -18 Z3Z25ZZ3 -15 Z2Z26ZZ3 -18 Z3Z26ZZ3 -30 Z2Z39ZZ3 -33 Z3Z39ZZ3 -7 Z3Z40ZZ3 -Z4Z40ZZ3 -30 Z2Z41ZZ3 -33 Z3Z41ZZ3 -7 Z3Z42ZZ3 -Z4Z42ZZ3 +30 Z2Z40ZZ4 +40 Z3Z40ZZ4 +Z4Z40ZZ4 +30 Z2Z42ZZ4 +40 Z3Z42ZZ4 +Z4Z42ZZ4 > -0;
NCZZ9ZZ4: -5 Z3ZZ3ZZ3 -Z4ZZ3ZZ3 -10 Z2ZZ4ZZ3 -15 Z3ZZ4ZZ3 -5 Z3ZZ5ZZ3 -Z4ZZ5ZZ3 -10 Z2ZZ6ZZ3 -15 Z3ZZ6ZZ3 -7 Z3Z18ZZ3 -Z4Z18ZZ3 -7 Z3Z19ZZ3 -Z4Z19ZZ3 +10 Z2ZZ3ZZ4 +20 Z3ZZ3ZZ4 +Z4ZZ3ZZ4 +10 Z2ZZ5ZZ4 +20 Z3ZZ5ZZ4 +Z4ZZ5ZZ4 +15 Z2Z18ZZ4 +25 Z3Z18ZZ4 +Z4Z18ZZ4 +15 Z2Z19ZZ4 +25 Z3Z19ZZ4 +Z4Z19ZZ4 > 5;
NCZ10ZZ4: -15 Z2Z19ZZ3 -18 Z3Z19ZZ3 -15 Z2Z20ZZ3 -18 Z3Z20ZZ3 -30 Z2Z33ZZ3 -33 Z3Z33ZZ3 -7 Z3Z34ZZ3 -Z4Z34ZZ3 -7 Z3Z35ZZ3 -Z4Z35ZZ3 -30 Z2Z36ZZ3 -33 Z3Z36ZZ3 -15 Z3Z46ZZ3 -Z4Z46ZZ3 +30 Z2Z34ZZ4 +40 Z3Z34ZZ4 +Z4Z34ZZ4 +30 Z2Z35ZZ4 +40 Z3Z35ZZ4 +Z4Z35ZZ4 +50 Z2Z46ZZ4 +80 Z3Z46ZZ4 +Z4Z46ZZ4 > -0;
NCZ11ZZ4: -15 Z2Z21ZZ3 -18 Z3Z21ZZ3 -15 Z2Z22ZZ3 -18 Z3Z22ZZ3 -30 Z2Z35ZZ3 -33 Z3Z35ZZ3 -7 Z3Z36ZZ3 -Z4Z36ZZ3 -7 Z3Z37ZZ3 -Z4Z37ZZ3 -30 Z2Z38ZZ3 -33 Z3Z38ZZ3 +30 Z2Z36ZZ4 +40 Z3Z36ZZ4 +Z4Z36ZZ4 +30 Z2Z37ZZ4 +40 Z3Z37ZZ4 +Z4Z37ZZ4 > -0;
NCZ12ZZ4: -15 Z2Z23ZZ3 -18 Z3Z23ZZ3 -15 Z2Z24ZZ3 -18 Z3Z24ZZ3 -30 Z2Z37ZZ3 -33 Z3Z37ZZ3 -7 Z3Z38ZZ3 -Z4Z38ZZ3 -7 Z3Z39ZZ3 -Z4Z39ZZ3 -30 Z2Z40ZZ3 -33 Z3Z40ZZ3 -15 Z3Z47ZZ3 -Z4Z47ZZ3 +30 Z2Z38ZZ4 +40 Z3Z38ZZ4 +Z4Z38ZZ4 +30 Z2Z39ZZ4 +40 Z3Z39ZZ4 +Z4Z39ZZ4 +50 Z2Z47ZZ4 +80 Z3Z47ZZ4 +Z4Z47ZZ4 > -0;
NCZ13ZZ4: -10 Z2ZZ9ZZ3 -15 Z3ZZ9ZZ3 -5 Z3Z10ZZ3 -Z4Z10ZZ3 -5 Z3Z11ZZ3 -Z4Z11ZZ3 -10 Z2Z12ZZ3 -15 Z3Z12ZZ3 -7 Z3Z24ZZ3 -Z4Z24ZZ3 -7 Z3Z25ZZ3 -Z4Z25ZZ3 +10 Z2Z10ZZ4 +20 Z3Z10ZZ4 +Z4Z10ZZ4 +10 Z2Z11ZZ4 +20 Z3Z11ZZ4 +Z4Z11ZZ4 +15 Z2Z24ZZ4 +25 Z3Z24ZZ4 +Z4Z24ZZ4 +15 Z2Z25ZZ4 +25 Z3Z25ZZ4 +Z4Z25ZZ4 > 20;
NCZ14ZZ4: -10 Z2ZZ5ZZ3 -15 Z3ZZ5ZZ3 -5 Z3ZZ6ZZ3 -Z4ZZ6ZZ3 -10 Z2ZZ7ZZ3 -15 Z3ZZ7ZZ3 -5 Z3ZZ8ZZ3 -Z4ZZ8ZZ3 -7 Z3Z20ZZ3 -Z4Z20ZZ3 -7 Z3Z21ZZ3 -Z4Z21ZZ3 +10 Z2ZZ6ZZ4 +20 Z3ZZ6ZZ4 +Z4ZZ6ZZ4 +10 Z2ZZ8ZZ4 +20 Z3ZZ8ZZ4 +Z4ZZ8ZZ4 +15 Z2Z20ZZ4 +25 Z3Z20ZZ4 +Z4Z20ZZ4 +15 Z2Z21ZZ4 +25 Z3Z21ZZ4 +Z4Z21ZZ4 > -0;
NCZ15ZZ4: -5 Z3ZZ7ZZ3 -Z4ZZ7ZZ3 -10 Z2ZZ8ZZ3 -15 Z3ZZ8ZZ3 -5 Z3ZZ9ZZ3 -Z4ZZ9ZZ3 -10 Z2Z10ZZ3 -15 Z3Z10ZZ3 -7 Z3Z22ZZ3 -Z4Z22ZZ3 -7 Z3Z23ZZ3 -Z4Z23ZZ3 +10 Z2ZZ7ZZ4 +20 Z3ZZ7ZZ4 +Z4ZZ7ZZ4 +10 Z2ZZ9ZZ4 +20 Z3ZZ9ZZ4 +Z4ZZ9ZZ4 +15 Z2Z22ZZ4 +25 Z3Z22ZZ4 +Z4Z22ZZ4 +15 Z2Z23ZZ4 +25 Z3Z23ZZ4 +Z4Z23ZZ4 > 10;
ACZZ1ZZ4: -5 Z3ZZ1ZZ3 -Z4ZZ1ZZ3 +10 Z2ZZ1ZZ4 +20 Z3ZZ1ZZ4 +Z4ZZ1ZZ4 > -0;
ACZZ2ZZ4: -5 Z3ZZ2ZZ3 -Z4ZZ2ZZ3 +10 Z2ZZ2ZZ4 +20 Z3ZZ2ZZ4 +Z4ZZ2ZZ4 > -0;
ACZZ3ZZ4: -5 Z3ZZ3ZZ3 -Z4ZZ3ZZ3 +10 Z2ZZ3ZZ4 +20 Z3ZZ3ZZ4 +Z4ZZ3ZZ4 > -0;
ACZZ4ZZ4: -5 Z3ZZ4ZZ3 -Z4ZZ4ZZ3 +10 Z2ZZ4ZZ4 +20 Z3ZZ4ZZ4 +Z4ZZ4ZZ4 > -0;
ACZZ5ZZ4: -5 Z3ZZ5ZZ3 -Z4ZZ5ZZ3 +10 Z2ZZ5ZZ4 +20 Z3ZZ5ZZ4 +Z4ZZ5ZZ4 > -0;
ACZZ6ZZ4: -5 Z3ZZ6ZZ3 -Z4ZZ6ZZ3 +10 Z2ZZ6ZZ4 +20 Z3ZZ6ZZ4 +Z4ZZ6ZZ4 > -0;
ACZZ7ZZ4: -5 Z3ZZ7ZZ3 -Z4ZZ7ZZ3 +10 Z2ZZ7ZZ4 +20 Z3ZZ7ZZ4 +Z4ZZ7ZZ4 > -0;
ACZZ8ZZ4: -5 Z3ZZ8ZZ3 -Z4ZZ8ZZ3 +10 Z2ZZ8ZZ4 +20 Z3ZZ8ZZ4 +Z4ZZ8ZZ4 > -0;
ACZZ9ZZ4: -5 Z3ZZ9ZZ3 -Z4ZZ9ZZ3 +10 Z2ZZ9ZZ4 +20 Z3ZZ9ZZ4 +Z4ZZ9ZZ4 > -0;
ACZ10ZZ4: -5 Z3Z10ZZ3 -Z4Z10ZZ3 +10 Z2Z10ZZ4 +20 Z3Z10ZZ4 +Z4Z10ZZ4 > -0;
ACZ11ZZ4: -5 Z3Z11ZZ3 -Z4Z11ZZ3 +10 Z2Z11ZZ4 +20 Z3Z11ZZ4 +Z4Z11ZZ4 > -0;
ACZ12ZZ4: -5 Z3Z12ZZ3 -Z4Z12ZZ3 +10 Z2Z12ZZ4 +20 Z3Z12ZZ4 +Z4Z12ZZ4 > -0;
ACZ13ZZ4: -5 Z3Z13ZZ3 -Z4Z13ZZ3 +10 Z2Z13ZZ4 +20 Z3Z13ZZ4 +Z4Z13ZZ4 > -0;
ACZ14ZZ4: -5 Z3Z14ZZ3 -Z4Z14ZZ3 +10 Z2Z14ZZ4 +20 Z3Z14ZZ4 +Z4Z14ZZ4 > -0;
ACZ15ZZ4: -5 Z3Z15ZZ3 -Z4Z15ZZ3 +10 Z2Z15ZZ4 +20 Z3Z15ZZ4 +Z4Z15ZZ4 > -0;
ACZ16ZZ4: -5 Z3Z16ZZ3 -Z4Z16ZZ3 +10 Z2Z16ZZ4 +20 Z3Z16ZZ4 +Z4Z16ZZ4 > -0;
ACZ17ZZ4: -7 Z3Z17ZZ3 -Z4Z17ZZ3 +15 Z2Z17ZZ4 +25 Z3Z17ZZ4 +Z4Z17ZZ4 > -0;
ACZ18ZZ4: -7 Z3Z18ZZ3 -Z4Z18ZZ3 +15 Z2Z18ZZ4 +25 Z3Z18ZZ4 +Z4Z18ZZ4 > -0;
ACZ19ZZ4: -7 Z3Z19ZZ3 -Z4Z19ZZ3 +15 Z2Z19ZZ4 +25 Z3Z19ZZ4 +Z4Z19ZZ4 > -0;
ACZ20ZZ4: -7 Z3Z20ZZ3 -Z4Z20ZZ3 +15 Z2Z20ZZ4 +25 Z3Z20ZZ4 +Z4Z20ZZ4 > -0;
ACZ21ZZ4: -7 Z3Z21ZZ3 -Z4Z21ZZ3 +15 Z2Z21ZZ4 +25 Z3Z21ZZ4 +Z4Z21ZZ4 > -0;
ACZ22ZZ4: -7 Z3Z22ZZ3 -Z4Z22ZZ3 +15 Z2Z22ZZ4 +25 Z3Z22ZZ4 +Z4Z22ZZ4 > -0;
ACZ23ZZ4: -7 Z3Z23ZZ3 -Z4Z23ZZ3 +15 Z2Z23ZZ4 +25 Z3Z23ZZ4 +Z4Z23ZZ4 > -0;
ACZ24ZZ4: -7 Z3Z24ZZ3 -Z4Z24ZZ3 +15 Z2Z24ZZ4 +25 Z3Z24ZZ4 +Z4Z24ZZ4 > -0;
ACZ25ZZ4: -7 Z3Z25ZZ3 -Z4Z25ZZ3 +15 Z2Z25ZZ4 +25 Z3Z25ZZ4 +Z4Z25ZZ4 > -0;
ACZ26ZZ4: -7 Z3Z26ZZ3 -Z4Z26ZZ3 +15 Z2Z26ZZ4 +25 Z3Z26ZZ4 +Z4Z26ZZ4 > -0;
ACZ27ZZ4: -7 Z3Z27ZZ3 -Z4Z27ZZ3 +15 Z2Z27ZZ4 +25 Z3Z27ZZ4 +Z4Z27ZZ4 > -0;
ACZ28ZZ4: -7 Z3Z28ZZ3 -Z4Z28ZZ3 +15 Z2Z28ZZ4 +25 Z3Z28ZZ4 +Z4Z28ZZ4 > -0;
ACZ29ZZ4: -7 Z3Z29ZZ3 -Z4Z29ZZ3 +15 Z2Z29ZZ4 +25 Z3Z29ZZ4 +Z4Z29ZZ4 > -0;
ACZ30ZZ4: -7 Z3Z30ZZ3 -Z4Z30ZZ3 +15 Z2Z30ZZ4 +25 Z3Z30ZZ4 +Z4Z30ZZ4 > -0;
ACZ31ZZ4: -7 Z3Z31ZZ3 -Z4Z31ZZ3 +30 Z2Z31ZZ4 +40 Z3Z31ZZ4 +Z4Z31ZZ4 > -0;
ACZ32ZZ4: -7 Z3Z32ZZ3 -Z4Z32ZZ3 +30 Z2Z32ZZ4 +40 Z3Z32ZZ4 +Z4Z32ZZ4 > -0;
ACZ33ZZ4: -7 Z3Z33ZZ3 -Z4Z33ZZ3 +30 Z2Z33ZZ4 +40 Z3Z33ZZ4 +Z4Z33ZZ4 > -0;
ACZ34ZZ4: -7 Z3Z34ZZ3 -Z4Z34ZZ3 +30 Z2Z34ZZ4 +40 Z3Z34ZZ4 +Z4Z34ZZ4 > -0;
ACZ35ZZ4: -7 Z3Z35ZZ3 -Z4Z35ZZ3 +30 Z2Z35ZZ4 +40 Z3Z35ZZ4 +Z4Z35ZZ4 > -0;
ACZ36ZZ4: -7 Z3Z36ZZ3 -Z4Z36ZZ3 +30 Z2Z36ZZ4 +40 Z3Z36ZZ4 +Z4Z36ZZ4 > -0;
ACZ37ZZ4: -7 Z3Z37ZZ3 -Z4Z37ZZ3 +30 Z2Z37ZZ4 +40 Z3Z37ZZ4 +Z4Z37ZZ4 > -0;
ACZ38ZZ4: -7 Z3Z38ZZ3 -Z4Z38ZZ3 +30 Z2Z38ZZ4 +40 Z3Z38ZZ4 +Z4Z38ZZ4 > -0;
ACZ39ZZ4: -7 Z3Z39ZZ3 -Z4Z39ZZ3 +30 Z2Z39ZZ4 +40 Z3Z39ZZ4 +Z4Z39ZZ4 > -0;
ACZ40ZZ4: -7 Z3Z40ZZ3 -Z4Z40ZZ3 +30 Z2Z40ZZ4 +40 Z3Z40ZZ4 +Z4Z40ZZ4 > -0;
ACZ41ZZ4: -7 Z3Z41ZZ3 -Z4Z41ZZ3 +30 Z2Z41ZZ4 +40 Z3Z41ZZ4 +Z4Z41ZZ4 > -0;
ACZ42ZZ4: -7 Z3Z42ZZ3 -Z4Z42ZZ3 +30 Z2Z42ZZ4 +40 Z3Z42ZZ4 +Z4Z42ZZ4 > -0;
ACZ43ZZ4: -7 Z3Z43ZZ3 -Z4Z43ZZ3 +30 Z2Z43ZZ4 +40 Z3Z43ZZ4 +Z4Z43ZZ4 > -0;
ACZ44ZZ4: -7 Z3Z44ZZ3 -Z4Z44ZZ3 +30 Z2Z44ZZ4 +40 Z3Z44ZZ4 +Z4Z44ZZ4 > -0;
ACZ45ZZ4: -15 Z3Z45ZZ3 -Z4Z45ZZ3 +50 Z2Z45ZZ4 +80 Z3Z45ZZ4 +Z4Z45ZZ4 > -0;
ACZ46ZZ4: -15 Z3Z46ZZ3 -Z4Z46ZZ3 +50 Z2Z46ZZ4 +80 Z3Z46ZZ4 +Z4Z46ZZ4 > -0;
ACZ47ZZ4: -15 Z3Z47ZZ3 -Z4Z47ZZ3 +50 Z2Z47ZZ4 +80 Z3Z47ZZ4 +Z4Z47ZZ4 > -0;
CCZZ1ZZ4: +Z1ZZ1ZZ4 +Z2ZZ1ZZ4 +Z3ZZ1ZZ4 = 1;
CCZZ2ZZ4: +Z1ZZ2ZZ4 +Z2ZZ2ZZ4 +Z3ZZ2ZZ4 = 1;
CCZZ3ZZ4: +Z1ZZ3ZZ4 +Z2ZZ3ZZ4 +Z3ZZ3ZZ4 = 1;
CCZZ4ZZ4: +Z1ZZ4ZZ4 +Z2ZZ4ZZ4 +Z3ZZ4ZZ4 = 1;
CCZZ5ZZ4: +Z1ZZ5ZZ4 +Z2ZZ5ZZ4 +Z3ZZ5ZZ4 = 1;
CCZZ6ZZ4: +Z1ZZ6ZZ4 +Z2ZZ6ZZ4 +Z3ZZ6ZZ4 = 1;
CCZZ7ZZ4: +Z1ZZ7ZZ4 +Z2ZZ7ZZ4 +Z3ZZ7ZZ4 = 1;
CCZZ8ZZ4: +Z1ZZ8ZZ4 +Z2ZZ8ZZ4 +Z3ZZ8ZZ4 = 1;
CCZZ9ZZ4: +Z1ZZ9ZZ4 +Z2ZZ9ZZ4 +Z3ZZ9ZZ4 = 1;
CCZ10ZZ4: +Z1Z10ZZ4 +Z2Z10ZZ4 +Z3Z10ZZ4 = 1;
CCZ11ZZ4: +Z1Z11ZZ4 +Z2Z11ZZ4 +Z3Z11ZZ4 = 1;
CCZ12ZZ4: +Z1Z12ZZ4 +Z2Z12ZZ4 +Z3Z12ZZ4 = 1;
CCZ13ZZ4: +Z1Z13ZZ4 +Z2Z13ZZ4 +Z3Z13ZZ4 = 1;
CCZ14ZZ4: +Z1Z14ZZ4 +Z2Z14ZZ4 +Z3Z14ZZ4 = 1;
CCZ15ZZ4: +Z1Z15ZZ4 +Z2Z15ZZ4 +Z3Z15ZZ4 = 1;
CCZ16ZZ4: +Z1Z16ZZ4 +Z2Z16ZZ4 +Z3Z16ZZ4 = 1;
CCZ17ZZ4: +Z1Z17ZZ4 +Z2Z17ZZ4 +Z3Z17ZZ4 = 1;
CCZ18ZZ4: +Z1Z18ZZ4 +Z2Z18ZZ4 +Z3Z18ZZ4 = 1;
CCZ19ZZ4: +Z1Z19ZZ4 +Z2Z19ZZ4 +Z3Z19ZZ4 = 1;
CCZ20ZZ4: +Z1Z20ZZ4 +Z2Z20ZZ4 +Z3Z20ZZ4 = 1;
CCZ21ZZ4: +Z1Z21ZZ4 +Z2Z21ZZ4 +Z3Z21ZZ4 = 1;
CCZ22ZZ4: +Z1Z22ZZ4 +Z2Z22ZZ4 +Z3Z22ZZ4 = 1;
CCZ23ZZ4: +Z1Z23ZZ4 +Z2Z23ZZ4 +Z3Z23ZZ4 = 1;
CCZ24ZZ4: +Z1Z24ZZ4 +Z2Z24ZZ4 +Z3Z24ZZ4 = 1;
CCZ25ZZ4: +Z1Z25ZZ4 +Z2Z25ZZ4 +Z3Z25ZZ4 = 1;
CCZ26ZZ4: +Z1Z26ZZ4 +Z2Z26ZZ4 +Z3Z26ZZ4 = 1;
CCZ27ZZ4: +Z1Z27ZZ4 +Z2Z27ZZ4 +Z3Z27ZZ4 = 1;
CCZ28ZZ4: +Z1Z28ZZ4 +Z2Z28ZZ4 +Z3Z28ZZ4 = 1;
CCZ29ZZ4: +Z1Z29ZZ4 +Z2Z29ZZ4 +Z3Z29ZZ4 = 1;
CCZ30ZZ4: +Z1Z30ZZ4 +Z2Z30ZZ4 +Z3Z30ZZ4 = 1;
CCZ31ZZ4: +Z1Z31ZZ4 +Z2Z31ZZ4 +Z3Z31ZZ4 = 1;
CCZ32ZZ4: +Z1Z32ZZ4 +Z2Z32ZZ4 +Z3Z32ZZ4 = 1;
CCZ33ZZ4: +Z1Z33ZZ4 +Z2Z33ZZ4 +Z3Z33ZZ4 = 1;
CCZ34ZZ4: +Z1Z34ZZ4 +Z2Z34ZZ4 +Z3Z34ZZ4 = 1;
CCZ35ZZ4: +Z1Z35ZZ4 +Z2Z35ZZ4 +Z3Z35ZZ4 = 1;
CCZ36ZZ4: +Z1Z36ZZ4 +Z2Z36ZZ4 +Z3Z36ZZ4 = 1;
CCZ37ZZ4: +Z1Z37ZZ4 +Z2Z37ZZ4 +Z3Z37ZZ4 = 1;
CCZ38ZZ4: +Z1Z38ZZ4 +Z2Z38ZZ4 +Z3Z38ZZ4 = 1;
CCZ39ZZ4: +Z1Z39ZZ4 +Z2Z39ZZ4 +Z3Z39ZZ4 = 1;
CCZ40ZZ4: +Z1Z40ZZ4 +Z2Z40ZZ4 +Z3Z40ZZ4 = 1;
CCZ41ZZ4: +Z1Z41ZZ4 +Z2Z41ZZ4 +Z3Z41ZZ4 = 1;
CCZ42ZZ4: +Z1Z42ZZ4 +Z2Z42ZZ4 +Z3Z42ZZ4 = 1;
CCZ43ZZ4: +Z1Z43ZZ4 +Z2Z43ZZ4 +Z3Z43ZZ4 = 1;
CCZ44ZZ4: +Z1Z44ZZ4 +Z2Z44ZZ4 +Z3Z44ZZ4 = 1;
CCZ45ZZ4: +Z1Z45ZZ4 +Z2Z45ZZ4 +Z3Z45ZZ4 = 1;
CCZ46ZZ4: +Z1Z46ZZ4 +Z2Z46ZZ4 +Z3Z46ZZ4 = 1;
CCZ47ZZ4: +Z1Z47ZZ4 +Z2Z47ZZ4 +Z3Z47ZZ4 = 1;
NCZZ1ZZ5: -10 Z2ZZ1ZZ4 -15 Z3ZZ1ZZ4 -5 Z3ZZ2ZZ4 -Z4ZZ2ZZ4 -10 Z2Z15ZZ4 -15 Z3Z15ZZ4 -5 Z3Z16ZZ4 -Z4Z16ZZ4 -7 Z3Z30ZZ4 -Z4Z30ZZ4 +10 Z2ZZ2ZZ5 +20 Z3ZZ2ZZ5 +Z4ZZ2ZZ5 +10 Z2Z16ZZ5 +20 Z3Z16ZZ5 +Z4Z16ZZ5 +15 Z2Z30ZZ5 +25 Z3Z30ZZ5 +Z4Z30ZZ5 > 20;
NCZZ2ZZ5: -10 Z2Z13ZZ4 -15 Z3Z13ZZ4 -5 Z3Z14ZZ4 -Z4Z14ZZ4 -5 Z3Z15ZZ4 -Z4Z15ZZ4 -10 Z2Z16ZZ4 -15 Z3Z16ZZ4 -7 Z3Z28ZZ4 -Z4Z28ZZ4 -7 Z3Z29ZZ4 -Z4Z29ZZ4 +10 Z2Z14ZZ5 +20 Z3Z14ZZ5 +Z4Z14ZZ5 +10 Z2Z15ZZ5 +20 Z3Z15ZZ5 +Z4Z15ZZ5 +15 Z2Z28ZZ5 +25 Z3Z28ZZ5 +Z4Z28ZZ5 +15 Z2Z29ZZ5 +25 Z3Z29ZZ5 +Z4Z29ZZ5 > 10;
NCZZ3ZZ5: -5 Z3ZZ1ZZ4 -Z4ZZ1ZZ4 -10 Z2ZZ2ZZ4 -15 Z3ZZ2ZZ4 -10 Z2ZZ3ZZ4 -15 Z3ZZ3ZZ4 -5 Z3ZZ4ZZ4 -Z4ZZ4ZZ4 -7 Z3Z17ZZ4 -Z4Z17ZZ4 +10 Z2ZZ1ZZ5 +20 Z3ZZ1ZZ5 +Z4ZZ1ZZ5 +10 Z2ZZ4ZZ5 +20 Z3ZZ4ZZ5 +Z4ZZ4ZZ5 +15 Z2Z17ZZ5 +25 Z3Z17ZZ5 +Z4Z17ZZ5 > 30;
NCZZ4ZZ5: -15 Z2Z29ZZ4 -18 Z3Z29ZZ4 -15 Z2Z30ZZ4 -18 Z3Z30ZZ4 -30 Z2Z31ZZ4 -33 Z3Z31ZZ4 -7 Z3Z32ZZ4 -Z4Z32ZZ4 -30 Z2Z43ZZ4 -33 Z3Z43ZZ4 -7 Z3Z44ZZ4 -Z4Z44ZZ4 -15 Z3Z45ZZ4 -Z4Z45ZZ4 +30 Z2Z32ZZ5 +40 Z3Z32ZZ5 +Z4Z32ZZ5 +30 Z2Z44ZZ5 +40 Z3Z44ZZ5 +Z4Z44ZZ5 +50 Z2Z45ZZ5 +80 Z3Z45ZZ5 +Z4Z45ZZ5 > -0;
NCZZ5ZZ5: -15 Z2Z27ZZ4 -18 Z3Z27ZZ4 -15 Z2Z28ZZ4 -18 Z3Z28ZZ4 -7 Z3Z41ZZ4 -Z4Z41ZZ4 -30 Z2Z42ZZ4 -33 Z3Z42ZZ4 -7 Z3Z43ZZ4 -Z4Z43ZZ4 -30 Z2Z44ZZ4 -33 Z3Z44ZZ4 +30 Z2Z41ZZ5 +40 Z3Z41ZZ5 +Z4Z41ZZ5 +30 Z2Z43ZZ5 +40 Z3Z43ZZ5 +Z4Z43ZZ5 > -0;
NCZZ6ZZ5: -10 Z2Z11ZZ4 -15 Z3Z11ZZ4 -5 Z3Z12ZZ4 -Z4Z12ZZ4 -5 Z3Z13ZZ4 -Z4Z13ZZ4 -10 Z2Z14ZZ4 -15 Z3Z14ZZ4 -7 Z3Z26ZZ4 -Z4Z26ZZ4 -7 Z3Z27ZZ4 -Z4Z27ZZ4 +10 Z2Z12ZZ5 +20 Z3Z12ZZ5 +Z4Z12ZZ5 +10 Z2Z13ZZ5 +20 Z3Z13ZZ5 +Z4Z13ZZ5 +15 Z2Z26ZZ5 +25 Z3Z26ZZ5 +Z4Z26ZZ5 +15 Z2Z27ZZ5 +25 Z3Z27ZZ5 +Z4Z27ZZ5 > 50;
NCZZ7ZZ5: -15 Z2Z17ZZ4 -18 Z3Z17ZZ4 -15 Z2Z18ZZ4 -18 Z3Z18ZZ4 -7 Z3Z31ZZ4 -Z4Z31ZZ4 -30 Z2Z32ZZ4 -33 Z3Z32ZZ4 -7 Z3Z33ZZ4 -Z4Z33ZZ4 -30 Z2Z34ZZ4 -33 Z3Z34ZZ4 +30 Z2Z31ZZ5 +40 Z3Z31ZZ5 +Z4Z31ZZ5 +30 Z2Z33ZZ5 +40 Z3Z33ZZ5 +Z4Z33ZZ5 > -0;
NCZZ8ZZ5: -15 Z2Z25ZZ4 -18 Z3Z25ZZ4 -15 Z2Z26ZZ4 -18 Z3Z26ZZ4 -30 Z2Z39ZZ4 -33 Z3Z39ZZ4 -7 Z3Z40ZZ4 -Z4Z40ZZ4 -30 Z2Z41ZZ4 -33 Z3Z41ZZ4 -7 Z3Z42ZZ4 -Z4Z42ZZ4 +30 Z2Z40ZZ5 +40 Z3Z40ZZ5 +Z4Z40ZZ5 +30 Z2Z42ZZ5 +40 Z3Z42ZZ5 +Z4Z42ZZ5 > -0;
NCZZ9ZZ5: -5 Z3ZZ3ZZ4 -Z4ZZ3ZZ4 -10 Z2ZZ4ZZ4 -15 Z3ZZ4ZZ4 -5 Z3ZZ5ZZ4 -Z4ZZ5ZZ4 -10 Z2ZZ6ZZ4 -15 Z3ZZ6ZZ4 -7 Z3Z18ZZ4 -Z4Z18ZZ4 -7 Z3Z19ZZ4 -Z4Z19ZZ4 +10 Z2ZZ3ZZ5 +20 Z3ZZ3ZZ5 +Z4ZZ3ZZ5 +10 Z2ZZ5ZZ5 +20 Z3ZZ5ZZ5 +Z4ZZ5ZZ5 +15 Z2Z18ZZ5 +25 Z3Z18ZZ5 +Z4Z18ZZ5 +15 Z2Z19ZZ5 +25 Z3Z19ZZ5 +Z4Z19ZZ5 > 10;
NCZ10ZZ5: -15 Z2Z19ZZ4 -18 Z3Z19ZZ4 -15 Z2Z20ZZ4 -18 Z3Z20ZZ4 -30 Z2Z33ZZ4 -33 Z3Z33ZZ4 -7 Z3Z34ZZ4 -Z4Z34ZZ4 -7 Z3Z35ZZ4 -Z4Z35ZZ4 -30 Z2Z36ZZ4 -33 Z3Z36ZZ4 -15 Z3Z46ZZ4 -Z4Z46ZZ4 +30 Z2Z34ZZ5 +40 Z3Z34ZZ5 +Z4Z34ZZ5 +30 Z2Z35ZZ5 +40 Z3Z35ZZ5 +Z4Z35ZZ5 +50 Z2Z46ZZ5 +80 Z3Z46ZZ5 +Z4Z46ZZ5 > -0;
NCZ11ZZ5: -15 Z2Z21ZZ4 -18 Z3Z21ZZ4 -15 Z2Z22ZZ4 -18 Z3Z22ZZ4 -30 Z2Z35ZZ4 -33 Z3Z35ZZ4 -7 Z3Z36ZZ4 -Z4Z36ZZ4 -7 Z3Z37ZZ4 -Z4Z37ZZ4 -30 Z2Z38ZZ4 -33 Z3Z38ZZ4 +30 Z2Z36ZZ5 +40 Z3Z36ZZ5 +Z4Z36ZZ5 +30 Z2Z37ZZ5 +40 Z3Z37ZZ5 +Z4Z37ZZ5 > -0;
NCZ12ZZ5: -15 Z2Z23ZZ4 -18 Z3Z23ZZ4 -15 Z2Z24ZZ4 -18 Z3Z24ZZ4 -30 Z2Z37ZZ4 -33 Z3Z37ZZ4 -7 Z3Z38ZZ4 -Z4Z38ZZ4 -7 Z3Z39ZZ4 -Z4Z39ZZ4 -30 Z2Z40ZZ4 -33 Z3Z40ZZ4 -15 Z3Z47ZZ4 -Z4Z47ZZ4 +30 Z2Z38ZZ5 +40 Z3Z38ZZ5 +Z4Z38ZZ5 +30 Z2Z39ZZ5 +40 Z3Z39ZZ5 +Z4Z39ZZ5 +50 Z2Z47ZZ5 +80 Z3Z47ZZ5 +Z4Z47ZZ5 > -0;
NCZ13ZZ5: -10 Z2ZZ9ZZ4 -15 Z3ZZ9ZZ4 -5 Z3Z10ZZ4 -Z4Z10ZZ4 -5 Z3Z11ZZ4 -Z4Z11ZZ4 -10 Z2Z12ZZ4 -15 Z3Z12ZZ4 -7 Z3Z24ZZ4 -Z4Z24ZZ4 -7 Z3Z25ZZ4 -Z4Z25ZZ4 +10 Z2Z10ZZ5 +20 Z3Z10ZZ5 +Z4Z10ZZ5 +10 Z2Z11ZZ5 +20 Z3Z11ZZ5 +Z4Z11ZZ5 +15 Z2Z24ZZ5 +25 Z3Z24ZZ5 +Z4Z24ZZ5 +15 Z2Z25ZZ5 +25 Z3Z25ZZ5 +Z4Z25ZZ5 > 5;
NCZ14ZZ5: -10 Z2ZZ5ZZ4 -15 Z3ZZ5ZZ4 -5 Z3ZZ6ZZ4 -Z4ZZ6ZZ4 -10 Z2ZZ7ZZ4 -15 Z3ZZ7ZZ4 -5 Z3ZZ8ZZ4 -Z4ZZ8ZZ4 -7 Z3Z20ZZ4 -Z4Z20ZZ4 -7 Z3Z21ZZ4 -Z4Z21ZZ4 +10 Z2ZZ6ZZ5 +20 Z3ZZ6ZZ5 +Z4ZZ6ZZ5 +10 Z2ZZ8ZZ5 +20 Z3ZZ8ZZ5 +Z4ZZ8ZZ5 +15 Z2Z20ZZ5 +25 Z3Z20ZZ5 +Z4Z20ZZ5 +15 Z2Z21ZZ5 +25 Z3Z21ZZ5 +Z4Z21ZZ5 > -0;
NCZ15ZZ5: -5 Z3ZZ7ZZ4 -Z4ZZ7ZZ4 -10 Z2ZZ8ZZ4 -15 Z3ZZ8ZZ4 -5 Z3ZZ9ZZ4 -Z4ZZ9ZZ4 -10 Z2Z10ZZ4 -15 Z3Z10ZZ4 -7 Z3Z22ZZ4 -Z4Z22ZZ4 -7 Z3Z23ZZ4 -Z4Z23ZZ4 +10 Z2ZZ7ZZ5 +20 Z3ZZ7ZZ5 +Z4ZZ7ZZ5 +10 Z2ZZ9ZZ5 +20 Z3ZZ9ZZ5 +Z4ZZ9ZZ5 +15 Z2Z22ZZ5 +25 Z3Z22ZZ5 +Z4Z22ZZ5 +15 Z2Z23ZZ5 +25 Z3Z23ZZ5 +Z4Z23ZZ5 > 10;
ACZZ1ZZ5: -5 Z3ZZ1ZZ4 -Z4ZZ1ZZ4 +10 Z2ZZ1ZZ5 +20 Z3ZZ1ZZ5 +Z4ZZ1ZZ5 > -0;
ACZZ2ZZ5: -5 Z3ZZ2ZZ4 -Z4ZZ2ZZ4 +10 Z2ZZ2ZZ5 +20 Z3ZZ2ZZ5 +Z4ZZ2ZZ5 > -0;
ACZZ3ZZ5: -5 Z3ZZ3ZZ4 -Z4ZZ3ZZ4 +10 Z2ZZ3ZZ5 +20 Z3ZZ3ZZ5 +Z4ZZ3ZZ5 > -0;
ACZZ4ZZ5: -5 Z3ZZ4ZZ4 -Z4ZZ4ZZ4 +10 Z2ZZ4ZZ5 +20 Z3ZZ4ZZ5 +Z4ZZ4ZZ5 > -0;
ACZZ5ZZ5: -5 Z3ZZ5ZZ4 -Z4ZZ5ZZ4 +10 Z2ZZ5ZZ5 +20 Z3ZZ5ZZ5 +Z4ZZ5ZZ5 > -0;
ACZZ6ZZ5: -5 Z3ZZ6ZZ4 -Z4ZZ6ZZ4 +10 Z2ZZ6ZZ5 +20 Z3ZZ6ZZ5 +Z4ZZ6ZZ5 > -0;
ACZZ7ZZ5: -5 Z3ZZ7ZZ4 -Z4ZZ7ZZ4 +10 Z2ZZ7ZZ5 +20 Z3ZZ7ZZ5 +Z4ZZ7ZZ5 > -0;
ACZZ8ZZ5: -5 Z3ZZ8ZZ4 -Z4ZZ8ZZ4 +10 Z2ZZ8ZZ5 +20 Z3ZZ8ZZ5 +Z4ZZ8ZZ5 > -0;
ACZZ9ZZ5: -5 Z3ZZ9ZZ4 -Z4ZZ9ZZ4 +10 Z2ZZ9ZZ5 +20 Z3ZZ9ZZ5 +Z4ZZ9ZZ5 > -0;
ACZ10ZZ5: -5 Z3Z10ZZ4 -Z4Z10ZZ4 +10 Z2Z10ZZ5 +20 Z3Z10ZZ5 +Z4Z10ZZ5 > -0;
ACZ11ZZ5: -5 Z3Z11ZZ4 -Z4Z11ZZ4 +10 Z2Z11ZZ5 +20 Z3Z11ZZ5 +Z4Z11ZZ5 > -0;
ACZ12ZZ5: -5 Z3Z12ZZ4 -Z4Z12ZZ4 +10 Z2Z12ZZ5 +20 Z3Z12ZZ5 +Z4Z12ZZ5 > -0;
ACZ13ZZ5: -5 Z3Z13ZZ4 -Z4Z13ZZ4 +10 Z2Z13ZZ5 +20 Z3Z13ZZ5 +Z4Z13ZZ5 > -0;
ACZ14ZZ5: -5 Z3Z14ZZ4 -Z4Z14ZZ4 +10 Z2Z14ZZ5 +20 Z3Z14ZZ5 +Z4Z14ZZ5 > -0;
ACZ15ZZ5: -5 Z3Z15ZZ4 -Z4Z15ZZ4 +10 Z2Z15ZZ5 +20 Z3Z15ZZ5 +Z4Z15ZZ5 > -0;
ACZ16ZZ5: -5 Z3Z16ZZ4 -Z4Z16ZZ4 +10 Z2Z16ZZ5 +20 Z3Z16ZZ5 +Z4Z16ZZ5 > -0;
ACZ17ZZ5: -7 Z3Z17ZZ4 -Z4Z17ZZ4 +15 Z2Z17ZZ5 +25 Z3Z17ZZ5 +Z4Z17ZZ5 > -0;
ACZ18ZZ5: -7 Z3Z18ZZ4 -Z4Z18ZZ4 +15 Z2Z18ZZ5 +25 Z3Z18ZZ5 +Z4Z18ZZ5 > -0;
ACZ19ZZ5: -7 Z3Z19ZZ4 -Z4Z19ZZ4 +15 Z2Z19ZZ5 +25 Z3Z19ZZ5 +Z4Z19ZZ5 > -0;
ACZ20ZZ5: -7 Z3Z20ZZ4 -Z4Z20ZZ4 +15 Z2Z20ZZ5 +25 Z3Z20ZZ5 +Z4Z20ZZ5 > -0;
ACZ21ZZ5: -7 Z3Z21ZZ4 -Z4Z21ZZ4 +15 Z2Z21ZZ5 +25 Z3Z21ZZ5 +Z4Z21ZZ5 > -0;
ACZ22ZZ5: -7 Z3Z22ZZ4 -Z4Z22ZZ4 +15 Z2Z22ZZ5 +25 Z3Z22ZZ5 +Z4Z22ZZ5 > -0;
ACZ23ZZ5: -7 Z3Z23ZZ4 -Z4Z23ZZ4 +15 Z2Z23ZZ5 +25 Z3Z23ZZ5 +Z4Z23ZZ5 > -0;
ACZ24ZZ5: -7 Z3Z24ZZ4 -Z4Z24ZZ4 +15 Z2Z24ZZ5 +25 Z3Z24ZZ5 +Z4Z24ZZ5 > -0;
ACZ25ZZ5: -7 Z3Z25ZZ4 -Z4Z25ZZ4 +15 Z2Z25ZZ5 +25 Z3Z25ZZ5 +Z4Z25ZZ5 > -0;
ACZ26ZZ5: -7 Z3Z26ZZ4 -Z4Z26ZZ4 +15 Z2Z26ZZ5 +25 Z3Z26ZZ5 +Z4Z26ZZ5 > -0;
ACZ27ZZ5: -7 Z3Z27ZZ4 -Z4Z27ZZ4 +15 Z2Z27ZZ5 +25 Z3Z27ZZ5 +Z4Z27ZZ5 > -0;
ACZ28ZZ5: -7 Z3Z28ZZ4 -Z4Z28ZZ4 +15 Z2Z28ZZ5 +25 Z3Z28ZZ5 +Z4Z28ZZ5 > -0;
ACZ29ZZ5: -7 Z3Z29ZZ4 -Z4Z29ZZ4 +15 Z2Z29ZZ5 +25 Z3Z29ZZ5 +Z4Z29ZZ5 > -0;
ACZ30ZZ5: -7 Z3Z30ZZ4 -Z4Z30ZZ4 +15 Z2Z30ZZ5 +25 Z3Z30ZZ5 +Z4Z30ZZ5 > -0;
ACZ31ZZ5: -7 Z3Z31ZZ4 -Z4Z31ZZ4 +30 Z2Z31ZZ5 +40 Z3Z31ZZ5 +Z4Z31ZZ5 > -0;
ACZ32ZZ5: -7 Z3Z32ZZ4 -Z4Z32ZZ4 +30 Z2Z32ZZ5 +40 Z3Z32ZZ5 +Z4Z32ZZ5 > -0;
ACZ33ZZ5: -7 Z3Z33ZZ4 -Z4Z33ZZ4 +30 Z2Z33ZZ5 +40 Z3Z33ZZ5 +Z4Z33ZZ5 > -0;
ACZ34ZZ5: -7 Z3Z34ZZ4 -Z4Z34ZZ4 +30 Z2Z34ZZ5 +40 Z3Z34ZZ5 +Z4Z34ZZ5 > -0;
ACZ35ZZ5: -7 Z3Z35ZZ4 -Z4Z35ZZ4 +30 Z2Z35ZZ5 +40 Z3Z35ZZ5 +Z4Z35ZZ5 > -0;
ACZ36ZZ5: -7 Z3Z36ZZ4 -Z4Z36ZZ4 +30 Z2Z36ZZ5 +40 Z3Z36ZZ5 +Z4Z36ZZ5 > -0;
ACZ37ZZ5: -7 Z3Z37ZZ4 -Z4Z37ZZ4 +30 Z2Z37ZZ5 +40 Z3Z37ZZ5 +Z4Z37ZZ5 > -0;
ACZ38ZZ5: -7 Z3Z38ZZ4 -Z4Z38ZZ4 +30 Z2Z38ZZ5 +40 Z3Z38ZZ5 +Z4Z38ZZ5 > -0;
ACZ39ZZ5: -7 Z3Z39ZZ4 -Z4Z39ZZ4 +30 Z2Z39ZZ5 +40 Z3Z39ZZ5 +Z4Z39ZZ5 > -0;
ACZ40ZZ5: -7 Z3Z40ZZ4 -Z4Z40ZZ4 +30 Z2Z40ZZ5 +40 Z3Z40ZZ5 +Z4Z40ZZ5 > -0;
ACZ41ZZ5: -7 Z3Z41ZZ4 -Z4Z41ZZ4 +30 Z2Z41ZZ5 +40 Z3Z41ZZ5 +Z4Z41ZZ5 > -0;
ACZ42ZZ5: -7 Z3Z42ZZ4 -Z4Z42ZZ4 +30 Z2Z42ZZ5 +40 Z3Z42ZZ5 +Z4Z42ZZ5 > -0;
ACZ43ZZ5: -7 Z3Z43ZZ4 -Z4Z43ZZ4 +30 Z2Z43ZZ5 +40 Z3Z43ZZ5 +Z4Z43ZZ5 > -0;
ACZ44ZZ5: -7 Z3Z44ZZ4 -Z4Z44ZZ4 +30 Z2Z44ZZ5 +40 Z3Z44ZZ5 +Z4Z44ZZ5 > -0;
ACZ45ZZ5: -15 Z3Z45ZZ4 -Z4Z45ZZ4 +50 Z2Z45ZZ5 +80 Z3Z45ZZ5 +Z4Z45ZZ5 > -0;
ACZ46ZZ5: -15 Z3Z46ZZ4 -Z4Z46ZZ4 +50 Z2Z46ZZ5 +80 Z3Z46ZZ5 +Z4Z46ZZ5 > -0;
ACZ47ZZ5: -15 Z3Z47ZZ4 -Z4Z47ZZ4 +50 Z2Z47ZZ5 +80 Z3Z47ZZ5 +Z4Z47ZZ5 > -0;
CCZZ1ZZ5: +Z1ZZ1ZZ5 +Z2ZZ1ZZ5 +Z3ZZ1ZZ5 = 1;
CCZZ2ZZ5: +Z1ZZ2ZZ5 +Z2ZZ2ZZ5 +Z3ZZ2ZZ5 = 1;
CCZZ3ZZ5: +Z1ZZ3ZZ5 +Z2ZZ3ZZ5 +Z3ZZ3ZZ5 = 1;
CCZZ4ZZ5: +Z1ZZ4ZZ5 +Z2ZZ4ZZ5 +Z3ZZ4ZZ5 = 1;
CCZZ5ZZ5: +Z1ZZ5ZZ5 +Z2ZZ5ZZ5 +Z3ZZ5ZZ5 = 1;
CCZZ6ZZ5: +Z1ZZ6ZZ5 +Z2ZZ6ZZ5 +Z3ZZ6ZZ5 = 1;
CCZZ7ZZ5: +Z1ZZ7ZZ5 +Z2ZZ7ZZ5 +Z3ZZ7ZZ5 = 1;
CCZZ8ZZ5: +Z1ZZ8ZZ5 +Z2ZZ8ZZ5 +Z3ZZ8ZZ5 = 1;
CCZZ9ZZ5: +Z1ZZ9ZZ5 +Z2ZZ9ZZ5 +Z3ZZ9ZZ5 = 1;
CCZ10ZZ5: +Z1Z10ZZ5 +Z2Z10ZZ5 +Z3Z10ZZ5 = 1;
CCZ11ZZ5: +Z1Z11ZZ5 +Z2Z11ZZ5 +Z3Z11ZZ5 = 1;
CCZ12ZZ5: +Z1Z12ZZ5 +Z2Z12ZZ5 +Z3Z12ZZ5 = 1;
CCZ13ZZ5: +Z1Z13ZZ5 +Z2Z13ZZ5 +Z3Z13ZZ5 = 1;
CCZ14ZZ5: +Z1Z14ZZ5 +Z2Z14ZZ5 +Z3Z14ZZ5 = 1;
CCZ15ZZ5: +Z1Z15ZZ5 +Z2Z15ZZ5 +Z3Z15ZZ5 = 1;
CCZ16ZZ5: +Z1Z16ZZ5 +Z2Z16ZZ5 +Z3Z16ZZ5 = 1;
CCZ17ZZ5: +Z1Z17ZZ5 +Z2Z17ZZ5 +Z3Z17ZZ5 = 1;
CCZ18ZZ5: +Z1Z18ZZ5 +Z2Z18ZZ5 +Z3Z18ZZ5 = 1;
CCZ19ZZ5: +Z1Z19ZZ5 +Z2Z19ZZ5 +Z3Z19ZZ5 = 1;
CCZ20ZZ5: +Z1Z20ZZ5 +Z2Z20ZZ5 +Z3Z20ZZ5 = 1;
CCZ21ZZ5: +Z1Z21ZZ5 +Z2Z21ZZ5 +Z3Z21ZZ5 = 1;
CCZ22ZZ5: +Z1Z22ZZ5 +Z2Z22ZZ5 +Z3Z22ZZ5 = 1;
CCZ23ZZ5: +Z1Z23ZZ5 +Z2Z23ZZ5 +Z3Z23ZZ5 = 1;
CCZ24ZZ5: +Z1Z24ZZ5 +Z2Z24ZZ5 +Z3Z24ZZ5 = 1;
CCZ25ZZ5: +Z1Z25ZZ5 +Z2Z25ZZ5 +Z3Z25ZZ5 = 1;
CCZ26ZZ5: +Z1Z26ZZ5 +Z2Z26ZZ5 +Z3Z26ZZ5 = 1;
CCZ27ZZ5: +Z1Z27ZZ5 +Z2Z27ZZ5 +Z3Z27ZZ5 = 1;
CCZ28ZZ5: +Z1Z28ZZ5 +Z2Z28ZZ5 +Z3Z28ZZ5 = 1;
CCZ29ZZ5: +Z1Z29ZZ5 +Z2Z29ZZ5 +Z3Z29ZZ5 = 1;
CCZ30ZZ5: +Z1Z30ZZ5 +Z2Z30ZZ5 +Z3Z30ZZ5 = 1;
CCZ31ZZ5: +Z1Z31ZZ5 +Z2Z31ZZ5 +Z3Z31ZZ5 = 1;
CCZ32ZZ5: +Z1Z32ZZ5 +Z2Z32ZZ5 +Z3Z32ZZ5 = 1;
CCZ33ZZ5: +Z1Z33ZZ5 +Z2Z33ZZ5 +Z3Z33ZZ5 = 1;
CCZ34ZZ5: +Z1Z34ZZ5 +Z2Z34ZZ5 +Z3Z34ZZ5 = 1;
CCZ35ZZ5: +Z1Z35ZZ5 +Z2Z35ZZ5 +Z3Z35ZZ5 = 1;
CCZ36ZZ5: +Z1Z36ZZ5 +Z2Z36ZZ5 +Z3Z36ZZ5 = 1;
CCZ37ZZ5: +Z1Z37ZZ5 +Z2Z37ZZ5 +Z3Z37ZZ5 = 1;
CCZ38ZZ5: +Z1Z38ZZ5 +Z2Z38ZZ5 +Z3Z38ZZ5 = 1;
CCZ39ZZ5: +Z1Z39ZZ5 +Z2Z39ZZ5 +Z3Z39ZZ5 = 1;
CCZ40ZZ5: +Z1Z40ZZ5 +Z2Z40ZZ5 +Z3Z40ZZ5 = 1;
CCZ41ZZ5: +Z1Z41ZZ5 +Z2Z41ZZ5 +Z3Z41ZZ5 = 1;
CCZ42ZZ5: +Z1Z42ZZ5 +Z2Z42ZZ5 +Z3Z42ZZ5 = 1;
CCZ43ZZ5: +Z1Z43ZZ5 +Z2Z43ZZ5 +Z3Z43ZZ5 = 1;
CCZ44ZZ5: +Z1Z44ZZ5 +Z2Z44ZZ5 +Z3Z44ZZ5 = 1;
CCZ45ZZ5: +Z1Z45ZZ5 +Z2Z45ZZ5 +Z3Z45ZZ5 = 1;
CCZ46ZZ5: +Z1Z46ZZ5 +Z2Z46ZZ5 +Z3Z46ZZ5 = 1;
CCZ47ZZ5: +Z1Z47ZZ5 +Z2Z47ZZ5 +Z3Z47ZZ5 = 1;
NCZZ1ZZ6: -10 Z2ZZ1ZZ5 -15 Z3ZZ1ZZ5 -5 Z3ZZ2ZZ5 -Z4ZZ2ZZ5 -10 Z2Z15ZZ5 -15 Z3Z15ZZ5 -5 Z3Z16ZZ5 -Z4Z16ZZ5 -7 Z3Z30ZZ5 -Z4Z30ZZ5 +10 Z2ZZ2ZZ6 +20 Z3ZZ2ZZ6 +Z4ZZ2ZZ6 +10 Z2Z16ZZ6 +20 Z3Z16ZZ6 +Z4Z16ZZ6 +15 Z2Z30ZZ6 +25 Z3Z30ZZ6 +Z4Z30ZZ6 > 20;
NCZZ2ZZ6: -10 Z2Z13ZZ5 -15 Z3Z13ZZ5 -5 Z3Z14ZZ5 -Z4Z14ZZ5 -5 Z3Z15ZZ5 -Z4Z15ZZ5 -10 Z2Z16ZZ5 -15 Z3Z16ZZ5 -7 Z3Z28ZZ5 -Z4Z28ZZ5 -7 Z3Z29ZZ5 -Z4Z29ZZ5 +10 Z2Z14ZZ6 +20 Z3Z14ZZ6 +Z4Z14ZZ6 +10 Z2Z15ZZ6 +20 Z3Z15ZZ6 +Z4Z15ZZ6 +15 Z2Z28ZZ6 +25 Z3Z28ZZ6 +Z4Z28ZZ6 +15 Z2Z29ZZ6 +25 Z3Z29ZZ6 +Z4Z29ZZ6 > 15;
NCZZ3ZZ6: -5 Z3ZZ1ZZ5 -Z4ZZ1ZZ5 -10 Z2ZZ2ZZ5 -15 Z3ZZ2ZZ5 -10 Z2ZZ3ZZ5 -15 Z3ZZ3ZZ5 -5 Z3ZZ4ZZ5 -Z4ZZ4ZZ5 -7 Z3Z17ZZ5 -Z4Z17ZZ5 +10 Z2ZZ1ZZ6 +20 Z3ZZ1ZZ6 +Z4ZZ1ZZ6 +10 Z2ZZ4ZZ6 +20 Z3ZZ4ZZ6 +Z4ZZ4ZZ6 +15 Z2Z17ZZ6 +25 Z3Z17ZZ6 +Z4Z17ZZ6 > 10;
NCZZ4ZZ6: -15 Z2Z29ZZ5 -18 Z3Z29ZZ5 -15 Z2Z30ZZ5 -18 Z3Z30ZZ5 -30 Z2Z31ZZ5 -33 Z3Z31ZZ5 -7 Z3Z32ZZ5 -Z4Z32ZZ5 -30 Z2Z43ZZ5 -33 Z3Z43ZZ5 -7 Z3Z44ZZ5 -Z4Z44ZZ5 -15 Z3Z45ZZ5 -Z4Z45ZZ5 +30 Z2Z32ZZ6 +40 Z3Z32ZZ6 +Z4Z32ZZ6 +30 Z2Z44ZZ6 +40 Z3Z44ZZ6 +Z4Z44ZZ6 +50 Z2Z45ZZ6 +80 Z3Z45ZZ6 +Z4Z45ZZ6 > -0;
NCZZ5ZZ6: -15 Z2Z27ZZ5 -18 Z3Z27ZZ5 -15 Z2Z28ZZ5 -18 Z3Z28ZZ5 -7 Z3Z41ZZ5 -Z4Z41ZZ5 -30 Z2Z42ZZ5 -33 Z3Z42ZZ5 -7 Z3Z43ZZ5 -Z4Z43ZZ5 -30 Z2Z44ZZ5 -33 Z3Z44ZZ5 +30 Z2Z41ZZ6 +40 Z3Z41ZZ6 +Z4Z41ZZ6 +30 Z2Z43ZZ6 +40 Z3Z43ZZ6 +Z4Z43ZZ6 > -0;
NCZZ6ZZ6: -10 Z2Z11ZZ5 -15 Z3Z11ZZ5 -5 Z3Z12ZZ5 -Z4Z12ZZ5 -5 Z3Z13ZZ5 -Z4Z13ZZ5 -10 Z2Z14ZZ5 -15 Z3Z14ZZ5 -7 Z3Z26ZZ5 -Z4Z26ZZ5 -7 Z3Z27ZZ5 -Z4Z27ZZ5 +10 Z2Z12ZZ6 +20 Z3Z12ZZ6 +Z4Z12ZZ6 +10 Z2Z13ZZ6 +20 Z3Z13ZZ6 +Z4Z13ZZ6 +15 Z2Z26ZZ6 +25 Z3Z26ZZ6 +Z4Z26ZZ6 +15 Z2Z27ZZ6 +25 Z3Z27ZZ6 +Z4Z27ZZ6 > 20;
NCZZ7ZZ6: -15 Z2Z17ZZ5 -18 Z3Z17ZZ5 -15 Z2Z18ZZ5 -18 Z3Z18ZZ5 -7 Z3Z31ZZ5 -Z4Z31ZZ5 -30 Z2Z32ZZ5 -33 Z3Z32ZZ5 -7 Z3Z33ZZ5 -Z4Z33ZZ5 -30 Z2Z34ZZ5 -33 Z3Z34ZZ5 +30 Z2Z31ZZ6 +40 Z3Z31ZZ6 +Z4Z31ZZ6 +30 Z2Z33ZZ6 +40 Z3Z33ZZ6 +Z4Z33ZZ6 > -0;
NCZZ8ZZ6: -15 Z2Z25ZZ5 -18 Z3Z25ZZ5 -15 Z2Z26ZZ5 -18 Z3Z26ZZ5 -30 Z2Z39ZZ5 -33 Z3Z39ZZ5 -7 Z3Z40ZZ5 -Z4Z40ZZ5 -30 Z2Z41ZZ5 -33 Z3Z41ZZ5 -7 Z3Z42ZZ5 -Z4Z42ZZ5 +30 Z2Z40ZZ6 +40 Z3Z40ZZ6 +Z4Z40ZZ6 +30 Z2Z42ZZ6 +40 Z3Z42ZZ6 +Z4Z42ZZ6 > -0;
NCZZ9ZZ6: -5 Z3ZZ3ZZ5 -Z4ZZ3ZZ5 -10 Z2ZZ4ZZ5 -15 Z3ZZ4ZZ5 -5 Z3ZZ5ZZ5 -Z4ZZ5ZZ5 -10 Z2ZZ6ZZ5 -15 Z3ZZ6ZZ5 -7 Z3Z18ZZ5 -Z4Z18ZZ5 -7 Z3Z19ZZ5 -Z4Z19ZZ5 +10 Z2ZZ3ZZ6 +20 Z3ZZ3ZZ6 +Z4ZZ3ZZ6 +10 Z2ZZ5ZZ6 +20 Z3ZZ5ZZ6 +Z4ZZ5ZZ6 +15 Z2Z18ZZ6 +25 Z3Z18ZZ6 +Z4Z18ZZ6 +15 Z2Z19ZZ6 +25 Z3Z19ZZ6 +Z4Z19ZZ6 > 5;
NCZ10ZZ6: -15 Z2Z19ZZ5 -18 Z3Z19ZZ5 -15 Z2Z20ZZ5 -18 Z3Z20ZZ5 -30 Z2Z33ZZ5 -33 Z3Z33ZZ5 -7 Z3Z34ZZ5 -Z4Z34ZZ5 -7 Z3Z35ZZ5 -Z4Z35ZZ5 -30 Z2Z36ZZ5 -33 Z3Z36ZZ5 -15 Z3Z46ZZ5 -Z4Z46ZZ5 +30 Z2Z34ZZ6 +40 Z3Z34ZZ6 +Z4Z34ZZ6 +30 Z2Z35ZZ6 +40 Z3Z35ZZ6 +Z4Z35ZZ6 +50 Z2Z46ZZ6 +80 Z3Z46ZZ6 +Z4Z46ZZ6 > -0;
NCZ11ZZ6: -15 Z2Z21ZZ5 -18 Z3Z21ZZ5 -15 Z2Z22ZZ5 -18 Z3Z22ZZ5 -30 Z2Z35ZZ5 -33 Z3Z35ZZ5 -7 Z3Z36ZZ5 -Z4Z36ZZ5 -7 Z3Z37ZZ5 -Z4Z37ZZ5 -30 Z2Z38ZZ5 -33 Z3Z38ZZ5 +30 Z2Z36ZZ6 +40 Z3Z36ZZ6 +Z4Z36ZZ6 +30 Z2Z37ZZ6 +40 Z3Z37ZZ6 +Z4Z37ZZ6 > -0;
NCZ12ZZ6: -15 Z2Z23ZZ5 -18 Z3Z23ZZ5 -15 Z2Z24ZZ5 -18 Z3Z24ZZ5 -30 Z2Z37ZZ5 -33 Z3Z37ZZ5 -7 Z3Z38ZZ5 -Z4Z38ZZ5 -7 Z3Z39ZZ5 -Z4Z39ZZ5 -30 Z2Z40ZZ5 -33 Z3Z40ZZ5 -15 Z3Z47ZZ5 -Z4Z47ZZ5 +30 Z2Z38ZZ6 +40 Z3Z38ZZ6 +Z4Z38ZZ6 +30 Z2Z39ZZ6 +40 Z3Z39ZZ6 +Z4Z39ZZ6 +50 Z2Z47ZZ6 +80 Z3Z47ZZ6 +Z4Z47ZZ6 > -0;
NCZ13ZZ6: -10 Z2ZZ9ZZ5 -15 Z3ZZ9ZZ5 -5 Z3Z10ZZ5 -Z4Z10ZZ5 -5 Z3Z11ZZ5 -Z4Z11ZZ5 -10 Z2Z12ZZ5 -15 Z3Z12ZZ5 -7 Z3Z24ZZ5 -Z4Z24ZZ5 -7 Z3Z25ZZ5 -Z4Z25ZZ5 +10 Z2Z10ZZ6 +20 Z3Z10ZZ6 +Z4Z10ZZ6 +10 Z2Z11ZZ6 +20 Z3Z11ZZ6 +Z4Z11ZZ6 +15 Z2Z24ZZ6 +25 Z3Z24ZZ6 +Z4Z24ZZ6 +15 Z2Z25ZZ6 +25 Z3Z25ZZ6 +Z4Z25ZZ6 > -0;
NCZ14ZZ6: -10 Z2ZZ5ZZ5 -15 Z3ZZ5ZZ5 -5 Z3ZZ6ZZ5 -Z4ZZ6ZZ5 -10 Z2ZZ7ZZ5 -15 Z3ZZ7ZZ5 -5 Z3ZZ8ZZ5 -Z4ZZ8ZZ5 -7 Z3Z20ZZ5 -Z4Z20ZZ5 -7 Z3Z21ZZ5 -Z4Z21ZZ5 +10 Z2ZZ6ZZ6 +20 Z3ZZ6ZZ6 +Z4ZZ6ZZ6 +10 Z2ZZ8ZZ6 +20 Z3ZZ8ZZ6 +Z4ZZ8ZZ6 +15 Z2Z20ZZ6 +25 Z3Z20ZZ6 +Z4Z20ZZ6 +15 Z2Z21ZZ6 +25 Z3Z21ZZ6 +Z4Z21ZZ6 > -0;
NCZ15ZZ6: -5 Z3ZZ7ZZ5 -Z4ZZ7ZZ5 -10 Z2ZZ8ZZ5 -15 Z3ZZ8ZZ5 -5 Z3ZZ9ZZ5 -Z4ZZ9ZZ5 -10 Z2Z10ZZ5 -15 Z3Z10ZZ5 -7 Z3Z22ZZ5 -Z4Z22ZZ5 -7 Z3Z23ZZ5 -Z4Z23ZZ5 +10 Z2ZZ7ZZ6 +20 Z3ZZ7ZZ6 +Z4ZZ7ZZ6 +10 Z2ZZ9ZZ6 +20 Z3ZZ9ZZ6 +Z4ZZ9ZZ6 +15 Z2Z22ZZ6 +25 Z3Z22ZZ6 +Z4Z22ZZ6 +15 Z2Z23ZZ6 +25 Z3Z23ZZ6 +Z4Z23ZZ6 > 10;
ACZZ1ZZ6: -5 Z3ZZ1ZZ5 -Z4ZZ1ZZ5 +10 Z2ZZ1ZZ6 +20 Z3ZZ1ZZ6 +Z4ZZ1ZZ6 > -0;
ACZZ2ZZ6: -5 Z3ZZ2ZZ5 -Z4ZZ2ZZ5 +10 Z2ZZ2ZZ6 +20 Z3ZZ2ZZ6 +Z4ZZ2ZZ6 > -0;
ACZZ3ZZ6: -5 Z3ZZ3ZZ5 -Z4ZZ3ZZ5 +10 Z2ZZ3ZZ6 +20 Z3ZZ3ZZ6 +Z4ZZ3ZZ6 > -0;
ACZZ4ZZ6: -5 Z3ZZ4ZZ5 -Z4ZZ4ZZ5 +10 Z2ZZ4ZZ6 +20 Z3ZZ4ZZ6 +Z4ZZ4ZZ6 > -0;
ACZZ5ZZ6: -5 Z3ZZ5ZZ5 -Z4ZZ5ZZ5 +10 Z2ZZ5ZZ6 +20 Z3ZZ5ZZ6 +Z4ZZ5ZZ6 > -0;
ACZZ6ZZ6: -5 Z3ZZ6ZZ5 -Z4ZZ6ZZ5 +10 Z2ZZ6ZZ6 +20 Z3ZZ6ZZ6 +Z4ZZ6ZZ6 > -0;
ACZZ7ZZ6: -5 Z3ZZ7ZZ5 -Z4ZZ7ZZ5 +10 Z2ZZ7ZZ6 +20 Z3ZZ7ZZ6 +Z4ZZ7ZZ6 > -0;
ACZZ8ZZ6: -5 Z3ZZ8ZZ5 -Z4ZZ8ZZ5 +10 Z2ZZ8ZZ6 +20 Z3ZZ8ZZ6 +Z4ZZ8ZZ6 > -0;
ACZZ9ZZ6: -5 Z3ZZ9ZZ5 -Z4ZZ9ZZ5 +10 Z2ZZ9ZZ6 +20 Z3ZZ9ZZ6 +Z4ZZ9ZZ6 > -0;
ACZ10ZZ6: -5 Z3Z10ZZ5 -Z4Z10ZZ5 +10 Z2Z10ZZ6 +20 Z3Z10ZZ6 +Z4Z10ZZ6 > -0;
ACZ11ZZ6: -5 Z3Z11ZZ5 -Z4Z11ZZ5 +10 Z2Z11ZZ6 +20 Z3Z11ZZ6 +Z4Z11ZZ6 > -0;
ACZ12ZZ6: -5 Z3Z12ZZ5 -Z4Z12ZZ5 +10 Z2Z12ZZ6 +20 Z3Z12ZZ6 +Z4Z12ZZ6 > -0;
ACZ13ZZ6: -5 Z3Z13ZZ5 -Z4Z13ZZ5 +10 Z2Z13ZZ6 +20 Z3Z13ZZ6 +Z4Z13ZZ6 > -0;
ACZ14ZZ6: -5 Z3Z14ZZ5 -Z4Z14ZZ5 +10 Z2Z14ZZ6 +20 Z3Z14ZZ6 +Z4Z14ZZ6 > -0;
ACZ15ZZ6: -5 Z3Z15ZZ5 -Z4Z15ZZ5 +10 Z2Z15ZZ6 +20 Z3Z15ZZ6 +Z4Z15ZZ6 > -0;
ACZ16ZZ6: -5 Z3Z16ZZ5 -Z4Z16ZZ5 +10 Z2Z16ZZ6 +20 Z3Z16ZZ6 +Z4Z16ZZ6 > -0;
ACZ17ZZ6: -7 Z3Z17ZZ5 -Z4Z17ZZ5 +15 Z2Z17ZZ6 +25 Z3Z17ZZ6 +Z4Z17ZZ6 > -0;
ACZ18ZZ6: -7 Z3Z18ZZ5 -Z4Z18ZZ5 +15 Z2Z18ZZ6 +25 Z3Z18ZZ6 +Z4Z18ZZ6 > -0;
ACZ19ZZ6: -7 Z3Z19ZZ5 -Z4Z19ZZ5 +15 Z2Z19ZZ6 +25 Z3Z19ZZ6 +Z4Z19ZZ6 > -0;
ACZ20ZZ6: -7 Z3Z20ZZ5 -Z4Z20ZZ5 +15 Z2Z20ZZ6 +25 Z3Z20ZZ6 +Z4Z20ZZ6 > -0;
ACZ21ZZ6: -7 Z3Z21ZZ5 -Z4Z21ZZ5 +15 Z2Z21ZZ6 +25 Z3Z21ZZ6 +Z4Z21ZZ6 > -0;
ACZ22ZZ6: -7 Z3Z22ZZ5 -Z4Z22ZZ5 +15 Z2Z22ZZ6 +25 Z3Z22ZZ6 +Z4Z22ZZ6 > -0;
ACZ23ZZ6: -7 Z3Z23ZZ5 -Z4Z23ZZ5 +15 Z2Z23ZZ6 +25 Z3Z23ZZ6 +Z4Z23ZZ6 > -0;
ACZ24ZZ6: -7 Z3Z24ZZ5 -Z4Z24ZZ5 +15 Z2Z24ZZ6 +25 Z3Z24ZZ6 +Z4Z24ZZ6 > -0;
ACZ25ZZ6: -7 Z3Z25ZZ5 -Z4Z25ZZ5 +15 Z2Z25ZZ6 +25 Z3Z25ZZ6 +Z4Z25ZZ6 > -0;
ACZ26ZZ6: -7 Z3Z26ZZ5 -Z4Z26ZZ5 +15 Z2Z26ZZ6 +25 Z3Z26ZZ6 +Z4Z26ZZ6 > -0;
ACZ27ZZ6: -7 Z3Z27ZZ5 -Z4Z27ZZ5 +15 Z2Z27ZZ6 +25 Z3Z27ZZ6 +Z4Z27ZZ6 > -0;
ACZ28ZZ6: -7 Z3Z28ZZ5 -Z4Z28ZZ5 +15 Z2Z28ZZ6 +25 Z3Z28ZZ6 +Z4Z28ZZ6 > -0;
ACZ29ZZ6: -7 Z3Z29ZZ5 -Z4Z29ZZ5 +15 Z2Z29ZZ6 +25 Z3Z29ZZ6 +Z4Z29ZZ6 > -0;
ACZ30ZZ6: -7 Z3Z30ZZ5 -Z4Z30ZZ5 +15 Z2Z30ZZ6 +25 Z3Z30ZZ6 +Z4Z30ZZ6 > -0;
ACZ31ZZ6: -7 Z3Z31ZZ5 -Z4Z31ZZ5 +30 Z2Z31ZZ6 +40 Z3Z31ZZ6 +Z4Z31ZZ6 > -0;
ACZ32ZZ6: -7 Z3Z32ZZ5 -Z4Z32ZZ5 +30 Z2Z32ZZ6 +40 Z3Z32ZZ6 +Z4Z32ZZ6 > -0;
ACZ33ZZ6: -7 Z3Z33ZZ5 -Z4Z33ZZ5 +30 Z2Z33ZZ6 +40 Z3Z33ZZ6 +Z4Z33ZZ6 > -0;
ACZ34ZZ6: -7 Z3Z34ZZ5 -Z4Z34ZZ5 +30 Z2Z34ZZ6 +40 Z3Z34ZZ6 +Z4Z34ZZ6 > -0;
ACZ35ZZ6: -7 Z3Z35ZZ5 -Z4Z35ZZ5 +30 Z2Z35ZZ6 +40 Z3Z35ZZ6 +Z4Z35ZZ6 > -0;
ACZ36ZZ6: -7 Z3Z36ZZ5 -Z4Z36ZZ5 +30 Z2Z36ZZ6 +40 Z3Z36ZZ6 +Z4Z36ZZ6 > -0;
ACZ37ZZ6: -7 Z3Z37ZZ5 -Z4Z37ZZ5 +30 Z2Z37ZZ6 +40 Z3Z37ZZ6 +Z4Z37ZZ6 > -0;
ACZ38ZZ6: -7 Z3Z38ZZ5 -Z4Z38ZZ5 +30 Z2Z38ZZ6 +40 Z3Z38ZZ6 +Z4Z38ZZ6 > -0;
ACZ39ZZ6: -7 Z3Z39ZZ5 -Z4Z39ZZ5 +30 Z2Z39ZZ6 +40 Z3Z39ZZ6 +Z4Z39ZZ6 > -0;
ACZ40ZZ6: -7 Z3Z40ZZ5 -Z4Z40ZZ5 +30 Z2Z40ZZ6 +40 Z3Z40ZZ6 +Z4Z40ZZ6 > -0;
ACZ41ZZ6: -7 Z3Z41ZZ5 -Z4Z41ZZ5 +30 Z2Z41ZZ6 +40 Z3Z41ZZ6 +Z4Z41ZZ6 > -0;
ACZ42ZZ6: -7 Z3Z42ZZ5 -Z4Z42ZZ5 +30 Z2Z42ZZ6 +40 Z3Z42ZZ6 +Z4Z42ZZ6 > -0;
ACZ43ZZ6: -7 Z3Z43ZZ5 -Z4Z43ZZ5 +30 Z2Z43ZZ6 +40 Z3Z43ZZ6 +Z4Z43ZZ6 > -0;
ACZ44ZZ6: -7 Z3Z44ZZ5 -Z4Z44ZZ5 +30 Z2Z44ZZ6 +40 Z3Z44ZZ6 +Z4Z44ZZ6 > -0;
ACZ45ZZ6: -15 Z3Z45ZZ5 -Z4Z45ZZ5 +50 Z2Z45ZZ6 +80 Z3Z45ZZ6 +Z4Z45ZZ6 > -0;
ACZ46ZZ6: -15 Z3Z46ZZ5 -Z4Z46ZZ5 +50 Z2Z46ZZ6 +80 Z3Z46ZZ6 +Z4Z46ZZ6 > -0;
ACZ47ZZ6: -15 Z3Z47ZZ5 -Z4Z47ZZ5 +50 Z2Z47ZZ6 +80 Z3Z47ZZ6 +Z4Z47ZZ6 > -0;
CCZZ1ZZ6: +Z1ZZ1ZZ6 +Z2ZZ1ZZ6 +Z3ZZ1ZZ6 = 1;
CCZZ2ZZ6: +Z1ZZ2ZZ6 +Z2ZZ2ZZ6 +Z3ZZ2ZZ6 = 1;
CCZZ3ZZ6: +Z1ZZ3ZZ6 +Z2ZZ3ZZ6 +Z3ZZ3ZZ6 = 1;
CCZZ4ZZ6: +Z1ZZ4ZZ6 +Z2ZZ4ZZ6 +Z3ZZ4ZZ6 = 1;
CCZZ5ZZ6: +Z1ZZ5ZZ6 +Z2ZZ5ZZ6 +Z3ZZ5ZZ6 = 1;
CCZZ6ZZ6: +Z1ZZ6ZZ6 +Z2ZZ6ZZ6 +Z3ZZ6ZZ6 = 1;
CCZZ7ZZ6: +Z1ZZ7ZZ6 +Z2ZZ7ZZ6 +Z3ZZ7ZZ6 = 1;
CCZZ8ZZ6: +Z1ZZ8ZZ6 +Z2ZZ8ZZ6 +Z3ZZ8ZZ6 = 1;
CCZZ9ZZ6: +Z1ZZ9ZZ6 +Z2ZZ9ZZ6 +Z3ZZ9ZZ6 = 1;
CCZ10ZZ6: +Z1Z10ZZ6 +Z2Z10ZZ6 +Z3Z10ZZ6 = 1;
CCZ11ZZ6: +Z1Z11ZZ6 +Z2Z11ZZ6 +Z3Z11ZZ6 = 1;
CCZ12ZZ6: +Z1Z12ZZ6 +Z2Z12ZZ6 +Z3Z12ZZ6 = 1;
CCZ13ZZ6: +Z1Z13ZZ6 +Z2Z13ZZ6 +Z3Z13ZZ6 = 1;
CCZ14ZZ6: +Z1Z14ZZ6 +Z2Z14ZZ6 +Z3Z14ZZ6 = 1;
CCZ15ZZ6: +Z1Z15ZZ6 +Z2Z15ZZ6 +Z3Z15ZZ6 = 1;
CCZ16ZZ6: +Z1Z16ZZ6 +Z2Z16ZZ6 +Z3Z16ZZ6 = 1;
CCZ17ZZ6: +Z1Z17ZZ6 +Z2Z17ZZ6 +Z3Z17ZZ6 = 1;
CCZ18ZZ6: +Z1Z18ZZ6 +Z2Z18ZZ6 +Z3Z18ZZ6 = 1;
CCZ19ZZ6: +Z1Z19ZZ6 +Z2Z19ZZ6 +Z3Z19ZZ6 = 1;
CCZ20ZZ6: +Z1Z20ZZ6 +Z2Z20ZZ6 +Z3Z20ZZ6 = 1;
CCZ21ZZ6: +Z1Z21ZZ6 +Z2Z21ZZ6 +Z3Z21ZZ6 = 1;
CCZ22ZZ6: +Z1Z22ZZ6 +Z2Z22ZZ6 +Z3Z22ZZ6 = 1;
CCZ23ZZ6: +Z1Z23ZZ6 +Z2Z23ZZ6 +Z3Z23ZZ6 = 1;
CCZ24ZZ6: +Z1Z24ZZ6 +Z2Z24ZZ6 +Z3Z24ZZ6 = 1;
CCZ25ZZ6: +Z1Z25ZZ6 +Z2Z25ZZ6 +Z3Z25ZZ6 = 1;
CCZ26ZZ6: +Z1Z26ZZ6 +Z2Z26ZZ6 +Z3Z26ZZ6 = 1;
CCZ27ZZ6: +Z1Z27ZZ6 +Z2Z27ZZ6 +Z3Z27ZZ6 = 1;
CCZ28ZZ6: +Z1Z28ZZ6 +Z2Z28ZZ6 +Z3Z28ZZ6 = 1;
CCZ29ZZ6: +Z1Z29ZZ6 +Z2Z29ZZ6 +Z3Z29ZZ6 = 1;
CCZ30ZZ6: +Z1Z30ZZ6 +Z2Z30ZZ6 +Z3Z30ZZ6 = 1;
CCZ31ZZ6: +Z1Z31ZZ6 +Z2Z31ZZ6 +Z3Z31ZZ6 = 1;
CCZ32ZZ6: +Z1Z32ZZ6 +Z2Z32ZZ6 +Z3Z32ZZ6 = 1;
CCZ33ZZ6: +Z1Z33ZZ6 +Z2Z33ZZ6 +Z3Z33ZZ6 = 1;
CCZ34ZZ6: +Z1Z34ZZ6 +Z2Z34ZZ6 +Z3Z34ZZ6 = 1;
CCZ35ZZ6: +Z1Z35ZZ6 +Z2Z35ZZ6 +Z3Z35ZZ6 = 1;
CCZ36ZZ6: +Z1Z36ZZ6 +Z2Z36ZZ6 +Z3Z36ZZ6 = 1;
CCZ37ZZ6: +Z1Z37ZZ6 +Z2Z37ZZ6 +Z3Z37ZZ6 = 1;
CCZ38ZZ6: +Z1Z38ZZ6 +Z2Z38ZZ6 +Z3Z38ZZ6 = 1;
CCZ39ZZ6: +Z1Z39ZZ6 +Z2Z39ZZ6 +Z3Z39ZZ6 = 1;
CCZ40ZZ6: +Z1Z40ZZ6 +Z2Z40ZZ6 +Z3Z40ZZ6 = 1;
CCZ41ZZ6: +Z1Z41ZZ6 +Z2Z41ZZ6 +Z3Z41ZZ6 = 1;
CCZ42ZZ6: +Z1Z42ZZ6 +Z2Z42ZZ6 +Z3Z42ZZ6 = 1;
CCZ43ZZ6: +Z1Z43ZZ6 +Z2Z43ZZ6 +Z3Z43ZZ6 = 1;
CCZ44ZZ6: +Z1Z44ZZ6 +Z2Z44ZZ6 +Z3Z44ZZ6 = 1;
CCZ45ZZ6: +Z1Z45ZZ6 +Z2Z45ZZ6 +Z3Z45ZZ6 = 1;
CCZ46ZZ6: +Z1Z46ZZ6 +Z2Z46ZZ6 +Z3Z46ZZ6 = 1;
CCZ47ZZ6: +Z1Z47ZZ6 +Z2Z47ZZ6 +Z3Z47ZZ6 = 1;
NCZZ1ZZ7: -10 Z2ZZ1ZZ6 -15 Z3ZZ1ZZ6 -5 Z3ZZ2ZZ6 -Z4ZZ2ZZ6 -10 Z2Z15ZZ6 -15 Z3Z15ZZ6 -5 Z3Z16ZZ6 -Z4Z16ZZ6 -7 Z3Z30ZZ6 -Z4Z30ZZ6 +10 Z2ZZ2ZZ7 +20 Z3ZZ2ZZ7 +Z4ZZ2ZZ7 +10 Z2Z16ZZ7 +20 Z3Z16ZZ7 +Z4Z16ZZ7 +15 Z2Z30ZZ7 +25 Z3Z30ZZ7 +Z4Z30ZZ7 > 10;
NCZZ2ZZ7: -10 Z2Z13ZZ6 -15 Z3Z13ZZ6 -5 Z3Z14ZZ6 -Z4Z14ZZ6 -5 Z3Z15ZZ6 -Z4Z15ZZ6 -10 Z2Z16ZZ6 -15 Z3Z16ZZ6 -7 Z3Z28ZZ6 -Z4Z28ZZ6 -7 Z3Z29ZZ6 -Z4Z29ZZ6 +10 Z2Z14ZZ7 +20 Z3Z14ZZ7 +Z4Z14ZZ7 +10 Z2Z15ZZ7 +20 Z3Z15ZZ7 +Z4Z15ZZ7 +15 Z2Z28ZZ7 +25 Z3Z28ZZ7 +Z4Z28ZZ7 +15 Z2Z29ZZ7 +25 Z3Z29ZZ7 +Z4Z29ZZ7 > 10;
NCZZ3ZZ7: -5 Z3ZZ1ZZ6 -Z4ZZ1ZZ6 -10 Z2ZZ2ZZ6 -15 Z3ZZ2ZZ6 -10 Z2ZZ3ZZ6 -15 Z3ZZ3ZZ6 -5 Z3ZZ4ZZ6 -Z4ZZ4ZZ6 -7 Z3Z17ZZ6 -Z4Z17ZZ6 +10 Z2ZZ1ZZ7 +20 Z3ZZ1ZZ7 +Z4ZZ1ZZ7 +10 Z2ZZ4ZZ7 +20 Z3ZZ4ZZ7 +Z4ZZ4ZZ7 +15 Z2Z17ZZ7 +25 Z3Z17ZZ7 +Z4Z17ZZ7 > 5;
NCZZ4ZZ7: -15 Z2Z29ZZ6 -18 Z3Z29ZZ6 -15 Z2Z30ZZ6 -18 Z3Z30ZZ6 -30 Z2Z31ZZ6 -33 Z3Z31ZZ6 -7 Z3Z32ZZ6 -Z4Z32ZZ6 -30 Z2Z43ZZ6 -33 Z3Z43ZZ6 -7 Z3Z44ZZ6 -Z4Z44ZZ6 -15 Z3Z45ZZ6 -Z4Z45ZZ6 +30 Z2Z32ZZ7 +40 Z3Z32ZZ7 +Z4Z32ZZ7 +30 Z2Z44ZZ7 +40 Z3Z44ZZ7 +Z4Z44ZZ7 +50 Z2Z45ZZ7 +80 Z3Z45ZZ7 +Z4Z45ZZ7 > -0;
NCZZ5ZZ7: -15 Z2Z27ZZ6 -18 Z3Z27ZZ6 -15 Z2Z28ZZ6 -18 Z3Z28ZZ6 -7 Z3Z41ZZ6 -Z4Z41ZZ6 -30 Z2Z42ZZ6 -33 Z3Z42ZZ6 -7 Z3Z43ZZ6 -Z4Z43ZZ6 -30 Z2Z44ZZ6 -33 Z3Z44ZZ6 +30 Z2Z41ZZ7 +40 Z3Z41ZZ7 +Z4Z41ZZ7 +30 Z2Z43ZZ7 +40 Z3Z43ZZ7 +Z4Z43ZZ7 > -0;
NCZZ6ZZ7: -10 Z2Z11ZZ6 -15 Z3Z11ZZ6 -5 Z3Z12ZZ6 -Z4Z12ZZ6 -5 Z3Z13ZZ6 -Z4Z13ZZ6 -10 Z2Z14ZZ6 -15 Z3Z14ZZ6 -7 Z3Z26ZZ6 -Z4Z26ZZ6 -7 Z3Z27ZZ6 -Z4Z27ZZ6 +10 Z2Z12ZZ7 +20 Z3Z12ZZ7 +Z4Z12ZZ7 +10 Z2Z13ZZ7 +20 Z3Z13ZZ7 +Z4Z13ZZ7 +15 Z2Z26ZZ7 +25 Z3Z26ZZ7 +Z4Z26ZZ7 +15 Z2Z27ZZ7 +25 Z3Z27ZZ7 +Z4Z27ZZ7 > 30;
NCZZ7ZZ7: -15 Z2Z17ZZ6 -18 Z3Z17ZZ6 -15 Z2Z18ZZ6 -18 Z3Z18ZZ6 -7 Z3Z31ZZ6 -Z4Z31ZZ6 -30 Z2Z32ZZ6 -33 Z3Z32ZZ6 -7 Z3Z33ZZ6 -Z4Z33ZZ6 -30 Z2Z34ZZ6 -33 Z3Z34ZZ6 +30 Z2Z31ZZ7 +40 Z3Z31ZZ7 +Z4Z31ZZ7 +30 Z2Z33ZZ7 +40 Z3Z33ZZ7 +Z4Z33ZZ7 > -0;
NCZZ8ZZ7: -15 Z2Z25ZZ6 -18 Z3Z25ZZ6 -15 Z2Z26ZZ6 -18 Z3Z26ZZ6 -30 Z2Z39ZZ6 -33 Z3Z39ZZ6 -7 Z3Z40ZZ6 -Z4Z40ZZ6 -30 Z2Z41ZZ6 -33 Z3Z41ZZ6 -7 Z3Z42ZZ6 -Z4Z42ZZ6 +30 Z2Z40ZZ7 +40 Z3Z40ZZ7 +Z4Z40ZZ7 +30 Z2Z42ZZ7 +40 Z3Z42ZZ7 +Z4Z42ZZ7 > -0;
NCZZ9ZZ7: -5 Z3ZZ3ZZ6 -Z4ZZ3ZZ6 -10 Z2ZZ4ZZ6 -15 Z3ZZ4ZZ6 -5 Z3ZZ5ZZ6 -Z4ZZ5ZZ6 -10 Z2ZZ6ZZ6 -15 Z3ZZ6ZZ6 -7 Z3Z18ZZ6 -Z4Z18ZZ6 -7 Z3Z19ZZ6 -Z4Z19ZZ6 +10 Z2ZZ3ZZ7 +20 Z3ZZ3ZZ7 +Z4ZZ3ZZ7 +10 Z2ZZ5ZZ7 +20 Z3ZZ5ZZ7 +Z4ZZ5ZZ7 +15 Z2Z18ZZ7 +25 Z3Z18ZZ7 +Z4Z18ZZ7 +15 Z2Z19ZZ7 +25 Z3Z19ZZ7 +Z4Z19ZZ7 > 5;
NCZ10ZZ7: -15 Z2Z19ZZ6 -18 Z3Z19ZZ6 -15 Z2Z20ZZ6 -18 Z3Z20ZZ6 -30 Z2Z33ZZ6 -33 Z3Z33ZZ6 -7 Z3Z34ZZ6 -Z4Z34ZZ6 -7 Z3Z35ZZ6 -Z4Z35ZZ6 -30 Z2Z36ZZ6 -33 Z3Z36ZZ6 -15 Z3Z46ZZ6 -Z4Z46ZZ6 +30 Z2Z34ZZ7 +40 Z3Z34ZZ7 +Z4Z34ZZ7 +30 Z2Z35ZZ7 +40 Z3Z35ZZ7 +Z4Z35ZZ7 +50 Z2Z46ZZ7 +80 Z3Z46ZZ7 +Z4Z46ZZ7 > -0;
NCZ11ZZ7: -15 Z2Z21ZZ6 -18 Z3Z21ZZ6 -15 Z2Z22ZZ6 -18 Z3Z22ZZ6 -30 Z2Z35ZZ6 -33 Z3Z35ZZ6 -7 Z3Z36ZZ6 -Z4Z36ZZ6 -7 Z3Z37ZZ6 -Z4Z37ZZ6 -30 Z2Z38ZZ6 -33 Z3Z38ZZ6 +30 Z2Z36ZZ7 +40 Z3Z36ZZ7 +Z4Z36ZZ7 +30 Z2Z37ZZ7 +40 Z3Z37ZZ7 +Z4Z37ZZ7 > -0;
NCZ12ZZ7: -15 Z2Z23ZZ6 -18 Z3Z23ZZ6 -15 Z2Z24ZZ6 -18 Z3Z24ZZ6 -30 Z2Z37ZZ6 -33 Z3Z37ZZ6 -7 Z3Z38ZZ6 -Z4Z38ZZ6 -7 Z3Z39ZZ6 -Z4Z39ZZ6 -30 Z2Z40ZZ6 -33 Z3Z40ZZ6 -15 Z3Z47ZZ6 -Z4Z47ZZ6 +30 Z2Z38ZZ7 +40 Z3Z38ZZ7 +Z4Z38ZZ7 +30 Z2Z39ZZ7 +40 Z3Z39ZZ7 +Z4Z39ZZ7 +50 Z2Z47ZZ7 +80 Z3Z47ZZ7 +Z4Z47ZZ7 > -0;
NCZ13ZZ7: -10 Z2ZZ9ZZ6 -15 Z3ZZ9ZZ6 -5 Z3Z10ZZ6 -Z4Z10ZZ6 -5 Z3Z11ZZ6 -Z4Z11ZZ6 -10 Z2Z12ZZ6 -15 Z3Z12ZZ6 -7 Z3Z24ZZ6 -Z4Z24ZZ6 -7 Z3Z25ZZ6 -Z4Z25ZZ6 +10 Z2Z10ZZ7 +20 Z3Z10ZZ7 +Z4Z10ZZ7 +10 Z2Z11ZZ7 +20 Z3Z11ZZ7 +Z4Z11ZZ7 +15 Z2Z24ZZ7 +25 Z3Z24ZZ7 +Z4Z24ZZ7 +15 Z2Z25ZZ7 +25 Z3Z25ZZ7 +Z4Z25ZZ7 > -0;
NCZ14ZZ7: -10 Z2ZZ5ZZ6 -15 Z3ZZ5ZZ6 -5 Z3ZZ6ZZ6 -Z4ZZ6ZZ6 -10 Z2ZZ7ZZ6 -15 Z3ZZ7ZZ6 -5 Z3ZZ8ZZ6 -Z4ZZ8ZZ6 -7 Z3Z20ZZ6 -Z4Z20ZZ6 -7 Z3Z21ZZ6 -Z4Z21ZZ6 +10 Z2ZZ6ZZ7 +20 Z3ZZ6ZZ7 +Z4ZZ6ZZ7 +10 Z2ZZ8ZZ7 +20 Z3ZZ8ZZ7 +Z4ZZ8ZZ7 +15 Z2Z20ZZ7 +25 Z3Z20ZZ7 +Z4Z20ZZ7 +15 Z2Z21ZZ7 +25 Z3Z21ZZ7 +Z4Z21ZZ7 > -0;
NCZ15ZZ7: -5 Z3ZZ7ZZ6 -Z4ZZ7ZZ6 -10 Z2ZZ8ZZ6 -15 Z3ZZ8ZZ6 -5 Z3ZZ9ZZ6 -Z4ZZ9ZZ6 -10 Z2Z10ZZ6 -15 Z3Z10ZZ6 -7 Z3Z22ZZ6 -Z4Z22ZZ6 -7 Z3Z23ZZ6 -Z4Z23ZZ6 +10 Z2ZZ7ZZ7 +20 Z3ZZ7ZZ7 +Z4ZZ7ZZ7 +10 Z2ZZ9ZZ7 +20 Z3ZZ9ZZ7 +Z4ZZ9ZZ7 +15 Z2Z22ZZ7 +25 Z3Z22ZZ7 +Z4Z22ZZ7 +15 Z2Z23ZZ7 +25 Z3Z23ZZ7 +Z4Z23ZZ7 > 20;
ACZZ1ZZ7: -5 Z3ZZ1ZZ6 -Z4ZZ1ZZ6 +10 Z2ZZ1ZZ7 +20 Z3ZZ1ZZ7 +Z4ZZ1ZZ7 > -0;
ACZZ2ZZ7: -5 Z3ZZ2ZZ6 -Z4ZZ2ZZ6 +10 Z2ZZ2ZZ7 +20 Z3ZZ2ZZ7 +Z4ZZ2ZZ7 > -0;
ACZZ3ZZ7: -5 Z3ZZ3ZZ6 -Z4ZZ3ZZ6 +10 Z2ZZ3ZZ7 +20 Z3ZZ3ZZ7 +Z4ZZ3ZZ7 > -0;
ACZZ4ZZ7: -5 Z3ZZ4ZZ6 -Z4ZZ4ZZ6 +10 Z2ZZ4ZZ7 +20 Z3ZZ4ZZ7 +Z4ZZ4ZZ7 > -0;
ACZZ5ZZ7: -5 Z3ZZ5ZZ6 -Z4ZZ5ZZ6 +10 Z2ZZ5ZZ7 +20 Z3ZZ5ZZ7 +Z4ZZ5ZZ7 > -0;
ACZZ6ZZ7: -5 Z3ZZ6ZZ6 -Z4ZZ6ZZ6 +10 Z2ZZ6ZZ7 +20 Z3ZZ6ZZ7 +Z4ZZ6ZZ7 > -0;
ACZZ7ZZ7: -5 Z3ZZ7ZZ6 -Z4ZZ7ZZ6 +10 Z2ZZ7ZZ7 +20 Z3ZZ7ZZ7 +Z4ZZ7ZZ7 > -0;
ACZZ8ZZ7: -5 Z3ZZ8ZZ6 -Z4ZZ8ZZ6 +10 Z2ZZ8ZZ7 +20 Z3ZZ8ZZ7 +Z4ZZ8ZZ7 > -0;
ACZZ9ZZ7: -5 Z3ZZ9ZZ6 -Z4ZZ9ZZ6 +10 Z2ZZ9ZZ7 +20 Z3ZZ9ZZ7 +Z4ZZ9ZZ7 > -0;
ACZ10ZZ7: -5 Z3Z10ZZ6 -Z4Z10ZZ6 +10 Z2Z10ZZ7 +20 Z3Z10ZZ7 +Z4Z10ZZ7 > -0;
ACZ11ZZ7: -5 Z3Z11ZZ6 -Z4Z11ZZ6 +10 Z2Z11ZZ7 +20 Z3Z11ZZ7 +Z4Z11ZZ7 > -0;
ACZ12ZZ7: -5 Z3Z12ZZ6 -Z4Z12ZZ6 +10 Z2Z12ZZ7 +20 Z3Z12ZZ7 +Z4Z12ZZ7 > -0;
ACZ13ZZ7: -5 Z3Z13ZZ6 -Z4Z13ZZ6 +10 Z2Z13ZZ7 +20 Z3Z13ZZ7 +Z4Z13ZZ7 > -0;
ACZ14ZZ7: -5 Z3Z14ZZ6 -Z4Z14ZZ6 +10 Z2Z14ZZ7 +20 Z3Z14ZZ7 +Z4Z14ZZ7 > -0;
ACZ15ZZ7: -5 Z3Z15ZZ6 -Z4Z15ZZ6 +10 Z2Z15ZZ7 +20 Z3Z15ZZ7 +Z4Z15ZZ7 > -0;
ACZ16ZZ7: -5 Z3Z16ZZ6 -Z4Z16ZZ6 +10 Z2Z16ZZ7 +20 Z3Z16ZZ7 +Z4Z16ZZ7 > -0;
ACZ17ZZ7: -7 Z3Z17ZZ6 -Z4Z17ZZ6 +15 Z2Z17ZZ7 +25 Z3Z17ZZ7 +Z4Z17ZZ7 > -0;
ACZ18ZZ7: -7 Z3Z18ZZ6 -Z4Z18ZZ6 +15 Z2Z18ZZ7 +25 Z3Z18ZZ7 +Z4Z18ZZ7 > -0;
ACZ19ZZ7: -7 Z3Z19ZZ6 -Z4Z19ZZ6 +15 Z2Z19ZZ7 +25 Z3Z19ZZ7 +Z4Z19ZZ7 > -0;
ACZ20ZZ7: -7 Z3Z20ZZ6 -Z4Z20ZZ6 +15 Z2Z20ZZ7 +25 Z3Z20ZZ7 +Z4Z20ZZ7 > -0;
ACZ21ZZ7: -7 Z3Z21ZZ6 -Z4Z21ZZ6 +15 Z2Z21ZZ7 +25 Z3Z21ZZ7 +Z4Z21ZZ7 > -0;
ACZ22ZZ7: -7 Z3Z22ZZ6 -Z4Z22ZZ6 +15 Z2Z22ZZ7 +25 Z3Z22ZZ7 +Z4Z22ZZ7 > -0;
ACZ23ZZ7: -7 Z3Z23ZZ6 -Z4Z23ZZ6 +15 Z2Z23ZZ7 +25 Z3Z23ZZ7 +Z4Z23ZZ7 > -0;
ACZ24ZZ7: -7 Z3Z24ZZ6 -Z4Z24ZZ6 +15 Z2Z24ZZ7 +25 Z3Z24ZZ7 +Z4Z24ZZ7 > -0;
ACZ25ZZ7: -7 Z3Z25ZZ6 -Z4Z25ZZ6 +15 Z2Z25ZZ7 +25 Z3Z25ZZ7 +Z4Z25ZZ7 > -0;
ACZ26ZZ7: -7 Z3Z26ZZ6 -Z4Z26ZZ6 +15 Z2Z26ZZ7 +25 Z3Z26ZZ7 +Z4Z26ZZ7 > -0;
ACZ27ZZ7: -7 Z3Z27ZZ6 -Z4Z27ZZ6 +15 Z2Z27ZZ7 +25 Z3Z27ZZ7 +Z4Z27ZZ7 > -0;
ACZ28ZZ7: -7 Z3Z28ZZ6 -Z4Z28ZZ6 +15 Z2Z28ZZ7 +25 Z3Z28ZZ7 +Z4Z28ZZ7 > -0;
ACZ29ZZ7: -7 Z3Z29ZZ6 -Z4Z29ZZ6 +15 Z2Z29ZZ7 +25 Z3Z29ZZ7 +Z4Z29ZZ7 > -0;
ACZ30ZZ7: -7 Z3Z30ZZ6 -Z4Z30ZZ6 +15 Z2Z30ZZ7 +25 Z3Z30ZZ7 +Z4Z30ZZ7 > -0;
ACZ31ZZ7: -7 Z3Z31ZZ6 -Z4Z31ZZ6 +30 Z2Z31ZZ7 +40 Z3Z31ZZ7 +Z4Z31ZZ7 > -0;
ACZ32ZZ7: -7 Z3Z32ZZ6 -Z4Z32ZZ6 +30 Z2Z32ZZ7 +40 Z3Z32ZZ7 +Z4Z32ZZ7 > -0;
ACZ33ZZ7: -7 Z3Z33ZZ6 -Z4Z33ZZ6 +30 Z2Z33ZZ7 +40 Z3Z33ZZ7 +Z4Z33ZZ7 > -0;
ACZ34ZZ7: -7 Z3Z34ZZ6 -Z4Z34ZZ6 +30 Z2Z34ZZ7 +40 Z3Z34ZZ7 +Z4Z34ZZ7 > -0;
ACZ35ZZ7: -7 Z3Z35ZZ6 -Z4Z35ZZ6 +30 Z2Z35ZZ7 +40 Z3Z35ZZ7 +Z4Z35ZZ7 > -0;
ACZ36ZZ7: -7 Z3Z36ZZ6 -Z4Z36ZZ6 +30 Z2Z36ZZ7 +40 Z3Z36ZZ7 +Z4Z36ZZ7 > -0;
ACZ37ZZ7: -7 Z3Z37ZZ6 -Z4Z37ZZ6 +30 Z2Z37ZZ7 +40 Z3Z37ZZ7 +Z4Z37ZZ7 > -0;
ACZ38ZZ7: -7 Z3Z38ZZ6 -Z4Z38ZZ6 +30 Z2Z38ZZ7 +40 Z3Z38ZZ7 +Z4Z38ZZ7 > -0;
ACZ39ZZ7: -7 Z3Z39ZZ6 -Z4Z39ZZ6 +30 Z2Z39ZZ7 +40 Z3Z39ZZ7 +Z4Z39ZZ7 > -0;
ACZ40ZZ7: -7 Z3Z40ZZ6 -Z4Z40ZZ6 +30 Z2Z40ZZ7 +40 Z3Z40ZZ7 +Z4Z40ZZ7 > -0;
ACZ41ZZ7: -7 Z3Z41ZZ6 -Z4Z41ZZ6 +30 Z2Z41ZZ7 +40 Z3Z41ZZ7 +Z4Z41ZZ7 > -0;
ACZ42ZZ7: -7 Z3Z42ZZ6 -Z4Z42ZZ6 +30 Z2Z42ZZ7 +40 Z3Z42ZZ7 +Z4Z42ZZ7 > -0;
ACZ43ZZ7: -7 Z3Z43ZZ6 -Z4Z43ZZ6 +30 Z2Z43ZZ7 +40 Z3Z43ZZ7 +Z4Z43ZZ7 > -0;
ACZ44ZZ7: -7 Z3Z44ZZ6 -Z4Z44ZZ6 +30 Z2Z44ZZ7 +40 Z3Z44ZZ7 +Z4Z44ZZ7 > -0;
ACZ45ZZ7: -15 Z3Z45ZZ6 -Z4Z45ZZ6 +50 Z2Z45ZZ7 +80 Z3Z45ZZ7 +Z4Z45ZZ7 > -0;
ACZ46ZZ7: -15 Z3Z46ZZ6 -Z4Z46ZZ6 +50 Z2Z46ZZ7 +80 Z3Z46ZZ7 +Z4Z46ZZ7 > -0;
ACZ47ZZ7: -15 Z3Z47ZZ6 -Z4Z47ZZ6 +50 Z2Z47ZZ7 +80 Z3Z47ZZ7 +Z4Z47ZZ7 > -0;
CCZZ1ZZ7: +Z1ZZ1ZZ7 +Z2ZZ1ZZ7 +Z3ZZ1ZZ7 = 1;
CCZZ2ZZ7: +Z1ZZ2ZZ7 +Z2ZZ2ZZ7 +Z3ZZ2ZZ7 = 1;
CCZZ3ZZ7: +Z1ZZ3ZZ7 +Z2ZZ3ZZ7 +Z3ZZ3ZZ7 = 1;
CCZZ4ZZ7: +Z1ZZ4ZZ7 +Z2ZZ4ZZ7 +Z3ZZ4ZZ7 = 1;
CCZZ5ZZ7: +Z1ZZ5ZZ7 +Z2ZZ5ZZ7 +Z3ZZ5ZZ7 = 1;
CCZZ6ZZ7: +Z1ZZ6ZZ7 +Z2ZZ6ZZ7 +Z3ZZ6ZZ7 = 1;
CCZZ7ZZ7: +Z1ZZ7ZZ7 +Z2ZZ7ZZ7 +Z3ZZ7ZZ7 = 1;
CCZZ8ZZ7: +Z1ZZ8ZZ7 +Z2ZZ8ZZ7 +Z3ZZ8ZZ7 = 1;
CCZZ9ZZ7: +Z1ZZ9ZZ7 +Z2ZZ9ZZ7 +Z3ZZ9ZZ7 = 1;
CCZ10ZZ7: +Z1Z10ZZ7 +Z2Z10ZZ7 +Z3Z10ZZ7 = 1;
CCZ11ZZ7: +Z1Z11ZZ7 +Z2Z11ZZ7 +Z3Z11ZZ7 = 1;
CCZ12ZZ7: +Z1Z12ZZ7 +Z2Z12ZZ7 +Z3Z12ZZ7 = 1;
CCZ13ZZ7: +Z1Z13ZZ7 +Z2Z13ZZ7 +Z3Z13ZZ7 = 1;
CCZ14ZZ7: +Z1Z14ZZ7 +Z2Z14ZZ7 +Z3Z14ZZ7 = 1;
CCZ15ZZ7: +Z1Z15ZZ7 +Z2Z15ZZ7 +Z3Z15ZZ7 = 1;
CCZ16ZZ7: +Z1Z16ZZ7 +Z2Z16ZZ7 +Z3Z16ZZ7 = 1;
CCZ17ZZ7: +Z1Z17ZZ7 +Z2Z17ZZ7 +Z3Z17ZZ7 = 1;
CCZ18ZZ7: +Z1Z18ZZ7 +Z2Z18ZZ7 +Z3Z18ZZ7 = 1;
CCZ19ZZ7: +Z1Z19ZZ7 +Z2Z19ZZ7 +Z3Z19ZZ7 = 1;
CCZ20ZZ7: +Z1Z20ZZ7 +Z2Z20ZZ7 +Z3Z20ZZ7 = 1;
CCZ21ZZ7: +Z1Z21ZZ7 +Z2Z21ZZ7 +Z3Z21ZZ7 = 1;
CCZ22ZZ7: +Z1Z22ZZ7 +Z2Z22ZZ7 +Z3Z22ZZ7 = 1;
CCZ23ZZ7: +Z1Z23ZZ7 +Z2Z23ZZ7 +Z3Z23ZZ7 = 1;
CCZ24ZZ7: +Z1Z24ZZ7 +Z2Z24ZZ7 +Z3Z24ZZ7 = 1;
CCZ25ZZ7: +Z1Z25ZZ7 +Z2Z25ZZ7 +Z3Z25ZZ7 = 1;
CCZ26ZZ7: +Z1Z26ZZ7 +Z2Z26ZZ7 +Z3Z26ZZ7 = 1;
CCZ27ZZ7: +Z1Z27ZZ7 +Z2Z27ZZ7 +Z3Z27ZZ7 = 1;
CCZ28ZZ7: +Z1Z28ZZ7 +Z2Z28ZZ7 +Z3Z28ZZ7 = 1;
CCZ29ZZ7: +Z1Z29ZZ7 +Z2Z29ZZ7 +Z3Z29ZZ7 = 1;
CCZ30ZZ7: +Z1Z30ZZ7 +Z2Z30ZZ7 +Z3Z30ZZ7 = 1;
CCZ31ZZ7: +Z1Z31ZZ7 +Z2Z31ZZ7 +Z3Z31ZZ7 = 1;
CCZ32ZZ7: +Z1Z32ZZ7 +Z2Z32ZZ7 +Z3Z32ZZ7 = 1;
CCZ33ZZ7: +Z1Z33ZZ7 +Z2Z33ZZ7 +Z3Z33ZZ7 = 1;
CCZ34ZZ7: +Z1Z34ZZ7 +Z2Z34ZZ7 +Z3Z34ZZ7 = 1;
CCZ35ZZ7: +Z1Z35ZZ7 +Z2Z35ZZ7 +Z3Z35ZZ7 = 1;
CCZ36ZZ7: +Z1Z36ZZ7 +Z2Z36ZZ7 +Z3Z36ZZ7 = 1;
CCZ37ZZ7: +Z1Z37ZZ7 +Z2Z37ZZ7 +Z3Z37ZZ7 = 1;
CCZ38ZZ7: +Z1Z38ZZ7 +Z2Z38ZZ7 +Z3Z38ZZ7 = 1;
CCZ39ZZ7: +Z1Z39ZZ7 +Z2Z39ZZ7 +Z3Z39ZZ7 = 1;
CCZ40ZZ7: +Z1Z40ZZ7 +Z2Z40ZZ7 +Z3Z40ZZ7 = 1;
CCZ41ZZ7: +Z1Z41ZZ7 +Z2Z41ZZ7 +Z3Z41ZZ7 = 1;
CCZ42ZZ7: +Z1Z42ZZ7 +Z2Z42ZZ7 +Z3Z42ZZ7 = 1;
CCZ43ZZ7: +Z1Z43ZZ7 +Z2Z43ZZ7 +Z3Z43ZZ7 = 1;
CCZ44ZZ7: +Z1Z44ZZ7 +Z2Z44ZZ7 +Z3Z44ZZ7 = 1;
CCZ45ZZ7: +Z1Z45ZZ7 +Z2Z45ZZ7 +Z3Z45ZZ7 = 1;
CCZ46ZZ7: +Z1Z46ZZ7 +Z2Z46ZZ7 +Z3Z46ZZ7 = 1;
CCZ47ZZ7: +Z1Z47ZZ7 +Z2Z47ZZ7 +Z3Z47ZZ7 = 1;
NCZZ1ZZ8: -10 Z2ZZ1ZZ7 -15 Z3ZZ1ZZ7 -5 Z3ZZ2ZZ7 -Z4ZZ2ZZ7 -10 Z2Z15ZZ7 -15 Z3Z15ZZ7 -5 Z3Z16ZZ7 -Z4Z16ZZ7 -7 Z3Z30ZZ7 -Z4Z30ZZ7 +10 Z2ZZ2ZZ8 +20 Z3ZZ2ZZ8 +Z4ZZ2ZZ8 +10 Z2Z16ZZ8 +20 Z3Z16ZZ8 +Z4Z16ZZ8 +15 Z2Z30ZZ8 +25 Z3Z30ZZ8 +Z4Z30ZZ8 > 10;
NCZZ2ZZ8: -10 Z2Z13ZZ7 -15 Z3Z13ZZ7 -5 Z3Z14ZZ7 -Z4Z14ZZ7 -5 Z3Z15ZZ7 -Z4Z15ZZ7 -10 Z2Z16ZZ7 -15 Z3Z16ZZ7 -7 Z3Z28ZZ7 -Z4Z28ZZ7 -7 Z3Z29ZZ7 -Z4Z29ZZ7 +10 Z2Z14ZZ8 +20 Z3Z14ZZ8 +Z4Z14ZZ8 +10 Z2Z15ZZ8 +20 Z3Z15ZZ8 +Z4Z15ZZ8 +15 Z2Z28ZZ8 +25 Z3Z28ZZ8 +Z4Z28ZZ8 +15 Z2Z29ZZ8 +25 Z3Z29ZZ8 +Z4Z29ZZ8 > 5;
NCZZ3ZZ8: -5 Z3ZZ1ZZ7 -Z4ZZ1ZZ7 -10 Z2ZZ2ZZ7 -15 Z3ZZ2ZZ7 -10 Z2ZZ3ZZ7 -15 Z3ZZ3ZZ7 -5 Z3ZZ4ZZ7 -Z4ZZ4ZZ7 -7 Z3Z17ZZ7 -Z4Z17ZZ7 +10 Z2ZZ1ZZ8 +20 Z3ZZ1ZZ8 +Z4ZZ1ZZ8 +10 Z2ZZ4ZZ8 +20 Z3ZZ4ZZ8 +Z4ZZ4ZZ8 +15 Z2Z17ZZ8 +25 Z3Z17ZZ8 +Z4Z17ZZ8 > -0;
NCZZ4ZZ8: -15 Z2Z29ZZ7 -18 Z3Z29ZZ7 -15 Z2Z30ZZ7 -18 Z3Z30ZZ7 -30 Z2Z31ZZ7 -33 Z3Z31ZZ7 -7 Z3Z32ZZ7 -Z4Z32ZZ7 -30 Z2Z43ZZ7 -33 Z3Z43ZZ7 -7 Z3Z44ZZ7 -Z4Z44ZZ7 -15 Z3Z45ZZ7 -Z4Z45ZZ7 +30 Z2Z32ZZ8 +40 Z3Z32ZZ8 +Z4Z32ZZ8 +30 Z2Z44ZZ8 +40 Z3Z44ZZ8 +Z4Z44ZZ8 +50 Z2Z45ZZ8 +80 Z3Z45ZZ8 +Z4Z45ZZ8 > -0;
NCZZ5ZZ8: -15 Z2Z27ZZ7 -18 Z3Z27ZZ7 -15 Z2Z28ZZ7 -18 Z3Z28ZZ7 -7 Z3Z41ZZ7 -Z4Z41ZZ7 -30 Z2Z42ZZ7 -33 Z3Z42ZZ7 -7 Z3Z43ZZ7 -Z4Z43ZZ7 -30 Z2Z44ZZ7 -33 Z3Z44ZZ7 +30 Z2Z41ZZ8 +40 Z3Z41ZZ8 +Z4Z41ZZ8 +30 Z2Z43ZZ8 +40 Z3Z43ZZ8 +Z4Z43ZZ8 > -0;
NCZZ6ZZ8: -10 Z2Z11ZZ7 -15 Z3Z11ZZ7 -5 Z3Z12ZZ7 -Z4Z12ZZ7 -5 Z3Z13ZZ7 -Z4Z13ZZ7 -10 Z2Z14ZZ7 -15 Z3Z14ZZ7 -7 Z3Z26ZZ7 -Z4Z26ZZ7 -7 Z3Z27ZZ7 -Z4Z27ZZ7 +10 Z2Z12ZZ8 +20 Z3Z12ZZ8 +Z4Z12ZZ8 +10 Z2Z13ZZ8 +20 Z3Z13ZZ8 +Z4Z13ZZ8 +15 Z2Z26ZZ8 +25 Z3Z26ZZ8 +Z4Z26ZZ8 +15 Z2Z27ZZ8 +25 Z3Z27ZZ8 +Z4Z27ZZ8 > 10;
NCZZ7ZZ8: -15 Z2Z17ZZ7 -18 Z3Z17ZZ7 -15 Z2Z18ZZ7 -18 Z3Z18ZZ7 -7 Z3Z31ZZ7 -Z4Z31ZZ7 -30 Z2Z32ZZ7 -33 Z3Z32ZZ7 -7 Z3Z33ZZ7 -Z4Z33ZZ7 -30 Z2Z34ZZ7 -33 Z3Z34ZZ7 +30 Z2Z31ZZ8 +40 Z3Z31ZZ8 +Z4Z31ZZ8 +30 Z2Z33ZZ8 +40 Z3Z33ZZ8 +Z4Z33ZZ8 > -0;
NCZZ8ZZ8: -15 Z2Z25ZZ7 -18 Z3Z25ZZ7 -15 Z2Z26ZZ7 -18 Z3Z26ZZ7 -30 Z2Z39ZZ7 -33 Z3Z39ZZ7 -7 Z3Z40ZZ7 -Z4Z40ZZ7 -30 Z2Z41ZZ7 -33 Z3Z41ZZ7 -7 Z3Z42ZZ7 -Z4Z42ZZ7 +30 Z2Z40ZZ8 +40 Z3Z40ZZ8 +Z4Z40ZZ8 +30 Z2Z42ZZ8 +40 Z3Z42ZZ8 +Z4Z42ZZ8 > -0;
NCZZ9ZZ8: -5 Z3ZZ3ZZ7 -Z4ZZ3ZZ7 -10 Z2ZZ4ZZ7 -15 Z3ZZ4ZZ7 -5 Z3ZZ5ZZ7 -Z4ZZ5ZZ7 -10 Z2ZZ6ZZ7 -15 Z3ZZ6ZZ7 -7 Z3Z18ZZ7 -Z4Z18ZZ7 -7 Z3Z19ZZ7 -Z4Z19ZZ7 +10 Z2ZZ3ZZ8 +20 Z3ZZ3ZZ8 +Z4ZZ3ZZ8 +10 Z2ZZ5ZZ8 +20 Z3ZZ5ZZ8 +Z4ZZ5ZZ8 +15 Z2Z18ZZ8 +25 Z3Z18ZZ8 +Z4Z18ZZ8 +15 Z2Z19ZZ8 +25 Z3Z19ZZ8 +Z4Z19ZZ8 > -0;
NCZ10ZZ8: -15 Z2Z19ZZ7 -18 Z3Z19ZZ7 -15 Z2Z20ZZ7 -18 Z3Z20ZZ7 -30 Z2Z33ZZ7 -33 Z3Z33ZZ7 -7 Z3Z34ZZ7 -Z4Z34ZZ7 -7 Z3Z35ZZ7 -Z4Z35ZZ7 -30 Z2Z36ZZ7 -33 Z3Z36ZZ7 -15 Z3Z46ZZ7 -Z4Z46ZZ7 +30 Z2Z34ZZ8 +40 Z3Z34ZZ8 +Z4Z34ZZ8 +30 Z2Z35ZZ8 +40 Z3Z35ZZ8 +Z4Z35ZZ8 +50 Z2Z46ZZ8 +80 Z3Z46ZZ8 +Z4Z46ZZ8 > -0;
NCZ11ZZ8: -15 Z2Z21ZZ7 -18 Z3Z21ZZ7 -15 Z2Z22ZZ7 -18 Z3Z22ZZ7 -30 Z2Z35ZZ7 -33 Z3Z35ZZ7 -7 Z3Z36ZZ7 -Z4Z36ZZ7 -7 Z3Z37ZZ7 -Z4Z37ZZ7 -30 Z2Z38ZZ7 -33 Z3Z38ZZ7 +30 Z2Z36ZZ8 +40 Z3Z36ZZ8 +Z4Z36ZZ8 +30 Z2Z37ZZ8 +40 Z3Z37ZZ8 +Z4Z37ZZ8 > -0;
NCZ12ZZ8: -15 Z2Z23ZZ7 -18 Z3Z23ZZ7 -15 Z2Z24ZZ7 -18 Z3Z24ZZ7 -30 Z2Z37ZZ7 -33 Z3Z37ZZ7 -7 Z3Z38ZZ7 -Z4Z38ZZ7 -7 Z3Z39ZZ7 -Z4Z39ZZ7 -30 Z2Z40ZZ7 -33 Z3Z40ZZ7 -15 Z3Z47ZZ7 -Z4Z47ZZ7 +30 Z2Z38ZZ8 +40 Z3Z38ZZ8 +Z4Z38ZZ8 +30 Z2Z39ZZ8 +40 Z3Z39ZZ8 +Z4Z39ZZ8 +50 Z2Z47ZZ8 +80 Z3Z47ZZ8 +Z4Z47ZZ8 > -0;
NCZ13ZZ8: -10 Z2ZZ9ZZ7 -15 Z3ZZ9ZZ7 -5 Z3Z10ZZ7 -Z4Z10ZZ7 -5 Z3Z11ZZ7 -Z4Z11ZZ7 -10 Z2Z12ZZ7 -15 Z3Z12ZZ7 -7 Z3Z24ZZ7 -Z4Z24ZZ7 -7 Z3Z25ZZ7 -Z4Z25ZZ7 +10 Z2Z10ZZ8 +20 Z3Z10ZZ8 +Z4Z10ZZ8 +10 Z2Z11ZZ8 +20 Z3Z11ZZ8 +Z4Z11ZZ8 +15 Z2Z24ZZ8 +25 Z3Z24ZZ8 +Z4Z24ZZ8 +15 Z2Z25ZZ8 +25 Z3Z25ZZ8 +Z4Z25ZZ8 > -0;
NCZ14ZZ8: -10 Z2ZZ5ZZ7 -15 Z3ZZ5ZZ7 -5 Z3ZZ6ZZ7 -Z4ZZ6ZZ7 -10 Z2ZZ7ZZ7 -15 Z3ZZ7ZZ7 -5 Z3ZZ8ZZ7 -Z4ZZ8ZZ7 -7 Z3Z20ZZ7 -Z4Z20ZZ7 -7 Z3Z21ZZ7 -Z4Z21ZZ7 +10 Z2ZZ6ZZ8 +20 Z3ZZ6ZZ8 +Z4ZZ6ZZ8 +10 Z2ZZ8ZZ8 +20 Z3ZZ8ZZ8 +Z4ZZ8ZZ8 +15 Z2Z20ZZ8 +25 Z3Z20ZZ8 +Z4Z20ZZ8 +15 Z2Z21ZZ8 +25 Z3Z21ZZ8 +Z4Z21ZZ8 > -0;
NCZ15ZZ8: -5 Z3ZZ7ZZ7 -Z4ZZ7ZZ7 -10 Z2ZZ8ZZ7 -15 Z3ZZ8ZZ7 -5 Z3ZZ9ZZ7 -Z4ZZ9ZZ7 -10 Z2Z10ZZ7 -15 Z3Z10ZZ7 -7 Z3Z22ZZ7 -Z4Z22ZZ7 -7 Z3Z23ZZ7 -Z4Z23ZZ7 +10 Z2ZZ7ZZ8 +20 Z3ZZ7ZZ8 +Z4ZZ7ZZ8 +10 Z2ZZ9ZZ8 +20 Z3ZZ9ZZ8 +Z4ZZ9ZZ8 +15 Z2Z22ZZ8 +25 Z3Z22ZZ8 +Z4Z22ZZ8 +15 Z2Z23ZZ8 +25 Z3Z23ZZ8 +Z4Z23ZZ8 > 30;
ACZZ1ZZ8: -5 Z3ZZ1ZZ7 -Z4ZZ1ZZ7 +10 Z2ZZ1ZZ8 +20 Z3ZZ1ZZ8 +Z4ZZ1ZZ8 > -0;
ACZZ2ZZ8: -5 Z3ZZ2ZZ7 -Z4ZZ2ZZ7 +10 Z2ZZ2ZZ8 +20 Z3ZZ2ZZ8 +Z4ZZ2ZZ8 > -0;
ACZZ3ZZ8: -5 Z3ZZ3ZZ7 -Z4ZZ3ZZ7 +10 Z2ZZ3ZZ8 +20 Z3ZZ3ZZ8 +Z4ZZ3ZZ8 > -0;
ACZZ4ZZ8: -5 Z3ZZ4ZZ7 -Z4ZZ4ZZ7 +10 Z2ZZ4ZZ8 +20 Z3ZZ4ZZ8 +Z4ZZ4ZZ8 > -0;
ACZZ5ZZ8: -5 Z3ZZ5ZZ7 -Z4ZZ5ZZ7 +10 Z2ZZ5ZZ8 +20 Z3ZZ5ZZ8 +Z4ZZ5ZZ8 > -0;
ACZZ6ZZ8: -5 Z3ZZ6ZZ7 -Z4ZZ6ZZ7 +10 Z2ZZ6ZZ8 +20 Z3ZZ6ZZ8 +Z4ZZ6ZZ8 > -0;
ACZZ7ZZ8: -5 Z3ZZ7ZZ7 -Z4ZZ7ZZ7 +10 Z2ZZ7ZZ8 +20 Z3ZZ7ZZ8 +Z4ZZ7ZZ8 > -0;
ACZZ8ZZ8: -5 Z3ZZ8ZZ7 -Z4ZZ8ZZ7 +10 Z2ZZ8ZZ8 +20 Z3ZZ8ZZ8 +Z4ZZ8ZZ8 > -0;
ACZZ9ZZ8: -5 Z3ZZ9ZZ7 -Z4ZZ9ZZ7 +10 Z2ZZ9ZZ8 +20 Z3ZZ9ZZ8 +Z4ZZ9ZZ8 > -0;
ACZ10ZZ8: -5 Z3Z10ZZ7 -Z4Z10ZZ7 +10 Z2Z10ZZ8 +20 Z3Z10ZZ8 +Z4Z10ZZ8 > -0;
ACZ11ZZ8: -5 Z3Z11ZZ7 -Z4Z11ZZ7 +10 Z2Z11ZZ8 +20 Z3Z11ZZ8 +Z4Z11ZZ8 > -0;
ACZ12ZZ8: -5 Z3Z12ZZ7 -Z4Z12ZZ7 +10 Z2Z12ZZ8 +20 Z3Z12ZZ8 +Z4Z12ZZ8 > -0;
ACZ13ZZ8: -5 Z3Z13ZZ7 -Z4Z13ZZ7 +10 Z2Z13ZZ8 +20 Z3Z13ZZ8 +Z4Z13ZZ8 > -0;
ACZ14ZZ8: -5 Z3Z14ZZ7 -Z4Z14ZZ7 +10 Z2Z14ZZ8 +20 Z3Z14ZZ8 +Z4Z14ZZ8 > -0;
ACZ15ZZ8: -5 Z3Z15ZZ7 -Z4Z15ZZ7 +10 Z2Z15ZZ8 +20 Z3Z15ZZ8 +Z4Z15ZZ8 > -0;
ACZ16ZZ8: -5 Z3Z16ZZ7 -Z4Z16ZZ7 +10 Z2Z16ZZ8 +20 Z3Z16ZZ8 +Z4Z16ZZ8 > -0;
ACZ17ZZ8: -7 Z3Z17ZZ7 -Z4Z17ZZ7 +15 Z2Z17ZZ8 +25 Z3Z17ZZ8 +Z4Z17ZZ8 > -0;
ACZ18ZZ8: -7 Z3Z18ZZ7 -Z4Z18ZZ7 +15 Z2Z18ZZ8 +25 Z3Z18ZZ8 +Z4Z18ZZ8 > -0;
ACZ19ZZ8: -7 Z3Z19ZZ7 -Z4Z19ZZ7 +15 Z2Z19ZZ8 +25 Z3Z19ZZ8 +Z4Z19ZZ8 > -0;
ACZ20ZZ8: -7 Z3Z20ZZ7 -Z4Z20ZZ7 +15 Z2Z20ZZ8 +25 Z3Z20ZZ8 +Z4Z20ZZ8 > -0;
ACZ21ZZ8: -7 Z3Z21ZZ7 -Z4Z21ZZ7 +15 Z2Z21ZZ8 +25 Z3Z21ZZ8 +Z4Z21ZZ8 > -0;
ACZ22ZZ8: -7 Z3Z22ZZ7 -Z4Z22ZZ7 +15 Z2Z22ZZ8 +25 Z3Z22ZZ8 +Z4Z22ZZ8 > -0;
ACZ23ZZ8: -7 Z3Z23ZZ7 -Z4Z23ZZ7 +15 Z2Z23ZZ8 +25 Z3Z23ZZ8 +Z4Z23ZZ8 > -0;
ACZ24ZZ8: -7 Z3Z24ZZ7 -Z4Z24ZZ7 +15 Z2Z24ZZ8 +25 Z3Z24ZZ8 +Z4Z24ZZ8 > -0;
ACZ25ZZ8: -7 Z3Z25ZZ7 -Z4Z25ZZ7 +15 Z2Z25ZZ8 +25 Z3Z25ZZ8 +Z4Z25ZZ8 > -0;
ACZ26ZZ8: -7 Z3Z26ZZ7 -Z4Z26ZZ7 +15 Z2Z26ZZ8 +25 Z3Z26ZZ8 +Z4Z26ZZ8 > -0;
ACZ27ZZ8: -7 Z3Z27ZZ7 -Z4Z27ZZ7 +15 Z2Z27ZZ8 +25 Z3Z27ZZ8 +Z4Z27ZZ8 > -0;
ACZ28ZZ8: -7 Z3Z28ZZ7 -Z4Z28ZZ7 +15 Z2Z28ZZ8 +25 Z3Z28ZZ8 +Z4Z28ZZ8 > -0;
ACZ29ZZ8: -7 Z3Z29ZZ7 -Z4Z29ZZ7 +15 Z2Z29ZZ8 +25 Z3Z29ZZ8 +Z4Z29ZZ8 > -0;
ACZ30ZZ8: -7 Z3Z30ZZ7 -Z4Z30ZZ7 +15 Z2Z30ZZ8 +25 Z3Z30ZZ8 +Z4Z30ZZ8 > -0;
ACZ31ZZ8: -7 Z3Z31ZZ7 -Z4Z31ZZ7 +30 Z2Z31ZZ8 +40 Z3Z31ZZ8 +Z4Z31ZZ8 > -0;
ACZ32ZZ8: -7 Z3Z32ZZ7 -Z4Z32ZZ7 +30 Z2Z32ZZ8 +40 Z3Z32ZZ8 +Z4Z32ZZ8 > -0;
ACZ33ZZ8: -7 Z3Z33ZZ7 -Z4Z33ZZ7 +30 Z2Z33ZZ8 +40 Z3Z33ZZ8 +Z4Z33ZZ8 > -0;
ACZ34ZZ8: -7 Z3Z34ZZ7 -Z4Z34ZZ7 +30 Z2Z34ZZ8 +40 Z3Z34ZZ8 +Z4Z34ZZ8 > -0;
ACZ35ZZ8: -7 Z3Z35ZZ7 -Z4Z35ZZ7 +30 Z2Z35ZZ8 +40 Z3Z35ZZ8 +Z4Z35ZZ8 > -0;
ACZ36ZZ8: -7 Z3Z36ZZ7 -Z4Z36ZZ7 +30 Z2Z36ZZ8 +40 Z3Z36ZZ8 +Z4Z36ZZ8 > -0;
ACZ37ZZ8: -7 Z3Z37ZZ7 -Z4Z37ZZ7 +30 Z2Z37ZZ8 +40 Z3Z37ZZ8 +Z4Z37ZZ8 > -0;
ACZ38ZZ8: -7 Z3Z38ZZ7 -Z4Z38ZZ7 +30 Z2Z38ZZ8 +40 Z3Z38ZZ8 +Z4Z38ZZ8 > -0;
ACZ39ZZ8: -7 Z3Z39ZZ7 -Z4Z39ZZ7 +30 Z2Z39ZZ8 +40 Z3Z39ZZ8 +Z4Z39ZZ8 > -0;
ACZ40ZZ8: -7 Z3Z40ZZ7 -Z4Z40ZZ7 +30 Z2Z40ZZ8 +40 Z3Z40ZZ8 +Z4Z40ZZ8 > -0;
ACZ41ZZ8: -7 Z3Z41ZZ7 -Z4Z41ZZ7 +30 Z2Z41ZZ8 +40 Z3Z41ZZ8 +Z4Z41ZZ8 > -0;
ACZ42ZZ8: -7 Z3Z42ZZ7 -Z4Z42ZZ7 +30 Z2Z42ZZ8 +40 Z3Z42ZZ8 +Z4Z42ZZ8 > -0;
ACZ43ZZ8: -7 Z3Z43ZZ7 -Z4Z43ZZ7 +30 Z2Z43ZZ8 +40 Z3Z43ZZ8 +Z4Z43ZZ8 > -0;
ACZ44ZZ8: -7 Z3Z44ZZ7 -Z4Z44ZZ7 +30 Z2Z44ZZ8 +40 Z3Z44ZZ8 +Z4Z44ZZ8 > -0;
ACZ45ZZ8: -15 Z3Z45ZZ7 -Z4Z45ZZ7 +50 Z2Z45ZZ8 +80 Z3Z45ZZ8 +Z4Z45ZZ8 > -0;
ACZ46ZZ8: -15 Z3Z46ZZ7 -Z4Z46ZZ7 +50 Z2Z46ZZ8 +80 Z3Z46ZZ8 +Z4Z46ZZ8 > -0;
ACZ47ZZ8: -15 Z3Z47ZZ7 -Z4Z47ZZ7 +50 Z2Z47ZZ8 +80 Z3Z47ZZ8 +Z4Z47ZZ8 > -0;
CCZZ1ZZ8: +Z1ZZ1ZZ8 +Z2ZZ1ZZ8 +Z3ZZ1ZZ8 = 1;
CCZZ2ZZ8: +Z1ZZ2ZZ8 +Z2ZZ2ZZ8 +Z3ZZ2ZZ8 = 1;
CCZZ3ZZ8: +Z1ZZ3ZZ8 +Z2ZZ3ZZ8 +Z3ZZ3ZZ8 = 1;
CCZZ4ZZ8: +Z1ZZ4ZZ8 +Z2ZZ4ZZ8 +Z3ZZ4ZZ8 = 1;
CCZZ5ZZ8: +Z1ZZ5ZZ8 +Z2ZZ5ZZ8 +Z3ZZ5ZZ8 = 1;
CCZZ6ZZ8: +Z1ZZ6ZZ8 +Z2ZZ6ZZ8 +Z3ZZ6ZZ8 = 1;
CCZZ7ZZ8: +Z1ZZ7ZZ8 +Z2ZZ7ZZ8 +Z3ZZ7ZZ8 = 1;
CCZZ8ZZ8: +Z1ZZ8ZZ8 +Z2ZZ8ZZ8 +Z3ZZ8ZZ8 = 1;
CCZZ9ZZ8: +Z1ZZ9ZZ8 +Z2ZZ9ZZ8 +Z3ZZ9ZZ8 = 1;
CCZ10ZZ8: +Z1Z10ZZ8 +Z2Z10ZZ8 +Z3Z10ZZ8 = 1;
CCZ11ZZ8: +Z1Z11ZZ8 +Z2Z11ZZ8 +Z3Z11ZZ8 = 1;
CCZ12ZZ8: +Z1Z12ZZ8 +Z2Z12ZZ8 +Z3Z12ZZ8 = 1;
CCZ13ZZ8: +Z1Z13ZZ8 +Z2Z13ZZ8 +Z3Z13ZZ8 = 1;
CCZ14ZZ8: +Z1Z14ZZ8 +Z2Z14ZZ8 +Z3Z14ZZ8 = 1;
CCZ15ZZ8: +Z1Z15ZZ8 +Z2Z15ZZ8 +Z3Z15ZZ8 = 1;
CCZ16ZZ8: +Z1Z16ZZ8 +Z2Z16ZZ8 +Z3Z16ZZ8 = 1;
CCZ17ZZ8: +Z1Z17ZZ8 +Z2Z17ZZ8 +Z3Z17ZZ8 = 1;
CCZ18ZZ8: +Z1Z18ZZ8 +Z2Z18ZZ8 +Z3Z18ZZ8 = 1;
CCZ19ZZ8: +Z1Z19ZZ8 +Z2Z19ZZ8 +Z3Z19ZZ8 = 1;
CCZ20ZZ8: +Z1Z20ZZ8 +Z2Z20ZZ8 +Z3Z20ZZ8 = 1;
CCZ21ZZ8: +Z1Z21ZZ8 +Z2Z21ZZ8 +Z3Z21ZZ8 = 1;
CCZ22ZZ8: +Z1Z22ZZ8 +Z2Z22ZZ8 +Z3Z22ZZ8 = 1;
CCZ23ZZ8: +Z1Z23ZZ8 +Z2Z23ZZ8 +Z3Z23ZZ8 = 1;
CCZ24ZZ8: +Z1Z24ZZ8 +Z2Z24ZZ8 +Z3Z24ZZ8 = 1;
CCZ25ZZ8: +Z1Z25ZZ8 +Z2Z25ZZ8 +Z3Z25ZZ8 = 1;
CCZ26ZZ8: +Z1Z26ZZ8 +Z2Z26ZZ8 +Z3Z26ZZ8 = 1;
CCZ27ZZ8: +Z1Z27ZZ8 +Z2Z27ZZ8 +Z3Z27ZZ8 = 1;
CCZ28ZZ8: +Z1Z28ZZ8 +Z2Z28ZZ8 +Z3Z28ZZ8 = 1;
CCZ29ZZ8: +Z1Z29ZZ8 +Z2Z29ZZ8 +Z3Z29ZZ8 = 1;
CCZ30ZZ8: +Z1Z30ZZ8 +Z2Z30ZZ8 +Z3Z30ZZ8 = 1;
CCZ31ZZ8: +Z1Z31ZZ8 +Z2Z31ZZ8 +Z3Z31ZZ8 = 1;
CCZ32ZZ8: +Z1Z32ZZ8 +Z2Z32ZZ8 +Z3Z32ZZ8 = 1;
CCZ33ZZ8: +Z1Z33ZZ8 +Z2Z33ZZ8 +Z3Z33ZZ8 = 1;
CCZ34ZZ8: +Z1Z34ZZ8 +Z2Z34ZZ8 +Z3Z34ZZ8 = 1;
CCZ35ZZ8: +Z1Z35ZZ8 +Z2Z35ZZ8 +Z3Z35ZZ8 = 1;
CCZ36ZZ8: +Z1Z36ZZ8 +Z2Z36ZZ8 +Z3Z36ZZ8 = 1;
CCZ37ZZ8: +Z1Z37ZZ8 +Z2Z37ZZ8 +Z3Z37ZZ8 = 1;
CCZ38ZZ8: +Z1Z38ZZ8 +Z2Z38ZZ8 +Z3Z38ZZ8 = 1;
CCZ39ZZ8: +Z1Z39ZZ8 +Z2Z39ZZ8 +Z3Z39ZZ8 = 1;
CCZ40ZZ8: +Z1Z40ZZ8 +Z2Z40ZZ8 +Z3Z40ZZ8 = 1;
CCZ41ZZ8: +Z1Z41ZZ8 +Z2Z41ZZ8 +Z3Z41ZZ8 = 1;
CCZ42ZZ8: +Z1Z42ZZ8 +Z2Z42ZZ8 +Z3Z42ZZ8 = 1;
CCZ43ZZ8: +Z1Z43ZZ8 +Z2Z43ZZ8 +Z3Z43ZZ8 = 1;
CCZ44ZZ8: +Z1Z44ZZ8 +Z2Z44ZZ8 +Z3Z44ZZ8 = 1;
CCZ45ZZ8: +Z1Z45ZZ8 +Z2Z45ZZ8 +Z3Z45ZZ8 = 1;
CCZ46ZZ8: +Z1Z46ZZ8 +Z2Z46ZZ8 +Z3Z46ZZ8 = 1;
CCZ47ZZ8: +Z1Z47ZZ8 +Z2Z47ZZ8 +Z3Z47ZZ8 = 1;
NCZZ1ZZ9: -10 Z2ZZ1ZZ8 -15 Z3ZZ1ZZ8 -5 Z3ZZ2ZZ8 -Z4ZZ2ZZ8 -10 Z2Z15ZZ8 -15 Z3Z15ZZ8 -5 Z3Z16ZZ8 -Z4Z16ZZ8 -7 Z3Z30ZZ8 -Z4Z30ZZ8 +10 Z2ZZ2ZZ9 +20 Z3ZZ2ZZ9 +Z4ZZ2ZZ9 +10 Z2Z16ZZ9 +20 Z3Z16ZZ9 +Z4Z16ZZ9 +15 Z2Z30ZZ9 +25 Z3Z30ZZ9 +Z4Z30ZZ9 > -0;
NCZZ2ZZ9: -10 Z2Z13ZZ8 -15 Z3Z13ZZ8 -5 Z3Z14ZZ8 -Z4Z14ZZ8 -5 Z3Z15ZZ8 -Z4Z15ZZ8 -10 Z2Z16ZZ8 -15 Z3Z16ZZ8 -7 Z3Z28ZZ8 -Z4Z28ZZ8 -7 Z3Z29ZZ8 -Z4Z29ZZ8 +10 Z2Z14ZZ9 +20 Z3Z14ZZ9 +Z4Z14ZZ9 +10 Z2Z15ZZ9 +20 Z3Z15ZZ9 +Z4Z15ZZ9 +15 Z2Z28ZZ9 +25 Z3Z28ZZ9 +Z4Z28ZZ9 +15 Z2Z29ZZ9 +25 Z3Z29ZZ9 +Z4Z29ZZ9 > -0;
NCZZ3ZZ9: -5 Z3ZZ1ZZ8 -Z4ZZ1ZZ8 -10 Z2ZZ2ZZ8 -15 Z3ZZ2ZZ8 -10 Z2ZZ3ZZ8 -15 Z3ZZ3ZZ8 -5 Z3ZZ4ZZ8 -Z4ZZ4ZZ8 -7 Z3Z17ZZ8 -Z4Z17ZZ8 +10 Z2ZZ1ZZ9 +20 Z3ZZ1ZZ9 +Z4ZZ1ZZ9 +10 Z2ZZ4ZZ9 +20 Z3ZZ4ZZ9 +Z4ZZ4ZZ9 +15 Z2Z17ZZ9 +25 Z3Z17ZZ9 +Z4Z17ZZ9 > -0;
NCZZ4ZZ9: -15 Z2Z29ZZ8 -18 Z3Z29ZZ8 -15 Z2Z30ZZ8 -18 Z3Z30ZZ8 -30 Z2Z31ZZ8 -33 Z3Z31ZZ8 -7 Z3Z32ZZ8 -Z4Z32ZZ8 -30 Z2Z43ZZ8 -33 Z3Z43ZZ8 -7 Z3Z44ZZ8 -Z4Z44ZZ8 -15 Z3Z45ZZ8 -Z4Z45ZZ8 +30 Z2Z32ZZ9 +40 Z3Z32ZZ9 +Z4Z32ZZ9 +30 Z2Z44ZZ9 +40 Z3Z44ZZ9 +Z4Z44ZZ9 +50 Z2Z45ZZ9 +80 Z3Z45ZZ9 +Z4Z45ZZ9 > -0;
NCZZ5ZZ9: -15 Z2Z27ZZ8 -18 Z3Z27ZZ8 -15 Z2Z28ZZ8 -18 Z3Z28ZZ8 -7 Z3Z41ZZ8 -Z4Z41ZZ8 -30 Z2Z42ZZ8 -33 Z3Z42ZZ8 -7 Z3Z43ZZ8 -Z4Z43ZZ8 -30 Z2Z44ZZ8 -33 Z3Z44ZZ8 +30 Z2Z41ZZ9 +40 Z3Z41ZZ9 +Z4Z41ZZ9 +30 Z2Z43ZZ9 +40 Z3Z43ZZ9 +Z4Z43ZZ9 > -0;
NCZZ6ZZ9: -10 Z2Z11ZZ8 -15 Z3Z11ZZ8 -5 Z3Z12ZZ8 -Z4Z12ZZ8 -5 Z3Z13ZZ8 -Z4Z13ZZ8 -10 Z2Z14ZZ8 -15 Z3Z14ZZ8 -7 Z3Z26ZZ8 -Z4Z26ZZ8 -7 Z3Z27ZZ8 -Z4Z27ZZ8 +10 Z2Z12ZZ9 +20 Z3Z12ZZ9 +Z4Z12ZZ9 +10 Z2Z13ZZ9 +20 Z3Z13ZZ9 +Z4Z13ZZ9 +15 Z2Z26ZZ9 +25 Z3Z26ZZ9 +Z4Z26ZZ9 +15 Z2Z27ZZ9 +25 Z3Z27ZZ9 +Z4Z27ZZ9 > 5;
NCZZ7ZZ9: -15 Z2Z17ZZ8 -18 Z3Z17ZZ8 -15 Z2Z18ZZ8 -18 Z3Z18ZZ8 -7 Z3Z31ZZ8 -Z4Z31ZZ8 -30 Z2Z32ZZ8 -33 Z3Z32ZZ8 -7 Z3Z33ZZ8 -Z4Z33ZZ8 -30 Z2Z34ZZ8 -33 Z3Z34ZZ8 +30 Z2Z31ZZ9 +40 Z3Z31ZZ9 +Z4Z31ZZ9 +30 Z2Z33ZZ9 +40 Z3Z33ZZ9 +Z4Z33ZZ9 > -0;
NCZZ8ZZ9: -15 Z2Z25ZZ8 -18 Z3Z25ZZ8 -15 Z2Z26ZZ8 -18 Z3Z26ZZ8 -30 Z2Z39ZZ8 -33 Z3Z39ZZ8 -7 Z3Z40ZZ8 -Z4Z40ZZ8 -30 Z2Z41ZZ8 -33 Z3Z41ZZ8 -7 Z3Z42ZZ8 -Z4Z42ZZ8 +30 Z2Z40ZZ9 +40 Z3Z40ZZ9 +Z4Z40ZZ9 +30 Z2Z42ZZ9 +40 Z3Z42ZZ9 +Z4Z42ZZ9 > -0;
NCZZ9ZZ9: -5 Z3ZZ3ZZ8 -Z4ZZ3ZZ8 -10 Z2ZZ4ZZ8 -15 Z3ZZ4ZZ8 -5 Z3ZZ5ZZ8 -Z4ZZ5ZZ8 -10 Z2ZZ6ZZ8 -15 Z3ZZ6ZZ8 -7 Z3Z18ZZ8 -Z4Z18ZZ8 -7 Z3Z19ZZ8 -Z4Z19ZZ8 +10 Z2ZZ3ZZ9 +20 Z3ZZ3ZZ9 +Z4ZZ3ZZ9 +10 Z2ZZ5ZZ9 +20 Z3ZZ5ZZ9 +Z4ZZ5ZZ9 +15 Z2Z18ZZ9 +25 Z3Z18ZZ9 +Z4Z18ZZ9 +15 Z2Z19ZZ9 +25 Z3Z19ZZ9 +Z4Z19ZZ9 > -0;
NCZ10ZZ9: -15 Z2Z19ZZ8 -18 Z3Z19ZZ8 -15 Z2Z20ZZ8 -18 Z3Z20ZZ8 -30 Z2Z33ZZ8 -33 Z3Z33ZZ8 -7 Z3Z34ZZ8 -Z4Z34ZZ8 -7 Z3Z35ZZ8 -Z4Z35ZZ8 -30 Z2Z36ZZ8 -33 Z3Z36ZZ8 -15 Z3Z46ZZ8 -Z4Z46ZZ8 +30 Z2Z34ZZ9 +40 Z3Z34ZZ9 +Z4Z34ZZ9 +30 Z2Z35ZZ9 +40 Z3Z35ZZ9 +Z4Z35ZZ9 +50 Z2Z46ZZ9 +80 Z3Z46ZZ9 +Z4Z46ZZ9 > -0;
NCZ11ZZ9: -15 Z2Z21ZZ8 -18 Z3Z21ZZ8 -15 Z2Z22ZZ8 -18 Z3Z22ZZ8 -30 Z2Z35ZZ8 -33 Z3Z35ZZ8 -7 Z3Z36ZZ8 -Z4Z36ZZ8 -7 Z3Z37ZZ8 -Z4Z37ZZ8 -30 Z2Z38ZZ8 -33 Z3Z38ZZ8 +30 Z2Z36ZZ9 +40 Z3Z36ZZ9 +Z4Z36ZZ9 +30 Z2Z37ZZ9 +40 Z3Z37ZZ9 +Z4Z37ZZ9 > -0;
NCZ12ZZ9: -15 Z2Z23ZZ8 -18 Z3Z23ZZ8 -15 Z2Z24ZZ8 -18 Z3Z24ZZ8 -30 Z2Z37ZZ8 -33 Z3Z37ZZ8 -7 Z3Z38ZZ8 -Z4Z38ZZ8 -7 Z3Z39ZZ8 -Z4Z39ZZ8 -30 Z2Z40ZZ8 -33 Z3Z40ZZ8 -15 Z3Z47ZZ8 -Z4Z47ZZ8 +30 Z2Z38ZZ9 +40 Z3Z38ZZ9 +Z4Z38ZZ9 +30 Z2Z39ZZ9 +40 Z3Z39ZZ9 +Z4Z39ZZ9 +50 Z2Z47ZZ9 +80 Z3Z47ZZ9 +Z4Z47ZZ9 > -0;
NCZ13ZZ9: -10 Z2ZZ9ZZ8 -15 Z3ZZ9ZZ8 -5 Z3Z10ZZ8 -Z4Z10ZZ8 -5 Z3Z11ZZ8 -Z4Z11ZZ8 -10 Z2Z12ZZ8 -15 Z3Z12ZZ8 -7 Z3Z24ZZ8 -Z4Z24ZZ8 -7 Z3Z25ZZ8 -Z4Z25ZZ8 +10 Z2Z10ZZ9 +20 Z3Z10ZZ9 +Z4Z10ZZ9 +10 Z2Z11ZZ9 +20 Z3Z11ZZ9 +Z4Z11ZZ9 +15 Z2Z24ZZ9 +25 Z3Z24ZZ9 +Z4Z24ZZ9 +15 Z2Z25ZZ9 +25 Z3Z25ZZ9 +Z4Z25ZZ9 > -0;
NCZ14ZZ9: -10 Z2ZZ5ZZ8 -15 Z3ZZ5ZZ8 -5 Z3ZZ6ZZ8 -Z4ZZ6ZZ8 -10 Z2ZZ7ZZ8 -15 Z3ZZ7ZZ8 -5 Z3ZZ8ZZ8 -Z4ZZ8ZZ8 -7 Z3Z20ZZ8 -Z4Z20ZZ8 -7 Z3Z21ZZ8 -Z4Z21ZZ8 +10 Z2ZZ6ZZ9 +20 Z3ZZ6ZZ9 +Z4ZZ6ZZ9 +10 Z2ZZ8ZZ9 +20 Z3ZZ8ZZ9 +Z4ZZ8ZZ9 +15 Z2Z20ZZ9 +25 Z3Z20ZZ9 +Z4Z20ZZ9 +15 Z2Z21ZZ9 +25 Z3Z21ZZ9 +Z4Z21ZZ9 > -0;
NCZ15ZZ9: -5 Z3ZZ7ZZ8 -Z4ZZ7ZZ8 -10 Z2ZZ8ZZ8 -15 Z3ZZ8ZZ8 -5 Z3ZZ9ZZ8 -Z4ZZ9ZZ8 -10 Z2Z10ZZ8 -15 Z3Z10ZZ8 -7 Z3Z22ZZ8 -Z4Z22ZZ8 -7 Z3Z23ZZ8 -Z4Z23ZZ8 +10 Z2ZZ7ZZ9 +20 Z3ZZ7ZZ9 +Z4ZZ7ZZ9 +10 Z2ZZ9ZZ9 +20 Z3ZZ9ZZ9 +Z4ZZ9ZZ9 +15 Z2Z22ZZ9 +25 Z3Z22ZZ9 +Z4Z22ZZ9 +15 Z2Z23ZZ9 +25 Z3Z23ZZ9 +Z4Z23ZZ9 > 5;
ACZZ1ZZ9: -5 Z3ZZ1ZZ8 -Z4ZZ1ZZ8 +10 Z2ZZ1ZZ9 +20 Z3ZZ1ZZ9 +Z4ZZ1ZZ9 > -0;
ACZZ2ZZ9: -5 Z3ZZ2ZZ8 -Z4ZZ2ZZ8 +10 Z2ZZ2ZZ9 +20 Z3ZZ2ZZ9 +Z4ZZ2ZZ9 > -0;
ACZZ3ZZ9: -5 Z3ZZ3ZZ8 -Z4ZZ3ZZ8 +10 Z2ZZ3ZZ9 +20 Z3ZZ3ZZ9 +Z4ZZ3ZZ9 > -0;
ACZZ4ZZ9: -5 Z3ZZ4ZZ8 -Z4ZZ4ZZ8 +10 Z2ZZ4ZZ9 +20 Z3ZZ4ZZ9 +Z4ZZ4ZZ9 > -0;
ACZZ5ZZ9: -5 Z3ZZ5ZZ8 -Z4ZZ5ZZ8 +10 Z2ZZ5ZZ9 +20 Z3ZZ5ZZ9 +Z4ZZ5ZZ9 > -0;
ACZZ6ZZ9: -5 Z3ZZ6ZZ8 -Z4ZZ6ZZ8 +10 Z2ZZ6ZZ9 +20 Z3ZZ6ZZ9 +Z4ZZ6ZZ9 > -0;
ACZZ7ZZ9: -5 Z3ZZ7ZZ8 -Z4ZZ7ZZ8 +10 Z2ZZ7ZZ9 +20 Z3ZZ7ZZ9 +Z4ZZ7ZZ9 > -0;
ACZZ8ZZ9: -5 Z3ZZ8ZZ8 -Z4ZZ8ZZ8 +10 Z2ZZ8ZZ9 +20 Z3ZZ8ZZ9 +Z4ZZ8ZZ9 > -0;
ACZZ9ZZ9: -5 Z3ZZ9ZZ8 -Z4ZZ9ZZ8 +10 Z2ZZ9ZZ9 +20 Z3ZZ9ZZ9 +Z4ZZ9ZZ9 > -0;
ACZ10ZZ9: -5 Z3Z10ZZ8 -Z4Z10ZZ8 +10 Z2Z10ZZ9 +20 Z3Z10ZZ9 +Z4Z10ZZ9 > -0;
ACZ11ZZ9: -5 Z3Z11ZZ8 -Z4Z11ZZ8 +10 Z2Z11ZZ9 +20 Z3Z11ZZ9 +Z4Z11ZZ9 > -0;
ACZ12ZZ9: -5 Z3Z12ZZ8 -Z4Z12ZZ8 +10 Z2Z12ZZ9 +20 Z3Z12ZZ9 +Z4Z12ZZ9 > -0;
ACZ13ZZ9: -5 Z3Z13ZZ8 -Z4Z13ZZ8 +10 Z2Z13ZZ9 +20 Z3Z13ZZ9 +Z4Z13ZZ9 > -0;
ACZ14ZZ9: -5 Z3Z14ZZ8 -Z4Z14ZZ8 +10 Z2Z14ZZ9 +20 Z3Z14ZZ9 +Z4Z14ZZ9 > -0;
ACZ15ZZ9: -5 Z3Z15ZZ8 -Z4Z15ZZ8 +10 Z2Z15ZZ9 +20 Z3Z15ZZ9 +Z4Z15ZZ9 > -0;
ACZ16ZZ9: -5 Z3Z16ZZ8 -Z4Z16ZZ8 +10 Z2Z16ZZ9 +20 Z3Z16ZZ9 +Z4Z16ZZ9 > -0;
ACZ17ZZ9: -7 Z3Z17ZZ8 -Z4Z17ZZ8 +15 Z2Z17ZZ9 +25 Z3Z17ZZ9 +Z4Z17ZZ9 > -0;
ACZ18ZZ9: -7 Z3Z18ZZ8 -Z4Z18ZZ8 +15 Z2Z18ZZ9 +25 Z3Z18ZZ9 +Z4Z18ZZ9 > -0;
ACZ19ZZ9: -7 Z3Z19ZZ8 -Z4Z19ZZ8 +15 Z2Z19ZZ9 +25 Z3Z19ZZ9 +Z4Z19ZZ9 > -0;
ACZ20ZZ9: -7 Z3Z20ZZ8 -Z4Z20ZZ8 +15 Z2Z20ZZ9 +25 Z3Z20ZZ9 +Z4Z20ZZ9 > -0;
ACZ21ZZ9: -7 Z3Z21ZZ8 -Z4Z21ZZ8 +15 Z2Z21ZZ9 +25 Z3Z21ZZ9 +Z4Z21ZZ9 > -0;
ACZ22ZZ9: -7 Z3Z22ZZ8 -Z4Z22ZZ8 +15 Z2Z22ZZ9 +25 Z3Z22ZZ9 +Z4Z22ZZ9 > -0;
ACZ23ZZ9: -7 Z3Z23ZZ8 -Z4Z23ZZ8 +15 Z2Z23ZZ9 +25 Z3Z23ZZ9 +Z4Z23ZZ9 > -0;
ACZ24ZZ9: -7 Z3Z24ZZ8 -Z4Z24ZZ8 +15 Z2Z24ZZ9 +25 Z3Z24ZZ9 +Z4Z24ZZ9 > -0;
ACZ25ZZ9: -7 Z3Z25ZZ8 -Z4Z25ZZ8 +15 Z2Z25ZZ9 +25 Z3Z25ZZ9 +Z4Z25ZZ9 > -0;
ACZ26ZZ9: -7 Z3Z26ZZ8 -Z4Z26ZZ8 +15 Z2Z26ZZ9 +25 Z3Z26ZZ9 +Z4Z26ZZ9 > -0;
ACZ27ZZ9: -7 Z3Z27ZZ8 -Z4Z27ZZ8 +15 Z2Z27ZZ9 +25 Z3Z27ZZ9 +Z4Z27ZZ9 > -0;
ACZ28ZZ9: -7 Z3Z28ZZ8 -Z4Z28ZZ8 +15 Z2Z28ZZ9 +25 Z3Z28ZZ9 +Z4Z28ZZ9 > -0;
ACZ29ZZ9: -7 Z3Z29ZZ8 -Z4Z29ZZ8 +15 Z2Z29ZZ9 +25 Z3Z29ZZ9 +Z4Z29ZZ9 > -0;
ACZ30ZZ9: -7 Z3Z30ZZ8 -Z4Z30ZZ8 +15 Z2Z30ZZ9 +25 Z3Z30ZZ9 +Z4Z30ZZ9 > -0;
ACZ31ZZ9: -7 Z3Z31ZZ8 -Z4Z31ZZ8 +30 Z2Z31ZZ9 +40 Z3Z31ZZ9 +Z4Z31ZZ9 > -0;
ACZ32ZZ9: -7 Z3Z32ZZ8 -Z4Z32ZZ8 +30 Z2Z32ZZ9 +40 Z3Z32ZZ9 +Z4Z32ZZ9 > -0;
ACZ33ZZ9: -7 Z3Z33ZZ8 -Z4Z33ZZ8 +30 Z2Z33ZZ9 +40 Z3Z33ZZ9 +Z4Z33ZZ9 > -0;
ACZ34ZZ9: -7 Z3Z34ZZ8 -Z4Z34ZZ8 +30 Z2Z34ZZ9 +40 Z3Z34ZZ9 +Z4Z34ZZ9 > -0;
ACZ35ZZ9: -7 Z3Z35ZZ8 -Z4Z35ZZ8 +30 Z2Z35ZZ9 +40 Z3Z35ZZ9 +Z4Z35ZZ9 > -0;
ACZ36ZZ9: -7 Z3Z36ZZ8 -Z4Z36ZZ8 +30 Z2Z36ZZ9 +40 Z3Z36ZZ9 +Z4Z36ZZ9 > -0;
ACZ37ZZ9: -7 Z3Z37ZZ8 -Z4Z37ZZ8 +30 Z2Z37ZZ9 +40 Z3Z37ZZ9 +Z4Z37ZZ9 > -0;
ACZ38ZZ9: -7 Z3Z38ZZ8 -Z4Z38ZZ8 +30 Z2Z38ZZ9 +40 Z3Z38ZZ9 +Z4Z38ZZ9 > -0;
ACZ39ZZ9: -7 Z3Z39ZZ8 -Z4Z39ZZ8 +30 Z2Z39ZZ9 +40 Z3Z39ZZ9 +Z4Z39ZZ9 > -0;
ACZ40ZZ9: -7 Z3Z40ZZ8 -Z4Z40ZZ8 +30 Z2Z40ZZ9 +40 Z3Z40ZZ9 +Z4Z40ZZ9 > -0;
ACZ41ZZ9: -7 Z3Z41ZZ8 -Z4Z41ZZ8 +30 Z2Z41ZZ9 +40 Z3Z41ZZ9 +Z4Z41ZZ9 > -0;
ACZ42ZZ9: -7 Z3Z42ZZ8 -Z4Z42ZZ8 +30 Z2Z42ZZ9 +40 Z3Z42ZZ9 +Z4Z42ZZ9 > -0;
ACZ43ZZ9: -7 Z3Z43ZZ8 -Z4Z43ZZ8 +30 Z2Z43ZZ9 +40 Z3Z43ZZ9 +Z4Z43ZZ9 > -0;
ACZ44ZZ9: -7 Z3Z44ZZ8 -Z4Z44ZZ8 +30 Z2Z44ZZ9 +40 Z3Z44ZZ9 +Z4Z44ZZ9 > -0;
ACZ45ZZ9: -15 Z3Z45ZZ8 -Z4Z45ZZ8 +50 Z2Z45ZZ9 +80 Z3Z45ZZ9 +Z4Z45ZZ9 > -0;
ACZ46ZZ9: -15 Z3Z46ZZ8 -Z4Z46ZZ8 +50 Z2Z46ZZ9 +80 Z3Z46ZZ9 +Z4Z46ZZ9 > -0;
ACZ47ZZ9: -15 Z3Z47ZZ8 -Z4Z47ZZ8 +50 Z2Z47ZZ9 +80 Z3Z47ZZ9 +Z4Z47ZZ9 > -0;
CCZZ1ZZ9: +Z1ZZ1ZZ9 +Z2ZZ1ZZ9 +Z3ZZ1ZZ9 = 1;
CCZZ2ZZ9: +Z1ZZ2ZZ9 +Z2ZZ2ZZ9 +Z3ZZ2ZZ9 = 1;
CCZZ3ZZ9: +Z1ZZ3ZZ9 +Z2ZZ3ZZ9 +Z3ZZ3ZZ9 = 1;
CCZZ4ZZ9: +Z1ZZ4ZZ9 +Z2ZZ4ZZ9 +Z3ZZ4ZZ9 = 1;
CCZZ5ZZ9: +Z1ZZ5ZZ9 +Z2ZZ5ZZ9 +Z3ZZ5ZZ9 = 1;
CCZZ6ZZ9: +Z1ZZ6ZZ9 +Z2ZZ6ZZ9 +Z3ZZ6ZZ9 = 1;
CCZZ7ZZ9: +Z1ZZ7ZZ9 +Z2ZZ7ZZ9 +Z3ZZ7ZZ9 = 1;
CCZZ8ZZ9: +Z1ZZ8ZZ9 +Z2ZZ8ZZ9 +Z3ZZ8ZZ9 = 1;
CCZZ9ZZ9: +Z1ZZ9ZZ9 +Z2ZZ9ZZ9 +Z3ZZ9ZZ9 = 1;
CCZ10ZZ9: +Z1Z10ZZ9 +Z2Z10ZZ9 +Z3Z10ZZ9 = 1;
CCZ11ZZ9: +Z1Z11ZZ9 +Z2Z11ZZ9 +Z3Z11ZZ9 = 1;
CCZ12ZZ9: +Z1Z12ZZ9 +Z2Z12ZZ9 +Z3Z12ZZ9 = 1;
CCZ13ZZ9: +Z1Z13ZZ9 +Z2Z13ZZ9 +Z3Z13ZZ9 = 1;
CCZ14ZZ9: +Z1Z14ZZ9 +Z2Z14ZZ9 +Z3Z14ZZ9 = 1;
CCZ15ZZ9: +Z1Z15ZZ9 +Z2Z15ZZ9 +Z3Z15ZZ9 = 1;
CCZ16ZZ9: +Z1Z16ZZ9 +Z2Z16ZZ9 +Z3Z16ZZ9 = 1;
CCZ17ZZ9: +Z1Z17ZZ9 +Z2Z17ZZ9 +Z3Z17ZZ9 = 1;
CCZ18ZZ9: +Z1Z18ZZ9 +Z2Z18ZZ9 +Z3Z18ZZ9 = 1;
CCZ19ZZ9: +Z1Z19ZZ9 +Z2Z19ZZ9 +Z3Z19ZZ9 = 1;
CCZ20ZZ9: +Z1Z20ZZ9 +Z2Z20ZZ9 +Z3Z20ZZ9 = 1;
CCZ21ZZ9: +Z1Z21ZZ9 +Z2Z21ZZ9 +Z3Z21ZZ9 = 1;
CCZ22ZZ9: +Z1Z22ZZ9 +Z2Z22ZZ9 +Z3Z22ZZ9 = 1;
CCZ23ZZ9: +Z1Z23ZZ9 +Z2Z23ZZ9 +Z3Z23ZZ9 = 1;
CCZ24ZZ9: +Z1Z24ZZ9 +Z2Z24ZZ9 +Z3Z24ZZ9 = 1;
CCZ25ZZ9: +Z1Z25ZZ9 +Z2Z25ZZ9 +Z3Z25ZZ9 = 1;
CCZ26ZZ9: +Z1Z26ZZ9 +Z2Z26ZZ9 +Z3Z26ZZ9 = 1;
CCZ27ZZ9: +Z1Z27ZZ9 +Z2Z27ZZ9 +Z3Z27ZZ9 = 1;
CCZ28ZZ9: +Z1Z28ZZ9 +Z2Z28ZZ9 +Z3Z28ZZ9 = 1;
CCZ29ZZ9: +Z1Z29ZZ9 +Z2Z29ZZ9 +Z3Z29ZZ9 = 1;
CCZ30ZZ9: +Z1Z30ZZ9 +Z2Z30ZZ9 +Z3Z30ZZ9 = 1;
CCZ31ZZ9: +Z1Z31ZZ9 +Z2Z31ZZ9 +Z3Z31ZZ9 = 1;
CCZ32ZZ9: +Z1Z32ZZ9 +Z2Z32ZZ9 +Z3Z32ZZ9 = 1;
CCZ33ZZ9: +Z1Z33ZZ9 +Z2Z33ZZ9 +Z3Z33ZZ9 = 1;
CCZ34ZZ9: +Z1Z34ZZ9 +Z2Z34ZZ9 +Z3Z34ZZ9 = 1;
CCZ35ZZ9: +Z1Z35ZZ9 +Z2Z35ZZ9 +Z3Z35ZZ9 = 1;
CCZ36ZZ9: +Z1Z36ZZ9 +Z2Z36ZZ9 +Z3Z36ZZ9 = 1;
CCZ37ZZ9: +Z1Z37ZZ9 +Z2Z37ZZ9 +Z3Z37ZZ9 = 1;
CCZ38ZZ9: +Z1Z38ZZ9 +Z2Z38ZZ9 +Z3Z38ZZ9 = 1;
CCZ39ZZ9: +Z1Z39ZZ9 +Z2Z39ZZ9 +Z3Z39ZZ9 = 1;
CCZ40ZZ9: +Z1Z40ZZ9 +Z2Z40ZZ9 +Z3Z40ZZ9 = 1;
CCZ41ZZ9: +Z1Z41ZZ9 +Z2Z41ZZ9 +Z3Z41ZZ9 = 1;
CCZ42ZZ9: +Z1Z42ZZ9 +Z2Z42ZZ9 +Z3Z42ZZ9 = 1;
CCZ43ZZ9: +Z1Z43ZZ9 +Z2Z43ZZ9 +Z3Z43ZZ9 = 1;
CCZ44ZZ9: +Z1Z44ZZ9 +Z2Z44ZZ9 +Z3Z44ZZ9 = 1;
CCZ45ZZ9: +Z1Z45ZZ9 +Z2Z45ZZ9 +Z3Z45ZZ9 = 1;
CCZ46ZZ9: +Z1Z46ZZ9 +Z2Z46ZZ9 +Z3Z46ZZ9 = 1;
CCZ47ZZ9: +Z1Z47ZZ9 +Z2Z47ZZ9 +Z3Z47ZZ9 = 1;
NCZZ1Z10: -10 Z2ZZ1ZZ9 -15 Z3ZZ1ZZ9 -5 Z3ZZ2ZZ9 -Z4ZZ2ZZ9 -10 Z2Z15ZZ9 -15 Z3Z15ZZ9 -5 Z3Z16ZZ9 -Z4Z16ZZ9 -7 Z3Z30ZZ9 -Z4Z30ZZ9 +10 Z2ZZ2Z10 +20 Z3ZZ2Z10 +Z4ZZ2Z10 +10 Z2Z16Z10 +20 Z3Z16Z10 +Z4Z16Z10 +15 Z2Z30Z10 +25 Z3Z30Z10 +Z4Z30Z10 > -0;
NCZZ2Z10: -10 Z2Z13ZZ9 -15 Z3Z13ZZ9 -5 Z3Z14ZZ9 -Z4Z14ZZ9 -5 Z3Z15ZZ9 -Z4Z15ZZ9 -10 Z2Z16ZZ9 -15 Z3Z16ZZ9 -7 Z3Z28ZZ9 -Z4Z28ZZ9 -7 Z3Z29ZZ9 -Z4Z29ZZ9 +10 Z2Z14Z10 +20 Z3Z14Z10 +Z4Z14Z10 +10 Z2Z15Z10 +20 Z3Z15Z10 +Z4Z15Z10 +15 Z2Z28Z10 +25 Z3Z28Z10 +Z4Z28Z10 +15 Z2Z29Z10 +25 Z3Z29Z10 +Z4Z29Z10 > -0;
NCZZ3Z10: -5 Z3ZZ1ZZ9 -Z4ZZ1ZZ9 -10 Z2ZZ2ZZ9 -15 Z3ZZ2ZZ9 -10 Z2ZZ3ZZ9 -15 Z3ZZ3ZZ9 -5 Z3ZZ4ZZ9 -Z4ZZ4ZZ9 -7 Z3Z17ZZ9 -Z4Z17ZZ9 +10 Z2ZZ1Z10 +20 Z3ZZ1Z10 +Z4ZZ1Z10 +10 Z2ZZ4Z10 +20 Z3ZZ4Z10 +Z4ZZ4Z10 +15 Z2Z17Z10 +25 Z3Z17Z10 +Z4Z17Z10 > -0;
NCZZ4Z10: -15 Z2Z29ZZ9 -18 Z3Z29ZZ9 -15 Z2Z30ZZ9 -18 Z3Z30ZZ9 -30 Z2Z31ZZ9 -33 Z3Z31ZZ9 -7 Z3Z32ZZ9 -Z4Z32ZZ9 -30 Z2Z43ZZ9 -33 Z3Z43ZZ9 -7 Z3Z44ZZ9 -Z4Z44ZZ9 -15 Z3Z45ZZ9 -Z4Z45ZZ9 +30 Z2Z32Z10 +40 Z3Z32Z10 +Z4Z32Z10 +30 Z2Z44Z10 +40 Z3Z44Z10 +Z4Z44Z10 +50 Z2Z45Z10 +80 Z3Z45Z10 +Z4Z45Z10 > -0;
NCZZ5Z10: -15 Z2Z27ZZ9 -18 Z3Z27ZZ9 -15 Z2Z28ZZ9 -18 Z3Z28ZZ9 -7 Z3Z41ZZ9 -Z4Z41ZZ9 -30 Z2Z42ZZ9 -33 Z3Z42ZZ9 -7 Z3Z43ZZ9 -Z4Z43ZZ9 -30 Z2Z44ZZ9 -33 Z3Z44ZZ9 +30 Z2Z41Z10 +40 Z3Z41Z10 +Z4Z41Z10 +30 Z2Z43Z10 +40 Z3Z43Z10 +Z4Z43Z10 > -0;
NCZZ6Z10: -10 Z2Z11ZZ9 -15 Z3Z11ZZ9 -5 Z3Z12ZZ9 -Z4Z12ZZ9 -5 Z3Z13ZZ9 -Z4Z13ZZ9 -10 Z2Z14ZZ9 -15 Z3Z14ZZ9 -7 Z3Z26ZZ9 -Z4Z26ZZ9 -7 Z3Z27ZZ9 -Z4Z27ZZ9 +10 Z2Z12Z10 +20 Z3Z12Z10 +Z4Z12Z10 +10 Z2Z13Z10 +20 Z3Z13Z10 +Z4Z13Z10 +15 Z2Z26Z10 +25 Z3Z26Z10 +Z4Z26Z10 +15 Z2Z27Z10 +25 Z3Z27Z10 +Z4Z27Z10 > -0;
NCZZ7Z10: -15 Z2Z17ZZ9 -18 Z3Z17ZZ9 -15 Z2Z18ZZ9 -18 Z3Z18ZZ9 -7 Z3Z31ZZ9 -Z4Z31ZZ9 -30 Z2Z32ZZ9 -33 Z3Z32ZZ9 -7 Z3Z33ZZ9 -Z4Z33ZZ9 -30 Z2Z34ZZ9 -33 Z3Z34ZZ9 +30 Z2Z31Z10 +40 Z3Z31Z10 +Z4Z31Z10 +30 Z2Z33Z10 +40 Z3Z33Z10 +Z4Z33Z10 > -0;
NCZZ8Z10: -15 Z2Z25ZZ9 -18 Z3Z25ZZ9 -15 Z2Z26ZZ9 -18 Z3Z26ZZ9 -30 Z2Z39ZZ9 -33 Z3Z39ZZ9 -7 Z3Z40ZZ9 -Z4Z40ZZ9 -30 Z2Z41ZZ9 -33 Z3Z41ZZ9 -7 Z3Z42ZZ9 -Z4Z42ZZ9 +30 Z2Z40Z10 +40 Z3Z40Z10 +Z4Z40Z10 +30 Z2Z42Z10 +40 Z3Z42Z10 +Z4Z42Z10 > -0;
NCZZ9Z10: -5 Z3ZZ3ZZ9 -Z4ZZ3ZZ9 -10 Z2ZZ4ZZ9 -15 Z3ZZ4ZZ9 -5 Z3ZZ5ZZ9 -Z4ZZ5ZZ9 -10 Z2ZZ6ZZ9 -15 Z3ZZ6ZZ9 -7 Z3Z18ZZ9 -Z4Z18ZZ9 -7 Z3Z19ZZ9 -Z4Z19ZZ9 +10 Z2ZZ3Z10 +20 Z3ZZ3Z10 +Z4ZZ3Z10 +10 Z2ZZ5Z10 +20 Z3ZZ5Z10 +Z4ZZ5Z10 +15 Z2Z18Z10 +25 Z3Z18Z10 +Z4Z18Z10 +15 Z2Z19Z10 +25 Z3Z19Z10 +Z4Z19Z10 > -0;
NCZ10Z10: -15 Z2Z19ZZ9 -18 Z3Z19ZZ9 -15 Z2Z20ZZ9 -18 Z3Z20ZZ9 -30 Z2Z33ZZ9 -33 Z3Z33ZZ9 -7 Z3Z34ZZ9 -Z4Z34ZZ9 -7 Z3Z35ZZ9 -Z4Z35ZZ9 -30 Z2Z36ZZ9 -33 Z3Z36ZZ9 -15 Z3Z46ZZ9 -Z4Z46ZZ9 +30 Z2Z34Z10 +40 Z3Z34Z10 +Z4Z34Z10 +30 Z2Z35Z10 +40 Z3Z35Z10 +Z4Z35Z10 +50 Z2Z46Z10 +80 Z3Z46Z10 +Z4Z46Z10 > -0;
NCZ11Z10: -15 Z2Z21ZZ9 -18 Z3Z21ZZ9 -15 Z2Z22ZZ9 -18 Z3Z22ZZ9 -30 Z2Z35ZZ9 -33 Z3Z35ZZ9 -7 Z3Z36ZZ9 -Z4Z36ZZ9 -7 Z3Z37ZZ9 -Z4Z37ZZ9 -30 Z2Z38ZZ9 -33 Z3Z38ZZ9 +30 Z2Z36Z10 +40 Z3Z36Z10 +Z4Z36Z10 +30 Z2Z37Z10 +40 Z3Z37Z10 +Z4Z37Z10 > -0;
NCZ12Z10: -15 Z2Z23ZZ9 -18 Z3Z23ZZ9 -15 Z2Z24ZZ9 -18 Z3Z24ZZ9 -30 Z2Z37ZZ9 -33 Z3Z37ZZ9 -7 Z3Z38ZZ9 -Z4Z38ZZ9 -7 Z3Z39ZZ9 -Z4Z39ZZ9 -30 Z2Z40ZZ9 -33 Z3Z40ZZ9 -15 Z3Z47ZZ9 -Z4Z47ZZ9 +30 Z2Z38Z10 +40 Z3Z38Z10 +Z4Z38Z10 +30 Z2Z39Z10 +40 Z3Z39Z10 +Z4Z39Z10 +50 Z2Z47Z10 +80 Z3Z47Z10 +Z4Z47Z10 > -0;
NCZ13Z10: -10 Z2ZZ9ZZ9 -15 Z3ZZ9ZZ9 -5 Z3Z10ZZ9 -Z4Z10ZZ9 -5 Z3Z11ZZ9 -Z4Z11ZZ9 -10 Z2Z12ZZ9 -15 Z3Z12ZZ9 -7 Z3Z24ZZ9 -Z4Z24ZZ9 -7 Z3Z25ZZ9 -Z4Z25ZZ9 +10 Z2Z10Z10 +20 Z3Z10Z10 +Z4Z10Z10 +10 Z2Z11Z10 +20 Z3Z11Z10 +Z4Z11Z10 +15 Z2Z24Z10 +25 Z3Z24Z10 +Z4Z24Z10 +15 Z2Z25Z10 +25 Z3Z25Z10 +Z4Z25Z10 > -0;
NCZ14Z10: -10 Z2ZZ5ZZ9 -15 Z3ZZ5ZZ9 -5 Z3ZZ6ZZ9 -Z4ZZ6ZZ9 -10 Z2ZZ7ZZ9 -15 Z3ZZ7ZZ9 -5 Z3ZZ8ZZ9 -Z4ZZ8ZZ9 -7 Z3Z20ZZ9 -Z4Z20ZZ9 -7 Z3Z21ZZ9 -Z4Z21ZZ9 +10 Z2ZZ6Z10 +20 Z3ZZ6Z10 +Z4ZZ6Z10 +10 Z2ZZ8Z10 +20 Z3ZZ8Z10 +Z4ZZ8Z10 +15 Z2Z20Z10 +25 Z3Z20Z10 +Z4Z20Z10 +15 Z2Z21Z10 +25 Z3Z21Z10 +Z4Z21Z10 > -0;
NCZ15Z10: -5 Z3ZZ7ZZ9 -Z4ZZ7ZZ9 -10 Z2ZZ8ZZ9 -15 Z3ZZ8ZZ9 -5 Z3ZZ9ZZ9 -Z4ZZ9ZZ9 -10 Z2Z10ZZ9 -15 Z3Z10ZZ9 -7 Z3Z22ZZ9 -Z4Z22ZZ9 -7 Z3Z23ZZ9 -Z4Z23ZZ9 +10 Z2ZZ7Z10 +20 Z3ZZ7Z10 +Z4ZZ7Z10 +10 Z2ZZ9Z10 +20 Z3ZZ9Z10 +Z4ZZ9Z10 +15 Z2Z22Z10 +25 Z3Z22Z10 +Z4Z22Z10 +15 Z2Z23Z10 +25 Z3Z23Z10 +Z4Z23Z10 > -0;
ACZZ1Z10: -5 Z3ZZ1ZZ9 -Z4ZZ1ZZ9 +10 Z2ZZ1Z10 +20 Z3ZZ1Z10 +Z4ZZ1Z10 > -0;
ACZZ2Z10: -5 Z3ZZ2ZZ9 -Z4ZZ2ZZ9 +10 Z2ZZ2Z10 +20 Z3ZZ2Z10 +Z4ZZ2Z10 > -0;
ACZZ3Z10: -5 Z3ZZ3ZZ9 -Z4ZZ3ZZ9 +10 Z2ZZ3Z10 +20 Z3ZZ3Z10 +Z4ZZ3Z10 > -0;
ACZZ4Z10: -5 Z3ZZ4ZZ9 -Z4ZZ4ZZ9 +10 Z2ZZ4Z10 +20 Z3ZZ4Z10 +Z4ZZ4Z10 > -0;
ACZZ5Z10: -5 Z3ZZ5ZZ9 -Z4ZZ5ZZ9 +10 Z2ZZ5Z10 +20 Z3ZZ5Z10 +Z4ZZ5Z10 > -0;
ACZZ6Z10: -5 Z3ZZ6ZZ9 -Z4ZZ6ZZ9 +10 Z2ZZ6Z10 +20 Z3ZZ6Z10 +Z4ZZ6Z10 > -0;
ACZZ7Z10: -5 Z3ZZ7ZZ9 -Z4ZZ7ZZ9 +10 Z2ZZ7Z10 +20 Z3ZZ7Z10 +Z4ZZ7Z10 > -0;
ACZZ8Z10: -5 Z3ZZ8ZZ9 -Z4ZZ8ZZ9 +10 Z2ZZ8Z10 +20 Z3ZZ8Z10 +Z4ZZ8Z10 > -0;
ACZZ9Z10: -5 Z3ZZ9ZZ9 -Z4ZZ9ZZ9 +10 Z2ZZ9Z10 +20 Z3ZZ9Z10 +Z4ZZ9Z10 > -0;
ACZ10Z10: -5 Z3Z10ZZ9 -Z4Z10ZZ9 +10 Z2Z10Z10 +20 Z3Z10Z10 +Z4Z10Z10 > -0;
ACZ11Z10: -5 Z3Z11ZZ9 -Z4Z11ZZ9 +10 Z2Z11Z10 +20 Z3Z11Z10 +Z4Z11Z10 > -0;
ACZ12Z10: -5 Z3Z12ZZ9 -Z4Z12ZZ9 +10 Z2Z12Z10 +20 Z3Z12Z10 +Z4Z12Z10 > -0;
ACZ13Z10: -5 Z3Z13ZZ9 -Z4Z13ZZ9 +10 Z2Z13Z10 +20 Z3Z13Z10 +Z4Z13Z10 > -0;
ACZ14Z10: -5 Z3Z14ZZ9 -Z4Z14ZZ9 +10 Z2Z14Z10 +20 Z3Z14Z10 +Z4Z14Z10 > -0;
ACZ15Z10: -5 Z3Z15ZZ9 -Z4Z15ZZ9 +10 Z2Z15Z10 +20 Z3Z15Z10 +Z4Z15Z10 > -0;
ACZ16Z10: -5 Z3Z16ZZ9 -Z4Z16ZZ9 +10 Z2Z16Z10 +20 Z3Z16Z10 +Z4Z16Z10 > -0;
ACZ17Z10: -7 Z3Z17ZZ9 -Z4Z17ZZ9 +15 Z2Z17Z10 +25 Z3Z17Z10 +Z4Z17Z10 > -0;
ACZ18Z10: -7 Z3Z18ZZ9 -Z4Z18ZZ9 +15 Z2Z18Z10 +25 Z3Z18Z10 +Z4Z18Z10 > -0;
ACZ19Z10: -7 Z3Z19ZZ9 -Z4Z19ZZ9 +15 Z2Z19Z10 +25 Z3Z19Z10 +Z4Z19Z10 > -0;
ACZ20Z10: -7 Z3Z20ZZ9 -Z4Z20ZZ9 +15 Z2Z20Z10 +25 Z3Z20Z10 +Z4Z20Z10 > -0;
ACZ21Z10: -7 Z3Z21ZZ9 -Z4Z21ZZ9 +15 Z2Z21Z10 +25 Z3Z21Z10 +Z4Z21Z10 > -0;
ACZ22Z10: -7 Z3Z22ZZ9 -Z4Z22ZZ9 +15 Z2Z22Z10 +25 Z3Z22Z10 +Z4Z22Z10 > -0;
ACZ23Z10: -7 Z3Z23ZZ9 -Z4Z23ZZ9 +15 Z2Z23Z10 +25 Z3Z23Z10 +Z4Z23Z10 > -0;
ACZ24Z10: -7 Z3Z24ZZ9 -Z4Z24ZZ9 +15 Z2Z24Z10 +25 Z3Z24Z10 +Z4Z24Z10 > -0;
ACZ25Z10: -7 Z3Z25ZZ9 -Z4Z25ZZ9 +15 Z2Z25Z10 +25 Z3Z25Z10 +Z4Z25Z10 > -0;
ACZ26Z10: -7 Z3Z26ZZ9 -Z4Z26ZZ9 +15 Z2Z26Z10 +25 Z3Z26Z10 +Z4Z26Z10 > -0;
ACZ27Z10: -7 Z3Z27ZZ9 -Z4Z27ZZ9 +15 Z2Z27Z10 +25 Z3Z27Z10 +Z4Z27Z10 > -0;
ACZ28Z10: -7 Z3Z28ZZ9 -Z4Z28ZZ9 +15 Z2Z28Z10 +25 Z3Z28Z10 +Z4Z28Z10 > -0;
ACZ29Z10: -7 Z3Z29ZZ9 -Z4Z29ZZ9 +15 Z2Z29Z10 +25 Z3Z29Z10 +Z4Z29Z10 > -0;
ACZ30Z10: -7 Z3Z30ZZ9 -Z4Z30ZZ9 +15 Z2Z30Z10 +25 Z3Z30Z10 +Z4Z30Z10 > -0;
ACZ31Z10: -7 Z3Z31ZZ9 -Z4Z31ZZ9 +30 Z2Z31Z10 +40 Z3Z31Z10 +Z4Z31Z10 > -0;
ACZ32Z10: -7 Z3Z32ZZ9 -Z4Z32ZZ9 +30 Z2Z32Z10 +40 Z3Z32Z10 +Z4Z32Z10 > -0;
ACZ33Z10: -7 Z3Z33ZZ9 -Z4Z33ZZ9 +30 Z2Z33Z10 +40 Z3Z33Z10 +Z4Z33Z10 > -0;
ACZ34Z10: -7 Z3Z34ZZ9 -Z4Z34ZZ9 +30 Z2Z34Z10 +40 Z3Z34Z10 +Z4Z34Z10 > -0;
ACZ35Z10: -7 Z3Z35ZZ9 -Z4Z35ZZ9 +30 Z2Z35Z10 +40 Z3Z35Z10 +Z4Z35Z10 > -0;
ACZ36Z10: -7 Z3Z36ZZ9 -Z4Z36ZZ9 +30 Z2Z36Z10 +40 Z3Z36Z10 +Z4Z36Z10 > -0;
ACZ37Z10: -7 Z3Z37ZZ9 -Z4Z37ZZ9 +30 Z2Z37Z10 +40 Z3Z37Z10 +Z4Z37Z10 > -0;
ACZ38Z10: -7 Z3Z38ZZ9 -Z4Z38ZZ9 +30 Z2Z38Z10 +40 Z3Z38Z10 +Z4Z38Z10 > -0;
ACZ39Z10: -7 Z3Z39ZZ9 -Z4Z39ZZ9 +30 Z2Z39Z10 +40 Z3Z39Z10 +Z4Z39Z10 > -0;
ACZ40Z10: -7 Z3Z40ZZ9 -Z4Z40ZZ9 +30 Z2Z40Z10 +40 Z3Z40Z10 +Z4Z40Z10 > -0;
ACZ41Z10: -7 Z3Z41ZZ9 -Z4Z41ZZ9 +30 Z2Z41Z10 +40 Z3Z41Z10 +Z4Z41Z10 > -0;
ACZ42Z10: -7 Z3Z42ZZ9 -Z4Z42ZZ9 +30 Z2Z42Z10 +40 Z3Z42Z10 +Z4Z42Z10 > -0;
ACZ43Z10: -7 Z3Z43ZZ9 -Z4Z43ZZ9 +30 Z2Z43Z10 +40 Z3Z43Z10 +Z4Z43Z10 > -0;
ACZ44Z10: -7 Z3Z44ZZ9 -Z4Z44ZZ9 +30 Z2Z44Z10 +40 Z3Z44Z10 +Z4Z44Z10 > -0;
ACZ45Z10: -15 Z3Z45ZZ9 -Z4Z45ZZ9 +50 Z2Z45Z10 +80 Z3Z45Z10 +Z4Z45Z10 > -0;
ACZ46Z10: -15 Z3Z46ZZ9 -Z4Z46ZZ9 +50 Z2Z46Z10 +80 Z3Z46Z10 +Z4Z46Z10 > -0;
ACZ47Z10: -15 Z3Z47ZZ9 -Z4Z47ZZ9 +50 Z2Z47Z10 +80 Z3Z47Z10 +Z4Z47Z10 > -0;
CCZZ1Z10: +Z1ZZ1Z10 +Z2ZZ1Z10 +Z3ZZ1Z10 = 1;
CCZZ2Z10: +Z1ZZ2Z10 +Z2ZZ2Z10 +Z3ZZ2Z10 = 1;
CCZZ3Z10: +Z1ZZ3Z10 +Z2ZZ3Z10 +Z3ZZ3Z10 = 1;
CCZZ4Z10: +Z1ZZ4Z10 +Z2ZZ4Z10 +Z3ZZ4Z10 = 1;
CCZZ5Z10: +Z1ZZ5Z10 +Z2ZZ5Z10 +Z3ZZ5Z10 = 1;
CCZZ6Z10: +Z1ZZ6Z10 +Z2ZZ6Z10 +Z3ZZ6Z10 = 1;
CCZZ7Z10: +Z1ZZ7Z10 +Z2ZZ7Z10 +Z3ZZ7Z10 = 1;
CCZZ8Z10: +Z1ZZ8Z10 +Z2ZZ8Z10 +Z3ZZ8Z10 = 1;
CCZZ9Z10: +Z1ZZ9Z10 +Z2ZZ9Z10 +Z3ZZ9Z10 = 1;
CCZ10Z10: +Z1Z10Z10 +Z2Z10Z10 +Z3Z10Z10 = 1;
CCZ11Z10: +Z1Z11Z10 +Z2Z11Z10 +Z3Z11Z10 = 1;
CCZ12Z10: +Z1Z12Z10 +Z2Z12Z10 +Z3Z12Z10 = 1;
CCZ13Z10: +Z1Z13Z10 +Z2Z13Z10 +Z3Z13Z10 = 1;
CCZ14Z10: +Z1Z14Z10 +Z2Z14Z10 +Z3Z14Z10 = 1;
CCZ15Z10: +Z1Z15Z10 +Z2Z15Z10 +Z3Z15Z10 = 1;
CCZ16Z10: +Z1Z16Z10 +Z2Z16Z10 +Z3Z16Z10 = 1;
CCZ17Z10: +Z1Z17Z10 +Z2Z17Z10 +Z3Z17Z10 = 1;
CCZ18Z10: +Z1Z18Z10 +Z2Z18Z10 +Z3Z18Z10 = 1;
CCZ19Z10: +Z1Z19Z10 +Z2Z19Z10 +Z3Z19Z10 = 1;
CCZ20Z10: +Z1Z20Z10 +Z2Z20Z10 +Z3Z20Z10 = 1;
CCZ21Z10: +Z1Z21Z10 +Z2Z21Z10 +Z3Z21Z10 = 1;
CCZ22Z10: +Z1Z22Z10 +Z2Z22Z10 +Z3Z22Z10 = 1;
CCZ23Z10: +Z1Z23Z10 +Z2Z23Z10 +Z3Z23Z10 = 1;
CCZ24Z10: +Z1Z24Z10 +Z2Z24Z10 +Z3Z24Z10 = 1;
CCZ25Z10: +Z1Z25Z10 +Z2Z25Z10 +Z3Z25Z10 = 1;
CCZ26Z10: +Z1Z26Z10 +Z2Z26Z10 +Z3Z26Z10 = 1;
CCZ27Z10: +Z1Z27Z10 +Z2Z27Z10 +Z3Z27Z10 = 1;
CCZ28Z10: +Z1Z28Z10 +Z2Z28Z10 +Z3Z28Z10 = 1;
CCZ29Z10: +Z1Z29Z10 +Z2Z29Z10 +Z3Z29Z10 = 1;
CCZ30Z10: +Z1Z30Z10 +Z2Z30Z10 +Z3Z30Z10 = 1;
CCZ31Z10: +Z1Z31Z10 +Z2Z31Z10 +Z3Z31Z10 = 1;
CCZ32Z10: +Z1Z32Z10 +Z2Z32Z10 +Z3Z32Z10 = 1;
CCZ33Z10: +Z1Z33Z10 +Z2Z33Z10 +Z3Z33Z10 = 1;
CCZ34Z10: +Z1Z34Z10 +Z2Z34Z10 +Z3Z34Z10 = 1;
CCZ35Z10: +Z1Z35Z10 +Z2Z35Z10 +Z3Z35Z10 = 1;
CCZ36Z10: +Z1Z36Z10 +Z2Z36Z10 +Z3Z36Z10 = 1;
CCZ37Z10: +Z1Z37Z10 +Z2Z37Z10 +Z3Z37Z10 = 1;
CCZ38Z10: +Z1Z38Z10 +Z2Z38Z10 +Z3Z38Z10 = 1;
CCZ39Z10: +Z1Z39Z10 +Z2Z39Z10 +Z3Z39Z10 = 1;
CCZ40Z10: +Z1Z40Z10 +Z2Z40Z10 +Z3Z40Z10 = 1;
CCZ41Z10: +Z1Z41Z10 +Z2Z41Z10 +Z3Z41Z10 = 1;
CCZ42Z10: +Z1Z42Z10 +Z2Z42Z10 +Z3Z42Z10 = 1;
CCZ43Z10: +Z1Z43Z10 +Z2Z43Z10 +Z3Z43Z10 = 1;
CCZ44Z10: +Z1Z44Z10 +Z2Z44Z10 +Z3Z44Z10 = 1;
CCZ45Z10: +Z1Z45Z10 +Z2Z45Z10 +Z3Z45Z10 = 1;
CCZ46Z10: +Z1Z46Z10 +Z2Z46Z10 +Z3Z46Z10 = 1;
CCZ47Z10: +Z1Z47Z10 +Z2Z47Z10 +Z3Z47Z10 = 1;