xargs printf "a=Mod([%s,%s;%s,%s]~,10^14-3);lift([%s,%s]*a^2^%s/a) "|../s/gp|tr -d [],