Z3 tests  Login/Logout

Visitors may enter anonymous as the user-ID with the 8-character hexadecimal password shown below:

  ___   ____   _  _              ___    ___   ______    __  
 / _ \ |___ \ | || |     /\     / _ \  / _ \ |  ____|  / /  
| | | |  __) || || |_   /  \   | (_) || (_) || |__    / /_  
| | | | |__ < |__   _| / /\ \   > _ <  \__, ||  __|  | '_ \ 
| |_| | ___) |   | |  / ____ \ | (_) |   / / | |____ | (_) |
 \___/ |____/    |_| /_/    \_\ \___/   /_/  |______| \___/