logo = """
               (\.-./)
               /     \\
             .'   :   '.
        _.-'`     '     `'-._       |   Manta 0.0.1
     .-'          :          '-.    |   An In-Situ Debugging Tool for Programmable Hardware
   ,'_.._         .         _.._',  |   https://github.com/fischermoseley/manta
   '`    `'-.     '     .-'`    `'
             '.   :   .'            |   fischerm@mit.edu
               \_. ._/
         \       |^|
          |      | ;
          \'.___.' /
           '-....-'  """

print(logo)