Here are some example files used for guideline:

- The picture of state machine ABP: ABP.svg

- The input file: inputABP.txt