Examples for a specification are taken from a program that runs, not written by hand: so…