Add output of Example vitali.ml to have a concrete example for future dicussions on examples directory and test cases.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>