#! /bin/bash
#Last edited on 2019-04-09 18:35:41 by jstolfi

mv -vi {,110_}logsolve
mv -vi {,120_}lognorm2
mv -vi {,210_}logmulck
mv -vi {,230_}logmrgck