(* OASIS_START *)
(* DO NOT EDIT (digest: de29b0a16e9f8b46a5f12170701cca15) *)
Authors of formula
Olivier Schwander <olivier.schwander@polytechnique.edu>
(* OASIS_STOP *)