function TraceInfoFlag() {
    this.traceFlag = new Array();
    this.traceFlag["automats.c:54c17"]=1;
    this.traceFlag["automats.c:54c24"]=1;
    this.traceFlag["automats.c:54c37"]=1;
    this.traceFlag["automats.c:54c44"]=1;
    this.traceFlag["automats.c:54c57"]=1;
    this.traceFlag["automats.c:100c23"]=1;
    this.traceFlag["automats.c:118c32"]=1;
    this.traceFlag["automats.c:119c23"]=1;
    this.traceFlag["automats.c:119c33"]=1;
    this.traceFlag["automats.c:119c50"]=1;
    this.traceFlag["automats.c:125c29"]=1;
    this.traceFlag["automats.c:142c20"]=1;
    this.traceFlag["automats.c:156c23"]=1;
    this.traceFlag["automats.c:156c29"]=1;
    this.traceFlag["automats.c:156c47"]=1;
    this.traceFlag["automats.c:159c28"]=1;
    this.traceFlag["automats.c:170c25"]=1;
    this.traceFlag["automats.c:187c22"]=1;
    this.traceFlag["automats.c:193c22"]=1;
    this.traceFlag["automats.c:208c23"]=1;
    this.traceFlag["automats.c:208c29"]=1;
    this.traceFlag["automats.c:208c47"]=1;
    this.traceFlag["automats.c:223c30"]=1;
    this.traceFlag["automats.c:235c32"]=1;
    this.traceFlag["automats.c:236c24"]=1;
    this.traceFlag["automats.c:247c25"]=1;
    this.traceFlag["automats.c:256c29"]=1;
    this.traceFlag["automats.c:263c20"]=1;
    this.traceFlag["automats.c:270c22"]=1;
    this.traceFlag["automats.c:276c25"]=1;
    this.traceFlag["automats.c:303c31"]=1;
    this.traceFlag["automats.c:310c44"]=1;
    this.traceFlag["automats.c:328c38"]=1;
    this.traceFlag["automats.c:340c23"]=1;
    this.traceFlag["automats.c:340c29"]=1;
    this.traceFlag["automats.c:340c33"]=1;
    this.traceFlag["automats.c:340c47"]=1;
    this.traceFlag["automats.c:340c51"]=1;
    this.traceFlag["automats.c:340c58"]=1;
    this.traceFlag["automats.c:350c26"]=1;
    this.traceFlag["automats.c:358c24"]=1;
    this.traceFlag["automats.c:358c38"]=1;
    this.traceFlag["automats.c:358c49"]=1;
    this.traceFlag["automats.c:366c7"]=1;
    this.traceFlag["automats.c:366c21"]=1;
    this.traceFlag["automats.c:366c50"]=1;
    this.traceFlag["automats.c:368c46"]=1;
    this.traceFlag["automats.c:374c9"]=1;
    this.traceFlag["automats.c:374c23"]=1;
    this.traceFlag["automats.c:374c52"]=1;
    this.traceFlag["automats.c:388c19"]=1;
    this.traceFlag["automats.c:398c19"]=1;
}
top.TraceInfoFlag.instance = new TraceInfoFlag();
function TraceInfoLineFlag() {
    this.lineTraceFlag = new Array();
    this.lineTraceFlag["automats.c:54"]=1;
    this.lineTraceFlag["automats.c:56"]=1;
    this.lineTraceFlag["automats.c:98"]=1;
    this.lineTraceFlag["automats.c:99"]=1;
    this.lineTraceFlag["automats.c:100"]=1;
    this.lineTraceFlag["automats.c:101"]=1;
    this.lineTraceFlag["automats.c:104"]=1;
    this.lineTraceFlag["automats.c:107"]=1;
    this.lineTraceFlag["automats.c:110"]=1;
    this.lineTraceFlag["automats.c:113"]=1;
    this.lineTraceFlag["automats.c:117"]=1;
    this.lineTraceFlag["automats.c:118"]=1;
    this.lineTraceFlag["automats.c:119"]=1;
    this.lineTraceFlag["automats.c:120"]=1;
    this.lineTraceFlag["automats.c:121"]=1;
    this.lineTraceFlag["automats.c:124"]=1;
    this.lineTraceFlag["automats.c:125"]=1;
    this.lineTraceFlag["automats.c:126"]=1;
    this.lineTraceFlag["automats.c:127"]=1;
    this.lineTraceFlag["automats.c:130"]=1;
    this.lineTraceFlag["automats.c:133"]=1;
    this.lineTraceFlag["automats.c:136"]=1;
    this.lineTraceFlag["automats.c:139"]=1;
    this.lineTraceFlag["automats.c:140"]=1;
    this.lineTraceFlag["automats.c:142"]=1;
    this.lineTraceFlag["automats.c:146"]=1;
    this.lineTraceFlag["automats.c:150"]=1;
    this.lineTraceFlag["automats.c:152"]=1;
    this.lineTraceFlag["automats.c:155"]=1;
    this.lineTraceFlag["automats.c:156"]=1;
    this.lineTraceFlag["automats.c:157"]=1;
    this.lineTraceFlag["automats.c:158"]=1;
    this.lineTraceFlag["automats.c:159"]=1;
    this.lineTraceFlag["automats.c:161"]=1;
    this.lineTraceFlag["automats.c:162"]=1;
    this.lineTraceFlag["automats.c:163"]=1;
    this.lineTraceFlag["automats.c:164"]=1;
    this.lineTraceFlag["automats.c:165"]=1;
    this.lineTraceFlag["automats.c:168"]=1;
    this.lineTraceFlag["automats.c:170"]=1;
    this.lineTraceFlag["automats.c:171"]=1;
    this.lineTraceFlag["automats.c:174"]=1;
    this.lineTraceFlag["automats.c:175"]=1;
    this.lineTraceFlag["automats.c:178"]=1;
    this.lineTraceFlag["automats.c:181"]=1;
    this.lineTraceFlag["automats.c:186"]=1;
    this.lineTraceFlag["automats.c:187"]=1;
    this.lineTraceFlag["automats.c:188"]=1;
    this.lineTraceFlag["automats.c:191"]=1;
    this.lineTraceFlag["automats.c:193"]=1;
    this.lineTraceFlag["automats.c:194"]=1;
    this.lineTraceFlag["automats.c:197"]=1;
    this.lineTraceFlag["automats.c:202"]=1;
    this.lineTraceFlag["automats.c:204"]=1;
    this.lineTraceFlag["automats.c:207"]=1;
    this.lineTraceFlag["automats.c:208"]=1;
    this.lineTraceFlag["automats.c:209"]=1;
    this.lineTraceFlag["automats.c:212"]=1;
    this.lineTraceFlag["automats.c:215"]=1;
    this.lineTraceFlag["automats.c:218"]=1;
    this.lineTraceFlag["automats.c:221"]=1;
    this.lineTraceFlag["automats.c:222"]=1;
    this.lineTraceFlag["automats.c:223"]=1;
    this.lineTraceFlag["automats.c:224"]=1;
    this.lineTraceFlag["automats.c:227"]=1;
    this.lineTraceFlag["automats.c:230"]=1;
    this.lineTraceFlag["automats.c:234"]=1;
    this.lineTraceFlag["automats.c:235"]=1;
    this.lineTraceFlag["automats.c:236"]=1;
    this.lineTraceFlag["automats.c:237"]=1;
    this.lineTraceFlag["automats.c:238"]=1;
    this.lineTraceFlag["automats.c:241"]=1;
    this.lineTraceFlag["automats.c:243"]=1;
    this.lineTraceFlag["automats.c:247"]=1;
    this.lineTraceFlag["automats.c:248"]=1;
    this.lineTraceFlag["automats.c:249"]=1;
    this.lineTraceFlag["automats.c:252"]=1;
    this.lineTraceFlag["automats.c:255"]=1;
    this.lineTraceFlag["automats.c:256"]=1;
    this.lineTraceFlag["automats.c:257"]=1;
    this.lineTraceFlag["automats.c:258"]=1;
    this.lineTraceFlag["automats.c:261"]=1;
    this.lineTraceFlag["automats.c:263"]=1;
    this.lineTraceFlag["automats.c:270"]=1;
    this.lineTraceFlag["automats.c:271"]=1;
    this.lineTraceFlag["automats.c:274"]=1;
    this.lineTraceFlag["automats.c:276"]=1;
    this.lineTraceFlag["automats.c:278"]=1;
    this.lineTraceFlag["automats.c:279"]=1;
    this.lineTraceFlag["automats.c:282"]=1;
    this.lineTraceFlag["automats.c:285"]=1;
    this.lineTraceFlag["automats.c:288"]=1;
    this.lineTraceFlag["automats.c:291"]=1;
    this.lineTraceFlag["automats.c:292"]=1;
    this.lineTraceFlag["automats.c:303"]=1;
    this.lineTraceFlag["automats.c:310"]=1;
    this.lineTraceFlag["automats.c:317"]=1;
    this.lineTraceFlag["automats.c:318"]=1;
    this.lineTraceFlag["automats.c:320"]=1;
    this.lineTraceFlag["automats.c:328"]=1;
    this.lineTraceFlag["automats.c:340"]=1;
    this.lineTraceFlag["automats.c:342"]=1;
    this.lineTraceFlag["automats.c:350"]=1;
    this.lineTraceFlag["automats.c:358"]=1;
    this.lineTraceFlag["automats.c:366"]=1;
    this.lineTraceFlag["automats.c:368"]=1;
    this.lineTraceFlag["automats.c:374"]=1;
    this.lineTraceFlag["automats.c:375"]=1;
    this.lineTraceFlag["automats.c:388"]=1;
    this.lineTraceFlag["automats.c:389"]=1;
    this.lineTraceFlag["automats.c:398"]=1;
    this.lineTraceFlag["automats.c:399"]=1;
    this.lineTraceFlag["automats.c:405"]=1;
    this.lineTraceFlag["automats.c:408"]=1;
    this.lineTraceFlag["automats.c:413"]=1;
    this.lineTraceFlag["automats.c:422"]=1;
    this.lineTraceFlag["automats.c:423"]=1;
    this.lineTraceFlag["automats.h:46"]=1;
    this.lineTraceFlag["automats.h:47"]=1;
    this.lineTraceFlag["automats.h:48"]=1;
    this.lineTraceFlag["automats.h:49"]=1;
    this.lineTraceFlag["automats.h:50"]=1;
    this.lineTraceFlag["automats.h:51"]=1;
}
top.TraceInfoLineFlag.instance = new TraceInfoLineFlag();
