Supplementary material from "Automated sequence-level analysis of kinetics and thermodynamics for domain-level DNA strand-displacement systems"