Committing defs file. Binning function binning(tseq,delta) complete, for now.