#ifndef __SDFME_dict_H
#define __SDFME_dict_H

#include <aterm2.h>

extern AFun SDF_afun160;
extern AFun SDF_afun121;
extern AFun SDF_afun222;
extern AFun SDF_afun163;
extern AFun SDF_afun186;
extern AFun SDF_afun99;
extern AFun SDF_afun59;
extern AFun SDF_afun104;
extern AFun SDF_afun80;
extern AFun SDF_afun228;
extern AFun SDF_afun42;
extern AFun SDF_afun15;
extern AFun SDF_afun86;
extern AFun SDF_afun188;
extern AFun SDF_afun128;
extern AFun SDF_afun43;
extern AFun SDF_afun103;
extern AFun SDF_afun252;
extern AFun SDF_afun189;
extern AFun SDF_afun98;
extern AFun SDF_afun84;
extern AFun SDF_afun221;
extern AFun SDF_afun40;
extern AFun SDF_afun14;
extern AFun SDF_afun82;
extern AFun SDF_afun123;
extern AFun SDF_afun101;
extern AFun SDF_afun60;
extern AFun SDF_afun253;
extern AFun SDF_afun161;
extern AFun SDF_afun187;
extern AFun SDF_afun58;
extern AFun SDF_afun100;
extern AFun SDF_afun226;
extern AFun SDF_afun122;
extern AFun SDF_afun81;
extern AFun SDF_afun6;
extern AFun SDF_afun83;
extern AFun SDF_afun97;
extern AFun SDF_afun50;
extern AFun SDF_afun141;
extern AFun SDF_afun102;
extern AFun SDF_afun44;
extern AFun SDF_afun107;
extern AFun SDF_afun225;
extern AFun SDF_afun51;
extern AFun SDF_afun88;
extern AFun SDF_afun242;
extern AFun SDF_afun85;
extern AFun SDF_afun220;
extern AFun SDF_afun91;
extern AFun SDF_afun64;
extern AFun SDF_afun229;
extern AFun SDF_afun106;
extern AFun SDF_afun90;
extern AFun SDF_afun120;
extern AFun SDF_afun178;
extern AFun SDF_afun108;
extern AFun SDF_afun140;
extern AFun SDF_afun49;
extern AFun SDF_afun116;
extern AFun SDF_afun109;
extern AFun SDF_afun36;
extern AFun SDF_afun17;
extern AFun SDF_afun148;
extern AFun SDF_afun110;
extern AFun SDF_afun172;
extern AFun SDF_afun182;
extern AFun SDF_afun174;
extern AFun SDF_afun149;
extern AFun SDF_afun235;
extern AFun SDF_afun34;
extern AFun SDF_afun115;
extern AFun SDF_afun105;
extern AFun SDF_afun19;
extern AFun SDF_afun63;
extern AFun SDF_afun227;
extern AFun SDF_afun175;
extern AFun SDF_afun249;
extern AFun SDF_afun176;
extern AFun SDF_afun114;
extern AFun SDF_afun18;
extern AFun SDF_afun191;
extern AFun SDF_afun69;
extern AFun SDF_afun54;
extern AFun SDF_afun87;
extern AFun SDF_afun38;
extern AFun SDF_afun16;
extern AFun SDF_afun236;
extern AFun SDF_afun173;
extern AFun SDF_afun209;
extern AFun SDF_afun146;
extern AFun SDF_afun234;
extern AFun SDF_afun35;
extern AFun SDF_afun39;
extern AFun SDF_afun72;
extern AFun SDF_afun129;
extern AFun SDF_afun66;
extern AFun SDF_afun139;
extern AFun SDF_afun169;
extern AFun SDF_afun70;
extern AFun SDF_afun237;
extern AFun SDF_afun65;
extern AFun SDF_afun240;
extern AFun SDF_afun113;
extern AFun SDF_afun5;
extern AFun SDF_afun171;
extern AFun SDF_afun250;
extern AFun SDF_afun162;
extern AFun SDF_afun89;
extern AFun SDF_afun4;
extern AFun SDF_afun67;
extern AFun SDF_afun168;
extern AFun SDF_afun71;
extern AFun SDF_afun68;
extern AFun SDF_afun165;
extern AFun SDF_afun203;
extern AFun SDF_afun130;
extern AFun SDF_afun3;
extern AFun SDF_afun208;
extern AFun SDF_afun170;
extern AFun SDF_afun164;
extern AFun SDF_afun78;
extern AFun SDF_afun48;
extern AFun SDF_afun142;
extern AFun SDF_afun2;
extern AFun SDF_afun230;
extern AFun SDF_afun213;
extern AFun SDF_afun251;
extern AFun SDF_afun47;
extern AFun SDF_afun206;
extern AFun SDF_afun75;
extern AFun SDF_afun31;
extern AFun SDF_afun194;
extern AFun SDF_afun166;
extern AFun SDF_afun0;
extern AFun SDF_afun215;
extern AFun SDF_afun144;
extern AFun SDF_afun193;
extern AFun SDF_afun167;
extern AFun SDF_afun33;
extern AFun SDF_afun214;
extern AFun SDF_afun10;
extern AFun SDF_afun145;
extern AFun SDF_afun119;
extern AFun SDF_afun13;
extern AFun SDF_afun179;
extern AFun SDF_afun151;
extern AFun SDF_afun74;
extern AFun SDF_afun30;
extern AFun SDF_afun7;
extern AFun SDF_afun204;
extern AFun SDF_afun239;
extern AFun SDF_afun79;
extern AFun SDF_afun143;
extern AFun SDF_afun29;
extern AFun SDF_afun1;
extern AFun SDF_afun138;
extern AFun SDF_afun61;
extern AFun SDF_afun199;
extern AFun SDF_afun218;
extern AFun SDF_afun233;
extern AFun SDF_afun112;
extern AFun SDF_afun73;
extern AFun SDF_afun9;
extern AFun SDF_afun232;
extern AFun SDF_afun219;
extern AFun SDF_afun185;
extern AFun SDF_afun56;
extern AFun SDF_afun192;
extern AFun SDF_afun127;
extern AFun SDF_afun12;
extern AFun SDF_afun147;
extern AFun SDF_afun200;
extern AFun SDF_afun28;
extern AFun SDF_afun8;
extern AFun SDF_afun32;
extern AFun SDF_afun76;
extern AFun SDF_afun207;
extern AFun SDF_afun190;
extern AFun SDF_afun11;
extern AFun SDF_afun137;
extern AFun SDF_afun62;
extern AFun SDF_afun27;
extern AFun SDF_afun55;
extern AFun SDF_afun184;
extern AFun SDF_afun231;
extern AFun SDF_afun217;
extern AFun SDF_afun111;
extern AFun SDF_afun183;
extern AFun SDF_afun211;
extern AFun SDF_afun177;
extern AFun SDF_afun247;
extern AFun SDF_afun256;
extern AFun SDF_afun210;
extern AFun SDF_afun133;
extern AFun SDF_afun197;
extern AFun SDF_afun255;
extern AFun SDF_afun153;
extern AFun SDF_afun132;
extern AFun SDF_afun92;
extern AFun SDF_afun37;
extern AFun SDF_afun26;
extern AFun SDF_afun150;
extern AFun SDF_afun254;
extern AFun SDF_afun198;
extern AFun SDF_afun154;
extern AFun SDF_afun131;
extern AFun SDF_afun25;
extern AFun SDF_afun205;
extern AFun SDF_afun77;
extern AFun SDF_afun243;
extern AFun SDF_afun136;
extern AFun SDF_afun224;
extern AFun SDF_afun52;
extern AFun SDF_afun259;
extern AFun SDF_afun195;
extern AFun SDF_afun135;
extern AFun SDF_afun223;
extern AFun SDF_afun258;
extern AFun SDF_afun57;
extern AFun SDF_afun96;
extern AFun SDF_afun248;
extern AFun SDF_afun155;
extern AFun SDF_afun117;
extern AFun SDF_afun244;
extern AFun SDF_afun118;
extern AFun SDF_afun22;
extern AFun SDF_afun152;
extern AFun SDF_afun124;
extern AFun SDF_afun202;
extern AFun SDF_afun94;
extern AFun SDF_afun196;
extern AFun SDF_afun246;
extern AFun SDF_afun216;
extern AFun SDF_afun41;
extern AFun SDF_afun241;
extern AFun SDF_afun126;
extern AFun SDF_afun53;
extern AFun SDF_afun238;
extern AFun SDF_afun180;
extern AFun SDF_afun20;
extern AFun SDF_afun21;
extern AFun SDF_afun257;
extern AFun SDF_afun159;
extern AFun SDF_afun134;
extern AFun SDF_afun156;
extern AFun SDF_afun93;
extern AFun SDF_afun201;
extern AFun SDF_afun95;
extern AFun SDF_afun157;
extern AFun SDF_afun23;
extern AFun SDF_afun181;
extern AFun SDF_afun45;
extern AFun SDF_afun245;
extern AFun SDF_afun125;
extern AFun SDF_afun158;
extern AFun SDF_afun24;
extern AFun SDF_afun212;
extern AFun SDF_afun46;

extern ATerm SDF_patternIdConLexToCf;
extern ATerm SDF_patternLexIdConDefault;
extern ATerm SDF_patternNatConLexToCf;
extern ATerm SDF_patternLexNatConDigits;
extern ATerm SDF_patternLexStrCharCharsMany;
extern ATerm SDF_patternLexStrCharCharsSingle;
extern ATerm SDF_patternLexStrCharCharsEmpty;
extern ATerm SDF_patternStrConLexToCf;
extern ATerm SDF_patternLexStrConDefault;
extern ATerm SDF_patternStrCharLexToCf;
extern ATerm SDF_patternLexStrCharNormal;
extern ATerm SDF_patternLexStrCharDecimal;
extern ATerm SDF_patternLexStrCharBackslash;
extern ATerm SDF_patternLexStrCharQuote;
extern ATerm SDF_patternLexStrCharTab;
extern ATerm SDF_patternLexStrCharNewline;
extern ATerm SDF_patternLexLayoutNested;
extern ATerm SDF_patternLexLayoutLine;
extern ATerm SDF_patternLexLayoutWhitespace;
extern ATerm SDF_patternSymbolListMany;
extern ATerm SDF_patternSymbolListSingle;
extern ATerm SDF_patternSymbolListEmpty;
extern ATerm SDF_patternSymbolsDefault;
extern ATerm SDF_patternSymbolParametersMany;
extern ATerm SDF_patternSymbolParametersSingle;
extern ATerm SDF_patternSymbolParametersEmpty;
extern ATerm SDF_patternLexSortMoreChars;
extern ATerm SDF_patternLexSortOneChar;
extern ATerm SDF_patternSDFDefinition;
extern ATerm SDF_patternSortLexToCf;
extern ATerm SDF_patternRestrictionListMany;
extern ATerm SDF_patternRestrictionListSingle;
extern ATerm SDF_patternRestrictionListEmpty;
extern ATerm SDF_patternLookaheadListMany;
extern ATerm SDF_patternLookaheadListSingle;
extern ATerm SDF_patternLookaheadListEmpty;
extern ATerm SDF_patternRestrictionsDefault;
extern ATerm SDF_patternRestrictionFollow;
extern ATerm SDF_patternLookaheadsList;
extern ATerm SDF_patternLookaheadsBracket;
extern ATerm SDF_patternLookaheadsAlt;
extern ATerm SDF_patternLookaheadsSingle;
extern ATerm SDF_patternLookaheadSeq;
extern ATerm SDF_patternLookaheadCharClass;
extern ATerm SDF_patternRenamingListMany;
extern ATerm SDF_patternRenamingListSingle;
extern ATerm SDF_patternRenamingListEmpty;
extern ATerm SDF_patternRenamingProduction;
extern ATerm SDF_patternRenamingSymbol;
extern ATerm SDF_patternRenamingsRenamings;
extern ATerm SDF_patternSymbolRestMany;
extern ATerm SDF_patternSymbolRestSingle;
extern ATerm SDF_patternSymbolRestEmpty;
extern ATerm SDF_patternSymbolTailMany;
extern ATerm SDF_patternSymbolTailSingle;
extern ATerm SDF_patternSymbolTailEmpty;
extern ATerm SDF_patternPriorityListMany;
extern ATerm SDF_patternPriorityListSingle;
extern ATerm SDF_patternPriorityListEmpty;
extern ATerm SDF_patternGroupListMany;
extern ATerm SDF_patternGroupListSingle;
extern ATerm SDF_patternGroupListEmpty;
extern ATerm SDF_patternNatConArgumentsMany;
extern ATerm SDF_patternNatConArgumentsSingle;
extern ATerm SDF_patternNatConArgumentsEmpty;
extern ATerm SDF_patternPrioritiesDefault;
extern ATerm SDF_patternPriorityAssoc;
extern ATerm SDF_patternPriorityChain;
extern ATerm SDF_patternGroupAssocGroup;
extern ATerm SDF_patternGroupProdsGroup;
extern ATerm SDF_patternGroupSimpleGroup;
extern ATerm SDF_patternGroupNonTransitive;
extern ATerm SDF_patternGroupWithArguments;
extern ATerm SDF_patternArgumentIndicatorDefault;
extern ATerm SDF_patternAssociativityAssoc;
extern ATerm SDF_patternAssociativityNonAssoc;
extern ATerm SDF_patternAssociativityRight;
extern ATerm SDF_patternAssociativityLeft;
extern ATerm SDF_patternImportListMany;
extern ATerm SDF_patternImportListSingle;
extern ATerm SDF_patternImportListEmpty;
extern ATerm SDF_patternSectionListMany;
extern ATerm SDF_patternSectionListSingle;
extern ATerm SDF_patternSectionListEmpty;
extern ATerm SDF_patternImpSectionListMany;
extern ATerm SDF_patternImpSectionListSingle;
extern ATerm SDF_patternImpSectionListEmpty;
extern ATerm SDF_patternModuleListMany;
extern ATerm SDF_patternModuleListSingle;
extern ATerm SDF_patternModuleListEmpty;
extern ATerm SDF_patternImportBracket;
extern ATerm SDF_patternImportRenamedModule;
extern ATerm SDF_patternImportModule;
extern ATerm SDF_patternImportsDefault;
extern ATerm SDF_patternImpSectionImports;
extern ATerm SDF_patternModuleNameParameterized;
extern ATerm SDF_patternModuleNameUnparameterized;
extern ATerm SDF_patternSectionsDefault;
extern ATerm SDF_patternSectionHiddens;
extern ATerm SDF_patternSectionExports;
extern ATerm SDF_patternModuleModule;
extern ATerm SDF_patternDefinitionDefault;
extern ATerm SDF_patternModuleIdLexToCf;
extern ATerm SDF_patternLexModuleIdPath;
extern ATerm SDF_patternLexModuleIdRoot;
extern ATerm SDF_patternLexModuleIdLeaf;
extern ATerm SDF_patternModuleWordLexToCf;
extern ATerm SDF_patternLexModuleWordWord;
extern ATerm SDF_patternSymbolArgumentsMany;
extern ATerm SDF_patternSymbolArgumentsSingle;
extern ATerm SDF_patternSymbolArgumentsEmpty;
extern ATerm SDF_patternLexSingleQuotedStrCharCharsMany;
extern ATerm SDF_patternLexSingleQuotedStrCharCharsSingle;
extern ATerm SDF_patternLexSingleQuotedStrCharCharsEmpty;
extern ATerm SDF_patternFunctionNameQuotedFun;
extern ATerm SDF_patternFunctionNameUnquotedFun;
extern ATerm SDF_patternSingleQuotedStrConLexToCf;
extern ATerm SDF_patternLexSingleQuotedStrConDefault;
extern ATerm SDF_patternSingleQuotedStrCharLexToCf;
extern ATerm SDF_patternLexSingleQuotedStrCharNormal;
extern ATerm SDF_patternLexSingleQuotedStrCharDecimal;
extern ATerm SDF_patternLexSingleQuotedStrCharBackslash;
extern ATerm SDF_patternLexSingleQuotedStrCharQuote;
extern ATerm SDF_patternLexSingleQuotedStrCharTab;
extern ATerm SDF_patternLexSingleQuotedStrCharNewline;
extern ATerm SDF_patternLabelUnquoted;
extern ATerm SDF_patternLabelQuoted;
extern ATerm SDF_patternProductionListMany;
extern ATerm SDF_patternProductionListSingle;
extern ATerm SDF_patternProductionListEmpty;
extern ATerm SDF_patternAttributeListMany;
extern ATerm SDF_patternAttributeListSingle;
extern ATerm SDF_patternAttributeListEmpty;
extern ATerm SDF_patternProductionsDefault;
extern ATerm SDF_patternProductionPrefixFun;
extern ATerm SDF_patternProductionProd;
extern ATerm SDF_patternAttributesNoAttrs;
extern ATerm SDF_patternAttributesAttrs;
extern ATerm SDF_patternAttributeAvoid;
extern ATerm SDF_patternAttributePrefer;
extern ATerm SDF_patternAttributeReject;
extern ATerm SDF_patternAttributeAssoc;
extern ATerm SDF_patternAttributeBracket;
extern ATerm SDF_patternAttributeId;
extern ATerm SDF_patternAttributeTerm;
extern ATerm SDF_patternATermAttributeDefault;
extern ATerm SDF_patternCharacterLabelUnderscoreStart;
extern ATerm SDF_patternCharacterBot;
extern ATerm SDF_patternCharacterEof;
extern ATerm SDF_patternCharacterTop;
extern ATerm SDF_patternCharacterShort;
extern ATerm SDF_patternCharacterNumeric;
extern ATerm SDF_patternShortCharLexToCf;
extern ATerm SDF_patternLexShortCharEscaped;
extern ATerm SDF_patternLexShortCharRegular;
extern ATerm SDF_patternNumCharLexToCf;
extern ATerm SDF_patternLexNumCharDigits;
extern ATerm SDF_patternCharClassBracket;
extern ATerm SDF_patternCharClassUnion;
extern ATerm SDF_patternCharClassIsect;
extern ATerm SDF_patternCharClassDiff;
extern ATerm SDF_patternCharClassComp;
extern ATerm SDF_patternCharClassSimpleCharclass;
extern ATerm SDF_patternOptCharRangesPresent;
extern ATerm SDF_patternOptCharRangesAbsent;
extern ATerm SDF_patternCharRangesBracket;
extern ATerm SDF_patternCharRangesConc;
extern ATerm SDF_patternCharRangesDefault;
extern ATerm SDF_patternCharRangeRange;
extern ATerm SDF_patternCharRangeDefault;
extern ATerm SDF_patternSymbolBracket;
extern ATerm SDF_patternSymbolParameterizedSort;
extern ATerm SDF_patternSymbolSort;
extern ATerm SDF_patternSymbolFileStart;
extern ATerm SDF_patternSymbolStart;
extern ATerm SDF_patternSymbolStrategy;
extern ATerm SDF_patternSymbolAlt;
extern ATerm SDF_patternSymbolFunc;
extern ATerm SDF_patternSymbolTuple;
extern ATerm SDF_patternSymbolIterStarSep;
extern ATerm SDF_patternSymbolIterSep;
extern ATerm SDF_patternSymbolIterStar;
extern ATerm SDF_patternSymbolIter;
extern ATerm SDF_patternSymbolOpt;
extern ATerm SDF_patternSymbolSeq;
extern ATerm SDF_patternSymbolEmpty;
extern ATerm SDF_patternSymbolCiLit;
extern ATerm SDF_patternSymbolLit;
extern ATerm SDF_patternSymbolLifting;
extern ATerm SDF_patternSymbolLabel;
extern ATerm SDF_patternSymbolCharClass;
extern ATerm SDF_patternSymbolLayout;
extern ATerm SDF_patternSymbolVarsym;
extern ATerm SDF_patternSymbolLex;
extern ATerm SDF_patternSymbolCf;
extern ATerm SDF_patternAliasListMany;
extern ATerm SDF_patternAliasListSingle;
extern ATerm SDF_patternAliasListEmpty;
extern ATerm SDF_patternAliasesDefault;
extern ATerm SDF_patternAliasAlias;
extern ATerm SDF_patternGrammarContextFreeStartSymbols;
extern ATerm SDF_patternGrammarLexicalStartSymbols;
extern ATerm SDF_patternGrammarKernelStartSymbols;
extern ATerm SDF_patternGrammarSorts;
extern ATerm SDF_patternGrammarContextFreeRestrictions;
extern ATerm SDF_patternGrammarLexicalRestrictions;
extern ATerm SDF_patternGrammarContextFreePriorities;
extern ATerm SDF_patternGrammarLexicalPriorities;
extern ATerm SDF_patternGrammarRestrictions;
extern ATerm SDF_patternGrammarPriorities;
extern ATerm SDF_patternGrammarImpSection;
extern ATerm SDF_patternGrammarSyntax;
extern ATerm SDF_patternGrammarBracket;
extern ATerm SDF_patternGrammarConcGrammars;
extern ATerm SDF_patternGrammarEmptyGrammar;
extern ATerm SDF_patternGrammarLexicalVariables;
extern ATerm SDF_patternGrammarVariables;
extern ATerm SDF_patternGrammarContextFreeSyntax;
extern ATerm SDF_patternGrammarLexicalSyntax;
extern ATerm SDF_patternGrammarAliases;
extern ATerm SDF_patternRealConRealCon;
extern ATerm SDF_patternOptExpAbsent;
extern ATerm SDF_patternOptExpPresent;
extern ATerm SDF_patternIntConNegative;
extern ATerm SDF_patternIntConPositive;
extern ATerm SDF_patternIntConNatural;
extern ATerm SDF_patternATermAnnosMany;
extern ATerm SDF_patternATermAnnosSingle;
extern ATerm SDF_patternATermAnnosEmpty;
extern ATerm SDF_patternATermElemsMany;
extern ATerm SDF_patternATermElemsSingle;
extern ATerm SDF_patternATermElemsEmpty;
extern ATerm SDF_patternATermArgsMany;
extern ATerm SDF_patternATermArgsSingle;
extern ATerm SDF_patternATermArgsEmpty;
extern ATerm SDF_patternStartSDF;
extern ATerm SDF_patternStartModule;
extern ATerm SDF_patternStartRealCon;
extern ATerm SDF_patternStartIntCon;
extern ATerm SDF_patternStartATerm;
extern ATerm SDF_patternAnnotationDefault;
extern ATerm SDF_patternATermAnnotated;
extern ATerm SDF_patternATermList;
extern ATerm SDF_patternATermPlaceholder;
extern ATerm SDF_patternATermAppl;
extern ATerm SDF_patternATermFun;
extern ATerm SDF_patternATermReal;
extern ATerm SDF_patternATermInt;
extern ATerm SDF_patternAFunUnquoted;
extern ATerm SDF_patternAFunQuoted;
extern ATerm SDF_patternLexLayoutListMany;
extern ATerm SDF_patternLexLayoutListSingle;
extern ATerm SDF_patternLexLayoutListEmpty;
extern ATerm SDF_patternLayoutLexToCf;
extern ATerm SDF_patternOptLayoutPresent;
extern ATerm SDF_patternOptLayoutAbsent;

extern void init_SDFME_dict();

#endif /* __SDFME_dict_H */
