Z3 tests  Login/Logout

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

  ___   ___   _  _    ______  ______  ______  ____   ____  
 / _ \ |__ \ | || |  |  ____||  ____||  ____||  _ \ |  _ \ 
| | | |   ) || || |_ | |__   | |__   | |__   | |_) || |_) |
| | | |  / / |__   _||  __|  |  __|  |  __|  |  _ < |  _ < 
| |_| | / /_    | |  | |____ | |____ | |     | |_) || |_) |
 \___/ |____|   |_|  |______||______||_|     |____/ |____/