dblp

      %*=.                                      
      =@@@#=:                                   
       %@@@@@%+:                                
       -@@@@@@@@%*-                             
        #@@@@@@@@@@@*-                          
        :@@@@@@@@@@@@@+          :=#%*          
         *@@@@@@@@@@@@@.    .-+#@@@@@@:         
         -@@@@@@@@@@@@@* -*%@@@@@@@@@@#         
     .=*%@@@@@@@@@@@@@@@:+@@@@@@@@@@@@@-        
     +@@@@@@@@@@@@@@@@@@# %@@@@@@@@@@@@%        
     .@@@@@@@@@@@@@@@@@@@-=@@@@@@@@@@@@@=       
      +@@@@@@@@@@@@@@@@@@# %@@@@@@@@@@@@%       
       %@@@@@@@@@@@@@@@@@@--@@@@@@@@@@@@@=      
       =@@@@@@@@@@@@@@@@@@% #@@@@@@@@@@@@@.     
        %@@@@@@@@@@@@@@@@@@=-@@@@@@@@@@@@@+     
        -@@@@@@@@@@@@@@@@#=.-@@@@@@@@@@@#=.     
         #@@@@@@@@@@%*=::+#@@@@@@@@@@@-         
         -@@@@@@%+-.    :@@@@@@@@@@@@@*         
          *@#+-.         +@@@@@@@@@@@@@:        
                          -#@@@@@@@@@@@#        
                             -*%@@@@@@@@-       
                                :+%@@@@@%       
                                   :=#@@@=      
                                      .=*%