better encoding for min/max on Nat8
use decision tree for cost of base pairs