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