%------------------------------------------------------------------------------
% File : FMB4J---0.1
% Problem : SWX039+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 : n026.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.89s 0.82s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03 % Problem : SWX039+1 : TPTP v9.3.1. Released v9.1.0.
% 0.00/0.04 % Command : run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.10/0.37 % Computer : n026.cluster.edu
% 0.10/0.37 % Model : x86_64 x86_64
% 0.10/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.37 % Memory : 8046.5625MB
% 0.10/0.37 % OS : Linux 6.8.0-71-generic
% 0.10/0.37 % CPULimit : 300
% 0.10/0.37 % WCLimit : 300
% 0.10/0.37 % DateTime : Thu Sep 24 23:24:25 UTC 2026
% 0.10/0.37 % CPUTime :
% 0.10/0.37 Running run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.10/0.43 Running: java -jar /export/starexec/sandbox/solver/bin/FMB4J.jar /export/starexec/sandbox/tmp/tmp.k4cDIj2C0Z/theBenchmark.cnf 300
% 0.50/0.68 line 20:51 token recognition error at: '''
% 0.50/0.68 line 20:52 token recognition error at: '@'
% 0.50/0.68 line 20:53 token recognition error at: '<'
% 0.50/0.68 line 20:54 token recognition error at: '_'
% 0.50/0.68 line 20:65 token recognition error at: '''
% 0.50/0.69 line 20:76 token recognition error at: '''
% 0.50/0.69 line 20:77 token recognition error at: '@'
% 0.50/0.69 line 20:78 token recognition error at: '<'
% 0.50/0.69 line 20:79 token recognition error at: '_'
% 0.50/0.69 line 20:90 token recognition error at: '''
% 0.50/0.69 line 23:51 token recognition error at: '''
% 0.50/0.69 line 23:52 token recognition error at: '@'
% 0.50/0.69 line 23:53 token recognition error at: '<'
% 0.50/0.69 line 23:54 token recognition error at: '_'
% 0.50/0.69 line 23:60 token recognition error at: '''
% 0.50/0.69 line 23:71 token recognition error at: '''
% 0.50/0.69 line 23:72 token recognition error at: '@'
% 0.50/0.69 line 23:73 token recognition error at: '<'
% 0.50/0.69 line 23:74 token recognition error at: '_'
% 0.50/0.69 line 23:80 token recognition error at: '''
% 0.50/0.69 line 26:51 token recognition error at: '''
% 0.50/0.69 line 26:52 token recognition error at: '@'
% 0.50/0.69 line 26:53 token recognition error at: '<'
% 0.50/0.69 line 26:54 token recognition error at: '_'
% 0.50/0.69 line 26:63 token recognition error at: '''
% 0.50/0.69 line 26:74 token recognition error at: '''
% 0.50/0.69 line 26:75 token recognition error at: '@'
% 0.50/0.69 line 26:76 token recognition error at: '<'
% 0.50/0.69 line 26:77 token recognition error at: '_'
% 0.50/0.69 line 26:86 token recognition error at: '''
% 0.50/0.69 line 29:51 token recognition error at: '''
% 0.50/0.69 line 29:52 token recognition error at: '@'
% 0.50/0.69 line 29:53 token recognition error at: '='
% 0.50/0.69 line 29:54 token recognition error at: '<'
% 0.50/0.69 line 29:55 token recognition error at: '_'
% 0.50/0.69 line 29:66 token recognition error at: '''
% 0.50/0.69 line 29:77 token recognition error at: '''
% 0.50/0.69 line 29:78 token recognition error at: '@'
% 0.50/0.69 line 29:79 token recognition error at: '='
% 0.50/0.69 line 29:80 token recognition error at: '<'
% 0.50/0.69 line 29:81 token recognition error at: '_'
% 0.50/0.69 line 29:92 token recognition error at: '''
% 0.50/0.69 line 32:51 token recognition error at: '''
% 0.50/0.69 line 32:52 token recognition error at: '@'
% 0.50/0.69 line 32:53 token recognition error at: '='
% 0.50/0.69 line 32:54 token recognition error at: '<'
% 0.50/0.69 line 32:55 token recognition error at: '_'
% 0.50/0.69 line 32:61 token recognition error at: '''
% 0.50/0.69 line 32:72 token recognition error at: '''
% 0.50/0.69 line 32:73 token recognition error at: '@'
% 0.50/0.69 line 32:74 token recognition error at: '='
% 0.50/0.70 line 32:75 token recognition error at: '<'
% 0.50/0.70 line 32:76 token recognition error at: '_'
% 0.50/0.70 line 32:82 token recognition error at: '''
% 0.50/0.70 line 35:51 token recognition error at: '''
% 0.50/0.70 line 35:52 token recognition error at: '@'
% 0.50/0.70 line 35:53 token recognition error at: '='
% 0.50/0.70 line 35:54 token recognition error at: '<'
% 0.50/0.70 line 35:55 token recognition error at: '_'
% 0.50/0.70 line 35:64 token recognition error at: '''
% 0.50/0.70 line 35:75 token recognition error at: '''
% 0.50/0.70 line 35:76 token recognition error at: '@'
% 0.50/0.70 line 35:77 token recognition error at: '='
% 0.50/0.70 line 35:78 token recognition error at: '<'
% 0.50/0.70 line 35:79 token recognition error at: '_'
% 0.58/0.70 line 35:88 token recognition error at: '''
% 0.58/0.70 line 59:63 token recognition error at: '''
% 0.58/0.70 line 59:64 token recognition error at: '@'
% 0.58/0.70 line 59:65 token recognition error at: '*'
% 0.58/0.70 line 59:66 token recognition error at: '''
% 0.58/0.70 line 59:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.70 line 59:75 token recognition error at: '''
% 0.58/0.70 line 59:76 token recognition error at: '@'
% 0.58/0.70 line 59:77 token recognition error at: '*'
% 0.58/0.70 line 59:78 token recognition error at: '''
% 0.58/0.71 line 59:74 mismatched input ',' expecting {',', ')'}
% 0.58/0.71 line 62:63 token recognition error at: '''
% 0.58/0.71 line 62:64 token recognition error at: '@'
% 0.58/0.71 line 62:65 token recognition error at: '+'
% 0.58/0.71 line 62:66 token recognition error at: '''
% 0.58/0.71 line 62:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.71 line 62:75 token recognition error at: '''
% 0.58/0.71 line 62:76 token recognition error at: '@'
% 0.58/0.71 line 62:77 token recognition error at: '+'
% 0.58/0.71 line 62:78 token recognition error at: '''
% 0.58/0.71 line 62:74 mismatched input ',' expecting {',', ')'}
% 0.58/0.71 line 68:17 token recognition error at: '''
% 0.58/0.71 line 68:18 token recognition error at: '@'
% 0.58/0.71 line 68:19 token recognition error at: '*'
% 0.58/0.71 line 68:20 token recognition error at: '''
% 0.58/0.71 line 68:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.71 line 68:29 token recognition error at: '''
% 0.58/0.71 line 68:30 token recognition error at: '@'
% 0.58/0.71 line 68:31 token recognition error at: '*'
% 0.58/0.71 line 68:32 token recognition error at: '''
% 0.58/0.71 line 68:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.71 line 68:97 token recognition error at: '''
% 0.58/0.71 line 68:98 token recognition error at: '0'
% 0.58/0.71 line 68:99 token recognition error at: '''
% 0.58/0.71 line 71:17 token recognition error at: '''
% 0.58/0.71 line 71:18 token recognition error at: '@'
% 0.58/0.71 line 71:19 token recognition error at: '*'
% 0.58/0.71 line 71:20 token recognition error at: '''
% 0.58/0.71 line 71:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.71 line 71:31 token recognition error at: '''
% 0.58/0.71 line 71:32 token recognition error at: '@'
% 0.58/0.71 line 71:33 token recognition error at: '*'
% 0.58/0.71 line 71:34 token recognition error at: '''
% 0.58/0.71 line 71:30 mismatched input ',' expecting {',', ')'}
% 0.58/0.71 line 80:18 token recognition error at: '''
% 0.58/0.71 line 80:19 token recognition error at: '0'
% 0.58/0.71 line 80:20 token recognition error at: '''
% 0.58/0.71 line 80:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.71 line 86:7 token recognition error at: '''
% 0.58/0.71 line 86:8 token recognition error at: '0'
% 0.58/0.71 line 86:9 token recognition error at: '''
% 0.58/0.71 line 86:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.71 line 107:5 token recognition error at: '''
% 0.58/0.71 line 107:6 token recognition error at: '@'
% 0.58/0.71 line 107:7 token recognition error at: '='
% 0.58/0.71 line 107:8 token recognition error at: '<'
% 0.58/0.71 line 107:9 token recognition error at: '_'
% 0.58/0.71 line 107:18 token recognition error at: '''
% 0.58/0.71 line 107:30 token recognition error at: '''
% 0.58/0.71 line 107:31 token recognition error at: '@'
% 0.58/0.71 line 107:32 token recognition error at: '='
% 0.58/0.71 line 107:33 token recognition error at: '<'
% 0.58/0.71 line 107:34 token recognition error at: '_'
% 0.58/0.71 line 107:40 token recognition error at: '''
% 0.58/0.71 line 110:4 token recognition error at: '''
% 0.58/0.71 line 110:5 token recognition error at: '@'
% 0.58/0.71 line 110:6 token recognition error at: '='
% 0.58/0.71 line 110:7 token recognition error at: '<'
% 0.58/0.71 line 110:8 token recognition error at: '_'
% 0.58/0.71 line 110:17 token recognition error at: '''
% 0.58/0.72 line 110:28 token recognition error at: '''
% 0.58/0.72 line 110:29 token recognition error at: '@'
% 0.58/0.72 line 110:30 token recognition error at: '='
% 0.58/0.72 line 110:31 token recognition error at: '<'
% 0.58/0.72 line 110:32 token recognition error at: '_'
% 0.58/0.72 line 110:38 token recognition error at: '''
% 0.58/0.72 line 110:50 token recognition error at: '''
% 0.58/0.72 line 110:51 token recognition error at: '@'
% 0.58/0.72 line 110:52 token recognition error at: '='
% 0.58/0.72 line 110:53 token recognition error at: '<'
% 0.58/0.72 line 110:54 token recognition error at: '_'
% 0.58/0.72 line 110:65 token recognition error at: '''
% 0.58/0.72 line 113:5 token recognition error at: '''
% 0.58/0.72 line 113:6 token recognition error at: '@'
% 0.58/0.72 line 113:7 token recognition error at: '<'
% 0.58/0.72 line 113:8 token recognition error at: '_'
% 0.58/0.72 line 113:17 token recognition error at: '''
% 0.58/0.72 line 113:29 token recognition error at: '''
% 0.58/0.72 line 113:30 token recognition error at: '@'
% 0.58/0.72 line 113:31 token recognition error at: '<'
% 0.58/0.72 line 113:32 token recognition error at: '_'
% 0.58/0.72 line 113:38 token recognition error at: '''
% 0.58/0.72 line 116:4 token recognition error at: '''
% 0.58/0.72 line 116:5 token recognition error at: '@'
% 0.58/0.72 line 116:6 token recognition error at: '<'
% 0.58/0.72 line 116:7 token recognition error at: '_'
% 0.58/0.72 line 116:16 token recognition error at: '''
% 0.58/0.72 line 116:27 token recognition error at: '''
% 0.58/0.72 line 116:28 token recognition error at: '@'
% 0.58/0.72 line 116:29 token recognition error at: '<'
% 0.58/0.72 line 116:30 token recognition error at: '_'
% 0.58/0.72 line 116:36 token recognition error at: '''
% 0.58/0.72 line 116:48 token recognition error at: '''
% 0.58/0.72 line 116:49 token recognition error at: '@'
% 0.58/0.72 line 116:50 token recognition error at: '<'
% 0.58/0.72 line 116:51 token recognition error at: '_'
% 0.58/0.72 line 116:62 token recognition error at: '''
% 0.58/0.72 line 128:19 token recognition error at: '''
% 0.58/0.72 line 128:20 token recognition error at: '0'
% 0.58/0.72 line 128:21 token recognition error at: '''
% 0.58/0.72 line 128:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 128:26 token recognition error at: '''
% 0.58/0.72 line 128:27 token recognition error at: '0'
% 0.58/0.72 line 128:28 token recognition error at: '''
% 0.58/0.72 line 128:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 131:53 token recognition error at: '''
% 0.58/0.72 line 131:54 token recognition error at: '0'
% 0.58/0.72 line 131:55 token recognition error at: '''
% 0.58/0.72 line 131:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 134:53 token recognition error at: '''
% 0.58/0.72 line 134:54 token recognition error at: '0'
% 0.58/0.72 line 134:55 token recognition error at: '''
% 0.58/0.72 line 134:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 137:66 token recognition error at: '''
% 0.58/0.72 line 137:67 token recognition error at: '0'
% 0.58/0.72 line 137:68 token recognition error at: '''
% 0.58/0.72 line 137:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 140:66 token recognition error at: '''
% 0.58/0.72 line 140:67 token recognition error at: '0'
% 0.58/0.72 line 140:68 token recognition error at: '''
% 0.58/0.72 line 140:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 143:54 token recognition error at: '''
% 0.58/0.72 line 143:55 token recognition error at: '0'
% 0.58/0.72 line 143:56 token recognition error at: '''
% 0.58/0.72 line 143:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 146:54 token recognition error at: '''
% 0.58/0.72 line 146:55 token recognition error at: '0'
% 0.58/0.72 line 146:56 token recognition error at: '''
% 0.58/0.72 line 146:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 149:77 token recognition error at: '''
% 0.58/0.72 line 149:78 token recognition error at: '0'
% 0.58/0.72 line 149:79 token recognition error at: '''
% 0.58/0.72 line 149:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 152:77 token recognition error at: '''
% 0.58/0.72 line 152:78 token recognition error at: '0'
% 0.58/0.72 line 152:79 token recognition error at: '''
% 0.58/0.72 line 152:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 155:88 token recognition error at: '''
% 0.58/0.72 line 155:89 token recognition error at: '0'
% 0.58/0.72 line 155:90 token recognition error at: '''
% 0.58/0.72 line 155:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 158:88 token recognition error at: '''
% 0.58/0.72 line 158:89 token recognition error at: '0'
% 0.58/0.72 line 158:90 token recognition error at: '''
% 0.58/0.72 line 158:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.72 line 161:76 token recognition error at: '''
% 0.58/0.73 line 161:77 token recognition error at: '0'
% 0.58/0.73 line 161:78 token recognition error at: '''
% 0.58/0.73 line 161:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 164:76 token recognition error at: '''
% 0.58/0.73 line 164:77 token recognition error at: '0'
% 0.58/0.73 line 164:78 token recognition error at: '''
% 0.58/0.73 line 164:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 170:17 token recognition error at: '''
% 0.58/0.73 line 170:18 token recognition error at: '0'
% 0.58/0.73 line 170:19 token recognition error at: '''
% 0.58/0.73 line 170:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 170:24 token recognition error at: '''
% 0.58/0.73 line 170:25 token recognition error at: '0'
% 0.58/0.73 line 170:26 token recognition error at: '''
% 0.58/0.73 line 170:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 188:18 token recognition error at: '''
% 0.58/0.73 line 188:19 token recognition error at: '0'
% 0.58/0.73 line 188:20 token recognition error at: '''
% 0.58/0.73 line 188:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 191:53 token recognition error at: '''
% 0.58/0.73 line 191:54 token recognition error at: '0'
% 0.58/0.73 line 191:55 token recognition error at: '''
% 0.58/0.73 line 191:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 197:53 token recognition error at: '''
% 0.58/0.73 line 197:54 token recognition error at: '0'
% 0.58/0.73 line 197:55 token recognition error at: '''
% 0.58/0.73 line 197:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 203:65 token recognition error at: '''
% 0.58/0.73 line 203:66 token recognition error at: '0'
% 0.58/0.73 line 203:67 token recognition error at: '''
% 0.58/0.73 line 203:68 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 209:76 token recognition error at: '''
% 0.58/0.73 line 209:77 token recognition error at: '0'
% 0.58/0.73 line 209:78 token recognition error at: '''
% 0.58/0.73 line 209:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 215:76 token recognition error at: '''
% 0.58/0.73 line 215:77 token recognition error at: '0'
% 0.58/0.73 line 215:78 token recognition error at: '''
% 0.58/0.73 line 215:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 221:86 token recognition error at: '''
% 0.58/0.73 line 221:87 token recognition error at: '0'
% 0.58/0.73 line 221:88 token recognition error at: '''
% 0.58/0.73 line 221:89 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 230:16 token recognition error at: '''
% 0.58/0.73 line 230:17 token recognition error at: '0'
% 0.58/0.73 line 230:18 token recognition error at: '''
% 0.58/0.73 line 230:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 245:4 token recognition error at: '''
% 0.58/0.73 line 245:5 token recognition error at: '@'
% 0.58/0.73 line 245:6 token recognition error at: '='
% 0.58/0.73 line 245:7 token recognition error at: '<'
% 0.58/0.73 line 245:8 token recognition error at: '_'
% 0.58/0.73 line 245:17 token recognition error at: '''
% 0.58/0.73 line 245:35 token recognition error at: '''
% 0.58/0.73 line 245:36 token recognition error at: '@'
% 0.58/0.73 line 245:37 token recognition error at: '='
% 0.58/0.73 line 245:38 token recognition error at: '<'
% 0.58/0.73 line 245:39 token recognition error at: '_'
% 0.58/0.73 line 245:48 token recognition error at: '''
% 0.58/0.73 line 248:4 token recognition error at: '''
% 0.58/0.73 line 248:5 token recognition error at: '@'
% 0.58/0.73 line 248:6 token recognition error at: '='
% 0.58/0.73 line 248:7 token recognition error at: '<'
% 0.58/0.73 line 248:8 token recognition error at: '_'
% 0.58/0.73 line 248:17 token recognition error at: '''
% 0.58/0.73 line 248:19 token recognition error at: '''
% 0.58/0.73 line 248:20 token recognition error at: '0'
% 0.58/0.73 line 248:21 token recognition error at: '''
% 0.58/0.73 line 248:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.73 line 251:51 token recognition error at: '''
% 0.58/0.73 line 251:52 token recognition error at: '0'
% 0.58/0.73 line 251:53 token recognition error at: '''
% 0.58/0.73 line 251:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 251:62 token recognition error at: '''
% 0.58/0.74 line 251:63 token recognition error at: '@'
% 0.58/0.74 line 251:64 token recognition error at: '='
% 0.58/0.74 line 251:65 token recognition error at: '<'
% 0.58/0.74 line 251:66 token recognition error at: '_'
% 0.58/0.74 line 251:75 token recognition error at: '''
% 0.58/0.74 line 254:51 token recognition error at: '''
% 0.58/0.74 line 254:52 token recognition error at: '0'
% 0.58/0.74 line 254:53 token recognition error at: '''
% 0.58/0.74 line 254:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 254:62 token recognition error at: '''
% 0.58/0.74 line 254:63 token recognition error at: '@'
% 0.58/0.74 line 254:64 token recognition error at: '='
% 0.58/0.74 line 254:65 token recognition error at: '<'
% 0.58/0.74 line 254:66 token recognition error at: '_'
% 0.58/0.74 line 254:75 token recognition error at: '''
% 0.58/0.74 line 257:4 token recognition error at: '''
% 0.58/0.74 line 257:5 token recognition error at: '@'
% 0.58/0.74 line 257:6 token recognition error at: '='
% 0.58/0.74 line 257:7 token recognition error at: '<'
% 0.58/0.74 line 257:8 token recognition error at: '_'
% 0.58/0.74 line 257:17 token recognition error at: '''
% 0.58/0.74 line 257:59 token recognition error at: '''
% 0.58/0.74 line 257:60 token recognition error at: '0'
% 0.58/0.74 line 257:61 token recognition error at: '''
% 0.58/0.74 line 257:62 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 257:70 token recognition error at: '''
% 0.58/0.74 line 257:71 token recognition error at: '@'
% 0.58/0.74 line 257:72 token recognition error at: '='
% 0.58/0.74 line 257:73 token recognition error at: '<'
% 0.58/0.74 line 257:74 token recognition error at: '_'
% 0.58/0.74 line 257:83 token recognition error at: '''
% 0.58/0.74 line 260:4 token recognition error at: '''
% 0.58/0.74 line 260:5 token recognition error at: '@'
% 0.58/0.74 line 260:6 token recognition error at: '='
% 0.58/0.74 line 260:7 token recognition error at: '<'
% 0.58/0.74 line 260:8 token recognition error at: '_'
% 0.58/0.74 line 260:14 token recognition error at: '''
% 0.58/0.74 line 260:72 token recognition error at: '''
% 0.58/0.74 line 260:73 token recognition error at: '0'
% 0.58/0.74 line 260:74 token recognition error at: '''
% 0.58/0.74 line 260:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 263:4 token recognition error at: '''
% 0.58/0.74 line 263:5 token recognition error at: '@'
% 0.58/0.74 line 263:6 token recognition error at: '='
% 0.58/0.74 line 263:7 token recognition error at: '<'
% 0.58/0.74 line 263:8 token recognition error at: '_'
% 0.58/0.74 line 263:14 token recognition error at: '''
% 0.58/0.74 line 263:72 token recognition error at: '''
% 0.58/0.74 line 263:73 token recognition error at: '0'
% 0.58/0.74 line 263:74 token recognition error at: '''
% 0.58/0.74 line 263:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 266:4 token recognition error at: '''
% 0.58/0.74 line 266:5 token recognition error at: '@'
% 0.58/0.74 line 266:6 token recognition error at: '='
% 0.58/0.74 line 266:7 token recognition error at: '<'
% 0.58/0.74 line 266:8 token recognition error at: '_'
% 0.58/0.74 line 266:14 token recognition error at: '''
% 0.58/0.74 line 266:26 token recognition error at: '''
% 0.58/0.74 line 266:27 token recognition error at: '@'
% 0.58/0.74 line 266:28 token recognition error at: '='
% 0.58/0.74 line 266:29 token recognition error at: '<'
% 0.58/0.74 line 266:30 token recognition error at: '_'
% 0.58/0.74 line 266:36 token recognition error at: '''
% 0.58/0.74 line 266:78 token recognition error at: '''
% 0.58/0.74 line 266:79 token recognition error at: '0'
% 0.58/0.74 line 266:80 token recognition error at: '''
% 0.58/0.74 line 266:81 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 269:4 token recognition error at: '''
% 0.58/0.74 line 269:5 token recognition error at: '@'
% 0.58/0.74 line 269:6 token recognition error at: '='
% 0.58/0.74 line 269:7 token recognition error at: '<'
% 0.58/0.74 line 269:8 token recognition error at: '_'
% 0.58/0.74 line 269:14 token recognition error at: '''
% 0.58/0.74 line 269:26 token recognition error at: '''
% 0.58/0.74 line 269:27 token recognition error at: '@'
% 0.58/0.74 line 269:28 token recognition error at: '='
% 0.58/0.74 line 269:29 token recognition error at: '<'
% 0.58/0.74 line 269:30 token recognition error at: '_'
% 0.58/0.74 line 269:36 token recognition error at: '''
% 0.58/0.74 line 272:5 token recognition error at: '''
% 0.58/0.74 line 272:6 token recognition error at: '@'
% 0.58/0.74 line 272:7 token recognition error at: '='
% 0.58/0.74 line 272:8 token recognition error at: '<'
% 0.58/0.74 line 272:9 token recognition error at: '_'
% 0.58/0.74 line 272:15 token recognition error at: '''
% 0.58/0.74 line 272:17 token recognition error at: '''
% 0.58/0.74 line 272:18 token recognition error at: '0'
% 0.58/0.74 line 272:19 token recognition error at: '''
% 0.58/0.74 line 272:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 275:4 token recognition error at: '''
% 0.58/0.74 line 275:5 token recognition error at: '@'
% 0.58/0.74 line 275:6 token recognition error at: '='
% 0.58/0.74 line 275:7 token recognition error at: '<'
% 0.58/0.74 line 275:8 token recognition error at: '_'
% 0.58/0.74 line 275:19 token recognition error at: '''
% 0.58/0.74 line 278:4 token recognition error at: '''
% 0.58/0.74 line 278:5 token recognition error at: '@'
% 0.58/0.74 line 278:6 token recognition error at: '='
% 0.58/0.74 line 278:7 token recognition error at: '<'
% 0.58/0.74 line 278:8 token recognition error at: '_'
% 0.58/0.74 line 278:19 token recognition error at: '''
% 0.58/0.74 line 281:4 token recognition error at: '''
% 0.58/0.74 line 281:5 token recognition error at: '@'
% 0.58/0.74 line 281:6 token recognition error at: '='
% 0.58/0.74 line 281:7 token recognition error at: '<'
% 0.58/0.74 line 281:8 token recognition error at: '_'
% 0.58/0.74 line 281:19 token recognition error at: '''
% 0.58/0.74 line 281:31 token recognition error at: '''
% 0.58/0.74 line 281:32 token recognition error at: '@'
% 0.58/0.74 line 281:33 token recognition error at: '='
% 0.58/0.74 line 281:34 token recognition error at: '<'
% 0.58/0.74 line 281:35 token recognition error at: '_'
% 0.58/0.74 line 281:46 token recognition error at: '''
% 0.58/0.74 line 284:4 token recognition error at: '''
% 0.58/0.74 line 284:5 token recognition error at: '@'
% 0.58/0.74 line 284:6 token recognition error at: '='
% 0.58/0.74 line 284:7 token recognition error at: '<'
% 0.58/0.74 line 284:8 token recognition error at: '_'
% 0.58/0.74 line 284:19 token recognition error at: '''
% 0.58/0.74 line 284:31 token recognition error at: '''
% 0.58/0.74 line 284:32 token recognition error at: '@'
% 0.58/0.74 line 284:33 token recognition error at: '='
% 0.58/0.74 line 284:34 token recognition error at: '<'
% 0.58/0.74 line 284:35 token recognition error at: '_'
% 0.58/0.74 line 284:46 token recognition error at: '''
% 0.58/0.74 line 287:4 token recognition error at: '''
% 0.58/0.74 line 287:5 token recognition error at: '@'
% 0.58/0.74 line 287:6 token recognition error at: '<'
% 0.58/0.74 line 287:7 token recognition error at: '_'
% 0.58/0.74 line 287:16 token recognition error at: '''
% 0.58/0.74 line 287:34 token recognition error at: '''
% 0.58/0.74 line 287:35 token recognition error at: '@'
% 0.58/0.74 line 287:36 token recognition error at: '<'
% 0.58/0.74 line 287:37 token recognition error at: '_'
% 0.58/0.74 line 287:46 token recognition error at: '''
% 0.58/0.74 line 290:4 token recognition error at: '''
% 0.58/0.74 line 290:5 token recognition error at: '@'
% 0.58/0.74 line 290:6 token recognition error at: '<'
% 0.58/0.74 line 290:7 token recognition error at: '_'
% 0.58/0.74 line 290:16 token recognition error at: '''
% 0.58/0.74 line 290:18 token recognition error at: '''
% 0.58/0.74 line 290:19 token recognition error at: '0'
% 0.58/0.74 line 290:20 token recognition error at: '''
% 0.58/0.74 line 290:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.74 line 293:51 token recognition error at: '''
% 0.58/0.74 line 293:52 token recognition error at: '0'
% 0.58/0.74 line 293:53 token recognition error at: '''
% 0.58/0.75 line 293:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.75 line 293:62 token recognition error at: '''
% 0.58/0.75 line 293:63 token recognition error at: '@'
% 0.58/0.75 line 293:64 token recognition error at: '<'
% 0.58/0.75 line 293:65 token recognition error at: '_'
% 0.58/0.75 line 293:74 token recognition error at: '''
% 0.58/0.75 line 296:73 token recognition error at: '''
% 0.58/0.75 line 296:74 token recognition error at: '@'
% 0.58/0.75 line 296:75 token recognition error at: '<'
% 0.58/0.75 line 296:76 token recognition error at: '_'
% 0.58/0.75 line 296:85 token recognition error at: '''
% 0.58/0.75 line 299:51 token recognition error at: '''
% 0.58/0.75 line 299:52 token recognition error at: '0'
% 0.58/0.75 line 299:53 token recognition error at: '''
% 0.58/0.75 line 299:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.75 line 299:62 token recognition error at: '''
% 0.58/0.75 line 299:63 token recognition error at: '@'
% 0.58/0.75 line 299:64 token recognition error at: '<'
% 0.58/0.75 line 299:65 token recognition error at: '_'
% 0.58/0.75 line 299:74 token recognition error at: '''
% 0.58/0.75 line 302:73 token recognition error at: '''
% 0.58/0.75 line 302:74 token recognition error at: '@'
% 0.58/0.75 line 302:75 token recognition error at: '<'
% 0.58/0.75 line 302:76 token recognition error at: '_'
% 0.58/0.75 line 302:85 token recognition error at: '''
% 0.58/0.75 line 305:4 token recognition error at: '''
% 0.58/0.75 line 305:5 token recognition error at: '@'
% 0.58/0.75 line 305:6 token recognition error at: '<'
% 0.58/0.75 line 305:7 token recognition error at: '_'
% 0.58/0.75 line 305:16 token recognition error at: '''
% 0.58/0.75 line 305:58 token recognition error at: '''
% 0.58/0.75 line 305:59 token recognition error at: '0'
% 0.58/0.75 line 305:60 token recognition error at: '''
% 0.58/0.75 line 305:61 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.75 line 305:69 token recognition error at: '''
% 0.58/0.75 line 305:70 token recognition error at: '@'
% 0.58/0.75 line 305:71 token recognition error at: '<'
% 0.58/0.75 line 305:72 token recognition error at: '_'
% 0.58/0.75 line 305:81 token recognition error at: '''
% 0.58/0.75 line 308:4 token recognition error at: '''
% 0.58/0.75 line 308:5 token recognition error at: '@'
% 0.58/0.75 line 308:6 token recognition error at: '<'
% 0.58/0.75 line 308:7 token recognition error at: '_'
% 0.58/0.75 line 308:16 token recognition error at: '''
% 0.58/0.75 line 308:80 token recognition error at: '''
% 0.58/0.75 line 308:81 token recognition error at: '@'
% 0.58/0.75 line 308:82 token recognition error at: '<'
% 0.58/0.75 line 308:83 token recognition error at: '_'
% 0.58/0.75 line 308:92 token recognition error at: '''
% 0.58/0.75 line 311:4 token recognition error at: '''
% 0.58/0.75 line 311:5 token recognition error at: '@'
% 0.58/0.75 line 311:6 token recognition error at: '<'
% 0.58/0.75 line 311:7 token recognition error at: '_'
% 0.58/0.75 line 311:13 token recognition error at: '''
% 0.58/0.75 line 311:71 token recognition error at: '''
% 0.58/0.75 line 311:72 token recognition error at: '0'
% 0.58/0.75 line 311:73 token recognition error at: '''
% 0.58/0.75 line 311:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.75 line 314:4 token recognition error at: '''
% 0.58/0.75 line 314:5 token recognition error at: '@'
% 0.58/0.75 line 314:6 token recognition error at: '<'
% 0.58/0.75 line 314:7 token recognition error at: '_'
% 0.58/0.75 line 314:13 token recognition error at: '''
% 0.58/0.75 line 317:4 token recognition error at: '''
% 0.58/0.75 line 317:5 token recognition error at: '@'
% 0.58/0.75 line 317:6 token recognition error at: '<'
% 0.58/0.75 line 317:7 token recognition error at: '_'
% 0.58/0.75 line 317:13 token recognition error at: '''
% 0.58/0.75 line 317:71 token recognition error at: '''
% 0.58/0.75 line 317:72 token recognition error at: '0'
% 0.58/0.75 line 317:73 token recognition error at: '''
% 0.58/0.75 line 317:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.75 line 320:4 token recognition error at: '''
% 0.58/0.75 line 320:5 token recognition error at: '@'
% 0.58/0.75 line 320:6 token recognition error at: '<'
% 0.58/0.75 line 320:7 token recognition error at: '_'
% 0.58/0.75 line 320:13 token recognition error at: '''
% 0.58/0.75 line 323:4 token recognition error at: '''
% 0.58/0.75 line 323:5 token recognition error at: '@'
% 0.58/0.75 line 323:6 token recognition error at: '<'
% 0.58/0.75 line 323:7 token recognition error at: '_'
% 0.58/0.75 line 323:13 token recognition error at: '''
% 0.58/0.75 line 323:25 token recognition error at: '''
% 0.58/0.75 line 323:26 token recognition error at: '@'
% 0.58/0.75 line 323:27 token recognition error at: '<'
% 0.58/0.75 line 323:28 token recognition error at: '_'
% 0.58/0.75 line 323:34 token recognition error at: '''
% 0.58/0.75 line 323:76 token recognition error at: '''
% 0.58/0.75 line 323:77 token recognition error at: '0'
% 0.58/0.75 line 323:78 token recognition error at: '''
% 0.58/0.75 line 323:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.75 line 326:4 token recognition error at: '''
% 0.58/0.75 line 326:5 token recognition error at: '@'
% 0.58/0.75 line 326:6 token recognition error at: '<'
% 0.58/0.75 line 326:7 token recognition error at: '_'
% 0.58/0.75 line 326:13 token recognition error at: '''
% 0.58/0.75 line 326:25 token recognition error at: '''
% 0.58/0.75 line 326:26 token recognition error at: '@'
% 0.58/0.75 line 326:27 token recognition error at: '<'
% 0.58/0.75 line 326:28 token recognition error at: '_'
% 0.58/0.75 line 326:34 token recognition error at: '''
% 0.58/0.75 line 329:4 token recognition error at: '''
% 0.58/0.75 line 329:5 token recognition error at: '@'
% 0.58/0.75 line 329:6 token recognition error at: '<'
% 0.58/0.75 line 329:7 token recognition error at: '_'
% 0.58/0.75 line 329:13 token recognition error at: '''
% 0.58/0.75 line 329:25 token recognition error at: '''
% 0.58/0.75 line 329:26 token recognition error at: '@'
% 0.58/0.75 line 329:27 token recognition error at: '<'
% 0.58/0.75 line 329:28 token recognition error at: '_'
% 0.58/0.75 line 329:34 token recognition error at: '''
% 0.58/0.75 line 332:5 token recognition error at: '''
% 0.58/0.75 line 332:6 token recognition error at: '@'
% 0.58/0.75 line 332:7 token recognition error at: '<'
% 0.58/0.75 line 332:8 token recognition error at: '_'
% 0.58/0.75 line 332:14 token recognition error at: '''
% 0.58/0.75 line 332:16 token recognition error at: '''
% 0.58/0.75 line 332:17 token recognition error at: '0'
% 0.58/0.75 line 332:18 token recognition error at: '''
% 0.58/0.75 line 332:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.75 line 335:4 token recognition error at: '''
% 0.58/0.75 line 335:5 token recognition error at: '@'
% 0.58/0.75 line 335:6 token recognition error at: '<'
% 0.58/0.75 line 335:7 token recognition error at: '_'
% 0.58/0.75 line 335:18 token recognition error at: '''
% 0.58/0.75 line 338:4 token recognition error at: '''
% 0.58/0.75 line 338:5 token recognition error at: '@'
% 0.58/0.75 line 338:6 token recognition error at: '<'
% 0.58/0.75 line 338:7 token recognition error at: '_'
% 0.58/0.75 line 338:18 token recognition error at: '''
% 0.58/0.75 line 341:4 token recognition error at: '''
% 0.58/0.75 line 341:5 token recognition error at: '@'
% 0.58/0.75 line 341:6 token recognition error at: '<'
% 0.58/0.75 line 341:7 token recognition error at: '_'
% 0.58/0.75 line 341:18 token recognition error at: '''
% 0.58/0.75 line 341:30 token recognition error at: '''
% 0.58/0.75 line 341:31 token recognition error at: '@'
% 0.58/0.75 line 341:32 token recognition error at: '<'
% 0.58/0.75 line 341:33 token recognition error at: '_'
% 0.58/0.75 line 341:44 token recognition error at: '''
% 0.58/0.75 line 344:4 token recognition error at: '''
% 0.58/0.75 line 344:5 token recognition error at: '@'
% 0.58/0.75 line 344:6 token recognition error at: '<'
% 0.58/0.75 line 344:7 token recognition error at: '_'
% 0.58/0.75 line 344:18 token recognition error at: '''
% 0.58/0.75 line 344:30 token recognition error at: '''
% 0.58/0.75 line 344:31 token recognition error at: '@'
% 0.58/0.75 line 344:32 token recognition error at: '<'
% 0.58/0.75 line 344:33 token recognition error at: '_'
% 0.58/0.75 line 344:44 token recognition error at: '''
% 0.58/0.75 line 350:17 token recognition error at: '''
% 0.58/0.75 line 350:18 token recognition error at: '0'
% 0.58/0.75 line 350:19 token recognition error at: '''
% 0.58/0.76 line 350:20 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 353:48 token recognition error at: '''
% 0.58/0.76 line 353:49 token recognition error at: '0'
% 0.58/0.76 line 353:50 token recognition error at: '''
% 0.58/0.76 line 353:51 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 356:42 token recognition error at: '''
% 0.58/0.76 line 356:43 token recognition error at: '0'
% 0.58/0.76 line 356:44 token recognition error at: '''
% 0.58/0.76 line 356:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 359:64 token recognition error at: '''
% 0.58/0.76 line 359:65 token recognition error at: '0'
% 0.58/0.76 line 359:66 token recognition error at: '''
% 0.58/0.76 line 359:67 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 362:56 token recognition error at: '''
% 0.58/0.76 line 362:57 token recognition error at: '0'
% 0.58/0.76 line 362:58 token recognition error at: '''
% 0.58/0.76 line 362:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 368:15 token recognition error at: '''
% 0.58/0.76 line 368:16 token recognition error at: '0'
% 0.58/0.76 line 368:17 token recognition error at: '''
% 0.58/0.76 line 368:18 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 380:17 token recognition error at: '''
% 0.58/0.76 line 380:18 token recognition error at: '@'
% 0.58/0.76 line 380:19 token recognition error at: '+'
% 0.58/0.76 line 380:20 token recognition error at: '''
% 0.58/0.76 line 380:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 380:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.76 line 383:24 token recognition error at: '''
% 0.58/0.76 line 383:25 token recognition error at: '@'
% 0.58/0.76 line 383:26 token recognition error at: '+'
% 0.58/0.76 line 383:27 token recognition error at: '''
% 0.58/0.76 line 383:28 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 383:37 mismatched input '|' expecting {',', ')'}
% 0.58/0.76 line 386:17 token recognition error at: '''
% 0.58/0.76 line 386:18 token recognition error at: '@'
% 0.58/0.76 line 386:19 token recognition error at: '*'
% 0.58/0.76 line 386:20 token recognition error at: '''
% 0.58/0.76 line 386:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 386:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.76 line 389:25 token recognition error at: '''
% 0.58/0.76 line 389:26 token recognition error at: '@'
% 0.58/0.76 line 389:27 token recognition error at: '*'
% 0.58/0.76 line 389:28 token recognition error at: '''
% 0.58/0.76 line 389:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 389:38 mismatched input '|' expecting {',', ')'}
% 0.58/0.76 line 431:17 token recognition error at: '''
% 0.58/0.76 line 431:18 token recognition error at: '@'
% 0.58/0.76 line 431:19 token recognition error at: '+'
% 0.58/0.76 line 431:20 token recognition error at: '''
% 0.58/0.76 line 431:22 token recognition error at: '''
% 0.58/0.76 line 431:23 token recognition error at: '0'
% 0.58/0.76 line 431:24 token recognition error at: '''
% 0.58/0.76 line 431:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 431:29 mismatched input ',' expecting {',', ')'}
% 0.58/0.76 line 434:17 token recognition error at: '''
% 0.58/0.76 line 434:18 token recognition error at: '@'
% 0.58/0.76 line 434:19 token recognition error at: '+'
% 0.58/0.76 line 434:20 token recognition error at: '''
% 0.58/0.76 line 434:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 434:31 mismatched input ',' expecting {',', ')'}
% 0.58/0.76 line 434:34 token recognition error at: '''
% 0.58/0.76 line 434:35 token recognition error at: '@'
% 0.58/0.76 line 434:36 token recognition error at: '+'
% 0.58/0.76 line 434:37 token recognition error at: '''
% 0.58/0.76 line 437:17 token recognition error at: '''
% 0.58/0.76 line 437:18 token recognition error at: '@'
% 0.58/0.76 line 437:19 token recognition error at: '+'
% 0.58/0.76 line 437:20 token recognition error at: '''
% 0.58/0.76 line 437:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 437:30 mismatched input '|' expecting {',', ')'}
% 0.58/0.76 line 440:17 token recognition error at: '''
% 0.58/0.76 line 440:18 token recognition error at: '@'
% 0.58/0.76 line 440:19 token recognition error at: '+'
% 0.58/0.76 line 440:20 token recognition error at: '''
% 0.58/0.76 line 440:22 token recognition error at: '''
% 0.58/0.76 line 440:23 token recognition error at: '@'
% 0.58/0.76 line 440:24 token recognition error at: '+'
% 0.58/0.76 line 440:25 token recognition error at: '''
% 0.58/0.76 line 440:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 440:33 mismatched input ',' expecting {',', ')'}
% 0.58/0.76 line 440:38 token recognition error at: '''
% 0.58/0.76 line 440:39 token recognition error at: '@'
% 0.58/0.76 line 440:40 token recognition error at: '+'
% 0.58/0.76 line 440:41 token recognition error at: '''
% 0.58/0.76 line 440:46 token recognition error at: '''
% 0.58/0.76 line 440:47 token recognition error at: '@'
% 0.58/0.76 line 440:48 token recognition error at: '+'
% 0.58/0.76 line 440:49 token recognition error at: '''
% 0.58/0.76 line 443:17 token recognition error at: '''
% 0.58/0.76 line 443:18 token recognition error at: '@'
% 0.58/0.76 line 443:19 token recognition error at: '+'
% 0.58/0.76 line 443:20 token recognition error at: '''
% 0.58/0.76 line 443:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 443:25 token recognition error at: '''
% 0.58/0.76 line 443:26 token recognition error at: '0'
% 0.58/0.76 line 443:27 token recognition error at: '''
% 0.58/0.76 line 443:28 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 443:29 mismatched input ',' expecting {')', '|'}
% 0.58/0.76 line 446:17 token recognition error at: '''
% 0.58/0.76 line 446:18 token recognition error at: '@'
% 0.58/0.76 line 446:19 token recognition error at: '+'
% 0.58/0.76 line 446:20 token recognition error at: '''
% 0.58/0.76 line 446:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.76 line 446:32 token recognition error at: '''
% 0.58/0.76 line 446:33 token recognition error at: '@'
% 0.58/0.76 line 446:34 token recognition error at: '+'
% 0.58/0.76 line 446:35 token recognition error at: '''
% 0.58/0.76 line 446:31 mismatched input ',' expecting {',', ')'}
% 0.58/0.76 line 449:17 token recognition error at: '''
% 0.58/0.76 line 449:18 token recognition error at: '@'
% 0.58/0.76 line 449:19 token recognition error at: '+'
% 0.58/0.76 line 449:20 token recognition error at: '''
% 0.58/0.77 line 449:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 449:29 token recognition error at: '''
% 0.58/0.77 line 449:30 token recognition error at: '@'
% 0.58/0.77 line 449:31 token recognition error at: '+'
% 0.58/0.77 line 449:32 token recognition error at: '''
% 0.58/0.77 line 449:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 452:60 token recognition error at: '''
% 0.58/0.77 line 452:61 token recognition error at: '@'
% 0.58/0.77 line 452:62 token recognition error at: '+'
% 0.58/0.77 line 452:63 token recognition error at: '''
% 0.58/0.77 line 452:64 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 452:72 token recognition error at: '''
% 0.58/0.77 line 452:73 token recognition error at: '@'
% 0.58/0.77 line 452:74 token recognition error at: '+'
% 0.58/0.77 line 452:75 token recognition error at: '''
% 0.58/0.77 line 452:71 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 476:17 token recognition error at: '''
% 0.58/0.77 line 476:18 token recognition error at: '0'
% 0.58/0.77 line 476:19 token recognition error at: '''
% 0.58/0.77 line 476:21 token recognition error at: '''
% 0.58/0.77 line 476:22 token recognition error at: '@'
% 0.58/0.77 line 476:23 token recognition error at: '*'
% 0.58/0.77 line 476:24 token recognition error at: '''
% 0.58/0.77 line 476:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 476:26 token recognition error at: '''
% 0.58/0.77 line 476:27 token recognition error at: '0'
% 0.58/0.77 line 476:28 token recognition error at: '''
% 0.58/0.77 line 476:25 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 476:35 mismatched input '|' expecting {',', ')'}
% 0.58/0.77 line 479:17 token recognition error at: '''
% 0.58/0.77 line 479:18 token recognition error at: '@'
% 0.58/0.77 line 479:19 token recognition error at: '*'
% 0.58/0.77 line 479:20 token recognition error at: '''
% 0.58/0.77 line 479:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 479:32 token recognition error at: '''
% 0.58/0.77 line 479:33 token recognition error at: '@'
% 0.58/0.77 line 479:34 token recognition error at: '+'
% 0.58/0.77 line 479:35 token recognition error at: '''
% 0.58/0.77 line 479:31 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 479:40 token recognition error at: '''
% 0.58/0.77 line 479:41 token recognition error at: '@'
% 0.58/0.77 line 479:42 token recognition error at: '*'
% 0.58/0.77 line 479:43 token recognition error at: '''
% 0.58/0.77 line 482:17 token recognition error at: '''
% 0.58/0.77 line 482:18 token recognition error at: '@'
% 0.58/0.77 line 482:19 token recognition error at: '*'
% 0.58/0.77 line 482:20 token recognition error at: '''
% 0.58/0.77 line 482:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 482:30 mismatched input '|' expecting {',', ')'}
% 0.58/0.77 line 485:17 token recognition error at: '''
% 0.58/0.77 line 485:18 token recognition error at: '@'
% 0.58/0.77 line 485:19 token recognition error at: '*'
% 0.58/0.77 line 485:20 token recognition error at: '''
% 0.58/0.77 line 485:22 token recognition error at: '''
% 0.58/0.77 line 485:23 token recognition error at: '@'
% 0.58/0.77 line 485:24 token recognition error at: '+'
% 0.58/0.77 line 485:25 token recognition error at: '''
% 0.58/0.77 line 485:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 485:33 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 485:38 token recognition error at: '''
% 0.58/0.77 line 485:39 token recognition error at: '@'
% 0.58/0.77 line 485:40 token recognition error at: '+'
% 0.58/0.77 line 485:41 token recognition error at: '''
% 0.58/0.77 line 485:43 token recognition error at: '''
% 0.58/0.77 line 485:44 token recognition error at: '@'
% 0.58/0.77 line 485:45 token recognition error at: '*'
% 0.58/0.77 line 485:46 token recognition error at: '''
% 0.58/0.77 line 485:55 token recognition error at: '''
% 0.58/0.77 line 485:56 token recognition error at: '@'
% 0.58/0.77 line 485:57 token recognition error at: '*'
% 0.58/0.77 line 485:58 token recognition error at: '''
% 0.58/0.77 line 488:17 token recognition error at: '''
% 0.58/0.77 line 488:18 token recognition error at: '@'
% 0.58/0.77 line 488:19 token recognition error at: '*'
% 0.58/0.77 line 488:20 token recognition error at: '''
% 0.58/0.77 line 488:22 token recognition error at: '''
% 0.58/0.77 line 488:23 token recognition error at: '@'
% 0.58/0.77 line 488:24 token recognition error at: '*'
% 0.58/0.77 line 488:25 token recognition error at: '''
% 0.58/0.77 line 488:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 488:33 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 488:38 token recognition error at: '''
% 0.58/0.77 line 488:39 token recognition error at: '@'
% 0.58/0.77 line 488:40 token recognition error at: '*'
% 0.58/0.77 line 488:41 token recognition error at: '''
% 0.58/0.77 line 488:46 token recognition error at: '''
% 0.58/0.77 line 488:47 token recognition error at: '@'
% 0.58/0.77 line 488:48 token recognition error at: '*'
% 0.58/0.77 line 488:49 token recognition error at: '''
% 0.58/0.77 line 491:17 token recognition error at: '''
% 0.58/0.77 line 491:18 token recognition error at: '0'
% 0.58/0.77 line 491:19 token recognition error at: '''
% 0.58/0.77 line 491:21 token recognition error at: '''
% 0.58/0.77 line 491:22 token recognition error at: '@'
% 0.58/0.77 line 491:23 token recognition error at: '*'
% 0.58/0.77 line 491:24 token recognition error at: '''
% 0.58/0.77 line 491:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 491:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 491:29 token recognition error at: '''
% 0.58/0.77 line 491:30 token recognition error at: '0'
% 0.58/0.77 line 491:31 token recognition error at: '''
% 0.58/0.77 line 491:32 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 491:35 mismatched input '|' expecting {')', '|'}
% 0.58/0.77 line 494:17 token recognition error at: '''
% 0.58/0.77 line 494:18 token recognition error at: '@'
% 0.58/0.77 line 494:19 token recognition error at: '+'
% 0.58/0.77 line 494:20 token recognition error at: '''
% 0.58/0.77 line 494:22 token recognition error at: '''
% 0.58/0.77 line 494:23 token recognition error at: '@'
% 0.58/0.77 line 494:24 token recognition error at: '*'
% 0.58/0.77 line 494:25 token recognition error at: '''
% 0.58/0.77 line 494:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 494:33 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 494:38 token recognition error at: '''
% 0.58/0.77 line 494:39 token recognition error at: '@'
% 0.58/0.77 line 494:40 token recognition error at: '*'
% 0.58/0.77 line 494:41 token recognition error at: '''
% 0.58/0.77 line 497:17 token recognition error at: '''
% 0.58/0.77 line 497:18 token recognition error at: '@'
% 0.58/0.77 line 497:19 token recognition error at: '*'
% 0.58/0.77 line 497:20 token recognition error at: '''
% 0.58/0.77 line 497:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 497:29 token recognition error at: '''
% 0.58/0.77 line 497:30 token recognition error at: '@'
% 0.58/0.77 line 497:31 token recognition error at: '*'
% 0.58/0.77 line 497:32 token recognition error at: '''
% 0.58/0.77 line 497:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 497:98 token recognition error at: '''
% 0.58/0.77 line 497:99 token recognition error at: '@'
% 0.58/0.77 line 497:100 token recognition error at: '*'
% 0.58/0.77 line 497:101 token recognition error at: '''
% 0.58/0.77 line 497:114 token recognition error at: '''
% 0.58/0.77 line 497:115 token recognition error at: '@'
% 0.58/0.77 line 497:116 token recognition error at: '*'
% 0.58/0.77 line 497:117 token recognition error at: '''
% 0.58/0.77 line 500:17 token recognition error at: '''
% 0.58/0.77 line 500:18 token recognition error at: '@'
% 0.58/0.77 line 500:19 token recognition error at: '*'
% 0.58/0.77 line 500:20 token recognition error at: '''
% 0.58/0.77 line 500:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 500:29 token recognition error at: '''
% 0.58/0.77 line 500:30 token recognition error at: '@'
% 0.58/0.77 line 500:31 token recognition error at: '*'
% 0.58/0.77 line 500:32 token recognition error at: '''
% 0.58/0.77 line 500:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 503:17 token recognition error at: '''
% 0.58/0.77 line 503:18 token recognition error at: '@'
% 0.58/0.77 line 503:19 token recognition error at: '*'
% 0.58/0.77 line 503:20 token recognition error at: '''
% 0.58/0.77 line 503:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.77 line 503:29 token recognition error at: '''
% 0.58/0.77 line 503:30 token recognition error at: '@'
% 0.58/0.77 line 503:31 token recognition error at: '*'
% 0.58/0.77 line 503:32 token recognition error at: '''
% 0.58/0.77 line 503:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.77 line 503:126 token recognition error at: '''
% 0.58/0.77 line 503:127 token recognition error at: '0'
% 0.58/0.77 line 503:128 token recognition error at: '''
% 0.58/0.78 line 506:17 token recognition error at: '''
% 0.58/0.78 line 506:18 token recognition error at: '@'
% 0.58/0.78 line 506:19 token recognition error at: '*'
% 0.58/0.78 line 506:20 token recognition error at: '''
% 0.58/0.78 line 506:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.78 line 506:29 token recognition error at: '''
% 0.58/0.78 line 506:30 token recognition error at: '@'
% 0.58/0.78 line 506:31 token recognition error at: '*'
% 0.58/0.78 line 506:32 token recognition error at: '''
% 0.58/0.78 line 506:28 mismatched input ',' expecting {',', ')'}
% 0.58/0.78 line 506:118 token recognition error at: '''
% 0.58/0.78 line 506:119 token recognition error at: '0'
% 0.58/0.78 line 506:120 token recognition error at: '''
% 0.58/0.78 line 509:18 token recognition error at: '''
% 0.58/0.78 line 509:19 token recognition error at: '@'
% 0.58/0.78 line 509:20 token recognition error at: '*'
% 0.58/0.78 line 509:21 token recognition error at: '''
% 0.58/0.78 line 509:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.58/0.78 line 509:34 token recognition error at: '''
% 0.58/0.78 line 509:35 token recognition error at: '@'
% 0.58/0.78 line 509:36 token recognition error at: '*'
% 0.58/0.78 line 509:37 token recognition error at: '''
% 0.58/0.78 line 509:33 mismatched input ',' expecting {'(', ',', ')'}
% 0.58/0.78 % SZS status Error
% 0.58/0.78 java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.58/0.78 java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.58/0.78 at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:122)
% 0.58/0.78 at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:205)
% 0.58/0.78 at Main.main(Main.java:24)
% 0.58/0.78 Caused by: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.58/0.78 at Main.loadFormulas(Main.java:194)
% 0.58/0.78 at Main.runModelBuilder(Main.java:42)
% 0.58/0.78 at Main.lambda$main$0(Main.java:21)
% 0.58/0.78 at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
% 0.58/0.78 at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
% 0.58/0.78 at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
% 0.58/0.78 at java.base/java.lang.Thread.run(Thread.java:1583)
% 0.89/0.81 % FMB4L exiting
%------------------------------------------------------------------------------