Z3 tests  Login/Logout

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

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