Lean (version 4.7.0, commit v4.7.0, Release)
Not executed: no complete licensed formal sequent recovered.