Publish INT2PROGINATS