Public signup for this instance is disabled. Go to our Self serve sign up page to request an account. Report potential security issues privately
runAECpp currently writes out XCAS. It should always output XMI.