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