TITLE     : Contract automata runtime environment (v.1.0.0 - February 2022)
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2022
CODE      : 465713

*** DO NOT EDIT THIS FILE ***