%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWX037+1 : TPTP v9.1.0. Released v9.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n005.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Apr 1 02:13:59 AM UTC 2025
% Result : Unknown 11.26s 11.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWX037+1 : TPTP v9.1.0. Released v9.1.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n005.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Mon Mar 31 14:32:29 EDT 2025
% 0.12/0.34 % CPUTime :
% 0.19/0.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.19/0.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.42/0.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.45/0.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.45/0.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.45/0.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.45/0.67 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.45/0.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.45/0.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.53/0.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.53/0.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.53/0.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.53/0.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.53/0.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.53/0.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.60/0.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.70/0.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.70/0.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.70/0.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.73/0.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.73/0.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.75/0.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/0.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.76/1.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/1.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/1.02 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/1.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/1.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/1.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.07 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.90/1.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.01/1.19 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.01/1.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.04/1.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.04/1.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.04/1.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.31 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.17/1.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.17/1.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.17/1.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.17/1.37 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.17/1.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.22/1.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.45 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.29/1.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.35/1.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.35/1.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.47/1.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.47/1.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.47/1.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.47/1.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.52/1.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.60/1.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.62/1.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.62/1.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.62/1.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.62/1.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.66/1.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.68/1.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.68/1.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.68/1.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.68/1.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.68/1.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.68/1.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.75/1.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.80/1.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.80/1.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.80/2.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.80/2.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.80/2.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.80/2.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.80/2.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.90/2.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.90/2.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.92/2.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.92/2.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.92/2.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.95/2.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.95/2.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.97/2.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.97/2.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.97/2.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.97/2.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.97/2.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.97/2.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.06/2.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.34 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.13/2.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.21/2.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.21/2.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.24/2.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.26/2.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.26/2.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.26/2.45 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.26/2.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.26/2.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.26/2.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.33/2.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.33/2.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.33/2.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.33/2.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.33/2.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.33/2.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.42/2.67 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.52/2.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.52/2.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.54/2.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.57/2.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.57/2.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.57/2.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.57/2.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.57/2.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.57/2.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.57/2.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.66/2.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.73/2.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.82/2.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.85/3.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.86/3.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.86/3.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.86/3.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.86/3.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.86/3.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.86/3.07 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.86/3.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.94/3.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.19 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.02/3.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.13/3.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.15/3.31 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.15/3.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.34 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.17/3.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.27/3.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.27/3.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.27/3.45 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.27/3.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.27/3.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.27/3.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.27/3.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.35/3.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.44/3.67 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.54/3.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.54/3.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.54/3.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.64/3.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.73/3.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.84/3.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.84/4.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.86/4.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.86/4.02 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.89/4.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.89/4.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.89/4.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.89/4.07 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.89/4.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.89/4.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.95/4.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.95/4.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.95/4.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.95/4.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.95/4.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.95/4.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.02/4.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.12/4.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.12/4.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.12/4.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.15/4.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.15/4.31 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.18/4.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.34 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.37 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.26/4.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.26/4.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.26/4.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.26/4.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.26/4.45 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.26/4.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.32/4.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.44/4.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.47/4.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.47/4.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.47/4.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.50/4.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.50/4.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.50/4.67 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.50/4.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.50/4.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.50/4.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.50/4.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.59/4.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.59/4.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.59/4.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.59/4.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.59/4.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.64/4.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.64/4.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.64/4.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.64/4.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.64/4.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.64/4.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.72/4.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.74/4.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.74/4.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.74/4.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.74/4.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.78/4.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.78/4.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/4.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/5.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/5.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.81/5.02 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.07 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.89/5.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.95/5.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.95/5.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.95/5.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.95/5.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.95/5.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.95/5.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.03/5.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.04/5.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.08/5.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.10/5.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.10/5.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.10/5.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.10/5.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.10/5.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.10/5.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.17/5.31 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.17/5.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.17/5.34 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.17/5.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.17/5.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.23/5.37 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.23/5.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.23/5.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.23/5.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.23/5.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.23/5.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.23/5.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.31/5.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.31/5.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.34/5.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.39/5.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.39/5.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.47/5.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.47/5.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.47/5.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.47/5.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.47/5.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.55/5.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.55/5.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.55/5.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.55/5.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.55/5.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.55/5.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.55/5.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.62/5.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.66/5.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.69/5.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.79/5.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.79/5.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.79/5.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.79/5.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.79/5.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.85/6.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.85/6.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.85/6.02 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.85/6.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.85/6.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.85/6.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.07 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.94/6.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.03/6.19 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.07/6.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.10/6.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.17/6.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.17/6.34 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.17/6.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.17/6.37 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.17/6.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.26/6.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.36/6.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.48/6.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.48/6.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.48/6.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.48/6.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.48/6.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.48/6.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.48/6.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.66/6.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/6.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/6.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/6.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/6.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/6.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/6.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/6.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/6.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.78/7.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.88/7.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.19 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.98/7.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.07/7.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.16/7.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.16/7.31 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.16/7.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.16/7.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.16/7.34 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.16/7.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.16/7.37 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.25/7.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.26/7.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.26/7.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.45 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.28/7.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.38/7.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.38/7.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.38/7.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.38/7.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.38/7.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.38/7.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.38/7.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.46/7.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.57/7.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.59/7.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.67/7.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.67/7.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.67/7.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.67/7.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.67/7.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.74/7.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.84/7.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.84/7.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.85/7.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.85/8.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.85/8.02 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.98/8.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.98/8.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.98/8.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.98/8.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.98/8.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.98/8.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.19 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.05/8.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.16/8.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.16/8.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.18/8.31 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.18/8.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.37 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.20/8.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.30/8.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.30/8.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.30/8.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.30/8.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.30/8.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.36/8.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.36/8.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.36/8.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.36/8.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.36/8.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.36/8.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.44/8.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.45/8.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.45/8.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.45/8.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.48/8.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.48/8.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.67 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.52/8.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.66/8.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.74/8.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.76/8.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.76/8.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.76/8.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.80/8.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.80/8.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/8.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.81/9.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.02 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.90/9.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.95/9.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.95/9.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.95/9.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.95/9.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.95/9.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.95/9.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.95/9.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.04/9.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.04/9.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.07/9.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.07/9.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.07/9.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.10/9.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.10/9.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.19/9.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.19/9.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.19/9.34 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.19/9.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.19/9.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.19/9.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.40 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.45 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.46 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.35/9.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.37/9.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.37/9.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.53 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.39/9.59 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.46/9.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.46/9.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.46/9.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.46/9.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.46/9.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.46/9.66 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.46/9.67 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.72 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.66/9.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.66/9.79 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.68/9.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.68/9.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.87 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.70/9.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/9.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/9.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/9.95 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/9.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/9.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/9.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/9.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.79/10.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.90/10.02 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.90/10.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.90/10.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.90/10.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.90/10.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.90/10.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.90/10.09 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.17 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.97/10.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.08/10.19 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.23 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.09/10.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.31 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.33 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.35 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.36 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.37 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.38 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.18/10.39 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.41 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.42 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.43 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.44 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.45 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.47 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.29/10.48 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.49 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.50 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.51 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.52 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.54 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.55 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.56 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.57 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.37/10.58 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.47/10.60 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.61 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.62 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.63 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.64 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.65 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.67 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.68 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.69 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.70 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.49/10.71 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.73 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.74 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.75 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.76 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.77 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.78 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.80 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.62/10.81 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.82 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.83 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.84 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.85 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.86 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.88 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.89 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.70/10.90 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.91 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.92 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.93 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.94 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.96 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.97 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.80/10.98 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/10.99 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/11.00 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/11.01 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/11.03 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/11.04 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/11.05 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/11.06 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.87/11.07 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.08 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.10 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.00/11.11 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.12 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.13 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.14 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.15 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.16 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.18 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.19 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.01/11.20 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.09/11.21 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.09/11.22 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.09/11.24 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.09/11.25 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.09/11.26 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.09/11.27 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.09/11.28 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.18/11.29 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.18/11.30 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.18/11.32 eprover: /tmp/Infinox_10995/exportstarexecsandbox2benchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.26/11.38 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 11.26/11.39 Infinox, version 1.0, 2009-07-20.
% 11.26/11.39 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 11.26/11.39 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 11.26/11.39 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 11.26/11.39 InjNotSurj
% 11.26/11.39 SurjNotInj
% 11.26/11.39 Serial
% 11.26/11.39 Trans
% 11.26/11.39 Auto
%------------------------------------------------------------------------------