%------------------------------------------------------------------------------
% File : FMB4J---0.1
% Problem : SWX033+1 : TPTP v9.3.1. Released v9.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% Computer : n012.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.39s 0.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.01 % Problem : SWX033+1 : TPTP v9.3.1. Released v9.1.0.
% 0.00/0.02 % Command : run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% 0.03/0.31 % Computer : n012.cluster.edu
% 0.03/0.31 % Model : x86_64 x86_64
% 0.03/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.03/0.31 % Memory : 8046.5625MB
% 0.03/0.31 % OS : Linux 6.8.0-71-generic
% 0.03/0.31 % CPULimit : 300
% 0.03/0.31 % WCLimit : 300
% 0.03/0.31 % DateTime : Thu Sep 24 23:20:22 UTC 2026
% 0.03/0.31 % CPUTime :
% 0.03/0.31 Running run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% 0.07/0.35 Running: java -jar /export/starexec/sandbox2/solver/bin/FMB4J.jar /export/starexec/sandbox2/tmp/tmp.tTH7Ou2Lbx/theBenchmark.cnf 300
% 0.18/0.50 line 20:51 token recognition error at: '''
% 0.18/0.50 line 20:52 token recognition error at: '@'
% 0.18/0.50 line 20:53 token recognition error at: '<'
% 0.18/0.50 line 20:54 token recognition error at: '_'
% 0.18/0.50 line 20:65 token recognition error at: '''
% 0.18/0.50 line 20:76 token recognition error at: '''
% 0.18/0.50 line 20:77 token recognition error at: '@'
% 0.18/0.50 line 20:78 token recognition error at: '<'
% 0.18/0.50 line 20:79 token recognition error at: '_'
% 0.18/0.50 line 20:90 token recognition error at: '''
% 0.18/0.50 line 23:51 token recognition error at: '''
% 0.18/0.50 line 23:52 token recognition error at: '@'
% 0.18/0.50 line 23:53 token recognition error at: '<'
% 0.18/0.50 line 23:54 token recognition error at: '_'
% 0.18/0.50 line 23:60 token recognition error at: '''
% 0.18/0.50 line 23:71 token recognition error at: '''
% 0.18/0.50 line 23:72 token recognition error at: '@'
% 0.18/0.50 line 23:73 token recognition error at: '<'
% 0.18/0.50 line 23:74 token recognition error at: '_'
% 0.18/0.50 line 23:80 token recognition error at: '''
% 0.18/0.50 line 26:51 token recognition error at: '''
% 0.18/0.50 line 26:52 token recognition error at: '@'
% 0.18/0.50 line 26:53 token recognition error at: '<'
% 0.18/0.50 line 26:54 token recognition error at: '_'
% 0.18/0.50 line 26:63 token recognition error at: '''
% 0.18/0.50 line 26:74 token recognition error at: '''
% 0.18/0.50 line 26:75 token recognition error at: '@'
% 0.18/0.50 line 26:76 token recognition error at: '<'
% 0.18/0.50 line 26:77 token recognition error at: '_'
% 0.18/0.50 line 26:86 token recognition error at: '''
% 0.18/0.50 line 29:51 token recognition error at: '''
% 0.18/0.50 line 29:52 token recognition error at: '@'
% 0.18/0.50 line 29:53 token recognition error at: '='
% 0.18/0.50 line 29:54 token recognition error at: '<'
% 0.18/0.50 line 29:55 token recognition error at: '_'
% 0.18/0.50 line 29:66 token recognition error at: '''
% 0.18/0.50 line 29:77 token recognition error at: '''
% 0.18/0.50 line 29:78 token recognition error at: '@'
% 0.18/0.50 line 29:79 token recognition error at: '='
% 0.18/0.50 line 29:80 token recognition error at: '<'
% 0.18/0.50 line 29:81 token recognition error at: '_'
% 0.18/0.50 line 29:92 token recognition error at: '''
% 0.18/0.50 line 32:51 token recognition error at: '''
% 0.18/0.50 line 32:52 token recognition error at: '@'
% 0.18/0.50 line 32:53 token recognition error at: '='
% 0.18/0.50 line 32:54 token recognition error at: '<'
% 0.18/0.50 line 32:55 token recognition error at: '_'
% 0.18/0.50 line 32:61 token recognition error at: '''
% 0.18/0.50 line 32:72 token recognition error at: '''
% 0.18/0.50 line 32:73 token recognition error at: '@'
% 0.18/0.50 line 32:74 token recognition error at: '='
% 0.18/0.50 line 32:75 token recognition error at: '<'
% 0.18/0.50 line 32:76 token recognition error at: '_'
% 0.18/0.50 line 32:82 token recognition error at: '''
% 0.18/0.50 line 35:51 token recognition error at: '''
% 0.18/0.50 line 35:52 token recognition error at: '@'
% 0.18/0.50 line 35:53 token recognition error at: '='
% 0.18/0.50 line 35:54 token recognition error at: '<'
% 0.18/0.50 line 35:55 token recognition error at: '_'
% 0.18/0.50 line 35:64 token recognition error at: '''
% 0.18/0.50 line 35:75 token recognition error at: '''
% 0.18/0.50 line 35:76 token recognition error at: '@'
% 0.18/0.50 line 35:77 token recognition error at: '='
% 0.18/0.50 line 35:78 token recognition error at: '<'
% 0.18/0.50 line 35:79 token recognition error at: '_'
% 0.18/0.50 line 35:88 token recognition error at: '''
% 0.18/0.51 line 59:63 token recognition error at: '''
% 0.18/0.51 line 59:64 token recognition error at: '@'
% 0.18/0.51 line 59:65 token recognition error at: '*'
% 0.18/0.51 line 59:66 token recognition error at: '''
% 0.18/0.51 line 59:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.51 line 59:75 token recognition error at: '''
% 0.18/0.51 line 59:76 token recognition error at: '@'
% 0.18/0.51 line 59:77 token recognition error at: '*'
% 0.18/0.51 line 59:78 token recognition error at: '''
% 0.18/0.51 line 59:74 mismatched input ',' expecting {',', ')'}
% 0.18/0.51 line 62:63 token recognition error at: '''
% 0.18/0.51 line 62:64 token recognition error at: '@'
% 0.18/0.51 line 62:65 token recognition error at: '+'
% 0.18/0.51 line 62:66 token recognition error at: '''
% 0.18/0.51 line 62:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.51 line 62:75 token recognition error at: '''
% 0.18/0.51 line 62:76 token recognition error at: '@'
% 0.18/0.51 line 62:77 token recognition error at: '+'
% 0.18/0.51 line 62:78 token recognition error at: '''
% 0.18/0.51 line 62:74 mismatched input ',' expecting {',', ')'}
% 0.18/0.51 line 68:40 token recognition error at: '''
% 0.18/0.51 line 68:41 token recognition error at: '@'
% 0.18/0.51 line 68:42 token recognition error at: '+'
% 0.18/0.51 line 68:43 token recognition error at: '''
% 0.18/0.51 line 68:44 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.51 line 68:52 token recognition error at: '''
% 0.18/0.51 line 68:53 token recognition error at: '@'
% 0.18/0.51 line 68:54 token recognition error at: '+'
% 0.18/0.51 line 68:55 token recognition error at: '''
% 0.18/0.51 line 68:51 mismatched input ',' expecting {',', ')'}
% 0.18/0.51 line 68:100 token recognition error at: '''
% 0.18/0.51 line 68:101 token recognition error at: '0'
% 0.18/0.51 line 68:102 token recognition error at: '''
% 0.18/0.51 line 74:40 token recognition error at: '''
% 0.18/0.51 line 74:41 token recognition error at: '@'
% 0.18/0.51 line 74:42 token recognition error at: '+'
% 0.18/0.51 line 74:43 token recognition error at: '''
% 0.18/0.51 line 74:44 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.51 line 74:54 token recognition error at: '''
% 0.18/0.51 line 74:55 token recognition error at: '@'
% 0.18/0.51 line 74:56 token recognition error at: '+'
% 0.18/0.51 line 74:57 token recognition error at: '''
% 0.18/0.51 line 74:53 mismatched input ',' expecting {',', ')'}
% 0.18/0.51 line 83:18 token recognition error at: '''
% 0.18/0.51 line 83:19 token recognition error at: '0'
% 0.18/0.51 line 83:20 token recognition error at: '''
% 0.18/0.51 line 83:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.51 line 89:7 token recognition error at: '''
% 0.18/0.51 line 89:8 token recognition error at: '0'
% 0.18/0.51 line 89:9 token recognition error at: '''
% 0.18/0.51 line 89:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.51 line 110:5 token recognition error at: '''
% 0.18/0.51 line 110:6 token recognition error at: '@'
% 0.18/0.51 line 110:7 token recognition error at: '='
% 0.18/0.51 line 110:8 token recognition error at: '<'
% 0.18/0.51 line 110:9 token recognition error at: '_'
% 0.18/0.51 line 110:18 token recognition error at: '''
% 0.18/0.51 line 110:30 token recognition error at: '''
% 0.18/0.51 line 110:31 token recognition error at: '@'
% 0.18/0.51 line 110:32 token recognition error at: '='
% 0.18/0.51 line 110:33 token recognition error at: '<'
% 0.18/0.51 line 110:34 token recognition error at: '_'
% 0.18/0.51 line 110:40 token recognition error at: '''
% 0.18/0.51 line 113:4 token recognition error at: '''
% 0.18/0.51 line 113:5 token recognition error at: '@'
% 0.18/0.51 line 113:6 token recognition error at: '='
% 0.18/0.51 line 113:7 token recognition error at: '<'
% 0.18/0.51 line 113:8 token recognition error at: '_'
% 0.18/0.51 line 113:17 token recognition error at: '''
% 0.18/0.52 line 113:28 token recognition error at: '''
% 0.18/0.52 line 113:29 token recognition error at: '@'
% 0.18/0.52 line 113:30 token recognition error at: '='
% 0.18/0.52 line 113:31 token recognition error at: '<'
% 0.18/0.52 line 113:32 token recognition error at: '_'
% 0.18/0.52 line 113:38 token recognition error at: '''
% 0.18/0.52 line 113:50 token recognition error at: '''
% 0.18/0.52 line 113:51 token recognition error at: '@'
% 0.18/0.52 line 113:52 token recognition error at: '='
% 0.18/0.52 line 113:53 token recognition error at: '<'
% 0.18/0.52 line 113:54 token recognition error at: '_'
% 0.18/0.52 line 113:65 token recognition error at: '''
% 0.18/0.52 line 116:5 token recognition error at: '''
% 0.18/0.52 line 116:6 token recognition error at: '@'
% 0.18/0.52 line 116:7 token recognition error at: '<'
% 0.18/0.52 line 116:8 token recognition error at: '_'
% 0.18/0.52 line 116:17 token recognition error at: '''
% 0.18/0.52 line 116:29 token recognition error at: '''
% 0.18/0.52 line 116:30 token recognition error at: '@'
% 0.18/0.52 line 116:31 token recognition error at: '<'
% 0.18/0.52 line 116:32 token recognition error at: '_'
% 0.18/0.52 line 116:38 token recognition error at: '''
% 0.18/0.52 line 119:4 token recognition error at: '''
% 0.18/0.52 line 119:5 token recognition error at: '@'
% 0.18/0.52 line 119:6 token recognition error at: '<'
% 0.18/0.52 line 119:7 token recognition error at: '_'
% 0.18/0.52 line 119:16 token recognition error at: '''
% 0.18/0.52 line 119:27 token recognition error at: '''
% 0.18/0.52 line 119:28 token recognition error at: '@'
% 0.18/0.52 line 119:29 token recognition error at: '<'
% 0.18/0.52 line 119:30 token recognition error at: '_'
% 0.18/0.52 line 119:36 token recognition error at: '''
% 0.18/0.52 line 119:48 token recognition error at: '''
% 0.18/0.52 line 119:49 token recognition error at: '@'
% 0.18/0.52 line 119:50 token recognition error at: '<'
% 0.18/0.52 line 119:51 token recognition error at: '_'
% 0.18/0.52 line 119:62 token recognition error at: '''
% 0.18/0.52 line 131:19 token recognition error at: '''
% 0.18/0.52 line 131:20 token recognition error at: '0'
% 0.18/0.52 line 131:21 token recognition error at: '''
% 0.18/0.52 line 131:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 131:26 token recognition error at: '''
% 0.18/0.52 line 131:27 token recognition error at: '0'
% 0.18/0.52 line 131:28 token recognition error at: '''
% 0.18/0.52 line 131:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 134:53 token recognition error at: '''
% 0.18/0.52 line 134:54 token recognition error at: '0'
% 0.18/0.52 line 134:55 token recognition error at: '''
% 0.18/0.52 line 134:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 137:53 token recognition error at: '''
% 0.18/0.52 line 137:54 token recognition error at: '0'
% 0.18/0.52 line 137:55 token recognition error at: '''
% 0.18/0.52 line 137:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 140:66 token recognition error at: '''
% 0.18/0.52 line 140:67 token recognition error at: '0'
% 0.18/0.52 line 140:68 token recognition error at: '''
% 0.18/0.52 line 140:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 143:66 token recognition error at: '''
% 0.18/0.52 line 143:67 token recognition error at: '0'
% 0.18/0.52 line 143:68 token recognition error at: '''
% 0.18/0.52 line 143:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 146:54 token recognition error at: '''
% 0.18/0.52 line 146:55 token recognition error at: '0'
% 0.18/0.52 line 146:56 token recognition error at: '''
% 0.18/0.52 line 146:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 149:54 token recognition error at: '''
% 0.18/0.52 line 149:55 token recognition error at: '0'
% 0.18/0.52 line 149:56 token recognition error at: '''
% 0.18/0.52 line 149:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 152:77 token recognition error at: '''
% 0.18/0.52 line 152:78 token recognition error at: '0'
% 0.18/0.52 line 152:79 token recognition error at: '''
% 0.18/0.52 line 152:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 155:77 token recognition error at: '''
% 0.18/0.52 line 155:78 token recognition error at: '0'
% 0.18/0.52 line 155:79 token recognition error at: '''
% 0.18/0.52 line 155:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 158:88 token recognition error at: '''
% 0.18/0.52 line 158:89 token recognition error at: '0'
% 0.18/0.52 line 158:90 token recognition error at: '''
% 0.18/0.52 line 158:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 161:88 token recognition error at: '''
% 0.18/0.52 line 161:89 token recognition error at: '0'
% 0.18/0.52 line 161:90 token recognition error at: '''
% 0.18/0.52 line 161:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 164:76 token recognition error at: '''
% 0.18/0.52 line 164:77 token recognition error at: '0'
% 0.18/0.52 line 164:78 token recognition error at: '''
% 0.18/0.52 line 164:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 167:76 token recognition error at: '''
% 0.18/0.52 line 167:77 token recognition error at: '0'
% 0.18/0.52 line 167:78 token recognition error at: '''
% 0.18/0.52 line 167:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 173:17 token recognition error at: '''
% 0.18/0.52 line 173:18 token recognition error at: '0'
% 0.18/0.52 line 173:19 token recognition error at: '''
% 0.18/0.52 line 173:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 173:24 token recognition error at: '''
% 0.18/0.52 line 173:25 token recognition error at: '0'
% 0.18/0.52 line 173:26 token recognition error at: '''
% 0.18/0.52 line 173:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 191:18 token recognition error at: '''
% 0.18/0.52 line 191:19 token recognition error at: '0'
% 0.18/0.52 line 191:20 token recognition error at: '''
% 0.18/0.52 line 191:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 194:53 token recognition error at: '''
% 0.18/0.52 line 194:54 token recognition error at: '0'
% 0.18/0.52 line 194:55 token recognition error at: '''
% 0.18/0.52 line 194:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 200:53 token recognition error at: '''
% 0.18/0.52 line 200:54 token recognition error at: '0'
% 0.18/0.52 line 200:55 token recognition error at: '''
% 0.18/0.52 line 200:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 206:65 token recognition error at: '''
% 0.18/0.52 line 206:66 token recognition error at: '0'
% 0.18/0.52 line 206:67 token recognition error at: '''
% 0.18/0.52 line 206:68 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.52 line 212:76 token recognition error at: '''
% 0.18/0.52 line 212:77 token recognition error at: '0'
% 0.18/0.53 line 212:78 token recognition error at: '''
% 0.18/0.53 line 212:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 218:76 token recognition error at: '''
% 0.18/0.53 line 218:77 token recognition error at: '0'
% 0.18/0.53 line 218:78 token recognition error at: '''
% 0.18/0.53 line 218:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 224:86 token recognition error at: '''
% 0.18/0.53 line 224:87 token recognition error at: '0'
% 0.18/0.53 line 224:88 token recognition error at: '''
% 0.18/0.53 line 224:89 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 233:16 token recognition error at: '''
% 0.18/0.53 line 233:17 token recognition error at: '0'
% 0.18/0.53 line 233:18 token recognition error at: '''
% 0.18/0.53 line 233:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 248:4 token recognition error at: '''
% 0.18/0.53 line 248:5 token recognition error at: '@'
% 0.18/0.53 line 248:6 token recognition error at: '='
% 0.18/0.53 line 248:7 token recognition error at: '<'
% 0.18/0.53 line 248:8 token recognition error at: '_'
% 0.18/0.53 line 248:17 token recognition error at: '''
% 0.18/0.53 line 248:35 token recognition error at: '''
% 0.18/0.53 line 248:36 token recognition error at: '@'
% 0.18/0.53 line 248:37 token recognition error at: '='
% 0.18/0.53 line 248:38 token recognition error at: '<'
% 0.18/0.53 line 248:39 token recognition error at: '_'
% 0.18/0.53 line 248:48 token recognition error at: '''
% 0.18/0.53 line 251:4 token recognition error at: '''
% 0.18/0.53 line 251:5 token recognition error at: '@'
% 0.18/0.53 line 251:6 token recognition error at: '='
% 0.18/0.53 line 251:7 token recognition error at: '<'
% 0.18/0.53 line 251:8 token recognition error at: '_'
% 0.18/0.53 line 251:17 token recognition error at: '''
% 0.18/0.53 line 251:19 token recognition error at: '''
% 0.18/0.53 line 251:20 token recognition error at: '0'
% 0.18/0.53 line 251:21 token recognition error at: '''
% 0.18/0.53 line 251:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 254:51 token recognition error at: '''
% 0.18/0.53 line 254:52 token recognition error at: '0'
% 0.18/0.53 line 254:53 token recognition error at: '''
% 0.18/0.53 line 254:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 254:62 token recognition error at: '''
% 0.18/0.53 line 254:63 token recognition error at: '@'
% 0.18/0.53 line 254:64 token recognition error at: '='
% 0.18/0.53 line 254:65 token recognition error at: '<'
% 0.18/0.53 line 254:66 token recognition error at: '_'
% 0.18/0.53 line 254:75 token recognition error at: '''
% 0.18/0.53 line 257:51 token recognition error at: '''
% 0.18/0.53 line 257:52 token recognition error at: '0'
% 0.18/0.53 line 257:53 token recognition error at: '''
% 0.18/0.53 line 257:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 257:62 token recognition error at: '''
% 0.18/0.53 line 257:63 token recognition error at: '@'
% 0.18/0.53 line 257:64 token recognition error at: '='
% 0.18/0.53 line 257:65 token recognition error at: '<'
% 0.18/0.53 line 257:66 token recognition error at: '_'
% 0.18/0.53 line 257:75 token recognition error at: '''
% 0.18/0.53 line 260:4 token recognition error at: '''
% 0.18/0.53 line 260:5 token recognition error at: '@'
% 0.18/0.53 line 260:6 token recognition error at: '='
% 0.18/0.53 line 260:7 token recognition error at: '<'
% 0.18/0.53 line 260:8 token recognition error at: '_'
% 0.18/0.53 line 260:17 token recognition error at: '''
% 0.18/0.53 line 260:59 token recognition error at: '''
% 0.18/0.53 line 260:60 token recognition error at: '0'
% 0.18/0.53 line 260:61 token recognition error at: '''
% 0.18/0.53 line 260:62 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 260:70 token recognition error at: '''
% 0.18/0.53 line 260:71 token recognition error at: '@'
% 0.18/0.53 line 260:72 token recognition error at: '='
% 0.18/0.53 line 260:73 token recognition error at: '<'
% 0.18/0.53 line 260:74 token recognition error at: '_'
% 0.18/0.53 line 260:83 token recognition error at: '''
% 0.18/0.53 line 263:4 token recognition error at: '''
% 0.18/0.53 line 263:5 token recognition error at: '@'
% 0.18/0.53 line 263:6 token recognition error at: '='
% 0.18/0.53 line 263:7 token recognition error at: '<'
% 0.18/0.53 line 263:8 token recognition error at: '_'
% 0.18/0.53 line 263:14 token recognition error at: '''
% 0.18/0.53 line 263:72 token recognition error at: '''
% 0.18/0.53 line 263:73 token recognition error at: '0'
% 0.18/0.53 line 263:74 token recognition error at: '''
% 0.18/0.53 line 263:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.18/0.53 line 266:4 token recognition error at: '''
% 0.18/0.53 line 266:5 token recognition error at: '@'
% 0.18/0.53 line 266:6 token recognition error at: '='
% 0.18/0.53 line 266:7 token recognition error at: '<'
% 0.18/0.53 line 266:8 token recognition error at: '_'
% 0.18/0.53 line 266:14 token recognition error at: '''
% 0.18/0.53 line 266:72 token recognition error at: '''
% 0.18/0.53 line 266:73 token recognition error at: '0'
% 0.18/0.53 line 266:74 token recognition error at: '''
% 0.18/0.53 line 266:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.53 line 269:4 token recognition error at: '''
% 0.39/0.53 line 269:5 token recognition error at: '@'
% 0.39/0.53 line 269:6 token recognition error at: '='
% 0.39/0.53 line 269:7 token recognition error at: '<'
% 0.39/0.53 line 269:8 token recognition error at: '_'
% 0.39/0.53 line 269:14 token recognition error at: '''
% 0.39/0.53 line 269:26 token recognition error at: '''
% 0.39/0.53 line 269:27 token recognition error at: '@'
% 0.39/0.53 line 269:28 token recognition error at: '='
% 0.39/0.53 line 269:29 token recognition error at: '<'
% 0.39/0.53 line 269:30 token recognition error at: '_'
% 0.39/0.53 line 269:36 token recognition error at: '''
% 0.39/0.53 line 269:78 token recognition error at: '''
% 0.39/0.53 line 269:79 token recognition error at: '0'
% 0.39/0.53 line 269:80 token recognition error at: '''
% 0.39/0.53 line 269:81 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.53 line 272:4 token recognition error at: '''
% 0.39/0.53 line 272:5 token recognition error at: '@'
% 0.39/0.53 line 272:6 token recognition error at: '='
% 0.39/0.53 line 272:7 token recognition error at: '<'
% 0.39/0.53 line 272:8 token recognition error at: '_'
% 0.39/0.53 line 272:14 token recognition error at: '''
% 0.39/0.53 line 272:26 token recognition error at: '''
% 0.39/0.53 line 272:27 token recognition error at: '@'
% 0.39/0.53 line 272:28 token recognition error at: '='
% 0.39/0.53 line 272:29 token recognition error at: '<'
% 0.39/0.53 line 272:30 token recognition error at: '_'
% 0.39/0.53 line 272:36 token recognition error at: '''
% 0.39/0.53 line 275:5 token recognition error at: '''
% 0.39/0.53 line 275:6 token recognition error at: '@'
% 0.39/0.53 line 275:7 token recognition error at: '='
% 0.39/0.53 line 275:8 token recognition error at: '<'
% 0.39/0.53 line 275:9 token recognition error at: '_'
% 0.39/0.53 line 275:15 token recognition error at: '''
% 0.39/0.53 line 275:17 token recognition error at: '''
% 0.39/0.53 line 275:18 token recognition error at: '0'
% 0.39/0.53 line 275:19 token recognition error at: '''
% 0.39/0.53 line 275:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.53 line 278:4 token recognition error at: '''
% 0.39/0.53 line 278:5 token recognition error at: '@'
% 0.39/0.53 line 278:6 token recognition error at: '='
% 0.39/0.53 line 278:7 token recognition error at: '<'
% 0.39/0.53 line 278:8 token recognition error at: '_'
% 0.39/0.53 line 278:19 token recognition error at: '''
% 0.39/0.53 line 281:4 token recognition error at: '''
% 0.39/0.53 line 281:5 token recognition error at: '@'
% 0.39/0.53 line 281:6 token recognition error at: '='
% 0.39/0.53 line 281:7 token recognition error at: '<'
% 0.39/0.53 line 281:8 token recognition error at: '_'
% 0.39/0.53 line 281:19 token recognition error at: '''
% 0.39/0.53 line 284:4 token recognition error at: '''
% 0.39/0.53 line 284:5 token recognition error at: '@'
% 0.39/0.53 line 284:6 token recognition error at: '='
% 0.39/0.53 line 284:7 token recognition error at: '<'
% 0.39/0.53 line 284:8 token recognition error at: '_'
% 0.39/0.53 line 284:19 token recognition error at: '''
% 0.39/0.53 line 284:31 token recognition error at: '''
% 0.39/0.53 line 284:32 token recognition error at: '@'
% 0.39/0.53 line 284:33 token recognition error at: '='
% 0.39/0.53 line 284:34 token recognition error at: '<'
% 0.39/0.53 line 284:35 token recognition error at: '_'
% 0.39/0.53 line 284:46 token recognition error at: '''
% 0.39/0.53 line 287:4 token recognition error at: '''
% 0.39/0.53 line 287:5 token recognition error at: '@'
% 0.39/0.53 line 287:6 token recognition error at: '='
% 0.39/0.53 line 287:7 token recognition error at: '<'
% 0.39/0.53 line 287:8 token recognition error at: '_'
% 0.39/0.53 line 287:19 token recognition error at: '''
% 0.39/0.53 line 287:31 token recognition error at: '''
% 0.39/0.53 line 287:32 token recognition error at: '@'
% 0.39/0.53 line 287:33 token recognition error at: '='
% 0.39/0.53 line 287:34 token recognition error at: '<'
% 0.39/0.53 line 287:35 token recognition error at: '_'
% 0.39/0.53 line 287:46 token recognition error at: '''
% 0.39/0.53 line 290:4 token recognition error at: '''
% 0.39/0.53 line 290:5 token recognition error at: '@'
% 0.39/0.53 line 290:6 token recognition error at: '<'
% 0.39/0.53 line 290:7 token recognition error at: '_'
% 0.39/0.53 line 290:16 token recognition error at: '''
% 0.39/0.53 line 290:34 token recognition error at: '''
% 0.39/0.53 line 290:35 token recognition error at: '@'
% 0.39/0.53 line 290:36 token recognition error at: '<'
% 0.39/0.53 line 290:37 token recognition error at: '_'
% 0.39/0.53 line 290:46 token recognition error at: '''
% 0.39/0.53 line 293:4 token recognition error at: '''
% 0.39/0.53 line 293:5 token recognition error at: '@'
% 0.39/0.53 line 293:6 token recognition error at: '<'
% 0.39/0.53 line 293:7 token recognition error at: '_'
% 0.39/0.53 line 293:16 token recognition error at: '''
% 0.39/0.53 line 293:18 token recognition error at: '''
% 0.39/0.53 line 293:19 token recognition error at: '0'
% 0.39/0.53 line 293:20 token recognition error at: '''
% 0.39/0.53 line 293:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.53 line 296:51 token recognition error at: '''
% 0.39/0.53 line 296:52 token recognition error at: '0'
% 0.39/0.53 line 296:53 token recognition error at: '''
% 0.39/0.53 line 296:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.53 line 296:62 token recognition error at: '''
% 0.39/0.53 line 296:63 token recognition error at: '@'
% 0.39/0.53 line 296:64 token recognition error at: '<'
% 0.39/0.53 line 296:65 token recognition error at: '_'
% 0.39/0.53 line 296:74 token recognition error at: '''
% 0.39/0.54 line 299:73 token recognition error at: '''
% 0.39/0.54 line 299:74 token recognition error at: '@'
% 0.39/0.54 line 299:75 token recognition error at: '<'
% 0.39/0.54 line 299:76 token recognition error at: '_'
% 0.39/0.54 line 299:85 token recognition error at: '''
% 0.39/0.54 line 302:51 token recognition error at: '''
% 0.39/0.54 line 302:52 token recognition error at: '0'
% 0.39/0.54 line 302:53 token recognition error at: '''
% 0.39/0.54 line 302:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 302:62 token recognition error at: '''
% 0.39/0.54 line 302:63 token recognition error at: '@'
% 0.39/0.54 line 302:64 token recognition error at: '<'
% 0.39/0.54 line 302:65 token recognition error at: '_'
% 0.39/0.54 line 302:74 token recognition error at: '''
% 0.39/0.54 line 305:73 token recognition error at: '''
% 0.39/0.54 line 305:74 token recognition error at: '@'
% 0.39/0.54 line 305:75 token recognition error at: '<'
% 0.39/0.54 line 305:76 token recognition error at: '_'
% 0.39/0.54 line 305:85 token recognition error at: '''
% 0.39/0.54 line 308:4 token recognition error at: '''
% 0.39/0.54 line 308:5 token recognition error at: '@'
% 0.39/0.54 line 308:6 token recognition error at: '<'
% 0.39/0.54 line 308:7 token recognition error at: '_'
% 0.39/0.54 line 308:16 token recognition error at: '''
% 0.39/0.54 line 308:58 token recognition error at: '''
% 0.39/0.54 line 308:59 token recognition error at: '0'
% 0.39/0.54 line 308:60 token recognition error at: '''
% 0.39/0.54 line 308:61 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 308:69 token recognition error at: '''
% 0.39/0.54 line 308:70 token recognition error at: '@'
% 0.39/0.54 line 308:71 token recognition error at: '<'
% 0.39/0.54 line 308:72 token recognition error at: '_'
% 0.39/0.54 line 308:81 token recognition error at: '''
% 0.39/0.54 line 311:4 token recognition error at: '''
% 0.39/0.54 line 311:5 token recognition error at: '@'
% 0.39/0.54 line 311:6 token recognition error at: '<'
% 0.39/0.54 line 311:7 token recognition error at: '_'
% 0.39/0.54 line 311:16 token recognition error at: '''
% 0.39/0.54 line 311:80 token recognition error at: '''
% 0.39/0.54 line 311:81 token recognition error at: '@'
% 0.39/0.54 line 311:82 token recognition error at: '<'
% 0.39/0.54 line 311:83 token recognition error at: '_'
% 0.39/0.54 line 311:92 token recognition error at: '''
% 0.39/0.54 line 314:4 token recognition error at: '''
% 0.39/0.54 line 314:5 token recognition error at: '@'
% 0.39/0.54 line 314:6 token recognition error at: '<'
% 0.39/0.54 line 314:7 token recognition error at: '_'
% 0.39/0.54 line 314:13 token recognition error at: '''
% 0.39/0.54 line 314:71 token recognition error at: '''
% 0.39/0.54 line 314:72 token recognition error at: '0'
% 0.39/0.54 line 314:73 token recognition error at: '''
% 0.39/0.54 line 314:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 317:4 token recognition error at: '''
% 0.39/0.54 line 317:5 token recognition error at: '@'
% 0.39/0.54 line 317:6 token recognition error at: '<'
% 0.39/0.54 line 317:7 token recognition error at: '_'
% 0.39/0.54 line 317:13 token recognition error at: '''
% 0.39/0.54 line 320:4 token recognition error at: '''
% 0.39/0.54 line 320:5 token recognition error at: '@'
% 0.39/0.54 line 320:6 token recognition error at: '<'
% 0.39/0.54 line 320:7 token recognition error at: '_'
% 0.39/0.54 line 320:13 token recognition error at: '''
% 0.39/0.54 line 320:71 token recognition error at: '''
% 0.39/0.54 line 320:72 token recognition error at: '0'
% 0.39/0.54 line 320:73 token recognition error at: '''
% 0.39/0.54 line 320:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 323:4 token recognition error at: '''
% 0.39/0.54 line 323:5 token recognition error at: '@'
% 0.39/0.54 line 323:6 token recognition error at: '<'
% 0.39/0.54 line 323:7 token recognition error at: '_'
% 0.39/0.54 line 323:13 token recognition error at: '''
% 0.39/0.54 line 326:4 token recognition error at: '''
% 0.39/0.54 line 326:5 token recognition error at: '@'
% 0.39/0.54 line 326:6 token recognition error at: '<'
% 0.39/0.54 line 326:7 token recognition error at: '_'
% 0.39/0.54 line 326:13 token recognition error at: '''
% 0.39/0.54 line 326:25 token recognition error at: '''
% 0.39/0.54 line 326:26 token recognition error at: '@'
% 0.39/0.54 line 326:27 token recognition error at: '<'
% 0.39/0.54 line 326:28 token recognition error at: '_'
% 0.39/0.54 line 326:34 token recognition error at: '''
% 0.39/0.54 line 326:76 token recognition error at: '''
% 0.39/0.54 line 326:77 token recognition error at: '0'
% 0.39/0.54 line 326:78 token recognition error at: '''
% 0.39/0.54 line 326:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 329:4 token recognition error at: '''
% 0.39/0.54 line 329:5 token recognition error at: '@'
% 0.39/0.54 line 329:6 token recognition error at: '<'
% 0.39/0.54 line 329:7 token recognition error at: '_'
% 0.39/0.54 line 329:13 token recognition error at: '''
% 0.39/0.54 line 329:25 token recognition error at: '''
% 0.39/0.54 line 329:26 token recognition error at: '@'
% 0.39/0.54 line 329:27 token recognition error at: '<'
% 0.39/0.54 line 329:28 token recognition error at: '_'
% 0.39/0.54 line 329:34 token recognition error at: '''
% 0.39/0.54 line 332:4 token recognition error at: '''
% 0.39/0.54 line 332:5 token recognition error at: '@'
% 0.39/0.54 line 332:6 token recognition error at: '<'
% 0.39/0.54 line 332:7 token recognition error at: '_'
% 0.39/0.54 line 332:13 token recognition error at: '''
% 0.39/0.54 line 332:25 token recognition error at: '''
% 0.39/0.54 line 332:26 token recognition error at: '@'
% 0.39/0.54 line 332:27 token recognition error at: '<'
% 0.39/0.54 line 332:28 token recognition error at: '_'
% 0.39/0.54 line 332:34 token recognition error at: '''
% 0.39/0.54 line 335:5 token recognition error at: '''
% 0.39/0.54 line 335:6 token recognition error at: '@'
% 0.39/0.54 line 335:7 token recognition error at: '<'
% 0.39/0.54 line 335:8 token recognition error at: '_'
% 0.39/0.54 line 335:14 token recognition error at: '''
% 0.39/0.54 line 335:16 token recognition error at: '''
% 0.39/0.54 line 335:17 token recognition error at: '0'
% 0.39/0.54 line 335:18 token recognition error at: '''
% 0.39/0.54 line 335:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 338:4 token recognition error at: '''
% 0.39/0.54 line 338:5 token recognition error at: '@'
% 0.39/0.54 line 338:6 token recognition error at: '<'
% 0.39/0.54 line 338:7 token recognition error at: '_'
% 0.39/0.54 line 338:18 token recognition error at: '''
% 0.39/0.54 line 341:4 token recognition error at: '''
% 0.39/0.54 line 341:5 token recognition error at: '@'
% 0.39/0.54 line 341:6 token recognition error at: '<'
% 0.39/0.54 line 341:7 token recognition error at: '_'
% 0.39/0.54 line 341:18 token recognition error at: '''
% 0.39/0.54 line 344:4 token recognition error at: '''
% 0.39/0.54 line 344:5 token recognition error at: '@'
% 0.39/0.54 line 344:6 token recognition error at: '<'
% 0.39/0.54 line 344:7 token recognition error at: '_'
% 0.39/0.54 line 344:18 token recognition error at: '''
% 0.39/0.54 line 344:30 token recognition error at: '''
% 0.39/0.54 line 344:31 token recognition error at: '@'
% 0.39/0.54 line 344:32 token recognition error at: '<'
% 0.39/0.54 line 344:33 token recognition error at: '_'
% 0.39/0.54 line 344:44 token recognition error at: '''
% 0.39/0.54 line 347:4 token recognition error at: '''
% 0.39/0.54 line 347:5 token recognition error at: '@'
% 0.39/0.54 line 347:6 token recognition error at: '<'
% 0.39/0.54 line 347:7 token recognition error at: '_'
% 0.39/0.54 line 347:18 token recognition error at: '''
% 0.39/0.54 line 347:30 token recognition error at: '''
% 0.39/0.54 line 347:31 token recognition error at: '@'
% 0.39/0.54 line 347:32 token recognition error at: '<'
% 0.39/0.54 line 347:33 token recognition error at: '_'
% 0.39/0.54 line 347:44 token recognition error at: '''
% 0.39/0.54 line 353:17 token recognition error at: '''
% 0.39/0.54 line 353:18 token recognition error at: '0'
% 0.39/0.54 line 353:19 token recognition error at: '''
% 0.39/0.54 line 353:20 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 356:48 token recognition error at: '''
% 0.39/0.54 line 356:49 token recognition error at: '0'
% 0.39/0.54 line 356:50 token recognition error at: '''
% 0.39/0.54 line 356:51 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 359:42 token recognition error at: '''
% 0.39/0.54 line 359:43 token recognition error at: '0'
% 0.39/0.54 line 359:44 token recognition error at: '''
% 0.39/0.54 line 359:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 362:64 token recognition error at: '''
% 0.39/0.54 line 362:65 token recognition error at: '0'
% 0.39/0.54 line 362:66 token recognition error at: '''
% 0.39/0.54 line 362:67 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 365:56 token recognition error at: '''
% 0.39/0.54 line 365:57 token recognition error at: '0'
% 0.39/0.54 line 365:58 token recognition error at: '''
% 0.39/0.54 line 365:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 371:15 token recognition error at: '''
% 0.39/0.54 line 371:16 token recognition error at: '0'
% 0.39/0.54 line 371:17 token recognition error at: '''
% 0.39/0.54 line 371:18 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 383:17 token recognition error at: '''
% 0.39/0.54 line 383:18 token recognition error at: '@'
% 0.39/0.54 line 383:19 token recognition error at: '+'
% 0.39/0.54 line 383:20 token recognition error at: '''
% 0.39/0.54 line 383:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 383:28 mismatched input ',' expecting {',', ')'}
% 0.39/0.54 line 386:24 token recognition error at: '''
% 0.39/0.54 line 386:25 token recognition error at: '@'
% 0.39/0.54 line 386:26 token recognition error at: '+'
% 0.39/0.54 line 386:27 token recognition error at: '''
% 0.39/0.54 line 386:28 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 386:37 mismatched input '|' expecting {',', ')'}
% 0.39/0.54 line 389:17 token recognition error at: '''
% 0.39/0.54 line 389:18 token recognition error at: '@'
% 0.39/0.54 line 389:19 token recognition error at: '*'
% 0.39/0.54 line 389:20 token recognition error at: '''
% 0.39/0.54 line 389:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 389:28 mismatched input ',' expecting {',', ')'}
% 0.39/0.54 line 392:25 token recognition error at: '''
% 0.39/0.54 line 392:26 token recognition error at: '@'
% 0.39/0.54 line 392:27 token recognition error at: '*'
% 0.39/0.54 line 392:28 token recognition error at: '''
% 0.39/0.54 line 392:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.54 line 392:38 mismatched input '|' expecting {',', ')'}
% 0.39/0.55 line 434:17 token recognition error at: '''
% 0.39/0.55 line 434:18 token recognition error at: '@'
% 0.39/0.55 line 434:19 token recognition error at: '+'
% 0.39/0.55 line 434:20 token recognition error at: '''
% 0.39/0.55 line 434:22 token recognition error at: '''
% 0.39/0.55 line 434:23 token recognition error at: '0'
% 0.39/0.55 line 434:24 token recognition error at: '''
% 0.39/0.55 line 434:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 434:29 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 437:17 token recognition error at: '''
% 0.39/0.55 line 437:18 token recognition error at: '@'
% 0.39/0.55 line 437:19 token recognition error at: '+'
% 0.39/0.55 line 437:20 token recognition error at: '''
% 0.39/0.55 line 437:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 437:31 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 437:34 token recognition error at: '''
% 0.39/0.55 line 437:35 token recognition error at: '@'
% 0.39/0.55 line 437:36 token recognition error at: '+'
% 0.39/0.55 line 437:37 token recognition error at: '''
% 0.39/0.55 line 440:17 token recognition error at: '''
% 0.39/0.55 line 440:18 token recognition error at: '@'
% 0.39/0.55 line 440:19 token recognition error at: '+'
% 0.39/0.55 line 440:20 token recognition error at: '''
% 0.39/0.55 line 440:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 440:30 mismatched input '|' expecting {',', ')'}
% 0.39/0.55 line 443:17 token recognition error at: '''
% 0.39/0.55 line 443:18 token recognition error at: '@'
% 0.39/0.55 line 443:19 token recognition error at: '+'
% 0.39/0.55 line 443:20 token recognition error at: '''
% 0.39/0.55 line 443:22 token recognition error at: '''
% 0.39/0.55 line 443:23 token recognition error at: '@'
% 0.39/0.55 line 443:24 token recognition error at: '+'
% 0.39/0.55 line 443:25 token recognition error at: '''
% 0.39/0.55 line 443:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 443:33 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 443:38 token recognition error at: '''
% 0.39/0.55 line 443:39 token recognition error at: '@'
% 0.39/0.55 line 443:40 token recognition error at: '+'
% 0.39/0.55 line 443:41 token recognition error at: '''
% 0.39/0.55 line 443:46 token recognition error at: '''
% 0.39/0.55 line 443:47 token recognition error at: '@'
% 0.39/0.55 line 443:48 token recognition error at: '+'
% 0.39/0.55 line 443:49 token recognition error at: '''
% 0.39/0.55 line 446:17 token recognition error at: '''
% 0.39/0.55 line 446:18 token recognition error at: '@'
% 0.39/0.55 line 446:19 token recognition error at: '+'
% 0.39/0.55 line 446:20 token recognition error at: '''
% 0.39/0.55 line 446:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 446:25 token recognition error at: '''
% 0.39/0.55 line 446:26 token recognition error at: '0'
% 0.39/0.55 line 446:27 token recognition error at: '''
% 0.39/0.55 line 446:28 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 446:29 mismatched input ',' expecting {')', '|'}
% 0.39/0.55 line 449:17 token recognition error at: '''
% 0.39/0.55 line 449:18 token recognition error at: '@'
% 0.39/0.55 line 449:19 token recognition error at: '+'
% 0.39/0.55 line 449:20 token recognition error at: '''
% 0.39/0.55 line 449:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 449:32 token recognition error at: '''
% 0.39/0.55 line 449:33 token recognition error at: '@'
% 0.39/0.55 line 449:34 token recognition error at: '+'
% 0.39/0.55 line 449:35 token recognition error at: '''
% 0.39/0.55 line 449:31 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 452:17 token recognition error at: '''
% 0.39/0.55 line 452:18 token recognition error at: '@'
% 0.39/0.55 line 452:19 token recognition error at: '+'
% 0.39/0.55 line 452:20 token recognition error at: '''
% 0.39/0.55 line 452:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 452:29 token recognition error at: '''
% 0.39/0.55 line 452:30 token recognition error at: '@'
% 0.39/0.55 line 452:31 token recognition error at: '+'
% 0.39/0.55 line 452:32 token recognition error at: '''
% 0.39/0.55 line 452:28 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 455:40 token recognition error at: '''
% 0.39/0.55 line 455:41 token recognition error at: '@'
% 0.39/0.55 line 455:42 token recognition error at: '+'
% 0.39/0.55 line 455:43 token recognition error at: '''
% 0.39/0.55 line 455:44 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 455:52 token recognition error at: '''
% 0.39/0.55 line 455:53 token recognition error at: '@'
% 0.39/0.55 line 455:54 token recognition error at: '+'
% 0.39/0.55 line 455:55 token recognition error at: '''
% 0.39/0.55 line 455:51 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 458:40 token recognition error at: '''
% 0.39/0.55 line 458:41 token recognition error at: '@'
% 0.39/0.55 line 458:42 token recognition error at: '+'
% 0.39/0.55 line 458:43 token recognition error at: '''
% 0.39/0.55 line 458:44 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 458:52 token recognition error at: '''
% 0.39/0.55 line 458:53 token recognition error at: '@'
% 0.39/0.55 line 458:54 token recognition error at: '+'
% 0.39/0.55 line 458:55 token recognition error at: '''
% 0.39/0.55 line 458:51 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 458:100 token recognition error at: '''
% 0.39/0.55 line 458:101 token recognition error at: '@'
% 0.39/0.55 line 458:102 token recognition error at: '+'
% 0.39/0.55 line 458:103 token recognition error at: '''
% 0.39/0.55 line 458:116 token recognition error at: '''
% 0.39/0.55 line 458:117 token recognition error at: '@'
% 0.39/0.55 line 458:118 token recognition error at: '+'
% 0.39/0.55 line 458:119 token recognition error at: '''
% 0.39/0.55 line 461:40 token recognition error at: '''
% 0.39/0.55 line 461:41 token recognition error at: '@'
% 0.39/0.55 line 461:42 token recognition error at: '+'
% 0.39/0.55 line 461:43 token recognition error at: '''
% 0.39/0.55 line 461:44 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 461:52 token recognition error at: '''
% 0.39/0.55 line 461:53 token recognition error at: '@'
% 0.39/0.55 line 461:54 token recognition error at: '+'
% 0.39/0.55 line 461:55 token recognition error at: '''
% 0.39/0.55 line 461:51 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 461:129 token recognition error at: '''
% 0.39/0.55 line 461:130 token recognition error at: '0'
% 0.39/0.55 line 461:131 token recognition error at: '''
% 0.39/0.55 line 464:40 token recognition error at: '''
% 0.39/0.55 line 464:41 token recognition error at: '@'
% 0.39/0.55 line 464:42 token recognition error at: '+'
% 0.39/0.55 line 464:43 token recognition error at: '''
% 0.39/0.55 line 464:44 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 464:52 token recognition error at: '''
% 0.39/0.55 line 464:53 token recognition error at: '@'
% 0.39/0.55 line 464:54 token recognition error at: '+'
% 0.39/0.55 line 464:55 token recognition error at: '''
% 0.39/0.55 line 464:51 mismatched input ',' expecting {',', ')'}
% 0.39/0.55 line 464:121 token recognition error at: '''
% 0.39/0.55 line 464:122 token recognition error at: '0'
% 0.39/0.55 line 464:123 token recognition error at: '''
% 0.39/0.55 line 473:17 token recognition error at: '''
% 0.39/0.55 line 473:18 token recognition error at: '@'
% 0.39/0.55 line 473:19 token recognition error at: '+'
% 0.39/0.55 line 473:20 token recognition error at: '''
% 0.39/0.55 line 473:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.39/0.55 line 473:33 token recognition error at: '''
% 0.39/0.55 line 473:34 token recognition error at: '@'
% 0.39/0.55 line 473:35 token recognition error at: '+'
% 0.39/0.55 line 473:36 token recognition error at: '''
% 0.39/0.55 line 473:32 mismatched input ',' expecting {'(', ',', ')'}
% 0.39/0.55 % SZS status Error
% 0.39/0.55 java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.39/0.55 java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.39/0.55 at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:122)
% 0.39/0.55 at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:205)
% 0.39/0.55 at Main.main(Main.java:24)
% 0.39/0.55 Caused by: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.39/0.55 at Main.loadFormulas(Main.java:194)
% 0.39/0.55 at Main.runModelBuilder(Main.java:42)
% 0.39/0.55 at Main.lambda$main$0(Main.java:21)
% 0.39/0.55 at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
% 0.39/0.55 at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
% 0.39/0.55 at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
% 0.39/0.55 at java.base/java.lang.Thread.run(Thread.java:1583)
% 0.39/0.58 % FMB4L exiting
%------------------------------------------------------------------------------