Natural Counting of Lambda Terms Supplement to the "A Natural Counting of Lambda Terms" article [1]. [1] http://link.springer.com/chapter/10.1007%2F978-3-662-49192-8_15