Delete aSYMPL_sqrt.v