1 # <pre>

     1 # <pre>

     3 # This file is in the public domain, so clarified as of

     2 # This file is in the public domain, so clarified as of

     4 # 2009-05-17 by Arthur David Olson.

     3 # 2009-05-17 by Arthur David Olson.

     5 

     4 

     6 # From Paul Eggert (1999-11-15):

     5 # From Paul Eggert (1999-11-15):

     7 # To keep things manageable, we list only locations occupied year-round; see

     6 # To keep things manageable, we list only locations occupied year-round; see