%------------------------------------------------------------------------------
% File : FMB4J---0.1
% Problem : SWX071+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 : n014.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:18 PM UTC 2026
% Result : Unknown 1.31s 1.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.02 % Problem : SWX071+1 : TPTP v9.3.1. Released v9.1.0.
% 0.00/0.04 % Command : run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.09/0.35 % Computer : n014.cluster.edu
% 0.09/0.35 % Model : x86_64 x86_64
% 0.09/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.35 % Memory : 8046.5625MB
% 0.09/0.35 % OS : Linux 6.8.0-71-generic
% 0.09/0.35 % CPULimit : 300
% 0.09/0.35 % WCLimit : 300
% 0.09/0.35 % DateTime : Thu Sep 24 23:24:03 UTC 2026
% 0.09/0.36 % CPUTime :
% 0.09/0.36 Running run_fmb4j /export/starexec/sandbox/benchmark/theBenchmark.p 300
% 0.13/0.45 Running: java -jar /export/starexec/sandbox/solver/bin/FMB4J.jar /export/starexec/sandbox/tmp/tmp.HNLLwfs1bp/theBenchmark.cnf 300
% 0.56/0.73 line 176:23 token recognition error at: '''
% 0.56/0.73 line 176:24 token recognition error at: '1'
% 0.56/0.73 line 176:25 token recognition error at: '''
% 0.56/0.73 line 176:26 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.73 line 179:23 token recognition error at: '''
% 0.56/0.73 line 179:24 token recognition error at: '0'
% 0.56/0.73 line 179:25 token recognition error at: '''
% 0.56/0.73 line 179:26 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 200:31 token recognition error at: '''
% 0.56/0.74 line 200:32 token recognition error at: '1'
% 0.56/0.74 line 200:33 token recognition error at: '''
% 0.56/0.74 line 200:34 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 203:31 token recognition error at: '''
% 0.56/0.74 line 203:32 token recognition error at: '0'
% 0.56/0.74 line 203:33 token recognition error at: '''
% 0.56/0.74 line 203:34 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 218:19 token recognition error at: '''
% 0.56/0.74 line 218:20 token recognition error at: '1'
% 0.56/0.74 line 218:21 token recognition error at: '''
% 0.56/0.74 line 218:23 token recognition error at: '''
% 0.56/0.74 line 218:24 token recognition error at: '0'
% 0.56/0.74 line 218:25 token recognition error at: '''
% 0.56/0.74 line 218:22 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 218:26 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 221:19 token recognition error at: '''
% 0.56/0.74 line 221:20 token recognition error at: '1'
% 0.56/0.74 line 221:21 token recognition error at: '''
% 0.56/0.74 line 221:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 224:19 token recognition error at: '''
% 0.56/0.74 line 224:20 token recognition error at: '1'
% 0.56/0.74 line 224:21 token recognition error at: '''
% 0.56/0.74 line 224:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 227:19 token recognition error at: '''
% 0.56/0.74 line 227:20 token recognition error at: '1'
% 0.56/0.74 line 227:21 token recognition error at: '''
% 0.56/0.74 line 227:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 230:19 token recognition error at: '''
% 0.56/0.74 line 230:20 token recognition error at: '1'
% 0.56/0.74 line 230:21 token recognition error at: '''
% 0.56/0.74 line 230:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 233:19 token recognition error at: '''
% 0.56/0.74 line 233:20 token recognition error at: '0'
% 0.56/0.74 line 233:21 token recognition error at: '''
% 0.56/0.74 line 233:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 236:19 token recognition error at: '''
% 0.56/0.74 line 236:20 token recognition error at: '0'
% 0.56/0.74 line 236:21 token recognition error at: '''
% 0.56/0.74 line 236:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 239:19 token recognition error at: '''
% 0.56/0.74 line 239:20 token recognition error at: '0'
% 0.56/0.74 line 239:21 token recognition error at: '''
% 0.56/0.74 line 239:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.74 line 242:19 token recognition error at: '''
% 0.56/0.74 line 242:20 token recognition error at: '0'
% 0.56/0.74 line 242:21 token recognition error at: '''
% 0.56/0.74 line 242:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.75 line 293:7 token recognition error at: '''
% 0.56/0.75 line 293:8 token recognition error at: '1'
% 0.56/0.75 line 293:9 token recognition error at: '''
% 0.56/0.75 line 293:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.75 line 296:7 token recognition error at: '''
% 0.56/0.75 line 296:8 token recognition error at: '0'
% 0.56/0.75 line 296:9 token recognition error at: '''
% 0.56/0.75 line 296:10 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 623:12 token recognition error at: '''
% 0.56/0.76 line 623:13 token recognition error at: '1'
% 0.56/0.76 line 623:14 token recognition error at: '''
% 0.56/0.76 line 623:15 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 623:50 token recognition error at: '''
% 0.56/0.76 line 623:51 token recognition error at: '1'
% 0.56/0.76 line 623:52 token recognition error at: '''
% 0.56/0.76 line 623:53 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 653:35 token recognition error at: '''
% 0.56/0.76 line 653:36 token recognition error at: '1'
% 0.56/0.76 line 653:37 token recognition error at: '''
% 0.56/0.76 line 653:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 656:54 token recognition error at: '''
% 0.56/0.76 line 656:55 token recognition error at: '1'
% 0.56/0.76 line 656:56 token recognition error at: '''
% 0.56/0.76 line 656:57 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 659:19 token recognition error at: '''
% 0.56/0.76 line 659:20 token recognition error at: '1'
% 0.56/0.76 line 659:21 token recognition error at: '''
% 0.56/0.76 line 659:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 659:50 token recognition error at: '''
% 0.56/0.76 line 659:51 token recognition error at: '1'
% 0.56/0.76 line 659:52 token recognition error at: '''
% 0.56/0.76 line 659:53 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 665:18 token recognition error at: '''
% 0.56/0.76 line 665:19 token recognition error at: '1'
% 0.56/0.76 line 665:20 token recognition error at: '''
% 0.56/0.76 line 665:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.76 line 668:37 token recognition error at: '''
% 0.56/0.77 line 668:38 token recognition error at: '1'
% 0.56/0.77 line 668:39 token recognition error at: '''
% 0.56/0.77 line 668:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 671:20 token recognition error at: '''
% 0.56/0.77 line 671:21 token recognition error at: '0'
% 0.56/0.77 line 671:22 token recognition error at: '''
% 0.56/0.77 line 671:23 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 671:51 token recognition error at: '''
% 0.56/0.77 line 671:52 token recognition error at: '0'
% 0.56/0.77 line 671:53 token recognition error at: '''
% 0.56/0.77 line 671:54 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 677:18 token recognition error at: '''
% 0.56/0.77 line 677:19 token recognition error at: '0'
% 0.56/0.77 line 677:20 token recognition error at: '''
% 0.56/0.77 line 677:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 680:37 token recognition error at: '''
% 0.56/0.77 line 680:38 token recognition error at: '0'
% 0.56/0.77 line 680:39 token recognition error at: '''
% 0.56/0.77 line 680:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 683:20 token recognition error at: '''
% 0.56/0.77 line 683:21 token recognition error at: '0'
% 0.56/0.77 line 683:22 token recognition error at: '''
% 0.56/0.77 line 683:23 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 683:51 token recognition error at: '''
% 0.56/0.77 line 683:52 token recognition error at: '0'
% 0.56/0.77 line 683:53 token recognition error at: '''
% 0.56/0.77 line 683:54 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 689:18 token recognition error at: '''
% 0.56/0.77 line 689:19 token recognition error at: '0'
% 0.56/0.77 line 689:20 token recognition error at: '''
% 0.56/0.77 line 689:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 692:37 token recognition error at: '''
% 0.56/0.77 line 692:38 token recognition error at: '0'
% 0.56/0.77 line 692:39 token recognition error at: '''
% 0.56/0.77 line 692:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 695:17 token recognition error at: '''
% 0.56/0.77 line 695:18 token recognition error at: '0'
% 0.56/0.77 line 695:19 token recognition error at: '''
% 0.56/0.77 line 695:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 695:48 token recognition error at: '''
% 0.56/0.77 line 695:49 token recognition error at: '1'
% 0.56/0.77 line 695:50 token recognition error at: '''
% 0.56/0.77 line 695:51 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 701:18 token recognition error at: '''
% 0.56/0.77 line 701:19 token recognition error at: '0'
% 0.56/0.77 line 701:20 token recognition error at: '''
% 0.56/0.77 line 701:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 704:37 token recognition error at: '''
% 0.56/0.77 line 704:38 token recognition error at: '1'
% 0.56/0.77 line 704:39 token recognition error at: '''
% 0.56/0.77 line 704:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 707:17 token recognition error at: '''
% 0.56/0.77 line 707:18 token recognition error at: '1'
% 0.56/0.77 line 707:19 token recognition error at: '''
% 0.56/0.77 line 707:20 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 707:48 token recognition error at: '''
% 0.56/0.77 line 707:49 token recognition error at: '0'
% 0.56/0.77 line 707:50 token recognition error at: '''
% 0.56/0.77 line 707:51 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 713:18 token recognition error at: '''
% 0.56/0.77 line 713:19 token recognition error at: '1'
% 0.56/0.77 line 713:20 token recognition error at: '''
% 0.56/0.77 line 713:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 716:37 token recognition error at: '''
% 0.56/0.77 line 716:38 token recognition error at: '0'
% 0.56/0.77 line 716:39 token recognition error at: '''
% 0.56/0.77 line 716:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 719:15 token recognition error at: '''
% 0.56/0.77 line 719:16 token recognition error at: '0'
% 0.56/0.77 line 719:17 token recognition error at: '''
% 0.56/0.77 line 719:18 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 725:18 token recognition error at: '''
% 0.56/0.77 line 725:19 token recognition error at: '0'
% 0.56/0.77 line 725:20 token recognition error at: '''
% 0.56/0.77 line 725:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 731:15 token recognition error at: '''
% 0.56/0.77 line 731:16 token recognition error at: '1'
% 0.56/0.77 line 731:17 token recognition error at: '''
% 0.56/0.77 line 731:18 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.77 line 737:18 token recognition error at: '''
% 0.56/0.77 line 737:19 token recognition error at: '1'
% 0.56/0.77 line 737:20 token recognition error at: '''
% 0.56/0.78 line 737:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 743:19 token recognition error at: '''
% 0.56/0.78 line 743:20 token recognition error at: '0'
% 0.56/0.78 line 743:21 token recognition error at: '''
% 0.56/0.78 line 743:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 743:50 token recognition error at: '''
% 0.56/0.78 line 743:51 token recognition error at: '0'
% 0.56/0.78 line 743:52 token recognition error at: '''
% 0.56/0.78 line 743:53 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 743:78 token recognition error at: '''
% 0.56/0.78 line 743:79 token recognition error at: '0'
% 0.56/0.78 line 743:80 token recognition error at: '''
% 0.56/0.78 line 743:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 749:18 token recognition error at: '''
% 0.56/0.78 line 749:19 token recognition error at: '0'
% 0.56/0.78 line 749:20 token recognition error at: '''
% 0.56/0.78 line 749:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 752:37 token recognition error at: '''
% 0.56/0.78 line 752:38 token recognition error at: '0'
% 0.56/0.78 line 752:39 token recognition error at: '''
% 0.56/0.78 line 752:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 755:37 token recognition error at: '''
% 0.56/0.78 line 755:38 token recognition error at: '0'
% 0.56/0.78 line 755:39 token recognition error at: '''
% 0.56/0.78 line 755:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 758:19 token recognition error at: '''
% 0.56/0.78 line 758:20 token recognition error at: '1'
% 0.56/0.78 line 758:21 token recognition error at: '''
% 0.56/0.78 line 758:22 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 758:50 token recognition error at: '''
% 0.56/0.78 line 758:51 token recognition error at: '1'
% 0.56/0.78 line 758:52 token recognition error at: '''
% 0.56/0.78 line 758:53 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 758:78 token recognition error at: '''
% 0.56/0.78 line 758:79 token recognition error at: '1'
% 0.56/0.78 line 758:80 token recognition error at: '''
% 0.56/0.78 line 758:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 764:18 token recognition error at: '''
% 0.56/0.78 line 764:19 token recognition error at: '1'
% 0.56/0.78 line 764:20 token recognition error at: '''
% 0.56/0.78 line 764:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 767:37 token recognition error at: '''
% 0.56/0.78 line 767:38 token recognition error at: '1'
% 0.56/0.78 line 767:39 token recognition error at: '''
% 0.56/0.78 line 767:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 770:37 token recognition error at: '''
% 0.56/0.78 line 770:38 token recognition error at: '1'
% 0.56/0.78 line 770:39 token recognition error at: '''
% 0.56/0.78 line 770:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 782:53 token recognition error at: '''
% 0.56/0.78 line 782:54 token recognition error at: '1'
% 0.56/0.78 line 782:55 token recognition error at: '''
% 0.56/0.78 line 782:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 785:70 token recognition error at: '''
% 0.56/0.78 line 785:71 token recognition error at: '1'
% 0.56/0.78 line 785:72 token recognition error at: '''
% 0.56/0.78 line 785:73 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 791:21 token recognition error at: '''
% 0.56/0.78 line 791:22 token recognition error at: '1'
% 0.56/0.78 line 791:23 token recognition error at: '''
% 0.56/0.78 line 791:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 791:37 token recognition error at: '''
% 0.56/0.78 line 791:38 token recognition error at: '1'
% 0.56/0.78 line 791:39 token recognition error at: '''
% 0.56/0.78 line 791:40 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 821:35 token recognition error at: '''
% 0.56/0.78 line 821:36 token recognition error at: '1'
% 0.56/0.78 line 821:37 token recognition error at: '''
% 0.56/0.78 line 821:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 824:52 token recognition error at: '''
% 0.56/0.78 line 824:53 token recognition error at: '1'
% 0.56/0.78 line 824:54 token recognition error at: '''
% 0.56/0.78 line 824:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.78 line 827:21 token recognition error at: '''
% 0.56/0.78 line 827:22 token recognition error at: '1'
% 0.56/0.78 line 827:23 token recognition error at: '''
% 0.56/0.78 line 827:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 827:44 token recognition error at: '''
% 0.56/0.79 line 827:45 token recognition error at: '1'
% 0.56/0.79 line 827:46 token recognition error at: '''
% 0.56/0.79 line 827:47 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 833:35 token recognition error at: '''
% 0.56/0.79 line 833:36 token recognition error at: '0'
% 0.56/0.79 line 833:37 token recognition error at: '''
% 0.56/0.79 line 833:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 836:52 token recognition error at: '''
% 0.56/0.79 line 836:53 token recognition error at: '0'
% 0.56/0.79 line 836:54 token recognition error at: '''
% 0.56/0.79 line 836:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 839:21 token recognition error at: '''
% 0.56/0.79 line 839:22 token recognition error at: '0'
% 0.56/0.79 line 839:23 token recognition error at: '''
% 0.56/0.79 line 839:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 839:45 token recognition error at: '''
% 0.56/0.79 line 839:46 token recognition error at: '0'
% 0.56/0.79 line 839:47 token recognition error at: '''
% 0.56/0.79 line 839:48 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 845:35 token recognition error at: '''
% 0.56/0.79 line 845:36 token recognition error at: '0'
% 0.56/0.79 line 845:37 token recognition error at: '''
% 0.56/0.79 line 845:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 848:52 token recognition error at: '''
% 0.56/0.79 line 848:53 token recognition error at: '0'
% 0.56/0.79 line 848:54 token recognition error at: '''
% 0.56/0.79 line 848:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 851:21 token recognition error at: '''
% 0.56/0.79 line 851:22 token recognition error at: '0'
% 0.56/0.79 line 851:23 token recognition error at: '''
% 0.56/0.79 line 851:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 851:45 token recognition error at: '''
% 0.56/0.79 line 851:46 token recognition error at: '0'
% 0.56/0.79 line 851:47 token recognition error at: '''
% 0.56/0.79 line 851:48 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 857:35 token recognition error at: '''
% 0.56/0.79 line 857:36 token recognition error at: '0'
% 0.56/0.79 line 857:37 token recognition error at: '''
% 0.56/0.79 line 857:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 860:52 token recognition error at: '''
% 0.56/0.79 line 860:53 token recognition error at: '1'
% 0.56/0.79 line 860:54 token recognition error at: '''
% 0.56/0.79 line 860:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 863:21 token recognition error at: '''
% 0.56/0.79 line 863:22 token recognition error at: '1'
% 0.56/0.79 line 863:23 token recognition error at: '''
% 0.56/0.79 line 863:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 863:42 token recognition error at: '''
% 0.56/0.79 line 863:43 token recognition error at: '0'
% 0.56/0.79 line 863:44 token recognition error at: '''
% 0.56/0.79 line 863:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 869:35 token recognition error at: '''
% 0.56/0.79 line 869:36 token recognition error at: '1'
% 0.56/0.79 line 869:37 token recognition error at: '''
% 0.56/0.79 line 869:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 872:52 token recognition error at: '''
% 0.56/0.79 line 872:53 token recognition error at: '0'
% 0.56/0.79 line 872:54 token recognition error at: '''
% 0.56/0.79 line 872:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 875:21 token recognition error at: '''
% 0.56/0.79 line 875:22 token recognition error at: '0'
% 0.56/0.79 line 875:23 token recognition error at: '''
% 0.56/0.79 line 875:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 875:42 token recognition error at: '''
% 0.56/0.79 line 875:43 token recognition error at: '1'
% 0.56/0.79 line 875:44 token recognition error at: '''
% 0.56/0.79 line 875:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 881:35 token recognition error at: '''
% 0.56/0.79 line 881:36 token recognition error at: '0'
% 0.56/0.79 line 881:37 token recognition error at: '''
% 0.56/0.79 line 881:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 887:46 token recognition error at: '''
% 0.56/0.79 line 887:47 token recognition error at: '0'
% 0.56/0.79 line 887:48 token recognition error at: '''
% 0.56/0.79 line 887:49 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 893:35 token recognition error at: '''
% 0.56/0.79 line 893:36 token recognition error at: '1'
% 0.56/0.79 line 893:37 token recognition error at: '''
% 0.56/0.79 line 893:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 899:41 token recognition error at: '''
% 0.56/0.79 line 899:42 token recognition error at: '1'
% 0.56/0.79 line 899:43 token recognition error at: '''
% 0.56/0.79 line 899:44 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 905:35 token recognition error at: '''
% 0.56/0.79 line 905:36 token recognition error at: '0'
% 0.56/0.79 line 905:37 token recognition error at: '''
% 0.56/0.79 line 905:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 908:52 token recognition error at: '''
% 0.56/0.79 line 908:53 token recognition error at: '0'
% 0.56/0.79 line 908:54 token recognition error at: '''
% 0.56/0.79 line 908:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 911:52 token recognition error at: '''
% 0.56/0.79 line 911:53 token recognition error at: '0'
% 0.56/0.79 line 911:54 token recognition error at: '''
% 0.56/0.79 line 911:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 914:21 token recognition error at: '''
% 0.56/0.79 line 914:22 token recognition error at: '0'
% 0.56/0.79 line 914:23 token recognition error at: '''
% 0.56/0.79 line 914:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.79 line 914:45 token recognition error at: '''
% 0.56/0.80 line 914:46 token recognition error at: '0'
% 0.56/0.80 line 914:47 token recognition error at: '''
% 0.56/0.80 line 914:48 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.80 line 914:68 token recognition error at: '''
% 0.56/0.80 line 914:69 token recognition error at: '0'
% 0.56/0.80 line 914:70 token recognition error at: '''
% 0.56/0.80 line 914:71 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.80 line 920:35 token recognition error at: '''
% 0.56/0.80 line 920:36 token recognition error at: '1'
% 0.56/0.80 line 920:37 token recognition error at: '''
% 0.56/0.80 line 920:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.80 line 923:52 token recognition error at: '''
% 0.56/0.80 line 923:53 token recognition error at: '1'
% 0.56/0.80 line 923:54 token recognition error at: '''
% 0.56/0.80 line 923:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.80 line 926:52 token recognition error at: '''
% 0.56/0.80 line 926:53 token recognition error at: '1'
% 0.56/0.80 line 926:54 token recognition error at: '''
% 0.56/0.80 line 926:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.56/0.80 line 929:21 token recognition error at: '''
% 0.56/0.80 line 929:22 token recognition error at: '1'
% 0.56/0.80 line 929:23 token recognition error at: '''
% 0.56/0.80 line 929:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 929:45 token recognition error at: '''
% 0.87/0.80 line 929:46 token recognition error at: '1'
% 0.87/0.80 line 929:47 token recognition error at: '''
% 0.87/0.80 line 929:48 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 929:69 token recognition error at: '''
% 0.87/0.80 line 929:70 token recognition error at: '1'
% 0.87/0.80 line 929:71 token recognition error at: '''
% 0.87/0.80 line 929:72 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 941:53 token recognition error at: '''
% 0.87/0.80 line 941:54 token recognition error at: '1'
% 0.87/0.80 line 941:55 token recognition error at: '''
% 0.87/0.80 line 941:56 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 944:75 token recognition error at: '''
% 0.87/0.80 line 944:76 token recognition error at: '1'
% 0.87/0.80 line 944:77 token recognition error at: '''
% 0.87/0.80 line 944:78 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 950:26 token recognition error at: '''
% 0.87/0.80 line 950:27 token recognition error at: '1'
% 0.87/0.80 line 950:28 token recognition error at: '''
% 0.87/0.80 line 950:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 950:42 token recognition error at: '''
% 0.87/0.80 line 950:43 token recognition error at: '1'
% 0.87/0.80 line 950:44 token recognition error at: '''
% 0.87/0.80 line 950:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 980:35 token recognition error at: '''
% 0.87/0.80 line 980:36 token recognition error at: '1'
% 0.87/0.80 line 980:37 token recognition error at: '''
% 0.87/0.80 line 980:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 983:57 token recognition error at: '''
% 0.87/0.80 line 983:58 token recognition error at: '1'
% 0.87/0.80 line 983:59 token recognition error at: '''
% 0.87/0.80 line 983:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 986:26 token recognition error at: '''
% 0.87/0.80 line 986:27 token recognition error at: '1'
% 0.87/0.80 line 986:28 token recognition error at: '''
% 0.87/0.80 line 986:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 986:49 token recognition error at: '''
% 0.87/0.80 line 986:50 token recognition error at: '1'
% 0.87/0.80 line 986:51 token recognition error at: '''
% 0.87/0.80 line 986:52 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 992:35 token recognition error at: '''
% 0.87/0.80 line 992:36 token recognition error at: '0'
% 0.87/0.80 line 992:37 token recognition error at: '''
% 0.87/0.80 line 992:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 995:57 token recognition error at: '''
% 0.87/0.80 line 995:58 token recognition error at: '0'
% 0.87/0.80 line 995:59 token recognition error at: '''
% 0.87/0.80 line 995:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 998:26 token recognition error at: '''
% 0.87/0.80 line 998:27 token recognition error at: '0'
% 0.87/0.80 line 998:28 token recognition error at: '''
% 0.87/0.80 line 998:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 998:50 token recognition error at: '''
% 0.87/0.80 line 998:51 token recognition error at: '0'
% 0.87/0.80 line 998:52 token recognition error at: '''
% 0.87/0.80 line 998:53 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 1004:35 token recognition error at: '''
% 0.87/0.80 line 1004:36 token recognition error at: '0'
% 0.87/0.80 line 1004:37 token recognition error at: '''
% 0.87/0.80 line 1004:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 1007:57 token recognition error at: '''
% 0.87/0.80 line 1007:58 token recognition error at: '0'
% 0.87/0.80 line 1007:59 token recognition error at: '''
% 0.87/0.80 line 1007:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 1010:26 token recognition error at: '''
% 0.87/0.80 line 1010:27 token recognition error at: '0'
% 0.87/0.80 line 1010:28 token recognition error at: '''
% 0.87/0.80 line 1010:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 1010:50 token recognition error at: '''
% 0.87/0.80 line 1010:51 token recognition error at: '0'
% 0.87/0.80 line 1010:52 token recognition error at: '''
% 0.87/0.80 line 1010:53 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 1016:35 token recognition error at: '''
% 0.87/0.80 line 1016:36 token recognition error at: '0'
% 0.87/0.80 line 1016:37 token recognition error at: '''
% 0.87/0.80 line 1016:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 1019:57 token recognition error at: '''
% 0.87/0.80 line 1019:58 token recognition error at: '1'
% 0.87/0.80 line 1019:59 token recognition error at: '''
% 0.87/0.80 line 1019:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.80 line 1022:26 token recognition error at: '''
% 0.87/0.80 line 1022:27 token recognition error at: '1'
% 0.87/0.80 line 1022:28 token recognition error at: '''
% 0.87/0.81 line 1022:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1022:47 token recognition error at: '''
% 0.87/0.81 line 1022:48 token recognition error at: '0'
% 0.87/0.81 line 1022:49 token recognition error at: '''
% 0.87/0.81 line 1022:50 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1028:35 token recognition error at: '''
% 0.87/0.81 line 1028:36 token recognition error at: '1'
% 0.87/0.81 line 1028:37 token recognition error at: '''
% 0.87/0.81 line 1028:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1031:57 token recognition error at: '''
% 0.87/0.81 line 1031:58 token recognition error at: '0'
% 0.87/0.81 line 1031:59 token recognition error at: '''
% 0.87/0.81 line 1031:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1034:26 token recognition error at: '''
% 0.87/0.81 line 1034:27 token recognition error at: '0'
% 0.87/0.81 line 1034:28 token recognition error at: '''
% 0.87/0.81 line 1034:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1034:47 token recognition error at: '''
% 0.87/0.81 line 1034:48 token recognition error at: '1'
% 0.87/0.81 line 1034:49 token recognition error at: '''
% 0.87/0.81 line 1034:50 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1040:35 token recognition error at: '''
% 0.87/0.81 line 1040:36 token recognition error at: '0'
% 0.87/0.81 line 1040:37 token recognition error at: '''
% 0.87/0.81 line 1040:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1046:51 token recognition error at: '''
% 0.87/0.81 line 1046:52 token recognition error at: '0'
% 0.87/0.81 line 1046:53 token recognition error at: '''
% 0.87/0.81 line 1046:54 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1052:35 token recognition error at: '''
% 0.87/0.81 line 1052:36 token recognition error at: '1'
% 0.87/0.81 line 1052:37 token recognition error at: '''
% 0.87/0.81 line 1052:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1058:46 token recognition error at: '''
% 0.87/0.81 line 1058:47 token recognition error at: '1'
% 0.87/0.81 line 1058:48 token recognition error at: '''
% 0.87/0.81 line 1058:49 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1064:35 token recognition error at: '''
% 0.87/0.81 line 1064:36 token recognition error at: '0'
% 0.87/0.81 line 1064:37 token recognition error at: '''
% 0.87/0.81 line 1064:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1067:57 token recognition error at: '''
% 0.87/0.81 line 1067:58 token recognition error at: '0'
% 0.87/0.81 line 1067:59 token recognition error at: '''
% 0.87/0.81 line 1067:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1067:95 token recognition error at: '''
% 0.87/0.81 line 1067:96 token recognition error at: '0'
% 0.87/0.81 line 1067:97 token recognition error at: '''
% 0.87/0.81 line 1067:98 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1070:57 token recognition error at: '''
% 0.87/0.81 line 1070:58 token recognition error at: '0'
% 0.87/0.81 line 1070:59 token recognition error at: '''
% 0.87/0.81 line 1070:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1070:100 token recognition error at: '''
% 0.87/0.81 line 1070:101 token recognition error at: '0'
% 0.87/0.81 line 1070:102 token recognition error at: '''
% 0.87/0.81 line 1070:103 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1073:26 token recognition error at: '''
% 0.87/0.81 line 1073:27 token recognition error at: '0'
% 0.87/0.81 line 1073:28 token recognition error at: '''
% 0.87/0.81 line 1073:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1073:49 token recognition error at: '''
% 0.87/0.81 line 1073:50 token recognition error at: '0'
% 0.87/0.81 line 1073:51 token recognition error at: '''
% 0.87/0.81 line 1073:52 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1076:21 token recognition error at: '''
% 0.87/0.81 line 1076:22 token recognition error at: '0'
% 0.87/0.81 line 1076:23 token recognition error at: '''
% 0.87/0.81 line 1076:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1076:50 token recognition error at: '''
% 0.87/0.81 line 1076:51 token recognition error at: '0'
% 0.87/0.81 line 1076:52 token recognition error at: '''
% 0.87/0.81 line 1076:53 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1076:73 token recognition error at: '''
% 0.87/0.81 line 1076:74 token recognition error at: '0'
% 0.87/0.81 line 1076:75 token recognition error at: '''
% 0.87/0.81 line 1076:76 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1082:35 token recognition error at: '''
% 0.87/0.81 line 1082:36 token recognition error at: '1'
% 0.87/0.81 line 1082:37 token recognition error at: '''
% 0.87/0.81 line 1082:38 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1085:57 token recognition error at: '''
% 0.87/0.81 line 1085:58 token recognition error at: '1'
% 0.87/0.81 line 1085:59 token recognition error at: '''
% 0.87/0.81 line 1085:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1085:95 token recognition error at: '''
% 0.87/0.81 line 1085:96 token recognition error at: '1'
% 0.87/0.81 line 1085:97 token recognition error at: '''
% 0.87/0.81 line 1085:98 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1088:57 token recognition error at: '''
% 0.87/0.81 line 1088:58 token recognition error at: '1'
% 0.87/0.81 line 1088:59 token recognition error at: '''
% 0.87/0.81 line 1088:60 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1088:100 token recognition error at: '''
% 0.87/0.81 line 1088:101 token recognition error at: '1'
% 0.87/0.81 line 1088:102 token recognition error at: '''
% 0.87/0.81 line 1088:103 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1091:26 token recognition error at: '''
% 0.87/0.81 line 1091:27 token recognition error at: '1'
% 0.87/0.81 line 1091:28 token recognition error at: '''
% 0.87/0.81 line 1091:29 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1091:50 token recognition error at: '''
% 0.87/0.81 line 1091:51 token recognition error at: '1'
% 0.87/0.81 line 1091:52 token recognition error at: '''
% 0.87/0.81 line 1091:53 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1094:21 token recognition error at: '''
% 0.87/0.81 line 1094:22 token recognition error at: '1'
% 0.87/0.81 line 1094:23 token recognition error at: '''
% 0.87/0.81 line 1094:24 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1094:50 token recognition error at: '''
% 0.87/0.81 line 1094:51 token recognition error at: '1'
% 0.87/0.81 line 1094:52 token recognition error at: '''
% 0.87/0.81 line 1094:53 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.81 line 1094:74 token recognition error at: '''
% 0.87/0.81 line 1094:75 token recognition error at: '1'
% 0.87/0.81 line 1094:76 token recognition error at: '''
% 0.87/0.81 line 1094:77 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.84 line 2030:24 token recognition error at: '''
% 0.87/0.84 line 2030:25 token recognition error at: '1'
% 0.87/0.84 line 2030:26 token recognition error at: '''
% 0.87/0.84 line 2030:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.84 line 2033:24 token recognition error at: '''
% 0.87/0.84 line 2033:25 token recognition error at: '0'
% 0.87/0.84 line 2033:26 token recognition error at: '''
% 0.87/0.84 line 2033:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.84 line 2036:24 token recognition error at: '''
% 0.87/0.84 line 2036:25 token recognition error at: '1'
% 0.87/0.84 line 2036:26 token recognition error at: '''
% 0.87/0.84 line 2036:27 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.84 line 2036:51 token recognition error at: '''
% 0.87/0.84 line 2036:52 token recognition error at: '0'
% 0.87/0.84 line 2036:53 token recognition error at: '''
% 0.87/0.84 line 2036:54 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2057:31 token recognition error at: '''
% 0.87/0.85 line 2057:32 token recognition error at: '0'
% 0.87/0.85 line 2057:33 token recognition error at: '''
% 0.87/0.85 line 2057:34 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2069:226 token recognition error at: '''
% 0.87/0.85 line 2069:227 token recognition error at: '0'
% 0.87/0.85 line 2069:228 token recognition error at: '''
% 0.87/0.85 line 2069:229 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2075:72 token recognition error at: '''
% 0.87/0.85 line 2075:73 token recognition error at: '0'
% 0.87/0.85 line 2075:74 token recognition error at: '''
% 0.87/0.85 line 2075:75 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2078:18 token recognition error at: '''
% 0.87/0.85 line 2078:19 token recognition error at: '1'
% 0.87/0.85 line 2078:20 token recognition error at: '''
% 0.87/0.85 line 2078:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2081:18 token recognition error at: '''
% 0.87/0.85 line 2081:19 token recognition error at: '1'
% 0.87/0.85 line 2081:20 token recognition error at: '''
% 0.87/0.85 line 2081:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2081:42 token recognition error at: '''
% 0.87/0.85 line 2081:43 token recognition error at: '0'
% 0.87/0.85 line 2081:44 token recognition error at: '''
% 0.87/0.85 line 2081:45 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2093:18 token recognition error at: '''
% 0.87/0.85 line 2093:19 token recognition error at: '1'
% 0.87/0.85 line 2093:20 token recognition error at: '''
% 0.87/0.85 line 2093:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2102:18 token recognition error at: '''
% 0.87/0.85 line 2102:19 token recognition error at: '0'
% 0.87/0.85 line 2102:20 token recognition error at: '''
% 0.87/0.85 line 2102:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2105:37 token recognition error at: '''
% 0.87/0.85 line 2105:38 token recognition error at: '0'
% 0.87/0.85 line 2105:39 token recognition error at: '''
% 0.87/0.85 line 2105:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2111:37 token recognition error at: '''
% 0.87/0.85 line 2111:38 token recognition error at: '0'
% 0.87/0.85 line 2111:39 token recognition error at: '''
% 0.87/0.85 line 2111:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2120:18 token recognition error at: '''
% 0.87/0.85 line 2120:19 token recognition error at: '1'
% 0.87/0.85 line 2120:20 token recognition error at: '''
% 0.87/0.85 line 2120:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2123:37 token recognition error at: '''
% 0.87/0.85 line 2123:38 token recognition error at: '1'
% 0.87/0.85 line 2123:39 token recognition error at: '''
% 0.87/0.85 line 2123:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2129:37 token recognition error at: '''
% 0.87/0.85 line 2129:38 token recognition error at: '1'
% 0.87/0.85 line 2129:39 token recognition error at: '''
% 0.87/0.85 line 2129:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2138:18 token recognition error at: '''
% 0.87/0.85 line 2138:19 token recognition error at: '1'
% 0.87/0.85 line 2138:20 token recognition error at: '''
% 0.87/0.85 line 2138:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2141:37 token recognition error at: '''
% 0.87/0.85 line 2141:38 token recognition error at: '1'
% 0.87/0.85 line 2141:39 token recognition error at: '''
% 0.87/0.85 line 2141:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2144:48 token recognition error at: '''
% 0.87/0.85 line 2144:49 token recognition error at: '1'
% 0.87/0.85 line 2144:50 token recognition error at: '''
% 0.87/0.85 line 2144:52 token recognition error at: '''
% 0.87/0.85 line 2144:53 token recognition error at: '1'
% 0.87/0.85 line 2144:54 token recognition error at: '''
% 0.87/0.85 line 2144:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2144:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2147:74 token recognition error at: '''
% 0.87/0.85 line 2147:75 token recognition error at: '1'
% 0.87/0.85 line 2147:76 token recognition error at: '''
% 0.87/0.85 line 2147:78 token recognition error at: '''
% 0.87/0.85 line 2147:79 token recognition error at: '1'
% 0.87/0.85 line 2147:80 token recognition error at: '''
% 0.87/0.85 line 2147:77 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2147:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2150:48 token recognition error at: '''
% 0.87/0.85 line 2150:49 token recognition error at: '1'
% 0.87/0.85 line 2150:50 token recognition error at: '''
% 0.87/0.85 line 2150:52 token recognition error at: '''
% 0.87/0.85 line 2150:53 token recognition error at: '0'
% 0.87/0.85 line 2150:54 token recognition error at: '''
% 0.87/0.85 line 2150:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2150:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2153:75 token recognition error at: '''
% 0.87/0.85 line 2153:76 token recognition error at: '1'
% 0.87/0.85 line 2153:77 token recognition error at: '''
% 0.87/0.85 line 2153:79 token recognition error at: '''
% 0.87/0.85 line 2153:80 token recognition error at: '0'
% 0.87/0.85 line 2153:81 token recognition error at: '''
% 0.87/0.85 line 2153:78 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2153:82 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2159:18 token recognition error at: '''
% 0.87/0.85 line 2159:19 token recognition error at: '1'
% 0.87/0.85 line 2159:20 token recognition error at: '''
% 0.87/0.85 line 2159:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2162:37 token recognition error at: '''
% 0.87/0.85 line 2162:38 token recognition error at: '1'
% 0.87/0.85 line 2162:39 token recognition error at: '''
% 0.87/0.85 line 2162:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2165:48 token recognition error at: '''
% 0.87/0.85 line 2165:49 token recognition error at: '1'
% 0.87/0.85 line 2165:50 token recognition error at: '''
% 0.87/0.85 line 2165:52 token recognition error at: '''
% 0.87/0.85 line 2165:53 token recognition error at: '1'
% 0.87/0.85 line 2165:54 token recognition error at: '''
% 0.87/0.85 line 2165:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2165:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2168:74 token recognition error at: '''
% 0.87/0.85 line 2168:75 token recognition error at: '1'
% 0.87/0.85 line 2168:76 token recognition error at: '''
% 0.87/0.85 line 2168:78 token recognition error at: '''
% 0.87/0.85 line 2168:79 token recognition error at: '1'
% 0.87/0.85 line 2168:80 token recognition error at: '''
% 0.87/0.85 line 2168:77 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2168:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2171:48 token recognition error at: '''
% 0.87/0.85 line 2171:49 token recognition error at: '1'
% 0.87/0.85 line 2171:50 token recognition error at: '''
% 0.87/0.85 line 2171:52 token recognition error at: '''
% 0.87/0.85 line 2171:53 token recognition error at: '0'
% 0.87/0.85 line 2171:54 token recognition error at: '''
% 0.87/0.85 line 2171:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2171:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2174:75 token recognition error at: '''
% 0.87/0.85 line 2174:76 token recognition error at: '1'
% 0.87/0.85 line 2174:77 token recognition error at: '''
% 0.87/0.85 line 2174:79 token recognition error at: '''
% 0.87/0.85 line 2174:80 token recognition error at: '0'
% 0.87/0.85 line 2174:81 token recognition error at: '''
% 0.87/0.85 line 2174:78 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2174:82 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2180:18 token recognition error at: '''
% 0.87/0.85 line 2180:19 token recognition error at: '0'
% 0.87/0.85 line 2180:20 token recognition error at: '''
% 0.87/0.85 line 2180:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.85 line 2183:37 token recognition error at: '''
% 0.87/0.85 line 2183:38 token recognition error at: '0'
% 0.87/0.86 line 2183:39 token recognition error at: '''
% 0.87/0.86 line 2183:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2186:48 token recognition error at: '''
% 0.87/0.86 line 2186:49 token recognition error at: '1'
% 0.87/0.86 line 2186:50 token recognition error at: '''
% 0.87/0.86 line 2186:52 token recognition error at: '''
% 0.87/0.86 line 2186:53 token recognition error at: '0'
% 0.87/0.86 line 2186:54 token recognition error at: '''
% 0.87/0.86 line 2186:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2186:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2189:74 token recognition error at: '''
% 0.87/0.86 line 2189:75 token recognition error at: '1'
% 0.87/0.86 line 2189:76 token recognition error at: '''
% 0.87/0.86 line 2189:78 token recognition error at: '''
% 0.87/0.86 line 2189:79 token recognition error at: '0'
% 0.87/0.86 line 2189:80 token recognition error at: '''
% 0.87/0.86 line 2189:77 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2189:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2192:48 token recognition error at: '''
% 0.87/0.86 line 2192:49 token recognition error at: '0'
% 0.87/0.86 line 2192:50 token recognition error at: '''
% 0.87/0.86 line 2192:52 token recognition error at: '''
% 0.87/0.86 line 2192:53 token recognition error at: '0'
% 0.87/0.86 line 2192:54 token recognition error at: '''
% 0.87/0.86 line 2192:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2192:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2195:75 token recognition error at: '''
% 0.87/0.86 line 2195:76 token recognition error at: '0'
% 0.87/0.86 line 2195:77 token recognition error at: '''
% 0.87/0.86 line 2195:79 token recognition error at: '''
% 0.87/0.86 line 2195:80 token recognition error at: '0'
% 0.87/0.86 line 2195:81 token recognition error at: '''
% 0.87/0.86 line 2195:78 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2195:82 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2201:18 token recognition error at: '''
% 0.87/0.86 line 2201:19 token recognition error at: '0'
% 0.87/0.86 line 2201:20 token recognition error at: '''
% 0.87/0.86 line 2201:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2204:37 token recognition error at: '''
% 0.87/0.86 line 2204:38 token recognition error at: '0'
% 0.87/0.86 line 2204:39 token recognition error at: '''
% 0.87/0.86 line 2204:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2207:48 token recognition error at: '''
% 0.87/0.86 line 2207:49 token recognition error at: '1'
% 0.87/0.86 line 2207:50 token recognition error at: '''
% 0.87/0.86 line 2207:52 token recognition error at: '''
% 0.87/0.86 line 2207:53 token recognition error at: '0'
% 0.87/0.86 line 2207:54 token recognition error at: '''
% 0.87/0.86 line 2207:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2207:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2210:74 token recognition error at: '''
% 0.87/0.86 line 2210:75 token recognition error at: '1'
% 0.87/0.86 line 2210:76 token recognition error at: '''
% 0.87/0.86 line 2210:78 token recognition error at: '''
% 0.87/0.86 line 2210:79 token recognition error at: '0'
% 0.87/0.86 line 2210:80 token recognition error at: '''
% 0.87/0.86 line 2210:77 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2210:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2213:48 token recognition error at: '''
% 0.87/0.86 line 2213:49 token recognition error at: '0'
% 0.87/0.86 line 2213:50 token recognition error at: '''
% 0.87/0.86 line 2213:52 token recognition error at: '''
% 0.87/0.86 line 2213:53 token recognition error at: '0'
% 0.87/0.86 line 2213:54 token recognition error at: '''
% 0.87/0.86 line 2213:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2213:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2216:75 token recognition error at: '''
% 0.87/0.86 line 2216:76 token recognition error at: '0'
% 0.87/0.86 line 2216:77 token recognition error at: '''
% 0.87/0.86 line 2216:79 token recognition error at: '''
% 0.87/0.86 line 2216:80 token recognition error at: '0'
% 0.87/0.86 line 2216:81 token recognition error at: '''
% 0.87/0.86 line 2216:78 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2216:82 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2222:18 token recognition error at: '''
% 0.87/0.86 line 2222:19 token recognition error at: '0'
% 0.87/0.86 line 2222:20 token recognition error at: '''
% 0.87/0.86 line 2222:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2225:37 token recognition error at: '''
% 0.87/0.86 line 2225:38 token recognition error at: '1'
% 0.87/0.86 line 2225:39 token recognition error at: '''
% 0.87/0.86 line 2225:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2228:48 token recognition error at: '''
% 0.87/0.86 line 2228:49 token recognition error at: '1'
% 0.87/0.86 line 2228:50 token recognition error at: '''
% 0.87/0.86 line 2228:52 token recognition error at: '''
% 0.87/0.86 line 2228:53 token recognition error at: '1'
% 0.87/0.86 line 2228:54 token recognition error at: '''
% 0.87/0.86 line 2228:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2228:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2231:74 token recognition error at: '''
% 0.87/0.86 line 2231:75 token recognition error at: '1'
% 0.87/0.86 line 2231:76 token recognition error at: '''
% 0.87/0.86 line 2231:78 token recognition error at: '''
% 0.87/0.86 line 2231:79 token recognition error at: '1'
% 0.87/0.86 line 2231:80 token recognition error at: '''
% 0.87/0.86 line 2231:77 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2231:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2234:48 token recognition error at: '''
% 0.87/0.86 line 2234:49 token recognition error at: '1'
% 0.87/0.86 line 2234:50 token recognition error at: '''
% 0.87/0.86 line 2234:52 token recognition error at: '''
% 0.87/0.86 line 2234:53 token recognition error at: '0'
% 0.87/0.86 line 2234:54 token recognition error at: '''
% 0.87/0.86 line 2234:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2234:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2237:75 token recognition error at: '''
% 0.87/0.86 line 2237:76 token recognition error at: '1'
% 0.87/0.86 line 2237:77 token recognition error at: '''
% 0.87/0.86 line 2237:79 token recognition error at: '''
% 0.87/0.86 line 2237:80 token recognition error at: '0'
% 0.87/0.86 line 2237:81 token recognition error at: '''
% 0.87/0.86 line 2237:78 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2237:82 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2243:18 token recognition error at: '''
% 0.87/0.86 line 2243:19 token recognition error at: '1'
% 0.87/0.86 line 2243:20 token recognition error at: '''
% 0.87/0.86 line 2243:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2246:37 token recognition error at: '''
% 0.87/0.86 line 2246:38 token recognition error at: '0'
% 0.87/0.86 line 2246:39 token recognition error at: '''
% 0.87/0.86 line 2246:40 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2249:48 token recognition error at: '''
% 0.87/0.86 line 2249:49 token recognition error at: '1'
% 0.87/0.86 line 2249:50 token recognition error at: '''
% 0.87/0.86 line 2249:52 token recognition error at: '''
% 0.87/0.86 line 2249:53 token recognition error at: '0'
% 0.87/0.86 line 2249:54 token recognition error at: '''
% 0.87/0.86 line 2249:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2249:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2252:74 token recognition error at: '''
% 0.87/0.86 line 2252:75 token recognition error at: '1'
% 0.87/0.86 line 2252:76 token recognition error at: '''
% 0.87/0.86 line 2252:78 token recognition error at: '''
% 0.87/0.86 line 2252:79 token recognition error at: '0'
% 0.87/0.86 line 2252:80 token recognition error at: '''
% 0.87/0.86 line 2252:77 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2252:81 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2255:48 token recognition error at: '''
% 0.87/0.86 line 2255:49 token recognition error at: '0'
% 0.87/0.86 line 2255:50 token recognition error at: '''
% 0.87/0.86 line 2255:52 token recognition error at: '''
% 0.87/0.86 line 2255:53 token recognition error at: '0'
% 0.87/0.86 line 2255:54 token recognition error at: '''
% 0.87/0.86 line 2255:51 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2255:55 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2258:75 token recognition error at: '''
% 0.87/0.86 line 2258:76 token recognition error at: '0'
% 0.87/0.86 line 2258:77 token recognition error at: '''
% 0.87/0.86 line 2258:79 token recognition error at: '''
% 0.87/0.86 line 2258:80 token recognition error at: '0'
% 0.87/0.86 line 2258:81 token recognition error at: '''
% 0.87/0.86 line 2258:78 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2258:82 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2261:45 token recognition error at: '''
% 0.87/0.86 line 2261:46 token recognition error at: '1'
% 0.87/0.86 line 2261:47 token recognition error at: '''
% 0.87/0.86 line 2261:49 token recognition error at: '''
% 0.87/0.86 line 2261:50 token recognition error at: '0'
% 0.87/0.86 line 2261:51 token recognition error at: '''
% 0.87/0.86 line 2261:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2261:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2264:58 token recognition error at: '''
% 0.87/0.86 line 2264:59 token recognition error at: '1'
% 0.87/0.86 line 2264:60 token recognition error at: '''
% 0.87/0.86 line 2264:62 token recognition error at: '''
% 0.87/0.86 line 2264:63 token recognition error at: '0'
% 0.87/0.86 line 2264:64 token recognition error at: '''
% 0.87/0.86 line 2264:61 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2264:65 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2267:45 token recognition error at: '''
% 0.87/0.86 line 2267:46 token recognition error at: '0'
% 0.87/0.86 line 2267:47 token recognition error at: '''
% 0.87/0.86 line 2267:49 token recognition error at: '''
% 0.87/0.86 line 2267:50 token recognition error at: '0'
% 0.87/0.86 line 2267:51 token recognition error at: '''
% 0.87/0.86 line 2267:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2267:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2270:59 token recognition error at: '''
% 0.87/0.86 line 2270:60 token recognition error at: '0'
% 0.87/0.86 line 2270:61 token recognition error at: '''
% 0.87/0.86 line 2270:63 token recognition error at: '''
% 0.87/0.86 line 2270:64 token recognition error at: '0'
% 0.87/0.86 line 2270:65 token recognition error at: '''
% 0.87/0.86 line 2270:62 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2270:66 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2273:45 token recognition error at: '''
% 0.87/0.86 line 2273:46 token recognition error at: '1'
% 0.87/0.86 line 2273:47 token recognition error at: '''
% 0.87/0.86 line 2273:49 token recognition error at: '''
% 0.87/0.86 line 2273:50 token recognition error at: '0'
% 0.87/0.86 line 2273:51 token recognition error at: '''
% 0.87/0.86 line 2273:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.86 line 2273:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2276:58 token recognition error at: '''
% 0.87/0.87 line 2276:59 token recognition error at: '1'
% 0.87/0.87 line 2276:60 token recognition error at: '''
% 0.87/0.87 line 2276:62 token recognition error at: '''
% 0.87/0.87 line 2276:63 token recognition error at: '0'
% 0.87/0.87 line 2276:64 token recognition error at: '''
% 0.87/0.87 line 2276:61 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2276:65 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2279:45 token recognition error at: '''
% 0.87/0.87 line 2279:46 token recognition error at: '0'
% 0.87/0.87 line 2279:47 token recognition error at: '''
% 0.87/0.87 line 2279:49 token recognition error at: '''
% 0.87/0.87 line 2279:50 token recognition error at: '0'
% 0.87/0.87 line 2279:51 token recognition error at: '''
% 0.87/0.87 line 2279:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2279:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2282:59 token recognition error at: '''
% 0.87/0.87 line 2282:60 token recognition error at: '0'
% 0.87/0.87 line 2282:61 token recognition error at: '''
% 0.87/0.87 line 2282:63 token recognition error at: '''
% 0.87/0.87 line 2282:64 token recognition error at: '0'
% 0.87/0.87 line 2282:65 token recognition error at: '''
% 0.87/0.87 line 2282:62 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2282:66 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2285:45 token recognition error at: '''
% 0.87/0.87 line 2285:46 token recognition error at: '1'
% 0.87/0.87 line 2285:47 token recognition error at: '''
% 0.87/0.87 line 2285:49 token recognition error at: '''
% 0.87/0.87 line 2285:50 token recognition error at: '1'
% 0.87/0.87 line 2285:51 token recognition error at: '''
% 0.87/0.87 line 2285:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2285:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2288:58 token recognition error at: '''
% 0.87/0.87 line 2288:59 token recognition error at: '1'
% 0.87/0.87 line 2288:60 token recognition error at: '''
% 0.87/0.87 line 2288:62 token recognition error at: '''
% 0.87/0.87 line 2288:63 token recognition error at: '1'
% 0.87/0.87 line 2288:64 token recognition error at: '''
% 0.87/0.87 line 2288:61 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2288:65 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2291:45 token recognition error at: '''
% 0.87/0.87 line 2291:46 token recognition error at: '1'
% 0.87/0.87 line 2291:47 token recognition error at: '''
% 0.87/0.87 line 2291:49 token recognition error at: '''
% 0.87/0.87 line 2291:50 token recognition error at: '0'
% 0.87/0.87 line 2291:51 token recognition error at: '''
% 0.87/0.87 line 2291:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2291:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2294:59 token recognition error at: '''
% 0.87/0.87 line 2294:60 token recognition error at: '1'
% 0.87/0.87 line 2294:61 token recognition error at: '''
% 0.87/0.87 line 2294:63 token recognition error at: '''
% 0.87/0.87 line 2294:64 token recognition error at: '0'
% 0.87/0.87 line 2294:65 token recognition error at: '''
% 0.87/0.87 line 2294:62 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2294:66 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2297:45 token recognition error at: '''
% 0.87/0.87 line 2297:46 token recognition error at: '1'
% 0.87/0.87 line 2297:47 token recognition error at: '''
% 0.87/0.87 line 2297:49 token recognition error at: '''
% 0.87/0.87 line 2297:50 token recognition error at: '1'
% 0.87/0.87 line 2297:51 token recognition error at: '''
% 0.87/0.87 line 2297:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2297:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2300:58 token recognition error at: '''
% 0.87/0.87 line 2300:59 token recognition error at: '1'
% 0.87/0.87 line 2300:60 token recognition error at: '''
% 0.87/0.87 line 2300:62 token recognition error at: '''
% 0.87/0.87 line 2300:63 token recognition error at: '1'
% 0.87/0.87 line 2300:64 token recognition error at: '''
% 0.87/0.87 line 2300:61 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2300:65 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2303:45 token recognition error at: '''
% 0.87/0.87 line 2303:46 token recognition error at: '1'
% 0.87/0.87 line 2303:47 token recognition error at: '''
% 0.87/0.87 line 2303:49 token recognition error at: '''
% 0.87/0.87 line 2303:50 token recognition error at: '0'
% 0.87/0.87 line 2303:51 token recognition error at: '''
% 0.87/0.87 line 2303:48 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2303:52 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2306:59 token recognition error at: '''
% 0.87/0.87 line 2306:60 token recognition error at: '1'
% 0.87/0.87 line 2306:61 token recognition error at: '''
% 0.87/0.87 line 2306:63 token recognition error at: '''
% 0.87/0.87 line 2306:64 token recognition error at: '0'
% 0.87/0.87 line 2306:65 token recognition error at: '''
% 0.87/0.87 line 2306:62 mismatched input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2306:66 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2309:125 token recognition error at: '''
% 0.87/0.87 line 2309:126 token recognition error at: '1'
% 0.87/0.87 line 2309:127 token recognition error at: '''
% 0.87/0.87 line 2309:128 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2312:138 token recognition error at: '''
% 0.87/0.87 line 2312:139 token recognition error at: '1'
% 0.87/0.87 line 2312:140 token recognition error at: '''
% 0.87/0.87 line 2312:141 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2315:125 token recognition error at: '''
% 0.87/0.87 line 2315:126 token recognition error at: '0'
% 0.87/0.87 line 2315:127 token recognition error at: '''
% 0.87/0.87 line 2315:128 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2318:139 token recognition error at: '''
% 0.87/0.87 line 2318:140 token recognition error at: '0'
% 0.87/0.87 line 2318:141 token recognition error at: '''
% 0.87/0.87 line 2318:142 mismatched input ')' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2321:68 token recognition error at: '''
% 0.87/0.87 line 2321:69 token recognition error at: '0'
% 0.87/0.87 line 2321:70 token recognition error at: '''
% 0.87/0.87 line 2321:71 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2324:18 token recognition error at: '''
% 0.87/0.87 line 2324:19 token recognition error at: '1'
% 0.87/0.87 line 2324:20 token recognition error at: '''
% 0.87/0.87 line 2324:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2327:18 token recognition error at: '''
% 0.87/0.87 line 2327:19 token recognition error at: '1'
% 0.87/0.87 line 2327:20 token recognition error at: '''
% 0.87/0.87 line 2327:21 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 0.87/0.87 line 2327:45 token recognition error at: '''
% 0.87/0.87 line 2327:46 token recognition error at: '0'
% 0.87/0.87 line 2327:47 token recognition error at: '''
% 0.87/0.87 line 2327:48 extraneous input ',' expecting {LOWER_WORD, UPPER_WORD}
% 1.31/0.90 % domain size: 1
% 1.31/0.99 % SZS status Error
% 1.31/0.99 java.lang.NullPointerException: Cannot invoke "FOL.Term.getArgs()" because "arg" is null
% 1.31/0.99 java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "FOL.Term.getArgs()" because "arg" is null
% 1.31/0.99 at java.base/java.util.concurrent.FutureTask.report(FutureTask.java:122)
% 1.31/0.99 at java.base/java.util.concurrent.FutureTask.get(FutureTask.java:205)
% 1.31/0.99 at Main.main(Main.java:24)
% 1.31/0.99 Caused by: java.lang.NullPointerException: Cannot invoke "FOL.Term.getArgs()" because "arg" is null
% 1.31/0.99 at ModelBuilder.ground(ModelBuilder.java:28)
% 1.31/0.99 at Main.runModelBuilder(Main.java:57)
% 1.31/0.99 at Main.lambda$main$0(Main.java:21)
% 1.31/0.99 at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317)
% 1.31/0.99 at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144)
% 1.31/0.99 at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642)
% 1.31/0.99 at java.base/java.lang.Thread.run(Thread.java:1583)
% 1.31/1.01 % FMB4L exiting
%------------------------------------------------------------------------------