%------------------------------------------------------------------------------
% File : FMB4J---0.1
% Problem : SWX040+1 : TPTP v9.3.1. Released v9.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% Computer : n010.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8046.5625MB
% OS : Linux 6.8.0-71-generic
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Fri Sep 25 03:32:15 PM UTC 2026
% Result : Unknown 0.21s 5.85s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.05 % Problem : SWX040+1 : TPTP v9.3.1. Released v9.1.0.
% 0.00/0.06 % Command : run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.16/5.44 % Computer : n010.cluster.edu
% 0.16/5.44 % Model : x86_64 x86_64
% 0.16/5.44 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.16/5.44 % Memory : 8046.5625MB
% 0.16/5.44 % OS : Linux 6.8.0-71-generic
% 0.16/5.44 % CPULimit : 300
% 0.16/5.44 % WCLimit : 300
% 0.16/5.44 % DateTime : Thu Sep 24 23:22:04 UTC 2026
% 0.16/5.44 % CPUTime :
% 0.16/5.44 Running run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.21/5.50 Running: java -jar /export/starexec/sandbox/solver/bin/FMB4J.jar /export/starexec/sandbox/tmp/tmp.6zORMTPT7a/theBenchmark.cnf 300
% 0.21/5.70 line 20:51 token recognition error at: '''
% 0.21/5.70 line 20:52 token recognition error at: '@'
% 0.21/5.70 line 20:53 token recognition error at: '<'
% 0.21/5.70 line 20:54 token recognition error at: '_'
% 0.21/5.70 line 20:65 token recognition error at: '''
% 0.21/5.70 line 20:76 token recognition error at: '''
% 0.21/5.70 line 20:77 token recognition error at: '@'
% 0.21/5.70 line 20:78 token recognition error at: '<'
% 0.21/5.70 line 20:79 token recognition error at: '_'
% 0.21/5.70 line 20:90 token recognition error at: '''
% 0.21/5.70 line 23:51 token recognition error at: '''
% 0.21/5.70 line 23:52 token recognition error at: '@'
% 0.21/5.70 line 23:53 token recognition error at: '<'
% 0.21/5.70 line 23:54 token recognition error at: '_'
% 0.21/5.70 line 23:60 token recognition error at: '''
% 0.21/5.70 line 23:71 token recognition error at: '''
% 0.21/5.70 line 23:72 token recognition error at: '@'
% 0.21/5.70 line 23:73 token recognition error at: '<'
% 0.21/5.70 line 23:74 token recognition error at: '_'
% 0.21/5.70 line 23:80 token recognition error at: '''
% 0.21/5.70 line 26:51 token recognition error at: '''
% 0.21/5.70 line 26:52 token recognition error at: '@'
% 0.21/5.70 line 26:53 token recognition error at: '<'
% 0.21/5.70 line 26:54 token recognition error at: '_'
% 0.21/5.70 line 26:63 token recognition error at: '''
% 0.21/5.70 line 26:74 token recognition error at: '''
% 0.21/5.70 line 26:75 token recognition error at: '@'
% 0.21/5.70 line 26:76 token recognition error at: '<'
% 0.21/5.70 line 26:77 token recognition error at: '_'
% 0.21/5.70 line 26:86 token recognition error at: '''
% 0.21/5.70 line 29:51 token recognition error at: '''
% 0.21/5.70 line 29:52 token recognition error at: '@'
% 0.21/5.70 line 29:53 token recognition error at: '='
% 0.21/5.70 line 29:54 token recognition error at: '<'
% 0.21/5.70 line 29:55 token recognition error at: '_'
% 0.21/5.70 line 29:66 token recognition error at: '''
% 0.21/5.70 line 29:77 token recognition error at: '''
% 0.21/5.70 line 29:78 token recognition error at: '@'
% 0.21/5.70 line 29:79 token recognition error at: '='
% 0.21/5.70 line 29:80 token recognition error at: '<'
% 0.21/5.70 line 29:81 token recognition error at: '_'
% 0.21/5.70 line 29:92 token recognition error at: '''
% 0.21/5.70 line 32:51 token recognition error at: '''
% 0.21/5.70 line 32:52 token recognition error at: '@'
% 0.21/5.70 line 32:53 token recognition error at: '='
% 0.21/5.70 line 32:54 token recognition error at: '<'
% 0.21/5.70 line 32:55 token recognition error at: '_'
% 0.21/5.70 line 32:61 token recognition error at: '''
% 0.21/5.70 line 32:72 token recognition error at: '''
% 0.21/5.70 line 32:73 token recognition error at: '@'
% 0.21/5.70 line 32:74 token recognition error at: '='
% 0.21/5.70 line 32:75 token recognition error at: '<'
% 0.21/5.70 line 32:76 token recognition error at: '_'
% 0.21/5.70 line 32:82 token recognition error at: '''
% 0.21/5.70 line 35:51 token recognition error at: '''
% 0.21/5.70 line 35:52 token recognition error at: '@'
% 0.21/5.70 line 35:53 token recognition error at: '='
% 0.21/5.70 line 35:54 token recognition error at: '<'
% 0.21/5.70 line 35:55 token recognition error at: '_'
% 0.21/5.70 line 35:64 token recognition error at: '''
% 0.21/5.71 line 35:75 token recognition error at: '''
% 0.21/5.71 line 35:76 token recognition error at: '@'
% 0.21/5.71 line 35:77 token recognition error at: '='
% 0.21/5.71 line 35:78 token recognition error at: '<'
% 0.21/5.71 line 35:79 token recognition error at: '_'
% 0.21/5.71 line 35:88 token recognition error at: '''
% 0.21/5.71 line 59:63 token recognition error at: '''
% 0.21/5.71 line 59:64 token recognition error at: '@'
% 0.21/5.71 line 59:65 token recognition error at: '*'
% 0.21/5.71 line 59:66 token recognition error at: '''
% 0.21/5.72 line 59:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.72 line 59:75 token recognition error at: '''
% 0.21/5.72 line 59:76 token recognition error at: '@'
% 0.21/5.72 line 59:77 token recognition error at: '*'
% 0.21/5.72 line 59:78 token recognition error at: '''
% 0.21/5.72 line 59:74 mismatched input ',' expecting {',', ')'}
% 0.21/5.72 line 62:63 token recognition error at: '''
% 0.21/5.72 line 62:64 token recognition error at: '@'
% 0.21/5.72 line 62:65 token recognition error at: '+'
% 0.21/5.72 line 62:66 token recognition error at: '''
% 0.21/5.72 line 62:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.72 line 62:75 token recognition error at: '''
% 0.21/5.72 line 62:76 token recognition error at: '@'
% 0.21/5.72 line 62:77 token recognition error at: '+'
% 0.21/5.72 line 62:78 token recognition error at: '''
% 0.21/5.72 line 62:74 mismatched input ',' expecting {',', ')'}
% 0.21/5.72 line 74:18 token recognition error at: '''
% 0.21/5.72 line 74:19 token recognition error at: '0'
% 0.21/5.72 line 74:20 token recognition error at: '''
% 0.21/5.72 line 74:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.72 line 80:7 token recognition error at: '''
% 0.21/5.72 line 80:8 token recognition error at: '0'
% 0.21/5.72 line 80:9 token recognition error at: '''
% 0.21/5.72 line 80:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.72 line 101:5 token recognition error at: '''
% 0.21/5.72 line 101:6 token recognition error at: '@'
% 0.21/5.72 line 101:7 token recognition error at: '='
% 0.21/5.72 line 101:8 token recognition error at: '<'
% 0.21/5.72 line 101:9 token recognition error at: '_'
% 0.21/5.72 line 101:18 token recognition error at: '''
% 0.21/5.72 line 101:30 token recognition error at: '''
% 0.21/5.73 line 101:31 token recognition error at: '@'
% 0.21/5.73 line 101:32 token recognition error at: '='
% 0.21/5.73 line 101:33 token recognition error at: '<'
% 0.21/5.73 line 101:34 token recognition error at: '_'
% 0.21/5.73 line 101:40 token recognition error at: '''
% 0.21/5.73 line 104:4 token recognition error at: '''
% 0.21/5.73 line 104:5 token recognition error at: '@'
% 0.21/5.73 line 104:6 token recognition error at: '='
% 0.21/5.73 line 104:7 token recognition error at: '<'
% 0.21/5.73 line 104:8 token recognition error at: '_'
% 0.21/5.73 line 104:17 token recognition error at: '''
% 0.21/5.73 line 104:28 token recognition error at: '''
% 0.21/5.73 line 104:29 token recognition error at: '@'
% 0.21/5.73 line 104:30 token recognition error at: '='
% 0.21/5.73 line 104:31 token recognition error at: '<'
% 0.21/5.73 line 104:32 token recognition error at: '_'
% 0.21/5.73 line 104:38 token recognition error at: '''
% 0.21/5.73 line 104:50 token recognition error at: '''
% 0.21/5.73 line 104:51 token recognition error at: '@'
% 0.21/5.73 line 104:52 token recognition error at: '='
% 0.21/5.73 line 104:53 token recognition error at: '<'
% 0.21/5.73 line 104:54 token recognition error at: '_'
% 0.21/5.73 line 104:65 token recognition error at: '''
% 0.21/5.73 line 107:5 token recognition error at: '''
% 0.21/5.73 line 107:6 token recognition error at: '@'
% 0.21/5.73 line 107:7 token recognition error at: '<'
% 0.21/5.73 line 107:8 token recognition error at: '_'
% 0.21/5.73 line 107:17 token recognition error at: '''
% 0.21/5.73 line 107:29 token recognition error at: '''
% 0.21/5.73 line 107:30 token recognition error at: '@'
% 0.21/5.73 line 107:31 token recognition error at: '<'
% 0.21/5.73 line 107:32 token recognition error at: '_'
% 0.21/5.73 line 107:38 token recognition error at: '''
% 0.21/5.73 line 110:4 token recognition error at: '''
% 0.21/5.73 line 110:5 token recognition error at: '@'
% 0.21/5.73 line 110:6 token recognition error at: '<'
% 0.21/5.73 line 110:7 token recognition error at: '_'
% 0.21/5.73 line 110:16 token recognition error at: '''
% 0.21/5.73 line 110:27 token recognition error at: '''
% 0.21/5.73 line 110:28 token recognition error at: '@'
% 0.21/5.73 line 110:29 token recognition error at: '<'
% 0.21/5.73 line 110:30 token recognition error at: '_'
% 0.21/5.73 line 110:36 token recognition error at: '''
% 0.21/5.73 line 110:48 token recognition error at: '''
% 0.21/5.73 line 110:49 token recognition error at: '@'
% 0.21/5.73 line 110:50 token recognition error at: '<'
% 0.21/5.73 line 110:51 token recognition error at: '_'
% 0.21/5.73 line 110:62 token recognition error at: '''
% 0.21/5.73 line 122:19 token recognition error at: '''
% 0.21/5.73 line 122:20 token recognition error at: '0'
% 0.21/5.73 line 122:21 token recognition error at: '''
% 0.21/5.73 line 122:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.73 line 122:26 token recognition error at: '''
% 0.21/5.73 line 122:27 token recognition error at: '0'
% 0.21/5.73 line 122:28 token recognition error at: '''
% 0.21/5.73 line 122:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.73 line 125:53 token recognition error at: '''
% 0.21/5.73 line 125:54 token recognition error at: '0'
% 0.21/5.73 line 125:55 token recognition error at: '''
% 0.21/5.73 line 125:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.73 line 128:53 token recognition error at: '''
% 0.21/5.73 line 128:54 token recognition error at: '0'
% 0.21/5.73 line 128:55 token recognition error at: '''
% 0.21/5.73 line 128:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.73 line 131:66 token recognition error at: '''
% 0.21/5.73 line 131:67 token recognition error at: '0'
% 0.21/5.73 line 131:68 token recognition error at: '''
% 0.21/5.73 line 131:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.73 line 134:66 token recognition error at: '''
% 0.21/5.73 line 134:67 token recognition error at: '0'
% 0.21/5.74 line 134:68 token recognition error at: '''
% 0.21/5.74 line 134:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 137:54 token recognition error at: '''
% 0.21/5.74 line 137:55 token recognition error at: '0'
% 0.21/5.74 line 137:56 token recognition error at: '''
% 0.21/5.74 line 137:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 140:54 token recognition error at: '''
% 0.21/5.74 line 140:55 token recognition error at: '0'
% 0.21/5.74 line 140:56 token recognition error at: '''
% 0.21/5.74 line 140:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 143:77 token recognition error at: '''
% 0.21/5.74 line 143:78 token recognition error at: '0'
% 0.21/5.74 line 143:79 token recognition error at: '''
% 0.21/5.74 line 143:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 146:77 token recognition error at: '''
% 0.21/5.74 line 146:78 token recognition error at: '0'
% 0.21/5.74 line 146:79 token recognition error at: '''
% 0.21/5.74 line 146:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 149:88 token recognition error at: '''
% 0.21/5.74 line 149:89 token recognition error at: '0'
% 0.21/5.74 line 149:90 token recognition error at: '''
% 0.21/5.74 line 149:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 152:88 token recognition error at: '''
% 0.21/5.74 line 152:89 token recognition error at: '0'
% 0.21/5.74 line 152:90 token recognition error at: '''
% 0.21/5.74 line 152:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 155:76 token recognition error at: '''
% 0.21/5.74 line 155:77 token recognition error at: '0'
% 0.21/5.74 line 155:78 token recognition error at: '''
% 0.21/5.74 line 155:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 158:76 token recognition error at: '''
% 0.21/5.74 line 158:77 token recognition error at: '0'
% 0.21/5.74 line 158:78 token recognition error at: '''
% 0.21/5.74 line 158:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 164:17 token recognition error at: '''
% 0.21/5.74 line 164:18 token recognition error at: '0'
% 0.21/5.74 line 164:19 token recognition error at: '''
% 0.21/5.74 line 164:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 164:24 token recognition error at: '''
% 0.21/5.74 line 164:25 token recognition error at: '0'
% 0.21/5.74 line 164:26 token recognition error at: '''
% 0.21/5.74 line 164:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 182:18 token recognition error at: '''
% 0.21/5.74 line 182:19 token recognition error at: '0'
% 0.21/5.74 line 182:20 token recognition error at: '''
% 0.21/5.74 line 182:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 185:53 token recognition error at: '''
% 0.21/5.74 line 185:54 token recognition error at: '0'
% 0.21/5.74 line 185:55 token recognition error at: '''
% 0.21/5.74 line 185:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 191:53 token recognition error at: '''
% 0.21/5.74 line 191:54 token recognition error at: '0'
% 0.21/5.74 line 191:55 token recognition error at: '''
% 0.21/5.74 line 191:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.74 line 197:65 token recognition error at: '''
% 0.21/5.74 line 197:66 token recognition error at: '0'
% 0.21/5.74 line 197:67 token recognition error at: '''
% 0.21/5.74 line 197:68 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 203:76 token recognition error at: '''
% 0.21/5.75 line 203:77 token recognition error at: '0'
% 0.21/5.75 line 203:78 token recognition error at: '''
% 0.21/5.75 line 203:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 209:77 token recognition error at: '''
% 0.21/5.75 line 209:78 token recognition error at: '0'
% 0.21/5.75 line 209:79 token recognition error at: '''
% 0.21/5.75 line 209:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 215:87 token recognition error at: '''
% 0.21/5.75 line 215:88 token recognition error at: '0'
% 0.21/5.75 line 215:89 token recognition error at: '''
% 0.21/5.75 line 215:90 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 224:16 token recognition error at: '''
% 0.21/5.75 line 224:17 token recognition error at: '0'
% 0.21/5.75 line 224:18 token recognition error at: '''
% 0.21/5.75 line 224:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 239:4 token recognition error at: '''
% 0.21/5.75 line 239:5 token recognition error at: '@'
% 0.21/5.75 line 239:6 token recognition error at: '='
% 0.21/5.75 line 239:7 token recognition error at: '<'
% 0.21/5.75 line 239:8 token recognition error at: '_'
% 0.21/5.75 line 239:17 token recognition error at: '''
% 0.21/5.75 line 239:35 token recognition error at: '''
% 0.21/5.75 line 239:36 token recognition error at: '@'
% 0.21/5.75 line 239:37 token recognition error at: '='
% 0.21/5.75 line 239:38 token recognition error at: '<'
% 0.21/5.75 line 239:39 token recognition error at: '_'
% 0.21/5.75 line 239:48 token recognition error at: '''
% 0.21/5.75 line 242:4 token recognition error at: '''
% 0.21/5.75 line 242:5 token recognition error at: '@'
% 0.21/5.75 line 242:6 token recognition error at: '='
% 0.21/5.75 line 242:7 token recognition error at: '<'
% 0.21/5.75 line 242:8 token recognition error at: '_'
% 0.21/5.75 line 242:17 token recognition error at: '''
% 0.21/5.75 line 242:19 token recognition error at: '''
% 0.21/5.75 line 242:20 token recognition error at: '0'
% 0.21/5.75 line 242:21 token recognition error at: '''
% 0.21/5.75 line 242:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 245:51 token recognition error at: '''
% 0.21/5.75 line 245:52 token recognition error at: '0'
% 0.21/5.75 line 245:53 token recognition error at: '''
% 0.21/5.75 line 245:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 245:62 token recognition error at: '''
% 0.21/5.75 line 245:63 token recognition error at: '@'
% 0.21/5.75 line 245:64 token recognition error at: '='
% 0.21/5.75 line 245:65 token recognition error at: '<'
% 0.21/5.75 line 245:66 token recognition error at: '_'
% 0.21/5.75 line 245:75 token recognition error at: '''
% 0.21/5.75 line 248:51 token recognition error at: '''
% 0.21/5.75 line 248:52 token recognition error at: '0'
% 0.21/5.75 line 248:53 token recognition error at: '''
% 0.21/5.75 line 248:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 248:62 token recognition error at: '''
% 0.21/5.75 line 248:63 token recognition error at: '@'
% 0.21/5.75 line 248:64 token recognition error at: '='
% 0.21/5.75 line 248:65 token recognition error at: '<'
% 0.21/5.75 line 248:66 token recognition error at: '_'
% 0.21/5.75 line 248:75 token recognition error at: '''
% 0.21/5.75 line 251:4 token recognition error at: '''
% 0.21/5.75 line 251:5 token recognition error at: '@'
% 0.21/5.75 line 251:6 token recognition error at: '='
% 0.21/5.75 line 251:7 token recognition error at: '<'
% 0.21/5.75 line 251:8 token recognition error at: '_'
% 0.21/5.75 line 251:17 token recognition error at: '''
% 0.21/5.75 line 251:59 token recognition error at: '''
% 0.21/5.75 line 251:60 token recognition error at: '0'
% 0.21/5.75 line 251:61 token recognition error at: '''
% 0.21/5.75 line 251:62 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.75 line 251:70 token recognition error at: '''
% 0.21/5.75 line 251:71 token recognition error at: '@'
% 0.21/5.75 line 251:72 token recognition error at: '='
% 0.21/5.75 line 251:73 token recognition error at: '<'
% 0.21/5.75 line 251:74 token recognition error at: '_'
% 0.21/5.75 line 251:83 token recognition error at: '''
% 0.21/5.75 line 254:4 token recognition error at: '''
% 0.21/5.75 line 254:5 token recognition error at: '@'
% 0.21/5.75 line 254:6 token recognition error at: '='
% 0.21/5.75 line 254:7 token recognition error at: '<'
% 0.21/5.75 line 254:8 token recognition error at: '_'
% 0.21/5.75 line 254:14 token recognition error at: '''
% 0.21/5.75 line 254:72 token recognition error at: '''
% 0.21/5.76 line 254:73 token recognition error at: '0'
% 0.21/5.76 line 254:74 token recognition error at: '''
% 0.21/5.76 line 254:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.76 line 257:4 token recognition error at: '''
% 0.21/5.76 line 257:5 token recognition error at: '@'
% 0.21/5.76 line 257:6 token recognition error at: '='
% 0.21/5.76 line 257:7 token recognition error at: '<'
% 0.21/5.76 line 257:8 token recognition error at: '_'
% 0.21/5.76 line 257:14 token recognition error at: '''
% 0.21/5.76 line 257:72 token recognition error at: '''
% 0.21/5.76 line 257:73 token recognition error at: '0'
% 0.21/5.76 line 257:74 token recognition error at: '''
% 0.21/5.76 line 257:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.76 line 260:4 token recognition error at: '''
% 0.21/5.76 line 260:5 token recognition error at: '@'
% 0.21/5.76 line 260:6 token recognition error at: '='
% 0.21/5.76 line 260:7 token recognition error at: '<'
% 0.21/5.76 line 260:8 token recognition error at: '_'
% 0.21/5.76 line 260:14 token recognition error at: '''
% 0.21/5.76 line 260:26 token recognition error at: '''
% 0.21/5.76 line 260:27 token recognition error at: '@'
% 0.21/5.76 line 260:28 token recognition error at: '='
% 0.21/5.76 line 260:29 token recognition error at: '<'
% 0.21/5.76 line 260:30 token recognition error at: '_'
% 0.21/5.76 line 260:36 token recognition error at: '''
% 0.21/5.76 line 260:78 token recognition error at: '''
% 0.21/5.76 line 260:79 token recognition error at: '0'
% 0.21/5.76 line 260:80 token recognition error at: '''
% 0.21/5.76 line 260:81 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.76 line 263:4 token recognition error at: '''
% 0.21/5.76 line 263:5 token recognition error at: '@'
% 0.21/5.76 line 263:6 token recognition error at: '='
% 0.21/5.76 line 263:7 token recognition error at: '<'
% 0.21/5.76 line 263:8 token recognition error at: '_'
% 0.21/5.76 line 263:14 token recognition error at: '''
% 0.21/5.76 line 263:26 token recognition error at: '''
% 0.21/5.76 line 263:27 token recognition error at: '@'
% 0.21/5.76 line 263:28 token recognition error at: '='
% 0.21/5.76 line 263:29 token recognition error at: '<'
% 0.21/5.76 line 263:30 token recognition error at: '_'
% 0.21/5.76 line 263:36 token recognition error at: '''
% 0.21/5.76 line 266:5 token recognition error at: '''
% 0.21/5.76 line 266:6 token recognition error at: '@'
% 0.21/5.76 line 266:7 token recognition error at: '='
% 0.21/5.76 line 266:8 token recognition error at: '<'
% 0.21/5.76 line 266:9 token recognition error at: '_'
% 0.21/5.76 line 266:15 token recognition error at: '''
% 0.21/5.76 line 266:17 token recognition error at: '''
% 0.21/5.76 line 266:18 token recognition error at: '0'
% 0.21/5.76 line 266:19 token recognition error at: '''
% 0.21/5.76 line 266:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.76 line 269:4 token recognition error at: '''
% 0.21/5.76 line 269:5 token recognition error at: '@'
% 0.21/5.76 line 269:6 token recognition error at: '='
% 0.21/5.76 line 269:7 token recognition error at: '<'
% 0.21/5.76 line 269:8 token recognition error at: '_'
% 0.21/5.76 line 269:19 token recognition error at: '''
% 0.21/5.76 line 272:4 token recognition error at: '''
% 0.21/5.76 line 272:5 token recognition error at: '@'
% 0.21/5.76 line 272:6 token recognition error at: '='
% 0.21/5.76 line 272:7 token recognition error at: '<'
% 0.21/5.76 line 272:8 token recognition error at: '_'
% 0.21/5.76 line 272:19 token recognition error at: '''
% 0.21/5.76 line 275:4 token recognition error at: '''
% 0.21/5.76 line 275:5 token recognition error at: '@'
% 0.21/5.76 line 275:6 token recognition error at: '='
% 0.21/5.76 line 275:7 token recognition error at: '<'
% 0.21/5.76 line 275:8 token recognition error at: '_'
% 0.21/5.76 line 275:19 token recognition error at: '''
% 0.21/5.76 line 275:31 token recognition error at: '''
% 0.21/5.76 line 275:32 token recognition error at: '@'
% 0.21/5.76 line 275:33 token recognition error at: '='
% 0.21/5.76 line 275:34 token recognition error at: '<'
% 0.21/5.76 line 275:35 token recognition error at: '_'
% 0.21/5.76 line 275:46 token recognition error at: '''
% 0.21/5.76 line 278:4 token recognition error at: '''
% 0.21/5.76 line 278:5 token recognition error at: '@'
% 0.21/5.76 line 278:6 token recognition error at: '='
% 0.21/5.76 line 278:7 token recognition error at: '<'
% 0.21/5.76 line 278:8 token recognition error at: '_'
% 0.21/5.76 line 278:19 token recognition error at: '''
% 0.21/5.76 line 278:31 token recognition error at: '''
% 0.21/5.76 line 278:32 token recognition error at: '@'
% 0.21/5.76 line 278:33 token recognition error at: '='
% 0.21/5.76 line 278:34 token recognition error at: '<'
% 0.21/5.76 line 278:35 token recognition error at: '_'
% 0.21/5.76 line 278:46 token recognition error at: '''
% 0.21/5.76 line 281:4 token recognition error at: '''
% 0.21/5.76 line 281:5 token recognition error at: '@'
% 0.21/5.76 line 281:6 token recognition error at: '<'
% 0.21/5.76 line 281:7 token recognition error at: '_'
% 0.21/5.76 line 281:16 token recognition error at: '''
% 0.21/5.76 line 281:34 token recognition error at: '''
% 0.21/5.76 line 281:35 token recognition error at: '@'
% 0.21/5.76 line 281:36 token recognition error at: '<'
% 0.21/5.76 line 281:37 token recognition error at: '_'
% 0.21/5.76 line 281:46 token recognition error at: '''
% 0.21/5.76 line 284:4 token recognition error at: '''
% 0.21/5.76 line 284:5 token recognition error at: '@'
% 0.21/5.76 line 284:6 token recognition error at: '<'
% 0.21/5.76 line 284:7 token recognition error at: '_'
% 0.21/5.76 line 284:16 token recognition error at: '''
% 0.21/5.76 line 284:18 token recognition error at: '''
% 0.21/5.76 line 284:19 token recognition error at: '0'
% 0.21/5.76 line 284:20 token recognition error at: '''
% 0.21/5.76 line 284:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.76 line 287:51 token recognition error at: '''
% 0.21/5.76 line 287:52 token recognition error at: '0'
% 0.21/5.76 line 287:53 token recognition error at: '''
% 0.21/5.76 line 287:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.76 line 287:62 token recognition error at: '''
% 0.21/5.76 line 287:63 token recognition error at: '@'
% 0.21/5.76 line 287:64 token recognition error at: '<'
% 0.21/5.76 line 287:65 token recognition error at: '_'
% 0.21/5.76 line 287:74 token recognition error at: '''
% 0.21/5.76 line 290:73 token recognition error at: '''
% 0.21/5.76 line 290:74 token recognition error at: '@'
% 0.21/5.76 line 290:75 token recognition error at: '<'
% 0.21/5.76 line 290:76 token recognition error at: '_'
% 0.21/5.77 line 290:85 token recognition error at: '''
% 0.21/5.77 line 293:51 token recognition error at: '''
% 0.21/5.77 line 293:52 token recognition error at: '0'
% 0.21/5.77 line 293:53 token recognition error at: '''
% 0.21/5.77 line 293:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.77 line 293:62 token recognition error at: '''
% 0.21/5.77 line 293:63 token recognition error at: '@'
% 0.21/5.77 line 293:64 token recognition error at: '<'
% 0.21/5.77 line 293:65 token recognition error at: '_'
% 0.21/5.77 line 293:74 token recognition error at: '''
% 0.21/5.77 line 296:73 token recognition error at: '''
% 0.21/5.77 line 296:74 token recognition error at: '@'
% 0.21/5.77 line 296:75 token recognition error at: '<'
% 0.21/5.77 line 296:76 token recognition error at: '_'
% 0.21/5.77 line 296:85 token recognition error at: '''
% 0.21/5.77 line 299:4 token recognition error at: '''
% 0.21/5.77 line 299:5 token recognition error at: '@'
% 0.21/5.77 line 299:6 token recognition error at: '<'
% 0.21/5.77 line 299:7 token recognition error at: '_'
% 0.21/5.77 line 299:16 token recognition error at: '''
% 0.21/5.77 line 299:58 token recognition error at: '''
% 0.21/5.77 line 299:59 token recognition error at: '0'
% 0.21/5.77 line 299:60 token recognition error at: '''
% 0.21/5.77 line 299:61 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.77 line 299:69 token recognition error at: '''
% 0.21/5.77 line 299:70 token recognition error at: '@'
% 0.21/5.77 line 299:71 token recognition error at: '<'
% 0.21/5.77 line 299:72 token recognition error at: '_'
% 0.21/5.77 line 299:81 token recognition error at: '''
% 0.21/5.77 line 302:4 token recognition error at: '''
% 0.21/5.77 line 302:5 token recognition error at: '@'
% 0.21/5.77 line 302:6 token recognition error at: '<'
% 0.21/5.77 line 302:7 token recognition error at: '_'
% 0.21/5.77 line 302:16 token recognition error at: '''
% 0.21/5.77 line 302:80 token recognition error at: '''
% 0.21/5.77 line 302:81 token recognition error at: '@'
% 0.21/5.77 line 302:82 token recognition error at: '<'
% 0.21/5.77 line 302:83 token recognition error at: '_'
% 0.21/5.77 line 302:92 token recognition error at: '''
% 0.21/5.77 line 305:4 token recognition error at: '''
% 0.21/5.77 line 305:5 token recognition error at: '@'
% 0.21/5.77 line 305:6 token recognition error at: '<'
% 0.21/5.77 line 305:7 token recognition error at: '_'
% 0.21/5.77 line 305:13 token recognition error at: '''
% 0.21/5.77 line 305:71 token recognition error at: '''
% 0.21/5.77 line 305:72 token recognition error at: '0'
% 0.21/5.77 line 305:73 token recognition error at: '''
% 0.21/5.77 line 305:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.77 line 308:4 token recognition error at: '''
% 0.21/5.77 line 308:5 token recognition error at: '@'
% 0.21/5.77 line 308:6 token recognition error at: '<'
% 0.21/5.77 line 308:7 token recognition error at: '_'
% 0.21/5.77 line 308:13 token recognition error at: '''
% 0.21/5.77 line 311:4 token recognition error at: '''
% 0.21/5.77 line 311:5 token recognition error at: '@'
% 0.21/5.77 line 311:6 token recognition error at: '<'
% 0.21/5.77 line 311:7 token recognition error at: '_'
% 0.21/5.77 line 311:13 token recognition error at: '''
% 0.21/5.77 line 311:71 token recognition error at: '''
% 0.21/5.77 line 311:72 token recognition error at: '0'
% 0.21/5.77 line 311:73 token recognition error at: '''
% 0.21/5.77 line 311:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.77 line 314:4 token recognition error at: '''
% 0.21/5.77 line 314:5 token recognition error at: '@'
% 0.21/5.77 line 314:6 token recognition error at: '<'
% 0.21/5.77 line 314:7 token recognition error at: '_'
% 0.21/5.77 line 314:13 token recognition error at: '''
% 0.21/5.77 line 317:4 token recognition error at: '''
% 0.21/5.77 line 317:5 token recognition error at: '@'
% 0.21/5.77 line 317:6 token recognition error at: '<'
% 0.21/5.77 line 317:7 token recognition error at: '_'
% 0.21/5.77 line 317:13 token recognition error at: '''
% 0.21/5.77 line 317:25 token recognition error at: '''
% 0.21/5.77 line 317:26 token recognition error at: '@'
% 0.21/5.77 line 317:27 token recognition error at: '<'
% 0.21/5.77 line 317:28 token recognition error at: '_'
% 0.21/5.77 line 317:34 token recognition error at: '''
% 0.21/5.77 line 317:76 token recognition error at: '''
% 0.21/5.77 line 317:77 token recognition error at: '0'
% 0.21/5.77 line 317:78 token recognition error at: '''
% 0.21/5.77 line 317:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.77 line 320:4 token recognition error at: '''
% 0.21/5.77 line 320:5 token recognition error at: '@'
% 0.21/5.77 line 320:6 token recognition error at: '<'
% 0.21/5.77 line 320:7 token recognition error at: '_'
% 0.21/5.77 line 320:13 token recognition error at: '''
% 0.21/5.77 line 320:25 token recognition error at: '''
% 0.21/5.77 line 320:26 token recognition error at: '@'
% 0.21/5.77 line 320:27 token recognition error at: '<'
% 0.21/5.77 line 320:28 token recognition error at: '_'
% 0.21/5.77 line 320:34 token recognition error at: '''
% 0.21/5.77 line 323:4 token recognition error at: '''
% 0.21/5.77 line 323:5 token recognition error at: '@'
% 0.21/5.77 line 323:6 token recognition error at: '<'
% 0.21/5.77 line 323:7 token recognition error at: '_'
% 0.21/5.77 line 323:13 token recognition error at: '''
% 0.21/5.77 line 323:25 token recognition error at: '''
% 0.21/5.77 line 323:26 token recognition error at: '@'
% 0.21/5.77 line 323:27 token recognition error at: '<'
% 0.21/5.77 line 323:28 token recognition error at: '_'
% 0.21/5.77 line 323:34 token recognition error at: '''
% 0.21/5.77 line 326:5 token recognition error at: '''
% 0.21/5.77 line 326:6 token recognition error at: '@'
% 0.21/5.77 line 326:7 token recognition error at: '<'
% 0.21/5.77 line 326:8 token recognition error at: '_'
% 0.21/5.77 line 326:14 token recognition error at: '''
% 0.21/5.77 line 326:16 token recognition error at: '''
% 0.21/5.77 line 326:17 token recognition error at: '0'
% 0.21/5.77 line 326:18 token recognition error at: '''
% 0.21/5.77 line 326:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.77 line 329:4 token recognition error at: '''
% 0.21/5.77 line 329:5 token recognition error at: '@'
% 0.21/5.77 line 329:6 token recognition error at: '<'
% 0.21/5.77 line 329:7 token recognition error at: '_'
% 0.21/5.77 line 329:18 token recognition error at: '''
% 0.21/5.77 line 332:4 token recognition error at: '''
% 0.21/5.78 line 332:5 token recognition error at: '@'
% 0.21/5.78 line 332:6 token recognition error at: '<'
% 0.21/5.78 line 332:7 token recognition error at: '_'
% 0.21/5.78 line 332:18 token recognition error at: '''
% 0.21/5.78 line 335:4 token recognition error at: '''
% 0.21/5.78 line 335:5 token recognition error at: '@'
% 0.21/5.78 line 335:6 token recognition error at: '<'
% 0.21/5.78 line 335:7 token recognition error at: '_'
% 0.21/5.78 line 335:18 token recognition error at: '''
% 0.21/5.78 line 335:30 token recognition error at: '''
% 0.21/5.78 line 335:31 token recognition error at: '@'
% 0.21/5.78 line 335:32 token recognition error at: '<'
% 0.21/5.78 line 335:33 token recognition error at: '_'
% 0.21/5.78 line 335:44 token recognition error at: '''
% 0.21/5.78 line 338:4 token recognition error at: '''
% 0.21/5.78 line 338:5 token recognition error at: '@'
% 0.21/5.78 line 338:6 token recognition error at: '<'
% 0.21/5.78 line 338:7 token recognition error at: '_'
% 0.21/5.78 line 338:18 token recognition error at: '''
% 0.21/5.78 line 338:30 token recognition error at: '''
% 0.21/5.78 line 338:31 token recognition error at: '@'
% 0.21/5.78 line 338:32 token recognition error at: '<'
% 0.21/5.78 line 338:33 token recognition error at: '_'
% 0.21/5.78 line 338:44 token recognition error at: '''
% 0.21/5.78 line 344:17 token recognition error at: '''
% 0.21/5.78 line 344:18 token recognition error at: '0'
% 0.21/5.78 line 344:19 token recognition error at: '''
% 0.21/5.78 line 344:20 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 347:48 token recognition error at: '''
% 0.21/5.78 line 347:49 token recognition error at: '0'
% 0.21/5.78 line 347:50 token recognition error at: '''
% 0.21/5.78 line 347:51 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 350:42 token recognition error at: '''
% 0.21/5.78 line 350:43 token recognition error at: '0'
% 0.21/5.78 line 350:44 token recognition error at: '''
% 0.21/5.78 line 350:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 353:64 token recognition error at: '''
% 0.21/5.78 line 353:65 token recognition error at: '0'
% 0.21/5.78 line 353:66 token recognition error at: '''
% 0.21/5.78 line 353:67 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 356:56 token recognition error at: '''
% 0.21/5.78 line 356:57 token recognition error at: '0'
% 0.21/5.78 line 356:58 token recognition error at: '''
% 0.21/5.78 line 356:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 362:15 token recognition error at: '''
% 0.21/5.78 line 362:16 token recognition error at: '0'
% 0.21/5.78 line 362:17 token recognition error at: '''
% 0.21/5.78 line 362:18 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 374:17 token recognition error at: '''
% 0.21/5.78 line 374:18 token recognition error at: '@'
% 0.21/5.78 line 374:19 token recognition error at: '+'
% 0.21/5.78 line 374:20 token recognition error at: '''
% 0.21/5.78 line 374:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 374:28 mismatched input ',' expecting {',', ')'}
% 0.21/5.78 line 377:24 token recognition error at: '''
% 0.21/5.78 line 377:25 token recognition error at: '@'
% 0.21/5.78 line 377:26 token recognition error at: '+'
% 0.21/5.78 line 377:27 token recognition error at: '''
% 0.21/5.78 line 377:28 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 377:37 mismatched input '|' expecting {',', ')'}
% 0.21/5.78 line 380:17 token recognition error at: '''
% 0.21/5.78 line 380:18 token recognition error at: '@'
% 0.21/5.78 line 380:19 token recognition error at: '*'
% 0.21/5.78 line 380:20 token recognition error at: '''
% 0.21/5.78 line 380:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 380:28 mismatched input ',' expecting {',', ')'}
% 0.21/5.78 line 383:25 token recognition error at: '''
% 0.21/5.78 line 383:26 token recognition error at: '@'
% 0.21/5.78 line 383:27 token recognition error at: '*'
% 0.21/5.78 line 383:28 token recognition error at: '''
% 0.21/5.78 line 383:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 383:38 mismatched input '|' expecting {',', ')'}
% 0.21/5.78 line 425:17 token recognition error at: '''
% 0.21/5.78 line 425:18 token recognition error at: '@'
% 0.21/5.78 line 425:19 token recognition error at: '+'
% 0.21/5.78 line 425:20 token recognition error at: '''
% 0.21/5.78 line 425:22 token recognition error at: '''
% 0.21/5.78 line 425:23 token recognition error at: '0'
% 0.21/5.78 line 425:24 token recognition error at: '''
% 0.21/5.78 line 425:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 425:29 mismatched input ',' expecting {',', ')'}
% 0.21/5.78 line 428:17 token recognition error at: '''
% 0.21/5.78 line 428:18 token recognition error at: '@'
% 0.21/5.78 line 428:19 token recognition error at: '+'
% 0.21/5.78 line 428:20 token recognition error at: '''
% 0.21/5.78 line 428:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.78 line 428:31 mismatched input ',' expecting {',', ')'}
% 0.21/5.78 line 428:34 token recognition error at: '''
% 0.21/5.78 line 428:35 token recognition error at: '@'
% 0.21/5.78 line 428:36 token recognition error at: '+'
% 0.21/5.78 line 428:37 token recognition error at: '''
% 0.21/5.78 line 431:17 token recognition error at: '''
% 0.21/5.78 line 431:18 token recognition error at: '@'
% 0.21/5.79 line 431:19 token recognition error at: '+'
% 0.21/5.79 line 431:20 token recognition error at: '''
% 0.21/5.79 line 431:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 431:30 mismatched input '|' expecting {',', ')'}
% 0.21/5.79 line 434:17 token recognition error at: '''
% 0.21/5.79 line 434:18 token recognition error at: '@'
% 0.21/5.79 line 434:19 token recognition error at: '+'
% 0.21/5.79 line 434:20 token recognition error at: '''
% 0.21/5.79 line 434:22 token recognition error at: '''
% 0.21/5.79 line 434:23 token recognition error at: '@'
% 0.21/5.79 line 434:24 token recognition error at: '+'
% 0.21/5.79 line 434:25 token recognition error at: '''
% 0.21/5.79 line 434:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 434:33 mismatched input ',' expecting {',', ')'}
% 0.21/5.79 line 434:38 token recognition error at: '''
% 0.21/5.79 line 434:39 token recognition error at: '@'
% 0.21/5.79 line 434:40 token recognition error at: '+'
% 0.21/5.79 line 434:41 token recognition error at: '''
% 0.21/5.79 line 434:46 token recognition error at: '''
% 0.21/5.79 line 434:47 token recognition error at: '@'
% 0.21/5.79 line 434:48 token recognition error at: '+'
% 0.21/5.79 line 434:49 token recognition error at: '''
% 0.21/5.79 line 437:17 token recognition error at: '''
% 0.21/5.79 line 437:18 token recognition error at: '@'
% 0.21/5.79 line 437:19 token recognition error at: '+'
% 0.21/5.79 line 437:20 token recognition error at: '''
% 0.21/5.79 line 437:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 437:25 token recognition error at: '''
% 0.21/5.79 line 437:26 token recognition error at: '0'
% 0.21/5.79 line 437:27 token recognition error at: '''
% 0.21/5.79 line 437:28 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 437:29 mismatched input ',' expecting {')', '|'}
% 0.21/5.79 line 440:17 token recognition error at: '''
% 0.21/5.79 line 440:18 token recognition error at: '@'
% 0.21/5.79 line 440:19 token recognition error at: '+'
% 0.21/5.79 line 440:20 token recognition error at: '''
% 0.21/5.79 line 440:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 440:32 token recognition error at: '''
% 0.21/5.79 line 440:33 token recognition error at: '@'
% 0.21/5.79 line 440:34 token recognition error at: '+'
% 0.21/5.79 line 440:35 token recognition error at: '''
% 0.21/5.79 line 440:31 mismatched input ',' expecting {',', ')'}
% 0.21/5.79 line 443:17 token recognition error at: '''
% 0.21/5.79 line 443:18 token recognition error at: '@'
% 0.21/5.79 line 443:19 token recognition error at: '+'
% 0.21/5.79 line 443:20 token recognition error at: '''
% 0.21/5.79 line 443:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 443:29 token recognition error at: '''
% 0.21/5.79 line 443:30 token recognition error at: '@'
% 0.21/5.79 line 443:31 token recognition error at: '+'
% 0.21/5.79 line 443:32 token recognition error at: '''
% 0.21/5.79 line 443:28 mismatched input ',' expecting {',', ')'}
% 0.21/5.79 line 446:60 token recognition error at: '''
% 0.21/5.79 line 446:61 token recognition error at: '@'
% 0.21/5.79 line 446:62 token recognition error at: '+'
% 0.21/5.79 line 446:63 token recognition error at: '''
% 0.21/5.79 line 446:64 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 446:72 token recognition error at: '''
% 0.21/5.79 line 446:73 token recognition error at: '@'
% 0.21/5.79 line 446:74 token recognition error at: '+'
% 0.21/5.79 line 446:75 token recognition error at: '''
% 0.21/5.79 line 446:71 mismatched input ',' expecting {',', ')'}
% 0.21/5.79 line 470:17 token recognition error at: '''
% 0.21/5.79 line 470:18 token recognition error at: '0'
% 0.21/5.79 line 470:19 token recognition error at: '''
% 0.21/5.79 line 470:21 token recognition error at: '''
% 0.21/5.79 line 470:22 token recognition error at: '@'
% 0.21/5.79 line 470:23 token recognition error at: '*'
% 0.21/5.79 line 470:24 token recognition error at: '''
% 0.21/5.79 line 470:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 470:26 token recognition error at: '''
% 0.21/5.79 line 470:27 token recognition error at: '0'
% 0.21/5.79 line 470:28 token recognition error at: '''
% 0.21/5.79 line 470:25 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 470:35 mismatched input '|' expecting {',', ')'}
% 0.21/5.79 line 473:17 token recognition error at: '''
% 0.21/5.79 line 473:18 token recognition error at: '@'
% 0.21/5.79 line 473:19 token recognition error at: '*'
% 0.21/5.79 line 473:20 token recognition error at: '''
% 0.21/5.79 line 473:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 473:32 token recognition error at: '''
% 0.21/5.79 line 473:33 token recognition error at: '@'
% 0.21/5.79 line 473:34 token recognition error at: '+'
% 0.21/5.79 line 473:35 token recognition error at: '''
% 0.21/5.79 line 473:31 mismatched input ',' expecting {',', ')'}
% 0.21/5.79 line 473:40 token recognition error at: '''
% 0.21/5.79 line 473:41 token recognition error at: '@'
% 0.21/5.79 line 473:42 token recognition error at: '*'
% 0.21/5.79 line 473:43 token recognition error at: '''
% 0.21/5.79 line 476:17 token recognition error at: '''
% 0.21/5.79 line 476:18 token recognition error at: '@'
% 0.21/5.79 line 476:19 token recognition error at: '*'
% 0.21/5.79 line 476:20 token recognition error at: '''
% 0.21/5.79 line 476:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 476:30 mismatched input '|' expecting {',', ')'}
% 0.21/5.79 line 479:17 token recognition error at: '''
% 0.21/5.79 line 479:18 token recognition error at: '@'
% 0.21/5.79 line 479:19 token recognition error at: '*'
% 0.21/5.79 line 479:20 token recognition error at: '''
% 0.21/5.79 line 479:22 token recognition error at: '''
% 0.21/5.79 line 479:23 token recognition error at: '@'
% 0.21/5.79 line 479:24 token recognition error at: '+'
% 0.21/5.79 line 479:25 token recognition error at: '''
% 0.21/5.79 line 479:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.79 line 479:33 mismatched input ',' expecting {',', ')'}
% 0.21/5.79 line 479:38 token recognition error at: '''
% 0.21/5.79 line 479:39 token recognition error at: '@'
% 0.21/5.79 line 479:40 token recognition error at: '+'
% 0.21/5.79 line 479:41 token recognition error at: '''
% 0.21/5.79 line 479:43 token recognition error at: '''
% 0.21/5.79 line 479:44 token recognition error at: '@'
% 0.21/5.79 line 479:45 token recognition error at: '*'
% 0.21/5.79 line 479:46 token recognition error at: '''
% 0.21/5.79 line 479:55 token recognition error at: '''
% 0.21/5.79 line 479:56 token recognition error at: '@'
% 0.21/5.79 line 479:57 token recognition error at: '*'
% 0.21/5.79 line 479:58 token recognition error at: '''
% 0.21/5.80 line 482:17 token recognition error at: '''
% 0.21/5.80 line 482:18 token recognition error at: '@'
% 0.21/5.80 line 482:19 token recognition error at: '*'
% 0.21/5.80 line 482:20 token recognition error at: '''
% 0.21/5.80 line 482:22 token recognition error at: '''
% 0.21/5.80 line 482:23 token recognition error at: '@'
% 0.21/5.80 line 482:24 token recognition error at: '*'
% 0.21/5.80 line 482:25 token recognition error at: '''
% 0.21/5.80 line 482:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 482:33 mismatched input ',' expecting {',', ')'}
% 0.21/5.80 line 482:38 token recognition error at: '''
% 0.21/5.80 line 482:39 token recognition error at: '@'
% 0.21/5.80 line 482:40 token recognition error at: '*'
% 0.21/5.80 line 482:41 token recognition error at: '''
% 0.21/5.80 line 482:46 token recognition error at: '''
% 0.21/5.80 line 482:47 token recognition error at: '@'
% 0.21/5.80 line 482:48 token recognition error at: '*'
% 0.21/5.80 line 482:49 token recognition error at: '''
% 0.21/5.80 line 485:17 token recognition error at: '''
% 0.21/5.80 line 485:18 token recognition error at: '0'
% 0.21/5.80 line 485:19 token recognition error at: '''
% 0.21/5.80 line 485:21 token recognition error at: '''
% 0.21/5.80 line 485:22 token recognition error at: '@'
% 0.21/5.80 line 485:23 token recognition error at: '*'
% 0.21/5.80 line 485:24 token recognition error at: '''
% 0.21/5.80 line 485:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 485:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 485:29 token recognition error at: '''
% 0.21/5.80 line 485:30 token recognition error at: '0'
% 0.21/5.80 line 485:31 token recognition error at: '''
% 0.21/5.80 line 485:32 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 485:35 mismatched input '|' expecting {')', '|'}
% 0.21/5.80 line 488:17 token recognition error at: '''
% 0.21/5.80 line 488:18 token recognition error at: '@'
% 0.21/5.80 line 488:19 token recognition error at: '+'
% 0.21/5.80 line 488:20 token recognition error at: '''
% 0.21/5.80 line 488:22 token recognition error at: '''
% 0.21/5.80 line 488:23 token recognition error at: '@'
% 0.21/5.80 line 488:24 token recognition error at: '*'
% 0.21/5.80 line 488:25 token recognition error at: '''
% 0.21/5.80 line 488:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 488:33 mismatched input ',' expecting {',', ')'}
% 0.21/5.80 line 488:38 token recognition error at: '''
% 0.21/5.80 line 488:39 token recognition error at: '@'
% 0.21/5.80 line 488:40 token recognition error at: '*'
% 0.21/5.80 line 488:41 token recognition error at: '''
% 0.21/5.80 line 491:17 token recognition error at: '''
% 0.21/5.80 line 491:18 token recognition error at: '@'
% 0.21/5.80 line 491:19 token recognition error at: '*'
% 0.21/5.80 line 491:20 token recognition error at: '''
% 0.21/5.80 line 491:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 491:29 token recognition error at: '''
% 0.21/5.80 line 491:30 token recognition error at: '@'
% 0.21/5.80 line 491:31 token recognition error at: '*'
% 0.21/5.80 line 491:32 token recognition error at: '''
% 0.21/5.80 line 491:28 mismatched input ',' expecting {',', ')'}
% 0.21/5.80 line 494:17 token recognition error at: '''
% 0.21/5.80 line 494:18 token recognition error at: '@'
% 0.21/5.80 line 494:19 token recognition error at: '*'
% 0.21/5.80 line 494:20 token recognition error at: '''
% 0.21/5.80 line 494:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 494:24 token recognition error at: '''
% 0.21/5.80 line 494:25 token recognition error at: '0'
% 0.21/5.80 line 494:26 token recognition error at: '''
% 0.21/5.80 line 494:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 494:32 mismatched input ',' expecting {',', ')'}
% 0.21/5.80 line 497:17 token recognition error at: '''
% 0.21/5.80 line 497:18 token recognition error at: '@'
% 0.21/5.80 line 497:19 token recognition error at: '*'
% 0.21/5.80 line 497:20 token recognition error at: '''
% 0.21/5.80 line 497:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 497:27 token recognition error at: '''
% 0.21/5.80 line 497:28 token recognition error at: '0'
% 0.21/5.80 line 497:29 token recognition error at: '''
% 0.21/5.80 line 497:30 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 497:32 mismatched input ',' expecting {',', ')'}
% 0.21/5.80 line 500:17 token recognition error at: '''
% 0.21/5.80 line 500:18 token recognition error at: '@'
% 0.21/5.80 line 500:19 token recognition error at: '*'
% 0.21/5.80 line 500:20 token recognition error at: '''
% 0.21/5.80 line 500:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 500:25 token recognition error at: '''
% 0.21/5.80 line 500:26 token recognition error at: '@'
% 0.21/5.80 line 500:27 token recognition error at: '+'
% 0.21/5.80 line 500:28 token recognition error at: '''
% 0.21/5.80 line 500:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 500:38 token recognition error at: '''
% 0.21/5.80 line 500:39 token recognition error at: '@'
% 0.21/5.80 line 500:40 token recognition error at: '+'
% 0.21/5.80 line 500:41 token recognition error at: '''
% 0.21/5.80 line 500:37 mismatched input ',' expecting {',', ')'}
% 0.21/5.80 line 500:43 token recognition error at: '''
% 0.21/5.80 line 500:44 token recognition error at: '@'
% 0.21/5.80 line 500:45 token recognition error at: '*'
% 0.21/5.80 line 500:46 token recognition error at: '''
% 0.21/5.80 line 500:55 token recognition error at: '''
% 0.21/5.80 line 500:56 token recognition error at: '@'
% 0.21/5.80 line 500:57 token recognition error at: '*'
% 0.21/5.80 line 500:58 token recognition error at: '''
% 0.21/5.80 line 503:4 token recognition error at: '''
% 0.21/5.80 line 503:5 token recognition error at: '@'
% 0.21/5.80 line 503:6 token recognition error at: '<'
% 0.21/5.80 line 503:7 token recognition error at: '_'
% 0.21/5.80 line 503:18 token recognition error at: '''
% 0.21/5.80 line 506:4 token recognition error at: '''
% 0.21/5.80 line 506:5 token recognition error at: '@'
% 0.21/5.80 line 506:6 token recognition error at: '<'
% 0.21/5.80 line 506:7 token recognition error at: '_'
% 0.21/5.80 line 506:18 token recognition error at: '''
% 0.21/5.80 line 509:24 token recognition error at: '''
% 0.21/5.80 line 509:25 token recognition error at: '@'
% 0.21/5.80 line 509:26 token recognition error at: '<'
% 0.21/5.80 line 509:27 token recognition error at: '_'
% 0.21/5.80 line 509:36 token recognition error at: '''
% 0.21/5.80 line 512:36 token recognition error at: '''
% 0.21/5.80 line 512:37 token recognition error at: '@'
% 0.21/5.80 line 512:38 token recognition error at: '<'
% 0.21/5.80 line 512:39 token recognition error at: '_'
% 0.21/5.80 line 512:48 token recognition error at: '''
% 0.21/5.80 line 515:51 token recognition error at: '''
% 0.21/5.80 line 515:52 token recognition error at: '0'
% 0.21/5.80 line 515:53 token recognition error at: '''
% 0.21/5.80 line 515:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 521:51 token recognition error at: '''
% 0.21/5.80 line 521:52 token recognition error at: '0'
% 0.21/5.80 line 521:53 token recognition error at: '''
% 0.21/5.80 line 521:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 527:4 token recognition error at: '''
% 0.21/5.80 line 527:5 token recognition error at: '@'
% 0.21/5.80 line 527:6 token recognition error at: '<'
% 0.21/5.80 line 527:7 token recognition error at: '_'
% 0.21/5.80 line 527:16 token recognition error at: '''
% 0.21/5.80 line 527:58 token recognition error at: '''
% 0.21/5.80 line 527:59 token recognition error at: '0'
% 0.21/5.80 line 527:60 token recognition error at: '''
% 0.21/5.80 line 527:61 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.80 line 530:4 token recognition error at: '''
% 0.21/5.80 line 530:5 token recognition error at: '@'
% 0.21/5.80 line 530:6 token recognition error at: '<'
% 0.21/5.80 line 530:7 token recognition error at: '_'
% 0.21/5.80 line 530:16 token recognition error at: '''
% 0.21/5.80 line 533:4 token recognition error at: '''
% 0.21/5.80 line 533:5 token recognition error at: '@'
% 0.21/5.80 line 533:6 token recognition error at: '<'
% 0.21/5.80 line 533:7 token recognition error at: '_'
% 0.21/5.81 line 533:16 token recognition error at: '''
% 0.21/5.81 line 533:37 token recognition error at: '''
% 0.21/5.81 line 533:38 token recognition error at: '@'
% 0.21/5.81 line 533:39 token recognition error at: '<'
% 0.21/5.81 line 533:40 token recognition error at: '_'
% 0.21/5.81 line 533:49 token recognition error at: '''
% 0.21/5.81 line 533:85 token recognition error at: '''
% 0.21/5.81 line 533:86 token recognition error at: '0'
% 0.21/5.81 line 533:87 token recognition error at: '''
% 0.21/5.81 line 533:88 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.21/5.81 line 536:4 token recognition error at: '''
% 0.21/5.81 line 536:5 token recognition error at: '@'
% 0.21/5.81 line 536:6 token recognition error at: '<'
% 0.21/5.81 line 536:7 token recognition error at: '_'
% 0.21/5.81 line 536:16 token recognition error at: '''
% 0.21/5.81 line 536:37 token recognition error at: '''
% 0.21/5.81 line 536:38 token recognition error at: '@'
% 0.21/5.81 line 536:39 token recognition error at: '<'
% 0.21/5.81 line 536:40 token recognition error at: '_'
% 0.21/5.81 line 536:49 token recognition error at: '''
% 0.21/5.81 line 539:4 token recognition error at: '''
% 0.21/5.81 line 539:5 token recognition error at: '@'
% 0.21/5.81 line 539:6 token recognition error at: '<'
% 0.21/5.81 line 539:7 token recognition error at: '_'
% 0.21/5.81 line 539:16 token recognition error at: '''
% 0.21/5.81 line 539:28 token recognition error at: '''
% 0.21/5.81 line 539:29 token recognition error at: '@'
% 0.21/5.81 line 539:30 token recognition error at: '<'
% 0.21/5.81 line 539:31 token recognition error at: '_'
% 0.21/5.81 line 539:40 token recognition error at: '''
% 0.21/5.81 line 539:55 token recognition error at: '''
% 0.21/5.81 line 539:56 token recognition error at: '@'
% 0.21/5.81 line 539:57 token recognition error at: '<'
% 0.21/5.81 line 539:58 token recognition error at: '_'
% 0.21/5.81 line 539:67 token recognition error at: '''
% 0.21/5.81 line 539:79 token recognition error at: '''
% 0.21/5.81 line 539:80 token recognition error at: '@'
% 0.21/5.81 line 539:81 token recognition error at: '<'
% 0.21/5.81 line 539:82 token recognition error at: '_'
% 0.21/5.81 line 539:91 token recognition error at: '''
% 0.21/5.81 line 542:4 token recognition error at: '''
% 0.21/5.81 line 542:5 token recognition error at: '@'
% 0.21/5.81 line 542:6 token recognition error at: '<'
% 0.21/5.81 line 542:7 token recognition error at: '_'
% 0.21/5.81 line 542:16 token recognition error at: '''
% 0.21/5.81 line 542:28 token recognition error at: '''
% 0.21/5.81 line 542:29 token recognition error at: '@'
% 0.21/5.81 line 542:30 token recognition error at: '<'
% 0.21/5.81 line 542:31 token recognition error at: '_'
% 0.21/5.81 line 542:40 token recognition error at: '''
% 0.21/5.81 line 542:55 token recognition error at: '''
% 0.21/5.81 line 542:56 token recognition error at: '@'
% 0.21/5.81 line 542:57 token recognition error at: '<'
% 0.21/5.81 line 542:58 token recognition error at: '_'
% 0.21/5.81 line 542:67 token recognition error at: '''
% 0.21/5.81 line 542:78 token recognition error at: '''
% 0.21/5.81 line 542:79 token recognition error at: '@'
% 0.21/5.81 line 542:80 token recognition error at: '<'
% 0.21/5.81 line 542:81 token recognition error at: '_'
% 0.21/5.81 line 542:90 token recognition error at: '''
% 0.21/5.81 line 545:4 token recognition error at: '''
% 0.21/5.81 line 545:5 token recognition error at: '@'
% 0.21/5.81 line 545:6 token recognition error at: '<'
% 0.21/5.81 line 545:7 token recognition error at: '_'
% 0.21/5.81 line 545:16 token recognition error at: '''
% 0.21/5.81 line 545:28 token recognition error at: '''
% 0.21/5.81 line 545:29 token recognition error at: '@'
% 0.21/5.81 line 545:30 token recognition error at: '<'
% 0.21/5.81 line 545:31 token recognition error at: '_'
% 0.21/5.81 line 545:40 token recognition error at: '''
% 0.21/5.81 line 545:55 token recognition error at: '''
% 0.21/5.81 line 545:56 token recognition error at: '@'
% 0.21/5.81 line 545:57 token recognition error at: '<'
% 0.21/5.81 line 545:58 token recognition error at: '_'
% 0.21/5.81 line 545:67 token recognition error at: '''
% 0.21/5.81 line 548:5 token recognition error at: '''
% 0.21/5.81 line 548:6 token recognition error at: '@'
% 0.21/5.81 line 548:7 token recognition error at: '<'
% 0.21/5.81 line 548:8 token recognition error at: '_'
% 0.21/5.81 line 548:17 token recognition error at: '''
% 0.21/5.81 line 551:4 token recognition error at: '''
% 0.21/5.81 line 551:5 token recognition error at: '@'
% 0.21/5.81 line 551:6 token recognition error at: '<'
% 0.21/5.81 line 551:7 token recognition error at: '_'
% 0.21/5.81 line 551:16 token recognition error at: '''
% 0.21/5.81 line 554:4 token recognition error at: '''
% 0.21/5.81 line 554:5 token recognition error at: '@'
% 0.21/5.81 line 554:6 token recognition error at: '<'
% 0.21/5.81 line 554:7 token recognition error at: '_'
% 0.21/5.81 line 554:16 token recognition error at: '''
% 0.21/5.81 % SZS status Error
% 0.21/5.81 java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.21/5.81 java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.21/5.81 at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:122)
% 0.21/5.81 at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:205)
% 0.21/5.81 at Main.main(Main.java:24)
% 0.21/5.81 Caused by: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.21/5.81 at Main.loadFormulas(Main.java:194)
% 0.21/5.81 at Main.runModelBuilder(Main.java:42)
% 0.21/5.81 at Main.lambda$main$0(Main.java:21)
% 0.21/5.81 at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
% 0.21/5.81 at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
% 0.21/5.81 at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
% 0.21/5.81 at java.base/java.lang.Thread.run(Thread.java:1583)
% 0.21/5.85 % FMB4L exiting
%------------------------------------------------------------------------------