1 Introduction  
2 Preliminaries  
3 Historical overview  
4 Historical survey  
5 Behaviors of busy beavers  
6 Properties of the busy beaver functions  
7 Variants of busy beavers  
8 The methods  
9 Busy beavers and unprovability