Loading ABMS

Preparing your verification workspace.