%------------------------------------------------------------------------------
% File : FMB4J---0.1
% Problem : SWX043+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 : n013.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:16 PM UTC 2026
% Result : Unknown 0.13s 5.86s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.02 % Problem : SWX043+1 : TPTP v9.3.1. Released v9.1.0.
% 0.00/0.03 % Command : run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% 0.08/5.35 % Computer : n013.cluster.edu
% 0.08/5.35 % Model : x86_64 x86_64
% 0.08/5.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/5.35 % Memory : 8046.5625MB
% 0.08/5.35 % OS : Linux 6.8.0-71-generic
% 0.08/5.35 % CPULimit : 300
% 0.08/5.35 % WCLimit : 300
% 0.08/5.35 % DateTime : Thu Sep 24 23:21:56 UTC 2026
% 0.08/5.35 % CPUTime :
% 0.08/5.35 Running run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% 0.13/5.41 Running: java -jar /export/starexec/sandbox2/solver/bin/FMB4J.jar /export/starexec/sandbox2/tmp/tmp.6SCMfLzSde/theBenchmark.cnf 300
% 0.13/5.68 line 20:51 token recognition error at: '''
% 0.13/5.68 line 20:52 token recognition error at: '@'
% 0.13/5.68 line 20:53 token recognition error at: '<'
% 0.13/5.68 line 20:54 token recognition error at: '_'
% 0.13/5.68 line 20:65 token recognition error at: '''
% 0.13/5.68 line 20:76 token recognition error at: '''
% 0.13/5.68 line 20:77 token recognition error at: '@'
% 0.13/5.68 line 20:78 token recognition error at: '<'
% 0.13/5.68 line 20:79 token recognition error at: '_'
% 0.13/5.68 line 20:90 token recognition error at: '''
% 0.13/5.68 line 23:51 token recognition error at: '''
% 0.13/5.68 line 23:52 token recognition error at: '@'
% 0.13/5.68 line 23:53 token recognition error at: '<'
% 0.13/5.68 line 23:54 token recognition error at: '_'
% 0.13/5.68 line 23:60 token recognition error at: '''
% 0.13/5.68 line 23:71 token recognition error at: '''
% 0.13/5.68 line 23:72 token recognition error at: '@'
% 0.13/5.68 line 23:73 token recognition error at: '<'
% 0.13/5.68 line 23:74 token recognition error at: '_'
% 0.13/5.68 line 23:80 token recognition error at: '''
% 0.13/5.69 line 26:51 token recognition error at: '''
% 0.13/5.69 line 26:52 token recognition error at: '@'
% 0.13/5.69 line 26:53 token recognition error at: '<'
% 0.13/5.69 line 26:54 token recognition error at: '_'
% 0.13/5.69 line 26:63 token recognition error at: '''
% 0.13/5.69 line 26:74 token recognition error at: '''
% 0.13/5.69 line 26:75 token recognition error at: '@'
% 0.13/5.69 line 26:76 token recognition error at: '<'
% 0.13/5.69 line 26:77 token recognition error at: '_'
% 0.13/5.69 line 26:86 token recognition error at: '''
% 0.13/5.69 line 29:51 token recognition error at: '''
% 0.13/5.69 line 29:52 token recognition error at: '@'
% 0.13/5.69 line 29:53 token recognition error at: '='
% 0.13/5.69 line 29:54 token recognition error at: '<'
% 0.13/5.69 line 29:55 token recognition error at: '_'
% 0.13/5.69 line 29:66 token recognition error at: '''
% 0.13/5.69 line 29:77 token recognition error at: '''
% 0.13/5.69 line 29:78 token recognition error at: '@'
% 0.13/5.69 line 29:79 token recognition error at: '='
% 0.13/5.69 line 29:80 token recognition error at: '<'
% 0.13/5.69 line 29:81 token recognition error at: '_'
% 0.13/5.69 line 29:92 token recognition error at: '''
% 0.13/5.69 line 32:51 token recognition error at: '''
% 0.13/5.69 line 32:52 token recognition error at: '@'
% 0.13/5.69 line 32:53 token recognition error at: '='
% 0.13/5.69 line 32:54 token recognition error at: '<'
% 0.13/5.69 line 32:55 token recognition error at: '_'
% 0.13/5.69 line 32:61 token recognition error at: '''
% 0.13/5.69 line 32:72 token recognition error at: '''
% 0.13/5.69 line 32:73 token recognition error at: '@'
% 0.13/5.69 line 32:74 token recognition error at: '='
% 0.13/5.69 line 32:75 token recognition error at: '<'
% 0.13/5.69 line 32:76 token recognition error at: '_'
% 0.13/5.69 line 32:82 token recognition error at: '''
% 0.13/5.69 line 35:51 token recognition error at: '''
% 0.13/5.69 line 35:52 token recognition error at: '@'
% 0.13/5.69 line 35:53 token recognition error at: '='
% 0.13/5.69 line 35:54 token recognition error at: '<'
% 0.13/5.69 line 35:55 token recognition error at: '_'
% 0.13/5.69 line 35:64 token recognition error at: '''
% 0.13/5.69 line 35:75 token recognition error at: '''
% 0.13/5.69 line 35:76 token recognition error at: '@'
% 0.13/5.69 line 35:77 token recognition error at: '='
% 0.13/5.69 line 35:78 token recognition error at: '<'
% 0.13/5.69 line 35:79 token recognition error at: '_'
% 0.13/5.69 line 35:88 token recognition error at: '''
% 0.13/5.70 line 59:63 token recognition error at: '''
% 0.13/5.70 line 59:64 token recognition error at: '@'
% 0.13/5.70 line 59:65 token recognition error at: '*'
% 0.13/5.70 line 59:66 token recognition error at: '''
% 0.13/5.70 line 59:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.70 line 59:75 token recognition error at: '''
% 0.13/5.70 line 59:76 token recognition error at: '@'
% 0.13/5.70 line 59:77 token recognition error at: '*'
% 0.13/5.70 line 59:78 token recognition error at: '''
% 0.13/5.70 line 59:74 mismatched input ',' expecting {',', ')'}
% 0.13/5.70 line 62:63 token recognition error at: '''
% 0.13/5.70 line 62:64 token recognition error at: '@'
% 0.13/5.70 line 62:65 token recognition error at: '+'
% 0.13/5.70 line 62:66 token recognition error at: '''
% 0.13/5.70 line 62:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.70 line 62:75 token recognition error at: '''
% 0.13/5.70 line 62:76 token recognition error at: '@'
% 0.13/5.70 line 62:77 token recognition error at: '+'
% 0.13/5.71 line 62:78 token recognition error at: '''
% 0.13/5.71 line 62:74 mismatched input ',' expecting {',', ')'}
% 0.13/5.71 line 68:4 token recognition error at: '''
% 0.13/5.71 line 68:5 token recognition error at: '@'
% 0.13/5.71 line 68:6 token recognition error at: '='
% 0.13/5.71 line 68:7 token recognition error at: '<'
% 0.13/5.71 line 68:8 token recognition error at: '_'
% 0.13/5.71 line 68:17 token recognition error at: '''
% 0.13/5.71 line 68:19 token recognition error at: '''
% 0.13/5.71 line 68:20 token recognition error at: '@'
% 0.13/5.71 line 68:21 token recognition error at: '+'
% 0.13/5.71 line 68:22 token recognition error at: '''
% 0.13/5.71 line 68:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.71 line 68:31 token recognition error at: '''
% 0.13/5.71 line 68:32 token recognition error at: '@'
% 0.13/5.71 line 68:33 token recognition error at: '+'
% 0.13/5.71 line 68:34 token recognition error at: '''
% 0.13/5.71 line 68:30 mismatched input ',' expecting {',', ')'}
% 0.13/5.71 line 68:47 token recognition error at: '''
% 0.13/5.71 line 68:48 token recognition error at: '@'
% 0.13/5.71 line 68:49 token recognition error at: '='
% 0.13/5.71 line 68:50 token recognition error at: '<'
% 0.13/5.71 line 68:51 token recognition error at: '_'
% 0.13/5.71 line 68:60 token recognition error at: '''
% 0.13/5.71 line 68:104 token recognition error at: '''
% 0.13/5.71 line 68:105 token recognition error at: '0'
% 0.13/5.71 line 68:106 token recognition error at: '''
% 0.13/5.71 line 74:4 token recognition error at: '''
% 0.13/5.71 line 74:5 token recognition error at: '@'
% 0.13/5.71 line 74:6 token recognition error at: '='
% 0.13/5.71 line 74:7 token recognition error at: '<'
% 0.13/5.71 line 74:8 token recognition error at: '_'
% 0.13/5.71 line 74:17 token recognition error at: '''
% 0.13/5.71 line 74:19 token recognition error at: '''
% 0.13/5.71 line 74:20 token recognition error at: '@'
% 0.13/5.71 line 74:21 token recognition error at: '+'
% 0.13/5.71 line 74:22 token recognition error at: '''
% 0.13/5.71 line 74:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.71 line 74:33 token recognition error at: '''
% 0.13/5.71 line 74:34 token recognition error at: '@'
% 0.13/5.71 line 74:35 token recognition error at: '+'
% 0.13/5.71 line 74:36 token recognition error at: '''
% 0.13/5.71 line 74:32 mismatched input ',' expecting {',', ')'}
% 0.13/5.71 line 74:51 token recognition error at: '''
% 0.13/5.71 line 74:52 token recognition error at: '@'
% 0.13/5.71 line 74:53 token recognition error at: '='
% 0.13/5.71 line 74:54 token recognition error at: '<'
% 0.13/5.71 line 74:55 token recognition error at: '_'
% 0.13/5.71 line 74:64 token recognition error at: '''
% 0.13/5.71 line 83:18 token recognition error at: '''
% 0.13/5.71 line 83:19 token recognition error at: '0'
% 0.13/5.71 line 83:20 token recognition error at: '''
% 0.13/5.71 line 83:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.71 line 89:7 token recognition error at: '''
% 0.13/5.71 line 89:8 token recognition error at: '0'
% 0.13/5.71 line 89:9 token recognition error at: '''
% 0.13/5.71 line 89:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.72 line 110:5 token recognition error at: '''
% 0.13/5.72 line 110:6 token recognition error at: '@'
% 0.13/5.72 line 110:7 token recognition error at: '='
% 0.13/5.72 line 110:8 token recognition error at: '<'
% 0.13/5.72 line 110:9 token recognition error at: '_'
% 0.13/5.72 line 110:18 token recognition error at: '''
% 0.13/5.72 line 110:30 token recognition error at: '''
% 0.13/5.72 line 110:31 token recognition error at: '@'
% 0.13/5.72 line 110:32 token recognition error at: '='
% 0.13/5.72 line 110:33 token recognition error at: '<'
% 0.13/5.72 line 110:34 token recognition error at: '_'
% 0.13/5.72 line 110:40 token recognition error at: '''
% 0.13/5.72 line 113:4 token recognition error at: '''
% 0.13/5.72 line 113:5 token recognition error at: '@'
% 0.13/5.72 line 113:6 token recognition error at: '='
% 0.13/5.72 line 113:7 token recognition error at: '<'
% 0.13/5.72 line 113:8 token recognition error at: '_'
% 0.13/5.72 line 113:17 token recognition error at: '''
% 0.13/5.72 line 113:28 token recognition error at: '''
% 0.13/5.72 line 113:29 token recognition error at: '@'
% 0.13/5.72 line 113:30 token recognition error at: '='
% 0.13/5.72 line 113:31 token recognition error at: '<'
% 0.13/5.72 line 113:32 token recognition error at: '_'
% 0.13/5.72 line 113:38 token recognition error at: '''
% 0.13/5.72 line 113:50 token recognition error at: '''
% 0.13/5.72 line 113:51 token recognition error at: '@'
% 0.13/5.72 line 113:52 token recognition error at: '='
% 0.13/5.72 line 113:53 token recognition error at: '<'
% 0.13/5.72 line 113:54 token recognition error at: '_'
% 0.13/5.72 line 113:65 token recognition error at: '''
% 0.13/5.72 line 116:5 token recognition error at: '''
% 0.13/5.72 line 116:6 token recognition error at: '@'
% 0.13/5.72 line 116:7 token recognition error at: '<'
% 0.13/5.72 line 116:8 token recognition error at: '_'
% 0.13/5.72 line 116:17 token recognition error at: '''
% 0.13/5.72 line 116:29 token recognition error at: '''
% 0.13/5.72 line 116:30 token recognition error at: '@'
% 0.13/5.72 line 116:31 token recognition error at: '<'
% 0.13/5.72 line 116:32 token recognition error at: '_'
% 0.13/5.72 line 116:38 token recognition error at: '''
% 0.13/5.72 line 119:4 token recognition error at: '''
% 0.13/5.72 line 119:5 token recognition error at: '@'
% 0.13/5.72 line 119:6 token recognition error at: '<'
% 0.13/5.72 line 119:7 token recognition error at: '_'
% 0.13/5.72 line 119:16 token recognition error at: '''
% 0.13/5.72 line 119:27 token recognition error at: '''
% 0.13/5.72 line 119:28 token recognition error at: '@'
% 0.13/5.72 line 119:29 token recognition error at: '<'
% 0.13/5.72 line 119:30 token recognition error at: '_'
% 0.13/5.72 line 119:36 token recognition error at: '''
% 0.13/5.72 line 119:48 token recognition error at: '''
% 0.13/5.72 line 119:49 token recognition error at: '@'
% 0.13/5.72 line 119:50 token recognition error at: '<'
% 0.13/5.72 line 119:51 token recognition error at: '_'
% 0.13/5.72 line 119:62 token recognition error at: '''
% 0.13/5.72 line 131:19 token recognition error at: '''
% 0.13/5.72 line 131:20 token recognition error at: '0'
% 0.13/5.72 line 131:21 token recognition error at: '''
% 0.13/5.72 line 131:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.72 line 131:26 token recognition error at: '''
% 0.13/5.72 line 131:27 token recognition error at: '0'
% 0.13/5.72 line 131:28 token recognition error at: '''
% 0.13/5.72 line 131:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.72 line 134:53 token recognition error at: '''
% 0.13/5.72 line 134:54 token recognition error at: '0'
% 0.13/5.72 line 134:55 token recognition error at: '''
% 0.13/5.72 line 134:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.72 line 137:53 token recognition error at: '''
% 0.13/5.72 line 137:54 token recognition error at: '0'
% 0.13/5.72 line 137:55 token recognition error at: '''
% 0.13/5.72 line 137:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.72 line 140:66 token recognition error at: '''
% 0.13/5.72 line 140:67 token recognition error at: '0'
% 0.13/5.72 line 140:68 token recognition error at: '''
% 0.13/5.72 line 140:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.72 line 143:66 token recognition error at: '''
% 0.13/5.72 line 143:67 token recognition error at: '0'
% 0.13/5.72 line 143:68 token recognition error at: '''
% 0.13/5.72 line 143:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.72 line 146:54 token recognition error at: '''
% 0.13/5.72 line 146:55 token recognition error at: '0'
% 0.13/5.72 line 146:56 token recognition error at: '''
% 0.13/5.72 line 146:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 149:54 token recognition error at: '''
% 0.13/5.73 line 149:55 token recognition error at: '0'
% 0.13/5.73 line 149:56 token recognition error at: '''
% 0.13/5.73 line 149:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 152:77 token recognition error at: '''
% 0.13/5.73 line 152:78 token recognition error at: '0'
% 0.13/5.73 line 152:79 token recognition error at: '''
% 0.13/5.73 line 152:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 155:77 token recognition error at: '''
% 0.13/5.73 line 155:78 token recognition error at: '0'
% 0.13/5.73 line 155:79 token recognition error at: '''
% 0.13/5.73 line 155:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 158:88 token recognition error at: '''
% 0.13/5.73 line 158:89 token recognition error at: '0'
% 0.13/5.73 line 158:90 token recognition error at: '''
% 0.13/5.73 line 158:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 161:88 token recognition error at: '''
% 0.13/5.73 line 161:89 token recognition error at: '0'
% 0.13/5.73 line 161:90 token recognition error at: '''
% 0.13/5.73 line 161:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 164:76 token recognition error at: '''
% 0.13/5.73 line 164:77 token recognition error at: '0'
% 0.13/5.73 line 164:78 token recognition error at: '''
% 0.13/5.73 line 164:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 167:76 token recognition error at: '''
% 0.13/5.73 line 167:77 token recognition error at: '0'
% 0.13/5.73 line 167:78 token recognition error at: '''
% 0.13/5.73 line 167:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 173:17 token recognition error at: '''
% 0.13/5.73 line 173:18 token recognition error at: '0'
% 0.13/5.73 line 173:19 token recognition error at: '''
% 0.13/5.73 line 173:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 173:24 token recognition error at: '''
% 0.13/5.73 line 173:25 token recognition error at: '0'
% 0.13/5.73 line 173:26 token recognition error at: '''
% 0.13/5.73 line 173:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 191:18 token recognition error at: '''
% 0.13/5.73 line 191:19 token recognition error at: '0'
% 0.13/5.73 line 191:20 token recognition error at: '''
% 0.13/5.73 line 191:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 194:53 token recognition error at: '''
% 0.13/5.73 line 194:54 token recognition error at: '0'
% 0.13/5.73 line 194:55 token recognition error at: '''
% 0.13/5.73 line 194:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 200:53 token recognition error at: '''
% 0.13/5.73 line 200:54 token recognition error at: '0'
% 0.13/5.73 line 200:55 token recognition error at: '''
% 0.13/5.73 line 200:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 206:65 token recognition error at: '''
% 0.13/5.73 line 206:66 token recognition error at: '0'
% 0.13/5.73 line 206:67 token recognition error at: '''
% 0.13/5.73 line 206:68 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.73 line 212:76 token recognition error at: '''
% 0.13/5.73 line 212:77 token recognition error at: '0'
% 0.13/5.73 line 212:78 token recognition error at: '''
% 0.13/5.73 line 212:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 218:76 token recognition error at: '''
% 0.13/5.74 line 218:77 token recognition error at: '0'
% 0.13/5.74 line 218:78 token recognition error at: '''
% 0.13/5.74 line 218:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 224:86 token recognition error at: '''
% 0.13/5.74 line 224:87 token recognition error at: '0'
% 0.13/5.74 line 224:88 token recognition error at: '''
% 0.13/5.74 line 224:89 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 233:16 token recognition error at: '''
% 0.13/5.74 line 233:17 token recognition error at: '0'
% 0.13/5.74 line 233:18 token recognition error at: '''
% 0.13/5.74 line 233:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 248:4 token recognition error at: '''
% 0.13/5.74 line 248:5 token recognition error at: '@'
% 0.13/5.74 line 248:6 token recognition error at: '='
% 0.13/5.74 line 248:7 token recognition error at: '<'
% 0.13/5.74 line 248:8 token recognition error at: '_'
% 0.13/5.74 line 248:17 token recognition error at: '''
% 0.13/5.74 line 248:35 token recognition error at: '''
% 0.13/5.74 line 248:36 token recognition error at: '@'
% 0.13/5.74 line 248:37 token recognition error at: '='
% 0.13/5.74 line 248:38 token recognition error at: '<'
% 0.13/5.74 line 248:39 token recognition error at: '_'
% 0.13/5.74 line 248:48 token recognition error at: '''
% 0.13/5.74 line 251:4 token recognition error at: '''
% 0.13/5.74 line 251:5 token recognition error at: '@'
% 0.13/5.74 line 251:6 token recognition error at: '='
% 0.13/5.74 line 251:7 token recognition error at: '<'
% 0.13/5.74 line 251:8 token recognition error at: '_'
% 0.13/5.74 line 251:17 token recognition error at: '''
% 0.13/5.74 line 251:19 token recognition error at: '''
% 0.13/5.74 line 251:20 token recognition error at: '0'
% 0.13/5.74 line 251:21 token recognition error at: '''
% 0.13/5.74 line 251:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 254:51 token recognition error at: '''
% 0.13/5.74 line 254:52 token recognition error at: '0'
% 0.13/5.74 line 254:53 token recognition error at: '''
% 0.13/5.74 line 254:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 254:62 token recognition error at: '''
% 0.13/5.74 line 254:63 token recognition error at: '@'
% 0.13/5.74 line 254:64 token recognition error at: '='
% 0.13/5.74 line 254:65 token recognition error at: '<'
% 0.13/5.74 line 254:66 token recognition error at: '_'
% 0.13/5.74 line 254:75 token recognition error at: '''
% 0.13/5.74 line 257:51 token recognition error at: '''
% 0.13/5.74 line 257:52 token recognition error at: '0'
% 0.13/5.74 line 257:53 token recognition error at: '''
% 0.13/5.74 line 257:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 257:62 token recognition error at: '''
% 0.13/5.74 line 257:63 token recognition error at: '@'
% 0.13/5.74 line 257:64 token recognition error at: '='
% 0.13/5.74 line 257:65 token recognition error at: '<'
% 0.13/5.74 line 257:66 token recognition error at: '_'
% 0.13/5.74 line 257:75 token recognition error at: '''
% 0.13/5.74 line 260:4 token recognition error at: '''
% 0.13/5.74 line 260:5 token recognition error at: '@'
% 0.13/5.74 line 260:6 token recognition error at: '='
% 0.13/5.74 line 260:7 token recognition error at: '<'
% 0.13/5.74 line 260:8 token recognition error at: '_'
% 0.13/5.74 line 260:17 token recognition error at: '''
% 0.13/5.74 line 260:59 token recognition error at: '''
% 0.13/5.74 line 260:60 token recognition error at: '0'
% 0.13/5.74 line 260:61 token recognition error at: '''
% 0.13/5.74 line 260:62 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 260:70 token recognition error at: '''
% 0.13/5.74 line 260:71 token recognition error at: '@'
% 0.13/5.74 line 260:72 token recognition error at: '='
% 0.13/5.74 line 260:73 token recognition error at: '<'
% 0.13/5.74 line 260:74 token recognition error at: '_'
% 0.13/5.74 line 260:83 token recognition error at: '''
% 0.13/5.74 line 263:4 token recognition error at: '''
% 0.13/5.74 line 263:5 token recognition error at: '@'
% 0.13/5.74 line 263:6 token recognition error at: '='
% 0.13/5.74 line 263:7 token recognition error at: '<'
% 0.13/5.74 line 263:8 token recognition error at: '_'
% 0.13/5.74 line 263:14 token recognition error at: '''
% 0.13/5.74 line 263:72 token recognition error at: '''
% 0.13/5.74 line 263:73 token recognition error at: '0'
% 0.13/5.74 line 263:74 token recognition error at: '''
% 0.13/5.74 line 263:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.74 line 266:4 token recognition error at: '''
% 0.13/5.74 line 266:5 token recognition error at: '@'
% 0.13/5.74 line 266:6 token recognition error at: '='
% 0.13/5.74 line 266:7 token recognition error at: '<'
% 0.13/5.74 line 266:8 token recognition error at: '_'
% 0.13/5.74 line 266:14 token recognition error at: '''
% 0.13/5.74 line 266:72 token recognition error at: '''
% 0.13/5.74 line 266:73 token recognition error at: '0'
% 0.13/5.75 line 266:74 token recognition error at: '''
% 0.13/5.75 line 266:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.75 line 269:4 token recognition error at: '''
% 0.13/5.75 line 269:5 token recognition error at: '@'
% 0.13/5.75 line 269:6 token recognition error at: '='
% 0.13/5.75 line 269:7 token recognition error at: '<'
% 0.13/5.75 line 269:8 token recognition error at: '_'
% 0.13/5.75 line 269:14 token recognition error at: '''
% 0.13/5.75 line 269:26 token recognition error at: '''
% 0.13/5.75 line 269:27 token recognition error at: '@'
% 0.13/5.75 line 269:28 token recognition error at: '='
% 0.13/5.75 line 269:29 token recognition error at: '<'
% 0.13/5.75 line 269:30 token recognition error at: '_'
% 0.13/5.75 line 269:36 token recognition error at: '''
% 0.13/5.75 line 269:78 token recognition error at: '''
% 0.13/5.75 line 269:79 token recognition error at: '0'
% 0.13/5.75 line 269:80 token recognition error at: '''
% 0.13/5.75 line 269:81 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.75 line 272:4 token recognition error at: '''
% 0.13/5.75 line 272:5 token recognition error at: '@'
% 0.13/5.75 line 272:6 token recognition error at: '='
% 0.13/5.75 line 272:7 token recognition error at: '<'
% 0.13/5.75 line 272:8 token recognition error at: '_'
% 0.13/5.75 line 272:14 token recognition error at: '''
% 0.13/5.75 line 272:26 token recognition error at: '''
% 0.13/5.75 line 272:27 token recognition error at: '@'
% 0.13/5.75 line 272:28 token recognition error at: '='
% 0.13/5.75 line 272:29 token recognition error at: '<'
% 0.13/5.75 line 272:30 token recognition error at: '_'
% 0.13/5.75 line 272:36 token recognition error at: '''
% 0.13/5.75 line 275:5 token recognition error at: '''
% 0.13/5.75 line 275:6 token recognition error at: '@'
% 0.13/5.75 line 275:7 token recognition error at: '='
% 0.13/5.75 line 275:8 token recognition error at: '<'
% 0.13/5.75 line 275:9 token recognition error at: '_'
% 0.13/5.75 line 275:15 token recognition error at: '''
% 0.13/5.75 line 275:17 token recognition error at: '''
% 0.13/5.75 line 275:18 token recognition error at: '0'
% 0.13/5.75 line 275:19 token recognition error at: '''
% 0.13/5.75 line 275:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.75 line 278:4 token recognition error at: '''
% 0.13/5.75 line 278:5 token recognition error at: '@'
% 0.13/5.75 line 278:6 token recognition error at: '='
% 0.13/5.75 line 278:7 token recognition error at: '<'
% 0.13/5.75 line 278:8 token recognition error at: '_'
% 0.13/5.75 line 278:19 token recognition error at: '''
% 0.13/5.75 line 281:4 token recognition error at: '''
% 0.13/5.75 line 281:5 token recognition error at: '@'
% 0.13/5.75 line 281:6 token recognition error at: '='
% 0.13/5.75 line 281:7 token recognition error at: '<'
% 0.13/5.75 line 281:8 token recognition error at: '_'
% 0.13/5.75 line 281:19 token recognition error at: '''
% 0.13/5.75 line 284:4 token recognition error at: '''
% 0.13/5.75 line 284:5 token recognition error at: '@'
% 0.13/5.75 line 284:6 token recognition error at: '='
% 0.13/5.75 line 284:7 token recognition error at: '<'
% 0.13/5.75 line 284:8 token recognition error at: '_'
% 0.13/5.75 line 284:19 token recognition error at: '''
% 0.13/5.75 line 284:31 token recognition error at: '''
% 0.13/5.75 line 284:32 token recognition error at: '@'
% 0.13/5.75 line 284:33 token recognition error at: '='
% 0.13/5.75 line 284:34 token recognition error at: '<'
% 0.13/5.75 line 284:35 token recognition error at: '_'
% 0.13/5.75 line 284:46 token recognition error at: '''
% 0.13/5.75 line 287:4 token recognition error at: '''
% 0.13/5.75 line 287:5 token recognition error at: '@'
% 0.13/5.75 line 287:6 token recognition error at: '='
% 0.13/5.75 line 287:7 token recognition error at: '<'
% 0.13/5.75 line 287:8 token recognition error at: '_'
% 0.13/5.75 line 287:19 token recognition error at: '''
% 0.13/5.75 line 287:31 token recognition error at: '''
% 0.13/5.75 line 287:32 token recognition error at: '@'
% 0.13/5.75 line 287:33 token recognition error at: '='
% 0.13/5.75 line 287:34 token recognition error at: '<'
% 0.13/5.75 line 287:35 token recognition error at: '_'
% 0.13/5.75 line 287:46 token recognition error at: '''
% 0.13/5.75 line 290:4 token recognition error at: '''
% 0.13/5.75 line 290:5 token recognition error at: '@'
% 0.13/5.75 line 290:6 token recognition error at: '<'
% 0.13/5.75 line 290:7 token recognition error at: '_'
% 0.13/5.75 line 290:16 token recognition error at: '''
% 0.13/5.75 line 290:34 token recognition error at: '''
% 0.13/5.75 line 290:35 token recognition error at: '@'
% 0.13/5.75 line 290:36 token recognition error at: '<'
% 0.13/5.75 line 290:37 token recognition error at: '_'
% 0.13/5.75 line 290:46 token recognition error at: '''
% 0.13/5.75 line 293:4 token recognition error at: '''
% 0.13/5.75 line 293:5 token recognition error at: '@'
% 0.13/5.75 line 293:6 token recognition error at: '<'
% 0.13/5.75 line 293:7 token recognition error at: '_'
% 0.13/5.75 line 293:16 token recognition error at: '''
% 0.13/5.75 line 293:18 token recognition error at: '''
% 0.13/5.75 line 293:19 token recognition error at: '0'
% 0.13/5.75 line 293:20 token recognition error at: '''
% 0.13/5.75 line 293:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.75 line 296:51 token recognition error at: '''
% 0.13/5.75 line 296:52 token recognition error at: '0'
% 0.13/5.75 line 296:53 token recognition error at: '''
% 0.13/5.75 line 296:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.75 line 296:62 token recognition error at: '''
% 0.13/5.75 line 296:63 token recognition error at: '@'
% 0.13/5.75 line 296:64 token recognition error at: '<'
% 0.13/5.75 line 296:65 token recognition error at: '_'
% 0.13/5.75 line 296:74 token recognition error at: '''
% 0.13/5.75 line 299:73 token recognition error at: '''
% 0.13/5.75 line 299:74 token recognition error at: '@'
% 0.13/5.75 line 299:75 token recognition error at: '<'
% 0.13/5.75 line 299:76 token recognition error at: '_'
% 0.13/5.75 line 299:85 token recognition error at: '''
% 0.13/5.75 line 302:51 token recognition error at: '''
% 0.13/5.75 line 302:52 token recognition error at: '0'
% 0.13/5.75 line 302:53 token recognition error at: '''
% 0.13/5.75 line 302:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.75 line 302:62 token recognition error at: '''
% 0.13/5.75 line 302:63 token recognition error at: '@'
% 0.13/5.75 line 302:64 token recognition error at: '<'
% 0.13/5.75 line 302:65 token recognition error at: '_'
% 0.13/5.75 line 302:74 token recognition error at: '''
% 0.13/5.75 line 305:73 token recognition error at: '''
% 0.13/5.75 line 305:74 token recognition error at: '@'
% 0.13/5.75 line 305:75 token recognition error at: '<'
% 0.13/5.76 line 305:76 token recognition error at: '_'
% 0.13/5.76 line 305:85 token recognition error at: '''
% 0.13/5.76 line 308:4 token recognition error at: '''
% 0.13/5.76 line 308:5 token recognition error at: '@'
% 0.13/5.76 line 308:6 token recognition error at: '<'
% 0.13/5.76 line 308:7 token recognition error at: '_'
% 0.13/5.76 line 308:16 token recognition error at: '''
% 0.13/5.76 line 308:58 token recognition error at: '''
% 0.13/5.76 line 308:59 token recognition error at: '0'
% 0.13/5.76 line 308:60 token recognition error at: '''
% 0.13/5.76 line 308:61 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.76 line 308:69 token recognition error at: '''
% 0.13/5.76 line 308:70 token recognition error at: '@'
% 0.13/5.76 line 308:71 token recognition error at: '<'
% 0.13/5.76 line 308:72 token recognition error at: '_'
% 0.13/5.76 line 308:81 token recognition error at: '''
% 0.13/5.76 line 311:4 token recognition error at: '''
% 0.13/5.76 line 311:5 token recognition error at: '@'
% 0.13/5.76 line 311:6 token recognition error at: '<'
% 0.13/5.76 line 311:7 token recognition error at: '_'
% 0.13/5.76 line 311:16 token recognition error at: '''
% 0.13/5.76 line 311:80 token recognition error at: '''
% 0.13/5.76 line 311:81 token recognition error at: '@'
% 0.13/5.76 line 311:82 token recognition error at: '<'
% 0.13/5.76 line 311:83 token recognition error at: '_'
% 0.13/5.76 line 311:92 token recognition error at: '''
% 0.13/5.76 line 314:4 token recognition error at: '''
% 0.13/5.76 line 314:5 token recognition error at: '@'
% 0.13/5.76 line 314:6 token recognition error at: '<'
% 0.13/5.76 line 314:7 token recognition error at: '_'
% 0.13/5.76 line 314:13 token recognition error at: '''
% 0.13/5.76 line 314:71 token recognition error at: '''
% 0.13/5.76 line 314:72 token recognition error at: '0'
% 0.13/5.76 line 314:73 token recognition error at: '''
% 0.13/5.76 line 314:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.76 line 317:4 token recognition error at: '''
% 0.13/5.76 line 317:5 token recognition error at: '@'
% 0.13/5.76 line 317:6 token recognition error at: '<'
% 0.13/5.76 line 317:7 token recognition error at: '_'
% 0.13/5.76 line 317:13 token recognition error at: '''
% 0.13/5.76 line 320:4 token recognition error at: '''
% 0.13/5.76 line 320:5 token recognition error at: '@'
% 0.13/5.76 line 320:6 token recognition error at: '<'
% 0.13/5.76 line 320:7 token recognition error at: '_'
% 0.13/5.76 line 320:13 token recognition error at: '''
% 0.13/5.76 line 320:71 token recognition error at: '''
% 0.13/5.76 line 320:72 token recognition error at: '0'
% 0.13/5.76 line 320:73 token recognition error at: '''
% 0.13/5.76 line 320:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.76 line 323:4 token recognition error at: '''
% 0.13/5.76 line 323:5 token recognition error at: '@'
% 0.13/5.76 line 323:6 token recognition error at: '<'
% 0.13/5.76 line 323:7 token recognition error at: '_'
% 0.13/5.76 line 323:13 token recognition error at: '''
% 0.13/5.76 line 326:4 token recognition error at: '''
% 0.13/5.76 line 326:5 token recognition error at: '@'
% 0.13/5.76 line 326:6 token recognition error at: '<'
% 0.13/5.76 line 326:7 token recognition error at: '_'
% 0.13/5.76 line 326:13 token recognition error at: '''
% 0.13/5.76 line 326:25 token recognition error at: '''
% 0.13/5.76 line 326:26 token recognition error at: '@'
% 0.13/5.76 line 326:27 token recognition error at: '<'
% 0.13/5.76 line 326:28 token recognition error at: '_'
% 0.13/5.76 line 326:34 token recognition error at: '''
% 0.13/5.76 line 326:76 token recognition error at: '''
% 0.13/5.76 line 326:77 token recognition error at: '0'
% 0.13/5.76 line 326:78 token recognition error at: '''
% 0.13/5.76 line 326:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.76 line 329:4 token recognition error at: '''
% 0.13/5.76 line 329:5 token recognition error at: '@'
% 0.13/5.76 line 329:6 token recognition error at: '<'
% 0.13/5.76 line 329:7 token recognition error at: '_'
% 0.13/5.76 line 329:13 token recognition error at: '''
% 0.13/5.76 line 329:25 token recognition error at: '''
% 0.13/5.76 line 329:26 token recognition error at: '@'
% 0.13/5.76 line 329:27 token recognition error at: '<'
% 0.13/5.76 line 329:28 token recognition error at: '_'
% 0.13/5.76 line 329:34 token recognition error at: '''
% 0.13/5.76 line 332:4 token recognition error at: '''
% 0.13/5.76 line 332:5 token recognition error at: '@'
% 0.13/5.76 line 332:6 token recognition error at: '<'
% 0.13/5.76 line 332:7 token recognition error at: '_'
% 0.13/5.76 line 332:13 token recognition error at: '''
% 0.13/5.76 line 332:25 token recognition error at: '''
% 0.13/5.76 line 332:26 token recognition error at: '@'
% 0.13/5.76 line 332:27 token recognition error at: '<'
% 0.13/5.76 line 332:28 token recognition error at: '_'
% 0.13/5.76 line 332:34 token recognition error at: '''
% 0.13/5.76 line 335:5 token recognition error at: '''
% 0.13/5.76 line 335:6 token recognition error at: '@'
% 0.13/5.76 line 335:7 token recognition error at: '<'
% 0.13/5.76 line 335:8 token recognition error at: '_'
% 0.13/5.76 line 335:14 token recognition error at: '''
% 0.13/5.76 line 335:16 token recognition error at: '''
% 0.13/5.76 line 335:17 token recognition error at: '0'
% 0.13/5.76 line 335:18 token recognition error at: '''
% 0.13/5.76 line 335:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.76 line 338:4 token recognition error at: '''
% 0.13/5.76 line 338:5 token recognition error at: '@'
% 0.13/5.76 line 338:6 token recognition error at: '<'
% 0.13/5.76 line 338:7 token recognition error at: '_'
% 0.13/5.76 line 338:18 token recognition error at: '''
% 0.13/5.76 line 341:4 token recognition error at: '''
% 0.13/5.76 line 341:5 token recognition error at: '@'
% 0.13/5.76 line 341:6 token recognition error at: '<'
% 0.13/5.76 line 341:7 token recognition error at: '_'
% 0.13/5.76 line 341:18 token recognition error at: '''
% 0.13/5.76 line 344:4 token recognition error at: '''
% 0.13/5.76 line 344:5 token recognition error at: '@'
% 0.13/5.76 line 344:6 token recognition error at: '<'
% 0.13/5.76 line 344:7 token recognition error at: '_'
% 0.13/5.76 line 344:18 token recognition error at: '''
% 0.13/5.76 line 344:30 token recognition error at: '''
% 0.13/5.76 line 344:31 token recognition error at: '@'
% 0.13/5.76 line 344:32 token recognition error at: '<'
% 0.13/5.76 line 344:33 token recognition error at: '_'
% 0.13/5.76 line 344:44 token recognition error at: '''
% 0.13/5.76 line 347:4 token recognition error at: '''
% 0.13/5.76 line 347:5 token recognition error at: '@'
% 0.13/5.76 line 347:6 token recognition error at: '<'
% 0.13/5.76 line 347:7 token recognition error at: '_'
% 0.13/5.76 line 347:18 token recognition error at: '''
% 0.13/5.77 line 347:30 token recognition error at: '''
% 0.13/5.77 line 347:31 token recognition error at: '@'
% 0.13/5.77 line 347:32 token recognition error at: '<'
% 0.13/5.77 line 347:33 token recognition error at: '_'
% 0.13/5.77 line 347:44 token recognition error at: '''
% 0.13/5.77 line 353:17 token recognition error at: '''
% 0.13/5.77 line 353:18 token recognition error at: '0'
% 0.13/5.77 line 353:19 token recognition error at: '''
% 0.13/5.77 line 353:20 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 356:48 token recognition error at: '''
% 0.13/5.77 line 356:49 token recognition error at: '0'
% 0.13/5.77 line 356:50 token recognition error at: '''
% 0.13/5.77 line 356:51 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 359:42 token recognition error at: '''
% 0.13/5.77 line 359:43 token recognition error at: '0'
% 0.13/5.77 line 359:44 token recognition error at: '''
% 0.13/5.77 line 359:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 362:64 token recognition error at: '''
% 0.13/5.77 line 362:65 token recognition error at: '0'
% 0.13/5.77 line 362:66 token recognition error at: '''
% 0.13/5.77 line 362:67 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 365:56 token recognition error at: '''
% 0.13/5.77 line 365:57 token recognition error at: '0'
% 0.13/5.77 line 365:58 token recognition error at: '''
% 0.13/5.77 line 365:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 371:15 token recognition error at: '''
% 0.13/5.77 line 371:16 token recognition error at: '0'
% 0.13/5.77 line 371:17 token recognition error at: '''
% 0.13/5.77 line 371:18 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 383:17 token recognition error at: '''
% 0.13/5.77 line 383:18 token recognition error at: '@'
% 0.13/5.77 line 383:19 token recognition error at: '+'
% 0.13/5.77 line 383:20 token recognition error at: '''
% 0.13/5.77 line 383:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 383:28 mismatched input ',' expecting {',', ')'}
% 0.13/5.77 line 386:24 token recognition error at: '''
% 0.13/5.77 line 386:25 token recognition error at: '@'
% 0.13/5.77 line 386:26 token recognition error at: '+'
% 0.13/5.77 line 386:27 token recognition error at: '''
% 0.13/5.77 line 386:28 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 386:37 mismatched input '|' expecting {',', ')'}
% 0.13/5.77 line 389:17 token recognition error at: '''
% 0.13/5.77 line 389:18 token recognition error at: '@'
% 0.13/5.77 line 389:19 token recognition error at: '*'
% 0.13/5.77 line 389:20 token recognition error at: '''
% 0.13/5.77 line 389:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 389:28 mismatched input ',' expecting {',', ')'}
% 0.13/5.77 line 392:25 token recognition error at: '''
% 0.13/5.77 line 392:26 token recognition error at: '@'
% 0.13/5.77 line 392:27 token recognition error at: '*'
% 0.13/5.77 line 392:28 token recognition error at: '''
% 0.13/5.77 line 392:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 392:38 mismatched input '|' expecting {',', ')'}
% 0.13/5.77 line 434:17 token recognition error at: '''
% 0.13/5.77 line 434:18 token recognition error at: '@'
% 0.13/5.77 line 434:19 token recognition error at: '+'
% 0.13/5.77 line 434:20 token recognition error at: '''
% 0.13/5.77 line 434:22 token recognition error at: '''
% 0.13/5.77 line 434:23 token recognition error at: '0'
% 0.13/5.77 line 434:24 token recognition error at: '''
% 0.13/5.77 line 434:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 434:29 mismatched input ',' expecting {',', ')'}
% 0.13/5.77 line 437:17 token recognition error at: '''
% 0.13/5.77 line 437:18 token recognition error at: '@'
% 0.13/5.77 line 437:19 token recognition error at: '+'
% 0.13/5.77 line 437:20 token recognition error at: '''
% 0.13/5.77 line 437:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 437:31 mismatched input ',' expecting {',', ')'}
% 0.13/5.77 line 437:34 token recognition error at: '''
% 0.13/5.77 line 437:35 token recognition error at: '@'
% 0.13/5.77 line 437:36 token recognition error at: '+'
% 0.13/5.77 line 437:37 token recognition error at: '''
% 0.13/5.77 line 440:17 token recognition error at: '''
% 0.13/5.77 line 440:18 token recognition error at: '@'
% 0.13/5.77 line 440:19 token recognition error at: '+'
% 0.13/5.77 line 440:20 token recognition error at: '''
% 0.13/5.77 line 440:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.77 line 440:30 mismatched input '|' expecting {',', ')'}
% 0.13/5.77 line 443:17 token recognition error at: '''
% 0.13/5.77 line 443:18 token recognition error at: '@'
% 0.13/5.77 line 443:19 token recognition error at: '+'
% 0.13/5.78 line 443:20 token recognition error at: '''
% 0.13/5.78 line 443:22 token recognition error at: '''
% 0.13/5.78 line 443:23 token recognition error at: '@'
% 0.13/5.78 line 443:24 token recognition error at: '+'
% 0.13/5.78 line 443:25 token recognition error at: '''
% 0.13/5.78 line 443:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 443:33 mismatched input ',' expecting {',', ')'}
% 0.13/5.78 line 443:38 token recognition error at: '''
% 0.13/5.78 line 443:39 token recognition error at: '@'
% 0.13/5.78 line 443:40 token recognition error at: '+'
% 0.13/5.78 line 443:41 token recognition error at: '''
% 0.13/5.78 line 443:46 token recognition error at: '''
% 0.13/5.78 line 443:47 token recognition error at: '@'
% 0.13/5.78 line 443:48 token recognition error at: '+'
% 0.13/5.78 line 443:49 token recognition error at: '''
% 0.13/5.78 line 446:17 token recognition error at: '''
% 0.13/5.78 line 446:18 token recognition error at: '@'
% 0.13/5.78 line 446:19 token recognition error at: '+'
% 0.13/5.78 line 446:20 token recognition error at: '''
% 0.13/5.78 line 446:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 446:25 token recognition error at: '''
% 0.13/5.78 line 446:26 token recognition error at: '0'
% 0.13/5.78 line 446:27 token recognition error at: '''
% 0.13/5.78 line 446:28 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 446:29 mismatched input ',' expecting {')', '|'}
% 0.13/5.78 line 449:17 token recognition error at: '''
% 0.13/5.78 line 449:18 token recognition error at: '@'
% 0.13/5.78 line 449:19 token recognition error at: '+'
% 0.13/5.78 line 449:20 token recognition error at: '''
% 0.13/5.78 line 449:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 449:32 token recognition error at: '''
% 0.13/5.78 line 449:33 token recognition error at: '@'
% 0.13/5.78 line 449:34 token recognition error at: '+'
% 0.13/5.78 line 449:35 token recognition error at: '''
% 0.13/5.78 line 449:31 mismatched input ',' expecting {',', ')'}
% 0.13/5.78 line 452:17 token recognition error at: '''
% 0.13/5.78 line 452:18 token recognition error at: '@'
% 0.13/5.78 line 452:19 token recognition error at: '+'
% 0.13/5.78 line 452:20 token recognition error at: '''
% 0.13/5.78 line 452:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 452:29 token recognition error at: '''
% 0.13/5.78 line 452:30 token recognition error at: '@'
% 0.13/5.78 line 452:31 token recognition error at: '+'
% 0.13/5.78 line 452:32 token recognition error at: '''
% 0.13/5.78 line 452:28 mismatched input ',' expecting {',', ')'}
% 0.13/5.78 line 455:60 token recognition error at: '''
% 0.13/5.78 line 455:61 token recognition error at: '@'
% 0.13/5.78 line 455:62 token recognition error at: '+'
% 0.13/5.78 line 455:63 token recognition error at: '''
% 0.13/5.78 line 455:64 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 455:72 token recognition error at: '''
% 0.13/5.78 line 455:73 token recognition error at: '@'
% 0.13/5.78 line 455:74 token recognition error at: '+'
% 0.13/5.78 line 455:75 token recognition error at: '''
% 0.13/5.78 line 455:71 mismatched input ',' expecting {',', ')'}
% 0.13/5.78 line 479:17 token recognition error at: '''
% 0.13/5.78 line 479:18 token recognition error at: '0'
% 0.13/5.78 line 479:19 token recognition error at: '''
% 0.13/5.78 line 479:21 token recognition error at: '''
% 0.13/5.78 line 479:22 token recognition error at: '@'
% 0.13/5.78 line 479:23 token recognition error at: '*'
% 0.13/5.78 line 479:24 token recognition error at: '''
% 0.13/5.78 line 479:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 479:26 token recognition error at: '''
% 0.13/5.78 line 479:27 token recognition error at: '0'
% 0.13/5.78 line 479:28 token recognition error at: '''
% 0.13/5.78 line 479:25 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 479:35 mismatched input '|' expecting {',', ')'}
% 0.13/5.78 line 482:17 token recognition error at: '''
% 0.13/5.78 line 482:18 token recognition error at: '@'
% 0.13/5.78 line 482:19 token recognition error at: '*'
% 0.13/5.78 line 482:20 token recognition error at: '''
% 0.13/5.78 line 482:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 482:32 token recognition error at: '''
% 0.13/5.78 line 482:33 token recognition error at: '@'
% 0.13/5.78 line 482:34 token recognition error at: '+'
% 0.13/5.78 line 482:35 token recognition error at: '''
% 0.13/5.78 line 482:31 mismatched input ',' expecting {',', ')'}
% 0.13/5.78 line 482:40 token recognition error at: '''
% 0.13/5.78 line 482:41 token recognition error at: '@'
% 0.13/5.78 line 482:42 token recognition error at: '*'
% 0.13/5.78 line 482:43 token recognition error at: '''
% 0.13/5.78 line 485:17 token recognition error at: '''
% 0.13/5.78 line 485:18 token recognition error at: '@'
% 0.13/5.78 line 485:19 token recognition error at: '*'
% 0.13/5.78 line 485:20 token recognition error at: '''
% 0.13/5.78 line 485:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 485:30 mismatched input '|' expecting {',', ')'}
% 0.13/5.78 line 488:17 token recognition error at: '''
% 0.13/5.78 line 488:18 token recognition error at: '@'
% 0.13/5.78 line 488:19 token recognition error at: '*'
% 0.13/5.78 line 488:20 token recognition error at: '''
% 0.13/5.78 line 488:22 token recognition error at: '''
% 0.13/5.78 line 488:23 token recognition error at: '@'
% 0.13/5.78 line 488:24 token recognition error at: '+'
% 0.13/5.78 line 488:25 token recognition error at: '''
% 0.13/5.78 line 488:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.78 line 488:33 mismatched input ',' expecting {',', ')'}
% 0.13/5.78 line 488:38 token recognition error at: '''
% 0.13/5.78 line 488:39 token recognition error at: '@'
% 0.13/5.78 line 488:40 token recognition error at: '+'
% 0.13/5.78 line 488:41 token recognition error at: '''
% 0.13/5.78 line 488:43 token recognition error at: '''
% 0.13/5.78 line 488:44 token recognition error at: '@'
% 0.13/5.78 line 488:45 token recognition error at: '*'
% 0.13/5.78 line 488:46 token recognition error at: '''
% 0.13/5.78 line 488:55 token recognition error at: '''
% 0.13/5.78 line 488:56 token recognition error at: '@'
% 0.13/5.78 line 488:57 token recognition error at: '*'
% 0.13/5.78 line 488:58 token recognition error at: '''
% 0.13/5.79 line 491:17 token recognition error at: '''
% 0.13/5.79 line 491:18 token recognition error at: '@'
% 0.13/5.79 line 491:19 token recognition error at: '*'
% 0.13/5.79 line 491:20 token recognition error at: '''
% 0.13/5.79 line 491:22 token recognition error at: '''
% 0.13/5.79 line 491:23 token recognition error at: '@'
% 0.13/5.79 line 491:24 token recognition error at: '*'
% 0.13/5.79 line 491:25 token recognition error at: '''
% 0.13/5.79 line 491:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 491:33 mismatched input ',' expecting {',', ')'}
% 0.13/5.79 line 491:38 token recognition error at: '''
% 0.13/5.79 line 491:39 token recognition error at: '@'
% 0.13/5.79 line 491:40 token recognition error at: '*'
% 0.13/5.79 line 491:41 token recognition error at: '''
% 0.13/5.79 line 491:46 token recognition error at: '''
% 0.13/5.79 line 491:47 token recognition error at: '@'
% 0.13/5.79 line 491:48 token recognition error at: '*'
% 0.13/5.79 line 491:49 token recognition error at: '''
% 0.13/5.79 line 494:17 token recognition error at: '''
% 0.13/5.79 line 494:18 token recognition error at: '0'
% 0.13/5.79 line 494:19 token recognition error at: '''
% 0.13/5.79 line 494:21 token recognition error at: '''
% 0.13/5.79 line 494:22 token recognition error at: '@'
% 0.13/5.79 line 494:23 token recognition error at: '*'
% 0.13/5.79 line 494:24 token recognition error at: '''
% 0.13/5.79 line 494:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 494:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 494:29 token recognition error at: '''
% 0.13/5.79 line 494:30 token recognition error at: '0'
% 0.13/5.79 line 494:31 token recognition error at: '''
% 0.13/5.79 line 494:32 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 494:35 mismatched input '|' expecting {')', '|'}
% 0.13/5.79 line 497:17 token recognition error at: '''
% 0.13/5.79 line 497:18 token recognition error at: '@'
% 0.13/5.79 line 497:19 token recognition error at: '+'
% 0.13/5.79 line 497:20 token recognition error at: '''
% 0.13/5.79 line 497:22 token recognition error at: '''
% 0.13/5.79 line 497:23 token recognition error at: '@'
% 0.13/5.79 line 497:24 token recognition error at: '*'
% 0.13/5.79 line 497:25 token recognition error at: '''
% 0.13/5.79 line 497:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 497:33 mismatched input ',' expecting {',', ')'}
% 0.13/5.79 line 497:38 token recognition error at: '''
% 0.13/5.79 line 497:39 token recognition error at: '@'
% 0.13/5.79 line 497:40 token recognition error at: '*'
% 0.13/5.79 line 497:41 token recognition error at: '''
% 0.13/5.79 line 500:17 token recognition error at: '''
% 0.13/5.79 line 500:18 token recognition error at: '@'
% 0.13/5.79 line 500:19 token recognition error at: '*'
% 0.13/5.79 line 500:20 token recognition error at: '''
% 0.13/5.79 line 500:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 500:29 token recognition error at: '''
% 0.13/5.79 line 500:30 token recognition error at: '@'
% 0.13/5.79 line 500:31 token recognition error at: '*'
% 0.13/5.79 line 500:32 token recognition error at: '''
% 0.13/5.79 line 500:28 mismatched input ',' expecting {',', ')'}
% 0.13/5.79 line 503:17 token recognition error at: '''
% 0.13/5.79 line 503:18 token recognition error at: '@'
% 0.13/5.79 line 503:19 token recognition error at: '*'
% 0.13/5.79 line 503:20 token recognition error at: '''
% 0.13/5.79 line 503:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 503:24 token recognition error at: '''
% 0.13/5.79 line 503:25 token recognition error at: '0'
% 0.13/5.79 line 503:26 token recognition error at: '''
% 0.13/5.79 line 503:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 503:32 mismatched input ',' expecting {',', ')'}
% 0.13/5.79 line 506:17 token recognition error at: '''
% 0.13/5.79 line 506:18 token recognition error at: '@'
% 0.13/5.79 line 506:19 token recognition error at: '*'
% 0.13/5.79 line 506:20 token recognition error at: '''
% 0.13/5.79 line 506:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 506:27 token recognition error at: '''
% 0.13/5.79 line 506:28 token recognition error at: '0'
% 0.13/5.79 line 506:29 token recognition error at: '''
% 0.13/5.79 line 506:30 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 506:32 mismatched input ',' expecting {',', ')'}
% 0.13/5.79 line 509:17 token recognition error at: '''
% 0.13/5.79 line 509:18 token recognition error at: '@'
% 0.13/5.79 line 509:19 token recognition error at: '*'
% 0.13/5.79 line 509:20 token recognition error at: '''
% 0.13/5.79 line 509:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 509:25 token recognition error at: '''
% 0.13/5.79 line 509:26 token recognition error at: '@'
% 0.13/5.79 line 509:27 token recognition error at: '+'
% 0.13/5.79 line 509:28 token recognition error at: '''
% 0.13/5.79 line 509:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.79 line 509:38 token recognition error at: '''
% 0.13/5.79 line 509:39 token recognition error at: '@'
% 0.13/5.79 line 509:40 token recognition error at: '+'
% 0.13/5.79 line 509:41 token recognition error at: '''
% 0.13/5.79 line 509:37 mismatched input ',' expecting {',', ')'}
% 0.13/5.79 line 509:43 token recognition error at: '''
% 0.13/5.79 line 509:44 token recognition error at: '@'
% 0.13/5.79 line 509:45 token recognition error at: '*'
% 0.13/5.79 line 509:46 token recognition error at: '''
% 0.13/5.79 line 509:55 token recognition error at: '''
% 0.13/5.79 line 509:56 token recognition error at: '@'
% 0.13/5.79 line 509:57 token recognition error at: '*'
% 0.13/5.79 line 509:58 token recognition error at: '''
% 0.13/5.79 line 512:4 token recognition error at: '''
% 0.13/5.79 line 512:5 token recognition error at: '@'
% 0.13/5.79 line 512:6 token recognition error at: '<'
% 0.13/5.79 line 512:7 token recognition error at: '_'
% 0.13/5.79 line 512:18 token recognition error at: '''
% 0.13/5.79 line 515:4 token recognition error at: '''
% 0.13/5.79 line 515:5 token recognition error at: '@'
% 0.13/5.79 line 515:6 token recognition error at: '<'
% 0.13/5.79 line 515:7 token recognition error at: '_'
% 0.13/5.79 line 515:18 token recognition error at: '''
% 0.13/5.79 line 518:24 token recognition error at: '''
% 0.13/5.79 line 518:25 token recognition error at: '@'
% 0.13/5.79 line 518:26 token recognition error at: '<'
% 0.13/5.79 line 518:27 token recognition error at: '_'
% 0.13/5.79 line 518:36 token recognition error at: '''
% 0.13/5.79 line 521:36 token recognition error at: '''
% 0.13/5.79 line 521:37 token recognition error at: '@'
% 0.13/5.79 line 521:38 token recognition error at: '<'
% 0.13/5.79 line 521:39 token recognition error at: '_'
% 0.13/5.79 line 521:48 token recognition error at: '''
% 0.13/5.79 line 524:4 token recognition error at: '''
% 0.13/5.79 line 524:5 token recognition error at: '@'
% 0.13/5.79 line 524:6 token recognition error at: '<'
% 0.13/5.79 line 524:7 token recognition error at: '_'
% 0.13/5.79 line 524:16 token recognition error at: '''
% 0.13/5.79 line 524:28 token recognition error at: '''
% 0.13/5.79 line 524:29 token recognition error at: '@'
% 0.13/5.79 line 524:30 token recognition error at: '<'
% 0.13/5.79 line 524:31 token recognition error at: '_'
% 0.13/5.79 line 524:40 token recognition error at: '''
% 0.13/5.79 line 524:52 token recognition error at: '''
% 0.13/5.79 line 524:53 token recognition error at: '@'
% 0.13/5.79 line 524:54 token recognition error at: '<'
% 0.13/5.79 line 524:55 token recognition error at: '_'
% 0.13/5.79 line 524:64 token recognition error at: '''
% 0.13/5.79 line 527:4 token recognition error at: '''
% 0.13/5.79 line 527:5 token recognition error at: '@'
% 0.13/5.79 line 527:6 token recognition error at: '<'
% 0.13/5.79 line 527:7 token recognition error at: '_'
% 0.13/5.79 line 527:16 token recognition error at: '''
% 0.13/5.79 line 527:31 token recognition error at: '''
% 0.13/5.79 line 527:32 token recognition error at: '@'
% 0.13/5.79 line 527:33 token recognition error at: '<'
% 0.13/5.79 line 527:34 token recognition error at: '_'
% 0.13/5.79 line 527:43 token recognition error at: '''
% 0.13/5.79 line 530:4 token recognition error at: '''
% 0.13/5.79 line 530:5 token recognition error at: '@'
% 0.13/5.79 line 530:6 token recognition error at: '<'
% 0.13/5.79 line 530:7 token recognition error at: '_'
% 0.13/5.79 line 530:16 token recognition error at: '''
% 0.13/5.79 line 530:28 token recognition error at: '''
% 0.13/5.79 line 530:29 token recognition error at: '@'
% 0.13/5.80 line 530:30 token recognition error at: '<'
% 0.13/5.80 line 530:31 token recognition error at: '_'
% 0.13/5.80 line 530:40 token recognition error at: '''
% 0.13/5.80 line 530:52 token recognition error at: '''
% 0.13/5.80 line 530:53 token recognition error at: '@'
% 0.13/5.80 line 530:54 token recognition error at: '<'
% 0.13/5.80 line 530:55 token recognition error at: '_'
% 0.13/5.80 line 530:64 token recognition error at: '''
% 0.13/5.80 line 533:4 token recognition error at: '''
% 0.13/5.80 line 533:5 token recognition error at: '@'
% 0.13/5.80 line 533:6 token recognition error at: '<'
% 0.13/5.80 line 533:7 token recognition error at: '_'
% 0.13/5.80 line 533:13 token recognition error at: '''
% 0.13/5.80 line 536:5 token recognition error at: '''
% 0.13/5.80 line 536:6 token recognition error at: '@'
% 0.13/5.80 line 536:7 token recognition error at: '<'
% 0.13/5.80 line 536:8 token recognition error at: '_'
% 0.13/5.80 line 536:17 token recognition error at: '''
% 0.13/5.80 line 539:4 token recognition error at: '''
% 0.13/5.80 line 539:5 token recognition error at: '@'
% 0.13/5.80 line 539:6 token recognition error at: '<'
% 0.13/5.80 line 539:7 token recognition error at: '_'
% 0.13/5.80 line 539:16 token recognition error at: '''
% 0.13/5.80 line 542:4 token recognition error at: '''
% 0.13/5.80 line 542:5 token recognition error at: '@'
% 0.13/5.80 line 542:6 token recognition error at: '<'
% 0.13/5.80 line 542:7 token recognition error at: '_'
% 0.13/5.80 line 542:16 token recognition error at: '''
% 0.13/5.80 line 542:70 token recognition error at: '''
% 0.13/5.80 line 542:71 token recognition error at: '@'
% 0.13/5.80 line 542:72 token recognition error at: '<'
% 0.13/5.80 line 542:73 token recognition error at: '_'
% 0.13/5.80 line 542:82 token recognition error at: '''
% 0.13/5.80 line 545:4 token recognition error at: '''
% 0.13/5.80 line 545:5 token recognition error at: '@'
% 0.13/5.80 line 545:6 token recognition error at: '<'
% 0.13/5.80 line 545:7 token recognition error at: '_'
% 0.13/5.80 line 545:16 token recognition error at: '''
% 0.13/5.80 line 545:49 token recognition error at: '''
% 0.13/5.80 line 545:50 token recognition error at: '@'
% 0.13/5.80 line 545:51 token recognition error at: '<'
% 0.13/5.80 line 545:52 token recognition error at: '_'
% 0.13/5.80 line 545:61 token recognition error at: '''
% 0.13/5.80 line 548:4 token recognition error at: '''
% 0.13/5.80 line 548:5 token recognition error at: '@'
% 0.13/5.80 line 548:6 token recognition error at: '<'
% 0.13/5.80 line 548:7 token recognition error at: '_'
% 0.13/5.80 line 548:16 token recognition error at: '''
% 0.13/5.80 line 548:18 token recognition error at: '''
% 0.13/5.80 line 548:19 token recognition error at: '0'
% 0.13/5.80 line 548:20 token recognition error at: '''
% 0.13/5.80 line 548:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.80 line 548:61 token recognition error at: '''
% 0.13/5.80 line 548:62 token recognition error at: '0'
% 0.13/5.80 line 548:63 token recognition error at: '''
% 0.13/5.80 line 548:64 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.80 line 551:4 token recognition error at: '''
% 0.13/5.80 line 551:5 token recognition error at: '@'
% 0.13/5.80 line 551:6 token recognition error at: '='
% 0.13/5.80 line 551:7 token recognition error at: '<'
% 0.13/5.80 line 551:8 token recognition error at: '_'
% 0.13/5.80 line 551:19 token recognition error at: '''
% 0.13/5.80 line 554:4 token recognition error at: '''
% 0.13/5.80 line 554:5 token recognition error at: '@'
% 0.13/5.80 line 554:6 token recognition error at: '='
% 0.13/5.80 line 554:7 token recognition error at: '<'
% 0.13/5.80 line 554:8 token recognition error at: '_'
% 0.13/5.80 line 554:19 token recognition error at: '''
% 0.13/5.80 line 557:24 token recognition error at: '''
% 0.13/5.80 line 557:25 token recognition error at: '@'
% 0.13/5.80 line 557:26 token recognition error at: '='
% 0.13/5.80 line 557:27 token recognition error at: '<'
% 0.13/5.80 line 557:28 token recognition error at: '_'
% 0.13/5.80 line 557:37 token recognition error at: '''
% 0.13/5.80 line 560:40 token recognition error at: '''
% 0.13/5.80 line 560:41 token recognition error at: '@'
% 0.13/5.80 line 560:42 token recognition error at: '='
% 0.13/5.80 line 560:43 token recognition error at: '<'
% 0.13/5.80 line 560:44 token recognition error at: '_'
% 0.13/5.80 line 560:53 token recognition error at: '''
% 0.13/5.80 line 563:17 token recognition error at: '''
% 0.13/5.80 line 563:18 token recognition error at: '@'
% 0.13/5.80 line 563:19 token recognition error at: '+'
% 0.13/5.80 line 563:20 token recognition error at: '''
% 0.13/5.80 line 563:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.80 line 563:37 mismatched input ',' expecting {',', ')'}
% 0.13/5.80 line 563:45 token recognition error at: '''
% 0.13/5.80 line 563:46 token recognition error at: '@'
% 0.13/5.80 line 563:47 token recognition error at: '='
% 0.13/5.80 line 563:48 token recognition error at: '<'
% 0.13/5.80 line 563:49 token recognition error at: '_'
% 0.13/5.80 line 563:58 token recognition error at: '''
% 0.13/5.80 line 566:43 token recognition error at: '''
% 0.13/5.80 line 566:44 token recognition error at: '@'
% 0.13/5.80 line 566:45 token recognition error at: '<'
% 0.13/5.80 line 566:46 token recognition error at: '_'
% 0.13/5.80 line 566:55 token recognition error at: '''
% 0.13/5.80 line 569:17 token recognition error at: '''
% 0.13/5.80 line 569:18 token recognition error at: '@'
% 0.13/5.80 line 569:19 token recognition error at: '+'
% 0.13/5.80 line 569:20 token recognition error at: '''
% 0.13/5.80 line 569:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.80 line 569:40 mismatched input ',' expecting {',', ')'}
% 0.13/5.80 line 569:48 token recognition error at: '''
% 0.13/5.80 line 569:49 token recognition error at: '@'
% 0.13/5.80 line 569:50 token recognition error at: '<'
% 0.13/5.80 line 569:51 token recognition error at: '_'
% 0.13/5.80 line 569:60 token recognition error at: '''
% 0.13/5.80 line 572:4 token recognition error at: '''
% 0.13/5.80 line 572:5 token recognition error at: '@'
% 0.13/5.80 line 572:6 token recognition error at: '='
% 0.13/5.80 line 572:7 token recognition error at: '<'
% 0.13/5.80 line 572:8 token recognition error at: '_'
% 0.13/5.80 line 572:17 token recognition error at: '''
% 0.13/5.80 line 572:29 token recognition error at: '''
% 0.13/5.80 line 572:30 token recognition error at: '@'
% 0.13/5.80 line 572:31 token recognition error at: '<'
% 0.13/5.80 line 572:32 token recognition error at: '_'
% 0.13/5.80 line 572:41 token recognition error at: '''
% 0.13/5.80 line 575:4 token recognition error at: '''
% 0.13/5.80 line 575:5 token recognition error at: '@'
% 0.13/5.80 line 575:6 token recognition error at: '='
% 0.13/5.80 line 575:7 token recognition error at: '<'
% 0.13/5.80 line 575:8 token recognition error at: '_'
% 0.13/5.80 line 575:17 token recognition error at: '''
% 0.13/5.80 line 578:4 token recognition error at: '''
% 0.13/5.80 line 578:5 token recognition error at: '@'
% 0.13/5.80 line 578:6 token recognition error at: '='
% 0.13/5.80 line 578:7 token recognition error at: '<'
% 0.13/5.80 line 578:8 token recognition error at: '_'
% 0.13/5.80 line 578:17 token recognition error at: '''
% 0.13/5.80 line 578:28 token recognition error at: '''
% 0.13/5.80 line 578:29 token recognition error at: '@'
% 0.13/5.80 line 578:30 token recognition error at: '='
% 0.13/5.80 line 578:31 token recognition error at: '<'
% 0.13/5.80 line 578:32 token recognition error at: '_'
% 0.13/5.80 line 578:41 token recognition error at: '''
% 0.13/5.80 line 581:4 token recognition error at: '''
% 0.13/5.80 line 581:5 token recognition error at: '@'
% 0.13/5.80 line 581:6 token recognition error at: '<'
% 0.13/5.80 line 581:7 token recognition error at: '_'
% 0.13/5.80 line 581:16 token recognition error at: '''
% 0.13/5.80 line 581:27 token recognition error at: '''
% 0.13/5.80 line 581:28 token recognition error at: '@'
% 0.13/5.80 line 581:29 token recognition error at: '='
% 0.13/5.80 line 581:30 token recognition error at: '<'
% 0.13/5.80 line 581:31 token recognition error at: '_'
% 0.13/5.80 line 581:40 token recognition error at: '''
% 0.13/5.80 line 584:4 token recognition error at: '''
% 0.13/5.80 line 584:5 token recognition error at: '@'
% 0.13/5.80 line 584:6 token recognition error at: '='
% 0.13/5.80 line 584:7 token recognition error at: '<'
% 0.13/5.80 line 584:8 token recognition error at: '_'
% 0.13/5.80 line 584:17 token recognition error at: '''
% 0.13/5.80 line 584:69 token recognition error at: '''
% 0.13/5.80 line 584:70 token recognition error at: '@'
% 0.13/5.80 line 584:71 token recognition error at: '='
% 0.13/5.80 line 584:72 token recognition error at: '<'
% 0.13/5.80 line 584:73 token recognition error at: '_'
% 0.13/5.80 line 584:79 token recognition error at: '''
% 0.13/5.80 line 587:4 token recognition error at: '''
% 0.13/5.80 line 587:5 token recognition error at: '@'
% 0.13/5.80 line 587:6 token recognition error at: '<'
% 0.13/5.80 line 587:7 token recognition error at: '_'
% 0.13/5.80 line 587:16 token recognition error at: '''
% 0.13/5.80 line 587:50 token recognition error at: '''
% 0.13/5.80 line 587:51 token recognition error at: '@'
% 0.13/5.80 line 587:52 token recognition error at: '='
% 0.13/5.80 line 587:53 token recognition error at: '<'
% 0.13/5.80 line 587:54 token recognition error at: '_'
% 0.13/5.80 line 587:63 token recognition error at: '''
% 0.13/5.80 line 590:4 token recognition error at: '''
% 0.13/5.80 line 590:5 token recognition error at: '@'
% 0.13/5.80 line 590:6 token recognition error at: '<'
% 0.13/5.80 line 590:7 token recognition error at: '_'
% 0.13/5.80 line 590:16 token recognition error at: '''
% 0.13/5.80 line 590:28 token recognition error at: '''
% 0.13/5.80 line 590:29 token recognition error at: '@'
% 0.13/5.80 line 590:30 token recognition error at: '='
% 0.13/5.80 line 590:31 token recognition error at: '<'
% 0.13/5.80 line 590:32 token recognition error at: '_'
% 0.13/5.80 line 590:41 token recognition error at: '''
% 0.13/5.80 line 590:53 token recognition error at: '''
% 0.13/5.80 line 590:54 token recognition error at: '@'
% 0.13/5.80 line 590:55 token recognition error at: '<'
% 0.13/5.80 line 590:56 token recognition error at: '_'
% 0.13/5.80 line 590:65 token recognition error at: '''
% 0.13/5.80 line 593:4 token recognition error at: '''
% 0.13/5.80 line 593:5 token recognition error at: '@'
% 0.13/5.80 line 593:6 token recognition error at: '<'
% 0.13/5.80 line 593:7 token recognition error at: '_'
% 0.13/5.80 line 593:16 token recognition error at: '''
% 0.13/5.80 line 593:28 token recognition error at: '''
% 0.13/5.80 line 593:29 token recognition error at: '@'
% 0.13/5.80 line 593:30 token recognition error at: '<'
% 0.13/5.80 line 593:31 token recognition error at: '_'
% 0.13/5.80 line 593:40 token recognition error at: '''
% 0.13/5.80 line 593:52 token recognition error at: '''
% 0.13/5.80 line 593:53 token recognition error at: '@'
% 0.13/5.80 line 593:54 token recognition error at: '='
% 0.13/5.80 line 593:55 token recognition error at: '<'
% 0.13/5.80 line 593:56 token recognition error at: '_'
% 0.13/5.80 line 593:65 token recognition error at: '''
% 0.13/5.80 line 596:4 token recognition error at: '''
% 0.13/5.80 line 596:5 token recognition error at: '@'
% 0.13/5.80 line 596:6 token recognition error at: '='
% 0.13/5.80 line 596:7 token recognition error at: '<'
% 0.13/5.80 line 596:8 token recognition error at: '_'
% 0.13/5.80 line 596:17 token recognition error at: '''
% 0.13/5.80 line 596:29 token recognition error at: '''
% 0.13/5.80 line 596:30 token recognition error at: '@'
% 0.13/5.80 line 596:31 token recognition error at: '='
% 0.13/5.80 line 596:32 token recognition error at: '<'
% 0.13/5.81 line 596:33 token recognition error at: '_'
% 0.13/5.81 line 596:42 token recognition error at: '''
% 0.13/5.81 line 596:54 token recognition error at: '''
% 0.13/5.81 line 596:55 token recognition error at: '@'
% 0.13/5.81 line 596:56 token recognition error at: '='
% 0.13/5.81 line 596:57 token recognition error at: '<'
% 0.13/5.81 line 596:58 token recognition error at: '_'
% 0.13/5.81 line 596:67 token recognition error at: '''
% 0.13/5.81 line 599:27 token recognition error at: '''
% 0.13/5.81 line 599:28 token recognition error at: '@'
% 0.13/5.81 line 599:29 token recognition error at: '='
% 0.13/5.81 line 599:30 token recognition error at: '<'
% 0.13/5.81 line 599:31 token recognition error at: '_'
% 0.13/5.81 line 599:40 token recognition error at: '''
% 0.13/5.81 line 599:52 token recognition error at: '''
% 0.13/5.81 line 599:53 token recognition error at: '@'
% 0.13/5.81 line 599:54 token recognition error at: '='
% 0.13/5.81 line 599:55 token recognition error at: '<'
% 0.13/5.81 line 599:56 token recognition error at: '_'
% 0.13/5.81 line 599:65 token recognition error at: '''
% 0.13/5.81 line 602:4 token recognition error at: '''
% 0.13/5.81 line 602:5 token recognition error at: '@'
% 0.13/5.81 line 602:6 token recognition error at: '='
% 0.13/5.81 line 602:7 token recognition error at: '<'
% 0.13/5.81 line 602:8 token recognition error at: '_'
% 0.13/5.81 line 602:17 token recognition error at: '''
% 0.13/5.81 line 605:4 token recognition error at: '''
% 0.13/5.81 line 605:5 token recognition error at: '@'
% 0.13/5.81 line 605:6 token recognition error at: '='
% 0.13/5.81 line 605:7 token recognition error at: '<'
% 0.13/5.81 line 605:8 token recognition error at: '_'
% 0.13/5.81 line 605:14 token recognition error at: '''
% 0.13/5.81 line 608:4 token recognition error at: '''
% 0.13/5.81 line 608:5 token recognition error at: '@'
% 0.13/5.81 line 608:6 token recognition error at: '<'
% 0.13/5.81 line 608:7 token recognition error at: '_'
% 0.13/5.81 line 608:16 token recognition error at: '''
% 0.13/5.81 line 608:18 token recognition error at: '''
% 0.13/5.81 line 608:19 token recognition error at: '@'
% 0.13/5.81 line 608:20 token recognition error at: '+'
% 0.13/5.81 line 608:21 token recognition error at: '''
% 0.13/5.81 line 608:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 608:30 token recognition error at: '''
% 0.13/5.81 line 608:31 token recognition error at: '@'
% 0.13/5.81 line 608:32 token recognition error at: '+'
% 0.13/5.81 line 608:33 token recognition error at: '''
% 0.13/5.81 line 608:29 mismatched input ',' expecting {',', ')'}
% 0.13/5.81 line 608:66 token recognition error at: '''
% 0.13/5.81 line 608:67 token recognition error at: '@'
% 0.13/5.81 line 608:68 token recognition error at: '<'
% 0.13/5.81 line 608:69 token recognition error at: '_'
% 0.13/5.81 line 608:78 token recognition error at: '''
% 0.13/5.81 line 611:4 token recognition error at: '''
% 0.13/5.81 line 611:5 token recognition error at: '@'
% 0.13/5.81 line 611:6 token recognition error at: '<'
% 0.13/5.81 line 611:7 token recognition error at: '_'
% 0.13/5.81 line 611:16 token recognition error at: '''
% 0.13/5.81 line 611:21 token recognition error at: '''
% 0.13/5.81 line 611:22 token recognition error at: '@'
% 0.13/5.81 line 611:23 token recognition error at: '+'
% 0.13/5.81 line 611:24 token recognition error at: '''
% 0.13/5.81 line 611:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 611:37 mismatched input '|' expecting {',', ')'}
% 0.13/5.81 line 614:4 token recognition error at: '''
% 0.13/5.81 line 614:5 token recognition error at: '@'
% 0.13/5.81 line 614:6 token recognition error at: '<'
% 0.13/5.81 line 614:7 token recognition error at: '_'
% 0.13/5.81 line 614:16 token recognition error at: '''
% 0.13/5.81 line 614:18 token recognition error at: '''
% 0.13/5.81 line 614:19 token recognition error at: '@'
% 0.13/5.81 line 614:20 token recognition error at: '+'
% 0.13/5.81 line 614:21 token recognition error at: '''
% 0.13/5.81 line 614:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 614:30 token recognition error at: '''
% 0.13/5.81 line 614:31 token recognition error at: '@'
% 0.13/5.81 line 614:32 token recognition error at: '+'
% 0.13/5.81 line 614:33 token recognition error at: '''
% 0.13/5.81 line 614:29 mismatched input ',' expecting {',', ')'}
% 0.13/5.81 line 614:46 token recognition error at: '''
% 0.13/5.81 line 614:47 token recognition error at: '@'
% 0.13/5.81 line 614:48 token recognition error at: '<'
% 0.13/5.81 line 614:49 token recognition error at: '_'
% 0.13/5.81 line 614:58 token recognition error at: '''
% 0.13/5.81 line 617:4 token recognition error at: '''
% 0.13/5.81 line 617:5 token recognition error at: '@'
% 0.13/5.81 line 617:6 token recognition error at: '<'
% 0.13/5.81 line 617:7 token recognition error at: '_'
% 0.13/5.81 line 617:16 token recognition error at: '''
% 0.13/5.81 line 617:21 token recognition error at: '''
% 0.13/5.81 line 617:22 token recognition error at: '@'
% 0.13/5.81 line 617:23 token recognition error at: '+'
% 0.13/5.81 line 617:24 token recognition error at: '''
% 0.13/5.81 line 617:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 617:34 mismatched input '|' expecting {',', ')'}
% 0.13/5.81 line 617:37 token recognition error at: '''
% 0.13/5.81 line 617:38 token recognition error at: '@'
% 0.13/5.81 line 617:39 token recognition error at: '<'
% 0.13/5.81 line 617:40 token recognition error at: '_'
% 0.13/5.81 line 617:49 token recognition error at: '''
% 0.13/5.81 line 617:51 token recognition error at: '''
% 0.13/5.81 line 617:52 token recognition error at: '0'
% 0.13/5.81 line 617:53 token recognition error at: '''
% 0.13/5.81 line 620:4 token recognition error at: '''
% 0.13/5.81 line 620:5 token recognition error at: '@'
% 0.13/5.81 line 620:6 token recognition error at: '='
% 0.13/5.81 line 620:7 token recognition error at: '<'
% 0.13/5.81 line 620:8 token recognition error at: '_'
% 0.13/5.81 line 620:17 token recognition error at: '''
% 0.13/5.81 line 620:19 token recognition error at: '''
% 0.13/5.81 line 620:20 token recognition error at: '@'
% 0.13/5.81 line 620:21 token recognition error at: '+'
% 0.13/5.81 line 620:22 token recognition error at: '''
% 0.13/5.81 line 620:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 620:31 token recognition error at: '''
% 0.13/5.81 line 620:32 token recognition error at: '@'
% 0.13/5.81 line 620:33 token recognition error at: '+'
% 0.13/5.81 line 620:34 token recognition error at: '''
% 0.13/5.81 line 620:30 mismatched input ',' expecting {',', ')'}
% 0.13/5.81 line 620:47 token recognition error at: '''
% 0.13/5.81 line 620:48 token recognition error at: '@'
% 0.13/5.81 line 620:49 token recognition error at: '='
% 0.13/5.81 line 620:50 token recognition error at: '<'
% 0.13/5.81 line 620:51 token recognition error at: '_'
% 0.13/5.81 line 620:60 token recognition error at: '''
% 0.13/5.81 line 620:92 token recognition error at: '''
% 0.13/5.81 line 620:93 token recognition error at: '@'
% 0.13/5.81 line 620:94 token recognition error at: '='
% 0.13/5.81 line 620:95 token recognition error at: '<'
% 0.13/5.81 line 620:96 token recognition error at: '_'
% 0.13/5.81 line 620:105 token recognition error at: '''
% 0.13/5.81 line 620:107 token recognition error at: '''
% 0.13/5.81 line 620:108 token recognition error at: '@'
% 0.13/5.81 line 620:109 token recognition error at: '+'
% 0.13/5.81 line 620:110 token recognition error at: '''
% 0.13/5.81 line 620:123 token recognition error at: '''
% 0.13/5.81 line 620:124 token recognition error at: '@'
% 0.13/5.81 line 620:125 token recognition error at: '+'
% 0.13/5.81 line 620:126 token recognition error at: '''
% 0.13/5.81 line 623:4 token recognition error at: '''
% 0.13/5.81 line 623:5 token recognition error at: '@'
% 0.13/5.81 line 623:6 token recognition error at: '='
% 0.13/5.81 line 623:7 token recognition error at: '<'
% 0.13/5.81 line 623:8 token recognition error at: '_'
% 0.13/5.81 line 623:17 token recognition error at: '''
% 0.13/5.81 line 623:19 token recognition error at: '''
% 0.13/5.81 line 623:20 token recognition error at: '@'
% 0.13/5.81 line 623:21 token recognition error at: '+'
% 0.13/5.81 line 623:22 token recognition error at: '''
% 0.13/5.81 line 623:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 623:31 token recognition error at: '''
% 0.13/5.81 line 623:32 token recognition error at: '@'
% 0.13/5.81 line 623:33 token recognition error at: '+'
% 0.13/5.81 line 623:34 token recognition error at: '''
% 0.13/5.81 line 623:30 mismatched input ',' expecting {',', ')'}
% 0.13/5.81 line 623:47 token recognition error at: '''
% 0.13/5.81 line 623:48 token recognition error at: '@'
% 0.13/5.81 line 623:49 token recognition error at: '='
% 0.13/5.81 line 623:50 token recognition error at: '<'
% 0.13/5.81 line 623:51 token recognition error at: '_'
% 0.13/5.81 line 623:60 token recognition error at: '''
% 0.13/5.81 line 623:91 token recognition error at: '''
% 0.13/5.81 line 623:92 token recognition error at: '@'
% 0.13/5.81 line 623:93 token recognition error at: '='
% 0.13/5.81 line 623:94 token recognition error at: '<'
% 0.13/5.81 line 623:95 token recognition error at: '_'
% 0.13/5.81 line 623:104 token recognition error at: '''
% 0.13/5.81 line 626:4 token recognition error at: '''
% 0.13/5.81 line 626:5 token recognition error at: '@'
% 0.13/5.81 line 626:6 token recognition error at: '='
% 0.13/5.81 line 626:7 token recognition error at: '<'
% 0.13/5.81 line 626:8 token recognition error at: '_'
% 0.13/5.81 line 626:17 token recognition error at: '''
% 0.13/5.81 line 626:19 token recognition error at: '''
% 0.13/5.81 line 626:20 token recognition error at: '@'
% 0.13/5.81 line 626:21 token recognition error at: '+'
% 0.13/5.81 line 626:22 token recognition error at: '''
% 0.13/5.81 line 626:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 626:31 token recognition error at: '''
% 0.13/5.81 line 626:32 token recognition error at: '@'
% 0.13/5.81 line 626:33 token recognition error at: '+'
% 0.13/5.81 line 626:34 token recognition error at: '''
% 0.13/5.81 line 626:30 mismatched input ',' expecting {',', ')'}
% 0.13/5.81 line 626:47 token recognition error at: '''
% 0.13/5.81 line 626:48 token recognition error at: '@'
% 0.13/5.81 line 626:49 token recognition error at: '='
% 0.13/5.81 line 626:50 token recognition error at: '<'
% 0.13/5.81 line 626:51 token recognition error at: '_'
% 0.13/5.81 line 626:60 token recognition error at: '''
% 0.13/5.81 line 626:133 token recognition error at: '''
% 0.13/5.81 line 626:134 token recognition error at: '0'
% 0.13/5.81 line 626:135 token recognition error at: '''
% 0.13/5.81 line 629:4 token recognition error at: '''
% 0.13/5.81 line 629:5 token recognition error at: '@'
% 0.13/5.81 line 629:6 token recognition error at: '='
% 0.13/5.81 line 629:7 token recognition error at: '<'
% 0.13/5.81 line 629:8 token recognition error at: '_'
% 0.13/5.81 line 629:17 token recognition error at: '''
% 0.13/5.81 line 629:19 token recognition error at: '''
% 0.13/5.81 line 629:20 token recognition error at: '@'
% 0.13/5.81 line 629:21 token recognition error at: '+'
% 0.13/5.81 line 629:22 token recognition error at: '''
% 0.13/5.81 line 629:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 629:31 token recognition error at: '''
% 0.13/5.81 line 629:32 token recognition error at: '@'
% 0.13/5.81 line 629:33 token recognition error at: '+'
% 0.13/5.81 line 629:34 token recognition error at: '''
% 0.13/5.81 line 629:30 mismatched input ',' expecting {',', ')'}
% 0.13/5.81 line 629:47 token recognition error at: '''
% 0.13/5.81 line 629:48 token recognition error at: '@'
% 0.13/5.81 line 629:49 token recognition error at: '='
% 0.13/5.81 line 629:50 token recognition error at: '<'
% 0.13/5.81 line 629:51 token recognition error at: '_'
% 0.13/5.81 line 629:60 token recognition error at: '''
% 0.13/5.81 line 629:125 token recognition error at: '''
% 0.13/5.81 line 629:126 token recognition error at: '0'
% 0.13/5.81 line 629:127 token recognition error at: '''
% 0.13/5.81 line 632:5 token recognition error at: '''
% 0.13/5.81 line 632:6 token recognition error at: '@'
% 0.13/5.81 line 632:7 token recognition error at: '='
% 0.13/5.81 line 632:8 token recognition error at: '<'
% 0.13/5.81 line 632:9 token recognition error at: '_'
% 0.13/5.81 line 632:18 token recognition error at: '''
% 0.13/5.81 line 632:20 token recognition error at: '''
% 0.13/5.81 line 632:21 token recognition error at: '@'
% 0.13/5.81 line 632:22 token recognition error at: '+'
% 0.13/5.81 line 632:23 token recognition error at: '''
% 0.13/5.81 line 632:24 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.13/5.81 line 632:36 token recognition error at: '''
% 0.13/5.81 line 632:37 token recognition error at: '@'
% 0.13/5.81 line 632:38 token recognition error at: '+'
% 0.13/5.81 line 632:39 token recognition error at: '''
% 0.13/5.81 line 632:35 mismatched input ',' expecting {'(', ',', ')'}
% 0.13/5.81 line 638:4 token recognition error at: '''
% 0.13/5.81 line 638:5 token recognition error at: '@'
% 0.13/5.81 line 638:6 token recognition error at: '='
% 0.13/5.81 line 638:7 token recognition error at: '<'
% 0.13/5.81 line 638:8 token recognition error at: '_'
% 0.13/5.81 line 638:17 token recognition error at: '''
% 0.13/5.82 % SZS status Error
% 0.13/5.82 java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.13/5.82 java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.13/5.82 at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:122)
% 0.13/5.82 at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:205)
% 0.13/5.82 at Main.main(Main.java:24)
% 0.13/5.82 Caused by: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.13/5.82 at Main.loadFormulas(Main.java:194)
% 0.13/5.82 at Main.runModelBuilder(Main.java:42)
% 0.13/5.82 at Main.lambda$main$0(Main.java:21)
% 0.13/5.82 at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
% 0.13/5.82 at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
% 0.13/5.82 at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
% 0.13/5.82 at java.base/java.lang.Thread.run(Thread.java:1583)
% 0.13/5.85 % FMB4L exiting
%------------------------------------------------------------------------------