Updating: minorly improving INT2PROGINATS.
Updating: merging.