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