1. Introduction

2. Data  
2.1. Observations with ALMA  
2.2. Source redshifts  
2.3. Lensing models  

3. Methodology  
3.1. Completeness  
3.2. Fraction of spurious sources  
3.3. Source magnifications  
3.4. Lensing-corrected source flux densities  
3.5. Source effective areas  
3.6. Monte Carlo simulation for source counts  

4. Results and Discussion  
4.1. Number counts  
4.2. Comparison to previous ALMA studies and galaxy formation model predictions  
4.3. Effect of source sizes  
4.4. Contribution to the extragalactic background light  

5. Summary