... not(re2, d); not(mi2, d); not(re2, d); not(sol2, tr); not(sol2, tro); not(la2, d); not(sol2, d); not(si2, tr); not(si2, tro); not(la2, d); not(sol2, d); not(mi2, tr); not(sol2, tr); not(sol2, ... not(mi2, tro); not(re2, d); not(si2, d); not(re2, tro); not(sol2, d); not(la2, d); not(si2, tr); not(si2, tr); not(si2, tr); not(la2, d); not(sol2, d); not(re3, tro); not(si2, d); not(sol2, ... not(la2, tr); not(la2, tr); not(si2, tr); not(fad2, d); not(re2, d); not(sol2, tro); not(si2, d); not(do3, d); not(re3, tr); not(re3, tr); not(mi3, tro); not(re3, d); not(si2, tro); not(si2,...