%------------------------------------------------------------------------------
% File : FMB4J---0.1
% Problem : SWX041+1 : TPTP v9.3.1. Released v9.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% Computer : n018.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 1.13s 1.00s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.02 % Problem : SWX041+1 : TPTP v9.3.1. Released v9.1.0.
% 0.00/0.03 % Command : run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% 0.08/0.35 % Computer : n018.cluster.edu
% 0.08/0.35 % Model : x86_64 x86_64
% 0.08/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.35 % Memory : 8046.5625MB
% 0.08/0.35 % OS : Linux 6.8.0-71-generic
% 0.08/0.35 % CPULimit : 300
% 0.08/0.35 % WCLimit : 300
% 0.08/0.35 % DateTime : Thu Sep 24 23:24:34 UTC 2026
% 0.08/0.35 % CPUTime :
% 0.08/0.35 Running run_fmb4j /export/starexec/sandbox2/benchmark/theBenchmark.p 300
% 0.12/0.43 Running: java -jar /export/starexec/sandbox2/solver/bin/FMB4J.jar /export/starexec/sandbox2/tmp/tmp.Ayb6nkaXuK/theBenchmark.cnf 300
% 0.61/0.75 line 20:51 token recognition error at: '''
% 0.61/0.75 line 20:52 token recognition error at: '@'
% 0.61/0.75 line 20:53 token recognition error at: '<'
% 0.61/0.75 line 20:54 token recognition error at: '_'
% 0.61/0.75 line 20:65 token recognition error at: '''
% 0.61/0.75 line 20:76 token recognition error at: '''
% 0.61/0.75 line 20:77 token recognition error at: '@'
% 0.61/0.75 line 20:78 token recognition error at: '<'
% 0.61/0.75 line 20:79 token recognition error at: '_'
% 0.61/0.75 line 20:90 token recognition error at: '''
% 0.61/0.75 line 23:51 token recognition error at: '''
% 0.61/0.75 line 23:52 token recognition error at: '@'
% 0.61/0.75 line 23:53 token recognition error at: '<'
% 0.61/0.75 line 23:54 token recognition error at: '_'
% 0.61/0.75 line 23:60 token recognition error at: '''
% 0.61/0.75 line 23:71 token recognition error at: '''
% 0.61/0.75 line 23:72 token recognition error at: '@'
% 0.61/0.75 line 23:73 token recognition error at: '<'
% 0.61/0.75 line 23:74 token recognition error at: '_'
% 0.61/0.75 line 23:80 token recognition error at: '''
% 0.61/0.76 line 26:51 token recognition error at: '''
% 0.61/0.76 line 26:52 token recognition error at: '@'
% 0.61/0.76 line 26:53 token recognition error at: '<'
% 0.61/0.76 line 26:54 token recognition error at: '_'
% 0.61/0.76 line 26:63 token recognition error at: '''
% 0.61/0.76 line 26:74 token recognition error at: '''
% 0.61/0.76 line 26:75 token recognition error at: '@'
% 0.61/0.76 line 26:76 token recognition error at: '<'
% 0.61/0.76 line 26:77 token recognition error at: '_'
% 0.61/0.76 line 26:86 token recognition error at: '''
% 0.61/0.76 line 29:51 token recognition error at: '''
% 0.61/0.76 line 29:52 token recognition error at: '@'
% 0.61/0.76 line 29:53 token recognition error at: '='
% 0.61/0.76 line 29:54 token recognition error at: '<'
% 0.61/0.76 line 29:55 token recognition error at: '_'
% 0.61/0.76 line 29:66 token recognition error at: '''
% 0.61/0.76 line 29:77 token recognition error at: '''
% 0.61/0.76 line 29:78 token recognition error at: '@'
% 0.61/0.76 line 29:79 token recognition error at: '='
% 0.61/0.76 line 29:80 token recognition error at: '<'
% 0.61/0.76 line 29:81 token recognition error at: '_'
% 0.61/0.76 line 29:92 token recognition error at: '''
% 0.61/0.76 line 32:51 token recognition error at: '''
% 0.61/0.76 line 32:52 token recognition error at: '@'
% 0.61/0.76 line 32:53 token recognition error at: '='
% 0.61/0.76 line 32:54 token recognition error at: '<'
% 0.61/0.76 line 32:55 token recognition error at: '_'
% 0.61/0.76 line 32:61 token recognition error at: '''
% 0.61/0.76 line 32:72 token recognition error at: '''
% 0.61/0.76 line 32:73 token recognition error at: '@'
% 0.61/0.76 line 32:74 token recognition error at: '='
% 0.61/0.76 line 32:75 token recognition error at: '<'
% 0.61/0.76 line 32:76 token recognition error at: '_'
% 0.61/0.76 line 32:82 token recognition error at: '''
% 0.61/0.77 line 35:51 token recognition error at: '''
% 0.61/0.77 line 35:52 token recognition error at: '@'
% 0.61/0.77 line 35:53 token recognition error at: '='
% 0.61/0.77 line 35:54 token recognition error at: '<'
% 0.61/0.77 line 35:55 token recognition error at: '_'
% 0.61/0.77 line 35:64 token recognition error at: '''
% 0.61/0.77 line 35:75 token recognition error at: '''
% 0.61/0.77 line 35:76 token recognition error at: '@'
% 0.61/0.77 line 35:77 token recognition error at: '='
% 0.61/0.77 line 35:78 token recognition error at: '<'
% 0.61/0.77 line 35:79 token recognition error at: '_'
% 0.61/0.77 line 35:88 token recognition error at: '''
% 0.61/0.78 line 59:63 token recognition error at: '''
% 0.61/0.78 line 59:64 token recognition error at: '@'
% 0.61/0.78 line 59:65 token recognition error at: '*'
% 0.61/0.78 line 59:66 token recognition error at: '''
% 0.61/0.78 line 59:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.61/0.78 line 59:75 token recognition error at: '''
% 0.61/0.78 line 59:76 token recognition error at: '@'
% 0.61/0.78 line 59:77 token recognition error at: '*'
% 0.61/0.78 line 59:78 token recognition error at: '''
% 0.61/0.78 line 59:74 mismatched input ',' expecting {',', ')'}
% 0.61/0.78 line 62:63 token recognition error at: '''
% 0.61/0.78 line 62:64 token recognition error at: '@'
% 0.61/0.78 line 62:65 token recognition error at: '+'
% 0.61/0.78 line 62:66 token recognition error at: '''
% 0.61/0.78 line 62:67 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.61/0.78 line 62:75 token recognition error at: '''
% 0.61/0.78 line 62:76 token recognition error at: '@'
% 0.61/0.78 line 62:77 token recognition error at: '+'
% 0.61/0.78 line 62:78 token recognition error at: '''
% 0.61/0.78 line 62:74 mismatched input ',' expecting {',', ')'}
% 0.61/0.79 line 74:18 token recognition error at: '''
% 0.61/0.79 line 74:19 token recognition error at: '0'
% 0.61/0.79 line 74:20 token recognition error at: '''
% 0.61/0.79 line 74:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.61/0.79 line 80:7 token recognition error at: '''
% 0.61/0.79 line 80:8 token recognition error at: '0'
% 0.61/0.79 line 80:9 token recognition error at: '''
% 0.61/0.79 line 80:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.61/0.79 line 101:5 token recognition error at: '''
% 0.61/0.79 line 101:6 token recognition error at: '@'
% 0.61/0.79 line 101:7 token recognition error at: '='
% 0.61/0.79 line 101:8 token recognition error at: '<'
% 0.61/0.79 line 101:9 token recognition error at: '_'
% 0.61/0.79 line 101:18 token recognition error at: '''
% 0.61/0.79 line 101:30 token recognition error at: '''
% 0.61/0.79 line 101:31 token recognition error at: '@'
% 0.61/0.79 line 101:32 token recognition error at: '='
% 0.61/0.79 line 101:33 token recognition error at: '<'
% 0.61/0.79 line 101:34 token recognition error at: '_'
% 0.61/0.79 line 101:40 token recognition error at: '''
% 0.61/0.79 line 104:4 token recognition error at: '''
% 0.61/0.79 line 104:5 token recognition error at: '@'
% 0.61/0.79 line 104:6 token recognition error at: '='
% 0.61/0.79 line 104:7 token recognition error at: '<'
% 0.61/0.79 line 104:8 token recognition error at: '_'
% 0.61/0.79 line 104:17 token recognition error at: '''
% 0.61/0.79 line 104:28 token recognition error at: '''
% 0.61/0.79 line 104:29 token recognition error at: '@'
% 0.61/0.79 line 104:30 token recognition error at: '='
% 0.61/0.79 line 104:31 token recognition error at: '<'
% 0.61/0.79 line 104:32 token recognition error at: '_'
% 0.61/0.79 line 104:38 token recognition error at: '''
% 0.61/0.79 line 104:50 token recognition error at: '''
% 0.61/0.79 line 104:51 token recognition error at: '@'
% 0.61/0.79 line 104:52 token recognition error at: '='
% 0.61/0.79 line 104:53 token recognition error at: '<'
% 0.61/0.79 line 104:54 token recognition error at: '_'
% 0.61/0.79 line 104:65 token recognition error at: '''
% 0.61/0.79 line 107:5 token recognition error at: '''
% 0.61/0.79 line 107:6 token recognition error at: '@'
% 0.61/0.79 line 107:7 token recognition error at: '<'
% 0.61/0.80 line 107:8 token recognition error at: '_'
% 0.61/0.80 line 107:17 token recognition error at: '''
% 0.61/0.80 line 107:29 token recognition error at: '''
% 0.61/0.80 line 107:30 token recognition error at: '@'
% 0.61/0.80 line 107:31 token recognition error at: '<'
% 0.61/0.80 line 107:32 token recognition error at: '_'
% 0.61/0.80 line 107:38 token recognition error at: '''
% 0.61/0.80 line 110:4 token recognition error at: '''
% 0.61/0.80 line 110:5 token recognition error at: '@'
% 0.61/0.80 line 110:6 token recognition error at: '<'
% 0.61/0.80 line 110:7 token recognition error at: '_'
% 0.61/0.80 line 110:16 token recognition error at: '''
% 0.61/0.80 line 110:27 token recognition error at: '''
% 0.61/0.80 line 110:28 token recognition error at: '@'
% 0.61/0.80 line 110:29 token recognition error at: '<'
% 0.81/0.80 line 110:30 token recognition error at: '_'
% 0.81/0.80 line 110:36 token recognition error at: '''
% 0.81/0.80 line 110:48 token recognition error at: '''
% 0.81/0.80 line 110:49 token recognition error at: '@'
% 0.81/0.80 line 110:50 token recognition error at: '<'
% 0.81/0.80 line 110:51 token recognition error at: '_'
% 0.81/0.80 line 110:62 token recognition error at: '''
% 0.81/0.80 line 122:19 token recognition error at: '''
% 0.81/0.80 line 122:20 token recognition error at: '0'
% 0.81/0.80 line 122:21 token recognition error at: '''
% 0.81/0.80 line 122:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.80 line 122:26 token recognition error at: '''
% 0.81/0.80 line 122:27 token recognition error at: '0'
% 0.81/0.80 line 122:28 token recognition error at: '''
% 0.81/0.80 line 122:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.80 line 125:53 token recognition error at: '''
% 0.81/0.80 line 125:54 token recognition error at: '0'
% 0.81/0.80 line 125:55 token recognition error at: '''
% 0.81/0.80 line 125:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.80 line 128:53 token recognition error at: '''
% 0.81/0.80 line 128:54 token recognition error at: '0'
% 0.81/0.80 line 128:55 token recognition error at: '''
% 0.81/0.80 line 128:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.80 line 131:66 token recognition error at: '''
% 0.81/0.80 line 131:67 token recognition error at: '0'
% 0.81/0.80 line 131:68 token recognition error at: '''
% 0.81/0.80 line 131:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.80 line 134:66 token recognition error at: '''
% 0.81/0.80 line 134:67 token recognition error at: '0'
% 0.81/0.80 line 134:68 token recognition error at: '''
% 0.81/0.80 line 134:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 137:54 token recognition error at: '''
% 0.81/0.81 line 137:55 token recognition error at: '0'
% 0.81/0.81 line 137:56 token recognition error at: '''
% 0.81/0.81 line 137:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 140:54 token recognition error at: '''
% 0.81/0.81 line 140:55 token recognition error at: '0'
% 0.81/0.81 line 140:56 token recognition error at: '''
% 0.81/0.81 line 140:57 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 143:77 token recognition error at: '''
% 0.81/0.81 line 143:78 token recognition error at: '0'
% 0.81/0.81 line 143:79 token recognition error at: '''
% 0.81/0.81 line 143:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 146:77 token recognition error at: '''
% 0.81/0.81 line 146:78 token recognition error at: '0'
% 0.81/0.81 line 146:79 token recognition error at: '''
% 0.81/0.81 line 146:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 149:88 token recognition error at: '''
% 0.81/0.81 line 149:89 token recognition error at: '0'
% 0.81/0.81 line 149:90 token recognition error at: '''
% 0.81/0.81 line 149:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 152:88 token recognition error at: '''
% 0.81/0.81 line 152:89 token recognition error at: '0'
% 0.81/0.81 line 152:90 token recognition error at: '''
% 0.81/0.81 line 152:91 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 155:76 token recognition error at: '''
% 0.81/0.81 line 155:77 token recognition error at: '0'
% 0.81/0.81 line 155:78 token recognition error at: '''
% 0.81/0.81 line 155:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 158:76 token recognition error at: '''
% 0.81/0.81 line 158:77 token recognition error at: '0'
% 0.81/0.81 line 158:78 token recognition error at: '''
% 0.81/0.81 line 158:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 164:17 token recognition error at: '''
% 0.81/0.81 line 164:18 token recognition error at: '0'
% 0.81/0.81 line 164:19 token recognition error at: '''
% 0.81/0.81 line 164:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.81 line 164:24 token recognition error at: '''
% 0.81/0.81 line 164:25 token recognition error at: '0'
% 0.81/0.81 line 164:26 token recognition error at: '''
% 0.81/0.81 line 164:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 182:18 token recognition error at: '''
% 0.81/0.82 line 182:19 token recognition error at: '0'
% 0.81/0.82 line 182:20 token recognition error at: '''
% 0.81/0.82 line 182:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 185:53 token recognition error at: '''
% 0.81/0.82 line 185:54 token recognition error at: '0'
% 0.81/0.82 line 185:55 token recognition error at: '''
% 0.81/0.82 line 185:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 191:53 token recognition error at: '''
% 0.81/0.82 line 191:54 token recognition error at: '0'
% 0.81/0.82 line 191:55 token recognition error at: '''
% 0.81/0.82 line 191:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 197:65 token recognition error at: '''
% 0.81/0.82 line 197:66 token recognition error at: '0'
% 0.81/0.82 line 197:67 token recognition error at: '''
% 0.81/0.82 line 197:68 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 203:76 token recognition error at: '''
% 0.81/0.82 line 203:77 token recognition error at: '0'
% 0.81/0.82 line 203:78 token recognition error at: '''
% 0.81/0.82 line 203:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 209:77 token recognition error at: '''
% 0.81/0.82 line 209:78 token recognition error at: '0'
% 0.81/0.82 line 209:79 token recognition error at: '''
% 0.81/0.82 line 209:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 215:87 token recognition error at: '''
% 0.81/0.82 line 215:88 token recognition error at: '0'
% 0.81/0.82 line 215:89 token recognition error at: '''
% 0.81/0.82 line 215:90 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.82 line 224:16 token recognition error at: '''
% 0.81/0.82 line 224:17 token recognition error at: '0'
% 0.81/0.82 line 224:18 token recognition error at: '''
% 0.81/0.82 line 224:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.83 line 239:4 token recognition error at: '''
% 0.81/0.83 line 239:5 token recognition error at: '@'
% 0.81/0.83 line 239:6 token recognition error at: '='
% 0.81/0.83 line 239:7 token recognition error at: '<'
% 0.81/0.83 line 239:8 token recognition error at: '_'
% 0.81/0.83 line 239:17 token recognition error at: '''
% 0.81/0.83 line 239:35 token recognition error at: '''
% 0.81/0.83 line 239:36 token recognition error at: '@'
% 0.81/0.83 line 239:37 token recognition error at: '='
% 0.81/0.83 line 239:38 token recognition error at: '<'
% 0.81/0.83 line 239:39 token recognition error at: '_'
% 0.81/0.83 line 239:48 token recognition error at: '''
% 0.81/0.83 line 242:4 token recognition error at: '''
% 0.81/0.83 line 242:5 token recognition error at: '@'
% 0.81/0.83 line 242:6 token recognition error at: '='
% 0.81/0.83 line 242:7 token recognition error at: '<'
% 0.81/0.83 line 242:8 token recognition error at: '_'
% 0.81/0.83 line 242:17 token recognition error at: '''
% 0.81/0.83 line 242:19 token recognition error at: '''
% 0.81/0.83 line 242:20 token recognition error at: '0'
% 0.81/0.83 line 242:21 token recognition error at: '''
% 0.81/0.83 line 242:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.83 line 245:51 token recognition error at: '''
% 0.81/0.83 line 245:52 token recognition error at: '0'
% 0.81/0.83 line 245:53 token recognition error at: '''
% 0.81/0.83 line 245:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.83 line 245:62 token recognition error at: '''
% 0.81/0.83 line 245:63 token recognition error at: '@'
% 0.81/0.83 line 245:64 token recognition error at: '='
% 0.81/0.83 line 245:65 token recognition error at: '<'
% 0.81/0.83 line 245:66 token recognition error at: '_'
% 0.81/0.83 line 245:75 token recognition error at: '''
% 0.81/0.83 line 248:51 token recognition error at: '''
% 0.81/0.83 line 248:52 token recognition error at: '0'
% 0.81/0.83 line 248:53 token recognition error at: '''
% 0.81/0.83 line 248:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.83 line 248:62 token recognition error at: '''
% 0.81/0.83 line 248:63 token recognition error at: '@'
% 0.81/0.83 line 248:64 token recognition error at: '='
% 0.81/0.83 line 248:65 token recognition error at: '<'
% 0.81/0.83 line 248:66 token recognition error at: '_'
% 0.81/0.83 line 248:75 token recognition error at: '''
% 0.81/0.83 line 251:4 token recognition error at: '''
% 0.81/0.83 line 251:5 token recognition error at: '@'
% 0.81/0.83 line 251:6 token recognition error at: '='
% 0.81/0.83 line 251:7 token recognition error at: '<'
% 0.81/0.83 line 251:8 token recognition error at: '_'
% 0.81/0.83 line 251:17 token recognition error at: '''
% 0.81/0.83 line 251:59 token recognition error at: '''
% 0.81/0.83 line 251:60 token recognition error at: '0'
% 0.81/0.83 line 251:61 token recognition error at: '''
% 0.81/0.83 line 251:62 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.83 line 251:70 token recognition error at: '''
% 0.81/0.83 line 251:71 token recognition error at: '@'
% 0.81/0.83 line 251:72 token recognition error at: '='
% 0.81/0.83 line 251:73 token recognition error at: '<'
% 0.81/0.83 line 251:74 token recognition error at: '_'
% 0.81/0.83 line 251:83 token recognition error at: '''
% 0.81/0.83 line 254:4 token recognition error at: '''
% 0.81/0.83 line 254:5 token recognition error at: '@'
% 0.81/0.83 line 254:6 token recognition error at: '='
% 0.81/0.83 line 254:7 token recognition error at: '<'
% 0.81/0.83 line 254:8 token recognition error at: '_'
% 0.81/0.83 line 254:14 token recognition error at: '''
% 0.81/0.83 line 254:72 token recognition error at: '''
% 0.81/0.83 line 254:73 token recognition error at: '0'
% 0.81/0.83 line 254:74 token recognition error at: '''
% 0.81/0.83 line 254:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.84 line 257:4 token recognition error at: '''
% 0.81/0.84 line 257:5 token recognition error at: '@'
% 0.81/0.84 line 257:6 token recognition error at: '='
% 0.81/0.84 line 257:7 token recognition error at: '<'
% 0.81/0.84 line 257:8 token recognition error at: '_'
% 0.81/0.84 line 257:14 token recognition error at: '''
% 0.81/0.84 line 257:72 token recognition error at: '''
% 0.81/0.84 line 257:73 token recognition error at: '0'
% 0.81/0.84 line 257:74 token recognition error at: '''
% 0.81/0.84 line 257:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.84 line 260:4 token recognition error at: '''
% 0.81/0.84 line 260:5 token recognition error at: '@'
% 0.81/0.84 line 260:6 token recognition error at: '='
% 0.81/0.84 line 260:7 token recognition error at: '<'
% 0.81/0.84 line 260:8 token recognition error at: '_'
% 0.81/0.84 line 260:14 token recognition error at: '''
% 0.81/0.84 line 260:26 token recognition error at: '''
% 0.81/0.84 line 260:27 token recognition error at: '@'
% 0.81/0.84 line 260:28 token recognition error at: '='
% 0.81/0.84 line 260:29 token recognition error at: '<'
% 0.81/0.84 line 260:30 token recognition error at: '_'
% 0.81/0.84 line 260:36 token recognition error at: '''
% 0.81/0.84 line 260:78 token recognition error at: '''
% 0.81/0.84 line 260:79 token recognition error at: '0'
% 0.81/0.84 line 260:80 token recognition error at: '''
% 0.81/0.84 line 260:81 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.84 line 263:4 token recognition error at: '''
% 0.81/0.84 line 263:5 token recognition error at: '@'
% 0.81/0.84 line 263:6 token recognition error at: '='
% 0.81/0.84 line 263:7 token recognition error at: '<'
% 0.81/0.84 line 263:8 token recognition error at: '_'
% 0.81/0.84 line 263:14 token recognition error at: '''
% 0.81/0.84 line 263:26 token recognition error at: '''
% 0.81/0.84 line 263:27 token recognition error at: '@'
% 0.81/0.84 line 263:28 token recognition error at: '='
% 0.81/0.84 line 263:29 token recognition error at: '<'
% 0.81/0.84 line 263:30 token recognition error at: '_'
% 0.81/0.84 line 263:36 token recognition error at: '''
% 0.81/0.84 line 266:5 token recognition error at: '''
% 0.81/0.84 line 266:6 token recognition error at: '@'
% 0.81/0.84 line 266:7 token recognition error at: '='
% 0.81/0.84 line 266:8 token recognition error at: '<'
% 0.81/0.84 line 266:9 token recognition error at: '_'
% 0.81/0.84 line 266:15 token recognition error at: '''
% 0.81/0.84 line 266:17 token recognition error at: '''
% 0.81/0.84 line 266:18 token recognition error at: '0'
% 0.81/0.84 line 266:19 token recognition error at: '''
% 0.81/0.84 line 266:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.84 line 269:4 token recognition error at: '''
% 0.81/0.84 line 269:5 token recognition error at: '@'
% 0.81/0.84 line 269:6 token recognition error at: '='
% 0.81/0.84 line 269:7 token recognition error at: '<'
% 0.81/0.84 line 269:8 token recognition error at: '_'
% 0.81/0.84 line 269:19 token recognition error at: '''
% 0.81/0.84 line 272:4 token recognition error at: '''
% 0.81/0.84 line 272:5 token recognition error at: '@'
% 0.81/0.84 line 272:6 token recognition error at: '='
% 0.81/0.84 line 272:7 token recognition error at: '<'
% 0.81/0.84 line 272:8 token recognition error at: '_'
% 0.81/0.84 line 272:19 token recognition error at: '''
% 0.81/0.84 line 275:4 token recognition error at: '''
% 0.81/0.84 line 275:5 token recognition error at: '@'
% 0.81/0.84 line 275:6 token recognition error at: '='
% 0.81/0.84 line 275:7 token recognition error at: '<'
% 0.81/0.84 line 275:8 token recognition error at: '_'
% 0.81/0.84 line 275:19 token recognition error at: '''
% 0.81/0.84 line 275:31 token recognition error at: '''
% 0.81/0.84 line 275:32 token recognition error at: '@'
% 0.81/0.84 line 275:33 token recognition error at: '='
% 0.81/0.84 line 275:34 token recognition error at: '<'
% 0.81/0.84 line 275:35 token recognition error at: '_'
% 0.81/0.84 line 275:46 token recognition error at: '''
% 0.81/0.84 line 278:4 token recognition error at: '''
% 0.81/0.84 line 278:5 token recognition error at: '@'
% 0.81/0.84 line 278:6 token recognition error at: '='
% 0.81/0.84 line 278:7 token recognition error at: '<'
% 0.81/0.84 line 278:8 token recognition error at: '_'
% 0.81/0.84 line 278:19 token recognition error at: '''
% 0.81/0.84 line 278:31 token recognition error at: '''
% 0.81/0.84 line 278:32 token recognition error at: '@'
% 0.81/0.84 line 278:33 token recognition error at: '='
% 0.81/0.84 line 278:34 token recognition error at: '<'
% 0.81/0.84 line 278:35 token recognition error at: '_'
% 0.81/0.84 line 278:46 token recognition error at: '''
% 0.81/0.84 line 281:4 token recognition error at: '''
% 0.81/0.85 line 281:5 token recognition error at: '@'
% 0.81/0.85 line 281:6 token recognition error at: '<'
% 0.81/0.85 line 281:7 token recognition error at: '_'
% 0.81/0.85 line 281:16 token recognition error at: '''
% 0.81/0.85 line 281:34 token recognition error at: '''
% 0.81/0.85 line 281:35 token recognition error at: '@'
% 0.81/0.85 line 281:36 token recognition error at: '<'
% 0.81/0.85 line 281:37 token recognition error at: '_'
% 0.81/0.85 line 281:46 token recognition error at: '''
% 0.81/0.85 line 284:4 token recognition error at: '''
% 0.81/0.85 line 284:5 token recognition error at: '@'
% 0.81/0.85 line 284:6 token recognition error at: '<'
% 0.81/0.85 line 284:7 token recognition error at: '_'
% 0.81/0.85 line 284:16 token recognition error at: '''
% 0.81/0.85 line 284:18 token recognition error at: '''
% 0.81/0.85 line 284:19 token recognition error at: '0'
% 0.81/0.85 line 284:20 token recognition error at: '''
% 0.81/0.85 line 284:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.85 line 287:51 token recognition error at: '''
% 0.81/0.85 line 287:52 token recognition error at: '0'
% 0.81/0.85 line 287:53 token recognition error at: '''
% 0.81/0.85 line 287:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.85 line 287:62 token recognition error at: '''
% 0.81/0.85 line 287:63 token recognition error at: '@'
% 0.81/0.85 line 287:64 token recognition error at: '<'
% 0.81/0.85 line 287:65 token recognition error at: '_'
% 0.81/0.85 line 287:74 token recognition error at: '''
% 0.81/0.85 line 290:73 token recognition error at: '''
% 0.81/0.85 line 290:74 token recognition error at: '@'
% 0.81/0.85 line 290:75 token recognition error at: '<'
% 0.81/0.85 line 290:76 token recognition error at: '_'
% 0.81/0.85 line 290:85 token recognition error at: '''
% 0.81/0.85 line 293:51 token recognition error at: '''
% 0.81/0.85 line 293:52 token recognition error at: '0'
% 0.81/0.85 line 293:53 token recognition error at: '''
% 0.81/0.85 line 293:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.85 line 293:62 token recognition error at: '''
% 0.81/0.85 line 293:63 token recognition error at: '@'
% 0.81/0.85 line 293:64 token recognition error at: '<'
% 0.81/0.85 line 293:65 token recognition error at: '_'
% 0.81/0.85 line 293:74 token recognition error at: '''
% 0.81/0.85 line 296:73 token recognition error at: '''
% 0.81/0.85 line 296:74 token recognition error at: '@'
% 0.81/0.85 line 296:75 token recognition error at: '<'
% 0.81/0.85 line 296:76 token recognition error at: '_'
% 0.81/0.85 line 296:85 token recognition error at: '''
% 0.81/0.85 line 299:4 token recognition error at: '''
% 0.81/0.85 line 299:5 token recognition error at: '@'
% 0.81/0.85 line 299:6 token recognition error at: '<'
% 0.81/0.85 line 299:7 token recognition error at: '_'
% 0.81/0.85 line 299:16 token recognition error at: '''
% 0.81/0.85 line 299:58 token recognition error at: '''
% 0.81/0.85 line 299:59 token recognition error at: '0'
% 0.81/0.85 line 299:60 token recognition error at: '''
% 0.81/0.85 line 299:61 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.85 line 299:69 token recognition error at: '''
% 0.81/0.85 line 299:70 token recognition error at: '@'
% 0.81/0.85 line 299:71 token recognition error at: '<'
% 0.81/0.85 line 299:72 token recognition error at: '_'
% 0.81/0.85 line 299:81 token recognition error at: '''
% 0.81/0.85 line 302:4 token recognition error at: '''
% 0.81/0.85 line 302:5 token recognition error at: '@'
% 0.81/0.85 line 302:6 token recognition error at: '<'
% 0.81/0.85 line 302:7 token recognition error at: '_'
% 0.81/0.85 line 302:16 token recognition error at: '''
% 0.81/0.85 line 302:80 token recognition error at: '''
% 0.81/0.85 line 302:81 token recognition error at: '@'
% 0.81/0.85 line 302:82 token recognition error at: '<'
% 0.81/0.85 line 302:83 token recognition error at: '_'
% 0.81/0.85 line 302:92 token recognition error at: '''
% 0.81/0.85 line 305:4 token recognition error at: '''
% 0.81/0.85 line 305:5 token recognition error at: '@'
% 0.81/0.85 line 305:6 token recognition error at: '<'
% 0.81/0.85 line 305:7 token recognition error at: '_'
% 0.81/0.85 line 305:13 token recognition error at: '''
% 0.81/0.85 line 305:71 token recognition error at: '''
% 0.81/0.85 line 305:72 token recognition error at: '0'
% 0.81/0.85 line 305:73 token recognition error at: '''
% 0.81/0.85 line 305:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.85 line 308:4 token recognition error at: '''
% 0.81/0.85 line 308:5 token recognition error at: '@'
% 0.81/0.86 line 308:6 token recognition error at: '<'
% 0.81/0.86 line 308:7 token recognition error at: '_'
% 0.81/0.86 line 308:13 token recognition error at: '''
% 0.81/0.86 line 311:4 token recognition error at: '''
% 0.81/0.86 line 311:5 token recognition error at: '@'
% 0.81/0.86 line 311:6 token recognition error at: '<'
% 0.81/0.86 line 311:7 token recognition error at: '_'
% 0.81/0.86 line 311:13 token recognition error at: '''
% 0.81/0.86 line 311:71 token recognition error at: '''
% 0.81/0.86 line 311:72 token recognition error at: '0'
% 0.81/0.86 line 311:73 token recognition error at: '''
% 0.81/0.86 line 311:74 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.86 line 314:4 token recognition error at: '''
% 0.81/0.86 line 314:5 token recognition error at: '@'
% 0.81/0.86 line 314:6 token recognition error at: '<'
% 0.81/0.86 line 314:7 token recognition error at: '_'
% 0.81/0.86 line 314:13 token recognition error at: '''
% 0.81/0.86 line 317:4 token recognition error at: '''
% 0.81/0.86 line 317:5 token recognition error at: '@'
% 0.81/0.86 line 317:6 token recognition error at: '<'
% 0.81/0.86 line 317:7 token recognition error at: '_'
% 0.81/0.86 line 317:13 token recognition error at: '''
% 0.81/0.86 line 317:25 token recognition error at: '''
% 0.81/0.86 line 317:26 token recognition error at: '@'
% 0.81/0.86 line 317:27 token recognition error at: '<'
% 0.81/0.86 line 317:28 token recognition error at: '_'
% 0.81/0.86 line 317:34 token recognition error at: '''
% 0.81/0.86 line 317:76 token recognition error at: '''
% 0.81/0.86 line 317:77 token recognition error at: '0'
% 0.81/0.86 line 317:78 token recognition error at: '''
% 0.81/0.86 line 317:79 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.86 line 320:4 token recognition error at: '''
% 0.81/0.86 line 320:5 token recognition error at: '@'
% 0.81/0.86 line 320:6 token recognition error at: '<'
% 0.81/0.86 line 320:7 token recognition error at: '_'
% 0.81/0.86 line 320:13 token recognition error at: '''
% 0.81/0.86 line 320:25 token recognition error at: '''
% 0.81/0.86 line 320:26 token recognition error at: '@'
% 0.81/0.86 line 320:27 token recognition error at: '<'
% 0.81/0.86 line 320:28 token recognition error at: '_'
% 0.81/0.86 line 320:34 token recognition error at: '''
% 0.81/0.86 line 323:4 token recognition error at: '''
% 0.81/0.86 line 323:5 token recognition error at: '@'
% 0.81/0.86 line 323:6 token recognition error at: '<'
% 0.81/0.86 line 323:7 token recognition error at: '_'
% 0.81/0.86 line 323:13 token recognition error at: '''
% 0.81/0.86 line 323:25 token recognition error at: '''
% 0.81/0.86 line 323:26 token recognition error at: '@'
% 0.81/0.86 line 323:27 token recognition error at: '<'
% 0.81/0.86 line 323:28 token recognition error at: '_'
% 0.81/0.86 line 323:34 token recognition error at: '''
% 0.81/0.86 line 326:5 token recognition error at: '''
% 0.81/0.86 line 326:6 token recognition error at: '@'
% 0.81/0.86 line 326:7 token recognition error at: '<'
% 0.81/0.86 line 326:8 token recognition error at: '_'
% 0.81/0.86 line 326:14 token recognition error at: '''
% 0.81/0.86 line 326:16 token recognition error at: '''
% 0.81/0.86 line 326:17 token recognition error at: '0'
% 0.81/0.86 line 326:18 token recognition error at: '''
% 0.81/0.86 line 326:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.86 line 329:4 token recognition error at: '''
% 0.81/0.86 line 329:5 token recognition error at: '@'
% 0.81/0.86 line 329:6 token recognition error at: '<'
% 0.81/0.86 line 329:7 token recognition error at: '_'
% 0.81/0.86 line 329:18 token recognition error at: '''
% 0.81/0.86 line 332:4 token recognition error at: '''
% 0.81/0.86 line 332:5 token recognition error at: '@'
% 0.81/0.86 line 332:6 token recognition error at: '<'
% 0.81/0.86 line 332:7 token recognition error at: '_'
% 0.81/0.86 line 332:18 token recognition error at: '''
% 0.81/0.86 line 335:4 token recognition error at: '''
% 0.81/0.86 line 335:5 token recognition error at: '@'
% 0.81/0.86 line 335:6 token recognition error at: '<'
% 0.81/0.86 line 335:7 token recognition error at: '_'
% 0.81/0.86 line 335:18 token recognition error at: '''
% 0.81/0.87 line 335:30 token recognition error at: '''
% 0.81/0.87 line 335:31 token recognition error at: '@'
% 0.81/0.87 line 335:32 token recognition error at: '<'
% 0.81/0.87 line 335:33 token recognition error at: '_'
% 0.81/0.87 line 335:44 token recognition error at: '''
% 0.81/0.87 line 338:4 token recognition error at: '''
% 0.81/0.87 line 338:5 token recognition error at: '@'
% 0.81/0.87 line 338:6 token recognition error at: '<'
% 0.81/0.87 line 338:7 token recognition error at: '_'
% 0.81/0.87 line 338:18 token recognition error at: '''
% 0.81/0.87 line 338:30 token recognition error at: '''
% 0.81/0.87 line 338:31 token recognition error at: '@'
% 0.81/0.87 line 338:32 token recognition error at: '<'
% 0.81/0.87 line 338:33 token recognition error at: '_'
% 0.81/0.87 line 338:44 token recognition error at: '''
% 0.81/0.87 line 344:17 token recognition error at: '''
% 0.81/0.87 line 344:18 token recognition error at: '0'
% 0.81/0.87 line 344:19 token recognition error at: '''
% 0.81/0.87 line 344:20 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 347:48 token recognition error at: '''
% 0.81/0.87 line 347:49 token recognition error at: '0'
% 0.81/0.87 line 347:50 token recognition error at: '''
% 0.81/0.87 line 347:51 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 350:42 token recognition error at: '''
% 0.81/0.87 line 350:43 token recognition error at: '0'
% 0.81/0.87 line 350:44 token recognition error at: '''
% 0.81/0.87 line 350:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 353:64 token recognition error at: '''
% 0.81/0.87 line 353:65 token recognition error at: '0'
% 0.81/0.87 line 353:66 token recognition error at: '''
% 0.81/0.87 line 353:67 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 356:56 token recognition error at: '''
% 0.81/0.87 line 356:57 token recognition error at: '0'
% 0.81/0.87 line 356:58 token recognition error at: '''
% 0.81/0.87 line 356:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 362:15 token recognition error at: '''
% 0.81/0.87 line 362:16 token recognition error at: '0'
% 0.81/0.87 line 362:17 token recognition error at: '''
% 0.81/0.87 line 362:18 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 374:17 token recognition error at: '''
% 0.81/0.87 line 374:18 token recognition error at: '@'
% 0.81/0.87 line 374:19 token recognition error at: '+'
% 0.81/0.87 line 374:20 token recognition error at: '''
% 0.81/0.87 line 374:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 374:28 mismatched input ',' expecting {',', ')'}
% 0.81/0.87 line 377:24 token recognition error at: '''
% 0.81/0.87 line 377:25 token recognition error at: '@'
% 0.81/0.87 line 377:26 token recognition error at: '+'
% 0.81/0.87 line 377:27 token recognition error at: '''
% 0.81/0.87 line 377:28 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 377:37 mismatched input '|' expecting {',', ')'}
% 0.81/0.87 line 380:17 token recognition error at: '''
% 0.81/0.87 line 380:18 token recognition error at: '@'
% 0.81/0.87 line 380:19 token recognition error at: '*'
% 0.81/0.87 line 380:20 token recognition error at: '''
% 0.81/0.87 line 380:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 380:28 mismatched input ',' expecting {',', ')'}
% 0.81/0.87 line 383:25 token recognition error at: '''
% 0.81/0.87 line 383:26 token recognition error at: '@'
% 0.81/0.87 line 383:27 token recognition error at: '*'
% 0.81/0.87 line 383:28 token recognition error at: '''
% 0.81/0.87 line 383:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.87 line 383:38 mismatched input '|' expecting {',', ')'}
% 0.81/0.88 line 425:17 token recognition error at: '''
% 0.81/0.88 line 425:18 token recognition error at: '@'
% 0.81/0.88 line 425:19 token recognition error at: '+'
% 0.81/0.88 line 425:20 token recognition error at: '''
% 0.81/0.88 line 425:22 token recognition error at: '''
% 0.81/0.88 line 425:23 token recognition error at: '0'
% 0.81/0.88 line 425:24 token recognition error at: '''
% 0.81/0.88 line 425:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 425:29 mismatched input ',' expecting {',', ')'}
% 0.81/0.88 line 428:17 token recognition error at: '''
% 0.81/0.88 line 428:18 token recognition error at: '@'
% 0.81/0.88 line 428:19 token recognition error at: '+'
% 0.81/0.88 line 428:20 token recognition error at: '''
% 0.81/0.88 line 428:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 428:31 mismatched input ',' expecting {',', ')'}
% 0.81/0.88 line 428:34 token recognition error at: '''
% 0.81/0.88 line 428:35 token recognition error at: '@'
% 0.81/0.88 line 428:36 token recognition error at: '+'
% 0.81/0.88 line 428:37 token recognition error at: '''
% 0.81/0.88 line 431:17 token recognition error at: '''
% 0.81/0.88 line 431:18 token recognition error at: '@'
% 0.81/0.88 line 431:19 token recognition error at: '+'
% 0.81/0.88 line 431:20 token recognition error at: '''
% 0.81/0.88 line 431:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 431:30 mismatched input '|' expecting {',', ')'}
% 0.81/0.88 line 434:17 token recognition error at: '''
% 0.81/0.88 line 434:18 token recognition error at: '@'
% 0.81/0.88 line 434:19 token recognition error at: '+'
% 0.81/0.88 line 434:20 token recognition error at: '''
% 0.81/0.88 line 434:22 token recognition error at: '''
% 0.81/0.88 line 434:23 token recognition error at: '@'
% 0.81/0.88 line 434:24 token recognition error at: '+'
% 0.81/0.88 line 434:25 token recognition error at: '''
% 0.81/0.88 line 434:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 434:33 mismatched input ',' expecting {',', ')'}
% 0.81/0.88 line 434:38 token recognition error at: '''
% 0.81/0.88 line 434:39 token recognition error at: '@'
% 0.81/0.88 line 434:40 token recognition error at: '+'
% 0.81/0.88 line 434:41 token recognition error at: '''
% 0.81/0.88 line 434:46 token recognition error at: '''
% 0.81/0.88 line 434:47 token recognition error at: '@'
% 0.81/0.88 line 434:48 token recognition error at: '+'
% 0.81/0.88 line 434:49 token recognition error at: '''
% 0.81/0.88 line 437:17 token recognition error at: '''
% 0.81/0.88 line 437:18 token recognition error at: '@'
% 0.81/0.88 line 437:19 token recognition error at: '+'
% 0.81/0.88 line 437:20 token recognition error at: '''
% 0.81/0.88 line 437:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 437:25 token recognition error at: '''
% 0.81/0.88 line 437:26 token recognition error at: '0'
% 0.81/0.88 line 437:27 token recognition error at: '''
% 0.81/0.88 line 437:28 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 437:29 mismatched input ',' expecting {')', '|'}
% 0.81/0.88 line 440:17 token recognition error at: '''
% 0.81/0.88 line 440:18 token recognition error at: '@'
% 0.81/0.88 line 440:19 token recognition error at: '+'
% 0.81/0.88 line 440:20 token recognition error at: '''
% 0.81/0.88 line 440:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 440:32 token recognition error at: '''
% 0.81/0.88 line 440:33 token recognition error at: '@'
% 0.81/0.88 line 440:34 token recognition error at: '+'
% 0.81/0.88 line 440:35 token recognition error at: '''
% 0.81/0.88 line 440:31 mismatched input ',' expecting {',', ')'}
% 0.81/0.88 line 443:17 token recognition error at: '''
% 0.81/0.88 line 443:18 token recognition error at: '@'
% 0.81/0.88 line 443:19 token recognition error at: '+'
% 0.81/0.88 line 443:20 token recognition error at: '''
% 0.81/0.88 line 443:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.88 line 443:29 token recognition error at: '''
% 0.81/0.88 line 443:30 token recognition error at: '@'
% 0.81/0.89 line 443:31 token recognition error at: '+'
% 0.81/0.89 line 443:32 token recognition error at: '''
% 0.81/0.89 line 443:28 mismatched input ',' expecting {',', ')'}
% 0.81/0.89 line 446:60 token recognition error at: '''
% 0.81/0.89 line 446:61 token recognition error at: '@'
% 0.81/0.89 line 446:62 token recognition error at: '+'
% 0.81/0.89 line 446:63 token recognition error at: '''
% 0.81/0.89 line 446:64 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.89 line 446:72 token recognition error at: '''
% 0.81/0.89 line 446:73 token recognition error at: '@'
% 0.81/0.89 line 446:74 token recognition error at: '+'
% 0.81/0.89 line 446:75 token recognition error at: '''
% 0.81/0.89 line 446:71 mismatched input ',' expecting {',', ')'}
% 0.81/0.89 line 470:17 token recognition error at: '''
% 0.81/0.89 line 470:18 token recognition error at: '0'
% 0.81/0.89 line 470:19 token recognition error at: '''
% 0.81/0.89 line 470:21 token recognition error at: '''
% 0.81/0.89 line 470:22 token recognition error at: '@'
% 0.81/0.89 line 470:23 token recognition error at: '*'
% 0.81/0.89 line 470:24 token recognition error at: '''
% 0.81/0.89 line 470:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.89 line 470:26 token recognition error at: '''
% 0.81/0.89 line 470:27 token recognition error at: '0'
% 0.81/0.89 line 470:28 token recognition error at: '''
% 0.81/0.89 line 470:25 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.89 line 470:35 mismatched input '|' expecting {',', ')'}
% 0.81/0.89 line 473:17 token recognition error at: '''
% 0.81/0.89 line 473:18 token recognition error at: '@'
% 0.81/0.89 line 473:19 token recognition error at: '*'
% 0.81/0.89 line 473:20 token recognition error at: '''
% 0.81/0.89 line 473:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.89 line 473:32 token recognition error at: '''
% 0.81/0.89 line 473:33 token recognition error at: '@'
% 0.81/0.89 line 473:34 token recognition error at: '+'
% 0.81/0.89 line 473:35 token recognition error at: '''
% 0.81/0.89 line 473:31 mismatched input ',' expecting {',', ')'}
% 0.81/0.89 line 473:40 token recognition error at: '''
% 0.81/0.89 line 473:41 token recognition error at: '@'
% 0.81/0.89 line 473:42 token recognition error at: '*'
% 0.81/0.89 line 473:43 token recognition error at: '''
% 0.81/0.89 line 476:17 token recognition error at: '''
% 0.81/0.89 line 476:18 token recognition error at: '@'
% 0.81/0.89 line 476:19 token recognition error at: '*'
% 0.81/0.89 line 476:20 token recognition error at: '''
% 0.81/0.89 line 476:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.89 line 476:30 mismatched input '|' expecting {',', ')'}
% 0.81/0.89 line 479:17 token recognition error at: '''
% 0.81/0.89 line 479:18 token recognition error at: '@'
% 0.81/0.89 line 479:19 token recognition error at: '*'
% 0.81/0.89 line 479:20 token recognition error at: '''
% 0.81/0.89 line 479:22 token recognition error at: '''
% 0.81/0.89 line 479:23 token recognition error at: '@'
% 0.81/0.89 line 479:24 token recognition error at: '+'
% 0.81/0.89 line 479:25 token recognition error at: '''
% 0.81/0.89 line 479:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.89 line 479:33 mismatched input ',' expecting {',', ')'}
% 0.81/0.89 line 479:38 token recognition error at: '''
% 0.81/0.89 line 479:39 token recognition error at: '@'
% 0.81/0.89 line 479:40 token recognition error at: '+'
% 0.81/0.89 line 479:41 token recognition error at: '''
% 0.81/0.89 line 479:43 token recognition error at: '''
% 0.81/0.89 line 479:44 token recognition error at: '@'
% 0.81/0.89 line 479:45 token recognition error at: '*'
% 0.81/0.89 line 479:46 token recognition error at: '''
% 0.81/0.89 line 479:55 token recognition error at: '''
% 0.81/0.89 line 479:56 token recognition error at: '@'
% 0.81/0.89 line 479:57 token recognition error at: '*'
% 0.81/0.89 line 479:58 token recognition error at: '''
% 0.81/0.89 line 482:17 token recognition error at: '''
% 0.81/0.89 line 482:18 token recognition error at: '@'
% 0.81/0.89 line 482:19 token recognition error at: '*'
% 0.81/0.89 line 482:20 token recognition error at: '''
% 0.81/0.89 line 482:22 token recognition error at: '''
% 0.81/0.89 line 482:23 token recognition error at: '@'
% 0.81/0.89 line 482:24 token recognition error at: '*'
% 0.81/0.89 line 482:25 token recognition error at: '''
% 0.81/0.89 line 482:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.90 line 482:33 mismatched input ',' expecting {',', ')'}
% 0.81/0.90 line 482:38 token recognition error at: '''
% 0.81/0.90 line 482:39 token recognition error at: '@'
% 0.81/0.90 line 482:40 token recognition error at: '*'
% 0.81/0.90 line 482:41 token recognition error at: '''
% 0.81/0.90 line 482:46 token recognition error at: '''
% 0.81/0.90 line 482:47 token recognition error at: '@'
% 0.81/0.90 line 482:48 token recognition error at: '*'
% 0.81/0.90 line 482:49 token recognition error at: '''
% 0.81/0.90 line 485:17 token recognition error at: '''
% 0.81/0.90 line 485:18 token recognition error at: '0'
% 0.81/0.90 line 485:19 token recognition error at: '''
% 0.81/0.90 line 485:21 token recognition error at: '''
% 0.81/0.90 line 485:22 token recognition error at: '@'
% 0.81/0.90 line 485:23 token recognition error at: '*'
% 0.81/0.90 line 485:24 token recognition error at: '''
% 0.81/0.90 line 485:20 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.90 line 485:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.81/0.90 line 485:29 token recognition error at: '''
% 0.81/0.90 line 485:30 token recognition error at: '0'
% 0.81/0.90 line 485:31 token recognition error at: '''
% 0.81/0.90 line 485:32 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 485:35 mismatched input '|' expecting {')', '|'}
% 1.13/0.90 line 488:17 token recognition error at: '''
% 1.13/0.90 line 488:18 token recognition error at: '@'
% 1.13/0.90 line 488:19 token recognition error at: '+'
% 1.13/0.90 line 488:20 token recognition error at: '''
% 1.13/0.90 line 488:22 token recognition error at: '''
% 1.13/0.90 line 488:23 token recognition error at: '@'
% 1.13/0.90 line 488:24 token recognition error at: '*'
% 1.13/0.90 line 488:25 token recognition error at: '''
% 1.13/0.90 line 488:21 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 488:33 mismatched input ',' expecting {',', ')'}
% 1.13/0.90 line 488:38 token recognition error at: '''
% 1.13/0.90 line 488:39 token recognition error at: '@'
% 1.13/0.90 line 488:40 token recognition error at: '*'
% 1.13/0.90 line 488:41 token recognition error at: '''
% 1.13/0.90 line 491:17 token recognition error at: '''
% 1.13/0.90 line 491:18 token recognition error at: '@'
% 1.13/0.90 line 491:19 token recognition error at: '*'
% 1.13/0.90 line 491:20 token recognition error at: '''
% 1.13/0.90 line 491:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 491:29 token recognition error at: '''
% 1.13/0.90 line 491:30 token recognition error at: '@'
% 1.13/0.90 line 491:31 token recognition error at: '*'
% 1.13/0.90 line 491:32 token recognition error at: '''
% 1.13/0.90 line 491:28 mismatched input ',' expecting {',', ')'}
% 1.13/0.90 line 494:17 token recognition error at: '''
% 1.13/0.90 line 494:18 token recognition error at: '@'
% 1.13/0.90 line 494:19 token recognition error at: '*'
% 1.13/0.90 line 494:20 token recognition error at: '''
% 1.13/0.90 line 494:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 494:24 token recognition error at: '''
% 1.13/0.90 line 494:25 token recognition error at: '0'
% 1.13/0.90 line 494:26 token recognition error at: '''
% 1.13/0.90 line 494:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 494:32 mismatched input ',' expecting {',', ')'}
% 1.13/0.90 line 497:17 token recognition error at: '''
% 1.13/0.90 line 497:18 token recognition error at: '@'
% 1.13/0.90 line 497:19 token recognition error at: '*'
% 1.13/0.90 line 497:20 token recognition error at: '''
% 1.13/0.90 line 497:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 497:27 token recognition error at: '''
% 1.13/0.90 line 497:28 token recognition error at: '0'
% 1.13/0.90 line 497:29 token recognition error at: '''
% 1.13/0.90 line 497:30 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 497:32 mismatched input ',' expecting {',', ')'}
% 1.13/0.90 line 500:17 token recognition error at: '''
% 1.13/0.90 line 500:18 token recognition error at: '@'
% 1.13/0.90 line 500:19 token recognition error at: '*'
% 1.13/0.90 line 500:20 token recognition error at: '''
% 1.13/0.90 line 500:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 500:25 token recognition error at: '''
% 1.13/0.90 line 500:26 token recognition error at: '@'
% 1.13/0.90 line 500:27 token recognition error at: '+'
% 1.13/0.90 line 500:28 token recognition error at: '''
% 1.13/0.90 line 500:29 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.90 line 500:38 token recognition error at: '''
% 1.13/0.90 line 500:39 token recognition error at: '@'
% 1.13/0.90 line 500:40 token recognition error at: '+'
% 1.13/0.90 line 500:41 token recognition error at: '''
% 1.13/0.90 line 500:37 mismatched input ',' expecting {',', ')'}
% 1.13/0.90 line 500:43 token recognition error at: '''
% 1.13/0.90 line 500:44 token recognition error at: '@'
% 1.13/0.90 line 500:45 token recognition error at: '*'
% 1.13/0.90 line 500:46 token recognition error at: '''
% 1.13/0.90 line 500:55 token recognition error at: '''
% 1.13/0.90 line 500:56 token recognition error at: '@'
% 1.13/0.90 line 500:57 token recognition error at: '*'
% 1.13/0.90 line 500:58 token recognition error at: '''
% 1.13/0.90 line 503:4 token recognition error at: '''
% 1.13/0.90 line 503:5 token recognition error at: '@'
% 1.13/0.90 line 503:6 token recognition error at: '<'
% 1.13/0.90 line 503:7 token recognition error at: '_'
% 1.13/0.90 line 503:18 token recognition error at: '''
% 1.13/0.90 line 506:4 token recognition error at: '''
% 1.13/0.90 line 506:5 token recognition error at: '@'
% 1.13/0.90 line 506:6 token recognition error at: '<'
% 1.13/0.90 line 506:7 token recognition error at: '_'
% 1.13/0.90 line 506:18 token recognition error at: '''
% 1.13/0.90 line 509:24 token recognition error at: '''
% 1.13/0.90 line 509:25 token recognition error at: '@'
% 1.13/0.90 line 509:26 token recognition error at: '<'
% 1.13/0.90 line 509:27 token recognition error at: '_'
% 1.13/0.90 line 509:36 token recognition error at: '''
% 1.13/0.90 line 512:36 token recognition error at: '''
% 1.13/0.90 line 512:37 token recognition error at: '@'
% 1.13/0.90 line 512:38 token recognition error at: '<'
% 1.13/0.91 line 512:39 token recognition error at: '_'
% 1.13/0.91 line 512:48 token recognition error at: '''
% 1.13/0.91 line 515:4 token recognition error at: '''
% 1.13/0.91 line 515:5 token recognition error at: '@'
% 1.13/0.91 line 515:6 token recognition error at: '<'
% 1.13/0.91 line 515:7 token recognition error at: '_'
% 1.13/0.91 line 515:16 token recognition error at: '''
% 1.13/0.91 line 515:28 token recognition error at: '''
% 1.13/0.91 line 515:29 token recognition error at: '@'
% 1.13/0.91 line 515:30 token recognition error at: '<'
% 1.13/0.91 line 515:31 token recognition error at: '_'
% 1.13/0.91 line 515:40 token recognition error at: '''
% 1.13/0.91 line 515:52 token recognition error at: '''
% 1.13/0.91 line 515:53 token recognition error at: '@'
% 1.13/0.91 line 515:54 token recognition error at: '<'
% 1.13/0.91 line 515:55 token recognition error at: '_'
% 1.13/0.91 line 515:64 token recognition error at: '''
% 1.13/0.91 line 518:4 token recognition error at: '''
% 1.13/0.91 line 518:5 token recognition error at: '@'
% 1.13/0.91 line 518:6 token recognition error at: '<'
% 1.13/0.91 line 518:7 token recognition error at: '_'
% 1.13/0.91 line 518:16 token recognition error at: '''
% 1.13/0.91 line 518:31 token recognition error at: '''
% 1.13/0.91 line 518:32 token recognition error at: '@'
% 1.13/0.91 line 518:33 token recognition error at: '<'
% 1.13/0.91 line 518:34 token recognition error at: '_'
% 1.13/0.91 line 518:43 token recognition error at: '''
% 1.13/0.91 line 521:4 token recognition error at: '''
% 1.13/0.91 line 521:5 token recognition error at: '@'
% 1.13/0.91 line 521:6 token recognition error at: '<'
% 1.13/0.91 line 521:7 token recognition error at: '_'
% 1.13/0.91 line 521:16 token recognition error at: '''
% 1.13/0.91 line 521:28 token recognition error at: '''
% 1.13/0.91 line 521:29 token recognition error at: '@'
% 1.13/0.91 line 521:30 token recognition error at: '<'
% 1.13/0.91 line 521:31 token recognition error at: '_'
% 1.13/0.91 line 521:40 token recognition error at: '''
% 1.13/0.91 line 521:52 token recognition error at: '''
% 1.13/0.91 line 521:53 token recognition error at: '@'
% 1.13/0.91 line 521:54 token recognition error at: '<'
% 1.13/0.91 line 521:55 token recognition error at: '_'
% 1.13/0.91 line 521:64 token recognition error at: '''
% 1.13/0.91 line 524:4 token recognition error at: '''
% 1.13/0.91 line 524:5 token recognition error at: '@'
% 1.13/0.91 line 524:6 token recognition error at: '<'
% 1.13/0.91 line 524:7 token recognition error at: '_'
% 1.13/0.91 line 524:13 token recognition error at: '''
% 1.13/0.91 line 527:5 token recognition error at: '''
% 1.13/0.91 line 527:6 token recognition error at: '@'
% 1.13/0.91 line 527:7 token recognition error at: '<'
% 1.13/0.91 line 527:8 token recognition error at: '_'
% 1.13/0.91 line 527:17 token recognition error at: '''
% 1.13/0.91 line 530:4 token recognition error at: '''
% 1.13/0.91 line 530:5 token recognition error at: '@'
% 1.13/0.91 line 530:6 token recognition error at: '<'
% 1.13/0.91 line 530:7 token recognition error at: '_'
% 1.13/0.91 line 530:16 token recognition error at: '''
% 1.13/0.91 line 533:4 token recognition error at: '''
% 1.13/0.91 line 533:5 token recognition error at: '@'
% 1.13/0.91 line 533:6 token recognition error at: '<'
% 1.13/0.91 line 533:7 token recognition error at: '_'
% 1.13/0.91 line 533:16 token recognition error at: '''
% 1.13/0.91 line 533:70 token recognition error at: '''
% 1.13/0.91 line 533:71 token recognition error at: '@'
% 1.13/0.91 line 533:72 token recognition error at: '<'
% 1.13/0.91 line 533:73 token recognition error at: '_'
% 1.13/0.91 line 533:82 token recognition error at: '''
% 1.13/0.91 line 536:4 token recognition error at: '''
% 1.13/0.91 line 536:5 token recognition error at: '@'
% 1.13/0.91 line 536:6 token recognition error at: '<'
% 1.13/0.91 line 536:7 token recognition error at: '_'
% 1.13/0.91 line 536:16 token recognition error at: '''
% 1.13/0.91 line 536:49 token recognition error at: '''
% 1.13/0.91 line 536:50 token recognition error at: '@'
% 1.13/0.91 line 536:51 token recognition error at: '<'
% 1.13/0.91 line 536:52 token recognition error at: '_'
% 1.13/0.91 line 536:61 token recognition error at: '''
% 1.13/0.91 line 539:4 token recognition error at: '''
% 1.13/0.91 line 539:5 token recognition error at: '@'
% 1.13/0.91 line 539:6 token recognition error at: '<'
% 1.13/0.91 line 539:7 token recognition error at: '_'
% 1.13/0.91 line 539:16 token recognition error at: '''
% 1.13/0.91 line 539:18 token recognition error at: '''
% 1.13/0.91 line 539:19 token recognition error at: '0'
% 1.13/0.91 line 539:20 token recognition error at: '''
% 1.13/0.91 line 539:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.91 line 539:61 token recognition error at: '''
% 1.13/0.91 line 539:62 token recognition error at: '0'
% 1.13/0.91 line 539:63 token recognition error at: '''
% 1.13/0.91 line 539:64 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.91 line 542:4 token recognition error at: '''
% 1.13/0.91 line 542:5 token recognition error at: '@'
% 1.13/0.91 line 542:6 token recognition error at: '='
% 1.13/0.91 line 542:7 token recognition error at: '<'
% 1.13/0.91 line 542:8 token recognition error at: '_'
% 1.13/0.91 line 542:19 token recognition error at: '''
% 1.13/0.91 line 545:4 token recognition error at: '''
% 1.13/0.91 line 545:5 token recognition error at: '@'
% 1.13/0.91 line 545:6 token recognition error at: '='
% 1.13/0.91 line 545:7 token recognition error at: '<'
% 1.13/0.91 line 545:8 token recognition error at: '_'
% 1.13/0.91 line 545:19 token recognition error at: '''
% 1.13/0.91 line 548:24 token recognition error at: '''
% 1.13/0.91 line 548:25 token recognition error at: '@'
% 1.13/0.91 line 548:26 token recognition error at: '='
% 1.13/0.91 line 548:27 token recognition error at: '<'
% 1.13/0.91 line 548:28 token recognition error at: '_'
% 1.13/0.91 line 548:37 token recognition error at: '''
% 1.13/0.91 line 551:40 token recognition error at: '''
% 1.13/0.91 line 551:41 token recognition error at: '@'
% 1.13/0.91 line 551:42 token recognition error at: '='
% 1.13/0.91 line 551:43 token recognition error at: '<'
% 1.13/0.91 line 551:44 token recognition error at: '_'
% 1.13/0.91 line 551:53 token recognition error at: '''
% 1.13/0.91 line 554:17 token recognition error at: '''
% 1.13/0.91 line 554:18 token recognition error at: '@'
% 1.13/0.91 line 554:19 token recognition error at: '+'
% 1.13/0.91 line 554:20 token recognition error at: '''
% 1.13/0.91 line 554:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.91 line 554:37 mismatched input ',' expecting {',', ')'}
% 1.13/0.91 line 554:45 token recognition error at: '''
% 1.13/0.91 line 554:46 token recognition error at: '@'
% 1.13/0.91 line 554:47 token recognition error at: '='
% 1.13/0.91 line 554:48 token recognition error at: '<'
% 1.13/0.91 line 554:49 token recognition error at: '_'
% 1.13/0.91 line 554:58 token recognition error at: '''
% 1.13/0.91 line 557:43 token recognition error at: '''
% 1.13/0.91 line 557:44 token recognition error at: '@'
% 1.13/0.91 line 557:45 token recognition error at: '<'
% 1.13/0.91 line 557:46 token recognition error at: '_'
% 1.13/0.91 line 557:55 token recognition error at: '''
% 1.13/0.91 line 560:17 token recognition error at: '''
% 1.13/0.91 line 560:18 token recognition error at: '@'
% 1.13/0.91 line 560:19 token recognition error at: '+'
% 1.13/0.91 line 560:20 token recognition error at: '''
% 1.13/0.91 line 560:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.91 line 560:40 mismatched input ',' expecting {',', ')'}
% 1.13/0.91 line 560:48 token recognition error at: '''
% 1.13/0.91 line 560:49 token recognition error at: '@'
% 1.13/0.91 line 560:50 token recognition error at: '<'
% 1.13/0.91 line 560:51 token recognition error at: '_'
% 1.13/0.91 line 560:60 token recognition error at: '''
% 1.13/0.91 line 563:4 token recognition error at: '''
% 1.13/0.91 line 563:5 token recognition error at: '@'
% 1.13/0.91 line 563:6 token recognition error at: '='
% 1.13/0.91 line 563:7 token recognition error at: '<'
% 1.13/0.91 line 563:8 token recognition error at: '_'
% 1.13/0.91 line 563:17 token recognition error at: '''
% 1.13/0.91 line 563:29 token recognition error at: '''
% 1.13/0.91 line 563:30 token recognition error at: '@'
% 1.13/0.91 line 563:31 token recognition error at: '<'
% 1.13/0.91 line 563:32 token recognition error at: '_'
% 1.13/0.91 line 563:41 token recognition error at: '''
% 1.13/0.91 line 566:4 token recognition error at: '''
% 1.13/0.91 line 566:5 token recognition error at: '@'
% 1.13/0.91 line 566:6 token recognition error at: '='
% 1.13/0.91 line 566:7 token recognition error at: '<'
% 1.13/0.91 line 566:8 token recognition error at: '_'
% 1.13/0.91 line 566:17 token recognition error at: '''
% 1.13/0.92 line 569:4 token recognition error at: '''
% 1.13/0.92 line 569:5 token recognition error at: '@'
% 1.13/0.92 line 569:6 token recognition error at: '='
% 1.13/0.92 line 569:7 token recognition error at: '<'
% 1.13/0.92 line 569:8 token recognition error at: '_'
% 1.13/0.92 line 569:17 token recognition error at: '''
% 1.13/0.92 line 569:28 token recognition error at: '''
% 1.13/0.92 line 569:29 token recognition error at: '@'
% 1.13/0.92 line 569:30 token recognition error at: '='
% 1.13/0.92 line 569:31 token recognition error at: '<'
% 1.13/0.92 line 569:32 token recognition error at: '_'
% 1.13/0.92 line 569:41 token recognition error at: '''
% 1.13/0.92 line 572:4 token recognition error at: '''
% 1.13/0.92 line 572:5 token recognition error at: '@'
% 1.13/0.92 line 572:6 token recognition error at: '<'
% 1.13/0.92 line 572:7 token recognition error at: '_'
% 1.13/0.92 line 572:16 token recognition error at: '''
% 1.13/0.92 line 572:27 token recognition error at: '''
% 1.13/0.92 line 572:28 token recognition error at: '@'
% 1.13/0.92 line 572:29 token recognition error at: '='
% 1.13/0.92 line 572:30 token recognition error at: '<'
% 1.13/0.92 line 572:31 token recognition error at: '_'
% 1.13/0.92 line 572:40 token recognition error at: '''
% 1.13/0.92 line 575:4 token recognition error at: '''
% 1.13/0.92 line 575:5 token recognition error at: '@'
% 1.13/0.92 line 575:6 token recognition error at: '='
% 1.13/0.92 line 575:7 token recognition error at: '<'
% 1.13/0.92 line 575:8 token recognition error at: '_'
% 1.13/0.92 line 575:17 token recognition error at: '''
% 1.13/0.92 line 575:69 token recognition error at: '''
% 1.13/0.92 line 575:70 token recognition error at: '@'
% 1.13/0.92 line 575:71 token recognition error at: '='
% 1.13/0.92 line 575:72 token recognition error at: '<'
% 1.13/0.92 line 575:73 token recognition error at: '_'
% 1.13/0.92 line 575:79 token recognition error at: '''
% 1.13/0.92 line 578:4 token recognition error at: '''
% 1.13/0.92 line 578:5 token recognition error at: '@'
% 1.13/0.92 line 578:6 token recognition error at: '<'
% 1.13/0.92 line 578:7 token recognition error at: '_'
% 1.13/0.92 line 578:16 token recognition error at: '''
% 1.13/0.92 line 578:50 token recognition error at: '''
% 1.13/0.92 line 578:51 token recognition error at: '@'
% 1.13/0.92 line 578:52 token recognition error at: '='
% 1.13/0.92 line 578:53 token recognition error at: '<'
% 1.13/0.92 line 578:54 token recognition error at: '_'
% 1.13/0.92 line 578:63 token recognition error at: '''
% 1.13/0.92 line 581:4 token recognition error at: '''
% 1.13/0.92 line 581:5 token recognition error at: '@'
% 1.13/0.92 line 581:6 token recognition error at: '<'
% 1.13/0.92 line 581:7 token recognition error at: '_'
% 1.13/0.92 line 581:16 token recognition error at: '''
% 1.13/0.92 line 581:28 token recognition error at: '''
% 1.13/0.92 line 581:29 token recognition error at: '@'
% 1.13/0.92 line 581:30 token recognition error at: '='
% 1.13/0.92 line 581:31 token recognition error at: '<'
% 1.13/0.92 line 581:32 token recognition error at: '_'
% 1.13/0.92 line 581:41 token recognition error at: '''
% 1.13/0.92 line 581:53 token recognition error at: '''
% 1.13/0.92 line 581:54 token recognition error at: '@'
% 1.13/0.92 line 581:55 token recognition error at: '<'
% 1.13/0.92 line 581:56 token recognition error at: '_'
% 1.13/0.92 line 581:65 token recognition error at: '''
% 1.13/0.92 line 584:51 token recognition error at: '''
% 1.13/0.92 line 584:52 token recognition error at: '0'
% 1.13/0.92 line 584:53 token recognition error at: '''
% 1.13/0.92 line 584:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.92 line 590:51 token recognition error at: '''
% 1.13/0.92 line 590:52 token recognition error at: '0'
% 1.13/0.92 line 590:53 token recognition error at: '''
% 1.13/0.92 line 590:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.92 line 596:4 token recognition error at: '''
% 1.13/0.92 line 596:5 token recognition error at: '@'
% 1.13/0.92 line 596:6 token recognition error at: '<'
% 1.13/0.92 line 596:7 token recognition error at: '_'
% 1.13/0.92 line 596:16 token recognition error at: '''
% 1.13/0.92 line 596:58 token recognition error at: '''
% 1.13/0.92 line 596:59 token recognition error at: '0'
% 1.13/0.92 line 596:60 token recognition error at: '''
% 1.13/0.92 line 596:61 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.92 line 599:4 token recognition error at: '''
% 1.13/0.92 line 599:5 token recognition error at: '@'
% 1.13/0.92 line 599:6 token recognition error at: '<'
% 1.13/0.92 line 599:7 token recognition error at: '_'
% 1.13/0.92 line 599:16 token recognition error at: '''
% 1.13/0.92 line 602:4 token recognition error at: '''
% 1.13/0.92 line 602:5 token recognition error at: '@'
% 1.13/0.92 line 602:6 token recognition error at: '<'
% 1.13/0.92 line 602:7 token recognition error at: '_'
% 1.13/0.92 line 602:16 token recognition error at: '''
% 1.13/0.92 line 602:37 token recognition error at: '''
% 1.13/0.92 line 602:38 token recognition error at: '@'
% 1.13/0.92 line 602:39 token recognition error at: '='
% 1.13/0.92 line 602:40 token recognition error at: '<'
% 1.13/0.92 line 602:41 token recognition error at: '_'
% 1.13/0.92 line 602:50 token recognition error at: '''
% 1.13/0.92 line 602:83 token recognition error at: '''
% 1.13/0.92 line 602:84 token recognition error at: '0'
% 1.13/0.92 line 602:85 token recognition error at: '''
% 1.13/0.92 line 602:86 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 1.13/0.92 line 605:4 token recognition error at: '''
% 1.13/0.92 line 605:5 token recognition error at: '@'
% 1.13/0.92 line 605:6 token recognition error at: '<'
% 1.13/0.92 line 605:7 token recognition error at: '_'
% 1.13/0.92 line 605:16 token recognition error at: '''
% 1.13/0.92 line 605:37 token recognition error at: '''
% 1.13/0.92 line 605:38 token recognition error at: '@'
% 1.13/0.92 line 605:39 token recognition error at: '='
% 1.13/0.92 line 605:40 token recognition error at: '<'
% 1.13/0.92 line 605:41 token recognition error at: '_'
% 1.13/0.92 line 605:50 token recognition error at: '''
% 1.13/0.92 line 608:4 token recognition error at: '''
% 1.13/0.92 line 608:5 token recognition error at: '@'
% 1.13/0.92 line 608:6 token recognition error at: '<'
% 1.13/0.92 line 608:7 token recognition error at: '_'
% 1.13/0.92 line 608:16 token recognition error at: '''
% 1.13/0.92 line 608:28 token recognition error at: '''
% 1.13/0.92 line 608:29 token recognition error at: '@'
% 1.13/0.92 line 608:30 token recognition error at: '='
% 1.13/0.92 line 608:31 token recognition error at: '<'
% 1.13/0.92 line 608:32 token recognition error at: '_'
% 1.13/0.92 line 608:41 token recognition error at: '''
% 1.13/0.92 line 608:53 token recognition error at: '''
% 1.13/0.92 line 608:54 token recognition error at: '@'
% 1.13/0.92 line 608:55 token recognition error at: '<'
% 1.13/0.92 line 608:56 token recognition error at: '_'
% 1.13/0.92 line 608:65 token recognition error at: '''
% 1.13/0.92 line 608:77 token recognition error at: '''
% 1.13/0.92 line 608:78 token recognition error at: '@'
% 1.13/0.92 line 608:79 token recognition error at: '<'
% 1.13/0.92 line 608:80 token recognition error at: '_'
% 1.13/0.92 line 608:89 token recognition error at: '''
% 1.13/0.92 line 611:4 token recognition error at: '''
% 1.13/0.92 line 611:5 token recognition error at: '@'
% 1.13/0.92 line 611:6 token recognition error at: '<'
% 1.13/0.92 line 611:7 token recognition error at: '_'
% 1.13/0.92 line 611:16 token recognition error at: '''
% 1.13/0.92 line 611:28 token recognition error at: '''
% 1.13/0.92 line 611:29 token recognition error at: '@'
% 1.13/0.92 line 611:30 token recognition error at: '='
% 1.13/0.92 line 611:31 token recognition error at: '<'
% 1.13/0.92 line 611:32 token recognition error at: '_'
% 1.13/0.92 line 611:41 token recognition error at: '''
% 1.13/0.92 line 611:53 token recognition error at: '''
% 1.13/0.92 line 611:54 token recognition error at: '@'
% 1.13/0.92 line 611:55 token recognition error at: '<'
% 1.13/0.92 line 611:56 token recognition error at: '_'
% 1.13/0.92 line 611:65 token recognition error at: '''
% 1.13/0.92 line 611:76 token recognition error at: '''
% 1.13/0.92 line 611:77 token recognition error at: '@'
% 1.13/0.92 line 611:78 token recognition error at: '='
% 1.13/0.92 line 611:79 token recognition error at: '<'
% 1.13/0.92 line 611:80 token recognition error at: '_'
% 1.13/0.92 line 611:89 token recognition error at: '''
% 1.13/0.92 line 614:4 token recognition error at: '''
% 1.13/0.92 line 614:5 token recognition error at: '@'
% 1.13/0.92 line 614:6 token recognition error at: '<'
% 1.13/0.92 line 614:7 token recognition error at: '_'
% 1.13/0.92 line 614:16 token recognition error at: '''
% 1.13/0.92 line 614:28 token recognition error at: '''
% 1.13/0.92 line 614:29 token recognition error at: '@'
% 1.13/0.92 line 614:30 token recognition error at: '='
% 1.13/0.92 line 614:31 token recognition error at: '<'
% 1.13/0.92 line 614:32 token recognition error at: '_'
% 1.13/0.92 line 614:41 token recognition error at: '''
% 1.13/0.92 line 614:53 token recognition error at: '''
% 1.13/0.92 line 614:54 token recognition error at: '@'
% 1.13/0.92 line 614:55 token recognition error at: '<'
% 1.13/0.92 line 614:56 token recognition error at: '_'
% 1.13/0.92 line 614:65 token recognition error at: '''
% 1.13/0.92 line 617:5 token recognition error at: '''
% 1.13/0.92 line 617:6 token recognition error at: '@'
% 1.13/0.92 line 617:7 token recognition error at: '<'
% 1.13/0.93 line 617:8 token recognition error at: '_'
% 1.13/0.93 line 617:17 token recognition error at: '''
% 1.13/0.93 line 620:4 token recognition error at: '''
% 1.13/0.93 line 620:5 token recognition error at: '@'
% 1.13/0.93 line 620:6 token recognition error at: '<'
% 1.13/0.93 line 620:7 token recognition error at: '_'
% 1.13/0.93 line 620:16 token recognition error at: '''
% 1.13/0.93 line 623:4 token recognition error at: '''
% 1.13/0.93 line 623:5 token recognition error at: '@'
% 1.13/0.93 line 623:6 token recognition error at: '='
% 1.13/0.93 line 623:7 token recognition error at: '<'
% 1.13/0.93 line 623:8 token recognition error at: '_'
% 1.13/0.93 line 623:17 token recognition error at: '''
% 1.13/0.93 % SZS status Error
% 1.13/0.93 java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 1.13/0.93 java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 1.13/0.93 at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:122)
% 1.13/0.93 at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:205)
% 1.13/0.93 at Main.main(Main.java:24)
% 1.13/0.93 Caused by: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 1.13/0.93 at Main.loadFormulas(Main.java:194)
% 1.13/0.93 at Main.runModelBuilder(Main.java:42)
% 1.13/0.93 at Main.lambda$main$0(Main.java:21)
% 1.13/0.93 at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
% 1.13/0.93 at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
% 1.13/0.93 at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
% 1.13/0.93 at java.base/java.lang.Thread.run(Thread.java:1583)
% 1.13/0.99 % FMB4L exiting
%------------------------------------------------------------------------------