Directory listing for z3-4.2.0 candidate source tarball

z3-4.2.0/examples/Example/