%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWX044+1 : TPTP v9.1.0. Released v9.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n031.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 12.76s 13.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : SWX044+1 : TPTP v9.1.0. Released v9.1.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n031.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.33 % WCLimit : 300
% 0.12/0.33 % DateTime : Mon Mar 31 14:48:52 EDT 2025
% 0.12/0.33 % CPUTime :
% 0.20/0.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.20/0.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.20/0.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.20/0.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.20/0.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.37/0.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.38/0.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.38/0.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.38/0.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.38/0.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.38/0.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.38/0.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.38/0.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.47/0.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.47/0.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.47/0.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.47/0.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.52/0.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.52/0.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.52/0.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.52/0.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.52/0.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.52/0.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.59/0.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.62/0.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.66/0.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.66/0.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.66/0.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.69/0.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.78/0.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.78/0.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.78/0.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.78/0.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/0.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/1.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.82/1.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.89/1.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.89/1.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.92/1.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.98/1.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.98/1.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 0.98/1.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.01/1.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.01/1.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.01/1.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.07/1.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.11/1.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.11/1.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.11/1.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.11/1.30 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.11/1.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.11/1.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.18/1.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.18/1.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.18/1.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.21/1.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.21/1.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.21/1.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.21/1.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.21/1.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.27/1.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.27/1.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.27/1.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.31/1.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.31/1.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.31/1.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.31/1.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.31/1.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.37/1.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.41/1.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.41/1.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.41/1.59 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.41/1.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.41/1.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.41/1.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.41/1.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.49/1.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.49/1.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.49/1.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.53/1.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.53/1.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.53/1.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.53/1.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.53/1.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.59/1.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.61/1.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.61/1.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.61/1.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.61/1.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.65/1.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.65/1.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.65/1.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.70/1.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.70/1.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.70/1.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.70/1.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.70/1.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.70/1.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.70/1.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.78/1.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.78/1.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.78/1.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.78/1.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/1.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.82/2.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.89/2.04 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.89/2.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.91/2.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.91/2.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.91/2.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.91/2.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 1.96/2.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.01/2.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.01/2.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.01/2.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.01/2.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.01/2.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.01/2.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.01/2.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.11/2.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.11/2.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.11/2.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.11/2.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.15/2.30 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.15/2.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.15/2.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.15/2.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.21/2.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.21/2.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.25/2.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.25/2.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.25/2.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.25/2.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.29/2.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.41/2.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.41/2.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.41/2.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.41/2.59 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.46/2.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.46/2.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.46/2.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.46/2.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.50/2.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.50/2.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.50/2.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.50/2.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.50/2.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.56/2.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.56/2.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.56/2.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.56/2.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.62/2.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.71/2.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.71/2.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.71/2.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.74/2.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.74/2.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.74/2.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.79/2.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.79/2.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.79/2.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.79/2.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.79/2.99 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_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_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.85/3.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.85/3.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.85/3.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.85/3.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.85/3.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.92/3.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.92/3.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.92/3.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.92/3.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.92/3.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.92/3.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 2.99/3.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.01/3.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.01/3.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.01/3.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.01/3.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.01/3.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.01/3.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.01/3.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.10/3.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.10/3.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.12/3.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.12/3.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.15/3.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.15/3.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.18/3.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.18/3.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.18/3.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.18/3.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.18/3.59 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.18/3.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.25/3.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.32/3.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.32/3.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.32/3.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.32/3.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.32/3.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.32/3.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.40/3.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.42/3.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.42/3.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.42/3.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.42/3.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.47/3.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.48/3.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.56/3.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.62/3.99 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.62/4.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.62/4.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.62/4.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.62/4.04 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.68/4.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.68/4.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/4.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/4.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/4.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.70/4.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/4.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/4.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.75/4.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.78/4.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.78/4.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.78/4.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.78/4.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.78/4.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.78/4.21 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.78/4.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.87/4.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.87/4.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.87/4.26 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.87/4.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.30 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.92/4.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.99/4.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 3.99/4.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.01/4.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.01/4.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.01/4.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.01/4.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.06/4.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.06/4.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.06/4.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.10/4.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.10/4.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.10/4.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.10/4.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.10/4.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.10/4.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.17/4.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.17/4.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.17/4.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.59 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.20/4.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.27/4.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.27/4.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.27/4.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.30/4.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.30/4.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.30/4.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.30/4.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.30/4.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.36/4.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.40/4.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.40/4.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.40/4.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.40/4.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.40/4.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.40/4.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.48/4.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.48/4.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.48/4.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.51/4.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.51/4.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.51/4.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.51/4.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.51/4.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.51/4.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.51/4.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.59/4.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.59/4.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/4.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/4.99 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/5.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/5.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/5.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.61/5.04 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.69/5.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.70/5.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.70/5.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.70/5.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.70/5.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/5.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/5.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.75/5.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.79/5.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.79/5.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.79/5.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.79/5.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.79/5.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.79/5.21 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.79/5.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.87/5.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.87/5.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.87/5.26 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.87/5.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 4.92/5.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.00/5.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.01/5.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.01/5.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.01/5.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.01/5.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.05/5.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.05/5.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.05/5.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.05/5.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.11/5.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.19/5.59 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.24/5.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.24/5.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.24/5.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.24/5.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.30/5.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.40/5.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.44/5.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.49/5.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.60/5.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.60/5.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.60/5.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.60/5.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.65/6.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.65/6.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.65/6.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.65/6.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.65/6.04 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.70/6.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.70/6.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.70/6.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.70/6.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.70/6.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/6.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/6.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/6.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.77/6.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.21 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.82/6.26 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.92/6.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.95/6.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 5.98/6.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.09/6.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.09/6.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.09/6.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.09/6.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.09/6.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.15/6.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.15/6.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.15/6.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.15/6.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.15/6.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.15/6.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.22/6.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.32/6.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.35/6.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.35/6.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/proveProperty:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.38/6.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.50/6.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.50/6.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.50/6.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.50/6.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.50/6.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.56/6.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.64/6.99 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.64/7.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.64/7.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.64/7.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.64/7.04 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.64/7.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.73/7.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.73/7.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.74/7.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.74/7.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/7.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.77/7.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.79/7.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.79/7.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.79/7.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.79/7.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.79/7.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.79/7.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.86/7.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.86/7.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.86/7.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.86/7.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.86/7.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.94/7.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.94/7.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.94/7.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.94/7.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.94/7.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.94/7.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 6.94/7.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.03/7.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.05/7.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.05/7.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.05/7.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.05/7.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.09/7.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.10/7.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.19/7.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.19/7.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.19/7.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.19/7.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.23/7.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.23/7.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.23/7.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.23/7.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.23/7.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.31/7.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.31/7.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.32/7.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.37/7.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.37/7.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.41/7.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.41/7.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.41/7.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.41/7.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.41/7.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.41/7.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.49/7.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.49/7.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.49/7.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.49/7.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.55/7.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.61/7.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.61/7.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.65/7.99 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.65/8.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.65/8.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.65/8.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.69/8.04 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.69/8.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/8.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/8.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/8.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/8.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.72/8.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.78/8.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.78/8.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.78/8.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.83/8.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.90/8.26 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.94/8.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.94/8.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.94/8.30 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.94/8.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.94/8.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 7.99/8.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.03/8.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.03/8.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.03/8.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.03/8.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.03/8.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.09/8.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.09/8.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.09/8.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.14/8.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.14/8.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.14/8.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.14/8.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.14/8.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.14/8.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.14/8.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.21/8.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.21/8.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.25/8.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.25/8.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.25/8.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.25/8.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.25/8.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.32/8.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.33/8.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.33/8.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.33/8.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.33/8.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.39/8.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.39/8.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.39/8.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.43/8.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.43/8.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.43/8.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.43/8.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.43/8.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.43/8.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.43/8.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.50/8.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.50/8.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.50/8.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.55/8.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.55/8.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.55/8.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.55/8.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.55/8.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.61/8.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.63/8.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.63/8.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.63/9.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.63/9.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.68/9.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.68/9.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.68/9.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.68/9.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.74/9.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.74/9.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.74/9.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.74/9.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.74/9.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.74/9.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.82/9.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.82/9.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.82/9.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.82/9.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.88/9.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.88/9.21 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.88/9.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.88/9.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 8.92/9.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.02/9.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.02/9.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.02/9.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.02/9.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.07/9.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.07/9.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.07/9.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.07/9.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.12/9.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.23/9.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.23/9.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.23/9.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.27/9.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.32/9.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.43/9.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.43/9.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.43/9.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.43/9.79 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.43/9.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.48/9.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.55/9.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.64/9.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.64/9.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.64/9.99 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/10.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.67/10.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.71/10.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.82/10.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.82/10.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.82/10.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.82/10.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.82/10.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.88/10.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.88/10.21 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.88/10.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.88/10.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.88/10.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.26 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.30 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 9.94/10.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.04/10.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.04/10.39 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.08/10.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.08/10.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.08/10.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.44 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.12/10.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.23/10.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.23/10.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.23/10.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.23/10.59 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.23/10.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.30/10.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.36/10.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.36/10.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.36/10.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.36/10.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.36/10.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.36/10.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.36/10.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.45/10.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.46/10.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.46/10.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.46/10.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.51/10.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.51/10.84 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.51/10.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.51/10.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.51/10.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.51/10.89 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.51/10.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.59/10.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.59/10.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.59/10.94 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.59/10.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.59/10.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.59/10.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.66/10.99 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.66/11.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.66/11.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.66/11.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.66/11.04 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.66/11.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.74/11.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.74/11.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.77/11.09 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.77/11.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.77/11.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.77/11.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.83/11.14 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.19 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.84/11.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.24 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.26 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.92/11.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.29 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 10.97/11.34 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.04/11.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.06/11.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.06/11.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.06/11.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.06/11.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.11/11.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.11/11.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.14/11.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.14/11.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.14/11.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.14/11.49 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.14/11.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.14/11.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.14/11.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.22/11.54 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.22/11.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.22/11.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.22/11.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.59 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.27/11.64 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.33/11.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.38/11.69 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.38/11.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.38/11.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.42/11.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.42/11.74 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.42/11.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.44/11.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.44/11.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.44/11.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.44/11.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.44/11.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.51/11.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.51/11.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.51/11.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.56/11.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.56/11.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.56/11.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.56/11.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.56/11.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.62/11.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.62/11.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.62/11.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.67/11.97 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.67/11.98 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.67/12.00 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.67/12.01 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.67/12.02 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.72/12.03 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.72/12.05 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.72/12.06 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.75/12.07 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.75/12.08 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.75/12.10 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.75/12.11 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.75/12.12 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.82/12.13 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.82/12.15 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.82/12.16 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.86/12.17 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.86/12.18 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.86/12.20 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.86/12.21 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.86/12.22 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.86/12.23 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.86/12.25 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.95/12.26 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.95/12.27 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.97/12.28 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.97/12.30 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.97/12.31 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.97/12.32 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 11.97/12.33 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.04/12.35 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.04/12.36 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.06/12.37 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.06/12.38 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.06/12.40 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.06/12.41 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.10/12.42 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.10/12.43 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.10/12.45 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.14/12.46 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.14/12.47 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.14/12.48 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.14/12.50 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.14/12.51 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.14/12.52 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.22/12.53 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.22/12.55 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.22/12.56 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.22/12.57 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.28/12.58 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.28/12.60 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.28/12.61 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.28/12.62 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.28/12.63 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.65 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.34/12.66 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.36/12.67 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.36/12.68 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.36/12.70 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.36/12.71 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.42/12.72 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.42/12.73 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.42/12.75 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.42/12.76 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.47/12.77 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.47/12.78 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.47/12.80 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.47/12.81 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.47/12.82 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.47/12.83 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.47/12.85 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.54/12.86 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.54/12.87 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.54/12.88 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.54/12.90 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.60/12.91 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.60/12.92 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.60/12.93 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.65/12.95 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.65/12.96 eprover: /tmp/Infinox_29401/exportstarexecsandboxbenchmarktheBenchmarkp_TEMP/checksr:117:(Column 82):(just read ''lemma-(plus:existence)''): Closing bracket (')') expected, but String enclosed in single quote ('') read
% 12.76/13.07 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 12.76/13.08 Infinox, version 1.0, 2009-07-20.
% 12.76/13.08 +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 12.76/13.08 Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 12.76/13.08 +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 12.76/13.08 InjNotSurj
% 12.76/13.08 SurjNotInj
% 12.76/13.08 Serial
% 12.76/13.08 Trans
% 12.76/13.08 Auto
%------------------------------------------------------------------------------