sed -i 's:^\(opaque symbol divides_plus_1 .*\)$://\1:' divides.lp