replay swiprologlanguage3 SVN revs 8066, 8082, 8155, 8302 on GIT