Create AQ-DEFECT-GRAPH_J30.LEAN

Create AQ_LEAN_RANK01A.LEAN

Create THM26_V22_5-lean.py

Rename DOCS/LEAN/J19-FORMALIZATION.PY to DOCS/LEAN/J19-LEAN.PY

Create LEAN/J19-FORMALIZATION.PY