Delete aSYMP_div.v