↑ Up

FMB4J---0.1.UNK-Non.f

View TPTP
Problem
Process solution in
SystemOnTSTP
Download .tgz
%------------------------------------------------------------------------------
% File     : FMB4J---0.1
% Problem  : SWX027+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:14 PM UTC 2026

% Result   : Unknown 1.66s 1.06s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.04  % Problem  : SWX027+1 : TPTP v9.3.1. Released v9.1.0.
% 0.00/0.06  % Command  : run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.19/0.45  % Computer : n026.cluster.edu
% 0.19/0.45  % Model    : x86_64 x86_64
% 0.19/0.45  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.19/0.45  % Memory   : 8046.5625MB
% 0.19/0.45  % OS       : Linux 6.8.0-71-generic
% 0.19/0.45  % CPULimit : 300
% 0.19/0.45  % WCLimit  : 300
% 0.19/0.45  % DateTime : Thu Sep 24 23:23:39 UTC 2026
% 0.19/0.45  % CPUTime  : 
% 0.19/0.45  Running run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.23/0.54  Running: java -jar /export/starexec/sandbox/solver/bin/FMB4J.jar /export/starexec/sandbox/tmp/tmp.nRVAr4mxEj/theBenchmark.cnf 300
% 0.72/0.82  line 23:53 token recognition error at: '''
% 0.72/0.82  line 23:54 token recognition error at: '@'
% 0.72/0.82  line 23:55 token recognition error at: '<'
% 0.72/0.82  line 23:56 token recognition error at: '_'
% 0.72/0.82  line 23:67 token recognition error at: '''
% 0.72/0.82  line 23:78 token recognition error at: '''
% 0.72/0.82  line 23:79 token recognition error at: '@'
% 0.72/0.82  line 23:80 token recognition error at: '<'
% 0.72/0.82  line 23:81 token recognition error at: '_'
% 0.72/0.82  line 23:92 token recognition error at: '''
% 0.72/0.82  line 26:53 token recognition error at: '''
% 0.72/0.82  line 26:54 token recognition error at: '@'
% 0.72/0.82  line 26:55 token recognition error at: '<'
% 0.72/0.82  line 26:56 token recognition error at: '_'
% 0.72/0.82  line 26:62 token recognition error at: '''
% 0.72/0.82  line 26:73 token recognition error at: '''
% 0.72/0.82  line 26:74 token recognition error at: '@'
% 0.72/0.82  line 26:75 token recognition error at: '<'
% 0.72/0.82  line 26:76 token recognition error at: '_'
% 0.72/0.82  line 26:82 token recognition error at: '''
% 0.72/0.82  line 29:53 token recognition error at: '''
% 0.72/0.82  line 29:54 token recognition error at: '@'
% 0.72/0.83  line 29:55 token recognition error at: '<'
% 0.72/0.83  line 29:56 token recognition error at: '_'
% 0.72/0.83  line 29:65 token recognition error at: '''
% 0.72/0.83  line 29:76 token recognition error at: '''
% 0.72/0.83  line 29:77 token recognition error at: '@'
% 0.72/0.83  line 29:78 token recognition error at: '<'
% 0.72/0.83  line 29:79 token recognition error at: '_'
% 0.72/0.83  line 29:88 token recognition error at: '''
% 0.72/0.83  line 32:53 token recognition error at: '''
% 0.72/0.83  line 32:54 token recognition error at: '@'
% 0.72/0.83  line 32:55 token recognition error at: '='
% 0.72/0.83  line 32:56 token recognition error at: '<'
% 0.72/0.83  line 32:57 token recognition error at: '_'
% 0.72/0.83  line 32:68 token recognition error at: '''
% 0.72/0.83  line 32:79 token recognition error at: '''
% 0.72/0.83  line 32:80 token recognition error at: '@'
% 0.72/0.83  line 32:81 token recognition error at: '='
% 0.72/0.83  line 32:82 token recognition error at: '<'
% 0.72/0.83  line 32:83 token recognition error at: '_'
% 0.72/0.83  line 32:94 token recognition error at: '''
% 0.72/0.83  line 35:53 token recognition error at: '''
% 0.72/0.83  line 35:54 token recognition error at: '@'
% 0.72/0.83  line 35:55 token recognition error at: '='
% 0.72/0.83  line 35:56 token recognition error at: '<'
% 0.72/0.83  line 35:57 token recognition error at: '_'
% 0.72/0.83  line 35:63 token recognition error at: '''
% 0.72/0.83  line 35:74 token recognition error at: '''
% 0.72/0.83  line 35:75 token recognition error at: '@'
% 0.72/0.83  line 35:76 token recognition error at: '='
% 0.72/0.83  line 35:77 token recognition error at: '<'
% 0.72/0.83  line 35:78 token recognition error at: '_'
% 0.72/0.83  line 35:84 token recognition error at: '''
% 0.72/0.83  line 38:53 token recognition error at: '''
% 0.72/0.84  line 38:54 token recognition error at: '@'
% 0.72/0.84  line 38:55 token recognition error at: '='
% 0.72/0.84  line 38:56 token recognition error at: '<'
% 0.72/0.84  line 38:57 token recognition error at: '_'
% 0.72/0.84  line 38:66 token recognition error at: '''
% 0.72/0.84  line 38:77 token recognition error at: '''
% 0.72/0.84  line 38:78 token recognition error at: '@'
% 0.72/0.84  line 38:79 token recognition error at: '='
% 0.72/0.84  line 38:80 token recognition error at: '<'
% 0.72/0.84  line 38:81 token recognition error at: '_'
% 0.72/0.84  line 38:90 token recognition error at: '''
% 0.72/0.86  line 119:66 token recognition error at: '''
% 0.72/0.86  line 119:67 token recognition error at: '*'
% 0.72/0.86  line 119:68 token recognition error at: '*'
% 0.72/0.86  line 119:69 token recognition error at: '''
% 0.72/0.86  line 119:70 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.86  line 119:78 token recognition error at: '''
% 0.72/0.86  line 119:79 token recognition error at: '*'
% 0.72/0.86  line 119:80 token recognition error at: '*'
% 0.72/0.86  line 119:81 token recognition error at: '''
% 0.72/0.86  line 119:77 mismatched input ',' expecting {',', ')'}
% 0.72/0.86  line 122:66 token recognition error at: '''
% 0.72/0.86  line 122:67 token recognition error at: '@'
% 0.72/0.86  line 122:68 token recognition error at: '*'
% 0.72/0.86  line 122:69 token recognition error at: '''
% 0.72/0.86  line 122:70 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.86  line 122:78 token recognition error at: '''
% 0.72/0.86  line 122:79 token recognition error at: '@'
% 0.72/0.87  line 122:80 token recognition error at: '*'
% 0.72/0.87  line 122:81 token recognition error at: '''
% 0.72/0.87  line 122:77 mismatched input ',' expecting {',', ')'}
% 0.72/0.87  line 125:66 token recognition error at: '''
% 0.72/0.87  line 125:67 token recognition error at: '@'
% 0.72/0.87  line 125:68 token recognition error at: '+'
% 0.72/0.87  line 125:69 token recognition error at: '''
% 0.72/0.87  line 125:70 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.87  line 125:78 token recognition error at: '''
% 0.72/0.87  line 125:79 token recognition error at: '@'
% 0.72/0.87  line 125:80 token recognition error at: '+'
% 0.72/0.87  line 125:81 token recognition error at: '''
% 0.72/0.87  line 125:77 mismatched input ',' expecting {',', ')'}
% 0.72/0.87  line 134:23 token recognition error at: '''
% 0.72/0.87  line 134:24 token recognition error at: '*'
% 0.72/0.87  line 134:25 token recognition error at: '*'
% 0.72/0.87  line 134:26 token recognition error at: '''
% 0.72/0.87  line 134:27 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.87  line 134:44 token recognition error at: '''
% 0.72/0.87  line 134:45 token recognition error at: '*'
% 0.72/0.87  line 134:46 token recognition error at: '*'
% 0.72/0.87  line 134:47 token recognition error at: '''
% 0.72/0.87  line 134:43 mismatched input ',' expecting {',', ')'}
% 0.72/0.87  line 140:23 token recognition error at: '''
% 0.72/0.87  line 140:24 token recognition error at: '*'
% 0.72/0.87  line 140:25 token recognition error at: '*'
% 0.72/0.87  line 140:26 token recognition error at: '''
% 0.72/0.87  line 140:27 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.87  line 140:46 token recognition error at: '''
% 0.72/0.87  line 140:47 token recognition error at: '*'
% 0.72/0.87  line 140:48 token recognition error at: '*'
% 0.72/0.87  line 140:49 token recognition error at: '''
% 0.72/0.87  line 140:45 mismatched input ',' expecting {',', ')'}
% 0.72/0.88  line 161:19 token recognition error at: '''
% 0.72/0.88  line 161:20 token recognition error at: '0'
% 0.72/0.88  line 161:21 token recognition error at: '''
% 0.72/0.88  line 161:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.88  line 164:19 token recognition error at: '''
% 0.72/0.88  line 164:20 token recognition error at: '0'
% 0.72/0.88  line 164:21 token recognition error at: '''
% 0.72/0.88  line 164:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.88  line 167:19 token recognition error at: '''
% 0.72/0.88  line 167:20 token recognition error at: '0'
% 0.72/0.88  line 167:21 token recognition error at: '''
% 0.72/0.88  line 167:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.88  line 188:7 token recognition error at: '''
% 0.72/0.88  line 188:8 token recognition error at: '0'
% 0.72/0.88  line 188:9 token recognition error at: '''
% 0.72/0.88  line 188:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.72/0.89  line 257:5 token recognition error at: '''
% 0.72/0.89  line 257:6 token recognition error at: '@'
% 0.72/0.89  line 257:7 token recognition error at: '='
% 0.72/0.89  line 257:8 token recognition error at: '<'
% 0.72/0.89  line 257:9 token recognition error at: '_'
% 0.72/0.89  line 257:18 token recognition error at: '''
% 0.72/0.89  line 257:30 token recognition error at: '''
% 0.72/0.89  line 257:31 token recognition error at: '@'
% 0.72/0.89  line 257:32 token recognition error at: '='
% 0.72/0.89  line 257:33 token recognition error at: '<'
% 0.72/0.89  line 257:34 token recognition error at: '_'
% 0.72/0.89  line 257:40 token recognition error at: '''
% 0.72/0.89  line 260:4 token recognition error at: '''
% 0.72/0.89  line 260:5 token recognition error at: '@'
% 0.72/0.89  line 260:6 token recognition error at: '='
% 0.72/0.89  line 260:7 token recognition error at: '<'
% 0.72/0.89  line 260:8 token recognition error at: '_'
% 0.72/0.89  line 260:17 token recognition error at: '''
% 0.72/0.89  line 260:28 token recognition error at: '''
% 0.72/0.89  line 260:29 token recognition error at: '@'
% 0.72/0.89  line 260:30 token recognition error at: '='
% 0.72/0.89  line 260:31 token recognition error at: '<'
% 0.72/0.89  line 260:32 token recognition error at: '_'
% 0.72/0.89  line 260:38 token recognition error at: '''
% 0.72/0.89  line 260:50 token recognition error at: '''
% 0.72/0.89  line 260:51 token recognition error at: '@'
% 0.72/0.89  line 260:52 token recognition error at: '='
% 0.72/0.89  line 260:53 token recognition error at: '<'
% 0.72/0.89  line 260:54 token recognition error at: '_'
% 0.72/0.89  line 260:65 token recognition error at: '''
% 0.72/0.89  line 263:5 token recognition error at: '''
% 0.72/0.89  line 263:6 token recognition error at: '@'
% 0.72/0.89  line 263:7 token recognition error at: '<'
% 0.72/0.89  line 263:8 token recognition error at: '_'
% 0.72/0.89  line 263:17 token recognition error at: '''
% 0.72/0.89  line 263:29 token recognition error at: '''
% 0.72/0.89  line 263:30 token recognition error at: '@'
% 0.72/0.89  line 263:31 token recognition error at: '<'
% 0.72/0.89  line 263:32 token recognition error at: '_'
% 0.72/0.89  line 263:38 token recognition error at: '''
% 0.72/0.89  line 266:4 token recognition error at: '''
% 0.72/0.89  line 266:5 token recognition error at: '@'
% 0.72/0.89  line 266:6 token recognition error at: '<'
% 0.72/0.89  line 266:7 token recognition error at: '_'
% 0.72/0.89  line 266:16 token recognition error at: '''
% 0.72/0.89  line 266:27 token recognition error at: '''
% 0.72/0.89  line 266:28 token recognition error at: '@'
% 0.72/0.89  line 266:29 token recognition error at: '<'
% 0.72/0.89  line 266:30 token recognition error at: '_'
% 0.72/0.89  line 266:36 token recognition error at: '''
% 0.72/0.89  line 266:48 token recognition error at: '''
% 0.72/0.89  line 266:49 token recognition error at: '@'
% 0.72/0.89  line 266:50 token recognition error at: '<'
% 0.72/0.89  line 266:51 token recognition error at: '_'
% 0.72/0.89  line 266:62 token recognition error at: '''
% 0.99/0.90  line 320:24 token recognition error at: '''
% 0.99/0.90  line 320:25 token recognition error at: '0'
% 0.99/0.90  line 320:26 token recognition error at: '''
% 0.99/0.90  line 320:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.90  line 326:67 token recognition error at: '''
% 0.99/0.90  line 326:68 token recognition error at: '0'
% 0.99/0.90  line 326:69 token recognition error at: '''
% 0.99/0.90  line 326:70 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.90  line 332:53 token recognition error at: '''
% 0.99/0.90  line 332:54 token recognition error at: '0'
% 0.99/0.90  line 332:55 token recognition error at: '''
% 0.99/0.90  line 332:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.90  line 338:61 token recognition error at: '''
% 0.99/0.90  line 338:62 token recognition error at: '0'
% 0.99/0.90  line 338:63 token recognition error at: '''
% 0.99/0.90  line 338:64 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.90  line 344:90 token recognition error at: '''
% 0.99/0.90  line 344:91 token recognition error at: '0'
% 0.99/0.90  line 344:92 token recognition error at: '''
% 0.99/0.90  line 344:93 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.90  line 350:75 token recognition error at: '''
% 0.99/0.90  line 350:76 token recognition error at: '0'
% 0.99/0.90  line 350:77 token recognition error at: '''
% 0.99/0.90  line 350:78 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.90  line 356:81 token recognition error at: '''
% 0.99/0.90  line 356:82 token recognition error at: '0'
% 0.99/0.90  line 356:83 token recognition error at: '''
% 0.99/0.90  line 356:84 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.90  line 362:22 token recognition error at: '''
% 0.99/0.90  line 362:23 token recognition error at: '0'
% 0.99/0.90  line 362:24 token recognition error at: '''
% 0.99/0.90  line 362:25 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 551:19 token recognition error at: '''
% 0.99/0.91  line 551:20 token recognition error at: '0'
% 0.99/0.91  line 551:21 token recognition error at: '''
% 0.99/0.91  line 551:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 551:26 token recognition error at: '''
% 0.99/0.91  line 551:27 token recognition error at: '0'
% 0.99/0.91  line 551:28 token recognition error at: '''
% 0.99/0.91  line 551:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 554:56 token recognition error at: '''
% 0.99/0.91  line 554:57 token recognition error at: '0'
% 0.99/0.91  line 554:58 token recognition error at: '''
% 0.99/0.91  line 554:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 557:56 token recognition error at: '''
% 0.99/0.91  line 557:57 token recognition error at: '0'
% 0.99/0.91  line 557:58 token recognition error at: '''
% 0.99/0.91  line 557:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 560:69 token recognition error at: '''
% 0.99/0.91  line 560:70 token recognition error at: '0'
% 0.99/0.91  line 560:71 token recognition error at: '''
% 0.99/0.91  line 560:72 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 563:69 token recognition error at: '''
% 0.99/0.91  line 563:70 token recognition error at: '0'
% 0.99/0.91  line 563:71 token recognition error at: '''
% 0.99/0.91  line 563:72 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 566:56 token recognition error at: '''
% 0.99/0.91  line 566:57 token recognition error at: '0'
% 0.99/0.91  line 566:58 token recognition error at: '''
% 0.99/0.91  line 566:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 569:56 token recognition error at: '''
% 0.99/0.91  line 569:57 token recognition error at: '0'
% 0.99/0.91  line 569:58 token recognition error at: '''
% 0.99/0.91  line 569:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 572:80 token recognition error at: '''
% 0.99/0.91  line 572:81 token recognition error at: '0'
% 0.99/0.91  line 572:82 token recognition error at: '''
% 0.99/0.91  line 572:83 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 575:80 token recognition error at: '''
% 0.99/0.91  line 575:81 token recognition error at: '0'
% 0.99/0.91  line 575:82 token recognition error at: '''
% 0.99/0.91  line 575:83 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 578:91 token recognition error at: '''
% 0.99/0.91  line 578:92 token recognition error at: '0'
% 0.99/0.91  line 578:93 token recognition error at: '''
% 0.99/0.91  line 578:94 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.91  line 581:91 token recognition error at: '''
% 0.99/0.91  line 581:92 token recognition error at: '0'
% 0.99/0.92  line 581:93 token recognition error at: '''
% 0.99/0.92  line 581:94 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 584:78 token recognition error at: '''
% 0.99/0.92  line 584:79 token recognition error at: '0'
% 0.99/0.92  line 584:80 token recognition error at: '''
% 0.99/0.92  line 584:81 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 587:78 token recognition error at: '''
% 0.99/0.92  line 587:79 token recognition error at: '0'
% 0.99/0.92  line 587:80 token recognition error at: '''
% 0.99/0.92  line 587:81 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 593:17 token recognition error at: '''
% 0.99/0.92  line 593:18 token recognition error at: '0'
% 0.99/0.92  line 593:19 token recognition error at: '''
% 0.99/0.92  line 593:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 593:24 token recognition error at: '''
% 0.99/0.92  line 593:25 token recognition error at: '0'
% 0.99/0.92  line 593:26 token recognition error at: '''
% 0.99/0.92  line 593:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 611:18 token recognition error at: '''
% 0.99/0.92  line 611:19 token recognition error at: '0'
% 0.99/0.92  line 611:20 token recognition error at: '''
% 0.99/0.92  line 611:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 614:56 token recognition error at: '''
% 0.99/0.92  line 614:57 token recognition error at: '0'
% 0.99/0.92  line 614:58 token recognition error at: '''
% 0.99/0.92  line 614:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 620:56 token recognition error at: '''
% 0.99/0.92  line 620:57 token recognition error at: '0'
% 0.99/0.92  line 620:58 token recognition error at: '''
% 0.99/0.92  line 620:59 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 626:68 token recognition error at: '''
% 0.99/0.92  line 626:69 token recognition error at: '0'
% 0.99/0.92  line 626:70 token recognition error at: '''
% 0.99/0.92  line 626:71 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 632:79 token recognition error at: '''
% 0.99/0.92  line 632:80 token recognition error at: '0'
% 0.99/0.92  line 632:81 token recognition error at: '''
% 0.99/0.92  line 632:82 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 638:79 token recognition error at: '''
% 0.99/0.92  line 638:80 token recognition error at: '0'
% 0.99/0.92  line 638:81 token recognition error at: '''
% 0.99/0.92  line 638:82 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 644:89 token recognition error at: '''
% 0.99/0.92  line 644:90 token recognition error at: '0'
% 0.99/0.92  line 644:91 token recognition error at: '''
% 0.99/0.92  line 644:92 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 653:16 token recognition error at: '''
% 0.99/0.92  line 653:17 token recognition error at: '0'
% 0.99/0.92  line 653:18 token recognition error at: '''
% 0.99/0.92  line 653:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 668:4 token recognition error at: '''
% 0.99/0.92  line 668:5 token recognition error at: '@'
% 0.99/0.92  line 668:6 token recognition error at: '='
% 0.99/0.92  line 668:7 token recognition error at: '<'
% 0.99/0.92  line 668:8 token recognition error at: '_'
% 0.99/0.92  line 668:17 token recognition error at: '''
% 0.99/0.92  line 668:35 token recognition error at: '''
% 0.99/0.92  line 668:36 token recognition error at: '@'
% 0.99/0.92  line 668:37 token recognition error at: '='
% 0.99/0.92  line 668:38 token recognition error at: '<'
% 0.99/0.92  line 668:39 token recognition error at: '_'
% 0.99/0.92  line 668:48 token recognition error at: '''
% 0.99/0.92  line 671:4 token recognition error at: '''
% 0.99/0.92  line 671:5 token recognition error at: '@'
% 0.99/0.92  line 671:6 token recognition error at: '='
% 0.99/0.92  line 671:7 token recognition error at: '<'
% 0.99/0.92  line 671:8 token recognition error at: '_'
% 0.99/0.92  line 671:17 token recognition error at: '''
% 0.99/0.92  line 671:19 token recognition error at: '''
% 0.99/0.92  line 671:20 token recognition error at: '0'
% 0.99/0.92  line 671:21 token recognition error at: '''
% 0.99/0.92  line 671:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 674:53 token recognition error at: '''
% 0.99/0.92  line 674:54 token recognition error at: '0'
% 0.99/0.92  line 674:55 token recognition error at: '''
% 0.99/0.92  line 674:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 674:64 token recognition error at: '''
% 0.99/0.92  line 674:65 token recognition error at: '@'
% 0.99/0.92  line 674:66 token recognition error at: '='
% 0.99/0.92  line 674:67 token recognition error at: '<'
% 0.99/0.92  line 674:68 token recognition error at: '_'
% 0.99/0.92  line 674:77 token recognition error at: '''
% 0.99/0.92  line 677:53 token recognition error at: '''
% 0.99/0.92  line 677:54 token recognition error at: '0'
% 0.99/0.92  line 677:55 token recognition error at: '''
% 0.99/0.92  line 677:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 677:64 token recognition error at: '''
% 0.99/0.92  line 677:65 token recognition error at: '@'
% 0.99/0.92  line 677:66 token recognition error at: '='
% 0.99/0.92  line 677:67 token recognition error at: '<'
% 0.99/0.92  line 677:68 token recognition error at: '_'
% 0.99/0.92  line 677:77 token recognition error at: '''
% 0.99/0.92  line 680:4 token recognition error at: '''
% 0.99/0.92  line 680:5 token recognition error at: '@'
% 0.99/0.92  line 680:6 token recognition error at: '='
% 0.99/0.92  line 680:7 token recognition error at: '<'
% 0.99/0.92  line 680:8 token recognition error at: '_'
% 0.99/0.92  line 680:17 token recognition error at: '''
% 0.99/0.92  line 680:60 token recognition error at: '''
% 0.99/0.92  line 680:61 token recognition error at: '0'
% 0.99/0.92  line 680:62 token recognition error at: '''
% 0.99/0.92  line 680:63 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 680:71 token recognition error at: '''
% 0.99/0.92  line 680:72 token recognition error at: '@'
% 0.99/0.92  line 680:73 token recognition error at: '='
% 0.99/0.92  line 680:74 token recognition error at: '<'
% 0.99/0.92  line 680:75 token recognition error at: '_'
% 0.99/0.92  line 680:84 token recognition error at: '''
% 0.99/0.92  line 683:4 token recognition error at: '''
% 0.99/0.92  line 683:5 token recognition error at: '@'
% 0.99/0.92  line 683:6 token recognition error at: '='
% 0.99/0.92  line 683:7 token recognition error at: '<'
% 0.99/0.92  line 683:8 token recognition error at: '_'
% 0.99/0.92  line 683:14 token recognition error at: '''
% 0.99/0.92  line 683:74 token recognition error at: '''
% 0.99/0.92  line 683:75 token recognition error at: '0'
% 0.99/0.92  line 683:76 token recognition error at: '''
% 0.99/0.92  line 683:77 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.92  line 686:4 token recognition error at: '''
% 0.99/0.92  line 686:5 token recognition error at: '@'
% 0.99/0.92  line 686:6 token recognition error at: '='
% 0.99/0.92  line 686:7 token recognition error at: '<'
% 0.99/0.92  line 686:8 token recognition error at: '_'
% 0.99/0.93  line 686:14 token recognition error at: '''
% 0.99/0.93  line 686:74 token recognition error at: '''
% 0.99/0.93  line 686:75 token recognition error at: '0'
% 0.99/0.93  line 686:76 token recognition error at: '''
% 0.99/0.93  line 686:77 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.93  line 689:4 token recognition error at: '''
% 0.99/0.93  line 689:5 token recognition error at: '@'
% 0.99/0.93  line 689:6 token recognition error at: '='
% 0.99/0.93  line 689:7 token recognition error at: '<'
% 0.99/0.93  line 689:8 token recognition error at: '_'
% 0.99/0.93  line 689:14 token recognition error at: '''
% 0.99/0.93  line 689:26 token recognition error at: '''
% 0.99/0.93  line 689:27 token recognition error at: '@'
% 0.99/0.93  line 689:28 token recognition error at: '='
% 0.99/0.93  line 689:29 token recognition error at: '<'
% 0.99/0.93  line 689:30 token recognition error at: '_'
% 0.99/0.93  line 689:36 token recognition error at: '''
% 0.99/0.93  line 689:79 token recognition error at: '''
% 0.99/0.93  line 689:80 token recognition error at: '0'
% 0.99/0.93  line 689:81 token recognition error at: '''
% 0.99/0.93  line 689:82 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.93  line 692:4 token recognition error at: '''
% 0.99/0.93  line 692:5 token recognition error at: '@'
% 0.99/0.93  line 692:6 token recognition error at: '='
% 0.99/0.93  line 692:7 token recognition error at: '<'
% 0.99/0.93  line 692:8 token recognition error at: '_'
% 0.99/0.93  line 692:14 token recognition error at: '''
% 0.99/0.93  line 692:26 token recognition error at: '''
% 0.99/0.93  line 692:27 token recognition error at: '@'
% 0.99/0.93  line 692:28 token recognition error at: '='
% 0.99/0.93  line 692:29 token recognition error at: '<'
% 0.99/0.93  line 692:30 token recognition error at: '_'
% 0.99/0.93  line 692:36 token recognition error at: '''
% 0.99/0.93  line 695:5 token recognition error at: '''
% 0.99/0.93  line 695:6 token recognition error at: '@'
% 0.99/0.93  line 695:7 token recognition error at: '='
% 0.99/0.93  line 695:8 token recognition error at: '<'
% 0.99/0.93  line 695:9 token recognition error at: '_'
% 0.99/0.93  line 695:15 token recognition error at: '''
% 0.99/0.93  line 695:17 token recognition error at: '''
% 0.99/0.93  line 695:18 token recognition error at: '0'
% 0.99/0.93  line 695:19 token recognition error at: '''
% 0.99/0.93  line 695:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.93  line 698:4 token recognition error at: '''
% 0.99/0.93  line 698:5 token recognition error at: '@'
% 0.99/0.93  line 698:6 token recognition error at: '='
% 0.99/0.93  line 698:7 token recognition error at: '<'
% 0.99/0.93  line 698:8 token recognition error at: '_'
% 0.99/0.93  line 698:19 token recognition error at: '''
% 0.99/0.93  line 701:4 token recognition error at: '''
% 0.99/0.93  line 701:5 token recognition error at: '@'
% 0.99/0.93  line 701:6 token recognition error at: '='
% 0.99/0.93  line 701:7 token recognition error at: '<'
% 0.99/0.93  line 701:8 token recognition error at: '_'
% 0.99/0.93  line 701:19 token recognition error at: '''
% 0.99/0.93  line 704:4 token recognition error at: '''
% 0.99/0.93  line 704:5 token recognition error at: '@'
% 0.99/0.93  line 704:6 token recognition error at: '='
% 0.99/0.93  line 704:7 token recognition error at: '<'
% 0.99/0.93  line 704:8 token recognition error at: '_'
% 0.99/0.93  line 704:19 token recognition error at: '''
% 0.99/0.93  line 704:31 token recognition error at: '''
% 0.99/0.93  line 704:32 token recognition error at: '@'
% 0.99/0.93  line 704:33 token recognition error at: '='
% 0.99/0.93  line 704:34 token recognition error at: '<'
% 0.99/0.93  line 704:35 token recognition error at: '_'
% 0.99/0.93  line 704:46 token recognition error at: '''
% 0.99/0.93  line 707:4 token recognition error at: '''
% 0.99/0.93  line 707:5 token recognition error at: '@'
% 0.99/0.93  line 707:6 token recognition error at: '='
% 0.99/0.93  line 707:7 token recognition error at: '<'
% 0.99/0.93  line 707:8 token recognition error at: '_'
% 0.99/0.93  line 707:19 token recognition error at: '''
% 0.99/0.93  line 707:31 token recognition error at: '''
% 0.99/0.93  line 707:32 token recognition error at: '@'
% 0.99/0.93  line 707:33 token recognition error at: '='
% 0.99/0.93  line 707:34 token recognition error at: '<'
% 0.99/0.93  line 707:35 token recognition error at: '_'
% 0.99/0.93  line 707:46 token recognition error at: '''
% 0.99/0.93  line 710:4 token recognition error at: '''
% 0.99/0.93  line 710:5 token recognition error at: '@'
% 0.99/0.93  line 710:6 token recognition error at: '<'
% 0.99/0.93  line 710:7 token recognition error at: '_'
% 0.99/0.93  line 710:16 token recognition error at: '''
% 0.99/0.93  line 710:34 token recognition error at: '''
% 0.99/0.93  line 710:35 token recognition error at: '@'
% 0.99/0.93  line 710:36 token recognition error at: '<'
% 0.99/0.93  line 710:37 token recognition error at: '_'
% 0.99/0.93  line 710:46 token recognition error at: '''
% 0.99/0.93  line 713:4 token recognition error at: '''
% 0.99/0.93  line 713:5 token recognition error at: '@'
% 0.99/0.93  line 713:6 token recognition error at: '<'
% 0.99/0.93  line 713:7 token recognition error at: '_'
% 0.99/0.93  line 713:16 token recognition error at: '''
% 0.99/0.93  line 713:18 token recognition error at: '''
% 0.99/0.93  line 713:19 token recognition error at: '0'
% 0.99/0.93  line 713:20 token recognition error at: '''
% 0.99/0.93  line 713:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.93  line 716:53 token recognition error at: '''
% 0.99/0.93  line 716:54 token recognition error at: '0'
% 0.99/0.93  line 716:55 token recognition error at: '''
% 0.99/0.93  line 716:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.93  line 716:64 token recognition error at: '''
% 0.99/0.93  line 716:65 token recognition error at: '@'
% 0.99/0.93  line 716:66 token recognition error at: '<'
% 0.99/0.93  line 716:67 token recognition error at: '_'
% 0.99/0.93  line 716:76 token recognition error at: '''
% 0.99/0.93  line 719:75 token recognition error at: '''
% 0.99/0.93  line 719:76 token recognition error at: '@'
% 0.99/0.93  line 719:77 token recognition error at: '<'
% 0.99/0.93  line 719:78 token recognition error at: '_'
% 0.99/0.93  line 719:87 token recognition error at: '''
% 0.99/0.93  line 722:53 token recognition error at: '''
% 0.99/0.93  line 722:54 token recognition error at: '0'
% 0.99/0.93  line 722:55 token recognition error at: '''
% 0.99/0.93  line 722:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.93  line 722:64 token recognition error at: '''
% 0.99/0.93  line 722:65 token recognition error at: '@'
% 0.99/0.93  line 722:66 token recognition error at: '<'
% 0.99/0.93  line 722:67 token recognition error at: '_'
% 0.99/0.93  line 722:76 token recognition error at: '''
% 0.99/0.93  line 725:75 token recognition error at: '''
% 0.99/0.93  line 725:76 token recognition error at: '@'
% 0.99/0.93  line 725:77 token recognition error at: '<'
% 0.99/0.93  line 725:78 token recognition error at: '_'
% 0.99/0.93  line 725:87 token recognition error at: '''
% 0.99/0.93  line 728:4 token recognition error at: '''
% 0.99/0.93  line 728:5 token recognition error at: '@'
% 0.99/0.93  line 728:6 token recognition error at: '<'
% 0.99/0.93  line 728:7 token recognition error at: '_'
% 0.99/0.93  line 728:16 token recognition error at: '''
% 0.99/0.93  line 728:59 token recognition error at: '''
% 0.99/0.93  line 728:60 token recognition error at: '0'
% 0.99/0.93  line 728:61 token recognition error at: '''
% 0.99/0.93  line 728:62 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.93  line 728:70 token recognition error at: '''
% 0.99/0.93  line 728:71 token recognition error at: '@'
% 0.99/0.93  line 728:72 token recognition error at: '<'
% 0.99/0.93  line 728:73 token recognition error at: '_'
% 0.99/0.93  line 728:82 token recognition error at: '''
% 0.99/0.93  line 731:4 token recognition error at: '''
% 0.99/0.93  line 731:5 token recognition error at: '@'
% 0.99/0.93  line 731:6 token recognition error at: '<'
% 0.99/0.93  line 731:7 token recognition error at: '_'
% 0.99/0.93  line 731:16 token recognition error at: '''
% 0.99/0.94  line 731:81 token recognition error at: '''
% 0.99/0.94  line 731:82 token recognition error at: '@'
% 0.99/0.94  line 731:83 token recognition error at: '<'
% 0.99/0.94  line 731:84 token recognition error at: '_'
% 0.99/0.94  line 731:93 token recognition error at: '''
% 0.99/0.94  line 734:4 token recognition error at: '''
% 0.99/0.94  line 734:5 token recognition error at: '@'
% 0.99/0.94  line 734:6 token recognition error at: '<'
% 0.99/0.94  line 734:7 token recognition error at: '_'
% 0.99/0.94  line 734:13 token recognition error at: '''
% 0.99/0.94  line 734:73 token recognition error at: '''
% 0.99/0.94  line 734:74 token recognition error at: '0'
% 0.99/0.94  line 734:75 token recognition error at: '''
% 0.99/0.94  line 734:76 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 737:4 token recognition error at: '''
% 0.99/0.94  line 737:5 token recognition error at: '@'
% 0.99/0.94  line 737:6 token recognition error at: '<'
% 0.99/0.94  line 737:7 token recognition error at: '_'
% 0.99/0.94  line 737:13 token recognition error at: '''
% 0.99/0.94  line 740:4 token recognition error at: '''
% 0.99/0.94  line 740:5 token recognition error at: '@'
% 0.99/0.94  line 740:6 token recognition error at: '<'
% 0.99/0.94  line 740:7 token recognition error at: '_'
% 0.99/0.94  line 740:13 token recognition error at: '''
% 0.99/0.94  line 740:73 token recognition error at: '''
% 0.99/0.94  line 740:74 token recognition error at: '0'
% 0.99/0.94  line 740:75 token recognition error at: '''
% 0.99/0.94  line 740:76 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 743:4 token recognition error at: '''
% 0.99/0.94  line 743:5 token recognition error at: '@'
% 0.99/0.94  line 743:6 token recognition error at: '<'
% 0.99/0.94  line 743:7 token recognition error at: '_'
% 0.99/0.94  line 743:13 token recognition error at: '''
% 0.99/0.94  line 746:4 token recognition error at: '''
% 0.99/0.94  line 746:5 token recognition error at: '@'
% 0.99/0.94  line 746:6 token recognition error at: '<'
% 0.99/0.94  line 746:7 token recognition error at: '_'
% 0.99/0.94  line 746:13 token recognition error at: '''
% 0.99/0.94  line 746:25 token recognition error at: '''
% 0.99/0.94  line 746:26 token recognition error at: '@'
% 0.99/0.94  line 746:27 token recognition error at: '<'
% 0.99/0.94  line 746:28 token recognition error at: '_'
% 0.99/0.94  line 746:34 token recognition error at: '''
% 0.99/0.94  line 746:77 token recognition error at: '''
% 0.99/0.94  line 746:78 token recognition error at: '0'
% 0.99/0.94  line 746:79 token recognition error at: '''
% 0.99/0.94  line 746:80 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 749:4 token recognition error at: '''
% 0.99/0.94  line 749:5 token recognition error at: '@'
% 0.99/0.94  line 749:6 token recognition error at: '<'
% 0.99/0.94  line 749:7 token recognition error at: '_'
% 0.99/0.94  line 749:13 token recognition error at: '''
% 0.99/0.94  line 749:25 token recognition error at: '''
% 0.99/0.94  line 749:26 token recognition error at: '@'
% 0.99/0.94  line 749:27 token recognition error at: '<'
% 0.99/0.94  line 749:28 token recognition error at: '_'
% 0.99/0.94  line 749:34 token recognition error at: '''
% 0.99/0.94  line 752:4 token recognition error at: '''
% 0.99/0.94  line 752:5 token recognition error at: '@'
% 0.99/0.94  line 752:6 token recognition error at: '<'
% 0.99/0.94  line 752:7 token recognition error at: '_'
% 0.99/0.94  line 752:13 token recognition error at: '''
% 0.99/0.94  line 752:25 token recognition error at: '''
% 0.99/0.94  line 752:26 token recognition error at: '@'
% 0.99/0.94  line 752:27 token recognition error at: '<'
% 0.99/0.94  line 752:28 token recognition error at: '_'
% 0.99/0.94  line 752:34 token recognition error at: '''
% 0.99/0.94  line 755:5 token recognition error at: '''
% 0.99/0.94  line 755:6 token recognition error at: '@'
% 0.99/0.94  line 755:7 token recognition error at: '<'
% 0.99/0.94  line 755:8 token recognition error at: '_'
% 0.99/0.94  line 755:14 token recognition error at: '''
% 0.99/0.94  line 755:16 token recognition error at: '''
% 0.99/0.94  line 755:17 token recognition error at: '0'
% 0.99/0.94  line 755:18 token recognition error at: '''
% 0.99/0.94  line 755:19 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 758:4 token recognition error at: '''
% 0.99/0.94  line 758:5 token recognition error at: '@'
% 0.99/0.94  line 758:6 token recognition error at: '<'
% 0.99/0.94  line 758:7 token recognition error at: '_'
% 0.99/0.94  line 758:18 token recognition error at: '''
% 0.99/0.94  line 761:4 token recognition error at: '''
% 0.99/0.94  line 761:5 token recognition error at: '@'
% 0.99/0.94  line 761:6 token recognition error at: '<'
% 0.99/0.94  line 761:7 token recognition error at: '_'
% 0.99/0.94  line 761:18 token recognition error at: '''
% 0.99/0.94  line 764:4 token recognition error at: '''
% 0.99/0.94  line 764:5 token recognition error at: '@'
% 0.99/0.94  line 764:6 token recognition error at: '<'
% 0.99/0.94  line 764:7 token recognition error at: '_'
% 0.99/0.94  line 764:18 token recognition error at: '''
% 0.99/0.94  line 764:30 token recognition error at: '''
% 0.99/0.94  line 764:31 token recognition error at: '@'
% 0.99/0.94  line 764:32 token recognition error at: '<'
% 0.99/0.94  line 764:33 token recognition error at: '_'
% 0.99/0.94  line 764:44 token recognition error at: '''
% 0.99/0.94  line 767:4 token recognition error at: '''
% 0.99/0.94  line 767:5 token recognition error at: '@'
% 0.99/0.94  line 767:6 token recognition error at: '<'
% 0.99/0.94  line 767:7 token recognition error at: '_'
% 0.99/0.94  line 767:18 token recognition error at: '''
% 0.99/0.94  line 767:30 token recognition error at: '''
% 0.99/0.94  line 767:31 token recognition error at: '@'
% 0.99/0.94  line 767:32 token recognition error at: '<'
% 0.99/0.94  line 767:33 token recognition error at: '_'
% 0.99/0.94  line 767:44 token recognition error at: '''
% 0.99/0.94  line 773:17 token recognition error at: '''
% 0.99/0.94  line 773:18 token recognition error at: '0'
% 0.99/0.94  line 773:19 token recognition error at: '''
% 0.99/0.94  line 773:20 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 776:50 token recognition error at: '''
% 0.99/0.94  line 776:51 token recognition error at: '0'
% 0.99/0.94  line 776:52 token recognition error at: '''
% 0.99/0.94  line 776:53 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 779:43 token recognition error at: '''
% 0.99/0.94  line 779:44 token recognition error at: '0'
% 0.99/0.94  line 779:45 token recognition error at: '''
% 0.99/0.94  line 779:46 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 782:66 token recognition error at: '''
% 0.99/0.94  line 782:67 token recognition error at: '0'
% 0.99/0.94  line 782:68 token recognition error at: '''
% 0.99/0.94  line 782:69 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 785:57 token recognition error at: '''
% 0.99/0.94  line 785:58 token recognition error at: '0'
% 0.99/0.94  line 785:59 token recognition error at: '''
% 0.99/0.94  line 785:60 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.94  line 791:15 token recognition error at: '''
% 0.99/0.94  line 791:16 token recognition error at: '0'
% 0.99/0.94  line 791:17 token recognition error at: '''
% 0.99/0.94  line 791:18 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 842:18 token recognition error at: '''
% 0.99/0.95  line 842:19 token recognition error at: '@'
% 0.99/0.95  line 842:20 token recognition error at: '+'
% 0.99/0.95  line 842:21 token recognition error at: '''
% 0.99/0.95  line 842:23 token recognition error at: '''
% 0.99/0.95  line 842:24 token recognition error at: '0'
% 0.99/0.95  line 842:25 token recognition error at: '''
% 0.99/0.95  line 842:22 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 842:30 mismatched input ',' expecting {',', ')'}
% 0.99/0.95  line 845:18 token recognition error at: '''
% 0.99/0.95  line 845:19 token recognition error at: '@'
% 0.99/0.95  line 845:20 token recognition error at: '+'
% 0.99/0.95  line 845:21 token recognition error at: '''
% 0.99/0.95  line 845:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 845:32 mismatched input ',' expecting {',', ')'}
% 0.99/0.95  line 845:35 token recognition error at: '''
% 0.99/0.95  line 845:36 token recognition error at: '@'
% 0.99/0.95  line 845:37 token recognition error at: '+'
% 0.99/0.95  line 845:38 token recognition error at: '''
% 0.99/0.95  line 848:17 token recognition error at: '''
% 0.99/0.95  line 848:18 token recognition error at: '@'
% 0.99/0.95  line 848:19 token recognition error at: '+'
% 0.99/0.95  line 848:20 token recognition error at: '''
% 0.99/0.95  line 848:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 848:30 mismatched input '|' expecting {',', ')'}
% 0.99/0.95  line 851:18 token recognition error at: '''
% 0.99/0.95  line 851:19 token recognition error at: '@'
% 0.99/0.95  line 851:20 token recognition error at: '+'
% 0.99/0.95  line 851:21 token recognition error at: '''
% 0.99/0.95  line 851:23 token recognition error at: '''
% 0.99/0.95  line 851:24 token recognition error at: '@'
% 0.99/0.95  line 851:25 token recognition error at: '+'
% 0.99/0.95  line 851:26 token recognition error at: '''
% 0.99/0.95  line 851:22 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 851:34 mismatched input ',' expecting {',', ')'}
% 0.99/0.95  line 851:39 token recognition error at: '''
% 0.99/0.95  line 851:40 token recognition error at: '@'
% 0.99/0.95  line 851:41 token recognition error at: '+'
% 0.99/0.95  line 851:42 token recognition error at: '''
% 0.99/0.95  line 851:47 token recognition error at: '''
% 0.99/0.95  line 851:48 token recognition error at: '@'
% 0.99/0.95  line 851:49 token recognition error at: '+'
% 0.99/0.95  line 851:50 token recognition error at: '''
% 0.99/0.95  line 854:18 token recognition error at: '''
% 0.99/0.95  line 854:19 token recognition error at: '@'
% 0.99/0.95  line 854:20 token recognition error at: '+'
% 0.99/0.95  line 854:21 token recognition error at: '''
% 0.99/0.95  line 854:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 854:26 token recognition error at: '''
% 0.99/0.95  line 854:27 token recognition error at: '0'
% 0.99/0.95  line 854:28 token recognition error at: '''
% 0.99/0.95  line 854:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 854:30 mismatched input ',' expecting {')', '|'}
% 0.99/0.95  line 857:18 token recognition error at: '''
% 0.99/0.95  line 857:19 token recognition error at: '@'
% 0.99/0.95  line 857:20 token recognition error at: '+'
% 0.99/0.95  line 857:21 token recognition error at: '''
% 0.99/0.95  line 857:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 857:33 token recognition error at: '''
% 0.99/0.95  line 857:34 token recognition error at: '@'
% 0.99/0.95  line 857:35 token recognition error at: '+'
% 0.99/0.95  line 857:36 token recognition error at: '''
% 0.99/0.95  line 857:32 mismatched input ',' expecting {',', ')'}
% 0.99/0.95  line 860:18 token recognition error at: '''
% 0.99/0.95  line 860:19 token recognition error at: '@'
% 0.99/0.95  line 860:20 token recognition error at: '+'
% 0.99/0.95  line 860:21 token recognition error at: '''
% 0.99/0.95  line 860:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 860:30 token recognition error at: '''
% 0.99/0.95  line 860:31 token recognition error at: '@'
% 0.99/0.95  line 860:32 token recognition error at: '+'
% 0.99/0.95  line 860:33 token recognition error at: '''
% 0.99/0.95  line 860:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.95  line 863:62 token recognition error at: '''
% 0.99/0.95  line 863:63 token recognition error at: '@'
% 0.99/0.95  line 863:64 token recognition error at: '+'
% 0.99/0.95  line 863:65 token recognition error at: '''
% 0.99/0.95  line 863:66 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 863:74 token recognition error at: '''
% 0.99/0.95  line 863:75 token recognition error at: '@'
% 0.99/0.95  line 863:76 token recognition error at: '+'
% 0.99/0.95  line 863:77 token recognition error at: '''
% 0.99/0.95  line 863:73 mismatched input ',' expecting {',', ')'}
% 0.99/0.95  line 887:18 token recognition error at: '''
% 0.99/0.95  line 887:19 token recognition error at: '0'
% 0.99/0.95  line 887:20 token recognition error at: '''
% 0.99/0.95  line 887:22 token recognition error at: '''
% 0.99/0.95  line 887:23 token recognition error at: '@'
% 0.99/0.95  line 887:24 token recognition error at: '*'
% 0.99/0.95  line 887:25 token recognition error at: '''
% 0.99/0.95  line 887:21 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 887:27 token recognition error at: '''
% 0.99/0.95  line 887:28 token recognition error at: '0'
% 0.99/0.95  line 887:29 token recognition error at: '''
% 0.99/0.95  line 887:26 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 887:36 mismatched input '|' expecting {',', ')'}
% 0.99/0.95  line 890:18 token recognition error at: '''
% 0.99/0.95  line 890:19 token recognition error at: '@'
% 0.99/0.95  line 890:20 token recognition error at: '*'
% 0.99/0.95  line 890:21 token recognition error at: '''
% 0.99/0.95  line 890:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 890:33 token recognition error at: '''
% 0.99/0.95  line 890:34 token recognition error at: '@'
% 0.99/0.95  line 890:35 token recognition error at: '+'
% 0.99/0.95  line 890:36 token recognition error at: '''
% 0.99/0.95  line 890:32 mismatched input ',' expecting {',', ')'}
% 0.99/0.95  line 890:41 token recognition error at: '''
% 0.99/0.95  line 890:42 token recognition error at: '@'
% 0.99/0.95  line 890:43 token recognition error at: '*'
% 0.99/0.95  line 890:44 token recognition error at: '''
% 0.99/0.95  line 893:17 token recognition error at: '''
% 0.99/0.95  line 893:18 token recognition error at: '@'
% 0.99/0.95  line 893:19 token recognition error at: '*'
% 0.99/0.95  line 893:20 token recognition error at: '''
% 0.99/0.95  line 893:21 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.95  line 893:30 mismatched input '|' expecting {',', ')'}
% 0.99/0.95  line 896:18 token recognition error at: '''
% 0.99/0.95  line 896:19 token recognition error at: '@'
% 0.99/0.95  line 896:20 token recognition error at: '*'
% 0.99/0.95  line 896:21 token recognition error at: '''
% 0.99/0.95  line 896:23 token recognition error at: '''
% 0.99/0.95  line 896:24 token recognition error at: '@'
% 0.99/0.95  line 896:25 token recognition error at: '+'
% 0.99/0.95  line 896:26 token recognition error at: '''
% 0.99/0.95  line 896:22 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 896:34 mismatched input ',' expecting {',', ')'}
% 0.99/0.96  line 896:39 token recognition error at: '''
% 0.99/0.96  line 896:40 token recognition error at: '@'
% 0.99/0.96  line 896:41 token recognition error at: '+'
% 0.99/0.96  line 896:42 token recognition error at: '''
% 0.99/0.96  line 896:44 token recognition error at: '''
% 0.99/0.96  line 896:45 token recognition error at: '@'
% 0.99/0.96  line 896:46 token recognition error at: '*'
% 0.99/0.96  line 896:47 token recognition error at: '''
% 0.99/0.96  line 896:56 token recognition error at: '''
% 0.99/0.96  line 896:57 token recognition error at: '@'
% 0.99/0.96  line 896:58 token recognition error at: '*'
% 0.99/0.96  line 896:59 token recognition error at: '''
% 0.99/0.96  line 899:18 token recognition error at: '''
% 0.99/0.96  line 899:19 token recognition error at: '@'
% 0.99/0.96  line 899:20 token recognition error at: '*'
% 0.99/0.96  line 899:21 token recognition error at: '''
% 0.99/0.96  line 899:23 token recognition error at: '''
% 0.99/0.96  line 899:24 token recognition error at: '@'
% 0.99/0.96  line 899:25 token recognition error at: '*'
% 0.99/0.96  line 899:26 token recognition error at: '''
% 0.99/0.96  line 899:22 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 899:34 mismatched input ',' expecting {',', ')'}
% 0.99/0.96  line 899:39 token recognition error at: '''
% 0.99/0.96  line 899:40 token recognition error at: '@'
% 0.99/0.96  line 899:41 token recognition error at: '*'
% 0.99/0.96  line 899:42 token recognition error at: '''
% 0.99/0.96  line 899:47 token recognition error at: '''
% 0.99/0.96  line 899:48 token recognition error at: '@'
% 0.99/0.96  line 899:49 token recognition error at: '*'
% 0.99/0.96  line 899:50 token recognition error at: '''
% 0.99/0.96  line 902:18 token recognition error at: '''
% 0.99/0.96  line 902:19 token recognition error at: '0'
% 0.99/0.96  line 902:20 token recognition error at: '''
% 0.99/0.96  line 902:22 token recognition error at: '''
% 0.99/0.96  line 902:23 token recognition error at: '@'
% 0.99/0.96  line 902:24 token recognition error at: '*'
% 0.99/0.96  line 902:25 token recognition error at: '''
% 0.99/0.96  line 902:21 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 902:26 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 902:30 token recognition error at: '''
% 0.99/0.96  line 902:31 token recognition error at: '0'
% 0.99/0.96  line 902:32 token recognition error at: '''
% 0.99/0.96  line 902:33 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 902:36 mismatched input '|' expecting {')', '|'}
% 0.99/0.96  line 905:18 token recognition error at: '''
% 0.99/0.96  line 905:19 token recognition error at: '@'
% 0.99/0.96  line 905:20 token recognition error at: '+'
% 0.99/0.96  line 905:21 token recognition error at: '''
% 0.99/0.96  line 905:23 token recognition error at: '''
% 0.99/0.96  line 905:24 token recognition error at: '@'
% 0.99/0.96  line 905:25 token recognition error at: '*'
% 0.99/0.96  line 905:26 token recognition error at: '''
% 0.99/0.96  line 905:22 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 905:34 mismatched input ',' expecting {',', ')'}
% 0.99/0.96  line 905:39 token recognition error at: '''
% 0.99/0.96  line 905:40 token recognition error at: '@'
% 0.99/0.96  line 905:41 token recognition error at: '*'
% 0.99/0.96  line 905:42 token recognition error at: '''
% 0.99/0.96  line 908:18 token recognition error at: '''
% 0.99/0.96  line 908:19 token recognition error at: '@'
% 0.99/0.96  line 908:20 token recognition error at: '*'
% 0.99/0.96  line 908:21 token recognition error at: '''
% 0.99/0.96  line 908:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 908:30 token recognition error at: '''
% 0.99/0.96  line 908:31 token recognition error at: '@'
% 0.99/0.96  line 908:32 token recognition error at: '*'
% 0.99/0.96  line 908:33 token recognition error at: '''
% 0.99/0.96  line 908:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.96  line 911:18 token recognition error at: '''
% 0.99/0.96  line 911:19 token recognition error at: '@'
% 0.99/0.96  line 911:20 token recognition error at: '*'
% 0.99/0.96  line 911:21 token recognition error at: '''
% 0.99/0.96  line 911:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 911:25 token recognition error at: '''
% 0.99/0.96  line 911:26 token recognition error at: '0'
% 0.99/0.96  line 911:27 token recognition error at: '''
% 0.99/0.96  line 911:28 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 911:33 mismatched input ',' expecting {',', ')'}
% 0.99/0.96  line 914:18 token recognition error at: '''
% 0.99/0.96  line 914:19 token recognition error at: '@'
% 0.99/0.96  line 914:20 token recognition error at: '*'
% 0.99/0.96  line 914:21 token recognition error at: '''
% 0.99/0.96  line 914:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 914:28 token recognition error at: '''
% 0.99/0.96  line 914:29 token recognition error at: '0'
% 0.99/0.96  line 914:30 token recognition error at: '''
% 0.99/0.96  line 914:31 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 914:33 mismatched input ',' expecting {',', ')'}
% 0.99/0.96  line 917:18 token recognition error at: '''
% 0.99/0.96  line 917:19 token recognition error at: '@'
% 0.99/0.96  line 917:20 token recognition error at: '*'
% 0.99/0.96  line 917:21 token recognition error at: '''
% 0.99/0.96  line 917:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 917:26 token recognition error at: '''
% 0.99/0.96  line 917:27 token recognition error at: '@'
% 0.99/0.96  line 917:28 token recognition error at: '+'
% 0.99/0.96  line 917:29 token recognition error at: '''
% 0.99/0.96  line 917:30 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.96  line 917:39 token recognition error at: '''
% 0.99/0.96  line 917:40 token recognition error at: '@'
% 0.99/0.96  line 917:41 token recognition error at: '+'
% 0.99/0.96  line 917:42 token recognition error at: '''
% 0.99/0.96  line 917:38 mismatched input ',' expecting {',', ')'}
% 0.99/0.96  line 917:44 token recognition error at: '''
% 0.99/0.96  line 917:45 token recognition error at: '@'
% 0.99/0.96  line 917:46 token recognition error at: '*'
% 0.99/0.96  line 917:47 token recognition error at: '''
% 0.99/0.96  line 917:56 token recognition error at: '''
% 0.99/0.96  line 917:57 token recognition error at: '@'
% 0.99/0.96  line 917:58 token recognition error at: '*'
% 0.99/0.96  line 917:59 token recognition error at: '''
% 0.99/0.96  line 920:4 token recognition error at: '''
% 0.99/0.96  line 920:5 token recognition error at: '@'
% 0.99/0.96  line 920:6 token recognition error at: '<'
% 0.99/0.96  line 920:7 token recognition error at: '_'
% 0.99/0.96  line 920:18 token recognition error at: '''
% 0.99/0.96  line 923:4 token recognition error at: '''
% 0.99/0.96  line 923:5 token recognition error at: '@'
% 0.99/0.96  line 923:6 token recognition error at: '<'
% 0.99/0.96  line 923:7 token recognition error at: '_'
% 0.99/0.96  line 923:18 token recognition error at: '''
% 0.99/0.96  line 926:24 token recognition error at: '''
% 0.99/0.96  line 926:25 token recognition error at: '@'
% 0.99/0.96  line 926:26 token recognition error at: '<'
% 0.99/0.96  line 926:27 token recognition error at: '_'
% 0.99/0.96  line 926:36 token recognition error at: '''
% 0.99/0.96  line 929:37 token recognition error at: '''
% 0.99/0.96  line 929:38 token recognition error at: '@'
% 0.99/0.96  line 929:39 token recognition error at: '<'
% 0.99/0.96  line 929:40 token recognition error at: '_'
% 0.99/0.96  line 929:49 token recognition error at: '''
% 0.99/0.96  line 932:4 token recognition error at: '''
% 0.99/0.96  line 932:5 token recognition error at: '@'
% 0.99/0.96  line 932:6 token recognition error at: '<'
% 0.99/0.96  line 932:7 token recognition error at: '_'
% 0.99/0.96  line 932:16 token recognition error at: '''
% 0.99/0.96  line 932:28 token recognition error at: '''
% 0.99/0.96  line 932:29 token recognition error at: '@'
% 0.99/0.96  line 932:30 token recognition error at: '<'
% 0.99/0.96  line 932:31 token recognition error at: '_'
% 0.99/0.96  line 932:40 token recognition error at: '''
% 0.99/0.96  line 932:52 token recognition error at: '''
% 0.99/0.96  line 932:53 token recognition error at: '@'
% 0.99/0.96  line 932:54 token recognition error at: '<'
% 0.99/0.96  line 932:55 token recognition error at: '_'
% 0.99/0.96  line 932:64 token recognition error at: '''
% 0.99/0.96  line 935:4 token recognition error at: '''
% 0.99/0.96  line 935:5 token recognition error at: '@'
% 0.99/0.96  line 935:6 token recognition error at: '<'
% 0.99/0.96  line 935:7 token recognition error at: '_'
% 0.99/0.96  line 935:16 token recognition error at: '''
% 0.99/0.96  line 935:31 token recognition error at: '''
% 0.99/0.96  line 935:32 token recognition error at: '@'
% 0.99/0.96  line 935:33 token recognition error at: '<'
% 0.99/0.96  line 935:34 token recognition error at: '_'
% 0.99/0.96  line 935:43 token recognition error at: '''
% 0.99/0.96  line 938:4 token recognition error at: '''
% 0.99/0.96  line 938:5 token recognition error at: '@'
% 0.99/0.96  line 938:6 token recognition error at: '<'
% 0.99/0.96  line 938:7 token recognition error at: '_'
% 0.99/0.96  line 938:16 token recognition error at: '''
% 0.99/0.96  line 938:28 token recognition error at: '''
% 0.99/0.96  line 938:29 token recognition error at: '@'
% 0.99/0.96  line 938:30 token recognition error at: '<'
% 0.99/0.96  line 938:31 token recognition error at: '_'
% 0.99/0.96  line 938:40 token recognition error at: '''
% 0.99/0.96  line 938:52 token recognition error at: '''
% 0.99/0.96  line 938:53 token recognition error at: '@'
% 0.99/0.96  line 938:54 token recognition error at: '<'
% 0.99/0.96  line 938:55 token recognition error at: '_'
% 0.99/0.96  line 938:64 token recognition error at: '''
% 0.99/0.97  line 941:4 token recognition error at: '''
% 0.99/0.97  line 941:5 token recognition error at: '@'
% 0.99/0.97  line 941:6 token recognition error at: '<'
% 0.99/0.97  line 941:7 token recognition error at: '_'
% 0.99/0.97  line 941:13 token recognition error at: '''
% 0.99/0.97  line 944:5 token recognition error at: '''
% 0.99/0.97  line 944:6 token recognition error at: '@'
% 0.99/0.97  line 944:7 token recognition error at: '<'
% 0.99/0.97  line 944:8 token recognition error at: '_'
% 0.99/0.97  line 944:17 token recognition error at: '''
% 0.99/0.97  line 947:4 token recognition error at: '''
% 0.99/0.97  line 947:5 token recognition error at: '@'
% 0.99/0.97  line 947:6 token recognition error at: '<'
% 0.99/0.97  line 947:7 token recognition error at: '_'
% 0.99/0.97  line 947:16 token recognition error at: '''
% 0.99/0.97  line 950:4 token recognition error at: '''
% 0.99/0.97  line 950:5 token recognition error at: '@'
% 0.99/0.97  line 950:6 token recognition error at: '<'
% 0.99/0.97  line 950:7 token recognition error at: '_'
% 0.99/0.97  line 950:16 token recognition error at: '''
% 0.99/0.97  line 950:71 token recognition error at: '''
% 0.99/0.97  line 950:72 token recognition error at: '@'
% 0.99/0.97  line 950:73 token recognition error at: '<'
% 0.99/0.97  line 950:74 token recognition error at: '_'
% 0.99/0.97  line 950:83 token recognition error at: '''
% 0.99/0.97  line 953:4 token recognition error at: '''
% 0.99/0.97  line 953:5 token recognition error at: '@'
% 0.99/0.97  line 953:6 token recognition error at: '<'
% 0.99/0.97  line 953:7 token recognition error at: '_'
% 0.99/0.97  line 953:16 token recognition error at: '''
% 0.99/0.97  line 953:50 token recognition error at: '''
% 0.99/0.97  line 953:51 token recognition error at: '@'
% 0.99/0.97  line 953:52 token recognition error at: '<'
% 0.99/0.97  line 953:53 token recognition error at: '_'
% 0.99/0.97  line 953:62 token recognition error at: '''
% 0.99/0.97  line 956:4 token recognition error at: '''
% 0.99/0.97  line 956:5 token recognition error at: '@'
% 0.99/0.97  line 956:6 token recognition error at: '<'
% 0.99/0.97  line 956:7 token recognition error at: '_'
% 0.99/0.97  line 956:16 token recognition error at: '''
% 0.99/0.97  line 956:18 token recognition error at: '''
% 0.99/0.97  line 956:19 token recognition error at: '0'
% 0.99/0.97  line 956:20 token recognition error at: '''
% 0.99/0.97  line 956:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.97  line 956:62 token recognition error at: '''
% 0.99/0.97  line 956:63 token recognition error at: '0'
% 0.99/0.97  line 956:64 token recognition error at: '''
% 0.99/0.97  line 956:65 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.97  line 959:4 token recognition error at: '''
% 0.99/0.97  line 959:5 token recognition error at: '@'
% 0.99/0.97  line 959:6 token recognition error at: '='
% 0.99/0.97  line 959:7 token recognition error at: '<'
% 0.99/0.97  line 959:8 token recognition error at: '_'
% 0.99/0.97  line 959:19 token recognition error at: '''
% 0.99/0.97  line 962:24 token recognition error at: '''
% 0.99/0.97  line 962:25 token recognition error at: '@'
% 0.99/0.97  line 962:26 token recognition error at: '='
% 0.99/0.97  line 962:27 token recognition error at: '<'
% 0.99/0.97  line 962:28 token recognition error at: '_'
% 0.99/0.97  line 962:37 token recognition error at: '''
% 0.99/0.97  line 965:40 token recognition error at: '''
% 0.99/0.97  line 965:41 token recognition error at: '@'
% 0.99/0.97  line 965:42 token recognition error at: '='
% 0.99/0.97  line 965:43 token recognition error at: '<'
% 0.99/0.97  line 965:44 token recognition error at: '_'
% 0.99/0.97  line 965:53 token recognition error at: '''
% 0.99/0.97  line 968:18 token recognition error at: '''
% 0.99/0.97  line 968:19 token recognition error at: '@'
% 0.99/0.97  line 968:20 token recognition error at: '+'
% 0.99/0.97  line 968:21 token recognition error at: '''
% 0.99/0.97  line 968:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.97  line 968:38 mismatched input ',' expecting {',', ')'}
% 0.99/0.97  line 968:46 token recognition error at: '''
% 0.99/0.97  line 968:47 token recognition error at: '@'
% 0.99/0.97  line 968:48 token recognition error at: '='
% 0.99/0.97  line 968:49 token recognition error at: '<'
% 0.99/0.97  line 968:50 token recognition error at: '_'
% 0.99/0.97  line 968:59 token recognition error at: '''
% 0.99/0.97  line 971:43 token recognition error at: '''
% 0.99/0.97  line 971:44 token recognition error at: '@'
% 0.99/0.97  line 971:45 token recognition error at: '<'
% 0.99/0.97  line 971:46 token recognition error at: '_'
% 0.99/0.97  line 971:55 token recognition error at: '''
% 0.99/0.97  line 974:18 token recognition error at: '''
% 0.99/0.97  line 974:19 token recognition error at: '@'
% 0.99/0.97  line 974:20 token recognition error at: '+'
% 0.99/0.97  line 974:21 token recognition error at: '''
% 0.99/0.97  line 974:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.97  line 974:41 mismatched input ',' expecting {',', ')'}
% 0.99/0.97  line 974:49 token recognition error at: '''
% 0.99/0.97  line 974:50 token recognition error at: '@'
% 0.99/0.97  line 974:51 token recognition error at: '<'
% 0.99/0.97  line 974:52 token recognition error at: '_'
% 0.99/0.97  line 974:61 token recognition error at: '''
% 0.99/0.97  line 977:4 token recognition error at: '''
% 0.99/0.97  line 977:5 token recognition error at: '@'
% 0.99/0.97  line 977:6 token recognition error at: '='
% 0.99/0.97  line 977:7 token recognition error at: '<'
% 0.99/0.97  line 977:8 token recognition error at: '_'
% 0.99/0.97  line 977:17 token recognition error at: '''
% 0.99/0.97  line 977:29 token recognition error at: '''
% 0.99/0.97  line 977:30 token recognition error at: '@'
% 0.99/0.97  line 977:31 token recognition error at: '<'
% 0.99/0.97  line 977:32 token recognition error at: '_'
% 0.99/0.97  line 977:41 token recognition error at: '''
% 0.99/0.97  line 980:4 token recognition error at: '''
% 0.99/0.97  line 980:5 token recognition error at: '@'
% 0.99/0.97  line 980:6 token recognition error at: '='
% 0.99/0.97  line 980:7 token recognition error at: '<'
% 0.99/0.97  line 980:8 token recognition error at: '_'
% 0.99/0.97  line 980:17 token recognition error at: '''
% 0.99/0.97  line 983:4 token recognition error at: '''
% 0.99/0.97  line 983:5 token recognition error at: '@'
% 0.99/0.97  line 983:6 token recognition error at: '='
% 0.99/0.97  line 983:7 token recognition error at: '<'
% 0.99/0.97  line 983:8 token recognition error at: '_'
% 0.99/0.97  line 983:17 token recognition error at: '''
% 0.99/0.97  line 983:28 token recognition error at: '''
% 0.99/0.97  line 983:29 token recognition error at: '@'
% 0.99/0.97  line 983:30 token recognition error at: '='
% 0.99/0.97  line 983:31 token recognition error at: '<'
% 0.99/0.97  line 983:32 token recognition error at: '_'
% 0.99/0.97  line 983:41 token recognition error at: '''
% 0.99/0.97  line 986:4 token recognition error at: '''
% 0.99/0.97  line 986:5 token recognition error at: '@'
% 0.99/0.97  line 986:6 token recognition error at: '<'
% 0.99/0.97  line 986:7 token recognition error at: '_'
% 0.99/0.97  line 986:16 token recognition error at: '''
% 0.99/0.97  line 986:27 token recognition error at: '''
% 0.99/0.97  line 986:28 token recognition error at: '@'
% 0.99/0.97  line 986:29 token recognition error at: '='
% 0.99/0.97  line 986:30 token recognition error at: '<'
% 0.99/0.97  line 986:31 token recognition error at: '_'
% 0.99/0.97  line 986:40 token recognition error at: '''
% 0.99/0.97  line 989:4 token recognition error at: '''
% 0.99/0.97  line 989:5 token recognition error at: '@'
% 0.99/0.97  line 989:6 token recognition error at: '='
% 0.99/0.97  line 989:7 token recognition error at: '<'
% 0.99/0.97  line 989:8 token recognition error at: '_'
% 0.99/0.97  line 989:17 token recognition error at: '''
% 0.99/0.97  line 989:69 token recognition error at: '''
% 0.99/0.97  line 989:70 token recognition error at: '@'
% 0.99/0.97  line 989:71 token recognition error at: '='
% 0.99/0.97  line 989:72 token recognition error at: '<'
% 0.99/0.97  line 989:73 token recognition error at: '_'
% 0.99/0.97  line 989:79 token recognition error at: '''
% 0.99/0.97  line 992:4 token recognition error at: '''
% 0.99/0.97  line 992:5 token recognition error at: '@'
% 0.99/0.97  line 992:6 token recognition error at: '<'
% 0.99/0.97  line 992:7 token recognition error at: '_'
% 0.99/0.97  line 992:16 token recognition error at: '''
% 0.99/0.97  line 992:51 token recognition error at: '''
% 0.99/0.97  line 992:52 token recognition error at: '@'
% 0.99/0.97  line 992:53 token recognition error at: '='
% 0.99/0.97  line 992:54 token recognition error at: '<'
% 0.99/0.97  line 992:55 token recognition error at: '_'
% 0.99/0.97  line 992:64 token recognition error at: '''
% 0.99/0.97  line 995:4 token recognition error at: '''
% 0.99/0.97  line 995:5 token recognition error at: '@'
% 0.99/0.97  line 995:6 token recognition error at: '<'
% 0.99/0.97  line 995:7 token recognition error at: '_'
% 0.99/0.97  line 995:16 token recognition error at: '''
% 0.99/0.97  line 995:28 token recognition error at: '''
% 0.99/0.97  line 995:29 token recognition error at: '@'
% 0.99/0.97  line 995:30 token recognition error at: '='
% 0.99/0.97  line 995:31 token recognition error at: '<'
% 0.99/0.97  line 995:32 token recognition error at: '_'
% 0.99/0.97  line 995:41 token recognition error at: '''
% 0.99/0.97  line 995:53 token recognition error at: '''
% 0.99/0.97  line 995:54 token recognition error at: '@'
% 0.99/0.97  line 995:55 token recognition error at: '<'
% 0.99/0.97  line 995:56 token recognition error at: '_'
% 0.99/0.97  line 995:65 token recognition error at: '''
% 0.99/0.97  line 998:4 token recognition error at: '''
% 0.99/0.97  line 998:5 token recognition error at: '@'
% 0.99/0.97  line 998:6 token recognition error at: '<'
% 0.99/0.97  line 998:7 token recognition error at: '_'
% 0.99/0.97  line 998:16 token recognition error at: '''
% 0.99/0.97  line 998:28 token recognition error at: '''
% 0.99/0.97  line 998:29 token recognition error at: '@'
% 0.99/0.97  line 998:30 token recognition error at: '<'
% 0.99/0.97  line 998:31 token recognition error at: '_'
% 0.99/0.97  line 998:40 token recognition error at: '''
% 0.99/0.97  line 998:52 token recognition error at: '''
% 0.99/0.97  line 998:53 token recognition error at: '@'
% 0.99/0.97  line 998:54 token recognition error at: '='
% 0.99/0.97  line 998:55 token recognition error at: '<'
% 0.99/0.97  line 998:56 token recognition error at: '_'
% 0.99/0.97  line 998:65 token recognition error at: '''
% 0.99/0.97  line 1001:4 token recognition error at: '''
% 0.99/0.97  line 1001:5 token recognition error at: '@'
% 0.99/0.97  line 1001:6 token recognition error at: '='
% 0.99/0.97  line 1001:7 token recognition error at: '<'
% 0.99/0.97  line 1001:8 token recognition error at: '_'
% 0.99/0.97  line 1001:17 token recognition error at: '''
% 0.99/0.97  line 1001:29 token recognition error at: '''
% 0.99/0.97  line 1001:30 token recognition error at: '@'
% 0.99/0.97  line 1001:31 token recognition error at: '='
% 0.99/0.97  line 1001:32 token recognition error at: '<'
% 0.99/0.97  line 1001:33 token recognition error at: '_'
% 0.99/0.97  line 1001:42 token recognition error at: '''
% 0.99/0.97  line 1001:54 token recognition error at: '''
% 0.99/0.97  line 1001:55 token recognition error at: '@'
% 0.99/0.97  line 1001:56 token recognition error at: '='
% 0.99/0.97  line 1001:57 token recognition error at: '<'
% 0.99/0.97  line 1001:58 token recognition error at: '_'
% 0.99/0.97  line 1001:67 token recognition error at: '''
% 0.99/0.97  line 1004:28 token recognition error at: '''
% 0.99/0.97  line 1004:29 token recognition error at: '@'
% 0.99/0.98  line 1004:30 token recognition error at: '='
% 0.99/0.98  line 1004:31 token recognition error at: '<'
% 0.99/0.98  line 1004:32 token recognition error at: '_'
% 0.99/0.98  line 1004:41 token recognition error at: '''
% 0.99/0.98  line 1004:53 token recognition error at: '''
% 0.99/0.98  line 1004:54 token recognition error at: '@'
% 0.99/0.98  line 1004:55 token recognition error at: '='
% 0.99/0.98  line 1004:56 token recognition error at: '<'
% 0.99/0.98  line 1004:57 token recognition error at: '_'
% 0.99/0.98  line 1004:66 token recognition error at: '''
% 0.99/0.98  line 1007:4 token recognition error at: '''
% 0.99/0.98  line 1007:5 token recognition error at: '@'
% 0.99/0.98  line 1007:6 token recognition error at: '='
% 0.99/0.98  line 1007:7 token recognition error at: '<'
% 0.99/0.98  line 1007:8 token recognition error at: '_'
% 0.99/0.98  line 1007:17 token recognition error at: '''
% 0.99/0.98  line 1010:4 token recognition error at: '''
% 0.99/0.98  line 1010:5 token recognition error at: '@'
% 0.99/0.98  line 1010:6 token recognition error at: '='
% 0.99/0.98  line 1010:7 token recognition error at: '<'
% 0.99/0.98  line 1010:8 token recognition error at: '_'
% 0.99/0.98  line 1010:14 token recognition error at: '''
% 0.99/0.98  line 1013:4 token recognition error at: '''
% 0.99/0.98  line 1013:5 token recognition error at: '@'
% 0.99/0.98  line 1013:6 token recognition error at: '<'
% 0.99/0.98  line 1013:7 token recognition error at: '_'
% 0.99/0.98  line 1013:16 token recognition error at: '''
% 0.99/0.98  line 1013:18 token recognition error at: '''
% 0.99/0.98  line 1013:19 token recognition error at: '@'
% 0.99/0.98  line 1013:20 token recognition error at: '+'
% 0.99/0.98  line 1013:21 token recognition error at: '''
% 0.99/0.98  line 1013:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1013:30 token recognition error at: '''
% 0.99/0.98  line 1013:31 token recognition error at: '@'
% 0.99/0.98  line 1013:32 token recognition error at: '+'
% 0.99/0.98  line 1013:33 token recognition error at: '''
% 0.99/0.98  line 1013:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.98  line 1013:66 token recognition error at: '''
% 0.99/0.98  line 1013:67 token recognition error at: '@'
% 0.99/0.98  line 1013:68 token recognition error at: '<'
% 0.99/0.98  line 1013:69 token recognition error at: '_'
% 0.99/0.98  line 1013:78 token recognition error at: '''
% 0.99/0.98  line 1016:4 token recognition error at: '''
% 0.99/0.98  line 1016:5 token recognition error at: '@'
% 0.99/0.98  line 1016:6 token recognition error at: '<'
% 0.99/0.98  line 1016:7 token recognition error at: '_'
% 0.99/0.98  line 1016:16 token recognition error at: '''
% 0.99/0.98  line 1016:21 token recognition error at: '''
% 0.99/0.98  line 1016:22 token recognition error at: '@'
% 0.99/0.98  line 1016:23 token recognition error at: '+'
% 0.99/0.98  line 1016:24 token recognition error at: '''
% 0.99/0.98  line 1016:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1016:37 mismatched input '|' expecting {',', ')'}
% 0.99/0.98  line 1019:4 token recognition error at: '''
% 0.99/0.98  line 1019:5 token recognition error at: '@'
% 0.99/0.98  line 1019:6 token recognition error at: '<'
% 0.99/0.98  line 1019:7 token recognition error at: '_'
% 0.99/0.98  line 1019:16 token recognition error at: '''
% 0.99/0.98  line 1019:18 token recognition error at: '''
% 0.99/0.98  line 1019:19 token recognition error at: '@'
% 0.99/0.98  line 1019:20 token recognition error at: '+'
% 0.99/0.98  line 1019:21 token recognition error at: '''
% 0.99/0.98  line 1019:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1019:30 token recognition error at: '''
% 0.99/0.98  line 1019:31 token recognition error at: '@'
% 0.99/0.98  line 1019:32 token recognition error at: '+'
% 0.99/0.98  line 1019:33 token recognition error at: '''
% 0.99/0.98  line 1019:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.98  line 1019:46 token recognition error at: '''
% 0.99/0.98  line 1019:47 token recognition error at: '@'
% 0.99/0.98  line 1019:48 token recognition error at: '<'
% 0.99/0.98  line 1019:49 token recognition error at: '_'
% 0.99/0.98  line 1019:58 token recognition error at: '''
% 0.99/0.98  line 1022:4 token recognition error at: '''
% 0.99/0.98  line 1022:5 token recognition error at: '@'
% 0.99/0.98  line 1022:6 token recognition error at: '<'
% 0.99/0.98  line 1022:7 token recognition error at: '_'
% 0.99/0.98  line 1022:16 token recognition error at: '''
% 0.99/0.98  line 1022:21 token recognition error at: '''
% 0.99/0.98  line 1022:22 token recognition error at: '@'
% 0.99/0.98  line 1022:23 token recognition error at: '+'
% 0.99/0.98  line 1022:24 token recognition error at: '''
% 0.99/0.98  line 1022:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1022:34 mismatched input '|' expecting {',', ')'}
% 0.99/0.98  line 1022:37 token recognition error at: '''
% 0.99/0.98  line 1022:38 token recognition error at: '@'
% 0.99/0.98  line 1022:39 token recognition error at: '<'
% 0.99/0.98  line 1022:40 token recognition error at: '_'
% 0.99/0.98  line 1022:49 token recognition error at: '''
% 0.99/0.98  line 1022:51 token recognition error at: '''
% 0.99/0.98  line 1022:52 token recognition error at: '0'
% 0.99/0.98  line 1022:53 token recognition error at: '''
% 0.99/0.98  line 1025:4 token recognition error at: '''
% 0.99/0.98  line 1025:5 token recognition error at: '@'
% 0.99/0.98  line 1025:6 token recognition error at: '='
% 0.99/0.98  line 1025:7 token recognition error at: '<'
% 0.99/0.98  line 1025:8 token recognition error at: '_'
% 0.99/0.98  line 1025:17 token recognition error at: '''
% 0.99/0.98  line 1025:19 token recognition error at: '''
% 0.99/0.98  line 1025:20 token recognition error at: '@'
% 0.99/0.98  line 1025:21 token recognition error at: '+'
% 0.99/0.98  line 1025:22 token recognition error at: '''
% 0.99/0.98  line 1025:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1025:31 token recognition error at: '''
% 0.99/0.98  line 1025:32 token recognition error at: '@'
% 0.99/0.98  line 1025:33 token recognition error at: '+'
% 0.99/0.98  line 1025:34 token recognition error at: '''
% 0.99/0.98  line 1025:30 mismatched input ',' expecting {',', ')'}
% 0.99/0.98  line 1025:67 token recognition error at: '''
% 0.99/0.98  line 1025:68 token recognition error at: '@'
% 0.99/0.98  line 1025:69 token recognition error at: '='
% 0.99/0.98  line 1025:70 token recognition error at: '<'
% 0.99/0.98  line 1025:71 token recognition error at: '_'
% 0.99/0.98  line 1025:80 token recognition error at: '''
% 0.99/0.98  line 1028:4 token recognition error at: '''
% 0.99/0.98  line 1028:5 token recognition error at: '@'
% 0.99/0.98  line 1028:6 token recognition error at: '='
% 0.99/0.98  line 1028:7 token recognition error at: '<'
% 0.99/0.98  line 1028:8 token recognition error at: '_'
% 0.99/0.98  line 1028:17 token recognition error at: '''
% 0.99/0.98  line 1028:19 token recognition error at: '''
% 0.99/0.98  line 1028:20 token recognition error at: '@'
% 0.99/0.98  line 1028:21 token recognition error at: '+'
% 0.99/0.98  line 1028:22 token recognition error at: '''
% 0.99/0.98  line 1028:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1028:31 token recognition error at: '''
% 0.99/0.98  line 1028:32 token recognition error at: '@'
% 0.99/0.98  line 1028:33 token recognition error at: '+'
% 0.99/0.98  line 1028:34 token recognition error at: '''
% 0.99/0.98  line 1028:30 mismatched input ',' expecting {',', ')'}
% 0.99/0.98  line 1028:47 token recognition error at: '''
% 0.99/0.98  line 1028:48 token recognition error at: '@'
% 0.99/0.98  line 1028:49 token recognition error at: '='
% 0.99/0.98  line 1028:50 token recognition error at: '<'
% 0.99/0.98  line 1028:51 token recognition error at: '_'
% 0.99/0.98  line 1028:60 token recognition error at: '''
% 0.99/0.98  line 1031:4 token recognition error at: '''
% 0.99/0.98  line 1031:5 token recognition error at: '@'
% 0.99/0.98  line 1031:6 token recognition error at: '='
% 0.99/0.98  line 1031:7 token recognition error at: '<'
% 0.99/0.98  line 1031:8 token recognition error at: '_'
% 0.99/0.98  line 1031:17 token recognition error at: '''
% 0.99/0.98  line 1031:22 token recognition error at: '''
% 0.99/0.98  line 1031:23 token recognition error at: '@'
% 0.99/0.98  line 1031:24 token recognition error at: '+'
% 0.99/0.98  line 1031:25 token recognition error at: '''
% 0.99/0.98  line 1031:26 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1031:35 mismatched input '|' expecting {',', ')'}
% 0.99/0.98  line 1034:4 token recognition error at: '''
% 0.99/0.98  line 1034:5 token recognition error at: '@'
% 0.99/0.98  line 1034:6 token recognition error at: '='
% 0.99/0.98  line 1034:7 token recognition error at: '<'
% 0.99/0.98  line 1034:8 token recognition error at: '_'
% 0.99/0.98  line 1034:17 token recognition error at: '''
% 0.99/0.98  line 1034:22 token recognition error at: '''
% 0.99/0.98  line 1034:23 token recognition error at: '@'
% 0.99/0.98  line 1034:24 token recognition error at: '+'
% 0.99/0.98  line 1034:25 token recognition error at: '''
% 0.99/0.98  line 1034:26 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1034:35 mismatched input '|' expecting {',', ')'}
% 0.99/0.98  line 1037:4 token recognition error at: '''
% 0.99/0.98  line 1037:5 token recognition error at: '@'
% 0.99/0.98  line 1037:6 token recognition error at: '<'
% 0.99/0.98  line 1037:7 token recognition error at: '_'
% 0.99/0.98  line 1037:16 token recognition error at: '''
% 0.99/0.98  line 1037:48 token recognition error at: '''
% 0.99/0.98  line 1037:49 token recognition error at: '@'
% 0.99/0.98  line 1037:50 token recognition error at: '<'
% 0.99/0.98  line 1037:51 token recognition error at: '_'
% 0.99/0.98  line 1037:60 token recognition error at: '''
% 0.99/0.98  line 1037:62 token recognition error at: '''
% 0.99/0.98  line 1037:63 token recognition error at: '@'
% 0.99/0.98  line 1037:64 token recognition error at: '+'
% 0.99/0.98  line 1037:65 token recognition error at: '''
% 0.99/0.98  line 1037:66 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1037:74 token recognition error at: '''
% 0.99/0.98  line 1037:75 token recognition error at: '@'
% 0.99/0.98  line 1037:76 token recognition error at: '+'
% 0.99/0.98  line 1037:77 token recognition error at: '''
% 0.99/0.98  line 1037:73 mismatched input ',' expecting {',', ')'}
% 0.99/0.98  line 1040:4 token recognition error at: '''
% 0.99/0.98  line 1040:5 token recognition error at: '@'
% 0.99/0.98  line 1040:6 token recognition error at: '<'
% 0.99/0.98  line 1040:7 token recognition error at: '_'
% 0.99/0.98  line 1040:16 token recognition error at: '''
% 0.99/0.98  line 1040:88 token recognition error at: '''
% 0.99/0.98  line 1040:89 token recognition error at: '@'
% 0.99/0.98  line 1040:90 token recognition error at: '<'
% 0.99/0.98  line 1040:91 token recognition error at: '_'
% 0.99/0.98  line 1040:100 token recognition error at: '''
% 0.99/0.98  line 1040:102 token recognition error at: '''
% 0.99/0.98  line 1040:103 token recognition error at: '@'
% 0.99/0.98  line 1040:104 token recognition error at: '+'
% 0.99/0.98  line 1040:105 token recognition error at: '''
% 0.99/0.98  line 1040:106 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.98  line 1040:114 token recognition error at: '''
% 0.99/0.98  line 1040:115 token recognition error at: '@'
% 0.99/0.98  line 1040:116 token recognition error at: '+'
% 0.99/0.98  line 1040:117 token recognition error at: '''
% 0.99/0.98  line 1040:113 mismatched input ',' expecting {',', ')'}
% 0.99/0.98  line 1043:4 token recognition error at: '''
% 0.99/0.98  line 1043:5 token recognition error at: '@'
% 0.99/0.98  line 1043:6 token recognition error at: '='
% 0.99/0.98  line 1043:7 token recognition error at: '<'
% 0.99/0.98  line 1043:8 token recognition error at: '_'
% 0.99/0.98  line 1043:17 token recognition error at: '''
% 0.99/0.98  line 1043:49 token recognition error at: '''
% 0.99/0.98  line 1043:50 token recognition error at: '@'
% 0.99/0.98  line 1043:51 token recognition error at: '='
% 0.99/0.98  line 1043:52 token recognition error at: '<'
% 0.99/0.98  line 1043:53 token recognition error at: '_'
% 0.99/0.98  line 1043:62 token recognition error at: '''
% 0.99/0.98  line 1043:64 token recognition error at: '''
% 0.99/0.98  line 1043:65 token recognition error at: '@'
% 0.99/0.98  line 1043:66 token recognition error at: '+'
% 0.99/0.98  line 1043:67 token recognition error at: '''
% 0.99/0.99  line 1043:68 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1043:76 token recognition error at: '''
% 0.99/0.99  line 1043:77 token recognition error at: '@'
% 0.99/0.99  line 1043:78 token recognition error at: '+'
% 0.99/0.99  line 1043:79 token recognition error at: '''
% 0.99/0.99  line 1043:75 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1046:4 token recognition error at: '''
% 0.99/0.99  line 1046:5 token recognition error at: '@'
% 0.99/0.99  line 1046:6 token recognition error at: '='
% 0.99/0.99  line 1046:7 token recognition error at: '<'
% 0.99/0.99  line 1046:8 token recognition error at: '_'
% 0.99/0.99  line 1046:17 token recognition error at: '''
% 0.99/0.99  line 1046:19 token recognition error at: '''
% 0.99/0.99  line 1046:20 token recognition error at: '@'
% 0.99/0.99  line 1046:21 token recognition error at: '+'
% 0.99/0.99  line 1046:22 token recognition error at: '''
% 0.99/0.99  line 1046:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1046:31 token recognition error at: '''
% 0.99/0.99  line 1046:32 token recognition error at: '@'
% 0.99/0.99  line 1046:33 token recognition error at: '+'
% 0.99/0.99  line 1046:34 token recognition error at: '''
% 0.99/0.99  line 1046:30 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1046:47 token recognition error at: '''
% 0.99/0.99  line 1046:48 token recognition error at: '@'
% 0.99/0.99  line 1046:49 token recognition error at: '='
% 0.99/0.99  line 1046:50 token recognition error at: '<'
% 0.99/0.99  line 1046:51 token recognition error at: '_'
% 0.99/0.99  line 1046:60 token recognition error at: '''
% 0.99/0.99  line 1046:72 token recognition error at: '''
% 0.99/0.99  line 1046:73 token recognition error at: '@'
% 0.99/0.99  line 1046:74 token recognition error at: '='
% 0.99/0.99  line 1046:75 token recognition error at: '<'
% 0.99/0.99  line 1046:76 token recognition error at: '_'
% 0.99/0.99  line 1046:85 token recognition error at: '''
% 0.99/0.99  line 1049:4 token recognition error at: '''
% 0.99/0.99  line 1049:5 token recognition error at: '@'
% 0.99/0.99  line 1049:6 token recognition error at: '<'
% 0.99/0.99  line 1049:7 token recognition error at: '_'
% 0.99/0.99  line 1049:16 token recognition error at: '''
% 0.99/0.99  line 1049:18 token recognition error at: '''
% 0.99/0.99  line 1049:19 token recognition error at: '@'
% 0.99/0.99  line 1049:20 token recognition error at: '+'
% 0.99/0.99  line 1049:21 token recognition error at: '''
% 0.99/0.99  line 1049:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1049:30 token recognition error at: '''
% 0.99/0.99  line 1049:31 token recognition error at: '@'
% 0.99/0.99  line 1049:32 token recognition error at: '+'
% 0.99/0.99  line 1049:33 token recognition error at: '''
% 0.99/0.99  line 1049:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1049:46 token recognition error at: '''
% 0.99/0.99  line 1049:47 token recognition error at: '@'
% 0.99/0.99  line 1049:48 token recognition error at: '<'
% 0.99/0.99  line 1049:49 token recognition error at: '_'
% 0.99/0.99  line 1049:58 token recognition error at: '''
% 0.99/0.99  line 1049:70 token recognition error at: '''
% 0.99/0.99  line 1049:71 token recognition error at: '@'
% 0.99/0.99  line 1049:72 token recognition error at: '='
% 0.99/0.99  line 1049:73 token recognition error at: '<'
% 0.99/0.99  line 1049:74 token recognition error at: '_'
% 0.99/0.99  line 1049:83 token recognition error at: '''
% 0.99/0.99  line 1052:4 token recognition error at: '''
% 0.99/0.99  line 1052:5 token recognition error at: '@'
% 0.99/0.99  line 1052:6 token recognition error at: '<'
% 0.99/0.99  line 1052:7 token recognition error at: '_'
% 0.99/0.99  line 1052:16 token recognition error at: '''
% 0.99/0.99  line 1052:18 token recognition error at: '''
% 0.99/0.99  line 1052:19 token recognition error at: '@'
% 0.99/0.99  line 1052:20 token recognition error at: '+'
% 0.99/0.99  line 1052:21 token recognition error at: '''
% 0.99/0.99  line 1052:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1052:30 token recognition error at: '''
% 0.99/0.99  line 1052:31 token recognition error at: '@'
% 0.99/0.99  line 1052:32 token recognition error at: '+'
% 0.99/0.99  line 1052:33 token recognition error at: '''
% 0.99/0.99  line 1052:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1052:46 token recognition error at: '''
% 0.99/0.99  line 1052:47 token recognition error at: '@'
% 0.99/0.99  line 1052:48 token recognition error at: '='
% 0.99/0.99  line 1052:49 token recognition error at: '<'
% 0.99/0.99  line 1052:50 token recognition error at: '_'
% 0.99/0.99  line 1052:59 token recognition error at: '''
% 0.99/0.99  line 1052:71 token recognition error at: '''
% 0.99/0.99  line 1052:72 token recognition error at: '@'
% 0.99/0.99  line 1052:73 token recognition error at: '<'
% 0.99/0.99  line 1052:74 token recognition error at: '_'
% 0.99/0.99  line 1052:83 token recognition error at: '''
% 0.99/0.99  line 1055:4 token recognition error at: '''
% 0.99/0.99  line 1055:5 token recognition error at: '@'
% 0.99/0.99  line 1055:6 token recognition error at: '<'
% 0.99/0.99  line 1055:7 token recognition error at: '_'
% 0.99/0.99  line 1055:16 token recognition error at: '''
% 0.99/0.99  line 1055:18 token recognition error at: '''
% 0.99/0.99  line 1055:19 token recognition error at: '@'
% 0.99/0.99  line 1055:20 token recognition error at: '+'
% 0.99/0.99  line 1055:21 token recognition error at: '''
% 0.99/0.99  line 1055:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1055:30 token recognition error at: '''
% 0.99/0.99  line 1055:31 token recognition error at: '@'
% 0.99/0.99  line 1055:32 token recognition error at: '+'
% 0.99/0.99  line 1055:33 token recognition error at: '''
% 0.99/0.99  line 1055:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1055:46 token recognition error at: '''
% 0.99/0.99  line 1055:47 token recognition error at: '@'
% 0.99/0.99  line 1055:48 token recognition error at: '<'
% 0.99/0.99  line 1055:49 token recognition error at: '_'
% 0.99/0.99  line 1055:58 token recognition error at: '''
% 0.99/0.99  line 1055:70 token recognition error at: '''
% 0.99/0.99  line 1055:71 token recognition error at: '@'
% 0.99/0.99  line 1055:72 token recognition error at: '<'
% 0.99/0.99  line 1055:73 token recognition error at: '_'
% 0.99/0.99  line 1055:82 token recognition error at: '''
% 0.99/0.99  line 1058:4 token recognition error at: '''
% 0.99/0.99  line 1058:5 token recognition error at: '@'
% 0.99/0.99  line 1058:6 token recognition error at: '='
% 0.99/0.99  line 1058:7 token recognition error at: '<'
% 0.99/0.99  line 1058:8 token recognition error at: '_'
% 0.99/0.99  line 1058:17 token recognition error at: '''
% 0.99/0.99  line 1058:19 token recognition error at: '''
% 0.99/0.99  line 1058:20 token recognition error at: '@'
% 0.99/0.99  line 1058:21 token recognition error at: '*'
% 0.99/0.99  line 1058:22 token recognition error at: '''
% 0.99/0.99  line 1058:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1058:31 token recognition error at: '''
% 0.99/0.99  line 1058:32 token recognition error at: '@'
% 0.99/0.99  line 1058:33 token recognition error at: '*'
% 0.99/0.99  line 1058:34 token recognition error at: '''
% 0.99/0.99  line 1058:30 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1058:67 token recognition error at: '''
% 0.99/0.99  line 1058:68 token recognition error at: '@'
% 0.99/0.99  line 1058:69 token recognition error at: '='
% 0.99/0.99  line 1058:70 token recognition error at: '<'
% 0.99/0.99  line 1058:71 token recognition error at: '_'
% 0.99/0.99  line 1058:80 token recognition error at: '''
% 0.99/0.99  line 1061:4 token recognition error at: '''
% 0.99/0.99  line 1061:5 token recognition error at: '@'
% 0.99/0.99  line 1061:6 token recognition error at: '='
% 0.99/0.99  line 1061:7 token recognition error at: '<'
% 0.99/0.99  line 1061:8 token recognition error at: '_'
% 0.99/0.99  line 1061:17 token recognition error at: '''
% 0.99/0.99  line 1061:19 token recognition error at: '''
% 0.99/0.99  line 1061:20 token recognition error at: '@'
% 0.99/0.99  line 1061:21 token recognition error at: '*'
% 0.99/0.99  line 1061:22 token recognition error at: '''
% 0.99/0.99  line 1061:23 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1061:31 token recognition error at: '''
% 0.99/0.99  line 1061:32 token recognition error at: '@'
% 0.99/0.99  line 1061:33 token recognition error at: '*'
% 0.99/0.99  line 1061:34 token recognition error at: '''
% 0.99/0.99  line 1061:30 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1061:47 token recognition error at: '''
% 0.99/0.99  line 1061:48 token recognition error at: '@'
% 0.99/0.99  line 1061:49 token recognition error at: '='
% 0.99/0.99  line 1061:50 token recognition error at: '<'
% 0.99/0.99  line 1061:51 token recognition error at: '_'
% 0.99/0.99  line 1061:60 token recognition error at: '''
% 0.99/0.99  line 1064:4 token recognition error at: '''
% 0.99/0.99  line 1064:5 token recognition error at: '@'
% 0.99/0.99  line 1064:6 token recognition error at: '<'
% 0.99/0.99  line 1064:7 token recognition error at: '_'
% 0.99/0.99  line 1064:16 token recognition error at: '''
% 0.99/0.99  line 1064:18 token recognition error at: '''
% 0.99/0.99  line 1064:19 token recognition error at: '@'
% 0.99/0.99  line 1064:20 token recognition error at: '*'
% 0.99/0.99  line 1064:21 token recognition error at: '''
% 0.99/0.99  line 1064:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1064:30 token recognition error at: '''
% 0.99/0.99  line 1064:31 token recognition error at: '@'
% 0.99/0.99  line 1064:32 token recognition error at: '*'
% 0.99/0.99  line 1064:33 token recognition error at: '''
% 0.99/0.99  line 1064:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1064:79 token recognition error at: '''
% 0.99/0.99  line 1064:80 token recognition error at: '0'
% 0.99/0.99  line 1064:81 token recognition error at: '''
% 0.99/0.99  line 1064:90 token recognition error at: '''
% 0.99/0.99  line 1064:91 token recognition error at: '@'
% 0.99/0.99  line 1064:92 token recognition error at: '<'
% 0.99/0.99  line 1064:93 token recognition error at: '_'
% 0.99/0.99  line 1064:102 token recognition error at: '''
% 0.99/0.99  line 1067:4 token recognition error at: '''
% 0.99/0.99  line 1067:5 token recognition error at: '@'
% 0.99/0.99  line 1067:6 token recognition error at: '='
% 0.99/0.99  line 1067:7 token recognition error at: '<'
% 0.99/0.99  line 1067:8 token recognition error at: '_'
% 0.99/0.99  line 1067:17 token recognition error at: '''
% 0.99/0.99  line 1067:89 token recognition error at: '''
% 0.99/0.99  line 1067:90 token recognition error at: '@'
% 0.99/0.99  line 1067:91 token recognition error at: '='
% 0.99/0.99  line 1067:92 token recognition error at: '<'
% 0.99/0.99  line 1067:93 token recognition error at: '_'
% 0.99/0.99  line 1067:102 token recognition error at: '''
% 0.99/0.99  line 1067:104 token recognition error at: '''
% 0.99/0.99  line 1067:105 token recognition error at: '@'
% 0.99/0.99  line 1067:106 token recognition error at: '*'
% 0.99/0.99  line 1067:107 token recognition error at: '''
% 0.99/0.99  line 1067:108 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1067:119 token recognition error at: '''
% 0.99/0.99  line 1067:120 token recognition error at: '@'
% 0.99/0.99  line 1067:121 token recognition error at: '*'
% 0.99/0.99  line 1067:122 token recognition error at: '''
% 0.99/0.99  line 1067:118 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1070:102 token recognition error at: '''
% 0.99/0.99  line 1070:103 token recognition error at: '@'
% 0.99/0.99  line 1070:104 token recognition error at: '+'
% 0.99/0.99  line 1070:105 token recognition error at: '''
% 0.99/0.99  line 1070:106 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1070:114 token recognition error at: '''
% 0.99/0.99  line 1070:115 token recognition error at: '@'
% 0.99/0.99  line 1070:116 token recognition error at: '+'
% 0.99/0.99  line 1070:117 token recognition error at: '''
% 0.99/0.99  line 1070:113 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1073:18 token recognition error at: '''
% 0.99/0.99  line 1073:19 token recognition error at: '*'
% 0.99/0.99  line 1073:20 token recognition error at: '*'
% 0.99/0.99  line 1073:21 token recognition error at: '''
% 0.99/0.99  line 1073:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1073:29 mismatched input ',' expecting {',', ')'}
% 0.99/0.99  line 1076:26 token recognition error at: '''
% 0.99/0.99  line 1076:27 token recognition error at: '*'
% 0.99/0.99  line 1076:28 token recognition error at: '*'
% 0.99/0.99  line 1076:29 token recognition error at: '''
% 0.99/0.99  line 1076:30 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/0.99  line 1076:39 mismatched input '|' expecting {',', ')'}
% 0.99/1.00  line 1157:18 token recognition error at: '''
% 0.99/1.00  line 1157:19 token recognition error at: '*'
% 0.99/1.00  line 1157:20 token recognition error at: '*'
% 0.99/1.00  line 1157:21 token recognition error at: '''
% 0.99/1.00  line 1157:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1157:30 mismatched input ',' expecting {',', ')'}
% 0.99/1.00  line 1160:18 token recognition error at: '''
% 0.99/1.00  line 1160:19 token recognition error at: '*'
% 0.99/1.00  line 1160:20 token recognition error at: '*'
% 0.99/1.00  line 1160:21 token recognition error at: '''
% 0.99/1.00  line 1160:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1160:38 mismatched input ',' expecting {',', ')'}
% 0.99/1.00  line 1160:47 token recognition error at: '''
% 0.99/1.00  line 1160:48 token recognition error at: '*'
% 0.99/1.00  line 1160:49 token recognition error at: '*'
% 0.99/1.00  line 1160:50 token recognition error at: '''
% 0.99/1.00  line 1163:18 token recognition error at: '''
% 0.99/1.00  line 1163:19 token recognition error at: '*'
% 0.99/1.00  line 1163:20 token recognition error at: '*'
% 0.99/1.00  line 1163:21 token recognition error at: '''
% 0.99/1.00  line 1163:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1163:31 mismatched input '|' expecting {',', ')'}
% 0.99/1.00  line 1166:60 token recognition error at: '''
% 0.99/1.00  line 1166:61 token recognition error at: '*'
% 0.99/1.00  line 1166:62 token recognition error at: '*'
% 0.99/1.00  line 1166:63 token recognition error at: '''
% 0.99/1.00  line 1166:64 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1166:72 extraneous input ')' expecting '.'
% 0.99/1.00  line 1169:7 token recognition error at: '''
% 0.99/1.00  line 1169:8 token recognition error at: '*'
% 0.99/1.00  line 1169:9 token recognition error at: '*'
% 0.99/1.00  line 1169:10 token recognition error at: '''
% 0.99/1.00  line 1169:11 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1169:20 mismatched input '|' expecting {',', ')'}
% 0.99/1.00  line 1172:38 token recognition error at: '''
% 0.99/1.00  line 1172:39 token recognition error at: '*'
% 0.99/1.00  line 1172:40 token recognition error at: '*'
% 0.99/1.00  line 1172:41 token recognition error at: '''
% 0.99/1.00  line 1172:42 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1172:50 extraneous input ')' expecting '.'
% 0.99/1.00  line 1175:38 token recognition error at: '''
% 0.99/1.00  line 1175:39 token recognition error at: '*'
% 0.99/1.00  line 1175:40 token recognition error at: '*'
% 0.99/1.00  line 1175:41 token recognition error at: '''
% 0.99/1.00  line 1175:42 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1175:50 extraneous input ')' expecting '.'
% 0.99/1.00  line 1178:18 token recognition error at: '''
% 0.99/1.00  line 1178:19 token recognition error at: '*'
% 0.99/1.00  line 1178:20 token recognition error at: '*'
% 0.99/1.00  line 1178:21 token recognition error at: '''
% 0.99/1.00  line 1178:23 token recognition error at: '''
% 0.99/1.00  line 1178:24 token recognition error at: '*'
% 0.99/1.00  line 1178:25 token recognition error at: '*'
% 0.99/1.00  line 1178:26 token recognition error at: '''
% 0.99/1.00  line 1178:22 mismatched input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1178:34 mismatched input ',' expecting {',', ')'}
% 0.99/1.00  line 1178:39 token recognition error at: '''
% 0.99/1.00  line 1178:40 token recognition error at: '*'
% 0.99/1.00  line 1178:41 token recognition error at: '*'
% 0.99/1.00  line 1178:42 token recognition error at: '''
% 0.99/1.00  line 1178:47 token recognition error at: '''
% 0.99/1.00  line 1178:48 token recognition error at: '*'
% 0.99/1.00  line 1178:49 token recognition error at: '*'
% 0.99/1.00  line 1178:50 token recognition error at: '''
% 0.99/1.00  line 1181:18 token recognition error at: '''
% 0.99/1.00  line 1181:19 token recognition error at: '*'
% 0.99/1.00  line 1181:20 token recognition error at: '*'
% 0.99/1.00  line 1181:21 token recognition error at: '''
% 0.99/1.00  line 1181:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1181:30 mismatched input ',' expecting {'(', ',', ')'}
% 0.99/1.00  line 1202:18 token recognition error at: '''
% 0.99/1.00  line 1202:19 token recognition error at: '0'
% 0.99/1.00  line 1202:20 token recognition error at: '''
% 0.99/1.00  line 1202:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1211:64 token recognition error at: '''
% 0.99/1.00  line 1211:65 token recognition error at: '0'
% 0.99/1.00  line 1211:66 token recognition error at: '''
% 0.99/1.00  line 1211:67 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1217:21 token recognition error at: '''
% 0.99/1.00  line 1217:22 token recognition error at: '*'
% 0.99/1.00  line 1217:23 token recognition error at: '*'
% 0.99/1.00  line 1217:24 token recognition error at: '''
% 0.99/1.00  line 1217:25 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1217:34 token recognition error at: '''
% 0.99/1.00  line 1217:35 token recognition error at: '@'
% 0.99/1.00  line 1217:36 token recognition error at: '+'
% 0.99/1.00  line 1217:37 token recognition error at: '''
% 0.99/1.00  line 1217:33 mismatched input ',' expecting {',', ')'}
% 0.99/1.00  line 1220:4 token recognition error at: '''
% 0.99/1.00  line 1220:5 token recognition error at: '@'
% 0.99/1.00  line 1220:6 token recognition error at: '='
% 0.99/1.00  line 1220:7 token recognition error at: '<'
% 0.99/1.00  line 1220:8 token recognition error at: '_'
% 0.99/1.00  line 1220:17 token recognition error at: '''
% 0.99/1.00  line 1220:29 token recognition error at: '''
% 0.99/1.00  line 1220:30 token recognition error at: '*'
% 0.99/1.00  line 1220:31 token recognition error at: '*'
% 0.99/1.00  line 1220:32 token recognition error at: '''
% 0.99/1.00  line 1220:33 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1220:43 mismatched input '|' expecting {',', ')'}
% 0.99/1.00  line 1223:4 token recognition error at: '''
% 0.99/1.00  line 1223:5 token recognition error at: '@'
% 0.99/1.00  line 1223:6 token recognition error at: '='
% 0.99/1.00  line 1223:7 token recognition error at: '<'
% 0.99/1.00  line 1223:8 token recognition error at: '_'
% 0.99/1.00  line 1223:17 token recognition error at: '''
% 0.99/1.00  line 1223:29 token recognition error at: '''
% 0.99/1.00  line 1223:30 token recognition error at: '*'
% 0.99/1.00  line 1223:31 token recognition error at: '*'
% 0.99/1.00  line 1223:32 token recognition error at: '''
% 0.99/1.00  line 1223:33 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1223:43 mismatched input '|' expecting {',', ')'}
% 0.99/1.00  line 1226:4 token recognition error at: '''
% 0.99/1.00  line 1226:5 token recognition error at: '@'
% 0.99/1.00  line 1226:6 token recognition error at: '='
% 0.99/1.00  line 1226:7 token recognition error at: '<'
% 0.99/1.00  line 1226:8 token recognition error at: '_'
% 0.99/1.00  line 1226:17 token recognition error at: '''
% 0.99/1.00  line 1229:18 token recognition error at: '''
% 0.99/1.00  line 1229:19 token recognition error at: '@'
% 0.99/1.00  line 1229:20 token recognition error at: '+'
% 0.99/1.00  line 1229:21 token recognition error at: '''
% 0.99/1.00  line 1229:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1229:37 mismatched input ',' expecting {',', ')'}
% 0.99/1.00  line 1232:4 token recognition error at: '''
% 0.99/1.00  line 1232:5 token recognition error at: '@'
% 0.99/1.00  line 1232:6 token recognition error at: '='
% 0.99/1.00  line 1232:7 token recognition error at: '<'
% 0.99/1.00  line 1232:8 token recognition error at: '_'
% 0.99/1.00  line 1232:17 token recognition error at: '''
% 0.99/1.00  line 1235:4 token recognition error at: '''
% 0.99/1.00  line 1235:5 token recognition error at: '@'
% 0.99/1.00  line 1235:6 token recognition error at: '='
% 0.99/1.00  line 1235:7 token recognition error at: '<'
% 0.99/1.00  line 1235:8 token recognition error at: '_'
% 0.99/1.00  line 1235:17 token recognition error at: '''
% 0.99/1.00  line 1259:23 token recognition error at: '''
% 0.99/1.00  line 1259:24 token recognition error at: '*'
% 0.99/1.00  line 1259:25 token recognition error at: '*'
% 0.99/1.00  line 1259:26 token recognition error at: '''
% 0.99/1.00  line 1259:27 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.00  line 1259:36 mismatched input '|' expecting {',', ')'}
% 0.99/1.00  line 1262:23 token recognition error at: '''
% 0.99/1.00  line 1262:24 token recognition error at: '*'
% 0.99/1.00  line 1262:25 token recognition error at: '*'
% 0.99/1.00  line 1262:26 token recognition error at: '''
% 0.99/1.00  line 1262:27 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1262:36 mismatched input '|' expecting {',', ')'}
% 0.99/1.01  line 1271:95 token recognition error at: '''
% 0.99/1.01  line 1271:96 token recognition error at: '*'
% 0.99/1.01  line 1271:97 token recognition error at: '*'
% 0.99/1.01  line 1271:98 token recognition error at: '''
% 0.99/1.01  line 1271:99 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1271:107 extraneous input ')' expecting '.'
% 0.99/1.01  line 1274:11 token recognition error at: '''
% 0.99/1.01  line 1274:12 token recognition error at: '*'
% 0.99/1.01  line 1274:13 token recognition error at: '*'
% 0.99/1.01  line 1274:14 token recognition error at: '''
% 0.99/1.01  line 1274:15 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1274:24 mismatched input '|' expecting {',', ')'}
% 0.99/1.01  line 1277:11 token recognition error at: '''
% 0.99/1.01  line 1277:12 token recognition error at: '*'
% 0.99/1.01  line 1277:13 token recognition error at: '*'
% 0.99/1.01  line 1277:14 token recognition error at: '''
% 0.99/1.01  line 1277:15 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1277:24 mismatched input '|' expecting {',', ')'}
% 0.99/1.01  line 1289:105 token recognition error at: '''
% 0.99/1.01  line 1289:106 token recognition error at: '*'
% 0.99/1.01  line 1289:107 token recognition error at: '*'
% 0.99/1.01  line 1289:108 token recognition error at: '''
% 0.99/1.01  line 1289:109 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1289:117 token recognition error at: '''
% 0.99/1.01  line 1289:118 token recognition error at: '*'
% 0.99/1.01  line 1289:119 token recognition error at: '*'
% 0.99/1.01  line 1289:120 token recognition error at: '''
% 0.99/1.01  line 1289:116 mismatched input ',' expecting {',', ')'}
% 0.99/1.01  line 1304:4 token recognition error at: '''
% 0.99/1.01  line 1304:5 token recognition error at: '@'
% 0.99/1.01  line 1304:6 token recognition error at: '<'
% 0.99/1.01  line 1304:7 token recognition error at: '_'
% 0.99/1.01  line 1304:16 token recognition error at: '''
% 0.99/1.01  line 1304:18 token recognition error at: '''
% 0.99/1.01  line 1304:19 token recognition error at: '@'
% 0.99/1.01  line 1304:20 token recognition error at: '+'
% 0.99/1.01  line 1304:21 token recognition error at: '''
% 0.99/1.01  line 1304:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1304:37 mismatched input ',' expecting {',', ')'}
% 0.99/1.01  line 1304:87 token recognition error at: '''
% 0.99/1.01  line 1304:88 token recognition error at: '@'
% 0.99/1.01  line 1304:89 token recognition error at: '<'
% 0.99/1.01  line 1304:90 token recognition error at: '_'
% 0.99/1.01  line 1304:99 token recognition error at: '''
% 0.99/1.01  line 1304:101 token recognition error at: '''
% 0.99/1.01  line 1304:102 token recognition error at: '@'
% 0.99/1.01  line 1304:103 token recognition error at: '+'
% 0.99/1.01  line 1304:104 token recognition error at: '''
% 0.99/1.01  line 1307:4 token recognition error at: '''
% 0.99/1.01  line 1307:5 token recognition error at: '@'
% 0.99/1.01  line 1307:6 token recognition error at: '<'
% 0.99/1.01  line 1307:7 token recognition error at: '_'
% 0.99/1.01  line 1307:16 token recognition error at: '''
% 0.99/1.01  line 1307:18 token recognition error at: '''
% 0.99/1.01  line 1307:19 token recognition error at: '@'
% 0.99/1.01  line 1307:20 token recognition error at: '+'
% 0.99/1.01  line 1307:21 token recognition error at: '''
% 0.99/1.01  line 1307:22 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1307:37 mismatched input ',' expecting {',', ')'}
% 0.99/1.01  line 1307:87 token recognition error at: '''
% 0.99/1.01  line 1307:88 token recognition error at: '@'
% 0.99/1.01  line 1307:89 token recognition error at: '<'
% 0.99/1.01  line 1307:90 token recognition error at: '_'
% 0.99/1.01  line 1307:99 token recognition error at: '''
% 0.99/1.01  line 1307:101 token recognition error at: '''
% 0.99/1.01  line 1307:102 token recognition error at: '@'
% 0.99/1.01  line 1307:103 token recognition error at: '+'
% 0.99/1.01  line 1307:104 token recognition error at: '''
% 0.99/1.01  line 1325:23 token recognition error at: '''
% 0.99/1.01  line 1325:24 token recognition error at: '*'
% 0.99/1.01  line 1325:25 token recognition error at: '*'
% 0.99/1.01  line 1325:26 token recognition error at: '''
% 0.99/1.01  line 1325:27 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1325:44 token recognition error at: '''
% 0.99/1.01  line 1325:45 token recognition error at: '*'
% 0.99/1.01  line 1325:46 token recognition error at: '*'
% 0.99/1.01  line 1325:47 token recognition error at: '''
% 0.99/1.01  line 1325:43 mismatched input ',' expecting {',', ')'}
% 0.99/1.01  line 1325:102 token recognition error at: '''
% 0.99/1.01  line 1325:103 token recognition error at: '*'
% 0.99/1.01  line 1325:104 token recognition error at: '*'
% 0.99/1.01  line 1325:105 token recognition error at: '''
% 0.99/1.01  line 1325:129 token recognition error at: '''
% 0.99/1.01  line 1325:130 token recognition error at: '*'
% 0.99/1.01  line 1325:131 token recognition error at: '*'
% 0.99/1.01  line 1325:132 token recognition error at: '''
% 0.99/1.01  line 1328:23 token recognition error at: '''
% 0.99/1.01  line 1328:24 token recognition error at: '*'
% 0.99/1.01  line 1328:25 token recognition error at: '*'
% 0.99/1.01  line 1328:26 token recognition error at: '''
% 0.99/1.01  line 1328:27 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1328:44 token recognition error at: '''
% 0.99/1.01  line 1328:45 token recognition error at: '*'
% 0.99/1.01  line 1328:46 token recognition error at: '*'
% 0.99/1.01  line 1328:47 token recognition error at: '''
% 0.99/1.01  line 1328:43 mismatched input ',' expecting {',', ')'}
% 0.99/1.01  line 1331:23 token recognition error at: '''
% 0.99/1.01  line 1331:24 token recognition error at: '*'
% 0.99/1.01  line 1331:25 token recognition error at: '*'
% 0.99/1.01  line 1331:26 token recognition error at: '''
% 0.99/1.01  line 1331:27 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1331:44 token recognition error at: '''
% 0.99/1.01  line 1331:45 token recognition error at: '*'
% 0.99/1.01  line 1331:46 token recognition error at: '*'
% 0.99/1.01  line 1331:47 token recognition error at: '''
% 0.99/1.01  line 1331:43 mismatched input ',' expecting {',', ')'}
% 0.99/1.01  line 1334:26 token recognition error at: '''
% 0.99/1.01  line 1334:27 token recognition error at: '*'
% 0.99/1.01  line 1334:28 token recognition error at: '*'
% 0.99/1.01  line 1334:29 token recognition error at: '''
% 0.99/1.01  line 1334:30 extraneous input '(' expecting {LOWER_WORD, UPPER_WORD}
% 0.99/1.01  line 1334:53 token recognition error at: '''
% 0.99/1.01  line 1334:54 token recognition error at: '*'
% 0.99/1.01  line 1334:55 token recognition error at: '*'
% 0.99/1.01  line 1334:56 token recognition error at: '''
% 0.99/1.01  line 1334:52 mismatched input ',' expecting {'(', ',', ')'}
% 0.99/1.01  % SZS status Error
% 0.99/1.01  java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.99/1.01  java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.99/1.01  	at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:122)
% 0.99/1.01  	at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:205)
% 0.99/1.01  	at Main.main(Main.java:24)
% 0.99/1.01  Caused by: java.lang.NullPointerException: Cannot invoke "Pair.getSecond()" because "clause" is null
% 0.99/1.01  	at Main.loadFormulas(Main.java:194)
% 0.99/1.01  	at Main.runModelBuilder(Main.java:42)
% 0.99/1.01  	at Main.lambda$main$0(Main.java:21)
% 0.99/1.02  	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
% 0.99/1.02  	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
% 0.99/1.02  	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
% 0.99/1.02  	at java.base/java.lang.Thread.run(Thread.java:1583)
% 1.66/1.06  % FMB4L exiting
%------------------------------------------------------------------------------