OP-00497 Solution claimed Sard conjecture for smooth bracket-generating distributions DG · abnormal curves · AIM Open Applied Problems · endpoint maps · sub-Riemannian geometry