gaptreeb - a reformularization of gaptree.v that better shows off the nice properties of gaptrees.  Along with detailed discussion in gaptreebfacts.txt and accompanying spread sheet recurrences.ods.