negation_elimination.result 7.2 KB