How can I export documents or syntax files?
The export of syntax files and documentation is free as long as it involves a small number of syntax files (a maximum of 10). If you want to submit more than 10 syntax files at once, this falls under the output checking service and costs will be charged. Also, keep in mind that there should be no results in these files, such as tables, counts, or literal conclusions related to results.