UF071
     isabelle          
         (60)     (0)    
    (0)