diff -r 6f071d92960b -r 70f5c18e975d src/HOL/SMT/lib/scripts/cert_smt.pl