TITLE     : Contract automata application
AUTHOR(S) : Basile D
TYPE      : Software
YEAR      : 2021
CODE      : 456741

*** DO NOT EDIT THIS FILE ***